Details

sample201.0ms

Algorithm

intervals

Results

133.0ms

529×

body

valid

simplify402.0ms

Calls

1 calls:

Slowest

402.0ms

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

prune42.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize55.0ms

Local error

Found 4 expressions with local error:

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

rewrite152.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

4 calls:

Slowest

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

series306.0ms

Calls

4 calls:

Slowest

107.0ms	(- (+ 3 (/ 2 (* r r))) (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5))
101.0ms	(fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)
55.0ms	(/ 2 (* r r))
43.0ms	(* (* w r) (* w r))

simplify14.4s

Calls

88 calls:

Slowest

795.0ms	(* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r)))
748.0ms	(fma 1 (+ 3 (/ 2 (* r r))) (- (* (cbrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)) (* (cbrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)) (cbrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5))))))
545.0ms	(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
528.0ms	(fma 1 (+ 3 (/ 2 (* r r))) (- (* (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5) 1)))
487.0ms	(fma (* (cbrt (+ 3 (/ 2 (* r r)))) (cbrt (+ 3 (/ 2 (* r r))))) (cbrt (+ 3 (/ 2 (* r r)))) (- (* (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5) 1)))

prune1.6s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize65.0ms

Local error

Found 4 expressions with local error:

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

rewrite113.0ms

Algorithm

rewrite-expression-head

Rules

75×	`times-frac`
67×	`*-un-lft-identity`
56×	`add-sqr-sqrt`
54×	`add-cube-cbrt`
43×	`pow1`
21×	`add-cbrt-cube` `add-exp-log`
17×	`pow-prod-down`
13×	`associate-/l*`
12×	`prod-diff`
9×	`add-log-exp`
8×	`prod-exp` `cbrt-unprod`
5×	`div-inv` `distribute-lft-out`
4×	`expm1-log1p-u` `fma-neg` `pow-sqr` `pow-prod-up` `insert-posit16` `log1p-expm1-u`
3×	`cbrt-undiv` `associate-/r*` `div-exp`
2×	`pow-plus` `diff-log` `fma-udef` `distribute-lft-out--`
1×	`pow2` `clear-num` `sum-log` `sub-neg` `frac-2neg` `flip3--` `swap-sqr` `associate-r` `associate-l` `associate--l+` `*-commutative` `flip--` `associate--r+` `difference-of-squares` `associate-/l/`

Calls

4 calls:

Slowest

68.0ms	(- (+ 3 (/ (/ 2 r) r)) (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5))
32.0ms	(* (* w r) (* w r))
11.0ms	(/ (/ 2 r) r)
0.0ms	(fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)

series345.0ms

Calls

4 calls:

Slowest

134.0ms	(- (+ 3 (/ (/ 2 r) r)) (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5))
132.0ms	(fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)
44.0ms	(* (* w r) (* w r))
35.0ms	(/ (/ 2 r) r)

simplify16.8s

Calls

171 calls:

Slowest

748.0ms	(* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r)))
671.0ms	(- (sqrt (+ 3 (/ (/ 2 r) r))) (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)))
555.0ms	(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
541.0ms	(fma (* (cbrt (+ 3 (/ (/ 2 r) r))) (cbrt (+ 3 (/ (/ 2 r) r)))) (cbrt (+ 3 (/ (/ 2 r) r))) (- (* (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5) 1)))
529.0ms	(fma 1 (+ 3 (/ (/ 2 r) r)) (- (* (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5) 1)))

prune2.4s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize61.0ms

Local error

Found 4 expressions with local error:

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

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

108×	`times-frac`
60×	`sqrt-prod`
51×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
43×	`pow1`
30×	`add-cbrt-cube` `add-exp-log`
17×	`pow-prod-down`
16×	`associate-/r*`
10×	`prod-exp` `cbrt-unprod`
9×	`div-inv`
7×	`cbrt-undiv` `div-exp` `associate-/l*`
4×	`expm1-log1p-u` `pow-sqr` `pow-prod-up` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`clear-num` `frac-2neg` `pow-plus`
1×	`pow2` `swap-sqr` `associate-r` `associate-l` `associate-/r/` `*-commutative` `fma-udef`

Calls

4 calls:

Slowest

32.0ms	(* (* w r) (* w r))
19.0ms	(/ (* r r) (sqrt 2))
16.0ms	(/ (sqrt 2) (/ (* r r) (sqrt 2)))
0.0ms	(fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)

series340.0ms

Calls

4 calls:

Slowest

111.0ms	(/ (* r r) (sqrt 2))
92.0ms	(fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)
86.0ms	(/ (sqrt 2) (/ (* r r) (sqrt 2)))
51.0ms	(* (* w r) (* w r))

simplify9.1s

Calls

208 calls:

Slowest

1.1s	(/ (* (* (sqrt 2) (sqrt 2)) (sqrt 2)) (* (* (/ (* r r) (sqrt 2)) (/ (* r r) (sqrt 2))) (/ (* r r) (sqrt 2))))
766.0ms	(* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r)))
686.0ms	(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
325.0ms	(/ (* (* (* r r) (* r r)) (* r r)) (* (* (sqrt 2) (sqrt 2)) (sqrt 2)))
269.0ms	(/ (* (* (* r r) r) (* (* r r) r)) (* (* (sqrt 2) (sqrt 2)) (sqrt 2)))

prune2.8s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize44.0ms

Local error

Found 4 expressions with local error:

0.4b	(/ r (sqrt 2))
0.3b	(* (* w r) (* w r))
0.3b	(* (/ (sqrt (sqrt 2)) r) (/ (sqrt (sqrt 2)) (/ r (sqrt 2))))
0.3b	(/ (sqrt (sqrt 2)) (/ r (sqrt 2)))

rewrite127.0ms

Algorithm

rewrite-expression-head

Rules

873×	`times-frac`
693×	`sqrt-prod`
591×	`add-sqr-sqrt`
421×	`*-un-lft-identity` `add-cube-cbrt`
204×	`associate-r`
45×	`pow1`
44×	`add-cbrt-cube` `add-exp-log`
40×	`unswap-sqr`
32×	`associate-l`
28×	`associate-/r*`
23×	`div-inv`
18×	`pow-prod-down`
14×	`prod-exp` `cbrt-unprod`
13×	`cbrt-undiv` `div-exp`
12×	`associate-/l*`
4×	`expm1-log1p-u` `pow-sqr` `pow-prod-up` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`clear-num` `frac-2neg` `pow-plus` `associate-/r/` `*-commutative`
1×	`pow2` `frac-times` `swap-sqr` `associate-l/` `associate-r/`

Calls

4 calls:

Slowest

45.0ms	(* (* w r) (* w r))
26.0ms	(* (/ (sqrt (sqrt 2)) r) (/ (sqrt (sqrt 2)) (/ r (sqrt 2))))
16.0ms	(/ (sqrt (sqrt 2)) (/ r (sqrt 2)))
4.0ms	(/ r (sqrt 2))

series432.0ms

Calls

4 calls:

Slowest

205.0ms	(/ (sqrt (sqrt 2)) (/ r (sqrt 2)))
102.0ms	(* (/ (sqrt (sqrt 2)) r) (/ (sqrt (sqrt 2)) (/ r (sqrt 2))))
64.0ms	(/ r (sqrt 2))
61.0ms	(* (* w r) (* w r))

simplify40.7s

Calls

851 calls:

Slowest

729.0ms	(/ (* (* (sqrt (sqrt 2)) (sqrt (sqrt 2))) (sqrt (sqrt 2))) (* (* (/ r (sqrt 2)) (/ r (sqrt 2))) (/ r (sqrt 2))))
694.0ms	(* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r)))
634.0ms	(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
546.0ms	(/ (* (cbrt (sqrt (sqrt 2))) (cbrt (sqrt (sqrt 2)))) (/ (* (cbrt r) (cbrt r)) (* (cbrt (sqrt 2)) (cbrt (sqrt 2)))))
494.0ms	(* (/ (sqrt (sqrt (sqrt 2))) (sqrt r)) (/ (sqrt (sqrt (sqrt 2))) (sqrt (/ r (sqrt 2)))))

prune12.5s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

regimes429.0ms

Accuracy

0% (0.3b remaining)

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

bsearch4.0ms

end0.0ms

sample5.2s

Algorithm

intervals

Results

4.8s

17070×

body

valid