atanh Mul csc x2 Pow Add x0 Add -1 Pow x0 E Mul x0 3 
Mul Mul csc x2 Mul Pow Add x0 Add -1 Pow x0 E Add Mul x0 3 -1 Add Mul Mul x0 3 Add 1 Mul Pow x0 Add E -1 E Mul Mul Add x0 Add -1 Pow x0 E log Add x0 Add -1 Pow x0 E 3 Pow Add 1 Mul -1 Mul Mul csc x2 Pow Add x0 Add -1 Pow x0 E Mul x0 3 Mul csc x2 Pow Add x0 Add -1 Pow x0 E Mul x0 3 -1 