atanh Pow Pow Pow x0 csc x0 4 log E 
Mul Mul Pow Pow Pow x0 csc x0 4 Add log E -1 Mul log E Mul Pow Pow x0 csc x0 3 Mul 4 Mul Pow x0 Add csc x0 -1 Add csc x0 Mul Mul x0 log x0 Mul Mul -1 cot x0 csc x0 Pow Add 1 Mul -1 Mul Pow Pow Pow x0 csc x0 4 log E Pow Pow Pow x0 csc x0 4 log E -1 