0.002 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.141 * * * [progress]: [2/2] Setting up program.
0.144 * [progress]: [Phase 2 of 3] Improving.
0.144 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
0.146 * [simplify]: Simplifying:
  (- (log (- (/ 1 x) 1)))
0.147 * * [simplify]: iteration 1: (6 enodes)
0.193 * * [simplify]: iteration 2: (23 enodes)
0.197 * * [simplify]: iteration 3: (27 enodes)
0.202 * * [simplify]: iteration 4: (28 enodes)
0.207 * * [simplify]: Extracting #0: cost 1 inf + 0
0.207 * * [simplify]: Extracting #1: cost 3 inf + 0
0.207 * * [simplify]: Extracting #2: cost 5 inf + 0
0.207 * * [simplify]: Extracting #3: cost 9 inf + 0
0.207 * * [simplify]: Extracting #4: cost 9 inf + 2
0.207 * * [simplify]: Extracting #5: cost 6 inf + 87
0.208 * * [simplify]: Extracting #6: cost 1 inf + 747
0.208 * * [simplify]: Extracting #7: cost 0 inf + 939
0.208 * [simplify]: Simplified to:
  (- (log (- (/ 1 x) 1)))
0.212 * * [progress]: iteration 1 / 4
0.212 * * * [progress]: picking best candidate
0.214 * * * * [pick]: Picked  #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
0.214 * * * [progress]: localizing error
0.227 * * * [progress]: generating rewritten candidates
0.228 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.242 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1)
0.270 * * * [progress]: generating series expansions
0.270 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.274 * [backup-simplify]: Simplify (log (- (/ 1 x) 1)) into (log (- (/ 1 x) 1))
0.274 * [approximate]: Taking taylor expansion of (log (- (/ 1 x) 1)) in (x) around 0
0.275 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) 1)) in x
0.275 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
0.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.275 * [taylor]: Taking taylor expansion of x in x
0.275 * [backup-simplify]: Simplify 0 into 0
0.275 * [backup-simplify]: Simplify 1 into 1
0.276 * [backup-simplify]: Simplify (/ 1 1) into 1
0.276 * [taylor]: Taking taylor expansion of 1 in x
0.276 * [backup-simplify]: Simplify 1 into 1
0.277 * [backup-simplify]: Simplify (+ 1 0) into 1
0.277 * [backup-simplify]: Simplify (log 1) into 0
0.277 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) 1)) in x
0.277 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
0.277 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.277 * [taylor]: Taking taylor expansion of x in x
0.277 * [backup-simplify]: Simplify 0 into 0
0.277 * [backup-simplify]: Simplify 1 into 1
0.278 * [backup-simplify]: Simplify (/ 1 1) into 1
0.278 * [taylor]: Taking taylor expansion of 1 in x
0.278 * [backup-simplify]: Simplify 1 into 1
0.278 * [backup-simplify]: Simplify (+ 1 0) into 1
0.278 * [backup-simplify]: Simplify (log 1) into 0
0.279 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
0.279 * [backup-simplify]: Simplify (- (log x)) into (- (log x))
0.288 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.289 * [backup-simplify]: Simplify (- 1) into -1
0.289 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.290 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
0.290 * [backup-simplify]: Simplify -1 into -1
0.291 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.291 * [backup-simplify]: Simplify (- 0) into 0
0.292 * [backup-simplify]: Simplify (+ 0 0) into 0
0.293 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
0.293 * [backup-simplify]: Simplify -1/2 into -1/2
0.294 * [backup-simplify]: Simplify (+ (* -1/2 (pow x 2)) (+ (* -1 x) (- (log x)))) into (- (+ x (+ (* 1/2 (pow x 2)) (log x))))
0.294 * [backup-simplify]: Simplify (log (- (/ 1 (/ 1 x)) 1)) into (log (- x 1))
0.294 * [approximate]: Taking taylor expansion of (log (- x 1)) in (x) around 0
0.294 * [taylor]: Taking taylor expansion of (log (- x 1)) in x
0.294 * [taylor]: Taking taylor expansion of (- x 1) in x
0.294 * [taylor]: Taking taylor expansion of x in x
0.294 * [backup-simplify]: Simplify 0 into 0
0.294 * [backup-simplify]: Simplify 1 into 1
0.294 * [taylor]: Taking taylor expansion of 1 in x
0.294 * [backup-simplify]: Simplify 1 into 1
0.294 * [backup-simplify]: Simplify (- 1) into -1
0.295 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.295 * [backup-simplify]: Simplify (log -1) into (log -1)
0.295 * [taylor]: Taking taylor expansion of (log (- x 1)) in x
0.295 * [taylor]: Taking taylor expansion of (- x 1) in x
0.295 * [taylor]: Taking taylor expansion of x in x
0.295 * [backup-simplify]: Simplify 0 into 0
0.295 * [backup-simplify]: Simplify 1 into 1
0.295 * [taylor]: Taking taylor expansion of 1 in x
0.295 * [backup-simplify]: Simplify 1 into 1
0.295 * [backup-simplify]: Simplify (- 1) into -1
0.296 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.296 * [backup-simplify]: Simplify (log -1) into (log -1)
0.296 * [backup-simplify]: Simplify (log -1) into (log -1)
0.296 * [backup-simplify]: Simplify (- 0) into 0
0.297 * [backup-simplify]: Simplify (+ 1 0) into 1
0.297 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
0.297 * [backup-simplify]: Simplify -1 into -1
0.298 * [backup-simplify]: Simplify (- 0) into 0
0.298 * [backup-simplify]: Simplify (+ 0 0) into 0
0.300 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
0.300 * [backup-simplify]: Simplify -1/2 into -1/2
0.300 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* -1 (/ 1 x)) (log -1))) into (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
0.300 * [backup-simplify]: Simplify (log (- (/ 1 (/ 1 (- x))) 1)) into (log (- (+ x 1)))
0.300 * [approximate]: Taking taylor expansion of (log (- (+ x 1))) in (x) around 0
0.300 * [taylor]: Taking taylor expansion of (log (- (+ x 1))) in x
0.300 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
0.300 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.300 * [taylor]: Taking taylor expansion of x in x
0.300 * [backup-simplify]: Simplify 0 into 0
0.301 * [backup-simplify]: Simplify 1 into 1
0.301 * [taylor]: Taking taylor expansion of 1 in x
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.301 * [backup-simplify]: Simplify (- 1) into -1
0.302 * [backup-simplify]: Simplify (log -1) into (log -1)
0.302 * [taylor]: Taking taylor expansion of (log (- (+ x 1))) in x
0.302 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
0.302 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.302 * [taylor]: Taking taylor expansion of x in x
0.302 * [backup-simplify]: Simplify 0 into 0
0.302 * [backup-simplify]: Simplify 1 into 1
0.302 * [taylor]: Taking taylor expansion of 1 in x
0.302 * [backup-simplify]: Simplify 1 into 1
0.302 * [backup-simplify]: Simplify (+ 0 1) into 1
0.302 * [backup-simplify]: Simplify (- 1) into -1
0.302 * [backup-simplify]: Simplify (- 1) into -1
0.303 * [backup-simplify]: Simplify (log -1) into (log -1)
0.303 * [backup-simplify]: Simplify (log -1) into (log -1)
0.303 * [backup-simplify]: Simplify (+ 1 0) into 1
0.304 * [backup-simplify]: Simplify (- 1) into -1
0.304 * [backup-simplify]: Simplify (- 1) into -1
0.305 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow -1 1)))) 1) into 1
0.305 * [backup-simplify]: Simplify 1 into 1
0.305 * [backup-simplify]: Simplify (- 1) into -1
0.305 * [backup-simplify]: Simplify (- 1) into -1
0.305 * [backup-simplify]: Simplify (+ 0 0) into 0
0.306 * [backup-simplify]: Simplify (- 0) into 0
0.306 * [backup-simplify]: Simplify (- 1) into -1
0.307 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
0.307 * [backup-simplify]: Simplify -1/2 into -1/2
0.308 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* 1 (/ 1 (- x))) (log -1))) into (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
0.308 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1)
0.308 * [backup-simplify]: Simplify (- (/ 1 x) 1) into (- (/ 1 x) 1)
0.308 * [approximate]: Taking taylor expansion of (- (/ 1 x) 1) in (x) around 0
0.308 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
0.308 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.308 * [taylor]: Taking taylor expansion of x in x
0.308 * [backup-simplify]: Simplify 0 into 0
0.308 * [backup-simplify]: Simplify 1 into 1
0.308 * [backup-simplify]: Simplify (/ 1 1) into 1
0.308 * [taylor]: Taking taylor expansion of 1 in x
0.308 * [backup-simplify]: Simplify 1 into 1
0.308 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
0.308 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.308 * [taylor]: Taking taylor expansion of x in x
0.308 * [backup-simplify]: Simplify 0 into 0
0.308 * [backup-simplify]: Simplify 1 into 1
0.309 * [backup-simplify]: Simplify (/ 1 1) into 1
0.309 * [taylor]: Taking taylor expansion of 1 in x
0.309 * [backup-simplify]: Simplify 1 into 1
0.309 * [backup-simplify]: Simplify (+ 1 0) into 1
0.309 * [backup-simplify]: Simplify 1 into 1
0.309 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.310 * [backup-simplify]: Simplify (- 1) into -1
0.310 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.310 * [backup-simplify]: Simplify -1 into -1
0.311 * [backup-simplify]: Simplify (- (+ (* 1 (/ 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.311 * [backup-simplify]: Simplify 0 into 0
0.312 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.312 * [backup-simplify]: Simplify (- 0) into 0
0.312 * [backup-simplify]: Simplify (+ 0 0) into 0
0.312 * [backup-simplify]: Simplify 0 into 0
0.313 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.313 * [backup-simplify]: Simplify (- 0) into 0
0.313 * [backup-simplify]: Simplify (+ 0 0) into 0
0.313 * [backup-simplify]: Simplify 0 into 0
0.314 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.314 * [backup-simplify]: Simplify (- 0) into 0
0.314 * [backup-simplify]: Simplify (+ 0 0) into 0
0.314 * [backup-simplify]: Simplify 0 into 0
0.315 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.315 * [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 (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) 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 (+ -1 (* 1 (/ 1 x))) into (- (/ 1 x) 1)
0.317 * [backup-simplify]: Simplify (- (/ 1 (/ 1 x)) 1) into (- x 1)
0.317 * [approximate]: Taking taylor expansion of (- x 1) in (x) around 0
0.317 * [taylor]: Taking taylor expansion of (- x 1) in x
0.317 * [taylor]: Taking taylor expansion of x in x
0.317 * [backup-simplify]: Simplify 0 into 0
0.317 * [backup-simplify]: Simplify 1 into 1
0.317 * [taylor]: Taking taylor expansion of 1 in x
0.317 * [backup-simplify]: Simplify 1 into 1
0.317 * [taylor]: Taking taylor expansion of (- x 1) in x
0.317 * [taylor]: Taking taylor expansion of x in x
0.317 * [backup-simplify]: Simplify 0 into 0
0.317 * [backup-simplify]: Simplify 1 into 1
0.317 * [taylor]: Taking taylor expansion of 1 in x
0.317 * [backup-simplify]: Simplify 1 into 1
0.317 * [backup-simplify]: Simplify (- 1) into -1
0.318 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.318 * [backup-simplify]: Simplify -1 into -1
0.318 * [backup-simplify]: Simplify (- 0) into 0
0.318 * [backup-simplify]: Simplify (+ 1 0) into 1
0.318 * [backup-simplify]: Simplify 1 into 1
0.318 * [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 (- 0) into 0
0.319 * [backup-simplify]: Simplify (+ 0 0) into 0
0.319 * [backup-simplify]: Simplify 0 into 0
0.320 * [backup-simplify]: Simplify (- 0) into 0
0.320 * [backup-simplify]: Simplify (+ 0 0) into 0
0.320 * [backup-simplify]: Simplify 0 into 0
0.320 * [backup-simplify]: Simplify (- 0) into 0
0.320 * [backup-simplify]: Simplify (+ 0 0) into 0
0.320 * [backup-simplify]: Simplify 0 into 0
0.321 * [backup-simplify]: Simplify (- 0) into 0
0.321 * [backup-simplify]: Simplify (+ 0 0) into 0
0.321 * [backup-simplify]: Simplify 0 into 0
0.321 * [backup-simplify]: Simplify (- 0) into 0
0.321 * [backup-simplify]: Simplify (+ 0 0) into 0
0.321 * [backup-simplify]: Simplify 0 into 0
0.321 * [backup-simplify]: Simplify (+ (* 1 (/ 1 x)) -1) into (- (/ 1 x) 1)
0.322 * [backup-simplify]: Simplify (- (/ 1 (/ 1 (- x))) 1) into (- (+ x 1))
0.322 * [approximate]: Taking taylor expansion of (- (+ x 1)) in (x) around 0
0.322 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
0.322 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.322 * [taylor]: Taking taylor expansion of x in x
0.322 * [backup-simplify]: Simplify 0 into 0
0.322 * [backup-simplify]: Simplify 1 into 1
0.322 * [taylor]: Taking taylor expansion of 1 in x
0.322 * [backup-simplify]: Simplify 1 into 1
0.322 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
0.322 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.322 * [taylor]: Taking taylor expansion of x in x
0.322 * [backup-simplify]: Simplify 0 into 0
0.322 * [backup-simplify]: Simplify 1 into 1
0.322 * [taylor]: Taking taylor expansion of 1 in x
0.322 * [backup-simplify]: Simplify 1 into 1
0.322 * [backup-simplify]: Simplify (+ 0 1) into 1
0.322 * [backup-simplify]: Simplify (- 1) into -1
0.322 * [backup-simplify]: Simplify -1 into -1
0.323 * [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.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.325 * [backup-simplify]: Simplify (- 0) into 0
0.325 * [backup-simplify]: Simplify 0 into 0
0.326 * [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 (+ (* -1 (/ 1 (- x))) -1) into (- (/ 1 x) 1)
0.326 * * * [progress]: simplifying candidates
0.326 * * * * [progress]: [ 1 / 116 ] simplifiying candidate #<alt (λ (x) (- (log1p (expm1 (log (- (/ 1 x) 1))))))>
0.326 * * * * [progress]: [ 2 / 116 ] simplifiying candidate #<alt (λ (x) (- (expm1 (log1p (log (- (/ 1 x) 1))))))>
0.326 * * * * [progress]: [ 3 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (log (cbrt (- (/ 1 x) 1))))))>
0.327 * * * * [progress]: [ 4 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
0.327 * * * * [progress]: [ 5 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log 1) (log (- (/ 1 x) 1)))))>
0.327 * * * * [progress]: [ 6 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) (sqrt 1))) (log (- (sqrt (/ 1 x)) (sqrt 1))))))>
0.327 * * * * [progress]: [ 7 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1)))))>
0.327 * * * * [progress]: [ 8 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (/ (sqrt 1) (sqrt x)) (sqrt 1))) (log (- (/ (sqrt 1) (sqrt x)) (sqrt 1))))))>
0.327 * * * * [progress]: [ 9 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (/ (sqrt 1) (sqrt x)) 1)) (log (- (/ (sqrt 1) (sqrt x)) 1)))))>
0.327 * * * * [progress]: [ 10 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (/ 1 (sqrt x)) (sqrt 1))) (log (- (/ 1 (sqrt x)) (sqrt 1))))))>
0.327 * * * * [progress]: [ 11 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (/ 1 (sqrt x)) 1)) (log (- (/ 1 (sqrt x)) 1)))))>
0.327 * * * * [progress]: [ 12 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1)))))>
0.328 * * * * [progress]: [ 13 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (/ (sqrt 1) (sqrt x)) 1)) (log (- (/ (sqrt 1) (sqrt x)) 1)))))>
0.328 * * * * [progress]: [ 14 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (/ 1 (sqrt x)) 1)) (log (- (/ 1 (sqrt x)) 1)))))>
0.328 * * * * [progress]: [ 15 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log 1) (log (- (/ 1 x) 1)))))>
0.328 * * * * [progress]: [ 16 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log 1) (log (- (/ 1 x) 1)))))>
0.328 * * * * [progress]: [ 17 / 116 ] simplifiying candidate #<alt (λ (x) (- (- (log (- (pow (/ 1 x) 3) (pow 1 3))) (log (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))>
0.328 * * * * [progress]: [ 18 / 116 ] simplifiying candidate #<alt (λ (x) (- (- (log (- (* (/ 1 x) (/ 1 x)) (* 1 1))) (log (+ (/ 1 x) 1)))))>
0.328 * * * * [progress]: [ 19 / 116 ] simplifiying candidate #<alt (λ (x) (- (* 1 (log (- (/ 1 x) 1)))))>
0.328 * * * * [progress]: [ 20 / 116 ] simplifiying candidate #<alt (λ (x) (- (pow (log (- (/ 1 x) 1)) 1)))>
0.328 * * * * [progress]: [ 21 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
0.328 * * * * [progress]: [ 22 / 116 ] simplifiying candidate #<alt (λ (x) (- (exp (log (log (- (/ 1 x) 1))))))>
0.328 * * * * [progress]: [ 23 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (exp (log (- (/ 1 x) 1))))))>
0.328 * * * * [progress]: [ 24 / 116 ] simplifiying candidate #<alt (λ (x) (- (* (* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1)))) (cbrt (log (- (/ 1 x) 1))))))>
0.328 * * * * [progress]: [ 25 / 116 ] simplifiying candidate #<alt (λ (x) (- (cbrt (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1))))))>
0.328 * * * * [progress]: [ 26 / 116 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))))>
0.328 * * * * [progress]: [ 27 / 116 ] simplifiying candidate #<alt (λ (x) (- (* 1 (log (- (/ 1 x) 1)))))>
0.328 * * * * [progress]: [ 28 / 116 ] simplifiying candidate #<alt (λ (x) (- (posit16->real (real->posit16 (log (- (/ 1 x) 1))))))>
0.328 * * * * [progress]: [ 29 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))>
0.328 * * * * [progress]: [ 30 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
0.328 * * * * [progress]: [ 31 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.328 * * * * [progress]: [ 32 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))>
0.328 * * * * [progress]: [ 33 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
0.328 * * * * [progress]: [ 34 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.329 * * * * [progress]: [ 35 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))>
0.329 * * * * [progress]: [ 36 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
0.329 * * * * [progress]: [ 37 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.329 * * * * [progress]: [ 38 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))>
0.329 * * * * [progress]: [ 39 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
0.329 * * * * [progress]: [ 40 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.329 * * * * [progress]: [ 41 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))>
0.329 * * * * [progress]: [ 42 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
0.329 * * * * [progress]: [ 43 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.329 * * * * [progress]: [ 44 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))>
0.329 * * * * [progress]: [ 45 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
0.329 * * * * [progress]: [ 46 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.329 * * * * [progress]: [ 47 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))>
0.329 * * * * [progress]: [ 48 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
0.329 * * * * [progress]: [ 49 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.329 * * * * [progress]: [ 50 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))>
0.329 * * * * [progress]: [ 51 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
0.329 * * * * [progress]: [ 52 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.329 * * * * [progress]: [ 53 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))>
0.329 * * * * [progress]: [ 54 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
0.329 * * * * [progress]: [ 55 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.329 * * * * [progress]: [ 56 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))>
0.330 * * * * [progress]: [ 57 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
0.330 * * * * [progress]: [ 58 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.330 * * * * [progress]: [ 59 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ 1 1) (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))>
0.330 * * * * [progress]: [ 60 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ 1 1) (/ 1 x) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
0.330 * * * * [progress]: [ 61 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ 1 1) (/ 1 x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.330 * * * * [progress]: [ 62 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma 1 (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))>
0.330 * * * * [progress]: [ 63 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma 1 (/ 1 x) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
0.330 * * * * [progress]: [ 64 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma 1 (/ 1 x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.330 * * * * [progress]: [ 65 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma 1 (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))>
0.330 * * * * [progress]: [ 66 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma 1 (/ 1 x) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
0.330 * * * * [progress]: [ 67 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma 1 (/ 1 x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.330 * * * * [progress]: [ 68 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (log1p (expm1 (- (/ 1 x) 1))))))>
0.330 * * * * [progress]: [ 69 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (expm1 (log1p (- (/ 1 x) 1))))))>
0.330 * * * * [progress]: [ 70 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (expm1 (- (log x))))))>
0.330 * * * * [progress]: [ 71 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (expm1 (- 0 (log x))))))>
0.330 * * * * [progress]: [ 72 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (expm1 (- (log 1) (log x))))))>
0.330 * * * * [progress]: [ 73 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (expm1 (log (/ 1 x))))))>
0.330 * * * * [progress]: [ 74 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- 1)))))>
0.330 * * * * [progress]: [ 75 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- 1)))))>
0.330 * * * * [progress]: [ 76 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- 1)))))>
0.330 * * * * [progress]: [ 77 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- 1)))))>
0.330 * * * * [progress]: [ 78 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- 1)))))>
0.330 * * * * [progress]: [ 79 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- 1)))))>
0.330 * * * * [progress]: [ 80 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- 1)))))>
0.330 * * * * [progress]: [ 81 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- 1)))))>
0.331 * * * * [progress]: [ 82 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- 1)))))>
0.331 * * * * [progress]: [ 83 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- 1)))))>
0.331 * * * * [progress]: [ 84 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 1) (/ 1 x) (- 1)))))>
0.331 * * * * [progress]: [ 85 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (fma 1 (/ 1 x) (- 1)))))>
0.331 * * * * [progress]: [ 86 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (fma 1 (/ 1 x) (- 1)))))>
0.331 * * * * [progress]: [ 87 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (log (/ (exp (/ 1 x)) (exp 1))))))>
0.331 * * * * [progress]: [ 88 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (pow (- (/ 1 x) 1) 1))))>
0.331 * * * * [progress]: [ 89 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (exp (log (- (/ 1 x) 1))))))>
0.331 * * * * [progress]: [ 90 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (log (exp (- (/ 1 x) 1))))))>
0.331 * * * * [progress]: [ 91 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))) (cbrt (- (/ 1 x) 1))))))>
0.331 * * * * [progress]: [ 92 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (cbrt (* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1))))))>
0.331 * * * * [progress]: [ 93 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))>
0.331 * * * * [progress]: [ 94 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (/ (- (pow (/ 1 x) 3) (pow 1 3)) (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))>
0.331 * * * * [progress]: [ 95 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (/ 1 x) (- 1)))))>
0.331 * * * * [progress]: [ 96 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* 1 (- (/ 1 x) 1)))))>
0.331 * * * * [progress]: [ 97 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (/ (- (* (/ 1 x) (/ 1 x)) (* 1 1)) (+ (/ 1 x) 1)))))>
0.331 * * * * [progress]: [ 98 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) (sqrt 1)) (- (sqrt (/ 1 x)) (sqrt 1))))))>
0.331 * * * * [progress]: [ 99 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))>
0.331 * * * * [progress]: [ 100 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ (sqrt 1) (sqrt x)) (sqrt 1)) (- (/ (sqrt 1) (sqrt x)) (sqrt 1))))))>
0.331 * * * * [progress]: [ 101 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ (sqrt 1) (sqrt x)) 1) (- (/ (sqrt 1) (sqrt x)) 1)))))>
0.331 * * * * [progress]: [ 102 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ 1 (sqrt x)) (sqrt 1)) (- (/ 1 (sqrt x)) (sqrt 1))))))>
0.331 * * * * [progress]: [ 103 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))))>
0.331 * * * * [progress]: [ 104 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))>
0.331 * * * * [progress]: [ 105 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ (sqrt 1) (sqrt x)) 1) (- (/ (sqrt 1) (sqrt x)) 1)))))>
0.331 * * * * [progress]: [ 106 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))))>
0.332 * * * * [progress]: [ 107 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* 1 (- (/ 1 x) 1)))))>
0.332 * * * * [progress]: [ 108 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* 1 (- (/ 1 x) 1)))))>
0.332 * * * * [progress]: [ 109 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (/ 1 x) (- 1)))))>
0.332 * * * * [progress]: [ 110 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (posit16->real (real->posit16 (- (/ 1 x) 1))))))>
0.332 * * * * [progress]: [ 111 / 116 ] simplifiying candidate #<alt (λ (x) (- (- (+ x (+ (* 1/2 (pow x 2)) (log x))))))>
0.332 * * * * [progress]: [ 112 / 116 ] simplifiying candidate #<alt (λ (x) (- (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))))>
0.332 * * * * [progress]: [ 113 / 116 ] simplifiying candidate #<alt (λ (x) (- (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))))>
0.332 * * * * [progress]: [ 114 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
0.332 * * * * [progress]: [ 115 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
0.332 * * * * [progress]: [ 116 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
0.334 * [simplify]: Simplifying:
  (expm1 (log (- (/ 1 x) 1)))
  (log1p (log (- (/ 1 x) 1)))
  (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
  (log (cbrt (- (/ 1 x) 1)))
  (log (sqrt (- (/ 1 x) 1)))
  (log (sqrt (- (/ 1 x) 1)))
  (log 1)
  (log (- (/ 1 x) 1))
  (log (+ (sqrt (/ 1 x)) (sqrt 1)))
  (log (- (sqrt (/ 1 x)) (sqrt 1)))
  (log (+ (sqrt (/ 1 x)) 1))
  (log (- (sqrt (/ 1 x)) 1))
  (log (+ (/ (sqrt 1) (sqrt x)) (sqrt 1)))
  (log (- (/ (sqrt 1) (sqrt x)) (sqrt 1)))
  (log (+ (/ (sqrt 1) (sqrt x)) 1))
  (log (- (/ (sqrt 1) (sqrt x)) 1))
  (log (+ (/ 1 (sqrt x)) (sqrt 1)))
  (log (- (/ 1 (sqrt x)) (sqrt 1)))
  (log (+ (/ 1 (sqrt x)) 1))
  (log (- (/ 1 (sqrt x)) 1))
  (log (+ (sqrt (/ 1 x)) 1))
  (log (- (sqrt (/ 1 x)) 1))
  (log (+ (/ (sqrt 1) (sqrt x)) 1))
  (log (- (/ (sqrt 1) (sqrt x)) 1))
  (log (+ (/ 1 (sqrt x)) 1))
  (log (- (/ 1 (sqrt x)) 1))
  (log 1)
  (log (- (/ 1 x) 1))
  (log 1)
  (log (- (/ 1 x) 1))
  (log (- (pow (/ 1 x) 3) (pow 1 3)))
  (log (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1))))
  (log (- (* (/ 1 x) (/ 1 x)) (* 1 1)))
  (log (+ (/ 1 x) 1))
  (log (- (/ 1 x) 1))
  (log (log (- (/ 1 x) 1)))
  (exp (log (- (/ 1 x) 1)))
  (* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1))))
  (cbrt (log (- (/ 1 x) 1)))
  (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)))
  (sqrt (log (- (/ 1 x) 1)))
  (sqrt (log (- (/ 1 x) 1)))
  (real->posit16 (log (- (/ 1 x) 1)))
  (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ 1 1) (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ 1 1) (/ 1 x) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ 1 1) (/ 1 x) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma 1 (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma 1 (/ 1 x) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma 1 (/ 1 x) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma 1 (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma 1 (/ 1 x) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma 1 (/ 1 x) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (expm1 (- (/ 1 x) 1))
  (log1p (- (/ 1 x) 1))
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (/ (exp (/ 1 x)) (exp 1))
  (log (- (/ 1 x) 1))
  (exp (- (/ 1 x) 1))
  (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))
  (cbrt (- (/ 1 x) 1))
  (* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1))
  (sqrt (- (/ 1 x) 1))
  (sqrt (- (/ 1 x) 1))
  (- (pow (/ 1 x) 3) (pow 1 3))
  (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))
  (- 1)
  (- (* (/ 1 x) (/ 1 x)) (* 1 1))
  (+ (/ 1 x) 1)
  (+ (sqrt (/ 1 x)) (sqrt 1))
  (- (sqrt (/ 1 x)) (sqrt 1))
  (+ (sqrt (/ 1 x)) 1)
  (- (sqrt (/ 1 x)) 1)
  (+ (/ (sqrt 1) (sqrt x)) (sqrt 1))
  (- (/ (sqrt 1) (sqrt x)) (sqrt 1))
  (+ (/ (sqrt 1) (sqrt x)) 1)
  (- (/ (sqrt 1) (sqrt x)) 1)
  (+ (/ 1 (sqrt x)) (sqrt 1))
  (- (/ 1 (sqrt x)) (sqrt 1))
  (+ (/ 1 (sqrt x)) 1)
  (- (/ 1 (sqrt x)) 1)
  (+ (sqrt (/ 1 x)) 1)
  (- (sqrt (/ 1 x)) 1)
  (+ (/ (sqrt 1) (sqrt x)) 1)
  (- (/ (sqrt 1) (sqrt x)) 1)
  (+ (/ 1 (sqrt x)) 1)
  (- (/ 1 (sqrt x)) 1)
  (- (/ 1 x) 1)
  (- (/ 1 x) 1)
  (- 1)
  (real->posit16 (- (/ 1 x) 1))
  (- (+ x (+ (* 1/2 (pow x 2)) (log x))))
  (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
  (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
  (- (/ 1 x) 1)
  (- (/ 1 x) 1)
  (- (/ 1 x) 1)
0.335 * * [simplify]: iteration 1: (155 enodes)
0.575 * * [simplify]: iteration 2: (552 enodes)
0.706 * * [simplify]: iteration 3: (775 enodes)
0.868 * * [simplify]: iteration 4: (1105 enodes)
1.252 * * [simplify]: iteration 5: (1977 enodes)
2.701 * * [simplify]: Extracting #0: cost 41 inf + 0
2.702 * * [simplify]: Extracting #1: cost 344 inf + 2
2.708 * * [simplify]: Extracting #2: cost 1204 inf + 4710
2.742 * * [simplify]: Extracting #3: cost 606 inf + 161874
2.829 * * [simplify]: Extracting #4: cost 60 inf + 295519
2.941 * * [simplify]: Extracting #5: cost 9 inf + 314003
3.058 * * [simplify]: Extracting #6: cost 0 inf + 318278
3.125 * [simplify]: Simplified to:
  (expm1 (log (- (/ 1 x) 1)))
  (log1p (log (- (/ 1 x) 1)))
  (+ (log (cbrt (- (/ 1 x) 1))) (log (cbrt (- (/ 1 x) 1))))
  (log (cbrt (- (/ 1 x) 1)))
  (log (sqrt (- (/ 1 x) 1)))
  (log (sqrt (- (/ 1 x) 1)))
  0
  (log (- (/ 1 x) 1))
  (log1p (sqrt (/ 1 x)))
  (log (- (sqrt (/ 1 x)) 1))
  (log1p (sqrt (/ 1 x)))
  (log (- (sqrt (/ 1 x)) 1))
  (log1p (/ 1 (sqrt x)))
  (log (- (/ 1 (sqrt x)) 1))
  (log1p (/ 1 (sqrt x)))
  (log (- (/ 1 (sqrt x)) 1))
  (log1p (/ 1 (sqrt x)))
  (log (- (/ 1 (sqrt x)) 1))
  (log1p (/ 1 (sqrt x)))
  (log (- (/ 1 (sqrt x)) 1))
  (log1p (sqrt (/ 1 x)))
  (log (- (sqrt (/ 1 x)) 1))
  (log1p (/ 1 (sqrt x)))
  (log (- (/ 1 (sqrt x)) 1))
  (log1p (/ 1 (sqrt x)))
  (log (- (/ 1 (sqrt x)) 1))
  0
  (log (- (/ 1 x) 1))
  0
  (log (- (/ 1 x) 1))
  (log (fma (* (/ 1 x) (/ 1 x)) (/ 1 x) -1))
  (log1p (fma (/ 1 x) (/ 1 x) (/ 1 x)))
  (log (fma (/ 1 x) (/ 1 x) -1))
  (log1p (/ 1 x))
  (log (- (/ 1 x) 1))
  (log (log (- (/ 1 x) 1)))
  (- (/ 1 x) 1)
  (* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1))))
  (cbrt (log (- (/ 1 x) 1)))
  (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)))
  (sqrt (log (- (/ 1 x) 1)))
  (sqrt (log (- (/ 1 x) 1)))
  (real->posit16 (log (- (/ 1 x) 1)))
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (expm1 (- (/ 1 x) 1))
  (log1p (- (/ 1 x) 1))
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  (exp (- (/ 1 x) 1))
  (log (- (/ 1 x) 1))
  (exp (- (/ 1 x) 1))
  (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))
  (cbrt (- (/ 1 x) 1))
  (* (- (/ 1 x) 1) (* (- (/ 1 x) 1) (- (/ 1 x) 1)))
  (sqrt (- (/ 1 x) 1))
  (sqrt (- (/ 1 x) 1))
  (fma (* (/ 1 x) (/ 1 x)) (/ 1 x) -1)
  (+ (fma (/ 1 x) (/ 1 x) (/ 1 x)) 1)
  -1
  (fma (/ 1 x) (/ 1 x) -1)
  (+ (/ 1 x) 1)
  (+ (sqrt (/ 1 x)) 1)
  (- (sqrt (/ 1 x)) 1)
  (+ (sqrt (/ 1 x)) 1)
  (- (sqrt (/ 1 x)) 1)
  (+ (/ 1 (sqrt x)) 1)
  (- (/ 1 (sqrt x)) 1)
  (+ (/ 1 (sqrt x)) 1)
  (- (/ 1 (sqrt x)) 1)
  (+ (/ 1 (sqrt x)) 1)
  (- (/ 1 (sqrt x)) 1)
  (+ (/ 1 (sqrt x)) 1)
  (- (/ 1 (sqrt x)) 1)
  (+ (sqrt (/ 1 x)) 1)
  (- (sqrt (/ 1 x)) 1)
  (+ (/ 1 (sqrt x)) 1)
  (- (/ 1 (sqrt x)) 1)
  (+ (/ 1 (sqrt x)) 1)
  (- (/ 1 (sqrt x)) 1)
  (- (/ 1 x) 1)
  (- (/ 1 x) 1)
  -1
  (real->posit16 (- (/ 1 x) 1))
  (- (fma (fma 1/2 x 1) x (log x)))
  (+ (log -1) (fma (/ -1 x) (/ 1/2 x) (/ -1 x)))
  (+ (log -1) (fma (/ -1 x) (/ 1/2 x) (/ -1 x)))
  (- (/ 1 x) 1)
  (- (/ 1 x) 1)
  (- (/ 1 x) 1)
3.132 * * * [progress]: adding candidates to table
3.986 * * [progress]: iteration 2 / 4
3.986 * * * [progress]: picking best candidate
3.990 * * * * [pick]: Picked  #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
3.990 * * * [progress]: localizing error
4.022 * * * [progress]: generating rewritten candidates
4.022 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
4.053 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
4.079 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1)
4.104 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
4.136 * * * [progress]: generating series expansions
4.136 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
4.136 * [backup-simplify]: Simplify (sqrt (- (/ 1 x) 1)) into (sqrt (- (/ 1 x) 1))
4.136 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in (x) around 0
4.136 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
4.136 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
4.136 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.136 * [taylor]: Taking taylor expansion of x in x
4.136 * [backup-simplify]: Simplify 0 into 0
4.136 * [backup-simplify]: Simplify 1 into 1
4.137 * [backup-simplify]: Simplify (/ 1 1) into 1
4.137 * [taylor]: Taking taylor expansion of 1 in x
4.137 * [backup-simplify]: Simplify 1 into 1
4.138 * [backup-simplify]: Simplify (+ 1 0) into 1
4.138 * [backup-simplify]: Simplify (sqrt 0) into 0
4.140 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.140 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
4.140 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
4.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.140 * [taylor]: Taking taylor expansion of x in x
4.140 * [backup-simplify]: Simplify 0 into 0
4.140 * [backup-simplify]: Simplify 1 into 1
4.140 * [backup-simplify]: Simplify (/ 1 1) into 1
4.140 * [taylor]: Taking taylor expansion of 1 in x
4.140 * [backup-simplify]: Simplify 1 into 1
4.141 * [backup-simplify]: Simplify (+ 1 0) into 1
4.141 * [backup-simplify]: Simplify (sqrt 0) into 0
4.143 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.143 * [backup-simplify]: Simplify 0 into 0
4.143 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.144 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.144 * [backup-simplify]: Simplify (- 1) into -1
4.145 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.148 * [backup-simplify]: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.148 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.149 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.150 * [backup-simplify]: Simplify (- 0) into 0
4.150 * [backup-simplify]: Simplify (+ 0 0) into 0
4.154 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.154 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.155 * [backup-simplify]: Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) +nan.0)) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
4.155 * [backup-simplify]: Simplify (sqrt (- (/ 1 (/ 1 x)) 1)) into (sqrt (- x 1))
4.155 * [approximate]: Taking taylor expansion of (sqrt (- x 1)) in (x) around 0
4.155 * [taylor]: Taking taylor expansion of (sqrt (- x 1)) in x
4.155 * [taylor]: Taking taylor expansion of (- x 1) in x
4.155 * [taylor]: Taking taylor expansion of x in x
4.155 * [backup-simplify]: Simplify 0 into 0
4.155 * [backup-simplify]: Simplify 1 into 1
4.155 * [taylor]: Taking taylor expansion of 1 in x
4.155 * [backup-simplify]: Simplify 1 into 1
4.155 * [backup-simplify]: Simplify (- 1) into -1
4.156 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.156 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
4.157 * [backup-simplify]: Simplify (- 0) into 0
4.157 * [backup-simplify]: Simplify (+ 1 0) into 1
4.159 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
4.159 * [taylor]: Taking taylor expansion of (sqrt (- x 1)) in x
4.159 * [taylor]: Taking taylor expansion of (- x 1) in x
4.159 * [taylor]: Taking taylor expansion of x in x
4.159 * [backup-simplify]: Simplify 0 into 0
4.159 * [backup-simplify]: Simplify 1 into 1
4.159 * [taylor]: Taking taylor expansion of 1 in x
4.159 * [backup-simplify]: Simplify 1 into 1
4.159 * [backup-simplify]: Simplify (- 1) into -1
4.160 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.160 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
4.161 * [backup-simplify]: Simplify (- 0) into 0
4.161 * [backup-simplify]: Simplify (+ 1 0) into 1
4.163 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
4.163 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
4.164 * [backup-simplify]: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1))
4.164 * [backup-simplify]: Simplify (- 0) into 0
4.165 * [backup-simplify]: Simplify (+ 0 0) into 0
4.168 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ 1/8 (sqrt -1))
4.169 * [backup-simplify]: Simplify (/ 1/8 (sqrt -1)) into (/ 1/8 (sqrt -1))
4.176 * [backup-simplify]: Simplify (+ (* (/ 1/8 (sqrt -1)) (pow (/ 1 x) 2)) (+ (* (/ 1/2 (sqrt -1)) (/ 1 x)) (sqrt -1))) into (+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))
4.177 * [backup-simplify]: Simplify (sqrt (- (/ 1 (/ 1 (- x))) 1)) into (sqrt (- (+ x 1)))
4.177 * [approximate]: Taking taylor expansion of (sqrt (- (+ x 1))) in (x) around 0
4.177 * [taylor]: Taking taylor expansion of (sqrt (- (+ x 1))) in x
4.177 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
4.177 * [taylor]: Taking taylor expansion of (+ x 1) in x
4.177 * [taylor]: Taking taylor expansion of x in x
4.177 * [backup-simplify]: Simplify 0 into 0
4.177 * [backup-simplify]: Simplify 1 into 1
4.177 * [taylor]: Taking taylor expansion of 1 in x
4.177 * [backup-simplify]: Simplify 1 into 1
4.177 * [backup-simplify]: Simplify (+ 0 1) into 1
4.178 * [backup-simplify]: Simplify (- 1) into -1
4.178 * [backup-simplify]: Simplify (- 1) into -1
4.178 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
4.179 * [backup-simplify]: Simplify (+ 1 0) into 1
4.179 * [backup-simplify]: Simplify (- 1) into -1
4.179 * [backup-simplify]: Simplify (- 1) into -1
4.180 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
4.180 * [taylor]: Taking taylor expansion of (sqrt (- (+ x 1))) in x
4.180 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
4.180 * [taylor]: Taking taylor expansion of (+ x 1) in x
4.180 * [taylor]: Taking taylor expansion of x in x
4.180 * [backup-simplify]: Simplify 0 into 0
4.180 * [backup-simplify]: Simplify 1 into 1
4.180 * [taylor]: Taking taylor expansion of 1 in x
4.180 * [backup-simplify]: Simplify 1 into 1
4.181 * [backup-simplify]: Simplify (+ 0 1) into 1
4.181 * [backup-simplify]: Simplify (- 1) into -1
4.181 * [backup-simplify]: Simplify (- 1) into -1
4.181 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
4.182 * [backup-simplify]: Simplify (+ 1 0) into 1
4.182 * [backup-simplify]: Simplify (- 1) into -1
4.182 * [backup-simplify]: Simplify (- 1) into -1
4.183 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
4.183 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
4.184 * [backup-simplify]: Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1))
4.184 * [backup-simplify]: Simplify (+ 0 0) into 0
4.184 * [backup-simplify]: Simplify (- 0) into 0
4.186 * [backup-simplify]: Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ 1/8 (sqrt -1))
4.187 * [backup-simplify]: Simplify (/ 1/8 (sqrt -1)) into (/ 1/8 (sqrt -1))
4.188 * [backup-simplify]: Simplify (+ (* (/ 1/8 (sqrt -1)) (pow (/ 1 (- x)) 2)) (+ (* (/ -1/2 (sqrt -1)) (/ 1 (- x))) (sqrt -1))) into (+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))
4.188 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
4.189 * [backup-simplify]: Simplify (sqrt (- (/ 1 x) 1)) into (sqrt (- (/ 1 x) 1))
4.189 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in (x) around 0
4.189 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
4.189 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
4.189 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.189 * [taylor]: Taking taylor expansion of x in x
4.189 * [backup-simplify]: Simplify 0 into 0
4.189 * [backup-simplify]: Simplify 1 into 1
4.189 * [backup-simplify]: Simplify (/ 1 1) into 1
4.189 * [taylor]: Taking taylor expansion of 1 in x
4.189 * [backup-simplify]: Simplify 1 into 1
4.189 * [backup-simplify]: Simplify (+ 1 0) into 1
4.189 * [backup-simplify]: Simplify (sqrt 0) into 0
4.190 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.190 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
4.190 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
4.190 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.190 * [taylor]: Taking taylor expansion of x in x
4.190 * [backup-simplify]: Simplify 0 into 0
4.190 * [backup-simplify]: Simplify 1 into 1
4.191 * [backup-simplify]: Simplify (/ 1 1) into 1
4.191 * [taylor]: Taking taylor expansion of 1 in x
4.191 * [backup-simplify]: Simplify 1 into 1
4.191 * [backup-simplify]: Simplify (+ 1 0) into 1
4.191 * [backup-simplify]: Simplify (sqrt 0) into 0
4.192 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.192 * [backup-simplify]: Simplify 0 into 0
4.192 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.192 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.193 * [backup-simplify]: Simplify (- 1) into -1
4.193 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.195 * [backup-simplify]: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.195 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.195 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.196 * [backup-simplify]: Simplify (- 0) into 0
4.196 * [backup-simplify]: Simplify (+ 0 0) into 0
4.198 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.198 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.198 * [backup-simplify]: Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) +nan.0)) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
4.199 * [backup-simplify]: Simplify (sqrt (- (/ 1 (/ 1 x)) 1)) into (sqrt (- x 1))
4.199 * [approximate]: Taking taylor expansion of (sqrt (- x 1)) in (x) around 0
4.199 * [taylor]: Taking taylor expansion of (sqrt (- x 1)) in x
4.199 * [taylor]: Taking taylor expansion of (- x 1) in x
4.199 * [taylor]: Taking taylor expansion of x in x
4.199 * [backup-simplify]: Simplify 0 into 0
4.199 * [backup-simplify]: Simplify 1 into 1
4.199 * [taylor]: Taking taylor expansion of 1 in x
4.199 * [backup-simplify]: Simplify 1 into 1
4.199 * [backup-simplify]: Simplify (- 1) into -1
4.199 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.199 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
4.200 * [backup-simplify]: Simplify (- 0) into 0
4.200 * [backup-simplify]: Simplify (+ 1 0) into 1
4.201 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
4.201 * [taylor]: Taking taylor expansion of (sqrt (- x 1)) in x
4.201 * [taylor]: Taking taylor expansion of (- x 1) in x
4.201 * [taylor]: Taking taylor expansion of x in x
4.201 * [backup-simplify]: Simplify 0 into 0
4.201 * [backup-simplify]: Simplify 1 into 1
4.201 * [taylor]: Taking taylor expansion of 1 in x
4.201 * [backup-simplify]: Simplify 1 into 1
4.201 * [backup-simplify]: Simplify (- 1) into -1
4.202 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.202 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
4.202 * [backup-simplify]: Simplify (- 0) into 0
4.202 * [backup-simplify]: Simplify (+ 1 0) into 1
4.203 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
4.204 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
4.204 * [backup-simplify]: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1))
4.204 * [backup-simplify]: Simplify (- 0) into 0
4.205 * [backup-simplify]: Simplify (+ 0 0) into 0
4.206 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ 1/8 (sqrt -1))
4.207 * [backup-simplify]: Simplify (/ 1/8 (sqrt -1)) into (/ 1/8 (sqrt -1))
4.210 * [backup-simplify]: Simplify (+ (* (/ 1/8 (sqrt -1)) (pow (/ 1 x) 2)) (+ (* (/ 1/2 (sqrt -1)) (/ 1 x)) (sqrt -1))) into (+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))
4.210 * [backup-simplify]: Simplify (sqrt (- (/ 1 (/ 1 (- x))) 1)) into (sqrt (- (+ x 1)))
4.210 * [approximate]: Taking taylor expansion of (sqrt (- (+ x 1))) in (x) around 0
4.210 * [taylor]: Taking taylor expansion of (sqrt (- (+ x 1))) in x
4.210 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
4.210 * [taylor]: Taking taylor expansion of (+ x 1) in x
4.210 * [taylor]: Taking taylor expansion of x in x
4.210 * [backup-simplify]: Simplify 0 into 0
4.210 * [backup-simplify]: Simplify 1 into 1
4.210 * [taylor]: Taking taylor expansion of 1 in x
4.210 * [backup-simplify]: Simplify 1 into 1
4.211 * [backup-simplify]: Simplify (+ 0 1) into 1
4.211 * [backup-simplify]: Simplify (- 1) into -1
4.212 * [backup-simplify]: Simplify (- 1) into -1
4.212 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
4.212 * [backup-simplify]: Simplify (+ 1 0) into 1
4.213 * [backup-simplify]: Simplify (- 1) into -1
4.213 * [backup-simplify]: Simplify (- 1) into -1
4.215 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
4.215 * [taylor]: Taking taylor expansion of (sqrt (- (+ x 1))) in x
4.215 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
4.215 * [taylor]: Taking taylor expansion of (+ x 1) in x
4.215 * [taylor]: Taking taylor expansion of x in x
4.215 * [backup-simplify]: Simplify 0 into 0
4.215 * [backup-simplify]: Simplify 1 into 1
4.215 * [taylor]: Taking taylor expansion of 1 in x
4.215 * [backup-simplify]: Simplify 1 into 1
4.216 * [backup-simplify]: Simplify (+ 0 1) into 1
4.216 * [backup-simplify]: Simplify (- 1) into -1
4.216 * [backup-simplify]: Simplify (- 1) into -1
4.217 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
4.217 * [backup-simplify]: Simplify (+ 1 0) into 1
4.218 * [backup-simplify]: Simplify (- 1) into -1
4.218 * [backup-simplify]: Simplify (- 1) into -1
4.220 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
4.220 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
4.221 * [backup-simplify]: Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1))
4.221 * [backup-simplify]: Simplify (+ 0 0) into 0
4.222 * [backup-simplify]: Simplify (- 0) into 0
4.225 * [backup-simplify]: Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ 1/8 (sqrt -1))
4.226 * [backup-simplify]: Simplify (/ 1/8 (sqrt -1)) into (/ 1/8 (sqrt -1))
4.229 * [backup-simplify]: Simplify (+ (* (/ 1/8 (sqrt -1)) (pow (/ 1 (- x)) 2)) (+ (* (/ -1/2 (sqrt -1)) (/ 1 (- x))) (sqrt -1))) into (+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))
4.229 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1)
4.229 * [backup-simplify]: Simplify (- (/ 1 x) 1) into (- (/ 1 x) 1)
4.229 * [approximate]: Taking taylor expansion of (- (/ 1 x) 1) in (x) around 0
4.229 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
4.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.229 * [taylor]: Taking taylor expansion of x in x
4.229 * [backup-simplify]: Simplify 0 into 0
4.229 * [backup-simplify]: Simplify 1 into 1
4.230 * [backup-simplify]: Simplify (/ 1 1) into 1
4.230 * [taylor]: Taking taylor expansion of 1 in x
4.230 * [backup-simplify]: Simplify 1 into 1
4.230 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
4.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.230 * [taylor]: Taking taylor expansion of x in x
4.230 * [backup-simplify]: Simplify 0 into 0
4.230 * [backup-simplify]: Simplify 1 into 1
4.230 * [backup-simplify]: Simplify (/ 1 1) into 1
4.230 * [taylor]: Taking taylor expansion of 1 in x
4.230 * [backup-simplify]: Simplify 1 into 1
4.231 * [backup-simplify]: Simplify (+ 1 0) into 1
4.231 * [backup-simplify]: Simplify 1 into 1
4.232 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.232 * [backup-simplify]: Simplify (- 1) into -1
4.233 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.233 * [backup-simplify]: Simplify -1 into -1
4.234 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.234 * [backup-simplify]: Simplify (- 0) into 0
4.234 * [backup-simplify]: Simplify (+ 0 0) into 0
4.234 * [backup-simplify]: Simplify 0 into 0
4.235 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.236 * [backup-simplify]: Simplify (- 0) into 0
4.236 * [backup-simplify]: Simplify (+ 0 0) into 0
4.236 * [backup-simplify]: Simplify 0 into 0
4.237 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.238 * [backup-simplify]: Simplify (- 0) into 0
4.238 * [backup-simplify]: Simplify (+ 0 0) into 0
4.238 * [backup-simplify]: Simplify 0 into 0
4.239 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.240 * [backup-simplify]: Simplify (- 0) into 0
4.240 * [backup-simplify]: Simplify (+ 0 0) into 0
4.240 * [backup-simplify]: Simplify 0 into 0
4.242 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.242 * [backup-simplify]: Simplify (- 0) into 0
4.243 * [backup-simplify]: Simplify (+ 0 0) into 0
4.243 * [backup-simplify]: Simplify 0 into 0
4.243 * [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
4.244 * [backup-simplify]: Simplify (- 0) into 0
4.244 * [backup-simplify]: Simplify (+ 0 0) into 0
4.244 * [backup-simplify]: Simplify 0 into 0
4.244 * [backup-simplify]: Simplify (+ -1 (* 1 (/ 1 x))) into (- (/ 1 x) 1)
4.244 * [backup-simplify]: Simplify (- (/ 1 (/ 1 x)) 1) into (- x 1)
4.244 * [approximate]: Taking taylor expansion of (- x 1) in (x) around 0
4.244 * [taylor]: Taking taylor expansion of (- x 1) in x
4.244 * [taylor]: Taking taylor expansion of x in x
4.244 * [backup-simplify]: Simplify 0 into 0
4.244 * [backup-simplify]: Simplify 1 into 1
4.244 * [taylor]: Taking taylor expansion of 1 in x
4.244 * [backup-simplify]: Simplify 1 into 1
4.244 * [taylor]: Taking taylor expansion of (- x 1) in x
4.244 * [taylor]: Taking taylor expansion of x in x
4.244 * [backup-simplify]: Simplify 0 into 0
4.244 * [backup-simplify]: Simplify 1 into 1
4.244 * [taylor]: Taking taylor expansion of 1 in x
4.244 * [backup-simplify]: Simplify 1 into 1
4.244 * [backup-simplify]: Simplify (- 1) into -1
4.245 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.245 * [backup-simplify]: Simplify -1 into -1
4.245 * [backup-simplify]: Simplify (- 0) into 0
4.245 * [backup-simplify]: Simplify (+ 1 0) into 1
4.245 * [backup-simplify]: Simplify 1 into 1
4.246 * [backup-simplify]: Simplify (- 0) into 0
4.246 * [backup-simplify]: Simplify (+ 0 0) into 0
4.246 * [backup-simplify]: Simplify 0 into 0
4.246 * [backup-simplify]: Simplify (- 0) into 0
4.246 * [backup-simplify]: Simplify (+ 0 0) into 0
4.246 * [backup-simplify]: Simplify 0 into 0
4.247 * [backup-simplify]: Simplify (- 0) into 0
4.247 * [backup-simplify]: Simplify (+ 0 0) into 0
4.247 * [backup-simplify]: Simplify 0 into 0
4.247 * [backup-simplify]: Simplify (- 0) into 0
4.247 * [backup-simplify]: Simplify (+ 0 0) into 0
4.247 * [backup-simplify]: Simplify 0 into 0
4.248 * [backup-simplify]: Simplify (- 0) into 0
4.248 * [backup-simplify]: Simplify (+ 0 0) into 0
4.248 * [backup-simplify]: Simplify 0 into 0
4.248 * [backup-simplify]: Simplify (- 0) into 0
4.248 * [backup-simplify]: Simplify (+ 0 0) into 0
4.249 * [backup-simplify]: Simplify 0 into 0
4.249 * [backup-simplify]: Simplify (+ (* 1 (/ 1 x)) -1) into (- (/ 1 x) 1)
4.249 * [backup-simplify]: Simplify (- (/ 1 (/ 1 (- x))) 1) into (- (+ x 1))
4.249 * [approximate]: Taking taylor expansion of (- (+ x 1)) in (x) around 0
4.249 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
4.249 * [taylor]: Taking taylor expansion of (+ x 1) in x
4.249 * [taylor]: Taking taylor expansion of x in x
4.249 * [backup-simplify]: Simplify 0 into 0
4.249 * [backup-simplify]: Simplify 1 into 1
4.249 * [taylor]: Taking taylor expansion of 1 in x
4.249 * [backup-simplify]: Simplify 1 into 1
4.249 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
4.249 * [taylor]: Taking taylor expansion of (+ x 1) in x
4.249 * [taylor]: Taking taylor expansion of x in x
4.249 * [backup-simplify]: Simplify 0 into 0
4.249 * [backup-simplify]: Simplify 1 into 1
4.249 * [taylor]: Taking taylor expansion of 1 in x
4.249 * [backup-simplify]: Simplify 1 into 1
4.249 * [backup-simplify]: Simplify (+ 0 1) into 1
4.249 * [backup-simplify]: Simplify (- 1) into -1
4.250 * [backup-simplify]: Simplify -1 into -1
4.250 * [backup-simplify]: Simplify (+ 1 0) into 1
4.250 * [backup-simplify]: Simplify (- 1) into -1
4.250 * [backup-simplify]: Simplify -1 into -1
4.250 * [backup-simplify]: Simplify (+ 0 0) into 0
4.251 * [backup-simplify]: Simplify (- 0) into 0
4.251 * [backup-simplify]: Simplify 0 into 0
4.251 * [backup-simplify]: Simplify (+ 0 0) into 0
4.251 * [backup-simplify]: Simplify (- 0) into 0
4.251 * [backup-simplify]: Simplify 0 into 0
4.251 * [backup-simplify]: Simplify (+ 0 0) into 0
4.252 * [backup-simplify]: Simplify (- 0) into 0
4.252 * [backup-simplify]: Simplify 0 into 0
4.252 * [backup-simplify]: Simplify (+ 0 0) into 0
4.252 * [backup-simplify]: Simplify (- 0) into 0
4.252 * [backup-simplify]: Simplify 0 into 0
4.252 * [backup-simplify]: Simplify (+ 0 0) into 0
4.253 * [backup-simplify]: Simplify (- 0) into 0
4.253 * [backup-simplify]: Simplify 0 into 0
4.253 * [backup-simplify]: Simplify (+ 0 0) into 0
4.253 * [backup-simplify]: Simplify (- 0) into 0
4.253 * [backup-simplify]: Simplify 0 into 0
4.253 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (- x))) -1) into (- (/ 1 x) 1)
4.253 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
4.253 * [backup-simplify]: Simplify (- (/ 1 x) 1) into (- (/ 1 x) 1)
4.253 * [approximate]: Taking taylor expansion of (- (/ 1 x) 1) in (x) around 0
4.253 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
4.253 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.253 * [taylor]: Taking taylor expansion of x in x
4.253 * [backup-simplify]: Simplify 0 into 0
4.253 * [backup-simplify]: Simplify 1 into 1
4.254 * [backup-simplify]: Simplify (/ 1 1) into 1
4.254 * [taylor]: Taking taylor expansion of 1 in x
4.254 * [backup-simplify]: Simplify 1 into 1
4.254 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
4.254 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.254 * [taylor]: Taking taylor expansion of x in x
4.254 * [backup-simplify]: Simplify 0 into 0
4.254 * [backup-simplify]: Simplify 1 into 1
4.254 * [backup-simplify]: Simplify (/ 1 1) into 1
4.254 * [taylor]: Taking taylor expansion of 1 in x
4.254 * [backup-simplify]: Simplify 1 into 1
4.254 * [backup-simplify]: Simplify (+ 1 0) into 1
4.254 * [backup-simplify]: Simplify 1 into 1
4.255 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.255 * [backup-simplify]: Simplify (- 1) into -1
4.255 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.255 * [backup-simplify]: Simplify -1 into -1
4.256 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.256 * [backup-simplify]: Simplify (- 0) into 0
4.256 * [backup-simplify]: Simplify (+ 0 0) into 0
4.256 * [backup-simplify]: Simplify 0 into 0
4.257 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.257 * [backup-simplify]: Simplify (- 0) into 0
4.257 * [backup-simplify]: Simplify (+ 0 0) into 0
4.257 * [backup-simplify]: Simplify 0 into 0
4.258 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.258 * [backup-simplify]: Simplify (- 0) into 0
4.258 * [backup-simplify]: Simplify (+ 0 0) into 0
4.258 * [backup-simplify]: Simplify 0 into 0
4.259 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.259 * [backup-simplify]: Simplify (- 0) into 0
4.260 * [backup-simplify]: Simplify (+ 0 0) into 0
4.260 * [backup-simplify]: Simplify 0 into 0
4.260 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.260 * [backup-simplify]: Simplify (- 0) into 0
4.261 * [backup-simplify]: Simplify (+ 0 0) into 0
4.261 * [backup-simplify]: Simplify 0 into 0
4.261 * [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
4.261 * [backup-simplify]: Simplify (- 0) into 0
4.262 * [backup-simplify]: Simplify (+ 0 0) into 0
4.262 * [backup-simplify]: Simplify 0 into 0
4.262 * [backup-simplify]: Simplify (+ -1 (* 1 (/ 1 x))) into (- (/ 1 x) 1)
4.262 * [backup-simplify]: Simplify (- (/ 1 (/ 1 x)) 1) into (- x 1)
4.262 * [approximate]: Taking taylor expansion of (- x 1) in (x) around 0
4.262 * [taylor]: Taking taylor expansion of (- x 1) in x
4.262 * [taylor]: Taking taylor expansion of x in x
4.262 * [backup-simplify]: Simplify 0 into 0
4.262 * [backup-simplify]: Simplify 1 into 1
4.262 * [taylor]: Taking taylor expansion of 1 in x
4.262 * [backup-simplify]: Simplify 1 into 1
4.262 * [taylor]: Taking taylor expansion of (- x 1) in x
4.262 * [taylor]: Taking taylor expansion of x in x
4.262 * [backup-simplify]: Simplify 0 into 0
4.262 * [backup-simplify]: Simplify 1 into 1
4.262 * [taylor]: Taking taylor expansion of 1 in x
4.262 * [backup-simplify]: Simplify 1 into 1
4.262 * [backup-simplify]: Simplify (- 1) into -1
4.263 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.263 * [backup-simplify]: Simplify -1 into -1
4.263 * [backup-simplify]: Simplify (- 0) into 0
4.263 * [backup-simplify]: Simplify (+ 1 0) into 1
4.263 * [backup-simplify]: Simplify 1 into 1
4.263 * [backup-simplify]: Simplify (- 0) into 0
4.264 * [backup-simplify]: Simplify (+ 0 0) into 0
4.264 * [backup-simplify]: Simplify 0 into 0
4.264 * [backup-simplify]: Simplify (- 0) into 0
4.264 * [backup-simplify]: Simplify (+ 0 0) into 0
4.264 * [backup-simplify]: Simplify 0 into 0
4.264 * [backup-simplify]: Simplify (- 0) into 0
4.265 * [backup-simplify]: Simplify (+ 0 0) into 0
4.265 * [backup-simplify]: Simplify 0 into 0
4.265 * [backup-simplify]: Simplify (- 0) into 0
4.265 * [backup-simplify]: Simplify (+ 0 0) into 0
4.265 * [backup-simplify]: Simplify 0 into 0
4.265 * [backup-simplify]: Simplify (- 0) into 0
4.266 * [backup-simplify]: Simplify (+ 0 0) into 0
4.266 * [backup-simplify]: Simplify 0 into 0
4.266 * [backup-simplify]: Simplify (- 0) into 0
4.266 * [backup-simplify]: Simplify (+ 0 0) into 0
4.266 * [backup-simplify]: Simplify 0 into 0
4.266 * [backup-simplify]: Simplify (+ (* 1 (/ 1 x)) -1) into (- (/ 1 x) 1)
4.266 * [backup-simplify]: Simplify (- (/ 1 (/ 1 (- x))) 1) into (- (+ x 1))
4.266 * [approximate]: Taking taylor expansion of (- (+ x 1)) in (x) around 0
4.266 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
4.266 * [taylor]: Taking taylor expansion of (+ x 1) in x
4.266 * [taylor]: Taking taylor expansion of x in x
4.266 * [backup-simplify]: Simplify 0 into 0
4.266 * [backup-simplify]: Simplify 1 into 1
4.266 * [taylor]: Taking taylor expansion of 1 in x
4.266 * [backup-simplify]: Simplify 1 into 1
4.267 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
4.267 * [taylor]: Taking taylor expansion of (+ x 1) in x
4.267 * [taylor]: Taking taylor expansion of x in x
4.267 * [backup-simplify]: Simplify 0 into 0
4.267 * [backup-simplify]: Simplify 1 into 1
4.267 * [taylor]: Taking taylor expansion of 1 in x
4.267 * [backup-simplify]: Simplify 1 into 1
4.267 * [backup-simplify]: Simplify (+ 0 1) into 1
4.267 * [backup-simplify]: Simplify (- 1) into -1
4.267 * [backup-simplify]: Simplify -1 into -1
4.267 * [backup-simplify]: Simplify (+ 1 0) into 1
4.268 * [backup-simplify]: Simplify (- 1) into -1
4.268 * [backup-simplify]: Simplify -1 into -1
4.268 * [backup-simplify]: Simplify (+ 0 0) into 0
4.268 * [backup-simplify]: Simplify (- 0) into 0
4.268 * [backup-simplify]: Simplify 0 into 0
4.268 * [backup-simplify]: Simplify (+ 0 0) into 0
4.269 * [backup-simplify]: Simplify (- 0) into 0
4.269 * [backup-simplify]: Simplify 0 into 0
4.269 * [backup-simplify]: Simplify (+ 0 0) into 0
4.269 * [backup-simplify]: Simplify (- 0) into 0
4.269 * [backup-simplify]: Simplify 0 into 0
4.269 * [backup-simplify]: Simplify (+ 0 0) into 0
4.270 * [backup-simplify]: Simplify (- 0) into 0
4.270 * [backup-simplify]: Simplify 0 into 0
4.270 * [backup-simplify]: Simplify (+ 0 0) into 0
4.270 * [backup-simplify]: Simplify (- 0) into 0
4.270 * [backup-simplify]: Simplify 0 into 0
4.270 * [backup-simplify]: Simplify (+ 0 0) into 0
4.271 * [backup-simplify]: Simplify (- 0) into 0
4.271 * [backup-simplify]: Simplify 0 into 0
4.271 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (- x))) -1) into (- (/ 1 x) 1)
4.271 * * * [progress]: simplifying candidates
4.271 * * * * [progress]: [ 1 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (log1p (expm1 (sqrt (- (/ 1 x) 1))))))))>
4.271 * * * * [progress]: [ 2 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (expm1 (log1p (sqrt (- (/ 1 x) 1))))))))>
4.271 * * * * [progress]: [ 3 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (pow (- (/ 1 x) 1) 1/2)))))>
4.271 * * * * [progress]: [ 4 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (pow (sqrt (- (/ 1 x) 1)) 1)))))>
4.271 * * * * [progress]: [ 5 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (exp (log (sqrt (- (/ 1 x) 1))))))))>
4.271 * * * * [progress]: [ 6 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (log (exp (sqrt (- (/ 1 x) 1))))))))>
4.271 * * * * [progress]: [ 7 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1)))) (cbrt (sqrt (- (/ 1 x) 1))))))))>
4.271 * * * * [progress]: [ 8 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (cbrt (* (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1))))))))>
4.272 * * * * [progress]: [ 9 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (sqrt (cbrt (- (/ 1 x) 1))))))))>
4.272 * * * * [progress]: [ 10 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))))))>
4.272 * * * * [progress]: [ 11 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt 1) (sqrt (- (/ 1 x) 1)))))))>
4.272 * * * * [progress]: [ 12 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (sqrt (/ 1 x)) (sqrt 1))) (sqrt (- (sqrt (/ 1 x)) (sqrt 1))))))))>
4.272 * * * * [progress]: [ 13 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))))))>
4.272 * * * * [progress]: [ 14 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (/ (sqrt 1) (sqrt x)) (sqrt 1))) (sqrt (- (/ (sqrt 1) (sqrt x)) (sqrt 1))))))))>
4.272 * * * * [progress]: [ 15 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (/ (sqrt 1) (sqrt x)) 1)) (sqrt (- (/ (sqrt 1) (sqrt x)) 1)))))))>
4.272 * * * * [progress]: [ 16 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (/ 1 (sqrt x)) (sqrt 1))) (sqrt (- (/ 1 (sqrt x)) (sqrt 1))))))))>
4.272 * * * * [progress]: [ 17 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (/ 1 (sqrt x)) 1)) (sqrt (- (/ 1 (sqrt x)) 1)))))))>
4.272 * * * * [progress]: [ 18 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))))))>
4.272 * * * * [progress]: [ 19 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (/ (sqrt 1) (sqrt x)) 1)) (sqrt (- (/ (sqrt 1) (sqrt x)) 1)))))))>
4.272 * * * * [progress]: [ 20 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (/ 1 (sqrt x)) 1)) (sqrt (- (/ 1 (sqrt x)) 1)))))))>
4.272 * * * * [progress]: [ 21 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt 1) (sqrt (- (/ 1 x) 1)))))))>
4.272 * * * * [progress]: [ 22 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt 1) (sqrt (- (/ 1 x) 1)))))))>
4.272 * * * * [progress]: [ 23 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (/ (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))))>
4.273 * * * * [progress]: [ 24 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (/ (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) (sqrt (+ (/ 1 x) 1)))))))>
4.273 * * * * [progress]: [ 25 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (pow (- (/ 1 x) 1) (/ 1 2))))))>
4.273 * * * * [progress]: [ 26 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))))))>
4.273 * * * * [progress]: [ 27 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (fabs (sqrt (- (/ 1 x) 1)))))))>
4.273 * * * * [progress]: [ 28 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* 1 (sqrt (- (/ 1 x) 1)))))))>
4.273 * * * * [progress]: [ 29 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (posit16->real (real->posit16 (sqrt (- (/ 1 x) 1))))))))>
4.273 * * * * [progress]: [ 30 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (log1p (expm1 (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.273 * * * * [progress]: [ 31 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (expm1 (log1p (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.273 * * * * [progress]: [ 32 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (pow (- (/ 1 x) 1) 1/2)) (log (sqrt (- (/ 1 x) 1))))))>
4.273 * * * * [progress]: [ 33 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (pow (sqrt (- (/ 1 x) 1)) 1)) (log (sqrt (- (/ 1 x) 1))))))>
4.273 * * * * [progress]: [ 34 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (exp (log (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.273 * * * * [progress]: [ 35 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (log (exp (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.273 * * * * [progress]: [ 36 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1)))) (cbrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.273 * * * * [progress]: [ 37 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (cbrt (* (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.273 * * * * [progress]: [ 38 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (sqrt (cbrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.274 * * * * [progress]: [ 39 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.274 * * * * [progress]: [ 40 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt 1) (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.274 * * * * [progress]: [ 41 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) (sqrt 1))) (sqrt (- (sqrt (/ 1 x)) (sqrt 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.274 * * * * [progress]: [ 42 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.274 * * * * [progress]: [ 43 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (+ (/ (sqrt 1) (sqrt x)) (sqrt 1))) (sqrt (- (/ (sqrt 1) (sqrt x)) (sqrt 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.274 * * * * [progress]: [ 44 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (+ (/ (sqrt 1) (sqrt x)) 1)) (sqrt (- (/ (sqrt 1) (sqrt x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.274 * * * * [progress]: [ 45 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (+ (/ 1 (sqrt x)) (sqrt 1))) (sqrt (- (/ 1 (sqrt x)) (sqrt 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.274 * * * * [progress]: [ 46 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (+ (/ 1 (sqrt x)) 1)) (sqrt (- (/ 1 (sqrt x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.274 * * * * [progress]: [ 47 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.274 * * * * [progress]: [ 48 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (+ (/ (sqrt 1) (sqrt x)) 1)) (sqrt (- (/ (sqrt 1) (sqrt x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.274 * * * * [progress]: [ 49 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (+ (/ 1 (sqrt x)) 1)) (sqrt (- (/ 1 (sqrt x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.274 * * * * [progress]: [ 50 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt 1) (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.274 * * * * [progress]: [ 51 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt 1) (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.274 * * * * [progress]: [ 52 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (/ (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))) (log (sqrt (- (/ 1 x) 1))))))>
4.274 * * * * [progress]: [ 53 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (/ (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) (sqrt (+ (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.275 * * * * [progress]: [ 54 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (pow (- (/ 1 x) 1) (/ 1 2))) (log (sqrt (- (/ 1 x) 1))))))>
4.275 * * * * [progress]: [ 55 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.275 * * * * [progress]: [ 56 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (fabs (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.275 * * * * [progress]: [ 57 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* 1 (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.275 * * * * [progress]: [ 58 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (posit16->real (real->posit16 (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.275 * * * * [progress]: [ 59 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))))>
4.275 * * * * [progress]: [ 60 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))))>
4.275 * * * * [progress]: [ 61 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))))>
4.275 * * * * [progress]: [ 62 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))))>
4.275 * * * * [progress]: [ 63 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))))>
4.275 * * * * [progress]: [ 64 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))))>
4.275 * * * * [progress]: [ 65 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))))>
4.275 * * * * [progress]: [ 66 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))))>
4.275 * * * * [progress]: [ 67 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))))>
4.276 * * * * [progress]: [ 68 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))))>
4.276 * * * * [progress]: [ 69 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))))>
4.276 * * * * [progress]: [ 70 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))))>
4.276 * * * * [progress]: [ 71 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))))>
4.276 * * * * [progress]: [ 72 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))))>
4.276 * * * * [progress]: [ 73 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))))>
4.276 * * * * [progress]: [ 74 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))))>
4.276 * * * * [progress]: [ 75 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))))>
4.276 * * * * [progress]: [ 76 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))))>
4.276 * * * * [progress]: [ 77 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))))>
4.276 * * * * [progress]: [ 78 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))))>
4.276 * * * * [progress]: [ 79 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))))>
4.277 * * * * [progress]: [ 80 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))))>
4.277 * * * * [progress]: [ 81 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))))>
4.277 * * * * [progress]: [ 82 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))))>
4.277 * * * * [progress]: [ 83 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))))>
4.277 * * * * [progress]: [ 84 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))))>
4.277 * * * * [progress]: [ 85 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))))>
4.278 * * * * [progress]: [ 86 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))))>
4.278 * * * * [progress]: [ 87 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))))>
4.278 * * * * [progress]: [ 88 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))))>
4.278 * * * * [progress]: [ 89 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ 1 1) (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))))>
4.278 * * * * [progress]: [ 90 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ 1 1) (/ 1 x) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))))>
4.278 * * * * [progress]: [ 91 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma (/ 1 1) (/ 1 x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))))>
4.278 * * * * [progress]: [ 92 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma 1 (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))))>
4.278 * * * * [progress]: [ 93 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma 1 (/ 1 x) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))))>
4.278 * * * * [progress]: [ 94 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma 1 (/ 1 x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))))>
4.278 * * * * [progress]: [ 95 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma 1 (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))))>
4.278 * * * * [progress]: [ 96 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma 1 (/ 1 x) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))))>
4.278 * * * * [progress]: [ 97 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (fma 1 (/ 1 x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))))>
4.278 * * * * [progress]: [ 98 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (log1p (expm1 (- (/ 1 x) 1))))))))>
4.279 * * * * [progress]: [ 99 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (expm1 (log1p (- (/ 1 x) 1))))))))>
4.279 * * * * [progress]: [ 100 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (expm1 (- (log x))))))))>
4.279 * * * * [progress]: [ 101 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (expm1 (- 0 (log x))))))))>
4.279 * * * * [progress]: [ 102 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (expm1 (- (log 1) (log x))))))))>
4.279 * * * * [progress]: [ 103 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (expm1 (log (/ 1 x))))))))>
4.279 * * * * [progress]: [ 104 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- 1)))))))>
4.279 * * * * [progress]: [ 105 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- 1)))))))>
4.279 * * * * [progress]: [ 106 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- 1)))))))>
4.279 * * * * [progress]: [ 107 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- 1)))))))>
4.279 * * * * [progress]: [ 108 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- 1)))))))>
4.279 * * * * [progress]: [ 109 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- 1)))))))>
4.279 * * * * [progress]: [ 110 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- 1)))))))>
4.279 * * * * [progress]: [ 111 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- 1)))))))>
4.279 * * * * [progress]: [ 112 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- 1)))))))>
4.279 * * * * [progress]: [ 113 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- 1)))))))>
4.280 * * * * [progress]: [ 114 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (fma (/ 1 1) (/ 1 x) (- 1)))))))>
4.280 * * * * [progress]: [ 115 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (fma 1 (/ 1 x) (- 1)))))))>
4.280 * * * * [progress]: [ 116 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (fma 1 (/ 1 x) (- 1)))))))>
4.280 * * * * [progress]: [ 117 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (log (/ (exp (/ 1 x)) (exp 1))))))))>
4.280 * * * * [progress]: [ 118 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (pow (- (/ 1 x) 1) 1))))))>
4.280 * * * * [progress]: [ 119 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (exp (log (- (/ 1 x) 1))))))))>
4.280 * * * * [progress]: [ 120 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (log (exp (- (/ 1 x) 1))))))))>
4.280 * * * * [progress]: [ 121 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (* (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))) (cbrt (- (/ 1 x) 1))))))))>
4.280 * * * * [progress]: [ 122 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (cbrt (* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1))))))))>
4.280 * * * * [progress]: [ 123 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))))>
4.280 * * * * [progress]: [ 124 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (/ (- (pow (/ 1 x) 3) (pow 1 3)) (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))))>
4.280 * * * * [progress]: [ 125 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (/ 1 x) (- 1)))))))>
4.280 * * * * [progress]: [ 126 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (* 1 (- (/ 1 x) 1)))))))>
4.280 * * * * [progress]: [ 127 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (/ (- (* (/ 1 x) (/ 1 x)) (* 1 1)) (+ (/ 1 x) 1)))))))>
4.280 * * * * [progress]: [ 128 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (* (+ (sqrt (/ 1 x)) (sqrt 1)) (- (sqrt (/ 1 x)) (sqrt 1))))))))>
4.281 * * * * [progress]: [ 129 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))))>
4.281 * * * * [progress]: [ 130 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (* (+ (/ (sqrt 1) (sqrt x)) (sqrt 1)) (- (/ (sqrt 1) (sqrt x)) (sqrt 1))))))))>
4.281 * * * * [progress]: [ 131 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (* (+ (/ (sqrt 1) (sqrt x)) 1) (- (/ (sqrt 1) (sqrt x)) 1)))))))>
4.281 * * * * [progress]: [ 132 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (* (+ (/ 1 (sqrt x)) (sqrt 1)) (- (/ 1 (sqrt x)) (sqrt 1))))))))>
4.281 * * * * [progress]: [ 133 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))))))>
4.281 * * * * [progress]: [ 134 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))))>
4.281 * * * * [progress]: [ 135 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (* (+ (/ (sqrt 1) (sqrt x)) 1) (- (/ (sqrt 1) (sqrt x)) 1)))))))>
4.281 * * * * [progress]: [ 136 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))))))>
4.281 * * * * [progress]: [ 137 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (* 1 (- (/ 1 x) 1)))))))>
4.281 * * * * [progress]: [ 138 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (* 1 (- (/ 1 x) 1)))))))>
4.281 * * * * [progress]: [ 139 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (+ (/ 1 x) (- 1)))))))>
4.281 * * * * [progress]: [ 140 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (posit16->real (real->posit16 (- (/ 1 x) 1))))))))>
4.281 * * * * [progress]: [ 141 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) (log (sqrt (- (/ 1 x) 1))))))>
4.281 * * * * [progress]: [ 142 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) (log (sqrt (- (/ 1 x) 1))))))>
4.281 * * * * [progress]: [ 143 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.281 * * * * [progress]: [ 144 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) (log (sqrt (- (/ 1 x) 1))))))>
4.282 * * * * [progress]: [ 145 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) (log (sqrt (- (/ 1 x) 1))))))>
4.282 * * * * [progress]: [ 146 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.282 * * * * [progress]: [ 147 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) (log (sqrt (- (/ 1 x) 1))))))>
4.282 * * * * [progress]: [ 148 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) (log (sqrt (- (/ 1 x) 1))))))>
4.282 * * * * [progress]: [ 149 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.282 * * * * [progress]: [ 150 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) (log (sqrt (- (/ 1 x) 1))))))>
4.282 * * * * [progress]: [ 151 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) (log (sqrt (- (/ 1 x) 1))))))>
4.282 * * * * [progress]: [ 152 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.282 * * * * [progress]: [ 153 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) (log (sqrt (- (/ 1 x) 1))))))>
4.282 * * * * [progress]: [ 154 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) (log (sqrt (- (/ 1 x) 1))))))>
4.283 * * * * [progress]: [ 155 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.283 * * * * [progress]: [ 156 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) (log (sqrt (- (/ 1 x) 1))))))>
4.283 * * * * [progress]: [ 157 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) (log (sqrt (- (/ 1 x) 1))))))>
4.283 * * * * [progress]: [ 158 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.283 * * * * [progress]: [ 159 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) (log (sqrt (- (/ 1 x) 1))))))>
4.283 * * * * [progress]: [ 160 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) (log (sqrt (- (/ 1 x) 1))))))>
4.283 * * * * [progress]: [ 161 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.283 * * * * [progress]: [ 162 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) (log (sqrt (- (/ 1 x) 1))))))>
4.283 * * * * [progress]: [ 163 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) (log (sqrt (- (/ 1 x) 1))))))>
4.283 * * * * [progress]: [ 164 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.283 * * * * [progress]: [ 165 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) (log (sqrt (- (/ 1 x) 1))))))>
4.283 * * * * [progress]: [ 166 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) (log (sqrt (- (/ 1 x) 1))))))>
4.283 * * * * [progress]: [ 167 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.284 * * * * [progress]: [ 168 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) (log (sqrt (- (/ 1 x) 1))))))>
4.284 * * * * [progress]: [ 169 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) (log (sqrt (- (/ 1 x) 1))))))>
4.284 * * * * [progress]: [ 170 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.284 * * * * [progress]: [ 171 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ 1 1) (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) (log (sqrt (- (/ 1 x) 1))))))>
4.284 * * * * [progress]: [ 172 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ 1 1) (/ 1 x) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) (log (sqrt (- (/ 1 x) 1))))))>
4.284 * * * * [progress]: [ 173 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma (/ 1 1) (/ 1 x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.284 * * * * [progress]: [ 174 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma 1 (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) (log (sqrt (- (/ 1 x) 1))))))>
4.284 * * * * [progress]: [ 175 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma 1 (/ 1 x) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) (log (sqrt (- (/ 1 x) 1))))))>
4.284 * * * * [progress]: [ 176 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma 1 (/ 1 x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.284 * * * * [progress]: [ 177 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma 1 (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) (log (sqrt (- (/ 1 x) 1))))))>
4.284 * * * * [progress]: [ 178 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma 1 (/ 1 x) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) (log (sqrt (- (/ 1 x) 1))))))>
4.284 * * * * [progress]: [ 179 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (fma 1 (/ 1 x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.284 * * * * [progress]: [ 180 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (log1p (expm1 (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.284 * * * * [progress]: [ 181 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (expm1 (log1p (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.285 * * * * [progress]: [ 182 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (expm1 (- (log x))))) (log (sqrt (- (/ 1 x) 1))))))>
4.285 * * * * [progress]: [ 183 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (expm1 (- 0 (log x))))) (log (sqrt (- (/ 1 x) 1))))))>
4.285 * * * * [progress]: [ 184 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (expm1 (- (log 1) (log x))))) (log (sqrt (- (/ 1 x) 1))))))>
4.285 * * * * [progress]: [ 185 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (expm1 (log (/ 1 x))))) (log (sqrt (- (/ 1 x) 1))))))>
4.285 * * * * [progress]: [ 186 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.285 * * * * [progress]: [ 187 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.285 * * * * [progress]: [ 188 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.285 * * * * [progress]: [ 189 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.285 * * * * [progress]: [ 190 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.285 * * * * [progress]: [ 191 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.285 * * * * [progress]: [ 192 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.285 * * * * [progress]: [ 193 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.285 * * * * [progress]: [ 194 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.285 * * * * [progress]: [ 195 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.285 * * * * [progress]: [ 196 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (fma (/ 1 1) (/ 1 x) (- 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.286 * * * * [progress]: [ 197 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (fma 1 (/ 1 x) (- 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.286 * * * * [progress]: [ 198 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (fma 1 (/ 1 x) (- 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.286 * * * * [progress]: [ 199 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (log (/ (exp (/ 1 x)) (exp 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.286 * * * * [progress]: [ 200 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (pow (- (/ 1 x) 1) 1))) (log (sqrt (- (/ 1 x) 1))))))>
4.286 * * * * [progress]: [ 201 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (exp (log (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.286 * * * * [progress]: [ 202 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (log (exp (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.286 * * * * [progress]: [ 203 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (* (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))) (cbrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.286 * * * * [progress]: [ 204 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (cbrt (* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.286 * * * * [progress]: [ 205 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.286 * * * * [progress]: [ 206 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (/ (- (pow (/ 1 x) 3) (pow 1 3)) (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))) (log (sqrt (- (/ 1 x) 1))))))>
4.286 * * * * [progress]: [ 207 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (/ 1 x) (- 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.286 * * * * [progress]: [ 208 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (* 1 (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.286 * * * * [progress]: [ 209 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (/ (- (* (/ 1 x) (/ 1 x)) (* 1 1)) (+ (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.286 * * * * [progress]: [ 210 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (* (+ (sqrt (/ 1 x)) (sqrt 1)) (- (sqrt (/ 1 x)) (sqrt 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.286 * * * * [progress]: [ 211 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.287 * * * * [progress]: [ 212 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (* (+ (/ (sqrt 1) (sqrt x)) (sqrt 1)) (- (/ (sqrt 1) (sqrt x)) (sqrt 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.287 * * * * [progress]: [ 213 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (* (+ (/ (sqrt 1) (sqrt x)) 1) (- (/ (sqrt 1) (sqrt x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.287 * * * * [progress]: [ 214 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (* (+ (/ 1 (sqrt x)) (sqrt 1)) (- (/ 1 (sqrt x)) (sqrt 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.287 * * * * [progress]: [ 215 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.287 * * * * [progress]: [ 216 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.287 * * * * [progress]: [ 217 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (* (+ (/ (sqrt 1) (sqrt x)) 1) (- (/ (sqrt 1) (sqrt x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.287 * * * * [progress]: [ 218 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.287 * * * * [progress]: [ 219 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (* 1 (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.287 * * * * [progress]: [ 220 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (* 1 (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.287 * * * * [progress]: [ 221 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (+ (/ 1 x) (- 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.287 * * * * [progress]: [ 222 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (posit16->real (real->posit16 (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.287 * * * * [progress]: [ 223 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))))))>
4.287 * * * * [progress]: [ 224 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))))))>
4.287 * * * * [progress]: [ 225 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))))))>
4.287 * * * * [progress]: [ 226 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))) (log (sqrt (- (/ 1 x) 1))))))>
4.287 * * * * [progress]: [ 227 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))) (log (sqrt (- (/ 1 x) 1))))))>
4.288 * * * * [progress]: [ 228 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))) (log (sqrt (- (/ 1 x) 1))))))>
4.288 * * * * [progress]: [ 229 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
4.288 * * * * [progress]: [ 230 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
4.288 * * * * [progress]: [ 231 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
4.288 * * * * [progress]: [ 232 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
4.288 * * * * [progress]: [ 233 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
4.288 * * * * [progress]: [ 234 / 234 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
4.297 * [simplify]: Simplifying:
  (expm1 (sqrt (- (/ 1 x) 1)))
  (log1p (sqrt (- (/ 1 x) 1)))
  (log (sqrt (- (/ 1 x) 1)))
  (exp (sqrt (- (/ 1 x) 1)))
  (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1))))
  (cbrt (sqrt (- (/ 1 x) 1)))
  (* (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1)))
  (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
  (sqrt (cbrt (- (/ 1 x) 1)))
  (sqrt (sqrt (- (/ 1 x) 1)))
  (sqrt (sqrt (- (/ 1 x) 1)))
  (sqrt 1)
  (sqrt (- (/ 1 x) 1))
  (sqrt (+ (sqrt (/ 1 x)) (sqrt 1)))
  (sqrt (- (sqrt (/ 1 x)) (sqrt 1)))
  (sqrt (+ (sqrt (/ 1 x)) 1))
  (sqrt (- (sqrt (/ 1 x)) 1))
  (sqrt (+ (/ (sqrt 1) (sqrt x)) (sqrt 1)))
  (sqrt (- (/ (sqrt 1) (sqrt x)) (sqrt 1)))
  (sqrt (+ (/ (sqrt 1) (sqrt x)) 1))
  (sqrt (- (/ (sqrt 1) (sqrt x)) 1))
  (sqrt (+ (/ 1 (sqrt x)) (sqrt 1)))
  (sqrt (- (/ 1 (sqrt x)) (sqrt 1)))
  (sqrt (+ (/ 1 (sqrt x)) 1))
  (sqrt (- (/ 1 (sqrt x)) 1))
  (sqrt (+ (sqrt (/ 1 x)) 1))
  (sqrt (- (sqrt (/ 1 x)) 1))
  (sqrt (+ (/ (sqrt 1) (sqrt x)) 1))
  (sqrt (- (/ (sqrt 1) (sqrt x)) 1))
  (sqrt (+ (/ 1 (sqrt x)) 1))
  (sqrt (- (/ 1 (sqrt x)) 1))
  (sqrt 1)
  (sqrt (- (/ 1 x) 1))
  (sqrt 1)
  (sqrt (- (/ 1 x) 1))
  (sqrt (- (pow (/ 1 x) 3) (pow 1 3)))
  (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1))))
  (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1)))
  (sqrt (+ (/ 1 x) 1))
  (/ 1 2)
  (sqrt (sqrt (- (/ 1 x) 1)))
  (sqrt (sqrt (- (/ 1 x) 1)))
  (real->posit16 (sqrt (- (/ 1 x) 1)))
  (expm1 (sqrt (- (/ 1 x) 1)))
  (log1p (sqrt (- (/ 1 x) 1)))
  (log (sqrt (- (/ 1 x) 1)))
  (exp (sqrt (- (/ 1 x) 1)))
  (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1))))
  (cbrt (sqrt (- (/ 1 x) 1)))
  (* (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1)))
  (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
  (sqrt (cbrt (- (/ 1 x) 1)))
  (sqrt (sqrt (- (/ 1 x) 1)))
  (sqrt (sqrt (- (/ 1 x) 1)))
  (sqrt 1)
  (sqrt (- (/ 1 x) 1))
  (sqrt (+ (sqrt (/ 1 x)) (sqrt 1)))
  (sqrt (- (sqrt (/ 1 x)) (sqrt 1)))
  (sqrt (+ (sqrt (/ 1 x)) 1))
  (sqrt (- (sqrt (/ 1 x)) 1))
  (sqrt (+ (/ (sqrt 1) (sqrt x)) (sqrt 1)))
  (sqrt (- (/ (sqrt 1) (sqrt x)) (sqrt 1)))
  (sqrt (+ (/ (sqrt 1) (sqrt x)) 1))
  (sqrt (- (/ (sqrt 1) (sqrt x)) 1))
  (sqrt (+ (/ 1 (sqrt x)) (sqrt 1)))
  (sqrt (- (/ 1 (sqrt x)) (sqrt 1)))
  (sqrt (+ (/ 1 (sqrt x)) 1))
  (sqrt (- (/ 1 (sqrt x)) 1))
  (sqrt (+ (sqrt (/ 1 x)) 1))
  (sqrt (- (sqrt (/ 1 x)) 1))
  (sqrt (+ (/ (sqrt 1) (sqrt x)) 1))
  (sqrt (- (/ (sqrt 1) (sqrt x)) 1))
  (sqrt (+ (/ 1 (sqrt x)) 1))
  (sqrt (- (/ 1 (sqrt x)) 1))
  (sqrt 1)
  (sqrt (- (/ 1 x) 1))
  (sqrt 1)
  (sqrt (- (/ 1 x) 1))
  (sqrt (- (pow (/ 1 x) 3) (pow 1 3)))
  (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1))))
  (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1)))
  (sqrt (+ (/ 1 x) 1))
  (/ 1 2)
  (sqrt (sqrt (- (/ 1 x) 1)))
  (sqrt (sqrt (- (/ 1 x) 1)))
  (real->posit16 (sqrt (- (/ 1 x) 1)))
  (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ 1 1) (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ 1 1) (/ 1 x) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ 1 1) (/ 1 x) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma 1 (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma 1 (/ 1 x) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma 1 (/ 1 x) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma 1 (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma 1 (/ 1 x) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma 1 (/ 1 x) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (expm1 (- (/ 1 x) 1))
  (log1p (- (/ 1 x) 1))
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (/ (exp (/ 1 x)) (exp 1))
  (log (- (/ 1 x) 1))
  (exp (- (/ 1 x) 1))
  (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))
  (cbrt (- (/ 1 x) 1))
  (* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1))
  (sqrt (- (/ 1 x) 1))
  (sqrt (- (/ 1 x) 1))
  (- (pow (/ 1 x) 3) (pow 1 3))
  (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))
  (- 1)
  (- (* (/ 1 x) (/ 1 x)) (* 1 1))
  (+ (/ 1 x) 1)
  (+ (sqrt (/ 1 x)) (sqrt 1))
  (- (sqrt (/ 1 x)) (sqrt 1))
  (+ (sqrt (/ 1 x)) 1)
  (- (sqrt (/ 1 x)) 1)
  (+ (/ (sqrt 1) (sqrt x)) (sqrt 1))
  (- (/ (sqrt 1) (sqrt x)) (sqrt 1))
  (+ (/ (sqrt 1) (sqrt x)) 1)
  (- (/ (sqrt 1) (sqrt x)) 1)
  (+ (/ 1 (sqrt x)) (sqrt 1))
  (- (/ 1 (sqrt x)) (sqrt 1))
  (+ (/ 1 (sqrt x)) 1)
  (- (/ 1 (sqrt x)) 1)
  (+ (sqrt (/ 1 x)) 1)
  (- (sqrt (/ 1 x)) 1)
  (+ (/ (sqrt 1) (sqrt x)) 1)
  (- (/ (sqrt 1) (sqrt x)) 1)
  (+ (/ 1 (sqrt x)) 1)
  (- (/ 1 (sqrt x)) 1)
  (- (/ 1 x) 1)
  (- (/ 1 x) 1)
  (- 1)
  (real->posit16 (- (/ 1 x) 1))
  (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ 1 1) (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ 1 1) (/ 1 x) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ 1 1) (/ 1 x) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma 1 (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma 1 (/ 1 x) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma 1 (/ 1 x) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma 1 (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma 1 (/ 1 x) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma 1 (/ 1 x) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (expm1 (- (/ 1 x) 1))
  (log1p (- (/ 1 x) 1))
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (/ (exp (/ 1 x)) (exp 1))
  (log (- (/ 1 x) 1))
  (exp (- (/ 1 x) 1))
  (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))
  (cbrt (- (/ 1 x) 1))
  (* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1))
  (sqrt (- (/ 1 x) 1))
  (sqrt (- (/ 1 x) 1))
  (- (pow (/ 1 x) 3) (pow 1 3))
  (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))
  (- 1)
  (- (* (/ 1 x) (/ 1 x)) (* 1 1))
  (+ (/ 1 x) 1)
  (+ (sqrt (/ 1 x)) (sqrt 1))
  (- (sqrt (/ 1 x)) (sqrt 1))
  (+ (sqrt (/ 1 x)) 1)
  (- (sqrt (/ 1 x)) 1)
  (+ (/ (sqrt 1) (sqrt x)) (sqrt 1))
  (- (/ (sqrt 1) (sqrt x)) (sqrt 1))
  (+ (/ (sqrt 1) (sqrt x)) 1)
  (- (/ (sqrt 1) (sqrt x)) 1)
  (+ (/ 1 (sqrt x)) (sqrt 1))
  (- (/ 1 (sqrt x)) (sqrt 1))
  (+ (/ 1 (sqrt x)) 1)
  (- (/ 1 (sqrt x)) 1)
  (+ (sqrt (/ 1 x)) 1)
  (- (sqrt (/ 1 x)) 1)
  (+ (/ (sqrt 1) (sqrt x)) 1)
  (- (/ (sqrt 1) (sqrt x)) 1)
  (+ (/ 1 (sqrt x)) 1)
  (- (/ 1 (sqrt x)) 1)
  (- (/ 1 x) 1)
  (- (/ 1 x) 1)
  (- 1)
  (real->posit16 (- (/ 1 x) 1))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
  (+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))
  (+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
  (+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))
  (+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))
  (- (/ 1 x) 1)
  (- (/ 1 x) 1)
  (- (/ 1 x) 1)
  (- (/ 1 x) 1)
  (- (/ 1 x) 1)
  (- (/ 1 x) 1)
4.304 * * [simplify]: iteration 1: (162 enodes)
4.417 * * [simplify]: iteration 2: (586 enodes)
4.566 * * [simplify]: iteration 3: (850 enodes)
4.758 * * [simplify]: iteration 4: (1238 enodes)
5.117 * * [simplify]: Extracting #0: cost 45 inf + 0
5.118 * * [simplify]: Extracting #1: cost 204 inf + 4
5.121 * * [simplify]: Extracting #2: cost 429 inf + 1836
5.135 * * [simplify]: Extracting #3: cost 275 inf + 28832
5.174 * * [simplify]: Extracting #4: cost 44 inf + 73168
5.209 * * [simplify]: Extracting #5: cost 0 inf + 83062
5.235 * * [simplify]: Extracting #6: cost 0 inf + 82891
5.253 * [simplify]: Simplified to:
  (expm1 (sqrt (- (/ 1 x) 1)))
  (log1p (sqrt (- (/ 1 x) 1)))
  (log (sqrt (- (/ 1 x) 1)))
  (exp (sqrt (- (/ 1 x) 1)))
  (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1))))
  (cbrt (sqrt (- (/ 1 x) 1)))
  (* (- (/ 1 x) 1) (sqrt (- (/ 1 x) 1)))
  (fabs (cbrt (- (/ 1 x) 1)))
  (sqrt (cbrt (- (/ 1 x) 1)))
  (sqrt (sqrt (- (/ 1 x) 1)))
  (sqrt (sqrt (- (/ 1 x) 1)))
  1
  (sqrt (- (/ 1 x) 1))
  (sqrt (+ 1 (sqrt (/ 1 x))))
  (sqrt (- (sqrt (/ 1 x)) 1))
  (sqrt (+ 1 (sqrt (/ 1 x))))
  (sqrt (- (sqrt (/ 1 x)) 1))
  (sqrt (+ (/ 1 (sqrt x)) 1))
  (sqrt (- (/ 1 (sqrt x)) 1))
  (sqrt (+ (/ 1 (sqrt x)) 1))
  (sqrt (- (/ 1 (sqrt x)) 1))
  (sqrt (+ (/ 1 (sqrt x)) 1))
  (sqrt (- (/ 1 (sqrt x)) 1))
  (sqrt (+ (/ 1 (sqrt x)) 1))
  (sqrt (- (/ 1 (sqrt x)) 1))
  (sqrt (+ 1 (sqrt (/ 1 x))))
  (sqrt (- (sqrt (/ 1 x)) 1))
  (sqrt (+ (/ 1 (sqrt x)) 1))
  (sqrt (- (/ 1 (sqrt x)) 1))
  (sqrt (+ (/ 1 (sqrt x)) 1))
  (sqrt (- (/ 1 (sqrt x)) 1))
  1
  (sqrt (- (/ 1 x) 1))
  1
  (sqrt (- (/ 1 x) 1))
  (sqrt (fma (* (/ 1 x) (/ 1 x)) (/ 1 x) -1))
  (sqrt (fma (/ 1 x) (+ (/ 1 x) 1) 1))
  (sqrt (fma (/ 1 x) (/ 1 x) -1))
  (sqrt (+ (/ 1 x) 1))
  1/2
  (sqrt (sqrt (- (/ 1 x) 1)))
  (sqrt (sqrt (- (/ 1 x) 1)))
  (real->posit16 (sqrt (- (/ 1 x) 1)))
  (expm1 (sqrt (- (/ 1 x) 1)))
  (log1p (sqrt (- (/ 1 x) 1)))
  (log (sqrt (- (/ 1 x) 1)))
  (exp (sqrt (- (/ 1 x) 1)))
  (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1))))
  (cbrt (sqrt (- (/ 1 x) 1)))
  (* (- (/ 1 x) 1) (sqrt (- (/ 1 x) 1)))
  (fabs (cbrt (- (/ 1 x) 1)))
  (sqrt (cbrt (- (/ 1 x) 1)))
  (sqrt (sqrt (- (/ 1 x) 1)))
  (sqrt (sqrt (- (/ 1 x) 1)))
  1
  (sqrt (- (/ 1 x) 1))
  (sqrt (+ 1 (sqrt (/ 1 x))))
  (sqrt (- (sqrt (/ 1 x)) 1))
  (sqrt (+ 1 (sqrt (/ 1 x))))
  (sqrt (- (sqrt (/ 1 x)) 1))
  (sqrt (+ (/ 1 (sqrt x)) 1))
  (sqrt (- (/ 1 (sqrt x)) 1))
  (sqrt (+ (/ 1 (sqrt x)) 1))
  (sqrt (- (/ 1 (sqrt x)) 1))
  (sqrt (+ (/ 1 (sqrt x)) 1))
  (sqrt (- (/ 1 (sqrt x)) 1))
  (sqrt (+ (/ 1 (sqrt x)) 1))
  (sqrt (- (/ 1 (sqrt x)) 1))
  (sqrt (+ 1 (sqrt (/ 1 x))))
  (sqrt (- (sqrt (/ 1 x)) 1))
  (sqrt (+ (/ 1 (sqrt x)) 1))
  (sqrt (- (/ 1 (sqrt x)) 1))
  (sqrt (+ (/ 1 (sqrt x)) 1))
  (sqrt (- (/ 1 (sqrt x)) 1))
  1
  (sqrt (- (/ 1 x) 1))
  1
  (sqrt (- (/ 1 x) 1))
  (sqrt (fma (* (/ 1 x) (/ 1 x)) (/ 1 x) -1))
  (sqrt (fma (/ 1 x) (+ (/ 1 x) 1) 1))
  (sqrt (fma (/ 1 x) (/ 1 x) -1))
  (sqrt (+ (/ 1 x) 1))
  1/2
  (sqrt (sqrt (- (/ 1 x) 1)))
  (sqrt (sqrt (- (/ 1 x) 1)))
  (real->posit16 (sqrt (- (/ 1 x) 1)))
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (fma (* (/ 1 (cbrt x)) (/ 1 (cbrt x))) (/ 1 (cbrt x)) -1)
  0
  (fma (* (/ 1 (cbrt x)) (/ 1 (cbrt x))) (/ 1 (cbrt x)) -1)
  0
  (fma (* (/ 1 (cbrt x)) (/ 1 (cbrt x))) (/ 1 (cbrt x)) -1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (fma (* (/ 1 (cbrt x)) (/ 1 (cbrt x))) (/ 1 (cbrt x)) -1)
  0
  (fma (* (/ 1 (cbrt x)) (/ 1 (cbrt x))) (/ 1 (cbrt x)) -1)
  0
  (fma (* (/ 1 (cbrt x)) (/ 1 (cbrt x))) (/ 1 (cbrt x)) -1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (fma (* (/ 1 (cbrt x)) (/ 1 (cbrt x))) (/ 1 (cbrt x)) -1)
  0
  (fma (* (/ 1 (cbrt x)) (/ 1 (cbrt x))) (/ 1 (cbrt x)) -1)
  0
  (fma (* (/ 1 (cbrt x)) (/ 1 (cbrt x))) (/ 1 (cbrt x)) -1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (expm1 (- (/ 1 x) 1))
  (log1p (- (/ 1 x) 1))
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  (exp (- (/ 1 x) 1))
  (log (- (/ 1 x) 1))
  (exp (- (/ 1 x) 1))
  (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))
  (cbrt (- (/ 1 x) 1))
  (* (- (/ 1 x) 1) (* (- (/ 1 x) 1) (- (/ 1 x) 1)))
  (sqrt (- (/ 1 x) 1))
  (sqrt (- (/ 1 x) 1))
  (fma (* (/ 1 x) (/ 1 x)) (/ 1 x) -1)
  (fma (/ 1 x) (+ (/ 1 x) 1) 1)
  -1
  (fma (/ 1 x) (/ 1 x) -1)
  (+ (/ 1 x) 1)
  (+ 1 (sqrt (/ 1 x)))
  (- (sqrt (/ 1 x)) 1)
  (+ 1 (sqrt (/ 1 x)))
  (- (sqrt (/ 1 x)) 1)
  (+ (/ 1 (sqrt x)) 1)
  (- (/ 1 (sqrt x)) 1)
  (+ (/ 1 (sqrt x)) 1)
  (- (/ 1 (sqrt x)) 1)
  (+ (/ 1 (sqrt x)) 1)
  (- (/ 1 (sqrt x)) 1)
  (+ (/ 1 (sqrt x)) 1)
  (- (/ 1 (sqrt x)) 1)
  (+ 1 (sqrt (/ 1 x)))
  (- (sqrt (/ 1 x)) 1)
  (+ (/ 1 (sqrt x)) 1)
  (- (/ 1 (sqrt x)) 1)
  (+ (/ 1 (sqrt x)) 1)
  (- (/ 1 (sqrt x)) 1)
  (- (/ 1 x) 1)
  (- (/ 1 x) 1)
  -1
  (real->posit16 (- (/ 1 x) 1))
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (fma (* (/ 1 (cbrt x)) (/ 1 (cbrt x))) (/ 1 (cbrt x)) -1)
  0
  (fma (* (/ 1 (cbrt x)) (/ 1 (cbrt x))) (/ 1 (cbrt x)) -1)
  0
  (fma (* (/ 1 (cbrt x)) (/ 1 (cbrt x))) (/ 1 (cbrt x)) -1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (fma (* (/ 1 (cbrt x)) (/ 1 (cbrt x))) (/ 1 (cbrt x)) -1)
  0
  (fma (* (/ 1 (cbrt x)) (/ 1 (cbrt x))) (/ 1 (cbrt x)) -1)
  0
  (fma (* (/ 1 (cbrt x)) (/ 1 (cbrt x))) (/ 1 (cbrt x)) -1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (fma (* (/ 1 (cbrt x)) (/ 1 (cbrt x))) (/ 1 (cbrt x)) -1)
  0
  (fma (* (/ 1 (cbrt x)) (/ 1 (cbrt x))) (/ 1 (cbrt x)) -1)
  0
  (fma (* (/ 1 (cbrt x)) (/ 1 (cbrt x))) (/ 1 (cbrt x)) -1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (expm1 (- (/ 1 x) 1))
  (log1p (- (/ 1 x) 1))
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  (exp (- (/ 1 x) 1))
  (log (- (/ 1 x) 1))
  (exp (- (/ 1 x) 1))
  (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))
  (cbrt (- (/ 1 x) 1))
  (* (- (/ 1 x) 1) (* (- (/ 1 x) 1) (- (/ 1 x) 1)))
  (sqrt (- (/ 1 x) 1))
  (sqrt (- (/ 1 x) 1))
  (fma (* (/ 1 x) (/ 1 x)) (/ 1 x) -1)
  (fma (/ 1 x) (+ (/ 1 x) 1) 1)
  -1
  (fma (/ 1 x) (/ 1 x) -1)
  (+ (/ 1 x) 1)
  (+ 1 (sqrt (/ 1 x)))
  (- (sqrt (/ 1 x)) 1)
  (+ 1 (sqrt (/ 1 x)))
  (- (sqrt (/ 1 x)) 1)
  (+ (/ 1 (sqrt x)) 1)
  (- (/ 1 (sqrt x)) 1)
  (+ (/ 1 (sqrt x)) 1)
  (- (/ 1 (sqrt x)) 1)
  (+ (/ 1 (sqrt x)) 1)
  (- (/ 1 (sqrt x)) 1)
  (+ (/ 1 (sqrt x)) 1)
  (- (/ 1 (sqrt x)) 1)
  (+ 1 (sqrt (/ 1 x)))
  (- (sqrt (/ 1 x)) 1)
  (+ (/ 1 (sqrt x)) 1)
  (- (/ 1 (sqrt x)) 1)
  (+ (/ 1 (sqrt x)) 1)
  (- (/ 1 (sqrt x)) 1)
  (- (/ 1 x) 1)
  (- (/ 1 x) 1)
  -1
  (real->posit16 (- (/ 1 x) 1))
  (- (- (* (* +nan.0 x) x) +nan.0) (* +nan.0 x))
  (+ (* (/ (/ 1 (sqrt -1)) x) (+ (/ 1/8 x) 1/2)) (sqrt -1))
  (+ (* (/ (/ 1 (sqrt -1)) x) (+ (/ 1/8 x) 1/2)) (sqrt -1))
  (- (- (* (* +nan.0 x) x) +nan.0) (* +nan.0 x))
  (+ (* (/ (/ 1 (sqrt -1)) x) (+ (/ 1/8 x) 1/2)) (sqrt -1))
  (+ (* (/ (/ 1 (sqrt -1)) x) (+ (/ 1/8 x) 1/2)) (sqrt -1))
  (- (/ 1 x) 1)
  (- (/ 1 x) 1)
  (- (/ 1 x) 1)
  (- (/ 1 x) 1)
  (- (/ 1 x) 1)
  (- (/ 1 x) 1)
5.297 * * * [progress]: adding candidates to table
8.176 * [progress]: [Phase 3 of 3] Extracting.
8.177 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>)
8.178 * * * [regime-changes]: Trying 5 branch expressions: (x (/ 1 x) (- (/ 1 x) 1) (log (- (/ 1 x) 1)) (- (log (- (/ 1 x) 1))))
8.178 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>)
8.211 * * * * [regimes]: Trying to branch on (/ 1 x) from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>)
8.248 * * * * [regimes]: Trying to branch on (- (/ 1 x) 1) from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>)
8.280 * * * * [regimes]: Trying to branch on (log (- (/ 1 x) 1)) from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>)
8.320 * * * * [regimes]: Trying to branch on (- (log (- (/ 1 x) 1))) from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>)
8.348 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
8.349 * [simplify]: Simplifying:
  (- (log (- (/ 1 x) 1)))
8.349 * * [simplify]: iteration 1: (6 enodes)
8.349 * * [simplify]: iteration 2: (8 enodes)
8.350 * * [simplify]: Extracting #0: cost 1 inf + 0
8.350 * * [simplify]: Extracting #1: cost 2 inf + 0
8.350 * * [simplify]: Extracting #2: cost 3 inf + 0
8.350 * * [simplify]: Extracting #3: cost 5 inf + 0
8.350 * * [simplify]: Extracting #4: cost 5 inf + 1
8.350 * * [simplify]: Extracting #5: cost 0 inf + 470
8.350 * [simplify]: Simplified to:
  (- (log (- (/ 1 x) 1)))
11.663 * [regime-testing]: Baseline error score: 0.02718205714566431
11.667 * [regime-testing]: Oracle error score: 0.026547375860872354
11.676 * [regime-testing]: End program error score: 0.02718205714566431