Date:Monday, January 16th, 2023
Commit:e61c3a2b on new-nightly-report
Hostname:nightly with Racket 8.6
Seed:2023016
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.2min)

sample8.7min (37.3%)

Results
2.7min17134×body8192exit
1.4min70556×body1024valid
1.1min8960×body4096valid
1.0min294247×body256valid
39.0s14509×body2048valid
33.2s1662×body8192valid
22.5s34669×body512valid
12.1s6334×body1024infinite
6.5s21494×body256infinite
6.3s867×body4096infinite
5.5s17222×body256unsamplable
5.3s1205×body2048infinite
4.1s21655×body256invalid
3.7s3183×body512infinite
1.2s1207×body2048invalid
1.1s1691×body1024invalid
537.0ms1217×body512invalid
474.0ms34×body8192infinite
94.0ms881×body256precondition
7.0ms5×body1024unsamplable
6.0ms8×body512unsamplable
Bogosity

regimes3.6min (15.7%)

Counts
25153 → 1054
Calls

143 calls:

12.1s
a
11.4s
lambda2
11.1s
C
11.0s
A
10.5s
F
Compiler

Compiled 656417 to 330658 computations (49.6% saved)

eval3.1min (13.5%)

Compiler

Compiled 10062892 to 5564833 computations (44.7% saved)

simplify1.7min (7.5%)

Algorithm
779×egg-herbie
Rules
465416×associate-*r*
431734×*-commutative
403430×associate-/l*
402052×associate-*l*
376244×associate-/r*
Stop Event
4×unsound
69×saturated
6×done
44×fuel
706×node limit
Counts
125030 → 150039
Compiler

Compiled 19626 to 12393 computations (36.9% saved)

prune1.5min (6.6%)

Counts
209406 → 8815
Compiler

Compiled 519271 to 358797 computations (30.9% saved)

bsearch1.4min (5.8%)

Algorithm
507×binary-search
82×left-value
Results
21.9s2648×body4096valid
19.7s11737×body1024valid
12.8s4625×body2048valid
11.6s39357×body256valid
6.6s360×body8192valid
5.3s5320×body512valid
790.0ms3965×body256invalid
491.0ms99×body2048infinite
236.0ms39×body4096infinite
150.0ms62×body1024infinite
108.0ms393×body256infinite
46.0ms33×body512infinite
4.0ms7×body1024invalid
4.0ms10×body512invalid
Compiler

Compiled 172095 to 125360 computations (27.2% saved)

rewrite1.1min (4.6%)

Algorithm
678×batch-egg-rewrite
4×egg-rewrite-iter-limit
2×egg-rewrite
Rules
421578×add-sqr-sqrt
413350×*-un-lft-identity
388324×add-cube-cbrt
382612×add-cbrt-cube
272924×add-exp-log
Stop Event
5×unsound
4×iter limit
675×node limit
Counts
1735 → 84011

analyze44.0s (3.2%)

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.4s (2.8%)

Compiler

Compiled 91985 to 45686 computations (50.3% saved)

soundness18.9s (1.4%)

Algorithm
137×egg-herbie
Rules
85638×*-commutative
74590×+-commutative
73896×associate-*r*
71656×associate-/r*
70768×associate-+r+
Stop Event
15×saturated
122×node limit
Compiler

Compiled 18496 to 10776 computations (41.7% saved)

series14.3s (1%)

Counts
1735 → 40968
Calls

11091 calls:

TimeVariablePointExpression
263.0ms
b
@0
(/.f64 (-.f64 (-.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 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (/.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))) 2) (pow.f64 (/.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) (*.f64 y-scale x-scale)) 2)))) (/.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) (*.f64 y-scale x-scale)))
136.0ms
lambda1
@-inf
(log.f64 (+.f64 1 (expm1.f64 (acos.f64 (fma.f64 (sin.f64 phi1) (sin.f64 phi2) (*.f64 (cos.f64 phi2) (*.f64 (cos.f64 phi1) (+.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2))))))))))
101.0ms
a
@0
(log.f64 (pow.f64 (exp.f64 a) -2))
90.0ms
F
@inf
(/.f64 (pow.f64 (fma.f64 -4 (*.f64 C A) (*.f64 B B)) 2) (*.f64 (*.f64 2 F) (+.f64 (+.f64 C A) (hypot.f64 B (-.f64 A C)))))
87.0ms
F
@0
(log.f64 (*.f64 (+.f64 A (hypot.f64 B A)) F))

end7.4s (0.5%)

Compiler

Compiled 18698 to 8925 computations (52.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...