Mul sec Mul x3 Pow pi Pow pi x0 tanh asech x0 
Add Mul tanh asech x0 Mul Mul tan Mul x3 Pow pi Pow pi x0 sec Mul x3 Pow pi Pow pi x0 Mul x3 Mul Pow pi Add Pow pi x0 -1 Mul Mul pi log pi Mul Pow pi Add x0 -1 Mul pi log pi Mul sec Mul x3 Pow pi Pow pi x0 Mul Pow sech asech x0 2 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 