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