Details

Time bar (total: 11.5s)

sample193.0ms

Algorithm
intervals
Results
16.0ms256×body80valid

simplify46.0ms

Counts
1 → 1
Iterations
IterNodes
done32
632
530
426
320
216
113
06

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize58.0ms

Local error

Found 1 expressions with local error:

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

rewrite192.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-+ div-inv flip-- add-log-exp
Counts
1 → 95
Calls
1 calls:
181.0ms
(/ (- (+ n f)) (- f n))

series154.0ms

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

simplify564.0ms

Counts
98 → 98
Iterations
IterNodes
done5000
21077
1314
0135

prune335.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 3 expressions with local error:

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

rewrite232.0ms

Algorithm
rewrite-expression-head
Rules
151×*-un-lft-identity
112×exp-prod
100×times-frac
99×add-sqr-sqrt
57×log-pow add-cube-cbrt
52×distribute-lft-neg-in distribute-rgt-neg-in
26×distribute-lft-out
21×distribute-lft-out-- difference-of-squares
10×associate-/r/
5×associate-/r* flip3-- add-cbrt-cube add-exp-log div-inv flip-- add-log-exp
4×pow1 associate-/l*
3×exp-neg log-prod
2×neg-sub0 log-div neg-mul-1 exp-diff rem-exp-log associate-/l/
1×cbrt-undiv clear-num frac-2neg flip3-+ div-exp rem-log-exp log-rec neg-log flip-+
Counts
3 → 183
Calls
3 calls:
101.0ms
(exp (- (/ (+ n f) (- f n))))
27.0ms
(/ (+ n f) (- f n))
95.0ms
(log (exp (- (/ (+ n f) (- f n)))))

series370.0ms

Counts
3 → 9
Calls
3 calls:
139.0ms
(exp (- (/ (+ n f) (- f n))))
92.0ms
(/ (+ n f) (- f n))
139.0ms
(log (exp (- (/ (+ n f) (- f n)))))

simplify596.0ms

Counts
192 → 192
Iterations
IterNodes
done5000
21046
1368
0201

prune880.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- (+ f n)) (- f n))
0.0b
(/ (- (+ f n)) (- f n))
0.0b
(log (sqrt (exp (/ (- (+ f n)) (- f n)))))
0.0b
(log (sqrt (exp (/ (- (+ f n)) (- f n)))))

rewrite277.0ms

Algorithm
rewrite-expression-head
Rules
314×*-un-lft-identity
240×times-frac
226×add-sqr-sqrt
138×log-pow
134×sqrt-pow1
132×exp-prod
126×add-cube-cbrt
88×distribute-lft-neg-in distribute-rgt-neg-in
50×distribute-lft-out-- difference-of-squares
44×distribute-lft-out
24×associate-/l*
22×neg-mul-1
12×log-prod
10×associate-/r* add-exp-log
8×pow1 add-cbrt-cube associate-/r/
6×sqrt-prod
4×neg-sub0 log-div flip3-- sqrt-div div-sub distribute-frac-neg div-inv flip-- distribute-neg-frac add-log-exp associate-/l/
2×exp-neg cbrt-undiv clear-num frac-2neg flip3-+ pow1/2 exp-diff div-exp rem-log-exp flip-+
Counts
4 → 360
Calls
4 calls:
43.0ms
(/ (- (+ f n)) (- f n))
54.0ms
(/ (- (+ f n)) (- f n))
65.0ms
(log (sqrt (exp (/ (- (+ f n)) (- f n)))))
89.0ms
(log (sqrt (exp (/ (- (+ f n)) (- f n)))))

series612.0ms

Counts
4 → 12
Calls
4 calls:
91.0ms
(/ (- (+ f n)) (- f n))
87.0ms
(/ (- (+ f n)) (- f n))
213.0ms
(log (sqrt (exp (/ (- (+ f n)) (- f n)))))
221.0ms
(log (sqrt (exp (/ (- (+ f n)) (- f n)))))

simplify695.0ms

Counts
372 → 372
Iterations
IterNodes
done5000
21335
1448
0254

prune2.1s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize53.0ms

Local error

Found 4 expressions with local error:

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

rewrite131.0ms

Algorithm
rewrite-expression-head
Rules
104×cbrt-prod
79×*-un-lft-identity
37×add-sqr-sqrt
36×distribute-rgt-neg-in
32×distribute-lft-neg-in
29×add-cube-cbrt
23×swap-sqr
20×distribute-lft-out
18×cbrt-div distribute-neg-frac
15×associate-*r* associate-*l*
11×pow1
9×flip3-+ pow1/3 flip-+
7×neg-mul-1
6×add-exp-log
4×frac-times add-cbrt-cube add-log-exp unswap-sqr
2×pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 149
Calls
4 calls:
7.0ms
(cbrt (- (+ n f)))
7.0ms
(cbrt (- (+ f n)))
7.0ms
(cbrt (- (+ f n)))
103.0ms
(* (cbrt (- (+ f n))) (cbrt (- (+ f n))))

series894.0ms

Counts
4 → 12
Calls
4 calls:
225.0ms
(cbrt (- (+ n f)))
206.0ms
(cbrt (- (+ f n)))
231.0ms
(cbrt (- (+ f n)))
231.0ms
(* (cbrt (- (+ f n))) (cbrt (- (+ f n))))

simplify790.0ms

Counts
161 → 161
Iterations
IterNodes
done5001
21800
1447
0209

prune1.4s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes183.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
IterNodes
done15
215
111
08

end0.0ms

sample705.0ms

Algorithm
intervals
Results
428.0ms8000×body80valid