Details

Time bar (total: 2.1m)

sample164.0ms

Algorithm
intervals
Results
54.0ms256×body80valid

simplify129.0ms

Counts
1 → 1
Iterations
IterNodes
done31
631
529
424
320
216
113
06

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize53.0ms

Local error

Found 1 expressions with local error:

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

rewrite49.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-cbrt-cube add-exp-log
2×associate-/r/ distribute-neg-frac associate-/l/
1×neg-sub0 pow1 cbrt-undiv clear-num frac-2neg flip3-+ flip3-- div-sub div-exp distribute-frac-neg flip-+ insert-posit16 div-inv flip-- add-log-exp
Counts
1 → 96
Calls
1 calls:
44.0ms
(/ (- (+ f n)) (- f n))

series90.0ms

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

simplify1.8s

Counts
99 → 99
Iterations
IterNodes
done5001
32205
2699
1312
0134

prune330.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize45.0ms

Local error

Found 4 expressions with local error:

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

rewrite5.6s

Algorithm
rewrite-expression-head
Rules
22836×frac-times
19200×associate-/l*
16965×*-un-lft-identity
12262×cbrt-div
10123×add-sqr-sqrt
7970×associate-/r*
6656×distribute-rgt-neg-in
6631×add-cube-cbrt
6580×distribute-lft-neg-in
3342×distribute-lft-out
3188×distribute-neg-frac associate-/l/
1746×distribute-lft-out--
1706×difference-of-squares
1638×neg-mul-1
1618×clear-num
1594×frac-2neg flip3-+ flip-+
1038×associate-*l/
666×times-frac
528×associate-*r/
379×cbrt-prod
354×associate-*l*
150×swap-sqr
132×associate-*r*
96×un-div-inv
32×unswap-sqr
16×associate-/r/
10×add-cbrt-cube add-exp-log
9×distribute-frac-neg
8×flip3-- div-inv flip--
5×*-commutative
4×pow1 insert-posit16 add-log-exp
3×neg-sub0 cbrt-undiv div-sub div-exp sqr-neg
2×pow3 rem-cbrt-cube
1×pow1/3
Counts
4 → 12940
Calls
4 calls:
35.0ms
(/ (- (+ n f)) (- f n))
60.0ms
(/ (- (+ n f)) (- f n))
46.0ms
(/ (- (+ n f)) (- f n))
2.7s
(cbrt (* (* (/ (- (+ n f)) (- f n)) (/ (- (+ n f)) (- f n))) (/ (- (+ n f)) (- f n))))

series463.0ms

Counts
4 → 12
Calls
4 calls:
86.0ms
(/ (- (+ n f)) (- f n))
120.0ms
(/ (- (+ n f)) (- f n))
100.0ms
(/ (- (+ n f)) (- f n))
155.0ms
(cbrt (* (* (/ (- (+ n f)) (- f n)) (/ (- (+ n f)) (- f n))) (/ (- (+ n f)) (- f n))))

simplify19.9s

Counts
12952 → 12952
Iterations
IterNodes
done19966
019966

prune44.4s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize44.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.9s

Algorithm
rewrite-expression-head
Rules
17742×times-frac
14075×cbrt-prod
13880×*-un-lft-identity
11484×associate-*l*
10878×add-sqr-sqrt
5620×add-cube-cbrt
3872×distribute-lft-neg-in distribute-rgt-neg-in
2194×distribute-lft-out-- difference-of-squares
1936×distribute-lft-out
1451×associate-*r*
968×neg-mul-1
416×associate-/r/
348×unswap-sqr
286×distribute-neg-frac
272×cbrt-div
220×frac-times
219×associate-/r*
205×associate-/l*
175×div-inv
174×*-commutative
161×flip3-- flip--
143×flip3-+ flip-+
110×associate-*l/
98×associate-/l/
16×clear-num frac-2neg
13×add-cbrt-cube
11×add-exp-log
10×associate-*r/
6×pow1
5×cbrt-undiv
4×insert-posit16 add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in pow1/3 div-exp prod-exp cbrt-unprod
1×pow-prod-down
Counts
4 → 7925
Calls
4 calls:
145.0ms
(* (/ (- f n) (- (+ n f))) (- f n))
847.0ms
(/ (cbrt (* (/ (- (+ n f)) (- f n)) (- (+ n f)))) (cbrt (* (/ (- f n) (- (+ n f))) (- f n))))
182.0ms
(cbrt (* (/ (- f n) (- (+ n f))) (- f n)))
168.0ms
(cbrt (* (/ (- (+ n f)) (- f n)) (- (+ n f))))

series783.0ms

Counts
4 → 12
Calls
4 calls:
104.0ms
(* (/ (- f n) (- (+ n f))) (- f n))
216.0ms
(/ (cbrt (* (/ (- (+ n f)) (- f n)) (- (+ n f)))) (cbrt (* (/ (- f n) (- (+ n f))) (- f n))))
238.0ms
(cbrt (* (/ (- f n) (- (+ n f))) (- f n)))
225.0ms
(cbrt (* (/ (- (+ n f)) (- f n)) (- (+ n f))))

simplify11.7s

Counts
7937 → 7937
Iterations
IterNodes
done6654
06654

prune33.1s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize114.0ms

Local error

Found 4 expressions with local error:

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

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
48×cbrt-prod
32×*-un-lft-identity
16×distribute-lft-neg-in add-sqr-sqrt distribute-rgt-neg-in add-cube-cbrt
8×cbrt-div distribute-neg-frac distribute-lft-out
4×pow1 neg-mul-1 flip3-+ add-cbrt-cube pow1/3 add-exp-log flip-+ insert-posit16 add-log-exp
Counts
4 → 92
Calls
4 calls:
14.0ms
(cbrt (- (+ n f)))
16.0ms
(cbrt (- (+ n f)))
24.0ms
(cbrt (- (+ n f)))
16.0ms
(cbrt (- (+ n f)))

series773.0ms

Counts
4 → 12
Calls
4 calls:
181.0ms
(cbrt (- (+ n f)))
205.0ms
(cbrt (- (+ n f)))
199.0ms
(cbrt (- (+ n f)))
188.0ms
(cbrt (- (+ n f)))

simplify2.4s

Counts
104 → 104
Iterations
IterNodes
done5000
43755
31079
2413
1160
077

prune893.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes108.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify13.0ms

Iterations
IterNodes
done94
594
490
345
225
116
09

end0.0ms

sample789.0ms

Algorithm
intervals
Results
566.0ms8000×body80valid