Date:Monday, May 1st, 2023
Commit:e093b807 on main
Hostname:nightly with Racket 8.6
Seed:2023121
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)

eval19.3s (28.2%)

Compiler

Compiled 1065394 to 624539 computations (41.4% saved)

sample12.8s (18.7%)

Results
9.8s70198×body256valid
1.9s4106×body2048valid
478.0ms2861×body256infinite
352.0ms2028×body256invalid
Bogosity

prune11.0s (16.1%)

Counts
22684 → 361
Compiler

Compiled 15776 to 10718 computations (32.1% saved)

simplify7.6s (11.1%)

Algorithm
75×egg-herbie
Rules
42448×associate-*r*
35006×*-commutative
34970×associate-*l*
34636×associate-/l*
32530×associate-+r+
Stop Event
1×unsound
16×saturated
4×done
5×fuel
58×node limit
Counts
10689 → 13413
Compiler

Compiled 2698 to 1670 computations (38.1% saved)

rewrite5.6s (8.2%)

Algorithm
57×batch-egg-rewrite
Rules
33952×add-sqr-sqrt
33322×*-un-lft-identity
31380×add-cube-cbrt
31152×add-cbrt-cube
22242×associate-/l*
Stop Event
57×node limit
Counts
114 → 7858

localize2.9s (4.3%)

Compiler

Compiled 6544 to 3603 computations (44.9% saved)

regimes2.9s (4.2%)

Counts
417 → 86
Calls

19 calls:

734.0ms
c
536.0ms
a
375.0ms
b
222.0ms
z
175.0ms
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)))
Compiler

Compiled 10910 to 6385 computations (41.5% saved)

soundness1.6s (2.4%)

Algorithm
13×egg-herbie
Rules
10188×associate-*r*
8966×associate-*l*
8794×associate-+r+
7850×associate-/r*
7840×associate-+l+
Stop Event
3×saturated
10×node limit
Compiler

Compiled 1965 to 1171 computations (40.4% saved)

analyze1.4s (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)

end983.0ms (1.4%)

Compiler

Compiled 2639 to 1538 computations (41.7% saved)

preprocess890.0ms (1.3%)

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)

series698.0ms (1%)

Counts
114 → 2822
Calls

807 calls:

TimeVariablePointExpression
57.0ms
c
@0
(pow.f64 (exp.f64 1/4) (*.f64 2 (+.f64 (log.f64 (*.f64 c -4)) (log.f64 a))))
44.0ms
c
@inf
(-.f64 (pow.f64 (pow.f64 (fma.f64 b b (*.f64 a (*.f64 c -4))) 1/4) 2) b)
40.0ms
a
@-inf
(pow.f64 (exp.f64 1/4) (*.f64 2 (+.f64 (log.f64 (*.f64 c -4)) (log.f64 a))))
27.0ms
c
@-inf
(log.f64 (*.f64 c (/.f64 a b)))
24.0ms
x
@inf
(pow.f64 (cbrt.f64 (+.f64 4 (-.f64 x (*.f64 x z)))) 3)

bsearch587.0ms (0.9%)

Algorithm
30×binary-search
24×left-value
Stop Event
27×narrow-enough
3×predicate-same
Results
464.0ms3168×body256valid
52.0ms353×body256invalid
15.0ms126×body256infinite
Compiler

Compiled 7701 to 5506 computations (28.5% saved)

Profiling

Loading profile data...