126.332 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.179 * * * [progress]: [2/2] Setting up program. 0.184 * [progress]: [Phase 2 of 3] Improving. 0.193 * [simplify]: Simplifying: (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) 0.193 * * [simplify]: iteration 0: 9 enodes 0.199 * * [simplify]: iteration 1: 24 enodes 0.230 * * [simplify]: iteration 2: 57 enodes 0.268 * * [simplify]: iteration 3: 100 enodes 0.608 * * [simplify]: iteration 4: 273 enodes 1.102 * * [simplify]: iteration 5: 539 enodes 4.578 * * [simplify]: iteration 6: 2200 enodes 7.483 * * [simplify]: iteration complete: 5000 enodes 7.483 * * [simplify]: Extracting #0: cost 1 inf + 0 7.484 * * [simplify]: Extracting #1: cost 146 inf + 0 7.490 * * [simplify]: Extracting #2: cost 1169 inf + 85 7.503 * * [simplify]: Extracting #3: cost 1228 inf + 22325 7.534 * * [simplify]: Extracting #4: cost 926 inf + 140212 7.607 * * [simplify]: Extracting #5: cost 323 inf + 473526 7.705 * * [simplify]: Extracting #6: cost 6 inf + 656467 7.808 * * [simplify]: Extracting #7: cost 0 inf + 652216 7.930 * * [simplify]: Extracting #8: cost 0 inf + 651845 8.042 * * [simplify]: Extracting #9: cost 0 inf + 651594 8.152 * [simplify]: Simplified to: (* (* (* d1 (* d1 d1)) (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 d1))) 8.163 * * [progress]: iteration 1 / 4 8.163 * * * [progress]: picking best candidate 8.174 * * * * [pick]: Picked # 8.174 * * * [progress]: localizing error 8.223 * * * [progress]: generating rewritten candidates 8.223 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 1) 8.259 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 9.676 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1) 9.784 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 25.274 * * * [progress]: generating series expansions 25.274 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1 1) 25.274 * [backup-simplify]: Simplify (* d1 (* d1 d1)) into (pow d1 3) 25.274 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0 25.274 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 25.274 * [taylor]: Taking taylor expansion of d1 in d1 25.275 * [backup-simplify]: Simplify 0 into 0 25.275 * [backup-simplify]: Simplify 1 into 1 25.275 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 25.275 * [taylor]: Taking taylor expansion of d1 in d1 25.275 * [backup-simplify]: Simplify 0 into 0 25.275 * [backup-simplify]: Simplify 1 into 1 25.276 * [backup-simplify]: Simplify (* 1 1) into 1 25.276 * [backup-simplify]: Simplify (* 1 1) into 1 25.276 * [backup-simplify]: Simplify 1 into 1 25.277 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.277 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.277 * [backup-simplify]: Simplify 0 into 0 25.278 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.279 * [backup-simplify]: Simplify 0 into 0 25.280 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.281 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.281 * [backup-simplify]: Simplify 0 into 0 25.283 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.296 * [backup-simplify]: Simplify 0 into 0 25.297 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.299 * [backup-simplify]: Simplify 0 into 0 25.300 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.302 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.302 * [backup-simplify]: Simplify 0 into 0 25.302 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3) 25.303 * [backup-simplify]: Simplify (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 3)) 25.303 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0 25.303 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 25.303 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 25.303 * [taylor]: Taking taylor expansion of d1 in d1 25.303 * [backup-simplify]: Simplify 0 into 0 25.303 * [backup-simplify]: Simplify 1 into 1 25.303 * [backup-simplify]: Simplify (* 1 1) into 1 25.303 * [backup-simplify]: Simplify (* 1 1) into 1 25.304 * [backup-simplify]: Simplify (/ 1 1) into 1 25.304 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 25.304 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 25.304 * [taylor]: Taking taylor expansion of d1 in d1 25.304 * [backup-simplify]: Simplify 0 into 0 25.304 * [backup-simplify]: Simplify 1 into 1 25.304 * [backup-simplify]: Simplify (* 1 1) into 1 25.305 * [backup-simplify]: Simplify (* 1 1) into 1 25.306 * [backup-simplify]: Simplify (/ 1 1) into 1 25.306 * [backup-simplify]: Simplify 1 into 1 25.306 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.307 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.308 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 25.308 * [backup-simplify]: Simplify 0 into 0 25.309 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.310 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.311 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.311 * [backup-simplify]: Simplify 0 into 0 25.312 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.313 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.314 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.314 * [backup-simplify]: Simplify 0 into 0 25.315 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.316 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.317 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.317 * [backup-simplify]: Simplify 0 into 0 25.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.321 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.321 * [backup-simplify]: Simplify 0 into 0 25.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.324 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.325 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.325 * [backup-simplify]: Simplify 0 into 0 25.326 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3) 25.326 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 3)) 25.326 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0 25.326 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 25.326 * [taylor]: Taking taylor expansion of -1 in d1 25.326 * [backup-simplify]: Simplify -1 into -1 25.326 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 25.326 * [taylor]: Taking taylor expansion of d1 in d1 25.326 * [backup-simplify]: Simplify 0 into 0 25.326 * [backup-simplify]: Simplify 1 into 1 25.327 * [backup-simplify]: Simplify (* 1 1) into 1 25.327 * [backup-simplify]: Simplify (* 1 1) into 1 25.327 * [backup-simplify]: Simplify (/ -1 1) into -1 25.327 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 25.327 * [taylor]: Taking taylor expansion of -1 in d1 25.327 * [backup-simplify]: Simplify -1 into -1 25.327 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 25.328 * [taylor]: Taking taylor expansion of d1 in d1 25.328 * [backup-simplify]: Simplify 0 into 0 25.328 * [backup-simplify]: Simplify 1 into 1 25.328 * [backup-simplify]: Simplify (* 1 1) into 1 25.328 * [backup-simplify]: Simplify (* 1 1) into 1 25.329 * [backup-simplify]: Simplify (/ -1 1) into -1 25.329 * [backup-simplify]: Simplify -1 into -1 25.330 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.330 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.331 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 25.331 * [backup-simplify]: Simplify 0 into 0 25.332 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.334 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.334 * [backup-simplify]: Simplify 0 into 0 25.336 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.337 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.338 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.338 * [backup-simplify]: Simplify 0 into 0 25.339 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.340 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.341 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.341 * [backup-simplify]: Simplify 0 into 0 25.343 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.344 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.345 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.345 * [backup-simplify]: Simplify 0 into 0 25.347 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.349 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.350 * [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 25.350 * [backup-simplify]: Simplify 0 into 0 25.350 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3) 25.350 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 25.350 * [backup-simplify]: Simplify (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) into (pow d1 7) 25.350 * [approximate]: Taking taylor expansion of (pow d1 7) in (d1) around 0 25.351 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 25.351 * [taylor]: Taking taylor expansion of d1 in d1 25.351 * [backup-simplify]: Simplify 0 into 0 25.351 * [backup-simplify]: Simplify 1 into 1 25.351 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 25.351 * [taylor]: Taking taylor expansion of d1 in d1 25.351 * [backup-simplify]: Simplify 0 into 0 25.351 * [backup-simplify]: Simplify 1 into 1 25.351 * [backup-simplify]: Simplify (* 1 1) into 1 25.352 * [backup-simplify]: Simplify (* 1 1) into 1 25.352 * [backup-simplify]: Simplify (* 1 1) into 1 25.352 * [backup-simplify]: Simplify (* 1 1) into 1 25.352 * [backup-simplify]: Simplify 1 into 1 25.353 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.354 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.354 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.355 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.355 * [backup-simplify]: Simplify 0 into 0 25.356 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.357 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.358 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.359 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.359 * [backup-simplify]: Simplify 0 into 0 25.360 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.361 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.362 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.363 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.363 * [backup-simplify]: Simplify 0 into 0 25.365 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.366 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.368 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.369 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.369 * [backup-simplify]: Simplify 0 into 0 25.370 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.372 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.373 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.374 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.374 * [backup-simplify]: Simplify 0 into 0 25.376 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.378 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.379 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.381 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.381 * [backup-simplify]: Simplify 0 into 0 25.381 * [backup-simplify]: Simplify (* 1 (pow d1 7)) into (pow d1 7) 25.382 * [backup-simplify]: Simplify (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) into (/ 1 (pow d1 7)) 25.382 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 7)) in (d1) around 0 25.382 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 25.382 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 25.382 * [taylor]: Taking taylor expansion of d1 in d1 25.382 * [backup-simplify]: Simplify 0 into 0 25.382 * [backup-simplify]: Simplify 1 into 1 25.382 * [backup-simplify]: Simplify (* 1 1) into 1 25.383 * [backup-simplify]: Simplify (* 1 1) into 1 25.383 * [backup-simplify]: Simplify (* 1 1) into 1 25.384 * [backup-simplify]: Simplify (* 1 1) into 1 25.384 * [backup-simplify]: Simplify (/ 1 1) into 1 25.384 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 7)) in d1 25.384 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 25.384 * [taylor]: Taking taylor expansion of d1 in d1 25.384 * [backup-simplify]: Simplify 0 into 0 25.384 * [backup-simplify]: Simplify 1 into 1 25.385 * [backup-simplify]: Simplify (* 1 1) into 1 25.385 * [backup-simplify]: Simplify (* 1 1) into 1 25.385 * [backup-simplify]: Simplify (* 1 1) into 1 25.386 * [backup-simplify]: Simplify (* 1 1) into 1 25.386 * [backup-simplify]: Simplify (/ 1 1) into 1 25.386 * [backup-simplify]: Simplify 1 into 1 25.387 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.388 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.388 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.389 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.390 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 25.390 * [backup-simplify]: Simplify 0 into 0 25.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.392 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.393 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.394 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.395 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.395 * [backup-simplify]: Simplify 0 into 0 25.396 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.397 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.398 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.399 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.400 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.400 * [backup-simplify]: Simplify 0 into 0 25.402 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.403 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.405 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.406 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.407 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.407 * [backup-simplify]: Simplify 0 into 0 25.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.410 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.412 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.413 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.414 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.414 * [backup-simplify]: Simplify 0 into 0 25.416 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.418 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.420 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.421 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.422 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.422 * [backup-simplify]: Simplify 0 into 0 25.423 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 7)) into (pow d1 7) 25.423 * [backup-simplify]: Simplify (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) into (/ -1 (pow d1 7)) 25.423 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 7)) in (d1) around 0 25.423 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 25.423 * [taylor]: Taking taylor expansion of -1 in d1 25.423 * [backup-simplify]: Simplify -1 into -1 25.423 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 25.423 * [taylor]: Taking taylor expansion of d1 in d1 25.423 * [backup-simplify]: Simplify 0 into 0 25.423 * [backup-simplify]: Simplify 1 into 1 25.424 * [backup-simplify]: Simplify (* 1 1) into 1 25.424 * [backup-simplify]: Simplify (* 1 1) into 1 25.425 * [backup-simplify]: Simplify (* 1 1) into 1 25.425 * [backup-simplify]: Simplify (* 1 1) into 1 25.426 * [backup-simplify]: Simplify (/ -1 1) into -1 25.426 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 7)) in d1 25.426 * [taylor]: Taking taylor expansion of -1 in d1 25.426 * [backup-simplify]: Simplify -1 into -1 25.426 * [taylor]: Taking taylor expansion of (pow d1 7) in d1 25.426 * [taylor]: Taking taylor expansion of d1 in d1 25.426 * [backup-simplify]: Simplify 0 into 0 25.426 * [backup-simplify]: Simplify 1 into 1 25.426 * [backup-simplify]: Simplify (* 1 1) into 1 25.427 * [backup-simplify]: Simplify (* 1 1) into 1 25.427 * [backup-simplify]: Simplify (* 1 1) into 1 25.427 * [backup-simplify]: Simplify (* 1 1) into 1 25.428 * [backup-simplify]: Simplify (/ -1 1) into -1 25.428 * [backup-simplify]: Simplify -1 into -1 25.428 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.429 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.430 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.430 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.431 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 25.431 * [backup-simplify]: Simplify 0 into 0 25.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.433 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.435 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.435 * [backup-simplify]: Simplify 0 into 0 25.436 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.438 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.440 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.440 * [backup-simplify]: Simplify 0 into 0 25.442 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.443 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.444 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.445 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.446 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.446 * [backup-simplify]: Simplify 0 into 0 25.452 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.455 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.456 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.457 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.459 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.459 * [backup-simplify]: Simplify 0 into 0 25.460 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.462 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.463 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.465 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.466 * [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 25.466 * [backup-simplify]: Simplify 0 into 0 25.467 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 7)) into (pow d1 7) 25.467 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1) 25.467 * [backup-simplify]: Simplify (* (* d1 (* d1 d1)) d1) into (pow d1 4) 25.467 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0 25.467 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 25.467 * [taylor]: Taking taylor expansion of d1 in d1 25.467 * [backup-simplify]: Simplify 0 into 0 25.467 * [backup-simplify]: Simplify 1 into 1 25.467 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 25.467 * [taylor]: Taking taylor expansion of d1 in d1 25.467 * [backup-simplify]: Simplify 0 into 0 25.467 * [backup-simplify]: Simplify 1 into 1 25.468 * [backup-simplify]: Simplify (* 1 1) into 1 25.468 * [backup-simplify]: Simplify (* 1 1) into 1 25.468 * [backup-simplify]: Simplify 1 into 1 25.469 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.470 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.470 * [backup-simplify]: Simplify 0 into 0 25.470 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.471 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.471 * [backup-simplify]: Simplify 0 into 0 25.473 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.474 * [backup-simplify]: Simplify 0 into 0 25.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.477 * [backup-simplify]: Simplify 0 into 0 25.478 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.480 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.480 * [backup-simplify]: Simplify 0 into 0 25.481 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.484 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.485 * [backup-simplify]: Simplify 0 into 0 25.485 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4) 25.485 * [backup-simplify]: Simplify (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) into (/ 1 (pow d1 4)) 25.485 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 25.485 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 25.485 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 25.485 * [taylor]: Taking taylor expansion of d1 in d1 25.485 * [backup-simplify]: Simplify 0 into 0 25.485 * [backup-simplify]: Simplify 1 into 1 25.486 * [backup-simplify]: Simplify (* 1 1) into 1 25.486 * [backup-simplify]: Simplify (* 1 1) into 1 25.487 * [backup-simplify]: Simplify (/ 1 1) into 1 25.487 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 25.487 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 25.487 * [taylor]: Taking taylor expansion of d1 in d1 25.487 * [backup-simplify]: Simplify 0 into 0 25.487 * [backup-simplify]: Simplify 1 into 1 25.487 * [backup-simplify]: Simplify (* 1 1) into 1 25.487 * [backup-simplify]: Simplify (* 1 1) into 1 25.488 * [backup-simplify]: Simplify (/ 1 1) into 1 25.488 * [backup-simplify]: Simplify 1 into 1 25.489 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.489 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.490 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 25.490 * [backup-simplify]: Simplify 0 into 0 25.491 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.493 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.493 * [backup-simplify]: Simplify 0 into 0 25.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.495 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.496 * [backup-simplify]: Simplify 0 into 0 25.497 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.500 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.500 * [backup-simplify]: Simplify 0 into 0 25.501 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.503 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.504 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.504 * [backup-simplify]: Simplify 0 into 0 25.505 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.507 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.508 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.508 * [backup-simplify]: Simplify 0 into 0 25.508 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4) 25.508 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) into (/ 1 (pow d1 4)) 25.509 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 25.509 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 25.509 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 25.509 * [taylor]: Taking taylor expansion of d1 in d1 25.509 * [backup-simplify]: Simplify 0 into 0 25.509 * [backup-simplify]: Simplify 1 into 1 25.509 * [backup-simplify]: Simplify (* 1 1) into 1 25.509 * [backup-simplify]: Simplify (* 1 1) into 1 25.510 * [backup-simplify]: Simplify (/ 1 1) into 1 25.510 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 25.510 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 25.510 * [taylor]: Taking taylor expansion of d1 in d1 25.510 * [backup-simplify]: Simplify 0 into 0 25.510 * [backup-simplify]: Simplify 1 into 1 25.510 * [backup-simplify]: Simplify (* 1 1) into 1 25.511 * [backup-simplify]: Simplify (* 1 1) into 1 25.511 * [backup-simplify]: Simplify (/ 1 1) into 1 25.511 * [backup-simplify]: Simplify 1 into 1 25.512 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.513 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.513 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 25.513 * [backup-simplify]: Simplify 0 into 0 25.514 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.515 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.516 * [backup-simplify]: Simplify 0 into 0 25.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.519 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.519 * [backup-simplify]: Simplify 0 into 0 25.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.523 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.523 * [backup-simplify]: Simplify 0 into 0 25.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.526 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.527 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.527 * [backup-simplify]: Simplify 0 into 0 25.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.530 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.531 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.532 * [backup-simplify]: Simplify 0 into 0 25.532 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4) 25.532 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 25.532 * [backup-simplify]: Simplify (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) into (pow d1 9) 25.532 * [approximate]: Taking taylor expansion of (pow d1 9) in (d1) around 0 25.532 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 25.532 * [taylor]: Taking taylor expansion of d1 in d1 25.532 * [backup-simplify]: Simplify 0 into 0 25.532 * [backup-simplify]: Simplify 1 into 1 25.532 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 25.533 * [taylor]: Taking taylor expansion of d1 in d1 25.533 * [backup-simplify]: Simplify 0 into 0 25.533 * [backup-simplify]: Simplify 1 into 1 25.533 * [backup-simplify]: Simplify (* 1 1) into 1 25.533 * [backup-simplify]: Simplify (* 1 1) into 1 25.534 * [backup-simplify]: Simplify (* 1 1) into 1 25.534 * [backup-simplify]: Simplify (* 1 1) into 1 25.534 * [backup-simplify]: Simplify 1 into 1 25.535 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.536 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.536 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.542 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.542 * [backup-simplify]: Simplify 0 into 0 25.543 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.544 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.546 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.546 * [backup-simplify]: Simplify 0 into 0 25.547 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.549 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.550 * [backup-simplify]: Simplify 0 into 0 25.551 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.555 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.555 * [backup-simplify]: Simplify 0 into 0 25.556 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.558 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.559 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.560 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.560 * [backup-simplify]: Simplify 0 into 0 25.562 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.563 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.564 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.566 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.566 * [backup-simplify]: Simplify 0 into 0 25.566 * [backup-simplify]: Simplify (* 1 (pow d1 9)) into (pow d1 9) 25.567 * [backup-simplify]: Simplify (* (/ 1 d1) (* (* (* (* (* (/ 1 d1) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1)) (/ 1 d1)) (* (/ 1 d1) (/ 1 d1))) (/ 1 d1))) into (/ 1 (pow d1 9)) 25.567 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 9)) in (d1) around 0 25.567 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1 25.567 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 25.567 * [taylor]: Taking taylor expansion of d1 in d1 25.567 * [backup-simplify]: Simplify 0 into 0 25.567 * [backup-simplify]: Simplify 1 into 1 25.568 * [backup-simplify]: Simplify (* 1 1) into 1 25.568 * [backup-simplify]: Simplify (* 1 1) into 1 25.568 * [backup-simplify]: Simplify (* 1 1) into 1 25.569 * [backup-simplify]: Simplify (* 1 1) into 1 25.569 * [backup-simplify]: Simplify (/ 1 1) into 1 25.569 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 9)) in d1 25.569 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 25.569 * [taylor]: Taking taylor expansion of d1 in d1 25.569 * [backup-simplify]: Simplify 0 into 0 25.569 * [backup-simplify]: Simplify 1 into 1 25.569 * [backup-simplify]: Simplify (* 1 1) into 1 25.570 * [backup-simplify]: Simplify (* 1 1) into 1 25.570 * [backup-simplify]: Simplify (* 1 1) into 1 25.571 * [backup-simplify]: Simplify (* 1 1) into 1 25.571 * [backup-simplify]: Simplify (/ 1 1) into 1 25.571 * [backup-simplify]: Simplify 1 into 1 25.572 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.572 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.573 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.573 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.574 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 25.574 * [backup-simplify]: Simplify 0 into 0 25.575 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.577 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.578 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.578 * [backup-simplify]: Simplify 0 into 0 25.579 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.580 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.581 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.582 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.584 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.584 * [backup-simplify]: Simplify 0 into 0 25.585 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.586 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.588 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.589 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.590 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.590 * [backup-simplify]: Simplify 0 into 0 25.591 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.592 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.593 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.595 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.595 * [backup-simplify]: Simplify 0 into 0 25.596 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.598 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.599 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.602 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.602 * [backup-simplify]: Simplify 0 into 0 25.603 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 9)) into (pow d1 9) 25.603 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (* (* (* (* (* (/ 1 (- d1)) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1))) (/ 1 (- d1))) (* (/ 1 (- d1)) (/ 1 (- d1)))) (/ 1 (- d1)))) into (/ -1 (pow d1 9)) 25.603 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 9)) in (d1) around 0 25.603 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1 25.603 * [taylor]: Taking taylor expansion of -1 in d1 25.603 * [backup-simplify]: Simplify -1 into -1 25.604 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 25.604 * [taylor]: Taking taylor expansion of d1 in d1 25.604 * [backup-simplify]: Simplify 0 into 0 25.604 * [backup-simplify]: Simplify 1 into 1 25.604 * [backup-simplify]: Simplify (* 1 1) into 1 25.605 * [backup-simplify]: Simplify (* 1 1) into 1 25.605 * [backup-simplify]: Simplify (* 1 1) into 1 25.606 * [backup-simplify]: Simplify (* 1 1) into 1 25.606 * [backup-simplify]: Simplify (/ -1 1) into -1 25.606 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 9)) in d1 25.606 * [taylor]: Taking taylor expansion of -1 in d1 25.606 * [backup-simplify]: Simplify -1 into -1 25.606 * [taylor]: Taking taylor expansion of (pow d1 9) in d1 25.606 * [taylor]: Taking taylor expansion of d1 in d1 25.606 * [backup-simplify]: Simplify 0 into 0 25.606 * [backup-simplify]: Simplify 1 into 1 25.607 * [backup-simplify]: Simplify (* 1 1) into 1 25.607 * [backup-simplify]: Simplify (* 1 1) into 1 25.607 * [backup-simplify]: Simplify (* 1 1) into 1 25.608 * [backup-simplify]: Simplify (* 1 1) into 1 25.608 * [backup-simplify]: Simplify (/ -1 1) into -1 25.608 * [backup-simplify]: Simplify -1 into -1 25.613 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.614 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.615 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.615 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 25.616 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 25.616 * [backup-simplify]: Simplify 0 into 0 25.617 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.619 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.620 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 25.621 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.621 * [backup-simplify]: Simplify 0 into 0 25.623 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.624 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.626 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 25.627 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.627 * [backup-simplify]: Simplify 0 into 0 25.629 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.633 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 25.635 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.635 * [backup-simplify]: Simplify 0 into 0 25.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 25.642 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.643 * [backup-simplify]: Simplify 0 into 0 25.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.646 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.648 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 25.650 * [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 25.651 * [backup-simplify]: Simplify 0 into 0 25.651 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 9)) into (pow d1 9) 25.651 * * * [progress]: simplifying candidates 25.663 * [simplify]: Simplifying: (expm1 (* d1 (* d1 d1))) (log1p (* d1 (* d1 d1))) (+ 1 (+ 1 1)) (+ 1 2) (+ 1 (+ 1 1)) (+ 1 (* 2 1)) (* d1 (* d1 d1)) (* d1 (* d1 d1)) (+ (log d1) (+ (log d1) (log d1))) (+ (log d1) (log (* d1 d1))) (log (* d1 (* d1 d1))) (exp (* d1 (* d1 d1))) (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (cbrt (* d1 (* d1 d1))) (cbrt (* d1 (* d1 d1)))) (cbrt (* d1 (* d1 d1))) (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1))) (sqrt (* d1 (* d1 d1))) (* (sqrt d1) d1) (* (sqrt d1) d1) (* d1 d1) (* (cbrt d1) (* d1 d1)) (* (sqrt d1) (* d1 d1)) (* d1 (* d1 d1)) (expm1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (log1p (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) 2) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) 2) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) 2) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) 2) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) 2) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) 2) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) 2) (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) 2) (+ (+ (+ 3 1) 1) (+ 1 1)) (+ (+ (+ 3 1) 1) (* 2 1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (+ (+ (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (log d1)) (log (* d1 d1))) (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1))) (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1))) (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1))) (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))) (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (exp (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)))) (cbrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (sqrt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) d1) (* d1 (* d1 d1)) (expm1 (* (* d1 (* d1 d1)) d1)) (log1p (* (* d1 (* d1 d1)) d1)) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 2) 1) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 (* 2 1)) 1) (+ 3 1) (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 2) 1) (+ (+ 1 (+ 1 1)) 1) (+ (+ 1 (* 2 1)) 1) (+ 3 1) (+ (+ (log d1) (+ (log d1) (log d1))) (log d1)) (+ (+ (log d1) (log (* d1 d1))) (log d1)) (+ (log (* d1 (* d1 d1))) (log d1)) (log (* (* d1 (* d1 d1)) d1)) (exp (* (* d1 (* d1 d1)) d1)) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (cbrt (* (* d1 (* d1 d1)) d1)) (cbrt (* (* d1 (* d1 d1)) d1))) (cbrt (* (* d1 (* d1 d1)) d1)) (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (sqrt (* (* d1 (* d1 d1)) d1)) (sqrt (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) (* (cbrt d1) (cbrt d1))) (* (* d1 (* d1 d1)) (sqrt d1)) (* (* d1 (* d1 d1)) 1) (* (* d1 d1) d1) (expm1 (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (log1p (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 2) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (+ 1 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ (+ 1 (* 2 1)) 1) 1) (* 2 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) 2) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (+ 1 1)) 1)) (+ 1 (+ (+ (+ (+ 3 1) 1) (* 2 1)) 1)) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 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))) (log d1)) (log d1)) (log (* d1 d1))) (log d1))) (+ (log d1) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1))) (+ (log d1) (+ (+ (+ (+ (+ (log d1) (log (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1))) (+ (log d1) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (+ (log d1) (log d1))) (log d1))) (+ (log d1) (+ (+ (+ (+ (log (* d1 (* d1 d1))) (log d1)) (log d1)) (log (* d1 d1))) (log d1))) (+ (log d1) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (+ (log d1) (log d1))) (log d1))) (+ (log d1) (+ (+ (+ (log (* (* d1 (* d1 d1)) d1)) (log d1)) (log (* d1 d1))) (log d1))) (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (+ (log d1) (log d1))) (log d1))) (+ (log d1) (+ (+ (log (* (* (* d1 (* d1 d1)) d1) d1)) (log (* d1 d1))) (log d1))) (+ (log d1) (+ (log (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (log d1))) (+ (log d1) (log (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (log (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (exp (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 d1) d1) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) (* d1 (* d1 d1))) (* d1 (* d1 d1))) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) (* (* d1 (* d1 d1)) d1)) (* (* d1 (* d1 d1)) d1)) (* (* d1 d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) d1) (* (* d1 d1) d1))) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 (* d1 d1)) d1) d1)) (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (* d1 d1) d1))) (* (* (* d1 d1) d1) (* (* (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (* (cbrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (cbrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)))) (cbrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (* (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (sqrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (sqrt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))) (* d1 (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))) (* (cbrt d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* (sqrt d1) (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) (pow d1 3) (pow d1 3) (pow d1 3) (pow d1 7) (pow d1 7) (pow d1 7) (pow d1 4) (pow d1 4) (pow d1 4) (pow d1 9) (pow d1 9) (pow d1 9) 25.676 * * [simplify]: iteration 0: 213 enodes 25.910 * * [simplify]: iteration 1: 564 enodes 26.401 * * [simplify]: iteration 2: 1949 enodes 30.813 * * [simplify]: iteration complete: 5001 enodes 30.813 * * [simplify]: Extracting #0: cost 50 inf + 0 30.816 * * [simplify]: Extracting #1: cost 655 inf + 5 30.830 * * [simplify]: Extracting #2: cost 1231 inf + 43710 30.906 * * [simplify]: Extracting #3: cost 477 inf + 253419 31.038 * * [simplify]: Extracting #4: cost 28 inf + 362191 31.289 * * [simplify]: Extracting #5: cost 3 inf + 364258 31.426 * * [simplify]: Extracting #6: cost 0 inf + 365016 31.563 * [simplify]: Simplified to: (expm1 (* (* d1 d1) d1)) (log1p (* (* d1 d1) d1)) 3 3 3 3 (* (* d1 d1) d1) (* (* d1 d1) d1) (* 3 (log d1)) (* 3 (log d1)) (* 3 (log d1)) (exp (* (* d1 d1) d1)) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* d1 d1) d1 (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (sqrt (* (* d1 d1) d1)) (sqrt (* (* d1 d1) d1)) (* (sqrt d1) d1) (* (sqrt d1) d1) (* d1 d1) (* (cbrt d1) (* d1 d1)) (* (* (sqrt d1) d1) d1) (* (* d1 d1) d1) (expm1 (* d1 (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) (log1p (* d1 (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 (* d1 (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (* d1 (* (* (* d1 d1) (* d1 d1)) (* d1 d1))) (fma 3 (log d1) (* 4 (log d1))) (fma 3 (log d1) (* 4 (log d1))) (fma 3 (log d1) (* 4 (log d1))) (fma 3 (log d1) (* 4 (log d1))) (fma 3 (log d1) (* 4 (log d1))) (fma 3 (log d1) (* 4 (log d1))) (fma 3 (log d1) (* 4 (log d1))) (fma 3 (log d1) (* 4 (log d1))) (fma 3 (log d1) (* 4 (log d1))) (fma 3 (log d1) (* 4 (log d1))) (fma 3 (log d1) (* 4 (log d1))) (exp (* d1 (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)) (* (cbrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) (cbrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* d1 d1))))) (cbrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) (* (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) d1)) (sqrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) (sqrt (* d1 (* (* (* d1 d1) (* d1 d1)) (* d1 d1)))) (* (* d1 d1) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) d1) (expm1 (* (* d1 d1) (* d1 d1))) (log1p (* (* d1 d1) (* d1 d1))) 4 4 4 4 4 (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) 4 4 4 4 4 (* 4 (log d1)) (* 4 (log d1)) (* 4 (log d1)) (* 4 (log d1)) (exp (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (cbrt (* (* d1 d1) (* d1 d1))) (cbrt (* (* d1 d1) (* d1 d1)))) (cbrt (* (* d1 d1) (* d1 d1))) (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (fabs (* d1 d1)) (fabs (* d1 d1)) (* d1 (* (* d1 (cbrt d1)) (* d1 (cbrt d1)))) (* (* d1 (sqrt d1)) (* d1 d1)) (* (* d1 d1) d1) (* (* d1 d1) d1) (expm1 (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (log1p (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (+ (* 3 (log d1)) (+ (* 3 (log d1)) (* 3 (log d1)))) (+ (* 3 (log d1)) (+ (* 3 (log d1)) (* 3 (log d1)))) (+ (* 3 (log d1)) (+ (* 3 (log d1)) (* 3 (log d1)))) (+ (* 3 (log d1)) (+ (* 3 (log d1)) (* 3 (log d1)))) (+ (* 3 (log d1)) (+ (* 3 (log d1)) (* 3 (log d1)))) (+ (* 3 (log d1)) (+ (* 3 (log d1)) (* 3 (log d1)))) (+ (* 3 (log d1)) (+ (* 3 (log d1)) (* 3 (log d1)))) (+ (* 3 (log d1)) (+ (* 3 (log d1)) (* 3 (log d1)))) (+ (* 3 (log d1)) (+ (* 3 (log d1)) (* 3 (log d1)))) (+ (* 3 (log d1)) (+ (* 3 (log d1)) (* 3 (log d1)))) (+ (* 3 (log d1)) (+ (* 3 (log d1)) (* 3 (log d1)))) (+ (* 3 (log d1)) (+ (* 3 (log d1)) (* 3 (log d1)))) (+ (* 3 (log d1)) (+ (* 3 (log d1)) (* 3 (log d1)))) (exp (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))) (* (cbrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (cbrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))) (cbrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))))) (sqrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (sqrt (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (cbrt d1) (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)))) (* (* (* d1 d1) (* d1 d1)) (* (* (* d1 d1) (* d1 d1)) (sqrt d1))) (* (* d1 (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) d1) (* (* d1 d1) d1) (* (* d1 d1) d1) (pow d1 7) (pow d1 7) (pow d1 7) (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1)) (pow d1 9) (pow d1 9) (pow d1 9) 31.602 * * * [progress]: adding candidates to table 32.125 * * [progress]: iteration 2 / 4 32.125 * * * [progress]: picking best candidate 32.158 * * * * [pick]: Picked # 32.158 * * * [progress]: localizing error 32.170 * * * [progress]: generating rewritten candidates 32.170 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 32.198 * * * [progress]: generating series expansions 32.198 * * * * [progress]: [ 1 / 1 ] generating series at (2) 32.199 * [backup-simplify]: Simplify (* (pow d1 9) d1) into (pow d1 10) 32.199 * [approximate]: Taking taylor expansion of (pow d1 10) in (d1) around 0 32.199 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 32.199 * [taylor]: Taking taylor expansion of d1 in d1 32.199 * [backup-simplify]: Simplify 0 into 0 32.199 * [backup-simplify]: Simplify 1 into 1 32.199 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 32.199 * [taylor]: Taking taylor expansion of d1 in d1 32.199 * [backup-simplify]: Simplify 0 into 0 32.199 * [backup-simplify]: Simplify 1 into 1 32.200 * [backup-simplify]: Simplify (* 1 1) into 1 32.200 * [backup-simplify]: Simplify (* 1 1) into 1 32.201 * [backup-simplify]: Simplify (* 1 1) into 1 32.201 * [backup-simplify]: Simplify (* 1 1) into 1 32.201 * [backup-simplify]: Simplify 1 into 1 32.202 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 32.203 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 32.203 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 32.204 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 32.204 * [backup-simplify]: Simplify 0 into 0 32.205 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 32.206 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 32.208 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 32.208 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 32.209 * [backup-simplify]: Simplify 0 into 0 32.210 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.211 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.212 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.213 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.213 * [backup-simplify]: Simplify 0 into 0 32.214 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 32.215 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 32.217 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 32.218 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 32.218 * [backup-simplify]: Simplify 0 into 0 32.219 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 32.221 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 32.222 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 32.224 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 32.224 * [backup-simplify]: Simplify 0 into 0 32.225 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 32.227 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 32.228 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 32.230 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 32.230 * [backup-simplify]: Simplify 0 into 0 32.231 * [backup-simplify]: Simplify (* 1 (pow d1 10)) into (pow d1 10) 32.231 * [backup-simplify]: Simplify (* (pow (/ 1 d1) 9) (/ 1 d1)) into (/ 1 (pow d1 10)) 32.231 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 32.231 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 32.231 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 32.231 * [taylor]: Taking taylor expansion of d1 in d1 32.231 * [backup-simplify]: Simplify 0 into 0 32.231 * [backup-simplify]: Simplify 1 into 1 32.232 * [backup-simplify]: Simplify (* 1 1) into 1 32.232 * [backup-simplify]: Simplify (* 1 1) into 1 32.232 * [backup-simplify]: Simplify (* 1 1) into 1 32.233 * [backup-simplify]: Simplify (* 1 1) into 1 32.233 * [backup-simplify]: Simplify (/ 1 1) into 1 32.233 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 32.233 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 32.233 * [taylor]: Taking taylor expansion of d1 in d1 32.233 * [backup-simplify]: Simplify 0 into 0 32.233 * [backup-simplify]: Simplify 1 into 1 32.234 * [backup-simplify]: Simplify (* 1 1) into 1 32.234 * [backup-simplify]: Simplify (* 1 1) into 1 32.234 * [backup-simplify]: Simplify (* 1 1) into 1 32.235 * [backup-simplify]: Simplify (* 1 1) into 1 32.235 * [backup-simplify]: Simplify (/ 1 1) into 1 32.235 * [backup-simplify]: Simplify 1 into 1 32.236 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 32.237 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 32.237 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 32.238 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 32.239 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 32.239 * [backup-simplify]: Simplify 0 into 0 32.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 32.241 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 32.255 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 32.257 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 32.258 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.258 * [backup-simplify]: Simplify 0 into 0 32.259 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.260 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.261 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.262 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.263 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.263 * [backup-simplify]: Simplify 0 into 0 32.264 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 32.266 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 32.267 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 32.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 32.271 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.271 * [backup-simplify]: Simplify 0 into 0 32.273 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 32.274 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 32.276 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 32.277 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 32.278 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.278 * [backup-simplify]: Simplify 0 into 0 32.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 32.281 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 32.282 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 32.284 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 32.285 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.285 * [backup-simplify]: Simplify 0 into 0 32.285 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 10)) into (pow d1 10) 32.286 * [backup-simplify]: Simplify (* (pow (/ 1 (- d1)) 9) (/ 1 (- d1))) into (/ 1 (pow d1 10)) 32.286 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 10)) in (d1) around 0 32.286 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 32.286 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 32.286 * [taylor]: Taking taylor expansion of d1 in d1 32.286 * [backup-simplify]: Simplify 0 into 0 32.286 * [backup-simplify]: Simplify 1 into 1 32.286 * [backup-simplify]: Simplify (* 1 1) into 1 32.286 * [backup-simplify]: Simplify (* 1 1) into 1 32.287 * [backup-simplify]: Simplify (* 1 1) into 1 32.287 * [backup-simplify]: Simplify (* 1 1) into 1 32.288 * [backup-simplify]: Simplify (/ 1 1) into 1 32.288 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 10)) in d1 32.288 * [taylor]: Taking taylor expansion of (pow d1 10) in d1 32.288 * [taylor]: Taking taylor expansion of d1 in d1 32.288 * [backup-simplify]: Simplify 0 into 0 32.288 * [backup-simplify]: Simplify 1 into 1 32.289 * [backup-simplify]: Simplify (* 1 1) into 1 32.289 * [backup-simplify]: Simplify (* 1 1) into 1 32.290 * [backup-simplify]: Simplify (* 1 1) into 1 32.290 * [backup-simplify]: Simplify (* 1 1) into 1 32.290 * [backup-simplify]: Simplify (/ 1 1) into 1 32.290 * [backup-simplify]: Simplify 1 into 1 32.291 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 32.292 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 32.293 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 32.293 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 32.294 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 32.294 * [backup-simplify]: Simplify 0 into 0 32.295 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 32.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 32.297 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 32.298 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 32.298 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.299 * [backup-simplify]: Simplify 0 into 0 32.300 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.301 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.302 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.303 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 32.304 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.304 * [backup-simplify]: Simplify 0 into 0 32.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 32.313 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 32.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 32.316 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 32.317 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.317 * [backup-simplify]: Simplify 0 into 0 32.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 32.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 32.321 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 32.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 32.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.324 * [backup-simplify]: Simplify 0 into 0 32.325 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 32.327 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 32.329 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 32.330 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 32.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 32.331 * [backup-simplify]: Simplify 0 into 0 32.332 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 10)) into (pow d1 10) 32.332 * * * [progress]: simplifying candidates 32.334 * [simplify]: Simplifying: (expm1 (* (pow d1 9) d1)) (log1p (* (pow d1 9) d1)) (+ 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) (pow d1 10) (pow d1 10) (pow d1 10) 32.335 * * [simplify]: iteration 0: 48 enodes 32.361 * * [simplify]: iteration 1: 112 enodes 32.442 * * [simplify]: iteration 2: 313 enodes 32.837 * * [simplify]: iteration 3: 1199 enodes 35.630 * * [simplify]: iteration complete: 5002 enodes 35.630 * * [simplify]: Extracting #0: cost 21 inf + 0 35.645 * * [simplify]: Extracting #1: cost 476 inf + 1 35.686 * * [simplify]: Extracting #2: cost 1501 inf + 1079 35.708 * * [simplify]: Extracting #3: cost 1310 inf + 123749 35.787 * * [simplify]: Extracting #4: cost 272 inf + 626020 35.967 * * [simplify]: Extracting #5: cost 6 inf + 759317 36.146 * * [simplify]: Extracting #6: cost 0 inf + 758240 36.258 * * [simplify]: Extracting #7: cost 0 inf + 758218 36.370 * [simplify]: Simplified to: (expm1 (pow d1 10)) (log1p (pow d1 10)) 10 10 (* 10 (log d1)) (* 10 (log d1)) (* 10 (log d1)) (* 10 (log d1)) (exp (pow d1 10)) (* d1 (* (* (pow d1 9) (* (pow d1 9) d1)) (* (pow d1 9) d1))) (* (cbrt (pow d1 10)) (cbrt (pow d1 10))) (cbrt (pow d1 10)) (* d1 (* (* (pow d1 9) (* (pow d1 9) d1)) (* (pow d1 9) d1))) (fabs (pow d1 5)) (fabs (pow d1 5)) (pow (sqrt d1) 10) (pow (sqrt d1) 10) (* (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) (* d1 (pow (cbrt d1) 9)) (* d1 (pow (sqrt d1) 9)) (pow d1 10) (* (cbrt (pow d1 9)) d1) (* d1 (sqrt (pow d1 9))) (pow d1 10) (pow d1 11/2) (pow d1 10) (pow d1 10) (pow d1 10) 36.372 * * * [progress]: adding candidates to table 36.556 * * [progress]: iteration 3 / 4 36.556 * * * [progress]: picking best candidate 36.562 * * * * [pick]: Picked # 36.562 * * * [progress]: localizing error 36.570 * * * [progress]: generating rewritten candidates 36.570 * * * [progress]: generating series expansions 36.570 * * * [progress]: simplifying candidates 36.570 * [simplify]: Simplifying: 36.570 * * [simplify]: iteration 0: 0 enodes 36.570 * * [simplify]: iteration complete: 0 enodes 36.570 * * [simplify]: Extracting #0: cost 0 inf + 0 36.570 * [simplify]: Simplified to: 36.570 * * * [progress]: adding candidates to table 36.571 * [progress]: [Phase 3 of 3] Extracting. 36.577 * [simplify]: Simplifying: (pow d1 10) 36.578 * * [simplify]: iteration 0: 3 enodes 36.578 * * [simplify]: iteration complete: 3 enodes 36.578 * * [simplify]: Extracting #0: cost 1 inf + 0 36.578 * * [simplify]: Extracting #1: cost 3 inf + 0 36.578 * * [simplify]: Extracting #2: cost 0 inf + 214 36.578 * [simplify]: Simplified to: (pow d1 10) 39.005 * [regime-testing]: Baseline error score: 0 39.023 * [regime-testing]: Oracle error score: 0 39.023 * [regime-testing]: End program error score: 0 39.182 * [regime-testing]: Target error score: 0