Date:Wednesday, March 1st, 2023
Commit:b6e17b25 on asinh-taylor-bug
Hostname:nightly with Racket 8.6
Seed:2023060
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.2min)

eval18.5s (25.3%)

Compiler

Compiled 1062825 to 606243 computations (43% saved)

prune13.1s (17.9%)

Counts
25625 → 360
Compiler

Compiled 14558 to 9916 computations (31.9% saved)

sample12.3s (16.8%)

Results
9.6s70176×body256valid
1.7s4128×body2048valid
509.0ms2114×body256invalid
453.0ms2731×body256infinite
Bogosity

simplify9.9s (13.5%)

Algorithm
86×egg-herbie
Rules
47340×associate-*r*
43910×associate-/l*
41768×associate-*l*
41032×+-commutative
40882×associate-/r*
Stop Event
15×saturated
4×done
5×fuel
71×node limit
Counts
13791 → 18624
Compiler

Compiled 2579 to 1584 computations (38.6% saved)

rewrite7.0s (9.6%)

Algorithm
68×batch-egg-rewrite
Rules
39550×add-sqr-sqrt
38824×*-un-lft-identity
36556×add-cube-cbrt
36288×add-cbrt-cube
30276×associate-/r*
Stop Event
68×node limit
Counts
148 → 10181

regimes3.3s (4.5%)

Counts
614 → 95
Calls

19 calls:

619.0ms
a
614.0ms
c
482.0ms
b
222.0ms
x
219.0ms
y
Compiler

Compiled 14490 to 8136 computations (43.9% saved)

localize2.8s (3.9%)

Compiler

Compiled 6285 to 3351 computations (46.7% saved)

soundness1.5s (2.1%)

Algorithm
11×egg-herbie
Rules
7844×associate-/l*
7598×associate-+r+
7182×associate-/r*
7182×associate-*l*
6450×associate-*r*
Stop Event
3×saturated
8×node limit
Compiler

Compiled 1376 to 838 computations (39.1% saved)

analyze1.4s (1.9%)

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)

end941.0ms (1.3%)

Compiler

Compiled 2506 to 1405 computations (43.9% saved)

bsearch857.0ms (1.2%)

Algorithm
36×binary-search
21×left-value
Results
696.0ms4768×body256valid
62.0ms438×body256invalid
25.0ms191×body256infinite
Compiler

Compiled 9544 to 6809 computations (28.7% saved)

preprocess813.0ms (1.1%)

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)

series800.0ms (1.1%)

Counts
148 → 3601
Calls

1044 calls:

TimeVariablePointExpression
108.0ms
x
@0
(/.f64 (*.f64 (-.f64 1 z) x) y)
44.0ms
y
@-inf
(/.f64 (+.f64 4 (*.f64 z (neg.f64 x))) y)
37.0ms
x
@inf
(*.f64 (+.f64 x 1) (+.f64 x -1))
27.0ms
a
@-inf
(pow.f64 (*.f64 (*.f64 -4 a) c) 1/4)
26.0ms
a
@0
(pow.f64 (*.f64 (*.f64 -4 a) c) 1/4)

Profiling

Loading profile data...