Add Pow x0 Mul Add cot x7 Mul acot x0 x7 log asec x5 x0 
Add Mul Pow x0 Add Mul Add cot x7 Mul acot x0 x7 log asec x5 -1 Add Mul Add cot x7 Mul acot x0 x7 log asec x5 Mul Mul x0 log x0 Mul log asec x5 Mul x7 Mul -1 Pow Add 1 Mul x0 x0 -1 1 