Details

analyze136.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
50%	50%	0.1%	2
50%	50%	0.1%	3
74.9%	25%	0.1%	4
81.2%	18.7%	0.1%	5
81.2%	15.6%	3.2%	6
81.2%	15.6%	3.2%	7
81.2%	14%	4.8%	8
81.2%	14%	4.8%	9
81.2%	13.3%	5.6%	10
81.2%	13.3%	5.6%	11
81.2%	12.9%	6%	12
81.2%	12.9%	6%	13
81.2%	12.7%	6.1%	14

sample39.0ms

Algorithm

intervals

Results

10.0ms	33×	body	1024	valid
8.0ms	183×	body	128	valid
4.0ms	27×	body	512	valid
4.0ms	18×	body	1024	invalid
2.0ms	12×	body	512	invalid
1.0ms	28×	body	128	invalid
1.0ms	12×	body	256	valid
1.0ms	9×	body	256	invalid
1.0ms	1×	body	2048	valid

simplify8.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	7	8
1	7	8

prune1.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: 0.0b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(*.f64 (exp.f64 re) (sin.f64 im))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64`
3×	`-un-lft-identity_binary64` `pow1_binary64` `associate-r_binary64` `add-cube-cbrt_binary64` `add-cbrt-cube_binary64` `associate-l*_binary64`
2×	`add-exp-log_binary64`
1×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`

Counts

1 → 18

Calls

1 calls:

5.0ms

(*.f64 (exp.f64 re) (sin.f64 im))

series69.0ms

Counts

1 → 3

Calls

1 calls:

69.0ms

(*.f64 (exp.f64 re) (sin.f64 im))

simplify80.0ms

Algorithm

egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	5010	222

prune14.0ms

Filtered

14 candidates to 21 candidates (-50.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	17	4	21
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	17	5	22

Merged error: 0b

Counts

22 → 5

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (exp.f64 re))
0.0b	(sqrt.f64 (exp.f64 re))
0.0b	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re))))
0.0b	(*.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64`
13×	`*-un-lft-identity_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `sqrt-prod_binary64`
11×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`associate-l_binary64`
8×	`sqrt-pow1_binary64`
7×	`associate-r_binary64`
6×	`exp-prod_binary64`
4×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
2×	`pow1/2_binary64` `unswap-sqr_binary64` `rem-sqrt-square_binary64` `*-commutative_binary64`

Counts

4 → 75

Calls

4 calls:

2.0ms	(sqrt.f64 (exp.f64 re))
2.0ms	(sqrt.f64 (exp.f64 re))
11.0ms	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re))))
7.0ms	(*.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re)))

series198.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(sqrt.f64 (exp.f64 re))
23.0ms	(sqrt.f64 (exp.f64 re))
69.0ms	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re))))
83.0ms	(*.f64 (sin.f64 im) (sqrt.f64 (exp.f64 re)))

simplify130.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 0 (114.0ms)

Iter	Nodes	Cost
0	4797	849
1	4797	849

prune41.0ms

Filtered

59 candidates to 87 candidates (-47.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	86	1	87
Fresh	2	1	3
Picked	1	0	1
Done	0	1	1
Total	89	3	92

Merged error: 0b

Counts

92 → 3

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(sqrt.f64 (exp.f64 re))
0.0b	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (exp.f64 (*.f64 re 1/2))))
0.0b	(.f64 (sin.f64 im) (exp.f64 (.f64 re 1/2)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64`
11×	`pow1_binary64`
10×	`add-cbrt-cube_binary64`
9×	`-un-lft-identity_binary64` `add-cube-cbrt_binary64` `associate-l*_binary64`
8×	`add-exp-log_binary64`
6×	`sqrt-prod_binary64`
4×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `associate-r_binary64` `sqrt-pow1_binary64` `prod-exp_binary64`
3×	`add-log-exp_binary64` `exp-prod_binary64`
2×	`*-commutative_binary64`
1×	`pow1/2_binary64` `unswap-sqr_binary64` `rem-sqrt-square_binary64`

Counts

3 → 55

Calls

3 calls:

2.0ms	(sqrt.f64 (exp.f64 re))
9.0ms	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (exp.f64 (*.f64 re 1/2))))
6.0ms	(.f64 (sin.f64 im) (exp.f64 (.f64 re 1/2)))

series206.0ms

Counts

3 → 9

Calls

3 calls:

23.0ms	(sqrt.f64 (exp.f64 re))
120.0ms	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (sin.f64 im) (exp.f64 (*.f64 re 1/2))))
64.0ms	(.f64 (sin.f64 im) (exp.f64 (.f64 re 1/2)))

simplify44.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5049	666

prune34.0ms

Filtered

48 candidates to 64 candidates (-33.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	64	0	64
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	64	3	67

Merged error: 0b

Counts

67 → 3

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (exp.f64 re) (sin.f64 im))
0.2b	(.f64 (sqrt.f64 (.f64 (exp.f64 re) (sin.f64 im))) (sqrt.f64 (*.f64 (exp.f64 re) (sin.f64 im))))
0.5b	(sqrt.f64 (*.f64 (exp.f64 re) (sin.f64 im)))
0.5b	(sqrt.f64 (*.f64 (exp.f64 re) (sin.f64 im)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

61×	`pow1_binary64`
32×	`sqrt-pow1_binary64`
23×	`pow-prod-down_binary64`
14×	`add-sqr-sqrt_binary64`
12×	`pow1/2_binary64`
10×	`*-un-lft-identity_binary64` `pow-prod-up_binary64` `add-cube-cbrt_binary64`
8×	`add-cbrt-cube_binary64`
7×	`associate-r_binary64` `add-exp-log_binary64` `associate-l_binary64`
6×	`pow-sqr_binary64` `sqrt-prod_binary64`
4×	`add-log-exp_binary64` `swap-sqr_binary64`
2×	`cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`
1×	`rem-square-sqrt_binary64` `pow-plus_binary64` `sqrt-unprod_binary64` `pow2_binary64`

Counts

4 → 89

Calls

4 calls:

6.0ms	(*.f64 (exp.f64 re) (sin.f64 im))
13.0ms	(.f64 (sqrt.f64 (.f64 (exp.f64 re) (sin.f64 im))) (sqrt.f64 (*.f64 (exp.f64 re) (sin.f64 im))))
4.0ms	(sqrt.f64 (*.f64 (exp.f64 re) (sin.f64 im)))
4.0ms	(sqrt.f64 (*.f64 (exp.f64 re) (sin.f64 im)))

series346.0ms

Counts

4 → 12

Calls

4 calls:

61.0ms	(*.f64 (exp.f64 re) (sin.f64 im))
68.0ms	(.f64 (sqrt.f64 (.f64 (exp.f64 re) (sin.f64 im))) (sqrt.f64 (*.f64 (exp.f64 re) (sin.f64 im))))
104.0ms	(sqrt.f64 (*.f64 (exp.f64 re) (sin.f64 im)))
113.0ms	(sqrt.f64 (*.f64 (exp.f64 re) (sin.f64 im)))

simplify76.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4959	913
1	4959	913

prune38.0ms

Filtered

53 candidates to 101 candidates (-90.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	101	0	101
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	101	3	104

Merged error: 0b

Counts

104 → 3

regimes60.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	18
1	14	18

end0.0ms

sample1.2s

Algorithm

intervals

Results

367.0ms	1296×	body	1024	valid
260.0ms	5721×	body	128	valid
149.0ms	711×	body	1024	invalid
98.0ms	647×	body	512	valid
42.0ms	324×	body	512	invalid
34.0ms	784×	body	128	invalid
31.0ms	335×	body	256	valid
12.0ms	145×	body	256	invalid
1.0ms	1×	body	2048	valid

Details

analyze136.0ms

sample39.0ms

simplify8.0ms

prune1.0ms

localize5.0ms

rewrite7.0ms

series69.0ms

simplify80.0ms

prune14.0ms

localize7.0ms

rewrite27.0ms

series198.0ms

simplify130.0ms

prune41.0ms

localize10.0ms

rewrite21.0ms

series206.0ms

simplify44.0ms

prune34.0ms

localize7.0ms

rewrite33.0ms

series346.0ms

simplify76.0ms

prune38.0ms

regimes60.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.2s

Profiling