Pow Mul Pow Pow acsch Add x7 2 x0 atan x1 x0 x0 
Mul Pow Mul Pow Pow acsch Add x7 2 x0 atan x1 x0 Add x0 -1 Add Mul x0 Add Mul x0 Mul Pow Pow acsch Add x7 2 x0 Add atan x1 -1 Mul atan x1 Mul Pow acsch Add x7 2 Add x0 -1 Mul acsch Add x7 2 log acsch Add x7 2 Pow Pow acsch Add x7 2 x0 atan x1 Mul Mul Pow Pow acsch Add x7 2 x0 atan x1 x0 log Mul Pow Pow acsch Add x7 2 x0 atan x1 x0 