Details

analyze8.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
50%	12.5%	37.5%	5
50%	6.2%	43.8%	6
50%	3.1%	46.9%	7
50%	1.6%	48.5%	8
50%	0.8%	49.2%	9
50%	0.4%	49.6%	10
50.2%	0.2%	49.6%	11
50.2%	0.1%	49.7%	12
50.2%	0%	49.8%	13
50.2%	0%	49.8%	14

sample13.0ms

Algorithm

intervals

Results

8.0ms

256×

body

valid

simplify139.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (120.0ms)

Iter	Nodes	Cost
0	4894	9
1	4894	9

prune3.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 1 expressions with local error:

0.0b	(exp.f64 (-.f64 (*.f64 x x) 1))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

6×	`exp-prod_binary64`
4×	`add-log-exp_binary64`
3×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64`
2×	`add-cube-cbrt_binary64` `rem-exp-log_binary64` `difference-of-squares_binary64`
1×	`sub-neg_binary64` `pow1_binary64` `diff-log_binary64` `difference-of-sqr-1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `exp-diff_binary64` `exp-sum_binary64` `insert-posit16`

Counts

1 → 18

Calls

1 calls:

7.0ms

(exp.f64 (-.f64 (*.f64 x x) 1))

series149.0ms

Counts

1 → 3

Calls

1 calls:

149.0ms

(exp.f64 (-.f64 (*.f64 x x) 1))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	664	9
1	664	9
0	664	9
1	664	9
0	1	3
1	1	3

simplify117.0ms

Counts

21 → 21

Iterations

Useful iterations: 0 (96.0ms)

Iter	Nodes	Cost
0	4906	171
1	4906	171

prune16.0ms

Filtered

16 candidates to 21 candidates (-31.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	19	2	21
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	19	3	22

Merged error: 0.0b

Counts

22 → 3

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(pow.f64 E.f64 (-.f64 (*.f64 x x) 1))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

6×	`pow-unpow_binary64`
4×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64`
3×	`add-cube-cbrt_binary64` `unpow-prod-down_binary64`
2×	`pow1_binary64` `add-exp-log_binary64` `difference-of-squares_binary64` `pow-exp_binary64`
1×	`pow-to-exp_binary64` `add-log-exp_binary64` `sub-neg_binary64` `pow-pow_binary64` `difference-of-sqr-1_binary64` `sqr-pow_binary64` `unpow-prod-up_binary64` `add-cbrt-cube_binary64` `pow-sub_binary64` `e-exp-1_binary64` `insert-posit16`

Counts

1 → 24

Calls

1 calls:

6.0ms

(pow.f64 E.f64 (-.f64 (*.f64 x x) 1))

series189.0ms

Counts

1 → 3

Calls

1 calls:

189.0ms

(pow.f64 E.f64 (-.f64 (*.f64 x x) 1))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	923	9
1	923	9
0	923	9
1	923	9
0	1	3
1	1	3

simplify89.0ms

Counts

27 → 27

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4924	327
1	4924	327

prune15.0ms

Filtered

17 candidates to 27 candidates (-58.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	27	0	27
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	27	3	30

Merged error: 0.0b

Counts

30 → 3

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(exp.f64 (+.f64 x 1))
0.0b	(pow.f64 (exp.f64 (+.f64 x 1)) (-.f64 x 1))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

13×	`*-un-lft-identity_binary64`
10×	`add-sqr-sqrt_binary64`
8×	`exp-prod_binary64`
7×	`pow-unpow_binary64`
6×	`add-cube-cbrt_binary64`
5×	`add-log-exp_binary64` `pow-pow_binary64`
4×	`unpow-prod-down_binary64`
3×	`pow1_binary64`
2×	`distribute-lft-out_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `rem-exp-log_binary64` `exp-sum_binary64` `difference-of-squares_binary64` `insert-posit16`
1×	`pow-to-exp_binary64` `sub-neg_binary64` `difference-of-sqr-1_binary64` `sqr-pow_binary64` `unpow-prod-up_binary64` `pow-sub_binary64` `distribute-lft-out--_binary64` `pow-exp_binary64` `sum-log_binary64`

Counts

2 → 44

Calls

2 calls:

5.0ms	(exp.f64 (+.f64 x 1))
10.0ms	(pow.f64 (exp.f64 (+.f64 x 1)) (-.f64 x 1))

series972.0ms

Counts

2 → 6

Calls

2 calls:

328.0ms	(exp.f64 (+.f64 x 1))
644.0ms	(pow.f64 (exp.f64 (+.f64 x 1)) (-.f64 x 1))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	8563	9
1	8563	9
0	8563	9
1	8563	9
0	1	3
1	1	3
0	3985	9
1	3985	9
0	3985	9
1	3985	9
0	1	3
1	1	3

simplify106.0ms

Counts

50 → 50

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	5131	549

prune32.0ms

Filtered

35 candidates to 50 candidates (-42.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	49	1	50
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	50	3	53

Merged error: 0.0b

Counts

53 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

1.0b	(*.f64 (cbrt.f64 (exp.f64 (+.f64 x 1))) (cbrt.f64 (exp.f64 (+.f64 x 1))))
1.5b	(cbrt.f64 (exp.f64 (+.f64 x 1)))
1.5b	(cbrt.f64 (exp.f64 (+.f64 x 1)))
1.5b	(cbrt.f64 (exp.f64 (+.f64 x 1)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

32×	`cbrt-prod_binary64`
23×	`add-sqr-sqrt_binary64`
15×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
11×	`pow1_binary64`
9×	`pow1/3_binary64`
7×	`swap-sqr_binary64` `associate-r_binary64` `associate-l_binary64` `exp-sum_binary64`
6×	`add-exp-log_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64` `unswap-sqr_binary64` `insert-posit16`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `pow-sqr_binary64`
1×	`cbrt-unprod_binary64` `pow-plus_binary64` `prod-exp_binary64` `pow2_binary64` `*-commutative_binary64`

Counts

4 → 83

Calls

4 calls:

14.0ms	(*.f64 (cbrt.f64 (exp.f64 (+.f64 x 1))) (cbrt.f64 (exp.f64 (+.f64 x 1))))
5.0ms	(cbrt.f64 (exp.f64 (+.f64 x 1)))
5.0ms	(cbrt.f64 (exp.f64 (+.f64 x 1)))
6.0ms	(cbrt.f64 (exp.f64 (+.f64 x 1)))

series239.0ms

Counts

4 → 12

Calls

4 calls:

81.0ms	(*.f64 (cbrt.f64 (exp.f64 (+.f64 x 1))) (cbrt.f64 (exp.f64 (+.f64 x 1))))
53.0ms	(cbrt.f64 (exp.f64 (+.f64 x 1)))
51.0ms	(cbrt.f64 (exp.f64 (+.f64 x 1)))
54.0ms	(cbrt.f64 (exp.f64 (+.f64 x 1)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	32	9
1	32	9
0	32	9
1	32	9
0	1	3
1	1	3
0	32	9
1	32	9
0	32	9
1	32	9
0	1	3
1	1	3
0	32	9
1	32	9
0	32	9
1	32	9
0	1	3
1	1	3
0	573	9
1	573	9
0	573	9
1	573	9
0	1	3
1	1	3

simplify115.0ms

Counts

95 → 95

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	4970	1082
1	4970	1082

prune101.0ms

Filtered

65 candidates to 95 candidates (-46.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	95	0	95
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	95	3	98

Merged error: 0.0b

Counts

98 → 3

regimes17.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	17	9
1	17	9

end0.0ms

sample342.0ms

Algorithm

intervals

Results

239.0ms	8000×	body	80	valid
0.0ms	2×	body	80	invalid

Iter	Nodes	Cost
0	32	9
1	32	9
0	32	9
1	32	9
0	1	3
1	1	3
0	32	9
1	32	9
0	32	9
1	32	9
0	1	3
1	1	3
0	32	9
1	32	9
0	32	9
1	32	9
0	1	3
1	1	3
0	573	9
1	573	9
0	573	9
1	573	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	32	9
1	32	9
0	32	9
1	32	9
0	1	3
1	1	3
0	32	9
1	32	9
0	32	9
1	32	9
0	1	3
1	1	3
0	32	9
1	32	9
0	32	9
1	32	9
0	1	3
1	1	3
0	573	9
1	573	9
0	573	9
1	573	9
0	1	3
1	1	3

Details

analyze8.0ms

sample13.0ms

simplify139.0ms

prune3.0ms

localize5.0ms

rewrite7.0ms

series149.0ms

simplify117.0ms

prune16.0ms

localize5.0ms

rewrite7.0ms

series189.0ms

simplify89.0ms

prune15.0ms

localize6.0ms

rewrite16.0ms

series972.0ms

simplify106.0ms

prune32.0ms

localize11.0ms

rewrite33.0ms

series239.0ms

simplify115.0ms

prune101.0ms

regimes17.0ms

bsearch0.0ms

simplify7.0ms

end0.0ms

sample342.0ms

Profiling

Iter	Nodes	Cost
0	32	9
1	32	9
0	32	9
1	32	9
0	1	3
1	1	3
0	32	9
1	32	9
0	32	9
1	32	9
0	1	3
1	1	3
0	32	9
1	32	9
0	32	9
1	32	9
0	1	3
1	1	3
0	573	9
1	573	9
0	573	9
1	573	9
0	1	3
1	1	3