Details

analyze1.0s

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
7.8%	92%	0.2%	11
11.7%	88.1%	0.2%	12
17.9%	81.8%	0.2%	13
22.6%	77.2%	0.2%	14

sample24.0ms

Algorithm

intervals

Results

10.0ms	251×	body	80	valid
1.0ms	24×	body	80	invalid
0.0ms	2×	body	2560	valid
0.0ms	3×	body	320	valid

simplify358.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (342.0ms)

Iter	Nodes	Cost
0	4821	19
1	4821	19

prune2.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.4b

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (/.f64 (.f64 60 (-.f64 x y)) (-.f64 z t)) (.f64 a 120))
0.0b	(*.f64 60 (-.f64 x y))
0.5b	(/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z t))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64`
13×	`*-un-lft-identity_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
7×	`add-cube-cbrt_binary64`
5×	`associate-/r_binary64` `add-log-exp_binary64` `pow1_binary64` `associate-r*_binary64` `times-frac_binary64`
4×	`associate-*r/_binary64`
3×	`flip3--_binary64` `associate-l_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `insert-posit16` `flip--_binary64`
2×	`associate-/l/_binary64` `sub-neg_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `associate-/r/_binary64` `prod-exp_binary64` `div-exp_binary64`
1×	`pow-prod-down_binary64` `flip3-+_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `div-inv_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64` `-commutative_binary64`

Counts

3 → 67

Calls

3 calls:

14.0ms	(+.f64 (/.f64 (.f64 60 (-.f64 x y)) (-.f64 z t)) (.f64 a 120))
8.0ms	(*.f64 60 (-.f64 x y))
12.0ms	(/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z t))

series688.0ms

Counts

3 → 9

Calls

3 calls:

67.0ms	(+.f64 (/.f64 (.f64 60 (-.f64 x y)) (-.f64 z t)) (.f64 a 120))
559.0ms	(*.f64 60 (-.f64 x y))
62.0ms	(/.f64 (*.f64 60 (-.f64 x y)) (-.f64 z t))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	132	9
1	132	9
0	132	9
1	132	9
0	1	3
1	1	3
0	10264	9
1	10264	9
0	10264	9
1	10264	9
0	1	3
1	1	3
0	204	9
1	204	9
0	204	9
1	204	9
0	1	3
1	1	3

simplify90.0ms

Counts

76 → 76

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	5595	1055

prune69.0ms

Filtered

55 candidates to 76 candidates (-38.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	69	7	76
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	69	8	77

Merged error: 0.0b

Counts

77 → 8

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 60 (/.f64 (-.f64 x y) (-.f64 z t))) (.f64 a 120))
0.0b	(/.f64 (-.f64 x y) (-.f64 z t))
0.3b	(*.f64 60 (/.f64 (-.f64 x y) (-.f64 z t)))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

76×	`add-sqr-sqrt_binary64`
71×	`*-un-lft-identity_binary64`
51×	`times-frac_binary64`
31×	`associate-r_binary64`
27×	`add-cube-cbrt_binary64`
22×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
5×	`associate-/r_binary64` `add-log-exp_binary64` `pow1_binary64` `associate-/l_binary64`
4×	`associate-/r/_binary64`
3×	`flip3--_binary64` `associate-l_binary64` `insert-posit16` `flip--_binary64`
2×	`associate-/l/_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `div-inv_binary64` `div-exp_binary64`
1×	`pow-prod-down_binary64` `flip3-+_binary64` `associate-r/_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64` `-commutative_binary64`

Counts

3 → 116

Calls

3 calls:

18.0ms	(+.f64 (.f64 60 (/.f64 (-.f64 x y) (-.f64 z t))) (.f64 a 120))
10.0ms	(/.f64 (-.f64 x y) (-.f64 z t))
18.0ms	(*.f64 60 (/.f64 (-.f64 x y) (-.f64 z t)))

series193.0ms

Counts

3 → 9

Calls

3 calls:

68.0ms	(+.f64 (.f64 60 (/.f64 (-.f64 x y) (-.f64 z t))) (.f64 a 120))
64.0ms	(/.f64 (-.f64 x y) (-.f64 z t))
61.0ms	(*.f64 60 (/.f64 (-.f64 x y) (-.f64 z t)))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	148	9
1	148	9
0	148	9
1	148	9
0	1	3
1	1	3
0	144	9
1	144	9
0	144	9
1	144	9
0	1	3
1	1	3
0	162	9
1	162	9
0	162	9
1	162	9
0	1	3
1	1	3

simplify95.0ms

Counts

125 → 125

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	5003	2128

prune83.0ms

Filtered

83 candidates to 125 candidates (-50.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	124	1	125
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	125	8	133

Merged error: 0.0b

Counts

133 → 8

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (/.f64 60 (/.f64 (-.f64 z t) (-.f64 x y))) (*.f64 a 120))
0.0b	(/.f64 (-.f64 z t) (-.f64 x y))
0.6b	(/.f64 60 (/.f64 (-.f64 z t) (-.f64 x y)))

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

218×	`times-frac_binary64`
195×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64`
91×	`add-cube-cbrt_binary64`
52×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
36×	`associate-/r*_binary64`
11×	`associate-/r/_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`associate-/l*_binary64`
6×	`flip3--_binary64` `div-inv_binary64` `flip--_binary64`
5×	`add-log-exp_binary64`
4×	`cbrt-undiv_binary64` `div-exp_binary64`
3×	`pow1_binary64` `insert-posit16`
2×	`associate-/l/_binary64` `clear-num_binary64` `frac-2neg_binary64`
1×	`flip3-+_binary64` `div-sub_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

3 → 208

Calls

3 calls:

38.0ms	(+.f64 (/.f64 60 (/.f64 (-.f64 z t) (-.f64 x y))) (*.f64 a 120))
10.0ms	(/.f64 (-.f64 z t) (-.f64 x y))
17.0ms	(/.f64 60 (/.f64 (-.f64 z t) (-.f64 x y)))

series204.0ms

Counts

3 → 9

Calls

3 calls:

73.0ms	(+.f64 (/.f64 60 (/.f64 (-.f64 z t) (-.f64 x y))) (*.f64 a 120))
62.0ms	(/.f64 (-.f64 z t) (-.f64 x y))
69.0ms	(/.f64 60 (/.f64 (-.f64 z t) (-.f64 x y)))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	200	9
1	200	9
0	200	9
1	200	9
0	1	3
1	1	3
0	144	9
1	144	9
0	144	9
1	144	9
0	1	3
1	1	3
0	392	9
1	392	9
0	392	9
1	392	9
0	1	3
1	1	3

simplify109.0ms

Counts

217 → 217

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5160	5255

prune154.0ms

Filtered

147 candidates to 217 candidates (-47.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	215	2	217
Fresh	3	2	5
Picked	0	1	1
Done	1	1	2
Total	219	6	225

Merged error: 0.0b

Counts

225 → 6

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 (/.f64 60 (-.f64 z t)) (-.f64 x y)) (.f64 a 120))
0.0b	(/.f64 60 (-.f64 z t))
0.2b	(*.f64 (/.f64 60 (-.f64 z t)) (-.f64 x y))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

44×	`add-sqr-sqrt_binary64`
39×	`*-un-lft-identity_binary64`
31×	`times-frac_binary64`
23×	`add-cube-cbrt_binary64`
21×	`associate-l_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
5×	`associate-/r_binary64` `add-log-exp_binary64` `pow1_binary64` `associate-r*_binary64`
4×	`sub-neg_binary64` `flip3--_binary64` `associate-/r/_binary64` `flip--_binary64`
3×	`associate-/l*_binary64` `insert-posit16`
2×	`cbrt-unprod_binary64` `cbrt-undiv_binary64` `associate-*r/_binary64` `associate-+l+_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `div-inv_binary64` `div-exp_binary64` `frac-times_binary64`
1×	`pow-prod-down_binary64` `flip3-+_binary64` `clear-num_binary64` `frac-2neg_binary64` `+-commutative_binary64` `flip-+_binary64` `associate-l/_binary64` `sum-log_binary64` `-commutative_binary64`

Counts

3 → 101

Calls

3 calls:

15.0ms	(+.f64 (.f64 (/.f64 60 (-.f64 z t)) (-.f64 x y)) (.f64 a 120))
7.0ms	(/.f64 60 (-.f64 z t))
18.0ms	(*.f64 (/.f64 60 (-.f64 z t)) (-.f64 x y))

series672.0ms

Counts

3 → 9

Calls

3 calls:

69.0ms	(+.f64 (.f64 (/.f64 60 (-.f64 z t)) (-.f64 x y)) (.f64 a 120))
541.0ms	(/.f64 60 (-.f64 z t))
62.0ms	(*.f64 (/.f64 60 (-.f64 z t)) (-.f64 x y))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	132	9
1	132	9
0	132	9
1	132	9
0	1	3
1	1	3
0	10389	9
1	10389	9
0	10389	9
1	10389	9
0	1	3
1	1	3
0	146	9
1	146	9
0	146	9
1	146	9
0	1	3
1	1	3

simplify105.0ms

Counts

110 → 110

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5176	1715

prune77.0ms

Filtered

81 candidates to 110 candidates (-35.8%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	110	6	116

Merged error: 0.0b

Counts

116 → 6

regimes188.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	35	19
1	35	19

end0.0ms

sample656.0ms

Algorithm

intervals

Results

319.0ms	7880×	body	80	valid
27.0ms	724×	body	80	invalid
10.0ms	56×	body	1280	valid
4.0ms	19×	body	2560	valid
4.0ms	28×	body	640	valid
1.0ms	13×	body	320	valid
0.0ms	4×	body	160	valid

Iter	Nodes	Cost
0	148	9
1	148	9
0	148	9
1	148	9
0	1	3
1	1	3
0	144	9
1	144	9
0	144	9
1	144	9
0	1	3
1	1	3
0	162	9
1	162	9
0	162	9
1	162	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	200	9
1	200	9
0	200	9
1	200	9
0	1	3
1	1	3
0	144	9
1	144	9
0	144	9
1	144	9
0	1	3
1	1	3
0	392	9
1	392	9
0	392	9
1	392	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	148	9
1	148	9
0	148	9
1	148	9
0	1	3
1	1	3
0	144	9
1	144	9
0	144	9
1	144	9
0	1	3
1	1	3
0	162	9
1	162	9
0	162	9
1	162	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	200	9
1	200	9
0	200	9
1	200	9
0	1	3
1	1	3
0	144	9
1	144	9
0	144	9
1	144	9
0	1	3
1	1	3
0	392	9
1	392	9
0	392	9
1	392	9
0	1	3
1	1	3

Details

analyze1.0s

sample24.0ms

simplify358.0ms

prune2.0ms

localize10.0ms

rewrite42.0ms

series688.0ms

simplify90.0ms

prune69.0ms

localize10.0ms

rewrite53.0ms

series193.0ms

simplify95.0ms

prune83.0ms

localize10.0ms

rewrite83.0ms

series204.0ms

simplify109.0ms

prune154.0ms

localize10.0ms

rewrite45.0ms

series672.0ms

simplify105.0ms

prune77.0ms

regimes188.0ms

bsearch0.0ms

simplify7.0ms

end0.0ms

sample656.0ms

Profiling

Iter	Nodes	Cost
0	148	9
1	148	9
0	148	9
1	148	9
0	1	3
1	1	3
0	144	9
1	144	9
0	144	9
1	144	9
0	1	3
1	1	3
0	162	9
1	162	9
0	162	9
1	162	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	200	9
1	200	9
0	200	9
1	200	9
0	1	3
1	1	3
0	144	9
1	144	9
0	144	9
1	144	9
0	1	3
1	1	3
0	392	9
1	392	9
0	392	9
1	392	9
0	1	3
1	1	3