tanh Mul sqrt x0 Pow tan sqrt Add -3 pi Add -5 atanh Mul 8 x0 
Mul Pow sech Mul sqrt x0 Pow tan sqrt Add -3 pi Add -5 atanh Mul 8 x0 2 Add Mul Pow tan sqrt Add -3 pi Add -5 atanh Mul 8 x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 Mul Pow tan sqrt Add -3 pi Add Add -5 atanh Mul 8 x0 -1 Mul Mul tan sqrt Add -3 pi log tan sqrt Add -3 pi Mul 8 Pow Add 1 Mul -1 Mul Mul 8 x0 Mul 8 x0 -1 