Details

analyze357.0ms

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
12.5%	87.4%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	37.5%	0.1%	6
62.4%	31.2%	6.3%	7
62.4%	31.2%	6.3%	8
62.4%	28.1%	9.5%	9
62.4%	28.1%	9.5%	10
62.4%	26.5%	11%	11
62.4%	26.5%	11%	12
62.4%	25.8%	11.8%	13
62.4%	25.8%	11.8%	14

sample149.0ms

Algorithm

intervals

Results

61.0ms	105×	body	1280	valid
26.0ms	84×	body	640	valid
15.0ms	41×	body	1280	invalid
11.0ms	38×	body	320	valid
8.0ms	35×	body	640	invalid
5.0ms	87×	body	80	invalid
3.0ms	23×	body	160	valid
3.0ms	16×	body	320	invalid
1.0ms	7×	body	160	invalid
0.0ms	6×	body	80	valid

simplify54.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4868	11
1	4868	11

prune8.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 42.4b

Counts

2 → 1

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
6.2b	(- (exp (neg im)) (exp im))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 37

Calls

2 calls:

10.0ms	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
6.0ms	(- (exp (neg im)) (exp im))

series22.0ms

Counts

2 → 6

Calls

2 calls:

16.0ms	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
5.0ms	(- (exp (neg im)) (exp im))

simplify45.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5022	469

prune63.0ms

Filtered

29 candidates to 43 candidates (-48.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	41	2	43
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	41	3	44

Merged error: 0.1b

Counts

44 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))
0.1b	(* (pow im 5) -1/60)
0.1b	(* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
0.1b	(* (pow im 3) -1/3)

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
20×	`associate-l`
19×	`add-exp-log`
13×	`add-cbrt-cube`
12×	`add-cube-cbrt` `*-un-lft-identity`
9×	`pow1` `associate-r` `prod-exp`
8×	`unpow-prod-down`
7×	`unswap-sqr`
6×	`add-log-exp`
5×	`cbrt-unprod`
4×	`cube-prod` `sqr-pow`
3×	`pow-prod-down` `*-commutative`
2×	`pow-to-exp` `flip3-+` `associate-*r/` `pow-exp` `flip-+`
1×	`+-commutative` `distribute-rgt-in` `cube-mult` `distribute-lft-in` `unpow3` `sum-log`

Counts

4 → 89

Calls

4 calls:

5.0ms	(+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))
5.0ms	(* (pow im 5) -1/60)
11.0ms	(* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
6.0ms	(* (pow im 3) -1/3)

series59.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))
4.0ms	(* (pow im 5) -1/60)
36.0ms	(* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
7.0ms	(* (pow im 3) -1/3)

simplify38.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	6066	1143

prune199.0ms

Filtered

68 candidates to 101 candidates (-48.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	96	5	101
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	97	7	104

Merged error: 0.0b

Counts

104 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (pow im 5) -1/60)
0.1b	(* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))
0.1b	(* im (* (* 0.5 (sin re)) -2))
0.1b	(* -1/3 (pow im 3))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
25×	`add-exp-log`
19×	`associate-r` `add-cbrt-cube`
16×	`associate-l`
15×	`pow1`
14×	`add-cube-cbrt` `*-un-lft-identity`
13×	`prod-exp`
9×	`cbrt-unprod`
8×	`unpow-prod-down` `unswap-sqr`
7×	`pow-prod-down`
4×	`cube-prod` `*-commutative` `add-log-exp` `sqr-pow`
2×	`pow-to-exp` `associate-*r/` `pow-exp`
1×	`distribute-rgt-in` `cube-mult` `distribute-lft-in` `flip3-+` `unpow3` `flip-+`

Counts

4 → 99

Calls

4 calls:

5.0ms	(* (pow im 5) -1/60)
9.0ms	(* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))
7.0ms	(* im (* (* 0.5 (sin re)) -2))
7.0ms	(* -1/3 (pow im 3))

series66.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* (pow im 5) -1/60)
48.0ms	(* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))
9.0ms	(* im (* (* 0.5 (sin re)) -2))
4.0ms	(* -1/3 (pow im 3))

simplify57.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4930	996
1	4930	996

prune204.0ms

Filtered

71 candidates to 111 candidates (-56.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	109	2	111
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	110	8	118

Merged error: 0.0b

Counts

118 → 8

localize26.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))) (cbrt (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))))
0.6b	(cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
0.6b	(cbrt (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))
0.6b	(cbrt (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`flip3-+` `pow1/3` `flip-+`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 87

Calls

4 calls:

19.0ms	(* (cbrt (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))) (cbrt (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))))
6.0ms	(cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
8.0ms	(cbrt (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))
8.0ms	(cbrt (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))

series88.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(* (cbrt (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))) (cbrt (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2)))))
20.0ms	(cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
20.0ms	(cbrt (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))
22.0ms	(cbrt (+ (* -1/3 (pow im 3)) (+ (* (pow im 5) -1/60) (* im -2))))

simplify60.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5060	2886

prune501.0ms

Filtered

81 candidates to 99 candidates (-22.2%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	98	9	107

Merged error: 0.0b

Counts

107 → 9

regimes486.0ms

Accuracy

0% (0.7b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	29	25
1	29	25

end0.0ms

sample4.6s

Algorithm

intervals

Results

1.9s	3257×	body	1280	valid
846.0ms	2567×	body	640	valid
526.0ms	1437×	body	1280	invalid
307.0ms	1253×	body	640	invalid
271.0ms	1276×	body	320	valid
153.0ms	2473×	body	80	invalid
103.0ms	601×	body	320	invalid
84.0ms	643×	body	160	valid
40.0ms	329×	body	160	invalid
17.0ms	257×	body	80	valid

Details

analyze357.0ms

sample149.0ms

simplify54.0ms

prune8.0ms

localize16.0ms

rewrite18.0ms

series22.0ms

simplify45.0ms

prune63.0ms

localize16.0ms

rewrite30.0ms

series59.0ms

simplify38.0ms

prune199.0ms

localize18.0ms

rewrite31.0ms

series66.0ms

simplify57.0ms

prune204.0ms

localize26.0ms

rewrite44.0ms

series88.0ms

simplify60.0ms

prune501.0ms

regimes486.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample4.6s

Profiling