Mul asec log Mul x0 0.540302305868140 pi 
Mul pi Mul Mul 0.540302305868140 Pow Mul x0 0.540302305868140 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul log Mul x0 0.540302305868140 log Mul x0 0.540302305868140 -1 log Mul x0 0.540302305868140 log Mul x0 0.540302305868140 -1 