Add sec Pow x0 Mul 2 Add sqrt x0 0.265802228834080 2 
Mul Mul tan Pow x0 Mul 2 Add sqrt x0 0.265802228834080 sec Pow x0 Mul 2 Add sqrt x0 0.265802228834080 Mul Pow x0 Add Mul 2 Add sqrt x0 0.265802228834080 -1 Add Mul 2 Add sqrt x0 0.265802228834080 Mul Mul x0 log x0 Mul 2 Pow Mul 2 sqrt x0 -1 