Details

Time bar (total: 17.0s)

sample53.0ms

Algorithm
intervals
Results
37.0ms310×body80valid

simplify2.3s

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

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 6.8b

localize12.0ms

Local error

Found 1 expressions with local error:

6.8b
(* (/ y z) x)

rewrite10.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×cbrt-undiv div-exp pow-prod-down associate-*l/ *-commutative insert-posit16 div-inv add-log-exp
Counts
1 → 33
Calls
1 calls:
9.0ms
(* (/ y z) x)

series23.0ms

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

simplify1.9s

Counts
36 → 36
Iterations
IterNodes
43719
31079
2398
1159
069

prune289.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
2.1b
(* (/ (cbrt y) z) x)
2.4b
(* (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) x))

rewrite80.0ms

Algorithm
rewrite-expression-head
Rules
66×add-exp-log
35×add-cbrt-cube
33×prod-exp
30×add-sqr-sqrt
29×associate-*l*
23×times-frac
22×*-un-lft-identity add-cube-cbrt
20×cbrt-unprod
18×div-exp
16×cbrt-prod
11×pow1
10×cbrt-undiv
6×1-exp
4×associate-*r* pow-prod-down associate-*l/ insert-posit16 add-log-exp
3×unswap-sqr
2×pow1/3 *-commutative div-inv
1×frac-times associate-*r/
Counts
4 → 113
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
21.0ms
(* (/ (cbrt y) z) x)
53.0ms
(* (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) x))

series759.0ms

Counts
4 → 12
Calls
4 calls:
268.0ms
(cbrt y)
228.0ms
(cbrt y)
182.0ms
(* (/ (cbrt y) z) x)
81.0ms
(* (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) x))

simplify2.2s

Counts
125 → 125
Iterations
IterNodes
34770
21252
1451
0169

prune1.2s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
2.1b
(* (/ (cbrt y) z) x)
2.1b
(* (/ (cbrt y) 1) (* (/ (cbrt y) z) x))

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
44×associate-*l*
41×add-sqr-sqrt
39×add-exp-log
38×times-frac
33×*-un-lft-identity add-cube-cbrt
25×cbrt-prod
24×add-cbrt-cube
17×prod-exp
12×cbrt-unprod
11×pow1
10×div-exp
6×cbrt-undiv
4×associate-*r* pow-prod-down associate-*l/ insert-posit16 add-log-exp
3×1-exp unswap-sqr
2×pow1/3 *-commutative div-inv
1×frac-times associate-*r/
Counts
4 → 119
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
20.0ms
(* (/ (cbrt y) z) x)
49.0ms
(* (/ (cbrt y) 1) (* (/ (cbrt y) z) x))

series948.0ms

Counts
4 → 12
Calls
4 calls:
264.0ms
(cbrt y)
257.0ms
(cbrt y)
193.0ms
(* (/ (cbrt y) z) x)
234.0ms
(* (/ (cbrt y) 1) (* (/ (cbrt y) z) x))

simplify1.6s

Counts
131 → 131
Iterations
IterNodes
34167
21167
1474
0174

prune1.6s

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 1 expressions with local error:

6.1b
(* y (/ x z))

rewrite17.0ms

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

series27.0ms

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

simplify1.3s

Counts
36 → 36
Iterations
IterNodes
43156
31089
2458
1169
071

prune364.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0.0b

regimes369.0ms

Accuracy

70.8% (1.5b remaining)

Error of 1.5b against oracle of 0.0b and baseline of 5.2b

bsearch2.0ms

simplify6.0ms

Iterations
IterNodes
228
128
022

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.5s9522×body80valid