Error in 29.0s

Runtime

Time bar (total: 29.0s)Debug logProfile

start319.0ms

Algorithm
intervals

setup644.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.7b

localize55.0ms

Local error

Found 4 expressions with local error:

3.9b
(cos (/ (+ phi2 phi1) 2))
0.2b
(* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2)))
0.1b
(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2)) R)
0.0b
(hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2))

rewrite20.0ms

Algorithm
rewrite-expression-head
Counts
4 → 53
Calls

4 calls. Slowest were:

10.0ms
(* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2)))
5.0ms
(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2)) R)
4.0ms
(cos (/ (+ phi2 phi1) 2))

series916.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

445.0ms
(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2)) R)
371.0ms
(hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2))
75.0ms
(* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2)))

simplify1.7s

Counts
24 → 65
Calls

24 calls. Slowest were:

340.0ms
(+ (/ (* lambda2 (* phi1 phi2)) (* (pow lambda1 2) (cos (* 1/2 (+ phi1 phi2))))) (+ (* lambda2 (cos (* 1/2 (+ phi1 phi2)))) (/ (* phi1 phi2) (* lambda1 (cos (* 1/2 (+ phi1 phi2)))))))
219.0ms
(* (* (* (- lambda1 lambda2) (- lambda1 lambda2)) (- lambda1 lambda2)) (* (* (cos (/ (+ phi2 phi1) 2)) (cos (/ (+ phi2 phi1) 2))) (cos (/ (+ phi2 phi1) 2))))
192.0ms
(- 1 (+ (* 1/4 (* phi1 phi2)) (* 1/8 (pow phi2 2))))

prune1.0s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 3.5b

localize7.0ms

Local error

Found 4 expressions with local error:

3.9b
(cos (/ (+ phi2 phi1) 2))
0.2b
(* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2)))
0.1b
(* R (hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2)))
0.0b
(hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2))

rewrite10.0ms

Algorithm
rewrite-expression-head
Counts
4 → 53
Calls

4 calls. Slowest were:

5.0ms
(* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2)))
3.0ms
(cos (/ (+ phi2 phi1) 2))
1.0ms
(* R (hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2)))

series1.0s

Counts
4 → 12
Calls

4 calls. Slowest were:

531.0ms
(* R (hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2)))
394.0ms
(hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2))
90.0ms
(* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2)))

simplify1.6s

Counts
25 → 65
Calls

25 calls. Slowest were:

266.0ms
(- 1 (+ (* 1/4 (* phi1 phi2)) (* 1/8 (pow phi2 2))))
234.0ms
(+ (/ (* lambda2 (* phi1 phi2)) (* (pow lambda1 2) (cos (* 1/2 (+ phi1 phi2))))) (+ (* lambda2 (cos (* 1/2 (+ phi1 phi2)))) (/ (* phi1 phi2) (* lambda1 (cos (* 1/2 (+ phi1 phi2)))))))
227.0ms
(* (* (* (- lambda1 lambda2) (- lambda1 lambda2)) (- lambda1 lambda2)) (* (* (cos (/ (+ phi2 phi1) 2)) (cos (/ (+ phi2 phi1) 2))) (cos (/ (+ phi2 phi1) 2))))

prune935.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 3.5b

localize24.0ms

Local error

Found 4 expressions with local error:

3.9b
(cos (/ (+ phi2 phi1) 2))
0.4b
(expm1 (cos (/ (+ phi2 phi1) 2)))
0.2b
(log1p (expm1 (cos (/ (+ phi2 phi1) 2))))
0.2b
(* (- lambda1 lambda2) (log1p (expm1 (cos (/ (+ phi2 phi1) 2)))))

rewrite13.0ms

Algorithm
rewrite-expression-head
Counts
4 → 52
Calls

4 calls. Slowest were:

8.0ms
(* (- lambda1 lambda2) (log1p (expm1 (cos (/ (+ phi2 phi1) 2)))))
4.0ms
(cos (/ (+ phi2 phi1) 2))
1.0ms
(expm1 (cos (/ (+ phi2 phi1) 2)))

series250.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

109.0ms
(* (- lambda1 lambda2) (log1p (expm1 (cos (/ (+ phi2 phi1) 2)))))
66.0ms
(expm1 (cos (/ (+ phi2 phi1) 2)))
49.0ms
(log1p (expm1 (cos (/ (+ phi2 phi1) 2))))

simplify1.5s

Counts
24 → 64
Calls

24 calls. Slowest were:

291.0ms
(- 1 (+ (* 1/4 (* phi1 phi2)) (* 1/8 (pow phi2 2))))
273.0ms
(* (- (* lambda1 lambda1) (* lambda2 lambda2)) (log1p (expm1 (cos (/ (+ phi2 phi1) 2)))))
269.0ms
(- 1 (+ (* 1/4 (* phi1 phi2)) (* 1/8 (pow phi2 2))))

prune1.2s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 3.5b

localize34.0ms

Local error

Found 4 expressions with local error:

3.9b
(cos (/ (+ phi2 phi1) 2))
0.5b
(log (exp (expm1 (cos (/ (+ phi2 phi1) 2)))))
0.4b
(expm1 (cos (/ (+ phi2 phi1) 2)))
0.2b
(log1p (log (exp (expm1 (cos (/ (+ phi2 phi1) 2))))))

rewrite8.0ms

Algorithm
rewrite-expression-head
Counts
4 → 49
Calls

4 calls. Slowest were:

4.0ms
(cos (/ (+ phi2 phi1) 2))
3.0ms
(log (exp (expm1 (cos (/ (+ phi2 phi1) 2)))))
0.0ms
(expm1 (cos (/ (+ phi2 phi1) 2)))

series183.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

59.0ms
(log (exp (expm1 (cos (/ (+ phi2 phi1) 2)))))
57.0ms
(expm1 (cos (/ (+ phi2 phi1) 2)))
42.0ms
(log1p (log (exp (expm1 (cos (/ (+ phi2 phi1) 2))))))

simplify951.0ms

Counts
22 → 61
Calls

22 calls. Slowest were:

265.0ms
(- 1 (+ (* 1/4 (* phi1 phi2)) (* 1/8 (pow phi2 2))))
209.0ms
(- 1 (+ (* 1/4 (* phi1 phi2)) (* 1/8 (pow phi2 2))))
165.0ms
(- E (+ (* 1/8 (* E (pow phi2 2))) (+ (* 1/4 (* E (* phi1 phi2))) 1)))

prune1.1s

Pruning

15 alts after pruning (13 fresh and 2 done)

Merged error: 3.5b

regimes948.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 +o rules:numerics
(FPCore (R lambda1 lambda2 phi1 phi2)
  :name "Equirectangular approximation to distance on a great circle"
  (* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))))

Backtrace

partition: contract violation expected: list? given: 3.601941279129243 argument position: 2nd other arguments...: #<procedure:ordinary-value?>LC
partition/home/p92/racket/collects/racket/list.rkt5550
errors-score/data/pavpan/nightlies/herbie/develop/src/points.rkt3220
for-loop/data/pavpan/nightlies/herbie/develop/src/sandbox.rkt7512
(unnamed)/home/p92/racket/collects/racket/private/more-scheme.rkt26128
run/home/p92/racket/share/pkgs/profile-lib/main.rkt392
profile-thunk16/home/p92/racket/share/pkgs/profile-lib/main.rkt90
(unnamed)/home/p92/racket/collects/racket/private/more-scheme.rkt26128