Details

sample25.0ms

Algorithm

intervals

Results

10.0ms

256×

body

valid

simplify24.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	6	8
1	13	8
2	16	8
3	20	8
4	26	8
5	31	8
6	32	8
done	32	8

prune4.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.0b

Counts

2 → 1

localize8.0ms

Local error

Found 1 expressions with local error:

0.0b	(/ (neg (+ f n)) (- f n))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

82×	`*-un-lft-identity`
60×	`times-frac`
58×	`add-sqr-sqrt`
32×	`add-cube-cbrt`
24×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
13×	`distribute-lft-out--` `difference-of-squares`
12×	`distribute-lft-out` `associate-/l*`
6×	`neg-mul-1`
5×	`associate-/r*`
3×	`add-exp-log` `add-cbrt-cube`
2×	`associate-/r/` `associate-/l/` `distribute-neg-frac`
1×	`pow1` `cbrt-undiv` `neg-sub0` `flip3--` `frac-2neg` `flip3-+` `div-sub` `distribute-frac-neg` `div-exp` `clear-num` `flip--` `flip-+` `div-inv` `add-log-exp`

Counts

1 → 95

Calls

1 calls:

12.0ms

(/ (neg (+ f n)) (- f n))

series20.0ms

Counts

1 → 3

Calls

1 calls:

20.0ms

(/ (neg (+ f n)) (- f n))

simplify564.0ms

Counts

98 → 98

Iterations

Useful iterations: 3 (214.0ms)

Iter	Nodes	Cost
0	133	1451
1	293	1378
2	737	1348
3	2118	1340
done	5001	1340

prune89.0ms

Filtered

60 candidates to 98 candidates (-63.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	94	4	98
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	95	4	99

Merged error: 0.0b

Counts

99 → 4

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
0.0b	(/ (neg (+ f n)) (- f n))
0.0b	(pow (/ (neg (+ f n)) (- f n)) 3)

rewrite78.0ms

Algorithm

rewrite-expression-head

Rules

374×	`*-un-lft-identity`
300×	`times-frac`
270×	`add-sqr-sqrt`
148×	`add-cube-cbrt`
138×	`cbrt-prod`
132×	`unpow-prod-down` `cube-prod`
104×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
61×	`distribute-lft-out--` `difference-of-squares`
52×	`distribute-lft-out`
26×	`neg-mul-1`
12×	`associate-/l*`
10×	`associate-/r/`
8×	`add-exp-log` `add-cbrt-cube`
5×	`flip3--` `associate-/r*` `flip--` `div-inv`
4×	`pow1`
3×	`pow-unpow` `add-log-exp`
2×	`cbrt-undiv` `cube-div` `cube-mult` `unpow3` `distribute-frac-neg` `div-exp` `pow-exp` `associate-/l/` `distribute-neg-frac` `rem-cube-cbrt` `sqr-pow`
1×	`neg-sub0` `pow-to-exp` `cbrt-div` `pow-pow` `frac-2neg` `flip3-+` `pow1/3` `div-sub` `cube-neg` `clear-num` `rem-cbrt-cube` `flip-+`

Counts

3 → 396

Calls

3 calls:

20.0ms	(cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
14.0ms	(/ (neg (+ f n)) (- f n))
16.0ms	(pow (/ (neg (+ f n)) (- f n)) 3)

series49.0ms

Counts

3 → 9

Calls

3 calls:

17.0ms	(cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
15.0ms	(/ (neg (+ f n)) (- f n))
16.0ms	(pow (/ (neg (+ f n)) (- f n)) 3)

simplify787.0ms

Counts

405 → 405

Iterations

Useful iterations: done (772.0ms)

Iter	Nodes	Cost
0	318	8107
1	970	6819
2	3631	6336
done	5000	6258

prune235.0ms

Filtered

149 candidates to 405 candidates (-171.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	404	1	405
Fresh	1	2	3
Picked	0	1	1
Done	0	0	0
Total	405	4	409

Merged error: 0b

Counts

409 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ -1 (/ (- f n) (+ f n)))
0.0b	(cbrt (pow (/ -1 (/ (- f n) (+ f n))) 3))
0.0b	(/ (- f n) (+ f n))
0.0b	(pow (/ -1 (/ (- f n) (+ f n))) 3)

rewrite120.0ms

Algorithm

rewrite-expression-head

Rules

730×	`times-frac`
622×	`*-un-lft-identity`
450×	`add-sqr-sqrt`
312×	`add-cube-cbrt`
172×	`cbrt-prod`
166×	`unpow-prod-down` `cube-prod`
86×	`distribute-lft-out`
69×	`distribute-lft-out--` `difference-of-squares`
39×	`associate-/r/`
30×	`associate-/r*`
22×	`div-inv`
17×	`add-exp-log` `flip3-+` `add-cbrt-cube` `flip-+`
8×	`associate-/l*`
7×	`cbrt-undiv` `div-exp`
5×	`pow1`
4×	`add-log-exp`
3×	`pow-unpow` `pow-exp` `rem-cube-cbrt`
2×	`cube-div` `cube-mult` `frac-2neg` `unpow3` `clear-num` `associate-/l/` `sqr-pow`
1×	`pow-to-exp` `cbrt-div` `flip3--` `pow-pow` `pow1/3` `div-sub` `flip--` `rem-cbrt-cube`

Counts

4 → 538

Calls

4 calls:

12.0ms	(/ -1 (/ (- f n) (+ f n)))
28.0ms	(cbrt (pow (/ -1 (/ (- f n) (+ f n))) 3))
9.0ms	(/ (- f n) (+ f n))
21.0ms	(pow (/ -1 (/ (- f n) (+ f n))) 3)

series51.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(/ -1 (/ (- f n) (+ f n)))
16.0ms	(cbrt (pow (/ -1 (/ (- f n) (+ f n))) 3))
9.0ms	(/ (- f n) (+ f n))
16.0ms	(pow (/ -1 (/ (- f n) (+ f n))) 3)

simplify438.0ms

Counts

550 → 550

Iterations

Useful iterations: done (417.0ms)

Iter	Nodes	Cost
0	470	12689
1	1477	10746
done	5000	9814

prune356.0ms

Filtered

199 candidates to 550 candidates (-176.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	550	0	550
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	550	4	554

Merged error: 0b

Counts

554 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (neg (+ f n)))
0.5b	(cbrt (neg (+ f n)))
0.5b	(* (cbrt (neg (+ f n))) (cbrt (neg (+ f n))))
0.5b	(* (cbrt (- f n)) (cbrt (- f n)))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

120×	`cbrt-prod`
94×	`*-un-lft-identity`
58×	`add-sqr-sqrt`
34×	`add-cube-cbrt`
33×	`swap-sqr`
32×	`distribute-rgt-neg-in`
28×	`distribute-lft-neg-in` `cbrt-div`
23×	`associate-r` `associate-l`
18×	`pow1` `distribute-lft-out`
16×	`distribute-neg-frac`
14×	`pow1/3`
8×	`add-exp-log` `frac-times` `flip3-+` `flip-+` `unswap-sqr`
6×	`neg-mul-1` `flip3--` `flip--` `distribute-lft-out--`
4×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up` `add-cbrt-cube` `add-log-exp` `difference-of-squares`
2×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 183

Calls

4 calls:

6.0ms	(cbrt (neg (+ f n)))
4.0ms	(cbrt (neg (+ f n)))
17.0ms	(* (cbrt (neg (+ f n))) (cbrt (neg (+ f n))))
12.0ms	(* (cbrt (- f n)) (cbrt (- f n)))

series163.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(cbrt (neg (+ f n)))
40.0ms	(cbrt (neg (+ f n)))
48.0ms	(* (cbrt (neg (+ f n))) (cbrt (neg (+ f n))))
38.0ms	(* (cbrt (- f n)) (cbrt (- f n)))

simplify942.0ms

Counts

195 → 195

Iterations

Useful iterations: 3 (417.0ms)

Iter	Nodes	Cost
0	240	2828
1	463	2602
2	1476	2422
3	4666	2198
done	5000	2198

prune397.0ms

Filtered

123 candidates to 195 candidates (-58.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	195	0	195
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	195	4	199

Merged error: 0b

Counts

199 → 4

regimes124.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	11
1	15	11
2	16	11
done	16	11

end0.0ms

sample457.0ms

Algorithm

intervals

Results

220.0ms

8000×

body

valid

Details

sample25.0ms

simplify24.0ms

prune4.0ms

localize8.0ms

rewrite27.0ms

series20.0ms

simplify564.0ms

prune89.0ms

localize9.0ms

rewrite78.0ms

series49.0ms

simplify787.0ms

prune235.0ms

localize9.0ms

rewrite120.0ms

series51.0ms

simplify438.0ms

prune356.0ms

localize14.0ms

rewrite47.0ms

series163.0ms

simplify942.0ms

prune397.0ms

regimes124.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample457.0ms

Profiling