Runtime

start270.0ms

Algorithm: intervals

setup311.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 8.6b

localize52.0ms

Local error

Found 4 expressions with local error:

8.5b	(* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (* (cos (/ K 2)) (* -2 J)))
0.1b	(/ (/ (/ U 2) J) (cos (/ K 2)))
0.1b	(* (cos (/ K 2)) (* -2 J))
0.0b	(hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2))))

rewrite37.0ms

Algorithm

rewrite-expression-head

Counts

4 → 81

Calls

4 calls. Slowest were:

22.0ms	(* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (* (cos (/ K 2)) (* -2 J)))
9.0ms	(/ (/ (/ U 2) J) (cos (/ K 2)))
5.0ms	(* (cos (/ K 2)) (* -2 J))

series595.0ms

Counts

4 → 12

Calls

4 calls. Slowest were:

253.0ms	(* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (* (cos (/ K 2)) (* -2 J)))
206.0ms	(hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2))))
83.0ms	(/ (/ (/ U 2) J) (cos (/ K 2)))

simplify2.8s

Counts

59 → 93

Calls

59 calls. Slowest were:

595.0ms

(/ (* (* (/ (/ U 2) J) (/ (/ U 2) J)) (/ (/ U 2) J)) (* (* (cos (/ K 2)) (cos (/ K 2))) (cos (/ K 2))))

465.0ms

(* (* (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2))))) (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2))))) (* (* (* (cos (/ K 2)) (* -2 J)) (* (cos (/ K 2)) (* -2 J))) (* (cos (/ K 2)) (* -2 J))))

241.0ms

(+ (* 1/16 (/ (* (pow K 2) U) J)) (* 1/2 (/ U J)))

prune1.5s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 4.0b

localize14.0ms

Local error

Found 4 expressions with local error:

8.5b	(* (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J))) (* (cos (/ K 2)) (* -2 J)))
0.1b	(* (cos (/ K 2)) (* -2 J))
0.1b	(* (cos (/ K 2)) J)
0.1b	(/ (/ U 2) (* (cos (/ K 2)) J))

rewrite39.0ms

Algorithm

rewrite-expression-head

Counts

4 → 74

Calls

4 calls. Slowest were:

12.0ms	(* (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J))) (* (cos (/ K 2)) (* -2 J)))
9.0ms	(/ (/ U 2) (* (cos (/ K 2)) J))
8.0ms	(* (cos (/ K 2)) (* -2 J))

series397.0ms

Counts

4 → 12

Calls

4 calls. Slowest were:

229.0ms	(* (hypot 1 (/ (/ U 2) (* (cos (/ K 2)) J))) (* (cos (/ K 2)) (* -2 J)))
60.0ms	(/ (/ U 2) (* (cos (/ K 2)) J))
59.0ms	(* (cos (/ K 2)) (* -2 J))

simplify1.9s

Counts

40 → 86

Calls

40 calls. Slowest were:

214.0ms	(- (log (/ U 2)) (log (* (cos (/ K 2)) J)))
201.0ms	(+ (* 1/16 (/ (* (pow K 2) U) J)) (* 1/2 (/ U J)))
200.0ms	(- J (* 1/8 (* (pow K 2) J)))

prune1.5s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 4.0b

localize9.0ms

Local error

Found 4 expressions with local error:

8.5b	(* (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2))) (* -2 J))
0.1b	(/ (/ (/ U 2) J) (cos (/ K 2)))
0.1b	(* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2)))
0.0b	(hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2))))

rewrite29.0ms

Algorithm

rewrite-expression-head

Counts

4 → 81

Calls

4 calls. Slowest were:

13.0ms	(* (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2))) (* -2 J))
8.0ms	(* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2)))
6.0ms	(/ (/ (/ U 2) J) (cos (/ K 2)))

series767.0ms

Counts

4 → 12

Calls

4 calls. Slowest were:

290.0ms	(* (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2))) (* -2 J))
196.0ms	(* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2)))
194.0ms	(hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2))))

simplify2.9s

Counts

60 → 93

Calls

60 calls. Slowest were:

715.0ms

(* (* (* (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2))) (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2)))) (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2)))) (* (* (* -2 J) (* -2 J)) (* -2 J)))

539.0ms

(/ (* (* (/ (/ U 2) J) (/ (/ U 2) J)) (/ (/ U 2) J)) (* (* (cos (/ K 2)) (cos (/ K 2))) (cos (/ K 2))))

194.0ms

(- (log (/ (/ U 2) J)) (log (cos (/ K 2))))

prune1.6s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 4.0b

localize25.0ms

Local error

Found 4 expressions with local error:

8.9b	(cbrt (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2))))
8.9b	(cbrt (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2))))
8.9b	(cbrt (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2))))
8.5b	(* (* (* (cbrt (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2)))) (cbrt (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2))))) (cbrt (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2))))) (* -2 J))

rewrite115.0ms

Algorithm

rewrite-expression-head

Counts

4 → 54

Calls

4 calls. Slowest were:

103.0ms

(* (* (* (cbrt (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2)))) (cbrt (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2))))) (cbrt (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2))))) (* -2 J))

5.0ms

(cbrt (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2))))

3.0ms

(cbrt (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2))))

series1.2s

Counts

4 → 12

Calls

4 calls. Slowest were:

318.0ms	(cbrt (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2))))
315.0ms	(cbrt (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2))))
284.0ms	(cbrt (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2))))

simplify3.8s

Counts

25 → 66

Calls

25 calls. Slowest were:

824.0ms

(* (* (* (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2))) (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2)))) (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2)))) (* (* (* -2 J) (* -2 J)) (* -2 J)))

716.0ms

(* (* (* (* (* (cbrt (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2)))) (cbrt (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2))))) (cbrt (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2))))) (* (* (cbrt (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2)))) (cbrt (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2))))) (cbrt (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2)))))) (* (* (cbrt (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2)))) (cbrt (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2))))) (cbrt (* (hypot 1 (/ (/ (/ U 2) J) (cos (/ K 2)))) (cos (/ K 2)))))) (* (* (* -2 J) (* -2 J)) (* -2 J)))

317.0ms

(exp (* 1/3 (- (+ (log 1/2) (log (/ 1 J))) (log (/ 1 U)))))

prune1.2s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 4.0b

regimes537.0ms

binary-search2.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 +o rules:numerics
(FPCore (J K U)
  :name "Maksimov and Kolovsky, Equation (3)"
  (* (* (* -2 J) (cos (/ K 2))) (sqrt (+ 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2)))))

partition: contract violation expected: list? given: 7.57545412538435 argument position: 2nd other arguments...: #<procedure:ordinary-value?>		L	C
partition	/home/p92/racket/collects/racket/list.rkt	555	0
errors-score	/data/pavpan/nightlies/herbie/develop/src/points.rkt	322	0
for-loop	/data/pavpan/nightlies/herbie/develop/src/sandbox.rkt	75	12
(unnamed)	/home/p92/racket/collects/racket/private/more-scheme.rkt	261	28
run	/home/p92/racket/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk16	/home/p92/racket/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/home/p92/racket/collects/racket/private/more-scheme.rkt	261	28

Error in 33.8s

Runtime

start270.0ms

setup311.0ms

localize52.0ms

rewrite37.0ms

series595.0ms

simplify2.8s

prune1.5s

localize14.0ms

rewrite39.0ms

series397.0ms

simplify1.9s

prune1.5s

localize9.0ms

rewrite29.0ms

series767.0ms

simplify2.9s

prune1.6s

localize25.0ms

rewrite115.0ms

series1.2s

simplify3.8s

prune1.2s

regimes537.0ms

binary-search2.0ms

Backtrace