| Date: | Friday, November 4th, 2022 |
|---|---|
| Commit: | 3b7366bf on main |
| Hostname: | warfa with Racket 8.6 |
| Seed: | 2022308 |
| Parameters: | 256 points for 4 iterations |
| Flags: | reduce: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: 25.5min)
| 2.7min | 16780× | body | 8192 | exit |
| 1.7min | 69727× | body | 1024 | valid |
| 1.4min | 8761× | body | 4096 | valid |
| 1.2min | 294524× | body | 256 | valid |
| 48.2s | 14673× | body | 2048 | valid |
| 40.9s | 1663× | body | 8192 | valid |
| 25.4s | 34984× | body | 512 | valid |
| 15.1s | 6445× | body | 1024 | infinite |
| 8.1s | 864× | body | 4096 | infinite |
| 7.6s | 21409× | body | 256 | infinite |
| 6.4s | 1233× | body | 2048 | infinite |
| 5.9s | 15714× | body | 256 | unsamplable |
| 4.8s | 21409× | body | 256 | invalid |
| 4.4s | 3293× | body | 512 | infinite |
| 1.4s | 1648× | body | 1024 | invalid |
| 1.3s | 1176× | body | 2048 | invalid |
| 592.0ms | 1117× | body | 512 | invalid |
| 470.0ms | 27× | body | 8192 | infinite |
| 150.0ms | 858× | body | 256 | precondition |
| 5.0ms | 6× | body | 512 | unsamplable |
| 4.0ms | 2× | body | 1024 | unsamplable |
143 calls:
| 18.9s | a |
| 18.6s | (-.f64 lambda1 lambda2) |
| 16.0s | b |
| 15.9s | (/.f64 angle 180) |
| 14.8s | phi1 |
Compiled 547393 to 282212 computations (48.4% saved)
| 469× | binary-search |
| 60× | left-value |
Compiled 50822 to 36728 computations (27.7% saved)
Compiled 5514758 to 3158818 computations (42.7% saved)
| 743× | egg-herbie |
| 261107× | fma-def_binary64 |
| 171101× | associate-*l*_binary64 |
| 154099× | associate-*r*_binary64 |
| 148993× | unswap-sqr_binary64 |
| 128164× | *-commutative_binary64 |
| 2× | unsound |
| 195× | saturated |
| 6× | done |
| 42× | fuel |
| 546× | node limit |
Compiled 17319 to 10729 computations (38.1% saved)
| 644× | batch-egg-rewrite |
| 7× | egg-rewrite-iter-limit |
| 4× | egg-rewrite |
| 229947× | pow1_binary64 |
| 215770× | add-log-exp_binary64 |
| 215662× | expm1-log1p-u_binary64 |
| 215632× | log1p-expm1-u_binary64 |
| 212541× | log-prod_binary64 |
| 7× | unsound |
| 7× | iter limit |
| 641× | node limit |
| 53× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 79.4% | 20.6% | 0% | 0% | 0% | 0 |
| 2.4% | 1.9% | 77.5% | 20.6% | 0% | 0% | 0% | 1 |
| 5.1% | 4% | 75% | 21% | 0% | 0% | 0% | 2 |
| 12.7% | 9.8% | 67.2% | 21.2% | 0.5% | 1.4% | 0% | 3 |
| 20.5% | 15.3% | 59.4% | 21.2% | 1.1% | 2.6% | 0.5% | 4 |
| 26.8% | 19.7% | 53.7% | 21.2% | 1.3% | 3.4% | 0.7% | 5 |
| 32.2% | 23.1% | 48.7% | 21.2% | 1.7% | 4.2% | 1.1% | 6 |
| 35% | 24.7% | 45.9% | 21.2% | 2% | 4.9% | 1.2% | 7 |
| 37.7% | 26.3% | 43.5% | 21.3% | 2.3% | 5.3% | 1.4% | 8 |
| 41.6% | 28.6% | 40.1% | 21.3% | 2.7% | 6% | 1.5% | 9 |
| 43.1% | 29.4% | 38.8% | 21.3% | 2.7% | 6.3% | 1.6% | 10 |
| 45.8% | 31% | 36.7% | 21.3% | 2.8% | 6.6% | 1.6% | 11 |
| 48.4% | 32.6% | 34.7% | 21.3% | 2.8% | 7% | 1.7% | 12 |
Compiled 1919 to 1338 computations (30.3% saved)
Compiled 434326 to 307501 computations (29.2% saved)
Compiled 86247 to 43514 computations (49.5% saved)
10059 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 610.0ms | phi2 | @ | inf | (log.f64 (pow.f64 (pow.f64 (exp.f64 (sin.f64 lambda1)) (sin.f64 lambda2)) (*.f64 (cos.f64 phi2) (cos.f64 phi1)))) |
| 186.0ms | x-scale | @ | -inf | (log.f64 (*.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) (/.f64 y-scale x-scale))) |
| 171.0ms | phi1 | @ | -inf | (log.f64 (pow.f64 (pow.f64 (exp.f64 (sin.f64 lambda1)) (sin.f64 lambda2)) (*.f64 (cos.f64 phi2) (cos.f64 phi1)))) |
| 164.0ms | ew | @ | inf | (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (atan.f64 (*.f64 (/.f64 eh ew) (tan.f64 t))))))) |
| 141.0ms | b | @ | -inf | (pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 8) (*.f64 b (sqrt.f64 2)))) 3) |
| 66× | egg-herbie |
| 31508× | fma-def_binary64 |
| 16483× | fma-neg_binary64 |
| 16309× | times-frac_binary64 |
| 15680× | distribute-rgt-in_binary64 |
| 14968× | associate-*l*_binary64 |
| 9× | saturated |
| 57× | node limit |
Compiled 28561 to 20719 computations (27.5% saved)
Compiled 18308 to 8724 computations (52.3% saved)
| 102× | egg-herbie |
| 26100× | fma-def_binary64 |
| 14723× | fma-neg_binary64 |
| 9914× | div-sub_binary64 |
| 8737× | distribute-rgt-in_binary64 |
| 8329× | sub-neg_binary64 |
| 57× | saturated |
| 9× | unsound |
| 36× | node limit |
Compiled 1762 to 1250 computations (29.1% saved)
Loading profile data...