1553943391.653 * [progress]: [Phase 1 of 3] Setting up. 1553943391.653 * * * [progress]: [1/2] Preparing points 1553943391.706 * * * [progress]: [2/2] Setting up program. 1553943391.711 * [progress]: [Phase 2 of 3] Improving. 1553943391.711 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553943391.712 * [simplify]: Simplifying (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) 1553943391.712 * * [simplify]: iters left: 6 (8 enodes) 1553943391.715 * * [simplify]: iters left: 5 (34 enodes) 1553943391.726 * * [simplify]: iters left: 4 (69 enodes) 1553943391.742 * * [simplify]: iters left: 3 (129 enodes) 1553943391.764 * * [simplify]: iters left: 2 (224 enodes) 1553943391.807 * * [simplify]: iters left: 1 (390 enodes) 1553943391.908 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943391.908 * * [simplify]: Extracting #1: cost 3 inf + 0 1553943391.908 * * [simplify]: Extracting #2: cost 5 inf + 0 1553943391.908 * * [simplify]: Extracting #3: cost 29 inf + 0 1553943391.908 * * [simplify]: Extracting #4: cost 84 inf + 43 1553943391.911 * * [simplify]: Extracting #5: cost 88 inf + 5542 1553943391.917 * * [simplify]: Extracting #6: cost 7 inf + 13905 1553943391.925 * * [simplify]: Extracting #7: cost 0 inf + 14802 1553943391.933 * [simplify]: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1553943391.933 * [simplify]: Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1553943391.946 * * [progress]: iteration 1 / 4 1553943391.947 * * * [progress]: picking best candidate 1553943391.951 * * * * [pick]: Picked # 1553943391.951 * * * [progress]: localizing error 1553943391.982 * * * [progress]: generating rewritten candidates 1553943391.982 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 1553943391.983 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2) 1553943391.991 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 1553943391.995 * * * [progress]: generating series expansions 1553943391.995 * * * * [progress]: [ 1 / 3 ] generating series at (2) 1553943391.995 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1553943391.995 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0 1553943391.995 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 1553943391.995 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 1553943391.995 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 1553943391.996 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1553943391.996 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1553943391.996 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 1553943391.996 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 1553943391.996 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 1553943391.996 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1553943391.997 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1553943391.997 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 1553943391.997 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 1553943391.997 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 1553943391.997 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1553943391.997 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1553943391.997 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 1553943391.997 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 1553943391.998 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 1553943391.998 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1553943391.998 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1553943391.998 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1553943391.998 * [taylor]: Taking taylor expansion of 0 in a 1553943391.998 * [backup-simplify]: Simplify 0 into 0 1553943391.998 * [backup-simplify]: Simplify 0 into 0 1553943391.998 * [backup-simplify]: Simplify 0 into 0 1553943392.000 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1553943392.000 * [taylor]: Taking taylor expansion of 0 in a 1553943392.000 * [backup-simplify]: Simplify 0 into 0 1553943392.000 * [backup-simplify]: Simplify 0 into 0 1553943392.000 * [backup-simplify]: Simplify 0 into 0 1553943392.001 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1553943392.001 * [backup-simplify]: Simplify 0 into 0 1553943392.002 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1553943392.002 * [taylor]: Taking taylor expansion of 0 in a 1553943392.002 * [backup-simplify]: Simplify 0 into 0 1553943392.002 * [backup-simplify]: Simplify 0 into 0 1553943392.002 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1553943392.003 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1553943392.003 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 1553943392.003 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 1553943392.003 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 1553943392.003 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1553943392.003 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1553943392.004 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553943392.004 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 1553943392.004 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 1553943392.004 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1553943392.004 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1553943392.004 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553943392.004 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 1553943392.004 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 1553943392.005 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1553943392.005 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1553943392.005 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553943392.005 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 1553943392.005 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 1553943392.005 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1553943392.006 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1553943392.006 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553943392.006 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1553943392.006 * [taylor]: Taking taylor expansion of 0 in a 1553943392.006 * [backup-simplify]: Simplify 0 into 0 1553943392.006 * [backup-simplify]: Simplify 0 into 0 1553943392.006 * [backup-simplify]: Simplify 0 into 0 1553943392.007 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553943392.008 * [taylor]: Taking taylor expansion of 0 in a 1553943392.008 * [backup-simplify]: Simplify 0 into 0 1553943392.008 * [backup-simplify]: Simplify 0 into 0 1553943392.008 * [backup-simplify]: Simplify 0 into 0 1553943392.009 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553943392.009 * [backup-simplify]: Simplify 0 into 0 1553943392.010 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553943392.010 * [taylor]: Taking taylor expansion of 0 in a 1553943392.010 * [backup-simplify]: Simplify 0 into 0 1553943392.010 * [backup-simplify]: Simplify 0 into 0 1553943392.010 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1553943392.011 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1553943392.011 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 1553943392.011 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 1553943392.011 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 1553943392.011 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1553943392.011 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1553943392.011 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553943392.011 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 1553943392.011 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 1553943392.012 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1553943392.012 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1553943392.012 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553943392.012 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 1553943392.012 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 1553943392.012 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1553943392.013 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1553943392.013 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553943392.013 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 1553943392.013 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 1553943392.013 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1553943392.013 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1553943392.014 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553943392.014 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1553943392.014 * [taylor]: Taking taylor expansion of 0 in a 1553943392.014 * [backup-simplify]: Simplify 0 into 0 1553943392.014 * [backup-simplify]: Simplify 0 into 0 1553943392.014 * [backup-simplify]: Simplify 0 into 0 1553943392.015 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553943392.015 * [taylor]: Taking taylor expansion of 0 in a 1553943392.015 * [backup-simplify]: Simplify 0 into 0 1553943392.015 * [backup-simplify]: Simplify 0 into 0 1553943392.015 * [backup-simplify]: Simplify 0 into 0 1553943392.016 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553943392.016 * [backup-simplify]: Simplify 0 into 0 1553943392.017 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553943392.017 * [taylor]: Taking taylor expansion of 0 in a 1553943392.017 * [backup-simplify]: Simplify 0 into 0 1553943392.017 * [backup-simplify]: Simplify 0 into 0 1553943392.018 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1553943392.018 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2) 1553943392.018 * [backup-simplify]: Simplify (* (/ b a) (/ b a)) into (/ (pow b 2) (pow a 2)) 1553943392.018 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0 1553943392.018 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a 1553943392.018 * [taylor]: Taking taylor expansion of (pow b 2) in a 1553943392.018 * [taylor]: Taking taylor expansion of b in a 1553943392.018 * [backup-simplify]: Simplify b into b 1553943392.018 * [taylor]: Taking taylor expansion of (pow a 2) in a 1553943392.018 * [taylor]: Taking taylor expansion of a in a 1553943392.018 * [backup-simplify]: Simplify 0 into 0 1553943392.018 * [backup-simplify]: Simplify 1 into 1 1553943392.018 * [backup-simplify]: Simplify (* b b) into (pow b 2) 1553943392.019 * [backup-simplify]: Simplify (* 1 1) into 1 1553943392.019 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2) 1553943392.019 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 1553943392.019 * [taylor]: Taking taylor expansion of (pow b 2) in b 1553943392.019 * [taylor]: Taking taylor expansion of b in b 1553943392.019 * [backup-simplify]: Simplify 0 into 0 1553943392.019 * [backup-simplify]: Simplify 1 into 1 1553943392.019 * [taylor]: Taking taylor expansion of (pow a 2) in b 1553943392.019 * [taylor]: Taking taylor expansion of a in b 1553943392.019 * [backup-simplify]: Simplify a into a 1553943392.019 * [backup-simplify]: Simplify (* 1 1) into 1 1553943392.019 * [backup-simplify]: Simplify (* a a) into (pow a 2) 1553943392.019 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1553943392.019 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 1553943392.020 * [taylor]: Taking taylor expansion of (pow b 2) in b 1553943392.020 * [taylor]: Taking taylor expansion of b in b 1553943392.020 * [backup-simplify]: Simplify 0 into 0 1553943392.020 * [backup-simplify]: Simplify 1 into 1 1553943392.020 * [taylor]: Taking taylor expansion of (pow a 2) in b 1553943392.020 * [taylor]: Taking taylor expansion of a in b 1553943392.020 * [backup-simplify]: Simplify a into a 1553943392.020 * [backup-simplify]: Simplify (* 1 1) into 1 1553943392.020 * [backup-simplify]: Simplify (* a a) into (pow a 2) 1553943392.020 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1553943392.020 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1553943392.020 * [taylor]: Taking taylor expansion of (pow a 2) in a 1553943392.020 * [taylor]: Taking taylor expansion of a in a 1553943392.020 * [backup-simplify]: Simplify 0 into 0 1553943392.020 * [backup-simplify]: Simplify 1 into 1 1553943392.021 * [backup-simplify]: Simplify (* 1 1) into 1 1553943392.021 * [backup-simplify]: Simplify (/ 1 1) into 1 1553943392.021 * [backup-simplify]: Simplify 1 into 1 1553943392.022 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553943392.022 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 1553943392.022 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0 1553943392.022 * [taylor]: Taking taylor expansion of 0 in a 1553943392.022 * [backup-simplify]: Simplify 0 into 0 1553943392.023 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553943392.024 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553943392.024 * [backup-simplify]: Simplify 0 into 0 1553943392.025 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553943392.025 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1553943392.026 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 1553943392.026 * [taylor]: Taking taylor expansion of 0 in a 1553943392.026 * [backup-simplify]: Simplify 0 into 0 1553943392.027 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553943392.027 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553943392.028 * [backup-simplify]: Simplify 0 into 0 1553943392.029 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553943392.029 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1553943392.030 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 1553943392.030 * [taylor]: Taking taylor expansion of 0 in a 1553943392.030 * [backup-simplify]: Simplify 0 into 0 1553943392.030 * [backup-simplify]: Simplify 0 into 0 1553943392.031 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553943392.032 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553943392.032 * [backup-simplify]: Simplify 0 into 0 1553943392.033 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553943392.034 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 1553943392.035 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 1553943392.035 * [taylor]: Taking taylor expansion of 0 in a 1553943392.035 * [backup-simplify]: Simplify 0 into 0 1553943392.035 * [backup-simplify]: Simplify 0 into 0 1553943392.035 * [backup-simplify]: Simplify 0 into 0 1553943392.035 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2)) 1553943392.035 * [backup-simplify]: Simplify (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) into (/ (pow a 2) (pow b 2)) 1553943392.035 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 1553943392.035 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 1553943392.035 * [taylor]: Taking taylor expansion of (pow a 2) in a 1553943392.035 * [taylor]: Taking taylor expansion of a in a 1553943392.035 * [backup-simplify]: Simplify 0 into 0 1553943392.035 * [backup-simplify]: Simplify 1 into 1 1553943392.035 * [taylor]: Taking taylor expansion of (pow b 2) in a 1553943392.035 * [taylor]: Taking taylor expansion of b in a 1553943392.035 * [backup-simplify]: Simplify b into b 1553943392.036 * [backup-simplify]: Simplify (* 1 1) into 1 1553943392.036 * [backup-simplify]: Simplify (* b b) into (pow b 2) 1553943392.036 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1553943392.036 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1553943392.036 * [taylor]: Taking taylor expansion of (pow a 2) in b 1553943392.036 * [taylor]: Taking taylor expansion of a in b 1553943392.036 * [backup-simplify]: Simplify a into a 1553943392.036 * [taylor]: Taking taylor expansion of (pow b 2) in b 1553943392.036 * [taylor]: Taking taylor expansion of b in b 1553943392.036 * [backup-simplify]: Simplify 0 into 0 1553943392.036 * [backup-simplify]: Simplify 1 into 1 1553943392.036 * [backup-simplify]: Simplify (* a a) into (pow a 2) 1553943392.037 * [backup-simplify]: Simplify (* 1 1) into 1 1553943392.037 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 1553943392.037 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1553943392.037 * [taylor]: Taking taylor expansion of (pow a 2) in b 1553943392.037 * [taylor]: Taking taylor expansion of a in b 1553943392.037 * [backup-simplify]: Simplify a into a 1553943392.037 * [taylor]: Taking taylor expansion of (pow b 2) in b 1553943392.037 * [taylor]: Taking taylor expansion of b in b 1553943392.037 * [backup-simplify]: Simplify 0 into 0 1553943392.037 * [backup-simplify]: Simplify 1 into 1 1553943392.037 * [backup-simplify]: Simplify (* a a) into (pow a 2) 1553943392.037 * [backup-simplify]: Simplify (* 1 1) into 1 1553943392.037 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 1553943392.037 * [taylor]: Taking taylor expansion of (pow a 2) in a 1553943392.037 * [taylor]: Taking taylor expansion of a in a 1553943392.037 * [backup-simplify]: Simplify 0 into 0 1553943392.038 * [backup-simplify]: Simplify 1 into 1 1553943392.038 * [backup-simplify]: Simplify (* 1 1) into 1 1553943392.038 * [backup-simplify]: Simplify 1 into 1 1553943392.038 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 1553943392.039 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553943392.039 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 1553943392.039 * [taylor]: Taking taylor expansion of 0 in a 1553943392.040 * [backup-simplify]: Simplify 0 into 0 1553943392.040 * [backup-simplify]: Simplify 0 into 0 1553943392.040 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553943392.040 * [backup-simplify]: Simplify 0 into 0 1553943392.041 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1553943392.042 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553943392.043 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553943392.043 * [taylor]: Taking taylor expansion of 0 in a 1553943392.043 * [backup-simplify]: Simplify 0 into 0 1553943392.043 * [backup-simplify]: Simplify 0 into 0 1553943392.043 * [backup-simplify]: Simplify 0 into 0 1553943392.044 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553943392.044 * [backup-simplify]: Simplify 0 into 0 1553943392.045 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1553943392.046 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553943392.048 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553943392.048 * [taylor]: Taking taylor expansion of 0 in a 1553943392.048 * [backup-simplify]: Simplify 0 into 0 1553943392.048 * [backup-simplify]: Simplify 0 into 0 1553943392.048 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2)) 1553943392.048 * [backup-simplify]: Simplify (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2)) 1553943392.048 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 1553943392.048 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 1553943392.048 * [taylor]: Taking taylor expansion of (pow a 2) in a 1553943392.048 * [taylor]: Taking taylor expansion of a in a 1553943392.048 * [backup-simplify]: Simplify 0 into 0 1553943392.048 * [backup-simplify]: Simplify 1 into 1 1553943392.048 * [taylor]: Taking taylor expansion of (pow b 2) in a 1553943392.048 * [taylor]: Taking taylor expansion of b in a 1553943392.048 * [backup-simplify]: Simplify b into b 1553943392.049 * [backup-simplify]: Simplify (* 1 1) into 1 1553943392.049 * [backup-simplify]: Simplify (* b b) into (pow b 2) 1553943392.049 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1553943392.049 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1553943392.049 * [taylor]: Taking taylor expansion of (pow a 2) in b 1553943392.049 * [taylor]: Taking taylor expansion of a in b 1553943392.049 * [backup-simplify]: Simplify a into a 1553943392.049 * [taylor]: Taking taylor expansion of (pow b 2) in b 1553943392.049 * [taylor]: Taking taylor expansion of b in b 1553943392.049 * [backup-simplify]: Simplify 0 into 0 1553943392.049 * [backup-simplify]: Simplify 1 into 1 1553943392.049 * [backup-simplify]: Simplify (* a a) into (pow a 2) 1553943392.050 * [backup-simplify]: Simplify (* 1 1) into 1 1553943392.050 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 1553943392.050 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1553943392.050 * [taylor]: Taking taylor expansion of (pow a 2) in b 1553943392.050 * [taylor]: Taking taylor expansion of a in b 1553943392.050 * [backup-simplify]: Simplify a into a 1553943392.050 * [taylor]: Taking taylor expansion of (pow b 2) in b 1553943392.050 * [taylor]: Taking taylor expansion of b in b 1553943392.050 * [backup-simplify]: Simplify 0 into 0 1553943392.050 * [backup-simplify]: Simplify 1 into 1 1553943392.050 * [backup-simplify]: Simplify (* a a) into (pow a 2) 1553943392.050 * [backup-simplify]: Simplify (* 1 1) into 1 1553943392.050 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 1553943392.051 * [taylor]: Taking taylor expansion of (pow a 2) in a 1553943392.051 * [taylor]: Taking taylor expansion of a in a 1553943392.051 * [backup-simplify]: Simplify 0 into 0 1553943392.051 * [backup-simplify]: Simplify 1 into 1 1553943392.051 * [backup-simplify]: Simplify (* 1 1) into 1 1553943392.051 * [backup-simplify]: Simplify 1 into 1 1553943392.051 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 1553943392.052 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553943392.053 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 1553943392.053 * [taylor]: Taking taylor expansion of 0 in a 1553943392.053 * [backup-simplify]: Simplify 0 into 0 1553943392.053 * [backup-simplify]: Simplify 0 into 0 1553943392.053 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553943392.053 * [backup-simplify]: Simplify 0 into 0 1553943392.054 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1553943392.055 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553943392.056 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553943392.056 * [taylor]: Taking taylor expansion of 0 in a 1553943392.056 * [backup-simplify]: Simplify 0 into 0 1553943392.056 * [backup-simplify]: Simplify 0 into 0 1553943392.056 * [backup-simplify]: Simplify 0 into 0 1553943392.057 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553943392.057 * [backup-simplify]: Simplify 0 into 0 1553943392.058 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1553943392.059 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553943392.060 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553943392.060 * [taylor]: Taking taylor expansion of 0 in a 1553943392.060 * [backup-simplify]: Simplify 0 into 0 1553943392.061 * [backup-simplify]: Simplify 0 into 0 1553943392.061 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2)) 1553943392.061 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 1553943392.061 * [backup-simplify]: Simplify (- 1 (* (/ b a) (/ b a))) into (- 1 (/ (pow b 2) (pow a 2))) 1553943392.061 * [approximate]: Taking taylor expansion of (- 1 (/ (pow b 2) (pow a 2))) in (b a) around 0 1553943392.061 * [taylor]: Taking taylor expansion of (- 1 (/ (pow b 2) (pow a 2))) in a 1553943392.061 * [taylor]: Taking taylor expansion of 1 in a 1553943392.061 * [backup-simplify]: Simplify 1 into 1 1553943392.061 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a 1553943392.061 * [taylor]: Taking taylor expansion of (pow b 2) in a 1553943392.061 * [taylor]: Taking taylor expansion of b in a 1553943392.061 * [backup-simplify]: Simplify b into b 1553943392.061 * [taylor]: Taking taylor expansion of (pow a 2) in a 1553943392.061 * [taylor]: Taking taylor expansion of a in a 1553943392.061 * [backup-simplify]: Simplify 0 into 0 1553943392.061 * [backup-simplify]: Simplify 1 into 1 1553943392.061 * [backup-simplify]: Simplify (* b b) into (pow b 2) 1553943392.062 * [backup-simplify]: Simplify (* 1 1) into 1 1553943392.062 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2) 1553943392.062 * [taylor]: Taking taylor expansion of (- 1 (/ (pow b 2) (pow a 2))) in b 1553943392.062 * [taylor]: Taking taylor expansion of 1 in b 1553943392.062 * [backup-simplify]: Simplify 1 into 1 1553943392.062 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 1553943392.062 * [taylor]: Taking taylor expansion of (pow b 2) in b 1553943392.062 * [taylor]: Taking taylor expansion of b in b 1553943392.062 * [backup-simplify]: Simplify 0 into 0 1553943392.062 * [backup-simplify]: Simplify 1 into 1 1553943392.062 * [taylor]: Taking taylor expansion of (pow a 2) in b 1553943392.062 * [taylor]: Taking taylor expansion of a in b 1553943392.062 * [backup-simplify]: Simplify a into a 1553943392.062 * [backup-simplify]: Simplify (* 1 1) into 1 1553943392.063 * [backup-simplify]: Simplify (* a a) into (pow a 2) 1553943392.063 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1553943392.063 * [taylor]: Taking taylor expansion of (- 1 (/ (pow b 2) (pow a 2))) in b 1553943392.063 * [taylor]: Taking taylor expansion of 1 in b 1553943392.063 * [backup-simplify]: Simplify 1 into 1 1553943392.063 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 1553943392.063 * [taylor]: Taking taylor expansion of (pow b 2) in b 1553943392.063 * [taylor]: Taking taylor expansion of b in b 1553943392.063 * [backup-simplify]: Simplify 0 into 0 1553943392.063 * [backup-simplify]: Simplify 1 into 1 1553943392.063 * [taylor]: Taking taylor expansion of (pow a 2) in b 1553943392.063 * [taylor]: Taking taylor expansion of a in b 1553943392.063 * [backup-simplify]: Simplify a into a 1553943392.063 * [backup-simplify]: Simplify (* 1 1) into 1 1553943392.063 * [backup-simplify]: Simplify (* a a) into (pow a 2) 1553943392.063 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1553943392.064 * [backup-simplify]: Simplify (+ 1 0) into 1 1553943392.064 * [taylor]: Taking taylor expansion of 1 in a 1553943392.064 * [backup-simplify]: Simplify 1 into 1 1553943392.064 * [backup-simplify]: Simplify (+ 0 0) into 0 1553943392.064 * [taylor]: Taking taylor expansion of 0 in a 1553943392.064 * [backup-simplify]: Simplify 0 into 0 1553943392.064 * [backup-simplify]: Simplify (- (/ 1 (pow a 2))) into (- (/ 1 (pow a 2))) 1553943392.065 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow a 2)))) into (- (/ 1 (pow a 2))) 1553943392.065 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2))) in a 1553943392.065 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1553943392.065 * [taylor]: Taking taylor expansion of (pow a 2) in a 1553943392.065 * [taylor]: Taking taylor expansion of a in a 1553943392.065 * [backup-simplify]: Simplify 0 into 0 1553943392.065 * [backup-simplify]: Simplify 1 into 1 1553943392.065 * [backup-simplify]: Simplify (* 1 1) into 1 1553943392.065 * [backup-simplify]: Simplify (/ 1 1) into 1 1553943392.066 * [backup-simplify]: Simplify (- 1) into -1 1553943392.066 * [backup-simplify]: Simplify -1 into -1 1553943392.066 * [backup-simplify]: Simplify 1 into 1 1553943392.066 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553943392.067 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 1553943392.067 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0 1553943392.067 * [backup-simplify]: Simplify (- 0) into 0 1553943392.067 * [backup-simplify]: Simplify (+ 0 0) into 0 1553943392.068 * [taylor]: Taking taylor expansion of 0 in a 1553943392.068 * [backup-simplify]: Simplify 0 into 0 1553943392.068 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553943392.069 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553943392.069 * [backup-simplify]: Simplify (- 0) into 0 1553943392.069 * [backup-simplify]: Simplify 0 into 0 1553943392.069 * [backup-simplify]: Simplify 0 into 0 1553943392.069 * [backup-simplify]: Simplify 0 into 0 1553943392.070 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553943392.071 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1553943392.071 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 1553943392.071 * [backup-simplify]: Simplify (- 0) into 0 1553943392.072 * [backup-simplify]: Simplify (+ 0 0) into 0 1553943392.072 * [taylor]: Taking taylor expansion of 0 in a 1553943392.072 * [backup-simplify]: Simplify 0 into 0 1553943392.072 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553943392.073 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553943392.074 * [backup-simplify]: Simplify (- 0) into 0 1553943392.074 * [backup-simplify]: Simplify 0 into 0 1553943392.074 * [backup-simplify]: Simplify 0 into 0 1553943392.074 * [backup-simplify]: Simplify 0 into 0 1553943392.074 * [backup-simplify]: Simplify (+ 1 (* -1 (pow (* (/ 1 a) b) 2))) into (- 1 (/ (pow b 2) (pow a 2))) 1553943392.074 * [backup-simplify]: Simplify (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a)))) into (- 1 (/ (pow a 2) (pow b 2))) 1553943392.074 * [approximate]: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in (b a) around 0 1553943392.074 * [taylor]: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in a 1553943392.074 * [taylor]: Taking taylor expansion of 1 in a 1553943392.074 * [backup-simplify]: Simplify 1 into 1 1553943392.074 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 1553943392.074 * [taylor]: Taking taylor expansion of (pow a 2) in a 1553943392.074 * [taylor]: Taking taylor expansion of a in a 1553943392.074 * [backup-simplify]: Simplify 0 into 0 1553943392.075 * [backup-simplify]: Simplify 1 into 1 1553943392.075 * [taylor]: Taking taylor expansion of (pow b 2) in a 1553943392.075 * [taylor]: Taking taylor expansion of b in a 1553943392.075 * [backup-simplify]: Simplify b into b 1553943392.075 * [backup-simplify]: Simplify (* 1 1) into 1 1553943392.075 * [backup-simplify]: Simplify (* b b) into (pow b 2) 1553943392.075 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1553943392.075 * [taylor]: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in b 1553943392.075 * [taylor]: Taking taylor expansion of 1 in b 1553943392.075 * [backup-simplify]: Simplify 1 into 1 1553943392.075 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1553943392.075 * [taylor]: Taking taylor expansion of (pow a 2) in b 1553943392.075 * [taylor]: Taking taylor expansion of a in b 1553943392.075 * [backup-simplify]: Simplify a into a 1553943392.075 * [taylor]: Taking taylor expansion of (pow b 2) in b 1553943392.075 * [taylor]: Taking taylor expansion of b in b 1553943392.075 * [backup-simplify]: Simplify 0 into 0 1553943392.075 * [backup-simplify]: Simplify 1 into 1 1553943392.075 * [backup-simplify]: Simplify (* a a) into (pow a 2) 1553943392.076 * [backup-simplify]: Simplify (* 1 1) into 1 1553943392.076 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 1553943392.076 * [taylor]: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in b 1553943392.076 * [taylor]: Taking taylor expansion of 1 in b 1553943392.076 * [backup-simplify]: Simplify 1 into 1 1553943392.076 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1553943392.076 * [taylor]: Taking taylor expansion of (pow a 2) in b 1553943392.076 * [taylor]: Taking taylor expansion of a in b 1553943392.076 * [backup-simplify]: Simplify a into a 1553943392.076 * [taylor]: Taking taylor expansion of (pow b 2) in b 1553943392.076 * [taylor]: Taking taylor expansion of b in b 1553943392.076 * [backup-simplify]: Simplify 0 into 0 1553943392.076 * [backup-simplify]: Simplify 1 into 1 1553943392.076 * [backup-simplify]: Simplify (* a a) into (pow a 2) 1553943392.077 * [backup-simplify]: Simplify (* 1 1) into 1 1553943392.077 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 1553943392.077 * [backup-simplify]: Simplify (- (pow a 2)) into (- (pow a 2)) 1553943392.077 * [backup-simplify]: Simplify (+ 0 (- (pow a 2))) into (- (pow a 2)) 1553943392.077 * [taylor]: Taking taylor expansion of (- (pow a 2)) in a 1553943392.077 * [taylor]: Taking taylor expansion of (pow a 2) in a 1553943392.077 * [taylor]: Taking taylor expansion of a in a 1553943392.077 * [backup-simplify]: Simplify 0 into 0 1553943392.077 * [backup-simplify]: Simplify 1 into 1 1553943392.077 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 1553943392.078 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553943392.079 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 1553943392.079 * [backup-simplify]: Simplify (- 0) into 0 1553943392.079 * [backup-simplify]: Simplify (+ 0 0) into 0 1553943392.079 * [taylor]: Taking taylor expansion of 0 in a 1553943392.079 * [backup-simplify]: Simplify 0 into 0 1553943392.079 * [backup-simplify]: Simplify 0 into 0 1553943392.080 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1553943392.081 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553943392.082 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553943392.082 * [backup-simplify]: Simplify (- 0) into 0 1553943392.083 * [backup-simplify]: Simplify (+ 1 0) into 1 1553943392.083 * [taylor]: Taking taylor expansion of 1 in a 1553943392.083 * [backup-simplify]: Simplify 1 into 1 1553943392.083 * [backup-simplify]: Simplify 1 into 1 1553943392.083 * [backup-simplify]: Simplify 0 into 0 1553943392.083 * [backup-simplify]: Simplify (* 1 1) into 1 1553943392.083 * [backup-simplify]: Simplify (- 1) into -1 1553943392.083 * [backup-simplify]: Simplify -1 into -1 1553943392.084 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1553943392.085 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553943392.087 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553943392.087 * [backup-simplify]: Simplify (- 0) into 0 1553943392.088 * [backup-simplify]: Simplify (+ 0 0) into 0 1553943392.088 * [taylor]: Taking taylor expansion of 0 in a 1553943392.088 * [backup-simplify]: Simplify 0 into 0 1553943392.088 * [backup-simplify]: Simplify 0 into 0 1553943392.088 * [backup-simplify]: Simplify 0 into 0 1553943392.088 * [backup-simplify]: Simplify 0 into 0 1553943392.089 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553943392.089 * [backup-simplify]: Simplify (- 0) into 0 1553943392.089 * [backup-simplify]: Simplify 0 into 0 1553943392.090 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 1553943392.091 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553943392.094 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553943392.094 * [backup-simplify]: Simplify (- 0) into 0 1553943392.094 * [backup-simplify]: Simplify (+ 0 0) into 0 1553943392.094 * [taylor]: Taking taylor expansion of 0 in a 1553943392.095 * [backup-simplify]: Simplify 0 into 0 1553943392.095 * [backup-simplify]: Simplify 0 into 0 1553943392.095 * [backup-simplify]: Simplify 0 into 0 1553943392.095 * [backup-simplify]: Simplify (+ (* -1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) 1) into (- 1 (/ (pow b 2) (pow a 2))) 1553943392.095 * [backup-simplify]: Simplify (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a))))) into (- 1 (/ (pow a 2) (pow b 2))) 1553943392.096 * [approximate]: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in (b a) around 0 1553943392.096 * [taylor]: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in a 1553943392.096 * [taylor]: Taking taylor expansion of 1 in a 1553943392.096 * [backup-simplify]: Simplify 1 into 1 1553943392.096 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 1553943392.096 * [taylor]: Taking taylor expansion of (pow a 2) in a 1553943392.096 * [taylor]: Taking taylor expansion of a in a 1553943392.096 * [backup-simplify]: Simplify 0 into 0 1553943392.096 * [backup-simplify]: Simplify 1 into 1 1553943392.096 * [taylor]: Taking taylor expansion of (pow b 2) in a 1553943392.096 * [taylor]: Taking taylor expansion of b in a 1553943392.096 * [backup-simplify]: Simplify b into b 1553943392.096 * [backup-simplify]: Simplify (* 1 1) into 1 1553943392.096 * [backup-simplify]: Simplify (* b b) into (pow b 2) 1553943392.096 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1553943392.096 * [taylor]: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in b 1553943392.097 * [taylor]: Taking taylor expansion of 1 in b 1553943392.097 * [backup-simplify]: Simplify 1 into 1 1553943392.097 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1553943392.097 * [taylor]: Taking taylor expansion of (pow a 2) in b 1553943392.097 * [taylor]: Taking taylor expansion of a in b 1553943392.097 * [backup-simplify]: Simplify a into a 1553943392.097 * [taylor]: Taking taylor expansion of (pow b 2) in b 1553943392.097 * [taylor]: Taking taylor expansion of b in b 1553943392.097 * [backup-simplify]: Simplify 0 into 0 1553943392.097 * [backup-simplify]: Simplify 1 into 1 1553943392.097 * [backup-simplify]: Simplify (* a a) into (pow a 2) 1553943392.097 * [backup-simplify]: Simplify (* 1 1) into 1 1553943392.098 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 1553943392.098 * [taylor]: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in b 1553943392.098 * [taylor]: Taking taylor expansion of 1 in b 1553943392.098 * [backup-simplify]: Simplify 1 into 1 1553943392.098 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1553943392.098 * [taylor]: Taking taylor expansion of (pow a 2) in b 1553943392.098 * [taylor]: Taking taylor expansion of a in b 1553943392.098 * [backup-simplify]: Simplify a into a 1553943392.098 * [taylor]: Taking taylor expansion of (pow b 2) in b 1553943392.098 * [taylor]: Taking taylor expansion of b in b 1553943392.098 * [backup-simplify]: Simplify 0 into 0 1553943392.098 * [backup-simplify]: Simplify 1 into 1 1553943392.098 * [backup-simplify]: Simplify (* a a) into (pow a 2) 1553943392.098 * [backup-simplify]: Simplify (* 1 1) into 1 1553943392.098 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 1553943392.099 * [backup-simplify]: Simplify (- (pow a 2)) into (- (pow a 2)) 1553943392.099 * [backup-simplify]: Simplify (+ 0 (- (pow a 2))) into (- (pow a 2)) 1553943392.099 * [taylor]: Taking taylor expansion of (- (pow a 2)) in a 1553943392.099 * [taylor]: Taking taylor expansion of (pow a 2) in a 1553943392.099 * [taylor]: Taking taylor expansion of a in a 1553943392.099 * [backup-simplify]: Simplify 0 into 0 1553943392.099 * [backup-simplify]: Simplify 1 into 1 1553943392.099 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 1553943392.100 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553943392.101 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 1553943392.101 * [backup-simplify]: Simplify (- 0) into 0 1553943392.102 * [backup-simplify]: Simplify (+ 0 0) into 0 1553943392.102 * [taylor]: Taking taylor expansion of 0 in a 1553943392.102 * [backup-simplify]: Simplify 0 into 0 1553943392.102 * [backup-simplify]: Simplify 0 into 0 1553943392.103 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1553943392.104 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553943392.106 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553943392.106 * [backup-simplify]: Simplify (- 0) into 0 1553943392.106 * [backup-simplify]: Simplify (+ 1 0) into 1 1553943392.107 * [taylor]: Taking taylor expansion of 1 in a 1553943392.107 * [backup-simplify]: Simplify 1 into 1 1553943392.107 * [backup-simplify]: Simplify 1 into 1 1553943392.107 * [backup-simplify]: Simplify 0 into 0 1553943392.107 * [backup-simplify]: Simplify (* 1 1) into 1 1553943392.107 * [backup-simplify]: Simplify (- 1) into -1 1553943392.107 * [backup-simplify]: Simplify -1 into -1 1553943392.108 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1553943392.109 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553943392.111 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553943392.111 * [backup-simplify]: Simplify (- 0) into 0 1553943392.112 * [backup-simplify]: Simplify (+ 0 0) into 0 1553943392.112 * [taylor]: Taking taylor expansion of 0 in a 1553943392.112 * [backup-simplify]: Simplify 0 into 0 1553943392.112 * [backup-simplify]: Simplify 0 into 0 1553943392.112 * [backup-simplify]: Simplify 0 into 0 1553943392.112 * [backup-simplify]: Simplify 0 into 0 1553943392.113 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553943392.113 * [backup-simplify]: Simplify (- 0) into 0 1553943392.113 * [backup-simplify]: Simplify 0 into 0 1553943392.114 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 1553943392.119 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553943392.122 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553943392.122 * [backup-simplify]: Simplify (- 0) into 0 1553943392.123 * [backup-simplify]: Simplify (+ 0 0) into 0 1553943392.123 * [taylor]: Taking taylor expansion of 0 in a 1553943392.123 * [backup-simplify]: Simplify 0 into 0 1553943392.123 * [backup-simplify]: Simplify 0 into 0 1553943392.123 * [backup-simplify]: Simplify 0 into 0 1553943392.123 * [backup-simplify]: Simplify (+ (* -1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) 1) into (- 1 (/ (pow b 2) (pow a 2))) 1553943392.123 * * * [progress]: simplifying candidates 1553943392.123 * * * * [progress]: [ 1 / 60 ] simplifiying candidate # 1553943392.123 * * * * [progress]: [ 2 / 60 ] simplifiying candidate # 1553943392.123 * * * * [progress]: [ 3 / 60 ] simplifiying candidate # 1553943392.123 * * * * [progress]: [ 4 / 60 ] simplifiying candidate # 1553943392.123 * * * * [progress]: [ 5 / 60 ] simplifiying candidate # 1553943392.124 * * * * [progress]: [ 6 / 60 ] simplifiying candidate # 1553943392.124 * * * * [progress]: [ 7 / 60 ] simplifiying candidate # 1553943392.124 * [simplify]: Simplifying (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))) 1553943392.124 * * [simplify]: iters left: 6 (10 enodes) 1553943392.127 * * [simplify]: iters left: 5 (39 enodes) 1553943392.133 * * [simplify]: iters left: 4 (59 enodes) 1553943392.141 * * [simplify]: iters left: 3 (87 enodes) 1553943392.154 * * [simplify]: iters left: 2 (111 enodes) 1553943392.168 * * [simplify]: iters left: 1 (124 enodes) 1553943392.192 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943392.192 * * [simplify]: Extracting #1: cost 4 inf + 0 1553943392.192 * * [simplify]: Extracting #2: cost 7 inf + 0 1553943392.192 * * [simplify]: Extracting #3: cost 9 inf + 0 1553943392.192 * * [simplify]: Extracting #4: cost 13 inf + 0 1553943392.192 * * [simplify]: Extracting #5: cost 31 inf + 1 1553943392.193 * * [simplify]: Extracting #6: cost 41 inf + 126 1553943392.193 * * [simplify]: Extracting #7: cost 28 inf + 989 1553943392.195 * * [simplify]: Extracting #8: cost 5 inf + 3798 1553943392.197 * * [simplify]: Extracting #9: cost 0 inf + 4851 1553943392.199 * [simplify]: Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1553943392.199 * [simplify]: Simplified (2 1) to (λ (a b) (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))) 1553943392.199 * * * * [progress]: [ 8 / 60 ] simplifiying candidate # 1553943392.200 * [simplify]: Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1553943392.200 * * [simplify]: iters left: 6 (9 enodes) 1553943392.204 * * [simplify]: iters left: 5 (35 enodes) 1553943392.217 * * [simplify]: iters left: 4 (55 enodes) 1553943392.229 * * [simplify]: iters left: 3 (83 enodes) 1553943392.240 * * [simplify]: iters left: 2 (107 enodes) 1553943392.255 * * [simplify]: iters left: 1 (120 enodes) 1553943392.286 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943392.287 * * [simplify]: Extracting #1: cost 3 inf + 0 1553943392.287 * * [simplify]: Extracting #2: cost 5 inf + 0 1553943392.287 * * [simplify]: Extracting #3: cost 7 inf + 0 1553943392.287 * * [simplify]: Extracting #4: cost 11 inf + 0 1553943392.287 * * [simplify]: Extracting #5: cost 29 inf + 1 1553943392.287 * * [simplify]: Extracting #6: cost 40 inf + 44 1553943392.288 * * [simplify]: Extracting #7: cost 23 inf + 1235 1553943392.289 * * [simplify]: Extracting #8: cost 4 inf + 3556 1553943392.291 * * [simplify]: Extracting #9: cost 0 inf + 4125 1553943392.293 * [simplify]: Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1553943392.293 * [simplify]: Simplified (2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) 1553943392.293 * * * * [progress]: [ 9 / 60 ] simplifiying candidate # 1553943392.294 * [simplify]: Simplifying (sqrt 1) 1553943392.294 * * [simplify]: iters left: 1 (2 enodes) 1553943392.297 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943392.297 * * [simplify]: Extracting #1: cost 0 inf + 1 1553943392.297 * [simplify]: Simplified to 1 1553943392.297 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) 1553943392.297 * * * * [progress]: [ 10 / 60 ] simplifiying candidate # 1553943392.297 * * * * [progress]: [ 11 / 60 ] simplifiying candidate # 1553943392.298 * [simplify]: Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1553943392.298 * * [simplify]: iters left: 6 (8 enodes) 1553943392.302 * * [simplify]: iters left: 5 (32 enodes) 1553943392.312 * * [simplify]: iters left: 4 (52 enodes) 1553943392.327 * * [simplify]: iters left: 3 (80 enodes) 1553943392.351 * * [simplify]: iters left: 2 (104 enodes) 1553943392.365 * * [simplify]: iters left: 1 (117 enodes) 1553943392.384 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943392.384 * * [simplify]: Extracting #1: cost 3 inf + 0 1553943392.384 * * [simplify]: Extracting #2: cost 5 inf + 0 1553943392.384 * * [simplify]: Extracting #3: cost 9 inf + 0 1553943392.384 * * [simplify]: Extracting #4: cost 27 inf + 1 1553943392.384 * * [simplify]: Extracting #5: cost 36 inf + 167 1553943392.385 * * [simplify]: Extracting #6: cost 14 inf + 2047 1553943392.387 * * [simplify]: Extracting #7: cost 0 inf + 3639 1553943392.389 * [simplify]: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1553943392.389 * [simplify]: Simplified (2 1) to (λ (a b) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) 1553943392.389 * * * * [progress]: [ 12 / 60 ] simplifiying candidate # 1553943392.389 * * * * [progress]: [ 13 / 60 ] simplifiying candidate #real (real->posit16 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))> 1553943392.389 * * * * [progress]: [ 14 / 60 ] simplifiying candidate # 1553943392.389 * [simplify]: Simplifying (/ b a) 1553943392.389 * * [simplify]: iters left: 2 (3 enodes) 1553943392.391 * * [simplify]: iters left: 1 (9 enodes) 1553943392.393 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943392.393 * * [simplify]: Extracting #1: cost 4 inf + 0 1553943392.393 * * [simplify]: Extracting #2: cost 2 inf + 2 1553943392.393 * * [simplify]: Extracting #3: cost 0 inf + 86 1553943392.393 * [simplify]: Simplified to (/ b a) 1553943392.393 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1)))))) 1553943392.394 * [simplify]: Simplifying (+ 1 1) 1553943392.394 * * [simplify]: iters left: 2 (2 enodes) 1553943392.396 * * [simplify]: iters left: 1 (9 enodes) 1553943392.399 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943392.399 * * [simplify]: Extracting #1: cost 0 inf + 1 1553943392.399 * [simplify]: Simplified to 2 1553943392.399 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) 2))))) 1553943392.399 * * * * [progress]: [ 15 / 60 ] simplifiying candidate # 1553943392.399 * [simplify]: Simplifying (* (/ b a) (/ b a)) 1553943392.400 * * [simplify]: iters left: 4 (4 enodes) 1553943392.401 * * [simplify]: iters left: 3 (16 enodes) 1553943392.406 * * [simplify]: iters left: 2 (24 enodes) 1553943392.411 * * [simplify]: iters left: 1 (36 enodes) 1553943392.415 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943392.415 * * [simplify]: Extracting #1: cost 11 inf + 0 1553943392.416 * * [simplify]: Extracting #2: cost 10 inf + 332 1553943392.416 * * [simplify]: Extracting #3: cost 2 inf + 826 1553943392.416 * * [simplify]: Extracting #4: cost 0 inf + 990 1553943392.416 * [simplify]: Simplified to (* (/ b a) (/ b a)) 1553943392.416 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1))))) 1553943392.416 * * * * [progress]: [ 16 / 60 ] simplifiying candidate # 1553943392.416 * * * * [progress]: [ 17 / 60 ] simplifiying candidate # 1553943392.417 * [simplify]: Simplifying (/ b a) 1553943392.417 * * [simplify]: iters left: 2 (3 enodes) 1553943392.417 * * [simplify]: iters left: 1 (9 enodes) 1553943392.418 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943392.418 * * [simplify]: Extracting #1: cost 4 inf + 0 1553943392.419 * * [simplify]: Extracting #2: cost 2 inf + 2 1553943392.419 * * [simplify]: Extracting #3: cost 0 inf + 86 1553943392.419 * [simplify]: Simplified to (/ b a) 1553943392.419 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1)))))) 1553943392.419 * * * * [progress]: [ 18 / 60 ] simplifiying candidate # 1553943392.419 * * * * [progress]: [ 19 / 60 ] simplifiying candidate # 1553943392.419 * [simplify]: Simplifying (+ (log (/ b a)) (log (/ b a))) 1553943392.419 * * [simplify]: iters left: 5 (5 enodes) 1553943392.420 * * [simplify]: iters left: 4 (18 enodes) 1553943392.423 * * [simplify]: iters left: 3 (28 enodes) 1553943392.426 * * [simplify]: iters left: 2 (48 enodes) 1553943392.434 * * [simplify]: iters left: 1 (82 enodes) 1553943392.447 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943392.447 * * [simplify]: Extracting #1: cost 13 inf + 0 1553943392.447 * * [simplify]: Extracting #2: cost 30 inf + 0 1553943392.447 * * [simplify]: Extracting #3: cost 29 inf + 73 1553943392.447 * * [simplify]: Extracting #4: cost 6 inf + 3238 1553943392.448 * * [simplify]: Extracting #5: cost 0 inf + 4137 1553943392.449 * [simplify]: Simplified to (+ (log (/ b a)) (log (/ b a))) 1553943392.449 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a)))))))) 1553943392.449 * * * * [progress]: [ 20 / 60 ] simplifiying candidate # 1553943392.449 * * * * [progress]: [ 21 / 60 ] simplifiying candidate # 1553943392.449 * * * * [progress]: [ 22 / 60 ] simplifiying candidate # 1553943392.449 * [simplify]: Simplifying (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a))) 1553943392.449 * * [simplify]: iters left: 6 (6 enodes) 1553943392.451 * * [simplify]: iters left: 5 (29 enodes) 1553943392.456 * * [simplify]: iters left: 4 (80 enodes) 1553943392.484 * * [simplify]: iters left: 3 (196 enodes) 1553943392.581 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943392.581 * * [simplify]: Extracting #1: cost 54 inf + 0 1553943392.582 * * [simplify]: Extracting #2: cost 135 inf + 298 1553943392.584 * * [simplify]: Extracting #3: cost 70 inf + 9925 1553943392.593 * * [simplify]: Extracting #4: cost 3 inf + 21366 1553943392.600 * * [simplify]: Extracting #5: cost 0 inf + 21692 1553943392.612 * * [simplify]: Extracting #6: cost 0 inf + 21652 1553943392.619 * [simplify]: Simplified to (* (* (/ b a) (* (/ b a) (/ b a))) (* (/ b a) (* (/ b a) (/ b a)))) 1553943392.619 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (cbrt (* (* (/ b a) (* (/ b a) (/ b a))) (* (/ b a) (* (/ b a) (/ b a))))))))) 1553943392.619 * * * * [progress]: [ 23 / 60 ] simplifiying candidate # 1553943392.619 * * * * [progress]: [ 24 / 60 ] simplifiying candidate # 1553943392.619 * * * * [progress]: [ 25 / 60 ] simplifiying candidate # 1553943392.619 * * * * [progress]: [ 26 / 60 ] simplifiying candidate # 1553943392.619 * [simplify]: Simplifying (* b b) 1553943392.619 * * [simplify]: iters left: 2 (2 enodes) 1553943392.620 * * [simplify]: iters left: 1 (6 enodes) 1553943392.620 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943392.620 * * [simplify]: Extracting #1: cost 3 inf + 0 1553943392.620 * * [simplify]: Extracting #2: cost 2 inf + 1 1553943392.620 * * [simplify]: Extracting #3: cost 0 inf + 83 1553943392.621 * [simplify]: Simplified to (* b b) 1553943392.621 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) 1553943392.621 * [simplify]: Simplifying (* a a) 1553943392.621 * * [simplify]: iters left: 2 (2 enodes) 1553943392.621 * * [simplify]: iters left: 1 (6 enodes) 1553943392.622 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943392.622 * * [simplify]: Extracting #1: cost 3 inf + 0 1553943392.622 * * [simplify]: Extracting #2: cost 2 inf + 1 1553943392.622 * * [simplify]: Extracting #3: cost 0 inf + 83 1553943392.622 * [simplify]: Simplified to (* a a) 1553943392.622 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) 1553943392.622 * * * * [progress]: [ 27 / 60 ] simplifiying candidate # 1553943392.622 * * * * [progress]: [ 28 / 60 ] simplifiying candidate # 1553943392.622 * [simplify]: Simplifying (cbrt (/ b a)) 1553943392.622 * * [simplify]: iters left: 3 (4 enodes) 1553943392.623 * * [simplify]: iters left: 2 (12 enodes) 1553943392.624 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943392.625 * * [simplify]: Extracting #1: cost 3 inf + 0 1553943392.625 * * [simplify]: Extracting #2: cost 6 inf + 0 1553943392.625 * * [simplify]: Extracting #3: cost 4 inf + 2 1553943392.625 * * [simplify]: Extracting #4: cost 0 inf + 330 1553943392.625 * [simplify]: Simplified to (cbrt (/ b a)) 1553943392.625 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a))))))) 1553943392.625 * * * * [progress]: [ 29 / 60 ] simplifiying candidate # 1553943392.625 * [simplify]: Simplifying (sqrt (/ b a)) 1553943392.625 * * [simplify]: iters left: 3 (4 enodes) 1553943392.626 * * [simplify]: iters left: 2 (12 enodes) 1553943392.627 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943392.627 * * [simplify]: Extracting #1: cost 3 inf + 0 1553943392.627 * * [simplify]: Extracting #2: cost 6 inf + 0 1553943392.628 * * [simplify]: Extracting #3: cost 4 inf + 2 1553943392.628 * * [simplify]: Extracting #4: cost 0 inf + 250 1553943392.628 * [simplify]: Simplified to (sqrt (/ b a)) 1553943392.628 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a))))))) 1553943392.628 * * * * [progress]: [ 30 / 60 ] simplifiying candidate # 1553943392.628 * [simplify]: Simplifying (/ b a) 1553943392.628 * * [simplify]: iters left: 2 (3 enodes) 1553943392.629 * * [simplify]: iters left: 1 (9 enodes) 1553943392.630 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943392.630 * * [simplify]: Extracting #1: cost 4 inf + 0 1553943392.630 * * [simplify]: Extracting #2: cost 2 inf + 2 1553943392.630 * * [simplify]: Extracting #3: cost 0 inf + 86 1553943392.630 * [simplify]: Simplified to (/ b a) 1553943392.630 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) 1) (/ b a)))))) 1553943392.630 * * * * [progress]: [ 31 / 60 ] simplifiying candidate # 1553943392.630 * [simplify]: Simplifying (/ 1 a) 1553943392.630 * * [simplify]: iters left: 2 (3 enodes) 1553943392.631 * * [simplify]: iters left: 1 (11 enodes) 1553943392.633 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943392.633 * * [simplify]: Extracting #1: cost 4 inf + 0 1553943392.633 * * [simplify]: Extracting #2: cost 2 inf + 2 1553943392.633 * * [simplify]: Extracting #3: cost 0 inf + 86 1553943392.633 * [simplify]: Simplified to (/ 1 a) 1553943392.633 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) b) (/ 1 a)))))) 1553943392.633 * * * * [progress]: [ 32 / 60 ] simplifiying candidate # 1553943392.634 * [simplify]: Simplifying (* (cbrt (/ b a)) (cbrt (/ b a))) 1553943392.634 * * [simplify]: iters left: 5 (5 enodes) 1553943392.635 * * [simplify]: iters left: 4 (15 enodes) 1553943392.636 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943392.636 * * [simplify]: Extracting #1: cost 3 inf + 0 1553943392.637 * * [simplify]: Extracting #2: cost 5 inf + 0 1553943392.637 * * [simplify]: Extracting #3: cost 8 inf + 0 1553943392.637 * * [simplify]: Extracting #4: cost 6 inf + 2 1553943392.637 * * [simplify]: Extracting #5: cost 0 inf + 654 1553943392.637 * [simplify]: Simplified to (* (cbrt (/ b a)) (cbrt (/ b a))) 1553943392.637 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (cbrt (/ b a)) (/ b a))))))) 1553943392.637 * * * * [progress]: [ 33 / 60 ] simplifiying candidate # 1553943392.637 * [simplify]: Simplifying (sqrt (/ b a)) 1553943392.637 * * [simplify]: iters left: 3 (4 enodes) 1553943392.638 * * [simplify]: iters left: 2 (12 enodes) 1553943392.639 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943392.639 * * [simplify]: Extracting #1: cost 3 inf + 0 1553943392.639 * * [simplify]: Extracting #2: cost 6 inf + 0 1553943392.639 * * [simplify]: Extracting #3: cost 4 inf + 2 1553943392.639 * * [simplify]: Extracting #4: cost 0 inf + 250 1553943392.639 * [simplify]: Simplified to (sqrt (/ b a)) 1553943392.640 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a))))))) 1553943392.640 * * * * [progress]: [ 34 / 60 ] simplifiying candidate # 1553943392.640 * * * * [progress]: [ 35 / 60 ] simplifiying candidate # 1553943392.640 * * * * [progress]: [ 36 / 60 ] simplifiying candidate # 1553943392.640 * * * * [progress]: [ 37 / 60 ] simplifiying candidate # 1553943392.640 * [simplify]: Simplifying (* b (/ b a)) 1553943392.640 * * [simplify]: iters left: 4 (4 enodes) 1553943392.641 * * [simplify]: iters left: 3 (15 enodes) 1553943392.643 * * [simplify]: iters left: 2 (19 enodes) 1553943392.645 * * [simplify]: iters left: 1 (21 enodes) 1553943392.647 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943392.647 * * [simplify]: Extracting #1: cost 7 inf + 0 1553943392.647 * * [simplify]: Extracting #2: cost 8 inf + 2 1553943392.647 * * [simplify]: Extracting #3: cost 1 inf + 374 1553943392.648 * * [simplify]: Extracting #4: cost 0 inf + 416 1553943392.648 * [simplify]: Simplified to (* b (/ b a)) 1553943392.648 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) 1553943392.648 * * * * [progress]: [ 38 / 60 ] simplifiying candidate #real (real->posit16 (* (/ b a) (/ b a))))))))> 1553943392.648 * * * * [progress]: [ 39 / 60 ] simplifiying candidate # 1553943392.648 * * * * [progress]: [ 40 / 60 ] simplifiying candidate # 1553943392.648 * * * * [progress]: [ 41 / 60 ] simplifiying candidate # 1553943392.648 * * * * [progress]: [ 42 / 60 ] simplifiying candidate # 1553943392.648 * * * * [progress]: [ 43 / 60 ] simplifiying candidate # 1553943392.648 * * * * [progress]: [ 44 / 60 ] simplifiying candidate # 1553943392.648 * * * * [progress]: [ 45 / 60 ] simplifiying candidate # 1553943392.648 * * * * [progress]: [ 46 / 60 ] simplifiying candidate # 1553943392.648 * * * * [progress]: [ 47 / 60 ] simplifiying candidate # 1553943392.648 * * * * [progress]: [ 48 / 60 ] simplifiying candidate # 1553943392.648 * * * * [progress]: [ 49 / 60 ] simplifiying candidate # 1553943392.648 * * * * [progress]: [ 50 / 60 ] simplifiying candidate # 1553943392.648 * * * * [progress]: [ 51 / 60 ] simplifiying candidate #real (real->posit16 (- 1 (* (/ b a) (/ b a))))))))> 1553943392.648 * * * * [progress]: [ 52 / 60 ] simplifiying candidate # 1553943392.649 * [simplify]: Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1553943392.649 * * [simplify]: iters left: 6 (10 enodes) 1553943392.651 * * [simplify]: iters left: 5 (36 enodes) 1553943392.660 * * [simplify]: iters left: 4 (49 enodes) 1553943392.674 * * [simplify]: iters left: 3 (77 enodes) 1553943392.701 * * [simplify]: iters left: 2 (111 enodes) 1553943392.717 * * [simplify]: iters left: 1 (125 enodes) 1553943392.732 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943392.732 * * [simplify]: Extracting #1: cost 3 inf + 0 1553943392.732 * * [simplify]: Extracting #2: cost 5 inf + 0 1553943392.732 * * [simplify]: Extracting #3: cost 9 inf + 0 1553943392.732 * * [simplify]: Extracting #4: cost 26 inf + 1 1553943392.733 * * [simplify]: Extracting #5: cost 38 inf + 44 1553943392.733 * * [simplify]: Extracting #6: cost 11 inf + 2539 1553943392.734 * * [simplify]: Extracting #7: cost 0 inf + 3640 1553943392.735 * [simplify]: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1553943392.735 * [simplify]: Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1553943392.735 * * * * [progress]: [ 53 / 60 ] simplifiying candidate # 1553943392.735 * [simplify]: Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1553943392.735 * * [simplify]: iters left: 6 (10 enodes) 1553943392.738 * * [simplify]: iters left: 5 (36 enodes) 1553943392.746 * * [simplify]: iters left: 4 (49 enodes) 1553943392.759 * * [simplify]: iters left: 3 (77 enodes) 1553943392.780 * * [simplify]: iters left: 2 (111 enodes) 1553943392.805 * * [simplify]: iters left: 1 (125 enodes) 1553943392.820 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943392.821 * * [simplify]: Extracting #1: cost 3 inf + 0 1553943392.821 * * [simplify]: Extracting #2: cost 5 inf + 0 1553943392.821 * * [simplify]: Extracting #3: cost 9 inf + 0 1553943392.821 * * [simplify]: Extracting #4: cost 26 inf + 1 1553943392.821 * * [simplify]: Extracting #5: cost 38 inf + 44 1553943392.821 * * [simplify]: Extracting #6: cost 11 inf + 2539 1553943392.822 * * [simplify]: Extracting #7: cost 0 inf + 3640 1553943392.823 * [simplify]: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1553943392.823 * [simplify]: Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1553943392.823 * * * * [progress]: [ 54 / 60 ] simplifiying candidate # 1553943392.823 * [simplify]: Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1553943392.823 * * [simplify]: iters left: 6 (10 enodes) 1553943392.826 * * [simplify]: iters left: 5 (36 enodes) 1553943392.834 * * [simplify]: iters left: 4 (49 enodes) 1553943392.849 * * [simplify]: iters left: 3 (77 enodes) 1553943392.873 * * [simplify]: iters left: 2 (111 enodes) 1553943392.903 * * [simplify]: iters left: 1 (125 enodes) 1553943392.928 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943392.928 * * [simplify]: Extracting #1: cost 3 inf + 0 1553943392.928 * * [simplify]: Extracting #2: cost 5 inf + 0 1553943392.928 * * [simplify]: Extracting #3: cost 9 inf + 0 1553943392.928 * * [simplify]: Extracting #4: cost 26 inf + 1 1553943392.928 * * [simplify]: Extracting #5: cost 38 inf + 44 1553943392.929 * * [simplify]: Extracting #6: cost 11 inf + 2539 1553943392.929 * * [simplify]: Extracting #7: cost 0 inf + 3640 1553943392.930 * [simplify]: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1553943392.930 * [simplify]: Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1553943392.930 * * * * [progress]: [ 55 / 60 ] simplifiying candidate # 1553943392.931 * [simplify]: Simplifying (/ (pow b 2) (pow a 2)) 1553943392.931 * * [simplify]: iters left: 3 (6 enodes) 1553943392.932 * * [simplify]: iters left: 2 (20 enodes) 1553943392.935 * * [simplify]: iters left: 1 (26 enodes) 1553943392.938 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943392.938 * * [simplify]: Extracting #1: cost 12 inf + 0 1553943392.939 * * [simplify]: Extracting #2: cost 16 inf + 43 1553943392.939 * * [simplify]: Extracting #3: cost 2 inf + 867 1553943392.939 * * [simplify]: Extracting #4: cost 0 inf + 1031 1553943392.939 * [simplify]: Simplified to (* (/ b a) (/ b a)) 1553943392.939 * [simplify]: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1553943392.939 * * * * [progress]: [ 56 / 60 ] simplifiying candidate # 1553943392.939 * [simplify]: Simplifying (/ (pow b 2) (pow a 2)) 1553943392.939 * * [simplify]: iters left: 3 (6 enodes) 1553943392.941 * * [simplify]: iters left: 2 (20 enodes) 1553943392.944 * * [simplify]: iters left: 1 (26 enodes) 1553943392.948 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943392.948 * * [simplify]: Extracting #1: cost 12 inf + 0 1553943392.948 * * [simplify]: Extracting #2: cost 16 inf + 43 1553943392.948 * * [simplify]: Extracting #3: cost 2 inf + 867 1553943392.948 * * [simplify]: Extracting #4: cost 0 inf + 1031 1553943392.948 * [simplify]: Simplified to (* (/ b a) (/ b a)) 1553943392.948 * [simplify]: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1553943392.948 * * * * [progress]: [ 57 / 60 ] simplifiying candidate # 1553943392.949 * [simplify]: Simplifying (/ (pow b 2) (pow a 2)) 1553943392.949 * * [simplify]: iters left: 3 (6 enodes) 1553943392.951 * * [simplify]: iters left: 2 (20 enodes) 1553943392.957 * * [simplify]: iters left: 1 (26 enodes) 1553943392.965 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943392.965 * * [simplify]: Extracting #1: cost 12 inf + 0 1553943392.965 * * [simplify]: Extracting #2: cost 16 inf + 43 1553943392.966 * * [simplify]: Extracting #3: cost 2 inf + 867 1553943392.966 * * [simplify]: Extracting #4: cost 0 inf + 1031 1553943392.967 * [simplify]: Simplified to (* (/ b a) (/ b a)) 1553943392.967 * [simplify]: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1553943392.967 * * * * [progress]: [ 58 / 60 ] simplifiying candidate # 1553943392.967 * [simplify]: Simplifying (- 1 (/ (pow b 2) (pow a 2))) 1553943392.967 * * [simplify]: iters left: 5 (8 enodes) 1553943392.972 * * [simplify]: iters left: 4 (30 enodes) 1553943392.981 * * [simplify]: iters left: 3 (43 enodes) 1553943392.994 * * [simplify]: iters left: 2 (71 enodes) 1553943393.006 * * [simplify]: iters left: 1 (105 enodes) 1553943393.022 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943393.022 * * [simplify]: Extracting #1: cost 5 inf + 0 1553943393.022 * * [simplify]: Extracting #2: cost 21 inf + 1 1553943393.023 * * [simplify]: Extracting #3: cost 30 inf + 168 1553943393.023 * * [simplify]: Extracting #4: cost 8 inf + 2051 1553943393.024 * * [simplify]: Extracting #5: cost 0 inf + 2786 1553943393.024 * [simplify]: Simplified to (- 1 (* (/ b a) (/ b a))) 1553943393.024 * [simplify]: Simplified (2 1 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1553943393.024 * * * * [progress]: [ 59 / 60 ] simplifiying candidate # 1553943393.025 * [simplify]: Simplifying (- 1 (/ (pow b 2) (pow a 2))) 1553943393.025 * * [simplify]: iters left: 5 (8 enodes) 1553943393.027 * * [simplify]: iters left: 4 (30 enodes) 1553943393.031 * * [simplify]: iters left: 3 (43 enodes) 1553943393.043 * * [simplify]: iters left: 2 (71 enodes) 1553943393.057 * * [simplify]: iters left: 1 (105 enodes) 1553943393.078 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943393.078 * * [simplify]: Extracting #1: cost 5 inf + 0 1553943393.078 * * [simplify]: Extracting #2: cost 21 inf + 1 1553943393.078 * * [simplify]: Extracting #3: cost 30 inf + 168 1553943393.079 * * [simplify]: Extracting #4: cost 8 inf + 2051 1553943393.081 * * [simplify]: Extracting #5: cost 0 inf + 2786 1553943393.082 * [simplify]: Simplified to (- 1 (* (/ b a) (/ b a))) 1553943393.082 * [simplify]: Simplified (2 1 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1553943393.082 * * * * [progress]: [ 60 / 60 ] simplifiying candidate # 1553943393.082 * [simplify]: Simplifying (- 1 (/ (pow b 2) (pow a 2))) 1553943393.082 * * [simplify]: iters left: 5 (8 enodes) 1553943393.087 * * [simplify]: iters left: 4 (30 enodes) 1553943393.096 * * [simplify]: iters left: 3 (43 enodes) 1553943393.109 * * [simplify]: iters left: 2 (71 enodes) 1553943393.132 * * [simplify]: iters left: 1 (105 enodes) 1553943393.153 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943393.153 * * [simplify]: Extracting #1: cost 5 inf + 0 1553943393.153 * * [simplify]: Extracting #2: cost 21 inf + 1 1553943393.153 * * [simplify]: Extracting #3: cost 30 inf + 168 1553943393.154 * * [simplify]: Extracting #4: cost 8 inf + 2051 1553943393.154 * * [simplify]: Extracting #5: cost 0 inf + 2786 1553943393.155 * [simplify]: Simplified to (- 1 (* (/ b a) (/ b a))) 1553943393.155 * [simplify]: Simplified (2 1 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1553943393.155 * * * [progress]: adding candidates to table 1553943393.676 * [progress]: [Phase 3 of 3] Extracting. 1553943393.681 * [simplify]: Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1553943393.681 * * [simplify]: iters left: 6 (8 enodes) 1553943393.682 * * [simplify]: iters left: 5 (10 enodes) 1553943393.682 * * [simplify]: Extracting #0: cost 1 inf + 0 1553943393.683 * * [simplify]: Extracting #1: cost 2 inf + 0 1553943393.683 * * [simplify]: Extracting #2: cost 3 inf + 0 1553943393.683 * * [simplify]: Extracting #3: cost 5 inf + 0 1553943393.683 * * [simplify]: Extracting #4: cost 5 inf + 1 1553943393.683 * * [simplify]: Extracting #5: cost 7 inf + 1 1553943393.683 * * [simplify]: Extracting #6: cost 0 inf + 616 1553943393.683 * [simplify]: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1553943395.237 * [regime-testing]: Baseline error score: 7.295355910500344 1553943395.238 * [regime-testing]: Oracle error score: 7.295355910500344 1553943395.238 * [regime-testing]: End program error score: 7.295355910500344