Details

Time bar (total: 34.3s)

sample212.0ms

Algorithm
intervals
Results
115.0ms557×body80valid

simplify3.4s

Counts
1 → 1
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
02831
16629
220129
361629
4172229
done500029

prune32.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.9b

localize66.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* j 27.0) k)
0.2b
(* (* a 4.0) t)
4.0b
(* (* (* x 18.0) y) z)
6.7b
(* (* (* (* x 18.0) y) z) t)

rewrite520.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-exp-log add-cbrt-cube
22×pow-prod-down prod-exp cbrt-unprod
12×associate-*r*
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×associate-*l* *-commutative add-log-exp
Counts
4 → 81
Calls
4 calls:
33.0ms
(* (* j 27.0) k)
31.0ms
(* (* a 4.0) t)
104.0ms
(* (* (* x 18.0) y) z)
346.0ms
(* (* (* (* x 18.0) y) z) t)

series188.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(* (* j 27.0) k)
36.0ms
(* (* a 4.0) t)
45.0ms
(* (* (* x 18.0) y) z)
75.0ms
(* (* (* (* x 18.0) y) z) t)

simplify3.4s

Counts
93 → 93
Iterations

Useful iterations: done (3.4s)

IterNodesCost
0156914
1433884
23062704
done5000682

prune1.1s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 1.0b

localize89.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 18.0) y)
0.2b
(* (* j 27.0) k)
0.2b
(* (* a 4.0) t)
9.2b
(* (* (* x 18.0) y) (* z t))

rewrite256.0ms

Algorithm
rewrite-expression-head
Rules
40×pow1 add-exp-log add-cbrt-cube
24×pow-prod-down prod-exp cbrt-unprod
10×associate-*r*
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×associate-*l* *-commutative add-log-exp
Counts
4 → 82
Calls
4 calls:
38.0ms
(* (* x 18.0) y)
36.0ms
(* (* j 27.0) k)
40.0ms
(* (* a 4.0) t)
136.0ms
(* (* (* x 18.0) y) (* z t))

series195.0ms

Counts
4 → 12
Calls
4 calls:
38.0ms
(* (* x 18.0) y)
37.0ms
(* (* j 27.0) k)
41.0ms
(* (* a 4.0) t)
79.0ms
(* (* (* x 18.0) y) (* z t))

simplify2.7s

Counts
94 → 94
Iterations

Useful iterations: done (2.7s)

IterNodesCost
0155905
1427875
22716685
done5001683

prune1.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize88.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* j 27.0) k)
0.2b
(* (* a 4.0) t)
3.7b
(* (* x 18.0) (* (* z t) y))
5.8b
(* (* z t) y)

rewrite239.0ms

Algorithm
rewrite-expression-head
Rules
40×pow1 add-exp-log add-cbrt-cube
24×pow-prod-down prod-exp cbrt-unprod
10×associate-*r*
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×associate-*l* *-commutative add-log-exp
Counts
4 → 82
Calls
4 calls:
38.0ms
(* (* j 27.0) k)
36.0ms
(* (* a 4.0) t)
121.0ms
(* (* x 18.0) (* (* z t) y))
38.0ms
(* (* z t) y)

series217.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(* (* j 27.0) k)
37.0ms
(* (* a 4.0) t)
96.0ms
(* (* x 18.0) (* (* z t) y))
49.0ms
(* (* z t) y)

simplify2.9s

Counts
94 → 94
Iterations

Useful iterations: done (2.9s)

IterNodesCost
0154903
1437873
22830661
done5001657

prune1.1s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize89.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* j 27.0) k)
0.2b
(* (* a 4.0) t)
3.7b
(* (* x 18.0) (* z t))
5.7b
(* (* (* x 18.0) (* z t)) y)

rewrite298.0ms

Algorithm
rewrite-expression-head
Rules
44×pow1 add-exp-log add-cbrt-cube
27×pow-prod-down prod-exp cbrt-unprod
10×associate-*r*
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×associate-*l* *-commutative add-log-exp
Counts
4 → 85
Calls
4 calls:
35.0ms
(* (* j 27.0) k)
36.0ms
(* (* a 4.0) t)
53.0ms
(* (* x 18.0) (* z t))
166.0ms
(* (* (* x 18.0) (* z t)) y)

series217.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(* (* j 27.0) k)
35.0ms
(* (* a 4.0) t)
49.0ms
(* (* x 18.0) (* z t))
91.0ms
(* (* (* x 18.0) (* z t)) y)

simplify3.2s

Counts
97 → 97
Iterations

Useful iterations: done (3.2s)

IterNodesCost
0158988
1440955
22746753
done5000721

prune957.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

regimes4.5s

Accuracy

70.2% (1.4b remaining)

Error of 1.6b against oracle of 0.2b and baseline of 5.0b

bsearch7.0ms

simplify13.0ms

Iterations

Useful iterations: 1 (7.0ms)

IterNodesCost
048155
171122
done71122

end0.0ms

sample7.2s

Algorithm
intervals
Results
4.8s16032×body80valid