Mul x0 sqrt Add Pow csch Add atan exp x0 2 x0 x0 
Add sqrt Add Pow csch Add atan exp x0 2 x0 x0 Mul x0 Mul Pow Mul 2 sqrt Add Pow csch Add atan exp x0 2 x0 x0 -1 Add Mul Pow csch Add atan exp x0 2 Add x0 -1 Add Mul x0 Mul Mul Mul -1 coth Add atan exp x0 2 csch Add atan exp x0 2 Mul exp x0 Pow Add 1 Mul exp x0 exp x0 -1 Mul csch Add atan exp x0 2 log csch Add atan exp x0 2 1 