0.003 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.023 * * * [progress]: [2/2] Setting up program. 0.025 * [progress]: [Phase 2 of 3] Improving. 0.025 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.025 * [simplify]: Simplifying (* (+ a b) (+ a b)) 0.025 * * [simplify]: iters left: 4 (4 enodes) 0.026 * * [simplify]: iters left: 3 (19 enodes) 0.029 * * [simplify]: iters left: 2 (41 enodes) 0.036 * * [simplify]: iters left: 1 (77 enodes) 0.056 * * [simplify]: Extracting #0: cost 1 inf + 0 0.056 * * [simplify]: Extracting #1: cost 11 inf + 0 0.056 * * [simplify]: Extracting #2: cost 29 inf + 0 0.056 * * [simplify]: Extracting #3: cost 24 inf + 127 0.057 * * [simplify]: Extracting #4: cost 4 inf + 1844 0.058 * * [simplify]: Extracting #5: cost 0 inf + 2332 0.060 * * [simplify]: Extracting #6: cost 0 inf + 2292 0.061 * [simplify]: Simplified to (* (+ b a) (+ b a)) 0.061 * [simplify]: Simplified (2) to (λ (a b) (* (+ b a) (+ b a))) 0.065 * * [progress]: iteration 1 / 4 0.065 * * * [progress]: picking best candidate 0.069 * * * * [pick]: Picked # 0.069 * * * [progress]: localizing error 0.088 * * * [progress]: generating rewritten candidates 0.089 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.119 * * * [progress]: generating series expansions 0.119 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.119 * [backup-simplify]: Simplify (* (+ a b) (+ a b)) into (pow (+ a b) 2) 0.119 * [approximate]: Taking taylor expansion of (pow (+ a b) 2) in (a b) around 0 0.119 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in b 0.119 * [taylor]: Taking taylor expansion of (+ a b) in b 0.119 * [taylor]: Taking taylor expansion of a in b 0.119 * [backup-simplify]: Simplify a into a 0.119 * [taylor]: Taking taylor expansion of b in b 0.119 * [backup-simplify]: Simplify 0 into 0 0.119 * [backup-simplify]: Simplify 1 into 1 0.119 * [backup-simplify]: Simplify (+ a 0) into a 0.119 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a 0.119 * [taylor]: Taking taylor expansion of (+ a b) in a 0.119 * [taylor]: Taking taylor expansion of a in a 0.119 * [backup-simplify]: Simplify 0 into 0 0.119 * [backup-simplify]: Simplify 1 into 1 0.119 * [taylor]: Taking taylor expansion of b in a 0.119 * [backup-simplify]: Simplify b into b 0.119 * [backup-simplify]: Simplify (+ 0 b) into b 0.119 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a 0.119 * [taylor]: Taking taylor expansion of (+ a b) in a 0.119 * [taylor]: Taking taylor expansion of a in a 0.119 * [backup-simplify]: Simplify 0 into 0 0.119 * [backup-simplify]: Simplify 1 into 1 0.119 * [taylor]: Taking taylor expansion of b in a 0.119 * [backup-simplify]: Simplify b into b 0.119 * [backup-simplify]: Simplify (+ 0 b) into b 0.119 * [backup-simplify]: Simplify (* b b) into (pow b 2) 0.119 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.119 * [taylor]: Taking taylor expansion of b in b 0.119 * [backup-simplify]: Simplify 0 into 0 0.120 * [backup-simplify]: Simplify 1 into 1 0.120 * [backup-simplify]: Simplify (+ 1 0) into 1 0.120 * [backup-simplify]: Simplify (+ (* b 1) (* 1 b)) into (* 2 b) 0.120 * [taylor]: Taking taylor expansion of (* 2 b) in b 0.120 * [taylor]: Taking taylor expansion of 2 in b 0.120 * [backup-simplify]: Simplify 2 into 2 0.120 * [taylor]: Taking taylor expansion of b in b 0.120 * [backup-simplify]: Simplify 0 into 0 0.120 * [backup-simplify]: Simplify 1 into 1 0.121 * [backup-simplify]: Simplify (* 2 0) into 0 0.121 * [backup-simplify]: Simplify 0 into 0 0.121 * [backup-simplify]: Simplify (+ 0 0) into 0 0.121 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 1) (* 0 b))) into 1 0.121 * [taylor]: Taking taylor expansion of 1 in b 0.121 * [backup-simplify]: Simplify 1 into 1 0.121 * [backup-simplify]: Simplify 1 into 1 0.122 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 0.122 * [backup-simplify]: Simplify 2 into 2 0.122 * [backup-simplify]: Simplify (* 1 1) into 1 0.122 * [backup-simplify]: Simplify 1 into 1 0.122 * [backup-simplify]: Simplify (+ (* 1 (pow (* b 1) 2)) (+ (* 2 (* b a)) (* 1 (pow (* 1 a) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 0.122 * [backup-simplify]: Simplify (* (+ (/ 1 a) (/ 1 b)) (+ (/ 1 a) (/ 1 b))) into (pow (+ (/ 1 a) (/ 1 b)) 2) 0.122 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in (a b) around 0 0.122 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in b 0.122 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.122 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.122 * [taylor]: Taking taylor expansion of a in b 0.122 * [backup-simplify]: Simplify a into a 0.122 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.122 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.122 * [taylor]: Taking taylor expansion of b in b 0.122 * [backup-simplify]: Simplify 0 into 0 0.122 * [backup-simplify]: Simplify 1 into 1 0.123 * [backup-simplify]: Simplify (/ 1 1) into 1 0.123 * [backup-simplify]: Simplify (+ 0 1) into 1 0.123 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a 0.123 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 0.123 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.123 * [taylor]: Taking taylor expansion of a in a 0.123 * [backup-simplify]: Simplify 0 into 0 0.123 * [backup-simplify]: Simplify 1 into 1 0.123 * [backup-simplify]: Simplify (/ 1 1) into 1 0.123 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.123 * [taylor]: Taking taylor expansion of b in a 0.123 * [backup-simplify]: Simplify b into b 0.123 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.124 * [backup-simplify]: Simplify (+ 1 0) into 1 0.124 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a 0.124 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 0.124 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.124 * [taylor]: Taking taylor expansion of a in a 0.124 * [backup-simplify]: Simplify 0 into 0 0.124 * [backup-simplify]: Simplify 1 into 1 0.124 * [backup-simplify]: Simplify (/ 1 1) into 1 0.124 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.124 * [taylor]: Taking taylor expansion of b in a 0.124 * [backup-simplify]: Simplify b into b 0.124 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.124 * [backup-simplify]: Simplify (+ 1 0) into 1 0.125 * [backup-simplify]: Simplify (* 1 1) into 1 0.125 * [taylor]: Taking taylor expansion of 1 in b 0.125 * [backup-simplify]: Simplify 1 into 1 0.125 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.125 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b) 0.125 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b)) 0.125 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b 0.125 * [taylor]: Taking taylor expansion of 2 in b 0.125 * [backup-simplify]: Simplify 2 into 2 0.125 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.125 * [taylor]: Taking taylor expansion of b in b 0.125 * [backup-simplify]: Simplify 0 into 0 0.125 * [backup-simplify]: Simplify 1 into 1 0.126 * [backup-simplify]: Simplify (/ 1 1) into 1 0.126 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.126 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.126 * [backup-simplify]: Simplify (+ 0 0) into 0 0.127 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2)) 0.127 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.127 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.127 * [taylor]: Taking taylor expansion of b in b 0.127 * [backup-simplify]: Simplify 0 into 0 0.127 * [backup-simplify]: Simplify 1 into 1 0.128 * [backup-simplify]: Simplify (* 1 1) into 1 0.128 * [backup-simplify]: Simplify (/ 1 1) into 1 0.128 * [backup-simplify]: Simplify 1 into 1 0.128 * [backup-simplify]: Simplify (* 2 1) into 2 0.128 * [backup-simplify]: Simplify 2 into 2 0.128 * [backup-simplify]: Simplify 1 into 1 0.129 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (+ (* 2 (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a)))) (* 1 (pow (* (/ 1 (/ 1 b)) 1) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 0.129 * [backup-simplify]: Simplify (* (+ (/ 1 (- a)) (/ 1 (- b))) (+ (/ 1 (- a)) (/ 1 (- b)))) into (pow (+ (/ 1 a) (/ 1 b)) 2) 0.129 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in (a b) around 0 0.129 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in b 0.129 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.129 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.129 * [taylor]: Taking taylor expansion of a in b 0.129 * [backup-simplify]: Simplify a into a 0.129 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.129 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.129 * [taylor]: Taking taylor expansion of b in b 0.129 * [backup-simplify]: Simplify 0 into 0 0.129 * [backup-simplify]: Simplify 1 into 1 0.130 * [backup-simplify]: Simplify (/ 1 1) into 1 0.130 * [backup-simplify]: Simplify (+ 0 1) into 1 0.130 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a 0.130 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 0.130 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.130 * [taylor]: Taking taylor expansion of a in a 0.130 * [backup-simplify]: Simplify 0 into 0 0.130 * [backup-simplify]: Simplify 1 into 1 0.131 * [backup-simplify]: Simplify (/ 1 1) into 1 0.131 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.131 * [taylor]: Taking taylor expansion of b in a 0.131 * [backup-simplify]: Simplify b into b 0.131 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.131 * [backup-simplify]: Simplify (+ 1 0) into 1 0.131 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a 0.131 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 0.131 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.131 * [taylor]: Taking taylor expansion of a in a 0.131 * [backup-simplify]: Simplify 0 into 0 0.132 * [backup-simplify]: Simplify 1 into 1 0.132 * [backup-simplify]: Simplify (/ 1 1) into 1 0.132 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.132 * [taylor]: Taking taylor expansion of b in a 0.132 * [backup-simplify]: Simplify b into b 0.132 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.132 * [backup-simplify]: Simplify (+ 1 0) into 1 0.133 * [backup-simplify]: Simplify (* 1 1) into 1 0.133 * [taylor]: Taking taylor expansion of 1 in b 0.133 * [backup-simplify]: Simplify 1 into 1 0.134 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.134 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b) 0.134 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b)) 0.134 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b 0.134 * [taylor]: Taking taylor expansion of 2 in b 0.134 * [backup-simplify]: Simplify 2 into 2 0.134 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.134 * [taylor]: Taking taylor expansion of b in b 0.134 * [backup-simplify]: Simplify 0 into 0 0.134 * [backup-simplify]: Simplify 1 into 1 0.134 * [backup-simplify]: Simplify (/ 1 1) into 1 0.135 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.135 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.136 * [backup-simplify]: Simplify (+ 0 0) into 0 0.137 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2)) 0.137 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.137 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.137 * [taylor]: Taking taylor expansion of b in b 0.137 * [backup-simplify]: Simplify 0 into 0 0.137 * [backup-simplify]: Simplify 1 into 1 0.137 * [backup-simplify]: Simplify (* 1 1) into 1 0.138 * [backup-simplify]: Simplify (/ 1 1) into 1 0.138 * [backup-simplify]: Simplify 1 into 1 0.138 * [backup-simplify]: Simplify (* 2 1) into 2 0.138 * [backup-simplify]: Simplify 2 into 2 0.138 * [backup-simplify]: Simplify 1 into 1 0.139 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a))))) (* 1 (pow (* (/ 1 (/ 1 (- b))) 1) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 0.139 * * * [progress]: simplifying candidates 0.139 * * * * [progress]: [ 1 / 44 ] simplifiying candidate # 0.139 * [simplify]: Simplifying (+ a b) 0.139 * * [simplify]: iters left: 2 (3 enodes) 0.141 * * [simplify]: iters left: 1 (10 enodes) 0.143 * * [simplify]: Extracting #0: cost 1 inf + 0 0.143 * * [simplify]: Extracting #1: cost 4 inf + 0 0.143 * * [simplify]: Extracting #2: cost 2 inf + 2 0.143 * * [simplify]: Extracting #3: cost 0 inf + 86 0.143 * [simplify]: Simplified to (+ b a) 0.143 * [simplify]: Simplified (2 1) to (λ (a b) (pow (+ b a) (+ 1 1))) 0.144 * [simplify]: Simplifying (+ 1 1) 0.144 * * [simplify]: iters left: 2 (2 enodes) 0.146 * * [simplify]: iters left: 1 (9 enodes) 0.149 * * [simplify]: Extracting #0: cost 1 inf + 0 0.149 * * [simplify]: Extracting #1: cost 0 inf + 1 0.149 * [simplify]: Simplified to 2 0.150 * [simplify]: Simplified (2 2) to (λ (a b) (pow (+ a b) 2)) 0.150 * * * * [progress]: [ 2 / 44 ] simplifiying candidate # 0.150 * [simplify]: Simplifying (* (+ a b) (+ a b)) 0.150 * * [simplify]: iters left: 4 (4 enodes) 0.152 * * [simplify]: iters left: 3 (19 enodes) 0.158 * * [simplify]: iters left: 2 (41 enodes) 0.164 * * [simplify]: iters left: 1 (77 enodes) 0.174 * * [simplify]: Extracting #0: cost 1 inf + 0 0.174 * * [simplify]: Extracting #1: cost 11 inf + 0 0.174 * * [simplify]: Extracting #2: cost 29 inf + 0 0.174 * * [simplify]: Extracting #3: cost 24 inf + 127 0.175 * * [simplify]: Extracting #4: cost 4 inf + 1844 0.175 * * [simplify]: Extracting #5: cost 0 inf + 2332 0.176 * * [simplify]: Extracting #6: cost 0 inf + 2292 0.179 * [simplify]: Simplified to (* (+ b a) (+ b a)) 0.179 * [simplify]: Simplified (2 1) to (λ (a b) (pow (* (+ b a) (+ b a)) 1)) 0.179 * * * * [progress]: [ 3 / 44 ] simplifiying candidate # 0.179 * * * * [progress]: [ 4 / 44 ] simplifiying candidate # 0.179 * [simplify]: Simplifying (+ a b) 0.179 * * [simplify]: iters left: 2 (3 enodes) 0.180 * * [simplify]: iters left: 1 (10 enodes) 0.181 * * [simplify]: Extracting #0: cost 1 inf + 0 0.181 * * [simplify]: Extracting #1: cost 4 inf + 0 0.181 * * [simplify]: Extracting #2: cost 2 inf + 2 0.181 * * [simplify]: Extracting #3: cost 0 inf + 86 0.181 * [simplify]: Simplified to (+ b a) 0.181 * [simplify]: Simplified (2 1) to (λ (a b) (pow (+ b a) (+ 1 1))) 0.181 * * * * [progress]: [ 5 / 44 ] simplifiying candidate # 0.181 * * * * [progress]: [ 6 / 44 ] simplifiying candidate # 0.182 * [simplify]: Simplifying (+ (log (+ a b)) (log (+ a b))) 0.182 * * [simplify]: iters left: 5 (5 enodes) 0.183 * * [simplify]: iters left: 4 (16 enodes) 0.185 * * [simplify]: Extracting #0: cost 1 inf + 0 0.185 * * [simplify]: Extracting #1: cost 3 inf + 0 0.185 * * [simplify]: Extracting #2: cost 5 inf + 0 0.185 * * [simplify]: Extracting #3: cost 8 inf + 0 0.185 * * [simplify]: Extracting #4: cost 6 inf + 2 0.185 * * [simplify]: Extracting #5: cost 0 inf + 614 0.185 * [simplify]: Simplified to (+ (log (+ b a)) (log (+ b a))) 0.185 * [simplify]: Simplified (2 1) to (λ (a b) (exp (+ (log (+ b a)) (log (+ b a))))) 0.185 * * * * [progress]: [ 7 / 44 ] simplifiying candidate # 0.185 * * * * [progress]: [ 8 / 44 ] simplifiying candidate # 0.185 * * * * [progress]: [ 9 / 44 ] simplifiying candidate # 0.186 * [simplify]: Simplifying (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (+ a b) (+ a b)) (+ a b))) 0.186 * * [simplify]: iters left: 6 (6 enodes) 0.187 * * [simplify]: iters left: 5 (38 enodes) 0.200 * * [simplify]: iters left: 4 (186 enodes) 0.314 * * [simplify]: Extracting #0: cost 1 inf + 0 0.314 * * [simplify]: Extracting #1: cost 20 inf + 0 0.314 * * [simplify]: Extracting #2: cost 154 inf + 2 0.317 * * [simplify]: Extracting #3: cost 243 inf + 2399 0.328 * * [simplify]: Extracting #4: cost 86 inf + 28517 0.346 * * [simplify]: Extracting #5: cost 0 inf + 43809 0.368 * [simplify]: Simplified to (* (* (+ b a) (* (+ b a) (+ b a))) (* (+ b a) (* (+ b a) (+ b a)))) 0.368 * [simplify]: Simplified (2 1) to (λ (a b) (cbrt (* (* (+ b a) (* (+ b a) (+ b a))) (* (+ b a) (* (+ b a) (+ b a)))))) 0.368 * * * * [progress]: [ 10 / 44 ] simplifiying candidate # 0.369 * * * * [progress]: [ 11 / 44 ] simplifiying candidate # 0.369 * * * * [progress]: [ 12 / 44 ] simplifiying candidate # 0.369 * * * * [progress]: [ 13 / 44 ] simplifiying candidate # 0.369 * [simplify]: Simplifying (* (+ (pow a 3) (pow b 3)) (+ (pow a 3) (pow b 3))) 0.369 * * [simplify]: iters left: 5 (7 enodes) 0.374 * * [simplify]: iters left: 4 (41 enodes) 0.387 * * [simplify]: iters left: 3 (114 enodes) 0.418 * * [simplify]: iters left: 2 (330 enodes) 0.566 * * [simplify]: Extracting #0: cost 1 inf + 0 0.566 * * [simplify]: Extracting #1: cost 11 inf + 0 0.566 * * [simplify]: Extracting #2: cost 88 inf + 0 0.567 * * [simplify]: Extracting #3: cost 180 inf + 45 0.570 * * [simplify]: Extracting #4: cost 119 inf + 17276 0.583 * * [simplify]: Extracting #5: cost 15 inf + 54302 0.601 * * [simplify]: Extracting #6: cost 0 inf + 57355 0.618 * * [simplify]: Extracting #7: cost 0 inf + 56973 0.635 * [simplify]: Simplified to (* (+ (* (* a a) a) (* b (* b b))) (+ (* (* a a) a) (* b (* b b)))) 0.635 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (+ (* (* a a) a) (* b (* b b))) (+ (* (* a a) a) (* b (* b b)))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b)))))) 0.636 * [simplify]: Simplifying (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b)))) 0.636 * * [simplify]: iters left: 6 (8 enodes) 0.640 * * [simplify]: iters left: 5 (38 enodes) 0.659 * * [simplify]: iters left: 4 (95 enodes) 0.701 * * [simplify]: iters left: 3 (325 enodes) 0.891 * * [simplify]: Extracting #0: cost 1 inf + 0 0.891 * * [simplify]: Extracting #1: cost 30 inf + 0 0.892 * * [simplify]: Extracting #2: cost 176 inf + 0 0.893 * * [simplify]: Extracting #3: cost 205 inf + 3645 0.899 * * [simplify]: Extracting #4: cost 105 inf + 22995 0.911 * * [simplify]: Extracting #5: cost 7 inf + 45867 0.924 * * [simplify]: Extracting #6: cost 0 inf + 47401 0.946 * * [simplify]: Extracting #7: cost 0 inf + 47361 0.973 * [simplify]: Simplified to (* (+ (* a a) (* b (- b a))) (+ (* a a) (* b (- b a)))) 0.973 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (+ (* (* a a) a) (* b (* b b))) (+ (* (* a a) a) (* b (* b b)))) (* (+ (* a a) (* b (- b a))) (+ (* a a) (* b (- b a)))))) 0.973 * * * * [progress]: [ 14 / 44 ] simplifiying candidate # 0.973 * [simplify]: Simplifying (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) 0.973 * * [simplify]: iters left: 6 (10 enodes) 0.980 * * [simplify]: iters left: 5 (48 enodes) 0.999 * * [simplify]: iters left: 4 (102 enodes) 1.032 * * [simplify]: iters left: 3 (288 enodes) 1.176 * * [simplify]: Extracting #0: cost 1 inf + 0 1.176 * * [simplify]: Extracting #1: cost 47 inf + 0 1.177 * * [simplify]: Extracting #2: cost 177 inf + 0 1.179 * * [simplify]: Extracting #3: cost 278 inf + 369 1.184 * * [simplify]: Extracting #4: cost 208 inf + 13178 1.201 * * [simplify]: Extracting #5: cost 50 inf + 51840 1.217 * * [simplify]: Extracting #6: cost 0 inf + 64540 1.232 * [simplify]: Simplified to (* (- (* a a) (* b b)) (+ (* a (* a a)) (* b (* b b)))) 1.232 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (- (* a a) (* b b)) (+ (* a (* a a)) (* b (* b b)))) (* (+ (* a a) (- (* b b) (* a b))) (- a b)))) 1.232 * [simplify]: Simplifying (* (+ (* a a) (- (* b b) (* a b))) (- a b)) 1.232 * * [simplify]: iters left: 6 (9 enodes) 1.234 * * [simplify]: iters left: 5 (38 enodes) 1.240 * * [simplify]: iters left: 4 (75 enodes) 1.254 * * [simplify]: iters left: 3 (184 enodes) 1.330 * * [simplify]: Extracting #0: cost 1 inf + 0 1.330 * * [simplify]: Extracting #1: cost 46 inf + 0 1.330 * * [simplify]: Extracting #2: cost 114 inf + 0 1.331 * * [simplify]: Extracting #3: cost 110 inf + 1429 1.334 * * [simplify]: Extracting #4: cost 35 inf + 12966 1.339 * * [simplify]: Extracting #5: cost 0 inf + 20274 1.344 * * [simplify]: Extracting #6: cost 0 inf + 20194 1.349 * [simplify]: Simplified to (* (- a b) (+ (* (- a b) a) (* b b))) 1.349 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (- (* a a) (* b b)) (+ (* a (* a a)) (* b (* b b)))) (* (- a b) (+ (* (- a b) a) (* b b))))) 1.350 * * * * [progress]: [ 15 / 44 ] simplifiying candidate # 1.350 * [simplify]: Simplifying (* (- (* a a) (* b b)) (+ (pow a 3) (pow b 3))) 1.350 * * [simplify]: iters left: 6 (10 enodes) 1.354 * * [simplify]: iters left: 5 (54 enodes) 1.379 * * [simplify]: iters left: 4 (154 enodes) 1.465 * * [simplify]: Extracting #0: cost 1 inf + 0 1.465 * * [simplify]: Extracting #1: cost 26 inf + 0 1.465 * * [simplify]: Extracting #2: cost 131 inf + 0 1.467 * * [simplify]: Extracting #3: cost 157 inf + 2717 1.473 * * [simplify]: Extracting #4: cost 77 inf + 14838 1.483 * * [simplify]: Extracting #5: cost 22 inf + 28085 1.495 * * [simplify]: Extracting #6: cost 0 inf + 35375 1.507 * [simplify]: Simplified to (* (- (* a a) (* b b)) (+ (* b (* b b)) (* a (* a a)))) 1.507 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (- (* a a) (* b b)) (+ (* b (* b b)) (* a (* a a)))) (* (- a b) (+ (* a a) (- (* b b) (* a b)))))) 1.508 * [simplify]: Simplifying (* (- a b) (+ (* a a) (- (* b b) (* a b)))) 1.508 * * [simplify]: iters left: 6 (9 enodes) 1.512 * * [simplify]: iters left: 5 (44 enodes) 1.528 * * [simplify]: iters left: 4 (109 enodes) 1.558 * * [simplify]: iters left: 3 (298 enodes) 1.674 * * [simplify]: Extracting #0: cost 1 inf + 0 1.674 * * [simplify]: Extracting #1: cost 39 inf + 0 1.674 * * [simplify]: Extracting #2: cost 148 inf + 0 1.675 * * [simplify]: Extracting #3: cost 147 inf + 2505 1.680 * * [simplify]: Extracting #4: cost 34 inf + 22688 1.687 * * [simplify]: Extracting #5: cost 2 inf + 29260 1.695 * * [simplify]: Extracting #6: cost 0 inf + 29373 1.704 * * [simplify]: Extracting #7: cost 0 inf + 29293 1.718 * [simplify]: Simplified to (* (+ (* b b) (* a (- a b))) (- a b)) 1.718 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (- (* a a) (* b b)) (+ (* b (* b b)) (* a (* a a)))) (* (+ (* b b) (* a (- a b))) (- a b)))) 1.719 * * * * [progress]: [ 16 / 44 ] simplifiying candidate # 1.719 * [simplify]: Simplifying (* (- (* a a) (* b b)) (- (* a a) (* b b))) 1.719 * * [simplify]: iters left: 6 (6 enodes) 1.722 * * [simplify]: iters left: 5 (23 enodes) 1.730 * * [simplify]: iters left: 4 (49 enodes) 1.741 * * [simplify]: iters left: 3 (161 enodes) 1.838 * * [simplify]: Extracting #0: cost 1 inf + 0 1.838 * * [simplify]: Extracting #1: cost 43 inf + 0 1.839 * * [simplify]: Extracting #2: cost 161 inf + 0 1.840 * * [simplify]: Extracting #3: cost 180 inf + 1588 1.844 * * [simplify]: Extracting #4: cost 63 inf + 19808 1.854 * * [simplify]: Extracting #5: cost 0 inf + 30333 1.871 * * [simplify]: Extracting #6: cost 0 inf + 30253 1.886 * [simplify]: Simplified to (* (- (* a a) (* b b)) (- (* a a) (* b b))) 1.886 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- a b) (- a b)))) 1.887 * [simplify]: Simplifying (* (- a b) (- a b)) 1.887 * * [simplify]: iters left: 4 (4 enodes) 1.888 * * [simplify]: iters left: 3 (14 enodes) 1.892 * * [simplify]: iters left: 2 (23 enodes) 1.901 * * [simplify]: iters left: 1 (49 enodes) 1.918 * * [simplify]: Extracting #0: cost 1 inf + 0 1.918 * * [simplify]: Extracting #1: cost 17 inf + 0 1.918 * * [simplify]: Extracting #2: cost 32 inf + 0 1.918 * * [simplify]: Extracting #3: cost 30 inf + 43 1.919 * * [simplify]: Extracting #4: cost 7 inf + 2364 1.921 * * [simplify]: Extracting #5: cost 0 inf + 3176 1.922 * [simplify]: Simplified to (* (- a b) (- a b)) 1.922 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- a b) (- a b)))) 1.922 * * * * [progress]: [ 17 / 44 ] simplifiying candidate # 1.923 * * * * [progress]: [ 18 / 44 ] simplifiying candidate # 1.923 * [simplify]: Simplifying (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ a b)) (cbrt (+ a b)))) 1.923 * * [simplify]: iters left: 6 (6 enodes) 1.926 * * [simplify]: iters left: 5 (23 enodes) 1.933 * * [simplify]: iters left: 4 (27 enodes) 1.942 * * [simplify]: iters left: 3 (38 enodes) 1.957 * * [simplify]: iters left: 2 (70 enodes) 1.984 * * [simplify]: iters left: 1 (126 enodes) 2.032 * * [simplify]: Extracting #0: cost 1 inf + 0 2.032 * * [simplify]: Extracting #1: cost 15 inf + 0 2.032 * * [simplify]: Extracting #2: cost 45 inf + 1 2.033 * * [simplify]: Extracting #3: cost 41 inf + 9 2.033 * * [simplify]: Extracting #4: cost 38 inf + 95 2.034 * * [simplify]: Extracting #5: cost 24 inf + 3319 2.036 * * [simplify]: Extracting #6: cost 3 inf + 12560 2.039 * * [simplify]: Extracting #7: cost 0 inf + 14101 2.041 * [simplify]: Simplified to (* (+ b a) (cbrt (+ b a))) 2.041 * [simplify]: Simplified (2 1) to (λ (a b) (* (* (+ b a) (cbrt (+ b a))) (* (cbrt (+ a b)) (cbrt (+ a b))))) 2.042 * [simplify]: Simplifying (* (cbrt (+ a b)) (cbrt (+ a b))) 2.042 * * [simplify]: iters left: 5 (5 enodes) 2.044 * * [simplify]: iters left: 4 (16 enodes) 2.049 * * [simplify]: Extracting #0: cost 1 inf + 0 2.049 * * [simplify]: Extracting #1: cost 3 inf + 0 2.049 * * [simplify]: Extracting #2: cost 5 inf + 0 2.049 * * [simplify]: Extracting #3: cost 8 inf + 0 2.049 * * [simplify]: Extracting #4: cost 6 inf + 2 2.049 * * [simplify]: Extracting #5: cost 0 inf + 654 2.049 * [simplify]: Simplified to (* (cbrt (+ b a)) (cbrt (+ b a))) 2.049 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ a b)) (cbrt (+ a b)))) (* (cbrt (+ b a)) (cbrt (+ b a))))) 2.050 * * * * [progress]: [ 19 / 44 ] simplifiying candidate # 2.050 * [simplify]: Simplifying (* (sqrt (+ a b)) (sqrt (+ a b))) 2.050 * * [simplify]: iters left: 5 (5 enodes) 2.052 * * [simplify]: iters left: 4 (14 enodes) 2.056 * * [simplify]: iters left: 3 (15 enodes) 2.060 * * [simplify]: Extracting #0: cost 1 inf + 0 2.060 * * [simplify]: Extracting #1: cost 5 inf + 0 2.060 * * [simplify]: Extracting #2: cost 4 inf + 2 2.060 * * [simplify]: Extracting #3: cost 3 inf + 44 2.060 * * [simplify]: Extracting #4: cost 0 inf + 250 2.060 * [simplify]: Simplified to (+ b a) 2.060 * [simplify]: Simplified (2 1) to (λ (a b) (* (+ b a) (* (sqrt (+ a b)) (sqrt (+ a b))))) 2.061 * [simplify]: Simplifying (* (sqrt (+ a b)) (sqrt (+ a b))) 2.061 * * [simplify]: iters left: 5 (5 enodes) 2.063 * * [simplify]: iters left: 4 (14 enodes) 2.067 * * [simplify]: iters left: 3 (15 enodes) 2.070 * * [simplify]: Extracting #0: cost 1 inf + 0 2.070 * * [simplify]: Extracting #1: cost 5 inf + 0 2.070 * * [simplify]: Extracting #2: cost 4 inf + 2 2.071 * * [simplify]: Extracting #3: cost 3 inf + 44 2.071 * * [simplify]: Extracting #4: cost 0 inf + 250 2.071 * [simplify]: Simplified to (+ b a) 2.071 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (sqrt (+ a b)) (sqrt (+ a b))) (+ b a))) 2.071 * * * * [progress]: [ 20 / 44 ] simplifiying candidate # 2.072 * [simplify]: Simplifying (* 1 1) 2.072 * * [simplify]: iters left: 2 (2 enodes) 2.073 * * [simplify]: iters left: 1 (6 enodes) 2.076 * * [simplify]: Extracting #0: cost 1 inf + 0 2.076 * * [simplify]: Extracting #1: cost 0 inf + 1 2.076 * [simplify]: Simplified to 1 2.076 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (* (+ a b) (+ a b)))) 2.076 * [simplify]: Simplifying (* (+ a b) (+ a b)) 2.076 * * [simplify]: iters left: 4 (4 enodes) 2.078 * * [simplify]: iters left: 3 (19 enodes) 2.085 * * [simplify]: iters left: 2 (41 enodes) 2.098 * * [simplify]: iters left: 1 (77 enodes) 2.117 * * [simplify]: Extracting #0: cost 1 inf + 0 2.117 * * [simplify]: Extracting #1: cost 11 inf + 0 2.118 * * [simplify]: Extracting #2: cost 29 inf + 0 2.118 * * [simplify]: Extracting #3: cost 24 inf + 127 2.119 * * [simplify]: Extracting #4: cost 4 inf + 1844 2.120 * * [simplify]: Extracting #5: cost 0 inf + 2332 2.121 * * [simplify]: Extracting #6: cost 0 inf + 2292 2.122 * [simplify]: Simplified to (* (+ b a) (+ b a)) 2.122 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (* (+ b a) (+ b a)))) 2.122 * * * * [progress]: [ 21 / 44 ] simplifiying candidate # 2.123 * [simplify]: Simplifying (* 1 1) 2.123 * * [simplify]: iters left: 2 (2 enodes) 2.124 * * [simplify]: iters left: 1 (6 enodes) 2.126 * * [simplify]: Extracting #0: cost 1 inf + 0 2.126 * * [simplify]: Extracting #1: cost 0 inf + 1 2.126 * [simplify]: Simplified to 1 2.126 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (* (+ a b) (+ a b)))) 2.127 * [simplify]: Simplifying (* (+ a b) (+ a b)) 2.127 * * [simplify]: iters left: 4 (4 enodes) 2.129 * * [simplify]: iters left: 3 (19 enodes) 2.136 * * [simplify]: iters left: 2 (41 enodes) 2.149 * * [simplify]: iters left: 1 (77 enodes) 2.173 * * [simplify]: Extracting #0: cost 1 inf + 0 2.173 * * [simplify]: Extracting #1: cost 11 inf + 0 2.173 * * [simplify]: Extracting #2: cost 29 inf + 0 2.173 * * [simplify]: Extracting #3: cost 24 inf + 127 2.174 * * [simplify]: Extracting #4: cost 4 inf + 1844 2.175 * * [simplify]: Extracting #5: cost 0 inf + 2332 2.176 * * [simplify]: Extracting #6: cost 0 inf + 2292 2.177 * [simplify]: Simplified to (* (+ b a) (+ b a)) 2.177 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (* (+ b a) (+ b a)))) 2.177 * * * * [progress]: [ 22 / 44 ] simplifiying candidate # 2.177 * [simplify]: Simplifying (* 1 1) 2.177 * * [simplify]: iters left: 2 (2 enodes) 2.179 * * [simplify]: iters left: 1 (6 enodes) 2.181 * * [simplify]: Extracting #0: cost 1 inf + 0 2.181 * * [simplify]: Extracting #1: cost 0 inf + 1 2.181 * [simplify]: Simplified to 1 2.181 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (* (+ a b) (+ a b)))) 2.181 * [simplify]: Simplifying (* (+ a b) (+ a b)) 2.181 * * [simplify]: iters left: 4 (4 enodes) 2.183 * * [simplify]: iters left: 3 (19 enodes) 2.189 * * [simplify]: iters left: 2 (41 enodes) 2.200 * * [simplify]: iters left: 1 (77 enodes) 2.217 * * [simplify]: Extracting #0: cost 1 inf + 0 2.218 * * [simplify]: Extracting #1: cost 11 inf + 0 2.218 * * [simplify]: Extracting #2: cost 29 inf + 0 2.218 * * [simplify]: Extracting #3: cost 24 inf + 127 2.219 * * [simplify]: Extracting #4: cost 4 inf + 1844 2.220 * * [simplify]: Extracting #5: cost 0 inf + 2332 2.221 * * [simplify]: Extracting #6: cost 0 inf + 2292 2.222 * [simplify]: Simplified to (* (+ b a) (+ b a)) 2.222 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (* (+ b a) (+ b a)))) 2.222 * * * * [progress]: [ 23 / 44 ] simplifiying candidate # 2.222 * [simplify]: Simplifying (* 1 1) 2.222 * * [simplify]: iters left: 2 (2 enodes) 2.223 * * [simplify]: iters left: 1 (6 enodes) 2.225 * * [simplify]: Extracting #0: cost 1 inf + 0 2.225 * * [simplify]: Extracting #1: cost 0 inf + 1 2.225 * [simplify]: Simplified to 1 2.225 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (* (+ a b) (+ a b)))) 2.226 * [simplify]: Simplifying (* (+ a b) (+ a b)) 2.226 * * [simplify]: iters left: 4 (4 enodes) 2.227 * * [simplify]: iters left: 3 (19 enodes) 2.234 * * [simplify]: iters left: 2 (41 enodes) 2.247 * * [simplify]: iters left: 1 (77 enodes) 2.268 * * [simplify]: Extracting #0: cost 1 inf + 0 2.268 * * [simplify]: Extracting #1: cost 11 inf + 0 2.269 * * [simplify]: Extracting #2: cost 29 inf + 0 2.269 * * [simplify]: Extracting #3: cost 24 inf + 127 2.270 * * [simplify]: Extracting #4: cost 4 inf + 1844 2.271 * * [simplify]: Extracting #5: cost 0 inf + 2332 2.272 * * [simplify]: Extracting #6: cost 0 inf + 2292 2.273 * [simplify]: Simplified to (* (+ b a) (+ b a)) 2.273 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (* (+ b a) (+ b a)))) 2.274 * * * * [progress]: [ 24 / 44 ] simplifiying candidate # 2.274 * [simplify]: Simplifying (* (sqrt (+ a b)) (sqrt (+ a b))) 2.274 * * [simplify]: iters left: 5 (5 enodes) 2.276 * * [simplify]: iters left: 4 (14 enodes) 2.280 * * [simplify]: iters left: 3 (15 enodes) 2.284 * * [simplify]: Extracting #0: cost 1 inf + 0 2.284 * * [simplify]: Extracting #1: cost 5 inf + 0 2.284 * * [simplify]: Extracting #2: cost 4 inf + 2 2.284 * * [simplify]: Extracting #3: cost 3 inf + 44 2.284 * * [simplify]: Extracting #4: cost 0 inf + 250 2.284 * [simplify]: Simplified to (+ b a) 2.284 * [simplify]: Simplified (2 1) to (λ (a b) (* (+ b a) (* (sqrt (+ a b)) (sqrt (+ a b))))) 2.285 * [simplify]: Simplifying (* (sqrt (+ a b)) (sqrt (+ a b))) 2.285 * * [simplify]: iters left: 5 (5 enodes) 2.289 * * [simplify]: iters left: 4 (14 enodes) 2.293 * * [simplify]: iters left: 3 (15 enodes) 2.296 * * [simplify]: Extracting #0: cost 1 inf + 0 2.296 * * [simplify]: Extracting #1: cost 5 inf + 0 2.296 * * [simplify]: Extracting #2: cost 4 inf + 2 2.296 * * [simplify]: Extracting #3: cost 3 inf + 44 2.297 * * [simplify]: Extracting #4: cost 0 inf + 250 2.297 * [simplify]: Simplified to (+ b a) 2.297 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (sqrt (+ a b)) (sqrt (+ a b))) (+ b a))) 2.297 * * * * [progress]: [ 25 / 44 ] simplifiying candidate # 2.297 * [simplify]: Simplifying (+ a b) 2.297 * * [simplify]: iters left: 2 (3 enodes) 2.299 * * [simplify]: iters left: 1 (10 enodes) 2.301 * * [simplify]: Extracting #0: cost 1 inf + 0 2.301 * * [simplify]: Extracting #1: cost 4 inf + 0 2.301 * * [simplify]: Extracting #2: cost 2 inf + 2 2.301 * * [simplify]: Extracting #3: cost 0 inf + 86 2.301 * [simplify]: Simplified to (+ b a) 2.301 * [simplify]: Simplified (2 1) to (λ (a b) (pow (+ b a) (* 2 1))) 2.302 * [simplify]: Simplifying (* 2 1) 2.302 * * [simplify]: iters left: 2 (3 enodes) 2.304 * * [simplify]: iters left: 1 (9 enodes) 2.307 * * [simplify]: Extracting #0: cost 1 inf + 0 2.307 * * [simplify]: Extracting #1: cost 0 inf + 1 2.307 * [simplify]: Simplified to 2 2.307 * [simplify]: Simplified (2 2) to (λ (a b) (pow (+ a b) 2)) 2.307 * * * * [progress]: [ 26 / 44 ] simplifiying candidate # 2.308 * [simplify]: Simplifying (* (+ a b) b) 2.308 * * [simplify]: iters left: 4 (4 enodes) 2.309 * * [simplify]: iters left: 3 (14 enodes) 2.313 * * [simplify]: iters left: 2 (21 enodes) 2.320 * * [simplify]: iters left: 1 (27 enodes) 2.325 * * [simplify]: Extracting #0: cost 1 inf + 0 2.326 * * [simplify]: Extracting #1: cost 6 inf + 0 2.326 * * [simplify]: Extracting #2: cost 8 inf + 42 2.326 * * [simplify]: Extracting #3: cost 6 inf + 84 2.326 * * [simplify]: Extracting #4: cost 0 inf + 416 2.326 * [simplify]: Simplified to (* (+ b a) b) 2.326 * [simplify]: Simplified (2 2) to (λ (a b) (+ (* (+ a b) a) (* (+ b a) b))) 2.326 * * * * [progress]: [ 27 / 44 ] simplifiying candidate # 2.327 * [simplify]: Simplifying (* b (+ a b)) 2.327 * * [simplify]: iters left: 4 (4 enodes) 2.329 * * [simplify]: iters left: 3 (19 enodes) 2.333 * * [simplify]: iters left: 2 (27 enodes) 2.336 * * [simplify]: Extracting #0: cost 1 inf + 0 2.336 * * [simplify]: Extracting #1: cost 6 inf + 0 2.337 * * [simplify]: Extracting #2: cost 9 inf + 1 2.337 * * [simplify]: Extracting #3: cost 0 inf + 416 2.337 * [simplify]: Simplified to (* b (+ a b)) 2.337 * [simplify]: Simplified (2 2) to (λ (a b) (+ (* a (+ a b)) (* b (+ a b)))) 2.337 * * * * [progress]: [ 28 / 44 ] simplifiying candidate # 2.337 * [simplify]: Simplifying (cbrt (+ a b)) 2.337 * * [simplify]: iters left: 3 (4 enodes) 2.338 * * [simplify]: iters left: 2 (13 enodes) 2.340 * * [simplify]: Extracting #0: cost 1 inf + 0 2.340 * * [simplify]: Extracting #1: cost 3 inf + 0 2.340 * * [simplify]: Extracting #2: cost 6 inf + 0 2.340 * * [simplify]: Extracting #3: cost 4 inf + 2 2.340 * * [simplify]: Extracting #4: cost 0 inf + 330 2.340 * [simplify]: Simplified to (cbrt (+ b a)) 2.340 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (+ a b) (* (cbrt (+ a b)) (cbrt (+ a b)))) (cbrt (+ b a)))) 2.340 * * * * [progress]: [ 29 / 44 ] simplifiying candidate # 2.340 * [simplify]: Simplifying (sqrt (+ a b)) 2.340 * * [simplify]: iters left: 3 (4 enodes) 2.341 * * [simplify]: iters left: 2 (13 enodes) 2.343 * * [simplify]: Extracting #0: cost 1 inf + 0 2.343 * * [simplify]: Extracting #1: cost 3 inf + 0 2.343 * * [simplify]: Extracting #2: cost 6 inf + 0 2.343 * * [simplify]: Extracting #3: cost 4 inf + 2 2.343 * * [simplify]: Extracting #4: cost 0 inf + 250 2.343 * [simplify]: Simplified to (sqrt (+ b a)) 2.343 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (+ a b) (sqrt (+ a b))) (sqrt (+ b a)))) 2.343 * * * * [progress]: [ 30 / 44 ] simplifiying candidate # 2.343 * [simplify]: Simplifying (+ a b) 2.343 * * [simplify]: iters left: 2 (3 enodes) 2.344 * * [simplify]: iters left: 1 (10 enodes) 2.345 * * [simplify]: Extracting #0: cost 1 inf + 0 2.345 * * [simplify]: Extracting #1: cost 4 inf + 0 2.345 * * [simplify]: Extracting #2: cost 2 inf + 2 2.345 * * [simplify]: Extracting #3: cost 0 inf + 86 2.345 * [simplify]: Simplified to (+ b a) 2.345 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (+ a b) 1) (+ b a))) 2.345 * * * * [progress]: [ 31 / 44 ] simplifiying candidate # 2.346 * [simplify]: Simplifying (+ a b) 2.346 * * [simplify]: iters left: 2 (3 enodes) 2.346 * * [simplify]: iters left: 1 (10 enodes) 2.347 * * [simplify]: Extracting #0: cost 1 inf + 0 2.348 * * [simplify]: Extracting #1: cost 4 inf + 0 2.348 * * [simplify]: Extracting #2: cost 2 inf + 2 2.348 * * [simplify]: Extracting #3: cost 0 inf + 86 2.348 * [simplify]: Simplified to (+ b a) 2.348 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (+ a b) 1) (+ b a))) 2.348 * * * * [progress]: [ 32 / 44 ] simplifiying candidate # 2.348 * [simplify]: Simplifying (* (cbrt (+ a b)) (cbrt (+ a b))) 2.348 * * [simplify]: iters left: 5 (5 enodes) 2.349 * * [simplify]: iters left: 4 (16 enodes) 2.351 * * [simplify]: Extracting #0: cost 1 inf + 0 2.351 * * [simplify]: Extracting #1: cost 3 inf + 0 2.351 * * [simplify]: Extracting #2: cost 5 inf + 0 2.351 * * [simplify]: Extracting #3: cost 8 inf + 0 2.351 * * [simplify]: Extracting #4: cost 6 inf + 2 2.351 * * [simplify]: Extracting #5: cost 0 inf + 654 2.352 * [simplify]: Simplified to (* (cbrt (+ b a)) (cbrt (+ b a))) 2.352 * [simplify]: Simplified (2 1) to (λ (a b) (* (* (cbrt (+ b a)) (cbrt (+ b a))) (* (cbrt (+ a b)) (+ a b)))) 2.352 * * * * [progress]: [ 33 / 44 ] simplifiying candidate # 2.352 * [simplify]: Simplifying (sqrt (+ a b)) 2.352 * * [simplify]: iters left: 3 (4 enodes) 2.353 * * [simplify]: iters left: 2 (13 enodes) 2.354 * * [simplify]: Extracting #0: cost 1 inf + 0 2.354 * * [simplify]: Extracting #1: cost 3 inf + 0 2.354 * * [simplify]: Extracting #2: cost 6 inf + 0 2.354 * * [simplify]: Extracting #3: cost 4 inf + 2 2.354 * * [simplify]: Extracting #4: cost 0 inf + 250 2.355 * [simplify]: Simplified to (sqrt (+ b a)) 2.355 * [simplify]: Simplified (2 1) to (λ (a b) (* (sqrt (+ b a)) (* (sqrt (+ a b)) (+ a b)))) 2.355 * * * * [progress]: [ 34 / 44 ] simplifiying candidate # 2.355 * * * * [progress]: [ 35 / 44 ] simplifiying candidate # 2.355 * * * * [progress]: [ 36 / 44 ] simplifiying candidate # 2.355 * [simplify]: Simplifying (+ (* a a) (- (* b b) (* a b))) 2.355 * * [simplify]: iters left: 6 (7 enodes) 2.357 * * [simplify]: iters left: 5 (29 enodes) 2.361 * * [simplify]: iters left: 4 (50 enodes) 2.374 * * [simplify]: iters left: 3 (69 enodes) 2.394 * * [simplify]: iters left: 2 (85 enodes) 2.420 * * [simplify]: iters left: 1 (105 enodes) 2.446 * * [simplify]: Extracting #0: cost 1 inf + 0 2.446 * * [simplify]: Extracting #1: cost 13 inf + 0 2.446 * * [simplify]: Extracting #2: cost 33 inf + 0 2.446 * * [simplify]: Extracting #3: cost 24 inf + 779 2.447 * * [simplify]: Extracting #4: cost 4 inf + 2455 2.447 * * [simplify]: Extracting #5: cost 0 inf + 2702 2.448 * [simplify]: Simplified to (+ (* a (- a b)) (* b b)) 2.448 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (+ a b) (+ (pow a 3) (pow b 3))) (+ (* a (- a b)) (* b b)))) 2.448 * * * * [progress]: [ 37 / 44 ] simplifiying candidate # 2.449 * [simplify]: Simplifying (- a b) 2.449 * * [simplify]: iters left: 2 (3 enodes) 2.449 * * [simplify]: iters left: 1 (11 enodes) 2.451 * * [simplify]: Extracting #0: cost 1 inf + 0 2.451 * * [simplify]: Extracting #1: cost 5 inf + 0 2.451 * * [simplify]: Extracting #2: cost 3 inf + 43 2.451 * * [simplify]: Extracting #3: cost 0 inf + 168 2.451 * [simplify]: Simplified to (- a b) 2.451 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (+ a b) (- (* a a) (* b b))) (- a b))) 2.451 * * * * [progress]: [ 38 / 44 ] simplifiying candidate # 2.451 * [simplify]: Simplifying (* (+ (pow a 3) (pow b 3)) (+ a b)) 2.451 * * [simplify]: iters left: 5 (8 enodes) 2.454 * * [simplify]: iters left: 4 (46 enodes) 2.466 * * [simplify]: iters left: 3 (107 enodes) 2.515 * * [simplify]: iters left: 2 (277 enodes) 2.625 * * [simplify]: Extracting #0: cost 1 inf + 0 2.625 * * [simplify]: Extracting #1: cost 23 inf + 0 2.625 * * [simplify]: Extracting #2: cost 94 inf + 0 2.625 * * [simplify]: Extracting #3: cost 134 inf + 340 2.627 * * [simplify]: Extracting #4: cost 72 inf + 13036 2.631 * * [simplify]: Extracting #5: cost 13 inf + 29899 2.639 * * [simplify]: Extracting #6: cost 2 inf + 33033 2.643 * * [simplify]: Extracting #7: cost 0 inf + 33457 2.652 * [simplify]: Simplified to (* (+ (* a (* a a)) (* (* b b) b)) (+ b a)) 2.652 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (+ (* a (* a a)) (* (* b b) b)) (+ b a)) (+ (* a a) (- (* b b) (* a b))))) 2.652 * * * * [progress]: [ 39 / 44 ] simplifiying candidate # 2.653 * [simplify]: Simplifying (* (- (* a a) (* b b)) (+ a b)) 2.653 * * [simplify]: iters left: 6 (7 enodes) 2.656 * * [simplify]: iters left: 5 (33 enodes) 2.668 * * [simplify]: iters left: 4 (82 enodes) 2.703 * * [simplify]: iters left: 3 (222 enodes) 2.810 * * [simplify]: Extracting #0: cost 1 inf + 0 2.810 * * [simplify]: Extracting #1: cost 31 inf + 0 2.810 * * [simplify]: Extracting #2: cost 118 inf + 0 2.811 * * [simplify]: Extracting #3: cost 113 inf + 1269 2.814 * * [simplify]: Extracting #4: cost 24 inf + 14757 2.818 * * [simplify]: Extracting #5: cost 0 inf + 19213 2.823 * [simplify]: Simplified to (* (* (+ a b) (+ a b)) (- a b)) 2.823 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (* (+ a b) (+ a b)) (- a b)) (- a b))) 2.823 * * * * [progress]: [ 40 / 44 ] simplifiying candidate #real (real->posit16 (* (+ a b) (+ a b)))))> 2.823 * * * * [progress]: [ 41 / 44 ] simplifiying candidate # 2.823 * * * * [progress]: [ 42 / 44 ] simplifiying candidate # 2.823 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 2.823 * * [simplify]: iters left: 6 (9 enodes) 2.826 * * [simplify]: iters left: 5 (43 enodes) 2.834 * * [simplify]: iters left: 4 (67 enodes) 2.855 * * [simplify]: iters left: 3 (96 enodes) 2.885 * * [simplify]: iters left: 2 (117 enodes) 2.912 * * [simplify]: Extracting #0: cost 1 inf + 0 2.912 * * [simplify]: Extracting #1: cost 8 inf + 0 2.912 * * [simplify]: Extracting #2: cost 23 inf + 0 2.912 * * [simplify]: Extracting #3: cost 22 inf + 253 2.913 * * [simplify]: Extracting #4: cost 6 inf + 1610 2.913 * * [simplify]: Extracting #5: cost 0 inf + 2225 2.914 * [simplify]: Simplified to (+ (* b (+ (* a 2) b)) (* a a)) 2.914 * [simplify]: Simplified (2) to (λ (a b) (+ (* b (+ (* a 2) b)) (* a a))) 2.914 * * * * [progress]: [ 43 / 44 ] simplifiying candidate # 2.914 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 2.914 * * [simplify]: iters left: 6 (9 enodes) 2.917 * * [simplify]: iters left: 5 (43 enodes) 2.925 * * [simplify]: iters left: 4 (67 enodes) 2.936 * * [simplify]: iters left: 3 (96 enodes) 2.957 * * [simplify]: iters left: 2 (117 enodes) 2.972 * * [simplify]: Extracting #0: cost 1 inf + 0 2.972 * * [simplify]: Extracting #1: cost 8 inf + 0 2.973 * * [simplify]: Extracting #2: cost 23 inf + 0 2.973 * * [simplify]: Extracting #3: cost 22 inf + 253 2.973 * * [simplify]: Extracting #4: cost 6 inf + 1610 2.974 * * [simplify]: Extracting #5: cost 0 inf + 2225 2.974 * [simplify]: Simplified to (+ (* b (+ (* a 2) b)) (* a a)) 2.974 * [simplify]: Simplified (2) to (λ (a b) (+ (* b (+ (* a 2) b)) (* a a))) 2.974 * * * * [progress]: [ 44 / 44 ] simplifiying candidate # 2.975 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 2.975 * * [simplify]: iters left: 6 (9 enodes) 2.978 * * [simplify]: iters left: 5 (43 enodes) 2.985 * * [simplify]: iters left: 4 (67 enodes) 3.006 * * [simplify]: iters left: 3 (96 enodes) 3.030 * * [simplify]: iters left: 2 (117 enodes) 3.057 * * [simplify]: Extracting #0: cost 1 inf + 0 3.057 * * [simplify]: Extracting #1: cost 8 inf + 0 3.057 * * [simplify]: Extracting #2: cost 23 inf + 0 3.057 * * [simplify]: Extracting #3: cost 22 inf + 253 3.058 * * [simplify]: Extracting #4: cost 6 inf + 1610 3.059 * * [simplify]: Extracting #5: cost 0 inf + 2225 3.060 * [simplify]: Simplified to (+ (* b (+ (* a 2) b)) (* a a)) 3.060 * [simplify]: Simplified (2) to (λ (a b) (+ (* b (+ (* a 2) b)) (* a a))) 3.060 * * * [progress]: adding candidates to table 3.366 * * [progress]: iteration 2 / 4 3.366 * * * [progress]: picking best candidate 3.371 * * * * [pick]: Picked # 3.371 * * * [progress]: localizing error 3.393 * * * [progress]: generating rewritten candidates 3.393 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 3.421 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 3.434 * * * [progress]: generating series expansions 3.434 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 3.434 * [backup-simplify]: Simplify (* b (+ a b)) into (* (+ a b) b) 3.434 * [approximate]: Taking taylor expansion of (* (+ a b) b) in (b a) around 0 3.434 * [taylor]: Taking taylor expansion of (* (+ a b) b) in a 3.434 * [taylor]: Taking taylor expansion of (+ a b) in a 3.434 * [taylor]: Taking taylor expansion of a in a 3.434 * [backup-simplify]: Simplify 0 into 0 3.434 * [backup-simplify]: Simplify 1 into 1 3.434 * [taylor]: Taking taylor expansion of b in a 3.434 * [backup-simplify]: Simplify b into b 3.434 * [taylor]: Taking taylor expansion of b in a 3.434 * [backup-simplify]: Simplify b into b 3.434 * [taylor]: Taking taylor expansion of (* (+ a b) b) in b 3.434 * [taylor]: Taking taylor expansion of (+ a b) in b 3.434 * [taylor]: Taking taylor expansion of a in b 3.434 * [backup-simplify]: Simplify a into a 3.434 * [taylor]: Taking taylor expansion of b in b 3.434 * [backup-simplify]: Simplify 0 into 0 3.435 * [backup-simplify]: Simplify 1 into 1 3.435 * [taylor]: Taking taylor expansion of b in b 3.435 * [backup-simplify]: Simplify 0 into 0 3.435 * [backup-simplify]: Simplify 1 into 1 3.435 * [taylor]: Taking taylor expansion of (* (+ a b) b) in b 3.435 * [taylor]: Taking taylor expansion of (+ a b) in b 3.435 * [taylor]: Taking taylor expansion of a in b 3.435 * [backup-simplify]: Simplify a into a 3.435 * [taylor]: Taking taylor expansion of b in b 3.435 * [backup-simplify]: Simplify 0 into 0 3.435 * [backup-simplify]: Simplify 1 into 1 3.435 * [taylor]: Taking taylor expansion of b in b 3.435 * [backup-simplify]: Simplify 0 into 0 3.435 * [backup-simplify]: Simplify 1 into 1 3.435 * [backup-simplify]: Simplify (+ a 0) into a 3.435 * [backup-simplify]: Simplify (* a 0) into 0 3.435 * [taylor]: Taking taylor expansion of 0 in a 3.435 * [backup-simplify]: Simplify 0 into 0 3.435 * [backup-simplify]: Simplify 0 into 0 3.435 * [backup-simplify]: Simplify (+ 0 1) into 1 3.436 * [backup-simplify]: Simplify (+ (* a 1) (* 1 0)) into a 3.436 * [taylor]: Taking taylor expansion of a in a 3.436 * [backup-simplify]: Simplify 0 into 0 3.436 * [backup-simplify]: Simplify 1 into 1 3.436 * [backup-simplify]: Simplify 0 into 0 3.436 * [backup-simplify]: Simplify 0 into 0 3.436 * [backup-simplify]: Simplify (+ 0 0) into 0 3.437 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 1 1) (* 0 0))) into 1 3.437 * [taylor]: Taking taylor expansion of 1 in a 3.437 * [backup-simplify]: Simplify 1 into 1 3.437 * [backup-simplify]: Simplify 1 into 1 3.437 * [backup-simplify]: Simplify 1 into 1 3.437 * [backup-simplify]: Simplify 0 into 0 3.437 * [backup-simplify]: Simplify (+ 0 0) into 0 3.438 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 3.438 * [taylor]: Taking taylor expansion of 0 in a 3.438 * [backup-simplify]: Simplify 0 into 0 3.438 * [backup-simplify]: Simplify 0 into 0 3.438 * [backup-simplify]: Simplify 0 into 0 3.438 * [backup-simplify]: Simplify 0 into 0 3.438 * [backup-simplify]: Simplify 0 into 0 3.438 * [backup-simplify]: Simplify (+ 0 0) into 0 3.439 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 3.439 * [taylor]: Taking taylor expansion of 0 in a 3.439 * [backup-simplify]: Simplify 0 into 0 3.439 * [backup-simplify]: Simplify 0 into 0 3.439 * [backup-simplify]: Simplify (+ (* 1 (* a b)) (* 1 (pow (* 1 b) 2))) into (+ (pow b 2) (* a b)) 3.439 * [backup-simplify]: Simplify (* (/ 1 b) (+ (/ 1 a) (/ 1 b))) into (/ (+ (/ 1 a) (/ 1 b)) b) 3.439 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in (b a) around 0 3.439 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in a 3.439 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 3.439 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.439 * [taylor]: Taking taylor expansion of a in a 3.439 * [backup-simplify]: Simplify 0 into 0 3.439 * [backup-simplify]: Simplify 1 into 1 3.440 * [backup-simplify]: Simplify (/ 1 1) into 1 3.440 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.440 * [taylor]: Taking taylor expansion of b in a 3.440 * [backup-simplify]: Simplify b into b 3.440 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.440 * [taylor]: Taking taylor expansion of b in a 3.440 * [backup-simplify]: Simplify b into b 3.440 * [backup-simplify]: Simplify (+ 1 0) into 1 3.440 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.440 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in b 3.440 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 3.440 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.440 * [taylor]: Taking taylor expansion of a in b 3.440 * [backup-simplify]: Simplify a into a 3.440 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.440 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.440 * [taylor]: Taking taylor expansion of b in b 3.440 * [backup-simplify]: Simplify 0 into 0 3.440 * [backup-simplify]: Simplify 1 into 1 3.441 * [backup-simplify]: Simplify (/ 1 1) into 1 3.441 * [taylor]: Taking taylor expansion of b in b 3.441 * [backup-simplify]: Simplify 0 into 0 3.441 * [backup-simplify]: Simplify 1 into 1 3.441 * [backup-simplify]: Simplify (+ 0 1) into 1 3.442 * [backup-simplify]: Simplify (/ 1 1) into 1 3.442 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in b 3.442 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 3.442 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.442 * [taylor]: Taking taylor expansion of a in b 3.442 * [backup-simplify]: Simplify a into a 3.442 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.442 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.442 * [taylor]: Taking taylor expansion of b in b 3.442 * [backup-simplify]: Simplify 0 into 0 3.442 * [backup-simplify]: Simplify 1 into 1 3.442 * [backup-simplify]: Simplify (/ 1 1) into 1 3.442 * [taylor]: Taking taylor expansion of b in b 3.442 * [backup-simplify]: Simplify 0 into 0 3.442 * [backup-simplify]: Simplify 1 into 1 3.443 * [backup-simplify]: Simplify (+ 0 1) into 1 3.443 * [backup-simplify]: Simplify (/ 1 1) into 1 3.443 * [taylor]: Taking taylor expansion of 1 in a 3.443 * [backup-simplify]: Simplify 1 into 1 3.444 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.444 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 3.445 * [backup-simplify]: Simplify (- (/ (/ 1 a) 1) (+ (* 1 (/ 0 1)))) into (/ 1 a) 3.445 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.445 * [taylor]: Taking taylor expansion of a in a 3.445 * [backup-simplify]: Simplify 0 into 0 3.445 * [backup-simplify]: Simplify 1 into 1 3.445 * [backup-simplify]: Simplify (/ 1 1) into 1 3.446 * [backup-simplify]: Simplify 1 into 1 3.446 * [backup-simplify]: Simplify 1 into 1 3.446 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 3.447 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.447 * [backup-simplify]: Simplify (+ 0 0) into 0 3.448 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 a) (/ 0 1)))) into 0 3.449 * [taylor]: Taking taylor expansion of 0 in a 3.449 * [backup-simplify]: Simplify 0 into 0 3.449 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.449 * [backup-simplify]: Simplify 0 into 0 3.449 * [backup-simplify]: Simplify 0 into 0 3.450 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 3.451 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.451 * [backup-simplify]: Simplify (+ 0 0) into 0 3.453 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 a) (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.453 * [taylor]: Taking taylor expansion of 0 in a 3.453 * [backup-simplify]: Simplify 0 into 0 3.453 * [backup-simplify]: Simplify 0 into 0 3.454 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.454 * [backup-simplify]: Simplify 0 into 0 3.454 * [backup-simplify]: Simplify 0 into 0 3.454 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 3.455 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.456 * [backup-simplify]: Simplify (+ 0 0) into 0 3.457 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.457 * [taylor]: Taking taylor expansion of 0 in a 3.457 * [backup-simplify]: Simplify 0 into 0 3.457 * [backup-simplify]: Simplify 0 into 0 3.457 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 b))) 2)) (* 1 (* (/ 1 (/ 1 a)) (/ 1 (/ 1 b))))) into (+ (pow b 2) (* a b)) 3.458 * [backup-simplify]: Simplify (* (/ 1 (- b)) (+ (/ 1 (- a)) (/ 1 (- b)))) into (/ (+ (/ 1 a) (/ 1 b)) b) 3.458 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in (b a) around 0 3.458 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in a 3.458 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 3.458 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.458 * [taylor]: Taking taylor expansion of a in a 3.458 * [backup-simplify]: Simplify 0 into 0 3.458 * [backup-simplify]: Simplify 1 into 1 3.458 * [backup-simplify]: Simplify (/ 1 1) into 1 3.458 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.458 * [taylor]: Taking taylor expansion of b in a 3.458 * [backup-simplify]: Simplify b into b 3.458 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.458 * [taylor]: Taking taylor expansion of b in a 3.458 * [backup-simplify]: Simplify b into b 3.458 * [backup-simplify]: Simplify (+ 1 0) into 1 3.458 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.458 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in b 3.458 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 3.458 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.459 * [taylor]: Taking taylor expansion of a in b 3.459 * [backup-simplify]: Simplify a into a 3.459 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.459 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.459 * [taylor]: Taking taylor expansion of b in b 3.459 * [backup-simplify]: Simplify 0 into 0 3.459 * [backup-simplify]: Simplify 1 into 1 3.459 * [backup-simplify]: Simplify (/ 1 1) into 1 3.459 * [taylor]: Taking taylor expansion of b in b 3.459 * [backup-simplify]: Simplify 0 into 0 3.459 * [backup-simplify]: Simplify 1 into 1 3.459 * [backup-simplify]: Simplify (+ 0 1) into 1 3.459 * [backup-simplify]: Simplify (/ 1 1) into 1 3.459 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in b 3.459 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 3.459 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.459 * [taylor]: Taking taylor expansion of a in b 3.459 * [backup-simplify]: Simplify a into a 3.460 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.460 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.460 * [taylor]: Taking taylor expansion of b in b 3.460 * [backup-simplify]: Simplify 0 into 0 3.460 * [backup-simplify]: Simplify 1 into 1 3.460 * [backup-simplify]: Simplify (/ 1 1) into 1 3.460 * [taylor]: Taking taylor expansion of b in b 3.460 * [backup-simplify]: Simplify 0 into 0 3.460 * [backup-simplify]: Simplify 1 into 1 3.460 * [backup-simplify]: Simplify (+ 0 1) into 1 3.460 * [backup-simplify]: Simplify (/ 1 1) into 1 3.460 * [taylor]: Taking taylor expansion of 1 in a 3.460 * [backup-simplify]: Simplify 1 into 1 3.461 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.461 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 3.461 * [backup-simplify]: Simplify (- (/ (/ 1 a) 1) (+ (* 1 (/ 0 1)))) into (/ 1 a) 3.461 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.461 * [taylor]: Taking taylor expansion of a in a 3.461 * [backup-simplify]: Simplify 0 into 0 3.461 * [backup-simplify]: Simplify 1 into 1 3.462 * [backup-simplify]: Simplify (/ 1 1) into 1 3.462 * [backup-simplify]: Simplify 1 into 1 3.462 * [backup-simplify]: Simplify 1 into 1 3.462 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 3.462 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.463 * [backup-simplify]: Simplify (+ 0 0) into 0 3.463 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 a) (/ 0 1)))) into 0 3.463 * [taylor]: Taking taylor expansion of 0 in a 3.463 * [backup-simplify]: Simplify 0 into 0 3.464 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.464 * [backup-simplify]: Simplify 0 into 0 3.464 * [backup-simplify]: Simplify 0 into 0 3.464 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 3.465 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.465 * [backup-simplify]: Simplify (+ 0 0) into 0 3.466 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 a) (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.466 * [taylor]: Taking taylor expansion of 0 in a 3.466 * [backup-simplify]: Simplify 0 into 0 3.466 * [backup-simplify]: Simplify 0 into 0 3.467 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.467 * [backup-simplify]: Simplify 0 into 0 3.467 * [backup-simplify]: Simplify 0 into 0 3.467 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 3.467 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.467 * [backup-simplify]: Simplify (+ 0 0) into 0 3.469 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.469 * [taylor]: Taking taylor expansion of 0 in a 3.469 * [backup-simplify]: Simplify 0 into 0 3.469 * [backup-simplify]: Simplify 0 into 0 3.469 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- b)))) 2)) (* 1 (* (/ 1 (/ 1 (- a))) (/ 1 (/ 1 (- b)))))) into (+ (pow b 2) (* a b)) 3.469 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 3.469 * [backup-simplify]: Simplify (* a (+ a b)) into (* a (+ a b)) 3.469 * [approximate]: Taking taylor expansion of (* a (+ a b)) in (a b) around 0 3.469 * [taylor]: Taking taylor expansion of (* a (+ a b)) in b 3.469 * [taylor]: Taking taylor expansion of a in b 3.469 * [backup-simplify]: Simplify a into a 3.469 * [taylor]: Taking taylor expansion of (+ a b) in b 3.469 * [taylor]: Taking taylor expansion of a in b 3.469 * [backup-simplify]: Simplify a into a 3.469 * [taylor]: Taking taylor expansion of b in b 3.469 * [backup-simplify]: Simplify 0 into 0 3.469 * [backup-simplify]: Simplify 1 into 1 3.469 * [taylor]: Taking taylor expansion of (* a (+ a b)) in a 3.469 * [taylor]: Taking taylor expansion of a in a 3.470 * [backup-simplify]: Simplify 0 into 0 3.470 * [backup-simplify]: Simplify 1 into 1 3.470 * [taylor]: Taking taylor expansion of (+ a b) in a 3.470 * [taylor]: Taking taylor expansion of a in a 3.470 * [backup-simplify]: Simplify 0 into 0 3.470 * [backup-simplify]: Simplify 1 into 1 3.470 * [taylor]: Taking taylor expansion of b in a 3.470 * [backup-simplify]: Simplify b into b 3.470 * [taylor]: Taking taylor expansion of (* a (+ a b)) in a 3.470 * [taylor]: Taking taylor expansion of a in a 3.470 * [backup-simplify]: Simplify 0 into 0 3.470 * [backup-simplify]: Simplify 1 into 1 3.470 * [taylor]: Taking taylor expansion of (+ a b) in a 3.470 * [taylor]: Taking taylor expansion of a in a 3.470 * [backup-simplify]: Simplify 0 into 0 3.470 * [backup-simplify]: Simplify 1 into 1 3.470 * [taylor]: Taking taylor expansion of b in a 3.470 * [backup-simplify]: Simplify b into b 3.470 * [backup-simplify]: Simplify (+ 0 b) into b 3.470 * [backup-simplify]: Simplify (* 0 b) into 0 3.470 * [taylor]: Taking taylor expansion of 0 in b 3.470 * [backup-simplify]: Simplify 0 into 0 3.470 * [backup-simplify]: Simplify 0 into 0 3.470 * [backup-simplify]: Simplify (+ 1 0) into 1 3.470 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 b)) into b 3.470 * [taylor]: Taking taylor expansion of b in b 3.470 * [backup-simplify]: Simplify 0 into 0 3.471 * [backup-simplify]: Simplify 1 into 1 3.471 * [backup-simplify]: Simplify 0 into 0 3.471 * [backup-simplify]: Simplify 0 into 0 3.471 * [backup-simplify]: Simplify (+ 0 0) into 0 3.471 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 b))) into 1 3.471 * [taylor]: Taking taylor expansion of 1 in b 3.471 * [backup-simplify]: Simplify 1 into 1 3.471 * [backup-simplify]: Simplify 1 into 1 3.471 * [backup-simplify]: Simplify 1 into 1 3.471 * [backup-simplify]: Simplify 0 into 0 3.472 * [backup-simplify]: Simplify (+ 0 0) into 0 3.472 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 b)))) into 0 3.472 * [taylor]: Taking taylor expansion of 0 in b 3.472 * [backup-simplify]: Simplify 0 into 0 3.472 * [backup-simplify]: Simplify 0 into 0 3.472 * [backup-simplify]: Simplify 0 into 0 3.472 * [backup-simplify]: Simplify 0 into 0 3.473 * [backup-simplify]: Simplify 0 into 0 3.473 * [backup-simplify]: Simplify (+ 0 0) into 0 3.474 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 b))))) into 0 3.474 * [taylor]: Taking taylor expansion of 0 in b 3.474 * [backup-simplify]: Simplify 0 into 0 3.474 * [backup-simplify]: Simplify 0 into 0 3.474 * [backup-simplify]: Simplify (+ (* 1 (* b a)) (* 1 (pow (* 1 a) 2))) into (+ (pow a 2) (* a b)) 3.474 * [backup-simplify]: Simplify (* (/ 1 a) (+ (/ 1 a) (/ 1 b))) into (/ (+ (/ 1 a) (/ 1 b)) a) 3.474 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) a) in (a b) around 0 3.474 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) a) in b 3.474 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 3.474 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.474 * [taylor]: Taking taylor expansion of a in b 3.474 * [backup-simplify]: Simplify a into a 3.474 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.474 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.474 * [taylor]: Taking taylor expansion of b in b 3.474 * [backup-simplify]: Simplify 0 into 0 3.474 * [backup-simplify]: Simplify 1 into 1 3.475 * [backup-simplify]: Simplify (/ 1 1) into 1 3.475 * [taylor]: Taking taylor expansion of a in b 3.475 * [backup-simplify]: Simplify a into a 3.475 * [backup-simplify]: Simplify (+ 0 1) into 1 3.475 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.475 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) a) in a 3.475 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 3.475 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.475 * [taylor]: Taking taylor expansion of a in a 3.475 * [backup-simplify]: Simplify 0 into 0 3.475 * [backup-simplify]: Simplify 1 into 1 3.475 * [backup-simplify]: Simplify (/ 1 1) into 1 3.475 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.475 * [taylor]: Taking taylor expansion of b in a 3.475 * [backup-simplify]: Simplify b into b 3.475 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.475 * [taylor]: Taking taylor expansion of a in a 3.475 * [backup-simplify]: Simplify 0 into 0 3.475 * [backup-simplify]: Simplify 1 into 1 3.476 * [backup-simplify]: Simplify (+ 1 0) into 1 3.476 * [backup-simplify]: Simplify (/ 1 1) into 1 3.476 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) a) in a 3.476 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 3.476 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.476 * [taylor]: Taking taylor expansion of a in a 3.476 * [backup-simplify]: Simplify 0 into 0 3.476 * [backup-simplify]: Simplify 1 into 1 3.476 * [backup-simplify]: Simplify (/ 1 1) into 1 3.476 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.476 * [taylor]: Taking taylor expansion of b in a 3.476 * [backup-simplify]: Simplify b into b 3.476 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.476 * [taylor]: Taking taylor expansion of a in a 3.476 * [backup-simplify]: Simplify 0 into 0 3.476 * [backup-simplify]: Simplify 1 into 1 3.477 * [backup-simplify]: Simplify (+ 1 0) into 1 3.477 * [backup-simplify]: Simplify (/ 1 1) into 1 3.477 * [taylor]: Taking taylor expansion of 1 in b 3.477 * [backup-simplify]: Simplify 1 into 1 3.477 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.478 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b) 3.478 * [backup-simplify]: Simplify (- (/ (/ 1 b) 1) (+ (* 1 (/ 0 1)))) into (/ 1 b) 3.478 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.478 * [taylor]: Taking taylor expansion of b in b 3.478 * [backup-simplify]: Simplify 0 into 0 3.478 * [backup-simplify]: Simplify 1 into 1 3.478 * [backup-simplify]: Simplify (/ 1 1) into 1 3.478 * [backup-simplify]: Simplify 1 into 1 3.478 * [backup-simplify]: Simplify 1 into 1 3.479 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.479 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 3.479 * [backup-simplify]: Simplify (+ 0 0) into 0 3.480 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 b) (/ 0 1)))) into 0 3.480 * [taylor]: Taking taylor expansion of 0 in b 3.480 * [backup-simplify]: Simplify 0 into 0 3.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.481 * [backup-simplify]: Simplify 0 into 0 3.481 * [backup-simplify]: Simplify 0 into 0 3.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.482 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.482 * [backup-simplify]: Simplify (+ 0 0) into 0 3.483 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 b) (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.483 * [taylor]: Taking taylor expansion of 0 in b 3.483 * [backup-simplify]: Simplify 0 into 0 3.483 * [backup-simplify]: Simplify 0 into 0 3.484 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.484 * [backup-simplify]: Simplify 0 into 0 3.484 * [backup-simplify]: Simplify 0 into 0 3.484 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.484 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.485 * [backup-simplify]: Simplify (+ 0 0) into 0 3.487 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 b) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.487 * [taylor]: Taking taylor expansion of 0 in b 3.487 * [backup-simplify]: Simplify 0 into 0 3.487 * [backup-simplify]: Simplify 0 into 0 3.488 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (* 1 (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a))))) into (+ (pow a 2) (* a b)) 3.488 * [backup-simplify]: Simplify (* (/ 1 (- a)) (+ (/ 1 (- a)) (/ 1 (- b)))) into (/ (+ (/ 1 a) (/ 1 b)) a) 3.488 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) a) in (a b) around 0 3.488 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) a) in b 3.488 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 3.488 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.488 * [taylor]: Taking taylor expansion of a in b 3.488 * [backup-simplify]: Simplify a into a 3.488 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.488 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.488 * [taylor]: Taking taylor expansion of b in b 3.488 * [backup-simplify]: Simplify 0 into 0 3.488 * [backup-simplify]: Simplify 1 into 1 3.489 * [backup-simplify]: Simplify (/ 1 1) into 1 3.489 * [taylor]: Taking taylor expansion of a in b 3.489 * [backup-simplify]: Simplify a into a 3.489 * [backup-simplify]: Simplify (+ 0 1) into 1 3.489 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.489 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) a) in a 3.489 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 3.489 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.489 * [taylor]: Taking taylor expansion of a in a 3.489 * [backup-simplify]: Simplify 0 into 0 3.489 * [backup-simplify]: Simplify 1 into 1 3.490 * [backup-simplify]: Simplify (/ 1 1) into 1 3.490 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.490 * [taylor]: Taking taylor expansion of b in a 3.490 * [backup-simplify]: Simplify b into b 3.490 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.490 * [taylor]: Taking taylor expansion of a in a 3.490 * [backup-simplify]: Simplify 0 into 0 3.490 * [backup-simplify]: Simplify 1 into 1 3.490 * [backup-simplify]: Simplify (+ 1 0) into 1 3.491 * [backup-simplify]: Simplify (/ 1 1) into 1 3.491 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) a) in a 3.491 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 3.491 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.491 * [taylor]: Taking taylor expansion of a in a 3.491 * [backup-simplify]: Simplify 0 into 0 3.491 * [backup-simplify]: Simplify 1 into 1 3.491 * [backup-simplify]: Simplify (/ 1 1) into 1 3.491 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.491 * [taylor]: Taking taylor expansion of b in a 3.491 * [backup-simplify]: Simplify b into b 3.492 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.492 * [taylor]: Taking taylor expansion of a in a 3.492 * [backup-simplify]: Simplify 0 into 0 3.492 * [backup-simplify]: Simplify 1 into 1 3.492 * [backup-simplify]: Simplify (+ 1 0) into 1 3.492 * [backup-simplify]: Simplify (/ 1 1) into 1 3.493 * [taylor]: Taking taylor expansion of 1 in b 3.493 * [backup-simplify]: Simplify 1 into 1 3.493 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.493 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b) 3.494 * [backup-simplify]: Simplify (- (/ (/ 1 b) 1) (+ (* 1 (/ 0 1)))) into (/ 1 b) 3.494 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.494 * [taylor]: Taking taylor expansion of b in b 3.494 * [backup-simplify]: Simplify 0 into 0 3.494 * [backup-simplify]: Simplify 1 into 1 3.495 * [backup-simplify]: Simplify (/ 1 1) into 1 3.495 * [backup-simplify]: Simplify 1 into 1 3.495 * [backup-simplify]: Simplify 1 into 1 3.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.496 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 3.496 * [backup-simplify]: Simplify (+ 0 0) into 0 3.497 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 b) (/ 0 1)))) into 0 3.497 * [taylor]: Taking taylor expansion of 0 in b 3.498 * [backup-simplify]: Simplify 0 into 0 3.498 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.498 * [backup-simplify]: Simplify 0 into 0 3.498 * [backup-simplify]: Simplify 0 into 0 3.499 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.499 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.500 * [backup-simplify]: Simplify (+ 0 0) into 0 3.506 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 b) (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.506 * [taylor]: Taking taylor expansion of 0 in b 3.506 * [backup-simplify]: Simplify 0 into 0 3.506 * [backup-simplify]: Simplify 0 into 0 3.507 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.507 * [backup-simplify]: Simplify 0 into 0 3.507 * [backup-simplify]: Simplify 0 into 0 3.508 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.508 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 3.509 * [backup-simplify]: Simplify (+ 0 0) into 0 3.511 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 b) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.511 * [taylor]: Taking taylor expansion of 0 in b 3.511 * [backup-simplify]: Simplify 0 into 0 3.511 * [backup-simplify]: Simplify 0 into 0 3.511 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (* 1 (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a)))))) into (+ (pow a 2) (* a b)) 3.512 * * * [progress]: simplifying candidates 3.512 * * * * [progress]: [ 1 / 54 ] simplifiying candidate # 3.512 * [simplify]: Simplifying (* b (+ a b)) 3.512 * * [simplify]: iters left: 4 (4 enodes) 3.514 * * [simplify]: iters left: 3 (19 enodes) 3.520 * * [simplify]: iters left: 2 (27 enodes) 3.526 * * [simplify]: Extracting #0: cost 1 inf + 0 3.526 * * [simplify]: Extracting #1: cost 6 inf + 0 3.526 * * [simplify]: Extracting #2: cost 9 inf + 1 3.527 * * [simplify]: Extracting #3: cost 0 inf + 416 3.527 * [simplify]: Simplified to (* b (+ a b)) 3.527 * [simplify]: Simplified (2 2 1) to (λ (a b) (+ (* a (+ a b)) (pow (* b (+ a b)) 1))) 3.527 * * * * [progress]: [ 2 / 54 ] simplifiying candidate # 3.527 * * * * [progress]: [ 3 / 54 ] simplifiying candidate # 3.527 * [simplify]: Simplifying (+ (log b) (log (+ a b))) 3.528 * * [simplify]: iters left: 5 (6 enodes) 3.529 * * [simplify]: iters left: 4 (20 enodes) 3.532 * * [simplify]: Extracting #0: cost 1 inf + 0 3.532 * * [simplify]: Extracting #1: cost 4 inf + 0 3.532 * * [simplify]: Extracting #2: cost 8 inf + 0 3.532 * * [simplify]: Extracting #3: cost 9 inf + 1 3.532 * * [simplify]: Extracting #4: cost 0 inf + 896 3.532 * [simplify]: Simplified to (+ (log b) (log (+ b a))) 3.532 * [simplify]: Simplified (2 2 1) to (λ (a b) (+ (* a (+ a b)) (exp (+ (log b) (log (+ b a)))))) 3.532 * * * * [progress]: [ 4 / 54 ] simplifiying candidate # 3.532 * * * * [progress]: [ 5 / 54 ] simplifiying candidate # 3.532 * * * * [progress]: [ 6 / 54 ] simplifiying candidate # 3.533 * [simplify]: Simplifying (* (* (* b b) b) (* (* (+ a b) (+ a b)) (+ a b))) 3.533 * * [simplify]: iters left: 6 (8 enodes) 3.535 * * [simplify]: iters left: 5 (44 enodes) 3.546 * * [simplify]: iters left: 4 (182 enodes) 3.641 * * [simplify]: Extracting #0: cost 1 inf + 0 3.641 * * [simplify]: Extracting #1: cost 24 inf + 0 3.642 * * [simplify]: Extracting #2: cost 111 inf + 42 3.643 * * [simplify]: Extracting #3: cost 138 inf + 1384 3.650 * * [simplify]: Extracting #4: cost 38 inf + 16946 3.662 * * [simplify]: Extracting #5: cost 0 inf + 24273 3.674 * * [simplify]: Extracting #6: cost 0 inf + 24073 3.683 * * [simplify]: Extracting #7: cost 0 inf + 24033 3.690 * [simplify]: Simplified to (* (+ a b) (* b (* (* (+ a b) b) (* (+ a b) b)))) 3.690 * [simplify]: Simplified (2 2 1) to (λ (a b) (+ (* a (+ a b)) (cbrt (* (+ a b) (* b (* (* (+ a b) b) (* (+ a b) b))))))) 3.690 * * * * [progress]: [ 7 / 54 ] simplifiying candidate # 3.690 * * * * [progress]: [ 8 / 54 ] simplifiying candidate # 3.690 * * * * [progress]: [ 9 / 54 ] simplifiying candidate # 3.690 * * * * [progress]: [ 10 / 54 ] simplifiying candidate # 3.690 * * * * [progress]: [ 11 / 54 ] simplifiying candidate # 3.690 * [simplify]: Simplifying (* (sqrt b) (sqrt (+ a b))) 3.690 * * [simplify]: iters left: 5 (6 enodes) 3.692 * * [simplify]: iters left: 4 (20 enodes) 3.695 * * [simplify]: Extracting #0: cost 1 inf + 0 3.695 * * [simplify]: Extracting #1: cost 4 inf + 0 3.695 * * [simplify]: Extracting #2: cost 8 inf + 0 3.695 * * [simplify]: Extracting #3: cost 9 inf + 1 3.695 * * [simplify]: Extracting #4: cost 0 inf + 656 3.695 * [simplify]: Simplified to (* (sqrt b) (sqrt (+ b a))) 3.695 * [simplify]: Simplified (2 2 1) to (λ (a b) (+ (* a (+ a b)) (* (* (sqrt b) (sqrt (+ b a))) (* (sqrt b) (sqrt (+ a b)))))) 3.695 * [simplify]: Simplifying (* (sqrt b) (sqrt (+ a b))) 3.695 * * [simplify]: iters left: 5 (6 enodes) 3.697 * * [simplify]: iters left: 4 (20 enodes) 3.702 * * [simplify]: Extracting #0: cost 1 inf + 0 3.702 * * [simplify]: Extracting #1: cost 4 inf + 0 3.702 * * [simplify]: Extracting #2: cost 8 inf + 0 3.702 * * [simplify]: Extracting #3: cost 9 inf + 1 3.702 * * [simplify]: Extracting #4: cost 0 inf + 656 3.702 * [simplify]: Simplified to (* (sqrt b) (sqrt (+ b a))) 3.702 * [simplify]: Simplified (2 2 2) to (λ (a b) (+ (* a (+ a b)) (* (* (sqrt b) (sqrt (+ a b))) (* (sqrt b) (sqrt (+ b a)))))) 3.702 * * * * [progress]: [ 12 / 54 ] simplifiying candidate # 3.702 * [simplify]: Simplifying (* b b) 3.702 * * [simplify]: iters left: 2 (2 enodes) 3.703 * * [simplify]: iters left: 1 (6 enodes) 3.704 * * [simplify]: Extracting #0: cost 1 inf + 0 3.704 * * [simplify]: Extracting #1: cost 3 inf + 0 3.704 * * [simplify]: Extracting #2: cost 2 inf + 1 3.704 * * [simplify]: Extracting #3: cost 0 inf + 83 3.704 * [simplify]: Simplified to (* b b) 3.704 * [simplify]: Simplified (2 2 2) to (λ (a b) (+ (* a (+ a b)) (+ (* b a) (* b b)))) 3.704 * * * * [progress]: [ 13 / 54 ] simplifiying candidate # 3.704 * [simplify]: Simplifying (* b b) 3.704 * * [simplify]: iters left: 2 (2 enodes) 3.705 * * [simplify]: iters left: 1 (6 enodes) 3.706 * * [simplify]: Extracting #0: cost 1 inf + 0 3.706 * * [simplify]: Extracting #1: cost 3 inf + 0 3.706 * * [simplify]: Extracting #2: cost 2 inf + 1 3.706 * * [simplify]: Extracting #3: cost 0 inf + 83 3.706 * [simplify]: Simplified to (* b b) 3.706 * [simplify]: Simplified (2 2 2) to (λ (a b) (+ (* a (+ a b)) (+ (* a b) (* b b)))) 3.706 * * * * [progress]: [ 14 / 54 ] simplifiying candidate # 3.706 * [simplify]: Simplifying (cbrt (+ a b)) 3.706 * * [simplify]: iters left: 3 (4 enodes) 3.707 * * [simplify]: iters left: 2 (13 enodes) 3.709 * * [simplify]: Extracting #0: cost 1 inf + 0 3.709 * * [simplify]: Extracting #1: cost 3 inf + 0 3.709 * * [simplify]: Extracting #2: cost 6 inf + 0 3.709 * * [simplify]: Extracting #3: cost 4 inf + 2 3.709 * * [simplify]: Extracting #4: cost 0 inf + 330 3.709 * [simplify]: Simplified to (cbrt (+ b a)) 3.709 * [simplify]: Simplified (2 2 2) to (λ (a b) (+ (* a (+ a b)) (* (* b (* (cbrt (+ a b)) (cbrt (+ a b)))) (cbrt (+ b a))))) 3.709 * * * * [progress]: [ 15 / 54 ] simplifiying candidate # 3.709 * [simplify]: Simplifying (sqrt (+ a b)) 3.709 * * [simplify]: iters left: 3 (4 enodes) 3.710 * * [simplify]: iters left: 2 (13 enodes) 3.712 * * [simplify]: Extracting #0: cost 1 inf + 0 3.712 * * [simplify]: Extracting #1: cost 3 inf + 0 3.712 * * [simplify]: Extracting #2: cost 6 inf + 0 3.712 * * [simplify]: Extracting #3: cost 4 inf + 2 3.712 * * [simplify]: Extracting #4: cost 0 inf + 250 3.712 * [simplify]: Simplified to (sqrt (+ b a)) 3.712 * [simplify]: Simplified (2 2 2) to (λ (a b) (+ (* a (+ a b)) (* (* b (sqrt (+ a b))) (sqrt (+ b a))))) 3.712 * * * * [progress]: [ 16 / 54 ] simplifiying candidate # 3.712 * [simplify]: Simplifying (+ a b) 3.712 * * [simplify]: iters left: 2 (3 enodes) 3.714 * * [simplify]: iters left: 1 (10 enodes) 3.716 * * [simplify]: Extracting #0: cost 1 inf + 0 3.716 * * [simplify]: Extracting #1: cost 4 inf + 0 3.716 * * [simplify]: Extracting #2: cost 2 inf + 2 3.716 * * [simplify]: Extracting #3: cost 0 inf + 86 3.716 * [simplify]: Simplified to (+ b a) 3.716 * [simplify]: Simplified (2 2 2) to (λ (a b) (+ (* a (+ a b)) (* (* b 1) (+ b a)))) 3.717 * * * * [progress]: [ 17 / 54 ] simplifiying candidate # 3.717 * [simplify]: Simplifying (+ a b) 3.717 * * [simplify]: iters left: 2 (3 enodes) 3.718 * * [simplify]: iters left: 1 (10 enodes) 3.721 * * [simplify]: Extracting #0: cost 1 inf + 0 3.721 * * [simplify]: Extracting #1: cost 4 inf + 0 3.721 * * [simplify]: Extracting #2: cost 2 inf + 2 3.721 * * [simplify]: Extracting #3: cost 0 inf + 86 3.721 * [simplify]: Simplified to (+ b a) 3.721 * [simplify]: Simplified (2 2 2) to (λ (a b) (+ (* a (+ a b)) (* (* b 1) (+ b a)))) 3.721 * * * * [progress]: [ 18 / 54 ] simplifiying candidate # 3.721 * [simplify]: Simplifying (* (cbrt b) (cbrt b)) 3.721 * * [simplify]: iters left: 3 (3 enodes) 3.723 * * [simplify]: iters left: 2 (9 enodes) 3.725 * * [simplify]: Extracting #0: cost 1 inf + 0 3.725 * * [simplify]: Extracting #1: cost 3 inf + 0 3.725 * * [simplify]: Extracting #2: cost 5 inf + 0 3.725 * * [simplify]: Extracting #3: cost 4 inf + 1 3.726 * * [simplify]: Extracting #4: cost 0 inf + 405 3.726 * [simplify]: Simplified to (* (cbrt b) (cbrt b)) 3.726 * [simplify]: Simplified (2 2 1) to (λ (a b) (+ (* a (+ a b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (+ a b))))) 3.726 * * * * [progress]: [ 19 / 54 ] simplifiying candidate # 3.726 * [simplify]: Simplifying (sqrt b) 3.726 * * [simplify]: iters left: 1 (2 enodes) 3.727 * * [simplify]: Extracting #0: cost 1 inf + 0 3.727 * * [simplify]: Extracting #1: cost 3 inf + 0 3.727 * * [simplify]: Extracting #2: cost 2 inf + 1 3.727 * * [simplify]: Extracting #3: cost 0 inf + 83 3.727 * [simplify]: Simplified to (sqrt b) 3.727 * [simplify]: Simplified (2 2 1) to (λ (a b) (+ (* a (+ a b)) (* (sqrt b) (* (sqrt b) (+ a b))))) 3.727 * * * * [progress]: [ 20 / 54 ] simplifiying candidate # 3.727 * * * * [progress]: [ 21 / 54 ] simplifiying candidate # 3.728 * [simplify]: Simplifying (+ (* a a) (- (* b b) (* a b))) 3.728 * * [simplify]: iters left: 6 (7 enodes) 3.731 * * [simplify]: iters left: 5 (29 enodes) 3.740 * * [simplify]: iters left: 4 (50 enodes) 3.748 * * [simplify]: iters left: 3 (69 enodes) 3.757 * * [simplify]: iters left: 2 (85 enodes) 3.778 * * [simplify]: iters left: 1 (105 enodes) 3.810 * * [simplify]: Extracting #0: cost 1 inf + 0 3.810 * * [simplify]: Extracting #1: cost 13 inf + 0 3.810 * * [simplify]: Extracting #2: cost 33 inf + 0 3.812 * * [simplify]: Extracting #3: cost 24 inf + 779 3.813 * * [simplify]: Extracting #4: cost 4 inf + 2455 3.815 * * [simplify]: Extracting #5: cost 0 inf + 2702 3.816 * [simplify]: Simplified to (+ (* a (- a b)) (* b b)) 3.816 * [simplify]: Simplified (2 2 2) to (λ (a b) (+ (* a (+ a b)) (/ (* b (+ (pow a 3) (pow b 3))) (+ (* a (- a b)) (* b b))))) 3.816 * * * * [progress]: [ 22 / 54 ] simplifiying candidate # 3.817 * [simplify]: Simplifying (- a b) 3.817 * * [simplify]: iters left: 2 (3 enodes) 3.818 * * [simplify]: iters left: 1 (11 enodes) 3.821 * * [simplify]: Extracting #0: cost 1 inf + 0 3.821 * * [simplify]: Extracting #1: cost 5 inf + 0 3.821 * * [simplify]: Extracting #2: cost 3 inf + 43 3.821 * * [simplify]: Extracting #3: cost 0 inf + 168 3.821 * [simplify]: Simplified to (- a b) 3.821 * [simplify]: Simplified (2 2 2) to (λ (a b) (+ (* a (+ a b)) (/ (* b (- (* a a) (* b b))) (- a b)))) 3.821 * * * * [progress]: [ 23 / 54 ] simplifiying candidate #real (real->posit16 (* b (+ a b))))))> 3.821 * * * * [progress]: [ 24 / 54 ] simplifiying candidate # 3.821 * * * * [progress]: [ 25 / 54 ] simplifiying candidate # 3.821 * [simplify]: Simplifying (* a (+ a b)) 3.821 * * [simplify]: iters left: 4 (4 enodes) 3.822 * * [simplify]: iters left: 3 (19 enodes) 3.825 * * [simplify]: iters left: 2 (27 enodes) 3.828 * * [simplify]: Extracting #0: cost 1 inf + 0 3.828 * * [simplify]: Extracting #1: cost 6 inf + 0 3.828 * * [simplify]: Extracting #2: cost 9 inf + 1 3.828 * * [simplify]: Extracting #3: cost 0 inf + 416 3.828 * [simplify]: Simplified to (* a (+ b a)) 3.828 * [simplify]: Simplified (2 1 1) to (λ (a b) (+ (pow (* a (+ b a)) 1) (* b (+ a b)))) 3.829 * * * * [progress]: [ 26 / 54 ] simplifiying candidate # 3.829 * * * * [progress]: [ 27 / 54 ] simplifiying candidate # 3.829 * [simplify]: Simplifying (+ (log a) (log (+ a b))) 3.829 * * [simplify]: iters left: 5 (6 enodes) 3.830 * * [simplify]: iters left: 4 (20 enodes) 3.833 * * [simplify]: Extracting #0: cost 1 inf + 0 3.833 * * [simplify]: Extracting #1: cost 4 inf + 0 3.833 * * [simplify]: Extracting #2: cost 8 inf + 0 3.833 * * [simplify]: Extracting #3: cost 9 inf + 1 3.833 * * [simplify]: Extracting #4: cost 0 inf + 896 3.833 * [simplify]: Simplified to (+ (log a) (log (+ a b))) 3.833 * [simplify]: Simplified (2 1 1) to (λ (a b) (+ (exp (+ (log a) (log (+ a b)))) (* b (+ a b)))) 3.833 * * * * [progress]: [ 28 / 54 ] simplifiying candidate # 3.833 * * * * [progress]: [ 29 / 54 ] simplifiying candidate # 3.833 * * * * [progress]: [ 30 / 54 ] simplifiying candidate # 3.834 * [simplify]: Simplifying (* (* (* a a) a) (* (* (+ a b) (+ a b)) (+ a b))) 3.834 * * [simplify]: iters left: 6 (8 enodes) 3.836 * * [simplify]: iters left: 5 (44 enodes) 3.848 * * [simplify]: iters left: 4 (182 enodes) 3.943 * * [simplify]: Extracting #0: cost 1 inf + 0 3.943 * * [simplify]: Extracting #1: cost 24 inf + 0 3.944 * * [simplify]: Extracting #2: cost 112 inf + 42 3.945 * * [simplify]: Extracting #3: cost 138 inf + 1585 3.948 * * [simplify]: Extracting #4: cost 37 inf + 16759 3.956 * * [simplify]: Extracting #5: cost 0 inf + 23553 3.967 * * [simplify]: Extracting #6: cost 0 inf + 23513 3.979 * [simplify]: Simplified to (* (* (* (* (+ b a) a) (* (+ b a) a)) (+ b a)) a) 3.979 * [simplify]: Simplified (2 1 1) to (λ (a b) (+ (cbrt (* (* (* (* (+ b a) a) (* (+ b a) a)) (+ b a)) a)) (* b (+ a b)))) 3.979 * * * * [progress]: [ 31 / 54 ] simplifiying candidate # 3.979 * * * * [progress]: [ 32 / 54 ] simplifiying candidate # 3.979 * * * * [progress]: [ 33 / 54 ] simplifiying candidate # 3.979 * * * * [progress]: [ 34 / 54 ] simplifiying candidate # 3.979 * * * * [progress]: [ 35 / 54 ] simplifiying candidate # 3.980 * [simplify]: Simplifying (* (sqrt a) (sqrt (+ a b))) 3.980 * * [simplify]: iters left: 5 (6 enodes) 3.983 * * [simplify]: iters left: 4 (20 enodes) 3.988 * * [simplify]: Extracting #0: cost 1 inf + 0 3.988 * * [simplify]: Extracting #1: cost 4 inf + 0 3.988 * * [simplify]: Extracting #2: cost 8 inf + 0 3.988 * * [simplify]: Extracting #3: cost 9 inf + 1 3.988 * * [simplify]: Extracting #4: cost 0 inf + 656 3.989 * [simplify]: Simplified to (* (sqrt a) (sqrt (+ a b))) 3.989 * [simplify]: Simplified (2 1 1) to (λ (a b) (+ (* (* (sqrt a) (sqrt (+ a b))) (* (sqrt a) (sqrt (+ a b)))) (* b (+ a b)))) 3.989 * [simplify]: Simplifying (* (sqrt a) (sqrt (+ a b))) 3.989 * * [simplify]: iters left: 5 (6 enodes) 3.992 * * [simplify]: iters left: 4 (20 enodes) 4.000 * * [simplify]: Extracting #0: cost 1 inf + 0 4.000 * * [simplify]: Extracting #1: cost 4 inf + 0 4.000 * * [simplify]: Extracting #2: cost 8 inf + 0 4.000 * * [simplify]: Extracting #3: cost 9 inf + 1 4.000 * * [simplify]: Extracting #4: cost 0 inf + 656 4.000 * [simplify]: Simplified to (* (sqrt a) (sqrt (+ a b))) 4.001 * [simplify]: Simplified (2 1 2) to (λ (a b) (+ (* (* (sqrt a) (sqrt (+ a b))) (* (sqrt a) (sqrt (+ a b)))) (* b (+ a b)))) 4.001 * * * * [progress]: [ 36 / 54 ] simplifiying candidate # 4.001 * [simplify]: Simplifying (* a b) 4.001 * * [simplify]: iters left: 2 (3 enodes) 4.002 * * [simplify]: iters left: 1 (10 enodes) 4.003 * * [simplify]: Extracting #0: cost 1 inf + 0 4.003 * * [simplify]: Extracting #1: cost 4 inf + 0 4.003 * * [simplify]: Extracting #2: cost 2 inf + 2 4.003 * * [simplify]: Extracting #3: cost 0 inf + 86 4.003 * [simplify]: Simplified to (* a b) 4.003 * [simplify]: Simplified (2 1 2) to (λ (a b) (+ (+ (* a a) (* a b)) (* b (+ a b)))) 4.003 * * * * [progress]: [ 37 / 54 ] simplifiying candidate # 4.004 * [simplify]: Simplifying (* b a) 4.004 * * [simplify]: iters left: 2 (3 enodes) 4.004 * * [simplify]: iters left: 1 (10 enodes) 4.006 * * [simplify]: Extracting #0: cost 1 inf + 0 4.006 * * [simplify]: Extracting #1: cost 4 inf + 0 4.006 * * [simplify]: Extracting #2: cost 2 inf + 2 4.006 * * [simplify]: Extracting #3: cost 0 inf + 86 4.006 * [simplify]: Simplified to (* b a) 4.006 * [simplify]: Simplified (2 1 2) to (λ (a b) (+ (+ (* a a) (* b a)) (* b (+ a b)))) 4.006 * * * * [progress]: [ 38 / 54 ] simplifiying candidate # 4.006 * [simplify]: Simplifying (cbrt (+ a b)) 4.006 * * [simplify]: iters left: 3 (4 enodes) 4.007 * * [simplify]: iters left: 2 (13 enodes) 4.009 * * [simplify]: Extracting #0: cost 1 inf + 0 4.009 * * [simplify]: Extracting #1: cost 3 inf + 0 4.009 * * [simplify]: Extracting #2: cost 6 inf + 0 4.009 * * [simplify]: Extracting #3: cost 4 inf + 2 4.009 * * [simplify]: Extracting #4: cost 0 inf + 330 4.009 * [simplify]: Simplified to (cbrt (+ b a)) 4.009 * [simplify]: Simplified (2 1 2) to (λ (a b) (+ (* (* a (* (cbrt (+ a b)) (cbrt (+ a b)))) (cbrt (+ b a))) (* b (+ a b)))) 4.009 * * * * [progress]: [ 39 / 54 ] simplifiying candidate # 4.009 * [simplify]: Simplifying (sqrt (+ a b)) 4.010 * * [simplify]: iters left: 3 (4 enodes) 4.010 * * [simplify]: iters left: 2 (13 enodes) 4.012 * * [simplify]: Extracting #0: cost 1 inf + 0 4.012 * * [simplify]: Extracting #1: cost 3 inf + 0 4.012 * * [simplify]: Extracting #2: cost 6 inf + 0 4.012 * * [simplify]: Extracting #3: cost 4 inf + 2 4.012 * * [simplify]: Extracting #4: cost 0 inf + 250 4.012 * [simplify]: Simplified to (sqrt (+ b a)) 4.012 * [simplify]: Simplified (2 1 2) to (λ (a b) (+ (* (* a (sqrt (+ a b))) (sqrt (+ b a))) (* b (+ a b)))) 4.012 * * * * [progress]: [ 40 / 54 ] simplifiying candidate # 4.013 * [simplify]: Simplifying (+ a b) 4.013 * * [simplify]: iters left: 2 (3 enodes) 4.013 * * [simplify]: iters left: 1 (10 enodes) 4.015 * * [simplify]: Extracting #0: cost 1 inf + 0 4.015 * * [simplify]: Extracting #1: cost 4 inf + 0 4.015 * * [simplify]: Extracting #2: cost 2 inf + 2 4.015 * * [simplify]: Extracting #3: cost 0 inf + 86 4.015 * [simplify]: Simplified to (+ b a) 4.015 * [simplify]: Simplified (2 1 2) to (λ (a b) (+ (* (* a 1) (+ b a)) (* b (+ a b)))) 4.015 * * * * [progress]: [ 41 / 54 ] simplifiying candidate # 4.015 * [simplify]: Simplifying (+ a b) 4.015 * * [simplify]: iters left: 2 (3 enodes) 4.016 * * [simplify]: iters left: 1 (10 enodes) 4.017 * * [simplify]: Extracting #0: cost 1 inf + 0 4.017 * * [simplify]: Extracting #1: cost 4 inf + 0 4.017 * * [simplify]: Extracting #2: cost 2 inf + 2 4.017 * * [simplify]: Extracting #3: cost 0 inf + 86 4.017 * [simplify]: Simplified to (+ b a) 4.017 * [simplify]: Simplified (2 1 2) to (λ (a b) (+ (* (* a 1) (+ b a)) (* b (+ a b)))) 4.017 * * * * [progress]: [ 42 / 54 ] simplifiying candidate # 4.017 * [simplify]: Simplifying (* (cbrt a) (cbrt a)) 4.017 * * [simplify]: iters left: 3 (3 enodes) 4.018 * * [simplify]: iters left: 2 (9 enodes) 4.019 * * [simplify]: Extracting #0: cost 1 inf + 0 4.019 * * [simplify]: Extracting #1: cost 3 inf + 0 4.019 * * [simplify]: Extracting #2: cost 5 inf + 0 4.019 * * [simplify]: Extracting #3: cost 4 inf + 1 4.019 * * [simplify]: Extracting #4: cost 0 inf + 405 4.019 * [simplify]: Simplified to (* (cbrt a) (cbrt a)) 4.019 * [simplify]: Simplified (2 1 1) to (λ (a b) (+ (* (* (cbrt a) (cbrt a)) (* (cbrt a) (+ a b))) (* b (+ a b)))) 4.020 * * * * [progress]: [ 43 / 54 ] simplifiying candidate # 4.020 * [simplify]: Simplifying (sqrt a) 4.020 * * [simplify]: iters left: 1 (2 enodes) 4.020 * * [simplify]: Extracting #0: cost 1 inf + 0 4.020 * * [simplify]: Extracting #1: cost 3 inf + 0 4.020 * * [simplify]: Extracting #2: cost 2 inf + 1 4.020 * * [simplify]: Extracting #3: cost 0 inf + 83 4.020 * [simplify]: Simplified to (sqrt a) 4.020 * [simplify]: Simplified (2 1 1) to (λ (a b) (+ (* (sqrt a) (* (sqrt a) (+ a b))) (* b (+ a b)))) 4.020 * * * * [progress]: [ 44 / 54 ] simplifiying candidate # 4.020 * * * * [progress]: [ 45 / 54 ] simplifiying candidate # 4.021 * [simplify]: Simplifying (+ (* a a) (- (* b b) (* a b))) 4.021 * * [simplify]: iters left: 6 (7 enodes) 4.022 * * [simplify]: iters left: 5 (29 enodes) 4.027 * * [simplify]: iters left: 4 (50 enodes) 4.041 * * [simplify]: iters left: 3 (69 enodes) 4.061 * * [simplify]: iters left: 2 (85 enodes) 4.075 * * [simplify]: iters left: 1 (105 enodes) 4.091 * * [simplify]: Extracting #0: cost 1 inf + 0 4.091 * * [simplify]: Extracting #1: cost 13 inf + 0 4.091 * * [simplify]: Extracting #2: cost 33 inf + 0 4.092 * * [simplify]: Extracting #3: cost 24 inf + 779 4.093 * * [simplify]: Extracting #4: cost 4 inf + 2455 4.094 * * [simplify]: Extracting #5: cost 0 inf + 2702 4.095 * [simplify]: Simplified to (+ (* a (- a b)) (* b b)) 4.095 * [simplify]: Simplified (2 1 2) to (λ (a b) (+ (/ (* a (+ (pow a 3) (pow b 3))) (+ (* a (- a b)) (* b b))) (* b (+ a b)))) 4.095 * * * * [progress]: [ 46 / 54 ] simplifiying candidate # 4.095 * [simplify]: Simplifying (- a b) 4.095 * * [simplify]: iters left: 2 (3 enodes) 4.096 * * [simplify]: iters left: 1 (11 enodes) 4.099 * * [simplify]: Extracting #0: cost 1 inf + 0 4.099 * * [simplify]: Extracting #1: cost 5 inf + 0 4.100 * * [simplify]: Extracting #2: cost 3 inf + 43 4.100 * * [simplify]: Extracting #3: cost 0 inf + 168 4.100 * [simplify]: Simplified to (- a b) 4.100 * [simplify]: Simplified (2 1 2) to (λ (a b) (+ (/ (* a (- (* a a) (* b b))) (- a b)) (* b (+ a b)))) 4.100 * * * * [progress]: [ 47 / 54 ] simplifiying candidate #real (real->posit16 (* a (+ a b)))) (* b (+ a b))))> 4.100 * * * * [progress]: [ 48 / 54 ] simplifiying candidate # 4.100 * * * * [progress]: [ 49 / 54 ] simplifiying candidate # 4.100 * [simplify]: Simplifying (+ (pow b 2) (* a b)) 4.100 * * [simplify]: iters left: 4 (6 enodes) 4.105 * * [simplify]: iters left: 3 (25 enodes) 4.113 * * [simplify]: iters left: 2 (33 enodes) 4.119 * * [simplify]: iters left: 1 (40 enodes) 4.125 * * [simplify]: Extracting #0: cost 1 inf + 0 4.125 * * [simplify]: Extracting #1: cost 6 inf + 0 4.125 * * [simplify]: Extracting #2: cost 10 inf + 1 4.125 * * [simplify]: Extracting #3: cost 1 inf + 455 4.125 * * [simplify]: Extracting #4: cost 0 inf + 417 4.125 * [simplify]: Simplified to (* (+ a b) b) 4.125 * [simplify]: Simplified (2 2) to (λ (a b) (+ (* a (+ a b)) (* (+ a b) b))) 4.125 * * * * [progress]: [ 50 / 54 ] simplifiying candidate # 4.125 * [simplify]: Simplifying (+ (pow b 2) (* a b)) 4.125 * * [simplify]: iters left: 4 (6 enodes) 4.127 * * [simplify]: iters left: 3 (25 enodes) 4.131 * * [simplify]: iters left: 2 (33 enodes) 4.136 * * [simplify]: iters left: 1 (40 enodes) 4.141 * * [simplify]: Extracting #0: cost 1 inf + 0 4.141 * * [simplify]: Extracting #1: cost 6 inf + 0 4.141 * * [simplify]: Extracting #2: cost 10 inf + 1 4.141 * * [simplify]: Extracting #3: cost 1 inf + 455 4.142 * * [simplify]: Extracting #4: cost 0 inf + 417 4.142 * [simplify]: Simplified to (* (+ a b) b) 4.142 * [simplify]: Simplified (2 2) to (λ (a b) (+ (* a (+ a b)) (* (+ a b) b))) 4.142 * * * * [progress]: [ 51 / 54 ] simplifiying candidate # 4.142 * [simplify]: Simplifying (+ (pow b 2) (* a b)) 4.142 * * [simplify]: iters left: 4 (6 enodes) 4.144 * * [simplify]: iters left: 3 (25 enodes) 4.148 * * [simplify]: iters left: 2 (33 enodes) 4.153 * * [simplify]: iters left: 1 (40 enodes) 4.163 * * [simplify]: Extracting #0: cost 1 inf + 0 4.163 * * [simplify]: Extracting #1: cost 6 inf + 0 4.163 * * [simplify]: Extracting #2: cost 10 inf + 1 4.163 * * [simplify]: Extracting #3: cost 1 inf + 455 4.164 * * [simplify]: Extracting #4: cost 0 inf + 417 4.164 * [simplify]: Simplified to (* (+ a b) b) 4.164 * [simplify]: Simplified (2 2) to (λ (a b) (+ (* a (+ a b)) (* (+ a b) b))) 4.164 * * * * [progress]: [ 52 / 54 ] simplifiying candidate # 4.165 * [simplify]: Simplifying (+ (pow a 2) (* a b)) 4.165 * * [simplify]: iters left: 4 (6 enodes) 4.169 * * [simplify]: iters left: 3 (25 enodes) 4.176 * * [simplify]: iters left: 2 (33 enodes) 4.187 * * [simplify]: iters left: 1 (40 enodes) 4.197 * * [simplify]: Extracting #0: cost 1 inf + 0 4.197 * * [simplify]: Extracting #1: cost 6 inf + 0 4.197 * * [simplify]: Extracting #2: cost 10 inf + 1 4.197 * * [simplify]: Extracting #3: cost 1 inf + 455 4.197 * * [simplify]: Extracting #4: cost 0 inf + 417 4.198 * [simplify]: Simplified to (* (+ b a) a) 4.198 * [simplify]: Simplified (2 1) to (λ (a b) (+ (* (+ b a) a) (* b (+ a b)))) 4.198 * * * * [progress]: [ 53 / 54 ] simplifiying candidate # 4.198 * [simplify]: Simplifying (+ (pow a 2) (* a b)) 4.198 * * [simplify]: iters left: 4 (6 enodes) 4.200 * * [simplify]: iters left: 3 (25 enodes) 4.204 * * [simplify]: iters left: 2 (33 enodes) 4.211 * * [simplify]: iters left: 1 (40 enodes) 4.216 * * [simplify]: Extracting #0: cost 1 inf + 0 4.216 * * [simplify]: Extracting #1: cost 6 inf + 0 4.216 * * [simplify]: Extracting #2: cost 10 inf + 1 4.216 * * [simplify]: Extracting #3: cost 1 inf + 455 4.217 * * [simplify]: Extracting #4: cost 0 inf + 417 4.217 * [simplify]: Simplified to (* (+ b a) a) 4.217 * [simplify]: Simplified (2 1) to (λ (a b) (+ (* (+ b a) a) (* b (+ a b)))) 4.217 * * * * [progress]: [ 54 / 54 ] simplifiying candidate # 4.217 * [simplify]: Simplifying (+ (pow a 2) (* a b)) 4.217 * * [simplify]: iters left: 4 (6 enodes) 4.219 * * [simplify]: iters left: 3 (25 enodes) 4.223 * * [simplify]: iters left: 2 (33 enodes) 4.231 * * [simplify]: iters left: 1 (40 enodes) 4.241 * * [simplify]: Extracting #0: cost 1 inf + 0 4.241 * * [simplify]: Extracting #1: cost 6 inf + 0 4.241 * * [simplify]: Extracting #2: cost 10 inf + 1 4.241 * * [simplify]: Extracting #3: cost 1 inf + 455 4.241 * * [simplify]: Extracting #4: cost 0 inf + 417 4.241 * [simplify]: Simplified to (* (+ b a) a) 4.241 * [simplify]: Simplified (2 1) to (λ (a b) (+ (* (+ b a) a) (* b (+ a b)))) 4.241 * * * [progress]: adding candidates to table 4.673 * * [progress]: iteration 3 / 4 4.673 * * * [progress]: picking best candidate 4.675 * * * * [pick]: Picked # 4.675 * * * [progress]: localizing error 4.688 * * * [progress]: generating rewritten candidates 4.688 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 4.705 * * * [progress]: generating series expansions 4.705 * * * * [progress]: [ 1 / 1 ] generating series at (2) 4.705 * [backup-simplify]: Simplify (+ (* b (+ (* a 2) b)) (* a a)) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 4.705 * [approximate]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in (b a) around 0 4.705 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in a 4.705 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.705 * [taylor]: Taking taylor expansion of a in a 4.705 * [backup-simplify]: Simplify 0 into 0 4.705 * [backup-simplify]: Simplify 1 into 1 4.705 * [taylor]: Taking taylor expansion of (+ (pow b 2) (* 2 (* a b))) in a 4.705 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.705 * [taylor]: Taking taylor expansion of b in a 4.705 * [backup-simplify]: Simplify b into b 4.705 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a 4.705 * [taylor]: Taking taylor expansion of 2 in a 4.705 * [backup-simplify]: Simplify 2 into 2 4.705 * [taylor]: Taking taylor expansion of (* a b) in a 4.705 * [taylor]: Taking taylor expansion of a in a 4.705 * [backup-simplify]: Simplify 0 into 0 4.705 * [backup-simplify]: Simplify 1 into 1 4.705 * [taylor]: Taking taylor expansion of b in a 4.705 * [backup-simplify]: Simplify b into b 4.705 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in b 4.705 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.705 * [taylor]: Taking taylor expansion of a in b 4.705 * [backup-simplify]: Simplify a into a 4.705 * [taylor]: Taking taylor expansion of (+ (pow b 2) (* 2 (* a b))) in b 4.705 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.705 * [taylor]: Taking taylor expansion of b in b 4.705 * [backup-simplify]: Simplify 0 into 0 4.705 * [backup-simplify]: Simplify 1 into 1 4.705 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b 4.705 * [taylor]: Taking taylor expansion of 2 in b 4.705 * [backup-simplify]: Simplify 2 into 2 4.705 * [taylor]: Taking taylor expansion of (* a b) in b 4.705 * [taylor]: Taking taylor expansion of a in b 4.705 * [backup-simplify]: Simplify a into a 4.705 * [taylor]: Taking taylor expansion of b in b 4.705 * [backup-simplify]: Simplify 0 into 0 4.705 * [backup-simplify]: Simplify 1 into 1 4.705 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in b 4.705 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.705 * [taylor]: Taking taylor expansion of a in b 4.705 * [backup-simplify]: Simplify a into a 4.706 * [taylor]: Taking taylor expansion of (+ (pow b 2) (* 2 (* a b))) in b 4.706 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.706 * [taylor]: Taking taylor expansion of b in b 4.706 * [backup-simplify]: Simplify 0 into 0 4.706 * [backup-simplify]: Simplify 1 into 1 4.706 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b 4.706 * [taylor]: Taking taylor expansion of 2 in b 4.706 * [backup-simplify]: Simplify 2 into 2 4.706 * [taylor]: Taking taylor expansion of (* a b) in b 4.706 * [taylor]: Taking taylor expansion of a in b 4.706 * [backup-simplify]: Simplify a into a 4.706 * [taylor]: Taking taylor expansion of b in b 4.706 * [backup-simplify]: Simplify 0 into 0 4.706 * [backup-simplify]: Simplify 1 into 1 4.706 * [backup-simplify]: Simplify (* a a) into (pow a 2) 4.706 * [backup-simplify]: Simplify (* a 0) into 0 4.706 * [backup-simplify]: Simplify (* 2 0) into 0 4.707 * [backup-simplify]: Simplify (+ 0 0) into 0 4.707 * [backup-simplify]: Simplify (+ (pow a 2) 0) into (pow a 2) 4.707 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.707 * [taylor]: Taking taylor expansion of a in a 4.707 * [backup-simplify]: Simplify 0 into 0 4.707 * [backup-simplify]: Simplify 1 into 1 4.707 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 4.707 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 4.708 * [backup-simplify]: Simplify (+ (* 2 a) (* 0 0)) into (* 2 a) 4.708 * [backup-simplify]: Simplify (+ 0 (* 2 a)) into (* 2 a) 4.708 * [backup-simplify]: Simplify (+ 0 (* 2 a)) into (* 2 a) 4.708 * [taylor]: Taking taylor expansion of (* 2 a) in a 4.708 * [taylor]: Taking taylor expansion of 2 in a 4.708 * [backup-simplify]: Simplify 2 into 2 4.708 * [taylor]: Taking taylor expansion of a in a 4.708 * [backup-simplify]: Simplify 0 into 0 4.708 * [backup-simplify]: Simplify 1 into 1 4.708 * [backup-simplify]: Simplify (* 2 0) into 0 4.708 * [backup-simplify]: Simplify 0 into 0 4.709 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 4.709 * [backup-simplify]: Simplify (* 1 1) into 1 4.709 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 1) (* 0 0))) into 0 4.710 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 a) (* 0 0))) into 0 4.710 * [backup-simplify]: Simplify (+ 1 0) into 1 4.711 * [backup-simplify]: Simplify (+ 0 1) into 1 4.711 * [taylor]: Taking taylor expansion of 1 in a 4.711 * [backup-simplify]: Simplify 1 into 1 4.711 * [backup-simplify]: Simplify 1 into 1 4.711 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 4.711 * [backup-simplify]: Simplify 2 into 2 4.711 * [backup-simplify]: Simplify (* 1 1) into 1 4.711 * [backup-simplify]: Simplify 1 into 1 4.712 * [backup-simplify]: Simplify (+ (* 1 (pow (* a 1) 2)) (+ (* 2 (* a b)) (* 1 (pow (* 1 b) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 4.712 * [backup-simplify]: Simplify (+ (* (/ 1 b) (+ (* (/ 1 a) 2) (/ 1 b))) (* (/ 1 a) (/ 1 a))) into (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) 4.712 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in (b a) around 0 4.712 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in a 4.712 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 4.712 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.712 * [taylor]: Taking taylor expansion of a in a 4.712 * [backup-simplify]: Simplify 0 into 0 4.712 * [backup-simplify]: Simplify 1 into 1 4.712 * [backup-simplify]: Simplify (* 1 1) into 1 4.713 * [backup-simplify]: Simplify (/ 1 1) into 1 4.713 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in a 4.713 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 4.713 * [taylor]: Taking taylor expansion of 2 in a 4.713 * [backup-simplify]: Simplify 2 into 2 4.713 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 4.713 * [taylor]: Taking taylor expansion of (* a b) in a 4.713 * [taylor]: Taking taylor expansion of a in a 4.713 * [backup-simplify]: Simplify 0 into 0 4.713 * [backup-simplify]: Simplify 1 into 1 4.713 * [taylor]: Taking taylor expansion of b in a 4.713 * [backup-simplify]: Simplify b into b 4.713 * [backup-simplify]: Simplify (* 0 b) into 0 4.713 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 4.713 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.713 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 4.713 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.713 * [taylor]: Taking taylor expansion of b in a 4.713 * [backup-simplify]: Simplify b into b 4.713 * [backup-simplify]: Simplify (* b b) into (pow b 2) 4.713 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 4.713 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in b 4.713 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 4.713 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.713 * [taylor]: Taking taylor expansion of a in b 4.713 * [backup-simplify]: Simplify a into a 4.713 * [backup-simplify]: Simplify (* a a) into (pow a 2) 4.713 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 4.713 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in b 4.713 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 4.713 * [taylor]: Taking taylor expansion of 2 in b 4.714 * [backup-simplify]: Simplify 2 into 2 4.714 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 4.714 * [taylor]: Taking taylor expansion of (* a b) in b 4.714 * [taylor]: Taking taylor expansion of a in b 4.714 * [backup-simplify]: Simplify a into a 4.714 * [taylor]: Taking taylor expansion of b in b 4.714 * [backup-simplify]: Simplify 0 into 0 4.714 * [backup-simplify]: Simplify 1 into 1 4.714 * [backup-simplify]: Simplify (* a 0) into 0 4.714 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 4.714 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.714 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 4.714 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.714 * [taylor]: Taking taylor expansion of b in b 4.714 * [backup-simplify]: Simplify 0 into 0 4.714 * [backup-simplify]: Simplify 1 into 1 4.714 * [backup-simplify]: Simplify (* 1 1) into 1 4.715 * [backup-simplify]: Simplify (/ 1 1) into 1 4.715 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in b 4.715 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 4.715 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.715 * [taylor]: Taking taylor expansion of a in b 4.715 * [backup-simplify]: Simplify a into a 4.715 * [backup-simplify]: Simplify (* a a) into (pow a 2) 4.715 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 4.715 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in b 4.715 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 4.715 * [taylor]: Taking taylor expansion of 2 in b 4.715 * [backup-simplify]: Simplify 2 into 2 4.715 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 4.715 * [taylor]: Taking taylor expansion of (* a b) in b 4.715 * [taylor]: Taking taylor expansion of a in b 4.715 * [backup-simplify]: Simplify a into a 4.715 * [taylor]: Taking taylor expansion of b in b 4.715 * [backup-simplify]: Simplify 0 into 0 4.715 * [backup-simplify]: Simplify 1 into 1 4.715 * [backup-simplify]: Simplify (* a 0) into 0 4.716 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 4.716 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.716 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 4.716 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.716 * [taylor]: Taking taylor expansion of b in b 4.716 * [backup-simplify]: Simplify 0 into 0 4.716 * [backup-simplify]: Simplify 1 into 1 4.716 * [backup-simplify]: Simplify (* 1 1) into 1 4.716 * [backup-simplify]: Simplify (/ 1 1) into 1 4.717 * [backup-simplify]: Simplify (+ 0 1) into 1 4.717 * [backup-simplify]: Simplify (+ 0 1) into 1 4.717 * [taylor]: Taking taylor expansion of 1 in a 4.717 * [backup-simplify]: Simplify 1 into 1 4.717 * [backup-simplify]: Simplify (* 2 (/ 1 a)) into (/ 2 a) 4.717 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.718 * [backup-simplify]: Simplify (+ (/ 2 a) 0) into (* 2 (/ 1 a)) 4.718 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 a))) into (* 2 (/ 1 a)) 4.718 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 4.718 * [taylor]: Taking taylor expansion of 2 in a 4.718 * [backup-simplify]: Simplify 2 into 2 4.718 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.718 * [taylor]: Taking taylor expansion of a in a 4.718 * [backup-simplify]: Simplify 0 into 0 4.718 * [backup-simplify]: Simplify 1 into 1 4.718 * [backup-simplify]: Simplify (/ 1 1) into 1 4.719 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 1) (* 0 0))) into 0 4.719 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 4.719 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 a))) into 0 4.720 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.720 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.721 * [backup-simplify]: Simplify (+ 0 0) into 0 4.721 * [backup-simplify]: Simplify (+ (/ 1 (pow a 2)) 0) into (/ 1 (pow a 2)) 4.721 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 4.721 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.721 * [taylor]: Taking taylor expansion of a in a 4.721 * [backup-simplify]: Simplify 0 into 0 4.721 * [backup-simplify]: Simplify 1 into 1 4.721 * [backup-simplify]: Simplify (* 1 1) into 1 4.721 * [backup-simplify]: Simplify (/ 1 1) into 1 4.721 * [backup-simplify]: Simplify 1 into 1 4.722 * [backup-simplify]: Simplify (* 2 1) into 2 4.722 * [backup-simplify]: Simplify 2 into 2 4.722 * [backup-simplify]: Simplify 1 into 1 4.722 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 b))) 2)) (+ (* 2 (* (/ 1 (/ 1 a)) (/ 1 (/ 1 b)))) (* 1 (pow (* (/ 1 (/ 1 a)) 1) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 4.722 * [backup-simplify]: Simplify (+ (* (/ 1 (- b)) (+ (* (/ 1 (- a)) 2) (/ 1 (- b)))) (* (/ 1 (- a)) (/ 1 (- a)))) into (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) 4.722 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in (b a) around 0 4.722 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in a 4.722 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 4.722 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.722 * [taylor]: Taking taylor expansion of a in a 4.722 * [backup-simplify]: Simplify 0 into 0 4.722 * [backup-simplify]: Simplify 1 into 1 4.722 * [backup-simplify]: Simplify (* 1 1) into 1 4.723 * [backup-simplify]: Simplify (/ 1 1) into 1 4.723 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in a 4.723 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 4.723 * [taylor]: Taking taylor expansion of 2 in a 4.723 * [backup-simplify]: Simplify 2 into 2 4.723 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 4.723 * [taylor]: Taking taylor expansion of (* a b) in a 4.723 * [taylor]: Taking taylor expansion of a in a 4.723 * [backup-simplify]: Simplify 0 into 0 4.723 * [backup-simplify]: Simplify 1 into 1 4.723 * [taylor]: Taking taylor expansion of b in a 4.723 * [backup-simplify]: Simplify b into b 4.723 * [backup-simplify]: Simplify (* 0 b) into 0 4.723 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 4.723 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.723 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 4.723 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.723 * [taylor]: Taking taylor expansion of b in a 4.723 * [backup-simplify]: Simplify b into b 4.723 * [backup-simplify]: Simplify (* b b) into (pow b 2) 4.723 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 4.723 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in b 4.723 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 4.723 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.723 * [taylor]: Taking taylor expansion of a in b 4.723 * [backup-simplify]: Simplify a into a 4.723 * [backup-simplify]: Simplify (* a a) into (pow a 2) 4.724 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 4.724 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in b 4.724 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 4.724 * [taylor]: Taking taylor expansion of 2 in b 4.724 * [backup-simplify]: Simplify 2 into 2 4.724 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 4.724 * [taylor]: Taking taylor expansion of (* a b) in b 4.724 * [taylor]: Taking taylor expansion of a in b 4.724 * [backup-simplify]: Simplify a into a 4.724 * [taylor]: Taking taylor expansion of b in b 4.724 * [backup-simplify]: Simplify 0 into 0 4.724 * [backup-simplify]: Simplify 1 into 1 4.724 * [backup-simplify]: Simplify (* a 0) into 0 4.724 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 4.724 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.724 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 4.724 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.724 * [taylor]: Taking taylor expansion of b in b 4.724 * [backup-simplify]: Simplify 0 into 0 4.724 * [backup-simplify]: Simplify 1 into 1 4.724 * [backup-simplify]: Simplify (* 1 1) into 1 4.725 * [backup-simplify]: Simplify (/ 1 1) into 1 4.725 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in b 4.725 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 4.725 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.725 * [taylor]: Taking taylor expansion of a in b 4.725 * [backup-simplify]: Simplify a into a 4.725 * [backup-simplify]: Simplify (* a a) into (pow a 2) 4.725 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 4.725 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in b 4.725 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 4.725 * [taylor]: Taking taylor expansion of 2 in b 4.725 * [backup-simplify]: Simplify 2 into 2 4.725 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 4.725 * [taylor]: Taking taylor expansion of (* a b) in b 4.725 * [taylor]: Taking taylor expansion of a in b 4.725 * [backup-simplify]: Simplify a into a 4.725 * [taylor]: Taking taylor expansion of b in b 4.725 * [backup-simplify]: Simplify 0 into 0 4.725 * [backup-simplify]: Simplify 1 into 1 4.725 * [backup-simplify]: Simplify (* a 0) into 0 4.725 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 4.725 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.725 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 4.725 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.725 * [taylor]: Taking taylor expansion of b in b 4.725 * [backup-simplify]: Simplify 0 into 0 4.725 * [backup-simplify]: Simplify 1 into 1 4.726 * [backup-simplify]: Simplify (* 1 1) into 1 4.726 * [backup-simplify]: Simplify (/ 1 1) into 1 4.726 * [backup-simplify]: Simplify (+ 0 1) into 1 4.726 * [backup-simplify]: Simplify (+ 0 1) into 1 4.726 * [taylor]: Taking taylor expansion of 1 in a 4.726 * [backup-simplify]: Simplify 1 into 1 4.727 * [backup-simplify]: Simplify (* 2 (/ 1 a)) into (/ 2 a) 4.727 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.727 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.727 * [backup-simplify]: Simplify (+ (/ 2 a) 0) into (* 2 (/ 1 a)) 4.727 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 a))) into (* 2 (/ 1 a)) 4.728 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 4.728 * [taylor]: Taking taylor expansion of 2 in a 4.728 * [backup-simplify]: Simplify 2 into 2 4.728 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.728 * [taylor]: Taking taylor expansion of a in a 4.728 * [backup-simplify]: Simplify 0 into 0 4.728 * [backup-simplify]: Simplify 1 into 1 4.728 * [backup-simplify]: Simplify (/ 1 1) into 1 4.728 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 1) (* 0 0))) into 0 4.728 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 4.729 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 a))) into 0 4.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.730 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.730 * [backup-simplify]: Simplify (+ 0 0) into 0 4.730 * [backup-simplify]: Simplify (+ (/ 1 (pow a 2)) 0) into (/ 1 (pow a 2)) 4.730 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 4.730 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.730 * [taylor]: Taking taylor expansion of a in a 4.730 * [backup-simplify]: Simplify 0 into 0 4.730 * [backup-simplify]: Simplify 1 into 1 4.730 * [backup-simplify]: Simplify (* 1 1) into 1 4.731 * [backup-simplify]: Simplify (/ 1 1) into 1 4.731 * [backup-simplify]: Simplify 1 into 1 4.731 * [backup-simplify]: Simplify (* 2 1) into 2 4.731 * [backup-simplify]: Simplify 2 into 2 4.731 * [backup-simplify]: Simplify 1 into 1 4.731 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- b)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- a))) (/ 1 (/ 1 (- b))))) (* 1 (pow (* (/ 1 (/ 1 (- a))) 1) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 4.731 * * * [progress]: simplifying candidates 4.731 * * * * [progress]: [ 1 / 17 ] simplifiying candidate # 4.731 * [simplify]: Simplifying (* (exp (* b (+ (* a 2) b))) (exp (* a a))) 4.732 * * [simplify]: iters left: 6 (10 enodes) 4.734 * * [simplify]: iters left: 5 (45 enodes) 4.742 * * [simplify]: iters left: 4 (85 enodes) 4.762 * * [simplify]: iters left: 3 (158 enodes) 4.819 * * [simplify]: iters left: 2 (336 enodes) 4.983 * * [simplify]: Extracting #0: cost 1 inf + 0 4.983 * * [simplify]: Extracting #1: cost 63 inf + 0 4.984 * * [simplify]: Extracting #2: cost 295 inf + 0 4.986 * * [simplify]: Extracting #3: cost 319 inf + 3092 4.991 * * [simplify]: Extracting #4: cost 185 inf + 41981 5.019 * * [simplify]: Extracting #5: cost 47 inf + 127160 5.047 * * [simplify]: Extracting #6: cost 1 inf + 161679 5.065 * * [simplify]: Extracting #7: cost 0 inf + 162444 5.099 * [simplify]: Simplified to (exp (+ (* (+ (* 2 a) b) b) (* a a))) 5.099 * [simplify]: Simplified (2 1) to (λ (a b) (log (exp (+ (* (+ (* 2 a) b) b) (* a a))))) 5.099 * * * * [progress]: [ 2 / 17 ] simplifiying candidate # 5.100 * * * * [progress]: [ 3 / 17 ] simplifiying candidate # 5.100 * * * * [progress]: [ 4 / 17 ] simplifiying candidate # 5.100 * * * * [progress]: [ 5 / 17 ] simplifiying candidate # 5.100 * * * * [progress]: [ 6 / 17 ] simplifiying candidate # 5.100 * * * * [progress]: [ 7 / 17 ] simplifiying candidate # 5.100 * * * * [progress]: [ 8 / 17 ] simplifiying candidate # 5.100 * * * * [progress]: [ 9 / 17 ] simplifiying candidate # 5.100 * * * * [progress]: [ 10 / 17 ] simplifiying candidate # 5.100 * * * * [progress]: [ 11 / 17 ] simplifiying candidate # 5.100 * [simplify]: Simplifying (* b (* a 2)) 5.100 * * [simplify]: iters left: 4 (5 enodes) 5.104 * * [simplify]: iters left: 3 (19 enodes) 5.110 * * [simplify]: iters left: 2 (27 enodes) 5.118 * * [simplify]: iters left: 1 (32 enodes) 5.126 * * [simplify]: Extracting #0: cost 1 inf + 0 5.126 * * [simplify]: Extracting #1: cost 8 inf + 0 5.126 * * [simplify]: Extracting #2: cost 7 inf + 45 5.126 * * [simplify]: Extracting #3: cost 0 inf + 421 5.127 * [simplify]: Simplified to (* (* 2 a) b) 5.127 * [simplify]: Simplified (2 1) to (λ (a b) (+ (* (* 2 a) b) (+ (* b b) (* a a)))) 5.127 * * * * [progress]: [ 12 / 17 ] simplifiying candidate # 5.127 * [simplify]: Simplifying (* (* a 2) b) 5.127 * * [simplify]: iters left: 4 (5 enodes) 5.130 * * [simplify]: iters left: 3 (19 enodes) 5.136 * * [simplify]: iters left: 2 (27 enodes) 5.146 * * [simplify]: iters left: 1 (32 enodes) 5.154 * * [simplify]: Extracting #0: cost 1 inf + 0 5.154 * * [simplify]: Extracting #1: cost 8 inf + 0 5.154 * * [simplify]: Extracting #2: cost 7 inf + 45 5.154 * * [simplify]: Extracting #3: cost 0 inf + 421 5.155 * [simplify]: Simplified to (* (* a 2) b) 5.155 * [simplify]: Simplified (2 1) to (λ (a b) (+ (* (* a 2) b) (+ (* b b) (* a a)))) 5.155 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #real (real->posit16 (+ (* b (+ (* a 2) b)) (* a a)))))> 5.155 * * * * [progress]: [ 14 / 17 ] simplifiying candidate # 5.155 * * * * [progress]: [ 15 / 17 ] simplifiying candidate # 5.155 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 5.155 * * [simplify]: iters left: 6 (9 enodes) 5.160 * * [simplify]: iters left: 5 (43 enodes) 5.168 * * [simplify]: iters left: 4 (67 enodes) 5.179 * * [simplify]: iters left: 3 (96 enodes) 5.193 * * [simplify]: iters left: 2 (117 enodes) 5.220 * * [simplify]: Extracting #0: cost 1 inf + 0 5.220 * * [simplify]: Extracting #1: cost 8 inf + 0 5.220 * * [simplify]: Extracting #2: cost 23 inf + 0 5.221 * * [simplify]: Extracting #3: cost 22 inf + 253 5.221 * * [simplify]: Extracting #4: cost 6 inf + 1610 5.222 * * [simplify]: Extracting #5: cost 0 inf + 2225 5.223 * [simplify]: Simplified to (+ (* b (+ (* a 2) b)) (* a a)) 5.223 * [simplify]: Simplified (2) to (λ (a b) (+ (* b (+ (* a 2) b)) (* a a))) 5.223 * * * * [progress]: [ 16 / 17 ] simplifiying candidate # 5.224 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 5.224 * * [simplify]: iters left: 6 (9 enodes) 5.230 * * [simplify]: iters left: 5 (43 enodes) 5.244 * * [simplify]: iters left: 4 (67 enodes) 5.260 * * [simplify]: iters left: 3 (96 enodes) 5.274 * * [simplify]: iters left: 2 (117 enodes) 5.294 * * [simplify]: Extracting #0: cost 1 inf + 0 5.294 * * [simplify]: Extracting #1: cost 8 inf + 0 5.295 * * [simplify]: Extracting #2: cost 23 inf + 0 5.295 * * [simplify]: Extracting #3: cost 22 inf + 253 5.296 * * [simplify]: Extracting #4: cost 6 inf + 1610 5.296 * * [simplify]: Extracting #5: cost 0 inf + 2225 5.297 * [simplify]: Simplified to (+ (* b (+ (* a 2) b)) (* a a)) 5.297 * [simplify]: Simplified (2) to (λ (a b) (+ (* b (+ (* a 2) b)) (* a a))) 5.297 * * * * [progress]: [ 17 / 17 ] simplifiying candidate # 5.297 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 5.297 * * [simplify]: iters left: 6 (9 enodes) 5.300 * * [simplify]: iters left: 5 (43 enodes) 5.308 * * [simplify]: iters left: 4 (67 enodes) 5.318 * * [simplify]: iters left: 3 (96 enodes) 5.340 * * [simplify]: iters left: 2 (117 enodes) 5.369 * * [simplify]: Extracting #0: cost 1 inf + 0 5.369 * * [simplify]: Extracting #1: cost 8 inf + 0 5.369 * * [simplify]: Extracting #2: cost 23 inf + 0 5.369 * * [simplify]: Extracting #3: cost 22 inf + 253 5.370 * * [simplify]: Extracting #4: cost 6 inf + 1610 5.371 * * [simplify]: Extracting #5: cost 0 inf + 2225 5.372 * [simplify]: Simplified to (+ (* b (+ (* a 2) b)) (* a a)) 5.372 * [simplify]: Simplified (2) to (λ (a b) (+ (* b (+ (* a 2) b)) (* a a))) 5.372 * * * [progress]: adding candidates to table 5.503 * [progress]: [Phase 3 of 3] Extracting. 5.503 * * [regime]: Finding splitpoints for: (# #) 5.503 * * * [regime-changes]: Trying 2 branch expressions: (b a) 5.503 * * * * [regimes]: Trying to branch on b from (# #) 5.525 * * * * [regimes]: Trying to branch on a from (# #) 5.543 * * * [regime]: Found split indices: #