Details

Time bar (total: 19.1s)

sample99.0ms

Algorithm
intervals
Results
50.0ms284×body80nan
31.0ms256×body80valid

simplify2.3s

Counts
1 → 1

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ (sqrt (fma (* v v) -3 1)) (/ 4 (- (sqrt 2) (* (sqrt 2) (* v v)))))
1.0b
(/ 4 (- (sqrt 2) (* (sqrt 2) (* v v))))
0.2b
(* (sqrt 2) (* v v))
0.0b
(- (sqrt 2) (* (sqrt 2) (* v v)))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
162×times-frac
101×add-sqr-sqrt
99×*-un-lft-identity add-cube-cbrt
58×sqrt-prod
18×associate-/r*
17×associate-/r/
16×add-cbrt-cube add-exp-log
9×pow1 flip3-- div-inv flip-- associate-/l*
6×fma-neg associate-*l* prod-diff add-log-exp
4×expm1-log1p-u cbrt-undiv div-exp insert-posit16 log1p-expm1-u
3×pow-prod-down prod-exp cbrt-unprod
2×clear-num frac-2neg unswap-sqr
1×sub-neg diff-log associate-*r* *-commutative
Counts
4 → 214
Calls
4 calls:
Slowest
18.0ms
(/ (sqrt (fma (* v v) -3 1)) (/ 4 (- (sqrt 2) (* (sqrt 2) (* v v)))))
17.0ms
(/ 4 (- (sqrt 2) (* (sqrt 2) (* v v))))
16.0ms
(* (sqrt 2) (* v v))
8.0ms
(- (sqrt 2) (* (sqrt 2) (* v v)))

series681.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
327.0ms
(/ (sqrt (fma (* v v) -3 1)) (/ 4 (- (sqrt 2) (* (sqrt 2) (* v v)))))
147.0ms
(/ 4 (- (sqrt 2) (* (sqrt 2) (* v v))))
137.0ms
(- (sqrt 2) (* (sqrt 2) (* v v)))
71.0ms
(* (sqrt 2) (* v v))

simplify1.4s

Counts
226 → 226

prune2.3s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (sqrt 2) (* v v))
0.0b
(- (sqrt 2) (* (sqrt 2) (* v v)))
0.0b
(sqrt (fma (* v v) -3 1))
0.0b
(* (sqrt (fma (* v v) -3 1)) (- (sqrt 2) (* (sqrt 2) (* v v))))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
23×sqrt-prod
18×*-un-lft-identity prod-diff add-cube-cbrt
12×pow1 associate-*l*
11×add-cbrt-cube add-exp-log
8×distribute-rgt-in distribute-lft-in
6×fma-neg add-log-exp
4×expm1-log1p-u associate-*r* pow-prod-down prod-exp cbrt-unprod insert-posit16 log1p-expm1-u unswap-sqr
3×sub-neg
2×flip3-- associate-*r/ *-commutative flip--
1×rem-sqrt-square sqrt-pow1 pow1/2 diff-log
Counts
4 → 112
Calls
4 calls:
Slowest
27.0ms
(* (sqrt 2) (* v v))
19.0ms
(* (sqrt (fma (* v v) -3 1)) (- (sqrt 2) (* (sqrt 2) (* v v))))
8.0ms
(- (sqrt 2) (* (sqrt 2) (* v v)))
1.0ms
(sqrt (fma (* v v) -3 1))

series601.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
313.0ms
(* (sqrt (fma (* v v) -3 1)) (- (sqrt 2) (* (sqrt 2) (* v v))))
137.0ms
(- (sqrt 2) (* (sqrt 2) (* v v)))
79.0ms
(* (sqrt 2) (* v v))
72.0ms
(sqrt (fma (* v v) -3 1))

simplify2.4s

Counts
124 → 124

prune1.7s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (sqrt 2) (* v v))
0.0b
(- (sqrt 2) (* (sqrt 2) (* v v)))
0.0b
(* (sqrt (sqrt (fma (* v v) -3 1))) (sqrt (sqrt (fma (* v v) -3 1))))
0.0b
(sqrt (fma (* v v) -3 1))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
79×sqrt-prod
56×add-sqr-sqrt
33×pow1 sqrt-pow1
23×*-un-lft-identity add-cube-cbrt
17×pow1/2
15×swap-sqr associate-*l*
11×add-cbrt-cube add-exp-log unswap-sqr
10×associate-*r*
9×pow-prod-up
8×pow-prod-down
6×fma-neg prod-diff add-log-exp
5×pow-sqr
4×expm1-log1p-u prod-exp cbrt-unprod insert-posit16 log1p-expm1-u
2×*-commutative
1×pow2 rem-sqrt-square sub-neg rem-square-sqrt pow-plus flip3-- sqrt-unprod diff-log flip--
Counts
4 → 147
Calls
4 calls:
Slowest
24.0ms
(* (sqrt 2) (* v v))
22.0ms
(* (sqrt (sqrt (fma (* v v) -3 1))) (sqrt (sqrt (fma (* v v) -3 1))))
8.0ms
(- (sqrt 2) (* (sqrt 2) (* v v)))
2.0ms
(sqrt (fma (* v v) -3 1))

series372.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
144.0ms
(- (sqrt 2) (* (sqrt 2) (* v v)))
83.0ms
(sqrt (fma (* v v) -3 1))
83.0ms
(* (sqrt (sqrt (fma (* v v) -3 1))) (sqrt (sqrt (fma (* v v) -3 1))))
62.0ms
(* (sqrt 2) (* v v))

simplify1.4s

Counts
159 → 159

prune2.5s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes60.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch3.0ms

end0.0ms

sample3.0s

Algorithm
intervals
Results
1.7s8161×body80nan
1.1s8000×body80valid