Details

Time bar (total: 22.3s)

sample169.0ms

Algorithm
intervals
Results
100.0ms488×body80valid

simplify3.8s

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

prune37.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.2b

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

rewrite318.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:
26.0ms
(* (* j 27.0) k)
17.0ms
(* (* x 18.0) y)
188.0ms
(* (* (* (* x 18.0) y) z) t)
86.0ms
(* (* (* x 18.0) y) z)

series201.0ms

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

simplify1.5s

Counts
97 → 97
Iterations
IterNodes
done5000
21384
1375
0141

prune1.0s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.3b

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

rewrite305.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:
17.0ms
(* 27.0 (* j k))
27.0ms
(* (* x 18.0) y)
213.0ms
(* (* (* (* x 18.0) y) z) t)
47.0ms
(* (* (* x 18.0) y) z)

series220.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(* 27.0 (* j k))
34.0ms
(* (* x 18.0) y)
99.0ms
(* (* (* (* x 18.0) y) z) t)
55.0ms
(* (* (* x 18.0) y) z)

simplify1.5s

Counts
97 → 97
Iterations
IterNodes
done5000
21387
1359
0137

prune890.0ms

Pruning

11 alts after pruning (11 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
(* 18.0 (* t (* x (* z y))))
4.6b
(* t (* x (* z y)))
5.1b
(* x (* z y))

rewrite210.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))
134.0ms
(* 18.0 (* t (* x (* z y))))
33.0ms
(* t (* x (* z y)))
25.0ms
(* x (* z y))

series205.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(* 27.0 (* j k))
61.0ms
(* 18.0 (* t (* x (* z y))))
73.0ms
(* t (* x (* z y)))
37.0ms
(* x (* z y))

simplify1.7s

Counts
97 → 97
Iterations
IterNodes
done5000
21133
1306
0123

prune803.0ms

Pruning

8 alts after pruning (8 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
(* 18.0 (* t (* (* x z) y)))
4.6b
(* t (* (* x z) y))
5.7b
(* (* x z) y)

rewrite226.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:
23.0ms
(* 27.0 (* j k))
138.0ms
(* 18.0 (* t (* (* x z) y)))
39.0ms
(* t (* (* x z) y))
24.0ms
(* (* x z) y)

series255.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(* 27.0 (* j k))
84.0ms
(* 18.0 (* t (* (* x z) y)))
90.0ms
(* t (* (* x z) y))
53.0ms
(* (* x z) y)

simplify1.4s

Counts
97 → 97
Iterations
IterNodes
done5000
21243
1332
0129

prune657.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

simplify13.0ms

Iterations
IterNodes
done72
172
050

end0.0ms

sample4.9s

Algorithm
intervals
Results
3.9s16188×body80valid