Date:Wednesday, January 18th, 2023
Commit:fcdb6f71 on main
Hostname:nightly with Racket 8.6
Seed:2023018
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.6s (26.4%)

Compiler

Compiled 995949 to 587810 computations (41% saved)

sample12.9s (18.3%)

Results
9.9s70164×body256valid
1.8s4140×body2048valid
626.0ms2751×body256infinite
367.0ms2060×body256invalid
Bogosity

prune10.3s (14.6%)

Counts
23285 → 342
Compiler

Compiled 13653 to 9378 computations (31.3% saved)

simplify9.2s (13.1%)

Algorithm
83×egg-herbie
Rules
48732×associate-*r*
43410×associate-*l*
39442×*-commutative
38878×associate-+r+
38254×associate-/l*
Stop Event
15×saturated
4×done
5×fuel
68×node limit
Counts
11341 → 15326
Compiler

Compiled 2436 to 1509 computations (38.1% saved)

rewrite6.4s (9.2%)

Algorithm
65×batch-egg-rewrite
Rules
39268×add-sqr-sqrt
38532×*-un-lft-identity
36242×add-cube-cbrt
35968×add-cbrt-cube
26086×associate-/r/
Stop Event
65×node limit
Counts
122 → 8513

regimes3.6s (5.1%)

Counts
512 → 112
Calls

23 calls:

1.1s
a
571.0ms
c
364.0ms
z
348.0ms
b
234.0ms
x
Compiler

Compiled 11613 to 6876 computations (40.8% saved)

localize3.1s (4.4%)

Compiler

Compiled 6239 to 3497 computations (43.9% saved)

soundness2.0s (2.8%)

Algorithm
11×egg-herbie
Rules
7980×associate-+r+
7612×associate-*r*
6586×associate-*l*
6114×associate-/l*
6018×associate-/r*
Stop Event
3×saturated
8×node limit
Compiler

Compiled 800 to 427 computations (46.6% saved)

analyze1.1s (1.6%)

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)

end890.0ms (1.3%)

Compiler

Compiled 2353 to 1314 computations (44.2% saved)

bsearch861.0ms (1.2%)

Algorithm
48×binary-search
20×left-value
Results
704.0ms6000×body256valid
42.0ms352×body256infinite
29.0ms193×body256invalid
Compiler

Compiled 8962 to 6753 computations (24.6% saved)

series855.0ms (1.2%)

Counts
122 → 2819
Calls

834 calls:

TimeVariablePointExpression
51.0ms
c
@0
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 4 c)) (*.f64 -1 (log.f64 (/.f64 -1 a))))))
49.0ms
z
@-inf
(fma.f64 x (/.f64 z y) (/.f64 (-.f64 -4 x) y))
47.0ms
a
@0
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 a))) (log.f64 (*.f64 -4 c)))))
31.0ms
x
@0
(expm1.f64 (neg.f64 (log.f64 x)))
27.0ms
a
@0
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 4 c)) (*.f64 -1 (log.f64 (/.f64 -1 a))))))

preprocess577.0ms (0.8%)

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