Runtime

start363.0ms

Algorithm: intervals

setup212.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 37.5b

localize50.0ms

Local error

Found 4 expressions with local error:

36.7b	(sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))))))
3.9b	(cos (/ (+ phi2 phi1) 2))
3.9b	(cos (/ (+ phi2 phi1) 2))
0.2b	(* (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))))

rewrite54.0ms

Algorithm

rewrite-expression-head

Counts

4 → 129

Calls

4 calls. Slowest were:

33.0ms

(* (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))))

13.0ms

(sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))))))

2.0ms

(cos (/ (+ phi2 phi1) 2))

series809.0ms

Counts

4 → 12

Calls

4 calls. Slowest were:

633.0ms

(sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))))))

122.0ms

(* (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))))

28.0ms

(cos (/ (+ phi2 phi1) 2))

simplify29.2s

Counts

118 → 141

Calls

118 calls. Slowest were:

1.2s

(* (* (* (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2)))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2)))) (* (* (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2)))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2)))))

595.0ms

(sqrt (+ (* (* (- (* phi1 phi1) (* phi2 phi2)) (- (* phi1 phi1) (* phi2 phi2))) (* (+ lambda1 lambda2) (+ lambda1 lambda2))) (* (* (+ phi1 phi2) (+ phi1 phi2)) (* (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi2 phi1) 2))) (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi2 phi1) 2)))))))

581.0ms

(* (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi2 phi1) 2))) (* (- (pow lambda1 3) (pow lambda2 3)) (cos (/ (+ phi2 phi1) 2))))

prune3.5s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 29.5b

localize30.0ms

Local error

Found 4 expressions with local error:

36.7b	(sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (- lambda1 lambda2) (* (* (cbrt (cos (/ (+ phi2 phi1) 2))) (cbrt (cos (/ (+ phi2 phi1) 2)))) (cbrt (cos (/ (+ phi2 phi1) 2))))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))))))
3.9b	(cos (/ (+ phi2 phi1) 2))
3.9b	(cos (/ (+ phi2 phi1) 2))
3.9b	(cos (/ (+ phi2 phi1) 2))

rewrite71.0ms

Algorithm

rewrite-expression-head

Counts

4 → 99

Calls

4 calls. Slowest were:

62.0ms

(sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (- lambda1 lambda2) (* (* (cbrt (cos (/ (+ phi2 phi1) 2))) (cbrt (cos (/ (+ phi2 phi1) 2)))) (cbrt (cos (/ (+ phi2 phi1) 2))))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))))))

2.0ms

(cos (/ (+ phi2 phi1) 2))

2.0ms

(cos (/ (+ phi2 phi1) 2))

series610.0ms

Counts

4 → 12

Calls

4 calls. Slowest were:

541.0ms

(sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (- lambda1 lambda2) (* (* (cbrt (cos (/ (+ phi2 phi1) 2))) (cbrt (cos (/ (+ phi2 phi1) 2)))) (cbrt (cos (/ (+ phi2 phi1) 2))))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))))))

24.0ms

(cos (/ (+ phi2 phi1) 2))

23.0ms

(cos (/ (+ phi2 phi1) 2))

simplify22.1s

Counts

82 → 111

Calls

82 calls. Slowest were:

623.0ms

(sqrt (+ (* (* (- phi1 phi2) (- (pow phi1 3) (pow phi2 3))) (* (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2))) (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2))))) (* (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))) (* (* (- (pow lambda1 3) (pow lambda2 3)) (* (* (cbrt (cos (/ (+ phi2 phi1) 2))) (cbrt (cos (/ (+ phi2 phi1) 2)))) (cbrt (cos (/ (+ phi2 phi1) 2))))) (* (- (pow lambda1 3) (pow lambda2 3)) (cos (/ (+ phi2 phi1) 2)))))))

577.0ms

(sqrt (+ (* (* (- (* phi1 phi1) (* phi2 phi2)) (- (pow phi1 3) (pow phi2 3))) (* (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2))) (+ lambda1 lambda2))) (* (* (+ phi1 phi2) (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2)))) (* (* (- (pow lambda1 3) (pow lambda2 3)) (* (* (cbrt (cos (/ (+ phi2 phi1) 2))) (cbrt (cos (/ (+ phi2 phi1) 2)))) (cbrt (cos (/ (+ phi2 phi1) 2))))) (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi2 phi1) 2)))))))

542.0ms

(sqrt (+ (* (* (- (* phi1 phi1) (* phi2 phi2)) (- (pow phi1 3) (pow phi2 3))) (* (+ lambda1 lambda2) (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2))))) (* (* (+ phi1 phi2) (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2)))) (* (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (* (* (cbrt (cos (/ (+ phi2 phi1) 2))) (cbrt (cos (/ (+ phi2 phi1) 2)))) (cbrt (cos (/ (+ phi2 phi1) 2))))) (* (- (pow lambda1 3) (pow lambda2 3)) (cos (/ (+ phi2 phi1) 2)))))))

prune3.2s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 29.5b

localize12.0ms

Local error

Found 4 expressions with local error:

36.7b	(sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))))))
36.7b	(sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))))))
3.9b	(cos (/ (+ phi2 phi1) 2))
3.9b	(cos (/ (+ phi2 phi1) 2))

rewrite47.0ms

Algorithm

rewrite-expression-head

Counts

4 → 170

Calls

4 calls. Slowest were:

23.0ms

(sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))))))

13.0ms

(sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))))))

2.0ms

(cos (/ (+ phi2 phi1) 2))

series1.2s

Counts

4 → 12

Calls

4 calls. Slowest were:

605.0ms

(sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))))))

583.0ms

(sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (* (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))))))

25.0ms

(cos (/ (+ phi2 phi1) 2))

simplify40.4s

Counts

152 → 182

Calls

152 calls. Slowest were:

841.0ms

(sqrt (+ (* (* (- (pow phi1 3) (pow phi2 3)) (- (* phi1 phi1) (* phi2 phi2))) (* (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2))) (+ lambda1 lambda2))) (* (* (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))) (+ phi1 phi2)) (* (* (- (pow lambda1 3) (pow lambda2 3)) (cos (/ (+ phi2 phi1) 2))) (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi2 phi1) 2)))))))

667.0ms

(sqrt (+ (* (* (- phi1 phi2) (- (* phi1 phi1) (* phi2 phi2))) (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2)))) (* (+ phi1 phi2) (* (* (- (pow lambda1 3) (pow lambda2 3)) (cos (/ (+ phi2 phi1) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2)))))))

562.0ms

(sqrt (+ (* (* (- (pow phi1 3) (pow phi2 3)) (- (* phi1 phi1) (* phi2 phi2))) (* (+ lambda1 lambda2) (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2))))) (* (* (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))) (+ phi1 phi2)) (* (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi2 phi1) 2))) (* (- (pow lambda1 3) (pow lambda2 3)) (cos (/ (+ phi2 phi1) 2)))))))

prune6.3s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 29.5b

localize15.0ms

Local error

Found 4 expressions with local error:

36.7b	(sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (exp (log (* (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))))))))
27.4b	(log (* (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2)))))
3.9b	(cos (/ (+ phi2 phi1) 2))
3.9b	(cos (/ (+ phi2 phi1) 2))

rewrite107.0ms

Algorithm

rewrite-expression-head

Counts

4 → 125

Calls

4 calls. Slowest were:

65.0ms

(sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (exp (log (* (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))))))))

27.0ms

(log (* (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2)))))

3.0ms

(cos (/ (+ phi2 phi1) 2))

series806.0ms

Counts

4 → 12

Calls

4 calls. Slowest were:

615.0ms

(sqrt (+ (* (- phi1 phi2) (- phi1 phi2)) (exp (log (* (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))))))))

157.0ms

(log (* (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2)))))

19.0ms

(cos (/ (+ phi2 phi1) 2))

simplify21.2s

Counts

102 → 137

Calls

102 calls. Slowest were:

677.0ms

(sqrt (+ (* (* (- (* phi1 phi1) (* phi2 phi2)) (- (pow phi1 3) (pow phi2 3))) (exp (log (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2)))))) (* (* (+ phi1 phi2) (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2)))) (exp (log (* (* (- (pow lambda1 3) (pow lambda2 3)) (cos (/ (+ phi2 phi1) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2)))))))))

639.0ms

(log (* (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi2 phi1) 2)))))

636.0ms

(log (* (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi2 phi1) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2)))))

prune3.3s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 29.4b

regimes798.0ms

binary-search8.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(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))))))

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

Runtime

start363.0ms

setup212.0ms

localize50.0ms

rewrite54.0ms

series809.0ms

simplify29.2s

prune3.5s

localize30.0ms

rewrite71.0ms

series610.0ms

simplify22.1s

prune3.2s

localize12.0ms

rewrite47.0ms

series1.2s

simplify40.4s

prune6.3s

localize15.0ms

rewrite107.0ms

series806.0ms

simplify21.2s

prune3.3s

regimes798.0ms

binary-search8.0ms

Backtrace