Details

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

sample81.0ms

Algorithm

intervals

Results

24.0ms	40×	body	1280	valid
13.0ms	40×	body	1280	invalid
10.0ms	36×	body	640	valid
8.0ms	149×	body	80	valid
7.0ms	31×	body	640	invalid
3.0ms	17×	body	320	valid
3.0ms	19×	body	320	invalid
2.0ms	14×	body	160	valid
1.0ms	10×	body	160	invalid
1.0ms	12×	body	80	invalid

simplify215.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (199.0ms)

Iter	Nodes	Cost
0	5109	18

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

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

7×	`*-un-lft-identity_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
4×	`add-log-exp_binary64` `associate-r_binary64`
3×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `add-cube-cbrt_binary64` `prod-exp_binary64` `add-sqr-sqrt_binary64`
2×	`flip3-+_binary64` `distribute-lft-out_binary64` `associate-*r/_binary64` `insert-posit16` `flip-+_binary64`
1×	`distribute-lft-in_binary64` `associate-l_binary64` `distribute-rgt-in_binary64` `+-commutative_binary64` `sum-log_binary64` `*-commutative_binary64`

Counts

2 → 37

Calls

2 calls:

10.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
13.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

series550.0ms

Counts

2 → 6

Calls

2 calls:

200.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
350.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	490	569
1	490	569
0	490	569
1	490	569
0	4960	18
1	4960	18
0	305	461
1	305	461
0	305	461
1	305	461
0	5243	16

simplify128.0ms

Counts

43 → 43

Iterations

Useful iterations: 0 (104.0ms)

Iter	Nodes	Cost
0	4975	681
1	4975	681

prune28.0ms

Filtered

30 candidates to 43 candidates (-43.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Merged error: 0.0b

Counts

44 → 3

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(.f64 (cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (cbrt.f64 (.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
0.3b	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
0.3b	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
0.3b	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))

rewrite47.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` `insert-posit16` `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 → 76

Calls

4 calls:

11.0ms	(.f64 (cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (cbrt.f64 (.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
10.0ms	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
12.0ms	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
10.0ms	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))

series805.0ms

Counts

4 → 12

Calls

4 calls:

192.0ms	(.f64 (cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (cbrt.f64 (.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
205.0ms	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
203.0ms	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
205.0ms	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))

Iterations

Useful iterations: 0 (115.0ms)

Iter	Nodes	Cost
0	153	1823
1	153	1823
0	153	1823
1	153	1823
0	5566	17
0	153	1823
1	153	1823
0	153	1823
1	153	1823
0	5566	17
0	153	1823
1	153	1823
0	153	1823
1	153	1823
0	5566	17
0	368	1850
1	368	1850
0	368	1850
1	368	1850
0	5494	20

simplify104.0ms

Counts

88 → 88

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	5553	2220

prune120.0ms

Filtered

67 candidates to 88 candidates (-31.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	87	1	88
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	88	3	91

Merged error: 0b

Counts

91 → 3

localize29.0ms

Local error

Found 4 expressions with local error:

0.3b	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
0.3b	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
0.5b	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (pow.f64 (exp.f64 im) -3) (pow.f64 (exp.f64 im) 3))))
5.5b	(+.f64 (pow.f64 (exp.f64 im) 2) -1)

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

6×	`cbrt-div_binary64` `-un-lft-identity_binary64` `add-log-exp_binary64` `associate-r/_binary64` `add-sqr-sqrt_binary64`
4×	`flip3-+_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `difference-of-sqr--1_binary64` `insert-posit16` `flip-+_binary64`
3×	`pow1/3_binary64` `cbrt-prod_binary64`
1×	`distribute-lft-out_binary64` `unpow2_binary64` `sqr-pow_binary64` `unpow-prod-down_binary64` `+-commutative_binary64` `sum-log_binary64`

Counts

4 → 53

Calls

4 calls:

13.0ms	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
10.0ms	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
14.0ms	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (pow.f64 (exp.f64 im) -3) (pow.f64 (exp.f64 im) 3))))
8.0ms	(+.f64 (pow.f64 (exp.f64 im) 2) -1)

series981.0ms

Counts

4 → 12

Calls

4 calls:

202.0ms	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
203.0ms	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
213.0ms	(cbrt.f64 (.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (pow.f64 (exp.f64 im) -3) (pow.f64 (exp.f64 im) 3))))
362.0ms	(+.f64 (pow.f64 (exp.f64 im) 2) -1)

Iterations

Useful iterations: 0 (112.0ms)

Iter	Nodes	Cost
0	2195	463
1	2195	463
0	2195	463
1	2195	463
0	5217	12
0	160	1861
1	160	1861
0	160	1861
1	160	1861
0	5473	17
0	153	1823
1	153	1823
0	153	1823
1	153	1823
0	5566	17
0	153	1823
1	153	1823
0	153	1823
1	153	1823
0	5566	17

simplify155.0ms

Counts

65 → 65

Iterations

Useful iterations: 0 (125.0ms)

Iter	Nodes	Cost
0	4947	1207
1	4947	1207

prune148.0ms

Filtered

56 candidates to 65 candidates (-16.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	65	0	65
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	65	3	68

Merged error: 0b

Counts

68 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
0.0b	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
0.2b	(.f64 (.f64 1/2 (cos.f64 re)) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
0.8b	(.f64 (.f64 (*.f64 1/2 (cos.f64 re)) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

18×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
16×	`*-un-lft-identity_binary64`
14×	`associate-r_binary64` `sqrt-div_binary64`
10×	`associate-*r/_binary64`
9×	`pow-prod-down_binary64` `flip3-+_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `flip-+_binary64`
8×	`add-log-exp_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `sqrt-prod_binary64`
4×	`distribute-lft-out_binary64` `insert-posit16` `frac-times_binary64`
2×	`associate-l_binary64` `+-commutative_binary64` `associate-l/_binary64` `sum-log_binary64` `-commutative_binary64`

Counts

4 → 85

Calls

4 calls:

7.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
7.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
14.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
24.0ms	(.f64 (.f64 (*.f64 1/2 (cos.f64 re)) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))

series1.2s

Counts

4 → 12

Calls

4 calls:

200.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
203.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))
390.0ms	(.f64 (.f64 1/2 (cos.f64 re)) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))
390.0ms	(.f64 (.f64 (*.f64 1/2 (cos.f64 re)) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (sqrt.f64 (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))

Iterations

Useful iterations: 0 (116.0ms)

Iter	Nodes	Cost
0	666	1673
1	666	1673
0	666	1673
1	666	1673
0	4475	15
1	4475	15
0	577	925
1	577	925
0	577	925
1	577	925
0	5245	17
0	305	461
1	305	461
0	305	461
1	305	461
0	5243	16
0	305	461
1	305	461
0	305	461
1	305	461
0	5243	16

simplify154.0ms

Counts

97 → 97

Iterations

Useful iterations: 0 (117.0ms)

Iter	Nodes	Cost
0	4937	1905
1	4937	1905

prune67.0ms

Filtered

63 candidates to 97 candidates (-54.0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	97	0	97
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	97	3	100

Merged error: 0b

Counts

100 → 3

regimes73.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	21	18
1	21	18

end0.0ms

sample2.9s

Algorithm

intervals

Results

763.0ms	1461×	body	1280	valid
494.0ms	1492×	body	1280	invalid
432.0ms	1236×	body	640	invalid
335.0ms	1222×	body	640	valid
251.0ms	4388×	body	80	valid
103.0ms	596×	body	320	valid
96.0ms	604×	body	320	invalid
38.0ms	333×	body	160	valid
34.0ms	297×	body	160	invalid
33.0ms	539×	body	80	invalid

Details

analyze350.0ms

sample81.0ms

simplify215.0ms

prune1.0ms

localize10.0ms

rewrite25.0ms

series550.0ms

simplify128.0ms

prune28.0ms

localize14.0ms

rewrite47.0ms

series805.0ms

simplify104.0ms

prune120.0ms

localize29.0ms

rewrite47.0ms

series981.0ms

simplify155.0ms

prune148.0ms

localize12.0ms

rewrite55.0ms

series1.2s

simplify154.0ms

prune67.0ms

regimes73.0ms

bsearch0.0ms

simplify8.0ms

end0.0ms

sample2.9s

Profiling