Add sqrt x0 Mul E Pow Mul x7 pi cosh sec Mul Add sinh csch Add x0 E Add x0 x0 6 
Add Pow Mul 2 sqrt x0 -1 Mul E Mul Pow Mul x7 pi Add cosh sec Mul Add sinh csch Add x0 E Add x0 x0 6 -1 Mul Mul Mul x7 pi log Mul x7 pi Mul sinh sec Mul Add sinh csch Add x0 E Add x0 x0 6 Mul Mul tan Mul Add sinh csch Add x0 E Add x0 x0 6 sec Mul Add sinh csch Add x0 E Add x0 x0 6 Mul 6 Add Mul cosh csch Add x0 E Mul Mul -1 coth Add x0 E csch Add x0 E 2 