Date:Friday, December 9th, 2022
Commit:758c3f52 on main
Hostname:nightly with Racket 8.6
Seed:2022343
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 (36.9%)

Results
2.7min16991×body8192exit
1.4min70108×body1024valid
1.2min9036×body4096valid
59.8s294285×body256valid
38.7s14763×body2048valid
33.2s1684×body8192valid
21.9s34719×body512valid
11.3s6353×body1024infinite
6.3s21385×body256infinite
6.2s871×body4096infinite
5.6s1238×body2048infinite
5.4s17562×body256unsamplable
4.1s21397×body256invalid
3.9s3220×body512infinite
1.4s1661×body1024invalid
1.1s1225×body2048invalid
601.0ms37×body8192infinite
564.0ms1213×body512invalid
100.0ms870×body256precondition
10.0ms14×body512unsamplable
3.0ms2×body1024unsamplable
Bogosity

regimes3.9min (16.8%)

Counts
26038 → 1236
Calls

143 calls:

15.1s
b
14.7s
a
14.1s
A
13.7s
B
12.9s
C
Results
Compiler

Compiled 668274 to 344590 computations (48.4% saved)

eval3.2min (13.6%)

Compiler

Compiled 10451913 to 5833618 computations (44.2% saved)

simplify1.7min (7.1%)

Algorithm
786×egg-herbie
Rules
469926×associate-*r*
421608×*-commutative
421458×associate-/l*
403590×associate-*l*
382352×associate-/r*
Stop Event
3×unsound
69×saturated
5×done
45×fuel
714×node limit
Counts
128297 → 158161
Compiler

Compiled 23080 to 14742 computations (36.1% saved)

prune1.5min (6.5%)

Counts
216990 → 9328
Compiler

Compiled 507127 to 351657 computations (30.7% saved)

bsearch1.4min (6.2%)

Algorithm
669×binary-search
75×left-value
Results
24.4s13670×body1024valid
16.8s2831×body4096valid
16.3s52197×body256valid
13.5s5001×body2048valid
7.1s6575×body512valid
1.8s94×body8192valid
1.2s271×body1024infinite
1.2s5961×body256invalid
653.0ms112×body2048infinite
616.0ms1372×body256infinite
461.0ms64×body4096infinite
392.0ms153×body512infinite
69.0ms4×body8192infinite
14.0ms26×body1024invalid
8.0ms20×body512invalid
0.0ms6×body256unsamplable
Compiler

Compiled 222295 to 163113 computations (26.6% saved)

rewrite1.1min (4.5%)

Algorithm
685×batch-egg-rewrite
6×egg-rewrite-iter-limit
3×egg-rewrite
Rules
399562×add-sqr-sqrt
391228×*-un-lft-identity
368162×add-cube-cbrt
366028×add-cbrt-cube
270084×add-exp-log
Stop Event
7×unsound
6×iter limit
681×node limit
Counts
1768 → 87386

analyze43.5s (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)

localize34.9s (2.5%)

Compiler

Compiled 90803 to 45267 computations (50.1% saved)

series16.5s (1.2%)

Counts
1768 → 40860
Calls

11400 calls:

TimeVariablePointExpression
292.0ms
a
@0
(*.f64 (*.f64 a -3) (-.f64 (*.f64 2/3 (/.f64 b (*.f64 c a))) (/.f64 1/2 b)))
168.0ms
x
@-inf
(log.f64 (/.f64 2 x))
106.0ms
phi1
@-inf
(log1p.f64 (+.f64 (cos.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi1)))
90.0ms
y-scale
@0
(-.f64 (exp.f64 (log1p.f64 (*.f64 (sqrt.f64 1/8) (*.f64 (sqrt.f64 8) (*.f64 b y-scale))))) 1)
84.0ms
angle
@inf
(-.f64 (*.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) (/.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)) (*.f64 (*.f64 4 (/.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)))

soundness12.1s (0.9%)

Algorithm
89×egg-herbie
Rules
54678×*-commutative
52362×associate-*r*
50500×associate-/r*
47302×associate-/l*
47184×+-commutative
Stop Event
6×saturated
83×node limit
Compiler

Compiled 48682 to 30022 computations (38.3% saved)

end8.2s (0.6%)

Compiler

Compiled 21948 to 10913 computations (50.3% saved)

preprocess3.7s (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...