Details

Time bar (total: 21.3s)

sample150.0ms

Algorithm
intervals
Results
77.0ms518×body80valid

simplify3.3s

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

prune50.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 5.4b

localize59.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* j 27.0) k)
0.2b
(* (* x 4.0) i)
4.3b
(* (* (* x 18.0) y) z)
6.5b
(* (* (* (* x 18.0) y) z) t)

rewrite328.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:
23.0ms
(* (* j 27.0) k)
13.0ms
(* (* x 4.0) i)
71.0ms
(* (* (* x 18.0) y) z)
216.0ms
(* (* (* (* x 18.0) y) z) t)

series174.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(* (* j 27.0) k)
34.0ms
(* (* x 4.0) i)
47.0ms
(* (* (* x 18.0) y) z)
65.0ms
(* (* (* (* x 18.0) y) z) t)

simplify1.4s

Counts
93 → 93
Iterations
IterNodes
done5000
21682
1432
0159

prune883.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.4b

localize81.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 18.0) y)
0.2b
(* (* j 27.0) k)
0.2b
(* (* x 4.0) i)
8.3b
(* (* (* x 18.0) y) (* z t))

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
40×pow1 add-cbrt-cube add-exp-log
24×pow-prod-down prod-exp cbrt-unprod
10×associate-*r*
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×associate-*l* *-commutative add-log-exp
Counts
4 → 82
Calls
4 calls:
15.0ms
(* (* x 18.0) y)
14.0ms
(* (* j 27.0) k)
13.0ms
(* (* x 4.0) i)
94.0ms
(* (* (* x 18.0) y) (* z t))

series149.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(* (* x 18.0) y)
29.0ms
(* (* j 27.0) k)
32.0ms
(* (* x 4.0) i)
62.0ms
(* (* (* x 18.0) y) (* z t))

simplify1.4s

Counts
94 → 94
Iterations
IterNodes
done5001
21601
1418
0155

prune879.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.3b

localize45.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* j 27.0) k)
0.2b
(* (* x 4.0) i)
3.6b
(* y (* z t))
4.9b
(* (* x 18.0) (* y (* z t)))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
40×pow1 add-cbrt-cube add-exp-log
24×pow-prod-down prod-exp cbrt-unprod
8×associate-*r*
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×associate-*l*
4×*-commutative add-log-exp
Counts
4 → 82
Calls
4 calls:
14.0ms
(* (* j 27.0) k)
22.0ms
(* (* x 4.0) i)
22.0ms
(* y (* z t))
47.0ms
(* (* x 18.0) (* y (* z t)))

series127.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(* (* j 27.0) k)
22.0ms
(* (* x 4.0) i)
25.0ms
(* y (* z t))
57.0ms
(* (* x 18.0) (* y (* z t)))

simplify1.3s

Counts
94 → 94
Iterations
IterNodes
done5002
21570
1407
0152

prune808.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.3b

localize66.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 4.0) i)
0.2b
(* 18.0 (* y (* z t)))
3.6b
(* y (* z t))
4.6b
(* x (* 18.0 (* y (* z t))))

rewrite189.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 add-log-exp
Counts
4 → 81
Calls
4 calls:
15.0ms
(* (* x 4.0) i)
50.0ms
(* 18.0 (* y (* z t)))
14.0ms
(* y (* z t))
107.0ms
(* x (* 18.0 (* y (* z t))))

series172.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(* (* x 4.0) i)
50.0ms
(* 18.0 (* y (* z t)))
33.0ms
(* y (* z t))
66.0ms
(* x (* 18.0 (* y (* z t))))

simplify1.4s

Counts
93 → 93
Iterations
IterNodes
done5002
21303
1326
0126

prune927.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

regimes3.0s

Accuracy

77.5% (1.2b remaining)

Error of 1.3b against oracle of 0.1b and baseline of 5.6b

bsearch4.0ms

simplify18.0ms

Iterations
IterNodes
done70
170
046

end0.0ms

sample4.0s

Algorithm
intervals
Results
2.8s16153×body80valid