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: 33.3min)

sample11.7min (35%)

Results
2.8min15165×body8192exit
2.0min69378×body1024valid
1.8min8910×body4096valid
1.5min294103×body256valid
1.0min14693×body2048valid
44.4s1555×body8192valid
33.4s35002×body512valid
17.5s6276×body1024infinite
10.9s1241×body2048infinite
9.9s846×body4096infinite
9.5s21280×body256infinite
6.0s21350×body256invalid
5.8s12457×body256unsamplable
5.0s3319×body512infinite
1.9s1695×body1024invalid
1.8s1169×body2048invalid
1.2s47×body8192infinite
848.0ms1109×body512invalid
166.0ms951×body256precondition
11.0ms5×body1024unsamplable
3.0ms4×body512unsamplable
Bogosity

regimes6.2min (18.6%)

Counts
25183 → 1117
Calls

142 calls:

26.2s
C
25.1s
B
23.1s
F
18.8s
lambda2
18.7s
lambda1
Results
Compiler

Compiled 633380 to 309128 computations (51.2% saved)

eval4.2min (12.7%)

Results
Compiler

Compiled 9455556 to 5200267 computations (45% saved)

simplify2.7min (8%)

Algorithm
767×egg-herbie
Rules
459332×associate-*r*
414666×*-commutative
414524×associate-/l*
385700×associate-*l*
370944×distribute-lft-in
Stop Event
1×unsound
66×saturated
7×done
40×fuel
700×node limit
Counts
121184 → 144610
Compiler

Compiled 19887 to 11973 computations (39.8% saved)

prune2.3min (6.9%)

Counts
201869 → 8874
Compiler

Compiled 468713 to 326511 computations (30.3% saved)

rewrite1.7min (5.1%)

Algorithm
669×batch-egg-rewrite
6×egg-rewrite-iter-limit
5×egg-rewrite
Rules
415334×add-sqr-sqrt
407128×*-un-lft-identity
382622×add-cube-cbrt
380232×add-cbrt-cube
272892×add-exp-log
Stop Event
8×unsound
6×iter limit
666×node limit
Counts
1701 → 81652

bsearch1.6min (4.9%)

Algorithm
602×binary-search
54×left-value
Stop Event
571×narrow-enough
31×predicate-same
Results
32.2s14595×body1024valid
20.0s43352×body256valid
16.1s5351×body2048valid
9.6s1289×body4096valid
8.9s6886×body512valid
2.4s171×body4096infinite
1.5s221×body2048infinite
952.0ms3279×body256invalid
905.0ms215×body1024infinite
737.0ms23×body8192valid
571.0ms578×body256infinite
355.0ms7×body8192infinite
271.0ms149×body512infinite
Compiler

Compiled 205315 to 144344 computations (29.7% saved)

analyze1.0min (3.2%)

Algorithm
53×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%79.4%20.6%0%0%0%0
2.4%1.9%77.5%20.6%0%0%0%1
5.1%4%75%21%0%0%0%2
12.7%9.8%67.2%21.2%0.5%1.4%0%3
20.5%15.3%59.4%21.2%1.1%2.6%0.5%4
26.8%19.7%53.7%21.2%1.3%3.4%0.7%5
32.2%23.1%48.7%21.2%1.7%4.2%1.1%6
35%24.7%45.9%21.2%2%4.9%1.2%7
37.7%26.3%43.5%21.3%2.3%5.3%1.4%8
41.6%28.6%40.1%21.3%2.7%6%1.5%9
43.1%29.4%38.8%21.3%2.7%6.3%1.6%10
45.8%31%36.7%21.3%2.8%6.6%1.6%11
48.4%32.6%34.7%21.3%2.8%7%1.7%12
Compiler

Compiled 1919 to 1338 computations (30.3% saved)

localize54.6s (2.7%)

Compiler

Compiled 87154 to 42432 computations (51.3% saved)

soundness21.8s (1.1%)

Algorithm
119×egg-herbie
Rules
71238×associate-*r*
67978×*-commutative
62518×associate-+r+
62420×associate-/l*
60406×+-commutative
Stop Event
12×saturated
107×node limit
Compiler

Compiled 14878 to 9023 computations (39.4% saved)

series18.5s (0.9%)

Counts
1701 → 39481
Calls

11085 calls:

TimeVariablePointExpression
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))))))
189.0ms
y-scale
@inf
(sqrt.f64 (+.f64 (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (*.f64 y-scale y-scale))) (sqrt.f64 (fma.f64 4 (*.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (*.f64 y-scale y-scale))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))
178.0ms
C
@-inf
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (fma.f64 -8 (*.f64 (*.f64 A A) (*.f64 F C)) (*.f64 4 (*.f64 A (*.f64 F (*.f64 B B)))))))) (fma.f64 B B (*.f64 C (*.f64 A -4))))
140.0ms
C
@-inf
(-.f64 (exp.f64 (log1p.f64 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (hypot.f64 (-.f64 A C) B)) B)) (PI.f64)))) 1)
137.0ms
C
@0
(/.f64 (*.f64 180 (atan.f64 (/.f64 C B))) (PI.f64))

end11.2s (0.6%)

Compiler

Compiled 18963 to 8387 computations (55.8% saved)

preprocess6.5s (0.3%)

Algorithm
102×egg-herbie
Rules
32198×fma-def
26296×*-commutative
22918×+-commutative
19502×distribute-lft-in
19386×associate-/r*
Stop Event
60×saturated
5×unsound
37×node limit
Compiler

Compiled 1762 to 1250 computations (29.1% saved)

Profiling

Loading profile data...