Mul sec Pow Mul x0 -3 E Mul x0 Pow Mul Mul acsch x1 cot x1 x0 x7 
Add Mul Mul x0 Pow Mul Mul acsch x1 cot x1 x0 x7 Mul Mul tan Pow Mul x0 -3 E sec Pow Mul x0 -3 E Mul Pow Mul x0 -3 Add E -1 Mul E -3 Mul sec Pow Mul x0 -3 E Add Pow Mul Mul acsch x1 cot x1 x0 x7 Mul x0 Mul Pow Mul Mul acsch x1 cot x1 x0 Add x7 -1 Mul x7 Mul acsch x1 cot x1 