asech Pow asec Add Mul acot asec x0 -4 8165619676597685 x0 
Mul Mul Pow asec Add Mul acot asec x0 -4 8165619676597685 Add x0 -1 Add Mul x0 Mul Mul -4 Mul -1 Mul Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul asec x0 asec x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Mul acot asec x0 -4 8165619676597685 Add Mul acot asec x0 -4 8165619676597685 -1 Add Mul acot asec x0 -4 8165619676597685 Add Mul acot asec x0 -4 8165619676597685 -1 Mul asec Add Mul acot asec x0 -4 8165619676597685 log asec Add Mul acot asec x0 -4 8165619676597685 Pow Mul Mul Pow asec Add Mul acot asec x0 -4 8165619676597685 x0 Pow asec Add Mul acot asec x0 -4 8165619676597685 x0 sqrt Add 1 Mul -1 Pow Mul Pow asec Add Mul acot asec x0 -4 8165619676597685 x0 Pow asec Add Mul acot asec x0 -4 8165619676597685 x0 -1 -1 