Details

sample23.0ms

Algorithm

intervals

Results

11.0ms

346×

body

valid

simplify107.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	14	4
1	25	4
2	58	4
3	96	4
4	131	4
5	155	4
6	179	4
7	310	4
8	643	4
9	1171	4
10	2024	4
11	3276	4
12	5001	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: 3.2b

Counts

2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 49

Calls

2 calls:

3.0ms	(+ x (* (- y x) (/ z t)))
9.0ms	(* (- y x) (/ z t))

series87.0ms

Counts

2 → 6

Calls

2 calls:

42.0ms	(+ x (* (- y x) (/ z t)))
45.0ms	(* (- y x) (/ z t))

simplify39.0ms

Algorithm

egg-herbie

Counts

55 → 55

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	296	310
1	1245	287
2	5001	275

prune129.0ms

Filtered

55 candidates to 39 candidates (70.9%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	44	11	55
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	44	12	56

Merged error: 0b

Counts

56 → 12

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt t) (cbrt t))
0.6b	(cbrt z)
0.6b	(cbrt z)
0.6b	(cbrt z)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

6.0ms	(* (cbrt t) (cbrt t))
1.0ms	(cbrt z)
1.0ms	(cbrt z)
1.0ms	(cbrt z)

series775.0ms

Counts

4 → 12

Calls

4 calls:

210.0ms	(* (cbrt t) (cbrt t))
184.0ms	(cbrt z)
194.0ms	(cbrt z)
186.0ms	(cbrt z)

simplify72.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 3 (67.0ms)

Iter	Nodes	Cost
0	129	298
1	454	265
2	2124	239
3	5002	236

prune233.0ms

Filtered

85 candidates to 63 candidates (74.1%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	85	12	97

Merged error: 0b

Counts

97 → 12

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ x (* (- y x) (/ z t)))) (cbrt (+ x (* (- y x) (/ z t)))))
7.4b	(* (- y x) (/ z t))
7.4b	(* (- y x) (/ z t))
7.4b	(* (- y x) (/ z t))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

65×	`add-sqr-sqrt`
45×	`associate-r`
42×	`*-un-lft-identity`
36×	`add-cube-cbrt`
30×	`times-frac`
21×	`add-exp-log` `associate-l`
19×	`add-cbrt-cube`
17×	`pow1`
16×	`cbrt-prod`
12×	`cbrt-div`
10×	`frac-times` `unswap-sqr`
8×	`associate-*l/`
7×	`prod-exp` `cbrt-unprod`
6×	`flip3--` `flip3-+` `pow1/3` `swap-sqr` `flip--` `flip-+`
5×	`associate-*r/` `pow-prod-down`
4×	`*-commutative` `add-log-exp`
3×	`cbrt-undiv` `div-exp` `div-inv` `distribute-lft-out--` `difference-of-squares`
2×	`pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus`

Counts

4 → 162

Calls

4 calls:

8.0ms	(* (cbrt (+ x (* (- y x) (/ z t)))) (cbrt (+ x (* (- y x) (/ z t)))))
10.0ms	(* (- y x) (/ z t))
10.0ms	(* (- y x) (/ z t))
10.0ms	(* (- y x) (/ z t))

series516.0ms

Counts

4 → 12

Calls

4 calls:

377.0ms	(* (cbrt (+ x (* (- y x) (/ z t)))) (cbrt (+ x (* (- y x) (/ z t)))))
47.0ms	(* (- y x) (/ z t))
42.0ms	(* (- y x) (/ z t))
49.0ms	(* (- y x) (/ z t))

simplify59.0ms

Algorithm

egg-herbie

Counts

174 → 174

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	437	1383
1	1778	1295
2	5001	1213

prune410.0ms

Filtered

174 candidates to 120 candidates (69.0%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	174	0	174
Fresh	0	9	9
Picked	0	1	1
Done	0	2	2
Total	174	12	186

Merged error: 0b

Counts

186 → 12

localize10.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt t)
0.5b	(cbrt t)
0.5b	(* (cbrt t) (cbrt t))
4.3b	(* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

55×	`add-sqr-sqrt`
33×	`cbrt-prod`
31×	`*-un-lft-identity`
30×	`times-frac`
29×	`add-cube-cbrt`
28×	`associate-r`
27×	`add-exp-log`
18×	`add-cbrt-cube`
15×	`associate-l`
13×	`pow1`
10×	`unswap-sqr`
9×	`prod-exp` `cbrt-unprod`
8×	`pow1/3`
7×	`cbrt-undiv` `div-exp`
6×	`swap-sqr`
4×	`add-log-exp`
3×	`pow-prod-down`
2×	`pow-sqr` `*-commutative` `pow-prod-up` `div-inv`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `associate-l/` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 123

Calls

4 calls:

1.0ms	(cbrt t)
1.0ms	(cbrt t)
6.0ms	(* (cbrt t) (cbrt t))
21.0ms	(* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))

series834.0ms

Counts

4 → 12

Calls

4 calls:

182.0ms	(cbrt t)
328.0ms	(cbrt t)
244.0ms	(* (cbrt t) (cbrt t))
81.0ms	(* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))

simplify84.0ms

Algorithm

egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 2 (74.0ms)

Iter	Nodes	Cost
0	518	953
1	2909	773
2	5001	722

prune270.0ms

Filtered

135 candidates to 96 candidates (71.1%)

Pruning

12 alts after pruning (8 fresh and 4 done)

	Pruned	Kept	Total
New	135	0	135
Fresh	0	8	8
Picked	0	1	1
Done	0	3	3
Total	135	12	147

Merged error: 0b

Counts

147 → 12

regimes279.0ms

Accuracy

0% (0.9b remaining)

Error of 0.9b against oracle of 0.0b and baseline of 0.9b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	14
1	17	14

end0.0ms

sample605.0ms

Algorithm

intervals

Results

329.0ms

10622×

body

valid

Details

sample23.0ms

simplify107.0ms

prune2.0ms

localize10.0ms

rewrite14.0ms

series87.0ms

simplify39.0ms

prune129.0ms

localize14.0ms

rewrite11.0ms

series775.0ms

simplify72.0ms

prune233.0ms

localize15.0ms

rewrite44.0ms

series516.0ms

simplify59.0ms

prune410.0ms

localize10.0ms

rewrite33.0ms

series834.0ms

simplify84.0ms

prune270.0ms

regimes279.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample605.0ms

Profiling