csc csc Pow atanh x0 Add E x3 
Mul Mul Mul -1 cot csc Pow atanh x0 Add E x3 csc csc Pow atanh x0 Add E x3 Mul Mul Mul -1 cot Pow atanh x0 Add E x3 csc Pow atanh x0 Add E x3 Mul Pow atanh x0 Add Add E x3 -1 Mul Add E x3 Pow Add 1 Mul -1 Mul x0 x0 -1 