Details

analyze724.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
9.4%	90.4%	0.2%	10
12.5%	85.6%	1.9%	11
19.8%	76.5%	3.7%	12
26.1%	64.4%	9.6%	13
31.7%	54.5%	13.7%	14

sample22.0ms

Algorithm

intervals

Results

7.0ms	256×	body	80	valid
3.0ms	93×	body	80	invalid

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	10	9
1	10	9

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

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 45

Calls

2 calls:

4.0ms	(+ x (* (- y z) (- t x)))
9.0ms	(* (- y z) (- t x))

series29.0ms

Counts

2 → 6

Calls

2 calls:

18.0ms	(+ x (* (- y z) (- t x)))
10.0ms	(* (- y z) (- t x))

simplify24.0ms

Algorithm

egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 0 (19.0ms)

Iter	Nodes	Cost
0	5611	573

prune67.0ms

Filtered

40 candidates to 51 candidates (-27.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	49	2	51
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	49	3	52

Merged error: 0.0b

Counts

52 → 3

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 62

Calls

3 calls:

8.0ms	(+ x (+ (* (- y z) t) (* (- y z) (neg x))))
8.0ms	(* (- y z) (neg x))
8.0ms	(+ (* (- y z) t) (* (- y z) (neg x)))

series39.0ms

Counts

3 → 9

Calls

3 calls:

18.0ms	(+ x (+ (* (- y z) t) (* (- y z) (neg x))))
7.0ms	(* (- y z) (neg x))
14.0ms	(+ (* (- y z) t) (* (- y z) (neg x)))

simplify60.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5094	778

prune83.0ms

Filtered

57 candidates to 71 candidates (-24.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	70	1	71
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	70	4	74

Merged error: 0b

Counts

74 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ t x) (+ y z))
0.2b	(* (- t x) (* (+ t x) (+ y z)))
3.2b	(* (- y z) (* (- t x) (* (+ t x) (+ y z))))
26.3b	(/ (* (- y z) (* (- t x) (* (+ t x) (+ y z)))) (* (+ t x) (+ y z)))

rewrite116.0ms

Algorithm

rewrite-expression-head

Rules

308×	`frac-times`
154×	`associate-*r/`
138×	`flip3-+` `flip-+`
117×	`flip3--` `flip--`
80×	`associate-/l/`
64×	`associate-*l/`
52×	`add-exp-log` `add-cbrt-cube`
26×	`prod-exp` `cbrt-unprod`
20×	`pow1`
17×	`distribute-rgt-in` `distribute-lft-in`
16×	`*-un-lft-identity`
14×	`add-sqr-sqrt` `associate-l`
10×	`pow-prod-down`
8×	`cbrt-undiv` `add-cube-cbrt` `div-exp` `associate-/r/`
6×	`associate-r`
4×	`add-log-exp`
3×	`*-commutative`
2×	`distribute-lft-out` `distribute-lft-out--` `difference-of-squares`
1×	`frac-2neg` `times-frac` `clear-num` `associate-/r` `div-inv` `associate-/l` `unswap-sqr`

Counts

4 → 308

Calls

4 calls:

9.0ms	(* (+ t x) (+ y z))
14.0ms	(* (- t x) (* (+ t x) (+ y z)))
23.0ms	(* (- y z) (* (- t x) (* (+ t x) (+ y z))))
41.0ms	(/ (* (- y z) (* (- t x) (* (+ t x) (+ y z)))) (* (+ t x) (+ y z)))

series73.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* (+ t x) (+ y z))
15.0ms	(* (- t x) (* (+ t x) (+ y z)))
33.0ms	(* (- y z) (* (- t x) (* (+ t x) (+ y z))))
16.0ms	(/ (* (- y z) (* (- t x) (* (+ t x) (+ y z)))) (* (+ t x) (+ y z)))

simplify92.0ms

Algorithm

egg-herbie

Counts

320 → 320

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4882	7689
1	4882	7689

prune477.0ms

Filtered

262 candidates to 320 candidates (-22.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	320	0	320
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	320	4	324

Merged error: 0b

Counts

324 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (+ (* (- y z) t) (* (* (- y z) (neg (sqrt x))) (sqrt x))))
0.0b	(+ (* (- y z) t) (* (* (- y z) (neg (sqrt x))) (sqrt x)))
0.1b	(* (- y z) (neg (sqrt x)))
0.2b	(* (* (- y z) (neg (sqrt x))) (sqrt x))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

22×	`associate-r`
18×	`associate-*l/`
16×	`add-sqr-sqrt` `*-un-lft-identity`
12×	`add-cube-cbrt`
11×	`pow1` `add-exp-log` `add-cbrt-cube` `add-log-exp`
9×	`sqrt-prod`
6×	`distribute-lft-neg-in` `flip3--` `distribute-rgt-neg-in` `associate-l` `flip--`
4×	`pow-prod-down` `frac-add` `prod-exp` `sum-log` `distribute-rgt-neg-out` `cbrt-unprod`
3×	`distribute-lft-neg-out`
2×	`+-commutative` `flip3-+` `unsub-neg` `*-commutative` `flip-+`
1×	`associate-+r-` `neg-mul-1` `associate-+r+` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 91

Calls

4 calls:

8.0ms	(+ x (+ (* (- y z) t) (* (* (- y z) (neg (sqrt x))) (sqrt x))))
9.0ms	(+ (* (- y z) t) (* (* (- y z) (neg (sqrt x))) (sqrt x)))
13.0ms	(* (- y z) (neg (sqrt x)))
11.0ms	(* (* (- y z) (neg (sqrt x))) (sqrt x))

series68.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(+ x (+ (* (- y z) t) (* (* (- y z) (neg (sqrt x))) (sqrt x))))
19.0ms	(+ (* (- y z) t) (* (* (- y z) (neg (sqrt x))) (sqrt x)))
12.0ms	(* (- y z) (neg (sqrt x)))
10.0ms	(* (* (- y z) (neg (sqrt x))) (sqrt x))

simplify42.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5423	1073

prune98.0ms

Filtered

79 candidates to 103 candidates (-30.4%)

Pruning

4 alts after pruning (0 fresh and 4 done)

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

Merged error: 0b

Counts

107 → 4

regimes365.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	9
1	10	9

end0.0ms

analyze710.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
9.4%	90.4%	0.2%	10
12.5%	85.6%	1.9%	11
19.8%	76.5%	3.7%	12
26.1%	64.4%	9.6%	13
31.7%	54.5%	13.7%	14

sample552.0ms

Algorithm

intervals

Results

233.0ms	8000×	body	80	valid
70.0ms	2452×	body	80	invalid

Details

analyze724.0ms

sample22.0ms

simplify3.0ms

prune4.0ms

localize7.0ms

rewrite15.0ms

series29.0ms

simplify24.0ms

prune67.0ms

localize8.0ms

rewrite27.0ms

series39.0ms

simplify60.0ms

prune83.0ms

localize13.0ms

rewrite116.0ms

series73.0ms

simplify92.0ms

prune477.0ms

localize11.0ms

rewrite44.0ms

series68.0ms

simplify42.0ms

prune98.0ms

regimes365.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze710.0ms

sample552.0ms

Profiling