Add -3 Mul sinh Pow x0 x6 Mul Add Mul atan x5 Pow acosh x0 x0 x0 x0 
Add Mul Mul Add Mul atan x5 Pow acosh x0 x0 x0 x0 Mul cosh Pow x0 x6 Mul Pow x0 Add x6 -1 x6 Mul sinh Pow x0 x6 Add Mul x0 Add Mul atan x5 Mul Pow acosh x0 Add x0 -1 Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 log acosh x0 1 Add Mul atan x5 Pow acosh x0 x0 x0 