Pow acsch Pow Mul Mul x0 x0 x7 Mul atan x0 x0 -3 
Mul Pow acsch Pow Mul Mul x0 x0 x7 Mul atan x0 x0 4 Mul -3 Mul Mul -1 Mul Pow Mul Mul x0 x0 x7 Add Mul atan x0 x0 -1 Add Mul Mul atan x0 x0 Mul x7 Add x0 x0 Mul Mul Mul Mul x0 x0 x7 log Mul Mul x0 x0 x7 Add Mul x0 Pow Add 1 Mul x0 x0 -1 atan x0 Pow Mul Mul Pow Mul Mul x0 x0 x7 Mul atan x0 x0 Pow Mul Mul x0 x0 x7 Mul atan x0 x0 sqrt Add 1 Mul -1 Pow Mul Pow Mul Mul x0 x0 x7 Mul atan x0 x0 Pow Mul Mul x0 x0 x7 Mul atan x0 x0 -1 -1 