Details

Time bar (total: 7.9s)

sample26.0ms

Algorithm
intervals
Results
12.0ms322×body80valid

simplify74.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01011
11511
22511
33811
45611
57211
68511
79911
810511
910711
done10711

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.0b

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (/ y z) (/ t (- 1.0 z)))
4.7b
(* x (- (/ y z) (/ t (- 1.0 z))))

rewrite122.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt
26×*-un-lft-identity
16×times-frac
10×associate-*r*
8×distribute-lft-out-- difference-of-squares
4×pow1 add-exp-log add-cube-cbrt add-cbrt-cube add-log-exp
3×sub-neg associate-*r/ associate-*l*
2×distribute-rgt-in flip3-- distribute-lft-in frac-sub flip--
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 52
Calls
2 calls:
26.0ms
(- (/ y z) (/ t (- 1.0 z)))
93.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series91.0ms

Counts
2 → 6
Calls
2 calls:
37.0ms
(- (/ y z) (/ t (- 1.0 z)))
53.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify2.1s

Counts
58 → 58
Iterations

Useful iterations: 3 (211.0ms)

IterNodesCost
0106866
1258844
2599782
31525770
44861770
done5000770

prune154.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (/ (* x y) z) (* x (- (/ t (- 1.0 z)))))
2.3b
(* x (- (/ t (- 1.0 z))))
5.4b
(/ (* x y) z)

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
46×associate-*r*
39×add-sqr-sqrt
37×*-un-lft-identity
33×times-frac
25×add-cube-cbrt
21×distribute-lft-neg-in distribute-rgt-neg-in
10×add-exp-log add-cbrt-cube
6×distribute-lft-out-- difference-of-squares
5×pow1 add-log-exp
4×associate-/r/
3×associate-*l* associate-/r* distribute-rgt-neg-out div-inv
2×cbrt-undiv flip3-- associate-*r/ div-exp prod-exp flip-- cbrt-unprod distribute-neg-frac
1×+-commutative neg-mul-1 frac-2neg flip3-+ unsub-neg pow-prod-down frac-add clear-num sum-log *-commutative flip-+ associate-/l* unswap-sqr
Counts
3 → 98
Calls
3 calls:
7.0ms
(+ (/ (* x y) z) (* x (- (/ t (- 1.0 z)))))
37.0ms
(* x (- (/ t (- 1.0 z))))
3.0ms
(/ (* x y) z)

series159.0ms

Counts
3 → 9
Calls
3 calls:
71.0ms
(+ (/ (* x y) z) (* x (- (/ t (- 1.0 z)))))
66.0ms
(* x (- (/ t (- 1.0 z))))
21.0ms
(/ (* x y) z)

simplify801.0ms

Counts
107 → 107
Iterations

Useful iterations: done (798.0ms)

IterNodesCost
02071239
15251134
216561058
done50011055

prune312.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* (* x y) (/ 1 z)) (* x (- (/ t (- 1.0 z)))))
2.3b
(* x (- (/ t (- 1.0 z))))
5.4b
(* (* x y) (/ 1 z))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
59×associate-*r*
44×add-sqr-sqrt
42×*-un-lft-identity
39×times-frac
30×add-cube-cbrt
27×add-exp-log
21×distribute-lft-neg-in distribute-rgt-neg-in
17×add-cbrt-cube
13×prod-exp
10×pow1
7×cbrt-unprod
6×distribute-lft-out-- difference-of-squares
5×associate-*r/ add-log-exp
4×div-exp associate-*l* pow-prod-down associate-/r/
3×distribute-rgt-neg-out div-inv distribute-neg-frac
2×cbrt-undiv rec-exp flip3-- 1-exp frac-add un-div-inv *-commutative flip--
1×+-commutative neg-mul-1 flip3-+ unsub-neg sum-log flip-+ unswap-sqr
Counts
3 → 116
Calls
3 calls:
9.0ms
(+ (* (* x y) (/ 1 z)) (* x (- (/ t (- 1.0 z)))))
37.0ms
(* x (- (/ t (- 1.0 z))))
11.0ms
(* (* x y) (/ 1 z))

series161.0ms

Counts
3 → 9
Calls
3 calls:
72.0ms
(+ (* (* x y) (/ 1 z)) (* x (- (/ t (- 1.0 z)))))
66.0ms
(* x (- (/ t (- 1.0 z))))
22.0ms
(* (* x y) (/ 1 z))

simplify958.0ms

Counts
125 → 125
Iterations

Useful iterations: done (955.0ms)

IterNodesCost
02431521
16651280
220201152
done50011138

prune334.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (/ x (/ z y)) (* x (- (/ t (- 1.0 z)))))
2.3b
(* x (- (/ t (- 1.0 z))))
6.5b
(/ x (/ z y))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
105×times-frac
79×add-sqr-sqrt
77×*-un-lft-identity
65×add-cube-cbrt
46×associate-*r*
21×distribute-lft-neg-in distribute-rgt-neg-in
13×associate-/r*
10×add-exp-log add-cbrt-cube
8×div-inv
6×distribute-lft-out-- difference-of-squares
5×pow1 associate-/r/ add-log-exp
3×cbrt-undiv div-exp associate-*l* distribute-rgt-neg-out associate-/l*
2×flip3-- associate-*r/ flip-- distribute-neg-frac
1×+-commutative neg-mul-1 frac-2neg flip3-+ unsub-neg pow-prod-down frac-add prod-exp clear-num sum-log *-commutative cbrt-unprod flip-+ distribute-lft-out unswap-sqr
Counts
3 → 148
Calls
3 calls:
25.0ms
(+ (/ x (/ z y)) (* x (- (/ t (- 1.0 z)))))
37.0ms
(* x (- (/ t (- 1.0 z))))
5.0ms
(/ x (/ z y))

series161.0ms

Counts
3 → 9
Calls
3 calls:
71.0ms
(+ (/ x (/ z y)) (* x (- (/ t (- 1.0 z)))))
62.0ms
(* x (- (/ t (- 1.0 z))))
27.0ms
(/ x (/ z y))

simplify832.0ms

Counts
157 → 157
Iterations

Useful iterations: done (828.0ms)

IterNodesCost
03071947
17421783
222101695
done50001692

prune457.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

regimes286.0ms

Accuracy

63.6% (1.6b remaining)

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

bsearch2.0ms

simplify14.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03574
15474
26574
37374
47474
done7474

end0.0ms

sample588.0ms

Algorithm
intervals
Results
316.0ms10075×body80valid