| Date: | Tuesday, November 9th, 2021 |
|---|---|
| Commit: | 73345388 on master |
| Hostname: | warfa with Racket 8.1 |
| Seed: | 2021313 |
| Parameters: | 256 points for 4 iterations |
| Flags: | precision:fallbackreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplify default |
Time bar (total: 6.6min)
| 62× | intervals |
| 23.2s | 34138× | body | 1024 | valid |
| 19.0s | 182372× | body | 128 | valid |
| 7.3s | 16030× | body | 512 | valid |
| 6.4s | 11245× | body | 2048 | valid |
| 5.8s | 50250× | body | 128 | nan |
| 4.3s | 1282× | body | 4096 | invalid |
| 3.6s | 6041× | body | 1024 | nan |
| 3.1s | 24327× | body | 128 | invalid |
| 3.1s | 3063× | body | 4096 | valid |
| 2.6s | 1187× | body | 2048 | invalid |
| 2.4s | 4512× | body | 1024 | invalid |
| 2.1s | 7864× | body | 256 | valid |
| 1.4s | 3196× | body | 512 | nan |
| 1.0s | 1224× | body | 8192 | valid |
| 876.0ms | 2645× | body | 512 | invalid |
| 431.0ms | 1635× | body | 256 | nan |
| 405.0ms | 2352× | body | 128 | overflowed |
| 311.0ms | 1425× | body | 256 | invalid |
| 181.0ms | 8256× | pre | 128 | true |
| 9.0ms | 14× | body | 8192 | exit |
| 1.0ms | 1× | body | 2048 | nan |
Compiled 14740 to 9804 computations (33.5% saved)
Compiled 1771160 to 1190673 computations (32.8% saved)
330 calls:
| 3.0s | (*.f64 (cbrt.f64 (fma.f64 (*.f64 J (*.f64 2 (sinh.f64 l))) (cos.f64 (/.f64 K 2)) U)) (cbrt.f64 (fma.f64 (*.f64 J (*.f64 2 (sinh.f64 l))) (cos.f64 (/.f64 K 2)) U))) |
| 2.1s | (*.f64 (cbrt.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M))) (cbrt.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M)))) |
| 1.9s | (cbrt.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M))) |
| 1.8s | (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 2) (/.f64 (+.f64 EDonor (-.f64 (+.f64 Vef mu) Ec)) KbT))) (cbrt.f64 (pow.f64 (exp.f64 2) (/.f64 (+.f64 EDonor (-.f64 (+.f64 Vef mu) Ec)) KbT)))) (cbrt.f64 (pow.f64 (exp.f64 2) (/.f64 (+.f64 EDonor (-.f64 (+.f64 Vef mu) Ec)) KbT))))) |
| 1.8s | (*.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))) (cbrt.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))) |
Compiled 2163530 to 1219382 computations (43.6% saved)
| 31× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 98.2% | 1.8% | 0 |
| 3.2% | 95% | 1.8% | 1 |
| 5.6% | 91% | 3.4% | 2 |
| 8% | 84.5% | 7.4% | 3 |
| 9.8% | 80.7% | 9.5% | 4 |
| 13.5% | 76.9% | 9.7% | 5 |
| 16% | 72.8% | 11.2% | 6 |
| 18.1% | 68.2% | 13.7% | 7 |
| 21.2% | 62.6% | 16.2% | 8 |
| 24.7% | 57% | 18.2% | 9 |
| 26.4% | 53.6% | 20% | 10 |
| 28.9% | 49.8% | 21.3% | 11 |
| 30.2% | 47.2% | 22.5% | 12 |
| 31.9% | 42.5% | 25.7% | 13 |
| 32.9% | 40.8% | 26.3% | 14 |
Compiled 845 to 604 computations (28.5% saved)
| 178× | egg-herbie |
| 65617× | fma-def_binary64 |
| 33698× | times-frac_binary64 |
| 30298× | fma-neg_binary64 |
| 30057× | associate-*l*_binary64 |
| 29415× | associate-/l*_binary64 |
| 116× | rewrite-expression-head |
| 17141× | times-frac_binary64 |
| 10639× | add-sqr-sqrt_binary64 |
| 9997× | *-un-lft-identity_binary64 |
| 9406× | add-cube-cbrt_binary64 |
| 4776× | add-exp-log_binary64 |
330 calls:
| 243.0ms | (-.f64 (/.f64 1 (sin.f64 B)) (/.f64 (/.f64 1 (tan.f64 B)) (/.f64 1 x))) |
| 150.0ms | (cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M))) (cbrt.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M)))) (cbrt.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M)))) (*.f64 (*.f64 (cbrt.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M))) (cbrt.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M)))) (cbrt.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M))))) (*.f64 (*.f64 (cbrt.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M))) (cbrt.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M)))) (cbrt.f64 (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M)))))) |
| 51.0ms | (*.f64 a (/.f64 (/.f64 (pow.f64 k m) (sqrt.f64 (fma.f64 k (+.f64 k 10) 1))) (sqrt.f64 (fma.f64 k (+.f64 k 10) 1)))) |
| 44.0ms | (*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))) |
| 41.0ms | (-.f64 (/.f64 1 (sin.f64 B)) (/.f64 1 (/.f64 (tan.f64 B) x))) |
Compiled 135 to 104 computations (23% saved)
Compiled 2523 to 1587 computations (37.1% saved)
Loading profile data...