Details

sample202.0ms

Algorithm

intervals

Results

52.0ms	453×	body	80	valid
26.0ms	453×	pre	80	true

simplify837.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

836.0ms

(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize16.0ms

Local error

Found 2 expressions with local error:

0.1b	(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
0.0b	(/ (* m (- 1 m)) v)

rewrite158.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-sqr-sqrt`
24×	`*-un-lft-identity`
18×	`prod-diff` `add-cube-cbrt`
11×	`distribute-rgt-in` `distribute-lft-in`
9×	`add-cbrt-cube` `add-exp-log`
7×	`flip3--` `associate-l` `flip--`
6×	`associate-r`
4×	`frac-times` `pow1` `associate-*r/` `difference-of-squares`
3×	`associate-/r*` `times-frac`
2×	`expm1-log1p-u` `cbrt-undiv` `sub-neg` `div-exp` `associate-*l/` `prod-exp` `cbrt-unprod` `insert-posit16` `log1p-expm1-u` `distribute-lft-out--` `add-log-exp` `associate-/l/`
1×	`clear-num` `frac-2neg` `difference-of-sqr-1` `pow-prod-down` `-commutative` `div-inv` `associate-/l` `unswap-sqr`

Counts

2 → 84

Calls

2 calls:

Slowest

123.0ms	(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
30.0ms	(/ (* m (- 1 m)) v)

series99.0ms

Counts

2 → 6

Calls

2 calls:

Slowest

64.0ms	(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
35.0ms	(/ (* m (- 1 m)) v)

simplify16.0s

Counts

70 → 90

Calls

70 calls:

Slowest

927.0ms	(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
682.0ms	(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- (* 1 1) (* m m)))
613.0ms	(* (+ (/ (* m (- 1 m)) v) 1) (+ 1 m))
545.0ms	(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- 1 m))
519.0ms	(* (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))) (- (/ (* m (- 1 m)) v) 1))

prune804.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 3 expressions with local error:

0.1b	(* (- (/ m (/ v (- 1 m))) 1) (- 1 m))
0.0b	(/ m (/ v (- 1 m)))
0.0b	(/ v (- 1 m))

rewrite188.0ms

Algorithm

rewrite-expression-head

Rules

171×	`times-frac`
167×	`add-sqr-sqrt`
149×	`*-un-lft-identity`
93×	`add-cube-cbrt`
40×	`difference-of-squares`
30×	`associate-/r*`
18×	`prod-diff` `distribute-lft-out--`
13×	`associate-l`
12×	`add-cbrt-cube` `add-exp-log`
11×	`distribute-rgt-in` `distribute-lft-in` `flip3--` `associate-/r/` `flip--`
6×	`associate-r` `div-inv` `associate-/l*`
5×	`pow1`
4×	`frac-times` `cbrt-undiv` `div-exp`
3×	`expm1-log1p-u` `difference-of-sqr-1` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`clear-num` `sub-neg` `frac-2neg` `associate-l/` `associate-r/`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

3 → 225

Calls

3 calls:

Slowest

165.0ms	(* (- (/ m (/ v (- 1 m))) 1) (- 1 m))
10.0ms	(/ m (/ v (- 1 m)))
8.0ms	(/ v (- 1 m))

series108.0ms

Counts

3 → 9

Calls

3 calls:

Slowest

46.0ms	(/ m (/ v (- 1 m)))
35.0ms	(* (- (/ m (/ v (- 1 m))) 1) (- 1 m))
27.0ms	(/ v (- 1 m))

simplify32.6s

Counts

288 → 234

Calls

288 calls:

Slowest

777.0ms	(* (+ (/ m (/ v (- 1 m))) 1) (+ 1 m))
688.0ms	(* (- (pow (/ m (/ v (- 1 m))) 3) (pow 1 3)) (- (* 1 1) (* m m)))
621.0ms	(* (- (pow (/ m (/ v (- 1 m))) 3) (pow 1 3)) (- 1 m))
620.0ms	(* (- (/ m (/ v (- 1 m))) 1) (fma (- (sqrt m)) (sqrt m) (* (sqrt m) (sqrt m))))
574.0ms	(/ (* (* m m) m) (* (* (/ v (- 1 m)) (/ v (- 1 m))) (/ v (- 1 m))))

prune2.0s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

localize20.0ms

Local error

Found 3 expressions with local error:

0.1b	(/ (/ m v) (/ 1 (- 1 m)))
0.1b	(* (- (/ (/ m v) (/ 1 (- 1 m))) 1) (- 1 m))
0.0b	(/ 1 (- 1 m))

rewrite329.0ms

Algorithm

rewrite-expression-head

Rules

846×	`times-frac`
547×	`add-sqr-sqrt`
499×	`*-un-lft-identity`
343×	`add-cube-cbrt`
108×	`difference-of-squares`
48×	`distribute-lft-out--`
41×	`div-inv`
31×	`add-exp-log` `associate-/r/`
30×	`associate-/r*`
25×	`associate-l`
21×	`flip3--` `flip--`
19×	`add-cbrt-cube`
18×	`div-exp` `prod-diff`
16×	`associate-/l*`
11×	`distribute-rgt-in` `distribute-lft-in`
9×	`cbrt-undiv`
7×	`difference-of-sqr-1`
6×	`pow1` `associate-r`
4×	`frac-times`
3×	`expm1-log1p-u` `rec-exp` `1-exp` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`clear-num` `sub-neg` `frac-2neg` `associate-l/` `associate-r/`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `pow-flip` `inv-pow` `unswap-sqr` `associate-/l/`

Counts

3 → 500

Calls

3 calls:

Slowest

283.0ms	(* (- (/ (/ m v) (/ 1 (- 1 m))) 1) (- 1 m))
20.0ms	(/ (/ m v) (/ 1 (- 1 m)))
10.0ms	(/ 1 (- 1 m))

series124.0ms

Counts

3 → 9

Calls

3 calls:

Slowest

56.0ms	(* (- (/ (/ m v) (/ 1 (- 1 m))) 1) (- 1 m))
42.0ms	(/ (/ m v) (/ 1 (- 1 m)))
25.0ms	(/ 1 (- 1 m))

simplify2.0m

Counts

799 → 509

Calls

799 calls:

Slowest

723.0ms	(* (- (/ (/ m v) (/ 1 (- 1 m))) 1) (fma (- m) 1 (* m 1)))
719.0ms	(/ (/ 1 (* (cbrt v) (cbrt v))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- 1 m)) (cbrt (- 1 m)))))
714.0ms	(/ (/ (* (cbrt m) (cbrt m)) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- 1 m)) (cbrt (- 1 m)))))
686.0ms	(/ (/ (* (cbrt m) (cbrt m)) (sqrt v)) (/ 1 (- (* 1 1) (* m m))))
662.0ms	(/ (/ m (cbrt v)) (/ (cbrt 1) (- 1 m)))

prune4.7s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize57.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (* m m) m)
0.1b	(* (- 1 (* (* m m) m)) (/ m (fma (fma v m v) m v)))
0.1b	(* (- (* (- 1 (* (* m m) m)) (/ m (fma (fma v m v) m v))) 1) (- 1 m))
0.1b	(/ m (fma (fma v m v) m v))

rewrite162.0ms

Algorithm

rewrite-expression-head

Rules

46×	`add-sqr-sqrt`
38×	`*-un-lft-identity`
35×	`add-cube-cbrt`
27×	`pow1`
22×	`associate-r`
19×	`times-frac`
18×	`add-cbrt-cube` `prod-diff` `add-exp-log`
11×	`distribute-rgt-in` `distribute-lft-in`
8×	`flip3--` `flip--`
7×	`associate-l`
6×	`frac-times` `pow-plus` `prod-exp` `pow-prod-up` `cbrt-unprod`
5×	`pow-prod-down`
4×	`expm1-log1p-u` `associate-*l/` `insert-posit16` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`associate-/r` `associate-r/` `-commutative` `associate-/l`
2×	`pow2` `cbrt-undiv` `sub-neg` `div-exp` `pow-sqr` `div-inv` `difference-of-squares`
1×	`clear-num` `frac-2neg` `pow3` `distribute-lft-out--`

Counts

4 → 154

Calls

4 calls:

Slowest

86.0ms	(* (- (* (- 1 (* (* m m) m)) (/ m (fma (fma v m v) m v))) 1) (- 1 m))
37.0ms	(* (* m m) m)
33.0ms	(* (- 1 (* (* m m) m)) (/ m (fma (fma v m v) m v)))
4.0ms	(/ m (fma (fma v m v) m v))

series369.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

130.0ms	(* (- 1 (* (* m m) m)) (/ m (fma (fma v m v) m v)))
124.0ms	(* (- (* (- 1 (* (* m m) m)) (/ m (fma (fma v m v) m v))) 1) (- 1 m))
71.0ms	(/ m (fma (fma v m v) m v))
43.0ms	(* (* m m) m)

simplify19.3s

Counts

129 → 166

Calls

129 calls:

Slowest

794.0ms	(* (- (* (- 1 (* (* m m) m)) (/ m (fma (fma v m v) m v))) 1) (- m))
772.0ms	(* (* (* (- 1 (* (* m m) m)) (- 1 (* (* m m) m))) (- 1 (* (* m m) m))) (* (* (/ m (fma (fma v m v) m v)) (/ m (fma (fma v m v) m v))) (/ m (fma (fma v m v) m v))))
578.0ms	(* (* (* (- (* (- 1 (* (* m m) m)) (/ m (fma (fma v m v) m v))) 1) (- (* (- 1 (* (* m m) m)) (/ m (fma (fma v m v) m v))) 1)) (- (* (- 1 (* (* m m) m)) (/ m (fma (fma v m v) m v))) 1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
550.0ms	(* (+ (* (- 1 (* (* m m) m)) (/ m (fma (fma v m v) m v))) 1) (+ (* 1 1) (+ (* m m) (* 1 m))))
541.0ms	(* (+ 1 (* (* m m) m)) (fma (fma v m v) m v))

prune2.0s

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes165.0ms

Accuracy

0% (0.1b remaining)

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

bsearch3.0ms

end0.0ms

sample2.2s

Algorithm

intervals

Results

1.3s	13580×	body	80	valid
584.0ms	13580×	pre	80	true