Details

analyze524.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
6.2%	93.6%	0.2%	9
12.5%	87.3%	0.2%	10
15.6%	80.3%	4.1%	11
31.2%	63.9%	4.9%	12
39%	50.9%	10.1%	13
44.8%	44.4%	10.7%	14

sample18.0ms

Algorithm

intervals

Results

6.0ms	256×	body	80	valid
1.0ms	39×	body	80	invalid

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	3
1	10	3

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

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (* x y) (* z t))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `sum-log` `add-cbrt-cube` `flip-+`

Counts

1 → 11

Calls

1 calls:

3.0ms

(+ (* x y) (* z t))

series9.0ms

Counts

1 → 3

Calls

1 calls:

9.0ms

(+ (* x y) (* z t))

simplify119.0ms

Algorithm

egg-herbie

Counts

14 → 14

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	100	74
1	363	67
2	1051	67
3	2931	67
4	5001	67

prune23.0ms

Filtered

12 candidates to 14 candidates (-16.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	12	2	14
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	12	3	15

Merged error: 0.0b

Counts

15 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* z t) (* z t))
0.3b	(* (* x y) (* x y))
2.2b	(- (* (* x y) (* x y)) (* (* z t) (* z t)))
25.9b	(/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) (- (* x y) (* z t)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

82×	`pow1`
34×	`pow-prod-down`
30×	`add-exp-log` `add-cbrt-cube`
16×	`prod-exp` `cbrt-unprod`
13×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
12×	`times-frac`
8×	`pow-sqr` `pow-prod-up`
6×	`add-log-exp`
5×	`difference-of-squares`
4×	`pow-plus` `associate-/l*`
3×	`flip3--` `associate-/r*` `flip--`
2×	`pow2` `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 → 117

Calls

4 calls:

6.0ms	(* (* z t) (* z t))
6.0ms	(* (* x y) (* x y))
6.0ms	(- (* (* x y) (* x y)) (* (* z t) (* z t)))
11.0ms	(/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) (- (* x y) (* z t)))

series72.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* (* z t) (* z t))
6.0ms	(* (* x y) (* x y))
29.0ms	(- (* (* x y) (* x y)) (* (* z t) (* z t)))
30.0ms	(/ (- (* (* x y) (* x y)) (* (* z t) (* z t))) (- (* x y) (* z t)))

simplify77.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 2 (66.0ms)

Iter	Nodes	Cost
0	413	954
1	2306	805
2	5002	788

prune79.0ms

Filtered

66 candidates to 129 candidates (-95.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	129	3	132

Merged error: 0.0b

Counts

132 → 3

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* t z) (* x y))
0.3b	(pow (+ (* t z) (* x y)) 3)
34.5b	(cbrt (pow (+ (* t z) (* x y)) 3))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
9×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`unpow-prod-down` `cube-prod`
5×	`add-log-exp`
4×	`pow1` `add-exp-log` `cube-div` `add-cbrt-cube`
3×	`pow-unpow` `flip3-+` `flip-+`
2×	`cube-mult` `cbrt-div` `unpow3` `sqr-pow`
1×	`+-commutative` `pow-to-exp` `pow-pow` `pow1/3` `pow-exp` `sum-log` `rem-cbrt-cube` `rem-cube-cbrt`

Counts

3 → 59

Calls

3 calls:

4.0ms	(+ (* t z) (* x y))
5.0ms	(pow (+ (* t z) (* x y)) 3)
4.0ms	(cbrt (pow (+ (* t z) (* x y)) 3))

series50.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(+ (* t z) (* x y))
31.0ms	(pow (+ (* t z) (* x y)) 3)
9.0ms	(cbrt (pow (+ (* t z) (* x y)) 3))

simplify45.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	260	431
1	1255	410
2	5001	408

prune68.0ms

Filtered

43 candidates to 68 candidates (-58.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	67	1	68
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	68	3	71

Merged error: 0b

Counts

71 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow (+ (* t z) (* x y)) 3/2)
0.3b	(* (cbrt (pow (+ (* t z) (* x y)) 3/2)) (cbrt (pow (+ (* t z) (* x y)) 3/2)))
7.5b	(cbrt (pow (+ (* t z) (* x y)) 3/2))
7.5b	(cbrt (pow (+ (* t z) (* x y)) 3/2))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

66×	`cbrt-prod`
46×	`add-sqr-sqrt`
29×	`unpow-prod-down`
22×	`add-cube-cbrt` `*-un-lft-identity`
16×	`unswap-sqr`
15×	`sqr-pow`
12×	`pow1`
10×	`swap-sqr` `associate-r` `associate-l`
8×	`pow1/3`
7×	`add-exp-log`
4×	`add-cbrt-cube` `add-log-exp`
3×	`pow-unpow`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-to-exp` `pow-pow` `pow-plus` `pow-exp` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 111

Calls

4 calls:

4.0ms	(pow (+ (* t z) (* x y)) 3/2)
12.0ms	(* (cbrt (pow (+ (* t z) (* x y)) 3/2)) (cbrt (pow (+ (* t z) (* x y)) 3/2)))
4.0ms	(cbrt (pow (+ (* t z) (* x y)) 3/2))
4.0ms	(cbrt (pow (+ (* t z) (* x y)) 3/2))

series80.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(pow (+ (* t z) (* x y)) 3/2)
12.0ms	(* (cbrt (pow (+ (* t z) (* x y)) 3/2)) (cbrt (pow (+ (* t z) (* x y)) 3/2)))
19.0ms	(cbrt (pow (+ (* t z) (* x y)) 3/2))
19.0ms	(cbrt (pow (+ (* t z) (* x y)) 3/2))

simplify59.0ms

Algorithm

egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	274	1484
1	1057	1412
2	5001	1325

prune209.0ms

Filtered

87 candidates to 123 candidates (-41.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	123	0	123
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	123	3	126

Merged error: 0b

Counts

126 → 3

regimes362.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	10	3
1	10	3

end0.0ms

analyze528.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
6.2%	93.6%	0.2%	9
12.5%	87.3%	0.2%	10
15.6%	80.3%	4.1%	11
31.2%	63.9%	4.9%	12
39%	50.9%	10.1%	13
44.8%	44.4%	10.7%	14

sample456.0ms

Algorithm

intervals

Results

200.0ms	8000×	body	80	valid
32.0ms	1261×	body	80	invalid

Details

analyze524.0ms

sample18.0ms

simplify3.0ms

prune3.0ms

localize5.0ms

rewrite3.0ms

series9.0ms

simplify119.0ms

prune23.0ms

localize10.0ms

rewrite33.0ms

series72.0ms

simplify77.0ms

prune79.0ms

localize9.0ms

rewrite14.0ms

series50.0ms

simplify45.0ms

prune68.0ms

localize12.0ms

rewrite27.0ms

series80.0ms

simplify59.0ms

prune209.0ms

regimes362.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze528.0ms

sample456.0ms

Profiling