Mul Mul x7 sec x4 Add -4 sin Add x0 Mul exp Mul Mul Mul x0 -2 cosh x0 acoth x5 x0 
Mul Mul x7 sec x4 Mul cos Add x0 Mul exp Mul Mul Mul x0 -2 cosh x0 acoth x5 x0 Add 1 Add Mul x0 Mul exp Mul Mul Mul x0 -2 cosh x0 acoth x5 Mul acoth x5 Add Mul cosh x0 -2 Mul Mul x0 -2 sinh x0 exp Mul Mul Mul x0 -2 cosh x0 acoth x5 