Mul Mul x4 Pow x0 coth sin tan Add -1 x0 x7 
Mul x7 Mul x4 Mul Pow x0 Add coth sin tan Add -1 x0 -1 Add coth sin tan Add -1 x0 Mul Mul x0 log x0 Mul Mul -1 Pow csch sin tan Add -1 x0 2 Mul cos tan Add -1 x0 Pow sec Add -1 x0 2 