Date:Friday, June 2nd, 2023
Commit:77ad6cf8 on ordinary-infinite
Hostname:nightly with Racket 8.6
Seed:2023153
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: 9.5min)

sample2.7min (28.8%)

Results
1.1min365950×body256valid
1.0min7849×body8192exit
11.6s64306×body256infinite
8.6s16010×body1024valid
5.4s8356×body1024infinite
3.2s8797×body512valid
1.7s3645×body512infinite
1.4s2250×body2048valid
1.2s5105×body256unsamplable
924.0ms4559×body256invalid
679.0ms1153×body4096valid
286.0ms155×body2048infinite
Bogosity

eval1.5min (15.8%)

Compiler

Compiled 4018611 to 2393590 computations (40.4% saved)

simplify1.2min (13%)

Algorithm
670×egg-herbie
Rules
499274×fma-def
308274×log-prod
284762×unswap-sqr
273232×fma-neg
266922×distribute-lft-in
Stop Event
3×unsound
84×saturated
22×done
35×fuel
583×node limit
Counts
79393 → 93361
Compiler

Compiled 9753 to 6277 computations (35.6% saved)

soundness53.8s (9.4%)

Rules
253212×fma-def
184912×log-prod
159414×fma-neg
124746×unswap-sqr
116604×distribute-lft-in
Stop Event
3×unsound
20×saturated
341×node limit
Compiler

Compiled 41339 to 25876 computations (37.4% saved)

rewrite51.4s (9%)

Algorithm
556×batch-egg-rewrite
Rules
417494×log-prod
389620×pow1
365732×add-exp-log
365368×log1p-expm1-u
365348×expm1-log1p-u
Stop Event
2×unsound
554×node limit
Counts
1309 → 54934

regimes44.9s (7.9%)

Counts
7631 → 694
Calls

130 calls:

6.9s
x.re
6.4s
x.im
5.1s
y.re
4.8s
y.im
2.0s
x
Compiler

Compiled 132747 to 75775 computations (42.9% saved)

prune36.1s (6.3%)

Counts
117221 → 4107
Compiler

Compiled 151732 to 110446 computations (27.2% saved)

localize25.8s (4.5%)

Compiler

Compiled 52815 to 30714 computations (41.8% saved)

series9.1s (1.6%)

Counts
1309 → 24402
Calls

6789 calls:

TimeVariablePointExpression
160.0ms
y.re
@0
(*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re)
160.0ms
x
@0
(log.f64 (/.f64 -1/2 x))
154.0ms
x
@0
(log.f64 (pow.f64 (exp.f64 x) 3275911/10000000))
148.0ms
u1
@0
(pow.f64 (*.f64 (log.f64 u1) -1/18) 3/2)
130.0ms
x.re
@inf
(pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)

bsearch8.7s (1.5%)

Algorithm
362×binary-search
27×left-value
Stop Event
348×narrow-enough
14×predicate-same
Results
6.1s35436×body256valid
596.0ms3493×body256infinite
413.0ms854×body1024valid
410.0ms488×body1024infinite
185.0ms792×body512valid
181.0ms401×body2048valid
84.0ms190×body512infinite
43.0ms108×body4096valid
14.0ms14×body2048infinite
Compiler

Compiled 72617 to 51411 computations (29.2% saved)

end5.8s (1%)

Compiler

Compiled 9668 to 5280 computations (45.4% saved)

preprocess4.4s (0.8%)

Algorithm
114×egg-herbie
Rules
35032×fma-def
16312×associate-*r*
15382×sqr-pow
15088×distribute-lft-in
14640×distribute-rgt-in
Stop Event
70×saturated
14×unsound
30×node limit
Compiler

Compiled 1510 to 967 computations (36% saved)

analyze2.3s (0.4%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
55.8%48.1%38.2%13.7%0%0%0%1
64.2%54.3%30.3%13.7%0%1.7%0%2
82%67.3%14.7%13.7%0%4.3%0%3
85.4%69.8%11.9%13.7%0%4.5%0%4
90%73.5%8.1%13.7%0%4.6%0%5
91.3%74.3%7.1%13.7%0%4.9%0%6
93.8%75.5%5%13.7%0%5.8%0%7
94.8%76.2%4.2%13.7%0%5.9%0%8
95.2%76.5%3.9%13.7%0%5.9%0%9
96.4%77.1%2.8%13.7%0%6.4%0%10
96.5%77.1%2.8%13.7%0%6.4%0%11
96.7%77.3%2.6%13.7%0%6.4%0%12
Compiler

Compiled 1558 to 994 computations (36.2% saved)

Profiling

Loading profile data...