atan Mul Add x0 Add sqrt Pow Add acsch x0 acsch x2 exp x2 csch x7 x0 
Mul Add Mul x0 Add 1 Mul Pow Mul 2 sqrt Pow Add acsch x0 acsch x2 exp x2 -1 Mul Pow Add acsch x0 acsch x2 Add exp x2 -1 Mul exp x2 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Add x0 Add sqrt Pow Add acsch x0 acsch x2 exp x2 csch x7 Pow Add 1 Mul Mul Add x0 Add sqrt Pow Add acsch x0 acsch x2 exp x2 csch x7 x0 Mul Add x0 Add sqrt Pow Add acsch x0 acsch x2 exp x2 csch x7 x0 -1 