1550608162.206 * [misc]progress:  [Phase 1 of 3] Setting up.
1550608162.206 * * * [misc]progress:  [1/2] Preparing points
1550608162.228 * * * [misc]progress:  [2/2] Setting up program.
1550608162.231 * [misc]progress:  [Phase 2 of 3] Improving.
1550608162.231 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (+ (* x (* x x)) (* x x)))>
1550608162.231 * [enter]simplify:  Simplifying (+ (* x (* x x)) (* x x))
1550608162.231 * * [misc]simplify:  iters left: 6 (4 enodes)
1550608162.233 * * [misc]simplify:  iters left: 5 (21 enodes)
1550608162.242 * * [misc]simplify:  iters left: 4 (37 enodes)
1550608162.253 * * [misc]simplify:  iters left: 3 (48 enodes)
1550608162.268 * * [misc]simplify:  iters left: 2 (56 enodes)
1550608162.291 * * [misc]simplify:  iters left: 1 (58 enodes)
1550608162.300 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608162.300 * * [misc]simplify:  Extracting #1: cost 7 inf + 0
1550608162.300 * * [misc]simplify:  Extracting #2: cost 12 inf + 1
1550608162.300 * * [misc]simplify:  Extracting #3: cost 8 inf + 86
1550608162.300 * * [misc]simplify:  Extracting #4: cost 1 inf + 614
1550608162.301 * * [misc]simplify:  Extracting #5: cost 0 inf + 735
1550608162.301 * [exit]simplify:  Simplified to (* x (+ (* x x) x))
1550608162.301 * [misc]simplify:  Simplified (2) to (λ (x) (* x (+ (* x x) x)))
1550608162.303 * * [misc]progress:  iteration 1 / 4
1550608162.303 * * * [misc]progress:  picking best candidate
1550608162.304 * * * * [misc]pick:  Picked  #<alt (λ (x) (+ (* x (* x x)) (* x x)))>
1550608162.304 * * * [misc]progress:  localizing error
1550608162.312 * * * [misc]progress:  generating rewritten candidates
1550608162.312 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1)
1550608162.313 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1550608162.317 * * * [misc]progress:  generating series expansions
1550608162.317 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1)
1550608162.317 * [misc]backup-simplify:  Simplify (* x (* x x)) into (pow x 3)
1550608162.317 * [misc]approximate:  Taking taylor expansion of (pow x 3) in (x) around 0
1550608162.317 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1550608162.317 * [misc]taylor:  Taking taylor expansion of x in x
1550608162.317 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.317 * [misc]backup-simplify:  Simplify 1 into 1
1550608162.317 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1550608162.317 * [misc]taylor:  Taking taylor expansion of x in x
1550608162.317 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.317 * [misc]backup-simplify:  Simplify 1 into 1
1550608162.317 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608162.317 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608162.317 * [misc]backup-simplify:  Simplify 1 into 1
1550608162.318 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608162.318 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608162.318 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.318 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550608162.318 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550608162.318 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.318 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1550608162.319 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1550608162.319 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.319 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1550608162.319 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1550608162.319 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.319 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1550608162.320 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1550608162.320 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.320 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1550608162.320 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1550608162.320 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.320 * [misc]backup-simplify:  Simplify (* 1 (pow x 3)) into (pow x 3)
1550608162.321 * [misc]backup-simplify:  Simplify (* (/ 1 x) (* (/ 1 x) (/ 1 x))) into (/ 1 (pow x 3))
1550608162.321 * [misc]approximate:  Taking taylor expansion of (/ 1 (pow x 3)) in (x) around 0
1550608162.321 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 3)) in x
1550608162.321 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1550608162.321 * [misc]taylor:  Taking taylor expansion of x in x
1550608162.321 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.321 * [misc]backup-simplify:  Simplify 1 into 1
1550608162.321 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608162.321 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608162.321 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608162.321 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 3)) in x
1550608162.321 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1550608162.321 * [misc]taylor:  Taking taylor expansion of x in x
1550608162.321 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.321 * [misc]backup-simplify:  Simplify 1 into 1
1550608162.321 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608162.321 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608162.321 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608162.321 * [misc]backup-simplify:  Simplify 1 into 1
1550608162.322 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608162.322 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608162.322 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550608162.322 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.322 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550608162.322 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550608162.322 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.322 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.323 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1550608162.323 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1550608162.323 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.323 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.323 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1550608162.323 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1550608162.324 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.324 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.324 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1550608162.324 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1550608162.325 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.325 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.325 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1550608162.325 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1550608162.326 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.326 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.326 * [misc]backup-simplify:  Simplify (* 1 (pow (/ 1 (/ 1 x)) 3)) into (pow x 3)
1550608162.326 * [misc]backup-simplify:  Simplify (* (/ 1 (- x)) (* (/ 1 (- x)) (/ 1 (- x)))) into (/ -1 (pow x 3))
1550608162.326 * [misc]approximate:  Taking taylor expansion of (/ -1 (pow x 3)) in (x) around 0
1550608162.326 * [misc]taylor:  Taking taylor expansion of (/ -1 (pow x 3)) in x
1550608162.326 * [misc]taylor:  Taking taylor expansion of -1 in x
1550608162.326 * [misc]backup-simplify:  Simplify -1 into -1
1550608162.326 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1550608162.326 * [misc]taylor:  Taking taylor expansion of x in x
1550608162.326 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.327 * [misc]backup-simplify:  Simplify 1 into 1
1550608162.327 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608162.327 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608162.327 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1550608162.327 * [misc]taylor:  Taking taylor expansion of (/ -1 (pow x 3)) in x
1550608162.327 * [misc]taylor:  Taking taylor expansion of -1 in x
1550608162.327 * [misc]backup-simplify:  Simplify -1 into -1
1550608162.327 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1550608162.327 * [misc]taylor:  Taking taylor expansion of x in x
1550608162.327 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.327 * [misc]backup-simplify:  Simplify 1 into 1
1550608162.327 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608162.327 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608162.328 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1550608162.328 * [misc]backup-simplify:  Simplify -1 into -1
1550608162.328 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608162.328 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608162.328 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1550608162.328 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.329 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550608162.329 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550608162.329 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.329 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.329 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1550608162.330 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1550608162.330 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.330 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.330 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1550608162.331 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1550608162.331 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.331 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.332 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1550608162.332 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1550608162.332 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.332 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.333 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1550608162.333 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1550608162.333 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.333 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.333 * [misc]backup-simplify:  Simplify (* -1 (pow (/ 1 (/ 1 (- x))) 3)) into (pow x 3)
1550608162.333 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1550608162.334 * [misc]backup-simplify:  Simplify (+ (* x (* x x)) (* x x)) into (+ (pow x 3) (pow x 2))
1550608162.334 * [misc]approximate:  Taking taylor expansion of (+ (pow x 3) (pow x 2)) in (x) around 0
1550608162.334 * [misc]taylor:  Taking taylor expansion of (+ (pow x 3) (pow x 2)) in x
1550608162.334 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1550608162.334 * [misc]taylor:  Taking taylor expansion of x in x
1550608162.334 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.334 * [misc]backup-simplify:  Simplify 1 into 1
1550608162.334 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1550608162.334 * [misc]taylor:  Taking taylor expansion of x in x
1550608162.334 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.334 * [misc]backup-simplify:  Simplify 1 into 1
1550608162.334 * [misc]taylor:  Taking taylor expansion of (+ (pow x 3) (pow x 2)) in x
1550608162.334 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1550608162.334 * [misc]taylor:  Taking taylor expansion of x in x
1550608162.334 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.334 * [misc]backup-simplify:  Simplify 1 into 1
1550608162.334 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1550608162.334 * [misc]taylor:  Taking taylor expansion of x in x
1550608162.334 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.334 * [misc]backup-simplify:  Simplify 1 into 1
1550608162.334 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608162.335 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550608162.335 * [misc]backup-simplify:  Simplify 1 into 1
1550608162.335 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608162.335 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608162.335 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608162.335 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550608162.335 * [misc]backup-simplify:  Simplify 1 into 1
1550608162.335 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608162.335 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608162.335 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550608162.336 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608162.336 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.336 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550608162.336 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550608162.336 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1550608162.336 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608162.336 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.336 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1550608162.337 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1550608162.337 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1550608162.337 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608162.337 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.337 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1550608162.337 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1550608162.338 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1550608162.338 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608162.338 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.338 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1550608162.338 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1550608162.338 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1550608162.339 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608162.339 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.339 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1550608162.339 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1550608162.339 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1550608162.339 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608162.340 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.340 * [misc]backup-simplify:  Simplify (+ (* 1 (pow x 3)) (* 1 (pow x 2))) into (+ (pow x 3) (pow x 2))
1550608162.340 * [misc]backup-simplify:  Simplify (+ (* (/ 1 x) (* (/ 1 x) (/ 1 x))) (* (/ 1 x) (/ 1 x))) into (+ (/ 1 (pow x 3)) (/ 1 (pow x 2)))
1550608162.340 * [misc]approximate:  Taking taylor expansion of (+ (/ 1 (pow x 3)) (/ 1 (pow x 2))) in (x) around 0
1550608162.340 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (pow x 3)) (/ 1 (pow x 2))) in x
1550608162.340 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 3)) in x
1550608162.340 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1550608162.340 * [misc]taylor:  Taking taylor expansion of x in x
1550608162.340 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.340 * [misc]backup-simplify:  Simplify 1 into 1
1550608162.340 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608162.340 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608162.340 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608162.340 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1550608162.340 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1550608162.340 * [misc]taylor:  Taking taylor expansion of x in x
1550608162.340 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.340 * [misc]backup-simplify:  Simplify 1 into 1
1550608162.340 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608162.341 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608162.341 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (pow x 3)) (/ 1 (pow x 2))) in x
1550608162.341 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 3)) in x
1550608162.341 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1550608162.341 * [misc]taylor:  Taking taylor expansion of x in x
1550608162.341 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.341 * [misc]backup-simplify:  Simplify 1 into 1
1550608162.341 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608162.341 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608162.341 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608162.341 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1550608162.341 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1550608162.341 * [misc]taylor:  Taking taylor expansion of x in x
1550608162.341 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.341 * [misc]backup-simplify:  Simplify 1 into 1
1550608162.341 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608162.341 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608162.341 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550608162.341 * [misc]backup-simplify:  Simplify 1 into 1
1550608162.342 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608162.342 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608162.342 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550608162.342 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1550608162.342 * [misc]backup-simplify:  Simplify 1 into 1
1550608162.342 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550608162.342 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550608162.342 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.343 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608162.343 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550608162.343 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608162.343 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.343 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1550608162.343 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1550608162.343 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.343 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550608162.344 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.344 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608162.344 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.344 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1550608162.344 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1550608162.344 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.345 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1550608162.345 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.345 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608162.345 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.345 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1550608162.345 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1550608162.346 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.346 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1550608162.346 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.346 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608162.346 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.347 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1550608162.347 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1550608162.347 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.347 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1550608162.348 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.348 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608162.348 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.348 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1550608162.348 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1550608162.349 * [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
1550608162.349 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1550608162.349 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.349 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608162.349 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.350 * [misc]backup-simplify:  Simplify (+ (* 1 (pow (/ 1 (/ 1 x)) 2)) (* 1 (pow (/ 1 (/ 1 x)) 3))) into (+ (pow x 3) (pow x 2))
1550608162.350 * [misc]backup-simplify:  Simplify (+ (* (/ 1 (- x)) (* (/ 1 (- x)) (/ 1 (- x)))) (* (/ 1 (- x)) (/ 1 (- x)))) into (- (/ 1 (pow x 2)) (/ 1 (pow x 3)))
1550608162.350 * [misc]approximate:  Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow x 3))) in (x) around 0
1550608162.350 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow x 3))) in x
1550608162.350 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1550608162.350 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1550608162.350 * [misc]taylor:  Taking taylor expansion of x in x
1550608162.350 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.350 * [misc]backup-simplify:  Simplify 1 into 1
1550608162.350 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608162.350 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608162.350 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 3)) in x
1550608162.350 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1550608162.350 * [misc]taylor:  Taking taylor expansion of x in x
1550608162.350 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.350 * [misc]backup-simplify:  Simplify 1 into 1
1550608162.350 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608162.351 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608162.351 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608162.351 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow x 3))) in x
1550608162.351 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1550608162.351 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1550608162.351 * [misc]taylor:  Taking taylor expansion of x in x
1550608162.351 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.351 * [misc]backup-simplify:  Simplify 1 into 1
1550608162.351 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608162.351 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608162.351 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 3)) in x
1550608162.351 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1550608162.351 * [misc]taylor:  Taking taylor expansion of x in x
1550608162.351 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.351 * [misc]backup-simplify:  Simplify 1 into 1
1550608162.351 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608162.351 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1550608162.351 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1550608162.352 * [misc]backup-simplify:  Simplify (- 1) into -1
1550608162.352 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1550608162.352 * [misc]backup-simplify:  Simplify -1 into -1
1550608162.352 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608162.352 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608162.352 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550608162.352 * [misc]backup-simplify:  Simplify (- 0) into 0
1550608162.352 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1550608162.352 * [misc]backup-simplify:  Simplify 1 into 1
1550608162.353 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1550608162.353 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1550608162.353 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550608162.353 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550608162.353 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.353 * [misc]backup-simplify:  Simplify (- 0) into 0
1550608162.353 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608162.354 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.354 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1550608162.354 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.354 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1550608162.354 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1550608162.354 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.355 * [misc]backup-simplify:  Simplify (- 0) into 0
1550608162.355 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608162.355 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.355 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1550608162.355 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.355 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1550608162.355 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1550608162.356 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.356 * [misc]backup-simplify:  Simplify (- 0) into 0
1550608162.356 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608162.356 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.356 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1550608162.357 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.357 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1550608162.357 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1550608162.358 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.358 * [misc]backup-simplify:  Simplify (- 0) into 0
1550608162.358 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608162.358 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.359 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1550608162.359 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.360 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1550608162.360 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1550608162.361 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.361 * [misc]backup-simplify:  Simplify (- 0) into 0
1550608162.361 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608162.361 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.361 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1550608162.362 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1550608162.362 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1550608162.363 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1550608162.364 * [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
1550608162.364 * [misc]backup-simplify:  Simplify (- 0) into 0
1550608162.364 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1550608162.364 * [misc]backup-simplify:  Simplify 0 into 0
1550608162.364 * [misc]backup-simplify:  Simplify (+ (* 1 (pow (/ 1 (/ 1 (- x))) 2)) (* -1 (pow (/ 1 (/ 1 (- x))) 3))) into (+ (pow x 3) (pow x 2))
1550608162.364 * * * [misc]progress:  simplifying candidates
1550608162.364 * * * * [misc]progress:  [ 1 / 31 ] simplifiying candidate #<alt (λ (x) (+ (pow (* x (* x x)) 1) (* x x)))>
1550608162.364 * * * * [misc]progress:  [ 2 / 31 ] simplifiying candidate #<alt (λ (x) (+ (exp (log (* x (* x x)))) (* x x)))>
1550608162.365 * * * * [misc]progress:  [ 3 / 31 ] simplifiying candidate #<alt (λ (x) (+ (log (exp (* x (* x x)))) (* x x)))>
1550608162.365 * * * * [misc]progress:  [ 4 / 31 ] simplifiying candidate #<alt (λ (x) (+ (pow x 3) (* x x)))>
1550608162.365 * * * * [misc]progress:  [ 5 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (* (cbrt (* x (* x x))) (cbrt (* x (* x x)))) (cbrt (* x (* x x)))) (* x x)))>
1550608162.365 * * * * [misc]progress:  [ 6 / 31 ] simplifiying candidate #<alt (λ (x) (+ (cbrt (* (* (* x (* x x)) (* x (* x x))) (* x (* x x)))) (* x x)))>
1550608162.365 * * * * [misc]progress:  [ 7 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (sqrt (* x (* x x))) (sqrt (* x (* x x)))) (* x x)))>
1550608162.365 * * * * [misc]progress:  [ 8 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* 1 (* x (* x x))) (* x x)))>
1550608162.365 * * * * [misc]progress:  [ 9 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) x) (* x x)))>
1550608162.365 * * * * [misc]progress:  [ 10 / 31 ] simplifiying candidate #<alt (λ (x) (+ (posit16->real (real->posit16 (* x (* x x)))) (* x x)))>
1550608162.365 * * * * [misc]progress:  [ 11 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) x) (* x x)))>
1550608162.365 * * * * [misc]progress:  [ 12 / 31 ] simplifiying candidate #<alt (λ (x) (log (* (exp (* x (* x x))) (exp (* x x)))))>
1550608162.365 * [enter]simplify:  Simplifying (* (exp (* x (* x x))) (exp (* x x)))
1550608162.365 * * [misc]simplify:  iters left: 6 (6 enodes)
1550608162.368 * * [misc]simplify:  iters left: 5 (27 enodes)
1550608162.377 * * [misc]simplify:  iters left: 4 (41 enodes)
1550608162.385 * * [misc]simplify:  iters left: 3 (59 enodes)
1550608162.398 * * [misc]simplify:  iters left: 2 (75 enodes)
1550608162.409 * * [misc]simplify:  iters left: 1 (84 enodes)
1550608162.420 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608162.420 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550608162.420 * * [misc]simplify:  Extracting #2: cost 22 inf + 0
1550608162.420 * * [misc]simplify:  Extracting #3: cost 21 inf + 3
1550608162.420 * * [misc]simplify:  Extracting #4: cost 12 inf + 827
1550608162.421 * * [misc]simplify:  Extracting #5: cost 1 inf + 2029
1550608162.421 * * [misc]simplify:  Extracting #6: cost 0 inf + 2008
1550608162.421 * [exit]simplify:  Simplified to (exp (+ (* x x) (* x (* x x))))
1550608162.421 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (exp (+ (* x x) (* x (* x x))))))
1550608162.422 * * * * [misc]progress:  [ 13 / 31 ] simplifiying candidate #<alt (λ (x) (pow (+ (* x (* x x)) (* x x)) 1))>
1550608162.422 * * * * [misc]progress:  [ 14 / 31 ] simplifiying candidate #<alt (λ (x) (exp (log (+ (* x (* x x)) (* x x)))))>
1550608162.422 * * * * [misc]progress:  [ 15 / 31 ] simplifiying candidate #<alt (λ (x) (log (exp (+ (* x (* x x)) (* x x)))))>
1550608162.422 * * * * [misc]progress:  [ 16 / 31 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (+ (* x (* x x)) (* x x))) (cbrt (+ (* x (* x x)) (* x x)))) (cbrt (+ (* x (* x x)) (* x x)))))>
1550608162.422 * * * * [misc]progress:  [ 17 / 31 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (+ (* x (* x x)) (* x x)) (+ (* x (* x x)) (* x x))) (+ (* x (* x x)) (* x x)))))>
1550608162.422 * * * * [misc]progress:  [ 18 / 31 ] simplifiying candidate #<alt (λ (x) (* (sqrt (+ (* x (* x x)) (* x x))) (sqrt (+ (* x (* x x)) (* x x)))))>
1550608162.422 * * * * [misc]progress:  [ 19 / 31 ] simplifiying candidate #<alt (λ (x) (/ (+ (pow (* x (* x x)) 3) (pow (* x x) 3)) (+ (* (* x (* x x)) (* x (* x x))) (- (* (* x x) (* x x)) (* (* x (* x x)) (* x x))))))>
1550608162.422 * * * * [misc]progress:  [ 20 / 31 ] simplifiying candidate #<alt (λ (x) (* 1 (+ (* x (* x x)) (* x x))))>
1550608162.422 * * * * [misc]progress:  [ 21 / 31 ] simplifiying candidate #<alt (λ (x) (/ (- (* (* x (* x x)) (* x (* x x))) (* (* x x) (* x x))) (- (* x (* x x)) (* x x))))>
1550608162.422 * * * * [misc]progress:  [ 22 / 31 ] simplifiying candidate #<alt (λ (x) (* x (+ (* x x) x)))>
1550608162.422 * [enter]simplify:  Simplifying (+ (* x x) x)
1550608162.422 * * [misc]simplify:  iters left: 4 (3 enodes)
1550608162.423 * * [misc]simplify:  iters left: 3 (13 enodes)
1550608162.425 * * [misc]simplify:  iters left: 2 (21 enodes)
1550608162.429 * * [misc]simplify:  iters left: 1 (29 enodes)
1550608162.433 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608162.434 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550608162.434 * * [misc]simplify:  Extracting #2: cost 6 inf + 42
1550608162.434 * * [misc]simplify:  Extracting #3: cost 2 inf + 246
1550608162.434 * * [misc]simplify:  Extracting #4: cost 1 inf + 288
1550608162.434 * * [misc]simplify:  Extracting #5: cost 0 inf + 330
1550608162.434 * [exit]simplify:  Simplified to (+ (* x x) x)
1550608162.434 * [misc]simplify:  Simplified (2 2) to (λ (x) (* x (+ (* x x) x)))
1550608162.434 * * * * [misc]progress:  [ 23 / 31 ] simplifiying candidate #<alt (λ (x) (* (+ x 1) (* x x)))>
1550608162.435 * [enter]simplify:  Simplifying (+ x 1)
1550608162.435 * * [misc]simplify:  iters left: 2 (3 enodes)
1550608162.436 * * [misc]simplify:  iters left: 1 (12 enodes)
1550608162.438 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608162.438 * * [misc]simplify:  Extracting #1: cost 4 inf + 0
1550608162.438 * * [misc]simplify:  Extracting #2: cost 2 inf + 2
1550608162.439 * * [misc]simplify:  Extracting #3: cost 0 inf + 86
1550608162.439 * [exit]simplify:  Simplified to (+ 1 x)
1550608162.439 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (+ 1 x) (* x x)))
1550608162.439 * * * * [misc]progress:  [ 24 / 31 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (+ (* x (* x x)) (* x x)))))>
1550608162.439 * * * * [misc]progress:  [ 25 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* x x) (* x (* x x))))>
1550608162.439 * * * * [misc]progress:  [ 26 / 31 ] simplifiying candidate #<alt (λ (x) (+ (pow x 3) (* x x)))>
1550608162.439 * [enter]simplify:  Simplifying (pow x 3)
1550608162.439 * * [misc]simplify:  iters left: 1 (3 enodes)
1550608162.440 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608162.440 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550608162.440 * * [misc]simplify:  Extracting #2: cost 3 inf + 2
1550608162.440 * * [misc]simplify:  Extracting #3: cost 1 inf + 255
1550608162.440 * * [misc]simplify:  Extracting #4: cost 0 inf + 336
1550608162.440 * * [misc]simplify:  Extracting #5: cost 0 inf + 205
1550608162.440 * [exit]simplify:  Simplified to (* (* x x) x)
1550608162.440 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (* (* x x) x) (* x x)))
1550608162.440 * * * * [misc]progress:  [ 27 / 31 ] simplifiying candidate #<alt (λ (x) (+ (pow x 3) (* x x)))>
1550608162.440 * [enter]simplify:  Simplifying (pow x 3)
1550608162.440 * * [misc]simplify:  iters left: 1 (3 enodes)
1550608162.441 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608162.441 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550608162.441 * * [misc]simplify:  Extracting #2: cost 3 inf + 2
1550608162.441 * * [misc]simplify:  Extracting #3: cost 1 inf + 255
1550608162.441 * * [misc]simplify:  Extracting #4: cost 0 inf + 336
1550608162.442 * * [misc]simplify:  Extracting #5: cost 0 inf + 205
1550608162.442 * [exit]simplify:  Simplified to (* (* x x) x)
1550608162.442 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (* (* x x) x) (* x x)))
1550608162.442 * * * * [misc]progress:  [ 28 / 31 ] simplifiying candidate #<alt (λ (x) (+ (pow x 3) (* x x)))>
1550608162.442 * [enter]simplify:  Simplifying (pow x 3)
1550608162.442 * * [misc]simplify:  iters left: 1 (3 enodes)
1550608162.443 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608162.443 * * [misc]simplify:  Extracting #1: cost 5 inf + 0
1550608162.443 * * [misc]simplify:  Extracting #2: cost 3 inf + 2
1550608162.443 * * [misc]simplify:  Extracting #3: cost 1 inf + 255
1550608162.443 * * [misc]simplify:  Extracting #4: cost 0 inf + 336
1550608162.443 * * [misc]simplify:  Extracting #5: cost 0 inf + 205
1550608162.443 * [exit]simplify:  Simplified to (* (* x x) x)
1550608162.443 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (* (* x x) x) (* x x)))
1550608162.443 * * * * [misc]progress:  [ 29 / 31 ] simplifiying candidate #<alt (λ (x) (+ (pow x 3) (pow x 2)))>
1550608162.443 * [enter]simplify:  Simplifying (+ (pow x 3) (pow x 2))
1550608162.443 * * [misc]simplify:  iters left: 3 (6 enodes)
1550608162.445 * * [misc]simplify:  iters left: 2 (22 enodes)
1550608162.449 * * [misc]simplify:  iters left: 1 (31 enodes)
1550608162.454 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608162.454 * * [misc]simplify:  Extracting #1: cost 7 inf + 0
1550608162.454 * * [misc]simplify:  Extracting #2: cost 13 inf + 1
1550608162.455 * * [misc]simplify:  Extracting #3: cost 5 inf + 369
1550608162.455 * * [misc]simplify:  Extracting #4: cost 0 inf + 736
1550608162.455 * [exit]simplify:  Simplified to (* (+ x (* x x)) x)
1550608162.455 * [misc]simplify:  Simplified (2) to (λ (x) (* (+ x (* x x)) x))
1550608162.455 * * * * [misc]progress:  [ 30 / 31 ] simplifiying candidate #<alt (λ (x) (+ (pow x 3) (pow x 2)))>
1550608162.455 * [enter]simplify:  Simplifying (+ (pow x 3) (pow x 2))
1550608162.455 * * [misc]simplify:  iters left: 3 (6 enodes)
1550608162.457 * * [misc]simplify:  iters left: 2 (22 enodes)
1550608162.462 * * [misc]simplify:  iters left: 1 (31 enodes)
1550608162.472 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608162.472 * * [misc]simplify:  Extracting #1: cost 7 inf + 0
1550608162.473 * * [misc]simplify:  Extracting #2: cost 13 inf + 1
1550608162.473 * * [misc]simplify:  Extracting #3: cost 5 inf + 369
1550608162.473 * * [misc]simplify:  Extracting #4: cost 0 inf + 736
1550608162.474 * [exit]simplify:  Simplified to (* (+ x (* x x)) x)
1550608162.474 * [misc]simplify:  Simplified (2) to (λ (x) (* (+ x (* x x)) x))
1550608162.474 * * * * [misc]progress:  [ 31 / 31 ] simplifiying candidate #<alt (λ (x) (+ (pow x 3) (pow x 2)))>
1550608162.474 * [enter]simplify:  Simplifying (+ (pow x 3) (pow x 2))
1550608162.474 * * [misc]simplify:  iters left: 3 (6 enodes)
1550608162.478 * * [misc]simplify:  iters left: 2 (22 enodes)
1550608162.485 * * [misc]simplify:  iters left: 1 (31 enodes)
1550608162.490 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608162.490 * * [misc]simplify:  Extracting #1: cost 7 inf + 0
1550608162.490 * * [misc]simplify:  Extracting #2: cost 13 inf + 1
1550608162.491 * * [misc]simplify:  Extracting #3: cost 5 inf + 369
1550608162.491 * * [misc]simplify:  Extracting #4: cost 0 inf + 736
1550608162.491 * [exit]simplify:  Simplified to (* (+ x (* x x)) x)
1550608162.491 * [misc]simplify:  Simplified (2) to (λ (x) (* (+ x (* x x)) x))
1550608162.491 * * * [misc]progress:  adding candidates to table
1550608162.667 * * [misc]progress:  iteration 2 / 4
1550608162.667 * * * [misc]progress:  picking best candidate
1550608162.668 * * * * [misc]pick:  Picked  #<alt (λ (x) (* x (+ (* x x) x)))>
1550608162.668 * * * [misc]progress:  localizing error
1550608162.675 * * * [misc]progress:  generating rewritten candidates
1550608162.675 * * * [misc]progress:  generating series expansions
1550608162.675 * * * [misc]progress:  simplifying candidates
1550608162.675 * * * [misc]progress:  adding candidates to table
1550608162.676 * [misc]progress:  [Phase 3 of 3] Extracting.
1550608162.679 * [enter]simplify:  Simplifying (* x (+ (* x x) x))
1550608162.679 * * [misc]simplify:  iters left: 6 (4 enodes)
1550608162.680 * * [misc]simplify:  iters left: 5 (6 enodes)
1550608162.680 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550608162.680 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550608162.680 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550608162.680 * * [misc]simplify:  Extracting #3: cost 0 inf + 244
1550608162.681 * [exit]simplify:  Simplified to (* x (+ (* x x) x))
1550608163.488 * [misc]regime-testing:  Baseline error score: 0.014626828353544194
1550608163.489 * [misc]regime-testing:  Oracle error score: 0.014626828353544194
1550608163.489 * [misc]regime-testing:  End program error score: 0.014626828353544194
1550608163.519 * [misc]regime-testing:  Target error score: 0.02459743561722259