Details

Time bar (total: 8.5s)

sample36.0ms

Algorithm
intervals
Results
19.0ms411×body80valid

simplify3.7s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079
1139
2359
3829
41219
51269
61459
72149
84469
911949
done50019

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize11.0ms

Local error

Found 1 expressions with local error:

0.2b
(* (* t t) (- 3.0 (* 2.0 t)))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
pow1 add-cbrt-cube add-exp-log
add-sqr-sqrt associate-*r* pow-prod-down prod-exp cbrt-unprod
distribute-rgt-in sub-neg *-un-lft-identity distribute-lft-in associate-*r/ add-cube-cbrt
flip3-- associate-*l* *-commutative flip-- add-log-exp unswap-sqr
Counts
1 → 25
Calls
1 calls:
54.0ms
(* (* t t) (- 3.0 (* 2.0 t)))

series160.0ms

Counts
1 → 3
Calls
1 calls:
160.0ms
(* (* t t) (- 3.0 (* 2.0 t)))

simplify1.5s

Counts
28 → 28
Iterations

Useful iterations: done (1.5s)

IterNodesCost
057367
1180354
21263308
done5000294

prune109.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b
(* t (- 3.0 (* 2.0 t)))
0.1b
(* t (* t (- 3.0 (* 2.0 t))))

rewrite102.0ms

Algorithm
rewrite-expression-head
Rules
10×distribute-rgt-in distribute-lft-in
pow1 add-cbrt-cube add-exp-log
add-sqr-sqrt
sub-neg associate-*l* associate-*r/
*-un-lft-identity add-cube-cbrt
associate-*r* pow-prod-down prod-exp cbrt-unprod
flip3-- *-commutative flip-- add-log-exp
unswap-sqr
Counts
2 → 52
Calls
2 calls:
41.0ms
(* t (- 3.0 (* 2.0 t)))
57.0ms
(* t (* t (- 3.0 (* 2.0 t))))

series292.0ms

Counts
2 → 6
Calls
2 calls:
146.0ms
(* t (- 3.0 (* 2.0 t)))
145.0ms
(* t (* t (- 3.0 (* 2.0 t))))

simplify1.2s

Counts
58 → 58
Iterations

Useful iterations: done (1.2s)

IterNodesCost
079669
1230655
21262585
done5000569

prune208.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

regimes30.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079
1109
done109

end0.0ms

sample1.1s

Algorithm
intervals
Results
761.0ms12079×body80valid