Date:Monday, April 3rd, 2023
Commit:326c2557 on Aditya-Branch
Hostname:nightly with Racket 8.6
Seed:2023093
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.8hr)

sample38.7min (22.9%)

Results
15.4min3843369×body256valid
5.1min301297×body1024valid
4.5min27995×body8192exit
3.0min100465×body2048valid
2.7min443804×body256infinite
2.0min16347×body4096valid
1.6min163538×body512valid
1.4min267451×body256invalid
47.1s2785×body8192valid
39.4s34921×body1024infinite
16.7s1884×body4096infinite
15.0s2442×body2048infinite
13.9s15164×body1024invalid
12.5s18450×body512infinite
7.6s18538×body256unsamplable
4.5s8042×body512invalid
2.5s3026×body256precondition
1.8s1179×body2048invalid
1.2s47×body8192infinite
392.0ms312×body2048unsamplable
306.0ms420×body1024unsamplable
120.0ms250×body512unsamplable
14.0ms4×body8192invalid
5.0ms3×body4096invalid
Bogosity

regimes31.4min (18.6%)

Counts
115698 → 11905
Calls

1159 calls:

3.4min
x
2.8min
y
2.6min
z
2.3min
a
2.3min
t
Results
Compiler

Compiled 2003004 to 1074432 computations (46.4% saved)

eval24.6min (14.6%)

Results
Compiler

Compiled 49539596 to 26468624 computations (46.6% saved)

simplify21.2min (12.6%)

Algorithm
7015×egg-herbie
Rules
3920864×associate-*r*
3614098×associate-/l*
3441314×*-commutative
3411912×associate-*l*
3244402×distribute-lft-in
Stop Event
32×unsound
815×saturated
118×done
413×fuel
6168×node limit
Counts
1053340 → 1244377
Compiler

Compiled 157682 to 95430 computations (39.5% saved)

rewrite14.9min (8.9%)

Algorithm
5948×batch-egg-rewrite
55×egg-rewrite
43×egg-rewrite-iter-limit
Rules
4140732×add-sqr-sqrt
4068276×*-un-lft-identity
3819522×add-cube-cbrt
3773138×add-cbrt-cube
2360736×add-exp-log
Stop Event
49×unsound
43×iter limit
5954×node limit
Counts
13686 → 730593

prune14.9min (8.8%)

Counts
1518684 → 43669
Compiler

Compiled 1563766 to 1104640 computations (29.4% saved)

bsearch6.0min (3.5%)

Algorithm
7077×binary-search
742×left-value
Stop Event
6894×narrow-enough
8×predicate-failed
175×predicate-same
Results
3.3min781086×body256valid
54.0s38714×body1024valid
19.2s8570×body2048valid
17.6s23638×body512valid
11.1s2302×body4096valid
10.5s38088×body256infinite
10.1s35567×body256invalid
2.5s194×body4096infinite
1.8s355×body2048infinite
1.4s616×body1024infinite
1.2s337×body8192valid
664.0ms853×body1024invalid
617.0ms717×body512infinite
355.0ms7×body8192infinite
223.0ms301×body512invalid
116.0ms555×body256unsamplable
70.0ms101×body8192exit
Compiler

Compiled 1644335 to 1190551 computations (27.6% saved)

localize5.5min (3.3%)

Compiler

Compiled 421706 to 212941 computations (49.5% saved)

analyze4.1min (2.4%)

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)

soundness2.7min (1.6%)

Algorithm
821×egg-herbie
Rules
439854×fma-def
417244×associate-*r*
415736×*-commutative
382356×associate-/l*
364882×distribute-lft-in
Stop Event
3×unsound
170×saturated
648×node limit
Compiler

Compiled 99461 to 55830 computations (43.9% saved)

series1.9min (1.1%)

Counts
13686 → 322211
Calls

86250 calls:

TimeVariablePointExpression
504.0ms
x.im
@0
(cbrt.f64 (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re))))
504.0ms
z
@-inf
(*.f64 (-.f64 (*.f64 x 1/2) y) (sqrt.f64 (*.f64 2 (+.f64 z (*.f64 z (*.f64 t t))))))
456.0ms
im
@0
(*.f64 -1/6 (pow.f64 im 3))
372.0ms
z
@0
(/.f64 (-.f64 x z) y)
311.0ms
a
@inf
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (/.f64 (sqrt.f64 (*.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (/.f64 (*.f64 8 (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.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)) (*.f64 x-scale x-scale)) (/.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)) (*.f64 y-scale y-scale))) (hypot.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)) (*.f64 x-scale x-scale)) (/.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)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a))))))

end1.7min (1%)

Compiler

Compiled 152164 to 73817 computations (51.5% saved)

preprocess1.0min (0.6%)

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