acosh sqrt Add Mul x0 Pow atan x7 Pow x1 acsch log x0 Mul 5 Pow Add x0 x0 x0 
Mul Mul Pow Mul 2 sqrt Add Mul x0 Pow atan x7 Pow x1 acsch log x0 Mul 5 Pow Add x0 x0 x0 -1 Add Add Pow atan x7 Pow x1 acsch log x0 Mul x0 Mul Pow atan x7 Add Pow x1 acsch log x0 -1 Mul Mul atan x7 log atan x7 Mul Pow x1 Add acsch log x0 -1 Mul Mul x1 log x1 Mul Mul -1 Pow x0 -1 Pow Mul Mul log x0 log x0 sqrt Add 1 Mul -1 Pow Mul log x0 log x0 -1 -1 Mul 5 Mul Pow Add x0 x0 Add x0 -1 Add Mul x0 2 Mul Add x0 x0 log Add x0 x0 Pow Mul sqrt Add sqrt Add Mul x0 Pow atan x7 Pow x1 acsch log x0 Mul 5 Pow Add x0 x0 x0 -1 sqrt Add 1 sqrt Add Mul x0 Pow atan x7 Pow x1 acsch log x0 Mul 5 Pow Add x0 x0 x0 -1 