Mul -4 acos Mul Add -3 x5 Mul x5 atan Add cosh x0 Mul E E 
Mul -4 Mul -1 Mul Mul Add -3 x5 Mul x5 Mul sinh x0 Pow Add 1 Mul Add cosh x0 Mul E E Add cosh x0 Mul E E -1 Pow sqrt Add 1 Mul -1 Mul Mul Add -3 x5 Mul x5 atan Add cosh x0 Mul E E Mul Add -3 x5 Mul x5 atan Add cosh x0 Mul E E -1 