Details

Time bar (total: 9.1s)

sample51.0ms

Algorithm
intervals
Results
29.0ms256×body80valid

simplify3.5s

Counts
1 → 1
Iterations

Useful iterations: done (3.5s)

IterNodesCost
01251
11951
23351
38851
429951
588151
6413951
done500043

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

4.2b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
4.2b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
4.2b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
4.2b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

rewrite282.0ms

Algorithm
rewrite-expression-head
Rules
40×add-sqr-sqrt
12×*-un-lft-identity times-frac add-log-exp difference-of-squares
4×pow1 add-exp-log add-cube-cbrt sub-neg flip3-- diff-log add-cbrt-cube flip-- distribute-lft-out--
Counts
4 → 64
Calls
4 calls:
66.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
68.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
79.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
66.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

series232.0ms

Counts
4 → 12
Calls
4 calls:
58.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
60.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
60.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
54.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

simplify1.5s

Counts
76 → 76
Iterations

Useful iterations: 2 (111.0ms)

IterNodesCost
0591508
11381456
24731328
326671328
done50001328

prune337.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

3.8b
(- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
4.2b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
4.2b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
4.2b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

rewrite403.0ms

Algorithm
rewrite-expression-head
Rules
75×add-sqr-sqrt
25×times-frac
23×difference-of-squares
21×sqrt-prod
12×*-un-lft-identity add-log-exp
4×pow1 add-exp-log add-cube-cbrt sub-neg flip3-- diff-log add-cbrt-cube flip-- distribute-lft-out--
Counts
4 → 75
Calls
4 calls:
121.0ms
(- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
96.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
107.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
75.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

series445.0ms

Counts
4 → 12
Calls
4 calls:
232.0ms
(- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
62.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
89.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
61.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

simplify643.0ms

Counts
87 → 87
Iterations

Useful iterations: done (638.0ms)

IterNodesCost
01292014
13251951
210841829
done50011814

prune432.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes104.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01251
11551
done1551

end0.0ms

sample1.1s

Algorithm
intervals
Results
908.0ms8000×body80valid