Date:Saturday, May 20th, 2023
Commit:5c5cbfdd on main
Hostname:nightly with Racket 8.6
Seed:2023140
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.9min)

sample1.6min (23%)

Results
48.2s296879×body256valid
20.0s14986×body2048valid
13.5s21665×body1024valid
5.7s18810×body256infinite
4.1s12395×body512valid
1.6s202×body8192exit
652.0ms827×body4096valid
556.0ms3000×body256invalid
173.0ms244×body512infinite
142.0ms191×body1024infinite
75.0ms399×body256unsamplable
38.0ms26×body2048infinite
Bogosity

eval1.3min (18.3%)

Compiler

Compiled 3504853 to 2002986 computations (42.9% saved)

rewrite59.9s (14.5%)

Algorithm
399×batch-egg-rewrite
Rules
269050×add-sqr-sqrt
263548×*-un-lft-identity
248644×add-cube-cbrt
242330×add-cbrt-cube
147108×add-exp-log
Stop Event
399×node limit
Counts
901 → 50515

simplify58.7s (14.1%)

Algorithm
483×egg-herbie
Rules
257620×associate-*r*
244708×associate-/l*
241220×*-commutative
238788×distribute-lft-in
222766×associate-*l*
Stop Event
13×done
2×unsound
58×saturated
29×fuel
423×node limit
Counts
69337 → 87796
Compiler

Compiled 7779 to 4882 computations (37.2% saved)

prune38.5s (9.3%)

Counts
110145 → 2195
Compiler

Compiled 63979 to 43131 computations (32.6% saved)

regimes28.4s (6.8%)

Counts
4428 → 517
Calls

92 calls:

5.8s
a
4.3s
b
4.2s
c
1.6s
d
1.2s
v
Compiler

Compiled 77303 to 43225 computations (44.1% saved)

localize17.2s (4.1%)

Compiler

Compiled 33517 to 19017 computations (43.3% saved)

soundness11.4s (2.7%)

Rules
37620×distribute-lft-in
35004×*-commutative
32828×fma-def
32100×associate-/r*
30236×associate-*r*
Stop Event
6×saturated
75×node limit
Compiler

Compiled 8934 to 5034 computations (43.7% saved)

analyze11.1s (2.7%)

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)

bsearch8.4s (2%)

Algorithm
273×binary-search
9×left-value
Stop Event
259×narrow-enough
14×predicate-same
Results
5.5s30012×body256valid
682.0ms1156×body1024valid
614.0ms1069×body512valid
250.0ms1202×body256infinite
208.0ms248×body2048valid
165.0ms1238×body256invalid
96.0ms141×body1024infinite
27.0ms57×body512infinite
6.0ms11×body4096valid
Compiler

Compiled 68778 to 47322 computations (31.2% saved)

end3.8s (0.9%)

Compiler

Compiled 7445 to 4005 computations (46.2% saved)

series3.2s (0.8%)

Counts
901 → 18780
Calls

5148 calls:

TimeVariablePointExpression
108.0ms
w
@inf
(*.f64 (*.f64 1/4 w) r)
79.0ms
a
@0
(log1p.f64 (/.f64 (*.f64 c (neg.f64 (/.f64 a b))) a))
76.0ms
t
@-inf
(pow.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 3) 2)
74.0ms
t
@0
(*.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (*.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (cbrt.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))))
56.0ms
b
@0
(sqrt.f64 (+.f64 (*.f64 b b) (*.f64 a (*.f64 c -4))))

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