Details

Time bar (total: 10.4s)

sample52.0ms

Algorithm
intervals
Results
21.0ms355×body80valid

simplify2.6s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
099
1209
2419
3579
4769
51109
62199
75259
815169
949449
done50009

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize8.0ms

Local error

Found 1 expressions with local error:

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

rewrite123.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:
121.0ms
(/ (- (+ x y) z) (* t 2.0))

series59.0ms

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

simplify2.2s

Counts
33 → 33
Iterations

Useful iterations: 3 (841.0ms)

IterNodesCost
078418
1201411
2717355
33947353
done5000353

prune71.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize8.0ms

Local error

Found 1 expressions with local error:

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

rewrite89.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:
86.0ms
(/ (- (+ x y) z) t)

series50.0ms

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

simplify2.2s

Counts
45 → 45
Iterations

Useful iterations: 3 (657.0ms)

IterNodesCost
079552
1181535
2650507
34673505
done5000505

prune117.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize12.0ms

Local error

Found 1 expressions with local error:

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

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
17×add-sqr-sqrt
16×times-frac
7×distribute-lft-out--
5×add-cube-cbrt
4×difference-of-squares
3×distribute-lft-out add-log-exp
2×div-inv
1×pow1 add-exp-log sub-neg flip3-- distribute-rgt-out-- diff-log frac-sub add-cbrt-cube flip-- sub-div
Counts
1 → 26
Calls
1 calls:
81.0ms
(- (/ (+ x y) t) (/ z t))

series30.0ms

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

simplify1.2s

Counts
29 → 29
Iterations

Useful iterations: 4 (521.0ms)

IterNodesCost
063411
1135406
2305386
3770384
42310382
done5000382

prune77.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes127.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
099
1109
done109

end0.0ms

sample1.2s

Algorithm
intervals
Results
442.0ms10928×body80valid