Details

Time bar (total: 8.2s)

sample22.0ms

Algorithm
intervals
Results
9.0ms322×body80valid

simplify77.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.0b

localize9.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))))

rewrite126.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:
28.0ms
(- (/ y z) (/ t (- 1.0 z)))
95.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series100.0ms

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

simplify2.2s

Counts
58 → 58
Iterations

Useful iterations: 3 (229.0ms)

IterNodesCost
0106866
1258844
2599782
31525770
44861770
done5000770

prune174.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize11.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)

rewrite51.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)))))
36.0ms
(* x (- (/ t (- 1.0 z))))
4.0ms
(/ (* x y) z)

series177.0ms

Counts
3 → 9
Calls
3 calls:
79.0ms
(+ (/ (* x y) z) (* x (- (/ t (- 1.0 z)))))
69.0ms
(* x (- (/ t (- 1.0 z))))
28.0ms
(/ (* x y) z)

simplify853.0ms

Counts
107 → 107
Iterations

Useful iterations: done (850.0ms)

IterNodesCost
02071239
15251134
216561058
done50011055

prune339.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.0b

localize12.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))

rewrite63.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:
8.0ms
(+ (* (* x y) (/ 1 z)) (* x (- (/ t (- 1.0 z)))))
35.0ms
(* x (- (/ t (- 1.0 z))))
11.0ms
(* (* x y) (/ 1 z))

series157.0ms

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

simplify967.0ms

Counts
125 → 125
Iterations

Useful iterations: done (962.0ms)

IterNodesCost
02431521
16651280
220201152
done50011138

prune354.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))

rewrite77.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:
29.0ms
(+ (/ x (/ z y)) (* x (- (/ t (- 1.0 z)))))
35.0ms
(* x (- (/ t (- 1.0 z))))
5.0ms
(/ x (/ z y))

series157.0ms

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

simplify857.0ms

Counts
157 → 157
Iterations

Useful iterations: done (853.0ms)

IterNodesCost
03071947
17421783
222101695
done50001692

prune478.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

regimes299.0ms

Accuracy

63.6% (1.6b remaining)

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

bsearch2.0ms

simplify7.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
02666
13953
24653
34853
done4853

end0.0ms

sample566.0ms

Algorithm
intervals
Results
302.0ms10075×body80valid