Details

analyze4.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
62.5%	12.5%	25%	5
62.5%	6.2%	31.3%	6
65.6%	3.1%	31.3%	7
65.6%	1.6%	32.8%	8
66.4%	0.8%	32.8%	9
66.4%	0.4%	33.2%	10
66.6%	0.2%	33.2%	11
66.6%	0.1%	33.3%	12
66.6%	0%	33.3%	13
66.6%	0%	33.3%	14

sample11.0ms

Algorithm

intervals

Results

7.0ms

256×

body

valid

simplify239.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (224.0ms)

Iter	Nodes	Cost
0	5047	13

prune4.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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 → 2

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(-.f64 (.f64 2150310427208497/2251799813685248 x) (.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
0.1b	(*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64`
12×	`associate-r_binary64`
7×	`add-exp-log_binary64`
6×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64` `unswap-sqr_binary64` `unpow-prod-down_binary64` `cube-prod_binary64`
3×	`associate-l_binary64` `prod-exp_binary64`
2×	`pow1_binary64` `sqr-pow_binary64` `insert-posit16`
1×	`pow-to-exp_binary64` `sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `flip--_binary64` `pow-exp_binary64` `unpow3_binary64` `*-commutative_binary64` `cube-mult_binary64`

Counts

2 → 44

Calls

2 calls:

5.0ms	(-.f64 (.f64 2150310427208497/2251799813685248 x) (.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
8.0ms	(*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))

series306.0ms

Counts

2 → 6

Calls

2 calls:

166.0ms	(-.f64 (.f64 2150310427208497/2251799813685248 x) (.f64 4647935950575487/36028797018963968 (pow.f64 x 3)))
140.0ms	(*.f64 4647935950575487/36028797018963968 (pow.f64 x 3))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	677	9
1	677	9
0	677	9
1	677	9
0	1	3
1	1	3
0	757	9
1	757	9
0	757	9
1	757	9
0	1	3
1	1	3

simplify73.0ms

Counts

50 → 50

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5091	535

prune45.0ms

Filtered

34 candidates to 50 candidates (-47.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	46	4	50
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	47	5	52

Merged error: 0.0b

Counts

52 → 5

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(-.f64 (.f64 2150310427208497/2251799813685248 x) (.f64 (.f64 4647935950575487/36028797018963968 x) (.f64 x x)))
0.2b	(.f64 (.f64 4647935950575487/36028797018963968 x) (*.f64 x x))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
4×	`add-log-exp_binary64`
2×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `insert-posit16`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `associate-r_binary64` `associate-l_binary64` `flip--_binary64` `*-commutative_binary64`

Counts

2 → 35

Calls

2 calls:

5.0ms	(-.f64 (.f64 2150310427208497/2251799813685248 x) (.f64 (.f64 4647935950575487/36028797018963968 x) (.f64 x x)))
9.0ms	(.f64 (.f64 4647935950575487/36028797018963968 x) (*.f64 x x))

series331.0ms

Counts

2 → 6

Calls

2 calls:

174.0ms	(-.f64 (.f64 2150310427208497/2251799813685248 x) (.f64 (.f64 4647935950575487/36028797018963968 x) (.f64 x x)))
158.0ms	(.f64 (.f64 4647935950575487/36028797018963968 x) (*.f64 x x))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	713	9
1	713	9
0	713	9
1	713	9
0	1	3
1	1	3
0	785	9
1	785	9
0	785	9
1	785	9
0	1	3
1	1	3

simplify121.0ms

Counts

41 → 41

Iterations

Useful iterations: 0 (99.0ms)

Iter	Nodes	Cost
0	5250	438

prune22.0ms

Filtered

23 candidates to 41 candidates (-78.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	41	0	41
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	41	5	46

Merged error: 0.0b

Counts

46 → 5

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b

(-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x))

0.1b

(*.f64 4647935950575487/36028797018963968 (*.f64 x x))

0.1b

(*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x)

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

17×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
6×	`add-sqr-sqrt_binary64`
5×	`*-un-lft-identity_binary64` `add-log-exp_binary64` `add-cube-cbrt_binary64`
4×	`associate-r_binary64` `associate-l_binary64`
3×	`insert-posit16`
2×	`*-commutative_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `distribute-rgt-out--_binary64` `unswap-sqr_binary64` `flip--_binary64`

Counts

3 → 55

Calls

3 calls:

5.0ms

(-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x))

7.0ms

(*.f64 4647935950575487/36028797018963968 (*.f64 x x))

9.0ms

(*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x)

series485.0ms

Counts

3 → 9

Calls

3 calls:

181.0ms

(-.f64 (*.f64 2150310427208497/2251799813685248 x) (*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x))

147.0ms

(*.f64 4647935950575487/36028797018963968 (*.f64 x x))

157.0ms

(*.f64 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)) x)

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	733	9
1	733	9
0	733	9
1	733	9
0	1	3
1	1	3
0	673	9
1	673	9
0	673	9
1	673	9
0	1	3
1	1	3
0	813	9
1	813	9
0	813	9
1	813	9
0	1	3
1	1	3

simplify127.0ms

Counts

64 → 64

Iterations

Useful iterations: 0 (103.0ms)

Iter	Nodes	Cost
0	5250	622

prune35.0ms

Filtered

40 candidates to 64 candidates (-60.0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	63	1	64
Fresh	1	1	2
Picked	1	0	1
Done	0	2	2
Total	65	4	69

Merged error: 0.0b

Counts

69 → 4

localize5.0ms

Local error

Found 3 expressions with local error:

0.0b

(-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))

0.0b

(*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))

0.1b

(*.f64 4647935950575487/36028797018963968 (*.f64 x x))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

10×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`add-sqr-sqrt_binary64`
6×	`-un-lft-identity_binary64` `add-cube-cbrt_binary64` `associate-l*_binary64`
5×	`add-log-exp_binary64`
4×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `associate-r_binary64` `prod-exp_binary64`
3×	`sub-neg_binary64` `insert-posit16`
2×	`flip3--_binary64` `associate-r/_binary64` `unswap-sqr_binary64` `flip--_binary64` `-commutative_binary64`
1×	`diff-log_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64`

Counts

3 → 55

Calls

3 calls:

4.0ms

(-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))

7.0ms

(*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))

7.0ms

(*.f64 4647935950575487/36028797018963968 (*.f64 x x))

series469.0ms

Counts

3 → 9

Calls

3 calls:

155.0ms

(-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x)))

168.0ms

(*.f64 x (-.f64 2150310427208497/2251799813685248 (*.f64 4647935950575487/36028797018963968 (*.f64 x x))))

146.0ms

(*.f64 4647935950575487/36028797018963968 (*.f64 x x))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	673	9
1	673	9
0	673	9
1	673	9
0	1	3
1	1	3
0	773	9
1	773	9
0	773	9
1	773	9
0	1	3
1	1	3
0	713	9
1	713	9
0	713	9
1	713	9
0	1	3
1	1	3

simplify101.0ms

Counts

64 → 64

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	5005	708

prune35.0ms

Filtered

44 candidates to 64 candidates (-45.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	64	0	64
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	64	4	68

Merged error: 0.0b

Counts

68 → 4

regimes11.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	56	16
1	56	16

end0.0ms

sample295.0ms

Algorithm

intervals

Results

216.0ms

8000×

body

valid

Iter	Nodes	Cost
0	733	9
1	733	9
0	733	9
1	733	9
0	1	3
1	1	3
0	673	9
1	673	9
0	673	9
1	673	9
0	1	3
1	1	3
0	813	9
1	813	9
0	813	9
1	813	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	673	9
1	673	9
0	673	9
1	673	9
0	1	3
1	1	3
0	773	9
1	773	9
0	773	9
1	773	9
0	1	3
1	1	3
0	713	9
1	713	9
0	713	9
1	713	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	733	9
1	733	9
0	733	9
1	733	9
0	1	3
1	1	3
0	673	9
1	673	9
0	673	9
1	673	9
0	1	3
1	1	3
0	813	9
1	813	9
0	813	9
1	813	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	673	9
1	673	9
0	673	9
1	673	9
0	1	3
1	1	3
0	773	9
1	773	9
0	773	9
1	773	9
0	1	3
1	1	3
0	713	9
1	713	9
0	713	9
1	713	9
0	1	3
1	1	3

Details

analyze4.0ms

sample11.0ms

simplify239.0ms

prune4.0ms

localize10.0ms

rewrite14.0ms

series306.0ms

simplify73.0ms

prune45.0ms

localize7.0ms

rewrite15.0ms

series331.0ms

simplify121.0ms

prune22.0ms

localize6.0ms

rewrite23.0ms

series485.0ms

simplify127.0ms

prune35.0ms

localize5.0ms

rewrite20.0ms

series469.0ms

simplify101.0ms

prune35.0ms

regimes11.0ms

bsearch0.0ms

simplify8.0ms

end0.0ms

sample295.0ms

Profiling

Iter	Nodes	Cost
0	733	9
1	733	9
0	733	9
1	733	9
0	1	3
1	1	3
0	673	9
1	673	9
0	673	9
1	673	9
0	1	3
1	1	3
0	813	9
1	813	9
0	813	9
1	813	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	673	9
1	673	9
0	673	9
1	673	9
0	1	3
1	1	3
0	773	9
1	773	9
0	773	9
1	773	9
0	1	3
1	1	3
0	713	9
1	713	9
0	713	9
1	713	9
0	1	3
1	1	3