Details

sample18.0ms

Algorithm

intervals

Results

8.0ms

316×

body

valid

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

prune2.0ms

Filtered

1 candidates to 0 candidates (0.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

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite11.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:

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

series61.0ms

Counts

2 → 6

Calls

2 calls:

31.0ms	(+ (* x y) (* (- 1.0 x) z))
30.0ms	(* (- 1.0 x) z)

simplify99.0ms

Algorithm

egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 1 (7.0ms)

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

prune62.0ms

Filtered

39 candidates to 28 candidates (71.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	36	3	39
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	36	4	40

Merged error: 0.0b

Counts

40 → 4

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* x y) (/ (* (- (* 1.0 1.0) (* x x)) z) (+ 1.0 x)))
3.1b	(* (- (* 1.0 1.0) (* x x)) z)
5.3b	(/ (* (- (* 1.0 1.0) (* x x)) z) (+ 1.0 x))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 59

Calls

3 calls:

7.0ms	(+ (* x y) (/ (* (- (* 1.0 1.0) (* x x)) z) (+ 1.0 x)))
6.0ms	(* (- (* 1.0 1.0) (* x x)) z)
9.0ms	(/ (* (- (* 1.0 1.0) (* x x)) z) (+ 1.0 x))

series163.0ms

Counts

3 → 9

Calls

3 calls:

54.0ms	(+ (* x y) (/ (* (- (* 1.0 1.0) (* x x)) z) (+ 1.0 x)))
43.0ms	(* (- (* 1.0 1.0) (* x x)) z)
65.0ms	(/ (* (- (* 1.0 1.0) (* x x)) z) (+ 1.0 x))

simplify49.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	368	530
1	1781	465
2	5002	456

prune113.0ms

Filtered

68 candidates to 48 candidates (70.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	68	0	68
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	68	4	72

Merged error: 0.0b

Counts

72 → 4

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- 1.0 x) z)
0.0b	(sqrt (* (- 1.0 x) z))
0.0b	(sqrt (* (- 1.0 x) z))
0.2b	(* (sqrt (* (- 1.0 x) z)) (sqrt (* (- 1.0 x) z)))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

61×	`pow1`
32×	`sqrt-pow1`
23×	`pow-prod-down`
20×	`associate-*l/`
16×	`add-sqr-sqrt` `sqrt-div`
12×	`*-un-lft-identity` `pow1/2`
10×	`add-cube-cbrt` `pow-prod-up`
9×	`flip3--` `associate-l` `flip--`
8×	`add-exp-log` `add-cbrt-cube`
7×	`associate-r`
6×	`sqrt-prod` `pow-sqr`
4×	`frac-times` `swap-sqr` `add-log-exp`
2×	`associate-r/` `prod-exp` `-commutative` `cbrt-unprod` `unswap-sqr`
1×	`pow2` `pow-plus` `sqrt-unprod` `rem-square-sqrt` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 105

Calls

4 calls:

6.0ms	(* (- 1.0 x) z)
5.0ms	(sqrt (* (- 1.0 x) z))
5.0ms	(sqrt (* (- 1.0 x) z))
13.0ms	(* (sqrt (* (- 1.0 x) z)) (sqrt (* (- 1.0 x) z)))

series377.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(* (- 1.0 x) z)
122.0ms	(sqrt (* (- 1.0 x) z))
121.0ms	(sqrt (* (- 1.0 x) z))
103.0ms	(* (sqrt (* (- 1.0 x) z)) (sqrt (* (- 1.0 x) z)))

simplify48.0ms

Algorithm

egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	253	512
1	1139	469
2	5001	452

prune193.0ms

Filtered

117 candidates to 72 candidates (61.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	117	0	117
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	117	4	121

Merged error: 0.0b

Counts

121 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

34×	`add-sqr-sqrt`
24×	`sqrt-prod`
23×	`pow1`
18×	`*-un-lft-identity`
16×	`add-cube-cbrt` `sqrt-div`
11×	`associate-l`
10×	`sqrt-pow1` `pow1/2`
9×	`associate-r`
8×	`add-exp-log` `flip3-+` `swap-sqr` `add-cbrt-cube` `flip-+`
5×	`pow-prod-up` `unswap-sqr`
4×	`frac-times` `pow-prod-down` `associate-*l/` `add-log-exp`
3×	`pow-sqr`
2×	`rem-sqrt-square` `associate-r/` `prod-exp` `-commutative` `cbrt-unprod`
1×	`pow2` `flip3--` `pow-plus` `sqrt-unprod` `rem-square-sqrt` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 109

Calls

4 calls:

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

series312.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(* (- 1.0 x) z)
124.0ms	(sqrt (+ (* x y) (* (- 1.0 x) z)))
127.0ms	(sqrt (+ (* x y) (* (- 1.0 x) z)))
31.0ms	(* (sqrt (+ (* x y) (* (- 1.0 x) z))) (sqrt (+ (* x y) (* (- 1.0 x) z))))

simplify55.0ms

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	329	962
1	1375	869
2	5002	848

prune194.0ms

Filtered

121 candidates to 73 candidates (60.3%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	121	0	121
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	121	4	125

Merged error: 0.0b

Counts

125 → 4

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

sample474.0ms

Algorithm

intervals

Results

269.0ms

10114×

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

sample18.0ms

simplify30.0ms

prune2.0ms

localize9.0ms

rewrite11.0ms

series61.0ms

simplify99.0ms

prune62.0ms

localize12.0ms

rewrite23.0ms

series163.0ms

simplify49.0ms

prune113.0ms

localize8.0ms

rewrite32.0ms

series377.0ms

simplify48.0ms

prune193.0ms

localize11.0ms

rewrite26.0ms

series312.0ms

simplify55.0ms

prune194.0ms

regimes72.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

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