Details

sample30.0ms

Algorithm

intervals

Results

14.0ms

314×

body

valid

simplify186.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	10	3
1	17	3
2	31	3
3	46	3
4	53	3
5	62	3
6	80	3
7	118	3
8	235	3
9	467	3
10	832	3
11	1212	3
12	1786	3
13	3407	3
14	5002	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 2 expressions with local error:

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

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 41

Calls

2 calls:

7.0ms	(+ x (* y (- z x)))
8.0ms	(* y (- z x))

series69.0ms

Counts

2 → 6

Calls

2 calls:

28.0ms	(+ x (* y (- z x)))
41.0ms	(* y (- z x))

simplify85.0ms

Algorithm

egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	172	180
1	731	165
2	3520	165
3	5001	165

prune66.0ms

Filtered

47 candidates to 29 candidates (61.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	43	4	47
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	43	5	48

Merged error: 0.0b

Counts

48 → 5

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp`
4×	`*-un-lft-identity` `sum-log` `distribute-rgt-neg-out`
2×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `associate-+r-` `flip3-+` `unsub-neg` `add-cbrt-cube` `flip-+` `distribute-lft-out`
1×	`associate-+r+`

Counts

2 → 30

Calls

2 calls:

5.0ms	(+ x (+ (* y z) (* y (- x))))
3.0ms	(+ (* y z) (* y (- x)))

series58.0ms

Counts

2 → 6

Calls

2 calls:

27.0ms	(+ x (+ (* y z) (* y (- x))))
31.0ms	(+ (* y z) (* y (- x)))

simplify104.0ms

Algorithm

egg-herbie

Counts

36 → 36

Iterations

Useful iterations: 2 (22.0ms)

Iter	Nodes	Cost
0	181	209
1	786	168
2	3584	162
3	5001	162

prune53.0ms

Filtered

36 candidates to 23 candidates (63.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	35	1	36
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	35	6	41

Merged error: 0.0b

Counts

41 → 6

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt y) (cbrt y))
0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)

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

8.0ms	(* (cbrt y) (cbrt y))
1.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)

series724.0ms

Counts

4 → 12

Calls

4 calls:

193.0ms	(* (cbrt y) (cbrt y))
174.0ms	(cbrt y)
165.0ms	(cbrt y)
191.0ms	(cbrt y)

simplify88.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 3 (83.0ms)

Iter	Nodes	Cost
0	115	288
1	472	261
2	2959	238
3	5003	235

prune163.0ms

Filtered

85 candidates to 64 candidates (75.3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	1	2	3
Picked	0	1	1
Done	0	2	2
Total	85	6	91

Merged error: 0.0b

Counts

91 → 6

localize10.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (cbrt y) (- z x))
0.3b	(* (cbrt (pow y 2)) (* (cbrt y) (- z x)))
0.6b	(cbrt y)
25.9b	(cbrt (pow y 2))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

23×	`cbrt-prod`
19×	`add-sqr-sqrt`
17×	`associate-l`
15×	`*-un-lft-identity`
13×	`add-cube-cbrt`
11×	`pow1` `add-exp-log`
10×	`distribute-rgt-in` `distribute-lft-in`
7×	`add-cbrt-cube`
6×	`sub-neg` `unpow-prod-down` `associate-r/` `associate-r*`
4×	`pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
2×	`flip3--` `pow1/3` `*-commutative` `flip--` `unpow2` `unswap-sqr` `sqr-pow`
1×	`distribute-lft-out--` `difference-of-squares`

Counts

4 → 93

Calls

4 calls:

7.0ms	(* (cbrt y) (- z x))
10.0ms	(* (cbrt (pow y 2)) (* (cbrt y) (- z x)))
1.0ms	(cbrt y)
2.0ms	(cbrt (pow y 2))

series523.0ms

Counts

4 → 12

Calls

4 calls:

127.0ms	(* (cbrt y) (- z x))
55.0ms	(* (cbrt (pow y 2)) (* (cbrt y) (- z x)))
169.0ms	(cbrt y)
172.0ms	(cbrt (pow y 2))

simplify46.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	325	567
1	1393	516
2	5002	503

prune202.0ms

Filtered

105 candidates to 72 candidates (68.6%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	105	0	105
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	105	6	111

Merged error: 0.0b

Counts

111 → 6

regimes94.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	5
1	18	5
2	19	5
3	19	5

end0.0ms

sample455.0ms

Algorithm

intervals

Results

243.0ms

10128×

body

valid

Details

sample30.0ms

simplify186.0ms

prune2.0ms

localize5.0ms

rewrite16.0ms

series69.0ms

simplify85.0ms

prune66.0ms

localize9.0ms

rewrite9.0ms

series58.0ms

simplify104.0ms

prune53.0ms

localize9.0ms

rewrite15.0ms

series724.0ms

simplify88.0ms

prune163.0ms

localize10.0ms

rewrite22.0ms

series523.0ms

simplify46.0ms

prune202.0ms

regimes94.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample455.0ms

Profiling