Details

sample1.8s

Algorithm

intervals

Results

1.5s

2362×

body

valid

simplify841.0ms

Counts: 1 → 1

prune85.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 27.1b

localize564.0ms

Local error

Found 4 expressions with local error:

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

rewrite251.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 140

Calls

4 calls:

Slowest

70.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
69.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
64.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
46.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series912.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

248.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
234.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
221.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
209.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

simplify2.1s

Counts: 152 → 152

prune7.8s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 19.2b

localize191.0ms

Local error

Found 4 expressions with local error:

46.7b	(fma (- i) c (* i c))
9.6b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.0b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
8.4b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

rewrite181.0ms

Algorithm

rewrite-expression-head

Rules

18×	`flip3--` `flip--`
16×	`add-sqr-sqrt`
12×	`frac-times`
10×	`pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
9×	`distribute-rgt-in` `distribute-lft-in` `associate-r` `associate-l`
6×	`sub-neg` `prod-diff` `associate-l/` `associate-r/`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`fma-udef`

Counts

4 → 116

Calls

4 calls:

Slowest

60.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
59.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
59.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
0.0ms	(fma (- i) c (* i c))

series672.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

229.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
207.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
197.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
38.0ms	(fma (- i) c (* i c))

simplify1.4s

Counts: 128 → 128

prune7.7s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 18.1b

localize206.0ms

Local error

Found 4 expressions with local error:

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

rewrite191.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 140

Calls

4 calls:

Slowest

56.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
48.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
45.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
40.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series868.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

233.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
224.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
210.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
202.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify1.7s

Counts: 152 → 152

prune9.0s

Pruning

28 alts after pruning (28 fresh and 0 done)

Merged error: 15.4b

localize179.0ms

Local error

Found 4 expressions with local error:

9.6b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.0b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
8.4b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
7.6b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite192.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 140

Calls

4 calls:

Slowest

50.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
48.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
47.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
45.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series883.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

234.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
231.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
215.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
203.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify1.7s

Counts: 152 → 152

prune7.9s

Pruning

28 alts after pruning (28 fresh and 0 done)

Merged error: 15.0b

regimes14.2s

Accuracy

-28.6% (13.9b remaining)

Error of 29.5b against oracle of 15.6b and baseline of 26.4b

bsearch4.1s

end0.0ms

sample58.3s

Algorithm

intervals

Results

49.0s

73760×

body

valid