Details

Time bar (total: 13.7s)

sample332.0ms

Algorithm
intervals
Results
6.0ms256×body80valid

simplify27.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
068
1138
2168
3208
4268
5298
6318
done318

prune26.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 1 expressions with local error:

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

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

series82.0ms

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

simplify2.4s

Counts
98 → 98
Iterations

Useful iterations: 3 (342.0ms)

IterNodesCost
01331451
12871378
26901348
318251340
447161340
done50011340

prune152.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize10.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))

rewrite348.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:
224.0ms
(* (* (cbrt (/ (- (+ f n)) (- f n))) (cbrt (/ (- (+ f n)) (- f n)))) (cbrt (/ (- (+ f n)) (- f n))))
33.0ms
(/ (- (+ f n)) (- f n))
32.0ms
(/ (- (+ f n)) (- f n))
35.0ms
(/ (- (+ f n)) (- f n))

series325.0ms

Counts
4 → 12
Calls
4 calls:
111.0ms
(* (* (cbrt (/ (- (+ f n)) (- f n))) (cbrt (/ (- (+ f n)) (- f n)))) (cbrt (/ (- (+ f n)) (- f n))))
73.0ms
(/ (- (+ f n)) (- f n))
73.0ms
(/ (- (+ f n)) (- f n))
68.0ms
(/ (- (+ f n)) (- f n))

simplify1.6s

Counts
403 → 403
Iterations

Useful iterations: 3 (995.0ms)

IterNodesCost
02617366
15847010
214406575
330616482
done50026482

prune787.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize20.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)))

rewrite33.0ms

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

series605.0ms

Counts
4 → 12
Calls
4 calls:
156.0ms
(cbrt (- f n))
146.0ms
(cbrt (- (+ f n)))
152.0ms
(cbrt (- (+ f n)))
152.0ms
(cbrt (- (+ f n)))

simplify2.2s

Counts
93 → 93
Iterations

Useful iterations: done (2.2s)

IterNodesCost
0123990
1256953
2549915
31282886
43778836
done5000833

prune353.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite145.0ms

Algorithm
rewrite-expression-head
Rules
328×*-un-lft-identity
240×times-frac
232×add-sqr-sqrt
128×add-cube-cbrt
96×distribute-lft-neg-in distribute-rgt-neg-in
52×distribute-lft-out-- difference-of-squares
48×distribute-lft-out associate-/l*
24×neg-mul-1
20×associate-/r*
12×add-exp-log add-cbrt-cube
8×associate-/r/ associate-/l/ distribute-neg-frac
4×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
4 → 380
Calls
4 calls:
32.0ms
(/ (- (+ f n)) (- f n))
31.0ms
(/ (- (+ f n)) (- f n))
33.0ms
(/ (- (+ f n)) (- f n))
31.0ms
(/ (- (+ f n)) (- f n))

series275.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(/ (- (+ f n)) (- f n))
69.0ms
(/ (- (+ f n)) (- f n))
65.0ms
(/ (- (+ f n)) (- f n))
72.0ms
(/ (- (+ f n)) (- f n))

simplify2.4s

Counts
392 → 392
Iterations

Useful iterations: 3 (341.0ms)

IterNodesCost
01335804
12875512
26905392
318255360
447165360
done50015360

prune1.1s

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0b

regimes60.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)

IterNodesCost
068
1128
2138
done138

end0.0ms

sample323.0ms

Algorithm
intervals
Results
156.0ms8000×body80valid