Details

Time bar (total: 2.1m)

sample185.0ms

Algorithm
intervals
Results
56.0ms43×body1280valid
48.0ms32×body640valid
38.0ms154×body80valid
15.0ms21×body320valid
3.0ms6×body160valid

simplify231.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
231.0ms
(* (* (* -2 J) (cos (/ K 2))) (sqrt (+ 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2))))

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 19.1b

localize61.0ms

Local error

Found 4 expressions with local error:

10.1b
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))
8.8b
(* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (cos (/ K 2)) J))
0.2b
(* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J))))
0.1b
(* (cos (/ K 2)) J)

rewrite674.0ms

Algorithm
rewrite-expression-head
Rules
98×add-cbrt-cube add-exp-log
49×prod-exp cbrt-unprod
26×pow1
24×cbrt-undiv div-exp
20×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
12×times-frac
11×associate-*r* associate-*l*
10×pow-prod-down
7×swap-sqr
5×associate-*l/
4×sqrt-div insert-posit16 div-inv add-log-exp
3×*-commutative sqrt-prod
2×flip3-+ flip-+ unswap-sqr
1×pow2 frac-times rem-sqrt-square sqrt-pow1 pow-plus pow1/2 associate-*r/ pow-sqr pow-prod-up
Counts
4 → 131
Calls
4 calls:
Slowest
338.0ms
(* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (cos (/ K 2)) J))
170.0ms
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))
155.0ms
(* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J))))
7.0ms
(* (cos (/ K 2)) J)

series607.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
243.0ms
(* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (cos (/ K 2)) J))
150.0ms
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))
142.0ms
(* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J))))
72.0ms
(* (cos (/ K 2)) J)

simplify46.5s

Counts
113 → 143
Calls
113 calls:
Slowest
2.4s
(* (/ (* (* U U) U) (* (* (* 2 (* (cos (/ K 2)) J)) (* 2 (* (cos (/ K 2)) J))) (* 2 (* (cos (/ K 2)) J)))) (/ (* (* U U) U) (* (* (* 2 2) 2) (* (* (* (cos (/ K 2)) J) (* (cos (/ K 2)) J)) (* (cos (/ K 2)) J)))))
2.3s
(* (/ (* (* U U) U) (* (* (* 2 2) 2) (* (* (* (cos (/ K 2)) J) (* (cos (/ K 2)) J)) (* (cos (/ K 2)) J)))) (/ (* (* U U) U) (* (* (* 2 2) 2) (* (* (* (cos (/ K 2)) (cos (/ K 2))) (cos (/ K 2))) (* (* J J) J)))))
2.1s
(* (/ (* (* U U) U) (* (* (* 2 2) 2) (* (* (* (cos (/ K 2)) (cos (/ K 2))) (cos (/ K 2))) (* (* J J) J)))) (/ (* (* U U) U) (* (* (* 2 2) 2) (* (* (* (cos (/ K 2)) J) (* (cos (/ K 2)) J)) (* (cos (/ K 2)) J)))))
2.0s
(* (/ (* (* U U) U) (* (* (* 2 2) 2) (* (* (* (cos (/ K 2)) J) (* (cos (/ K 2)) J)) (* (cos (/ K 2)) J)))) (/ (* (* U U) U) (* (* (* 2 (* (cos (/ K 2)) J)) (* 2 (* (cos (/ K 2)) J))) (* 2 (* (cos (/ K 2)) J)))))
1.7s
(* (* (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) (/ U (* 2 (* (cos (/ K 2)) J)))) (/ (* (* U U) U) (* (* (* 2 2) 2) (* (* (* (cos (/ K 2)) J) (* (cos (/ K 2)) J)) (* (cos (/ K 2)) J)))))

prune2.1s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 9.5b

localize71.0ms

Local error

Found 4 expressions with local error:

10.1b
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))
8.8b
(* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (cbrt (cos (/ K 2))) J)))
0.2b
(cbrt (cos (/ K 2)))
0.2b
(cbrt (cos (/ K 2)))

rewrite718.0ms

Algorithm
rewrite-expression-head
Rules
46×pow1
45×add-exp-log
33×add-cbrt-cube
31×pow-prod-down prod-exp cbrt-unprod
8×add-sqr-sqrt
7×*-un-lft-identity add-cube-cbrt
6×cbrt-prod
4×sqrt-div associate-*l/ insert-posit16 add-log-exp
3×sqrt-prod
2×flip3-+ pow1/3 flip-+
1×rem-sqrt-square sqrt-pow1 pow1/2 associate-*r* associate-*l* *-commutative
Counts
4 → 83
Calls
4 calls:
Slowest
519.0ms
(* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (cbrt (cos (/ K 2))) J)))
192.0ms
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))
2.0ms
(cbrt (cos (/ K 2)))
2.0ms
(cbrt (cos (/ K 2)))

series626.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
217.0ms
(* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (cbrt (cos (/ K 2))) J)))
143.0ms
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))
134.0ms
(cbrt (cos (/ K 2)))
133.0ms
(cbrt (cos (/ K 2)))

simplify14.3s

Counts
59 → 95
Calls
59 calls:
Slowest
941.0ms
(* (* (* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))) (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))) (* (* -2 -2) -2)) (* (* (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (cbrt (cos (/ K 2))) J)) (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (cbrt (cos (/ K 2))) J))) (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (cbrt (cos (/ K 2))) J))))
795.0ms
(* (* (* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))) (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))) (* (* -2 -2) -2)) (* (* (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2))))) (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2))))) (* (* (* (cbrt (cos (/ K 2))) J) (* (cbrt (cos (/ K 2))) J)) (* (cbrt (cos (/ K 2))) J))))
780.0ms
(* (* (* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2)) (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2)) (* (* (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2))))) (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2))))) (* (* (* (cbrt (cos (/ K 2))) J) (* (cbrt (cos (/ K 2))) J)) (* (cbrt (cos (/ K 2))) J))))
739.0ms
(* (* (* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2)) (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2)) (* (* (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (cbrt (cos (/ K 2))) J)) (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (cbrt (cos (/ K 2))) J))) (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (cbrt (cos (/ K 2))) J))))
627.0ms
(* (* (* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))) (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))) (* (* -2 -2) -2)) (* (* (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2))))) (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2))))) (* (cos (/ K 2)) (* (* J J) J))))

prune1.4s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 9.5b

localize70.0ms

Local error

Found 4 expressions with local error:

10.1b
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))
8.8b
(* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (* (cos (/ K 2)) (* (cbrt J) (cbrt J))) (cbrt J)))
0.6b
(cbrt J)
0.6b
(cbrt J)

rewrite639.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1
36×add-exp-log
26×add-cbrt-cube
24×pow-prod-down prod-exp cbrt-unprod
8×add-sqr-sqrt
7×*-un-lft-identity add-cube-cbrt
6×cbrt-prod
4×sqrt-div associate-*l/ insert-posit16 add-log-exp
3×sqrt-prod
2×flip3-+ pow1/3 flip-+
1×rem-sqrt-square sqrt-pow1 pow1/2 associate-*r* associate-*l* *-commutative
Counts
4 → 77
Calls
4 calls:
Slowest
482.0ms
(* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (* (cos (/ K 2)) (* (cbrt J) (cbrt J))) (cbrt J)))
151.0ms
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))
1.0ms
(cbrt J)
1.0ms
(cbrt J)

series1.0s

Counts
4 → 12
Calls
4 calls:
Slowest
310.0ms
(cbrt J)
305.0ms
(cbrt J)
268.0ms
(* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (* (cos (/ K 2)) (* (cbrt J) (cbrt J))) (cbrt J)))
127.0ms
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))

simplify11.5s

Counts
53 → 89
Calls
53 calls:
Slowest
809.0ms
(* (* (* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))) (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))) (* (* -2 -2) -2)) (* (* (* (* (cos (/ K 2)) (cos (/ K 2))) (cos (/ K 2))) (* J J)) J))
738.0ms
(* (* (* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))) (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))) (* (* -2 -2) -2)) (* (* (* (* (cos (/ K 2)) (* (cbrt J) (cbrt J))) (cbrt J)) (* (* (cos (/ K 2)) (* (cbrt J) (cbrt J))) (cbrt J))) (* (* (cos (/ K 2)) (* (cbrt J) (cbrt J))) (cbrt J))))
726.0ms
(* (* (* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))) (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))) (* (* -2 -2) -2)) (* (* (* (* (cos (/ K 2)) (cos (/ K 2))) (cos (/ K 2))) (* (* (* (cbrt J) (cbrt J)) (* (cbrt J) (cbrt J))) (* (cbrt J) (cbrt J)))) J))
708.0ms
(* (* (* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2)) (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2)) (* (* (* (* (cos (/ K 2)) (* (cbrt J) (cbrt J))) (cbrt J)) (* (* (cos (/ K 2)) (* (cbrt J) (cbrt J))) (cbrt J))) (* (* (cos (/ K 2)) (* (cbrt J) (cbrt J))) (cbrt J))))
619.0ms
(* (* (* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))) (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))) (* (* -2 -2) -2)) (* (* (* (* (cos (/ K 2)) (* (cbrt J) (cbrt J))) (* (cos (/ K 2)) (* (cbrt J) (cbrt J)))) (* (cos (/ K 2)) (* (cbrt J) (cbrt J)))) J))

prune1.3s

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 9.5b

localize119.0ms

Local error

Found 4 expressions with local error:

10.1b
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))
8.8b
(* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (* (cos (/ K 2)) (* (cbrt J) (cbrt J))) (* (* (cbrt (cbrt J)) (cbrt (cbrt J))) (cbrt (cbrt J)))))
0.6b
(cbrt (cbrt J))
0.6b
(cbrt (cbrt J))

rewrite946.0ms

Algorithm
rewrite-expression-head
Rules
109×pow1
108×add-exp-log
84×pow-prod-down prod-exp cbrt-unprod
72×add-cbrt-cube
18×cbrt-prod
10×add-sqr-sqrt
9×*-un-lft-identity add-cube-cbrt
4×sqrt-div associate-*l/ insert-posit16 add-log-exp
3×sqrt-prod
2×flip3-+ pow1/3 flip-+
1×rem-sqrt-square sqrt-pow1 pow1/2 associate-*r* associate-*l* *-commutative
Counts
4 → 119
Calls
4 calls:
Slowest
777.0ms
(* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (* (cos (/ K 2)) (* (cbrt J) (cbrt J))) (* (* (cbrt (cbrt J)) (cbrt (cbrt J))) (cbrt (cbrt J)))))
159.0ms
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))
2.0ms
(cbrt (cbrt J))
2.0ms
(cbrt (cbrt J))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
363.0ms
(cbrt (cbrt J))
355.0ms
(cbrt (cbrt J))
284.0ms
(* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (* (cos (/ K 2)) (* (cbrt J) (cbrt J))) (* (* (cbrt (cbrt J)) (cbrt (cbrt J))) (cbrt (cbrt J)))))
142.0ms
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))

simplify33.4s

Counts
95 → 131
Calls
95 calls:
Slowest
1.7s
(* (* (* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))) (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))) (* (* -2 -2) -2)) (* (* (* (* (cos (/ K 2)) (* (cbrt J) (cbrt J))) (* (cos (/ K 2)) (* (cbrt J) (cbrt J)))) (* (cos (/ K 2)) (* (cbrt J) (cbrt J)))) (* (* (* (* (cbrt (cbrt J)) (cbrt (cbrt J))) (cbrt (cbrt J))) (* (* (cbrt (cbrt J)) (cbrt (cbrt J))) (cbrt (cbrt J)))) (* (* (cbrt (cbrt J)) (cbrt (cbrt J))) (cbrt (cbrt J))))))
1.3s
(* (* (* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))) (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))) (* (* -2 -2) -2)) (* (* (* (* (cos (/ K 2)) (* (cbrt J) (cbrt J))) (* (cos (/ K 2)) (* (cbrt J) (cbrt J)))) (* (cos (/ K 2)) (* (cbrt J) (cbrt J)))) (* (* (* (* (cbrt (cbrt J)) (cbrt (cbrt J))) (* (cbrt (cbrt J)) (cbrt (cbrt J)))) (* (cbrt (cbrt J)) (cbrt (cbrt J)))) (cbrt J))))
1.2s
(* (* (* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))) (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))) (* (* -2 -2) -2)) (* (* (* (* (cos (/ K 2)) (* (cbrt J) (cbrt J))) (* (* (cbrt (cbrt J)) (cbrt (cbrt J))) (cbrt (cbrt J)))) (* (* (cos (/ K 2)) (* (cbrt J) (cbrt J))) (* (* (cbrt (cbrt J)) (cbrt (cbrt J))) (cbrt (cbrt J))))) (* (* (cos (/ K 2)) (* (cbrt J) (cbrt J))) (* (* (cbrt (cbrt J)) (cbrt (cbrt J))) (cbrt (cbrt J))))))
1.2s
(* (* (* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2)) (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2)) (* (* (* (* (cos (/ K 2)) (* (cbrt J) (cbrt J))) (* (cos (/ K 2)) (* (cbrt J) (cbrt J)))) (* (cos (/ K 2)) (* (cbrt J) (cbrt J)))) (* (* (* (* (cbrt (cbrt J)) (cbrt (cbrt J))) (cbrt (cbrt J))) (* (* (cbrt (cbrt J)) (cbrt (cbrt J))) (cbrt (cbrt J)))) (* (* (cbrt (cbrt J)) (cbrt (cbrt J))) (cbrt (cbrt J))))))
1.1s
(* (* (* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2)) (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2)) (* (* (* (* (cos (/ K 2)) (* (cbrt J) (cbrt J))) (* (cos (/ K 2)) (* (cbrt J) (cbrt J)))) (* (cos (/ K 2)) (* (cbrt J) (cbrt J)))) (* (* (* (* (cbrt (cbrt J)) (cbrt (cbrt J))) (* (cbrt (cbrt J)) (cbrt (cbrt J)))) (* (cbrt (cbrt J)) (cbrt (cbrt J)))) (cbrt J))))

prune2.0s

Pruning

12 alts after pruning (8 fresh and 4 done)

Merged error: 9.5b

regimes544.0ms

Accuracy

11.4% (7.9b remaining)

Error of 16.5b against oracle of 8.6b and baseline of 17.5b

bsearch346.0ms

end0.0ms

sample6.2s

Algorithm
intervals
Results
2.1s1496×body1280valid
1.7s1233×body640valid
1.5s4337×body80valid
504.0ms635×body320valid
190.0ms303×body160valid