Details

Time bar (total: 26.0s)

sample30.0ms

Algorithm
intervals
Results
19.0ms303×body80valid

simplify2.6s

Counts
1 → 1
Iterations
IterNodes
63330
5863
4261
380
238
116
08

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 5.0b

localize7.0ms

Local error

Found 1 expressions with local error:

5.0b
(* (/ y z) x)

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
13×associate-*l*
10×times-frac
9×*-un-lft-identity add-cube-cbrt
6×add-cbrt-cube add-exp-log
3×pow1 associate-*r*
2×prod-exp cbrt-unprod unswap-sqr
1×expm1-log1p-u cbrt-undiv div-exp pow-prod-down associate-*l/ *-commutative insert-posit16 log1p-expm1-u div-inv add-log-exp
Counts
1 → 35
Calls
1 calls:
11.0ms
(* (/ y z) x)

series398.0ms

Counts
1 → 3
Calls
1 calls:
397.0ms
(* (/ y z) x)

simplify2.4s

Counts
38 → 38
Iterations
IterNodes
43730
31137
2408
1160
071

prune377.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

1.5b
(* (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) x))
11.7b
(cbrt (/ y z))
11.7b
(cbrt (/ y z))
11.7b
(cbrt (/ y z))

rewrite80.0ms

Algorithm
rewrite-expression-head
Rules
39×cbrt-prod
27×times-frac
25×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
16×pow1 add-exp-log
15×cbrt-div
10×add-cbrt-cube
9×associate-*l/
8×pow-prod-down prod-exp cbrt-unprod
5×frac-times
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3 associate-*r/ div-inv
1×associate-*r* associate-*l* *-commutative
Counts
4 → 107
Calls
4 calls:
70.0ms
(* (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) x))
3.0ms
(cbrt (/ y z))
3.0ms
(cbrt (/ y z))
3.0ms
(cbrt (/ y z))

series340.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(* (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) x))
117.0ms
(cbrt (/ y z))
89.0ms
(cbrt (/ y z))
109.0ms
(cbrt (/ y z))

simplify4.3s

Counts
119 → 119
Iterations
IterNodes
45971
31939
2692
1269
0127

prune1.5s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
1.5b
(* (* (cbrt (/ y z)) (cbrt (/ y z))) (* (/ (cbrt y) (cbrt z)) x))
11.7b
(cbrt (/ y z))
11.7b
(cbrt (/ y z))

rewrite80.0ms

Algorithm
rewrite-expression-head
Rules
29×cbrt-prod
25×add-exp-log
19×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
18×times-frac
16×pow1
15×add-cbrt-cube
13×prod-exp cbrt-unprod
10×cbrt-div
9×associate-*l/
8×pow-prod-down
5×frac-times
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3 associate-*r/
2×cbrt-undiv div-exp div-inv
1×associate-*r* associate-*l* *-commutative
Counts
4 → 100
Calls
4 calls:
1.0ms
(cbrt z)
72.0ms
(* (* (cbrt (/ y z)) (cbrt (/ y z))) (* (/ (cbrt y) (cbrt z)) x))
3.0ms
(cbrt (/ y z))
3.0ms
(cbrt (/ y z))

series618.0ms

Counts
4 → 12
Calls
4 calls:
349.0ms
(cbrt z)
38.0ms
(* (* (cbrt (/ y z)) (cbrt (/ y z))) (* (/ (cbrt y) (cbrt z)) x))
100.0ms
(cbrt (/ y z))
131.0ms
(cbrt (/ y z))

simplify2.0s

Counts
112 → 112
Iterations
IterNodes
35510
21106
1349
0156

prune1.5s

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 0.0b

localize65.0ms

Local error

Found 4 expressions with local error:

1.5b
(* (* (* (cbrt (/ 1 (* (cbrt z) (cbrt z)))) (cbrt (/ y (cbrt z)))) (cbrt (/ y z))) (* (cbrt (/ y z)) x))
4.3b
(cbrt (/ y (cbrt z)))
11.7b
(cbrt (/ y z))
11.7b
(cbrt (/ y z))

rewrite192.0ms

Algorithm
rewrite-expression-head
Rules
57×cbrt-prod
36×times-frac
35×cbrt-div
31×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
25×pow1 associate-*l/ add-exp-log
17×frac-times
15×pow-prod-down prod-exp cbrt-unprod
14×add-cbrt-cube
7×associate-*r/
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3 div-inv
1×associate-*r* associate-*l* *-commutative
Counts
4 → 130
Calls
4 calls:
169.0ms
(* (* (* (cbrt (/ 1 (* (cbrt z) (cbrt z)))) (cbrt (/ y (cbrt z)))) (cbrt (/ y z))) (* (cbrt (/ y z)) x))
4.0ms
(cbrt (/ y (cbrt z)))
3.0ms
(cbrt (/ y z))
12.0ms
(cbrt (/ y z))

series403.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(* (* (* (cbrt (/ 1 (* (cbrt z) (cbrt z)))) (cbrt (/ y (cbrt z)))) (cbrt (/ y z))) (* (cbrt (/ y z)) x))
206.0ms
(cbrt (/ y (cbrt z)))
92.0ms
(cbrt (/ y z))
80.0ms
(cbrt (/ y z))

simplify4.5s

Counts
142 → 142
Iterations
IterNodes
37792
21766
1538
0241

prune2.4s

Pruning

10 alts after pruning (6 fresh and 4 done)

Merged error: 0.0b

regimes466.0ms

Accuracy

71.6% (1.7b remaining)

Error of 1.7b against oracle of 0.0b and baseline of 5.8b

bsearch4.0ms

simplify5.0ms

Iterations
IterNodes
427
327
224
121
016

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.3s9684×body80valid