Mul Mul cot coth Mul x0 -5 sec Pow cos E x0 Add x1 4 
Mul Add x1 4 Add Mul sec Pow cos E x0 Mul Mul -1 Pow csc coth Mul x0 -5 2 Mul Mul -1 Pow csch Mul x0 -5 2 -5 Mul cot coth Mul x0 -5 Mul Mul tan Pow cos E x0 sec Pow cos E x0 Mul Pow cos E Add x0 -1 Mul cos E log cos E 