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: 2.1hr)

sample28.4min (22.3%)

Results
11.0min3842230×body256valid
3.9min30286×body8192exit
3.8min302328×body1024valid
2.1min101159×body2048valid
1.9min445646×body256infinite
1.4min16271×body4096valid
1.1min163949×body512valid
59.4s269305×body256invalid
34.3s2763×body8192valid
29.4s35660×body1024infinite
12.9s1935×body4096infinite
10.1s2469×body2048infinite
9.9s15243×body1024invalid
8.8s18704×body512infinite
6.5s22870×body256unsamplable
3.4s8319×body512invalid
1.4s1186×body2048invalid
1.2s3002×body256precondition
374.0ms24×body8192infinite
255.0ms446×body1024unsamplable
202.0ms271×body2048unsamplable
87.0ms232×body512unsamplable
3.0ms1×body8192invalid
2.0ms1×body4096invalid
Bogosity

regimes22.1min (17.4%)

Counts
118171 → 11890
Calls

1161 calls:

2.3min
x
1.9min
y
1.7min
z
1.7min
a
1.6min
t
Results
Compiler

Compiled 2022124 to 1089034 computations (46.1% saved)

eval18.0min (14.1%)

Compiler

Compiled 51217838 to 27699913 computations (45.9% saved)

simplify14.7min (11.5%)

Algorithm
7112×egg-herbie
Rules
3969530×associate-*r*
3671092×associate-/l*
3492150×*-commutative
3455838×associate-*l*
3291834×distribute-lft-in
Stop Event
31×unsound
823×saturated
111×done
423×fuel
6258×node limit
Counts
1080815 → 1274131
Compiler

Compiled 160800 to 97345 computations (39.5% saved)

rewrite14.4min (11.3%)

Algorithm
6042×batch-egg-rewrite
Rules
4121262×add-sqr-sqrt
4048128×*-un-lft-identity
3797268×add-cube-cbrt
3751756×add-cbrt-cube
2363882×add-exp-log
Stop Event
19×unsound
6023×node limit
Counts
14000 → 747873

prune9.9min (7.8%)

Counts
1553019 → 44543
Compiler

Compiled 1632334 to 1153170 computations (29.4% saved)

soundness5.5min (4.3%)

Rules
541120×*-commutative
523590×associate-/r*
519572×associate-/l*
497824×associate-*r*
480030×distribute-lft-in
Stop Event
2×unsound
168×saturated
1092×node limit
Results
Compiler

Compiled 168904 to 95279 computations (43.6% saved)

bsearch4.4min (3.4%)

Algorithm
6756×binary-search
1013×left-value
Stop Event
6605×narrow-enough
9×predicate-failed
142×predicate-same
Results
2.4min757329×body256valid
35.6s32111×body1024valid
14.2s2420×body4096valid
13.0s6394×body2048valid
12.1s20433×body512valid
9.8s46525×body256infinite
8.6s44238×body256invalid
1.9s1716×body1024infinite
815.0ms209×body2048infinite
799.0ms186×body8192valid
671.0ms1165×body512infinite
656.0ms100×body4096infinite
265.0ms559×body1024invalid
154.0ms726×body256unsamplable
67.0ms195×body512invalid
35.0ms4×body8192exit
3.0ms3×body2048invalid
Compiler

Compiled 1624096 to 1176658 computations (27.5% saved)

localize3.8min (3%)

Compiler

Compiled 436094 to 222606 computations (49% saved)

analyze2.9min (2.3%)

Algorithm
539×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.7%13.3%0%0%0%0
2.4%2.1%84.7%13.3%0%0%0%1
3.6%3.1%83%13.3%0%0.6%0%2
11.5%9.8%74.8%13.3%0.3%1.8%0%3
15.9%13.2%69.8%13.3%1.2%2.3%0.2%4
23.9%19.7%62.6%13.3%1.6%2.7%0.2%5
28.6%23.1%57.7%13.3%2.5%3.1%0.3%6
36%28.4%50.5%13.3%3.5%3.9%0.3%7
40.5%31.6%46.4%13.3%4%4.2%0.4%8
46%35.4%41.5%13.3%4.7%4.6%0.4%9
50.6%38.3%37.4%13.3%5.4%5%0.4%10
54.8%41.1%33.9%13.3%5.9%5.3%0.4%11
58.2%43.3%31%13.3%6.4%5.6%0.5%12
Compiler

Compiled 11861 to 8220 computations (30.7% saved)

series1.4min (1.1%)

Counts
14000 → 332406
Calls

88011 calls:

TimeVariablePointExpression
488.0ms
x
@-inf
(pow.f64 (cbrt.f64 (/.f64 1 (fma.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 x)) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2)))) 3)
463.0ms
a
@0
(log.f64 (*.f64 -2 (/.f64 a (/.f64 b c))))
442.0ms
f
@-inf
(/.f64 (-.f64 (log.f64 (/.f64 4 (PI.f64))) (log.f64 f)) (PI.f64))
345.0ms
y.re
@0
(*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re)
339.0ms
y-scale
@-inf
(*.f64 (*.f64 (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2))) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) 2)))))

end1.2min (0.9%)

Compiler

Compiled 155673 to 75644 computations (51.4% saved)

preprocess42.0s (0.5%)

Algorithm
1072×egg-herbie
Rules
321884×fma-def
215744×*-commutative
191086×distribute-lft-in
189794×+-commutative
168944×associate-*r*
Stop Event
684×saturated
99×unsound
289×node limit
Compiler

Compiled 11280 to 8090 computations (28.3% saved)

Profiling

Loading profile data...