Date:Sunday, March 5th, 2023
Commit:9578f0c3 on using-ruler-nightlies
Hostname:nightly with Racket 8.6
Seed:2023064
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.2min)

sample10.0min (39.6%)

Results
2.1min69871×body1024valid
2.1min15048×body8192exit
1.5min8816×body4096valid
1.4min294134×body256valid
52.6s14527×body2048valid
41.7s1684×body8192valid
28.2s34513×body512valid
13.8s6336×body1024infinite
7.7s21559×body256infinite
6.9s894×body4096infinite
6.1s1203×body2048infinite
5.4s21569×body256invalid
4.1s12445×body256unsamplable
4.0s3244×body512infinite
1.5s1726×body1024invalid
1.2s1161×body2048invalid
674.0ms36×body8192infinite
563.0ms1179×body512invalid
99.0ms925×body256precondition
5.0ms8×body512unsamplable
5.0ms3×body1024unsamplable
Bogosity

eval3.8min (15.2%)

Results
Compiler

Compiled 6993741 to 4626209 computations (33.9% saved)

simplify3.2min (12.8%)

Algorithm
697×egg-herbie
Rules
931236×rational.json-simplify-35
769214×rational.json-simplify-2
592624×rational.json-simplify-41
536710×rational.json-simplify-51
533882×rational.json-simplify-1
Stop Event
54×saturated
9×done
39×fuel
643×node limit
Counts
70257 → 73062
Compiler

Compiled 16553 to 10688 computations (35.4% saved)

regimes2.8min (11%)

Counts
13678 → 882
Calls

139 calls:

26.7s
phi2
14.3s
phi1
9.6s
lambda2
9.2s
a
8.2s
lambda1
Results
Compiler

Compiled 286392 to 165090 computations (42.4% saved)

rewrite1.0min (4%)

Algorithm
598×batch-egg-rewrite
Rules
890988×bool.json-1
865262×bool.json-2
747826×rational.json-1
675676×rational.json-2
622946×bool.json-3
Stop Event
598×node limit
Counts
1468 → 36786

prune57.0s (3.8%)

Counts
112424 → 5064
Results
Compiler

Compiled 262725 to 194548 computations (25.9% saved)

analyze55.4s (3.7%)

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)

bsearch50.8s (3.4%)

Algorithm
431×binary-search
74×left-value
Results
18.6s11741×body1024valid
10.7s32824×body256valid
8.0s1446×body4096valid
6.6s2513×body2048valid
4.7s5058×body512valid
476.0ms1684×body256invalid
135.0ms21×body2048infinite
102.0ms15×body4096infinite
94.0ms11×body1024invalid
62.0ms348×body256infinite
27.0ms2×body8192infinite
27.0ms2×body8192valid
22.0ms9×body1024infinite
11.0ms27×body512invalid
8.0ms4×body512infinite
Compiler

Compiled 135583 to 101340 computations (25.3% saved)

localize46.9s (3.1%)

Compiler

Compiled 88993 to 51997 computations (41.6% saved)

preprocess15.6s (1%)

Algorithm
102×egg-herbie
Rules
83824×rational.json-simplify-41
69300×rational.json-simplify-35
45472×rational.json-simplify-1
37356×rational.json-simplify-51
33822×rational.json-simplify-2
Stop Event
48×saturated
6×unsound
48×node limit
Compiler

Compiled 1762 to 1250 computations (29.1% saved)

soundness13.7s (0.9%)

Algorithm
82×egg-herbie
Rules
111400×rational.json-simplify-35
81342×rational.json-simplify-2
74378×rational.json-simplify-51
57956×rational.json-simplify-1
53932×rational.json-simplify-41
Stop Event
1×saturated
81×node limit
Compiler

Compiled 9669 to 6218 computations (35.7% saved)

series11.9s (0.8%)

Counts
1468 → 33420
Calls

9315 calls:

TimeVariablePointExpression
513.0ms
B
@0
(/.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 A (*.f64 4 C))) F) (+.f64 A (+.f64 C (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 (-.f64 A C) 2)))))))) (-.f64 (*.f64 A (*.f64 4 C)) (pow.f64 B 2)))
479.0ms
F
@0
(/.f64 (neg.f64 (+.f64 (*.f64 (*.f64 (sqrt.f64 2) B) (neg.f64 (sqrt.f64 (*.f64 F (+.f64 A (*.f64 C 2)))))) (*.f64 2 (*.f64 (*.f64 A C) (*.f64 (sqrt.f64 (*.f64 F (+.f64 A (*.f64 C 2)))) (/.f64 (sqrt.f64 2) B)))))) (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 A C))))
257.0ms
x
@0
(*.f64 (pow.f64 x 3) -1/3)
187.0ms
a
@0
(-.f64 (*.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (*.f64 angle (*.f64 (PI.f64) 1/180))) (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)))
105.0ms
a
@inf
(-.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (*.f64 (*.f64 2 (/.f64 (*.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) y-scale)) (*.f64 (/.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle -180))) x-scale) (/.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle -180))) (*.f64 x-scale y-scale))))) (*.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 (PI.f64) (/.f64 angle -180)))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (PI.f64) (/.f64 angle -180)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale)))))

end10.9s (0.7%)

Compiler

Compiled 16518 to 8637 computations (47.7% saved)

Profiling

Loading profile data...