Pow exp sec Pow Mul x0 x6 x0 Mul acot x3 x0 
Mul Pow exp sec Pow Mul x0 x6 x0 Add Mul acot x3 x0 -1 Add Mul Mul acot x3 x0 Mul exp sec Pow Mul x0 x6 x0 Mul Mul tan Pow Mul x0 x6 x0 sec Pow Mul x0 x6 x0 Mul Pow Mul x0 x6 Add x0 -1 Add Mul x0 x6 Mul Mul x0 x6 log Mul x0 x6 Mul Mul exp sec Pow Mul x0 x6 x0 log exp sec Pow Mul x0 x6 x0 acot x3 