Details

sample402.0ms

Algorithm

intervals

Results

218.0ms

545×

body

valid

simplify2.9s

Counts

1 → 1

Iterations

Useful iterations: 3 (276.0ms)

Iter	Nodes	Cost
0	22	29
1	51	29
2	152	29
3	641	28
4	2961	28
done	5000	28

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 10.9b

localize51.0ms

Local error

Found 4 expressions with local error:

0.3b	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (* w w) r) r) 4.5)
0.3b	(/ 2.0 (* r r))
7.3b	(* (* (* w w) r) r)
11.8b	(* (* w w) r)

rewrite171.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-exp-log` `add-cbrt-cube`
18×	`pow1`
10×	`prod-exp` `cbrt-unprod`
9×	`add-sqr-sqrt` `pow-prod-down`
8×	`add-cube-cbrt` `*-un-lft-identity`
6×	`associate-r`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`times-frac` `associate-/l*`
2×	`cbrt-undiv` `div-exp` `associate-l` `*-commutative`
1×	`frac-2neg` `clear-num` `associate-/r*` `fma-udef` `div-inv` `unswap-sqr`

Counts

4 → 77

Calls

4 calls:

1.0ms	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (* w w) r) r) 4.5)
18.0ms	(/ 2.0 (* r r))
124.0ms	(* (* (* w w) r) r)
22.0ms	(* (* w w) r)

series265.0ms

Counts

4 → 12

Calls

4 calls:

141.0ms	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (* w w) r) r) 4.5)
37.0ms	(/ 2.0 (* r r))
47.0ms	(* (* (* w w) r) r)
39.0ms	(* (* w w) r)

simplify3.7s

Counts

89 → 89

Iterations

Useful iterations: done (3.7s)

Iter	Nodes	Cost
0	128	982
1	293	962
2	1009	802
3	3247	766
done	5000	758

prune370.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.3b

localize40.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v))
0.3b	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (fabs (* w r)) (fabs (* w r))) 4.5)
0.3b	(/ 2.0 (* r r))
0.4b	(* (fabs (* w r)) (fabs (* w r)))

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
16×	`add-exp-log` `*-un-lft-identity` `add-cbrt-cube`
12×	`add-cube-cbrt`
11×	`pow1`
8×	`times-frac`
6×	`associate-/r*`
4×	`cbrt-undiv` `expm1-log1p-u` `div-exp` `log1p-expm1-u` `associate-/l*` `add-log-exp`
3×	`swap-sqr` `associate-r` `associate-l` `prod-exp` `cbrt-unprod`
2×	`flip3--` `frac-2neg` `associate-*r/` `clear-num` `associate-/r/` `flip--` `div-inv` `associate-/l/` `distribute-lft-out--` `difference-of-squares`
1×	`pow2` `pow-plus` `pow-prod-down` `pow-sqr` `*-commutative` `pow-prod-up` `fma-udef` `unswap-sqr`

Counts

4 → 91

Calls

4 calls:

29.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v))
0.0ms	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (fabs (* w r)) (fabs (* w r))) 4.5)
10.0ms	(/ 2.0 (* r r))
15.0ms	(* (fabs (* w r)) (fabs (* w r)))

series293.0ms

Counts

4 → 12

Calls

4 calls:

87.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v))
145.0ms	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (fabs (* w r)) (fabs (* w r))) 4.5)
42.0ms	(/ 2.0 (* r r))
18.0ms	(* (fabs (* w r)) (fabs (* w r)))

simplify1.6s

Counts

103 → 103

Iterations

Useful iterations: done (1.6s)

Iter	Nodes	Cost
0	194	1461
1	470	1288
2	1457	1101
done	5001	1077

prune637.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.3b

localize40.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v))
0.2b	(/ (/ 2.0 r) r)
0.3b	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (fabs (* w r)) (fabs (* w r))) 4.5)
0.4b	(* (fabs (* w r)) (fabs (* w r)))

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

80×	`times-frac`
58×	`add-sqr-sqrt`
56×	`*-un-lft-identity`
52×	`add-cube-cbrt`
16×	`add-exp-log` `add-cbrt-cube`
14×	`associate-/l*`
11×	`pow1`
8×	`associate-/r*`
6×	`div-inv`
5×	`cbrt-undiv` `div-exp`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`swap-sqr` `associate-r` `associate-l` `associate-/l/`
2×	`flip3--` `frac-2neg` `associate-*r/` `prod-exp` `clear-num` `associate-/r/` `flip--` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares`
1×	`pow2` `pow-plus` `pow-prod-down` `pow-sqr` `*-commutative` `pow-prod-up` `fma-udef` `unswap-sqr`

Counts

4 → 140

Calls

4 calls:

33.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v))
20.0ms	(/ (/ 2.0 r) r)
1.0ms	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (fabs (* w r)) (fabs (* w r))) 4.5)
16.0ms	(* (fabs (* w r)) (fabs (* w r)))

series255.0ms

Counts

4 → 12

Calls

4 calls:

76.0ms	(/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v))
29.0ms	(/ (/ 2.0 r) r)
140.0ms	(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (fabs (* w r)) (fabs (* w r))) 4.5)
10.0ms	(* (fabs (* w r)) (fabs (* w r)))

simplify1.5s

Counts

152 → 152

Iterations

Useful iterations: done (1.5s)

Iter	Nodes	Cost
0	291	2138
1	678	1919
2	1864	1706
done	5000	1670

prune882.0ms

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 0.3b

localize31.0ms

Local error

Found 4 expressions with local error:

0.3b	(fma (cbrt (pow (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) 3)) (* (fabs (* w r)) (fabs (* w r))) 4.5)
0.3b	(/ 2.0 (* r r))
0.4b	(* (fabs (* w r)) (fabs (* w r)))
0.5b	(cbrt (pow (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) 3))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

28×	`cbrt-prod`
21×	`add-sqr-sqrt`
19×	`*-un-lft-identity`
15×	`add-cube-cbrt`
13×	`times-frac`
11×	`pow1` `add-exp-log` `unpow-prod-down` `cube-prod` `add-cbrt-cube`
4×	`expm1-log1p-u` `associate-/r/` `log1p-expm1-u` `add-log-exp`
3×	`swap-sqr` `associate-r` `associate-l` `div-inv` `associate-/l*`
2×	`cbrt-undiv` `flip3--` `div-exp` `prod-exp` `flip--` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares`
1×	`cube-div` `pow2` `cube-mult` `cbrt-div` `frac-2neg` `pow-plus` `pow1/3` `unpow3` `pow-prod-down` `clear-num` `associate-/r` `pow-sqr` `-commutative` `pow-prod-up` `rem-cbrt-cube` `fma-udef` `unswap-sqr` `sqr-pow`

Counts

4 → 100

Calls

4 calls:

1.0ms	(fma (cbrt (pow (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) 3)) (* (fabs (* w r)) (fabs (* w r))) 4.5)
16.0ms	(/ 2.0 (* r r))
11.0ms	(* (fabs (* w r)) (fabs (* w r)))
11.0ms	(cbrt (pow (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) 3))

series289.0ms

Counts

4 → 12

Calls

4 calls:

142.0ms	(fma (cbrt (pow (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) 3)) (* (fabs (* w r)) (fabs (* w r))) 4.5)
61.0ms	(/ 2.0 (* r r))
15.0ms	(* (fabs (* w r)) (fabs (* w r)))
71.0ms	(cbrt (pow (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) 3))

simplify1.0s

Counts

112 → 112

Iterations

Useful iterations: done (1.0s)

Iter	Nodes	Cost
0	216	1962
1	533	1536
2	1591	1363
done	5001	1335

prune511.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 0.3b

regimes334.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	30
1	25	30
done	25	30

end0.0ms

sample3.9s

Algorithm

intervals

Results

3.0s

17198×

body

valid