Details

sample46.0ms

Algorithm

intervals

Results

20.0ms

333×

body

valid

simplify1.5s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
5	1773
4	518
3	179
2	65
1	21
0	9

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- 1.0 x) y)
0.0b	(/ (- 3.0 x) 3.0)
0.1b	(* (/ (- 3.0 x) 3.0) (/ (- 1.0 x) y))

rewrite92.0ms

Algorithm

rewrite-expression-head

Rules

81×	`add-sqr-sqrt`
69×	`*-un-lft-identity`
64×	`times-frac`
41×	`add-cube-cbrt`
19×	`add-cbrt-cube` `associate-r` `associate-l` `add-exp-log`
14×	`distribute-lft-out--` `difference-of-squares`
10×	`associate-/l*`
6×	`cbrt-undiv` `associate-/r*` `div-exp`
5×	`pow1`
4×	`prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr` `associate-/l/`
3×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
2×	`clear-num` `frac-2neg` `flip3--` `div-sub` `flip--`
1×	`frac-times` `pow-prod-down` `associate-l/` `associate-r/` `*-commutative`

Counts

3 → 144

Calls

3 calls:

14.0ms	(/ (- 1.0 x) y)
14.0ms	(/ (- 3.0 x) 3.0)
56.0ms	(* (/ (- 3.0 x) 3.0) (/ (- 1.0 x) y))

series167.0ms

Counts

3 → 9

Calls

3 calls:

46.0ms	(/ (- 1.0 x) y)
59.0ms	(/ (- 3.0 x) 3.0)
62.0ms	(* (/ (- 3.0 x) 3.0) (/ (- 1.0 x) y))

simplify1.5s

Counts

153 → 153

Iterations

Iter	Nodes
done	5000
2	3099
1	590
0	208

prune859.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize20.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- 1.0 x) y)
0.0b	(/ (- (- 3.0 x)) (- 3.0))
0.1b	(* (/ (- (- 3.0 x)) (- 3.0)) (/ (- 1.0 x) y))

rewrite300.0ms

Algorithm

rewrite-expression-head

Rules

314×	`times-frac`
283×	`add-sqr-sqrt`
271×	`*-un-lft-identity`
192×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
173×	`add-cube-cbrt`
144×	`associate-l`
50×	`neg-mul-1`
49×	`distribute-lft-out--` `difference-of-squares`
19×	`add-cbrt-cube` `associate-r` `add-exp-log` `associate-/l*`
13×	`associate-/r*`
6×	`cbrt-undiv` `div-exp`
5×	`pow1`
4×	`prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr` `associate-/l/`
3×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
2×	`clear-num` `frac-2neg` `flip3--` `div-sub` `distribute-frac-neg` `flip--` `distribute-neg-frac`
1×	`distribute-lft-neg-out` `neg-sub0` `frac-times` `pow-prod-down` `associate-l/` `associate-r/` `*-commutative`

Counts

3 → 412

Calls

3 calls:

29.0ms	(/ (- 1.0 x) y)
61.0ms	(/ (- (- 3.0 x)) (- 3.0))
171.0ms	(* (/ (- (- 3.0 x)) (- 3.0)) (/ (- 1.0 x) y))

series255.0ms

Counts

3 → 9

Calls

3 calls:

68.0ms	(/ (- 1.0 x) y)
80.0ms	(/ (- (- 3.0 x)) (- 3.0))
106.0ms	(* (/ (- (- 3.0 x)) (- 3.0)) (/ (- 1.0 x) y))

simplify765.0ms

Counts

421 → 421

Iterations

Iter	Nodes
done	5001
1	1424
0	452

prune2.2s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize30.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- 1.0 x) y)
0.1b	(* (* (- (- 3.0 x)) (/ 1 (- 3.0))) (/ (- 1.0 x) y))
0.1b	(* (- (- 3.0 x)) (/ 1 (- 3.0)))

rewrite225.0ms

Algorithm

rewrite-expression-head

Rules

70×	`add-sqr-sqrt`
64×	`*-un-lft-identity`
62×	`times-frac`
53×	`associate-r`
49×	`add-exp-log`
45×	`add-cube-cbrt`
31×	`add-cbrt-cube`
22×	`prod-exp`
15×	`associate-l`
14×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
12×	`frac-times` `div-exp` `associate-*l/` `cbrt-unprod` `distribute-neg-frac`
10×	`pow1`
9×	`distribute-lft-out--` `difference-of-squares`
7×	`cbrt-undiv` `flip3--` `flip--`
5×	`associate-/l*`
4×	`neg-mul-1` `pow-prod-down` `associate-*r/`
3×	`distribute-lft-neg-out` `expm1-log1p-u` `rec-exp` `associate-/r*` `1-exp` `un-div-inv` `log1p-expm1-u` `div-inv` `add-log-exp` `unswap-sqr`
2×	`*-commutative` `associate-/l/`
1×	`clear-num` `frac-2neg` `div-sub`

Counts

3 → 177

Calls

3 calls:

28.0ms	(/ (- 1.0 x) y)
96.0ms	(* (* (- (- 3.0 x)) (/ 1 (- 3.0))) (/ (- 1.0 x) y))
86.0ms	(* (- (- 3.0 x)) (/ 1 (- 3.0)))

series213.0ms

Counts

3 → 9

Calls

3 calls:

53.0ms	(/ (- 1.0 x) y)
89.0ms	(* (* (- (- 3.0 x)) (/ 1 (- 3.0))) (/ (- 1.0 x) y))
70.0ms	(* (- (- 3.0 x)) (/ 1 (- 3.0)))

simplify595.0ms

Counts

186 → 186

Iterations

Iter	Nodes
done	5000
1	952
0	296

prune913.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize39.0ms

Local error

Found 3 expressions with local error:

0.1b	(* (- 1.0 x) (/ 1 y))
0.1b	(* (* (- (- 3.0 x)) (/ 1 (- 3.0))) (* (- 1.0 x) (/ 1 y)))
0.1b	(* (- (- 3.0 x)) (/ 1 (- 3.0)))

rewrite288.0ms

Algorithm

rewrite-expression-head

Rules

121×	`add-exp-log`
73×	`prod-exp`
68×	`frac-times`
54×	`add-sqr-sqrt`
49×	`add-cbrt-cube`
48×	`associate-r`
43×	`times-frac`
42×	`*-un-lft-identity`
38×	`associate-*l/`
34×	`add-cube-cbrt`
32×	`flip3--` `flip--` `distribute-neg-frac`
25×	`cbrt-unprod`
24×	`div-exp`
22×	`associate-*r/`
20×	`associate-l`
19×	`pow1`
16×	`un-div-inv`
14×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
12×	`rec-exp` `1-exp`
10×	`pow-prod-down`
8×	`cbrt-undiv`
6×	`unswap-sqr`
4×	`neg-mul-1`
3×	`distribute-lft-neg-out` `expm1-log1p-u` `*-commutative` `log1p-expm1-u` `distribute-lft-out--` `add-log-exp` `difference-of-squares`
2×	`div-inv`

Counts

3 → 218

Calls

3 calls:

50.0ms	(* (- 1.0 x) (/ 1 y))
149.0ms	(* (* (- (- 3.0 x)) (/ 1 (- 3.0))) (* (- 1.0 x) (/ 1 y)))
79.0ms	(* (- (- 3.0 x)) (/ 1 (- 3.0)))

series239.0ms

Counts

3 → 9

Calls

3 calls:

70.0ms	(* (- 1.0 x) (/ 1 y))
102.0ms	(* (* (- (- 3.0 x)) (/ 1 (- 3.0))) (* (- 1.0 x) (/ 1 y)))
66.0ms	(* (- (- 3.0 x)) (/ 1 (- 3.0)))

simplify736.0ms

Counts

227 → 227

Iterations

Iter	Nodes
done	5000
1	1329
0	367

prune1.6s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes270.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Iter	Nodes
done	23
4	23
3	21
2	18
1	14
0	11

end0.0ms

sample1.2s

Algorithm

intervals

Results

740.0ms

10603×

body

valid