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

sample26.0ms

Algorithm

intervals

Results

15.0ms	256×	body	128	valid
1.0ms	15×	body	128	invalid

simplify103.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (96.0ms)

Iter	Nodes	Cost
0	4881	19
1	4881	19

prune1.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

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite100.0ms

Algorithm

rewrite-expression-head

Rules

239×	`*-un-lft-identity_binary64`
203×	`times-frac_binary64`
136×	`add-sqr-sqrt_binary64`
87×	`add-cube-cbrt_binary64`
44×	`distribute-lft-out_binary64`
43×	`distribute-lft-out--_binary64`
23×	`difference-of-squares_binary64`
22×	`associate-/r*_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-/l*_binary64`
8×	`div-inv_binary64`
5×	`add-log-exp_binary64`
4×	`associate-/l/_binary64` `cbrt-undiv_binary64` `div-exp_binary64`
3×	`pow1_binary64` `div-sub_binary64`
2×	`flip3--_binary64` `clear-num_binary64` `frac-2neg_binary64` `flip--_binary64`
1×	`flip3-+_binary64` `sub-neg_binary64` `diff-log_binary64` `associate--r-_binary64` `associate-/r/_binary64` `associate-+l-_binary64` `flip-+_binary64`

Counts

3 → 191

Calls

3 calls:

10.0ms	(/.f64 (+.f64 (-.f64 t z) 1) a)
51.0ms	(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
16.0ms	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a))

series652.0ms

Counts

3 → 9

Calls

3 calls:

51.0ms	(/.f64 (+.f64 (-.f64 t z) 1) a)
285.0ms	(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
315.0ms	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a))

simplify93.0ms

Algorithm

egg-herbie

Counts

200 → 200

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5715	5408

prune165.0ms

Filtered

119 candidates to 200 candidates (-68.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	194	6	200
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	195	6	201

Merged error: 0b

Counts

201 → 6

localize18.0ms

Local error

Found 3 expressions with local error:

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

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

104×	`*-un-lft-identity_binary64`
54×	`add-sqr-sqrt_binary64`
51×	`times-frac_binary64`
31×	`associate-l_binary64`
27×	`add-cube-cbrt_binary64`
22×	`distribute-lft-out_binary64` `distribute-lft-out--_binary64`
11×	`difference-of-squares_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
5×	`associate-/r_binary64` `add-log-exp_binary64` `pow1_binary64` `associate-/l_binary64`
4×	`associate-/r/_binary64`
3×	`associate-r_binary64`
2×	`flip3-+_binary64` `associate-/l/_binary64` `flip3--_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `div-inv_binary64` `div-exp_binary64` `flip--_binary64` `flip-+_binary64`
1×	`pow-prod-down_binary64` `sub-neg_binary64` `diff-log_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-l/_binary64` `-commutative_binary64`

Counts

3 → 113

Calls

3 calls:

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

series692.0ms

Counts

3 → 9

Calls

3 calls:

274.0ms	(-.f64 x (*.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) a))
104.0ms	(/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1))
313.0ms	(*.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) a)

simplify70.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5959	2426

prune81.0ms

Filtered

76 candidates to 122 candidates (-60.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	121	1	122
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	122	6	128

Merged error: 0b

Counts

128 → 6

localize23.0ms

Local error

Found 4 expressions with local error:

0.7b	(cbrt.f64 a)
0.7b	(cbrt.f64 a)
0.7b	(cbrt.f64 a)
5.5b	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) (cbrt.f64 a)))

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

394×	`*-un-lft-identity_binary64`
350×	`times-frac_binary64`
214×	`add-sqr-sqrt_binary64`
144×	`add-cube-cbrt_binary64`
99×	`cbrt-prod_binary64`
72×	`distribute-lft-out_binary64`
71×	`distribute-lft-out--_binary64`
35×	`difference-of-squares_binary64`
34×	`associate-/r*_binary64`
9×	`add-exp-log_binary64`
8×	`add-cbrt-cube_binary64`
7×	`div-inv_binary64`
5×	`associate-/l*_binary64`
4×	`add-log-exp_binary64` `pow1_binary64`
3×	`cbrt-undiv_binary64` `pow1/3_binary64` `div-exp_binary64`
2×	`associate-/l/_binary64`
1×	`flip3--_binary64` `associate-/r/_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `flip--_binary64`

Counts

4 → 260

Calls

4 calls:

1.0ms	(cbrt.f64 a)
1.0ms	(cbrt.f64 a)
1.0ms	(cbrt.f64 a)
21.0ms	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) (cbrt.f64 a)))

series844.0ms

Counts

4 → 12

Calls

4 calls:

176.0ms	(cbrt.f64 a)
159.0ms	(cbrt.f64 a)
171.0ms	(cbrt.f64 a)
338.0ms	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) (cbrt.f64 a)))

simplify133.0ms

Algorithm

egg-herbie

Counts

272 → 272

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4977	8138
1	4977	8138

prune196.0ms

Filtered

158 candidates to 272 candidates (-72.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	272	0	272
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	272	6	278

Merged error: 0b

Counts

278 → 6

localize10.0ms

Local error

Found 3 expressions with local error:

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

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

60×	`*-un-lft-identity_binary64`
31×	`times-frac_binary64`
30×	`add-sqr-sqrt_binary64`
23×	`add-cube-cbrt_binary64`
21×	`associate-r_binary64`
14×	`distribute-lft-out_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`distribute-lft-out--_binary64`
5×	`associate-/r_binary64` `add-log-exp_binary64` `pow1_binary64` `associate-l*_binary64`
4×	`associate-/r/_binary64`
3×	`flip3--_binary64` `associate-/l*_binary64` `flip--_binary64`
2×	`flip3-+_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `div-inv_binary64` `div-exp_binary64` `flip-+_binary64` `frac-times_binary64` `associate-*l/_binary64`
1×	`pow-prod-down_binary64` `sub-neg_binary64` `diff-log_binary64` `associate-r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `difference-of-squares_binary64` `-commutative_binary64`

Counts

3 → 94

Calls

3 calls:

9.0ms	(/.f64 a (+.f64 (-.f64 t z) 1))
4.0ms	(-.f64 x (*.f64 (-.f64 y z) (/.f64 a (+.f64 (-.f64 t z) 1))))
19.0ms	(*.f64 (-.f64 y z) (/.f64 a (+.f64 (-.f64 t z) 1)))

series534.0ms

Counts

3 → 9

Calls

3 calls:

79.0ms	(/.f64 a (+.f64 (-.f64 t z) 1))
285.0ms	(-.f64 x (*.f64 (-.f64 y z) (/.f64 a (+.f64 (-.f64 t z) 1))))
170.0ms	(*.f64 (-.f64 y z) (/.f64 a (+.f64 (-.f64 t z) 1)))

simplify66.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5374	1851

prune67.0ms

Filtered

70 candidates to 103 candidates (-47.1%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	103	0	103
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	103	6	109

Merged error: 0b

Counts

109 → 6

regimes77.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify5.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	164	19
1	164	19

end0.0ms

sample616.0ms

Algorithm

intervals

Results

329.0ms	7999×	body	128	valid
17.0ms	440×	body	128	invalid
0.0ms	1×	body	512	valid

Details

analyze1.1s

sample26.0ms

simplify103.0ms

prune1.0ms

localize9.0ms

rewrite100.0ms

series652.0ms

simplify93.0ms

prune165.0ms

localize18.0ms

rewrite48.0ms

series692.0ms

simplify70.0ms

prune81.0ms

localize23.0ms

rewrite67.0ms

series844.0ms

simplify133.0ms

prune196.0ms

localize10.0ms

rewrite41.0ms

series534.0ms

simplify66.0ms

prune67.0ms

regimes77.0ms

bsearch0.0ms

simplify5.0ms

end0.0ms

sample616.0ms

Profiling