Details

Time bar (total: 10.8s)

sample77.0ms

Algorithm
intervals
Results
8.0ms256×body80valid

simplify23.0ms

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize235.0ms

Local error

Found 1 expressions with local error:

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

rewrite65.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 expm1-log1p-u pow1 cbrt-undiv clear-num frac-2neg flip3-+ flip3-- div-sub div-exp distribute-frac-neg flip-+ log1p-expm1-u div-inv flip-- add-log-exp
Counts
1 → 97
Calls
1 calls:
54.0ms
(/ (- (+ f n)) (- f n))

series100.0ms

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

simplify1.1s

Counts
100 → 100
Iterations
IterNodes
done5002
21069
1316
0135

prune393.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize41.0ms

Local error

Found 4 expressions with local error:

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

rewrite294.0ms

Algorithm
rewrite-expression-head
Rules
280×*-un-lft-identity
169×times-frac
147×add-sqr-sqrt
74×add-cube-cbrt
59×add-cbrt-cube add-exp-log
52×associate-*l*
49×distribute-lft-out
48×swap-sqr
41×distribute-lft-out--
29×difference-of-squares
27×associate-*r*
25×pow1
22×prod-exp cbrt-unprod
18×cbrt-undiv div-exp
12×associate-/r/
11×frac-times associate-*r/
7×cbrt-div associate-*l/ distribute-neg-frac
6×cbrt-prod flip3-- pow-prod-up div-inv flip-- unswap-sqr
5×associate-/r*
4×expm1-log1p-u pow-prod-down log1p-expm1-u associate-/l* add-log-exp
2×pow2 pow-plus pow-sqr *-commutative associate-/l/
1×distribute-lft-neg-in clear-num neg-mul-1 distribute-rgt-neg-in frac-2neg flip3-+ pow1/3 cube-unmult flip-+
Counts
4 → 273
Calls
4 calls:
39.0ms
(/ (+ f n) (- f n))
120.0ms
(* (/ (+ f n) (- f n)) (* (/ (+ f n) (- f n)) (/ (+ f n) (- f n))))
108.0ms
(* (/ (+ f n) (- f n)) (/ (+ f n) (- f n)))
8.0ms
(cbrt (- (* (/ (+ f n) (- f n)) (* (/ (+ f n) (- f n)) (/ (+ f n) (- f n))))))

series801.0ms

Counts
4 → 12
Calls
4 calls:
82.0ms
(/ (+ f n) (- f n))
130.0ms
(* (/ (+ f n) (- f n)) (* (/ (+ f n) (- f n)) (/ (+ f n) (- f n))))
133.0ms
(* (/ (+ f n) (- f n)) (/ (+ f n) (- f n)))
456.0ms
(cbrt (- (* (/ (+ f n) (- f n)) (* (/ (+ f n) (- f n)) (/ (+ f n) (- f n))))))

simplify1.1s

Counts
285 → 285
Iterations
IterNodes
done5001
1917
0260

prune1.2s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite221.0ms

Algorithm
rewrite-expression-head
Rules
308×*-un-lft-identity
188×times-frac
162×add-sqr-sqrt
84×add-cube-cbrt
57×cbrt-prod
54×distribute-lft-out
48×swap-sqr
45×distribute-lft-out--
33×difference-of-squares
26×distribute-lft-neg-in distribute-rgt-neg-in associate-*r* associate-*l*
18×add-cbrt-cube add-exp-log
14×associate-/r/
11×pow1
7×flip3-- div-inv flip--
5×cbrt-undiv associate-/r* div-exp
4×expm1-log1p-u cbrt-div prod-exp cbrt-unprod log1p-expm1-u associate-/l* add-log-exp unswap-sqr
2×frac-times pow1/3 associate-*l/ associate-*r/ associate-/l/
1×pow2 clear-num neg-mul-1 frac-2neg flip3-+ pow-plus pow-prod-down pow-sqr *-commutative pow-prod-up flip-+ distribute-neg-frac
Counts
4 → 258
Calls
4 calls:
24.0ms
(/ (+ f n) (- f n))
16.0ms
(cbrt (- (/ (+ f n) (- f n))))
35.0ms
(cbrt (* (/ (+ f n) (- f n)) (/ (+ f n) (- f n))))
119.0ms
(* (/ (+ f n) (- f n)) (/ (+ f n) (- f n)))

series683.0ms

Counts
4 → 12
Calls
4 calls:
92.0ms
(/ (+ f n) (- f n))
346.0ms
(cbrt (- (/ (+ f n) (- f n))))
145.0ms
(cbrt (* (/ (+ f n) (- f n)) (/ (+ f n) (- f n))))
100.0ms
(* (/ (+ f n) (- f n)) (/ (+ f n) (- f n)))

simplify2.6s

Counts
270 → 270
Iterations
IterNodes
done5000
24518
1773
0286

prune1.1s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes143.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
done13
213
112
06

end0.0ms

sample586.0ms

Algorithm
intervals
Results
403.0ms8000×body80valid