Date:Friday, March 31st, 2023
Commit:9a5a3e08 on main
Hostname:nightly with Racket 8.6
Seed:2023090
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.2min)

eval16.4s (23.3%)

Compiler

Compiled 944394 to 566304 computations (40% saved)

sample12.8s (18.2%)

Results
9.9s70122×body256valid
2.0s4182×body2048valid
383.0ms2862×body256infinite
340.0ms2125×body256invalid
Bogosity

prune10.6s (15.1%)

Counts
20969 → 381
Compiler

Compiled 16170 to 11180 computations (30.9% saved)

simplify7.6s (10.8%)

Algorithm
77×egg-herbie
Rules
41432×associate-*r*
35834×associate-/l*
34880×associate-*l*
33172×*-commutative
32372×associate-/r*
Stop Event
1×unsound
14×saturated
4×done
5×fuel
62×node limit
Counts
9819 → 12743
Compiler

Compiled 4030 to 2465 computations (38.8% saved)

regimes5.9s (8.4%)

Counts
841 → 154
Calls

23 calls:

1.3s
c
1.1s
a
727.0ms
b
678.0ms
x
434.0ms
z
Compiler

Compiled 20051 to 11581 computations (42.2% saved)

rewrite5.4s (7.6%)

Algorithm
59×batch-egg-rewrite
Rules
40080×add-sqr-sqrt
39308×*-un-lft-identity
37076×add-cube-cbrt
36790×add-cbrt-cube
28454×associate-/r*
Stop Event
59×node limit
Counts
111 → 7358

soundness3.6s (5.2%)

Algorithm
19×egg-herbie
Rules
16206×associate-*r*
13842×associate-*l*
11952×associate-+r+
11816×associate-/r*
10554×fma-def
Stop Event
4×saturated
15×node limit
Compiler

Compiled 2541 to 1562 computations (38.5% saved)

localize2.4s (3.4%)

Compiler

Compiled 5733 to 3247 computations (43.4% saved)

bsearch1.6s (2.3%)

Algorithm
72×binary-search
34×left-value
Stop Event
69×narrow-enough
3×predicate-same
Results
1.3s9584×body256valid
110.0ms735×body256invalid
46.0ms443×body256infinite
Compiler

Compiled 18141 to 13286 computations (26.8% saved)

end1.2s (1.8%)

Compiler

Compiled 3932 to 2231 computations (43.3% saved)

analyze1.1s (1.6%)

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)

series1.1s (1.6%)

Counts
111 → 2452
Calls

732 calls:

TimeVariablePointExpression
224.0ms
y
@0
(/.f64 (-.f64 x (*.f64 z x)) y)
59.0ms
c
@0
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 a))) (log.f64 (*.f64 -4 c)))))
52.0ms
c
@0
(pow.f64 (*.f64 c (*.f64 -4 a)) 1/4)
49.0ms
c
@-inf
(pow.f64 (*.f64 c (*.f64 -4 a)) 1/4)
49.0ms
b
@0
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

preprocess537.0ms (0.8%)

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