Pow Mul Mul 4 E x0 acot tan Add x0 x5 
Mul Pow Mul Mul 4 E x0 Add acot tan Add x0 x5 -1 Add Mul acot tan Add x0 x5 Mul 4 E Mul Mul Mul Mul 4 E x0 log Mul Mul 4 E x0 Mul -1 Mul Pow sec Add x0 x5 2 Pow Add 1 Mul tan Add x0 x5 tan Add x0 x5 -1 