Mul acsch Mul Mul atan x6 x0 Mul x7 x0 Add x2 x0 
Add Mul Add x2 x0 Mul Mul -1 Add Mul Mul x7 x0 atan x6 Mul Mul atan x6 x0 x7 Pow Mul Mul Mul Mul atan x6 x0 Mul x7 x0 Mul Mul atan x6 x0 Mul x7 x0 sqrt Add 1 Mul -1 Pow Mul Mul Mul atan x6 x0 Mul x7 x0 Mul Mul atan x6 x0 Mul x7 x0 -1 -1 acsch Mul Mul atan x6 x0 Mul x7 x0 