Details

analyze25.0ms

Algorithm

Search

True	Other	False	Iter
0%	25%	75%	0
0%	25%	75%	1
12.5%	12.5%	75%	2
12.5%	12.5%	75%	3
18.7%	6.2%	75%	4
21.8%	3.1%	75%	5
23.4%	1.6%	75%	6
23.4%	1.6%	75%	7
24.2%	0.8%	75%	8
24.2%	0.8%	75%	9
24.6%	0.4%	75%	10
24.6%	0.4%	75%	11
24.8%	0.2%	75%	12
24.8%	0.2%	75%	13
24.9%	0.1%	75%	14

sample66.0ms

Algorithm

intervals

Results

23.0ms	50×	body	1280	valid
14.0ms	49×	body	640	valid
9.0ms	135×	body	80	valid
5.0ms	256×	pre	80	true
3.0ms	16×	body	320	valid
1.0ms	6×	body	160	valid

simplify159.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	25	17
1	25	17

prune3.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.1b

Counts

2 → 1

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
0.1b	(*.f64 e (cos.f64 v))
0.1b	(*.f64 e (sin.f64 v))

rewrite229.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64`
12×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
7×	`pow1_binary64`
6×	`associate-r_binary64` `associate-l_binary64`
3×	`associate-/r*_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `times-frac_binary64` `insert-posit16`
2×	`pow-prod-down_binary64` `cbrt-undiv_binary64` `associate-/r/_binary64` `unswap-sqr_binary64` `div-exp_binary64` `*-commutative_binary64`
1×	`flip3-+_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l*_binary64` `div-inv_binary64` `flip-+_binary64`

Counts

3 → 62

Calls

3 calls:

8.0ms	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
5.0ms	(*.f64 e (cos.f64 v))
213.0ms	(*.f64 e (sin.f64 v))

series676.0ms

Counts

3 → 9

Calls

3 calls:

277.0ms	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (.f64 e (cos.f64 v))))
241.0ms	(*.f64 e (cos.f64 v))
157.0ms	(*.f64 e (sin.f64 v))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	378	257
1	378	257
0	378	257
1	378	257
0	1	3
1	1	3
0	388	265
1	388	265
0	388	265
1	388	265
0	5314	9
0	646	1230
1	646	1230
0	646	1230
1	646	1230
0	1	3
1	1	3

simplify177.0ms

Counts

71 → 71

Iterations

Useful iterations: 0 (155.0ms)

Iter	Nodes	Cost
0	4940	845
1	4940	845

prune58.0ms

Filtered

51 candidates to 71 candidates (-39.2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	62	9	71
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	63	9	72

Merged error: 0.0b

Counts

72 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (log.f64 (exp.f64 (.f64 e (cos.f64 v))))))
0.1b	(*.f64 e (cos.f64 v))
0.1b	(*.f64 e (sin.f64 v))
6.9b	(log.f64 (exp.f64 (*.f64 e (cos.f64 v))))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

17×	`*-un-lft-identity_binary64`
15×	`add-sqr-sqrt_binary64`
13×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
11×	`pow1_binary64` `add-cube-cbrt_binary64`
6×	`associate-r_binary64` `associate-l_binary64`
5×	`associate-/r*_binary64` `add-log-exp_binary64` `log-pow_binary64` `times-frac_binary64`
4×	`distribute-lft-out_binary64` `insert-posit16`
3×	`cbrt-unprod_binary64` `log-prod_binary64` `prod-exp_binary64`
2×	`pow-prod-down_binary64` `cbrt-undiv_binary64` `associate-/r/_binary64` `unswap-sqr_binary64` `div-exp_binary64` `*-commutative_binary64`
1×	`flip3-+_binary64` `rem-log-exp_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l*_binary64` `div-inv_binary64` `exp-to-pow_binary64` `flip-+_binary64` `exp-prod_binary64`

Counts

4 → 81

Calls

4 calls:

10.0ms	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (log.f64 (exp.f64 (.f64 e (cos.f64 v))))))
8.0ms	(*.f64 e (cos.f64 v))
5.0ms	(*.f64 e (sin.f64 v))
2.0ms	(log.f64 (exp.f64 (*.f64 e (cos.f64 v))))

series1.0s

Counts

4 → 12

Calls

4 calls:

311.0ms	(/.f64 (.f64 e (sin.f64 v)) (+.f64 1 (log.f64 (exp.f64 (.f64 e (cos.f64 v))))))
238.0ms	(*.f64 e (cos.f64 v))
151.0ms	(*.f64 e (sin.f64 v))
311.0ms	(log.f64 (exp.f64 (*.f64 e (cos.f64 v))))

Iterations

Useful iterations: 0 (124.0ms)

Iter	Nodes	Cost
0	425	630
1	425	630
0	425	630
1	425	630
0	5116	3
0	378	257
1	378	257
0	378	257
1	378	257
0	1	3
1	1	3
0	388	265
1	388	265
0	388	265
1	388	265
0	5314	9
0	778	1478
1	778	1478
0	778	1478
1	778	1478
0	1	3
1	1	3

simplify152.0ms

Counts

93 → 93

Iterations

Useful iterations: 0 (127.0ms)

Iter	Nodes	Cost
0	5292	1033

prune61.0ms

Filtered

65 candidates to 93 candidates (-43.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	93	0	93
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	93	9	102

Merged error: 0.0b

Counts

102 → 9

localize10.0ms

Local error

Found 3 expressions with local error:

0.1b	(*.f64 e (cos.f64 v))
0.1b	(/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))
0.2b	(/.f64 e (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

84×	`times-frac_binary64`
57×	`add-sqr-sqrt_binary64`
55×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
16×	`associate-/r*_binary64`
12×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
6×	`associate-/l*_binary64` `div-inv_binary64`
5×	`pow1_binary64`
4×	`cbrt-undiv_binary64` `div-exp_binary64`
3×	`add-log-exp_binary64` `associate-r_binary64` `associate-l_binary64` `insert-posit16`
2×	`associate-/l/_binary64` `clear-num_binary64` `frac-2neg_binary64`
1×	`pow-prod-down_binary64` `flip3-+_binary64` `cbrt-unprod_binary64` `associate-/r/_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `flip-+_binary64` `*-commutative_binary64`

Counts

3 → 120

Calls

3 calls:

5.0ms	(*.f64 e (cos.f64 v))
7.0ms	(/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))
9.0ms	(/.f64 e (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))

series949.0ms

Counts

3 → 9

Calls

3 calls:

238.0ms	(*.f64 e (cos.f64 v))
246.0ms	(/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v))
465.0ms	(/.f64 e (/.f64 (+.f64 1 (*.f64 e (cos.f64 v))) (sin.f64 v)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	1269	260
1	1269	260
0	1269	260
1	1269	260
0	1	3
1	1	3
0	649	957
1	649	957
0	649	957
1	649	957
0	1	3
1	1	3
0	388	265
1	388	265
0	388	265
1	388	265
0	5314	9

simplify125.0ms

Counts

129 → 129

Iterations

Useful iterations: 0 (87.0ms)

Iter	Nodes	Cost
0	5083	3111

prune116.0ms

Filtered

103 candidates to 129 candidates (-25.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	125	4	129
Fresh	1	6	7
Picked	0	1	1
Done	1	0	1
Total	127	11	138

Merged error: 0.0b

Counts

138 → 11

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (.f64 (sqrt.f64 e) (.f64 (sin.f64 v) (sqrt.f64 e))) (+.f64 1 (*.f64 e (cos.f64 v))))
0.1b	(*.f64 e (cos.f64 v))
0.2b	(.f64 (sqrt.f64 e) (.f64 (sin.f64 v) (sqrt.f64 e)))
0.3b	(*.f64 (sin.f64 v) (sqrt.f64 e))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
19×	`add-sqr-sqrt_binary64`
13×	`*-un-lft-identity_binary64` `pow1_binary64` `add-cube-cbrt_binary64`
12×	`associate-l_binary64`
10×	`associate-r_binary64`
8×	`cbrt-unprod_binary64` `prod-exp_binary64`
7×	`sqrt-prod_binary64`
5×	`pow-prod-down_binary64`
4×	`add-log-exp_binary64` `insert-posit16`
3×	`associate-/r_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `times-frac_binary64` `div-exp_binary64` `-commutative_binary64`
2×	`associate-/r/_binary64`
1×	`flip3-+_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l*_binary64` `div-inv_binary64` `flip-+_binary64`

Counts

4 → 90

Calls

4 calls:

13.0ms	(/.f64 (.f64 (sqrt.f64 e) (.f64 (sin.f64 v) (sqrt.f64 e))) (+.f64 1 (*.f64 e (cos.f64 v))))
5.0ms	(*.f64 e (cos.f64 v))
9.0ms	(.f64 (sqrt.f64 e) (.f64 (sin.f64 v) (sqrt.f64 e)))
7.0ms	(*.f64 (sin.f64 v) (sqrt.f64 e))

series1.3s

Counts

4 → 12

Calls

4 calls:

472.0ms	(/.f64 (.f64 (sqrt.f64 e) (.f64 (sin.f64 v) (sqrt.f64 e))) (+.f64 1 (*.f64 e (cos.f64 v))))
240.0ms	(*.f64 e (cos.f64 v))
329.0ms	(.f64 (sqrt.f64 e) (.f64 (sin.f64 v) (sqrt.f64 e)))
271.0ms	(*.f64 (sin.f64 v) (sqrt.f64 e))

Iterations

Useful iterations: 0 (122.0ms)

Iter	Nodes	Cost
0	545	411
1	545	411
0	545	411
1	545	411
0	5210	14
0	466	746
1	466	746
0	466	746
1	466	746
0	5626	3
0	388	265
1	388	265
0	388	265
1	388	265
0	5314	9
0	805	1625
1	805	1625
0	805	1625
1	805	1625
0	5163	3

simplify76.0ms

Counts

102 → 102

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5025	1212

prune60.0ms

Filtered

70 candidates to 102 candidates (-45.7%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	100	2	102
Fresh	3	6	9
Picked	0	1	1
Done	0	1	1
Total	103	10	113

Merged error: 0.0b

Counts

113 → 10

regimes48.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	17
1	14	17

end0.0ms

sample1.9s

Algorithm

intervals

Results

714.0ms	1528×	body	1280	valid
370.0ms	1255×	body	640	valid
298.0ms	4274×	body	80	valid
135.0ms	8000×	pre	80	true
129.0ms	643×	body	320	valid
42.0ms	300×	body	160	valid

Details

analyze25.0ms

sample66.0ms

simplify159.0ms

prune3.0ms

localize12.0ms

rewrite229.0ms

series676.0ms

simplify177.0ms

prune58.0ms

localize12.0ms

rewrite28.0ms

series1.0s

simplify152.0ms

prune61.0ms

localize10.0ms

rewrite27.0ms

series949.0ms

simplify125.0ms

prune116.0ms

localize15.0ms

rewrite38.0ms

series1.3s

simplify76.0ms

prune60.0ms

regimes48.0ms

bsearch0.0ms

simplify6.0ms

end0.0ms

sample1.9s

Profiling