Date:Friday, November 25th, 2022
Commit:cf54083d on main
Hostname:nightly with Racket 8.6
Seed:2022329
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: 59.4s)

eval14.4s (24.2%)

Compiler

Compiled 848761 to 495963 computations (41.6% saved)

sample12.3s (20.7%)

Results
9.6s70133×body256valid
1.7s4171×body2048valid
414.0ms2753×body256infinite
414.0ms1934×body256invalid
Bogosity

prune9.0s (15.1%)

Counts
20650 → 394
Compiler

Compiled 15082 to 10148 computations (32.7% saved)

simplify6.3s (10.7%)

Algorithm
82×egg-herbie
Rules
27912×fma-def_binary64
23070×fma-neg_binary64
16880×times-frac_binary64
15664×distribute-rgt-in_binary64
15371×associate-/l*_binary64
Stop Event
1×unsound
15×saturated
4×done
5×fuel
66×node limit
Counts
9274 → 11870
Compiler

Compiled 3220 to 1954 computations (39.3% saved)

regimes4.3s (7.3%)

Counts
776 → 111
Calls

23 calls:

936.0ms
c
930.0ms
a
624.0ms
b
325.0ms
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)) (/.f64 (*.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
231.0ms
x
Compiler

Compiled 18531 to 9784 computations (47.2% saved)

rewrite4.1s (7%)

Algorithm
64×batch-egg-rewrite
Rules
23319×log-prod_binary64
20121×pow1_binary64
18935×add-log-exp_binary64
18924×expm1-log1p-u_binary64
18922×log1p-expm1-u_binary64
Stop Event
64×node limit
Counts
120 → 6723

localize2.6s (4.4%)

Compiler

Compiled 6367 to 3346 computations (47.4% saved)

soundness1.9s (3.2%)

Algorithm
16×egg-herbie
Rules
9182×fma-def_binary64
7283×fma-neg_binary64
5521×times-frac_binary64
4687×associate-/l*_binary64
3771×associate-/r*_binary64
Stop Event
3×saturated
13×node limit
Compiler

Compiled 5052 to 3416 computations (32.4% saved)

series1.2s (2%)

Counts
120 → 2542
Calls

816 calls:

TimeVariablePointExpression
69.0ms
c
@0
(pow.f64 (E.f64) (*.f64 1/2 (log.f64 (neg.f64 c))))
52.0ms
a
@0
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 a 4)) (log.f64 (/.f64 -1 c))) 1/2))
49.0ms
a
@0
(/.f64 (-.f64 (*.f64 c (*.f64 a -4)) (*.f64 b (+.f64 b b))) (-.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))))
46.0ms
x
@0
(exp.f64 (+.f64 x 1))
44.0ms
x
@inf
(cbrt.f64 (cbrt.f64 (exp.f64 (fma.f64 x x -1))))

analyze1.2s (2%)

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)

end1.0s (1.7%)

Compiler

Compiled 3135 to 1770 computations (43.5% saved)

bsearch560.0ms (0.9%)

Algorithm
36×binary-search
30×left-value
Results
468.0ms3920×body256valid
17.0ms135×body256infinite
15.0ms90×body256invalid
Compiler

Compiled 6022 to 4440 computations (26.3% saved)

preprocess528.0ms (0.9%)

Algorithm
18×egg-herbie
Rules
2992×fma-neg_binary64
2715×fma-def_binary64
2317×div-sub_binary64
2137×associate-/l*_binary64
1898×times-frac_binary64
Stop Event
1×unsound
13×saturated
4×node limit
Compiler

Compiled 169 to 118 computations (30.2% saved)

Profiling

Loading profile data...