Add x5 sec Pow asinh acot x0 1.76274717403909 
Mul Mul tan Pow asinh acot x0 1.76274717403909 sec Pow asinh acot x0 1.76274717403909 Mul Pow asinh acot x0 0.762747174039086 Mul 1.76274717403909 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul acot x0 acot x0 -1 