atanh Mul log x0 sinh Mul x0 Pow 32 csc E 
Mul Add Mul sinh Mul x0 Pow 32 csc E Pow x0 -1 Mul log x0 Mul cosh Mul x0 Pow 32 csc E Pow 32 csc E Pow Add 1 Mul -1 Mul Mul log x0 sinh Mul x0 Pow 32 csc E Mul log x0 sinh Mul x0 Pow 32 csc E -1 