Error in 29.5s

Runtime

Time bar (total: 29.5s)Debug log

start313.0ms

Algorithm
intervals

setup518.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.3b

localize37.0ms

Local error

Found 4 expressions with local error:

3.5b
(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))

series1.0s

Counts
4 → 12
Calls

4 calls. Slowest were:

560.0ms
(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2)) R)
342.0ms
(hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2))
74.0ms
(* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2)))

simplify1.7s

Counts
24 → 65
Calls

24 calls. Slowest were:

331.0ms
(- 1 (+ (* 1/4 (* phi1 phi2)) (* 1/8 (pow phi2 2))))
257.0ms
(* (* (* (- lambda1 lambda2) (- lambda1 lambda2)) (- lambda1 lambda2)) (* (* (cos (/ (+ phi2 phi1) 2)) (cos (/ (+ phi2 phi1) 2))) (cos (/ (+ phi2 phi1) 2))))
232.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)))))))

prune1.1s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 3.2b

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite22.0ms

Algorithm
rewrite-expression-head
Counts
4 → 53
Calls

4 calls. Slowest were:

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

series974.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

490.0ms
(* (hypot (* (- lambda1 lambda2) (cos (* (+ phi1 phi2) 1/2))) (- phi1 phi2)) R)
377.0ms
(hypot (* (- lambda1 lambda2) (cos (* (+ phi1 phi2) 1/2))) (- phi1 phi2))
91.0ms
(* (- lambda1 lambda2) (cos (* (+ phi1 phi2) 1/2)))

simplify1.8s

Counts
24 → 65
Calls

24 calls. Slowest were:

296.0ms
(- 1 (+ (* 1/4 (* phi1 phi2)) (* 1/8 (pow phi1 2))))
273.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)))))))
234.0ms
(* (* (* (- lambda1 lambda2) (- lambda1 lambda2)) (- lambda1 lambda2)) (* (* (cos (* (+ phi1 phi2) 1/2)) (cos (* (+ phi1 phi2) 1/2))) (cos (* (+ phi1 phi2) 1/2))))

prune1.1s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 3.2b

localize29.0ms

Local error

Found 4 expressions with local error:

3.5b
(cos (* (+ phi1 phi2) 1/2))
0.5b
(expm1 (cos (* (+ phi1 phi2) 1/2)))
0.2b
(log1p (expm1 (cos (* (+ phi1 phi2) 1/2))))
0.2b
(* (- lambda1 lambda2) (log1p (expm1 (cos (* (+ phi1 phi2) 1/2)))))

rewrite17.0ms

Algorithm
rewrite-expression-head
Counts
4 → 52
Calls

4 calls. Slowest were:

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

series250.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

109.0ms
(* (- lambda1 lambda2) (log1p (expm1 (cos (* (+ phi1 phi2) 1/2)))))
63.0ms
(expm1 (cos (* (+ phi1 phi2) 1/2)))
55.0ms
(log1p (expm1 (cos (* (+ phi1 phi2) 1/2))))

simplify1.4s

Counts
24 → 64
Calls

24 calls. Slowest were:

247.0ms
(- 1 (+ (* 1/4 (* phi1 phi2)) (* 1/8 (pow phi1 2))))
235.0ms
(* (* (* (- lambda1 lambda2) (- lambda1 lambda2)) (- lambda1 lambda2)) (* (* (log1p (expm1 (cos (* (+ phi1 phi2) 1/2)))) (log1p (expm1 (cos (* (+ phi1 phi2) 1/2))))) (log1p (expm1 (cos (* (+ phi1 phi2) 1/2))))))
225.0ms
(- 1 (+ (* 1/4 (* phi1 phi2)) (* 1/8 (pow phi1 2))))

prune1.2s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 3.2b

localize30.0ms

Local error

Found 4 expressions with local error:

3.5b
(cos (* (+ phi1 phi2) 1/2))
3.5b
(cos (* (+ phi1 phi2) 1/2))
3.5b
(cos (* (+ phi2 phi1) 1/2))
0.5b
(expm1 (cos (* (+ phi1 phi2) 1/2)))

rewrite20.0ms

Algorithm
rewrite-expression-head
Counts
4 → 38
Calls

4 calls. Slowest were:

9.0ms
(cos (* (+ phi2 phi1) 1/2))
5.0ms
(cos (* (+ phi1 phi2) 1/2))
5.0ms
(cos (* (+ phi1 phi2) 1/2))

series148.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

74.0ms
(expm1 (cos (* (+ phi1 phi2) 1/2)))
25.0ms
(cos (* (+ phi2 phi1) 1/2))
25.0ms
(cos (* (+ phi1 phi2) 1/2))

simplify1.1s

Counts
13 → 50
Calls

13 calls. Slowest were:

276.0ms
(- 1 (+ (* 1/4 (* phi1 phi2)) (* 1/8 (pow phi1 2))))
258.0ms
(- 1 (+ (* 1/4 (* phi1 phi2)) (* 1/8 (pow phi2 2))))
238.0ms
(- 1 (+ (* 1/4 (* phi1 phi2)) (* 1/8 (pow phi1 2))))

prune1.4s

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 3.2b

regimes765.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +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.561582900016023 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