Details

sample228.0ms

Algorithm

intervals

Results

114.0ms

571×

body

valid

simplify2.4s

Counts

1 → 1

Iterations

Iter	Nodes
done	5004
4	2344
3	534
2	144
1	53
0	22

prune25.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize60.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (fma (/ (fma -2 v 3) (- 1 v)) (* (* w r) (* 0.125 (* w r))) 4.5) 3)
0.1b	(fma (/ (fma -2 v 3) (- 1 v)) (* (* w r) (* 0.125 (* w r))) 4.5)
0.4b	(* (* w r) (* 0.125 (* w r)))
0.4b	(/ 2 (* r r))

rewrite124.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-cbrt-cube` `add-exp-log`
25×	`pow1`
16×	`prod-exp` `cbrt-unprod`
15×	`add-sqr-sqrt` `*-un-lft-identity` `pow-prod-down`
13×	`add-cube-cbrt`
9×	`prod-diff`
6×	`add-log-exp`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
3×	`times-frac` `fma-neg` `associate-/l*`
2×	`cbrt-undiv` `div-exp` `fma-udef`
1×	`clear-num` `associate-/r` `sub-neg` `frac-2neg` `flip3--` `diff-log` `associate-r` `associate-l` `associate--l+` `-commutative` `div-inv` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 96

Calls

4 calls:

10.0ms	(- (fma (/ (fma -2 v 3) (- 1 v)) (* (* w r) (* 0.125 (* w r))) 4.5) 3)
0.0ms	(fma (/ (fma -2 v 3) (- 1 v)) (* (* w r) (* 0.125 (* w r))) 4.5)
93.0ms	(* (* w r) (* 0.125 (* w r)))
15.0ms	(/ 2 (* r r))

series336.0ms

Counts

4 → 12

Calls

4 calls:

109.0ms	(- (fma (/ (fma -2 v 3) (- 1 v)) (* (* w r) (* 0.125 (* w r))) 4.5) 3)
114.0ms	(fma (/ (fma -2 v 3) (- 1 v)) (* (* w r) (* 0.125 (* w r))) 4.5)
61.0ms	(* (* w r) (* 0.125 (* w r)))
51.0ms	(/ 2 (* r r))

simplify1.7s

Counts

108 → 108

Iterations

Iter	Nodes
done	5000
2	1400
1	428
0	173

prune675.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize58.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ 2 (* r r)) (+ (fma (* (* (* r w) (/ (fma v -2 3) (- 1 v))) 0.125) (* r w) (- 4.5 3)) 0))
0.2b	(fma (* (* (* r w) (/ (fma v -2 3) (- 1 v))) 0.125) (* r w) (- 4.5 3))
0.2b	(* (* r w) (/ (fma v -2 3) (- 1 v)))
0.4b	(/ 2 (* r r))

rewrite104.0ms

Algorithm

rewrite-expression-head

Rules

61×	`*-un-lft-identity`
46×	`add-sqr-sqrt`
37×	`times-frac`
33×	`add-cube-cbrt`
28×	`prod-diff`
24×	`associate-r`
21×	`add-cbrt-cube` `add-exp-log`
9×	`pow1` `add-log-exp`
8×	`distribute-lft-out` `difference-of-squares`
7×	`fma-neg` `prod-exp` `cbrt-unprod` `div-inv`
5×	`distribute-lft-out--`
4×	`expm1-log1p-u` `cbrt-undiv` `div-exp` `insert-posit16` `log1p-expm1-u`
3×	`pow-prod-down` `associate-/l*`
2×	`flip3--` `diff-log` `associate-/r/` `frac-sub` `flip--`
1×	`clear-num` `associate-/r` `sum-log` `sub-neg` `frac-2neg` `flip3-+` `associate-l` `associate-r/` `*-commutative` `flip-+` `fma-udef` `associate--r+`

Counts

4 → 140

Calls

4 calls:

39.0ms	(- (/ 2 (* r r)) (+ (fma (* (* (* r w) (/ (fma v -2 3) (- 1 v))) 0.125) (* r w) (- 4.5 3)) 0))
0.0ms	(fma (* (* (* r w) (/ (fma v -2 3) (- 1 v))) 0.125) (* r w) (- 4.5 3))
49.0ms	(* (* r w) (/ (fma v -2 3) (- 1 v)))
13.0ms	(/ 2 (* r r))

series529.0ms

Counts

4 → 12

Calls

4 calls:

207.0ms	(- (/ 2 (* r r)) (+ (fma (* (* (* r w) (/ (fma v -2 3) (- 1 v))) 0.125) (* r w) (- 4.5 3)) 0))
155.0ms	(fma (* (* (* r w) (/ (fma v -2 3) (- 1 v))) 0.125) (* r w) (- 4.5 3))
130.0ms	(* (* r w) (/ (fma v -2 3) (- 1 v)))
38.0ms	(/ 2 (* r r))

simplify2.3s

Counts

152 → 152

Iterations

Iter	Nodes
done	5001
2	2436
1	800
0	276

prune1.2s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize44.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ (/ 2 r) r) (+ (fma (* (* (* r w) (/ (fma v -2 3) (- 1 v))) 0.125) (* r w) (- 4.5 3)) 0))
0.2b	(fma (* (* (* r w) (/ (fma v -2 3) (- 1 v))) 0.125) (* r w) (- 4.5 3))
0.2b	(* (* r w) (/ (fma v -2 3) (- 1 v)))
0.2b	(/ (/ 2 r) r)

rewrite150.0ms

Algorithm

rewrite-expression-head

Rules

426×	`times-frac`
374×	`*-un-lft-identity`
292×	`add-sqr-sqrt`
274×	`add-cube-cbrt`
172×	`prod-diff`
44×	`distribute-lft-out`
43×	`fma-neg`
26×	`div-inv`
24×	`associate-r`
21×	`add-cbrt-cube` `add-exp-log`
13×	`associate-/l*`
9×	`pow1` `add-log-exp` `difference-of-squares`
6×	`prod-exp` `cbrt-unprod`
5×	`cbrt-undiv` `div-exp` `distribute-lft-out--`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
3×	`associate-/r*` `pow-prod-down`
2×	`flip3--` `diff-log` `associate-/r/` `frac-sub` `flip--`
1×	`clear-num` `sum-log` `sub-neg` `frac-2neg` `flip3-+` `associate-l` `associate-r/` `-commutative` `flip-+` `fma-udef` `associate--r+` `associate-/l/`

Counts

4 → 370

Calls

4 calls:

60.0ms	(- (/ (/ 2 r) r) (+ (fma (* (* (* r w) (/ (fma v -2 3) (- 1 v))) 0.125) (* r w) (- 4.5 3)) 0))
0.0ms	(fma (* (* (* r w) (/ (fma v -2 3) (- 1 v))) 0.125) (* r w) (- 4.5 3))
51.0ms	(* (* r w) (/ (fma v -2 3) (- 1 v)))
23.0ms	(/ (/ 2 r) r)

series541.0ms

Counts

4 → 12

Calls

4 calls:

185.0ms	(- (/ (/ 2 r) r) (+ (fma (* (* (* r w) (/ (fma v -2 3) (- 1 v))) 0.125) (* r w) (- 4.5 3)) 0))
161.0ms	(fma (* (* (* r w) (/ (fma v -2 3) (- 1 v))) 0.125) (* r w) (- 4.5 3))
143.0ms	(* (* r w) (/ (fma v -2 3) (- 1 v)))
52.0ms	(/ (/ 2 r) r)

simplify2.6s

Counts

382 → 382

Iterations

Iter	Nodes
done	5016
2	3227
1	1267
0	482

prune3.3s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize70.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (sqrt (* (* w r) (* 0.125 (* w r)))) (sqrt (* (* w r) (* 0.125 (* w r)))))
0.4b	(/ 2 (* r r))
11.6b	(sqrt (* (* w r) (* 0.125 (* w r))))
11.6b	(sqrt (* (* w r) (* 0.125 (* w r))))

rewrite454.0ms

Algorithm

rewrite-expression-head

Rules

1023×	`pow1`
741×	`pow-prod-down`
322×	`sqrt-pow1`
65×	`pow-prod-up`
51×	`pow-sqr`
22×	`pow1/2`
12×	`add-sqr-sqrt`
11×	`add-cbrt-cube` `add-exp-log`
10×	`*-un-lft-identity` `add-cube-cbrt`
6×	`sqrt-prod`
4×	`expm1-log1p-u` `swap-sqr` `associate-r` `associate-l` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`times-frac` `associate-/l*`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod`
1×	`pow2` `clear-num` `associate-/r` `rem-square-sqrt` `frac-2neg` `pow-plus` `sqrt-unprod` `-commutative` `div-inv` `unswap-sqr`

Counts

4 → 259

Calls

4 calls:

326.0ms	(* (sqrt (* (* w r) (* 0.125 (* w r)))) (sqrt (* (* w r) (* 0.125 (* w r)))))
6.0ms	(/ 2 (* r r))
52.0ms	(sqrt (* (* w r) (* 0.125 (* w r))))
49.0ms	(sqrt (* (* w r) (* 0.125 (* w r))))

series325.0ms

Counts

4 → 12

Calls

4 calls:

142.0ms	(* (sqrt (* (* w r) (* 0.125 (* w r)))) (sqrt (* (* w r) (* 0.125 (* w r)))))
49.0ms	(/ 2 (* r r))
60.0ms	(sqrt (* (* w r) (* 0.125 (* w r))))
74.0ms	(sqrt (* (* w r) (* 0.125 (* w r))))

simplify2.5s

Counts

271 → 271

Iterations

Iter	Nodes
done	5070
3	3293
2	675
1	252
0	105

prune684.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

regimes600.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations

Iter	Nodes
done	27
1	27
0	22

end0.0ms

sample5.1s

Algorithm

intervals

Results

4.6s

17082×

body

valid