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: 1.5min)

eval25.6s (29.2%)

Compiler

Compiled 988056 to 568656 computations (42.4% saved)

sample14.0s (15.9%)

Results
10.6s70161×body256valid
2.3s4143×body2048valid
459.0ms2035×body256invalid
452.0ms2748×body256infinite
Bogosity

prune13.4s (15.3%)

Counts
22254 → 393
Compiler

Compiled 16910 to 11475 computations (32.1% saved)

simplify9.7s (11.1%)

Algorithm
75×egg-herbie
Rules
43560×associate-*r*
37318×associate-*l*
35926×associate-+r+
33416×associate-/l*
33070×associate-*r/
Stop Event
16×saturated
4×done
5×fuel
59×node limit
Counts
11951 → 14885
Compiler

Compiled 2510 to 1556 computations (38% saved)

rewrite9.4s (10.7%)

Algorithm
57×batch-egg-rewrite
Rules
35234×add-sqr-sqrt
34604×*-un-lft-identity
32560×add-cube-cbrt
30908×add-cbrt-cube
25020×associate-/l*
Stop Event
57×node limit
Counts
121 → 8911

regimes4.8s (5.4%)

Counts
682 → 109
Calls

23 calls:

881.0ms
c
733.0ms
a
586.0ms
b
559.0ms
y
513.0ms
z
Compiler

Compiled 15203 to 8234 computations (45.8% saved)

localize3.5s (4%)

Compiler

Compiled 5949 to 3217 computations (45.9% saved)

soundness2.4s (2.7%)

Rules
9832×associate-*r*
8230×associate-/r*
8180×associate-*l*
7660×associate-+r+
7560×associate-/l*
Stop Event
2×saturated
12×node limit
Compiler

Compiled 1813 to 1120 computations (38.2% saved)

bsearch1.3s (1.5%)

Algorithm
51×binary-search
21×left-value
Stop Event
48×narrow-enough
3×predicate-same
Results
1.1s6352×body256valid
48.0ms271×body256invalid
30.0ms184×body256infinite
Compiler

Compiled 10608 to 7820 computations (26.3% saved)

analyze1.3s (1.4%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%94.4%0.1%0%5.6%0%2
6.3%5.6%83.2%0.1%0%11.1%0%3
18.3%15.3%68%0.1%2.8%13.9%0%4
26.7%21.5%59%0.1%4.2%15.3%0%5
33.8%26.7%52.4%0.1%4.9%16%0%6
46.4%35.7%41.3%0.1%5.2%17.7%0%7
52.1%39.9%36.8%0.1%5.4%17.9%0%8
59.4%45.1%30.8%0.1%5.6%18.5%0%9
67.1%50.1%24.6%0.1%5.7%19.6%0%10
72.1%53.5%20.7%0.1%5.9%19.8%0%11
76.6%56.1%17.2%0.1%6.4%20.3%0%12
Compiler

Compiled 161 to 110 computations (31.7% saved)

end926.0ms (1.1%)

Compiler

Compiled 2438 to 1383 computations (43.3% saved)

series899.0ms (1%)

Counts
121 → 3031
Calls

873 calls:

TimeVariablePointExpression
67.0ms
a
@0
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 a 4)) (log.f64 (/.f64 -1 c))) 1/2))
38.0ms
c
@0
(pow.f64 (*.f64 c (*.f64 -4 a)) 1/4)
38.0ms
c
@-inf
(pow.f64 (*.f64 c (*.f64 -4 a)) 1/4)
36.0ms
x
@-inf
(/.f64 (-.f64 (*.f64 (/.f64 (/.f64 y z) x) (+.f64 x 4)) y) (*.f64 y (/.f64 (/.f64 y z) x)))
31.0ms
c
@0
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 a 4)) (log.f64 (/.f64 -1 c))) 1/2))

preprocess573.0ms (0.7%)

Algorithm
18×egg-herbie
Rules
4834×associate-/r*
4092×associate-/l*
3528×fma-def
3160×associate-*l*
2760×*-commutative
Stop Event
1×unsound
13×saturated
4×node limit
Compiler

Compiled 169 to 118 computations (30.2% saved)

Profiling

Loading profile data...