Details

analyze365.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
0%	99.9%	0.1%	4
50%	50%	0.1%	5
50%	50%	0.1%	6
50%	37.5%	12.6%	7
50%	37.5%	12.6%	8
50%	31.2%	18.8%	9
50%	31.2%	18.8%	10
50%	28.1%	22%	11
50%	28.1%	22%	12
50%	26.5%	23.5%	13
50%	26.5%	23.5%	14

sample150.0ms

Algorithm

intervals

Results

76.0ms	142×	body	1280	valid
22.0ms	71×	body	640	valid
13.0ms	41×	body	1280	invalid
9.0ms	38×	body	640	invalid
7.0ms	33×	body	320	valid
2.0ms	14×	body	320	invalid
2.0ms	14×	body	160	invalid
1.0ms	22×	body	80	invalid
1.0ms	7×	body	160	valid
0.0ms	3×	body	80	valid

simplify201.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4826	18
1	4826	18

prune10.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 59.0b

Counts

2 → 1

localize15.0ms

Local error

Found 2 expressions with local error:

0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
4.5b	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-exp-log_binary64_4390` `add-sqr-sqrt_binary64_4411` `*-un-lft-identity_binary64_4426` `pow1_binary64_4372` `add-cbrt-cube_binary64_4398`
5×	`associate-r_binary64_4485`
4×	`add-log-exp_binary64_4391`
3×	`sub-neg_binary64_4430` `pow-prod-down_binary64_4353` `prod-exp_binary64_4377` `cbrt-unprod_binary64_4395` `add-cube-cbrt_binary64_4397`
2×	`associate-*r/_binary64_4487` `distribute-lft-out--_binary64_4471` `flip--_binary64_4452` `difference-of-squares_binary64_4455` `flip3--_binary64_4425`
1×	`distribute-rgt-in_binary64_4469` `-commutative_binary64_4494` `associate-l*_binary64_4486` `distribute-lft-in_binary64_4468` `diff-log_binary64_4342`

Counts

2 → 37

Calls

2 calls:

10.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
6.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

series100.0ms

Counts

2 → 6

Calls

2 calls:

77.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
23.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

simplify69.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5413	780

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

localize23.0ms

Local error

Found 3 expressions with local error:

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

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64_4411`
18×	`add-exp-log_binary64_4390`
16×	`associate-l_binary64_4486`
13×	`associate-r_binary64_4485`
12×	`add-cbrt-cube_binary64_4398`
11×	`*-un-lft-identity_binary64_4426` `add-cube-cbrt_binary64_4397`
9×	`prod-exp_binary64_4377`
8×	`pow1_binary64_4372` `unpow-prod-down_binary64_4361`
7×	`unswap-sqr_binary64_4454`
5×	`cbrt-unprod_binary64_4395`
4×	`cube-prod_binary64_4399` `sqr-pow_binary64_4458`
3×	`*-commutative_binary64_4494` `pow-prod-down_binary64_4353` `add-log-exp_binary64_4391`
2×	`associate-*r/_binary64_4487` `pow-to-exp_binary64_4351` `pow-exp_binary64_4350`
1×	`distribute-rgt-in_binary64_4469` `flip-+_binary64_4451` `flip3-+_binary64_4424` `cube-mult_binary64_4401` `distribute-lft-in_binary64_4468` `unpow3_binary64_4370`

Counts

3 → 78

Calls

3 calls:

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

series211.0ms

Counts

3 → 9

Calls

3 calls:

37.0ms	(*.f64 1/60 (pow.f64 im 5))
26.0ms	(*.f64 (pow.f64 im 3) -1/3)
148.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))

simplify72.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4945	1389
1	4945	1389

prune367.0ms

Filtered

56 candidates to 87 candidates (-55.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	82	5	87
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	82	8	90

Merged error: 0.1b

Counts

90 → 8

localize36.0ms

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5))))))) (cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))))
0.6b	(cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5)))))))
0.6b	(cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5)))))))
0.6b	(cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5)))))))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

20×	`associate-*r/_binary64_4487`
18×	`cbrt-div_binary64_4394`
11×	`pow1_binary64_4372`
10×	`add-sqr-sqrt_binary64_4411`
9×	`flip-+_binary64_4451` `flip3-+_binary64_4424` `pow1/3_binary64_4364`
8×	`*-un-lft-identity_binary64_4426` `add-cube-cbrt_binary64_4397`
7×	`cbrt-prod_binary64_4393`
6×	`add-exp-log_binary64_4390`
4×	`associate-r_binary64_4485` `frac-times_binary64_4418` `swap-sqr_binary64_4453` `associate-l_binary64_4486` `add-cbrt-cube_binary64_4398` `add-log-exp_binary64_4391`
2×	`pow-prod-up_binary64_4352` `associate-*l/_binary64_4488` `pow-prod-down_binary64_4353` `pow-sqr_binary64_4459`
1×	`pow-plus_binary64_4367` `*-commutative_binary64_4494` `unswap-sqr_binary64_4454` `pow2_binary64_4363` `prod-exp_binary64_4377` `cbrt-unprod_binary64_4395`

Counts

4 → 72

Calls

4 calls:

7.0ms	(.f64 (cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5))))))) (cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))))
5.0ms	(cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5)))))))
6.0ms	(cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5)))))))
6.0ms	(cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5)))))))

series1.8s

Counts

4 → 12

Calls

4 calls:

906.0ms	(.f64 (cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5))))))) (cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))))
290.0ms	(cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5)))))))
295.0ms	(cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5)))))))
294.0ms	(cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5)))))))

simplify82.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4984	3954
1	4984	3954

prune644.0ms

Filtered

71 candidates to 84 candidates (-18.3%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	77	7	84
Fresh	1	5	6
Picked	1	0	1
Done	0	1	1
Total	79	13	92

Merged error: 0.0b

Counts

92 → 13

localize36.0ms

Local error

Found 4 expressions with local error:

0.3b	(.f64 (pow.f64 (cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5))))))) 2) (cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))))
0.5b	(pow.f64 (cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5))))))) 2)
0.6b	(cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5)))))))
0.6b	(cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5)))))))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64_4411`
10×	`add-exp-log_binary64_4390`
9×	`-un-lft-identity_binary64_4426` `associate-l*_binary64_4486` `unpow-prod-down_binary64_4361` `add-cube-cbrt_binary64_4397`
8×	`associate-*r/_binary64_4487`
6×	`pow1_binary64_4372` `cbrt-div_binary64_4394`
5×	`add-cbrt-cube_binary64_4398` `cbrt-prod_binary64_4393`
4×	`associate-r_binary64_4485` `unswap-sqr_binary64_4454` `add-log-exp_binary64_4391` `unpow2_binary64_4369`
3×	`flip-+_binary64_4451` `pow-unpow_binary64_4359` `flip3-+_binary64_4424` `pow1/3_binary64_4364` `sqr-pow_binary64_4458` `prod-exp_binary64_4377`
2×	`pow-pow_binary64_4354` `pow-to-exp_binary64_4351` `pow-exp_binary64_4350`
1×	`pow-plus_binary64_4367` `*-commutative_binary64_4494` `pow-prod-up_binary64_4352` `pow3_binary64_4365` `cbrt-unprod_binary64_4395`

Counts

4 → 76

Calls

4 calls:

9.0ms	(.f64 (pow.f64 (cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5))))))) 2) (cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))))
3.0ms	(pow.f64 (cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5))))))) 2)
5.0ms	(cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5)))))))
6.0ms	(cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5)))))))

series1.2s

Counts

4 → 12

Calls

4 calls:

150.0ms	(.f64 (pow.f64 (cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5))))))) 2) (cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))))
458.0ms	(pow.f64 (cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5))))))) 2)
290.0ms	(cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5)))))))
291.0ms	(cbrt.f64 (.f64 (cos.f64 re) (+.f64 (neg.f64 im) (.f64 1/2 (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5)))))))

simplify84.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5100	3479

prune470.0ms

Filtered

72 candidates to 88 candidates (-22.2%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	83	5	88
Fresh	5	6	11
Picked	1	0	1
Done	0	1	1
Total	89	12	101

Merged error: 0.0b

Counts

101 → 12

regimes587.0ms

Accuracy

0% (0.7b remaining)

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

bsearch0.0ms

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	51	30
1	51	30

end0.0ms

sample4.5s

Algorithm

intervals

Results

2.2s	4269×	body	1280	valid
720.0ms	2322×	body	640	valid
483.0ms	1440×	body	1280	invalid
296.0ms	1327×	body	640	invalid
186.0ms	905×	body	320	valid
106.0ms	635×	body	320	invalid
47.0ms	366×	body	160	valid
38.0ms	327×	body	160	invalid
34.0ms	521×	body	80	invalid
9.0ms	138×	body	80	valid

Details

analyze365.0ms

sample150.0ms

simplify201.0ms

prune10.0ms

localize15.0ms

rewrite17.0ms

series100.0ms

simplify69.0ms

prune134.0ms

localize23.0ms

rewrite25.0ms

series211.0ms

simplify72.0ms

prune367.0ms

localize36.0ms

rewrite26.0ms

series1.8s

simplify82.0ms

prune644.0ms

localize36.0ms

rewrite25.0ms

series1.2s

simplify84.0ms

prune470.0ms

regimes587.0ms

bsearch0.0ms

simplify4.0ms

end0.0ms

sample4.5s

Profiling