Date:Thursday, May 18th, 2023
Commit:5c5cbfdd on main
Hostname:nightly with Racket 8.6
Seed:2023138
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: 9.8min)

soundness2.3min (23.8%)

Rules
46722×distribute-lft-in
41430×*-commutative
38396×associate-/l*
34864×associate-*r*
34316×associate-/r*
Stop Event
6×saturated
93×node limit
Results
Compiler

Compiled 11547 to 6691 computations (42.1% saved)

sample1.6min (16.3%)

Results
49.7s296696×body256valid
20.2s14923×body2048valid
12.3s21887×body1024valid
5.8s19104×body256infinite
4.2s12382×body512valid
1.5s202×body8192exit
864.0ms864×body4096valid
747.0ms2907×body256invalid
178.0ms193×body1024infinite
160.0ms243×body512infinite
70.0ms429×body256unsamplable
23.0ms17×body2048infinite
Bogosity

eval1.4min (14.5%)

Compiler

Compiled 3929550 to 2226888 computations (43.3% saved)

rewrite1.1min (10.8%)

Algorithm
431×batch-egg-rewrite
Rules
309894×add-sqr-sqrt
303820×*-un-lft-identity
284974×add-cube-cbrt
276688×add-cbrt-cube
159452×add-exp-log
Stop Event
431×node limit
Counts
998 → 54448

simplify1.0min (10.4%)

Algorithm
515×egg-herbie
Rules
274550×associate-*r*
260884×*-commutative
259248×distribute-lft-in
255434×associate-/l*
239736×associate-*l*
Stop Event
3×unsound
10×done
60×saturated
32×fuel
452×node limit
Counts
75108 → 93896
Compiler

Compiled 9124 to 5656 computations (38% saved)

prune49.3s (8.4%)

Counts
120559 → 2476
Compiler

Compiled 81034 to 53605 computations (33.8% saved)

regimes41.4s (7%)

Counts
5946 → 615
Calls

94 calls:

6.5s
a
6.1s
b
5.1s
c
4.0s
d
1.5s
x
Compiler

Compiled 100212 to 54962 computations (45.2% saved)

localize17.0s (2.9%)

Compiler

Compiled 35624 to 19717 computations (44.7% saved)

bsearch12.4s (2.1%)

Algorithm
311×binary-search
32×left-value
Stop Event
300×narrow-enough
11×predicate-same
Results
6.4s30942×body256valid
1.5s2282×body1024valid
934.0ms1168×body1024infinite
725.0ms1924×body512valid
572.0ms557×body2048valid
555.0ms2166×body256infinite
463.0ms3261×body256invalid
315.0ms683×body512infinite
4.0ms7×body4096valid
Compiler

Compiled 65215 to 46372 computations (28.9% saved)

analyze11.6s (2%)

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)

end4.3s (0.7%)

Compiler

Compiled 8138 to 4219 computations (48.2% saved)

series3.3s (0.6%)

Counts
998 → 20618
Calls

5610 calls:

TimeVariablePointExpression
73.0ms
a
@0
(log.f64 (*.f64 -2 (/.f64 a (/.f64 b c))))
68.0ms
a
@0
(/.f64 (fma.f64 a c (*.f64 b d)) (fma.f64 c c (*.f64 d d)))
65.0ms
eps
@inf
(+.f64 (*.f64 (exp.f64 (-.f64 (*.f64 x eps) x)) (+.f64 1 (/.f64 1 eps))) (/.f64 (+.f64 1 (/.f64 -1 eps)) (exp.f64 (fma.f64 x eps x))))
51.0ms
b
@inf
(*.f64 (/.f64 1 (hypot.f64 c d)) (+.f64 (/.f64 b (/.f64 (hypot.f64 c d) d)) (/.f64 (*.f64 c a) (hypot.f64 c d))))
47.0ms
x
@0
(/.f64 (-.f64 (*.f64 1/4 (*.f64 x x)) 1) (-.f64 (*.f64 1/2 x) 1))

preprocess2.9s (0.5%)

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