Details

analyze938.0ms

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
4.7%	95.1%	0.2%	10
12.7%	87.1%	0.2%	11
15.9%	83.9%	0.2%	12
24.9%	74.9%	0.2%	13
26.2%	73.5%	0.2%	14

sample21.0ms

Algorithm

intervals

Results

9.0ms	256×	body	128	valid
1.0ms	20×	body	128	invalid

simplify274.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (267.0ms)

Iter	Nodes	Cost
0	5591	16

prune2.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: 1.1b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

76×	`add-sqr-sqrt_binary64`
71×	`*-un-lft-identity_binary64`
51×	`times-frac_binary64`
31×	`associate-r_binary64`
27×	`add-cube-cbrt_binary64`
22×	`difference-of-squares_binary64` `distribute-lft-out--_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×	`flip3--_binary64` `associate-l_binary64` `flip--_binary64`
2×	`associate-/l/_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `div-inv_binary64` `div-exp_binary64`
1×	`pow-prod-down_binary64` `flip3-+_binary64` `associate-r/_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64` `-commutative_binary64`

Counts

3 → 113

Calls

3 calls:

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

series520.0ms

Counts

3 → 9

Calls

3 calls:

247.0ms	(+.f64 x (*.f64 y (/.f64 (-.f64 z t) (-.f64 a t))))
98.0ms	(/.f64 (-.f64 z t) (-.f64 a t))
175.0ms	(*.f64 y (/.f64 (-.f64 z t) (-.f64 a t)))

simplify60.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5050	2068

prune80.0ms

Filtered

83 candidates to 122 candidates (-47.0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	117	5	122
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	117	6	123

Merged error: 0b

Counts

123 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite114.0ms

Algorithm

rewrite-expression-head

Rules

392×	`times-frac_binary64`
336×	`add-sqr-sqrt_binary64`
324×	`*-un-lft-identity_binary64`
158×	`add-cube-cbrt_binary64`
98×	`associate-r_binary64`
82×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
36×	`associate-/r*_binary64`
28×	`add-exp-log_binary64`
20×	`add-cbrt-cube_binary64`
18×	`associate-/r/_binary64`
10×	`div-inv_binary64`
9×	`flip3--_binary64` `div-exp_binary64` `flip--_binary64`
8×	`associate-/l*_binary64`
7×	`pow1_binary64` `cbrt-undiv_binary64`
6×	`add-log-exp_binary64`
5×	`unswap-sqr_binary64` `prod-exp_binary64`
4×	`rec-exp_binary64`
3×	`cbrt-unprod_binary64` `associate-l_binary64`
2×	`associate-/l/_binary64` `clear-num_binary64` `frac-2neg_binary64`
1×	`pow-prod-down_binary64` `flip3-+_binary64` `associate-r/_binary64` `div-sub_binary64` `inv-pow_binary64` `un-div-inv_binary64` `+-commutative_binary64` `pow-flip_binary64` `flip-+_binary64` `sum-log_binary64` `-commutative_binary64`

Counts

4 → 334

Calls

4 calls:

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

series958.0ms

Counts

4 → 12

Calls

4 calls:

338.0ms	(+.f64 x (*.f64 y (/.f64 1 (/.f64 (-.f64 a t) (-.f64 z t)))))
87.0ms	(/.f64 (-.f64 a t) (-.f64 z t))
209.0ms	(/.f64 1 (/.f64 (-.f64 a t) (-.f64 z t)))
323.0ms	(*.f64 y (/.f64 1 (/.f64 (-.f64 a t) (-.f64 z t))))

simplify111.0ms

Algorithm

egg-herbie

Counts

346 → 346

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5128	6991

prune198.0ms

Filtered

204 candidates to 346 candidates (-69.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	344	2	346
Fresh	2	2	4
Picked	1	0	1
Done	0	1	1
Total	347	5	352

Merged error: 0b

Counts

352 → 5

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite82.0ms

Algorithm

rewrite-expression-head

Rules

218×	`times-frac_binary64`
197×	`*-un-lft-identity_binary64`
195×	`add-sqr-sqrt_binary64`
91×	`add-cube-cbrt_binary64`
52×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
36×	`associate-/r*_binary64`
11×	`associate-/r/_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`associate-/l*_binary64`
6×	`flip3--_binary64` `div-inv_binary64` `flip--_binary64`
5×	`add-log-exp_binary64`
4×	`cbrt-undiv_binary64` `div-exp_binary64`
3×	`pow1_binary64`
2×	`associate-/l/_binary64` `clear-num_binary64` `frac-2neg_binary64`
1×	`flip3-+_binary64` `distribute-lft-out_binary64` `div-sub_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

3 → 206

Calls

3 calls:

31.0ms	(+.f64 x (/.f64 y (/.f64 (-.f64 a t) (-.f64 z t))))
8.0ms	(/.f64 (-.f64 a t) (-.f64 z t))
14.0ms	(/.f64 y (/.f64 (-.f64 a t) (-.f64 z t)))

series762.0ms

Counts

3 → 9

Calls

3 calls:

353.0ms	(+.f64 x (/.f64 y (/.f64 (-.f64 a t) (-.f64 z t))))
93.0ms	(/.f64 (-.f64 a t) (-.f64 z t))
316.0ms	(/.f64 y (/.f64 (-.f64 a t) (-.f64 z t)))

simplify91.0ms

Algorithm

egg-herbie

Counts

215 → 215

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4992	5201
1	4992	5201

prune120.0ms

Filtered

144 candidates to 215 candidates (-49.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	215	0	215
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	215	5	220

Merged error: 0b

Counts

220 → 5

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 98

Calls

3 calls:

4.0ms	(+.f64 x (*.f64 (/.f64 y (-.f64 a t)) (-.f64 z t)))
6.0ms	(/.f64 y (-.f64 a t))
14.0ms	(*.f64 (/.f64 y (-.f64 a t)) (-.f64 z t))

series933.0ms

Counts

3 → 9

Calls

3 calls:

340.0ms	(+.f64 x (*.f64 (/.f64 y (-.f64 a t)) (-.f64 z t)))
68.0ms	(/.f64 y (-.f64 a t))
525.0ms	(*.f64 (/.f64 y (-.f64 a t)) (-.f64 z t))

simplify61.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5152	1664

prune61.0ms

Filtered

79 candidates to 107 candidates (-35.4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	107	5	112

Merged error: 0b

Counts

112 → 5

regimes108.0ms

Accuracy

0% (1.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	16
1	24	16

end0.0ms

sample589.0ms

Algorithm

intervals

Results

303.0ms	7998×	body	128	valid
25.0ms	700×	body	128	invalid
0.0ms	1×	body	2048	valid
0.0ms	1×	body	1024	valid

Details

analyze938.0ms

sample21.0ms

simplify274.0ms

prune2.0ms

localize9.0ms

rewrite45.0ms

series520.0ms

simplify60.0ms

prune80.0ms

localize13.0ms

rewrite114.0ms

series958.0ms

simplify111.0ms

prune198.0ms

localize8.0ms

rewrite82.0ms

series762.0ms

simplify91.0ms

prune120.0ms

localize9.0ms

rewrite32.0ms

series933.0ms

simplify61.0ms

prune61.0ms

regimes108.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample589.0ms

Profiling