Details

Time bar (total: 10.4s)

sample21.0ms

Algorithm
intervals
Results
10.0ms328×body80valid

simplify417.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
089
1139
2209
3349
4479
5559
6669
7879
81209
91499
101699
111809
121989
132079
done2079

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(* z (- 1.0 y))
0.0b
(+ (* x y) (* z (- 1.0 y)))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×*-un-lft-identity
5×associate-*r*
4×pow1 add-exp-log distribute-rgt-in add-cube-cbrt sub-neg associate-+r+ distribute-lft-in add-cbrt-cube add-log-exp
3×associate-*l*
2×associate-*r/
1×+-commutative flip3-- flip3-+ pow-prod-down prod-exp sum-log *-commutative flip-- cbrt-unprod flip-+ distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 41
Calls
2 calls:
38.0ms
(* z (- 1.0 y))
10.0ms
(+ (* x y) (* z (- 1.0 y)))

series83.0ms

Counts
2 → 6
Calls
2 calls:
37.0ms
(* z (- 1.0 y))
45.0ms
(+ (* x y) (* z (- 1.0 y)))

simplify1.6s

Counts
47 → 47
Iterations

Useful iterations: 2 (104.0ms)

IterNodesCost
077459
1195437
2556397
32123397
done5000397

prune126.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x y) (* 1.0 z))
0.0b
(+ (+ (* x y) (* 1.0 z)) (* z (- y)))

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
4×sum-log
2×pow1 add-exp-log +-commutative add-sqr-sqrt add-cube-cbrt *-un-lft-identity flip3-+ distribute-rgt-neg-out add-cbrt-cube flip-+
1×associate-+l+ unsub-neg
Counts
2 → 26
Calls
2 calls:
17.0ms
(+ (* x y) (* 1.0 z))
64.0ms
(+ (+ (* x y) (* 1.0 z)) (* z (- y)))

series102.0ms

Counts
2 → 6
Calls
2 calls:
37.0ms
(+ (* x y) (* 1.0 z))
65.0ms
(+ (+ (* x y) (* 1.0 z)) (* z (- y)))

simplify2.8s

Counts
32 → 32
Iterations

Useful iterations: 3 (922.0ms)

IterNodesCost
054457
1182417
2741361
33173349
done5000349

prune111.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (* y (- x z)) (* 1.0 z))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
4×associate-+l+
3×add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in
1×pow1 add-exp-log +-commutative add-sqr-sqrt add-cube-cbrt *-un-lft-identity flip3-+ sum-log add-cbrt-cube flip-+
Counts
1 → 15
Calls
1 calls:
37.0ms
(+ (* y (- x z)) (* 1.0 z))

series55.0ms

Counts
1 → 3
Calls
1 calls:
55.0ms
(+ (* y (- x z)) (* 1.0 z))

simplify1.2s

Counts
18 → 18
Iterations

Useful iterations: 3 (392.0ms)

IterNodesCost
038246
1119241
2379213
31465203
done5000203

prune55.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(* z (- 1.0 y))
0.0b
(+ (* x y) (* z (- 1.0 y)))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×*-un-lft-identity
5×associate-*r*
4×pow1 add-exp-log distribute-rgt-in add-cube-cbrt sub-neg associate-+r+ distribute-lft-in add-cbrt-cube add-log-exp
3×associate-*l*
2×associate-*r/
1×+-commutative flip3-- flip3-+ pow-prod-down prod-exp sum-log *-commutative flip-- cbrt-unprod flip-+ distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 41
Calls
2 calls:
44.0ms
(* z (- 1.0 y))
11.0ms
(+ (* x y) (* z (- 1.0 y)))

series104.0ms

Counts
2 → 6
Calls
2 calls:
60.0ms
(* z (- 1.0 y))
43.0ms
(+ (* x y) (* z (- 1.0 y)))

simplify2.3s

Counts
47 → 47
Iterations

Useful iterations: 2 (134.0ms)

IterNodesCost
077459
1195437
2556397
32123397
done5000397

prune135.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes31.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
089
1119
done119

end0.0ms

sample1.1s

Algorithm
intervals
Results
669.0ms10130×body80valid