Date:Friday, March 31st, 2023
Commit:40cc2e0b on Aditya-Branch
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: 6.6min)

sample1.5min (22.9%)

Results
46.5s296867×body256valid
19.2s14992×body2048valid
11.5s21763×body1024valid
5.4s19022×body256infinite
4.0s12275×body512valid
1.6s202×body8192exit
790.0ms855×body4096valid
341.0ms2985×body256invalid
153.0ms217×body1024infinite
116.0ms228×body512infinite
108.0ms440×body256unsamplable
19.0ms19×body2048infinite
Bogosity

eval1.3min (19.4%)

Compiler

Compiled 3744152 to 2127984 computations (43.2% saved)

simplify57.3s (14.5%)

Algorithm
497×egg-herbie
Rules
283846×associate-*r*
250356×*-commutative
246318×associate-*l*
241880×associate-/l*
234506×associate-/r*
Stop Event
13×done
58×saturated
29×fuel
439×node limit
Counts
75361 → 93775
Compiler

Compiled 8064 to 5046 computations (37.4% saved)

rewrite42.3s (10.7%)

Algorithm
413×batch-egg-rewrite
6×egg-rewrite-iter-limit
12×egg-rewrite
Rules
286890×add-sqr-sqrt
280948×*-un-lft-identity
264968×add-cube-cbrt
258000×add-cbrt-cube
151648×add-exp-log
Stop Event
6×iter limit
425×node limit
Counts
981 → 55440

prune42.2s (10.7%)

Counts
117581 → 2360
Compiler

Compiled 70590 to 47192 computations (33.1% saved)

regimes32.0s (8.1%)

Counts
4851 → 551
Calls

94 calls:

6.3s
a
5.2s
c
4.3s
b
2.9s
d
1.4s
x
Compiler

Compiled 78724 to 43148 computations (45.2% saved)

localize15.8s (4%)

Compiler

Compiled 34046 to 18930 computations (44.4% saved)

analyze10.5s (2.6%)

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

Algorithm
294×binary-search
12×left-value
Stop Event
280×narrow-enough
14×predicate-same
Results
5.8s33818×body256valid
794.0ms1365×body1024infinite
734.0ms1419×body1024valid
360.0ms1396×body512valid
346.0ms1574×body256infinite
309.0ms2448×body256invalid
253.0ms735×body512infinite
156.0ms247×body2048valid
6.0ms7×body2048infinite
Compiler

Compiled 73933 to 49908 computations (32.5% saved)

soundness8.6s (2.2%)

Algorithm
60×egg-herbie
Rules
36300×associate-*r*
35098×fma-def
33492×*-commutative
33088×associate-*l*
30564×+-commutative
Stop Event
6×saturated
54×node limit
Compiler

Compiled 6981 to 3928 computations (43.7% saved)

end4.1s (1%)

Compiler

Compiled 7726 to 4075 computations (47.3% saved)

series3.0s (0.8%)

Counts
981 → 19879
Calls

5418 calls:

TimeVariablePointExpression
64.0ms
x2
@-inf
(+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6)))
60.0ms
n
@0
(-.f64 (log.f64 i) (log.f64 n))
55.0ms
t
@0
(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 3)
50.0ms
a
@inf
(/.f64 1 (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))) b))
48.0ms
c
@inf
(/.f64 1/2 (/.f64 a (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))) b)))

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