Details

Time bar (total: 39.6s)

sample220.0ms

Algorithm
intervals
Results
165.0ms555×body80valid

simplify2.4s

Counts
1 → 1
Iterations
IterNodes
62452
51745
41125
3543
2196
166
028

prune35.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.9b

localize62.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)
7.2b
(* (* (* (* x 18.0) y) z) t)

rewrite307.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:
15.0ms
(* (* j 27.0) k)
28.0ms
(* (* x 18.0) y)
55.0ms
(* (* (* x 18.0) y) z)
207.0ms
(* (* (* (* x 18.0) y) z) t)

series157.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(* (* j 27.0) k)
37.0ms
(* (* x 18.0) y)
34.0ms
(* (* (* x 18.0) y) z)
51.0ms
(* (* (* (* x 18.0) y) z) t)

simplify6.3s

Counts
97 → 97
Iterations
IterNodes
38902
21551
1370
0141

prune2.1s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize49.0ms

Local error

Found 4 expressions with local error:

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

rewrite272.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
(* (* x 18.0) y)
13.0ms
(* 27.0 (* j k))
44.0ms
(* (* (* x 18.0) y) z)
200.0ms
(* (* (* (* x 18.0) y) z) t)

series166.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(* (* x 18.0) y)
30.0ms
(* 27.0 (* j k))
46.0ms
(* (* (* x 18.0) y) z)
65.0ms
(* (* (* (* x 18.0) y) z) t)

simplify5.5s

Counts
97 → 97
Iterations
IterNodes
38374
21445
1353
0137

prune2.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize76.0ms

Local error

Found 4 expressions with local error:

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

rewrite243.0ms

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

series175.0ms

Counts
4 → 12
Calls
4 calls:
38.0ms
(* (* x 18.0) z)
29.0ms
(* 27.0 (* j k))
43.0ms
(* y (* (* x 18.0) z))
64.0ms
(* (* y (* (* x 18.0) z)) t)

simplify3.6s

Counts
97 → 97
Iterations
IterNodes
37353
21438
1353
0135

prune2.1s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

localize99.0ms

Local error

Found 4 expressions with local error:

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

rewrite251.0ms

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

series161.0ms

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

simplify3.8s

Counts
97 → 97
Iterations
IterNodes
37614
21396
1359
0136

prune1.9s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

regimes2.4s

Accuracy

87.5% (0.6b remaining)

Error of 0.7b against oracle of 0.1b and baseline of 4.9b

bsearch5.0ms

simplify20.0ms

Iterations
IterNodes
264
164
043

end0.0ms

sample5.0s

Algorithm
intervals
Results
3.5s16074×body80valid