Details

analyze328.0ms

Algorithm: search

sample28.0ms

Algorithm

intervals

Results

12.0ms	256×	body	80	valid
1.0ms	19×	body	80	invalid

simplify38.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.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

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

Counts

2 → 1

localize11.0ms

Local error

Found 2 expressions with local error:

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

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

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

series21.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(* (- 1.0 x) z)
13.0ms	(+ (* x y) (* (- 1.0 x) z))

simplify147.0ms

Algorithm

egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 1 (8.0ms)

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

prune91.0ms

Filtered

28 candidates to 39 candidates (-39.3%)

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

localize13.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)))

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

17.0ms	(* (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (+ (* x y) (* (- 1.0 x) z))))
4.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)))

series196.0ms

Counts

4 → 12

Calls

4 calls:

68.0ms	(* (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (+ (* x y) (* (- 1.0 x) z))))
42.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))
45.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))
42.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))

simplify42.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 2 (31.0ms)

Iter	Nodes	Cost
0	308	1289
1	1030	1210
2	5001	1108

prune223.0ms

Filtered

75 candidates to 99 candidates (-32.0%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	98	5	103

Merged error: 0.0b

Counts

103 → 5

localize19.0ms

Local error

Found 4 expressions with local error:

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)))
0.6b	(cbrt (* (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (+ (* x y) (* (- 1.0 x) z)))))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

26×	`cbrt-div`
10×	`cbrt-prod`
9×	`flip3-+` `flip-+`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `frac-times` `pow1/3` `add-cbrt-cube` `add-log-exp`
2×	`associate-r/` `associate-l/`

Counts

4 → 56

Calls

4 calls:

3.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))
4.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))
3.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))
9.0ms	(cbrt (* (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (+ (* x y) (* (- 1.0 x) z)))))

series199.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))
44.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))
42.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))
70.0ms	(cbrt (* (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (+ (* x y) (* (- 1.0 x) z)))))

simplify80.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 3 (70.0ms)

Iter	Nodes	Cost
0	277	978
1	706	920
2	2959	881
3	5001	866

prune245.0ms

Filtered

58 candidates to 68 candidates (-17.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	68	0	68
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	68	5	73

Merged error: 0.0b

Counts

73 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 85

Calls

4 calls:

3.0ms	(sqrt (- 1.0 x))
3.0ms	(+ (* x y) (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) z)))
12.0ms	(* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) z))
7.0ms	(* (sqrt (- 1.0 x)) z)

series29.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(sqrt (- 1.0 x))
8.0ms	(+ (* x y) (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) z)))
5.0ms	(* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) z))
12.0ms	(* (sqrt (- 1.0 x)) z)

simplify50.0ms

Algorithm

egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	471	686
1	1710	607
2	5001	591

prune143.0ms

Filtered

68 candidates to 97 candidates (-42.6%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	97	0	97
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	97	5	102

Merged error: 0.0b

Counts

102 → 5

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

analyze306.0ms

Algorithm: search

sample435.0ms

Algorithm

intervals

Results

239.0ms	8000×	body	80	valid
20.0ms	727×	body	80	invalid

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

analyze328.0ms

sample28.0ms

simplify38.0ms

prune6.0ms

localize11.0ms

rewrite18.0ms

series21.0ms

simplify147.0ms

prune91.0ms

localize13.0ms

rewrite30.0ms

series196.0ms

simplify42.0ms

prune223.0ms

localize19.0ms

rewrite21.0ms

series199.0ms

simplify80.0ms

prune245.0ms

localize9.0ms

rewrite29.0ms

series29.0ms

simplify50.0ms

prune143.0ms

regimes267.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze306.0ms

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