Details

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

sample147.0ms

Algorithm

intervals

Results

56.0ms	101×	body	1280	valid
29.0ms	90×	body	640	valid
19.0ms	47×	body	1280	invalid
9.0ms	37×	body	640	invalid
9.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

simplify80.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4863	18
1	4863	18

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: 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))

rewrite18.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)))
6.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

series91.0ms

Counts

2 → 6

Calls

2 calls:

69.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
22.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

simplify94.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	4891	764
1	4891	764

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

localize17.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)

rewrite31.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))
12.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)

series293.0ms

Counts

4 → 12

Calls

4 calls:

85.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)

simplify79.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (55.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

localize13.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)

rewrite26.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:

5.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)

series279.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(*.f64 1/120 (pow.f64 im 5))
44.0ms	(.f64 (pow.f64 im 3) (.f64 (sin.f64 re) -1/6))
189.0ms	(.f64 (sin.f64 re) (+.f64 im (.f64 1/120 (pow.f64 im 5))))
16.0ms	(*.f64 (sin.f64 re) -1/6)

simplify92.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	5057	1314

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

localize17.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:

6.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))

series327.0ms

Counts

4 → 12

Calls

4 calls:

95.0ms	(*.f64 (cbrt.f64 (sin.f64 re)) (cbrt.f64 (sin.f64 re)))
76.0ms	(cbrt.f64 (sin.f64 re))
76.0ms	(cbrt.f64 (sin.f64 re))
79.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

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

regimes122.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
815.0ms	2512×	body	640	valid
544.0ms	1490×	body	1280	invalid
294.0ms	1212×	body	640	invalid
272.0ms	1325×	body	320	valid
156.0ms	2450×	body	80	invalid
107.0ms	606×	body	320	invalid
82.0ms	628×	body	160	valid
39.0ms	325×	body	160	invalid
17.0ms	267×	body	80	valid

Details

analyze353.0ms

sample147.0ms

simplify80.0ms

prune5.0ms

localize10.0ms

rewrite18.0ms

series91.0ms

simplify94.0ms

prune41.0ms

localize17.0ms

rewrite31.0ms

series293.0ms

simplify79.0ms

prune123.0ms

localize13.0ms

rewrite26.0ms

series279.0ms

simplify92.0ms

prune113.0ms

localize17.0ms

rewrite13.0ms

series327.0ms

simplify78.0ms

prune83.0ms

regimes122.0ms

bsearch0.0ms

simplify4.0ms

end0.0ms

sample4.5s

Profiling