Details

analyze339.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

sample145.0ms

Algorithm

intervals

Results

59.0ms	101×	body	1280	valid
28.0ms	90×	body	640	valid
16.0ms	47×	body	1280	invalid
9.0ms	37×	body	640	invalid
8.0ms	42×	body	320	valid
5.0ms	81×	body	80	invalid
4.0ms	23×	body	320	invalid
2.0ms	14×	body	160	valid
1.0ms	8×	body	160	invalid
1.0ms	9×	body	80	valid

simplify81.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4863	18
1	4863	18

prune2.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: 42.2b

Counts

2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
4.3b	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

7×	`*-un-lft-identity_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-sqr-sqrt_binary64`
5×	`associate-r_binary64`
4×	`add-log-exp_binary64`
3×	`pow-prod-down_binary64` `sub-neg_binary64` `cbrt-unprod_binary64` `add-cube-cbrt_binary64` `prod-exp_binary64`
2×	`flip3--_binary64` `associate-*r/_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `flip--_binary64`
1×	`diff-log_binary64` `distribute-lft-in_binary64` `associate-l_binary64` `distribute-rgt-in_binary64` `*-commutative_binary64`

Counts

2 → 37

Calls

2 calls:

11.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
9.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

series94.0ms

Counts

2 → 6

Calls

2 calls:

70.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
24.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

simplify92.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	4891	764
1	4891	764

prune44.0ms

Filtered

29 candidates to 43 candidates (-48.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Merged error: 0.1b

Counts

44 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64`
19×	`add-exp-log_binary64`
16×	`associate-l_binary64`
13×	`associate-r_binary64` `add-cbrt-cube_binary64`
12×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
9×	`pow1_binary64` `prod-exp_binary64`
8×	`unpow-prod-down_binary64`
7×	`unswap-sqr_binary64`
6×	`add-log-exp_binary64`
5×	`cbrt-unprod_binary64`
4×	`sqr-pow_binary64` `cube-prod_binary64`
3×	`pow-prod-down_binary64` `*-commutative_binary64`
2×	`pow-to-exp_binary64` `associate-*r/_binary64` `pow-exp_binary64`
1×	`flip3-+_binary64` `sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `flip--_binary64` `flip-+_binary64` `unpow3_binary64` `cube-mult_binary64`

Counts

4 → 89

Calls

4 calls:

5.0ms	(-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5)))
5.0ms	(*.f64 1/60 (pow.f64 im 5))
14.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))
6.0ms	(*.f64 (pow.f64 im 3) -1/3)

series297.0ms

Counts

4 → 12

Calls

4 calls:

88.0ms	(-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5)))
31.0ms	(*.f64 1/60 (pow.f64 im 5))
153.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))
25.0ms	(*.f64 (pow.f64 im 3) -1/3)

simplify83.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4952	1691
1	4952	1691

prune123.0ms

Filtered

67 candidates to 101 candidates (-50.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	94	7	101
Fresh	0	2	2
Picked	1	0	1
Done	0	0	0
Total	95	9	104

Merged error: 0.0b

Counts

104 → 9

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(*.f64 1/120 (pow.f64 im 5))
0.1b	(.f64 (pow.f64 im 3) (.f64 (sin.f64 re) -1/6))
0.1b	(.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5))))
0.3b	(*.f64 (sin.f64 re) -1/6)

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-exp-log_binary64`
23×	`add-sqr-sqrt_binary64`
21×	`associate-l_binary64`
15×	`add-cbrt-cube_binary64`
14×	`-un-lft-identity_binary64` `associate-r*_binary64` `add-cube-cbrt_binary64` `prod-exp_binary64`
8×	`pow1_binary64`
7×	`unpow-prod-down_binary64`
6×	`cbrt-unprod_binary64`
5×	`unswap-sqr_binary64`
4×	`add-log-exp_binary64` `*-commutative_binary64`
3×	`pow-to-exp_binary64` `sqr-pow_binary64` `cube-prod_binary64` `pow-exp_binary64`
2×	`pow-prod-down_binary64` `associate-*r/_binary64`
1×	`flip3-+_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `flip-+_binary64` `unpow3_binary64` `cube-mult_binary64`

Counts

4 → 94

Calls

4 calls:

6.0ms	(*.f64 1/120 (pow.f64 im 5))
8.0ms	(.f64 (pow.f64 im 3) (.f64 (sin.f64 re) -1/6))
6.0ms	(.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5))))
5.0ms	(*.f64 (sin.f64 re) -1/6)

series291.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(*.f64 1/120 (pow.f64 im 5))
43.0ms	(.f64 (pow.f64 im 3) (.f64 (sin.f64 re) -1/6))
193.0ms	(.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5))))
16.0ms	(*.f64 (sin.f64 re) -1/6)

simplify88.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	5057	1314

prune114.0ms

Filtered

68 candidates to 106 candidates (-55.9%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	101	5	106
Fresh	2	6	8
Picked	0	1	1
Done	0	0	0
Total	103	12	115

Merged error: 0.0b

Counts

115 → 12

localize18.0ms

Local error

Found 4 expressions with local error:

0.4b	(*.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re)))
0.6b	(cbrt.f64 (sin.f64 re))
0.6b	(cbrt.f64 (sin.f64 re))
0.6b	(cbrt.f64 (sin.f64 re))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod_binary64`
23×	`add-sqr-sqrt_binary64`
15×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
11×	`pow1_binary64`
9×	`pow1/3_binary64`
6×	`swap-sqr_binary64` `associate-r_binary64` `add-exp-log_binary64` `associate-l_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64` `unswap-sqr_binary64`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `pow-sqr_binary64`
1×	`cbrt-unprod_binary64` `pow-plus_binary64` `prod-exp_binary64` `pow2_binary64` `*-commutative_binary64`

Counts

4 → 73

Calls

4 calls:

7.0ms	(*.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re)))
1.0ms	(cbrt.f64 (sin.f64 re))
1.0ms	(cbrt.f64 (sin.f64 re))
2.0ms	(cbrt.f64 (sin.f64 re))

series330.0ms

Counts

4 → 12

Calls

4 calls:

102.0ms	(*.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re)))
73.0ms	(cbrt.f64 (sin.f64 re))
74.0ms	(cbrt.f64 (sin.f64 re))
81.0ms	(cbrt.f64 (sin.f64 re))

simplify78.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5035	797

prune84.0ms

Filtered

55 candidates to 85 candidates (-54.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	82	3	85
Fresh	4	6	10
Picked	1	0	1
Done	0	1	1
Total	87	10	97

Merged error: 0.0b

Counts

97 → 10

regimes118.0ms

Accuracy

0% (0.8b remaining)

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

bsearch0.0ms

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	79	29
1	79	29

end0.0ms

sample4.5s

Algorithm

intervals

Results

1.9s	3268×	body	1280	valid
806.0ms	2512×	body	640	valid
529.0ms	1490×	body	1280	invalid
294.0ms	1212×	body	640	invalid
262.0ms	1325×	body	320	valid
151.0ms	2450×	body	80	invalid
106.0ms	606×	body	320	invalid
80.0ms	628×	body	160	valid
38.0ms	325×	body	160	invalid
18.0ms	267×	body	80	valid

Details

analyze339.0ms

sample145.0ms

simplify81.0ms

prune2.0ms

localize10.0ms

rewrite21.0ms

series94.0ms

simplify92.0ms

prune44.0ms

localize15.0ms

rewrite33.0ms

series297.0ms

simplify83.0ms

prune123.0ms

localize14.0ms

rewrite27.0ms

series291.0ms

simplify88.0ms

prune114.0ms

localize18.0ms

rewrite13.0ms

series330.0ms

simplify78.0ms

prune84.0ms

regimes118.0ms

bsearch0.0ms

simplify4.0ms

end0.0ms

sample4.5s

Profiling