Details

analyze1.0s

Algorithm: search

sample29.0ms

Algorithm

intervals

Results

8.0ms	213×	body	80	valid
2.0ms	14×	body	1280	valid
2.0ms	13×	body	640	valid
2.0ms	46×	body	80	invalid
1.0ms	8×	body	320	valid
1.0ms	7×	body	160	valid
0.0ms	1×	body	2560	valid

simplify71.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: 14.7b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- t x) (- a z))
3.4b	(+ x (* (- y z) (/ (- t x) (- a z))))
6.9b	(* (- y z) (/ (- t x) (- a z)))

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

7.0ms	(/ (- t x) (- a z))
6.0ms	(+ x (* (- y z) (/ (- t x) (- a z))))
15.0ms	(* (- y z) (/ (- t x) (- a z)))

series96.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(/ (- t x) (- a z))
50.0ms	(+ x (* (- y z) (/ (- t x) (- a z))))
34.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

prune180.0ms

Filtered

88 candidates to 128 candidates (-45.5%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	114	14	128
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	115	14	129

Merged error: 3.7b

Counts

129 → 14

localize20.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- t x))
0.5b	(cbrt (- t x))
1.6b	(* (- y z) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))))
8.6b	(+ x (* (* (- y z) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-exp-log`
17×	`add-sqr-sqrt`
16×	`cbrt-div`
14×	`*-un-lft-identity` `add-cbrt-cube`
13×	`associate-r`
10×	`cbrt-prod` `flip3--` `flip--`
9×	`prod-exp` `cbrt-unprod`
8×	`add-cube-cbrt` `associate-/r/`
6×	`pow1` `frac-times` `add-log-exp`
5×	`associate-l`
4×	`cbrt-undiv` `div-exp` `associate-*l/`
3×	`associate-*r/` `distribute-lft-out--` `difference-of-squares`
2×	`times-frac` `pow1/3` `unswap-sqr`
1×	`+-commutative` `flip3-+` `pow-prod-down` `sum-log` `*-commutative` `flip-+` `div-inv`

Counts

4 → 85

Calls

4 calls:

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

series217.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify70.0ms

Algorithm

egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 2 (58.0ms)

Iter	Nodes	Cost
0	692	1381
1	2714	1170
2	5002	1136

prune162.0ms

Filtered

72 candidates to 97 candidates (-34.7%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	95	2	97
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	95	16	111

Merged error: 3.7b

Counts

111 → 16

localize10.0ms

Local error

Found 3 expressions with local error:

0.5b	(/ 1 (/ (- a z) (- t x)))
4.9b	(+ x (* (- y z) (/ 1 (/ (- a z) (- t x)))))
6.9b	(* (- y z) (/ 1 (/ (- a z) (- t x))))

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

367×	`times-frac`
301×	`add-sqr-sqrt`
289×	`*-un-lft-identity`
145×	`add-cube-cbrt`
98×	`associate-r`
71×	`distribute-lft-out--` `difference-of-squares`
33×	`add-exp-log`
31×	`associate-/r*`
17×	`add-cbrt-cube`
16×	`associate-/r/`
14×	`div-exp`
9×	`flip3--` `flip--` `div-inv`
7×	`prod-exp`
6×	`pow1` `cbrt-undiv`
5×	`associate-l` `add-log-exp` `unswap-sqr`
4×	`rec-exp` `1-exp`
3×	`cbrt-unprod` `associate-/l*`
2×	`frac-times` `associate-*l/`
1×	`+-commutative` `pow-flip` `frac-2neg` `flip3-+` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `un-div-inv` `-commutative` `flip-+` `inv-pow`

Counts

3 → 292

Calls

3 calls:

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

series184.0ms

Counts

3 → 9

Calls

3 calls:

31.0ms	(/ 1 (/ (- a z) (- t x)))
55.0ms	(+ x (* (- y z) (/ 1 (/ (- a z) (- t x)))))
98.0ms	(* (- y z) (/ 1 (/ (- a z) (- t x))))

simplify50.0ms

Algorithm

egg-herbie

Counts

301 → 301

Iterations

Useful iterations: 1 (24.0ms)

Iter	Nodes	Cost
0	951	2681
1	5002	2398

prune283.0ms

Filtered

171 candidates to 301 candidates (-76.0%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	298	3	301
Fresh	4	10	14
Picked	1	0	1
Done	1	0	1
Total	304	13	317

Merged error: 3.6b

Counts

317 → 13

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- y z) (- a z))
2.4b	(+ x (* (/ (- y z) (- a z)) (- t x)))
2.5b	(* (/ (- y z) (- a z)) (- t x))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 127

Calls

3 calls:

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

series111.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(/ (- y z) (- a z))
50.0ms	(+ x (* (/ (- y z) (- a z)) (- t x)))
53.0ms	(* (/ (- y z) (- a z)) (- t x))

simplify53.0ms

Algorithm

egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	522	929
1	1920	879
2	5002	879

prune96.0ms

Filtered

90 candidates to 136 candidates (-51.1%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	135	1	136
Fresh	1	11	12
Picked	0	1	1
Done	0	0	0
Total	136	13	149

Merged error: 3.6b

Counts

149 → 13

regimes577.0ms

Accuracy

19.4% (6.3b remaining)

Error of 10.6b against oracle of 4.3b and baseline of 12.1b

bsearch2.3s

Steps

Iters	Range		Point
8	3.072849958446727e-198	7.943107266120598e-196	5.45168217003028e-197
6	-2.4303871800245358e-191	-1.5726244863878393e-192	-1.7695020750812466e-192

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	12
1	31	12

end0.0ms

analyze1.2s

Algorithm: search

sample782.0ms

Algorithm

intervals

Results

255.0ms	6515×	body	80	valid
69.0ms	497×	body	640	valid
58.0ms	312×	body	1280	valid
50.0ms	407×	body	320	valid
47.0ms	1193×	body	80	invalid
18.0ms	251×	body	160	valid
4.0ms	18×	body	2560	valid

Details

analyze1.0s

sample29.0ms

simplify71.0ms

prune4.0ms

localize9.0ms

rewrite33.0ms

series96.0ms

simplify51.0ms

prune180.0ms

localize20.0ms

rewrite33.0ms

series217.0ms

simplify70.0ms

prune162.0ms

localize10.0ms

rewrite63.0ms

series184.0ms

simplify50.0ms

prune283.0ms

localize9.0ms

rewrite32.0ms

series111.0ms

simplify53.0ms

prune96.0ms

regimes577.0ms

bsearch2.3s

simplify1.0ms

end0.0ms

analyze1.2s

sample782.0ms

Profiling