exp Pow acoth Add cosh x7 Add Pow E x0 Pow x0 Pow x3 x3 E 
Mul exp Pow acoth Add cosh x7 Add Pow E x0 Pow x0 Pow x3 x3 E Mul Pow acoth Add cosh x7 Add Pow E x0 Pow x0 Pow x3 x3 Add E -1 Mul E Mul Add Mul Pow E Add x0 -1 Mul E log E Mul Pow x0 Add Pow x3 x3 -1 Pow x3 x3 Pow Add 1 Mul -1 Mul Add cosh x7 Add Pow E x0 Pow x0 Pow x3 x3 Add cosh x7 Add Pow E x0 Pow x0 Pow x3 x3 -1 