Date:Monday, May 15th, 2023
Commit:1f5aabee on main
Hostname:nightly with Racket 8.6
Seed:2023135
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.4min)

eval22.5s (26.4%)

Compiler

Compiled 1097005 to 623545 computations (43.2% saved)

sample13.2s (15.5%)

Results
10.3s70222×body256valid
1.7s4082×body2048valid
553.0ms2814×body256infinite
421.0ms2134×body256invalid
Bogosity

prune12.3s (14.5%)

Counts
23463 → 370
Compiler

Compiled 15965 to 10835 computations (32.1% saved)

simplify9.2s (10.8%)

Algorithm
76×egg-herbie
Rules
41312×associate-*r*
36098×associate-/l*
35424×associate-/r*
35412×associate-*l*
33898×associate-+r+
Stop Event
1×unsound
15×saturated
5×done
4×fuel
60×node limit
Counts
11224 → 15142
Compiler

Compiled 3397 to 2054 computations (39.5% saved)

rewrite9.2s (10.8%)

Algorithm
58×batch-egg-rewrite
Rules
29708×associate-/r*
28254×add-sqr-sqrt
27648×*-un-lft-identity
26102×add-cube-cbrt
25958×add-cbrt-cube
Stop Event
58×node limit
Counts
115 → 8443

regimes6.4s (7.5%)

Counts
898 → 135
Calls

19 calls:

1.5s
c
1.2s
a
1.0s
b
736.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))))))
343.0ms
x
Compiler

Compiled 23328 to 12955 computations (44.5% saved)

localize3.4s (4%)

Compiler

Compiled 6254 to 3328 computations (46.8% saved)

soundness3.4s (4%)

Algorithm
15×egg-herbie
Rules
12068×associate-/l*
10514×associate-/r*
9954×fma-def
9456×associate-*r*
9190×distribute-lft-in
Stop Event
3×saturated
18×node limit
Compiler

Compiled 2681 to 1597 computations (40.4% saved)

bsearch1.6s (1.9%)

Algorithm
70×binary-search
24×left-value
Stop Event
57×narrow-enough
13×predicate-same
Results
1.2s7760×body256valid
208.0ms1065×body256infinite
76.0ms492×body256invalid
Compiler

Compiled 16352 to 11437 computations (30.1% saved)

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

end1.3s (1.5%)

Compiler

Compiled 3308 to 1816 computations (45.1% saved)

series784.0ms (0.9%)

Counts
115 → 2772
Calls

828 calls:

TimeVariablePointExpression
46.0ms
a
@-inf
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 a 4)) (log.f64 (/.f64 -1 c))) 1/2))
36.0ms
a
@-inf
(+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))
35.0ms
a
@-inf
(log.f64 (*.f64 a (*.f64 c -4)))
32.0ms
a
@0
(log.f64 (*.f64 a (*.f64 c -4)))
22.0ms
a
@0
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 a 4)) (log.f64 (/.f64 -1 c))) 1/2))

preprocess570.0ms (0.7%)

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