exp acsch Mul acos Add atan Mul x0 tan Mul x0 3 Add x0 x0 Pow x0 x7 
Mul exp acsch Mul acos Add atan Mul x0 tan Mul x0 3 Add x0 x0 Pow x0 x7 Mul Mul -1 Add Mul Pow x0 x7 Mul -1 Mul Add Mul Add tan Mul x0 3 Mul x0 Mul Pow sec Mul x0 3 2 3 Pow Add 1 Mul Mul x0 tan Mul x0 3 Mul x0 tan Mul x0 3 -1 2 Pow sqrt Add 1 Mul -1 Mul Add atan Mul x0 tan Mul x0 3 Add x0 x0 Add atan Mul x0 tan Mul x0 3 Add x0 x0 -1 Mul acos Add atan Mul x0 tan Mul x0 3 Add x0 x0 Mul Pow x0 Add x7 -1 x7 Pow Mul Mul Mul acos Add atan Mul x0 tan Mul x0 3 Add x0 x0 Pow x0 x7 Mul acos Add atan Mul x0 tan Mul x0 3 Add x0 x0 Pow x0 x7 sqrt Add 1 Mul -1 Pow Mul Mul acos Add atan Mul x0 tan Mul x0 3 Add x0 x0 Pow x0 x7 Mul acos Add atan Mul x0 tan Mul x0 3 Add x0 x0 Pow x0 x7 -1 -1 