sqrt Add Pow sqrt Add x0 x0 atanh Mul acoth coth acoth x0 acsc Mul x0 x7 x0 
Mul Pow Mul 2 sqrt Add Pow sqrt Add x0 x0 atanh Mul acoth coth acoth x0 acsc Mul x0 x7 x0 -1 Add Mul Pow sqrt Add x0 x0 Add atanh Mul acoth coth acoth x0 acsc Mul x0 x7 -1 Add Mul atanh Mul acoth coth acoth x0 acsc Mul x0 x7 Mul Pow Mul 2 sqrt Add x0 x0 -1 2 Mul Mul sqrt Add x0 x0 log sqrt Add x0 x0 Mul Add Mul acsc Mul x0 x7 Mul Mul Mul -1 Pow csch acoth x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul coth acoth x0 coth acoth x0 -1 Mul acoth coth acoth x0 Mul -1 Mul x7 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 x7 Mul x0 x7 -1 Mul x0 x7 Mul x0 x7 -1 Pow Add 1 Mul -1 Mul Mul acoth coth acoth x0 acsc Mul x0 x7 Mul acoth coth acoth x0 acsc Mul x0 x7 -1 1 