Details

Time bar (total: 34.8s)

sample174.0ms

Algorithm
intervals
Results
121.0ms522×body80valid

simplify1.3s

Counts
1 → 1

prune44.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.8b

localize65.0ms

Local error

Found 4 expressions with local error:

5.5b
(* (* (* (* x 18.0) y) z) t)
5.2b
(* (* (* x 18.0) y) z)
0.6b
(* (* j 27.0) k)
0.2b
(* (* x 18.0) y)

rewrite309.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 insert-posit16 add-log-exp
Counts
4 → 85
Calls
4 calls:
Slowest
221.0ms
(* (* (* (* x 18.0) y) z) t)
51.0ms
(* (* (* x 18.0) y) z)
18.0ms
(* (* x 18.0) y)
17.0ms
(* (* j 27.0) k)

series124.0ms

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

simplify2.7s

Counts
97 → 97

prune2.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize61.0ms

Local error

Found 4 expressions with local error:

5.5b
(* (* (* (* x 18.0) y) z) t)
5.2b
(* (* (* x 18.0) y) z)
0.2b
(* 27.0 (* j k))
0.2b
(* (* x 18.0) y)

rewrite349.0ms

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

series128.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
53.0ms
(* (* (* (* x 18.0) y) z) t)
29.0ms
(* (* (* x 18.0) y) z)
23.0ms
(* (* x 18.0) y)
22.0ms
(* 27.0 (* j k))

simplify3.3s

Counts
97 → 97

prune2.1s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize53.0ms

Local error

Found 4 expressions with local error:

5.5b
(* (* (* z x) (* y 18.0)) t)
5.2b
(* (* z x) (* y 18.0))
0.2b
(* 27.0 (* j k))
0.0b
(- (+ (- (* (* (* z x) (* y 18.0)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))

rewrite3.1s

Algorithm
rewrite-expression-head
Rules
39×pow1 add-cbrt-cube add-exp-log
24×pow-prod-down prod-exp cbrt-unprod
13×add-log-exp
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×associate-*r* associate-*l*
4×diff-log insert-posit16
3×*-commutative
2×sum-log
1×associate--l- sub-neg flip3-- associate--l+ associate-+l- flip--
Counts
4 → 87
Calls
4 calls:
Slowest
3.0s
(- (+ (- (* (* (* z x) (* y 18.0)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
107.0ms
(* (* (* z x) (* y 18.0)) t)
32.0ms
(* (* z x) (* y 18.0))
19.0ms
(* 27.0 (* j k))

series685.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
545.0ms
(- (+ (- (* (* (* z x) (* y 18.0)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
61.0ms
(* (* (* z x) (* y 18.0)) t)
49.0ms
(* (* z x) (* y 18.0))
30.0ms
(* 27.0 (* j k))

simplify734.0ms

Counts
99 → 99

prune2.4s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize66.0ms

Local error

Found 4 expressions with local error:

5.5b
(* (* (* (* x 18.0) y) z) t)
5.2b
(* (* (* x 18.0) y) z)
0.2b
(* j (* 27.0 k))
0.2b
(* (* x 18.0) y)

rewrite279.0ms

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

series135.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
52.0ms
(* (* (* (* x 18.0) y) z) t)
30.0ms
(* (* (* x 18.0) y) z)
27.0ms
(* (* x 18.0) y)
25.0ms
(* j (* 27.0 k))

simplify3.7s

Counts
97 → 97

prune2.3s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.0b

regimes3.5s

Accuracy

37.3% (3.2b remaining)

Error of 3.3b against oracle of 0.1b and baseline of 5.2b

bsearch503.0ms

end0.0ms

sample4.6s

Algorithm
intervals
Results
3.4s16262×body80valid