Details

sample31.0ms

Algorithm

intervals

Results

17.0ms

316×

body

valid

simplify109.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	205
1	15	205
2	25	205
3	39	205
4	58	205
5	73	205
6	85	205
7	99	205
8	105	205
9	108	205
done	108	205

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.2b

localize26.0ms

Local error

Found 2 expressions with local error:

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

rewrite198.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-cbrt-cube` `add-exp-log` `add-cube-cbrt` `add-log-exp`
3×	`sub-neg` `associate-l` `associate-*r/`
2×	`distribute-rgt-in` `distribute-lft-in` `flip3--` `frac-sub` `flip--`
1×	`diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

2 → 52

Calls

2 calls:

35.0ms	(- (/ y z) (/ t (- 1.0 z)))
162.0ms	(* x (- (/ y z) (/ t (- 1.0 z))))

series116.0ms

Counts

2 → 6

Calls

2 calls:

48.0ms	(- (/ y z) (/ t (- 1.0 z)))
68.0ms	(* x (- (/ y z) (/ t (- 1.0 z))))

simplify3.4s

Counts

58 → 58

Iterations

Useful iterations: 3 (1.0s)

Iter	Nodes	Cost
0	106	17211
1	268	15541
2	775	15541
3	2981	15305
done	5008	15305

prune425.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize24.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* (/ y z) x) (* (- (/ t (- 1.0 z))) x))
2.1b	(* (- (/ t (- 1.0 z))) x)
7.7b	(* (/ y z) x)

rewrite109.0ms

Algorithm

rewrite-expression-head

Rules

59×	`associate-l`
50×	`add-sqr-sqrt`
43×	`*-un-lft-identity`
40×	`times-frac`
31×	`add-cube-cbrt`
21×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
10×	`add-cbrt-cube` `add-exp-log`
7×	`pow1`
6×	`associate-r` `distribute-lft-out--` `difference-of-squares`
5×	`add-log-exp`
4×	`associate-*l/` `associate-/r/`
3×	`distribute-lft-neg-out` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr`
2×	`flip3--` `pow-prod-down` `*-commutative` `flip--` `distribute-neg-frac`
1×	`cbrt-undiv` `+-commutative` `neg-mul-1` `sum-log` `flip3-+` `distribute-rgt-out` `div-exp` `unsub-neg` `frac-add` `flip-+`

Counts

3 → 110

Calls

3 calls:

19.0ms	(+ (* (/ y z) x) (* (- (/ t (- 1.0 z))) x))
68.0ms	(* (- (/ t (- 1.0 z))) x)
14.0ms	(* (/ y z) x)

series150.0ms

Counts

3 → 9

Calls

3 calls:

59.0ms	(+ (* (/ y z) x) (* (- (/ t (- 1.0 z))) x))
67.0ms	(* (- (/ t (- 1.0 z))) x)
24.0ms	(* (/ y z) x)

simplify2.0s

Counts

119 → 119

Iterations

Useful iterations: done (2.0s)

Iter	Nodes	Cost
0	216	27557
1	549	25027
2	1994	24144
done	5001	23906

prune917.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.1b

localize90.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt z)
0.6b	(cbrt z)
0.8b	(* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) x))
2.1b	(* (- (/ t (- 1.0 z))) x)

rewrite172.0ms

Algorithm

rewrite-expression-head

Rules

75×	`add-exp-log`
51×	`associate-l`
41×	`add-sqr-sqrt` `add-cbrt-cube`
39×	`*-un-lft-identity`
38×	`prod-exp` `cbrt-unprod`
31×	`times-frac`
27×	`add-cube-cbrt`
21×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
17×	`cbrt-undiv` `div-exp`
11×	`pow1`
6×	`cbrt-prod` `distribute-lft-out--` `difference-of-squares`
4×	`associate-r` `pow-prod-down` `associate-*l/` `associate-/r/` `add-log-exp`
3×	`div-inv`
2×	`flip3--` `pow1/3` `*-commutative` `flip--`
1×	`distribute-lft-neg-out` `frac-times` `neg-mul-1` `associate-*r/` `distribute-neg-frac` `unswap-sqr`

Counts

4 → 134

Calls

4 calls:

1.0ms	(cbrt z)
1.0ms	(cbrt z)
86.0ms	(* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) x))
72.0ms	(* (- (/ t (- 1.0 z))) x)

series583.0ms

Counts

4 → 12

Calls

4 calls:

227.0ms	(cbrt z)
234.0ms	(cbrt z)
40.0ms	(* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) x))
81.0ms	(* (- (/ t (- 1.0 z))) x)

simplify3.8s

Counts

146 → 146

Iterations

Useful iterations: done (3.8s)

Iter	Nodes	Cost
0	247	46898
1	712	39708
2	3143	38227
done	5008	32627

prune939.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize98.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt z)
0.6b	(cbrt z)
0.8b	(* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) x))
3.3b	(* (- t) (/ x (- 1.0 z)))

rewrite143.0ms

Algorithm

rewrite-expression-head

Rules

78×	`add-exp-log`
44×	`add-cbrt-cube`
39×	`prod-exp` `cbrt-unprod`
30×	`add-sqr-sqrt`
25×	`*-un-lft-identity`
22×	`associate-r`
19×	`add-cube-cbrt`
18×	`cbrt-undiv` `div-exp`
17×	`times-frac`
15×	`associate-l`
11×	`pow1`
6×	`cbrt-prod`
4×	`pow-prod-down` `add-log-exp`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in` `associate-*l/` `distribute-lft-out--` `difference-of-squares`
2×	`pow1/3` `associate-r/` `associate-/r/` `-commutative` `div-inv` `unswap-sqr`
1×	`distribute-lft-neg-out` `frac-times` `neg-mul-1` `flip3--` `flip--`

Counts

4 → 119

Calls

4 calls:

1.0ms	(cbrt z)
1.0ms	(cbrt z)
83.0ms	(* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) x))
54.0ms	(* (- t) (/ x (- 1.0 z)))

series617.0ms

Counts

4 → 12

Calls

4 calls:

250.0ms	(cbrt z)
265.0ms	(cbrt z)
23.0ms	(* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ (cbrt y) (cbrt z)) x))
79.0ms	(* (- t) (/ x (- 1.0 z)))

simplify3.2s

Counts

131 → 131

Iterations

Useful iterations: done (3.2s)

Iter	Nodes	Cost
0	232	45065
1	738	37268
2	3072	35506
done	5004	24146

prune713.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

regimes707.0ms

Accuracy

36.3% (2.9b remaining)

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

bsearch3.0ms

simplify35.0ms

Iterations

Useful iterations: 1 (15.0ms)

Iter	Nodes	Cost
0	31	1068
1	48	1027
2	56	1027
3	59	1027
done	59	1027

end0.0ms

sample1.2s

Algorithm

intervals

Results

673.0ms

10116×

body

valid