Details

sample27.0ms

Algorithm

intervals

Results

13.0ms

331×

body

valid

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

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite13.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) y)
6.0ms	(+ (* (- 1.0 x) y) (* x z))

series64.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify120.0ms

Algorithm

egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 2 (24.0ms)

Iter	Nodes	Cost
0	184	181
1	787	167
2	4082	166
3	5001	166

prune79.0ms

Filtered

39 candidates to 29 candidates (74.4%)

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

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (/ (* (- (pow 1.0 3) (pow x 3)) y) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (* x z))
0.0b	(+ (* x x) (* 1.0 x))
4.3b	(* (- (pow 1.0 3) (pow x 3)) y)
11.5b	(/ (* (- (pow 1.0 3) (pow x 3)) y) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

34×	`add-sqr-sqrt`
25×	`associate-l`
18×	`*-un-lft-identity`
16×	`difference-of-squares`
12×	`unpow-prod-down` `cube-prod`
11×	`add-exp-log` `add-cbrt-cube`
8×	`add-cube-cbrt` `add-log-exp` `sqr-pow`
6×	`pow1`
5×	`distribute-lft-out--`
4×	`associate-*l/`
3×	`flip3-+` `times-frac` `associate-r` `associate-/r*` `flip-+`
2×	`cbrt-undiv` `+-commutative` `flip3--` `div-exp` `prod-exp` `sum-log` `associate-/r/` `flip--` `cbrt-unprod` `associate-/l/`
1×	`difference-cubes` `distribute-rgt-out` `frac-2neg` `pow-prod-down` `clear-num` `-commutative` `div-inv` `associate-/l` `unswap-sqr`

Counts

4 → 90

Calls

4 calls:

20.0ms	(+ (/ (* (- (pow 1.0 3) (pow x 3)) y) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (* x z))
4.0ms	(+ (* x x) (* 1.0 x))
19.0ms	(* (- (pow 1.0 3) (pow x 3)) y)
19.0ms	(/ (* (- (pow 1.0 3) (pow x 3)) y) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))

series253.0ms

Counts

4 → 12

Calls

4 calls:

84.0ms	(+ (/ (* (- (pow 1.0 3) (pow x 3)) y) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (* x z))
54.0ms	(+ (* x x) (* 1.0 x))
37.0ms	(* (- (pow 1.0 3) (pow x 3)) y)
77.0ms	(/ (* (- (pow 1.0 3) (pow x 3)) y) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))

simplify68.0ms

Algorithm

egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 2 (58.0ms)

Iter	Nodes	Cost
0	515	896
1	2414	801
2	5001	795

prune243.0ms

Filtered

102 candidates to 73 candidates (71.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	102	0	102
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	102	3	105

Merged error: 0.0b

Counts

105 → 3

localize17.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* x z) (* x z))
1.0b	(+ (* (* y (- 1.0 x)) (- (* (- 1.0 x) y) (* x z))) (* (* x z) (* x z)))
3.0b	(+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3))
38.1b	(/ (+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3)) (+ (* (* y (- 1.0 x)) (- (* (- 1.0 x) y) (* x z))) (* (* x z) (* x z))))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

43×	`pow1`
24×	`*-un-lft-identity`
18×	`add-exp-log` `add-cbrt-cube`
17×	`pow-prod-down`
15×	`times-frac`
14×	`add-sqr-sqrt` `add-cube-cbrt`
8×	`prod-exp` `cbrt-unprod` `add-log-exp`
5×	`sum-cubes` `distribute-lft-out` `associate-/l*`
4×	`associate-+l+` `flip3-+` `pow-sqr` `pow-prod-up` `flip-+`
3×	`associate-/r*`
2×	`+-commutative` `distribute-rgt-in` `sub-neg` `distribute-lft-in` `pow-plus` `sum-log` `associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `pow2` `frac-2neg` `swap-sqr` `div-exp` `associate-r` `associate-l` `clear-num` `*-commutative` `div-inv`

Counts

4 → 101

Calls

4 calls:

6.0ms	(* (* x z) (* x z))
15.0ms	(+ (* (* y (- 1.0 x)) (- (* (- 1.0 x) y) (* x z))) (* (* x z) (* x z)))
12.0ms	(+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3))
24.0ms	(/ (+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3)) (+ (* (* y (- 1.0 x)) (- (* (- 1.0 x) y) (* x z))) (* (* x z) (* x z))))

series663.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(* (* x z) (* x z))
114.0ms	(+ (* (* y (- 1.0 x)) (- (* (- 1.0 x) y) (* x z))) (* (* x z) (* x z)))
219.0ms	(+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3))
300.0ms	(/ (+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3)) (+ (* (* y (- 1.0 x)) (- (* (- 1.0 x) y) (* x z))) (* (* x z) (* x z))))

simplify98.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 2 (83.0ms)

Iter	Nodes	Cost
0	505	1649
1	2448	1513
2	5001	1510

prune242.0ms

Filtered

113 candidates to 69 candidates (61.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	112	1	113
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	112	4	116

Merged error: 0b

Counts

116 → 4

localize22.0ms

Local error

Found 4 expressions with local error:

26.3b	(/ (cbrt (+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3))) (+ (* (* y (- 1.0 x)) (- (* (- 1.0 x) y) (* x z))) (* (* x z) (* x z))))
37.2b	(cbrt (+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3)))
37.2b	(cbrt (+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3)))
37.2b	(cbrt (+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3)))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

38×	`*-un-lft-identity`
35×	`cbrt-prod`
24×	`add-sqr-sqrt` `add-cube-cbrt` `times-frac`
8×	`cbrt-div` `associate-/l*`
7×	`sum-cubes` `distribute-lft-out`
6×	`add-exp-log`
5×	`flip3-+` `add-cbrt-cube` `flip-+`
4×	`pow1` `add-log-exp`
3×	`pow1/3` `associate-/r*`
2×	`associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 96

Calls

4 calls:

24.0ms	(/ (cbrt (+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3))) (+ (* (* y (- 1.0 x)) (- (* (- 1.0 x) y) (* x z))) (* (* x z) (* x z))))
8.0ms	(cbrt (+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3)))
12.0ms	(cbrt (+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3)))
8.0ms	(cbrt (+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3)))

series1.7s

Counts

4 → 12

Calls

4 calls:

761.0ms	(/ (cbrt (+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3))) (+ (* (* y (- 1.0 x)) (- (* (- 1.0 x) y) (* x z))) (* (* x z) (* x z))))
319.0ms	(cbrt (+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3)))
320.0ms	(cbrt (+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3)))
326.0ms	(cbrt (+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3)))

simplify65.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	378	2423
1	1401	2337
2	5001	2295

prune404.0ms

Filtered

108 candidates to 91 candidates (84.3%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	108	0	108
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	108	4	112

Merged error: 0b

Counts

112 → 4

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

sample491.0ms

Algorithm

intervals

Results

287.0ms

10117×

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

sample27.0ms

simplify28.0ms

prune2.0ms

localize6.0ms

rewrite13.0ms

series64.0ms

simplify120.0ms

prune79.0ms

localize15.0ms

rewrite65.0ms

series253.0ms

simplify68.0ms

prune243.0ms

localize17.0ms

rewrite59.0ms

series663.0ms

simplify98.0ms

prune242.0ms

localize22.0ms

rewrite54.0ms

series1.7s

simplify65.0ms

prune404.0ms

regimes88.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

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