Add Pow x0 Add Pow x5 Add x5 acsch Pow x3 Mul x0 Add x7 x0 acot x4 x6 
Mul Pow x0 Add Add Pow x5 Add x5 acsch Pow x3 Mul x0 Add x7 x0 acot x4 -1 Add Add Pow x5 Add x5 acsch Pow x3 Mul x0 Add x7 x0 acot x4 Mul Mul x0 log x0 Mul Pow x5 Add Add x5 acsch Pow x3 Mul x0 Add x7 x0 -1 Mul Mul x5 log x5 Mul Mul -1 Mul Pow x3 Add Mul x0 Add x7 x0 -1 Mul Mul x3 log x3 Add Add x7 x0 x0 Pow Mul Mul Pow x3 Mul x0 Add x7 x0 Pow x3 Mul x0 Add x7 x0 sqrt Add 1 Mul -1 Pow Mul Pow x3 Mul x0 Add x7 x0 Pow x3 Mul x0 Add x7 x0 -1 -1 