Details

Time bar (total: 3.1m)

sample282.0ms

Algorithm
intervals
Results
141.0ms105×body2560valid
62.0ms76×body1280valid
30.0ms257×body80nan
21.0ms36×body640valid
9.0ms20×body320valid
4.0ms14×body160valid
1.0ms5×body80valid

simplify140.0ms

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.6b

localize26.0ms

Local error

Found 2 expressions with local error:

0.6b
(acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))
0.1b
(* 5 (* v v))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-cbrt-cube add-exp-log
4×add-sqr-sqrt
3×*-un-lft-identity associate-*l* pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
2×insert-posit16 add-log-exp
1×acos-asin associate-*r* *-commutative unswap-sqr
Counts
2 → 29
Calls
2 calls:
Slowest
16.0ms
(* 5 (* v v))
2.0ms
(acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))

series43.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
39.0ms
(* 5 (* v v))
4.0ms
(acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))

simplify1.5s

Counts
16 → 35
Calls
16 calls:
Slowest
324.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))
309.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))
260.0ms
(* (* (* 5 5) 5) (* (* (* v v) v) (* (* v v) v)))
245.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))
239.0ms
(* (* (* 5 5) 5) (* (* (* v v) (* v v)) (* v v)))

prune276.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.6b

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite25.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×insert-posit16 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 → 87
Calls
4 calls:
Slowest
17.0ms
(* (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))
2.0ms
(acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))
2.0ms
(sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))
2.0ms
(sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))

series42.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
18.0ms
(sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))
15.0ms
(sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))
6.0ms
(* (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))
3.0ms
(acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))

simplify14.1s

Counts
82 → 99
Calls
82 calls:
Slowest
629.0ms
(* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))
370.0ms
(sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))))
359.0ms
(sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))))
352.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))
323.0ms
(sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))))

prune747.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.6b

localize65.0ms

Local error

Found 4 expressions with local error:

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

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
451×sqrt-pow1
342×pow1
244×pow-prod-up
227×pow1/2
102×pow-sqr
71×pow-prod-down
18×pow-plus
16×add-cbrt-cube add-exp-log
13×pow2
10×add-sqr-sqrt
9×sqrt-prod
8×prod-exp cbrt-unprod
7×*-un-lft-identity add-cube-cbrt
5×sqrt-unprod
4×insert-posit16 add-log-exp
3×rem-sqrt-square
1×rem-square-sqrt swap-sqr associate-*r* associate-*l* *-commutative unswap-sqr
Counts
4 → 220
Calls
4 calls:
Slowest
103.0ms
(* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))
2.0ms
(sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))
2.0ms
(sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))
2.0ms
(sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))

series54.0ms

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

simplify40.0s

Counts
344 → 232
Calls
344 calls:
Slowest
380.0ms
(* (* (* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (* (* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))))
377.0ms
(* (* (* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (* (* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))))
374.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))
364.0ms
(+ (* 2 (/ 1 2)) (* 2 1/2))
356.0ms
(* (* (* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (* (* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))))

prune1.6s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.6b

localize71.0ms

Local error

Found 4 expressions with local error:

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

rewrite6.1s

Algorithm
rewrite-expression-head
Rules
1344×sqrt-pow1
1009×pow1
732×pow-prod-up
672×pow1/2
306×pow-sqr
213×pow-prod-down
54×pow-plus
40×add-cbrt-cube add-exp-log
39×pow2
24×prod-exp cbrt-unprod
15×sqrt-unprod
4×add-sqr-sqrt *-un-lft-identity add-cube-cbrt insert-posit16 add-log-exp
3×rem-square-sqrt swap-sqr associate-*r* associate-*l* *-commutative unswap-sqr
1×cbrt-prod pow1/3 pow3 rem-cbrt-cube
Counts
4 → 545
Calls
4 calls:
Slowest
5.8s
(cbrt (* (* (* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))) (* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))))
81.0ms
(* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))
59.0ms
(* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))
53.0ms
(* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))

series39.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
17.0ms
(cbrt (* (* (* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))) (* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))))
12.0ms
(* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))
5.0ms
(* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))
5.0ms
(* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))

simplify1.8m

Counts
965 → 557
Calls
965 calls:
Slowest
599.0ms
(sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))
599.0ms
(+ (+ (log (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (log (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (log (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))))
532.0ms
(* (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))) (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))
395.0ms
(* (* (* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (* (* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))))
392.0ms
(* (* (* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (* (* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (* (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (sqrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))))

prune3.7s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.6b

regimes213.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample8.0s

Algorithm
intervals
Results
3.8s2997×body2560valid
1.9s2516×body1280valid
912.0ms7762×body80nan
721.0ms1235×body640valid
296.0ms661×body320valid
104.0ms414×body160valid
23.0ms177×body80valid