Date:Sunday, May 21st, 2023
Commit:7039a485 on odyssey-paper
Hostname:nightly with Racket 8.6
Seed:2023141
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.4min)

sample8.7min (37%)

Results
2.7min16817×body8192exit
1.4min70130×body1024valid
1.1min8896×body4096valid
1.0min294124×body256valid
40.5s14624×body2048valid
32.2s1653×body8192valid
22.3s35118×body512valid
11.6s6236×body1024infinite
7.0s902×body4096infinite
6.9s21219×body256infinite
5.5s1209×body2048infinite
5.4s16932×body256unsamplable
4.0s21237×body256invalid
4.0s3276×body512infinite
1.1s1596×body1024invalid
1.1s1177×body2048invalid
522.0ms1190×body512invalid
519.0ms32×body8192infinite
112.0ms929×body256precondition
36.0ms1×body8192unsamplable
8.0ms5×body1024unsamplable
4.0ms6×body512unsamplable
4.0ms1×body2048unsamplable
Bogosity

regimes3.6min (15.5%)

Counts
27341 → 1078
Calls

143 calls:

13.4s
a
11.5s
lambda1
11.4s
B
11.2s
phi2
10.7s
b
Results
Compiler

Compiled 751666 to 399392 computations (46.9% saved)

eval3.5min (14.8%)

Compiler

Compiled 10618248 to 5903433 computations (44.4% saved)

simplify1.8min (7.7%)

Algorithm
768×egg-herbie
Rules
461318×associate-*r*
420242×associate-/l*
413248×*-commutative
382958×associate-*l*
381202×distribute-lft-in
Stop Event
1×unsound
67×saturated
8×done
41×fuel
700×node limit
Counts
121638 → 147325
Compiler

Compiled 19891 to 12810 computations (35.6% saved)

prune1.6min (6.7%)

Counts
208173 → 8740
Compiler

Compiled 474187 to 331398 computations (30.1% saved)

bsearch1.2min (5%)

Algorithm
553×binary-search
61×left-value
Stop Event
537×narrow-enough
16×predicate-same
Results
19.5s11876×body1024valid
16.9s45396×body256valid
11.4s1746×body4096valid
10.9s4165×body2048valid
5.4s5396×body512valid
1.3s155×body4096infinite
895.0ms993×body256infinite
726.0ms3655×body256invalid
625.0ms157×body2048infinite
506.0ms315×body1024infinite
125.0ms9×body8192valid
114.0ms124×body512infinite
78.0ms60×body1024invalid
68.0ms5×body8192infinite
30.0ms65×body512invalid
4.0ms39×body256unsamplable
2.0ms2×body2048invalid
Compiler

Compiled 186719 to 136356 computations (27% saved)

rewrite1.1min (4.5%)

Algorithm
668×batch-egg-rewrite
7×egg-rewrite
6×egg-rewrite-iter-limit
Rules
417144×add-sqr-sqrt
408788×*-un-lft-identity
384342×add-cube-cbrt
380262×add-cbrt-cube
270240×add-exp-log
Stop Event
8×unsound
6×iter limit
667×node limit
Counts
1712 → 81838

analyze42.9s (3.1%)

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)

localize37.6s (2.7%)

Compiler

Compiled 93428 to 47138 computations (49.5% saved)

soundness16.0s (1.1%)

Algorithm
113×egg-herbie
Rules
66346×*-commutative
63940×associate-*r*
59114×associate-+r+
56282×associate-/l*
55954×associate-/r*
Stop Event
14×saturated
99×node limit
Compiler

Compiled 16053 to 9847 computations (38.7% saved)

series14.4s (1%)

Counts
1712 → 39749
Calls

11022 calls:

TimeVariablePointExpression
139.0ms
R
@0
(*.f64 (-.f64 (exp.f64 (log1p.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi2) (*.f64 (cos.f64 phi1) (cos.f64 (-.f64 lambda1 lambda2)))))))) 1) R)
117.0ms
phi1
@inf
(log.f64 (*.f64 R (*.f64 (cos.f64 (*.f64 1/2 (+.f64 phi2 phi1))) lambda2)))
112.0ms
x-scale
@0
(*.f64 (*.f64 x-scale a) (*.f64 (sqrt.f64 8) (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))))))))
97.0ms
delta
@inf
(-.f64 (cos.f64 delta) (exp.f64 (log1p.f64 (*.f64 (sin.f64 phi1) (fma.f64 (sin.f64 phi1) (cos.f64 delta) (*.f64 (sin.f64 delta) (*.f64 (cos.f64 theta) (cos.f64 phi1))))))))
91.0ms
a
@-inf
(*.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 b x-scale) (/.f64 b x-scale)) -4))

end8.2s (0.6%)

Compiler

Compiled 18881 to 9397 computations (50.2% saved)

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