acsch Mul x0 Mul Add x0 x0 atan x6 
Mul Mul -1 Add Mul Add x0 x0 atan x6 Mul x0 Mul atan x6 2 Pow Mul Mul Mul x0 Mul Add x0 x0 atan x6 Mul x0 Mul Add x0 x0 atan x6 sqrt Add 1 Mul -1 Pow Mul Mul x0 Mul Add x0 x0 atan x6 Mul x0 Mul Add x0 x0 atan x6 -1 -1 