17.669 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.006 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.006 * * * * [points]: Setting MPFR precision to 64 0.006 * * * * [points]: Setting MPFR precision to 320 0.007 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.007 * * * * [points]: Setting MPFR precision to 64 0.007 * * * * [points]: Setting MPFR precision to 320 0.008 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.008 * * * * [points]: Setting MPFR precision to 64 0.009 * * * * [points]: Setting MPFR precision to 320 0.009 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.009 * * * * [points]: Setting MPFR precision to 64 0.011 * * * * [points]: Setting MPFR precision to 320 0.012 * * * * [points]: Computing exacts for 256 points 0.012 * * * * [points]: Setting MPFR precision to 64 0.016 * * * * [points]: Setting MPFR precision to 320 0.021 * * * * [points]: Filtering points with unrepresentable outputs 0.021 * * * * [points]: Sampled 256 points with exact outputs 0.031 * * * [progress]: [2/2] Setting up program. 0.034 * [progress]: [Phase 2 of 3] Improving. 0.034 * [simplify]: Simplifying using # : (/ (- x lo) (- hi lo)) 0.080 * * [simplify]: iteration 0 : 1002 enodes (cost 7 ) 0.080 * * [simplify]: iteration 1 : 1002 enodes (cost 7 ) 0.081 * [simplify]: Simplified to: (/ (- x lo) (- hi lo)) 0.081 * * [progress]: iteration 1 / 4 0.081 * * * [progress]: picking best candidate 0.084 * * * * [pick]: Picked # 0.084 * * * [progress]: localizing error 0.088 * * * [progress]: generating rewritten candidates 0.088 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.098 * * * [progress]: generating series expansions 0.098 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.098 * [approximate]: Taking taylor expansion of (/ (- x lo) (- hi lo)) in (x lo hi) around 0 0.098 * [taylor]: Taking taylor expansion of (/ (- x lo) (- hi lo)) in hi 0.098 * [taylor]: Taking taylor expansion of (- x lo) in hi 0.098 * [taylor]: Taking taylor expansion of x in hi 0.098 * [taylor]: Taking taylor expansion of lo in hi 0.098 * [taylor]: Taking taylor expansion of (- hi lo) in hi 0.098 * [taylor]: Taking taylor expansion of hi in hi 0.098 * [taylor]: Taking taylor expansion of lo in hi 0.098 * [taylor]: Taking taylor expansion of (/ (- x lo) (- hi lo)) in lo 0.098 * [taylor]: Taking taylor expansion of (- x lo) in lo 0.098 * [taylor]: Taking taylor expansion of x in lo 0.098 * [taylor]: Taking taylor expansion of lo in lo 0.098 * [taylor]: Taking taylor expansion of (- hi lo) in lo 0.098 * [taylor]: Taking taylor expansion of hi in lo 0.098 * [taylor]: Taking taylor expansion of lo in lo 0.098 * [taylor]: Taking taylor expansion of (/ (- x lo) (- hi lo)) in x 0.098 * [taylor]: Taking taylor expansion of (- x lo) in x 0.098 * [taylor]: Taking taylor expansion of x in x 0.098 * [taylor]: Taking taylor expansion of lo in x 0.098 * [taylor]: Taking taylor expansion of (- hi lo) in x 0.098 * [taylor]: Taking taylor expansion of hi in x 0.098 * [taylor]: Taking taylor expansion of lo in x 0.098 * [taylor]: Taking taylor expansion of (/ (- x lo) (- hi lo)) in x 0.098 * [taylor]: Taking taylor expansion of (- x lo) in x 0.098 * [taylor]: Taking taylor expansion of x in x 0.098 * [taylor]: Taking taylor expansion of lo in x 0.098 * [taylor]: Taking taylor expansion of (- hi lo) in x 0.099 * [taylor]: Taking taylor expansion of hi in x 0.099 * [taylor]: Taking taylor expansion of lo in x 0.099 * [taylor]: Taking taylor expansion of (* -1 (/ lo (- hi lo))) in lo 0.099 * [taylor]: Taking taylor expansion of -1 in lo 0.099 * [taylor]: Taking taylor expansion of (/ lo (- hi lo)) in lo 0.099 * [taylor]: Taking taylor expansion of lo in lo 0.099 * [taylor]: Taking taylor expansion of (- hi lo) in lo 0.099 * [taylor]: Taking taylor expansion of hi in lo 0.099 * [taylor]: Taking taylor expansion of lo in lo 0.099 * [taylor]: Taking taylor expansion of (/ 1 (- hi lo)) in lo 0.099 * [taylor]: Taking taylor expansion of (- hi lo) in lo 0.099 * [taylor]: Taking taylor expansion of hi in lo 0.099 * [taylor]: Taking taylor expansion of lo in lo 0.099 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 0.099 * [taylor]: Taking taylor expansion of hi in hi 0.099 * [taylor]: Taking taylor expansion of (/ -1 hi) in hi 0.099 * [taylor]: Taking taylor expansion of -1 in hi 0.099 * [taylor]: Taking taylor expansion of hi in hi 0.099 * [taylor]: Taking taylor expansion of 0 in lo 0.099 * [taylor]: Taking taylor expansion of 0 in hi 0.100 * [taylor]: Taking taylor expansion of (/ 1 (pow hi 2)) in hi 0.100 * [taylor]: Taking taylor expansion of (pow hi 2) in hi 0.100 * [taylor]: Taking taylor expansion of hi in hi 0.100 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow hi 2))) in hi 0.100 * [taylor]: Taking taylor expansion of (/ 1 (pow hi 2)) in hi 0.100 * [taylor]: Taking taylor expansion of (pow hi 2) in hi 0.100 * [taylor]: Taking taylor expansion of hi in hi 0.100 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) in (x lo hi) around 0 0.100 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) in hi 0.100 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 lo)) in hi 0.100 * [taylor]: Taking taylor expansion of (/ 1 x) in hi 0.100 * [taylor]: Taking taylor expansion of x in hi 0.100 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 0.100 * [taylor]: Taking taylor expansion of lo in hi 0.100 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in hi 0.100 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 0.100 * [taylor]: Taking taylor expansion of hi in hi 0.100 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 0.100 * [taylor]: Taking taylor expansion of lo in hi 0.101 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) in lo 0.101 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 lo)) in lo 0.101 * [taylor]: Taking taylor expansion of (/ 1 x) in lo 0.101 * [taylor]: Taking taylor expansion of x in lo 0.101 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 0.101 * [taylor]: Taking taylor expansion of lo in lo 0.101 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in lo 0.101 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 0.101 * [taylor]: Taking taylor expansion of hi in lo 0.101 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 0.101 * [taylor]: Taking taylor expansion of lo in lo 0.101 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) in x 0.101 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 lo)) in x 0.101 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.101 * [taylor]: Taking taylor expansion of x in x 0.101 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 0.101 * [taylor]: Taking taylor expansion of lo in x 0.101 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in x 0.101 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 0.101 * [taylor]: Taking taylor expansion of hi in x 0.101 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 0.101 * [taylor]: Taking taylor expansion of lo in x 0.101 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) in x 0.101 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 lo)) in x 0.101 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.101 * [taylor]: Taking taylor expansion of x in x 0.101 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 0.101 * [taylor]: Taking taylor expansion of lo in x 0.101 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in x 0.101 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 0.101 * [taylor]: Taking taylor expansion of hi in x 0.101 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 0.101 * [taylor]: Taking taylor expansion of lo in x 0.102 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 hi) (/ 1 lo))) in lo 0.102 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in lo 0.102 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 0.102 * [taylor]: Taking taylor expansion of hi in lo 0.102 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 0.102 * [taylor]: Taking taylor expansion of lo in lo 0.102 * [taylor]: Taking taylor expansion of (neg (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo))) in lo 0.102 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo)) in lo 0.102 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) lo) in lo 0.102 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in lo 0.102 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 0.102 * [taylor]: Taking taylor expansion of hi in lo 0.102 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 0.102 * [taylor]: Taking taylor expansion of lo in lo 0.102 * [taylor]: Taking taylor expansion of lo in lo 0.102 * [taylor]: Taking taylor expansion of 1 in hi 0.102 * [taylor]: Taking taylor expansion of -1 in hi 0.103 * [taylor]: Taking taylor expansion of 0 in lo 0.103 * [taylor]: Taking taylor expansion of 0 in hi 0.103 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 0.103 * [taylor]: Taking taylor expansion of hi in hi 0.103 * [taylor]: Taking taylor expansion of (neg (/ 1 hi)) in hi 0.103 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 0.103 * [taylor]: Taking taylor expansion of hi in hi 0.104 * [approximate]: Taking taylor expansion of (/ (- (/ 1 lo) (/ 1 x)) (- (/ 1 lo) (/ 1 hi))) in (x lo hi) around 0 0.104 * [taylor]: Taking taylor expansion of (/ (- (/ 1 lo) (/ 1 x)) (- (/ 1 lo) (/ 1 hi))) in hi 0.104 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 x)) in hi 0.104 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 0.104 * [taylor]: Taking taylor expansion of lo in hi 0.104 * [taylor]: Taking taylor expansion of (/ 1 x) in hi 0.104 * [taylor]: Taking taylor expansion of x in hi 0.104 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in hi 0.104 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 0.104 * [taylor]: Taking taylor expansion of lo in hi 0.104 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 0.104 * [taylor]: Taking taylor expansion of hi in hi 0.104 * [taylor]: Taking taylor expansion of (/ (- (/ 1 lo) (/ 1 x)) (- (/ 1 lo) (/ 1 hi))) in lo 0.104 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 x)) in lo 0.104 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 0.104 * [taylor]: Taking taylor expansion of lo in lo 0.104 * [taylor]: Taking taylor expansion of (/ 1 x) in lo 0.104 * [taylor]: Taking taylor expansion of x in lo 0.104 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in lo 0.104 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 0.104 * [taylor]: Taking taylor expansion of lo in lo 0.104 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 0.104 * [taylor]: Taking taylor expansion of hi in lo 0.104 * [taylor]: Taking taylor expansion of (/ (- (/ 1 lo) (/ 1 x)) (- (/ 1 lo) (/ 1 hi))) in x 0.104 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 x)) in x 0.104 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 0.104 * [taylor]: Taking taylor expansion of lo in x 0.104 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.104 * [taylor]: Taking taylor expansion of x in x 0.104 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in x 0.104 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 0.104 * [taylor]: Taking taylor expansion of lo in x 0.104 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 0.104 * [taylor]: Taking taylor expansion of hi in x 0.105 * [taylor]: Taking taylor expansion of (/ (- (/ 1 lo) (/ 1 x)) (- (/ 1 lo) (/ 1 hi))) in x 0.105 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 x)) in x 0.105 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 0.105 * [taylor]: Taking taylor expansion of lo in x 0.105 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.105 * [taylor]: Taking taylor expansion of x in x 0.105 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in x 0.105 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 0.105 * [taylor]: Taking taylor expansion of lo in x 0.105 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 0.105 * [taylor]: Taking taylor expansion of hi in x 0.105 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 lo) (/ 1 hi))) in lo 0.105 * [taylor]: Taking taylor expansion of -1 in lo 0.105 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in lo 0.105 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 0.105 * [taylor]: Taking taylor expansion of lo in lo 0.105 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 0.105 * [taylor]: Taking taylor expansion of hi in lo 0.105 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 lo) (/ 1 hi)) lo)) in lo 0.105 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) lo) in lo 0.105 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in lo 0.106 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 0.106 * [taylor]: Taking taylor expansion of lo in lo 0.106 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 0.106 * [taylor]: Taking taylor expansion of hi in lo 0.106 * [taylor]: Taking taylor expansion of lo in lo 0.106 * [taylor]: Taking taylor expansion of 1 in hi 0.106 * [taylor]: Taking taylor expansion of -1 in hi 0.106 * [taylor]: Taking taylor expansion of 0 in lo 0.106 * [taylor]: Taking taylor expansion of 0 in hi 0.106 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 0.106 * [taylor]: Taking taylor expansion of hi in hi 0.107 * [taylor]: Taking taylor expansion of (neg (/ 1 hi)) in hi 0.107 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 0.107 * [taylor]: Taking taylor expansion of hi in hi 0.107 * * * [progress]: simplifying candidates 0.108 * [simplify]: Simplifying using # : (- (log (- x lo)) (log (- hi lo))) (log (/ (- x lo) (- hi lo))) (exp (/ (- x lo) (- hi lo))) (/ (* (* (- x lo) (- x lo)) (- x lo)) (* (* (- hi lo) (- hi lo)) (- hi lo))) (* (cbrt (/ (- x lo) (- hi lo))) (cbrt (/ (- x lo) (- hi lo)))) (cbrt (/ (- x lo) (- hi lo))) (* (* (/ (- x lo) (- hi lo)) (/ (- x lo) (- hi lo))) (/ (- x lo) (- hi lo))) (sqrt (/ (- x lo) (- hi lo))) (sqrt (/ (- x lo) (- hi lo))) (neg (- x lo)) (neg (- hi lo)) (/ x (- hi lo)) (/ lo (- hi lo)) (/ (* (cbrt (- x lo)) (cbrt (- x lo))) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (cbrt (- x lo)) (cbrt (- hi lo))) (/ (* (cbrt (- x lo)) (cbrt (- x lo))) (sqrt (- hi lo))) (/ (cbrt (- x lo)) (sqrt (- hi lo))) (/ (* (cbrt (- x lo)) (cbrt (- x lo))) 1) (/ (cbrt (- x lo)) (- hi lo)) (/ (* (cbrt (- x lo)) (cbrt (- x lo))) (+ (sqrt hi) (sqrt lo))) (/ (cbrt (- x lo)) (- (sqrt hi) (sqrt lo))) (/ (* (cbrt (- x lo)) (cbrt (- x lo))) 1) (/ (cbrt (- x lo)) (- hi lo)) (/ (sqrt (- x lo)) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (sqrt (- x lo)) (cbrt (- hi lo))) (/ (sqrt (- x lo)) (sqrt (- hi lo))) (/ (sqrt (- x lo)) (sqrt (- hi lo))) (/ (sqrt (- x lo)) 1) (/ (sqrt (- x lo)) (- hi lo)) (/ (sqrt (- x lo)) (+ (sqrt hi) (sqrt lo))) (/ (sqrt (- x lo)) (- (sqrt hi) (sqrt lo))) (/ (sqrt (- x lo)) 1) (/ (sqrt (- x lo)) (- hi lo)) (/ 1 (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (- x lo) (cbrt (- hi lo))) (/ 1 (sqrt (- hi lo))) (/ (- x lo) (sqrt (- hi lo))) (/ 1 1) (/ (- x lo) (- hi lo)) (/ 1 (+ (sqrt hi) (sqrt lo))) (/ (- x lo) (- (sqrt hi) (sqrt lo))) (/ 1 1) (/ (- x lo) (- hi lo)) (/ (+ (sqrt x) (sqrt lo)) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (- (sqrt x) (sqrt lo)) (cbrt (- hi lo))) (/ (+ (sqrt x) (sqrt lo)) (sqrt (- hi lo))) (/ (- (sqrt x) (sqrt lo)) (sqrt (- hi lo))) (/ (+ (sqrt x) (sqrt lo)) 1) (/ (- (sqrt x) (sqrt lo)) (- hi lo)) (/ (+ (sqrt x) (sqrt lo)) (+ (sqrt hi) (sqrt lo))) (/ (- (sqrt x) (sqrt lo)) (- (sqrt hi) (sqrt lo))) (/ (+ (sqrt x) (sqrt lo)) 1) (/ (- (sqrt x) (sqrt lo)) (- hi lo)) (/ 1 (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (- x lo) (cbrt (- hi lo))) (/ 1 (sqrt (- hi lo))) (/ (- x lo) (sqrt (- hi lo))) (/ 1 1) (/ (- x lo) (- hi lo)) (/ 1 (+ (sqrt hi) (sqrt lo))) (/ (- x lo) (- (sqrt hi) (sqrt lo))) (/ 1 1) (/ (- x lo) (- hi lo)) (/ 1 (- hi lo)) (/ (- hi lo) (- x lo)) (/ (- x lo) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (- x lo) (sqrt (- hi lo))) (/ (- x lo) 1) (/ (- x lo) (+ (sqrt hi) (sqrt lo))) (/ (- x lo) 1) (/ (- hi lo) (cbrt (- x lo))) (/ (- hi lo) (sqrt (- x lo))) (/ (- hi lo) (- x lo)) (/ (- hi lo) (- (sqrt x) (sqrt lo))) (/ (- hi lo) (- x lo)) (/ (- x lo) (- (pow hi 3) (pow lo 3))) (/ (- x lo) (- (* hi hi) (* lo lo))) (* (- hi lo) (+ (* x x) (+ (* lo lo) (* x lo)))) (* (- hi lo) (+ x lo)) 0 0 0 0.153 * * [simplify]: iteration 0 : 4867 enodes (cost 651 ) 0.153 * * [simplify]: iteration 1 : 4867 enodes (cost 651 ) 0.155 * [simplify]: Simplified to: (log (/ (- x lo) (- hi lo))) (log (/ (- x lo) (- hi lo))) (exp (/ (- x lo) (- hi lo))) (pow (/ (- x lo) (- hi lo)) 3) (* (cbrt (/ (- x lo) (- hi lo))) (cbrt (/ (- x lo) (- hi lo)))) (cbrt (/ (- x lo) (- hi lo))) (pow (/ (- x lo) (- hi lo)) 3) (sqrt (/ (- x lo) (- hi lo))) (sqrt (/ (- x lo) (- hi lo))) (- lo x) (- lo hi) (/ x (- hi lo)) (/ lo (- hi lo)) (* (cbrt (- x lo)) (/ (cbrt (- x lo)) (* (cbrt (- hi lo)) (cbrt (- hi lo))))) (/ (cbrt (- x lo)) (cbrt (- hi lo))) (* (cbrt (- x lo)) (/ (cbrt (- x lo)) (sqrt (- hi lo)))) (/ (cbrt (- x lo)) (sqrt (- hi lo))) (* (cbrt (- x lo)) (cbrt (- x lo))) (/ (cbrt (- x lo)) (- hi lo)) (* (cbrt (- x lo)) (/ (cbrt (- x lo)) (+ (sqrt hi) (sqrt lo)))) (/ (cbrt (- x lo)) (- (sqrt hi) (sqrt lo))) (* (cbrt (- x lo)) (cbrt (- x lo))) (/ (cbrt (- x lo)) (- hi lo)) (/ (sqrt (- x lo)) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (sqrt (- x lo)) (cbrt (- hi lo))) (/ (sqrt (- x lo)) (sqrt (- hi lo))) (/ (sqrt (- x lo)) (sqrt (- hi lo))) (sqrt (- x lo)) (/ (sqrt (- x lo)) (- hi lo)) (/ (sqrt (- x lo)) (+ (sqrt hi) (sqrt lo))) (/ (sqrt (- x lo)) (- (sqrt hi) (sqrt lo))) (sqrt (- x lo)) (/ (sqrt (- x lo)) (- hi lo)) (/ 1 (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (- x lo) (cbrt (- hi lo))) (/ 1 (sqrt (- hi lo))) (/ (- x lo) (sqrt (- hi lo))) 1 (/ (- x lo) (- hi lo)) (/ 1 (+ (sqrt hi) (sqrt lo))) (/ (- x lo) (- (sqrt hi) (sqrt lo))) 1 (/ (- x lo) (- hi lo)) (/ (+ (sqrt lo) (sqrt x)) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (- (sqrt x) (sqrt lo)) (cbrt (- hi lo))) (/ (+ (sqrt lo) (sqrt x)) (sqrt (- hi lo))) (/ (- (sqrt x) (sqrt lo)) (sqrt (- hi lo))) (+ (sqrt lo) (sqrt x)) (/ (- (sqrt x) (sqrt lo)) (- hi lo)) (/ (+ (sqrt lo) (sqrt x)) (+ (sqrt hi) (sqrt lo))) (/ (- (sqrt x) (sqrt lo)) (- (sqrt hi) (sqrt lo))) (+ (sqrt lo) (sqrt x)) (/ (- (sqrt x) (sqrt lo)) (- hi lo)) (/ 1 (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (- x lo) (cbrt (- hi lo))) (/ 1 (sqrt (- hi lo))) (/ (- x lo) (sqrt (- hi lo))) 1 (/ (- x lo) (- hi lo)) (/ 1 (+ (sqrt hi) (sqrt lo))) (/ (- x lo) (- (sqrt hi) (sqrt lo))) 1 (/ (- x lo) (- hi lo)) (/ 1 (- hi lo)) (/ (- hi lo) (- x lo)) (/ (- x lo) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (- x lo) (sqrt (- hi lo))) (- x lo) (/ (- x lo) (+ (sqrt hi) (sqrt lo))) (- x lo) (/ (- hi lo) (cbrt (- x lo))) (/ (- hi lo) (sqrt (- x lo))) (/ (- hi lo) (- x lo)) (/ (- hi lo) (- (sqrt x) (sqrt lo))) (/ (- hi lo) (- x lo)) (/ (- x lo) (- (pow hi 3) (pow lo 3))) (/ (- x lo) (- (* hi hi) (* lo lo))) (* (- hi lo) (+ (* lo lo) (* x (+ x lo)))) (* (- hi lo) (+ x lo)) 0 0 0 0.156 * * * [progress]: adding candidates to table 0.195 * [progress]: [Phase 3 of 3] Extracting. 0.197 * [simplify]: Simplifying using # : (/ (- x lo) (- hi lo)) 0.198 * * [simplify]: iteration 0 : 18 enodes (cost 7 ) 0.198 * * [simplify]: iteration 1 : 18 enodes (cost 7 ) 0.198 * [simplify]: Simplified to: (/ (- x lo) (- hi lo)) 0.198 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 0.279 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 0.279 * * * * [points]: Setting MPFR precision to 64 0.280 * * * * [points]: Setting MPFR precision to 320 0.280 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 0.280 * * * * [points]: Setting MPFR precision to 64 0.281 * * * * [points]: Setting MPFR precision to 320 0.281 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 0.281 * * * * [points]: Setting MPFR precision to 64 0.282 * * * * [points]: Setting MPFR precision to 320 0.283 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 0.283 * * * * [points]: Setting MPFR precision to 64 0.285 * * * * [points]: Setting MPFR precision to 320 0.287 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 0.288 * * * * [points]: Setting MPFR precision to 64 0.292 * * * * [points]: Setting MPFR precision to 320 0.299 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 0.299 * * * * [points]: Setting MPFR precision to 64 0.308 * * * * [points]: Setting MPFR precision to 320 0.316 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 0.317 * * * * [points]: Setting MPFR precision to 64 0.333 * * * * [points]: Setting MPFR precision to 320 0.349 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 0.350 * * * * [points]: Setting MPFR precision to 64 0.383 * * * * [points]: Setting MPFR precision to 320 0.416 * * * * [points]: Computing exacts for 8000 points 0.417 * * * * [points]: Setting MPFR precision to 64 0.545 * * * * [points]: Setting MPFR precision to 320 0.674 * * * * [points]: Setting MPFR precision to 576 0.806 * * * * [points]: Filtering points with unrepresentable outputs 0.820 * * * * [points]: Sampled 8000 points with exact outputs 1.214 * [regime-testing]: End program error score: 61.998359127086324