Details

Time bar (total: 19.7s)

sample107.0ms

Algorithm
intervals
Results
61.0ms488×body80valid

simplify3.4s

Counts
1 → 1
Iterations
IterNodes
done5001
52272
41125
3543
2196
166
028

prune31.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.2b

localize48.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* j 27.0) k)
0.2b
(* (* x 18.0) y)
4.6b
(* (* (* (* x 18.0) y) z) t)
7.2b
(* (* (* x 18.0) y) z)

rewrite293.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-cbrt-cube add-exp-log
22×pow-prod-down prod-exp cbrt-unprod
12×associate-*r*
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×associate-*l* *-commutative insert-posit16 add-log-exp
Counts
4 → 85
Calls
4 calls:
17.0ms
(* (* j 27.0) k)
19.0ms
(* (* x 18.0) y)
189.0ms
(* (* (* (* x 18.0) y) z) t)
65.0ms
(* (* (* x 18.0) y) z)

series187.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(* (* j 27.0) k)
34.0ms
(* (* x 18.0) y)
74.0ms
(* (* (* (* x 18.0) y) z) t)
46.0ms
(* (* (* x 18.0) y) z)

simplify1.6s

Counts
97 → 97
Iterations
IterNodes
done5000
21384
1375
0141

prune829.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.3b

localize79.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 27.0 (* j k))
0.2b
(* (* x 18.0) y)
4.6b
(* (* (* (* x 18.0) y) z) t)
7.2b
(* (* (* x 18.0) y) z)

rewrite232.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-cbrt-cube add-exp-log
22×pow-prod-down prod-exp cbrt-unprod
10×associate-*r*
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×associate-*l*
4×*-commutative insert-posit16 add-log-exp
Counts
4 → 85
Calls
4 calls:
19.0ms
(* 27.0 (* j k))
18.0ms
(* (* x 18.0) y)
141.0ms
(* (* (* (* x 18.0) y) z) t)
53.0ms
(* (* (* x 18.0) y) z)

series142.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(* 27.0 (* j k))
24.0ms
(* (* x 18.0) y)
56.0ms
(* (* (* (* x 18.0) y) z) t)
30.0ms
(* (* (* x 18.0) y) z)

simplify1.2s

Counts
97 → 97
Iterations
IterNodes
done5000
21387
1359
0137

prune742.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.3b

localize59.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 27.0 (* j k))
0.2b
(* 18.0 (* t (* x (* z y))))
4.6b
(* t (* x (* z y)))
5.1b
(* x (* z y))

rewrite199.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-cbrt-cube add-exp-log
22×pow-prod-down prod-exp cbrt-unprod
12×associate-*l*
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×associate-*r* *-commutative insert-posit16 add-log-exp
Counts
4 → 85
Calls
4 calls:
15.0ms
(* 27.0 (* j k))
110.0ms
(* 18.0 (* t (* x (* z y))))
57.0ms
(* t (* x (* z y)))
15.0ms
(* x (* z y))

series170.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(* 27.0 (* j k))
52.0ms
(* 18.0 (* t (* x (* z y))))
51.0ms
(* t (* x (* z y)))
45.0ms
(* x (* z y))

simplify1.4s

Counts
97 → 97
Iterations
IterNodes
done5000
21133
1306
0123

prune779.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.3b

localize48.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 27.0 (* j k))
0.2b
(* 18.0 (* t (* (* x z) y)))
4.6b
(* t (* (* x z) y))
5.7b
(* (* x z) y)

rewrite182.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-cbrt-cube add-exp-log
22×pow-prod-down prod-exp cbrt-unprod
10×associate-*l*
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×associate-*r*
4×*-commutative insert-posit16 add-log-exp
Counts
4 → 85
Calls
4 calls:
15.0ms
(* 27.0 (* j k))
109.0ms
(* 18.0 (* t (* (* x z) y)))
41.0ms
(* t (* (* x z) y))
15.0ms
(* (* x z) y)

series151.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(* 27.0 (* j k))
53.0ms
(* 18.0 (* t (* (* x z) y)))
48.0ms
(* t (* (* x z) y))
29.0ms
(* (* x z) y)

simplify1.3s

Counts
97 → 97
Iterations
IterNodes
done5000
21243
1332
0129

prune535.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

regimes1.7s

Accuracy

38.2% (2.7b remaining)

Error of 2.9b against oracle of 0.1b and baseline of 4.5b

bsearch3.0ms

simplify16.0ms

Iterations
IterNodes
done72
172
050

end0.0ms

sample4.3s

Algorithm
intervals
Results
3.3s16188×body80valid