acsch Mul Pow Mul Pow log x0 x0 4 acosh Add x0 x7 Add x0 Mul Pow x0 x0 Add -2 Add 3 x6 
Mul Mul -1 Add Mul Add x0 Mul Pow x0 x0 Add -2 Add 3 x6 Mul Pow Mul Pow log x0 x0 4 Add acosh Add x0 x7 -1 Add Mul acosh Add x0 x7 Mul 4 Mul Pow log x0 Add x0 -1 Add Mul x0 Pow x0 -1 Mul log x0 log log x0 Mul Mul Mul Pow log x0 x0 4 log Mul Pow log x0 x0 4 Pow Mul sqrt Add Add x0 x7 -1 sqrt Add 1 Add x0 x7 -1 Mul Pow Mul Pow log x0 x0 4 acosh Add x0 x7 Add 1 Mul Add -2 Add 3 x6 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Mul Mul Mul Pow Mul Pow log x0 x0 4 acosh Add x0 x7 Add x0 Mul Pow x0 x0 Add -2 Add 3 x6 Mul Pow Mul Pow log x0 x0 4 acosh Add x0 x7 Add x0 Mul Pow x0 x0 Add -2 Add 3 x6 sqrt Add 1 Mul -1 Pow Mul Mul Pow Mul Pow log x0 x0 4 acosh Add x0 x7 Add x0 Mul Pow x0 x0 Add -2 Add 3 x6 Mul Pow Mul Pow log x0 x0 4 acosh Add x0 x7 Add x0 Mul Pow x0 x0 Add -2 Add 3 x6 -1 -1 