Time bar (total: 2.0m)
| 51.0ms | 34× | body | 1280 | valid |
| 41.0ms | 45× | body | 640 | valid |
| 38.0ms | 153× | body | 80 | valid |
| 10.0ms | 15× | body | 320 | valid |
| 5.0ms | 9× | body | 160 | valid |
| 273.0ms | (* (* (* -2 J) (cos (/ K 2))) (sqrt (+ 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2)))) |
1 alts after pruning (1 fresh and 0 done)
Merged error: 16.1b
Found 4 expressions with local error:
| 9.9b | (* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (cos (/ K 2)) J)) |
| 6.1b | (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) |
| 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 |
| 301.0ms | (* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (cos (/ K 2)) J)) |
| 145.0ms | (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) |
| 126.0ms | (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) |
| 13.0ms | (* (cos (/ K 2)) J) |
| 217.0ms | (* (* (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) -2) (* (cos (/ K 2)) J)) |
| 143.0ms | (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) |
| 109.0ms | (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) |
| 76.0ms | (* (cos (/ K 2)) J) |
| 2.5s | (* (/ (* (* 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.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.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))))) |
| 2.0s | (* (/ (* (* 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.7s | (* (/ (* (* U U) U) (* (* (* 2 (* (cos (/ K 2)) J)) (* 2 (* (cos (/ K 2)) J))) (* 2 (* (cos (/ K 2)) J)))) (* (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) (/ U (* 2 (* (cos (/ K 2)) J))))) |
9 alts after pruning (8 fresh and 1 done)
Merged error: 8.0b
Found 4 expressions with local error:
| 9.9b | (* (* (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))) |
| 6.1b | (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))) |
| 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 |
| 450.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)) |
| 1.0ms | (cbrt (cos (/ K 2))) |
| 1.0ms | (cbrt (cos (/ K 2))) |
| 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))) |
| 149.0ms | (cbrt (cos (/ K 2))) |
| 134.0ms | (cbrt (cos (/ K 2))) |
| 110.0ms | (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) |
| 862.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)))) |
| 821.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)))) |
| 711.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)))) |
| 707.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)))) |
| 676.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)))) |
12 alts after pruning (11 fresh and 1 done)
Merged error: 8.0b
Found 4 expressions with local error:
| 9.9b | (* (* (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 (cos (/ K 2)))) (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) J))) |
| 6.1b | (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) |
| 0.3b | (cbrt (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (cbrt (cos (/ K 2))))) |
| 0.3b | (cbrt (cos (/ K 2))) |
| 46× | pow1 |
| 45× | add-exp-log |
| 33× | add-cbrt-cube |
| 31× | pow-prod-down prod-exp cbrt-unprod |
| 7× | add-sqr-sqrt |
| 6× | *-un-lft-identity add-cube-cbrt |
| 4× | cbrt-prod 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* pow3 *-commutative rem-cbrt-cube |
| 609.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 (cos (/ K 2)))) (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) J))) |
| 122.0ms | (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) |
| 18.0ms | (cbrt (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (cbrt (cos (/ K 2))))) |
| 2.0ms | (cbrt (cos (/ K 2))) |
| 197.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 (cos (/ K 2)))) (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) J))) |
| 148.0ms | (cbrt (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (cbrt (cos (/ K 2))))) |
| 141.0ms | (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) |
| 137.0ms | (cbrt (cos (/ K 2))) |
| 771.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 (cos (/ K 2)))) (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) J)) (* (* (cbrt (cos (/ K 2))) (cbrt (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) J))) (* (* (cbrt (cos (/ K 2))) (cbrt (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) J)))) |
| 755.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 (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) (cbrt (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (cbrt (cos (/ K 2))))))) (* (cbrt (cos (/ K 2))) (cbrt (* (* (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)))) |
| 731.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 (cos (/ K 2)))) (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) (cbrt (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (cbrt (cos (/ K 2))))))) (* (cbrt (cos (/ K 2))) (cbrt (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (cbrt (cos (/ K 2))))))) (* (cos (/ K 2)) (* (* J J) J)))) |
| 720.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 (cos (/ K 2)))) (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) (cbrt (* (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2)))) (cbrt (cos (/ K 2))))))) (* (cbrt (cos (/ K 2))) (cbrt (* (* (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)))) |
| 682.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 (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)))) |
11 alts after pruning (10 fresh and 1 done)
Merged error: 8.0b
Found 4 expressions with local error:
| 9.9b | (* (* (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 (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) J))) |
| 6.1b | (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) |
| 0.3b | (cbrt (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2))))) |
| 0.3b | (cbrt (cos (/ K 2))) |
| 70× | pow1 |
| 69× | add-exp-log |
| 51× | pow-prod-down prod-exp cbrt-unprod |
| 47× | add-cbrt-cube |
| 7× | add-sqr-sqrt |
| 6× | *-un-lft-identity add-cube-cbrt |
| 4× | cbrt-prod 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 |
| 701.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 (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) J))) |
| 180.0ms | (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) |
| 4.0ms | (cbrt (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2))))) |
| 1.0ms | (cbrt (cos (/ K 2))) |
| 256.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 (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) J))) |
| 156.0ms | (cbrt (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2))))) |
| 147.0ms | (cbrt (cos (/ K 2))) |
| 124.0ms | (sqrt (+ (* (/ U (* 2 (* (cos (/ K 2)) J))) (/ U (* 2 (* (cos (/ K 2)) J)))) 1)) |
| 2.4s | (* (* (* (* (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 (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) (* (cbrt (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2))))))) (* (cbrt (cos (/ K 2))) (* (cbrt (* (cbrt (cos (/ K 2))) (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.6s | (* (* (* (* (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 (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) (* (cbrt (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2))))))) (* (cbrt (cos (/ K 2))) (* (cbrt (* (cbrt (cos (/ K 2))) (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.4s | (* (* (* (* (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 (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) (* (cbrt (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2))))))) (* (cbrt (cos (/ K 2))) (* (cbrt (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2))))))) (* (cos (/ K 2)) (* (* J J) J)))) |
| 1.4s | (* (* (* (* (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 (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) (* (cbrt (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2))))))) (* (cbrt (cos (/ K 2))) (* (cbrt (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2))))))) (* (cos (/ K 2)) (* (* J J) J)))) |
| 1.3s | (* (* (* (* (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 (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) J)) (* (* (cbrt (cos (/ K 2))) (* (cbrt (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) J))) (* (* (cbrt (cos (/ K 2))) (* (cbrt (* (cbrt (cos (/ K 2))) (cbrt (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2)))))) (* (cbrt (cos (/ K 2))) J)))) |
11 alts after pruning (9 fresh and 2 done)
Merged error: 8.0b
3.9% (8.1b remaining)
Error of 16.6b against oracle of 8.5b and baseline of 16.9b
| 2.0s | 4415× | body | 80 | valid |
| 1.9s | 1439× | body | 1280 | valid |
| 1.3s | 1230× | body | 640 | valid |
| 506.0ms | 585× | body | 320 | valid |
| 221.0ms | 333× | body | 160 | valid |