Date:Wednesday, May 31st, 2023
Commit:55347e10 on better-large-numbers
Hostname:nightly with Racket 8.6
Seed:2023151
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: 11.1min)

sample3.0min (26.9%)

Results
1.3min439264×body256valid
1.0min7863×body8192exit
14.1s23654×body1024valid
8.3s14186×body1024infinite
5.3s29172×body256infinite
4.3s12269×body512valid
2.8s6737×body512infinite
1.9s2583×body2048valid
974.0ms4589×body256invalid
605.0ms4025×body256unsamplable
601.0ms1078×body4096valid
223.0ms223×body2048infinite
Bogosity

eval2.0min (18%)

Compiler

Compiled 5261093 to 3317690 computations (36.9% saved)

simplify1.4min (12.5%)

Algorithm
713×egg-herbie
Rules
550394×fma-def
319886×log-prod
305014×unswap-sqr
300468×distribute-lft-in
275228×fma-neg
Stop Event
9×unsound
85×saturated
20×done
38×fuel
619×node limit
Counts
82046 → 99356
Compiler

Compiled 13282 to 9117 computations (31.4% saved)

soundness56.8s (8.5%)

Rules
315162×fma-def
219854×log-prod
156792×fma-neg
142086×unswap-sqr
141074×distribute-lft-in
Stop Event
9×unsound
24×saturated
418×node limit
Compiler

Compiled 64500 to 43409 computations (32.7% saved)

rewrite55.1s (8.2%)

Algorithm
597×batch-egg-rewrite
Rules
436318×log-prod
398266×pow1
374202×log1p-expm1-u
374184×expm1-log1p-u
371736×add-exp-log
Stop Event
6×unsound
591×node limit
Counts
1328 → 56689

regimes54.7s (8.2%)

Counts
8614 → 815
Calls

134 calls:

5.2s
x.im
4.4s
y.im
4.1s
x.re
3.4s
y.re
2.8s
im
Compiler

Compiled 230831 to 162604 computations (29.6% saved)

prune42.6s (6.4%)

Counts
126328 → 4018
Compiler

Compiled 199279 to 154607 computations (22.4% saved)

localize30.2s (4.5%)

Compiler

Compiled 59461 to 36578 computations (38.5% saved)

series12.0s (1.8%)

Counts
1328 → 25299
Calls

6945 calls:

TimeVariablePointExpression
628.0ms
x.re
@0
(pow.f64 (cbrt.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) 3)
348.0ms
x
@inf
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (/.f64 2 (sqrt.f64 (PI.f64)))))))
182.0ms
d2
@inf
(/.f64 (*.f64 d1 (*.f64 d1 -900)) (-.f64 (*.f64 d1 d2) (*.f64 d1 30)))
171.0ms
x
@inf
(acos.f64 (sqrt.f64 (-.f64 1/2 (*.f64 x 1/2))))
157.0ms
x.re
@-inf
(cos.f64 (+.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 (sqrt.f64 (log.f64 (hypot.f64 x.re x.im)))) (sqrt.f64 (log.f64 (hypot.f64 x.re x.im))))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))

bsearch11.9s (1.8%)

Algorithm
408×binary-search
32×left-value
Stop Event
391×narrow-enough
17×predicate-same
Results
8.5s43947×body256valid
1.0s1705×body1024valid
494.0ms697×body2048valid
259.0ms398×body4096valid
244.0ms901×body512valid
99.0ms605×body256infinite
66.0ms70×body1024infinite
51.0ms43×body512infinite
1.0ms1×body2048infinite
Compiler

Compiled 88748 to 63489 computations (28.5% saved)

analyze8.4s (1.3%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
7%6%80.3%13.7%0%0%0%1
13.1%11%73.3%13.7%0%1.7%0.2%2
23.6%19.2%62%13.7%0.5%4.3%0.3%3
29.2%23.2%56.3%13.7%1.9%4.5%0.4%4
41.4%32.6%46.2%13.7%2.4%4.6%0.4%5
46.7%36.2%41.3%13.7%3.5%4.9%0.4%6
54.8%41.1%33.8%13.7%5.2%5.8%0.4%7
58.6%43.6%30.7%13.7%5.7%5.9%0.4%8
63.7%46.7%26.6%13.7%6.7%5.9%0.4%9
67.5%48.8%23.5%13.7%7.2%6.4%0.4%10
70.8%50.6%20.9%13.7%7.9%6.4%0.4%11
73.3%52.2%19%13.7%8.3%6.4%0.4%12
Compiler

Compiled 1558 to 994 computations (36.2% saved)

end8.1s (1.2%)

Compiler

Compiled 13019 to 7812 computations (40% saved)

preprocess4.5s (0.7%)

Algorithm
116×egg-herbie
Rules
36414×fma-def
16548×associate-*r*
15412×distribute-lft-in
15404×sqr-pow
14974×distribute-rgt-in
Stop Event
71×saturated
14×unsound
31×node limit
Compiler

Compiled 1606 to 1052 computations (34.5% saved)

Profiling

Loading profile data...