Date:Wednesday, May 31st, 2023
Commit:55347e10 on better-large-numbers
Hostname:nightly with Racket 8.6
Seed:2023151
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: 25.5min)

sample9.0min (35.2%)

Results
2.7min16963×body8192exit
1.5min69655×body1024valid
1.2min8914×body4096valid
1.1min294449×body256valid
43.0s14783×body2048valid
33.3s1603×body8192valid
22.8s35087×body512valid
12.2s6391×body1024infinite
7.1s883×body4096infinite
6.7s21440×body256infinite
5.6s16725×body256unsamplable
5.6s1181×body2048infinite
4.3s21380×body256invalid
3.4s3256×body512infinite
1.4s1725×body1024invalid
1.3s1194×body2048invalid
592.0ms1171×body512invalid
493.0ms31×body8192infinite
108.0ms921×body256precondition
7.0ms5×body1024unsamplable
4.0ms6×body512unsamplable
Bogosity

regimes3.9min (15.2%)

Counts
25300 → 1234
Calls

140 calls:

14.7s
a
12.5s
b
12.3s
phi2
12.0s
A
11.5s
F
Results
Compiler

Compiled 620524 to 319742 computations (48.5% saved)

eval3.4min (13.3%)

Compiler

Compiled 9075804 to 5210664 computations (42.6% saved)

simplify1.9min (7.3%)

Algorithm
796×egg-herbie
Rules
591908×fma-def
404438×log-prod
352008×associate-*r*
328364×distribute-lft-in
316182×unswap-sqr
Stop Event
5×unsound
67×saturated
7×done
42×fuel
724×node limit
Counts
114337 → 129451
Results
Compiler

Compiled 21031 to 13571 computations (35.5% saved)

soundness1.7min (6.5%)

Rules
390088×fma-def
323980×log-prod
242534×associate-*r*
216740×fma-neg
195228×associate-*l*
Stop Event
3×unsound
12×saturated
565×node limit
Compiler

Compiled 81518 to 47716 computations (41.5% saved)

bsearch1.4min (5.5%)

Algorithm
673×binary-search
70×left-value
Stop Event
662×narrow-enough
11×predicate-same
Results
24.5s14054×body1024valid
17.9s52014×body256valid
14.4s2679×body4096valid
13.0s6536×body2048valid
7.0s6572×body512valid
1.8s6332×body256invalid
449.0ms430×body2048invalid
448.0ms517×body1024invalid
377.0ms67×body2048infinite
354.0ms448×body512invalid
339.0ms38×body4096infinite
285.0ms13×body8192infinite
220.0ms199×body1024infinite
112.0ms476×body256infinite
69.0ms87×body512infinite
16.0ms1×body8192valid
Compiler

Compiled 206849 to 153194 computations (25.9% saved)

prune1.2min (4.9%)

Counts
181311 → 8855
Compiler

Compiled 498057 to 347293 computations (30.3% saved)

rewrite1.1min (4.4%)

Algorithm
696×batch-egg-rewrite
Rules
549604×log-prod
418682×pow1
393162×add-exp-log
392956×log1p-expm1-u
392920×expm1-log1p-u
Stop Event
6×unsound
690×node limit
Counts
1774 → 74813

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

localize42.6s (2.8%)

Compiler

Compiled 93191 to 47407 computations (49.1% saved)

series16.4s (1.1%)

Counts
1774 → 39713
Calls

10911 calls:

TimeVariablePointExpression
238.0ms
x-scale
@-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)))
201.0ms
a
@0
(fma.f64 (/.f64 (pow.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)) 1/4) (pow.f64 (cbrt.f64 (+.f64 a a)) 2)) (/.f64 (pow.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)) 1/4) (cbrt.f64 (+.f64 a a))) (*.f64 b (/.f64 -1/2 a)))
174.0ms
theta
@inf
(log1p.f64 (*.f64 (sin.f64 theta) (cos.f64 phi1)))
167.0ms
a
@0
(/.f64 (fma.f64 4 (/.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 a a)) 2) (/.f64 (*.f64 x-scale x-scale) (*.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)))) (*.f64 (*.f64 -2 (+.f64 (/.f64 (pow.f64 (*.f64 b (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) a) 2) (*.f64 x-scale x-scale)))) (+.f64 (pow.f64 (*.f64 b (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) a) 2)))) (+.f64 (pow.f64 (*.f64 b (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) a) 2)))
147.0ms
b
@0
(fma.f64 (/.f64 (pow.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)) 1/4) (pow.f64 (cbrt.f64 (+.f64 a a)) 2)) (/.f64 (pow.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)) 1/4) (cbrt.f64 (+.f64 a a))) (*.f64 b (/.f64 -1/2 a)))

end9.8s (0.6%)

Compiler

Compiled 21290 to 10818 computations (49.2% saved)

preprocess5.0s (0.3%)

Algorithm
102×egg-herbie
Rules
64868×fma-def
19882×div-sub
18336×sub-neg
17302×distribute-lft-neg-in
16928×unsub-neg
Stop Event
57×saturated
9×unsound
36×node limit
Compiler

Compiled 1762 to 1250 computations (29.1% saved)

Profiling

Loading profile data...