Date:Monday, April 3rd, 2023
Commit:326c2557 on Aditya-Branch
Hostname:nightly with Racket 8.6
Seed:2023093
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: 2.0min)

eval30.2s (24.6%)

Compiler

Compiled 894363 to 507889 computations (43.2% saved)

prune19.3s (15.7%)

Counts
22175 → 402
Compiler

Compiled 16169 to 10938 computations (32.4% saved)

sample18.4s (15%)

Results
14.4s70280×body256valid
2.5s4024×body2048valid
769.0ms2795×body256infinite
574.0ms2055×body256invalid
Bogosity

simplify15.8s (12.8%)

Algorithm
82×egg-herbie
Rules
43430×associate-/l*
42280×associate-*r*
40622×*-commutative
36452×associate-*l*
36094×distribute-lft-in
Stop Event
14×saturated
4×done
5×fuel
68×node limit
Counts
11637 → 15566
Compiler

Compiled 3456 to 2099 computations (39.3% saved)

regimes11.5s (9.4%)

Counts
945 → 152
Calls

19 calls:

2.8s
c
2.6s
a
1.6s
b
998.0ms
x
671.0ms
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)) (/.f64 (*.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
Compiler

Compiled 21924 to 11560 computations (47.3% saved)

rewrite10.8s (8.8%)

Algorithm
64×batch-egg-rewrite
Rules
36826×add-sqr-sqrt
36108×*-un-lft-identity
33998×add-cube-cbrt
33758×add-cbrt-cube
30188×associate-/r*
Stop Event
64×node limit
Counts
129 → 8813

localize4.2s (3.4%)

Compiler

Compiled 5498 to 2938 computations (46.6% saved)

soundness3.8s (3.1%)

Algorithm
17×egg-herbie
Rules
11064×associate-*r*
10216×associate-+r+
9668×fma-def
9584×associate-/r*
9140×associate-*l*
Stop Event
3×saturated
14×node limit
Compiler

Compiled 2248 to 1314 computations (41.5% saved)

bsearch2.7s (2.2%)

Algorithm
86×binary-search
22×left-value
Stop Event
75×narrow-enough
11×predicate-same
Results
2.1s9952×body256valid
197.0ms827×body256invalid
175.0ms575×body256infinite
Compiler

Compiled 20905 to 14759 computations (29.4% saved)

analyze2.2s (1.8%)

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)

end1.8s (1.5%)

Compiler

Compiled 3357 to 1819 computations (45.8% saved)

series1.2s (1%)

Counts
129 → 2815
Calls

867 calls:

TimeVariablePointExpression
160.0ms
c
@-inf
(*.f64 c (/.f64 -2 (fma.f64 -2 (*.f64 (/.f64 c b) a) (*.f64 b 2))))
62.0ms
c
@-inf
(pow.f64 (*.f64 c (*.f64 a -4)) 1/4)
60.0ms
b
@inf
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
39.0ms
c
@-inf
(pow.f64 (fma.f64 b b (*.f64 c (*.f64 a -4))) 1/4)
33.0ms
c
@0
(pow.f64 (*.f64 c (*.f64 a -4)) 1/4)

preprocess884.0ms (0.7%)

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...