Details

Time bar (total: 12.8s)

sample65.0ms

Algorithm
intervals
Results
46.0ms256×body80valid

simplify3.1s

Counts
1 → 1
Iterations
IterNodes
done5002
61640
5559
4206
384
242
122
012

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 2 (+ 1 t))
0.0b
(/ 2 (+ 1 t))
4.3b
(- 2 (/ 2 (+ 1 t)))
4.3b
(- 2 (/ 2 (+ 1 t)))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
164×*-un-lft-identity
118×add-sqr-sqrt
108×prod-diff add-cube-cbrt
98×times-frac
26×distribute-lft-out
16×associate-/r/
8×associate-/r* flip3-+ add-cbrt-cube add-exp-log flip-+ div-inv add-log-exp
6×fma-neg associate-/l*
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u difference-of-squares
2×cbrt-undiv clear-num sub-neg frac-2neg flip3-- diff-log div-exp flip-- distribute-lft-out--
Counts
4 → 222
Calls
4 calls:
7.0ms
(/ 2 (+ 1 t))
7.0ms
(/ 2 (+ 1 t))
17.0ms
(- 2 (/ 2 (+ 1 t)))
14.0ms
(- 2 (/ 2 (+ 1 t)))

series107.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(/ 2 (+ 1 t))
25.0ms
(/ 2 (+ 1 t))
25.0ms
(- 2 (/ 2 (+ 1 t)))
33.0ms
(- 2 (/ 2 (+ 1 t)))

simplify2.3s

Counts
234 → 234
Iterations
IterNodes
done5001
21671
1567
0213

prune952.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt 2)
1.0b
(cbrt 2)
4.3b
(- 2 (/ 2 (+ 1 t)))
30.9b
(fma (* (cbrt 2) (cbrt 2)) (cbrt 2) (- (/ 2 (+ 1 t))))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
69×*-un-lft-identity
54×add-sqr-sqrt prod-diff
49×add-cube-cbrt
37×times-frac
9×distribute-lft-out
6×cbrt-prod associate-/r/ add-log-exp
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×flip3-+ fma-neg flip-+ div-inv
2×pow1/3 difference-of-squares
1×sub-neg flip3-- diff-log fma-udef flip-- distribute-lft-out--
Counts
4 → 114
Calls
4 calls:
1.0ms
(cbrt 2)
1.0ms
(cbrt 2)
22.0ms
(- 2 (/ 2 (+ 1 t)))
0.0ms
(fma (* (cbrt 2) (cbrt 2)) (cbrt 2) (- (/ 2 (+ 1 t))))

series99.0ms

Counts
4 → 8
Calls
4 calls:
0.0ms
(cbrt 2)
0.0ms
(cbrt 2)
21.0ms
(- 2 (/ 2 (+ 1 t)))
78.0ms
(fma (* (cbrt 2) (cbrt 2)) (cbrt 2) (- (/ 2 (+ 1 t))))

simplify3.6s

Counts
122 → 122
Iterations
IterNodes
done5000
34594
21487
1512
0211

prune536.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes36.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
IterNodes
done12
112
09

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.7s8000×body80valid