1550843041.081 * [misc]progress: [Phase 1 of 3] Setting up. 1550843041.081 * * * [misc]progress: [1/2] Preparing points 1550843041.115 * * * [misc]progress: [2/2] Setting up program. 1550843041.118 * [misc]progress: [Phase 2 of 3] Improving. 1550843041.118 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1550843041.118 * [enter]simplify: Simplifying (exp (- (- 1 (* x x)))) 1550843041.118 * * [misc]simplify: iters left: 6 (6 enodes) 1550843041.120 * * [misc]simplify: iters left: 5 (24 enodes) 1550843041.125 * * [misc]simplify: iters left: 4 (43 enodes) 1550843041.147 * * [misc]simplify: iters left: 3 (73 enodes) 1550843041.159 * * [misc]simplify: iters left: 2 (104 enodes) 1550843041.176 * * [misc]simplify: iters left: 1 (144 enodes) 1550843041.198 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550843041.198 * * [misc]simplify: Extracting #1: cost 18 inf + 0 1550843041.198 * * [misc]simplify: Extracting #2: cost 37 inf + 2 1550843041.198 * * [misc]simplify: Extracting #3: cost 40 inf + 282 1550843041.199 * * [misc]simplify: Extracting #4: cost 7 inf + 3034 1550843041.200 * * [misc]simplify: Extracting #5: cost 0 inf + 3795 1550843041.201 * [exit]simplify: Simplified to (exp (fma x x -1)) 1550843041.201 * [misc]simplify: Simplified (2) to (λ (x) (exp (fma x x -1))) 1550843041.206 * * [misc]progress: iteration 1 / 4 1550843041.206 * * * [misc]progress: picking best candidate 1550843041.208 * * * * [misc]pick: Picked # 1550843041.208 * * * [misc]progress: localizing error 1550843041.222 * * * [misc]progress: generating rewritten candidates 1550843041.222 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1550843041.226 * * * [misc]progress: generating series expansions 1550843041.226 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1550843041.227 * [misc]backup-simplify: Simplify (exp (fma x x -1)) into (exp (fma x x -1)) 1550843041.227 * [misc]approximate: Taking taylor expansion of (exp (fma x x -1)) in (x) around 0 1550843041.227 * [misc]taylor: Taking taylor expansion of (exp (fma x x -1)) in x 1550843041.227 * [misc]taylor: Taking taylor expansion of (fma x x -1) in x 1550843041.228 * [misc]taylor: Rewrote expression to (+ (* x x) -1) 1550843041.228 * [misc]taylor: Taking taylor expansion of (* x x) in x 1550843041.228 * [misc]taylor: Taking taylor expansion of x in x 1550843041.228 * [misc]backup-simplify: Simplify 0 into 0 1550843041.228 * [misc]backup-simplify: Simplify 1 into 1 1550843041.228 * [misc]taylor: Taking taylor expansion of x in x 1550843041.228 * [misc]backup-simplify: Simplify 0 into 0 1550843041.228 * [misc]backup-simplify: Simplify 1 into 1 1550843041.228 * [misc]taylor: Taking taylor expansion of -1 in x 1550843041.229 * [misc]backup-simplify: Simplify -1 into -1 1550843041.229 * [misc]backup-simplify: Simplify (* 0 0) into 0 1550843041.229 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550843041.229 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1550843041.229 * [misc]taylor: Taking taylor expansion of (exp (fma x x -1)) in x 1550843041.229 * [misc]taylor: Taking taylor expansion of (fma x x -1) in x 1550843041.229 * [misc]taylor: Rewrote expression to (+ (* x x) -1) 1550843041.229 * [misc]taylor: Taking taylor expansion of (* x x) in x 1550843041.229 * [misc]taylor: Taking taylor expansion of x in x 1550843041.229 * [misc]backup-simplify: Simplify 0 into 0 1550843041.229 * [misc]backup-simplify: Simplify 1 into 1 1550843041.229 * [misc]taylor: Taking taylor expansion of x in x 1550843041.229 * [misc]backup-simplify: Simplify 0 into 0 1550843041.229 * [misc]backup-simplify: Simplify 1 into 1 1550843041.229 * [misc]taylor: Taking taylor expansion of -1 in x 1550843041.229 * [misc]backup-simplify: Simplify -1 into -1 1550843041.229 * [misc]backup-simplify: Simplify (* 0 0) into 0 1550843041.229 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1550843041.230 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1550843041.230 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1550843041.230 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 1550843041.230 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550843041.235 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 1550843041.235 * [misc]backup-simplify: Simplify 0 into 0 1550843041.235 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 1550843041.235 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550843041.237 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1) 1550843041.237 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1550843041.238 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 1550843041.238 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550843041.240 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550843041.240 * [misc]backup-simplify: Simplify 0 into 0 1550843041.240 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1550843041.240 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1550843041.244 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp -1)) 1550843041.245 * [misc]backup-simplify: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 1550843041.246 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (exp -1)) (pow x 4)) (+ (* (exp -1) (pow x 2)) (exp -1))) into (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 1550843041.246 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1550843041.246 * [misc]approximate: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in (x) around 0 1550843041.246 * [misc]taylor: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x 1550843041.246 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 1550843041.246 * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 1550843041.246 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1550843041.246 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550843041.246 * [misc]taylor: Taking taylor expansion of x in x 1550843041.246 * [misc]backup-simplify: Simplify 0 into 0 1550843041.246 * [misc]backup-simplify: Simplify 1 into 1 1550843041.246 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550843041.246 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550843041.246 * [misc]taylor: Taking taylor expansion of x in x 1550843041.246 * [misc]backup-simplify: Simplify 0 into 0 1550843041.246 * [misc]backup-simplify: Simplify 1 into 1 1550843041.246 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550843041.246 * [misc]taylor: Taking taylor expansion of -1 in x 1550843041.246 * [misc]backup-simplify: Simplify -1 into -1 1550843041.246 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550843041.246 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550843041.247 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1550843041.247 * [misc]taylor: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x 1550843041.247 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 1550843041.247 * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 1550843041.247 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1550843041.247 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550843041.247 * [misc]taylor: Taking taylor expansion of x in x 1550843041.247 * [misc]backup-simplify: Simplify 0 into 0 1550843041.247 * [misc]backup-simplify: Simplify 1 into 1 1550843041.247 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550843041.247 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1550843041.247 * [misc]taylor: Taking taylor expansion of x in x 1550843041.247 * [misc]backup-simplify: Simplify 0 into 0 1550843041.247 * [misc]backup-simplify: Simplify 1 into 1 1550843041.247 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550843041.247 * [misc]taylor: Taking taylor expansion of -1 in x 1550843041.247 * [misc]backup-simplify: Simplify -1 into -1 1550843041.247 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550843041.247 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550843041.247 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1550843041.248 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1550843041.248 * [misc]backup-simplify: Simplify 0 into 0 1550843041.248 * [misc]backup-simplify: Simplify 0 into 0 1550843041.248 * [misc]backup-simplify: Simplify 0 into 0 1550843041.248 * [misc]backup-simplify: Simplify 0 into 0 1550843041.248 * [misc]backup-simplify: Simplify 0 into 0 1550843041.248 * [misc]backup-simplify: Simplify 0 into 0 1550843041.248 * [misc]backup-simplify: Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1)) into (exp (fma x x -1)) 1550843041.248 * [misc]backup-simplify: Simplify (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1550843041.248 * [misc]approximate: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in (x) around 0 1550843041.248 * [misc]taylor: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x 1550843041.248 * [misc]taylor: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 1550843041.248 * [misc]taylor: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 1550843041.248 * [misc]taylor: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1550843041.248 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1550843041.248 * [misc]taylor: Taking taylor expansion of -1 in x 1550843041.248 * [misc]backup-simplify: Simplify -1 into -1 1550843041.248 * [misc]taylor: Taking taylor expansion of x in x 1550843041.248 * [misc]backup-simplify: Simplify 0 into 0 1550843041.248 * [misc]backup-simplify: Simplify 1 into 1 1550843041.248 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550843041.248 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1550843041.248 * [misc]taylor: Taking taylor expansion of -1 in x 1550843041.248 * [misc]backup-simplify: Simplify -1 into -1 1550843041.248 * [misc]taylor: Taking taylor expansion of x in x 1550843041.248 * [misc]backup-simplify: Simplify 0 into 0 1550843041.248 * [misc]backup-simplify: Simplify 1 into 1 1550843041.249 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550843041.249 * [misc]taylor: Taking taylor expansion of -1 in x 1550843041.249 * [misc]backup-simplify: Simplify -1 into -1 1550843041.249 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1550843041.249 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550843041.249 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1550843041.249 * [misc]taylor: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x 1550843041.249 * [misc]taylor: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 1550843041.249 * [misc]taylor: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 1550843041.249 * [misc]taylor: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1550843041.249 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1550843041.249 * [misc]taylor: Taking taylor expansion of -1 in x 1550843041.249 * [misc]backup-simplify: Simplify -1 into -1 1550843041.249 * [misc]taylor: Taking taylor expansion of x in x 1550843041.249 * [misc]backup-simplify: Simplify 0 into 0 1550843041.249 * [misc]backup-simplify: Simplify 1 into 1 1550843041.249 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550843041.249 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1550843041.249 * [misc]taylor: Taking taylor expansion of -1 in x 1550843041.249 * [misc]backup-simplify: Simplify -1 into -1 1550843041.249 * [misc]taylor: Taking taylor expansion of x in x 1550843041.249 * [misc]backup-simplify: Simplify 0 into 0 1550843041.249 * [misc]backup-simplify: Simplify 1 into 1 1550843041.249 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1550843041.249 * [misc]taylor: Taking taylor expansion of -1 in x 1550843041.249 * [misc]backup-simplify: Simplify -1 into -1 1550843041.250 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1550843041.250 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1550843041.250 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1550843041.250 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1550843041.250 * [misc]backup-simplify: Simplify 0 into 0 1550843041.250 * [misc]backup-simplify: Simplify 0 into 0 1550843041.250 * [misc]backup-simplify: Simplify 0 into 0 1550843041.250 * [misc]backup-simplify: Simplify 0 into 0 1550843041.250 * [misc]backup-simplify: Simplify 0 into 0 1550843041.250 * [misc]backup-simplify: Simplify 0 into 0 1550843041.250 * [misc]backup-simplify: Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1)) into (exp (fma x x -1)) 1550843041.250 * * * [misc]progress: simplifying candidates 1550843041.250 * * * * [misc]progress: [ 1 / 18 ] simplifiying candidate # 1550843041.250 * * * * [misc]progress: [ 2 / 18 ] simplifiying candidate # 1550843041.250 * * * * [misc]progress: [ 3 / 18 ] simplifiying candidate # 1550843041.250 * * * * [misc]progress: [ 4 / 18 ] simplifiying candidate # 1550843041.251 * [enter]simplify: Simplifying (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) 1550843041.251 * * [misc]simplify: iters left: 5 (6 enodes) 1550843041.253 * * [misc]simplify: iters left: 4 (22 enodes) 1550843041.260 * * [misc]simplify: iters left: 3 (31 enodes) 1550843041.270 * * [misc]simplify: iters left: 2 (43 enodes) 1550843041.283 * * [misc]simplify: iters left: 1 (59 enodes) 1550843041.303 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550843041.303 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550843041.303 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550843041.303 * * [misc]simplify: Extracting #3: cost 19 inf + 0 1550843041.303 * * [misc]simplify: Extracting #4: cost 26 inf + 3 1550843041.304 * * [misc]simplify: Extracting #5: cost 5 inf + 2053 1550843041.305 * * [misc]simplify: Extracting #6: cost 0 inf + 2563 1550843041.306 * [exit]simplify: Simplified to (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) 1550843041.306 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (cbrt (fma x x -1)))) 1550843041.306 * * * * [misc]progress: [ 5 / 18 ] simplifiying candidate # 1550843041.306 * [enter]simplify: Simplifying (exp (sqrt (fma x x -1))) 1550843041.307 * * [misc]simplify: iters left: 3 (5 enodes) 1550843041.309 * * [misc]simplify: iters left: 2 (17 enodes) 1550843041.315 * * [misc]simplify: iters left: 1 (24 enodes) 1550843041.324 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550843041.324 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550843041.324 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550843041.324 * * [misc]simplify: Extracting #3: cost 11 inf + 0 1550843041.324 * * [misc]simplify: Extracting #4: cost 13 inf + 2 1550843041.324 * * [misc]simplify: Extracting #5: cost 3 inf + 519 1550843041.324 * * [misc]simplify: Extracting #6: cost 0 inf + 895 1550843041.325 * [exit]simplify: Simplified to (exp (sqrt (fma x x -1))) 1550843041.325 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (exp (sqrt (fma x x -1))) (sqrt (fma x x -1)))) 1550843041.325 * * * * [misc]progress: [ 6 / 18 ] simplifiying candidate # 1550843041.325 * [enter]simplify: Simplifying (exp 1) 1550843041.325 * * [misc]simplify: iters left: 1 (2 enodes) 1550843041.327 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550843041.327 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1550843041.327 * [exit]simplify: Simplified to E 1550843041.327 * [misc]simplify: Simplified (2 1) to (λ (x) (pow E (fma x x -1))) 1550843041.327 * * * * [misc]progress: [ 7 / 18 ] simplifiying candidate # 1550843041.327 * [enter]simplify: Simplifying (exp (* x x)) 1550843041.327 * * [misc]simplify: iters left: 3 (3 enodes) 1550843041.328 * * [misc]simplify: iters left: 2 (11 enodes) 1550843041.331 * * [misc]simplify: iters left: 1 (13 enodes) 1550843041.334 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550843041.334 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550843041.334 * * [misc]simplify: Extracting #2: cost 6 inf + 1 1550843041.334 * * [misc]simplify: Extracting #3: cost 0 inf + 447 1550843041.334 * [exit]simplify: Simplified to (exp (* x x)) 1550843041.334 * [misc]simplify: Simplified (2 1) to (λ (x) (* (exp (* x x)) (exp -1))) 1550843041.334 * * * * [misc]progress: [ 8 / 18 ] simplifiying candidate # 1550843041.335 * [enter]simplify: Simplifying (fma x x -1) 1550843041.335 * * [misc]simplify: iters left: 1 (3 enodes) 1550843041.336 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550843041.336 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550843041.337 * * [misc]simplify: Extracting #2: cost 3 inf + 2 1550843041.337 * * [misc]simplify: Extracting #3: cost 0 inf + 157 1550843041.337 * [exit]simplify: Simplified to (fma x x -1) 1550843041.337 * [misc]simplify: Simplified (2 1) to (λ (x) (exp (fma x x -1))) 1550843041.337 * * * * [misc]progress: [ 9 / 18 ] simplifiying candidate # 1550843041.337 * * * * [misc]progress: [ 10 / 18 ] simplifiying candidate # 1550843041.337 * * * * [misc]progress: [ 11 / 18 ] simplifiying candidate # 1550843041.337 * * * * [misc]progress: [ 12 / 18 ] simplifiying candidate # 1550843041.337 * * * * [misc]progress: [ 13 / 18 ] simplifiying candidate # 1550843041.337 * * * * [misc]progress: [ 14 / 18 ] simplifiying candidate # 1550843041.337 * * * * [misc]progress: [ 15 / 18 ] simplifiying candidate #real (real->posit16 (exp (fma x x -1)))))> 1550843041.337 * * * * [misc]progress: [ 16 / 18 ] simplifiying candidate # 1550843041.337 * [enter]simplify: Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 1550843041.337 * * [misc]simplify: iters left: 6 (13 enodes) 1550843041.345 * * [misc]simplify: iters left: 5 (50 enodes) 1550843041.361 * * [misc]simplify: iters left: 4 (81 enodes) 1550843041.396 * * [misc]simplify: iters left: 3 (150 enodes) 1550843041.432 * * [misc]simplify: iters left: 2 (178 enodes) 1550843041.458 * * [misc]simplify: iters left: 1 (190 enodes) 1550843041.501 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550843041.502 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1550843041.502 * * [misc]simplify: Extracting #2: cost 47 inf + 101 1550843041.503 * * [misc]simplify: Extracting #3: cost 34 inf + 1298 1550843041.505 * * [misc]simplify: Extracting #4: cost 5 inf + 9159 1550843041.509 * * [misc]simplify: Extracting #5: cost 0 inf + 10828 1550843041.513 * [exit]simplify: Simplified to (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1)) 1550843041.513 * [misc]simplify: Simplified (2) to (λ (x) (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1))) 1550843041.513 * * * * [misc]progress: [ 17 / 18 ] simplifiying candidate # 1550843041.513 * [enter]simplify: Simplifying (exp (fma x x -1)) 1550843041.513 * * [misc]simplify: iters left: 2 (4 enodes) 1550843041.516 * * [misc]simplify: iters left: 1 (14 enodes) 1550843041.522 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550843041.522 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550843041.522 * * [misc]simplify: Extracting #2: cost 11 inf + 0 1550843041.522 * * [misc]simplify: Extracting #3: cost 10 inf + 73 1550843041.522 * * [misc]simplify: Extracting #4: cost 1 inf + 592 1550843041.522 * * [misc]simplify: Extracting #5: cost 0 inf + 719 1550843041.523 * [exit]simplify: Simplified to (exp (fma x x -1)) 1550843041.523 * [misc]simplify: Simplified (2) to (λ (x) (exp (fma x x -1))) 1550843041.523 * * * * [misc]progress: [ 18 / 18 ] simplifiying candidate # 1550843041.523 * [enter]simplify: Simplifying (exp (fma x x -1)) 1550843041.523 * * [misc]simplify: iters left: 2 (4 enodes) 1550843041.526 * * [misc]simplify: iters left: 1 (14 enodes) 1550843041.531 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550843041.531 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550843041.531 * * [misc]simplify: Extracting #2: cost 11 inf + 0 1550843041.531 * * [misc]simplify: Extracting #3: cost 10 inf + 73 1550843041.531 * * [misc]simplify: Extracting #4: cost 1 inf + 592 1550843041.532 * * [misc]simplify: Extracting #5: cost 0 inf + 719 1550843041.532 * [exit]simplify: Simplified to (exp (fma x x -1)) 1550843041.532 * [misc]simplify: Simplified (2) to (λ (x) (exp (fma x x -1))) 1550843041.532 * * * [misc]progress: adding candidates to table 1550843041.681 * * [misc]progress: iteration 2 / 4 1550843041.681 * * * [misc]progress: picking best candidate 1550843041.683 * * * * [misc]pick: Picked # 1550843041.683 * * * [misc]progress: localizing error 1550843041.693 * * * [misc]progress: generating rewritten candidates 1550843041.693 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1550843041.699 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1550843041.701 * * * [misc]progress: generating series expansions 1550843041.701 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1550843041.701 * [misc]backup-simplify: Simplify (* (exp (* x x)) (exp -1)) into (* (exp (pow x 2)) (exp -1)) 1550843041.701 * [misc]approximate: Taking taylor expansion of (* (exp (pow x 2)) (exp -1)) in (x) around 0 1550843041.701 * [misc]taylor: Taking taylor expansion of (* (exp (pow x 2)) (exp -1)) in x 1550843041.701 * [misc]taylor: Taking taylor expansion of (exp (pow x 2)) in x 1550843041.701 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550843041.701 * [misc]taylor: Taking taylor expansion of x in x 1550843041.701 * [misc]backup-simplify: Simplify 0 into 0 1550843041.701 * [misc]backup-simplify: Simplify 1 into 1 1550843041.701 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550843041.701 * [misc]backup-simplify: Simplify (exp 0) into 1 1550843041.701 * [misc]taylor: Taking taylor expansion of (exp -1) in x 1550843041.701 * [misc]taylor: Taking taylor expansion of -1 in x 1550843041.701 * [misc]backup-simplify: Simplify -1 into -1 1550843041.702 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1550843041.702 * [misc]taylor: Taking taylor expansion of (* (exp (pow x 2)) (exp -1)) in x 1550843041.702 * [misc]taylor: Taking taylor expansion of (exp (pow x 2)) in x 1550843041.702 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550843041.702 * [misc]taylor: Taking taylor expansion of x in x 1550843041.702 * [misc]backup-simplify: Simplify 0 into 0 1550843041.702 * [misc]backup-simplify: Simplify 1 into 1 1550843041.702 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550843041.702 * [misc]backup-simplify: Simplify (exp 0) into 1 1550843041.702 * [misc]taylor: Taking taylor expansion of (exp -1) in x 1550843041.702 * [misc]taylor: Taking taylor expansion of -1 in x 1550843041.702 * [misc]backup-simplify: Simplify -1 into -1 1550843041.702 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1550843041.702 * [misc]backup-simplify: Simplify (* 1 (exp -1)) into (exp -1) 1550843041.702 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1550843041.703 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 1550843041.704 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 1550843041.704 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 (exp -1))) into 0 1550843041.704 * [misc]backup-simplify: Simplify 0 into 0 1550843041.706 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550843041.707 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1 1550843041.707 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 1 (exp -1)))) into (exp -1) 1550843041.708 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1550843041.711 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550843041.711 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550843041.715 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550843041.715 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (* 0 (exp -1))))) into 0 1550843041.715 * [misc]backup-simplify: Simplify 0 into 0 1550843041.721 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550843041.722 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1550843041.728 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550843041.730 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 1/2 (exp -1)))))) into (* 1/2 (exp -1)) 1550843041.730 * [misc]backup-simplify: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 1550843041.731 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (exp -1)) (pow x 4)) (+ (* (exp -1) (pow x 2)) (exp -1))) into (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 1550843041.732 * [misc]backup-simplify: Simplify (* (exp (* (/ 1 x) (/ 1 x))) (exp -1)) into (* (exp -1) (exp (/ 1 (pow x 2)))) 1550843041.732 * [misc]approximate: Taking taylor expansion of (* (exp -1) (exp (/ 1 (pow x 2)))) in (x) around 0 1550843041.732 * [misc]taylor: Taking taylor expansion of (* (exp -1) (exp (/ 1 (pow x 2)))) in x 1550843041.732 * [misc]taylor: Taking taylor expansion of (exp -1) in x 1550843041.732 * [misc]taylor: Taking taylor expansion of -1 in x 1550843041.732 * [misc]backup-simplify: Simplify -1 into -1 1550843041.732 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1550843041.732 * [misc]taylor: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x 1550843041.732 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550843041.732 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550843041.732 * [misc]taylor: Taking taylor expansion of x in x 1550843041.732 * [misc]backup-simplify: Simplify 0 into 0 1550843041.732 * [misc]backup-simplify: Simplify 1 into 1 1550843041.732 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550843041.732 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550843041.732 * [misc]backup-simplify: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2))) 1550843041.732 * [misc]taylor: Taking taylor expansion of (* (exp -1) (exp (/ 1 (pow x 2)))) in x 1550843041.733 * [misc]taylor: Taking taylor expansion of (exp -1) in x 1550843041.733 * [misc]taylor: Taking taylor expansion of -1 in x 1550843041.733 * [misc]backup-simplify: Simplify -1 into -1 1550843041.733 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1550843041.733 * [misc]taylor: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x 1550843041.733 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550843041.733 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550843041.733 * [misc]taylor: Taking taylor expansion of x in x 1550843041.733 * [misc]backup-simplify: Simplify 0 into 0 1550843041.733 * [misc]backup-simplify: Simplify 1 into 1 1550843041.733 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550843041.733 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550843041.733 * [misc]backup-simplify: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2))) 1550843041.734 * [misc]backup-simplify: Simplify (* (exp -1) (exp (/ 1 (pow x 2)))) into (* (exp -1) (exp (/ 1 (pow x 2)))) 1550843041.734 * [misc]backup-simplify: Simplify (* (exp -1) (exp (/ 1 (pow x 2)))) into (* (exp -1) (exp (/ 1 (pow x 2)))) 1550843041.736 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 1550843041.736 * [misc]backup-simplify: Simplify (+ (* (exp -1) 0) (* 0 (exp (/ 1 (pow x 2))))) into 0 1550843041.736 * [misc]backup-simplify: Simplify 0 into 0 1550843041.738 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550843041.738 * [misc]backup-simplify: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))) into 0 1550843041.738 * [misc]backup-simplify: Simplify 0 into 0 1550843041.740 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550843041.741 * [misc]backup-simplify: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2))))))) into 0 1550843041.741 * [misc]backup-simplify: Simplify 0 into 0 1550843041.744 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550843041.745 * [misc]backup-simplify: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))))) into 0 1550843041.745 * [misc]backup-simplify: Simplify 0 into 0 1550843041.751 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550843041.752 * [misc]backup-simplify: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2))))))))) into 0 1550843041.752 * [misc]backup-simplify: Simplify 0 into 0 1550843041.760 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550843041.761 * [misc]backup-simplify: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))))))) into 0 1550843041.761 * [misc]backup-simplify: Simplify 0 into 0 1550843041.761 * [misc]backup-simplify: Simplify (* (exp -1) (exp (/ 1 (pow (/ 1 x) 2)))) into (* (exp (pow x 2)) (exp -1)) 1550843041.761 * [misc]backup-simplify: Simplify (* (exp (* (/ 1 (- x)) (/ 1 (- x)))) (exp -1)) into (* (exp -1) (exp (/ 1 (pow x 2)))) 1550843041.761 * [misc]approximate: Taking taylor expansion of (* (exp -1) (exp (/ 1 (pow x 2)))) in (x) around 0 1550843041.761 * [misc]taylor: Taking taylor expansion of (* (exp -1) (exp (/ 1 (pow x 2)))) in x 1550843041.761 * [misc]taylor: Taking taylor expansion of (exp -1) in x 1550843041.761 * [misc]taylor: Taking taylor expansion of -1 in x 1550843041.761 * [misc]backup-simplify: Simplify -1 into -1 1550843041.761 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1550843041.761 * [misc]taylor: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x 1550843041.761 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550843041.761 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550843041.762 * [misc]taylor: Taking taylor expansion of x in x 1550843041.762 * [misc]backup-simplify: Simplify 0 into 0 1550843041.762 * [misc]backup-simplify: Simplify 1 into 1 1550843041.762 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550843041.762 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550843041.762 * [misc]backup-simplify: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2))) 1550843041.762 * [misc]taylor: Taking taylor expansion of (* (exp -1) (exp (/ 1 (pow x 2)))) in x 1550843041.762 * [misc]taylor: Taking taylor expansion of (exp -1) in x 1550843041.762 * [misc]taylor: Taking taylor expansion of -1 in x 1550843041.762 * [misc]backup-simplify: Simplify -1 into -1 1550843041.762 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1550843041.762 * [misc]taylor: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x 1550843041.762 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550843041.762 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550843041.762 * [misc]taylor: Taking taylor expansion of x in x 1550843041.762 * [misc]backup-simplify: Simplify 0 into 0 1550843041.762 * [misc]backup-simplify: Simplify 1 into 1 1550843041.762 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550843041.762 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550843041.762 * [misc]backup-simplify: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2))) 1550843041.763 * [misc]backup-simplify: Simplify (* (exp -1) (exp (/ 1 (pow x 2)))) into (* (exp -1) (exp (/ 1 (pow x 2)))) 1550843041.763 * [misc]backup-simplify: Simplify (* (exp -1) (exp (/ 1 (pow x 2)))) into (* (exp -1) (exp (/ 1 (pow x 2)))) 1550843041.764 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 1550843041.764 * [misc]backup-simplify: Simplify (+ (* (exp -1) 0) (* 0 (exp (/ 1 (pow x 2))))) into 0 1550843041.764 * [misc]backup-simplify: Simplify 0 into 0 1550843041.766 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550843041.766 * [misc]backup-simplify: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))) into 0 1550843041.766 * [misc]backup-simplify: Simplify 0 into 0 1550843041.769 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550843041.769 * [misc]backup-simplify: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2))))))) into 0 1550843041.769 * [misc]backup-simplify: Simplify 0 into 0 1550843041.773 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550843041.774 * [misc]backup-simplify: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))))) into 0 1550843041.774 * [misc]backup-simplify: Simplify 0 into 0 1550843041.781 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550843041.782 * [misc]backup-simplify: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2))))))))) into 0 1550843041.782 * [misc]backup-simplify: Simplify 0 into 0 1550843041.790 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1550843041.791 * [misc]backup-simplify: Simplify (+ (* (exp -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow x 2)))))))))) into 0 1550843041.791 * [misc]backup-simplify: Simplify 0 into 0 1550843041.791 * [misc]backup-simplify: Simplify (* (exp -1) (exp (/ 1 (pow (/ 1 (- x)) 2)))) into (* (exp (pow x 2)) (exp -1)) 1550843041.791 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1550843041.791 * [misc]backup-simplify: Simplify (exp (* x x)) into (exp (pow x 2)) 1550843041.791 * [misc]approximate: Taking taylor expansion of (exp (pow x 2)) in (x) around 0 1550843041.791 * [misc]taylor: Taking taylor expansion of (exp (pow x 2)) in x 1550843041.791 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550843041.791 * [misc]taylor: Taking taylor expansion of x in x 1550843041.791 * [misc]backup-simplify: Simplify 0 into 0 1550843041.791 * [misc]backup-simplify: Simplify 1 into 1 1550843041.791 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550843041.792 * [misc]backup-simplify: Simplify (exp 0) into 1 1550843041.792 * [misc]taylor: Taking taylor expansion of (exp (pow x 2)) in x 1550843041.792 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550843041.792 * [misc]taylor: Taking taylor expansion of x in x 1550843041.792 * [misc]backup-simplify: Simplify 0 into 0 1550843041.792 * [misc]backup-simplify: Simplify 1 into 1 1550843041.792 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550843041.792 * [misc]backup-simplify: Simplify (exp 0) into 1 1550843041.792 * [misc]backup-simplify: Simplify 1 into 1 1550843041.793 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0 1550843041.793 * [misc]backup-simplify: Simplify 0 into 0 1550843041.794 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1 1550843041.794 * [misc]backup-simplify: Simplify 1 into 1 1550843041.794 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1550843041.796 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1550843041.796 * [misc]backup-simplify: Simplify 0 into 0 1550843041.796 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1550843041.800 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1550843041.800 * [misc]backup-simplify: Simplify 1/2 into 1/2 1550843041.800 * [misc]backup-simplify: Simplify (+ (* 1/2 (pow x 4)) (+ (* 1 (pow x 2)) 1)) into (+ (pow x 2) (+ (* 1/2 (pow x 4)) 1)) 1550843041.800 * [misc]backup-simplify: Simplify (exp (* (/ 1 x) (/ 1 x))) into (exp (/ 1 (pow x 2))) 1550843041.800 * [misc]approximate: Taking taylor expansion of (exp (/ 1 (pow x 2))) in (x) around 0 1550843041.800 * [misc]taylor: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x 1550843041.800 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550843041.800 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550843041.800 * [misc]taylor: Taking taylor expansion of x in x 1550843041.800 * [misc]backup-simplify: Simplify 0 into 0 1550843041.800 * [misc]backup-simplify: Simplify 1 into 1 1550843041.800 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550843041.800 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550843041.800 * [misc]backup-simplify: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2))) 1550843041.800 * [misc]taylor: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x 1550843041.800 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550843041.800 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550843041.801 * [misc]taylor: Taking taylor expansion of x in x 1550843041.801 * [misc]backup-simplify: Simplify 0 into 0 1550843041.801 * [misc]backup-simplify: Simplify 1 into 1 1550843041.801 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550843041.801 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550843041.801 * [misc]backup-simplify: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2))) 1550843041.801 * [misc]backup-simplify: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2))) 1550843041.801 * [misc]backup-simplify: Simplify 0 into 0 1550843041.801 * [misc]backup-simplify: Simplify 0 into 0 1550843041.801 * [misc]backup-simplify: Simplify 0 into 0 1550843041.801 * [misc]backup-simplify: Simplify 0 into 0 1550843041.801 * [misc]backup-simplify: Simplify 0 into 0 1550843041.801 * [misc]backup-simplify: Simplify 0 into 0 1550843041.801 * [misc]backup-simplify: Simplify (exp (/ 1 (pow (/ 1 x) 2))) into (exp (pow x 2)) 1550843041.801 * [misc]backup-simplify: Simplify (exp (* (/ 1 (- x)) (/ 1 (- x)))) into (exp (/ 1 (pow x 2))) 1550843041.801 * [misc]approximate: Taking taylor expansion of (exp (/ 1 (pow x 2))) in (x) around 0 1550843041.801 * [misc]taylor: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x 1550843041.801 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550843041.801 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550843041.801 * [misc]taylor: Taking taylor expansion of x in x 1550843041.801 * [misc]backup-simplify: Simplify 0 into 0 1550843041.801 * [misc]backup-simplify: Simplify 1 into 1 1550843041.801 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550843041.802 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550843041.802 * [misc]backup-simplify: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2))) 1550843041.802 * [misc]taylor: Taking taylor expansion of (exp (/ 1 (pow x 2))) in x 1550843041.802 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1550843041.802 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1550843041.802 * [misc]taylor: Taking taylor expansion of x in x 1550843041.802 * [misc]backup-simplify: Simplify 0 into 0 1550843041.802 * [misc]backup-simplify: Simplify 1 into 1 1550843041.802 * [misc]backup-simplify: Simplify (* 1 1) into 1 1550843041.802 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550843041.802 * [misc]backup-simplify: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2))) 1550843041.802 * [misc]backup-simplify: Simplify (exp (/ 1 (pow x 2))) into (exp (/ 1 (pow x 2))) 1550843041.802 * [misc]backup-simplify: Simplify 0 into 0 1550843041.802 * [misc]backup-simplify: Simplify 0 into 0 1550843041.802 * [misc]backup-simplify: Simplify 0 into 0 1550843041.802 * [misc]backup-simplify: Simplify 0 into 0 1550843041.802 * [misc]backup-simplify: Simplify 0 into 0 1550843041.802 * [misc]backup-simplify: Simplify 0 into 0 1550843041.802 * [misc]backup-simplify: Simplify (exp (/ 1 (pow (/ 1 (- x)) 2))) into (exp (pow x 2)) 1550843041.802 * * * [misc]progress: simplifying candidates 1550843041.802 * * * * [misc]progress: [ 1 / 38 ] simplifiying candidate # 1550843041.802 * * * * [misc]progress: [ 2 / 38 ] simplifiying candidate # 1550843041.803 * * * * [misc]progress: [ 3 / 38 ] simplifiying candidate # 1550843041.803 * [enter]simplify: Simplifying (* (exp (* x x)) (exp -1)) 1550843041.803 * * [misc]simplify: iters left: 5 (6 enodes) 1550843041.805 * * [misc]simplify: iters left: 4 (23 enodes) 1550843041.811 * * [misc]simplify: iters left: 3 (34 enodes) 1550843041.821 * * [misc]simplify: iters left: 2 (48 enodes) 1550843041.833 * * [misc]simplify: iters left: 1 (69 enodes) 1550843041.845 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550843041.845 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1550843041.846 * * [misc]simplify: Extracting #2: cost 24 inf + 0 1550843041.846 * * [misc]simplify: Extracting #3: cost 22 inf + 342 1550843041.846 * * [misc]simplify: Extracting #4: cost 4 inf + 1649 1550843041.847 * * [misc]simplify: Extracting #5: cost 0 inf + 2012 1550843041.849 * [exit]simplify: Simplified to (exp (fma x x -1)) 1550843041.849 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (exp (fma x x -1)) 1)) 1550843041.849 * * * * [misc]progress: [ 4 / 38 ] simplifiying candidate # 1550843041.849 * * * * [misc]progress: [ 5 / 38 ] simplifiying candidate # 1550843041.849 * [enter]simplify: Simplifying (+ (* x x) -1) 1550843041.849 * * [misc]simplify: iters left: 4 (4 enodes) 1550843041.851 * * [misc]simplify: iters left: 3 (18 enodes) 1550843041.857 * * [misc]simplify: iters left: 2 (30 enodes) 1550843041.861 * * [misc]simplify: iters left: 1 (46 enodes) 1550843041.870 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550843041.870 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550843041.870 * * [misc]simplify: Extracting #2: cost 18 inf + 3 1550843041.871 * * [misc]simplify: Extracting #3: cost 4 inf + 820 1550843041.871 * * [misc]simplify: Extracting #4: cost 0 inf + 1067 1550843041.872 * * [misc]simplify: Extracting #5: cost 0 inf + 1027 1550843041.872 * [exit]simplify: Simplified to (fma x x -1) 1550843041.872 * [misc]simplify: Simplified (2 1) to (λ (x) (exp (fma x x -1))) 1550843041.872 * * * * [misc]progress: [ 6 / 38 ] simplifiying candidate # 1550843041.872 * * * * [misc]progress: [ 7 / 38 ] simplifiying candidate # 1550843041.872 * * * * [misc]progress: [ 8 / 38 ] simplifiying candidate # 1550843041.872 * [enter]simplify: Simplifying (* (* (* (exp (* x x)) (exp (* x x))) (exp (* x x))) (* (* (exp -1) (exp -1)) (exp -1))) 1550843041.872 * * [misc]simplify: iters left: 6 (10 enodes) 1550843041.876 * * [misc]simplify: iters left: 5 (44 enodes) 1550843041.885 * * [misc]simplify: iters left: 4 (86 enodes) 1550843041.904 * * [misc]simplify: iters left: 3 (171 enodes) 1550843041.953 * * [misc]simplify: iters left: 2 (310 enodes) 1550843042.030 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550843042.030 * * [misc]simplify: Extracting #1: cost 19 inf + 0 1550843042.030 * * [misc]simplify: Extracting #2: cost 64 inf + 0 1550843042.030 * * [misc]simplify: Extracting #3: cost 71 inf + 481 1550843042.033 * * [misc]simplify: Extracting #4: cost 20 inf + 7205 1550843042.037 * * [misc]simplify: Extracting #5: cost 1 inf + 9399 1550843042.040 * * [misc]simplify: Extracting #6: cost 0 inf + 9270 1550843042.046 * * [misc]simplify: Extracting #7: cost 0 inf + 9255 1550843042.051 * [exit]simplify: Simplified to (* (exp (fma x x -1)) (* (exp (fma x x -1)) (exp (fma x x -1)))) 1550843042.051 * [misc]simplify: Simplified (2 1) to (λ (x) (cbrt (* (exp (fma x x -1)) (* (exp (fma x x -1)) (exp (fma x x -1)))))) 1550843042.051 * * * * [misc]progress: [ 9 / 38 ] simplifiying candidate # 1550843042.051 * * * * [misc]progress: [ 10 / 38 ] simplifiying candidate # 1550843042.051 * * * * [misc]progress: [ 11 / 38 ] simplifiying candidate # 1550843042.051 * * * * [misc]progress: [ 12 / 38 ] simplifiying candidate # 1550843042.051 * * * * [misc]progress: [ 13 / 38 ] simplifiying candidate # 1550843042.051 * [enter]simplify: Simplifying (cbrt (exp -1)) 1550843042.051 * * [misc]simplify: iters left: 2 (3 enodes) 1550843042.054 * * [misc]simplify: iters left: 1 (9 enodes) 1550843042.056 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550843042.057 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550843042.057 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550843042.057 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550843042.057 * * [misc]simplify: Extracting #4: cost 0 inf + 445 1550843042.057 * [exit]simplify: Simplified to (cbrt (exp -1)) 1550843042.057 * [misc]simplify: Simplified (2 2) to (λ (x) (* (* (exp (* x x)) (* (cbrt (exp -1)) (cbrt (exp -1)))) (cbrt (exp -1)))) 1550843042.057 * * * * [misc]progress: [ 14 / 38 ] simplifiying candidate # 1550843042.057 * [enter]simplify: Simplifying (sqrt (exp -1)) 1550843042.057 * * [misc]simplify: iters left: 2 (3 enodes) 1550843042.059 * * [misc]simplify: iters left: 1 (9 enodes) 1550843042.062 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550843042.062 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550843042.062 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550843042.062 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1550843042.063 * * [misc]simplify: Extracting #4: cost 0 inf + 365 1550843042.063 * [exit]simplify: Simplified to (sqrt (exp -1)) 1550843042.063 * [misc]simplify: Simplified (2 2) to (λ (x) (* (* (exp (* x x)) (sqrt (exp -1))) (sqrt (exp -1)))) 1550843042.063 * * * * [misc]progress: [ 15 / 38 ] simplifiying candidate # 1550843042.063 * [enter]simplify: Simplifying (exp -1) 1550843042.063 * * [misc]simplify: iters left: 1 (2 enodes) 1550843042.065 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550843042.065 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550843042.065 * * [misc]simplify: Extracting #2: cost 2 inf + 1 1550843042.065 * * [misc]simplify: Extracting #3: cost 0 inf + 143 1550843042.065 * [exit]simplify: Simplified to (exp -1) 1550843042.065 * [misc]simplify: Simplified (2 2) to (λ (x) (* (* (exp (* x x)) 1) (exp -1))) 1550843042.065 * * * * [misc]progress: [ 16 / 38 ] simplifiying candidate # 1550843042.065 * [enter]simplify: Simplifying (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) 1550843042.065 * * [misc]simplify: iters left: 6 (5 enodes) 1550843042.067 * * [misc]simplify: iters left: 5 (17 enodes) 1550843042.070 * * [misc]simplify: iters left: 4 (19 enodes) 1550843042.073 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550843042.074 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550843042.074 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550843042.074 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550843042.074 * * [misc]simplify: Extracting #4: cost 10 inf + 1 1550843042.074 * * [misc]simplify: Extracting #5: cost 0 inf + 1291 1550843042.074 * [exit]simplify: Simplified to (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) 1550843042.074 * [misc]simplify: Simplified (2 1) to (λ (x) (* (* (cbrt (exp (* x x))) (cbrt (exp (* x x)))) (* (cbrt (exp (* x x))) (exp -1)))) 1550843042.074 * * * * [misc]progress: [ 17 / 38 ] simplifiying candidate # 1550843042.075 * [enter]simplify: Simplifying (sqrt (exp (* x x))) 1550843042.075 * * [misc]simplify: iters left: 4 (4 enodes) 1550843042.076 * * [misc]simplify: iters left: 3 (14 enodes) 1550843042.080 * * [misc]simplify: iters left: 2 (16 enodes) 1550843042.083 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550843042.083 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550843042.083 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550843042.083 * * [misc]simplify: Extracting #3: cost 8 inf + 1 1550843042.084 * * [misc]simplify: Extracting #4: cost 0 inf + 749 1550843042.084 * [exit]simplify: Simplified to (sqrt (exp (* x x))) 1550843042.084 * [misc]simplify: Simplified (2 1) to (λ (x) (* (sqrt (exp (* x x))) (* (sqrt (exp (* x x))) (exp -1)))) 1550843042.084 * * * * [misc]progress: [ 18 / 38 ] simplifiying candidate # 1550843042.084 * * * * [misc]progress: [ 19 / 38 ] simplifiying candidate #real (real->posit16 (* (exp (* x x)) (exp -1)))))> 1550843042.084 * * * * [misc]progress: [ 20 / 38 ] simplifiying candidate # 1550843042.084 * * * * [misc]progress: [ 21 / 38 ] simplifiying candidate # 1550843042.084 * * * * [misc]progress: [ 22 / 38 ] simplifiying candidate # 1550843042.084 * * * * [misc]progress: [ 23 / 38 ] simplifiying candidate # 1550843042.084 * * * * [misc]progress: [ 24 / 38 ] simplifiying candidate # 1550843042.085 * [enter]simplify: Simplifying (exp x) 1550843042.085 * * [misc]simplify: iters left: 1 (2 enodes) 1550843042.085 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550843042.085 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550843042.086 * * [misc]simplify: Extracting #2: cost 2 inf + 1 1550843042.086 * * [misc]simplify: Extracting #3: cost 0 inf + 143 1550843042.086 * [exit]simplify: Simplified to (exp x) 1550843042.086 * [misc]simplify: Simplified (2 1 1) to (λ (x) (* (pow (exp x) x) (exp -1))) 1550843042.086 * * * * [misc]progress: [ 25 / 38 ] simplifiying candidate # 1550843042.086 * [enter]simplify: Simplifying (* x x) 1550843042.086 * * [misc]simplify: iters left: 2 (2 enodes) 1550843042.087 * * [misc]simplify: iters left: 1 (6 enodes) 1550843042.088 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550843042.088 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550843042.088 * * [misc]simplify: Extracting #2: cost 2 inf + 1 1550843042.088 * * [misc]simplify: Extracting #3: cost 0 inf + 83 1550843042.088 * [exit]simplify: Simplified to (* x x) 1550843042.089 * [misc]simplify: Simplified (2 1 1) to (λ (x) (* (exp (* x x)) (exp -1))) 1550843042.089 * * * * [misc]progress: [ 26 / 38 ] simplifiying candidate # 1550843042.089 * * * * [misc]progress: [ 27 / 38 ] simplifiying candidate # 1550843042.089 * * * * [misc]progress: [ 28 / 38 ] simplifiying candidate # 1550843042.089 * * * * [misc]progress: [ 29 / 38 ] simplifiying candidate # 1550843042.089 * * * * [misc]progress: [ 30 / 38 ] simplifiying candidate # 1550843042.089 * * * * [misc]progress: [ 31 / 38 ] simplifiying candidate # 1550843042.089 * * * * [misc]progress: [ 32 / 38 ] simplifiying candidate #real (real->posit16 (exp (* x x)))) (exp -1)))> 1550843042.089 * * * * [misc]progress: [ 33 / 38 ] simplifiying candidate # 1550843042.089 * [enter]simplify: Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 1550843042.089 * * [misc]simplify: iters left: 6 (13 enodes) 1550843042.097 * * [misc]simplify: iters left: 5 (50 enodes) 1550843042.109 * * [misc]simplify: iters left: 4 (81 enodes) 1550843042.125 * * [misc]simplify: iters left: 3 (150 enodes) 1550843042.155 * * [misc]simplify: iters left: 2 (178 enodes) 1550843042.188 * * [misc]simplify: iters left: 1 (190 enodes) 1550843042.208 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550843042.208 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1550843042.209 * * [misc]simplify: Extracting #2: cost 47 inf + 101 1550843042.209 * * [misc]simplify: Extracting #3: cost 34 inf + 1298 1550843042.210 * * [misc]simplify: Extracting #4: cost 5 inf + 9159 1550843042.212 * * [misc]simplify: Extracting #5: cost 0 inf + 10828 1550843042.215 * [exit]simplify: Simplified to (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1)) 1550843042.215 * [misc]simplify: Simplified (2) to (λ (x) (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1))) 1550843042.216 * * * * [misc]progress: [ 34 / 38 ] simplifiying candidate # 1550843042.216 * [enter]simplify: Simplifying (* (exp (pow x 2)) (exp -1)) 1550843042.216 * * [misc]simplify: iters left: 4 (7 enodes) 1550843042.220 * * [misc]simplify: iters left: 3 (25 enodes) 1550843042.227 * * [misc]simplify: iters left: 2 (36 enodes) 1550843042.237 * * [misc]simplify: iters left: 1 (52 enodes) 1550843042.253 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550843042.253 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1550843042.253 * * [misc]simplify: Extracting #2: cost 27 inf + 0 1550843042.254 * * [misc]simplify: Extracting #3: cost 24 inf + 244 1550843042.254 * * [misc]simplify: Extracting #4: cost 4 inf + 1665 1550843042.255 * * [misc]simplify: Extracting #5: cost 0 inf + 2083 1550843042.256 * [exit]simplify: Simplified to (exp (fma x x -1)) 1550843042.256 * [misc]simplify: Simplified (2) to (λ (x) (exp (fma x x -1))) 1550843042.256 * * * * [misc]progress: [ 35 / 38 ] simplifiying candidate # 1550843042.256 * [enter]simplify: Simplifying (* (exp (pow x 2)) (exp -1)) 1550843042.256 * * [misc]simplify: iters left: 4 (7 enodes) 1550843042.260 * * [misc]simplify: iters left: 3 (25 enodes) 1550843042.267 * * [misc]simplify: iters left: 2 (36 enodes) 1550843042.278 * * [misc]simplify: iters left: 1 (52 enodes) 1550843042.289 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550843042.289 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1550843042.289 * * [misc]simplify: Extracting #2: cost 27 inf + 0 1550843042.289 * * [misc]simplify: Extracting #3: cost 24 inf + 244 1550843042.289 * * [misc]simplify: Extracting #4: cost 4 inf + 1665 1550843042.290 * * [misc]simplify: Extracting #5: cost 0 inf + 2083 1550843042.290 * [exit]simplify: Simplified to (exp (fma x x -1)) 1550843042.290 * [misc]simplify: Simplified (2) to (λ (x) (exp (fma x x -1))) 1550843042.290 * * * * [misc]progress: [ 36 / 38 ] simplifiying candidate # 1550843042.290 * [enter]simplify: Simplifying (+ (pow x 2) (+ (* 1/2 (pow x 4)) 1)) 1550843042.291 * * [misc]simplify: iters left: 6 (10 enodes) 1550843042.294 * * [misc]simplify: iters left: 5 (39 enodes) 1550843042.300 * * [misc]simplify: iters left: 4 (52 enodes) 1550843042.308 * * [misc]simplify: iters left: 3 (62 enodes) 1550843042.316 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550843042.316 * * [misc]simplify: Extracting #1: cost 11 inf + 0 1550843042.316 * * [misc]simplify: Extracting #2: cost 16 inf + 3 1550843042.316 * * [misc]simplify: Extracting #3: cost 6 inf + 1273 1550843042.316 * * [misc]simplify: Extracting #4: cost 1 inf + 2625 1550843042.317 * * [misc]simplify: Extracting #5: cost 0 inf + 2933 1550843042.317 * [exit]simplify: Simplified to (fma 1/2 (pow x 4) (fma x x 1)) 1550843042.317 * [misc]simplify: Simplified (2 1) to (λ (x) (* (fma 1/2 (pow x 4) (fma x x 1)) (exp -1))) 1550843042.317 * * * * [misc]progress: [ 37 / 38 ] simplifiying candidate # 1550843042.317 * [enter]simplify: Simplifying (exp (pow x 2)) 1550843042.317 * * [misc]simplify: iters left: 2 (4 enodes) 1550843042.318 * * [misc]simplify: iters left: 1 (13 enodes) 1550843042.320 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550843042.320 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550843042.320 * * [misc]simplify: Extracting #2: cost 6 inf + 1 1550843042.320 * * [misc]simplify: Extracting #3: cost 0 inf + 377 1550843042.321 * [exit]simplify: Simplified to (exp (* x x)) 1550843042.321 * [misc]simplify: Simplified (2 1) to (λ (x) (* (exp (* x x)) (exp -1))) 1550843042.321 * * * * [misc]progress: [ 38 / 38 ] simplifiying candidate # 1550843042.321 * [enter]simplify: Simplifying (exp (pow x 2)) 1550843042.321 * * [misc]simplify: iters left: 2 (4 enodes) 1550843042.322 * * [misc]simplify: iters left: 1 (13 enodes) 1550843042.325 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550843042.325 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1550843042.325 * * [misc]simplify: Extracting #2: cost 6 inf + 1 1550843042.325 * * [misc]simplify: Extracting #3: cost 0 inf + 377 1550843042.325 * [exit]simplify: Simplified to (exp (* x x)) 1550843042.325 * [misc]simplify: Simplified (2 1) to (λ (x) (* (exp (* x x)) (exp -1))) 1550843042.325 * * * [misc]progress: adding candidates to table 1550843042.598 * [misc]progress: [Phase 3 of 3] Extracting. 1550843042.598 * * [misc]regime: Finding splitpoints for: (# #) 1550843042.599 * * * [misc]regime-changes: Trying 2 branch expressions: (x (* x x)) 1550843042.599 * * * * [misc]regimes: Trying to branch on x from (# #) 1550843042.614 * * * * [misc]regimes: Trying to branch on (* x x) from (# #) 1550843042.635 * * * [misc]regime: Found split indices: #