Date:Thursday, June 8th, 2023
Commit:c9f3a8c9 on fix-demo-timeline
Hostname:nightly with Racket 8.6
Seed:2023159
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:simplifygenerate:proofs
default

Details

Time bar (total: 1.3min)

eval16.6s (21.6%)

Compiler

Compiled 778004 to 455018 computations (41.5% saved)

sample12.8s (16.6%)

Results
9.3s63030×body256valid
1.9s4143×body2048valid
1.1s7131×body256infinite
336.0ms1899×body256invalid
Bogosity

localize10.6s (13.8%)

Compiler

Compiled 6446 to 3476 computations (46.1% saved)

simplify9.0s (11.7%)

Algorithm
86×egg-herbie
Rules
64016×fma-def
37332×unswap-sqr
32572×times-frac
31668×log-prod
31586×fma-neg
Stop Event
15×saturated
4×done
5×fuel
71×node limit
Counts
11217 → 13697
Compiler

Compiled 2296 to 1374 computations (40.2% saved)

prune7.9s (10.3%)

Counts
20511 → 368
Compiler

Compiled 14425 to 9774 computations (32.2% saved)

rewrite6.3s (8.2%)

Algorithm
67×batch-egg-rewrite
Rules
60910×log-prod
47734×fma-def
35752×prod-diff
35226×pow1
33088×add-exp-log
Stop Event
67×node limit
Counts
140 → 8208

soundness6.2s (8.1%)

Rules
40450×fma-def
23872×fma-neg
18384×log-prod
15042×unswap-sqr
14068×times-frac
Stop Event
5×saturated
34×node limit
Compiler

Compiled 4522 to 2552 computations (43.6% saved)

regimes3.4s (4.4%)

Counts
528 → 90
Calls

19 calls:

815.0ms
a
716.0ms
c
513.0ms
b
194.0ms
x
188.0ms
z
Compiler

Compiled 12487 to 6915 computations (44.6% saved)

bsearch1.1s (1.5%)

Algorithm
40×binary-search
16×left-value
Stop Event
38×narrow-enough
2×predicate-same
Results
660.0ms4497×body256valid
323.0ms623×body256infinite
81.0ms535×body256invalid
Compiler

Compiled 10835 to 7702 computations (28.9% saved)

end979.0ms (1.3%)

Compiler

Compiled 4768 to 2632 computations (44.8% saved)

series734.0ms (1%)

Counts
140 → 3000
Calls

948 calls:

TimeVariablePointExpression
42.0ms
c
@0
(+.f64 b (pow.f64 (pow.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)) 1/4) 2))
36.0ms
x
@0
(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))
25.0ms
c
@0
(/.f64 (-.f64 (*.f64 c (*.f64 a -4)) (*.f64 b (+.f64 b b))) (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))))
23.0ms
x
@0
(*.f64 x (+.f64 x -1))
20.0ms
a
@inf
(*.f64 c (/.f64 -2 (-.f64 b (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4)))))))

preprocess643.0ms (0.8%)

Algorithm
18×egg-herbie
Rules
8158×fma-def
4716×div-sub
3918×associate-/r*
3722×times-frac
3438×associate-/l*
Stop Event
1×unsound
13×saturated
4×node limit
Compiler

Compiled 169 to 118 computations (30.2% saved)

analyze549.0ms (0.7%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
67.2%56.9%27.7%0.1%0%15.3%0%5
74.4%62.4%21.5%0.1%0%16%0%6
78.9%64.9%17.3%0.1%0%17.7%0%7
80.8%66.3%15.8%0.1%0%17.9%0%8
85.9%69.9%11.5%0.1%0%18.5%0%9
88%70.7%9.7%0.1%0%19.6%0%10
90%72.1%8%0.1%0%19.8%0%11
92.3%73.5%6.2%0.1%0%20.3%0%12
Compiler

Compiled 161 to 110 computations (31.7% saved)

Profiling

Loading profile data...