Details

Time bar (total: 16.8s)

sample227.0ms

Algorithm
intervals
Results
17.0ms256×body80valid

simplify59.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
068
1138
2168
3208
4268
5298
6318
done318

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 1 expressions with local error:

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

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

series108.0ms

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

simplify2.8s

Counts
100 → 100
Iterations

Useful iterations: 3 (664.0ms)

IterNodesCost
01351469
12921395
27021365
319071357
done50001357

prune211.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(log1p (expm1 (/ (- (+ f n)) (- f n))))
0.0b
(/ (- (+ f n)) (- f n))
0.5b
(expm1 (/ (- (+ f n)) (- f n)))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
84×*-un-lft-identity
60×add-sqr-sqrt times-frac
34×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×add-exp-log associate-/r* add-cbrt-cube
4×log1p-expm1-u
3×pow1 expm1-log1p-u add-log-exp
2×associate-/r/ associate-/l/ distribute-neg-frac
1×cbrt-undiv neg-sub0 log1p-udef expm1-log1p flip3-- frac-2neg flip3-+ div-sub log1p-expm1 distribute-frac-neg div-exp clear-num flip-- flip-+ div-inv expm1-udef
Counts
3 → 119
Calls
3 calls:
1.0ms
(log1p (expm1 (/ (- (+ f n)) (- f n))))
44.0ms
(/ (- (+ f n)) (- f n))
1.0ms
(expm1 (/ (- (+ f n)) (- f n)))

series400.0ms

Counts
3 → 9
Calls
3 calls:
148.0ms
(log1p (expm1 (/ (- (+ f n)) (- f n))))
104.0ms
(/ (- (+ f n)) (- f n))
148.0ms
(expm1 (/ (- (+ f n)) (- f n)))

simplify2.7s

Counts
128 → 128
Iterations

Useful iterations: 3 (634.0ms)

IterNodesCost
01581755
13211651
27391587
319501579
done50001579

prune400.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite419.0ms

Algorithm
rewrite-expression-head
Rules
293×*-un-lft-identity
266×cbrt-prod
241×times-frac
217×add-sqr-sqrt
117×add-cube-cbrt
80×distribute-lft-neg-in distribute-rgt-neg-in
69×associate-*r*
48×distribute-lft-out-- difference-of-squares
40×distribute-lft-out
23×pow1
20×neg-mul-1
15×cbrt-div
12×pow1/3
9×add-exp-log pow-prod-up
8×associate-/r/
6×pow-plus
5×frac-times pow-prod-down associate-*l/ add-cbrt-cube
4×expm1-log1p-u flip3-- flip-- log1p-expm1-u div-inv add-log-exp
3×associate-*r/ prod-exp pow-sqr cbrt-unprod unswap-sqr
2×pow2
1×associate-*l* pow3 *-commutative
Counts
4 → 339
Calls
4 calls:
30.0ms
(cbrt (/ (- (+ f n)) (- f n)))
29.0ms
(cbrt (/ (- (+ f n)) (- f n)))
17.0ms
(cbrt (/ (- (+ f n)) (- f n)))
316.0ms
(* (* (cbrt (/ (- (+ f n)) (- f n))) (cbrt (/ (- (+ f n)) (- f n)))) (cbrt (/ (- (+ f n)) (- f n))))

series1.1s

Counts
4 → 12
Calls
4 calls:
320.0ms
(cbrt (/ (- (+ f n)) (- f n)))
359.0ms
(cbrt (/ (- (+ f n)) (- f n)))
264.0ms
(cbrt (/ (- (+ f n)) (- f n)))
160.0ms
(* (* (cbrt (/ (- (+ f n)) (- f n))) (cbrt (/ (- (+ f n)) (- f n)))) (cbrt (/ (- (+ f n)) (- f n))))

simplify2.2s

Counts
351 → 351
Iterations

Useful iterations: 3 (1.1s)

IterNodesCost
02737474
15497123
212276686
322516581
done50016581

prune1.1s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1 (- f n))
0.2b
(* (* (* (cbrt (- (+ f n))) (cbrt (/ (- (+ f n)) (- f n)))) (cbrt (/ (- (+ f n)) (- f n)))) (cbrt (/ 1 (- f n))))
0.5b
(cbrt (- (+ f n)))
0.6b
(cbrt (/ 1 (- f n)))

rewrite864.0ms

Algorithm
rewrite-expression-head
Rules
60×*-un-lft-identity
56×add-sqr-sqrt
55×cbrt-div
54×cbrt-prod
45×times-frac
36×add-cube-cbrt
29×frac-times associate-*l/
24×associate-*r*
18×distribute-neg-frac
17×add-exp-log
14×pow1
10×distribute-lft-out-- difference-of-squares
9×flip3-+ pow-prod-down flip-+
8×add-cbrt-cube
7×associate-*r/
6×pow1/3 prod-exp associate-/r/ cbrt-unprod
5×associate-/r*
4×distribute-lft-neg-in expm1-log1p-u distribute-rgt-neg-in log1p-expm1-u add-log-exp
3×flip3-- flip-- div-inv associate-/l*
2×div-exp distribute-lft-out
1×cbrt-undiv neg-mul-1 rec-exp pow-flip frac-2neg 1-exp associate-*l* clear-num *-commutative inv-pow
Counts
4 → 167
Calls
4 calls:
25.0ms
(/ 1 (- f n))
812.0ms
(* (* (* (cbrt (- (+ f n))) (cbrt (/ (- (+ f n)) (- f n)))) (cbrt (/ (- (+ f n)) (- f n)))) (cbrt (/ 1 (- f n))))
8.0ms
(cbrt (- (+ f n)))
7.0ms
(cbrt (/ 1 (- f n)))

series692.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(/ 1 (- f n))
143.0ms
(* (* (* (cbrt (- (+ f n))) (cbrt (/ (- (+ f n)) (- f n)))) (cbrt (/ (- (+ f n)) (- f n)))) (cbrt (/ 1 (- f n))))
259.0ms
(cbrt (- (+ f n)))
217.0ms
(cbrt (/ 1 (- f n)))

simplify1.5s

Counts
179 → 179
Iterations

Useful iterations: done (1.5s)

IterNodesCost
02943630
16743390
218163089
done50003033

prune534.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes94.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
11410
21510
done1510

end0.0ms

sample1.0s

Algorithm
intervals
Results
769.0ms8000×body80valid