Add Mul -4 Add x7 Add x0 x0 csc csc Pow x0 atanh Mul acosh acot x1 Mul x0 -3 
Add 2 Mul Mul Mul -1 cot csc Pow x0 atanh Mul acosh acot x1 Mul x0 -3 csc csc Pow x0 atanh Mul acosh acot x1 Mul x0 -3 Mul Mul Mul -1 cot Pow x0 atanh Mul acosh acot x1 Mul x0 -3 csc Pow x0 atanh Mul acosh acot x1 Mul x0 -3 Mul Pow x0 Add atanh Mul acosh acot x1 Mul x0 -3 -1 Add atanh Mul acosh acot x1 Mul x0 -3 Mul Mul x0 log x0 Mul Mul acosh acot x1 -3 Pow Add 1 Mul -1 Mul Mul acosh acot x1 Mul x0 -3 Mul acosh acot x1 Mul x0 -3 -1 