Details

Time bar (total: 14.8s)

sample142.0ms

Algorithm
intervals
Results
24.0ms256×body80valid

simplify112.0ms

Counts
1 → 1

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 1 expressions with local error:

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

rewrite29.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:
Slowest
26.0ms
(/ (- (+ f n)) (- f n))

series116.0ms

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

simplify712.0ms

Counts
99 → 99

prune917.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite167.0ms

Algorithm
rewrite-expression-head
Rules
247×*-un-lft-identity
180×times-frac
175×add-sqr-sqrt
97×add-cube-cbrt
72×distribute-lft-neg-in distribute-rgt-neg-in
39×distribute-lft-out-- difference-of-squares
36×distribute-lft-out associate-/l*
18×neg-mul-1
15×associate-/r*
10×add-cbrt-cube add-exp-log
7×cbrt-div
6×associate-/r/ distribute-neg-frac associate-/l/
5×frac-times associate-*l/
4×pow1 insert-posit16 add-log-exp
3×neg-sub0 cbrt-undiv clear-num frac-2neg flip3-+ flip3-- div-sub div-exp associate-*r/ distribute-frac-neg flip-+ div-inv flip--
1×cbrt-prod pow1/3 pow3 rem-cbrt-cube
Counts
4 → 306
Calls
4 calls:
Slowest
86.0ms
(cbrt (* (* (/ (- (+ f n)) (- f n)) (/ (- (+ f n)) (- f n))) (/ (- (+ f n)) (- f n))))
35.0ms
(/ (- (+ f n)) (- f n))
20.0ms
(/ (- (+ f n)) (- f n))
20.0ms
(/ (- (+ f n)) (- f n))

series541.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
164.0ms
(cbrt (* (* (/ (- (+ f n)) (- f n)) (/ (- (+ f n)) (- f n))) (/ (- (+ f n)) (- f n))))
127.0ms
(/ (- (+ f n)) (- f n))
125.0ms
(/ (- (+ f n)) (- f n))
124.0ms
(/ (- (+ f n)) (- f n))

simplify1.1s

Counts
318 → 318

prune4.0s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize28.0ms

Local error

Found 1 expressions with local error:

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

rewrite46.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:
Slowest
43.0ms
(/ (- (+ f n)) (- f n))

series134.0ms

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

simplify746.0ms

Counts
99 → 99

prune1.4s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize86.0ms

Local error

Found 4 expressions with local error:

31.4b
(* (/ (- (- f) n) (- (* f (* f f)) (* n (* n n)))) (+ (* f f) (+ (* n n) (* f n))))
10.3b
(/ (- (- f) n) (- (* f (* f f)) (* n (* n n))))
4.1b
(- (* f (* f f)) (* n (* n n)))
1.8b
(+ (* f f) (+ (* n n) (* f n)))

rewrite306.0ms

Algorithm
rewrite-expression-head
Rules
64×*-un-lft-identity
51×add-sqr-sqrt
49×times-frac
30×associate-*l*
28×cube-unmult add-cube-cbrt
18×distribute-lft-out--
14×difference-cubes
11×add-cbrt-cube add-exp-log add-log-exp
9×distribute-rgt-neg-in difference-of-squares
6×pow1 associate-/l*
4×associate-/r* flip3-- associate-/r/ insert-posit16 flip--
3×sum-log flip3-+ associate-*r* flip-+
2×frac-times cbrt-undiv div-exp prod-exp associate-*r/ cbrt-unprod div-inv unswap-sqr associate-/l/
1×distribute-rgt-in +-commutative associate-+r+ clear-num sub-neg frac-2neg distribute-lft-in diff-log div-sub pow-prod-down associate-*l/ *-commutative
Counts
4 → 136
Calls
4 calls:
Slowest
188.0ms
(* (/ (- (- f) n) (- (* f (* f f)) (* n (* n n)))) (+ (* f f) (+ (* n n) (* f n))))
73.0ms
(/ (- (- f) n) (- (* f (* f f)) (* n (* n n))))
23.0ms
(- (* f (* f f)) (* n (* n n)))
19.0ms
(+ (* f f) (+ (* n n) (* f n)))

series362.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
169.0ms
(* (/ (- (- f) n) (- (* f (* f f)) (* n (* n n)))) (+ (* f f) (+ (* n n) (* f n))))
94.0ms
(/ (- (- f) n) (- (* f (* f f)) (* n (* n n))))
74.0ms
(- (* f (* f f)) (* n (* n n)))
25.0ms
(+ (* f f) (+ (* n n) (* f n)))

simplify1.3s

Counts
148 → 148

prune1.6s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes139.0ms

Accuracy

0% (0.0b remaining)

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

bsearch18.0ms

end0.0ms

sample782.0ms

Algorithm
intervals
Results
595.0ms8000×body80valid