sec Pow Mul x0 5 Add sec Mul Mul x0 x0 pi x0 
Mul Mul tan Pow Mul x0 5 Add sec Mul Mul x0 x0 pi x0 sec Pow Mul x0 5 Add sec Mul Mul x0 x0 pi x0 Mul Pow Mul x0 5 Add Add sec Mul Mul x0 x0 pi x0 -1 Add Mul Add sec Mul Mul x0 x0 pi x0 5 Mul Mul Mul x0 5 log Mul x0 5 Add Mul Mul tan Mul Mul x0 x0 pi sec Mul Mul x0 x0 pi Mul pi Add x0 x0 1 