Pow x0 Pow acosh sinh x0 Pow Mul exp x7 Mul -4 x0 atan x5 
Mul Pow x0 Add Pow acosh sinh x0 Pow Mul exp x7 Mul -4 x0 atan x5 -1 Add Pow acosh sinh x0 Pow Mul exp x7 Mul -4 x0 atan x5 Mul Mul x0 log x0 Mul Pow acosh sinh x0 Add Pow Mul exp x7 Mul -4 x0 atan x5 -1 Add Mul Pow Mul exp x7 Mul -4 x0 atan x5 Mul cosh x0 Pow Mul sqrt Add sinh x0 -1 sqrt Add 1 sinh x0 -1 Mul Mul acosh sinh x0 log acosh sinh x0 Mul Pow Mul exp x7 Mul -4 x0 Add atan x5 -1 Mul atan x5 Mul exp x7 -4 