Details

Time bar (total: 22.8s)

sample29.0ms

Algorithm
intervals
Results
19.0ms302×body80valid

simplify3.7s

Counts
1 → 1

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize13.0ms

Local error

Found 1 expressions with local error:

4.6b
(* (/ x z) y)

rewrite19.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:
Slowest
18.0ms
(* (/ x z) y)

series38.0ms

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

simplify1.9s

Counts
36 → 36

prune328.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

3.4b
(* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) z) y))
1.6b
(* (/ (cbrt x) z) y)
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite53.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:
Slowest
41.0ms
(* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) z) y))
9.0ms
(* (/ (cbrt x) z) y)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series779.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
281.0ms
(cbrt x)
276.0ms
(cbrt x)
149.0ms
(* (/ (cbrt x) z) y)
74.0ms
(* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) z) y))

simplify2.4s

Counts
125 → 125

prune1.3s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

3.4b
(* (/ (* (cbrt x) (cbrt x)) 1) (* (* (/ (cbrt x) z) (* (cbrt y) (cbrt y))) (cbrt y)))
1.5b
(* (/ (cbrt x) z) (* (cbrt y) (cbrt y)))
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite294.0ms

Algorithm
rewrite-expression-head
Rules
165×add-exp-log
103×prod-exp
63×cbrt-unprod
58×add-cbrt-cube
36×div-exp
29×associate-*l*
26×add-sqr-sqrt
23×pow1 times-frac
21×*-un-lft-identity add-cube-cbrt
20×cbrt-undiv
16×cbrt-prod
13×pow-prod-down
12×1-exp
6×associate-*l/
4×insert-posit16 add-log-exp
3×unswap-sqr
2×pow1/3 associate-*r* *-commutative div-inv
1×frac-times associate-*r/
Counts
4 → 142
Calls
4 calls:
Slowest
248.0ms
(* (/ (* (cbrt x) (cbrt x)) 1) (* (* (/ (cbrt x) z) (* (cbrt y) (cbrt y))) (cbrt y)))
41.0ms
(* (/ (cbrt x) z) (* (cbrt y) (cbrt y)))
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series649.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
228.0ms
(cbrt x)
225.0ms
(cbrt x)
140.0ms
(* (/ (cbrt x) z) (* (cbrt y) (cbrt y)))
56.0ms
(* (/ (* (cbrt x) (cbrt x)) 1) (* (* (/ (cbrt x) z) (* (cbrt y) (cbrt y))) (cbrt y)))

simplify1.3s

Counts
154 → 154

prune2.3s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0b

localize52.0ms

Local error

Found 4 expressions with local error:

3.4b
(* (/ (* (cbrt x) (cbrt x)) 1) (* (* (/ (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))) z) (* (cbrt y) (cbrt y))) (cbrt y)))
1.5b
(* (/ (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))) z) (* (cbrt y) (cbrt y)))
0.6b
(cbrt (cbrt x))
0.6b
(cbrt (* (cbrt x) (cbrt x)))

rewrite438.0ms

Algorithm
rewrite-expression-head
Rules
247×add-exp-log
157×prod-exp
97×cbrt-unprod
86×add-cbrt-cube
56×div-exp
32×cbrt-undiv
23×pow1
16×1-exp
14×associate-*l*
13×pow-prod-down
11×add-sqr-sqrt
10×cbrt-prod *-un-lft-identity add-cube-cbrt
6×times-frac associate-*l/
4×insert-posit16 add-log-exp
2×pow1/3 associate-*r* *-commutative div-inv
1×frac-times associate-*r/ unswap-sqr
Counts
4 → 146
Calls
4 calls:
Slowest
385.0ms
(* (/ (* (cbrt x) (cbrt x)) 1) (* (* (/ (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))) z) (* (cbrt y) (cbrt y))) (cbrt y)))
36.0ms
(* (/ (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))) z) (* (cbrt y) (cbrt y)))
8.0ms
(cbrt (* (cbrt x) (cbrt x)))
3.0ms
(cbrt (cbrt x))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
461.0ms
(cbrt (* (cbrt x) (cbrt x)))
400.0ms
(cbrt (cbrt x))
161.0ms
(* (/ (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))) z) (* (cbrt y) (cbrt y)))
78.0ms
(* (/ (* (cbrt x) (cbrt x)) 1) (* (* (/ (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))) z) (* (cbrt y) (cbrt y))) (cbrt y)))

simplify1.9s

Counts
158 → 158

prune2.4s

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 0b

regimes729.0ms

Accuracy

77.6% (1.3b remaining)

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

bsearch7.0ms

end0.0ms

sample1.2s

Algorithm
intervals
Results
834.0ms9634×body80valid