0.967 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.025 * * * [progress]: [2/2] Setting up program. 0.028 * [progress]: [Phase 2 of 3] Improving. 0.030 * [simplify]: Simplifying using # : (neg.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) 0.590 * * [simplify]: iteration 0 : 5180 enodes (cost 7 ) 0.591 * [simplify]: Simplified to: (neg.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) 0.592 * * [progress]: iteration 1 / 4 0.593 * * * [progress]: picking best candidate 0.595 * * * * [pick]: Picked # 0.595 * * * [progress]: localizing error 0.603 * * * [progress]: generating rewritten candidates 0.603 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.625 * * * [progress]: generating series expansions 0.625 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.631 * [approximate]: Taking taylor expansion of (log (- (* 1.0 (/ 1 x)) 1.0)) in (x) around 0 0.631 * [taylor]: Taking taylor expansion of (log (- (* 1.0 (/ 1 x)) 1.0)) in x 0.632 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) 1.0) in x 0.632 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.632 * [taylor]: Taking taylor expansion of 1.0 in x 0.632 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.632 * [taylor]: Taking taylor expansion of x in x 0.632 * [taylor]: Taking taylor expansion of 1.0 in x 0.633 * [taylor]: Taking taylor expansion of (log (- (* 1.0 (/ 1 x)) 1.0)) in x 0.633 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) 1.0) in x 0.633 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.633 * [taylor]: Taking taylor expansion of 1.0 in x 0.633 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.633 * [taylor]: Taking taylor expansion of x in x 0.633 * [taylor]: Taking taylor expansion of 1.0 in x 0.636 * [approximate]: Taking taylor expansion of (log (- (* 1.0 x) 1.0)) in (x) around 0 0.636 * [taylor]: Taking taylor expansion of (log (- (* 1.0 x) 1.0)) in x 0.636 * [taylor]: Taking taylor expansion of (- (* 1.0 x) 1.0) in x 0.636 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.636 * [taylor]: Taking taylor expansion of 1.0 in x 0.636 * [taylor]: Taking taylor expansion of x in x 0.636 * [taylor]: Taking taylor expansion of 1.0 in x 0.637 * [taylor]: Taking taylor expansion of (log (- (* 1.0 x) 1.0)) in x 0.637 * [taylor]: Taking taylor expansion of (- (* 1.0 x) 1.0) in x 0.637 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.637 * [taylor]: Taking taylor expansion of 1.0 in x 0.637 * [taylor]: Taking taylor expansion of x in x 0.637 * [taylor]: Taking taylor expansion of 1.0 in x 0.638 * [approximate]: Taking taylor expansion of (log (neg (+ (* 1.0 x) 1.0))) in (x) around 0 0.638 * [taylor]: Taking taylor expansion of (log (neg (+ (* 1.0 x) 1.0))) in x 0.638 * [taylor]: Taking taylor expansion of (neg (+ (* 1.0 x) 1.0)) in x 0.638 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) 1.0) in x 0.638 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.638 * [taylor]: Taking taylor expansion of 1.0 in x 0.638 * [taylor]: Taking taylor expansion of x in x 0.638 * [taylor]: Taking taylor expansion of 1.0 in x 0.638 * [taylor]: Taking taylor expansion of (log (neg (+ (* 1.0 x) 1.0))) in x 0.638 * [taylor]: Taking taylor expansion of (neg (+ (* 1.0 x) 1.0)) in x 0.638 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) 1.0) in x 0.638 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.638 * [taylor]: Taking taylor expansion of 1.0 in x 0.638 * [taylor]: Taking taylor expansion of x in x 0.638 * [taylor]: Taking taylor expansion of 1.0 in x 0.639 * * * [progress]: simplifying candidates 0.640 * [simplify]: Simplifying using # : (log.f64 (*.f64 (cbrt.f64 (-.f64 (/.f64 1.0 x) 1.0)) (cbrt.f64 (-.f64 (/.f64 1.0 x) 1.0)))) (log.f64 (cbrt.f64 (-.f64 (/.f64 1.0 x) 1.0))) (log.f64 (sqrt.f64 (-.f64 (/.f64 1.0 x) 1.0))) (log.f64 (sqrt.f64 (-.f64 (/.f64 1.0 x) 1.0))) (log.f64 1) (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (log.f64 (+.f64 (sqrt.f64 (/.f64 1.0 x)) (sqrt.f64 1.0))) (log.f64 (-.f64 (sqrt.f64 (/.f64 1.0 x)) (sqrt.f64 1.0))) (log.f64 (+.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 x)) (sqrt.f64 1.0))) (log.f64 (-.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 x)) (sqrt.f64 1.0))) (log.f64 1) (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (log.f64 (-.f64 (pow.f64 (/.f64 1.0 x) 3) (pow.f64 1.0 3))) (log.f64 (+.f64 (*.f64 (/.f64 1.0 x) (/.f64 1.0 x)) (+.f64 (*.f64 1.0 1.0) (*.f64 (/.f64 1.0 x) 1.0)))) (log.f64 (-.f64 (*.f64 (/.f64 1.0 x) (/.f64 1.0 x)) (*.f64 1.0 1.0))) (log.f64 (+.f64 (/.f64 1.0 x) 1.0)) (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (log.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (exp.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (*.f64 (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)))) (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (*.f64 (*.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (sqrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (sqrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (-.f64 (log.f64 1.0) (+.f64 (log.f64 x) (+.f64 (*.f64 1.0 x) (*.f64 0.5 (/.f64 (pow.f64 x 2) (pow.f64 1.0 2)))))) (-.f64 (log.f64 (neg.f64 1.0)) (+.f64 (*.f64 0.5 (/.f64 1 (*.f64 (pow.f64 x 2) (pow.f64 -1.0 2)))) (*.f64 1.0 (/.f64 1 x)))) (-.f64 (log.f64 (neg.f64 1.0)) (+.f64 (*.f64 1/2 (/.f64 1 (pow.f64 x 2))) (*.f64 1.0 (/.f64 1 x)))) 0.688 * * [simplify]: iteration 0 : 4979 enodes (cost 227 ) 0.688 * * [simplify]: iteration 1 : 4979 enodes (cost 227 ) 0.690 * [simplify]: Simplified to: (*.f64 (log.f64 (cbrt.f64 (-.f64 (/.f64 1.0 x) 1.0))) 2) (log.f64 (cbrt.f64 (-.f64 (/.f64 1.0 x) 1.0))) (log.f64 (sqrt.f64 (-.f64 (/.f64 1.0 x) 1.0))) (log.f64 (sqrt.f64 (-.f64 (/.f64 1.0 x) 1.0))) (log.f64 1) (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (log.f64 (+.f64 (sqrt.f64 (/.f64 1.0 x)) (sqrt.f64 1.0))) (log.f64 (-.f64 (sqrt.f64 (/.f64 1.0 x)) (sqrt.f64 1.0))) (log.f64 (+.f64 (sqrt.f64 1.0) (/.f64 (sqrt.f64 1.0) (sqrt.f64 x)))) (log.f64 (-.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 x)) (sqrt.f64 1.0))) (log.f64 1) (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (log.f64 (-.f64 (pow.f64 (/.f64 1.0 x) 3) (pow.f64 1.0 3))) (log.f64 (*.f64 1.0 (+.f64 1.0 (/.f64 (+.f64 1.0 (/.f64 1.0 x)) x)))) (log.f64 (*.f64 1.0 (-.f64 (/.f64 1.0 (*.f64 x x)) 1.0))) (log.f64 (+.f64 1.0 (/.f64 1.0 x))) (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (log.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (-.f64 (/.f64 1.0 x) 1.0) (*.f64 (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)))) (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3) (sqrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (sqrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (-.f64 (log.f64 1.0) (+.f64 (log.f64 x) (*.f64 x (+.f64 1.0 (*.f64 0.5 (/.f64 x (*.f64 1.0 1.0))))))) (-.f64 (log.f64 (neg.f64 1.0)) (+.f64 (/.f64 1.0 x) (/.f64 0.5 (*.f64 (*.f64 x x) (*.f64 -1.0 -1.0))))) (-.f64 (log.f64 (neg.f64 1.0)) (+.f64 (/.f64 1.0 x) (/.f64 1/2 (*.f64 x x)))) 0.690 * * * [progress]: adding candidates to table 0.713 * * [progress]: iteration 2 / 4 0.714 * * * [progress]: picking best candidate 0.716 * * * * [pick]: Picked # 0.716 * * * [progress]: localizing error 0.725 * * * [progress]: generating rewritten candidates 0.725 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 0.729 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.731 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1) 0.740 * * * [progress]: generating series expansions 0.740 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 0.740 * [approximate]: Taking taylor expansion of (pow (log (- (* 1.0 (/ 1 x)) 1.0)) 3) in (x) around 0 0.740 * [taylor]: Taking taylor expansion of (pow (log (- (* 1.0 (/ 1 x)) 1.0)) 3) in x 0.740 * [taylor]: Taking taylor expansion of (log (- (* 1.0 (/ 1 x)) 1.0)) in x 0.740 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) 1.0) in x 0.740 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.740 * [taylor]: Taking taylor expansion of 1.0 in x 0.740 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.741 * [taylor]: Taking taylor expansion of x in x 0.741 * [taylor]: Taking taylor expansion of 1.0 in x 0.741 * [taylor]: Taking taylor expansion of (pow (log (- (* 1.0 (/ 1 x)) 1.0)) 3) in x 0.741 * [taylor]: Taking taylor expansion of (log (- (* 1.0 (/ 1 x)) 1.0)) in x 0.741 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) 1.0) in x 0.741 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.741 * [taylor]: Taking taylor expansion of 1.0 in x 0.741 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.741 * [taylor]: Taking taylor expansion of x in x 0.741 * [taylor]: Taking taylor expansion of 1.0 in x 0.748 * [approximate]: Taking taylor expansion of (pow (log (- (* 1.0 x) 1.0)) 3) in (x) around 0 0.748 * [taylor]: Taking taylor expansion of (pow (log (- (* 1.0 x) 1.0)) 3) in x 0.748 * [taylor]: Taking taylor expansion of (log (- (* 1.0 x) 1.0)) in x 0.748 * [taylor]: Taking taylor expansion of (- (* 1.0 x) 1.0) in x 0.748 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.748 * [taylor]: Taking taylor expansion of 1.0 in x 0.748 * [taylor]: Taking taylor expansion of x in x 0.748 * [taylor]: Taking taylor expansion of 1.0 in x 0.749 * [taylor]: Taking taylor expansion of (pow (log (- (* 1.0 x) 1.0)) 3) in x 0.749 * [taylor]: Taking taylor expansion of (log (- (* 1.0 x) 1.0)) in x 0.749 * [taylor]: Taking taylor expansion of (- (* 1.0 x) 1.0) in x 0.749 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.749 * [taylor]: Taking taylor expansion of 1.0 in x 0.749 * [taylor]: Taking taylor expansion of x in x 0.749 * [taylor]: Taking taylor expansion of 1.0 in x 0.757 * [approximate]: Taking taylor expansion of (pow (log (neg (+ (* 1.0 x) 1.0))) 3) in (x) around 0 0.757 * [taylor]: Taking taylor expansion of (pow (log (neg (+ (* 1.0 x) 1.0))) 3) in x 0.757 * [taylor]: Taking taylor expansion of (log (neg (+ (* 1.0 x) 1.0))) in x 0.757 * [taylor]: Taking taylor expansion of (neg (+ (* 1.0 x) 1.0)) in x 0.757 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) 1.0) in x 0.757 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.757 * [taylor]: Taking taylor expansion of 1.0 in x 0.757 * [taylor]: Taking taylor expansion of x in x 0.757 * [taylor]: Taking taylor expansion of 1.0 in x 0.757 * [taylor]: Taking taylor expansion of (pow (log (neg (+ (* 1.0 x) 1.0))) 3) in x 0.757 * [taylor]: Taking taylor expansion of (log (neg (+ (* 1.0 x) 1.0))) in x 0.757 * [taylor]: Taking taylor expansion of (neg (+ (* 1.0 x) 1.0)) in x 0.757 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) 1.0) in x 0.757 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.757 * [taylor]: Taking taylor expansion of 1.0 in x 0.757 * [taylor]: Taking taylor expansion of x in x 0.757 * [taylor]: Taking taylor expansion of 1.0 in x 0.759 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.760 * [approximate]: Taking taylor expansion of (log (- (* 1.0 (/ 1 x)) 1.0)) in (x) around 0 0.760 * [taylor]: Taking taylor expansion of (log (- (* 1.0 (/ 1 x)) 1.0)) in x 0.760 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) 1.0) in x 0.760 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.760 * [taylor]: Taking taylor expansion of 1.0 in x 0.760 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.760 * [taylor]: Taking taylor expansion of x in x 0.760 * [taylor]: Taking taylor expansion of 1.0 in x 0.760 * [taylor]: Taking taylor expansion of (log (- (* 1.0 (/ 1 x)) 1.0)) in x 0.760 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) 1.0) in x 0.760 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.760 * [taylor]: Taking taylor expansion of 1.0 in x 0.760 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.760 * [taylor]: Taking taylor expansion of x in x 0.760 * [taylor]: Taking taylor expansion of 1.0 in x 0.761 * [approximate]: Taking taylor expansion of (log (- (* 1.0 x) 1.0)) in (x) around 0 0.761 * [taylor]: Taking taylor expansion of (log (- (* 1.0 x) 1.0)) in x 0.761 * [taylor]: Taking taylor expansion of (- (* 1.0 x) 1.0) in x 0.761 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.761 * [taylor]: Taking taylor expansion of 1.0 in x 0.761 * [taylor]: Taking taylor expansion of x in x 0.761 * [taylor]: Taking taylor expansion of 1.0 in x 0.761 * [taylor]: Taking taylor expansion of (log (- (* 1.0 x) 1.0)) in x 0.761 * [taylor]: Taking taylor expansion of (- (* 1.0 x) 1.0) in x 0.761 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.761 * [taylor]: Taking taylor expansion of 1.0 in x 0.761 * [taylor]: Taking taylor expansion of x in x 0.761 * [taylor]: Taking taylor expansion of 1.0 in x 0.763 * [approximate]: Taking taylor expansion of (log (neg (+ (* 1.0 x) 1.0))) in (x) around 0 0.763 * [taylor]: Taking taylor expansion of (log (neg (+ (* 1.0 x) 1.0))) in x 0.763 * [taylor]: Taking taylor expansion of (neg (+ (* 1.0 x) 1.0)) in x 0.763 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) 1.0) in x 0.763 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.763 * [taylor]: Taking taylor expansion of 1.0 in x 0.763 * [taylor]: Taking taylor expansion of x in x 0.763 * [taylor]: Taking taylor expansion of 1.0 in x 0.763 * [taylor]: Taking taylor expansion of (log (neg (+ (* 1.0 x) 1.0))) in x 0.763 * [taylor]: Taking taylor expansion of (neg (+ (* 1.0 x) 1.0)) in x 0.763 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) 1.0) in x 0.763 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.763 * [taylor]: Taking taylor expansion of 1.0 in x 0.763 * [taylor]: Taking taylor expansion of x in x 0.763 * [taylor]: Taking taylor expansion of 1.0 in x 0.764 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1) 0.764 * [approximate]: Taking taylor expansion of (log (- (* 1.0 (/ 1 x)) 1.0)) in (x) around 0 0.764 * [taylor]: Taking taylor expansion of (log (- (* 1.0 (/ 1 x)) 1.0)) in x 0.764 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) 1.0) in x 0.764 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.764 * [taylor]: Taking taylor expansion of 1.0 in x 0.764 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.764 * [taylor]: Taking taylor expansion of x in x 0.764 * [taylor]: Taking taylor expansion of 1.0 in x 0.764 * [taylor]: Taking taylor expansion of (log (- (* 1.0 (/ 1 x)) 1.0)) in x 0.764 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) 1.0) in x 0.764 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.764 * [taylor]: Taking taylor expansion of 1.0 in x 0.764 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.764 * [taylor]: Taking taylor expansion of x in x 0.764 * [taylor]: Taking taylor expansion of 1.0 in x 0.765 * [approximate]: Taking taylor expansion of (log (- (* 1.0 x) 1.0)) in (x) around 0 0.765 * [taylor]: Taking taylor expansion of (log (- (* 1.0 x) 1.0)) in x 0.765 * [taylor]: Taking taylor expansion of (- (* 1.0 x) 1.0) in x 0.766 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.766 * [taylor]: Taking taylor expansion of 1.0 in x 0.766 * [taylor]: Taking taylor expansion of x in x 0.766 * [taylor]: Taking taylor expansion of 1.0 in x 0.766 * [taylor]: Taking taylor expansion of (log (- (* 1.0 x) 1.0)) in x 0.766 * [taylor]: Taking taylor expansion of (- (* 1.0 x) 1.0) in x 0.766 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.766 * [taylor]: Taking taylor expansion of 1.0 in x 0.766 * [taylor]: Taking taylor expansion of x in x 0.766 * [taylor]: Taking taylor expansion of 1.0 in x 0.767 * [approximate]: Taking taylor expansion of (log (neg (+ (* 1.0 x) 1.0))) in (x) around 0 0.767 * [taylor]: Taking taylor expansion of (log (neg (+ (* 1.0 x) 1.0))) in x 0.767 * [taylor]: Taking taylor expansion of (neg (+ (* 1.0 x) 1.0)) in x 0.767 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) 1.0) in x 0.767 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.767 * [taylor]: Taking taylor expansion of 1.0 in x 0.767 * [taylor]: Taking taylor expansion of x in x 0.767 * [taylor]: Taking taylor expansion of 1.0 in x 0.767 * [taylor]: Taking taylor expansion of (log (neg (+ (* 1.0 x) 1.0))) in x 0.767 * [taylor]: Taking taylor expansion of (neg (+ (* 1.0 x) 1.0)) in x 0.767 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) 1.0) in x 0.767 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.767 * [taylor]: Taking taylor expansion of 1.0 in x 0.767 * [taylor]: Taking taylor expansion of x in x 0.767 * [taylor]: Taking taylor expansion of 1.0 in x 0.768 * * * [progress]: simplifying candidates 0.769 * [simplify]: Simplifying using # : (*.f64 (log.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) 3) (*.f64 (log.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) 3) (*.f64 1 3) (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (sqrt.f64 3)) (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 1) (pow.f64 1 3) (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3) (pow.f64 (*.f64 (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)))) 3) (pow.f64 (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) 3) (pow.f64 (sqrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) 3) (pow.f64 (sqrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) 3) (pow.f64 1 3) (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3) (*.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (log.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3)) (exp.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3)) (*.f64 (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3)) (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3))) (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3)) (*.f64 (*.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3) (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3)) (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3)) (pow.f64 1 3) (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3) (pow.f64 (*.f64 (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)))) 3) (pow.f64 (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) 3) (pow.f64 (sqrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) 3) (pow.f64 (sqrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) 3) (pow.f64 1 3) (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3) (*.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (sqrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3)) (sqrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3)) (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (/.f64 3 2)) (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (/.f64 3 2)) (log.f64 (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3))) (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3))) (cbrt.f64 (pow.f64 1 3)) (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3)) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) 3)) (cbrt.f64 (pow.f64 1 3)) (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3)) (cbrt.f64 (*.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (log.f64 (-.f64 (/.f64 1.0 x) 1.0)))) (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3)) (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3)))) (cbrt.f64 (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3))) (cbrt.f64 (pow.f64 1 3)) (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3)) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) 3)) (cbrt.f64 (pow.f64 1 3)) (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3)) (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (cbrt.f64 (*.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (log.f64 (-.f64 (/.f64 1.0 x) 1.0)))) (cbrt.f64 (sqrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3)) (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (/.f64 3 2))) (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (/.f64 3 2))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3))) (cbrt.f64 (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3)))) (cbrt.f64 (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3))) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3)) (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3))) (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3))) (sqrt.f64 (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3))) (sqrt.f64 (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3))) (log.f64 (*.f64 (cbrt.f64 (-.f64 (/.f64 1.0 x) 1.0)) (cbrt.f64 (-.f64 (/.f64 1.0 x) 1.0)))) (log.f64 (cbrt.f64 (-.f64 (/.f64 1.0 x) 1.0))) (log.f64 (sqrt.f64 (-.f64 (/.f64 1.0 x) 1.0))) (log.f64 (sqrt.f64 (-.f64 (/.f64 1.0 x) 1.0))) (log.f64 1) (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (log.f64 (+.f64 (sqrt.f64 (/.f64 1.0 x)) (sqrt.f64 1.0))) (log.f64 (-.f64 (sqrt.f64 (/.f64 1.0 x)) (sqrt.f64 1.0))) (log.f64 (+.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 x)) (sqrt.f64 1.0))) (log.f64 (-.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 x)) (sqrt.f64 1.0))) (log.f64 1) (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (log.f64 (-.f64 (pow.f64 (/.f64 1.0 x) 3) (pow.f64 1.0 3))) (log.f64 (+.f64 (*.f64 (/.f64 1.0 x) (/.f64 1.0 x)) (+.f64 (*.f64 1.0 1.0) (*.f64 (/.f64 1.0 x) 1.0)))) (log.f64 (-.f64 (*.f64 (/.f64 1.0 x) (/.f64 1.0 x)) (*.f64 1.0 1.0))) (log.f64 (+.f64 (/.f64 1.0 x) 1.0)) (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (log.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (exp.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (*.f64 (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)))) (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (*.f64 (*.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (sqrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (sqrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (-.f64 (+.f64 (*.f64 3.0 (/.f64 (*.f64 (log.f64 x) (*.f64 (pow.f64 x 2) (log.f64 1.0))) (pow.f64 1.0 2))) (+.f64 (*.f64 6.0 (*.f64 (log.f64 x) (*.f64 x (log.f64 1.0)))) (+.f64 (*.f64 3.0 (*.f64 (pow.f64 x 2) (log.f64 1.0))) (+.f64 (pow.f64 (log.f64 1.0) 3) (*.f64 3 (*.f64 (pow.f64 (log.f64 x) 2) (log.f64 1.0))))))) (+.f64 (*.f64 1.5 (/.f64 (*.f64 (pow.f64 (log.f64 x) 2) (pow.f64 x 2)) (pow.f64 1.0 2))) (+.f64 (*.f64 3 (*.f64 (log.f64 x) (pow.f64 (log.f64 1.0) 2))) (+.f64 (*.f64 1.5 (/.f64 (*.f64 (pow.f64 x 2) (pow.f64 (log.f64 1.0) 2)) (pow.f64 1.0 2))) (+.f64 (pow.f64 (log.f64 x) 3) (+.f64 (*.f64 3.0 (*.f64 x (pow.f64 (log.f64 1.0) 2))) (+.f64 (*.f64 3.0 (*.f64 (pow.f64 (log.f64 x) 2) x)) (*.f64 3.0 (*.f64 (log.f64 x) (pow.f64 x 2)))))))))) (-.f64 (+.f64 (pow.f64 (log.f64 (neg.f64 1.0)) 3) (*.f64 3.0 (/.f64 (log.f64 (neg.f64 1.0)) (pow.f64 x 2)))) (+.f64 (*.f64 1.5 (/.f64 (pow.f64 (log.f64 (neg.f64 1.0)) 2) (*.f64 (pow.f64 x 2) (pow.f64 -1.0 2)))) (*.f64 3.0 (/.f64 (pow.f64 (log.f64 (neg.f64 1.0)) 2) x)))) (-.f64 (+.f64 (pow.f64 (log.f64 (neg.f64 1.0)) 3) (*.f64 3.0 (/.f64 (log.f64 (neg.f64 1.0)) (pow.f64 x 2)))) (+.f64 (*.f64 3/2 (/.f64 (pow.f64 (log.f64 (neg.f64 1.0)) 2) (pow.f64 x 2))) (*.f64 3.0 (/.f64 (pow.f64 (log.f64 (neg.f64 1.0)) 2) x)))) (-.f64 (log.f64 1.0) (+.f64 (log.f64 x) (+.f64 (*.f64 1.0 x) (*.f64 0.5 (/.f64 (pow.f64 x 2) (pow.f64 1.0 2)))))) (-.f64 (log.f64 (neg.f64 1.0)) (+.f64 (*.f64 0.5 (/.f64 1 (*.f64 (pow.f64 x 2) (pow.f64 -1.0 2)))) (*.f64 1.0 (/.f64 1 x)))) (-.f64 (log.f64 (neg.f64 1.0)) (+.f64 (*.f64 1/2 (/.f64 1 (pow.f64 x 2))) (*.f64 1.0 (/.f64 1 x)))) (-.f64 (log.f64 1.0) (+.f64 (log.f64 x) (+.f64 (*.f64 1.0 x) (*.f64 0.5 (/.f64 (pow.f64 x 2) (pow.f64 1.0 2)))))) (-.f64 (log.f64 (neg.f64 1.0)) (+.f64 (*.f64 0.5 (/.f64 1 (*.f64 (pow.f64 x 2) (pow.f64 -1.0 2)))) (*.f64 1.0 (/.f64 1 x)))) (-.f64 (log.f64 (neg.f64 1.0)) (+.f64 (*.f64 1/2 (/.f64 1 (pow.f64 x 2))) (*.f64 1.0 (/.f64 1 x)))) 0.790 * * [simplify]: iteration 0 : 5013 enodes (cost 920 ) 0.794 * [simplify]: Simplified to: (*.f64 (log.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) 3) (*.f64 (log.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) 3) 3 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (sqrt.f64 3)) (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 1 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3) (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 2) (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3/2) (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3/2) 1 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3) (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 2) (*.f64 (log.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) 3) (exp.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3)) (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 2) (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (pow.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3) 3) 1 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3) (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 2) (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3/2) (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3/2) 1 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3) (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 2) (sqrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3)) (sqrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3)) (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3/2) (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3/2) (log.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (-.f64 (/.f64 1.0 x) 1.0) (cbrt.f64 1) (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 2)) (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (sqrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (sqrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (cbrt.f64 1) (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 2)) (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 2)) (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (cbrt.f64 1) (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 2)) (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (sqrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (sqrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (cbrt.f64 1) (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 2)) (cbrt.f64 (sqrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3))) (cbrt.f64 1) (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (sqrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (sqrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 2)) (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3) (sqrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (sqrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (*.f64 2 (log.f64 (cbrt.f64 (-.f64 (/.f64 1.0 x) 1.0)))) (log.f64 (cbrt.f64 (-.f64 (/.f64 1.0 x) 1.0))) (log.f64 (sqrt.f64 (-.f64 (/.f64 1.0 x) 1.0))) (log.f64 (sqrt.f64 (-.f64 (/.f64 1.0 x) 1.0))) (log.f64 1) (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (log.f64 (+.f64 (sqrt.f64 (/.f64 1.0 x)) (sqrt.f64 1.0))) (log.f64 (-.f64 (sqrt.f64 (/.f64 1.0 x)) (sqrt.f64 1.0))) (log.f64 (+.f64 (sqrt.f64 1.0) (/.f64 (sqrt.f64 1.0) (sqrt.f64 x)))) (log.f64 (-.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 x)) (sqrt.f64 1.0))) (log.f64 1) (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (log.f64 (-.f64 (pow.f64 (/.f64 1.0 x) 3) (pow.f64 1.0 3))) (log.f64 (+.f64 (*.f64 1.0 1.0) (*.f64 (/.f64 1.0 x) (+.f64 1.0 (/.f64 1.0 x))))) (log.f64 (-.f64 (*.f64 (/.f64 1.0 x) (/.f64 1.0 x)) (*.f64 1.0 1.0))) (log.f64 (+.f64 1.0 (/.f64 1.0 x))) (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (log.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (-.f64 (/.f64 1.0 x) 1.0) (cbrt.f64 (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 2)) (cbrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (pow.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) 3) (sqrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (sqrt.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) (-.f64 (+.f64 (*.f64 3.0 (/.f64 (*.f64 (log.f64 x) (*.f64 (*.f64 x x) (log.f64 1.0))) (*.f64 1.0 1.0))) (+.f64 (*.f64 6.0 (*.f64 (log.f64 x) (*.f64 x (log.f64 1.0)))) (*.f64 (log.f64 1.0) (+.f64 (*.f64 3.0 (*.f64 x x)) (+.f64 (pow.f64 (log.f64 1.0) 2) (*.f64 3 (pow.f64 (log.f64 x) 2))))))) (+.f64 (*.f64 1.5 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 (/.f64 1.0 x) (/.f64 1.0 x)))) (+.f64 (*.f64 3 (*.f64 (log.f64 x) (pow.f64 (log.f64 1.0) 2))) (+.f64 (*.f64 1.5 (/.f64 (pow.f64 (log.f64 1.0) 2) (*.f64 (/.f64 1.0 x) (/.f64 1.0 x)))) (+.f64 (pow.f64 (log.f64 x) 3) (*.f64 3.0 (+.f64 (*.f64 x (pow.f64 (log.f64 1.0) 2)) (*.f64 (*.f64 x (log.f64 x)) (+.f64 (log.f64 x) x))))))))) (-.f64 (*.f64 3.0 (-.f64 (/.f64 (log.f64 (neg.f64 1.0)) (*.f64 x x)) (/.f64 (pow.f64 (log.f64 (neg.f64 1.0)) 2) x))) (-.f64 (*.f64 1.5 (/.f64 (pow.f64 (log.f64 (neg.f64 1.0)) 2) (*.f64 (*.f64 x x) (*.f64 -1.0 -1.0)))) (pow.f64 (log.f64 (neg.f64 1.0)) 3))) (-.f64 (+.f64 (pow.f64 (log.f64 (neg.f64 1.0)) 3) (*.f64 3.0 (/.f64 (log.f64 (neg.f64 1.0)) (*.f64 x x)))) (*.f64 (/.f64 (pow.f64 (log.f64 (neg.f64 1.0)) 2) x) (+.f64 3.0 (/.f64 3/2 x)))) (-.f64 (log.f64 1.0) (+.f64 (log.f64 x) (+.f64 (*.f64 1.0 x) (*.f64 0.5 (/.f64 x (*.f64 1.0 (/.f64 1.0 x))))))) (-.f64 (log.f64 (neg.f64 1.0)) (+.f64 (/.f64 1.0 x) (/.f64 0.5 (*.f64 (*.f64 x x) (*.f64 -1.0 -1.0))))) (-.f64 (log.f64 (neg.f64 1.0)) (+.f64 (/.f64 1.0 x) (/.f64 1/2 (*.f64 x x)))) (-.f64 (log.f64 1.0) (+.f64 (log.f64 x) (+.f64 (*.f64 1.0 x) (*.f64 0.5 (/.f64 x (*.f64 1.0 (/.f64 1.0 x))))))) (-.f64 (log.f64 (neg.f64 1.0)) (+.f64 (/.f64 1.0 x) (/.f64 0.5 (*.f64 (*.f64 x x) (*.f64 -1.0 -1.0))))) (-.f64 (log.f64 (neg.f64 1.0)) (+.f64 (/.f64 1.0 x) (/.f64 1/2 (*.f64 x x)))) 0.795 * * * [progress]: adding candidates to table 0.854 * [progress]: [Phase 3 of 3] Extracting. 0.854 * * [regime]: Finding splitpoints for: (# #) 0.855 * * * [regime-changes]: Trying 5 branch expressions: ((/.f64 1.0 x) (-.f64 (/.f64 1.0 x) 1.0) (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) (neg.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) x) 0.855 * * * * [regimes]: Trying to branch on (/.f64 1.0 x) from (# #) 0.881 * * * * [regimes]: Trying to branch on (-.f64 (/.f64 1.0 x) 1.0) from (# #) 0.908 * * * * [regimes]: Trying to branch on (log.f64 (-.f64 (/.f64 1.0 x) 1.0)) from (# #) 0.933 * * * * [regimes]: Trying to branch on (neg.f64 (log.f64 (-.f64 (/.f64 1.0 x) 1.0))) from (# #) 0.959 * * * * [regimes]: Trying to branch on x from (# #) 0.982 * * * [regime]: Found split indices: #