1544779551.063 * [misc]progress:  [Phase 1 of 3] Setting up.
1544779551.063 * * * [misc]progress:  [1/2] Preparing points
1544779551.063 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1544779551.146 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544779551.146 * * * * [misc]points:  Sampling 59 additional inputs, on iter 1 have 197 / 256
1544779551.169 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544779551.170 * * * * [misc]points:  Sampling 15 additional inputs, on iter 2 have 241 / 256
1544779551.176 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544779551.176 * * * * [misc]points:  Sampling 5 additional inputs, on iter 3 have 251 / 256
1544779551.179 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544779551.179 * * * * [misc]points:  Sampling 4 additional inputs, on iter 4 have 254 / 256
1544779551.183 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544779551.183 * * * * [exit]points:  Sampled 256 points with exact outputs
1544779551.183 * * * [misc]progress:  [2/2] Setting up program.
1544779551.189 * [misc]progress:  [Phase 2 of 3] Improving.
1544779551.189 * [enter]simplify:  Simplifying (log (+ 1 x))
1544779551.190 * * [misc]simplify:  iters left: 3 (4 enodes)
1544779551.192 * * [misc]simplify:  iters left: 2 (7 enodes)
1544779551.194 * [exit]simplify:  Simplified to (log (+ x 1))
1544779551.205 * * [misc]progress:  iteration 1 / 4
1544779551.205 * * * [misc]progress:  picking best candidate
1544779551.210 * * * * [misc]pick:  Picked  #<alt (λ (x) (log (+ 1 x)))>
1544779551.210 * * * [misc]progress:  localizing error
1544779551.225 * * * [misc]progress:  generating rewritten candidates
1544779551.225 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1544779551.247 * * * [misc]progress:  generating series expansions
1544779551.247 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1544779551.247 * [misc]backup-simplify:  Simplify (log (+ 1 x)) into (log (+ x 1))
1544779551.247 * [misc]approximate:  Taking taylor expansion of (log (+ x 1)) in (x) around 0
1544779551.247 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1544779551.247 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544779551.247 * [misc]taylor:  Taking taylor expansion of x in x
1544779551.247 * [misc]backup-simplify:  Simplify 0 into 0
1544779551.247 * [misc]backup-simplify:  Simplify 1 into 1
1544779551.247 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779551.247 * [misc]backup-simplify:  Simplify 1 into 1
1544779551.248 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779551.248 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779551.248 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1544779551.248 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544779551.248 * [misc]taylor:  Taking taylor expansion of x in x
1544779551.248 * [misc]backup-simplify:  Simplify 0 into 0
1544779551.248 * [misc]backup-simplify:  Simplify 1 into 1
1544779551.248 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779551.248 * [misc]backup-simplify:  Simplify 1 into 1
1544779551.248 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779551.248 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779551.249 * [misc]backup-simplify:  Simplify 0 into 0
1544779551.249 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779551.251 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1544779551.251 * [misc]backup-simplify:  Simplify 1 into 1
1544779551.252 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779551.256 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1544779551.257 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544779551.257 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779551.264 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
1544779551.264 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1544779551.264 * [misc]backup-simplify:  Simplify (+ (* 1/3 (pow x 3)) (+ (* -1/2 (pow x 2)) (* 1 x))) into (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
1544779551.265 * [misc]backup-simplify:  Simplify (log (+ 1 (/ 1 x))) into (log (+ (/ 1 x) 1))
1544779551.265 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in (x) around 0
1544779551.265 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1544779551.265 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1544779551.265 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779551.265 * [misc]taylor:  Taking taylor expansion of x in x
1544779551.265 * [misc]backup-simplify:  Simplify 0 into 0
1544779551.265 * [misc]backup-simplify:  Simplify 1 into 1
1544779551.265 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779551.265 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779551.265 * [misc]backup-simplify:  Simplify 1 into 1
1544779551.265 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779551.265 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779551.265 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1544779551.265 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1544779551.265 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779551.265 * [misc]taylor:  Taking taylor expansion of x in x
1544779551.265 * [misc]backup-simplify:  Simplify 0 into 0
1544779551.265 * [misc]backup-simplify:  Simplify 1 into 1
1544779551.266 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779551.266 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779551.266 * [misc]backup-simplify:  Simplify 1 into 1
1544779551.266 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779551.266 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779551.266 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1544779551.266 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1544779551.267 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544779551.267 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779551.269 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1544779551.269 * [misc]backup-simplify:  Simplify 1 into 1
1544779551.270 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779551.270 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779551.274 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1544779551.274 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544779551.275 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* 1 (/ 1 x)) (- (log (/ 1 x))))) into (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779551.275 * [misc]backup-simplify:  Simplify (log (+ 1 (/ 1 (- x)))) into (log (- 1 (/ 1 x)))
1544779551.275 * [misc]approximate:  Taking taylor expansion of (log (- 1 (/ 1 x))) in (x) around 0
1544779551.275 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1544779551.275 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1544779551.275 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779551.275 * [misc]backup-simplify:  Simplify 1 into 1
1544779551.275 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779551.275 * [misc]taylor:  Taking taylor expansion of x in x
1544779551.275 * [misc]backup-simplify:  Simplify 0 into 0
1544779551.275 * [misc]backup-simplify:  Simplify 1 into 1
1544779551.276 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779551.276 * [misc]backup-simplify:  Simplify (- 1) into -1
1544779551.276 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544779551.276 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544779551.276 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1544779551.276 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1544779551.276 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779551.276 * [misc]backup-simplify:  Simplify 1 into 1
1544779551.276 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779551.276 * [misc]taylor:  Taking taylor expansion of x in x
1544779551.276 * [misc]backup-simplify:  Simplify 0 into 0
1544779551.276 * [misc]backup-simplify:  Simplify 1 into 1
1544779551.276 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779551.277 * [misc]backup-simplify:  Simplify (- 1) into -1
1544779551.277 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544779551.277 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544779551.277 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1544779551.278 * [misc]backup-simplify:  Simplify (- (log -1) (log x)) into (- (log -1) (log x))
1544779551.278 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544779551.278 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779551.278 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779551.281 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1544779551.281 * [misc]backup-simplify:  Simplify -1 into -1
1544779551.281 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779551.281 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779551.281 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779551.286 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
1544779551.286 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544779551.287 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* -1 (/ 1 (- x))) (- (log -1) (log (/ 1 (- x)))))) into (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779551.287 * * * [misc]progress:  simplifying candidates
1544779551.287 * * * * [misc]progress:  [ 1 / 17 ] simplifiying candidate #<alt (λ (x) (+ (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (log (cbrt (+ 1 x)))))>
1544779551.287 * [enter]simplify:  Simplifying (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))
1544779551.288 * * [misc]simplify:  iters left: 6 (6 enodes)
1544779551.290 * * [misc]simplify:  iters left: 5 (11 enodes)
1544779551.294 * [exit]simplify:  Simplified to (log (* (cbrt (+ x 1)) (cbrt (+ x 1))))
1544779551.294 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (log (cbrt (+ 1 x)))))
1544779551.294 * * * * [misc]progress:  [ 2 / 17 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))>
1544779551.294 * [enter]simplify:  Simplifying (log (sqrt (+ 1 x)))
1544779551.295 * * [misc]simplify:  iters left: 4 (5 enodes)
1544779551.297 * * [misc]simplify:  iters left: 3 (8 enodes)
1544779551.299 * [exit]simplify:  Simplified to (log (sqrt (+ x 1)))
1544779551.299 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log (sqrt (+ x 1))) (log (sqrt (+ 1 x)))))
1544779551.300 * * * * [misc]progress:  [ 3 / 17 ] simplifiying candidate #<alt (λ (x) (+ (log 1) (log (+ 1 x))))>
1544779551.300 * [enter]simplify:  Simplifying (log 1)
1544779551.300 * * [misc]simplify:  iters left: 1 (2 enodes)
1544779551.302 * [exit]simplify:  Simplified to 0
1544779551.302 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ 0 (log (+ 1 x))))
1544779551.302 * * * * [misc]progress:  [ 4 / 17 ] simplifiying candidate #<alt (λ (x) (- (log (+ (pow 1 3) (pow x 3))) (log (+ (* 1 1) (- (* x x) (* 1 x))))))>
1544779551.302 * [enter]simplify:  Simplifying (log (+ (pow 1 3) (pow x 3)))
1544779551.303 * * [misc]simplify:  iters left: 4 (7 enodes)
1544779551.305 * * [misc]simplify:  iters left: 3 (15 enodes)
1544779551.308 * [exit]simplify:  Simplified to (log (+ 1 (pow x 3)))
1544779551.308 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (log (+ 1 (pow x 3))) (log (+ (* 1 1) (- (* x x) (* 1 x))))))
1544779551.308 * * * * [misc]progress:  [ 5 / 17 ] simplifiying candidate #<alt (λ (x) (- (log (- (* 1 1) (* x x))) (log (- 1 x))))>
1544779551.308 * [enter]simplify:  Simplifying (log (- (* 1 1) (* x x)))
1544779551.309 * * [misc]simplify:  iters left: 5 (6 enodes)
1544779551.310 * * [misc]simplify:  iters left: 4 (10 enodes)
1544779551.312 * * [misc]simplify:  iters left: 3 (14 enodes)
1544779551.314 * [exit]simplify:  Simplified to (log (- 1 (* x x)))
1544779551.314 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (log (- 1 (* x x))) (log (- 1 x))))
1544779551.314 * * * * [misc]progress:  [ 6 / 17 ] simplifiying candidate #<alt (λ (x) (* 1 (log (+ 1 x))))>
1544779551.314 * * * * [misc]progress:  [ 7 / 17 ] simplifiying candidate #<alt (λ (x) (pow (log (+ 1 x)) 1))>
1544779551.314 * * * * [misc]progress:  [ 8 / 17 ] simplifiying candidate #<alt (λ (x) (log (+ 1 x)))>
1544779551.314 * [enter]simplify:  Simplifying (+ 1 x)
1544779551.314 * * [misc]simplify:  iters left: 2 (3 enodes)
1544779551.315 * * [misc]simplify:  iters left: 1 (6 enodes)
1544779551.316 * [exit]simplify:  Simplified to (+ x 1)
1544779551.316 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (+ x 1)))
1544779551.316 * * * * [misc]progress:  [ 9 / 17 ] simplifiying candidate #<alt (λ (x) (exp (log (log (+ 1 x)))))>
1544779551.316 * * * * [misc]progress:  [ 10 / 17 ] simplifiying candidate #<alt (λ (x) (log (exp (log (+ 1 x)))))>
1544779551.316 * * * * [misc]progress:  [ 11 / 17 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (log (+ 1 x))) (cbrt (log (+ 1 x)))) (cbrt (log (+ 1 x)))))>
1544779551.316 * * * * [misc]progress:  [ 12 / 17 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x)))))>
1544779551.316 * * * * [misc]progress:  [ 13 / 17 ] simplifiying candidate #<alt (λ (x) (* (sqrt (log (+ 1 x))) (sqrt (log (+ 1 x)))))>
1544779551.316 * * * * [misc]progress:  [ 14 / 17 ] simplifiying candidate #<alt (λ (x) (* 1 (log (+ 1 x))))>
1544779551.316 * * * * [misc]progress:  [ 15 / 17 ] simplifiying candidate #<alt (λ (x) (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2))))>
1544779551.316 * [enter]simplify:  Simplifying (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
1544779551.317 * * [misc]simplify:  iters left: 6 (11 enodes)
1544779551.320 * * [misc]simplify:  iters left: 5 (21 enodes)
1544779551.327 * * [misc]simplify:  iters left: 4 (51 enodes)
1544779551.339 * * [misc]simplify:  iters left: 3 (83 enodes)
1544779551.368 * * [misc]simplify:  iters left: 2 (112 enodes)
1544779551.390 * * [misc]simplify:  iters left: 1 (143 enodes)
1544779551.474 * [exit]simplify:  Simplified to (+ (* (- (* x 1/3) 1/2) (* x x)) x)
1544779551.474 * [misc]simplify:  Simplified (2) to (λ (x) (+ (* (- (* x 1/3) 1/2) (* x x)) x))
1544779551.474 * * * * [misc]progress:  [ 16 / 17 ] simplifiying candidate #<alt (λ (x) (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2))))))>
1544779551.474 * [enter]simplify:  Simplifying (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779551.475 * * [misc]simplify:  iters left: 6 (11 enodes)
1544779551.479 * * [misc]simplify:  iters left: 5 (26 enodes)
1544779551.485 * * [misc]simplify:  iters left: 4 (38 enodes)
1544779551.496 * * [misc]simplify:  iters left: 3 (74 enodes)
1544779551.529 * * [misc]simplify:  iters left: 2 (122 enodes)
1544779551.562 * * [misc]simplify:  iters left: 1 (167 enodes)
1544779551.658 * [exit]simplify:  Simplified to (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x)))
1544779551.658 * [misc]simplify:  Simplified (2) to (λ (x) (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x))))
1544779551.658 * * * * [misc]progress:  [ 17 / 17 ] simplifiying candidate #<alt (λ (x) (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2))))))>
1544779551.658 * [enter]simplify:  Simplifying (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779551.659 * * [misc]simplify:  iters left: 6 (15 enodes)
1544779551.665 * * [misc]simplify:  iters left: 5 (31 enodes)
1544779551.673 * * [misc]simplify:  iters left: 4 (64 enodes)
1544779551.710 * * [misc]simplify:  iters left: 3 (157 enodes)
1544779551.832 * * [misc]simplify:  iters left: 2 (404 enodes)
1544779552.238 * [exit]simplify:  Simplified to (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x)))
1544779552.239 * [misc]simplify:  Simplified (2) to (λ (x) (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x))))
1544779552.239 * * * [misc]progress:  adding candidates to table
1544779552.440 * * [misc]progress:  iteration 2 / 4
1544779552.440 * * * [misc]progress:  picking best candidate
1544779552.454 * * * * [misc]pick:  Picked  #<alt (λ (x) (+ (* (- (* x 1/3) 1/2) (* x x)) x))>
1544779552.454 * * * [misc]progress:  localizing error
1544779552.474 * * * [misc]progress:  generating rewritten candidates
1544779552.474 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 1 1)
1544779552.476 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
1544779552.515 * * * [misc]progress:  generating series expansions
1544779552.515 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 1 1)
1544779552.516 * [misc]backup-simplify:  Simplify (* x 1/3) into (* 1/3 x)
1544779552.516 * [misc]approximate:  Taking taylor expansion of (* 1/3 x) in (x) around 0
1544779552.516 * [misc]taylor:  Taking taylor expansion of (* 1/3 x) in x
1544779552.516 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1544779552.516 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1544779552.516 * [misc]taylor:  Taking taylor expansion of x in x
1544779552.516 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.516 * [misc]backup-simplify:  Simplify 1 into 1
1544779552.516 * [misc]taylor:  Taking taylor expansion of (* 1/3 x) in x
1544779552.516 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1544779552.516 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1544779552.516 * [misc]taylor:  Taking taylor expansion of x in x
1544779552.516 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.516 * [misc]backup-simplify:  Simplify 1 into 1
1544779552.517 * [misc]backup-simplify:  Simplify (* 1/3 0) into 0
1544779552.517 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.517 * [misc]backup-simplify:  Simplify (+ (* 1/3 1) (* 0 0)) into 1/3
1544779552.517 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1544779552.517 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0
1544779552.517 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.518 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544779552.518 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.518 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1544779552.518 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.518 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1544779552.519 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.519 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1544779552.519 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.520 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1544779552.520 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.520 * [misc]backup-simplify:  Simplify (* 1/3 x) into (* 1/3 x)
1544779552.520 * [misc]backup-simplify:  Simplify (* (/ 1 x) 1/3) into (/ 1/3 x)
1544779552.520 * [misc]approximate:  Taking taylor expansion of (/ 1/3 x) in (x) around 0
1544779552.520 * [misc]taylor:  Taking taylor expansion of (/ 1/3 x) in x
1544779552.520 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1544779552.520 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1544779552.520 * [misc]taylor:  Taking taylor expansion of x in x
1544779552.520 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.520 * [misc]backup-simplify:  Simplify 1 into 1
1544779552.520 * [misc]backup-simplify:  Simplify (/ 1/3 1) into 1/3
1544779552.520 * [misc]taylor:  Taking taylor expansion of (/ 1/3 x) in x
1544779552.520 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1544779552.520 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1544779552.520 * [misc]taylor:  Taking taylor expansion of x in x
1544779552.521 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.521 * [misc]backup-simplify:  Simplify 1 into 1
1544779552.521 * [misc]backup-simplify:  Simplify (/ 1/3 1) into 1/3
1544779552.521 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1544779552.521 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)))) into 0
1544779552.521 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.522 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.522 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.522 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.522 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.523 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.523 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.523 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.523 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.524 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.524 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.524 * [misc]backup-simplify:  Simplify (* 1/3 (/ 1 (/ 1 x))) into (* 1/3 x)
1544779552.524 * [misc]backup-simplify:  Simplify (* (/ 1 (- x)) 1/3) into (/ -1/3 x)
1544779552.524 * [misc]approximate:  Taking taylor expansion of (/ -1/3 x) in (x) around 0
1544779552.524 * [misc]taylor:  Taking taylor expansion of (/ -1/3 x) in x
1544779552.524 * [misc]taylor:  Taking taylor expansion of -1/3 in x
1544779552.524 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1544779552.524 * [misc]taylor:  Taking taylor expansion of x in x
1544779552.525 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.525 * [misc]backup-simplify:  Simplify 1 into 1
1544779552.525 * [misc]backup-simplify:  Simplify (/ -1/3 1) into -1/3
1544779552.525 * [misc]taylor:  Taking taylor expansion of (/ -1/3 x) in x
1544779552.525 * [misc]taylor:  Taking taylor expansion of -1/3 in x
1544779552.525 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1544779552.525 * [misc]taylor:  Taking taylor expansion of x in x
1544779552.525 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.525 * [misc]backup-simplify:  Simplify 1 into 1
1544779552.525 * [misc]backup-simplify:  Simplify (/ -1/3 1) into -1/3
1544779552.525 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1544779552.525 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)))) into 0
1544779552.525 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.526 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.526 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.526 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.526 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.527 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.527 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.527 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.527 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.528 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.528 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.528 * [misc]backup-simplify:  Simplify (* -1/3 (/ 1 (/ 1 (- x)))) into (* 1/3 x)
1544779552.528 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
1544779552.529 * [misc]backup-simplify:  Simplify (* (- (* x 1/3) 1/2) (* x x)) into (* (- (* 1/3 x) 1/2) (pow x 2))
1544779552.529 * [misc]approximate:  Taking taylor expansion of (* (- (* 1/3 x) 1/2) (pow x 2)) in (x) around 0
1544779552.529 * [misc]taylor:  Taking taylor expansion of (* (- (* 1/3 x) 1/2) (pow x 2)) in x
1544779552.529 * [misc]taylor:  Taking taylor expansion of (- (* 1/3 x) 1/2) in x
1544779552.529 * [misc]taylor:  Taking taylor expansion of (* 1/3 x) in x
1544779552.529 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1544779552.529 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1544779552.529 * [misc]taylor:  Taking taylor expansion of x in x
1544779552.529 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.529 * [misc]backup-simplify:  Simplify 1 into 1
1544779552.529 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1544779552.529 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1544779552.529 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544779552.529 * [misc]taylor:  Taking taylor expansion of x in x
1544779552.529 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.529 * [misc]backup-simplify:  Simplify 1 into 1
1544779552.529 * [misc]taylor:  Taking taylor expansion of (* (- (* 1/3 x) 1/2) (pow x 2)) in x
1544779552.529 * [misc]taylor:  Taking taylor expansion of (- (* 1/3 x) 1/2) in x
1544779552.529 * [misc]taylor:  Taking taylor expansion of (* 1/3 x) in x
1544779552.529 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1544779552.529 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1544779552.530 * [misc]taylor:  Taking taylor expansion of x in x
1544779552.530 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.530 * [misc]backup-simplify:  Simplify 1 into 1
1544779552.530 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1544779552.530 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1544779552.530 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544779552.530 * [misc]taylor:  Taking taylor expansion of x in x
1544779552.530 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.530 * [misc]backup-simplify:  Simplify 1 into 1
1544779552.530 * [misc]backup-simplify:  Simplify (* 1/3 0) into 0
1544779552.530 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1544779552.530 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1544779552.531 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544779552.531 * [misc]backup-simplify:  Simplify (* -1/2 1) into -1/2
1544779552.531 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544779552.531 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544779552.531 * [misc]backup-simplify:  Simplify (+ (* 1/3 1) (* 0 0)) into 1/3
1544779552.531 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779552.532 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1544779552.532 * [misc]backup-simplify:  Simplify (+ (* -1/2 0) (* 1/3 1)) into 1/3
1544779552.532 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1544779552.532 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544779552.532 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0
1544779552.533 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779552.533 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779552.533 * [misc]backup-simplify:  Simplify (+ (* -1/2 0) (+ (* 1/3 0) (* 0 1))) into 0
1544779552.533 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.533 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544779552.534 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544779552.534 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779552.534 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779552.534 * [misc]backup-simplify:  Simplify (+ (* -1/2 0) (+ (* 1/3 0) (+ (* 0 0) (* 0 1)))) into 0
1544779552.534 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.535 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544779552.535 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1544779552.535 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779552.535 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779552.536 * [misc]backup-simplify:  Simplify (+ (* -1/2 0) (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544779552.536 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.536 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544779552.536 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1544779552.536 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779552.536 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779552.537 * [misc]backup-simplify:  Simplify (+ (* -1/2 0) (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544779552.537 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.537 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544779552.537 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1544779552.537 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779552.537 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779552.538 * [misc]backup-simplify:  Simplify (+ (* -1/2 0) (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544779552.538 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.538 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1544779552.538 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1544779552.538 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779552.539 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779552.539 * [misc]backup-simplify:  Simplify (+ (* -1/2 0) (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1544779552.539 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.539 * [misc]backup-simplify:  Simplify (+ (* 1/3 (pow x 3)) (* -1/2 (pow x 2))) into (- (* 1/3 (pow x 3)) (* 1/2 (pow x 2)))
1544779552.539 * [misc]backup-simplify:  Simplify (* (- (* (/ 1 x) 1/3) 1/2) (* (/ 1 x) (/ 1 x))) into (/ (- (* 1/3 (/ 1 x)) 1/2) (pow x 2))
1544779552.539 * [misc]approximate:  Taking taylor expansion of (/ (- (* 1/3 (/ 1 x)) 1/2) (pow x 2)) in (x) around 0
1544779552.539 * [misc]taylor:  Taking taylor expansion of (/ (- (* 1/3 (/ 1 x)) 1/2) (pow x 2)) in x
1544779552.539 * [misc]taylor:  Taking taylor expansion of (- (* 1/3 (/ 1 x)) 1/2) in x
1544779552.539 * [misc]taylor:  Taking taylor expansion of (* 1/3 (/ 1 x)) in x
1544779552.539 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1544779552.539 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1544779552.539 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779552.539 * [misc]taylor:  Taking taylor expansion of x in x
1544779552.539 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.539 * [misc]backup-simplify:  Simplify 1 into 1
1544779552.539 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779552.540 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1544779552.540 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1544779552.540 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544779552.540 * [misc]taylor:  Taking taylor expansion of x in x
1544779552.540 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.540 * [misc]backup-simplify:  Simplify 1 into 1
1544779552.540 * [misc]backup-simplify:  Simplify (* 1/3 1) into 1/3
1544779552.540 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1544779552.540 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544779552.540 * [misc]backup-simplify:  Simplify (/ 1/3 1) into 1/3
1544779552.540 * [misc]taylor:  Taking taylor expansion of (/ (- (* 1/3 (/ 1 x)) 1/2) (pow x 2)) in x
1544779552.540 * [misc]taylor:  Taking taylor expansion of (- (* 1/3 (/ 1 x)) 1/2) in x
1544779552.540 * [misc]taylor:  Taking taylor expansion of (* 1/3 (/ 1 x)) in x
1544779552.540 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1544779552.540 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1544779552.540 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779552.540 * [misc]taylor:  Taking taylor expansion of x in x
1544779552.540 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.540 * [misc]backup-simplify:  Simplify 1 into 1
1544779552.540 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779552.540 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1544779552.540 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1544779552.540 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544779552.540 * [misc]taylor:  Taking taylor expansion of x in x
1544779552.540 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.540 * [misc]backup-simplify:  Simplify 1 into 1
1544779552.541 * [misc]backup-simplify:  Simplify (* 1/3 1) into 1/3
1544779552.541 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1544779552.541 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544779552.541 * [misc]backup-simplify:  Simplify (/ 1/3 1) into 1/3
1544779552.541 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1544779552.541 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544779552.541 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 1)) into 0
1544779552.541 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1544779552.541 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1544779552.542 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544779552.542 * [misc]backup-simplify:  Simplify (- (/ -1/2 1) (+ (* 1/3 (/ 0 1)))) into -1/2
1544779552.542 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544779552.542 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.542 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0
1544779552.542 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779552.542 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779552.543 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544779552.543 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)))) into 0
1544779552.543 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.543 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.543 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544779552.543 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779552.543 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779552.544 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544779552.544 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.544 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.544 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.544 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544779552.544 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779552.545 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779552.545 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544779552.545 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.545 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.545 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.546 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544779552.546 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779552.546 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779552.546 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544779552.546 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.546 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.547 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.547 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544779552.547 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779552.547 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779552.547 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544779552.548 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.548 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.548 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.548 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1544779552.548 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779552.549 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779552.549 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1544779552.549 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.549 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.550 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 (/ 1 x)) 2)) (* 1/3 (pow (/ 1 (/ 1 x)) 3))) into (- (* 1/3 (pow x 3)) (* 1/2 (pow x 2)))
1544779552.550 * [misc]backup-simplify:  Simplify (* (- (* (/ 1 (- x)) 1/3) 1/2) (* (/ 1 (- x)) (/ 1 (- x)))) into (* -1 (/ (+ (* 1/3 (/ 1 x)) 1/2) (pow x 2)))
1544779552.550 * [misc]approximate:  Taking taylor expansion of (* -1 (/ (+ (* 1/3 (/ 1 x)) 1/2) (pow x 2))) in (x) around 0
1544779552.550 * [misc]taylor:  Taking taylor expansion of (* -1 (/ (+ (* 1/3 (/ 1 x)) 1/2) (pow x 2))) in x
1544779552.550 * [misc]taylor:  Taking taylor expansion of -1 in x
1544779552.550 * [misc]backup-simplify:  Simplify -1 into -1
1544779552.550 * [misc]taylor:  Taking taylor expansion of (/ (+ (* 1/3 (/ 1 x)) 1/2) (pow x 2)) in x
1544779552.550 * [misc]taylor:  Taking taylor expansion of (+ (* 1/3 (/ 1 x)) 1/2) in x
1544779552.550 * [misc]taylor:  Taking taylor expansion of (* 1/3 (/ 1 x)) in x
1544779552.550 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1544779552.550 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1544779552.550 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779552.550 * [misc]taylor:  Taking taylor expansion of x in x
1544779552.550 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.550 * [misc]backup-simplify:  Simplify 1 into 1
1544779552.550 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779552.550 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1544779552.550 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1544779552.550 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544779552.550 * [misc]taylor:  Taking taylor expansion of x in x
1544779552.550 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.550 * [misc]backup-simplify:  Simplify 1 into 1
1544779552.550 * [misc]backup-simplify:  Simplify (* 1/3 1) into 1/3
1544779552.550 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1544779552.551 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544779552.551 * [misc]backup-simplify:  Simplify (/ 1/3 1) into 1/3
1544779552.551 * [misc]taylor:  Taking taylor expansion of (* -1 (/ (+ (* 1/3 (/ 1 x)) 1/2) (pow x 2))) in x
1544779552.551 * [misc]taylor:  Taking taylor expansion of -1 in x
1544779552.551 * [misc]backup-simplify:  Simplify -1 into -1
1544779552.551 * [misc]taylor:  Taking taylor expansion of (/ (+ (* 1/3 (/ 1 x)) 1/2) (pow x 2)) in x
1544779552.551 * [misc]taylor:  Taking taylor expansion of (+ (* 1/3 (/ 1 x)) 1/2) in x
1544779552.551 * [misc]taylor:  Taking taylor expansion of (* 1/3 (/ 1 x)) in x
1544779552.551 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1544779552.551 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1544779552.551 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779552.551 * [misc]taylor:  Taking taylor expansion of x in x
1544779552.551 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.551 * [misc]backup-simplify:  Simplify 1 into 1
1544779552.551 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779552.551 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1544779552.551 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1544779552.551 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1544779552.551 * [misc]taylor:  Taking taylor expansion of x in x
1544779552.551 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.551 * [misc]backup-simplify:  Simplify 1 into 1
1544779552.551 * [misc]backup-simplify:  Simplify (* 1/3 1) into 1/3
1544779552.551 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1544779552.551 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544779552.551 * [misc]backup-simplify:  Simplify (/ 1/3 1) into 1/3
1544779552.552 * [misc]backup-simplify:  Simplify (* -1 1/3) into -1/3
1544779552.552 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1544779552.552 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544779552.552 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 1)) into 0
1544779552.552 * [misc]backup-simplify:  Simplify (+ 0 1/2) into 1/2
1544779552.552 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544779552.552 * [misc]backup-simplify:  Simplify (- (/ 1/2 1) (+ (* 1/3 (/ 0 1)))) into 1/2
1544779552.552 * [misc]backup-simplify:  Simplify (+ (* -1 1/2) (* 0 1/3)) into -1/2
1544779552.553 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544779552.553 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.553 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0
1544779552.553 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779552.553 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544779552.553 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)))) into 0
1544779552.554 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1/2) (* 0 1/3))) into 0
1544779552.554 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.554 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.554 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544779552.554 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779552.554 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544779552.554 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.555 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 1/3)))) into 0
1544779552.555 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.555 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.555 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544779552.555 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779552.555 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544779552.556 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.556 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 1/3))))) into 0
1544779552.556 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.556 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.556 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544779552.557 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779552.557 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544779552.557 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.557 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 1/3)))))) into 0
1544779552.557 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.558 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.558 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544779552.558 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779552.558 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544779552.559 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.559 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 1/3))))))) into 0
1544779552.559 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.559 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.560 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1544779552.560 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779552.560 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1544779552.560 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779552.561 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 1/3)))))))) into 0
1544779552.561 * [misc]backup-simplify:  Simplify 0 into 0
1544779552.561 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 (/ 1 (- x))) 2)) (* -1/3 (pow (/ 1 (/ 1 (- x))) 3))) into (- (* 1/3 (pow x 3)) (* 1/2 (pow x 2)))
1544779552.561 * * * [misc]progress:  simplifying candidates
1544779552.561 * * * * [misc]progress:  [ 1 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (- (pow (* x 1/3) 1) 1/2) (* x x)) x))>
1544779552.561 * * * * [misc]progress:  [ 2 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (- (exp (log (* x 1/3))) 1/2) (* x x)) x))>
1544779552.561 * * * * [misc]progress:  [ 3 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (- (log (exp (* x 1/3))) 1/2) (* x x)) x))>
1544779552.561 * * * * [misc]progress:  [ 4 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (- (* (* (cbrt (* x 1/3)) (cbrt (* x 1/3))) (cbrt (* x 1/3))) 1/2) (* x x)) x))>
1544779552.561 * * * * [misc]progress:  [ 5 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (- (cbrt (* (* (* x 1/3) (* x 1/3)) (* x 1/3))) 1/2) (* x x)) x))>
1544779552.561 * * * * [misc]progress:  [ 6 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (- (* (sqrt (* x 1/3)) (sqrt (* x 1/3))) 1/2) (* x x)) x))>
1544779552.561 * * * * [misc]progress:  [ 7 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (- (* 1 (* x 1/3)) 1/2) (* x x)) x))>
1544779552.562 * * * * [misc]progress:  [ 8 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (- (* 1/3 x) 1/2) (* x x)) x))>
1544779552.562 * * * * [misc]progress:  [ 9 / 31 ] simplifiying candidate #<alt (λ (x) (+ (pow (* (- (* x 1/3) 1/2) (* x x)) 1) x))>
1544779552.562 * [enter]simplify:  Simplifying (* (- (* x 1/3) 1/2) (* x x))
1544779552.562 * * [misc]simplify:  iters left: 6 (7 enodes)
1544779552.565 * * [misc]simplify:  iters left: 5 (14 enodes)
1544779552.571 * * [misc]simplify:  iters left: 4 (23 enodes)
1544779552.583 * * [misc]simplify:  iters left: 3 (49 enodes)
1544779552.603 * * [misc]simplify:  iters left: 2 (57 enodes)
1544779552.619 * [exit]simplify:  Simplified to (* (+ -1/2 (* x 1/3)) (* x x))
1544779552.619 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (+ (pow (* (+ -1/2 (* x 1/3)) (* x x)) 1) x))
1544779552.619 * * * * [misc]progress:  [ 10 / 31 ] simplifiying candidate #<alt (λ (x) (+ (pow (* (- (* x 1/3) 1/2) (* x x)) 1) x))>
1544779552.619 * * * * [misc]progress:  [ 11 / 31 ] simplifiying candidate #<alt (λ (x) (+ (exp (+ (log (- (* x 1/3) 1/2)) (log (* x x)))) x))>
1544779552.619 * [enter]simplify:  Simplifying (+ (log (- (* x 1/3) 1/2)) (log (* x x)))
1544779552.620 * * [misc]simplify:  iters left: 6 (9 enodes)
1544779552.625 * * [misc]simplify:  iters left: 5 (16 enodes)
1544779552.631 * * [misc]simplify:  iters left: 4 (21 enodes)
1544779552.638 * * [misc]simplify:  iters left: 3 (23 enodes)
1544779552.645 * [exit]simplify:  Simplified to (+ (log (+ (* x 1/3) -1/2)) (log (* x x)))
1544779552.645 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (+ (exp (+ (log (+ (* x 1/3) -1/2)) (log (* x x)))) x))
1544779552.645 * * * * [misc]progress:  [ 12 / 31 ] simplifiying candidate #<alt (λ (x) (+ (exp (log (* (- (* x 1/3) 1/2) (* x x)))) x))>
1544779552.645 * * * * [misc]progress:  [ 13 / 31 ] simplifiying candidate #<alt (λ (x) (+ (log (exp (* (- (* x 1/3) 1/2) (* x x)))) x))>
1544779552.645 * * * * [misc]progress:  [ 14 / 31 ] simplifiying candidate #<alt (λ (x) (+ (cbrt (* (* (* (- (* x 1/3) 1/2) (- (* x 1/3) 1/2)) (- (* x 1/3) 1/2)) (* (* (* x x) (* x x)) (* x x)))) x))>
1544779552.646 * [enter]simplify:  Simplifying (* (* (* (- (* x 1/3) 1/2) (- (* x 1/3) 1/2)) (- (* x 1/3) 1/2)) (* (* (* x x) (* x x)) (* x x)))
1544779552.647 * * [misc]simplify:  iters left: 6 (11 enodes)
1544779552.654 * * [misc]simplify:  iters left: 5 (28 enodes)
1544779552.672 * * [misc]simplify:  iters left: 4 (82 enodes)
1544779552.730 * * [misc]simplify:  iters left: 3 (347 enodes)
1544779553.279 * [exit]simplify:  Simplified to (* (* (+ (* x 1/3) -1/2) (+ (* x 1/3) -1/2)) (* (+ (* x 1/3) -1/2) (* (pow x 5) x)))
1544779553.280 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (+ (cbrt (* (* (+ (* x 1/3) -1/2) (+ (* x 1/3) -1/2)) (* (+ (* x 1/3) -1/2) (* (pow x 5) x)))) x))
1544779553.280 * * * * [misc]progress:  [ 15 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (* (cbrt (* (- (* x 1/3) 1/2) (* x x))) (cbrt (* (- (* x 1/3) 1/2) (* x x)))) (cbrt (* (- (* x 1/3) 1/2) (* x x)))) x))>
1544779553.280 * * * * [misc]progress:  [ 16 / 31 ] simplifiying candidate #<alt (λ (x) (+ (cbrt (* (* (* (- (* x 1/3) 1/2) (* x x)) (* (- (* x 1/3) 1/2) (* x x))) (* (- (* x 1/3) 1/2) (* x x)))) x))>
1544779553.280 * * * * [misc]progress:  [ 17 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (sqrt (* (- (* x 1/3) 1/2) (* x x))) (sqrt (* (- (* x 1/3) 1/2) (* x x)))) x))>
1544779553.280 * * * * [misc]progress:  [ 18 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* 1 (* (- (* x 1/3) 1/2) (* x x))) x))>
1544779553.280 * * * * [misc]progress:  [ 19 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (* (- (* x 1/3) 1/2) x) x) x))>
1544779553.280 * * * * [misc]progress:  [ 20 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (* (cbrt (- (* x 1/3) 1/2)) (cbrt (- (* x 1/3) 1/2))) (* (cbrt (- (* x 1/3) 1/2)) (* x x))) x))>
1544779553.280 * [enter]simplify:  Simplifying (* (cbrt (- (* x 1/3) 1/2)) (cbrt (- (* x 1/3) 1/2)))
1544779553.281 * * [misc]simplify:  iters left: 6 (7 enodes)
1544779553.283 * * [misc]simplify:  iters left: 5 (11 enodes)
1544779553.284 * * [misc]simplify:  iters left: 4 (12 enodes)
1544779553.286 * [exit]simplify:  Simplified to (* (cbrt (+ -1/2 (* x 1/3))) (cbrt (+ -1/2 (* x 1/3))))
1544779553.286 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (+ (* (* (cbrt (+ -1/2 (* x 1/3))) (cbrt (+ -1/2 (* x 1/3)))) (* (cbrt (- (* x 1/3) 1/2)) (* x x))) x))
1544779553.286 * * * * [misc]progress:  [ 21 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (sqrt (- (* x 1/3) 1/2)) (* (sqrt (- (* x 1/3) 1/2)) (* x x))) x))>
1544779553.287 * [enter]simplify:  Simplifying (sqrt (- (* x 1/3) 1/2))
1544779553.287 * * [misc]simplify:  iters left: 5 (6 enodes)
1544779553.289 * * [misc]simplify:  iters left: 4 (10 enodes)
1544779553.290 * * [misc]simplify:  iters left: 3 (11 enodes)
1544779553.292 * [exit]simplify:  Simplified to (sqrt (+ -1/2 (* x 1/3)))
1544779553.292 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (+ (* (sqrt (+ -1/2 (* x 1/3))) (* (sqrt (- (* x 1/3) 1/2)) (* x x))) x))
1544779553.292 * * * * [misc]progress:  [ 22 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* 1 (* (- (* x 1/3) 1/2) (* x x))) x))>
1544779553.292 * * * * [misc]progress:  [ 23 / 31 ] simplifiying candidate #<alt (λ (x) (+ (/ (* (- (pow (* x 1/3) 3) (pow 1/2 3)) (* x x)) (+ (* (* x 1/3) (* x 1/3)) (+ (* 1/2 1/2) (* (* x 1/3) 1/2)))) x))>
1544779553.292 * [enter]simplify:  Simplifying (* (- (pow (* x 1/3) 3) (pow 1/2 3)) (* x x))
1544779553.292 * * [misc]simplify:  iters left: 6 (10 enodes)
1544779553.297 * * [misc]simplify:  iters left: 5 (29 enodes)
1544779553.304 * * [misc]simplify:  iters left: 4 (57 enodes)
1544779553.325 * * [misc]simplify:  iters left: 3 (142 enodes)
1544779553.382 * * [misc]simplify:  iters left: 2 (314 enodes)
1544779553.516 * * [misc]simplify:  iters left: 1 (473 enodes)
1544779553.727 * [exit]simplify:  Simplified to (+ (* (pow x 4) (* x 1/27)) (* x (* -1/8 x)))
1544779553.727 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (+ (/ (+ (* (pow x 4) (* x 1/27)) (* x (* -1/8 x))) (+ (* (* x 1/3) (* x 1/3)) (+ (* 1/2 1/2) (* (* x 1/3) 1/2)))) x))
1544779553.727 * * * * [misc]progress:  [ 24 / 31 ] simplifiying candidate #<alt (λ (x) (+ (/ (* (- (* (* x 1/3) (* x 1/3)) (* 1/2 1/2)) (* x x)) (+ (* x 1/3) 1/2)) x))>
1544779553.727 * [enter]simplify:  Simplifying (* (- (* (* x 1/3) (* x 1/3)) (* 1/2 1/2)) (* x x))
1544779553.728 * * [misc]simplify:  iters left: 6 (9 enodes)
1544779553.735 * * [misc]simplify:  iters left: 5 (23 enodes)
1544779553.749 * * [misc]simplify:  iters left: 4 (52 enodes)
1544779553.770 * * [misc]simplify:  iters left: 3 (147 enodes)
1544779553.893 * * [misc]simplify:  iters left: 2 (456 enodes)
1544779554.464 * [exit]simplify:  Simplified to (+ (* x (* x -1/4)) (* (pow x 4) 1/9))
1544779554.465 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (+ (/ (+ (* x (* x -1/4)) (* (pow x 4) 1/9)) (+ (* x 1/3) 1/2)) x))
1544779554.465 * * * * [misc]progress:  [ 25 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) (- (* x 1/3) 1/2)) x))>
1544779554.465 * * * * [misc]progress:  [ 26 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (- (* 1/3 x) 1/2) (* x x)) x))>
1544779554.465 * [enter]simplify:  Simplifying (* 1/3 x)
1544779554.465 * * [misc]simplify:  iters left: 2 (3 enodes)
1544779554.467 * * [misc]simplify:  iters left: 1 (4 enodes)
1544779554.468 * [exit]simplify:  Simplified to (* 1/3 x)
1544779554.468 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (+ (* (- (* 1/3 x) 1/2) (* x x)) x))
1544779554.468 * * * * [misc]progress:  [ 27 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (- (* 1/3 x) 1/2) (* x x)) x))>
1544779554.468 * [enter]simplify:  Simplifying (* 1/3 x)
1544779554.468 * * [misc]simplify:  iters left: 2 (3 enodes)
1544779554.470 * * [misc]simplify:  iters left: 1 (4 enodes)
1544779554.471 * [exit]simplify:  Simplified to (* 1/3 x)
1544779554.471 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (+ (* (- (* 1/3 x) 1/2) (* x x)) x))
1544779554.471 * * * * [misc]progress:  [ 28 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (- (* 1/3 x) 1/2) (* x x)) x))>
1544779554.471 * [enter]simplify:  Simplifying (* 1/3 x)
1544779554.471 * * [misc]simplify:  iters left: 2 (3 enodes)
1544779554.473 * * [misc]simplify:  iters left: 1 (4 enodes)
1544779554.474 * [exit]simplify:  Simplified to (* 1/3 x)
1544779554.474 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (+ (* (- (* 1/3 x) 1/2) (* x x)) x))
1544779554.474 * * * * [misc]progress:  [ 29 / 31 ] simplifiying candidate #<alt (λ (x) (+ (- (* 1/3 (pow x 3)) (* 1/2 (pow x 2))) x))>
1544779554.474 * [enter]simplify:  Simplifying (- (* 1/3 (pow x 3)) (* 1/2 (pow x 2)))
1544779554.475 * * [misc]simplify:  iters left: 5 (10 enodes)
1544779554.480 * * [misc]simplify:  iters left: 4 (17 enodes)
1544779554.489 * * [misc]simplify:  iters left: 3 (40 enodes)
1544779554.498 * * [misc]simplify:  iters left: 2 (61 enodes)
1544779554.508 * * [misc]simplify:  iters left: 1 (79 enodes)
1544779554.524 * [exit]simplify:  Simplified to (* (+ (* 1/3 x) -1/2) (* x x))
1544779554.524 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (* (+ (* 1/3 x) -1/2) (* x x)) x))
1544779554.524 * * * * [misc]progress:  [ 30 / 31 ] simplifiying candidate #<alt (λ (x) (+ (- (* 1/3 (pow x 3)) (* 1/2 (pow x 2))) x))>
1544779554.524 * [enter]simplify:  Simplifying (- (* 1/3 (pow x 3)) (* 1/2 (pow x 2)))
1544779554.524 * * [misc]simplify:  iters left: 5 (10 enodes)
1544779554.526 * * [misc]simplify:  iters left: 4 (17 enodes)
1544779554.532 * * [misc]simplify:  iters left: 3 (40 enodes)
1544779554.541 * * [misc]simplify:  iters left: 2 (61 enodes)
1544779554.551 * * [misc]simplify:  iters left: 1 (79 enodes)
1544779554.571 * [exit]simplify:  Simplified to (* (+ (* 1/3 x) -1/2) (* x x))
1544779554.571 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (* (+ (* 1/3 x) -1/2) (* x x)) x))
1544779554.571 * * * * [misc]progress:  [ 31 / 31 ] simplifiying candidate #<alt (λ (x) (+ (- (* 1/3 (pow x 3)) (* 1/2 (pow x 2))) x))>
1544779554.572 * [enter]simplify:  Simplifying (- (* 1/3 (pow x 3)) (* 1/2 (pow x 2)))
1544779554.572 * * [misc]simplify:  iters left: 5 (10 enodes)
1544779554.577 * * [misc]simplify:  iters left: 4 (17 enodes)
1544779554.588 * * [misc]simplify:  iters left: 3 (40 enodes)
1544779554.604 * * [misc]simplify:  iters left: 2 (61 enodes)
1544779554.626 * * [misc]simplify:  iters left: 1 (79 enodes)
1544779554.641 * [exit]simplify:  Simplified to (* (+ (* 1/3 x) -1/2) (* x x))
1544779554.641 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (* (+ (* 1/3 x) -1/2) (* x x)) x))
1544779554.641 * * * [misc]progress:  adding candidates to table
1544779555.131 * * [misc]progress:  iteration 3 / 4
1544779555.131 * * * [misc]progress:  picking best candidate
1544779555.139 * * * * [misc]pick:  Picked  #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x)))))>
1544779555.139 * * * [misc]progress:  localizing error
1544779555.158 * * * [misc]progress:  generating rewritten candidates
1544779555.158 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2)
1544779555.166 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2)
1544779555.173 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1)
1544779555.181 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2)
1544779555.265 * * * [misc]progress:  generating series expansions
1544779555.265 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2)
1544779555.266 * [misc]backup-simplify:  Simplify (log (+ 1 x)) into (log (+ x 1))
1544779555.266 * [misc]approximate:  Taking taylor expansion of (log (+ x 1)) in (x) around 0
1544779555.266 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1544779555.266 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544779555.266 * [misc]taylor:  Taking taylor expansion of x in x
1544779555.266 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.266 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.266 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779555.266 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.266 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779555.266 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779555.267 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1544779555.267 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544779555.267 * [misc]taylor:  Taking taylor expansion of x in x
1544779555.267 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.267 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.267 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779555.267 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.267 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779555.267 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779555.267 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.267 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779555.270 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1544779555.270 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.270 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779555.275 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1544779555.275 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544779555.275 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779555.282 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
1544779555.282 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1544779555.283 * [misc]backup-simplify:  Simplify (+ (* 1/3 (pow x 3)) (+ (* -1/2 (pow x 2)) (* 1 x))) into (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
1544779555.283 * [misc]backup-simplify:  Simplify (log (+ 1 (/ 1 x))) into (log (+ (/ 1 x) 1))
1544779555.283 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in (x) around 0
1544779555.283 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1544779555.283 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1544779555.283 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779555.283 * [misc]taylor:  Taking taylor expansion of x in x
1544779555.283 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.283 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.283 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779555.283 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779555.283 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.284 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779555.284 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779555.284 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1544779555.284 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1544779555.284 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779555.284 * [misc]taylor:  Taking taylor expansion of x in x
1544779555.284 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.284 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.284 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779555.284 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779555.284 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.284 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779555.284 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779555.285 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1544779555.285 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1544779555.285 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544779555.285 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779555.288 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1544779555.288 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.288 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779555.288 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779555.293 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1544779555.293 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544779555.294 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* 1 (/ 1 x)) (- (log (/ 1 x))))) into (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779555.294 * [misc]backup-simplify:  Simplify (log (+ 1 (/ 1 (- x)))) into (log (- 1 (/ 1 x)))
1544779555.294 * [misc]approximate:  Taking taylor expansion of (log (- 1 (/ 1 x))) in (x) around 0
1544779555.294 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1544779555.294 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1544779555.294 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779555.294 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.294 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779555.294 * [misc]taylor:  Taking taylor expansion of x in x
1544779555.294 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.294 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.294 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779555.295 * [misc]backup-simplify:  Simplify (- 1) into -1
1544779555.295 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544779555.295 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544779555.295 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1544779555.295 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1544779555.295 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779555.295 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.295 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779555.295 * [misc]taylor:  Taking taylor expansion of x in x
1544779555.295 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.295 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.295 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779555.296 * [misc]backup-simplify:  Simplify (- 1) into -1
1544779555.296 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544779555.296 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544779555.296 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1544779555.297 * [misc]backup-simplify:  Simplify (- (log -1) (log x)) into (- (log -1) (log x))
1544779555.297 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544779555.297 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779555.297 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779555.300 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1544779555.300 * [misc]backup-simplify:  Simplify -1 into -1
1544779555.300 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779555.300 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779555.300 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779555.303 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
1544779555.303 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544779555.303 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* -1 (/ 1 (- x))) (- (log -1) (log (/ 1 (- x)))))) into (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779555.303 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2)
1544779555.304 * [misc]backup-simplify:  Simplify (log (+ 1 x)) into (log (+ x 1))
1544779555.304 * [misc]approximate:  Taking taylor expansion of (log (+ x 1)) in (x) around 0
1544779555.304 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1544779555.304 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544779555.304 * [misc]taylor:  Taking taylor expansion of x in x
1544779555.304 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.304 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.304 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779555.304 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.304 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779555.304 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779555.304 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1544779555.304 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544779555.304 * [misc]taylor:  Taking taylor expansion of x in x
1544779555.304 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.304 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.304 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779555.304 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.304 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779555.304 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779555.304 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.305 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779555.306 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1544779555.306 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.306 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779555.309 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1544779555.309 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544779555.309 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779555.313 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
1544779555.313 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1544779555.313 * [misc]backup-simplify:  Simplify (+ (* 1/3 (pow x 3)) (+ (* -1/2 (pow x 2)) (* 1 x))) into (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
1544779555.313 * [misc]backup-simplify:  Simplify (log (+ 1 (/ 1 x))) into (log (+ (/ 1 x) 1))
1544779555.313 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in (x) around 0
1544779555.313 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1544779555.313 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1544779555.313 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779555.313 * [misc]taylor:  Taking taylor expansion of x in x
1544779555.314 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.314 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.314 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779555.314 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779555.314 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.314 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779555.314 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779555.314 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1544779555.314 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1544779555.314 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779555.314 * [misc]taylor:  Taking taylor expansion of x in x
1544779555.314 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.314 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.314 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779555.314 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779555.314 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.314 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779555.314 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779555.315 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1544779555.315 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1544779555.315 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544779555.315 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779555.316 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1544779555.316 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.317 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779555.317 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779555.319 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1544779555.319 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544779555.322 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* 1 (/ 1 x)) (- (log (/ 1 x))))) into (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779555.322 * [misc]backup-simplify:  Simplify (log (+ 1 (/ 1 (- x)))) into (log (- 1 (/ 1 x)))
1544779555.322 * [misc]approximate:  Taking taylor expansion of (log (- 1 (/ 1 x))) in (x) around 0
1544779555.322 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1544779555.322 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1544779555.322 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779555.322 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.322 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779555.322 * [misc]taylor:  Taking taylor expansion of x in x
1544779555.322 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.322 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.323 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779555.323 * [misc]backup-simplify:  Simplify (- 1) into -1
1544779555.323 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544779555.323 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544779555.323 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1544779555.323 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1544779555.323 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779555.323 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.323 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779555.323 * [misc]taylor:  Taking taylor expansion of x in x
1544779555.323 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.323 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.323 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779555.323 * [misc]backup-simplify:  Simplify (- 1) into -1
1544779555.324 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544779555.324 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544779555.324 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1544779555.324 * [misc]backup-simplify:  Simplify (- (log -1) (log x)) into (- (log -1) (log x))
1544779555.324 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544779555.324 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779555.324 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779555.326 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1544779555.326 * [misc]backup-simplify:  Simplify -1 into -1
1544779555.327 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779555.327 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779555.327 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779555.329 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
1544779555.329 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544779555.330 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* -1 (/ 1 (- x))) (- (log -1) (log (/ 1 (- x)))))) into (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779555.330 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1)
1544779555.330 * [misc]backup-simplify:  Simplify (log (+ 1 x)) into (log (+ x 1))
1544779555.330 * [misc]approximate:  Taking taylor expansion of (log (+ x 1)) in (x) around 0
1544779555.330 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1544779555.330 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544779555.330 * [misc]taylor:  Taking taylor expansion of x in x
1544779555.330 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.330 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.330 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779555.330 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.330 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779555.330 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779555.330 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1544779555.330 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544779555.330 * [misc]taylor:  Taking taylor expansion of x in x
1544779555.330 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.330 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.330 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779555.331 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.331 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779555.331 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779555.331 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.331 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779555.332 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1544779555.332 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.332 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779555.335 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1544779555.335 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544779555.335 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779555.339 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
1544779555.340 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1544779555.340 * [misc]backup-simplify:  Simplify (+ (* 1/3 (pow x 3)) (+ (* -1/2 (pow x 2)) (* 1 x))) into (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
1544779555.340 * [misc]backup-simplify:  Simplify (log (+ 1 (/ 1 x))) into (log (+ (/ 1 x) 1))
1544779555.340 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in (x) around 0
1544779555.340 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1544779555.340 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1544779555.340 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779555.340 * [misc]taylor:  Taking taylor expansion of x in x
1544779555.340 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.340 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.340 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779555.340 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779555.340 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.340 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779555.340 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779555.340 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1544779555.340 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1544779555.340 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779555.340 * [misc]taylor:  Taking taylor expansion of x in x
1544779555.340 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.340 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.341 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779555.341 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779555.341 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.341 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779555.341 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779555.341 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1544779555.341 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1544779555.341 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544779555.341 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779555.343 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1544779555.343 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.343 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779555.343 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779555.346 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1544779555.346 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544779555.346 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* 1 (/ 1 x)) (- (log (/ 1 x))))) into (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779555.346 * [misc]backup-simplify:  Simplify (log (+ 1 (/ 1 (- x)))) into (log (- 1 (/ 1 x)))
1544779555.346 * [misc]approximate:  Taking taylor expansion of (log (- 1 (/ 1 x))) in (x) around 0
1544779555.346 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1544779555.346 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1544779555.346 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779555.346 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.346 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779555.346 * [misc]taylor:  Taking taylor expansion of x in x
1544779555.346 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.346 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.346 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779555.347 * [misc]backup-simplify:  Simplify (- 1) into -1
1544779555.347 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544779555.347 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544779555.347 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1544779555.347 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1544779555.347 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779555.347 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.347 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779555.347 * [misc]taylor:  Taking taylor expansion of x in x
1544779555.347 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.347 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.347 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779555.347 * [misc]backup-simplify:  Simplify (- 1) into -1
1544779555.347 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544779555.347 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544779555.348 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1544779555.348 * [misc]backup-simplify:  Simplify (- (log -1) (log x)) into (- (log -1) (log x))
1544779555.348 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544779555.348 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779555.349 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779555.351 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1544779555.351 * [misc]backup-simplify:  Simplify -1 into -1
1544779555.352 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779555.352 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779555.352 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779555.356 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
1544779555.357 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544779555.357 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* -1 (/ 1 (- x))) (- (log -1) (log (/ 1 (- x)))))) into (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779555.357 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2)
1544779555.358 * [misc]backup-simplify:  Simplify (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x)))) into (log (+ x 1))
1544779555.358 * [misc]approximate:  Taking taylor expansion of (log (+ x 1)) in (x) around 0
1544779555.358 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1544779555.358 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544779555.358 * [misc]taylor:  Taking taylor expansion of x in x
1544779555.359 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.359 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.359 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779555.359 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.359 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779555.359 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779555.359 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1544779555.359 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544779555.359 * [misc]taylor:  Taking taylor expansion of x in x
1544779555.359 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.359 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.359 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779555.359 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.359 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779555.360 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779555.360 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.360 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779555.363 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1544779555.363 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.363 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779555.367 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1544779555.368 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544779555.368 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779555.375 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
1544779555.375 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1544779555.376 * [misc]backup-simplify:  Simplify (+ (* 1/3 (pow x 3)) (+ (* -1/2 (pow x 2)) (* 1 x))) into (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
1544779555.377 * [misc]backup-simplify:  Simplify (cbrt (* (* (log (+ 1 (/ 1 x))) (log (+ 1 (/ 1 x)))) (log (+ 1 (/ 1 x))))) into (log (+ (/ 1 x) 1))
1544779555.377 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in (x) around 0
1544779555.377 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1544779555.377 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1544779555.377 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779555.377 * [misc]taylor:  Taking taylor expansion of x in x
1544779555.377 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.377 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.377 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779555.377 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779555.377 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.377 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779555.377 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779555.378 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1544779555.378 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1544779555.378 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779555.378 * [misc]taylor:  Taking taylor expansion of x in x
1544779555.378 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.378 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.378 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779555.378 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779555.378 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.378 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779555.378 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779555.379 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1544779555.379 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1544779555.379 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544779555.379 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779555.382 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1544779555.382 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.382 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779555.382 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779555.387 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1544779555.387 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544779555.387 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* 1 (/ 1 x)) (- (log (/ 1 x))))) into (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779555.388 * [misc]backup-simplify:  Simplify (cbrt (* (* (log (+ 1 (/ 1 (- x)))) (log (+ 1 (/ 1 (- x))))) (log (+ 1 (/ 1 (- x)))))) into (log (- 1 (/ 1 x)))
1544779555.388 * [misc]approximate:  Taking taylor expansion of (log (- 1 (/ 1 x))) in (x) around 0
1544779555.388 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1544779555.388 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1544779555.388 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779555.388 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.388 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779555.388 * [misc]taylor:  Taking taylor expansion of x in x
1544779555.388 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.388 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.388 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779555.389 * [misc]backup-simplify:  Simplify (- 1) into -1
1544779555.389 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544779555.389 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544779555.389 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1544779555.389 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1544779555.389 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779555.389 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.389 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779555.389 * [misc]taylor:  Taking taylor expansion of x in x
1544779555.389 * [misc]backup-simplify:  Simplify 0 into 0
1544779555.389 * [misc]backup-simplify:  Simplify 1 into 1
1544779555.389 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779555.390 * [misc]backup-simplify:  Simplify (- 1) into -1
1544779555.390 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544779555.390 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544779555.390 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1544779555.391 * [misc]backup-simplify:  Simplify (- (log -1) (log x)) into (- (log -1) (log x))
1544779555.391 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544779555.391 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779555.391 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779555.394 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1544779555.394 * [misc]backup-simplify:  Simplify -1 into -1
1544779555.394 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779555.394 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779555.394 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779555.397 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
1544779555.397 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544779555.398 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* -1 (/ 1 (- x))) (- (log -1) (log (/ 1 (- x)))))) into (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779555.398 * * * [misc]progress:  simplifying candidates
1544779555.398 * * * * [misc]progress:  [ 1 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (log (cbrt (+ 1 x)))))))>
1544779555.398 * [enter]simplify:  Simplifying (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))
1544779555.398 * * [misc]simplify:  iters left: 6 (6 enodes)
1544779555.400 * * [misc]simplify:  iters left: 5 (11 enodes)
1544779555.402 * [exit]simplify:  Simplified to (log (* (cbrt (+ x 1)) (cbrt (+ x 1))))
1544779555.402 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (log (cbrt (+ 1 x)))))))
1544779555.402 * * * * [misc]progress:  [ 2 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779555.402 * [enter]simplify:  Simplifying (log (sqrt (+ 1 x)))
1544779555.402 * * [misc]simplify:  iters left: 4 (5 enodes)
1544779555.403 * * [misc]simplify:  iters left: 3 (8 enodes)
1544779555.404 * [exit]simplify:  Simplified to (log (sqrt (+ x 1)))
1544779555.404 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ x 1))) (log (sqrt (+ 1 x)))))))
1544779555.404 * * * * [misc]progress:  [ 3 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log 1) (log (+ 1 x))))))>
1544779555.405 * [enter]simplify:  Simplifying (log 1)
1544779555.405 * * [misc]simplify:  iters left: 1 (2 enodes)
1544779555.406 * [exit]simplify:  Simplified to 0
1544779555.406 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ 0 (log (+ 1 x))))))
1544779555.406 * * * * [misc]progress:  [ 4 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (- (log (+ (pow 1 3) (pow x 3))) (log (+ (* 1 1) (- (* x x) (* 1 x))))))))>
1544779555.406 * [enter]simplify:  Simplifying (log (+ (pow 1 3) (pow x 3)))
1544779555.406 * * [misc]simplify:  iters left: 4 (7 enodes)
1544779555.409 * * [misc]simplify:  iters left: 3 (15 enodes)
1544779555.411 * [exit]simplify:  Simplified to (log (+ 1 (pow x 3)))
1544779555.411 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (- (log (+ 1 (pow x 3))) (log (+ (* 1 1) (- (* x x) (* 1 x))))))))
1544779555.411 * * * * [misc]progress:  [ 5 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (- (log (- (* 1 1) (* x x))) (log (- 1 x))))))>
1544779555.411 * [enter]simplify:  Simplifying (log (- (* 1 1) (* x x)))
1544779555.411 * * [misc]simplify:  iters left: 5 (6 enodes)
1544779555.413 * * [misc]simplify:  iters left: 4 (10 enodes)
1544779555.415 * * [misc]simplify:  iters left: 3 (14 enodes)
1544779555.417 * [exit]simplify:  Simplified to (log (- 1 (* x x)))
1544779555.417 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (- (log (- 1 (* x x))) (log (- 1 x))))))
1544779555.417 * * * * [misc]progress:  [ 6 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (* 1 (log (+ 1 x))))))>
1544779555.417 * * * * [misc]progress:  [ 7 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (pow (log (+ 1 x)) 1))))>
1544779555.417 * * * * [misc]progress:  [ 8 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x)))))>
1544779555.417 * [enter]simplify:  Simplifying (+ 1 x)
1544779555.417 * * [misc]simplify:  iters left: 2 (3 enodes)
1544779555.418 * * [misc]simplify:  iters left: 1 (6 enodes)
1544779555.419 * [exit]simplify:  Simplified to (+ x 1)
1544779555.419 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ x 1)))))
1544779555.419 * * * * [misc]progress:  [ 9 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (exp (log (log (+ 1 x)))))))>
1544779555.419 * * * * [misc]progress:  [ 10 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (exp (log (+ 1 x)))))))>
1544779555.419 * * * * [misc]progress:  [ 11 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (* (* (cbrt (log (+ 1 x))) (cbrt (log (+ 1 x)))) (cbrt (log (+ 1 x)))))))>
1544779555.419 * * * * [misc]progress:  [ 12 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x)))))))>
1544779555.419 * * * * [misc]progress:  [ 13 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (* (sqrt (log (+ 1 x))) (sqrt (log (+ 1 x)))))))>
1544779555.419 * * * * [misc]progress:  [ 14 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (* 1 (log (+ 1 x))))))>
1544779555.419 * * * * [misc]progress:  [ 15 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (+ (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (log (cbrt (+ 1 x))))) (log (+ 1 x)))))>
1544779555.419 * [enter]simplify:  Simplifying (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))
1544779555.420 * * [misc]simplify:  iters left: 6 (6 enodes)
1544779555.421 * * [misc]simplify:  iters left: 5 (11 enodes)
1544779555.423 * [exit]simplify:  Simplified to (log (* (cbrt (+ x 1)) (cbrt (+ x 1))))
1544779555.423 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (+ (log (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (log (cbrt (+ 1 x))))) (log (+ 1 x)))))
1544779555.423 * * * * [misc]progress:  [ 16 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x))))) (log (+ 1 x)))))>
1544779555.423 * [enter]simplify:  Simplifying (log (sqrt (+ 1 x)))
1544779555.424 * * [misc]simplify:  iters left: 4 (5 enodes)
1544779555.425 * * [misc]simplify:  iters left: 3 (8 enodes)
1544779555.426 * [exit]simplify:  Simplified to (log (sqrt (+ x 1)))
1544779555.426 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (+ (log (sqrt (+ x 1))) (log (sqrt (+ 1 x))))) (log (+ 1 x)))))
1544779555.426 * * * * [misc]progress:  [ 17 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (+ (log 1) (log (+ 1 x)))) (log (+ 1 x)))))>
1544779555.426 * [enter]simplify:  Simplifying (log 1)
1544779555.426 * * [misc]simplify:  iters left: 1 (2 enodes)
1544779555.427 * [exit]simplify:  Simplified to 0
1544779555.427 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (+ 0 (log (+ 1 x)))) (log (+ 1 x)))))
1544779555.427 * * * * [misc]progress:  [ 18 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (- (log (+ (pow 1 3) (pow x 3))) (log (+ (* 1 1) (- (* x x) (* 1 x)))))) (log (+ 1 x)))))>
1544779555.427 * [enter]simplify:  Simplifying (log (+ (pow 1 3) (pow x 3)))
1544779555.428 * * [misc]simplify:  iters left: 4 (7 enodes)
1544779555.432 * * [misc]simplify:  iters left: 3 (15 enodes)
1544779555.436 * [exit]simplify:  Simplified to (log (+ 1 (pow x 3)))
1544779555.436 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (- (log (+ 1 (pow x 3))) (log (+ (* 1 1) (- (* x x) (* 1 x)))))) (log (+ 1 x)))))
1544779555.436 * * * * [misc]progress:  [ 19 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (- (log (- (* 1 1) (* x x))) (log (- 1 x)))) (log (+ 1 x)))))>
1544779555.436 * [enter]simplify:  Simplifying (log (- (* 1 1) (* x x)))
1544779555.441 * * [misc]simplify:  iters left: 5 (6 enodes)
1544779555.444 * * [misc]simplify:  iters left: 4 (10 enodes)
1544779555.447 * * [misc]simplify:  iters left: 3 (14 enodes)
1544779555.451 * [exit]simplify:  Simplified to (log (- 1 (* x x)))
1544779555.451 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (- (log (- 1 (* x x))) (log (- 1 x)))) (log (+ 1 x)))))
1544779555.451 * * * * [misc]progress:  [ 20 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (* 1 (log (+ 1 x)))) (log (+ 1 x)))))>
1544779555.452 * * * * [misc]progress:  [ 21 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (pow (log (+ 1 x)) 1)) (log (+ 1 x)))))>
1544779555.452 * * * * [misc]progress:  [ 22 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x)))))>
1544779555.452 * [enter]simplify:  Simplifying (+ 1 x)
1544779555.452 * * [misc]simplify:  iters left: 2 (3 enodes)
1544779555.453 * * [misc]simplify:  iters left: 1 (6 enodes)
1544779555.455 * [exit]simplify:  Simplified to (+ x 1)
1544779555.455 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ x 1))) (log (+ 1 x)))))
1544779555.455 * * * * [misc]progress:  [ 23 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (exp (log (log (+ 1 x))))) (log (+ 1 x)))))>
1544779555.455 * * * * [misc]progress:  [ 24 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (exp (log (+ 1 x))))) (log (+ 1 x)))))>
1544779555.455 * * * * [misc]progress:  [ 25 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (* (* (cbrt (log (+ 1 x))) (cbrt (log (+ 1 x)))) (cbrt (log (+ 1 x))))) (log (+ 1 x)))))>
1544779555.455 * * * * [misc]progress:  [ 26 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x))))) (log (+ 1 x)))))>
1544779555.455 * * * * [misc]progress:  [ 27 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (* (sqrt (log (+ 1 x))) (sqrt (log (+ 1 x))))) (log (+ 1 x)))))>
1544779555.456 * * * * [misc]progress:  [ 28 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (* 1 (log (+ 1 x)))) (log (+ 1 x)))))>
1544779555.456 * * * * [misc]progress:  [ 29 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (+ (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (log (cbrt (+ 1 x)))) (log (+ 1 x))) (log (+ 1 x)))))>
1544779555.456 * [enter]simplify:  Simplifying (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))
1544779555.456 * * [misc]simplify:  iters left: 6 (6 enodes)
1544779555.459 * * [misc]simplify:  iters left: 5 (11 enodes)
1544779555.463 * [exit]simplify:  Simplified to (log (* (cbrt (+ x 1)) (cbrt (+ x 1))))
1544779555.463 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (cbrt (* (* (+ (log (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (log (cbrt (+ 1 x)))) (log (+ 1 x))) (log (+ 1 x)))))
1544779555.463 * * * * [misc]progress:  [ 30 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))) (log (+ 1 x))) (log (+ 1 x)))))>
1544779555.463 * [enter]simplify:  Simplifying (log (sqrt (+ 1 x)))
1544779555.464 * * [misc]simplify:  iters left: 4 (5 enodes)
1544779555.466 * * [misc]simplify:  iters left: 3 (8 enodes)
1544779555.468 * [exit]simplify:  Simplified to (log (sqrt (+ x 1)))
1544779555.468 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (cbrt (* (* (+ (log (sqrt (+ x 1))) (log (sqrt (+ 1 x)))) (log (+ 1 x))) (log (+ 1 x)))))
1544779555.468 * * * * [misc]progress:  [ 31 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (+ (log 1) (log (+ 1 x))) (log (+ 1 x))) (log (+ 1 x)))))>
1544779555.469 * [enter]simplify:  Simplifying (log 1)
1544779555.469 * * [misc]simplify:  iters left: 1 (2 enodes)
1544779555.471 * [exit]simplify:  Simplified to 0
1544779555.471 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (cbrt (* (* (+ 0 (log (+ 1 x))) (log (+ 1 x))) (log (+ 1 x)))))
1544779555.471 * * * * [misc]progress:  [ 32 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (- (log (+ (pow 1 3) (pow x 3))) (log (+ (* 1 1) (- (* x x) (* 1 x))))) (log (+ 1 x))) (log (+ 1 x)))))>
1544779555.472 * [enter]simplify:  Simplifying (log (+ (pow 1 3) (pow x 3)))
1544779555.472 * * [misc]simplify:  iters left: 4 (7 enodes)
1544779555.477 * * [misc]simplify:  iters left: 3 (15 enodes)
1544779555.481 * [exit]simplify:  Simplified to (log (+ 1 (pow x 3)))
1544779555.481 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (cbrt (* (* (- (log (+ 1 (pow x 3))) (log (+ (* 1 1) (- (* x x) (* 1 x))))) (log (+ 1 x))) (log (+ 1 x)))))
1544779555.481 * * * * [misc]progress:  [ 33 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (- (log (- (* 1 1) (* x x))) (log (- 1 x))) (log (+ 1 x))) (log (+ 1 x)))))>
1544779555.481 * [enter]simplify:  Simplifying (log (- (* 1 1) (* x x)))
1544779555.482 * * [misc]simplify:  iters left: 5 (6 enodes)
1544779555.485 * * [misc]simplify:  iters left: 4 (10 enodes)
1544779555.488 * * [misc]simplify:  iters left: 3 (14 enodes)
1544779555.493 * [exit]simplify:  Simplified to (log (- 1 (* x x)))
1544779555.493 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (cbrt (* (* (- (log (- 1 (* x x))) (log (- 1 x))) (log (+ 1 x))) (log (+ 1 x)))))
1544779555.493 * * * * [misc]progress:  [ 34 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* 1 (log (+ 1 x))) (log (+ 1 x))) (log (+ 1 x)))))>
1544779555.493 * * * * [misc]progress:  [ 35 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (pow (log (+ 1 x)) 1) (log (+ 1 x))) (log (+ 1 x)))))>
1544779555.493 * * * * [misc]progress:  [ 36 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x)))))>
1544779555.493 * [enter]simplify:  Simplifying (+ 1 x)
1544779555.493 * * [misc]simplify:  iters left: 2 (3 enodes)
1544779555.495 * * [misc]simplify:  iters left: 1 (6 enodes)
1544779555.496 * [exit]simplify:  Simplified to (+ x 1)
1544779555.496 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ 1 x))) (log (+ 1 x)))))
1544779555.496 * * * * [misc]progress:  [ 37 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (exp (log (log (+ 1 x)))) (log (+ 1 x))) (log (+ 1 x)))))>
1544779555.496 * * * * [misc]progress:  [ 38 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (exp (log (+ 1 x)))) (log (+ 1 x))) (log (+ 1 x)))))>
1544779555.496 * * * * [misc]progress:  [ 39 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (* (cbrt (log (+ 1 x))) (cbrt (log (+ 1 x)))) (cbrt (log (+ 1 x)))) (log (+ 1 x))) (log (+ 1 x)))))>
1544779555.496 * * * * [misc]progress:  [ 40 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x)))) (log (+ 1 x))) (log (+ 1 x)))))>
1544779555.497 * * * * [misc]progress:  [ 41 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (log (+ 1 x))) (sqrt (log (+ 1 x)))) (log (+ 1 x))) (log (+ 1 x)))))>
1544779555.497 * * * * [misc]progress:  [ 42 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* 1 (log (+ 1 x))) (log (+ 1 x))) (log (+ 1 x)))))>
1544779555.497 * * * * [misc]progress:  [ 43 / 64 ] simplifiying candidate #<alt (λ (x) (pow (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x))) 1/3))>
1544779555.497 * * * * [misc]progress:  [ 44 / 64 ] simplifiying candidate #<alt (λ (x) (pow (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x)))) 1))>
1544779555.497 * * * * [misc]progress:  [ 45 / 64 ] simplifiying candidate #<alt (λ (x) (exp (log (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x)))))))>
1544779555.497 * * * * [misc]progress:  [ 46 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x)))))))>
1544779555.497 * * * * [misc]progress:  [ 47 / 64 ] simplifiying candidate #<alt (λ (x) (* (cbrt (* (log (+ 1 x)) (log (+ 1 x)))) (cbrt (log (+ 1 x)))))>
1544779555.497 * [enter]simplify:  Simplifying (cbrt (* (log (+ 1 x)) (log (+ 1 x))))
1544779555.498 * * [misc]simplify:  iters left: 6 (6 enodes)
1544779555.500 * * [misc]simplify:  iters left: 5 (9 enodes)
1544779555.503 * [exit]simplify:  Simplified to (cbrt (* (log (+ x 1)) (log (+ x 1))))
1544779555.503 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (cbrt (* (log (+ x 1)) (log (+ x 1)))) (cbrt (log (+ 1 x)))))
1544779555.503 * * * * [misc]progress:  [ 48 / 64 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x))))) (cbrt (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x)))))) (cbrt (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x)))))))>
1544779555.503 * * * * [misc]progress:  [ 49 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x)))) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x))))) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x)))))))>
1544779555.503 * * * * [misc]progress:  [ 50 / 64 ] simplifiying candidate #<alt (λ (x) (log (+ 1 x)))>
1544779555.503 * [enter]simplify:  Simplifying (+ 1 x)
1544779555.504 * * [misc]simplify:  iters left: 2 (3 enodes)
1544779555.505 * * [misc]simplify:  iters left: 1 (6 enodes)
1544779555.507 * [exit]simplify:  Simplified to (+ x 1)
1544779555.507 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (+ x 1)))
1544779555.507 * * * * [misc]progress:  [ 51 / 64 ] simplifiying candidate #<alt (λ (x) (* (sqrt (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x))))) (sqrt (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x)))))))>
1544779555.507 * * * * [misc]progress:  [ 52 / 64 ] simplifiying candidate #<alt (λ (x) (* 1 (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x))))))>
1544779555.507 * * * * [misc]progress:  [ 53 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2))))))>
1544779555.507 * [enter]simplify:  Simplifying (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
1544779555.508 * * [misc]simplify:  iters left: 6 (11 enodes)
1544779555.513 * * [misc]simplify:  iters left: 5 (21 enodes)
1544779555.527 * * [misc]simplify:  iters left: 4 (51 enodes)
1544779555.549 * * [misc]simplify:  iters left: 3 (83 enodes)
1544779555.579 * * [misc]simplify:  iters left: 2 (112 enodes)
1544779555.616 * * [misc]simplify:  iters left: 1 (143 enodes)
1544779555.660 * [exit]simplify:  Simplified to (+ (* (- (* x 1/3) 1/2) (* x x)) x)
1544779555.660 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (* (- (* x 1/3) 1/2) (* x x)) x))))
1544779555.660 * * * * [misc]progress:  [ 54 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2))))))))>
1544779555.660 * [enter]simplify:  Simplifying (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779555.661 * * [misc]simplify:  iters left: 6 (11 enodes)
1544779555.666 * * [misc]simplify:  iters left: 5 (26 enodes)
1544779555.671 * * [misc]simplify:  iters left: 4 (38 enodes)
1544779555.687 * * [misc]simplify:  iters left: 3 (74 enodes)
1544779555.720 * * [misc]simplify:  iters left: 2 (122 enodes)
1544779555.754 * * [misc]simplify:  iters left: 1 (167 enodes)
1544779555.848 * [exit]simplify:  Simplified to (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x)))
1544779555.848 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x))))))
1544779555.848 * * * * [misc]progress:  [ 55 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2))))))))>
1544779555.848 * [enter]simplify:  Simplifying (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779555.849 * * [misc]simplify:  iters left: 6 (15 enodes)
1544779555.857 * * [misc]simplify:  iters left: 5 (31 enodes)
1544779555.866 * * [misc]simplify:  iters left: 4 (64 enodes)
1544779555.888 * * [misc]simplify:  iters left: 3 (157 enodes)
1544779555.965 * * [misc]simplify:  iters left: 2 (404 enodes)
1544779556.372 * [exit]simplify:  Simplified to (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x)))
1544779556.372 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x))))))
1544779556.372 * * * * [misc]progress:  [ 56 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))) (log (+ 1 x)))))>
1544779556.372 * [enter]simplify:  Simplifying (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
1544779556.372 * * [misc]simplify:  iters left: 6 (11 enodes)
1544779556.375 * * [misc]simplify:  iters left: 5 (21 enodes)
1544779556.383 * * [misc]simplify:  iters left: 4 (51 enodes)
1544779556.395 * * [misc]simplify:  iters left: 3 (83 enodes)
1544779556.410 * * [misc]simplify:  iters left: 2 (112 enodes)
1544779556.454 * * [misc]simplify:  iters left: 1 (143 enodes)
1544779556.538 * [exit]simplify:  Simplified to (+ (* (- (* x 1/3) 1/2) (* x x)) x)
1544779556.539 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (cbrt (* (* (log (+ 1 x)) (+ (* (- (* x 1/3) 1/2) (* x x)) x)) (log (+ 1 x)))))
1544779556.539 * * * * [misc]progress:  [ 57 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))) (log (+ 1 x)))))>
1544779556.539 * [enter]simplify:  Simplifying (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779556.540 * * [misc]simplify:  iters left: 6 (11 enodes)
1544779556.548 * * [misc]simplify:  iters left: 5 (26 enodes)
1544779556.560 * * [misc]simplify:  iters left: 4 (38 enodes)
1544779556.580 * * [misc]simplify:  iters left: 3 (74 enodes)
1544779556.613 * * [misc]simplify:  iters left: 2 (122 enodes)
1544779556.635 * * [misc]simplify:  iters left: 1 (167 enodes)
1544779556.771 * [exit]simplify:  Simplified to (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x)))
1544779556.771 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (cbrt (* (* (log (+ 1 x)) (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x)))) (log (+ 1 x)))))
1544779556.771 * * * * [misc]progress:  [ 58 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))) (log (+ 1 x)))))>
1544779556.771 * [enter]simplify:  Simplifying (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779556.773 * * [misc]simplify:  iters left: 6 (15 enodes)
1544779556.782 * * [misc]simplify:  iters left: 5 (31 enodes)
1544779556.801 * * [misc]simplify:  iters left: 4 (64 enodes)
1544779556.837 * * [misc]simplify:  iters left: 3 (157 enodes)
1544779556.929 * * [misc]simplify:  iters left: 2 (404 enodes)
1544779557.266 * [exit]simplify:  Simplified to (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x)))
1544779557.266 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (cbrt (* (* (log (+ 1 x)) (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x)))) (log (+ 1 x)))))
1544779557.266 * * * * [misc]progress:  [ 59 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2))) (log (+ 1 x))) (log (+ 1 x)))))>
1544779557.266 * [enter]simplify:  Simplifying (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
1544779557.267 * * [misc]simplify:  iters left: 6 (11 enodes)
1544779557.269 * * [misc]simplify:  iters left: 5 (21 enodes)
1544779557.281 * * [misc]simplify:  iters left: 4 (51 enodes)
1544779557.304 * * [misc]simplify:  iters left: 3 (83 enodes)
1544779557.332 * * [misc]simplify:  iters left: 2 (112 enodes)
1544779557.377 * * [misc]simplify:  iters left: 1 (143 enodes)
1544779557.460 * [exit]simplify:  Simplified to (+ (* (- (* x 1/3) 1/2) (* x x)) x)
1544779557.460 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (cbrt (* (* (+ (* (- (* x 1/3) 1/2) (* x x)) x) (log (+ 1 x))) (log (+ 1 x)))))
1544779557.460 * * * * [misc]progress:  [ 60 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2))))) (log (+ 1 x))) (log (+ 1 x)))))>
1544779557.460 * [enter]simplify:  Simplifying (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779557.461 * * [misc]simplify:  iters left: 6 (11 enodes)
1544779557.469 * * [misc]simplify:  iters left: 5 (26 enodes)
1544779557.479 * * [misc]simplify:  iters left: 4 (38 enodes)
1544779557.502 * * [misc]simplify:  iters left: 3 (74 enodes)
1544779557.535 * * [misc]simplify:  iters left: 2 (122 enodes)
1544779557.580 * * [misc]simplify:  iters left: 1 (167 enodes)
1544779557.670 * [exit]simplify:  Simplified to (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x)))
1544779557.670 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (cbrt (* (* (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x))) (log (+ 1 x))) (log (+ 1 x)))))
1544779557.670 * * * * [misc]progress:  [ 61 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2))))) (log (+ 1 x))) (log (+ 1 x)))))>
1544779557.670 * [enter]simplify:  Simplifying (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779557.671 * * [misc]simplify:  iters left: 6 (15 enodes)
1544779557.676 * * [misc]simplify:  iters left: 5 (31 enodes)
1544779557.687 * * [misc]simplify:  iters left: 4 (64 enodes)
1544779557.713 * * [misc]simplify:  iters left: 3 (157 enodes)
1544779557.813 * * [misc]simplify:  iters left: 2 (404 enodes)
1544779558.215 * [exit]simplify:  Simplified to (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x)))
1544779558.215 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (cbrt (* (* (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x))) (log (+ 1 x))) (log (+ 1 x)))))
1544779558.215 * * * * [misc]progress:  [ 62 / 64 ] simplifiying candidate #<alt (λ (x) (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2))))>
1544779558.215 * [enter]simplify:  Simplifying (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
1544779558.216 * * [misc]simplify:  iters left: 6 (11 enodes)
1544779558.221 * * [misc]simplify:  iters left: 5 (21 enodes)
1544779558.228 * * [misc]simplify:  iters left: 4 (51 enodes)
1544779558.241 * * [misc]simplify:  iters left: 3 (83 enodes)
1544779558.256 * * [misc]simplify:  iters left: 2 (112 enodes)
1544779558.295 * * [misc]simplify:  iters left: 1 (143 enodes)
1544779558.378 * [exit]simplify:  Simplified to (+ (* (- (* x 1/3) 1/2) (* x x)) x)
1544779558.379 * [misc]simplify:  Simplified (2) to (λ (x) (+ (* (- (* x 1/3) 1/2) (* x x)) x))
1544779558.379 * * * * [misc]progress:  [ 63 / 64 ] simplifiying candidate #<alt (λ (x) (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2))))))>
1544779558.379 * [enter]simplify:  Simplifying (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779558.380 * * [misc]simplify:  iters left: 6 (11 enodes)
1544779558.388 * * [misc]simplify:  iters left: 5 (26 enodes)
1544779558.397 * * [misc]simplify:  iters left: 4 (38 enodes)
1544779558.409 * * [misc]simplify:  iters left: 3 (74 enodes)
1544779558.436 * * [misc]simplify:  iters left: 2 (122 enodes)
1544779558.459 * * [misc]simplify:  iters left: 1 (167 enodes)
1544779558.594 * [exit]simplify:  Simplified to (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x)))
1544779558.594 * [misc]simplify:  Simplified (2) to (λ (x) (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x))))
1544779558.594 * * * * [misc]progress:  [ 64 / 64 ] simplifiying candidate #<alt (λ (x) (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2))))))>
1544779558.595 * [enter]simplify:  Simplifying (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779558.596 * * [misc]simplify:  iters left: 6 (15 enodes)
1544779558.605 * * [misc]simplify:  iters left: 5 (31 enodes)
1544779558.625 * * [misc]simplify:  iters left: 4 (64 enodes)
1544779558.666 * * [misc]simplify:  iters left: 3 (157 enodes)
1544779558.773 * * [misc]simplify:  iters left: 2 (404 enodes)
1544779559.135 * [exit]simplify:  Simplified to (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x)))
1544779559.135 * [misc]simplify:  Simplified (2) to (λ (x) (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x))))
1544779559.135 * * * [misc]progress:  adding candidates to table
1544779560.191 * * [misc]progress:  iteration 4 / 4
1544779560.191 * * * [misc]progress:  picking best candidate
1544779560.201 * * * * [misc]pick:  Picked  #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.201 * * * [misc]progress:  localizing error
1544779560.235 * * * [misc]progress:  generating rewritten candidates
1544779560.235 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2 2)
1544779560.247 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2 1)
1544779560.256 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2)
1544779560.260 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1)
1544779560.264 * * * [misc]progress:  generating series expansions
1544779560.264 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2 2)
1544779560.264 * [misc]backup-simplify:  Simplify (log (sqrt (+ 1 x))) into (log (sqrt (+ x 1)))
1544779560.264 * [misc]approximate:  Taking taylor expansion of (log (sqrt (+ x 1))) in (x) around 0
1544779560.264 * [misc]taylor:  Taking taylor expansion of (log (sqrt (+ x 1))) in x
1544779560.264 * [misc]taylor:  Taking taylor expansion of (sqrt (+ x 1)) in x
1544779560.264 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544779560.264 * [misc]taylor:  Taking taylor expansion of x in x
1544779560.264 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.264 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.264 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779560.264 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.265 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779560.265 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1544779560.265 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779560.265 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1544779560.265 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779560.265 * [misc]taylor:  Taking taylor expansion of (log (sqrt (+ x 1))) in x
1544779560.265 * [misc]taylor:  Taking taylor expansion of (sqrt (+ x 1)) in x
1544779560.265 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544779560.265 * [misc]taylor:  Taking taylor expansion of x in x
1544779560.265 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.265 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.265 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779560.265 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.265 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779560.265 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1544779560.266 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779560.266 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1544779560.266 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779560.266 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.267 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2
1544779560.267 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1544779560.268 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779560.268 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8
1544779560.271 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 -1/8) 1)) (pow 1 1)))) 2) into -1/4
1544779560.271 * [misc]backup-simplify:  Simplify -1/4 into -1/4
1544779560.271 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779560.271 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 1/2 -1/8)))) (* 2 1)) into 1/16
1544779560.276 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 1/2) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1/2) 1) (pow (* 2 -1/8) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/16) 1)) (pow 1 1)))) 6) into 1/6
1544779560.276 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1544779560.276 * [misc]backup-simplify:  Simplify (+ (* 1/6 (pow x 3)) (+ (* -1/4 (pow x 2)) (* 1/2 x))) into (- (+ (* 1/2 x) (* 1/6 (pow x 3))) (* 1/4 (pow x 2)))
1544779560.276 * [misc]backup-simplify:  Simplify (log (sqrt (+ 1 (/ 1 x)))) into (log (sqrt (+ (/ 1 x) 1)))
1544779560.276 * [misc]approximate:  Taking taylor expansion of (log (sqrt (+ (/ 1 x) 1))) in (x) around 0
1544779560.276 * [misc]taylor:  Taking taylor expansion of (log (sqrt (+ (/ 1 x) 1))) in x
1544779560.276 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x
1544779560.276 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1544779560.276 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779560.276 * [misc]taylor:  Taking taylor expansion of x in x
1544779560.276 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.276 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.276 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779560.276 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779560.276 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.276 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779560.276 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544779560.277 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544779560.277 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1544779560.277 * [misc]taylor:  Taking taylor expansion of (log (sqrt (+ (/ 1 x) 1))) in x
1544779560.277 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x
1544779560.277 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1544779560.277 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779560.277 * [misc]taylor:  Taking taylor expansion of x in x
1544779560.277 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.277 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.277 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779560.277 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779560.277 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.277 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779560.277 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544779560.278 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544779560.278 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1544779560.278 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1544779560.278 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544779560.278 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779560.279 * [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544779560.280 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0
1544779560.280 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544779560.281 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779560.281 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779560.281 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1544779560.284 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0
1544779560.284 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544779560.284 * [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) (log +nan.0))) into (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))
1544779560.284 * [misc]backup-simplify:  Simplify (log (sqrt (+ 1 (/ 1 (- x))))) into (log (sqrt (- 1 (/ 1 x))))
1544779560.284 * [misc]approximate:  Taking taylor expansion of (log (sqrt (- 1 (/ 1 x)))) in (x) around 0
1544779560.284 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- 1 (/ 1 x)))) in x
1544779560.284 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x
1544779560.284 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1544779560.284 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779560.284 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.284 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779560.284 * [misc]taylor:  Taking taylor expansion of x in x
1544779560.285 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.285 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.285 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779560.285 * [misc]backup-simplify:  Simplify (- 1) into -1
1544779560.285 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544779560.285 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544779560.285 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1544779560.285 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1544779560.285 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- 1 (/ 1 x)))) in x
1544779560.285 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x
1544779560.285 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1544779560.285 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779560.285 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.285 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779560.286 * [misc]taylor:  Taking taylor expansion of x in x
1544779560.286 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.286 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.286 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779560.286 * [misc]backup-simplify:  Simplify (- 1) into -1
1544779560.286 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544779560.286 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544779560.286 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1544779560.286 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1544779560.286 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1544779560.287 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544779560.287 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779560.287 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779560.287 * [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544779560.289 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0
1544779560.289 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544779560.289 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779560.289 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779560.289 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779560.290 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1544779560.293 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0
1544779560.293 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544779560.294 * [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) (log +nan.0))) into (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))
1544779560.294 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2 1)
1544779560.294 * [misc]backup-simplify:  Simplify (log (sqrt (+ 1 x))) into (log (sqrt (+ x 1)))
1544779560.294 * [misc]approximate:  Taking taylor expansion of (log (sqrt (+ x 1))) in (x) around 0
1544779560.294 * [misc]taylor:  Taking taylor expansion of (log (sqrt (+ x 1))) in x
1544779560.294 * [misc]taylor:  Taking taylor expansion of (sqrt (+ x 1)) in x
1544779560.294 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544779560.294 * [misc]taylor:  Taking taylor expansion of x in x
1544779560.294 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.294 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.294 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779560.294 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.294 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779560.294 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1544779560.294 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779560.294 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1544779560.295 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779560.295 * [misc]taylor:  Taking taylor expansion of (log (sqrt (+ x 1))) in x
1544779560.295 * [misc]taylor:  Taking taylor expansion of (sqrt (+ x 1)) in x
1544779560.295 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544779560.295 * [misc]taylor:  Taking taylor expansion of x in x
1544779560.295 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.295 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.295 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779560.295 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.295 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779560.295 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1544779560.295 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779560.295 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1544779560.295 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779560.295 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.297 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2
1544779560.297 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1544779560.297 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779560.298 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8
1544779560.300 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 -1/8) 1)) (pow 1 1)))) 2) into -1/4
1544779560.300 * [misc]backup-simplify:  Simplify -1/4 into -1/4
1544779560.300 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779560.300 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 1/2 -1/8)))) (* 2 1)) into 1/16
1544779560.305 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 1/2) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1/2) 1) (pow (* 2 -1/8) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/16) 1)) (pow 1 1)))) 6) into 1/6
1544779560.305 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1544779560.305 * [misc]backup-simplify:  Simplify (+ (* 1/6 (pow x 3)) (+ (* -1/4 (pow x 2)) (* 1/2 x))) into (- (+ (* 1/2 x) (* 1/6 (pow x 3))) (* 1/4 (pow x 2)))
1544779560.305 * [misc]backup-simplify:  Simplify (log (sqrt (+ 1 (/ 1 x)))) into (log (sqrt (+ (/ 1 x) 1)))
1544779560.305 * [misc]approximate:  Taking taylor expansion of (log (sqrt (+ (/ 1 x) 1))) in (x) around 0
1544779560.305 * [misc]taylor:  Taking taylor expansion of (log (sqrt (+ (/ 1 x) 1))) in x
1544779560.305 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x
1544779560.305 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1544779560.305 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779560.305 * [misc]taylor:  Taking taylor expansion of x in x
1544779560.305 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.305 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.305 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779560.305 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779560.305 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.305 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779560.306 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544779560.306 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544779560.306 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1544779560.306 * [misc]taylor:  Taking taylor expansion of (log (sqrt (+ (/ 1 x) 1))) in x
1544779560.306 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x
1544779560.306 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1544779560.306 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779560.306 * [misc]taylor:  Taking taylor expansion of x in x
1544779560.306 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.306 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.306 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779560.306 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779560.306 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.306 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779560.306 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544779560.307 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1544779560.307 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1544779560.307 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1544779560.307 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544779560.307 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779560.308 * [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544779560.309 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0
1544779560.309 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544779560.310 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779560.310 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779560.310 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1544779560.314 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0
1544779560.314 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544779560.315 * [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) (log +nan.0))) into (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))
1544779560.315 * [misc]backup-simplify:  Simplify (log (sqrt (+ 1 (/ 1 (- x))))) into (log (sqrt (- 1 (/ 1 x))))
1544779560.315 * [misc]approximate:  Taking taylor expansion of (log (sqrt (- 1 (/ 1 x)))) in (x) around 0
1544779560.315 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- 1 (/ 1 x)))) in x
1544779560.315 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x
1544779560.315 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1544779560.315 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779560.315 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.315 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779560.315 * [misc]taylor:  Taking taylor expansion of x in x
1544779560.315 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.315 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.316 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779560.316 * [misc]backup-simplify:  Simplify (- 1) into -1
1544779560.316 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544779560.316 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544779560.317 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1544779560.317 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1544779560.317 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- 1 (/ 1 x)))) in x
1544779560.317 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x
1544779560.317 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1544779560.317 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779560.317 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.317 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779560.317 * [misc]taylor:  Taking taylor expansion of x in x
1544779560.317 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.317 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.317 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779560.317 * [misc]backup-simplify:  Simplify (- 1) into -1
1544779560.317 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544779560.318 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1544779560.318 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1544779560.318 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1544779560.319 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1544779560.319 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544779560.319 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779560.319 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779560.320 * [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1544779560.323 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0
1544779560.323 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544779560.323 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779560.323 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779560.323 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779560.325 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1544779560.329 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0
1544779560.329 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1544779560.330 * [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) (log +nan.0))) into (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))
1544779560.330 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2)
1544779560.330 * [misc]backup-simplify:  Simplify (log (+ 1 x)) into (log (+ x 1))
1544779560.330 * [misc]approximate:  Taking taylor expansion of (log (+ x 1)) in (x) around 0
1544779560.330 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1544779560.330 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544779560.330 * [misc]taylor:  Taking taylor expansion of x in x
1544779560.330 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.330 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.330 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779560.330 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.331 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779560.331 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779560.331 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1544779560.331 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544779560.331 * [misc]taylor:  Taking taylor expansion of x in x
1544779560.331 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.331 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.331 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779560.331 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.331 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779560.331 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779560.331 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.332 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779560.334 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1544779560.334 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.334 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779560.339 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1544779560.339 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544779560.339 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779560.347 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
1544779560.347 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1544779560.348 * [misc]backup-simplify:  Simplify (+ (* 1/3 (pow x 3)) (+ (* -1/2 (pow x 2)) (* 1 x))) into (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
1544779560.348 * [misc]backup-simplify:  Simplify (log (+ 1 (/ 1 x))) into (log (+ (/ 1 x) 1))
1544779560.348 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in (x) around 0
1544779560.348 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1544779560.348 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1544779560.348 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779560.348 * [misc]taylor:  Taking taylor expansion of x in x
1544779560.348 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.348 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.348 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779560.348 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779560.348 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.348 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779560.349 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779560.349 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1544779560.349 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1544779560.349 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779560.349 * [misc]taylor:  Taking taylor expansion of x in x
1544779560.349 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.349 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.349 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779560.349 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779560.349 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.349 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779560.349 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779560.350 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1544779560.350 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1544779560.350 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544779560.350 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779560.353 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1544779560.353 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.353 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779560.353 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779560.358 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1544779560.358 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544779560.358 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* 1 (/ 1 x)) (- (log (/ 1 x))))) into (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779560.358 * [misc]backup-simplify:  Simplify (log (+ 1 (/ 1 (- x)))) into (log (- 1 (/ 1 x)))
1544779560.358 * [misc]approximate:  Taking taylor expansion of (log (- 1 (/ 1 x))) in (x) around 0
1544779560.358 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1544779560.359 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1544779560.359 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779560.359 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.359 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779560.359 * [misc]taylor:  Taking taylor expansion of x in x
1544779560.359 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.359 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.359 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779560.359 * [misc]backup-simplify:  Simplify (- 1) into -1
1544779560.359 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544779560.359 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544779560.359 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1544779560.359 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1544779560.359 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779560.359 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.360 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779560.360 * [misc]taylor:  Taking taylor expansion of x in x
1544779560.360 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.360 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.360 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779560.360 * [misc]backup-simplify:  Simplify (- 1) into -1
1544779560.360 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544779560.360 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544779560.361 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1544779560.361 * [misc]backup-simplify:  Simplify (- (log -1) (log x)) into (- (log -1) (log x))
1544779560.361 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544779560.361 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779560.361 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779560.364 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1544779560.364 * [misc]backup-simplify:  Simplify -1 into -1
1544779560.364 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779560.364 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779560.365 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779560.369 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
1544779560.369 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544779560.370 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* -1 (/ 1 (- x))) (- (log -1) (log (/ 1 (- x)))))) into (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779560.370 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1)
1544779560.370 * [misc]backup-simplify:  Simplify (log (+ 1 x)) into (log (+ x 1))
1544779560.370 * [misc]approximate:  Taking taylor expansion of (log (+ x 1)) in (x) around 0
1544779560.370 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1544779560.370 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544779560.370 * [misc]taylor:  Taking taylor expansion of x in x
1544779560.370 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.370 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.370 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779560.370 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.370 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779560.371 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779560.371 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1544779560.371 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1544779560.371 * [misc]taylor:  Taking taylor expansion of x in x
1544779560.371 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.371 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.371 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779560.371 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.371 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779560.371 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779560.371 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.371 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779560.374 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1544779560.374 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.374 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779560.383 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1544779560.383 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544779560.383 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779560.391 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
1544779560.391 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1544779560.392 * [misc]backup-simplify:  Simplify (+ (* 1/3 (pow x 3)) (+ (* -1/2 (pow x 2)) (* 1 x))) into (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
1544779560.392 * [misc]backup-simplify:  Simplify (log (+ 1 (/ 1 x))) into (log (+ (/ 1 x) 1))
1544779560.392 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in (x) around 0
1544779560.392 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1544779560.392 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1544779560.392 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779560.392 * [misc]taylor:  Taking taylor expansion of x in x
1544779560.392 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.392 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.392 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779560.392 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779560.392 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.393 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779560.393 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779560.393 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1544779560.393 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1544779560.393 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779560.393 * [misc]taylor:  Taking taylor expansion of x in x
1544779560.393 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.393 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.393 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779560.393 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779560.393 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.393 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779560.394 * [misc]backup-simplify:  Simplify (log 1) into 0
1544779560.394 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1544779560.394 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1544779560.394 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544779560.394 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1544779560.397 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1544779560.397 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.397 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779560.398 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779560.402 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1544779560.402 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544779560.403 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* 1 (/ 1 x)) (- (log (/ 1 x))))) into (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779560.403 * [misc]backup-simplify:  Simplify (log (+ 1 (/ 1 (- x)))) into (log (- 1 (/ 1 x)))
1544779560.403 * [misc]approximate:  Taking taylor expansion of (log (- 1 (/ 1 x))) in (x) around 0
1544779560.403 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1544779560.403 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1544779560.403 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779560.403 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.403 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779560.403 * [misc]taylor:  Taking taylor expansion of x in x
1544779560.403 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.403 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.403 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779560.403 * [misc]backup-simplify:  Simplify (- 1) into -1
1544779560.404 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544779560.404 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544779560.404 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1544779560.404 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1544779560.404 * [misc]taylor:  Taking taylor expansion of 1 in x
1544779560.404 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.404 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544779560.404 * [misc]taylor:  Taking taylor expansion of x in x
1544779560.404 * [misc]backup-simplify:  Simplify 0 into 0
1544779560.404 * [misc]backup-simplify:  Simplify 1 into 1
1544779560.404 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544779560.404 * [misc]backup-simplify:  Simplify (- 1) into -1
1544779560.404 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1544779560.404 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1544779560.404 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1544779560.405 * [misc]backup-simplify:  Simplify (- (log -1) (log x)) into (- (log -1) (log x))
1544779560.405 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544779560.405 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779560.405 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1544779560.406 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1544779560.406 * [misc]backup-simplify:  Simplify -1 into -1
1544779560.407 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544779560.407 * [misc]backup-simplify:  Simplify (- 0) into 0
1544779560.407 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544779560.409 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
1544779560.409 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1544779560.410 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* -1 (/ 1 (- x))) (- (log -1) (log (/ 1 (- x)))))) into (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779560.410 * * * [misc]progress:  simplifying candidates
1544779560.410 * * * * [misc]progress:  [ 1 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (+ (log (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (log (cbrt (sqrt (+ 1 x)))))))))>
1544779560.410 * [enter]simplify:  Simplifying (log (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x)))))
1544779560.411 * * [misc]simplify:  iters left: 6 (7 enodes)
1544779560.412 * * [misc]simplify:  iters left: 5 (12 enodes)
1544779560.414 * [exit]simplify:  Simplified to (log (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1)))))
1544779560.414 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (+ (log (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) (log (cbrt (sqrt (+ 1 x)))))))))
1544779560.414 * * * * [misc]progress:  [ 2 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (+ (log (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (log (sqrt (cbrt (+ 1 x)))))))))>
1544779560.414 * [enter]simplify:  Simplifying (log (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))
1544779560.415 * * [misc]simplify:  iters left: 6 (7 enodes)
1544779560.416 * * [misc]simplify:  iters left: 5 (11 enodes)
1544779560.418 * [exit]simplify:  Simplified to (log (fabs (cbrt (+ x 1))))
1544779560.418 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (+ (log (fabs (cbrt (+ x 1)))) (log (sqrt (cbrt (+ 1 x)))))))))
1544779560.418 * * * * [misc]progress:  [ 3 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (+ (log (sqrt (sqrt (+ 1 x)))) (log (sqrt (sqrt (+ 1 x)))))))))>
1544779560.418 * [enter]simplify:  Simplifying (log (sqrt (sqrt (+ 1 x))))
1544779560.418 * * [misc]simplify:  iters left: 5 (6 enodes)
1544779560.420 * * [misc]simplify:  iters left: 4 (9 enodes)
1544779560.421 * [exit]simplify:  Simplified to (log (sqrt (sqrt (+ x 1))))
1544779560.421 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (+ (log (sqrt (sqrt (+ x 1)))) (log (sqrt (sqrt (+ 1 x)))))))))
1544779560.421 * * * * [misc]progress:  [ 4 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (+ (log (sqrt 1)) (log (sqrt (+ 1 x))))))))>
1544779560.421 * [enter]simplify:  Simplifying (log (sqrt 1))
1544779560.421 * * [misc]simplify:  iters left: 2 (3 enodes)
1544779560.423 * * [misc]simplify:  iters left: 1 (5 enodes)
1544779560.423 * [exit]simplify:  Simplified to 0
1544779560.423 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (+ 0 (log (sqrt (+ 1 x))))))))
1544779560.423 * * * * [misc]progress:  [ 5 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (+ (log (sqrt (sqrt (+ 1 x)))) (log (sqrt (sqrt (+ 1 x)))))))))>
1544779560.423 * [enter]simplify:  Simplifying (log (sqrt (sqrt (+ 1 x))))
1544779560.424 * * [misc]simplify:  iters left: 5 (6 enodes)
1544779560.425 * * [misc]simplify:  iters left: 4 (9 enodes)
1544779560.426 * [exit]simplify:  Simplified to (log (sqrt (sqrt (+ x 1))))
1544779560.426 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (+ (log (sqrt (sqrt (+ x 1)))) (log (sqrt (sqrt (+ 1 x)))))))))
1544779560.426 * * * * [misc]progress:  [ 6 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (+ (log 1) (log (sqrt (+ 1 x))))))))>
1544779560.427 * [enter]simplify:  Simplifying (log 1)
1544779560.427 * * [misc]simplify:  iters left: 1 (2 enodes)
1544779560.428 * [exit]simplify:  Simplified to 0
1544779560.428 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (+ 0 (log (sqrt (+ 1 x))))))))
1544779560.428 * * * * [misc]progress:  [ 7 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (- (log (sqrt (+ (pow 1 3) (pow x 3)))) (log (sqrt (+ (* 1 1) (- (* x x) (* 1 x))))))))))>
1544779560.428 * [enter]simplify:  Simplifying (log (sqrt (+ (pow 1 3) (pow x 3))))
1544779560.428 * * [misc]simplify:  iters left: 5 (8 enodes)
1544779560.431 * * [misc]simplify:  iters left: 4 (16 enodes)
1544779560.433 * [exit]simplify:  Simplified to (log (sqrt (+ 1 (pow x 3))))
1544779560.433 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (- (log (sqrt (+ 1 (pow x 3)))) (log (sqrt (+ (* 1 1) (- (* x x) (* 1 x))))))))))
1544779560.433 * * * * [misc]progress:  [ 8 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (- (log (sqrt (- (* 1 1) (* x x)))) (log (sqrt (- 1 x))))))))>
1544779560.433 * [enter]simplify:  Simplifying (log (sqrt (- (* 1 1) (* x x))))
1544779560.433 * * [misc]simplify:  iters left: 6 (7 enodes)
1544779560.435 * * [misc]simplify:  iters left: 5 (11 enodes)
1544779560.437 * * [misc]simplify:  iters left: 4 (15 enodes)
1544779560.439 * [exit]simplify:  Simplified to (log (sqrt (- 1 (* x x))))
1544779560.439 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (- (log (sqrt (- 1 (* x x)))) (log (sqrt (- 1 x))))))))
1544779560.439 * * * * [misc]progress:  [ 9 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (* 1/2 (log (+ 1 x)))))))>
1544779560.439 * * * * [misc]progress:  [ 10 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (* 1 (log (sqrt (+ 1 x))))))))>
1544779560.439 * * * * [misc]progress:  [ 11 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (pow (log (sqrt (+ 1 x))) 1)))))>
1544779560.439 * * * * [misc]progress:  [ 12 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.439 * [enter]simplify:  Simplifying (sqrt (+ 1 x))
1544779560.440 * * [misc]simplify:  iters left: 3 (4 enodes)
1544779560.440 * * [misc]simplify:  iters left: 2 (7 enodes)
1544779560.441 * [exit]simplify:  Simplified to (sqrt (+ x 1))
1544779560.441 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ x 1)))))))
1544779560.441 * * * * [misc]progress:  [ 13 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (exp (log (log (sqrt (+ 1 x)))))))))>
1544779560.441 * * * * [misc]progress:  [ 14 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (exp (log (sqrt (+ 1 x)))))))))>
1544779560.442 * * * * [misc]progress:  [ 15 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (* (* (cbrt (log (sqrt (+ 1 x)))) (cbrt (log (sqrt (+ 1 x))))) (cbrt (log (sqrt (+ 1 x)))))))))>
1544779560.442 * * * * [misc]progress:  [ 16 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (cbrt (* (* (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))) (log (sqrt (+ 1 x)))))))))>
1544779560.442 * * * * [misc]progress:  [ 17 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (* (sqrt (log (sqrt (+ 1 x)))) (sqrt (log (sqrt (+ 1 x)))))))))>
1544779560.442 * * * * [misc]progress:  [ 18 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (* 1 (log (sqrt (+ 1 x))))))))>
1544779560.442 * * * * [misc]progress:  [ 19 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (+ (log (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (log (cbrt (sqrt (+ 1 x))))) (log (sqrt (+ 1 x)))))))>
1544779560.442 * [enter]simplify:  Simplifying (log (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x)))))
1544779560.442 * * [misc]simplify:  iters left: 6 (7 enodes)
1544779560.444 * * [misc]simplify:  iters left: 5 (12 enodes)
1544779560.446 * [exit]simplify:  Simplified to (log (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1)))))
1544779560.446 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (+ (log (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) (log (cbrt (sqrt (+ 1 x))))) (log (sqrt (+ 1 x)))))))
1544779560.446 * * * * [misc]progress:  [ 20 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (+ (log (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (log (sqrt (cbrt (+ 1 x))))) (log (sqrt (+ 1 x)))))))>
1544779560.446 * [enter]simplify:  Simplifying (log (sqrt (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))
1544779560.446 * * [misc]simplify:  iters left: 6 (7 enodes)
1544779560.448 * * [misc]simplify:  iters left: 5 (11 enodes)
1544779560.452 * [exit]simplify:  Simplified to (log (fabs (cbrt (+ x 1))))
1544779560.452 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (+ (log (fabs (cbrt (+ x 1)))) (log (sqrt (cbrt (+ 1 x))))) (log (sqrt (+ 1 x)))))))
1544779560.452 * * * * [misc]progress:  [ 21 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (+ (log (sqrt (sqrt (+ 1 x)))) (log (sqrt (sqrt (+ 1 x))))) (log (sqrt (+ 1 x)))))))>
1544779560.452 * [enter]simplify:  Simplifying (log (sqrt (sqrt (+ 1 x))))
1544779560.453 * * [misc]simplify:  iters left: 5 (6 enodes)
1544779560.455 * * [misc]simplify:  iters left: 4 (9 enodes)
1544779560.458 * [exit]simplify:  Simplified to (log (sqrt (sqrt (+ x 1))))
1544779560.459 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (+ (log (sqrt (sqrt (+ x 1)))) (log (sqrt (sqrt (+ 1 x))))) (log (sqrt (+ 1 x)))))))
1544779560.459 * * * * [misc]progress:  [ 22 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (+ (log (sqrt 1)) (log (sqrt (+ 1 x)))) (log (sqrt (+ 1 x)))))))>
1544779560.459 * [enter]simplify:  Simplifying (log (sqrt 1))
1544779560.459 * * [misc]simplify:  iters left: 2 (3 enodes)
1544779560.462 * * [misc]simplify:  iters left: 1 (5 enodes)
1544779560.462 * [exit]simplify:  Simplified to 0
1544779560.462 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (+ 0 (log (sqrt (+ 1 x)))) (log (sqrt (+ 1 x)))))))
1544779560.462 * * * * [misc]progress:  [ 23 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (+ (log (sqrt (sqrt (+ 1 x)))) (log (sqrt (sqrt (+ 1 x))))) (log (sqrt (+ 1 x)))))))>
1544779560.463 * [enter]simplify:  Simplifying (log (sqrt (sqrt (+ 1 x))))
1544779560.463 * * [misc]simplify:  iters left: 5 (6 enodes)
1544779560.465 * * [misc]simplify:  iters left: 4 (9 enodes)
1544779560.468 * [exit]simplify:  Simplified to (log (sqrt (sqrt (+ x 1))))
1544779560.468 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (+ (log (sqrt (sqrt (+ x 1)))) (log (sqrt (sqrt (+ 1 x))))) (log (sqrt (+ 1 x)))))))
1544779560.468 * * * * [misc]progress:  [ 24 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (+ (log 1) (log (sqrt (+ 1 x)))) (log (sqrt (+ 1 x)))))))>
1544779560.469 * [enter]simplify:  Simplifying (log 1)
1544779560.469 * * [misc]simplify:  iters left: 1 (2 enodes)
1544779560.470 * [exit]simplify:  Simplified to 0
1544779560.470 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (+ 0 (log (sqrt (+ 1 x)))) (log (sqrt (+ 1 x)))))))
1544779560.470 * * * * [misc]progress:  [ 25 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (- (log (sqrt (+ (pow 1 3) (pow x 3)))) (log (sqrt (+ (* 1 1) (- (* x x) (* 1 x)))))) (log (sqrt (+ 1 x)))))))>
1544779560.471 * [enter]simplify:  Simplifying (log (sqrt (+ (pow 1 3) (pow x 3))))
1544779560.471 * * [misc]simplify:  iters left: 5 (8 enodes)
1544779560.476 * * [misc]simplify:  iters left: 4 (16 enodes)
1544779560.480 * [exit]simplify:  Simplified to (log (sqrt (+ 1 (pow x 3))))
1544779560.481 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (- (log (sqrt (+ 1 (pow x 3)))) (log (sqrt (+ (* 1 1) (- (* x x) (* 1 x)))))) (log (sqrt (+ 1 x)))))))
1544779560.481 * * * * [misc]progress:  [ 26 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (- (log (sqrt (- (* 1 1) (* x x)))) (log (sqrt (- 1 x)))) (log (sqrt (+ 1 x)))))))>
1544779560.481 * [enter]simplify:  Simplifying (log (sqrt (- (* 1 1) (* x x))))
1544779560.484 * * [misc]simplify:  iters left: 6 (7 enodes)
1544779560.487 * * [misc]simplify:  iters left: 5 (11 enodes)
1544779560.491 * * [misc]simplify:  iters left: 4 (15 enodes)
1544779560.495 * [exit]simplify:  Simplified to (log (sqrt (- 1 (* x x))))
1544779560.495 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (- (log (sqrt (- 1 (* x x)))) (log (sqrt (- 1 x)))) (log (sqrt (+ 1 x)))))))
1544779560.495 * * * * [misc]progress:  [ 27 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (* 1/2 (log (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.495 * * * * [misc]progress:  [ 28 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (* 1 (log (sqrt (+ 1 x)))) (log (sqrt (+ 1 x)))))))>
1544779560.496 * * * * [misc]progress:  [ 29 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (pow (log (sqrt (+ 1 x))) 1) (log (sqrt (+ 1 x)))))))>
1544779560.496 * * * * [misc]progress:  [ 30 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.496 * [enter]simplify:  Simplifying (sqrt (+ 1 x))
1544779560.496 * * [misc]simplify:  iters left: 3 (4 enodes)
1544779560.498 * * [misc]simplify:  iters left: 2 (7 enodes)
1544779560.500 * [exit]simplify:  Simplified to (sqrt (+ x 1))
1544779560.500 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ x 1))) (log (sqrt (+ 1 x)))))))
1544779560.500 * * * * [misc]progress:  [ 31 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (exp (log (log (sqrt (+ 1 x))))) (log (sqrt (+ 1 x)))))))>
1544779560.500 * * * * [misc]progress:  [ 32 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (exp (log (sqrt (+ 1 x))))) (log (sqrt (+ 1 x)))))))>
1544779560.500 * * * * [misc]progress:  [ 33 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (* (* (cbrt (log (sqrt (+ 1 x)))) (cbrt (log (sqrt (+ 1 x))))) (cbrt (log (sqrt (+ 1 x))))) (log (sqrt (+ 1 x)))))))>
1544779560.500 * * * * [misc]progress:  [ 34 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (cbrt (* (* (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))) (log (sqrt (+ 1 x))))) (log (sqrt (+ 1 x)))))))>
1544779560.500 * * * * [misc]progress:  [ 35 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (* (sqrt (log (sqrt (+ 1 x)))) (sqrt (log (sqrt (+ 1 x))))) (log (sqrt (+ 1 x)))))))>
1544779560.500 * * * * [misc]progress:  [ 36 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (* 1 (log (sqrt (+ 1 x)))) (log (sqrt (+ 1 x)))))))>
1544779560.500 * * * * [misc]progress:  [ 37 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (+ (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (log (cbrt (+ 1 x))))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.500 * [enter]simplify:  Simplifying (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))
1544779560.501 * * [misc]simplify:  iters left: 6 (6 enodes)
1544779560.504 * * [misc]simplify:  iters left: 5 (11 enodes)
1544779560.508 * [exit]simplify:  Simplified to (log (* (cbrt (+ x 1)) (cbrt (+ x 1))))
1544779560.508 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (+ (log (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (log (cbrt (+ 1 x))))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))
1544779560.508 * * * * [misc]progress:  [ 38 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x))))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.508 * [enter]simplify:  Simplifying (log (sqrt (+ 1 x)))
1544779560.509 * * [misc]simplify:  iters left: 4 (5 enodes)
1544779560.511 * * [misc]simplify:  iters left: 3 (8 enodes)
1544779560.512 * [exit]simplify:  Simplified to (log (sqrt (+ x 1)))
1544779560.512 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (+ (log (sqrt (+ x 1))) (log (sqrt (+ 1 x))))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))
1544779560.512 * * * * [misc]progress:  [ 39 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (+ (log 1) (log (+ 1 x)))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.512 * [enter]simplify:  Simplifying (log 1)
1544779560.513 * * [misc]simplify:  iters left: 1 (2 enodes)
1544779560.514 * [exit]simplify:  Simplified to 0
1544779560.514 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (+ 0 (log (+ 1 x)))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))
1544779560.514 * * * * [misc]progress:  [ 40 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (- (log (+ (pow 1 3) (pow x 3))) (log (+ (* 1 1) (- (* x x) (* 1 x)))))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.514 * [enter]simplify:  Simplifying (log (+ (pow 1 3) (pow x 3)))
1544779560.514 * * [misc]simplify:  iters left: 4 (7 enodes)
1544779560.516 * * [misc]simplify:  iters left: 3 (15 enodes)
1544779560.518 * [exit]simplify:  Simplified to (log (+ 1 (pow x 3)))
1544779560.518 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (- (log (+ 1 (pow x 3))) (log (+ (* 1 1) (- (* x x) (* 1 x)))))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))
1544779560.519 * * * * [misc]progress:  [ 41 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (- (log (- (* 1 1) (* x x))) (log (- 1 x)))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.519 * [enter]simplify:  Simplifying (log (- (* 1 1) (* x x)))
1544779560.519 * * [misc]simplify:  iters left: 5 (6 enodes)
1544779560.520 * * [misc]simplify:  iters left: 4 (10 enodes)
1544779560.522 * * [misc]simplify:  iters left: 3 (14 enodes)
1544779560.524 * [exit]simplify:  Simplified to (log (- 1 (* x x)))
1544779560.524 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (- (log (- 1 (* x x))) (log (- 1 x)))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))
1544779560.524 * * * * [misc]progress:  [ 42 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (* 1 (log (+ 1 x)))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.524 * * * * [misc]progress:  [ 43 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (pow (log (+ 1 x)) 1)) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.525 * * * * [misc]progress:  [ 44 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.525 * [enter]simplify:  Simplifying (+ 1 x)
1544779560.525 * * [misc]simplify:  iters left: 2 (3 enodes)
1544779560.526 * * [misc]simplify:  iters left: 1 (6 enodes)
1544779560.526 * [exit]simplify:  Simplified to (+ x 1)
1544779560.526 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ x 1))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))
1544779560.526 * * * * [misc]progress:  [ 45 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (exp (log (log (+ 1 x))))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.526 * * * * [misc]progress:  [ 46 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (exp (log (+ 1 x))))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.526 * * * * [misc]progress:  [ 47 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (* (* (cbrt (log (+ 1 x))) (cbrt (log (+ 1 x)))) (cbrt (log (+ 1 x))))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.526 * * * * [misc]progress:  [ 48 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x))))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.526 * * * * [misc]progress:  [ 49 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (* (sqrt (log (+ 1 x))) (sqrt (log (+ 1 x))))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.527 * * * * [misc]progress:  [ 50 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (* 1 (log (+ 1 x)))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.527 * * * * [misc]progress:  [ 51 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (+ (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (log (cbrt (+ 1 x)))) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.527 * [enter]simplify:  Simplifying (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))
1544779560.527 * * [misc]simplify:  iters left: 6 (6 enodes)
1544779560.528 * * [misc]simplify:  iters left: 5 (11 enodes)
1544779560.530 * [exit]simplify:  Simplified to (log (* (cbrt (+ x 1)) (cbrt (+ x 1))))
1544779560.530 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (cbrt (* (* (+ (log (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (log (cbrt (+ 1 x)))) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))
1544779560.530 * * * * [misc]progress:  [ 52 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.530 * [enter]simplify:  Simplifying (log (sqrt (+ 1 x)))
1544779560.531 * * [misc]simplify:  iters left: 4 (5 enodes)
1544779560.532 * * [misc]simplify:  iters left: 3 (8 enodes)
1544779560.533 * [exit]simplify:  Simplified to (log (sqrt (+ x 1)))
1544779560.533 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (cbrt (* (* (+ (log (sqrt (+ x 1))) (log (sqrt (+ 1 x)))) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))
1544779560.533 * * * * [misc]progress:  [ 53 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (+ (log 1) (log (+ 1 x))) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.533 * [enter]simplify:  Simplifying (log 1)
1544779560.533 * * [misc]simplify:  iters left: 1 (2 enodes)
1544779560.534 * [exit]simplify:  Simplified to 0
1544779560.534 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (cbrt (* (* (+ 0 (log (+ 1 x))) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))
1544779560.534 * * * * [misc]progress:  [ 54 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (- (log (+ (pow 1 3) (pow x 3))) (log (+ (* 1 1) (- (* x x) (* 1 x))))) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.534 * [enter]simplify:  Simplifying (log (+ (pow 1 3) (pow x 3)))
1544779560.535 * * [misc]simplify:  iters left: 4 (7 enodes)
1544779560.537 * * [misc]simplify:  iters left: 3 (15 enodes)
1544779560.539 * [exit]simplify:  Simplified to (log (+ 1 (pow x 3)))
1544779560.539 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (cbrt (* (* (- (log (+ 1 (pow x 3))) (log (+ (* 1 1) (- (* x x) (* 1 x))))) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))
1544779560.539 * * * * [misc]progress:  [ 55 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (- (log (- (* 1 1) (* x x))) (log (- 1 x))) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.539 * [enter]simplify:  Simplifying (log (- (* 1 1) (* x x)))
1544779560.539 * * [misc]simplify:  iters left: 5 (6 enodes)
1544779560.541 * * [misc]simplify:  iters left: 4 (10 enodes)
1544779560.543 * * [misc]simplify:  iters left: 3 (14 enodes)
1544779560.545 * [exit]simplify:  Simplified to (log (- 1 (* x x)))
1544779560.545 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (cbrt (* (* (- (log (- 1 (* x x))) (log (- 1 x))) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))
1544779560.545 * * * * [misc]progress:  [ 56 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* 1 (log (+ 1 x))) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.545 * * * * [misc]progress:  [ 57 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (pow (log (+ 1 x)) 1) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.545 * * * * [misc]progress:  [ 58 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.545 * [enter]simplify:  Simplifying (+ 1 x)
1544779560.545 * * [misc]simplify:  iters left: 2 (3 enodes)
1544779560.546 * * [misc]simplify:  iters left: 1 (6 enodes)
1544779560.547 * [exit]simplify:  Simplified to (+ x 1)
1544779560.547 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))
1544779560.547 * * * * [misc]progress:  [ 59 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (exp (log (log (+ 1 x)))) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.547 * * * * [misc]progress:  [ 60 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (exp (log (+ 1 x)))) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.547 * * * * [misc]progress:  [ 61 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (* (cbrt (log (+ 1 x))) (cbrt (log (+ 1 x)))) (cbrt (log (+ 1 x)))) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.547 * * * * [misc]progress:  [ 62 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x)))) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.547 * * * * [misc]progress:  [ 63 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (log (+ 1 x))) (sqrt (log (+ 1 x)))) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.547 * * * * [misc]progress:  [ 64 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* 1 (log (+ 1 x))) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.547 * * * * [misc]progress:  [ 65 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (- (+ (* 1/2 x) (* 1/6 (pow x 3))) (* 1/4 (pow x 2)))))))>
1544779560.547 * [enter]simplify:  Simplifying (- (+ (* 1/2 x) (* 1/6 (pow x 3))) (* 1/4 (pow x 2)))
1544779560.548 * * [misc]simplify:  iters left: 6 (13 enodes)
1544779560.554 * * [misc]simplify:  iters left: 5 (24 enodes)
1544779560.568 * * [misc]simplify:  iters left: 4 (54 enodes)
1544779560.597 * * [misc]simplify:  iters left: 3 (97 enodes)
1544779560.624 * * [misc]simplify:  iters left: 2 (151 enodes)
1544779560.656 * * [misc]simplify:  iters left: 1 (206 enodes)
1544779560.731 * [exit]simplify:  Simplified to (- (* 1/2 x) (* (* x x) (- 1/4 (* 1/6 x))))
1544779560.731 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (- (* 1/2 x) (* (* x x) (- 1/4 (* 1/6 x))))))))
1544779560.731 * * * * [misc]progress:  [ 66 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))))))>
1544779560.731 * [enter]simplify:  Simplifying (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))
1544779560.731 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) +nan.0))))
1544779560.732 * * * * [misc]progress:  [ 67 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))))))>
1544779560.732 * [enter]simplify:  Simplifying (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))
1544779560.732 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) +nan.0))))
1544779560.732 * * * * [misc]progress:  [ 68 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (- (+ (* 1/2 x) (* 1/6 (pow x 3))) (* 1/4 (pow x 2))) (log (sqrt (+ 1 x)))))))>
1544779560.732 * [enter]simplify:  Simplifying (- (+ (* 1/2 x) (* 1/6 (pow x 3))) (* 1/4 (pow x 2)))
1544779560.733 * * [misc]simplify:  iters left: 6 (13 enodes)
1544779560.739 * * [misc]simplify:  iters left: 5 (24 enodes)
1544779560.753 * * [misc]simplify:  iters left: 4 (54 enodes)
1544779560.779 * * [misc]simplify:  iters left: 3 (97 enodes)
1544779560.818 * * [misc]simplify:  iters left: 2 (151 enodes)
1544779560.858 * * [misc]simplify:  iters left: 1 (206 enodes)
1544779560.936 * [exit]simplify:  Simplified to (- (* 1/2 x) (* (* x x) (- 1/4 (* 1/6 x))))
1544779560.936 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (- (* 1/2 x) (* (* x x) (- 1/4 (* 1/6 x)))) (log (sqrt (+ 1 x)))))))
1544779560.936 * * * * [misc]progress:  [ 69 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))) (log (sqrt (+ 1 x)))))))>
1544779560.936 * [enter]simplify:  Simplifying (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))
1544779560.936 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ +nan.0 (log (sqrt (+ 1 x)))))))
1544779560.936 * * * * [misc]progress:  [ 70 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))) (log (sqrt (+ 1 x)))))))>
1544779560.936 * [enter]simplify:  Simplifying (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))
1544779560.936 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ +nan.0 (log (sqrt (+ 1 x)))))))
1544779560.937 * * * * [misc]progress:  [ 71 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779560.937 * [enter]simplify:  Simplifying (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
1544779560.938 * * [misc]simplify:  iters left: 6 (11 enodes)
1544779560.943 * * [misc]simplify:  iters left: 5 (21 enodes)
1544779560.957 * * [misc]simplify:  iters left: 4 (51 enodes)
1544779560.980 * * [misc]simplify:  iters left: 3 (83 enodes)
1544779561.010 * * [misc]simplify:  iters left: 2 (112 enodes)
1544779561.039 * * [misc]simplify:  iters left: 1 (143 enodes)
1544779561.123 * [exit]simplify:  Simplified to (+ (* (- (* x 1/3) 1/2) (* x x)) x)
1544779561.123 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (cbrt (* (* (log (+ 1 x)) (+ (* (- (* x 1/3) 1/2) (* x x)) x)) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))
1544779561.124 * * * * [misc]progress:  [ 72 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779561.124 * [enter]simplify:  Simplifying (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779561.125 * * [misc]simplify:  iters left: 6 (11 enodes)
1544779561.133 * * [misc]simplify:  iters left: 5 (26 enodes)
1544779561.143 * * [misc]simplify:  iters left: 4 (38 enodes)
1544779561.166 * * [misc]simplify:  iters left: 3 (74 enodes)
1544779561.200 * * [misc]simplify:  iters left: 2 (122 enodes)
1544779561.237 * * [misc]simplify:  iters left: 1 (167 enodes)
1544779561.373 * [exit]simplify:  Simplified to (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x)))
1544779561.373 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (cbrt (* (* (log (+ 1 x)) (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x)))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))
1544779561.373 * * * * [misc]progress:  [ 73 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779561.374 * [enter]simplify:  Simplifying (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779561.375 * * [misc]simplify:  iters left: 6 (15 enodes)
1544779561.384 * * [misc]simplify:  iters left: 5 (31 enodes)
1544779561.403 * * [misc]simplify:  iters left: 4 (64 enodes)
1544779561.444 * * [misc]simplify:  iters left: 3 (157 enodes)
1544779561.541 * * [misc]simplify:  iters left: 2 (404 enodes)
1544779561.947 * [exit]simplify:  Simplified to (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x)))
1544779561.947 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (cbrt (* (* (log (+ 1 x)) (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x)))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))
1544779561.947 * * * * [misc]progress:  [ 74 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2))) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779561.947 * [enter]simplify:  Simplifying (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
1544779561.948 * * [misc]simplify:  iters left: 6 (11 enodes)
1544779561.954 * * [misc]simplify:  iters left: 5 (21 enodes)
1544779561.967 * * [misc]simplify:  iters left: 4 (51 enodes)
1544779561.991 * * [misc]simplify:  iters left: 3 (83 enodes)
1544779562.020 * * [misc]simplify:  iters left: 2 (112 enodes)
1544779562.065 * * [misc]simplify:  iters left: 1 (143 enodes)
1544779562.150 * [exit]simplify:  Simplified to (+ (* (- (* x 1/3) 1/2) (* x x)) x)
1544779562.151 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (cbrt (* (* (+ (* (- (* x 1/3) 1/2) (* x x)) x) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))
1544779562.151 * * * * [misc]progress:  [ 75 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2))))) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779562.151 * [enter]simplify:  Simplifying (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779562.152 * * [misc]simplify:  iters left: 6 (11 enodes)
1544779562.160 * * [misc]simplify:  iters left: 5 (26 enodes)
1544779562.170 * * [misc]simplify:  iters left: 4 (38 enodes)
1544779562.192 * * [misc]simplify:  iters left: 3 (74 enodes)
1544779562.227 * * [misc]simplify:  iters left: 2 (122 enodes)
1544779562.272 * * [misc]simplify:  iters left: 1 (167 enodes)
1544779562.423 * [exit]simplify:  Simplified to (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x)))
1544779562.423 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (cbrt (* (* (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x))) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))
1544779562.423 * * * * [misc]progress:  [ 76 / 76 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2))))) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))>
1544779562.423 * [enter]simplify:  Simplifying (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1544779562.425 * * [misc]simplify:  iters left: 6 (15 enodes)
1544779562.434 * * [misc]simplify:  iters left: 5 (31 enodes)
1544779562.453 * * [misc]simplify:  iters left: 4 (64 enodes)
1544779562.491 * * [misc]simplify:  iters left: 3 (157 enodes)
1544779562.609 * * [misc]simplify:  iters left: 2 (404 enodes)
1544779562.927 * [exit]simplify:  Simplified to (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x)))
1544779562.927 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (cbrt (* (* (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x))) (log (+ 1 x))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ 1 x)))))))
1544779562.928 * * * [misc]progress:  adding candidates to table
1544779564.464 * [misc]progress:  [Phase 3 of 3] Extracting.
1544779564.464 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (log (+ 1 x)))> #<alt (λ (x) (+ (* (- (* x 1/3) 1/2) (* x x)) x))> #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (* 1/2 (log (+ 1 x))) (log (sqrt (+ 1 x)))))))>)
1544779564.465 * * * [misc]regime-changes:  Trying 3 branch expressions: (x (+ 1 x) (log (+ 1 x)))
1544779564.465 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (log (+ 1 x)))> #<alt (λ (x) (+ (* (- (* x 1/3) 1/2) (* x x)) x))> #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (* 1/2 (log (+ 1 x))) (log (sqrt (+ 1 x)))))))>)
1544779564.509 * * * * [misc]regimes:  Trying to branch on (+ 1 x) from (#<alt (λ (x) (log (+ 1 x)))> #<alt (λ (x) (+ (* (- (* x 1/3) 1/2) (* x x)) x))> #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (* 1/2 (log (+ 1 x))) (log (sqrt (+ 1 x)))))))>)
1544779564.552 * * * * [misc]regimes:  Trying to branch on (+ 1 x) from (#<alt (λ (x) (log (+ 1 x)))> #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (* 1/2 (log (+ 1 x))) (log (sqrt (+ 1 x)))))))>)
1544779564.586 * * * * [misc]regimes:  Trying to branch on (log (+ 1 x)) from (#<alt (λ (x) (log (+ 1 x)))> #<alt (λ (x) (+ (* (- (* x 1/3) 1/2) (* x x)) x))> #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (* 1/2 (log (+ 1 x))) (log (sqrt (+ 1 x)))))))>)
1544779564.646 * * * [misc]regime:  Found split indices: #<option (#s(si 1 182) #s(si 0 256))>
1544779564.647 * [misc]binary-search:  Improving bounds with binary search for x and (#<alt (λ (x) (log (+ 1 x)))> #<alt (λ (x) (+ (* (- (* x 1/3) 1/2) (* x x)) x))> #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (* 1/2 (log (+ 1 x))) (log (sqrt (+ 1 x)))))))>)
1544779564.647 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544779564.650 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544779564.651 * * * * [exit]points:  Sampled 16 points with exact outputs
1544779564.654 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544779564.657 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544779564.658 * * * * [exit]points:  Sampled 16 points with exact outputs
1544779564.661 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544779564.665 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544779564.665 * * * * [exit]points:  Sampled 16 points with exact outputs
1544779564.669 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544779564.672 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544779564.673 * * * * [exit]points:  Sampled 16 points with exact outputs
1544779564.676 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544779564.680 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544779564.680 * * * * [exit]points:  Sampled 16 points with exact outputs
1544779564.683 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544779564.687 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544779564.687 * * * * [exit]points:  Sampled 16 points with exact outputs
1544779564.690 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544779564.694 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544779564.694 * * * * [exit]points:  Sampled 16 points with exact outputs
1544779564.697 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544779564.701 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544779564.701 * * * * [exit]points:  Sampled 16 points with exact outputs
1544779564.704 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544779564.708 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544779564.708 * * * * [exit]points:  Sampled 16 points with exact outputs
1544779564.716 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544779564.720 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544779564.720 * * * * [exit]points:  Sampled 16 points with exact outputs
1544779564.724 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544779564.727 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544779564.727 * * * * [exit]points:  Sampled 16 points with exact outputs
1544779564.731 * [misc]regimes:  Found splitpoints: (#s(sp 1 x 0.00011227284711243091) #s(sp 0 x +nan.0)) , with alts (#<alt (λ (x) (log (+ 1 x)))> #<alt (λ (x) (+ (* (- (* x 1/3) 1/2) (* x x)) x))> #<alt (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ 1 x))) (+ (* 1/2 (log (+ 1 x))) (log (sqrt (+ 1 x)))))))>)
1544779564.731 * [enter]simplify:  Simplifying (if (<= x 0.00011227284711243091) (+ (* (- (* x 1/3) 1/2) (* x x)) x) (log (+ 1 x)))
1544779564.732 * * [misc]simplify:  iters left: 6 (14 enodes)
1544779564.735 * * [misc]simplify:  iters left: 5 (20 enodes)
1544779564.738 * [exit]simplify:  Simplified to (if (<= x 0.00011227284711243091) (+ x (* (* x x) (- (* 1/3 x) 1/2))) (log (+ x 1)))
1544779564.739 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1544779567.830 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544779567.831 * * * * [misc]points:  Sampling 2009 additional inputs, on iter 1 have 5991 / 8000
1544779568.424 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544779568.424 * * * * [misc]points:  Sampling 495 additional inputs, on iter 2 have 7505 / 8000
1544779568.582 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544779568.582 * * * * [misc]points:  Sampling 129 additional inputs, on iter 3 have 7871 / 8000
1544779568.619 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544779568.619 * * * * [misc]points:  Sampling 35 additional inputs, on iter 4 have 7965 / 8000
1544779568.627 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544779568.627 * * * * [misc]points:  Sampling 10 additional inputs, on iter 5 have 7990 / 8000
1544779568.631 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544779568.632 * * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 7999 / 8000
1544779568.633 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544779568.633 * * * * [exit]points:  Sampled 8002 points with exact outputs