Details

Time bar (total: 16.0s)

sample35.0ms

Algorithm
intervals
Results
17.0ms273×body80valid

simplify571.0ms

Counts
1 → 1

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.3b

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (- y z) t)
11.2b
(/ (* (- y z) t) (- a z))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
12×*-un-lft-identity
9×add-exp-log add-cbrt-cube
6×add-cube-cbrt
5×times-frac associate-*l* associate-/r*
4×pow1 associate-*l/
3×flip3-- associate-*r* flip-- distribute-lft-out-- difference-of-squares
2×cbrt-undiv div-exp prod-exp associate-/r/ cbrt-unprod associate-/l/ add-log-exp
1×frac-2neg pow-prod-down clear-num *-commutative div-inv associate-/l* unswap-sqr
Counts
2 → 51
Calls
2 calls:
22.0ms
(* (- y z) t)
24.0ms
(/ (* (- y z) t) (- a z))

series132.0ms

Counts
2 → 6
Calls
2 calls:
48.0ms
(* (- y z) t)
84.0ms
(/ (* (- y z) t) (- a z))

simplify458.0ms

Counts
57 → 57

prune134.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- a z))
0.6b
(cbrt (- a z))
0.6b
(cbrt (- a z))
4.7b
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ t (cbrt (- a z))))

rewrite143.0ms

Algorithm
rewrite-expression-head
Rules
54×add-sqr-sqrt
38×*-un-lft-identity
36×times-frac
32×cbrt-prod
30×associate-*r*
25×add-exp-log
24×add-cube-cbrt
20×cbrt-div
18×add-cbrt-cube
17×associate-*l*
10×flip3-- associate-/r/ flip--
8×prod-exp cbrt-unprod
7×cbrt-undiv div-exp distribute-lft-out-- difference-of-squares
6×pow1 unswap-sqr
5×frac-times
4×add-log-exp
3×pow1/3 associate-*r/ associate-*l/
2×div-inv
1×pow-prod-down *-commutative
Counts
4 → 122
Calls
4 calls:
5.0ms
(cbrt (- a z))
4.0ms
(cbrt (- a z))
4.0ms
(cbrt (- a z))
123.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ t (cbrt (- a z))))

series688.0ms

Counts
4 → 12
Calls
4 calls:
193.0ms
(cbrt (- a z))
184.0ms
(cbrt (- a z))
163.0ms
(cbrt (- a z))
147.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ t (cbrt (- a z))))

simplify981.0ms

Counts
134 → 134

prune550.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- y z))
0.6b
(cbrt (- y z))
0.9b
(* (/ (cbrt (- y z)) (cbrt (- a z))) (/ t (cbrt (- a z))))
3.4b
(* (/ (* (cbrt (- y z)) (cbrt (- y z))) (cbrt (- a z))) (* (/ (cbrt (- y z)) (cbrt (- a z))) (/ t (cbrt (- a z)))))

rewrite407.0ms

Algorithm
rewrite-expression-head
Rules
153×add-sqr-sqrt
127×cbrt-prod
118×times-frac
101×*-un-lft-identity
85×add-exp-log
84×associate-*l*
57×add-cube-cbrt
41×add-cbrt-cube
36×prod-exp cbrt-unprod
31×associate-*r*
26×cbrt-undiv div-exp
22×distribute-lft-out-- difference-of-squares
15×unswap-sqr
11×pow1
10×cbrt-div
6×frac-times associate-*r/ associate-/r/
5×flip3-- flip--
4×pow-prod-down associate-*l/ add-log-exp
3×div-inv
2×pow1/3 *-commutative
Counts
4 → 227
Calls
4 calls:
6.0ms
(cbrt (- y z))
6.0ms
(cbrt (- y z))
154.0ms
(* (/ (cbrt (- y z)) (cbrt (- a z))) (/ t (cbrt (- a z))))
216.0ms
(* (/ (* (cbrt (- y z)) (cbrt (- y z))) (cbrt (- a z))) (* (/ (cbrt (- y z)) (cbrt (- a z))) (/ t (cbrt (- a z)))))

series2.0s

Counts
4 → 12
Calls
4 calls:
177.0ms
(cbrt (- y z))
214.0ms
(cbrt (- y z))
1.4s
(* (/ (cbrt (- y z)) (cbrt (- a z))) (/ t (cbrt (- a z))))
154.0ms
(* (/ (* (cbrt (- y z)) (cbrt (- y z))) (cbrt (- a z))) (* (/ (cbrt (- y z)) (cbrt (- a z))) (/ t (cbrt (- a z)))))

simplify1.4s

Counts
239 → 239

prune985.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

localize43.0ms

Local error

Found 4 expressions with local error:

2.0b
(cbrt (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))))
2.0b
(cbrt (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))))
2.0b
(cbrt (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))))
2.4b
(* (cbrt (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z))))) (/ t (cbrt (- a z))))

rewrite210.0ms

Algorithm
rewrite-expression-head
Rules
92×cbrt-prod
66×add-sqr-sqrt
55×cbrt-div
53×times-frac
42×*-un-lft-identity
34×associate-/r/
30×associate-*r*
28×add-cube-cbrt
25×flip3-- flip--
20×associate-*l*
17×frac-times
9×add-exp-log associate-*r/ associate-*l/ unswap-sqr
7×distribute-lft-out-- difference-of-squares
6×pow1 add-cbrt-cube
5×div-inv
4×add-log-exp
3×pow1/3
2×prod-exp cbrt-unprod
1×cbrt-undiv div-exp pow-prod-down *-commutative
Counts
4 → 153
Calls
4 calls:
21.0ms
(cbrt (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))))
20.0ms
(cbrt (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))))
24.0ms
(cbrt (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))))
129.0ms
(* (cbrt (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z))))) (/ t (cbrt (- a z))))

series3.3s

Counts
4 → 12
Calls
4 calls:
494.0ms
(cbrt (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))))
501.0ms
(cbrt (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))))
419.0ms
(cbrt (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))))
1.9s
(* (cbrt (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z))))) (/ t (cbrt (- a z))))

simplify782.0ms

Counts
165 → 165

prune979.0ms

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0b

regimes325.0ms

Accuracy

-964.7% (10.7b remaining)

Error of 10.7b against oracle of 0.0b and baseline of 1.0b

bsearch2.0ms

simplify545.0ms

end0.0ms

sample1.3s

Algorithm
intervals
Results
529.0ms8721×body80valid
0.0ms1×body160valid