Details

analyze364.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
25%	74.9%	0.1%	5
43.7%	56.2%	0.1%	6
43.7%	46.8%	9.5%	7
46.8%	42.1%	11%	8
46.8%	36.7%	16.5%	9
48.4%	34%	17.7%	10
48.4%	31%	20.6%	11
49.2%	29.6%	21.3%	12
49.2%	28%	22.8%	13
49.6%	27.3%	23.1%	14

sample60.0ms

Algorithm

intervals

Results

16.0ms	43×	body	1280	invalid
9.0ms	193×	body	80	valid
7.0ms	36×	body	640	invalid
5.0ms	13×	body	1280	valid
4.0ms	20×	body	640	valid
3.0ms	21×	body	320	valid
2.0ms	16×	body	320	invalid
1.0ms	15×	body	160	invalid
1.0ms	20×	body	80	invalid
1.0ms	9×	body	160	valid

simplify104.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (88.0ms)

Iter	Nodes	Cost
0	4964	11
1	4964	11

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: 13.7b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(sinh.f64 y)
0.2b	(*.f64 (sin.f64 x) (sinh.f64 y))
13.7b	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-exp-log_binary64_10276` `add-cbrt-cube_binary64_10284`
9×	`add-sqr-sqrt_binary64_10297`
7×	`add-cube-cbrt_binary64_10283` `*-un-lft-identity_binary64_10312`
5×	`pow1_binary64_10254`
3×	`times-frac_binary64_10307` `add-log-exp_binary64_10277` `associate-/r_binary64_10375` `sinh-def_binary64_10123` `associate-l_binary64_10372` `associate-r*_binary64_10371`
2×	`prod-exp_binary64_10259` `cbrt-undiv_binary64_10282` `div-exp_binary64_10261` `associate-*r/_binary64_10373` `cbrt-unprod_binary64_10281`
1×	`-commutative_binary64_10380` `div-inv_binary64_10313` `frac-2neg_binary64_10305` `associate-/l/_binary64_10378` `pow-prod-down_binary64_10235` `associate-/l_binary64_10376` `clear-num_binary64_10315` `unswap-sqr_binary64_10340`

Counts

3 → 49

Calls

3 calls:

2.0ms	(sinh.f64 y)
6.0ms	(*.f64 (sin.f64 x) (sinh.f64 y))
7.0ms	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)

series765.0ms

Counts

3 → 9

Calls

3 calls:

246.0ms	(sinh.f64 y)
280.0ms	(*.f64 (sin.f64 x) (sinh.f64 y))
239.0ms	(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	128	2655
1	128	2655
0	4955	2607
1	4955	2607
0	128	2655
1	128	2655
0	4955	2607
1	4955	2607
0	1	3
1	1	3
0	88	2604
1	88	2604
0	5019	2280
0	88	2604
1	88	2604
0	5019	2280
0	1	3
1	1	3
0	33	1914
1	33	1914
0	5713	1288
0	33	1914
1	33	1914
0	5713	1288
0	1	3
1	1	3

simplify138.0ms

Counts

58 → 58

Iterations

Useful iterations: 0 (118.0ms)

Iter	Nodes	Cost
0	5001	555

prune40.0ms

Filtered

42 candidates to 58 candidates (-38.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	52	6	58
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	52	7	59

Merged error: 0.0b

Counts

59 → 7

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(sinh.f64 y)
0.1b	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) x))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64_10297`
13×	`associate-r_binary64_10371`
10×	`add-cube-cbrt_binary64_10283` `times-frac_binary64_10307` `*-un-lft-identity_binary64_10312`
7×	`add-exp-log_binary64_10276` `add-cbrt-cube_binary64_10284`
4×	`pow1_binary64_10254`
3×	`associate-l_binary64_10372`
2×	`prod-exp_binary64_10259` `add-log-exp_binary64_10277` `cbrt-unprod_binary64_10281` `unswap-sqr_binary64_10340`
1×	`-commutative_binary64_10380` `cbrt-undiv_binary64_10282` `div-inv_binary64_10313` `sinh-def_binary64_10123` `div-exp_binary64_10261` `associate-r/_binary64_10373` `pow-prod-down_binary64_10235`

Counts

2 → 40

Calls

2 calls:

1.0ms	(sinh.f64 y)
9.0ms	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) x))

series459.0ms

Counts

2 → 6

Calls

2 calls:

242.0ms	(sinh.f64 y)
217.0ms	(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) x))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	108	2655
1	108	2655
0	4974	2570
1	4974	2570
0	108	2655
1	108	2655
0	4974	2570
1	4974	2570
0	1	3
1	1	3
0	33	1914
1	33	1914
0	5713	1288
0	33	1914
1	33	1914
0	5713	1288
0	1	3
1	1	3

simplify123.0ms

Counts

46 → 46

Iterations

Useful iterations: 0 (102.0ms)

Iter	Nodes	Cost
0	6149	522

prune25.0ms

Filtered

32 candidates to 46 candidates (-43.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	45	1	46
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	46	7	53

Merged error: 0.0b

Counts

53 → 7

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 x (sinh.f64 y))
0.0b	(sinh.f64 y)
0.7b	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

87×	`times-frac_binary64_10307`
54×	`add-cube-cbrt_binary64_10283` `*-un-lft-identity_binary64_10312` `add-sqr-sqrt_binary64_10297`
17×	`associate-/r*_binary64_10375`
10×	`add-exp-log_binary64_10276` `add-cbrt-cube_binary64_10284`
6×	`associate-/r/_binary64_10377` `div-inv_binary64_10313` `sinh-def_binary64_10123` `associate-/l*_binary64_10376`
4×	`cbrt-undiv_binary64_10282` `div-exp_binary64_10261`
3×	`add-log-exp_binary64_10277` `pow1_binary64_10254`
2×	`frac-2neg_binary64_10305` `clear-num_binary64_10315`

Counts

3 → 110

Calls

3 calls:

4.0ms	(/.f64 x (sinh.f64 y))
1.0ms	(sinh.f64 y)
9.0ms	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))

series703.0ms

Counts

3 → 9

Calls

3 calls:

220.0ms	(/.f64 x (sinh.f64 y))
243.0ms	(sinh.f64 y)
241.0ms	(/.f64 (sin.f64 x) (/.f64 x (sinh.f64 y)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	144	2655
1	144	2655
0	5003	2607
0	144	2655
1	144	2655
0	5003	2607
0	1	3
1	1	3
0	33	1914
1	33	1914
0	5713	1288
0	33	1914
1	33	1914
0	5713	1288
0	1	3
1	1	3
0	102	2586
1	102	2586
0	5340	2405
0	102	2586
1	102	2586
0	5340	2405
0	1	3
1	1	3

simplify118.0ms

Counts

119 → 119

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	5086	2111

prune69.0ms

Filtered

95 candidates to 119 candidates (-25.3%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	118	1	119
Fresh	1	3	4
Picked	0	1	1
Done	0	2	2
Total	119	7	126

Merged error: 0.0b

Counts

126 → 7

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(sinh.f64 y)
0.0b	(/.f64 1 (sinh.f64 y))
0.2b	(*.f64 x (/.f64 1 (sinh.f64 y)))
0.7b	(/.f64 (sin.f64 x) (*.f64 x (/.f64 1 (sinh.f64 y))))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-exp-log_binary64_10276`
29×	`add-sqr-sqrt_binary64_10297`
23×	`times-frac_binary64_10307` `*-un-lft-identity_binary64_10312`
22×	`add-cube-cbrt_binary64_10283`
20×	`add-cbrt-cube_binary64_10284`
14×	`associate-r_binary64_10371`
11×	`div-exp_binary64_10261`
8×	`prod-exp_binary64_10259`
7×	`pow1_binary64_10254`
6×	`cbrt-undiv_binary64_10282` `associate-/l*_binary64_10376`
4×	`associate-/r/_binary64_10377` `add-log-exp_binary64_10277` `associate-/r*_binary64_10375` `cbrt-unprod_binary64_10281`
3×	`1-exp_binary64_10272` `rec-exp_binary64_10260` `div-inv_binary64_10313` `sinh-def_binary64_10123` `associate-l_binary64_10372` `unswap-sqr_binary64_10340`
2×	`frac-2neg_binary64_10305` `un-div-inv_binary64_10314` `associate-*r/_binary64_10373` `clear-num_binary64_10315`
1×	`*-commutative_binary64_10380` `pow-flip_binary64_10238` `pow-prod-down_binary64_10235` `inv-pow_binary64_10230`

Counts

4 → 104

Calls

4 calls:

1.0ms	(sinh.f64 y)
5.0ms	(/.f64 1 (sinh.f64 y))
9.0ms	(*.f64 x (/.f64 1 (sinh.f64 y)))
10.0ms	(/.f64 (sin.f64 x) (*.f64 x (/.f64 1 (sinh.f64 y))))

series1.0s

Counts

4 → 12

Calls

4 calls:

242.0ms	(sinh.f64 y)
200.0ms	(/.f64 1 (sinh.f64 y))
338.0ms	(*.f64 x (/.f64 1 (sinh.f64 y)))
253.0ms	(/.f64 (sin.f64 x) (*.f64 x (/.f64 1 (sinh.f64 y))))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	148	2682
1	148	2682
0	4943	2570
1	4943	2570
0	148	2682
1	148	2682
0	4943	2570
1	4943	2570
0	1	3
1	1	3
0	97	2613
1	97	2613
0	4717	2392
1	4717	2392
0	97	2613
1	97	2613
0	4717	2392
1	4717	2392
0	1	3
1	1	3
0	132	1941
1	132	1941
0	5609	1576
0	132	1941
1	132	1941
0	5609	1576
0	1	3
1	1	3
0	33	1914
1	33	1914
0	5713	1288
0	33	1914
1	33	1914
0	5713	1288
0	1	3
1	1	3

simplify104.0ms

Counts

116 → 116

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	5009	1103

prune50.0ms

Filtered

70 candidates to 116 candidates (-65.7%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	116	0	116
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	116	7	123

Merged error: 0.0b

Counts

123 → 7

regimes57.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	11
1	8	11

end0.0ms

sample1.8s

Algorithm

intervals

Results

454.0ms	1463×	body	1280	invalid
282.0ms	6069×	body	80	valid
254.0ms	1270×	body	640	invalid
155.0ms	751×	body	640	valid
127.0ms	344×	body	1280	valid
81.0ms	577×	body	320	invalid
79.0ms	558×	body	320	valid
33.0ms	573×	body	80	invalid
28.0ms	290×	body	160	invalid
27.0ms	278×	body	160	valid

Details

analyze364.0ms

sample60.0ms

simplify104.0ms

prune1.0ms

localize7.0ms

rewrite16.0ms

series765.0ms

simplify138.0ms

prune40.0ms

localize7.0ms

rewrite12.0ms

series459.0ms

simplify123.0ms

prune25.0ms

localize7.0ms

rewrite20.0ms

series703.0ms

simplify118.0ms

prune69.0ms

localize11.0ms

rewrite29.0ms

series1.0s

simplify104.0ms

prune50.0ms

regimes57.0ms

bsearch0.0ms

simplify5.0ms

end0.0ms

sample1.8s

Profiling