Details

Time bar (total: 13.0s)

sample153.0ms

Algorithm
intervals
Results
75.0ms523×body80valid

simplify165.0ms

Counts
1 → 1

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.6b

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

rewrite463.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:
28.0ms
(* (* a 4.0) t)
29.0ms
(* (* j 27.0) k)
94.0ms
(* (* (* x 18.0) y) z)
309.0ms
(* (* (* (* x 18.0) y) z) t)

series159.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(* (* a 4.0) t)
32.0ms
(* (* j 27.0) k)
44.0ms
(* (* (* x 18.0) y) z)
54.0ms
(* (* (* (* x 18.0) y) z) t)

simplify71.0ms

Counts
93 → 93

prune507.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

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

rewrite369.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:
25.0ms
(* (* x 18.0) y)
19.0ms
(* (* a 4.0) t)
78.0ms
(* (* (* x 18.0) y) z)
242.0ms
(* (* (* (* x 18.0) y) z) t)

series163.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(* (* x 18.0) y)
25.0ms
(* (* a 4.0) t)
44.0ms
(* (* (* x 18.0) y) z)
73.0ms
(* (* (* (* x 18.0) y) z) t)

simplify59.0ms

Counts
93 → 93

prune413.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

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

rewrite373.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:
19.0ms
(* j (* 27.0 k))
26.0ms
(* (* x 18.0) y)
80.0ms
(* (* (* x 18.0) y) z)
245.0ms
(* (* (* (* x 18.0) y) z) t)

series177.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(* j (* 27.0 k))
28.0ms
(* (* x 18.0) y)
49.0ms
(* (* (* x 18.0) y) z)
70.0ms
(* (* (* (* x 18.0) y) z) t)

simplify82.0ms

Counts
93 → 93

prune442.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

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

rewrite361.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:
30.0ms
(* j (* 27.0 k))
17.0ms
(* x (* 18.0 y))
63.0ms
(* (* x (* 18.0 y)) z)
248.0ms
(* (* (* x (* 18.0 y)) z) t)

series196.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(* j (* 27.0 k))
37.0ms
(* x (* 18.0 y))
56.0ms
(* (* x (* 18.0 y)) z)
73.0ms
(* (* (* x (* 18.0 y)) z) t)

simplify70.0ms

Counts
93 → 93

prune439.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

regimes1.3s

Accuracy

-13.9% (5.0b remaining)

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

bsearch475.0ms

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

simplify165.0ms

end0.0ms

sample6.0s

Algorithm
intervals
Results
4.0s16170×body80valid