acoth Mul x0 Add E Add x0 Mul Pow cosh x0 Mul x7 -5 x3 
Mul Add Add E Add x0 Mul Pow cosh x0 Mul x7 -5 x3 Mul x0 Add 1 Mul x3 Mul Pow cosh x0 Add Mul x7 -5 -1 Mul Mul x7 -5 sinh x0 Pow Add 1 Mul -1 Mul Mul x0 Add E Add x0 Mul Pow cosh x0 Mul x7 -5 x3 Mul x0 Add E Add x0 Mul Pow cosh x0 Mul x7 -5 x3 -1 