Time bar (total: 10.0m)
| 368.0ms | 108× | body | 10240 | exit |
| 206.0ms | 102× | body | 1280 | valid |
| 121.0ms | 81× | body | 640 | valid |
| 68.0ms | 49× | body | 1280 | nan |
| 35.0ms | 41× | body | 320 | valid |
| 31.0ms | 35× | body | 640 | nan |
| 21.0ms | 27× | body | 320 | nan |
| 12.0ms | 24× | body | 160 | valid |
| 4.0ms | 9× | body | 160 | nan |
| 3.0ms | 11× | body | 80 | valid |
| 2.0ms | 7× | body | 80 | nan |
| Iter | Nodes |
|---|---|
| done | 5032 |
| 3 | 2323 |
| 2 | 422 |
| 1 | 140 |
| 0 | 55 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 0.5b
Found 4 expressions with local error:
| 0.3b | (* (/ (sqrt (* PI 2)) (exp (+ 0.5 (- z -6)))) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z)))) |
| 0.4b | (* (* (/ (sqrt (* PI 2)) (exp (+ 0.5 (- z -6)))) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z)))) (pow (+ 0.5 (- z -6)) (- z (- 1 0.5)))) |
| 1.0b | (/ (sqrt (* PI 2)) (exp (+ 0.5 (- z -6)))) |
| 1.0b | (sqrt (* PI 2)) |
| 1848× | frac-add |
| 510× | flip3-+ flip-+ |
| 371× | frac-times |
| 223× | associate-*r/ |
| 180× | *-un-lft-identity |
| 152× | associate-*l/ |
| 150× | pow-sub |
| 111× | distribute-lft-out |
| 55× | associate-*r* |
| 49× | add-sqr-sqrt |
| 35× | add-cube-cbrt |
| 33× | times-frac |
| 30× | add-exp-log |
| 22× | associate-*l* |
| 21× | unpow-prod-up |
| 20× | add-cbrt-cube |
| 18× | prod-diff |
| 17× | prod-exp |
| 10× | sqrt-prod |
| 9× | pow1 exp-sum |
| 7× | cbrt-unprod |
| 6× | difference-of-squares |
| 5× | unpow-prod-down div-exp |
| 4× | expm1-log1p-u associate-/r* insert-posit16 log1p-expm1-u associate-/l* distribute-lft-out-- add-log-exp |
| 3× | pow-to-exp cbrt-undiv pow-exp |
| 2× | associate-+r- sqrt-pow1 exp-diff pow-prod-down associate-/r/ *-commutative div-inv unswap-sqr |
| 1× | distribute-rgt-in clear-num sub-neg frac-2neg distribute-lft-in pow1/2 associate--r- sqr-pow |
| 24.0s | (* (/ (sqrt (* PI 2)) (exp (+ 0.5 (- z -6)))) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z)))) |
| 26.1s | (* (* (/ (sqrt (* PI 2)) (exp (+ 0.5 (- z -6)))) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z)))) (pow (+ 0.5 (- z -6)) (- z (- 1 0.5)))) |
| 81.0ms | (/ (sqrt (* PI 2)) (exp (+ 0.5 (- z -6)))) |
| 8.0ms | (sqrt (* PI 2)) |
| 365.0ms | (* (/ (sqrt (* PI 2)) (exp (+ 0.5 (- z -6)))) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z)))) |
| 899.0ms | (* (* (/ (sqrt (* PI 2)) (exp (+ 0.5 (- z -6)))) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z)))) (pow (+ 0.5 (- z -6)) (- z (- 1 0.5)))) |
| 125.0ms | (/ (sqrt (* PI 2)) (exp (+ 0.5 (- z -6)))) |
| 0.0ms | (sqrt (* PI 2)) |
| Iter | Nodes |
|---|---|
| done | 5001 |
| 0 | 1809 |
11 alts after pruning (11 fresh and 0 done)
Merged error: 0b
Found 4 expressions with local error:
| 0.3b | (* (exp -6) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z)))) |
| 0.4b | (* (* (/ (sqrt (* PI 2)) (exp (+ 0.5 z))) (* (exp -6) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z))))) (pow (+ 0.5 (- z -6)) (- z (- 1 0.5)))) |
| 0.4b | (* (/ (sqrt (* PI 2)) (exp (+ 0.5 z))) (* (exp -6) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z))))) |
| 1.0b | (sqrt (* PI 2)) |
| 2156× | frac-add |
| 741× | associate-*r/ |
| 595× | flip3-+ flip-+ |
| 371× | frac-times |
| 171× | *-un-lft-identity |
| 152× | associate-*l/ |
| 150× | pow-sub |
| 111× | distribute-lft-out |
| 56× | associate-*r* |
| 50× | add-exp-log |
| 40× | prod-exp |
| 37× | add-sqr-sqrt |
| 36× | add-cbrt-cube |
| 26× | add-cube-cbrt |
| 24× | associate-*l* |
| 21× | unpow-prod-up |
| 18× | prod-diff cbrt-unprod |
| 16× | times-frac |
| 14× | pow1 |
| 8× | div-exp |
| 6× | difference-of-squares |
| 5× | distribute-rgt-in pow-to-exp unpow-prod-down distribute-lft-in pow-prod-down pow-exp sqrt-prod |
| 4× | expm1-log1p-u cbrt-undiv exp-sum insert-posit16 log1p-expm1-u distribute-lft-out-- add-log-exp |
| 3× | *-commutative |
| 2× | sqrt-pow1 |
| 1× | sub-neg pow1/2 div-inv associate--r- unswap-sqr sqr-pow |
| 17.7s | (* (exp -6) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z)))) |
| 1.1m | (* (* (/ (sqrt (* PI 2)) (exp (+ 0.5 z))) (* (exp -6) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z))))) (pow (+ 0.5 (- z -6)) (- z (- 1 0.5)))) |
| 18.0s | (* (/ (sqrt (* PI 2)) (exp (+ 0.5 z))) (* (exp -6) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z))))) |
| 8.0ms | (sqrt (* PI 2)) |
| 167.0ms | (* (exp -6) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z)))) |
| 747.0ms | (* (* (/ (sqrt (* PI 2)) (exp (+ 0.5 z))) (* (exp -6) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z))))) (pow (+ 0.5 (- z -6)) (- z (- 1 0.5)))) |
| 335.0ms | (* (/ (sqrt (* PI 2)) (exp (+ 0.5 z))) (* (exp -6) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z))))) |
| 0.0ms | (sqrt (* PI 2)) |
| Iter | Nodes |
|---|---|
| done | 5001 |
| 0 | 1906 |
9 alts after pruning (9 fresh and 0 done)
Merged error: 0b
Found 4 expressions with local error:
| 0.3b | (* (exp -6) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z)))) |
| 0.4b | (/ (* (* (/ (sqrt (* PI 2)) (exp (+ 0.5 z))) (* (exp -6) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z))))) (pow (+ 0.5 (- z -6)) z)) (pow (+ 0.5 (- z -6)) (- 1 0.5))) |
| 0.4b | (* (/ (sqrt (* PI 2)) (exp (+ 0.5 z))) (* (exp -6) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z))))) |
| 1.0b | (sqrt (* PI 2)) |
| 1540× | frac-add |
| 518× | associate-*r/ |
| 425× | flip3-+ flip-+ |
| 172× | *-un-lft-identity |
| 159× | add-exp-log |
| 151× | associate-*l/ |
| 149× | associate-/l/ |
| 148× | frac-times |
| 113× | distribute-lft-out |
| 106× | prod-exp |
| 68× | div-exp |
| 43× | add-cbrt-cube |
| 36× | times-frac |
| 33× | add-sqr-sqrt |
| 31× | pow-to-exp pow-exp add-cube-cbrt |
| 26× | associate-*r* |
| 23× | associate-*l* |
| 22× | unpow-prod-up |
| 20× | associate-/r* |
| 18× | prod-diff cbrt-unprod |
| 14× | pow1 |
| 10× | cbrt-undiv unpow-prod-down |
| 5× | distribute-rgt-in distribute-lft-in pow-prod-down sqrt-prod |
| 4× | expm1-log1p-u exp-sum insert-posit16 log1p-expm1-u add-log-exp |
| 2× | sub-neg sqrt-pow1 *-commutative div-inv distribute-lft-out-- sqr-pow |
| 1× | clear-num frac-2neg pow1/2 associate-/r/ associate-/l* pow-sub unswap-sqr |
| 15.3s | (* (exp -6) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z)))) |
| 44.3s | (/ (* (* (/ (sqrt (* PI 2)) (exp (+ 0.5 z))) (* (exp -6) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z))))) (pow (+ 0.5 (- z -6)) z)) (pow (+ 0.5 (- z -6)) (- 1 0.5))) |
| 12.0s | (* (/ (sqrt (* PI 2)) (exp (+ 0.5 z))) (* (exp -6) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z))))) |
| 4.0ms | (sqrt (* PI 2)) |
| 171.0ms | (* (exp -6) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z)))) |
| 899.0ms | (/ (* (* (/ (sqrt (* PI 2)) (exp (+ 0.5 z))) (* (exp -6) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z))))) (pow (+ 0.5 (- z -6)) z)) (pow (+ 0.5 (- z -6)) (- 1 0.5))) |
| 332.0ms | (* (/ (sqrt (* PI 2)) (exp (+ 0.5 z))) (* (exp -6) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z))))) |
| 0.0ms | (sqrt (* PI 2)) |
| Iter | Nodes |
|---|---|
| done | 5001 |
| 0 | 1680 |
9 alts after pruning (8 fresh and 1 done)
Merged error: 0b
Found 4 expressions with local error:
| 0.3b | (/ (* (* (/ (sqrt (* PI 2)) (exp (+ 0.5 z))) (* (exp -6) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z))))) (pow (+ 0.5 (- z -6)) z)) (pow (* (cbrt (+ 0.5 (- z -6))) (cbrt (+ 0.5 (- z -6)))) (- 1 0.5))) |
| 0.3b | (* (exp -6) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z)))) |
| 0.4b | (* (/ (sqrt (* PI 2)) (exp (+ 0.5 z))) (* (exp -6) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z))))) |
| 1.0b | (sqrt (* PI 2)) |
| 1540× | frac-add |
| 518× | associate-*r/ |
| 425× | flip3-+ flip-+ |
| 229× | add-exp-log |
| 160× | *-un-lft-identity |
| 155× | prod-exp |
| 151× | associate-*l/ |
| 149× | associate-/l/ |
| 148× | frac-times |
| 109× | distribute-lft-out |
| 90× | div-exp |
| 52× | pow-exp |
| 43× | add-cbrt-cube |
| 36× | pow-to-exp |
| 32× | times-frac |
| 31× | add-sqr-sqrt |
| 29× | add-cube-cbrt |
| 26× | associate-*r* |
| 23× | associate-*l* |
| 22× | unpow-prod-up |
| 18× | prod-diff cbrt-unprod |
| 16× | associate-/r* |
| 14× | pow1 |
| 10× | cbrt-undiv |
| 5× | distribute-rgt-in distribute-lft-in pow-prod-down sqrt-prod |
| 4× | expm1-log1p-u exp-sum insert-posit16 log1p-expm1-u add-log-exp |
| 2× | sub-neg unpow-prod-down sqrt-pow1 *-commutative div-inv sqr-pow |
| 1× | clear-num frac-2neg pow1/2 associate-/r/ associate-/l* pow-sub unswap-sqr |
| 42.7s | (/ (* (* (/ (sqrt (* PI 2)) (exp (+ 0.5 z))) (* (exp -6) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z))))) (pow (+ 0.5 (- z -6)) z)) (pow (* (cbrt (+ 0.5 (- z -6))) (cbrt (+ 0.5 (- z -6)))) (- 1 0.5))) |
| 15.4s | (* (exp -6) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z)))) |
| 12.0s | (* (/ (sqrt (* PI 2)) (exp (+ 0.5 z))) (* (exp -6) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z))))) |
| 4.0ms | (sqrt (* PI 2)) |
| 156.0ms | (* (exp -6) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z)))) |
| 318.0ms | (* (/ (sqrt (* PI 2)) (exp (+ 0.5 z))) (* (exp -6) (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -1259.1392167224028 (+ 1 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (/ 1.5056327351493116e-07 (+ 7 z)))) (/ 9.984369578019572e-06 (+ 6 z))))) |
| 0.0ms | (sqrt (* PI 2)) |