Date:Wednesday, March 1st, 2023
Commit:b6e17b25 on asinh-taylor-bug
Hostname:nightly with Racket 8.6
Seed:2023060
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.5min)

sample1.5min (23.8%)

Results
47.7s297001×body256valid
19.1s14804×body2048valid
11.7s21835×body1024valid
5.5s18943×body256infinite
4.0s12274×body512valid
1.8s202×body8192exit
663.0ms838×body4096valid
505.0ms2908×body256invalid
140.0ms217×body1024infinite
88.0ms238×body512infinite
65.0ms418×body256unsamplable
16.0ms17×body2048infinite
Bogosity

eval1.2min (18.4%)

Compiler

Compiled 3403777 to 1977140 computations (41.9% saved)

simplify55.6s (14.4%)

Algorithm
505×egg-herbie
Rules
270924×associate-*r*
250294×*-commutative
246280×associate-/l*
241276×associate-/r*
236454×associate-*l*
Stop Event
14×done
1×unsound
59×saturated
28×fuel
445×node limit
Counts
71248 → 88631
Compiler

Compiled 8029 to 4937 computations (38.5% saved)

rewrite41.9s (10.8%)

Algorithm
421×batch-egg-rewrite
9×egg-rewrite
5×egg-rewrite-iter-limit
Rules
307388×add-sqr-sqrt
301152×*-un-lft-identity
283952×add-cube-cbrt
276894×add-cbrt-cube
158416×add-exp-log
Stop Event
5×iter limit
430×node limit
Counts
948 → 51814

prune37.7s (9.7%)

Counts
109591 → 2291
Compiler

Compiled 67720 to 45498 computations (32.8% saved)

regimes34.5s (8.9%)

Counts
4894 → 571
Calls

94 calls:

6.1s
a
5.5s
c
5.2s
b
2.2s
d
1.9s
v
Compiler

Compiled 77361 to 43305 computations (44% saved)

localize15.0s (3.9%)

Compiler

Compiled 32246 to 18173 computations (43.6% saved)

analyze11.2s (2.9%)

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)

bsearch10.3s (2.6%)

Algorithm
324×binary-search
7×left-value
Results
6.8s35833×body256valid
1.1s2201×body1024valid
438.0ms1570×body512valid
332.0ms1328×body256infinite
314.0ms391×body2048valid
300.0ms381×body1024infinite
222.0ms2128×body256invalid
87.0ms182×body512infinite
10.0ms5×body4096valid
Compiler

Compiled 77776 to 53135 computations (31.7% saved)

soundness8.0s (2.1%)

Algorithm
57×egg-herbie
Rules
36330×fma-def
34220×associate-*r*
33508×*-commutative
29442×associate-*l*
28576×+-commutative
Stop Event
6×saturated
51×node limit
Compiler

Compiled 6310 to 3839 computations (39.2% saved)

series3.5s (0.9%)

Counts
948 → 19392
Calls

5262 calls:

TimeVariablePointExpression
174.0ms
t
@0
(*.f64 (pow.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) (pow.f64 (pow.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) 3))
135.0ms
x
@inf
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 (exp.f64 (*.f64 10 x)) x) (cos.f64 x))) 3)
104.0ms
eps
@0
(*.f64 5 (log.f64 eps))
93.0ms
t
@0
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 3) 3)
60.0ms
x2
@-inf
(+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (-.f64 (+.f64 (*.f64 -4 x1) (+.f64 (*.f64 6 (pow.f64 x1 2)) (*.f64 4 (-.f64 (*.f64 2 x2) 3)))) 6) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))))

end3.3s (0.9%)

Compiler

Compiled 7668 to 3965 computations (48.3% saved)

preprocess2.9s (0.7%)

Algorithm
84×egg-herbie
Rules
23512×fma-def
17930×distribute-lft-in
17024×*-commutative
15010×+-commutative
14462×distribute-rgt-in
Stop Event
5×unsound
54×saturated
25×node limit
Compiler

Compiled 913 to 679 computations (25.6% saved)

Profiling

Loading profile data...