Details

sample17.0ms

Algorithm

intervals

Results

7.0ms

256×

body

valid

simplify109.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	15	9
2	35	9
3	71	9
4	126	9
5	166	9
6	186	9
7	192	9
8	196	9
done	196	9

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 14.8b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

14.3b

(/ (* (* x 2.0) y) (- x y))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-exp-log` `add-cbrt-cube`
7×	`add-sqr-sqrt` `*-un-lft-identity`
5×	`times-frac` `associate-/r*`
3×	`cbrt-undiv` `add-cube-cbrt` `div-exp` `prod-exp` `cbrt-unprod`
2×	`associate-/r/` `distribute-lft-out--` `difference-of-squares`
1×	`pow1` `flip3--` `frac-2neg` `clear-num` `flip--` `div-inv` `associate-/l*` `add-log-exp`

Counts

1 → 29

Calls

1 calls:

9.0ms

(/ (* (* x 2.0) y) (- x y))

series9.0ms

Counts

1 → 3

Calls

1 calls:

9.0ms

(/ (* (* x 2.0) y) (- x y))

simplify449.0ms

Counts

32 → 32

Iterations

Useful iterations: done (448.0ms)

Iter	Nodes	Cost
0	77	400
1	218	385
2	1088	323
done	5000	314

prune49.0ms

Filtered

21 candidates to 32 candidates (-52.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	28	4	32
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	28	5	33

Merged error: 0.0b

Counts

33 → 5

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ y (- x y))
6.2b	(* (* 2.0 x) (/ y (- x y)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

35×	`add-sqr-sqrt` `*-un-lft-identity`
30×	`times-frac`
21×	`add-cube-cbrt` `associate-r`
16×	`add-exp-log` `add-cbrt-cube`
7×	`pow1` `distribute-lft-out--` `difference-of-squares`
6×	`prod-exp` `cbrt-unprod`
5×	`associate-/r*`
4×	`associate-/r/`
3×	`cbrt-undiv` `div-exp` `pow-prod-down` `associate-/l*`
2×	`flip3--` `flip--` `div-inv` `add-log-exp`
1×	`frac-2neg` `associate-r/` `associate-l` `clear-num` `-commutative`

Counts

2 → 78

Calls

2 calls:

6.0ms	(/ y (- x y))
11.0ms	(* (* 2.0 x) (/ y (- x y)))

series15.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(/ y (- x y))
9.0ms	(* (* 2.0 x) (/ y (- x y)))

simplify516.0ms

Counts

84 → 84

Iterations

Useful iterations: done (514.0ms)

Iter	Nodes	Cost
0	116	915
1	319	873
2	1421	770
done	5001	756

prune75.0ms

Filtered

56 candidates to 84 candidates (-50.0%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	82	2	84
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	83	6	89

Merged error: 0.0b

Counts

89 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ 1 (- x y))
0.2b	(* y (/ 1 (- x y)))
6.2b	(* (* 2.0 x) (* y (/ 1 (- x y))))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

51×	`add-exp-log`
44×	`add-sqr-sqrt`
38×	`*-un-lft-identity`
32×	`times-frac`
31×	`add-cbrt-cube`
27×	`prod-exp`
23×	`add-cube-cbrt`
22×	`associate-r`
18×	`pow1`
15×	`cbrt-unprod`
9×	`pow-prod-down`
8×	`div-exp`
7×	`distribute-lft-out--` `difference-of-squares`
5×	`associate-/r*`
4×	`cbrt-undiv` `rec-exp` `1-exp` `associate-r/` `associate-l*` `associate-/r/`
3×	`associate-/l*` `add-log-exp` `unswap-sqr`
2×	`flip3--` `un-div-inv` `*-commutative` `flip--` `div-inv`
1×	`pow-flip` `frac-2neg` `clear-num` `inv-pow`

Counts

3 → 117

Calls

3 calls:

6.0ms	(/ 1 (- x y))
12.0ms	(* y (/ 1 (- x y)))
12.0ms	(* (* 2.0 x) (* y (/ 1 (- x y))))

series21.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(/ 1 (- x y))
7.0ms	(* y (/ 1 (- x y)))
9.0ms	(* (* 2.0 x) (* y (/ 1 (- x y))))

simplify939.0ms

Counts

126 → 126

Iterations

Useful iterations: done (936.0ms)

Iter	Nodes	Cost
0	146	1389
1	388	1180
2	1372	942
done	5000	916

prune97.0ms

Filtered

63 candidates to 126 candidates (-100.0%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	126	0	126
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	126	6	132

Merged error: 0.0b

Counts

132 → 6

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- x y) y)
6.6b	(/ (* x 2.0) (/ (- x y) y))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

64×	`times-frac`
50×	`add-sqr-sqrt` `*-un-lft-identity`
30×	`add-cube-cbrt`
22×	`associate-/r*`
16×	`add-exp-log` `add-cbrt-cube`
10×	`distribute-lft-out--` `difference-of-squares`
7×	`cbrt-undiv` `div-exp`
6×	`associate-/l*`
4×	`div-inv`
2×	`pow1` `frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `associate-/l/` `add-log-exp`
1×	`flip3--` `div-sub` `associate-/r/` `flip--`

Counts

2 → 96

Calls

2 calls:

6.0ms	(/ (- x y) y)
11.0ms	(/ (* x 2.0) (/ (- x y) y))

series14.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(/ (- x y) y)
9.0ms	(/ (* x 2.0) (/ (- x y) y))

simplify541.0ms

Counts

102 → 102

Iterations

Useful iterations: done (538.0ms)

Iter	Nodes	Cost
0	151	1250
1	393	1191
2	1446	1083
done	5000	1067

prune81.0ms

Filtered

72 candidates to 102 candidates (-41.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	100	2	102
Fresh	2	0	2
Picked	1	0	1
Done	2	1	3
Total	105	3	108

Merged error: 0b

Counts

108 → 3

regimes91.0ms

Accuracy

98.7% (0.1b remaining)

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

bsearch29.0ms

Steps

Iters	Range		Point
9	1.6969156640652005e-46	6.221151550137799e-38	5.048090762251207e-38
9	-0.0001616040529746431	-1.1951251334293225e-11	-2.632924857844891e-06

simplify3.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	18	35
1	26	27
done	26	27

end0.0ms

sample501.0ms

Algorithm

intervals

Results

252.0ms

8000×

body

valid

Details

sample17.0ms

simplify109.0ms

prune2.0ms

localize6.0ms

rewrite10.0ms

series9.0ms

simplify449.0ms

prune49.0ms

localize6.0ms

rewrite20.0ms

series15.0ms

simplify516.0ms

prune75.0ms

localize7.0ms

rewrite36.0ms

series21.0ms

simplify939.0ms

prune97.0ms

localize6.0ms

rewrite21.0ms

series14.0ms

simplify541.0ms

prune81.0ms

regimes91.0ms

bsearch29.0ms

simplify3.0ms

end0.0ms

sample501.0ms

Profiling