Date:Tuesday, March 14th, 2023
Commit:0a0aee13 on main
Hostname:nightly with Racket 8.6
Seed:2023073
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)

eval17.7s (25.1%)

Compiler

Compiled 1022906 to 596808 computations (41.7% saved)

sample13.7s (19.4%)

Results
10.0s70164×body256valid
2.3s4140×body2048valid
711.0ms1967×body256invalid
453.0ms2703×body256infinite
Bogosity

prune11.4s (16.2%)

Counts
22473 → 388
Compiler

Compiled 15963 to 10773 computations (32.5% saved)

simplify8.6s (12.2%)

Algorithm
77×egg-herbie
Rules
43476×associate-*r*
39206×associate-/l*
37104×associate-*l*
36222×associate-+r+
34608×*-commutative
Stop Event
15×saturated
3×done
6×fuel
62×node limit
Counts
11287 → 14792
Compiler

Compiled 2328 to 1411 computations (39.4% saved)

rewrite6.0s (8.5%)

Algorithm
59×batch-egg-rewrite
Rules
42912×add-sqr-sqrt
42176×*-un-lft-identity
39602×add-cube-cbrt
39290×add-cbrt-cube
28054×associate-/r*
Stop Event
59×node limit
Counts
121 → 8458

regimes3.9s (5.6%)

Counts
663 → 111
Calls

23 calls:

840.0ms
c
769.0ms
a
559.0ms
b
451.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))))))
292.0ms
x
Compiler

Compiled 14402 to 7769 computations (46.1% saved)

localize2.4s (3.4%)

Compiler

Compiled 5955 to 3271 computations (45.1% saved)

soundness2.1s (3%)

Algorithm
14×egg-herbie
Rules
10866×associate-*l*
10146×associate-/r*
9270×associate-*r*
8832×associate-+r+
8744×*-commutative
Stop Event
3×saturated
11×node limit
Compiler

Compiled 1668 to 971 computations (41.8% saved)

analyze1.3s (1.8%)

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)

bsearch1.1s (1.6%)

Algorithm
52×binary-search
16×left-value
Results
807.0ms6272×body256valid
103.0ms692×body256invalid
90.0ms686×body256infinite
Compiler

Compiled 13714 to 9649 computations (29.6% saved)

end882.0ms (1.3%)

Compiler

Compiled 2247 to 1208 computations (46.2% saved)

series765.0ms (1.1%)

Counts
121 → 2820
Calls

852 calls:

TimeVariablePointExpression
119.0ms
x
@-inf
(pow.f64 (log.f64 (expm1.f64 (neg.f64 (log.f64 x)))) 3)
48.0ms
x
@-inf
(expm1.f64 (neg.f64 (log.f64 x)))
46.0ms
b
@-inf
(+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))
33.0ms
c
@0
(pow.f64 (*.f64 -4 (*.f64 c a)) 1/4)
30.0ms
a
@0
(pow.f64 (*.f64 -4 (*.f64 c a)) 1/4)

preprocess678.0ms (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)

Profiling

Loading profile data...