Pow x1 atanh Add Mul x7 5 csc exp x0 
Mul Pow x1 Add atanh Add Mul x7 5 csc exp x0 -1 Mul Mul x1 log x1 Mul Mul Mul Mul -1 cot exp x0 csc exp x0 exp x0 Pow Add 1 Mul -1 Mul Add Mul x7 5 csc exp x0 Add Mul x7 5 csc exp x0 -1 