Date:Tuesday, May 9th, 2023
Commit:0e771114 on x86-arm-m1-bug
Hostname:nightly with Racket 8.6
Seed:2023129
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.4min)

sample8.6min (33.8%)

Results
2.7min16620×body8192exit
1.4min69459×body1024valid
1.2min8927×body4096valid
1.0min295147×body256valid
39.7s14436×body2048valid
29.8s1526×body8192valid
21.3s35054×body512valid
11.2s6166×body1024infinite
6.8s863×body4096infinite
6.6s21326×body256infinite
5.7s1205×body2048infinite
5.3s16662×body256unsamplable
4.2s21586×body256invalid
3.5s3222×body512infinite
1.1s1670×body1024invalid
1.0s1212×body2048invalid
521.0ms1221×body512invalid
348.0ms25×body8192infinite
111.0ms896×body256precondition
14.0ms7×body1024unsamplable
8.0ms1×body2048unsamplable
6.0ms8×body512unsamplable
Bogosity

regimes4.7min (18.4%)

Counts
31187 → 1269
Calls

143 calls:

15.4s
a
15.1s
phi2
15.1s
b
14.8s
B
13.8s
lambda2
Results
Compiler

Compiled 839279 to 426870 computations (49.1% saved)

eval3.5min (13.7%)

Compiler

Compiled 10870450 to 6041707 computations (44.4% saved)

simplify1.9min (7.4%)

Algorithm
799×egg-herbie
Rules
473372×associate-*r*
425736×*-commutative
425696×associate-/l*
405004×associate-*l*
391702×distribute-lft-in
Stop Event
7×unsound
68×saturated
6×done
44×fuel
724×node limit
Counts
126592 → 155180
Compiler

Compiled 24207 to 15455 computations (36.2% saved)

bsearch1.9min (7.3%)

Algorithm
696×binary-search
53×left-value
Stop Event
669×narrow-enough
27×predicate-same
Results
30.6s15968×body1024valid
22.8s2696×body4096valid
18.5s49778×body256valid
17.2s5731×body2048valid
8.3s7394×body512valid
7.0s369×body8192valid
1.2s199×body2048infinite
1.1s4096×body256invalid
1.0s142×body4096infinite
636.0ms200×body1024infinite
583.0ms780×body256infinite
225.0ms89×body512infinite
164.0ms12×body8192infinite
13.0ms21×body1024invalid
3.0ms8×body512invalid
2.0ms27×body256unsamplable
Compiler

Compiled 243270 to 175647 computations (27.8% saved)

prune1.7min (6.5%)

Counts
218827 → 9376
Compiler

Compiled 521727 to 361955 computations (30.6% saved)

rewrite1.1min (4.3%)

Algorithm
698×batch-egg-rewrite
6×egg-rewrite-iter-limit
5×egg-rewrite
Rules
424866×add-sqr-sqrt
416394×*-un-lft-identity
391358×add-cube-cbrt
388970×add-cbrt-cube
281504×add-exp-log
Stop Event
8×unsound
6×iter limit
695×node limit
Counts
1752 → 85825

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

localize39.2s (2.6%)

Compiler

Compiled 94782 to 46995 computations (50.4% saved)

soundness20.1s (1.3%)

Algorithm
139×egg-herbie
Rules
87262×associate-*r*
81530×*-commutative
77980×+-commutative
73454×associate-+r+
71596×associate-/l*
Stop Event
1×unsound
12×saturated
126×node limit
Compiler

Compiled 19674 to 11452 computations (41.8% saved)

series15.7s (1%)

Counts
1752 → 40716
Calls

11214 calls:

TimeVariablePointExpression
346.0ms
lambda1
@-inf
(log.f64 (+.f64 1 (expm1.f64 (acos.f64 (fma.f64 phi1 (sin.f64 phi2) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (cos.f64 (-.f64 lambda1 lambda2)))))))))
330.0ms
a
@-inf
(/.f64 (-.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -3) (*.f64 b b)))) a)
325.0ms
y-scale
@-inf
(*.f64 (*.f64 a (/.f64 (/.f64 b x-scale) x-scale)) (*.f64 a (/.f64 b (*.f64 y-scale y-scale))))
258.0ms
y-scale
@-inf
(/.f64 (-.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)) y-scale) y-scale) (/.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)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.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)) 2) (pow.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) 2)))) (/.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))
133.0ms
phi1
@-inf
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (cos.f64 phi2) (cos.f64 phi1))))))

end8.3s (0.5%)

Compiler

Compiled 22855 to 11187 computations (51.1% saved)

preprocess4.3s (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...