Details

Time bar (total: 1.6m)

sample244.0ms

Algorithm
intervals
Results
89.0ms94×body2560valid
51.0ms80×body1280valid
48.0ms43×body640valid
27.0ms292×body80nan
8.0ms21×body320valid
4.0ms17×body160valid
0.0ms1×body80valid

simplify213.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
213.0ms
(acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize19.0ms

Local error

Found 1 expressions with local error:

0.3b
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×acos-asin 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
Counts
1 → 11
Calls
1 calls:
Slowest
1.0ms
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))

series3.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
3.0ms
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))

simplify2.1s

Counts
15 → 14
Calls
15 calls:
Slowest
200.0ms
(real->posit16 (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))
197.0ms
(log (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))
186.0ms
(exp (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))
176.0ms
(log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))
160.0ms
(* (* (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))) (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))

prune127.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.3b

localize39.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
1.0b
(sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))
1.0b
(sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))
0.3b
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
24×sqrt-prod
21×pow1
14×*-un-lft-identity add-cube-cbrt
10×sqrt-pow1 pow1/2
8×swap-sqr
6×add-cbrt-cube associate-*r* associate-*l* add-exp-log
5×pow-prod-up
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
3×pow-prod-down pow-sqr
2×rem-sqrt-square
1×pow2 acos-asin rem-square-sqrt pow-plus sqrt-unprod prod-exp *-commutative cbrt-unprod
Counts
4 → 95
Calls
4 calls:
Slowest
18.0ms
(* (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
2.0ms
(sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))
2.0ms
(sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))
2.0ms
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))

series44.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
19.0ms
(sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))
15.0ms
(sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))
5.0ms
(* (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
4.0ms
(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))

simplify16.5s

Counts
119 → 107
Calls
119 calls:
Slowest
391.0ms
(* (* (* (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (* (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
304.0ms
(* (* (* (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (* (* (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
249.0ms
(exp (* (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
240.0ms
(* (* (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))) (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))
211.0ms
(* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))

prune555.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.3b

localize38.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))
1.0b
(sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))
1.0b
(sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))
1.0b
(sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
118×pow1
49×pow-prod-up
44×pow1/3
33×pow-sqr
32×pow-prod-down
18×pow-plus
16×add-exp-log
13×pow2
10×add-sqr-sqrt
9×sqrt-prod
8×add-cbrt-cube prod-exp cbrt-unprod
7×*-un-lft-identity add-cube-cbrt
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×rem-sqrt-square sqrt-pow1 pow1/2
1×swap-sqr associate-*r* associate-*l* *-commutative unswap-sqr
Counts
4 → 125
Calls
4 calls:
Slowest
62.0ms
(* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))
1.0ms
(sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))
1.0ms
(sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))
1.0ms
(sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))

series304.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
229.0ms
(* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))
26.0ms
(sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))
25.0ms
(sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))
24.0ms
(sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))

simplify18.5s

Counts
140 → 137
Calls
140 calls:
Slowest
768.0ms
(* (* (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (* (* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))))
686.0ms
(* (* (* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))) (* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))) (* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))))
658.0ms
(* (* (* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))) (* (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
543.0ms
(* (* (* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))) (* (* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))))
483.0ms
(exp (* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))))

prune1.2s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.3b

localize69.0ms

Local error

Found 4 expressions with local error:

1.6b
(* (cbrt (* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))) (cbrt (* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))))
1.0b
(* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))
1.0b
(* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))
1.0b
(* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))

rewrite235.0ms

Algorithm
rewrite-expression-head
Rules
344×pow1
149×pow-prod-up
138×pow1/3
101×pow-sqr
98×pow-prod-down
55×pow-plus
42×add-exp-log
40×pow2
25×prod-exp cbrt-unprod
16×add-cbrt-cube
12×add-sqr-sqrt
8×cbrt-prod *-un-lft-identity add-cube-cbrt
7×swap-sqr associate-*r* associate-*l* unswap-sqr
4×expm1-log1p-u *-commutative insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 268
Calls
4 calls:
Slowest
102.0ms
(* (cbrt (* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))) (cbrt (* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))))
50.0ms
(* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))
41.0ms
(* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))
36.0ms
(* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))

series736.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
202.0ms
(* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))
188.0ms
(* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))
183.0ms
(* (cbrt (* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))) (cbrt (* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))))
163.0ms
(* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))

simplify41.4s

Counts
286 → 280
Calls
286 calls:
Slowest
847.0ms
(* (* (* (cbrt (* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))) (cbrt (* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))))) (* (cbrt (* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))) (cbrt (* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))))) (* (cbrt (* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))) (cbrt (* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))))))
756.0ms
(* (* (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (* (* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))))
734.0ms
(* (* (* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))) (* (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
705.0ms
(* (* (* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))) (* (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
692.0ms
(* (* (* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))) (* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))) (* (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (* (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))) (cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))))

prune2.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.3b

regimes93.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample8.5s

Algorithm
intervals
Results
3.7s3057×body2560valid
1.9s2463×body1280valid
1.2s1222×body640valid
859.0ms7702×body80nan
288.0ms586×body320valid
112.0ms436×body160valid
32.0ms236×body80valid