Details

sample18.0ms

Algorithm

intervals

Results

6.0ms

322×

body

valid

simplify4.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	3
1	10	3

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

localize5.0ms

Local error

Found 1 expressions with local error:

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

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

9×	`*-un-lft-identity`
4×	`associate-l` `distribute-lft-out`
3×	`add-log-exp`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `flip3-+` `sum-log` `add-cbrt-cube` `flip-+`

Counts

1 → 15

Calls

1 calls:

12.0ms

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

series39.0ms

Counts

1 → 3

Calls

1 calls:

39.0ms

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

simplify111.0ms

Algorithm

egg-herbie

Counts

18 → 18

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	92	86
1	323	79
2	937	79
3	2697	79
4	5001	79

prune23.0ms

Filtered

18 candidates to 13 candidates (72.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	17	1	18
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	17	2	19

Merged error: 0.0b

Counts

19 → 2

localize9.0ms

Local error

Found 4 expressions with local error:

0.6b	(* (cbrt (+ (* x y) (* z t))) (cbrt (+ (* x y) (* z t))))
1.8b	(cbrt (+ (* x y) (* z t)))
1.8b	(cbrt (+ (* x y) (* z t)))
1.8b	(cbrt (+ (* x y) (* z t)))

rewrite79.0ms

Algorithm

rewrite-expression-head

Rules

143×	`*-un-lft-identity`
93×	`cbrt-prod`
70×	`associate-l`
60×	`distribute-lft-out`
30×	`swap-sqr`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
10×	`associate-r`
9×	`flip3-+` `pow1/3` `flip-+`
8×	`add-cbrt-cube`
6×	`add-exp-log`
4×	`frac-times` `cbrt-unprod` `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`

Counts

4 → 134

Calls

4 calls:

30.0ms	(* (cbrt (+ (* x y) (* z t))) (cbrt (+ (* x y) (* z t))))
12.0ms	(cbrt (+ (* x y) (* z t)))
13.0ms	(cbrt (+ (* x y) (* z t)))
15.0ms	(cbrt (+ (* x y) (* z t)))

series463.0ms

Counts

4 → 12

Calls

4 calls:

137.0ms	(* (cbrt (+ (* x y) (* z t))) (cbrt (+ (* x y) (* z t))))
109.0ms	(cbrt (+ (* x y) (* z t)))
109.0ms	(cbrt (+ (* x y) (* z t)))
108.0ms	(cbrt (+ (* x y) (* z t)))

simplify110.0ms

Algorithm

egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 3 (95.0ms)

Iter	Nodes	Cost
0	321	1528
1	1075	1442
2	4149	1159
3	5001	1150

prune189.0ms

Filtered

146 candidates to 75 candidates (51.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	145	1	146
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	146	2	148

Merged error: 0.0b

Counts

148 → 2

localize33.0ms

Local error

Found 4 expressions with local error:

22.6b	(/ (* (cbrt (+ (pow (* x y) 3) (pow (* z t) 3))) (cbrt (- (* (* x y) (* x y)) (* (* z t) (* z t))))) (* (cbrt (+ (* (* x y) (* x y)) (- (* (* z t) (* z t)) (* (* x y) (* z t))))) (cbrt (- (* x y) (* z t)))))
30.2b	(cbrt (+ (* (* x y) (* x y)) (- (* (* z t) (* z t)) (* (* x y) (* z t)))))
30.2b	(cbrt (- (* (* x y) (* x y)) (* (* z t) (* z t))))
39.0b	(cbrt (+ (pow (* x y) 3) (pow (* z t) 3)))

rewrite3.0s

Algorithm

rewrite-expression-head

Rules

25074×	`add-sqr-sqrt`
21266×	`associate-l`
19950×	`*-un-lft-identity`
14230×	`cbrt-prod`
12316×	`unswap-sqr`
8638×	`associate-r`
8024×	`times-frac`
5799×	`distribute-lft-out--`
5489×	`difference-of-squares`
4445×	`distribute-lft-out`
4148×	`swap-sqr`
1295×	`*-commutative`
992×	`add-cube-cbrt`
488×	`unpow-prod-down`
244×	`pow-unpow` `sum-cubes`
136×	`associate-/l*`
59×	`associate-/r*`
54×	`add-cbrt-cube`
40×	`cbrt-unprod`
30×	`cbrt-div`
25×	`cbrt-undiv`
16×	`add-exp-log`
8×	`frac-times` `flip3-+` `associate-/r/` `flip-+` `associate-/l/`
7×	`flip3--` `flip--`
4×	`pow1` `associate-r/` `div-exp` `associate-l/` `prod-exp` `add-log-exp`
3×	`pow1/3`
1×	`frac-2neg` `clear-num` `div-inv`

Counts

4 → 8458

Calls

4 calls:

629.0ms	(/ (* (cbrt (+ (pow (* x y) 3) (pow (* z t) 3))) (cbrt (- (* (* x y) (* x y)) (* (* z t) (* z t))))) (* (cbrt (+ (* (* x y) (* x y)) (- (* (* z t) (* z t)) (* (* x y) (* z t))))) (cbrt (- (* x y) (* z t)))))
221.0ms	(cbrt (+ (* (* x y) (* x y)) (- (* (* z t) (* z t)) (* (* x y) (* z t)))))
104.0ms	(cbrt (- (* (* x y) (* x y)) (* (* z t) (* z t))))
21.0ms	(cbrt (+ (pow (* x y) 3) (pow (* z t) 3)))

series612.0ms

Counts

4 → 12

Calls

4 calls:

241.0ms	(/ (* (cbrt (+ (pow (* x y) 3) (pow (* z t) 3))) (cbrt (- (* (* x y) (* x y)) (* (* z t) (* z t))))) (* (cbrt (+ (* (* x y) (* x y)) (- (* (* z t) (* z t)) (* (* x y) (* z t))))) (cbrt (- (* x y) (* z t)))))
158.0ms	(cbrt (+ (* (* x y) (* x y)) (- (* (* z t) (* z t)) (* (* x y) (* z t)))))
114.0ms	(cbrt (- (* (* x y) (* x y)) (* (* z t) (* z t))))
99.0ms	(cbrt (+ (pow (* x y) 3) (pow (* z t) 3)))

simplify3.8s

Algorithm

egg-herbie

Counts

8470 → 8470

Iterations

Useful iterations: 0 (417.0ms)

Iter	Nodes	Cost
0	5001	384865

prune8.4s

Filtered

8470 candidates to 1108 candidates (13.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	8470	0	8470
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	8470	2	8472

Merged error: 0.0b

Counts

8472 → 2

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

sample489.0ms

Algorithm

intervals

Results

226.0ms

10368×

body

valid