Add Add sec E Pow Mul x0 6 x0 Add x0 Pow Add acsc exp x3 Mul Pow x0 E 4 -3 
Add Mul Pow Mul x0 6 Add x0 -1 Add Mul x0 6 Mul Mul x0 6 log Mul x0 6 Add 1 Mul Pow Add acsc exp x3 Mul Pow x0 E 4 4 Mul -3 Mul 4 Mul Pow x0 Add E -1 E 