Date:Thursday, March 30th, 2023
Commit:9a5a3e08 on main
Hostname:nightly with Racket 8.6
Seed:2023089
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: 2.7min)

sample47.3s (28.8%)

Results
15.2s113138×body256valid
14.5s27976×body1024valid
7.6s3267×body8192exit
4.2s14100×body512valid
2.1s4884×body1024invalid
1.2s1650×body2048valid
799.0ms3194×body256infinite
564.0ms2425×body512invalid
401.0ms2838×body256invalid
141.0ms202×body1024infinite
72.0ms227×body512infinite
25.0ms137×body256unsamplable
9.0ms3×body8192invalid
3.0ms2×body4096invalid
1.0ms3×body2048invalid
Bogosity

simplify22.8s (13.9%)

Algorithm
216×egg-herbie
Rules
111412×associate-*r*
109442×*-commutative
99622×distribute-lft-in
95716×associate-*l*
94630×associate-/l*
Stop Event
4×unsound
4×done
32×saturated
15×fuel
180×node limit
Counts
29935 → 33456
Compiler

Compiled 2279 to 1500 computations (34.2% saved)

eval18.4s (11.2%)

Compiler

Compiled 1132818 to 534845 computations (52.8% saved)

prune16.9s (10.3%)

Counts
42624 → 1854
Compiler

Compiled 52086 to 35585 computations (31.7% saved)

rewrite16.9s (10.3%)

Algorithm
178×batch-egg-rewrite
3×egg-rewrite
1×egg-rewrite-iter-limit
Rules
136724×add-sqr-sqrt
134528×*-un-lft-identity
125878×add-cube-cbrt
124736×add-cbrt-cube
85342×add-exp-log
Stop Event
1×iter limit
181×node limit
Counts
400 → 21632

regimes15.3s (9.3%)

Counts
4663 → 188
Calls

51 calls:

2.6s
x
1.7s
a
1.5s
b
1.3s
r
1.2s
c
Compiler

Compiled 61922 to 28633 computations (53.8% saved)

analyze11.4s (7%)

Algorithm
19×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%72.3%27.7%0%0%0%0
9.1%6.6%65.7%27.7%0%0%0%1
10.9%7.9%64.4%27.7%0%0%0%2
32.8%23.7%48.6%27.7%0%0%0%3
42.8%30.9%41.4%27.7%0%0%0%4
48.9%34.9%36.5%27.7%0%1%0%5
53.3%37.5%32.9%27.7%0.5%1.2%0.3%6
58.9%41%28.7%27.7%0.6%1.7%0.3%7
62.4%43.1%26%27.7%0.9%1.8%0.5%8
65.8%45.2%23.5%27.7%0.9%2.2%0.5%9
69.2%47.3%21%27.7%1.1%2.3%0.6%10
71.3%48.5%19.5%27.7%1.3%2.5%0.6%11
73.2%49.6%18.2%27.7%1.4%2.5%0.6%12
Compiler

Compiled 288 to 205 computations (28.8% saved)

bsearch3.8s (2.3%)

Algorithm
77×binary-search
2×left-value
Stop Event
61×narrow-enough
9×predicate-failed
7×predicate-same
Results
1.0s1872×body1024valid
912.0ms5359×body256valid
666.0ms944×body2048valid
560.0ms2118×body256invalid
258.0ms690×body512valid
109.0ms669×body256infinite
21.0ms70×body512infinite
19.0ms35×body1024infinite
Compiler

Compiled 13947 to 9794 computations (29.8% saved)

localize3.7s (2.2%)

Compiler

Compiled 8398 to 3892 computations (53.7% saved)

soundness2.7s (1.6%)

Algorithm
19×egg-herbie
Rules
12088×fma-def
10736×associate-*r*
10102×*-commutative
9222×sqr-pow
8766×associate-/r*
Stop Event
2×saturated
17×node limit
Compiler

Compiled 1134 to 608 computations (46.4% saved)

series2.4s (1.4%)

Counts
400 → 8284
Calls

2250 calls:

TimeVariablePointExpression
151.0ms
x
@inf
(pow.f64 (cos.f64 x) 3/2)
125.0ms
r
@-inf
(log.f64 (*.f64 (/.f64 r (cos.f64 b)) (sin.f64 b)))
75.0ms
x
@inf
(fmod.f64 (exp.f64 x) 1)
74.0ms
z
@inf
(log.f64 (+.f64 x (tan.f64 (+.f64 y z))))
72.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)

preprocess1.4s (0.8%)

Algorithm
38×egg-herbie
Rules
8532×fma-def
7066×sqr-pow
5672×associate-/l/
5048×unswap-sqr
4482×*-commutative
Stop Event
3×unsound
28×saturated
7×node limit
Compiler

Compiled 214 to 157 computations (26.6% saved)

end1.0s (0.6%)

Compiler

Compiled 2213 to 1102 computations (50.2% saved)

Profiling

Loading profile data...