Details

sample291.0ms

Algorithm

intervals

Results

116.0ms

534×

body

valid

simplify249.0ms

Calls

1 calls:

Slowest

248.0ms

(- (- (+ 3 (/ 2 (* r r))) (/ (* (* 0.125 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 4.5)

prune25.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize58.0ms

Local error

Found 4 expressions with local error:

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

rewrite71.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt` `associate-+l+` `*-un-lft-identity`
12×	`prod-diff` `add-cube-cbrt`
9×	`pow1`
6×	`add-cbrt-cube` `add-exp-log`
5×	`fma-def`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `div-inv` `add-log-exp`
1×	`pow2` `+-commutative` `clear-num` `associate-/r` `sub-neg` `frac-2neg` `flip3-+` `pow-plus` `associate-r` `associate-l` `pow-prod-down` `prod-exp` `-commutative` `pow-prod-up` `associate-+l-` `cbrt-unprod` `flip-+` `fma-udef` `distribute-lft-out--` `difference-of-squares`

Calls

4 calls:

Slowest

46.0ms	(+ (- (/ 2 (* r r)) (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5)) 3)
8.0ms	(* (* w r) (* w r))
3.0ms	(/ 2 (* r r))
0.0ms	(fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5)

series195.0ms

Calls

4 calls:

Slowest

78.0ms	(+ (- (/ 2 (* r r)) (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5)) 3)
58.0ms	(fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5)
30.0ms	(/ 2 (* r r))
28.0ms	(* (* w r) (* w r))

simplify5.7s

Calls

36 calls:

Slowest

476.0ms	(fma (* (cbrt (/ 2 (* r r))) (cbrt (/ 2 (* r r)))) (cbrt (/ 2 (* r r))) (- (* (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5) 1)))
429.0ms	(fma 2 (/ 1 (* r r)) (- (* (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5) 1)))
415.0ms	(fma 1 (/ 2 (* r r)) (- (* (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5) 1)))
402.0ms	(fma (sqrt (/ 2 (* r r))) (sqrt (/ 2 (* r r))) (- (* (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5) 1)))
333.0ms	(fma 1 (/ 2 (* r r)) (- (* (sqrt (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5)) (sqrt (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5)))))

prune1.3s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.2b

localize8.0ms

Local error

Found 4 expressions with local error:

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

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

9×	`pow1`
6×	`add-cbrt-cube` `add-exp-log`
5×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`fma-neg`
2×	`fma-udef`
1×	`pow2` `clear-num` `associate-/r` `sub-neg` `frac-2neg` `pow-plus` `flip3--` `associate-r` `associate-l` `pow-prod-down` `prod-exp` `associate--l+` `-commutative` `pow-prod-up` `cbrt-unprod` `div-inv` `flip--`

Calls

4 calls:

Slowest

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

series149.0ms

Calls

4 calls:

Slowest

63.0ms	(- (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5) 3)
47.0ms	(fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5)
25.0ms	(* (* w r) (* w r))
14.0ms	(/ 2 (* r r))

simplify1.5s

Calls

21 calls:

Slowest

365.0ms	(* (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)))
203.0ms	(* (cbrt (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5)) (cbrt (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5)))
192.0ms	(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
180.0ms	(sqrt (fma (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)) 4.5))
147.0ms	(- (* 0.25 (* (pow r 2) (pow w 2))) (+ (* 0.125 (/ (* (pow r 2) (pow w 2)) v)) (* 0.125 (/ (* (pow r 2) (pow w 2)) (pow v 2)))))

prune1.0s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.2b

localize19.0ms

Local error

Found 4 expressions with local error:

0.7b	(/ 2 (* r r))
0.3b	(* (* w r) (* w r))
0.3b	(* (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)))
0.0b	(/ (* (fma v -2 3) 0.125) (- 1 v))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-cbrt-cube` `add-exp-log`
14×	`pow1`
10×	`associate-l`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
7×	`prod-exp` `cbrt-unprod`
6×	`times-frac`
4×	`expm1-log1p-u` `associate-/r*` `pow-prod-down` `associate-/r/` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`cbrt-undiv` `div-exp` `div-inv`
2×	`clear-num` `frac-2neg` `flip3--` `associate-r` `*-commutative` `flip--`
1×	`pow2` `pow-plus` `associate-l/` `pow-prod-up` `associate-/l`

Calls

4 calls:

Slowest

20.0ms	(* (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)))
7.0ms	(/ (* (fma v -2 3) 0.125) (- 1 v))
4.0ms	(* (* w r) (* w r))
0.0ms	(/ 2 (* r r))

series141.0ms

Calls

4 calls:

Slowest

69.0ms	(* (/ (* (fma v -2 3) 0.125) (- 1 v)) (* (* w r) (* w r)))
27.0ms	(/ (* (fma v -2 3) 0.125) (- 1 v))
26.0ms	(* (* w r) (* w r))
18.0ms	(/ 2 (* r r))

simplify8.1s

Calls

52 calls:

Slowest

830.0ms	(* (/ (* (* (* (fma v -2 3) 0.125) (* (fma v -2 3) 0.125)) (* (fma v -2 3) 0.125)) (* (* (- 1 v) (- 1 v)) (- 1 v))) (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r))))
777.0ms	(* (/ (* (* (* (fma v -2 3) 0.125) (* (fma v -2 3) 0.125)) (* (fma v -2 3) 0.125)) (* (* (- 1 v) (- 1 v)) (- 1 v))) (* (* (* (* w r) (* w r)) (* (* w r) (* w r))) (* (* w r) (* w r))))
544.0ms	(- 0.25 (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))))
485.0ms	(- 0.25 (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))))
468.0ms	(/ (fma v -2 3) (* (cbrt (- 1 v)) (cbrt (- 1 v))))

prune1.5s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite84.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-cbrt-cube` `add-exp-log`
11×	`pow1`
10×	`associate-l`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
7×	`prod-exp` `cbrt-unprod`
6×	`times-frac`
4×	`expm1-log1p-u` `associate-/r*` `pow-prod-down` `associate-/r/` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`cbrt-undiv` `div-exp` `associate-*l/` `div-inv`
2×	`clear-num` `frac-2neg` `flip3--` `associate-r` `*-commutative` `flip--`
1×	`associate-/l*`

Calls

4 calls:

Slowest

50.0ms	(* (* (/ (* (fma v -2 3) 0.125) (- 1 v)) (* w r)) (* w r))
19.0ms	(* (/ (* (fma v -2 3) 0.125) (- 1 v)) (* w r))
13.0ms	(/ (* (fma v -2 3) 0.125) (- 1 v))
1.0ms	(/ 2 (* r r))

series152.0ms

Calls

4 calls:

Slowest

70.0ms	(* (* (/ (* (fma v -2 3) 0.125) (- 1 v)) (* w r)) (* w r))
43.0ms	(* (/ (* (fma v -2 3) 0.125) (- 1 v)) (* w r))
20.0ms	(/ (* (fma v -2 3) 0.125) (- 1 v))
19.0ms	(/ 2 (* r r))

simplify9.8s

Calls

50 calls:

Slowest

924.0ms	(* (* (/ (* (* (* (fma v -2 3) 0.125) (* (fma v -2 3) 0.125)) (* (fma v -2 3) 0.125)) (* (* (- 1 v) (- 1 v)) (- 1 v))) (* (* (* w r) (* w r)) (* w r))) (* (* (* w r) (* w r)) (* w r)))
586.0ms	(* (/ (* (* (* (fma v -2 3) 0.125) (* (fma v -2 3) 0.125)) (* (fma v -2 3) 0.125)) (* (* (- 1 v) (- 1 v)) (- 1 v))) (* (* (* w r) (* w r)) (* w r)))
581.0ms	(* (* (* (* (/ (* (fma v -2 3) 0.125) (- 1 v)) (* w r)) (* (/ (* (fma v -2 3) 0.125) (- 1 v)) (* w r))) (* (/ (* (fma v -2 3) 0.125) (- 1 v)) (* w r))) (* (* (* w r) (* w r)) (* w r)))
536.0ms	(- 0.25 (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))))
519.0ms	(- 0.25 (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))))

prune1.5s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

regimes292.0ms

Accuracy

0% (0.2b remaining)

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

bsearch4.0ms

end0.0ms

sample5.4s

Algorithm

intervals

Results

5.0s

17334×

body

valid