Error in 49.7s

Runtime

Time bar (total: 49.7s)Debug log

start967.0ms

Algorithm
intervals

setup65.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 17.2b

localize55.0ms

Local error

Found 4 expressions with local error:

2.0b
(cos (- lambda1 lambda2))
0.7b
(acos (fma (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)) (* (sin phi2) (sin phi1))))
0.3b
(* R (acos (fma (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)) (* (sin phi2) (sin phi1)))))
0.2b
(fma (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)) (* (sin phi2) (sin phi1)))

rewrite7.0ms

Algorithm
rewrite-expression-head
Counts
4 → 45
Calls

4 calls. Slowest were:

3.0ms
(cos (- lambda1 lambda2))
1.0ms
(* R (acos (fma (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)) (* (sin phi2) (sin phi1)))))
0.0ms
(acos (fma (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)) (* (sin phi2) (sin phi1))))

series259.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

164.0ms
(fma (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)) (* (sin phi2) (sin phi1)))
53.0ms
(* R (acos (fma (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)) (* (sin phi2) (sin phi1)))))
23.0ms
(cos (- lambda1 lambda2))

simplify503.0ms

Counts
18 → 57
Calls

18 calls. Slowest were:

107.0ms
(- (+ (* phi1 phi2) 1) (* 1/2 (pow phi1 2)))
79.0ms
(- (+ 1 (* lambda2 lambda1)) (* 1/2 (pow lambda1 2)))
36.0ms
(sqrt (acos (fma (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)) (* (sin phi2) (sin phi1)))))

prune1.1s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 4.5b

localize67.0ms

Local error

Found 4 expressions with local error:

0.7b
(acos (fma (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (* (sin phi2) (sin phi1))))
0.2b
(fma (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (* (sin phi2) (sin phi1)))
0.2b
(* R (acos (fma (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (* (sin phi2) (sin phi1)))))
0.2b
(* (sin lambda1) (sin lambda2))

rewrite11.0ms

Algorithm
rewrite-expression-head
Counts
4 → 53
Calls

4 calls. Slowest were:

7.0ms
(* (sin lambda1) (sin lambda2))
2.0ms
(* R (acos (fma (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (* (sin phi2) (sin phi1)))))
1.0ms
(acos (fma (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (* (sin phi2) (sin phi1))))

series392.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

263.0ms
(fma (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (* (sin phi2) (sin phi1)))
77.0ms
(* (sin lambda1) (sin lambda2))
31.0ms
(* R (acos (fma (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (* (sin phi2) (sin phi1)))))

simplify3.1s

Counts
24 → 65
Calls

24 calls. Slowest were:

349.0ms
(acos (fma (* (cos phi1) (cos phi2)) (+ (* (sin lambda2) (sin lambda1)) (* (cos lambda1) (cos lambda2))) (* (sin phi1) (sin phi2))))
315.0ms
(* (acos (fma (* (cos phi1) (cos phi2)) (+ (* (sin lambda1) (sin lambda2)) (* (cos lambda1) (cos lambda2))) (* (sin phi1) (sin phi2)))) R)
315.0ms
(acos (fma (* (cos phi1) (cos phi2)) (+ (* (sin lambda1) (sin lambda2)) (* (cos lambda1) (cos lambda2))) (* (sin phi1) (sin phi2))))

prune1.6s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 4.4b

localize19.0ms

Local error

Found 4 expressions with local error:

0.7b
(acos (fma (fma (sin lambda2) (sin lambda1) (* (cos lambda1) (cos lambda2))) (* (cos phi2) (cos phi1)) (* (sin phi2) (sin phi1))))
0.2b
(fma (fma (sin lambda2) (sin lambda1) (* (cos lambda1) (cos lambda2))) (* (cos phi2) (cos phi1)) (* (sin phi2) (sin phi1)))
0.2b
(* (acos (fma (fma (sin lambda2) (sin lambda1) (* (cos lambda1) (cos lambda2))) (* (cos phi2) (cos phi1)) (* (sin phi2) (sin phi1)))) R)
0.2b
(* (sin phi2) (sin phi1))

rewrite7.0ms

Algorithm
rewrite-expression-head
Counts
4 → 53
Calls

4 calls. Slowest were:

4.0ms
(* (sin phi2) (sin phi1))
2.0ms
(* (acos (fma (fma (sin lambda2) (sin lambda1) (* (cos lambda1) (cos lambda2))) (* (cos phi2) (cos phi1)) (* (sin phi2) (sin phi1)))) R)
0.0ms
(acos (fma (fma (sin lambda2) (sin lambda1) (* (cos lambda1) (cos lambda2))) (* (cos phi2) (cos phi1)) (* (sin phi2) (sin phi1))))

series426.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

296.0ms
(fma (fma (sin lambda2) (sin lambda1) (* (cos lambda1) (cos lambda2))) (* (cos phi2) (cos phi1)) (* (sin phi2) (sin phi1)))
76.0ms
(* (sin phi2) (sin phi1))
44.0ms
(* (acos (fma (fma (sin lambda2) (sin lambda1) (* (cos lambda1) (cos lambda2))) (* (cos phi2) (cos phi1)) (* (sin phi2) (sin phi1)))) R)

simplify1.7s

Counts
23 → 65
Calls

23 calls. Slowest were:

243.0ms
(+ (* (cos phi1) (* (cos phi2) (* (cos lambda1) (cos lambda2)))) (+ (* (cos phi1) (* (cos phi2) (* (sin lambda2) (sin lambda1)))) (* (sin phi1) (sin phi2))))
228.0ms
(+ (* (cos phi1) (* (cos phi2) (* (sin lambda1) (sin lambda2)))) (+ (* (cos phi1) (* (cos phi2) (* (cos lambda1) (cos lambda2)))) (* (sin phi1) (sin phi2))))
164.0ms
(sqrt (acos (fma (fma (sin lambda2) (sin lambda1) (* (cos lambda1) (cos lambda2))) (* (cos phi2) (cos phi1)) (* (sin phi2) (sin phi1)))))

prune1.7s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 4.4b

localize46.0ms

Local error

Found 4 expressions with local error:

0.7b
(acos (fma (fma (sin lambda2) (sin lambda1) (* (cos lambda1) (cos lambda2))) (* (cos phi2) (cos phi1)) (* (* (sin phi2) (* (cbrt (sin phi1)) (cbrt (sin phi1)))) (cbrt (sin phi1)))))
0.6b
(cbrt (sin phi1))
0.6b
(cbrt (sin phi1))
0.6b
(cbrt (sin phi1))

rewrite4.0ms

Algorithm
rewrite-expression-head
Counts
4 → 49
Calls

4 calls. Slowest were:

1.0ms
(cbrt (sin phi1))
1.0ms
(cbrt (sin phi1))
1.0ms
(cbrt (sin phi1))

series501.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

186.0ms
(cbrt (sin phi1))
166.0ms
(cbrt (sin phi1))
130.0ms
(cbrt (sin phi1))

simplify649.0ms

Counts
21 → 61
Calls

21 calls. Slowest were:

169.0ms
(acos (fma (fma (sin lambda2) (sin lambda1) (* (cos lambda1) (cos lambda2))) (* (cos phi1) (cos phi2)) (* (sin phi1) (sin phi2))))
114.0ms
(acos (fma (fma (sin lambda2) (sin lambda1) (* (cos lambda1) (cos lambda2))) (* (cos phi1) (cos phi2)) (* (sin phi1) (sin phi2))))
97.0ms
(acos (fma (fma (sin lambda2) (sin lambda1) (* (cos lambda1) (cos lambda2))) (* (cos phi1) (cos phi2)) (* (sin phi1) (sin phi2))))

prune1.6s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 4.4b

regimes1.5s

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(FPCore (R lambda1 lambda2 phi1 phi2)
  :name "Spherical law of cosines"
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))

Backtrace

partition: contract violation expected: list? given: 3.9109076880935767 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