25.986 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.053 * * * [progress]: [2/2] Setting up program. 0.057 * [progress]: [Phase 2 of 3] Improving. 0.057 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.057 * [simplify]: Simplifying: (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) 0.057 * * [simplify]: iteration 0: 9 enodes 0.061 * * [simplify]: iteration 1: 24 enodes 0.072 * * [simplify]: iteration 2: 54 enodes 0.100 * * [simplify]: iteration 3: 92 enodes 0.153 * * [simplify]: iteration 4: 248 enodes 0.268 * * [simplify]: iteration 5: 496 enodes 1.151 * * [simplify]: iteration 6: 2055 enodes 2.152 * * [simplify]: iteration complete: 5000 enodes 2.152 * * [simplify]: Extracting #0: cost 1 inf + 0 2.153 * * [simplify]: Extracting #1: cost 193 inf + 0 2.157 * * [simplify]: Extracting #2: cost 1247 inf + 339 2.164 * * [simplify]: Extracting #3: cost 1452 inf + 22586 2.186 * * [simplify]: Extracting #4: cost 1056 inf + 183593 2.242 * * [simplify]: Extracting #5: cost 434 inf + 522624 2.334 * * [simplify]: Extracting #6: cost 22 inf + 772552 2.434 * * [simplify]: Extracting #7: cost 0 inf + 786162 2.495 * * [simplify]: Extracting #8: cost 0 inf + 785297 2.571 * * [simplify]: Extracting #9: cost 0 inf + 785167 2.677 * [simplify]: Simplified to: (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))) 2.681 * * [progress]: iteration 1 / 4 2.681 * * * [progress]: picking best candidate 2.684 * * * * [pick]: Picked # 2.684 * * * [progress]: localizing error 2.705 * * * [progress]: generating rewritten candidates 2.705 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 1) 2.739 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1) 2.806 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 3.728 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 48.423 * * * [progress]: generating series expansions 48.423 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1 1) 48.423 * [backup-simplify]: Simplify (* d1 (* d1 d1)) into (pow d1 3) 48.423 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0 48.423 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 48.423 * [taylor]: Taking taylor expansion of d1 in d1 48.423 * [backup-simplify]: Simplify 0 into 0 48.423 * [backup-simplify]: Simplify 1 into 1 48.423 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 48.423 * [taylor]: Taking taylor expansion of d1 in d1 48.423 * [backup-simplify]: Simplify 0 into 0 48.423 * [backup-simplify]: Simplify 1 into 1 48.424 * [backup-simplify]: Simplify (* 1 1) into 1 48.425 * [backup-simplify]: Simplify (* 1 1) into 1 48.425 * [backup-simplify]: Simplify 1 into 1 48.426 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.426 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.426 * [backup-simplify]: Simplify 0 into 0 48.427 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.428 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.428 * [backup-simplify]: Simplify 0 into 0 48.429 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.429 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.429 * [backup-simplify]: Simplify 0 into 0 48.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.431 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.431 * [backup-simplify]: Simplify 0 into 0 48.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.432 * [backup-simplify]: Simplify 0 into 0 48.433 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.434 * [backup-simplify]: Simplify 0 into 0 48.434 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3) 48.434 * [backup-simplify]: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3)) 48.435 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0 48.435 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 48.435 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 48.435 * [taylor]: Taking taylor expansion of d1 in d1 48.435 * [backup-simplify]: Simplify 0 into 0 48.435 * [backup-simplify]: Simplify 1 into 1 48.435 * [backup-simplify]: Simplify (* 1 1) into 1 48.435 * [backup-simplify]: Simplify (* 1 1) into 1 48.435 * [backup-simplify]: Simplify (/ 1 1) into 1 48.435 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 48.435 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 48.435 * [taylor]: Taking taylor expansion of d1 in d1 48.435 * [backup-simplify]: Simplify 0 into 0 48.435 * [backup-simplify]: Simplify 1 into 1 48.436 * [backup-simplify]: Simplify (* 1 1) into 1 48.436 * [backup-simplify]: Simplify (* 1 1) into 1 48.436 * [backup-simplify]: Simplify (/ 1 1) into 1 48.436 * [backup-simplify]: Simplify 1 into 1 48.437 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.437 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.437 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 48.437 * [backup-simplify]: Simplify 0 into 0 48.438 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.439 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.439 * [backup-simplify]: Simplify 0 into 0 48.440 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.440 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.441 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.441 * [backup-simplify]: Simplify 0 into 0 48.442 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.442 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.443 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.443 * [backup-simplify]: Simplify 0 into 0 48.444 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.444 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.445 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.445 * [backup-simplify]: Simplify 0 into 0 48.446 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.447 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.447 * [backup-simplify]: Simplify 0 into 0 48.448 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3) 48.448 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3)) 48.448 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0 48.448 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 48.448 * [taylor]: Taking taylor expansion of -1 in d1 48.448 * [backup-simplify]: Simplify -1 into -1 48.448 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 48.448 * [taylor]: Taking taylor expansion of d1 in d1 48.448 * [backup-simplify]: Simplify 0 into 0 48.448 * [backup-simplify]: Simplify 1 into 1 48.448 * [backup-simplify]: Simplify (* 1 1) into 1 48.449 * [backup-simplify]: Simplify (* 1 1) into 1 48.449 * [backup-simplify]: Simplify (/ -1 1) into -1 48.449 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 48.449 * [taylor]: Taking taylor expansion of -1 in d1 48.449 * [backup-simplify]: Simplify -1 into -1 48.449 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 48.449 * [taylor]: Taking taylor expansion of d1 in d1 48.449 * [backup-simplify]: Simplify 0 into 0 48.450 * [backup-simplify]: Simplify 1 into 1 48.450 * [backup-simplify]: Simplify (* 1 1) into 1 48.450 * [backup-simplify]: Simplify (* 1 1) into 1 48.451 * [backup-simplify]: Simplify (/ -1 1) into -1 48.451 * [backup-simplify]: Simplify -1 into -1 48.452 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.452 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.453 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 48.453 * [backup-simplify]: Simplify 0 into 0 48.454 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.455 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.456 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.456 * [backup-simplify]: Simplify 0 into 0 48.457 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.458 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.459 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.459 * [backup-simplify]: Simplify 0 into 0 48.460 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.462 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.463 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.463 * [backup-simplify]: Simplify 0 into 0 48.464 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.465 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.466 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.466 * [backup-simplify]: Simplify 0 into 0 48.467 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.468 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.469 * [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 48.469 * [backup-simplify]: Simplify 0 into 0 48.469 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3) 48.469 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1) 48.469 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4) 48.469 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0 48.469 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 48.469 * [taylor]: Taking taylor expansion of d1 in d1 48.469 * [backup-simplify]: Simplify 0 into 0 48.469 * [backup-simplify]: Simplify 1 into 1 48.469 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 48.469 * [taylor]: Taking taylor expansion of d1 in d1 48.469 * [backup-simplify]: Simplify 0 into 0 48.469 * [backup-simplify]: Simplify 1 into 1 48.469 * [backup-simplify]: Simplify (* 1 1) into 1 48.470 * [backup-simplify]: Simplify (* 1 1) into 1 48.470 * [backup-simplify]: Simplify 1 into 1 48.470 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.470 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.470 * [backup-simplify]: Simplify 0 into 0 48.471 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.472 * [backup-simplify]: Simplify 0 into 0 48.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.473 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.473 * [backup-simplify]: Simplify 0 into 0 48.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.474 * [backup-simplify]: Simplify 0 into 0 48.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.476 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.476 * [backup-simplify]: Simplify 0 into 0 48.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.478 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.478 * [backup-simplify]: Simplify 0 into 0 48.478 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4) 48.478 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4)) 48.478 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 48.478 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 48.478 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 48.478 * [taylor]: Taking taylor expansion of d1 in d1 48.478 * [backup-simplify]: Simplify 0 into 0 48.478 * [backup-simplify]: Simplify 1 into 1 48.478 * [backup-simplify]: Simplify (* 1 1) into 1 48.479 * [backup-simplify]: Simplify (* 1 1) into 1 48.479 * [backup-simplify]: Simplify (/ 1 1) into 1 48.479 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 48.479 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 48.479 * [taylor]: Taking taylor expansion of d1 in d1 48.479 * [backup-simplify]: Simplify 0 into 0 48.479 * [backup-simplify]: Simplify 1 into 1 48.479 * [backup-simplify]: Simplify (* 1 1) into 1 48.479 * [backup-simplify]: Simplify (* 1 1) into 1 48.480 * [backup-simplify]: Simplify (/ 1 1) into 1 48.480 * [backup-simplify]: Simplify 1 into 1 48.480 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.481 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 48.481 * [backup-simplify]: Simplify 0 into 0 48.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.483 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.483 * [backup-simplify]: Simplify 0 into 0 48.483 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.484 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.484 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.484 * [backup-simplify]: Simplify 0 into 0 48.485 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.486 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.486 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.486 * [backup-simplify]: Simplify 0 into 0 48.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.489 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.489 * [backup-simplify]: Simplify 0 into 0 48.489 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.491 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.491 * [backup-simplify]: Simplify 0 into 0 48.491 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4) 48.491 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4)) 48.491 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 48.491 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 48.491 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 48.491 * [taylor]: Taking taylor expansion of d1 in d1 48.491 * [backup-simplify]: Simplify 0 into 0 48.491 * [backup-simplify]: Simplify 1 into 1 48.492 * [backup-simplify]: Simplify (* 1 1) into 1 48.492 * [backup-simplify]: Simplify (* 1 1) into 1 48.492 * [backup-simplify]: Simplify (/ 1 1) into 1 48.492 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 48.492 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 48.492 * [taylor]: Taking taylor expansion of d1 in d1 48.492 * [backup-simplify]: Simplify 0 into 0 48.493 * [backup-simplify]: Simplify 1 into 1 48.493 * [backup-simplify]: Simplify (* 1 1) into 1 48.493 * [backup-simplify]: Simplify (* 1 1) into 1 48.494 * [backup-simplify]: Simplify (/ 1 1) into 1 48.494 * [backup-simplify]: Simplify 1 into 1 48.494 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.495 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 48.496 * [backup-simplify]: Simplify 0 into 0 48.497 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.498 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.499 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.499 * [backup-simplify]: Simplify 0 into 0 48.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.501 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.502 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.502 * [backup-simplify]: Simplify 0 into 0 48.503 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.504 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.505 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.505 * [backup-simplify]: Simplify 0 into 0 48.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.508 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.508 * [backup-simplify]: Simplify 0 into 0 48.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.510 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.510 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.511 * [backup-simplify]: Simplify 0 into 0 48.511 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4) 48.511 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 48.511 * [backup-simplify]: Simplify (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) into (pow d1 7) 48.511 * [approximate]: Taking taylor expansion of (pow d1 7) in (d1) around 0 48.511 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 48.511 * [taylor]: Taking taylor expansion of d1 in d1 48.511 * [backup-simplify]: Simplify 0 into 0 48.511 * [backup-simplify]: Simplify 1 into 1 48.511 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 48.511 * [taylor]: Taking taylor expansion of d1 in d1 48.511 * [backup-simplify]: Simplify 0 into 0 48.511 * [backup-simplify]: Simplify 1 into 1 48.511 * [backup-simplify]: Simplify (* 1 1) into 1 48.512 * [backup-simplify]: Simplify (* 1 1) into 1 48.512 * [backup-simplify]: Simplify (* 1 1) into 1 48.512 * [backup-simplify]: Simplify (* 1 1) into 1 48.512 * [backup-simplify]: Simplify 1 into 1 48.513 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.513 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.513 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.514 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.514 * [backup-simplify]: Simplify 0 into 0 48.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.519 * [backup-simplify]: Simplify 0 into 0 48.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.521 * [backup-simplify]: Simplify 0 into 0 48.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.524 * [backup-simplify]: Simplify 0 into 0 48.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.526 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.526 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.527 * [backup-simplify]: Simplify 0 into 0 48.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.530 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.531 * [backup-simplify]: Simplify 0 into 0 48.531 * [backup-simplify]: Simplify (* 1 (pow d1 7)) into (pow d1 7) 48.531 * [backup-simplify]: Simplify (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 7)) 48.531 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 7)) in (d1) around 0 48.531 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 48.531 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 48.531 * [taylor]: Taking taylor expansion of d1 in d1 48.531 * [backup-simplify]: Simplify 0 into 0 48.531 * [backup-simplify]: Simplify 1 into 1 48.531 * [backup-simplify]: Simplify (* 1 1) into 1 48.532 * [backup-simplify]: Simplify (* 1 1) into 1 48.532 * [backup-simplify]: Simplify (* 1 1) into 1 48.532 * [backup-simplify]: Simplify (* 1 1) into 1 48.532 * [backup-simplify]: Simplify (/ 1 1) into 1 48.532 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 48.532 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 48.532 * [taylor]: Taking taylor expansion of d1 in d1 48.532 * [backup-simplify]: Simplify 0 into 0 48.532 * [backup-simplify]: Simplify 1 into 1 48.533 * [backup-simplify]: Simplify (* 1 1) into 1 48.533 * [backup-simplify]: Simplify (* 1 1) into 1 48.533 * [backup-simplify]: Simplify (* 1 1) into 1 48.533 * [backup-simplify]: Simplify (* 1 1) into 1 48.534 * [backup-simplify]: Simplify (/ 1 1) into 1 48.534 * [backup-simplify]: Simplify 1 into 1 48.534 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.534 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.535 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.535 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.536 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 48.536 * [backup-simplify]: Simplify 0 into 0 48.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.538 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.540 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.540 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.540 * [backup-simplify]: Simplify 0 into 0 48.542 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.543 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.544 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.546 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.546 * [backup-simplify]: Simplify 0 into 0 48.547 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.549 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.551 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.552 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.552 * [backup-simplify]: Simplify 0 into 0 48.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.555 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.555 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.555 * [backup-simplify]: Simplify 0 into 0 48.556 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.557 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.558 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.559 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.560 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.560 * [backup-simplify]: Simplify 0 into 0 48.560 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 7)) into (pow d1 7) 48.560 * [backup-simplify]: Simplify (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 7)) 48.560 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 7)) in (d1) around 0 48.560 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 48.560 * [taylor]: Taking taylor expansion of -1 in d1 48.560 * [backup-simplify]: Simplify -1 into -1 48.560 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 48.560 * [taylor]: Taking taylor expansion of d1 in d1 48.560 * [backup-simplify]: Simplify 0 into 0 48.560 * [backup-simplify]: Simplify 1 into 1 48.561 * [backup-simplify]: Simplify (* 1 1) into 1 48.561 * [backup-simplify]: Simplify (* 1 1) into 1 48.561 * [backup-simplify]: Simplify (* 1 1) into 1 48.561 * [backup-simplify]: Simplify (* 1 1) into 1 48.562 * [backup-simplify]: Simplify (/ -1 1) into -1 48.562 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 48.562 * [taylor]: Taking taylor expansion of -1 in d1 48.562 * [backup-simplify]: Simplify -1 into -1 48.562 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 48.562 * [taylor]: Taking taylor expansion of d1 in d1 48.562 * [backup-simplify]: Simplify 0 into 0 48.562 * [backup-simplify]: Simplify 1 into 1 48.562 * [backup-simplify]: Simplify (* 1 1) into 1 48.562 * [backup-simplify]: Simplify (* 1 1) into 1 48.562 * [backup-simplify]: Simplify (* 1 1) into 1 48.563 * [backup-simplify]: Simplify (* 1 1) into 1 48.563 * [backup-simplify]: Simplify (/ -1 1) into -1 48.563 * [backup-simplify]: Simplify -1 into -1 48.564 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.564 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.564 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.565 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.565 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 48.565 * [backup-simplify]: Simplify 0 into 0 48.566 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.568 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.568 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.568 * [backup-simplify]: Simplify 0 into 0 48.569 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.570 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.570 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.572 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.572 * [backup-simplify]: Simplify 0 into 0 48.573 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.574 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.575 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.575 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.576 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.576 * [backup-simplify]: Simplify 0 into 0 48.577 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.578 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.578 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.579 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.580 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.580 * [backup-simplify]: Simplify 0 into 0 48.582 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.585 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.587 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.588 * [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 48.588 * [backup-simplify]: Simplify 0 into 0 48.588 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 7)) into (pow d1 7) 48.588 * * * * [progress]: [ 4 / 4 ] generating series at (2) 48.588 * [backup-simplify]: Simplify (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) into (pow d1 10) 48.588 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0 48.588 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 48.589 * [taylor]: Taking taylor expansion of d1 in d1 48.589 * [backup-simplify]: Simplify 0 into 0 48.589 * [backup-simplify]: Simplify 1 into 1 48.589 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 48.589 * [taylor]: Taking taylor expansion of d1 in d1 48.589 * [backup-simplify]: Simplify 0 into 0 48.589 * [backup-simplify]: Simplify 1 into 1 48.589 * [backup-simplify]: Simplify (* 1 1) into 1 48.589 * [backup-simplify]: Simplify (* 1 1) into 1 48.590 * [backup-simplify]: Simplify (* 1 1) into 1 48.590 * [backup-simplify]: Simplify (* 1 1) into 1 48.590 * [backup-simplify]: Simplify 1 into 1 48.591 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.591 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.592 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.593 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.593 * [backup-simplify]: Simplify 0 into 0 48.593 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.596 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.596 * [backup-simplify]: Simplify 0 into 0 48.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.598 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.599 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.600 * [backup-simplify]: Simplify 0 into 0 48.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.602 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.603 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.604 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.604 * [backup-simplify]: Simplify 0 into 0 48.606 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.609 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.610 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.610 * [backup-simplify]: Simplify 0 into 0 48.612 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.617 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.617 * [backup-simplify]: Simplify 0 into 0 48.617 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10) 48.618 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 10)) 48.618 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 48.618 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 48.618 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 48.618 * [taylor]: Taking taylor expansion of d1 in d1 48.618 * [backup-simplify]: Simplify 0 into 0 48.618 * [backup-simplify]: Simplify 1 into 1 48.618 * [backup-simplify]: Simplify (* 1 1) into 1 48.619 * [backup-simplify]: Simplify (* 1 1) into 1 48.619 * [backup-simplify]: Simplify (* 1 1) into 1 48.620 * [backup-simplify]: Simplify (* 1 1) into 1 48.620 * [backup-simplify]: Simplify (/ 1 1) into 1 48.620 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 48.620 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 48.620 * [taylor]: Taking taylor expansion of d1 in d1 48.620 * [backup-simplify]: Simplify 0 into 0 48.620 * [backup-simplify]: Simplify 1 into 1 48.621 * [backup-simplify]: Simplify (* 1 1) into 1 48.621 * [backup-simplify]: Simplify (* 1 1) into 1 48.621 * [backup-simplify]: Simplify (* 1 1) into 1 48.622 * [backup-simplify]: Simplify (* 1 1) into 1 48.622 * [backup-simplify]: Simplify (/ 1 1) into 1 48.623 * [backup-simplify]: Simplify 1 into 1 48.623 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.624 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.625 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.625 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.626 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 48.626 * [backup-simplify]: Simplify 0 into 0 48.627 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.633 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.634 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.634 * [backup-simplify]: Simplify 0 into 0 48.635 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.637 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.638 * [backup-simplify]: Simplify 0 into 0 48.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.639 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.641 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.641 * [backup-simplify]: Simplify 0 into 0 48.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.645 * [backup-simplify]: Simplify 0 into 0 48.646 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.648 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.649 * [backup-simplify]: Simplify 0 into 0 48.649 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10) 48.649 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 10)) 48.650 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 48.650 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 48.650 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 48.650 * [taylor]: Taking taylor expansion of d1 in d1 48.650 * [backup-simplify]: Simplify 0 into 0 48.650 * [backup-simplify]: Simplify 1 into 1 48.650 * [backup-simplify]: Simplify (* 1 1) into 1 48.650 * [backup-simplify]: Simplify (* 1 1) into 1 48.650 * [backup-simplify]: Simplify (* 1 1) into 1 48.651 * [backup-simplify]: Simplify (* 1 1) into 1 48.651 * [backup-simplify]: Simplify (/ 1 1) into 1 48.651 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 48.651 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 48.651 * [taylor]: Taking taylor expansion of d1 in d1 48.651 * [backup-simplify]: Simplify 0 into 0 48.651 * [backup-simplify]: Simplify 1 into 1 48.651 * [backup-simplify]: Simplify (* 1 1) into 1 48.651 * [backup-simplify]: Simplify (* 1 1) into 1 48.652 * [backup-simplify]: Simplify (* 1 1) into 1 48.652 * [backup-simplify]: Simplify (* 1 1) into 1 48.652 * [backup-simplify]: Simplify (/ 1 1) into 1 48.652 * [backup-simplify]: Simplify 1 into 1 48.653 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.653 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.653 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.654 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 48.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 48.654 * [backup-simplify]: Simplify 0 into 0 48.655 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.655 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 48.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.657 * [backup-simplify]: Simplify 0 into 0 48.657 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.659 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.659 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 48.660 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.660 * [backup-simplify]: Simplify 0 into 0 48.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.662 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.663 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 48.663 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.663 * [backup-simplify]: Simplify 0 into 0 48.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.665 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 48.667 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.667 * [backup-simplify]: Simplify 0 into 0 48.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 48.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 48.671 * [backup-simplify]: Simplify 0 into 0 48.671 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10) 48.671 * * * [progress]: simplifying candidates 48.671 * * * * [progress]: [ 1 / 570 ] simplifiying candidate # 48.672 * * * * [progress]: [ 2 / 570 ] simplifiying candidate # 48.672 * * * * [progress]: [ 3 / 570 ] simplifiying candidate # 48.672 * * * * [progress]: [ 4 / 570 ] simplifiying candidate # 48.672 * * * * [progress]: [ 5 / 570 ] simplifiying candidate # 48.672 * * * * [progress]: [ 6 / 570 ] simplifiying candidate # 48.672 * * * * [progress]: [ 7 / 570 ] simplifiying candidate # 48.672 * * * * [progress]: [ 8 / 570 ] simplifiying candidate # 48.672 * * * * [progress]: [ 9 / 570 ] simplifiying candidate # 48.672 * * * * [progress]: [ 10 / 570 ] simplifiying candidate # 48.672 * * * * [progress]: [ 11 / 570 ] simplifiying candidate # 48.672 * * * * [progress]: [ 12 / 570 ] simplifiying candidate # 48.672 * * * * [progress]: [ 13 / 570 ] simplifiying candidate # 48.672 * * * * [progress]: [ 14 / 570 ] simplifiying candidate # 48.672 * * * * [progress]: [ 15 / 570 ] simplifiying candidate # 48.672 * * * * [progress]: [ 16 / 570 ] simplifiying candidate # 48.672 * * * * [progress]: [ 17 / 570 ] simplifiying candidate # 48.672 * * * * [progress]: [ 18 / 570 ] simplifiying candidate # 48.672 * * * * [progress]: [ 19 / 570 ] simplifiying candidate # 48.672 * * * * [progress]: [ 20 / 570 ] simplifiying candidate # 48.672 * * * * [progress]: [ 21 / 570 ] simplifiying candidate # 48.672 * * * * [progress]: [ 22 / 570 ] simplifiying candidate # 48.673 * * * * [progress]: [ 23 / 570 ] simplifiying candidate # 48.673 * * * * [progress]: [ 24 / 570 ] simplifiying candidate # 48.673 * * * * [progress]: [ 25 / 570 ] simplifiying candidate # 48.673 * * * * [progress]: [ 26 / 570 ] simplifiying candidate #real (real->posit16 (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))> 48.673 * * * * [progress]: [ 27 / 570 ] simplifiying candidate # 48.673 * * * * [progress]: [ 28 / 570 ] simplifiying candidate # 48.673 * * * * [progress]: [ 29 / 570 ] simplifiying candidate # 48.673 * * * * [progress]: [ 30 / 570 ] simplifiying candidate # 48.673 * * * * [progress]: [ 31 / 570 ] simplifiying candidate # 48.673 * * * * [progress]: [ 32 / 570 ] simplifiying candidate # 48.673 * * * * [progress]: [ 33 / 570 ] simplifiying candidate # 48.673 * * * * [progress]: [ 34 / 570 ] simplifiying candidate # 48.673 * * * * [progress]: [ 35 / 570 ] simplifiying candidate # 48.673 * * * * [progress]: [ 36 / 570 ] simplifiying candidate # 48.673 * * * * [progress]: [ 37 / 570 ] simplifiying candidate # 48.673 * * * * [progress]: [ 38 / 570 ] simplifiying candidate # 48.673 * * * * [progress]: [ 39 / 570 ] simplifiying candidate # 48.673 * * * * [progress]: [ 40 / 570 ] simplifiying candidate # 48.673 * * * * [progress]: [ 41 / 570 ] simplifiying candidate # 48.673 * * * * [progress]: [ 42 / 570 ] simplifiying candidate # 48.673 * * * * [progress]: [ 43 / 570 ] simplifiying candidate # 48.674 * * * * [progress]: [ 44 / 570 ] simplifiying candidate # 48.674 * * * * [progress]: [ 45 / 570 ] simplifiying candidate # 48.674 * * * * [progress]: [ 46 / 570 ] simplifiying candidate # 48.674 * * * * [progress]: [ 47 / 570 ] simplifiying candidate # 48.674 * * * * [progress]: [ 48 / 570 ] simplifiying candidate # 48.674 * * * * [progress]: [ 49 / 570 ] simplifiying candidate # 48.674 * * * * [progress]: [ 50 / 570 ] simplifiying candidate # 48.674 * * * * [progress]: [ 51 / 570 ] simplifiying candidate # 48.674 * * * * [progress]: [ 52 / 570 ] simplifiying candidate # 48.674 * * * * [progress]: [ 53 / 570 ] simplifiying candidate # 48.674 * * * * [progress]: [ 54 / 570 ] simplifiying candidate # 48.674 * * * * [progress]: [ 55 / 570 ] simplifiying candidate # 48.674 * * * * [progress]: [ 56 / 570 ] simplifiying candidate # 48.674 * * * * [progress]: [ 57 / 570 ] simplifiying candidate # 48.674 * * * * [progress]: [ 58 / 570 ] simplifiying candidate # 48.674 * * * * [progress]: [ 59 / 570 ] simplifiying candidate # 48.674 * * * * [progress]: [ 60 / 570 ] simplifiying candidate #real (real->posit16 (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))> 48.674 * * * * [progress]: [ 61 / 570 ] simplifiying candidate # 48.674 * * * * [progress]: [ 62 / 570 ] simplifiying candidate # 48.674 * * * * [progress]: [ 63 / 570 ] simplifiying candidate # 48.674 * * * * [progress]: [ 64 / 570 ] simplifiying candidate # 48.674 * * * * [progress]: [ 65 / 570 ] simplifiying candidate # 48.674 * * * * [progress]: [ 66 / 570 ] simplifiying candidate # 48.674 * * * * [progress]: [ 67 / 570 ] simplifiying candidate # 48.675 * * * * [progress]: [ 68 / 570 ] simplifiying candidate # 48.675 * * * * [progress]: [ 69 / 570 ] simplifiying candidate # 48.675 * * * * [progress]: [ 70 / 570 ] simplifiying candidate # 48.675 * * * * [progress]: [ 71 / 570 ] simplifiying candidate # 48.675 * * * * [progress]: [ 72 / 570 ] simplifiying candidate # 48.675 * * * * [progress]: [ 73 / 570 ] simplifiying candidate # 48.675 * * * * [progress]: [ 74 / 570 ] simplifiying candidate # 48.675 * * * * [progress]: [ 75 / 570 ] simplifiying candidate # 48.675 * * * * [progress]: [ 76 / 570 ] simplifiying candidate # 48.675 * * * * [progress]: [ 77 / 570 ] simplifiying candidate # 48.675 * * * * [progress]: [ 78 / 570 ] simplifiying candidate # 48.675 * * * * [progress]: [ 79 / 570 ] simplifiying candidate # 48.675 * * * * [progress]: [ 80 / 570 ] simplifiying candidate # 48.675 * * * * [progress]: [ 81 / 570 ] simplifiying candidate # 48.675 * * * * [progress]: [ 82 / 570 ] simplifiying candidate # 48.675 * * * * [progress]: [ 83 / 570 ] simplifiying candidate # 48.675 * * * * [progress]: [ 84 / 570 ] simplifiying candidate # 48.675 * * * * [progress]: [ 85 / 570 ] simplifiying candidate # 48.675 * * * * [progress]: [ 86 / 570 ] simplifiying candidate # 48.675 * * * * [progress]: [ 87 / 570 ] simplifiying candidate # 48.675 * * * * [progress]: [ 88 / 570 ] simplifiying candidate # 48.675 * * * * [progress]: [ 89 / 570 ] simplifiying candidate # 48.675 * * * * [progress]: [ 90 / 570 ] simplifiying candidate # 48.676 * * * * [progress]: [ 91 / 570 ] simplifiying candidate # 48.676 * * * * [progress]: [ 92 / 570 ] simplifiying candidate # 48.676 * * * * [progress]: [ 93 / 570 ] simplifiying candidate # 48.676 * * * * [progress]: [ 94 / 570 ] simplifiying candidate # 48.676 * * * * [progress]: [ 95 / 570 ] simplifiying candidate # 48.676 * * * * [progress]: [ 96 / 570 ] simplifiying candidate # 48.676 * * * * [progress]: [ 97 / 570 ] simplifiying candidate # 48.676 * * * * [progress]: [ 98 / 570 ] simplifiying candidate # 48.676 * * * * [progress]: [ 99 / 570 ] simplifiying candidate # 48.676 * * * * [progress]: [ 100 / 570 ] simplifiying candidate # 48.676 * * * * [progress]: [ 101 / 570 ] simplifiying candidate # 48.676 * * * * [progress]: [ 102 / 570 ] simplifiying candidate # 48.676 * * * * [progress]: [ 103 / 570 ] simplifiying candidate # 48.676 * * * * [progress]: [ 104 / 570 ] simplifiying candidate # 48.676 * * * * [progress]: [ 105 / 570 ] simplifiying candidate # 48.676 * * * * [progress]: [ 106 / 570 ] simplifiying candidate # 48.676 * * * * [progress]: [ 107 / 570 ] simplifiying candidate # 48.676 * * * * [progress]: [ 108 / 570 ] simplifiying candidate # 48.676 * * * * [progress]: [ 109 / 570 ] simplifiying candidate # 48.676 * * * * [progress]: [ 110 / 570 ] simplifiying candidate # 48.676 * * * * [progress]: [ 111 / 570 ] simplifiying candidate # 48.676 * * * * [progress]: [ 112 / 570 ] simplifiying candidate # 48.676 * * * * [progress]: [ 113 / 570 ] simplifiying candidate # 48.677 * * * * [progress]: [ 114 / 570 ] simplifiying candidate # 48.677 * * * * [progress]: [ 115 / 570 ] simplifiying candidate # 48.677 * * * * [progress]: [ 116 / 570 ] simplifiying candidate # 48.677 * * * * [progress]: [ 117 / 570 ] simplifiying candidate # 48.677 * * * * [progress]: [ 118 / 570 ] simplifiying candidate # 48.677 * * * * [progress]: [ 119 / 570 ] simplifiying candidate # 48.677 * * * * [progress]: [ 120 / 570 ] simplifiying candidate # 48.677 * * * * [progress]: [ 121 / 570 ] simplifiying candidate # 48.677 * * * * [progress]: [ 122 / 570 ] simplifiying candidate # 48.677 * * * * [progress]: [ 123 / 570 ] simplifiying candidate # 48.677 * * * * [progress]: [ 124 / 570 ] simplifiying candidate # 48.677 * * * * [progress]: [ 125 / 570 ] simplifiying candidate # 48.677 * * * * [progress]: [ 126 / 570 ] simplifiying candidate # 48.677 * * * * [progress]: [ 127 / 570 ] simplifiying candidate # 48.677 * * * * [progress]: [ 128 / 570 ] simplifiying candidate # 48.677 * * * * [progress]: [ 129 / 570 ] simplifiying candidate # 48.677 * * * * [progress]: [ 130 / 570 ] simplifiying candidate # 48.677 * * * * [progress]: [ 131 / 570 ] simplifiying candidate # 48.677 * * * * [progress]: [ 132 / 570 ] simplifiying candidate # 48.677 * * * * [progress]: [ 133 / 570 ] simplifiying candidate # 48.677 * * * * [progress]: [ 134 / 570 ] simplifiying candidate # 48.677 * * * * [progress]: [ 135 / 570 ] simplifiying candidate # 48.677 * * * * [progress]: [ 136 / 570 ] simplifiying candidate # 48.677 * * * * [progress]: [ 137 / 570 ] simplifiying candidate # 48.678 * * * * [progress]: [ 138 / 570 ] simplifiying candidate # 48.678 * * * * [progress]: [ 139 / 570 ] simplifiying candidate # 48.678 * * * * [progress]: [ 140 / 570 ] simplifiying candidate # 48.678 * * * * [progress]: [ 141 / 570 ] simplifiying candidate # 48.678 * * * * [progress]: [ 142 / 570 ] simplifiying candidate # 48.678 * * * * [progress]: [ 143 / 570 ] simplifiying candidate # 48.678 * * * * [progress]: [ 144 / 570 ] simplifiying candidate # 48.678 * * * * [progress]: [ 145 / 570 ] simplifiying candidate # 48.678 * * * * [progress]: [ 146 / 570 ] simplifiying candidate # 48.678 * * * * [progress]: [ 147 / 570 ] simplifiying candidate # 48.678 * * * * [progress]: [ 148 / 570 ] simplifiying candidate # 48.678 * * * * [progress]: [ 149 / 570 ] simplifiying candidate # 48.678 * * * * [progress]: [ 150 / 570 ] simplifiying candidate # 48.678 * * * * [progress]: [ 151 / 570 ] simplifiying candidate # 48.678 * * * * [progress]: [ 152 / 570 ] simplifiying candidate # 48.678 * * * * [progress]: [ 153 / 570 ] simplifiying candidate # 48.678 * * * * [progress]: [ 154 / 570 ] simplifiying candidate # 48.678 * * * * [progress]: [ 155 / 570 ] simplifiying candidate # 48.678 * * * * [progress]: [ 156 / 570 ] simplifiying candidate # 48.678 * * * * [progress]: [ 157 / 570 ] simplifiying candidate # 48.678 * * * * [progress]: [ 158 / 570 ] simplifiying candidate # 48.678 * * * * [progress]: [ 159 / 570 ] simplifiying candidate # 48.679 * * * * [progress]: [ 160 / 570 ] simplifiying candidate # 48.679 * * * * [progress]: [ 161 / 570 ] simplifiying candidate # 48.679 * * * * [progress]: [ 162 / 570 ] simplifiying candidate # 48.679 * * * * [progress]: [ 163 / 570 ] simplifiying candidate # 48.679 * * * * [progress]: [ 164 / 570 ] simplifiying candidate # 48.679 * * * * [progress]: [ 165 / 570 ] simplifiying candidate # 48.679 * * * * [progress]: [ 166 / 570 ] simplifiying candidate # 48.679 * * * * [progress]: [ 167 / 570 ] simplifiying candidate # 48.679 * * * * [progress]: [ 168 / 570 ] simplifiying candidate # 48.679 * * * * [progress]: [ 169 / 570 ] simplifiying candidate # 48.679 * * * * [progress]: [ 170 / 570 ] simplifiying candidate # 48.679 * * * * [progress]: [ 171 / 570 ] simplifiying candidate # 48.679 * * * * [progress]: [ 172 / 570 ] simplifiying candidate # 48.679 * * * * [progress]: [ 173 / 570 ] simplifiying candidate # 48.679 * * * * [progress]: [ 174 / 570 ] simplifiying candidate # 48.679 * * * * [progress]: [ 175 / 570 ] simplifiying candidate # 48.679 * * * * [progress]: [ 176 / 570 ] simplifiying candidate # 48.679 * * * * [progress]: [ 177 / 570 ] simplifiying candidate # 48.679 * * * * [progress]: [ 178 / 570 ] simplifiying candidate # 48.679 * * * * [progress]: [ 179 / 570 ] simplifiying candidate # 48.679 * * * * [progress]: [ 180 / 570 ] simplifiying candidate # 48.679 * * * * [progress]: [ 181 / 570 ] simplifiying candidate # 48.679 * * * * [progress]: [ 182 / 570 ] simplifiying candidate # 48.680 * * * * [progress]: [ 183 / 570 ] simplifiying candidate #real (real->posit16 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))> 48.680 * * * * [progress]: [ 184 / 570 ] simplifiying candidate # 48.680 * * * * [progress]: [ 185 / 570 ] simplifiying candidate # 48.680 * * * * [progress]: [ 186 / 570 ] simplifiying candidate # 48.680 * * * * [progress]: [ 187 / 570 ] simplifiying candidate # 48.680 * * * * [progress]: [ 188 / 570 ] simplifiying candidate # 48.680 * * * * [progress]: [ 189 / 570 ] simplifiying candidate # 48.680 * * * * [progress]: [ 190 / 570 ] simplifiying candidate # 48.680 * * * * [progress]: [ 191 / 570 ] simplifiying candidate # 48.680 * * * * [progress]: [ 192 / 570 ] simplifiying candidate # 48.680 * * * * [progress]: [ 193 / 570 ] simplifiying candidate # 48.680 * * * * [progress]: [ 194 / 570 ] simplifiying candidate # 48.680 * * * * [progress]: [ 195 / 570 ] simplifiying candidate # 48.680 * * * * [progress]: [ 196 / 570 ] simplifiying candidate # 48.680 * * * * [progress]: [ 197 / 570 ] simplifiying candidate # 48.680 * * * * [progress]: [ 198 / 570 ] simplifiying candidate # 48.680 * * * * [progress]: [ 199 / 570 ] simplifiying candidate # 48.680 * * * * [progress]: [ 200 / 570 ] simplifiying candidate # 48.680 * * * * [progress]: [ 201 / 570 ] simplifiying candidate # 48.680 * * * * [progress]: [ 202 / 570 ] simplifiying candidate # 48.680 * * * * [progress]: [ 203 / 570 ] simplifiying candidate # 48.680 * * * * [progress]: [ 204 / 570 ] simplifiying candidate # 48.681 * * * * [progress]: [ 205 / 570 ] simplifiying candidate # 48.681 * * * * [progress]: [ 206 / 570 ] simplifiying candidate # 48.681 * * * * [progress]: [ 207 / 570 ] simplifiying candidate # 48.681 * * * * [progress]: [ 208 / 570 ] simplifiying candidate # 48.681 * * * * [progress]: [ 209 / 570 ] simplifiying candidate # 48.681 * * * * [progress]: [ 210 / 570 ] simplifiying candidate # 48.681 * * * * [progress]: [ 211 / 570 ] simplifiying candidate # 48.681 * * * * [progress]: [ 212 / 570 ] simplifiying candidate # 48.681 * * * * [progress]: [ 213 / 570 ] simplifiying candidate # 48.681 * * * * [progress]: [ 214 / 570 ] simplifiying candidate # 48.681 * * * * [progress]: [ 215 / 570 ] simplifiying candidate # 48.681 * * * * [progress]: [ 216 / 570 ] simplifiying candidate # 48.681 * * * * [progress]: [ 217 / 570 ] simplifiying candidate # 48.681 * * * * [progress]: [ 218 / 570 ] simplifiying candidate # 48.681 * * * * [progress]: [ 219 / 570 ] simplifiying candidate # 48.681 * * * * [progress]: [ 220 / 570 ] simplifiying candidate # 48.681 * * * * [progress]: [ 221 / 570 ] simplifiying candidate # 48.681 * * * * [progress]: [ 222 / 570 ] simplifiying candidate # 48.681 * * * * [progress]: [ 223 / 570 ] simplifiying candidate # 48.681 * * * * [progress]: [ 224 / 570 ] simplifiying candidate # 48.681 * * * * [progress]: [ 225 / 570 ] simplifiying candidate # 48.681 * * * * [progress]: [ 226 / 570 ] simplifiying candidate # 48.682 * * * * [progress]: [ 227 / 570 ] simplifiying candidate # 48.682 * * * * [progress]: [ 228 / 570 ] simplifiying candidate # 48.682 * * * * [progress]: [ 229 / 570 ] simplifiying candidate # 48.682 * * * * [progress]: [ 230 / 570 ] simplifiying candidate # 48.682 * * * * [progress]: [ 231 / 570 ] simplifiying candidate # 48.682 * * * * [progress]: [ 232 / 570 ] simplifiying candidate # 48.682 * * * * [progress]: [ 233 / 570 ] simplifiying candidate # 48.682 * * * * [progress]: [ 234 / 570 ] simplifiying candidate # 48.682 * * * * [progress]: [ 235 / 570 ] simplifiying candidate # 48.682 * * * * [progress]: [ 236 / 570 ] simplifiying candidate # 48.682 * * * * [progress]: [ 237 / 570 ] simplifiying candidate # 48.682 * * * * [progress]: [ 238 / 570 ] simplifiying candidate # 48.682 * * * * [progress]: [ 239 / 570 ] simplifiying candidate # 48.682 * * * * [progress]: [ 240 / 570 ] simplifiying candidate # 48.682 * * * * [progress]: [ 241 / 570 ] simplifiying candidate # 48.682 * * * * [progress]: [ 242 / 570 ] simplifiying candidate # 48.682 * * * * [progress]: [ 243 / 570 ] simplifiying candidate # 48.682 * * * * [progress]: [ 244 / 570 ] simplifiying candidate # 48.682 * * * * [progress]: [ 245 / 570 ] simplifiying candidate # 48.682 * * * * [progress]: [ 246 / 570 ] simplifiying candidate # 48.682 * * * * [progress]: [ 247 / 570 ] simplifiying candidate # 48.682 * * * * [progress]: [ 248 / 570 ] simplifiying candidate # 48.683 * * * * [progress]: [ 249 / 570 ] simplifiying candidate # 48.683 * * * * [progress]: [ 250 / 570 ] simplifiying candidate # 48.683 * * * * [progress]: [ 251 / 570 ] simplifiying candidate # 48.683 * * * * [progress]: [ 252 / 570 ] simplifiying candidate # 48.683 * * * * [progress]: [ 253 / 570 ] simplifiying candidate # 48.683 * * * * [progress]: [ 254 / 570 ] simplifiying candidate # 48.683 * * * * [progress]: [ 255 / 570 ] simplifiying candidate # 48.683 * * * * [progress]: [ 256 / 570 ] simplifiying candidate # 48.683 * * * * [progress]: [ 257 / 570 ] simplifiying candidate # 48.683 * * * * [progress]: [ 258 / 570 ] simplifiying candidate # 48.683 * * * * [progress]: [ 259 / 570 ] simplifiying candidate # 48.683 * * * * [progress]: [ 260 / 570 ] simplifiying candidate # 48.683 * * * * [progress]: [ 261 / 570 ] simplifiying candidate # 48.683 * * * * [progress]: [ 262 / 570 ] simplifiying candidate # 48.683 * * * * [progress]: [ 263 / 570 ] simplifiying candidate # 48.683 * * * * [progress]: [ 264 / 570 ] simplifiying candidate # 48.683 * * * * [progress]: [ 265 / 570 ] simplifiying candidate # 48.683 * * * * [progress]: [ 266 / 570 ] simplifiying candidate # 48.683 * * * * [progress]: [ 267 / 570 ] simplifiying candidate # 48.683 * * * * [progress]: [ 268 / 570 ] simplifiying candidate # 48.683 * * * * [progress]: [ 269 / 570 ] simplifiying candidate # 48.684 * * * * [progress]: [ 270 / 570 ] simplifiying candidate # 48.684 * * * * [progress]: [ 271 / 570 ] simplifiying candidate # 48.684 * * * * [progress]: [ 272 / 570 ] simplifiying candidate # 48.684 * * * * [progress]: [ 273 / 570 ] simplifiying candidate # 48.684 * * * * [progress]: [ 274 / 570 ] simplifiying candidate # 48.684 * * * * [progress]: [ 275 / 570 ] simplifiying candidate # 48.684 * * * * [progress]: [ 276 / 570 ] simplifiying candidate # 48.684 * * * * [progress]: [ 277 / 570 ] simplifiying candidate # 48.684 * * * * [progress]: [ 278 / 570 ] simplifiying candidate # 48.684 * * * * [progress]: [ 279 / 570 ] simplifiying candidate # 48.684 * * * * [progress]: [ 280 / 570 ] simplifiying candidate # 48.684 * * * * [progress]: [ 281 / 570 ] simplifiying candidate # 48.684 * * * * [progress]: [ 282 / 570 ] simplifiying candidate # 48.684 * * * * [progress]: [ 283 / 570 ] simplifiying candidate # 48.684 * * * * [progress]: [ 284 / 570 ] simplifiying candidate # 48.684 * * * * [progress]: [ 285 / 570 ] simplifiying candidate # 48.684 * * * * [progress]: [ 286 / 570 ] simplifiying candidate # 48.684 * * * * [progress]: [ 287 / 570 ] simplifiying candidate # 48.684 * * * * [progress]: [ 288 / 570 ] simplifiying candidate # 48.685 * * * * [progress]: [ 289 / 570 ] simplifiying candidate # 48.685 * * * * [progress]: [ 290 / 570 ] simplifiying candidate # 48.685 * * * * [progress]: [ 291 / 570 ] simplifiying candidate # 48.685 * * * * [progress]: [ 292 / 570 ] simplifiying candidate # 48.685 * * * * [progress]: [ 293 / 570 ] simplifiying candidate # 48.685 * * * * [progress]: [ 294 / 570 ] simplifiying candidate # 48.685 * * * * [progress]: [ 295 / 570 ] simplifiying candidate # 48.685 * * * * [progress]: [ 296 / 570 ] simplifiying candidate # 48.685 * * * * [progress]: [ 297 / 570 ] simplifiying candidate # 48.685 * * * * [progress]: [ 298 / 570 ] simplifiying candidate # 48.685 * * * * [progress]: [ 299 / 570 ] simplifiying candidate # 48.685 * * * * [progress]: [ 300 / 570 ] simplifiying candidate # 48.685 * * * * [progress]: [ 301 / 570 ] simplifiying candidate # 48.685 * * * * [progress]: [ 302 / 570 ] simplifiying candidate # 48.685 * * * * [progress]: [ 303 / 570 ] simplifiying candidate # 48.685 * * * * [progress]: [ 304 / 570 ] simplifiying candidate # 48.685 * * * * [progress]: [ 305 / 570 ] simplifiying candidate # 48.685 * * * * [progress]: [ 306 / 570 ] simplifiying candidate # 48.685 * * * * [progress]: [ 307 / 570 ] simplifiying candidate # 48.686 * * * * [progress]: [ 308 / 570 ] simplifiying candidate # 48.686 * * * * [progress]: [ 309 / 570 ] simplifiying candidate # 48.686 * * * * [progress]: [ 310 / 570 ] simplifiying candidate # 48.686 * * * * [progress]: [ 311 / 570 ] simplifiying candidate # 48.686 * * * * [progress]: [ 312 / 570 ] simplifiying candidate # 48.686 * * * * [progress]: [ 313 / 570 ] simplifiying candidate # 48.686 * * * * [progress]: [ 314 / 570 ] simplifiying candidate # 48.686 * * * * [progress]: [ 315 / 570 ] simplifiying candidate # 48.686 * * * * [progress]: [ 316 / 570 ] simplifiying candidate # 48.686 * * * * [progress]: [ 317 / 570 ] simplifiying candidate # 48.686 * * * * [progress]: [ 318 / 570 ] simplifiying candidate # 48.686 * * * * [progress]: [ 319 / 570 ] simplifiying candidate # 48.686 * * * * [progress]: [ 320 / 570 ] simplifiying candidate # 48.686 * * * * [progress]: [ 321 / 570 ] simplifiying candidate # 48.686 * * * * [progress]: [ 322 / 570 ] simplifiying candidate # 48.686 * * * * [progress]: [ 323 / 570 ] simplifiying candidate # 48.686 * * * * [progress]: [ 324 / 570 ] simplifiying candidate # 48.686 * * * * [progress]: [ 325 / 570 ] simplifiying candidate # 48.686 * * * * [progress]: [ 326 / 570 ] simplifiying candidate # 48.687 * * * * [progress]: [ 327 / 570 ] simplifiying candidate # 48.687 * * * * [progress]: [ 328 / 570 ] simplifiying candidate # 48.687 * * * * [progress]: [ 329 / 570 ] simplifiying candidate # 48.687 * * * * [progress]: [ 330 / 570 ] simplifiying candidate # 48.687 * * * * [progress]: [ 331 / 570 ] simplifiying candidate # 48.687 * * * * [progress]: [ 332 / 570 ] simplifiying candidate # 48.687 * * * * [progress]: [ 333 / 570 ] simplifiying candidate # 48.687 * * * * [progress]: [ 334 / 570 ] simplifiying candidate # 48.687 * * * * [progress]: [ 335 / 570 ] simplifiying candidate # 48.687 * * * * [progress]: [ 336 / 570 ] simplifiying candidate # 48.687 * * * * [progress]: [ 337 / 570 ] simplifiying candidate # 48.687 * * * * [progress]: [ 338 / 570 ] simplifiying candidate # 48.687 * * * * [progress]: [ 339 / 570 ] simplifiying candidate # 48.687 * * * * [progress]: [ 340 / 570 ] simplifiying candidate # 48.687 * * * * [progress]: [ 341 / 570 ] simplifiying candidate # 48.687 * * * * [progress]: [ 342 / 570 ] simplifiying candidate # 48.687 * * * * [progress]: [ 343 / 570 ] simplifiying candidate # 48.687 * * * * [progress]: [ 344 / 570 ] simplifiying candidate # 48.687 * * * * [progress]: [ 345 / 570 ] simplifiying candidate # 48.687 * * * * [progress]: [ 346 / 570 ] simplifiying candidate # 48.687 * * * * [progress]: [ 347 / 570 ] simplifiying candidate # 48.688 * * * * [progress]: [ 348 / 570 ] simplifiying candidate # 48.688 * * * * [progress]: [ 349 / 570 ] simplifiying candidate # 48.688 * * * * [progress]: [ 350 / 570 ] simplifiying candidate # 48.688 * * * * [progress]: [ 351 / 570 ] simplifiying candidate # 48.688 * * * * [progress]: [ 352 / 570 ] simplifiying candidate # 48.688 * * * * [progress]: [ 353 / 570 ] simplifiying candidate # 48.688 * * * * [progress]: [ 354 / 570 ] simplifiying candidate # 48.688 * * * * [progress]: [ 355 / 570 ] simplifiying candidate # 48.688 * * * * [progress]: [ 356 / 570 ] simplifiying candidate # 48.689 * * * * [progress]: [ 357 / 570 ] simplifiying candidate # 48.689 * * * * [progress]: [ 358 / 570 ] simplifiying candidate # 48.689 * * * * [progress]: [ 359 / 570 ] simplifiying candidate # 48.689 * * * * [progress]: [ 360 / 570 ] simplifiying candidate # 48.689 * * * * [progress]: [ 361 / 570 ] simplifiying candidate # 48.689 * * * * [progress]: [ 362 / 570 ] simplifiying candidate # 48.689 * * * * [progress]: [ 363 / 570 ] simplifiying candidate # 48.689 * * * * [progress]: [ 364 / 570 ] simplifiying candidate # 48.689 * * * * [progress]: [ 365 / 570 ] simplifiying candidate # 48.689 * * * * [progress]: [ 366 / 570 ] simplifiying candidate # 48.689 * * * * [progress]: [ 367 / 570 ] simplifiying candidate # 48.689 * * * * [progress]: [ 368 / 570 ] simplifiying candidate # 48.689 * * * * [progress]: [ 369 / 570 ] simplifiying candidate # 48.689 * * * * [progress]: [ 370 / 570 ] simplifiying candidate # 48.689 * * * * [progress]: [ 371 / 570 ] simplifiying candidate # 48.689 * * * * [progress]: [ 372 / 570 ] simplifiying candidate # 48.689 * * * * [progress]: [ 373 / 570 ] simplifiying candidate # 48.689 * * * * [progress]: [ 374 / 570 ] simplifiying candidate # 48.689 * * * * [progress]: [ 375 / 570 ] simplifiying candidate # 48.689 * * * * [progress]: [ 376 / 570 ] simplifiying candidate # 48.689 * * * * [progress]: [ 377 / 570 ] simplifiying candidate # 48.690 * * * * [progress]: [ 378 / 570 ] simplifiying candidate # 48.690 * * * * [progress]: [ 379 / 570 ] simplifiying candidate # 48.690 * * * * [progress]: [ 380 / 570 ] simplifiying candidate # 48.690 * * * * [progress]: [ 381 / 570 ] simplifiying candidate # 48.690 * * * * [progress]: [ 382 / 570 ] simplifiying candidate # 48.690 * * * * [progress]: [ 383 / 570 ] simplifiying candidate # 48.690 * * * * [progress]: [ 384 / 570 ] simplifiying candidate # 48.690 * * * * [progress]: [ 385 / 570 ] simplifiying candidate # 48.690 * * * * [progress]: [ 386 / 570 ] simplifiying candidate # 48.690 * * * * [progress]: [ 387 / 570 ] simplifiying candidate # 48.690 * * * * [progress]: [ 388 / 570 ] simplifiying candidate # 48.690 * * * * [progress]: [ 389 / 570 ] simplifiying candidate # 48.690 * * * * [progress]: [ 390 / 570 ] simplifiying candidate # 48.690 * * * * [progress]: [ 391 / 570 ] simplifiying candidate # 48.690 * * * * [progress]: [ 392 / 570 ] simplifiying candidate # 48.690 * * * * [progress]: [ 393 / 570 ] simplifiying candidate # 48.690 * * * * [progress]: [ 394 / 570 ] simplifiying candidate # 48.690 * * * * [progress]: [ 395 / 570 ] simplifiying candidate # 48.690 * * * * [progress]: [ 396 / 570 ] simplifiying candidate # 48.690 * * * * [progress]: [ 397 / 570 ] simplifiying candidate # 48.690 * * * * [progress]: [ 398 / 570 ] simplifiying candidate # 48.690 * * * * [progress]: [ 399 / 570 ] simplifiying candidate # 48.691 * * * * [progress]: [ 400 / 570 ] simplifiying candidate # 48.691 * * * * [progress]: [ 401 / 570 ] simplifiying candidate # 48.691 * * * * [progress]: [ 402 / 570 ] simplifiying candidate # 48.691 * * * * [progress]: [ 403 / 570 ] simplifiying candidate # 48.691 * * * * [progress]: [ 404 / 570 ] simplifiying candidate # 48.691 * * * * [progress]: [ 405 / 570 ] simplifiying candidate # 48.691 * * * * [progress]: [ 406 / 570 ] simplifiying candidate # 48.691 * * * * [progress]: [ 407 / 570 ] simplifiying candidate # 48.691 * * * * [progress]: [ 408 / 570 ] simplifiying candidate # 48.691 * * * * [progress]: [ 409 / 570 ] simplifiying candidate # 48.691 * * * * [progress]: [ 410 / 570 ] simplifiying candidate # 48.691 * * * * [progress]: [ 411 / 570 ] simplifiying candidate # 48.691 * * * * [progress]: [ 412 / 570 ] simplifiying candidate # 48.691 * * * * [progress]: [ 413 / 570 ] simplifiying candidate # 48.691 * * * * [progress]: [ 414 / 570 ] simplifiying candidate # 48.691 * * * * [progress]: [ 415 / 570 ] simplifiying candidate # 48.691 * * * * [progress]: [ 416 / 570 ] simplifiying candidate # 48.691 * * * * [progress]: [ 417 / 570 ] simplifiying candidate # 48.691 * * * * [progress]: [ 418 / 570 ] simplifiying candidate # 48.691 * * * * [progress]: [ 419 / 570 ] simplifiying candidate # 48.691 * * * * [progress]: [ 420 / 570 ] simplifiying candidate # 48.691 * * * * [progress]: [ 421 / 570 ] simplifiying candidate # 48.692 * * * * [progress]: [ 422 / 570 ] simplifiying candidate # 48.692 * * * * [progress]: [ 423 / 570 ] simplifiying candidate # 48.692 * * * * [progress]: [ 424 / 570 ] simplifiying candidate # 48.692 * * * * [progress]: [ 425 / 570 ] simplifiying candidate # 48.692 * * * * [progress]: [ 426 / 570 ] simplifiying candidate # 48.692 * * * * [progress]: [ 427 / 570 ] simplifiying candidate # 48.692 * * * * [progress]: [ 428 / 570 ] simplifiying candidate # 48.692 * * * * [progress]: [ 429 / 570 ] simplifiying candidate # 48.692 * * * * [progress]: [ 430 / 570 ] simplifiying candidate # 48.692 * * * * [progress]: [ 431 / 570 ] simplifiying candidate # 48.692 * * * * [progress]: [ 432 / 570 ] simplifiying candidate # 48.692 * * * * [progress]: [ 433 / 570 ] simplifiying candidate # 48.692 * * * * [progress]: [ 434 / 570 ] simplifiying candidate # 48.692 * * * * [progress]: [ 435 / 570 ] simplifiying candidate # 48.692 * * * * [progress]: [ 436 / 570 ] simplifiying candidate # 48.692 * * * * [progress]: [ 437 / 570 ] simplifiying candidate # 48.692 * * * * [progress]: [ 438 / 570 ] simplifiying candidate # 48.692 * * * * [progress]: [ 439 / 570 ] simplifiying candidate # 48.692 * * * * [progress]: [ 440 / 570 ] simplifiying candidate # 48.692 * * * * [progress]: [ 441 / 570 ] simplifiying candidate # 48.692 * * * * [progress]: [ 442 / 570 ] simplifiying candidate # 48.692 * * * * [progress]: [ 443 / 570 ] simplifiying candidate # 48.693 * * * * [progress]: [ 444 / 570 ] simplifiying candidate # 48.693 * * * * [progress]: [ 445 / 570 ] simplifiying candidate # 48.693 * * * * [progress]: [ 446 / 570 ] simplifiying candidate # 48.693 * * * * [progress]: [ 447 / 570 ] simplifiying candidate # 48.693 * * * * [progress]: [ 448 / 570 ] simplifiying candidate # 48.693 * * * * [progress]: [ 449 / 570 ] simplifiying candidate # 48.693 * * * * [progress]: [ 450 / 570 ] simplifiying candidate # 48.693 * * * * [progress]: [ 451 / 570 ] simplifiying candidate # 48.693 * * * * [progress]: [ 452 / 570 ] simplifiying candidate # 48.693 * * * * [progress]: [ 453 / 570 ] simplifiying candidate # 48.693 * * * * [progress]: [ 454 / 570 ] simplifiying candidate # 48.693 * * * * [progress]: [ 455 / 570 ] simplifiying candidate # 48.693 * * * * [progress]: [ 456 / 570 ] simplifiying candidate # 48.693 * * * * [progress]: [ 457 / 570 ] simplifiying candidate # 48.693 * * * * [progress]: [ 458 / 570 ] simplifiying candidate # 48.693 * * * * [progress]: [ 459 / 570 ] simplifiying candidate # 48.693 * * * * [progress]: [ 460 / 570 ] simplifiying candidate # 48.693 * * * * [progress]: [ 461 / 570 ] simplifiying candidate # 48.693 * * * * [progress]: [ 462 / 570 ] simplifiying candidate # 48.693 * * * * [progress]: [ 463 / 570 ] simplifiying candidate # 48.693 * * * * [progress]: [ 464 / 570 ] simplifiying candidate # 48.694 * * * * [progress]: [ 465 / 570 ] simplifiying candidate # 48.694 * * * * [progress]: [ 466 / 570 ] simplifiying candidate # 48.694 * * * * [progress]: [ 467 / 570 ] simplifiying candidate # 48.694 * * * * [progress]: [ 468 / 570 ] simplifiying candidate # 48.694 * * * * [progress]: [ 469 / 570 ] simplifiying candidate # 48.694 * * * * [progress]: [ 470 / 570 ] simplifiying candidate # 48.694 * * * * [progress]: [ 471 / 570 ] simplifiying candidate # 48.694 * * * * [progress]: [ 472 / 570 ] simplifiying candidate # 48.694 * * * * [progress]: [ 473 / 570 ] simplifiying candidate # 48.694 * * * * [progress]: [ 474 / 570 ] simplifiying candidate # 48.694 * * * * [progress]: [ 475 / 570 ] simplifiying candidate # 48.694 * * * * [progress]: [ 476 / 570 ] simplifiying candidate # 48.694 * * * * [progress]: [ 477 / 570 ] simplifiying candidate # 48.694 * * * * [progress]: [ 478 / 570 ] simplifiying candidate # 48.694 * * * * [progress]: [ 479 / 570 ] simplifiying candidate # 48.694 * * * * [progress]: [ 480 / 570 ] simplifiying candidate # 48.694 * * * * [progress]: [ 481 / 570 ] simplifiying candidate # 48.694 * * * * [progress]: [ 482 / 570 ] simplifiying candidate # 48.694 * * * * [progress]: [ 483 / 570 ] simplifiying candidate # 48.694 * * * * [progress]: [ 484 / 570 ] simplifiying candidate # 48.694 * * * * [progress]: [ 485 / 570 ] simplifiying candidate # 48.694 * * * * [progress]: [ 486 / 570 ] simplifiying candidate # 48.694 * * * * [progress]: [ 487 / 570 ] simplifiying candidate # 48.695 * * * * [progress]: [ 488 / 570 ] simplifiying candidate # 48.695 * * * * [progress]: [ 489 / 570 ] simplifiying candidate # 48.695 * * * * [progress]: [ 490 / 570 ] simplifiying candidate # 48.695 * * * * [progress]: [ 491 / 570 ] simplifiying candidate # 48.695 * * * * [progress]: [ 492 / 570 ] simplifiying candidate # 48.695 * * * * [progress]: [ 493 / 570 ] simplifiying candidate # 48.695 * * * * [progress]: [ 494 / 570 ] simplifiying candidate # 48.695 * * * * [progress]: [ 495 / 570 ] simplifiying candidate # 48.695 * * * * [progress]: [ 496 / 570 ] simplifiying candidate # 48.695 * * * * [progress]: [ 497 / 570 ] simplifiying candidate # 48.695 * * * * [progress]: [ 498 / 570 ] simplifiying candidate # 48.695 * * * * [progress]: [ 499 / 570 ] simplifiying candidate # 48.695 * * * * [progress]: [ 500 / 570 ] simplifiying candidate # 48.695 * * * * [progress]: [ 501 / 570 ] simplifiying candidate # 48.695 * * * * [progress]: [ 502 / 570 ] simplifiying candidate # 48.695 * * * * [progress]: [ 503 / 570 ] simplifiying candidate # 48.695 * * * * [progress]: [ 504 / 570 ] simplifiying candidate # 48.695 * * * * [progress]: [ 505 / 570 ] simplifiying candidate # 48.695 * * * * [progress]: [ 506 / 570 ] simplifiying candidate # 48.695 * * * * [progress]: [ 507 / 570 ] simplifiying candidate # 48.695 * * * * [progress]: [ 508 / 570 ] simplifiying candidate # 48.695 * * * * [progress]: [ 509 / 570 ] simplifiying candidate # 48.696 * * * * [progress]: [ 510 / 570 ] simplifiying candidate # 48.696 * * * * [progress]: [ 511 / 570 ] simplifiying candidate # 48.696 * * * * [progress]: [ 512 / 570 ] simplifiying candidate # 48.696 * * * * [progress]: [ 513 / 570 ] simplifiying candidate # 48.696 * * * * [progress]: [ 514 / 570 ] simplifiying candidate # 48.696 * * * * [progress]: [ 515 / 570 ] simplifiying candidate # 48.696 * * * * [progress]: [ 516 / 570 ] simplifiying candidate # 48.696 * * * * [progress]: [ 517 / 570 ] simplifiying candidate # 48.696 * * * * [progress]: [ 518 / 570 ] simplifiying candidate # 48.696 * * * * [progress]: [ 519 / 570 ] simplifiying candidate # 48.696 * * * * [progress]: [ 520 / 570 ] simplifiying candidate # 48.696 * * * * [progress]: [ 521 / 570 ] simplifiying candidate # 48.696 * * * * [progress]: [ 522 / 570 ] simplifiying candidate # 48.696 * * * * [progress]: [ 523 / 570 ] simplifiying candidate # 48.696 * * * * [progress]: [ 524 / 570 ] simplifiying candidate # 48.696 * * * * [progress]: [ 525 / 570 ] simplifiying candidate # 48.696 * * * * [progress]: [ 526 / 570 ] simplifiying candidate # 48.696 * * * * [progress]: [ 527 / 570 ] simplifiying candidate # 48.696 * * * * [progress]: [ 528 / 570 ] simplifiying candidate # 48.696 * * * * [progress]: [ 529 / 570 ] simplifiying candidate # 48.696 * * * * [progress]: [ 530 / 570 ] simplifiying candidate # 48.696 * * * * [progress]: [ 531 / 570 ] simplifiying candidate # 48.697 * * * * [progress]: [ 532 / 570 ] simplifiying candidate # 48.697 * * * * [progress]: [ 533 / 570 ] simplifiying candidate # 48.697 * * * * [progress]: [ 534 / 570 ] simplifiying candidate # 48.697 * * * * [progress]: [ 535 / 570 ] simplifiying candidate # 48.697 * * * * [progress]: [ 536 / 570 ] simplifiying candidate # 48.697 * * * * [progress]: [ 537 / 570 ] simplifiying candidate # 48.697 * * * * [progress]: [ 538 / 570 ] simplifiying candidate # 48.697 * * * * [progress]: [ 539 / 570 ] simplifiying candidate # 48.697 * * * * [progress]: [ 540 / 570 ] simplifiying candidate # 48.697 * * * * [progress]: [ 541 / 570 ] simplifiying candidate # 48.697 * * * * [progress]: [ 542 / 570 ] simplifiying candidate # 48.697 * * * * [progress]: [ 543 / 570 ] simplifiying candidate # 48.697 * * * * [progress]: [ 544 / 570 ] simplifiying candidate # 48.697 * * * * [progress]: [ 545 / 570 ] simplifiying candidate # 48.697 * * * * [progress]: [ 546 / 570 ] simplifiying candidate # 48.697 * * * * [progress]: [ 547 / 570 ] simplifiying candidate # 48.697 * * * * [progress]: [ 548 / 570 ] simplifiying candidate # 48.697 * * * * [progress]: [ 549 / 570 ] simplifiying candidate # 48.697 * * * * [progress]: [ 550 / 570 ] simplifiying candidate # 48.697 * * * * [progress]: [ 551 / 570 ] simplifiying candidate # 48.697 * * * * [progress]: [ 552 / 570 ] simplifiying candidate # 48.697 * * * * [progress]: [ 553 / 570 ] simplifiying candidate # 48.698 * * * * [progress]: [ 554 / 570 ] simplifiying candidate # 48.698 * * * * [progress]: [ 555 / 570 ] simplifiying candidate # 48.698 * * * * [progress]: [ 556 / 570 ] simplifiying candidate # 48.698 * * * * [progress]: [ 557 / 570 ] simplifiying candidate #real (real->posit16 (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))))> 48.698 * * * * [progress]: [ 558 / 570 ] simplifiying candidate # 48.698 * * * * [progress]: [ 559 / 570 ] simplifiying candidate # 48.698 * * * * [progress]: [ 560 / 570 ] simplifiying candidate # 48.698 * * * * [progress]: [ 561 / 570 ] simplifiying candidate # 48.698 * * * * [progress]: [ 562 / 570 ] simplifiying candidate # 48.698 * * * * [progress]: [ 563 / 570 ] simplifiying candidate # 48.698 * * * * [progress]: [ 564 / 570 ] simplifiying candidate # 48.698 * * * * [progress]: [ 565 / 570 ] simplifiying candidate # 48.698 * * * * [progress]: [ 566 / 570 ] simplifiying candidate # 48.698 * * * * [progress]: [ 567 / 570 ] simplifiying candidate # 48.698 * * * * [progress]: [ 568 / 570 ] simplifiying candidate # 48.698 * * * * [progress]: [ 569 / 570 ] simplifiying candidate # 48.698 * * * * [progress]: [ 570 / 570 ] simplifiying candidate # 48.703 * [simplify]: Simplifying: (expm1 (* d1 (* d1 d1))) (log1p (* d1 (* d1 d1))) (+ 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))) (expm1 (* (* d1 (* d1 d1)) d1)) (log1p (* (* d1 (* 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)) (expm1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (log1p (* (* (* (* d1 (* d1 d1)) 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))) (expm1 (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)) (log1p (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)) (+ (+ 1 (+ (+ (+ (+ (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 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 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 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 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 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 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 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 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 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 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 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 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 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 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 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 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 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)) d1)) d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* 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 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 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 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 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 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 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 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 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 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 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 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 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 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 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 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 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 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 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 (+ 1 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) 1) (+ (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 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))) (log d1)) (log d1)) (log (* d1 d1))) (log d1))) (log d1)) (+ (+ (log d1) (+ (+ (+ (+ (+ (log d1) (log (* d1 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 (* d1 d1))) (log d1)) (log 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)) (+ (+ (log d1) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1))) (log d1))) (log d1)) (+ (+ (log d1) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1))) (log d1))) (log d1)) (+ (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1))) (log d1))) (log d1)) (+ (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))) (log d1))) (log d1)) (+ (+ (log d1) (+ (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (log d1))) (log d1)) (+ (+ (log d1) (log (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (log d1)) (+ (log (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (log d1)) (log (* (* d1 (* (* (* (* (* d1 (* 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 d1) d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* 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) d1) (* d1 d1)) d1)) (* (cbrt d1) (cbrt d1))) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (sqrt d1)) (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) 1) (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) d1) (real->posit16 (* (* d1 (* (* (* (* (* d1 (* 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 10) (pow d1 10) (pow d1 10) 48.710 * * [simplify]: iteration 0: 260 enodes 48.847 * * [simplify]: iteration 1: 682 enodes 49.210 * * [simplify]: iteration 2: 2074 enodes 50.723 * * [simplify]: iteration complete: 5001 enodes 50.724 * * [simplify]: Extracting #0: cost 55 inf + 0 50.725 * * [simplify]: Extracting #1: cost 491 inf + 5 50.730 * * [simplify]: Extracting #2: cost 1183 inf + 16302 50.755 * * [simplify]: Extracting #3: cost 787 inf + 133254 50.816 * * [simplify]: Extracting #4: cost 154 inf + 311514 51.271 * * [simplify]: Extracting #5: cost 6 inf + 366842 51.353 * * [simplify]: Extracting #6: cost 0 inf + 367318 51.423 * [simplify]: Simplified to: (expm1 (* d1 (* d1 d1))) (log1p (* d1 (* d1 d1))) 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))) (* d1 (sqrt d1)) (* d1 (sqrt d1)) (* d1 d1) (* (* d1 d1) (cbrt d1)) (* d1 (* d1 (sqrt d1))) (* d1 (* d1 d1)) (real->posit16 (* d1 (* d1 d1))) (expm1 (* (* d1 d1) (* d1 d1))) (log1p (* (* d1 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 (* d1 (* d1 (sqrt d1)))) (* d1 (* d1 d1)) (* d1 (* d1 d1)) (real->posit16 (* (* d1 d1) (* d1 d1))) (expm1 (* (* (* d1 d1) (* d1 d1)) (* d1 (* d1 d1)))) (log1p (* (* (* d1 d1) (* d1 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))) (fma 3 (log d1) (* 4 (log d1))) (fma 3 (log d1) (* 4 (log d1))) (fma 3 (log d1) (* 4 (log d1))) (fma 3 (log d1) (* 4 (log d1))) (fma 3 (log d1) (* 4 (log d1))) (fma 3 (log d1) (* 4 (log d1))) (fma 3 (log d1) (* 4 (log d1))) (fma 3 (log d1) (* 4 (log d1))) (fma 3 (log d1) (* 4 (log d1))) (fma 3 (log d1) (* 4 (log d1))) (fma 3 (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)))) (* (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)))) (expm1 (* (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))) d1)) (log1p (* (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))) d1)) 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 (* (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 d1) (* d1 d1)))) d1) (* (* (* (* d1 d1) (* d1 d1)) (* d1 (* (* d1 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 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 (+ (* 3 (* 3 (log d1))) (log d1)) (+ (* 3 (* 3 (log d1))) (log d1)) (+ (* 3 (* 3 (log d1))) (log d1)) (+ (* 3 (* 3 (log d1))) (log d1)) (+ (* 3 (* 3 (log d1))) (log d1)) (+ (* 3 (* 3 (log d1))) (log d1)) (+ (* 3 (* 3 (log d1))) (log d1)) (+ (* 3 (* 3 (log d1))) (log d1)) (+ (* 3 (* 3 (log d1))) (log d1)) (+ (* 3 (* 3 (log d1))) (log d1)) (+ (* 3 (* 3 (log d1))) (log d1)) (+ (* 3 (* 3 (log d1))) (log d1)) (+ (* 3 (* 3 (log d1))) (log d1)) (+ (* 3 (* 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 d1) (* d1 d1))))) (* (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))))) (* (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* 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 (* (* (* 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) (* 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)) (pow d1 7) (pow d1 7) (pow d1 7) (pow d1 10) (pow d1 10) (pow d1 10) 51.449 * * * [progress]: adding candidates to table 51.699 * * [progress]: iteration 2 / 4 51.699 * * * [progress]: picking best candidate 51.701 * * * * [pick]: Picked # 51.701 * * * [progress]: localizing error 51.707 * * * [progress]: generating rewritten candidates 51.707 * * * [progress]: generating series expansions 51.707 * * * [progress]: simplifying candidates 51.707 * [simplify]: Simplifying: 51.707 * * [simplify]: iteration 0: 0 enodes 51.707 * * [simplify]: iteration complete: 0 enodes 51.707 * * [simplify]: Extracting #0: cost 0 inf + 0 51.707 * [simplify]: Simplified to: 51.707 * * * [progress]: adding candidates to table 51.707 * [progress]: [Phase 3 of 3] Extracting. 51.709 * [simplify]: Simplifying: (pow d1 10) 51.709 * * [simplify]: iteration 0: 3 enodes 51.709 * * [simplify]: iteration complete: 3 enodes 51.709 * * [simplify]: Extracting #0: cost 1 inf + 0 51.709 * * [simplify]: Extracting #1: cost 3 inf + 0 51.710 * * [simplify]: Extracting #2: cost 1 inf + 2 51.710 * * [simplify]: Extracting #3: cost 0 inf + 214 51.710 * [simplify]: Simplified to: (pow d1 10) 53.055 * [regime-testing]: Baseline error score: 0 53.059 * [regime-testing]: Oracle error score: 0 53.059 * [regime-testing]: End program error score: 0 53.139 * [regime-testing]: Target error score: 0