Details

Time bar (total: 3.7m)

sample322.0ms

Algorithm
intervals
Results
111.0ms554×body80valid

simplify153.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
152.0ms
(- (- (+ 3 (/ 2 (* r r))) (/ (* (* 0.125 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 4.5)

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize35.0ms

Local error

Found 4 expressions with local error:

0.6b
(/ 2 (* r r))
0.3b
(* (* w r) (* w r))
0.3b
(/ (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)

rewrite81.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
57.0ms
(* (* w r) (* w r))
10.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)

series238.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
114.0ms
(fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)
43.0ms
(/ (fma v -2 3) (/ (- 1 v) 0.125))
41.0ms
(* (* w r) (* w r))
39.0ms
(/ 2 (* r r))

simplify24.8s

Counts
263 → 193
Calls
263 calls:
Slowest
822.0ms
(* (* (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5) (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)) (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5))
784.0ms
(* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r)))
777.0ms
(/ (* (cbrt (fma v -2 3)) (cbrt (fma v -2 3))) (/ 1 (* (cbrt 0.125) (cbrt 0.125))))
693.0ms
(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
682.0ms
(* (* (/ (fma v -2 3) (/ (- 1 v) 0.125)) (/ (fma v -2 3) (/ (- 1 v) 0.125))) (/ (fma v -2 3) (/ (- 1 v) 0.125)))

prune3.0s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize72.0ms

Local error

Found 4 expressions with local error:

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

rewrite221.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
129.0ms
(* (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)))
46.0ms
(* (* w r) (* w r))
20.0ms
(/ (fma v -2 3) (/ (- 1 v) 0.125))
13.0ms
(/ 2 (* r r))

series255.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
96.0ms
(* (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)))
65.0ms
(/ (fma v -2 3) (/ (- 1 v) 0.125))
49.0ms
(* (* w r) (* w r))
45.0ms
(/ 2 (* r r))

simplify1.2m

Counts
376 → 304
Calls
376 calls:
Slowest
1.0s
(* (/ (* (* (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))))
1.0s
(* (/ (* (* (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))))
965.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))))
861.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 r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r))))
840.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))))

prune4.7s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize49.0ms

Local error

Found 4 expressions with local error:

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

rewrite190.0ms

Algorithm
rewrite-expression-head
Rules
336×times-frac
231×add-sqr-sqrt
225×*-un-lft-identity
162×add-cube-cbrt
95×add-cbrt-cube add-exp-log
72×associate-*l*
61×pow1
47×prod-exp cbrt-unprod
42×difference-of-squares
30×pow-prod-down
25×associate-/r*
21×cbrt-undiv div-exp distribute-lft-out--
16×associate-/l*
14×div-inv
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/ associate-/l/
Counts
4 → 341
Calls
4 calls:
Slowest
131.0ms
(* (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)))
22.0ms
(* (* w r) (* w r))
15.0ms
(/ (fma v -2 3) (/ (- 1 v) 0.125))
14.0ms
(/ (/ 2 r) r)

series233.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
103.0ms
(* (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)))
53.0ms
(/ (fma v -2 3) (/ (- 1 v) 0.125))
40.0ms
(* (* w r) (* w r))
36.0ms
(/ (/ 2 r) r)

simplify1.3m

Counts
461 → 353
Calls
461 calls:
Slowest
1.0s
(* (/ (* (* (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))))
974.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))))
963.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 r) (* w r)) (* w r))))
935.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))))
881.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.6s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize73.0ms

Local error

Found 4 expressions with local error:

0.6b
(/ 2 (* r r))
0.5b
(expm1 (log1p (/ (fma v -2 3) (/ (- 1 v) 0.125))))
0.3b
(* (* w r) (* w r))
0.3b
(/ (fma v -2 3) (/ (- 1 v) 0.125))

rewrite57.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 expm1-log1p swap-sqr associate-*r* associate-*l* associate-/r/ *-commutative expm1-udef
Counts
4 → 182
Calls
4 calls:
Slowest
29.0ms
(* (* w r) (* w r))
15.0ms
(/ (fma v -2 3) (/ (- 1 v) 0.125))
6.0ms
(/ 2 (* r r))
0.0ms
(expm1 (log1p (/ (fma v -2 3) (/ (- 1 v) 0.125))))

series306.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
193.0ms
(expm1 (log1p (/ (fma v -2 3) (/ (- 1 v) 0.125))))
51.0ms
(/ (fma v -2 3) (/ (- 1 v) 0.125))
32.0ms
(* (* w r) (* w r))
29.0ms
(/ 2 (* r r))

simplify22.9s

Counts
263 → 194
Calls
263 calls:
Slowest
838.0ms
(* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r)))
697.0ms
(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
598.0ms
(* (* (/ (fma v -2 3) (/ (- 1 v) 0.125)) (/ (fma v -2 3) (/ (- 1 v) 0.125))) (/ (fma v -2 3) (/ (- 1 v) 0.125)))
511.0ms
(- 0.25 (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))))
491.0ms
(- 0.25 (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))))

prune3.8s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.0b

regimes289.0ms

Accuracy

0% (0.2b remaining)

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

bsearch6.0ms

end0.0ms

sample4.9s

Algorithm
intervals
Results
4.3s17216×body80valid