Details

Time bar (total: 7.7s)

sample39.0ms

Algorithm
intervals
Results
16.0ms348×body80valid

simplify2.5s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
099
1209
2409
3549
4759
51079
61719
72789
84779
97429
109029
1110569
1211479
1312479
1413979
1515409
1616849
1718319
1819899
1921479
2023059
2124589
2226169
2327719
2429309
2530879
2632369
2733849
2835359
2936889
3038429
3139969
3241519
3343059
3444629
3546189
3647689
3749189
done50009

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.5b

Counts
2 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

0.5b
(/ (- (+ x y) z) (* t 2.0))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
13×*-un-lft-identity
7×add-sqr-sqrt
6×add-exp-log times-frac add-cbrt-cube associate-/l*
4×distribute-lft-out--
3×add-cube-cbrt
2×cbrt-undiv div-exp associate-/l/ distribute-lft-out difference-of-squares
1×pow1 flip3-- frac-2neg div-sub prod-exp clear-num associate-/r* flip-- cbrt-unprod div-inv add-log-exp
Counts
1 → 30
Calls
1 calls:
10.0ms
(/ (- (+ x y) z) (* t 2.0))

series12.0ms

Counts
1 → 3
Calls
1 calls:
12.0ms
(/ (- (+ x y) z) (* t 2.0))

simplify802.0ms

Counts
33 → 33
Iterations

Useful iterations: done (801.0ms)

IterNodesCost
078418
1203412
2693359
32784353
done5000352

prune51.0ms

Filtered
23 candidates to 33 candidates (-43.5%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New30333
Fresh000
Picked101
Done000
Total31334

Merged error: 0.0b

Counts
34 → 3

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ (- (+ x y) z) t)

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
32×*-un-lft-identity
20×add-sqr-sqrt
18×times-frac
12×add-cube-cbrt
8×distribute-lft-out--
6×associate-/l*
4×distribute-lft-out difference-of-squares
3×add-exp-log associate-/r* add-cbrt-cube
2×associate-/l/
1×pow1 cbrt-undiv flip3-- frac-2neg div-sub div-exp clear-num flip-- div-inv add-log-exp
Counts
1 → 42
Calls
1 calls:
9.0ms
(/ (- (+ x y) z) t)

series9.0ms

Counts
1 → 3
Calls
1 calls:
9.0ms
(/ (- (+ x y) z) t)

simplify491.0ms

Counts
45 → 45
Iterations

Useful iterations: done (489.0ms)

IterNodesCost
079552
1176535
2460509
31449505
done5000504

prune48.0ms

Filtered
31 candidates to 45 candidates (-45.2%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New44145
Fresh112
Picked011
Done000
Total45348

Merged error: 0b

Counts
48 → 3

localize8.0ms

Local error

Found 2 expressions with local error:

0.4b
(/ 1 (/ (* t 2.0) (- (+ x y) z)))
0.5b
(/ (* t 2.0) (- (+ x y) z))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
66×times-frac
55×*-un-lft-identity
37×add-sqr-sqrt
28×add-exp-log
25×add-cube-cbrt
18×associate-/r*
16×add-cbrt-cube
14×div-exp
12×distribute-lft-out--
11×associate-/r/
7×cbrt-undiv
6×div-inv distribute-lft-out difference-of-squares
5×flip3-- flip--
4×prod-exp associate-/l*
3×pow1 rec-exp 1-exp
2×frac-2neg clear-num cbrt-unprod add-log-exp
1×pow-flip inv-pow
Counts
2 → 105
Calls
2 calls:
12.0ms
(/ 1 (/ (* t 2.0) (- (+ x y) z)))
10.0ms
(/ (* t 2.0) (- (+ x y) z))

series30.0ms

Counts
2 → 6
Calls
2 calls:
14.0ms
(/ 1 (/ (* t 2.0) (- (+ x y) z)))
16.0ms
(/ (* t 2.0) (- (+ x y) z))

simplify711.0ms

Counts
111 → 111
Iterations

Useful iterations: done (708.0ms)

IterNodesCost
01721834
14321685
216051516
done50011444

prune83.0ms

Filtered
57 candidates to 111 candidates (-94.7%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1110111
Fresh011
Picked011
Done011
Total1113114

Merged error: 0b

Counts
114 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (cbrt (/ (- (+ x y) z) t)) (cbrt (/ (- (+ x y) z) t)))
2.0b
(cbrt (/ (- (+ x y) z) t))
2.0b
(cbrt (/ (- (+ x y) z) t))
2.0b
(cbrt (/ (- (+ x y) z) t))

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
267×*-un-lft-identity
202×cbrt-prod
168×times-frac
156×add-sqr-sqrt
90×add-cube-cbrt
66×distribute-lft-out--
43×swap-sqr
33×distribute-lft-out
25×associate-*r* associate-*l*
21×difference-of-squares
11×pow1
9×pow1/3 unswap-sqr
7×cbrt-div div-inv
6×add-exp-log
4×add-cbrt-cube add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 frac-times pow-plus associate-*r/ associate-*l/ prod-exp *-commutative cbrt-unprod
Counts
4 → 216
Calls
4 calls:
34.0ms
(* (cbrt (/ (- (+ x y) z) t)) (cbrt (/ (- (+ x y) z) t)))
8.0ms
(cbrt (/ (- (+ x y) z) t))
8.0ms
(cbrt (/ (- (+ x y) z) t))
8.0ms
(cbrt (/ (- (+ x y) z) t))

series279.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(* (cbrt (/ (- (+ x y) z) t)) (cbrt (/ (- (+ x y) z) t)))
63.0ms
(cbrt (/ (- (+ x y) z) t))
62.0ms
(cbrt (/ (- (+ x y) z) t))
64.0ms
(cbrt (/ (- (+ x y) z) t))

simplify863.0ms

Counts
228 → 228
Iterations

Useful iterations: done (851.0ms)

IterNodesCost
02314935
14324692
213474500
335924278
done50004247

prune208.0ms

Filtered
144 candidates to 228 candidates (-58.3%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New2280228
Fresh000
Picked011
Done022
Total2283231

Merged error: 0b

Counts
231 → 3

regimes366.0ms

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
099
1109
done109

end0.0ms

sample955.0ms

Algorithm
intervals
Results
373.0ms10910×body80valid

Profiling

Loading profile data...