Details

analyze480.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	75%	0%	3
25%	62.5%	12.5%	4
25%	56.2%	18.8%	5
28.1%	50%	21.9%	6
29.7%	46.9%	23.5%	7
30.5%	45.3%	24.3%	8
30.8%	44.9%	24.3%	9
31.2%	44.5%	24.3%	10
31.3%	44.3%	24.4%	11
31.4%	44.3%	24.4%	12
31.4%	44%	24.5%	13
31.5%	43.8%	24.8%	14

sample57.0ms

Algorithm

intervals

Results

23.0ms	62×	body	1280	valid
14.0ms	61×	body	640	valid
5.0ms	27×	body	320	valid
4.0ms	91×	body	80	valid
1.0ms	15×	body	160	valid

simplify197.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5950	8

prune7.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 0.0b

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(sqrt.f64 (+.f64 1 (exp.f64 x)))
0.0b	(+.f64 1 (exp.f64 x))

rewrite210.0ms

Algorithm

rewrite-expression-head

Rules

7×	`*-un-lft-identity_binary64`
4×	`add-log-exp_binary64` `add-sqr-sqrt_binary64` `sqrt-prod_binary64`
3×	`pow1_binary64` `add-cube-cbrt_binary64`
2×	`flip3-+_binary64` `distribute-lft-out_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `insert-posit16` `flip-+_binary64` `sqrt-div_binary64`
1×	`pow1/2_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `+-commutative_binary64` `sum-log_binary64`

Counts

2 → 30

Calls

2 calls:

4.0ms	(sqrt.f64 (+.f64 1 (exp.f64 x)))
204.0ms	(+.f64 1 (exp.f64 x))

series616.0ms

Counts

2 → 6

Calls

2 calls:

310.0ms	(sqrt.f64 (+.f64 1 (exp.f64 x)))
306.0ms	(+.f64 1 (exp.f64 x))

Iterations

Useful iterations: 0 (8.0ms)

Iter	Nodes	Cost
0	221	171
1	221	171
0	7	9
1	7	9
0	221	171
1	221	171
0	7	9
1	7	9
0	5015	15
0	331	546
1	331	546
0	10	9
1	10	9
0	331	546
1	331	546
0	10	9
1	10	9
0	4947	36
1	4947	36

simplify102.0ms

Counts

36 → 36

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	5201	376

prune24.0ms

Filtered

29 candidates to 36 candidates (-24.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	33	3	36
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	33	4	37

Merged error: 0b

Counts

37 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(pow.f64 (exp.f64 x) 2)
0.0b	(pow.f64 (exp.f64 x) 3)
0.3b	(/.f64 (+.f64 1 (pow.f64 (exp.f64 x) 3)) (+.f64 1 (-.f64 (pow.f64 (exp.f64 x) 2) (exp.f64 x))))
4.1b	(-.f64 (pow.f64 (exp.f64 x) 2) (exp.f64 x))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

62×	`*-un-lft-identity_binary64`
28×	`add-sqr-sqrt_binary64`
22×	`add-cube-cbrt_binary64`
20×	`times-frac_binary64`
16×	`distribute-lft-out_binary64`
8×	`pow-pow_binary64`
7×	`add-cbrt-cube_binary64` `unpow-prod-down_binary64`
6×	`pow-unpow_binary64` `add-log-exp_binary64` `pow1_binary64` `add-exp-log_binary64` `distribute-lft-out--_binary64` `exp-prod_binary64`
5×	`associate-/r*_binary64`
4×	`difference-of-squares_binary64` `associate-/l*_binary64` `insert-posit16`
3×	`unpow2_binary64` `sqr-pow_binary64` `cube-prod_binary64`
2×	`pow-to-exp_binary64` `flip3-+_binary64` `associate-/l/_binary64` `associate-/r/_binary64` `flip-+_binary64` `pow-exp_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `distribute-rgt-out--_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `rem-cube-cbrt_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `flip--_binary64` `unpow3_binary64` `cube-mult_binary64`

Counts

4 → 113

Calls

4 calls:

4.0ms	(pow.f64 (exp.f64 x) 2)
4.0ms	(pow.f64 (exp.f64 x) 3)
22.0ms	(/.f64 (+.f64 1 (pow.f64 (exp.f64 x) 3)) (+.f64 1 (-.f64 (pow.f64 (exp.f64 x) 2) (exp.f64 x))))
9.0ms	(-.f64 (pow.f64 (exp.f64 x) 2) (exp.f64 x))

series1.3s

Counts

4 → 12

Calls

4 calls:

219.0ms	(pow.f64 (exp.f64 x) 2)
220.0ms	(pow.f64 (exp.f64 x) 3)
667.0ms	(/.f64 (+.f64 1 (pow.f64 (exp.f64 x) 3)) (+.f64 1 (-.f64 (pow.f64 (exp.f64 x) 2) (exp.f64 x))))
212.0ms	(-.f64 (pow.f64 (exp.f64 x) 2) (exp.f64 x))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	448	942
1	448	942
0	11	9
1	11	9
0	448	942
1	448	942
0	11	9
1	11	9
0	1	3
1	1	3
0	871	1662
1	871	1662
0	4913	1257
1	4913	1257
0	871	1662
1	871	1662
0	4913	1257
1	4913	1257
0	4905	143
1	4905	143
0	417	798
1	417	798
0	13	9
1	13	9
0	417	798
1	417	798
0	13	9
1	13	9
0	1	3
1	1	3
0	416	798
1	416	798
0	11	9
1	11	9
0	416	798
1	416	798
0	11	9
1	11	9
0	1	3
1	1	3

simplify109.0ms

Counts

125 → 125

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5102	2387

prune107.0ms

Filtered

79 candidates to 125 candidates (-58.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	125	0	125
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	125	4	129

Merged error: 0b

Counts

129 → 4

localize6.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))
0.0b	(+.f64 1 (exp.f64 x))
0.0b	(+.f64 1 (exp.f64 x))
0.6b	(*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))) (sqrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

94×	`sqrt-prod_binary64`
50×	`add-sqr-sqrt_binary64`
38×	`*-un-lft-identity_binary64`
36×	`sqrt-pow1_binary64`
29×	`pow1_binary64`
28×	`sqrt-div_binary64`
18×	`pow1/2_binary64` `swap-sqr_binary64` `add-cube-cbrt_binary64`
10×	`associate-r_binary64` `associate-l_binary64`
9×	`flip3-+_binary64` `distribute-lft-out_binary64` `pow-prod-up_binary64` `unswap-sqr_binary64` `flip-+_binary64`
8×	`add-log-exp_binary64`
6×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
5×	`pow-prod-down_binary64` `pow-sqr_binary64`
4×	`insert-posit16` `frac-times_binary64`
2×	`associate-r/_binary64` `rem-sqrt-square_binary64` `+-commutative_binary64` `associate-l/_binary64` `sum-log_binary64`
1×	`cbrt-unprod_binary64` `rem-square-sqrt_binary64` `pow-plus_binary64` `sqrt-unprod_binary64` `prod-exp_binary64` `pow2_binary64` `*-commutative_binary64`

Counts

4 → 138

Calls

4 calls:

5.0ms	(sqrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))
4.0ms	(+.f64 1 (exp.f64 x))
4.0ms	(+.f64 1 (exp.f64 x))
19.0ms	(*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))) (sqrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))))

series1.6s

Counts

4 → 12

Calls

4 calls:

436.0ms	(sqrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))
295.0ms	(+.f64 1 (exp.f64 x))
297.0ms	(+.f64 1 (exp.f64 x))
542.0ms	(*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))) (sqrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))))

Iterations

Useful iterations: 0 (8.0ms)

Iter	Nodes	Cost
0	512	1435
1	512	1435
0	4806	905
1	4806	905
0	512	1435
1	512	1435
0	4806	905
1	4806	905
0	5110	83
0	221	171
1	221	171
0	7	9
1	7	9
0	221	171
1	221	171
0	7	9
1	7	9
0	5015	15
0	221	171
1	221	171
0	7	9
1	7	9
0	221	171
1	221	171
0	7	9
1	7	9
0	5015	15
0	441	963
1	441	963
0	4684	593
1	4684	593
0	441	963
1	441	963
0	4684	593
1	4684	593
0	4934	112
1	4934	112

simplify184.0ms

Counts

150 → 150

Iterations

Useful iterations: 0 (148.0ms)

Iter	Nodes	Cost
0	4894	1964
1	4894	1964

prune81.0ms

Filtered

77 candidates to 150 candidates (-94.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	150	0	150
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	150	4	154

Merged error: 0b

Counts

154 → 4

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (+.f64 1 (exp.f64 x)))
0.0b	(+.f64 1 (exp.f64 x))
0.7b	(pow.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))) 3)
0.7b	(cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))) 3))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

27×	`*-un-lft-identity_binary64`
20×	`sqrt-prod_binary64` `cbrt-prod_binary64`
16×	`add-sqr-sqrt_binary64`
15×	`add-cube-cbrt_binary64`
14×	`unpow-prod-down_binary64` `cube-prod_binary64`
7×	`pow1_binary64`
6×	`add-log-exp_binary64` `distribute-lft-out_binary64` `sqrt-div_binary64`
5×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
4×	`flip3-+_binary64` `cube-div_binary64` `insert-posit16` `flip-+_binary64`
3×	`pow-unpow_binary64` `pow-pow_binary64`
2×	`cbrt-div_binary64` `pow1/2_binary64` `sqr-pow_binary64` `sqrt-pow1_binary64` `unpow3_binary64` `cube-mult_binary64`
1×	`pow-to-exp_binary64` `rem-cbrt-cube_binary64` `sqrt-pow2_binary64` `pow1/3_binary64` `rem-sqrt-square_binary64` `rem-cube-cbrt_binary64` `+-commutative_binary64` `pow-exp_binary64` `sum-log_binary64`

Counts

4 → 99

Calls

4 calls:

4.0ms	(sqrt.f64 (+.f64 1 (exp.f64 x)))
4.0ms	(+.f64 1 (exp.f64 x))
7.0ms	(pow.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))) 3)
7.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))) 3))

series1.7s

Counts

4 → 12

Calls

4 calls:

313.0ms	(sqrt.f64 (+.f64 1 (exp.f64 x)))
298.0ms	(+.f64 1 (exp.f64 x))
528.0ms	(pow.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))) 3)
537.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))) 3))

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	73	1693
1	73	1693
0	5002	1043
0	73	1693
1	73	1693
0	5002	1043
0	4893	60
1	4893	60
0	554	1156
1	554	1156
0	4955	840
1	4955	840
0	554	1156
1	554	1156
0	4955	840
1	4955	840
0	4895	92
1	4895	92
0	221	171
1	221	171
0	7	9
1	7	9
0	221	171
1	221	171
0	7	9
1	7	9
0	5015	15
0	331	546
1	331	546
0	10	9
1	10	9
0	331	546
1	331	546
0	10	9
1	10	9
0	4947	36
1	4947	36

simplify114.0ms

Counts

111 → 111

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	4911	1450
1	4911	1450

prune57.0ms

Filtered

65 candidates to 111 candidates (-70.8%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	111	0	111
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	111	4	115

Merged error: 0b

Counts

115 → 4

regimes13.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	9	8
1	9	8

end0.0ms

sample1.6s

Algorithm

intervals

Results

827.0ms	2293×	body	1280	valid
380.0ms	1664×	body	640	valid
125.0ms	840×	body	320	valid
122.0ms	2813×	body	80	valid
38.0ms	390×	body	160	valid
0.0ms	1×	body	80	invalid

Details

analyze480.0ms

sample57.0ms

simplify197.0ms

prune7.0ms

localize5.0ms

rewrite210.0ms

series616.0ms

simplify102.0ms

prune24.0ms

localize10.0ms

rewrite44.0ms

series1.3s

simplify109.0ms

prune107.0ms

localize6.0ms

rewrite40.0ms

series1.6s

simplify184.0ms

prune81.0ms

localize8.0ms

rewrite27.0ms

series1.7s

simplify114.0ms

prune57.0ms

regimes13.0ms

bsearch0.0ms

simplify5.0ms

end0.0ms

sample1.6s

Profiling