Details

Time bar (total: 11.3s)

sample263.0ms

Algorithm
intervals
Results
113.0ms256×body80valid

simplify24.0ms

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 1 expressions with local error:

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

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

series92.0ms

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

simplify407.0ms

Counts
98 → 98
Iterations
IterNodes
done5002
21064
1311
0133

prune526.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 1 expressions with local error:

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

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

series95.0ms

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

simplify576.0ms

Counts
98 → 98
Iterations
IterNodes
done5002
21064
1311
0133

prune438.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 3 expressions with local error:

0.0b
(cbrt (- (pow (/ (+ f n) (- f n)) 3)))
0.0b
(/ (+ f n) (- f n))
0.0b
(pow (/ (+ f n) (- f n)) 3)

rewrite157.0ms

Algorithm
rewrite-expression-head
Rules
208×*-un-lft-identity
140×times-frac
136×add-sqr-sqrt
120×cbrt-prod
78×unpow-prod-down cube-prod add-cube-cbrt
58×distribute-lft-neg-in distribute-rgt-neg-in
36×distribute-lft-out
29×distribute-lft-out-- difference-of-squares
14×associate-/r/
8×add-cbrt-cube add-exp-log
7×flip3-- div-inv flip--
5×associate-/r*
4×pow1 associate-/l*
3×cube-mult pow-unpow unpow3 add-log-exp sqr-pow
2×cube-div cbrt-undiv div-exp pow-exp rem-cube-cbrt associate-/l/
1×pow-to-exp cbrt-div clear-num neg-mul-1 pow-pow frac-2neg flip3-+ pow1/3 flip-+ distribute-neg-frac
Counts
3 → 246
Calls
3 calls:
81.0ms
(cbrt (- (pow (/ (+ f n) (- f n)) 3)))
21.0ms
(/ (+ f n) (- f n))
29.0ms
(pow (/ (+ f n) (- f n)) 3)

series857.0ms

Counts
3 → 9
Calls
3 calls:
634.0ms
(cbrt (- (pow (/ (+ f n) (- f n)) 3)))
123.0ms
(/ (+ f n) (- f n))
100.0ms
(pow (/ (+ f n) (- f n)) 3)

simplify1.6s

Counts
255 → 255
Iterations
IterNodes
done5000
24139
1720
0260

prune957.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.0b
(log (exp (pow (/ (+ n f) (- f n)) 3)))
0.0b
(cbrt (- (log (exp (pow (/ (+ n f) (- f n)) 3)))))
0.0b
(/ (+ n f) (- f n))
0.0b
(pow (/ (+ n f) (- f n)) 3)

rewrite387.0ms

Algorithm
rewrite-expression-head
Rules
269×*-un-lft-identity
180×times-frac
177×add-sqr-sqrt log-pow
174×exp-prod
128×cbrt-prod
104×unpow-prod-down cube-prod
103×add-cube-cbrt
62×distribute-lft-neg-in distribute-rgt-neg-in
46×distribute-lft-out
37×distribute-lft-out-- difference-of-squares
18×associate-/r/
9×flip3-- add-cbrt-cube add-exp-log div-inv flip--
8×pow1
5×associate-/r*
4×cube-mult unpow3 associate-/l* add-log-exp sqr-pow
3×pow-unpow log-prod
2×cbrt-undiv div-exp pow-exp rem-cube-cbrt associate-/l/
1×cube-div pow-to-exp clear-num neg-mul-1 pow-pow frac-2neg flip3-+ pow1/3 rem-log-exp flip-+
Counts
4 → 323
Calls
4 calls:
105.0ms
(log (exp (pow (/ (+ n f) (- f n)) 3)))
180.0ms
(cbrt (- (log (exp (pow (/ (+ n f) (- f n)) 3)))))
23.0ms
(/ (+ n f) (- f n))
42.0ms
(pow (/ (+ n f) (- f n)) 3)

series760.0ms

Counts
4 → 12
Calls
4 calls:
119.0ms
(log (exp (pow (/ (+ n f) (- f n)) 3)))
406.0ms
(cbrt (- (log (exp (pow (/ (+ n f) (- f n)) 3)))))
95.0ms
(/ (+ n f) (- f n))
139.0ms
(pow (/ (+ n f) (- f n)) 3)

simplify1.6s

Counts
335 → 335
Iterations
IterNodes
done5001
24021
1835
0361

prune1.6s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

regimes127.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations
IterNodes
done28
228
125
017

end0.0ms

sample541.0ms

Algorithm
intervals
Results
352.0ms8000×body80valid