Date:Tuesday, January 17th, 2023
Commit:1495798a on main
Hostname:nightly with Racket 8.6
Seed:2023017
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.1min)

eval17.1s (25%)

Compiler

Compiled 940883 to 552881 computations (41.2% saved)

sample12.7s (18.6%)

Results
9.6s70208×body256valid
2.0s4096×body2048valid
497.0ms2166×body256invalid
436.0ms2821×body256infinite
Bogosity

prune9.8s (14.3%)

Counts
21739 → 366
Compiler

Compiled 14815 to 10131 computations (31.6% saved)

simplify8.8s (12.8%)

Algorithm
86×egg-herbie
Rules
45180×associate-*r*
42124×associate-/l*
39244×distribute-lft-in
39018×*-commutative
37496×associate-*l*
Stop Event
1×unsound
15×saturated
3×done
6×fuel
70×node limit
Counts
11337 → 14583
Compiler

Compiled 2784 to 1738 computations (37.6% saved)

rewrite6.3s (9.2%)

Algorithm
68×batch-egg-rewrite
Rules
45350×add-sqr-sqrt
44478×*-un-lft-identity
41816×add-cube-cbrt
41492×add-cbrt-cube
28692×associate-/r*
Stop Event
68×node limit
Counts
141 → 8574

regimes3.8s (5.6%)

Counts
596 → 108
Calls

23 calls:

694.0ms
c
596.0ms
a
415.0ms
b
408.0ms
x
372.0ms
y
Compiler

Compiled 14995 to 8730 computations (41.8% saved)

localize2.8s (4.1%)

Compiler

Compiled 6681 to 3608 computations (46% saved)

soundness2.2s (3.2%)

Algorithm
15×egg-herbie
Rules
9962×fma-def
9896×associate-*r*
8626×associate-*l*
7860×associate-+r+
7282×associate-/l*
Stop Event
4×saturated
11×node limit
Compiler

Compiled 1798 to 1044 computations (41.9% saved)

analyze1.5s (2.1%)

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)

series1.0s (1.5%)

Counts
141 → 2754
Calls

894 calls:

TimeVariablePointExpression
244.0ms
a
@inf
(sqrt.f64 (-.f64 (*.f64 b b) (pow.f64 (cbrt.f64 (*.f64 4 (*.f64 a c))) 3)))
69.0ms
x
@0
(log.f64 (sqrt.f64 (exp.f64 x)))
32.0ms
c
@0
(pow.f64 (fma.f64 b b (*.f64 c (*.f64 a -4))) 1/4)
30.0ms
x
@-inf
(expm1.f64 (neg.f64 (log.f64 x)))
25.0ms
x
@-inf
(log.f64 (sqrt.f64 (exp.f64 x)))

end988.0ms (1.4%)

Compiler

Compiled 2707 to 1557 computations (42.5% saved)

bsearch837.0ms (1.2%)

Algorithm
43×binary-search
22×left-value
Results
653.0ms4752×body256valid
47.0ms322×body256infinite
17.0ms121×body256invalid
Compiler

Compiled 9730 to 6967 computations (28.4% saved)

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