acot asinh Pow Mul 4 Pow Mul x7 Add Pow x7 x0 acosh asech x0 -3 pi 
Mul -1 Mul Mul Mul Pow Mul 4 Pow Mul x7 Add Pow x7 x0 acosh asech x0 -3 Add pi -1 Mul pi Mul 4 Mul Pow Mul x7 Add Pow x7 x0 acosh asech x0 4 Mul -3 Mul x7 Add Mul Pow x7 Add x0 -1 Mul x7 log x7 Mul Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul sqrt Add asech x0 -1 sqrt Add 1 asech x0 -1 Pow sqrt Add 1 Mul Pow Mul 4 Pow Mul x7 Add Pow x7 x0 acosh asech x0 -3 pi Pow Mul 4 Pow Mul x7 Add Pow x7 x0 acosh asech x0 -3 pi -1 Pow Add 1 Mul asinh Pow Mul 4 Pow Mul x7 Add Pow x7 x0 acosh asech x0 -3 pi asinh Pow Mul 4 Pow Mul x7 Add Pow x7 x0 acosh asech x0 -3 pi -1 