Mul Mul Pow x0 sec Mul Add cot E x0 x0 x0 20.0855369231877 
Mul 20.0855369231877 Add Mul x0 Mul Pow x0 Add sec Mul Add cot E x0 x0 -1 Add sec Mul Add cot E x0 x0 Mul Mul x0 log x0 Mul Mul tan Mul Add cot E x0 x0 sec Mul Add cot E x0 x0 Add x0 Add cot E x0 Pow x0 sec Mul Add cot E x0 x0 