Date:Thursday, March 30th, 2023
Commit:9a5a3e08 on main
Hostname:nightly with Racket 8.6
Seed:2023089
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: 1.1min)

eval14.3s (22.3%)

Compiler

Compiled 843468 to 487928 computations (42.2% saved)

sample12.4s (19.4%)

Results
9.3s70264×body256valid
1.9s4040×body2048valid
650.0ms2069×body256invalid
396.0ms2721×body256infinite
Bogosity

prune8.6s (13.5%)

Counts
19218 → 335
Compiler

Compiled 13350 to 9106 computations (31.8% saved)

simplify7.4s (11.5%)

Algorithm
74×egg-herbie
Rules
39132×associate-*r*
35590×associate-+r+
33360×associate-*l*
32386×associate-/l*
32302×associate-/r*
Stop Event
15×saturated
4×done
5×fuel
59×node limit
Counts
9945 → 12038
Compiler

Compiled 3024 to 1899 computations (37.2% saved)

rewrite5.5s (8.6%)

Algorithm
56×batch-egg-rewrite
Rules
38438×add-sqr-sqrt
37762×*-un-lft-identity
35496×add-cube-cbrt
35190×add-cbrt-cube
24916×add-exp-log
Stop Event
56×node limit
Counts
111 → 7081

regimes4.3s (6.7%)

Counts
659 → 126
Calls

23 calls:

984.0ms
c
956.0ms
a
809.0ms
b
233.0ms
y
211.0ms
z
Compiler

Compiled 15878 to 9500 computations (40.2% saved)

soundness3.7s (5.8%)

Algorithm
20×egg-herbie
Rules
13880×associate-*r*
12994×fma-def
12586×associate-/r*
11542×associate-/l*
11310×associate-*l*
Stop Event
2×saturated
18×node limit
Compiler

Compiled 2515 to 1466 computations (41.7% saved)

localize2.6s (4%)

Compiler

Compiled 5907 to 3168 computations (46.4% saved)

analyze1.5s (2.4%)

Algorithm
9×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%94.4%0.1%0%5.6%0%2
6.3%5.6%83.2%0.1%0%11.1%0%3
18.3%15.3%68%0.1%2.8%13.9%0%4
26.7%21.5%59%0.1%4.2%15.3%0%5
33.8%26.7%52.4%0.1%4.9%16%0%6
46.4%35.7%41.3%0.1%5.2%17.7%0%7
52.1%39.9%36.8%0.1%5.4%17.9%0%8
59.4%45.1%30.8%0.1%5.6%18.5%0%9
67.1%50.1%24.6%0.1%5.7%19.6%0%10
72.1%53.5%20.7%0.1%5.9%19.8%0%11
76.6%56.1%17.2%0.1%6.4%20.3%0%12
Compiler

Compiled 161 to 110 computations (31.7% saved)

bsearch1.5s (2.4%)

Algorithm
68×binary-search
16×left-value
Stop Event
66×narrow-enough
2×predicate-same
Results
1.1s7984×body256valid
201.0ms1232×body256invalid
46.0ms309×body256infinite
Compiler

Compiled 18729 to 13461 computations (28.1% saved)

end945.0ms (1.5%)

Compiler

Compiled 2942 to 1684 computations (42.8% saved)

series651.0ms (1%)

Counts
111 → 2855
Calls

843 calls:

TimeVariablePointExpression
47.0ms
c
@0
(-.f64 (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4)))) b)
36.0ms
a
@0
(log.f64 (*.f64 c (*.f64 -2 (/.f64 a b))))
25.0ms
c
@0
(log.f64 (*.f64 a (/.f64 c b)))
24.0ms
c
@0
(log.f64 (*.f64 c (*.f64 -2 (/.f64 a b))))
22.0ms
a
@0
(log.f64 (*.f64 a (/.f64 c b)))

preprocess585.0ms (0.9%)

Algorithm
18×egg-herbie
Rules
4834×associate-/r*
4092×associate-/l*
3528×fma-def
3160×associate-*l*
2760×*-commutative
Stop Event
1×unsound
13×saturated
4×node limit
Compiler

Compiled 169 to 118 computations (30.2% saved)

Profiling

Loading profile data...