int(tan^(0.75)(x),x=0..pi/2)