71.646 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.878 * * * [progress]: [2/2] Setting up program. 0.892 * [progress]: [Phase 2 of 3] Improving. 0.892 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.892 * [simplify]: Simplifying: (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- z 1.0) 1.0))) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))) 0.893 * * [simplify]: iteration 0: 55 enodes 0.948 * * [simplify]: iteration 1: 133 enodes 1.050 * * [simplify]: iteration 2: 443 enodes 1.792 * * [simplify]: iteration 3: 2253 enodes 4.397 * * [simplify]: iteration complete: 5022 enodes 4.397 * * [simplify]: Extracting #0: cost 1 inf + 0 4.397 * * [simplify]: Extracting #1: cost 147 inf + 0 4.401 * * [simplify]: Extracting #2: cost 919 inf + 0 4.407 * * [simplify]: Extracting #3: cost 1548 inf + 5 4.425 * * [simplify]: Extracting #4: cost 1525 inf + 6311 4.441 * * [simplify]: Extracting #5: cost 1295 inf + 70775 4.519 * * [simplify]: Extracting #6: cost 928 inf + 281532 5.105 * * [simplify]: Extracting #7: cost 381 inf + 745524 5.520 * * [simplify]: Extracting #8: cost 30 inf + 1081308 5.968 * * [simplify]: Extracting #9: cost 0 inf + 1110230 6.449 * [simplify]: Simplified to: (* (* (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z 1.0))) (+ (+ (/ 9.984369578019572e-06 (- (+ 7.0 z) 1.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (+ (/ 12.507343278686905 (- z (- 1.0 5.0))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 4.0 (- z 1.0))))) (+ (/ 771.3234287776531 (+ 3.0 (- z 1.0))) (/ -1259.1392167224028 (+ 2.0 (- z 1.0))))))) (/ (pow (- z (- (- 1.0 7.0) 0.5)) (- z (- 1.0 0.5))) (exp (- z (- (- 1.0 7.0) 0.5))))) (sqrt (* PI 2.0))) 6.452 * * [progress]: iteration 1 / 4 6.452 * * * [progress]: picking best candidate 6.482 * * * * [pick]: Picked # 6.483 * * * [progress]: localizing error 6.899 * * * [progress]: generating rewritten candidates 6.899 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1 1 1 1 2 2) 6.963 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 6.976 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 8.251 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 9.407 * * * [progress]: generating series expansions 9.407 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1 1 1 1 2 2) 9.407 * [backup-simplify]: Simplify (+ (- z 1.0) 1.0) into z 9.407 * [approximate]: Taking taylor expansion of z in (z) around 0 9.407 * [taylor]: Taking taylor expansion of z in z 9.407 * [backup-simplify]: Simplify 0 into 0 9.407 * [backup-simplify]: Simplify 1 into 1 9.407 * [taylor]: Taking taylor expansion of z in z 9.407 * [backup-simplify]: Simplify 0 into 0 9.407 * [backup-simplify]: Simplify 1 into 1 9.407 * [backup-simplify]: Simplify 0 into 0 9.407 * [backup-simplify]: Simplify 1 into 1 9.407 * [backup-simplify]: Simplify 0 into 0 9.407 * [backup-simplify]: Simplify 0 into 0 9.407 * [backup-simplify]: Simplify 0 into 0 9.407 * [backup-simplify]: Simplify 0 into 0 9.407 * [backup-simplify]: Simplify 0 into 0 9.408 * [backup-simplify]: Simplify 0 into 0 9.408 * [backup-simplify]: Simplify (* 1 z) into z 9.408 * [backup-simplify]: Simplify (+ (- (/ 1 z) 1.0) 1.0) into (/ 1 z) 9.408 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 9.408 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.408 * [taylor]: Taking taylor expansion of z in z 9.408 * [backup-simplify]: Simplify 0 into 0 9.408 * [backup-simplify]: Simplify 1 into 1 9.408 * [backup-simplify]: Simplify (/ 1 1) into 1 9.408 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.408 * [taylor]: Taking taylor expansion of z in z 9.408 * [backup-simplify]: Simplify 0 into 0 9.408 * [backup-simplify]: Simplify 1 into 1 9.409 * [backup-simplify]: Simplify (/ 1 1) into 1 9.409 * [backup-simplify]: Simplify 1 into 1 9.409 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.409 * [backup-simplify]: Simplify 0 into 0 9.410 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.410 * [backup-simplify]: Simplify 0 into 0 9.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.411 * [backup-simplify]: Simplify 0 into 0 9.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.411 * [backup-simplify]: Simplify 0 into 0 9.412 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.412 * [backup-simplify]: Simplify 0 into 0 9.413 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.413 * [backup-simplify]: Simplify 0 into 0 9.413 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 z))) into z 9.413 * [backup-simplify]: Simplify (+ (- (/ 1 (- z)) 1.0) 1.0) into (- (/ 1 z)) 9.413 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 9.413 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 9.413 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.413 * [taylor]: Taking taylor expansion of z in z 9.413 * [backup-simplify]: Simplify 0 into 0 9.413 * [backup-simplify]: Simplify 1 into 1 9.414 * [backup-simplify]: Simplify (/ 1 1) into 1 9.414 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 9.414 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.414 * [taylor]: Taking taylor expansion of z in z 9.414 * [backup-simplify]: Simplify 0 into 0 9.414 * [backup-simplify]: Simplify 1 into 1 9.414 * [backup-simplify]: Simplify (/ 1 1) into 1 9.414 * [backup-simplify]: Simplify (- 1) into -1 9.414 * [backup-simplify]: Simplify -1 into -1 9.415 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.415 * [backup-simplify]: Simplify (- 0) into 0 9.415 * [backup-simplify]: Simplify 0 into 0 9.416 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.416 * [backup-simplify]: Simplify (- 0) into 0 9.416 * [backup-simplify]: Simplify 0 into 0 9.417 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.417 * [backup-simplify]: Simplify (- 0) into 0 9.417 * [backup-simplify]: Simplify 0 into 0 9.417 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.418 * [backup-simplify]: Simplify (- 0) into 0 9.418 * [backup-simplify]: Simplify 0 into 0 9.418 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.419 * [backup-simplify]: Simplify (- 0) into 0 9.419 * [backup-simplify]: Simplify 0 into 0 9.419 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.420 * [backup-simplify]: Simplify (- 0) into 0 9.420 * [backup-simplify]: Simplify 0 into 0 9.420 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 (- z)))) into z 9.420 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 9.420 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 9.421 * [backup-simplify]: Simplify (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) into (* (* (sqrt 2.0) (pow (+ z 6.5) (- z 0.5))) (sqrt PI)) 9.421 * [approximate]: Taking taylor expansion of (* (* (sqrt 2.0) (pow (+ z 6.5) (- z 0.5))) (sqrt PI)) in (z) around 0 9.421 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (pow (+ z 6.5) (- z 0.5))) (sqrt PI)) in z 9.421 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow (+ z 6.5) (- z 0.5))) in z 9.421 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z 9.421 * [taylor]: Taking taylor expansion of 2.0 in z 9.421 * [backup-simplify]: Simplify 2.0 into 2.0 9.422 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0) 9.422 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0 9.422 * [taylor]: Taking taylor expansion of (pow (+ z 6.5) (- z 0.5)) in z 9.422 * [taylor]: Taking taylor expansion of (exp (* (- z 0.5) (log (+ z 6.5)))) in z 9.422 * [taylor]: Taking taylor expansion of (* (- z 0.5) (log (+ z 6.5))) in z 9.422 * [taylor]: Taking taylor expansion of (- z 0.5) in z 9.422 * [taylor]: Taking taylor expansion of z in z 9.422 * [backup-simplify]: Simplify 0 into 0 9.422 * [backup-simplify]: Simplify 1 into 1 9.422 * [taylor]: Taking taylor expansion of 0.5 in z 9.422 * [backup-simplify]: Simplify 0.5 into 0.5 9.422 * [taylor]: Taking taylor expansion of (log (+ z 6.5)) in z 9.422 * [taylor]: Taking taylor expansion of (+ z 6.5) in z 9.422 * [taylor]: Taking taylor expansion of z in z 9.422 * [backup-simplify]: Simplify 0 into 0 9.422 * [backup-simplify]: Simplify 1 into 1 9.422 * [taylor]: Taking taylor expansion of 6.5 in z 9.422 * [backup-simplify]: Simplify 6.5 into 6.5 9.423 * [backup-simplify]: Simplify (+ 0 6.5) into 6.5 9.423 * [backup-simplify]: Simplify (log 6.5) into (log 6.5) 9.423 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 9.424 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5) 9.425 * [backup-simplify]: Simplify (* (- 0.5) (log 6.5)) into (* -0.5 (log 6.5)) 9.426 * [backup-simplify]: Simplify (exp (* -0.5 (log 6.5))) into (pow 6.5 -0.5) 9.426 * [taylor]: Taking taylor expansion of (sqrt PI) in z 9.426 * [taylor]: Taking taylor expansion of PI in z 9.426 * [backup-simplify]: Simplify PI into PI 9.427 * [backup-simplify]: Simplify (sqrt PI) into (sqrt PI) 9.427 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt PI))) into 0 9.427 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (pow (+ z 6.5) (- z 0.5))) (sqrt PI)) in z 9.427 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow (+ z 6.5) (- z 0.5))) in z 9.427 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z 9.427 * [taylor]: Taking taylor expansion of 2.0 in z 9.427 * [backup-simplify]: Simplify 2.0 into 2.0 9.427 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0) 9.428 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0 9.428 * [taylor]: Taking taylor expansion of (pow (+ z 6.5) (- z 0.5)) in z 9.428 * [taylor]: Taking taylor expansion of (exp (* (- z 0.5) (log (+ z 6.5)))) in z 9.428 * [taylor]: Taking taylor expansion of (* (- z 0.5) (log (+ z 6.5))) in z 9.428 * [taylor]: Taking taylor expansion of (- z 0.5) in z 9.428 * [taylor]: Taking taylor expansion of z in z 9.428 * [backup-simplify]: Simplify 0 into 0 9.428 * [backup-simplify]: Simplify 1 into 1 9.428 * [taylor]: Taking taylor expansion of 0.5 in z 9.428 * [backup-simplify]: Simplify 0.5 into 0.5 9.428 * [taylor]: Taking taylor expansion of (log (+ z 6.5)) in z 9.428 * [taylor]: Taking taylor expansion of (+ z 6.5) in z 9.428 * [taylor]: Taking taylor expansion of z in z 9.428 * [backup-simplify]: Simplify 0 into 0 9.428 * [backup-simplify]: Simplify 1 into 1 9.428 * [taylor]: Taking taylor expansion of 6.5 in z 9.428 * [backup-simplify]: Simplify 6.5 into 6.5 9.429 * [backup-simplify]: Simplify (+ 0 6.5) into 6.5 9.429 * [backup-simplify]: Simplify (log 6.5) into (log 6.5) 9.429 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 9.430 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5) 9.431 * [backup-simplify]: Simplify (* (- 0.5) (log 6.5)) into (* -0.5 (log 6.5)) 9.432 * [backup-simplify]: Simplify (exp (* -0.5 (log 6.5))) into (pow 6.5 -0.5) 9.432 * [taylor]: Taking taylor expansion of (sqrt PI) in z 9.432 * [taylor]: Taking taylor expansion of PI in z 9.432 * [backup-simplify]: Simplify PI into PI 9.432 * [backup-simplify]: Simplify (sqrt PI) into (sqrt PI) 9.433 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt PI))) into 0 9.434 * [backup-simplify]: Simplify (* (sqrt 2.0) (pow 6.5 -0.5)) into (* (sqrt 2.0) (pow (/ 1 (pow 6.5 1.0)) 0.5)) 9.438 * [backup-simplify]: Simplify (* (* (sqrt 2.0) (pow (/ 1 (pow 6.5 1.0)) 0.5)) (sqrt PI)) into (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))) 9.442 * [backup-simplify]: Simplify (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))) into (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))) 9.442 * [backup-simplify]: Simplify (+ 1 0) into 1 9.445 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 6.5 1)))) 1) into 0.15384615384615385 9.446 * [backup-simplify]: Simplify (- 0) into 0 9.446 * [backup-simplify]: Simplify (+ 1 0) into 1 9.448 * [backup-simplify]: Simplify (+ (* (- 0.5) 0.15384615384615385) (* 1 (log 6.5))) into (- (log 6.5) 0.07692307692307693) 9.453 * [backup-simplify]: Simplify (* (exp (* -0.5 (log 6.5))) (+ (* (/ (pow (- (log 6.5) 0.07692307692307693) 1) 1)))) into (* (- (log 6.5) 0.07692307692307693) (pow (/ 1 (pow 6.5 1.0)) 0.5)) 9.460 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) (* (- (log 6.5) 0.07692307692307693) (pow (/ 1 (pow 6.5 1.0)) 0.5))) (* 0 (pow 6.5 -0.5))) into (- (* (* (sqrt 2.0) (log 6.5)) (pow (/ 1 (pow 6.5 1.0)) 0.5)) (* 0.07692307692307693 (* (sqrt 2.0) (pow (/ 1 (pow 6.5 1.0)) 0.5)))) 9.473 * [backup-simplify]: Simplify (+ (* (* (sqrt 2.0) (pow (/ 1 (pow 6.5 1.0)) 0.5)) 0) (* (- (* (* (sqrt 2.0) (log 6.5)) (pow (/ 1 (pow 6.5 1.0)) 0.5)) (* 0.07692307692307693 (* (sqrt 2.0) (pow (/ 1 (pow 6.5 1.0)) 0.5)))) (sqrt PI))) into (- (* (* (sqrt 2.0) (log 6.5)) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))) (* 0.07692307692307693 (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))))) 9.488 * [backup-simplify]: Simplify (- (* (* (sqrt 2.0) (log 6.5)) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))) (* 0.07692307692307693 (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))))) into (- (* (* (sqrt 2.0) (log 6.5)) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))) (* 0.07692307692307693 (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))))) 9.489 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt PI))) into 0 9.490 * [backup-simplify]: Simplify (+ 0 0) into 0 9.496 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 6.5 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 6.5 1)))) 2) into (/ -1/2 (pow 6.5 2)) 9.496 * [backup-simplify]: Simplify (- 0) into 0 9.496 * [backup-simplify]: Simplify (+ 0 0) into 0 9.502 * [backup-simplify]: Simplify (+ (* (- 0.5) (/ -1/2 (pow 6.5 2))) (+ (* 1 0.15384615384615385) (* 0 (log 6.5)))) into (+ (* 0.25 (/ 1 (pow 6.5 2))) 0.15384615384615385) 9.518 * [backup-simplify]: Simplify (* (exp (* -0.5 (log 6.5))) (+ (* (/ (pow (- (log 6.5) 0.07692307692307693) 2) 2)) (* (/ (pow (+ (* 0.25 (/ 1 (pow 6.5 2))) 0.15384615384615385) 1) 1)))) into (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (- (+ (* 1/2 (pow (log 6.5) 2)) (+ (* 0.25 (/ 1 (pow 6.5 2))) 0.15680473372781065)) (* 0.07692307692307693 (log 6.5)))) 9.519 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2.0))) into 0 9.537 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (- (+ (* 1/2 (pow (log 6.5) 2)) (+ (* 0.25 (/ 1 (pow 6.5 2))) 0.15680473372781065)) (* 0.07692307692307693 (log 6.5))))) (+ (* 0 (* (- (log 6.5) 0.07692307692307693) (pow (/ 1 (pow 6.5 1.0)) 0.5))) (* 0 (pow 6.5 -0.5)))) into (- (+ (* 1/2 (* (* (sqrt 2.0) (pow (log 6.5) 2)) (pow (/ 1 (pow 6.5 1.0)) 0.5))) (+ (* 0.25 (* (sqrt 2.0) (pow (/ 1 (pow 6.5 5.0)) 0.5))) (* 0.15680473372781065 (* (sqrt 2.0) (pow (/ 1 (pow 6.5 1.0)) 0.5))))) (* 0.07692307692307693 (* (* (sqrt 2.0) (log 6.5)) (pow (/ 1 (pow 6.5 1.0)) 0.5)))) 9.622 * [backup-simplify]: Simplify (+ (* (* (sqrt 2.0) (pow (/ 1 (pow 6.5 1.0)) 0.5)) 0) (+ (* (- (* (* (sqrt 2.0) (log 6.5)) (pow (/ 1 (pow 6.5 1.0)) 0.5)) (* 0.07692307692307693 (* (sqrt 2.0) (pow (/ 1 (pow 6.5 1.0)) 0.5)))) 0) (* (- (+ (* 1/2 (* (* (sqrt 2.0) (pow (log 6.5) 2)) (pow (/ 1 (pow 6.5 1.0)) 0.5))) (+ (* 0.25 (* (sqrt 2.0) (pow (/ 1 (pow 6.5 5.0)) 0.5))) (* 0.15680473372781065 (* (sqrt 2.0) (pow (/ 1 (pow 6.5 1.0)) 0.5))))) (* 0.07692307692307693 (* (* (sqrt 2.0) (log 6.5)) (pow (/ 1 (pow 6.5 1.0)) 0.5)))) (sqrt PI)))) into (- (+ (* 1/2 (* (* (sqrt 2.0) (pow (log 6.5) 2)) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))) (+ (* 0.25 (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 5.0)) 0.5) (sqrt PI)))) (* 0.15680473372781065 (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))))) (* 0.07692307692307693 (* (* (sqrt 2.0) (log 6.5)) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))))) 9.687 * [backup-simplify]: Simplify (- (+ (* 1/2 (* (* (sqrt 2.0) (pow (log 6.5) 2)) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))) (+ (* 0.25 (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 5.0)) 0.5) (sqrt PI)))) (* 0.15680473372781065 (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))))) (* 0.07692307692307693 (* (* (sqrt 2.0) (log 6.5)) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))))) into (- (+ (* 1/2 (* (* (sqrt 2.0) (pow (log 6.5) 2)) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))) (+ (* 0.25 (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 5.0)) 0.5) (sqrt PI)))) (* 0.15680473372781065 (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))))) (* 0.07692307692307693 (* (* (sqrt 2.0) (log 6.5)) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))))) 9.750 * [backup-simplify]: Simplify (+ (* (- (+ (* 1/2 (* (* (sqrt 2.0) (pow (log 6.5) 2)) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))) (+ (* 0.25 (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 5.0)) 0.5) (sqrt PI)))) (* 0.15680473372781065 (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))))) (* 0.07692307692307693 (* (* (sqrt 2.0) (log 6.5)) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))))) (pow z 2)) (+ (* (- (* (* (sqrt 2.0) (log 6.5)) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))) (* 0.07692307692307693 (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))))) z) (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))))) into (- (+ (* (* (sqrt 2.0) (* z (log 6.5))) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))) (+ (* 0.25 (* (* (sqrt 2.0) (pow z 2)) (* (pow (/ 1 (pow 6.5 5.0)) 0.5) (sqrt PI)))) (+ (* 0.15680473372781065 (* (* (sqrt 2.0) (pow z 2)) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))) (+ (* 1/2 (* (* (sqrt 2.0) (* (pow z 2) (pow (log 6.5) 2))) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))) (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))))))) (+ (* 0.07692307692307693 (* (* (sqrt 2.0) (* (pow z 2) (log 6.5))) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))) (* 0.07692307692307693 (* (* (sqrt 2.0) z) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))))) 9.751 * [backup-simplify]: Simplify (* (sqrt (* PI 2.0)) (pow (+ (+ (- (/ 1 z) 1.0) 7.0) 0.5) (+ (- (/ 1 z) 1.0) 0.5))) into (* (* (sqrt 2.0) (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5))) (sqrt PI)) 9.752 * [approximate]: Taking taylor expansion of (* (* (sqrt 2.0) (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5))) (sqrt PI)) in (z) around 0 9.752 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5))) (sqrt PI)) in z 9.752 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5))) in z 9.752 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z 9.752 * [taylor]: Taking taylor expansion of 2.0 in z 9.752 * [backup-simplify]: Simplify 2.0 into 2.0 9.752 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0) 9.752 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0 9.752 * [taylor]: Taking taylor expansion of (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5)) in z 9.752 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 z) 0.5) (log (+ 6.5 (/ 1 z))))) in z 9.753 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) 0.5) (log (+ 6.5 (/ 1 z)))) in z 9.753 * [taylor]: Taking taylor expansion of (- (/ 1 z) 0.5) in z 9.753 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.753 * [taylor]: Taking taylor expansion of z in z 9.753 * [backup-simplify]: Simplify 0 into 0 9.753 * [backup-simplify]: Simplify 1 into 1 9.753 * [backup-simplify]: Simplify (/ 1 1) into 1 9.753 * [taylor]: Taking taylor expansion of 0.5 in z 9.753 * [backup-simplify]: Simplify 0.5 into 0.5 9.753 * [taylor]: Taking taylor expansion of (log (+ 6.5 (/ 1 z))) in z 9.753 * [taylor]: Taking taylor expansion of (+ 6.5 (/ 1 z)) in z 9.753 * [taylor]: Taking taylor expansion of 6.5 in z 9.753 * [backup-simplify]: Simplify 6.5 into 6.5 9.753 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.753 * [taylor]: Taking taylor expansion of z in z 9.753 * [backup-simplify]: Simplify 0 into 0 9.753 * [backup-simplify]: Simplify 1 into 1 9.753 * [backup-simplify]: Simplify (/ 1 1) into 1 9.754 * [backup-simplify]: Simplify (+ 0 1) into 1 9.754 * [backup-simplify]: Simplify (log 1) into 0 9.754 * [backup-simplify]: Simplify (+ 1 0) into 1 9.755 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 9.755 * [backup-simplify]: Simplify (* 1 (- (log z))) into (* -1 (log z)) 9.756 * [backup-simplify]: Simplify (exp (* (- (/ 1 z) 0.5) (log (+ 6.5 (/ 1 z))))) into (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5)) 9.756 * [taylor]: Taking taylor expansion of (sqrt PI) in z 9.756 * [taylor]: Taking taylor expansion of PI in z 9.756 * [backup-simplify]: Simplify PI into PI 9.757 * [backup-simplify]: Simplify (sqrt PI) into (sqrt PI) 9.757 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt PI))) into 0 9.757 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5))) (sqrt PI)) in z 9.757 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5))) in z 9.757 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z 9.758 * [taylor]: Taking taylor expansion of 2.0 in z 9.758 * [backup-simplify]: Simplify 2.0 into 2.0 9.758 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0) 9.759 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0 9.759 * [taylor]: Taking taylor expansion of (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5)) in z 9.759 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 z) 0.5) (log (+ 6.5 (/ 1 z))))) in z 9.759 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) 0.5) (log (+ 6.5 (/ 1 z)))) in z 9.759 * [taylor]: Taking taylor expansion of (- (/ 1 z) 0.5) in z 9.759 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.759 * [taylor]: Taking taylor expansion of z in z 9.759 * [backup-simplify]: Simplify 0 into 0 9.759 * [backup-simplify]: Simplify 1 into 1 9.759 * [backup-simplify]: Simplify (/ 1 1) into 1 9.760 * [taylor]: Taking taylor expansion of 0.5 in z 9.760 * [backup-simplify]: Simplify 0.5 into 0.5 9.760 * [taylor]: Taking taylor expansion of (log (+ 6.5 (/ 1 z))) in z 9.760 * [taylor]: Taking taylor expansion of (+ 6.5 (/ 1 z)) in z 9.760 * [taylor]: Taking taylor expansion of 6.5 in z 9.760 * [backup-simplify]: Simplify 6.5 into 6.5 9.760 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.760 * [taylor]: Taking taylor expansion of z in z 9.760 * [backup-simplify]: Simplify 0 into 0 9.760 * [backup-simplify]: Simplify 1 into 1 9.760 * [backup-simplify]: Simplify (/ 1 1) into 1 9.761 * [backup-simplify]: Simplify (+ 0 1) into 1 9.761 * [backup-simplify]: Simplify (log 1) into 0 9.762 * [backup-simplify]: Simplify (+ 1 0) into 1 9.762 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) 0) into (- (log z)) 9.763 * [backup-simplify]: Simplify (* 1 (- (log z))) into (* -1 (log z)) 9.763 * [backup-simplify]: Simplify (exp (* (- (/ 1 z) 0.5) (log (+ 6.5 (/ 1 z))))) into (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5)) 9.763 * [taylor]: Taking taylor expansion of (sqrt PI) in z 9.764 * [taylor]: Taking taylor expansion of PI in z 9.764 * [backup-simplify]: Simplify PI into PI 9.764 * [backup-simplify]: Simplify (sqrt PI) into (sqrt PI) 9.765 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt PI))) into 0 9.766 * [backup-simplify]: Simplify (* (sqrt 2.0) (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5))) into (* (sqrt 2.0) (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5))) 9.768 * [backup-simplify]: Simplify (* (* (sqrt 2.0) (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5))) (sqrt PI)) into (* (* (sqrt 2.0) (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5))) (sqrt PI)) 9.769 * [backup-simplify]: Simplify (* (* (sqrt 2.0) (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5))) (sqrt PI)) into (* (* (sqrt 2.0) (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5))) (sqrt PI)) 9.771 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (* 0 (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5)))) into 0 9.773 * [backup-simplify]: Simplify (+ (* (* (sqrt 2.0) (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5))) 0) (* 0 (sqrt PI))) into 0 9.773 * [backup-simplify]: Simplify 0 into 0 9.774 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt PI))) into 0 9.775 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2.0))) into 0 9.777 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (* 0 (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5))))) into 0 9.779 * [backup-simplify]: Simplify (+ (* (* (sqrt 2.0) (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5))) 0) (+ (* 0 0) (* 0 (sqrt PI)))) into 0 9.780 * [backup-simplify]: Simplify 0 into 0 9.781 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt PI))) into 0 9.782 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0 9.785 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5)))))) into 0 9.787 * [backup-simplify]: Simplify (+ (* (* (sqrt 2.0) (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt PI))))) into 0 9.787 * [backup-simplify]: Simplify 0 into 0 9.789 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt PI))) into 0 9.791 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0 9.794 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5))))))) into 0 9.796 * [backup-simplify]: Simplify (+ (* (* (sqrt 2.0) (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt PI)))))) into 0 9.797 * [backup-simplify]: Simplify 0 into 0 9.798 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt PI))) into 0 9.800 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0 9.803 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5)))))))) into 0 9.806 * [backup-simplify]: Simplify (+ (* (* (sqrt 2.0) (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt PI))))))) into 0 9.806 * [backup-simplify]: Simplify 0 into 0 9.808 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt PI))) into 0 9.809 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0 9.813 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5))))))))) into 0 9.817 * [backup-simplify]: Simplify (+ (* (* (sqrt 2.0) (pow (+ 6.5 (/ 1 z)) (- (/ 1 z) 0.5))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt PI)))))))) into 0 9.817 * [backup-simplify]: Simplify 0 into 0 9.819 * [backup-simplify]: Simplify (* (* (sqrt 2.0) (pow (+ 6.5 (/ 1 (/ 1 z))) (- (/ 1 (/ 1 z)) 0.5))) (sqrt PI)) into (* (* (sqrt 2.0) (pow (+ z 6.5) (- z 0.5))) (sqrt PI)) 9.821 * [backup-simplify]: Simplify (* (sqrt (* PI 2.0)) (pow (+ (+ (- (/ 1 (- z)) 1.0) 7.0) 0.5) (+ (- (/ 1 (- z)) 1.0) 0.5))) into (* (* (sqrt 2.0) (pow (- 6.5 (/ 1 z)) (- (+ 0.5 (/ 1 z))))) (sqrt PI)) 9.821 * [approximate]: Taking taylor expansion of (* (* (sqrt 2.0) (pow (- 6.5 (/ 1 z)) (- (+ 0.5 (/ 1 z))))) (sqrt PI)) in (z) around 0 9.821 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (pow (- 6.5 (/ 1 z)) (- (+ 0.5 (/ 1 z))))) (sqrt PI)) in z 9.821 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow (- 6.5 (/ 1 z)) (- (+ 0.5 (/ 1 z))))) in z 9.821 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z 9.821 * [taylor]: Taking taylor expansion of 2.0 in z 9.821 * [backup-simplify]: Simplify 2.0 into 2.0 9.822 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0) 9.822 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0 9.822 * [taylor]: Taking taylor expansion of (pow (- 6.5 (/ 1 z)) (- (+ 0.5 (/ 1 z)))) in z 9.823 * [taylor]: Taking taylor expansion of (exp (* (- (+ 0.5 (/ 1 z))) (log (- 6.5 (/ 1 z))))) in z 9.823 * [taylor]: Taking taylor expansion of (* (- (+ 0.5 (/ 1 z))) (log (- 6.5 (/ 1 z)))) in z 9.823 * [taylor]: Taking taylor expansion of (- (+ 0.5 (/ 1 z))) in z 9.823 * [taylor]: Taking taylor expansion of (+ 0.5 (/ 1 z)) in z 9.823 * [taylor]: Taking taylor expansion of 0.5 in z 9.823 * [backup-simplify]: Simplify 0.5 into 0.5 9.823 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.823 * [taylor]: Taking taylor expansion of z in z 9.823 * [backup-simplify]: Simplify 0 into 0 9.823 * [backup-simplify]: Simplify 1 into 1 9.823 * [backup-simplify]: Simplify (/ 1 1) into 1 9.823 * [taylor]: Taking taylor expansion of (log (- 6.5 (/ 1 z))) in z 9.823 * [taylor]: Taking taylor expansion of (- 6.5 (/ 1 z)) in z 9.823 * [taylor]: Taking taylor expansion of 6.5 in z 9.823 * [backup-simplify]: Simplify 6.5 into 6.5 9.823 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.823 * [taylor]: Taking taylor expansion of z in z 9.824 * [backup-simplify]: Simplify 0 into 0 9.824 * [backup-simplify]: Simplify 1 into 1 9.824 * [backup-simplify]: Simplify (/ 1 1) into 1 9.824 * [backup-simplify]: Simplify (- 1) into -1 9.825 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.825 * [backup-simplify]: Simplify (log -1) into (log -1) 9.826 * [backup-simplify]: Simplify (+ 0 1) into 1 9.826 * [backup-simplify]: Simplify (- 1) into -1 9.828 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log -1)) into (- (log -1) (log z)) 9.829 * [backup-simplify]: Simplify (* -1 (- (log -1) (log z))) into (* -1 (- (log -1) (log z))) 9.829 * [backup-simplify]: Simplify (exp (* (- (+ 0.5 (/ 1 z))) (log (- 6.5 (/ 1 z))))) into (exp (* -1 (* (log (- 6.5 (/ 1 z))) (+ 0.5 (/ 1 z))))) 9.830 * [taylor]: Taking taylor expansion of (sqrt PI) in z 9.830 * [taylor]: Taking taylor expansion of PI in z 9.830 * [backup-simplify]: Simplify PI into PI 9.830 * [backup-simplify]: Simplify (sqrt PI) into (sqrt PI) 9.831 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt PI))) into 0 9.831 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (pow (- 6.5 (/ 1 z)) (- (+ 0.5 (/ 1 z))))) (sqrt PI)) in z 9.831 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (pow (- 6.5 (/ 1 z)) (- (+ 0.5 (/ 1 z))))) in z 9.831 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z 9.831 * [taylor]: Taking taylor expansion of 2.0 in z 9.831 * [backup-simplify]: Simplify 2.0 into 2.0 9.832 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0) 9.832 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0 9.832 * [taylor]: Taking taylor expansion of (pow (- 6.5 (/ 1 z)) (- (+ 0.5 (/ 1 z)))) in z 9.832 * [taylor]: Taking taylor expansion of (exp (* (- (+ 0.5 (/ 1 z))) (log (- 6.5 (/ 1 z))))) in z 9.833 * [taylor]: Taking taylor expansion of (* (- (+ 0.5 (/ 1 z))) (log (- 6.5 (/ 1 z)))) in z 9.833 * [taylor]: Taking taylor expansion of (- (+ 0.5 (/ 1 z))) in z 9.833 * [taylor]: Taking taylor expansion of (+ 0.5 (/ 1 z)) in z 9.833 * [taylor]: Taking taylor expansion of 0.5 in z 9.833 * [backup-simplify]: Simplify 0.5 into 0.5 9.833 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.833 * [taylor]: Taking taylor expansion of z in z 9.833 * [backup-simplify]: Simplify 0 into 0 9.833 * [backup-simplify]: Simplify 1 into 1 9.833 * [backup-simplify]: Simplify (/ 1 1) into 1 9.833 * [taylor]: Taking taylor expansion of (log (- 6.5 (/ 1 z))) in z 9.833 * [taylor]: Taking taylor expansion of (- 6.5 (/ 1 z)) in z 9.833 * [taylor]: Taking taylor expansion of 6.5 in z 9.833 * [backup-simplify]: Simplify 6.5 into 6.5 9.833 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.833 * [taylor]: Taking taylor expansion of z in z 9.833 * [backup-simplify]: Simplify 0 into 0 9.834 * [backup-simplify]: Simplify 1 into 1 9.834 * [backup-simplify]: Simplify (/ 1 1) into 1 9.834 * [backup-simplify]: Simplify (- 1) into -1 9.835 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.835 * [backup-simplify]: Simplify (log -1) into (log -1) 9.836 * [backup-simplify]: Simplify (+ 0 1) into 1 9.836 * [backup-simplify]: Simplify (- 1) into -1 9.838 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log -1)) into (- (log -1) (log z)) 9.839 * [backup-simplify]: Simplify (* -1 (- (log -1) (log z))) into (* -1 (- (log -1) (log z))) 9.839 * [backup-simplify]: Simplify (exp (* (- (+ 0.5 (/ 1 z))) (log (- 6.5 (/ 1 z))))) into (exp (* -1 (* (log (- 6.5 (/ 1 z))) (+ 0.5 (/ 1 z))))) 9.840 * [taylor]: Taking taylor expansion of (sqrt PI) in z 9.840 * [taylor]: Taking taylor expansion of PI in z 9.840 * [backup-simplify]: Simplify PI into PI 9.840 * [backup-simplify]: Simplify (sqrt PI) into (sqrt PI) 9.841 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt PI))) into 0 9.843 * [backup-simplify]: Simplify (* (sqrt 2.0) (exp (* -1 (* (log (- 6.5 (/ 1 z))) (+ 0.5 (/ 1 z)))))) into (* (sqrt 2.0) (exp (* -1 (* (log (- 6.5 (/ 1 z))) (+ 0.5 (/ 1 z)))))) 9.845 * [backup-simplify]: Simplify (* (* (sqrt 2.0) (exp (* -1 (* (log (- 6.5 (/ 1 z))) (+ 0.5 (/ 1 z)))))) (sqrt PI)) into (* (* (sqrt 2.0) (exp (* -1 (* (log (- 6.5 (/ 1 z))) (+ 0.5 (/ 1 z)))))) (sqrt PI)) 9.847 * [backup-simplify]: Simplify (* (* (sqrt 2.0) (exp (* -1 (* (log (- 6.5 (/ 1 z))) (+ 0.5 (/ 1 z)))))) (sqrt PI)) into (* (* (sqrt 2.0) (exp (* -1 (* (log (- 6.5 (/ 1 z))) (+ 0.5 (/ 1 z)))))) (sqrt PI)) 9.849 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (* 0 (exp (* -1 (* (log (- 6.5 (/ 1 z))) (+ 0.5 (/ 1 z))))))) into 0 9.851 * [backup-simplify]: Simplify (+ (* (* (sqrt 2.0) (exp (* -1 (* (log (- 6.5 (/ 1 z))) (+ 0.5 (/ 1 z)))))) 0) (* 0 (sqrt PI))) into 0 9.851 * [backup-simplify]: Simplify 0 into 0 9.852 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt PI))) into 0 9.854 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2.0))) into 0 9.856 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (* 0 (exp (* -1 (* (log (- 6.5 (/ 1 z))) (+ 0.5 (/ 1 z)))))))) into 0 9.858 * [backup-simplify]: Simplify (+ (* (* (sqrt 2.0) (exp (* -1 (* (log (- 6.5 (/ 1 z))) (+ 0.5 (/ 1 z)))))) 0) (+ (* 0 0) (* 0 (sqrt PI)))) into 0 9.859 * [backup-simplify]: Simplify 0 into 0 9.860 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt PI))) into 0 9.861 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0 9.864 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (* -1 (* (log (- 6.5 (/ 1 z))) (+ 0.5 (/ 1 z))))))))) into 0 9.867 * [backup-simplify]: Simplify (+ (* (* (sqrt 2.0) (exp (* -1 (* (log (- 6.5 (/ 1 z))) (+ 0.5 (/ 1 z)))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt PI))))) into 0 9.867 * [backup-simplify]: Simplify 0 into 0 9.869 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt PI))) into 0 9.871 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0 9.874 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (* -1 (* (log (- 6.5 (/ 1 z))) (+ 0.5 (/ 1 z)))))))))) into 0 9.877 * [backup-simplify]: Simplify (+ (* (* (sqrt 2.0) (exp (* -1 (* (log (- 6.5 (/ 1 z))) (+ 0.5 (/ 1 z)))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt PI)))))) into 0 9.878 * [backup-simplify]: Simplify 0 into 0 9.879 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt PI))) into 0 9.881 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0 9.887 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (* -1 (* (log (- 6.5 (/ 1 z))) (+ 0.5 (/ 1 z))))))))))) into 0 9.891 * [backup-simplify]: Simplify (+ (* (* (sqrt 2.0) (exp (* -1 (* (log (- 6.5 (/ 1 z))) (+ 0.5 (/ 1 z)))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt PI))))))) into 0 9.891 * [backup-simplify]: Simplify 0 into 0 9.893 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt PI))) into 0 9.895 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0 9.899 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (* -1 (* (log (- 6.5 (/ 1 z))) (+ 0.5 (/ 1 z)))))))))))) into 0 9.902 * [backup-simplify]: Simplify (+ (* (* (sqrt 2.0) (exp (* -1 (* (log (- 6.5 (/ 1 z))) (+ 0.5 (/ 1 z)))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt PI)))))))) into 0 9.903 * [backup-simplify]: Simplify 0 into 0 9.905 * [backup-simplify]: Simplify (* (* (sqrt 2.0) (exp (* -1 (* (log (- 6.5 (/ 1 (/ 1 (- z))))) (+ 0.5 (/ 1 (/ 1 (- z)))))))) (sqrt PI)) into (* (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z))))) (sqrt PI)) 9.905 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 9.906 * [backup-simplify]: Simplify (exp (- (+ (+ (- z 1.0) 7.0) 0.5))) into (exp (- (+ z 6.5))) 9.906 * [approximate]: Taking taylor expansion of (exp (- (+ z 6.5))) in (z) around 0 9.906 * [taylor]: Taking taylor expansion of (exp (- (+ z 6.5))) in z 9.906 * [taylor]: Taking taylor expansion of (- (+ z 6.5)) in z 9.906 * [taylor]: Taking taylor expansion of (+ z 6.5) in z 9.906 * [taylor]: Taking taylor expansion of z in z 9.906 * [backup-simplify]: Simplify 0 into 0 9.906 * [backup-simplify]: Simplify 1 into 1 9.906 * [taylor]: Taking taylor expansion of 6.5 in z 9.906 * [backup-simplify]: Simplify 6.5 into 6.5 9.907 * [backup-simplify]: Simplify (+ 0 6.5) into 6.5 9.907 * [backup-simplify]: Simplify (- 6.5) into (- 6.5) 9.907 * [backup-simplify]: Simplify (- 6.5) into (- 6.5) 9.908 * [backup-simplify]: Simplify (exp (- 6.5)) into (exp (- 6.5)) 9.908 * [taylor]: Taking taylor expansion of (exp (- (+ z 6.5))) in z 9.909 * [taylor]: Taking taylor expansion of (- (+ z 6.5)) in z 9.909 * [taylor]: Taking taylor expansion of (+ z 6.5) in z 9.909 * [taylor]: Taking taylor expansion of z in z 9.909 * [backup-simplify]: Simplify 0 into 0 9.909 * [backup-simplify]: Simplify 1 into 1 9.909 * [taylor]: Taking taylor expansion of 6.5 in z 9.909 * [backup-simplify]: Simplify 6.5 into 6.5 9.909 * [backup-simplify]: Simplify (+ 0 6.5) into 6.5 9.910 * [backup-simplify]: Simplify (- 6.5) into (- 6.5) 9.910 * [backup-simplify]: Simplify (- 6.5) into (- 6.5) 9.911 * [backup-simplify]: Simplify (exp (- 6.5)) into (exp (- 6.5)) 9.912 * [backup-simplify]: Simplify (exp (- 6.5)) into (exp (- 6.5)) 9.913 * [backup-simplify]: Simplify (- 6.5) into (- 6.5) 9.913 * [backup-simplify]: Simplify (+ 1 0) into 1 9.914 * [backup-simplify]: Simplify (- 1) into -1 9.917 * [backup-simplify]: Simplify (* (exp (- 6.5)) (+ (* (/ (pow -1 1) 1)))) into (* -1 (exp (- 6.5))) 9.919 * [backup-simplify]: Simplify (* -1 (exp (- 6.5))) into (* -1 (exp (- 6.5))) 9.919 * [backup-simplify]: Simplify (- 6.5) into (- 6.5) 9.919 * [backup-simplify]: Simplify (- 1) into -1 9.920 * [backup-simplify]: Simplify (+ 0 0) into 0 9.920 * [backup-simplify]: Simplify (- 0) into 0 9.925 * [backup-simplify]: Simplify (* (exp (- 6.5)) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp (- 6.5))) 9.927 * [backup-simplify]: Simplify (* 1/2 (exp (- 6.5))) into (* 1/2 (exp (- 6.5))) 9.932 * [backup-simplify]: Simplify (+ (* (* 1/2 (exp (- 6.5))) (pow z 2)) (+ (* (* -1 (exp (- 6.5))) z) (exp (- 6.5)))) into (- (+ (* 1/2 (* (pow z 2) (exp (- 6.5)))) (exp (- 6.5))) (* z (exp (- 6.5)))) 9.933 * [backup-simplify]: Simplify (exp (- (+ (+ (- (/ 1 z) 1.0) 7.0) 0.5))) into (exp (- (+ 6.5 (/ 1 z)))) 9.933 * [approximate]: Taking taylor expansion of (exp (- (+ 6.5 (/ 1 z)))) in (z) around 0 9.933 * [taylor]: Taking taylor expansion of (exp (- (+ 6.5 (/ 1 z)))) in z 9.933 * [taylor]: Taking taylor expansion of (- (+ 6.5 (/ 1 z))) in z 9.933 * [taylor]: Taking taylor expansion of (+ 6.5 (/ 1 z)) in z 9.933 * [taylor]: Taking taylor expansion of 6.5 in z 9.933 * [backup-simplify]: Simplify 6.5 into 6.5 9.933 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.933 * [taylor]: Taking taylor expansion of z in z 9.933 * [backup-simplify]: Simplify 0 into 0 9.933 * [backup-simplify]: Simplify 1 into 1 9.934 * [backup-simplify]: Simplify (/ 1 1) into 1 9.934 * [backup-simplify]: Simplify (+ 0 1) into 1 9.934 * [backup-simplify]: Simplify (- 1) into -1 9.935 * [backup-simplify]: Simplify (exp (- (+ 6.5 (/ 1 z)))) into (exp (- (+ 6.5 (/ 1 z)))) 9.935 * [taylor]: Taking taylor expansion of (exp (- (+ 6.5 (/ 1 z)))) in z 9.935 * [taylor]: Taking taylor expansion of (- (+ 6.5 (/ 1 z))) in z 9.935 * [taylor]: Taking taylor expansion of (+ 6.5 (/ 1 z)) in z 9.935 * [taylor]: Taking taylor expansion of 6.5 in z 9.935 * [backup-simplify]: Simplify 6.5 into 6.5 9.935 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.935 * [taylor]: Taking taylor expansion of z in z 9.935 * [backup-simplify]: Simplify 0 into 0 9.935 * [backup-simplify]: Simplify 1 into 1 9.936 * [backup-simplify]: Simplify (/ 1 1) into 1 9.936 * [backup-simplify]: Simplify (+ 0 1) into 1 9.937 * [backup-simplify]: Simplify (- 1) into -1 9.937 * [backup-simplify]: Simplify (exp (- (+ 6.5 (/ 1 z)))) into (exp (- (+ 6.5 (/ 1 z)))) 9.938 * [backup-simplify]: Simplify (exp (- (+ 6.5 (/ 1 z)))) into (exp (- (+ 6.5 (/ 1 z)))) 9.938 * [backup-simplify]: Simplify 0 into 0 9.938 * [backup-simplify]: Simplify 0 into 0 9.938 * [backup-simplify]: Simplify 0 into 0 9.938 * [backup-simplify]: Simplify 0 into 0 9.938 * [backup-simplify]: Simplify 0 into 0 9.938 * [backup-simplify]: Simplify 0 into 0 9.938 * [backup-simplify]: Simplify (exp (- (+ 6.5 (/ 1 (/ 1 z))))) into (exp (- (+ z 6.5))) 9.939 * [backup-simplify]: Simplify (exp (- (+ (+ (- (/ 1 (- z)) 1.0) 7.0) 0.5))) into (exp (- (/ 1 z) 6.5)) 9.939 * [approximate]: Taking taylor expansion of (exp (- (/ 1 z) 6.5)) in (z) around 0 9.939 * [taylor]: Taking taylor expansion of (exp (- (/ 1 z) 6.5)) in z 9.939 * [taylor]: Taking taylor expansion of (- (/ 1 z) 6.5) in z 9.939 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.939 * [taylor]: Taking taylor expansion of z in z 9.939 * [backup-simplify]: Simplify 0 into 0 9.939 * [backup-simplify]: Simplify 1 into 1 9.940 * [backup-simplify]: Simplify (/ 1 1) into 1 9.940 * [taylor]: Taking taylor expansion of 6.5 in z 9.940 * [backup-simplify]: Simplify 6.5 into 6.5 9.940 * [backup-simplify]: Simplify (+ 1 0) into 1 9.941 * [backup-simplify]: Simplify (exp (- (/ 1 z) 6.5)) into (exp (- (/ 1 z) 6.5)) 9.941 * [taylor]: Taking taylor expansion of (exp (- (/ 1 z) 6.5)) in z 9.941 * [taylor]: Taking taylor expansion of (- (/ 1 z) 6.5) in z 9.941 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.941 * [taylor]: Taking taylor expansion of z in z 9.941 * [backup-simplify]: Simplify 0 into 0 9.941 * [backup-simplify]: Simplify 1 into 1 9.941 * [backup-simplify]: Simplify (/ 1 1) into 1 9.942 * [taylor]: Taking taylor expansion of 6.5 in z 9.942 * [backup-simplify]: Simplify 6.5 into 6.5 9.942 * [backup-simplify]: Simplify (+ 1 0) into 1 9.942 * [backup-simplify]: Simplify (exp (- (/ 1 z) 6.5)) into (exp (- (/ 1 z) 6.5)) 9.943 * [backup-simplify]: Simplify (exp (- (/ 1 z) 6.5)) into (exp (- (/ 1 z) 6.5)) 9.943 * [backup-simplify]: Simplify 0 into 0 9.943 * [backup-simplify]: Simplify 0 into 0 9.943 * [backup-simplify]: Simplify 0 into 0 9.943 * [backup-simplify]: Simplify 0 into 0 9.943 * [backup-simplify]: Simplify 0 into 0 9.943 * [backup-simplify]: Simplify 0 into 0 9.944 * [backup-simplify]: Simplify (exp (- (/ 1 (/ 1 (- z))) 6.5)) into (exp (- (+ z 6.5))) 9.944 * * * [progress]: simplifying candidates 9.944 * * * * [progress]: [ 1 / 126 ] simplifiying candidate #real (real->posit16 (+ (- z 1.0) 1.0))))) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))> 9.944 * * * * [progress]: [ 2 / 126 ] simplifiying candidate # 9.944 * * * * [progress]: [ 3 / 126 ] simplifiying candidate # 9.944 * * * * [progress]: [ 4 / 126 ] simplifiying candidate # 9.945 * * * * [progress]: [ 5 / 126 ] simplifiying candidate # 9.945 * * * * [progress]: [ 6 / 126 ] simplifiying candidate # 9.945 * * * * [progress]: [ 7 / 126 ] simplifiying candidate # 9.945 * * * * [progress]: [ 8 / 126 ] simplifiying candidate # 9.945 * * * * [progress]: [ 9 / 126 ] simplifiying candidate # 9.945 * * * * [progress]: [ 10 / 126 ] simplifiying candidate # 9.946 * * * * [progress]: [ 11 / 126 ] simplifiying candidate # 9.946 * * * * [progress]: [ 12 / 126 ] simplifiying candidate # 9.946 * * * * [progress]: [ 13 / 126 ] simplifiying candidate # 9.946 * * * * [progress]: [ 14 / 126 ] simplifiying candidate # 9.946 * * * * [progress]: [ 15 / 126 ] simplifiying candidate # 9.946 * * * * [progress]: [ 16 / 126 ] simplifiying candidate # 9.946 * * * * [progress]: [ 17 / 126 ] simplifiying candidate # 9.947 * * * * [progress]: [ 18 / 126 ] simplifiying candidate # 9.947 * * * * [progress]: [ 19 / 126 ] simplifiying candidate # 9.947 * * * * [progress]: [ 20 / 126 ] simplifiying candidate # 9.947 * * * * [progress]: [ 21 / 126 ] simplifiying candidate # 9.947 * * * * [progress]: [ 22 / 126 ] simplifiying candidate # 9.947 * * * * [progress]: [ 23 / 126 ] simplifiying candidate # 9.948 * * * * [progress]: [ 24 / 126 ] simplifiying candidate # 9.948 * * * * [progress]: [ 25 / 126 ] simplifiying candidate # 9.948 * * * * [progress]: [ 26 / 126 ] simplifiying candidate # 9.948 * * * * [progress]: [ 27 / 126 ] simplifiying candidate # 9.948 * * * * [progress]: [ 28 / 126 ] simplifiying candidate # 9.948 * * * * [progress]: [ 29 / 126 ] simplifiying candidate # 9.949 * * * * [progress]: [ 30 / 126 ] simplifiying candidate # 9.949 * * * * [progress]: [ 31 / 126 ] simplifiying candidate # 9.949 * * * * [progress]: [ 32 / 126 ] simplifiying candidate # 9.949 * * * * [progress]: [ 33 / 126 ] simplifiying candidate # 9.949 * * * * [progress]: [ 34 / 126 ] simplifiying candidate # 9.949 * * * * [progress]: [ 35 / 126 ] simplifiying candidate #real (real->posit16 (sqrt (* PI 2.0)))) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- z 1.0) 1.0))) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))> 9.950 * * * * [progress]: [ 36 / 126 ] simplifiying candidate # 9.950 * * * * [progress]: [ 37 / 126 ] simplifiying candidate # 9.950 * * * * [progress]: [ 38 / 126 ] simplifiying candidate # 9.950 * * * * [progress]: [ 39 / 126 ] simplifiying candidate # 9.950 * * * * [progress]: [ 40 / 126 ] simplifiying candidate # 9.950 * * * * [progress]: [ 41 / 126 ] simplifiying candidate # 9.950 * * * * [progress]: [ 42 / 126 ] simplifiying candidate # 9.951 * * * * [progress]: [ 43 / 126 ] simplifiying candidate # 9.951 * * * * [progress]: [ 44 / 126 ] simplifiying candidate # 9.951 * * * * [progress]: [ 45 / 126 ] simplifiying candidate # 9.951 * * * * [progress]: [ 46 / 126 ] simplifiying candidate # 9.951 * * * * [progress]: [ 47 / 126 ] simplifiying candidate # 9.951 * * * * [progress]: [ 48 / 126 ] simplifiying candidate # 9.952 * * * * [progress]: [ 49 / 126 ] simplifiying candidate #real (real->posit16 (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))))) (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- z 1.0) 1.0))) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))> 9.952 * * * * [progress]: [ 50 / 126 ] simplifiying candidate # 9.952 * * * * [progress]: [ 51 / 126 ] simplifiying candidate # 9.952 * * * * [progress]: [ 52 / 126 ] simplifiying candidate # 9.952 * * * * [progress]: [ 53 / 126 ] simplifiying candidate # 9.952 * * * * [progress]: [ 54 / 126 ] simplifiying candidate # 9.953 * * * * [progress]: [ 55 / 126 ] simplifiying candidate # 9.953 * * * * [progress]: [ 56 / 126 ] simplifiying candidate # 9.953 * * * * [progress]: [ 57 / 126 ] simplifiying candidate # 9.953 * * * * [progress]: [ 58 / 126 ] simplifiying candidate # 9.953 * * * * [progress]: [ 59 / 126 ] simplifiying candidate # 9.953 * * * * [progress]: [ 60 / 126 ] simplifiying candidate # 9.953 * * * * [progress]: [ 61 / 126 ] simplifiying candidate # 9.954 * * * * [progress]: [ 62 / 126 ] simplifiying candidate # 9.954 * * * * [progress]: [ 63 / 126 ] simplifiying candidate # 9.954 * * * * [progress]: [ 64 / 126 ] simplifiying candidate # 9.954 * * * * [progress]: [ 65 / 126 ] simplifiying candidate # 9.954 * * * * [progress]: [ 66 / 126 ] simplifiying candidate # 9.954 * * * * [progress]: [ 67 / 126 ] simplifiying candidate # 9.955 * * * * [progress]: [ 68 / 126 ] simplifiying candidate # 9.955 * * * * [progress]: [ 69 / 126 ] simplifiying candidate # 9.955 * * * * [progress]: [ 70 / 126 ] simplifiying candidate # 9.955 * * * * [progress]: [ 71 / 126 ] simplifiying candidate # 9.955 * * * * [progress]: [ 72 / 126 ] simplifiying candidate # 9.955 * * * * [progress]: [ 73 / 126 ] simplifiying candidate # 9.956 * * * * [progress]: [ 74 / 126 ] simplifiying candidate # 9.956 * * * * [progress]: [ 75 / 126 ] simplifiying candidate # 9.956 * * * * [progress]: [ 76 / 126 ] simplifiying candidate # 9.956 * * * * [progress]: [ 77 / 126 ] simplifiying candidate # 9.956 * * * * [progress]: [ 78 / 126 ] simplifiying candidate # 9.956 * * * * [progress]: [ 79 / 126 ] simplifiying candidate # 9.956 * * * * [progress]: [ 80 / 126 ] simplifiying candidate # 9.957 * * * * [progress]: [ 81 / 126 ] simplifiying candidate # 9.957 * * * * [progress]: [ 82 / 126 ] simplifiying candidate # 9.957 * * * * [progress]: [ 83 / 126 ] simplifiying candidate #real (real->posit16 (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- z 1.0) 1.0))) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))> 9.957 * * * * [progress]: [ 84 / 126 ] simplifiying candidate # 9.957 * * * * [progress]: [ 85 / 126 ] simplifiying candidate # 9.957 * * * * [progress]: [ 86 / 126 ] simplifiying candidate # 9.957 * * * * [progress]: [ 87 / 126 ] simplifiying candidate # 9.958 * * * * [progress]: [ 88 / 126 ] simplifiying candidate # 9.958 * * * * [progress]: [ 89 / 126 ] simplifiying candidate # 9.958 * * * * [progress]: [ 90 / 126 ] simplifiying candidate # 9.958 * * * * [progress]: [ 91 / 126 ] simplifiying candidate # 9.958 * * * * [progress]: [ 92 / 126 ] simplifiying candidate # 9.958 * * * * [progress]: [ 93 / 126 ] simplifiying candidate # 9.959 * * * * [progress]: [ 94 / 126 ] simplifiying candidate # 9.959 * * * * [progress]: [ 95 / 126 ] simplifiying candidate # 9.959 * * * * [progress]: [ 96 / 126 ] simplifiying candidate # 9.959 * * * * [progress]: [ 97 / 126 ] simplifiying candidate # 9.959 * * * * [progress]: [ 98 / 126 ] simplifiying candidate # 9.959 * * * * [progress]: [ 99 / 126 ] simplifiying candidate # 9.960 * * * * [progress]: [ 100 / 126 ] simplifiying candidate # 9.960 * * * * [progress]: [ 101 / 126 ] simplifiying candidate # 9.960 * * * * [progress]: [ 102 / 126 ] simplifiying candidate # 9.960 * * * * [progress]: [ 103 / 126 ] simplifiying candidate # 9.960 * * * * [progress]: [ 104 / 126 ] simplifiying candidate # 9.960 * * * * [progress]: [ 105 / 126 ] simplifiying candidate # 9.960 * * * * [progress]: [ 106 / 126 ] simplifiying candidate # 9.961 * * * * [progress]: [ 107 / 126 ] simplifiying candidate # 9.961 * * * * [progress]: [ 108 / 126 ] simplifiying candidate # 9.961 * * * * [progress]: [ 109 / 126 ] simplifiying candidate # 9.961 * * * * [progress]: [ 110 / 126 ] simplifiying candidate # 9.961 * * * * [progress]: [ 111 / 126 ] simplifiying candidate # 9.961 * * * * [progress]: [ 112 / 126 ] simplifiying candidate # 9.961 * * * * [progress]: [ 113 / 126 ] simplifiying candidate # 9.962 * * * * [progress]: [ 114 / 126 ] simplifiying candidate # 9.962 * * * * [progress]: [ 115 / 126 ] simplifiying candidate # 9.962 * * * * [progress]: [ 116 / 126 ] simplifiying candidate # 9.962 * * * * [progress]: [ 117 / 126 ] simplifiying candidate # 9.962 * * * * [progress]: [ 118 / 126 ] simplifiying candidate # 9.962 * * * * [progress]: [ 119 / 126 ] simplifiying candidate # 9.962 * * * * [progress]: [ 120 / 126 ] simplifiying candidate # 9.963 * * * * [progress]: [ 121 / 126 ] simplifiying candidate # 9.963 * * * * [progress]: [ 122 / 126 ] simplifiying candidate # 9.963 * * * * [progress]: [ 123 / 126 ] simplifiying candidate # 9.963 * * * * [progress]: [ 124 / 126 ] simplifiying candidate # 9.963 * * * * [progress]: [ 125 / 126 ] simplifiying candidate # 9.963 * * * * [progress]: [ 126 / 126 ] simplifiying candidate # 9.966 * [simplify]: Simplifying: (real->posit16 (+ (- z 1.0) 1.0)) (expm1 (+ (- z 1.0) 1.0)) (log1p (+ (- z 1.0) 1.0)) (* (/ (exp z) (exp 1.0)) (exp 1.0)) (* (exp (- z 1.0)) (exp 1.0)) (log (+ (- z 1.0) 1.0)) (exp (+ (- z 1.0) 1.0)) (* (cbrt (+ (- z 1.0) 1.0)) (cbrt (+ (- z 1.0) 1.0))) (cbrt (+ (- z 1.0) 1.0)) (* (* (+ (- z 1.0) 1.0) (+ (- z 1.0) 1.0)) (+ (- z 1.0) 1.0)) (sqrt (+ (- z 1.0) 1.0)) (sqrt (+ (- z 1.0) 1.0)) (+ (pow (- z 1.0) 3) (pow 1.0 3)) (+ (* (- z 1.0) (- z 1.0)) (- (* 1.0 1.0) (* (- z 1.0) 1.0))) (- (* (- z 1.0) (- z 1.0)) (* 1.0 1.0)) (- (- z 1.0) 1.0) (+ (- z 1.0) 1.0) (+ (- z 1.0) 1.0) (+ (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) 1.0) (+ (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) 1.0) (+ (fma (- 1.0) 1 (* 1.0 1)) 1.0) (+ (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) 1.0) (+ (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) 1.0) (+ (fma (- 1.0) 1 (* 1.0 1)) 1.0) (+ (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))) 1.0) (+ (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0))) 1.0) (+ (fma (- 1.0) 1 (* 1.0 1)) 1.0) (+ (- 1.0) 1.0) (+ (- 1.0) 1.0) (- 1.0 1.0) (real->posit16 (sqrt (* PI 2.0))) (expm1 (sqrt (* PI 2.0))) (log1p (sqrt (* PI 2.0))) (log (sqrt (* PI 2.0))) (exp (sqrt (* PI 2.0))) (* (cbrt (sqrt (* PI 2.0))) (cbrt (sqrt (* PI 2.0)))) (cbrt (sqrt (* PI 2.0))) (* (* (sqrt (* PI 2.0)) (sqrt (* PI 2.0))) (sqrt (* PI 2.0))) (sqrt PI) (sqrt 2.0) (/ 1 2) (/ 1 2) (sqrt (sqrt (* PI 2.0))) (sqrt (sqrt (* PI 2.0))) (real->posit16 (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))) (expm1 (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))) (log1p (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))) (+ (log (sqrt (* PI 2.0))) (* (log (+ (+ (- z 1.0) 7.0) 0.5)) (+ (- z 1.0) 0.5))) (+ (log (sqrt (* PI 2.0))) (* (log (+ (+ (- z 1.0) 7.0) 0.5)) (+ (- z 1.0) 0.5))) (+ (log (sqrt (* PI 2.0))) (log (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))) (log (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))) (exp (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))) (* (* (* (sqrt (* PI 2.0)) (sqrt (* PI 2.0))) (sqrt (* PI 2.0))) (* (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))) (* (cbrt (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))) (cbrt (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))))) (cbrt (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))) (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))) (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))) (sqrt (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))) (sqrt (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))) (* (sqrt (sqrt (* PI 2.0))) (pow (sqrt (+ (+ (- z 1.0) 7.0) 0.5)) (+ (- z 1.0) 0.5))) (* (sqrt (sqrt (* PI 2.0))) (pow (sqrt (+ (+ (- z 1.0) 7.0) 0.5)) (+ (- z 1.0) 0.5))) (* (sqrt (sqrt (* PI 2.0))) (sqrt (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))) (* (sqrt (sqrt (* PI 2.0))) (sqrt (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))) (* (sqrt (sqrt (* PI 2.0))) (pow (+ (+ (- z 1.0) 7.0) 0.5) (/ (+ (- z 1.0) 0.5) 2))) (* (sqrt (sqrt (* PI 2.0))) (pow (+ (+ (- z 1.0) 7.0) 0.5) (/ (+ (- z 1.0) 0.5) 2))) (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (- z 1.0))) (* (sqrt (* PI 2.0)) (pow (* (cbrt (+ (+ (- z 1.0) 7.0) 0.5)) (cbrt (+ (+ (- z 1.0) 7.0) 0.5))) (+ (- z 1.0) 0.5))) (* (sqrt (* PI 2.0)) (pow (sqrt (+ (+ (- z 1.0) 7.0) 0.5)) (+ (- z 1.0) 0.5))) (* (sqrt (* PI 2.0)) (pow 1 (+ (- z 1.0) 0.5))) (* (sqrt (* PI 2.0)) (pow 1 (+ (- z 1.0) 0.5))) (* (sqrt (* PI 2.0)) (pow 1 (+ (- z 1.0) 0.5))) (* (sqrt (* PI 2.0)) (pow 1 (+ (- z 1.0) 0.5))) (* (sqrt (* PI 2.0)) (* (cbrt (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (cbrt (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))))) (* (sqrt (* PI 2.0)) (sqrt (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))) (* (sqrt (* PI 2.0)) 1) (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (/ (+ (- z 1.0) 0.5) 2))) (* (cbrt (sqrt (* PI 2.0))) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (* (sqrt 2.0) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (* (sqrt (sqrt (* PI 2.0))) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)) (real->posit16 (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) (expm1 (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) (log1p (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) (exp (* (cbrt (- (+ (+ (- z 1.0) 7.0) 0.5))) (cbrt (- (+ (+ (- z 1.0) 7.0) 0.5))))) (exp (sqrt (- (+ (+ (- z 1.0) 7.0) 0.5)))) (exp 1) (exp -1) (exp (- (* (cbrt (+ (+ (- z 1.0) 7.0) 0.5)) (cbrt (+ (+ (- z 1.0) 7.0) 0.5))))) (exp (- (sqrt (+ (+ (- z 1.0) 7.0) 0.5)))) (exp (- 1)) (exp (- 1)) (exp (- 1)) (exp (- 1)) (exp (* (cbrt (+ (+ (- z 1.0) 7.0) 0.5)) (cbrt (+ (+ (- z 1.0) 7.0) 0.5)))) (exp (sqrt (+ (+ (- z 1.0) 7.0) 0.5))) (exp 1) (exp 1) (exp 1) (exp 1) (exp (- (+ (- z 1.0) 7.0))) (exp (- 0.5)) (exp (+ (+ (- z 1.0) 7.0) 0.5)) (exp 0) (exp (+ (+ (- z 1.0) 7.0) 0.5)) (log (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) (exp (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) (* (cbrt (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) (cbrt (exp (- (+ (+ (- z 1.0) 7.0) 0.5))))) (cbrt (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) (* (* (exp (- (+ (+ (- z 1.0) 7.0) 0.5))) (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) (sqrt (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) (sqrt (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) z z z (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- z 1.0) 1.0))) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))) (- (+ (* (* (sqrt 2.0) (* z (log 6.5))) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))) (+ (* 0.25 (* (* (sqrt 2.0) (pow z 2)) (* (pow (/ 1 (pow 6.5 5.0)) 0.5) (sqrt PI)))) (+ (* 0.15680473372781065 (* (* (sqrt 2.0) (pow z 2)) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))) (+ (* 1/2 (* (* (sqrt 2.0) (* (pow z 2) (pow (log 6.5) 2))) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))) (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))))))) (+ (* 0.07692307692307693 (* (* (sqrt 2.0) (* (pow z 2) (log 6.5))) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))) (* 0.07692307692307693 (* (* (sqrt 2.0) z) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))))) (* (* (sqrt 2.0) (pow (+ z 6.5) (- z 0.5))) (sqrt PI)) (* (* (sqrt 2.0) (exp (* -1 (* (log (+ z 6.5)) (- 0.5 z))))) (sqrt PI)) (- (+ (* 1/2 (* (pow z 2) (exp (- 6.5)))) (exp (- 6.5))) (* z (exp (- 6.5)))) (exp (- (+ z 6.5))) (exp (- (+ z 6.5))) 9.973 * * [simplify]: iteration 0: 256 enodes 10.192 * * [simplify]: iteration 1: 616 enodes 10.964 * * [simplify]: iteration 2: 2130 enodes 13.059 * * [simplify]: iteration complete: 5002 enodes 13.060 * * [simplify]: Extracting #0: cost 79 inf + 0 13.061 * * [simplify]: Extracting #1: cost 442 inf + 553 13.065 * * [simplify]: Extracting #2: cost 1295 inf + 4013 13.084 * * [simplify]: Extracting #3: cost 1423 inf + 37945 13.133 * * [simplify]: Extracting #4: cost 979 inf + 144632 13.173 * * [simplify]: Extracting #5: cost 681 inf + 240418 13.237 * * [simplify]: Extracting #6: cost 460 inf + 355940 13.346 * * [simplify]: Extracting #7: cost 258 inf + 499119 13.560 * * [simplify]: Extracting #8: cost 95 inf + 646670 13.774 * * [simplify]: Extracting #9: cost 6 inf + 744022 14.057 * * [simplify]: Extracting #10: cost 0 inf + 751807 14.300 * * [simplify]: Extracting #11: cost 0 inf + 751792 14.570 * [simplify]: Simplified to: (real->posit16 z) (expm1 z) (log1p z) (exp z) (exp z) (log z) (exp z) (* (cbrt z) (cbrt z)) (cbrt z) (* z (* z z)) (sqrt z) (sqrt z) (fma (- z 1.0) (* (- z 1.0) (- z 1.0)) (* (* 1.0 1.0) 1.0)) (fma 1.0 (- 1.0 (- z 1.0)) (* (- z 1.0) (- z 1.0))) (* z (- z (+ 1.0 1.0))) (- z (+ 1.0 1.0)) z z (+ 0 1.0) (+ 0 1.0) (+ 0 1.0) (+ 0 1.0) (+ 0 1.0) (+ 0 1.0) (+ 0 1.0) (+ 0 1.0) (+ 0 1.0) 0 0 0 (real->posit16 (sqrt (* PI 2.0))) (expm1 (sqrt (* PI 2.0))) (log1p (sqrt (* PI 2.0))) (log (sqrt (* PI 2.0))) (exp (sqrt (* PI 2.0))) (* (cbrt (sqrt (* PI 2.0))) (cbrt (sqrt (* PI 2.0)))) (cbrt (sqrt (* PI 2.0))) (* (* PI 2.0) (sqrt (* PI 2.0))) (sqrt PI) (sqrt 2.0) 1/2 1/2 (sqrt (sqrt (* PI 2.0))) (sqrt (sqrt (* PI 2.0))) (real->posit16 (* (sqrt (* PI 2.0)) (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0))))) (expm1 (* (sqrt (* PI 2.0)) (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0))))) (log1p (* (sqrt (* PI 2.0)) (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0))))) (fma (log (+ 7.0 (+ 0.5 (- z 1.0)))) (+ 0.5 (- z 1.0)) (log (sqrt (* PI 2.0)))) (fma (log (+ 7.0 (+ 0.5 (- z 1.0)))) (+ 0.5 (- z 1.0)) (log (sqrt (* PI 2.0)))) (fma (log (+ 7.0 (+ 0.5 (- z 1.0)))) (+ 0.5 (- z 1.0)) (log (sqrt (* PI 2.0)))) (fma (log (+ 7.0 (+ 0.5 (- z 1.0)))) (+ 0.5 (- z 1.0)) (log (sqrt (* PI 2.0)))) (exp (* (sqrt (* PI 2.0)) (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0))))) (* (* (* PI 2.0) (sqrt (* PI 2.0))) (* (* (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0))) (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0)))) (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0))))) (* (cbrt (* (sqrt (* PI 2.0)) (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0))))) (cbrt (* (sqrt (* PI 2.0)) (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0)))))) (cbrt (* (sqrt (* PI 2.0)) (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0))))) (* (* (* PI 2.0) (sqrt (* PI 2.0))) (* (* (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0))) (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0)))) (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0))))) (sqrt (* (sqrt (* PI 2.0)) (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0))))) (sqrt (* (sqrt (* PI 2.0)) (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0))))) (* (sqrt (sqrt (* PI 2.0))) (pow (sqrt (+ 7.0 (+ 0.5 (- z 1.0)))) (+ 0.5 (- z 1.0)))) (* (sqrt (sqrt (* PI 2.0))) (pow (sqrt (+ 7.0 (+ 0.5 (- z 1.0)))) (+ 0.5 (- z 1.0)))) (* (sqrt (sqrt (* PI 2.0))) (sqrt (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0))))) (* (sqrt (sqrt (* PI 2.0))) (sqrt (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0))))) (* (pow (+ 7.0 (+ 0.5 (- z 1.0))) (/ (+ 0.5 (- z 1.0)) 2)) (sqrt (sqrt (* PI 2.0)))) (* (pow (+ 7.0 (+ 0.5 (- z 1.0))) (/ (+ 0.5 (- z 1.0)) 2)) (sqrt (sqrt (* PI 2.0)))) (* (sqrt (* PI 2.0)) (pow (+ 7.0 (+ 0.5 (- z 1.0))) (- z 1.0))) (* (sqrt (* PI 2.0)) (pow (* (cbrt (+ 7.0 (+ 0.5 (- z 1.0)))) (cbrt (+ 7.0 (+ 0.5 (- z 1.0))))) (+ 0.5 (- z 1.0)))) (* (pow (sqrt (+ 7.0 (+ 0.5 (- z 1.0)))) (+ 0.5 (- z 1.0))) (sqrt (* PI 2.0))) (sqrt (* PI 2.0)) (sqrt (* PI 2.0)) (sqrt (* PI 2.0)) (sqrt (* PI 2.0)) (* (* (cbrt (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0)))) (sqrt (* PI 2.0))) (cbrt (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0))))) (* (sqrt (* PI 2.0)) (sqrt (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0))))) (sqrt (* PI 2.0)) (* (sqrt (* PI 2.0)) (pow (+ 7.0 (+ 0.5 (- z 1.0))) (/ (+ 0.5 (- z 1.0)) 2))) (* (cbrt (sqrt (* PI 2.0))) (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0)))) (* (sqrt 2.0) (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0)))) (* (sqrt (sqrt (* PI 2.0))) (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0)))) (* (sqrt (* PI 2.0)) (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0)))) (* (pow (+ 7.0 (+ 0.5 (- z 1.0))) z) (sqrt (* PI 2.0))) (real->posit16 (exp (- (- (+ 7.0 (- z 1.0))) 0.5))) (expm1 (exp (- (- (+ 7.0 (- z 1.0))) 0.5))) (log1p (exp (- (- (+ 7.0 (- z 1.0))) 0.5))) (exp (* (cbrt (- (- (+ 7.0 (- z 1.0))) 0.5)) (cbrt (- (- (+ 7.0 (- z 1.0))) 0.5)))) (exp (sqrt (- (- (+ 7.0 (- z 1.0))) 0.5))) E (/ 1 E) (exp (* (cbrt (+ 7.0 (+ 0.5 (- z 1.0)))) (- (cbrt (+ 7.0 (+ 0.5 (- z 1.0))))))) (exp (- (sqrt (+ 7.0 (+ 0.5 (- z 1.0)))))) (/ 1 E) (/ 1 E) (/ 1 E) (/ 1 E) (exp (* (cbrt (+ 7.0 (+ 0.5 (- z 1.0)))) (cbrt (+ 7.0 (+ 0.5 (- z 1.0)))))) (exp (sqrt (+ 7.0 (+ 0.5 (- z 1.0))))) E E E E (exp (- (+ 7.0 (- z 1.0)))) (exp (- 0.5)) (exp (+ 7.0 (+ 0.5 (- z 1.0)))) 1 (exp (+ 7.0 (+ 0.5 (- z 1.0)))) (- (- (+ 7.0 (- z 1.0))) 0.5) (exp (exp (- (- (+ 7.0 (- z 1.0))) 0.5))) (* (cbrt (exp (- (- (+ 7.0 (- z 1.0))) 0.5))) (cbrt (exp (- (- (+ 7.0 (- z 1.0))) 0.5)))) (cbrt (exp (- (- (+ 7.0 (- z 1.0))) 0.5))) (exp (fma 2 (- (- (+ 7.0 (- z 1.0))) 0.5) (- (- (+ 7.0 (- z 1.0))) 0.5))) (sqrt (exp (- (- (+ 7.0 (- z 1.0))) 0.5))) (sqrt (exp (- (- (+ 7.0 (- z 1.0))) 0.5))) z z z (* (+ (+ (/ 12.507343278686905 (+ 5.0 (- z 1.0))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))))) (+ (+ (/ 9.984369578019572e-06 (+ 7.0 (- z 1.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))) (* (/ (pow (+ 7.0 (+ 0.5 (- z 1.0))) (+ 0.5 (- z 1.0))) (exp (+ 7.0 (+ 0.5 (- z 1.0))))) (sqrt (* PI 2.0)))) (fma (* z (log 6.5)) (* (sqrt 2.0) (* (sqrt PI) (pow (/ 1 (pow 6.5 1.0)) 0.5))) (fma (* 0.25 (* (pow (/ 1 (pow 6.5 5.0)) 0.5) (sqrt PI))) (* (sqrt 2.0) (* z z)) (- (* (* (sqrt PI) (pow (/ 1 (pow 6.5 1.0)) 0.5)) (+ (fma (* 1/2 (sqrt 2.0)) (* (* z (log 6.5)) (* z (log 6.5))) (sqrt 2.0)) (* 0.15680473372781065 (* (sqrt 2.0) (* z z))))) (* 0.07692307692307693 (* (* (sqrt 2.0) (* (sqrt PI) (pow (/ 1 (pow 6.5 1.0)) 0.5))) (+ z (* (log 6.5) (* z z)))))))) (* (* (sqrt PI) (sqrt 2.0)) (pow (+ 6.5 z) (- z 0.5))) (* (* (sqrt PI) (sqrt 2.0)) (exp (* (log (+ 6.5 z)) (- (- 0.5 z))))) (fma (- z) (exp (- 6.5)) (fma (exp (- 6.5)) (* (* z z) 1/2) (exp (- 6.5)))) (exp (- (+ 6.5 z))) (exp (- (+ 6.5 z))) 14.604 * * * [progress]: adding candidates to table 17.047 * * [progress]: iteration 2 / 4 17.047 * * * [progress]: picking best candidate 17.127 * * * * [pick]: Picked # 17.127 * * * [progress]: localizing error 17.658 * * * [progress]: generating rewritten candidates 17.658 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 17.664 * * * * [progress]: [ 2 / 4 ] rewriting at (2)