0.001 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.057 * * * [progress]: [2/2] Setting up program. 0.062 * [progress]: [Phase 2 of 3] Improving. 0.062 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.062 * [simplify]: Simplifying: (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) 0.062 * * [simplify]: iteration 1: (9 enodes) 0.067 * * [simplify]: iteration 2: (42 enodes) 0.081 * * [simplify]: iteration 3: (75 enodes) 0.096 * * [simplify]: iteration 4: (129 enodes) 0.152 * * [simplify]: iteration 5: (431 enodes) 0.714 * * [simplify]: iteration 6: (1877 enodes) 7.227 * * [simplify]: Extracting #0: cost 1 inf + 0 7.228 * * [simplify]: Extracting #1: cost 307 inf + 0 7.237 * * [simplify]: Extracting #2: cost 1714 inf + 1050 7.247 * * [simplify]: Extracting #3: cost 1785 inf + 3630 7.265 * * [simplify]: Extracting #4: cost 1609 inf + 59351 7.365 * * [simplify]: Extracting #5: cost 942 inf + 496360 7.585 * * [simplify]: Extracting #6: cost 63 inf + 1227828 7.834 * * [simplify]: Extracting #7: cost 0 inf + 1232554 8.095 * * [simplify]: Extracting #8: cost 0 inf + 1230524 8.374 * [simplify]: Simplified to: (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* d1 d1)) 8.383 * * [progress]: iteration 1 / 4 8.383 * * * [progress]: picking best candidate 8.391 * * * * [pick]: Picked # 8.391 * * * [progress]: localizing error 8.427 * * * [progress]: generating rewritten candidates 8.427 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 9.149 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1 1) 9.173 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1) 9.209 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1) 9.355 * * * [progress]: generating series expansions 9.356 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 9.356 * [backup-simplify]: Simplify (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) into (pow d1 7) 9.356 * [approximate]: Taking taylor expansion of (pow d1 7) in (d1) around 0 9.356 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 9.356 * [taylor]: Taking taylor expansion of d1 in d1 9.356 * [backup-simplify]: Simplify 0 into 0 9.356 * [backup-simplify]: Simplify 1 into 1 9.356 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 9.356 * [taylor]: Taking taylor expansion of d1 in d1 9.356 * [backup-simplify]: Simplify 0 into 0 9.356 * [backup-simplify]: Simplify 1 into 1 9.357 * [backup-simplify]: Simplify (* 1 1) into 1 9.357 * [backup-simplify]: Simplify (* 1 1) into 1 9.357 * [backup-simplify]: Simplify (* 1 1) into 1 9.358 * [backup-simplify]: Simplify (* 1 1) into 1 9.358 * [backup-simplify]: Simplify 1 into 1 9.358 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.359 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.359 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.359 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.359 * [backup-simplify]: Simplify 0 into 0 9.360 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.361 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.362 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.362 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.362 * [backup-simplify]: Simplify 0 into 0 9.363 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.364 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.364 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.365 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.365 * [backup-simplify]: Simplify 0 into 0 9.365 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.366 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.367 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.368 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.368 * [backup-simplify]: Simplify 0 into 0 9.368 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.369 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.370 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.371 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.371 * [backup-simplify]: Simplify 0 into 0 9.372 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.373 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.373 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.374 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.374 * [backup-simplify]: Simplify 0 into 0 9.374 * [backup-simplify]: Simplify (* 1 (pow d1 7)) into (pow d1 7) 9.375 * [backup-simplify]: Simplify (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 7)) 9.375 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 7)) in (d1) around 0 9.375 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 9.375 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 9.375 * [taylor]: Taking taylor expansion of d1 in d1 9.375 * [backup-simplify]: Simplify 0 into 0 9.375 * [backup-simplify]: Simplify 1 into 1 9.375 * [backup-simplify]: Simplify (* 1 1) into 1 9.375 * [backup-simplify]: Simplify (* 1 1) into 1 9.375 * [backup-simplify]: Simplify (* 1 1) into 1 9.376 * [backup-simplify]: Simplify (* 1 1) into 1 9.376 * [backup-simplify]: Simplify (/ 1 1) into 1 9.376 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 9.376 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 9.376 * [taylor]: Taking taylor expansion of d1 in d1 9.376 * [backup-simplify]: Simplify 0 into 0 9.376 * [backup-simplify]: Simplify 1 into 1 9.376 * [backup-simplify]: Simplify (* 1 1) into 1 9.377 * [backup-simplify]: Simplify (* 1 1) into 1 9.377 * [backup-simplify]: Simplify (* 1 1) into 1 9.377 * [backup-simplify]: Simplify (* 1 1) into 1 9.377 * [backup-simplify]: Simplify (/ 1 1) into 1 9.377 * [backup-simplify]: Simplify 1 into 1 9.378 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.378 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.379 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.379 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.379 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.379 * [backup-simplify]: Simplify 0 into 0 9.380 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.380 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.381 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.382 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.382 * [backup-simplify]: Simplify 0 into 0 9.383 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.383 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.384 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.385 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.385 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.385 * [backup-simplify]: Simplify 0 into 0 9.386 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.386 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.387 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.388 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.388 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.389 * [backup-simplify]: Simplify 0 into 0 9.389 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.390 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.392 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.392 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.392 * [backup-simplify]: Simplify 0 into 0 9.393 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.394 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.395 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.400 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.400 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.400 * [backup-simplify]: Simplify 0 into 0 9.401 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 7)) into (pow d1 7) 9.401 * [backup-simplify]: Simplify (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 7)) 9.401 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 7)) in (d1) around 0 9.401 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 9.401 * [taylor]: Taking taylor expansion of -1 in d1 9.401 * [backup-simplify]: Simplify -1 into -1 9.401 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 9.401 * [taylor]: Taking taylor expansion of d1 in d1 9.401 * [backup-simplify]: Simplify 0 into 0 9.401 * [backup-simplify]: Simplify 1 into 1 9.401 * [backup-simplify]: Simplify (* 1 1) into 1 9.402 * [backup-simplify]: Simplify (* 1 1) into 1 9.402 * [backup-simplify]: Simplify (* 1 1) into 1 9.402 * [backup-simplify]: Simplify (* 1 1) into 1 9.402 * [backup-simplify]: Simplify (/ -1 1) into -1 9.402 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 9.402 * [taylor]: Taking taylor expansion of -1 in d1 9.402 * [backup-simplify]: Simplify -1 into -1 9.402 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 9.402 * [taylor]: Taking taylor expansion of d1 in d1 9.402 * [backup-simplify]: Simplify 0 into 0 9.402 * [backup-simplify]: Simplify 1 into 1 9.403 * [backup-simplify]: Simplify (* 1 1) into 1 9.403 * [backup-simplify]: Simplify (* 1 1) into 1 9.403 * [backup-simplify]: Simplify (* 1 1) into 1 9.403 * [backup-simplify]: Simplify (* 1 1) into 1 9.404 * [backup-simplify]: Simplify (/ -1 1) into -1 9.404 * [backup-simplify]: Simplify -1 into -1 9.404 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.405 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.405 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.405 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.406 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 9.406 * [backup-simplify]: Simplify 0 into 0 9.407 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.407 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.408 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.408 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.409 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.409 * [backup-simplify]: Simplify 0 into 0 9.410 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.410 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.411 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.411 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.412 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.412 * [backup-simplify]: Simplify 0 into 0 9.413 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.413 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.414 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.415 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.416 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.416 * [backup-simplify]: Simplify 0 into 0 9.417 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.417 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.418 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.420 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.420 * [backup-simplify]: Simplify 0 into 0 9.421 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.422 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.422 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.423 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.424 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.424 * [backup-simplify]: Simplify 0 into 0 9.424 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 7)) into (pow d1 7) 9.424 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1 1) 9.424 * [backup-simplify]: Simplify (* d1 (* d1 d1)) into (pow d1 3) 9.424 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0 9.424 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 9.424 * [taylor]: Taking taylor expansion of d1 in d1 9.424 * [backup-simplify]: Simplify 0 into 0 9.424 * [backup-simplify]: Simplify 1 into 1 9.424 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 9.424 * [taylor]: Taking taylor expansion of d1 in d1 9.424 * [backup-simplify]: Simplify 0 into 0 9.424 * [backup-simplify]: Simplify 1 into 1 9.425 * [backup-simplify]: Simplify (* 1 1) into 1 9.425 * [backup-simplify]: Simplify (* 1 1) into 1 9.425 * [backup-simplify]: Simplify 1 into 1 9.425 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.426 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.426 * [backup-simplify]: Simplify 0 into 0 9.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.427 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.427 * [backup-simplify]: Simplify 0 into 0 9.428 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.428 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.428 * [backup-simplify]: Simplify 0 into 0 9.429 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.430 * [backup-simplify]: Simplify 0 into 0 9.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.431 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.431 * [backup-simplify]: Simplify 0 into 0 9.433 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.434 * [backup-simplify]: Simplify 0 into 0 9.434 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3) 9.434 * [backup-simplify]: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3)) 9.435 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0 9.435 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 9.435 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 9.435 * [taylor]: Taking taylor expansion of d1 in d1 9.435 * [backup-simplify]: Simplify 0 into 0 9.435 * [backup-simplify]: Simplify 1 into 1 9.435 * [backup-simplify]: Simplify (* 1 1) into 1 9.435 * [backup-simplify]: Simplify (* 1 1) into 1 9.436 * [backup-simplify]: Simplify (/ 1 1) into 1 9.436 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 9.436 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 9.436 * [taylor]: Taking taylor expansion of d1 in d1 9.436 * [backup-simplify]: Simplify 0 into 0 9.436 * [backup-simplify]: Simplify 1 into 1 9.436 * [backup-simplify]: Simplify (* 1 1) into 1 9.437 * [backup-simplify]: Simplify (* 1 1) into 1 9.437 * [backup-simplify]: Simplify (/ 1 1) into 1 9.437 * [backup-simplify]: Simplify 1 into 1 9.438 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.439 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.439 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.440 * [backup-simplify]: Simplify 0 into 0 9.440 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.441 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.442 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.442 * [backup-simplify]: Simplify 0 into 0 9.444 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.445 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.446 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.446 * [backup-simplify]: Simplify 0 into 0 9.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.448 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.450 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.450 * [backup-simplify]: Simplify 0 into 0 9.451 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.452 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.453 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.453 * [backup-simplify]: Simplify 0 into 0 9.454 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.455 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.455 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.455 * [backup-simplify]: Simplify 0 into 0 9.455 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3) 9.456 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3)) 9.456 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0 9.456 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 9.456 * [taylor]: Taking taylor expansion of -1 in d1 9.456 * [backup-simplify]: Simplify -1 into -1 9.456 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 9.456 * [taylor]: Taking taylor expansion of d1 in d1 9.456 * [backup-simplify]: Simplify 0 into 0 9.456 * [backup-simplify]: Simplify 1 into 1 9.456 * [backup-simplify]: Simplify (* 1 1) into 1 9.456 * [backup-simplify]: Simplify (* 1 1) into 1 9.457 * [backup-simplify]: Simplify (/ -1 1) into -1 9.457 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 9.457 * [taylor]: Taking taylor expansion of -1 in d1 9.457 * [backup-simplify]: Simplify -1 into -1 9.457 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 9.457 * [taylor]: Taking taylor expansion of d1 in d1 9.457 * [backup-simplify]: Simplify 0 into 0 9.457 * [backup-simplify]: Simplify 1 into 1 9.457 * [backup-simplify]: Simplify (* 1 1) into 1 9.457 * [backup-simplify]: Simplify (* 1 1) into 1 9.458 * [backup-simplify]: Simplify (/ -1 1) into -1 9.458 * [backup-simplify]: Simplify -1 into -1 9.458 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.459 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.459 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 9.459 * [backup-simplify]: Simplify 0 into 0 9.460 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.460 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.461 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.461 * [backup-simplify]: Simplify 0 into 0 9.462 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.462 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.463 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.463 * [backup-simplify]: Simplify 0 into 0 9.464 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.464 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.465 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.465 * [backup-simplify]: Simplify 0 into 0 9.466 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.467 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.467 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.467 * [backup-simplify]: Simplify 0 into 0 9.468 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.469 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.470 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.470 * [backup-simplify]: Simplify 0 into 0 9.470 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3) 9.470 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1) 9.470 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4) 9.470 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0 9.470 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 9.470 * [taylor]: Taking taylor expansion of d1 in d1 9.470 * [backup-simplify]: Simplify 0 into 0 9.470 * [backup-simplify]: Simplify 1 into 1 9.470 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 9.470 * [taylor]: Taking taylor expansion of d1 in d1 9.470 * [backup-simplify]: Simplify 0 into 0 9.470 * [backup-simplify]: Simplify 1 into 1 9.470 * [backup-simplify]: Simplify (* 1 1) into 1 9.470 * [backup-simplify]: Simplify (* 1 1) into 1 9.471 * [backup-simplify]: Simplify 1 into 1 9.471 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.471 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.471 * [backup-simplify]: Simplify 0 into 0 9.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.472 * [backup-simplify]: Simplify 0 into 0 9.473 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.474 * [backup-simplify]: Simplify 0 into 0 9.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.476 * [backup-simplify]: Simplify 0 into 0 9.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.478 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.478 * [backup-simplify]: Simplify 0 into 0 9.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.480 * [backup-simplify]: Simplify 0 into 0 9.480 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4) 9.480 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4)) 9.480 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 9.480 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 9.480 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 9.480 * [taylor]: Taking taylor expansion of d1 in d1 9.480 * [backup-simplify]: Simplify 0 into 0 9.480 * [backup-simplify]: Simplify 1 into 1 9.480 * [backup-simplify]: Simplify (* 1 1) into 1 9.480 * [backup-simplify]: Simplify (* 1 1) into 1 9.481 * [backup-simplify]: Simplify (/ 1 1) into 1 9.481 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 9.481 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 9.481 * [taylor]: Taking taylor expansion of d1 in d1 9.481 * [backup-simplify]: Simplify 0 into 0 9.481 * [backup-simplify]: Simplify 1 into 1 9.481 * [backup-simplify]: Simplify (* 1 1) into 1 9.481 * [backup-simplify]: Simplify (* 1 1) into 1 9.482 * [backup-simplify]: Simplify (/ 1 1) into 1 9.482 * [backup-simplify]: Simplify 1 into 1 9.482 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.482 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.483 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.483 * [backup-simplify]: Simplify 0 into 0 9.483 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.484 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.485 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.485 * [backup-simplify]: Simplify 0 into 0 9.485 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.486 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.486 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.486 * [backup-simplify]: Simplify 0 into 0 9.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.489 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.489 * [backup-simplify]: Simplify 0 into 0 9.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.493 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.493 * [backup-simplify]: Simplify 0 into 0 9.495 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.496 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.499 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.499 * [backup-simplify]: Simplify 0 into 0 9.499 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4) 9.500 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4)) 9.500 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 9.500 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 9.500 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 9.500 * [taylor]: Taking taylor expansion of d1 in d1 9.500 * [backup-simplify]: Simplify 0 into 0 9.500 * [backup-simplify]: Simplify 1 into 1 9.500 * [backup-simplify]: Simplify (* 1 1) into 1 9.501 * [backup-simplify]: Simplify (* 1 1) into 1 9.501 * [backup-simplify]: Simplify (/ 1 1) into 1 9.501 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 9.501 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 9.501 * [taylor]: Taking taylor expansion of d1 in d1 9.501 * [backup-simplify]: Simplify 0 into 0 9.501 * [backup-simplify]: Simplify 1 into 1 9.502 * [backup-simplify]: Simplify (* 1 1) into 1 9.502 * [backup-simplify]: Simplify (* 1 1) into 1 9.503 * [backup-simplify]: Simplify (/ 1 1) into 1 9.503 * [backup-simplify]: Simplify 1 into 1 9.503 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.504 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.505 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.505 * [backup-simplify]: Simplify 0 into 0 9.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.509 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.509 * [backup-simplify]: Simplify 0 into 0 9.510 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.512 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.512 * [backup-simplify]: Simplify 0 into 0 9.514 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.515 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.516 * [backup-simplify]: Simplify 0 into 0 9.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.520 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.520 * [backup-simplify]: Simplify 0 into 0 9.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.524 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.525 * [backup-simplify]: Simplify 0 into 0 9.525 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4) 9.525 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1) 9.525 * [backup-simplify]: Simplify (* (* (* d1 (* d1 d1)) d1) d1) into (pow d1 5) 9.525 * [approximate]: Taking taylor expansion of (pow d1 5) in (d1) around 0 9.525 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 9.525 * [taylor]: Taking taylor expansion of d1 in d1 9.525 * [backup-simplify]: Simplify 0 into 0 9.525 * [backup-simplify]: Simplify 1 into 1 9.525 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 9.525 * [taylor]: Taking taylor expansion of d1 in d1 9.525 * [backup-simplify]: Simplify 0 into 0 9.525 * [backup-simplify]: Simplify 1 into 1 9.526 * [backup-simplify]: Simplify (* 1 1) into 1 9.526 * [backup-simplify]: Simplify (* 1 1) into 1 9.526 * [backup-simplify]: Simplify (* 1 1) into 1 9.526 * [backup-simplify]: Simplify 1 into 1 9.527 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.528 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.528 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.528 * [backup-simplify]: Simplify 0 into 0 9.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.530 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.531 * [backup-simplify]: Simplify 0 into 0 9.532 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.535 * [backup-simplify]: Simplify 0 into 0 9.536 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.538 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.538 * [backup-simplify]: Simplify 0 into 0 9.540 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.541 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.541 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.541 * [backup-simplify]: Simplify 0 into 0 9.542 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.543 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.544 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.544 * [backup-simplify]: Simplify 0 into 0 9.544 * [backup-simplify]: Simplify (* 1 (pow d1 5)) into (pow d1 5) 9.544 * [backup-simplify]: Simplify (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 5)) 9.544 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0 9.544 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1 9.544 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 9.544 * [taylor]: Taking taylor expansion of d1 in d1 9.544 * [backup-simplify]: Simplify 0 into 0 9.544 * [backup-simplify]: Simplify 1 into 1 9.545 * [backup-simplify]: Simplify (* 1 1) into 1 9.545 * [backup-simplify]: Simplify (* 1 1) into 1 9.545 * [backup-simplify]: Simplify (* 1 1) into 1 9.545 * [backup-simplify]: Simplify (/ 1 1) into 1 9.545 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1 9.546 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 9.546 * [taylor]: Taking taylor expansion of d1 in d1 9.546 * [backup-simplify]: Simplify 0 into 0 9.546 * [backup-simplify]: Simplify 1 into 1 9.546 * [backup-simplify]: Simplify (* 1 1) into 1 9.546 * [backup-simplify]: Simplify (* 1 1) into 1 9.546 * [backup-simplify]: Simplify (* 1 1) into 1 9.547 * [backup-simplify]: Simplify (/ 1 1) into 1 9.547 * [backup-simplify]: Simplify 1 into 1 9.547 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.547 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.548 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.548 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.548 * [backup-simplify]: Simplify 0 into 0 9.549 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.549 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.550 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.550 * [backup-simplify]: Simplify 0 into 0 9.551 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.553 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.553 * [backup-simplify]: Simplify 0 into 0 9.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.555 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.556 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.556 * [backup-simplify]: Simplify 0 into 0 9.557 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.557 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.558 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.559 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.559 * [backup-simplify]: Simplify 0 into 0 9.560 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.561 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.561 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.562 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.562 * [backup-simplify]: Simplify 0 into 0 9.562 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5) 9.562 * [backup-simplify]: Simplify (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) into (/ -1 (pow d1 5)) 9.562 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0 9.562 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1 9.562 * [taylor]: Taking taylor expansion of -1 in d1 9.562 * [backup-simplify]: Simplify -1 into -1 9.562 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 9.562 * [taylor]: Taking taylor expansion of d1 in d1 9.562 * [backup-simplify]: Simplify 0 into 0 9.562 * [backup-simplify]: Simplify 1 into 1 9.563 * [backup-simplify]: Simplify (* 1 1) into 1 9.563 * [backup-simplify]: Simplify (* 1 1) into 1 9.563 * [backup-simplify]: Simplify (* 1 1) into 1 9.563 * [backup-simplify]: Simplify (/ -1 1) into -1 9.563 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1 9.564 * [taylor]: Taking taylor expansion of -1 in d1 9.564 * [backup-simplify]: Simplify -1 into -1 9.564 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 9.564 * [taylor]: Taking taylor expansion of d1 in d1 9.564 * [backup-simplify]: Simplify 0 into 0 9.564 * [backup-simplify]: Simplify 1 into 1 9.564 * [backup-simplify]: Simplify (* 1 1) into 1 9.564 * [backup-simplify]: Simplify (* 1 1) into 1 9.564 * [backup-simplify]: Simplify (* 1 1) into 1 9.565 * [backup-simplify]: Simplify (/ -1 1) into -1 9.565 * [backup-simplify]: Simplify -1 into -1 9.565 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.565 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.566 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.566 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 9.566 * [backup-simplify]: Simplify 0 into 0 9.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.568 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.569 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.570 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.570 * [backup-simplify]: Simplify 0 into 0 9.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.572 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.573 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.574 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.574 * [backup-simplify]: Simplify 0 into 0 9.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.577 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.578 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.579 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.580 * [backup-simplify]: Simplify 0 into 0 9.581 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.583 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.585 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.585 * [backup-simplify]: Simplify 0 into 0 9.587 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.589 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.590 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.592 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.592 * [backup-simplify]: Simplify 0 into 0 9.592 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5) 9.592 * * * [progress]: simplifying candidates 9.592 * * * * [progress]: [ 1 / 235 ] simplifiying candidate # 9.592 * * * * [progress]: [ 2 / 235 ] simplifiying candidate # 9.593 * * * * [progress]: [ 3 / 235 ] simplifiying candidate # 9.593 * * * * [progress]: [ 4 / 235 ] simplifiying candidate # 9.593 * * * * [progress]: [ 5 / 235 ] simplifiying candidate # 9.593 * * * * [progress]: [ 6 / 235 ] simplifiying candidate # 9.593 * * * * [progress]: [ 7 / 235 ] simplifiying candidate # 9.593 * * * * [progress]: [ 8 / 235 ] simplifiying candidate # 9.593 * * * * [progress]: [ 9 / 235 ] simplifiying candidate # 9.593 * * * * [progress]: [ 10 / 235 ] simplifiying candidate # 9.593 * * * * [progress]: [ 11 / 235 ] simplifiying candidate # 9.593 * * * * [progress]: [ 12 / 235 ] simplifiying candidate # 9.593 * * * * [progress]: [ 13 / 235 ] simplifiying candidate # 9.593 * * * * [progress]: [ 14 / 235 ] simplifiying candidate # 9.593 * * * * [progress]: [ 15 / 235 ] simplifiying candidate # 9.594 * * * * [progress]: [ 16 / 235 ] simplifiying candidate # 9.594 * * * * [progress]: [ 17 / 235 ] simplifiying candidate # 9.594 * * * * [progress]: [ 18 / 235 ] simplifiying candidate # 9.594 * * * * [progress]: [ 19 / 235 ] simplifiying candidate # 9.594 * * * * [progress]: [ 20 / 235 ] simplifiying candidate # 9.594 * * * * [progress]: [ 21 / 235 ] simplifiying candidate # 9.594 * * * * [progress]: [ 22 / 235 ] simplifiying candidate # 9.594 * * * * [progress]: [ 23 / 235 ] simplifiying candidate # 9.594 * * * * [progress]: [ 24 / 235 ] simplifiying candidate # 9.594 * * * * [progress]: [ 25 / 235 ] simplifiying candidate # 9.594 * * * * [progress]: [ 26 / 235 ] simplifiying candidate # 9.594 * * * * [progress]: [ 27 / 235 ] simplifiying candidate # 9.594 * * * * [progress]: [ 28 / 235 ] simplifiying candidate # 9.594 * * * * [progress]: [ 29 / 235 ] simplifiying candidate # 9.595 * * * * [progress]: [ 30 / 235 ] simplifiying candidate # 9.595 * * * * [progress]: [ 31 / 235 ] simplifiying candidate # 9.595 * * * * [progress]: [ 32 / 235 ] simplifiying candidate # 9.595 * * * * [progress]: [ 33 / 235 ] simplifiying candidate # 9.595 * * * * [progress]: [ 34 / 235 ] simplifiying candidate # 9.595 * * * * [progress]: [ 35 / 235 ] simplifiying candidate # 9.595 * * * * [progress]: [ 36 / 235 ] simplifiying candidate # 9.595 * * * * [progress]: [ 37 / 235 ] simplifiying candidate # 9.595 * * * * [progress]: [ 38 / 235 ] simplifiying candidate # 9.595 * * * * [progress]: [ 39 / 235 ] simplifiying candidate # 9.595 * * * * [progress]: [ 40 / 235 ] simplifiying candidate # 9.595 * * * * [progress]: [ 41 / 235 ] simplifiying candidate # 9.595 * * * * [progress]: [ 42 / 235 ] simplifiying candidate # 9.595 * * * * [progress]: [ 43 / 235 ] simplifiying candidate # 9.596 * * * * [progress]: [ 44 / 235 ] simplifiying candidate # 9.596 * * * * [progress]: [ 45 / 235 ] simplifiying candidate # 9.596 * * * * [progress]: [ 46 / 235 ] simplifiying candidate # 9.596 * * * * [progress]: [ 47 / 235 ] simplifiying candidate # 9.596 * * * * [progress]: [ 48 / 235 ] simplifiying candidate # 9.596 * * * * [progress]: [ 49 / 235 ] simplifiying candidate # 9.596 * * * * [progress]: [ 50 / 235 ] simplifiying candidate # 9.596 * * * * [progress]: [ 51 / 235 ] simplifiying candidate # 9.596 * * * * [progress]: [ 52 / 235 ] simplifiying candidate # 9.596 * * * * [progress]: [ 53 / 235 ] simplifiying candidate # 9.596 * * * * [progress]: [ 54 / 235 ] simplifiying candidate # 9.596 * * * * [progress]: [ 55 / 235 ] simplifiying candidate # 9.596 * * * * [progress]: [ 56 / 235 ] simplifiying candidate # 9.597 * * * * [progress]: [ 57 / 235 ] simplifiying candidate # 9.597 * * * * [progress]: [ 58 / 235 ] simplifiying candidate # 9.597 * * * * [progress]: [ 59 / 235 ] simplifiying candidate # 9.597 * * * * [progress]: [ 60 / 235 ] simplifiying candidate # 9.597 * * * * [progress]: [ 61 / 235 ] simplifiying candidate # 9.597 * * * * [progress]: [ 62 / 235 ] simplifiying candidate # 9.597 * * * * [progress]: [ 63 / 235 ] simplifiying candidate # 9.597 * * * * [progress]: [ 64 / 235 ] simplifiying candidate # 9.597 * * * * [progress]: [ 65 / 235 ] simplifiying candidate # 9.597 * * * * [progress]: [ 66 / 235 ] simplifiying candidate # 9.597 * * * * [progress]: [ 67 / 235 ] simplifiying candidate # 9.597 * * * * [progress]: [ 68 / 235 ] simplifiying candidate # 9.598 * * * * [progress]: [ 69 / 235 ] simplifiying candidate # 9.598 * * * * [progress]: [ 70 / 235 ] simplifiying candidate # 9.598 * * * * [progress]: [ 71 / 235 ] simplifiying candidate # 9.598 * * * * [progress]: [ 72 / 235 ] simplifiying candidate # 9.598 * * * * [progress]: [ 73 / 235 ] simplifiying candidate # 9.598 * * * * [progress]: [ 74 / 235 ] simplifiying candidate # 9.598 * * * * [progress]: [ 75 / 235 ] simplifiying candidate # 9.598 * * * * [progress]: [ 76 / 235 ] simplifiying candidate # 9.598 * * * * [progress]: [ 77 / 235 ] simplifiying candidate # 9.598 * * * * [progress]: [ 78 / 235 ] simplifiying candidate # 9.598 * * * * [progress]: [ 79 / 235 ] simplifiying candidate # 9.598 * * * * [progress]: [ 80 / 235 ] simplifiying candidate # 9.598 * * * * [progress]: [ 81 / 235 ] simplifiying candidate # 9.598 * * * * [progress]: [ 82 / 235 ] simplifiying candidate # 9.599 * * * * [progress]: [ 83 / 235 ] simplifiying candidate # 9.599 * * * * [progress]: [ 84 / 235 ] simplifiying candidate # 9.599 * * * * [progress]: [ 85 / 235 ] simplifiying candidate # 9.600 * * * * [progress]: [ 86 / 235 ] simplifiying candidate # 9.600 * * * * [progress]: [ 87 / 235 ] simplifiying candidate # 9.600 * * * * [progress]: [ 88 / 235 ] simplifiying candidate # 9.600 * * * * [progress]: [ 89 / 235 ] simplifiying candidate # 9.600 * * * * [progress]: [ 90 / 235 ] simplifiying candidate # 9.600 * * * * [progress]: [ 91 / 235 ] simplifiying candidate # 9.600 * * * * [progress]: [ 92 / 235 ] simplifiying candidate # 9.600 * * * * [progress]: [ 93 / 235 ] simplifiying candidate # 9.600 * * * * [progress]: [ 94 / 235 ] simplifiying candidate # 9.600 * * * * [progress]: [ 95 / 235 ] simplifiying candidate # 9.600 * * * * [progress]: [ 96 / 235 ] simplifiying candidate # 9.600 * * * * [progress]: [ 97 / 235 ] simplifiying candidate # 9.600 * * * * [progress]: [ 98 / 235 ] simplifiying candidate # 9.601 * * * * [progress]: [ 99 / 235 ] simplifiying candidate # 9.601 * * * * [progress]: [ 100 / 235 ] simplifiying candidate # 9.601 * * * * [progress]: [ 101 / 235 ] simplifiying candidate # 9.601 * * * * [progress]: [ 102 / 235 ] simplifiying candidate # 9.601 * * * * [progress]: [ 103 / 235 ] simplifiying candidate # 9.601 * * * * [progress]: [ 104 / 235 ] simplifiying candidate # 9.601 * * * * [progress]: [ 105 / 235 ] simplifiying candidate # 9.601 * * * * [progress]: [ 106 / 235 ] simplifiying candidate # 9.601 * * * * [progress]: [ 107 / 235 ] simplifiying candidate # 9.601 * * * * [progress]: [ 108 / 235 ] simplifiying candidate # 9.601 * * * * [progress]: [ 109 / 235 ] simplifiying candidate # 9.601 * * * * [progress]: [ 110 / 235 ] simplifiying candidate # 9.601 * * * * [progress]: [ 111 / 235 ] simplifiying candidate # 9.602 * * * * [progress]: [ 112 / 235 ] simplifiying candidate # 9.602 * * * * [progress]: [ 113 / 235 ] simplifiying candidate # 9.602 * * * * [progress]: [ 114 / 235 ] simplifiying candidate # 9.602 * * * * [progress]: [ 115 / 235 ] simplifiying candidate # 9.602 * * * * [progress]: [ 116 / 235 ] simplifiying candidate # 9.602 * * * * [progress]: [ 117 / 235 ] simplifiying candidate # 9.602 * * * * [progress]: [ 118 / 235 ] simplifiying candidate # 9.602 * * * * [progress]: [ 119 / 235 ] simplifiying candidate # 9.602 * * * * [progress]: [ 120 / 235 ] simplifiying candidate #real (real->posit16 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) d1)) d1))> 9.602 * * * * [progress]: [ 121 / 235 ] simplifiying candidate # 9.602 * * * * [progress]: [ 122 / 235 ] simplifiying candidate # 9.602 * * * * [progress]: [ 123 / 235 ] simplifiying candidate # 9.602 * * * * [progress]: [ 124 / 235 ] simplifiying candidate # 9.603 * * * * [progress]: [ 125 / 235 ] simplifiying candidate # 9.603 * * * * [progress]: [ 126 / 235 ] simplifiying candidate # 9.603 * * * * [progress]: [ 127 / 235 ] simplifiying candidate # 9.603 * * * * [progress]: [ 128 / 235 ] simplifiying candidate # 9.603 * * * * [progress]: [ 129 / 235 ] simplifiying candidate # 9.603 * * * * [progress]: [ 130 / 235 ] simplifiying candidate # 9.603 * * * * [progress]: [ 131 / 235 ] simplifiying candidate # 9.603 * * * * [progress]: [ 132 / 235 ] simplifiying candidate # 9.603 * * * * [progress]: [ 133 / 235 ] simplifiying candidate # 9.603 * * * * [progress]: [ 134 / 235 ] simplifiying candidate # 9.603 * * * * [progress]: [ 135 / 235 ] simplifiying candidate # 9.603 * * * * [progress]: [ 136 / 235 ] simplifiying candidate # 9.603 * * * * [progress]: [ 137 / 235 ] simplifiying candidate # 9.603 * * * * [progress]: [ 138 / 235 ] simplifiying candidate # 9.604 * * * * [progress]: [ 139 / 235 ] simplifiying candidate # 9.604 * * * * [progress]: [ 140 / 235 ] simplifiying candidate # 9.604 * * * * [progress]: [ 141 / 235 ] simplifiying candidate # 9.604 * * * * [progress]: [ 142 / 235 ] simplifiying candidate # 9.604 * * * * [progress]: [ 143 / 235 ] simplifiying candidate # 9.604 * * * * [progress]: [ 144 / 235 ] simplifiying candidate # 9.604 * * * * [progress]: [ 145 / 235 ] simplifiying candidate #real (real->posit16 (* d1 (* d1 d1)))) d1) d1) (* d1 d1)) d1)) d1))> 9.604 * * * * [progress]: [ 146 / 235 ] simplifiying candidate # 9.604 * * * * [progress]: [ 147 / 235 ] simplifiying candidate # 9.604 * * * * [progress]: [ 148 / 235 ] simplifiying candidate # 9.604 * * * * [progress]: [ 149 / 235 ] simplifiying candidate # 9.604 * * * * [progress]: [ 150 / 235 ] simplifiying candidate # 9.604 * * * * [progress]: [ 151 / 235 ] simplifiying candidate # 9.604 * * * * [progress]: [ 152 / 235 ] simplifiying candidate # 9.605 * * * * [progress]: [ 153 / 235 ] simplifiying candidate # 9.605 * * * * [progress]: [ 154 / 235 ] simplifiying candidate # 9.605 * * * * [progress]: [ 155 / 235 ] simplifiying candidate # 9.605 * * * * [progress]: [ 156 / 235 ] simplifiying candidate # 9.605 * * * * [progress]: [ 157 / 235 ] simplifiying candidate # 9.605 * * * * [progress]: [ 158 / 235 ] simplifiying candidate # 9.605 * * * * [progress]: [ 159 / 235 ] simplifiying candidate # 9.605 * * * * [progress]: [ 160 / 235 ] simplifiying candidate # 9.605 * * * * [progress]: [ 161 / 235 ] simplifiying candidate # 9.605 * * * * [progress]: [ 162 / 235 ] simplifiying candidate # 9.605 * * * * [progress]: [ 163 / 235 ] simplifiying candidate # 9.605 * * * * [progress]: [ 164 / 235 ] simplifiying candidate # 9.605 * * * * [progress]: [ 165 / 235 ] simplifiying candidate # 9.605 * * * * [progress]: [ 166 / 235 ] simplifiying candidate # 9.605 * * * * [progress]: [ 167 / 235 ] simplifiying candidate # 9.606 * * * * [progress]: [ 168 / 235 ] simplifiying candidate # 9.606 * * * * [progress]: [ 169 / 235 ] simplifiying candidate # 9.606 * * * * [progress]: [ 170 / 235 ] simplifiying candidate # 9.606 * * * * [progress]: [ 171 / 235 ] simplifiying candidate # 9.606 * * * * [progress]: [ 172 / 235 ] simplifiying candidate # 9.606 * * * * [progress]: [ 173 / 235 ] simplifiying candidate # 9.606 * * * * [progress]: [ 174 / 235 ] simplifiying candidate # 9.606 * * * * [progress]: [ 175 / 235 ] simplifiying candidate # 9.606 * * * * [progress]: [ 176 / 235 ] simplifiying candidate # 9.606 * * * * [progress]: [ 177 / 235 ] simplifiying candidate #real (real->posit16 (* (* d1 (* d1 d1)) d1))) d1) (* d1 d1)) d1)) d1))> 9.606 * * * * [progress]: [ 178 / 235 ] simplifiying candidate # 9.606 * * * * [progress]: [ 179 / 235 ] simplifiying candidate # 9.606 * * * * [progress]: [ 180 / 235 ] simplifiying candidate # 9.606 * * * * [progress]: [ 181 / 235 ] simplifiying candidate # 9.607 * * * * [progress]: [ 182 / 235 ] simplifiying candidate # 9.607 * * * * [progress]: [ 183 / 235 ] simplifiying candidate # 9.607 * * * * [progress]: [ 184 / 235 ] simplifiying candidate # 9.607 * * * * [progress]: [ 185 / 235 ] simplifiying candidate # 9.607 * * * * [progress]: [ 186 / 235 ] simplifiying candidate # 9.607 * * * * [progress]: [ 187 / 235 ] simplifiying candidate # 9.607 * * * * [progress]: [ 188 / 235 ] simplifiying candidate # 9.607 * * * * [progress]: [ 189 / 235 ] simplifiying candidate # 9.607 * * * * [progress]: [ 190 / 235 ] simplifiying candidate # 9.607 * * * * [progress]: [ 191 / 235 ] simplifiying candidate # 9.607 * * * * [progress]: [ 192 / 235 ] simplifiying candidate # 9.607 * * * * [progress]: [ 193 / 235 ] simplifiying candidate # 9.607 * * * * [progress]: [ 194 / 235 ] simplifiying candidate # 9.607 * * * * [progress]: [ 195 / 235 ] simplifiying candidate # 9.608 * * * * [progress]: [ 196 / 235 ] simplifiying candidate # 9.608 * * * * [progress]: [ 197 / 235 ] simplifiying candidate # 9.608 * * * * [progress]: [ 198 / 235 ] simplifiying candidate # 9.608 * * * * [progress]: [ 199 / 235 ] simplifiying candidate # 9.608 * * * * [progress]: [ 200 / 235 ] simplifiying candidate # 9.608 * * * * [progress]: [ 201 / 235 ] simplifiying candidate # 9.608 * * * * [progress]: [ 202 / 235 ] simplifiying candidate # 9.608 * * * * [progress]: [ 203 / 235 ] simplifiying candidate # 9.608 * * * * [progress]: [ 204 / 235 ] simplifiying candidate # 9.608 * * * * [progress]: [ 205 / 235 ] simplifiying candidate # 9.608 * * * * [progress]: [ 206 / 235 ] simplifiying candidate # 9.608 * * * * [progress]: [ 207 / 235 ] simplifiying candidate # 9.608 * * * * [progress]: [ 208 / 235 ] simplifiying candidate # 9.608 * * * * [progress]: [ 209 / 235 ] simplifiying candidate # 9.608 * * * * [progress]: [ 210 / 235 ] simplifiying candidate # 9.609 * * * * [progress]: [ 211 / 235 ] simplifiying candidate # 9.609 * * * * [progress]: [ 212 / 235 ] simplifiying candidate # 9.609 * * * * [progress]: [ 213 / 235 ] simplifiying candidate # 9.609 * * * * [progress]: [ 214 / 235 ] simplifiying candidate # 9.609 * * * * [progress]: [ 215 / 235 ] simplifiying candidate # 9.609 * * * * [progress]: [ 216 / 235 ] simplifiying candidate # 9.609 * * * * [progress]: [ 217 / 235 ] simplifiying candidate # 9.609 * * * * [progress]: [ 218 / 235 ] simplifiying candidate # 9.609 * * * * [progress]: [ 219 / 235 ] simplifiying candidate # 9.609 * * * * [progress]: [ 220 / 235 ] simplifiying candidate # 9.609 * * * * [progress]: [ 221 / 235 ] simplifiying candidate # 9.609 * * * * [progress]: [ 222 / 235 ] simplifiying candidate #real (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1))) (* d1 d1)) d1)) d1))> 9.609 * * * * [progress]: [ 223 / 235 ] simplifiying candidate # 9.609 * * * * [progress]: [ 224 / 235 ] simplifiying candidate # 9.609 * * * * [progress]: [ 225 / 235 ] simplifiying candidate # 9.610 * * * * [progress]: [ 226 / 235 ] simplifiying candidate # 9.610 * * * * [progress]: [ 227 / 235 ] simplifiying candidate # 9.610 * * * * [progress]: [ 228 / 235 ] simplifiying candidate # 9.610 * * * * [progress]: [ 229 / 235 ] simplifiying candidate # 9.610 * * * * [progress]: [ 230 / 235 ] simplifiying candidate # 9.610 * * * * [progress]: [ 231 / 235 ] simplifiying candidate # 9.610 * * * * [progress]: [ 232 / 235 ] simplifiying candidate # 9.610 * * * * [progress]: [ 233 / 235 ] simplifiying candidate # 9.610 * * * * [progress]: [ 234 / 235 ] simplifiying candidate # 9.610 * * * * [progress]: [ 235 / 235 ] simplifiying candidate # 9.613 * [simplify]: Simplifying: (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) 2) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) 2) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) 2) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) 2) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) 2) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) 2) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) 2) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) 2) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) (* 2 1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1))) (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1))) (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1))) (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1))) (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))) (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (exp (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) d1) (* d1 (* d1 d1)) (real->posit16 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (+ 1 (+ 1 1)) (+ 1 2) (+ 1 (+ 1 1)) (+ 1 (* 2 1)) (* d1 (* d1 d1)) (* d1 (* d1 d1)) (+ (log d1) (+ (log d1) (log d1))) (+ (log d1) (log (* d1 d1))) (log (* d1 (* d1 d1))) (exp (* d1 (* d1 d1))) (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1)))) (cbrt (* d1 (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1))) (* (sqrt d1) d1) (* (sqrt d1) d1) (* d1 d1) (* (cbrt d1) (* d1 d1)) (* (sqrt d1) (* d1 d1)) (* d1 (* d1 d1)) (real->posit16 (* d1 (* d1 d1))) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 2) 1) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 (* 2 1)) 1) (+ 3 1) (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 2) 1) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 (* 2 1)) 1) (+ 3 1) (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (+ (+ (log d1) (log (* d1 d1))) (log d1)) (+ (log (* d1 (* d1 d1))) (log d1)) (log (* (* d1 (* d1 d1)) d1)) (exp (* (* d1 (* d1 d1)) d1)) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (cbrt (* (* d1 (* d1 d1)) d1)) (cbrt (* (* d1 (* d1 d1)) d1))) (cbrt (* (* d1 (* d1 d1)) d1)) (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (sqrt (* (* d1 (* d1 d1)) d1)) (sqrt (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) (* (cbrt d1) (cbrt d1))) (* (* d1 (* d1 d1)) (sqrt d1)) (* (* d1 (* d1 d1)) 1) (* (* d1 d1) d1) (real->posit16 (* (* d1 (* d1 d1)) d1)) (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ (+ (+ 1 2) 1) 1) (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ (+ (+ 1 (* 2 1)) 1) 1) (+ (+ 3 1) 1) (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ (+ (+ 1 2) 1) 1) (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ (+ (+ 1 (* 2 1)) 1) 1) (+ (+ 3 1) 1) (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1) (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ (+ (+ 1 2) 1) 1) (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ (+ (+ 1 (* 2 1)) 1) 1) (+ (+ 3 1) 1) (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ (+ (+ 1 2) 1) 1) (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ (+ (+ 1 (* 2 1)) 1) 1) (+ (+ 3 1) 1) (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* (* (* d1 (* d1 d1)) d1) d1)) (exp (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (cbrt (* (* (* d1 (* d1 d1)) d1) d1)) (cbrt (* (* (* d1 (* d1 d1)) d1) d1))) (cbrt (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (sqrt (* (* (* d1 (* d1 d1)) d1) d1)) (sqrt (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) (* (cbrt d1) (cbrt d1))) (* (* (* d1 (* d1 d1)) d1) (sqrt d1)) (* (* (* d1 (* d1 d1)) d1) 1) (* d1 d1) (real->posit16 (* (* (* d1 (* d1 d1)) d1) d1)) (pow d1 7) (pow d1 7) (pow d1 7) (pow d1 3) (pow d1 3) (pow d1 3) (pow d1 4) (pow d1 4) (pow d1 4) (pow d1 5) (pow d1 5) (pow d1 5) 9.618 * * [simplify]: iteration 1: (131 enodes) 9.702 * * [simplify]: iteration 2: (501 enodes) 9.912 * * [simplify]: iteration 3: (1125 enodes) 10.944 * * [simplify]: Extracting #0: cost 56 inf + 0 10.946 * * [simplify]: Extracting #1: cost 292 inf + 1 10.950 * * [simplify]: Extracting #2: cost 444 inf + 4613 10.961 * * [simplify]: Extracting #3: cost 318 inf + 33204 10.990 * * [simplify]: Extracting #4: cost 80 inf + 118343 11.043 * * [simplify]: Extracting #5: cost 2 inf + 146115 11.085 * * [simplify]: Extracting #6: cost 0 inf + 146396 11.119 * [simplify]: Simplified to: (+ (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 1)) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 1)) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ (+ (+ 1 2) (+ 1 2)) 1) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ (+ (+ 1 2) (+ 1 2)) 1) (+ (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 1)) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 1)) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ (+ (+ 1 2) (+ 1 2)) 1) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ (+ (+ 1 2) (+ 1 2)) 1) (+ (+ (+ 1 1) (+ 1 1)) 3) (+ (+ (+ 1 1) 3) 2) (+ (+ (+ 1 1) (+ 1 1)) 3) (+ (+ (+ 1 1) 3) 2) (+ (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 1)) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 1)) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ (+ (+ 1 2) (+ 1 2)) 1) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ (+ (+ 1 2) (+ 1 2)) 1) (+ (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 1)) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 1)) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ (+ (+ 1 2) (+ 1 2)) 1) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ (+ (+ 1 2) (+ 1 2)) 1) (+ (+ (+ 1 1) (+ 1 1)) 3) (+ (+ (+ 1 1) 3) 2) (+ (+ (+ 1 1) (+ 1 1)) 3) (+ (+ (+ 1 1) 3) 2) (+ (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 1)) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 1)) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ (+ (+ 1 2) (+ 1 2)) 1) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ (+ (+ 1 2) (+ 1 2)) 1) (+ (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 1)) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 1)) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ (+ (+ 1 2) (+ 1 2)) 1) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ (+ (+ 1 2) (+ 1 2)) 1) (+ (+ (+ 1 1) (+ 1 1)) 3) (+ (+ (+ 1 1) 3) 2) (+ (+ (+ 1 1) (+ 1 1)) 3) (+ (+ (+ 1 1) 3) 2) (+ (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 1)) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 1)) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ (+ (+ 1 2) (+ 1 2)) 1) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ (+ (+ 1 2) (+ 1 2)) 1) (+ (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 1)) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 1)) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ (+ (+ 1 2) (+ 1 2)) 1) (+ 2 (+ (+ (+ 1 1) (+ 1 1)) 1)) (+ (+ (+ 1 2) (+ 1 2)) 1) (+ (+ (+ 1 1) (+ 1 1)) 3) (+ (+ (+ 1 1) 3) 2) (+ (+ (+ 1 1) (+ 1 1)) 3) (+ (+ (+ 1 1) 3) 2) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (+ (log d1) (* (log d1) (+ 3 3))) (+ (log d1) (* (log d1) (+ 3 3))) (+ (log d1) (* (log d1) (+ 3 3))) (+ (log d1) (* (log d1) (+ 3 3))) (+ (log d1) (* (log d1) (+ 3 3))) (+ (log d1) (* (log d1) (+ 3 3))) (+ (log d1) (* (log d1) (+ 3 3))) (+ (log d1) (* (log d1) (+ 3 3))) (+ (log d1) (* (log d1) (+ 3 3))) (+ (log d1) (* (log d1) (+ 3 3))) (+ (log d1) (* (log d1) (+ 3 3))) (exp (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (cbrt (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (cbrt (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)))) (cbrt (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (* (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (sqrt (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (sqrt (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* d1 (* d1 d1)) (real->posit16 (* (* (* d1 (* d1 d1)) (* d1 d1)) (* d1 d1))) (+ (+ 1 1) 1) (+ 1 2) (+ (+ 1 1) 1) (+ 1 2) (* d1 (* d1 d1)) (* d1 (* d1 d1)) (* (log d1) 3) (* (log d1) 3) (* (log d1) 3) (exp (* d1 (* d1 d1))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* d1 d1) d1 (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (sqrt (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1))) (* d1 (sqrt d1)) (* d1 (sqrt d1)) (* d1 d1) (* (* d1 d1) (cbrt d1)) (* (sqrt d1) (* d1 d1)) (* d1 (* d1 d1)) (real->posit16 (* d1 (* d1 d1))) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 2) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 2) (+ 3 1) (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 2) (+ (+ 1 1) (+ 1 1)) (+ (+ 1 1) 2) (+ 3 1) (+ (+ (log d1) (log d1)) (+ (log d1) (log d1))) (+ (+ (log d1) (log d1)) (+ (log d1) (log d1))) (+ (+ (log d1) (log d1)) (+ (log d1) (log d1))) (+ (+ (log d1) (log d1)) (+ (log d1) (log d1))) (exp (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (cbrt (* (* d1 d1) (* d1 d1))) (cbrt (* (* d1 d1) (* d1 d1)))) (cbrt (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (fabs (* d1 d1)) (fabs (* d1 d1)) (* (* (* d1 (cbrt d1)) (* d1 (cbrt d1))) d1) (* d1 (* (sqrt d1) (* d1 d1))) (* d1 (* d1 d1)) (* d1 (* d1 d1)) (real->posit16 (* (* d1 d1) (* d1 d1))) (+ (+ (+ 1 1) (+ 1 1)) 1) (+ (+ (+ 1 1) 2) 1) (+ (+ (+ 1 1) (+ 1 1)) 1) (+ (+ (+ 1 1) 2) 1) (+ (+ 1 1) 3) (+ (+ (+ 1 1) (+ 1 1)) 1) (+ (+ (+ 1 1) 2) 1) (+ (+ (+ 1 1) (+ 1 1)) 1) (+ (+ (+ 1 1) 2) 1) (+ (+ 1 1) 3) (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1)) (+ (+ (+ 1 1) (+ 1 1)) 1) (+ (+ (+ 1 1) 2) 1) (+ (+ (+ 1 1) (+ 1 1)) 1) (+ (+ (+ 1 1) 2) 1) (+ (+ 1 1) 3) (+ (+ (+ 1 1) (+ 1 1)) 1) (+ (+ (+ 1 1) 2) 1) (+ (+ (+ 1 1) (+ 1 1)) 1) (+ (+ (+ 1 1) 2) 1) (+ (+ 1 1) 3) (log (* (* d1 (* d1 d1)) (* d1 d1))) (log (* (* d1 (* d1 d1)) (* d1 d1))) (log (* (* d1 (* d1 d1)) (* d1 d1))) (log (* (* d1 (* d1 d1)) (* d1 d1))) (log (* (* d1 (* d1 d1)) (* d1 d1))) (exp (* (* d1 (* d1 d1)) (* d1 d1))) (* (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (cbrt (* (* d1 (* d1 d1)) (* d1 d1))) (cbrt (* (* d1 (* d1 d1)) (* d1 d1)))) (cbrt (* (* d1 (* d1 d1)) (* d1 d1))) (* (* d1 (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (sqrt (* (* d1 (* d1 d1)) (* d1 d1))) (sqrt (* (* d1 (* d1 d1)) (* d1 d1))) (* (* (* d1 d1) (cbrt d1)) (* (* d1 d1) (cbrt d1))) (* (* d1 d1) (* (sqrt d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)) (* d1 d1) (real->posit16 (* (* d1 (* d1 d1)) (* d1 d1))) (pow d1 7) (pow d1 7) (pow d1 7) (* d1 (* d1 d1)) (* d1 (* d1 d1)) (* d1 (* d1 d1)) (pow d1 4) (pow d1 4) (pow d1 4) (pow d1 5) (pow d1 5) (pow d1 5) 11.142 * * * [progress]: adding candidates to table 13.654 * * [progress]: iteration 2 / 4 13.654 * * * [progress]: picking best candidate 13.663 * * * * [pick]: Picked # 13.663 * * * [progress]: localizing error 13.708 * * * [progress]: generating rewritten candidates 13.708 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 13.752 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 13.763 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 13.850 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 14.121 * * * [progress]: generating series expansions 14.121 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 14.121 * [backup-simplify]: Simplify (* (* (pow d1 4) d1) (* d1 d1)) into (pow d1 7) 14.122 * [approximate]: Taking taylor expansion of (pow d1 7) in (d1) around 0 14.122 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 14.122 * [taylor]: Taking taylor expansion of d1 in d1 14.122 * [backup-simplify]: Simplify 0 into 0 14.122 * [backup-simplify]: Simplify 1 into 1 14.122 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 14.122 * [taylor]: Taking taylor expansion of d1 in d1 14.122 * [backup-simplify]: Simplify 0 into 0 14.122 * [backup-simplify]: Simplify 1 into 1 14.122 * [backup-simplify]: Simplify (* 1 1) into 1 14.123 * [backup-simplify]: Simplify (* 1 1) into 1 14.123 * [backup-simplify]: Simplify (* 1 1) into 1 14.123 * [backup-simplify]: Simplify (* 1 1) into 1 14.123 * [backup-simplify]: Simplify 1 into 1 14.123 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.124 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.124 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.125 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.125 * [backup-simplify]: Simplify 0 into 0 14.125 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.126 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.126 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.127 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.127 * [backup-simplify]: Simplify 0 into 0 14.127 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.128 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.129 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.129 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.129 * [backup-simplify]: Simplify 0 into 0 14.130 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.131 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.132 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.132 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.132 * [backup-simplify]: Simplify 0 into 0 14.133 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.134 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.135 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.135 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.136 * [backup-simplify]: Simplify 0 into 0 14.136 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.137 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.138 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.139 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.139 * [backup-simplify]: Simplify 0 into 0 14.139 * [backup-simplify]: Simplify (* 1 (pow d1 7)) into (pow d1 7) 14.139 * [backup-simplify]: Simplify (* (* (pow (/ 1 d1) 4) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 7)) 14.139 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 7)) in (d1) around 0 14.139 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 14.139 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 14.139 * [taylor]: Taking taylor expansion of d1 in d1 14.139 * [backup-simplify]: Simplify 0 into 0 14.139 * [backup-simplify]: Simplify 1 into 1 14.140 * [backup-simplify]: Simplify (* 1 1) into 1 14.140 * [backup-simplify]: Simplify (* 1 1) into 1 14.140 * [backup-simplify]: Simplify (* 1 1) into 1 14.141 * [backup-simplify]: Simplify (* 1 1) into 1 14.141 * [backup-simplify]: Simplify (/ 1 1) into 1 14.141 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 14.141 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 14.141 * [taylor]: Taking taylor expansion of d1 in d1 14.141 * [backup-simplify]: Simplify 0 into 0 14.141 * [backup-simplify]: Simplify 1 into 1 14.142 * [backup-simplify]: Simplify (* 1 1) into 1 14.142 * [backup-simplify]: Simplify (* 1 1) into 1 14.142 * [backup-simplify]: Simplify (* 1 1) into 1 14.143 * [backup-simplify]: Simplify (* 1 1) into 1 14.143 * [backup-simplify]: Simplify (/ 1 1) into 1 14.143 * [backup-simplify]: Simplify 1 into 1 14.144 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.145 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.145 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.146 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.147 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.147 * [backup-simplify]: Simplify 0 into 0 14.148 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.149 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.150 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.151 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.152 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.152 * [backup-simplify]: Simplify 0 into 0 14.153 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.154 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.155 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.156 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.156 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.156 * [backup-simplify]: Simplify 0 into 0 14.157 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.158 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.159 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.159 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.160 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.160 * [backup-simplify]: Simplify 0 into 0 14.161 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.161 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.162 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.163 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.164 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.164 * [backup-simplify]: Simplify 0 into 0 14.164 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.166 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.166 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.167 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.168 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.168 * [backup-simplify]: Simplify 0 into 0 14.168 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 7)) into (pow d1 7) 14.168 * [backup-simplify]: Simplify (* (* (pow (/ 1 (- d1)) 4) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 7)) 14.168 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 7)) in (d1) around 0 14.168 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 14.168 * [taylor]: Taking taylor expansion of -1 in d1 14.168 * [backup-simplify]: Simplify -1 into -1 14.168 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 14.168 * [taylor]: Taking taylor expansion of d1 in d1 14.168 * [backup-simplify]: Simplify 0 into 0 14.168 * [backup-simplify]: Simplify 1 into 1 14.169 * [backup-simplify]: Simplify (* 1 1) into 1 14.169 * [backup-simplify]: Simplify (* 1 1) into 1 14.169 * [backup-simplify]: Simplify (* 1 1) into 1 14.169 * [backup-simplify]: Simplify (* 1 1) into 1 14.170 * [backup-simplify]: Simplify (/ -1 1) into -1 14.170 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 14.170 * [taylor]: Taking taylor expansion of -1 in d1 14.170 * [backup-simplify]: Simplify -1 into -1 14.170 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 14.170 * [taylor]: Taking taylor expansion of d1 in d1 14.170 * [backup-simplify]: Simplify 0 into 0 14.170 * [backup-simplify]: Simplify 1 into 1 14.170 * [backup-simplify]: Simplify (* 1 1) into 1 14.170 * [backup-simplify]: Simplify (* 1 1) into 1 14.171 * [backup-simplify]: Simplify (* 1 1) into 1 14.171 * [backup-simplify]: Simplify (* 1 1) into 1 14.171 * [backup-simplify]: Simplify (/ -1 1) into -1 14.171 * [backup-simplify]: Simplify -1 into -1 14.171 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.172 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.172 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.173 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.173 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 14.173 * [backup-simplify]: Simplify 0 into 0 14.174 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.174 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.175 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.175 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.176 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.176 * [backup-simplify]: Simplify 0 into 0 14.177 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.177 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.178 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.178 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.179 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.179 * [backup-simplify]: Simplify 0 into 0 14.180 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.180 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.181 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.182 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.182 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.182 * [backup-simplify]: Simplify 0 into 0 14.183 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.184 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.186 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.187 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.188 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.188 * [backup-simplify]: Simplify 0 into 0 14.190 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.194 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.196 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.198 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.199 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.199 * [backup-simplify]: Simplify 0 into 0 14.199 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 7)) into (pow d1 7) 14.199 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 14.199 * [backup-simplify]: Simplify (* (pow d1 4) d1) into (pow d1 5) 14.199 * [approximate]: Taking taylor expansion of (pow d1 5) in (d1) around 0 14.199 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 14.199 * [taylor]: Taking taylor expansion of d1 in d1 14.199 * [backup-simplify]: Simplify 0 into 0 14.199 * [backup-simplify]: Simplify 1 into 1 14.200 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 14.200 * [taylor]: Taking taylor expansion of d1 in d1 14.200 * [backup-simplify]: Simplify 0 into 0 14.200 * [backup-simplify]: Simplify 1 into 1 14.200 * [backup-simplify]: Simplify (* 1 1) into 1 14.200 * [backup-simplify]: Simplify (* 1 1) into 1 14.201 * [backup-simplify]: Simplify (* 1 1) into 1 14.201 * [backup-simplify]: Simplify 1 into 1 14.202 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.202 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.203 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.203 * [backup-simplify]: Simplify 0 into 0 14.204 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.205 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.206 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.206 * [backup-simplify]: Simplify 0 into 0 14.207 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.208 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.209 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.209 * [backup-simplify]: Simplify 0 into 0 14.210 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.212 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.213 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.213 * [backup-simplify]: Simplify 0 into 0 14.214 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.216 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.218 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.218 * [backup-simplify]: Simplify 0 into 0 14.219 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.221 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.222 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.222 * [backup-simplify]: Simplify 0 into 0 14.223 * [backup-simplify]: Simplify (* 1 (pow d1 5)) into (pow d1 5) 14.223 * [backup-simplify]: Simplify (* (pow (/ 1 d1) 4) (/ 1 d1)) into (/ 1 (pow d1 5)) 14.223 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 5)) in (d1) around 0 14.223 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1 14.223 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 14.223 * [taylor]: Taking taylor expansion of d1 in d1 14.223 * [backup-simplify]: Simplify 0 into 0 14.223 * [backup-simplify]: Simplify 1 into 1 14.223 * [backup-simplify]: Simplify (* 1 1) into 1 14.224 * [backup-simplify]: Simplify (* 1 1) into 1 14.224 * [backup-simplify]: Simplify (* 1 1) into 1 14.224 * [backup-simplify]: Simplify (/ 1 1) into 1 14.224 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 5)) in d1 14.225 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 14.225 * [taylor]: Taking taylor expansion of d1 in d1 14.225 * [backup-simplify]: Simplify 0 into 0 14.225 * [backup-simplify]: Simplify 1 into 1 14.225 * [backup-simplify]: Simplify (* 1 1) into 1 14.225 * [backup-simplify]: Simplify (* 1 1) into 1 14.226 * [backup-simplify]: Simplify (* 1 1) into 1 14.226 * [backup-simplify]: Simplify (/ 1 1) into 1 14.226 * [backup-simplify]: Simplify 1 into 1 14.227 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.227 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.228 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.229 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.229 * [backup-simplify]: Simplify 0 into 0 14.230 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.231 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.232 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.233 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.233 * [backup-simplify]: Simplify 0 into 0 14.234 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.236 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.237 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.237 * [backup-simplify]: Simplify 0 into 0 14.238 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.239 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.241 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.241 * [backup-simplify]: Simplify 0 into 0 14.241 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.243 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.244 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.244 * [backup-simplify]: Simplify 0 into 0 14.245 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.245 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.246 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.247 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.247 * [backup-simplify]: Simplify 0 into 0 14.247 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 5)) into (pow d1 5) 14.247 * [backup-simplify]: Simplify (* (pow (/ 1 (- d1)) 4) (/ 1 (- d1))) into (/ -1 (pow d1 5)) 14.247 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 5)) in (d1) around 0 14.247 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1 14.247 * [taylor]: Taking taylor expansion of -1 in d1 14.247 * [backup-simplify]: Simplify -1 into -1 14.247 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 14.247 * [taylor]: Taking taylor expansion of d1 in d1 14.247 * [backup-simplify]: Simplify 0 into 0 14.247 * [backup-simplify]: Simplify 1 into 1 14.248 * [backup-simplify]: Simplify (* 1 1) into 1 14.248 * [backup-simplify]: Simplify (* 1 1) into 1 14.248 * [backup-simplify]: Simplify (* 1 1) into 1 14.249 * [backup-simplify]: Simplify (/ -1 1) into -1 14.249 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 5)) in d1 14.249 * [taylor]: Taking taylor expansion of -1 in d1 14.249 * [backup-simplify]: Simplify -1 into -1 14.249 * [taylor]: Taking taylor expansion of (pow d1 5) in d1 14.249 * [taylor]: Taking taylor expansion of d1 in d1 14.249 * [backup-simplify]: Simplify 0 into 0 14.249 * [backup-simplify]: Simplify 1 into 1 14.249 * [backup-simplify]: Simplify (* 1 1) into 1 14.249 * [backup-simplify]: Simplify (* 1 1) into 1 14.249 * [backup-simplify]: Simplify (* 1 1) into 1 14.250 * [backup-simplify]: Simplify (/ -1 1) into -1 14.250 * [backup-simplify]: Simplify -1 into -1 14.250 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.251 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.251 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.251 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 14.251 * [backup-simplify]: Simplify 0 into 0 14.252 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.253 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.253 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.254 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.254 * [backup-simplify]: Simplify 0 into 0 14.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.255 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.255 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.256 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.256 * [backup-simplify]: Simplify 0 into 0 14.257 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.257 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.258 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.259 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.259 * [backup-simplify]: Simplify 0 into 0 14.259 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.260 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.261 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.262 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.262 * [backup-simplify]: Simplify 0 into 0 14.263 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.263 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.264 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.265 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.265 * [backup-simplify]: Simplify 0 into 0 14.265 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 5)) into (pow d1 5) 14.265 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 14.265 * [backup-simplify]: Simplify (* (* (* (pow d1 4) d1) (* d1 d1)) d1) into (pow d1 8) 14.265 * [approximate]: Taking taylor expansion of (pow d1 8) in (d1) around 0 14.265 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 14.265 * [taylor]: Taking taylor expansion of d1 in d1 14.265 * [backup-simplify]: Simplify 0 into 0 14.265 * [backup-simplify]: Simplify 1 into 1 14.265 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 14.265 * [taylor]: Taking taylor expansion of d1 in d1 14.265 * [backup-simplify]: Simplify 0 into 0 14.265 * [backup-simplify]: Simplify 1 into 1 14.266 * [backup-simplify]: Simplify (* 1 1) into 1 14.266 * [backup-simplify]: Simplify (* 1 1) into 1 14.266 * [backup-simplify]: Simplify (* 1 1) into 1 14.266 * [backup-simplify]: Simplify 1 into 1 14.267 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.268 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.268 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.268 * [backup-simplify]: Simplify 0 into 0 14.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.270 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.270 * [backup-simplify]: Simplify 0 into 0 14.270 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.271 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.271 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.271 * [backup-simplify]: Simplify 0 into 0 14.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.273 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.273 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.273 * [backup-simplify]: Simplify 0 into 0 14.274 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.275 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.276 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.276 * [backup-simplify]: Simplify 0 into 0 14.277 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.278 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.279 * [backup-simplify]: Simplify 0 into 0 14.279 * [backup-simplify]: Simplify (* 1 (pow d1 8)) into (pow d1 8) 14.279 * [backup-simplify]: Simplify (* (* (* (pow (/ 1 d1) 4) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 8)) 14.279 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0 14.279 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 14.279 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 14.279 * [taylor]: Taking taylor expansion of d1 in d1 14.279 * [backup-simplify]: Simplify 0 into 0 14.279 * [backup-simplify]: Simplify 1 into 1 14.279 * [backup-simplify]: Simplify (* 1 1) into 1 14.279 * [backup-simplify]: Simplify (* 1 1) into 1 14.280 * [backup-simplify]: Simplify (* 1 1) into 1 14.280 * [backup-simplify]: Simplify (/ 1 1) into 1 14.280 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 14.280 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 14.280 * [taylor]: Taking taylor expansion of d1 in d1 14.280 * [backup-simplify]: Simplify 0 into 0 14.280 * [backup-simplify]: Simplify 1 into 1 14.280 * [backup-simplify]: Simplify (* 1 1) into 1 14.281 * [backup-simplify]: Simplify (* 1 1) into 1 14.281 * [backup-simplify]: Simplify (* 1 1) into 1 14.281 * [backup-simplify]: Simplify (/ 1 1) into 1 14.281 * [backup-simplify]: Simplify 1 into 1 14.281 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.282 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.282 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.283 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.283 * [backup-simplify]: Simplify 0 into 0 14.283 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.284 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.284 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.285 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.285 * [backup-simplify]: Simplify 0 into 0 14.285 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.286 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.287 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.287 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.287 * [backup-simplify]: Simplify 0 into 0 14.288 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.291 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.292 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.292 * [backup-simplify]: Simplify 0 into 0 14.293 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.295 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.297 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.297 * [backup-simplify]: Simplify 0 into 0 14.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.300 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.304 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.305 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.305 * [backup-simplify]: Simplify 0 into 0 14.305 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 8)) into (pow d1 8) 14.305 * [backup-simplify]: Simplify (* (* (* (pow (/ 1 (- d1)) 4) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 8)) 14.306 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 8)) in (d1) around 0 14.306 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 14.306 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 14.306 * [taylor]: Taking taylor expansion of d1 in d1 14.306 * [backup-simplify]: Simplify 0 into 0 14.306 * [backup-simplify]: Simplify 1 into 1 14.306 * [backup-simplify]: Simplify (* 1 1) into 1 14.306 * [backup-simplify]: Simplify (* 1 1) into 1 14.307 * [backup-simplify]: Simplify (* 1 1) into 1 14.307 * [backup-simplify]: Simplify (/ 1 1) into 1 14.307 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 8)) in d1 14.307 * [taylor]: Taking taylor expansion of (pow d1 8) in d1 14.307 * [taylor]: Taking taylor expansion of d1 in d1 14.307 * [backup-simplify]: Simplify 0 into 0 14.307 * [backup-simplify]: Simplify 1 into 1 14.308 * [backup-simplify]: Simplify (* 1 1) into 1 14.308 * [backup-simplify]: Simplify (* 1 1) into 1 14.308 * [backup-simplify]: Simplify (* 1 1) into 1 14.309 * [backup-simplify]: Simplify (/ 1 1) into 1 14.309 * [backup-simplify]: Simplify 1 into 1 14.310 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.310 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.311 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.312 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.312 * [backup-simplify]: Simplify 0 into 0 14.313 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.315 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.316 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.316 * [backup-simplify]: Simplify 0 into 0 14.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.320 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.320 * [backup-simplify]: Simplify 0 into 0 14.321 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.322 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.325 * [backup-simplify]: Simplify 0 into 0 14.326 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.328 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.329 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.330 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.330 * [backup-simplify]: Simplify 0 into 0 14.332 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.335 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.336 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.336 * [backup-simplify]: Simplify 0 into 0 14.336 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 8)) into (pow d1 8) 14.336 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 14.337 * [backup-simplify]: Simplify (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) into (pow d1 9) 14.337 * [approximate]: Taking taylor expansion of (pow d1 9) in (d1) around 0 14.337 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 14.337 * [taylor]: Taking taylor expansion of d1 in d1 14.337 * [backup-simplify]: Simplify 0 into 0 14.337 * [backup-simplify]: Simplify 1 into 1 14.337 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 14.337 * [taylor]: Taking taylor expansion of d1 in d1 14.337 * [backup-simplify]: Simplify 0 into 0 14.337 * [backup-simplify]: Simplify 1 into 1 14.337 * [backup-simplify]: Simplify (* 1 1) into 1 14.338 * [backup-simplify]: Simplify (* 1 1) into 1 14.338 * [backup-simplify]: Simplify (* 1 1) into 1 14.339 * [backup-simplify]: Simplify (* 1 1) into 1 14.339 * [backup-simplify]: Simplify 1 into 1 14.339 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.340 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.341 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.341 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.341 * [backup-simplify]: Simplify 0 into 0 14.342 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.343 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.344 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.345 * [backup-simplify]: Simplify 0 into 0 14.346 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.347 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.349 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.350 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.350 * [backup-simplify]: Simplify 0 into 0 14.351 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.352 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.353 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.354 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.354 * [backup-simplify]: Simplify 0 into 0 14.356 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.357 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.358 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.359 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.359 * [backup-simplify]: Simplify 0 into 0 14.361 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.362 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.364 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.365 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.365 * [backup-simplify]: Simplify 0 into 0 14.365 * [backup-simplify]: Simplify (* 1 (pow d1 9)) into (pow d1 9) 14.365 * [backup-simplify]: Simplify (* (/ 1 d1) (* (* (* (pow (/ 1 d1) 4) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1))) into (/ 1 (pow d1 9)) 14.365 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 9)) in (d1) around 0 14.365 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1 14.365 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 14.365 * [taylor]: Taking taylor expansion of d1 in d1 14.365 * [backup-simplify]: Simplify 0 into 0 14.365 * [backup-simplify]: Simplify 1 into 1 14.366 * [backup-simplify]: Simplify (* 1 1) into 1 14.366 * [backup-simplify]: Simplify (* 1 1) into 1 14.366 * [backup-simplify]: Simplify (* 1 1) into 1 14.367 * [backup-simplify]: Simplify (* 1 1) into 1 14.367 * [backup-simplify]: Simplify (/ 1 1) into 1 14.367 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1 14.367 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 14.367 * [taylor]: Taking taylor expansion of d1 in d1 14.367 * [backup-simplify]: Simplify 0 into 0 14.367 * [backup-simplify]: Simplify 1 into 1 14.368 * [backup-simplify]: Simplify (* 1 1) into 1 14.368 * [backup-simplify]: Simplify (* 1 1) into 1 14.368 * [backup-simplify]: Simplify (* 1 1) into 1 14.369 * [backup-simplify]: Simplify (* 1 1) into 1 14.369 * [backup-simplify]: Simplify (/ 1 1) into 1 14.369 * [backup-simplify]: Simplify 1 into 1 14.370 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.370 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.371 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.371 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.372 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.372 * [backup-simplify]: Simplify 0 into 0 14.373 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.374 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.374 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.375 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.376 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.376 * [backup-simplify]: Simplify 0 into 0 14.377 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.378 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.379 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.380 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.381 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.381 * [backup-simplify]: Simplify 0 into 0 14.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.383 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.385 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.386 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.387 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.387 * [backup-simplify]: Simplify 0 into 0 14.389 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.390 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.392 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.393 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.394 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.394 * [backup-simplify]: Simplify 0 into 0 14.396 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.398 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.399 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.401 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.402 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.402 * [backup-simplify]: Simplify 0 into 0 14.402 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 9)) into (pow d1 9) 14.403 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (* (* (pow (/ 1 (- d1)) 4) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1)))) into (/ -1 (pow d1 9)) 14.403 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 9)) in (d1) around 0 14.403 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1 14.403 * [taylor]: Taking taylor expansion of -1 in d1 14.403 * [backup-simplify]: Simplify -1 into -1 14.403 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 14.403 * [taylor]: Taking taylor expansion of d1 in d1 14.403 * [backup-simplify]: Simplify 0 into 0 14.403 * [backup-simplify]: Simplify 1 into 1 14.404 * [backup-simplify]: Simplify (* 1 1) into 1 14.404 * [backup-simplify]: Simplify (* 1 1) into 1 14.404 * [backup-simplify]: Simplify (* 1 1) into 1 14.404 * [backup-simplify]: Simplify (* 1 1) into 1 14.405 * [backup-simplify]: Simplify (/ -1 1) into -1 14.405 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1 14.405 * [taylor]: Taking taylor expansion of -1 in d1 14.405 * [backup-simplify]: Simplify -1 into -1 14.405 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 14.405 * [taylor]: Taking taylor expansion of d1 in d1 14.405 * [backup-simplify]: Simplify 0 into 0 14.405 * [backup-simplify]: Simplify 1 into 1 14.405 * [backup-simplify]: Simplify (* 1 1) into 1 14.405 * [backup-simplify]: Simplify (* 1 1) into 1 14.405 * [backup-simplify]: Simplify (* 1 1) into 1 14.406 * [backup-simplify]: Simplify (* 1 1) into 1 14.406 * [backup-simplify]: Simplify (/ -1 1) into -1 14.406 * [backup-simplify]: Simplify -1 into -1 14.406 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.407 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.407 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.407 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.408 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 14.408 * [backup-simplify]: Simplify 0 into 0 14.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.410 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.410 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.411 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.411 * [backup-simplify]: Simplify 0 into 0 14.411 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.412 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.412 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.413 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.414 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.414 * [backup-simplify]: Simplify 0 into 0 14.414 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.415 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.416 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.416 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.417 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.417 * [backup-simplify]: Simplify 0 into 0 14.418 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.420 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 14.421 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.421 * [backup-simplify]: Simplify 0 into 0 14.422 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.423 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 14.425 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.425 * [backup-simplify]: Simplify 0 into 0 14.425 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 9)) into (pow d1 9) 14.425 * * * [progress]: simplifying candidates 14.425 * * * * [progress]: [ 1 / 168 ] simplifiying candidate # 14.425 * * * * [progress]: [ 2 / 168 ] simplifiying candidate # 14.425 * * * * [progress]: [ 3 / 168 ] simplifiying candidate # 14.425 * * * * [progress]: [ 4 / 168 ] simplifiying candidate # 14.425 * * * * [progress]: [ 5 / 168 ] simplifiying candidate # 14.426 * * * * [progress]: [ 6 / 168 ] simplifiying candidate # 14.426 * * * * [progress]: [ 7 / 168 ] simplifiying candidate # 14.426 * * * * [progress]: [ 8 / 168 ] simplifiying candidate # 14.426 * * * * [progress]: [ 9 / 168 ] simplifiying candidate # 14.426 * * * * [progress]: [ 10 / 168 ] simplifiying candidate # 14.426 * * * * [progress]: [ 11 / 168 ] simplifiying candidate # 14.426 * * * * [progress]: [ 12 / 168 ] simplifiying candidate # 14.426 * * * * [progress]: [ 13 / 168 ] simplifiying candidate # 14.426 * * * * [progress]: [ 14 / 168 ] simplifiying candidate # 14.426 * * * * [progress]: [ 15 / 168 ] simplifiying candidate # 14.426 * * * * [progress]: [ 16 / 168 ] simplifiying candidate # 14.426 * * * * [progress]: [ 17 / 168 ] simplifiying candidate # 14.426 * * * * [progress]: [ 18 / 168 ] simplifiying candidate # 14.426 * * * * [progress]: [ 19 / 168 ] simplifiying candidate # 14.426 * * * * [progress]: [ 20 / 168 ] simplifiying candidate # 14.426 * * * * [progress]: [ 21 / 168 ] simplifiying candidate # 14.426 * * * * [progress]: [ 22 / 168 ] simplifiying candidate # 14.426 * * * * [progress]: [ 23 / 168 ] simplifiying candidate # 14.426 * * * * [progress]: [ 24 / 168 ] simplifiying candidate # 14.426 * * * * [progress]: [ 25 / 168 ] simplifiying candidate # 14.426 * * * * [progress]: [ 26 / 168 ] simplifiying candidate # 14.426 * * * * [progress]: [ 27 / 168 ] simplifiying candidate # 14.426 * * * * [progress]: [ 28 / 168 ] simplifiying candidate # 14.426 * * * * [progress]: [ 29 / 168 ] simplifiying candidate # 14.426 * * * * [progress]: [ 30 / 168 ] simplifiying candidate # 14.426 * * * * [progress]: [ 31 / 168 ] simplifiying candidate # 14.427 * * * * [progress]: [ 32 / 168 ] simplifiying candidate #real (real->posit16 (* (* (pow d1 4) d1) (* d1 d1)))) d1)) d1))> 14.427 * * * * [progress]: [ 33 / 168 ] simplifiying candidate # 14.427 * * * * [progress]: [ 34 / 168 ] simplifiying candidate # 14.427 * * * * [progress]: [ 35 / 168 ] simplifiying candidate # 14.427 * * * * [progress]: [ 36 / 168 ] simplifiying candidate # 14.427 * * * * [progress]: [ 37 / 168 ] simplifiying candidate # 14.427 * * * * [progress]: [ 38 / 168 ] simplifiying candidate # 14.427 * * * * [progress]: [ 39 / 168 ] simplifiying candidate # 14.427 * * * * [progress]: [ 40 / 168 ] simplifiying candidate # 14.427 * * * * [progress]: [ 41 / 168 ] simplifiying candidate # 14.427 * * * * [progress]: [ 42 / 168 ] simplifiying candidate # 14.427 * * * * [progress]: [ 43 / 168 ] simplifiying candidate # 14.427 * * * * [progress]: [ 44 / 168 ] simplifiying candidate # 14.427 * * * * [progress]: [ 45 / 168 ] simplifiying candidate # 14.427 * * * * [progress]: [ 46 / 168 ] simplifiying candidate # 14.427 * * * * [progress]: [ 47 / 168 ] simplifiying candidate # 14.427 * * * * [progress]: [ 48 / 168 ] simplifiying candidate # 14.427 * * * * [progress]: [ 49 / 168 ] simplifiying candidate # 14.427 * * * * [progress]: [ 50 / 168 ] simplifiying candidate # 14.427 * * * * [progress]: [ 51 / 168 ] simplifiying candidate # 14.427 * * * * [progress]: [ 52 / 168 ] simplifiying candidate # 14.427 * * * * [progress]: [ 53 / 168 ] simplifiying candidate # 14.427 * * * * [progress]: [ 54 / 168 ] simplifiying candidate # 14.427 * * * * [progress]: [ 55 / 168 ] simplifiying candidate # 14.427 * * * * [progress]: [ 56 / 168 ] simplifiying candidate # 14.428 * * * * [progress]: [ 57 / 168 ] simplifiying candidate # 14.428 * * * * [progress]: [ 58 / 168 ] simplifiying candidate # 14.428 * * * * [progress]: [ 59 / 168 ] simplifiying candidate # 14.428 * * * * [progress]: [ 60 / 168 ] simplifiying candidate #real (real->posit16 (* (pow d1 4) d1))) (* d1 d1)) d1)) d1))> 14.428 * * * * [progress]: [ 61 / 168 ] simplifiying candidate # 14.428 * * * * [progress]: [ 62 / 168 ] simplifiying candidate # 14.428 * * * * [progress]: [ 63 / 168 ] simplifiying candidate # 14.428 * * * * [progress]: [ 64 / 168 ] simplifiying candidate # 14.428 * * * * [progress]: [ 65 / 168 ] simplifiying candidate # 14.428 * * * * [progress]: [ 66 / 168 ] simplifiying candidate # 14.428 * * * * [progress]: [ 67 / 168 ] simplifiying candidate # 14.428 * * * * [progress]: [ 68 / 168 ] simplifiying candidate # 14.428 * * * * [progress]: [ 69 / 168 ] simplifiying candidate # 14.428 * * * * [progress]: [ 70 / 168 ] simplifiying candidate # 14.428 * * * * [progress]: [ 71 / 168 ] simplifiying candidate # 14.428 * * * * [progress]: [ 72 / 168 ] simplifiying candidate # 14.428 * * * * [progress]: [ 73 / 168 ] simplifiying candidate # 14.428 * * * * [progress]: [ 74 / 168 ] simplifiying candidate # 14.428 * * * * [progress]: [ 75 / 168 ] simplifiying candidate # 14.428 * * * * [progress]: [ 76 / 168 ] simplifiying candidate # 14.428 * * * * [progress]: [ 77 / 168 ] simplifiying candidate # 14.428 * * * * [progress]: [ 78 / 168 ] simplifiying candidate # 14.428 * * * * [progress]: [ 79 / 168 ] simplifiying candidate # 14.428 * * * * [progress]: [ 80 / 168 ] simplifiying candidate # 14.428 * * * * [progress]: [ 81 / 168 ] simplifiying candidate # 14.428 * * * * [progress]: [ 82 / 168 ] simplifiying candidate # 14.429 * * * * [progress]: [ 83 / 168 ] simplifiying candidate # 14.429 * * * * [progress]: [ 84 / 168 ] simplifiying candidate # 14.429 * * * * [progress]: [ 85 / 168 ] simplifiying candidate # 14.429 * * * * [progress]: [ 86 / 168 ] simplifiying candidate # 14.429 * * * * [progress]: [ 87 / 168 ] simplifiying candidate # 14.429 * * * * [progress]: [ 88 / 168 ] simplifiying candidate # 14.429 * * * * [progress]: [ 89 / 168 ] simplifiying candidate # 14.429 * * * * [progress]: [ 90 / 168 ] simplifiying candidate # 14.429 * * * * [progress]: [ 91 / 168 ] simplifiying candidate # 14.429 * * * * [progress]: [ 92 / 168 ] simplifiying candidate # 14.429 * * * * [progress]: [ 93 / 168 ] simplifiying candidate # 14.429 * * * * [progress]: [ 94 / 168 ] simplifiying candidate # 14.429 * * * * [progress]: [ 95 / 168 ] simplifiying candidate # 14.429 * * * * [progress]: [ 96 / 168 ] simplifiying candidate # 14.429 * * * * [progress]: [ 97 / 168 ] simplifiying candidate # 14.429 * * * * [progress]: [ 98 / 168 ] simplifiying candidate # 14.429 * * * * [progress]: [ 99 / 168 ] simplifiying candidate # 14.429 * * * * [progress]: [ 100 / 168 ] simplifiying candidate # 14.429 * * * * [progress]: [ 101 / 168 ] simplifiying candidate # 14.429 * * * * [progress]: [ 102 / 168 ] simplifiying candidate # 14.429 * * * * [progress]: [ 103 / 168 ] simplifiying candidate # 14.429 * * * * [progress]: [ 104 / 168 ] simplifiying candidate # 14.429 * * * * [progress]: [ 105 / 168 ] simplifiying candidate # 14.429 * * * * [progress]: [ 106 / 168 ] simplifiying candidate #real (real->posit16 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)))) d1))> 14.429 * * * * [progress]: [ 107 / 168 ] simplifiying candidate # 14.430 * * * * [progress]: [ 108 / 168 ] simplifiying candidate # 14.430 * * * * [progress]: [ 109 / 168 ] simplifiying candidate # 14.430 * * * * [progress]: [ 110 / 168 ] simplifiying candidate # 14.430 * * * * [progress]: [ 111 / 168 ] simplifiying candidate # 14.430 * * * * [progress]: [ 112 / 168 ] simplifiying candidate # 14.430 * * * * [progress]: [ 113 / 168 ] simplifiying candidate # 14.430 * * * * [progress]: [ 114 / 168 ] simplifiying candidate # 14.430 * * * * [progress]: [ 115 / 168 ] simplifiying candidate # 14.430 * * * * [progress]: [ 116 / 168 ] simplifiying candidate # 14.430 * * * * [progress]: [ 117 / 168 ] simplifiying candidate # 14.430 * * * * [progress]: [ 118 / 168 ] simplifiying candidate # 14.430 * * * * [progress]: [ 119 / 168 ] simplifiying candidate # 14.430 * * * * [progress]: [ 120 / 168 ] simplifiying candidate # 14.430 * * * * [progress]: [ 121 / 168 ] simplifiying candidate # 14.430 * * * * [progress]: [ 122 / 168 ] simplifiying candidate # 14.430 * * * * [progress]: [ 123 / 168 ] simplifiying candidate # 14.430 * * * * [progress]: [ 124 / 168 ] simplifiying candidate # 14.430 * * * * [progress]: [ 125 / 168 ] simplifiying candidate # 14.430 * * * * [progress]: [ 126 / 168 ] simplifiying candidate # 14.430 * * * * [progress]: [ 127 / 168 ] simplifiying candidate # 14.430 * * * * [progress]: [ 128 / 168 ] simplifiying candidate # 14.430 * * * * [progress]: [ 129 / 168 ] simplifiying candidate # 14.430 * * * * [progress]: [ 130 / 168 ] simplifiying candidate # 14.430 * * * * [progress]: [ 131 / 168 ] simplifiying candidate # 14.430 * * * * [progress]: [ 132 / 168 ] simplifiying candidate # 14.431 * * * * [progress]: [ 133 / 168 ] simplifiying candidate # 14.431 * * * * [progress]: [ 134 / 168 ] simplifiying candidate # 14.431 * * * * [progress]: [ 135 / 168 ] simplifiying candidate # 14.431 * * * * [progress]: [ 136 / 168 ] simplifiying candidate # 14.431 * * * * [progress]: [ 137 / 168 ] simplifiying candidate # 14.431 * * * * [progress]: [ 138 / 168 ] simplifiying candidate # 14.431 * * * * [progress]: [ 139 / 168 ] simplifiying candidate # 14.431 * * * * [progress]: [ 140 / 168 ] simplifiying candidate # 14.431 * * * * [progress]: [ 141 / 168 ] simplifiying candidate # 14.431 * * * * [progress]: [ 142 / 168 ] simplifiying candidate # 14.431 * * * * [progress]: [ 143 / 168 ] simplifiying candidate # 14.431 * * * * [progress]: [ 144 / 168 ] simplifiying candidate # 14.431 * * * * [progress]: [ 145 / 168 ] simplifiying candidate # 14.431 * * * * [progress]: [ 146 / 168 ] simplifiying candidate # 14.431 * * * * [progress]: [ 147 / 168 ] simplifiying candidate # 14.431 * * * * [progress]: [ 148 / 168 ] simplifiying candidate # 14.431 * * * * [progress]: [ 149 / 168 ] simplifiying candidate # 14.431 * * * * [progress]: [ 150 / 168 ] simplifiying candidate # 14.431 * * * * [progress]: [ 151 / 168 ] simplifiying candidate # 14.431 * * * * [progress]: [ 152 / 168 ] simplifiying candidate # 14.431 * * * * [progress]: [ 153 / 168 ] simplifiying candidate # 14.431 * * * * [progress]: [ 154 / 168 ] simplifiying candidate # 14.431 * * * * [progress]: [ 155 / 168 ] simplifiying candidate #real (real->posit16 (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)))) d1))> 14.431 * * * * [progress]: [ 156 / 168 ] simplifiying candidate # 14.431 * * * * [progress]: [ 157 / 168 ] simplifiying candidate # 14.431 * * * * [progress]: [ 158 / 168 ] simplifiying candidate # 14.432 * * * * [progress]: [ 159 / 168 ] simplifiying candidate # 14.432 * * * * [progress]: [ 160 / 168 ] simplifiying candidate # 14.432 * * * * [progress]: [ 161 / 168 ] simplifiying candidate # 14.432 * * * * [progress]: [ 162 / 168 ] simplifiying candidate # 14.432 * * * * [progress]: [ 163 / 168 ] simplifiying candidate # 14.432 * * * * [progress]: [ 164 / 168 ] simplifiying candidate # 14.432 * * * * [progress]: [ 165 / 168 ] simplifiying candidate # 14.432 * * * * [progress]: [ 166 / 168 ] simplifiying candidate # 14.432 * * * * [progress]: [ 167 / 168 ] simplifiying candidate # 14.432 * * * * [progress]: [ 168 / 168 ] simplifiying candidate # 14.435 * [simplify]: Simplifying: (+ (+ 4 1) (+ 1 1)) (+ (+ 4 1) 2) (+ (+ 4 1) (+ 1 1)) (+ (+ 4 1) (* 2 1)) (+ (+ 4 1) (+ 1 1)) (+ (+ 4 1) 2) (+ (+ 4 1) (+ 1 1)) (+ (+ 4 1) (* 2 1)) (* (* (pow d1 4) d1) (* d1 d1)) (* (* (pow d1 4) d1) (* d1 d1)) (+ (+ (* (log d1) 4) (log d1)) (+ (log d1) (log d1))) (+ (+ (* (log d1) 4) (log d1)) (log (* d1 d1))) (+ (+ (* (log d1) 4) (log d1)) (+ (log d1) (log d1))) (+ (+ (* (log d1) 4) (log d1)) (log (* d1 d1))) (+ (+ (log (pow d1 4)) (log d1)) (+ (log d1) (log d1))) (+ (+ (log (pow d1 4)) (log d1)) (log (* d1 d1))) (+ (log (* (pow d1 4) d1)) (+ (log d1) (log d1))) (+ (log (* (pow d1 4) d1)) (log (* d1 d1))) (log (* (* (pow d1 4) d1) (* d1 d1))) (exp (* (* (pow d1 4) d1) (* d1 d1))) (* (* (* (* (pow d1 4) (pow d1 4)) (pow d1 4)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (pow d1 4) (pow d1 4)) (pow d1 4)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (pow d1 4) d1) (* (pow d1 4) d1)) (* (pow d1 4) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (pow d1 4) d1) (* (pow d1 4) d1)) (* (pow d1 4) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (cbrt (* (* (pow d1 4) d1) (* d1 d1))) (cbrt (* (* (pow d1 4) d1) (* d1 d1)))) (cbrt (* (* (pow d1 4) d1) (* d1 d1))) (* (* (* (* (pow d1 4) d1) (* d1 d1)) (* (* (pow d1 4) d1) (* d1 d1))) (* (* (pow d1 4) d1) (* d1 d1))) (sqrt (* (* (pow d1 4) d1) (* d1 d1))) (sqrt (* (* (pow d1 4) d1) (* d1 d1))) (* (* (pow d1 4) d1) d1) (* d1 (* d1 d1)) (real->posit16 (* (* (pow d1 4) d1) (* d1 d1))) (+ 4 1) (+ 4 1) (+ (* (log d1) 4) (log d1)) (+ (* (log d1) 4) (log d1)) (+ (log (pow d1 4)) (log d1)) (log (* (pow d1 4) d1)) (exp (* (pow d1 4) d1)) (* (* (* (pow d1 4) (pow d1 4)) (pow d1 4)) (* (* d1 d1) d1)) (* (cbrt (* (pow d1 4) d1)) (cbrt (* (pow d1 4) d1))) (cbrt (* (pow d1 4) d1)) (* (* (* (pow d1 4) d1) (* (pow d1 4) d1)) (* (pow d1 4) d1)) (sqrt (* (pow d1 4) d1)) (sqrt (* (pow d1 4) d1)) (* (pow (sqrt d1) 4) (sqrt d1)) (* (pow (sqrt d1) 4) (sqrt d1)) (* (sqrt (pow d1 4)) (sqrt d1)) (* (sqrt (pow d1 4)) (sqrt d1)) (* (pow d1 (/ 4 2)) (sqrt d1)) (* (pow d1 (/ 4 2)) (sqrt d1)) (* (pow d1 4) (* (cbrt d1) (cbrt d1))) (* (pow d1 4) (sqrt d1)) (* (pow d1 4) 1) (* (pow (cbrt d1) 4) d1) (* (pow (sqrt d1) 4) d1) (* (pow d1 4) d1) (* (cbrt (pow d1 4)) d1) (* (sqrt (pow d1 4)) d1) (* (pow d1 4) d1) (* (pow d1 (/ 4 2)) d1) (real->posit16 (* (pow d1 4) d1)) (+ (+ (+ 4 1) (+ 1 1)) 1) (+ (+ (+ 4 1) 2) 1) (+ (+ (+ 4 1) (+ 1 1)) 1) (+ (+ (+ 4 1) (* 2 1)) 1) (+ (+ (+ 4 1) (+ 1 1)) 1) (+ (+ (+ 4 1) 2) 1) (+ (+ (+ 4 1) (+ 1 1)) 1) (+ (+ (+ 4 1) (* 2 1)) 1) (* (* (* (pow d1 4) d1) (* d1 d1)) d1) (* (* (* (pow d1 4) d1) (* d1 d1)) d1) (* (* (* (pow d1 4) d1) (* d1 d1)) d1) (+ (+ (+ 4 1) (+ 1 1)) 1) (+ (+ (+ 4 1) 2) 1) (+ (+ (+ 4 1) (+ 1 1)) 1) (+ (+ (+ 4 1) (* 2 1)) 1) (+ (+ (+ 4 1) (+ 1 1)) 1) (+ (+ (+ 4 1) 2) 1) (+ (+ (+ 4 1) (+ 1 1)) 1) (+ (+ (+ 4 1) (* 2 1)) 1) (+ (+ (+ (* (log d1) 4) (log d1)) (+ (log d1) (log d1))) (log d1)) (+ (+ (+ (* (log d1) 4) (log d1)) (log (* d1 d1))) (log d1)) (+ (+ (+ (* (log d1) 4) (log d1)) (+ (log d1) (log d1))) (log d1)) (+ (+ (+ (* (log d1) 4) (log d1)) (log (* d1 d1))) (log d1)) (+ (+ (+ (log (pow d1 4)) (log d1)) (+ (log d1) (log d1))) (log d1)) (+ (+ (+ (log (pow d1 4)) (log d1)) (log (* d1 d1))) (log d1)) (+ (+ (log (* (pow d1 4) d1)) (+ (log d1) (log d1))) (log d1)) (+ (+ (log (* (pow d1 4) d1)) (log (* d1 d1))) (log d1)) (+ (log (* (* (pow d1 4) d1) (* d1 d1))) (log d1)) (log (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (exp (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (* (* (* (* (* (pow d1 4) (pow d1 4)) (pow d1 4)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* (* (pow d1 4) (pow d1 4)) (pow d1 4)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* (* (* (* (pow d1 4) d1) (* (pow d1 4) d1)) (* (pow d1 4) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* (* (pow d1 4) d1) (* (pow d1 4) d1)) (* (pow d1 4) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* (* (* (* (pow d1 4) d1) (* d1 d1)) (* (* (pow d1 4) d1) (* d1 d1))) (* (* (pow d1 4) d1) (* d1 d1))) (* (* d1 d1) d1)) (* (cbrt (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (cbrt (* (* (* (pow d1 4) d1) (* d1 d1)) d1))) (cbrt (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (* (* (* (* (* (pow d1 4) d1) (* d1 d1)) d1) (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (sqrt (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (sqrt (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (* (* (* (pow d1 4) d1) (* d1 d1)) (* (cbrt d1) (cbrt d1))) (* (* (* (pow d1 4) d1) (* d1 d1)) (sqrt d1)) (* (* (* (pow d1 4) d1) (* d1 d1)) 1) (* (* d1 d1) d1) (real->posit16 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (+ 1 (+ (+ (+ 4 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ 4 1) 2) 1)) (+ 1 (+ (+ (+ 4 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ 4 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ 4 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ 4 1) 2) 1)) (+ 1 (+ (+ (+ 4 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ 4 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ 4 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ 4 1) 2) 1)) (+ 1 (+ (+ (+ 4 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ 4 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ 4 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ 4 1) 2) 1)) (+ 1 (+ (+ (+ 4 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ 4 1) (* 2 1)) 1)) (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (+ (log d1) (+ (+ (+ (* (log d1) 4) (log d1)) (+ (log d1) (log d1))) (log d1))) (+ (log d1) (+ (+ (+ (* (log d1) 4) (log d1)) (log (* d1 d1))) (log d1))) (+ (log d1) (+ (+ (+ (* (log d1) 4) (log d1)) (+ (log d1) (log d1))) (log d1))) (+ (log d1) (+ (+ (+ (* (log d1) 4) (log d1)) (log (* d1 d1))) (log d1))) (+ (log d1) (+ (+ (+ (log (pow d1 4)) (log d1)) (+ (log d1) (log d1))) (log d1))) (+ (log d1) (+ (+ (+ (log (pow d1 4)) (log d1)) (log (* d1 d1))) (log d1))) (+ (log d1) (+ (+ (log (* (pow d1 4) d1)) (+ (log d1) (log d1))) (log d1))) (+ (log d1) (+ (+ (log (* (pow d1 4) d1)) (log (* d1 d1))) (log d1))) (+ (log d1) (+ (log (* (* (pow d1 4) d1) (* d1 d1))) (log d1))) (+ (log d1) (log (* (* (* (pow d1 4) d1) (* d1 d1)) d1))) (log (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1))) (exp (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1))) (* (* (* d1 d1) d1) (* (* (* (* (* (pow d1 4) (pow d1 4)) (pow d1 4)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* (* (* (pow d1 4) (pow d1 4)) (pow d1 4)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* (* (* (pow d1 4) d1) (* (pow d1 4) d1)) (* (pow d1 4) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* (* (* (pow d1 4) d1) (* (pow d1 4) d1)) (* (pow d1 4) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* (* (* (pow d1 4) d1) (* d1 d1)) (* (* (pow d1 4) d1) (* d1 d1))) (* (* (pow d1 4) d1) (* d1 d1))) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* (* (* (pow d1 4) d1) (* d1 d1)) d1) (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (* (* (* (pow d1 4) d1) (* d1 d1)) d1))) (* (cbrt (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1))) (cbrt (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)))) (cbrt (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1))) (* (* (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1))) (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1))) (sqrt (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1))) (sqrt (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1))) (* d1 (* (* (pow d1 4) d1) (* d1 d1))) (* (cbrt d1) (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (* (sqrt d1) (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1)) (real->posit16 (* d1 (* (* (* (pow d1 4) d1) (* d1 d1)) d1))) (pow d1 7) (pow d1 7) (pow d1 7) (pow d1 5) (pow d1 5) (pow d1 5) (pow d1 8) (pow d1 8) (pow d1 8) (pow d1 9) (pow d1 9) (pow d1 9) 14.438 * * [simplify]: iteration 1: (140 enodes) 14.479 * * [simplify]: iteration 2: (600 enodes) 14.690 * * [simplify]: iteration 3: (1550 enodes) 16.602 * * [simplify]: Extracting #0: cost 60 inf + 0 16.603 * * [simplify]: Extracting #1: cost 564 inf + 0 16.614 * * [simplify]: Extracting #2: cost 951 inf + 17851 16.660 * * [simplify]: Extracting #3: cost 666 inf + 132567 16.765 * * [simplify]: Extracting #4: cost 172 inf + 337676 16.852 * * [simplify]: Extracting #5: cost 9 inf + 421122 16.972 * * [simplify]: Extracting #6: cost 0 inf + 425691 17.061 * [simplify]: Simplified to: (+ (+ 1 1) (+ 1 4)) (+ 2 (+ 1 4)) (+ (+ 1 1) (+ 1 4)) (+ 2 (+ 1 4)) (+ (+ 1 1) (+ 1 4)) (+ 2 (+ 1 4)) (+ (+ 1 1) (+ 1 4)) (+ 2 (+ 1 4)) (* (* d1 (* d1 d1)) (pow d1 4)) (* (* d1 (* d1 d1)) (pow d1 4)) (+ (* 4 (log d1)) (* 3 (log d1))) (+ (* 4 (log d1)) (* 3 (log d1))) (+ (* 4 (log d1)) (* 3 (log d1))) (+ (* 4 (log d1)) (* 3 (log d1))) (+ (* 4 (log d1)) (* 3 (log d1))) (+ (* 4 (log d1)) (* 3 (log d1))) (+ (* 4 (log d1)) (* 3 (log d1))) (+ (* 4 (log d1)) (* 3 (log d1))) (+ (* 4 (log d1)) (* 3 (log d1))) (exp (* (* d1 (* d1 d1)) (pow d1 4))) (* (* (pow d1 4) d1) (* (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* d1 d1) (* d1 d1)) (pow d1 4)))) (* (* (pow d1 4) d1) (* (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* d1 d1) (* d1 d1)) (pow d1 4)))) (* (* (pow d1 4) d1) (* (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* d1 d1) (* d1 d1)) (pow d1 4)))) (* (* (pow d1 4) d1) (* (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* d1 d1) (* d1 d1)) (pow d1 4)))) (* (cbrt (* (* d1 (* d1 d1)) (pow d1 4))) (cbrt (* (* d1 (* d1 d1)) (pow d1 4)))) (cbrt (* (* d1 (* d1 d1)) (pow d1 4))) (* (* (pow d1 4) d1) (* (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* d1 d1) (* d1 d1)) (pow d1 4)))) (sqrt (* (* d1 (* d1 d1)) (pow d1 4))) (sqrt (* (* d1 (* d1 d1)) (pow d1 4))) (* (* d1 d1) (pow d1 4)) (* d1 (* d1 d1)) (real->posit16 (* (* d1 (* d1 d1)) (pow d1 4))) (+ 1 4) (+ 1 4) (+ (log d1) (* 4 (log d1))) (+ (log d1) (* 4 (log d1))) (+ (log d1) (* 4 (log d1))) (+ (log d1) (* 4 (log d1))) (exp (* (pow d1 4) d1)) (* (* (pow d1 4) d1) (* (* (pow d1 4) d1) (* (pow d1 4) d1))) (* (cbrt (* (pow d1 4) d1)) (cbrt (* (pow d1 4) d1))) (cbrt (* (pow d1 4) d1)) (* (* (pow d1 4) d1) (* (* (pow d1 4) d1) (* (pow d1 4) d1))) (sqrt (* (pow d1 4) d1)) (sqrt (* (pow d1 4) d1)) (* (sqrt d1) (pow (sqrt d1) 4)) (* (sqrt d1) (pow (sqrt d1) 4)) (* (sqrt (pow d1 4)) (sqrt d1)) (* (sqrt (pow d1 4)) (sqrt d1)) (* (sqrt d1) (pow d1 (/ 4 2))) (* (sqrt d1) (pow d1 (/ 4 2))) (* (* (pow d1 4) (cbrt d1)) (cbrt d1)) (* (sqrt d1) (pow d1 4)) (pow d1 4) (* (pow (cbrt d1) 4) d1) (* (pow (sqrt d1) 4) d1) (* (pow d1 4) d1) (* d1 (cbrt (pow d1 4))) (* (sqrt (pow d1 4)) d1) (* (pow d1 4) d1) (* (pow d1 (/ 4 2)) d1) (real->posit16 (* (pow d1 4) d1)) (+ (+ (+ 1 1) (+ 1 1)) 4) (+ 1 (+ 2 (+ 1 4))) (+ (+ (+ 1 1) (+ 1 1)) 4) (+ 1 (+ 2 (+ 1 4))) (+ (+ (+ 1 1) (+ 1 1)) 4) (+ 1 (+ 2 (+ 1 4))) (+ (+ (+ 1 1) (+ 1 1)) 4) (+ 1 (+ 2 (+ 1 4))) (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (+ (+ (+ 1 1) (+ 1 1)) 4) (+ 1 (+ 2 (+ 1 4))) (+ (+ (+ 1 1) (+ 1 1)) 4) (+ 1 (+ 2 (+ 1 4))) (+ (+ (+ 1 1) (+ 1 1)) 4) (+ 1 (+ 2 (+ 1 4))) (+ (+ (+ 1 1) (+ 1 1)) 4) (+ 1 (+ 2 (+ 1 4))) (+ (+ (+ (log d1) (log d1)) (+ (log d1) (log d1))) (* 4 (log d1))) (+ (+ (+ (log d1) (log d1)) (+ (log d1) (log d1))) (* 4 (log d1))) (+ (+ (+ (log d1) (log d1)) (+ (log d1) (log d1))) (* 4 (log d1))) (+ (+ (+ (log d1) (log d1)) (+ (log d1) (log d1))) (* 4 (log d1))) (+ (+ (+ (log d1) (log d1)) (+ (log d1) (log d1))) (* 4 (log d1))) (+ (+ (+ (log d1) (log d1)) (+ (log d1) (log d1))) (* 4 (log d1))) (+ (+ (+ (log d1) (log d1)) (+ (log d1) (log d1))) (* 4 (log d1))) (+ (+ (+ (log d1) (log d1)) (+ (log d1) (log d1))) (* 4 (log d1))) (+ (+ (+ (log d1) (log d1)) (+ (log d1) (log d1))) (* 4 (log d1))) (+ (+ (+ (log d1) (log d1)) (+ (log d1) (log d1))) (* 4 (log d1))) (exp (* (* (* d1 d1) (* d1 d1)) (pow d1 4))) (* (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* d1 d1) (* d1 d1)) (pow d1 4)))) (* (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* d1 d1) (* d1 d1)) (pow d1 4)))) (* (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* d1 d1) (* d1 d1)) (pow d1 4)))) (* (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* d1 d1) (* d1 d1)) (pow d1 4)))) (* (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* d1 d1) (* d1 d1)) (pow d1 4)))) (* (cbrt (* (* (* d1 d1) (* d1 d1)) (pow d1 4))) (cbrt (* (* (* d1 d1) (* d1 d1)) (pow d1 4)))) (cbrt (* (* (* d1 d1) (* d1 d1)) (pow d1 4))) (* (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* d1 d1) (* d1 d1)) (pow d1 4)))) (sqrt (* (* (* d1 d1) (* d1 d1)) (pow d1 4))) (sqrt (* (* (* d1 d1) (* d1 d1)) (pow d1 4))) (* (* d1 (cbrt d1)) (* (* d1 (cbrt d1)) (* (pow d1 4) d1))) (* (* (* (* (sqrt d1) d1) d1) d1) (pow d1 4)) (* (* d1 (* d1 d1)) (pow d1 4)) (* d1 (* d1 d1)) (real->posit16 (* (* (* d1 d1) (* d1 d1)) (pow d1 4))) (+ (+ (+ (+ 1 1) (+ 1 1)) 4) 1) (+ (+ (+ 1 1) 2) (+ 1 4)) (+ (+ (+ (+ 1 1) (+ 1 1)) 4) 1) (+ (+ (+ 1 1) 2) (+ 1 4)) (+ (+ (+ (+ 1 1) (+ 1 1)) 4) 1) (+ (+ (+ 1 1) 2) (+ 1 4)) (+ (+ (+ (+ 1 1) (+ 1 1)) 4) 1) (+ (+ (+ 1 1) 2) (+ 1 4)) (+ (+ (+ (+ 1 1) (+ 1 1)) 4) 1) (+ (+ (+ 1 1) 2) (+ 1 4)) (+ (+ (+ (+ 1 1) (+ 1 1)) 4) 1) (+ (+ (+ 1 1) 2) (+ 1 4)) (+ (+ (+ (+ 1 1) (+ 1 1)) 4) 1) (+ (+ (+ 1 1) 2) (+ 1 4)) (+ (+ (+ (+ 1 1) (+ 1 1)) 4) 1) (+ (+ (+ 1 1) 2) (+ 1 4)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 4)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 4)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 4)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 4)) (+ (* 4 (log d1)) (+ (+ (+ (log d1) (log d1)) (+ (log d1) (log d1))) (log d1))) (+ (* 4 (log d1)) (+ (+ (+ (log d1) (log d1)) (+ (log d1) (log d1))) (log d1))) (+ (* 4 (log d1)) (+ (+ (+ (log d1) (log d1)) (+ (log d1) (log d1))) (log d1))) (+ (* 4 (log d1)) (+ (+ (+ (log d1) (log d1)) (+ (log d1) (log d1))) (log d1))) (+ (* 4 (log d1)) (+ (+ (+ (log d1) (log d1)) (+ (log d1) (log d1))) (log d1))) (+ (* 4 (log d1)) (+ (+ (+ (log d1) (log d1)) (+ (log d1) (log d1))) (log d1))) (+ (* 4 (log d1)) (+ (+ (+ (log d1) (log d1)) (+ (log d1) (log d1))) (log d1))) (+ (* 4 (log d1)) (+ (+ (+ (log d1) (log d1)) (+ (log d1) (log d1))) (log d1))) (+ (* 4 (log d1)) (+ (+ (+ (log d1) (log d1)) (+ (log d1) (log d1))) (log d1))) (+ (* 4 (log d1)) (+ (+ (+ (log d1) (log d1)) (+ (log d1) (log d1))) (log d1))) (+ (* 4 (log d1)) (+ (+ (+ (log d1) (log d1)) (+ (log d1) (log d1))) (log d1))) (exp (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 4))) (* (* (* d1 (* (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* d1 d1) (* d1 d1)) (pow d1 4)))) (* (* (* d1 d1) (* d1 d1)) (pow d1 4))) (* d1 d1)) (* (* (* d1 (* (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* d1 d1) (* d1 d1)) (pow d1 4)))) (* (* (* d1 d1) (* d1 d1)) (pow d1 4))) (* d1 d1)) (* (* (* d1 (* (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* d1 d1) (* d1 d1)) (pow d1 4)))) (* (* (* d1 d1) (* d1 d1)) (pow d1 4))) (* d1 d1)) (* (* (* d1 (* (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* d1 d1) (* d1 d1)) (pow d1 4)))) (* (* (* d1 d1) (* d1 d1)) (pow d1 4))) (* d1 d1)) (* (* (* d1 (* (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* d1 d1) (* d1 d1)) (pow d1 4)))) (* (* (* d1 d1) (* d1 d1)) (pow d1 4))) (* d1 d1)) (* (* (* d1 (* (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* d1 d1) (* d1 d1)) (pow d1 4)))) (* (* (* d1 d1) (* d1 d1)) (pow d1 4))) (* d1 d1)) (* (cbrt (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 4))) (cbrt (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 4)))) (cbrt (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 4))) (* (* (* d1 (* (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* d1 d1) (* d1 d1)) (pow d1 4)))) (* (* (* d1 d1) (* d1 d1)) (pow d1 4))) (* d1 d1)) (sqrt (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 4))) (sqrt (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 4))) (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (* (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (cbrt d1)) (* (* (* (* d1 d1) (* d1 d1)) (pow d1 4)) (sqrt d1)) (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 4)) (real->posit16 (* (* (* d1 (* d1 d1)) (* d1 d1)) (pow d1 4))) (pow d1 7) (pow d1 7) (pow d1 7) (pow d1 5) (pow d1 5) (pow d1 5) (pow d1 8) (pow d1 8) (pow d1 8) (pow d1 9) (pow d1 9) (pow d1 9) 17.069 * * * [progress]: adding candidates to table 18.634 * * [progress]: iteration 3 / 4 18.634 * * * [progress]: picking best candidate 18.644 * * * * [pick]: Picked # 18.644 * * * [progress]: localizing error 18.652 * * * [progress]: generating rewritten candidates 18.652 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 18.661 * * * [progress]: generating series expansions 18.661 * * * * [progress]: [ 1 / 1 ] generating series at (2) 18.661 * [backup-simplify]: Simplify (* (pow d1 9) d1) into (pow d1 10) 18.661 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0 18.661 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 18.661 * [taylor]: Taking taylor expansion of d1 in d1 18.661 * [backup-simplify]: Simplify 0 into 0 18.661 * [backup-simplify]: Simplify 1 into 1 18.661 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 18.661 * [taylor]: Taking taylor expansion of d1 in d1 18.661 * [backup-simplify]: Simplify 0 into 0 18.661 * [backup-simplify]: Simplify 1 into 1 18.662 * [backup-simplify]: Simplify (* 1 1) into 1 18.662 * [backup-simplify]: Simplify (* 1 1) into 1 18.662 * [backup-simplify]: Simplify (* 1 1) into 1 18.663 * [backup-simplify]: Simplify (* 1 1) into 1 18.663 * [backup-simplify]: Simplify 1 into 1 18.663 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.664 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.664 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.664 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.664 * [backup-simplify]: Simplify 0 into 0 18.665 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.665 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.667 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.667 * [backup-simplify]: Simplify 0 into 0 18.667 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.669 * [backup-simplify]: Simplify 0 into 0 18.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.672 * [backup-simplify]: Simplify 0 into 0 18.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.675 * [backup-simplify]: Simplify 0 into 0 18.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.677 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.679 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.679 * [backup-simplify]: Simplify 0 into 0 18.679 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10) 18.679 * [backup-simplify]: Simplify (* (pow (/ 1 d1) 9) (/ 1 d1)) into (/ 1 (pow d1 10)) 18.679 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 18.679 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 18.679 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 18.679 * [taylor]: Taking taylor expansion of d1 in d1 18.679 * [backup-simplify]: Simplify 0 into 0 18.679 * [backup-simplify]: Simplify 1 into 1 18.680 * [backup-simplify]: Simplify (* 1 1) into 1 18.680 * [backup-simplify]: Simplify (* 1 1) into 1 18.680 * [backup-simplify]: Simplify (* 1 1) into 1 18.680 * [backup-simplify]: Simplify (* 1 1) into 1 18.681 * [backup-simplify]: Simplify (/ 1 1) into 1 18.681 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 18.681 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 18.681 * [taylor]: Taking taylor expansion of d1 in d1 18.681 * [backup-simplify]: Simplify 0 into 0 18.681 * [backup-simplify]: Simplify 1 into 1 18.681 * [backup-simplify]: Simplify (* 1 1) into 1 18.681 * [backup-simplify]: Simplify (* 1 1) into 1 18.681 * [backup-simplify]: Simplify (* 1 1) into 1 18.682 * [backup-simplify]: Simplify (* 1 1) into 1 18.682 * [backup-simplify]: Simplify (/ 1 1) into 1 18.682 * [backup-simplify]: Simplify 1 into 1 18.682 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.683 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.683 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.683 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.684 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 18.684 * [backup-simplify]: Simplify 0 into 0 18.684 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.687 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.687 * [backup-simplify]: Simplify 0 into 0 18.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.690 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.690 * [backup-simplify]: Simplify 0 into 0 18.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.692 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.692 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.693 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.693 * [backup-simplify]: Simplify 0 into 0 18.694 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.695 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.695 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.697 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.697 * [backup-simplify]: Simplify 0 into 0 18.698 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.702 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.702 * [backup-simplify]: Simplify 0 into 0 18.702 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10) 18.703 * [backup-simplify]: Simplify (* (pow (/ 1 (- d1)) 9) (/ 1 (- d1))) into (/ 1 (pow d1 10)) 18.703 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 18.703 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 18.703 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 18.703 * [taylor]: Taking taylor expansion of d1 in d1 18.703 * [backup-simplify]: Simplify 0 into 0 18.703 * [backup-simplify]: Simplify 1 into 1 18.703 * [backup-simplify]: Simplify (* 1 1) into 1 18.704 * [backup-simplify]: Simplify (* 1 1) into 1 18.704 * [backup-simplify]: Simplify (* 1 1) into 1 18.704 * [backup-simplify]: Simplify (* 1 1) into 1 18.705 * [backup-simplify]: Simplify (/ 1 1) into 1 18.705 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 18.705 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 18.705 * [taylor]: Taking taylor expansion of d1 in d1 18.705 * [backup-simplify]: Simplify 0 into 0 18.705 * [backup-simplify]: Simplify 1 into 1 18.705 * [backup-simplify]: Simplify (* 1 1) into 1 18.706 * [backup-simplify]: Simplify (* 1 1) into 1 18.706 * [backup-simplify]: Simplify (* 1 1) into 1 18.707 * [backup-simplify]: Simplify (* 1 1) into 1 18.707 * [backup-simplify]: Simplify (/ 1 1) into 1 18.707 * [backup-simplify]: Simplify 1 into 1 18.708 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.709 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.709 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.710 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 18.711 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 18.711 * [backup-simplify]: Simplify 0 into 0 18.718 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.720 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.721 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 18.723 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.723 * [backup-simplify]: Simplify 0 into 0 18.724 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 18.729 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.729 * [backup-simplify]: Simplify 0 into 0 18.730 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.734 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 18.735 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.735 * [backup-simplify]: Simplify 0 into 0 18.737 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.738 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.741 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 18.742 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.742 * [backup-simplify]: Simplify 0 into 0 18.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.749 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 18.750 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 18.750 * [backup-simplify]: Simplify 0 into 0 18.750 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10) 18.750 * * * [progress]: simplifying candidates 18.750 * * * * [progress]: [ 1 / 31 ] simplifiying candidate # 18.750 * * * * [progress]: [ 2 / 31 ] simplifiying candidate # 18.751 * * * * [progress]: [ 3 / 31 ] simplifiying candidate # 18.751 * * * * [progress]: [ 4 / 31 ] simplifiying candidate # 18.751 * * * * [progress]: [ 5 / 31 ] simplifiying candidate # 18.751 * * * * [progress]: [ 6 / 31 ] simplifiying candidate # 18.751 * * * * [progress]: [ 7 / 31 ] simplifiying candidate # 18.751 * * * * [progress]: [ 8 / 31 ] simplifiying candidate # 18.751 * * * * [progress]: [ 9 / 31 ] simplifiying candidate # 18.751 * * * * [progress]: [ 10 / 31 ] simplifiying candidate # 18.751 * * * * [progress]: [ 11 / 31 ] simplifiying candidate # 18.751 * * * * [progress]: [ 12 / 31 ] simplifiying candidate # 18.751 * * * * [progress]: [ 13 / 31 ] simplifiying candidate # 18.751 * * * * [progress]: [ 14 / 31 ] simplifiying candidate # 18.751 * * * * [progress]: [ 15 / 31 ] simplifiying candidate # 18.751 * * * * [progress]: [ 16 / 31 ] simplifiying candidate # 18.751 * * * * [progress]: [ 17 / 31 ] simplifiying candidate # 18.751 * * * * [progress]: [ 18 / 31 ] simplifiying candidate # 18.752 * * * * [progress]: [ 19 / 31 ] simplifiying candidate # 18.752 * * * * [progress]: [ 20 / 31 ] simplifiying candidate # 18.752 * * * * [progress]: [ 21 / 31 ] simplifiying candidate # 18.752 * * * * [progress]: [ 22 / 31 ] simplifiying candidate # 18.752 * * * * [progress]: [ 23 / 31 ] simplifiying candidate # 18.752 * * * * [progress]: [ 24 / 31 ] simplifiying candidate # 18.752 * * * * [progress]: [ 25 / 31 ] simplifiying candidate # 18.752 * * * * [progress]: [ 26 / 31 ] simplifiying candidate # 18.752 * * * * [progress]: [ 27 / 31 ] simplifiying candidate #real (real->posit16 (* (pow d1 9) d1))))> 18.752 * * * * [progress]: [ 28 / 31 ] simplifiying candidate # 18.752 * * * * [progress]: [ 29 / 31 ] simplifiying candidate # 18.752 * * * * [progress]: [ 30 / 31 ] simplifiying candidate # 18.752 * * * * [progress]: [ 31 / 31 ] simplifiying candidate # 18.753 * [simplify]: Simplifying: (+ 9 1) (+ 9 1) (+ (* (log d1) 9) (log d1)) (+ (* (log d1) 9) (log d1)) (+ (log (pow d1 9)) (log d1)) (log (* (pow d1 9) d1)) (exp (* (pow d1 9) d1)) (* (* (* (pow d1 9) (pow d1 9)) (pow d1 9)) (* (* d1 d1) d1)) (* (cbrt (* (pow d1 9) d1)) (cbrt (* (pow d1 9) d1))) (cbrt (* (pow d1 9) d1)) (* (* (* (pow d1 9) d1) (* (pow d1 9) d1)) (* (pow d1 9) d1)) (sqrt (* (pow d1 9) d1)) (sqrt (* (pow d1 9) d1)) (* (pow (sqrt d1) 9) (sqrt d1)) (* (pow (sqrt d1) 9) (sqrt d1)) (* (sqrt (pow d1 9)) (sqrt d1)) (* (sqrt (pow d1 9)) (sqrt d1)) (* (pow d1 (/ 9 2)) (sqrt d1)) (* (pow d1 (/ 9 2)) (sqrt d1)) (* (pow d1 9) (* (cbrt d1) (cbrt d1))) (* (pow d1 9) (sqrt d1)) (* (pow d1 9) 1) (* (pow (cbrt d1) 9) d1) (* (pow (sqrt d1) 9) d1) (* (pow d1 9) d1) (* (cbrt (pow d1 9)) d1) (* (sqrt (pow d1 9)) d1) (* (pow d1 9) d1) (* (pow d1 (/ 9 2)) d1) (real->posit16 (* (pow d1 9) d1)) (pow d1 10) (pow d1 10) (pow d1 10) 18.754 * * [simplify]: iteration 1: (47 enodes) 18.780 * * [simplify]: iteration 2: (192 enodes) 18.848 * * [simplify]: iteration 3: (408 enodes) 19.033 * * [simplify]: iteration 4: (1216 enodes) 21.031 * * [simplify]: Extracting #0: cost 21 inf + 0 21.033 * * [simplify]: Extracting #1: cost 385 inf + 0 21.041 * * [simplify]: Extracting #2: cost 1194 inf + 7903 21.056 * * [simplify]: Extracting #3: cost 1156 inf + 27852 21.091 * * [simplify]: Extracting #4: cost 887 inf + 127200 21.187 * * [simplify]: Extracting #5: cost 254 inf + 544390 21.293 * * [simplify]: Extracting #6: cost 1 inf + 744656 21.426 * * [simplify]: Extracting #7: cost 0 inf + 743960 21.567 * [simplify]: Simplified to: (+ 1 9) (+ 1 9) (+ (* (log d1) 9) (log d1)) (+ (* (log d1) 9) (log d1)) (+ (* (log d1) 9) (log d1)) (+ (* (log d1) 9) (log d1)) (exp (* d1 (pow d1 9))) (* (* (* d1 (pow d1 9)) (* d1 (pow d1 9))) (* d1 (pow d1 9))) (* (cbrt (* d1 (pow d1 9))) (cbrt (* d1 (pow d1 9)))) (cbrt (* d1 (pow d1 9))) (* (* (* d1 (pow d1 9)) (* d1 (pow d1 9))) (* d1 (pow d1 9))) (sqrt (* d1 (pow d1 9))) (sqrt (* d1 (pow d1 9))) (* (pow (sqrt d1) 9) (sqrt d1)) (* (pow (sqrt d1) 9) (sqrt d1)) (* (sqrt d1) (sqrt (pow d1 9))) (* (sqrt d1) (sqrt (pow d1 9))) (* (sqrt d1) (pow d1 (/ 9 2))) (* (sqrt d1) (pow d1 (/ 9 2))) (* (pow d1 9) (* (cbrt d1) (cbrt d1))) (* (pow d1 9) (sqrt d1)) (pow d1 9) (* d1 (pow (cbrt d1) 9)) (* (pow (sqrt d1) 9) d1) (* d1 (pow d1 9)) (* (cbrt (pow d1 9)) d1) (* d1 (sqrt (pow d1 9))) (* d1 (pow d1 9)) (* d1 (pow d1 (/ 9 2))) (real->posit16 (* d1 (pow d1 9))) (pow d1 10) (pow d1 10) (pow d1 10) 21.568 * * * [progress]: adding candidates to table 21.762 * * [progress]: iteration 4 / 4 21.762 * * * [progress]: picking best candidate 21.765 * * * * [pick]: Picked # 21.765 * * * [progress]: localizing error 21.773 * * * [progress]: generating rewritten candidates 21.773 * * * [progress]: generating series expansions 21.773 * * * [progress]: simplifying candidates 21.773 * [simplify]: Simplifying: 21.773 * * [simplify]: iteration 1: (0 enodes) 21.773 * * [simplify]: Extracting #0: cost 0 inf + 0 21.773 * [simplify]: Simplified to: 21.773 * * * [progress]: adding candidates to table 21.774 * [progress]: [Phase 3 of 3] Extracting. 21.778 * [simplify]: Simplifying: (pow d1 10) 21.778 * * [simplify]: iteration 1: (3 enodes) 21.778 * * [simplify]: Extracting #0: cost 1 inf + 0 21.778 * * [simplify]: Extracting #1: cost 3 inf + 0 21.778 * * [simplify]: Extracting #2: cost 1 inf + 2 21.778 * * [simplify]: Extracting #3: cost 0 inf + 214 21.778 * [simplify]: Simplified to: (pow d1 10) 24.235 * [regime-testing]: Baseline error score: 0 24.237 * [regime-testing]: Oracle error score: 0 24.237 * [regime-testing]: End program error score: 0 24.312 * [regime-testing]: Target error score: 0