Pow sec Mul x2 Pow Mul acoth asinh Mul cosh pi x0 x0 x0 1.31303528549933 
Mul Pow sec Mul x2 Pow Mul acoth asinh Mul cosh pi x0 x0 x0 0.313035285499331 Mul 1.31303528549933 Mul Mul tan Mul x2 Pow Mul acoth asinh Mul cosh pi x0 x0 x0 sec Mul x2 Pow Mul acoth asinh Mul cosh pi x0 x0 x0 Mul x2 Mul Pow Mul acoth asinh Mul cosh pi x0 x0 Add x0 -1 Add Mul x0 Add Mul x0 Mul Mul cosh pi Pow sqrt Add 1 Mul Mul cosh pi x0 Mul cosh pi x0 -1 Pow Add 1 Mul -1 Mul asinh Mul cosh pi x0 asinh Mul cosh pi x0 -1 acoth asinh Mul cosh pi x0 Mul Mul acoth asinh Mul cosh pi x0 x0 log Mul acoth asinh Mul cosh pi x0 x0 