Details

Time bar (total: 10.7s)

sample163.0ms

Algorithm
intervals
Results
79.0ms523×body80valid

simplify159.0ms

Counts
1 → 1

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.6b

localize65.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* a 4.0) t)
0.4b
(* (* j 27.0) k)
3.8b
(* (* (* x 18.0) y) z)
3.9b
(* (* (* (* x 18.0) y) z) t)

rewrite402.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-exp-log add-cbrt-cube
22×pow-prod-down prod-exp cbrt-unprod
12×associate-*r*
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×associate-*l* *-commutative add-log-exp
Counts
4 → 81
Calls
4 calls:
18.0ms
(* (* a 4.0) t)
19.0ms
(* (* j 27.0) k)
72.0ms
(* (* (* x 18.0) y) z)
290.0ms
(* (* (* (* x 18.0) y) z) t)

series330.0ms

Counts
4 → 12
Calls
4 calls:
211.0ms
(* (* a 4.0) t)
26.0ms
(* (* j 27.0) k)
40.0ms
(* (* (* x 18.0) y) z)
53.0ms
(* (* (* (* x 18.0) y) z) t)

simplify65.0ms

Counts
93 → 93

prune411.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize56.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 18.0) y)
0.2b
(* (* a 4.0) t)
3.8b
(* (* (* x 18.0) y) z)
3.9b
(* (* (* (* x 18.0) y) z) t)

rewrite403.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-exp-log add-cbrt-cube
22×pow-prod-down prod-exp cbrt-unprod
12×associate-*r*
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×associate-*l* *-commutative add-log-exp
Counts
4 → 81
Calls
4 calls:
18.0ms
(* (* x 18.0) y)
20.0ms
(* (* a 4.0) t)
83.0ms
(* (* (* x 18.0) y) z)
279.0ms
(* (* (* (* x 18.0) y) z) t)

series147.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(* (* x 18.0) y)
29.0ms
(* (* a 4.0) t)
33.0ms
(* (* (* x 18.0) y) z)
57.0ms
(* (* (* (* x 18.0) y) z) t)

simplify63.0ms

Counts
93 → 93

prune425.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.2b
(* j (* 27.0 k))
0.2b
(* (* x 18.0) y)
3.8b
(* (* (* x 18.0) y) z)
3.9b
(* (* (* (* x 18.0) y) z) t)

rewrite387.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-exp-log add-cbrt-cube
22×pow-prod-down prod-exp cbrt-unprod
10×associate-*r*
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×associate-*l*
4×*-commutative add-log-exp
Counts
4 → 81
Calls
4 calls:
18.0ms
(* j (* 27.0 k))
23.0ms
(* (* x 18.0) y)
58.0ms
(* (* (* x 18.0) y) z)
283.0ms
(* (* (* (* x 18.0) y) z) t)

series167.0ms

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

simplify61.0ms

Counts
93 → 93

prune429.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.2b
(* j (* 27.0 k))
0.2b
(* x (* 18.0 y))
3.8b
(* (* x (* 18.0 y)) z)
3.9b
(* (* (* x (* 18.0 y)) z) t)

rewrite363.0ms

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

series134.0ms

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

simplify71.0ms

Counts
93 → 93

prune409.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

regimes1.1s

Accuracy

-13.9% (5.0b remaining)

Error of 6.0b against oracle of 1.0b and baseline of 5.4b

bsearch370.0ms

Steps
ItersRangePoint
7
10041403508320548.0
1.8511392904370698e+18
53501025862446216.0
9
-6.387355482749229e-73
-2.251692931929497e-82
-1.9520536695656065e-73

simplify135.0ms

end0.0ms

sample4.2s

Algorithm
intervals
Results
2.7s16170×body80valid