0.016 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.020 * * * [progress]: [2/2] Setting up program. 0.022 * [progress]: [Phase 2 of 3] Improving. 0.022 * [simplify]: Simplifying using # : (/ (- x lo) (- hi lo)) 0.023 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.023 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 0.025 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 0.027 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 0.028 * * [simplify]: iteration done : 18 enodes (cost 7 ) 0.028 * [simplify]: Simplified to: (/ (- x lo) (- hi lo)) 0.028 * * [progress]: iteration 1 / 4 0.028 * * * [progress]: picking best candidate 0.030 * * * * [pick]: Picked # 0.030 * * * [progress]: localizing error 0.035 * * * [progress]: generating rewritten candidates 0.035 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.047 * * * [progress]: generating series expansions 0.047 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.047 * [approximate]: Taking taylor expansion of (/ (- x lo) (- hi lo)) in (x lo hi) around 0 0.047 * [taylor]: Taking taylor expansion of (/ (- x lo) (- hi lo)) in hi 0.047 * [taylor]: Taking taylor expansion of (- x lo) in hi 0.047 * [taylor]: Taking taylor expansion of x in hi 0.047 * [taylor]: Taking taylor expansion of lo in hi 0.047 * [taylor]: Taking taylor expansion of (- hi lo) in hi 0.047 * [taylor]: Taking taylor expansion of hi in hi 0.047 * [taylor]: Taking taylor expansion of lo in hi 0.048 * [taylor]: Taking taylor expansion of (/ (- x lo) (- hi lo)) in lo 0.048 * [taylor]: Taking taylor expansion of (- x lo) in lo 0.048 * [taylor]: Taking taylor expansion of x in lo 0.048 * [taylor]: Taking taylor expansion of lo in lo 0.048 * [taylor]: Taking taylor expansion of (- hi lo) in lo 0.048 * [taylor]: Taking taylor expansion of hi in lo 0.048 * [taylor]: Taking taylor expansion of lo in lo 0.048 * [taylor]: Taking taylor expansion of (/ (- x lo) (- hi lo)) in x 0.048 * [taylor]: Taking taylor expansion of (- x lo) in x 0.048 * [taylor]: Taking taylor expansion of x in x 0.048 * [taylor]: Taking taylor expansion of lo in x 0.048 * [taylor]: Taking taylor expansion of (- hi lo) in x 0.048 * [taylor]: Taking taylor expansion of hi in x 0.049 * [taylor]: Taking taylor expansion of lo in x 0.049 * [taylor]: Taking taylor expansion of (/ (- x lo) (- hi lo)) in x 0.049 * [taylor]: Taking taylor expansion of (- x lo) in x 0.049 * [taylor]: Taking taylor expansion of x in x 0.049 * [taylor]: Taking taylor expansion of lo in x 0.049 * [taylor]: Taking taylor expansion of (- hi lo) in x 0.049 * [taylor]: Taking taylor expansion of hi in x 0.049 * [taylor]: Taking taylor expansion of lo in x 0.049 * [taylor]: Taking taylor expansion of (* -1 (/ lo (- hi lo))) in lo 0.049 * [taylor]: Taking taylor expansion of -1 in lo 0.049 * [taylor]: Taking taylor expansion of (/ lo (- hi lo)) in lo 0.049 * [taylor]: Taking taylor expansion of lo in lo 0.049 * [taylor]: Taking taylor expansion of (- hi lo) in lo 0.049 * [taylor]: Taking taylor expansion of hi in lo 0.049 * [taylor]: Taking taylor expansion of lo in lo 0.051 * [taylor]: Taking taylor expansion of (/ 1 (- hi lo)) in lo 0.051 * [taylor]: Taking taylor expansion of (- hi lo) in lo 0.051 * [taylor]: Taking taylor expansion of hi in lo 0.051 * [taylor]: Taking taylor expansion of lo in lo 0.051 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 0.051 * [taylor]: Taking taylor expansion of hi in hi 0.052 * [taylor]: Taking taylor expansion of (/ -1 hi) in hi 0.052 * [taylor]: Taking taylor expansion of -1 in hi 0.052 * [taylor]: Taking taylor expansion of hi in hi 0.054 * [taylor]: Taking taylor expansion of 0 in lo 0.054 * [taylor]: Taking taylor expansion of 0 in hi 0.054 * [taylor]: Taking taylor expansion of (/ 1 (pow hi 2)) in hi 0.054 * [taylor]: Taking taylor expansion of (pow hi 2) in hi 0.054 * [taylor]: Taking taylor expansion of hi in hi 0.058 * [taylor]: Taking taylor expansion of (- (/ 1 (pow hi 2))) in hi 0.058 * [taylor]: Taking taylor expansion of (/ 1 (pow hi 2)) in hi 0.058 * [taylor]: Taking taylor expansion of (pow hi 2) in hi 0.058 * [taylor]: Taking taylor expansion of hi in hi 0.061 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) in (x lo hi) around 0 0.061 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) in hi 0.061 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 lo)) in hi 0.061 * [taylor]: Taking taylor expansion of (/ 1 x) in hi 0.061 * [taylor]: Taking taylor expansion of x in hi 0.061 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 0.061 * [taylor]: Taking taylor expansion of lo in hi 0.061 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in hi 0.061 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 0.061 * [taylor]: Taking taylor expansion of hi in hi 0.061 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 0.061 * [taylor]: Taking taylor expansion of lo in hi 0.062 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) in lo 0.062 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 lo)) in lo 0.062 * [taylor]: Taking taylor expansion of (/ 1 x) in lo 0.062 * [taylor]: Taking taylor expansion of x in lo 0.062 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 0.062 * [taylor]: Taking taylor expansion of lo in lo 0.062 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in lo 0.062 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 0.062 * [taylor]: Taking taylor expansion of hi in lo 0.062 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 0.062 * [taylor]: Taking taylor expansion of lo in lo 0.064 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) in x 0.064 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 lo)) in x 0.064 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.064 * [taylor]: Taking taylor expansion of x in x 0.064 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 0.064 * [taylor]: Taking taylor expansion of lo in x 0.064 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in x 0.064 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 0.064 * [taylor]: Taking taylor expansion of hi in x 0.064 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 0.064 * [taylor]: Taking taylor expansion of lo in x 0.065 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) in x 0.065 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 lo)) in x 0.065 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.065 * [taylor]: Taking taylor expansion of x in x 0.065 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 0.065 * [taylor]: Taking taylor expansion of lo in x 0.065 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in x 0.065 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 0.065 * [taylor]: Taking taylor expansion of hi in x 0.065 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 0.065 * [taylor]: Taking taylor expansion of lo in x 0.065 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 hi) (/ 1 lo))) in lo 0.065 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in lo 0.066 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 0.066 * [taylor]: Taking taylor expansion of hi in lo 0.066 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 0.066 * [taylor]: Taking taylor expansion of lo in lo 0.068 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo))) in lo 0.068 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo)) in lo 0.068 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) lo) in lo 0.068 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in lo 0.068 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 0.068 * [taylor]: Taking taylor expansion of hi in lo 0.068 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 0.068 * [taylor]: Taking taylor expansion of lo in lo 0.068 * [taylor]: Taking taylor expansion of lo in lo 0.070 * [taylor]: Taking taylor expansion of 1 in hi 0.070 * [taylor]: Taking taylor expansion of -1 in hi 0.072 * [taylor]: Taking taylor expansion of 0 in lo 0.073 * [taylor]: Taking taylor expansion of 0 in hi 0.074 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 0.074 * [taylor]: Taking taylor expansion of hi in hi 0.076 * [taylor]: Taking taylor expansion of (- (/ 1 hi)) in hi 0.076 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 0.077 * [taylor]: Taking taylor expansion of hi in hi 0.078 * [approximate]: Taking taylor expansion of (/ (- (/ 1 lo) (/ 1 x)) (- (/ 1 lo) (/ 1 hi))) in (x lo hi) around 0 0.078 * [taylor]: Taking taylor expansion of (/ (- (/ 1 lo) (/ 1 x)) (- (/ 1 lo) (/ 1 hi))) in hi 0.078 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 x)) in hi 0.078 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 0.078 * [taylor]: Taking taylor expansion of lo in hi 0.078 * [taylor]: Taking taylor expansion of (/ 1 x) in hi 0.078 * [taylor]: Taking taylor expansion of x in hi 0.078 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in hi 0.078 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 0.078 * [taylor]: Taking taylor expansion of lo in hi 0.078 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 0.078 * [taylor]: Taking taylor expansion of hi in hi 0.079 * [taylor]: Taking taylor expansion of (/ (- (/ 1 lo) (/ 1 x)) (- (/ 1 lo) (/ 1 hi))) in lo 0.079 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 x)) in lo 0.079 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 0.079 * [taylor]: Taking taylor expansion of lo in lo 0.079 * [taylor]: Taking taylor expansion of (/ 1 x) in lo 0.080 * [taylor]: Taking taylor expansion of x in lo 0.080 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in lo 0.080 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 0.080 * [taylor]: Taking taylor expansion of lo in lo 0.080 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 0.080 * [taylor]: Taking taylor expansion of hi in lo 0.081 * [taylor]: Taking taylor expansion of (/ (- (/ 1 lo) (/ 1 x)) (- (/ 1 lo) (/ 1 hi))) in x 0.081 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 x)) in x 0.081 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 0.081 * [taylor]: Taking taylor expansion of lo in x 0.081 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.081 * [taylor]: Taking taylor expansion of x in x 0.081 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in x 0.081 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 0.081 * [taylor]: Taking taylor expansion of lo in x 0.081 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 0.081 * [taylor]: Taking taylor expansion of hi in x 0.082 * [taylor]: Taking taylor expansion of (/ (- (/ 1 lo) (/ 1 x)) (- (/ 1 lo) (/ 1 hi))) in x 0.082 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 x)) in x 0.082 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 0.082 * [taylor]: Taking taylor expansion of lo in x 0.082 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.082 * [taylor]: Taking taylor expansion of x in x 0.082 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in x 0.082 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 0.082 * [taylor]: Taking taylor expansion of lo in x 0.082 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 0.082 * [taylor]: Taking taylor expansion of hi in x 0.083 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 lo) (/ 1 hi))) in lo 0.083 * [taylor]: Taking taylor expansion of -1 in lo 0.083 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in lo 0.083 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 0.083 * [taylor]: Taking taylor expansion of lo in lo 0.083 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 0.083 * [taylor]: Taking taylor expansion of hi in lo 0.085 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 lo) (/ 1 hi)) lo)) in lo 0.085 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) lo) in lo 0.085 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in lo 0.085 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 0.085 * [taylor]: Taking taylor expansion of lo in lo 0.086 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 0.086 * [taylor]: Taking taylor expansion of hi in lo 0.086 * [taylor]: Taking taylor expansion of lo in lo 0.087 * [taylor]: Taking taylor expansion of 1 in hi 0.087 * [taylor]: Taking taylor expansion of -1 in hi 0.089 * [taylor]: Taking taylor expansion of 0 in lo 0.089 * [taylor]: Taking taylor expansion of 0 in hi 0.091 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 0.091 * [taylor]: Taking taylor expansion of hi in hi 0.093 * [taylor]: Taking taylor expansion of (- (/ 1 hi)) in hi 0.093 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 0.093 * [taylor]: Taking taylor expansion of hi in hi 0.094 * * * [progress]: simplifying candidates 0.095 * [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))) (- (- x lo)) (- (- 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.101 * * [simplify]: iteration 0 : 94 enodes (cost 708 ) 0.115 * * [simplify]: iteration 1 : 224 enodes (cost 681 ) 0.163 * * [simplify]: iteration 2 : 516 enodes (cost 653 ) 0.308 * * [simplify]: iteration 3 : 1205 enodes (cost 653 ) 0.703 * * [simplify]: iteration 4 : 2989 enodes (cost 651 ) 1.522 * * [simplify]: iteration done : 5000 enodes (cost 651 ) 1.522 * [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 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)) (/ (- (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)) (/ (- (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 (+ x lo)) (* x x))) (* (- hi lo) (+ x lo)) 0 0 0 1.523 * * * [progress]: adding candidates to table 1.621 * * [progress]: iteration 2 / 4 1.621 * * * [progress]: picking best candidate 1.622 * * * * [pick]: Picked # 1.622 * * * [progress]: localizing error 1.628 * * * [progress]: generating rewritten candidates 1.628 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 1.633 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 1.638 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.691 * * * [progress]: generating series expansions 1.691 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 1.692 * [approximate]: Taking taylor expansion of (/ lo (- hi lo)) in (lo hi) around 0 1.692 * [taylor]: Taking taylor expansion of (/ lo (- hi lo)) in hi 1.692 * [taylor]: Taking taylor expansion of lo in hi 1.692 * [taylor]: Taking taylor expansion of (- hi lo) in hi 1.692 * [taylor]: Taking taylor expansion of hi in hi 1.692 * [taylor]: Taking taylor expansion of lo in hi 1.692 * [taylor]: Taking taylor expansion of (/ lo (- hi lo)) in lo 1.692 * [taylor]: Taking taylor expansion of lo in lo 1.692 * [taylor]: Taking taylor expansion of (- hi lo) in lo 1.692 * [taylor]: Taking taylor expansion of hi in lo 1.692 * [taylor]: Taking taylor expansion of lo in lo 1.692 * [taylor]: Taking taylor expansion of (/ lo (- hi lo)) in lo 1.692 * [taylor]: Taking taylor expansion of lo in lo 1.692 * [taylor]: Taking taylor expansion of (- hi lo) in lo 1.692 * [taylor]: Taking taylor expansion of hi in lo 1.693 * [taylor]: Taking taylor expansion of lo in lo 1.693 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 1.693 * [taylor]: Taking taylor expansion of hi in hi 1.694 * [taylor]: Taking taylor expansion of (/ 1 (pow hi 2)) in hi 1.694 * [taylor]: Taking taylor expansion of (pow hi 2) in hi 1.694 * [taylor]: Taking taylor expansion of hi in hi 1.698 * [taylor]: Taking taylor expansion of (/ 1 (pow hi 3)) in hi 1.698 * [taylor]: Taking taylor expansion of (pow hi 3) in hi 1.698 * [taylor]: Taking taylor expansion of hi in hi 1.704 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo)) in (lo hi) around 0 1.704 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo)) in hi 1.704 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) lo) in hi 1.704 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in hi 1.704 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 1.704 * [taylor]: Taking taylor expansion of hi in hi 1.707 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 1.707 * [taylor]: Taking taylor expansion of lo in hi 1.707 * [taylor]: Taking taylor expansion of lo in hi 1.708 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo)) in lo 1.708 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) lo) in lo 1.708 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in lo 1.708 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 1.708 * [taylor]: Taking taylor expansion of hi in lo 1.708 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 1.708 * [taylor]: Taking taylor expansion of lo in lo 1.708 * [taylor]: Taking taylor expansion of lo in lo 1.710 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo)) in lo 1.710 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) lo) in lo 1.710 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in lo 1.710 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 1.710 * [taylor]: Taking taylor expansion of hi in lo 1.710 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 1.710 * [taylor]: Taking taylor expansion of lo in lo 1.711 * [taylor]: Taking taylor expansion of lo in lo 1.713 * [taylor]: Taking taylor expansion of -1 in hi 1.715 * [taylor]: Taking taylor expansion of (- (/ 1 hi)) in hi 1.715 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 1.715 * [taylor]: Taking taylor expansion of hi in hi 1.719 * [taylor]: Taking taylor expansion of (- (/ 1 (pow hi 2))) in hi 1.719 * [taylor]: Taking taylor expansion of (/ 1 (pow hi 2)) in hi 1.719 * [taylor]: Taking taylor expansion of (pow hi 2) in hi 1.719 * [taylor]: Taking taylor expansion of hi in hi 1.723 * [approximate]: Taking taylor expansion of (/ -1 (* (- (/ 1 lo) (/ 1 hi)) lo)) in (lo hi) around 0 1.723 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 lo) (/ 1 hi)) lo)) in hi 1.723 * [taylor]: Taking taylor expansion of -1 in hi 1.723 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) lo) in hi 1.723 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in hi 1.723 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 1.723 * [taylor]: Taking taylor expansion of lo in hi 1.723 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 1.723 * [taylor]: Taking taylor expansion of hi in hi 1.724 * [taylor]: Taking taylor expansion of lo in hi 1.724 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 lo) (/ 1 hi)) lo)) in lo 1.724 * [taylor]: Taking taylor expansion of -1 in lo 1.724 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) lo) in lo 1.724 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in lo 1.724 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 1.724 * [taylor]: Taking taylor expansion of lo in lo 1.725 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 1.725 * [taylor]: Taking taylor expansion of hi in lo 1.725 * [taylor]: Taking taylor expansion of lo in lo 1.726 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 lo) (/ 1 hi)) lo)) in lo 1.726 * [taylor]: Taking taylor expansion of -1 in lo 1.726 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) lo) in lo 1.726 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in lo 1.726 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 1.726 * [taylor]: Taking taylor expansion of lo in lo 1.727 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 1.727 * [taylor]: Taking taylor expansion of hi in lo 1.727 * [taylor]: Taking taylor expansion of lo in lo 1.728 * [taylor]: Taking taylor expansion of -1 in hi 1.730 * [taylor]: Taking taylor expansion of (- (/ 1 hi)) in hi 1.730 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 1.730 * [taylor]: Taking taylor expansion of hi in hi 1.734 * [taylor]: Taking taylor expansion of (- (/ 1 (pow hi 2))) in hi 1.734 * [taylor]: Taking taylor expansion of (/ 1 (pow hi 2)) in hi 1.734 * [taylor]: Taking taylor expansion of (pow hi 2) in hi 1.734 * [taylor]: Taking taylor expansion of hi in hi 1.738 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 1.738 * [approximate]: Taking taylor expansion of (/ x (- hi lo)) in (x hi lo) around 0 1.738 * [taylor]: Taking taylor expansion of (/ x (- hi lo)) in lo 1.738 * [taylor]: Taking taylor expansion of x in lo 1.738 * [taylor]: Taking taylor expansion of (- hi lo) in lo 1.738 * [taylor]: Taking taylor expansion of hi in lo 1.738 * [taylor]: Taking taylor expansion of lo in lo 1.739 * [taylor]: Taking taylor expansion of (/ x (- hi lo)) in hi 1.739 * [taylor]: Taking taylor expansion of x in hi 1.739 * [taylor]: Taking taylor expansion of (- hi lo) in hi 1.739 * [taylor]: Taking taylor expansion of hi in hi 1.739 * [taylor]: Taking taylor expansion of lo in hi 1.739 * [taylor]: Taking taylor expansion of (/ x (- hi lo)) in x 1.739 * [taylor]: Taking taylor expansion of x in x 1.739 * [taylor]: Taking taylor expansion of (- hi lo) in x 1.739 * [taylor]: Taking taylor expansion of hi in x 1.739 * [taylor]: Taking taylor expansion of lo in x 1.739 * [taylor]: Taking taylor expansion of (/ x (- hi lo)) in x 1.739 * [taylor]: Taking taylor expansion of x in x 1.739 * [taylor]: Taking taylor expansion of (- hi lo) in x 1.739 * [taylor]: Taking taylor expansion of hi in x 1.739 * [taylor]: Taking taylor expansion of lo in x 1.739 * [taylor]: Taking taylor expansion of (/ 1 (- hi lo)) in hi 1.739 * [taylor]: Taking taylor expansion of (- hi lo) in hi 1.739 * [taylor]: Taking taylor expansion of hi in hi 1.739 * [taylor]: Taking taylor expansion of lo in hi 1.739 * [taylor]: Taking taylor expansion of (/ -1 lo) in lo 1.739 * [taylor]: Taking taylor expansion of -1 in lo 1.739 * [taylor]: Taking taylor expansion of lo in lo 1.741 * [taylor]: Taking taylor expansion of 0 in hi 1.741 * [taylor]: Taking taylor expansion of 0 in lo 1.741 * [taylor]: Taking taylor expansion of (- (/ 1 (pow lo 2))) in lo 1.741 * [taylor]: Taking taylor expansion of (/ 1 (pow lo 2)) in lo 1.741 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 1.741 * [taylor]: Taking taylor expansion of lo in lo 1.745 * [taylor]: Taking taylor expansion of 0 in hi 1.745 * [taylor]: Taking taylor expansion of 0 in lo 1.745 * [taylor]: Taking taylor expansion of 0 in lo 1.745 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) in (x hi lo) around 0 1.745 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) in lo 1.745 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) x) in lo 1.745 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in lo 1.745 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 1.745 * [taylor]: Taking taylor expansion of hi in lo 1.745 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 1.745 * [taylor]: Taking taylor expansion of lo in lo 1.746 * [taylor]: Taking taylor expansion of x in lo 1.746 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) in hi 1.746 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) x) in hi 1.747 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in hi 1.747 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 1.747 * [taylor]: Taking taylor expansion of hi in hi 1.747 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 1.747 * [taylor]: Taking taylor expansion of lo in hi 1.747 * [taylor]: Taking taylor expansion of x in hi 1.747 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) in x 1.747 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) x) in x 1.747 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in x 1.747 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 1.747 * [taylor]: Taking taylor expansion of hi in x 1.747 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 1.747 * [taylor]: Taking taylor expansion of lo in x 1.747 * [taylor]: Taking taylor expansion of x in x 1.748 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) in x 1.748 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) x) in x 1.748 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in x 1.748 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 1.748 * [taylor]: Taking taylor expansion of hi in x 1.748 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 1.749 * [taylor]: Taking taylor expansion of lo in x 1.749 * [taylor]: Taking taylor expansion of x in x 1.750 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 hi) (/ 1 lo))) in hi 1.750 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in hi 1.750 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 1.750 * [taylor]: Taking taylor expansion of hi in hi 1.750 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 1.750 * [taylor]: Taking taylor expansion of lo in hi 1.751 * [taylor]: Taking taylor expansion of 1 in lo 1.752 * [taylor]: Taking taylor expansion of 0 in hi 1.752 * [taylor]: Taking taylor expansion of 0 in lo 1.752 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 1.752 * [taylor]: Taking taylor expansion of lo in lo 1.755 * [taylor]: Taking taylor expansion of 0 in hi 1.755 * [taylor]: Taking taylor expansion of 0 in lo 1.755 * [taylor]: Taking taylor expansion of 0 in lo 1.755 * [approximate]: Taking taylor expansion of (/ -1 (* (- (/ 1 lo) (/ 1 hi)) x)) in (x hi lo) around 0 1.755 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 lo) (/ 1 hi)) x)) in lo 1.755 * [taylor]: Taking taylor expansion of -1 in lo 1.755 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) x) in lo 1.755 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in lo 1.755 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 1.755 * [taylor]: Taking taylor expansion of lo in lo 1.756 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 1.756 * [taylor]: Taking taylor expansion of hi in lo 1.756 * [taylor]: Taking taylor expansion of x in lo 1.756 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 lo) (/ 1 hi)) x)) in hi 1.756 * [taylor]: Taking taylor expansion of -1 in hi 1.756 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) x) in hi 1.756 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in hi 1.756 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 1.756 * [taylor]: Taking taylor expansion of lo in hi 1.756 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 1.756 * [taylor]: Taking taylor expansion of hi in hi 1.756 * [taylor]: Taking taylor expansion of x in hi 1.757 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 lo) (/ 1 hi)) x)) in x 1.757 * [taylor]: Taking taylor expansion of -1 in x 1.757 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) x) in x 1.757 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in x 1.757 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 1.757 * [taylor]: Taking taylor expansion of lo in x 1.757 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 1.757 * [taylor]: Taking taylor expansion of hi in x 1.757 * [taylor]: Taking taylor expansion of x in x 1.758 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 lo) (/ 1 hi)) x)) in x 1.758 * [taylor]: Taking taylor expansion of -1 in x 1.758 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) x) in x 1.758 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in x 1.758 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 1.758 * [taylor]: Taking taylor expansion of lo in x 1.758 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 1.758 * [taylor]: Taking taylor expansion of hi in x 1.758 * [taylor]: Taking taylor expansion of x in x 1.759 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 lo) (/ 1 hi))) in hi 1.759 * [taylor]: Taking taylor expansion of -1 in hi 1.760 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in hi 1.760 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 1.760 * [taylor]: Taking taylor expansion of lo in hi 1.760 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 1.760 * [taylor]: Taking taylor expansion of hi in hi 1.761 * [taylor]: Taking taylor expansion of 1 in lo 1.762 * [taylor]: Taking taylor expansion of 0 in hi 1.762 * [taylor]: Taking taylor expansion of 0 in lo 1.763 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 1.763 * [taylor]: Taking taylor expansion of lo in lo 1.765 * [taylor]: Taking taylor expansion of 0 in hi 1.765 * [taylor]: Taking taylor expansion of 0 in lo 1.765 * [taylor]: Taking taylor expansion of 0 in lo 1.765 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1.766 * [approximate]: Taking taylor expansion of (- (/ x (- hi lo)) (/ lo (- hi lo))) in (x hi lo) around 0 1.766 * [taylor]: Taking taylor expansion of (- (/ x (- hi lo)) (/ lo (- hi lo))) in lo 1.766 * [taylor]: Taking taylor expansion of (/ x (- hi lo)) in lo 1.766 * [taylor]: Taking taylor expansion of x in lo 1.766 * [taylor]: Taking taylor expansion of (- hi lo) in lo 1.766 * [taylor]: Taking taylor expansion of hi in lo 1.766 * [taylor]: Taking taylor expansion of lo in lo 1.766 * [taylor]: Taking taylor expansion of (/ lo (- hi lo)) in lo 1.766 * [taylor]: Taking taylor expansion of lo in lo 1.766 * [taylor]: Taking taylor expansion of (- hi lo) in lo 1.766 * [taylor]: Taking taylor expansion of hi in lo 1.766 * [taylor]: Taking taylor expansion of lo in lo 1.766 * [taylor]: Taking taylor expansion of (- (/ x (- hi lo)) (/ lo (- hi lo))) in hi 1.766 * [taylor]: Taking taylor expansion of (/ x (- hi lo)) in hi 1.766 * [taylor]: Taking taylor expansion of x in hi 1.766 * [taylor]: Taking taylor expansion of (- hi lo) in hi 1.767 * [taylor]: Taking taylor expansion of hi in hi 1.767 * [taylor]: Taking taylor expansion of lo in hi 1.767 * [taylor]: Taking taylor expansion of (/ lo (- hi lo)) in hi 1.767 * [taylor]: Taking taylor expansion of lo in hi 1.767 * [taylor]: Taking taylor expansion of (- hi lo) in hi 1.767 * [taylor]: Taking taylor expansion of hi in hi 1.767 * [taylor]: Taking taylor expansion of lo in hi 1.767 * [taylor]: Taking taylor expansion of (- (/ x (- hi lo)) (/ lo (- hi lo))) in x 1.767 * [taylor]: Taking taylor expansion of (/ x (- hi lo)) in x 1.767 * [taylor]: Taking taylor expansion of x in x 1.767 * [taylor]: Taking taylor expansion of (- hi lo) in x 1.767 * [taylor]: Taking taylor expansion of hi in x 1.767 * [taylor]: Taking taylor expansion of lo in x 1.767 * [taylor]: Taking taylor expansion of (/ lo (- hi lo)) in x 1.767 * [taylor]: Taking taylor expansion of lo in x 1.767 * [taylor]: Taking taylor expansion of (- hi lo) in x 1.767 * [taylor]: Taking taylor expansion of hi in x 1.767 * [taylor]: Taking taylor expansion of lo in x 1.767 * [taylor]: Taking taylor expansion of (- (/ x (- hi lo)) (/ lo (- hi lo))) in x 1.767 * [taylor]: Taking taylor expansion of (/ x (- hi lo)) in x 1.767 * [taylor]: Taking taylor expansion of x in x 1.767 * [taylor]: Taking taylor expansion of (- hi lo) in x 1.767 * [taylor]: Taking taylor expansion of hi in x 1.767 * [taylor]: Taking taylor expansion of lo in x 1.767 * [taylor]: Taking taylor expansion of (/ lo (- hi lo)) in x 1.767 * [taylor]: Taking taylor expansion of lo in x 1.767 * [taylor]: Taking taylor expansion of (- hi lo) in x 1.767 * [taylor]: Taking taylor expansion of hi in x 1.767 * [taylor]: Taking taylor expansion of lo in x 1.767 * [taylor]: Taking taylor expansion of (- (/ lo (- hi lo))) in hi 1.768 * [taylor]: Taking taylor expansion of (/ lo (- hi lo)) in hi 1.768 * [taylor]: Taking taylor expansion of lo in hi 1.768 * [taylor]: Taking taylor expansion of (- hi lo) in hi 1.768 * [taylor]: Taking taylor expansion of hi in hi 1.768 * [taylor]: Taking taylor expansion of lo in hi 1.768 * [taylor]: Taking taylor expansion of 1 in lo 1.769 * [taylor]: Taking taylor expansion of (/ 1 (- hi lo)) in hi 1.769 * [taylor]: Taking taylor expansion of (- hi lo) in hi 1.769 * [taylor]: Taking taylor expansion of hi in hi 1.769 * [taylor]: Taking taylor expansion of lo in hi 1.769 * [taylor]: Taking taylor expansion of (/ -1 lo) in lo 1.769 * [taylor]: Taking taylor expansion of -1 in lo 1.769 * [taylor]: Taking taylor expansion of lo in lo 1.770 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 1.770 * [taylor]: Taking taylor expansion of lo in lo 1.772 * [taylor]: Taking taylor expansion of 0 in hi 1.773 * [taylor]: Taking taylor expansion of 0 in lo 1.773 * [taylor]: Taking taylor expansion of (- (/ 1 (pow lo 2))) in lo 1.773 * [taylor]: Taking taylor expansion of (/ 1 (pow lo 2)) in lo 1.773 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 1.773 * [taylor]: Taking taylor expansion of lo in lo 1.776 * [taylor]: Taking taylor expansion of (/ 1 (pow lo 2)) in lo 1.776 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 1.776 * [taylor]: Taking taylor expansion of lo in lo 1.779 * [approximate]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo))) in (x hi lo) around 0 1.779 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo))) in lo 1.779 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) in lo 1.779 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) x) in lo 1.779 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in lo 1.779 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 1.779 * [taylor]: Taking taylor expansion of hi in lo 1.779 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 1.779 * [taylor]: Taking taylor expansion of lo in lo 1.779 * [taylor]: Taking taylor expansion of x in lo 1.780 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo)) in lo 1.780 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) lo) in lo 1.780 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in lo 1.780 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 1.780 * [taylor]: Taking taylor expansion of hi in lo 1.780 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 1.780 * [taylor]: Taking taylor expansion of lo in lo 1.780 * [taylor]: Taking taylor expansion of lo in lo 1.782 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo))) in hi 1.782 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) in hi 1.782 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) x) in hi 1.782 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in hi 1.782 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 1.782 * [taylor]: Taking taylor expansion of hi in hi 1.782 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 1.782 * [taylor]: Taking taylor expansion of lo in hi 1.783 * [taylor]: Taking taylor expansion of x in hi 1.783 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo)) in hi 1.783 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) lo) in hi 1.783 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in hi 1.783 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 1.783 * [taylor]: Taking taylor expansion of hi in hi 1.783 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 1.783 * [taylor]: Taking taylor expansion of lo in hi 1.783 * [taylor]: Taking taylor expansion of lo in hi 1.784 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo))) in x 1.784 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) in x 1.784 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) x) in x 1.784 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in x 1.784 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 1.784 * [taylor]: Taking taylor expansion of hi in x 1.784 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 1.784 * [taylor]: Taking taylor expansion of lo in x 1.784 * [taylor]: Taking taylor expansion of x in x 1.785 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo)) in x 1.785 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) lo) in x 1.785 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in x 1.785 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 1.785 * [taylor]: Taking taylor expansion of hi in x 1.785 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 1.785 * [taylor]: Taking taylor expansion of lo in x 1.785 * [taylor]: Taking taylor expansion of lo in x 1.785 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo))) in x 1.785 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) in x 1.785 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) x) in x 1.785 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in x 1.785 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 1.785 * [taylor]: Taking taylor expansion of hi in x 1.785 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 1.785 * [taylor]: Taking taylor expansion of lo in x 1.785 * [taylor]: Taking taylor expansion of x in x 1.786 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo)) in x 1.786 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) lo) in x 1.786 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in x 1.786 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 1.786 * [taylor]: Taking taylor expansion of hi in x 1.786 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 1.786 * [taylor]: Taking taylor expansion of lo in x 1.787 * [taylor]: Taking taylor expansion of lo in x 1.787 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 hi) (/ 1 lo))) in hi 1.787 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in hi 1.787 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 1.787 * [taylor]: Taking taylor expansion of hi in hi 1.787 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 1.787 * [taylor]: Taking taylor expansion of lo in hi 1.788 * [taylor]: Taking taylor expansion of 1 in lo 1.789 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo))) in hi 1.789 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo)) in hi 1.789 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) lo) in hi 1.789 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in hi 1.789 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 1.789 * [taylor]: Taking taylor expansion of hi in hi 1.790 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 1.790 * [taylor]: Taking taylor expansion of lo in hi 1.790 * [taylor]: Taking taylor expansion of lo in hi 1.790 * [taylor]: Taking taylor expansion of (- (/ 1 lo)) in lo 1.790 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 1.790 * [taylor]: Taking taylor expansion of lo in lo 1.794 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 1.794 * [taylor]: Taking taylor expansion of lo in lo 1.797 * [taylor]: Taking taylor expansion of 0 in hi 1.797 * [taylor]: Taking taylor expansion of 0 in lo 1.799 * [taylor]: Taking taylor expansion of (- (/ 1 (pow lo 2))) in lo 1.799 * [taylor]: Taking taylor expansion of (/ 1 (pow lo 2)) in lo 1.799 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 1.799 * [taylor]: Taking taylor expansion of lo in lo 1.803 * [taylor]: Taking taylor expansion of (/ 1 (pow lo 2)) in lo 1.803 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 1.803 * [taylor]: Taking taylor expansion of lo in lo 1.805 * [approximate]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 lo) (/ 1 hi)) lo)) (/ 1 (* (- (/ 1 lo) (/ 1 hi)) x))) in (x hi lo) around 0 1.805 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 lo) (/ 1 hi)) lo)) (/ 1 (* (- (/ 1 lo) (/ 1 hi)) x))) in lo 1.805 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 lo) (/ 1 hi)) lo)) in lo 1.805 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) lo) in lo 1.805 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in lo 1.805 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 1.805 * [taylor]: Taking taylor expansion of lo in lo 1.805 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 1.806 * [taylor]: Taking taylor expansion of hi in lo 1.806 * [taylor]: Taking taylor expansion of lo in lo 1.807 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 lo) (/ 1 hi)) x)) in lo 1.807 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) x) in lo 1.807 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in lo 1.807 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 1.807 * [taylor]: Taking taylor expansion of lo in lo 1.807 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 1.807 * [taylor]: Taking taylor expansion of hi in lo 1.807 * [taylor]: Taking taylor expansion of x in lo 1.808 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 lo) (/ 1 hi)) lo)) (/ 1 (* (- (/ 1 lo) (/ 1 hi)) x))) in hi 1.808 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 lo) (/ 1 hi)) lo)) in hi 1.808 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) lo) in hi 1.808 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in hi 1.808 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 1.808 * [taylor]: Taking taylor expansion of lo in hi 1.808 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 1.808 * [taylor]: Taking taylor expansion of hi in hi 1.808 * [taylor]: Taking taylor expansion of lo in hi 1.809 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 lo) (/ 1 hi)) x)) in hi 1.809 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) x) in hi 1.809 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in hi 1.809 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 1.809 * [taylor]: Taking taylor expansion of lo in hi 1.809 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 1.809 * [taylor]: Taking taylor expansion of hi in hi 1.809 * [taylor]: Taking taylor expansion of x in hi 1.810 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 lo) (/ 1 hi)) lo)) (/ 1 (* (- (/ 1 lo) (/ 1 hi)) x))) in x 1.810 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 lo) (/ 1 hi)) lo)) in x 1.810 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) lo) in x 1.810 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in x 1.810 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 1.810 * [taylor]: Taking taylor expansion of lo in x 1.810 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 1.810 * [taylor]: Taking taylor expansion of hi in x 1.810 * [taylor]: Taking taylor expansion of lo in x 1.810 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 lo) (/ 1 hi)) x)) in x 1.810 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) x) in x 1.810 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in x 1.810 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 1.810 * [taylor]: Taking taylor expansion of lo in x 1.810 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 1.810 * [taylor]: Taking taylor expansion of hi in x 1.810 * [taylor]: Taking taylor expansion of x in x 1.811 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 lo) (/ 1 hi)) lo)) (/ 1 (* (- (/ 1 lo) (/ 1 hi)) x))) in x 1.811 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 lo) (/ 1 hi)) lo)) in x 1.811 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) lo) in x 1.811 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in x 1.811 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 1.811 * [taylor]: Taking taylor expansion of lo in x 1.811 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 1.811 * [taylor]: Taking taylor expansion of hi in x 1.811 * [taylor]: Taking taylor expansion of lo in x 1.812 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 lo) (/ 1 hi)) x)) in x 1.812 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) x) in x 1.812 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in x 1.812 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 1.812 * [taylor]: Taking taylor expansion of lo in x 1.812 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 1.812 * [taylor]: Taking taylor expansion of hi in x 1.812 * [taylor]: Taking taylor expansion of x in x 1.813 * [taylor]: Taking taylor expansion of (- (/ 1 (- (/ 1 lo) (/ 1 hi)))) in hi 1.813 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 lo) (/ 1 hi))) in hi 1.813 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in hi 1.813 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 1.813 * [taylor]: Taking taylor expansion of lo in hi 1.813 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 1.813 * [taylor]: Taking taylor expansion of hi in hi 1.814 * [taylor]: Taking taylor expansion of 1 in lo 1.816 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 lo) (/ 1 hi)) lo)) in hi 1.816 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) lo) in hi 1.816 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in hi 1.816 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 1.816 * [taylor]: Taking taylor expansion of lo in hi 1.816 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 1.816 * [taylor]: Taking taylor expansion of hi in hi 1.816 * [taylor]: Taking taylor expansion of lo in hi 1.817 * [taylor]: Taking taylor expansion of (/ -1 lo) in lo 1.817 * [taylor]: Taking taylor expansion of -1 in lo 1.817 * [taylor]: Taking taylor expansion of lo in lo 1.819 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 1.819 * [taylor]: Taking taylor expansion of lo in lo 1.822 * [taylor]: Taking taylor expansion of 0 in hi 1.822 * [taylor]: Taking taylor expansion of 0 in lo 1.823 * [taylor]: Taking taylor expansion of (- (/ 1 (pow lo 2))) in lo 1.823 * [taylor]: Taking taylor expansion of (/ 1 (pow lo 2)) in lo 1.823 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 1.823 * [taylor]: Taking taylor expansion of lo in lo 1.827 * [taylor]: Taking taylor expansion of (/ 1 (pow lo 2)) in lo 1.827 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 1.827 * [taylor]: Taking taylor expansion of lo in lo 1.829 * * * [progress]: simplifying candidates 1.831 * [simplify]: Simplifying using # : (- (log lo) (log (- hi lo))) (log (/ lo (- hi lo))) (exp (/ lo (- hi lo))) (/ (* (* lo lo) lo) (* (* (- hi lo) (- hi lo)) (- hi lo))) (* (cbrt (/ lo (- hi lo))) (cbrt (/ lo (- hi lo)))) (cbrt (/ lo (- hi lo))) (* (* (/ lo (- hi lo)) (/ lo (- hi lo))) (/ lo (- hi lo))) (sqrt (/ lo (- hi lo))) (sqrt (/ lo (- hi lo))) (- lo) (- (- hi lo)) (/ (* (cbrt lo) (cbrt lo)) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (cbrt lo) (cbrt (- hi lo))) (/ (* (cbrt lo) (cbrt lo)) (sqrt (- hi lo))) (/ (cbrt lo) (sqrt (- hi lo))) (/ (* (cbrt lo) (cbrt lo)) 1) (/ (cbrt lo) (- hi lo)) (/ (* (cbrt lo) (cbrt lo)) (+ (sqrt hi) (sqrt lo))) (/ (cbrt lo) (- (sqrt hi) (sqrt lo))) (/ (* (cbrt lo) (cbrt lo)) 1) (/ (cbrt lo) (- hi lo)) (/ (sqrt lo) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (sqrt lo) (cbrt (- hi lo))) (/ (sqrt lo) (sqrt (- hi lo))) (/ (sqrt lo) (sqrt (- hi lo))) (/ (sqrt lo) 1) (/ (sqrt lo) (- hi lo)) (/ (sqrt lo) (+ (sqrt hi) (sqrt lo))) (/ (sqrt lo) (- (sqrt hi) (sqrt lo))) (/ (sqrt lo) 1) (/ (sqrt lo) (- hi lo)) (/ 1 (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ lo (cbrt (- hi lo))) (/ 1 (sqrt (- hi lo))) (/ lo (sqrt (- hi lo))) (/ 1 1) (/ lo (- hi lo)) (/ 1 (+ (sqrt hi) (sqrt lo))) (/ lo (- (sqrt hi) (sqrt lo))) (/ 1 1) (/ lo (- hi lo)) (/ 1 (- hi lo)) (/ (- hi lo) lo) (/ lo (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ lo (sqrt (- hi lo))) (/ lo 1) (/ lo (+ (sqrt hi) (sqrt lo))) (/ lo 1) (/ (- hi lo) (cbrt lo)) (/ (- hi lo) (sqrt lo)) (/ (- hi lo) lo) (/ lo (- (pow hi 3) (pow lo 3))) (/ lo (- (* hi hi) (* lo lo))) (- (log x) (log (- hi lo))) (log (/ x (- hi lo))) (exp (/ x (- hi lo))) (/ (* (* x x) x) (* (* (- hi lo) (- hi lo)) (- hi lo))) (* (cbrt (/ x (- hi lo))) (cbrt (/ x (- hi lo)))) (cbrt (/ x (- hi lo))) (* (* (/ x (- hi lo)) (/ x (- hi lo))) (/ x (- hi lo))) (sqrt (/ x (- hi lo))) (sqrt (/ x (- hi lo))) (- x) (- (- hi lo)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (cbrt x) (cbrt (- hi lo))) (/ (* (cbrt x) (cbrt x)) (sqrt (- hi lo))) (/ (cbrt x) (sqrt (- hi lo))) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (- hi lo)) (/ (* (cbrt x) (cbrt x)) (+ (sqrt hi) (sqrt lo))) (/ (cbrt x) (- (sqrt hi) (sqrt lo))) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (- hi lo)) (/ (sqrt x) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (sqrt x) (cbrt (- hi lo))) (/ (sqrt x) (sqrt (- hi lo))) (/ (sqrt x) (sqrt (- hi lo))) (/ (sqrt x) 1) (/ (sqrt x) (- hi lo)) (/ (sqrt x) (+ (sqrt hi) (sqrt lo))) (/ (sqrt x) (- (sqrt hi) (sqrt lo))) (/ (sqrt x) 1) (/ (sqrt x) (- hi lo)) (/ 1 (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ x (cbrt (- hi lo))) (/ 1 (sqrt (- hi lo))) (/ x (sqrt (- hi lo))) (/ 1 1) (/ x (- hi lo)) (/ 1 (+ (sqrt hi) (sqrt lo))) (/ x (- (sqrt hi) (sqrt lo))) (/ 1 1) (/ x (- hi lo)) (/ 1 (- hi lo)) (/ (- hi lo) x) (/ x (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ x (sqrt (- hi lo))) (/ x 1) (/ x (+ (sqrt hi) (sqrt lo))) (/ x 1) (/ (- hi lo) (cbrt x)) (/ (- hi lo) (sqrt x)) (/ (- hi lo) x) (/ x (- (pow hi 3) (pow lo 3))) (/ x (- (* hi hi) (* lo lo))) (/ (exp (/ x (- hi lo))) (exp (/ lo (- hi lo)))) (log (- (/ x (- hi lo)) (/ lo (- hi lo)))) (exp (- (/ x (- hi lo)) (/ lo (- hi lo)))) (* (cbrt (- (/ x (- hi lo)) (/ lo (- hi lo)))) (cbrt (- (/ x (- hi lo)) (/ lo (- hi lo))))) (cbrt (- (/ x (- hi lo)) (/ lo (- hi lo)))) (* (* (- (/ x (- hi lo)) (/ lo (- hi lo))) (- (/ x (- hi lo)) (/ lo (- hi lo)))) (- (/ x (- hi lo)) (/ lo (- hi lo)))) (sqrt (- (/ x (- hi lo)) (/ lo (- hi lo)))) (sqrt (- (/ x (- hi lo)) (/ lo (- hi lo)))) (- x lo) (- (* x (- hi lo)) (* (- hi lo) lo)) (* (- hi lo) (- hi lo)) (- (pow (/ x (- hi lo)) 3) (pow (/ lo (- hi lo)) 3)) (+ (* (/ x (- hi lo)) (/ x (- hi lo))) (+ (* (/ lo (- hi lo)) (/ lo (- hi lo))) (* (/ x (- hi lo)) (/ lo (- hi lo))))) (- (/ lo (- hi lo))) (- (* (/ x (- hi lo)) (/ x (- hi lo))) (* (/ lo (- hi lo)) (/ lo (- hi lo)))) (+ (/ x (- hi lo)) (/ lo (- hi lo))) (+ (sqrt (/ x (- hi lo))) (sqrt (/ lo (- hi lo)))) (- (sqrt (/ x (- hi lo))) (sqrt (/ lo (- hi lo)))) (+ (sqrt (/ x (- hi lo))) (/ (sqrt lo) (sqrt (- hi lo)))) (- (sqrt (/ x (- hi lo))) (/ (sqrt lo) (sqrt (- hi lo)))) (+ (/ (sqrt x) (sqrt (- hi lo))) (sqrt (/ lo (- hi lo)))) (- (/ (sqrt x) (sqrt (- hi lo))) (sqrt (/ lo (- hi lo)))) (+ (/ (sqrt x) (sqrt (- hi lo))) (/ (sqrt lo) (sqrt (- hi lo)))) (- (/ (sqrt x) (sqrt (- hi lo))) (/ (sqrt lo) (sqrt (- hi lo)))) (- (/ x (cbrt (- hi lo))) (/ lo (cbrt (- hi lo)))) (- (/ x (sqrt (- hi lo))) (/ lo (sqrt (- hi lo)))) (- (/ x (- hi lo)) (/ lo (- hi lo))) (- (/ x (- hi lo)) (/ lo (- hi lo))) (- (/ x (- (sqrt hi) (sqrt lo))) (/ lo (- (sqrt hi) (sqrt lo)))) (- (/ x (- hi lo)) (/ lo (- hi lo))) (- (/ x (- hi lo)) (/ lo (- hi lo))) (- (/ x (- hi lo)) (/ lo (- hi lo))) (- x lo) (- (/ x (- (pow hi 3) (pow lo 3))) (/ lo (- (pow hi 3) (pow lo 3)))) (- (/ x (- (* hi hi) (* lo lo))) (/ lo (- (* hi hi) (* lo lo)))) (- (/ lo (- hi lo))) 0 0 0 0 0 0 1 (/ x hi) (/ x hi) 1.835 * * [simplify]: iteration 0 : 149 enodes (cost 1266 ) 1.863 * * [simplify]: iteration 1 : 299 enodes (cost 1203 ) 1.910 * * [simplify]: iteration 2 : 634 enodes (cost 1159 ) 2.065 * * [simplify]: iteration 3 : 1376 enodes (cost 1159 ) 2.659 * * [simplify]: iteration 4 : 3478 enodes (cost 1153 ) 3.433 * * [simplify]: iteration done : 5000 enodes (cost 1153 ) 3.434 * [simplify]: Simplified to: (log (/ lo (- hi lo))) (log (/ lo (- hi lo))) (exp (/ lo (- hi lo))) (pow (/ lo (- hi lo)) 3) (* (cbrt (/ lo (- hi lo))) (cbrt (/ lo (- hi lo)))) (cbrt (/ lo (- hi lo))) (pow (/ lo (- hi lo)) 3) (sqrt (/ lo (- hi lo))) (sqrt (/ lo (- hi lo))) (- lo) (- lo hi) (/ (* (cbrt lo) (cbrt lo)) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (cbrt lo) (cbrt (- hi lo))) (/ (* (cbrt lo) (cbrt lo)) (sqrt (- hi lo))) (/ (cbrt lo) (sqrt (- hi lo))) (* (cbrt lo) (cbrt lo)) (/ (cbrt lo) (- hi lo)) (/ (* (cbrt lo) (cbrt lo)) (+ (sqrt hi) (sqrt lo))) (/ (cbrt lo) (- (sqrt hi) (sqrt lo))) (* (cbrt lo) (cbrt lo)) (/ (cbrt lo) (- hi lo)) (/ (sqrt lo) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (sqrt lo) (cbrt (- hi lo))) (/ (sqrt lo) (sqrt (- hi lo))) (/ (sqrt lo) (sqrt (- hi lo))) (sqrt lo) (/ (sqrt lo) (- hi lo)) (/ (sqrt lo) (+ (sqrt hi) (sqrt lo))) (/ (sqrt lo) (- (sqrt hi) (sqrt lo))) (sqrt lo) (/ (sqrt lo) (- hi lo)) (/ 1 (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ lo (cbrt (- hi lo))) (/ 1 (sqrt (- hi lo))) (/ lo (sqrt (- hi lo))) 1 (/ lo (- hi lo)) (/ 1 (+ (sqrt hi) (sqrt lo))) (/ lo (- (sqrt hi) (sqrt lo))) 1 (/ lo (- hi lo)) (/ 1 (- hi lo)) (+ -1 (/ hi lo)) (/ lo (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ lo (sqrt (- hi lo))) lo (/ lo (+ (sqrt hi) (sqrt lo))) lo (/ (- hi lo) (cbrt lo)) (/ (- hi lo) (sqrt lo)) (+ -1 (/ hi lo)) (/ lo (- (pow hi 3) (pow lo 3))) (/ lo (- (* hi hi) (* lo lo))) (log (/ x (- hi lo))) (log (/ x (- hi lo))) (exp (/ x (- hi lo))) (pow (/ x (- hi lo)) 3) (* (cbrt (/ x (- hi lo))) (cbrt (/ x (- hi lo)))) (cbrt (/ x (- hi lo))) (pow (/ x (- hi lo)) 3) (sqrt (/ x (- hi lo))) (sqrt (/ x (- hi lo))) (- x) (- lo hi) (/ (* (cbrt x) (cbrt x)) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (cbrt x) (cbrt (- hi lo))) (/ (* (cbrt x) (cbrt x)) (sqrt (- hi lo))) (/ (cbrt x) (sqrt (- hi lo))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (- hi lo)) (/ (* (cbrt x) (cbrt x)) (+ (sqrt hi) (sqrt lo))) (/ (cbrt x) (- (sqrt hi) (sqrt lo))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (- hi lo)) (/ (sqrt x) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (sqrt x) (cbrt (- hi lo))) (/ (sqrt x) (sqrt (- hi lo))) (/ (sqrt x) (sqrt (- hi lo))) (sqrt x) (/ (sqrt x) (- hi lo)) (/ (sqrt x) (+ (sqrt hi) (sqrt lo))) (/ (sqrt x) (- (sqrt hi) (sqrt lo))) (sqrt x) (/ (sqrt x) (- hi lo)) (/ 1 (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ x (cbrt (- hi lo))) (/ 1 (sqrt (- hi lo))) (/ x (sqrt (- hi lo))) 1 (/ x (- hi lo)) (/ 1 (+ (sqrt hi) (sqrt lo))) (/ x (- (sqrt hi) (sqrt lo))) 1 (/ x (- hi lo)) (/ 1 (- hi lo)) (/ (- hi lo) x) (/ x (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ x (sqrt (- hi lo))) x (/ x (+ (sqrt hi) (sqrt lo))) x (/ (- hi lo) (cbrt x)) (/ (- hi lo) (sqrt x)) (/ (- hi lo) x) (/ x (- (pow hi 3) (pow lo 3))) (/ x (- (* hi hi) (* lo lo))) (exp (- (/ x (- hi lo)) (/ lo (- hi lo)))) (log (- (/ x (- hi lo)) (/ lo (- hi lo)))) (exp (- (/ x (- hi lo)) (/ lo (- hi lo)))) (* (cbrt (- (/ x (- hi lo)) (/ lo (- hi lo)))) (cbrt (- (/ x (- hi lo)) (/ lo (- hi lo))))) (cbrt (- (/ x (- hi lo)) (/ lo (- hi lo)))) (pow (- (/ x (- hi lo)) (/ lo (- hi lo))) 3) (sqrt (- (/ x (- hi lo)) (/ lo (- hi lo)))) (sqrt (- (/ x (- hi lo)) (/ lo (- hi lo)))) (- x lo) (* (- hi lo) (- x lo)) (* (- hi lo) (- hi lo)) (- (pow (/ x (- hi lo)) 3) (pow (/ lo (- hi lo)) 3)) (+ (* (/ lo (- hi lo)) (/ lo (- hi lo))) (* (/ x (* (- hi lo) (- hi lo))) (+ x lo))) (- (/ lo (- hi lo))) (- (* (/ x (- hi lo)) (/ x (- hi lo))) (* (/ lo (- hi lo)) (/ lo (- hi lo)))) (+ (/ x (- hi lo)) (/ lo (- hi lo))) (+ (sqrt (/ x (- hi lo))) (sqrt (/ lo (- hi lo)))) (- (sqrt (/ x (- hi lo))) (sqrt (/ lo (- hi lo)))) (+ (sqrt (/ x (- hi lo))) (/ (sqrt lo) (sqrt (- hi lo)))) (- (sqrt (/ x (- hi lo))) (/ (sqrt lo) (sqrt (- hi lo)))) (+ (/ (sqrt x) (sqrt (- hi lo))) (sqrt (/ lo (- hi lo)))) (- (/ (sqrt x) (sqrt (- hi lo))) (sqrt (/ lo (- hi lo)))) (+ (/ (sqrt x) (sqrt (- hi lo))) (/ (sqrt lo) (sqrt (- hi lo)))) (- (/ (sqrt x) (sqrt (- hi lo))) (/ (sqrt lo) (sqrt (- hi lo)))) (- (/ x (cbrt (- hi lo))) (/ lo (cbrt (- hi lo)))) (- (/ x (sqrt (- hi lo))) (/ lo (sqrt (- hi lo)))) (- (/ x (- hi lo)) (/ lo (- hi lo))) (- (/ x (- hi lo)) (/ lo (- hi lo))) (- (/ x (- (sqrt hi) (sqrt lo))) (/ lo (- (sqrt hi) (sqrt lo)))) (- (/ x (- hi lo)) (/ lo (- hi lo))) (- (/ x (- hi lo)) (/ lo (- hi lo))) (- (/ x (- hi lo)) (/ lo (- hi lo))) (- x lo) (- (/ x (- (pow hi 3) (pow lo 3))) (/ lo (- (pow hi 3) (pow lo 3)))) (- (/ x (- (* hi hi) (* lo lo))) (/ lo (- (* hi hi) (* lo lo)))) (- (/ lo (- hi lo))) 0 0 0 0 0 0 1 (/ x hi) (/ x hi) 3.434 * * * [progress]: adding candidates to table 3.617 * * [progress]: iteration 3 / 4 3.617 * * * [progress]: picking best candidate 3.619 * * * * [pick]: Picked # 3.619 * * * [progress]: localizing error 3.627 * * * [progress]: generating rewritten candidates 3.627 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 3.632 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 3.644 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 3.649 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 3.711 * * * [progress]: generating series expansions 3.711 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 3.711 * [approximate]: Taking taylor expansion of (/ x (- hi lo)) in (x hi lo) around 0 3.711 * [taylor]: Taking taylor expansion of (/ x (- hi lo)) in lo 3.711 * [taylor]: Taking taylor expansion of x in lo 3.711 * [taylor]: Taking taylor expansion of (- hi lo) in lo 3.711 * [taylor]: Taking taylor expansion of hi in lo 3.711 * [taylor]: Taking taylor expansion of lo in lo 3.712 * [taylor]: Taking taylor expansion of (/ x (- hi lo)) in hi 3.712 * [taylor]: Taking taylor expansion of x in hi 3.712 * [taylor]: Taking taylor expansion of (- hi lo) in hi 3.712 * [taylor]: Taking taylor expansion of hi in hi 3.712 * [taylor]: Taking taylor expansion of lo in hi 3.712 * [taylor]: Taking taylor expansion of (/ x (- hi lo)) in x 3.712 * [taylor]: Taking taylor expansion of x in x 3.712 * [taylor]: Taking taylor expansion of (- hi lo) in x 3.712 * [taylor]: Taking taylor expansion of hi in x 3.712 * [taylor]: Taking taylor expansion of lo in x 3.712 * [taylor]: Taking taylor expansion of (/ x (- hi lo)) in x 3.712 * [taylor]: Taking taylor expansion of x in x 3.712 * [taylor]: Taking taylor expansion of (- hi lo) in x 3.712 * [taylor]: Taking taylor expansion of hi in x 3.712 * [taylor]: Taking taylor expansion of lo in x 3.712 * [taylor]: Taking taylor expansion of (/ 1 (- hi lo)) in hi 3.712 * [taylor]: Taking taylor expansion of (- hi lo) in hi 3.712 * [taylor]: Taking taylor expansion of hi in hi 3.712 * [taylor]: Taking taylor expansion of lo in hi 3.712 * [taylor]: Taking taylor expansion of (/ -1 lo) in lo 3.712 * [taylor]: Taking taylor expansion of -1 in lo 3.712 * [taylor]: Taking taylor expansion of lo in lo 3.714 * [taylor]: Taking taylor expansion of 0 in hi 3.714 * [taylor]: Taking taylor expansion of 0 in lo 3.715 * [taylor]: Taking taylor expansion of (- (/ 1 (pow lo 2))) in lo 3.715 * [taylor]: Taking taylor expansion of (/ 1 (pow lo 2)) in lo 3.715 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 3.715 * [taylor]: Taking taylor expansion of lo in lo 3.718 * [taylor]: Taking taylor expansion of 0 in hi 3.718 * [taylor]: Taking taylor expansion of 0 in lo 3.718 * [taylor]: Taking taylor expansion of 0 in lo 3.718 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) in (x hi lo) around 0 3.718 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) in lo 3.718 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) x) in lo 3.718 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in lo 3.718 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 3.718 * [taylor]: Taking taylor expansion of hi in lo 3.719 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 3.719 * [taylor]: Taking taylor expansion of lo in lo 3.719 * [taylor]: Taking taylor expansion of x in lo 3.719 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) in hi 3.719 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) x) in hi 3.719 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in hi 3.719 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 3.719 * [taylor]: Taking taylor expansion of hi in hi 3.720 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 3.720 * [taylor]: Taking taylor expansion of lo in hi 3.720 * [taylor]: Taking taylor expansion of x in hi 3.720 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) in x 3.720 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) x) in x 3.720 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in x 3.720 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 3.720 * [taylor]: Taking taylor expansion of hi in x 3.720 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 3.720 * [taylor]: Taking taylor expansion of lo in x 3.720 * [taylor]: Taking taylor expansion of x in x 3.721 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) in x 3.721 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) x) in x 3.721 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in x 3.721 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 3.721 * [taylor]: Taking taylor expansion of hi in x 3.721 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 3.721 * [taylor]: Taking taylor expansion of lo in x 3.722 * [taylor]: Taking taylor expansion of x in x 3.723 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 hi) (/ 1 lo))) in hi 3.723 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in hi 3.723 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 3.723 * [taylor]: Taking taylor expansion of hi in hi 3.723 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 3.723 * [taylor]: Taking taylor expansion of lo in hi 3.724 * [taylor]: Taking taylor expansion of 1 in lo 3.725 * [taylor]: Taking taylor expansion of 0 in hi 3.725 * [taylor]: Taking taylor expansion of 0 in lo 3.725 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 3.725 * [taylor]: Taking taylor expansion of lo in lo 3.728 * [taylor]: Taking taylor expansion of 0 in hi 3.728 * [taylor]: Taking taylor expansion of 0 in lo 3.728 * [taylor]: Taking taylor expansion of 0 in lo 3.728 * [approximate]: Taking taylor expansion of (/ -1 (* (- (/ 1 lo) (/ 1 hi)) x)) in (x hi lo) around 0 3.728 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 lo) (/ 1 hi)) x)) in lo 3.728 * [taylor]: Taking taylor expansion of -1 in lo 3.728 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) x) in lo 3.728 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in lo 3.728 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 3.728 * [taylor]: Taking taylor expansion of lo in lo 3.729 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 3.729 * [taylor]: Taking taylor expansion of hi in lo 3.729 * [taylor]: Taking taylor expansion of x in lo 3.729 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 lo) (/ 1 hi)) x)) in hi 3.729 * [taylor]: Taking taylor expansion of -1 in hi 3.729 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) x) in hi 3.729 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in hi 3.729 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 3.729 * [taylor]: Taking taylor expansion of lo in hi 3.729 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 3.729 * [taylor]: Taking taylor expansion of hi in hi 3.730 * [taylor]: Taking taylor expansion of x in hi 3.730 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 lo) (/ 1 hi)) x)) in x 3.730 * [taylor]: Taking taylor expansion of -1 in x 3.730 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) x) in x 3.730 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in x 3.730 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 3.730 * [taylor]: Taking taylor expansion of lo in x 3.730 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 3.730 * [taylor]: Taking taylor expansion of hi in x 3.730 * [taylor]: Taking taylor expansion of x in x 3.731 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 lo) (/ 1 hi)) x)) in x 3.731 * [taylor]: Taking taylor expansion of -1 in x 3.731 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) x) in x 3.731 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in x 3.731 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 3.731 * [taylor]: Taking taylor expansion of lo in x 3.731 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 3.731 * [taylor]: Taking taylor expansion of hi in x 3.732 * [taylor]: Taking taylor expansion of x in x 3.733 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 lo) (/ 1 hi))) in hi 3.733 * [taylor]: Taking taylor expansion of -1 in hi 3.733 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in hi 3.733 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 3.733 * [taylor]: Taking taylor expansion of lo in hi 3.733 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 3.733 * [taylor]: Taking taylor expansion of hi in hi 3.734 * [taylor]: Taking taylor expansion of 1 in lo 3.735 * [taylor]: Taking taylor expansion of 0 in hi 3.735 * [taylor]: Taking taylor expansion of 0 in lo 3.736 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 3.736 * [taylor]: Taking taylor expansion of lo in lo 3.739 * [taylor]: Taking taylor expansion of 0 in hi 3.739 * [taylor]: Taking taylor expansion of 0 in lo 3.739 * [taylor]: Taking taylor expansion of 0 in lo 3.739 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 3.739 * [approximate]: Taking taylor expansion of (/ 1 (- (/ hi lo) 1)) in (hi lo) around 0 3.739 * [taylor]: Taking taylor expansion of (/ 1 (- (/ hi lo) 1)) in lo 3.739 * [taylor]: Taking taylor expansion of (- (/ hi lo) 1) in lo 3.739 * [taylor]: Taking taylor expansion of (/ hi lo) in lo 3.739 * [taylor]: Taking taylor expansion of hi in lo 3.739 * [taylor]: Taking taylor expansion of lo in lo 3.739 * [taylor]: Taking taylor expansion of 1 in lo 3.739 * [taylor]: Taking taylor expansion of (/ 1 (- (/ hi lo) 1)) in hi 3.739 * [taylor]: Taking taylor expansion of (- (/ hi lo) 1) in hi 3.739 * [taylor]: Taking taylor expansion of (/ hi lo) in hi 3.739 * [taylor]: Taking taylor expansion of hi in hi 3.739 * [taylor]: Taking taylor expansion of lo in hi 3.739 * [taylor]: Taking taylor expansion of 1 in hi 3.740 * [taylor]: Taking taylor expansion of (/ 1 (- (/ hi lo) 1)) in hi 3.740 * [taylor]: Taking taylor expansion of (- (/ hi lo) 1) in hi 3.740 * [taylor]: Taking taylor expansion of (/ hi lo) in hi 3.740 * [taylor]: Taking taylor expansion of hi in hi 3.740 * [taylor]: Taking taylor expansion of lo in hi 3.740 * [taylor]: Taking taylor expansion of 1 in hi 3.741 * [taylor]: Taking taylor expansion of -1 in lo 3.741 * [taylor]: Taking taylor expansion of (- (/ 1 lo)) in lo 3.741 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 3.741 * [taylor]: Taking taylor expansion of lo in lo 3.743 * [taylor]: Taking taylor expansion of (- (/ 1 (pow lo 2))) in lo 3.743 * [taylor]: Taking taylor expansion of (/ 1 (pow lo 2)) in lo 3.743 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 3.744 * [taylor]: Taking taylor expansion of lo in lo 3.748 * [approximate]: Taking taylor expansion of (/ 1 (- (/ lo hi) 1)) in (hi lo) around 0 3.748 * [taylor]: Taking taylor expansion of (/ 1 (- (/ lo hi) 1)) in lo 3.748 * [taylor]: Taking taylor expansion of (- (/ lo hi) 1) in lo 3.748 * [taylor]: Taking taylor expansion of (/ lo hi) in lo 3.748 * [taylor]: Taking taylor expansion of lo in lo 3.748 * [taylor]: Taking taylor expansion of hi in lo 3.748 * [taylor]: Taking taylor expansion of 1 in lo 3.749 * [taylor]: Taking taylor expansion of (/ 1 (- (/ lo hi) 1)) in hi 3.749 * [taylor]: Taking taylor expansion of (- (/ lo hi) 1) in hi 3.749 * [taylor]: Taking taylor expansion of (/ lo hi) in hi 3.749 * [taylor]: Taking taylor expansion of lo in hi 3.749 * [taylor]: Taking taylor expansion of hi in hi 3.749 * [taylor]: Taking taylor expansion of 1 in hi 3.749 * [taylor]: Taking taylor expansion of (/ 1 (- (/ lo hi) 1)) in hi 3.749 * [taylor]: Taking taylor expansion of (- (/ lo hi) 1) in hi 3.749 * [taylor]: Taking taylor expansion of (/ lo hi) in hi 3.749 * [taylor]: Taking taylor expansion of lo in hi 3.749 * [taylor]: Taking taylor expansion of hi in hi 3.749 * [taylor]: Taking taylor expansion of 1 in hi 3.749 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 3.749 * [taylor]: Taking taylor expansion of lo in lo 3.751 * [taylor]: Taking taylor expansion of (/ 1 (pow lo 2)) in lo 3.751 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 3.751 * [taylor]: Taking taylor expansion of lo in lo 3.755 * [taylor]: Taking taylor expansion of (/ 1 (pow lo 3)) in lo 3.755 * [taylor]: Taking taylor expansion of (pow lo 3) in lo 3.755 * [taylor]: Taking taylor expansion of lo in lo 3.765 * [approximate]: Taking taylor expansion of (/ 1 (- (/ lo hi) 1)) in (hi lo) around 0 3.765 * [taylor]: Taking taylor expansion of (/ 1 (- (/ lo hi) 1)) in lo 3.765 * [taylor]: Taking taylor expansion of (- (/ lo hi) 1) in lo 3.765 * [taylor]: Taking taylor expansion of (/ lo hi) in lo 3.765 * [taylor]: Taking taylor expansion of lo in lo 3.765 * [taylor]: Taking taylor expansion of hi in lo 3.765 * [taylor]: Taking taylor expansion of 1 in lo 3.766 * [taylor]: Taking taylor expansion of (/ 1 (- (/ lo hi) 1)) in hi 3.766 * [taylor]: Taking taylor expansion of (- (/ lo hi) 1) in hi 3.766 * [taylor]: Taking taylor expansion of (/ lo hi) in hi 3.766 * [taylor]: Taking taylor expansion of lo in hi 3.766 * [taylor]: Taking taylor expansion of hi in hi 3.766 * [taylor]: Taking taylor expansion of 1 in hi 3.766 * [taylor]: Taking taylor expansion of (/ 1 (- (/ lo hi) 1)) in hi 3.766 * [taylor]: Taking taylor expansion of (- (/ lo hi) 1) in hi 3.766 * [taylor]: Taking taylor expansion of (/ lo hi) in hi 3.766 * [taylor]: Taking taylor expansion of lo in hi 3.766 * [taylor]: Taking taylor expansion of hi in hi 3.766 * [taylor]: Taking taylor expansion of 1 in hi 3.766 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 3.766 * [taylor]: Taking taylor expansion of lo in lo 3.768 * [taylor]: Taking taylor expansion of (/ 1 (pow lo 2)) in lo 3.768 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 3.768 * [taylor]: Taking taylor expansion of lo in lo 3.772 * [taylor]: Taking taylor expansion of (/ 1 (pow lo 3)) in lo 3.772 * [taylor]: Taking taylor expansion of (pow lo 3) in lo 3.772 * [taylor]: Taking taylor expansion of lo in lo 3.779 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 3.779 * [approximate]: Taking taylor expansion of (- (/ hi lo) 1) in (hi lo) around 0 3.779 * [taylor]: Taking taylor expansion of (- (/ hi lo) 1) in lo 3.779 * [taylor]: Taking taylor expansion of (/ hi lo) in lo 3.779 * [taylor]: Taking taylor expansion of hi in lo 3.779 * [taylor]: Taking taylor expansion of lo in lo 3.779 * [taylor]: Taking taylor expansion of 1 in lo 3.779 * [taylor]: Taking taylor expansion of (- (/ hi lo) 1) in hi 3.779 * [taylor]: Taking taylor expansion of (/ hi lo) in hi 3.779 * [taylor]: Taking taylor expansion of hi in hi 3.779 * [taylor]: Taking taylor expansion of lo in hi 3.779 * [taylor]: Taking taylor expansion of 1 in hi 3.779 * [taylor]: Taking taylor expansion of (- (/ hi lo) 1) in hi 3.779 * [taylor]: Taking taylor expansion of (/ hi lo) in hi 3.779 * [taylor]: Taking taylor expansion of hi in hi 3.779 * [taylor]: Taking taylor expansion of lo in hi 3.779 * [taylor]: Taking taylor expansion of 1 in hi 3.780 * [taylor]: Taking taylor expansion of -1 in lo 3.780 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 3.780 * [taylor]: Taking taylor expansion of lo in lo 3.781 * [taylor]: Taking taylor expansion of 0 in lo 3.782 * [taylor]: Taking taylor expansion of 0 in lo 3.783 * [taylor]: Taking taylor expansion of 0 in lo 3.783 * [approximate]: Taking taylor expansion of (- (/ lo hi) 1) in (hi lo) around 0 3.783 * [taylor]: Taking taylor expansion of (- (/ lo hi) 1) in lo 3.783 * [taylor]: Taking taylor expansion of (/ lo hi) in lo 3.783 * [taylor]: Taking taylor expansion of lo in lo 3.783 * [taylor]: Taking taylor expansion of hi in lo 3.783 * [taylor]: Taking taylor expansion of 1 in lo 3.783 * [taylor]: Taking taylor expansion of (- (/ lo hi) 1) in hi 3.783 * [taylor]: Taking taylor expansion of (/ lo hi) in hi 3.783 * [taylor]: Taking taylor expansion of lo in hi 3.783 * [taylor]: Taking taylor expansion of hi in hi 3.783 * [taylor]: Taking taylor expansion of 1 in hi 3.783 * [taylor]: Taking taylor expansion of (- (/ lo hi) 1) in hi 3.783 * [taylor]: Taking taylor expansion of (/ lo hi) in hi 3.783 * [taylor]: Taking taylor expansion of lo in hi 3.783 * [taylor]: Taking taylor expansion of hi in hi 3.784 * [taylor]: Taking taylor expansion of 1 in hi 3.784 * [taylor]: Taking taylor expansion of lo in lo 3.785 * [taylor]: Taking taylor expansion of -1 in lo 3.786 * [taylor]: Taking taylor expansion of 0 in lo 3.788 * [taylor]: Taking taylor expansion of 0 in lo 3.788 * [approximate]: Taking taylor expansion of (- (/ lo hi) 1) in (hi lo) around 0 3.788 * [taylor]: Taking taylor expansion of (- (/ lo hi) 1) in lo 3.788 * [taylor]: Taking taylor expansion of (/ lo hi) in lo 3.788 * [taylor]: Taking taylor expansion of lo in lo 3.788 * [taylor]: Taking taylor expansion of hi in lo 3.788 * [taylor]: Taking taylor expansion of 1 in lo 3.788 * [taylor]: Taking taylor expansion of (- (/ lo hi) 1) in hi 3.788 * [taylor]: Taking taylor expansion of (/ lo hi) in hi 3.788 * [taylor]: Taking taylor expansion of lo in hi 3.788 * [taylor]: Taking taylor expansion of hi in hi 3.788 * [taylor]: Taking taylor expansion of 1 in hi 3.788 * [taylor]: Taking taylor expansion of (- (/ lo hi) 1) in hi 3.788 * [taylor]: Taking taylor expansion of (/ lo hi) in hi 3.788 * [taylor]: Taking taylor expansion of lo in hi 3.788 * [taylor]: Taking taylor expansion of hi in hi 3.788 * [taylor]: Taking taylor expansion of 1 in hi 3.788 * [taylor]: Taking taylor expansion of lo in lo 3.789 * [taylor]: Taking taylor expansion of -1 in lo 3.791 * [taylor]: Taking taylor expansion of 0 in lo 3.792 * [taylor]: Taking taylor expansion of 0 in lo 3.792 * * * * [progress]: [ 4 / 4 ] generating series at (2) 3.793 * [approximate]: Taking taylor expansion of (- (/ x (- hi lo)) (/ 1 (- (/ hi lo) 1))) in (x hi lo) around 0 3.793 * [taylor]: Taking taylor expansion of (- (/ x (- hi lo)) (/ 1 (- (/ hi lo) 1))) in lo 3.793 * [taylor]: Taking taylor expansion of (/ x (- hi lo)) in lo 3.793 * [taylor]: Taking taylor expansion of x in lo 3.793 * [taylor]: Taking taylor expansion of (- hi lo) in lo 3.793 * [taylor]: Taking taylor expansion of hi in lo 3.793 * [taylor]: Taking taylor expansion of lo in lo 3.793 * [taylor]: Taking taylor expansion of (/ 1 (- (/ hi lo) 1)) in lo 3.793 * [taylor]: Taking taylor expansion of (- (/ hi lo) 1) in lo 3.793 * [taylor]: Taking taylor expansion of (/ hi lo) in lo 3.793 * [taylor]: Taking taylor expansion of hi in lo 3.793 * [taylor]: Taking taylor expansion of lo in lo 3.793 * [taylor]: Taking taylor expansion of 1 in lo 3.793 * [taylor]: Taking taylor expansion of (- (/ x (- hi lo)) (/ 1 (- (/ hi lo) 1))) in hi 3.793 * [taylor]: Taking taylor expansion of (/ x (- hi lo)) in hi 3.793 * [taylor]: Taking taylor expansion of x in hi 3.793 * [taylor]: Taking taylor expansion of (- hi lo) in hi 3.793 * [taylor]: Taking taylor expansion of hi in hi 3.793 * [taylor]: Taking taylor expansion of lo in hi 3.793 * [taylor]: Taking taylor expansion of (/ 1 (- (/ hi lo) 1)) in hi 3.793 * [taylor]: Taking taylor expansion of (- (/ hi lo) 1) in hi 3.793 * [taylor]: Taking taylor expansion of (/ hi lo) in hi 3.793 * [taylor]: Taking taylor expansion of hi in hi 3.793 * [taylor]: Taking taylor expansion of lo in hi 3.793 * [taylor]: Taking taylor expansion of 1 in hi 3.794 * [taylor]: Taking taylor expansion of (- (/ x (- hi lo)) (/ 1 (- (/ hi lo) 1))) in x 3.794 * [taylor]: Taking taylor expansion of (/ x (- hi lo)) in x 3.794 * [taylor]: Taking taylor expansion of x in x 3.794 * [taylor]: Taking taylor expansion of (- hi lo) in x 3.794 * [taylor]: Taking taylor expansion of hi in x 3.794 * [taylor]: Taking taylor expansion of lo in x 3.794 * [taylor]: Taking taylor expansion of (/ 1 (- (/ hi lo) 1)) in x 3.794 * [taylor]: Taking taylor expansion of (- (/ hi lo) 1) in x 3.794 * [taylor]: Taking taylor expansion of (/ hi lo) in x 3.794 * [taylor]: Taking taylor expansion of hi in x 3.794 * [taylor]: Taking taylor expansion of lo in x 3.794 * [taylor]: Taking taylor expansion of 1 in x 3.795 * [taylor]: Taking taylor expansion of (- (/ x (- hi lo)) (/ 1 (- (/ hi lo) 1))) in x 3.795 * [taylor]: Taking taylor expansion of (/ x (- hi lo)) in x 3.795 * [taylor]: Taking taylor expansion of x in x 3.795 * [taylor]: Taking taylor expansion of (- hi lo) in x 3.795 * [taylor]: Taking taylor expansion of hi in x 3.795 * [taylor]: Taking taylor expansion of lo in x 3.795 * [taylor]: Taking taylor expansion of (/ 1 (- (/ hi lo) 1)) in x 3.795 * [taylor]: Taking taylor expansion of (- (/ hi lo) 1) in x 3.795 * [taylor]: Taking taylor expansion of (/ hi lo) in x 3.795 * [taylor]: Taking taylor expansion of hi in x 3.795 * [taylor]: Taking taylor expansion of lo in x 3.795 * [taylor]: Taking taylor expansion of 1 in x 3.796 * [taylor]: Taking taylor expansion of (- (/ 1 (- (/ hi lo) 1))) in hi 3.796 * [taylor]: Taking taylor expansion of (/ 1 (- (/ hi lo) 1)) in hi 3.796 * [taylor]: Taking taylor expansion of (- (/ hi lo) 1) in hi 3.796 * [taylor]: Taking taylor expansion of (/ hi lo) in hi 3.796 * [taylor]: Taking taylor expansion of hi in hi 3.796 * [taylor]: Taking taylor expansion of lo in hi 3.796 * [taylor]: Taking taylor expansion of 1 in hi 3.797 * [taylor]: Taking taylor expansion of 1 in lo 3.798 * [taylor]: Taking taylor expansion of (/ 1 (- hi lo)) in hi 3.798 * [taylor]: Taking taylor expansion of (- hi lo) in hi 3.798 * [taylor]: Taking taylor expansion of hi in hi 3.798 * [taylor]: Taking taylor expansion of lo in hi 3.798 * [taylor]: Taking taylor expansion of (/ -1 lo) in lo 3.798 * [taylor]: Taking taylor expansion of -1 in lo 3.798 * [taylor]: Taking taylor expansion of lo in lo 3.799 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 3.799 * [taylor]: Taking taylor expansion of lo in lo 3.801 * [taylor]: Taking taylor expansion of 0 in hi 3.801 * [taylor]: Taking taylor expansion of 0 in lo 3.802 * [taylor]: Taking taylor expansion of (- (/ 1 (pow lo 2))) in lo 3.802 * [taylor]: Taking taylor expansion of (/ 1 (pow lo 2)) in lo 3.802 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 3.802 * [taylor]: Taking taylor expansion of lo in lo 3.806 * [taylor]: Taking taylor expansion of (/ 1 (pow lo 2)) in lo 3.806 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 3.806 * [taylor]: Taking taylor expansion of lo in lo 3.808 * [approximate]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) (/ 1 (- (/ lo hi) 1))) in (x hi lo) around 0 3.808 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) (/ 1 (- (/ lo hi) 1))) in lo 3.808 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) in lo 3.808 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) x) in lo 3.808 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in lo 3.808 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 3.808 * [taylor]: Taking taylor expansion of hi in lo 3.808 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 3.808 * [taylor]: Taking taylor expansion of lo in lo 3.808 * [taylor]: Taking taylor expansion of x in lo 3.809 * [taylor]: Taking taylor expansion of (/ 1 (- (/ lo hi) 1)) in lo 3.809 * [taylor]: Taking taylor expansion of (- (/ lo hi) 1) in lo 3.809 * [taylor]: Taking taylor expansion of (/ lo hi) in lo 3.809 * [taylor]: Taking taylor expansion of lo in lo 3.809 * [taylor]: Taking taylor expansion of hi in lo 3.809 * [taylor]: Taking taylor expansion of 1 in lo 3.810 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) (/ 1 (- (/ lo hi) 1))) in hi 3.810 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) in hi 3.810 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) x) in hi 3.810 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in hi 3.810 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 3.810 * [taylor]: Taking taylor expansion of hi in hi 3.810 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 3.810 * [taylor]: Taking taylor expansion of lo in hi 3.810 * [taylor]: Taking taylor expansion of x in hi 3.811 * [taylor]: Taking taylor expansion of (/ 1 (- (/ lo hi) 1)) in hi 3.811 * [taylor]: Taking taylor expansion of (- (/ lo hi) 1) in hi 3.811 * [taylor]: Taking taylor expansion of (/ lo hi) in hi 3.811 * [taylor]: Taking taylor expansion of lo in hi 3.811 * [taylor]: Taking taylor expansion of hi in hi 3.811 * [taylor]: Taking taylor expansion of 1 in hi 3.811 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) (/ 1 (- (/ lo hi) 1))) in x 3.811 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) in x 3.811 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) x) in x 3.811 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in x 3.811 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 3.811 * [taylor]: Taking taylor expansion of hi in x 3.811 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 3.811 * [taylor]: Taking taylor expansion of lo in x 3.811 * [taylor]: Taking taylor expansion of x in x 3.812 * [taylor]: Taking taylor expansion of (/ 1 (- (/ lo hi) 1)) in x 3.812 * [taylor]: Taking taylor expansion of (- (/ lo hi) 1) in x 3.812 * [taylor]: Taking taylor expansion of (/ lo hi) in x 3.812 * [taylor]: Taking taylor expansion of lo in x 3.812 * [taylor]: Taking taylor expansion of hi in x 3.812 * [taylor]: Taking taylor expansion of 1 in x 3.813 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) (/ 1 (- (/ lo hi) 1))) in x 3.813 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) in x 3.813 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) x) in x 3.813 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in x 3.813 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 3.813 * [taylor]: Taking taylor expansion of hi in x 3.813 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 3.813 * [taylor]: Taking taylor expansion of lo in x 3.813 * [taylor]: Taking taylor expansion of x in x 3.814 * [taylor]: Taking taylor expansion of (/ 1 (- (/ lo hi) 1)) in x 3.814 * [taylor]: Taking taylor expansion of (- (/ lo hi) 1) in x 3.814 * [taylor]: Taking taylor expansion of (/ lo hi) in x 3.814 * [taylor]: Taking taylor expansion of lo in x 3.814 * [taylor]: Taking taylor expansion of hi in x 3.814 * [taylor]: Taking taylor expansion of 1 in x 3.814 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 hi) (/ 1 lo))) in hi 3.814 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in hi 3.814 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 3.814 * [taylor]: Taking taylor expansion of hi in hi 3.815 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 3.815 * [taylor]: Taking taylor expansion of lo in hi 3.815 * [taylor]: Taking taylor expansion of 1 in lo 3.817 * [taylor]: Taking taylor expansion of (- (/ 1 (- (/ lo hi) 1))) in hi 3.817 * [taylor]: Taking taylor expansion of (/ 1 (- (/ lo hi) 1)) in hi 3.817 * [taylor]: Taking taylor expansion of (- (/ lo hi) 1) in hi 3.817 * [taylor]: Taking taylor expansion of (/ lo hi) in hi 3.817 * [taylor]: Taking taylor expansion of lo in hi 3.817 * [taylor]: Taking taylor expansion of hi in hi 3.817 * [taylor]: Taking taylor expansion of 1 in hi 3.817 * [taylor]: Taking taylor expansion of (- (/ 1 lo)) in lo 3.817 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 3.817 * [taylor]: Taking taylor expansion of lo in lo 3.819 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 3.819 * [taylor]: Taking taylor expansion of lo in lo 3.822 * [taylor]: Taking taylor expansion of 0 in hi 3.822 * [taylor]: Taking taylor expansion of 0 in lo 3.823 * [taylor]: Taking taylor expansion of (- (/ 1 (pow lo 2))) in lo 3.823 * [taylor]: Taking taylor expansion of (/ 1 (pow lo 2)) in lo 3.823 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 3.823 * [taylor]: Taking taylor expansion of lo in lo 3.827 * [taylor]: Taking taylor expansion of (/ 1 (pow lo 2)) in lo 3.827 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 3.827 * [taylor]: Taking taylor expansion of lo in lo 3.830 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (- (/ lo hi) 1)) (/ 1 (* (- (/ 1 lo) (/ 1 hi)) x)))) in (x hi lo) around 0 3.830 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (- (/ lo hi) 1)) (/ 1 (* (- (/ 1 lo) (/ 1 hi)) x)))) in lo 3.830 * [taylor]: Taking taylor expansion of (+ (/ 1 (- (/ lo hi) 1)) (/ 1 (* (- (/ 1 lo) (/ 1 hi)) x))) in lo 3.830 * [taylor]: Taking taylor expansion of (/ 1 (- (/ lo hi) 1)) in lo 3.830 * [taylor]: Taking taylor expansion of (- (/ lo hi) 1) in lo 3.830 * [taylor]: Taking taylor expansion of (/ lo hi) in lo 3.830 * [taylor]: Taking taylor expansion of lo in lo 3.830 * [taylor]: Taking taylor expansion of hi in lo 3.830 * [taylor]: Taking taylor expansion of 1 in lo 3.831 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 lo) (/ 1 hi)) x)) in lo 3.831 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) x) in lo 3.831 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in lo 3.831 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 3.831 * [taylor]: Taking taylor expansion of lo in lo 3.831 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 3.831 * [taylor]: Taking taylor expansion of hi in lo 3.831 * [taylor]: Taking taylor expansion of x in lo 3.831 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (- (/ lo hi) 1)) (/ 1 (* (- (/ 1 lo) (/ 1 hi)) x)))) in hi 3.831 * [taylor]: Taking taylor expansion of (+ (/ 1 (- (/ lo hi) 1)) (/ 1 (* (- (/ 1 lo) (/ 1 hi)) x))) in hi 3.831 * [taylor]: Taking taylor expansion of (/ 1 (- (/ lo hi) 1)) in hi 3.832 * [taylor]: Taking taylor expansion of (- (/ lo hi) 1) in hi 3.832 * [taylor]: Taking taylor expansion of (/ lo hi) in hi 3.832 * [taylor]: Taking taylor expansion of lo in hi 3.832 * [taylor]: Taking taylor expansion of hi in hi 3.832 * [taylor]: Taking taylor expansion of 1 in hi 3.832 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 lo) (/ 1 hi)) x)) in hi 3.832 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) x) in hi 3.832 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in hi 3.832 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 3.832 * [taylor]: Taking taylor expansion of lo in hi 3.832 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 3.832 * [taylor]: Taking taylor expansion of hi in hi 3.832 * [taylor]: Taking taylor expansion of x in hi 3.833 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (- (/ lo hi) 1)) (/ 1 (* (- (/ 1 lo) (/ 1 hi)) x)))) in x 3.833 * [taylor]: Taking taylor expansion of (+ (/ 1 (- (/ lo hi) 1)) (/ 1 (* (- (/ 1 lo) (/ 1 hi)) x))) in x 3.833 * [taylor]: Taking taylor expansion of (/ 1 (- (/ lo hi) 1)) in x 3.833 * [taylor]: Taking taylor expansion of (- (/ lo hi) 1) in x 3.833 * [taylor]: Taking taylor expansion of (/ lo hi) in x 3.833 * [taylor]: Taking taylor expansion of lo in x 3.833 * [taylor]: Taking taylor expansion of hi in x 3.833 * [taylor]: Taking taylor expansion of 1 in x 3.833 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 lo) (/ 1 hi)) x)) in x 3.833 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) x) in x 3.833 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in x 3.833 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 3.833 * [taylor]: Taking taylor expansion of lo in x 3.833 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 3.833 * [taylor]: Taking taylor expansion of hi in x 3.833 * [taylor]: Taking taylor expansion of x in x 3.834 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (- (/ lo hi) 1)) (/ 1 (* (- (/ 1 lo) (/ 1 hi)) x)))) in x 3.834 * [taylor]: Taking taylor expansion of (+ (/ 1 (- (/ lo hi) 1)) (/ 1 (* (- (/ 1 lo) (/ 1 hi)) x))) in x 3.834 * [taylor]: Taking taylor expansion of (/ 1 (- (/ lo hi) 1)) in x 3.834 * [taylor]: Taking taylor expansion of (- (/ lo hi) 1) in x 3.834 * [taylor]: Taking taylor expansion of (/ lo hi) in x 3.834 * [taylor]: Taking taylor expansion of lo in x 3.834 * [taylor]: Taking taylor expansion of hi in x 3.834 * [taylor]: Taking taylor expansion of 1 in x 3.835 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 lo) (/ 1 hi)) x)) in x 3.835 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) x) in x 3.835 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in x 3.835 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 3.835 * [taylor]: Taking taylor expansion of lo in x 3.835 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 3.835 * [taylor]: Taking taylor expansion of hi in x 3.835 * [taylor]: Taking taylor expansion of x in x 3.836 * [taylor]: Taking taylor expansion of (- (/ 1 (- (/ 1 lo) (/ 1 hi)))) in hi 3.836 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 lo) (/ 1 hi))) in hi 3.836 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in hi 3.836 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 3.836 * [taylor]: Taking taylor expansion of lo in hi 3.836 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 3.836 * [taylor]: Taking taylor expansion of hi in hi 3.838 * [taylor]: Taking taylor expansion of 1 in lo 3.839 * [taylor]: Taking taylor expansion of (- (/ 1 (- (/ lo hi) 1))) in hi 3.839 * [taylor]: Taking taylor expansion of (/ 1 (- (/ lo hi) 1)) in hi 3.839 * [taylor]: Taking taylor expansion of (- (/ lo hi) 1) in hi 3.839 * [taylor]: Taking taylor expansion of (/ lo hi) in hi 3.839 * [taylor]: Taking taylor expansion of lo in hi 3.839 * [taylor]: Taking taylor expansion of hi in hi 3.839 * [taylor]: Taking taylor expansion of 1 in hi 3.839 * [taylor]: Taking taylor expansion of (- (/ 1 lo)) in lo 3.839 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 3.839 * [taylor]: Taking taylor expansion of lo in lo 3.841 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 3.841 * [taylor]: Taking taylor expansion of lo in lo 3.846 * [taylor]: Taking taylor expansion of 0 in hi 3.846 * [taylor]: Taking taylor expansion of 0 in lo 3.848 * [taylor]: Taking taylor expansion of (- (/ 1 (pow lo 2))) in lo 3.848 * [taylor]: Taking taylor expansion of (/ 1 (pow lo 2)) in lo 3.848 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 3.848 * [taylor]: Taking taylor expansion of lo in lo 3.852 * [taylor]: Taking taylor expansion of (/ 1 (pow lo 2)) in lo 3.852 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 3.852 * [taylor]: Taking taylor expansion of lo in lo 3.854 * * * [progress]: simplifying candidates 3.856 * [simplify]: Simplifying using # : (- (log x) (log (- hi lo))) (log (/ x (- hi lo))) (exp (/ x (- hi lo))) (/ (* (* x x) x) (* (* (- hi lo) (- hi lo)) (- hi lo))) (* (cbrt (/ x (- hi lo))) (cbrt (/ x (- hi lo)))) (cbrt (/ x (- hi lo))) (* (* (/ x (- hi lo)) (/ x (- hi lo))) (/ x (- hi lo))) (sqrt (/ x (- hi lo))) (sqrt (/ x (- hi lo))) (- x) (- (- hi lo)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (cbrt x) (cbrt (- hi lo))) (/ (* (cbrt x) (cbrt x)) (sqrt (- hi lo))) (/ (cbrt x) (sqrt (- hi lo))) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (- hi lo)) (/ (* (cbrt x) (cbrt x)) (+ (sqrt hi) (sqrt lo))) (/ (cbrt x) (- (sqrt hi) (sqrt lo))) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (- hi lo)) (/ (sqrt x) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (sqrt x) (cbrt (- hi lo))) (/ (sqrt x) (sqrt (- hi lo))) (/ (sqrt x) (sqrt (- hi lo))) (/ (sqrt x) 1) (/ (sqrt x) (- hi lo)) (/ (sqrt x) (+ (sqrt hi) (sqrt lo))) (/ (sqrt x) (- (sqrt hi) (sqrt lo))) (/ (sqrt x) 1) (/ (sqrt x) (- hi lo)) (/ 1 (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ x (cbrt (- hi lo))) (/ 1 (sqrt (- hi lo))) (/ x (sqrt (- hi lo))) (/ 1 1) (/ x (- hi lo)) (/ 1 (+ (sqrt hi) (sqrt lo))) (/ x (- (sqrt hi) (sqrt lo))) (/ 1 1) (/ x (- hi lo)) (/ 1 (- hi lo)) (/ (- hi lo) x) (/ x (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ x (sqrt (- hi lo))) (/ x 1) (/ x (+ (sqrt hi) (sqrt lo))) (/ x 1) (/ (- hi lo) (cbrt x)) (/ (- hi lo) (sqrt x)) (/ (- hi lo) x) (/ x (- (pow hi 3) (pow lo 3))) (/ x (- (* hi hi) (* lo lo))) (- 1) (- (log (+ -1 (/ hi lo)))) (- 0 (log (+ -1 (/ hi lo)))) (- (log 1) (log (+ -1 (/ hi lo)))) (log (/ 1 (+ -1 (/ hi lo)))) (exp (/ 1 (+ -1 (/ hi lo)))) (/ (* (* 1 1) 1) (* (* (+ -1 (/ hi lo)) (+ -1 (/ hi lo))) (+ -1 (/ hi lo)))) (* (cbrt (/ 1 (+ -1 (/ hi lo)))) (cbrt (/ 1 (+ -1 (/ hi lo))))) (cbrt (/ 1 (+ -1 (/ hi lo)))) (* (* (/ 1 (+ -1 (/ hi lo))) (/ 1 (+ -1 (/ hi lo)))) (/ 1 (+ -1 (/ hi lo)))) (sqrt (/ 1 (+ -1 (/ hi lo)))) (sqrt (/ 1 (+ -1 (/ hi lo)))) (- 1) (- (+ -1 (/ hi lo))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ -1 (/ hi lo))) (cbrt (+ -1 (/ hi lo))))) (/ (cbrt 1) (cbrt (+ -1 (/ hi lo)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ -1 (/ hi lo)))) (/ (cbrt 1) (sqrt (+ -1 (/ hi lo)))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (+ -1 (/ hi lo))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (+ -1 (/ hi lo))) (/ (sqrt 1) (* (cbrt (+ -1 (/ hi lo))) (cbrt (+ -1 (/ hi lo))))) (/ (sqrt 1) (cbrt (+ -1 (/ hi lo)))) (/ (sqrt 1) (sqrt (+ -1 (/ hi lo)))) (/ (sqrt 1) (sqrt (+ -1 (/ hi lo)))) (/ (sqrt 1) 1) (/ (sqrt 1) (+ -1 (/ hi lo))) (/ (sqrt 1) 1) (/ (sqrt 1) (+ -1 (/ hi lo))) (/ 1 (* (cbrt (+ -1 (/ hi lo))) (cbrt (+ -1 (/ hi lo))))) (/ 1 (cbrt (+ -1 (/ hi lo)))) (/ 1 (sqrt (+ -1 (/ hi lo)))) (/ 1 (sqrt (+ -1 (/ hi lo)))) (/ 1 1) (/ 1 (+ -1 (/ hi lo))) (/ 1 1) (/ 1 (+ -1 (/ hi lo))) (/ 1 (+ -1 (/ hi lo))) (/ (+ -1 (/ hi lo)) 1) (/ 1 (* (cbrt (+ -1 (/ hi lo))) (cbrt (+ -1 (/ hi lo))))) (/ 1 (sqrt (+ -1 (/ hi lo)))) (/ 1 1) (/ 1 1) (/ (+ -1 (/ hi lo)) (cbrt 1)) (/ (+ -1 (/ hi lo)) (sqrt 1)) (/ (+ -1 (/ hi lo)) 1) (/ 1 (+ (pow -1 3) (pow (/ hi lo) 3))) (/ 1 (- (* -1 -1) (* (/ hi lo) (/ hi lo)))) (* (exp -1) (exp (/ hi lo))) (log (+ -1 (/ hi lo))) (exp (+ -1 (/ hi lo))) (* (cbrt (+ -1 (/ hi lo))) (cbrt (+ -1 (/ hi lo)))) (cbrt (+ -1 (/ hi lo))) (* (* (+ -1 (/ hi lo)) (+ -1 (/ hi lo))) (+ -1 (/ hi lo))) (sqrt (+ -1 (/ hi lo))) (sqrt (+ -1 (/ hi lo))) (+ (pow -1 3) (pow (/ hi lo) 3)) (+ (* -1 -1) (- (* (/ hi lo) (/ hi lo)) (* -1 (/ hi lo)))) (- (* -1 -1) (* (/ hi lo) (/ hi lo))) (- -1 (/ hi lo)) (+ -1 (/ hi lo)) (/ (exp (/ x (- hi lo))) (exp (/ 1 (+ -1 (/ hi lo))))) (log (- (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo))))) (exp (- (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo))))) (* (cbrt (- (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo))))) (cbrt (- (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo)))))) (cbrt (- (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo))))) (* (* (- (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo)))) (- (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo))))) (- (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo))))) (sqrt (- (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo))))) (sqrt (- (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo))))) (- (* x (+ -1 (/ hi lo))) (* (- hi lo) 1)) (* (- hi lo) (+ -1 (/ hi lo))) (- (pow (/ x (- hi lo)) 3) (pow (/ 1 (+ -1 (/ hi lo))) 3)) (+ (* (/ x (- hi lo)) (/ x (- hi lo))) (+ (* (/ 1 (+ -1 (/ hi lo))) (/ 1 (+ -1 (/ hi lo)))) (* (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo)))))) (- (/ 1 (+ -1 (/ hi lo)))) (- (* (/ x (- hi lo)) (/ x (- hi lo))) (* (/ 1 (+ -1 (/ hi lo))) (/ 1 (+ -1 (/ hi lo))))) (+ (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo)))) (+ (sqrt (/ x (- hi lo))) (sqrt (/ 1 (+ -1 (/ hi lo))))) (- (sqrt (/ x (- hi lo))) (sqrt (/ 1 (+ -1 (/ hi lo))))) (+ (sqrt (/ x (- hi lo))) (/ (sqrt 1) (sqrt (+ -1 (/ hi lo))))) (- (sqrt (/ x (- hi lo))) (/ (sqrt 1) (sqrt (+ -1 (/ hi lo))))) (+ (sqrt (/ x (- hi lo))) (/ 1 (sqrt (+ -1 (/ hi lo))))) (- (sqrt (/ x (- hi lo))) (/ 1 (sqrt (+ -1 (/ hi lo))))) (+ (/ (sqrt x) (sqrt (- hi lo))) (sqrt (/ 1 (+ -1 (/ hi lo))))) (- (/ (sqrt x) (sqrt (- hi lo))) (sqrt (/ 1 (+ -1 (/ hi lo))))) (+ (/ (sqrt x) (sqrt (- hi lo))) (/ (sqrt 1) (sqrt (+ -1 (/ hi lo))))) (- (/ (sqrt x) (sqrt (- hi lo))) (/ (sqrt 1) (sqrt (+ -1 (/ hi lo))))) (+ (/ (sqrt x) (sqrt (- hi lo))) (/ 1 (sqrt (+ -1 (/ hi lo))))) (- (/ (sqrt x) (sqrt (- hi lo))) (/ 1 (sqrt (+ -1 (/ hi lo))))) (- (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo)))) (- (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo)))) (- (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo)))) (- (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo)))) (- (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo)))) (- (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo)))) (- (/ 1 (+ -1 (/ hi lo)))) 0 0 0 0 0 0 (- (/ hi lo) 1) (- (/ hi lo) 1) (- (/ hi lo) 1) 1 (/ x hi) (/ x hi) 3.860 * * [simplify]: iteration 0 : 170 enodes (cost 1510 ) 3.908 * * [simplify]: iteration 1 : 368 enodes (cost 1373 ) 3.970 * * [simplify]: iteration 2 : 809 enodes (cost 1314 ) 4.306 * * [simplify]: iteration 3 : 2282 enodes (cost 1312 ) 4.953 * * [simplify]: iteration done : 5000 enodes (cost 1311 ) 4.953 * [simplify]: Simplified to: (log (/ x (- hi lo))) (log (/ x (- hi lo))) (exp (/ x (- hi lo))) (pow (/ x (- hi lo)) 3) (* (cbrt (/ x (- hi lo))) (cbrt (/ x (- hi lo)))) (cbrt (/ x (- hi lo))) (pow (/ x (- hi lo)) 3) (sqrt (/ x (- hi lo))) (sqrt (/ x (- hi lo))) (- x) (- lo hi) (/ (* (cbrt x) (cbrt x)) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (cbrt x) (cbrt (- hi lo))) (/ (* (cbrt x) (cbrt x)) (sqrt (- hi lo))) (/ (cbrt x) (sqrt (- hi lo))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (- hi lo)) (/ (* (cbrt x) (cbrt x)) (+ (sqrt hi) (sqrt lo))) (/ (cbrt x) (- (sqrt hi) (sqrt lo))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (- hi lo)) (/ (sqrt x) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (sqrt x) (cbrt (- hi lo))) (/ (sqrt x) (sqrt (- hi lo))) (/ (sqrt x) (sqrt (- hi lo))) (sqrt x) (/ (sqrt x) (- hi lo)) (/ (sqrt x) (+ (sqrt hi) (sqrt lo))) (/ (sqrt x) (- (sqrt hi) (sqrt lo))) (sqrt x) (/ (sqrt x) (- hi lo)) (/ 1 (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ x (cbrt (- hi lo))) (/ 1 (sqrt (- hi lo))) (/ x (sqrt (- hi lo))) 1 (/ x (- hi lo)) (/ 1 (+ (sqrt hi) (sqrt lo))) (/ x (- (sqrt hi) (sqrt lo))) 1 (/ x (- hi lo)) (/ 1 (- hi lo)) (/ (- hi lo) x) (/ x (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ x (sqrt (- hi lo))) x (/ x (+ (sqrt hi) (sqrt lo))) x (/ (- hi lo) (cbrt x)) (/ (- hi lo) (sqrt x)) (/ (- hi lo) x) (/ x (- (pow hi 3) (pow lo 3))) (/ x (- (* hi hi) (* lo lo))) -1 (- (log (+ -1 (/ hi lo)))) (- (log (+ -1 (/ hi lo)))) (- (log (+ -1 (/ hi lo)))) (- (log (+ -1 (/ hi lo)))) (exp (/ 1 (+ -1 (/ hi lo)))) (pow (/ 1 (+ -1 (/ hi lo))) 3) (* (cbrt (/ 1 (+ -1 (/ hi lo)))) (cbrt (/ 1 (+ -1 (/ hi lo))))) (cbrt (/ 1 (+ -1 (/ hi lo)))) (pow (/ 1 (+ -1 (/ hi lo))) 3) (sqrt (/ 1 (+ -1 (/ hi lo)))) (sqrt (/ 1 (+ -1 (/ hi lo)))) -1 (- 1 (/ hi lo)) (/ (/ 1 (cbrt (+ -1 (/ hi lo)))) (cbrt (+ -1 (/ hi lo)))) (/ 1 (cbrt (+ -1 (/ hi lo)))) (/ 1 (sqrt (+ -1 (/ hi lo)))) (/ 1 (sqrt (+ -1 (/ hi lo)))) 1 (/ 1 (+ (/ hi lo) -1)) 1 (/ 1 (+ (/ hi lo) -1)) (/ (/ 1 (cbrt (+ -1 (/ hi lo)))) (cbrt (+ -1 (/ hi lo)))) (/ 1 (cbrt (+ -1 (/ hi lo)))) (/ 1 (sqrt (+ -1 (/ hi lo)))) (/ 1 (sqrt (+ -1 (/ hi lo)))) 1 (/ 1 (+ (/ hi lo) -1)) 1 (/ 1 (+ (/ hi lo) -1)) (/ (/ 1 (cbrt (+ -1 (/ hi lo)))) (cbrt (+ -1 (/ hi lo)))) (/ 1 (cbrt (+ -1 (/ hi lo)))) (/ 1 (sqrt (+ -1 (/ hi lo)))) (/ 1 (sqrt (+ -1 (/ hi lo)))) 1 (/ 1 (+ (/ hi lo) -1)) 1 (/ 1 (+ (/ hi lo) -1)) (/ 1 (+ (/ hi lo) -1)) (+ (/ hi lo) -1) (/ (/ 1 (cbrt (+ -1 (/ hi lo)))) (cbrt (+ -1 (/ hi lo)))) (/ 1 (sqrt (+ -1 (/ hi lo)))) 1 1 (+ (/ hi lo) -1) (+ (/ hi lo) -1) (+ (/ hi lo) -1) (/ 1 (+ (pow (/ hi lo) 3) -1)) (/ 1 (- 1 (* (/ hi lo) (/ hi lo)))) (exp (+ -1 (/ hi lo))) (log (+ -1 (/ hi lo))) (exp (+ -1 (/ hi lo))) (* (cbrt (+ -1 (/ hi lo))) (cbrt (+ -1 (/ hi lo)))) (cbrt (+ -1 (/ hi lo))) (pow (+ -1 (/ hi lo)) 3) (sqrt (+ -1 (/ hi lo))) (sqrt (+ -1 (/ hi lo))) (+ (pow (/ hi lo) 3) -1) (+ 1 (* (/ hi lo) (- (/ hi lo) -1))) (- 1 (* (/ hi lo) (/ hi lo))) (- -1 (/ hi lo)) (+ (/ hi lo) -1) (exp (- (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo))))) (log (- (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo))))) (exp (- (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo))))) (* (cbrt (- (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo))))) (cbrt (- (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo)))))) (cbrt (- (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo))))) (pow (- (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo)))) 3) (sqrt (- (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo))))) (sqrt (- (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo))))) (- (* x (+ -1 (/ hi lo))) (- hi lo)) (* (- hi lo) (+ (/ hi lo) -1)) (- (pow (/ x (- hi lo)) 3) (pow (/ 1 (+ -1 (/ hi lo))) 3)) (+ (/ (* x x) (* (- hi lo) (- hi lo))) (/ (+ (/ x (- hi lo)) (/ 1 (+ -1 (/ hi lo)))) (+ -1 (/ hi lo)))) (/ -1 (+ -1 (/ hi lo))) (- (/ (* x x) (* (- hi lo) (- hi lo))) (/ (/ 1 (+ -1 (/ hi lo))) (+ -1 (/ hi lo)))) (+ (/ 1 (+ (/ hi lo) -1)) (/ x (- hi lo))) (+ (sqrt (/ x (- hi lo))) (sqrt (/ 1 (+ -1 (/ hi lo))))) (- (sqrt (/ x (- hi lo))) (sqrt (/ 1 (+ -1 (/ hi lo))))) (+ (sqrt (/ x (- hi lo))) (/ 1 (sqrt (+ -1 (/ hi lo))))) (- (sqrt (/ x (- hi lo))) (/ 1 (sqrt (+ -1 (/ hi lo))))) (+ (sqrt (/ x (- hi lo))) (/ 1 (sqrt (+ -1 (/ hi lo))))) (- (sqrt (/ x (- hi lo))) (/ 1 (sqrt (+ -1 (/ hi lo))))) (+ (/ (sqrt x) (sqrt (- hi lo))) (sqrt (/ 1 (+ -1 (/ hi lo))))) (- (/ (sqrt x) (sqrt (- hi lo))) (sqrt (/ 1 (+ -1 (/ hi lo))))) (+ (/ (sqrt x) (sqrt (- hi lo))) (/ 1 (sqrt (+ -1 (/ hi lo))))) (- (/ (sqrt x) (sqrt (- hi lo))) (/ 1 (sqrt (+ -1 (/ hi lo))))) (+ (/ (sqrt x) (sqrt (- hi lo))) (/ 1 (sqrt (+ -1 (/ hi lo))))) (- (/ (sqrt x) (sqrt (- hi lo))) (/ 1 (sqrt (+ -1 (/ hi lo))))) (- (/ x (- hi lo)) (/ 1 (+ (/ hi lo) -1))) (- (/ x (- hi lo)) (/ 1 (+ (/ hi lo) -1))) (- (/ x (- hi lo)) (/ 1 (+ (/ hi lo) -1))) (- (/ x (- hi lo)) (/ 1 (+ (/ hi lo) -1))) (- (/ x (- hi lo)) (/ 1 (+ (/ hi lo) -1))) (- (/ x (- hi lo)) (/ 1 (+ (/ hi lo) -1))) (/ -1 (+ -1 (/ hi lo))) 0 0 0 0 0 0 (+ (/ hi lo) -1) (+ (/ hi lo) -1) (+ (/ hi lo) -1) 1 (/ x hi) (/ x hi) 4.954 * * * [progress]: adding candidates to table 5.158 * * [progress]: iteration 4 / 4 5.158 * * * [progress]: picking best candidate 5.183 * * * * [pick]: Picked # 5.183 * * * [progress]: localizing error 5.199 * * * [progress]: generating rewritten candidates 5.199 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 5.204 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2) 5.210 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 5.216 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1) 5.235 * * * [progress]: generating series expansions 5.235 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 5.235 * [approximate]: Taking taylor expansion of (/ x (- hi lo)) in (x hi lo) around 0 5.235 * [taylor]: Taking taylor expansion of (/ x (- hi lo)) in lo 5.235 * [taylor]: Taking taylor expansion of x in lo 5.235 * [taylor]: Taking taylor expansion of (- hi lo) in lo 5.235 * [taylor]: Taking taylor expansion of hi in lo 5.235 * [taylor]: Taking taylor expansion of lo in lo 5.236 * [taylor]: Taking taylor expansion of (/ x (- hi lo)) in hi 5.236 * [taylor]: Taking taylor expansion of x in hi 5.236 * [taylor]: Taking taylor expansion of (- hi lo) in hi 5.236 * [taylor]: Taking taylor expansion of hi in hi 5.236 * [taylor]: Taking taylor expansion of lo in hi 5.236 * [taylor]: Taking taylor expansion of (/ x (- hi lo)) in x 5.236 * [taylor]: Taking taylor expansion of x in x 5.236 * [taylor]: Taking taylor expansion of (- hi lo) in x 5.236 * [taylor]: Taking taylor expansion of hi in x 5.236 * [taylor]: Taking taylor expansion of lo in x 5.236 * [taylor]: Taking taylor expansion of (/ x (- hi lo)) in x 5.236 * [taylor]: Taking taylor expansion of x in x 5.236 * [taylor]: Taking taylor expansion of (- hi lo) in x 5.236 * [taylor]: Taking taylor expansion of hi in x 5.236 * [taylor]: Taking taylor expansion of lo in x 5.236 * [taylor]: Taking taylor expansion of (/ 1 (- hi lo)) in hi 5.236 * [taylor]: Taking taylor expansion of (- hi lo) in hi 5.236 * [taylor]: Taking taylor expansion of hi in hi 5.236 * [taylor]: Taking taylor expansion of lo in hi 5.236 * [taylor]: Taking taylor expansion of (/ -1 lo) in lo 5.236 * [taylor]: Taking taylor expansion of -1 in lo 5.236 * [taylor]: Taking taylor expansion of lo in lo 5.238 * [taylor]: Taking taylor expansion of 0 in hi 5.238 * [taylor]: Taking taylor expansion of 0 in lo 5.238 * [taylor]: Taking taylor expansion of (- (/ 1 (pow lo 2))) in lo 5.238 * [taylor]: Taking taylor expansion of (/ 1 (pow lo 2)) in lo 5.238 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 5.238 * [taylor]: Taking taylor expansion of lo in lo 5.242 * [taylor]: Taking taylor expansion of 0 in hi 5.242 * [taylor]: Taking taylor expansion of 0 in lo 5.242 * [taylor]: Taking taylor expansion of 0 in lo 5.242 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) in (x hi lo) around 0 5.242 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) in lo 5.242 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) x) in lo 5.242 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in lo 5.242 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 5.242 * [taylor]: Taking taylor expansion of hi in lo 5.242 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 5.242 * [taylor]: Taking taylor expansion of lo in lo 5.243 * [taylor]: Taking taylor expansion of x in lo 5.243 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) in hi 5.243 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) x) in hi 5.243 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in hi 5.243 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 5.243 * [taylor]: Taking taylor expansion of hi in hi 5.243 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 5.243 * [taylor]: Taking taylor expansion of lo in hi 5.243 * [taylor]: Taking taylor expansion of x in hi 5.244 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) in x 5.244 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) x) in x 5.244 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in x 5.244 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 5.244 * [taylor]: Taking taylor expansion of hi in x 5.244 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 5.244 * [taylor]: Taking taylor expansion of lo in x 5.244 * [taylor]: Taking taylor expansion of x in x 5.245 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) x)) in x 5.245 * [taylor]: Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) x) in x 5.245 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in x 5.245 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 5.245 * [taylor]: Taking taylor expansion of hi in x 5.245 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 5.245 * [taylor]: Taking taylor expansion of lo in x 5.245 * [taylor]: Taking taylor expansion of x in x 5.246 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 hi) (/ 1 lo))) in hi 5.246 * [taylor]: Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in hi 5.246 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 5.246 * [taylor]: Taking taylor expansion of hi in hi 5.247 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 5.247 * [taylor]: Taking taylor expansion of lo in hi 5.247 * [taylor]: Taking taylor expansion of 1 in lo 5.248 * [taylor]: Taking taylor expansion of 0 in hi 5.248 * [taylor]: Taking taylor expansion of 0 in lo 5.249 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 5.249 * [taylor]: Taking taylor expansion of lo in lo 5.252 * [taylor]: Taking taylor expansion of 0 in hi 5.252 * [taylor]: Taking taylor expansion of 0 in lo 5.252 * [taylor]: Taking taylor expansion of 0 in lo 5.252 * [approximate]: Taking taylor expansion of (/ -1 (* (- (/ 1 lo) (/ 1 hi)) x)) in (x hi lo) around 0 5.252 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 lo) (/ 1 hi)) x)) in lo 5.252 * [taylor]: Taking taylor expansion of -1 in lo 5.252 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) x) in lo 5.252 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in lo 5.252 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 5.252 * [taylor]: Taking taylor expansion of lo in lo 5.252 * [taylor]: Taking taylor expansion of (/ 1 hi) in lo 5.252 * [taylor]: Taking taylor expansion of hi in lo 5.252 * [taylor]: Taking taylor expansion of x in lo 5.253 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 lo) (/ 1 hi)) x)) in hi 5.253 * [taylor]: Taking taylor expansion of -1 in hi 5.253 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) x) in hi 5.253 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in hi 5.253 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 5.253 * [taylor]: Taking taylor expansion of lo in hi 5.253 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 5.253 * [taylor]: Taking taylor expansion of hi in hi 5.253 * [taylor]: Taking taylor expansion of x in hi 5.254 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 lo) (/ 1 hi)) x)) in x 5.254 * [taylor]: Taking taylor expansion of -1 in x 5.254 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) x) in x 5.254 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in x 5.254 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 5.254 * [taylor]: Taking taylor expansion of lo in x 5.254 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 5.254 * [taylor]: Taking taylor expansion of hi in x 5.254 * [taylor]: Taking taylor expansion of x in x 5.255 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 lo) (/ 1 hi)) x)) in x 5.255 * [taylor]: Taking taylor expansion of -1 in x 5.255 * [taylor]: Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) x) in x 5.255 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in x 5.255 * [taylor]: Taking taylor expansion of (/ 1 lo) in x 5.255 * [taylor]: Taking taylor expansion of lo in x 5.255 * [taylor]: Taking taylor expansion of (/ 1 hi) in x 5.255 * [taylor]: Taking taylor expansion of hi in x 5.255 * [taylor]: Taking taylor expansion of x in x 5.256 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 lo) (/ 1 hi))) in hi 5.256 * [taylor]: Taking taylor expansion of -1 in hi 5.256 * [taylor]: Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in hi 5.256 * [taylor]: Taking taylor expansion of (/ 1 lo) in hi 5.256 * [taylor]: Taking taylor expansion of lo in hi 5.256 * [taylor]: Taking taylor expansion of (/ 1 hi) in hi 5.256 * [taylor]: Taking taylor expansion of hi in hi 5.257 * [taylor]: Taking taylor expansion of 1 in lo 5.259 * [taylor]: Taking taylor expansion of 0 in hi 5.259 * [taylor]: Taking taylor expansion of 0 in lo 5.260 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 5.260 * [taylor]: Taking taylor expansion of lo in lo 5.262 * [taylor]: Taking taylor expansion of 0 in hi 5.262 * [taylor]: Taking taylor expansion of 0 in lo 5.262 * [taylor]: Taking taylor expansion of 0 in lo 5.262 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2) 5.263 * [approximate]: Taking taylor expansion of (+ (/ hi lo) (/ (pow hi 2) (pow lo 2))) in (hi lo) around 0 5.263 * [taylor]: Taking taylor expansion of (+ (/ hi lo) (/ (pow hi 2) (pow lo 2))) in lo 5.263 * [taylor]: Taking taylor expansion of (/ hi lo) in lo 5.263 * [taylor]: Taking taylor expansion of hi in lo 5.263 * [taylor]: Taking taylor expansion of lo in lo 5.263 * [taylor]: Taking taylor expansion of (/ (pow hi 2) (pow lo 2)) in lo 5.263 * [taylor]: Taking taylor expansion of (pow hi 2) in lo 5.263 * [taylor]: Taking taylor expansion of hi in lo 5.263 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 5.263 * [taylor]: Taking taylor expansion of lo in lo 5.263 * [taylor]: Taking taylor expansion of (+ (/ hi lo) (/ (pow hi 2) (pow lo 2))) in hi 5.263 * [taylor]: Taking taylor expansion of (/ hi lo) in hi 5.263 * [taylor]: Taking taylor expansion of hi in hi 5.263 * [taylor]: Taking taylor expansion of lo in hi 5.263 * [taylor]: Taking taylor expansion of (/ (pow hi 2) (pow lo 2)) in hi 5.263 * [taylor]: Taking taylor expansion of (pow hi 2) in hi 5.263 * [taylor]: Taking taylor expansion of hi in hi 5.263 * [taylor]: Taking taylor expansion of (pow lo 2) in hi 5.263 * [taylor]: Taking taylor expansion of lo in hi 5.264 * [taylor]: Taking taylor expansion of (+ (/ hi lo) (/ (pow hi 2) (pow lo 2))) in hi 5.264 * [taylor]: Taking taylor expansion of (/ hi lo) in hi 5.264 * [taylor]: Taking taylor expansion of hi in hi 5.264 * [taylor]: Taking taylor expansion of lo in hi 5.264 * [taylor]: Taking taylor expansion of (/ (pow hi 2) (pow lo 2)) in hi 5.264 * [taylor]: Taking taylor expansion of (pow hi 2) in hi 5.264 * [taylor]: Taking taylor expansion of hi in hi 5.264 * [taylor]: Taking taylor expansion of (pow lo 2) in hi 5.264 * [taylor]: Taking taylor expansion of lo in hi 5.264 * [taylor]: Taking taylor expansion of (/ 1 lo) in lo 5.264 * [taylor]: Taking taylor expansion of lo in lo 5.265 * [taylor]: Taking taylor expansion of (/ 1 (pow lo 2)) in lo 5.265 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 5.265 * [taylor]: Taking taylor expansion of lo in lo 5.266 * [taylor]: Taking taylor expansion of 0 in lo 5.269 * [taylor]: Taking taylor expansion of 0 in lo 5.272 * [taylor]: Taking taylor expansion of 0 in lo 5.274 * [approximate]: Taking taylor expansion of (+ (/ (pow lo 2) (pow hi 2)) (/ lo hi)) in (hi lo) around 0 5.274 * [taylor]: Taking taylor expansion of (+ (/ (pow lo 2) (pow hi 2)) (/ lo hi)) in lo 5.274 * [taylor]: Taking taylor expansion of (/ (pow lo 2) (pow hi 2)) in lo 5.274 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 5.274 * [taylor]: Taking taylor expansion of lo in lo 5.274 * [taylor]: Taking taylor expansion of (pow hi 2) in lo 5.274 * [taylor]: Taking taylor expansion of hi in lo 5.274 * [taylor]: Taking taylor expansion of (/ lo hi) in lo 5.274 * [taylor]: Taking taylor expansion of lo in lo 5.274 * [taylor]: Taking taylor expansion of hi in lo 5.274 * [taylor]: Taking taylor expansion of (+ (/ (pow lo 2) (pow hi 2)) (/ lo hi)) in hi 5.274 * [taylor]: Taking taylor expansion of (/ (pow lo 2) (pow hi 2)) in hi 5.274 * [taylor]: Taking taylor expansion of (pow lo 2) in hi 5.274 * [taylor]: Taking taylor expansion of lo in hi 5.274 * [taylor]: Taking taylor expansion of (pow hi 2) in hi 5.274 * [taylor]: Taking taylor expansion of hi in hi 5.275 * [taylor]: Taking taylor expansion of (/ lo hi) in hi 5.275 * [taylor]: Taking taylor expansion of lo in hi 5.275 * [taylor]: Taking taylor expansion of hi in hi 5.275 * [taylor]: Taking taylor expansion of (+ (/ (pow lo 2) (pow hi 2)) (/ lo hi)) in hi 5.275 * [taylor]: Taking taylor expansion of (/ (pow lo 2) (pow hi 2)) in hi 5.275 * [taylor]: Taking taylor expansion of (pow lo 2) in hi 5.275 * [taylor]: Taking taylor expansion of lo in hi 5.275 * [taylor]: Taking taylor expansion of (pow hi 2) in hi 5.275 * [taylor]: Taking taylor expansion of hi in hi 5.275 * [taylor]: Taking taylor expansion of (/ lo hi) in hi 5.275 * [taylor]: Taking taylor expansion of lo in hi 5.275 * [taylor]: Taking taylor expansion of hi in hi 5.275 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 5.276 * [taylor]: Taking taylor expansion of lo in lo 5.277 * [taylor]: Taking taylor expansion of lo in lo 5.279 * [taylor]: Taking taylor expansion of 0 in lo 5.283 * [taylor]: Taking taylor expansion of 0 in lo 5.283 * [approximate]: Taking taylor expansion of (+ (/ (pow lo 2) (pow hi 2)) (/ lo hi)) in (hi lo) around 0 5.283 * [taylor]: Taking taylor expansion of (+ (/ (pow lo 2) (pow hi 2)) (/ lo hi)) in lo 5.283 * [taylor]: Taking taylor expansion of (/ (pow lo 2) (pow hi 2)) in lo 5.283 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 5.283 * [taylor]: Taking taylor expansion of lo in lo 5.284 * [taylor]: Taking taylor expansion of (pow hi 2) in lo 5.284 * [taylor]: Taking taylor expansion of hi in lo 5.284 * [taylor]: Taking taylor expansion of (/ lo hi) in lo 5.284 * [taylor]: Taking taylor expansion of lo in lo 5.284 * [taylor]: Taking taylor expansion of hi in lo 5.284 * [taylor]: Taking taylor expansion of (+ (/ (pow lo 2) (pow hi 2)) (/ lo hi)) in hi 5.284 * [taylor]: Taking taylor expansion of (/ (pow lo 2) (pow hi 2)) in hi 5.284 * [taylor]: Taking taylor expansion of (pow lo 2) in hi 5.284 * [taylor]: Taking taylor expansion of lo in hi 5.284 * [taylor]: Taking taylor expansion of (pow hi 2) in hi 5.284 * [taylor]: Taking taylor expansion of hi in hi 5.284 * [taylor]: Taking taylor expansion of (/ lo hi) in hi 5.284 * [taylor]: Taking taylor expansion of lo in hi 5.284 * [taylor]: Taking taylor expansion of hi in hi 5.284 * [taylor]: Taking taylor expansion of (+ (/ (pow lo 2) (pow hi 2)) (/ lo hi)) in hi 5.284 * [taylor]: Taking taylor expansion of (/ (pow lo 2) (pow hi 2)) in hi 5.285 * [taylor]: Taking taylor expansion of (pow lo 2) in hi 5.285 * [taylor]: Taking taylor expansion of lo in hi 5.285 * [taylor]: Taking taylor expansion of (pow hi 2) in hi 5.285 * [taylor]: Taking taylor expansion of hi in hi 5.285 * [taylor]: Taking taylor expansion of (/ lo hi) in hi 5.285 * [taylor]: Taking taylor expansion of lo in hi 5.285 * [taylor]: Taking taylor expansion of hi in hi 5.285 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 5.285 * [taylor]: Taking taylor expansion of lo in lo 5.286 * [taylor]: Taking taylor expansion of lo in lo 5.289 * [taylor]: Taking taylor expansion of 0 in lo 5.296 * [taylor]: Taking taylor expansion of 0 in lo 5.297 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 5.297 * [approximate]: Taking taylor expansion of (pow (/ hi lo) 3) in (hi lo) around 0 5.297 * [taylor]: Taking taylor expansion of (pow (/ hi lo) 3) in lo 5.297 * [taylor]: Taking taylor expansion of (/ hi lo) in lo 5.297 * [taylor]: Taking taylor expansion of hi in lo 5.297 * [taylor]: Taking taylor expansion of lo in lo 5.297 * [taylor]: Taking taylor expansion of (pow (/ hi lo) 3) in hi 5.297 * [taylor]: Taking taylor expansion of (/ hi lo) in hi 5.297 * [taylor]: Taking taylor expansion of hi in hi 5.297 * [taylor]: Taking taylor expansion of lo in hi 5.297 * [taylor]: Taking taylor expansion of (pow (/ hi lo) 3) in hi 5.297 * [taylor]: Taking taylor expansion of (/ hi lo) in hi 5.297 * [taylor]: Taking taylor expansion of hi in hi 5.297 * [taylor]: Taking taylor expansion of lo in hi 5.297 * [taylor]: Taking taylor expansion of (/ 1 (pow lo 3)) in lo 5.297 * [taylor]: Taking taylor expansion of (pow lo 3) in lo 5.297 * [taylor]: Taking taylor expansion of lo in lo 5.298 * [taylor]: Taking taylor expansion of 0 in lo 5.300 * [taylor]: Taking taylor expansion of 0 in lo 5.303 * [taylor]: Taking taylor expansion of 0 in lo 5.307 * [taylor]: Taking taylor expansion of 0 in lo 5.311 * [taylor]: Taking taylor expansion of 0 in lo 5.311 * [approximate]: Taking taylor expansion of (pow (/ lo hi) 3) in (hi lo) around 0 5.311 * [taylor]: Taking taylor expansion of (pow (/ lo hi) 3) in lo 5.311 * [taylor]: Taking taylor expansion of (/ lo hi) in lo 5.311 * [taylor]: Taking taylor expansion of lo in lo 5.311 * [taylor]: Taking taylor expansion of hi in lo 5.311 * [taylor]: Taking taylor expansion of (pow (/ lo hi) 3) in hi 5.311 * [taylor]: Taking taylor expansion of (/ lo hi) in hi 5.311 * [taylor]: Taking taylor expansion of lo in hi 5.311 * [taylor]: Taking taylor expansion of hi in hi 5.311 * [taylor]: Taking taylor expansion of (pow (/ lo hi) 3) in hi 5.311 * [taylor]: Taking taylor expansion of (/ lo hi) in hi 5.311 * [taylor]: Taking taylor expansion of lo in hi 5.311 * [taylor]: Taking taylor expansion of hi in hi 5.312 * [taylor]: Taking taylor expansion of (pow lo 3) in lo 5.312 * [taylor]: Taking taylor expansion of lo in lo 5.313 * [taylor]: Taking taylor expansion of 0 in lo 5.315 * [taylor]: Taking taylor expansion of 0 in lo 5.318 * [taylor]: Taking taylor expansion of 0 in lo 5.319 * [approximate]: Taking taylor expansion of (pow (/ lo hi) 3) in (hi lo) around 0 5.319 * [taylor]: Taking taylor expansion of (pow (/ lo hi) 3) in lo 5.319 * [taylor]: Taking taylor expansion of (/ lo hi) in lo 5.319 * [taylor]: Taking taylor expansion of lo in lo 5.319 * [taylor]: Taking taylor expansion of hi in lo 5.319 * [taylor]: Taking taylor expansion of (pow (/ lo hi) 3) in hi 5.319 * [taylor]: Taking taylor expansion of (/ lo hi) in hi 5.319 * [taylor]: Taking taylor expansion of lo in hi 5.319 * [taylor]: Taking taylor expansion of hi in hi 5.319 * [taylor]: Taking taylor expansion of (pow (/ lo hi) 3) in hi 5.319 * [taylor]: Taking taylor expansion of (/ lo hi) in hi 5.319 * [taylor]: Taking taylor expansion of lo in hi 5.319 * [taylor]: Taking taylor expansion of hi in hi 5.319 * [taylor]: Taking taylor expansion of (pow lo 3) in lo 5.319 * [taylor]: Taking taylor expansion of lo in lo 5.320 * [taylor]: Taking taylor expansion of 0 in lo 5.322 * [taylor]: Taking taylor expansion of 0 in lo 5.326 * [taylor]: Taking taylor expansion of 0 in lo 5.326 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1) 5.326 * [approximate]: Taking taylor expansion of (/ (pow hi 2) (pow lo 2)) in (hi lo) around 0 5.326 * [taylor]: Taking taylor expansion of (/ (pow hi 2) (pow lo 2)) in lo 5.326 * [taylor]: Taking taylor expansion of (pow hi 2) in lo 5.326 * [taylor]: Taking taylor expansion of hi in lo 5.326 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 5.326 * [taylor]: Taking taylor expansion of lo in lo 5.326 * [taylor]: Taking taylor expansion of (/ (pow hi 2) (pow lo 2)) in hi 5.326 * [taylor]: Taking taylor expansion of (pow hi 2) in hi 5.326 * [taylor]: Taking taylor expansion of hi in hi 5.326 * [taylor]: Taking taylor expansion of (pow lo 2) in hi 5.326 * [taylor]: Taking taylor expansion of lo in hi 5.327 * [taylor]: Taking taylor expansion of (/ (pow hi 2) (pow lo 2)) in hi 5.327 * [taylor]: Taking taylor expansion of (pow hi 2) in hi 5.327 * [taylor]: Taking taylor expansion of hi in hi 5.327 * [taylor]: Taking taylor expansion of (pow lo 2) in hi 5.327 * [taylor]: Taking taylor expansion of lo in hi 5.327 * [taylor]: Taking taylor expansion of (/ 1 (pow lo 2)) in lo 5.327 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 5.327 * [taylor]: Taking taylor expansion of lo in lo 5.328 * [taylor]: Taking taylor expansion of 0 in lo 5.330 * [taylor]: Taking taylor expansion of 0 in lo 5.333 * [taylor]: Taking taylor expansion of 0 in lo 5.335 * [taylor]: Taking taylor expansion of 0 in lo 5.336 * [approximate]: Taking taylor expansion of (/ (pow lo 2) (pow hi 2)) in (hi lo) around 0 5.336 * [taylor]: Taking taylor expansion of (/ (pow lo 2) (pow hi 2)) in lo 5.336 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 5.336 * [taylor]: Taking taylor expansion of lo in lo 5.336 * [taylor]: Taking taylor expansion of (pow hi 2) in lo 5.336 * [taylor]: Taking taylor expansion of hi in lo 5.336 * [taylor]: Taking taylor expansion of (/ (pow lo 2) (pow hi 2)) in hi 5.336 * [taylor]: Taking taylor expansion of (pow lo 2) in hi 5.336 * [taylor]: Taking taylor expansion of lo in hi 5.336 * [taylor]: Taking taylor expansion of (pow hi 2) in hi 5.336 * [taylor]: Taking taylor expansion of hi in hi 5.337 * [taylor]: Taking taylor expansion of (/ (pow lo 2) (pow hi 2)) in hi 5.337 * [taylor]: Taking taylor expansion of (pow lo 2) in hi 5.337 * [taylor]: Taking taylor expansion of lo in hi 5.337 * [taylor]: Taking taylor expansion of (pow hi 2) in hi 5.337 * [taylor]: Taking taylor expansion of hi in hi 5.337 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 5.337 * [taylor]: Taking taylor expansion of lo in lo 5.338 * [taylor]: Taking taylor expansion of 0 in lo 5.340 * [taylor]: Taking taylor expansion of 0 in lo 5.343 * [taylor]: Taking taylor expansion of 0 in lo 5.343 * [approximate]: Taking taylor expansion of (/ (pow lo 2) (pow hi 2)) in (hi lo) around 0 5.343 * [taylor]: Taking taylor expansion of (/ (pow lo 2) (pow hi 2)) in lo 5.343 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 5.343 * [taylor]: Taking taylor expansion of lo in lo 5.343 * [taylor]: Taking taylor expansion of (pow hi 2) in lo 5.343 * [taylor]: Taking taylor expansion of hi in lo 5.344 * [taylor]: Taking taylor expansion of (/ (pow lo 2) (pow hi 2)) in hi 5.344 * [taylor]: Taking taylor expansion of (pow lo 2) in hi 5.344 * [taylor]: Taking taylor expansion of lo in hi 5.344 * [taylor]: Taking taylor expansion of (pow hi 2) in hi 5.344 * [taylor]: Taking taylor expansion of hi in hi 5.344 * [taylor]: Taking taylor expansion of (/ (pow lo 2) (pow hi 2)) in hi 5.344 * [taylor]: Taking taylor expansion of (pow lo 2) in hi 5.344 * [taylor]: Taking taylor expansion of lo in hi 5.344 * [taylor]: Taking taylor expansion of (pow hi 2) in hi 5.344 * [taylor]: Taking taylor expansion of hi in hi 5.345 * [taylor]: Taking taylor expansion of (pow lo 2) in lo 5.345 * [taylor]: Taking taylor expansion of lo in lo 5.346 * [taylor]: Taking taylor expansion of 0 in lo 5.348 * [taylor]: Taking taylor expansion of 0 in lo 5.351 * [taylor]: Taking taylor expansion of 0 in lo 5.351 * * * [progress]: simplifying candidates 5.353 * [simplify]: Simplifying using # : (- (log x) (log (- hi lo))) (log (/ x (- hi lo))) (exp (/ x (- hi lo))) (/ (* (* x x) x) (* (* (- hi lo) (- hi lo)) (- hi lo))) (* (cbrt (/ x (- hi lo))) (cbrt (/ x (- hi lo)))) (cbrt (/ x (- hi lo))) (* (* (/ x (- hi lo)) (/ x (- hi lo))) (/ x (- hi lo))) (sqrt (/ x (- hi lo))) (sqrt (/ x (- hi lo))) (- x) (- (- hi lo)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (cbrt x) (cbrt (- hi lo))) (/ (* (cbrt x) (cbrt x)) (sqrt (- hi lo))) (/ (cbrt x) (sqrt (- hi lo))) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (- hi lo)) (/ (* (cbrt x) (cbrt x)) (+ (sqrt hi) (sqrt lo))) (/ (cbrt x) (- (sqrt hi) (sqrt lo))) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (- hi lo)) (/ (sqrt x) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (sqrt x) (cbrt (- hi lo))) (/ (sqrt x) (sqrt (- hi lo))) (/ (sqrt x) (sqrt (- hi lo))) (/ (sqrt x) 1) (/ (sqrt x) (- hi lo)) (/ (sqrt x) (+ (sqrt hi) (sqrt lo))) (/ (sqrt x) (- (sqrt hi) (sqrt lo))) (/ (sqrt x) 1) (/ (sqrt x) (- hi lo)) (/ 1 (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ x (cbrt (- hi lo))) (/ 1 (sqrt (- hi lo))) (/ x (sqrt (- hi lo))) (/ 1 1) (/ x (- hi lo)) (/ 1 (+ (sqrt hi) (sqrt lo))) (/ x (- (sqrt hi) (sqrt lo))) (/ 1 1) (/ x (- hi lo)) (/ 1 (- hi lo)) (/ (- hi lo) x) (/ x (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ x (sqrt (- hi lo))) (/ x 1) (/ x (+ (sqrt hi) (sqrt lo))) (/ x 1) (/ (- hi lo) (cbrt x)) (/ (- hi lo) (sqrt x)) (/ (- hi lo) x) (/ x (- (pow hi 3) (pow lo 3))) (/ x (- (* hi hi) (* lo lo))) (/ (exp (* (/ hi lo) (/ hi lo))) (exp (* -1 (/ hi lo)))) (log (- (* (/ hi lo) (/ hi lo)) (* -1 (/ hi lo)))) (exp (- (* (/ hi lo) (/ hi lo)) (* -1 (/ hi lo)))) (* (cbrt (- (* (/ hi lo) (/ hi lo)) (* -1 (/ hi lo)))) (cbrt (- (* (/ hi lo) (/ hi lo)) (* -1 (/ hi lo))))) (cbrt (- (* (/ hi lo) (/ hi lo)) (* -1 (/ hi lo)))) (* (* (- (* (/ hi lo) (/ hi lo)) (* -1 (/ hi lo))) (- (* (/ hi lo) (/ hi lo)) (* -1 (/ hi lo)))) (- (* (/ hi lo) (/ hi lo)) (* -1 (/ hi lo)))) (sqrt (- (* (/ hi lo) (/ hi lo)) (* -1 (/ hi lo)))) (sqrt (- (* (/ hi lo) (/ hi lo)) (* -1 (/ hi lo)))) (- (* (/ hi lo) hi) (* -1 hi)) (- (* hi (/ hi lo)) (* -1 hi)) (- (* (* hi hi) lo) (* (* lo lo) (* -1 hi))) (* (* lo lo) lo) (- (* (* (/ hi lo) hi) lo) (* lo (* -1 hi))) (* lo lo) (- (* (* hi (/ hi lo)) lo) (* lo (* -1 hi))) (* lo lo) (- (pow (* (/ hi lo) (/ hi lo)) 3) (pow (* -1 (/ hi lo)) 3)) (+ (* (* (/ hi lo) (/ hi lo)) (* (/ hi lo) (/ hi lo))) (+ (* (* -1 (/ hi lo)) (* -1 (/ hi lo))) (* (* (/ hi lo) (/ hi lo)) (* -1 (/ hi lo))))) (- (* -1 (/ hi lo))) (- (* (* (/ hi lo) (/ hi lo)) (* (/ hi lo) (/ hi lo))) (* (* -1 (/ hi lo)) (* -1 (/ hi lo)))) (+ (* (/ hi lo) (/ hi lo)) (* -1 (/ hi lo))) (- (/ hi lo) -1) (- (* -1 (/ hi lo))) (* (- (log hi) (log lo)) 3) (* (log (/ hi lo)) 3) (* (log (/ hi lo)) 3) (* 1 3) (pow (/ hi lo) (* (cbrt 3) (cbrt 3))) (pow (/ hi lo) (sqrt 3)) (pow (/ hi lo) 1) (pow (* (cbrt (/ hi lo)) (cbrt (/ hi lo))) 3) (pow (cbrt (/ hi lo)) 3) (pow (sqrt (/ hi lo)) 3) (pow (sqrt (/ hi lo)) 3) (pow (/ (* (cbrt hi) (cbrt hi)) (* (cbrt lo) (cbrt lo))) 3) (pow (/ (cbrt hi) (cbrt lo)) 3) (pow (/ (* (cbrt hi) (cbrt hi)) (sqrt lo)) 3) (pow (/ (cbrt hi) (sqrt lo)) 3) (pow (/ (* (cbrt hi) (cbrt hi)) 1) 3) (pow (/ (cbrt hi) lo) 3) (pow (/ (sqrt hi) (* (cbrt lo) (cbrt lo))) 3) (pow (/ (sqrt hi) (cbrt lo)) 3) (pow (/ (sqrt hi) (sqrt lo)) 3) (pow (/ (sqrt hi) (sqrt lo)) 3) (pow (/ (sqrt hi) 1) 3) (pow (/ (sqrt hi) lo) 3) (pow (/ 1 (* (cbrt lo) (cbrt lo))) 3) (pow (/ hi (cbrt lo)) 3) (pow (/ 1 (sqrt lo)) 3) (pow (/ hi (sqrt lo)) 3) (pow (/ 1 1) 3) (pow (/ hi lo) 3) (pow 1 3) (pow (/ hi lo) 3) (pow hi 3) (pow (/ 1 lo) 3) (* (/ hi lo) (/ hi lo)) (log (pow (/ hi lo) 3)) (exp (pow (/ hi lo) 3)) (* (cbrt (pow (/ hi lo) 3)) (cbrt (pow (/ hi lo) 3))) (cbrt (pow (/ hi lo) 3)) (* (* (pow (/ hi lo) 3) (pow (/ hi lo) 3)) (pow (/ hi lo) 3)) (pow (* (cbrt (/ hi lo)) (cbrt (/ hi lo))) 3) (pow (cbrt (/ hi lo)) 3) (pow (sqrt (/ hi lo)) 3) (pow (sqrt (/ hi lo)) 3) (pow (/ (* (cbrt hi) (cbrt hi)) (* (cbrt lo) (cbrt lo))) 3) (pow (/ (cbrt hi) (cbrt lo)) 3) (pow (/ (* (cbrt hi) (cbrt hi)) (sqrt lo)) 3) (pow (/ (cbrt hi) (sqrt lo)) 3) (pow (/ (* (cbrt hi) (cbrt hi)) 1) 3) (pow (/ (cbrt hi) lo) 3) (pow (/ (sqrt hi) (* (cbrt lo) (cbrt lo))) 3) (pow (/ (sqrt hi) (cbrt lo)) 3) (pow (/ (sqrt hi) (sqrt lo)) 3) (pow (/ (sqrt hi) (sqrt lo)) 3) (pow (/ (sqrt hi) 1) 3) (pow (/ (sqrt hi) lo) 3) (pow (/ 1 (* (cbrt lo) (cbrt lo))) 3) (pow (/ hi (cbrt lo)) 3) (pow (/ 1 (sqrt lo)) 3) (pow (/ hi (sqrt lo)) 3) (pow (/ 1 1) 3) (pow (/ hi lo) 3) (pow 1 3) (pow (/ hi lo) 3) (pow hi 3) (pow (/ 1 lo) 3) (pow hi 3) (pow lo 3) (* (/ hi lo) (/ hi lo)) (sqrt (pow (/ hi lo) 3)) (sqrt (pow (/ hi lo) 3)) (pow (/ hi lo) (/ 3 2)) (pow (/ hi lo) (/ 3 2)) (+ 1 1) (* (/ hi lo) (/ hi lo)) (+ 1 1) (+ (- (log hi) (log lo)) (- (log hi) (log lo))) (+ (- (log hi) (log lo)) (log (/ hi lo))) (+ (log (/ hi lo)) (- (log hi) (log lo))) (+ (log (/ hi lo)) (log (/ hi lo))) (log (* (/ hi lo) (/ hi lo))) (exp (* (/ hi lo) (/ hi lo))) (* (/ (* (* hi hi) hi) (* (* lo lo) lo)) (/ (* (* hi hi) hi) (* (* lo lo) lo))) (* (/ (* (* hi hi) hi) (* (* lo lo) lo)) (* (* (/ hi lo) (/ hi lo)) (/ hi lo))) (* (* (* (/ hi lo) (/ hi lo)) (/ hi lo)) (/ (* (* hi hi) hi) (* (* lo lo) lo))) (* (* (* (/ hi lo) (/ hi lo)) (/ hi lo)) (* (* (/ hi lo) (/ hi lo)) (/ hi lo))) (* (cbrt (* (/ hi lo) (/ hi lo))) (cbrt (* (/ hi lo) (/ hi lo)))) (cbrt (* (/ hi lo) (/ hi lo))) (* (* (* (/ hi lo) (/ hi lo)) (* (/ hi lo) (/ hi lo))) (* (/ hi lo) (/ hi lo))) (sqrt (* (/ hi lo) (/ hi lo))) (sqrt (* (/ hi lo) (/ hi lo))) (* hi hi) (* lo lo) (* (* (cbrt (/ hi lo)) (cbrt (/ hi lo))) (* (cbrt (/ hi lo)) (cbrt (/ hi lo)))) (* (cbrt (/ hi lo)) (cbrt (/ hi lo))) (* (sqrt (/ hi lo)) (sqrt (/ hi lo))) (* (sqrt (/ hi lo)) (sqrt (/ hi lo))) (* (/ (* (cbrt hi) (cbrt hi)) (* (cbrt lo) (cbrt lo))) (/ (* (cbrt hi) (cbrt hi)) (* (cbrt lo) (cbrt lo)))) (* (/ (cbrt hi) (cbrt lo)) (/ (cbrt hi) (cbrt lo))) (* (/ (* (cbrt hi) (cbrt hi)) (sqrt lo)) (/ (* (cbrt hi) (cbrt hi)) (sqrt lo))) (* (/ (cbrt hi) (sqrt lo)) (/ (cbrt hi) (sqrt lo))) (* (/ (* (cbrt hi) (cbrt hi)) 1) (/ (* (cbrt hi) (cbrt hi)) 1)) (* (/ (cbrt hi) lo) (/ (cbrt hi) lo)) (* (/ (sqrt hi) (* (cbrt lo) (cbrt lo))) (/ (sqrt hi) (* (cbrt lo) (cbrt lo)))) (* (/ (sqrt hi) (cbrt lo)) (/ (sqrt hi) (cbrt lo))) (* (/ (sqrt hi) (sqrt lo)) (/ (sqrt hi) (sqrt lo))) (* (/ (sqrt hi) (sqrt lo)) (/ (sqrt hi) (sqrt lo))) (* (/ (sqrt hi) 1) (/ (sqrt hi) 1)) (* (/ (sqrt hi) lo) (/ (sqrt hi) lo)) (* (/ 1 (* (cbrt lo) (cbrt lo))) (/ 1 (* (cbrt lo) (cbrt lo)))) (* (/ hi (cbrt lo)) (/ hi (cbrt lo))) (* (/ 1 (sqrt lo)) (/ 1 (sqrt lo))) (* (/ hi (sqrt lo)) (/ hi (sqrt lo))) (* (/ 1 1) (/ 1 1)) (* (/ hi lo) (/ hi lo)) (* 1 1) (* (/ hi lo) (/ hi lo)) (* hi hi) (* (/ 1 lo) (/ 1 lo)) (* (sqrt (/ hi lo)) (sqrt (/ hi lo))) (* (sqrt (/ hi lo)) (sqrt (/ hi lo))) (* (sqrt (/ hi lo)) (/ (sqrt hi) (sqrt lo))) (* (sqrt (/ hi lo)) (/ (sqrt hi) (sqrt lo))) (* (/ (sqrt hi) (sqrt lo)) (sqrt (/ hi lo))) (* (/ (sqrt hi) (sqrt lo)) (sqrt (/ hi lo))) (* (/ (sqrt hi) (sqrt lo)) (/ (sqrt hi) (sqrt lo))) (* (/ (sqrt hi) (sqrt lo)) (/ (sqrt hi) (sqrt lo))) (* 2 1) (* (/ hi lo) (* (cbrt (/ hi lo)) (cbrt (/ hi lo)))) (* (/ hi lo) (sqrt (/ hi lo))) (* (/ hi lo) (/ (* (cbrt hi) (cbrt hi)) (* (cbrt lo) (cbrt lo)))) (* (/ hi lo) (/ (* (cbrt hi) (cbrt hi)) (sqrt lo))) (* (/ hi lo) (/ (* (cbrt hi) (cbrt hi)) 1)) (* (/ hi lo) (/ (sqrt hi) (* (cbrt lo) (cbrt lo)))) (* (/ hi lo) (/ (sqrt hi) (sqrt lo))) (* (/ hi lo) (/ (sqrt hi) 1)) (* (/ hi lo) (/ 1 (* (cbrt lo) (cbrt lo)))) (* (/ hi lo) (/ 1 (sqrt lo))) (* (/ hi lo) (/ 1 1)) (* (/ hi lo) 1) (* (/ hi lo) hi) (* (cbrt (/ hi lo)) (/ hi lo)) (* (sqrt (/ hi lo)) (/ hi lo)) (* (/ (cbrt hi) (cbrt lo)) (/ hi lo)) (* (/ (cbrt hi) (sqrt lo)) (/ hi lo)) (* (/ (cbrt hi) lo) (/ hi lo)) (* (/ (sqrt hi) (cbrt lo)) (/ hi lo)) (* (/ (sqrt hi) (sqrt lo)) (/ hi lo)) (* (/ (sqrt hi) lo) (/ hi lo)) (* (/ hi (cbrt lo)) (/ hi lo)) (* (/ hi (sqrt lo)) (/ hi lo)) (* (/ hi lo) (/ hi lo)) (* (/ hi lo) (/ hi lo)) (* (/ 1 lo) (/ hi lo)) (* (/ hi lo) hi) (* hi (/ hi lo)) 0 0 0 (+ (/ hi lo) (/ (pow hi 2) (pow lo 2))) (+ (/ hi lo) (/ (pow hi 2) (pow lo 2))) (+ (/ hi lo) (/ (pow hi 2) (pow lo 2))) (/ (pow hi 3) (pow lo 3)) (/ (pow hi 3) (pow lo 3)) (/ (pow hi 3) (pow lo 3)) (/ (pow hi 2) (pow lo 2)) (/ (pow hi 2) (pow lo 2)) (/ (pow hi 2) (pow lo 2)) 5.359 * * [simplify]: iteration 0 : 249 enodes (cost 2112 ) 5.441 * * [simplify]: iteration 1 : 718 enodes (cost 1744 ) 6.131 * * [simplify]: iteration 2 : 3391 enodes (cost 1500 ) 7.072 * * [simplify]: iteration done : 5000 enodes (cost 1491 ) 7.073 * [simplify]: Simplified to: (log (/ x (- hi lo))) (log (/ x (- hi lo))) (exp (/ x (- hi lo))) (pow (/ x (- hi lo)) 3) (* (cbrt (/ x (- hi lo))) (cbrt (/ x (- hi lo)))) (cbrt (/ x (- hi lo))) (pow (/ x (- hi lo)) 3) (sqrt (/ x (- hi lo))) (sqrt (/ x (- hi lo))) (- x) (- (- hi lo)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (cbrt x) (cbrt (- hi lo))) (/ (* (cbrt x) (cbrt x)) (sqrt (- hi lo))) (/ (cbrt x) (sqrt (- hi lo))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (- hi lo)) (/ (* (cbrt x) (cbrt x)) (+ (sqrt hi) (sqrt lo))) (/ (cbrt x) (- (sqrt hi) (sqrt lo))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (- hi lo)) (/ (sqrt x) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (sqrt x) (cbrt (- hi lo))) (/ (sqrt x) (sqrt (- hi lo))) (/ (sqrt x) (sqrt (- hi lo))) (sqrt x) (/ (sqrt x) (- hi lo)) (/ (sqrt x) (+ (sqrt hi) (sqrt lo))) (/ (sqrt x) (- (sqrt hi) (sqrt lo))) (sqrt x) (/ (sqrt x) (- hi lo)) (/ 1 (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ x (cbrt (- hi lo))) (/ 1 (sqrt (- hi lo))) (/ x (sqrt (- hi lo))) 1 (/ x (- hi lo)) (/ 1 (+ (sqrt hi) (sqrt lo))) (/ x (- (sqrt hi) (sqrt lo))) 1 (/ x (- hi lo)) (/ 1 (- hi lo)) (/ (- hi lo) x) (/ x (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ x (sqrt (- hi lo))) x (/ x (+ (sqrt hi) (sqrt lo))) x (/ (- hi lo) (cbrt x)) (/ (- hi lo) (sqrt x)) (/ (- hi lo) x) (/ x (- (pow hi 3) (pow lo 3))) (/ x (- (* hi hi) (* lo lo))) (exp (* (/ hi lo) (- (/ hi lo) -1))) (log (* (/ hi lo) (- (/ hi lo) -1))) (exp (* (/ hi lo) (- (/ hi lo) -1))) (* (cbrt (* (/ hi lo) (- (/ hi lo) -1))) (cbrt (* (/ hi lo) (- (/ hi lo) -1)))) (cbrt (* (/ hi lo) (- (/ hi lo) -1))) (pow (* (- (/ hi lo) -1) (/ hi lo)) 3) (sqrt (* (/ hi lo) (- (/ hi lo) -1))) (sqrt (* (/ hi lo) (- (/ hi lo) -1))) (* hi (- (/ hi lo) -1)) (* hi (- (/ hi lo) -1)) (* lo (+ (pow hi 2) (* hi lo))) (pow lo 3) (* lo (* hi (- (/ hi lo) -1))) (* lo lo) (* lo (* hi (- (/ hi lo) -1))) (* lo lo) (+ (pow (/ hi lo) 6) (pow (/ hi lo) 3)) (+ (- (pow (/ hi lo) 4) (pow (/ hi lo) 3)) (pow (/ hi lo) 2)) (/ hi lo) (- (pow (/ hi lo) 4) (pow (/ hi lo) 2)) (* (/ hi lo) (+ (/ hi lo) -1)) (- (/ hi lo) -1) (/ hi lo) (* (log (/ hi lo)) 3) (* (log (/ hi lo)) 3) (* (log (/ hi lo)) 3) 3 (pow (/ hi lo) (* (cbrt 3) (cbrt 3))) (pow (/ hi lo) (sqrt 3)) (/ hi lo) (pow (/ hi lo) 2) (/ hi lo) (pow (sqrt (/ hi lo)) 3) (pow (sqrt (/ hi lo)) 3) (pow (/ hi lo) 2) (/ hi lo) (/ (* hi hi) (pow (sqrt lo) 3)) (/ hi (pow (sqrt lo) 3)) (* hi hi) (/ hi (pow lo 3)) (* (/ (sqrt hi) lo) (/ hi lo)) (* (sqrt hi) (/ hi lo)) (pow (/ (sqrt hi) (sqrt lo)) 3) (pow (/ (sqrt hi) (sqrt lo)) 3) (* hi (sqrt hi)) (pow (/ (sqrt hi) lo) 3) (/ (/ 1 lo) lo) (/ (pow hi 3) lo) (pow (/ 1 (sqrt lo)) 3) (pow (/ hi (sqrt lo)) 3) 1 (pow (/ hi lo) 3) 1 (pow (/ hi lo) 3) (pow hi 3) (pow (/ 1 lo) 3) (pow (/ hi lo) 2) (* (log (/ hi lo)) 3) (exp (pow (/ hi lo) 3)) (pow (/ hi lo) 2) (/ hi lo) (pow (pow (/ hi lo) 3) 3) (pow (/ hi lo) 2) (/ hi lo) (pow (sqrt (/ hi lo)) 3) (pow (sqrt (/ hi lo)) 3) (pow (/ hi lo) 2) (/ hi lo) (/ (* hi hi) (pow (sqrt lo) 3)) (/ hi (pow (sqrt lo) 3)) (* hi hi) (/ hi (pow lo 3)) (* (/ (sqrt hi) lo) (/ hi lo)) (* (sqrt hi) (/ hi lo)) (pow (/ (sqrt hi) (sqrt lo)) 3) (pow (/ (sqrt hi) (sqrt lo)) 3) (* hi (sqrt hi)) (pow (/ (sqrt hi) lo) 3) (/ (/ 1 lo) lo) (/ (pow hi 3) lo) (pow (/ 1 (sqrt lo)) 3) (pow (/ hi (sqrt lo)) 3) 1 (pow (/ hi lo) 3) 1 (pow (/ hi lo) 3) (pow hi 3) (pow (/ 1 lo) 3) (pow hi 3) (pow lo 3) (pow (/ hi lo) 2) (sqrt (pow (/ hi lo) 3)) (sqrt (pow (/ hi lo) 3)) (pow (/ hi lo) 3/2) (pow (/ hi lo) 3/2) 2 (pow (/ hi lo) 2) 2 (* 2 (log (/ hi lo))) (* 2 (log (/ hi lo))) (* 2 (log (/ hi lo))) (* 2 (log (/ hi lo))) (* 2 (log (/ hi lo))) (exp (pow (/ hi lo) 2)) (pow (/ hi lo) 6) (pow (/ hi lo) 6) (pow (/ hi lo) 6) (pow (/ hi lo) 6) (pow (cbrt (/ hi lo)) 4) (cbrt (pow (/ hi lo) 2)) (pow (/ hi lo) 6) (fabs (/ hi lo)) (fabs (/ hi lo)) (* hi hi) (* lo lo) (pow (cbrt (/ hi lo)) 4) (cbrt (pow (/ hi lo) 2)) (/ hi lo) (/ hi lo) (* (/ (cbrt hi) (cbrt lo)) (/ hi lo)) (* (/ (cbrt hi) (cbrt lo)) (/ (cbrt hi) (cbrt lo))) (/ (* (/ (cbrt hi) (sqrt lo)) hi) (sqrt lo)) (* (/ (cbrt hi) (sqrt lo)) (/ (cbrt hi) (sqrt lo))) (* hi (cbrt hi)) (* (/ (cbrt hi) lo) (/ (cbrt hi) lo)) (/ (/ hi lo) (cbrt lo)) (/ hi (* (cbrt lo) (cbrt lo))) (/ (/ hi (sqrt lo)) (sqrt lo)) (/ (/ hi (sqrt lo)) (sqrt lo)) hi (/ (/ hi lo) lo) (/ (/ (/ 1 (* (cbrt lo) (cbrt lo))) (cbrt lo)) (cbrt lo)) (* (/ hi (cbrt lo)) (/ hi (cbrt lo))) (/ (/ 1 (sqrt lo)) (sqrt lo)) (* (/ hi (sqrt lo)) (/ hi (sqrt lo))) 1 (pow (/ hi lo) 2) 1 (pow (/ hi lo) 2) (* hi hi) (/ (/ 1 lo) lo) (/ hi lo) (/ hi lo) (* (sqrt (/ hi lo)) (/ (sqrt hi) (sqrt lo))) (* (sqrt (/ hi lo)) (/ (sqrt hi) (sqrt lo))) (* (sqrt (/ hi lo)) (/ (sqrt hi) (sqrt lo))) (* (sqrt (/ hi lo)) (/ (sqrt hi) (sqrt lo))) (/ (/ hi (sqrt lo)) (sqrt lo)) (/ (/ hi (sqrt lo)) (sqrt lo)) 2 (* (/ hi lo) (cbrt (pow (/ hi lo) 2))) (pow (sqrt (/ hi lo)) 3) (* (/ hi lo) (/ (* (cbrt hi) (cbrt hi)) (* (cbrt lo) (cbrt lo)))) (* (/ hi lo) (/ (* (cbrt hi) (cbrt hi)) (sqrt lo))) (* (/ hi lo) (* (cbrt hi) (cbrt hi))) (/ hi (/ lo (/ (sqrt hi) (* (cbrt lo) (cbrt lo))))) (* (/ (sqrt hi) (sqrt lo)) (/ hi lo)) (* (sqrt hi) (/ hi lo)) (/ (/ hi lo) (* (cbrt lo) (cbrt lo))) (/ (/ hi lo) (sqrt lo)) (/ hi lo) (/ hi lo) (* hi (/ hi lo)) (pow (cbrt (/ hi lo)) 4) (pow (sqrt (/ hi lo)) 3) (* (/ (cbrt hi) (cbrt lo)) (/ hi lo)) (* (/ (cbrt hi) (sqrt lo)) (/ hi lo)) (* (/ (cbrt hi) lo) (/ hi lo)) (* (/ (sqrt hi) (cbrt lo)) (/ hi lo)) (* (/ (sqrt hi) (sqrt lo)) (/ hi lo)) (* (/ (sqrt hi) lo) (/ hi lo)) (* (/ hi (cbrt lo)) (/ hi lo)) (* (/ hi (sqrt lo)) (/ hi lo)) (pow (/ hi lo) 2) (pow (/ hi lo) 2) (/ (/ hi lo) lo) (* hi (/ hi lo)) (* hi (/ hi lo)) 0 0 0 (* (- (/ hi lo) -1) (/ hi lo)) (* (- (/ hi lo) -1) (/ hi lo)) (* (- (/ hi lo) -1) (/ hi lo)) (pow (/ hi lo) 3) (pow (/ hi lo) 3) (pow (/ hi lo) 3) (pow (/ hi lo) 2) (pow (/ hi lo) 2) (pow (/ hi lo) 2) 7.074 * * * [progress]: adding candidates to table 7.496 * [progress]: [Phase 3 of 3] Extracting. 7.496 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # #) 7.503 * * * [regime-changes]: Trying 3 branch expressions: (x hi lo) 7.503 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # # # #) 7.558 * * * * [regimes]: Trying to branch on hi from (# # # # # # # # # # # # # # #) 7.612 * * * * [regimes]: Trying to branch on lo from (# # # # # # # # # # # # # # #) 7.667 * * * [regime]: Found split indices: #