1554297650.235 * [misc]progress: [Phase 1 of 3] Setting up. 1554297650.235 * * * [misc]progress: [1/2] Preparing points 1554297650.321 * * * [misc]progress: [2/2] Setting up program. 1554297650.325 * [misc]progress: [Phase 2 of 3] Improving. 1554297650.325 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1554297650.325 * [enter]simplify: Simplifying (- (exp x) 1) 1554297650.325 * * [misc]simplify: iters left: 3 (4 enodes) 1554297650.328 * * [misc]simplify: iters left: 2 (17 enodes) 1554297650.333 * * [misc]simplify: iters left: 1 (21 enodes) 1554297650.339 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297650.339 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554297650.339 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1554297650.339 * * [misc]simplify: Extracting #3: cost 4 inf + 3 1554297650.339 * * [misc]simplify: Extracting #4: cost 0 inf + 369 1554297650.339 * [exit]simplify: Simplified to (- (exp x) 1) 1554297650.339 * [misc]simplify: Simplified (2) to (λ (x) (- (exp x) 1)) 1554297650.343 * * [misc]progress: iteration 1 / 4 1554297650.343 * * * [misc]progress: picking best candidate 1554297650.346 * * * * [misc]pick: Picked # 1554297650.346 * * * [misc]progress: localizing error 1554297650.356 * * * [misc]progress: generating rewritten candidates 1554297650.356 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1554297650.363 * * * [misc]progress: generating series expansions 1554297650.363 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1554297650.363 * [misc]backup-simplify: Simplify (- (exp x) 1) into (- (exp x) 1) 1554297650.363 * [misc]approximate: Taking taylor expansion of (- (exp x) 1) in (x) around 0 1554297650.364 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1554297650.364 * [misc]taylor: Taking taylor expansion of (exp x) in x 1554297650.364 * [misc]taylor: Taking taylor expansion of x in x 1554297650.364 * [misc]backup-simplify: Simplify 0 into 0 1554297650.364 * [misc]backup-simplify: Simplify 1 into 1 1554297650.364 * [misc]backup-simplify: Simplify (exp 0) into 1 1554297650.364 * [misc]taylor: Taking taylor expansion of 1 in x 1554297650.364 * [misc]backup-simplify: Simplify 1 into 1 1554297650.364 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1554297650.364 * [misc]taylor: Taking taylor expansion of (exp x) in x 1554297650.364 * [misc]taylor: Taking taylor expansion of x in x 1554297650.364 * [misc]backup-simplify: Simplify 0 into 0 1554297650.364 * [misc]backup-simplify: Simplify 1 into 1 1554297650.364 * [misc]backup-simplify: Simplify (exp 0) into 1 1554297650.364 * [misc]taylor: Taking taylor expansion of 1 in x 1554297650.364 * [misc]backup-simplify: Simplify 1 into 1 1554297650.364 * [misc]backup-simplify: Simplify (- 1) into -1 1554297650.364 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1554297650.365 * [misc]backup-simplify: Simplify 0 into 0 1554297650.366 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554297650.366 * [misc]backup-simplify: Simplify (- 0) into 0 1554297650.366 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554297650.366 * [misc]backup-simplify: Simplify 1 into 1 1554297650.369 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1554297650.369 * [misc]backup-simplify: Simplify (- 0) into 0 1554297650.369 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1554297650.369 * [misc]backup-simplify: Simplify 1/2 into 1/2 1554297650.373 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1554297650.373 * [misc]backup-simplify: Simplify (- 0) into 0 1554297650.373 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1554297650.373 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554297650.374 * [misc]backup-simplify: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1554297650.374 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1554297650.374 * [misc]approximate: Taking taylor expansion of (- (exp (/ 1 x)) 1) in (x) around 0 1554297650.374 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1554297650.374 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1554297650.374 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1554297650.374 * [misc]taylor: Taking taylor expansion of x in x 1554297650.374 * [misc]backup-simplify: Simplify 0 into 0 1554297650.374 * [misc]backup-simplify: Simplify 1 into 1 1554297650.374 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554297650.374 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554297650.375 * [misc]taylor: Taking taylor expansion of 1 in x 1554297650.375 * [misc]backup-simplify: Simplify 1 into 1 1554297650.375 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1554297650.375 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1554297650.375 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1554297650.375 * [misc]taylor: Taking taylor expansion of x in x 1554297650.375 * [misc]backup-simplify: Simplify 0 into 0 1554297650.375 * [misc]backup-simplify: Simplify 1 into 1 1554297650.375 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554297650.375 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554297650.375 * [misc]taylor: Taking taylor expansion of 1 in x 1554297650.375 * [misc]backup-simplify: Simplify 1 into 1 1554297650.375 * [misc]backup-simplify: Simplify (- 1) into -1 1554297650.375 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1554297650.375 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1554297650.376 * [misc]backup-simplify: Simplify (- 0) into 0 1554297650.376 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.376 * [misc]backup-simplify: Simplify 0 into 0 1554297650.376 * [misc]backup-simplify: Simplify (- 0) into 0 1554297650.376 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.376 * [misc]backup-simplify: Simplify 0 into 0 1554297650.376 * [misc]backup-simplify: Simplify (- 0) into 0 1554297650.377 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.377 * [misc]backup-simplify: Simplify 0 into 0 1554297650.377 * [misc]backup-simplify: Simplify (- 0) into 0 1554297650.377 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.377 * [misc]backup-simplify: Simplify 0 into 0 1554297650.377 * [misc]backup-simplify: Simplify (- 0) into 0 1554297650.377 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.377 * [misc]backup-simplify: Simplify 0 into 0 1554297650.377 * [misc]backup-simplify: Simplify (- 0) into 0 1554297650.378 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.378 * [misc]backup-simplify: Simplify 0 into 0 1554297650.378 * [misc]backup-simplify: Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1) 1554297650.378 * [misc]backup-simplify: Simplify (- (exp (/ 1 (- x))) 1) into (- (exp (/ -1 x)) 1) 1554297650.378 * [misc]approximate: Taking taylor expansion of (- (exp (/ -1 x)) 1) in (x) around 0 1554297650.378 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1554297650.378 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1554297650.378 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1554297650.378 * [misc]taylor: Taking taylor expansion of -1 in x 1554297650.378 * [misc]backup-simplify: Simplify -1 into -1 1554297650.378 * [misc]taylor: Taking taylor expansion of x in x 1554297650.378 * [misc]backup-simplify: Simplify 0 into 0 1554297650.378 * [misc]backup-simplify: Simplify 1 into 1 1554297650.378 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554297650.378 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554297650.378 * [misc]taylor: Taking taylor expansion of 1 in x 1554297650.378 * [misc]backup-simplify: Simplify 1 into 1 1554297650.378 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1554297650.379 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1554297650.379 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1554297650.379 * [misc]taylor: Taking taylor expansion of -1 in x 1554297650.379 * [misc]backup-simplify: Simplify -1 into -1 1554297650.379 * [misc]taylor: Taking taylor expansion of x in x 1554297650.379 * [misc]backup-simplify: Simplify 0 into 0 1554297650.379 * [misc]backup-simplify: Simplify 1 into 1 1554297650.379 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554297650.379 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554297650.379 * [misc]taylor: Taking taylor expansion of 1 in x 1554297650.379 * [misc]backup-simplify: Simplify 1 into 1 1554297650.379 * [misc]backup-simplify: Simplify (- 1) into -1 1554297650.379 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1554297650.379 * [misc]backup-simplify: Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1) 1554297650.380 * [misc]backup-simplify: Simplify (- 0) into 0 1554297650.380 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.380 * [misc]backup-simplify: Simplify 0 into 0 1554297650.380 * [misc]backup-simplify: Simplify (- 0) into 0 1554297650.380 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.380 * [misc]backup-simplify: Simplify 0 into 0 1554297650.380 * [misc]backup-simplify: Simplify (- 0) into 0 1554297650.380 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.380 * [misc]backup-simplify: Simplify 0 into 0 1554297650.381 * [misc]backup-simplify: Simplify (- 0) into 0 1554297650.381 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.381 * [misc]backup-simplify: Simplify 0 into 0 1554297650.381 * [misc]backup-simplify: Simplify (- 0) into 0 1554297650.381 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.381 * [misc]backup-simplify: Simplify 0 into 0 1554297650.381 * [misc]backup-simplify: Simplify (- 0) into 0 1554297650.381 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.381 * [misc]backup-simplify: Simplify 0 into 0 1554297650.381 * [misc]backup-simplify: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1) 1554297650.381 * * * [misc]progress: simplifying candidates 1554297650.381 * * * * [misc]progress: [ 1 / 16 ] simplifiying candidate # 1554297650.381 * * * * [misc]progress: [ 2 / 16 ] simplifiying candidate # 1554297650.381 * * * * [misc]progress: [ 3 / 16 ] simplifiying candidate # 1554297650.381 * * * * [misc]progress: [ 4 / 16 ] simplifiying candidate # 1554297650.381 * * * * [misc]progress: [ 5 / 16 ] simplifiying candidate # 1554297650.382 * * * * [misc]progress: [ 6 / 16 ] simplifiying candidate # 1554297650.382 * * * * [misc]progress: [ 7 / 16 ] simplifiying candidate # 1554297650.382 * * * * [misc]progress: [ 8 / 16 ] simplifiying candidate # 1554297650.382 * * * * [misc]progress: [ 9 / 16 ] simplifiying candidate # 1554297650.382 * * * * [misc]progress: [ 10 / 16 ] simplifiying candidate # 1554297650.382 * * * * [misc]progress: [ 11 / 16 ] simplifiying candidate # 1554297650.382 * [enter]simplify: Simplifying (+ (sqrt (exp x)) 1) 1554297650.382 * * [misc]simplify: iters left: 4 (5 enodes) 1554297650.383 * * [misc]simplify: iters left: 3 (18 enodes) 1554297650.386 * * [misc]simplify: iters left: 2 (20 enodes) 1554297650.388 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297650.388 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554297650.388 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1554297650.388 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1554297650.389 * * [misc]simplify: Extracting #4: cost 6 inf + 2 1554297650.389 * * [misc]simplify: Extracting #5: cost 0 inf + 670 1554297650.389 * [exit]simplify: Simplified to (+ 1 (sqrt (exp x))) 1554297650.389 * [misc]simplify: Simplified (2 1) to (λ (x) (* (+ 1 (sqrt (exp x))) (- (sqrt (exp x)) 1))) 1554297650.389 * * * * [misc]progress: [ 12 / 16 ] simplifiying candidate # 1554297650.389 * * * * [misc]progress: [ 13 / 16 ] simplifiying candidate #real (real->posit16 (- (exp x) 1))))> 1554297650.389 * * * * [misc]progress: [ 14 / 16 ] simplifiying candidate # 1554297650.389 * [enter]simplify: Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1554297650.389 * * [misc]simplify: iters left: 6 (11 enodes) 1554297650.394 * * [misc]simplify: iters left: 5 (42 enodes) 1554297650.401 * * [misc]simplify: iters left: 4 (65 enodes) 1554297650.412 * * [misc]simplify: iters left: 3 (110 enodes) 1554297650.445 * * [misc]simplify: iters left: 2 (169 enodes) 1554297650.506 * * [misc]simplify: iters left: 1 (245 enodes) 1554297650.563 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297650.563 * * [misc]simplify: Extracting #1: cost 9 inf + 0 1554297650.563 * * [misc]simplify: Extracting #2: cost 26 inf + 1 1554297650.564 * * [misc]simplify: Extracting #3: cost 33 inf + 45 1554297650.565 * * [misc]simplify: Extracting #4: cost 15 inf + 1681 1554297650.565 * * [misc]simplify: Extracting #5: cost 1 inf + 3278 1554297650.566 * * [misc]simplify: Extracting #6: cost 0 inf + 3442 1554297650.567 * [exit]simplify: Simplified to (+ x (* (+ 1/2 (* x 1/6)) (* x x))) 1554297650.567 * [misc]simplify: Simplified (2) to (λ (x) (+ x (* (+ 1/2 (* x 1/6)) (* x x)))) 1554297650.568 * * * * [misc]progress: [ 15 / 16 ] simplifiying candidate # 1554297650.568 * [enter]simplify: Simplifying (- (exp x) 1) 1554297650.568 * * [misc]simplify: iters left: 3 (4 enodes) 1554297650.569 * * [misc]simplify: iters left: 2 (17 enodes) 1554297650.572 * * [misc]simplify: iters left: 1 (21 enodes) 1554297650.576 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297650.576 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554297650.576 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1554297650.576 * * [misc]simplify: Extracting #3: cost 4 inf + 3 1554297650.576 * * [misc]simplify: Extracting #4: cost 0 inf + 369 1554297650.576 * [exit]simplify: Simplified to (- (exp x) 1) 1554297650.576 * [misc]simplify: Simplified (2) to (λ (x) (- (exp x) 1)) 1554297650.576 * * * * [misc]progress: [ 16 / 16 ] simplifiying candidate # 1554297650.576 * [enter]simplify: Simplifying (- (exp x) 1) 1554297650.576 * * [misc]simplify: iters left: 3 (4 enodes) 1554297650.578 * * [misc]simplify: iters left: 2 (17 enodes) 1554297650.580 * * [misc]simplify: iters left: 1 (21 enodes) 1554297650.583 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297650.583 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554297650.583 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1554297650.583 * * [misc]simplify: Extracting #3: cost 4 inf + 3 1554297650.583 * * [misc]simplify: Extracting #4: cost 0 inf + 369 1554297650.583 * [exit]simplify: Simplified to (- (exp x) 1) 1554297650.583 * [misc]simplify: Simplified (2) to (λ (x) (- (exp x) 1)) 1554297650.583 * * * [misc]progress: adding candidates to table 1554297650.682 * * [misc]progress: iteration 2 / 4 1554297650.682 * * * [misc]progress: picking best candidate 1554297650.688 * * * * [misc]pick: Picked # 1554297650.688 * * * [misc]progress: localizing error 1554297650.712 * * * [misc]progress: generating rewritten candidates 1554297650.712 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 2 1 2) 1554297650.713 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2) 1554297650.727 * * * [misc]progress: generating series expansions 1554297650.727 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 2 1 2) 1554297650.727 * [misc]backup-simplify: Simplify (* x 1/6) into (* 1/6 x) 1554297650.727 * [misc]approximate: Taking taylor expansion of (* 1/6 x) in (x) around 0 1554297650.727 * [misc]taylor: Taking taylor expansion of (* 1/6 x) in x 1554297650.727 * [misc]taylor: Taking taylor expansion of 1/6 in x 1554297650.727 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554297650.727 * [misc]taylor: Taking taylor expansion of x in x 1554297650.727 * [misc]backup-simplify: Simplify 0 into 0 1554297650.727 * [misc]backup-simplify: Simplify 1 into 1 1554297650.727 * [misc]taylor: Taking taylor expansion of (* 1/6 x) in x 1554297650.727 * [misc]taylor: Taking taylor expansion of 1/6 in x 1554297650.728 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554297650.728 * [misc]taylor: Taking taylor expansion of x in x 1554297650.728 * [misc]backup-simplify: Simplify 0 into 0 1554297650.728 * [misc]backup-simplify: Simplify 1 into 1 1554297650.728 * [misc]backup-simplify: Simplify (* 1/6 0) into 0 1554297650.728 * [misc]backup-simplify: Simplify 0 into 0 1554297650.728 * [misc]backup-simplify: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6 1554297650.728 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554297650.729 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 1) (* 0 0))) into 0 1554297650.729 * [misc]backup-simplify: Simplify 0 into 0 1554297650.730 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1554297650.730 * [misc]backup-simplify: Simplify 0 into 0 1554297650.730 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1554297650.730 * [misc]backup-simplify: Simplify 0 into 0 1554297650.731 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1554297650.731 * [misc]backup-simplify: Simplify 0 into 0 1554297650.731 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1554297650.731 * [misc]backup-simplify: Simplify 0 into 0 1554297650.732 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1554297650.732 * [misc]backup-simplify: Simplify 0 into 0 1554297650.732 * [misc]backup-simplify: Simplify (* 1/6 x) into (* 1/6 x) 1554297650.732 * [misc]backup-simplify: Simplify (* (/ 1 x) 1/6) into (/ 1/6 x) 1554297650.732 * [misc]approximate: Taking taylor expansion of (/ 1/6 x) in (x) around 0 1554297650.732 * [misc]taylor: Taking taylor expansion of (/ 1/6 x) in x 1554297650.732 * [misc]taylor: Taking taylor expansion of 1/6 in x 1554297650.732 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554297650.732 * [misc]taylor: Taking taylor expansion of x in x 1554297650.732 * [misc]backup-simplify: Simplify 0 into 0 1554297650.732 * [misc]backup-simplify: Simplify 1 into 1 1554297650.732 * [misc]backup-simplify: Simplify (/ 1/6 1) into 1/6 1554297650.732 * [misc]taylor: Taking taylor expansion of (/ 1/6 x) in x 1554297650.732 * [misc]taylor: Taking taylor expansion of 1/6 in x 1554297650.733 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554297650.733 * [misc]taylor: Taking taylor expansion of x in x 1554297650.733 * [misc]backup-simplify: Simplify 0 into 0 1554297650.733 * [misc]backup-simplify: Simplify 1 into 1 1554297650.733 * [misc]backup-simplify: Simplify (/ 1/6 1) into 1/6 1554297650.733 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554297650.733 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 1554297650.733 * [misc]backup-simplify: Simplify 0 into 0 1554297650.734 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.734 * [misc]backup-simplify: Simplify 0 into 0 1554297650.734 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.734 * [misc]backup-simplify: Simplify 0 into 0 1554297650.735 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.735 * [misc]backup-simplify: Simplify 0 into 0 1554297650.735 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.735 * [misc]backup-simplify: Simplify 0 into 0 1554297650.736 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.736 * [misc]backup-simplify: Simplify 0 into 0 1554297650.736 * [misc]backup-simplify: Simplify (* 1/6 (/ 1 (/ 1 x))) into (* 1/6 x) 1554297650.736 * [misc]backup-simplify: Simplify (* (/ 1 (- x)) 1/6) into (/ -1/6 x) 1554297650.736 * [misc]approximate: Taking taylor expansion of (/ -1/6 x) in (x) around 0 1554297650.736 * [misc]taylor: Taking taylor expansion of (/ -1/6 x) in x 1554297650.736 * [misc]taylor: Taking taylor expansion of -1/6 in x 1554297650.736 * [misc]backup-simplify: Simplify -1/6 into -1/6 1554297650.736 * [misc]taylor: Taking taylor expansion of x in x 1554297650.736 * [misc]backup-simplify: Simplify 0 into 0 1554297650.736 * [misc]backup-simplify: Simplify 1 into 1 1554297650.737 * [misc]backup-simplify: Simplify (/ -1/6 1) into -1/6 1554297650.737 * [misc]taylor: Taking taylor expansion of (/ -1/6 x) in x 1554297650.737 * [misc]taylor: Taking taylor expansion of -1/6 in x 1554297650.737 * [misc]backup-simplify: Simplify -1/6 into -1/6 1554297650.737 * [misc]taylor: Taking taylor expansion of x in x 1554297650.737 * [misc]backup-simplify: Simplify 0 into 0 1554297650.737 * [misc]backup-simplify: Simplify 1 into 1 1554297650.737 * [misc]backup-simplify: Simplify (/ -1/6 1) into -1/6 1554297650.737 * [misc]backup-simplify: Simplify -1/6 into -1/6 1554297650.737 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0 1554297650.737 * [misc]backup-simplify: Simplify 0 into 0 1554297650.738 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.738 * [misc]backup-simplify: Simplify 0 into 0 1554297650.738 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.738 * [misc]backup-simplify: Simplify 0 into 0 1554297650.739 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.739 * [misc]backup-simplify: Simplify 0 into 0 1554297650.739 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.739 * [misc]backup-simplify: Simplify 0 into 0 1554297650.740 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.740 * [misc]backup-simplify: Simplify 0 into 0 1554297650.740 * [misc]backup-simplify: Simplify (* -1/6 (/ 1 (/ 1 (- x)))) into (* 1/6 x) 1554297650.740 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2) 1554297650.740 * [misc]backup-simplify: Simplify (* (+ 1/2 (* x 1/6)) (* x x)) into (* (pow x 2) (+ (* 1/6 x) 1/2)) 1554297650.740 * [misc]approximate: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in (x) around 0 1554297650.740 * [misc]taylor: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in x 1554297650.740 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554297650.740 * [misc]taylor: Taking taylor expansion of x in x 1554297650.740 * [misc]backup-simplify: Simplify 0 into 0 1554297650.740 * [misc]backup-simplify: Simplify 1 into 1 1554297650.740 * [misc]taylor: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x 1554297650.740 * [misc]taylor: Taking taylor expansion of (* 1/6 x) in x 1554297650.741 * [misc]taylor: Taking taylor expansion of 1/6 in x 1554297650.741 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554297650.741 * [misc]taylor: Taking taylor expansion of x in x 1554297650.741 * [misc]backup-simplify: Simplify 0 into 0 1554297650.741 * [misc]backup-simplify: Simplify 1 into 1 1554297650.741 * [misc]taylor: Taking taylor expansion of 1/2 in x 1554297650.741 * [misc]backup-simplify: Simplify 1/2 into 1/2 1554297650.741 * [misc]taylor: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in x 1554297650.741 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554297650.741 * [misc]taylor: Taking taylor expansion of x in x 1554297650.741 * [misc]backup-simplify: Simplify 0 into 0 1554297650.741 * [misc]backup-simplify: Simplify 1 into 1 1554297650.741 * [misc]taylor: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x 1554297650.741 * [misc]taylor: Taking taylor expansion of (* 1/6 x) in x 1554297650.741 * [misc]taylor: Taking taylor expansion of 1/6 in x 1554297650.741 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554297650.741 * [misc]taylor: Taking taylor expansion of x in x 1554297650.741 * [misc]backup-simplify: Simplify 0 into 0 1554297650.741 * [misc]backup-simplify: Simplify 1 into 1 1554297650.741 * [misc]taylor: Taking taylor expansion of 1/2 in x 1554297650.741 * [misc]backup-simplify: Simplify 1/2 into 1/2 1554297650.741 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554297650.741 * [misc]backup-simplify: Simplify (* 1/6 0) into 0 1554297650.741 * [misc]backup-simplify: Simplify (+ 0 1/2) into 1/2 1554297650.741 * [misc]backup-simplify: Simplify (* 1 1/2) into 1/2 1554297650.741 * [misc]backup-simplify: Simplify 1/2 into 1/2 1554297650.742 * [misc]backup-simplify: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6 1554297650.742 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1554297650.742 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554297650.742 * [misc]backup-simplify: Simplify (+ (* 1 1/6) (* 0 1/2)) into 1/6 1554297650.742 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554297650.742 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 1) (* 0 0))) into 0 1554297650.742 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.742 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554297650.742 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 1/6) (* 0 1/2))) into 0 1554297650.743 * [misc]backup-simplify: Simplify 0 into 0 1554297650.743 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1554297650.743 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.743 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554297650.743 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2)))) into 0 1554297650.743 * [misc]backup-simplify: Simplify 0 into 0 1554297650.743 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1554297650.743 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.744 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554297650.744 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2))))) into 0 1554297650.744 * [misc]backup-simplify: Simplify 0 into 0 1554297650.744 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1554297650.744 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.745 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554297650.745 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2)))))) into 0 1554297650.745 * [misc]backup-simplify: Simplify 0 into 0 1554297650.745 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1554297650.745 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.745 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554297650.746 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2))))))) into 0 1554297650.746 * [misc]backup-simplify: Simplify 0 into 0 1554297650.746 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1554297650.746 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.746 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554297650.747 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2)))))))) into 0 1554297650.747 * [misc]backup-simplify: Simplify 0 into 0 1554297650.747 * [misc]backup-simplify: Simplify (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))) into (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))) 1554297650.747 * [misc]backup-simplify: Simplify (* (+ 1/2 (* (/ 1 x) 1/6)) (* (/ 1 x) (/ 1 x))) into (/ (+ (* 1/6 (/ 1 x)) 1/2) (pow x 2)) 1554297650.747 * [misc]approximate: Taking taylor expansion of (/ (+ (* 1/6 (/ 1 x)) 1/2) (pow x 2)) in (x) around 0 1554297650.747 * [misc]taylor: Taking taylor expansion of (/ (+ (* 1/6 (/ 1 x)) 1/2) (pow x 2)) in x 1554297650.747 * [misc]taylor: Taking taylor expansion of (+ (* 1/6 (/ 1 x)) 1/2) in x 1554297650.747 * [misc]taylor: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 1554297650.747 * [misc]taylor: Taking taylor expansion of 1/6 in x 1554297650.747 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554297650.747 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1554297650.747 * [misc]taylor: Taking taylor expansion of x in x 1554297650.747 * [misc]backup-simplify: Simplify 0 into 0 1554297650.747 * [misc]backup-simplify: Simplify 1 into 1 1554297650.747 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554297650.747 * [misc]taylor: Taking taylor expansion of 1/2 in x 1554297650.747 * [misc]backup-simplify: Simplify 1/2 into 1/2 1554297650.747 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554297650.747 * [misc]taylor: Taking taylor expansion of x in x 1554297650.747 * [misc]backup-simplify: Simplify 0 into 0 1554297650.747 * [misc]backup-simplify: Simplify 1 into 1 1554297650.747 * [misc]backup-simplify: Simplify (* 1/6 1) into 1/6 1554297650.748 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1554297650.748 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554297650.748 * [misc]backup-simplify: Simplify (/ 1/6 1) into 1/6 1554297650.748 * [misc]taylor: Taking taylor expansion of (/ (+ (* 1/6 (/ 1 x)) 1/2) (pow x 2)) in x 1554297650.748 * [misc]taylor: Taking taylor expansion of (+ (* 1/6 (/ 1 x)) 1/2) in x 1554297650.748 * [misc]taylor: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 1554297650.748 * [misc]taylor: Taking taylor expansion of 1/6 in x 1554297650.748 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554297650.748 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1554297650.748 * [misc]taylor: Taking taylor expansion of x in x 1554297650.748 * [misc]backup-simplify: Simplify 0 into 0 1554297650.748 * [misc]backup-simplify: Simplify 1 into 1 1554297650.748 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554297650.748 * [misc]taylor: Taking taylor expansion of 1/2 in x 1554297650.748 * [misc]backup-simplify: Simplify 1/2 into 1/2 1554297650.748 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554297650.748 * [misc]taylor: Taking taylor expansion of x in x 1554297650.748 * [misc]backup-simplify: Simplify 0 into 0 1554297650.748 * [misc]backup-simplify: Simplify 1 into 1 1554297650.748 * [misc]backup-simplify: Simplify (* 1/6 1) into 1/6 1554297650.748 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1554297650.748 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554297650.749 * [misc]backup-simplify: Simplify (/ 1/6 1) into 1/6 1554297650.749 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554297650.749 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554297650.749 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1554297650.749 * [misc]backup-simplify: Simplify (+ 0 1/2) into 1/2 1554297650.749 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554297650.749 * [misc]backup-simplify: Simplify (- (/ 1/2 1) (+ (* 1/6 (/ 0 1)))) into 1/2 1554297650.749 * [misc]backup-simplify: Simplify 1/2 into 1/2 1554297650.749 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.750 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1554297650.750 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.750 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554297650.750 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)))) into 0 1554297650.750 * [misc]backup-simplify: Simplify 0 into 0 1554297650.750 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.750 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554297650.751 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.751 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554297650.751 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.751 * [misc]backup-simplify: Simplify 0 into 0 1554297650.751 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.751 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554297650.752 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.752 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554297650.752 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.752 * [misc]backup-simplify: Simplify 0 into 0 1554297650.752 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.752 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554297650.753 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.753 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554297650.753 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.753 * [misc]backup-simplify: Simplify 0 into 0 1554297650.753 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.754 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554297650.754 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.754 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554297650.754 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.754 * [misc]backup-simplify: Simplify 0 into 0 1554297650.755 * [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 1554297650.755 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554297650.755 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.755 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554297650.756 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.756 * [misc]backup-simplify: Simplify 0 into 0 1554297650.756 * [misc]backup-simplify: Simplify (+ (* 1/2 (pow (/ 1 (/ 1 x)) 2)) (* 1/6 (pow (/ 1 (/ 1 x)) 3))) into (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))) 1554297650.756 * [misc]backup-simplify: Simplify (* (+ 1/2 (* (/ 1 (- x)) 1/6)) (* (/ 1 (- x)) (/ 1 (- x)))) into (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) 1554297650.756 * [misc]approximate: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in (x) around 0 1554297650.756 * [misc]taylor: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in x 1554297650.756 * [misc]taylor: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x 1554297650.756 * [misc]taylor: Taking taylor expansion of 1/2 in x 1554297650.756 * [misc]backup-simplify: Simplify 1/2 into 1/2 1554297650.756 * [misc]taylor: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 1554297650.756 * [misc]taylor: Taking taylor expansion of 1/6 in x 1554297650.756 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554297650.756 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1554297650.756 * [misc]taylor: Taking taylor expansion of x in x 1554297650.756 * [misc]backup-simplify: Simplify 0 into 0 1554297650.756 * [misc]backup-simplify: Simplify 1 into 1 1554297650.757 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554297650.757 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554297650.757 * [misc]taylor: Taking taylor expansion of x in x 1554297650.757 * [misc]backup-simplify: Simplify 0 into 0 1554297650.757 * [misc]backup-simplify: Simplify 1 into 1 1554297650.757 * [misc]backup-simplify: Simplify (* 1/6 1) into 1/6 1554297650.757 * [misc]backup-simplify: Simplify (- 1/6) into -1/6 1554297650.757 * [misc]backup-simplify: Simplify (+ 0 -1/6) into -1/6 1554297650.757 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554297650.757 * [misc]backup-simplify: Simplify (/ -1/6 1) into -1/6 1554297650.757 * [misc]taylor: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in x 1554297650.757 * [misc]taylor: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x 1554297650.757 * [misc]taylor: Taking taylor expansion of 1/2 in x 1554297650.757 * [misc]backup-simplify: Simplify 1/2 into 1/2 1554297650.757 * [misc]taylor: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 1554297650.757 * [misc]taylor: Taking taylor expansion of 1/6 in x 1554297650.757 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554297650.757 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1554297650.757 * [misc]taylor: Taking taylor expansion of x in x 1554297650.757 * [misc]backup-simplify: Simplify 0 into 0 1554297650.757 * [misc]backup-simplify: Simplify 1 into 1 1554297650.758 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554297650.758 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554297650.758 * [misc]taylor: Taking taylor expansion of x in x 1554297650.758 * [misc]backup-simplify: Simplify 0 into 0 1554297650.758 * [misc]backup-simplify: Simplify 1 into 1 1554297650.758 * [misc]backup-simplify: Simplify (* 1/6 1) into 1/6 1554297650.758 * [misc]backup-simplify: Simplify (- 1/6) into -1/6 1554297650.758 * [misc]backup-simplify: Simplify (+ 0 -1/6) into -1/6 1554297650.758 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554297650.758 * [misc]backup-simplify: Simplify (/ -1/6 1) into -1/6 1554297650.758 * [misc]backup-simplify: Simplify -1/6 into -1/6 1554297650.759 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554297650.759 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1554297650.759 * [misc]backup-simplify: Simplify (- 0) into 0 1554297650.759 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1554297650.759 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554297650.759 * [misc]backup-simplify: Simplify (- (/ 1/2 1) (+ (* -1/6 (/ 0 1)))) into 1/2 1554297650.759 * [misc]backup-simplify: Simplify 1/2 into 1/2 1554297650.759 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.760 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1554297650.760 * [misc]backup-simplify: Simplify (- 0) into 0 1554297650.760 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.760 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554297650.760 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)))) into 0 1554297650.760 * [misc]backup-simplify: Simplify 0 into 0 1554297650.761 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.761 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554297650.761 * [misc]backup-simplify: Simplify (- 0) into 0 1554297650.761 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.761 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554297650.761 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.761 * [misc]backup-simplify: Simplify 0 into 0 1554297650.762 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.762 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554297650.762 * [misc]backup-simplify: Simplify (- 0) into 0 1554297650.762 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.762 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554297650.763 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.763 * [misc]backup-simplify: Simplify 0 into 0 1554297650.763 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.763 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554297650.764 * [misc]backup-simplify: Simplify (- 0) into 0 1554297650.764 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.764 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554297650.764 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.764 * [misc]backup-simplify: Simplify 0 into 0 1554297650.765 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.765 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554297650.765 * [misc]backup-simplify: Simplify (- 0) into 0 1554297650.765 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.765 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554297650.766 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.766 * [misc]backup-simplify: Simplify 0 into 0 1554297650.766 * [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 1554297650.767 * [misc]backup-simplify: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554297650.767 * [misc]backup-simplify: Simplify (- 0) into 0 1554297650.767 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297650.767 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554297650.767 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554297650.768 * [misc]backup-simplify: Simplify 0 into 0 1554297650.768 * [misc]backup-simplify: Simplify (+ (* 1/2 (pow (/ 1 (/ 1 (- x))) 2)) (* -1/6 (pow (/ 1 (/ 1 (- x))) 3))) into (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))) 1554297650.768 * * * [misc]progress: simplifying candidates 1554297650.768 * * * * [misc]progress: [ 1 / 33 ] simplifiying candidate # 1554297650.768 * * * * [misc]progress: [ 2 / 33 ] simplifiying candidate # 1554297650.768 * * * * [misc]progress: [ 3 / 33 ] simplifiying candidate # 1554297650.768 * * * * [misc]progress: [ 4 / 33 ] simplifiying candidate # 1554297650.768 * * * * [misc]progress: [ 5 / 33 ] simplifiying candidate # 1554297650.768 * * * * [misc]progress: [ 6 / 33 ] simplifiying candidate # 1554297650.768 * * * * [misc]progress: [ 7 / 33 ] simplifiying candidate # 1554297650.768 * * * * [misc]progress: [ 8 / 33 ] simplifiying candidate #real (real->posit16 (* x 1/6)))) (* x x))))> 1554297650.768 * * * * [misc]progress: [ 9 / 33 ] simplifiying candidate # 1554297650.768 * * * * [misc]progress: [ 10 / 33 ] simplifiying candidate # 1554297650.768 * [enter]simplify: Simplifying (* (+ 1/2 (* x 1/6)) (* x x)) 1554297650.768 * * [misc]simplify: iters left: 6 (7 enodes) 1554297650.773 * * [misc]simplify: iters left: 5 (26 enodes) 1554297650.779 * * [misc]simplify: iters left: 4 (38 enodes) 1554297650.786 * * [misc]simplify: iters left: 3 (66 enodes) 1554297650.795 * * [misc]simplify: iters left: 2 (78 enodes) 1554297650.804 * * [misc]simplify: iters left: 1 (80 enodes) 1554297650.814 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297650.814 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1554297650.814 * * [misc]simplify: Extracting #2: cost 17 inf + 42 1554297650.814 * * [misc]simplify: Extracting #3: cost 14 inf + 534 1554297650.814 * * [misc]simplify: Extracting #4: cost 6 inf + 1029 1554297650.815 * * [misc]simplify: Extracting #5: cost 2 inf + 1440 1554297650.815 * * [misc]simplify: Extracting #6: cost 0 inf + 1726 1554297650.816 * [exit]simplify: Simplified to (* (+ (* 1/6 x) 1/2) (* x x)) 1554297650.816 * [misc]simplify: Simplified (2 2 1) to (λ (x) (+ x (pow (* (+ (* 1/6 x) 1/2) (* x x)) 1))) 1554297650.816 * * * * [misc]progress: [ 11 / 33 ] simplifiying candidate # 1554297650.816 * * * * [misc]progress: [ 12 / 33 ] simplifiying candidate # 1554297650.816 * [enter]simplify: Simplifying (+ (log (+ 1/2 (* x 1/6))) (log (* x x))) 1554297650.816 * * [misc]simplify: iters left: 6 (9 enodes) 1554297650.819 * * [misc]simplify: iters left: 5 (32 enodes) 1554297650.824 * * [misc]simplify: iters left: 4 (38 enodes) 1554297650.829 * * [misc]simplify: iters left: 3 (43 enodes) 1554297650.837 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297650.837 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554297650.837 * * [misc]simplify: Extracting #2: cost 13 inf + 0 1554297650.837 * * [misc]simplify: Extracting #3: cost 15 inf + 72 1554297650.837 * * [misc]simplify: Extracting #4: cost 13 inf + 296 1554297650.838 * * [misc]simplify: Extracting #5: cost 8 inf + 533 1554297650.838 * * [misc]simplify: Extracting #6: cost 6 inf + 769 1554297650.839 * * [misc]simplify: Extracting #7: cost 0 inf + 2137 1554297650.839 * [exit]simplify: Simplified to (+ (+ (log (+ (* 1/6 x) 1/2)) (log x)) (log x)) 1554297650.839 * [misc]simplify: Simplified (2 2 1) to (λ (x) (+ x (exp (+ (+ (log (+ (* 1/6 x) 1/2)) (log x)) (log x))))) 1554297650.839 * * * * [misc]progress: [ 13 / 33 ] simplifiying candidate # 1554297650.839 * * * * [misc]progress: [ 14 / 33 ] simplifiying candidate # 1554297650.840 * * * * [misc]progress: [ 15 / 33 ] simplifiying candidate # 1554297650.840 * [enter]simplify: Simplifying (* (* (* (+ 1/2 (* x 1/6)) (+ 1/2 (* x 1/6))) (+ 1/2 (* x 1/6))) (* (* (* x x) (* x x)) (* x x))) 1554297650.840 * * [misc]simplify: iters left: 6 (11 enodes) 1554297650.848 * * [misc]simplify: iters left: 5 (60 enodes) 1554297650.869 * * [misc]simplify: iters left: 4 (209 enodes) 1554297650.947 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297650.947 * * [misc]simplify: Extracting #1: cost 32 inf + 0 1554297650.947 * * [misc]simplify: Extracting #2: cost 152 inf + 1 1554297650.948 * * [misc]simplify: Extracting #3: cost 198 inf + 1823 1554297650.953 * * [misc]simplify: Extracting #4: cost 82 inf + 23562 1554297650.963 * * [misc]simplify: Extracting #5: cost 0 inf + 42879 1554297650.982 * * [misc]simplify: Extracting #6: cost 0 inf + 42639 1554297651.006 * [exit]simplify: Simplified to (* (+ (* 1/6 x) 1/2) (* (* (* x x) (* (* x x) (* x x))) (* (+ (* 1/6 x) 1/2) (+ (* 1/6 x) 1/2)))) 1554297651.007 * [misc]simplify: Simplified (2 2 1) to (λ (x) (+ x (cbrt (* (+ (* 1/6 x) 1/2) (* (* (* x x) (* (* x x) (* x x))) (* (+ (* 1/6 x) 1/2) (+ (* 1/6 x) 1/2))))))) 1554297651.007 * * * * [misc]progress: [ 16 / 33 ] simplifiying candidate # 1554297651.007 * * * * [misc]progress: [ 17 / 33 ] simplifiying candidate # 1554297651.007 * * * * [misc]progress: [ 18 / 33 ] simplifiying candidate # 1554297651.007 * * * * [misc]progress: [ 19 / 33 ] simplifiying candidate # 1554297651.007 * * * * [misc]progress: [ 20 / 33 ] simplifiying candidate # 1554297651.007 * * * * [misc]progress: [ 21 / 33 ] simplifiying candidate # 1554297651.007 * [enter]simplify: Simplifying (* (cbrt (+ 1/2 (* x 1/6))) (cbrt (+ 1/2 (* x 1/6)))) 1554297651.008 * * [misc]simplify: iters left: 6 (7 enodes) 1554297651.012 * * [misc]simplify: iters left: 5 (23 enodes) 1554297651.016 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297651.016 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554297651.016 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554297651.016 * * [misc]simplify: Extracting #3: cost 8 inf + 0 1554297651.016 * * [misc]simplify: Extracting #4: cost 10 inf + 1 1554297651.016 * * [misc]simplify: Extracting #5: cost 8 inf + 3 1554297651.016 * * [misc]simplify: Extracting #6: cost 1 inf + 782 1554297651.017 * * [misc]simplify: Extracting #7: cost 0 inf + 985 1554297651.017 * [exit]simplify: Simplified to (* (cbrt (+ (* 1/6 x) 1/2)) (cbrt (+ (* 1/6 x) 1/2))) 1554297651.017 * [misc]simplify: Simplified (2 2 1) to (λ (x) (+ x (* (* (cbrt (+ (* 1/6 x) 1/2)) (cbrt (+ (* 1/6 x) 1/2))) (* (cbrt (+ 1/2 (* x 1/6))) (* x x))))) 1554297651.017 * * * * [misc]progress: [ 22 / 33 ] simplifiying candidate # 1554297651.017 * [enter]simplify: Simplifying (sqrt (+ 1/2 (* x 1/6))) 1554297651.017 * * [misc]simplify: iters left: 5 (6 enodes) 1554297651.019 * * [misc]simplify: iters left: 4 (20 enodes) 1554297651.022 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297651.022 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554297651.022 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1554297651.023 * * [misc]simplify: Extracting #3: cost 8 inf + 1 1554297651.023 * * [misc]simplify: Extracting #4: cost 0 inf + 499 1554297651.023 * [exit]simplify: Simplified to (sqrt (+ (* 1/6 x) 1/2)) 1554297651.023 * [misc]simplify: Simplified (2 2 1) to (λ (x) (+ x (* (sqrt (+ (* 1/6 x) 1/2)) (* (sqrt (+ 1/2 (* x 1/6))) (* x x))))) 1554297651.023 * * * * [misc]progress: [ 23 / 33 ] simplifiying candidate # 1554297651.023 * * * * [misc]progress: [ 24 / 33 ] simplifiying candidate # 1554297651.023 * [enter]simplify: Simplifying (* (+ (pow 1/2 3) (pow (* x 1/6) 3)) (* x x)) 1554297651.023 * * [misc]simplify: iters left: 6 (10 enodes) 1554297651.028 * * [misc]simplify: iters left: 5 (47 enodes) 1554297651.038 * * [misc]simplify: iters left: 4 (88 enodes) 1554297651.054 * * [misc]simplify: iters left: 3 (174 enodes) 1554297651.103 * * [misc]simplify: iters left: 2 (321 enodes) 1554297651.234 * * [misc]simplify: iters left: 1 (467 enodes) 1554297651.344 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297651.344 * * [misc]simplify: Extracting #1: cost 21 inf + 0 1554297651.345 * * [misc]simplify: Extracting #2: cost 54 inf + 1 1554297651.345 * * [misc]simplify: Extracting #3: cost 68 inf + 129 1554297651.346 * * [misc]simplify: Extracting #4: cost 38 inf + 2944 1554297651.348 * * [misc]simplify: Extracting #5: cost 2 inf + 8138 1554297651.351 * * [misc]simplify: Extracting #6: cost 0 inf + 8462 1554297651.353 * [exit]simplify: Simplified to (* (+ 1/8 (* (* 1/216 (* x x)) x)) (* x x)) 1554297651.353 * [misc]simplify: Simplified (2 2 1) to (λ (x) (+ x (/ (* (+ 1/8 (* (* 1/216 (* x x)) x)) (* x x)) (+ (* 1/2 1/2) (- (* (* x 1/6) (* x 1/6)) (* 1/2 (* x 1/6))))))) 1554297651.353 * * * * [misc]progress: [ 25 / 33 ] simplifiying candidate # 1554297651.354 * [enter]simplify: Simplifying (* (- (* 1/2 1/2) (* (* x 1/6) (* x 1/6))) (* x x)) 1554297651.354 * * [misc]simplify: iters left: 6 (9 enodes) 1554297651.357 * * [misc]simplify: iters left: 5 (41 enodes) 1554297651.368 * * [misc]simplify: iters left: 4 (92 enodes) 1554297651.401 * * [misc]simplify: iters left: 3 (223 enodes) 1554297651.505 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297651.505 * * [misc]simplify: Extracting #1: cost 29 inf + 0 1554297651.506 * * [misc]simplify: Extracting #2: cost 113 inf + 42 1554297651.508 * * [misc]simplify: Extracting #3: cost 119 inf + 2581 1554297651.516 * * [misc]simplify: Extracting #4: cost 17 inf + 17544 1554297651.522 * * [misc]simplify: Extracting #5: cost 0 inf + 20354 1554297651.528 * * [misc]simplify: Extracting #6: cost 0 inf + 20233 1554297651.534 * [exit]simplify: Simplified to (- (* (* x x) 1/4) (* 1/36 (* (* x x) (* x x)))) 1554297651.535 * [misc]simplify: Simplified (2 2 1) to (λ (x) (+ x (/ (- (* (* x x) 1/4) (* 1/36 (* (* x x) (* x x)))) (- 1/2 (* x 1/6))))) 1554297651.535 * * * * [misc]progress: [ 26 / 33 ] simplifiying candidate #real (real->posit16 (* (+ 1/2 (* x 1/6)) (* x x))))))> 1554297651.535 * * * * [misc]progress: [ 27 / 33 ] simplifiying candidate # 1554297651.535 * * * * [misc]progress: [ 28 / 33 ] simplifiying candidate # 1554297651.535 * [enter]simplify: Simplifying (* 1/6 x) 1554297651.535 * * [misc]simplify: iters left: 2 (3 enodes) 1554297651.537 * * [misc]simplify: iters left: 1 (10 enodes) 1554297651.538 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297651.538 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554297651.538 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1554297651.538 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1554297651.538 * [exit]simplify: Simplified to (* 1/6 x) 1554297651.538 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (+ x (* (+ 1/2 (* 1/6 x)) (* x x)))) 1554297651.539 * * * * [misc]progress: [ 29 / 33 ] simplifiying candidate # 1554297651.539 * [enter]simplify: Simplifying (* 1/6 x) 1554297651.539 * * [misc]simplify: iters left: 2 (3 enodes) 1554297651.540 * * [misc]simplify: iters left: 1 (10 enodes) 1554297651.541 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297651.541 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554297651.541 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1554297651.541 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1554297651.541 * [exit]simplify: Simplified to (* 1/6 x) 1554297651.541 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (+ x (* (+ 1/2 (* 1/6 x)) (* x x)))) 1554297651.541 * * * * [misc]progress: [ 30 / 33 ] simplifiying candidate # 1554297651.541 * [enter]simplify: Simplifying (* 1/6 x) 1554297651.541 * * [misc]simplify: iters left: 2 (3 enodes) 1554297651.542 * * [misc]simplify: iters left: 1 (10 enodes) 1554297651.544 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297651.544 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554297651.544 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1554297651.544 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1554297651.544 * [exit]simplify: Simplified to (* 1/6 x) 1554297651.544 * [misc]simplify: Simplified (2 2 1 2) to (λ (x) (+ x (* (+ 1/2 (* 1/6 x)) (* x x)))) 1554297651.544 * * * * [misc]progress: [ 31 / 33 ] simplifiying candidate # 1554297651.544 * [enter]simplify: Simplifying (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))) 1554297651.544 * * [misc]simplify: iters left: 5 (10 enodes) 1554297651.548 * * [misc]simplify: iters left: 4 (36 enodes) 1554297651.554 * * [misc]simplify: iters left: 3 (51 enodes) 1554297651.564 * * [misc]simplify: iters left: 2 (89 enodes) 1554297651.588 * * [misc]simplify: iters left: 1 (124 enodes) 1554297651.622 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297651.622 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1554297651.622 * * [misc]simplify: Extracting #2: cost 18 inf + 42 1554297651.622 * * [misc]simplify: Extracting #3: cost 18 inf + 167 1554297651.623 * * [misc]simplify: Extracting #4: cost 4 inf + 1358 1554297651.623 * * [misc]simplify: Extracting #5: cost 0 inf + 1727 1554297651.624 * [exit]simplify: Simplified to (* (+ 1/2 (* 1/6 x)) (* x x)) 1554297651.624 * [misc]simplify: Simplified (2 2) to (λ (x) (+ x (* (+ 1/2 (* 1/6 x)) (* x x)))) 1554297651.624 * * * * [misc]progress: [ 32 / 33 ] simplifiying candidate # 1554297651.624 * [enter]simplify: Simplifying (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))) 1554297651.624 * * [misc]simplify: iters left: 5 (10 enodes) 1554297651.627 * * [misc]simplify: iters left: 4 (36 enodes) 1554297651.633 * * [misc]simplify: iters left: 3 (51 enodes) 1554297651.642 * * [misc]simplify: iters left: 2 (89 enodes) 1554297651.656 * * [misc]simplify: iters left: 1 (124 enodes) 1554297651.688 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297651.688 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1554297651.689 * * [misc]simplify: Extracting #2: cost 18 inf + 42 1554297651.689 * * [misc]simplify: Extracting #3: cost 18 inf + 167 1554297651.690 * * [misc]simplify: Extracting #4: cost 4 inf + 1358 1554297651.691 * * [misc]simplify: Extracting #5: cost 0 inf + 1727 1554297651.691 * [exit]simplify: Simplified to (* (+ 1/2 (* 1/6 x)) (* x x)) 1554297651.692 * [misc]simplify: Simplified (2 2) to (λ (x) (+ x (* (+ 1/2 (* 1/6 x)) (* x x)))) 1554297651.692 * * * * [misc]progress: [ 33 / 33 ] simplifiying candidate # 1554297651.692 * [enter]simplify: Simplifying (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))) 1554297651.692 * * [misc]simplify: iters left: 5 (10 enodes) 1554297651.698 * * [misc]simplify: iters left: 4 (36 enodes) 1554297651.706 * * [misc]simplify: iters left: 3 (51 enodes) 1554297651.717 * * [misc]simplify: iters left: 2 (89 enodes) 1554297651.733 * * [misc]simplify: iters left: 1 (124 enodes) 1554297651.764 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297651.764 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1554297651.764 * * [misc]simplify: Extracting #2: cost 18 inf + 42 1554297651.764 * * [misc]simplify: Extracting #3: cost 18 inf + 167 1554297651.765 * * [misc]simplify: Extracting #4: cost 4 inf + 1358 1554297651.765 * * [misc]simplify: Extracting #5: cost 0 inf + 1727 1554297651.766 * [exit]simplify: Simplified to (* (+ 1/2 (* 1/6 x)) (* x x)) 1554297651.766 * [misc]simplify: Simplified (2 2) to (λ (x) (+ x (* (+ 1/2 (* 1/6 x)) (* x x)))) 1554297651.766 * * * [misc]progress: adding candidates to table 1554297652.035 * * [misc]progress: iteration 3 / 4 1554297652.035 * * * [misc]progress: picking best candidate 1554297652.041 * * * * [misc]pick: Picked # 1554297652.041 * * * [misc]progress: localizing error 1554297652.042 * * * [misc]progress: generating rewritten candidates 1554297652.042 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1554297652.048 * * * [misc]progress: generating series expansions 1554297652.048 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1554297652.048 * [misc]backup-simplify: Simplify (- (exp x) 1) into (- (exp x) 1) 1554297652.048 * [misc]approximate: Taking taylor expansion of (- (exp x) 1) in (x) around 0 1554297652.048 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1554297652.048 * [misc]taylor: Taking taylor expansion of (exp x) in x 1554297652.048 * [misc]taylor: Taking taylor expansion of x in x 1554297652.048 * [misc]backup-simplify: Simplify 0 into 0 1554297652.048 * [misc]backup-simplify: Simplify 1 into 1 1554297652.048 * [misc]backup-simplify: Simplify (exp 0) into 1 1554297652.049 * [misc]taylor: Taking taylor expansion of 1 in x 1554297652.049 * [misc]backup-simplify: Simplify 1 into 1 1554297652.049 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1554297652.049 * [misc]taylor: Taking taylor expansion of (exp x) in x 1554297652.049 * [misc]taylor: Taking taylor expansion of x in x 1554297652.049 * [misc]backup-simplify: Simplify 0 into 0 1554297652.049 * [misc]backup-simplify: Simplify 1 into 1 1554297652.049 * [misc]backup-simplify: Simplify (exp 0) into 1 1554297652.049 * [misc]taylor: Taking taylor expansion of 1 in x 1554297652.049 * [misc]backup-simplify: Simplify 1 into 1 1554297652.049 * [misc]backup-simplify: Simplify (- 1) into -1 1554297652.049 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1554297652.049 * [misc]backup-simplify: Simplify 0 into 0 1554297652.051 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554297652.051 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.051 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554297652.051 * [misc]backup-simplify: Simplify 1 into 1 1554297652.055 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1554297652.055 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.055 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1554297652.055 * [misc]backup-simplify: Simplify 1/2 into 1/2 1554297652.059 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1554297652.059 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.059 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1554297652.060 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554297652.060 * [misc]backup-simplify: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1554297652.060 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1554297652.060 * [misc]approximate: Taking taylor expansion of (- (exp (/ 1 x)) 1) in (x) around 0 1554297652.060 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1554297652.060 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1554297652.060 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1554297652.060 * [misc]taylor: Taking taylor expansion of x in x 1554297652.060 * [misc]backup-simplify: Simplify 0 into 0 1554297652.060 * [misc]backup-simplify: Simplify 1 into 1 1554297652.060 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554297652.060 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554297652.060 * [misc]taylor: Taking taylor expansion of 1 in x 1554297652.061 * [misc]backup-simplify: Simplify 1 into 1 1554297652.061 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1554297652.061 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1554297652.061 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1554297652.061 * [misc]taylor: Taking taylor expansion of x in x 1554297652.061 * [misc]backup-simplify: Simplify 0 into 0 1554297652.061 * [misc]backup-simplify: Simplify 1 into 1 1554297652.061 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554297652.061 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554297652.061 * [misc]taylor: Taking taylor expansion of 1 in x 1554297652.061 * [misc]backup-simplify: Simplify 1 into 1 1554297652.061 * [misc]backup-simplify: Simplify (- 1) into -1 1554297652.061 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1554297652.061 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1554297652.062 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.062 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.062 * [misc]backup-simplify: Simplify 0 into 0 1554297652.062 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.062 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.062 * [misc]backup-simplify: Simplify 0 into 0 1554297652.062 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.062 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.062 * [misc]backup-simplify: Simplify 0 into 0 1554297652.063 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.063 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.063 * [misc]backup-simplify: Simplify 0 into 0 1554297652.063 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.063 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.063 * [misc]backup-simplify: Simplify 0 into 0 1554297652.063 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.063 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.063 * [misc]backup-simplify: Simplify 0 into 0 1554297652.064 * [misc]backup-simplify: Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1) 1554297652.064 * [misc]backup-simplify: Simplify (- (exp (/ 1 (- x))) 1) into (- (exp (/ -1 x)) 1) 1554297652.064 * [misc]approximate: Taking taylor expansion of (- (exp (/ -1 x)) 1) in (x) around 0 1554297652.064 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1554297652.064 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1554297652.064 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1554297652.064 * [misc]taylor: Taking taylor expansion of -1 in x 1554297652.064 * [misc]backup-simplify: Simplify -1 into -1 1554297652.064 * [misc]taylor: Taking taylor expansion of x in x 1554297652.064 * [misc]backup-simplify: Simplify 0 into 0 1554297652.064 * [misc]backup-simplify: Simplify 1 into 1 1554297652.064 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554297652.064 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554297652.064 * [misc]taylor: Taking taylor expansion of 1 in x 1554297652.064 * [misc]backup-simplify: Simplify 1 into 1 1554297652.064 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1554297652.064 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1554297652.064 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1554297652.064 * [misc]taylor: Taking taylor expansion of -1 in x 1554297652.064 * [misc]backup-simplify: Simplify -1 into -1 1554297652.064 * [misc]taylor: Taking taylor expansion of x in x 1554297652.064 * [misc]backup-simplify: Simplify 0 into 0 1554297652.064 * [misc]backup-simplify: Simplify 1 into 1 1554297652.065 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554297652.065 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554297652.065 * [misc]taylor: Taking taylor expansion of 1 in x 1554297652.065 * [misc]backup-simplify: Simplify 1 into 1 1554297652.065 * [misc]backup-simplify: Simplify (- 1) into -1 1554297652.065 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1554297652.065 * [misc]backup-simplify: Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1) 1554297652.065 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.065 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.065 * [misc]backup-simplify: Simplify 0 into 0 1554297652.066 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.066 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.066 * [misc]backup-simplify: Simplify 0 into 0 1554297652.066 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.066 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.066 * [misc]backup-simplify: Simplify 0 into 0 1554297652.066 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.066 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.066 * [misc]backup-simplify: Simplify 0 into 0 1554297652.067 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.067 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.067 * [misc]backup-simplify: Simplify 0 into 0 1554297652.067 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.067 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.067 * [misc]backup-simplify: Simplify 0 into 0 1554297652.067 * [misc]backup-simplify: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1) 1554297652.067 * * * [misc]progress: simplifying candidates 1554297652.067 * * * * [misc]progress: [ 1 / 16 ] simplifiying candidate # 1554297652.067 * * * * [misc]progress: [ 2 / 16 ] simplifiying candidate # 1554297652.068 * * * * [misc]progress: [ 3 / 16 ] simplifiying candidate # 1554297652.068 * * * * [misc]progress: [ 4 / 16 ] simplifiying candidate # 1554297652.068 * * * * [misc]progress: [ 5 / 16 ] simplifiying candidate # 1554297652.068 * * * * [misc]progress: [ 6 / 16 ] simplifiying candidate # 1554297652.068 * * * * [misc]progress: [ 7 / 16 ] simplifiying candidate # 1554297652.068 * * * * [misc]progress: [ 8 / 16 ] simplifiying candidate # 1554297652.068 * * * * [misc]progress: [ 9 / 16 ] simplifiying candidate # 1554297652.068 * * * * [misc]progress: [ 10 / 16 ] simplifiying candidate # 1554297652.068 * * * * [misc]progress: [ 11 / 16 ] simplifiying candidate # 1554297652.068 * [enter]simplify: Simplifying (+ (sqrt (exp x)) 1) 1554297652.068 * * [misc]simplify: iters left: 4 (5 enodes) 1554297652.071 * * [misc]simplify: iters left: 3 (18 enodes) 1554297652.076 * * [misc]simplify: iters left: 2 (20 enodes) 1554297652.082 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.082 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554297652.082 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1554297652.082 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1554297652.082 * * [misc]simplify: Extracting #4: cost 6 inf + 2 1554297652.082 * * [misc]simplify: Extracting #5: cost 0 inf + 670 1554297652.082 * [exit]simplify: Simplified to (+ 1 (sqrt (exp x))) 1554297652.082 * [misc]simplify: Simplified (2 1) to (λ (x) (* (+ 1 (sqrt (exp x))) (- (sqrt (exp x)) 1))) 1554297652.083 * * * * [misc]progress: [ 12 / 16 ] simplifiying candidate # 1554297652.083 * * * * [misc]progress: [ 13 / 16 ] simplifiying candidate #real (real->posit16 (- (exp x) 1))))> 1554297652.083 * * * * [misc]progress: [ 14 / 16 ] simplifiying candidate # 1554297652.083 * [enter]simplify: Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1554297652.083 * * [misc]simplify: iters left: 6 (11 enodes) 1554297652.091 * * [misc]simplify: iters left: 5 (42 enodes) 1554297652.099 * * [misc]simplify: iters left: 4 (65 enodes) 1554297652.111 * * [misc]simplify: iters left: 3 (110 enodes) 1554297652.143 * * [misc]simplify: iters left: 2 (169 enodes) 1554297652.214 * * [misc]simplify: iters left: 1 (245 enodes) 1554297652.251 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.251 * * [misc]simplify: Extracting #1: cost 9 inf + 0 1554297652.251 * * [misc]simplify: Extracting #2: cost 26 inf + 1 1554297652.252 * * [misc]simplify: Extracting #3: cost 33 inf + 45 1554297652.252 * * [misc]simplify: Extracting #4: cost 15 inf + 1681 1554297652.253 * * [misc]simplify: Extracting #5: cost 1 inf + 3278 1554297652.254 * * [misc]simplify: Extracting #6: cost 0 inf + 3442 1554297652.255 * [exit]simplify: Simplified to (+ x (* (+ 1/2 (* x 1/6)) (* x x))) 1554297652.255 * [misc]simplify: Simplified (2) to (λ (x) (+ x (* (+ 1/2 (* x 1/6)) (* x x)))) 1554297652.255 * * * * [misc]progress: [ 15 / 16 ] simplifiying candidate # 1554297652.255 * [enter]simplify: Simplifying (- (exp x) 1) 1554297652.255 * * [misc]simplify: iters left: 3 (4 enodes) 1554297652.257 * * [misc]simplify: iters left: 2 (17 enodes) 1554297652.261 * * [misc]simplify: iters left: 1 (21 enodes) 1554297652.267 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.267 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554297652.267 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1554297652.267 * * [misc]simplify: Extracting #3: cost 4 inf + 3 1554297652.267 * * [misc]simplify: Extracting #4: cost 0 inf + 369 1554297652.267 * [exit]simplify: Simplified to (- (exp x) 1) 1554297652.267 * [misc]simplify: Simplified (2) to (λ (x) (- (exp x) 1)) 1554297652.267 * * * * [misc]progress: [ 16 / 16 ] simplifiying candidate # 1554297652.267 * [enter]simplify: Simplifying (- (exp x) 1) 1554297652.267 * * [misc]simplify: iters left: 3 (4 enodes) 1554297652.270 * * [misc]simplify: iters left: 2 (17 enodes) 1554297652.274 * * [misc]simplify: iters left: 1 (21 enodes) 1554297652.280 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.280 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554297652.280 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1554297652.280 * * [misc]simplify: Extracting #3: cost 4 inf + 3 1554297652.280 * * [misc]simplify: Extracting #4: cost 0 inf + 369 1554297652.280 * [exit]simplify: Simplified to (- (exp x) 1) 1554297652.280 * [misc]simplify: Simplified (2) to (λ (x) (- (exp x) 1)) 1554297652.281 * * * [misc]progress: adding candidates to table 1554297652.358 * * [misc]progress: iteration 4 / 4 1554297652.359 * * * [misc]progress: picking best candidate 1554297652.361 * * * * [misc]pick: Picked # 1554297652.361 * * * [misc]progress: localizing error 1554297652.367 * * * [misc]progress: generating rewritten candidates 1554297652.367 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2) 1554297652.382 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1) 1554297652.388 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1) 1554297652.396 * * * [misc]progress: generating series expansions 1554297652.396 * * * * [misc]progress: [ 1 / 3 ] generating series at (2) 1554297652.396 * [misc]backup-simplify: Simplify (log (exp (- (exp x) 1))) into (- (exp x) 1) 1554297652.396 * [misc]approximate: Taking taylor expansion of (- (exp x) 1) in (x) around 0 1554297652.396 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1554297652.396 * [misc]taylor: Taking taylor expansion of (exp x) in x 1554297652.396 * [misc]taylor: Taking taylor expansion of x in x 1554297652.396 * [misc]backup-simplify: Simplify 0 into 0 1554297652.396 * [misc]backup-simplify: Simplify 1 into 1 1554297652.396 * [misc]backup-simplify: Simplify (exp 0) into 1 1554297652.396 * [misc]taylor: Taking taylor expansion of 1 in x 1554297652.396 * [misc]backup-simplify: Simplify 1 into 1 1554297652.396 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1554297652.396 * [misc]taylor: Taking taylor expansion of (exp x) in x 1554297652.396 * [misc]taylor: Taking taylor expansion of x in x 1554297652.396 * [misc]backup-simplify: Simplify 0 into 0 1554297652.396 * [misc]backup-simplify: Simplify 1 into 1 1554297652.396 * [misc]backup-simplify: Simplify (exp 0) into 1 1554297652.396 * [misc]taylor: Taking taylor expansion of 1 in x 1554297652.396 * [misc]backup-simplify: Simplify 1 into 1 1554297652.397 * [misc]backup-simplify: Simplify (- 1) into -1 1554297652.397 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1554297652.397 * [misc]backup-simplify: Simplify 0 into 0 1554297652.398 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554297652.398 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.398 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554297652.398 * [misc]backup-simplify: Simplify 1 into 1 1554297652.400 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1554297652.400 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.400 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1554297652.400 * [misc]backup-simplify: Simplify 1/2 into 1/2 1554297652.402 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1554297652.402 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.402 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1554297652.402 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554297652.403 * [misc]backup-simplify: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1554297652.403 * [misc]backup-simplify: Simplify (log (exp (- (exp (/ 1 x)) 1))) into (- (exp (/ 1 x)) 1) 1554297652.403 * [misc]approximate: Taking taylor expansion of (- (exp (/ 1 x)) 1) in (x) around 0 1554297652.403 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1554297652.403 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1554297652.403 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1554297652.403 * [misc]taylor: Taking taylor expansion of x in x 1554297652.403 * [misc]backup-simplify: Simplify 0 into 0 1554297652.403 * [misc]backup-simplify: Simplify 1 into 1 1554297652.403 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554297652.403 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554297652.403 * [misc]taylor: Taking taylor expansion of 1 in x 1554297652.403 * [misc]backup-simplify: Simplify 1 into 1 1554297652.403 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1554297652.403 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1554297652.403 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1554297652.403 * [misc]taylor: Taking taylor expansion of x in x 1554297652.403 * [misc]backup-simplify: Simplify 0 into 0 1554297652.403 * [misc]backup-simplify: Simplify 1 into 1 1554297652.403 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554297652.403 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554297652.403 * [misc]taylor: Taking taylor expansion of 1 in x 1554297652.403 * [misc]backup-simplify: Simplify 1 into 1 1554297652.403 * [misc]backup-simplify: Simplify (- 1) into -1 1554297652.403 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1554297652.403 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1554297652.404 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.404 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.404 * [misc]backup-simplify: Simplify 0 into 0 1554297652.404 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.404 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.404 * [misc]backup-simplify: Simplify 0 into 0 1554297652.404 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.404 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.404 * [misc]backup-simplify: Simplify 0 into 0 1554297652.404 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.404 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.404 * [misc]backup-simplify: Simplify 0 into 0 1554297652.405 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.405 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.405 * [misc]backup-simplify: Simplify 0 into 0 1554297652.405 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.405 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.405 * [misc]backup-simplify: Simplify 0 into 0 1554297652.405 * [misc]backup-simplify: Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1) 1554297652.405 * [misc]backup-simplify: Simplify (log (exp (- (exp (/ 1 (- x))) 1))) into (- (exp (/ -1 x)) 1) 1554297652.405 * [misc]approximate: Taking taylor expansion of (- (exp (/ -1 x)) 1) in (x) around 0 1554297652.405 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1554297652.405 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1554297652.405 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1554297652.405 * [misc]taylor: Taking taylor expansion of -1 in x 1554297652.405 * [misc]backup-simplify: Simplify -1 into -1 1554297652.405 * [misc]taylor: Taking taylor expansion of x in x 1554297652.405 * [misc]backup-simplify: Simplify 0 into 0 1554297652.405 * [misc]backup-simplify: Simplify 1 into 1 1554297652.405 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554297652.405 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554297652.405 * [misc]taylor: Taking taylor expansion of 1 in x 1554297652.405 * [misc]backup-simplify: Simplify 1 into 1 1554297652.405 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1554297652.405 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1554297652.405 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1554297652.405 * [misc]taylor: Taking taylor expansion of -1 in x 1554297652.405 * [misc]backup-simplify: Simplify -1 into -1 1554297652.405 * [misc]taylor: Taking taylor expansion of x in x 1554297652.405 * [misc]backup-simplify: Simplify 0 into 0 1554297652.406 * [misc]backup-simplify: Simplify 1 into 1 1554297652.406 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554297652.406 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554297652.406 * [misc]taylor: Taking taylor expansion of 1 in x 1554297652.406 * [misc]backup-simplify: Simplify 1 into 1 1554297652.406 * [misc]backup-simplify: Simplify (- 1) into -1 1554297652.406 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1554297652.406 * [misc]backup-simplify: Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1) 1554297652.406 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.406 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.406 * [misc]backup-simplify: Simplify 0 into 0 1554297652.406 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.406 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.406 * [misc]backup-simplify: Simplify 0 into 0 1554297652.407 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.407 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.407 * [misc]backup-simplify: Simplify 0 into 0 1554297652.407 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.407 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.407 * [misc]backup-simplify: Simplify 0 into 0 1554297652.407 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.407 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.407 * [misc]backup-simplify: Simplify 0 into 0 1554297652.407 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.407 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.407 * [misc]backup-simplify: Simplify 0 into 0 1554297652.407 * [misc]backup-simplify: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1) 1554297652.407 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1) 1554297652.408 * [misc]backup-simplify: Simplify (- (exp x) 1) into (- (exp x) 1) 1554297652.408 * [misc]approximate: Taking taylor expansion of (- (exp x) 1) in (x) around 0 1554297652.408 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1554297652.408 * [misc]taylor: Taking taylor expansion of (exp x) in x 1554297652.408 * [misc]taylor: Taking taylor expansion of x in x 1554297652.408 * [misc]backup-simplify: Simplify 0 into 0 1554297652.408 * [misc]backup-simplify: Simplify 1 into 1 1554297652.408 * [misc]backup-simplify: Simplify (exp 0) into 1 1554297652.408 * [misc]taylor: Taking taylor expansion of 1 in x 1554297652.408 * [misc]backup-simplify: Simplify 1 into 1 1554297652.408 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1554297652.408 * [misc]taylor: Taking taylor expansion of (exp x) in x 1554297652.408 * [misc]taylor: Taking taylor expansion of x in x 1554297652.408 * [misc]backup-simplify: Simplify 0 into 0 1554297652.408 * [misc]backup-simplify: Simplify 1 into 1 1554297652.408 * [misc]backup-simplify: Simplify (exp 0) into 1 1554297652.408 * [misc]taylor: Taking taylor expansion of 1 in x 1554297652.408 * [misc]backup-simplify: Simplify 1 into 1 1554297652.408 * [misc]backup-simplify: Simplify (- 1) into -1 1554297652.408 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1554297652.408 * [misc]backup-simplify: Simplify 0 into 0 1554297652.409 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554297652.409 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.410 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554297652.410 * [misc]backup-simplify: Simplify 1 into 1 1554297652.411 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1554297652.411 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.411 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1554297652.411 * [misc]backup-simplify: Simplify 1/2 into 1/2 1554297652.414 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1554297652.414 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.414 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1554297652.414 * [misc]backup-simplify: Simplify 1/6 into 1/6 1554297652.415 * [misc]backup-simplify: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1554297652.415 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1554297652.415 * [misc]approximate: Taking taylor expansion of (- (exp (/ 1 x)) 1) in (x) around 0 1554297652.415 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1554297652.415 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1554297652.415 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1554297652.415 * [misc]taylor: Taking taylor expansion of x in x 1554297652.415 * [misc]backup-simplify: Simplify 0 into 0 1554297652.415 * [misc]backup-simplify: Simplify 1 into 1 1554297652.415 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554297652.415 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554297652.415 * [misc]taylor: Taking taylor expansion of 1 in x 1554297652.415 * [misc]backup-simplify: Simplify 1 into 1 1554297652.415 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1554297652.415 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1554297652.415 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1554297652.415 * [misc]taylor: Taking taylor expansion of x in x 1554297652.415 * [misc]backup-simplify: Simplify 0 into 0 1554297652.415 * [misc]backup-simplify: Simplify 1 into 1 1554297652.416 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554297652.416 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554297652.416 * [misc]taylor: Taking taylor expansion of 1 in x 1554297652.416 * [misc]backup-simplify: Simplify 1 into 1 1554297652.416 * [misc]backup-simplify: Simplify (- 1) into -1 1554297652.416 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1554297652.416 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1554297652.416 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.416 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.417 * [misc]backup-simplify: Simplify 0 into 0 1554297652.417 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.417 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.417 * [misc]backup-simplify: Simplify 0 into 0 1554297652.417 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.417 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.417 * [misc]backup-simplify: Simplify 0 into 0 1554297652.417 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.418 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.418 * [misc]backup-simplify: Simplify 0 into 0 1554297652.418 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.418 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.418 * [misc]backup-simplify: Simplify 0 into 0 1554297652.418 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.418 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.418 * [misc]backup-simplify: Simplify 0 into 0 1554297652.418 * [misc]backup-simplify: Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1) 1554297652.419 * [misc]backup-simplify: Simplify (- (exp (/ 1 (- x))) 1) into (- (exp (/ -1 x)) 1) 1554297652.419 * [misc]approximate: Taking taylor expansion of (- (exp (/ -1 x)) 1) in (x) around 0 1554297652.419 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1554297652.419 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1554297652.419 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1554297652.419 * [misc]taylor: Taking taylor expansion of -1 in x 1554297652.419 * [misc]backup-simplify: Simplify -1 into -1 1554297652.419 * [misc]taylor: Taking taylor expansion of x in x 1554297652.419 * [misc]backup-simplify: Simplify 0 into 0 1554297652.419 * [misc]backup-simplify: Simplify 1 into 1 1554297652.419 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554297652.419 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554297652.419 * [misc]taylor: Taking taylor expansion of 1 in x 1554297652.419 * [misc]backup-simplify: Simplify 1 into 1 1554297652.419 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1554297652.419 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1554297652.419 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1554297652.419 * [misc]taylor: Taking taylor expansion of -1 in x 1554297652.419 * [misc]backup-simplify: Simplify -1 into -1 1554297652.419 * [misc]taylor: Taking taylor expansion of x in x 1554297652.419 * [misc]backup-simplify: Simplify 0 into 0 1554297652.419 * [misc]backup-simplify: Simplify 1 into 1 1554297652.420 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554297652.420 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554297652.420 * [misc]taylor: Taking taylor expansion of 1 in x 1554297652.420 * [misc]backup-simplify: Simplify 1 into 1 1554297652.420 * [misc]backup-simplify: Simplify (- 1) into -1 1554297652.420 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1554297652.420 * [misc]backup-simplify: Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1) 1554297652.421 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.421 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.421 * [misc]backup-simplify: Simplify 0 into 0 1554297652.421 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.421 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.421 * [misc]backup-simplify: Simplify 0 into 0 1554297652.422 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.422 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.422 * [misc]backup-simplify: Simplify 0 into 0 1554297652.422 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.422 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.422 * [misc]backup-simplify: Simplify 0 into 0 1554297652.423 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.423 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.423 * [misc]backup-simplify: Simplify 0 into 0 1554297652.423 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.423 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.423 * [misc]backup-simplify: Simplify 0 into 0 1554297652.423 * [misc]backup-simplify: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1) 1554297652.423 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1) 1554297652.424 * [misc]backup-simplify: Simplify (exp (- (exp x) 1)) into (exp (- (exp x) 1)) 1554297652.424 * [misc]approximate: Taking taylor expansion of (exp (- (exp x) 1)) in (x) around 0 1554297652.424 * [misc]taylor: Taking taylor expansion of (exp (- (exp x) 1)) in x 1554297652.424 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1554297652.424 * [misc]taylor: Taking taylor expansion of (exp x) in x 1554297652.424 * [misc]taylor: Taking taylor expansion of x in x 1554297652.424 * [misc]backup-simplify: Simplify 0 into 0 1554297652.424 * [misc]backup-simplify: Simplify 1 into 1 1554297652.424 * [misc]backup-simplify: Simplify (exp 0) into 1 1554297652.424 * [misc]taylor: Taking taylor expansion of 1 in x 1554297652.424 * [misc]backup-simplify: Simplify 1 into 1 1554297652.424 * [misc]backup-simplify: Simplify (- 1) into -1 1554297652.424 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1554297652.426 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554297652.426 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.426 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554297652.426 * [misc]backup-simplify: Simplify (exp 0) into 1 1554297652.426 * [misc]taylor: Taking taylor expansion of (exp (- (exp x) 1)) in x 1554297652.426 * [misc]taylor: Taking taylor expansion of (- (exp x) 1) in x 1554297652.426 * [misc]taylor: Taking taylor expansion of (exp x) in x 1554297652.426 * [misc]taylor: Taking taylor expansion of x in x 1554297652.426 * [misc]backup-simplify: Simplify 0 into 0 1554297652.426 * [misc]backup-simplify: Simplify 1 into 1 1554297652.426 * [misc]backup-simplify: Simplify (exp 0) into 1 1554297652.426 * [misc]taylor: Taking taylor expansion of 1 in x 1554297652.427 * [misc]backup-simplify: Simplify 1 into 1 1554297652.427 * [misc]backup-simplify: Simplify (- 1) into -1 1554297652.427 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1554297652.428 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554297652.428 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.429 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554297652.429 * [misc]backup-simplify: Simplify (exp 0) into 1 1554297652.429 * [misc]backup-simplify: Simplify 1 into 1 1554297652.430 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554297652.430 * [misc]backup-simplify: Simplify 1 into 1 1554297652.433 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1554297652.433 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.433 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1554297652.435 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 1/2 1) 1)))) into 1 1554297652.435 * [misc]backup-simplify: Simplify 1 into 1 1554297652.436 * [misc]backup-simplify: Simplify (+ (* 1 (pow x 2)) (+ (* 1 x) 1)) into (+ x (+ (pow x 2) 1)) 1554297652.436 * [misc]backup-simplify: Simplify (exp (- (exp (/ 1 x)) 1)) into (exp (- (exp (/ 1 x)) 1)) 1554297652.436 * [misc]approximate: Taking taylor expansion of (exp (- (exp (/ 1 x)) 1)) in (x) around 0 1554297652.436 * [misc]taylor: Taking taylor expansion of (exp (- (exp (/ 1 x)) 1)) in x 1554297652.436 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1554297652.436 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1554297652.436 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1554297652.436 * [misc]taylor: Taking taylor expansion of x in x 1554297652.436 * [misc]backup-simplify: Simplify 0 into 0 1554297652.436 * [misc]backup-simplify: Simplify 1 into 1 1554297652.436 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554297652.436 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554297652.436 * [misc]taylor: Taking taylor expansion of 1 in x 1554297652.436 * [misc]backup-simplify: Simplify 1 into 1 1554297652.436 * [misc]backup-simplify: Simplify (- 1) into -1 1554297652.436 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1554297652.437 * [misc]backup-simplify: Simplify (exp (- (exp (/ 1 x)) 1)) into (exp (- (exp (/ 1 x)) 1)) 1554297652.437 * [misc]taylor: Taking taylor expansion of (exp (- (exp (/ 1 x)) 1)) in x 1554297652.437 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1554297652.437 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1554297652.437 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1554297652.437 * [misc]taylor: Taking taylor expansion of x in x 1554297652.437 * [misc]backup-simplify: Simplify 0 into 0 1554297652.437 * [misc]backup-simplify: Simplify 1 into 1 1554297652.437 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554297652.437 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554297652.437 * [misc]taylor: Taking taylor expansion of 1 in x 1554297652.437 * [misc]backup-simplify: Simplify 1 into 1 1554297652.437 * [misc]backup-simplify: Simplify (- 1) into -1 1554297652.437 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1554297652.437 * [misc]backup-simplify: Simplify (exp (- (exp (/ 1 x)) 1)) into (exp (- (exp (/ 1 x)) 1)) 1554297652.438 * [misc]backup-simplify: Simplify (exp (- (exp (/ 1 x)) 1)) into (exp (- (exp (/ 1 x)) 1)) 1554297652.438 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.438 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.439 * [misc]backup-simplify: Simplify (* (exp (- (exp (/ 1 x)) 1)) (+ (* (/ (pow 0 1) 1)))) into 0 1554297652.439 * [misc]backup-simplify: Simplify 0 into 0 1554297652.439 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.440 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.441 * [misc]backup-simplify: Simplify (* (exp (- (exp (/ 1 x)) 1)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554297652.441 * [misc]backup-simplify: Simplify 0 into 0 1554297652.442 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.442 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.445 * [misc]backup-simplify: Simplify (* (exp (- (exp (/ 1 x)) 1)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1554297652.445 * [misc]backup-simplify: Simplify 0 into 0 1554297652.445 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.445 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.450 * [misc]backup-simplify: Simplify (* (exp (- (exp (/ 1 x)) 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 1554297652.450 * [misc]backup-simplify: Simplify 0 into 0 1554297652.451 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.451 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.459 * [misc]backup-simplify: Simplify (* (exp (- (exp (/ 1 x)) 1)) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1554297652.460 * [misc]backup-simplify: Simplify 0 into 0 1554297652.460 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.460 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.469 * [misc]backup-simplify: Simplify (* (exp (- (exp (/ 1 x)) 1)) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554297652.469 * [misc]backup-simplify: Simplify 0 into 0 1554297652.470 * [misc]backup-simplify: Simplify (exp (- (exp (/ 1 (/ 1 x))) 1)) into (exp (- (exp x) 1)) 1554297652.470 * [misc]backup-simplify: Simplify (exp (- (exp (/ 1 (- x))) 1)) into (exp (- (exp (/ -1 x)) 1)) 1554297652.470 * [misc]approximate: Taking taylor expansion of (exp (- (exp (/ -1 x)) 1)) in (x) around 0 1554297652.470 * [misc]taylor: Taking taylor expansion of (exp (- (exp (/ -1 x)) 1)) in x 1554297652.470 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1554297652.470 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1554297652.470 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1554297652.470 * [misc]taylor: Taking taylor expansion of -1 in x 1554297652.470 * [misc]backup-simplify: Simplify -1 into -1 1554297652.470 * [misc]taylor: Taking taylor expansion of x in x 1554297652.470 * [misc]backup-simplify: Simplify 0 into 0 1554297652.470 * [misc]backup-simplify: Simplify 1 into 1 1554297652.470 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554297652.470 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554297652.470 * [misc]taylor: Taking taylor expansion of 1 in x 1554297652.470 * [misc]backup-simplify: Simplify 1 into 1 1554297652.470 * [misc]backup-simplify: Simplify (- 1) into -1 1554297652.470 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1554297652.470 * [misc]backup-simplify: Simplify (exp (- (exp (/ -1 x)) 1)) into (exp (- (exp (/ -1 x)) 1)) 1554297652.470 * [misc]taylor: Taking taylor expansion of (exp (- (exp (/ -1 x)) 1)) in x 1554297652.470 * [misc]taylor: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1554297652.470 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1554297652.470 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1554297652.470 * [misc]taylor: Taking taylor expansion of -1 in x 1554297652.470 * [misc]backup-simplify: Simplify -1 into -1 1554297652.470 * [misc]taylor: Taking taylor expansion of x in x 1554297652.470 * [misc]backup-simplify: Simplify 0 into 0 1554297652.470 * [misc]backup-simplify: Simplify 1 into 1 1554297652.470 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1554297652.470 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554297652.470 * [misc]taylor: Taking taylor expansion of 1 in x 1554297652.471 * [misc]backup-simplify: Simplify 1 into 1 1554297652.471 * [misc]backup-simplify: Simplify (- 1) into -1 1554297652.471 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1554297652.471 * [misc]backup-simplify: Simplify (exp (- (exp (/ -1 x)) 1)) into (exp (- (exp (/ -1 x)) 1)) 1554297652.471 * [misc]backup-simplify: Simplify (exp (- (exp (/ -1 x)) 1)) into (exp (- (exp (/ -1 x)) 1)) 1554297652.471 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.471 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.472 * [misc]backup-simplify: Simplify (* (exp (- (exp (/ -1 x)) 1)) (+ (* (/ (pow 0 1) 1)))) into 0 1554297652.472 * [misc]backup-simplify: Simplify 0 into 0 1554297652.472 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.472 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.473 * [misc]backup-simplify: Simplify (* (exp (- (exp (/ -1 x)) 1)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554297652.473 * [misc]backup-simplify: Simplify 0 into 0 1554297652.473 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.473 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.475 * [misc]backup-simplify: Simplify (* (exp (- (exp (/ -1 x)) 1)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1554297652.475 * [misc]backup-simplify: Simplify 0 into 0 1554297652.475 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.475 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.478 * [misc]backup-simplify: Simplify (* (exp (- (exp (/ -1 x)) 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 1554297652.478 * [misc]backup-simplify: Simplify 0 into 0 1554297652.479 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.479 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.483 * [misc]backup-simplify: Simplify (* (exp (- (exp (/ -1 x)) 1)) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1554297652.483 * [misc]backup-simplify: Simplify 0 into 0 1554297652.484 * [misc]backup-simplify: Simplify (- 0) into 0 1554297652.484 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554297652.491 * [misc]backup-simplify: Simplify (* (exp (- (exp (/ -1 x)) 1)) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554297652.491 * [misc]backup-simplify: Simplify 0 into 0 1554297652.491 * [misc]backup-simplify: Simplify (exp (- (exp (/ -1 (/ 1 (- x)))) 1)) into (exp (- (exp x) 1)) 1554297652.491 * * * [misc]progress: simplifying candidates 1554297652.491 * * * * [misc]progress: [ 1 / 58 ] simplifiying candidate # 1554297652.491 * [enter]simplify: Simplifying (log (exp (exp x))) 1554297652.491 * * [misc]simplify: iters left: 3 (4 enodes) 1554297652.492 * * [misc]simplify: iters left: 2 (10 enodes) 1554297652.494 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.494 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554297652.494 * * [misc]simplify: Extracting #2: cost 4 inf + 1 1554297652.494 * * [misc]simplify: Extracting #3: cost 2 inf + 143 1554297652.494 * * [misc]simplify: Extracting #4: cost 0 inf + 425 1554297652.495 * [exit]simplify: Simplified to (exp x) 1554297652.495 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (exp x) (log (exp (- 1))))) 1554297652.495 * * * * [misc]progress: [ 2 / 58 ] simplifiying candidate # 1554297652.495 * [enter]simplify: Simplifying (log (exp (exp x))) 1554297652.495 * * [misc]simplify: iters left: 3 (4 enodes) 1554297652.496 * * [misc]simplify: iters left: 2 (10 enodes) 1554297652.499 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.499 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554297652.499 * * [misc]simplify: Extracting #2: cost 4 inf + 1 1554297652.499 * * [misc]simplify: Extracting #3: cost 2 inf + 143 1554297652.499 * * [misc]simplify: Extracting #4: cost 0 inf + 425 1554297652.499 * [exit]simplify: Simplified to (exp x) 1554297652.499 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (exp x) (log (exp (- 1))))) 1554297652.499 * * * * [misc]progress: [ 3 / 58 ] simplifiying candidate # 1554297652.500 * [enter]simplify: Simplifying (log (* (cbrt (exp (- (exp x) 1))) (cbrt (exp (- (exp x) 1))))) 1554297652.500 * * [misc]simplify: iters left: 6 (8 enodes) 1554297652.504 * * [misc]simplify: iters left: 5 (34 enodes) 1554297652.518 * * [misc]simplify: iters left: 4 (45 enodes) 1554297652.531 * * [misc]simplify: iters left: 3 (48 enodes) 1554297652.544 * * [misc]simplify: iters left: 2 (50 enodes) 1554297652.558 * * [misc]simplify: iters left: 1 (52 enodes) 1554297652.572 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.572 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554297652.572 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1554297652.572 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1554297652.572 * * [misc]simplify: Extracting #4: cost 14 inf + 0 1554297652.572 * * [misc]simplify: Extracting #5: cost 19 inf + 1 1554297652.572 * * [misc]simplify: Extracting #6: cost 19 inf + 3 1554297652.573 * * [misc]simplify: Extracting #7: cost 16 inf + 146 1554297652.573 * * [misc]simplify: Extracting #8: cost 15 inf + 217 1554297652.573 * * [misc]simplify: Extracting #9: cost 10 inf + 794 1554297652.573 * * [misc]simplify: Extracting #10: cost 7 inf + 1420 1554297652.574 * * [misc]simplify: Extracting #11: cost 1 inf + 3322 1554297652.575 * * [misc]simplify: Extracting #12: cost 0 inf + 3694 1554297652.576 * [exit]simplify: Simplified to (log (* (cbrt (/ (exp (exp x)) E)) (cbrt (/ (exp (exp x)) E)))) 1554297652.576 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (log (* (cbrt (/ (exp (exp x)) E)) (cbrt (/ (exp (exp x)) E)))) (log (cbrt (exp (- (exp x) 1)))))) 1554297652.576 * * * * [misc]progress: [ 4 / 58 ] simplifiying candidate # 1554297652.576 * [enter]simplify: Simplifying (log (sqrt (exp (- (exp x) 1)))) 1554297652.576 * * [misc]simplify: iters left: 6 (7 enodes) 1554297652.580 * * [misc]simplify: iters left: 5 (29 enodes) 1554297652.589 * * [misc]simplify: iters left: 4 (38 enodes) 1554297652.600 * * [misc]simplify: iters left: 3 (41 enodes) 1554297652.611 * * [misc]simplify: iters left: 2 (43 enodes) 1554297652.622 * * [misc]simplify: iters left: 1 (45 enodes) 1554297652.628 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.628 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554297652.628 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554297652.628 * * [misc]simplify: Extracting #3: cost 10 inf + 0 1554297652.628 * * [misc]simplify: Extracting #4: cost 15 inf + 1 1554297652.629 * * [misc]simplify: Extracting #5: cost 15 inf + 3 1554297652.629 * * [misc]simplify: Extracting #6: cost 13 inf + 75 1554297652.629 * * [misc]simplify: Extracting #7: cost 8 inf + 582 1554297652.629 * * [misc]simplify: Extracting #8: cost 2 inf + 1602 1554297652.629 * * [misc]simplify: Extracting #9: cost 0 inf + 2186 1554297652.630 * [exit]simplify: Simplified to (log (sqrt (exp (- (exp x) 1)))) 1554297652.630 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (log (sqrt (exp (- (exp x) 1)))) (log (sqrt (exp (- (exp x) 1)))))) 1554297652.630 * * * * [misc]progress: [ 5 / 58 ] simplifiying candidate # 1554297652.630 * [enter]simplify: Simplifying (log 1) 1554297652.630 * * [misc]simplify: iters left: 1 (2 enodes) 1554297652.631 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.631 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1554297652.632 * [exit]simplify: Simplified to 0 1554297652.632 * [misc]simplify: Simplified (2 1) to (λ (x) (+ 0 (log (exp (- (exp x) 1))))) 1554297652.632 * * * * [misc]progress: [ 6 / 58 ] simplifiying candidate # 1554297652.632 * [enter]simplify: Simplifying (log (exp (exp x))) 1554297652.632 * * [misc]simplify: iters left: 3 (4 enodes) 1554297652.633 * * [misc]simplify: iters left: 2 (10 enodes) 1554297652.634 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.634 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554297652.634 * * [misc]simplify: Extracting #2: cost 4 inf + 1 1554297652.634 * * [misc]simplify: Extracting #3: cost 2 inf + 143 1554297652.634 * * [misc]simplify: Extracting #4: cost 0 inf + 425 1554297652.634 * [exit]simplify: Simplified to (exp x) 1554297652.634 * [misc]simplify: Simplified (2 1) to (λ (x) (- (exp x) (log (exp 1)))) 1554297652.634 * * * * [misc]progress: [ 7 / 58 ] simplifiying candidate # 1554297652.634 * * * * [misc]progress: [ 8 / 58 ] simplifiying candidate # 1554297652.635 * [enter]simplify: Simplifying (cbrt (- (exp x) 1)) 1554297652.635 * * [misc]simplify: iters left: 4 (5 enodes) 1554297652.636 * * [misc]simplify: iters left: 3 (20 enodes) 1554297652.640 * * [misc]simplify: iters left: 2 (24 enodes) 1554297652.644 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.644 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554297652.644 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1554297652.644 * * [misc]simplify: Extracting #3: cost 7 inf + 2 1554297652.644 * * [misc]simplify: Extracting #4: cost 6 inf + 3 1554297652.645 * * [misc]simplify: Extracting #5: cost 0 inf + 753 1554297652.645 * [exit]simplify: Simplified to (cbrt (- (exp x) 1)) 1554297652.645 * [misc]simplify: Simplified (2 1) to (λ (x) (* (cbrt (- (exp x) 1)) (log (exp (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1))))))) 1554297652.645 * * * * [misc]progress: [ 9 / 58 ] simplifiying candidate # 1554297652.645 * [enter]simplify: Simplifying (sqrt (- (exp x) 1)) 1554297652.645 * * [misc]simplify: iters left: 4 (5 enodes) 1554297652.647 * * [misc]simplify: iters left: 3 (20 enodes) 1554297652.654 * * [misc]simplify: iters left: 2 (24 enodes) 1554297652.663 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.663 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554297652.663 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1554297652.663 * * [misc]simplify: Extracting #3: cost 7 inf + 2 1554297652.663 * * [misc]simplify: Extracting #4: cost 6 inf + 3 1554297652.663 * * [misc]simplify: Extracting #5: cost 0 inf + 673 1554297652.664 * [exit]simplify: Simplified to (sqrt (- (exp x) 1)) 1554297652.664 * [misc]simplify: Simplified (2 1) to (λ (x) (* (sqrt (- (exp x) 1)) (log (exp (sqrt (- (exp x) 1)))))) 1554297652.664 * * * * [misc]progress: [ 10 / 58 ] simplifiying candidate # 1554297652.664 * [enter]simplify: Simplifying (- (exp x) 1) 1554297652.664 * * [misc]simplify: iters left: 3 (4 enodes) 1554297652.667 * * [misc]simplify: iters left: 2 (17 enodes) 1554297652.672 * * [misc]simplify: iters left: 1 (21 enodes) 1554297652.678 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.679 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554297652.679 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1554297652.679 * * [misc]simplify: Extracting #3: cost 4 inf + 3 1554297652.679 * * [misc]simplify: Extracting #4: cost 0 inf + 369 1554297652.679 * [exit]simplify: Simplified to (- (exp x) 1) 1554297652.679 * [misc]simplify: Simplified (2 1) to (λ (x) (* (- (exp x) 1) (log (exp 1)))) 1554297652.679 * * * * [misc]progress: [ 11 / 58 ] simplifiying candidate # 1554297652.679 * [enter]simplify: Simplifying (- (sqrt (exp x)) 1) 1554297652.680 * * [misc]simplify: iters left: 4 (5 enodes) 1554297652.682 * * [misc]simplify: iters left: 3 (20 enodes) 1554297652.687 * * [misc]simplify: iters left: 2 (24 enodes) 1554297652.690 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.690 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554297652.690 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1554297652.690 * * [misc]simplify: Extracting #3: cost 7 inf + 2 1554297652.690 * * [misc]simplify: Extracting #4: cost 6 inf + 3 1554297652.690 * * [misc]simplify: Extracting #5: cost 0 inf + 671 1554297652.690 * [exit]simplify: Simplified to (+ (sqrt (exp x)) -1) 1554297652.690 * [misc]simplify: Simplified (2 1) to (λ (x) (* (+ (sqrt (exp x)) -1) (log (exp (+ (sqrt (exp x)) 1))))) 1554297652.691 * * * * [misc]progress: [ 12 / 58 ] simplifiying candidate # 1554297652.691 * * * * [misc]progress: [ 13 / 58 ] simplifiying candidate # 1554297652.691 * [enter]simplify: Simplifying (exp x) 1554297652.691 * * [misc]simplify: iters left: 1 (2 enodes) 1554297652.691 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.691 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554297652.691 * * [misc]simplify: Extracting #2: cost 2 inf + 1 1554297652.691 * * [misc]simplify: Extracting #3: cost 0 inf + 143 1554297652.691 * [exit]simplify: Simplified to (exp x) 1554297652.691 * [misc]simplify: Simplified (2 1) to (λ (x) (- (exp x) 1)) 1554297652.691 * * * * [misc]progress: [ 14 / 58 ] simplifiying candidate # 1554297652.691 * * * * [misc]progress: [ 15 / 58 ] simplifiying candidate # 1554297652.691 * * * * [misc]progress: [ 16 / 58 ] simplifiying candidate # 1554297652.691 * * * * [misc]progress: [ 17 / 58 ] simplifiying candidate # 1554297652.692 * * * * [misc]progress: [ 18 / 58 ] simplifiying candidate # 1554297652.692 * * * * [misc]progress: [ 19 / 58 ] simplifiying candidate # 1554297652.692 * * * * [misc]progress: [ 20 / 58 ] simplifiying candidate #real (real->posit16 (log (exp (- (exp x) 1))))))> 1554297652.692 * * * * [misc]progress: [ 21 / 58 ] simplifiying candidate # 1554297652.692 * * * * [misc]progress: [ 22 / 58 ] simplifiying candidate # 1554297652.692 * * * * [misc]progress: [ 23 / 58 ] simplifiying candidate # 1554297652.692 * * * * [misc]progress: [ 24 / 58 ] simplifiying candidate # 1554297652.692 * * * * [misc]progress: [ 25 / 58 ] simplifiying candidate # 1554297652.692 * * * * [misc]progress: [ 26 / 58 ] simplifiying candidate # 1554297652.692 * * * * [misc]progress: [ 27 / 58 ] simplifiying candidate # 1554297652.692 * * * * [misc]progress: [ 28 / 58 ] simplifiying candidate # 1554297652.692 * * * * [misc]progress: [ 29 / 58 ] simplifiying candidate # 1554297652.692 * * * * [misc]progress: [ 30 / 58 ] simplifiying candidate # 1554297652.692 * * * * [misc]progress: [ 31 / 58 ] simplifiying candidate # 1554297652.692 * [enter]simplify: Simplifying (+ (sqrt (exp x)) 1) 1554297652.692 * * [misc]simplify: iters left: 4 (5 enodes) 1554297652.693 * * [misc]simplify: iters left: 3 (18 enodes) 1554297652.696 * * [misc]simplify: iters left: 2 (20 enodes) 1554297652.699 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.699 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554297652.699 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1554297652.700 * * [misc]simplify: Extracting #3: cost 7 inf + 1 1554297652.700 * * [misc]simplify: Extracting #4: cost 6 inf + 2 1554297652.700 * * [misc]simplify: Extracting #5: cost 0 inf + 670 1554297652.700 * [exit]simplify: Simplified to (+ 1 (sqrt (exp x))) 1554297652.700 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (log (exp (* (+ 1 (sqrt (exp x))) (- (sqrt (exp x)) 1))))) 1554297652.700 * * * * [misc]progress: [ 32 / 58 ] simplifiying candidate # 1554297652.700 * * * * [misc]progress: [ 33 / 58 ] simplifiying candidate #real (real->posit16 (- (exp x) 1))))))> 1554297652.700 * * * * [misc]progress: [ 34 / 58 ] simplifiying candidate # 1554297652.700 * * * * [misc]progress: [ 35 / 58 ] simplifiying candidate # 1554297652.700 * [enter]simplify: Simplifying (exp (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))) 1554297652.700 * * [misc]simplify: iters left: 6 (7 enodes) 1554297652.702 * * [misc]simplify: iters left: 5 (28 enodes) 1554297652.706 * * [misc]simplify: iters left: 4 (34 enodes) 1554297652.711 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.711 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554297652.711 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1554297652.711 * * [misc]simplify: Extracting #3: cost 13 inf + 0 1554297652.711 * * [misc]simplify: Extracting #4: cost 13 inf + 2 1554297652.711 * * [misc]simplify: Extracting #5: cost 12 inf + 3 1554297652.711 * * [misc]simplify: Extracting #6: cost 9 inf + 257 1554297652.711 * * [misc]simplify: Extracting #7: cost 4 inf + 1317 1554297652.712 * * [misc]simplify: Extracting #8: cost 0 inf + 2345 1554297652.712 * [exit]simplify: Simplified to (exp (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))) 1554297652.712 * [misc]simplify: Simplified (2 1 1) to (λ (x) (log (pow (exp (* (cbrt (- (exp x) 1)) (cbrt (- (exp x) 1)))) (cbrt (- (exp x) 1))))) 1554297652.712 * * * * [misc]progress: [ 36 / 58 ] simplifiying candidate # 1554297652.712 * [enter]simplify: Simplifying (exp (sqrt (- (exp x) 1))) 1554297652.712 * * [misc]simplify: iters left: 5 (6 enodes) 1554297652.715 * * [misc]simplify: iters left: 4 (23 enodes) 1554297652.722 * * [misc]simplify: iters left: 3 (27 enodes) 1554297652.730 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.730 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554297652.730 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554297652.730 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1554297652.730 * * [misc]simplify: Extracting #4: cost 9 inf + 2 1554297652.730 * * [misc]simplify: Extracting #5: cost 8 inf + 3 1554297652.730 * * [misc]simplify: Extracting #6: cost 1 inf + 895 1554297652.731 * * [misc]simplify: Extracting #7: cost 0 inf + 1117 1554297652.731 * [exit]simplify: Simplified to (exp (sqrt (- (exp x) 1))) 1554297652.731 * [misc]simplify: Simplified (2 1 1) to (λ (x) (log (pow (exp (sqrt (- (exp x) 1))) (sqrt (- (exp x) 1))))) 1554297652.731 * * * * [misc]progress: [ 37 / 58 ] simplifiying candidate # 1554297652.731 * [enter]simplify: Simplifying (exp 1) 1554297652.731 * * [misc]simplify: iters left: 1 (2 enodes) 1554297652.733 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.733 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1554297652.733 * [exit]simplify: Simplified to E 1554297652.733 * [misc]simplify: Simplified (2 1 1) to (λ (x) (log (pow E (- (exp x) 1)))) 1554297652.733 * * * * [misc]progress: [ 38 / 58 ] simplifiying candidate # 1554297652.733 * [enter]simplify: Simplifying (exp (+ (sqrt (exp x)) 1)) 1554297652.733 * * [misc]simplify: iters left: 5 (6 enodes) 1554297652.736 * * [misc]simplify: iters left: 4 (24 enodes) 1554297652.744 * * [misc]simplify: iters left: 3 (30 enodes) 1554297652.748 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.748 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554297652.748 * * [misc]simplify: Extracting #2: cost 8 inf + 1 1554297652.748 * * [misc]simplify: Extracting #3: cost 9 inf + 2 1554297652.748 * * [misc]simplify: Extracting #4: cost 11 inf + 2 1554297652.749 * * [misc]simplify: Extracting #5: cost 10 inf + 3 1554297652.749 * * [misc]simplify: Extracting #6: cost 8 inf + 145 1554297652.749 * * [misc]simplify: Extracting #7: cost 2 inf + 1103 1554297652.749 * * [misc]simplify: Extracting #8: cost 0 inf + 1477 1554297652.749 * [exit]simplify: Simplified to (* (exp (sqrt (exp x))) E) 1554297652.749 * [misc]simplify: Simplified (2 1 1) to (λ (x) (log (pow (* (exp (sqrt (exp x))) E) (- (sqrt (exp x)) 1)))) 1554297652.749 * * * * [misc]progress: [ 39 / 58 ] simplifiying candidate # 1554297652.749 * [enter]simplify: Simplifying (exp (exp x)) 1554297652.749 * * [misc]simplify: iters left: 2 (3 enodes) 1554297652.750 * * [misc]simplify: iters left: 1 (9 enodes) 1554297652.751 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.751 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554297652.751 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554297652.751 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1554297652.751 * * [misc]simplify: Extracting #4: cost 0 inf + 425 1554297652.751 * [exit]simplify: Simplified to (exp (exp x)) 1554297652.751 * [misc]simplify: Simplified (2 1 1) to (λ (x) (log (* (exp (exp x)) (exp (- 1))))) 1554297652.751 * * * * [misc]progress: [ 40 / 58 ] simplifiying candidate # 1554297652.752 * [enter]simplify: Simplifying (exp (exp x)) 1554297652.752 * * [misc]simplify: iters left: 2 (3 enodes) 1554297652.752 * * [misc]simplify: iters left: 1 (9 enodes) 1554297652.753 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.753 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554297652.753 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554297652.753 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1554297652.753 * * [misc]simplify: Extracting #4: cost 0 inf + 425 1554297652.754 * [exit]simplify: Simplified to (exp (exp x)) 1554297652.754 * [misc]simplify: Simplified (2 1 1) to (λ (x) (log (* (exp (exp x)) (exp (- 1))))) 1554297652.754 * * * * [misc]progress: [ 41 / 58 ] simplifiying candidate # 1554297652.754 * [enter]simplify: Simplifying (exp (exp x)) 1554297652.754 * * [misc]simplify: iters left: 2 (3 enodes) 1554297652.754 * * [misc]simplify: iters left: 1 (9 enodes) 1554297652.756 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.756 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554297652.756 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554297652.756 * * [misc]simplify: Extracting #3: cost 4 inf + 1 1554297652.756 * * [misc]simplify: Extracting #4: cost 0 inf + 425 1554297652.756 * [exit]simplify: Simplified to (exp (exp x)) 1554297652.756 * [misc]simplify: Simplified (2 1 1) to (λ (x) (log (/ (exp (exp x)) (exp 1)))) 1554297652.756 * * * * [misc]progress: [ 42 / 58 ] simplifiying candidate # 1554297652.756 * [enter]simplify: Simplifying (- (exp x) 1) 1554297652.756 * * [misc]simplify: iters left: 3 (4 enodes) 1554297652.757 * * [misc]simplify: iters left: 2 (17 enodes) 1554297652.760 * * [misc]simplify: iters left: 1 (21 enodes) 1554297652.763 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.763 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554297652.763 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1554297652.763 * * [misc]simplify: Extracting #3: cost 4 inf + 3 1554297652.763 * * [misc]simplify: Extracting #4: cost 0 inf + 369 1554297652.763 * [exit]simplify: Simplified to (- (exp x) 1) 1554297652.763 * [misc]simplify: Simplified (2 1 1) to (λ (x) (log (exp (- (exp x) 1)))) 1554297652.763 * * * * [misc]progress: [ 43 / 58 ] simplifiying candidate # 1554297652.764 * * * * [misc]progress: [ 44 / 58 ] simplifiying candidate # 1554297652.764 * * * * [misc]progress: [ 45 / 58 ] simplifiying candidate # 1554297652.764 * * * * [misc]progress: [ 46 / 58 ] simplifiying candidate # 1554297652.764 * * * * [misc]progress: [ 47 / 58 ] simplifiying candidate # 1554297652.764 * * * * [misc]progress: [ 48 / 58 ] simplifiying candidate # 1554297652.764 * * * * [misc]progress: [ 49 / 58 ] simplifiying candidate #real (real->posit16 (exp (- (exp x) 1))))))> 1554297652.764 * * * * [misc]progress: [ 50 / 58 ] simplifiying candidate # 1554297652.764 * [enter]simplify: Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1554297652.764 * * [misc]simplify: iters left: 6 (11 enodes) 1554297652.769 * * [misc]simplify: iters left: 5 (42 enodes) 1554297652.779 * * [misc]simplify: iters left: 4 (65 enodes) 1554297652.801 * * [misc]simplify: iters left: 3 (110 enodes) 1554297652.817 * * [misc]simplify: iters left: 2 (169 enodes) 1554297652.864 * * [misc]simplify: iters left: 1 (245 enodes) 1554297652.915 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.915 * * [misc]simplify: Extracting #1: cost 9 inf + 0 1554297652.915 * * [misc]simplify: Extracting #2: cost 26 inf + 1 1554297652.915 * * [misc]simplify: Extracting #3: cost 33 inf + 45 1554297652.916 * * [misc]simplify: Extracting #4: cost 15 inf + 1681 1554297652.918 * * [misc]simplify: Extracting #5: cost 1 inf + 3278 1554297652.920 * * [misc]simplify: Extracting #6: cost 0 inf + 3442 1554297652.922 * [exit]simplify: Simplified to (+ x (* (+ 1/2 (* x 1/6)) (* x x))) 1554297652.922 * [misc]simplify: Simplified (2) to (λ (x) (+ x (* (+ 1/2 (* x 1/6)) (* x x)))) 1554297652.922 * * * * [misc]progress: [ 51 / 58 ] simplifiying candidate # 1554297652.922 * [enter]simplify: Simplifying (- (exp x) 1) 1554297652.922 * * [misc]simplify: iters left: 3 (4 enodes) 1554297652.925 * * [misc]simplify: iters left: 2 (17 enodes) 1554297652.931 * * [misc]simplify: iters left: 1 (21 enodes) 1554297652.937 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.937 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554297652.937 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1554297652.937 * * [misc]simplify: Extracting #3: cost 4 inf + 3 1554297652.938 * * [misc]simplify: Extracting #4: cost 0 inf + 369 1554297652.938 * [exit]simplify: Simplified to (- (exp x) 1) 1554297652.938 * [misc]simplify: Simplified (2) to (λ (x) (- (exp x) 1)) 1554297652.938 * * * * [misc]progress: [ 52 / 58 ] simplifiying candidate # 1554297652.938 * [enter]simplify: Simplifying (- (exp x) 1) 1554297652.938 * * [misc]simplify: iters left: 3 (4 enodes) 1554297652.941 * * [misc]simplify: iters left: 2 (17 enodes) 1554297652.946 * * [misc]simplify: iters left: 1 (21 enodes) 1554297652.952 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297652.952 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554297652.952 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1554297652.952 * * [misc]simplify: Extracting #3: cost 4 inf + 3 1554297652.953 * * [misc]simplify: Extracting #4: cost 0 inf + 369 1554297652.953 * [exit]simplify: Simplified to (- (exp x) 1) 1554297652.953 * [misc]simplify: Simplified (2) to (λ (x) (- (exp x) 1)) 1554297652.953 * * * * [misc]progress: [ 53 / 58 ] simplifiying candidate # 1554297652.953 * [enter]simplify: Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1554297652.953 * * [misc]simplify: iters left: 6 (11 enodes) 1554297652.960 * * [misc]simplify: iters left: 5 (42 enodes) 1554297652.974 * * [misc]simplify: iters left: 4 (65 enodes) 1554297652.998 * * [misc]simplify: iters left: 3 (110 enodes) 1554297653.028 * * [misc]simplify: iters left: 2 (169 enodes) 1554297653.062 * * [misc]simplify: iters left: 1 (245 enodes) 1554297653.094 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297653.094 * * [misc]simplify: Extracting #1: cost 9 inf + 0 1554297653.094 * * [misc]simplify: Extracting #2: cost 26 inf + 1 1554297653.094 * * [misc]simplify: Extracting #3: cost 33 inf + 45 1554297653.095 * * [misc]simplify: Extracting #4: cost 15 inf + 1681 1554297653.097 * * [misc]simplify: Extracting #5: cost 1 inf + 3278 1554297653.099 * * [misc]simplify: Extracting #6: cost 0 inf + 3442 1554297653.100 * [exit]simplify: Simplified to (+ x (* (+ 1/2 (* x 1/6)) (* x x))) 1554297653.100 * [misc]simplify: Simplified (2 1 1) to (λ (x) (log (exp (+ x (* (+ 1/2 (* x 1/6)) (* x x)))))) 1554297653.101 * * * * [misc]progress: [ 54 / 58 ] simplifiying candidate # 1554297653.101 * [enter]simplify: Simplifying (- (exp x) 1) 1554297653.101 * * [misc]simplify: iters left: 3 (4 enodes) 1554297653.104 * * [misc]simplify: iters left: 2 (17 enodes) 1554297653.110 * * [misc]simplify: iters left: 1 (21 enodes) 1554297653.115 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297653.115 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554297653.116 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1554297653.116 * * [misc]simplify: Extracting #3: cost 4 inf + 3 1554297653.116 * * [misc]simplify: Extracting #4: cost 0 inf + 369 1554297653.116 * [exit]simplify: Simplified to (- (exp x) 1) 1554297653.116 * [misc]simplify: Simplified (2 1 1) to (λ (x) (log (exp (- (exp x) 1)))) 1554297653.116 * * * * [misc]progress: [ 55 / 58 ] simplifiying candidate # 1554297653.116 * [enter]simplify: Simplifying (- (exp x) 1) 1554297653.116 * * [misc]simplify: iters left: 3 (4 enodes) 1554297653.119 * * [misc]simplify: iters left: 2 (17 enodes) 1554297653.124 * * [misc]simplify: iters left: 1 (21 enodes) 1554297653.130 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297653.130 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554297653.130 * * [misc]simplify: Extracting #2: cost 5 inf + 2 1554297653.130 * * [misc]simplify: Extracting #3: cost 4 inf + 3 1554297653.131 * * [misc]simplify: Extracting #4: cost 0 inf + 369 1554297653.131 * [exit]simplify: Simplified to (- (exp x) 1) 1554297653.131 * [misc]simplify: Simplified (2 1 1) to (λ (x) (log (exp (- (exp x) 1)))) 1554297653.131 * * * * [misc]progress: [ 56 / 58 ] simplifiying candidate # 1554297653.131 * [enter]simplify: Simplifying (+ x (+ (pow x 2) 1)) 1554297653.131 * * [misc]simplify: iters left: 5 (6 enodes) 1554297653.135 * * [misc]simplify: iters left: 4 (25 enodes) 1554297653.143 * * [misc]simplify: iters left: 3 (36 enodes) 1554297653.153 * * [misc]simplify: iters left: 2 (42 enodes) 1554297653.164 * * [misc]simplify: iters left: 1 (48 enodes) 1554297653.176 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297653.177 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1554297653.177 * * [misc]simplify: Extracting #2: cost 11 inf + 2 1554297653.177 * * [misc]simplify: Extracting #3: cost 3 inf + 454 1554297653.177 * * [misc]simplify: Extracting #4: cost 0 inf + 739 1554297653.178 * [exit]simplify: Simplified to (+ x (+ 1 (* x x))) 1554297653.178 * [misc]simplify: Simplified (2 1) to (λ (x) (log (+ x (+ 1 (* x x))))) 1554297653.178 * * * * [misc]progress: [ 57 / 58 ] simplifiying candidate # 1554297653.178 * [enter]simplify: Simplifying (exp (- (exp x) 1)) 1554297653.178 * * [misc]simplify: iters left: 4 (5 enodes) 1554297653.182 * * [misc]simplify: iters left: 3 (23 enodes) 1554297653.187 * * [misc]simplify: iters left: 2 (32 enodes) 1554297653.192 * * [misc]simplify: iters left: 1 (35 enodes) 1554297653.197 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297653.197 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1554297653.197 * * [misc]simplify: Extracting #2: cost 12 inf + 1 1554297653.197 * * [misc]simplify: Extracting #3: cost 12 inf + 3 1554297653.197 * * [misc]simplify: Extracting #4: cost 4 inf + 723 1554297653.197 * * [misc]simplify: Extracting #5: cost 0 inf + 1270 1554297653.198 * [exit]simplify: Simplified to (/ (exp (exp x)) E) 1554297653.198 * [misc]simplify: Simplified (2 1) to (λ (x) (log (/ (exp (exp x)) E))) 1554297653.198 * * * * [misc]progress: [ 58 / 58 ] simplifiying candidate # 1554297653.198 * [enter]simplify: Simplifying (exp (- (exp x) 1)) 1554297653.198 * * [misc]simplify: iters left: 4 (5 enodes) 1554297653.200 * * [misc]simplify: iters left: 3 (23 enodes) 1554297653.204 * * [misc]simplify: iters left: 2 (32 enodes) 1554297653.210 * * [misc]simplify: iters left: 1 (35 enodes) 1554297653.216 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554297653.216 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1554297653.216 * * [misc]simplify: Extracting #2: cost 12 inf + 1 1554297653.216 * * [misc]simplify: Extracting #3: cost 12 inf + 3 1554297653.216 * * [misc]simplify: Extracting #4: cost 4 inf + 723 1554297653.216 * * [misc]simplify: Extracting #5: cost 0 inf + 1270 1554297653.216 * [exit]simplify: Simplified to (/ (exp (exp x)) E) 1554297653.216 * [misc]simplify: Simplified (2 1) to (λ (x) (log (/ (exp (exp x)) E))) 1554297653.216 * * * [misc]progress: adding candidates to table 1554297653.591 * [misc]progress: [Phase 3 of 3] Extracting. 1554297653.591 * * [misc]regime: Finding splitpoints for: (# # #) 1554297653.591 * * * [misc]regime-changes: Trying 3 branch expressions: (x (exp x) (- (exp x) 1)) 1554297653.591 * * * * [misc]regimes: Trying to branch on x from (# # #) 1554297653.610 * * * * [misc]regimes: Trying to branch on (exp x) from (# # #) 1554297653.643 * * * * [misc]regimes: Trying to branch on (exp x) from (# #) 1554297653.671 * * * * [misc]regimes: Trying to branch on (- (exp x) 1) from (# # #) 1554297653.690 * * * * [misc]regimes: Trying to branch on (- (exp x) 1) from (# #) 1554297653.704 * * * [misc]regime: Found split indices: #