Details

analyze2.4s

Algorithm

Search

True	Other	False	Iter
0%	99.5%	0.5%	0
0%	99.5%	0.5%	1
0%	99.5%	0.5%	2
0%	99.5%	0.5%	3
0%	99.5%	0.5%	4
0%	99.5%	0.5%	5
0%	99.5%	0.5%	6
0%	99.5%	0.5%	7
0%	99.5%	0.5%	8
0%	99.5%	0.5%	9
0%	99.5%	0.5%	10
0%	99.5%	0.5%	11
0%	99.5%	0.5%	12
0%	99.5%	0.5%	13
0%	99.5%	0.5%	14

sample110.0ms

Algorithm

intervals

Results

36.0ms	294×	body	80	invalid
27.0ms	256×	body	80	valid

simplify164.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	66	15
1	204	14
2	631	14
3	1468	14
4	2464	14
5	3909	14
6	5001	14

prune15.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 6.2b

Counts

2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 18.0) y)
0.2b	(* (* j 27.0) k)
3.2b	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
6.4b	(* (* (* x 18.0) y) z)

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

25×	`pow1` `add-exp-log` `add-cbrt-cube`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
12×	`associate-r`
11×	`add-sqr-sqrt`
9×	`add-cube-cbrt` `*-un-lft-identity`
6×	`associate-l`
4×	`*-commutative` `add-log-exp`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 81

Calls

4 calls:

6.0ms	(* (* x 18.0) y)
5.0ms	(* (* j 27.0) k)
10.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
8.0ms	(* (* (* x 18.0) y) z)

series48.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (* x 18.0) y)
4.0ms	(* (* j 27.0) k)
29.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
10.0ms	(* (* (* x 18.0) y) z)

simplify72.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	406	472
1	2141	393
2	5001	393

prune212.0ms

Filtered

53 candidates to 93 candidates (-75.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	84	9	93
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	85	9	94

Merged error: 2.1b

Counts

94 → 9

localize25.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 18.0) y)
0.2b	(* j (* 27.0 k))
3.2b	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
6.4b	(* (* (* x 18.0) y) z)

rewrite162.0ms

Algorithm

rewrite-expression-head

Rules

25×	`pow1` `add-exp-log` `add-cbrt-cube`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
11×	`add-sqr-sqrt`
10×	`associate-r`
9×	`add-cube-cbrt` `*-un-lft-identity`
8×	`associate-l`
4×	`*-commutative` `add-log-exp`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 81

Calls

4 calls:

6.0ms	(* (* x 18.0) y)
6.0ms	(* j (* 27.0 k))
11.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
8.0ms	(* (* (* x 18.0) y) z)

series50.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (* x 18.0) y)
4.0ms	(* j (* 27.0 k))
34.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
8.0ms	(* (* (* x 18.0) y) z)

simplify65.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	398	471
1	2030	392
2	5001	392

prune159.0ms

Filtered

53 candidates to 93 candidates (-75.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	92	1	93
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	94	8	102

Merged error: 2.1b

Counts

102 → 8

localize26.0ms

Local error

Found 4 expressions with local error:

6.4b	(* (* (* x 18.0) y) z)
13.6b	(cbrt (* (* (* x 18.0) y) z))
13.6b	(cbrt (* (* (* x 18.0) y) z))
13.6b	(cbrt (* (* (* x 18.0) y) z))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

13×	`pow1` `add-exp-log` `add-cbrt-cube`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`add-log-exp`
3×	`cbrt-prod` `pow1/3` `associate-r`
1×	`associate-l` `*-commutative`

Counts

4 → 48

Calls

4 calls:

7.0ms	(* (* (* x 18.0) y) z)
5.0ms	(cbrt (* (* (* x 18.0) y) z))
5.0ms	(cbrt (* (* (* x 18.0) y) z))
5.0ms	(cbrt (* (* (* x 18.0) y) z))

series79.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* (* (* x 18.0) y) z)
23.0ms	(cbrt (* (* (* x 18.0) y) z))
24.0ms	(cbrt (* (* (* x 18.0) y) z))
26.0ms	(cbrt (* (* (* x 18.0) y) z))

simplify39.0ms

Algorithm

egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	242	392
1	1077	337
2	5002	316

prune179.0ms

Filtered

46 candidates to 60 candidates (-30.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	60	0	60
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	60	8	68

Merged error: 2.1b

Counts

68 → 8

localize24.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt k)
0.6b	(cbrt k)
3.2b	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
6.4b	(* (* (* x 18.0) y) z)

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

15×	`pow1` `add-exp-log` `add-cbrt-cube`
11×	`add-sqr-sqrt`
9×	`add-cube-cbrt` `*-un-lft-identity`
7×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`cbrt-prod` `associate-r`
4×	`associate-l` `add-log-exp`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `pow1/3` `associate-r/` `-commutative`
1×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 67

Calls

4 calls:

1.0ms	(cbrt k)
1.0ms	(cbrt k)
8.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
7.0ms	(* (* (* x 18.0) y) z)

series75.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(cbrt k)
21.0ms	(cbrt k)
26.0ms	(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
6.0ms	(* (* (* x 18.0) y) z)

simplify48.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	336	430
1	1516	373
2	5001	351

prune95.0ms

Filtered

51 candidates to 79 candidates (-54.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	77	2	79
Fresh	0	6	6
Picked	1	0	1
Done	0	1	1
Total	78	9	87

Merged error: 2.0b

Counts

87 → 9

regimes2.5s

Accuracy

43% (2.1b remaining)

Error of 4.5b against oracle of 2.3b and baseline of 6.1b

bsearch10.9s

Steps

Iters	Range		Point
7	1.9882246212888648e+36	3.851409740998139e+37	1.4655104913524892e+37
9	-4.636291438980115e+172	-1.6913764361908345e+164	-5.748837331317182e+164

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	76	65
1	76	65

end0.0ms

analyze2.3s

Algorithm

Search

True	Other	False	Iter
0%	99.5%	0.5%	0
0%	99.5%	0.5%	1
0%	99.5%	0.5%	2
0%	99.5%	0.5%	3
0%	99.5%	0.5%	4
0%	99.5%	0.5%	5
0%	99.5%	0.5%	6
0%	99.5%	0.5%	7
0%	99.5%	0.5%	8
0%	99.5%	0.5%	9
0%	99.5%	0.5%	10
0%	99.5%	0.5%	11
0%	99.5%	0.5%	12
0%	99.5%	0.5%	13
0%	99.5%	0.5%	14

sample2.5s

Algorithm

intervals

Results

784.0ms	8169×	body	80	invalid
769.0ms	8000×	body	80	valid

Details

analyze2.4s

sample110.0ms

simplify164.0ms

prune15.0ms

localize21.0ms

rewrite32.0ms

series48.0ms

simplify72.0ms

prune212.0ms

localize25.0ms

rewrite162.0ms

series50.0ms

simplify65.0ms

prune159.0ms

localize26.0ms

rewrite24.0ms

series79.0ms

simplify39.0ms

prune179.0ms

localize24.0ms

rewrite19.0ms

series75.0ms

simplify48.0ms

prune95.0ms

regimes2.5s

bsearch10.9s

simplify2.0ms

end0.0ms

analyze2.3s

sample2.5s

Profiling