Date:Monday, May 1st, 2023
Commit:e093b807 on main
Hostname:nightly with Racket 8.6
Seed:2023121
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.4min)

sample1.6min (24.5%)

Results
48.3s297000×body256valid
19.6s15052×body2048valid
12.3s21693×body1024valid
5.4s18988×body256infinite
3.9s12126×body512valid
1.7s202×body8192exit
767.0ms881×body4096valid
444.0ms2905×body256invalid
132.0ms205×body1024infinite
95.0ms403×body256unsamplable
89.0ms240×body512infinite
24.0ms22×body2048infinite
Bogosity

eval1.2min (18.6%)

Compiler

Compiled 3596353 to 2058603 computations (42.8% saved)

simplify54.9s (14.4%)

Algorithm
487×egg-herbie
Rules
259640×associate-*r*
241550×*-commutative
238428×associate-/l*
228912×associate-*l*
227526×distribute-lft-in
Stop Event
10×done
2×unsound
58×saturated
32×fuel
427×node limit
Counts
70015 → 87734
Compiler

Compiled 6944 to 4420 computations (36.3% saved)

rewrite41.1s (10.7%)

Algorithm
403×batch-egg-rewrite
13×egg-rewrite
5×egg-rewrite-iter-limit
Rules
308706×add-sqr-sqrt
302568×*-un-lft-identity
285062×add-cube-cbrt
276354×add-cbrt-cube
159206×add-exp-log
Stop Event
5×iter limit
416×node limit
Counts
940 → 50658

prune40.5s (10.6%)

Counts
110089 → 2350
Compiler

Compiled 71218 to 47812 computations (32.9% saved)

regimes29.4s (7.7%)

Counts
4436 → 491
Calls

91 calls:

6.5s
a
3.9s
c
3.4s
b
1.8s
d
1.8s
v
Compiler

Compiled 73377 to 41538 computations (43.4% saved)

localize14.7s (3.9%)

Compiler

Compiled 30992 to 17441 computations (43.7% saved)

analyze11.4s (3%)

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)

soundness7.8s (2%)

Algorithm
58×egg-herbie
Rules
36238×fma-def
35086×associate-*r*
32460×*-commutative
30644×+-commutative
28288×associate-*l*
Stop Event
5×saturated
53×node limit
Compiler

Compiled 7479 to 4938 computations (34% saved)

bsearch7.4s (1.9%)

Algorithm
257×binary-search
8×left-value
Stop Event
250×narrow-enough
7×predicate-same
Results
5.3s28455×body256valid
643.0ms1593×body1024valid
256.0ms972×body256infinite
254.0ms952×body512valid
225.0ms2292×body256invalid
153.0ms274×body2048valid
3.0ms6×body4096valid
Compiler

Compiled 57701 to 40508 computations (29.8% saved)

end3.9s (1%)

Compiler

Compiled 6614 to 3624 computations (45.2% saved)

series3.5s (0.9%)

Counts
940 → 19315
Calls

5388 calls:

TimeVariablePointExpression
104.0ms
eps
@0
(*.f64 5 (log.f64 eps))
73.0ms
a
@0
(pow.f64 (*.f64 c (*.f64 a -4)) 3/2)
64.0ms
w
@-inf
(/.f64 w (/.f64 (-.f64 1 v) (*.f64 (+.f64 (*.f64 -1/4 v) 3/8) r)))
62.0ms
x2
@inf
(+.f64 (/.f64 (fma.f64 x1 (*.f64 x1 3) (-.f64 (*.f64 2 x2) x1)) (fma.f64 x1 x1 1)) -3)
54.0ms
t
@-inf
(*.f64 (pow.f64 (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (cbrt.f64 (sqrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))) 2) (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))

preprocess2.8s (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...