Details

sample161.0ms

Algorithm

intervals

Results

33.0ms	418×	body	80	valid
16.0ms	418×	pre	80	true

simplify386.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

385.0ms

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

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize32.0ms

Local error

Found 3 expressions with local error:

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

rewrite203.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 132

Calls

3 calls:

Slowest

133.0ms	(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
34.0ms	(* m (- 1 m))
30.0ms	(/ (* m (- 1 m)) v)

series152.0ms

Counts

3 → 9

Calls

3 calls:

Slowest

73.0ms	(* m (- 1 m))
40.0ms	(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
39.0ms	(/ (* m (- 1 m)) v)

simplify17.8s

Counts

110 → 141

Calls

110 calls:

Slowest

906.0ms	(* (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))) (- (/ (* m (- 1 m)) v) 1))
901.0ms	(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
725.0ms	(* (+ (/ (* m (- 1 m)) v) 1) (+ 1 m))
703.0ms	(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- (* 1 1) (* m m)))
653.0ms	(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- 1 m))

prune1.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 2 expressions with local error:

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

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt`
22×	`*-un-lft-identity`
18×	`prod-diff`
16×	`add-cube-cbrt`
11×	`distribute-rgt-in` `distribute-lft-in`
7×	`associate-l`
6×	`flip3--` `associate-r` `flip--`
4×	`frac-times` `pow1` `add-cbrt-cube` `add-exp-log` `difference-of-squares`
2×	`expm1-log1p-u` `sub-neg` `associate-l/` `associate-r/` `insert-posit16` `log1p-expm1-u` `distribute-lft-out--` `add-log-exp`
1×	`difference-of-sqr-1` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `fma-udef` `unswap-sqr`

Counts

2 → 69

Calls

2 calls:

Slowest

54.0ms	(* (- (fma (/ m v) (- m) (/ m v)) 1) (- 1 m))
0.0ms	(fma (/ m v) (- m) (/ m v))

series123.0ms

Counts

2 → 6

Calls

2 calls:

Slowest

62.0ms	(fma (/ m v) (- m) (/ m v))
61.0ms	(* (- (fma (/ m v) (- m) (/ m v)) 1) (- 1 m))

simplify10.3s

Counts

56 → 75

Calls

56 calls:

Slowest

757.0ms	(* (- (fma (/ m v) (- m) (/ m v)) 1) (- 1 m))
606.0ms	(* (+ (fma (/ m v) (- m) (/ m v)) 1) (+ (* 1 1) (+ (* m m) (* 1 m))))
539.0ms	(* (- (pow (fma (/ m v) (- m) (/ m v)) 3) (pow 1 3)) (- (pow 1 3) (pow m 3)))
481.0ms	(* (- (pow (fma (/ m v) (- m) (/ m v)) 3) (pow 1 3)) (- (* 1 1) (* m m)))
392.0ms	(* (- (pow (fma (/ m v) (- m) (/ m v)) 3) (pow 1 3)) (- 1 m))

prune699.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (- m) (- (fma (/ m v) (- m) (/ m v)) 1))
0.0b	(fma (/ m v) (- m) (/ m v))
0.0b	(fma (/ m v) (- m) (/ m v))
0.0b	(+ (* 1 (- (fma (/ m v) (- m) (/ m v)) 1)) (* (- m) (- (fma (/ m v) (- m) (/ m v)) 1)))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

54×	`prod-diff`
50×	`add-sqr-sqrt`
47×	`*-un-lft-identity`
44×	`add-cube-cbrt`
36×	`distribute-rgt-in` `distribute-lft-in`
24×	`associate-+l+` `associate-+r+`
10×	`associate-l` `associate-*r/`
8×	`fma-udef`
7×	`associate-r`
6×	`pow1` `sub-neg` `add-cbrt-cube` `associate--l+` `add-exp-log` `add-log-exp`
5×	`flip3--` `flip--`
4×	`expm1-log1p-u` `frac-add` `insert-posit16` `log1p-expm1-u`
3×	`distribute-lft-neg-out` `distribute-lft-neg-in` `distribute-rgt-neg-in`
2×	`difference-of-squares`
1×	`+-commutative` `neg-mul-1` `sum-log` `fma-def` `flip3-+` `distribute-rgt-out` `difference-of-sqr-1` `unsub-neg` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out--` `unswap-sqr`

Counts

4 → 151

Calls

4 calls:

Slowest

40.0ms	(* (- m) (- (fma (/ m v) (- m) (/ m v)) 1))
15.0ms	(+ (* 1 (- (fma (/ m v) (- m) (/ m v)) 1)) (* (- m) (- (fma (/ m v) (- m) (/ m v)) 1)))
0.0ms	(fma (/ m v) (- m) (/ m v))
0.0ms	(fma (/ m v) (- m) (/ m v))

series216.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

69.0ms	(+ (* 1 (- (fma (/ m v) (- m) (/ m v)) 1)) (* (- m) (- (fma (/ m v) (- m) (/ m v)) 1)))
63.0ms	(fma (/ m v) (- m) (/ m v))
45.0ms	(* (- m) (- (fma (/ m v) (- m) (/ m v)) 1))
39.0ms	(fma (/ m v) (- m) (/ m v))

simplify15.5s

Counts

119 → 163

Calls

119 calls:

Slowest

692.0ms	(* 1 (fma (sqrt (fma (/ m v) (- m) (/ m v))) (sqrt (fma (/ m v) (- m) (/ m v))) (- (* 1 1))))
471.0ms	(+ (* (* 1 (- (pow (fma (/ m v) (- m) (/ m v)) 3) (pow 1 3))) (+ (* (fma (/ m v) (- m) (/ m v)) (fma (/ m v) (- m) (/ m v))) (+ (* 1 1) (* (fma (/ m v) (- m) (/ m v)) 1)))) (* (+ (* (fma (/ m v) (- m) (/ m v)) (fma (/ m v) (- m) (/ m v))) (+ (* 1 1) (* (fma (/ m v) (- m) (/ m v)) 1))) (* (- m) (- (pow (fma (/ m v) (- m) (/ m v)) 3) (pow 1 3)))))
451.0ms	(- (+ m (/ (pow m 3) v)) (/ (pow m 2) v))
411.0ms	(- (+ m (/ (pow m 3) v)) (/ (pow m 2) v))
402.0ms	(- (+ m (/ (pow m 3) v)) (/ (pow m 2) v))

prune1.8s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (/ m v) (- m))
0.2b	(* (- m) (- (fma (/ m v) (- m) (/ m v)) 1))
0.0b	(fma (/ m v) (- m) (/ m v))
0.0b	(+ (* (* (/ m v) (- m)) 1) (+ (* (- (/ m v) 1) 1) (* (- m) (- (fma (/ m v) (- m) (/ m v)) 1))))

rewrite138.0ms

Algorithm

rewrite-expression-head

Rules

41×	`add-sqr-sqrt`
33×	`*-un-lft-identity`
30×	`add-cube-cbrt`
23×	`associate-l`
18×	`prod-diff`
17×	`associate-r` `associate-*l/`
12×	`distribute-rgt-in` `distribute-lft-in`
11×	`add-cbrt-cube` `add-exp-log`
10×	`times-frac` `frac-add`
9×	`add-log-exp`
8×	`pow1`
6×	`distribute-lft-neg-in` `distribute-rgt-neg-in` `associate-*r/`
5×	`flip3--` `flip--`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
3×	`distribute-lft-neg-out` `sum-log` `prod-exp` `cbrt-unprod` `fma-udef` `unswap-sqr`
2×	`associate-+r-` `neg-mul-1` `sub-neg` `flip3-+` `pow-prod-down` `associate--l+` `*-commutative` `flip-+` `difference-of-squares`
1×	`cbrt-undiv` `+-commutative` `associate-+r+` `fma-def` `difference-of-sqr-1` `div-exp` `unsub-neg` `distribute-rgt-neg-out` `div-inv` `distribute-lft-out--`

Counts

4 → 138

Calls

4 calls:

Slowest

93.0ms	(+ (* (* (/ m v) (- m)) 1) (+ (* (- (/ m v) 1) 1) (* (- m) (- (fma (/ m v) (- m) (/ m v)) 1))))
26.0ms	(* (- m) (- (fma (/ m v) (- m) (/ m v)) 1))
16.0ms	(* (/ m v) (- m))
0.0ms	(fma (/ m v) (- m) (/ m v))

series156.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

47.0ms	(+ (* (* (/ m v) (- m)) 1) (+ (* (- (/ m v) 1) 1) (* (- m) (- (fma (/ m v) (- m) (/ m v)) 1))))
47.0ms	(fma (/ m v) (- m) (/ m v))
39.0ms	(* (- m) (- (fma (/ m v) (- m) (/ m v)) 1))
23.0ms	(* (/ m v) (- m))

simplify11.9s

Counts

105 → 150

Calls

105 calls:

Slowest

554.0ms	(* (exp (* (* (/ m v) (- m)) 1)) (* (exp (* (- (/ m v) 1) 1)) (exp (* (- m) (- (fma (/ m v) (- m) (/ m v)) 1)))))
526.0ms	(* (exp (* (* (/ m v) (- m)) 1)) (exp (+ (* (- (/ m v) 1) 1) (* (- m) (- (fma (/ m v) (- m) (/ m v)) 1)))))
510.0ms	(+ (* (* (* m (- m)) 1) (* (+ (/ m v) 1) (+ (fma (/ m v) (- m) (/ m v)) 1))) (* v (+ (* (* (- (* (/ m v) (/ m v)) (* 1 1)) 1) (+ (fma (/ m v) (- m) (/ m v)) 1)) (* (+ (/ m v) 1) (* (- m) (- (* (fma (/ m v) (- m) (/ m v)) (fma (/ m v) (- m) (/ m v))) (* 1 1)))))))
475.0ms	(- (+ m (/ (pow m 3) v)) (/ (pow m 2) v))
446.0ms	(* (* (* (/ m v) (/ m v)) (/ m v)) (* (* (- m) (- m)) (- m)))

prune1.6s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

regimes104.0ms

Accuracy

0% (0.1b remaining)

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

bsearch8.0ms

end0.0ms

sample2.6s

Algorithm

intervals

Results

1.3s	13680×	body	80	valid
978.0ms	13680×	pre	80	true