Add x6 Add x7 Pow cos x0 coth exp atan exp Mul x0 x0 
Mul Pow cos x0 Add coth exp atan exp Mul x0 x0 -1 Add Mul coth exp atan exp Mul x0 x0 Mul -1 sin x0 Mul Mul cos x0 log cos x0 Mul Mul -1 Pow csch exp atan exp Mul x0 x0 2 Mul exp atan exp Mul x0 x0 Mul Mul exp Mul x0 x0 Add x0 x0 Pow Add 1 Mul exp Mul x0 x0 exp Mul x0 x0 -1 