Mul exp cosh Add Mul 2 pi Pow x0 Add csch acos x7 x3 3 
Mul 3 Mul exp cosh Add Mul 2 pi Pow x0 Add csch acos x7 x3 Mul sinh Add Mul 2 pi Pow x0 Add csch acos x7 x3 Mul Pow x0 Add Add csch acos x7 x3 -1 Add csch acos x7 x3 