Add Mul x0 -2.03597241992418 Mul x0 Pow Add x0 Mul x0 x7 cosh acoth x0 
Add -2.03597241992418 Add Pow Add x0 Mul x0 x7 cosh acoth x0 Mul x0 Mul Pow Add x0 Mul x0 x7 Add cosh acoth x0 -1 Add Mul cosh acoth x0 Add 1 x7 Mul Mul Add x0 Mul x0 x7 log Add x0 Mul x0 x7 Mul sinh acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 