Date:Wednesday, February 22nd, 2023
Commit:5b1a5e90 on using-ruler-nightlies
Hostname:nightly with Racket 8.6
Seed:2023053
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: 17.7min)

sample8.4min (47.4%)

Results
2.7min17181×body8192exit
1.3min69035×body1024valid
1.1min8861×body4096valid
58.4s295464×body256valid
39.0s14521×body2048valid
32.1s1673×body8192valid
21.8s35051×body512valid
10.6s6209×body1024infinite
6.4s862×body4096infinite
5.9s1158×body2048infinite
5.7s21126×body256infinite
5.3s17184×body256unsamplable
4.0s21615×body256invalid
3.1s3238×body512infinite
1.3s1641×body1024invalid
995.0ms1160×body2048invalid
762.0ms1173×body512invalid
640.0ms40×body8192infinite
95.0ms830×body256precondition
6.0ms1×body4096unsamplable
4.0ms6×body512unsamplable
1.0ms1×body1024unsamplable
Bogosity

eval2.2min (12.3%)

Compiler

Compiled 5335621 to 3753031 computations (29.7% saved)

bsearch1.9min (10.6%)

Algorithm
560×binary-search
73×left-value
Results
36.4s15020×body1024valid
29.0s3515×body4096valid
17.0s39682×body256valid
15.9s4941×body2048valid
7.9s5969×body512valid
2.9s121×body8192valid
353.0ms86×body1024infinite
279.0ms1464×body256invalid
237.0ms39×body4096infinite
161.0ms39×body2048infinite
155.0ms399×body256infinite
112.0ms47×body512infinite
2.0ms4×body1024invalid
1.0ms3×body512invalid
Compiler

Compiled 194941 to 152571 computations (21.7% saved)

simplify1.6min (8.8%)

Algorithm
621×egg-herbie
Rules
343532×rational.json-simplify-31
299168×rational.json-simplify-2
212732×rational.json-simplify-1
204794×rational.json-simplify-27
160680×rational.json-simplify-41
Stop Event
530×saturated
14×done
37×fuel
91×node limit
Counts
30928 → 33083
Compiler

Compiled 20145 to 13621 computations (32.4% saved)

regimes1.4min (7.7%)

Counts
8712 → 993
Calls

130 calls:

6.6s
y-scale
5.1s
A
5.0s
b
4.8s
x-scale
4.7s
B
Compiler

Compiled 213873 to 130771 computations (38.9% saved)

analyze40.3s (3.8%)

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.1s (3.6%)

Compiler

Compiled 95784 to 59479 computations (37.9% saved)

prune19.5s (1.8%)

Counts
53518 → 3531
Compiler

Compiled 203421 to 152452 computations (25.1% saved)

soundness12.4s (1.2%)

Algorithm
97×egg-herbie
Rules
97122×rational.json-simplify-31
87454×rational.json-simplify-2
82630×rational.json-simplify-27
63522×rational.json-simplify-1
58848×rational.json-simplify-41
Stop Event
63×saturated
34×node limit
Compiler

Compiled 11198 to 7778 computations (30.5% saved)

rewrite10.6s (1%)

Algorithm
519×batch-egg-rewrite
Rules
140268×rational.json-simplify-31
91852×rational.json-simplify-2
66566×bool.json-1
61090×rational.json-1
61064×rational.json-2
Stop Event
496×saturated
23×node limit
Counts
1249 → 5534

series8.7s (0.8%)

Counts
1249 → 25343
Calls

7602 calls:

TimeVariablePointExpression
329.0ms
b
@0
(*.f64 (pow.f64 a 2) (-.f64 (*.f64 -8 (/.f64 (*.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (*.f64 (pow.f64 b 2) (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2))) (pow.f64 y-scale 2))) (*.f64 4 (+.f64 (/.f64 (pow.f64 b 2) (pow.f64 y-scale 2)) (/.f64 (*.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4)) (pow.f64 y-scale 2))))))
157.0ms
B
@0
(/.f64 (sqrt.f64 (*.f64 2 (*.f64 (-.f64 A (-.f64 (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 (-.f64 A C) 2))) C)) (*.f64 (-.f64 (pow.f64 B 2) (*.f64 A (*.f64 C 4))) F)))) (-.f64 (*.f64 4 (*.f64 A C)) (pow.f64 B 2)))
150.0ms
C
@-inf
(sqrt.f64 (*.f64 2 (+.f64 (*.f64 (pow.f64 B 2) (*.f64 F (+.f64 C (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 C 2)))))) (*.f64 A (+.f64 (*.f64 F (*.f64 (+.f64 1 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 B 2) (pow.f64 C 2)))) (neg.f64 C))) (pow.f64 B 2))) (*.f64 (+.f64 C (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 C 2)))) (*.f64 C (*.f64 -4 F))))))))
122.0ms
angle
@inf
(sqrt.f64 (+.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2))) (sqrt.f64 (+.f64 (*.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2)))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2))) 2)))))
66.0ms
a
@0
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))

end8.1s (0.8%)

Compiler

Compiled 19774 to 11506 computations (41.8% saved)

preprocess2.5s (0.2%)

Algorithm
102×egg-herbie
Rules
34094×rational.json-simplify-31
27724×rational.json-simplify-27
26976×rational.json-simplify-2
20002×rational.json-simplify-41
13320×rational.json-simplify-1
Stop Event
88×saturated
6×unsound
8×node limit
Compiler

Compiled 1762 to 1250 computations (29.1% saved)

Profiling

Loading profile data...