Details

analyze987.0ms

Algorithm: search

sample28.0ms

Algorithm

intervals

Results

8.0ms	219×	body	80	valid
2.0ms	17×	body	320	valid
2.0ms	48×	body	80	invalid
1.0ms	10×	body	640	valid
1.0ms	6×	body	1280	valid
0.0ms	4×	body	160	valid

simplify69.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	23	6
1	44	6
2	122	6
3	327	6
4	868	6
5	1727	6
6	3544	6
7	5001	6

prune4.0ms

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: 12.1b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- t x) (- a z))
2.7b	(+ x (* (- y z) (/ (- t x) (- a z))))
4.9b	(* (- y z) (/ (- t x) (- a z)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

78×	`add-sqr-sqrt`
73×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-r`
27×	`add-cube-cbrt`
23×	`distribute-lft-out--` `difference-of-squares`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `flip3--` `associate-l` `associate-/r` `flip--` `associate-/l` `add-log-exp`
4×	`associate-/r/`
2×	`cbrt-undiv` `frac-times` `div-exp` `associate-*l/` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `frac-2neg` `flip3-+` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+`

Counts

3 → 119

Calls

3 calls:

11.0ms	(/ (- t x) (- a z))
3.0ms	(+ x (* (- y z) (/ (- t x) (- a z))))
15.0ms	(* (- y z) (/ (- t x) (- a z)))

series95.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(/ (- t x) (- a z))
50.0ms	(+ x (* (- y z) (/ (- t x) (- a z))))
33.0ms	(* (- y z) (/ (- t x) (- a z)))

simplify51.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	473	869
1	2012	820
2	5002	820

prune167.0ms

Filtered

88 candidates to 128 candidates (-45.5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	116	12	128
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	117	12	129

Merged error: 3.7b

Counts

129 → 12

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- t x))
0.6b	(cbrt (- t x))
0.6b	(cbrt (- t x))
7.1b	(+ x (* (* (- y z) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

15×	`cbrt-prod`
13×	`add-sqr-sqrt` `*-un-lft-identity`
7×	`add-cube-cbrt`
6×	`cbrt-div` `add-log-exp`
4×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`flip3--` `pow1/3` `flip--` `distribute-lft-out--` `difference-of-squares`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+`

Counts

4 → 56

Calls

4 calls:

5.0ms	(cbrt (- t x))
3.0ms	(cbrt (- t x))
3.0ms	(cbrt (- t x))
3.0ms	(+ x (* (* (- y z) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

series124.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt (- t x))
26.0ms	(cbrt (- t x))
25.0ms	(cbrt (- t x))
47.0ms	(+ x (* (* (- y z) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

simplify31.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 2 (24.0ms)

Iter	Nodes	Cost
0	260	701
1	807	613
2	5002	579

prune129.0ms

Filtered

57 candidates to 68 candidates (-19.3%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	65	3	68
Fresh	1	10	11
Picked	0	1	1
Done	0	0	0
Total	66	14	80

Merged error: 2.7b

Counts

80 → 14

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- a z) (- t x))
0.7b	(/ 1 (/ (- a z) (- t x)))
3.2b	(+ x (* (- y z) (/ 1 (/ (- a z) (- t x)))))
4.9b	(* (- y z) (/ 1 (/ (- a z) (- t x))))

rewrite76.0ms

Algorithm

rewrite-expression-head

Rules

392×	`times-frac`
338×	`add-sqr-sqrt`
326×	`*-un-lft-identity`
158×	`add-cube-cbrt`
98×	`associate-r`
83×	`distribute-lft-out--` `difference-of-squares`
36×	`add-exp-log` `associate-/r*`
20×	`add-cbrt-cube`
18×	`associate-/r/`
15×	`div-exp`
11×	`flip3--` `flip--`
10×	`div-inv`
8×	`associate-/l*`
7×	`pow1` `cbrt-undiv` `prod-exp`
6×	`add-log-exp`
5×	`associate-l` `unswap-sqr`
4×	`rec-exp` `1-exp`
3×	`cbrt-unprod`
2×	`frac-times` `frac-2neg` `associate-*l/` `clear-num` `associate-/l/`
1×	`+-commutative` `pow-flip` `flip3-+` `div-sub` `associate-r/` `pow-prod-down` `sum-log` `un-div-inv` `-commutative` `flip-+` `inv-pow`

Counts

4 → 344

Calls

4 calls:

7.0ms	(/ (- a z) (- t x))
11.0ms	(/ 1 (/ (- a z) (- t x)))
3.0ms	(+ x (* (- y z) (/ 1 (/ (- a z) (- t x)))))
32.0ms	(* (- y z) (/ 1 (/ (- a z) (- t x))))

series141.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(/ (- a z) (- t x))
29.0ms	(/ 1 (/ (- a z) (- t x)))
45.0ms	(+ x (* (- y z) (/ 1 (/ (- a z) (- t x)))))
54.0ms	(* (- y z) (/ 1 (/ (- a z) (- t x))))

simplify53.0ms

Algorithm

egg-herbie

Counts

356 → 356

Iterations

Useful iterations: 1 (23.0ms)

Iter	Nodes	Cost
0	1010	3035
1	5002	2738

prune490.0ms

Filtered

208 candidates to 356 candidates (-71.2%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	352	4	356
Fresh	5	7	12
Picked	0	1	1
Done	0	1	1
Total	357	13	370

Merged error: 2.7b

Counts

370 → 13

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- y z) (- a z))
0.2b	(/ 1 (/ 1 (- t x)))
3.0b	(* (/ (- y z) (- a z)) (/ 1 (/ 1 (- t x))))
3.5b	(+ x (* (/ (- y z) (- a z)) (/ 1 (/ 1 (- t x)))))

rewrite88.0ms

Algorithm

rewrite-expression-head

Rules

308×	`times-frac`
265×	`add-sqr-sqrt`
230×	`*-un-lft-identity`
134×	`add-cube-cbrt`
104×	`add-exp-log`
68×	`associate-r`
56×	`div-exp`
43×	`distribute-lft-out--` `difference-of-squares`
32×	`add-cbrt-cube`
31×	`associate-l`
26×	`prod-exp` `associate-/r*`
21×	`rec-exp` `1-exp`
20×	`associate-/r/`
14×	`unswap-sqr`
13×	`cbrt-undiv`
11×	`div-inv`
10×	`flip3--` `flip--`
8×	`pow1` `associate-/l*`
6×	`cbrt-unprod` `add-log-exp`
4×	`pow-flip`
2×	`frac-2neg` `clear-num` `associate-/l/` `inv-pow`
1×	`+-commutative` `frac-times` `flip3-+` `div-sub` `associate-r/` `pow-prod-down` `associate-l/` `sum-log` `un-div-inv` `*-commutative` `flip-+` `remove-double-div`

Counts

4 → 338

Calls

4 calls:

7.0ms	(/ (- y z) (- a z))
9.0ms	(/ 1 (/ 1 (- t x)))
50.0ms	(* (/ (- y z) (- a z)) (/ 1 (/ 1 (- t x))))
3.0ms	(+ x (* (/ (- y z) (- a z)) (/ 1 (/ 1 (- t x)))))

series117.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(/ (- y z) (- a z))
3.0ms	(/ 1 (/ 1 (- t x)))
53.0ms	(* (/ (- y z) (- a z)) (/ 1 (/ 1 (- t x))))
51.0ms	(+ x (* (/ (- y z) (- a z)) (/ 1 (/ 1 (- t x)))))

simplify57.0ms

Algorithm

egg-herbie

Counts

350 → 350

Iterations

Useful iterations: 1 (28.0ms)

Iter	Nodes	Cost
0	1291	2752
1	5001	2253

prune247.0ms

Filtered

180 candidates to 350 candidates (-94.4%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	349	1	350
Fresh	1	9	10
Picked	0	1	1
Done	0	2	2
Total	350	13	363

Merged error: 2.7b

Counts

363 → 13

regimes667.0ms

Accuracy

61.2% (3.4b remaining)

Error of 7.0b against oracle of 3.6b and baseline of 12.3b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	48	45
1	48	45

end0.0ms

analyze1.0s

Algorithm: search

sample783.0ms

Algorithm

intervals

Results

259.0ms	6543×	body	80	valid
66.0ms	481×	body	640	valid
53.0ms	1237×	body	80	invalid
50.0ms	436×	body	320	valid
47.0ms	270×	body	1280	valid
19.0ms	256×	body	160	valid
3.0ms	14×	body	2560	valid

Details

analyze987.0ms

sample28.0ms

simplify69.0ms

prune4.0ms

localize9.0ms

rewrite34.0ms

series95.0ms

simplify51.0ms

prune167.0ms

localize16.0ms

rewrite15.0ms

series124.0ms

simplify31.0ms

prune129.0ms

localize12.0ms

rewrite76.0ms

series141.0ms

simplify53.0ms

prune490.0ms

localize11.0ms

rewrite88.0ms

series117.0ms

simplify57.0ms

prune247.0ms

regimes667.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

analyze1.0s

sample783.0ms

Profiling