104.414 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.074 * * * [progress]: [2/2] Setting up program. 0.079 * [progress]: [Phase 2 of 3] Improving. 0.079 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.079 * [simplify]: Simplifying: (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) 0.079 * * [simplify]: iteration 0: 9 enodes 0.084 * * [simplify]: iteration 1: 24 enodes 0.094 * * [simplify]: iteration 2: 54 enodes 0.107 * * [simplify]: iteration 3: 92 enodes 0.168 * * [simplify]: iteration 4: 248 enodes 0.258 * * [simplify]: iteration 5: 496 enodes 0.888 * * [simplify]: iteration 6: 2018 enodes 1.506 * * [simplify]: iteration complete: 2018 enodes 1.506 * * [simplify]: Extracting #0: cost 1 inf + 0 1.506 * * [simplify]: Extracting #1: cost 121 inf + 0 1.508 * * [simplify]: Extracting #2: cost 472 inf + 1214 1.513 * * [simplify]: Extracting #3: cost 318 inf + 35126 1.528 * * [simplify]: Extracting #4: cost 109 inf + 117730 1.549 * * [simplify]: Extracting #5: cost 14 inf + 159248 1.579 * * [simplify]: Extracting #6: cost 0 inf + 167375 1.614 * [simplify]: Simplified to: (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) 1.621 * * [progress]: iteration 1 / 4 1.621 * * * [progress]: picking best candidate 1.627 * * * * [pick]: Picked # 1.627 * * * [progress]: localizing error 1.650 * * * [progress]: generating rewritten candidates 1.650 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 1) 1.667 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1) 1.716 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 2.306 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 4.413 * * * [progress]: generating series expansions 4.413 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1 1) 4.413 * [backup-simplify]: Simplify (* d1 (* d1 d1)) into (pow d1 3) 4.413 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0 4.413 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 4.413 * [taylor]: Taking taylor expansion of d1 in d1 4.413 * [backup-simplify]: Simplify 0 into 0 4.413 * [backup-simplify]: Simplify 1 into 1 4.413 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 4.413 * [taylor]: Taking taylor expansion of d1 in d1 4.413 * [backup-simplify]: Simplify 0 into 0 4.413 * [backup-simplify]: Simplify 1 into 1 4.414 * [backup-simplify]: Simplify (* 1 1) into 1 4.414 * [backup-simplify]: Simplify (* 1 1) into 1 4.414 * [backup-simplify]: Simplify 1 into 1 4.414 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.415 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.415 * [backup-simplify]: Simplify 0 into 0 4.415 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.416 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.416 * [backup-simplify]: Simplify 0 into 0 4.417 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.418 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.418 * [backup-simplify]: Simplify 0 into 0 4.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.421 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.421 * [backup-simplify]: Simplify 0 into 0 4.422 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.423 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.423 * [backup-simplify]: Simplify 0 into 0 4.425 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.426 * [backup-simplify]: Simplify 0 into 0 4.427 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3) 4.427 * [backup-simplify]: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3)) 4.427 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0 4.427 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 4.427 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 4.427 * [taylor]: Taking taylor expansion of d1 in d1 4.427 * [backup-simplify]: Simplify 0 into 0 4.427 * [backup-simplify]: Simplify 1 into 1 4.427 * [backup-simplify]: Simplify (* 1 1) into 1 4.428 * [backup-simplify]: Simplify (* 1 1) into 1 4.428 * [backup-simplify]: Simplify (/ 1 1) into 1 4.428 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 4.428 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 4.428 * [taylor]: Taking taylor expansion of d1 in d1 4.428 * [backup-simplify]: Simplify 0 into 0 4.428 * [backup-simplify]: Simplify 1 into 1 4.429 * [backup-simplify]: Simplify (* 1 1) into 1 4.429 * [backup-simplify]: Simplify (* 1 1) into 1 4.429 * [backup-simplify]: Simplify (/ 1 1) into 1 4.429 * [backup-simplify]: Simplify 1 into 1 4.430 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.431 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.432 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.432 * [backup-simplify]: Simplify 0 into 0 4.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.433 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.433 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.433 * [backup-simplify]: Simplify 0 into 0 4.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.435 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.435 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.435 * [backup-simplify]: Simplify 0 into 0 4.436 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.437 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.437 * [backup-simplify]: Simplify 0 into 0 4.438 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.439 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.439 * [backup-simplify]: Simplify 0 into 0 4.440 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.441 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.442 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.442 * [backup-simplify]: Simplify 0 into 0 4.442 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3) 4.442 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3)) 4.442 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0 4.442 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 4.442 * [taylor]: Taking taylor expansion of -1 in d1 4.442 * [backup-simplify]: Simplify -1 into -1 4.442 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 4.442 * [taylor]: Taking taylor expansion of d1 in d1 4.442 * [backup-simplify]: Simplify 0 into 0 4.442 * [backup-simplify]: Simplify 1 into 1 4.442 * [backup-simplify]: Simplify (* 1 1) into 1 4.443 * [backup-simplify]: Simplify (* 1 1) into 1 4.443 * [backup-simplify]: Simplify (/ -1 1) into -1 4.443 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 4.443 * [taylor]: Taking taylor expansion of -1 in d1 4.443 * [backup-simplify]: Simplify -1 into -1 4.443 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 4.443 * [taylor]: Taking taylor expansion of d1 in d1 4.443 * [backup-simplify]: Simplify 0 into 0 4.443 * [backup-simplify]: Simplify 1 into 1 4.443 * [backup-simplify]: Simplify (* 1 1) into 1 4.444 * [backup-simplify]: Simplify (* 1 1) into 1 4.444 * [backup-simplify]: Simplify (/ -1 1) into -1 4.444 * [backup-simplify]: Simplify -1 into -1 4.444 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.445 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.445 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 4.445 * [backup-simplify]: Simplify 0 into 0 4.446 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.447 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.447 * [backup-simplify]: Simplify 0 into 0 4.448 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.448 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.449 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.449 * [backup-simplify]: Simplify 0 into 0 4.450 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.450 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.451 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.451 * [backup-simplify]: Simplify 0 into 0 4.452 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.453 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.453 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.453 * [backup-simplify]: Simplify 0 into 0 4.454 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.455 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.456 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.456 * [backup-simplify]: Simplify 0 into 0 4.456 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3) 4.456 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1) 4.456 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4) 4.456 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0 4.456 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 4.456 * [taylor]: Taking taylor expansion of d1 in d1 4.456 * [backup-simplify]: Simplify 0 into 0 4.456 * [backup-simplify]: Simplify 1 into 1 4.456 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 4.456 * [taylor]: Taking taylor expansion of d1 in d1 4.456 * [backup-simplify]: Simplify 0 into 0 4.456 * [backup-simplify]: Simplify 1 into 1 4.456 * [backup-simplify]: Simplify (* 1 1) into 1 4.457 * [backup-simplify]: Simplify (* 1 1) into 1 4.457 * [backup-simplify]: Simplify 1 into 1 4.457 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.457 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.457 * [backup-simplify]: Simplify 0 into 0 4.458 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.459 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.459 * [backup-simplify]: Simplify 0 into 0 4.459 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.460 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.460 * [backup-simplify]: Simplify 0 into 0 4.461 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.461 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.461 * [backup-simplify]: Simplify 0 into 0 4.462 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.463 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.463 * [backup-simplify]: Simplify 0 into 0 4.464 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.465 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.466 * [backup-simplify]: Simplify 0 into 0 4.466 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4) 4.466 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4)) 4.466 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 4.466 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 4.466 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 4.466 * [taylor]: Taking taylor expansion of d1 in d1 4.466 * [backup-simplify]: Simplify 0 into 0 4.466 * [backup-simplify]: Simplify 1 into 1 4.467 * [backup-simplify]: Simplify (* 1 1) into 1 4.467 * [backup-simplify]: Simplify (* 1 1) into 1 4.467 * [backup-simplify]: Simplify (/ 1 1) into 1 4.467 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 4.467 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 4.467 * [taylor]: Taking taylor expansion of d1 in d1 4.467 * [backup-simplify]: Simplify 0 into 0 4.467 * [backup-simplify]: Simplify 1 into 1 4.468 * [backup-simplify]: Simplify (* 1 1) into 1 4.468 * [backup-simplify]: Simplify (* 1 1) into 1 4.469 * [backup-simplify]: Simplify (/ 1 1) into 1 4.469 * [backup-simplify]: Simplify 1 into 1 4.469 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.470 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.471 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.471 * [backup-simplify]: Simplify 0 into 0 4.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.473 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.474 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.474 * [backup-simplify]: Simplify 0 into 0 4.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.476 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.477 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.477 * [backup-simplify]: Simplify 0 into 0 4.478 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.480 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.480 * [backup-simplify]: Simplify 0 into 0 4.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.483 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.484 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.484 * [backup-simplify]: Simplify 0 into 0 4.486 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.488 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.488 * [backup-simplify]: Simplify 0 into 0 4.489 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4) 4.489 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4)) 4.489 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 4.489 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 4.489 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 4.489 * [taylor]: Taking taylor expansion of d1 in d1 4.489 * [backup-simplify]: Simplify 0 into 0 4.489 * [backup-simplify]: Simplify 1 into 1 4.489 * [backup-simplify]: Simplify (* 1 1) into 1 4.490 * [backup-simplify]: Simplify (* 1 1) into 1 4.490 * [backup-simplify]: Simplify (/ 1 1) into 1 4.490 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 4.490 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 4.490 * [taylor]: Taking taylor expansion of d1 in d1 4.490 * [backup-simplify]: Simplify 0 into 0 4.490 * [backup-simplify]: Simplify 1 into 1 4.491 * [backup-simplify]: Simplify (* 1 1) into 1 4.491 * [backup-simplify]: Simplify (* 1 1) into 1 4.491 * [backup-simplify]: Simplify (/ 1 1) into 1 4.492 * [backup-simplify]: Simplify 1 into 1 4.492 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.502 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.503 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.503 * [backup-simplify]: Simplify 0 into 0 4.504 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.505 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.506 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.506 * [backup-simplify]: Simplify 0 into 0 4.507 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.509 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.509 * [backup-simplify]: Simplify 0 into 0 4.510 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.512 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.512 * [backup-simplify]: Simplify 0 into 0 4.514 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.515 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.516 * [backup-simplify]: Simplify 0 into 0 4.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.520 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.520 * [backup-simplify]: Simplify 0 into 0 4.520 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4) 4.520 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 4.520 * [backup-simplify]: Simplify (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) into (pow d1 7) 4.520 * [approximate]: Taking taylor expansion of (pow d1 7) in (d1) around 0 4.520 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 4.520 * [taylor]: Taking taylor expansion of d1 in d1 4.520 * [backup-simplify]: Simplify 0 into 0 4.520 * [backup-simplify]: Simplify 1 into 1 4.520 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 4.521 * [taylor]: Taking taylor expansion of d1 in d1 4.521 * [backup-simplify]: Simplify 0 into 0 4.521 * [backup-simplify]: Simplify 1 into 1 4.521 * [backup-simplify]: Simplify (* 1 1) into 1 4.521 * [backup-simplify]: Simplify (* 1 1) into 1 4.521 * [backup-simplify]: Simplify (* 1 1) into 1 4.522 * [backup-simplify]: Simplify (* 1 1) into 1 4.522 * [backup-simplify]: Simplify 1 into 1 4.522 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.523 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.523 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.523 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.523 * [backup-simplify]: Simplify 0 into 0 4.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.526 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.526 * [backup-simplify]: Simplify 0 into 0 4.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.528 * [backup-simplify]: Simplify 0 into 0 4.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.530 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.530 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.531 * [backup-simplify]: Simplify 0 into 0 4.532 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.534 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.534 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.535 * [backup-simplify]: Simplify 0 into 0 4.536 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.536 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.538 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.538 * [backup-simplify]: Simplify 0 into 0 4.538 * [backup-simplify]: Simplify (* 1 (pow d1 7)) into (pow d1 7) 4.538 * [backup-simplify]: Simplify (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 7)) 4.538 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 7)) in (d1) around 0 4.538 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 4.538 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 4.538 * [taylor]: Taking taylor expansion of d1 in d1 4.539 * [backup-simplify]: Simplify 0 into 0 4.539 * [backup-simplify]: Simplify 1 into 1 4.539 * [backup-simplify]: Simplify (* 1 1) into 1 4.539 * [backup-simplify]: Simplify (* 1 1) into 1 4.539 * [backup-simplify]: Simplify (* 1 1) into 1 4.539 * [backup-simplify]: Simplify (* 1 1) into 1 4.540 * [backup-simplify]: Simplify (/ 1 1) into 1 4.540 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 4.540 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 4.540 * [taylor]: Taking taylor expansion of d1 in d1 4.540 * [backup-simplify]: Simplify 0 into 0 4.540 * [backup-simplify]: Simplify 1 into 1 4.540 * [backup-simplify]: Simplify (* 1 1) into 1 4.540 * [backup-simplify]: Simplify (* 1 1) into 1 4.541 * [backup-simplify]: Simplify (* 1 1) into 1 4.541 * [backup-simplify]: Simplify (* 1 1) into 1 4.541 * [backup-simplify]: Simplify (/ 1 1) into 1 4.541 * [backup-simplify]: Simplify 1 into 1 4.542 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.542 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.542 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.543 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.543 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.543 * [backup-simplify]: Simplify 0 into 0 4.544 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.544 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.546 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.546 * [backup-simplify]: Simplify 0 into 0 4.546 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.547 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.549 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.549 * [backup-simplify]: Simplify 0 into 0 4.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.551 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.552 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.552 * [backup-simplify]: Simplify 0 into 0 4.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.555 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.556 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.556 * [backup-simplify]: Simplify 0 into 0 4.557 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.558 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.558 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.559 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.560 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.560 * [backup-simplify]: Simplify 0 into 0 4.560 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 7)) into (pow d1 7) 4.560 * [backup-simplify]: Simplify (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 7)) 4.560 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 7)) in (d1) around 0 4.561 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 4.561 * [taylor]: Taking taylor expansion of -1 in d1 4.561 * [backup-simplify]: Simplify -1 into -1 4.561 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 4.561 * [taylor]: Taking taylor expansion of d1 in d1 4.561 * [backup-simplify]: Simplify 0 into 0 4.561 * [backup-simplify]: Simplify 1 into 1 4.561 * [backup-simplify]: Simplify (* 1 1) into 1 4.561 * [backup-simplify]: Simplify (* 1 1) into 1 4.562 * [backup-simplify]: Simplify (* 1 1) into 1 4.562 * [backup-simplify]: Simplify (* 1 1) into 1 4.563 * [backup-simplify]: Simplify (/ -1 1) into -1 4.563 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 4.563 * [taylor]: Taking taylor expansion of -1 in d1 4.563 * [backup-simplify]: Simplify -1 into -1 4.563 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 4.563 * [taylor]: Taking taylor expansion of d1 in d1 4.563 * [backup-simplify]: Simplify 0 into 0 4.563 * [backup-simplify]: Simplify 1 into 1 4.563 * [backup-simplify]: Simplify (* 1 1) into 1 4.564 * [backup-simplify]: Simplify (* 1 1) into 1 4.564 * [backup-simplify]: Simplify (* 1 1) into 1 4.564 * [backup-simplify]: Simplify (* 1 1) into 1 4.565 * [backup-simplify]: Simplify (/ -1 1) into -1 4.565 * [backup-simplify]: Simplify -1 into -1 4.565 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.566 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.567 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.568 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.568 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 4.568 * [backup-simplify]: Simplify 0 into 0 4.569 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.570 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.572 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.573 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.573 * [backup-simplify]: Simplify 0 into 0 4.574 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.577 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.578 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.579 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.579 * [backup-simplify]: Simplify 0 into 0 4.580 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.582 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.583 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.585 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.585 * [backup-simplify]: Simplify 0 into 0 4.587 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.588 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.589 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.591 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.592 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.592 * [backup-simplify]: Simplify 0 into 0 4.593 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.599 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.600 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.600 * [backup-simplify]: Simplify 0 into 0 4.600 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 7)) into (pow d1 7) 4.600 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 4.600 * [backup-simplify]: Simplify (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) into (pow d1 8) 4.600 * [approximate]: Taking taylor expansion of (pow d1 8) in (d1) around 0 4.600 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 4.600 * [taylor]: Taking taylor expansion of d1 in d1 4.600 * [backup-simplify]: Simplify 0 into 0 4.600 * [backup-simplify]: Simplify 1 into 1 4.600 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 4.601 * [taylor]: Taking taylor expansion of d1 in d1 4.601 * [backup-simplify]: Simplify 0 into 0 4.601 * [backup-simplify]: Simplify 1 into 1 4.601 * [backup-simplify]: Simplify (* 1 1) into 1 4.601 * [backup-simplify]: Simplify (* 1 1) into 1 4.602 * [backup-simplify]: Simplify (* 1 1) into 1 4.602 * [backup-simplify]: Simplify 1 into 1 4.603 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.603 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.604 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.604 * [backup-simplify]: Simplify 0 into 0 4.605 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.606 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.607 * [backup-simplify]: Simplify 0 into 0 4.608 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.609 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.610 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.610 * [backup-simplify]: Simplify 0 into 0 4.612 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.613 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.614 * [backup-simplify]: Simplify 0 into 0 4.616 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.619 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.621 * [backup-simplify]: Simplify 0 into 0 4.622 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.624 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.625 * [backup-simplify]: Simplify 0 into 0 4.625 * [backup-simplify]: Simplify (* 1 (pow d1 8)) into (pow d1 8) 4.625 * [backup-simplify]: Simplify (* (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 8)) 4.625 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0 4.625 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 4.625 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 4.625 * [taylor]: Taking taylor expansion of d1 in d1 4.625 * [backup-simplify]: Simplify 0 into 0 4.625 * [backup-simplify]: Simplify 1 into 1 4.626 * [backup-simplify]: Simplify (* 1 1) into 1 4.626 * [backup-simplify]: Simplify (* 1 1) into 1 4.626 * [backup-simplify]: Simplify (* 1 1) into 1 4.626 * [backup-simplify]: Simplify (/ 1 1) into 1 4.626 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 4.626 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 4.626 * [taylor]: Taking taylor expansion of d1 in d1 4.626 * [backup-simplify]: Simplify 0 into 0 4.626 * [backup-simplify]: Simplify 1 into 1 4.627 * [backup-simplify]: Simplify (* 1 1) into 1 4.627 * [backup-simplify]: Simplify (* 1 1) into 1 4.627 * [backup-simplify]: Simplify (* 1 1) into 1 4.627 * [backup-simplify]: Simplify (/ 1 1) into 1 4.627 * [backup-simplify]: Simplify 1 into 1 4.628 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.628 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.629 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.629 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.629 * [backup-simplify]: Simplify 0 into 0 4.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.631 * [backup-simplify]: Simplify 0 into 0 4.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.633 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.634 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.634 * [backup-simplify]: Simplify 0 into 0 4.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.635 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.637 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.637 * [backup-simplify]: Simplify 0 into 0 4.637 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.639 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.639 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.639 * [backup-simplify]: Simplify 0 into 0 4.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.643 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.643 * [backup-simplify]: Simplify 0 into 0 4.643 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 8)) into (pow d1 8) 4.643 * [backup-simplify]: Simplify (* (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 8)) 4.643 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0 4.643 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 4.643 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 4.643 * [taylor]: Taking taylor expansion of d1 in d1 4.643 * [backup-simplify]: Simplify 0 into 0 4.643 * [backup-simplify]: Simplify 1 into 1 4.643 * [backup-simplify]: Simplify (* 1 1) into 1 4.644 * [backup-simplify]: Simplify (* 1 1) into 1 4.644 * [backup-simplify]: Simplify (* 1 1) into 1 4.644 * [backup-simplify]: Simplify (/ 1 1) into 1 4.644 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 4.644 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 4.644 * [taylor]: Taking taylor expansion of d1 in d1 4.644 * [backup-simplify]: Simplify 0 into 0 4.644 * [backup-simplify]: Simplify 1 into 1 4.644 * [backup-simplify]: Simplify (* 1 1) into 1 4.645 * [backup-simplify]: Simplify (* 1 1) into 1 4.645 * [backup-simplify]: Simplify (* 1 1) into 1 4.645 * [backup-simplify]: Simplify (/ 1 1) into 1 4.645 * [backup-simplify]: Simplify 1 into 1 4.646 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.646 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.646 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.647 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.647 * [backup-simplify]: Simplify 0 into 0 4.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.648 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.648 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.649 * [backup-simplify]: Simplify 0 into 0 4.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.651 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.651 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.651 * [backup-simplify]: Simplify 0 into 0 4.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.653 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.653 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.654 * [backup-simplify]: Simplify 0 into 0 4.655 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 4.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.657 * [backup-simplify]: Simplify 0 into 0 4.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.659 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 4.660 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.660 * [backup-simplify]: Simplify 0 into 0 4.661 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 8)) into (pow d1 8) 4.661 * * * [progress]: simplifying candidates 4.661 * * * * [progress]: [ 1 / 396 ] simplifiying candidate # 4.661 * * * * [progress]: [ 2 / 396 ] simplifiying candidate # 4.661 * * * * [progress]: [ 3 / 396 ] simplifiying candidate # 4.661 * * * * [progress]: [ 4 / 396 ] simplifiying candidate # 4.661 * * * * [progress]: [ 5 / 396 ] simplifiying candidate # 4.661 * * * * [progress]: [ 6 / 396 ] simplifiying candidate # 4.661 * * * * [progress]: [ 7 / 396 ] simplifiying candidate # 4.661 * * * * [progress]: [ 8 / 396 ] simplifiying candidate # 4.661 * * * * [progress]: [ 9 / 396 ] simplifiying candidate # 4.661 * * * * [progress]: [ 10 / 396 ] simplifiying candidate # 4.661 * * * * [progress]: [ 11 / 396 ] simplifiying candidate # 4.661 * * * * [progress]: [ 12 / 396 ] simplifiying candidate # 4.661 * * * * [progress]: [ 13 / 396 ] simplifiying candidate # 4.661 * * * * [progress]: [ 14 / 396 ] simplifiying candidate # 4.661 * * * * [progress]: [ 15 / 396 ] simplifiying candidate # 4.661 * * * * [progress]: [ 16 / 396 ] simplifiying candidate # 4.661 * * * * [progress]: [ 17 / 396 ] simplifiying candidate # 4.661 * * * * [progress]: [ 18 / 396 ] simplifiying candidate # 4.662 * * * * [progress]: [ 19 / 396 ] simplifiying candidate # 4.662 * * * * [progress]: [ 20 / 396 ] simplifiying candidate # 4.662 * * * * [progress]: [ 21 / 396 ] simplifiying candidate # 4.662 * * * * [progress]: [ 22 / 396 ] simplifiying candidate # 4.662 * * * * [progress]: [ 23 / 396 ] simplifiying candidate # 4.662 * * * * [progress]: [ 24 / 396 ] simplifiying candidate #real (real->posit16 (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))> 4.662 * * * * [progress]: [ 25 / 396 ] simplifiying candidate # 4.662 * * * * [progress]: [ 26 / 396 ] simplifiying candidate # 4.662 * * * * [progress]: [ 27 / 396 ] simplifiying candidate # 4.662 * * * * [progress]: [ 28 / 396 ] simplifiying candidate # 4.662 * * * * [progress]: [ 29 / 396 ] simplifiying candidate # 4.662 * * * * [progress]: [ 30 / 396 ] simplifiying candidate # 4.662 * * * * [progress]: [ 31 / 396 ] simplifiying candidate # 4.662 * * * * [progress]: [ 32 / 396 ] simplifiying candidate # 4.662 * * * * [progress]: [ 33 / 396 ] simplifiying candidate # 4.662 * * * * [progress]: [ 34 / 396 ] simplifiying candidate # 4.662 * * * * [progress]: [ 35 / 396 ] simplifiying candidate # 4.662 * * * * [progress]: [ 36 / 396 ] simplifiying candidate # 4.662 * * * * [progress]: [ 37 / 396 ] simplifiying candidate # 4.662 * * * * [progress]: [ 38 / 396 ] simplifiying candidate # 4.662 * * * * [progress]: [ 39 / 396 ] simplifiying candidate # 4.662 * * * * [progress]: [ 40 / 396 ] simplifiying candidate # 4.662 * * * * [progress]: [ 41 / 396 ] simplifiying candidate # 4.662 * * * * [progress]: [ 42 / 396 ] simplifiying candidate # 4.662 * * * * [progress]: [ 43 / 396 ] simplifiying candidate # 4.663 * * * * [progress]: [ 44 / 396 ] simplifiying candidate # 4.663 * * * * [progress]: [ 45 / 396 ] simplifiying candidate # 4.663 * * * * [progress]: [ 46 / 396 ] simplifiying candidate # 4.663 * * * * [progress]: [ 47 / 396 ] simplifiying candidate # 4.663 * * * * [progress]: [ 48 / 396 ] simplifiying candidate # 4.663 * * * * [progress]: [ 49 / 396 ] simplifiying candidate # 4.663 * * * * [progress]: [ 50 / 396 ] simplifiying candidate # 4.663 * * * * [progress]: [ 51 / 396 ] simplifiying candidate # 4.663 * * * * [progress]: [ 52 / 396 ] simplifiying candidate # 4.663 * * * * [progress]: [ 53 / 396 ] simplifiying candidate # 4.663 * * * * [progress]: [ 54 / 396 ] simplifiying candidate # 4.663 * * * * [progress]: [ 55 / 396 ] simplifiying candidate # 4.663 * * * * [progress]: [ 56 / 396 ] simplifiying candidate #real (real->posit16 (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))> 4.663 * * * * [progress]: [ 57 / 396 ] simplifiying candidate # 4.663 * * * * [progress]: [ 58 / 396 ] simplifiying candidate # 4.663 * * * * [progress]: [ 59 / 396 ] simplifiying candidate # 4.663 * * * * [progress]: [ 60 / 396 ] simplifiying candidate # 4.663 * * * * [progress]: [ 61 / 396 ] simplifiying candidate # 4.663 * * * * [progress]: [ 62 / 396 ] simplifiying candidate # 4.663 * * * * [progress]: [ 63 / 396 ] simplifiying candidate # 4.663 * * * * [progress]: [ 64 / 396 ] simplifiying candidate # 4.663 * * * * [progress]: [ 65 / 396 ] simplifiying candidate # 4.663 * * * * [progress]: [ 66 / 396 ] simplifiying candidate # 4.664 * * * * [progress]: [ 67 / 396 ] simplifiying candidate # 4.664 * * * * [progress]: [ 68 / 396 ] simplifiying candidate # 4.664 * * * * [progress]: [ 69 / 396 ] simplifiying candidate # 4.664 * * * * [progress]: [ 70 / 396 ] simplifiying candidate # 4.664 * * * * [progress]: [ 71 / 396 ] simplifiying candidate # 4.664 * * * * [progress]: [ 72 / 396 ] simplifiying candidate # 4.664 * * * * [progress]: [ 73 / 396 ] simplifiying candidate # 4.664 * * * * [progress]: [ 74 / 396 ] simplifiying candidate # 4.664 * * * * [progress]: [ 75 / 396 ] simplifiying candidate # 4.664 * * * * [progress]: [ 76 / 396 ] simplifiying candidate # 4.664 * * * * [progress]: [ 77 / 396 ] simplifiying candidate # 4.664 * * * * [progress]: [ 78 / 396 ] simplifiying candidate # 4.664 * * * * [progress]: [ 79 / 396 ] simplifiying candidate # 4.664 * * * * [progress]: [ 80 / 396 ] simplifiying candidate # 4.664 * * * * [progress]: [ 81 / 396 ] simplifiying candidate # 4.664 * * * * [progress]: [ 82 / 396 ] simplifiying candidate # 4.664 * * * * [progress]: [ 83 / 396 ] simplifiying candidate # 4.664 * * * * [progress]: [ 84 / 396 ] simplifiying candidate # 4.664 * * * * [progress]: [ 85 / 396 ] simplifiying candidate # 4.664 * * * * [progress]: [ 86 / 396 ] simplifiying candidate # 4.664 * * * * [progress]: [ 87 / 396 ] simplifiying candidate # 4.664 * * * * [progress]: [ 88 / 396 ] simplifiying candidate # 4.664 * * * * [progress]: [ 89 / 396 ] simplifiying candidate # 4.664 * * * * [progress]: [ 90 / 396 ] simplifiying candidate # 4.665 * * * * [progress]: [ 91 / 396 ] simplifiying candidate # 4.665 * * * * [progress]: [ 92 / 396 ] simplifiying candidate # 4.665 * * * * [progress]: [ 93 / 396 ] simplifiying candidate # 4.665 * * * * [progress]: [ 94 / 396 ] simplifiying candidate # 4.665 * * * * [progress]: [ 95 / 396 ] simplifiying candidate # 4.665 * * * * [progress]: [ 96 / 396 ] simplifiying candidate # 4.665 * * * * [progress]: [ 97 / 396 ] simplifiying candidate # 4.665 * * * * [progress]: [ 98 / 396 ] simplifiying candidate # 4.665 * * * * [progress]: [ 99 / 396 ] simplifiying candidate # 4.665 * * * * [progress]: [ 100 / 396 ] simplifiying candidate # 4.665 * * * * [progress]: [ 101 / 396 ] simplifiying candidate # 4.665 * * * * [progress]: [ 102 / 396 ] simplifiying candidate # 4.665 * * * * [progress]: [ 103 / 396 ] simplifiying candidate # 4.665 * * * * [progress]: [ 104 / 396 ] simplifiying candidate # 4.665 * * * * [progress]: [ 105 / 396 ] simplifiying candidate # 4.665 * * * * [progress]: [ 106 / 396 ] simplifiying candidate # 4.665 * * * * [progress]: [ 107 / 396 ] simplifiying candidate # 4.665 * * * * [progress]: [ 108 / 396 ] simplifiying candidate # 4.665 * * * * [progress]: [ 109 / 396 ] simplifiying candidate # 4.666 * * * * [progress]: [ 110 / 396 ] simplifiying candidate # 4.666 * * * * [progress]: [ 111 / 396 ] simplifiying candidate # 4.666 * * * * [progress]: [ 112 / 396 ] simplifiying candidate # 4.666 * * * * [progress]: [ 113 / 396 ] simplifiying candidate # 4.666 * * * * [progress]: [ 114 / 396 ] simplifiying candidate # 4.666 * * * * [progress]: [ 115 / 396 ] simplifiying candidate # 4.666 * * * * [progress]: [ 116 / 396 ] simplifiying candidate # 4.666 * * * * [progress]: [ 117 / 396 ] simplifiying candidate # 4.666 * * * * [progress]: [ 118 / 396 ] simplifiying candidate # 4.666 * * * * [progress]: [ 119 / 396 ] simplifiying candidate # 4.666 * * * * [progress]: [ 120 / 396 ] simplifiying candidate # 4.666 * * * * [progress]: [ 121 / 396 ] simplifiying candidate # 4.666 * * * * [progress]: [ 122 / 396 ] simplifiying candidate # 4.666 * * * * [progress]: [ 123 / 396 ] simplifiying candidate # 4.666 * * * * [progress]: [ 124 / 396 ] simplifiying candidate # 4.666 * * * * [progress]: [ 125 / 396 ] simplifiying candidate # 4.666 * * * * [progress]: [ 126 / 396 ] simplifiying candidate # 4.666 * * * * [progress]: [ 127 / 396 ] simplifiying candidate # 4.666 * * * * [progress]: [ 128 / 396 ] simplifiying candidate # 4.666 * * * * [progress]: [ 129 / 396 ] simplifiying candidate # 4.666 * * * * [progress]: [ 130 / 396 ] simplifiying candidate # 4.666 * * * * [progress]: [ 131 / 396 ] simplifiying candidate # 4.667 * * * * [progress]: [ 132 / 396 ] simplifiying candidate # 4.667 * * * * [progress]: [ 133 / 396 ] simplifiying candidate # 4.667 * * * * [progress]: [ 134 / 396 ] simplifiying candidate # 4.667 * * * * [progress]: [ 135 / 396 ] simplifiying candidate # 4.667 * * * * [progress]: [ 136 / 396 ] simplifiying candidate # 4.667 * * * * [progress]: [ 137 / 396 ] simplifiying candidate # 4.667 * * * * [progress]: [ 138 / 396 ] simplifiying candidate # 4.667 * * * * [progress]: [ 139 / 396 ] simplifiying candidate # 4.667 * * * * [progress]: [ 140 / 396 ] simplifiying candidate # 4.667 * * * * [progress]: [ 141 / 396 ] simplifiying candidate # 4.667 * * * * [progress]: [ 142 / 396 ] simplifiying candidate # 4.667 * * * * [progress]: [ 143 / 396 ] simplifiying candidate # 4.667 * * * * [progress]: [ 144 / 396 ] simplifiying candidate # 4.667 * * * * [progress]: [ 145 / 396 ] simplifiying candidate # 4.667 * * * * [progress]: [ 146 / 396 ] simplifiying candidate # 4.667 * * * * [progress]: [ 147 / 396 ] simplifiying candidate # 4.667 * * * * [progress]: [ 148 / 396 ] simplifiying candidate # 4.667 * * * * [progress]: [ 149 / 396 ] simplifiying candidate # 4.667 * * * * [progress]: [ 150 / 396 ] simplifiying candidate # 4.667 * * * * [progress]: [ 151 / 396 ] simplifiying candidate # 4.667 * * * * [progress]: [ 152 / 396 ] simplifiying candidate # 4.667 * * * * [progress]: [ 153 / 396 ] simplifiying candidate # 4.667 * * * * [progress]: [ 154 / 396 ] simplifiying candidate # 4.668 * * * * [progress]: [ 155 / 396 ] simplifiying candidate # 4.668 * * * * [progress]: [ 156 / 396 ] simplifiying candidate # 4.668 * * * * [progress]: [ 157 / 396 ] simplifiying candidate # 4.668 * * * * [progress]: [ 158 / 396 ] simplifiying candidate # 4.668 * * * * [progress]: [ 159 / 396 ] simplifiying candidate # 4.668 * * * * [progress]: [ 160 / 396 ] simplifiying candidate # 4.668 * * * * [progress]: [ 161 / 396 ] simplifiying candidate # 4.668 * * * * [progress]: [ 162 / 396 ] simplifiying candidate # 4.668 * * * * [progress]: [ 163 / 396 ] simplifiying candidate # 4.668 * * * * [progress]: [ 164 / 396 ] simplifiying candidate # 4.668 * * * * [progress]: [ 165 / 396 ] simplifiying candidate # 4.668 * * * * [progress]: [ 166 / 396 ] simplifiying candidate # 4.668 * * * * [progress]: [ 167 / 396 ] simplifiying candidate # 4.668 * * * * [progress]: [ 168 / 396 ] simplifiying candidate # 4.668 * * * * [progress]: [ 169 / 396 ] simplifiying candidate # 4.668 * * * * [progress]: [ 170 / 396 ] simplifiying candidate # 4.668 * * * * [progress]: [ 171 / 396 ] simplifiying candidate # 4.668 * * * * [progress]: [ 172 / 396 ] simplifiying candidate # 4.668 * * * * [progress]: [ 173 / 396 ] simplifiying candidate # 4.668 * * * * [progress]: [ 174 / 396 ] simplifiying candidate # 4.668 * * * * [progress]: [ 175 / 396 ] simplifiying candidate # 4.668 * * * * [progress]: [ 176 / 396 ] simplifiying candidate # 4.668 * * * * [progress]: [ 177 / 396 ] simplifiying candidate #real (real->posit16 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))> 4.668 * * * * [progress]: [ 178 / 396 ] simplifiying candidate # 4.669 * * * * [progress]: [ 179 / 396 ] simplifiying candidate # 4.669 * * * * [progress]: [ 180 / 396 ] simplifiying candidate # 4.669 * * * * [progress]: [ 181 / 396 ] simplifiying candidate # 4.669 * * * * [progress]: [ 182 / 396 ] simplifiying candidate # 4.669 * * * * [progress]: [ 183 / 396 ] simplifiying candidate # 4.669 * * * * [progress]: [ 184 / 396 ] simplifiying candidate # 4.669 * * * * [progress]: [ 185 / 396 ] simplifiying candidate # 4.669 * * * * [progress]: [ 186 / 396 ] simplifiying candidate # 4.669 * * * * [progress]: [ 187 / 396 ] simplifiying candidate # 4.669 * * * * [progress]: [ 188 / 396 ] simplifiying candidate # 4.669 * * * * [progress]: [ 189 / 396 ] simplifiying candidate # 4.669 * * * * [progress]: [ 190 / 396 ] simplifiying candidate # 4.669 * * * * [progress]: [ 191 / 396 ] simplifiying candidate # 4.669 * * * * [progress]: [ 192 / 396 ] simplifiying candidate # 4.669 * * * * [progress]: [ 193 / 396 ] simplifiying candidate # 4.669 * * * * [progress]: [ 194 / 396 ] simplifiying candidate # 4.669 * * * * [progress]: [ 195 / 396 ] simplifiying candidate # 4.669 * * * * [progress]: [ 196 / 396 ] simplifiying candidate # 4.669 * * * * [progress]: [ 197 / 396 ] simplifiying candidate # 4.669 * * * * [progress]: [ 198 / 396 ] simplifiying candidate # 4.669 * * * * [progress]: [ 199 / 396 ] simplifiying candidate # 4.669 * * * * [progress]: [ 200 / 396 ] simplifiying candidate # 4.670 * * * * [progress]: [ 201 / 396 ] simplifiying candidate # 4.670 * * * * [progress]: [ 202 / 396 ] simplifiying candidate # 4.670 * * * * [progress]: [ 203 / 396 ] simplifiying candidate # 4.670 * * * * [progress]: [ 204 / 396 ] simplifiying candidate # 4.670 * * * * [progress]: [ 205 / 396 ] simplifiying candidate # 4.670 * * * * [progress]: [ 206 / 396 ] simplifiying candidate # 4.670 * * * * [progress]: [ 207 / 396 ] simplifiying candidate # 4.670 * * * * [progress]: [ 208 / 396 ] simplifiying candidate # 4.670 * * * * [progress]: [ 209 / 396 ] simplifiying candidate # 4.670 * * * * [progress]: [ 210 / 396 ] simplifiying candidate # 4.670 * * * * [progress]: [ 211 / 396 ] simplifiying candidate # 4.670 * * * * [progress]: [ 212 / 396 ] simplifiying candidate # 4.670 * * * * [progress]: [ 213 / 396 ] simplifiying candidate # 4.670 * * * * [progress]: [ 214 / 396 ] simplifiying candidate # 4.670 * * * * [progress]: [ 215 / 396 ] simplifiying candidate # 4.670 * * * * [progress]: [ 216 / 396 ] simplifiying candidate # 4.670 * * * * [progress]: [ 217 / 396 ] simplifiying candidate # 4.670 * * * * [progress]: [ 218 / 396 ] simplifiying candidate # 4.670 * * * * [progress]: [ 219 / 396 ] simplifiying candidate # 4.670 * * * * [progress]: [ 220 / 396 ] simplifiying candidate # 4.670 * * * * [progress]: [ 221 / 396 ] simplifiying candidate # 4.670 * * * * [progress]: [ 222 / 396 ] simplifiying candidate # 4.670 * * * * [progress]: [ 223 / 396 ] simplifiying candidate # 4.670 * * * * [progress]: [ 224 / 396 ] simplifiying candidate # 4.671 * * * * [progress]: [ 225 / 396 ] simplifiying candidate # 4.671 * * * * [progress]: [ 226 / 396 ] simplifiying candidate # 4.671 * * * * [progress]: [ 227 / 396 ] simplifiying candidate # 4.671 * * * * [progress]: [ 228 / 396 ] simplifiying candidate # 4.671 * * * * [progress]: [ 229 / 396 ] simplifiying candidate # 4.671 * * * * [progress]: [ 230 / 396 ] simplifiying candidate # 4.671 * * * * [progress]: [ 231 / 396 ] simplifiying candidate # 4.671 * * * * [progress]: [ 232 / 396 ] simplifiying candidate # 4.671 * * * * [progress]: [ 233 / 396 ] simplifiying candidate # 4.671 * * * * [progress]: [ 234 / 396 ] simplifiying candidate # 4.671 * * * * [progress]: [ 235 / 396 ] simplifiying candidate # 4.671 * * * * [progress]: [ 236 / 396 ] simplifiying candidate # 4.671 * * * * [progress]: [ 237 / 396 ] simplifiying candidate # 4.671 * * * * [progress]: [ 238 / 396 ] simplifiying candidate # 4.671 * * * * [progress]: [ 239 / 396 ] simplifiying candidate # 4.671 * * * * [progress]: [ 240 / 396 ] simplifiying candidate # 4.671 * * * * [progress]: [ 241 / 396 ] simplifiying candidate # 4.671 * * * * [progress]: [ 242 / 396 ] simplifiying candidate # 4.671 * * * * [progress]: [ 243 / 396 ] simplifiying candidate # 4.671 * * * * [progress]: [ 244 / 396 ] simplifiying candidate # 4.671 * * * * [progress]: [ 245 / 396 ] simplifiying candidate # 4.671 * * * * [progress]: [ 246 / 396 ] simplifiying candidate # 4.671 * * * * [progress]: [ 247 / 396 ] simplifiying candidate # 4.672 * * * * [progress]: [ 248 / 396 ] simplifiying candidate # 4.672 * * * * [progress]: [ 249 / 396 ] simplifiying candidate # 4.672 * * * * [progress]: [ 250 / 396 ] simplifiying candidate # 4.672 * * * * [progress]: [ 251 / 396 ] simplifiying candidate # 4.672 * * * * [progress]: [ 252 / 396 ] simplifiying candidate # 4.672 * * * * [progress]: [ 253 / 396 ] simplifiying candidate # 4.672 * * * * [progress]: [ 254 / 396 ] simplifiying candidate # 4.672 * * * * [progress]: [ 255 / 396 ] simplifiying candidate # 4.672 * * * * [progress]: [ 256 / 396 ] simplifiying candidate # 4.672 * * * * [progress]: [ 257 / 396 ] simplifiying candidate # 4.672 * * * * [progress]: [ 258 / 396 ] simplifiying candidate # 4.672 * * * * [progress]: [ 259 / 396 ] simplifiying candidate # 4.672 * * * * [progress]: [ 260 / 396 ] simplifiying candidate # 4.672 * * * * [progress]: [ 261 / 396 ] simplifiying candidate # 4.672 * * * * [progress]: [ 262 / 396 ] simplifiying candidate # 4.672 * * * * [progress]: [ 263 / 396 ] simplifiying candidate # 4.672 * * * * [progress]: [ 264 / 396 ] simplifiying candidate # 4.672 * * * * [progress]: [ 265 / 396 ] simplifiying candidate # 4.672 * * * * [progress]: [ 266 / 396 ] simplifiying candidate # 4.672 * * * * [progress]: [ 267 / 396 ] simplifiying candidate # 4.672 * * * * [progress]: [ 268 / 396 ] simplifiying candidate # 4.672 * * * * [progress]: [ 269 / 396 ] simplifiying candidate # 4.672 * * * * [progress]: [ 270 / 396 ] simplifiying candidate # 4.673 * * * * [progress]: [ 271 / 396 ] simplifiying candidate # 4.673 * * * * [progress]: [ 272 / 396 ] simplifiying candidate # 4.673 * * * * [progress]: [ 273 / 396 ] simplifiying candidate # 4.673 * * * * [progress]: [ 274 / 396 ] simplifiying candidate # 4.673 * * * * [progress]: [ 275 / 396 ] simplifiying candidate # 4.673 * * * * [progress]: [ 276 / 396 ] simplifiying candidate # 4.673 * * * * [progress]: [ 277 / 396 ] simplifiying candidate # 4.673 * * * * [progress]: [ 278 / 396 ] simplifiying candidate # 4.673 * * * * [progress]: [ 279 / 396 ] simplifiying candidate # 4.673 * * * * [progress]: [ 280 / 396 ] simplifiying candidate # 4.673 * * * * [progress]: [ 281 / 396 ] simplifiying candidate # 4.673 * * * * [progress]: [ 282 / 396 ] simplifiying candidate # 4.673 * * * * [progress]: [ 283 / 396 ] simplifiying candidate # 4.673 * * * * [progress]: [ 284 / 396 ] simplifiying candidate # 4.673 * * * * [progress]: [ 285 / 396 ] simplifiying candidate # 4.673 * * * * [progress]: [ 286 / 396 ] simplifiying candidate # 4.673 * * * * [progress]: [ 287 / 396 ] simplifiying candidate # 4.673 * * * * [progress]: [ 288 / 396 ] simplifiying candidate # 4.673 * * * * [progress]: [ 289 / 396 ] simplifiying candidate # 4.673 * * * * [progress]: [ 290 / 396 ] simplifiying candidate # 4.673 * * * * [progress]: [ 291 / 396 ] simplifiying candidate # 4.673 * * * * [progress]: [ 292 / 396 ] simplifiying candidate # 4.673 * * * * [progress]: [ 293 / 396 ] simplifiying candidate # 4.674 * * * * [progress]: [ 294 / 396 ] simplifiying candidate # 4.674 * * * * [progress]: [ 295 / 396 ] simplifiying candidate # 4.674 * * * * [progress]: [ 296 / 396 ] simplifiying candidate # 4.674 * * * * [progress]: [ 297 / 396 ] simplifiying candidate # 4.674 * * * * [progress]: [ 298 / 396 ] simplifiying candidate # 4.674 * * * * [progress]: [ 299 / 396 ] simplifiying candidate # 4.674 * * * * [progress]: [ 300 / 396 ] simplifiying candidate # 4.674 * * * * [progress]: [ 301 / 396 ] simplifiying candidate # 4.674 * * * * [progress]: [ 302 / 396 ] simplifiying candidate # 4.674 * * * * [progress]: [ 303 / 396 ] simplifiying candidate # 4.674 * * * * [progress]: [ 304 / 396 ] simplifiying candidate # 4.674 * * * * [progress]: [ 305 / 396 ] simplifiying candidate # 4.674 * * * * [progress]: [ 306 / 396 ] simplifiying candidate # 4.674 * * * * [progress]: [ 307 / 396 ] simplifiying candidate # 4.674 * * * * [progress]: [ 308 / 396 ] simplifiying candidate # 4.674 * * * * [progress]: [ 309 / 396 ] simplifiying candidate # 4.674 * * * * [progress]: [ 310 / 396 ] simplifiying candidate # 4.674 * * * * [progress]: [ 311 / 396 ] simplifiying candidate # 4.674 * * * * [progress]: [ 312 / 396 ] simplifiying candidate # 4.674 * * * * [progress]: [ 313 / 396 ] simplifiying candidate # 4.674 * * * * [progress]: [ 314 / 396 ] simplifiying candidate # 4.674 * * * * [progress]: [ 315 / 396 ] simplifiying candidate # 4.674 * * * * [progress]: [ 316 / 396 ] simplifiying candidate # 4.675 * * * * [progress]: [ 317 / 396 ] simplifiying candidate # 4.675 * * * * [progress]: [ 318 / 396 ] simplifiying candidate # 4.675 * * * * [progress]: [ 319 / 396 ] simplifiying candidate # 4.675 * * * * [progress]: [ 320 / 396 ] simplifiying candidate # 4.675 * * * * [progress]: [ 321 / 396 ] simplifiying candidate # 4.675 * * * * [progress]: [ 322 / 396 ] simplifiying candidate # 4.675 * * * * [progress]: [ 323 / 396 ] simplifiying candidate # 4.675 * * * * [progress]: [ 324 / 396 ] simplifiying candidate # 4.675 * * * * [progress]: [ 325 / 396 ] simplifiying candidate # 4.675 * * * * [progress]: [ 326 / 396 ] simplifiying candidate # 4.675 * * * * [progress]: [ 327 / 396 ] simplifiying candidate # 4.675 * * * * [progress]: [ 328 / 396 ] simplifiying candidate # 4.675 * * * * [progress]: [ 329 / 396 ] simplifiying candidate # 4.675 * * * * [progress]: [ 330 / 396 ] simplifiying candidate # 4.675 * * * * [progress]: [ 331 / 396 ] simplifiying candidate # 4.675 * * * * [progress]: [ 332 / 396 ] simplifiying candidate # 4.675 * * * * [progress]: [ 333 / 396 ] simplifiying candidate # 4.675 * * * * [progress]: [ 334 / 396 ] simplifiying candidate # 4.675 * * * * [progress]: [ 335 / 396 ] simplifiying candidate # 4.675 * * * * [progress]: [ 336 / 396 ] simplifiying candidate # 4.675 * * * * [progress]: [ 337 / 396 ] simplifiying candidate # 4.675 * * * * [progress]: [ 338 / 396 ] simplifiying candidate # 4.675 * * * * [progress]: [ 339 / 396 ] simplifiying candidate # 4.676 * * * * [progress]: [ 340 / 396 ] simplifiying candidate # 4.676 * * * * [progress]: [ 341 / 396 ] simplifiying candidate # 4.676 * * * * [progress]: [ 342 / 396 ] simplifiying candidate # 4.676 * * * * [progress]: [ 343 / 396 ] simplifiying candidate # 4.676 * * * * [progress]: [ 344 / 396 ] simplifiying candidate # 4.676 * * * * [progress]: [ 345 / 396 ] simplifiying candidate # 4.676 * * * * [progress]: [ 346 / 396 ] simplifiying candidate # 4.676 * * * * [progress]: [ 347 / 396 ] simplifiying candidate # 4.676 * * * * [progress]: [ 348 / 396 ] simplifiying candidate # 4.676 * * * * [progress]: [ 349 / 396 ] simplifiying candidate # 4.676 * * * * [progress]: [ 350 / 396 ] simplifiying candidate # 4.676 * * * * [progress]: [ 351 / 396 ] simplifiying candidate # 4.676 * * * * [progress]: [ 352 / 396 ] simplifiying candidate # 4.676 * * * * [progress]: [ 353 / 396 ] simplifiying candidate # 4.676 * * * * [progress]: [ 354 / 396 ] simplifiying candidate # 4.677 * * * * [progress]: [ 355 / 396 ] simplifiying candidate # 4.677 * * * * [progress]: [ 356 / 396 ] simplifiying candidate # 4.677 * * * * [progress]: [ 357 / 396 ] simplifiying candidate # 4.677 * * * * [progress]: [ 358 / 396 ] simplifiying candidate # 4.677 * * * * [progress]: [ 359 / 396 ] simplifiying candidate # 4.677 * * * * [progress]: [ 360 / 396 ] simplifiying candidate # 4.677 * * * * [progress]: [ 361 / 396 ] simplifiying candidate # 4.677 * * * * [progress]: [ 362 / 396 ] simplifiying candidate # 4.677 * * * * [progress]: [ 363 / 396 ] simplifiying candidate # 4.677 * * * * [progress]: [ 364 / 396 ] simplifiying candidate # 4.677 * * * * [progress]: [ 365 / 396 ] simplifiying candidate # 4.677 * * * * [progress]: [ 366 / 396 ] simplifiying candidate # 4.677 * * * * [progress]: [ 367 / 396 ] simplifiying candidate # 4.678 * * * * [progress]: [ 368 / 396 ] simplifiying candidate # 4.678 * * * * [progress]: [ 369 / 396 ] simplifiying candidate # 4.678 * * * * [progress]: [ 370 / 396 ] simplifiying candidate # 4.678 * * * * [progress]: [ 371 / 396 ] simplifiying candidate # 4.678 * * * * [progress]: [ 372 / 396 ] simplifiying candidate # 4.678 * * * * [progress]: [ 373 / 396 ] simplifiying candidate # 4.678 * * * * [progress]: [ 374 / 396 ] simplifiying candidate # 4.678 * * * * [progress]: [ 375 / 396 ] simplifiying candidate # 4.678 * * * * [progress]: [ 376 / 396 ] simplifiying candidate # 4.678 * * * * [progress]: [ 377 / 396 ] simplifiying candidate # 4.678 * * * * [progress]: [ 378 / 396 ] simplifiying candidate # 4.678 * * * * [progress]: [ 379 / 396 ] simplifiying candidate # 4.678 * * * * [progress]: [ 380 / 396 ] simplifiying candidate # 4.679 * * * * [progress]: [ 381 / 396 ] simplifiying candidate # 4.679 * * * * [progress]: [ 382 / 396 ] simplifiying candidate # 4.679 * * * * [progress]: [ 383 / 396 ] simplifiying candidate #real (real->posit16 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) d1))> 4.679 * * * * [progress]: [ 384 / 396 ] simplifiying candidate # 4.679 * * * * [progress]: [ 385 / 396 ] simplifiying candidate # 4.679 * * * * [progress]: [ 386 / 396 ] simplifiying candidate # 4.679 * * * * [progress]: [ 387 / 396 ] simplifiying candidate # 4.679 * * * * [progress]: [ 388 / 396 ] simplifiying candidate # 4.679 * * * * [progress]: [ 389 / 396 ] simplifiying candidate # 4.679 * * * * [progress]: [ 390 / 396 ] simplifiying candidate # 4.679 * * * * [progress]: [ 391 / 396 ] simplifiying candidate # 4.679 * * * * [progress]: [ 392 / 396 ] simplifiying candidate # 4.679 * * * * [progress]: [ 393 / 396 ] simplifiying candidate # 4.679 * * * * [progress]: [ 394 / 396 ] simplifiying candidate # 4.679 * * * * [progress]: [ 395 / 396 ] simplifiying candidate # 4.679 * * * * [progress]: [ 396 / 396 ] simplifiying candidate # 4.685 * [simplify]: Simplifying: (+ 1 (+ 1 1)) (+ 1 2) (+ 1 (+ 1 1)) (+ 1 (* 2 1)) (* d1 (* d1 d1)) (* d1 (* d1 d1)) (+ (log d1) (+ (log d1) (log d1))) (+ (log d1) (log (* d1 d1))) (log (* d1 (* d1 d1))) (exp (* d1 (* d1 d1))) (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1)))) (cbrt (* d1 (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1))) (* (sqrt d1) d1) (* (sqrt d1) d1) (* d1 d1) (* (cbrt d1) (* d1 d1)) (* (sqrt d1) (* d1 d1)) (* d1 (* d1 d1)) (real->posit16 (* d1 (* d1 d1))) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 2) 1) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 (* 2 1)) 1) (+ 3 1) (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 2) 1) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 (* 2 1)) 1) (+ 3 1) (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (+ (+ (log d1) (log (* d1 d1))) (log d1)) (+ (log (* d1 (* d1 d1))) (log d1)) (log (* (* d1 (* d1 d1)) d1)) (exp (* (* d1 (* d1 d1)) d1)) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (cbrt (* (* d1 (* d1 d1)) d1)) (cbrt (* (* d1 (* d1 d1)) d1))) (cbrt (* (* d1 (* d1 d1)) d1)) (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (sqrt (* (* d1 (* d1 d1)) d1)) (sqrt (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) (* (cbrt d1) (cbrt d1))) (* (* d1 (* d1 d1)) (sqrt d1)) (* (* d1 (* d1 d1)) 1) (* (* d1 d1) d1) (real->posit16 (* (* d1 (* d1 d1)) d1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) 2) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) 2) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) 2) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) 2) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) 2) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) 2) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) 2) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) 2) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) (* 2 1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1))) (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1))) (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1))) (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1))) (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))) (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (exp (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) d1) (* d1 (* d1 d1)) (real->posit16 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) 2) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) 2) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) 2) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) 2) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) 2) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) 2) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) 2) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) 2) 1) (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1) (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1) (+ (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)) (+ (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1)) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1)) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1))) (log d1)) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1))) (log d1)) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1))) (log d1)) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))) (log d1)) (+ (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (log d1)) (log (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (exp (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* d1 d1) d1)) (* (cbrt (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (cbrt (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (cbrt (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (sqrt (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (sqrt (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (cbrt d1) (cbrt d1))) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (sqrt d1)) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) 1) (* (* d1 d1) d1) (real->posit16 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (pow d1 3) (pow d1 3) (pow d1 3) (pow d1 4) (pow d1 4) (pow d1 4) (pow d1 7) (pow d1 7) (pow d1 7) (pow d1 8) (pow d1 8) (pow d1 8) 4.693 * * [simplify]: iteration 0: 169 enodes 4.780 * * [simplify]: iteration 1: 424 enodes 4.960 * * [simplify]: iteration 2: 1486 enodes 5.461 * * [simplify]: iteration 3: 2009 enodes 5.922 * * [simplify]: iteration complete: 2009 enodes 5.922 * * [simplify]: Extracting #0: cost 49 inf + 0 5.923 * * [simplify]: Extracting #1: cost 328 inf + 922 5.926 * * [simplify]: Extracting #2: cost 440 inf + 27723 5.951 * * [simplify]: Extracting #3: cost 75 inf + 120039 5.990 * * [simplify]: Extracting #4: cost 5 inf + 109652 6.022 * * [simplify]: Extracting #5: cost 0 inf + 109654 6.043 * [simplify]: Simplified to: 3 3 3 3 (* (* d1 d1) d1) (* (* d1 d1) d1) (* 3 (log d1)) (* 3 (log d1)) (* 3 (log d1)) (exp (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))) (* d1 d1) d1 (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))) (sqrt (* (* d1 d1) d1)) (sqrt (* (* d1 d1) d1)) (* (sqrt d1) d1) (* (sqrt d1) d1) (* d1 d1) (* (* d1 (cbrt d1)) d1) (* (* (sqrt d1) d1) d1) (* (* d1 d1) d1) (real->posit16 (* (* d1 d1) d1)) 4 4 4 4 4 (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) 4 4 4 4 4 (* 4 (log d1)) (* 4 (log d1)) (* 4 (log d1)) (* 4 (log d1)) (exp (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (cbrt (* (* d1 d1) (* d1 d1))) (cbrt (* (* d1 d1) (* d1 d1)))) (cbrt (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (fabs (* d1 d1)) (fabs (* d1 d1)) (* d1 (* (* d1 (cbrt d1)) (* d1 (cbrt d1)))) (* (* d1 (sqrt d1)) (* d1 d1)) (* (* d1 d1) d1) (* (* d1 d1) d1) (real->posit16 (* (* d1 d1) (* d1 d1))) 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1)) (+ (+ (* 3 (log d1)) (* 3 (log d1))) (log d1)) (+ (+ (* 3 (log d1)) (* 3 (log d1))) (log d1)) (+ (+ (* 3 (log d1)) (* 3 (log d1))) (log d1)) (+ (+ (* 3 (log d1)) (* 3 (log d1))) (log d1)) (+ (+ (* 3 (log d1)) (* 3 (log d1))) (log d1)) (+ (+ (* 3 (log d1)) (* 3 (log d1))) (log d1)) (+ (+ (* 3 (log d1)) (* 3 (log d1))) (log d1)) (+ (+ (* 3 (log d1)) (* 3 (log d1))) (log d1)) (+ (+ (* 3 (log d1)) (* 3 (log d1))) (log d1)) (+ (+ (* 3 (log d1)) (* 3 (log d1))) (log d1)) (+ (+ (* 3 (log d1)) (* 3 (log d1))) (log d1)) (exp (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 (* (* d1 d1) (* d1 d1))))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (cbrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1))) (cbrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1)))) (cbrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1)))) (sqrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1))) (sqrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) d1) (real->posit16 (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1))) 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 (+ (* 4 (log d1)) (* 4 (log d1))) (+ (* 4 (log d1)) (* 4 (log d1))) (+ (* 4 (log d1)) (* 4 (log d1))) (+ (* 4 (log d1)) (* 4 (log d1))) (+ (* 4 (log d1)) (* 4 (log d1))) (+ (* 4 (log d1)) (* 4 (log d1))) (+ (* 4 (log d1)) (* 4 (log d1))) (+ (* 4 (log d1)) (* 4 (log d1))) (+ (* 4 (log d1)) (* 4 (log d1))) (+ (* 4 (log d1)) (* 4 (log d1))) (+ (* 4 (log d1)) (* 4 (log d1))) (+ (* 4 (log d1)) (* 4 (log d1))) (exp (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))) (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1))))) d1) (* (cbrt (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))) (cbrt (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))))) (cbrt (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))) (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) (* d1 d1)))))) (sqrt (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))) (sqrt (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (cbrt d1) (cbrt d1))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1)) (sqrt d1)) (* (* d1 (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* d1 d1) d1) (real->posit16 (* (* d1 d1) (* (* d1 d1) (* (* d1 d1) (* d1 d1))))) (* (* d1 d1) d1) (* (* d1 d1) d1) (* (* d1 d1) d1) (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) (pow d1 7) (pow d1 7) (pow d1 7) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) 6.069 * * * [progress]: adding candidates to table 8.842 * * [progress]: iteration 2 / 4 8.842 * * * [progress]: picking best candidate 8.848 * * * * [pick]: Picked # 8.848 * * * [progress]: localizing error 8.860 * * * [progress]: generating rewritten candidates 8.860 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 8.878 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 8.908 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 8.985 * * * [progress]: generating series expansions 8.985 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 8.985 * [backup-simplify]: Simplify (* (pow d1 7) d1) into (pow d1 8) 8.985 * [approximate]: Taking taylor expansion of (pow d1 8) in (d1) around 0 8.985 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 8.985 * [taylor]: Taking taylor expansion of d1 in d1 8.985 * [backup-simplify]: Simplify 0 into 0 8.985 * [backup-simplify]: Simplify 1 into 1 8.985 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 8.985 * [taylor]: Taking taylor expansion of d1 in d1 8.985 * [backup-simplify]: Simplify 0 into 0 8.985 * [backup-simplify]: Simplify 1 into 1 8.986 * [backup-simplify]: Simplify (* 1 1) into 1 8.986 * [backup-simplify]: Simplify (* 1 1) into 1 8.987 * [backup-simplify]: Simplify (* 1 1) into 1 8.987 * [backup-simplify]: Simplify 1 into 1 8.987 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.987 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.988 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.988 * [backup-simplify]: Simplify 0 into 0 8.988 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.989 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.990 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.990 * [backup-simplify]: Simplify 0 into 0 8.990 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.991 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.991 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.991 * [backup-simplify]: Simplify 0 into 0 8.992 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.994 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.994 * [backup-simplify]: Simplify 0 into 0 8.994 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.995 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.996 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.996 * [backup-simplify]: Simplify 0 into 0 8.997 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.998 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.999 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.999 * [backup-simplify]: Simplify 0 into 0 8.999 * [backup-simplify]: Simplify (* 1 (pow d1 8)) into (pow d1 8) 8.999 * [backup-simplify]: Simplify (* (pow (/ 1 d1) 7) (/ 1 d1)) into (/ 1 (pow d1 8)) 8.999 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0 8.999 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 8.999 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 8.999 * [taylor]: Taking taylor expansion of d1 in d1 8.999 * [backup-simplify]: Simplify 0 into 0 8.999 * [backup-simplify]: Simplify 1 into 1 9.000 * [backup-simplify]: Simplify (* 1 1) into 1 9.000 * [backup-simplify]: Simplify (* 1 1) into 1 9.000 * [backup-simplify]: Simplify (* 1 1) into 1 9.000 * [backup-simplify]: Simplify (/ 1 1) into 1 9.000 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 9.000 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 9.000 * [taylor]: Taking taylor expansion of d1 in d1 9.000 * [backup-simplify]: Simplify 0 into 0 9.000 * [backup-simplify]: Simplify 1 into 1 9.001 * [backup-simplify]: Simplify (* 1 1) into 1 9.001 * [backup-simplify]: Simplify (* 1 1) into 1 9.001 * [backup-simplify]: Simplify (* 1 1) into 1 9.001 * [backup-simplify]: Simplify (/ 1 1) into 1 9.002 * [backup-simplify]: Simplify 1 into 1 9.002 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.002 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.003 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.003 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.003 * [backup-simplify]: Simplify 0 into 0 9.004 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.005 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.005 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.006 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.006 * [backup-simplify]: Simplify 0 into 0 9.008 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.009 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.010 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.011 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.011 * [backup-simplify]: Simplify 0 into 0 9.012 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.013 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.014 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.015 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.015 * [backup-simplify]: Simplify 0 into 0 9.017 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.018 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.020 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.021 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.021 * [backup-simplify]: Simplify 0 into 0 9.022 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.024 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.026 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.027 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.027 * [backup-simplify]: Simplify 0 into 0 9.027 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 8)) into (pow d1 8) 9.027 * [backup-simplify]: Simplify (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1))) into (/ 1 (pow d1 8)) 9.027 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0 9.027 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 9.027 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 9.027 * [taylor]: Taking taylor expansion of d1 in d1 9.027 * [backup-simplify]: Simplify 0 into 0 9.027 * [backup-simplify]: Simplify 1 into 1 9.028 * [backup-simplify]: Simplify (* 1 1) into 1 9.028 * [backup-simplify]: Simplify (* 1 1) into 1 9.029 * [backup-simplify]: Simplify (* 1 1) into 1 9.029 * [backup-simplify]: Simplify (/ 1 1) into 1 9.029 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 9.029 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 9.029 * [taylor]: Taking taylor expansion of d1 in d1 9.029 * [backup-simplify]: Simplify 0 into 0 9.029 * [backup-simplify]: Simplify 1 into 1 9.030 * [backup-simplify]: Simplify (* 1 1) into 1 9.030 * [backup-simplify]: Simplify (* 1 1) into 1 9.033 * [backup-simplify]: Simplify (* 1 1) into 1 9.034 * [backup-simplify]: Simplify (/ 1 1) into 1 9.034 * [backup-simplify]: Simplify 1 into 1 9.035 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.035 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.036 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.037 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.037 * [backup-simplify]: Simplify 0 into 0 9.038 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.039 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.040 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.040 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.041 * [backup-simplify]: Simplify 0 into 0 9.042 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.043 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.044 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.045 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.045 * [backup-simplify]: Simplify 0 into 0 9.046 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.047 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.049 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.050 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.050 * [backup-simplify]: Simplify 0 into 0 9.051 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.053 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.054 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.055 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.055 * [backup-simplify]: Simplify 0 into 0 9.057 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.058 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.060 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.061 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.061 * [backup-simplify]: Simplify 0 into 0 9.061 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 8)) into (pow d1 8) 9.062 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 9.062 * [backup-simplify]: Simplify (* d1 (* (pow d1 7) d1)) into (pow d1 9) 9.062 * [approximate]: Taking taylor expansion of (pow d1 9) in (d1) around 0 9.062 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 9.062 * [taylor]: Taking taylor expansion of d1 in d1 9.062 * [backup-simplify]: Simplify 0 into 0 9.062 * [backup-simplify]: Simplify 1 into 1 9.062 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 9.062 * [taylor]: Taking taylor expansion of d1 in d1 9.062 * [backup-simplify]: Simplify 0 into 0 9.062 * [backup-simplify]: Simplify 1 into 1 9.063 * [backup-simplify]: Simplify (* 1 1) into 1 9.063 * [backup-simplify]: Simplify (* 1 1) into 1 9.063 * [backup-simplify]: Simplify (* 1 1) into 1 9.064 * [backup-simplify]: Simplify (* 1 1) into 1 9.064 * [backup-simplify]: Simplify 1 into 1 9.065 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.065 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.066 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.067 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.067 * [backup-simplify]: Simplify 0 into 0 9.068 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.069 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.070 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.071 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.071 * [backup-simplify]: Simplify 0 into 0 9.072 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.073 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.074 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.075 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.075 * [backup-simplify]: Simplify 0 into 0 9.077 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.078 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.079 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.081 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.081 * [backup-simplify]: Simplify 0 into 0 9.082 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.084 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.086 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.088 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.088 * [backup-simplify]: Simplify 0 into 0 9.090 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.091 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.093 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.095 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.095 * [backup-simplify]: Simplify 0 into 0 9.095 * [backup-simplify]: Simplify (* 1 (pow d1 9)) into (pow d1 9) 9.095 * [backup-simplify]: Simplify (* (/ 1 d1) (* (pow (/ 1 d1) 7) (/ 1 d1))) into (/ 1 (pow d1 9)) 9.095 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 9)) in (d1) around 0 9.095 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1 9.095 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 9.095 * [taylor]: Taking taylor expansion of d1 in d1 9.095 * [backup-simplify]: Simplify 0 into 0 9.095 * [backup-simplify]: Simplify 1 into 1 9.096 * [backup-simplify]: Simplify (* 1 1) into 1 9.096 * [backup-simplify]: Simplify (* 1 1) into 1 9.097 * [backup-simplify]: Simplify (* 1 1) into 1 9.097 * [backup-simplify]: Simplify (* 1 1) into 1 9.098 * [backup-simplify]: Simplify (/ 1 1) into 1 9.098 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1 9.098 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 9.098 * [taylor]: Taking taylor expansion of d1 in d1 9.098 * [backup-simplify]: Simplify 0 into 0 9.098 * [backup-simplify]: Simplify 1 into 1 9.098 * [backup-simplify]: Simplify (* 1 1) into 1 9.098 * [backup-simplify]: Simplify (* 1 1) into 1 9.098 * [backup-simplify]: Simplify (* 1 1) into 1 9.099 * [backup-simplify]: Simplify (* 1 1) into 1 9.099 * [backup-simplify]: Simplify (/ 1 1) into 1 9.099 * [backup-simplify]: Simplify 1 into 1 9.099 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.100 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.100 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.101 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.101 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.101 * [backup-simplify]: Simplify 0 into 0 9.102 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.102 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.103 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.103 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.104 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.104 * [backup-simplify]: Simplify 0 into 0 9.105 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.105 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.106 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.106 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.107 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.107 * [backup-simplify]: Simplify 0 into 0 9.108 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.108 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.109 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.110 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.110 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.110 * [backup-simplify]: Simplify 0 into 0 9.111 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.112 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.113 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.113 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.114 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.114 * [backup-simplify]: Simplify 0 into 0 9.115 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.116 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.117 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.117 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.118 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.118 * [backup-simplify]: Simplify 0 into 0 9.118 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 9)) into (pow d1 9) 9.118 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1)))) into (/ -1 (pow d1 9)) 9.118 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 9)) in (d1) around 0 9.118 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1 9.118 * [taylor]: Taking taylor expansion of -1 in d1 9.118 * [backup-simplify]: Simplify -1 into -1 9.118 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 9.118 * [taylor]: Taking taylor expansion of d1 in d1 9.118 * [backup-simplify]: Simplify 0 into 0 9.118 * [backup-simplify]: Simplify 1 into 1 9.119 * [backup-simplify]: Simplify (* 1 1) into 1 9.119 * [backup-simplify]: Simplify (* 1 1) into 1 9.119 * [backup-simplify]: Simplify (* 1 1) into 1 9.119 * [backup-simplify]: Simplify (* 1 1) into 1 9.120 * [backup-simplify]: Simplify (/ -1 1) into -1 9.120 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1 9.120 * [taylor]: Taking taylor expansion of -1 in d1 9.120 * [backup-simplify]: Simplify -1 into -1 9.120 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 9.120 * [taylor]: Taking taylor expansion of d1 in d1 9.120 * [backup-simplify]: Simplify 0 into 0 9.120 * [backup-simplify]: Simplify 1 into 1 9.120 * [backup-simplify]: Simplify (* 1 1) into 1 9.120 * [backup-simplify]: Simplify (* 1 1) into 1 9.121 * [backup-simplify]: Simplify (* 1 1) into 1 9.121 * [backup-simplify]: Simplify (* 1 1) into 1 9.121 * [backup-simplify]: Simplify (/ -1 1) into -1 9.121 * [backup-simplify]: Simplify -1 into -1 9.122 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.122 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.123 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.123 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.124 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 9.124 * [backup-simplify]: Simplify 0 into 0 9.124 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.125 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.125 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.126 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.126 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.126 * [backup-simplify]: Simplify 0 into 0 9.127 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.128 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.129 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.130 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.131 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.131 * [backup-simplify]: Simplify 0 into 0 9.132 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.133 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.135 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.136 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.137 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.137 * [backup-simplify]: Simplify 0 into 0 9.139 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.140 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.142 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.144 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.145 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.145 * [backup-simplify]: Simplify 0 into 0 9.147 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.148 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.150 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.151 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.153 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.153 * [backup-simplify]: Simplify 0 into 0 9.153 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 9)) into (pow d1 9) 9.153 * * * * [progress]: [ 3 / 3 ] generating series at (2) 9.153 * [backup-simplify]: Simplify (* (* d1 (* (pow d1 7) d1)) d1) into (pow d1 10) 9.153 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0 9.153 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 9.153 * [taylor]: Taking taylor expansion of d1 in d1 9.153 * [backup-simplify]: Simplify 0 into 0 9.153 * [backup-simplify]: Simplify 1 into 1 9.153 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 9.153 * [taylor]: Taking taylor expansion of d1 in d1 9.153 * [backup-simplify]: Simplify 0 into 0 9.153 * [backup-simplify]: Simplify 1 into 1 9.154 * [backup-simplify]: Simplify (* 1 1) into 1 9.154 * [backup-simplify]: Simplify (* 1 1) into 1 9.155 * [backup-simplify]: Simplify (* 1 1) into 1 9.155 * [backup-simplify]: Simplify (* 1 1) into 1 9.155 * [backup-simplify]: Simplify 1 into 1 9.156 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.156 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.157 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.157 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.157 * [backup-simplify]: Simplify 0 into 0 9.158 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.158 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.159 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.160 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.160 * [backup-simplify]: Simplify 0 into 0 9.161 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.162 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.162 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.163 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.163 * [backup-simplify]: Simplify 0 into 0 9.164 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.165 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.165 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.166 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.166 * [backup-simplify]: Simplify 0 into 0 9.167 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.168 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.168 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.169 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.169 * [backup-simplify]: Simplify 0 into 0 9.170 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.171 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.172 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.173 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.173 * [backup-simplify]: Simplify 0 into 0 9.173 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10) 9.173 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (pow (/ 1 d1) 7) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 10)) 9.173 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 9.173 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 9.173 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 9.173 * [taylor]: Taking taylor expansion of d1 in d1 9.173 * [backup-simplify]: Simplify 0 into 0 9.173 * [backup-simplify]: Simplify 1 into 1 9.173 * [backup-simplify]: Simplify (* 1 1) into 1 9.174 * [backup-simplify]: Simplify (* 1 1) into 1 9.174 * [backup-simplify]: Simplify (* 1 1) into 1 9.174 * [backup-simplify]: Simplify (* 1 1) into 1 9.174 * [backup-simplify]: Simplify (/ 1 1) into 1 9.174 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 9.174 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 9.174 * [taylor]: Taking taylor expansion of d1 in d1 9.174 * [backup-simplify]: Simplify 0 into 0 9.174 * [backup-simplify]: Simplify 1 into 1 9.175 * [backup-simplify]: Simplify (* 1 1) into 1 9.175 * [backup-simplify]: Simplify (* 1 1) into 1 9.175 * [backup-simplify]: Simplify (* 1 1) into 1 9.175 * [backup-simplify]: Simplify (* 1 1) into 1 9.176 * [backup-simplify]: Simplify (/ 1 1) into 1 9.176 * [backup-simplify]: Simplify 1 into 1 9.176 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.176 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.177 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.177 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.178 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.178 * [backup-simplify]: Simplify 0 into 0 9.178 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.179 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.179 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.180 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.180 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.180 * [backup-simplify]: Simplify 0 into 0 9.181 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.182 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.182 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.183 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.183 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.183 * [backup-simplify]: Simplify 0 into 0 9.184 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.185 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.186 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.186 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.187 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.187 * [backup-simplify]: Simplify 0 into 0 9.188 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.189 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.190 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.192 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.193 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.193 * [backup-simplify]: Simplify 0 into 0 9.195 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.197 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.198 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.200 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.201 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.201 * [backup-simplify]: Simplify 0 into 0 9.201 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10) 9.201 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (pow (/ 1 (- d1)) 7) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 10)) 9.201 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 9.202 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 9.202 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 9.202 * [taylor]: Taking taylor expansion of d1 in d1 9.202 * [backup-simplify]: Simplify 0 into 0 9.202 * [backup-simplify]: Simplify 1 into 1 9.202 * [backup-simplify]: Simplify (* 1 1) into 1 9.202 * [backup-simplify]: Simplify (* 1 1) into 1 9.203 * [backup-simplify]: Simplify (* 1 1) into 1 9.203 * [backup-simplify]: Simplify (* 1 1) into 1 9.204 * [backup-simplify]: Simplify (/ 1 1) into 1 9.204 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 9.204 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 9.204 * [taylor]: Taking taylor expansion of d1 in d1 9.204 * [backup-simplify]: Simplify 0 into 0 9.204 * [backup-simplify]: Simplify 1 into 1 9.204 * [backup-simplify]: Simplify (* 1 1) into 1 9.205 * [backup-simplify]: Simplify (* 1 1) into 1 9.205 * [backup-simplify]: Simplify (* 1 1) into 1 9.205 * [backup-simplify]: Simplify (* 1 1) into 1 9.206 * [backup-simplify]: Simplify (/ 1 1) into 1 9.206 * [backup-simplify]: Simplify 1 into 1 9.207 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.207 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.208 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.209 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.210 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.210 * [backup-simplify]: Simplify 0 into 0 9.211 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.211 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.212 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.213 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.214 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.214 * [backup-simplify]: Simplify 0 into 0 9.216 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.217 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.218 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.219 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.220 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.220 * [backup-simplify]: Simplify 0 into 0 9.221 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.223 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.224 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.225 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.226 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.226 * [backup-simplify]: Simplify 0 into 0 9.228 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.229 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.231 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.232 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.233 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.233 * [backup-simplify]: Simplify 0 into 0 9.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.237 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.238 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.241 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.241 * [backup-simplify]: Simplify 0 into 0 9.241 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10) 9.242 * * * [progress]: simplifying candidates 9.242 * * * * [progress]: [ 1 / 86 ] simplifiying candidate # 9.242 * * * * [progress]: [ 2 / 86 ] simplifiying candidate # 9.242 * * * * [progress]: [ 3 / 86 ] simplifiying candidate # 9.242 * * * * [progress]: [ 4 / 86 ] simplifiying candidate # 9.242 * * * * [progress]: [ 5 / 86 ] simplifiying candidate # 9.242 * * * * [progress]: [ 6 / 86 ] simplifiying candidate # 9.242 * * * * [progress]: [ 7 / 86 ] simplifiying candidate # 9.242 * * * * [progress]: [ 8 / 86 ] simplifiying candidate # 9.242 * * * * [progress]: [ 9 / 86 ] simplifiying candidate # 9.242 * * * * [progress]: [ 10 / 86 ] simplifiying candidate # 9.242 * * * * [progress]: [ 11 / 86 ] simplifiying candidate # 9.242 * * * * [progress]: [ 12 / 86 ] simplifiying candidate # 9.242 * * * * [progress]: [ 13 / 86 ] simplifiying candidate # 9.242 * * * * [progress]: [ 14 / 86 ] simplifiying candidate # 9.242 * * * * [progress]: [ 15 / 86 ] simplifiying candidate # 9.243 * * * * [progress]: [ 16 / 86 ] simplifiying candidate # 9.243 * * * * [progress]: [ 17 / 86 ] simplifiying candidate # 9.243 * * * * [progress]: [ 18 / 86 ] simplifiying candidate # 9.243 * * * * [progress]: [ 19 / 86 ] simplifiying candidate # 9.243 * * * * [progress]: [ 20 / 86 ] simplifiying candidate # 9.243 * * * * [progress]: [ 21 / 86 ] simplifiying candidate # 9.243 * * * * [progress]: [ 22 / 86 ] simplifiying candidate # 9.243 * * * * [progress]: [ 23 / 86 ] simplifiying candidate # 9.243 * * * * [progress]: [ 24 / 86 ] simplifiying candidate # 9.243 * * * * [progress]: [ 25 / 86 ] simplifiying candidate # 9.243 * * * * [progress]: [ 26 / 86 ] simplifiying candidate # 9.243 * * * * [progress]: [ 27 / 86 ] simplifiying candidate #real (real->posit16 (* (pow d1 7) d1)))) d1))> 9.243 * * * * [progress]: [ 28 / 86 ] simplifiying candidate # 9.243 * * * * [progress]: [ 29 / 86 ] simplifiying candidate # 9.243 * * * * [progress]: [ 30 / 86 ] simplifiying candidate # 9.243 * * * * [progress]: [ 31 / 86 ] simplifiying candidate # 9.244 * * * * [progress]: [ 32 / 86 ] simplifiying candidate # 9.244 * * * * [progress]: [ 33 / 86 ] simplifiying candidate # 9.244 * * * * [progress]: [ 34 / 86 ] simplifiying candidate # 9.244 * * * * [progress]: [ 35 / 86 ] simplifiying candidate # 9.244 * * * * [progress]: [ 36 / 86 ] simplifiying candidate # 9.244 * * * * [progress]: [ 37 / 86 ] simplifiying candidate # 9.244 * * * * [progress]: [ 38 / 86 ] simplifiying candidate # 9.244 * * * * [progress]: [ 39 / 86 ] simplifiying candidate # 9.244 * * * * [progress]: [ 40 / 86 ] simplifiying candidate # 9.244 * * * * [progress]: [ 41 / 86 ] simplifiying candidate # 9.244 * * * * [progress]: [ 42 / 86 ] simplifiying candidate # 9.244 * * * * [progress]: [ 43 / 86 ] simplifiying candidate # 9.244 * * * * [progress]: [ 44 / 86 ] simplifiying candidate # 9.244 * * * * [progress]: [ 45 / 86 ] simplifiying candidate # 9.244 * * * * [progress]: [ 46 / 86 ] simplifiying candidate # 9.245 * * * * [progress]: [ 47 / 86 ] simplifiying candidate # 9.245 * * * * [progress]: [ 48 / 86 ] simplifiying candidate # 9.245 * * * * [progress]: [ 49 / 86 ] simplifiying candidate #real (real->posit16 (* d1 (* (pow d1 7) d1)))) d1))> 9.245 * * * * [progress]: [ 50 / 86 ] simplifiying candidate # 9.245 * * * * [progress]: [ 51 / 86 ] simplifiying candidate # 9.245 * * * * [progress]: [ 52 / 86 ] simplifiying candidate # 9.245 * * * * [progress]: [ 53 / 86 ] simplifiying candidate # 9.245 * * * * [progress]: [ 54 / 86 ] simplifiying candidate # 9.245 * * * * [progress]: [ 55 / 86 ] simplifiying candidate # 9.245 * * * * [progress]: [ 56 / 86 ] simplifiying candidate # 9.245 * * * * [progress]: [ 57 / 86 ] simplifiying candidate # 9.245 * * * * [progress]: [ 58 / 86 ] simplifiying candidate # 9.245 * * * * [progress]: [ 59 / 86 ] simplifiying candidate # 9.245 * * * * [progress]: [ 60 / 86 ] simplifiying candidate # 9.245 * * * * [progress]: [ 61 / 86 ] simplifiying candidate # 9.245 * * * * [progress]: [ 62 / 86 ] simplifiying candidate # 9.246 * * * * [progress]: [ 63 / 86 ] simplifiying candidate # 9.246 * * * * [progress]: [ 64 / 86 ] simplifiying candidate # 9.246 * * * * [progress]: [ 65 / 86 ] simplifiying candidate # 9.246 * * * * [progress]: [ 66 / 86 ] simplifiying candidate # 9.246 * * * * [progress]: [ 67 / 86 ] simplifiying candidate # 9.246 * * * * [progress]: [ 68 / 86 ] simplifiying candidate # 9.246 * * * * [progress]: [ 69 / 86 ] simplifiying candidate # 9.246 * * * * [progress]: [ 70 / 86 ] simplifiying candidate # 9.246 * * * * [progress]: [ 71 / 86 ] simplifiying candidate # 9.246 * * * * [progress]: [ 72 / 86 ] simplifiying candidate # 9.246 * * * * [progress]: [ 73 / 86 ] simplifiying candidate # 9.246 * * * * [progress]: [ 74 / 86 ] simplifiying candidate # 9.246 * * * * [progress]: [ 75 / 86 ] simplifiying candidate # 9.246 * * * * [progress]: [ 76 / 86 ] simplifiying candidate #real (real->posit16 (* (* d1 (* (pow d1 7) d1)) d1))))> 9.246 * * * * [progress]: [ 77 / 86 ] simplifiying candidate # 9.246 * * * * [progress]: [ 78 / 86 ] simplifiying candidate # 9.246 * * * * [progress]: [ 79 / 86 ] simplifiying candidate # 9.247 * * * * [progress]: [ 80 / 86 ] simplifiying candidate # 9.247 * * * * [progress]: [ 81 / 86 ] simplifiying candidate # 9.247 * * * * [progress]: [ 82 / 86 ] simplifiying candidate # 9.247 * * * * [progress]: [ 83 / 86 ] simplifiying candidate # 9.247 * * * * [progress]: [ 84 / 86 ] simplifiying candidate # 9.247 * * * * [progress]: [ 85 / 86 ] simplifiying candidate # 9.247 * * * * [progress]: [ 86 / 86 ] simplifiying candidate # 9.248 * [simplify]: Simplifying: (+ 7 1) (+ 7 1) (+ (* (log d1) 7) (log d1)) (+ (* (log d1) 7) (log d1)) (+ (log (pow d1 7)) (log d1)) (log (* (pow d1 7) d1)) (exp (* (pow d1 7) d1)) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1)) (* (cbrt (* (pow d1 7) d1)) (cbrt (* (pow d1 7) d1))) (cbrt (* (pow d1 7) d1)) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1)) (sqrt (* (pow d1 7) d1)) (sqrt (* (pow d1 7) d1)) (* (pow (sqrt d1) 7) (sqrt d1)) (* (pow (sqrt d1) 7) (sqrt d1)) (* (sqrt (pow d1 7)) (sqrt d1)) (* (sqrt (pow d1 7)) (sqrt d1)) (* (pow d1 (/ 7 2)) (sqrt d1)) (* (pow d1 (/ 7 2)) (sqrt d1)) (* (pow d1 7) (* (cbrt d1) (cbrt d1))) (* (pow d1 7) (sqrt d1)) (* (pow d1 7) 1) (* (pow (cbrt d1) 7) d1) (* (pow (sqrt d1) 7) d1) (* (pow d1 7) d1) (* (cbrt (pow d1 7)) d1) (* (sqrt (pow d1 7)) d1) (* (pow d1 7) d1) (* (pow d1 (/ 7 2)) d1) (real->posit16 (* (pow d1 7) d1)) (+ 1 (+ 7 1)) (+ 1 (+ 7 1)) (* d1 (* (pow d1 7) d1)) (+ (log d1) (+ (* (log d1) 7) (log d1))) (+ (log d1) (+ (* (log d1) 7) (log d1))) (+ (log d1) (+ (log (pow d1 7)) (log d1))) (+ (log d1) (log (* (pow d1 7) d1))) (log (* d1 (* (pow d1 7) d1))) (exp (* d1 (* (pow d1 7) d1))) (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1))) (* (cbrt (* d1 (* (pow d1 7) d1))) (cbrt (* d1 (* (pow d1 7) d1)))) (cbrt (* d1 (* (pow d1 7) d1))) (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1))) (sqrt (* d1 (* (pow d1 7) d1))) (sqrt (* d1 (* (pow d1 7) d1))) (* d1 (pow d1 7)) (* (cbrt d1) (* (pow d1 7) d1)) (* (sqrt d1) (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1)) (real->posit16 (* d1 (* (pow d1 7) d1))) (+ (+ 1 (+ 7 1)) 1) (+ (+ 1 (+ 7 1)) 1) (* (* d1 (* (pow d1 7) d1)) d1) (* (* d1 (* (pow d1 7) d1)) d1) (+ (+ 1 (+ 7 1)) 1) (+ (+ 1 (+ 7 1)) 1) (+ (+ (log d1) (+ (* (log d1) 7) (log d1))) (log d1)) (+ (+ (log d1) (+ (* (log d1) 7) (log d1))) (log d1)) (+ (+ (log d1) (+ (log (pow d1 7)) (log d1))) (log d1)) (+ (+ (log d1) (log (* (pow d1 7) d1))) (log d1)) (+ (log (* d1 (* (pow d1 7) d1))) (log d1)) (log (* (* d1 (* (pow d1 7) d1)) d1)) (exp (* (* d1 (* (pow d1 7) d1)) d1)) (* (* (* (* d1 d1) d1) (* (* (* (pow d1 7) (pow d1 7)) (pow d1 7)) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 d1) d1) (* (* (* (pow d1 7) d1) (* (pow d1 7) d1)) (* (pow d1 7) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 (* (pow d1 7) d1)) (* d1 (* (pow d1 7) d1))) (* d1 (* (pow d1 7) d1))) (* (* d1 d1) d1)) (* (cbrt (* (* d1 (* (pow d1 7) d1)) d1)) (cbrt (* (* d1 (* (pow d1 7) d1)) d1))) (cbrt (* (* d1 (* (pow d1 7) d1)) d1)) (* (* (* (* d1 (* (pow d1 7) d1)) d1) (* (* d1 (* (pow d1 7) d1)) d1)) (* (* d1 (* (pow d1 7) d1)) d1)) (sqrt (* (* d1 (* (pow d1 7) d1)) d1)) (sqrt (* (* d1 (* (pow d1 7) d1)) d1)) (* (* d1 (* (pow d1 7) d1)) (* (cbrt d1) (cbrt d1))) (* (* d1 (* (pow d1 7) d1)) (sqrt d1)) (* (* d1 (* (pow d1 7) d1)) 1) (* (* (pow d1 7) d1) d1) (real->posit16 (* (* d1 (* (pow d1 7) d1)) d1)) (pow d1 8) (pow d1 8) (pow d1 8) (pow d1 9) (pow d1 9) (pow d1 9) (pow d1 10) (pow d1 10) (pow d1 10) 9.250 * * [simplify]: iteration 0: 90 enodes 9.298 * * [simplify]: iteration 1: 237 enodes 9.413 * * [simplify]: iteration 2: 742 enodes 9.714 * * [simplify]: iteration 3: 2002 enodes 10.241 * * [simplify]: iteration complete: 2002 enodes 10.241 * * [simplify]: Extracting #0: cost 42 inf + 0 10.242 * * [simplify]: Extracting #1: cost 368 inf + 3 10.244 * * [simplify]: Extracting #2: cost 646 inf + 54 10.255 * * [simplify]: Extracting #3: cost 476 inf + 60978 10.287 * * [simplify]: Extracting #4: cost 78 inf + 180806 10.342 * * [simplify]: Extracting #5: cost 0 inf + 187287 10.397 * * [simplify]: Extracting #6: cost 0 inf + 184612 10.449 * * [simplify]: Extracting #7: cost 0 inf + 184532 10.502 * [simplify]: Simplified to: 8 8 (* 8 (log d1)) (* 8 (log d1)) (* 8 (log d1)) (* 8 (log d1)) (exp (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (fabs (* (* d1 d1) (* d1 d1))) (fabs (* (* d1 d1) (* d1 d1))) (pow (sqrt d1) 8) (pow (sqrt d1) 8) (* (sqrt d1) (fabs (pow d1 7/2))) (* (sqrt d1) (fabs (pow d1 7/2))) (* (sqrt d1) (pow d1 7/2)) (* (sqrt d1) (pow d1 7/2)) (* (* (cbrt d1) (cbrt d1)) (pow d1 7)) (* (sqrt d1) (pow d1 7)) (pow d1 7) (* (pow (cbrt d1) 7) d1) (* (pow (sqrt d1) 7) d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (cbrt (pow d1 7)) d1) (* d1 (fabs (pow d1 7/2))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (pow d1 9/2) (real->posit16 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) 9 9 (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) d1)) (* 9 (log d1)) (* 9 (log d1)) (* 9 (log d1)) (* 9 (log d1)) (* 9 (log d1)) (exp (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) d1))) (* (* (* (* d1 (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* (* d1 (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) d1))) (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) d1)))) (cbrt (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) d1))) (* (* (* (* d1 (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (sqrt (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) d1))) (sqrt (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (cbrt d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (sqrt d1)) (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) d1)) (real->posit16 (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) d1))) 10 10 (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) 10 10 (+ (log d1) (* 9 (log d1))) (+ (log d1) (* 9 (log d1))) (+ (log d1) (* 9 (log d1))) (+ (log d1) (* 9 (log d1))) (+ (log d1) (* 9 (log d1))) (+ (log d1) (* 9 (log d1))) (exp (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) (* (cbrt (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) (cbrt (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)))) (cbrt (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) (* (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) (sqrt (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) (sqrt (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) (* d1 (* (* (* (* d1 d1) (* d1 d1)) (cbrt d1)) (* (* (* d1 d1) (* d1 d1)) (cbrt d1)))) (* (* d1 (sqrt d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) d1)) (real->posit16 (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) 10.505 * * * [progress]: adding candidates to table 11.058 * * [progress]: iteration 3 / 4 11.058 * * * [progress]: picking best candidate 11.060 * * * * [pick]: Picked # 11.060 * * * [progress]: localizing error 11.064 * * * [progress]: generating rewritten candidates 11.064 * * * [progress]: generating series expansions 11.064 * * * [progress]: simplifying candidates 11.064 * [simplify]: Simplifying: 11.064 * * [simplify]: iteration 0: 0 enodes 11.064 * * [simplify]: iteration complete: 0 enodes 11.064 * * [simplify]: Extracting #0: cost 0 inf + 0 11.064 * [simplify]: Simplified to: 11.064 * * * [progress]: adding candidates to table 11.064 * [progress]: [Phase 3 of 3] Extracting. 11.066 * [simplify]: Simplifying: (pow d1 10) 11.066 * * [simplify]: iteration 0: 3 enodes 11.066 * * [simplify]: iteration complete: 3 enodes 11.066 * * [simplify]: Extracting #0: cost 1 inf + 0 11.066 * * [simplify]: Extracting #1: cost 3 inf + 0 11.066 * * [simplify]: Extracting #2: cost 1 inf + 2 11.066 * * [simplify]: Extracting #3: cost 0 inf + 214 11.066 * [simplify]: Simplified to: (pow d1 10) 13.979 * [regime-testing]: Baseline error score: 0 13.984 * [regime-testing]: Oracle error score: 0 13.984 * [regime-testing]: End program error score: 0 14.044 * [regime-testing]: Target error score: 0