asech log Mul x0 0.235702260395516 
Mul Mul 0.235702260395516 Pow Mul x0 0.235702260395516 -1 Pow Mul Mul log Mul x0 0.235702260395516 log Mul x0 0.235702260395516 sqrt Add 1 Mul -1 Pow Mul log Mul x0 0.235702260395516 log Mul x0 0.235702260395516 -1 -1 