Details

Time bar (total: 9.3s)

sample118.0ms

Algorithm
intervals
Results
10.0ms66×body1280valid
8.0ms64×body640valid
8.0ms185×body80valid
1.0ms16×body320valid
1.0ms18×body160valid

simplify1.8s

Counts
1 → 1

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (+ x (* x x)))
0.0b
(+ x (* x x))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
6×*-un-lft-identity
4×sum-log distribute-rgt1-in
2×add-sqr-sqrt pow1 +-commutative flip3-+ distribute-rgt-out add-cbrt-cube add-exp-log add-cube-cbrt flip-+ insert-posit16
1×associate-+r+ distribute-lft-out
Counts
2 → 31
Calls
2 calls:
Slowest
11.0ms
(+ x (+ x (* x x)))
4.0ms
(+ x (* x x))

series113.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
69.0ms
(+ x (+ x (* x x)))
44.0ms
(+ x (* x x))

simplify4.4s

Counts
37 → 37

prune149.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize9.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (+ x x) (* x x))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
6×add-log-exp
5×*-un-lft-identity
3×sum-log distribute-rgt-out
1×add-sqr-sqrt pow1 +-commutative associate-+l+ distribute-lft1-in flip3-+ add-cbrt-cube distribute-rgt1-in add-exp-log add-cube-cbrt flip-+ insert-posit16 distribute-lft-out
Counts
1 → 17
Calls
1 calls:
Slowest
18.0ms
(+ (+ x x) (* x x))

series58.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
58.0ms
(+ (+ x x) (* x x))

simplify1.1s

Counts
20 → 20

prune78.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes22.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample1.3s

Algorithm
intervals
Results
680.0ms2339×body1280valid
249.0ms1668×body640valid
171.0ms5407×body80valid
70.0ms824×body320valid
26.0ms445×body160valid