Details

Time bar (total: 12.6s)

sample10.0ms

Algorithm
intervals
Results
4.0ms283×body80valid

simplify6.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
055
195
2155
3165
done165

prune1.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.7b

localize3.0ms

Local error

Found 1 expressions with local error:

0.7b
(* (* x 27.0) y)

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
6×pow1 add-exp-log add-cbrt-cube
3×associate-*r* pow-prod-down prod-exp cbrt-unprod
2×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
1×associate-*l* *-commutative add-log-exp
Counts
1 → 18
Calls
1 calls:
6.0ms
(* (* x 27.0) y)

series22.0ms

Counts
1 → 3
Calls
1 calls:
22.0ms
(* (* x 27.0) y)

simplify5.4s

Counts
21 → 21
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
040157
1102152
2464122
31787122
44441122
done5000122

prune29.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize3.0ms

Local error

Found 1 expressions with local error:

0.4b
(* x (* 27.0 y))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
6×pow1 add-exp-log add-cbrt-cube
3×associate-*l* pow-prod-down prod-exp cbrt-unprod
2×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
1×associate-*r* *-commutative add-log-exp
Counts
1 → 18
Calls
1 calls:
6.0ms
(* x (* 27.0 y))

series20.0ms

Counts
1 → 3
Calls
1 calls:
20.0ms
(* x (* 27.0 y))

simplify3.2s

Counts
21 → 21
Iterations

Useful iterations: 2 (26.0ms)

IterNodesCost
037154
190151
2329121
31081121
42065121
53957121
done5000121

prune27.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt x) (* 27.0 y))
0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
9×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity
7×add-cbrt-cube
6×associate-*l*
4×add-log-exp
3×pow1/3 pow-prod-down prod-exp cbrt-unprod
1×associate-*r* *-commutative
Counts
4 → 54
Calls
4 calls:
9.0ms
(* (cbrt x) (* 27.0 y))
0.0ms
(cbrt x)
0.0ms
(cbrt x)
1.0ms
(cbrt x)

series634.0ms

Counts
4 → 12
Calls
4 calls:
99.0ms
(* (cbrt x) (* 27.0 y))
185.0ms
(cbrt x)
176.0ms
(cbrt x)
173.0ms
(cbrt x)

simplify729.0ms

Counts
66 → 66
Iterations

Useful iterations: 3 (157.0ms)

IterNodesCost
059390
1137371
2449329
31621319
done5001319

prune139.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 4 expressions with local error:

0.7b
(* (* x 27.0) y)
10.0b
(cbrt (* (* x 27.0) y))
10.0b
(cbrt (* (* x 27.0) y))
10.0b
(cbrt (* (* x 27.0) y))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-exp-log add-cbrt-cube
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×add-log-exp
3×cbrt-prod pow1/3 associate-*r* pow-prod-down prod-exp cbrt-unprod
1×associate-*l* *-commutative
Counts
4 → 45
Calls
4 calls:
9.0ms
(* (* x 27.0) y)
5.0ms
(cbrt (* (* x 27.0) y))
5.0ms
(cbrt (* (* x 27.0) y))
5.0ms
(cbrt (* (* x 27.0) y))

series310.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(* (* x 27.0) y)
96.0ms
(cbrt (* (* x 27.0) y))
96.0ms
(cbrt (* (* x 27.0) y))
98.0ms
(cbrt (* (* x 27.0) y))

simplify1.6s

Counts
57 → 57
Iterations

Useful iterations: done (1.6s)

IterNodesCost
071508
1174497
2591428
32204407
done5000401

prune116.0ms

Pruning

9 alts after pruning (5 fresh and 4 done)

Merged error: 0.0b

regimes133.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
055
175
done75

end0.0ms

sample263.0ms

Algorithm
intervals
Results
132.0ms9129×body80valid