Date:Saturday, May 27th, 2023
Commit:e9438722 on main
Hostname:nightly with Racket 8.6
Seed:2023147
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

Details

Time bar (total: 47.4min)

regimes12.2min (25.7%)

Counts
41173 → 7184
Calls

495 calls:

2.0min
x
1.9min
y
1.6min
z
1.3min
t
1.2min
a
Results
Compiler

Compiled 554674 to 293441 computations (47.1% saved)

sample8.5min (17.8%)

Results
5.3min2132648×body256valid
1.4min336681×body256infinite
32.1s136191×body256invalid
31.4s50745×body1024valid
15.1s35228×body512valid
8.5s10179×body2048valid
4.1s9185×body1024infinite
2.3s1554×body8192exit
1.6s5672×body512infinite
637.0ms320×body4096valid
241.0ms798×body1024invalid
189.0ms596×body512invalid
1.0ms1×body2048infinite
Bogosity

simplify5.8min (12.2%)

Algorithm
3276×egg-herbie
Rules
2524134×fma-def
1836746×log-prod
1315740×unswap-sqr
1306048×fma-neg
1191634×distribute-lft-in
Stop Event
9×unsound
67×done
441×saturated
202×fuel
2826×node limit
Counts
426230 → 426231
Compiler

Compiled 80683 to 47037 computations (41.7% saved)

rewrite4.3min (9.1%)

Algorithm
2737×batch-egg-rewrite
Rules
2130014×pow1
1980948×add-exp-log
1980164×log1p-expm1-u
1980116×expm1-log1p-u
1975310×log-prod
Stop Event
2×unsound
2735×node limit
Counts
5684 → 272863

eval4.2min (8.9%)

Compiler

Compiled 12255912 to 5870505 computations (52.1% saved)

soundness4.2min (8.8%)

Rules
1367974×fma-def
834600×log-prod
727538×fma-neg
603340×times-frac
561866×associate-*r*
Stop Event
153×saturated
5×unsound
1620×node limit
Compiler

Compiled 132531 to 73863 computations (44.3% saved)

prune2.5min (5.3%)

Counts
499301 → 15851
Compiler

Compiled 432889 to 306041 computations (29.3% saved)

bsearch2.0min (4.3%)

Algorithm
4711×binary-search
465×left-value
Stop Event
4625×narrow-enough
5×predicate-failed
81×predicate-same
Results
1.6min560656×body256valid
5.8s30332×body256infinite
4.0s6422×body1024valid
2.4s6746×body512valid
1.3s9490×body256invalid
133.0ms306×body2048valid
6.0ms18×body512infinite
1.0ms6×body1024infinite
0.0ms1×body4096valid
Compiler

Compiled 991241 to 725387 computations (26.8% saved)

analyze1.2min (2.5%)

Algorithm
270×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.7%0.1%0%0.2%0%2
5.7%5.6%93.3%0.1%0.2%0.7%0%3
8.5%8.3%89.2%0.1%1.2%1.2%0%4
16.6%16.1%80.8%0.1%1.6%1.4%0%5
21.4%20.4%74.8%0.1%2.7%2%0%6
30.2%28.1%64.9%0.1%4%2.8%0%7
35.6%32.7%59.4%0.1%4.5%3.3%0%8
41.9%38%52.7%0.1%5.4%3.7%0%9
47.4%42.3%46.9%0.1%6.4%4.3%0%10
52.3%46.1%42%0.1%7.1%4.6%0%11
56.4%49.2%38.1%0.1%7.7%4.9%0%12
Compiler

Compiled 4021 to 2770 computations (31.1% saved)

localize1.0min (2.1%)

Compiler

Compiled 126929 to 57749 computations (54.5% saved)

end36.7s (1.3%)

Compiler

Compiled 78694 to 36295 computations (53.9% saved)

series35.9s (1.3%)

Counts
5684 → 153097
Calls

39990 calls:

TimeVariablePointExpression
487.0ms
a
@inf
(/.f64 (*.f64 x y) (*.f64 (cbrt.f64 (-.f64 1 (*.f64 (/.f64 t z) (/.f64 a z)))) (cbrt.f64 (/.f64 (hypot.f64 z (sqrt.f64 (*.f64 a (neg.f64 t)))) z))))
481.0ms
x
@0
(/.f64 (+.f64 (*.f64 x y) (/.f64 z (/.f64 (+.f64 t a) (-.f64 (*.f64 t t) (*.f64 a a))))) y)
384.0ms
t
@0
(/.f64 (*.f64 (expm1.f64 z) y) t)
354.0ms
z
@0
(/.f64 (+.f64 (*.f64 x y) (/.f64 z (/.f64 (+.f64 t a) (-.f64 (*.f64 t t) (*.f64 a a))))) y)
308.0ms
x
@-inf
(-.f64 (log.f64 (neg.f64 x)) (log.f64 (neg.f64 y)))

preprocess21.6s (0.8%)

Algorithm
540×egg-herbie
Rules
268784×fma-def
112036×fma-neg
103534×sub-neg
90584×div-sub
79236×distribute-lft-in
Stop Event
59×unsound
353×saturated
128×node limit
Compiler

Compiled 4571 to 3320 computations (27.4% saved)

Profiling

Loading profile data...