Pow acosh Add acot asinh Add asech x3 x0 Mul sqrt log x0 x0 pi 
Mul Pow acosh Add acot asinh Add asech x3 x0 Mul sqrt log x0 x0 Add pi -1 Mul pi Mul Add Mul -1 Mul Pow sqrt Add 1 Mul Add asech x3 x0 Add asech x3 x0 -1 Pow Add 1 Mul asinh Add asech x3 x0 asinh Add asech x3 x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt log x0 -1 Pow x0 -1 sqrt log x0 Pow Mul sqrt Add Add acot asinh Add asech x3 x0 Mul sqrt log x0 x0 -1 sqrt Add 1 Add acot asinh Add asech x3 x0 Mul sqrt log x0 x0 -1 