Details

Time bar (total: 21.9s)

sample83.0ms

Algorithm
intervals
Results
44.0ms518×body80valid

simplify3.6s

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

prune54.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 5.4b

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

rewrite310.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:
16.0ms
(* (* j 27.0) k)
13.0ms
(* (* x 4.0) i)
54.0ms
(* (* (* x 18.0) y) z)
220.0ms
(* (* (* (* x 18.0) y) z) t)

series170.0ms

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

simplify2.0s

Counts
93 → 93
Iterations
IterNodes
done5000
21682
1432
0159

prune894.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.4b

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

rewrite144.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:
27.0ms
(* (* x 18.0) y)
25.0ms
(* (* j 27.0) k)
15.0ms
(* (* x 4.0) i)
71.0ms
(* (* (* x 18.0) y) (* z t))

series146.0ms

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

simplify1.6s

Counts
94 → 94
Iterations
IterNodes
done5001
21601
1418
0155

prune883.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.3b

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

rewrite172.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:
28.0ms
(* (* j 27.0) k)
26.0ms
(* (* x 4.0) i)
23.0ms
(* y (* z t))
89.0ms
(* (* x 18.0) (* y (* z t)))

series147.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(* (* j 27.0) k)
38.0ms
(* (* x 4.0) i)
26.0ms
(* y (* z t))
63.0ms
(* (* x 18.0) (* y (* z t)))

simplify1.3s

Counts
94 → 94
Iterations
IterNodes
done5002
21570
1407
0152

prune784.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.3b

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

rewrite212.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:
19.0ms
(* (* x 4.0) i)
52.0ms
(* 18.0 (* y (* z t)))
12.0ms
(* y (* z t))
126.0ms
(* x (* 18.0 (* y (* z t))))

series161.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(* (* x 4.0) i)
35.0ms
(* 18.0 (* y (* z t)))
28.0ms
(* y (* z t))
74.0ms
(* x (* 18.0 (* y (* z t))))

simplify1.4s

Counts
93 → 93
Iterations
IterNodes
done5002
21303
1326
0126

prune704.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

regimes2.9s

Accuracy

77.1% (1.3b remaining)

Error of 1.4b against oracle of 0.1b and baseline of 5.7b

bsearch4.0ms

simplify18.0ms

Iterations
IterNodes
done74
174
051

end0.0ms

sample4.1s

Algorithm
intervals
Results
3.0s16153×body80valid