Details

Time bar (total: 8.9s)

sample152.0ms

Algorithm
intervals
Results
15.0ms256×body80valid

simplify10.0ms

Counts
1 → 1

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 1 expressions with local error:

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

rewrite137.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:
125.0ms
(/ (- (+ f n)) (- f n))

series134.0ms

Counts
1 → 3
Calls
1 calls:
132.0ms
(/ (- (+ f n)) (- f n))

simplify46.0ms

Counts
98 → 98

prune270.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (* (cbrt (/ (- (+ f n)) (- f n))) (cbrt (/ (- (+ f n)) (- f n)))) (cbrt (/ (- (+ f n)) (- f n))))
0.0b
(/ (- (+ f n)) (- f n))
0.0b
(/ (- (+ f n)) (- f n))
0.0b
(/ (- (+ f n)) (- f n))

rewrite548.0ms

Algorithm
rewrite-expression-head
Rules
320×*-un-lft-identity
241×times-frac
232×add-sqr-sqrt
126×add-cube-cbrt
92×distribute-lft-neg-in distribute-rgt-neg-in
69×associate-*r*
68×cbrt-prod
51×distribute-lft-out-- difference-of-squares
46×distribute-lft-out
36×associate-/l*
23×pow1 neg-mul-1
15×add-exp-log associate-/r*
12×cbrt-div
11×add-cbrt-cube
9×pow1/3 pow-prod-up
8×associate-/r/
6×pow-plus associate-/l/ distribute-neg-frac
5×frac-times pow-prod-down associate-*l/
4×flip3-- flip-- div-inv add-log-exp
3×cbrt-undiv neg-sub0 frac-2neg flip3-+ div-sub associate-*r/ distribute-frac-neg div-exp prod-exp clear-num pow-sqr cbrt-unprod flip-+ unswap-sqr
2×pow2
1×associate-*l* pow3 *-commutative
Counts
4 → 391
Calls
4 calls:
353.0ms
(* (* (cbrt (/ (- (+ f n)) (- f n))) (cbrt (/ (- (+ f n)) (- f n)))) (cbrt (/ (- (+ f n)) (- f n))))
45.0ms
(/ (- (+ f n)) (- f n))
43.0ms
(/ (- (+ f n)) (- f n))
60.0ms
(/ (- (+ f n)) (- f n))

series451.0ms

Counts
4 → 12
Calls
4 calls:
147.0ms
(* (* (cbrt (/ (- (+ f n)) (- f n))) (cbrt (/ (- (+ f n)) (- f n)))) (cbrt (/ (- (+ f n)) (- f n))))
87.0ms
(/ (- (+ f n)) (- f n))
102.0ms
(/ (- (+ f n)) (- f n))
115.0ms
(/ (- (+ f n)) (- f n))

simplify89.0ms

Counts
403 → 403

prune1.4s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
34×cbrt-prod
24×*-un-lft-identity
16×add-sqr-sqrt
12×add-cube-cbrt
8×distribute-lft-neg-in cbrt-div distribute-rgt-neg-in
4×pow1 add-exp-log pow1/3 add-cbrt-cube distribute-neg-frac distribute-lft-out add-log-exp
2×neg-mul-1 flip3-- flip3-+ flip-- flip-+ distribute-lft-out-- difference-of-squares
Counts
4 → 74
Calls
4 calls:
8.0ms
(cbrt (- (+ f n)))
9.0ms
(cbrt (- (+ f n)))
4.0ms
(cbrt (- f n))
5.0ms
(cbrt (- f n))

series966.0ms

Counts
4 → 12
Calls
4 calls:
234.0ms
(cbrt (- (+ f n)))
217.0ms
(cbrt (- (+ f n)))
248.0ms
(cbrt (- f n))
267.0ms
(cbrt (- f n))

simplify66.0ms

Counts
86 → 86

prune570.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize51.0ms

Local error

Found 4 expressions with local error:

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

rewrite230.0ms

Algorithm
rewrite-expression-head
Rules
239×cbrt-prod
86×*-un-lft-identity
54×add-sqr-sqrt
36×add-cube-cbrt cbrt-div distribute-rgt-neg-in
32×distribute-lft-neg-in
26×swap-sqr
20×distribute-lft-out
18×associate-*r* associate-*l* distribute-neg-frac
11×pow1
9×flip3-+ pow1/3 flip-+ unswap-sqr
7×neg-mul-1
6×add-exp-log
4×frac-times add-cbrt-cube add-log-exp
2×associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 172
Calls
4 calls:
181.0ms
(* (cbrt (cbrt (- (+ f n)))) (cbrt (cbrt (- (+ f n)))))
11.0ms
(cbrt (cbrt (- (+ f n))))
9.0ms
(cbrt (cbrt (- (+ f n))))
9.0ms
(cbrt (cbrt (- (+ f n))))

series1.6s

Counts
4 → 12
Calls
4 calls:
554.0ms
(* (cbrt (cbrt (- (+ f n)))) (cbrt (cbrt (- (+ f n)))))
312.0ms
(cbrt (cbrt (- (+ f n))))
341.0ms
(cbrt (cbrt (- (+ f n))))
346.0ms
(cbrt (cbrt (- (+ f n))))

simplify133.0ms

Counts
184 → 184

prune1.1s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes175.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify14.0ms

end0.0ms

sample731.0ms

Algorithm
intervals
Results
430.0ms8000×body80valid