Date:Sunday, May 21st, 2023
Commit:7039a485 on odyssey-paper
Hostname:nightly with Racket 8.6
Seed:2023141
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)

eval15.5s (23.1%)

Compiler

Compiled 879697 to 501743 computations (43% saved)

sample13.2s (19.7%)

Results
10.1s70191×body256valid
2.0s4113×body2048valid
675.0ms2752×body256infinite
326.0ms2089×body256invalid
Bogosity

prune9.4s (14%)

Counts
20553 → 367
Compiler

Compiled 15260 to 10367 computations (32.1% saved)

simplify7.5s (11.2%)

Algorithm
74×egg-herbie
Rules
42088×associate-*r*
36942×associate-/l*
35922×associate-*l*
33886×*-commutative
33878×associate-/r*
Stop Event
1×unsound
15×saturated
5×done
4×fuel
58×node limit
Counts
10632 → 13790
Compiler

Compiled 2876 to 1775 computations (38.3% saved)

rewrite5.4s (8.1%)

Algorithm
56×batch-egg-rewrite
Rules
33958×add-sqr-sqrt
33354×*-un-lft-identity
31332×add-cube-cbrt
31104×add-cbrt-cube
29216×associate-/r*
Stop Event
56×node limit
Counts
110 → 7913

regimes4.9s (7.3%)

Counts
812 → 127
Calls

19 calls:

1.3s
c
1.1s
a
898.0ms
b
360.0ms
x
191.0ms
z
Compiler

Compiled 20361 to 11325 computations (44.4% saved)

soundness2.8s (4.2%)

Algorithm
17×egg-herbie
Rules
13710×associate-*r*
11952×associate-*l*
11070×associate-+r+
10710×associate-/l*
10168×associate-+l+
Stop Event
3×saturated
14×node limit
Compiler

Compiled 2643 to 1551 computations (41.3% saved)

localize2.6s (4%)

Compiler

Compiled 5555 to 2988 computations (46.2% saved)

bsearch1.7s (2.5%)

Algorithm
72×binary-search
16×left-value
Stop Event
69×narrow-enough
3×predicate-same
Results
1.3s9344×body256valid
166.0ms1089×body256invalid
47.0ms406×body256infinite
Compiler

Compiled 21247 to 15105 computations (28.9% saved)

analyze1.5s (2.3%)

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.4s (2.1%)

Compiler

Compiled 2795 to 1560 computations (44.2% saved)

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

series525.0ms (0.8%)

Counts
110 → 2710
Calls

822 calls:

TimeVariablePointExpression
33.0ms
a
@inf
(-.f64 (pow.f64 (pow.f64 (fma.f64 b b (*.f64 a (*.f64 c -4))) 1/4) 2) b)
28.0ms
b
@inf
(/.f64 (*.f64 c -2) (/.f64 b a))
24.0ms
a
@inf
(/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
18.0ms
z
@inf
(/.f64 (-.f64 x (*.f64 x z)) y)
11.0ms
b
@0
(*.f64 c (/.f64 2 (fma.f64 2 (pow.f64 (sqrt.f64 (*.f64 a (/.f64 c b))) 2) (*.f64 b -2))))

Profiling

Loading profile data...