Date:Friday, May 5th, 2023
Commit:ced00d44 on ffi-gc
Hostname:nightly with Racket 8.6
Seed:2023125
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: 6.3min)

sample1.5min (24.2%)

Results
46.5s297068×body256valid
19.0s14923×body2048valid
12.2s21672×body1024valid
5.5s19271×body256infinite
3.9s12190×body512valid
1.8s202×body8192exit
608.0ms899×body4096valid
371.0ms2907×body256invalid
148.0ms205×body1024infinite
109.0ms285×body512infinite
102.0ms445×body256unsamplable
22.0ms21×body2048infinite
Bogosity

eval1.2min (18.4%)

Compiler

Compiled 3254497 to 1879103 computations (42.3% saved)

simplify55.7s (14.8%)

Algorithm
482×egg-herbie
Rules
249216×associate-*r*
247850×distribute-lft-in
240396×*-commutative
230566×associate-/l*
218470×associate-*l*
Stop Event
13×done
1×unsound
59×saturated
29×fuel
422×node limit
Counts
67179 → 83666
Compiler

Compiled 8062 to 5009 computations (37.9% saved)

rewrite39.7s (10.5%)

Algorithm
398×batch-egg-rewrite
3×egg-rewrite-iter-limit
7×egg-rewrite
Rules
291608×add-sqr-sqrt
285760×*-un-lft-identity
269294×add-cube-cbrt
260894×add-cbrt-cube
154434×add-exp-log
Stop Event
3×iter limit
405×node limit
Counts
910 → 48484

prune36.2s (9.6%)

Counts
102174 → 2350
Compiler

Compiled 71835 to 48126 computations (33% saved)

regimes33.0s (8.8%)

Counts
4853 → 521
Calls

94 calls:

7.0s
a
5.2s
c
4.1s
b
2.5s
d
1.2s
x
Compiler

Compiled 80825 to 44690 computations (44.7% saved)

localize14.4s (3.8%)

Compiler

Compiled 31417 to 17677 computations (43.7% saved)

analyze10.6s (2.8%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
6.4%3.5%51%45.5%0%0%0%1
6.4%3.5%51%45.5%0%0%0%2
20.5%10.9%42.4%45.5%0%1.2%0%3
26.9%14.3%38.7%45.5%0%1.5%0%4
34.9%18.2%34%45.6%0.6%1.7%0%5
38.2%19.4%31.4%45.6%1.9%1.7%0%6
44.8%22%27.2%45.6%3%2.2%0%7
48.2%23.4%25.2%45.7%3.6%2.2%0.1%8
52.7%25%22.5%45.7%4.1%2.5%0.1%9
57.3%26.9%20%45.7%4.5%2.7%0.2%10
61%28.3%18%45.7%4.9%2.8%0.2%11
64.7%29.7%16.2%45.7%5.2%2.9%0.3%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

bsearch9.6s (2.6%)

Algorithm
277×binary-search
8×left-value
Stop Event
271×narrow-enough
6×predicate-same
Results
6.3s31980×body256valid
973.0ms1821×body1024valid
465.0ms537×body2048valid
381.0ms1404×body512valid
270.0ms2069×body256invalid
268.0ms429×body1024infinite
238.0ms1110×body256infinite
116.0ms317×body512infinite
1.0ms2×body4096valid
Compiler

Compiled 81468 to 55392 computations (32% saved)

soundness7.7s (2%)

Algorithm
59×egg-herbie
Rules
39762×fma-def
33112×*-commutative
32570×associate-*r*
30364×distribute-lft-in
29020×+-commutative
Stop Event
5×saturated
54×node limit
Compiler

Compiled 6530 to 4133 computations (36.7% saved)

end4.0s (1.1%)

Compiler

Compiled 7734 to 4092 computations (47.1% saved)

series2.8s (0.7%)

Counts
910 → 18653
Calls

5040 calls:

TimeVariablePointExpression
113.0ms
t
@0
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 3) 3)
96.0ms
x
@-inf
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 (pow.f64 x 5) 3)) (+.f64 (pow.f64 (*.f64 x (+.f64 eps x)) 5) (+.f64 (pow.f64 x 10) (pow.f64 (+.f64 eps x) 10))))
85.0ms
eps
@inf
(/.f64 (-.f64 (pow.f64 (+.f64 eps x) 15) (pow.f64 (pow.f64 x 5) 3)) (+.f64 (pow.f64 (*.f64 x (+.f64 eps x)) 5) (+.f64 (pow.f64 x 10) (pow.f64 (+.f64 eps x) 10))))
49.0ms
t
@-inf
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 3) 3)
48.0ms
t
@0
(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 9)

preprocess2.7s (0.7%)

Algorithm
84×egg-herbie
Rules
23512×fma-def
17930×distribute-lft-in
17024×*-commutative
15010×+-commutative
14462×distribute-rgt-in
Stop Event
5×unsound
54×saturated
25×node limit
Compiler

Compiled 913 to 679 computations (25.6% saved)

Profiling

Loading profile data...