Pow Mul Add 1 csc x7 atanh x0 Mul x0 csc Mul x7 2 
Mul Pow Mul Add 1 csc x7 atanh x0 Add Mul x0 csc Mul x7 2 -1 Add Mul Mul x0 csc Mul x7 2 Mul Add 1 csc x7 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul Add 1 csc x7 atanh x0 log Mul Add 1 csc x7 atanh x0 csc Mul x7 2 