0.003 * [progress]: [Phase 1 of 3] Setting up.
0.005 * * * [progress]: [1/2] Preparing points
0.187 * * * [progress]: [2/2] Setting up program.
0.190 * [progress]: [Phase 2 of 3] Improving.
0.190 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
0.191 * [simplify]: Simplifying (- (log (- (/ 1 x) 1)))
0.192 * * [simplify]: iters left: 6 (6 enodes)
0.198 * * [simplify]: iters left: 5 (23 enodes)
0.203 * * [simplify]: iters left: 4 (27 enodes)
0.207 * * [simplify]: iters left: 3 (28 enodes)
0.212 * * [simplify]: Extracting #0: cost 1 inf + 0
0.212 * * [simplify]: Extracting #1: cost 3 inf + 0
0.212 * * [simplify]: Extracting #2: cost 5 inf + 0
0.212 * * [simplify]: Extracting #3: cost 9 inf + 0
0.213 * * [simplify]: Extracting #4: cost 9 inf + 2
0.213 * * [simplify]: Extracting #5: cost 6 inf + 87
0.213 * * [simplify]: Extracting #6: cost 1 inf + 747
0.213 * * [simplify]: Extracting #7: cost 0 inf + 939
0.213 * [simplify]: Simplified to (- (log (- (/ 1 x) 1)))
0.213 * [simplify]: Simplified (2) to (λ (x) (- (log (- (/ 1 x) 1))))
0.217 * * [progress]: iteration 1 / 4
0.217 * * * [progress]: picking best candidate
0.249 * * * * [pick]: Picked  #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
0.249 * * * [progress]: localizing error
0.275 * * * [progress]: generating rewritten candidates
0.275 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1)
0.292 * * * [progress]: generating series expansions
0.293 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1)
0.296 * [backup-simplify]: Simplify (- (/ 1 x) 1) into (- (/ 1 x) 1)
0.297 * [approximate]: Taking taylor expansion of (- (/ 1 x) 1) in (x) around 0
0.297 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
0.297 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.297 * [taylor]: Taking taylor expansion of x in x
0.297 * [backup-simplify]: Simplify 0 into 0
0.298 * [backup-simplify]: Simplify 1 into 1
0.298 * [backup-simplify]: Simplify (/ 1 1) into 1
0.298 * [taylor]: Taking taylor expansion of 1 in x
0.298 * [backup-simplify]: Simplify 1 into 1
0.299 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
0.299 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.299 * [taylor]: Taking taylor expansion of x in x
0.299 * [backup-simplify]: Simplify 0 into 0
0.299 * [backup-simplify]: Simplify 1 into 1
0.299 * [backup-simplify]: Simplify (/ 1 1) into 1
0.299 * [taylor]: Taking taylor expansion of 1 in x
0.299 * [backup-simplify]: Simplify 1 into 1
0.300 * [backup-simplify]: Simplify (+ 1 0) into 1
0.300 * [backup-simplify]: Simplify 1 into 1
0.301 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.301 * [backup-simplify]: Simplify (- 1) into -1
0.301 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.301 * [backup-simplify]: Simplify -1 into -1
0.302 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.302 * [backup-simplify]: Simplify (- 0) into 0
0.303 * [backup-simplify]: Simplify (+ 0 0) into 0
0.303 * [backup-simplify]: Simplify 0 into 0
0.303 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.303 * [backup-simplify]: Simplify (- 0) into 0
0.304 * [backup-simplify]: Simplify (+ 0 0) into 0
0.304 * [backup-simplify]: Simplify 0 into 0
0.304 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.305 * [backup-simplify]: Simplify (- 0) into 0
0.305 * [backup-simplify]: Simplify (+ 0 0) into 0
0.305 * [backup-simplify]: Simplify 0 into 0
0.306 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.307 * [backup-simplify]: Simplify (- 0) into 0
0.307 * [backup-simplify]: Simplify (+ 0 0) into 0
0.307 * [backup-simplify]: Simplify 0 into 0
0.308 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.309 * [backup-simplify]: Simplify (- 0) into 0
0.309 * [backup-simplify]: Simplify (+ 0 0) into 0
0.309 * [backup-simplify]: Simplify 0 into 0
0.310 * [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
0.311 * [backup-simplify]: Simplify (- 0) into 0
0.311 * [backup-simplify]: Simplify (+ 0 0) into 0
0.312 * [backup-simplify]: Simplify 0 into 0
0.312 * [backup-simplify]: Simplify (+ -1 (* 1 (/ 1 x))) into (- (/ 1 x) 1)
0.312 * [backup-simplify]: Simplify (- (/ 1 (/ 1 x)) 1) into (- x 1)
0.312 * [approximate]: Taking taylor expansion of (- x 1) in (x) around 0
0.312 * [taylor]: Taking taylor expansion of (- x 1) in x
0.312 * [taylor]: Taking taylor expansion of x in x
0.312 * [backup-simplify]: Simplify 0 into 0
0.312 * [backup-simplify]: Simplify 1 into 1
0.312 * [taylor]: Taking taylor expansion of 1 in x
0.312 * [backup-simplify]: Simplify 1 into 1
0.312 * [taylor]: Taking taylor expansion of (- x 1) in x
0.313 * [taylor]: Taking taylor expansion of x in x
0.313 * [backup-simplify]: Simplify 0 into 0
0.313 * [backup-simplify]: Simplify 1 into 1
0.313 * [taylor]: Taking taylor expansion of 1 in x
0.313 * [backup-simplify]: Simplify 1 into 1
0.313 * [backup-simplify]: Simplify (- 1) into -1
0.313 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.314 * [backup-simplify]: Simplify -1 into -1
0.314 * [backup-simplify]: Simplify (- 0) into 0
0.314 * [backup-simplify]: Simplify (+ 1 0) into 1
0.314 * [backup-simplify]: Simplify 1 into 1
0.315 * [backup-simplify]: Simplify (- 0) into 0
0.315 * [backup-simplify]: Simplify (+ 0 0) into 0
0.315 * [backup-simplify]: Simplify 0 into 0
0.316 * [backup-simplify]: Simplify (- 0) into 0
0.316 * [backup-simplify]: Simplify (+ 0 0) into 0
0.316 * [backup-simplify]: Simplify 0 into 0
0.316 * [backup-simplify]: Simplify (- 0) into 0
0.317 * [backup-simplify]: Simplify (+ 0 0) into 0
0.317 * [backup-simplify]: Simplify 0 into 0
0.317 * [backup-simplify]: Simplify (- 0) into 0
0.317 * [backup-simplify]: Simplify (+ 0 0) into 0
0.318 * [backup-simplify]: Simplify 0 into 0
0.318 * [backup-simplify]: Simplify (- 0) into 0
0.318 * [backup-simplify]: Simplify (+ 0 0) into 0
0.318 * [backup-simplify]: Simplify 0 into 0
0.319 * [backup-simplify]: Simplify (- 0) into 0
0.319 * [backup-simplify]: Simplify (+ 0 0) into 0
0.319 * [backup-simplify]: Simplify 0 into 0
0.319 * [backup-simplify]: Simplify (+ (* 1 (/ 1 x)) -1) into (- (/ 1 x) 1)
0.320 * [backup-simplify]: Simplify (- (/ 1 (/ 1 (- x))) 1) into (- (+ x 1))
0.320 * [approximate]: Taking taylor expansion of (- (+ x 1)) in (x) around 0
0.320 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
0.320 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.320 * [taylor]: Taking taylor expansion of x in x
0.320 * [backup-simplify]: Simplify 0 into 0
0.320 * [backup-simplify]: Simplify 1 into 1
0.320 * [taylor]: Taking taylor expansion of 1 in x
0.321 * [backup-simplify]: Simplify 1 into 1
0.321 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
0.321 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.321 * [taylor]: Taking taylor expansion of x in x
0.321 * [backup-simplify]: Simplify 0 into 0
0.321 * [backup-simplify]: Simplify 1 into 1
0.321 * [taylor]: Taking taylor expansion of 1 in x
0.321 * [backup-simplify]: Simplify 1 into 1
0.321 * [backup-simplify]: Simplify (+ 0 1) into 1
0.322 * [backup-simplify]: Simplify (- 1) into -1
0.322 * [backup-simplify]: Simplify -1 into -1
0.322 * [backup-simplify]: Simplify (+ 1 0) into 1
0.323 * [backup-simplify]: Simplify (- 1) into -1
0.323 * [backup-simplify]: Simplify -1 into -1
0.323 * [backup-simplify]: Simplify (+ 0 0) into 0
0.323 * [backup-simplify]: Simplify (- 0) into 0
0.323 * [backup-simplify]: Simplify 0 into 0
0.324 * [backup-simplify]: Simplify (+ 0 0) into 0
0.324 * [backup-simplify]: Simplify (- 0) into 0
0.324 * [backup-simplify]: Simplify 0 into 0
0.325 * [backup-simplify]: Simplify (+ 0 0) into 0
0.325 * [backup-simplify]: Simplify (- 0) into 0
0.325 * [backup-simplify]: Simplify 0 into 0
0.325 * [backup-simplify]: Simplify (+ 0 0) into 0
0.326 * [backup-simplify]: Simplify (- 0) into 0
0.326 * [backup-simplify]: Simplify 0 into 0
0.326 * [backup-simplify]: Simplify (+ 0 0) into 0
0.327 * [backup-simplify]: Simplify (- 0) into 0
0.327 * [backup-simplify]: Simplify 0 into 0
0.327 * [backup-simplify]: Simplify (+ 0 0) into 0
0.327 * [backup-simplify]: Simplify (- 0) into 0
0.327 * [backup-simplify]: Simplify 0 into 0
0.327 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (- x))) -1) into (- (/ 1 x) 1)
0.328 * * * [progress]: simplifying candidates
0.328 * * * * [progress]: [ 1 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (log (/ (exp (/ 1 x)) (exp 1))))))>
0.328 * [simplify]: Simplifying (/ (exp (/ 1 x)) (exp 1))
0.328 * * [simplify]: iters left: 5 (6 enodes)
0.331 * * [simplify]: iters left: 4 (21 enodes)
0.339 * * [simplify]: iters left: 3 (30 enodes)
0.347 * * [simplify]: iters left: 2 (34 enodes)
0.353 * * [simplify]: iters left: 1 (38 enodes)
0.359 * * [simplify]: Extracting #0: cost 1 inf + 0
0.359 * * [simplify]: Extracting #1: cost 6 inf + 0
0.359 * * [simplify]: Extracting #2: cost 11 inf + 1
0.359 * * [simplify]: Extracting #3: cost 10 inf + 74
0.359 * * [simplify]: Extracting #4: cost 8 inf + 146
0.359 * * [simplify]: Extracting #5: cost 1 inf + 770
0.360 * * [simplify]: Extracting #6: cost 0 inf + 922
0.360 * [simplify]: Simplified to (exp (- (/ 1 x) 1))
0.360 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (log (exp (- (/ 1 x) 1))))))
0.360 * * * * [progress]: [ 2 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (pow (- (/ 1 x) 1) 1))))>
0.360 * * * * [progress]: [ 3 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (exp (log (- (/ 1 x) 1))))))>
0.360 * [simplify]: Simplifying (log (- (/ 1 x) 1))
0.360 * * [simplify]: iters left: 5 (5 enodes)
0.370 * * [simplify]: iters left: 4 (20 enodes)
0.374 * * [simplify]: iters left: 3 (24 enodes)
0.379 * * [simplify]: iters left: 2 (25 enodes)
0.383 * * [simplify]: Extracting #0: cost 1 inf + 0
0.383 * * [simplify]: Extracting #1: cost 3 inf + 0
0.383 * * [simplify]: Extracting #2: cost 7 inf + 0
0.383 * * [simplify]: Extracting #3: cost 7 inf + 2
0.383 * * [simplify]: Extracting #4: cost 0 inf + 555
0.383 * [simplify]: Simplified to (log (- (/ 1 x) 1))
0.383 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (exp (log (- (/ 1 x) 1))))))
0.383 * * * * [progress]: [ 4 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (log (exp (- (/ 1 x) 1))))))>
0.383 * [simplify]: Simplifying (exp (- (/ 1 x) 1))
0.383 * * [simplify]: iters left: 5 (5 enodes)
0.386 * * [simplify]: iters left: 4 (23 enodes)
0.391 * * [simplify]: iters left: 3 (32 enodes)
0.396 * * [simplify]: iters left: 2 (38 enodes)
0.402 * * [simplify]: Extracting #0: cost 1 inf + 0
0.402 * * [simplify]: Extracting #1: cost 6 inf + 0
0.402 * * [simplify]: Extracting #2: cost 11 inf + 1
0.402 * * [simplify]: Extracting #3: cost 9 inf + 145
0.402 * * [simplify]: Extracting #4: cost 8 inf + 146
0.403 * * [simplify]: Extracting #5: cost 3 inf + 536
0.403 * * [simplify]: Extracting #6: cost 0 inf + 922
0.403 * [simplify]: Simplified to (exp (- (/ 1 x) 1))
0.403 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (log (exp (- (/ 1 x) 1))))))
0.403 * * * * [progress]: [ 5 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))) (cbrt (- (/ 1 x) 1))))))>
0.403 * [simplify]: Simplifying (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))
0.403 * * [simplify]: iters left: 6 (6 enodes)
0.405 * * [simplify]: iters left: 5 (23 enodes)
0.410 * * [simplify]: iters left: 4 (27 enodes)
0.414 * * [simplify]: iters left: 3 (28 enodes)
0.419 * * [simplify]: Extracting #0: cost 1 inf + 0
0.419 * * [simplify]: Extracting #1: cost 3 inf + 0
0.419 * * [simplify]: Extracting #2: cost 5 inf + 0
0.419 * * [simplify]: Extracting #3: cost 9 inf + 0
0.419 * * [simplify]: Extracting #4: cost 9 inf + 2
0.419 * * [simplify]: Extracting #5: cost 6 inf + 87
0.419 * * [simplify]: Extracting #6: cost 1 inf + 777
0.420 * * [simplify]: Extracting #7: cost 0 inf + 979
0.420 * [simplify]: Simplified to (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))
0.420 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))) (cbrt (- (/ 1 x) 1))))))
0.420 * [simplify]: Simplifying (cbrt (- (/ 1 x) 1))
0.420 * * [simplify]: iters left: 5 (5 enodes)
0.422 * * [simplify]: iters left: 4 (20 enodes)
0.427 * * [simplify]: iters left: 3 (24 enodes)
0.431 * * [simplify]: iters left: 2 (25 enodes)
0.435 * * [simplify]: Extracting #0: cost 1 inf + 0
0.435 * * [simplify]: Extracting #1: cost 3 inf + 0
0.435 * * [simplify]: Extracting #2: cost 7 inf + 0
0.435 * * [simplify]: Extracting #3: cost 7 inf + 2
0.435 * * [simplify]: Extracting #4: cost 0 inf + 575
0.435 * [simplify]: Simplified to (cbrt (- (/ 1 x) 1))
0.435 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))) (cbrt (- (/ 1 x) 1))))))
0.436 * * * * [progress]: [ 6 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (cbrt (* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1))))))>
0.436 * [simplify]: Simplifying (* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1))
0.436 * * [simplify]: iters left: 6 (6 enodes)
0.438 * * [simplify]: iters left: 5 (24 enodes)
0.443 * * [simplify]: iters left: 4 (42 enodes)
0.456 * * [simplify]: iters left: 3 (120 enodes)
0.491 * * [simplify]: iters left: 2 (296 enodes)
0.712 * * [simplify]: Extracting #0: cost 1 inf + 0
0.712 * * [simplify]: Extracting #1: cost 41 inf + 0
0.713 * * [simplify]: Extracting #2: cost 159 inf + 3
0.714 * * [simplify]: Extracting #3: cost 159 inf + 461
0.719 * * [simplify]: Extracting #4: cost 89 inf + 10170
0.730 * * [simplify]: Extracting #5: cost 14 inf + 23075
0.744 * * [simplify]: Extracting #6: cost 0 inf + 26630
0.757 * [simplify]: Simplified to (* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1))
0.758 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (cbrt (* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1))))))
0.758 * * * * [progress]: [ 7 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))>
0.758 * [simplify]: Simplifying (sqrt (- (/ 1 x) 1))
0.758 * * [simplify]: iters left: 5 (5 enodes)
0.761 * * [simplify]: iters left: 4 (20 enodes)
0.765 * * [simplify]: iters left: 3 (24 enodes)
0.769 * * [simplify]: iters left: 2 (25 enodes)
0.773 * * [simplify]: Extracting #0: cost 1 inf + 0
0.773 * * [simplify]: Extracting #1: cost 3 inf + 0
0.773 * * [simplify]: Extracting #2: cost 7 inf + 0
0.773 * * [simplify]: Extracting #3: cost 7 inf + 2
0.774 * * [simplify]: Extracting #4: cost 0 inf + 495
0.774 * [simplify]: Simplified to (sqrt (- (/ 1 x) 1))
0.774 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))
0.774 * [simplify]: Simplifying (sqrt (- (/ 1 x) 1))
0.774 * * [simplify]: iters left: 5 (5 enodes)
0.776 * * [simplify]: iters left: 4 (20 enodes)
0.779 * * [simplify]: iters left: 3 (24 enodes)
0.785 * * [simplify]: iters left: 2 (25 enodes)
0.793 * * [simplify]: Extracting #0: cost 1 inf + 0
0.793 * * [simplify]: Extracting #1: cost 3 inf + 0
0.793 * * [simplify]: Extracting #2: cost 7 inf + 0
0.793 * * [simplify]: Extracting #3: cost 7 inf + 2
0.794 * * [simplify]: Extracting #4: cost 0 inf + 495
0.794 * [simplify]: Simplified to (sqrt (- (/ 1 x) 1))
0.794 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))
0.794 * * * * [progress]: [ 8 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (/ (- (pow (/ 1 x) 3) (pow 1 3)) (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))>
0.794 * [simplify]: Simplifying (- (pow (/ 1 x) 3) (pow 1 3))
0.794 * * [simplify]: iters left: 5 (7 enodes)
0.804 * * [simplify]: iters left: 4 (36 enodes)
0.812 * * [simplify]: iters left: 3 (74 enodes)
0.828 * * [simplify]: iters left: 2 (133 enodes)
0.875 * * [simplify]: iters left: 1 (232 enodes)
0.940 * * [simplify]: Extracting #0: cost 1 inf + 0
0.940 * * [simplify]: Extracting #1: cost 14 inf + 0
0.941 * * [simplify]: Extracting #2: cost 74 inf + 2
0.941 * * [simplify]: Extracting #3: cost 115 inf + 5
0.943 * * [simplify]: Extracting #4: cost 95 inf + 4048
0.948 * * [simplify]: Extracting #5: cost 23 inf + 33113
0.956 * * [simplify]: Extracting #6: cost 0 inf + 45184
0.964 * [simplify]: Simplified to (- (/ (/ 1 (* x x)) x) 1)
0.964 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (/ (- (/ (/ 1 (* x x)) x) 1) (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))
0.965 * [simplify]: Simplifying (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))
0.965 * * [simplify]: iters left: 6 (8 enodes)
0.968 * * [simplify]: iters left: 5 (31 enodes)
0.974 * * [simplify]: iters left: 4 (49 enodes)
0.982 * * [simplify]: iters left: 3 (62 enodes)
0.992 * * [simplify]: iters left: 2 (70 enodes)
1.011 * * [simplify]: iters left: 1 (72 enodes)
1.020 * * [simplify]: Extracting #0: cost 1 inf + 0
1.020 * * [simplify]: Extracting #1: cost 8 inf + 0
1.020 * * [simplify]: Extracting #2: cost 15 inf + 1
1.020 * * [simplify]: Extracting #3: cost 14 inf + 85
1.021 * * [simplify]: Extracting #4: cost 5 inf + 982
1.021 * * [simplify]: Extracting #5: cost 0 inf + 1552
1.022 * [simplify]: Simplified to (+ (* (/ 1 x) (+ (/ 1 x) 1)) 1)
1.022 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (/ (- (/ (/ 1 (* x x)) x) 1) (+ (* (/ 1 x) (+ (/ 1 x) 1)) 1)))))
1.022 * * * * [progress]: [ 9 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (+ (/ 1 x) (- 1)))))>
1.022 * [simplify]: Simplifying (- 1)
1.022 * * [simplify]: iters left: 2 (2 enodes)
1.023 * * [simplify]: iters left: 1 (9 enodes)
1.025 * * [simplify]: Extracting #0: cost 1 inf + 0
1.025 * * [simplify]: Extracting #1: cost 0 inf + 1
1.025 * [simplify]: Simplified to -1
1.025 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (/ 1 x) -1))))
1.025 * * * * [progress]: [ 10 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (* 1 (- (/ 1 x) 1)))))>
1.025 * * * * [progress]: [ 11 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (/ (- (* (/ 1 x) (/ 1 x)) (* 1 1)) (+ (/ 1 x) 1)))))>
1.025 * [simplify]: Simplifying (- (* (/ 1 x) (/ 1 x)) (* 1 1))
1.025 * * [simplify]: iters left: 6 (6 enodes)
1.028 * * [simplify]: iters left: 5 (25 enodes)
1.032 * * [simplify]: iters left: 4 (36 enodes)
1.038 * * [simplify]: iters left: 3 (51 enodes)
1.051 * * [simplify]: iters left: 2 (69 enodes)
1.077 * * [simplify]: iters left: 1 (111 enodes)
1.126 * * [simplify]: Extracting #0: cost 1 inf + 0
1.127 * * [simplify]: Extracting #1: cost 29 inf + 0
1.127 * * [simplify]: Extracting #2: cost 39 inf + 2
1.127 * * [simplify]: Extracting #3: cost 38 inf + 44
1.128 * * [simplify]: Extracting #4: cost 25 inf + 1270
1.130 * * [simplify]: Extracting #5: cost 2 inf + 4486
1.133 * * [simplify]: Extracting #6: cost 0 inf + 4811
1.134 * [simplify]: Simplified to (- (/ (/ 1 x) x) 1)
1.134 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (/ (- (/ (/ 1 x) x) 1) (+ (/ 1 x) 1)))))
1.134 * [simplify]: Simplifying (+ (/ 1 x) 1)
1.135 * * [simplify]: iters left: 4 (4 enodes)
1.136 * * [simplify]: iters left: 3 (15 enodes)
1.139 * * [simplify]: iters left: 2 (17 enodes)
1.142 * * [simplify]: Extracting #0: cost 1 inf + 0
1.142 * * [simplify]: Extracting #1: cost 4 inf + 0
1.142 * * [simplify]: Extracting #2: cost 5 inf + 1
1.142 * * [simplify]: Extracting #3: cost 4 inf + 2
1.142 * * [simplify]: Extracting #4: cost 1 inf + 208
1.142 * * [simplify]: Extracting #5: cost 0 inf + 250
1.142 * [simplify]: Simplified to (+ 1 (/ 1 x))
1.142 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (/ (- (/ (/ 1 x) x) 1) (+ 1 (/ 1 x))))))
1.142 * * * * [progress]: [ 12 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) (sqrt 1)) (- (sqrt (/ 1 x)) (sqrt 1))))))>
1.142 * [simplify]: Simplifying (+ (sqrt (/ 1 x)) (sqrt 1))
1.142 * * [simplify]: iters left: 5 (6 enodes)
1.145 * * [simplify]: iters left: 4 (21 enodes)
1.148 * * [simplify]: iters left: 3 (23 enodes)
1.152 * * [simplify]: Extracting #0: cost 1 inf + 0
1.152 * * [simplify]: Extracting #1: cost 4 inf + 0
1.152 * * [simplify]: Extracting #2: cost 5 inf + 1
1.152 * * [simplify]: Extracting #3: cost 7 inf + 1
1.152 * * [simplify]: Extracting #4: cost 6 inf + 2
1.152 * * [simplify]: Extracting #5: cost 0 inf + 494
1.152 * [simplify]: Simplified to (+ (sqrt (/ 1 x)) 1)
1.152 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) (sqrt 1))))))
1.152 * [simplify]: Simplifying (- (sqrt (/ 1 x)) (sqrt 1))
1.153 * * [simplify]: iters left: 5 (6 enodes)
1.155 * * [simplify]: iters left: 4 (23 enodes)
1.159 * * [simplify]: iters left: 3 (29 enodes)
1.166 * * [simplify]: iters left: 2 (30 enodes)
1.174 * * [simplify]: Extracting #0: cost 1 inf + 0
1.174 * * [simplify]: Extracting #1: cost 5 inf + 0
1.174 * * [simplify]: Extracting #2: cost 5 inf + 2
1.174 * * [simplify]: Extracting #3: cost 7 inf + 2
1.174 * * [simplify]: Extracting #4: cost 1 inf + 373
1.174 * * [simplify]: Extracting #5: cost 0 inf + 495
1.175 * [simplify]: Simplified to (- (sqrt (/ 1 x)) 1)
1.175 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) (sqrt 1)) (- (sqrt (/ 1 x)) 1)))))
1.175 * * * * [progress]: [ 13 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))>
1.175 * [simplify]: Simplifying (+ (sqrt (/ 1 x)) 1)
1.175 * * [simplify]: iters left: 5 (5 enodes)
1.178 * * [simplify]: iters left: 4 (18 enodes)
1.183 * * [simplify]: iters left: 3 (20 enodes)
1.189 * * [simplify]: Extracting #0: cost 1 inf + 0
1.189 * * [simplify]: Extracting #1: cost 4 inf + 0
1.190 * * [simplify]: Extracting #2: cost 5 inf + 1
1.190 * * [simplify]: Extracting #3: cost 7 inf + 1
1.190 * * [simplify]: Extracting #4: cost 0 inf + 494
1.190 * [simplify]: Simplified to (+ (sqrt (/ 1 x)) 1)
1.190 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))
1.190 * [simplify]: Simplifying (- (sqrt (/ 1 x)) 1)
1.190 * * [simplify]: iters left: 5 (5 enodes)
1.194 * * [simplify]: iters left: 4 (20 enodes)
1.197 * * [simplify]: iters left: 3 (24 enodes)
1.201 * * [simplify]: iters left: 2 (25 enodes)
1.206 * * [simplify]: Extracting #0: cost 1 inf + 0
1.206 * * [simplify]: Extracting #1: cost 5 inf + 0
1.206 * * [simplify]: Extracting #2: cost 5 inf + 2
1.206 * * [simplify]: Extracting #3: cost 7 inf + 2
1.206 * * [simplify]: Extracting #4: cost 0 inf + 495
1.206 * [simplify]: Simplified to (- (sqrt (/ 1 x)) 1)
1.206 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))
1.206 * * * * [progress]: [ 14 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ (sqrt 1) (sqrt x)) (sqrt 1)) (- (/ (sqrt 1) (sqrt x)) (sqrt 1))))))>
1.206 * [simplify]: Simplifying (+ (/ (sqrt 1) (sqrt x)) (sqrt 1))
1.206 * * [simplify]: iters left: 5 (6 enodes)
1.209 * * [simplify]: iters left: 4 (21 enodes)
1.212 * * [simplify]: iters left: 3 (23 enodes)
1.216 * * [simplify]: Extracting #0: cost 1 inf + 0
1.216 * * [simplify]: Extracting #1: cost 4 inf + 0
1.216 * * [simplify]: Extracting #2: cost 5 inf + 1
1.216 * * [simplify]: Extracting #3: cost 7 inf + 1
1.216 * * [simplify]: Extracting #4: cost 0 inf + 492
1.216 * [simplify]: Simplified to (+ 1 (/ 1 (sqrt x)))
1.216 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ 1 (/ 1 (sqrt x))) (- (/ (sqrt 1) (sqrt x)) (sqrt 1))))))
1.216 * [simplify]: Simplifying (- (/ (sqrt 1) (sqrt x)) (sqrt 1))
1.216 * * [simplify]: iters left: 5 (6 enodes)
1.221 * * [simplify]: iters left: 4 (22 enodes)
1.228 * * [simplify]: iters left: 3 (31 enodes)
1.235 * * [simplify]: Extracting #0: cost 1 inf + 0
1.236 * * [simplify]: Extracting #1: cost 5 inf + 0
1.236 * * [simplify]: Extracting #2: cost 5 inf + 2
1.236 * * [simplify]: Extracting #3: cost 7 inf + 2
1.236 * * [simplify]: Extracting #4: cost 6 inf + 3
1.236 * * [simplify]: Extracting #5: cost 2 inf + 289
1.236 * * [simplify]: Extracting #6: cost 0 inf + 493
1.236 * [simplify]: Simplified to (- (/ 1 (sqrt x)) 1)
1.236 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (/ (sqrt 1) (sqrt x)) (sqrt 1)) (- (/ 1 (sqrt x)) 1)))))
1.237 * * * * [progress]: [ 15 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ (sqrt 1) (sqrt x)) 1) (- (/ (sqrt 1) (sqrt x)) 1)))))>
1.237 * [simplify]: Simplifying (+ (/ (sqrt 1) (sqrt x)) 1)
1.237 * * [simplify]: iters left: 5 (6 enodes)
1.241 * * [simplify]: iters left: 4 (21 enodes)
1.247 * * [simplify]: iters left: 3 (23 enodes)
1.254 * * [simplify]: Extracting #0: cost 1 inf + 0
1.254 * * [simplify]: Extracting #1: cost 4 inf + 0
1.254 * * [simplify]: Extracting #2: cost 5 inf + 1
1.254 * * [simplify]: Extracting #3: cost 7 inf + 1
1.254 * * [simplify]: Extracting #4: cost 0 inf + 492
1.254 * [simplify]: Simplified to (+ 1 (/ 1 (sqrt x)))
1.255 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ 1 (/ 1 (sqrt x))) (- (/ (sqrt 1) (sqrt x)) 1)))))
1.255 * [simplify]: Simplifying (- (/ (sqrt 1) (sqrt x)) 1)
1.255 * * [simplify]: iters left: 5 (6 enodes)
1.259 * * [simplify]: iters left: 4 (23 enodes)
1.267 * * [simplify]: iters left: 3 (27 enodes)
1.275 * * [simplify]: iters left: 2 (28 enodes)
1.284 * * [simplify]: Extracting #0: cost 1 inf + 0
1.284 * * [simplify]: Extracting #1: cost 5 inf + 0
1.284 * * [simplify]: Extracting #2: cost 5 inf + 2
1.284 * * [simplify]: Extracting #3: cost 7 inf + 2
1.284 * * [simplify]: Extracting #4: cost 6 inf + 3
1.284 * * [simplify]: Extracting #5: cost 2 inf + 289
1.285 * * [simplify]: Extracting #6: cost 0 inf + 493
1.285 * [simplify]: Simplified to (- (/ 1 (sqrt x)) 1)
1.285 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (/ (sqrt 1) (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))))
1.285 * * * * [progress]: [ 16 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ 1 (sqrt x)) (sqrt 1)) (- (/ 1 (sqrt x)) (sqrt 1))))))>
1.285 * [simplify]: Simplifying (+ (/ 1 (sqrt x)) (sqrt 1))
1.285 * * [simplify]: iters left: 5 (6 enodes)
1.290 * * [simplify]: iters left: 4 (21 enodes)
1.296 * * [simplify]: iters left: 3 (23 enodes)
1.302 * * [simplify]: Extracting #0: cost 1 inf + 0
1.303 * * [simplify]: Extracting #1: cost 4 inf + 0
1.303 * * [simplify]: Extracting #2: cost 5 inf + 1
1.303 * * [simplify]: Extracting #3: cost 7 inf + 1
1.303 * * [simplify]: Extracting #4: cost 6 inf + 2
1.303 * * [simplify]: Extracting #5: cost 0 inf + 492
1.303 * [simplify]: Simplified to (+ (/ 1 (sqrt x)) 1)
1.303 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) (sqrt 1))))))
1.304 * [simplify]: Simplifying (- (/ 1 (sqrt x)) (sqrt 1))
1.304 * * [simplify]: iters left: 5 (6 enodes)
1.309 * * [simplify]: iters left: 4 (23 enodes)
1.317 * * [simplify]: iters left: 3 (29 enodes)
1.325 * * [simplify]: iters left: 2 (30 enodes)
1.333 * * [simplify]: Extracting #0: cost 1 inf + 0
1.333 * * [simplify]: Extracting #1: cost 5 inf + 0
1.334 * * [simplify]: Extracting #2: cost 5 inf + 2
1.334 * * [simplify]: Extracting #3: cost 7 inf + 2
1.334 * * [simplify]: Extracting #4: cost 1 inf + 371
1.334 * * [simplify]: Extracting #5: cost 0 inf + 493
1.334 * [simplify]: Simplified to (- (/ 1 (sqrt x)) 1)
1.334 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (/ 1 (sqrt x)) (sqrt 1)) (- (/ 1 (sqrt x)) 1)))))
1.334 * * * * [progress]: [ 17 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))))>
1.335 * [simplify]: Simplifying (+ (/ 1 (sqrt x)) 1)
1.335 * * [simplify]: iters left: 5 (5 enodes)
1.338 * * [simplify]: iters left: 4 (18 enodes)
1.344 * * [simplify]: iters left: 3 (20 enodes)
1.350 * * [simplify]: Extracting #0: cost 1 inf + 0
1.350 * * [simplify]: Extracting #1: cost 4 inf + 0
1.350 * * [simplify]: Extracting #2: cost 5 inf + 1
1.350 * * [simplify]: Extracting #3: cost 7 inf + 1
1.350 * * [simplify]: Extracting #4: cost 0 inf + 492
1.350 * [simplify]: Simplified to (+ (/ 1 (sqrt x)) 1)
1.350 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))))
1.351 * [simplify]: Simplifying (- (/ 1 (sqrt x)) 1)
1.351 * * [simplify]: iters left: 5 (5 enodes)
1.354 * * [simplify]: iters left: 4 (20 enodes)
1.361 * * [simplify]: iters left: 3 (24 enodes)
1.365 * * [simplify]: iters left: 2 (25 enodes)
1.369 * * [simplify]: Extracting #0: cost 1 inf + 0
1.369 * * [simplify]: Extracting #1: cost 5 inf + 0
1.369 * * [simplify]: Extracting #2: cost 5 inf + 2
1.369 * * [simplify]: Extracting #3: cost 7 inf + 2
1.370 * * [simplify]: Extracting #4: cost 0 inf + 493
1.370 * [simplify]: Simplified to (- (/ 1 (sqrt x)) 1)
1.370 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))))
1.370 * * * * [progress]: [ 18 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))>
1.370 * [simplify]: Simplifying (+ (sqrt (/ 1 x)) 1)
1.370 * * [simplify]: iters left: 5 (5 enodes)
1.372 * * [simplify]: iters left: 4 (18 enodes)
1.377 * * [simplify]: iters left: 3 (20 enodes)
1.380 * * [simplify]: Extracting #0: cost 1 inf + 0
1.380 * * [simplify]: Extracting #1: cost 4 inf + 0
1.380 * * [simplify]: Extracting #2: cost 5 inf + 1
1.380 * * [simplify]: Extracting #3: cost 7 inf + 1
1.380 * * [simplify]: Extracting #4: cost 0 inf + 494
1.381 * [simplify]: Simplified to (+ (sqrt (/ 1 x)) 1)
1.381 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))
1.381 * [simplify]: Simplifying (- (sqrt (/ 1 x)) 1)
1.381 * * [simplify]: iters left: 5 (5 enodes)
1.383 * * [simplify]: iters left: 4 (20 enodes)
1.386 * * [simplify]: iters left: 3 (24 enodes)
1.391 * * [simplify]: iters left: 2 (25 enodes)
1.398 * * [simplify]: Extracting #0: cost 1 inf + 0
1.398 * * [simplify]: Extracting #1: cost 5 inf + 0
1.398 * * [simplify]: Extracting #2: cost 5 inf + 2
1.398 * * [simplify]: Extracting #3: cost 7 inf + 2
1.398 * * [simplify]: Extracting #4: cost 0 inf + 495
1.398 * [simplify]: Simplified to (- (sqrt (/ 1 x)) 1)
1.398 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))
1.398 * * * * [progress]: [ 19 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ (sqrt 1) (sqrt x)) 1) (- (/ (sqrt 1) (sqrt x)) 1)))))>
1.399 * [simplify]: Simplifying (+ (/ (sqrt 1) (sqrt x)) 1)
1.399 * * [simplify]: iters left: 5 (6 enodes)
1.401 * * [simplify]: iters left: 4 (21 enodes)
1.404 * * [simplify]: iters left: 3 (23 enodes)
1.408 * * [simplify]: Extracting #0: cost 1 inf + 0
1.408 * * [simplify]: Extracting #1: cost 4 inf + 0
1.408 * * [simplify]: Extracting #2: cost 5 inf + 1
1.408 * * [simplify]: Extracting #3: cost 7 inf + 1
1.408 * * [simplify]: Extracting #4: cost 0 inf + 492
1.408 * [simplify]: Simplified to (+ 1 (/ 1 (sqrt x)))
1.408 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ 1 (/ 1 (sqrt x))) (- (/ (sqrt 1) (sqrt x)) 1)))))
1.408 * [simplify]: Simplifying (- (/ (sqrt 1) (sqrt x)) 1)
1.408 * * [simplify]: iters left: 5 (6 enodes)
1.411 * * [simplify]: iters left: 4 (23 enodes)
1.415 * * [simplify]: iters left: 3 (27 enodes)
1.419 * * [simplify]: iters left: 2 (28 enodes)
1.423 * * [simplify]: Extracting #0: cost 1 inf + 0
1.423 * * [simplify]: Extracting #1: cost 5 inf + 0
1.423 * * [simplify]: Extracting #2: cost 5 inf + 2
1.423 * * [simplify]: Extracting #3: cost 7 inf + 2
1.424 * * [simplify]: Extracting #4: cost 6 inf + 3
1.424 * * [simplify]: Extracting #5: cost 2 inf + 289
1.424 * * [simplify]: Extracting #6: cost 0 inf + 493
1.424 * [simplify]: Simplified to (- (/ 1 (sqrt x)) 1)
1.424 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (/ (sqrt 1) (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))))
1.424 * * * * [progress]: [ 20 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))))>
1.424 * [simplify]: Simplifying (+ (/ 1 (sqrt x)) 1)
1.424 * * [simplify]: iters left: 5 (5 enodes)
1.426 * * [simplify]: iters left: 4 (18 enodes)
1.432 * * [simplify]: iters left: 3 (20 enodes)
1.438 * * [simplify]: Extracting #0: cost 1 inf + 0
1.438 * * [simplify]: Extracting #1: cost 4 inf + 0
1.438 * * [simplify]: Extracting #2: cost 5 inf + 1
1.438 * * [simplify]: Extracting #3: cost 7 inf + 1
1.438 * * [simplify]: Extracting #4: cost 0 inf + 492
1.438 * [simplify]: Simplified to (+ (/ 1 (sqrt x)) 1)
1.438 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))))
1.438 * [simplify]: Simplifying (- (/ 1 (sqrt x)) 1)
1.439 * * [simplify]: iters left: 5 (5 enodes)
1.442 * * [simplify]: iters left: 4 (20 enodes)
1.448 * * [simplify]: iters left: 3 (24 enodes)
1.455 * * [simplify]: iters left: 2 (25 enodes)
1.462 * * [simplify]: Extracting #0: cost 1 inf + 0
1.462 * * [simplify]: Extracting #1: cost 5 inf + 0
1.463 * * [simplify]: Extracting #2: cost 5 inf + 2
1.463 * * [simplify]: Extracting #3: cost 7 inf + 2
1.463 * * [simplify]: Extracting #4: cost 0 inf + 493
1.463 * [simplify]: Simplified to (- (/ 1 (sqrt x)) 1)
1.463 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))))
1.463 * * * * [progress]: [ 21 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (* 1 (- (/ 1 x) 1)))))>
1.463 * [simplify]: Simplifying (- (/ 1 x) 1)
1.463 * * [simplify]: iters left: 4 (4 enodes)
1.466 * * [simplify]: iters left: 3 (17 enodes)
1.471 * * [simplify]: iters left: 2 (21 enodes)
1.478 * * [simplify]: iters left: 1 (22 enodes)
1.485 * * [simplify]: Extracting #0: cost 1 inf + 0
1.485 * * [simplify]: Extracting #1: cost 5 inf + 0
1.485 * * [simplify]: Extracting #2: cost 5 inf + 2
1.485 * * [simplify]: Extracting #3: cost 0 inf + 251
1.485 * [simplify]: Simplified to (- (/ 1 x) 1)
1.485 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* 1 (- (/ 1 x) 1)))))
1.485 * * * * [progress]: [ 22 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (* 1 (- (/ 1 x) 1)))))>
1.486 * [simplify]: Simplifying (- (/ 1 x) 1)
1.486 * * [simplify]: iters left: 4 (4 enodes)
1.488 * * [simplify]: iters left: 3 (17 enodes)
1.494 * * [simplify]: iters left: 2 (21 enodes)
1.500 * * [simplify]: iters left: 1 (22 enodes)
1.510 * * [simplify]: Extracting #0: cost 1 inf + 0
1.510 * * [simplify]: Extracting #1: cost 5 inf + 0
1.510 * * [simplify]: Extracting #2: cost 5 inf + 2
1.510 * * [simplify]: Extracting #3: cost 0 inf + 251
1.510 * [simplify]: Simplified to (- (/ 1 x) 1)
1.510 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* 1 (- (/ 1 x) 1)))))
1.510 * * * * [progress]: [ 23 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (+ (/ 1 x) (- 1)))))>
1.511 * [simplify]: Simplifying (- 1)
1.511 * * [simplify]: iters left: 2 (2 enodes)
1.513 * * [simplify]: iters left: 1 (9 enodes)
1.516 * * [simplify]: Extracting #0: cost 1 inf + 0
1.516 * * [simplify]: Extracting #1: cost 0 inf + 1
1.516 * [simplify]: Simplified to -1
1.516 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (/ 1 x) -1))))
1.516 * * * * [progress]: [ 24 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (posit16->real (real->posit16 (- (/ 1 x) 1))))))>
1.516 * [simplify]: Simplifying (real->posit16 (- (/ 1 x) 1))
1.517 * * [simplify]: iters left: 5 (5 enodes)
1.519 * * [simplify]: iters left: 4 (17 enodes)
1.525 * * [simplify]: iters left: 3 (21 enodes)
1.532 * * [simplify]: iters left: 2 (22 enodes)
1.539 * * [simplify]: Extracting #0: cost 1 inf + 0
1.539 * * [simplify]: Extracting #1: cost 2 inf + 0
1.539 * * [simplify]: Extracting #2: cost 5 inf + 0
1.539 * * [simplify]: Extracting #3: cost 5 inf + 2
1.539 * * [simplify]: Extracting #4: cost 0 inf + 251
1.539 * [simplify]: Simplified to (real->posit16 (- (/ 1 x) 1))
1.539 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (posit16->real (real->posit16 (- (/ 1 x) 1))))))
1.540 * * * * [progress]: [ 25 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
1.540 * [simplify]: Simplifying (- (/ 1 x) 1)
1.540 * * [simplify]: iters left: 4 (4 enodes)
1.543 * * [simplify]: iters left: 3 (17 enodes)
1.548 * * [simplify]: iters left: 2 (21 enodes)
1.555 * * [simplify]: iters left: 1 (22 enodes)
1.559 * * [simplify]: Extracting #0: cost 1 inf + 0
1.559 * * [simplify]: Extracting #1: cost 5 inf + 0
1.559 * * [simplify]: Extracting #2: cost 5 inf + 2
1.559 * * [simplify]: Extracting #3: cost 0 inf + 251
1.560 * [simplify]: Simplified to (- (/ 1 x) 1)
1.560 * [simplify]: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
1.560 * * * * [progress]: [ 26 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
1.560 * [simplify]: Simplifying (- (/ 1 x) 1)
1.560 * * [simplify]: iters left: 4 (4 enodes)
1.561 * * [simplify]: iters left: 3 (17 enodes)
1.564 * * [simplify]: iters left: 2 (21 enodes)
1.568 * * [simplify]: iters left: 1 (22 enodes)
1.571 * * [simplify]: Extracting #0: cost 1 inf + 0
1.571 * * [simplify]: Extracting #1: cost 5 inf + 0
1.571 * * [simplify]: Extracting #2: cost 5 inf + 2
1.571 * * [simplify]: Extracting #3: cost 0 inf + 251
1.571 * [simplify]: Simplified to (- (/ 1 x) 1)
1.572 * [simplify]: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
1.572 * * * * [progress]: [ 27 / 27 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
1.572 * [simplify]: Simplifying (- (/ 1 x) 1)
1.572 * * [simplify]: iters left: 4 (4 enodes)
1.573 * * [simplify]: iters left: 3 (17 enodes)
1.576 * * [simplify]: iters left: 2 (21 enodes)
1.580 * * [simplify]: iters left: 1 (22 enodes)
1.583 * * [simplify]: Extracting #0: cost 1 inf + 0
1.583 * * [simplify]: Extracting #1: cost 5 inf + 0
1.583 * * [simplify]: Extracting #2: cost 5 inf + 2
1.583 * * [simplify]: Extracting #3: cost 0 inf + 251
1.584 * [simplify]: Simplified to (- (/ 1 x) 1)
1.584 * [simplify]: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
1.584 * * * [progress]: adding candidates to table
1.790 * [progress]: [Phase 3 of 3] Extracting.
1.794 * [simplify]: Simplifying (- (log (- (/ 1 x) 1)))
1.794 * * [simplify]: iters left: 6 (6 enodes)
1.795 * * [simplify]: iters left: 5 (8 enodes)
1.795 * * [simplify]: Extracting #0: cost 1 inf + 0
1.795 * * [simplify]: Extracting #1: cost 2 inf + 0
1.796 * * [simplify]: Extracting #2: cost 3 inf + 0
1.796 * * [simplify]: Extracting #3: cost 5 inf + 0
1.796 * * [simplify]: Extracting #4: cost 5 inf + 1
1.796 * * [simplify]: Extracting #5: cost 0 inf + 470
1.796 * [simplify]: Simplified to (- (log (- (/ 1 x) 1)))
5.448 * [regime-testing]: Baseline error score: 0.019081785720639965
5.453 * [regime-testing]: Oracle error score: 0.019081785720639965
5.453 * [regime-testing]: End program error score: 0.019081785720639965