>>418
tanx'=2/cos^2(2x-1)でいいのか?