Mul x0 Mul x0 Pow Add cosh x0 x4 atan Mul acosh asinh x0 3 
Add Mul x0 Pow Add cosh x0 x4 atan Mul acosh asinh x0 3 Mul x0 Add Pow Add cosh x0 x4 atan Mul acosh asinh x0 3 Mul x0 Mul Pow Add cosh x0 x4 Add atan Mul acosh asinh x0 3 -1 Add Mul atan Mul acosh asinh x0 3 sinh x0 Mul Mul Add cosh x0 x4 log Add cosh x0 x4 Mul Mul 3 Mul Pow sqrt Add 1 Mul x0 x0 -1 Pow Mul sqrt Add asinh x0 -1 sqrt Add 1 asinh x0 -1 Pow Add 1 Mul Mul acosh asinh x0 3 Mul acosh asinh x0 3 -1 