Mul x0 cot Mul atanh tanh x0 Pow csc x4 x7 
Add cot Mul atanh tanh x0 Pow csc x4 x7 Mul x0 Mul Mul -1 Pow csc Mul atanh tanh x0 Pow csc x4 x7 2 Mul Pow csc x4 x7 Mul Pow sech x0 2 Pow Add 1 Mul -1 Mul tanh x0 tanh x0 -1 