Mul x0 Add 2 acosh tan Add x0 Pow Add E x0 3125 
Add Add 2 acosh tan Add x0 Pow Add E x0 3125 Mul x0 Mul Mul Pow sec Add x0 Pow Add E x0 3125 2 Add 1 Mul Pow Add E x0 3124 3125 Pow Mul sqrt Add tan Add x0 Pow Add E x0 3125 -1 sqrt Add 1 tan Add x0 Pow Add E x0 3125 -1 