Details

analyze145.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
74.9%	25%	0.1%	5
74.9%	18.7%	6.3%	6
74.9%	18.7%	6.3%	7
74.9%	15.6%	9.5%	8
74.9%	15.6%	9.5%	9
74.9%	14%	11%	10
74.9%	14%	11%	11
74.9%	13.3%	11.8%	12
74.9%	13.3%	11.8%	13
74.9%	12.9%	12.2%	14

sample47.0ms

Algorithm

intervals

Results

13.0ms	36×	body	1280	valid
10.0ms	177×	body	80	valid
5.0ms	24×	body	640	valid
5.0ms	18×	body	1280	invalid
3.0ms	17×	body	640	invalid
1.0ms	9×	body	320	valid
1.0ms	9×	body	320	invalid
1.0ms	10×	body	160	valid
0.0ms	4×	body	160	invalid
0.0ms	5×	body	80	invalid

simplify20.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (5.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) (cos.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` `insert-posit16` `*-commutative_binary64`

Counts

1 → 19

Calls

1 calls:

6.0ms

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

series201.0ms

Counts

1 → 3

Calls

1 calls:

201.0ms

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

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	317	282
1	317	282
0	6	9
1	6	9
0	317	282
1	317	282
0	6	9
1	6	9
0	1	3
1	1	3

simplify94.0ms

Counts

22 → 22

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	5736	203

prune15.0ms

Filtered

15 candidates to 22 candidates (-46.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	19	3	22
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	19	4	23

Merged error: 0b

Counts

23 → 4

localize8.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 (cos.f64 im) (sqrt.f64 (exp.f64 re)))
0.0b	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re))))

rewrite29.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` `insert-posit16`
2×	`pow1/2_binary64` `unswap-sqr_binary64` `rem-sqrt-square_binary64` `*-commutative_binary64`

Counts

4 → 79

Calls

4 calls:

3.0ms	(sqrt.f64 (exp.f64 re))
2.0ms	(sqrt.f64 (exp.f64 re))
8.0ms	(*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))
14.0ms	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re))))

series1.1s

Counts

4 → 12

Calls

4 calls:

295.0ms	(sqrt.f64 (exp.f64 re))
291.0ms	(sqrt.f64 (exp.f64 re))
246.0ms	(*.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re)))
280.0ms	(.f64 (sqrt.f64 (exp.f64 re)) (.f64 (cos.f64 im) (sqrt.f64 (exp.f64 re))))

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	457	693
1	457	693
0	42	243
1	42	243
0	457	693
1	457	693
0	42	243
1	42	243
0	216	3
1	216	3
0	375	372
1	375	372
0	28	102
1	28	102
0	375	372
1	375	372
0	28	102
1	28	102
0	215	3
1	215	3
0	299	447
1	299	447
0	23	15
1	23	15
0	299	447
1	299	447
0	23	15
1	23	15
0	4971	42
1	4971	42
0	299	447
1	299	447
0	23	15
1	23	15
0	299	447
1	299	447
0	23	15
1	23	15
0	4971	42
1	4971	42

simplify172.0ms

Counts

91 → 91

Iterations

Useful iterations: 0 (148.0ms)

Iter	Nodes	Cost
0	4909	854
1	4909	854

prune48.0ms

Filtered

67 candidates to 91 candidates (-35.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	90	1	91
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	91	4	95

Merged error: 0b

Counts

95 → 4

localize12.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 (sqrt.f64 (exp.f64 re))) (.f64 (cos.f64 im) (pow.f64 (sqrt.f64 (exp.f64 re)) 3/2)))
0.0b	(pow.f64 (sqrt.f64 (exp.f64 re)) 3/2)

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

18×	`sqrt-prod_binary64`
17×	`add-sqr-sqrt_binary64`
15×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64`
12×	`sqrt-pow1_binary64`
10×	`pow1_binary64`
9×	`add-cbrt-cube_binary64` `associate-l_binary64` `exp-prod_binary64`
7×	`prod-exp_binary64`
6×	`pow-pow_binary64` `unpow-prod-down_binary64`
4×	`add-log-exp_binary64` `insert-posit16`
3×	`pow-unpow_binary64` `pow1/2_binary64` `cbrt-unprod_binary64`
2×	`pow-to-exp_binary64` `rem-sqrt-square_binary64` `pow-exp_binary64`
1×	`pow-prod-down_binary64` `sqrt-pow2_binary64` `associate-r_binary64` `sqr-pow_binary64` `*-commutative_binary64`

Counts

4 → 87

Calls

4 calls:

3.0ms	(sqrt.f64 (exp.f64 re))
3.0ms	(sqrt.f64 (exp.f64 re))
13.0ms	(.f64 (sqrt.f64 (sqrt.f64 (exp.f64 re))) (.f64 (cos.f64 im) (pow.f64 (sqrt.f64 (exp.f64 re)) 3/2)))
5.0ms	(pow.f64 (sqrt.f64 (exp.f64 re)) 3/2)

series1.6s

Counts

4 → 12

Calls

4 calls:

295.0ms	(sqrt.f64 (exp.f64 re))
288.0ms	(sqrt.f64 (exp.f64 re))
445.0ms	(.f64 (sqrt.f64 (sqrt.f64 (exp.f64 re))) (.f64 (cos.f64 im) (pow.f64 (sqrt.f64 (exp.f64 re)) 3/2)))
521.0ms	(pow.f64 (sqrt.f64 (exp.f64 re)) 3/2)

Iterations

Useful iterations: 0 (135.0ms)

Iter	Nodes	Cost
0	522	1057
1	522	1057
0	7749	820
0	522	1057
1	522	1057
0	7749	820
0	4821	73
1	4821	73
0	602	1068
1	602	1068
0	77	498
1	77	498
0	602	1068
1	602	1068
0	77	498
1	77	498
0	5206	3
0	299	447
1	299	447
0	23	15
1	23	15
0	299	447
1	299	447
0	23	15
1	23	15
0	4971	42
1	4971	42
0	299	447
1	299	447
0	23	15
1	23	15
0	299	447
1	299	447
0	23	15
1	23	15
0	4971	42
1	4971	42

simplify177.0ms

Counts

99 → 99

Iterations

Useful iterations: 0 (150.0ms)

Iter	Nodes	Cost
0	4867	963
1	4867	963

prune67.0ms

Filtered

73 candidates to 99 candidates (-35.6%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	99	0	99
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	99	4	103

Merged error: 0b

Counts

103 → 4

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+.f64 re (log.f64 (cos.f64 im)))
0.0b	(exp.f64 (+.f64 re (log.f64 (cos.f64 im))))
3.1b	(log.f64 (cos.f64 im))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

12×	`*-un-lft-identity_binary64`
6×	`add-log-exp_binary64` `pow1_binary64` `log-prod_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
5×	`exp-prod_binary64`
4×	`distribute-lft-out_binary64` `add-exp-log_binary64`
3×	`log-pow_binary64` `add-cbrt-cube_binary64` `insert-posit16` `associate-+r+_binary64`
2×	`rem-exp-log_binary64` `sum-log_binary64`
1×	`flip3-+_binary64` `rem-log-exp_binary64` `exp-sum_binary64` `+-commutative_binary64` `flip-+_binary64`

Counts

3 → 46

Calls

3 calls:

5.0ms	(+.f64 re (log.f64 (cos.f64 im)))
6.0ms	(exp.f64 (+.f64 re (log.f64 (cos.f64 im))))
2.0ms	(log.f64 (cos.f64 im))

series871.0ms

Counts

3 → 9

Calls

3 calls:

222.0ms	(+.f64 re (log.f64 (cos.f64 im)))
358.0ms	(exp.f64 (+.f64 re (log.f64 (cos.f64 im))))
290.0ms	(log.f64 (cos.f64 im))

Iterations

Useful iterations: 0 (149.0ms)

Iter	Nodes	Cost
0	302	336
1	302	336
0	11	15
1	11	15
0	302	336
1	302	336
0	11	15
1	11	15
0	4971	42
1	4971	42
0	332	300
1	332	300
0	26	54
1	26	54
0	332	300
1	332	300
0	26	54
1	26	54
0	4911	3
1	4911	3
0	288	198
1	288	198
0	13	21
1	13	21
0	288	198
1	288	198
0	13	21
1	13	21
0	22	36
1	22	36

simplify121.0ms

Counts

55 → 55

Iterations

Useful iterations: 0 (102.0ms)

Iter	Nodes	Cost
0	4856	529
1	4856	529

prune25.0ms

Filtered

40 candidates to 55 candidates (-37.5%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	55	0	55
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	55	4	59

Merged error: 0b

Counts

59 → 4

regimes51.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	8
1	7	8

end0.0ms

sample1.2s

Algorithm

intervals

Results

360.0ms	1005×	body	1280	valid
213.0ms	5507×	body	80	valid
162.0ms	825×	body	640	valid
126.0ms	500×	body	1280	invalid
64.0ms	383×	body	640	invalid
57.0ms	443×	body	320	valid
24.0ms	209×	body	320	invalid
21.0ms	220×	body	160	valid
8.0ms	105×	body	160	invalid
6.0ms	130×	body	80	invalid

Details

analyze145.0ms

sample47.0ms

simplify20.0ms

prune1.0ms

localize5.0ms

rewrite7.0ms

series201.0ms

simplify94.0ms

prune15.0ms

localize8.0ms

rewrite29.0ms

series1.1s

simplify172.0ms

prune48.0ms

localize12.0ms

rewrite26.0ms

series1.6s

simplify177.0ms

prune67.0ms

localize7.0ms

rewrite14.0ms

series871.0ms

simplify121.0ms

prune25.0ms

regimes51.0ms

bsearch0.0ms

simplify5.0ms

end0.0ms

sample1.2s

Profiling