Details

Time bar (total: 21.0s)

sample173.0ms

Algorithm
intervals
Results
82.0ms551×body80valid

simplify1.9s

Counts
1 → 1
Iterations
IterNodes
done5001
41710
3614
2201
166
028

prune33.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.8b

localize64.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 18.0) y)
0.2b
(* (* j 27.0) k)
5.6b
(* (* (* x 18.0) y) z)
6.4b
(* (* (* (* x 18.0) y) z) t)

rewrite322.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 add-log-exp
Counts
4 → 81
Calls
4 calls:
13.0ms
(* (* x 18.0) y)
25.0ms
(* (* j 27.0) k)
54.0ms
(* (* (* x 18.0) y) z)
228.0ms
(* (* (* (* x 18.0) y) z) t)

series143.0ms

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

simplify2.1s

Counts
93 → 93
Iterations
IterNodes
done5000
23116
1370
0137

prune763.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize65.0ms

Local error

Found 4 expressions with local error:

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

rewrite504.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 add-log-exp
Counts
4 → 81
Calls
4 calls:
432.0ms
(* (* (* (* t x) z) y) 18.0)
13.0ms
(* (* j 27.0) k)
13.0ms
(* (* t x) z)
42.0ms
(* (* (* t x) z) y)

series198.0ms

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

simplify1.4s

Counts
93 → 93
Iterations
IterNodes
done5000
22741
1362
0134

prune800.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize60.0ms

Local error

Found 4 expressions with local error:

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

rewrite237.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 add-log-exp
Counts
4 → 81
Calls
4 calls:
146.0ms
(* (* (* x (* z t)) y) 18.0)
15.0ms
(* (* j 27.0) k)
17.0ms
(* x (* z t))
56.0ms
(* (* x (* z t)) y)

series179.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(* (* (* x (* z t)) y) 18.0)
29.0ms
(* (* j 27.0) k)
35.0ms
(* x (* z t))
52.0ms
(* (* x (* z t)) y)

simplify1.4s

Counts
93 → 93
Iterations
IterNodes
done5000
22559
1359
0133

prune759.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

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

rewrite270.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 add-log-exp
Counts
4 → 81
Calls
4 calls:
179.0ms
(* (* (* (* t x) z) y) 18.0)
18.0ms
(* j (* 27.0 k))
19.0ms
(* (* t x) z)
50.0ms
(* (* (* t x) z) y)

series182.0ms

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

simplify1.4s

Counts
93 → 93
Iterations
IterNodes
done5002
22329
1351
0132

prune796.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

regimes2.3s

Accuracy

74.1% (1.0b remaining)

Error of 1.2b against oracle of 0.2b and baseline of 4.2b

bsearch3.0ms

simplify6.0ms

Iterations
IterNodes
done71
171
047

end0.0ms

sample5.0s

Algorithm
intervals
Results
3.0s16095×body80valid