Mul Pow Mul Mul Pow Pow x0 x0 1.31303528549933 x0 E cosh cot x2 x0 
Add Mul x0 Mul Pow Mul Mul Pow Pow x0 x0 1.31303528549933 x0 E Add cosh cot x2 -1 Mul cosh cot x2 Mul E Add Mul x0 Mul Pow Pow x0 x0 0.313035285499331 Mul 1.31303528549933 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Pow x0 x0 1.31303528549933 Pow Mul Mul Pow Pow x0 x0 1.31303528549933 x0 E cosh cot x2 