Mul Add x0 Pow Mul x0 sec Add x0 Pow x0 csch Add x3 x2 atan x0 cosh x6 
Mul cosh x6 Add 1 Mul Pow Mul x0 sec Add x0 Pow x0 csch Add x3 x2 Add atan x0 -1 Add Mul atan x0 Add sec Add x0 Pow x0 csch Add x3 x2 Mul x0 Mul Mul tan Add x0 Pow x0 csch Add x3 x2 sec Add x0 Pow x0 csch Add x3 x2 Add 1 Mul Pow x0 Add csch Add x3 x2 -1 csch Add x3 x2 Mul Mul Mul x0 sec Add x0 Pow x0 csch Add x3 x2 log Mul x0 sec Add x0 Pow x0 csch Add x3 x2 Pow Add 1 Mul x0 x0 -1 