Add x0 tan Pow sqrt E Pow Mul sin sqrt x0 Mul x3 2 Pow asech pi 2 
Add 1 Mul Pow sec Pow sqrt E Pow Mul sin sqrt x0 Mul x3 2 Pow asech pi 2 2 Mul Pow sqrt E Add Pow Mul sin sqrt x0 Mul x3 2 Pow asech pi 2 -1 Mul Mul sqrt E log sqrt E Mul Pow Mul sin sqrt x0 Mul x3 2 Add Pow asech pi 2 -1 Mul Pow asech pi 2 Mul Mul x3 2 Mul cos sqrt x0 Pow Mul 2 sqrt x0 -1 