Details

Time bar (total: 1.4m)

sample138.0ms

Algorithm
intervals
Results
77.0ms505×body80valid

simplify2.5s

Counts
1 → 1

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.1b

localize51.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 18.0) y)
0.7b
(* (* j 27.0) k)
4.1b
(* (* (* x 18.0) y) z)
4.8b
(* (* (* (* x 18.0) y) z) t)

rewrite375.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:
20.0ms
(* (* x 18.0) y)
20.0ms
(* (* j 27.0) k)
72.0ms
(* (* (* x 18.0) y) z)
260.0ms
(* (* (* (* x 18.0) y) z) t)

series163.0ms

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

simplify1.1s

Counts
93 → 93

prune404.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite405.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:
30.0ms
(* (* x 18.0) y)
27.0ms
(* j (* 27.0 k))
80.0ms
(* (* (* x 18.0) y) z)
263.0ms
(* (* (* (* x 18.0) y) z) t)

series155.0ms

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

simplify1.3s

Counts
93 → 93

prune688.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.1b

localize46.0ms

Local error

Found 4 expressions with local error:

0.2b
(* x (* 18.0 y))
0.7b
(* (* j 27.0) k)
4.1b
(* (* x (* 18.0 y)) z)
4.8b
(* (* (* 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:
22.0ms
(* x (* 18.0 y))
31.0ms
(* (* j 27.0) k)
79.0ms
(* (* x (* 18.0 y)) z)
239.0ms
(* (* (* x (* 18.0 y)) z) t)

series127.0ms

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

simplify1.1s

Counts
93 → 93

prune397.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.1b

localize53.0ms

Local error

Found 4 expressions with local error:

4.8b
(* (* (* (cbrt (* (* x (* 18.0 y)) z)) (cbrt (* (* x (* 18.0 y)) z))) (cbrt (* (* x (* 18.0 y)) z))) t)
15.0b
(cbrt (* (* x (* 18.0 y)) z))
15.0b
(cbrt (* (* x (* 18.0 y)) z))
15.0b
(cbrt (* (* x (* 18.0 y)) z))

rewrite646.0ms

Algorithm
rewrite-expression-head
Rules
13×pow1 add-exp-log
9×add-cbrt-cube
6×pow-prod-down prod-exp cbrt-unprod
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×add-log-exp
3×cbrt-prod pow1/3 associate-*r*
1×associate-*l* *-commutative
Counts
4 → 48
Calls
4 calls:
477.0ms
(* (* (* (cbrt (* (* x (* 18.0 y)) z)) (cbrt (* (* x (* 18.0 y)) z))) (cbrt (* (* x (* 18.0 y)) z))) t)
64.0ms
(cbrt (* (* x (* 18.0 y)) z))
56.0ms
(cbrt (* (* x (* 18.0 y)) z))
47.0ms
(cbrt (* (* x (* 18.0 y)) z))

series591.0ms

Counts
4 → 12
Calls
4 calls:
138.0ms
(* (* (* (cbrt (* (* x (* 18.0 y)) z)) (cbrt (* (* x (* 18.0 y)) z))) (cbrt (* (* x (* 18.0 y)) z))) t)
143.0ms
(cbrt (* (* x (* 18.0 y)) z))
154.0ms
(cbrt (* (* x (* 18.0 y)) z))
156.0ms
(cbrt (* (* x (* 18.0 y)) z))

simplify622.0ms

Counts
60 → 60

prune443.0ms

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 0.1b

regimes1.9s

Accuracy

-0% (4.9b remaining)

Error of 5.6b against oracle of 0.7b and baseline of 5.6b

bsearch527.0ms

Steps
ItersRangePoint
9
6.629629183915417e+42
5.019074762167575e+49
3.6462011735036985e+44
9
-7.212420868133623e+59
-1.0869149642979674e+53
-4.3830139062668545e+58

simplify1.1m

end0.0ms

sample3.8s

Algorithm
intervals
Results
2.5s16240×body80valid