Date:Thursday, May 18th, 2023
Commit:5c5cbfdd on main
Hostname:nightly with Racket 8.6
Seed:2023138
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.8min)

sample3.1min (26.2%)

Results
1.3min439374×body256valid
1.0min8062×body8192exit
14.0s23648×body1024valid
9.4s14966×body1024infinite
5.8s29016×body256infinite
4.8s12102×body512valid
2.3s6584×body512infinite
1.9s2630×body2048valid
832.0ms4711×body256invalid
652.0ms4108×body256unsamplable
549.0ms1094×body4096valid
328.0ms209×body2048infinite
Bogosity

eval2.4min (20.1%)

Compiler

Compiled 6162621 to 3688279 computations (40.2% saved)

simplify1.5min (12.9%)

Algorithm
729×egg-herbie
Rules
377966×associate-*r*
370244×*-commutative
353242×associate-/l*
333982×associate-+r+
333112×+-commutative
Stop Event
7×unsound
84×saturated
19×done
39×fuel
638×node limit
Counts
93927 → 122472
Compiler

Compiled 12076 to 8061 computations (33.2% saved)

rewrite1.4min (12%)

Algorithm
613×batch-egg-rewrite
Rules
424556×add-sqr-sqrt
414704×*-un-lft-identity
390774×add-cube-cbrt
387880×add-cbrt-cube
266844×add-exp-log
Stop Event
6×unsound
607×node limit
Counts
1387 → 67687

prune1.0min (8.5%)

Counts
154797 → 4262
Compiler

Compiled 212377 to 160751 computations (24.3% saved)

regimes50.1s (7.1%)

Counts
9946 → 822
Calls

134 calls:

5.8s
x.im
4.7s
x.re
3.6s
y.im
3.5s
y.re
2.8s
x
Compiler

Compiled 211955 to 142073 computations (33% saved)

localize32.5s (4.6%)

Compiler

Compiled 60945 to 36710 computations (39.8% saved)

soundness19.1s (2.7%)

Rules
59390×associate-/l*
57056×associate-*r/
55846×*-commutative
53984×associate-/r*
52914×distribute-lft-in
Stop Event
19×saturated
127×node limit
Compiler

Compiled 22940 to 13883 computations (39.5% saved)

bsearch10.7s (1.5%)

Algorithm
391×binary-search
39×left-value
Stop Event
381×narrow-enough
10×predicate-same
Results
8.0s42039×body256valid
532.0ms980×body512valid
456.0ms942×body1024valid
305.0ms1204×body256infinite
175.0ms363×body2048valid
118.0ms220×body4096valid
112.0ms158×body1024infinite
86.0ms197×body512infinite
1.0ms1×body2048infinite
Compiler

Compiled 79718 to 55949 computations (29.8% saved)

analyze9.8s (1.4%)

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)

series9.6s (1.4%)

Counts
1387 → 26182
Calls

7242 calls:

TimeVariablePointExpression
345.0ms
y.re
@0
(*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re)
135.0ms
x
@inf
(-.f64 (exp.f64 (log1p.f64 (pow.f64 x -5))) 1)
126.0ms
im
@-inf
(log1p.f64 (/.f64 (log.f64 im) (log.f64 base)))
96.0ms
im
@inf
(log.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))
87.0ms
x.im
@-inf
(-.f64 (/.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) (*.f64 (-.f64 x.re x.im) x.re)) (-.f64 x.re x.im)) (*.f64 x.im (*.f64 x.re (+.f64 x.im x.im))))

end6.8s (1%)

Compiler

Compiled 11855 to 6754 computations (43% saved)

preprocess4.6s (0.6%)

Algorithm
116×egg-herbie
Rules
21178×fma-def
20488×*-commutative
18344×associate-*r*
17546×distribute-lft-in
17206×sqr-pow
Stop Event
71×saturated
14×unsound
31×node limit
Compiler

Compiled 1606 to 1052 computations (34.5% saved)

Profiling

Loading profile data...