Details

analyze6.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	4
75%	25%	0%	5
87.5%	12.5%	0%	6
93.7%	6.2%	0%	7
96.8%	3.1%	0%	8
98.4%	1.6%	0%	9
99.2%	0.8%	0%	10
99.6%	0.4%	0%	11
99.8%	0.2%	0%	12
99.9%	0.1%	0%	13
99.9%	0.1%	0.1%	14

sample32.0ms

Algorithm

intervals

Results

10.0ms	71×	body	640	valid
7.0ms	18×	body	1280	valid
4.0ms	115×	body	80	valid
4.0ms	34×	body	320	valid
1.0ms	18×	body	160	valid

simplify29.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (15.0ms)

Iter	Nodes	Cost
0	193	22
1	193	22

prune3.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 8.9b

Counts

2 → 1

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (+.f64 x 1))
0.0b	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x))
0.0b	(/.f64 1 (-.f64 x 1))
1.6b	(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))

rewrite91.0ms

Algorithm

rewrite-expression-head

Rules

98×	`*-un-lft-identity_binary64`
58×	`add-sqr-sqrt_binary64`
56×	`times-frac_binary64`
25×	`add-cube-cbrt_binary64`
18×	`distribute-lft-out--_binary64`
17×	`distribute-lft-out_binary64`
14×	`difference-of-squares_binary64`
12×	`add-exp-log_binary64`
11×	`associate-/r*_binary64` `add-log-exp_binary64`
8×	`add-cbrt-cube_binary64` `div-inv_binary64`
6×	`pow1_binary64` `associate-/l*_binary64`
4×	`difference-of-sqr-1_binary64` `associate-/r/_binary64` `div-exp_binary64` `insert-posit16`
3×	`flip3--_binary64` `frac-add_binary64` `flip--_binary64`
2×	`flip3-+_binary64` `sub-neg_binary64` `diff-log_binary64` `1-exp_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `inv-pow_binary64` `frac-2neg_binary64` `rec-exp_binary64` `pow-flip_binary64` `flip-+_binary64` `frac-sub_binary64` `sum-log_binary64`
1×	`associate-+l+_binary64` `associate-+l-_binary64` `+-commutative_binary64`

Counts

4 → 139

Calls

4 calls:

7.0ms	(/.f64 1 (+.f64 x 1))
21.0ms	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x))
8.0ms	(/.f64 1 (-.f64 x 1))
49.0ms	(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))

series28.1s

Counts

4 → 12

Calls

4 calls:

3.9s	(/.f64 1 (+.f64 x 1))
9.7s	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x))
4.0s	(/.f64 1 (-.f64 x 1))
10.6s	(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	41453	922
1	41453	922
0	49371	922
1	49371	922
0	5247	3
0	25133	397
1	25133	397
0	25133	397
1	25133	397
0	5517	30
0	48944	337
1	48944	337
0	48944	337
1	48944	337
0	4879	21
1	4879	21
0	24608	268
1	24608	268
0	24608	268
1	24608	268
0	5699	30

simplify120.0ms

Counts

151 → 151

Iterations

Useful iterations: 0 (87.0ms)

Iter	Nodes	Cost
0	5100	2491

prune132.0ms

Filtered

91 candidates to 151 candidates (-65.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	142	9	151
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	143	9	152

Merged error: 8.1b

Counts

152 → 9

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1))
0.2b	(*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)))
5.3b	(-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1)))
17.6b	(/.f64 (-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1))) (-.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1))))

rewrite395.0ms

Algorithm

rewrite-expression-head

Rules

774×	`*-un-lft-identity_binary64`
753×	`times-frac_binary64`
635×	`add-sqr-sqrt_binary64`
260×	`distribute-lft-out--_binary64`
245×	`difference-of-squares_binary64`
150×	`add-cube-cbrt_binary64`
81×	`div-inv_binary64`
58×	`frac-sub_binary64`
52×	`difference-of-sqr-1_binary64`
37×	`flip3--_binary64` `flip--_binary64`
35×	`associate-/l*_binary64`
27×	`frac-times_binary64`
24×	`distribute-lft-out_binary64`
23×	`associate-/r*_binary64` `associate-/r/_binary64`
21×	`swap-sqr_binary64`
18×	`associate-/l/_binary64`
17×	`add-exp-log_binary64`
14×	`pow1_binary64`
13×	`associate-r_binary64` `add-cbrt-cube_binary64` `associate-l_binary64`
9×	`associate-r/_binary64` `associate-l/_binary64`
7×	`div-exp_binary64`
6×	`add-log-exp_binary64`
5×	`sub-neg_binary64`
4×	`cbrt-undiv_binary64` `insert-posit16`
2×	`pow-div_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate--l+_binary64`
1×	`pow-prod-down_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `pow-prod-up_binary64` `1-exp_binary64` `pow-plus_binary64` `unswap-sqr_binary64` `div-sub_binary64` `inv-pow_binary64` `prod-exp_binary64` `rec-exp_binary64` `pow-sqr_binary64` `pow-flip_binary64` `pow2_binary64` `*-commutative_binary64`

Counts

4 → 548

Calls

4 calls:

19.0ms	(/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1))
55.0ms	(*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)))
101.0ms	(-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1)))
154.0ms	(/.f64 (-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1))) (-.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1))))

series35.3s

Counts

4 → 12

Calls

4 calls:

4.3s	(/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1))
10.7s	(*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)))
10.6s	(-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1)))
9.7s	(/.f64 (-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1))) (-.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1))))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	51332	2189
0	51332	2189
0	1	3
1	1	3
0	45186	1483
1	45186	1483
0	45186	1483
1	45186	1483
0	1	3
1	1	3
0	41401	780
1	41401	780
0	39166	780
1	39166	780
0	5140	15
0	20221	948
1	20221	948
0	20221	948
1	20221	948
0	5604	15

simplify284.0ms

Counts

560 → 560

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	5164	27374

prune1.4s

Filtered

218 candidates to 560 candidates (-156.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	551	9	560
Fresh	7	1	8
Picked	1	0	1
Done	0	0	0
Total	559	10	569

Merged error: 8.1b

Counts

569 → 10

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)))
5.3b	(-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1)))
17.6b	(/.f64 (-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1))) (-.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1))))
25.8b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1))) (-.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))) 3))

rewrite576.0ms

Algorithm

rewrite-expression-head

Rules

1225×	`*-un-lft-identity_binary64`
1036×	`times-frac_binary64`
730×	`add-sqr-sqrt_binary64`
528×	`distribute-lft-out--_binary64`
349×	`difference-of-squares_binary64`
280×	`cbrt-prod_binary64`
186×	`div-inv_binary64`
137×	`unpow-prod-down_binary64` `cube-prod_binary64`
85×	`add-cube-cbrt_binary64`
66×	`frac-sub_binary64`
56×	`distribute-lft-out_binary64`
32×	`flip3--_binary64` `flip--_binary64`
27×	`frac-times_binary64`
21×	`swap-sqr_binary64`
17×	`associate-/l/_binary64`
16×	`associate-/r*_binary64`
15×	`associate-/r/_binary64`
13×	`associate-r_binary64` `associate-l_binary64`
11×	`pow1_binary64`
9×	`associate-r/_binary64` `associate-l/_binary64`
8×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-/l*_binary64`
6×	`add-log-exp_binary64`
5×	`sub-neg_binary64`
4×	`insert-posit16`
2×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64` `associate--l+_binary64`
1×	`cbrt-div_binary64` `pow-prod-down_binary64` `rem-cbrt-cube_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `pow-prod-up_binary64` `cbrt-undiv_binary64` `pow1/3_binary64` `sqr-pow_binary64` `pow-plus_binary64` `cube-div_binary64` `unswap-sqr_binary64` `div-sub_binary64` `clear-num_binary64` `prod-exp_binary64` `frac-2neg_binary64` `div-exp_binary64` `pow-sqr_binary64` `pow2_binary64` `unpow3_binary64` `*-commutative_binary64` `cube-mult_binary64`

Counts

4 → 594

Calls

4 calls:

55.0ms	(*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)))
98.0ms	(-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1)))
154.0ms	(/.f64 (-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1))) (-.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1))))
177.0ms	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1))) (-.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))) 3))

series30.4s

Counts

4 → 12

Calls

4 calls:

10.7s	(*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)))
10.6s	(-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1)))
8.8s	(/.f64 (-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1))) (-.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1))))
334.0ms	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1))) (-.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))) 3))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	3049	2234
1	3049	2234
0	3049	2234
1	3049	2234
0	1	3
1	1	3
0	51332	2189
0	51332	2189
0	1	3
1	1	3
0	45186	1483
1	45186	1483
0	45186	1483
1	45186	1483
0	1	3
1	1	3
0	39166	780
1	39166	780
0	41441	780
1	41441	780
0	5140	15

simplify421.0ms

Counts

606 → 606

Iterations

Useful iterations: 0 (93.0ms)

Iter	Nodes	Cost
0	5301	52363

prune1.6s

Filtered

205 candidates to 606 candidates (-195.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	601	5	606
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	605	11	616

Merged error: 8.1b

Counts

616 → 11

localize20.0ms

Local error

Found 4 expressions with local error:

5.3b	(-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1)))
17.6b	(/.f64 (-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1))) (-.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1))))
25.8b	(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1))) (-.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))) 3)) 3))
25.8b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1))) (-.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))) 3))

rewrite880.0ms

Algorithm

rewrite-expression-head

Rules

2580×	`*-un-lft-identity_binary64`
2264×	`times-frac_binary64`
1497×	`add-sqr-sqrt_binary64`
1412×	`cbrt-prod_binary64`
1140×	`distribute-lft-out--_binary64`
741×	`difference-of-squares_binary64`
694×	`unpow-prod-down_binary64` `cube-prod_binary64`
406×	`div-inv_binary64`
186×	`add-cube-cbrt_binary64`
114×	`distribute-lft-out_binary64`
74×	`frac-sub_binary64`
35×	`associate-/r/_binary64`
32×	`flip3--_binary64` `flip--_binary64`
18×	`frac-times_binary64`
17×	`associate-/l/_binary64`
16×	`associate-/r*_binary64`
8×	`associate-/l*_binary64`
6×	`add-log-exp_binary64` `associate-r/_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l/_binary64`
4×	`pow1_binary64` `sqr-pow_binary64` `insert-posit16` `unpow3_binary64` `cube-mult_binary64`
3×	`cbrt-div_binary64` `sub-neg_binary64` `cube-div_binary64`
2×	`rem-cbrt-cube_binary64` `pow1/3_binary64` `associate--l+_binary64`
1×	`diff-log_binary64` `cbrt-undiv_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-exp_binary64`

Counts

4 → 1096

Calls

4 calls:

96.0ms	(-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1)))
155.0ms	(/.f64 (-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1))) (-.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1))))
238.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1))) (-.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))) 3)) 3))
173.0ms	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1))) (-.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))) 3))

series19.5s

Counts

4 → 12

Calls

4 calls:

10.5s	(-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1)))
8.4s	(/.f64 (-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1))) (-.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1))))
323.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1))) (-.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))) 3)) 3))
313.0ms	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x))) (/.f64 (/.f64 1 (-.f64 x 1)) (-.f64 x 1))) (-.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))) 3))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	3049	2234
1	3049	2234
0	3049	2234
1	3049	2234
0	1	3
1	1	3
0	3067	2279
1	3067	2279
0	3067	2279
1	3067	2279
0	1	3
1	1	3
0	51332	2189
0	51332	2189
0	1	3
1	1	3
0	48496	1483
1	48496	1483
0	46780	1483
1	46780	1483
0	1	3
1	1	3

simplify788.0ms

Counts

1108 → 1108

Iterations

Useful iterations: 0 (107.0ms)

Iter	Nodes	Cost
0	5238	108878

prune1.5s

Filtered

216 candidates to 1108 candidates (-413.0%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	1103	5	1108
Fresh	4	6	10
Picked	1	0	1
Done	0	0	0
Total	1108	11	1119

Merged error: 8.1b

Counts

1119 → 11

regimes90.0ms

Accuracy

99.1% (0.2b remaining)

Error of 9.8b against oracle of 9.6b and baseline of 31.4b

bsearch66.0ms

Steps

Iters	Range		Point
7	8.246886082500542e+64	5.11352307254126e+66	1.1103717260623167e+65
5	-1.782366647992772e+91	-5.684267809865836e+90	-1.7391179435211844e+91

simplify10.0ms

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	145	198
1	145	198

end0.0ms

sample731.0ms

Algorithm

intervals

Results

256.0ms	1891×	body	640	valid
151.0ms	4093×	body	80	valid
96.0ms	951×	body	320	valid
94.0ms	560×	body	1280	valid
38.0ms	505×	body	160	valid
0.0ms	1×	body	80	invalid

Details

analyze6.0ms

sample32.0ms

simplify29.0ms

prune3.0ms

localize9.0ms

rewrite91.0ms

series28.1s

simplify120.0ms

prune132.0ms

localize14.0ms

rewrite395.0ms

series35.3s

simplify284.0ms

prune1.4s

localize17.0ms

rewrite576.0ms

series30.4s

simplify421.0ms

prune1.6s

localize20.0ms

rewrite880.0ms

series19.5s

simplify788.0ms

prune1.5s

regimes90.0ms

bsearch66.0ms

simplify10.0ms

end0.0ms

sample731.0ms

Profiling