Details

Time bar (total: 7.7s)

sample30.0ms

Algorithm
intervals
Results
11.0ms329×body80valid

simplify366.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

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 1 expressions with local error:

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

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
4×associate-+r+
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:
10.0ms
(+ (* x y) (* z (- 1.0 y)))

series47.0ms

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

simplify1.1s

Counts
18 → 18
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
036242
1114235
2387211
31673211
done5000211

prune40.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x y) (* x y))
1.0b
(+ (* (* x y) (* x y)) (* (* z (- 1.0 y)) (- (* z (- 1.0 y)) (* x y))))
2.5b
(+ (pow (* x y) 3) (pow (* z (- 1.0 y)) 3))
41.6b
(/ (+ (pow (* x y) 3) (pow (* z (- 1.0 y)) 3)) (+ (* (* x y) (* x y)) (* (* z (- 1.0 y)) (- (* z (- 1.0 y)) (* x y)))))

rewrite286.0ms

Algorithm
rewrite-expression-head
Rules
43×pow1
24×*-un-lft-identity
18×add-exp-log add-cbrt-cube
17×pow-prod-down
15×times-frac
14×add-sqr-sqrt add-cube-cbrt
12×associate-+r+
10×distribute-rgt-in distribute-lft-in
8×prod-exp associate--l+ cbrt-unprod add-log-exp
6×sub-neg
5×sum-cubes distribute-lft-out associate-/l*
4×flip3-+ pow-sqr pow-prod-up flip-+
3×associate-/r*
2×+-commutative pow-plus sum-log associate-/r/ associate-/l/
1×cbrt-undiv pow2 frac-2neg swap-sqr div-exp associate-*r* associate-*l* clear-num *-commutative div-inv
Counts
4 → 109
Calls
4 calls:
47.0ms
(* (* x y) (* x y))
59.0ms
(+ (* (* x y) (* x y)) (* (* z (- 1.0 y)) (- (* z (- 1.0 y)) (* x y))))
26.0ms
(+ (pow (* x y) 3) (pow (* z (- 1.0 y)) 3))
147.0ms
(/ (+ (pow (* x y) 3) (pow (* z (- 1.0 y)) 3)) (+ (* (* x y) (* x y)) (* (* z (- 1.0 y)) (- (* z (- 1.0 y)) (* x y)))))

series614.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(* (* x y) (* x y))
141.0ms
(+ (* (* x y) (* x y)) (* (* z (- 1.0 y)) (- (* z (- 1.0 y)) (* x y))))
170.0ms
(+ (pow (* x y) 3) (pow (* z (- 1.0 y)) 3))
254.0ms
(/ (+ (pow (* x y) 3) (pow (* z (- 1.0 y)) 3)) (+ (* (* x y) (* x y)) (* (* z (- 1.0 y)) (- (* z (- 1.0 y)) (* x y)))))

simplify1.5s

Counts
121 → 121
Iterations

Useful iterations: 2 (453.0ms)

IterNodesCost
01803712
14753439
221633201
done50023201

prune403.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite52.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-+l+ 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:
30.0ms
(* y (- x z))
19.0ms
(+ (* y (- x z)) (* 1.0 z))

series95.0ms

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

simplify1.9s

Counts
47 → 47
Iterations

Useful iterations: 3 (724.0ms)

IterNodesCost
077463
1195431
2620399
32708389
done5000389

prune100.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes59.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

sample984.0ms

Algorithm
intervals
Results
486.0ms10093×body80valid