Details

sample40.0ms

Algorithm

intervals

Results

22.0ms

269×

body

valid

simplify43.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

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

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

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

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

4.0ms	(- (* y z) x)
6.0ms	(- (* t z) x)
14.0ms	(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
9.0ms	(/ (- (* y z) x) (- (* t z) x))

series210.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(- (* y z) x)
23.0ms	(- (* t z) x)
114.0ms	(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
52.0ms	(/ (- (* y z) x) (- (* t z) x))

simplify45.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 2 (34.0ms)

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

prune230.0ms

Filtered

109 candidates to 78 candidates (71.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	100	9	109
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	101	9	110

Merged error: 1.3b

Counts

110 → 9

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

110×	`times-frac`
94×	`*-un-lft-identity`
67×	`add-sqr-sqrt` `add-cube-cbrt`
22×	`associate-/r*`
19×	`add-exp-log`
16×	`distribute-lft-out`
13×	`associate-/r/` `add-cbrt-cube`
12×	`div-inv`
11×	`associate-/l*`
9×	`div-exp`
7×	`flip3--` `flip--`
6×	`add-log-exp`
5×	`pow1` `cbrt-undiv`
4×	`associate-/l/`
3×	`frac-2neg` `clear-num`
2×	`rec-exp` `flip3-+` `1-exp` `flip-+`
1×	`sub-neg` `pow-flip` `diff-log` `div-sub` `inv-pow`

Counts

4 → 173

Calls

4 calls:

4.0ms	(- (* t z) x)
10.0ms	(/ 1 (/ (- (* t z) x) (- (* y z) x)))
22.0ms	(/ (+ x (/ 1 (/ (- (* t z) x) (- (* y z) x)))) (+ x 1.0))
9.0ms	(/ (- (* t z) x) (- (* y z) x))

series315.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(- (* t z) x)
90.0ms	(/ 1 (/ (- (* t z) x) (- (* y z) x)))
141.0ms	(/ (+ x (/ 1 (/ (- (* t z) x) (- (* y z) x)))) (+ x 1.0))
59.0ms	(/ (- (* t z) x) (- (* y z) x))

simplify81.0ms

Algorithm

egg-herbie

Counts

185 → 185

Iterations

Useful iterations: 2 (61.0ms)

Iter	Nodes	Cost
0	633	2022
1	2917	1858
2	5002	1779

prune313.0ms

Filtered

185 candidates to 103 candidates (55.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	184	1	185
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	185	9	194

Merged error: 1.3b

Counts

194 → 9

localize17.0ms

Local error

Found 4 expressions with local error:

2.6b	(cbrt (/ (- (* y z) x) (- (* t z) x)))
10.1b	(/ (- (* y z) x) (- (* t z) x))
10.1b	(/ (- (* y z) x) (- (* t z) x))
10.1b	(/ (- (* y z) x) (- (* t z) x))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

36×	`times-frac`
35×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
15×	`cbrt-prod`
10×	`add-exp-log` `add-cbrt-cube`
9×	`associate-/r` `associate-/l`
8×	`associate-/r/`
7×	`flip3--` `flip--`
6×	`associate-/l/`
4×	`pow1` `div-inv` `add-log-exp`
3×	`cbrt-undiv` `frac-2neg` `div-sub` `div-exp` `clear-num`
1×	`cbrt-div` `pow1/3`

Counts

4 → 120

Calls

4 calls:

7.0ms	(cbrt (/ (- (* y z) x) (- (* t z) x)))
9.0ms	(/ (- (* y z) x) (- (* t z) x))
9.0ms	(/ (- (* y z) x) (- (* t z) x))
9.0ms	(/ (- (* y z) x) (- (* t z) x))

series336.0ms

Counts

4 → 12

Calls

4 calls:

172.0ms	(cbrt (/ (- (* y z) x) (- (* t z) x)))
53.0ms	(/ (- (* y z) x) (- (* t z) x))
55.0ms	(/ (- (* y z) x) (- (* t z) x))
56.0ms	(/ (- (* y z) x) (- (* t z) x))

simplify85.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 3 (72.0ms)

Iter	Nodes	Cost
0	273	1193
1	811	1114
2	2922	1112
3	5002	1107

prune426.0ms

Filtered

132 candidates to 111 candidates (84.1%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	132	0	132
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	132	9	141

Merged error: 1.3b

Counts

141 → 9

localize16.0ms

Local error

Found 4 expressions with local error:

4.6b	(* (* (cbrt (- (* y z) x)) (cbrt (- (* y z) x))) (/ (cbrt (- (* y z) x)) (- (* t z) x)))
6.3b	(cbrt (- (* y z) x))
6.3b	(cbrt (- (* y z) x))
6.3b	(cbrt (- (* y z) x))

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

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

series415.0ms

Counts

4 → 12

Calls

4 calls:

60.0ms	(* (* (cbrt (- (* y z) x)) (cbrt (- (* y z) x))) (/ (cbrt (- (* y z) x)) (- (* t z) x)))
118.0ms	(cbrt (- (* y z) x))
120.0ms	(cbrt (- (* y z) x))
116.0ms	(cbrt (- (* y z) x))

simplify65.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 2 (51.0ms)

Iter	Nodes	Cost
0	537	1531
1	2037	1378
2	5002	1310

prune346.0ms

Filtered

114 candidates to 93 candidates (81.6%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	114	0	114
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	114	9	123

Merged error: 1.3b

Counts

123 → 9

regimes174.0ms

Accuracy

60.2% (2.8b remaining)

Error of 3.7b against oracle of 1.0b and baseline of 7.9b

bsearch82.0ms

Steps

Iters	Range		Point
7	4.230325854432792e+97	2.881289203476503e+99	1.6526054012314115e+98
7	-1.0211499979032962e+193	-1.3474599131633829e+191	-2.4139691434085316e+191

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	13
1	34	13

end0.0ms

sample658.0ms

Algorithm

intervals

Results

436.0ms

8353×

body

valid

Details

sample40.0ms

simplify43.0ms

prune2.0ms

localize12.0ms

rewrite36.0ms

series210.0ms

simplify45.0ms

prune230.0ms

localize16.0ms

rewrite51.0ms

series315.0ms

simplify81.0ms

prune313.0ms

localize17.0ms

rewrite38.0ms

series336.0ms

simplify85.0ms

prune426.0ms

localize16.0ms

rewrite39.0ms

series415.0ms

simplify65.0ms

prune346.0ms

regimes174.0ms

bsearch82.0ms

simplify2.0ms

end0.0ms

sample658.0ms

Profiling