Runtime

start1.9s

Algorithm: intervals

setup58.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.7b

localize98.0ms

Local error

Found 4 expressions with local error:

2.7b	(cos (- lambda1 lambda2))
0.6b	(acos (+ (* (cos (- lambda1 lambda2)) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1))))
0.2b	(* (sin phi2) (sin phi1))
0.2b	(* R (acos (+ (* (cos (- lambda1 lambda2)) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1)))))

rewrite20.0ms

Algorithm

rewrite-expression-head

Counts

4 → 47

Calls

4 calls. Slowest were:

7.0ms	(* (sin phi2) (sin phi1))
5.0ms	(cos (- lambda1 lambda2))
2.0ms	(acos (+ (* (cos (- lambda1 lambda2)) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1))))

series151.0ms

Counts

4 → 12

Calls

4 calls. Slowest were:

61.0ms	(* (sin phi2) (sin phi1))
44.0ms	(* R (acos (+ (* (cos (- lambda1 lambda2)) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1)))))
35.0ms	(cos (- lambda1 lambda2))

simplify391.0ms

Counts

27 → 59

Calls

27 calls. Slowest were:

88.0ms

(* (* (* (sin phi2) (sin phi2)) (sin phi2)) (* (* (sin phi1) (sin phi1)) (sin phi1)))

42.0ms

(- (+ 1 (* lambda2 lambda1)) (* 1/2 (pow lambda1 2)))

32.0ms

(* (acos (+ (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) (* (sin phi1) (sin phi2)))) R)

prune1.2s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 3.1b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite19.0ms

Algorithm

rewrite-expression-head

Counts

4 → 55

Calls

4 calls. Slowest were:

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

series174.0ms

Counts

4 → 12

Calls

4 calls. Slowest were:

60.0ms	(* (sin lambda1) (sin lambda2))
50.0ms	(* R (acos (+ (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1)))))
46.0ms	(* (sin phi2) (sin phi1))

simplify1.3s

Counts

33 → 67

Calls

33 calls. Slowest were:

159.0ms

(cbrt (acos (+ (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1)))))

155.0ms

(acos (+ (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1))))

149.0ms

(sqrt (acos (+ (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1)))))

prune1.8s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 3.1b

localize22.0ms

Local error

Found 4 expressions with local error:

0.6b	(acos (+ (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1))))
0.4b	(log (exp (acos (+ (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1))))))
0.3b	(exp (acos (+ (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1)))))
0.2b	(* (sin lambda1) (sin lambda2))

rewrite26.0ms

Algorithm

rewrite-expression-head

Counts

4 → 54

Calls

4 calls. Slowest were:

9.0ms

(log (exp (acos (+ (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1))))))

7.0ms

(* (sin lambda1) (sin lambda2))

5.0ms

(exp (acos (+ (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1)))))

series196.0ms

Counts

4 → 12

Calls

4 calls. Slowest were:

72.0ms

(exp (acos (+ (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1)))))

60.0ms

(* (sin lambda1) (sin lambda2))

34.0ms

(acos (+ (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1))))

simplify2.8s

Counts

34 → 66

Calls

34 calls. Slowest were:

201.0ms

(exp (* (cbrt (acos (+ (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1))))) (cbrt (acos (+ (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1)))))))

198.0ms

(exp (sqrt (acos (+ (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1))))))

182.0ms

(+ (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1)))

prune2.0s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 3.0b

localize61.0ms

Local error

Found 4 expressions with local error:

2.8b	(log (exp (* (sin lambda1) (sin lambda2))))
0.6b	(acos (+ (* (+ (* (cos lambda1) (cos lambda2)) (log (exp (* (sin lambda1) (sin lambda2))))) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1))))
0.4b	(log (exp (acos (+ (* (+ (* (cos lambda1) (cos lambda2)) (log (exp (* (sin lambda1) (sin lambda2))))) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1))))))
0.3b	(exp (acos (+ (* (+ (* (cos lambda1) (cos lambda2)) (log (exp (* (sin lambda1) (sin lambda2))))) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1)))))

rewrite11.0ms

Algorithm

rewrite-expression-head

Counts

4 → 50

Calls

4 calls. Slowest were:

4.0ms

(log (exp (acos (+ (* (+ (* (cos lambda1) (cos lambda2)) (log (exp (* (sin lambda1) (sin lambda2))))) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1))))))

3.0ms

(exp (acos (+ (* (+ (* (cos lambda1) (cos lambda2)) (log (exp (* (sin lambda1) (sin lambda2))))) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1)))))

2.0ms

(log (exp (* (sin lambda1) (sin lambda2))))

series153.0ms

Counts

4 → 12

Calls

4 calls. Slowest were:

71.0ms

(exp (acos (+ (* (+ (* (cos lambda1) (cos lambda2)) (log (exp (* (sin lambda1) (sin lambda2))))) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1)))))

45.0ms

(log (exp (* (sin lambda1) (sin lambda2))))

22.0ms

(acos (+ (* (+ (* (cos lambda1) (cos lambda2)) (log (exp (* (sin lambda1) (sin lambda2))))) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1))))

simplify2.6s

Counts

31 → 62

Calls

31 calls. Slowest were:

223.0ms

(log (sqrt (exp (acos (+ (* (+ (* (cos lambda1) (cos lambda2)) (log (exp (* (sin lambda1) (sin lambda2))))) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1)))))))

219.0ms

(sqrt (acos (+ (* (+ (* (cos lambda1) (cos lambda2)) (log (exp (* (sin lambda1) (sin lambda2))))) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1)))))

212.0ms

(acos (+ (* (+ (* (cos lambda1) (cos lambda2)) (log (exp (* (sin lambda1) (sin lambda2))))) (* (cos phi1) (cos phi2))) (* (sin phi2) (sin phi1))))

prune1.7s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 3.0b

regimes2.0s

binary-search4.0ms

Please include this information when filing a bug report:

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

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

Runtime

start1.9s

setup58.0ms

localize98.0ms

rewrite20.0ms

series151.0ms

simplify391.0ms

prune1.2s

localize39.0ms

rewrite19.0ms

series174.0ms

simplify1.3s

prune1.8s

localize22.0ms

rewrite26.0ms

series196.0ms

simplify2.8s

prune2.0s

localize61.0ms

rewrite11.0ms

series153.0ms

simplify2.6s

prune1.7s

regimes2.0s

binary-search4.0ms

Backtrace