Add x0 acot cosh Mul Add Mul Add atanh csch x0 atan x3 pi Pow x0 x0 -0.999329299739067 
Add 1 Mul -1 Mul Mul sinh Mul Add Mul Add atanh csch x0 atan x3 pi Pow x0 x0 -0.999329299739067 Mul -0.999329299739067 Add Mul pi Mul Mul Mul -1 coth x0 csch x0 Pow Add 1 Mul -1 Mul csch x0 csch x0 -1 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul cosh Mul Add Mul Add atanh csch x0 atan x3 pi Pow x0 x0 -0.999329299739067 cosh Mul Add Mul Add atanh csch x0 atan x3 pi Pow x0 x0 -0.999329299739067 -1 