Mul -4.00000000000000 acos Mul sinh x0 acos log Add exp x4 x6 
Mul -4.00000000000000 Mul -1 Mul Mul acos log Add exp x4 x6 cosh x0 Pow sqrt Add 1 Mul -1 Mul Mul sinh x0 acos log Add exp x4 x6 Mul sinh x0 acos log Add exp x4 x6 -1 