Date:Friday, November 4th, 2022
Commit:3b7366bf on main
Hostname:warfa with Racket 8.6
Seed:2022308
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: 6.4min)

sample2.0min (31%)

Results
1.0min297104×body256valid
25.0s14915×body2048valid
14.7s21789×body1024valid
7.4s19138×body256infinite
4.9s12121×body512valid
2.1s202×body8192exit
835.0ms2914×body256invalid
803.0ms823×body4096valid
219.0ms244×body512infinite
165.0ms224×body1024infinite
89.0ms417×body256unsamplable
38.0ms25×body2048infinite
Bogosity

eval45.3s (11.8%)

Compiler

Compiled 1741485 to 1010634 computations (42% saved)

simplify43.3s (11.3%)

Algorithm
482×egg-herbie
Rules
155883×fma-def_binary64
109791×unswap-sqr_binary64
108456×associate-*l*_binary64
88026×times-frac_binary64
87355×associate-*r*_binary64
Stop Event
13×done
128×saturated
29×fuel
354×node limit
Counts
59929 → 50435
Compiler

Compiled 9328 to 5691 computations (39% saved)

regimes42.8s (11.2%)

Counts
4810 → 591
Calls

94 calls:

7.2s
a
6.2s
b
5.7s
c
2.7s
d
1.8s
v
Compiler

Compiled 80192 to 47103 computations (41.3% saved)

rewrite37.5s (9.8%)

Algorithm
398×batch-egg-rewrite
Rules
152304×pow1_binary64
143343×add-log-exp_binary64
143303×expm1-log1p-u_binary64
143299×log1p-expm1-u_binary64
128392×add-exp-log_binary64
Stop Event
398×node limit
Counts
956 → 41461

bsearch28.4s (7.4%)

Algorithm
333×binary-search
11×left-value
Compiler

Compiled 25856 to 18075 computations (30.1% saved)

prune17.0s (4.4%)

Counts
65055 → 2166
Compiler

Compiled 62786 to 43411 computations (30.9% saved)

localize15.7s (4.1%)

Compiler

Compiled 28685 to 16264 computations (43.3% saved)

analyze14.6s (3.8%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
6.4%3.5%51%45.5%0%0%0%1
6.4%3.5%51%45.5%0%0%0%2
20.5%10.9%42.4%45.5%0%1.2%0%3
26.9%14.3%38.7%45.5%0%1.5%0%4
34.9%18.2%34%45.6%0.6%1.7%0%5
38.2%19.4%31.4%45.6%1.9%1.7%0%6
44.8%22%27.2%45.6%3%2.2%0%7
48.2%23.4%25.2%45.7%3.6%2.2%0.1%8
52.7%25%22.5%45.7%4.1%2.5%0.1%9
57.3%26.9%20%45.7%4.5%2.7%0.2%10
61%28.3%18%45.7%4.9%2.8%0.2%11
64.7%29.7%16.2%45.7%5.2%2.9%0.3%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

soundness5.6s (1.4%)

Algorithm
40×egg-herbie
Rules
16419×fma-def_binary64
16274×fma-neg_binary64
12222×times-frac_binary64
7942×associate-/l*_binary64
7156×div-sub_binary64
Stop Event
9×saturated
31×node limit
Compiler

Compiled 20407 to 14754 computations (27.7% saved)

series5.5s (1.4%)

Counts
956 → 18426
Calls

5103 calls:

TimeVariablePointExpression
179.0ms
t
@0
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 3) 2)
151.0ms
t
@0
(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 9)
141.0ms
x
@-inf
(*.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 x y) (hypot.f64 x y)) 3)) (/.f64 (+.f64 x y) (hypot.f64 x y)))
112.0ms
i
@-inf
(*.f64 (/.f64 n i) (+.f64 (*.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n)) -100))
109.0ms
b
@inf
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a))

end5.3s (1.4%)

Compiler

Compiled 9037 to 4776 computations (47.2% saved)

preprocess3.7s (1%)

Algorithm
84×egg-herbie
Rules
15213×fma-def_binary64
8199×fma-neg_binary64
7730×distribute-rgt-in_binary64
5512×unsub-neg_binary64
5438×div-sub_binary64
Stop Event
6×unsound
53×saturated
25×node limit
Compiler

Compiled 913 to 679 computations (25.6% saved)

Profiling

Loading profile data...