Details

Time bar (total: 2.0m)

sample152.0ms

Algorithm
intervals
Results
53.0ms43×body1280valid
34.0ms41×body640valid
30.0ms140×body80valid
9.0ms15×body320valid
6.0ms17×body160valid

simplify272.0ms

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

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.9b

localize65.0ms

Local error

Found 4 expressions with local error:

9.2b
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))
6.6b
(* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (cos (/ K 2)) J))
0.3b
(* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J))))
0.1b
(* (cos (/ K 2)) J)

rewrite658.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
356.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))
132.0ms
(* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J))))
14.0ms
(* (cos (/ K 2)) J)

series608.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
242.0ms
(* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (cos (/ K 2)) J))
156.0ms
(* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J))))
140.0ms
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))
71.0ms
(* (cos (/ K 2)) J)

simplify45.3s

Counts
113 → 143
Calls
113 calls:
Slowest
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.2s
(* (/ (* (* 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)))))
1.9s
(* (/ (* (* 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.8s
(* (/ (* (* 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.0s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 8.7b

localize74.0ms

Local error

Found 4 expressions with local error:

9.2b
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))
6.6b
(* (* (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.3b
(cbrt (cos (/ K 2)))
0.3b
(cbrt (cos (/ K 2)))

rewrite678.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
516.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)))
156.0ms
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))
2.0ms
(cbrt (cos (/ K 2)))
1.0ms
(cbrt (cos (/ K 2)))

series669.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
236.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)))
163.0ms
(cbrt (cos (/ K 2)))
136.0ms
(cbrt (cos (/ K 2)))
135.0ms
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))

simplify13.9s

Counts
59 → 95
Calls
59 calls:
Slowest
909.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))))
836.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))))
793.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))))
785.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))))
708.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 (8 fresh and 2 done)

Merged error: 8.7b

localize72.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.5s

Algorithm
rewrite-expression-head
Rules
98×pow1
97×add-exp-log
75×pow-prod-down prod-exp cbrt-unprod
61×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 flip-+
1×rem-sqrt-square sqrt-pow1 pow1/2 associate-*r* associate-*l* *-commutative
Counts
4 → 107
Calls
4 calls:
Slowest
1.4s
(* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (* (cbrt (cos (/ K 2))) (* (* (cbrt (cbrt (cos (/ K 2)))) (cbrt (cbrt (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) J)))
139.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)))

series690.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
237.0ms
(* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (* (cbrt (cos (/ K 2))) (* (* (cbrt (cbrt (cos (/ K 2)))) (cbrt (cbrt (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) J)))
162.0ms
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))
155.0ms
(cbrt (cos (/ K 2)))
136.0ms
(cbrt (cos (/ K 2)))

simplify28.8s

Counts
83 → 119
Calls
83 calls:
Slowest
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)) (* (* (* (* (cbrt (cos (/ K 2))) (* (* (cbrt (cbrt (cos (/ K 2)))) (cbrt (cbrt (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) (* (* (cbrt (cbrt (cos (/ K 2)))) (cbrt (cbrt (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2))))))) (* (cbrt (cos (/ K 2))) (* (* (cbrt (cbrt (cos (/ K 2)))) (cbrt (cbrt (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2))))))) (* (* (* (cbrt (cos (/ K 2))) J) (* (cbrt (cos (/ K 2))) J)) (* (cbrt (cos (/ K 2))) 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)) (* (* (cos (/ K 2)) (* (* (* (* (cbrt (cbrt (cos (/ K 2)))) (cbrt (cbrt (cos (/ K 2))))) (* (cbrt (cbrt (cos (/ K 2)))) (cbrt (cbrt (cos (/ K 2)))))) (* (cbrt (cbrt (cos (/ K 2)))) (cbrt (cbrt (cos (/ K 2)))))) (cbrt (cos (/ K 2))))) (* (* (* (cbrt (cos (/ K 2))) J) (* (cbrt (cos (/ K 2))) J)) (* (cbrt (cos (/ K 2))) J))))
1.0s
(* (* (* (* (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 (cbrt (cos (/ K 2)))) (cbrt (cbrt (cos (/ K 2))))) (* (cbrt (cbrt (cos (/ K 2)))) (cbrt (cbrt (cos (/ K 2)))))) (* (cbrt (cbrt (cos (/ K 2)))) (cbrt (cbrt (cos (/ K 2)))))) (cbrt (cos (/ K 2))))) (* (* (* (cbrt (cos (/ K 2))) J) (* (cbrt (cos (/ K 2))) J)) (* (cbrt (cos (/ K 2))) J))))
1.0s
(* (* (* (* (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 (cbrt (cos (/ K 2)))) (cbrt (cbrt (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) J)) (* (* (cbrt (cos (/ K 2))) (* (* (cbrt (cbrt (cos (/ K 2)))) (cbrt (cbrt (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) J))) (* (* (cbrt (cos (/ K 2))) (* (* (cbrt (cbrt (cos (/ K 2)))) (cbrt (cbrt (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) J))))
928.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 (cbrt (cos (/ K 2)))) (cbrt (cbrt (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) J)) (* (* (cbrt (cos (/ K 2))) (* (* (cbrt (cbrt (cos (/ K 2)))) (cbrt (cbrt (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) J))) (* (* (cbrt (cos (/ K 2))) (* (* (cbrt (cbrt (cos (/ K 2)))) (cbrt (cbrt (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) J))))

prune1.8s

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 8.7b

localize83.0ms

Local error

Found 4 expressions with local error:

9.2b
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))
6.6b
(* (* (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.7b
(cbrt J)
0.7b
(cbrt J)

rewrite690.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
539.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)))
148.0ms
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))
1.0ms
(cbrt J)
1.0ms
(cbrt J)

series913.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
275.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)))
258.0ms
(cbrt J)
230.0ms
(cbrt J)
149.0ms
(sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1))

simplify11.2s

Counts
53 → 89
Calls
53 calls:
Slowest
745.0ms
(sqrt (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)))
709.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))))
647.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))))
638.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))) (* (cos (/ K 2)) (* (cbrt J) (cbrt J)))) (* (cos (/ K 2)) (* (cbrt J) (cbrt J)))) J))
624.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.2s

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 8.7b

regimes487.0ms

Accuracy

8% (7.9b remaining)

Error of 16.0b against oracle of 8.1b and baseline of 16.7b

bsearch291.0ms

end0.0ms

sample6.5s

Algorithm
intervals
Results
2.1s1550×body1280valid
2.1s4252×body80valid
1.5s1293×body640valid
448.0ms606×body320valid
168.0ms303×body160valid