Details

sample145.0ms

Algorithm

intervals

Results

50.0ms	66×	body	1280	valid
36.0ms	67×	body	640	valid
22.0ms	178×	body	80	valid
14.0ms	27×	body	320	valid
3.0ms	12×	body	160	valid

simplify28.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	48	13
1	158	13
2	903	13
3	5001	13

prune5.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: 33.0b

Counts

2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

1.8b	(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
2.6b	(* (/ (pow t 3.0) (* l l)) (sin k))
14.9b	(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
16.1b	(/ (pow t 3.0) (* l l))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

108×	`add-exp-log`
58×	`prod-exp`
52×	`add-cbrt-cube`
26×	`cbrt-unprod`
24×	`div-exp`
21×	`add-sqr-sqrt`
20×	`pow1`
19×	`*-un-lft-identity`
17×	`times-frac`
16×	`associate-*l/`
14×	`add-cube-cbrt`
13×	`associate-l`
11×	`associate-r`
10×	`frac-times` `unpow-prod-down` `pow-prod-down`
8×	`tan-quot` `cbrt-undiv` `pow-to-exp` `pow-exp`
7×	`associate-/l*`
6×	`associate-*r/`
4×	`flip3-+` `flip-+` `add-log-exp` `unswap-sqr` `sqr-pow`
3×	`*-commutative` `distribute-lft-out`
2×	`div-inv`
1×	`distribute-rgt-in` `frac-2neg` `distribute-lft-in` `clear-num` `associate-/r*`

Counts

4 → 144

Calls

4 calls:

11.0ms	(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
9.0ms	(* (/ (pow t 3.0) (* l l)) (sin k))
25.0ms	(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
6.0ms	(/ (pow t 3.0) (* l l))

series333.0ms

Counts

4 → 12

Calls

4 calls:

75.0ms	(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
54.0ms	(* (/ (pow t 3.0) (* l l)) (sin k))
163.0ms	(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
40.0ms	(/ (pow t 3.0) (* l l))

simplify119.0ms

Algorithm

egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 2 (102.0ms)

Iter	Nodes	Cost
0	857	1728
1	4784	1448
2	5001	1444

prune314.0ms

Filtered

96 candidates to 156 candidates (-62.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	146	10	156
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	147	10	157

Merged error: 22.4b

Counts

157 → 10

localize28.0ms

Local error

Found 4 expressions with local error:

1.8b	(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
2.9b	(* (/ (pow (cbrt t) 3.0) l) (sin k))
9.2b	(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
14.9b	(* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

rewrite78.0ms

Algorithm

rewrite-expression-head

Rules

304×	`add-exp-log`
184×	`prod-exp`
78×	`add-cbrt-cube`
77×	`div-exp`
50×	`add-sqr-sqrt`
49×	`times-frac`
44×	`associate-*l/` `cbrt-unprod`
42×	`*-un-lft-identity`
37×	`add-cube-cbrt`
36×	`associate-l`
34×	`frac-times`
33×	`pow-exp`
29×	`pow1`
24×	`unpow-prod-down`
22×	`pow-to-exp`
17×	`pow-prod-down`
16×	`tan-quot`
14×	`associate-*r/`
12×	`cbrt-undiv`
11×	`associate-r`
10×	`cbrt-prod`
8×	`flip3-+` `flip-+` `sqr-pow`
5×	`associate-/l*` `unswap-sqr`
4×	`add-log-exp`
3×	`associate-/r` `-commutative` `distribute-lft-out`
2×	`div-inv`
1×	`distribute-rgt-in` `frac-2neg` `distribute-lft-in` `clear-num`

Counts

4 → 229

Calls

4 calls:

16.0ms	(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
10.0ms	(* (/ (pow (cbrt t) 3.0) l) (sin k))
5.0ms	(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
32.0ms	(* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

series365.0ms

Counts

4 → 12

Calls

4 calls:

82.0ms	(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
55.0ms	(* (/ (pow (cbrt t) 3.0) l) (sin k))
45.0ms	(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
183.0ms	(* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

simplify64.0ms

Algorithm

egg-herbie

Counts

241 → 241

Iterations

Useful iterations: 1 (30.0ms)

Iter	Nodes	Cost
0	1430	3890
1	5002	3397

prune626.0ms

Filtered

152 candidates to 241 candidates (-58.6%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	230	11	241
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	234	17	251

Merged error: 16.1b

Counts

251 → 17

localize34.0ms

Local error

Found 4 expressions with local error:

0.8b	(pow (cbrt t) 3.0)
1.8b	(* (* (* (/ (pow (cbrt t) 3.0) (* (cbrt l) (cbrt l))) (/ (pow (cbrt t) 3.0) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
2.9b	(* (/ (pow (cbrt t) 3.0) l) (sin k))
14.9b	(* (* (* (* (/ (pow (cbrt t) 3.0) (* (cbrt l) (cbrt l))) (/ (pow (cbrt t) 3.0) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

rewrite173.0ms

Algorithm

rewrite-expression-head

Rules

2085×	`add-exp-log`
1365×	`prod-exp`
627×	`div-exp`
253×	`add-cbrt-cube`
210×	`pow-to-exp` `pow-exp`
187×	`cbrt-unprod`
116×	`associate-*l/`
98×	`frac-times`
57×	`cbrt-undiv`
50×	`pow1`
43×	`add-sqr-sqrt`
36×	`associate-l`
35×	`*-un-lft-identity`
34×	`times-frac`
33×	`pow-prod-down`
32×	`tan-quot`
30×	`add-cube-cbrt` `associate-*r/`
26×	`unpow-prod-down`
16×	`flip3-+` `flip-+`
13×	`cbrt-prod`
11×	`associate-r`
5×	`unswap-sqr` `sqr-pow`
4×	`add-log-exp`
3×	`pow-unpow` `*-commutative` `distribute-lft-out`
2×	`pow-pow`
1×	`distribute-rgt-in` `distribute-lft-in` `pow1/3` `div-inv`

Counts

4 → 518

Calls

4 calls:

3.0ms	(pow (cbrt t) 3.0)
36.0ms	(* (* (* (/ (pow (cbrt t) 3.0) (* (cbrt l) (cbrt l))) (/ (pow (cbrt t) 3.0) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
14.0ms	(* (/ (pow (cbrt t) 3.0) l) (sin k))
53.0ms	(* (* (* (* (/ (pow (cbrt t) 3.0) (* (cbrt l) (cbrt l))) (/ (pow (cbrt t) 3.0) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

series372.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(pow (cbrt t) 3.0)
85.0ms	(* (* (* (/ (pow (cbrt t) 3.0) (* (cbrt l) (cbrt l))) (/ (pow (cbrt t) 3.0) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
55.0ms	(* (/ (pow (cbrt t) 3.0) l) (sin k))
184.0ms	(* (* (* (* (/ (pow (cbrt t) 3.0) (* (cbrt l) (cbrt l))) (/ (pow (cbrt t) 3.0) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

simplify145.0ms

Algorithm

egg-herbie

Counts

530 → 530

Iterations

Useful iterations: 1 (43.0ms)

Iter	Nodes	Cost
0	2615	12493
1	5001	11859

prune922.0ms

Filtered

189 candidates to 530 candidates (-180.4%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	519	11	530
Fresh	8	8	16
Picked	1	0	1
Done	0	0	0
Total	528	19	547

Merged error: 15.5b

Counts

547 → 19

localize31.0ms

Local error

Found 4 expressions with local error:

0.8b	(pow (cbrt t) 3.0)
0.8b	(pow (cbrt t) 3.0)
2.9b	(* (/ (pow (cbrt t) 3.0) l) (sin k))
16.5b	(* (* (* (/ (pow (cbrt t) 3.0) (* (cbrt l) (cbrt l))) (/ (pow (cbrt t) 3.0) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (* (tan k) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)))

rewrite133.0ms

Algorithm

rewrite-expression-head

Rules

2084×	`add-exp-log`
1364×	`prod-exp`
627×	`div-exp`
251×	`add-cbrt-cube`
211×	`pow-to-exp` `pow-exp`
186×	`cbrt-unprod`
81×	`frac-times`
70×	`associate-*l/`
57×	`cbrt-undiv`
49×	`pow1`
44×	`add-sqr-sqrt`
39×	`associate-*r/`
35×	`associate-l`
34×	`times-frac`
32×	`unpow-prod-down` `pow-prod-down`
31×	`add-cube-cbrt` `*-un-lft-identity`
24×	`tan-quot`
16×	`cbrt-prod` `flip3-+` `flip-+`
6×	`pow-unpow` `sqr-pow`
5×	`unswap-sqr`
4×	`distribute-rgt-in` `pow-pow` `distribute-lft-in` `associate-r` `add-log-exp`
2×	`pow1/3` `*-commutative`
1×	`div-inv`

Counts

4 → 507

Calls

4 calls:

3.0ms	(pow (cbrt t) 3.0)
3.0ms	(pow (cbrt t) 3.0)
11.0ms	(* (/ (pow (cbrt t) 3.0) l) (sin k))
50.0ms	(* (* (* (/ (pow (cbrt t) 3.0) (* (cbrt l) (cbrt l))) (/ (pow (cbrt t) 3.0) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (* (tan k) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)))

series514.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(pow (cbrt t) 3.0)
47.0ms	(pow (cbrt t) 3.0)
57.0ms	(* (/ (pow (cbrt t) 3.0) l) (sin k))
362.0ms	(* (* (* (/ (pow (cbrt t) 3.0) (* (cbrt l) (cbrt l))) (/ (pow (cbrt t) 3.0) (cbrt l))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (* (tan k) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)))

simplify147.0ms

Algorithm

egg-herbie

Counts

519 → 519

Iterations

Useful iterations: 1 (41.0ms)

Iter	Nodes	Cost
0	2542	13036
1	5002	12901

prune745.0ms

Filtered

173 candidates to 519 candidates (-200.0%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	515	4	519
Fresh	3	15	18
Picked	1	0	1
Done	0	0	0
Total	519	19	538

Merged error: 14.9b

Counts

538 → 19

regimes613.0ms

Accuracy

0% (3.2b remaining)

Error of 17.7b against oracle of 14.6b and baseline of 17.7b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	25
1	32	25

end0.0ms

sample4.3s

Algorithm

intervals

Results

1.6s	2062×	body	1280	valid
950.0ms	1749×	body	640	valid
746.0ms	6003×	body	80	valid
340.0ms	865×	body	320	valid
119.0ms	443×	body	160	valid

Details

sample145.0ms

simplify28.0ms

prune5.0ms

localize21.0ms

rewrite57.0ms

series333.0ms

simplify119.0ms

prune314.0ms

localize28.0ms

rewrite78.0ms

series365.0ms

simplify64.0ms

prune626.0ms

localize34.0ms

rewrite173.0ms

series372.0ms

simplify145.0ms

prune922.0ms

localize31.0ms

rewrite133.0ms

series514.0ms

simplify147.0ms

prune745.0ms

regimes613.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample4.3s

Profiling