Details

Time bar (total: 1.1m)

sample275.0ms

Algorithm
intervals
Results
115.0ms561×body80valid

simplify215.0ms

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

prune43.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize70.0ms

Local error

Found 4 expressions with local error:

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

rewrite151.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
104.0ms
(- (+ 3 (/ 2 (* r r))) (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5))
34.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)

series337.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
130.0ms
(fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)
118.0ms
(- (+ 3 (/ 2 (* r r))) (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5))
51.0ms
(* (* w r) (* w r))
38.0ms
(/ 2 (* r r))

simplify14.6s

Counts
88 → 121
Calls
88 calls:
Slowest
1.1s
(* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r)))
675.0ms
(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
525.0ms
(fma 1 (+ 3 (/ 2 (* r r))) (- (* (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5) 1)))
520.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))
506.0ms
(fma 1 (+ 3 (/ 2 (* r r))) (- (* (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5) 1)))

prune1.9s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.2b

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite200.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
137.0ms
(- (+ 3 (/ (/ 2 r) r)) (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5))
43.0ms
(* (* w r) (* w r))
15.0ms
(/ (/ 2 r) r)
0.0ms
(fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)

series322.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
120.0ms
(fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)
115.0ms
(- (+ 3 (/ (/ 2 r) r)) (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5))
53.0ms
(* (* w r) (* w r))
34.0ms
(/ (/ 2 r) r)

simplify16.8s

Counts
171 → 170
Calls
171 calls:
Slowest
864.0ms
(fma (sqrt (+ 3 (/ (/ 2 r) r))) (sqrt (+ 3 (/ (/ 2 r) r))) (- (* (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5) 1)))
717.0ms
(* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r)))
594.0ms
(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
540.0ms
(fma 1 (+ 3 (/ (/ 2 r) r)) (- (* (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5) 1)))
523.0ms
(fma 1 (+ 3 (/ (/ 2 r) r)) (- (* (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5) 1)))

prune2.5s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.2b

localize113.0ms

Local error

Found 4 expressions with local error:

62.2b
(fma (- (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5))) (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)) (* (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)) (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5))))
0.8b
(* (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)) (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)))
0.5b
(/ 2 (* r r))
0.4b
(* (* w r) (* w r))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
58×pow1
26×add-sqr-sqrt
23×add-cbrt-cube add-exp-log
20×pow-prod-down
18×sqrt-prod
14×*-un-lft-identity add-cube-cbrt
10×prod-exp cbrt-unprod
9×swap-sqr pow-prod-up
8×sqrt-pow1 pow1/2
7×associate-*r* associate-*l* pow-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
3×times-frac pow-plus associate-/l*
2×pow2 cbrt-undiv div-exp *-commutative
1×clear-num associate-/r* rem-square-sqrt frac-2neg sqrt-unprod fma-udef div-inv
Counts
4 → 124
Calls
4 calls:
Slowest
35.0ms
(* (* w r) (* w r))
17.0ms
(* (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)) (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)))
6.0ms
(/ 2 (* r r))
0.0ms
(fma (- (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5))) (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)) (* (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)) (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5))))

series1.2s

Counts
4 → 12
Calls
4 calls:
Slowest
1.0s
(fma (- (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5))) (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)) (* (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)) (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5))))
125.0ms
(* (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)) (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)))
35.0ms
(* (* w r) (* w r))
29.0ms
(/ 2 (* r r))

simplify14.4s

Counts
117 → 136
Calls
117 calls:
Slowest
795.0ms
(* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r)))
551.0ms
(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
515.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))
456.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))
416.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))

prune3.0s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.2b

localize102.0ms

Local error

Found 4 expressions with local error:

61.9b
(fma (- (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5))) (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)) (* (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)) (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* (cbrt (* (* w r) (* w r))) (cbrt (* (* w r) (* w r)))) (cbrt (* (* w r) (* w r)))) 4.5))))
16.3b
(cbrt (* (* w r) (* w r)))
16.3b
(cbrt (* (* w r) (* w r)))
16.3b
(cbrt (* (* w r) (* w r)))

rewrite427.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-prod pow1/3
1×fma-udef
Counts
4 → 47
Calls
4 calls:
Slowest
382.0ms
(cbrt (* (* w r) (* w r)))
26.0ms
(cbrt (* (* w r) (* w r)))
18.0ms
(cbrt (* (* w r) (* w r)))
0.0ms
(fma (- (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5))) (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)) (* (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)) (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* (cbrt (* (* w r) (* w r))) (cbrt (* (* w r) (* w r)))) (cbrt (* (* w r) (* w r)))) 4.5))))

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
996.0ms
(fma (- (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5))) (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)) (* (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)) (sqrt (fma (/ (fma v -2 3) (/ (- 1 v) 0.125)) (* (* (cbrt (* (* w r) (* w r))) (cbrt (* (* w r) (* w r)))) (cbrt (* (* w r) (* w r)))) 4.5))))
128.0ms
(cbrt (* (* w r) (* w r)))
115.0ms
(cbrt (* (* w r) (* w r)))
85.0ms
(cbrt (* (* w r) (* w r)))

simplify2.3s

Counts
15 → 59
Calls
15 calls:
Slowest
306.0ms
(exp (* 1/3 (+ (* 2 (log r)) (* 2 (log w)))))
283.0ms
(exp (* 1/3 (+ (* 2 (log r)) (* 2 (log w)))))
266.0ms
(exp (* -1/3 (+ (* 2 (log (/ 1 r))) (* 2 (log (/ 1 w))))))
262.0ms
(exp (* -1/3 (+ (* 2 (log (/ -1 w))) (* 2 (log (/ -1 r))))))
246.0ms
(exp (* -1/3 (+ (* 2 (log (/ -1 w))) (* 2 (log (/ -1 r))))))

prune1.6s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.2b

regimes396.0ms

Accuracy

0% (0.2b remaining)

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

bsearch6.0ms

end0.0ms

sample5.0s

Algorithm
intervals
Results
4.5s17139×body80valid