Details

Time bar (total: 8.4s)

sample40.0ms

Algorithm
intervals
Results
25.0ms256×body80valid

simplify1.1s

Counts
1 → 1

prune48.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite292.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:
72.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
78.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
57.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
81.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

series267.0ms

Counts
4 → 12
Calls
4 calls:
78.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
56.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
55.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
78.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

simplify895.0ms

Counts
76 → 76

prune283.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

3.1b
(- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
3.2b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
3.2b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
3.2b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

rewrite246.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
12×add-log-exp
10×*-un-lft-identity difference-of-squares
9×times-frac
4×pow1 add-exp-log add-cube-cbrt sub-neg flip3-- diff-log add-cbrt-cube flip--
3×distribute-lft-out--
Counts
4 → 61
Calls
4 calls:
15.0ms
(- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
83.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
74.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
71.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

series289.0ms

Counts
4 → 12
Calls
4 calls:
74.0ms
(- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
81.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
55.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
79.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

simplify2.1s

Counts
73 → 73

prune345.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes83.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify913.0ms

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.2s8000×body80valid