Details

Time bar (total: 1.3m)

sample695.0ms

Algorithm
intervals
Results
616.0ms581×body80valid

simplify213.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
213.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.3b

localize68.0ms

Local error

Found 4 expressions with local error:

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

rewrite150.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
Counts
4 → 109
Calls
4 calls:
Slowest
101.0ms
(- (+ 3 (/ 2 (* r r))) (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5))
38.0ms
(* (* w r) (* w r))
6.0ms
(/ 2 (* r r))
0.0ms
(fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)

series372.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
159.0ms
(fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)
114.0ms
(- (+ 3 (/ 2 (* r r))) (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5))
55.0ms
(* (* w r) (* w r))
44.0ms
(/ 2 (* r r))

simplify14.1s

Counts
88 → 121
Calls
88 calls:
Slowest
822.0ms
(* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r)))
708.0ms
(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
526.0ms
(fma 1 (+ 3 (/ 2 (* r r))) (- (* (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5) 1)))
496.0ms
(fma (- (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)) 1 (* (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5) 1))
463.0ms
(fma (- (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)) 1 (* (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5) 1))

prune1.9s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize72.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* 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))

rewrite119.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/
Counts
4 → 158
Calls
4 calls:
Slowest
69.0ms
(- (+ 3 (/ (/ 2 r) r)) (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5))
40.0ms
(* (* w r) (* w r))
7.0ms
(/ (/ 2 r) r)
0.0ms
(fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)

series357.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
153.0ms
(- (+ 3 (/ (/ 2 r) r)) (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5))
102.0ms
(fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)
54.0ms
(* (* w r) (* w r))
49.0ms
(/ (/ 2 r) r)

simplify16.6s

Counts
171 → 170
Calls
171 calls:
Slowest
752.0ms
(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
707.0ms
(* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r)))
648.0ms
(fma (sqrt (+ 3 (/ (/ 2 r) r))) (sqrt (+ 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))))))
529.0ms
(fma 1 (+ 3 (/ (/ 2 r) r)) (- (* (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5) 1)))
500.0ms
(fma (- (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)) 1 (* (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5) 1))

prune2.5s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize66.0ms

Local error

Found 4 expressions with local error:

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

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
426×times-frac
290×add-sqr-sqrt
284×sqrt-prod
218×*-un-lft-identity add-cube-cbrt
60×pow1
49×swap-sqr
47×associate-*r* associate-*l*
24×div-inv
20×pow-prod-down
18×add-cbrt-cube add-exp-log
16×unswap-sqr
10×sqrt-pow1 pow1/2
9×prod-exp pow-prod-up cbrt-unprod
7×pow-sqr
6×rem-sqrt-square sqrt-div
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow-plus
2×pow2 *-commutative
1×frac-times rem-square-sqrt sqrt-unprod associate-*l/ associate-*r/
Counts
4 → 342
Calls
4 calls:
Slowest
36.0ms
(* (* w r) (* w r))
25.0ms
(* (sqrt (/ (/ 2 r) r)) (sqrt (/ (/ 2 r) r)))
10.0ms
(sqrt (/ (/ 2 r) r))
4.0ms
(sqrt (/ (/ 2 r) r))

series293.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
96.0ms
(* (sqrt (/ (/ 2 r) r)) (sqrt (/ (/ 2 r) r)))
76.0ms
(sqrt (/ (/ 2 r) r))
69.0ms
(sqrt (/ (/ 2 r) r))
52.0ms
(* (* w r) (* w r))

simplify12.9s

Counts
388 → 354
Calls
388 calls:
Slowest
790.0ms
(* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r)))
587.0ms
(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
239.0ms
(* (* (* (* w w) w) (* (* r r) r)) (* (* (* w r) (* w r)) (* w r)))
195.0ms
(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w w) w) (* (* r r) r)))
186.0ms
(sqrt (/ (/ (* (cbrt 2) (cbrt 2)) (sqrt r)) (* (cbrt r) (cbrt r))))

prune6.2s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize92.0ms

Local error

Found 4 expressions with local error:

9.3b
(sqrt (/ (/ (sqrt 2) r) r))
9.3b
(sqrt (/ (/ 2 r) r))
0.5b
(/ (sqrt 2) r)
0.4b
(* (* w r) (* w r))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
212×times-frac
153×sqrt-prod
131×add-sqr-sqrt
116×*-un-lft-identity add-cube-cbrt
45×pow1
18×add-cbrt-cube add-exp-log
17×pow-prod-down
9×div-inv
8×prod-exp cbrt-unprod
7×rem-sqrt-square
6×associate-/l*
4×expm1-log1p-u pow-sqr pow-prod-up insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r*
2×sqrt-pow1 pow-plus pow1/2 sqrt-div
1×pow2 cbrt-undiv clear-num frac-2neg swap-sqr div-exp associate-*r* associate-*l* *-commutative
Counts
4 → 225
Calls
4 calls:
Slowest
23.0ms
(* (* w r) (* w r))
17.0ms
(sqrt (/ (/ 2 r) r))
9.0ms
(sqrt (/ (/ (sqrt 2) r) r))
7.0ms
(/ (sqrt 2) r)

series277.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
103.0ms
(sqrt (/ (/ (sqrt 2) r) r))
67.0ms
(/ (sqrt 2) r)
67.0ms
(sqrt (/ (/ 2 r) r))
41.0ms
(* (* w r) (* w r))

simplify8.1s

Counts
213 → 237
Calls
213 calls:
Slowest
787.0ms
(* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r)))
600.0ms
(* (* (* (* w w) w) (* (* r r) r)) (* (* (* w r) (* w r)) (* w r)))
595.0ms
(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
207.0ms
(/ (* (* (sqrt 2) (sqrt 2)) (sqrt 2)) (* (* r r) r))
207.0ms
(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w w) w) (* (* r r) r)))

prune5.5s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

regimes336.0ms

Accuracy

0% (0.3b remaining)

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

bsearch6.0ms

end0.0ms

sample4.8s

Algorithm
intervals
Results
4.4s17292×body80valid