Mul Pow x0 5 sec acot Add x0 Add x4 exp x3 
Add Mul sec acot Add x0 Add x4 exp x3 Mul Pow x0 4 5 Mul Pow x0 5 Mul Mul tan acot Add x0 Add x4 exp x3 sec acot Add x0 Add x4 exp x3 Mul -1 Pow Add 1 Mul Add x0 Add x4 exp x3 Add x0 Add x4 exp x3 -1 