Details

sample47.0ms

Algorithm

intervals

Results

22.0ms

458×

body

valid

simplify10.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	7
1	48	7
2	81	7
3	98	7
4	98	7

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

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))
0.0b	(+ (* x y) (* z t))
0.0b	(+ (+ (* x y) (* z t)) (* a b))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-log-exp`
10×	`sum-log`
3×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `add-cbrt-cube` `flip-+`
2×	`associate-+l+`

Counts

3 → 38

Calls

3 calls:

8.0ms	(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))
4.0ms	(+ (* x y) (* z t))
6.0ms	(+ (+ (* x y) (* z t)) (* a b))

series310.0ms

Counts

3 → 9

Calls

3 calls:

222.0ms	(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))
33.0ms	(+ (* x y) (* z t))
54.0ms	(+ (+ (* x y) (* z t)) (* a b))

simplify37.0ms

Algorithm

egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 1 (8.0ms)

Iter	Nodes	Cost
0	276	348
1	1151	333
2	5001	333

prune119.0ms

Filtered

47 candidates to 37 candidates (78.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	45	2	47
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	45	3	48

Merged error: 0.0b

Counts

48 → 3

localize18.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (+ (* x y) (* z t)) (* a b))) (cbrt (+ (+ (* x y) (* z t)) (* a b))))
0.5b	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
0.5b	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
0.5b	(cbrt (+ (+ (* x y) (* z t)) (* a b)))

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

14.0ms	(* (cbrt (+ (+ (* x y) (* z t)) (* a b))) (cbrt (+ (+ (* x y) (* z t)) (* a b))))
5.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
5.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
5.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))

series542.0ms

Counts

4 → 12

Calls

4 calls:

191.0ms	(* (cbrt (+ (+ (* x y) (* z t)) (* a b))) (cbrt (+ (+ (* x y) (* z t)) (* a b))))
118.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
116.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
116.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))

simplify113.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 3 (101.0ms)

Iter	Nodes	Cost
0	309	1413
1	1083	1317
2	4413	1198
3	5002	1187

prune320.0ms

Filtered

99 candidates to 75 candidates (75.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	97	2	99
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	98	4	102

Merged error: 0b

Counts

102 → 4

localize23.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
0.5b	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
0.5b	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
0.5b	(cbrt (+ (+ (* x y) (* z t)) (* a b)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
8×	`add-sqr-sqrt` `add-cube-cbrt` `cbrt-div` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `flip3-+` `pow1/3` `add-cbrt-cube` `flip-+` `add-log-exp`

Counts

4 → 52

Calls

4 calls:

5.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
5.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
5.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
5.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))

series458.0ms

Counts

4 → 12

Calls

4 calls:

112.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
115.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
113.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
118.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))

simplify50.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 3 (43.0ms)

Iter	Nodes	Cost
0	154	700
1	434	648
2	1431	616
3	5001	612

prune312.0ms

Filtered

64 candidates to 60 candidates (93.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	64	0	64
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	64	4	68

Merged error: 0b

Counts

68 → 4

localize26.0ms

Local error

Found 4 expressions with local error:

4.6b	(- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b)))
13.5b	(/ (* (cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b)))) (cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b))))) (* (cbrt (- (+ (* x y) (* z t)) (* a b))) (cbrt (- (+ (* x y) (* z t)) (* a b)))))
32.0b	(cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b))))
32.0b	(cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b))))

rewrite78.0ms

Algorithm

rewrite-expression-head

Rules

28×	`cbrt-div`
16×	`add-exp-log`
15×	`flip3--` `flip--`
8×	`cbrt-prod` `frac-times` `associate-/r/` `add-cbrt-cube` `associate-/l/`
6×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
4×	`pow1` `cbrt-undiv` `associate-r/` `div-exp` `associate-l/` `prod-exp` `cbrt-unprod`
3×	`difference-of-squares`
2×	`pow1/3` `associate--l+`
1×	`distribute-rgt-in` `sub-neg` `frac-2neg` `distribute-lft-in` `times-frac` `diff-log` `clear-num` `associate-/r` `div-inv` `associate-/l`

Counts

4 → 80

Calls

4 calls:

11.0ms	(- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b)))
41.0ms	(/ (* (cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b)))) (cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b))))) (* (cbrt (- (+ (* x y) (* z t)) (* a b))) (cbrt (- (+ (* x y) (* z t)) (* a b)))))
12.0ms	(cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b))))
11.0ms	(cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b))))

series3.8s

Counts

4 → 12

Calls

4 calls:

469.0ms	(- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b)))
2.9s	(/ (* (cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b)))) (cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b))))) (* (cbrt (- (+ (* x y) (* z t)) (* a b))) (cbrt (- (+ (* x y) (* z t)) (* a b)))))
185.0ms	(cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b))))
186.0ms	(cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b))))

simplify94.0ms

Algorithm

egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 2 (63.0ms)

Iter	Nodes	Cost
0	519	2653
1	1911	2176
2	5003	2131

prune423.0ms

Filtered

92 candidates to 77 candidates (83.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	92	4	96

Merged error: 0b

Counts

96 → 4

regimes464.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	22	7
1	22	7

end0.0ms

sample1.3s

Algorithm

intervals

Results

672.0ms

13750×

body

valid

Details

sample47.0ms

simplify10.0ms

prune3.0ms

localize12.0ms

rewrite19.0ms

series310.0ms

simplify37.0ms

prune119.0ms

localize18.0ms

rewrite33.0ms

series542.0ms

simplify113.0ms

prune320.0ms

localize23.0ms

rewrite23.0ms

series458.0ms

simplify50.0ms

prune312.0ms

localize26.0ms

rewrite78.0ms

series3.8s

simplify94.0ms

prune423.0ms

regimes464.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.3s

Profiling