log Add Add Mul x0 exp Pow asec x0 acot E x0 -5 
Mul Add Add exp Pow asec x0 acot E Mul x0 Mul exp Pow asec x0 acot E Mul Pow asec x0 Add acot E -1 Mul acot E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 1 Pow Add Add Mul x0 exp Pow asec x0 acot E x0 -5 -1 