Details

sample26.0ms

Algorithm

intervals

Results

12.0ms

266×

body

valid

simplify41.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	23	8
1	35	8
2	60	8
3	103	8
4	183	8
5	416	8
6	1194	8
7	5001	8

prune3.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: 6.3b

Counts

2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* t z) x)
0.0b	(- (* y z) x)
0.5b	(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
9.9b	(/ (- (* y z) x) (- (* t z) x))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

42×	`*-un-lft-identity`
25×	`times-frac`
22×	`add-sqr-sqrt` `add-cube-cbrt`
10×	`distribute-lft-out`
8×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
7×	`associate-/r` `associate-/l`
4×	`pow1` `flip3--` `associate-/r/` `flip--` `associate-/l/`
3×	`div-sub`
2×	`cbrt-undiv` `sub-neg` `frac-2neg` `flip3-+` `diff-log` `div-exp` `clear-num` `flip-+` `div-inv`
1×	`associate-+r-`

Counts

4 → 97

Calls

4 calls:

3.0ms	(- (* t z) x)
6.0ms	(- (* y z) x)
13.0ms	(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
8.0ms	(/ (- (* y z) x) (- (* t z) x))

series60.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(- (* t z) x)
5.0ms	(- (* y z) x)
33.0ms	(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
16.0ms	(/ (- (* y z) x) (- (* t z) x))

simplify43.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	399	950
1	1413	884
2	5001	882

prune141.0ms

Filtered

78 candidates to 109 candidates (-39.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	101	8	109
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	102	8	110

Merged error: 1.2b

Counts

110 → 8

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* y z) x)
0.4b	(/ 1 (- (* t z) x))
0.5b	(/ (+ x (* (- (* y z) x) (/ 1 (- (* t z) x)))) (+ x 1.0))
9.6b	(* (- (* y z) x) (/ 1 (- (* t z) x)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

38×	`*-un-lft-identity`
36×	`add-sqr-sqrt`
32×	`times-frac`
29×	`add-cube-cbrt`
19×	`add-exp-log`
15×	`associate-r`
13×	`add-cbrt-cube`
7×	`pow1` `associate-/r*`
6×	`associate-/r/` `associate-/l*` `add-log-exp`
5×	`flip3--` `div-exp` `flip--`
4×	`prod-exp` `distribute-lft-out`
3×	`cbrt-undiv` `associate-l` `div-inv` `unswap-sqr`
2×	`frac-times` `rec-exp` `frac-2neg` `flip3-+` `1-exp` `associate-*l/` `clear-num` `cbrt-unprod` `flip-+` `associate-/l/`
1×	`sub-neg` `pow-flip` `diff-log` `associate-r/` `pow-prod-down` `un-div-inv` `-commutative` `inv-pow`

Counts

4 → 122

Calls

4 calls:

3.0ms	(- (* y z) x)
5.0ms	(/ 1 (- (* t z) x))
7.0ms	(/ (+ x (* (- (* y z) x) (/ 1 (- (* t z) x)))) (+ x 1.0))
14.0ms	(* (- (* y z) x) (/ 1 (- (* t z) x)))

series64.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(- (* y z) x)
7.0ms	(/ 1 (- (* t z) x))
33.0ms	(/ (+ x (* (- (* y z) x) (/ 1 (- (* t z) x)))) (+ x 1.0))
16.0ms	(* (- (* y z) x) (/ 1 (- (* t z) x)))

simplify57.0ms

Algorithm

egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	459	1136
1	2073	1015
2	5002	984

prune136.0ms

Filtered

86 candidates to 134 candidates (-55.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	134	0	134
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	134	8	142

Merged error: 1.2b

Counts

142 → 8

localize14.0ms

Local error

Found 4 expressions with local error:

4.4b	(* (* (cbrt (- (* y z) x)) (cbrt (- (* y z) x))) (/ (cbrt (- (* y z) x)) (- (* t z) x)))
6.0b	(cbrt (- (* y z) x))
6.0b	(cbrt (- (* y z) x))
6.0b	(cbrt (- (* y z) x))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

30×	`cbrt-div`
25×	`add-sqr-sqrt`
24×	`associate-r`
20×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
19×	`cbrt-prod`
16×	`add-exp-log` `frac-times` `flip3--` `flip--`
12×	`associate-*l/`
10×	`add-cbrt-cube`
9×	`pow1`
6×	`prod-exp` `cbrt-unprod`
5×	`associate-*r/`
4×	`add-log-exp`
3×	`pow1/3` `pow-prod-down` `unswap-sqr`
2×	`cbrt-undiv` `div-exp` `associate-/r/`
1×	`associate-l` `*-commutative` `div-inv`

Counts

4 → 102

Calls

4 calls:

21.0ms	(* (* (cbrt (- (* y z) x)) (cbrt (- (* y z) x))) (/ (cbrt (- (* y z) x)) (- (* t z) x)))
4.0ms	(cbrt (- (* y z) x))
5.0ms	(cbrt (- (* y z) x))
4.0ms	(cbrt (- (* y z) x))

series112.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(* (* (cbrt (- (* y z) x)) (cbrt (- (* y z) x))) (/ (cbrt (- (* y z) x)) (- (* t z) x)))
31.0ms	(cbrt (- (* y z) x))
33.0ms	(cbrt (- (* y z) x))
31.0ms	(cbrt (- (* y z) x))

simplify60.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 2 (46.0ms)

Iter	Nodes	Cost
0	535	1543
1	2058	1390
2	5001	1328

prune140.0ms

Filtered

92 candidates to 114 candidates (-23.9%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	114	0	114
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	114	8	122

Merged error: 1.2b

Counts

122 → 8

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow (/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0)) 3)
0.5b	(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
9.9b	(/ (- (* y z) x) (- (* t z) x))
11.6b	(cbrt (pow (/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0)) 3))

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

144×	`*-un-lft-identity`
89×	`times-frac`
60×	`add-sqr-sqrt` `add-cube-cbrt`
50×	`cbrt-prod`
44×	`unpow-prod-down` `cube-prod`
42×	`distribute-lft-out`
12×	`associate-/r/`
11×	`add-exp-log` `add-cbrt-cube`
7×	`associate-/r` `associate-/l`
6×	`flip3-+` `flip-+` `div-inv`
5×	`pow1`
4×	`associate-/l/` `add-log-exp`
3×	`cbrt-undiv` `pow-unpow` `div-sub` `div-exp`
2×	`cube-div` `cube-mult` `flip3--` `frac-2neg` `unpow3` `pow-exp` `clear-num` `flip--` `rem-cube-cbrt` `sqr-pow`
1×	`pow-to-exp` `associate-+r-` `cbrt-div` `pow-pow` `pow1/3` `rem-cbrt-cube`

Counts

4 → 197

Calls

4 calls:

17.0ms	(pow (/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0)) 3)
14.0ms	(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
8.0ms	(/ (- (* y z) x) (- (* t z) x))
16.0ms	(cbrt (pow (/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0)) 3))

series299.0ms

Counts

4 → 12

Calls

4 calls:

209.0ms	(pow (/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0)) 3)
38.0ms	(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
17.0ms	(/ (- (* y z) x) (- (* t z) x))
34.0ms	(cbrt (pow (/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0)) 3))

simplify91.0ms

Algorithm

egg-herbie

Counts

209 → 209

Iterations

Useful iterations: 2 (63.0ms)

Iter	Nodes	Cost
0	646	2708
1	2896	2555
2	5001	2541

prune168.0ms

Filtered

104 candidates to 209 candidates (-101.0%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	209	0	209
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	209	8	217

Merged error: 1.2b

Counts

217 → 8

regimes418.0ms

Accuracy

51.2% (3.1b remaining)

Error of 4.0b against oracle of 0.9b and baseline of 7.2b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	21
1	33	21

end0.0ms

sample722.0ms

Algorithm

intervals

Results

373.0ms

8341×

body

valid

Details

sample26.0ms

simplify41.0ms

prune3.0ms

localize11.0ms

rewrite33.0ms

series60.0ms

simplify43.0ms

prune141.0ms

localize12.0ms

rewrite33.0ms

series64.0ms

simplify57.0ms

prune136.0ms

localize14.0ms

rewrite38.0ms

series112.0ms

simplify60.0ms

prune140.0ms

localize14.0ms

rewrite63.0ms

series299.0ms

simplify91.0ms

prune168.0ms

regimes418.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample722.0ms

Profiling