Date:Wednesday, February 8th, 2023
Commit:bca17af9 on oflatt-ian-bench
Hostname:nightly with Racket 8.6
Seed:2023039
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.8min)

sample47.2s (27.8%)

Results
15.3s113220×body256valid
12.9s27899×body1024valid
9.1s3290×body8192exit
4.0s14083×body512valid
2.2s4957×body1024invalid
1.2s1662×body2048valid
649.0ms3326×body256infinite
634.0ms2433×body512invalid
366.0ms2874×body256invalid
165.0ms226×body512infinite
155.0ms235×body1024infinite
33.0ms167×body256unsamplable
8.0ms3×body8192invalid
6.0ms11×body2048invalid
4.0ms3×body4096invalid
Bogosity

simplify25.0s (14.8%)

Algorithm
240×egg-herbie
Rules
132084×associate-*r*
125234×*-commutative
112636×associate-/l*
111922×distribute-lft-in
109768×associate-*l*
Stop Event
3×unsound
2×done
32×saturated
17×fuel
205×node limit
Counts
33888 → 39551
Compiler

Compiled 1680 to 1091 computations (35.1% saved)

eval23.4s (13.8%)

Compiler

Compiled 1329382 to 645701 computations (51.4% saved)

rewrite18.9s (11.1%)

Algorithm
202×batch-egg-rewrite
2×egg-rewrite
1×egg-rewrite-iter-limit
Rules
161784×add-sqr-sqrt
159058×*-un-lft-identity
149000×add-cube-cbrt
147604×add-cbrt-cube
88250×add-exp-log
Stop Event
1×iter limit
204×node limit
Counts
472 → 24731

prune16.9s (9.9%)

Counts
50112 → 1752
Compiler

Compiled 47577 to 31397 computations (34% saved)

regimes13.2s (7.8%)

Counts
3382 → 132
Calls

51 calls:

1.6s
a
1.4s
x
1.1s
b
886.0ms
(tan.f64 a)
814.0ms
y
Compiler

Compiled 45787 to 20368 computations (55.5% saved)

analyze11.8s (6.9%)

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)

localize4.1s (2.4%)

Compiler

Compiled 8845 to 3967 computations (55.1% saved)

series2.6s (1.6%)

Counts
472 → 9138
Calls

2472 calls:

TimeVariablePointExpression
297.0ms
x
@inf
(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
117.0ms
x
@0
(sqrt.f64 (cbrt.f64 (hypot.f64 x x)))
96.0ms
x
@-inf
(-.f64 (-.f64 (*.f64 1/2 (PI.f64)) (log.f64 (cbrt.f64 (exp.f64 (*.f64 2 (asin.f64 (-.f64 1 x))))))) (log.f64 (cbrt.f64 (exp.f64 (asin.f64 (-.f64 1 x))))))
64.0ms
lo
@inf
(log.f64 (+.f64 1 (expm1.f64 (+.f64 (/.f64 lo hi) 1))))
63.0ms
w
@-inf
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))) 3) 3)

soundness2.6s (1.5%)

Algorithm
22×egg-herbie
Rules
12826×associate-/r*
12326×*-commutative
11510×sqr-pow
11266×fma-def
10818×associate-*r*
Stop Event
2×saturated
20×node limit
Compiler

Compiled 1295 to 634 computations (51% saved)

bsearch1.8s (1.1%)

Algorithm
45×binary-search
3×left-value
Results
645.0ms4321×body256valid
415.0ms729×body1024valid
211.0ms1697×body256invalid
127.0ms742×body256infinite
126.0ms346×body512valid
40.0ms85×body1024infinite
38.0ms50×body2048valid
28.0ms92×body512infinite
12.0ms99×body256unsamplable
Compiler

Compiled 9580 to 6605 computations (31.1% saved)

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

end987.0ms (0.6%)

Compiler

Compiled 1676 to 865 computations (48.4% saved)

Profiling

Loading profile data...