Error in 59.0s

Runtime

Time bar (total: 59.0s)Debug log

start976.0ms

Algorithm
intervals

setup75.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.2b

localize59.0ms

Local error

Found 4 expressions with local error:

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

rewrite13.0ms

Algorithm
rewrite-expression-head
Counts
4 → 47
Calls

4 calls. Slowest were:

4.0ms
(cos (- lambda1 lambda2))
3.0ms
(* (sin phi1) (sin phi2))
2.0ms
(* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)

series182.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

74.0ms
(* (sin phi1) (sin phi2))
53.0ms
(* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)
34.0ms
(cos (- lambda1 lambda2))

simplify447.0ms

Counts
26 → 59
Calls

26 calls. Slowest were:

94.0ms
(* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin phi2) (sin phi2)) (sin phi2)))
58.0ms
(- (+ 1 (* lambda2 lambda1)) (* 1/2 (pow lambda1 2)))
33.0ms
(* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))))

prune1.1s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 4.5b

localize51.0ms

Local error

Found 4 expressions with local error:

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

rewrite43.0ms

Algorithm
rewrite-expression-head
Counts
4 → 64
Calls

4 calls. Slowest were:

29.0ms
(* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))
7.0ms
(* (sin lambda1) (sin lambda2))
5.0ms
(* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)

series400.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

240.0ms
(* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))
84.0ms
(* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)
58.0ms
(* (sin lambda1) (sin lambda2))

simplify4.1s

Counts
45 → 76
Calls

45 calls. Slowest were:

372.0ms
(* (+ (cos (+ phi1 phi2)) (cos (- phi1 phi2))) (+ (* (+ (cos (+ lambda1 lambda2)) (cos (- lambda1 lambda2))) 2) (* 2 (- (cos (- lambda1 lambda2)) (cos (+ lambda1 lambda2))))))
366.0ms
(+ (* (* (cos lambda1) (cos lambda2)) (* (cos lambda1) (cos lambda2))) (- (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))) (* (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
265.0ms
(* (* (* (* (cos phi1) (cos phi2)) (* (cos phi1) (cos phi2))) (* (cos phi1) (cos phi2))) (* (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))

prune1.8s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 4.4b

localize25.0ms

Local error

Found 4 expressions with local error:

26.8b
(cbrt (* (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))) (* (sin lambda1) (sin lambda2))))
0.7b
(acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (cbrt (* (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))) (* (sin lambda1) (sin lambda2))))))))
0.3b
(* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2)))
0.2b
(* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (cbrt (* (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))) (* (sin lambda1) (sin lambda2)))))))) R)

rewrite97.0ms

Algorithm
rewrite-expression-head
Counts
4 → 68
Calls

4 calls. Slowest were:

60.0ms
(cbrt (* (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))) (* (sin lambda1) (sin lambda2))))
28.0ms
(* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2)))
5.0ms
(* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (cbrt (* (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))) (* (sin lambda1) (sin lambda2)))))))) R)

series227.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

95.0ms
(* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (cbrt (* (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))) (* (sin lambda1) (sin lambda2)))))))) R)
55.0ms
(cbrt (* (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))) (* (sin lambda1) (sin lambda2))))
50.0ms
(* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2)))

simplify6.2s

Counts
50 → 80
Calls

50 calls. Slowest were:

1.0s
(* (* (* (* (sin lambda1) (sin lambda1)) (sin lambda1)) (* (* (sin lambda2) (sin lambda2)) (sin lambda2))) (* (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))) (* (sin lambda1) (sin lambda2))))
657.0ms
(* (* (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))) (* (sin lambda1) (sin lambda2))) (* (* (* (sin lambda1) (sin lambda1)) (sin lambda1)) (* (* (sin lambda2) (sin lambda2)) (sin lambda2))))
561.0ms
(* (* (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))) (* (sin lambda1) (sin lambda2))) (* (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))) (* (sin lambda1) (sin lambda2))))

prune2.0s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 4.4b

localize32.0ms

Local error

Found 4 expressions with local error:

27.7b
(log (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))))
26.8b
(cbrt (* (exp (log (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))))) (* (sin lambda1) (sin lambda2))))
1.9b
(exp (log (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2)))))
0.7b
(acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (cbrt (* (exp (log (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))))) (* (sin lambda1) (sin lambda2))))))))

rewrite148.0ms

Algorithm
rewrite-expression-head
Counts
4 → 79
Calls

4 calls. Slowest were:

102.0ms
(cbrt (* (exp (log (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))))) (* (sin lambda1) (sin lambda2))))
29.0ms
(exp (log (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2)))))
15.0ms
(log (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))))

series194.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

73.0ms
(log (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))))
57.0ms
(cbrt (* (exp (log (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))))) (* (sin lambda1) (sin lambda2))))
46.0ms
(exp (log (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2)))))

simplify3.7s

Counts
55 → 91
Calls

55 calls. Slowest were:

393.0ms
(cbrt (* (exp (log (* (- (cos (- lambda1 lambda2)) (cos (+ lambda1 lambda2))) (- (cos (- lambda1 lambda2)) (cos (+ lambda1 lambda2)))))) (* (sin lambda1) (sin lambda2))))
339.0ms
(cbrt (* (exp (log (* (- (cos (- lambda1 lambda2)) (cos (+ lambda1 lambda2))) (- (cos (- lambda1 lambda2)) (cos (+ lambda1 lambda2)))))) (- (cos (- lambda1 lambda2)) (cos (+ lambda1 lambda2)))))
338.0ms
(- (* (pow lambda2 2) (pow lambda1 2)) (+ (* 1/3 (* (pow lambda2 2) (pow lambda1 4))) (* 1/3 (* (pow lambda2 4) (pow lambda1 2)))))

prune2.5s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 4.4b

regimes1.4s

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(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.8569390104487202 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