Details

analyze1.1s

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0.4%	99.4%	0.2%	10
5.6%	94.2%	0.2%	11
7.1%	92.7%	0.2%	12
8.8%	91%	0.2%	13
15.6%	84.2%	0.2%	14

sample32.0ms

Algorithm

intervals

Results

10.0ms	256×	body	80	valid
1.0ms	26×	body	80	invalid

simplify107.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (93.0ms)

Iter	Nodes	Cost
0	5632	19

prune8.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 2.0b

Counts

2 → 1

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b	(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
0.0b	(/.f64 (+.f64 (-.f64 t z) 1) a)
11.7b	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a))

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

239×	`*-un-lft-identity_binary64_5710`
203×	`times-frac_binary64_5705`
136×	`add-sqr-sqrt_binary64_5695`
87×	`add-cube-cbrt_binary64_5681`
44×	`distribute-lft-out_binary64_5754`
43×	`distribute-lft-out--_binary64_5755`
23×	`difference-of-squares_binary64_5739`
22×	`associate-/r*_binary64_5773`
10×	`add-exp-log_binary64_5674` `add-cbrt-cube_binary64_5682` `associate-/l*_binary64_5774`
8×	`div-inv_binary64_5711`
5×	`add-log-exp_binary64_5675`
4×	`div-exp_binary64_5663` `cbrt-undiv_binary64_5680` `associate-/l/_binary64_5776`
3×	`div-sub_binary64_5704` `pow1_binary64_5656`
2×	`clear-num_binary64_5713` `frac-2neg_binary64_5703` `flip--_binary64_5736` `flip3--_binary64_5709`
1×	`sub-neg_binary64_5714` `diff-log_binary64_5626` `associate-+l-_binary64_5764` `associate--r-_binary64_5768` `flip3-+_binary64_5708` `associate-/r/_binary64_5775` `flip-+_binary64_5735`

Counts

3 → 191

Calls

3 calls:

34.0ms	(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
8.0ms	(/.f64 (+.f64 (-.f64 t z) 1) a)
13.0ms	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a))

series269.0ms

Counts

3 → 9

Calls

3 calls:

112.0ms	(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
29.0ms	(/.f64 (+.f64 (-.f64 t z) 1) a)
129.0ms	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a))

simplify112.0ms

Algorithm

egg-herbie

Counts

200 → 200

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5087	5400

prune571.0ms

Filtered

120 candidates to 200 candidates (-66.7%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	196	4	200
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	197	4	201

Merged error: 0b

Counts

201 → 4

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1))
0.0b	(-.f64 x (*.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) a))
0.8b	(*.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) a)

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

104×	`*-un-lft-identity_binary64_5710`
54×	`add-sqr-sqrt_binary64_5695`
51×	`times-frac_binary64_5705`
31×	`associate-l_binary64_5770`
27×	`add-cube-cbrt_binary64_5681`
22×	`distribute-lft-out--_binary64_5755` `distribute-lft-out_binary64_5754`
11×	`difference-of-squares_binary64_5739`
10×	`add-exp-log_binary64_5674` `add-cbrt-cube_binary64_5682`
5×	`associate-/r_binary64_5773` `associate-/l_binary64_5774` `pow1_binary64_5656` `add-log-exp_binary64_5675`
4×	`associate-/r/_binary64_5775`
3×	`associate-r_binary64_5769`
2×	`cbrt-unprod_binary64_5679` `div-exp_binary64_5663` `flip--_binary64_5736` `unswap-sqr_binary64_5738` `prod-exp_binary64_5661` `cbrt-undiv_binary64_5680` `flip3-+_binary64_5708` `associate-/l/_binary64_5776` `flip3--_binary64_5709` `div-inv_binary64_5711` `flip-+_binary64_5735`
1×	`sub-neg_binary64_5714` `clear-num_binary64_5713` `diff-log_binary64_5626` `div-sub_binary64_5704` `frac-2neg_binary64_5703` `associate-l/_binary64_5772` `-commutative_binary64_5778` `pow-prod-down_binary64_5637`

Counts

3 → 113

Calls

3 calls:

10.0ms	(/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1))
3.0ms	(-.f64 x (*.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) a))
23.0ms	(*.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) a)

series291.0ms

Counts

3 → 9

Calls

3 calls:

50.0ms	(/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1))
111.0ms	(-.f64 x (*.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) a))
131.0ms	(*.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) a)

simplify101.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	5663	2426

prune595.0ms

Filtered

79 candidates to 122 candidates (-54.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	121	1	122
Fresh	1	2	3
Picked	0	1	1
Done	0	0	0
Total	122	4	126

Merged error: 0b

Counts

126 → 4

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (+.f64 (-.f64 t z) 1) a)
0.0b	(/.f64 (+.f64 (-.f64 t z) 1) a)
5.8b	(/.f64 y (/.f64 (+.f64 (-.f64 t z) 1) a))
9.3b	(/.f64 z (/.f64 (+.f64 (-.f64 t z) 1) a))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

296×	`*-un-lft-identity_binary64_5710`
264×	`times-frac_binary64_5705`
136×	`add-sqr-sqrt_binary64_5695` `add-cube-cbrt_binary64_5681`
64×	`distribute-lft-out_binary64_5754`
44×	`associate-/r*_binary64_5773`
32×	`distribute-lft-out--_binary64_5755`
18×	`add-exp-log_binary64_5674` `add-cbrt-cube_binary64_5682`
16×	`associate-/l*_binary64_5774`
12×	`div-inv_binary64_5711`
8×	`div-exp_binary64_5663` `cbrt-undiv_binary64_5680`
4×	`clear-num_binary64_5713` `frac-2neg_binary64_5703` `associate-/l/_binary64_5776` `pow1_binary64_5656` `add-log-exp_binary64_5675`
2×	`div-sub_binary64_5704` `associate-+l-_binary64_5764` `flip3-+_binary64_5708` `associate-/r/_binary64_5775` `flip-+_binary64_5735`

Counts

4 → 264

Calls

4 calls:

9.0ms	(/.f64 (+.f64 (-.f64 t z) 1) a)
8.0ms	(/.f64 (+.f64 (-.f64 t z) 1) a)
10.0ms	(/.f64 y (/.f64 (+.f64 (-.f64 t z) 1) a))
10.0ms	(/.f64 z (/.f64 (+.f64 (-.f64 t z) 1) a))

series281.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(/.f64 (+.f64 (-.f64 t z) 1) a)
25.0ms	(/.f64 (+.f64 (-.f64 t z) 1) a)
126.0ms	(/.f64 y (/.f64 (+.f64 (-.f64 t z) 1) a))
105.0ms	(/.f64 z (/.f64 (+.f64 (-.f64 t z) 1) a))

simplify114.0ms

Algorithm

egg-herbie

Counts

276 → 276

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5055	5942

prune898.0ms

Filtered

174 candidates to 276 candidates (-58.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	276	0	276
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	276	4	280

Merged error: 0b

Counts

280 → 4

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b	(-.f64 x (/.f64 (*.f64 (-.f64 y z) a) (+.f64 (-.f64 t z) 1)))
0.0b	(*.f64 (-.f64 y z) a)
6.5b	(/.f64 (*.f64 (-.f64 y z) a) (+.f64 (-.f64 t z) 1))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

21×	`*-un-lft-identity_binary64_5710`
13×	`add-sqr-sqrt_binary64_5695`
10×	`add-exp-log_binary64_5674` `add-cbrt-cube_binary64_5682`
7×	`add-cube-cbrt_binary64_5681`
5×	`associate-l_binary64_5770` `associate-/r*_binary64_5773` `times-frac_binary64_5705` `pow1_binary64_5656` `add-log-exp_binary64_5675`
4×	`distribute-lft-out--_binary64_5755` `associate-*l/_binary64_5772` `distribute-lft-out_binary64_5754`
3×	`associate-r_binary64_5769` `flip--_binary64_5736` `flip3--_binary64_5709`
2×	`difference-of-squares_binary64_5739` `cbrt-unprod_binary64_5679` `div-exp_binary64_5663` `prod-exp_binary64_5661` `cbrt-undiv_binary64_5680` `associate-/l/_binary64_5776` `associate-/r/_binary64_5775`
1×	`sub-neg_binary64_5714` `clear-num_binary64_5713` `diff-log_binary64_5626` `frac-2neg_binary64_5703` `unswap-sqr_binary64_5738` `associate-/l_binary64_5774` `-commutative_binary64_5778` `flip3-+_binary64_5708` `div-inv_binary64_5711` `pow-prod-down_binary64_5637` `flip-+_binary64_5735`

Counts

3 → 64

Calls

3 calls:

11.0ms	(-.f64 x (/.f64 (*.f64 (-.f64 y z) a) (+.f64 (-.f64 t z) 1)))
7.0ms	(*.f64 (-.f64 y z) a)
17.0ms	(/.f64 (*.f64 (-.f64 y z) a) (+.f64 (-.f64 t z) 1))

series220.0ms

Counts

3 → 9

Calls

3 calls:

121.0ms	(-.f64 x (/.f64 (*.f64 (-.f64 y z) a) (+.f64 (-.f64 t z) 1)))
26.0ms	(*.f64 (-.f64 y z) a)
74.0ms	(/.f64 (*.f64 (-.f64 y z) a) (+.f64 (-.f64 t z) 1))

simplify66.0ms

Algorithm

egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5063	1207

prune241.0ms

Filtered

53 candidates to 73 candidates (-37.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	73	0	73
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	73	4	77

Merged error: 0b

Counts

77 → 4

regimes489.0ms

Accuracy

0% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 0.3b

bsearch0.0ms

simplify5.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	164	19
1	164	19

end0.0ms

sample718.0ms

Algorithm

intervals

Results

339.0ms	7998×	body	80	valid
19.0ms	480×	body	80	invalid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	640	valid

Details

analyze1.1s

sample32.0ms

simplify107.0ms

prune8.0ms

localize14.0ms

rewrite67.0ms

series269.0ms

simplify112.0ms

prune571.0ms

localize14.0ms

rewrite42.0ms

series291.0ms

simplify101.0ms

prune595.0ms

localize28.0ms

rewrite52.0ms

series281.0ms

simplify114.0ms

prune898.0ms

localize15.0ms

rewrite38.0ms

series220.0ms

simplify66.0ms

prune241.0ms

regimes489.0ms

bsearch0.0ms

simplify5.0ms

end0.0ms

sample718.0ms

Profiling