Pow sqrt exp Mul -2 exp x0 sqrt Pow 5 asech x1 
Mul Pow sqrt exp Mul -2 exp x0 Add sqrt Pow 5 asech x1 -1 Mul sqrt Pow 5 asech x1 Mul Pow Mul 2 sqrt exp Mul -2 exp x0 -1 Mul exp Mul -2 exp x0 Mul -2 exp x0 