Pow x0 Pow x0 acosh Add atan x4 asech x4 
Mul Pow x0 Add Pow x0 acosh Add atan x4 asech x4 -1 Add Pow x0 acosh Add atan x4 asech x4 Mul Mul x0 log x0 Mul Pow x0 Add acosh Add atan x4 asech x4 -1 acosh Add atan x4 asech x4 