0.002 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.048 * * * [progress]: [2/2] Setting up program. 0.053 * [progress]: [Phase 2 of 3] Improving. 0.053 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.054 * [simplify]: Simplifying (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)) 0.054 * * [simplify]: iters left: 6 (11 enodes) 0.071 * * [simplify]: iters left: 5 (41 enodes) 0.084 * * [simplify]: iters left: 4 (63 enodes) 0.110 * * [simplify]: iters left: 3 (155 enodes) 0.144 * * [simplify]: iters left: 2 (307 enodes) 0.243 * * [simplify]: iters left: 1 (485 enodes) 0.387 * * [simplify]: Extracting #0: cost 1 inf + 0 0.387 * * [simplify]: Extracting #1: cost 32 inf + 0 0.387 * * [simplify]: Extracting #2: cost 62 inf + 1 0.388 * * [simplify]: Extracting #3: cost 59 inf + 382 0.390 * * [simplify]: Extracting #4: cost 17 inf + 3456 0.394 * * [simplify]: Extracting #5: cost 0 inf + 5030 0.398 * * [simplify]: Extracting #6: cost 0 inf + 4990 0.402 * [simplify]: Simplified to (* (+ d2 (+ 37 d3)) d1) 0.402 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (* (+ d2 (+ 37 d3)) d1)) 0.414 * * [progress]: iteration 1 / 4 0.414 * * * [progress]: picking best candidate 0.422 * * * * [pick]: Picked # 0.422 * * * [progress]: localizing error 0.439 * * * [progress]: generating rewritten candidates 0.439 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.476 * * * [progress]: generating series expansions 0.476 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.476 * [backup-simplify]: Simplify (* (+ d2 (+ 37 d3)) d1) into (* (+ d3 (+ d2 37)) d1) 0.476 * [approximate]: Taking taylor expansion of (* (+ d3 (+ d2 37)) d1) in (d2 d3 d1) around 0 0.476 * [taylor]: Taking taylor expansion of (* (+ d3 (+ d2 37)) d1) in d1 0.476 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d1 0.476 * [taylor]: Taking taylor expansion of d3 in d1 0.476 * [backup-simplify]: Simplify d3 into d3 0.476 * [taylor]: Taking taylor expansion of (+ d2 37) in d1 0.476 * [taylor]: Taking taylor expansion of d2 in d1 0.476 * [backup-simplify]: Simplify d2 into d2 0.476 * [taylor]: Taking taylor expansion of 37 in d1 0.476 * [backup-simplify]: Simplify 37 into 37 0.476 * [taylor]: Taking taylor expansion of d1 in d1 0.476 * [backup-simplify]: Simplify 0 into 0 0.476 * [backup-simplify]: Simplify 1 into 1 0.476 * [taylor]: Taking taylor expansion of (* (+ d3 (+ d2 37)) d1) in d3 0.477 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d3 0.477 * [taylor]: Taking taylor expansion of d3 in d3 0.477 * [backup-simplify]: Simplify 0 into 0 0.477 * [backup-simplify]: Simplify 1 into 1 0.477 * [taylor]: Taking taylor expansion of (+ d2 37) in d3 0.477 * [taylor]: Taking taylor expansion of d2 in d3 0.477 * [backup-simplify]: Simplify d2 into d2 0.477 * [taylor]: Taking taylor expansion of 37 in d3 0.477 * [backup-simplify]: Simplify 37 into 37 0.477 * [taylor]: Taking taylor expansion of d1 in d3 0.477 * [backup-simplify]: Simplify d1 into d1 0.477 * [taylor]: Taking taylor expansion of (* (+ d3 (+ d2 37)) d1) in d2 0.477 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d2 0.477 * [taylor]: Taking taylor expansion of d3 in d2 0.477 * [backup-simplify]: Simplify d3 into d3 0.477 * [taylor]: Taking taylor expansion of (+ d2 37) in d2 0.477 * [taylor]: Taking taylor expansion of d2 in d2 0.477 * [backup-simplify]: Simplify 0 into 0 0.477 * [backup-simplify]: Simplify 1 into 1 0.477 * [taylor]: Taking taylor expansion of 37 in d2 0.477 * [backup-simplify]: Simplify 37 into 37 0.477 * [taylor]: Taking taylor expansion of d1 in d2 0.477 * [backup-simplify]: Simplify d1 into d1 0.477 * [taylor]: Taking taylor expansion of (* (+ d3 (+ d2 37)) d1) in d2 0.477 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d2 0.477 * [taylor]: Taking taylor expansion of d3 in d2 0.477 * [backup-simplify]: Simplify d3 into d3 0.477 * [taylor]: Taking taylor expansion of (+ d2 37) in d2 0.477 * [taylor]: Taking taylor expansion of d2 in d2 0.477 * [backup-simplify]: Simplify 0 into 0 0.477 * [backup-simplify]: Simplify 1 into 1 0.477 * [taylor]: Taking taylor expansion of 37 in d2 0.477 * [backup-simplify]: Simplify 37 into 37 0.477 * [taylor]: Taking taylor expansion of d1 in d2 0.477 * [backup-simplify]: Simplify d1 into d1 0.478 * [backup-simplify]: Simplify (+ 0 37) into 37 0.478 * [backup-simplify]: Simplify (+ d3 37) into (+ d3 37) 0.478 * [backup-simplify]: Simplify (* (+ d3 37) d1) into (* (+ d3 37) d1) 0.478 * [taylor]: Taking taylor expansion of (* (+ d3 37) d1) in d3 0.478 * [taylor]: Taking taylor expansion of (+ d3 37) in d3 0.478 * [taylor]: Taking taylor expansion of d3 in d3 0.478 * [backup-simplify]: Simplify 0 into 0 0.478 * [backup-simplify]: Simplify 1 into 1 0.478 * [taylor]: Taking taylor expansion of 37 in d3 0.479 * [backup-simplify]: Simplify 37 into 37 0.479 * [taylor]: Taking taylor expansion of d1 in d3 0.479 * [backup-simplify]: Simplify d1 into d1 0.479 * [backup-simplify]: Simplify (+ 0 37) into 37 0.479 * [backup-simplify]: Simplify (* 37 d1) into (* 37 d1) 0.479 * [taylor]: Taking taylor expansion of (* 37 d1) in d1 0.479 * [taylor]: Taking taylor expansion of 37 in d1 0.479 * [backup-simplify]: Simplify 37 into 37 0.479 * [taylor]: Taking taylor expansion of d1 in d1 0.479 * [backup-simplify]: Simplify 0 into 0 0.479 * [backup-simplify]: Simplify 1 into 1 0.480 * [backup-simplify]: Simplify (* 37 0) into 0 0.480 * [backup-simplify]: Simplify 0 into 0 0.480 * [backup-simplify]: Simplify (+ 1 0) into 1 0.481 * [backup-simplify]: Simplify (+ 0 1) into 1 0.481 * [backup-simplify]: Simplify (+ (* (+ d3 37) 0) (* 1 d1)) into d1 0.481 * [taylor]: Taking taylor expansion of d1 in d3 0.481 * [backup-simplify]: Simplify d1 into d1 0.481 * [taylor]: Taking taylor expansion of d1 in d1 0.481 * [backup-simplify]: Simplify 0 into 0 0.481 * [backup-simplify]: Simplify 1 into 1 0.481 * [backup-simplify]: Simplify 0 into 0 0.481 * [backup-simplify]: Simplify (+ 1 0) into 1 0.482 * [backup-simplify]: Simplify (+ (* 37 0) (* 1 d1)) into d1 0.482 * [taylor]: Taking taylor expansion of d1 in d1 0.482 * [backup-simplify]: Simplify 0 into 0 0.482 * [backup-simplify]: Simplify 1 into 1 0.482 * [backup-simplify]: Simplify 0 into 0 0.483 * [backup-simplify]: Simplify (+ (* 37 1) (* 0 0)) into 37 0.483 * [backup-simplify]: Simplify 37 into 37 0.483 * [backup-simplify]: Simplify (+ 0 0) into 0 0.483 * [backup-simplify]: Simplify (+ 0 0) into 0 0.484 * [backup-simplify]: Simplify (+ (* (+ d3 37) 0) (+ (* 1 0) (* 0 d1))) into 0 0.484 * [taylor]: Taking taylor expansion of 0 in d3 0.484 * [backup-simplify]: Simplify 0 into 0 0.484 * [taylor]: Taking taylor expansion of 0 in d1 0.484 * [backup-simplify]: Simplify 0 into 0 0.484 * [backup-simplify]: Simplify 0 into 0 0.484 * [taylor]: Taking taylor expansion of 0 in d1 0.484 * [backup-simplify]: Simplify 0 into 0 0.484 * [backup-simplify]: Simplify 0 into 0 0.485 * [backup-simplify]: Simplify (+ 0 0) into 0 0.486 * [backup-simplify]: Simplify (+ (* 37 0) (+ (* 1 0) (* 0 d1))) into 0 0.486 * [taylor]: Taking taylor expansion of 0 in d1 0.486 * [backup-simplify]: Simplify 0 into 0 0.486 * [backup-simplify]: Simplify 0 into 0 0.486 * [backup-simplify]: Simplify 1 into 1 0.486 * [backup-simplify]: Simplify 1 into 1 0.486 * [backup-simplify]: Simplify (+ (* 1 (* d1 (* d3 1))) (+ (* 1 (* d1 (* 1 d2))) (* 37 (* d1 (* 1 1))))) into (+ (* d2 d1) (+ (* d3 d1) (* 37 d1))) 0.487 * [backup-simplify]: Simplify (* (+ (/ 1 d2) (+ 37 (/ 1 d3))) (/ 1 d1)) into (/ (+ (/ 1 d2) (+ 37 (/ 1 d3))) d1) 0.487 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d2) (+ 37 (/ 1 d3))) d1) in (d2 d3 d1) around 0 0.487 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (+ 37 (/ 1 d3))) d1) in d1 0.487 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ 37 (/ 1 d3))) in d1 0.487 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.487 * [taylor]: Taking taylor expansion of d2 in d1 0.487 * [backup-simplify]: Simplify d2 into d2 0.487 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 0.487 * [taylor]: Taking taylor expansion of (+ 37 (/ 1 d3)) in d1 0.487 * [taylor]: Taking taylor expansion of 37 in d1 0.487 * [backup-simplify]: Simplify 37 into 37 0.487 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 0.487 * [taylor]: Taking taylor expansion of d3 in d1 0.487 * [backup-simplify]: Simplify d3 into d3 0.487 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 0.487 * [taylor]: Taking taylor expansion of d1 in d1 0.487 * [backup-simplify]: Simplify 0 into 0 0.487 * [backup-simplify]: Simplify 1 into 1 0.487 * [backup-simplify]: Simplify (+ 37 (/ 1 d3)) into (+ 37 (/ 1 d3)) 0.487 * [backup-simplify]: Simplify (+ (/ 1 d2) (+ 37 (/ 1 d3))) into (+ (/ 1 d2) (+ 37 (/ 1 d3))) 0.488 * [backup-simplify]: Simplify (/ (+ (/ 1 d2) (+ 37 (/ 1 d3))) 1) into (+ (/ 1 d2) (+ 37 (/ 1 d3))) 0.488 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (+ 37 (/ 1 d3))) d1) in d3 0.488 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ 37 (/ 1 d3))) in d3 0.488 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 0.488 * [taylor]: Taking taylor expansion of d2 in d3 0.488 * [backup-simplify]: Simplify d2 into d2 0.488 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 0.488 * [taylor]: Taking taylor expansion of (+ 37 (/ 1 d3)) in d3 0.488 * [taylor]: Taking taylor expansion of 37 in d3 0.488 * [backup-simplify]: Simplify 37 into 37 0.488 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.488 * [taylor]: Taking taylor expansion of d3 in d3 0.488 * [backup-simplify]: Simplify 0 into 0 0.488 * [backup-simplify]: Simplify 1 into 1 0.488 * [backup-simplify]: Simplify (/ 1 1) into 1 0.488 * [taylor]: Taking taylor expansion of d1 in d3 0.488 * [backup-simplify]: Simplify d1 into d1 0.489 * [backup-simplify]: Simplify (+ 0 1) into 1 0.489 * [backup-simplify]: Simplify (+ 0 1) into 1 0.489 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 0.489 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (+ 37 (/ 1 d3))) d1) in d2 0.489 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ 37 (/ 1 d3))) in d2 0.489 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.489 * [taylor]: Taking taylor expansion of d2 in d2 0.489 * [backup-simplify]: Simplify 0 into 0 0.490 * [backup-simplify]: Simplify 1 into 1 0.490 * [backup-simplify]: Simplify (/ 1 1) into 1 0.490 * [taylor]: Taking taylor expansion of (+ 37 (/ 1 d3)) in d2 0.490 * [taylor]: Taking taylor expansion of 37 in d2 0.490 * [backup-simplify]: Simplify 37 into 37 0.490 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 0.490 * [taylor]: Taking taylor expansion of d3 in d2 0.490 * [backup-simplify]: Simplify d3 into d3 0.490 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 0.490 * [taylor]: Taking taylor expansion of d1 in d2 0.490 * [backup-simplify]: Simplify d1 into d1 0.491 * [backup-simplify]: Simplify (+ 1 0) into 1 0.491 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 0.491 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (+ 37 (/ 1 d3))) d1) in d2 0.491 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ 37 (/ 1 d3))) in d2 0.491 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.491 * [taylor]: Taking taylor expansion of d2 in d2 0.491 * [backup-simplify]: Simplify 0 into 0 0.491 * [backup-simplify]: Simplify 1 into 1 0.491 * [backup-simplify]: Simplify (/ 1 1) into 1 0.491 * [taylor]: Taking taylor expansion of (+ 37 (/ 1 d3)) in d2 0.491 * [taylor]: Taking taylor expansion of 37 in d2 0.491 * [backup-simplify]: Simplify 37 into 37 0.491 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 0.491 * [taylor]: Taking taylor expansion of d3 in d2 0.491 * [backup-simplify]: Simplify d3 into d3 0.491 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 0.491 * [taylor]: Taking taylor expansion of d1 in d2 0.491 * [backup-simplify]: Simplify d1 into d1 0.492 * [backup-simplify]: Simplify (+ 1 0) into 1 0.492 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 0.492 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 0.492 * [taylor]: Taking taylor expansion of d1 in d3 0.492 * [backup-simplify]: Simplify d1 into d1 0.492 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 0.493 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.493 * [backup-simplify]: Simplify (+ 37 (/ 1 d3)) into (+ 37 (/ 1 d3)) 0.493 * [backup-simplify]: Simplify (+ 0 (+ 37 (/ 1 d3))) into (+ 37 (/ 1 d3)) 0.493 * [backup-simplify]: Simplify (- (/ (+ 37 (/ 1 d3)) d1) (+ (* (/ 1 d1) (/ 0 d1)))) into (+ (* 37 (/ 1 d1)) (/ 1 (* d3 d1))) 0.493 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (/ 1 (* d3 d1))) in d3 0.493 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d3 0.493 * [taylor]: Taking taylor expansion of 37 in d3 0.493 * [backup-simplify]: Simplify 37 into 37 0.493 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 0.493 * [taylor]: Taking taylor expansion of d1 in d3 0.493 * [backup-simplify]: Simplify d1 into d1 0.494 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 0.494 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3 0.494 * [taylor]: Taking taylor expansion of (* d3 d1) in d3 0.494 * [taylor]: Taking taylor expansion of d3 in d3 0.494 * [backup-simplify]: Simplify 0 into 0 0.494 * [backup-simplify]: Simplify 1 into 1 0.494 * [taylor]: Taking taylor expansion of d1 in d3 0.494 * [backup-simplify]: Simplify d1 into d1 0.494 * [backup-simplify]: Simplify (* 0 d1) into 0 0.494 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 0.494 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 0.494 * [backup-simplify]: Simplify (+ 0 (/ 1 d1)) into (/ 1 d1) 0.494 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 0.494 * [taylor]: Taking taylor expansion of d1 in d1 0.494 * [backup-simplify]: Simplify 0 into 0 0.494 * [backup-simplify]: Simplify 1 into 1 0.495 * [backup-simplify]: Simplify (/ 1 1) into 1 0.495 * [backup-simplify]: Simplify 1 into 1 0.495 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 0.495 * [taylor]: Taking taylor expansion of d1 in d1 0.495 * [backup-simplify]: Simplify 0 into 0 0.495 * [backup-simplify]: Simplify 1 into 1 0.495 * [backup-simplify]: Simplify (/ 1 1) into 1 0.495 * [backup-simplify]: Simplify 1 into 1 0.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.496 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 0.497 * [backup-simplify]: Simplify (+ 0 0) into 0 0.497 * [backup-simplify]: Simplify (+ 0 0) into 0 0.497 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ 1 d1) (/ 0 d1)) (* (+ (* 37 (/ 1 d1)) (/ 1 (* d3 d1))) (/ 0 d1)))) into 0 0.497 * [taylor]: Taking taylor expansion of 0 in d3 0.497 * [backup-simplify]: Simplify 0 into 0 0.498 * [backup-simplify]: Simplify (* 37 (/ 1 d1)) into (/ 37 d1) 0.498 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d1))) into 0 0.498 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)))) into 0 0.499 * [backup-simplify]: Simplify (+ (/ 37 d1) 0) into (* 37 (/ 1 d1)) 0.499 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d1 0.499 * [taylor]: Taking taylor expansion of 37 in d1 0.499 * [backup-simplify]: Simplify 37 into 37 0.499 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 0.499 * [taylor]: Taking taylor expansion of d1 in d1 0.499 * [backup-simplify]: Simplify 0 into 0 0.499 * [backup-simplify]: Simplify 1 into 1 0.499 * [backup-simplify]: Simplify (/ 1 1) into 1 0.500 * [backup-simplify]: Simplify (* 37 1) into 37 0.500 * [backup-simplify]: Simplify 37 into 37 0.504 * [backup-simplify]: Simplify (+ (* 37 (* (/ 1 (/ 1 d1)) (* 1 1))) (+ (* 1 (* (/ 1 (/ 1 d1)) (* 1 (/ 1 (/ 1 d2))))) (* 1 (* (/ 1 (/ 1 d1)) (* (/ 1 (/ 1 d3)) 1))))) into (+ (* d2 d1) (+ (* d3 d1) (* 37 d1))) 0.504 * [backup-simplify]: Simplify (* (+ (/ 1 (- d2)) (+ 37 (/ 1 (- d3)))) (/ 1 (- d1))) into (* -1 (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1)) 0.504 * [approximate]: Taking taylor expansion of (* -1 (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1)) in (d2 d3 d1) around 0 0.505 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1)) in d1 0.505 * [taylor]: Taking taylor expansion of -1 in d1 0.505 * [backup-simplify]: Simplify -1 into -1 0.505 * [taylor]: Taking taylor expansion of (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1) in d1 0.505 * [taylor]: Taking taylor expansion of (- 37 (+ (/ 1 d2) (/ 1 d3))) in d1 0.505 * [taylor]: Taking taylor expansion of 37 in d1 0.505 * [backup-simplify]: Simplify 37 into 37 0.505 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1 0.505 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.505 * [taylor]: Taking taylor expansion of d2 in d1 0.505 * [backup-simplify]: Simplify d2 into d2 0.505 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 0.505 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 0.505 * [taylor]: Taking taylor expansion of d3 in d1 0.505 * [backup-simplify]: Simplify d3 into d3 0.505 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 0.505 * [taylor]: Taking taylor expansion of d1 in d1 0.505 * [backup-simplify]: Simplify 0 into 0 0.505 * [backup-simplify]: Simplify 1 into 1 0.505 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 0.506 * [backup-simplify]: Simplify (- (+ (/ 1 d2) (/ 1 d3))) into (- (+ (/ 1 d2) (/ 1 d3))) 0.506 * [backup-simplify]: Simplify (+ 37 (- (+ (/ 1 d2) (/ 1 d3)))) into (- 37 (+ (/ 1 d2) (/ 1 d3))) 0.506 * [backup-simplify]: Simplify (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) 1) into (- 37 (+ (/ 1 d2) (/ 1 d3))) 0.506 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1)) in d3 0.506 * [taylor]: Taking taylor expansion of -1 in d3 0.506 * [backup-simplify]: Simplify -1 into -1 0.506 * [taylor]: Taking taylor expansion of (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1) in d3 0.506 * [taylor]: Taking taylor expansion of (- 37 (+ (/ 1 d2) (/ 1 d3))) in d3 0.506 * [taylor]: Taking taylor expansion of 37 in d3 0.506 * [backup-simplify]: Simplify 37 into 37 0.506 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3 0.506 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 0.506 * [taylor]: Taking taylor expansion of d2 in d3 0.506 * [backup-simplify]: Simplify d2 into d2 0.506 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 0.506 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.506 * [taylor]: Taking taylor expansion of d3 in d3 0.506 * [backup-simplify]: Simplify 0 into 0 0.506 * [backup-simplify]: Simplify 1 into 1 0.507 * [backup-simplify]: Simplify (/ 1 1) into 1 0.507 * [taylor]: Taking taylor expansion of d1 in d3 0.507 * [backup-simplify]: Simplify d1 into d1 0.507 * [backup-simplify]: Simplify (+ 0 1) into 1 0.508 * [backup-simplify]: Simplify (- 1) into -1 0.508 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.508 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 0.508 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1)) in d2 0.508 * [taylor]: Taking taylor expansion of -1 in d2 0.508 * [backup-simplify]: Simplify -1 into -1 0.508 * [taylor]: Taking taylor expansion of (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1) in d2 0.508 * [taylor]: Taking taylor expansion of (- 37 (+ (/ 1 d2) (/ 1 d3))) in d2 0.508 * [taylor]: Taking taylor expansion of 37 in d2 0.508 * [backup-simplify]: Simplify 37 into 37 0.508 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 0.508 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.508 * [taylor]: Taking taylor expansion of d2 in d2 0.508 * [backup-simplify]: Simplify 0 into 0 0.508 * [backup-simplify]: Simplify 1 into 1 0.509 * [backup-simplify]: Simplify (/ 1 1) into 1 0.509 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 0.509 * [taylor]: Taking taylor expansion of d3 in d2 0.509 * [backup-simplify]: Simplify d3 into d3 0.509 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 0.509 * [taylor]: Taking taylor expansion of d1 in d2 0.509 * [backup-simplify]: Simplify d1 into d1 0.509 * [backup-simplify]: Simplify (+ 1 0) into 1 0.510 * [backup-simplify]: Simplify (- 1) into -1 0.510 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.510 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 0.510 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1)) in d2 0.510 * [taylor]: Taking taylor expansion of -1 in d2 0.510 * [backup-simplify]: Simplify -1 into -1 0.510 * [taylor]: Taking taylor expansion of (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1) in d2 0.510 * [taylor]: Taking taylor expansion of (- 37 (+ (/ 1 d2) (/ 1 d3))) in d2 0.510 * [taylor]: Taking taylor expansion of 37 in d2 0.510 * [backup-simplify]: Simplify 37 into 37 0.510 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 0.510 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.510 * [taylor]: Taking taylor expansion of d2 in d2 0.511 * [backup-simplify]: Simplify 0 into 0 0.511 * [backup-simplify]: Simplify 1 into 1 0.511 * [backup-simplify]: Simplify (/ 1 1) into 1 0.511 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 0.511 * [taylor]: Taking taylor expansion of d3 in d2 0.511 * [backup-simplify]: Simplify d3 into d3 0.511 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 0.511 * [taylor]: Taking taylor expansion of d1 in d2 0.511 * [backup-simplify]: Simplify d1 into d1 0.511 * [backup-simplify]: Simplify (+ 1 0) into 1 0.512 * [backup-simplify]: Simplify (- 1) into -1 0.512 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.512 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 0.512 * [backup-simplify]: Simplify (* -1 (/ -1 d1)) into (/ 1 d1) 0.513 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 0.513 * [taylor]: Taking taylor expansion of d1 in d3 0.513 * [backup-simplify]: Simplify d1 into d1 0.513 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 0.513 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.513 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3) 0.514 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 0.514 * [backup-simplify]: Simplify (+ 37 (- (/ 1 d3))) into (- 37 (/ 1 d3)) 0.514 * [backup-simplify]: Simplify (- (/ (- 37 (/ 1 d3)) d1) (+ (* (/ -1 d1) (/ 0 d1)))) into (- (* 37 (/ 1 d1)) (/ 1 (* d3 d1))) 0.514 * [backup-simplify]: Simplify (+ (* -1 (- (* 37 (/ 1 d1)) (/ 1 (* d3 d1)))) (* 0 (/ -1 d1))) into (- (/ 1 (* d3 d1)) (* 37 (/ 1 d1))) 0.514 * [taylor]: Taking taylor expansion of (- (/ 1 (* d3 d1)) (* 37 (/ 1 d1))) in d3 0.514 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3 0.514 * [taylor]: Taking taylor expansion of (* d3 d1) in d3 0.514 * [taylor]: Taking taylor expansion of d3 in d3 0.514 * [backup-simplify]: Simplify 0 into 0 0.514 * [backup-simplify]: Simplify 1 into 1 0.514 * [taylor]: Taking taylor expansion of d1 in d3 0.514 * [backup-simplify]: Simplify d1 into d1 0.514 * [backup-simplify]: Simplify (* 0 d1) into 0 0.515 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 0.515 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 0.515 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d3 0.515 * [taylor]: Taking taylor expansion of 37 in d3 0.515 * [backup-simplify]: Simplify 37 into 37 0.515 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 0.515 * [taylor]: Taking taylor expansion of d1 in d3 0.515 * [backup-simplify]: Simplify d1 into d1 0.515 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 0.515 * [backup-simplify]: Simplify (+ (/ 1 d1) 0) into (/ 1 d1) 0.515 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 0.515 * [taylor]: Taking taylor expansion of d1 in d1 0.515 * [backup-simplify]: Simplify 0 into 0 0.515 * [backup-simplify]: Simplify 1 into 1 0.516 * [backup-simplify]: Simplify (/ 1 1) into 1 0.516 * [backup-simplify]: Simplify 1 into 1 0.516 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 0.516 * [taylor]: Taking taylor expansion of d1 in d1 0.516 * [backup-simplify]: Simplify 0 into 0 0.516 * [backup-simplify]: Simplify 1 into 1 0.516 * [backup-simplify]: Simplify (/ 1 1) into 1 0.516 * [backup-simplify]: Simplify 1 into 1 0.517 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.517 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 0.518 * [backup-simplify]: Simplify (+ 0 0) into 0 0.518 * [backup-simplify]: Simplify (- 0) into 0 0.518 * [backup-simplify]: Simplify (+ 0 0) into 0 0.519 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ -1 d1) (/ 0 d1)) (* (- (* 37 (/ 1 d1)) (/ 1 (* d3 d1))) (/ 0 d1)))) into 0 0.519 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (* 37 (/ 1 d1)) (/ 1 (* d3 d1)))) (* 0 (/ -1 d1)))) into 0 0.519 * [taylor]: Taking taylor expansion of 0 in d3 0.519 * [backup-simplify]: Simplify 0 into 0 0.520 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d1))) into 0 0.520 * [backup-simplify]: Simplify (- (+ (* (/ 1 d1) (/ 0 d1)))) into 0 0.520 * [backup-simplify]: Simplify (* 37 (/ 1 d1)) into (/ 37 d1) 0.521 * [backup-simplify]: Simplify (- (/ 37 d1)) into (- (* 37 (/ 1 d1))) 0.521 * [backup-simplify]: Simplify (+ 0 (- (* 37 (/ 1 d1)))) into (- (* 37 (/ 1 d1))) 0.521 * [taylor]: Taking taylor expansion of (- (* 37 (/ 1 d1))) in d1 0.521 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d1 0.521 * [taylor]: Taking taylor expansion of 37 in d1 0.521 * [backup-simplify]: Simplify 37 into 37 0.521 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 0.521 * [taylor]: Taking taylor expansion of d1 in d1 0.521 * [backup-simplify]: Simplify 0 into 0 0.521 * [backup-simplify]: Simplify 1 into 1 0.521 * [backup-simplify]: Simplify (/ 1 1) into 1 0.522 * [backup-simplify]: Simplify (* 37 1) into 37 0.522 * [backup-simplify]: Simplify (- 37) into -37 0.522 * [backup-simplify]: Simplify -37 into -37 0.523 * [backup-simplify]: Simplify (+ (* -37 (* (/ 1 (/ 1 (- d1))) (* 1 1))) (+ (* 1 (* (/ 1 (/ 1 (- d1))) (* 1 (/ 1 (/ 1 (- d2)))))) (* 1 (* (/ 1 (/ 1 (- d1))) (* (/ 1 (/ 1 (- d3))) 1))))) into (+ (* d2 d1) (+ (* d3 d1) (* 37 d1))) 0.523 * * * [progress]: simplifying candidates 0.523 * * * * [progress]: [ 1 / 26 ] simplifiying candidate # 0.524 * [simplify]: Simplifying (* (+ d2 (+ 37 d3)) d1) 0.524 * * [simplify]: iters left: 6 (7 enodes) 0.527 * * [simplify]: iters left: 5 (26 enodes) 0.531 * * [simplify]: iters left: 4 (48 enodes) 0.539 * * [simplify]: iters left: 3 (88 enodes) 0.552 * * [simplify]: iters left: 2 (101 enodes) 0.562 * * [simplify]: Extracting #0: cost 1 inf + 0 0.563 * * [simplify]: Extracting #1: cost 10 inf + 0 0.563 * * [simplify]: Extracting #2: cost 22 inf + 1 0.563 * * [simplify]: Extracting #3: cost 19 inf + 130 0.564 * * [simplify]: Extracting #4: cost 4 inf + 1086 0.564 * * [simplify]: Extracting #5: cost 1 inf + 1296 0.565 * * [simplify]: Extracting #6: cost 0 inf + 1420 0.566 * [simplify]: Simplified to (* (+ (+ 37 d2) d3) d1) 0.566 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (pow (* (+ (+ 37 d2) d3) d1) 1)) 0.566 * * * * [progress]: [ 2 / 26 ] simplifiying candidate # 0.567 * * * * [progress]: [ 3 / 26 ] simplifiying candidate # 0.567 * [simplify]: Simplifying (+ (log (+ d2 (+ 37 d3))) (log d1)) 0.567 * * [simplify]: iters left: 6 (9 enodes) 0.571 * * [simplify]: iters left: 5 (32 enodes) 0.580 * * [simplify]: iters left: 4 (40 enodes) 0.592 * * [simplify]: iters left: 3 (45 enodes) 0.603 * * [simplify]: Extracting #0: cost 1 inf + 0 0.603 * * [simplify]: Extracting #1: cost 4 inf + 0 0.603 * * [simplify]: Extracting #2: cost 8 inf + 0 0.603 * * [simplify]: Extracting #3: cost 12 inf + 143 0.603 * * [simplify]: Extracting #4: cost 11 inf + 188 0.603 * * [simplify]: Extracting #5: cost 6 inf + 550 0.604 * * [simplify]: Extracting #6: cost 0 inf + 1398 0.604 * [simplify]: Simplified to (+ (log (+ (+ 37 d3) d2)) (log d1)) 0.604 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (exp (+ (log (+ (+ 37 d3) d2)) (log d1)))) 0.605 * * * * [progress]: [ 4 / 26 ] simplifiying candidate # 0.605 * * * * [progress]: [ 5 / 26 ] simplifiying candidate # 0.605 * * * * [progress]: [ 6 / 26 ] simplifiying candidate # 0.605 * [simplify]: Simplifying (* (* (* (+ d2 (+ 37 d3)) (+ d2 (+ 37 d3))) (+ d2 (+ 37 d3))) (* (* d1 d1) d1)) 0.605 * * [simplify]: iters left: 6 (11 enodes) 0.612 * * [simplify]: iters left: 5 (56 enodes) 0.634 * * [simplify]: iters left: 4 (209 enodes) 0.760 * * [simplify]: Extracting #0: cost 1 inf + 0 0.760 * * [simplify]: Extracting #1: cost 42 inf + 0 0.761 * * [simplify]: Extracting #2: cost 162 inf + 123 0.764 * * [simplify]: Extracting #3: cost 287 inf + 3516 0.771 * * [simplify]: Extracting #4: cost 129 inf + 30356 0.786 * * [simplify]: Extracting #5: cost 0 inf + 54540 0.806 * * [simplify]: Extracting #6: cost 0 inf + 54380 0.832 * * [simplify]: Extracting #7: cost 0 inf + 54340 0.859 * [simplify]: Simplified to (* (* d1 (+ (+ 37 d3) d2)) (* (* d1 (+ (+ 37 d3) d2)) (* d1 (+ (+ 37 d3) d2)))) 0.859 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (cbrt (* (* d1 (+ (+ 37 d3) d2)) (* (* d1 (+ (+ 37 d3) d2)) (* d1 (+ (+ 37 d3) d2)))))) 0.859 * * * * [progress]: [ 7 / 26 ] simplifiying candidate # 0.859 * * * * [progress]: [ 8 / 26 ] simplifiying candidate # 0.860 * * * * [progress]: [ 9 / 26 ] simplifiying candidate # 0.860 * * * * [progress]: [ 10 / 26 ] simplifiying candidate # 0.860 * * * * [progress]: [ 11 / 26 ] simplifiying candidate # 0.860 * [simplify]: Simplifying (* (sqrt (+ d2 (+ 37 d3))) (sqrt d1)) 0.860 * * [simplify]: iters left: 6 (9 enodes) 0.865 * * [simplify]: iters left: 5 (32 enodes) 0.874 * * [simplify]: iters left: 4 (40 enodes) 0.885 * * [simplify]: iters left: 3 (45 enodes) 0.896 * * [simplify]: Extracting #0: cost 1 inf + 0 0.896 * * [simplify]: Extracting #1: cost 4 inf + 0 0.896 * * [simplify]: Extracting #2: cost 8 inf + 0 0.896 * * [simplify]: Extracting #3: cost 12 inf + 83 0.897 * * [simplify]: Extracting #4: cost 11 inf + 128 0.897 * * [simplify]: Extracting #5: cost 6 inf + 460 0.897 * * [simplify]: Extracting #6: cost 0 inf + 1158 0.898 * [simplify]: Simplified to (* (sqrt d1) (sqrt (+ (+ 37 d3) d2))) 0.898 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (* (* (sqrt d1) (sqrt (+ (+ 37 d3) d2))) (* (sqrt (+ d2 (+ 37 d3))) (sqrt d1)))) 0.898 * [simplify]: Simplifying (* (sqrt (+ d2 (+ 37 d3))) (sqrt d1)) 0.898 * * [simplify]: iters left: 6 (9 enodes) 0.903 * * [simplify]: iters left: 5 (32 enodes) 0.909 * * [simplify]: iters left: 4 (40 enodes) 0.916 * * [simplify]: iters left: 3 (45 enodes) 0.922 * * [simplify]: Extracting #0: cost 1 inf + 0 0.922 * * [simplify]: Extracting #1: cost 4 inf + 0 0.922 * * [simplify]: Extracting #2: cost 8 inf + 0 0.922 * * [simplify]: Extracting #3: cost 12 inf + 83 0.922 * * [simplify]: Extracting #4: cost 11 inf + 128 0.922 * * [simplify]: Extracting #5: cost 6 inf + 460 0.922 * * [simplify]: Extracting #6: cost 0 inf + 1158 0.923 * [simplify]: Simplified to (* (sqrt d1) (sqrt (+ (+ 37 d3) d2))) 0.923 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (* (* (sqrt (+ d2 (+ 37 d3))) (sqrt d1)) (* (sqrt d1) (sqrt (+ (+ 37 d3) d2))))) 0.923 * * * * [progress]: [ 12 / 26 ] simplifiying candidate # 0.923 * [simplify]: Simplifying (cbrt d1) 0.923 * * [simplify]: iters left: 1 (2 enodes) 0.923 * * [simplify]: Extracting #0: cost 1 inf + 0 0.923 * * [simplify]: Extracting #1: cost 3 inf + 0 0.923 * * [simplify]: Extracting #2: cost 2 inf + 1 0.923 * * [simplify]: Extracting #3: cost 0 inf + 163 0.923 * [simplify]: Simplified to (cbrt d1) 0.924 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (* (* (+ d2 (+ 37 d3)) (* (cbrt d1) (cbrt d1))) (cbrt d1))) 0.924 * * * * [progress]: [ 13 / 26 ] simplifiying candidate # 0.924 * [simplify]: Simplifying (sqrt d1) 0.924 * * [simplify]: iters left: 1 (2 enodes) 0.924 * * [simplify]: Extracting #0: cost 1 inf + 0 0.924 * * [simplify]: Extracting #1: cost 3 inf + 0 0.924 * * [simplify]: Extracting #2: cost 2 inf + 1 0.924 * * [simplify]: Extracting #3: cost 0 inf + 83 0.924 * [simplify]: Simplified to (sqrt d1) 0.924 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (* (* (+ d2 (+ 37 d3)) (sqrt d1)) (sqrt d1))) 0.924 * * * * [progress]: [ 14 / 26 ] simplifiying candidate # 0.924 * * * * [progress]: [ 15 / 26 ] simplifiying candidate # 0.925 * [simplify]: Simplifying (* (cbrt (+ d2 (+ 37 d3))) (cbrt (+ d2 (+ 37 d3)))) 0.925 * * [simplify]: iters left: 6 (7 enodes) 0.927 * * [simplify]: iters left: 5 (25 enodes) 0.930 * * [simplify]: iters left: 4 (33 enodes) 0.936 * * [simplify]: iters left: 3 (39 enodes) 0.946 * * [simplify]: Extracting #0: cost 1 inf + 0 0.947 * * [simplify]: Extracting #1: cost 3 inf + 0 0.947 * * [simplify]: Extracting #2: cost 5 inf + 0 0.947 * * [simplify]: Extracting #3: cost 12 inf + 0 0.947 * * [simplify]: Extracting #4: cost 11 inf + 45 0.947 * * [simplify]: Extracting #5: cost 5 inf + 500 0.948 * * [simplify]: Extracting #6: cost 1 inf + 950 0.948 * * [simplify]: Extracting #7: cost 0 inf + 1153 0.949 * [simplify]: Simplified to (* (cbrt (+ (+ 37 d3) d2)) (cbrt (+ (+ 37 d3) d2))) 0.949 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (* (* (cbrt (+ (+ 37 d3) d2)) (cbrt (+ (+ 37 d3) d2))) (* (cbrt (+ d2 (+ 37 d3))) d1))) 0.949 * * * * [progress]: [ 16 / 26 ] simplifiying candidate # 0.949 * [simplify]: Simplifying (sqrt (+ d2 (+ 37 d3))) 0.949 * * [simplify]: iters left: 5 (6 enodes) 0.952 * * [simplify]: iters left: 4 (22 enodes) 0.959 * * [simplify]: iters left: 3 (30 enodes) 0.967 * * [simplify]: iters left: 2 (35 enodes) 0.971 * * [simplify]: Extracting #0: cost 1 inf + 0 0.971 * * [simplify]: Extracting #1: cost 3 inf + 0 0.971 * * [simplify]: Extracting #2: cost 10 inf + 0 0.972 * * [simplify]: Extracting #3: cost 9 inf + 45 0.972 * * [simplify]: Extracting #4: cost 2 inf + 502 0.972 * * [simplify]: Extracting #5: cost 0 inf + 667 0.972 * [simplify]: Simplified to (sqrt (+ 37 (+ d2 d3))) 0.972 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (* (sqrt (+ 37 (+ d2 d3))) (* (sqrt (+ d2 (+ 37 d3))) d1))) 0.972 * * * * [progress]: [ 17 / 26 ] simplifiying candidate # 0.972 * * * * [progress]: [ 18 / 26 ] simplifiying candidate # 0.972 * * * * [progress]: [ 19 / 26 ] simplifiying candidate # 0.972 * * * * [progress]: [ 20 / 26 ] simplifiying candidate # 0.973 * [simplify]: Simplifying (* (+ (pow d2 3) (pow (+ 37 d3) 3)) d1) 0.973 * * [simplify]: iters left: 6 (10 enodes) 0.976 * * [simplify]: iters left: 5 (46 enodes) 0.987 * * [simplify]: iters left: 4 (97 enodes) 1.019 * * [simplify]: iters left: 3 (283 enodes) 1.112 * * [simplify]: Extracting #0: cost 1 inf + 0 1.112 * * [simplify]: Extracting #1: cost 12 inf + 0 1.112 * * [simplify]: Extracting #2: cost 80 inf + 1 1.112 * * [simplify]: Extracting #3: cost 169 inf + 212 1.114 * * [simplify]: Extracting #4: cost 103 inf + 10197 1.120 * * [simplify]: Extracting #5: cost 19 inf + 28949 1.130 * * [simplify]: Extracting #6: cost 2 inf + 33806 1.142 * * [simplify]: Extracting #7: cost 0 inf + 34271 1.155 * [simplify]: Simplified to (* (+ (* d2 (* d2 d2)) (* (* (+ 37 d3) (+ 37 d3)) (+ 37 d3))) d1) 1.155 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (/ (* (+ (* d2 (* d2 d2)) (* (* (+ 37 d3) (+ 37 d3)) (+ 37 d3))) d1) (+ (* d2 d2) (- (* (+ 37 d3) (+ 37 d3)) (* d2 (+ 37 d3)))))) 1.155 * * * * [progress]: [ 21 / 26 ] simplifiying candidate # 1.155 * [simplify]: Simplifying (* (- (* d2 d2) (* (+ 37 d3) (+ 37 d3))) d1) 1.155 * * [simplify]: iters left: 6 (9 enodes) 1.159 * * [simplify]: iters left: 5 (40 enodes) 1.167 * * [simplify]: iters left: 4 (104 enodes) 1.190 * * [simplify]: iters left: 3 (293 enodes) 1.307 * * [simplify]: Extracting #0: cost 1 inf + 0 1.307 * * [simplify]: Extracting #1: cost 69 inf + 0 1.308 * * [simplify]: Extracting #2: cost 196 inf + 1 1.310 * * [simplify]: Extracting #3: cost 265 inf + 6365 1.317 * * [simplify]: Extracting #4: cost 19 inf + 37390 1.327 * * [simplify]: Extracting #5: cost 0 inf + 40330 1.338 * [simplify]: Simplified to (* d1 (- (* d2 d2) (* (+ d3 37) (+ d3 37)))) 1.338 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (/ (* d1 (- (* d2 d2) (* (+ d3 37) (+ d3 37)))) (- d2 (+ 37 d3)))) 1.339 * * * * [progress]: [ 22 / 26 ] simplifiying candidate #real (real->posit16 (* (+ d2 (+ 37 d3)) d1))))> 1.339 * * * * [progress]: [ 23 / 26 ] simplifiying candidate # 1.339 * * * * [progress]: [ 24 / 26 ] simplifiying candidate # 1.339 * [simplify]: Simplifying (+ (* d2 d1) (+ (* d3 d1) (* 37 d1))) 1.339 * * [simplify]: iters left: 6 (9 enodes) 1.341 * * [simplify]: iters left: 5 (36 enodes) 1.348 * * [simplify]: iters left: 4 (55 enodes) 1.360 * * [simplify]: iters left: 3 (81 enodes) 1.382 * * [simplify]: iters left: 2 (93 enodes) 1.401 * * [simplify]: Extracting #0: cost 1 inf + 0 1.401 * * [simplify]: Extracting #1: cost 10 inf + 0 1.401 * * [simplify]: Extracting #2: cost 22 inf + 1 1.401 * * [simplify]: Extracting #3: cost 21 inf + 46 1.402 * * [simplify]: Extracting #4: cost 5 inf + 1126 1.402 * * [simplify]: Extracting #5: cost 0 inf + 1420 1.403 * [simplify]: Simplified to (* (+ d2 (+ d3 37)) d1) 1.403 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (* (+ d2 (+ d3 37)) d1)) 1.403 * * * * [progress]: [ 25 / 26 ] simplifiying candidate # 1.403 * [simplify]: Simplifying (+ (* d2 d1) (+ (* d3 d1) (* 37 d1))) 1.403 * * [simplify]: iters left: 6 (9 enodes) 1.405 * * [simplify]: iters left: 5 (36 enodes) 1.412 * * [simplify]: iters left: 4 (55 enodes) 1.421 * * [simplify]: iters left: 3 (81 enodes) 1.436 * * [simplify]: iters left: 2 (93 enodes) 1.449 * * [simplify]: Extracting #0: cost 1 inf + 0 1.449 * * [simplify]: Extracting #1: cost 10 inf + 0 1.449 * * [simplify]: Extracting #2: cost 22 inf + 1 1.449 * * [simplify]: Extracting #3: cost 21 inf + 46 1.450 * * [simplify]: Extracting #4: cost 5 inf + 1126 1.450 * * [simplify]: Extracting #5: cost 0 inf + 1420 1.450 * [simplify]: Simplified to (* (+ d2 (+ d3 37)) d1) 1.451 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (* (+ d2 (+ d3 37)) d1)) 1.451 * * * * [progress]: [ 26 / 26 ] simplifiying candidate # 1.451 * [simplify]: Simplifying (+ (* d2 d1) (+ (* d3 d1) (* 37 d1))) 1.451 * * [simplify]: iters left: 6 (9 enodes) 1.453 * * [simplify]: iters left: 5 (36 enodes) 1.462 * * [simplify]: iters left: 4 (55 enodes) 1.476 * * [simplify]: iters left: 3 (81 enodes) 1.499 * * [simplify]: iters left: 2 (93 enodes) 1.512 * * [simplify]: Extracting #0: cost 1 inf + 0 1.512 * * [simplify]: Extracting #1: cost 10 inf + 0 1.512 * * [simplify]: Extracting #2: cost 22 inf + 1 1.512 * * [simplify]: Extracting #3: cost 21 inf + 46 1.512 * * [simplify]: Extracting #4: cost 5 inf + 1126 1.513 * * [simplify]: Extracting #5: cost 0 inf + 1420 1.513 * [simplify]: Simplified to (* (+ d2 (+ d3 37)) d1) 1.513 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (* (+ d2 (+ d3 37)) d1)) 1.514 * * * [progress]: adding candidates to table 1.678 * * [progress]: iteration 2 / 4 1.678 * * * [progress]: picking best candidate 1.680 * * * * [pick]: Picked # 1.680 * * * [progress]: localizing error 1.696 * * * [progress]: generating rewritten candidates 1.696 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 1.733 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 1.746 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 1.758 * * * [progress]: generating series expansions 1.758 * * * * [progress]: [ 1 / 3 ] generating series at (2) 1.758 * [backup-simplify]: Simplify (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)) into (+ (* d2 d1) (+ (* d3 d1) (* 37 d1))) 1.758 * [approximate]: Taking taylor expansion of (+ (* d2 d1) (+ (* d3 d1) (* 37 d1))) in (d1 d2 d3) around 0 1.758 * [taylor]: Taking taylor expansion of (+ (* d2 d1) (+ (* d3 d1) (* 37 d1))) in d3 1.758 * [taylor]: Taking taylor expansion of (* d2 d1) in d3 1.758 * [taylor]: Taking taylor expansion of d2 in d3 1.758 * [backup-simplify]: Simplify d2 into d2 1.758 * [taylor]: Taking taylor expansion of d1 in d3 1.758 * [backup-simplify]: Simplify d1 into d1 1.758 * [taylor]: Taking taylor expansion of (+ (* d3 d1) (* 37 d1)) in d3 1.758 * [taylor]: Taking taylor expansion of (* d3 d1) in d3 1.758 * [taylor]: Taking taylor expansion of d3 in d3 1.758 * [backup-simplify]: Simplify 0 into 0 1.758 * [backup-simplify]: Simplify 1 into 1 1.758 * [taylor]: Taking taylor expansion of d1 in d3 1.758 * [backup-simplify]: Simplify d1 into d1 1.758 * [taylor]: Taking taylor expansion of (* 37 d1) in d3 1.759 * [taylor]: Taking taylor expansion of 37 in d3 1.759 * [backup-simplify]: Simplify 37 into 37 1.759 * [taylor]: Taking taylor expansion of d1 in d3 1.759 * [backup-simplify]: Simplify d1 into d1 1.759 * [taylor]: Taking taylor expansion of (+ (* d2 d1) (+ (* d3 d1) (* 37 d1))) in d2 1.759 * [taylor]: Taking taylor expansion of (* d2 d1) in d2 1.759 * [taylor]: Taking taylor expansion of d2 in d2 1.759 * [backup-simplify]: Simplify 0 into 0 1.759 * [backup-simplify]: Simplify 1 into 1 1.759 * [taylor]: Taking taylor expansion of d1 in d2 1.759 * [backup-simplify]: Simplify d1 into d1 1.759 * [taylor]: Taking taylor expansion of (+ (* d3 d1) (* 37 d1)) in d2 1.759 * [taylor]: Taking taylor expansion of (* d3 d1) in d2 1.759 * [taylor]: Taking taylor expansion of d3 in d2 1.759 * [backup-simplify]: Simplify d3 into d3 1.759 * [taylor]: Taking taylor expansion of d1 in d2 1.759 * [backup-simplify]: Simplify d1 into d1 1.759 * [taylor]: Taking taylor expansion of (* 37 d1) in d2 1.759 * [taylor]: Taking taylor expansion of 37 in d2 1.759 * [backup-simplify]: Simplify 37 into 37 1.759 * [taylor]: Taking taylor expansion of d1 in d2 1.759 * [backup-simplify]: Simplify d1 into d1 1.759 * [taylor]: Taking taylor expansion of (+ (* d2 d1) (+ (* d3 d1) (* 37 d1))) in d1 1.759 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 1.759 * [taylor]: Taking taylor expansion of d2 in d1 1.759 * [backup-simplify]: Simplify d2 into d2 1.759 * [taylor]: Taking taylor expansion of d1 in d1 1.759 * [backup-simplify]: Simplify 0 into 0 1.759 * [backup-simplify]: Simplify 1 into 1 1.759 * [taylor]: Taking taylor expansion of (+ (* d3 d1) (* 37 d1)) in d1 1.759 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 1.759 * [taylor]: Taking taylor expansion of d3 in d1 1.759 * [backup-simplify]: Simplify d3 into d3 1.759 * [taylor]: Taking taylor expansion of d1 in d1 1.759 * [backup-simplify]: Simplify 0 into 0 1.759 * [backup-simplify]: Simplify 1 into 1 1.759 * [taylor]: Taking taylor expansion of (* 37 d1) in d1 1.759 * [taylor]: Taking taylor expansion of 37 in d1 1.759 * [backup-simplify]: Simplify 37 into 37 1.759 * [taylor]: Taking taylor expansion of d1 in d1 1.760 * [backup-simplify]: Simplify 0 into 0 1.760 * [backup-simplify]: Simplify 1 into 1 1.760 * [taylor]: Taking taylor expansion of (+ (* d2 d1) (+ (* d3 d1) (* 37 d1))) in d1 1.760 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 1.760 * [taylor]: Taking taylor expansion of d2 in d1 1.760 * [backup-simplify]: Simplify d2 into d2 1.760 * [taylor]: Taking taylor expansion of d1 in d1 1.760 * [backup-simplify]: Simplify 0 into 0 1.760 * [backup-simplify]: Simplify 1 into 1 1.760 * [taylor]: Taking taylor expansion of (+ (* d3 d1) (* 37 d1)) in d1 1.760 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 1.760 * [taylor]: Taking taylor expansion of d3 in d1 1.760 * [backup-simplify]: Simplify d3 into d3 1.760 * [taylor]: Taking taylor expansion of d1 in d1 1.760 * [backup-simplify]: Simplify 0 into 0 1.760 * [backup-simplify]: Simplify 1 into 1 1.760 * [taylor]: Taking taylor expansion of (* 37 d1) in d1 1.760 * [taylor]: Taking taylor expansion of 37 in d1 1.760 * [backup-simplify]: Simplify 37 into 37 1.760 * [taylor]: Taking taylor expansion of d1 in d1 1.760 * [backup-simplify]: Simplify 0 into 0 1.760 * [backup-simplify]: Simplify 1 into 1 1.760 * [backup-simplify]: Simplify (* d2 0) into 0 1.760 * [backup-simplify]: Simplify (* d3 0) into 0 1.761 * [backup-simplify]: Simplify (* 37 0) into 0 1.761 * [backup-simplify]: Simplify (+ 0 0) into 0 1.762 * [backup-simplify]: Simplify (+ 0 0) into 0 1.762 * [taylor]: Taking taylor expansion of 0 in d2 1.762 * [backup-simplify]: Simplify 0 into 0 1.762 * [taylor]: Taking taylor expansion of 0 in d3 1.762 * [backup-simplify]: Simplify 0 into 0 1.762 * [backup-simplify]: Simplify 0 into 0 1.763 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 1.763 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 1.764 * [backup-simplify]: Simplify (+ (* 37 1) (* 0 0)) into 37 1.764 * [backup-simplify]: Simplify (+ d3 37) into (+ d3 37) 1.764 * [backup-simplify]: Simplify (+ d2 (+ d3 37)) into (+ d3 (+ d2 37)) 1.764 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d2 1.764 * [taylor]: Taking taylor expansion of d3 in d2 1.764 * [backup-simplify]: Simplify d3 into d3 1.764 * [taylor]: Taking taylor expansion of (+ d2 37) in d2 1.764 * [taylor]: Taking taylor expansion of d2 in d2 1.764 * [backup-simplify]: Simplify 0 into 0 1.764 * [backup-simplify]: Simplify 1 into 1 1.764 * [taylor]: Taking taylor expansion of 37 in d2 1.764 * [backup-simplify]: Simplify 37 into 37 1.765 * [backup-simplify]: Simplify (+ 0 37) into 37 1.765 * [backup-simplify]: Simplify (+ d3 37) into (+ d3 37) 1.765 * [taylor]: Taking taylor expansion of (+ d3 37) in d3 1.765 * [taylor]: Taking taylor expansion of d3 in d3 1.765 * [backup-simplify]: Simplify 0 into 0 1.765 * [backup-simplify]: Simplify 1 into 1 1.765 * [taylor]: Taking taylor expansion of 37 in d3 1.765 * [backup-simplify]: Simplify 37 into 37 1.765 * [backup-simplify]: Simplify (+ 0 37) into 37 1.766 * [backup-simplify]: Simplify 37 into 37 1.766 * [taylor]: Taking taylor expansion of 0 in d3 1.766 * [backup-simplify]: Simplify 0 into 0 1.766 * [backup-simplify]: Simplify 0 into 0 1.766 * [backup-simplify]: Simplify 0 into 0 1.766 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 1.767 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0 1.768 * [backup-simplify]: Simplify (+ (* 37 0) (+ (* 0 1) (* 0 0))) into 0 1.768 * [backup-simplify]: Simplify (+ 0 0) into 0 1.769 * [backup-simplify]: Simplify (+ 0 0) into 0 1.769 * [taylor]: Taking taylor expansion of 0 in d2 1.769 * [backup-simplify]: Simplify 0 into 0 1.769 * [taylor]: Taking taylor expansion of 0 in d3 1.769 * [backup-simplify]: Simplify 0 into 0 1.769 * [backup-simplify]: Simplify 0 into 0 1.769 * [backup-simplify]: Simplify (+ 1 0) into 1 1.770 * [backup-simplify]: Simplify (+ 0 1) into 1 1.770 * [taylor]: Taking taylor expansion of 1 in d3 1.770 * [backup-simplify]: Simplify 1 into 1 1.770 * [backup-simplify]: Simplify 1 into 1 1.770 * [taylor]: Taking taylor expansion of 0 in d3 1.770 * [backup-simplify]: Simplify 0 into 0 1.770 * [backup-simplify]: Simplify 0 into 0 1.770 * [backup-simplify]: Simplify (+ 1 0) into 1 1.771 * [backup-simplify]: Simplify 1 into 1 1.771 * [backup-simplify]: Simplify (+ (* 1 (* d3 (* 1 d1))) (+ (* 1 (* 1 (* d2 d1))) (* 37 (* 1 (* 1 d1))))) into (+ (* d2 d1) (+ (* d3 d1) (* 37 d1))) 1.771 * [backup-simplify]: Simplify (+ (+ (* (/ 1 d1) (/ 1 d2)) (* (+ (/ 1 d3) 5) (/ 1 d1))) (* (/ 1 d1) 32)) into (+ (/ 1 (* d2 d1)) (+ (* 37 (/ 1 d1)) (/ 1 (* d3 d1)))) 1.771 * [approximate]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (+ (* 37 (/ 1 d1)) (/ 1 (* d3 d1)))) in (d1 d2 d3) around 0 1.771 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (+ (* 37 (/ 1 d1)) (/ 1 (* d3 d1)))) in d3 1.771 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d3 1.771 * [taylor]: Taking taylor expansion of (* d2 d1) in d3 1.771 * [taylor]: Taking taylor expansion of d2 in d3 1.771 * [backup-simplify]: Simplify d2 into d2 1.771 * [taylor]: Taking taylor expansion of d1 in d3 1.771 * [backup-simplify]: Simplify d1 into d1 1.772 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1) 1.772 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1)) 1.772 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (/ 1 (* d3 d1))) in d3 1.772 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d3 1.772 * [taylor]: Taking taylor expansion of 37 in d3 1.772 * [backup-simplify]: Simplify 37 into 37 1.772 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 1.772 * [taylor]: Taking taylor expansion of d1 in d3 1.772 * [backup-simplify]: Simplify d1 into d1 1.772 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.772 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3 1.772 * [taylor]: Taking taylor expansion of (* d3 d1) in d3 1.772 * [taylor]: Taking taylor expansion of d3 in d3 1.772 * [backup-simplify]: Simplify 0 into 0 1.772 * [backup-simplify]: Simplify 1 into 1 1.772 * [taylor]: Taking taylor expansion of d1 in d3 1.772 * [backup-simplify]: Simplify d1 into d1 1.772 * [backup-simplify]: Simplify (* 0 d1) into 0 1.772 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 1.773 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.773 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (+ (* 37 (/ 1 d1)) (/ 1 (* d3 d1)))) in d2 1.773 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d2 1.773 * [taylor]: Taking taylor expansion of (* d2 d1) in d2 1.773 * [taylor]: Taking taylor expansion of d2 in d2 1.773 * [backup-simplify]: Simplify 0 into 0 1.773 * [backup-simplify]: Simplify 1 into 1 1.773 * [taylor]: Taking taylor expansion of d1 in d2 1.773 * [backup-simplify]: Simplify d1 into d1 1.773 * [backup-simplify]: Simplify (* 0 d1) into 0 1.773 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 1.773 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.773 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (/ 1 (* d3 d1))) in d2 1.773 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d2 1.773 * [taylor]: Taking taylor expansion of 37 in d2 1.773 * [backup-simplify]: Simplify 37 into 37 1.773 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 1.773 * [taylor]: Taking taylor expansion of d1 in d2 1.773 * [backup-simplify]: Simplify d1 into d1 1.774 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.774 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d2 1.774 * [taylor]: Taking taylor expansion of (* d3 d1) in d2 1.774 * [taylor]: Taking taylor expansion of d3 in d2 1.774 * [backup-simplify]: Simplify d3 into d3 1.774 * [taylor]: Taking taylor expansion of d1 in d2 1.774 * [backup-simplify]: Simplify d1 into d1 1.774 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1) 1.774 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1)) 1.774 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (+ (* 37 (/ 1 d1)) (/ 1 (* d3 d1)))) in d1 1.774 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 1.774 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 1.774 * [taylor]: Taking taylor expansion of d2 in d1 1.774 * [backup-simplify]: Simplify d2 into d2 1.774 * [taylor]: Taking taylor expansion of d1 in d1 1.774 * [backup-simplify]: Simplify 0 into 0 1.774 * [backup-simplify]: Simplify 1 into 1 1.774 * [backup-simplify]: Simplify (* d2 0) into 0 1.775 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 1.775 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1.775 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (/ 1 (* d3 d1))) in d1 1.775 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d1 1.775 * [taylor]: Taking taylor expansion of 37 in d1 1.775 * [backup-simplify]: Simplify 37 into 37 1.775 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.775 * [taylor]: Taking taylor expansion of d1 in d1 1.775 * [backup-simplify]: Simplify 0 into 0 1.775 * [backup-simplify]: Simplify 1 into 1 1.775 * [backup-simplify]: Simplify (/ 1 1) into 1 1.775 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 1.775 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 1.775 * [taylor]: Taking taylor expansion of d3 in d1 1.775 * [backup-simplify]: Simplify d3 into d3 1.775 * [taylor]: Taking taylor expansion of d1 in d1 1.775 * [backup-simplify]: Simplify 0 into 0 1.775 * [backup-simplify]: Simplify 1 into 1 1.775 * [backup-simplify]: Simplify (* d3 0) into 0 1.776 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 1.776 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 1.776 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (+ (* 37 (/ 1 d1)) (/ 1 (* d3 d1)))) in d1 1.776 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 1.776 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 1.776 * [taylor]: Taking taylor expansion of d2 in d1 1.776 * [backup-simplify]: Simplify d2 into d2 1.776 * [taylor]: Taking taylor expansion of d1 in d1 1.776 * [backup-simplify]: Simplify 0 into 0 1.776 * [backup-simplify]: Simplify 1 into 1 1.776 * [backup-simplify]: Simplify (* d2 0) into 0 1.777 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 1.777 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1.777 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (/ 1 (* d3 d1))) in d1 1.777 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d1 1.777 * [taylor]: Taking taylor expansion of 37 in d1 1.777 * [backup-simplify]: Simplify 37 into 37 1.777 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.777 * [taylor]: Taking taylor expansion of d1 in d1 1.777 * [backup-simplify]: Simplify 0 into 0 1.777 * [backup-simplify]: Simplify 1 into 1 1.777 * [backup-simplify]: Simplify (/ 1 1) into 1 1.777 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 1.777 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 1.777 * [taylor]: Taking taylor expansion of d3 in d1 1.777 * [backup-simplify]: Simplify d3 into d3 1.777 * [taylor]: Taking taylor expansion of d1 in d1 1.777 * [backup-simplify]: Simplify 0 into 0 1.777 * [backup-simplify]: Simplify 1 into 1 1.777 * [backup-simplify]: Simplify (* d3 0) into 0 1.778 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 1.778 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 1.778 * [backup-simplify]: Simplify (* 37 1) into 37 1.778 * [backup-simplify]: Simplify (+ 37 (/ 1 d3)) into (+ 37 (/ 1 d3)) 1.779 * [backup-simplify]: Simplify (+ (/ 1 d2) (+ 37 (/ 1 d3))) into (+ (/ 1 d2) (+ 37 (/ 1 d3))) 1.779 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ 37 (/ 1 d3))) in d2 1.779 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1.779 * [taylor]: Taking taylor expansion of d2 in d2 1.779 * [backup-simplify]: Simplify 0 into 0 1.779 * [backup-simplify]: Simplify 1 into 1 1.779 * [backup-simplify]: Simplify (/ 1 1) into 1 1.779 * [taylor]: Taking taylor expansion of (+ 37 (/ 1 d3)) in d2 1.779 * [taylor]: Taking taylor expansion of 37 in d2 1.779 * [backup-simplify]: Simplify 37 into 37 1.779 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 1.779 * [taylor]: Taking taylor expansion of d3 in d2 1.779 * [backup-simplify]: Simplify d3 into d3 1.779 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 1.780 * [backup-simplify]: Simplify (+ 1 0) into 1 1.780 * [taylor]: Taking taylor expansion of 1 in d3 1.780 * [backup-simplify]: Simplify 1 into 1 1.781 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 1.781 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 1.781 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.782 * [backup-simplify]: Simplify (+ (* 37 0) (* 0 1)) into 0 1.783 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0 1.783 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 1.784 * [backup-simplify]: Simplify (+ 0 0) into 0 1.784 * [backup-simplify]: Simplify (+ 0 0) into 0 1.784 * [taylor]: Taking taylor expansion of 0 in d2 1.784 * [backup-simplify]: Simplify 0 into 0 1.785 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.785 * [backup-simplify]: Simplify (+ 37 (/ 1 d3)) into (+ 37 (/ 1 d3)) 1.785 * [backup-simplify]: Simplify (+ 0 (+ 37 (/ 1 d3))) into (+ 37 (/ 1 d3)) 1.785 * [taylor]: Taking taylor expansion of (+ 37 (/ 1 d3)) in d3 1.785 * [taylor]: Taking taylor expansion of 37 in d3 1.785 * [backup-simplify]: Simplify 37 into 37 1.785 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 1.785 * [taylor]: Taking taylor expansion of d3 in d3 1.785 * [backup-simplify]: Simplify 0 into 0 1.785 * [backup-simplify]: Simplify 1 into 1 1.786 * [backup-simplify]: Simplify (/ 1 1) into 1 1.786 * [backup-simplify]: Simplify (+ 0 1) into 1 1.786 * [backup-simplify]: Simplify 1 into 1 1.786 * [backup-simplify]: Simplify 1 into 1 1.787 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.787 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1.788 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.789 * [backup-simplify]: Simplify (+ (* 37 0) (+ (* 0 0) (* 0 1))) into 0 1.790 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.790 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 1.790 * [backup-simplify]: Simplify (+ 0 0) into 0 1.791 * [backup-simplify]: Simplify (+ 0 0) into 0 1.791 * [taylor]: Taking taylor expansion of 0 in d2 1.791 * [backup-simplify]: Simplify 0 into 0 1.791 * [taylor]: Taking taylor expansion of 0 in d3 1.791 * [backup-simplify]: Simplify 0 into 0 1.792 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.792 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 1.793 * [backup-simplify]: Simplify (+ 0 0) into 0 1.793 * [backup-simplify]: Simplify (+ 0 0) into 0 1.793 * [taylor]: Taking taylor expansion of 0 in d3 1.793 * [backup-simplify]: Simplify 0 into 0 1.794 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.794 * [backup-simplify]: Simplify (+ 37 0) into 37 1.794 * [backup-simplify]: Simplify 37 into 37 1.795 * [backup-simplify]: Simplify (+ (* 37 (* 1 (* 1 (/ 1 (/ 1 d1))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) (* 1 (* (/ 1 (/ 1 d3)) (* 1 (/ 1 (/ 1 d1))))))) into (+ (* d2 d1) (+ (* d3 d1) (* 37 d1))) 1.795 * [backup-simplify]: Simplify (+ (+ (* (/ 1 (- d1)) (/ 1 (- d2))) (* (+ (/ 1 (- d3)) 5) (/ 1 (- d1)))) (* (/ 1 (- d1)) 32)) into (- (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) (* 37 (/ 1 d1))) 1.795 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) (* 37 (/ 1 d1))) in (d1 d2 d3) around 0 1.795 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) (* 37 (/ 1 d1))) in d3 1.795 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d3 1.795 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d3 1.795 * [taylor]: Taking taylor expansion of (* d2 d1) in d3 1.795 * [taylor]: Taking taylor expansion of d2 in d3 1.795 * [backup-simplify]: Simplify d2 into d2 1.795 * [taylor]: Taking taylor expansion of d1 in d3 1.795 * [backup-simplify]: Simplify d1 into d1 1.795 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1) 1.796 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1)) 1.796 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3 1.796 * [taylor]: Taking taylor expansion of (* d3 d1) in d3 1.796 * [taylor]: Taking taylor expansion of d3 in d3 1.796 * [backup-simplify]: Simplify 0 into 0 1.796 * [backup-simplify]: Simplify 1 into 1 1.796 * [taylor]: Taking taylor expansion of d1 in d3 1.796 * [backup-simplify]: Simplify d1 into d1 1.796 * [backup-simplify]: Simplify (* 0 d1) into 0 1.796 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 1.796 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.796 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d3 1.796 * [taylor]: Taking taylor expansion of 37 in d3 1.796 * [backup-simplify]: Simplify 37 into 37 1.796 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 1.796 * [taylor]: Taking taylor expansion of d1 in d3 1.796 * [backup-simplify]: Simplify d1 into d1 1.796 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.797 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) (* 37 (/ 1 d1))) in d2 1.797 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d2 1.797 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d2 1.797 * [taylor]: Taking taylor expansion of (* d2 d1) in d2 1.797 * [taylor]: Taking taylor expansion of d2 in d2 1.797 * [backup-simplify]: Simplify 0 into 0 1.797 * [backup-simplify]: Simplify 1 into 1 1.797 * [taylor]: Taking taylor expansion of d1 in d2 1.797 * [backup-simplify]: Simplify d1 into d1 1.797 * [backup-simplify]: Simplify (* 0 d1) into 0 1.797 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 1.797 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.797 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d2 1.797 * [taylor]: Taking taylor expansion of (* d3 d1) in d2 1.797 * [taylor]: Taking taylor expansion of d3 in d2 1.797 * [backup-simplify]: Simplify d3 into d3 1.797 * [taylor]: Taking taylor expansion of d1 in d2 1.797 * [backup-simplify]: Simplify d1 into d1 1.797 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1) 1.798 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1)) 1.798 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d2 1.798 * [taylor]: Taking taylor expansion of 37 in d2 1.798 * [backup-simplify]: Simplify 37 into 37 1.798 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 1.798 * [taylor]: Taking taylor expansion of d1 in d2 1.798 * [backup-simplify]: Simplify d1 into d1 1.798 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.798 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) (* 37 (/ 1 d1))) in d1 1.798 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1 1.798 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 1.798 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 1.798 * [taylor]: Taking taylor expansion of d2 in d1 1.798 * [backup-simplify]: Simplify d2 into d2 1.798 * [taylor]: Taking taylor expansion of d1 in d1 1.798 * [backup-simplify]: Simplify 0 into 0 1.798 * [backup-simplify]: Simplify 1 into 1 1.798 * [backup-simplify]: Simplify (* d2 0) into 0 1.799 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 1.799 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1.799 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 1.799 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 1.799 * [taylor]: Taking taylor expansion of d3 in d1 1.799 * [backup-simplify]: Simplify d3 into d3 1.799 * [taylor]: Taking taylor expansion of d1 in d1 1.799 * [backup-simplify]: Simplify 0 into 0 1.799 * [backup-simplify]: Simplify 1 into 1 1.799 * [backup-simplify]: Simplify (* d3 0) into 0 1.799 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 1.799 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 1.799 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d1 1.799 * [taylor]: Taking taylor expansion of 37 in d1 1.799 * [backup-simplify]: Simplify 37 into 37 1.799 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.799 * [taylor]: Taking taylor expansion of d1 in d1 1.799 * [backup-simplify]: Simplify 0 into 0 1.799 * [backup-simplify]: Simplify 1 into 1 1.800 * [backup-simplify]: Simplify (/ 1 1) into 1 1.800 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) (* 37 (/ 1 d1))) in d1 1.800 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1 1.800 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 1.800 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 1.800 * [taylor]: Taking taylor expansion of d2 in d1 1.800 * [backup-simplify]: Simplify d2 into d2 1.800 * [taylor]: Taking taylor expansion of d1 in d1 1.800 * [backup-simplify]: Simplify 0 into 0 1.800 * [backup-simplify]: Simplify 1 into 1 1.800 * [backup-simplify]: Simplify (* d2 0) into 0 1.801 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 1.801 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1.801 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 1.801 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 1.801 * [taylor]: Taking taylor expansion of d3 in d1 1.801 * [backup-simplify]: Simplify d3 into d3 1.801 * [taylor]: Taking taylor expansion of d1 in d1 1.801 * [backup-simplify]: Simplify 0 into 0 1.801 * [backup-simplify]: Simplify 1 into 1 1.801 * [backup-simplify]: Simplify (* d3 0) into 0 1.801 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 1.801 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 1.801 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d1 1.801 * [taylor]: Taking taylor expansion of 37 in d1 1.801 * [backup-simplify]: Simplify 37 into 37 1.801 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.801 * [taylor]: Taking taylor expansion of d1 in d1 1.802 * [backup-simplify]: Simplify 0 into 0 1.802 * [backup-simplify]: Simplify 1 into 1 1.802 * [backup-simplify]: Simplify (/ 1 1) into 1 1.802 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 1.803 * [backup-simplify]: Simplify (* 37 1) into 37 1.803 * [backup-simplify]: Simplify (- 37) into -37 1.803 * [backup-simplify]: Simplify (+ (+ (/ 1 d2) (/ 1 d3)) -37) into (- (+ (/ 1 d2) (/ 1 d3)) 37) 1.803 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d3)) 37) in d2 1.803 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 1.803 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1.803 * [taylor]: Taking taylor expansion of d2 in d2 1.803 * [backup-simplify]: Simplify 0 into 0 1.803 * [backup-simplify]: Simplify 1 into 1 1.804 * [backup-simplify]: Simplify (/ 1 1) into 1 1.804 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 1.804 * [taylor]: Taking taylor expansion of d3 in d2 1.804 * [backup-simplify]: Simplify d3 into d3 1.804 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 1.804 * [taylor]: Taking taylor expansion of 37 in d2 1.804 * [backup-simplify]: Simplify 37 into 37 1.804 * [backup-simplify]: Simplify (+ 1 0) into 1 1.805 * [backup-simplify]: Simplify (+ 1 0) into 1 1.805 * [taylor]: Taking taylor expansion of 1 in d3 1.805 * [backup-simplify]: Simplify 1 into 1 1.805 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 1.806 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 1.806 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0 1.806 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 1.807 * [backup-simplify]: Simplify (+ 0 0) into 0 1.807 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.808 * [backup-simplify]: Simplify (+ (* 37 0) (* 0 1)) into 0 1.809 * [backup-simplify]: Simplify (- 0) into 0 1.809 * [backup-simplify]: Simplify (+ 0 0) into 0 1.809 * [taylor]: Taking taylor expansion of 0 in d2 1.809 * [backup-simplify]: Simplify 0 into 0 1.810 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.810 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3) 1.810 * [backup-simplify]: Simplify (- 37) into -37 1.810 * [backup-simplify]: Simplify (+ (/ 1 d3) -37) into (- (/ 1 d3) 37) 1.810 * [taylor]: Taking taylor expansion of (- (/ 1 d3) 37) in d3 1.810 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 1.810 * [taylor]: Taking taylor expansion of d3 in d3 1.810 * [backup-simplify]: Simplify 0 into 0 1.810 * [backup-simplify]: Simplify 1 into 1 1.811 * [backup-simplify]: Simplify (/ 1 1) into 1 1.811 * [taylor]: Taking taylor expansion of 37 in d3 1.811 * [backup-simplify]: Simplify 37 into 37 1.811 * [backup-simplify]: Simplify (+ 1 0) into 1 1.811 * [backup-simplify]: Simplify 1 into 1 1.811 * [backup-simplify]: Simplify 1 into 1 1.812 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.812 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1.813 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.813 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 1.814 * [backup-simplify]: Simplify (+ 0 0) into 0 1.815 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.816 * [backup-simplify]: Simplify (+ (* 37 0) (+ (* 0 0) (* 0 1))) into 0 1.816 * [backup-simplify]: Simplify (- 0) into 0 1.816 * [backup-simplify]: Simplify (+ 0 0) into 0 1.816 * [taylor]: Taking taylor expansion of 0 in d2 1.816 * [backup-simplify]: Simplify 0 into 0 1.816 * [taylor]: Taking taylor expansion of 0 in d3 1.816 * [backup-simplify]: Simplify 0 into 0 1.817 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.817 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 1.818 * [backup-simplify]: Simplify (+ 0 0) into 0 1.818 * [backup-simplify]: Simplify (- 0) into 0 1.819 * [backup-simplify]: Simplify (+ 0 0) into 0 1.819 * [taylor]: Taking taylor expansion of 0 in d3 1.819 * [backup-simplify]: Simplify 0 into 0 1.819 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.820 * [backup-simplify]: Simplify (- 37) into -37 1.820 * [backup-simplify]: Simplify (+ 0 -37) into -37 1.820 * [backup-simplify]: Simplify -37 into -37 1.821 * [backup-simplify]: Simplify (+ (* -37 (* 1 (* 1 (/ 1 (/ 1 (- d1)))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) (* 1 (* (/ 1 (/ 1 (- d3))) (* 1 (/ 1 (/ 1 (- d1)))))))) into (+ (* d2 d1) (+ (* d3 d1) (* 37 d1))) 1.821 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 1.821 * [backup-simplify]: Simplify (* (+ d3 5) d1) into (* (+ d3 5) d1) 1.821 * [approximate]: Taking taylor expansion of (* (+ d3 5) d1) in (d3 d1) around 0 1.821 * [taylor]: Taking taylor expansion of (* (+ d3 5) d1) in d1 1.821 * [taylor]: Taking taylor expansion of (+ d3 5) in d1 1.821 * [taylor]: Taking taylor expansion of d3 in d1 1.821 * [backup-simplify]: Simplify d3 into d3 1.821 * [taylor]: Taking taylor expansion of 5 in d1 1.821 * [backup-simplify]: Simplify 5 into 5 1.821 * [taylor]: Taking taylor expansion of d1 in d1 1.821 * [backup-simplify]: Simplify 0 into 0 1.821 * [backup-simplify]: Simplify 1 into 1 1.821 * [taylor]: Taking taylor expansion of (* (+ d3 5) d1) in d3 1.821 * [taylor]: Taking taylor expansion of (+ d3 5) in d3 1.821 * [taylor]: Taking taylor expansion of d3 in d3 1.821 * [backup-simplify]: Simplify 0 into 0 1.821 * [backup-simplify]: Simplify 1 into 1 1.821 * [taylor]: Taking taylor expansion of 5 in d3 1.821 * [backup-simplify]: Simplify 5 into 5 1.821 * [taylor]: Taking taylor expansion of d1 in d3 1.822 * [backup-simplify]: Simplify d1 into d1 1.822 * [taylor]: Taking taylor expansion of (* (+ d3 5) d1) in d3 1.822 * [taylor]: Taking taylor expansion of (+ d3 5) in d3 1.822 * [taylor]: Taking taylor expansion of d3 in d3 1.822 * [backup-simplify]: Simplify 0 into 0 1.822 * [backup-simplify]: Simplify 1 into 1 1.822 * [taylor]: Taking taylor expansion of 5 in d3 1.822 * [backup-simplify]: Simplify 5 into 5 1.822 * [taylor]: Taking taylor expansion of d1 in d3 1.822 * [backup-simplify]: Simplify d1 into d1 1.822 * [backup-simplify]: Simplify (+ 0 5) into 5 1.822 * [backup-simplify]: Simplify (* 5 d1) into (* 5 d1) 1.822 * [taylor]: Taking taylor expansion of (* 5 d1) in d1 1.822 * [taylor]: Taking taylor expansion of 5 in d1 1.822 * [backup-simplify]: Simplify 5 into 5 1.822 * [taylor]: Taking taylor expansion of d1 in d1 1.822 * [backup-simplify]: Simplify 0 into 0 1.822 * [backup-simplify]: Simplify 1 into 1 1.823 * [backup-simplify]: Simplify (* 5 0) into 0 1.823 * [backup-simplify]: Simplify 0 into 0 1.823 * [backup-simplify]: Simplify (+ 1 0) into 1 1.824 * [backup-simplify]: Simplify (+ (* 5 0) (* 1 d1)) into d1 1.824 * [taylor]: Taking taylor expansion of d1 in d1 1.824 * [backup-simplify]: Simplify 0 into 0 1.824 * [backup-simplify]: Simplify 1 into 1 1.824 * [backup-simplify]: Simplify 0 into 0 1.825 * [backup-simplify]: Simplify (+ (* 5 1) (* 0 0)) into 5 1.825 * [backup-simplify]: Simplify 5 into 5 1.825 * [backup-simplify]: Simplify (+ 0 0) into 0 1.826 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 1 0) (* 0 d1))) into 0 1.826 * [taylor]: Taking taylor expansion of 0 in d1 1.826 * [backup-simplify]: Simplify 0 into 0 1.826 * [backup-simplify]: Simplify 0 into 0 1.826 * [backup-simplify]: Simplify 1 into 1 1.827 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 1) (* 0 0))) into 0 1.827 * [backup-simplify]: Simplify 0 into 0 1.828 * [backup-simplify]: Simplify (+ 0 0) into 0 1.829 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 1 0) (+ (* 0 0) (* 0 d1)))) into 0 1.829 * [taylor]: Taking taylor expansion of 0 in d1 1.829 * [backup-simplify]: Simplify 0 into 0 1.829 * [backup-simplify]: Simplify 0 into 0 1.829 * [backup-simplify]: Simplify 0 into 0 1.829 * [backup-simplify]: Simplify 0 into 0 1.830 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.830 * [backup-simplify]: Simplify 0 into 0 1.831 * [backup-simplify]: Simplify (+ 0 0) into 0 1.832 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 d1))))) into 0 1.832 * [taylor]: Taking taylor expansion of 0 in d1 1.832 * [backup-simplify]: Simplify 0 into 0 1.832 * [backup-simplify]: Simplify 0 into 0 1.833 * [backup-simplify]: Simplify (+ (* 1 (* d1 d3)) (* 5 (* d1 1))) into (+ (* d3 d1) (* 5 d1)) 1.833 * [backup-simplify]: Simplify (* (+ (/ 1 d3) 5) (/ 1 d1)) into (/ (+ 5 (/ 1 d3)) d1) 1.833 * [approximate]: Taking taylor expansion of (/ (+ 5 (/ 1 d3)) d1) in (d3 d1) around 0 1.833 * [taylor]: Taking taylor expansion of (/ (+ 5 (/ 1 d3)) d1) in d1 1.833 * [taylor]: Taking taylor expansion of (+ 5 (/ 1 d3)) in d1 1.833 * [taylor]: Taking taylor expansion of 5 in d1 1.833 * [backup-simplify]: Simplify 5 into 5 1.833 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 1.833 * [taylor]: Taking taylor expansion of d3 in d1 1.833 * [backup-simplify]: Simplify d3 into d3 1.833 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 1.833 * [taylor]: Taking taylor expansion of d1 in d1 1.833 * [backup-simplify]: Simplify 0 into 0 1.833 * [backup-simplify]: Simplify 1 into 1 1.833 * [backup-simplify]: Simplify (+ 5 (/ 1 d3)) into (+ 5 (/ 1 d3)) 1.833 * [backup-simplify]: Simplify (/ (+ 5 (/ 1 d3)) 1) into (+ 5 (/ 1 d3)) 1.833 * [taylor]: Taking taylor expansion of (/ (+ 5 (/ 1 d3)) d1) in d3 1.833 * [taylor]: Taking taylor expansion of (+ 5 (/ 1 d3)) in d3 1.833 * [taylor]: Taking taylor expansion of 5 in d3 1.833 * [backup-simplify]: Simplify 5 into 5 1.833 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 1.834 * [taylor]: Taking taylor expansion of d3 in d3 1.834 * [backup-simplify]: Simplify 0 into 0 1.834 * [backup-simplify]: Simplify 1 into 1 1.834 * [backup-simplify]: Simplify (/ 1 1) into 1 1.834 * [taylor]: Taking taylor expansion of d1 in d3 1.834 * [backup-simplify]: Simplify d1 into d1 1.834 * [backup-simplify]: Simplify (+ 0 1) into 1 1.834 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.834 * [taylor]: Taking taylor expansion of (/ (+ 5 (/ 1 d3)) d1) in d3 1.834 * [taylor]: Taking taylor expansion of (+ 5 (/ 1 d3)) in d3 1.834 * [taylor]: Taking taylor expansion of 5 in d3 1.834 * [backup-simplify]: Simplify 5 into 5 1.834 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 1.834 * [taylor]: Taking taylor expansion of d3 in d3 1.834 * [backup-simplify]: Simplify 0 into 0 1.834 * [backup-simplify]: Simplify 1 into 1 1.835 * [backup-simplify]: Simplify (/ 1 1) into 1 1.835 * [taylor]: Taking taylor expansion of d1 in d3 1.835 * [backup-simplify]: Simplify d1 into d1 1.835 * [backup-simplify]: Simplify (+ 0 1) into 1 1.835 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.835 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.835 * [taylor]: Taking taylor expansion of d1 in d1 1.835 * [backup-simplify]: Simplify 0 into 0 1.835 * [backup-simplify]: Simplify 1 into 1 1.835 * [backup-simplify]: Simplify (/ 1 1) into 1 1.835 * [backup-simplify]: Simplify 1 into 1 1.836 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.836 * [backup-simplify]: Simplify (+ 5 0) into 5 1.836 * [backup-simplify]: Simplify (- (/ 5 d1) (+ (* (/ 1 d1) (/ 0 d1)))) into (* 5 (/ 1 d1)) 1.836 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d1 1.836 * [taylor]: Taking taylor expansion of 5 in d1 1.836 * [backup-simplify]: Simplify 5 into 5 1.836 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.836 * [taylor]: Taking taylor expansion of d1 in d1 1.836 * [backup-simplify]: Simplify 0 into 0 1.836 * [backup-simplify]: Simplify 1 into 1 1.836 * [backup-simplify]: Simplify (/ 1 1) into 1 1.837 * [backup-simplify]: Simplify (* 5 1) into 5 1.837 * [backup-simplify]: Simplify 5 into 5 1.837 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.837 * [backup-simplify]: Simplify 0 into 0 1.838 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.838 * [backup-simplify]: Simplify (+ 0 0) into 0 1.838 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ 1 d1) (/ 0 d1)) (* (* 5 (/ 1 d1)) (/ 0 d1)))) into 0 1.838 * [taylor]: Taking taylor expansion of 0 in d1 1.838 * [backup-simplify]: Simplify 0 into 0 1.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.839 * [backup-simplify]: Simplify (+ (* 5 0) (* 0 1)) into 0 1.839 * [backup-simplify]: Simplify 0 into 0 1.840 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.840 * [backup-simplify]: Simplify 0 into 0 1.840 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.840 * [backup-simplify]: Simplify (+ 0 0) into 0 1.841 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ 1 d1) (/ 0 d1)) (* (* 5 (/ 1 d1)) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0 1.841 * [taylor]: Taking taylor expansion of 0 in d1 1.841 * [backup-simplify]: Simplify 0 into 0 1.841 * [backup-simplify]: Simplify 0 into 0 1.841 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.842 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (* 0 1))) into 0 1.842 * [backup-simplify]: Simplify 0 into 0 1.842 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.842 * [backup-simplify]: Simplify 0 into 0 1.842 * [backup-simplify]: Simplify (+ (* 5 (* (/ 1 (/ 1 d1)) 1)) (* 1 (* (/ 1 (/ 1 d1)) (/ 1 (/ 1 d3))))) into (+ (* d3 d1) (* 5 d1)) 1.843 * [backup-simplify]: Simplify (* (+ (/ 1 (- d3)) 5) (/ 1 (- d1))) into (* -1 (/ (- 5 (/ 1 d3)) d1)) 1.843 * [approximate]: Taking taylor expansion of (* -1 (/ (- 5 (/ 1 d3)) d1)) in (d3 d1) around 0 1.843 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5 (/ 1 d3)) d1)) in d1 1.843 * [taylor]: Taking taylor expansion of -1 in d1 1.843 * [backup-simplify]: Simplify -1 into -1 1.843 * [taylor]: Taking taylor expansion of (/ (- 5 (/ 1 d3)) d1) in d1 1.843 * [taylor]: Taking taylor expansion of (- 5 (/ 1 d3)) in d1 1.843 * [taylor]: Taking taylor expansion of 5 in d1 1.843 * [backup-simplify]: Simplify 5 into 5 1.843 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 1.843 * [taylor]: Taking taylor expansion of d3 in d1 1.843 * [backup-simplify]: Simplify d3 into d3 1.843 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 1.843 * [taylor]: Taking taylor expansion of d1 in d1 1.843 * [backup-simplify]: Simplify 0 into 0 1.843 * [backup-simplify]: Simplify 1 into 1 1.843 * [backup-simplify]: Simplify (- (/ 1 d3)) into (- (/ 1 d3)) 1.843 * [backup-simplify]: Simplify (+ 5 (- (/ 1 d3))) into (- 5 (/ 1 d3)) 1.843 * [backup-simplify]: Simplify (/ (- 5 (/ 1 d3)) 1) into (- 5 (/ 1 d3)) 1.843 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5 (/ 1 d3)) d1)) in d3 1.843 * [taylor]: Taking taylor expansion of -1 in d3 1.843 * [backup-simplify]: Simplify -1 into -1 1.843 * [taylor]: Taking taylor expansion of (/ (- 5 (/ 1 d3)) d1) in d3 1.843 * [taylor]: Taking taylor expansion of (- 5 (/ 1 d3)) in d3 1.843 * [taylor]: Taking taylor expansion of 5 in d3 1.843 * [backup-simplify]: Simplify 5 into 5 1.843 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 1.843 * [taylor]: Taking taylor expansion of d3 in d3 1.843 * [backup-simplify]: Simplify 0 into 0 1.843 * [backup-simplify]: Simplify 1 into 1 1.844 * [backup-simplify]: Simplify (/ 1 1) into 1 1.844 * [taylor]: Taking taylor expansion of d1 in d3 1.844 * [backup-simplify]: Simplify d1 into d1 1.844 * [backup-simplify]: Simplify (- 1) into -1 1.844 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.844 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 1.844 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5 (/ 1 d3)) d1)) in d3 1.844 * [taylor]: Taking taylor expansion of -1 in d3 1.844 * [backup-simplify]: Simplify -1 into -1 1.844 * [taylor]: Taking taylor expansion of (/ (- 5 (/ 1 d3)) d1) in d3 1.844 * [taylor]: Taking taylor expansion of (- 5 (/ 1 d3)) in d3 1.844 * [taylor]: Taking taylor expansion of 5 in d3 1.844 * [backup-simplify]: Simplify 5 into 5 1.844 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 1.844 * [taylor]: Taking taylor expansion of d3 in d3 1.845 * [backup-simplify]: Simplify 0 into 0 1.845 * [backup-simplify]: Simplify 1 into 1 1.845 * [backup-simplify]: Simplify (/ 1 1) into 1 1.845 * [taylor]: Taking taylor expansion of d1 in d3 1.845 * [backup-simplify]: Simplify d1 into d1 1.845 * [backup-simplify]: Simplify (- 1) into -1 1.845 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.845 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 1.845 * [backup-simplify]: Simplify (* -1 (/ -1 d1)) into (/ 1 d1) 1.845 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.845 * [taylor]: Taking taylor expansion of d1 in d1 1.846 * [backup-simplify]: Simplify 0 into 0 1.846 * [backup-simplify]: Simplify 1 into 1 1.846 * [backup-simplify]: Simplify (/ 1 1) into 1 1.846 * [backup-simplify]: Simplify 1 into 1 1.846 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.846 * [backup-simplify]: Simplify (- 0) into 0 1.847 * [backup-simplify]: Simplify (+ 5 0) into 5 1.847 * [backup-simplify]: Simplify (- (/ 5 d1) (+ (* (/ -1 d1) (/ 0 d1)))) into (* 5 (/ 1 d1)) 1.847 * [backup-simplify]: Simplify (+ (* -1 (* 5 (/ 1 d1))) (* 0 (/ -1 d1))) into (- (* 5 (/ 1 d1))) 1.847 * [taylor]: Taking taylor expansion of (- (* 5 (/ 1 d1))) in d1 1.847 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d1 1.847 * [taylor]: Taking taylor expansion of 5 in d1 1.847 * [backup-simplify]: Simplify 5 into 5 1.847 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.847 * [taylor]: Taking taylor expansion of d1 in d1 1.847 * [backup-simplify]: Simplify 0 into 0 1.847 * [backup-simplify]: Simplify 1 into 1 1.847 * [backup-simplify]: Simplify (/ 1 1) into 1 1.848 * [backup-simplify]: Simplify (* 5 1) into 5 1.848 * [backup-simplify]: Simplify (- 5) into -5 1.848 * [backup-simplify]: Simplify -5 into -5 1.848 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.848 * [backup-simplify]: Simplify 0 into 0 1.849 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.849 * [backup-simplify]: Simplify (- 0) into 0 1.849 * [backup-simplify]: Simplify (+ 0 0) into 0 1.849 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ -1 d1) (/ 0 d1)) (* (* 5 (/ 1 d1)) (/ 0 d1)))) into 0 1.850 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (* 5 (/ 1 d1))) (* 0 (/ -1 d1)))) into 0 1.850 * [taylor]: Taking taylor expansion of 0 in d1 1.850 * [backup-simplify]: Simplify 0 into 0 1.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.851 * [backup-simplify]: Simplify (+ (* 5 0) (* 0 1)) into 0 1.851 * [backup-simplify]: Simplify (- 0) into 0 1.851 * [backup-simplify]: Simplify 0 into 0 1.851 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.851 * [backup-simplify]: Simplify 0 into 0 1.852 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.852 * [backup-simplify]: Simplify (- 0) into 0 1.852 * [backup-simplify]: Simplify (+ 0 0) into 0 1.853 * [backup-simplify]: Simplify (- (/ 0 d1) (+ (* (/ -1 d1) (/ 0 d1)) (* (* 5 (/ 1 d1)) (/ 0 d1)) (* 0 (/ 0 d1)))) into 0 1.853 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (* 5 (/ 1 d1))) (* 0 (/ -1 d1))))) into 0 1.853 * [taylor]: Taking taylor expansion of 0 in d1 1.853 * [backup-simplify]: Simplify 0 into 0 1.853 * [backup-simplify]: Simplify 0 into 0 1.854 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.854 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (* 0 1))) into 0 1.854 * [backup-simplify]: Simplify (- 0) into 0 1.854 * [backup-simplify]: Simplify 0 into 0 1.855 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.855 * [backup-simplify]: Simplify 0 into 0 1.855 * [backup-simplify]: Simplify (+ (* -5 (* (/ 1 (/ 1 (- d1))) 1)) (* 1 (* (/ 1 (/ 1 (- d1))) (/ 1 (/ 1 (- d3)))))) into (+ (* d3 d1) (* 5 d1)) 1.855 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 1.856 * [backup-simplify]: Simplify (+ (* d1 d2) (* (+ d3 5) d1)) into (+ (* d3 d1) (+ (* d2 d1) (* 5 d1))) 1.856 * [approximate]: Taking taylor expansion of (+ (* d3 d1) (+ (* d2 d1) (* 5 d1))) in (d1 d2 d3) around 0 1.856 * [taylor]: Taking taylor expansion of (+ (* d3 d1) (+ (* d2 d1) (* 5 d1))) in d3 1.856 * [taylor]: Taking taylor expansion of (* d3 d1) in d3 1.856 * [taylor]: Taking taylor expansion of d3 in d3 1.856 * [backup-simplify]: Simplify 0 into 0 1.856 * [backup-simplify]: Simplify 1 into 1 1.856 * [taylor]: Taking taylor expansion of d1 in d3 1.856 * [backup-simplify]: Simplify d1 into d1 1.856 * [taylor]: Taking taylor expansion of (+ (* d2 d1) (* 5 d1)) in d3 1.856 * [taylor]: Taking taylor expansion of (* d2 d1) in d3 1.856 * [taylor]: Taking taylor expansion of d2 in d3 1.856 * [backup-simplify]: Simplify d2 into d2 1.856 * [taylor]: Taking taylor expansion of d1 in d3 1.856 * [backup-simplify]: Simplify d1 into d1 1.856 * [taylor]: Taking taylor expansion of (* 5 d1) in d3 1.856 * [taylor]: Taking taylor expansion of 5 in d3 1.856 * [backup-simplify]: Simplify 5 into 5 1.856 * [taylor]: Taking taylor expansion of d1 in d3 1.856 * [backup-simplify]: Simplify d1 into d1 1.856 * [taylor]: Taking taylor expansion of (+ (* d3 d1) (+ (* d2 d1) (* 5 d1))) in d2 1.856 * [taylor]: Taking taylor expansion of (* d3 d1) in d2 1.856 * [taylor]: Taking taylor expansion of d3 in d2 1.856 * [backup-simplify]: Simplify d3 into d3 1.856 * [taylor]: Taking taylor expansion of d1 in d2 1.856 * [backup-simplify]: Simplify d1 into d1 1.856 * [taylor]: Taking taylor expansion of (+ (* d2 d1) (* 5 d1)) in d2 1.856 * [taylor]: Taking taylor expansion of (* d2 d1) in d2 1.856 * [taylor]: Taking taylor expansion of d2 in d2 1.856 * [backup-simplify]: Simplify 0 into 0 1.856 * [backup-simplify]: Simplify 1 into 1 1.856 * [taylor]: Taking taylor expansion of d1 in d2 1.857 * [backup-simplify]: Simplify d1 into d1 1.857 * [taylor]: Taking taylor expansion of (* 5 d1) in d2 1.857 * [taylor]: Taking taylor expansion of 5 in d2 1.857 * [backup-simplify]: Simplify 5 into 5 1.857 * [taylor]: Taking taylor expansion of d1 in d2 1.857 * [backup-simplify]: Simplify d1 into d1 1.857 * [taylor]: Taking taylor expansion of (+ (* d3 d1) (+ (* d2 d1) (* 5 d1))) in d1 1.857 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 1.857 * [taylor]: Taking taylor expansion of d3 in d1 1.857 * [backup-simplify]: Simplify d3 into d3 1.857 * [taylor]: Taking taylor expansion of d1 in d1 1.857 * [backup-simplify]: Simplify 0 into 0 1.857 * [backup-simplify]: Simplify 1 into 1 1.857 * [taylor]: Taking taylor expansion of (+ (* d2 d1) (* 5 d1)) in d1 1.857 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 1.857 * [taylor]: Taking taylor expansion of d2 in d1 1.857 * [backup-simplify]: Simplify d2 into d2 1.857 * [taylor]: Taking taylor expansion of d1 in d1 1.857 * [backup-simplify]: Simplify 0 into 0 1.857 * [backup-simplify]: Simplify 1 into 1 1.857 * [taylor]: Taking taylor expansion of (* 5 d1) in d1 1.857 * [taylor]: Taking taylor expansion of 5 in d1 1.857 * [backup-simplify]: Simplify 5 into 5 1.857 * [taylor]: Taking taylor expansion of d1 in d1 1.857 * [backup-simplify]: Simplify 0 into 0 1.857 * [backup-simplify]: Simplify 1 into 1 1.857 * [taylor]: Taking taylor expansion of (+ (* d3 d1) (+ (* d2 d1) (* 5 d1))) in d1 1.857 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 1.857 * [taylor]: Taking taylor expansion of d3 in d1 1.857 * [backup-simplify]: Simplify d3 into d3 1.857 * [taylor]: Taking taylor expansion of d1 in d1 1.857 * [backup-simplify]: Simplify 0 into 0 1.857 * [backup-simplify]: Simplify 1 into 1 1.857 * [taylor]: Taking taylor expansion of (+ (* d2 d1) (* 5 d1)) in d1 1.857 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 1.857 * [taylor]: Taking taylor expansion of d2 in d1 1.858 * [backup-simplify]: Simplify d2 into d2 1.858 * [taylor]: Taking taylor expansion of d1 in d1 1.858 * [backup-simplify]: Simplify 0 into 0 1.858 * [backup-simplify]: Simplify 1 into 1 1.858 * [taylor]: Taking taylor expansion of (* 5 d1) in d1 1.858 * [taylor]: Taking taylor expansion of 5 in d1 1.858 * [backup-simplify]: Simplify 5 into 5 1.858 * [taylor]: Taking taylor expansion of d1 in d1 1.858 * [backup-simplify]: Simplify 0 into 0 1.858 * [backup-simplify]: Simplify 1 into 1 1.858 * [backup-simplify]: Simplify (* d3 0) into 0 1.858 * [backup-simplify]: Simplify (* d2 0) into 0 1.859 * [backup-simplify]: Simplify (* 5 0) into 0 1.859 * [backup-simplify]: Simplify (+ 0 0) into 0 1.859 * [backup-simplify]: Simplify (+ 0 0) into 0 1.859 * [taylor]: Taking taylor expansion of 0 in d2 1.859 * [backup-simplify]: Simplify 0 into 0 1.859 * [taylor]: Taking taylor expansion of 0 in d3 1.859 * [backup-simplify]: Simplify 0 into 0 1.859 * [backup-simplify]: Simplify 0 into 0 1.860 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 1.860 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 1.861 * [backup-simplify]: Simplify (+ (* 5 1) (* 0 0)) into 5 1.861 * [backup-simplify]: Simplify (+ d2 5) into (+ d2 5) 1.861 * [backup-simplify]: Simplify (+ d3 (+ d2 5)) into (+ d3 (+ d2 5)) 1.861 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 5)) in d2 1.861 * [taylor]: Taking taylor expansion of d3 in d2 1.861 * [backup-simplify]: Simplify d3 into d3 1.861 * [taylor]: Taking taylor expansion of (+ d2 5) in d2 1.861 * [taylor]: Taking taylor expansion of d2 in d2 1.861 * [backup-simplify]: Simplify 0 into 0 1.861 * [backup-simplify]: Simplify 1 into 1 1.861 * [taylor]: Taking taylor expansion of 5 in d2 1.861 * [backup-simplify]: Simplify 5 into 5 1.862 * [backup-simplify]: Simplify (+ 0 5) into 5 1.862 * [backup-simplify]: Simplify (+ d3 5) into (+ d3 5) 1.862 * [taylor]: Taking taylor expansion of (+ d3 5) in d3 1.862 * [taylor]: Taking taylor expansion of d3 in d3 1.862 * [backup-simplify]: Simplify 0 into 0 1.862 * [backup-simplify]: Simplify 1 into 1 1.862 * [taylor]: Taking taylor expansion of 5 in d3 1.862 * [backup-simplify]: Simplify 5 into 5 1.862 * [backup-simplify]: Simplify (+ 0 5) into 5 1.863 * [backup-simplify]: Simplify 5 into 5 1.863 * [taylor]: Taking taylor expansion of 0 in d3 1.863 * [backup-simplify]: Simplify 0 into 0 1.863 * [backup-simplify]: Simplify 0 into 0 1.863 * [backup-simplify]: Simplify 0 into 0 1.863 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0 1.864 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 1.865 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 1) (* 0 0))) into 0 1.865 * [backup-simplify]: Simplify (+ 0 0) into 0 1.866 * [backup-simplify]: Simplify (+ 0 0) into 0 1.866 * [taylor]: Taking taylor expansion of 0 in d2 1.866 * [backup-simplify]: Simplify 0 into 0 1.866 * [taylor]: Taking taylor expansion of 0 in d3 1.866 * [backup-simplify]: Simplify 0 into 0 1.866 * [backup-simplify]: Simplify 0 into 0 1.866 * [backup-simplify]: Simplify (+ 1 0) into 1 1.867 * [backup-simplify]: Simplify (+ 0 1) into 1 1.867 * [taylor]: Taking taylor expansion of 1 in d3 1.867 * [backup-simplify]: Simplify 1 into 1 1.867 * [backup-simplify]: Simplify 1 into 1 1.867 * [taylor]: Taking taylor expansion of 0 in d3 1.867 * [backup-simplify]: Simplify 0 into 0 1.867 * [backup-simplify]: Simplify 0 into 0 1.867 * [backup-simplify]: Simplify (+ 1 0) into 1 1.868 * [backup-simplify]: Simplify 1 into 1 1.868 * [backup-simplify]: Simplify (+ (* 1 (* d3 (* 1 d1))) (+ (* 1 (* 1 (* d2 d1))) (* 5 (* 1 (* 1 d1))))) into (+ (* d2 d1) (+ (* d3 d1) (* 5 d1))) 1.868 * [backup-simplify]: Simplify (+ (* (/ 1 d1) (/ 1 d2)) (* (+ (/ 1 d3) 5) (/ 1 d1))) into (+ (/ 1 (* d2 d1)) (+ (* 5 (/ 1 d1)) (/ 1 (* d3 d1)))) 1.868 * [approximate]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (+ (* 5 (/ 1 d1)) (/ 1 (* d3 d1)))) in (d1 d2 d3) around 0 1.868 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (+ (* 5 (/ 1 d1)) (/ 1 (* d3 d1)))) in d3 1.868 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d3 1.868 * [taylor]: Taking taylor expansion of (* d2 d1) in d3 1.868 * [taylor]: Taking taylor expansion of d2 in d3 1.868 * [backup-simplify]: Simplify d2 into d2 1.868 * [taylor]: Taking taylor expansion of d1 in d3 1.868 * [backup-simplify]: Simplify d1 into d1 1.868 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1) 1.868 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1)) 1.869 * [taylor]: Taking taylor expansion of (+ (* 5 (/ 1 d1)) (/ 1 (* d3 d1))) in d3 1.869 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d3 1.869 * [taylor]: Taking taylor expansion of 5 in d3 1.869 * [backup-simplify]: Simplify 5 into 5 1.869 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 1.869 * [taylor]: Taking taylor expansion of d1 in d3 1.869 * [backup-simplify]: Simplify d1 into d1 1.869 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.869 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3 1.869 * [taylor]: Taking taylor expansion of (* d3 d1) in d3 1.869 * [taylor]: Taking taylor expansion of d3 in d3 1.869 * [backup-simplify]: Simplify 0 into 0 1.869 * [backup-simplify]: Simplify 1 into 1 1.869 * [taylor]: Taking taylor expansion of d1 in d3 1.869 * [backup-simplify]: Simplify d1 into d1 1.869 * [backup-simplify]: Simplify (* 0 d1) into 0 1.869 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 1.869 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.869 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (+ (* 5 (/ 1 d1)) (/ 1 (* d3 d1)))) in d2 1.870 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d2 1.870 * [taylor]: Taking taylor expansion of (* d2 d1) in d2 1.870 * [taylor]: Taking taylor expansion of d2 in d2 1.870 * [backup-simplify]: Simplify 0 into 0 1.870 * [backup-simplify]: Simplify 1 into 1 1.870 * [taylor]: Taking taylor expansion of d1 in d2 1.870 * [backup-simplify]: Simplify d1 into d1 1.870 * [backup-simplify]: Simplify (* 0 d1) into 0 1.870 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 1.870 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.870 * [taylor]: Taking taylor expansion of (+ (* 5 (/ 1 d1)) (/ 1 (* d3 d1))) in d2 1.870 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d2 1.870 * [taylor]: Taking taylor expansion of 5 in d2 1.870 * [backup-simplify]: Simplify 5 into 5 1.870 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 1.870 * [taylor]: Taking taylor expansion of d1 in d2 1.870 * [backup-simplify]: Simplify d1 into d1 1.870 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.871 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d2 1.871 * [taylor]: Taking taylor expansion of (* d3 d1) in d2 1.871 * [taylor]: Taking taylor expansion of d3 in d2 1.871 * [backup-simplify]: Simplify d3 into d3 1.871 * [taylor]: Taking taylor expansion of d1 in d2 1.871 * [backup-simplify]: Simplify d1 into d1 1.871 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1) 1.871 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1)) 1.871 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (+ (* 5 (/ 1 d1)) (/ 1 (* d3 d1)))) in d1 1.871 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 1.871 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 1.871 * [taylor]: Taking taylor expansion of d2 in d1 1.871 * [backup-simplify]: Simplify d2 into d2 1.871 * [taylor]: Taking taylor expansion of d1 in d1 1.871 * [backup-simplify]: Simplify 0 into 0 1.871 * [backup-simplify]: Simplify 1 into 1 1.871 * [backup-simplify]: Simplify (* d2 0) into 0 1.871 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 1.872 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1.872 * [taylor]: Taking taylor expansion of (+ (* 5 (/ 1 d1)) (/ 1 (* d3 d1))) in d1 1.872 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d1 1.872 * [taylor]: Taking taylor expansion of 5 in d1 1.872 * [backup-simplify]: Simplify 5 into 5 1.872 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.872 * [taylor]: Taking taylor expansion of d1 in d1 1.872 * [backup-simplify]: Simplify 0 into 0 1.872 * [backup-simplify]: Simplify 1 into 1 1.872 * [backup-simplify]: Simplify (/ 1 1) into 1 1.872 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 1.872 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 1.872 * [taylor]: Taking taylor expansion of d3 in d1 1.872 * [backup-simplify]: Simplify d3 into d3 1.872 * [taylor]: Taking taylor expansion of d1 in d1 1.872 * [backup-simplify]: Simplify 0 into 0 1.872 * [backup-simplify]: Simplify 1 into 1 1.872 * [backup-simplify]: Simplify (* d3 0) into 0 1.873 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 1.873 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 1.873 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (+ (* 5 (/ 1 d1)) (/ 1 (* d3 d1)))) in d1 1.873 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 1.873 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 1.873 * [taylor]: Taking taylor expansion of d2 in d1 1.873 * [backup-simplify]: Simplify d2 into d2 1.873 * [taylor]: Taking taylor expansion of d1 in d1 1.873 * [backup-simplify]: Simplify 0 into 0 1.873 * [backup-simplify]: Simplify 1 into 1 1.873 * [backup-simplify]: Simplify (* d2 0) into 0 1.874 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 1.874 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1.874 * [taylor]: Taking taylor expansion of (+ (* 5 (/ 1 d1)) (/ 1 (* d3 d1))) in d1 1.874 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d1 1.874 * [taylor]: Taking taylor expansion of 5 in d1 1.874 * [backup-simplify]: Simplify 5 into 5 1.874 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.874 * [taylor]: Taking taylor expansion of d1 in d1 1.874 * [backup-simplify]: Simplify 0 into 0 1.874 * [backup-simplify]: Simplify 1 into 1 1.874 * [backup-simplify]: Simplify (/ 1 1) into 1 1.874 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 1.874 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 1.874 * [taylor]: Taking taylor expansion of d3 in d1 1.874 * [backup-simplify]: Simplify d3 into d3 1.874 * [taylor]: Taking taylor expansion of d1 in d1 1.874 * [backup-simplify]: Simplify 0 into 0 1.874 * [backup-simplify]: Simplify 1 into 1 1.874 * [backup-simplify]: Simplify (* d3 0) into 0 1.875 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 1.875 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 1.875 * [backup-simplify]: Simplify (* 5 1) into 5 1.876 * [backup-simplify]: Simplify (+ 5 (/ 1 d3)) into (+ 5 (/ 1 d3)) 1.876 * [backup-simplify]: Simplify (+ (/ 1 d2) (+ 5 (/ 1 d3))) into (+ (/ 1 d2) (+ 5 (/ 1 d3))) 1.876 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ 5 (/ 1 d3))) in d2 1.876 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1.876 * [taylor]: Taking taylor expansion of d2 in d2 1.876 * [backup-simplify]: Simplify 0 into 0 1.876 * [backup-simplify]: Simplify 1 into 1 1.876 * [backup-simplify]: Simplify (/ 1 1) into 1 1.876 * [taylor]: Taking taylor expansion of (+ 5 (/ 1 d3)) in d2 1.876 * [taylor]: Taking taylor expansion of 5 in d2 1.876 * [backup-simplify]: Simplify 5 into 5 1.876 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 1.876 * [taylor]: Taking taylor expansion of d3 in d2 1.876 * [backup-simplify]: Simplify d3 into d3 1.876 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 1.877 * [backup-simplify]: Simplify (+ 1 0) into 1 1.877 * [taylor]: Taking taylor expansion of 1 in d3 1.877 * [backup-simplify]: Simplify 1 into 1 1.878 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 1.878 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 1.878 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.879 * [backup-simplify]: Simplify (+ (* 5 0) (* 0 1)) into 0 1.880 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0 1.880 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 1.880 * [backup-simplify]: Simplify (+ 0 0) into 0 1.881 * [backup-simplify]: Simplify (+ 0 0) into 0 1.881 * [taylor]: Taking taylor expansion of 0 in d2 1.881 * [backup-simplify]: Simplify 0 into 0 1.882 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.882 * [backup-simplify]: Simplify (+ 5 (/ 1 d3)) into (+ 5 (/ 1 d3)) 1.882 * [backup-simplify]: Simplify (+ 0 (+ 5 (/ 1 d3))) into (+ 5 (/ 1 d3)) 1.882 * [taylor]: Taking taylor expansion of (+ 5 (/ 1 d3)) in d3 1.882 * [taylor]: Taking taylor expansion of 5 in d3 1.882 * [backup-simplify]: Simplify 5 into 5 1.882 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 1.882 * [taylor]: Taking taylor expansion of d3 in d3 1.882 * [backup-simplify]: Simplify 0 into 0 1.882 * [backup-simplify]: Simplify 1 into 1 1.882 * [backup-simplify]: Simplify (/ 1 1) into 1 1.883 * [backup-simplify]: Simplify (+ 0 1) into 1 1.883 * [backup-simplify]: Simplify 1 into 1 1.883 * [backup-simplify]: Simplify 1 into 1 1.886 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.886 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1.887 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.887 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (* 0 1))) into 0 1.888 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.888 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 1.888 * [backup-simplify]: Simplify (+ 0 0) into 0 1.888 * [backup-simplify]: Simplify (+ 0 0) into 0 1.888 * [taylor]: Taking taylor expansion of 0 in d2 1.888 * [backup-simplify]: Simplify 0 into 0 1.889 * [taylor]: Taking taylor expansion of 0 in d3 1.889 * [backup-simplify]: Simplify 0 into 0 1.889 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.889 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 1.889 * [backup-simplify]: Simplify (+ 0 0) into 0 1.890 * [backup-simplify]: Simplify (+ 0 0) into 0 1.890 * [taylor]: Taking taylor expansion of 0 in d3 1.890 * [backup-simplify]: Simplify 0 into 0 1.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.890 * [backup-simplify]: Simplify (+ 5 0) into 5 1.890 * [backup-simplify]: Simplify 5 into 5 1.891 * [backup-simplify]: Simplify (+ (* 5 (* 1 (* 1 (/ 1 (/ 1 d1))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) (* 1 (* (/ 1 (/ 1 d3)) (* 1 (/ 1 (/ 1 d1))))))) into (+ (* d2 d1) (+ (* d3 d1) (* 5 d1))) 1.891 * [backup-simplify]: Simplify (+ (* (/ 1 (- d1)) (/ 1 (- d2))) (* (+ (/ 1 (- d3)) 5) (/ 1 (- d1)))) into (- (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) (* 5 (/ 1 d1))) 1.891 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) (* 5 (/ 1 d1))) in (d1 d2 d3) around 0 1.891 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) (* 5 (/ 1 d1))) in d3 1.891 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d3 1.891 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d3 1.891 * [taylor]: Taking taylor expansion of (* d2 d1) in d3 1.891 * [taylor]: Taking taylor expansion of d2 in d3 1.891 * [backup-simplify]: Simplify d2 into d2 1.891 * [taylor]: Taking taylor expansion of d1 in d3 1.891 * [backup-simplify]: Simplify d1 into d1 1.891 * [backup-simplify]: Simplify (* d2 d1) into (* d2 d1) 1.891 * [backup-simplify]: Simplify (/ 1 (* d2 d1)) into (/ 1 (* d2 d1)) 1.891 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d3 1.891 * [taylor]: Taking taylor expansion of (* d3 d1) in d3 1.891 * [taylor]: Taking taylor expansion of d3 in d3 1.891 * [backup-simplify]: Simplify 0 into 0 1.891 * [backup-simplify]: Simplify 1 into 1 1.891 * [taylor]: Taking taylor expansion of d1 in d3 1.891 * [backup-simplify]: Simplify d1 into d1 1.891 * [backup-simplify]: Simplify (* 0 d1) into 0 1.891 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 1.891 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.892 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d3 1.892 * [taylor]: Taking taylor expansion of 5 in d3 1.892 * [backup-simplify]: Simplify 5 into 5 1.892 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 1.892 * [taylor]: Taking taylor expansion of d1 in d3 1.892 * [backup-simplify]: Simplify d1 into d1 1.892 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.892 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) (* 5 (/ 1 d1))) in d2 1.892 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d2 1.892 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d2 1.892 * [taylor]: Taking taylor expansion of (* d2 d1) in d2 1.892 * [taylor]: Taking taylor expansion of d2 in d2 1.892 * [backup-simplify]: Simplify 0 into 0 1.892 * [backup-simplify]: Simplify 1 into 1 1.892 * [taylor]: Taking taylor expansion of d1 in d2 1.892 * [backup-simplify]: Simplify d1 into d1 1.892 * [backup-simplify]: Simplify (* 0 d1) into 0 1.892 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d1)) into d1 1.892 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.892 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d2 1.892 * [taylor]: Taking taylor expansion of (* d3 d1) in d2 1.892 * [taylor]: Taking taylor expansion of d3 in d2 1.892 * [backup-simplify]: Simplify d3 into d3 1.892 * [taylor]: Taking taylor expansion of d1 in d2 1.892 * [backup-simplify]: Simplify d1 into d1 1.892 * [backup-simplify]: Simplify (* d3 d1) into (* d3 d1) 1.892 * [backup-simplify]: Simplify (/ 1 (* d3 d1)) into (/ 1 (* d3 d1)) 1.892 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d2 1.892 * [taylor]: Taking taylor expansion of 5 in d2 1.892 * [backup-simplify]: Simplify 5 into 5 1.892 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 1.892 * [taylor]: Taking taylor expansion of d1 in d2 1.892 * [backup-simplify]: Simplify d1 into d1 1.892 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.892 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) (* 5 (/ 1 d1))) in d1 1.892 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1 1.892 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 1.892 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 1.893 * [taylor]: Taking taylor expansion of d2 in d1 1.893 * [backup-simplify]: Simplify d2 into d2 1.893 * [taylor]: Taking taylor expansion of d1 in d1 1.893 * [backup-simplify]: Simplify 0 into 0 1.893 * [backup-simplify]: Simplify 1 into 1 1.893 * [backup-simplify]: Simplify (* d2 0) into 0 1.893 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 1.893 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1.893 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 1.893 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 1.893 * [taylor]: Taking taylor expansion of d3 in d1 1.893 * [backup-simplify]: Simplify d3 into d3 1.893 * [taylor]: Taking taylor expansion of d1 in d1 1.893 * [backup-simplify]: Simplify 0 into 0 1.893 * [backup-simplify]: Simplify 1 into 1 1.893 * [backup-simplify]: Simplify (* d3 0) into 0 1.894 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 1.894 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 1.894 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d1 1.894 * [taylor]: Taking taylor expansion of 5 in d1 1.894 * [backup-simplify]: Simplify 5 into 5 1.894 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.894 * [taylor]: Taking taylor expansion of d1 in d1 1.894 * [backup-simplify]: Simplify 0 into 0 1.894 * [backup-simplify]: Simplify 1 into 1 1.894 * [backup-simplify]: Simplify (/ 1 1) into 1 1.894 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) (* 5 (/ 1 d1))) in d1 1.894 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d2 d1)) (/ 1 (* d3 d1))) in d1 1.894 * [taylor]: Taking taylor expansion of (/ 1 (* d2 d1)) in d1 1.894 * [taylor]: Taking taylor expansion of (* d2 d1) in d1 1.894 * [taylor]: Taking taylor expansion of d2 in d1 1.894 * [backup-simplify]: Simplify d2 into d2 1.894 * [taylor]: Taking taylor expansion of d1 in d1 1.894 * [backup-simplify]: Simplify 0 into 0 1.894 * [backup-simplify]: Simplify 1 into 1 1.894 * [backup-simplify]: Simplify (* d2 0) into 0 1.894 * [backup-simplify]: Simplify (+ (* d2 1) (* 0 0)) into d2 1.894 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1.895 * [taylor]: Taking taylor expansion of (/ 1 (* d3 d1)) in d1 1.895 * [taylor]: Taking taylor expansion of (* d3 d1) in d1 1.895 * [taylor]: Taking taylor expansion of d3 in d1 1.895 * [backup-simplify]: Simplify d3 into d3 1.895 * [taylor]: Taking taylor expansion of d1 in d1 1.895 * [backup-simplify]: Simplify 0 into 0 1.895 * [backup-simplify]: Simplify 1 into 1 1.895 * [backup-simplify]: Simplify (* d3 0) into 0 1.895 * [backup-simplify]: Simplify (+ (* d3 1) (* 0 0)) into d3 1.895 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 1.895 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d1 1.895 * [taylor]: Taking taylor expansion of 5 in d1 1.895 * [backup-simplify]: Simplify 5 into 5 1.895 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.895 * [taylor]: Taking taylor expansion of d1 in d1 1.895 * [backup-simplify]: Simplify 0 into 0 1.895 * [backup-simplify]: Simplify 1 into 1 1.895 * [backup-simplify]: Simplify (/ 1 1) into 1 1.895 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 1.896 * [backup-simplify]: Simplify (* 5 1) into 5 1.896 * [backup-simplify]: Simplify (- 5) into -5 1.896 * [backup-simplify]: Simplify (+ (+ (/ 1 d2) (/ 1 d3)) -5) into (- (+ (/ 1 d2) (/ 1 d3)) 5) 1.896 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d3)) 5) in d2 1.896 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 1.896 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1.896 * [taylor]: Taking taylor expansion of d2 in d2 1.896 * [backup-simplify]: Simplify 0 into 0 1.896 * [backup-simplify]: Simplify 1 into 1 1.896 * [backup-simplify]: Simplify (/ 1 1) into 1 1.896 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 1.896 * [taylor]: Taking taylor expansion of d3 in d2 1.896 * [backup-simplify]: Simplify d3 into d3 1.896 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 1.896 * [taylor]: Taking taylor expansion of 5 in d2 1.896 * [backup-simplify]: Simplify 5 into 5 1.897 * [backup-simplify]: Simplify (+ 1 0) into 1 1.897 * [backup-simplify]: Simplify (+ 1 0) into 1 1.897 * [taylor]: Taking taylor expansion of 1 in d3 1.897 * [backup-simplify]: Simplify 1 into 1 1.897 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 1) (* 0 0))) into 0 1.898 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 1.898 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 1) (* 0 0))) into 0 1.898 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 1.898 * [backup-simplify]: Simplify (+ 0 0) into 0 1.899 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.899 * [backup-simplify]: Simplify (+ (* 5 0) (* 0 1)) into 0 1.899 * [backup-simplify]: Simplify (- 0) into 0 1.900 * [backup-simplify]: Simplify (+ 0 0) into 0 1.900 * [taylor]: Taking taylor expansion of 0 in d2 1.900 * [backup-simplify]: Simplify 0 into 0 1.900 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.900 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3) 1.900 * [backup-simplify]: Simplify (- 5) into -5 1.900 * [backup-simplify]: Simplify (+ (/ 1 d3) -5) into (- (/ 1 d3) 5) 1.900 * [taylor]: Taking taylor expansion of (- (/ 1 d3) 5) in d3 1.900 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 1.900 * [taylor]: Taking taylor expansion of d3 in d3 1.900 * [backup-simplify]: Simplify 0 into 0 1.900 * [backup-simplify]: Simplify 1 into 1 1.901 * [backup-simplify]: Simplify (/ 1 1) into 1 1.901 * [taylor]: Taking taylor expansion of 5 in d3 1.901 * [backup-simplify]: Simplify 5 into 5 1.901 * [backup-simplify]: Simplify (+ 1 0) into 1 1.901 * [backup-simplify]: Simplify 1 into 1 1.901 * [backup-simplify]: Simplify 1 into 1 1.901 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.902 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1.902 * [backup-simplify]: Simplify (+ (* d3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.903 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 1.903 * [backup-simplify]: Simplify (+ 0 0) into 0 1.904 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.905 * [backup-simplify]: Simplify (+ (* 5 0) (+ (* 0 0) (* 0 1))) into 0 1.905 * [backup-simplify]: Simplify (- 0) into 0 1.905 * [backup-simplify]: Simplify (+ 0 0) into 0 1.905 * [taylor]: Taking taylor expansion of 0 in d2 1.906 * [backup-simplify]: Simplify 0 into 0 1.906 * [taylor]: Taking taylor expansion of 0 in d3 1.906 * [backup-simplify]: Simplify 0 into 0 1.906 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.907 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 1.907 * [backup-simplify]: Simplify (+ 0 0) into 0 1.907 * [backup-simplify]: Simplify (- 0) into 0 1.908 * [backup-simplify]: Simplify (+ 0 0) into 0 1.908 * [taylor]: Taking taylor expansion of 0 in d3 1.908 * [backup-simplify]: Simplify 0 into 0 1.909 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.909 * [backup-simplify]: Simplify (- 5) into -5 1.909 * [backup-simplify]: Simplify (+ 0 -5) into -5 1.909 * [backup-simplify]: Simplify -5 into -5 1.910 * [backup-simplify]: Simplify (+ (* -5 (* 1 (* 1 (/ 1 (/ 1 (- d1)))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) (* 1 (* (/ 1 (/ 1 (- d3))) (* 1 (/ 1 (/ 1 (- d1)))))))) into (+ (* d2 d1) (+ (* d3 d1) (* 5 d1))) 1.910 * * * [progress]: simplifying candidates 1.910 * * * * [progress]: [ 1 / 57 ] simplifiying candidate # 1.910 * [simplify]: Simplifying (* (* (exp (* d1 d2)) (exp (* (+ d3 5) d1))) (exp (* d1 32))) 1.911 * * [simplify]: iters left: 6 (14 enodes) 1.918 * * [simplify]: iters left: 5 (57 enodes) 1.936 * * [simplify]: iters left: 4 (109 enodes) 1.958 * * [simplify]: iters left: 3 (269 enodes) 2.068 * * [simplify]: Extracting #0: cost 1 inf + 0 2.068 * * [simplify]: Extracting #1: cost 45 inf + 0 2.069 * * [simplify]: Extracting #2: cost 200 inf + 0 2.071 * * [simplify]: Extracting #3: cost 212 inf + 3305 2.076 * * [simplify]: Extracting #4: cost 129 inf + 14782 2.088 * * [simplify]: Extracting #5: cost 37 inf + 57752 2.105 * * [simplify]: Extracting #6: cost 1 inf + 78768 2.126 * * [simplify]: Extracting #7: cost 0 inf + 78932 2.144 * [simplify]: Simplified to (exp (* d1 (+ (+ d2 d3) 37))) 2.144 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (log (exp (* d1 (+ (+ d2 d3) 37))))) 2.144 * * * * [progress]: [ 2 / 57 ] simplifiying candidate # 2.145 * [simplify]: Simplifying (* (exp (+ (* d1 d2) (* (+ d3 5) d1))) (exp (* d1 32))) 2.145 * * [simplify]: iters left: 6 (13 enodes) 2.151 * * [simplify]: iters left: 5 (52 enodes) 2.167 * * [simplify]: iters left: 4 (96 enodes) 2.202 * * [simplify]: iters left: 3 (232 enodes) 2.279 * * [simplify]: Extracting #0: cost 1 inf + 0 2.279 * * [simplify]: Extracting #1: cost 41 inf + 0 2.280 * * [simplify]: Extracting #2: cost 182 inf + 0 2.280 * * [simplify]: Extracting #3: cost 205 inf + 936 2.282 * * [simplify]: Extracting #4: cost 122 inf + 12104 2.287 * * [simplify]: Extracting #5: cost 27 inf + 41148 2.294 * * [simplify]: Extracting #6: cost 0 inf + 54505 2.307 * * [simplify]: Extracting #7: cost 0 inf + 54345 2.319 * [simplify]: Simplified to (exp (* d1 (+ (+ d2 d3) 37))) 2.319 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (log (exp (* d1 (+ (+ d2 d3) 37))))) 2.319 * * * * [progress]: [ 3 / 57 ] simplifiying candidate # 2.319 * * * * [progress]: [ 4 / 57 ] simplifiying candidate # 2.319 * * * * [progress]: [ 5 / 57 ] simplifiying candidate # 2.319 * * * * [progress]: [ 6 / 57 ] simplifiying candidate # 2.319 * * * * [progress]: [ 7 / 57 ] simplifiying candidate # 2.319 * * * * [progress]: [ 8 / 57 ] simplifiying candidate # 2.319 * * * * [progress]: [ 9 / 57 ] simplifiying candidate # 2.319 * * * * [progress]: [ 10 / 57 ] simplifiying candidate # 2.319 * * * * [progress]: [ 11 / 57 ] simplifiying candidate # 2.319 * * * * [progress]: [ 12 / 57 ] simplifiying candidate # 2.320 * [simplify]: Simplifying (* d1 d2) 2.320 * * [simplify]: iters left: 2 (3 enodes) 2.320 * * [simplify]: iters left: 1 (10 enodes) 2.321 * * [simplify]: Extracting #0: cost 1 inf + 0 2.321 * * [simplify]: Extracting #1: cost 4 inf + 0 2.322 * * [simplify]: Extracting #2: cost 2 inf + 2 2.322 * * [simplify]: Extracting #3: cost 0 inf + 86 2.322 * [simplify]: Simplified to (* d1 d2) 2.322 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+ (* d1 d2) (+ (* (+ d3 5) d1) (* d1 32)))) 2.322 * * * * [progress]: [ 13 / 57 ] simplifiying candidate #real (real->posit16 (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)))))> 2.322 * * * * [progress]: [ 14 / 57 ] simplifiying candidate # 2.322 * * * * [progress]: [ 15 / 57 ] simplifiying candidate # 2.322 * [simplify]: Simplifying (* (+ d3 5) d1) 2.322 * * [simplify]: iters left: 4 (5 enodes) 2.323 * * [simplify]: iters left: 3 (17 enodes) 2.326 * * [simplify]: iters left: 2 (25 enodes) 2.330 * * [simplify]: iters left: 1 (33 enodes) 2.336 * * [simplify]: Extracting #0: cost 1 inf + 0 2.336 * * [simplify]: Extracting #1: cost 6 inf + 0 2.336 * * [simplify]: Extracting #2: cost 10 inf + 1 2.336 * * [simplify]: Extracting #3: cost 8 inf + 3 2.337 * * [simplify]: Extracting #4: cost 0 inf + 421 2.337 * [simplify]: Simplified to (* (+ 5 d3) d1) 2.337 * [simplify]: Simplified (2 1 2 1) to (λ (d1 d2 d3) (+ (+ (* d1 d2) (pow (* (+ 5 d3) d1) 1)) (* d1 32))) 2.337 * * * * [progress]: [ 16 / 57 ] simplifiying candidate # 2.337 * * * * [progress]: [ 17 / 57 ] simplifiying candidate # 2.337 * [simplify]: Simplifying (+ (log (+ d3 5)) (log d1)) 2.337 * * [simplify]: iters left: 5 (7 enodes) 2.339 * * [simplify]: iters left: 4 (23 enodes) 2.342 * * [simplify]: Extracting #0: cost 1 inf + 0 2.342 * * [simplify]: Extracting #1: cost 4 inf + 0 2.342 * * [simplify]: Extracting #2: cost 8 inf + 0 2.342 * * [simplify]: Extracting #3: cost 8 inf + 143 2.342 * * [simplify]: Extracting #4: cost 6 inf + 145 2.343 * * [simplify]: Extracting #5: cost 1 inf + 676 2.343 * * [simplify]: Extracting #6: cost 0 inf + 899 2.343 * [simplify]: Simplified to (+ (log (+ 5 d3)) (log d1)) 2.343 * [simplify]: Simplified (2 1 2 1) to (λ (d1 d2 d3) (+ (+ (* d1 d2) (exp (+ (log (+ 5 d3)) (log d1)))) (* d1 32))) 2.343 * * * * [progress]: [ 18 / 57 ] simplifiying candidate # 2.343 * * * * [progress]: [ 19 / 57 ] simplifiying candidate # 2.343 * * * * [progress]: [ 20 / 57 ] simplifiying candidate # 2.343 * [simplify]: Simplifying (* (* (* (+ d3 5) (+ d3 5)) (+ d3 5)) (* (* d1 d1) d1)) 2.343 * * [simplify]: iters left: 6 (9 enodes) 2.346 * * [simplify]: iters left: 5 (47 enodes) 2.365 * * [simplify]: iters left: 4 (157 enodes) 2.439 * * [simplify]: iters left: 3 (456 enodes) 2.762 * * [simplify]: Extracting #0: cost 1 inf + 0 2.763 * * [simplify]: Extracting #1: cost 44 inf + 0 2.763 * * [simplify]: Extracting #2: cost 270 inf + 2 2.766 * * [simplify]: Extracting #3: cost 276 inf + 11996 2.782 * * [simplify]: Extracting #4: cost 35 inf + 61337 2.809 * * [simplify]: Extracting #5: cost 0 inf + 67470 2.835 * * [simplify]: Extracting #6: cost 0 inf + 67150 2.851 * [simplify]: Simplified to (* (* (* (+ 5 d3) d1) (* (+ 5 d3) d1)) (* (+ 5 d3) d1)) 2.851 * [simplify]: Simplified (2 1 2 1) to (λ (d1 d2 d3) (+ (+ (* d1 d2) (cbrt (* (* (* (+ 5 d3) d1) (* (+ 5 d3) d1)) (* (+ 5 d3) d1)))) (* d1 32))) 2.851 * * * * [progress]: [ 21 / 57 ] simplifiying candidate # 2.851 * * * * [progress]: [ 22 / 57 ] simplifiying candidate # 2.851 * * * * [progress]: [ 23 / 57 ] simplifiying candidate # 2.851 * * * * [progress]: [ 24 / 57 ] simplifiying candidate # 2.851 * * * * [progress]: [ 25 / 57 ] simplifiying candidate # 2.852 * [simplify]: Simplifying (* (sqrt (+ d3 5)) (sqrt d1)) 2.852 * * [simplify]: iters left: 5 (7 enodes) 2.854 * * [simplify]: iters left: 4 (23 enodes) 2.857 * * [simplify]: Extracting #0: cost 1 inf + 0 2.857 * * [simplify]: Extracting #1: cost 4 inf + 0 2.857 * * [simplify]: Extracting #2: cost 8 inf + 0 2.857 * * [simplify]: Extracting #3: cost 8 inf + 83 2.857 * * [simplify]: Extracting #4: cost 6 inf + 85 2.857 * * [simplify]: Extracting #5: cost 1 inf + 496 2.857 * * [simplify]: Extracting #6: cost 0 inf + 659 2.857 * [simplify]: Simplified to (* (sqrt (+ 5 d3)) (sqrt d1)) 2.858 * [simplify]: Simplified (2 1 2 1) to (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (* (sqrt (+ 5 d3)) (sqrt d1)) (* (sqrt (+ d3 5)) (sqrt d1)))) (* d1 32))) 2.858 * [simplify]: Simplifying (* (sqrt (+ d3 5)) (sqrt d1)) 2.858 * * [simplify]: iters left: 5 (7 enodes) 2.860 * * [simplify]: iters left: 4 (23 enodes) 2.863 * * [simplify]: Extracting #0: cost 1 inf + 0 2.863 * * [simplify]: Extracting #1: cost 4 inf + 0 2.863 * * [simplify]: Extracting #2: cost 8 inf + 0 2.863 * * [simplify]: Extracting #3: cost 8 inf + 83 2.863 * * [simplify]: Extracting #4: cost 6 inf + 85 2.863 * * [simplify]: Extracting #5: cost 1 inf + 496 2.863 * * [simplify]: Extracting #6: cost 0 inf + 659 2.864 * [simplify]: Simplified to (* (sqrt (+ 5 d3)) (sqrt d1)) 2.864 * [simplify]: Simplified (2 1 2 2) to (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (* (sqrt (+ d3 5)) (sqrt d1)) (* (sqrt (+ 5 d3)) (sqrt d1)))) (* d1 32))) 2.864 * * * * [progress]: [ 26 / 57 ] simplifiying candidate # 2.864 * [simplify]: Simplifying (cbrt d1) 2.864 * * [simplify]: iters left: 1 (2 enodes) 2.864 * * [simplify]: Extracting #0: cost 1 inf + 0 2.864 * * [simplify]: Extracting #1: cost 3 inf + 0 2.864 * * [simplify]: Extracting #2: cost 2 inf + 1 2.864 * * [simplify]: Extracting #3: cost 0 inf + 163 2.864 * [simplify]: Simplified to (cbrt d1) 2.864 * [simplify]: Simplified (2 1 2 2) to (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (* (+ d3 5) (* (cbrt d1) (cbrt d1))) (cbrt d1))) (* d1 32))) 2.864 * * * * [progress]: [ 27 / 57 ] simplifiying candidate # 2.865 * [simplify]: Simplifying (sqrt d1) 2.865 * * [simplify]: iters left: 1 (2 enodes) 2.865 * * [simplify]: Extracting #0: cost 1 inf + 0 2.865 * * [simplify]: Extracting #1: cost 3 inf + 0 2.865 * * [simplify]: Extracting #2: cost 2 inf + 1 2.865 * * [simplify]: Extracting #3: cost 0 inf + 83 2.865 * [simplify]: Simplified to (sqrt d1) 2.865 * [simplify]: Simplified (2 1 2 2) to (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (* (+ d3 5) (sqrt d1)) (sqrt d1))) (* d1 32))) 2.865 * * * * [progress]: [ 28 / 57 ] simplifiying candidate # 2.865 * * * * [progress]: [ 29 / 57 ] simplifiying candidate # 2.866 * [simplify]: Simplifying (* (cbrt (+ d3 5)) (cbrt (+ d3 5))) 2.866 * * [simplify]: iters left: 5 (5 enodes) 2.868 * * [simplify]: iters left: 4 (16 enodes) 2.871 * * [simplify]: Extracting #0: cost 1 inf + 0 2.871 * * [simplify]: Extracting #1: cost 3 inf + 0 2.871 * * [simplify]: Extracting #2: cost 5 inf + 0 2.871 * * [simplify]: Extracting #3: cost 8 inf + 0 2.871 * * [simplify]: Extracting #4: cost 6 inf + 2 2.871 * * [simplify]: Extracting #5: cost 0 inf + 654 2.871 * [simplify]: Simplified to (* (cbrt (+ 5 d3)) (cbrt (+ 5 d3))) 2.871 * [simplify]: Simplified (2 1 2 1) to (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (* (cbrt (+ 5 d3)) (cbrt (+ 5 d3))) (* (cbrt (+ d3 5)) d1))) (* d1 32))) 2.871 * * * * [progress]: [ 30 / 57 ] simplifiying candidate # 2.871 * [simplify]: Simplifying (sqrt (+ d3 5)) 2.872 * * [simplify]: iters left: 3 (4 enodes) 2.873 * * [simplify]: iters left: 2 (13 enodes) 2.875 * * [simplify]: Extracting #0: cost 1 inf + 0 2.875 * * [simplify]: Extracting #1: cost 3 inf + 0 2.875 * * [simplify]: Extracting #2: cost 6 inf + 0 2.875 * * [simplify]: Extracting #3: cost 4 inf + 2 2.875 * * [simplify]: Extracting #4: cost 0 inf + 250 2.875 * [simplify]: Simplified to (sqrt (+ 5 d3)) 2.875 * [simplify]: Simplified (2 1 2 1) to (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (sqrt (+ 5 d3)) (* (sqrt (+ d3 5)) d1))) (* d1 32))) 2.875 * * * * [progress]: [ 31 / 57 ] simplifiying candidate # 2.875 * * * * [progress]: [ 32 / 57 ] simplifiying candidate # 2.875 * * * * [progress]: [ 33 / 57 ] simplifiying candidate # 2.875 * [simplify]: Simplifying (* (+ (pow d3 3) (pow 5 3)) d1) 2.875 * * [simplify]: iters left: 5 (8 enodes) 2.879 * * [simplify]: iters left: 4 (41 enodes) 2.889 * * [simplify]: iters left: 3 (76 enodes) 2.923 * * [simplify]: iters left: 2 (151 enodes) 2.971 * * [simplify]: iters left: 1 (249 enodes) 3.088 * * [simplify]: Extracting #0: cost 1 inf + 0 3.088 * * [simplify]: Extracting #1: cost 6 inf + 0 3.089 * * [simplify]: Extracting #2: cost 27 inf + 1 3.089 * * [simplify]: Extracting #3: cost 55 inf + 374 3.090 * * [simplify]: Extracting #4: cost 41 inf + 1903 3.092 * * [simplify]: Extracting #5: cost 23 inf + 8691 3.095 * * [simplify]: Extracting #6: cost 2 inf + 18382 3.098 * * [simplify]: Extracting #7: cost 0 inf + 19057 3.101 * [simplify]: Simplified to (* (+ 125 (* d3 (* d3 d3))) d1) 3.101 * [simplify]: Simplified (2 1 2 1) to (λ (d1 d2 d3) (+ (+ (* d1 d2) (/ (* (+ 125 (* d3 (* d3 d3))) d1) (+ (* d3 d3) (- (* 5 5) (* d3 5))))) (* d1 32))) 3.101 * * * * [progress]: [ 34 / 57 ] simplifiying candidate # 3.102 * [simplify]: Simplifying (* (- (* d3 d3) (* 5 5)) d1) 3.102 * * [simplify]: iters left: 6 (7 enodes) 3.110 * * [simplify]: iters left: 5 (28 enodes) 3.121 * * [simplify]: iters left: 4 (54 enodes) 3.139 * * [simplify]: iters left: 3 (118 enodes) 3.194 * * [simplify]: iters left: 2 (280 enodes) 3.286 * * [simplify]: Extracting #0: cost 1 inf + 0 3.286 * * [simplify]: Extracting #1: cost 58 inf + 0 3.287 * * [simplify]: Extracting #2: cost 126 inf + 1 3.288 * * [simplify]: Extracting #3: cost 121 inf + 668 3.292 * * [simplify]: Extracting #4: cost 28 inf + 10360 3.298 * * [simplify]: Extracting #5: cost 0 inf + 14598 3.305 * [simplify]: Simplified to (* (- (* d3 d3) 25) d1) 3.305 * [simplify]: Simplified (2 1 2 1) to (λ (d1 d2 d3) (+ (+ (* d1 d2) (/ (* (- (* d3 d3) 25) d1) (- d3 5))) (* d1 32))) 3.305 * * * * [progress]: [ 35 / 57 ] simplifiying candidate #real (real->posit16 (* (+ d3 5) d1)))) (* d1 32)))> 3.305 * * * * [progress]: [ 36 / 57 ] simplifiying candidate # 3.305 * * * * [progress]: [ 37 / 57 ] simplifiying candidate # 3.305 * [simplify]: Simplifying (* (exp (* d1 d2)) (exp (* (+ d3 5) d1))) 3.305 * * [simplify]: iters left: 6 (10 enodes) 3.310 * * [simplify]: iters left: 5 (40 enodes) 3.323 * * [simplify]: iters left: 4 (72 enodes) 3.349 * * [simplify]: iters left: 3 (152 enodes) 3.375 * * [simplify]: iters left: 2 (330 enodes) 3.528 * * [simplify]: Extracting #0: cost 1 inf + 0 3.529 * * [simplify]: Extracting #1: cost 64 inf + 0 3.529 * * [simplify]: Extracting #2: cost 217 inf + 1 3.530 * * [simplify]: Extracting #3: cost 234 inf + 2055 3.532 * * [simplify]: Extracting #4: cost 154 inf + 15172 3.538 * * [simplify]: Extracting #5: cost 73 inf + 51304 3.548 * * [simplify]: Extracting #6: cost 12 inf + 94755 3.571 * * [simplify]: Extracting #7: cost 0 inf + 104533 3.588 * [simplify]: Simplified to (exp (* (+ d2 (+ 5 d3)) d1)) 3.588 * [simplify]: Simplified (2 1 1) to (λ (d1 d2 d3) (+ (log (exp (* (+ d2 (+ 5 d3)) d1))) (* d1 32))) 3.588 * * * * [progress]: [ 38 / 57 ] simplifiying candidate # 3.588 * * * * [progress]: [ 39 / 57 ] simplifiying candidate # 3.588 * * * * [progress]: [ 40 / 57 ] simplifiying candidate # 3.588 * * * * [progress]: [ 41 / 57 ] simplifiying candidate # 3.588 * * * * [progress]: [ 42 / 57 ] simplifiying candidate # 3.589 * * * * [progress]: [ 43 / 57 ] simplifiying candidate # 3.589 * * * * [progress]: [ 44 / 57 ] simplifiying candidate # 3.589 * * * * [progress]: [ 45 / 57 ] simplifiying candidate # 3.589 * * * * [progress]: [ 46 / 57 ] simplifiying candidate # 3.589 * * * * [progress]: [ 47 / 57 ] simplifiying candidate #real (real->posit16 (+ (* d1 d2) (* (+ d3 5) d1)))) (* d1 32)))> 3.589 * * * * [progress]: [ 48 / 57 ] simplifiying candidate # 3.589 * * * * [progress]: [ 49 / 57 ] simplifiying candidate # 3.589 * [simplify]: Simplifying (+ (* d2 d1) (+ (* d3 d1) (* 37 d1))) 3.589 * * [simplify]: iters left: 6 (9 enodes) 3.591 * * [simplify]: iters left: 5 (36 enodes) 3.597 * * [simplify]: iters left: 4 (55 enodes) 3.608 * * [simplify]: iters left: 3 (81 enodes) 3.625 * * [simplify]: iters left: 2 (93 enodes) 3.645 * * [simplify]: Extracting #0: cost 1 inf + 0 3.645 * * [simplify]: Extracting #1: cost 10 inf + 0 3.645 * * [simplify]: Extracting #2: cost 22 inf + 1 3.646 * * [simplify]: Extracting #3: cost 21 inf + 46 3.646 * * [simplify]: Extracting #4: cost 5 inf + 1126 3.647 * * [simplify]: Extracting #5: cost 0 inf + 1420 3.648 * [simplify]: Simplified to (* (+ d2 (+ d3 37)) d1) 3.648 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (* (+ d2 (+ d3 37)) d1)) 3.648 * * * * [progress]: [ 50 / 57 ] simplifiying candidate # 3.648 * [simplify]: Simplifying (+ (* d2 d1) (+ (* d3 d1) (* 37 d1))) 3.649 * * [simplify]: iters left: 6 (9 enodes) 3.654 * * [simplify]: iters left: 5 (36 enodes) 3.662 * * [simplify]: iters left: 4 (55 enodes) 3.671 * * [simplify]: iters left: 3 (81 enodes) 3.683 * * [simplify]: iters left: 2 (93 enodes) 3.693 * * [simplify]: Extracting #0: cost 1 inf + 0 3.693 * * [simplify]: Extracting #1: cost 10 inf + 0 3.693 * * [simplify]: Extracting #2: cost 22 inf + 1 3.693 * * [simplify]: Extracting #3: cost 21 inf + 46 3.693 * * [simplify]: Extracting #4: cost 5 inf + 1126 3.694 * * [simplify]: Extracting #5: cost 0 inf + 1420 3.694 * [simplify]: Simplified to (* (+ d2 (+ d3 37)) d1) 3.694 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (* (+ d2 (+ d3 37)) d1)) 3.694 * * * * [progress]: [ 51 / 57 ] simplifiying candidate # 3.694 * [simplify]: Simplifying (+ (* d2 d1) (+ (* d3 d1) (* 37 d1))) 3.695 * * [simplify]: iters left: 6 (9 enodes) 3.697 * * [simplify]: iters left: 5 (36 enodes) 3.704 * * [simplify]: iters left: 4 (55 enodes) 3.713 * * [simplify]: iters left: 3 (81 enodes) 3.725 * * [simplify]: iters left: 2 (93 enodes) 3.735 * * [simplify]: Extracting #0: cost 1 inf + 0 3.735 * * [simplify]: Extracting #1: cost 10 inf + 0 3.735 * * [simplify]: Extracting #2: cost 22 inf + 1 3.735 * * [simplify]: Extracting #3: cost 21 inf + 46 3.736 * * [simplify]: Extracting #4: cost 5 inf + 1126 3.736 * * [simplify]: Extracting #5: cost 0 inf + 1420 3.736 * [simplify]: Simplified to (* (+ d2 (+ d3 37)) d1) 3.737 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (* (+ d2 (+ d3 37)) d1)) 3.737 * * * * [progress]: [ 52 / 57 ] simplifiying candidate # 3.737 * [simplify]: Simplifying (+ (* d3 d1) (* 5 d1)) 3.737 * * [simplify]: iters left: 4 (6 enodes) 3.739 * * [simplify]: iters left: 3 (23 enodes) 3.742 * * [simplify]: iters left: 2 (28 enodes) 3.746 * * [simplify]: Extracting #0: cost 1 inf + 0 3.746 * * [simplify]: Extracting #1: cost 6 inf + 0 3.746 * * [simplify]: Extracting #2: cost 10 inf + 1 3.746 * * [simplify]: Extracting #3: cost 8 inf + 3 3.746 * * [simplify]: Extracting #4: cost 0 inf + 501 3.746 * * [simplify]: Extracting #5: cost 0 inf + 421 3.747 * [simplify]: Simplified to (* (+ 5 d3) d1) 3.747 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (+ 5 d3) d1)) (* d1 32))) 3.747 * * * * [progress]: [ 53 / 57 ] simplifiying candidate # 3.747 * [simplify]: Simplifying (+ (* d3 d1) (* 5 d1)) 3.747 * * [simplify]: iters left: 4 (6 enodes) 3.749 * * [simplify]: iters left: 3 (23 enodes) 3.752 * * [simplify]: iters left: 2 (28 enodes) 3.756 * * [simplify]: Extracting #0: cost 1 inf + 0 3.756 * * [simplify]: Extracting #1: cost 6 inf + 0 3.756 * * [simplify]: Extracting #2: cost 10 inf + 1 3.756 * * [simplify]: Extracting #3: cost 8 inf + 3 3.756 * * [simplify]: Extracting #4: cost 0 inf + 501 3.757 * * [simplify]: Extracting #5: cost 0 inf + 421 3.757 * [simplify]: Simplified to (* (+ 5 d3) d1) 3.757 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (+ 5 d3) d1)) (* d1 32))) 3.757 * * * * [progress]: [ 54 / 57 ] simplifiying candidate # 3.757 * [simplify]: Simplifying (+ (* d3 d1) (* 5 d1)) 3.757 * * [simplify]: iters left: 4 (6 enodes) 3.759 * * [simplify]: iters left: 3 (23 enodes) 3.763 * * [simplify]: iters left: 2 (28 enodes) 3.767 * * [simplify]: Extracting #0: cost 1 inf + 0 3.767 * * [simplify]: Extracting #1: cost 6 inf + 0 3.767 * * [simplify]: Extracting #2: cost 10 inf + 1 3.767 * * [simplify]: Extracting #3: cost 8 inf + 3 3.767 * * [simplify]: Extracting #4: cost 0 inf + 501 3.767 * * [simplify]: Extracting #5: cost 0 inf + 421 3.767 * [simplify]: Simplified to (* (+ 5 d3) d1) 3.767 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (+ 5 d3) d1)) (* d1 32))) 3.767 * * * * [progress]: [ 55 / 57 ] simplifiying candidate # 3.768 * [simplify]: Simplifying (+ (* d2 d1) (+ (* d3 d1) (* 5 d1))) 3.768 * * [simplify]: iters left: 6 (9 enodes) 3.770 * * [simplify]: iters left: 5 (36 enodes) 3.777 * * [simplify]: iters left: 4 (55 enodes) 3.786 * * [simplify]: iters left: 3 (81 enodes) 3.802 * * [simplify]: iters left: 2 (93 enodes) 3.812 * * [simplify]: Extracting #0: cost 1 inf + 0 3.812 * * [simplify]: Extracting #1: cost 10 inf + 0 3.812 * * [simplify]: Extracting #2: cost 22 inf + 1 3.812 * * [simplify]: Extracting #3: cost 21 inf + 46 3.812 * * [simplify]: Extracting #4: cost 5 inf + 1126 3.813 * * [simplify]: Extracting #5: cost 0 inf + 1420 3.813 * [simplify]: Simplified to (* (+ d2 (+ d3 5)) d1) 3.814 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+ (* (+ d2 (+ d3 5)) d1) (* d1 32))) 3.814 * * * * [progress]: [ 56 / 57 ] simplifiying candidate # 3.814 * [simplify]: Simplifying (+ (* d2 d1) (+ (* d3 d1) (* 5 d1))) 3.814 * * [simplify]: iters left: 6 (9 enodes) 3.816 * * [simplify]: iters left: 5 (36 enodes) 3.822 * * [simplify]: iters left: 4 (55 enodes) 3.836 * * [simplify]: iters left: 3 (81 enodes) 3.852 * * [simplify]: iters left: 2 (93 enodes) 3.864 * * [simplify]: Extracting #0: cost 1 inf + 0 3.864 * * [simplify]: Extracting #1: cost 10 inf + 0 3.864 * * [simplify]: Extracting #2: cost 22 inf + 1 3.864 * * [simplify]: Extracting #3: cost 21 inf + 46 3.864 * * [simplify]: Extracting #4: cost 5 inf + 1126 3.865 * * [simplify]: Extracting #5: cost 0 inf + 1420 3.865 * [simplify]: Simplified to (* (+ d2 (+ d3 5)) d1) 3.865 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+ (* (+ d2 (+ d3 5)) d1) (* d1 32))) 3.865 * * * * [progress]: [ 57 / 57 ] simplifiying candidate # 3.866 * [simplify]: Simplifying (+ (* d2 d1) (+ (* d3 d1) (* 5 d1))) 3.866 * * [simplify]: iters left: 6 (9 enodes) 3.868 * * [simplify]: iters left: 5 (36 enodes) 3.874 * * [simplify]: iters left: 4 (55 enodes) 3.883 * * [simplify]: iters left: 3 (81 enodes) 3.899 * * [simplify]: iters left: 2 (93 enodes) 3.918 * * [simplify]: Extracting #0: cost 1 inf + 0 3.919 * * [simplify]: Extracting #1: cost 10 inf + 0 3.919 * * [simplify]: Extracting #2: cost 22 inf + 1 3.919 * * [simplify]: Extracting #3: cost 21 inf + 46 3.919 * * [simplify]: Extracting #4: cost 5 inf + 1126 3.919 * * [simplify]: Extracting #5: cost 0 inf + 1420 3.920 * [simplify]: Simplified to (* (+ d2 (+ d3 5)) d1) 3.920 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+ (* (+ d2 (+ d3 5)) d1) (* d1 32))) 3.920 * * * [progress]: adding candidates to table 4.403 * [progress]: [Phase 3 of 3] Extracting. 4.403 * * [regime]: Finding splitpoints for: (# #) 4.403 * * * [regime-changes]: Trying 5 branch expressions: (d3 (+ d3 5) d2 d1 (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))) 4.403 * * * * [regimes]: Trying to branch on d3 from (# #) 4.453 * * * * [regimes]: Trying to branch on (+ d3 5) from (# #) 4.492 * * * * [regimes]: Trying to branch on d2 from (# #) 4.515 * * * * [regimes]: Trying to branch on d1 from (# #) 4.548 * * * * [regimes]: Trying to branch on (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)) from (# #) 4.573 * * * [regime]: Found split indices: #