Details

sample46.0ms

Algorithm

intervals

Results

19.0ms

315×

body

valid

simplify36.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	4
1	20	4
2	34	4
3	49	4
4	57	4
5	69	4
6	90	4
7	127	4
8	176	4
9	304	4
10	439	4
11	449	4
12	449	4

prune3.0ms

Filtered

1 candidates to 0 candidates (100.0%)

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: 0.0b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (- 1.0 x) z)
0.0b	(+ (* x y) (* (- 1.0 x) z))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt`
6×	`*-un-lft-identity`
5×	`associate-l`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube` `add-log-exp`
3×	`associate-r`
2×	`associate-*l/`
1×	`+-commutative` `flip3--` `flip3-+` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `flip--` `cbrt-unprod` `flip-+` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

2 → 33

Calls

2 calls:

6.0ms	(* (- 1.0 x) z)
4.0ms	(+ (* x y) (* (- 1.0 x) z))

series69.0ms

Counts

2 → 6

Calls

2 calls:

36.0ms	(* (- 1.0 x) z)
33.0ms	(+ (* x y) (* (- 1.0 x) z))

simplify97.0ms

Algorithm

egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	185	183
1	776	166
2	4093	166
3	5001	166

prune101.0ms

Filtered

39 candidates to 28 candidates (28.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	37	2	39
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	37	3	40

Merged error: 0.0b

Counts

40 → 3

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* x y) (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) z)))
0.1b	(* (sqrt (- 1.0 x)) z)
0.1b	(* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) z))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt` `associate-l`
14×	`sqrt-div`
12×	`*-un-lft-identity`
11×	`sqrt-prod`
10×	`pow1` `add-exp-log` `associate-*l/` `add-cbrt-cube`
8×	`add-cube-cbrt`
7×	`flip3--` `flip--`
5×	`add-log-exp`
4×	`frac-times` `associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`associate-r/` `-commutative` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+`

Counts

3 → 68

Calls

3 calls:

3.0ms	(+ (* x y) (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) z)))
6.0ms	(* (sqrt (- 1.0 x)) z)
11.0ms	(* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) z))

series251.0ms

Counts

3 → 9

Calls

3 calls:

39.0ms	(+ (* x y) (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) z)))
174.0ms	(* (sqrt (- 1.0 x)) z)
37.0ms	(* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) z))

simplify43.0ms

Algorithm

egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	401	575
1	1460	497
2	5001	485

prune283.0ms

Filtered

77 candidates to 52 candidates (32.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	77	0	77
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	77	3	80

Merged error: 0.0b

Counts

80 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (* (- 1.0 x) z) (* (- 1.0 x) z))
0.2b	(* (* x y) (* x y))
2.9b	(- (* (* x y) (* x y)) (* (* (- 1.0 x) z) (* (- 1.0 x) z)))
27.0b	(/ (- (* (* x y) (* x y)) (* (* (- 1.0 x) z) (* (- 1.0 x) z))) (- (* x y) (* (- 1.0 x) z)))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

82×	`pow1`
34×	`pow-prod-down`
30×	`add-exp-log` `add-cbrt-cube`
16×	`prod-exp` `cbrt-unprod`
14×	`associate-*l/`
13×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
12×	`times-frac`
9×	`flip3--` `flip--`
8×	`pow-sqr` `pow-prod-up`
6×	`add-log-exp`
5×	`difference-of-squares`
4×	`frac-times` `pow-plus` `associate-/l*`
3×	`associate-/r*`
2×	`pow2` `associate-r/` `swap-sqr` `associate-r` `associate-l` `associate-/r/` `-commutative` `associate-/l/`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `diff-log` `div-sub` `div-exp` `clear-num` `div-inv`

Counts

4 → 125

Calls

4 calls:

11.0ms	(* (* (- 1.0 x) z) (* (- 1.0 x) z))
8.0ms	(* (* x y) (* x y))
6.0ms	(- (* (* x y) (* x y)) (* (* (- 1.0 x) z) (* (- 1.0 x) z)))
10.0ms	(/ (- (* (* x y) (* x y)) (* (* (- 1.0 x) z) (* (- 1.0 x) z))) (- (* x y) (* (- 1.0 x) z)))

series294.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(* (* (- 1.0 x) z) (* (- 1.0 x) z))
40.0ms	(* (* x y) (* x y))
90.0ms	(- (* (* x y) (* x y)) (* (* (- 1.0 x) z) (* (- 1.0 x) z)))
122.0ms	(/ (- (* (* x y) (* x y)) (* (* (- 1.0 x) z) (* (- 1.0 x) z))) (- (* x y) (* (- 1.0 x) z)))

simplify87.0ms

Algorithm

egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 2 (73.0ms)

Iter	Nodes	Cost
0	559	1312
1	2878	1117
2	5001	1095

prune392.0ms

Filtered

137 candidates to 73 candidates (46.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	136	1	137
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	136	4	140

Merged error: 0b

Counts

140 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (- (* x y) (* (- 1.0 x) z))) (cbrt (- (* x y) (* (- 1.0 x) z))))
0.6b	(cbrt (- (* x y) (* (- 1.0 x) z)))
0.6b	(cbrt (- (* x y) (* (- 1.0 x) z)))
0.6b	(cbrt (- (* x y) (* (- 1.0 x) z)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`flip3--` `pow1/3` `flip--`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 87

Calls

4 calls:

10.0ms	(* (cbrt (- (* x y) (* (- 1.0 x) z))) (cbrt (- (* x y) (* (- 1.0 x) z))))
3.0ms	(cbrt (- (* x y) (* (- 1.0 x) z)))
3.0ms	(cbrt (- (* x y) (* (- 1.0 x) z)))
3.0ms	(cbrt (- (* x y) (* (- 1.0 x) z)))

series783.0ms

Counts

4 → 12

Calls

4 calls:

234.0ms	(* (cbrt (- (* x y) (* (- 1.0 x) z))) (cbrt (- (* x y) (* (- 1.0 x) z))))
182.0ms	(cbrt (- (* x y) (* (- 1.0 x) z)))
182.0ms	(cbrt (- (* x y) (* (- 1.0 x) z)))
186.0ms	(cbrt (- (* x y) (* (- 1.0 x) z)))

simplify138.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	311	1282
1	1026	1201
2	4981	1093
3	5002	1093

prune480.0ms

Filtered

99 candidates to 75 candidates (24.2%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	99	0	99
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	99	4	103

Merged error: 0b

Counts

103 → 4

regimes205.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	4
1	11	4

end0.0ms

sample605.0ms

Algorithm

intervals

Results

263.0ms

10069×

body

valid

Iter	Nodes	Cost
0	13	4
1	20	4
2	34	4
3	49	4
4	57	4
5	69	4
6	90	4
7	127	4
8	176	4
9	304	4
10	439	4
11	449	4
12	449	4

Iter	Nodes	Cost
0	13	4
1	20	4
2	34	4
3	49	4
4	57	4
5	69	4
6	90	4
7	127	4
8	176	4
9	304	4
10	439	4
11	449	4
12	449	4

Details

sample46.0ms

simplify36.0ms

prune3.0ms

localize6.0ms

rewrite10.0ms

series69.0ms

simplify97.0ms

prune101.0ms

localize8.0ms

rewrite22.0ms

series251.0ms

simplify43.0ms

prune283.0ms

localize10.0ms

rewrite39.0ms

series294.0ms

simplify87.0ms

prune392.0ms

localize14.0ms

rewrite22.0ms

series783.0ms

simplify138.0ms

prune480.0ms

regimes205.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample605.0ms

Profiling

Iter	Nodes	Cost
0	13	4
1	20	4
2	34	4
3	49	4
4	57	4
5	69	4
6	90	4
7	127	4
8	176	4
9	304	4
10	439	4
11	449	4
12	449	4