Mul Add Pow Add Pow atan atanh x1 2 x0 csch cbrt x7 Add -2 Pow x0 Add cot E x0 x0 
Add Mul x0 Add Mul Pow Add Pow atan atanh x1 2 x0 Add csch cbrt x7 -1 csch cbrt x7 Mul Pow x0 Add Add cot E x0 -1 Add Add cot E x0 Mul x0 log x0 Add Pow Add Pow atan atanh x1 2 x0 csch cbrt x7 Add -2 Pow x0 Add cot E x0 