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