Details

sample239.0ms

Algorithm

intervals

Results

139.0ms

508×

body

valid

simplify176.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

176.0ms

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

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize46.0ms

Local error

Found 4 expressions with local error:

0.6b	(/ 2 (* r r))
0.4b	(* (* w r) (* w r))
0.2b	(/ (fma v -2 3) (/ (- 1 v) 0.125))
0.1b	(fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

141×	`times-frac`
105×	`add-sqr-sqrt` `*-un-lft-identity`
69×	`add-cube-cbrt`
43×	`pow1`
26×	`add-cbrt-cube` `add-exp-log`
24×	`difference-of-squares`
23×	`associate-/r*`
17×	`pow-prod-down`
12×	`distribute-lft-out--`
9×	`prod-exp` `cbrt-unprod`
6×	`div-inv` `associate-/l*`
5×	`cbrt-undiv` `div-exp`
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`

Counts

4 → 181

Calls

4 calls:

Slowest

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

series277.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

121.0ms	(fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)
64.0ms	(/ (fma v -2 3) (/ (- 1 v) 0.125))
59.0ms	(/ 2 (* r r))
33.0ms	(* (* w r) (* w r))

simplify15.0s

Counts

216 → 193

Calls

216 calls:

Slowest

711.0ms	(* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r)))
520.0ms	(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
507.0ms	(- 0.25 (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))))
506.0ms	(- 0.25 (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))))
393.0ms	(/ (* (cbrt (fma v -2 3)) (cbrt (fma v -2 3))) (/ (* (cbrt (- 1 v)) (cbrt (- 1 v))) (* (cbrt 0.125) (cbrt 0.125))))

prune3.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize47.0ms

Local error

Found 4 expressions with local error:

0.7b	(/ (cbrt (- 1 v)) (sqrt 0.125))
0.6b	(/ 2 (* r r))
0.4b	(* (* w r) (* w r))
0.3b	(cbrt (- 1 v))

rewrite87.0ms

Algorithm

rewrite-expression-head

Rules

65×	`add-sqr-sqrt` `*-un-lft-identity`
57×	`times-frac`
48×	`cbrt-prod`
43×	`pow1`
41×	`add-cube-cbrt`
30×	`sqrt-prod`
23×	`add-exp-log`
22×	`add-cbrt-cube`
17×	`pow-prod-down`
16×	`difference-of-squares`
12×	`associate-/l*`
9×	`prod-exp` `cbrt-unprod`
8×	`distribute-lft-out--`
7×	`associate-/r*`
4×	`expm1-log1p-u` `cbrt-div` `pow-sqr` `pow-prod-up` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`cbrt-undiv` `div-exp`
2×	`clear-num` `frac-2neg` `pow-plus` `flip3--` `div-inv` `flip--` `associate-/l/`
1×	`pow2` `pow1/3` `swap-sqr` `associate-r` `associate-l` `*-commutative`

Counts

4 → 166

Calls

4 calls:

Slowest

45.0ms	(* (* w r) (* w r))
20.0ms	(/ 2 (* r r))
11.0ms	(/ (cbrt (- 1 v)) (sqrt 0.125))
6.0ms	(cbrt (- 1 v))

series236.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

106.0ms	(/ (cbrt (- 1 v)) (sqrt 0.125))
56.0ms	(* (* w r) (* w r))
47.0ms	(cbrt (- 1 v))
27.0ms	(/ 2 (* r r))

simplify7.5s

Counts

190 → 178

Calls

190 calls:

Slowest

823.0ms	(* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r)))
688.0ms	(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
449.0ms	(- (/ (exp (* 1/3 (- (log -1) (log (/ 1 v))))) (sqrt 0.125)) (+ (* 1/3 (/ (exp (* 1/3 (- (log -1) (log (/ 1 v))))) (* v (sqrt 0.125)))) (* 1/9 (/ (exp (* 1/3 (- (log -1) (log (/ 1 v))))) (* (pow v 2) (sqrt 0.125))))))
301.0ms	(- (pow (/ -1 v) -1/3) (+ (* 1/3 (pow (/ -1 (pow v 2)) 1/3)) (* 1/9 (pow (/ -1 (pow v 5)) 1/3))))
279.0ms	(/ (* (* 2 2) 2) (* (* (* r r) (* r r)) (* r r)))

prune3.5s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize67.0ms

Local error

Found 4 expressions with local error:

0.6b	(/ 2 (* r r))
0.4b	(* (* w r) (* w r))
0.2b	(/ (fma v -2 3) (/ (- 1 v) 0.125))
0.1b	(* (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)))

rewrite210.0ms

Algorithm

rewrite-expression-head

Rules

264×	`times-frac`
191×	`add-sqr-sqrt`
185×	`*-un-lft-identity`
122×	`add-cube-cbrt`
95×	`add-cbrt-cube` `add-exp-log`
72×	`associate-l`
61×	`pow1`
48×	`prod-exp` `cbrt-unprod`
42×	`difference-of-squares`
30×	`pow-prod-down`
23×	`associate-/r*`
21×	`distribute-lft-out--`
20×	`cbrt-undiv` `div-exp`
10×	`div-inv`
6×	`associate-/l*`
4×	`expm1-log1p-u` `pow-sqr` `pow-prod-up` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`unswap-sqr`
2×	`clear-num` `frac-2neg` `pow-plus` `associate-r` `associate-/r/` `*-commutative`
1×	`pow2` `swap-sqr` `associate-*l/`

Counts

4 → 292

Calls

4 calls:

Slowest

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

series210.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

82.0ms	(* (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)))
51.0ms	(/ 2 (* r r))
39.0ms	(/ (fma v -2 3) (/ (- 1 v) 0.125))
37.0ms	(* (* w r) (* w r))

simplify41.4s

Counts

329 → 304

Calls

329 calls:

Slowest

1.1s	(* (/ (* (* (fma v -2 3) (fma v -2 3)) (fma v -2 3)) (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* 0.125 0.125) 0.125))) (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w w) w) (* (* r r) r))))
993.0ms	(* (/ (* (* (fma v -2 3) (fma v -2 3)) (fma v -2 3)) (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* 0.125 0.125) 0.125))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w r) (* w r)) (* w r))))
943.0ms	(* (/ (* (* (fma v -2 3) (fma v -2 3)) (fma v -2 3)) (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* 0.125 0.125) 0.125))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r))))
879.0ms	(* (/ (* (* (fma v -2 3) (fma v -2 3)) (fma v -2 3)) (* (* (/ (- 1 v) 0.125) (/ (- 1 v) 0.125)) (/ (- 1 v) 0.125))) (* (* (* (* w r) (* w r)) (* (* w r) (* w r))) (* (* w r) (* w r))))
863.0ms	(* (/ (* (* (fma v -2 3) (fma v -2 3)) (fma v -2 3)) (* (* (/ (- 1 v) 0.125) (/ (- 1 v) 0.125)) (/ (- 1 v) 0.125))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r))))

prune5.0s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize122.0ms

Local error

Found 4 expressions with local error:

0.7b	(/ (* (cbrt (- 1 v)) (cbrt (- 1 v))) (sqrt 0.125))
0.7b	(/ (cbrt (- 1 v)) (sqrt 0.125))
0.6b	(/ (* (cbrt (fma v -2 3)) (cbrt (fma v -2 3))) (/ (* (cbrt (- 1 v)) (cbrt (- 1 v))) (sqrt 0.125)))
0.6b	(/ 2 (* r r))

rewrite110.0ms

Algorithm

rewrite-expression-head

Rules

85×	`times-frac`
71×	`add-sqr-sqrt` `*-un-lft-identity`
50×	`add-cube-cbrt`
42×	`cbrt-prod` `sqrt-prod`
37×	`add-exp-log`
24×	`add-cbrt-cube`
23×	`associate-/r*`
15×	`cbrt-undiv` `div-exp`
14×	`cbrt-div` `associate-/l*` `difference-of-squares`
10×	`associate-/l/`
7×	`flip3--` `prod-exp` `cbrt-unprod` `flip--` `distribute-lft-out--`
6×	`div-inv`
4×	`expm1-log1p-u` `frac-times` `pow1` `clear-num` `frac-2neg` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`associate-l/` `associate-r/`
1×	`associate-/r/`

Counts

4 → 195

Calls

4 calls:

Slowest

41.0ms	(/ (* (cbrt (- 1 v)) (cbrt (- 1 v))) (sqrt 0.125))
36.0ms	(/ (* (cbrt (fma v -2 3)) (cbrt (fma v -2 3))) (/ (* (cbrt (- 1 v)) (cbrt (- 1 v))) (sqrt 0.125)))
22.0ms	(/ (cbrt (- 1 v)) (sqrt 0.125))
9.0ms	(/ 2 (* r r))

series433.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

198.0ms	(/ (* (cbrt (fma v -2 3)) (cbrt (fma v -2 3))) (/ (* (cbrt (- 1 v)) (cbrt (- 1 v))) (sqrt 0.125)))
104.0ms	(/ (* (cbrt (- 1 v)) (cbrt (- 1 v))) (sqrt 0.125))
98.0ms	(/ (cbrt (- 1 v)) (sqrt 0.125))
33.0ms	(/ 2 (* r r))

simplify14.8s

Counts

225 → 207

Calls

225 calls:

Slowest

584.0ms	(- (* (pow 4 1/3) (sqrt 0.125)) (+ (* 1/3 (* (/ (sqrt 0.125) v) (pow 4 1/3))) (* 13/36 (* (/ (sqrt 0.125) (pow v 2)) (pow 4 1/3)))))
559.0ms	(/ (* (- 1 v) (- 1 v)) (* (* (sqrt 0.125) (sqrt 0.125)) (sqrt 0.125)))
550.0ms	(- (* (pow 4 1/3) (sqrt 0.125)) (+ (* 1/3 (* (/ (sqrt 0.125) v) (pow 4 1/3))) (* 13/36 (* (/ (sqrt 0.125) (pow v 2)) (pow 4 1/3)))))
486.0ms	(/ (* (* (* (cbrt (fma v -2 3)) (cbrt (fma v -2 3))) (* (cbrt (fma v -2 3)) (cbrt (fma v -2 3)))) (* (cbrt (fma v -2 3)) (cbrt (fma v -2 3)))) (/ (* (* (* (cbrt (- 1 v)) (cbrt (- 1 v))) (* (cbrt (- 1 v)) (cbrt (- 1 v)))) (* (cbrt (- 1 v)) (cbrt (- 1 v)))) (* (* (sqrt 0.125) (sqrt 0.125)) (sqrt 0.125))))
480.0ms	(- (log (* (cbrt (fma v -2 3)) (cbrt (fma v -2 3)))) (- (+ (log (cbrt (- 1 v))) (log (cbrt (- 1 v)))) (log (sqrt 0.125))))

prune4.4s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

regimes375.0ms

Accuracy

0% (0.4b remaining)

Error of 0.6b against oracle of 0.2b and baseline of 0.6b

bsearch5.0ms

end0.0ms

sample5.3s

Algorithm

intervals

Results

4.8s

16898×

body

valid