Details

sample2.2s

Algorithm

intervals

Results

1.9s

2103×

body

valid

simplify7.9s

Counts

1 → 1

Iterations

Iter	Nodes
4	12421
3	1712
2	349
1	132
0	63

prune41.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 24.5b

localize205.0ms

Local error

Found 4 expressions with local error:

7.8b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.6b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.0b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.0b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite280.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
20×	`add-sqr-sqrt`
16×	`frac-times`
12×	`pow1` `-un-lft-identity` `add-cbrt-cube` `associate-r` `associate-l*` `add-exp-log` `add-cube-cbrt`
8×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-l/` `associate-r/`
4×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `insert-posit16` `add-log-exp` `unswap-sqr`

Counts

4 → 124

Calls

4 calls:

86.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
60.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
83.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
48.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series987.0ms

Counts

4 → 12

Calls

4 calls:

290.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
230.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
217.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
250.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify1.6s

Counts

136 → 136

Iterations

Iter	Nodes
2	4933
1	1115
0	345

prune7.4s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 16.3b

localize223.0ms

Local error

Found 4 expressions with local error:

7.8b	(cbrt (- (* y0 b) (* y1 i)))
7.8b	(cbrt (- (* y0 b) (* y1 i)))
8.6b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.0b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite134.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt` `flip3--` `flip--`
10×	`*-un-lft-identity` `add-cube-cbrt`
8×	`frac-times` `pow1` `add-cbrt-cube` `add-exp-log`
6×	`cbrt-prod` `associate-r` `associate-l`
4×	`distribute-rgt-in` `cbrt-div` `sub-neg` `distribute-lft-in` `associate-l/` `associate-r/` `insert-posit16` `add-log-exp`
2×	`pow1/3` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 90

Calls

4 calls:

5.0ms	(cbrt (- (* y0 b) (* y1 i)))
5.0ms	(cbrt (- (* y0 b) (* y1 i)))
54.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
68.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series844.0ms

Counts

4 → 12

Calls

4 calls:

155.0ms	(cbrt (- (* y0 b) (* y1 i)))
154.0ms	(cbrt (- (* y0 b) (* y1 i)))
269.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
265.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify975.0ms

Counts

102 → 102

Iterations

Iter	Nodes
2	2900
1	747
0	246

prune6.8s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 16.3b

localize237.0ms

Local error

Found 4 expressions with local error:

8.3b	(* (- (* x y) (* z t)) (* a b))
9.0b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.0b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.0b	(* (- (* x y) (* z t)) (- (* c i)))

rewrite226.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
15×	`pow1` `add-cbrt-cube` `add-exp-log`
14×	`flip3--` `flip--`
13×	`associate-r`
12×	`associate-l`
11×	`*-un-lft-identity` `add-cube-cbrt`
8×	`frac-times` `associate-*l/`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `-commutative` `insert-posit16` `add-log-exp`
3×	`unswap-sqr`
1×	`distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in` `distribute-rgt-neg-out`

Counts

4 → 108

Calls

4 calls:

65.0ms	(* (- (* x y) (* z t)) (* a b))
48.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
75.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
36.0ms	(* (- (* x y) (* z t)) (- (* c i)))

series832.0ms

Counts

4 → 12

Calls

4 calls:

146.0ms	(* (- (* x y) (* z t)) (* a b))
240.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
276.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
170.0ms	(* (- (* x y) (* z t)) (- (* c i)))

simplify1.2s

Counts

120 → 120

Iterations

Iter	Nodes
2	3587
1	842
0	272

prune8.1s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 16.0b

localize232.0ms

Local error

Found 4 expressions with local error:

7.8b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.3b	(* (- (* x y) (* z t)) (* a b))
9.0b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.0b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite280.0ms

Algorithm

rewrite-expression-head

Rules

19×	`flip3--` `flip--`
17×	`add-sqr-sqrt`
15×	`pow1` `add-cbrt-cube` `add-exp-log`
12×	`frac-times` `associate-l`
11×	`*-un-lft-identity` `add-cube-cbrt`
10×	`associate-r`
8×	`associate-*l/`
6×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `pow-prod-down` `prod-exp` `associate-*r/` `cbrt-unprod`
4×	`*-commutative` `insert-posit16` `add-log-exp`
3×	`unswap-sqr`

Counts

4 → 114

Calls

4 calls:

77.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
38.0ms	(* (- (* x y) (* z t)) (* a b))
77.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
86.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series939.0ms

Counts

4 → 12

Calls

4 calls:

282.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
140.0ms	(* (- (* x y) (* z t)) (* a b))
259.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
257.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify1.5s

Counts

126 → 126

Iterations

Iter	Nodes
2	4187
1	994
0	313

prune7.6s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 15.8b

regimes11.0s

Accuracy

-22.8% (10.8b remaining)

Error of 28.1b against oracle of 17.3b and baseline of 26.1b

bsearch2.4s

Steps

Iters	Range		Point
9	1.262130592855847e-32	3.377777203775718e-23	1.2622881777654464e-26
7	1.4537892796563803e-179	3.00435352911528e-178	5.4402102489871416e-179

simplify321.0ms

Iterations

Iter	Nodes
4	187
3	187
2	183
1	175
0	110

end0.0ms

sample1.1m

Algorithm

intervals

Results

57.5s

72934×

body

valid