Date:Thursday, March 30th, 2023
Commit:c16bff6c on Aditya-Branch
Hostname:nightly with Racket 8.6
Seed:2023089
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: 23.3min)

sample8.6min (37.1%)

Results
2.7min16653×body8192exit
1.4min70026×body1024valid
1.1min8828×body4096valid
1.0min294946×body256valid
41.0s14666×body2048valid
32.7s1651×body8192valid
21.5s34561×body512valid
11.9s6212×body1024infinite
6.7s878×body4096infinite
6.2s21153×body256infinite
6.0s1209×body2048infinite
5.5s16956×body256unsamplable
3.8s21289×body256invalid
3.0s3080×body512infinite
1.3s1694×body1024invalid
1.2s1240×body2048invalid
929.0ms1237×body512invalid
559.0ms31×body8192infinite
113.0ms912×body256precondition
5.0ms6×body512unsamplable
3.0ms2×body1024unsamplable
Bogosity

eval3.6min (15.5%)

Compiler

Compiled 10455689 to 5808376 computations (44.4% saved)

regimes3.3min (14.1%)

Counts
23634 → 1030
Calls

141 calls:

13.1s
a
12.6s
b
9.5s
lambda1
9.4s
lambda2
9.1s
phi2
Compiler

Compiled 598565 to 309645 computations (48.3% saved)

simplify1.9min (8.1%)

Algorithm
788×egg-herbie
Rules
468118×associate-*r*
423336×*-commutative
412532×associate-/l*
399914×distribute-lft-in
394274×associate-*l*
Stop Event
2×unsound
67×saturated
8×done
41×fuel
719×node limit
Counts
128787 → 157418
Compiler

Compiled 19283 to 12294 computations (36.2% saved)

prune1.6min (6.8%)

Counts
214285 → 8780
Compiler

Compiled 479737 to 332518 computations (30.7% saved)

rewrite1.1min (4.9%)

Algorithm
688×batch-egg-rewrite
5×egg-rewrite-iter-limit
3×egg-rewrite
Rules
402638×add-sqr-sqrt
394442×*-un-lft-identity
370908×add-cube-cbrt
368644×add-cbrt-cube
269460×add-exp-log
Stop Event
6×unsound
5×iter limit
685×node limit
Counts
1777 → 87811

bsearch1.1min (4.6%)

Algorithm
520×binary-search
56×left-value
Stop Event
500×narrow-enough
20×predicate-same
Results
20.1s11361×body1024valid
12.8s42454×body256valid
12.0s1964×body4096valid
8.4s3044×body2048valid
5.2s5318×body512valid
2.1s111×body8192valid
773.0ms77×body4096infinite
660.0ms3616×body256invalid
356.0ms54×body2048infinite
215.0ms799×body256infinite
69.0ms26×body1024infinite
16.0ms40×body512invalid
14.0ms10×body512infinite
12.0ms20×body1024invalid
2.0ms19×body256unsamplable
Compiler

Compiled 187893 to 136335 computations (27.4% saved)

analyze44.2s (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)

localize38.6s (2.8%)

Compiler

Compiled 94625 to 47124 computations (50.2% saved)

soundness16.4s (1.2%)

Algorithm
109×egg-herbie
Rules
65188×*-commutative
61506×associate-*r*
58706×+-commutative
57636×associate-+r+
55440×associate-/l*
Stop Event
11×saturated
98×node limit
Compiler

Compiled 15051 to 9199 computations (38.9% saved)

series14.6s (1%)

Counts
1777 → 40925
Calls

11523 calls:

TimeVariablePointExpression
156.0ms
lambda2
@inf
(-.f64 (exp.f64 (log1p.f64 (acos.f64 (fma.f64 phi1 (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))))) 1)
101.0ms
a
@0
(*.f64 (/.f64 x-scale (-.f64 (*.f64 b b) (*.f64 a a))) (/.f64 (*.f64 2 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (/.f64 (*.f64 x-scale x-scale) (*.f64 b b))) (/.f64 (*.f64 a a) (/.f64 (*.f64 x-scale x-scale) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))))) (*.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))))))
87.0ms
b
@0
(*.f64 (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 a (neg.f64 (/.f64 (*.f64 -8 (*.f64 a (*.f64 a (*.f64 b b)))) (/.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 b a))))) (+.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)) (*.f64 y-scale y-scale)) (+.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)) (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 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (/.f64 y-scale (*.f64 2 (*.f64 (+.f64 b a) (-.f64 b a))))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale))))))) (*.f64 a (*.f64 (*.f64 b b) (*.f64 a -4)))) (neg.f64 (pow.f64 (*.f64 x-scale y-scale) 2)))
84.0ms
x-scale
@0
(log.f64 (*.f64 (*.f64 a (sqrt.f64 8)) (*.f64 (sqrt.f64 2) x-scale)))
73.0ms
A
@0
(/.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 (*.f64 -8 A) (*.f64 C C)) F))) (neg.f64 (fma.f64 B B (*.f64 A (*.f64 C -4)))))

end7.6s (0.5%)

Compiler

Compiled 18287 to 9041 computations (50.6% saved)

preprocess4.1s (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...