Add Add -2 x7 Pow Add sec asech Add Add exp x0 x0 x0 csch x2 Mul x0 x5 
Mul Pow Add sec asech Add Add exp x0 x0 x0 csch x2 Add Mul x0 x5 -1 Add Mul Mul x0 x5 Mul Mul tan asech Add Add exp x0 x0 x0 sec asech Add Add exp x0 x0 x0 Mul Add Add exp x0 1 1 Pow Mul Mul Add Add exp x0 x0 x0 Add Add exp x0 x0 x0 sqrt Add 1 Mul -1 Pow Mul Add Add exp x0 x0 x0 Add Add exp x0 x0 x0 -1 -1 Mul Mul Add sec asech Add Add exp x0 x0 x0 csch x2 log Add sec asech Add Add exp x0 x0 x0 csch x2 x5 