Details

Time bar (total: 1.8m)

sample198.0ms

Algorithm
intervals
Results
70.0ms45×body640valid
52.0ms42×body1280valid
30.0ms134×body80valid
20.0ms28×body320valid
3.0ms7×body160valid

simplify273.0ms

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

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.2b

localize63.0ms

Local error

Found 4 expressions with local error:

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

rewrite994.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
733.0ms
(* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (cos (/ K 2)) J))
142.0ms
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))
100.0ms
(* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J))))
14.0ms
(* (cos (/ K 2)) J)

series586.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
231.0ms
(* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (cos (/ K 2)) J))
154.0ms
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))
150.0ms
(* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J))))
50.0ms
(* (cos (/ K 2)) J)

simplify45.7s

Counts
113 → 143
Calls
113 calls:
Slowest
2.4s
(* (/ (* (* 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.3s
(* (/ (* (* 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)) (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.1s
(* (/ (* (* 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.6s
(* (/ (* (* U U) U) (* (* (* 2 2) 2) (* (* (* (cos (/ K 2)) (cos (/ K 2))) (cos (/ K 2))) (* (* J J) J)))) (* (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) (/ U (* 2 (* (cos (/ K 2)) J)))))

prune2.2s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 11.1b

localize85.0ms

Local error

Found 4 expressions with local error:

11.5b
(* (* (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)))
9.6b
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))
0.3b
(cbrt (cos (/ K 2)))
0.3b
(cbrt (cos (/ K 2)))

rewrite555.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
433.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)))
117.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)))

series738.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) (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (cbrt (cos (/ K 2))) J)))
186.0ms
(cbrt (cos (/ K 2)))
157.0ms
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))
152.0ms
(cbrt (cos (/ K 2)))

simplify14.0s

Counts
59 → 95
Calls
59 calls:
Slowest
852.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))))
846.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))))
812.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))))
752.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))))
703.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

10 alts after pruning (9 fresh and 1 done)

Merged error: 11.1b

localize53.0ms

Local error

Found 4 expressions with local error:

11.5b
(* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (log (exp (cbrt (cos (/ K 2))))) J)))
9.6b
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))
0.3b
(cbrt (cos (/ K 2)))
0.3b
(cbrt (cos (/ K 2)))

rewrite619.0ms

Algorithm
rewrite-expression-head
Rules
46×pow1
45×add-exp-log
37×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
446.0ms
(* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (log (exp (cbrt (cos (/ K 2))))) J)))
169.0ms
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))
1.0ms
(cbrt (cos (/ K 2)))
1.0ms
(cbrt (cos (/ K 2)))

series681.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
232.0ms
(* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (log (exp (cbrt (cos (/ K 2))))) J)))
169.0ms
(cbrt (cos (/ K 2)))
159.0ms
(cbrt (cos (/ K 2)))
120.0ms
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))

simplify15.0s

Counts
59 → 95
Calls
59 calls:
Slowest
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)) (* (* (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2))))) (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2))))) (* (* (* (log (exp (cbrt (cos (/ K 2))))) (log (exp (cbrt (cos (/ K 2)))))) (log (exp (cbrt (cos (/ K 2)))))) (* (* J J) J))))
1.1s
(* (* (* (* (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)))) (* (log (exp (cbrt (cos (/ K 2))))) J)) (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (log (exp (cbrt (cos (/ K 2))))) J))) (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (log (exp (cbrt (cos (/ K 2))))) 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)) (* (* (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2))))) (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2))))) (* (* (* (log (exp (cbrt (cos (/ K 2))))) J) (* (log (exp (cbrt (cos (/ K 2))))) J)) (* (log (exp (cbrt (cos (/ K 2))))) J))))
907.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)))) (* (log (exp (cbrt (cos (/ K 2))))) J)) (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (log (exp (cbrt (cos (/ K 2))))) J))) (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (* (log (exp (cbrt (cos (/ K 2))))) J))))
755.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))))) (* (* (* (log (exp (cbrt (cos (/ K 2))))) (log (exp (cbrt (cos (/ K 2)))))) (log (exp (cbrt (cos (/ K 2)))))) (* (* J J) J))))

prune1.6s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 11.1b

localize56.0ms

Local error

Found 4 expressions with local error:

11.6b
(* (* (* -2 J) (cbrt (cos (/ K 2)))) (* (* (sqrt (+ 1 (* (/ (/ (/ U 2) J) (cos (/ K 2))) (/ (/ (/ U 2) J) (cos (/ K 2)))))) (cbrt (cos (/ K 2)))) (cbrt (cos (/ K 2)))))
9.6b
(sqrt (+ 1 (* (/ (/ (/ U 2) J) (cos (/ K 2))) (/ (/ (/ U 2) J) (cos (/ K 2))))))
0.3b
(cbrt (cos (/ K 2)))
0.3b
(cbrt (cos (/ K 2)))

rewrite149.0ms

Algorithm
rewrite-expression-head
Rules
41×pow1
40×add-exp-log
27×pow-prod-down prod-exp cbrt-unprod
25×add-cbrt-cube
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 associate-*r/ flip-+
1×rem-sqrt-square sqrt-pow1 pow1/2 associate-*r* associate-*l* *-commutative
Counts
4 → 80
Calls
4 calls:
Slowest
138.0ms
(* (* (* -2 J) (cbrt (cos (/ K 2)))) (* (* (sqrt (+ 1 (* (/ (/ (/ U 2) J) (cos (/ K 2))) (/ (/ (/ U 2) J) (cos (/ K 2)))))) (cbrt (cos (/ K 2)))) (cbrt (cos (/ K 2)))))
5.0ms
(sqrt (+ 1 (* (/ (/ (/ U 2) J) (cos (/ K 2))) (/ (/ (/ U 2) J) (cos (/ K 2))))))
2.0ms
(cbrt (cos (/ K 2)))
2.0ms
(cbrt (cos (/ K 2)))

series638.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
199.0ms
(* (* (* -2 J) (cbrt (cos (/ K 2)))) (* (* (sqrt (+ 1 (* (/ (/ (/ U 2) J) (cos (/ K 2))) (/ (/ (/ U 2) J) (cos (/ K 2)))))) (cbrt (cos (/ K 2)))) (cbrt (cos (/ K 2)))))
183.0ms
(sqrt (+ 1 (* (/ (/ (/ U 2) J) (cos (/ K 2))) (/ (/ (/ U 2) J) (cos (/ K 2))))))
131.0ms
(cbrt (cos (/ K 2)))
125.0ms
(cbrt (cos (/ K 2)))

simplify13.6s

Counts
56 → 92
Calls
56 calls:
Slowest
649.0ms
(* (* (* (* (* -2 J) (cbrt (cos (/ K 2)))) (* (* -2 J) (cbrt (cos (/ K 2))))) (* (* -2 J) (cbrt (cos (/ K 2))))) (* (* (* (* (sqrt (+ 1 (* (/ (/ (/ U 2) J) (cos (/ K 2))) (/ (/ (/ U 2) J) (cos (/ K 2)))))) (cbrt (cos (/ K 2)))) (cbrt (cos (/ K 2)))) (* (* (sqrt (+ 1 (* (/ (/ (/ U 2) J) (cos (/ K 2))) (/ (/ (/ U 2) J) (cos (/ K 2)))))) (cbrt (cos (/ K 2)))) (cbrt (cos (/ K 2))))) (* (* (sqrt (+ 1 (* (/ (/ (/ U 2) J) (cos (/ K 2))) (/ (/ (/ U 2) J) (cos (/ K 2)))))) (cbrt (cos (/ K 2)))) (cbrt (cos (/ K 2))))))
614.0ms
(* (* (* (* (* -2 J) (cbrt (cos (/ K 2)))) (* (* -2 J) (cbrt (cos (/ K 2))))) (* (* -2 J) (cbrt (cos (/ K 2))))) (* (* (* (* (sqrt (+ 1 (* (/ (/ (/ U 2) J) (cos (/ K 2))) (/ (/ (/ U 2) J) (cos (/ K 2)))))) (cbrt (cos (/ K 2)))) (* (sqrt (+ 1 (* (/ (/ (/ U 2) J) (cos (/ K 2))) (/ (/ (/ U 2) J) (cos (/ K 2)))))) (cbrt (cos (/ K 2))))) (* (sqrt (+ 1 (* (/ (/ (/ U 2) J) (cos (/ K 2))) (/ (/ (/ U 2) J) (cos (/ K 2)))))) (cbrt (cos (/ K 2))))) (cos (/ K 2))))
564.0ms
(* (* (* (* (* -2 J) (* -2 J)) (* -2 J)) (cos (/ K 2))) (* (* (* (* (sqrt (+ 1 (* (/ (/ (/ U 2) J) (cos (/ K 2))) (/ (/ (/ U 2) J) (cos (/ K 2)))))) (cbrt (cos (/ K 2)))) (cbrt (cos (/ K 2)))) (* (* (sqrt (+ 1 (* (/ (/ (/ U 2) J) (cos (/ K 2))) (/ (/ (/ U 2) J) (cos (/ K 2)))))) (cbrt (cos (/ K 2)))) (cbrt (cos (/ K 2))))) (* (* (sqrt (+ 1 (* (/ (/ (/ U 2) J) (cos (/ K 2))) (/ (/ (/ U 2) J) (cos (/ K 2)))))) (cbrt (cos (/ K 2)))) (cbrt (cos (/ K 2))))))
507.0ms
(* (* (* (* (* -2 -2) -2) (* (* J J) J)) (cos (/ K 2))) (* (* (* (* (sqrt (+ 1 (* (/ (/ (/ U 2) J) (cos (/ K 2))) (/ (/ (/ U 2) J) (cos (/ K 2)))))) (cbrt (cos (/ K 2)))) (* (sqrt (+ 1 (* (/ (/ (/ U 2) J) (cos (/ K 2))) (/ (/ (/ U 2) J) (cos (/ K 2)))))) (cbrt (cos (/ K 2))))) (* (sqrt (+ 1 (* (/ (/ (/ U 2) J) (cos (/ K 2))) (/ (/ (/ U 2) J) (cos (/ K 2)))))) (cbrt (cos (/ K 2))))) (cos (/ K 2))))
448.0ms
(+ (log (* (* -2 J) (cbrt (cos (/ K 2))))) (log (* (* (sqrt (+ 1 (* (/ (/ (/ U 2) J) (cos (/ K 2))) (/ (/ (/ U 2) J) (cos (/ K 2)))))) (cbrt (cos (/ K 2)))) (cbrt (cos (/ K 2))))))

prune1.5s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 11.1b

regimes572.0ms

Accuracy

7% (7.6b remaining)

Error of 16.3b against oracle of 8.7b and baseline of 16.9b

bsearch330.0ms

end0.0ms

sample6.2s

Algorithm
intervals
Results
2.5s1497×body1280valid
1.7s1263×body640valid
1.1s4357×body80valid
516.0ms591×body320valid
232.0ms295×body160valid