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