Add Pow atan x0 Pow Mul -2 acsch Add Add x5 Add x5 Mul x1 x6 x4 2 -4 
Mul Pow atan x0 Add Pow Mul -2 acsch Add Add x5 Add x5 Mul x1 x6 x4 2 -1 Mul Pow Mul -2 acsch Add Add x5 Add x5 Mul x1 x6 x4 2 Pow Add 1 Mul x0 x0 -1 