Details

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

sample127.0ms

Algorithm

intervals

Results

62.0ms	156×	body	1024	valid
21.0ms	70×	body	1024	invalid
12.0ms	52×	body	512	valid
7.0ms	11×	body	2048	valid
6.0ms	33×	body	512	invalid
3.0ms	24×	body	256	valid
2.0ms	18×	body	256	invalid
1.0ms	23×	body	128	invalid
1.0ms	13×	body	128	valid

simplify129.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (123.0ms)

Iter	Nodes	Cost
0	4661	18
1	4661	18

prune4.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: 58.4b

Counts

2 → 1

localize12.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)))
7.6b	(-.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 (cos.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
7.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

series190.0ms

Counts

2 → 6

Calls

2 calls:

146.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
44.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

simplify51.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4894	780
1	4894	780

prune48.0ms

Filtered

29 candidates to 43 candidates (-48.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 0.1b

Counts

44 → 2

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64`
19×	`add-exp-log_binary64`
18×	`associate-r_binary64`
13×	`add-cbrt-cube_binary64`
12×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
11×	`associate-l_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:

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

series566.0ms

Counts

4 → 12

Calls

4 calls:

147.0ms	(-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3)))
62.0ms	(*.f64 (pow.f64 im 5) -1/60)
53.0ms	(*.f64 1/3 (pow.f64 im 3))
304.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3))) (*.f64 (pow.f64 im 5) -1/60)))

simplify66.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4971	1645
1	4971	1645

prune124.0ms

Filtered

65 candidates to 101 candidates (-55.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	95	6	101
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	95	8	103

Merged error: 0.0b

Counts

103 → 8

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

20×	`associate-*r/_binary64`
18×	`cbrt-div_binary64`
11×	`pow1_binary64`
10×	`add-sqr-sqrt_binary64`
9×	`flip3-+_binary64` `pow1/3_binary64` `flip-+_binary64`
8×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
7×	`cbrt-prod_binary64`
6×	`add-exp-log_binary64`
4×	`add-log-exp_binary64` `swap-sqr_binary64` `associate-r_binary64` `add-cbrt-cube_binary64` `associate-l_binary64` `frac-times_binary64`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `pow-sqr_binary64` `associate-*l/_binary64`
1×	`cbrt-unprod_binary64` `pow-plus_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `pow2_binary64` `*-commutative_binary64`

Counts

4 → 72

Calls

4 calls:

11.0ms	(.f64 (cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3))) (.f64 (pow.f64 im 5) -1/60)))) (cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3))) (*.f64 (pow.f64 im 5) -1/60)))))
10.0ms	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3))) (*.f64 (pow.f64 im 5) -1/60))))
10.0ms	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3))) (*.f64 (pow.f64 im 5) -1/60))))
10.0ms	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3))) (*.f64 (pow.f64 im 5) -1/60))))

series3.8s

Counts

4 → 12

Calls

4 calls:

1.9s	(.f64 (cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3))) (.f64 (pow.f64 im 5) -1/60)))) (cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3))) (*.f64 (pow.f64 im 5) -1/60)))))
609.0ms	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3))) (*.f64 (pow.f64 im 5) -1/60))))
613.0ms	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3))) (*.f64 (pow.f64 im 5) -1/60))))
626.0ms	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3))) (*.f64 (pow.f64 im 5) -1/60))))

simplify93.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4943	4096
1	4943	4096

prune326.0ms

Filtered

67 candidates to 84 candidates (-25.4%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	81	3	84
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	81	11	92

Merged error: 0.0b

Counts

92 → 11

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

18×	`cbrt-div_binary64` `associate-*r/_binary64`
11×	`pow1_binary64` `add-sqr-sqrt_binary64`
9×	`flip3-+_binary64` `*-un-lft-identity_binary64` `pow1/3_binary64` `add-cube-cbrt_binary64` `flip-+_binary64` `cbrt-prod_binary64`
6×	`add-exp-log_binary64`
4×	`add-log-exp_binary64` `swap-sqr_binary64` `associate-r_binary64` `add-cbrt-cube_binary64` `associate-l_binary64` `frac-times_binary64`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `pow-sqr_binary64` `associate-*l/_binary64`
1×	`cbrt-unprod_binary64` `pow-plus_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `pow2_binary64` `*-commutative_binary64`

Counts

4 → 74

Calls

4 calls:

11.0ms	(.f64 (cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3))) (.f64 (pow.f64 im 5) -1/60)))) (cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3))) (*.f64 (pow.f64 im 5) -1/60)))))
10.0ms	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3))) (*.f64 (pow.f64 im 5) -1/60))))
12.0ms	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3))) (*.f64 (pow.f64 im 5) -1/60))))
7.0ms	(cbrt.f64 (+.f64 (-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3))) (*.f64 (pow.f64 im 5) -1/60)))

series3.3s

Counts

4 → 12

Calls

4 calls:

2.0s	(.f64 (cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3))) (.f64 (pow.f64 im 5) -1/60)))) (cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3))) (*.f64 (pow.f64 im 5) -1/60)))))
601.0ms	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3))) (*.f64 (pow.f64 im 5) -1/60))))
602.0ms	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3))) (*.f64 (pow.f64 im 5) -1/60))))
169.0ms	(cbrt.f64 (+.f64 (-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3))) (*.f64 (pow.f64 im 5) -1/60)))

simplify93.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4948	4118
1	4948	4118

prune355.0ms

Filtered

72 candidates to 86 candidates (-19.4%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	85	1	86
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	85	12	97

Merged error: 0.0b

Counts

97 → 12

regimes196.0ms

Accuracy

0% (0.8b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	51	30
1	51	30

end0.0ms

sample4.1s

Algorithm

intervals

Results

2.2s	4918×	body	1024	valid
540.0ms	2005×	body	1024	invalid
380.0ms	1640×	body	512	valid
257.0ms	403×	body	2048	valid
164.0ms	966×	body	512	invalid
93.0ms	664×	body	256	valid
60.0ms	518×	body	256	invalid
53.0ms	773×	body	128	invalid
30.0ms	375×	body	128	valid

Details

analyze352.0ms

sample127.0ms

simplify129.0ms

prune4.0ms

localize12.0ms

rewrite21.0ms

series190.0ms

simplify51.0ms

prune48.0ms

localize14.0ms

rewrite35.0ms

series566.0ms

simplify66.0ms

prune124.0ms

localize21.0ms

rewrite56.0ms

series3.8s

simplify93.0ms

prune326.0ms

localize23.0ms

rewrite55.0ms

series3.3s

simplify93.0ms

prune355.0ms

regimes196.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample4.1s

Profiling