Pow sqrt log x1 Mul Add acosh x0 Mul x4 Add pi atanh Pow x0 Mul Mul x0 asech x0 x7 x1 
Mul Pow sqrt log x1 Add Mul Add acosh x0 Mul x4 Add pi atanh Pow x0 Mul Mul x0 asech x0 x7 x1 -1 Mul Mul sqrt log x1 log sqrt log x1 Mul x1 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul x4 Mul Mul Pow x0 Add Mul Mul x0 asech x0 x7 -1 Add Mul Mul x0 asech x0 x7 Mul Mul x0 log x0 Mul x7 Add asech x0 Mul x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul -1 Mul Pow x0 Mul Mul x0 asech x0 x7 Pow x0 Mul Mul x0 asech x0 x7 -1 