Details

analyze2.1s

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
1.6%	98.3%	0.1%	8
2.3%	97.5%	0.1%	9
7.4%	90.9%	1.7%	10
9.2%	87.4%	3.5%	11
11.7%	83.5%	4.8%	12
15.2%	76%	8.8%	13
16.4%	72%	11.6%	14

sample138.0ms

Algorithm

intervals

Results

56.0ms	73×	body	1280	valid
22.0ms	41×	body	640	valid
14.0ms	107×	body	80	valid
12.0ms	31×	body	320	valid
11.0ms	47×	body	80	invalid
3.0ms	6×	body	640	invalid
2.0ms	4×	body	320	invalid
1.0ms	4×	body	160	valid
1.0ms	3×	body	160	invalid
1.0ms	1×	body	1280	invalid

simplify55.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5086	25

prune15.0ms

Filtered

1 candidates to 1 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: 25.1b

Counts

2 → 2

localize20.0ms

Local error

Found 4 expressions with local error:

2.7b	(* (sin k) (* (tan k) (/ (pow t 3.0) l)))
5.4b	(* l (/ 2.0 (* (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))) (* (sin k) (* (tan k) (/ (pow t 3.0) l))))))
6.5b	(/ (pow t 3.0) l)
12.0b	(* (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))) (* (sin k) (* (tan k) (/ (pow t 3.0) l))))

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

88×	`add-exp-log`
56×	`add-cbrt-cube`
47×	`prod-exp`
35×	`associate-*r/`
30×	`*-un-lft-identity`
29×	`cbrt-unprod`
27×	`add-sqr-sqrt`
25×	`add-cube-cbrt`
24×	`times-frac`
20×	`pow1` `associate-r`
19×	`frac-times` `div-exp`
14×	`tan-quot`
12×	`unpow-prod-down`
11×	`associate-l` `associate-*l/` `associate-/r/`
10×	`pow-prod-down`
9×	`cbrt-undiv`
8×	`flip3-+` `flip-+`
7×	`associate-/l*`
4×	`pow-to-exp` `pow-exp` `add-log-exp` `sqr-pow`
3×	`associate-/r` `-commutative` `distribute-lft-out`
2×	`div-inv`
1×	`frac-2neg` `clear-num` `unswap-sqr`

Counts

4 → 154

Calls

4 calls:

10.0ms	(* (sin k) (* (tan k) (/ (pow t 3.0) l)))
26.0ms	(* l (/ 2.0 (* (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))) (* (sin k) (* (tan k) (/ (pow t 3.0) l))))))
5.0ms	(/ (pow t 3.0) l)
24.0ms	(* (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))) (* (sin k) (* (tan k) (/ (pow t 3.0) l))))

series326.0ms

Counts

4 → 12

Calls

4 calls:

62.0ms	(* (sin k) (* (tan k) (/ (pow t 3.0) l)))
116.0ms	(* l (/ 2.0 (* (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))) (* (sin k) (* (tan k) (/ (pow t 3.0) l))))))
37.0ms	(/ (pow t 3.0) l)
111.0ms	(* (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))) (* (sin k) (* (tan k) (/ (pow t 3.0) l))))

simplify53.0ms

Algorithm

egg-herbie

Counts

166 → 166

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5043	3178

prune462.0ms

Filtered

122 candidates to 166 candidates (-36.1%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	151	15	166
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	152	16	168

Merged error: 12.7b

Counts

168 → 16

localize29.0ms

Local error

Found 4 expressions with local error:

2.5b	(* (tan k) (* (pow (* (cbrt t) (cbrt t)) 3.0) (/ (pow (cbrt t) 3.0) l)))
2.7b	(* (sin k) (* (tan k) (* (pow (* (cbrt t) (cbrt t)) 3.0) (/ (pow (cbrt t) 3.0) l))))
5.4b	(* l (/ 2.0 (* (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))) (* (sin k) (* (tan k) (* (pow (* (cbrt t) (cbrt t)) 3.0) (/ (pow (cbrt t) 3.0) l)))))))
12.0b	(* (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))) (* (sin k) (* (tan k) (* (pow (* (cbrt t) (cbrt t)) 3.0) (/ (pow (cbrt t) 3.0) l)))))

rewrite108.0ms

Algorithm

rewrite-expression-head

Rules

376×	`add-exp-log`
261×	`prod-exp`
82×	`add-cbrt-cube`
68×	`div-exp`
52×	`associate-*r/`
49×	`cbrt-unprod`
48×	`pow-exp`
32×	`pow-to-exp`
22×	`pow1`
21×	`associate-r`
20×	`frac-times`
16×	`tan-quot`
15×	`*-un-lft-identity`
14×	`associate-l`
12×	`add-sqr-sqrt` `associate-*l/`
11×	`pow-prod-down` `associate-/r/`
10×	`cbrt-undiv` `add-cube-cbrt`
8×	`flip3-+` `flip-+`
4×	`*-commutative` `add-log-exp`
3×	`times-frac` `distribute-lft-out`
1×	`div-inv` `unswap-sqr`

Counts

4 → 187

Calls

4 calls:

12.0ms	(* (tan k) (* (pow (* (cbrt t) (cbrt t)) 3.0) (/ (pow (cbrt t) 3.0) l)))
19.0ms	(* (sin k) (* (tan k) (* (pow (* (cbrt t) (cbrt t)) 3.0) (/ (pow (cbrt t) 3.0) l))))
34.0ms	(* l (/ 2.0 (* (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))) (* (sin k) (* (tan k) (* (pow (* (cbrt t) (cbrt t)) 3.0) (/ (pow (cbrt t) 3.0) l)))))))
30.0ms	(* (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))) (* (sin k) (* (tan k) (* (pow (* (cbrt t) (cbrt t)) 3.0) (/ (pow (cbrt t) 3.0) l)))))

series389.0ms

Counts

4 → 12

Calls

4 calls:

64.0ms	(* (tan k) (* (pow (* (cbrt t) (cbrt t)) 3.0) (/ (pow (cbrt t) 3.0) l)))
68.0ms	(* (sin k) (* (tan k) (* (pow (* (cbrt t) (cbrt t)) 3.0) (/ (pow (cbrt t) 3.0) l))))
131.0ms	(* l (/ 2.0 (* (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))) (* (sin k) (* (tan k) (* (pow (* (cbrt t) (cbrt t)) 3.0) (/ (pow (cbrt t) 3.0) l)))))))
125.0ms	(* (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))) (* (sin k) (* (tan k) (* (pow (* (cbrt t) (cbrt t)) 3.0) (/ (pow (cbrt t) 3.0) l)))))

simplify66.0ms

Algorithm

egg-herbie

Counts

199 → 199

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4990	5608
1	4990	5608

prune425.0ms

Filtered

105 candidates to 199 candidates (-89.5%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	194	5	199
Fresh	4	11	15
Picked	1	0	1
Done	0	0	0
Total	199	16	215

Merged error: 11.6b

Counts

215 → 16

localize25.0ms

Local error

Found 4 expressions with local error:

2.8b	(* (* (tan k) (pow (* (cbrt t) (cbrt t)) 3.0)) (/ (pow (cbrt t) 3.0) l))
3.4b	(* (tan k) (pow (* (cbrt t) (cbrt t)) 3.0))
5.4b	(* l (/ 2.0 (* (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))) (* (sin k) (* (* (tan k) (pow (* (cbrt t) (cbrt t)) 3.0)) (/ (pow (cbrt t) 3.0) l))))))
12.0b	(* (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))) (* (sin k) (* (* (tan k) (pow (* (cbrt t) (cbrt t)) 3.0)) (/ (pow (cbrt t) 3.0) l))))

rewrite98.0ms

Algorithm

rewrite-expression-head

Rules

349×	`add-exp-log`
235×	`prod-exp`
85×	`add-cbrt-cube`
68×	`div-exp`
58×	`associate-r`
49×	`cbrt-unprod`
41×	`pow-exp`
36×	`add-sqr-sqrt`
35×	`*-un-lft-identity`
33×	`times-frac`
32×	`associate-*r/`
30×	`add-cube-cbrt`
28×	`pow-to-exp`
26×	`associate-*l/`
20×	`unpow-prod-down`
19×	`frac-times`
17×	`pow1`
15×	`tan-quot`
13×	`cbrt-undiv`
12×	`associate-l`
11×	`associate-/r/`
9×	`cbrt-prod`
8×	`flip3-+` `pow-prod-down` `flip-+`
5×	`sqr-pow`
4×	`*-commutative` `add-log-exp` `unswap-sqr`
3×	`distribute-lft-out`
2×	`div-inv`

Counts

4 → 216

Calls

4 calls:

15.0ms	(* (* (tan k) (pow (* (cbrt t) (cbrt t)) 3.0)) (/ (pow (cbrt t) 3.0) l))
6.0ms	(* (tan k) (pow (* (cbrt t) (cbrt t)) 3.0))
35.0ms	(* l (/ 2.0 (* (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))) (* (sin k) (* (* (tan k) (pow (* (cbrt t) (cbrt t)) 3.0)) (/ (pow (cbrt t) 3.0) l))))))
27.0ms	(* (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))) (* (sin k) (* (* (tan k) (pow (* (cbrt t) (cbrt t)) 3.0)) (/ (pow (cbrt t) 3.0) l))))

series363.0ms

Counts

4 → 12

Calls

4 calls:

61.0ms	(* (* (tan k) (pow (* (cbrt t) (cbrt t)) 3.0)) (/ (pow (cbrt t) 3.0) l))
46.0ms	(* (tan k) (pow (* (cbrt t) (cbrt t)) 3.0))
128.0ms	(* l (/ 2.0 (* (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))) (* (sin k) (* (* (tan k) (pow (* (cbrt t) (cbrt t)) 3.0)) (/ (pow (cbrt t) 3.0) l))))))
127.0ms	(* (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))) (* (sin k) (* (* (tan k) (pow (* (cbrt t) (cbrt t)) 3.0)) (/ (pow (cbrt t) 3.0) l))))

simplify85.0ms

Algorithm

egg-herbie

Counts

228 → 228

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4981	6051
1	4981	6051

prune545.0ms

Filtered

139 candidates to 228 candidates (-64.0%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	222	6	228
Fresh	2	13	15
Picked	1	0	1
Done	0	0	0
Total	225	19	244

Merged error: 10.6b

Counts

244 → 19

localize25.0ms

Local error

Found 4 expressions with local error:

2.7b	(* (sin k) (* (* (* (tan k) (pow (cbrt t) 3.0)) (pow (cbrt t) 3.0)) (/ (pow (cbrt t) 3.0) l)))
2.8b	(* (* (* (tan k) (pow (cbrt t) 3.0)) (pow (cbrt t) 3.0)) (/ (pow (cbrt t) 3.0) l))
5.4b	(* l (/ 2.0 (* (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))) (* (sin k) (* (* (* (tan k) (pow (cbrt t) 3.0)) (pow (cbrt t) 3.0)) (/ (pow (cbrt t) 3.0) l))))))
12.0b	(* (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))) (* (sin k) (* (* (* (tan k) (pow (cbrt t) 3.0)) (pow (cbrt t) 3.0)) (/ (pow (cbrt t) 3.0) l))))

rewrite155.0ms

Algorithm

rewrite-expression-head

Rules

1133×	`add-exp-log`
867×	`prod-exp`
211×	`div-exp`
164×	`pow-to-exp` `pow-exp`
151×	`add-cbrt-cube`
95×	`cbrt-unprod`
54×	`associate-r`
44×	`associate-*l/`
36×	`associate-*r/`
34×	`*-un-lft-identity`
33×	`times-frac`
31×	`add-sqr-sqrt`
29×	`add-cube-cbrt`
22×	`pow1`
21×	`cbrt-undiv`
20×	`frac-times`
18×	`unpow-prod-down`
16×	`tan-quot`
12×	`associate-l`
11×	`pow-prod-down` `associate-/r/`
9×	`cbrt-prod`
8×	`flip3-+` `flip-+`
4×	`*-commutative` `add-log-exp`
3×	`distribute-lft-out` `sqr-pow`
2×	`div-inv`
1×	`unswap-sqr`

Counts

4 → 370

Calls

4 calls:

24.0ms	(* (sin k) (* (* (* (tan k) (pow (cbrt t) 3.0)) (pow (cbrt t) 3.0)) (/ (pow (cbrt t) 3.0) l)))
19.0ms	(* (* (* (tan k) (pow (cbrt t) 3.0)) (pow (cbrt t) 3.0)) (/ (pow (cbrt t) 3.0) l))
42.0ms	(* l (/ 2.0 (* (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))) (* (sin k) (* (* (* (tan k) (pow (cbrt t) 3.0)) (pow (cbrt t) 3.0)) (/ (pow (cbrt t) 3.0) l))))))
37.0ms	(* (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))) (* (sin k) (* (* (* (tan k) (pow (cbrt t) 3.0)) (pow (cbrt t) 3.0)) (/ (pow (cbrt t) 3.0) l))))

series394.0ms

Counts

4 → 12

Calls

4 calls:

68.0ms	(* (sin k) (* (* (* (tan k) (pow (cbrt t) 3.0)) (pow (cbrt t) 3.0)) (/ (pow (cbrt t) 3.0) l)))
64.0ms	(* (* (* (tan k) (pow (cbrt t) 3.0)) (pow (cbrt t) 3.0)) (/ (pow (cbrt t) 3.0) l))
131.0ms	(* l (/ 2.0 (* (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))) (* (sin k) (* (* (* (tan k) (pow (cbrt t) 3.0)) (pow (cbrt t) 3.0)) (/ (pow (cbrt t) 3.0) l))))))
131.0ms	(* (+ 1.0 (+ 1.0 (pow (/ k t) 2.0))) (* (sin k) (* (* (* (tan k) (pow (cbrt t) 3.0)) (pow (cbrt t) 3.0)) (/ (pow (cbrt t) 3.0) l))))

simplify106.0ms

Algorithm

egg-herbie

Counts

382 → 382

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5030	10001

prune503.0ms

Filtered

144 candidates to 382 candidates (-165.3%)

Pruning

21 alts after pruning (20 fresh and 1 done)

	Pruned	Kept	Total
New	375	7	382
Fresh	5	13	18
Picked	0	1	1
Done	0	0	0
Total	380	21	401

Merged error: 10.6b

Counts

401 → 21

regimes1.1s

Accuracy

79.3% (2.2b remaining)

Error of 14.8b against oracle of 12.6b and baseline of 23.3b

bsearch227.0ms

Steps

Iters	Range		Point
10	5.002418338614035e-84	4.165257651674118e-73	3.814560346462089e-73
10	-1.4653195039858528e-80	-2.135278979622499e-91	-1.2982192845695835e-82

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	155	78
1	155	78

end0.0ms

sample4.0s

Algorithm

intervals

Results

1.6s	2088×	body	1280	valid
851.0ms	1574×	body	640	valid
428.0ms	3272×	body	80	valid
293.0ms	738×	body	320	valid
190.0ms	1388×	body	80	invalid
89.0ms	328×	body	160	valid
76.0ms	147×	body	640	invalid
48.0ms	125×	body	320	invalid
23.0ms	89×	body	160	invalid
19.0ms	23×	body	1280	invalid

Details

analyze2.1s

sample138.0ms

simplify55.0ms

prune15.0ms

localize20.0ms

rewrite72.0ms

series326.0ms

simplify53.0ms

prune462.0ms

localize29.0ms

rewrite108.0ms

series389.0ms

simplify66.0ms

prune425.0ms

localize25.0ms

rewrite98.0ms

series363.0ms

simplify85.0ms

prune545.0ms

localize25.0ms

rewrite155.0ms

series394.0ms

simplify106.0ms

prune503.0ms

regimes1.1s

bsearch227.0ms

simplify2.0ms

end0.0ms

sample4.0s

Profiling