Date:Tuesday, December 6th, 2022
Commit:758c3f52 on main
Hostname:nightly with Racket 8.6
Seed:2022340
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)

eval17.9s (26.2%)

Compiler

Compiled 1043937 to 591334 computations (43.4% saved)

sample13.5s (19.7%)

Results
10.3s70170×body256valid
1.9s4134×body2048valid
525.0ms2243×body256invalid
505.0ms2781×body256infinite
Bogosity

prune11.1s (16.3%)

Counts
24531 → 357
Compiler

Compiled 14270 to 9606 computations (32.7% saved)

simplify8.2s (11.9%)

Algorithm
85×egg-herbie
Rules
46868×associate-*r*
42022×associate-/l*
41226×*-commutative
40534×associate-*l*
40348×associate-/r*
Stop Event
15×saturated
3×done
6×fuel
70×node limit
Counts
12083 → 15351
Compiler

Compiled 1531 to 963 computations (37.1% saved)

rewrite5.9s (8.6%)

Algorithm
67×batch-egg-rewrite
Rules
40288×add-sqr-sqrt
39504×*-un-lft-identity
37200×add-cube-cbrt
36930×add-cbrt-cube
28970×associate-/r*
Stop Event
67×node limit
Counts
127 → 9010

regimes3.4s (5%)

Counts
499 → 106
Calls

23 calls:

635.0ms
a
481.0ms
c
413.0ms
x
392.0ms
y
363.0ms
z
Compiler

Compiled 11115 to 6204 computations (44.2% saved)

localize2.7s (3.9%)

Compiler

Compiled 6473 to 3375 computations (47.9% saved)

soundness1.5s (2.2%)

Algorithm
9×egg-herbie
Rules
5882×fma-def
5512×associate-/r*
5010×associate-*r*
4980×associate-+r+
4542×associate-*l*
Stop Event
3×saturated
6×node limit
Compiler

Compiled 1113 to 636 computations (42.9% saved)

analyze1.4s (2%)

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.2s (1.7%)

Algorithm
64×binary-search
4×left-value
Results
968.0ms7392×body256valid
84.0ms782×body256infinite
21.0ms142×body256invalid
Compiler

Compiled 11337 to 8223 computations (27.5% saved)

series593.0ms (0.9%)

Counts
127 → 3064
Calls

927 calls:

TimeVariablePointExpression
28.0ms
a
@0
(pow.f64 (fma.f64 b b (*.f64 (*.f64 a c) -4)) 1/4)
13.0ms
z
@0
(/.f64 1 (/.f64 (neg.f64 y) (*.f64 z x)))
10.0ms
b
@inf
(/.f64 (fma.f64 2 (/.f64 c (/.f64 b a)) (*.f64 b -2)) (*.f64 2 a))
9.0ms
a
@inf
(pow.f64 (cbrt.f64 (-.f64 (/.f64 c b) (/.f64 b a))) 3)
7.0ms
b
@0
(log1p.f64 (*.f64 c (/.f64 a b)))

end578.0ms (0.8%)

Compiler

Compiled 1463 to 785 computations (46.3% saved)

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