Details

sample19.0ms

Algorithm

intervals

Results

11.0ms

386×

body

valid

simplify192.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	15	5
1	38	4
2	80	4
3	118	4
4	174	4
5	365	4
6	1299	4
7	4620	4
8	5001	4

prune4.0ms

Filtered

1 candidates to 1 candidates (100.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: 0.0b

Counts

2 → 2

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))
0.1b	(* 0.12900613773279798 (* (* x x) x))
0.1b	(* (* x x) x)

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

31×	`pow1`
17×	`add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`add-sqr-sqrt` `pow-plus` `pow-prod-up`
5×	`add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
4×	`associate-r` `associate-l`
2×	`pow2` `pow-sqr` `*-commutative`
1×	`sub-neg` `flip3--` `diff-log` `pow3` `flip--` `unswap-sqr`

Counts

3 → 61

Calls

3 calls:

3.0ms	(- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))
8.0ms	(* 0.12900613773279798 (* (* x x) x))
9.0ms	(* (* x x) x)

series168.0ms

Counts

3 → 9

Calls

3 calls:

96.0ms	(- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))
40.0ms	(* 0.12900613773279798 (* (* x x) x))
33.0ms	(* (* x x) x)

simplify151.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 3 (145.0ms)

Iter	Nodes	Cost
0	215	272
1	848	214
2	4603	210
3	5001	206

prune74.0ms

Filtered

70 candidates to 36 candidates (51.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	66	4	70
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	66	6	72

Merged error: 0.0b

Counts

72 → 6

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
0.1b	(* 0.12900613773279798 (pow x 3))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt`
12×	`associate-r`
7×	`add-exp-log`
6×	`add-cube-cbrt` `*-un-lft-identity`
4×	`unpow-prod-down` `cube-prod` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
3×	`associate-l` `prod-exp`
2×	`pow1` `sqr-pow`
1×	`cube-mult` `pow-to-exp` `sub-neg` `flip3--` `diff-log` `unpow3` `pow-exp` `*-commutative` `flip--` `cbrt-unprod`

Counts

2 → 43

Calls

2 calls:

3.0ms	(- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
6.0ms	(* 0.12900613773279798 (pow x 3))

series136.0ms

Counts

2 → 6

Calls

2 calls:

96.0ms	(- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
39.0ms	(* 0.12900613773279798 (pow x 3))

simplify33.0ms

Algorithm

egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	182	213
1	777	194
2	5001	193

prune65.0ms

Filtered

49 candidates to 30 candidates (61.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	49	0	49
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	49	6	55

Merged error: 0.0b

Counts

55 → 6

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(- 0.954929658551372 (* 0.12900613773279798 (* x x)))
0.1b	(* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
0.1b	(* 0.12900613773279798 (* x x))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 55

Calls

3 calls:

3.0ms	(- 0.954929658551372 (* 0.12900613773279798 (* x x)))
5.0ms	(* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
6.0ms	(* 0.12900613773279798 (* x x))

series180.0ms

Counts

3 → 9

Calls

3 calls:

56.0ms	(- 0.954929658551372 (* 0.12900613773279798 (* x x)))
96.0ms	(* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
28.0ms	(* 0.12900613773279798 (* x x))

simplify153.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 2 (28.0ms)

Iter	Nodes	Cost
0	208	309
1	918	272
2	4620	271
3	5002	271

prune72.0ms

Filtered

64 candidates to 39 candidates (60.9%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	63	1	64
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	63	7	70

Merged error: 0b

Counts

70 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b	(* x (/ (+ (* (- (* 0.12900613773279798 0.12900613773279798)) (pow x 4)) (* 0.954929658551372 0.954929658551372)) (+ 0.954929658551372 (* 0.12900613773279798 (* x x)))))
0.1b	(* 0.12900613773279798 (* x x))
0.2b	(* (- (* 0.12900613773279798 0.12900613773279798)) (pow x 4))
3.7b	(/ (+ (* (- (* 0.12900613773279798 0.12900613773279798)) (pow x 4)) (* 0.954929658551372 0.954929658551372)) (+ 0.954929658551372 (* 0.12900613773279798 (* x x))))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

35×	`add-sqr-sqrt`
24×	`add-cube-cbrt` `*-un-lft-identity`
23×	`associate-r`
21×	`add-exp-log`
19×	`times-frac`
18×	`add-cbrt-cube`
12×	`associate-l`
11×	`pow1`
8×	`prod-exp`
6×	`cbrt-unprod` `unswap-sqr`
4×	`unpow-prod-down` `pow-prod-down` `associate-/r/` `add-log-exp`
3×	`flip3-+` `associate-/r` `-commutative` `flip-+` `associate-/l*`
2×	`cbrt-undiv` `div-exp` `div-inv` `associate-/l/` `sqr-pow`
1×	`distribute-lft-neg-out` `distribute-lft-neg-in` `pow-to-exp` `neg-mul-1` `distribute-rgt-neg-in` `frac-2neg` `associate-*r/` `pow-exp` `clear-num`

Counts

4 → 113

Calls

4 calls:

10.0ms	(* x (/ (+ (* (- (* 0.12900613773279798 0.12900613773279798)) (pow x 4)) (* 0.954929658551372 0.954929658551372)) (+ 0.954929658551372 (* 0.12900613773279798 (* x x)))))
5.0ms	(* 0.12900613773279798 (* x x))
6.0ms	(* (- (* 0.12900613773279798 0.12900613773279798)) (pow x 4))
9.0ms	(/ (+ (* (- (* 0.12900613773279798 0.12900613773279798)) (pow x 4)) (* 0.954929658551372 0.954929658551372)) (+ 0.954929658551372 (* 0.12900613773279798 (* x x))))

series443.0ms

Counts

4 → 12

Calls

4 calls:

216.0ms	(* x (/ (+ (* (- (* 0.12900613773279798 0.12900613773279798)) (pow x 4)) (* 0.954929658551372 0.954929658551372)) (+ 0.954929658551372 (* 0.12900613773279798 (* x x)))))
25.0ms	(* 0.12900613773279798 (* x x))
41.0ms	(* (- (* 0.12900613773279798 0.12900613773279798)) (pow x 4))
161.0ms	(/ (+ (* (- (* 0.12900613773279798 0.12900613773279798)) (pow x 4)) (* 0.954929658551372 0.954929658551372)) (+ 0.954929658551372 (* 0.12900613773279798 (* x x))))

simplify90.0ms

Algorithm

egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 2 (75.0ms)

Iter	Nodes	Cost
0	498	1277
1	2711	1119
2	5001	1116

prune225.0ms

Filtered

125 candidates to 86 candidates (68.8%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	125	0	125
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	125	7	132

Merged error: 0b

Counts

132 → 7

regimes56.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	4
1	10	4

end0.0ms

sample501.0ms

Algorithm

intervals

Results

361.0ms

11936×

body

valid

Details

sample19.0ms

simplify192.0ms

prune4.0ms

localize6.0ms

rewrite22.0ms

series168.0ms

simplify151.0ms

prune74.0ms

localize6.0ms

rewrite11.0ms

series136.0ms

simplify33.0ms

prune65.0ms

localize6.0ms

rewrite15.0ms

series180.0ms

simplify153.0ms

prune72.0ms

localize14.0ms

rewrite35.0ms

series443.0ms

simplify90.0ms

prune225.0ms

regimes56.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample501.0ms

Profiling