1547114134.263 * [misc]progress: [Phase 1 of 3] Setting up. 1547114134.263 * * * [misc]progress: [1/2] Preparing points 1547114134.263 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1547114134.280 * * * * [misc]points: Filtering points with unrepresentable outputs 1547114134.280 * * * * [misc]points: Sampling 122 additional inputs, on iter 1 have 134 / 256 1547114134.286 * * * * [misc]points: Filtering points with unrepresentable outputs 1547114134.286 * * * * [misc]points: Sampling 57 additional inputs, on iter 2 have 199 / 256 1547114134.294 * * * * [misc]points: Filtering points with unrepresentable outputs 1547114134.294 * * * * [misc]points: Sampling 28 additional inputs, on iter 3 have 228 / 256 1547114134.296 * * * * [misc]points: Filtering points with unrepresentable outputs 1547114134.296 * * * * [misc]points: Sampling 13 additional inputs, on iter 4 have 243 / 256 1547114134.298 * * * * [misc]points: Filtering points with unrepresentable outputs 1547114134.298 * * * * [misc]points: Sampling 6 additional inputs, on iter 5 have 250 / 256 1547114134.299 * * * * [misc]points: Filtering points with unrepresentable outputs 1547114134.299 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 255 / 256 1547114134.300 * * * * [misc]points: Filtering points with unrepresentable outputs 1547114134.300 * * * * [exit]points: Sampled 257 points with exact outputs 1547114134.300 * * * [misc]progress: [2/2] Setting up program. 1547114134.302 * [misc]progress: [Phase 2 of 3] Improving. 1547114134.302 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1547114134.302 * [enter]simplify: Simplifying (exp (- (- 1 (* x x)))) 1547114134.302 * * [misc]simplify: iters left: 6 (6 enodes) 1547114134.303 * * [misc]simplify: iters left: 5 (12 enodes) 1547114134.306 * * [misc]simplify: iters left: 4 (25 enodes) 1547114134.310 * * [misc]simplify: iters left: 3 (51 enodes) 1547114134.318 * * [misc]simplify: iters left: 2 (82 enodes) 1547114134.329 * * [misc]simplify: iters left: 1 (126 enodes) 1547114134.347 * [exit]simplify: Simplified to (exp (fma x x -1)) 1547114134.347 * [misc]simplify: Simplified (2) to (λ (x) (exp (fma x x -1))) 1547114134.351 * * [misc]progress: iteration 1 / 4 1547114134.351 * * * [misc]progress: picking best candidate 1547114134.353 * * * * [misc]pick: Picked # 1547114134.353 * * * [misc]progress: localizing error 1547114134.360 * * * [misc]progress: generating rewritten candidates 1547114134.360 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1547114134.362 * * * [misc]progress: generating series expansions 1547114134.362 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1547114134.362 * [misc]backup-simplify: Simplify (exp (fma x x -1)) into (exp (fma x x -1)) 1547114134.362 * [misc]approximate: Taking taylor expansion of (exp (fma x x -1)) in (x) around 0 1547114134.362 * [misc]taylor: Taking taylor expansion of (exp (fma x x -1)) in x 1547114134.362 * [misc]taylor: Taking taylor expansion of (fma x x -1) in x 1547114134.362 * [misc]taylor: Rewrote expression to (+ (* x x) -1) 1547114134.362 * [misc]taylor: Taking taylor expansion of (* x x) in x 1547114134.362 * [misc]taylor: Taking taylor expansion of x in x 1547114134.362 * [misc]backup-simplify: Simplify 0 into 0 1547114134.362 * [misc]backup-simplify: Simplify 1 into 1 1547114134.362 * [misc]taylor: Taking taylor expansion of x in x 1547114134.362 * [misc]backup-simplify: Simplify 0 into 0 1547114134.362 * [misc]backup-simplify: Simplify 1 into 1 1547114134.362 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.362 * [misc]backup-simplify: Simplify -1 into -1 1547114134.362 * [misc]backup-simplify: Simplify (* 0 0) into 0 1547114134.363 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1547114134.363 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1547114134.363 * [misc]taylor: Taking taylor expansion of (exp (fma x x -1)) in x 1547114134.363 * [misc]taylor: Taking taylor expansion of (fma x x -1) in x 1547114134.363 * [misc]taylor: Rewrote expression to (+ (* x x) -1) 1547114134.363 * [misc]taylor: Taking taylor expansion of (* x x) in x 1547114134.363 * [misc]taylor: Taking taylor expansion of x in x 1547114134.363 * [misc]backup-simplify: Simplify 0 into 0 1547114134.363 * [misc]backup-simplify: Simplify 1 into 1 1547114134.363 * [misc]taylor: Taking taylor expansion of x in x 1547114134.363 * [misc]backup-simplify: Simplify 0 into 0 1547114134.363 * [misc]backup-simplify: Simplify 1 into 1 1547114134.363 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.363 * [misc]backup-simplify: Simplify -1 into -1 1547114134.363 * [misc]backup-simplify: Simplify (* 0 0) into 0 1547114134.363 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1547114134.363 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1547114134.363 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1547114134.366 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 1547114134.367 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.368 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 1547114134.368 * [misc]backup-simplify: Simplify 0 into 0 1547114134.368 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 1547114134.368 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547114134.370 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1) 1547114134.370 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1547114134.370 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 1547114134.370 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.372 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1547114134.372 * [misc]backup-simplify: Simplify 0 into 0 1547114134.373 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1547114134.373 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.376 * [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)) 1547114134.377 * [misc]backup-simplify: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 1547114134.377 * [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))))) 1547114134.377 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1547114134.377 * [misc]approximate: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in (x) around 0 1547114134.377 * [misc]taylor: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x 1547114134.377 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 1547114134.377 * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 1547114134.377 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1547114134.377 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547114134.377 * [misc]taylor: Taking taylor expansion of x in x 1547114134.377 * [misc]backup-simplify: Simplify 0 into 0 1547114134.378 * [misc]backup-simplify: Simplify 1 into 1 1547114134.378 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547114134.378 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547114134.378 * [misc]taylor: Taking taylor expansion of x in x 1547114134.378 * [misc]backup-simplify: Simplify 0 into 0 1547114134.378 * [misc]backup-simplify: Simplify 1 into 1 1547114134.378 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547114134.378 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.378 * [misc]backup-simplify: Simplify -1 into -1 1547114134.378 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547114134.378 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547114134.378 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1547114134.378 * [misc]taylor: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x 1547114134.378 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 1547114134.378 * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 1547114134.378 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1547114134.378 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547114134.378 * [misc]taylor: Taking taylor expansion of x in x 1547114134.378 * [misc]backup-simplify: Simplify 0 into 0 1547114134.379 * [misc]backup-simplify: Simplify 1 into 1 1547114134.379 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547114134.379 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547114134.379 * [misc]taylor: Taking taylor expansion of x in x 1547114134.379 * [misc]backup-simplify: Simplify 0 into 0 1547114134.379 * [misc]backup-simplify: Simplify 1 into 1 1547114134.379 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547114134.379 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.379 * [misc]backup-simplify: Simplify -1 into -1 1547114134.379 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547114134.379 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547114134.379 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1547114134.379 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1547114134.379 * [misc]backup-simplify: Simplify 0 into 0 1547114134.379 * [misc]backup-simplify: Simplify 0 into 0 1547114134.379 * [misc]backup-simplify: Simplify 0 into 0 1547114134.379 * [misc]backup-simplify: Simplify 0 into 0 1547114134.379 * [misc]backup-simplify: Simplify 0 into 0 1547114134.379 * [misc]backup-simplify: Simplify 0 into 0 1547114134.379 * [misc]backup-simplify: Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1)) into (exp (fma x x -1)) 1547114134.380 * [misc]backup-simplify: Simplify (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1547114134.380 * [misc]approximate: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in (x) around 0 1547114134.380 * [misc]taylor: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x 1547114134.380 * [misc]taylor: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 1547114134.380 * [misc]taylor: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 1547114134.380 * [misc]taylor: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1547114134.380 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547114134.380 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.380 * [misc]backup-simplify: Simplify -1 into -1 1547114134.380 * [misc]taylor: Taking taylor expansion of x in x 1547114134.380 * [misc]backup-simplify: Simplify 0 into 0 1547114134.380 * [misc]backup-simplify: Simplify 1 into 1 1547114134.380 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547114134.380 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547114134.380 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.380 * [misc]backup-simplify: Simplify -1 into -1 1547114134.380 * [misc]taylor: Taking taylor expansion of x in x 1547114134.380 * [misc]backup-simplify: Simplify 0 into 0 1547114134.380 * [misc]backup-simplify: Simplify 1 into 1 1547114134.380 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547114134.380 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.380 * [misc]backup-simplify: Simplify -1 into -1 1547114134.380 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1547114134.380 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547114134.380 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1547114134.380 * [misc]taylor: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x 1547114134.380 * [misc]taylor: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 1547114134.380 * [misc]taylor: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 1547114134.381 * [misc]taylor: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1547114134.381 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547114134.381 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.381 * [misc]backup-simplify: Simplify -1 into -1 1547114134.381 * [misc]taylor: Taking taylor expansion of x in x 1547114134.381 * [misc]backup-simplify: Simplify 0 into 0 1547114134.381 * [misc]backup-simplify: Simplify 1 into 1 1547114134.381 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547114134.381 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547114134.381 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.381 * [misc]backup-simplify: Simplify -1 into -1 1547114134.381 * [misc]taylor: Taking taylor expansion of x in x 1547114134.381 * [misc]backup-simplify: Simplify 0 into 0 1547114134.381 * [misc]backup-simplify: Simplify 1 into 1 1547114134.381 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547114134.381 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.381 * [misc]backup-simplify: Simplify -1 into -1 1547114134.381 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1547114134.381 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547114134.381 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1547114134.381 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1547114134.381 * [misc]backup-simplify: Simplify 0 into 0 1547114134.381 * [misc]backup-simplify: Simplify 0 into 0 1547114134.381 * [misc]backup-simplify: Simplify 0 into 0 1547114134.381 * [misc]backup-simplify: Simplify 0 into 0 1547114134.381 * [misc]backup-simplify: Simplify 0 into 0 1547114134.381 * [misc]backup-simplify: Simplify 0 into 0 1547114134.382 * [misc]backup-simplify: Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1)) into (exp (fma x x -1)) 1547114134.382 * * * [misc]progress: simplifying candidates 1547114134.382 * * * * [misc]progress: [ 1 / 17 ] simplifiying candidate # 1547114134.382 * * * * [misc]progress: [ 2 / 17 ] simplifiying candidate # 1547114134.382 * * * * [misc]progress: [ 3 / 17 ] simplifiying candidate # 1547114134.382 * * * * [misc]progress: [ 4 / 17 ] simplifiying candidate # 1547114134.382 * [enter]simplify: Simplifying (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) 1547114134.382 * * [misc]simplify: iters left: 5 (6 enodes) 1547114134.383 * * [misc]simplify: iters left: 4 (10 enodes) 1547114134.385 * * [misc]simplify: iters left: 3 (15 enodes) 1547114134.387 * * [misc]simplify: iters left: 2 (21 enodes) 1547114134.390 * * [misc]simplify: iters left: 1 (36 enodes) 1547114134.401 * [exit]simplify: Simplified to (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) 1547114134.402 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (cbrt (fma x x -1)))) 1547114134.402 * * * * [misc]progress: [ 5 / 17 ] simplifiying candidate # 1547114134.402 * [enter]simplify: Simplifying (exp (sqrt (fma x x -1))) 1547114134.402 * * [misc]simplify: iters left: 3 (5 enodes) 1547114134.403 * * [misc]simplify: iters left: 2 (7 enodes) 1547114134.404 * * [misc]simplify: iters left: 1 (12 enodes) 1547114134.406 * [exit]simplify: Simplified to (exp (sqrt (fma x x -1))) 1547114134.406 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (exp (sqrt (fma x x -1))) (sqrt (fma x x -1)))) 1547114134.406 * * * * [misc]progress: [ 6 / 17 ] simplifiying candidate # 1547114134.406 * [enter]simplify: Simplifying (exp 1) 1547114134.406 * * [misc]simplify: iters left: 1 (2 enodes) 1547114134.407 * [exit]simplify: Simplified to E 1547114134.407 * [misc]simplify: Simplified (2 1) to (λ (x) (pow E (fma x x -1))) 1547114134.407 * * * * [misc]progress: [ 7 / 17 ] simplifiying candidate # 1547114134.407 * [enter]simplify: Simplifying (exp (* x x)) 1547114134.407 * * [misc]simplify: iters left: 3 (3 enodes) 1547114134.407 * * [misc]simplify: iters left: 2 (5 enodes) 1547114134.408 * [exit]simplify: Simplified to (exp (* x x)) 1547114134.408 * [misc]simplify: Simplified (2 1) to (λ (x) (* (exp (* x x)) (exp -1))) 1547114134.408 * * * * [misc]progress: [ 8 / 17 ] simplifiying candidate # 1547114134.408 * [enter]simplify: Simplifying (fma x x -1) 1547114134.409 * * [misc]simplify: iters left: 1 (3 enodes) 1547114134.409 * [exit]simplify: Simplified to (fma x x -1) 1547114134.409 * [misc]simplify: Simplified (2 1) to (λ (x) (exp (fma x x -1))) 1547114134.409 * * * * [misc]progress: [ 9 / 17 ] simplifiying candidate # 1547114134.409 * * * * [misc]progress: [ 10 / 17 ] simplifiying candidate # 1547114134.409 * * * * [misc]progress: [ 11 / 17 ] simplifiying candidate # 1547114134.409 * * * * [misc]progress: [ 12 / 17 ] simplifiying candidate # 1547114134.409 * * * * [misc]progress: [ 13 / 17 ] simplifiying candidate # 1547114134.409 * * * * [misc]progress: [ 14 / 17 ] simplifiying candidate # 1547114134.409 * * * * [misc]progress: [ 15 / 17 ] simplifiying candidate # 1547114134.409 * [enter]simplify: Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 1547114134.409 * * [misc]simplify: iters left: 6 (13 enodes) 1547114134.412 * * [misc]simplify: iters left: 5 (24 enodes) 1547114134.416 * * [misc]simplify: iters left: 4 (51 enodes) 1547114134.427 * * [misc]simplify: iters left: 3 (101 enodes) 1547114134.441 * * [misc]simplify: iters left: 2 (121 enodes) 1547114134.464 * * [misc]simplify: iters left: 1 (196 enodes) 1547114134.522 * [exit]simplify: Simplified to (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1)) 1547114134.522 * [misc]simplify: Simplified (2) to (λ (x) (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1))) 1547114134.522 * * * * [misc]progress: [ 16 / 17 ] simplifiying candidate # 1547114134.522 * [enter]simplify: Simplifying (exp (fma x x -1)) 1547114134.522 * * [misc]simplify: iters left: 2 (4 enodes) 1547114134.523 * * [misc]simplify: iters left: 1 (6 enodes) 1547114134.524 * [exit]simplify: Simplified to (exp (fma x x -1)) 1547114134.524 * [misc]simplify: Simplified (2) to (λ (x) (exp (fma x x -1))) 1547114134.524 * * * * [misc]progress: [ 17 / 17 ] simplifiying candidate # 1547114134.524 * [enter]simplify: Simplifying (exp (fma x x -1)) 1547114134.524 * * [misc]simplify: iters left: 2 (4 enodes) 1547114134.525 * * [misc]simplify: iters left: 1 (6 enodes) 1547114134.526 * [exit]simplify: Simplified to (exp (fma x x -1)) 1547114134.526 * [misc]simplify: Simplified (2) to (λ (x) (exp (fma x x -1))) 1547114134.526 * * * [misc]progress: adding candidates to table 1547114134.603 * * [misc]progress: iteration 2 / 4 1547114134.603 * * * [misc]progress: picking best candidate 1547114134.607 * * * * [misc]pick: Picked # 1547114134.607 * * * [misc]progress: localizing error 1547114134.607 * * * [misc]progress: generating rewritten candidates 1547114134.607 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1547114134.609 * * * [misc]progress: generating series expansions 1547114134.609 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1547114134.609 * [misc]backup-simplify: Simplify (exp (fma x x -1)) into (exp (fma x x -1)) 1547114134.609 * [misc]approximate: Taking taylor expansion of (exp (fma x x -1)) in (x) around 0 1547114134.609 * [misc]taylor: Taking taylor expansion of (exp (fma x x -1)) in x 1547114134.609 * [misc]taylor: Taking taylor expansion of (fma x x -1) in x 1547114134.609 * [misc]taylor: Rewrote expression to (+ (* x x) -1) 1547114134.609 * [misc]taylor: Taking taylor expansion of (* x x) in x 1547114134.609 * [misc]taylor: Taking taylor expansion of x in x 1547114134.609 * [misc]backup-simplify: Simplify 0 into 0 1547114134.609 * [misc]backup-simplify: Simplify 1 into 1 1547114134.609 * [misc]taylor: Taking taylor expansion of x in x 1547114134.609 * [misc]backup-simplify: Simplify 0 into 0 1547114134.609 * [misc]backup-simplify: Simplify 1 into 1 1547114134.609 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.610 * [misc]backup-simplify: Simplify -1 into -1 1547114134.610 * [misc]backup-simplify: Simplify (* 0 0) into 0 1547114134.610 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1547114134.610 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1547114134.610 * [misc]taylor: Taking taylor expansion of (exp (fma x x -1)) in x 1547114134.610 * [misc]taylor: Taking taylor expansion of (fma x x -1) in x 1547114134.610 * [misc]taylor: Rewrote expression to (+ (* x x) -1) 1547114134.610 * [misc]taylor: Taking taylor expansion of (* x x) in x 1547114134.610 * [misc]taylor: Taking taylor expansion of x in x 1547114134.610 * [misc]backup-simplify: Simplify 0 into 0 1547114134.610 * [misc]backup-simplify: Simplify 1 into 1 1547114134.610 * [misc]taylor: Taking taylor expansion of x in x 1547114134.610 * [misc]backup-simplify: Simplify 0 into 0 1547114134.610 * [misc]backup-simplify: Simplify 1 into 1 1547114134.610 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.610 * [misc]backup-simplify: Simplify -1 into -1 1547114134.610 * [misc]backup-simplify: Simplify (* 0 0) into 0 1547114134.610 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1547114134.610 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1547114134.611 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1547114134.611 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 1547114134.611 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.612 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 1547114134.612 * [misc]backup-simplify: Simplify 0 into 0 1547114134.612 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 1547114134.612 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547114134.615 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1) 1547114134.615 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1547114134.615 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 1547114134.615 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.618 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1547114134.618 * [misc]backup-simplify: Simplify 0 into 0 1547114134.618 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1547114134.618 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.622 * [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)) 1547114134.622 * [misc]backup-simplify: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 1547114134.622 * [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))))) 1547114134.623 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1547114134.623 * [misc]approximate: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in (x) around 0 1547114134.623 * [misc]taylor: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x 1547114134.623 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 1547114134.623 * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 1547114134.623 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1547114134.623 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547114134.623 * [misc]taylor: Taking taylor expansion of x in x 1547114134.623 * [misc]backup-simplify: Simplify 0 into 0 1547114134.623 * [misc]backup-simplify: Simplify 1 into 1 1547114134.623 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547114134.623 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547114134.623 * [misc]taylor: Taking taylor expansion of x in x 1547114134.623 * [misc]backup-simplify: Simplify 0 into 0 1547114134.623 * [misc]backup-simplify: Simplify 1 into 1 1547114134.623 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547114134.623 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.623 * [misc]backup-simplify: Simplify -1 into -1 1547114134.623 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547114134.623 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547114134.623 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1547114134.623 * [misc]taylor: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x 1547114134.623 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x 1547114134.623 * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1) 1547114134.624 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1547114134.624 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547114134.624 * [misc]taylor: Taking taylor expansion of x in x 1547114134.624 * [misc]backup-simplify: Simplify 0 into 0 1547114134.624 * [misc]backup-simplify: Simplify 1 into 1 1547114134.624 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547114134.624 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547114134.624 * [misc]taylor: Taking taylor expansion of x in x 1547114134.624 * [misc]backup-simplify: Simplify 0 into 0 1547114134.624 * [misc]backup-simplify: Simplify 1 into 1 1547114134.624 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547114134.624 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.624 * [misc]backup-simplify: Simplify -1 into -1 1547114134.624 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547114134.624 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547114134.624 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1547114134.624 * [misc]backup-simplify: Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1)) 1547114134.624 * [misc]backup-simplify: Simplify 0 into 0 1547114134.624 * [misc]backup-simplify: Simplify 0 into 0 1547114134.624 * [misc]backup-simplify: Simplify 0 into 0 1547114134.624 * [misc]backup-simplify: Simplify 0 into 0 1547114134.624 * [misc]backup-simplify: Simplify 0 into 0 1547114134.624 * [misc]backup-simplify: Simplify 0 into 0 1547114134.624 * [misc]backup-simplify: Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1)) into (exp (fma x x -1)) 1547114134.625 * [misc]backup-simplify: Simplify (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1547114134.625 * [misc]approximate: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in (x) around 0 1547114134.625 * [misc]taylor: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x 1547114134.625 * [misc]taylor: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 1547114134.625 * [misc]taylor: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 1547114134.625 * [misc]taylor: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1547114134.625 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547114134.625 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.625 * [misc]backup-simplify: Simplify -1 into -1 1547114134.625 * [misc]taylor: Taking taylor expansion of x in x 1547114134.625 * [misc]backup-simplify: Simplify 0 into 0 1547114134.625 * [misc]backup-simplify: Simplify 1 into 1 1547114134.625 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547114134.625 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547114134.625 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.625 * [misc]backup-simplify: Simplify -1 into -1 1547114134.625 * [misc]taylor: Taking taylor expansion of x in x 1547114134.625 * [misc]backup-simplify: Simplify 0 into 0 1547114134.625 * [misc]backup-simplify: Simplify 1 into 1 1547114134.625 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547114134.625 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.625 * [misc]backup-simplify: Simplify -1 into -1 1547114134.625 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1547114134.625 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547114134.625 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1547114134.625 * [misc]taylor: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x 1547114134.625 * [misc]taylor: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x 1547114134.625 * [misc]taylor: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1) 1547114134.626 * [misc]taylor: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1547114134.626 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547114134.626 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.626 * [misc]backup-simplify: Simplify -1 into -1 1547114134.626 * [misc]taylor: Taking taylor expansion of x in x 1547114134.626 * [misc]backup-simplify: Simplify 0 into 0 1547114134.626 * [misc]backup-simplify: Simplify 1 into 1 1547114134.626 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547114134.626 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547114134.626 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.626 * [misc]backup-simplify: Simplify -1 into -1 1547114134.626 * [misc]taylor: Taking taylor expansion of x in x 1547114134.626 * [misc]backup-simplify: Simplify 0 into 0 1547114134.626 * [misc]backup-simplify: Simplify 1 into 1 1547114134.626 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547114134.626 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.626 * [misc]backup-simplify: Simplify -1 into -1 1547114134.626 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1547114134.626 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547114134.626 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1547114134.626 * [misc]backup-simplify: Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1)) 1547114134.626 * [misc]backup-simplify: Simplify 0 into 0 1547114134.626 * [misc]backup-simplify: Simplify 0 into 0 1547114134.626 * [misc]backup-simplify: Simplify 0 into 0 1547114134.626 * [misc]backup-simplify: Simplify 0 into 0 1547114134.626 * [misc]backup-simplify: Simplify 0 into 0 1547114134.626 * [misc]backup-simplify: Simplify 0 into 0 1547114134.627 * [misc]backup-simplify: Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1)) into (exp (fma x x -1)) 1547114134.627 * * * [misc]progress: simplifying candidates 1547114134.627 * * * * [misc]progress: [ 1 / 17 ] simplifiying candidate # 1547114134.627 * * * * [misc]progress: [ 2 / 17 ] simplifiying candidate # 1547114134.627 * * * * [misc]progress: [ 3 / 17 ] simplifiying candidate # 1547114134.627 * * * * [misc]progress: [ 4 / 17 ] simplifiying candidate # 1547114134.627 * [enter]simplify: Simplifying (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) 1547114134.627 * * [misc]simplify: iters left: 5 (6 enodes) 1547114134.628 * * [misc]simplify: iters left: 4 (10 enodes) 1547114134.630 * * [misc]simplify: iters left: 3 (15 enodes) 1547114134.632 * * [misc]simplify: iters left: 2 (21 enodes) 1547114134.635 * * [misc]simplify: iters left: 1 (36 enodes) 1547114134.647 * [exit]simplify: Simplified to (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) 1547114134.647 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (cbrt (fma x x -1)))) 1547114134.647 * * * * [misc]progress: [ 5 / 17 ] simplifiying candidate # 1547114134.647 * [enter]simplify: Simplifying (exp (sqrt (fma x x -1))) 1547114134.647 * * [misc]simplify: iters left: 3 (5 enodes) 1547114134.648 * * [misc]simplify: iters left: 2 (7 enodes) 1547114134.649 * * [misc]simplify: iters left: 1 (12 enodes) 1547114134.651 * [exit]simplify: Simplified to (exp (sqrt (fma x x -1))) 1547114134.651 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (exp (sqrt (fma x x -1))) (sqrt (fma x x -1)))) 1547114134.651 * * * * [misc]progress: [ 6 / 17 ] simplifiying candidate # 1547114134.652 * [enter]simplify: Simplifying (exp 1) 1547114134.652 * * [misc]simplify: iters left: 1 (2 enodes) 1547114134.652 * [exit]simplify: Simplified to E 1547114134.652 * [misc]simplify: Simplified (2 1) to (λ (x) (pow E (fma x x -1))) 1547114134.652 * * * * [misc]progress: [ 7 / 17 ] simplifiying candidate # 1547114134.652 * [enter]simplify: Simplifying (exp (* x x)) 1547114134.652 * * [misc]simplify: iters left: 3 (3 enodes) 1547114134.653 * * [misc]simplify: iters left: 2 (5 enodes) 1547114134.654 * [exit]simplify: Simplified to (exp (* x x)) 1547114134.654 * [misc]simplify: Simplified (2 1) to (λ (x) (* (exp (* x x)) (exp -1))) 1547114134.654 * * * * [misc]progress: [ 8 / 17 ] simplifiying candidate # 1547114134.654 * [enter]simplify: Simplifying (fma x x -1) 1547114134.654 * * [misc]simplify: iters left: 1 (3 enodes) 1547114134.654 * [exit]simplify: Simplified to (fma x x -1) 1547114134.654 * [misc]simplify: Simplified (2 1) to (λ (x) (exp (fma x x -1))) 1547114134.654 * * * * [misc]progress: [ 9 / 17 ] simplifiying candidate # 1547114134.654 * * * * [misc]progress: [ 10 / 17 ] simplifiying candidate # 1547114134.654 * * * * [misc]progress: [ 11 / 17 ] simplifiying candidate # 1547114134.654 * * * * [misc]progress: [ 12 / 17 ] simplifiying candidate # 1547114134.655 * * * * [misc]progress: [ 13 / 17 ] simplifiying candidate # 1547114134.655 * * * * [misc]progress: [ 14 / 17 ] simplifiying candidate # 1547114134.655 * * * * [misc]progress: [ 15 / 17 ] simplifiying candidate # 1547114134.655 * [enter]simplify: Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 1547114134.655 * * [misc]simplify: iters left: 6 (13 enodes) 1547114134.657 * * [misc]simplify: iters left: 5 (24 enodes) 1547114134.662 * * [misc]simplify: iters left: 4 (51 enodes) 1547114134.672 * * [misc]simplify: iters left: 3 (101 enodes) 1547114134.686 * * [misc]simplify: iters left: 2 (121 enodes) 1547114134.709 * * [misc]simplify: iters left: 1 (196 enodes) 1547114134.766 * [exit]simplify: Simplified to (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1)) 1547114134.766 * [misc]simplify: Simplified (2) to (λ (x) (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1))) 1547114134.767 * * * * [misc]progress: [ 16 / 17 ] simplifiying candidate # 1547114134.767 * [enter]simplify: Simplifying (exp (fma x x -1)) 1547114134.767 * * [misc]simplify: iters left: 2 (4 enodes) 1547114134.767 * * [misc]simplify: iters left: 1 (6 enodes) 1547114134.769 * [exit]simplify: Simplified to (exp (fma x x -1)) 1547114134.769 * [misc]simplify: Simplified (2) to (λ (x) (exp (fma x x -1))) 1547114134.769 * * * * [misc]progress: [ 17 / 17 ] simplifiying candidate # 1547114134.769 * [enter]simplify: Simplifying (exp (fma x x -1)) 1547114134.769 * * [misc]simplify: iters left: 2 (4 enodes) 1547114134.770 * * [misc]simplify: iters left: 1 (6 enodes) 1547114134.771 * [exit]simplify: Simplified to (exp (fma x x -1)) 1547114134.771 * [misc]simplify: Simplified (2) to (λ (x) (exp (fma x x -1))) 1547114134.771 * * * [misc]progress: adding candidates to table 1547114134.868 * * [misc]progress: iteration 3 / 4 1547114134.868 * * * [misc]progress: picking best candidate 1547114134.871 * * * * [misc]pick: Picked # 1547114134.871 * * * [misc]progress: localizing error 1547114134.889 * * * [misc]progress: generating rewritten candidates 1547114134.889 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1547114134.889 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1547114134.890 * * * [misc]progress: generating series expansions 1547114134.890 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1547114134.890 * [misc]backup-simplify: Simplify (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1)) into (fma (fma 1/2 (pow x 4) (pow x 2)) (exp -1) (exp -1)) 1547114134.890 * [misc]approximate: Taking taylor expansion of (fma (fma 1/2 (pow x 4) (pow x 2)) (exp -1) (exp -1)) in (x) around 0 1547114134.890 * [misc]taylor: Taking taylor expansion of (fma (fma 1/2 (pow x 4) (pow x 2)) (exp -1) (exp -1)) in x 1547114134.890 * [misc]taylor: Rewrote expression to (+ (* (fma 1/2 (pow x 4) (pow x 2)) (exp -1)) (exp -1)) 1547114134.890 * [misc]taylor: Taking taylor expansion of (* (fma 1/2 (pow x 4) (pow x 2)) (exp -1)) in x 1547114134.890 * [misc]taylor: Taking taylor expansion of (fma 1/2 (pow x 4) (pow x 2)) in x 1547114134.890 * [misc]taylor: Rewrote expression to (+ (* 1/2 (pow x 4)) (pow x 2)) 1547114134.891 * [misc]taylor: Taking taylor expansion of (* 1/2 (pow x 4)) in x 1547114134.891 * [misc]taylor: Taking taylor expansion of 1/2 in x 1547114134.891 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547114134.891 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1547114134.891 * [misc]taylor: Taking taylor expansion of x in x 1547114134.891 * [misc]backup-simplify: Simplify 0 into 0 1547114134.891 * [misc]backup-simplify: Simplify 1 into 1 1547114134.891 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1547114134.891 * [misc]taylor: Taking taylor expansion of x in x 1547114134.891 * [misc]backup-simplify: Simplify 0 into 0 1547114134.891 * [misc]backup-simplify: Simplify 1 into 1 1547114134.891 * [misc]taylor: Taking taylor expansion of (exp -1) in x 1547114134.891 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.891 * [misc]backup-simplify: Simplify -1 into -1 1547114134.891 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1547114134.891 * [misc]taylor: Taking taylor expansion of (exp -1) in x 1547114134.891 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.891 * [misc]backup-simplify: Simplify -1 into -1 1547114134.891 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1547114134.891 * [misc]taylor: Taking taylor expansion of (fma (fma 1/2 (pow x 4) (pow x 2)) (exp -1) (exp -1)) in x 1547114134.891 * [misc]taylor: Rewrote expression to (+ (* (fma 1/2 (pow x 4) (pow x 2)) (exp -1)) (exp -1)) 1547114134.891 * [misc]taylor: Taking taylor expansion of (* (fma 1/2 (pow x 4) (pow x 2)) (exp -1)) in x 1547114134.891 * [misc]taylor: Taking taylor expansion of (fma 1/2 (pow x 4) (pow x 2)) in x 1547114134.891 * [misc]taylor: Rewrote expression to (+ (* 1/2 (pow x 4)) (pow x 2)) 1547114134.891 * [misc]taylor: Taking taylor expansion of (* 1/2 (pow x 4)) in x 1547114134.891 * [misc]taylor: Taking taylor expansion of 1/2 in x 1547114134.891 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547114134.891 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1547114134.891 * [misc]taylor: Taking taylor expansion of x in x 1547114134.891 * [misc]backup-simplify: Simplify 0 into 0 1547114134.891 * [misc]backup-simplify: Simplify 1 into 1 1547114134.891 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1547114134.891 * [misc]taylor: Taking taylor expansion of x in x 1547114134.891 * [misc]backup-simplify: Simplify 0 into 0 1547114134.891 * [misc]backup-simplify: Simplify 1 into 1 1547114134.891 * [misc]taylor: Taking taylor expansion of (exp -1) in x 1547114134.891 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.891 * [misc]backup-simplify: Simplify -1 into -1 1547114134.892 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1547114134.892 * [misc]taylor: Taking taylor expansion of (exp -1) in x 1547114134.892 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.892 * [misc]backup-simplify: Simplify -1 into -1 1547114134.892 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1547114134.892 * [misc]backup-simplify: Simplify (+ 0 (exp -1)) into (exp -1) 1547114134.892 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1547114134.893 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 1547114134.893 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.893 * [misc]backup-simplify: Simplify 0 into 0 1547114134.893 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547114134.893 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1547114134.894 * [misc]backup-simplify: Simplify (* 1 (exp -1)) into (exp -1) 1547114134.895 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1547114134.895 * [misc]backup-simplify: Simplify (+ (exp -1) 0) into (exp -1) 1547114134.895 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1547114134.896 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 1547114134.897 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1547114134.897 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.897 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 (exp -1))) into 0 1547114134.899 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1547114134.899 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.899 * [misc]backup-simplify: Simplify 0 into 0 1547114134.901 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1547114134.901 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547114134.901 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547114134.901 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1547114134.901 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1547114134.901 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1547114134.902 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 1/2 (exp -1)))) into (* 1/2 (exp -1)) 1547114134.906 * [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 1547114134.906 * [misc]backup-simplify: Simplify (+ (* 1/2 (exp -1)) 0) into (* 1/2 (exp -1)) 1547114134.906 * [misc]backup-simplify: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 1547114134.907 * [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))))) 1547114134.907 * [misc]backup-simplify: Simplify (fma (fma 1/2 (pow (/ 1 x) 4) (* (/ 1 x) (/ 1 x))) (exp -1) (exp -1)) into (fma (fma 1/2 (pow (/ 1 x) 4) (/ 1 (pow x 2))) (exp -1) (exp -1)) 1547114134.907 * [misc]approximate: Taking taylor expansion of (fma (fma 1/2 (pow (/ 1 x) 4) (/ 1 (pow x 2))) (exp -1) (exp -1)) in (x) around 0 1547114134.907 * [misc]taylor: Taking taylor expansion of (fma (fma 1/2 (pow (/ 1 x) 4) (/ 1 (pow x 2))) (exp -1) (exp -1)) in x 1547114134.907 * [misc]taylor: Rewrote expression to (+ (* (fma 1/2 (pow (/ 1 x) 4) (/ 1 (pow x 2))) (exp -1)) (exp -1)) 1547114134.907 * [misc]taylor: Taking taylor expansion of (* (fma 1/2 (pow (/ 1 x) 4) (/ 1 (pow x 2))) (exp -1)) in x 1547114134.907 * [misc]taylor: Taking taylor expansion of (fma 1/2 (pow (/ 1 x) 4) (/ 1 (pow x 2))) in x 1547114134.907 * [misc]taylor: Rewrote expression to (+ (* 1/2 (pow (/ 1 x) 4)) (/ 1 (pow x 2))) 1547114134.907 * [misc]taylor: Taking taylor expansion of (* 1/2 (pow (/ 1 x) 4)) in x 1547114134.907 * [misc]taylor: Taking taylor expansion of 1/2 in x 1547114134.907 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547114134.907 * [misc]taylor: Taking taylor expansion of (pow (/ 1 x) 4) in x 1547114134.907 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547114134.907 * [misc]taylor: Taking taylor expansion of x in x 1547114134.907 * [misc]backup-simplify: Simplify 0 into 0 1547114134.907 * [misc]backup-simplify: Simplify 1 into 1 1547114134.907 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547114134.908 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1547114134.908 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1547114134.908 * [misc]taylor: Taking taylor expansion of x in x 1547114134.908 * [misc]backup-simplify: Simplify 0 into 0 1547114134.908 * [misc]backup-simplify: Simplify 1 into 1 1547114134.908 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547114134.908 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547114134.908 * [misc]taylor: Taking taylor expansion of (exp -1) in x 1547114134.908 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.908 * [misc]backup-simplify: Simplify -1 into -1 1547114134.908 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1547114134.908 * [misc]taylor: Taking taylor expansion of (exp -1) in x 1547114134.908 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.908 * [misc]backup-simplify: Simplify -1 into -1 1547114134.908 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1547114134.908 * [misc]taylor: Taking taylor expansion of (fma (fma 1/2 (pow (/ 1 x) 4) (/ 1 (pow x 2))) (exp -1) (exp -1)) in x 1547114134.908 * [misc]taylor: Rewrote expression to (+ (* (fma 1/2 (pow (/ 1 x) 4) (/ 1 (pow x 2))) (exp -1)) (exp -1)) 1547114134.908 * [misc]taylor: Taking taylor expansion of (* (fma 1/2 (pow (/ 1 x) 4) (/ 1 (pow x 2))) (exp -1)) in x 1547114134.908 * [misc]taylor: Taking taylor expansion of (fma 1/2 (pow (/ 1 x) 4) (/ 1 (pow x 2))) in x 1547114134.908 * [misc]taylor: Rewrote expression to (+ (* 1/2 (pow (/ 1 x) 4)) (/ 1 (pow x 2))) 1547114134.908 * [misc]taylor: Taking taylor expansion of (* 1/2 (pow (/ 1 x) 4)) in x 1547114134.908 * [misc]taylor: Taking taylor expansion of 1/2 in x 1547114134.908 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547114134.908 * [misc]taylor: Taking taylor expansion of (pow (/ 1 x) 4) in x 1547114134.908 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547114134.908 * [misc]taylor: Taking taylor expansion of x in x 1547114134.908 * [misc]backup-simplify: Simplify 0 into 0 1547114134.908 * [misc]backup-simplify: Simplify 1 into 1 1547114134.908 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547114134.909 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1547114134.909 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1547114134.909 * [misc]taylor: Taking taylor expansion of x in x 1547114134.909 * [misc]backup-simplify: Simplify 0 into 0 1547114134.909 * [misc]backup-simplify: Simplify 1 into 1 1547114134.909 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547114134.909 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547114134.909 * [misc]taylor: Taking taylor expansion of (exp -1) in x 1547114134.909 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.909 * [misc]backup-simplify: Simplify -1 into -1 1547114134.909 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1547114134.909 * [misc]taylor: Taking taylor expansion of (exp -1) in x 1547114134.909 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.909 * [misc]backup-simplify: Simplify -1 into -1 1547114134.909 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1547114134.909 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547114134.909 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547114134.909 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1547114134.910 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1547114134.910 * [misc]backup-simplify: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 1547114134.910 * [misc]backup-simplify: Simplify (+ (* 1/2 (exp -1)) 0) into (* 1/2 (exp -1)) 1547114134.910 * [misc]backup-simplify: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 1547114134.911 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 1547114134.911 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1547114134.912 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1547114134.912 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1547114134.912 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1547114134.912 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.912 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 (exp -1))) into 0 1547114134.912 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.912 * [misc]backup-simplify: Simplify 0 into 0 1547114134.914 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1547114134.914 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.914 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1547114134.914 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1547114134.914 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 1547114134.915 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1547114134.915 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 1 (exp -1)))) into (exp -1) 1547114134.915 * [misc]backup-simplify: Simplify (+ (exp -1) 0) into (exp -1) 1547114134.915 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1547114134.918 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1547114134.918 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.918 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1547114134.918 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1547114134.919 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1547114134.919 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1547114134.919 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1547114134.919 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.919 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 1 0) (* 0 (exp -1))))) into 0 1547114134.919 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.919 * [misc]backup-simplify: Simplify 0 into 0 1547114134.923 * [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 1547114134.923 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.924 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1547114134.924 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1547114134.924 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1547114134.924 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1547114134.924 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.924 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.925 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp -1)))))) into 0 1547114134.925 * [misc]backup-simplify: Simplify (+ 0 (exp -1)) into (exp -1) 1547114134.925 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1547114134.926 * [misc]backup-simplify: Simplify (+ (exp -1) (+ (* (exp -1) (pow (/ 1 (/ 1 x)) 2)) (* (* 1/2 (exp -1)) (pow (/ 1 (/ 1 x)) 4)))) into (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 1547114134.927 * [misc]backup-simplify: Simplify (fma (fma 1/2 (pow (/ 1 (- x)) 4) (* (/ 1 (- x)) (/ 1 (- x)))) (exp -1) (exp -1)) into (fma (fma 1/2 (pow (/ -1 x) 4) (/ 1 (pow x 2))) (exp -1) (exp -1)) 1547114134.927 * [misc]approximate: Taking taylor expansion of (fma (fma 1/2 (pow (/ -1 x) 4) (/ 1 (pow x 2))) (exp -1) (exp -1)) in (x) around 0 1547114134.927 * [misc]taylor: Taking taylor expansion of (fma (fma 1/2 (pow (/ -1 x) 4) (/ 1 (pow x 2))) (exp -1) (exp -1)) in x 1547114134.927 * [misc]taylor: Rewrote expression to (+ (* (fma 1/2 (pow (/ -1 x) 4) (/ 1 (pow x 2))) (exp -1)) (exp -1)) 1547114134.927 * [misc]taylor: Taking taylor expansion of (* (fma 1/2 (pow (/ -1 x) 4) (/ 1 (pow x 2))) (exp -1)) in x 1547114134.927 * [misc]taylor: Taking taylor expansion of (fma 1/2 (pow (/ -1 x) 4) (/ 1 (pow x 2))) in x 1547114134.927 * [misc]taylor: Rewrote expression to (+ (* 1/2 (pow (/ -1 x) 4)) (/ 1 (pow x 2))) 1547114134.927 * [misc]taylor: Taking taylor expansion of (* 1/2 (pow (/ -1 x) 4)) in x 1547114134.927 * [misc]taylor: Taking taylor expansion of 1/2 in x 1547114134.927 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547114134.927 * [misc]taylor: Taking taylor expansion of (pow (/ -1 x) 4) in x 1547114134.927 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547114134.927 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.927 * [misc]backup-simplify: Simplify -1 into -1 1547114134.927 * [misc]taylor: Taking taylor expansion of x in x 1547114134.927 * [misc]backup-simplify: Simplify 0 into 0 1547114134.928 * [misc]backup-simplify: Simplify 1 into 1 1547114134.928 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547114134.928 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1547114134.928 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1547114134.928 * [misc]taylor: Taking taylor expansion of x in x 1547114134.928 * [misc]backup-simplify: Simplify 0 into 0 1547114134.928 * [misc]backup-simplify: Simplify 1 into 1 1547114134.928 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547114134.928 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547114134.928 * [misc]taylor: Taking taylor expansion of (exp -1) in x 1547114134.928 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.928 * [misc]backup-simplify: Simplify -1 into -1 1547114134.928 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1547114134.928 * [misc]taylor: Taking taylor expansion of (exp -1) in x 1547114134.928 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.928 * [misc]backup-simplify: Simplify -1 into -1 1547114134.929 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1547114134.929 * [misc]taylor: Taking taylor expansion of (fma (fma 1/2 (pow (/ -1 x) 4) (/ 1 (pow x 2))) (exp -1) (exp -1)) in x 1547114134.929 * [misc]taylor: Rewrote expression to (+ (* (fma 1/2 (pow (/ -1 x) 4) (/ 1 (pow x 2))) (exp -1)) (exp -1)) 1547114134.929 * [misc]taylor: Taking taylor expansion of (* (fma 1/2 (pow (/ -1 x) 4) (/ 1 (pow x 2))) (exp -1)) in x 1547114134.929 * [misc]taylor: Taking taylor expansion of (fma 1/2 (pow (/ -1 x) 4) (/ 1 (pow x 2))) in x 1547114134.929 * [misc]taylor: Rewrote expression to (+ (* 1/2 (pow (/ -1 x) 4)) (/ 1 (pow x 2))) 1547114134.929 * [misc]taylor: Taking taylor expansion of (* 1/2 (pow (/ -1 x) 4)) in x 1547114134.929 * [misc]taylor: Taking taylor expansion of 1/2 in x 1547114134.929 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547114134.929 * [misc]taylor: Taking taylor expansion of (pow (/ -1 x) 4) in x 1547114134.929 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547114134.929 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.929 * [misc]backup-simplify: Simplify -1 into -1 1547114134.929 * [misc]taylor: Taking taylor expansion of x in x 1547114134.929 * [misc]backup-simplify: Simplify 0 into 0 1547114134.929 * [misc]backup-simplify: Simplify 1 into 1 1547114134.929 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547114134.929 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1547114134.929 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1547114134.929 * [misc]taylor: Taking taylor expansion of x in x 1547114134.929 * [misc]backup-simplify: Simplify 0 into 0 1547114134.929 * [misc]backup-simplify: Simplify 1 into 1 1547114134.930 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547114134.930 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547114134.930 * [misc]taylor: Taking taylor expansion of (exp -1) in x 1547114134.930 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.930 * [misc]backup-simplify: Simplify -1 into -1 1547114134.930 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1547114134.930 * [misc]taylor: Taking taylor expansion of (exp -1) in x 1547114134.930 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.930 * [misc]backup-simplify: Simplify -1 into -1 1547114134.930 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1547114134.930 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1547114134.930 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547114134.931 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1547114134.931 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1547114134.931 * [misc]backup-simplify: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 1547114134.932 * [misc]backup-simplify: Simplify (+ (* 1/2 (exp -1)) 0) into (* 1/2 (exp -1)) 1547114134.932 * [misc]backup-simplify: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 1547114134.934 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 1547114134.934 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1547114134.934 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 -1)) into 0 1547114134.934 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1547114134.934 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1547114134.935 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.935 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 (exp -1))) into 0 1547114134.935 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.935 * [misc]backup-simplify: Simplify 0 into 0 1547114134.937 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1547114134.938 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.938 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 1547114134.938 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1547114134.938 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 1547114134.939 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1547114134.939 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 1 (exp -1)))) into (exp -1) 1547114134.940 * [misc]backup-simplify: Simplify (+ (exp -1) 0) into (exp -1) 1547114134.940 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1547114134.944 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1547114134.944 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.945 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 1547114134.945 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1547114134.945 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1547114134.946 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1547114134.946 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1547114134.946 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.946 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 1 0) (* 0 (exp -1))))) into 0 1547114134.946 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.946 * [misc]backup-simplify: Simplify 0 into 0 1547114134.952 * [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 1547114134.953 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.953 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 1547114134.953 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1547114134.954 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1547114134.954 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1547114134.954 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.955 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.955 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp -1)))))) into 0 1547114134.955 * [misc]backup-simplify: Simplify (+ 0 (exp -1)) into (exp -1) 1547114134.955 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1547114134.956 * [misc]backup-simplify: Simplify (+ (exp -1) (+ (* (exp -1) (pow (/ 1 (/ 1 (- x))) 2)) (* (* 1/2 (exp -1)) (pow (/ 1 (/ 1 (- x))) 4)))) into (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 1547114134.956 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1547114134.956 * [misc]backup-simplify: Simplify (fma 1/2 (pow x 4) (* x x)) into (fma 1/2 (pow x 4) (pow x 2)) 1547114134.956 * [misc]approximate: Taking taylor expansion of (fma 1/2 (pow x 4) (pow x 2)) in (x) around 0 1547114134.956 * [misc]taylor: Taking taylor expansion of (fma 1/2 (pow x 4) (pow x 2)) in x 1547114134.956 * [misc]taylor: Rewrote expression to (+ (* 1/2 (pow x 4)) (pow x 2)) 1547114134.956 * [misc]taylor: Taking taylor expansion of (* 1/2 (pow x 4)) in x 1547114134.956 * [misc]taylor: Taking taylor expansion of 1/2 in x 1547114134.956 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547114134.956 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1547114134.956 * [misc]taylor: Taking taylor expansion of x in x 1547114134.956 * [misc]backup-simplify: Simplify 0 into 0 1547114134.956 * [misc]backup-simplify: Simplify 1 into 1 1547114134.956 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1547114134.956 * [misc]taylor: Taking taylor expansion of x in x 1547114134.956 * [misc]backup-simplify: Simplify 0 into 0 1547114134.956 * [misc]backup-simplify: Simplify 1 into 1 1547114134.956 * [misc]taylor: Taking taylor expansion of (fma 1/2 (pow x 4) (pow x 2)) in x 1547114134.957 * [misc]taylor: Rewrote expression to (+ (* 1/2 (pow x 4)) (pow x 2)) 1547114134.957 * [misc]taylor: Taking taylor expansion of (* 1/2 (pow x 4)) in x 1547114134.957 * [misc]taylor: Taking taylor expansion of 1/2 in x 1547114134.957 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547114134.957 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1547114134.957 * [misc]taylor: Taking taylor expansion of x in x 1547114134.957 * [misc]backup-simplify: Simplify 0 into 0 1547114134.957 * [misc]backup-simplify: Simplify 1 into 1 1547114134.957 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1547114134.957 * [misc]taylor: Taking taylor expansion of x in x 1547114134.957 * [misc]backup-simplify: Simplify 0 into 0 1547114134.957 * [misc]backup-simplify: Simplify 1 into 1 1547114134.957 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547114134.957 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1547114134.957 * [misc]backup-simplify: Simplify 1 into 1 1547114134.957 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1547114134.957 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.957 * [misc]backup-simplify: Simplify 0 into 0 1547114134.957 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547114134.957 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547114134.958 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1547114134.958 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1547114134.958 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1547114134.958 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547114134.958 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1547114134.958 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1547114134.958 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1547114134.958 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1547114134.959 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.959 * [misc]backup-simplify: Simplify 0 into 0 1547114134.959 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1547114134.959 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1547114134.959 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 1547114134.959 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1547114134.959 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.959 * [misc]backup-simplify: Simplify 0 into 0 1547114134.960 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1547114134.960 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1547114134.960 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1547114134.960 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1547114134.960 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.960 * [misc]backup-simplify: Simplify 0 into 0 1547114134.961 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1547114134.961 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1547114134.961 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1547114134.961 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1547114134.961 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.961 * [misc]backup-simplify: Simplify 0 into 0 1547114134.962 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1547114134.962 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1547114134.962 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1547114134.963 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1547114134.963 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.963 * [misc]backup-simplify: Simplify 0 into 0 1547114134.963 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1547114134.963 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1547114134.964 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1547114134.964 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1547114134.964 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.964 * [misc]backup-simplify: Simplify 0 into 0 1547114134.964 * [misc]backup-simplify: Simplify (+ (* 1/2 (pow x 4)) (* 1 (pow x 2))) into (+ (pow x 2) (* 1/2 (pow x 4))) 1547114134.964 * [misc]backup-simplify: Simplify (fma 1/2 (pow (/ 1 x) 4) (* (/ 1 x) (/ 1 x))) into (fma 1/2 (pow (/ 1 x) 4) (/ 1 (pow x 2))) 1547114134.964 * [misc]approximate: Taking taylor expansion of (fma 1/2 (pow (/ 1 x) 4) (/ 1 (pow x 2))) in (x) around 0 1547114134.964 * [misc]taylor: Taking taylor expansion of (fma 1/2 (pow (/ 1 x) 4) (/ 1 (pow x 2))) in x 1547114134.964 * [misc]taylor: Rewrote expression to (+ (* 1/2 (pow (/ 1 x) 4)) (/ 1 (pow x 2))) 1547114134.964 * [misc]taylor: Taking taylor expansion of (* 1/2 (pow (/ 1 x) 4)) in x 1547114134.964 * [misc]taylor: Taking taylor expansion of 1/2 in x 1547114134.964 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547114134.964 * [misc]taylor: Taking taylor expansion of (pow (/ 1 x) 4) in x 1547114134.964 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547114134.964 * [misc]taylor: Taking taylor expansion of x in x 1547114134.965 * [misc]backup-simplify: Simplify 0 into 0 1547114134.965 * [misc]backup-simplify: Simplify 1 into 1 1547114134.965 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547114134.965 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1547114134.965 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1547114134.965 * [misc]taylor: Taking taylor expansion of x in x 1547114134.965 * [misc]backup-simplify: Simplify 0 into 0 1547114134.965 * [misc]backup-simplify: Simplify 1 into 1 1547114134.965 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547114134.965 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547114134.965 * [misc]taylor: Taking taylor expansion of (fma 1/2 (pow (/ 1 x) 4) (/ 1 (pow x 2))) in x 1547114134.965 * [misc]taylor: Rewrote expression to (+ (* 1/2 (pow (/ 1 x) 4)) (/ 1 (pow x 2))) 1547114134.965 * [misc]taylor: Taking taylor expansion of (* 1/2 (pow (/ 1 x) 4)) in x 1547114134.965 * [misc]taylor: Taking taylor expansion of 1/2 in x 1547114134.965 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547114134.965 * [misc]taylor: Taking taylor expansion of (pow (/ 1 x) 4) in x 1547114134.965 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547114134.965 * [misc]taylor: Taking taylor expansion of x in x 1547114134.965 * [misc]backup-simplify: Simplify 0 into 0 1547114134.965 * [misc]backup-simplify: Simplify 1 into 1 1547114134.965 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547114134.965 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1547114134.965 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1547114134.965 * [misc]taylor: Taking taylor expansion of x in x 1547114134.965 * [misc]backup-simplify: Simplify 0 into 0 1547114134.965 * [misc]backup-simplify: Simplify 1 into 1 1547114134.965 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547114134.966 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547114134.966 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547114134.966 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547114134.966 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1547114134.966 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1547114134.966 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547114134.966 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1547114134.966 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1547114134.966 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1547114134.967 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1547114134.967 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.967 * [misc]backup-simplify: Simplify 0 into 0 1547114134.967 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.967 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1547114134.967 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1547114134.967 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 1547114134.967 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1547114134.967 * [misc]backup-simplify: Simplify 1 into 1 1547114134.968 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.968 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1547114134.968 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1547114134.968 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1547114134.968 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1547114134.969 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1547114134.969 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.969 * [misc]backup-simplify: Simplify 0 into 0 1547114134.969 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.969 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1547114134.969 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1547114134.970 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1547114134.970 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1547114134.970 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.970 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.970 * [misc]backup-simplify: Simplify 0 into 0 1547114134.970 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.971 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1547114134.971 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1547114134.971 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1547114134.971 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1547114134.972 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.972 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.972 * [misc]backup-simplify: Simplify 0 into 0 1547114134.972 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.972 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1547114134.973 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1547114134.973 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1547114134.973 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1547114134.973 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.973 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.973 * [misc]backup-simplify: Simplify 0 into 0 1547114134.974 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.974 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1547114134.974 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1547114134.975 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1547114134.975 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1547114134.975 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.975 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.975 * [misc]backup-simplify: Simplify 0 into 0 1547114134.976 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.976 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1547114134.976 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1547114134.977 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1547114134.977 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1547114134.977 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.977 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.978 * [misc]backup-simplify: Simplify 0 into 0 1547114134.978 * [misc]backup-simplify: Simplify (+ (* 1 (pow (/ 1 (/ 1 x)) 2)) (* 1/2 (pow (/ 1 (/ 1 x)) 4))) into (+ (pow x 2) (* 1/2 (pow x 4))) 1547114134.978 * [misc]backup-simplify: Simplify (fma 1/2 (pow (/ 1 (- x)) 4) (* (/ 1 (- x)) (/ 1 (- x)))) into (fma 1/2 (pow (/ -1 x) 4) (/ 1 (pow x 2))) 1547114134.978 * [misc]approximate: Taking taylor expansion of (fma 1/2 (pow (/ -1 x) 4) (/ 1 (pow x 2))) in (x) around 0 1547114134.978 * [misc]taylor: Taking taylor expansion of (fma 1/2 (pow (/ -1 x) 4) (/ 1 (pow x 2))) in x 1547114134.978 * [misc]taylor: Rewrote expression to (+ (* 1/2 (pow (/ -1 x) 4)) (/ 1 (pow x 2))) 1547114134.978 * [misc]taylor: Taking taylor expansion of (* 1/2 (pow (/ -1 x) 4)) in x 1547114134.978 * [misc]taylor: Taking taylor expansion of 1/2 in x 1547114134.978 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547114134.978 * [misc]taylor: Taking taylor expansion of (pow (/ -1 x) 4) in x 1547114134.978 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547114134.978 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.978 * [misc]backup-simplify: Simplify -1 into -1 1547114134.978 * [misc]taylor: Taking taylor expansion of x in x 1547114134.978 * [misc]backup-simplify: Simplify 0 into 0 1547114134.978 * [misc]backup-simplify: Simplify 1 into 1 1547114134.978 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547114134.978 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1547114134.978 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1547114134.978 * [misc]taylor: Taking taylor expansion of x in x 1547114134.978 * [misc]backup-simplify: Simplify 0 into 0 1547114134.978 * [misc]backup-simplify: Simplify 1 into 1 1547114134.978 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547114134.979 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547114134.979 * [misc]taylor: Taking taylor expansion of (fma 1/2 (pow (/ -1 x) 4) (/ 1 (pow x 2))) in x 1547114134.979 * [misc]taylor: Rewrote expression to (+ (* 1/2 (pow (/ -1 x) 4)) (/ 1 (pow x 2))) 1547114134.979 * [misc]taylor: Taking taylor expansion of (* 1/2 (pow (/ -1 x) 4)) in x 1547114134.979 * [misc]taylor: Taking taylor expansion of 1/2 in x 1547114134.979 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547114134.979 * [misc]taylor: Taking taylor expansion of (pow (/ -1 x) 4) in x 1547114134.979 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547114134.979 * [misc]taylor: Taking taylor expansion of -1 in x 1547114134.979 * [misc]backup-simplify: Simplify -1 into -1 1547114134.979 * [misc]taylor: Taking taylor expansion of x in x 1547114134.979 * [misc]backup-simplify: Simplify 0 into 0 1547114134.979 * [misc]backup-simplify: Simplify 1 into 1 1547114134.979 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547114134.979 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1547114134.979 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1547114134.979 * [misc]taylor: Taking taylor expansion of x in x 1547114134.979 * [misc]backup-simplify: Simplify 0 into 0 1547114134.979 * [misc]backup-simplify: Simplify 1 into 1 1547114134.979 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547114134.979 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547114134.979 * [misc]backup-simplify: Simplify (* -1 -1) into 1 1547114134.979 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547114134.980 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1547114134.980 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1547114134.980 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547114134.980 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1547114134.980 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 -1)) into 0 1547114134.980 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1547114134.980 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1547114134.980 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.980 * [misc]backup-simplify: Simplify 0 into 0 1547114134.981 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.981 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 1547114134.981 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1547114134.981 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 1547114134.981 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1547114134.981 * [misc]backup-simplify: Simplify 1 into 1 1547114134.981 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.982 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 1547114134.982 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1547114134.984 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1547114134.984 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1547114134.984 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1547114134.984 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.984 * [misc]backup-simplify: Simplify 0 into 0 1547114134.985 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.985 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 1547114134.985 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1547114134.985 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1547114134.985 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1547114134.986 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.986 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.986 * [misc]backup-simplify: Simplify 0 into 0 1547114134.986 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.986 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0 1547114134.987 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1547114134.987 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1547114134.987 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1547114134.987 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.987 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.987 * [misc]backup-simplify: Simplify 0 into 0 1547114134.988 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.988 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0 1547114134.988 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1547114134.988 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1547114134.989 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1547114134.989 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.989 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.989 * [misc]backup-simplify: Simplify 0 into 0 1547114134.989 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.990 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))))) into 0 1547114134.990 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1547114134.990 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1547114134.991 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1547114134.991 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.991 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.991 * [misc]backup-simplify: Simplify 0 into 0 1547114134.991 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.992 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))))) into 0 1547114134.992 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1547114134.992 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1547114134.993 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1547114134.993 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547114134.993 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547114134.993 * [misc]backup-simplify: Simplify 0 into 0 1547114134.993 * [misc]backup-simplify: Simplify (+ (* 1 (pow (/ 1 (/ 1 (- x))) 2)) (* 1/2 (pow (/ 1 (/ 1 (- x))) 4))) into (+ (pow x 2) (* 1/2 (pow x 4))) 1547114134.994 * * * [misc]progress: simplifying candidates 1547114134.994 * * * * [misc]progress: [ 1 / 26 ] simplifiying candidate # 1547114134.994 * * * * [misc]progress: [ 2 / 26 ] simplifiying candidate # 1547114134.994 * * * * [misc]progress: [ 3 / 26 ] simplifiying candidate # 1547114134.994 * * * * [misc]progress: [ 4 / 26 ] simplifiying candidate # 1547114134.994 * * * * [misc]progress: [ 5 / 26 ] simplifiying candidate # 1547114134.994 * * * * [misc]progress: [ 6 / 26 ] simplifiying candidate # 1547114134.994 * * * * [misc]progress: [ 7 / 26 ] simplifiying candidate # 1547114134.994 * * * * [misc]progress: [ 8 / 26 ] simplifiying candidate # 1547114134.994 * * * * [misc]progress: [ 9 / 26 ] simplifiying candidate # 1547114134.994 * * * * [misc]progress: [ 10 / 26 ] simplifiying candidate # 1547114134.994 * * * * [misc]progress: [ 11 / 26 ] simplifiying candidate # 1547114134.994 * * * * [misc]progress: [ 12 / 26 ] simplifiying candidate # 1547114134.994 * * * * [misc]progress: [ 13 / 26 ] simplifiying candidate # 1547114134.994 * * * * [misc]progress: [ 14 / 26 ] simplifiying candidate # 1547114134.994 * * * * [misc]progress: [ 15 / 26 ] simplifiying candidate # 1547114134.994 * * * * [misc]progress: [ 16 / 26 ] simplifiying candidate # 1547114134.994 * * * * [misc]progress: [ 17 / 26 ] simplifiying candidate # 1547114134.994 * * * * [misc]progress: [ 18 / 26 ] simplifiying candidate # 1547114134.994 * * * * [misc]progress: [ 19 / 26 ] simplifiying candidate # 1547114134.994 * * * * [misc]progress: [ 20 / 26 ] simplifiying candidate # 1547114134.994 * * * * [misc]progress: [ 21 / 26 ] simplifiying candidate # 1547114134.994 * [enter]simplify: Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 1547114134.995 * * [misc]simplify: iters left: 6 (13 enodes) 1547114134.997 * * [misc]simplify: iters left: 5 (24 enodes) 1547114135.002 * * [misc]simplify: iters left: 4 (51 enodes) 1547114135.013 * * [misc]simplify: iters left: 3 (101 enodes) 1547114135.026 * * [misc]simplify: iters left: 2 (121 enodes) 1547114135.047 * * [misc]simplify: iters left: 1 (196 enodes) 1547114135.105 * [exit]simplify: Simplified to (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1)) 1547114135.105 * [misc]simplify: Simplified (2) to (λ (x) (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1))) 1547114135.105 * * * * [misc]progress: [ 22 / 26 ] simplifiying candidate # 1547114135.105 * [enter]simplify: Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 1547114135.105 * * [misc]simplify: iters left: 6 (13 enodes) 1547114135.108 * * [misc]simplify: iters left: 5 (24 enodes) 1547114135.113 * * [misc]simplify: iters left: 4 (51 enodes) 1547114135.124 * * [misc]simplify: iters left: 3 (101 enodes) 1547114135.137 * * [misc]simplify: iters left: 2 (121 enodes) 1547114135.158 * * [misc]simplify: iters left: 1 (196 enodes) 1547114135.216 * [exit]simplify: Simplified to (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1)) 1547114135.216 * [misc]simplify: Simplified (2) to (λ (x) (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1))) 1547114135.216 * * * * [misc]progress: [ 23 / 26 ] simplifiying candidate # 1547114135.217 * [enter]simplify: Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 1547114135.217 * * [misc]simplify: iters left: 6 (13 enodes) 1547114135.219 * * [misc]simplify: iters left: 5 (24 enodes) 1547114135.223 * * [misc]simplify: iters left: 4 (51 enodes) 1547114135.234 * * [misc]simplify: iters left: 3 (101 enodes) 1547114135.250 * * [misc]simplify: iters left: 2 (121 enodes) 1547114135.271 * * [misc]simplify: iters left: 1 (196 enodes) 1547114135.330 * [exit]simplify: Simplified to (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1)) 1547114135.330 * [misc]simplify: Simplified (2) to (λ (x) (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1))) 1547114135.330 * * * * [misc]progress: [ 24 / 26 ] simplifiying candidate # 1547114135.330 * [enter]simplify: Simplifying (+ (pow x 2) (* 1/2 (pow x 4))) 1547114135.330 * * [misc]simplify: iters left: 5 (8 enodes) 1547114135.331 * * [misc]simplify: iters left: 4 (11 enodes) 1547114135.333 * * [misc]simplify: iters left: 3 (14 enodes) 1547114135.335 * [exit]simplify: Simplified to (fma (pow x 4) 1/2 (* x x)) 1547114135.335 * [misc]simplify: Simplified (2 1) to (λ (x) (fma (fma (pow x 4) 1/2 (* x x)) (exp -1) (exp -1))) 1547114135.335 * * * * [misc]progress: [ 25 / 26 ] simplifiying candidate # 1547114135.335 * [enter]simplify: Simplifying (+ (pow x 2) (* 1/2 (pow x 4))) 1547114135.335 * * [misc]simplify: iters left: 5 (8 enodes) 1547114135.336 * * [misc]simplify: iters left: 4 (11 enodes) 1547114135.338 * * [misc]simplify: iters left: 3 (14 enodes) 1547114135.340 * [exit]simplify: Simplified to (fma (pow x 4) 1/2 (* x x)) 1547114135.340 * [misc]simplify: Simplified (2 1) to (λ (x) (fma (fma (pow x 4) 1/2 (* x x)) (exp -1) (exp -1))) 1547114135.340 * * * * [misc]progress: [ 26 / 26 ] simplifiying candidate # 1547114135.340 * [enter]simplify: Simplifying (+ (pow x 2) (* 1/2 (pow x 4))) 1547114135.340 * * [misc]simplify: iters left: 5 (8 enodes) 1547114135.342 * * [misc]simplify: iters left: 4 (11 enodes) 1547114135.343 * * [misc]simplify: iters left: 3 (14 enodes) 1547114135.345 * [exit]simplify: Simplified to (fma (pow x 4) 1/2 (* x x)) 1547114135.345 * [misc]simplify: Simplified (2 1) to (λ (x) (fma (fma (pow x 4) 1/2 (* x x)) (exp -1) (exp -1))) 1547114135.345 * * * [misc]progress: adding candidates to table 1547114135.510 * [misc]progress: [Phase 3 of 3] Extracting. 1547114135.510 * * [misc]regime: Finding splitpoints for: (# #) 1547114135.511 * * * [misc]regime-changes: Trying 1 branch expressions: (x) 1547114135.511 * * * * [misc]regimes: Trying to branch on x from (# #) 1547114135.528 * * * [misc]regime: Found split indices: #