Mul tan Add acsch Add x0 sec E acsc Add x3 Mul 4 x1 x0 
Add Mul x0 Mul Pow sec Add acsch Add x0 sec E acsc Add x3 Mul 4 x1 2 Mul -1 Pow Mul Mul Add x0 sec E Add x0 sec E sqrt Add 1 Mul -1 Pow Mul Add x0 sec E Add x0 sec E -1 -1 tan Add acsch Add x0 sec E acsc Add x3 Mul 4 x1 