Details

sample23.0ms

Algorithm

intervals

Results

10.0ms

384×

body

valid

simplify97.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	14	4
1	28	4
2	80	4
3	254	4
4	641	4
5	1066	4
6	2373	4
7	3914	4
8	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: 0.0b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite18.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` `distribute-rgt-in` `frac-times` `add-cube-cbrt` `sub-neg` `associate-+r+` `distribute-lft-in` `add-cbrt-cube` `add-log-exp`
2×	`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 → 49

Calls

2 calls:

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

series87.0ms

Counts

2 → 6

Calls

2 calls:

52.0ms	(+ x (* (- y z) (- t x)))
34.0ms	(* (- y z) (- t x))

simplify38.0ms

Algorithm

egg-herbie

Counts

55 → 55

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	290	310
1	1174	292
2	5001	291

prune101.0ms

Filtered

55 candidates to 40 candidates (72.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	49	6	55
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	49	7	56

Merged error: 0b

Counts

56 → 7

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 86

Calls

4 calls:

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

series147.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(* (- y z) (neg x))
50.0ms	(+ x (+ (* (- y z) t) (* (- y z) (neg x))))
31.0ms	(* (- y z) t)
38.0ms	(+ (* (- y z) t) (* (- y z) (neg x)))

simplify60.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	464	589
1	2070	523
2	5003	518

prune178.0ms

Filtered

98 candidates to 77 candidates (78.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	97	1	98
Fresh	2	3	5
Picked	0	1	1
Done	0	1	1
Total	99	6	105

Merged error: 0b

Counts

105 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- y z) t)
0.0b	(+ (cbrt (pow (* (- y z) t) 3)) (* (- y z) (neg x)))
0.3b	(pow (* (- y z) t) 3)
33.0b	(cbrt (pow (* (- y z) t) 3))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

14×	`associate-*l/`
12×	`add-sqr-sqrt`
10×	`*-un-lft-identity`
9×	`pow1` `add-exp-log` `add-cbrt-cube`
8×	`cube-div` `cbrt-prod` `add-cube-cbrt`
7×	`flip3--` `flip--`
6×	`cbrt-div` `add-log-exp`
5×	`associate-l`
4×	`frac-add`
3×	`pow-unpow` `associate-r`
2×	`cube-mult` `unpow-prod-down` `pow-pow` `unpow3` `cube-prod` `pow-prod-down` `pow-exp` `prod-exp` `distribute-rgt-neg-out` `cbrt-unprod` `rem-cube-cbrt` `sqr-pow`
1×	`+-commutative` `pow-to-exp` `flip3-+` `pow1/3` `unsub-neg` `sum-log` `*-commutative` `rem-cbrt-cube` `flip-+` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 82

Calls

4 calls:

6.0ms	(* (- y z) t)
8.0ms	(+ (cbrt (pow (* (- y z) t) 3)) (* (- y z) (neg x)))
6.0ms	(pow (* (- y z) t) 3)
3.0ms	(cbrt (pow (* (- y z) t) 3))

series189.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* (- y z) t)
64.0ms	(+ (cbrt (pow (* (- y z) t) 3)) (* (- y z) (neg x)))
41.0ms	(pow (* (- y z) t) 3)
55.0ms	(cbrt (pow (* (- y z) t) 3))

simplify71.0ms

Algorithm

egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 2 (62.0ms)

Iter	Nodes	Cost
0	448	577
1	2309	499
2	5002	490

prune213.0ms

Filtered

94 candidates to 69 candidates (73.4%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	94	0	94
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	94	6	100

Merged error: 0b

Counts

100 → 6

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

44×	`sqrt-div`
34×	`flip3--` `flip--`
32×	`frac-times`
23×	`add-sqr-sqrt`
18×	`*-un-lft-identity`
16×	`associate-r` `associate-*l/` `sqrt-prod`
12×	`pow1`
11×	`add-exp-log` `add-cbrt-cube`
10×	`add-cube-cbrt` `associate-*r/`
6×	`associate-l` `add-log-exp`
4×	`pow-prod-down` `prod-exp` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares`
2×	`*-commutative` `unswap-sqr`
1×	`+-commutative` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `sum-log` `flip-+`

Counts

4 → 111

Calls

4 calls:

3.0ms	(sqrt (- t x))
3.0ms	(+ x (* (* (- y z) (sqrt (- t x))) (sqrt (- t x))))
10.0ms	(* (- y z) (sqrt (- t x)))
15.0ms	(* (* (- y z) (sqrt (- t x))) (sqrt (- t x)))

series315.0ms

Counts

4 → 12

Calls

4 calls:

141.0ms	(sqrt (- t x))
50.0ms	(+ x (* (* (- y z) (sqrt (- t x))) (sqrt (- t x))))
85.0ms	(* (- y z) (sqrt (- t x)))
39.0ms	(* (* (- y z) (sqrt (- t x))) (sqrt (- t x)))

simplify60.0ms

Algorithm

egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 2 (48.0ms)

Iter	Nodes	Cost
0	522	1107
1	1933	990
2	5001	980

prune264.0ms

Filtered

123 candidates to 86 candidates (69.9%)

Pruning

6 alts after pruning (2 fresh and 4 done)

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

Merged error: 0b

Counts

129 → 6

regimes152.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	4
1	10	4

end0.0ms

sample624.0ms

Algorithm

intervals

Results

328.0ms

12201×

body

valid

Details

sample23.0ms

simplify97.0ms

prune2.0ms

localize6.0ms

rewrite18.0ms

series87.0ms

simplify38.0ms

prune101.0ms

localize10.0ms

rewrite31.0ms

series147.0ms

simplify60.0ms

prune178.0ms

localize11.0ms

rewrite25.0ms

series189.0ms

simplify71.0ms

prune213.0ms

localize9.0ms

rewrite36.0ms

series315.0ms

simplify60.0ms

prune264.0ms

regimes152.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample624.0ms

Profiling