Details

Time bar (total: 20.4s)

sample157.0ms

Algorithm
intervals
Results
111.0ms488×body80valid

simplify3.0s

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

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.2b

localize64.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)

rewrite287.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:
20.0ms
(* (* j 27.0) k)
19.0ms
(* (* x 18.0) y)
178.0ms
(* (* (* (* x 18.0) y) z) t)
68.0ms
(* (* (* x 18.0) y) z)

series134.0ms

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

simplify1.2s

Counts
97 → 97
Iterations
IterNodes
done5000
21384
1375
0141

prune707.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.3b

localize45.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)

rewrite286.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:
14.0ms
(* 27.0 (* j k))
16.0ms
(* (* x 18.0) y)
193.0ms
(* (* (* (* x 18.0) y) z) t)
62.0ms
(* (* (* x 18.0) y) z)

series137.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(* 27.0 (* j k))
24.0ms
(* (* x 18.0) y)
54.0ms
(* (* (* (* x 18.0) y) z) t)
37.0ms
(* (* (* x 18.0) y) z)

simplify1.3s

Counts
97 → 97
Iterations
IterNodes
done5000
21387
1359
0137

prune819.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.3b

localize58.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))

rewrite171.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:
17.0ms
(* 27.0 (* j k))
95.0ms
(* 18.0 (* t (* x (* z y))))
42.0ms
(* t (* x (* z y)))
14.0ms
(* x (* z y))

series186.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(* 27.0 (* j k))
60.0ms
(* 18.0 (* t (* x (* z y))))
64.0ms
(* t (* x (* z y)))
33.0ms
(* x (* z y))

simplify1.6s

Counts
97 → 97
Iterations
IterNodes
done5000
21133
1306
0123

prune658.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.3b

localize66.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)

rewrite216.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:
13.0ms
(* 27.0 (* j k))
122.0ms
(* 18.0 (* t (* (* x z) y)))
55.0ms
(* t (* (* x z) y))
24.0ms
(* (* x z) y)

series173.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(* 27.0 (* j k))
60.0ms
(* 18.0 (* t (* (* x z) y)))
54.0ms
(* t (* (* x z) y))
37.0ms
(* (* x z) y)

simplify1.3s

Counts
97 → 97
Iterations
IterNodes
done5000
21243
1332
0129

prune630.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

regimes1.8s

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

sample5.4s

Algorithm
intervals
Results
4.5s16188×body80valid