12.233 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.291 * * * [progress]: [2/2] Setting up program.
0.295 * [progress]: [Phase 2 of 3] Improving.
0.318 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)
0.320 * * [simplify]: iteration  0 :  26  enodes  (cost  12 )
0.321 * * [simplify]: iteration  1 :  34  enodes  (cost  12 )
0.323 * * [simplify]: iteration  2 :  36  enodes  (cost  12 )
0.324 * * [simplify]: iteration  3 :  36  enodes  (cost  12 )
0.324 * [simplify]: Simplified to:
   (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)
0.324 * * [progress]: iteration 1 / 4
0.324 * * * [progress]: picking best candidate
0.329 * * * * [pick]: Picked  #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))>
0.329 * * * [progress]: localizing error
0.372 * * * [progress]: generating rewritten candidates
0.372 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2)
0.379 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.381 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.387 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
0.397 * * * [progress]: generating series expansions
0.397 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2)
0.397 * [approximate]: Taking taylor expansion of (cos (- lambda1 lambda2)) in (lambda1 lambda2) around 0
0.397 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda2
0.397 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2
0.397 * [taylor]: Taking taylor expansion of lambda1 in lambda2
0.397 * [taylor]: Taking taylor expansion of lambda2 in lambda2
0.398 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda1
0.398 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1
0.398 * [taylor]: Taking taylor expansion of lambda1 in lambda1
0.398 * [taylor]: Taking taylor expansion of lambda2 in lambda1
0.399 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda1
0.399 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1
0.399 * [taylor]: Taking taylor expansion of lambda1 in lambda1
0.399 * [taylor]: Taking taylor expansion of lambda2 in lambda1
0.400 * [taylor]: Taking taylor expansion of (cos (- lambda2)) in lambda2
0.400 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2
0.400 * [taylor]: Taking taylor expansion of lambda2 in lambda2
0.404 * [taylor]: Taking taylor expansion of (- (sin (- lambda2))) in lambda2
0.404 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2
0.404 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2
0.404 * [taylor]: Taking taylor expansion of lambda2 in lambda2
0.409 * [taylor]: Taking taylor expansion of (- (* 1/2 (cos (- lambda2)))) in lambda2
0.409 * [taylor]: Taking taylor expansion of (* 1/2 (cos (- lambda2))) in lambda2
0.409 * [taylor]: Taking taylor expansion of 1/2 in lambda2
0.409 * [taylor]: Taking taylor expansion of (cos (- lambda2)) in lambda2
0.409 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2
0.409 * [taylor]: Taking taylor expansion of lambda2 in lambda2
0.412 * [approximate]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in (lambda1 lambda2) around 0
0.412 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2
0.412 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2
0.412 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2
0.413 * [taylor]: Taking taylor expansion of lambda1 in lambda2
0.413 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2
0.413 * [taylor]: Taking taylor expansion of lambda2 in lambda2
0.414 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1
0.414 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1
0.414 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1
0.414 * [taylor]: Taking taylor expansion of lambda1 in lambda1
0.414 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1
0.414 * [taylor]: Taking taylor expansion of lambda2 in lambda1
0.415 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1
0.415 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1
0.415 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1
0.415 * [taylor]: Taking taylor expansion of lambda1 in lambda1
0.415 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1
0.415 * [taylor]: Taking taylor expansion of lambda2 in lambda1
0.416 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2
0.416 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2
0.416 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2
0.416 * [taylor]: Taking taylor expansion of lambda1 in lambda2
0.416 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2
0.416 * [taylor]: Taking taylor expansion of lambda2 in lambda2
0.417 * [taylor]: Taking taylor expansion of 0 in lambda2
0.418 * [taylor]: Taking taylor expansion of 0 in lambda2
0.418 * [taylor]: Taking taylor expansion of 0 in lambda2
0.418 * [approximate]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in (lambda1 lambda2) around 0
0.418 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2
0.418 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2
0.418 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2
0.418 * [taylor]: Taking taylor expansion of lambda2 in lambda2
0.418 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2
0.418 * [taylor]: Taking taylor expansion of lambda1 in lambda2
0.419 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1
0.419 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1
0.419 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1
0.419 * [taylor]: Taking taylor expansion of lambda2 in lambda1
0.419 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1
0.419 * [taylor]: Taking taylor expansion of lambda1 in lambda1
0.420 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1
0.420 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1
0.420 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1
0.420 * [taylor]: Taking taylor expansion of lambda2 in lambda1
0.420 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1
0.420 * [taylor]: Taking taylor expansion of lambda1 in lambda1
0.421 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2
0.421 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2
0.421 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2
0.421 * [taylor]: Taking taylor expansion of lambda2 in lambda2
0.421 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2
0.421 * [taylor]: Taking taylor expansion of lambda1 in lambda2
0.421 * [taylor]: Taking taylor expansion of 0 in lambda2
0.421 * [taylor]: Taking taylor expansion of 0 in lambda2
0.421 * [taylor]: Taking taylor expansion of 0 in lambda2
0.422 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.422 * [approximate]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in (phi1 phi2 lambda1 lambda2) around 0
0.422 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in lambda2
0.422 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in lambda1
0.422 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in phi2
0.422 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in phi1
0.423 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in phi1
0.423 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in phi2
0.423 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in lambda1
0.423 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in lambda2
0.424 * [taylor]: Taking taylor expansion of 0 in phi2
0.424 * [taylor]: Taking taylor expansion of 0 in lambda1
0.424 * [taylor]: Taking taylor expansion of 0 in lambda2
0.424 * [taylor]: Taking taylor expansion of 0 in lambda1
0.424 * [taylor]: Taking taylor expansion of 0 in lambda2
0.424 * [taylor]: Taking taylor expansion of 0 in lambda2
0.424 * [taylor]: Taking taylor expansion of 0 in phi2
0.424 * [taylor]: Taking taylor expansion of 0 in lambda1
0.424 * [taylor]: Taking taylor expansion of 0 in lambda2
0.424 * [taylor]: Taking taylor expansion of 0 in lambda1
0.424 * [taylor]: Taking taylor expansion of 0 in lambda2
0.424 * [approximate]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in (phi1 phi2 lambda1 lambda2) around 0
0.424 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda2
0.425 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda1
0.425 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in phi2
0.425 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in phi1
0.425 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in phi1
0.426 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in phi2
0.426 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda1
0.426 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda2
0.427 * [taylor]: Taking taylor expansion of 0 in phi2
0.427 * [taylor]: Taking taylor expansion of 0 in lambda1
0.427 * [taylor]: Taking taylor expansion of 0 in lambda2
0.427 * [taylor]: Taking taylor expansion of 0 in lambda1
0.427 * [taylor]: Taking taylor expansion of 0 in lambda2
0.427 * [taylor]: Taking taylor expansion of 0 in lambda2
0.427 * [taylor]: Taking taylor expansion of 0 in phi2
0.427 * [taylor]: Taking taylor expansion of 0 in lambda1
0.427 * [taylor]: Taking taylor expansion of 0 in lambda2
0.427 * [taylor]: Taking taylor expansion of 0 in lambda1
0.427 * [taylor]: Taking taylor expansion of 0 in lambda2
0.428 * [approximate]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in (phi1 phi2 lambda1 lambda2) around 0
0.428 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in lambda2
0.428 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in lambda1
0.429 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in phi2
0.429 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in phi1
0.429 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in phi1
0.429 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in phi2
0.430 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in lambda1
0.430 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in lambda2
0.431 * [taylor]: Taking taylor expansion of 0 in phi2
0.431 * [taylor]: Taking taylor expansion of 0 in lambda1
0.431 * [taylor]: Taking taylor expansion of 0 in lambda2
0.431 * [taylor]: Taking taylor expansion of 0 in lambda1
0.431 * [taylor]: Taking taylor expansion of 0 in lambda2
0.431 * [taylor]: Taking taylor expansion of 0 in lambda2
0.431 * [taylor]: Taking taylor expansion of 0 in phi2
0.431 * [taylor]: Taking taylor expansion of 0 in lambda1
0.431 * [taylor]: Taking taylor expansion of 0 in lambda2
0.431 * [taylor]: Taking taylor expansion of 0 in lambda1
0.431 * [taylor]: Taking taylor expansion of 0 in lambda2
0.431 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.431 * [approximate]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) in (phi1 phi2 lambda1 lambda2 R) around 0
0.431 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) in R
0.431 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in R
0.432 * [taylor]: Taking taylor expansion of R in R
0.432 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) in lambda2
0.432 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in lambda2
0.432 * [taylor]: Taking taylor expansion of R in lambda2
0.432 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) in lambda1
0.432 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in lambda1
0.432 * [taylor]: Taking taylor expansion of R in lambda1
0.432 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) in phi2
0.432 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in phi2
0.432 * [taylor]: Taking taylor expansion of R in phi2
0.432 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) in phi1
0.432 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in phi1
0.433 * [taylor]: Taking taylor expansion of R in phi1
0.433 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) in phi1
0.433 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in phi1
0.433 * [taylor]: Taking taylor expansion of R in phi1
0.433 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) in phi2
0.433 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in phi2
0.433 * [taylor]: Taking taylor expansion of R in phi2
0.433 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) in lambda1
0.433 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in lambda1
0.434 * [taylor]: Taking taylor expansion of R in lambda1
0.434 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) in lambda2
0.434 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in lambda2
0.434 * [taylor]: Taking taylor expansion of R in lambda2
0.434 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) in R
0.434 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in R
0.434 * [taylor]: Taking taylor expansion of R in R
0.435 * [taylor]: Taking taylor expansion of 0 in phi2
0.435 * [taylor]: Taking taylor expansion of 0 in lambda1
0.435 * [taylor]: Taking taylor expansion of 0 in lambda2
0.435 * [taylor]: Taking taylor expansion of 0 in R
0.435 * [taylor]: Taking taylor expansion of 0 in lambda1
0.435 * [taylor]: Taking taylor expansion of 0 in lambda2
0.435 * [taylor]: Taking taylor expansion of 0 in R
0.435 * [taylor]: Taking taylor expansion of 0 in lambda2
0.435 * [taylor]: Taking taylor expansion of 0 in R
0.436 * [taylor]: Taking taylor expansion of 0 in R
0.437 * [taylor]: Taking taylor expansion of 0 in phi2
0.437 * [taylor]: Taking taylor expansion of 0 in lambda1
0.437 * [taylor]: Taking taylor expansion of 0 in lambda2
0.437 * [taylor]: Taking taylor expansion of 0 in R
0.437 * [taylor]: Taking taylor expansion of 0 in lambda1
0.437 * [taylor]: Taking taylor expansion of 0 in lambda2
0.437 * [taylor]: Taking taylor expansion of 0 in R
0.441 * [taylor]: Taking taylor expansion of 0 in lambda1
0.441 * [taylor]: Taking taylor expansion of 0 in lambda2
0.441 * [taylor]: Taking taylor expansion of 0 in R
0.442 * [taylor]: Taking taylor expansion of 0 in lambda2
0.442 * [taylor]: Taking taylor expansion of 0 in R
0.442 * [taylor]: Taking taylor expansion of 0 in lambda2
0.442 * [taylor]: Taking taylor expansion of 0 in R
0.442 * [taylor]: Taking taylor expansion of 0 in lambda2
0.442 * [taylor]: Taking taylor expansion of 0 in R
0.443 * [approximate]: Taking taylor expansion of (/ (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) R) in (phi1 phi2 lambda1 lambda2 R) around 0
0.443 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) R) in R
0.443 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in R
0.443 * [taylor]: Taking taylor expansion of R in R
0.444 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) R) in lambda2
0.444 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda2
0.444 * [taylor]: Taking taylor expansion of R in lambda2
0.444 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) R) in lambda1
0.444 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda1
0.445 * [taylor]: Taking taylor expansion of R in lambda1
0.445 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) R) in phi2
0.445 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in phi2
0.445 * [taylor]: Taking taylor expansion of R in phi2
0.445 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) R) in phi1
0.445 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in phi1
0.446 * [taylor]: Taking taylor expansion of R in phi1
0.446 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) R) in phi1
0.446 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in phi1
0.446 * [taylor]: Taking taylor expansion of R in phi1
0.447 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) R) in phi2
0.447 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in phi2
0.447 * [taylor]: Taking taylor expansion of R in phi2
0.447 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) R) in lambda1
0.447 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda1
0.447 * [taylor]: Taking taylor expansion of R in lambda1
0.448 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) R) in lambda2
0.448 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda2
0.448 * [taylor]: Taking taylor expansion of R in lambda2
0.448 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) R) in R
0.449 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in R
0.449 * [taylor]: Taking taylor expansion of R in R
0.450 * [taylor]: Taking taylor expansion of 0 in phi2
0.450 * [taylor]: Taking taylor expansion of 0 in lambda1
0.450 * [taylor]: Taking taylor expansion of 0 in lambda2
0.450 * [taylor]: Taking taylor expansion of 0 in R
0.450 * [taylor]: Taking taylor expansion of 0 in lambda1
0.450 * [taylor]: Taking taylor expansion of 0 in lambda2
0.450 * [taylor]: Taking taylor expansion of 0 in R
0.451 * [taylor]: Taking taylor expansion of 0 in lambda2
0.451 * [taylor]: Taking taylor expansion of 0 in R
0.451 * [taylor]: Taking taylor expansion of 0 in R
0.452 * [taylor]: Taking taylor expansion of 0 in phi2
0.452 * [taylor]: Taking taylor expansion of 0 in lambda1
0.452 * [taylor]: Taking taylor expansion of 0 in lambda2
0.452 * [taylor]: Taking taylor expansion of 0 in R
0.452 * [taylor]: Taking taylor expansion of 0 in lambda1
0.452 * [taylor]: Taking taylor expansion of 0 in lambda2
0.452 * [taylor]: Taking taylor expansion of 0 in R
0.453 * [taylor]: Taking taylor expansion of 0 in lambda1
0.453 * [taylor]: Taking taylor expansion of 0 in lambda2
0.453 * [taylor]: Taking taylor expansion of 0 in R
0.453 * [taylor]: Taking taylor expansion of 0 in lambda2
0.453 * [taylor]: Taking taylor expansion of 0 in R
0.453 * [taylor]: Taking taylor expansion of 0 in lambda2
0.453 * [taylor]: Taking taylor expansion of 0 in R
0.453 * [taylor]: Taking taylor expansion of 0 in lambda2
0.453 * [taylor]: Taking taylor expansion of 0 in R
0.453 * [taylor]: Taking taylor expansion of 0 in R
0.453 * [taylor]: Taking taylor expansion of 0 in R
0.453 * [taylor]: Taking taylor expansion of 0 in R
0.454 * [taylor]: Taking taylor expansion of 0 in R
0.456 * [approximate]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R)) in (phi1 phi2 lambda1 lambda2 R) around 0
0.456 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R)) in R
0.456 * [taylor]: Taking taylor expansion of -1 in R
0.456 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R) in R
0.456 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in R
0.456 * [taylor]: Taking taylor expansion of R in R
0.457 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R)) in lambda2
0.457 * [taylor]: Taking taylor expansion of -1 in lambda2
0.457 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R) in lambda2
0.457 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in lambda2
0.457 * [taylor]: Taking taylor expansion of R in lambda2
0.457 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R)) in lambda1
0.457 * [taylor]: Taking taylor expansion of -1 in lambda1
0.457 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R) in lambda1
0.457 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in lambda1
0.458 * [taylor]: Taking taylor expansion of R in lambda1
0.458 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R)) in phi2
0.458 * [taylor]: Taking taylor expansion of -1 in phi2
0.458 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R) in phi2
0.458 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in phi2
0.458 * [taylor]: Taking taylor expansion of R in phi2
0.458 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R)) in phi1
0.459 * [taylor]: Taking taylor expansion of -1 in phi1
0.459 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R) in phi1
0.459 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in phi1
0.459 * [taylor]: Taking taylor expansion of R in phi1
0.459 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R)) in phi1
0.459 * [taylor]: Taking taylor expansion of -1 in phi1
0.459 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R) in phi1
0.459 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in phi1
0.459 * [taylor]: Taking taylor expansion of R in phi1
0.460 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R)) in phi2
0.460 * [taylor]: Taking taylor expansion of -1 in phi2
0.460 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R) in phi2
0.460 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in phi2
0.460 * [taylor]: Taking taylor expansion of R in phi2
0.461 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R)) in lambda1
0.461 * [taylor]: Taking taylor expansion of -1 in lambda1
0.461 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R) in lambda1
0.461 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in lambda1
0.461 * [taylor]: Taking taylor expansion of R in lambda1
0.462 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R)) in lambda2
0.462 * [taylor]: Taking taylor expansion of -1 in lambda2
0.462 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R) in lambda2
0.462 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in lambda2
0.462 * [taylor]: Taking taylor expansion of R in lambda2
0.463 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R)) in R
0.463 * [taylor]: Taking taylor expansion of -1 in R
0.463 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R) in R
0.463 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in R
0.463 * [taylor]: Taking taylor expansion of R in R
0.465 * [taylor]: Taking taylor expansion of 0 in phi2
0.465 * [taylor]: Taking taylor expansion of 0 in lambda1
0.465 * [taylor]: Taking taylor expansion of 0 in lambda2
0.465 * [taylor]: Taking taylor expansion of 0 in R
0.466 * [taylor]: Taking taylor expansion of 0 in lambda1
0.466 * [taylor]: Taking taylor expansion of 0 in lambda2
0.466 * [taylor]: Taking taylor expansion of 0 in R
0.467 * [taylor]: Taking taylor expansion of 0 in lambda2
0.467 * [taylor]: Taking taylor expansion of 0 in R
0.468 * [taylor]: Taking taylor expansion of 0 in R
0.470 * [taylor]: Taking taylor expansion of 0 in phi2
0.470 * [taylor]: Taking taylor expansion of 0 in lambda1
0.470 * [taylor]: Taking taylor expansion of 0 in lambda2
0.470 * [taylor]: Taking taylor expansion of 0 in R
0.470 * [taylor]: Taking taylor expansion of 0 in lambda1
0.470 * [taylor]: Taking taylor expansion of 0 in lambda2
0.470 * [taylor]: Taking taylor expansion of 0 in R
0.471 * [taylor]: Taking taylor expansion of 0 in lambda1
0.472 * [taylor]: Taking taylor expansion of 0 in lambda2
0.472 * [taylor]: Taking taylor expansion of 0 in R
0.472 * [taylor]: Taking taylor expansion of 0 in lambda2
0.472 * [taylor]: Taking taylor expansion of 0 in R
0.472 * [taylor]: Taking taylor expansion of 0 in lambda2
0.472 * [taylor]: Taking taylor expansion of 0 in R
0.473 * [taylor]: Taking taylor expansion of 0 in lambda2
0.473 * [taylor]: Taking taylor expansion of 0 in R
0.473 * [taylor]: Taking taylor expansion of 0 in R
0.473 * [taylor]: Taking taylor expansion of 0 in R
0.473 * [taylor]: Taking taylor expansion of 0 in R
0.474 * [taylor]: Taking taylor expansion of 0 in R
0.477 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
0.477 * [approximate]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in (phi1 phi2) around 0
0.477 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi2
0.477 * [taylor]: Taking taylor expansion of (sin phi1) in phi2
0.477 * [taylor]: Taking taylor expansion of phi1 in phi2
0.477 * [taylor]: Taking taylor expansion of (sin phi2) in phi2
0.477 * [taylor]: Taking taylor expansion of phi2 in phi2
0.477 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi1
0.477 * [taylor]: Taking taylor expansion of (sin phi1) in phi1
0.477 * [taylor]: Taking taylor expansion of phi1 in phi1
0.477 * [taylor]: Taking taylor expansion of (sin phi2) in phi1
0.477 * [taylor]: Taking taylor expansion of phi2 in phi1
0.477 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi1
0.477 * [taylor]: Taking taylor expansion of (sin phi1) in phi1
0.477 * [taylor]: Taking taylor expansion of phi1 in phi1
0.477 * [taylor]: Taking taylor expansion of (sin phi2) in phi1
0.477 * [taylor]: Taking taylor expansion of phi2 in phi1
0.478 * [taylor]: Taking taylor expansion of 0 in phi2
0.480 * [taylor]: Taking taylor expansion of (sin phi2) in phi2
0.480 * [taylor]: Taking taylor expansion of phi2 in phi2
0.483 * [taylor]: Taking taylor expansion of 0 in phi2
0.487 * [taylor]: Taking taylor expansion of (- (* 1/6 (sin phi2))) in phi2
0.487 * [taylor]: Taking taylor expansion of (* 1/6 (sin phi2)) in phi2
0.487 * [taylor]: Taking taylor expansion of 1/6 in phi2
0.487 * [taylor]: Taking taylor expansion of (sin phi2) in phi2
0.487 * [taylor]: Taking taylor expansion of phi2 in phi2
0.493 * [taylor]: Taking taylor expansion of 0 in phi2
0.493 * [approximate]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in (phi1 phi2) around 0
0.493 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi2
0.493 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi2
0.493 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2
0.493 * [taylor]: Taking taylor expansion of phi1 in phi2
0.493 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi2
0.493 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2
0.493 * [taylor]: Taking taylor expansion of phi2 in phi2
0.493 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi1
0.493 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1
0.493 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1
0.493 * [taylor]: Taking taylor expansion of phi1 in phi1
0.494 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi1
0.494 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1
0.494 * [taylor]: Taking taylor expansion of phi2 in phi1
0.494 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi1
0.494 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1
0.494 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1
0.494 * [taylor]: Taking taylor expansion of phi1 in phi1
0.494 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi1
0.494 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1
0.494 * [taylor]: Taking taylor expansion of phi2 in phi1
0.494 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi2
0.494 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi2
0.494 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2
0.494 * [taylor]: Taking taylor expansion of phi1 in phi2
0.495 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi2
0.495 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2
0.495 * [taylor]: Taking taylor expansion of phi2 in phi2
0.497 * [taylor]: Taking taylor expansion of 0 in phi2
0.501 * [taylor]: Taking taylor expansion of 0 in phi2
0.506 * [taylor]: Taking taylor expansion of 0 in phi2
0.506 * [approximate]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in (phi1 phi2) around 0
0.506 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi2
0.506 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi2
0.506 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi2
0.506 * [taylor]: Taking taylor expansion of -1 in phi2
0.506 * [taylor]: Taking taylor expansion of phi1 in phi2
0.506 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi2
0.506 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi2
0.506 * [taylor]: Taking taylor expansion of -1 in phi2
0.506 * [taylor]: Taking taylor expansion of phi2 in phi2
0.506 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi1
0.506 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1
0.506 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1
0.506 * [taylor]: Taking taylor expansion of -1 in phi1
0.506 * [taylor]: Taking taylor expansion of phi1 in phi1
0.507 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi1
0.507 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi1
0.507 * [taylor]: Taking taylor expansion of -1 in phi1
0.507 * [taylor]: Taking taylor expansion of phi2 in phi1
0.507 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi1
0.507 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1
0.507 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1
0.507 * [taylor]: Taking taylor expansion of -1 in phi1
0.507 * [taylor]: Taking taylor expansion of phi1 in phi1
0.507 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi1
0.507 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi1
0.507 * [taylor]: Taking taylor expansion of -1 in phi1
0.507 * [taylor]: Taking taylor expansion of phi2 in phi1
0.508 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi2
0.508 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi2
0.508 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi2
0.508 * [taylor]: Taking taylor expansion of -1 in phi2
0.508 * [taylor]: Taking taylor expansion of phi1 in phi2
0.508 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi2
0.508 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi2
0.508 * [taylor]: Taking taylor expansion of -1 in phi2
0.508 * [taylor]: Taking taylor expansion of phi2 in phi2
0.510 * [taylor]: Taking taylor expansion of 0 in phi2
0.514 * [taylor]: Taking taylor expansion of 0 in phi2
0.519 * [taylor]: Taking taylor expansion of 0 in phi2
0.519 * * * [progress]: simplifying candidates
0.520 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (cos lambda1) (cos (- lambda2)))
  (* (sin lambda1) (sin (- lambda2)))
  (* (cos lambda1) (cos (- lambda2)))
  (* (sin lambda1) (sin (- lambda2)))
  (* (cos lambda1) (cos lambda2))
  (* (sin lambda1) (sin lambda2))
  (log (cos (- lambda1 lambda2)))
  (exp (cos (- lambda1 lambda2)))
  (* (cbrt (cos (- lambda1 lambda2))) (cbrt (cos (- lambda1 lambda2))))
  (cbrt (cos (- lambda1 lambda2)))
  (* (* (cos (- lambda1 lambda2)) (cos (- lambda1 lambda2))) (cos (- lambda1 lambda2)))
  (sqrt (cos (- lambda1 lambda2)))
  (sqrt (cos (- lambda1 lambda2)))
  (/ PI 2)
  (asin (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))
  (log (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))))
  (exp (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)))))) (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))))))
  (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))))
  (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))))
  (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))))
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)
  (+ (log (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (log R))
  (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))
  (exp (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))
  (* (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (* (* R R) R))
  (* (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)))
  (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))
  (* (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))
  (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))
  (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))
  (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (sqrt R))
  (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (sqrt R))
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) (* (cbrt R) (cbrt R)))
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) (sqrt R))
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) 1)
  (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)
  (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)
  (- (cos (- phi1 phi2)) (cos (+ phi1 phi2)))
  (* (sin phi1) (sin phi2))
  (+ (log (sin phi1)) (log (sin phi2)))
  (log (* (sin phi1) (sin phi2)))
  (exp (* (sin phi1) (sin phi2)))
  (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin phi2) (sin phi2)) (sin phi2)))
  (* (cbrt (* (sin phi1) (sin phi2))) (cbrt (* (sin phi1) (sin phi2))))
  (cbrt (* (sin phi1) (sin phi2)))
  (* (* (* (sin phi1) (sin phi2)) (* (sin phi1) (sin phi2))) (* (sin phi1) (sin phi2)))
  (sqrt (* (sin phi1) (sin phi2)))
  (sqrt (* (sin phi1) (sin phi2)))
  (* (sqrt (sin phi1)) (sqrt (sin phi2)))
  (* (sqrt (sin phi1)) (sqrt (sin phi2)))
  (* (sin phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2))))
  (* (sin phi1) (sqrt (sin phi2)))
  (* (sin phi1) 1)
  (* (cbrt (sin phi1)) (sin phi2))
  (* (sqrt (sin phi1)) (sin phi2))
  (* (sin phi1) (sin phi2))
  (- (+ 1 (* lambda2 lambda1)) (* 1/2 (pow lambda1 2)))
  (cos (- lambda1 lambda2))
  (cos (- lambda1 lambda2))
  (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))
  (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))
  (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))))
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R)
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R)
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R)
  (* phi2 phi1)
  (* (sin phi1) (sin phi2))
  (* (sin phi1) (sin phi2))
0.528 * * [simplify]: iteration  0 :  200  enodes  (cost  661 )
0.531 * * [simplify]: iteration  1 :  565  enodes  (cost  569 )
0.540 * * [simplify]: iteration  2 :  1790  enodes  (cost  569 )
0.564 * * [simplify]: iteration  3 :  5001  enodes  (cost  569 )
0.567 * [simplify]: Simplified to:
   (* (cos lambda1) (cos lambda2))
  (* (sin lambda1) (sin (- lambda2)))
  (* (cos lambda1) (cos lambda2))
  (* (sin lambda1) (sin (- lambda2)))
  (* (cos lambda1) (cos lambda2))
  (* (sin lambda1) (sin lambda2))
  (log (cos (- lambda1 lambda2)))
  (exp (cos (- lambda1 lambda2)))
  (* (cbrt (cos (- lambda1 lambda2))) (cbrt (cos (- lambda1 lambda2))))
  (cbrt (cos (- lambda1 lambda2)))
  (pow (cos (- lambda1 lambda2)) 3)
  (sqrt (cos (- lambda1 lambda2)))
  (sqrt (cos (- lambda1 lambda2)))
  (/ PI 2)
  (asin (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))
  (log (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))))
  (exp (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)))))) (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))))))
  (pow (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) 3)
  (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))))
  (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))))
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R)
  (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))
  (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))
  (exp (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))
  (pow (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) 3)
  (* (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)))
  (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))
  (pow (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) 3)
  (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))
  (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))
  (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (sqrt R))
  (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (sqrt R))
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) (* (cbrt R) (cbrt R)))
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) (sqrt R))
  (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)))))) R)
  (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R)
  (- (cos (- phi1 phi2)) (cos (+ phi1 phi2)))
  (* (sin phi1) (sin phi2))
  (log (* (sin phi1) (sin phi2)))
  (log (* (sin phi1) (sin phi2)))
  (exp (* (sin phi1) (sin phi2)))
  (pow (* (sin phi1) (sin phi2)) 3)
  (* (cbrt (* (sin phi1) (sin phi2))) (cbrt (* (sin phi1) (sin phi2))))
  (cbrt (* (sin phi1) (sin phi2)))
  (pow (* (sin phi1) (sin phi2)) 3)
  (sqrt (* (sin phi1) (sin phi2)))
  (sqrt (* (sin phi1) (sin phi2)))
  (* (sqrt (sin phi1)) (sqrt (sin phi2)))
  (* (sqrt (sin phi1)) (sqrt (sin phi2)))
  (* (sin phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2))))
  (* (sin phi1) (sqrt (sin phi2)))
  (sin phi1)
  (* (cbrt (sin phi1)) (sin phi2))
  (* (sqrt (sin phi1)) (sin phi2))
  (* (sin phi1) (sin phi2))
  (- (+ 1 (* lambda2 lambda1)) (* 1/2 (pow lambda1 2)))
  (cos (- lambda1 lambda2))
  (cos (- lambda1 lambda2))
  (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))
  (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))
  (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R)
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R)
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R)
  (* phi2 phi1)
  (* (sin phi1) (sin phi2))
  (* (sin phi1) (sin phi2))
0.567 * * * [progress]: adding candidates to table
0.810 * * [progress]: iteration 2 / 4
0.810 * * * [progress]: picking best candidate
0.874 * * * * [pick]: Picked  #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))>
0.874 * * * [progress]: localizing error
0.910 * * * [progress]: generating rewritten candidates
0.910 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.912 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.915 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.920 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 2)
0.926 * * * [progress]: generating series expansions
0.926 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.927 * [approximate]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in (phi1 phi2 lambda1 lambda2) around 0
0.927 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in lambda2
0.927 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in lambda1
0.928 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in phi2
0.928 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in phi1
0.928 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in phi1
0.929 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in phi2
0.929 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in lambda1
0.930 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in lambda2
0.930 * [taylor]: Taking taylor expansion of 0 in phi2
0.930 * [taylor]: Taking taylor expansion of 0 in lambda1
0.930 * [taylor]: Taking taylor expansion of 0 in lambda2
0.931 * [taylor]: Taking taylor expansion of 0 in lambda1
0.931 * [taylor]: Taking taylor expansion of 0 in lambda2
0.931 * [taylor]: Taking taylor expansion of 0 in lambda2
0.931 * [taylor]: Taking taylor expansion of 0 in phi2
0.931 * [taylor]: Taking taylor expansion of 0 in lambda1
0.931 * [taylor]: Taking taylor expansion of 0 in lambda2
0.931 * [taylor]: Taking taylor expansion of 0 in lambda1
0.931 * [taylor]: Taking taylor expansion of 0 in lambda2
0.932 * [approximate]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in (phi1 phi2 lambda1 lambda2) around 0
0.932 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in lambda2
0.932 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in lambda1
0.933 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in phi2
0.933 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in phi1
0.933 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in phi1
0.934 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in phi2
0.934 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in lambda1
0.935 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in lambda2
0.936 * [taylor]: Taking taylor expansion of 0 in phi2
0.936 * [taylor]: Taking taylor expansion of 0 in lambda1
0.936 * [taylor]: Taking taylor expansion of 0 in lambda2
0.936 * [taylor]: Taking taylor expansion of 0 in lambda1
0.936 * [taylor]: Taking taylor expansion of 0 in lambda2
0.936 * [taylor]: Taking taylor expansion of 0 in lambda2
0.936 * [taylor]: Taking taylor expansion of 0 in phi2
0.936 * [taylor]: Taking taylor expansion of 0 in lambda1
0.936 * [taylor]: Taking taylor expansion of 0 in lambda2
0.936 * [taylor]: Taking taylor expansion of 0 in lambda1
0.936 * [taylor]: Taking taylor expansion of 0 in lambda2
0.938 * [approximate]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in (phi1 phi2 lambda1 lambda2) around 0
0.938 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in lambda2
0.938 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in lambda1
0.939 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in phi2
0.939 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in phi1
0.940 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in phi1
0.940 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in phi2
0.941 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in lambda1
0.941 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in lambda2
0.942 * [taylor]: Taking taylor expansion of 0 in phi2
0.942 * [taylor]: Taking taylor expansion of 0 in lambda1
0.942 * [taylor]: Taking taylor expansion of 0 in lambda2
0.942 * [taylor]: Taking taylor expansion of 0 in lambda1
0.942 * [taylor]: Taking taylor expansion of 0 in lambda2
0.942 * [taylor]: Taking taylor expansion of 0 in lambda2
0.942 * [taylor]: Taking taylor expansion of 0 in phi2
0.942 * [taylor]: Taking taylor expansion of 0 in lambda1
0.942 * [taylor]: Taking taylor expansion of 0 in lambda2
0.942 * [taylor]: Taking taylor expansion of 0 in lambda1
0.942 * [taylor]: Taking taylor expansion of 0 in lambda2
0.943 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.944 * [approximate]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) R) in (phi1 phi2 lambda1 lambda2 R) around 0
0.944 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) R) in R
0.944 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in R
0.944 * [taylor]: Taking taylor expansion of R in R
0.944 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) R) in lambda2
0.944 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in lambda2
0.944 * [taylor]: Taking taylor expansion of R in lambda2
0.944 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) R) in lambda1
0.944 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in lambda1
0.945 * [taylor]: Taking taylor expansion of R in lambda1
0.945 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) R) in phi2
0.945 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in phi2
0.945 * [taylor]: Taking taylor expansion of R in phi2
0.945 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) R) in phi1
0.945 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in phi1
0.946 * [taylor]: Taking taylor expansion of R in phi1
0.946 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) R) in phi1
0.946 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in phi1
0.946 * [taylor]: Taking taylor expansion of R in phi1
0.946 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) R) in phi2
0.946 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in phi2
0.947 * [taylor]: Taking taylor expansion of R in phi2
0.947 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) R) in lambda1
0.947 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in lambda1
0.948 * [taylor]: Taking taylor expansion of R in lambda1
0.948 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) R) in lambda2
0.948 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in lambda2
0.948 * [taylor]: Taking taylor expansion of R in lambda2
0.949 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) R) in R
0.949 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in R
0.949 * [taylor]: Taking taylor expansion of R in R
0.950 * [taylor]: Taking taylor expansion of 0 in phi2
0.950 * [taylor]: Taking taylor expansion of 0 in lambda1
0.950 * [taylor]: Taking taylor expansion of 0 in lambda2
0.950 * [taylor]: Taking taylor expansion of 0 in R
0.950 * [taylor]: Taking taylor expansion of 0 in lambda1
0.950 * [taylor]: Taking taylor expansion of 0 in lambda2
0.950 * [taylor]: Taking taylor expansion of 0 in R
0.951 * [taylor]: Taking taylor expansion of 0 in lambda2
0.951 * [taylor]: Taking taylor expansion of 0 in R
0.951 * [taylor]: Taking taylor expansion of 0 in R
0.953 * [taylor]: Taking taylor expansion of 0 in phi2
0.953 * [taylor]: Taking taylor expansion of 0 in lambda1
0.953 * [taylor]: Taking taylor expansion of 0 in lambda2
0.953 * [taylor]: Taking taylor expansion of 0 in R
0.954 * [taylor]: Taking taylor expansion of 0 in lambda1
0.954 * [taylor]: Taking taylor expansion of 0 in lambda2
0.954 * [taylor]: Taking taylor expansion of 0 in R
0.954 * [taylor]: Taking taylor expansion of 0 in lambda1
0.954 * [taylor]: Taking taylor expansion of 0 in lambda2
0.954 * [taylor]: Taking taylor expansion of 0 in R
0.954 * [taylor]: Taking taylor expansion of 0 in lambda2
0.954 * [taylor]: Taking taylor expansion of 0 in R
0.954 * [taylor]: Taking taylor expansion of 0 in lambda2
0.954 * [taylor]: Taking taylor expansion of 0 in R
0.955 * [taylor]: Taking taylor expansion of 0 in lambda2
0.955 * [taylor]: Taking taylor expansion of 0 in R
0.956 * [approximate]: Taking taylor expansion of (/ (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) R) in (phi1 phi2 lambda1 lambda2 R) around 0
0.956 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) R) in R
0.956 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in R
0.957 * [taylor]: Taking taylor expansion of R in R
0.957 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) R) in lambda2
0.957 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in lambda2
0.958 * [taylor]: Taking taylor expansion of R in lambda2
0.958 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) R) in lambda1
0.959 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in lambda1
0.959 * [taylor]: Taking taylor expansion of R in lambda1
0.959 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) R) in phi2
0.960 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in phi2
0.960 * [taylor]: Taking taylor expansion of R in phi2
0.960 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) R) in phi1
0.961 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in phi1
0.961 * [taylor]: Taking taylor expansion of R in phi1
0.962 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) R) in phi1
0.962 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in phi1
0.962 * [taylor]: Taking taylor expansion of R in phi1
0.963 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) R) in phi2
0.963 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in phi2
0.963 * [taylor]: Taking taylor expansion of R in phi2
0.964 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) R) in lambda1
0.964 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in lambda1
0.964 * [taylor]: Taking taylor expansion of R in lambda1
0.965 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) R) in lambda2
0.965 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in lambda2
0.965 * [taylor]: Taking taylor expansion of R in lambda2
0.966 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) R) in R
0.966 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in R
0.966 * [taylor]: Taking taylor expansion of R in R
0.968 * [taylor]: Taking taylor expansion of 0 in phi2
0.968 * [taylor]: Taking taylor expansion of 0 in lambda1
0.968 * [taylor]: Taking taylor expansion of 0 in lambda2
0.968 * [taylor]: Taking taylor expansion of 0 in R
0.969 * [taylor]: Taking taylor expansion of 0 in lambda1
0.969 * [taylor]: Taking taylor expansion of 0 in lambda2
0.969 * [taylor]: Taking taylor expansion of 0 in R
0.970 * [taylor]: Taking taylor expansion of 0 in lambda2
0.970 * [taylor]: Taking taylor expansion of 0 in R
0.970 * [taylor]: Taking taylor expansion of 0 in R
0.972 * [taylor]: Taking taylor expansion of 0 in phi2
0.972 * [taylor]: Taking taylor expansion of 0 in lambda1
0.972 * [taylor]: Taking taylor expansion of 0 in lambda2
0.972 * [taylor]: Taking taylor expansion of 0 in R
0.972 * [taylor]: Taking taylor expansion of 0 in lambda1
0.972 * [taylor]: Taking taylor expansion of 0 in lambda2
0.972 * [taylor]: Taking taylor expansion of 0 in R
0.973 * [taylor]: Taking taylor expansion of 0 in lambda1
0.973 * [taylor]: Taking taylor expansion of 0 in lambda2
0.973 * [taylor]: Taking taylor expansion of 0 in R
0.973 * [taylor]: Taking taylor expansion of 0 in lambda2
0.973 * [taylor]: Taking taylor expansion of 0 in R
0.973 * [taylor]: Taking taylor expansion of 0 in lambda2
0.973 * [taylor]: Taking taylor expansion of 0 in R
0.974 * [taylor]: Taking taylor expansion of 0 in lambda2
0.974 * [taylor]: Taking taylor expansion of 0 in R
0.974 * [taylor]: Taking taylor expansion of 0 in R
0.974 * [taylor]: Taking taylor expansion of 0 in R
0.974 * [taylor]: Taking taylor expansion of 0 in R
0.974 * [taylor]: Taking taylor expansion of 0 in R
0.977 * [approximate]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) R)) in (phi1 phi2 lambda1 lambda2 R) around 0
0.977 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) R)) in R
0.977 * [taylor]: Taking taylor expansion of -1 in R
0.977 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) R) in R
0.977 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in R
0.981 * [taylor]: Taking taylor expansion of R in R
0.982 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) R)) in lambda2
0.982 * [taylor]: Taking taylor expansion of -1 in lambda2
0.982 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) R) in lambda2
0.982 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in lambda2
0.982 * [taylor]: Taking taylor expansion of R in lambda2
0.983 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) R)) in lambda1
0.983 * [taylor]: Taking taylor expansion of -1 in lambda1
0.983 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) R) in lambda1
0.983 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in lambda1
0.983 * [taylor]: Taking taylor expansion of R in lambda1
0.984 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) R)) in phi2
0.984 * [taylor]: Taking taylor expansion of -1 in phi2
0.984 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) R) in phi2
0.984 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in phi2
0.984 * [taylor]: Taking taylor expansion of R in phi2
0.985 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) R)) in phi1
0.985 * [taylor]: Taking taylor expansion of -1 in phi1
0.985 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) R) in phi1
0.985 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in phi1
0.985 * [taylor]: Taking taylor expansion of R in phi1
0.986 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) R)) in phi1
0.986 * [taylor]: Taking taylor expansion of -1 in phi1
0.986 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) R) in phi1
0.986 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in phi1
0.986 * [taylor]: Taking taylor expansion of R in phi1
0.988 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) R)) in phi2
0.988 * [taylor]: Taking taylor expansion of -1 in phi2
0.988 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) R) in phi2
0.988 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in phi2
0.988 * [taylor]: Taking taylor expansion of R in phi2
0.989 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) R)) in lambda1
0.989 * [taylor]: Taking taylor expansion of -1 in lambda1
0.989 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) R) in lambda1
0.989 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in lambda1
0.990 * [taylor]: Taking taylor expansion of R in lambda1
0.991 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) R)) in lambda2
0.991 * [taylor]: Taking taylor expansion of -1 in lambda2
0.991 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) R) in lambda2
0.991 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in lambda2
0.991 * [taylor]: Taking taylor expansion of R in lambda2
0.992 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) R)) in R
0.992 * [taylor]: Taking taylor expansion of -1 in R
0.992 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) R) in R
0.992 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in R
0.993 * [taylor]: Taking taylor expansion of R in R
0.996 * [taylor]: Taking taylor expansion of 0 in phi2
0.996 * [taylor]: Taking taylor expansion of 0 in lambda1
0.996 * [taylor]: Taking taylor expansion of 0 in lambda2
0.996 * [taylor]: Taking taylor expansion of 0 in R
0.998 * [taylor]: Taking taylor expansion of 0 in lambda1
0.998 * [taylor]: Taking taylor expansion of 0 in lambda2
0.998 * [taylor]: Taking taylor expansion of 0 in R
0.999 * [taylor]: Taking taylor expansion of 0 in lambda2
0.999 * [taylor]: Taking taylor expansion of 0 in R
1.001 * [taylor]: Taking taylor expansion of 0 in R
1.004 * [taylor]: Taking taylor expansion of 0 in phi2
1.004 * [taylor]: Taking taylor expansion of 0 in lambda1
1.004 * [taylor]: Taking taylor expansion of 0 in lambda2
1.004 * [taylor]: Taking taylor expansion of 0 in R
1.004 * [taylor]: Taking taylor expansion of 0 in lambda1
1.004 * [taylor]: Taking taylor expansion of 0 in lambda2
1.004 * [taylor]: Taking taylor expansion of 0 in R
1.006 * [taylor]: Taking taylor expansion of 0 in lambda1
1.006 * [taylor]: Taking taylor expansion of 0 in lambda2
1.006 * [taylor]: Taking taylor expansion of 0 in R
1.006 * [taylor]: Taking taylor expansion of 0 in lambda2
1.006 * [taylor]: Taking taylor expansion of 0 in R
1.006 * [taylor]: Taking taylor expansion of 0 in lambda2
1.006 * [taylor]: Taking taylor expansion of 0 in R
1.008 * [taylor]: Taking taylor expansion of 0 in lambda2
1.008 * [taylor]: Taking taylor expansion of 0 in R
1.008 * [taylor]: Taking taylor expansion of 0 in R
1.008 * [taylor]: Taking taylor expansion of 0 in R
1.008 * [taylor]: Taking taylor expansion of 0 in R
1.010 * [taylor]: Taking taylor expansion of 0 in R
1.013 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
1.013 * [approximate]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in (phi1 phi2) around 0
1.013 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi2
1.013 * [taylor]: Taking taylor expansion of (sin phi1) in phi2
1.013 * [taylor]: Taking taylor expansion of phi1 in phi2
1.014 * [taylor]: Taking taylor expansion of (sin phi2) in phi2
1.014 * [taylor]: Taking taylor expansion of phi2 in phi2
1.014 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi1
1.014 * [taylor]: Taking taylor expansion of (sin phi1) in phi1
1.014 * [taylor]: Taking taylor expansion of phi1 in phi1
1.014 * [taylor]: Taking taylor expansion of (sin phi2) in phi1
1.014 * [taylor]: Taking taylor expansion of phi2 in phi1
1.014 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi1
1.014 * [taylor]: Taking taylor expansion of (sin phi1) in phi1
1.014 * [taylor]: Taking taylor expansion of phi1 in phi1
1.014 * [taylor]: Taking taylor expansion of (sin phi2) in phi1
1.014 * [taylor]: Taking taylor expansion of phi2 in phi1
1.014 * [taylor]: Taking taylor expansion of 0 in phi2
1.016 * [taylor]: Taking taylor expansion of (sin phi2) in phi2
1.016 * [taylor]: Taking taylor expansion of phi2 in phi2
1.019 * [taylor]: Taking taylor expansion of 0 in phi2
1.023 * [taylor]: Taking taylor expansion of (- (* 1/6 (sin phi2))) in phi2
1.023 * [taylor]: Taking taylor expansion of (* 1/6 (sin phi2)) in phi2
1.023 * [taylor]: Taking taylor expansion of 1/6 in phi2
1.023 * [taylor]: Taking taylor expansion of (sin phi2) in phi2
1.023 * [taylor]: Taking taylor expansion of phi2 in phi2
1.029 * [taylor]: Taking taylor expansion of 0 in phi2
1.029 * [approximate]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in (phi1 phi2) around 0
1.029 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi2
1.029 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi2
1.029 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2
1.029 * [taylor]: Taking taylor expansion of phi1 in phi2
1.029 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi2
1.029 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2
1.029 * [taylor]: Taking taylor expansion of phi2 in phi2
1.030 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi1
1.030 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1
1.030 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1
1.030 * [taylor]: Taking taylor expansion of phi1 in phi1
1.030 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi1
1.030 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1
1.030 * [taylor]: Taking taylor expansion of phi2 in phi1
1.030 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi1
1.030 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1
1.030 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1
1.030 * [taylor]: Taking taylor expansion of phi1 in phi1
1.030 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi1
1.031 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1
1.031 * [taylor]: Taking taylor expansion of phi2 in phi1
1.031 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi2
1.031 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi2
1.031 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2
1.031 * [taylor]: Taking taylor expansion of phi1 in phi2
1.031 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi2
1.031 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2
1.031 * [taylor]: Taking taylor expansion of phi2 in phi2
1.033 * [taylor]: Taking taylor expansion of 0 in phi2
1.037 * [taylor]: Taking taylor expansion of 0 in phi2
1.042 * [taylor]: Taking taylor expansion of 0 in phi2
1.043 * [approximate]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in (phi1 phi2) around 0
1.043 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi2
1.043 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi2
1.043 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi2
1.043 * [taylor]: Taking taylor expansion of -1 in phi2
1.043 * [taylor]: Taking taylor expansion of phi1 in phi2
1.043 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi2
1.043 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi2
1.043 * [taylor]: Taking taylor expansion of -1 in phi2
1.043 * [taylor]: Taking taylor expansion of phi2 in phi2
1.043 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi1
1.043 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1
1.043 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1
1.043 * [taylor]: Taking taylor expansion of -1 in phi1
1.043 * [taylor]: Taking taylor expansion of phi1 in phi1
1.044 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi1
1.044 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi1
1.044 * [taylor]: Taking taylor expansion of -1 in phi1
1.044 * [taylor]: Taking taylor expansion of phi2 in phi1
1.044 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi1
1.044 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1
1.044 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1
1.044 * [taylor]: Taking taylor expansion of -1 in phi1
1.044 * [taylor]: Taking taylor expansion of phi1 in phi1
1.044 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi1
1.044 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi1
1.044 * [taylor]: Taking taylor expansion of -1 in phi1
1.044 * [taylor]: Taking taylor expansion of phi2 in phi1
1.044 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi2
1.044 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi2
1.044 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi2
1.044 * [taylor]: Taking taylor expansion of -1 in phi2
1.045 * [taylor]: Taking taylor expansion of phi1 in phi2
1.045 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi2
1.045 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi2
1.045 * [taylor]: Taking taylor expansion of -1 in phi2
1.045 * [taylor]: Taking taylor expansion of phi2 in phi2
1.047 * [taylor]: Taking taylor expansion of 0 in phi2
1.051 * [taylor]: Taking taylor expansion of 0 in phi2
1.056 * [taylor]: Taking taylor expansion of 0 in phi2
1.056 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 2)
1.056 * [approximate]: Taking taylor expansion of (* (sin lambda1) (sin lambda2)) in (lambda1 lambda2) around 0
1.056 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin lambda2)) in lambda2
1.056 * [taylor]: Taking taylor expansion of (sin lambda1) in lambda2
1.056 * [taylor]: Taking taylor expansion of lambda1 in lambda2
1.056 * [taylor]: Taking taylor expansion of (sin lambda2) in lambda2
1.056 * [taylor]: Taking taylor expansion of lambda2 in lambda2
1.056 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin lambda2)) in lambda1
1.056 * [taylor]: Taking taylor expansion of (sin lambda1) in lambda1
1.056 * [taylor]: Taking taylor expansion of lambda1 in lambda1
1.056 * [taylor]: Taking taylor expansion of (sin lambda2) in lambda1
1.056 * [taylor]: Taking taylor expansion of lambda2 in lambda1
1.056 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin lambda2)) in lambda1
1.056 * [taylor]: Taking taylor expansion of (sin lambda1) in lambda1
1.057 * [taylor]: Taking taylor expansion of lambda1 in lambda1
1.057 * [taylor]: Taking taylor expansion of (sin lambda2) in lambda1
1.057 * [taylor]: Taking taylor expansion of lambda2 in lambda1
1.057 * [taylor]: Taking taylor expansion of 0 in lambda2
1.059 * [taylor]: Taking taylor expansion of (sin lambda2) in lambda2
1.059 * [taylor]: Taking taylor expansion of lambda2 in lambda2
1.065 * [taylor]: Taking taylor expansion of 0 in lambda2
1.069 * [taylor]: Taking taylor expansion of (- (* 1/6 (sin lambda2))) in lambda2
1.069 * [taylor]: Taking taylor expansion of (* 1/6 (sin lambda2)) in lambda2
1.069 * [taylor]: Taking taylor expansion of 1/6 in lambda2
1.069 * [taylor]: Taking taylor expansion of (sin lambda2) in lambda2
1.069 * [taylor]: Taking taylor expansion of lambda2 in lambda2
1.075 * [taylor]: Taking taylor expansion of 0 in lambda2
1.075 * [approximate]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) in (lambda1 lambda2) around 0
1.075 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) in lambda2
1.075 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda1)) in lambda2
1.075 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2
1.075 * [taylor]: Taking taylor expansion of lambda1 in lambda2
1.075 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda2
1.075 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2
1.075 * [taylor]: Taking taylor expansion of lambda2 in lambda2
1.075 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) in lambda1
1.075 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda1)) in lambda1
1.075 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1
1.075 * [taylor]: Taking taylor expansion of lambda1 in lambda1
1.076 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda1
1.076 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1
1.076 * [taylor]: Taking taylor expansion of lambda2 in lambda1
1.076 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) in lambda1
1.076 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda1)) in lambda1
1.076 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1
1.076 * [taylor]: Taking taylor expansion of lambda1 in lambda1
1.076 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda1
1.076 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1
1.076 * [taylor]: Taking taylor expansion of lambda2 in lambda1
1.077 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) in lambda2
1.077 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda1)) in lambda2
1.077 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2
1.077 * [taylor]: Taking taylor expansion of lambda1 in lambda2
1.077 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda2
1.077 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2
1.077 * [taylor]: Taking taylor expansion of lambda2 in lambda2
1.079 * [taylor]: Taking taylor expansion of 0 in lambda2
1.083 * [taylor]: Taking taylor expansion of 0 in lambda2
1.088 * [taylor]: Taking taylor expansion of 0 in lambda2
1.088 * [approximate]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2))) in (lambda1 lambda2) around 0
1.088 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2))) in lambda2
1.088 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda1)) in lambda2
1.088 * [taylor]: Taking taylor expansion of (/ -1 lambda1) in lambda2
1.088 * [taylor]: Taking taylor expansion of -1 in lambda2
1.088 * [taylor]: Taking taylor expansion of lambda1 in lambda2
1.089 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda2)) in lambda2
1.089 * [taylor]: Taking taylor expansion of (/ -1 lambda2) in lambda2
1.089 * [taylor]: Taking taylor expansion of -1 in lambda2
1.089 * [taylor]: Taking taylor expansion of lambda2 in lambda2
1.089 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2))) in lambda1
1.089 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda1)) in lambda1
1.089 * [taylor]: Taking taylor expansion of (/ -1 lambda1) in lambda1
1.089 * [taylor]: Taking taylor expansion of -1 in lambda1
1.089 * [taylor]: Taking taylor expansion of lambda1 in lambda1
1.089 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda2)) in lambda1
1.089 * [taylor]: Taking taylor expansion of (/ -1 lambda2) in lambda1
1.089 * [taylor]: Taking taylor expansion of -1 in lambda1
1.089 * [taylor]: Taking taylor expansion of lambda2 in lambda1
1.089 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2))) in lambda1
1.089 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda1)) in lambda1
1.090 * [taylor]: Taking taylor expansion of (/ -1 lambda1) in lambda1
1.090 * [taylor]: Taking taylor expansion of -1 in lambda1
1.090 * [taylor]: Taking taylor expansion of lambda1 in lambda1
1.090 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda2)) in lambda1
1.090 * [taylor]: Taking taylor expansion of (/ -1 lambda2) in lambda1
1.090 * [taylor]: Taking taylor expansion of -1 in lambda1
1.090 * [taylor]: Taking taylor expansion of lambda2 in lambda1
1.090 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2))) in lambda2
1.090 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda1)) in lambda2
1.090 * [taylor]: Taking taylor expansion of (/ -1 lambda1) in lambda2
1.090 * [taylor]: Taking taylor expansion of -1 in lambda2
1.090 * [taylor]: Taking taylor expansion of lambda1 in lambda2
1.090 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda2)) in lambda2
1.090 * [taylor]: Taking taylor expansion of (/ -1 lambda2) in lambda2
1.090 * [taylor]: Taking taylor expansion of -1 in lambda2
1.090 * [taylor]: Taking taylor expansion of lambda2 in lambda2
1.093 * [taylor]: Taking taylor expansion of 0 in lambda2
1.097 * [taylor]: Taking taylor expansion of 0 in lambda2
1.102 * [taylor]: Taking taylor expansion of 0 in lambda2
1.102 * * * [progress]: simplifying candidates
1.103 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ PI 2)
  (asin (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
  (log (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))
  (exp (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))
  (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))))
  (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))
  (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))
  (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))
  (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)
  (+ (log (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (log R))
  (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))
  (exp (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))
  (* (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (* (* R R) R))
  (* (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)))
  (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))
  (* (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))
  (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))
  (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))
  (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (sqrt R))
  (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (sqrt R))
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (* (cbrt R) (cbrt R)))
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (sqrt R))
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) 1)
  (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) R)
  (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) R)
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)
  (- (cos (- phi1 phi2)) (cos (+ phi1 phi2)))
  (* (sin phi1) (sin phi2))
  (+ (log (sin phi1)) (log (sin phi2)))
  (log (* (sin phi1) (sin phi2)))
  (exp (* (sin phi1) (sin phi2)))
  (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin phi2) (sin phi2)) (sin phi2)))
  (* (cbrt (* (sin phi1) (sin phi2))) (cbrt (* (sin phi1) (sin phi2))))
  (cbrt (* (sin phi1) (sin phi2)))
  (* (* (* (sin phi1) (sin phi2)) (* (sin phi1) (sin phi2))) (* (sin phi1) (sin phi2)))
  (sqrt (* (sin phi1) (sin phi2)))
  (sqrt (* (sin phi1) (sin phi2)))
  (* (sqrt (sin phi1)) (sqrt (sin phi2)))
  (* (sqrt (sin phi1)) (sqrt (sin phi2)))
  (* (sin phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2))))
  (* (sin phi1) (sqrt (sin phi2)))
  (* (sin phi1) 1)
  (* (cbrt (sin phi1)) (sin phi2))
  (* (sqrt (sin phi1)) (sin phi2))
  (* (sin phi1) (sin phi2))
  (- (cos (- lambda1 lambda2)) (cos (+ lambda1 lambda2)))
  (* (sin lambda1) (sin lambda2))
  (+ (log (sin lambda1)) (log (sin lambda2)))
  (log (* (sin lambda1) (sin lambda2)))
  (exp (* (sin lambda1) (sin lambda2)))
  (* (* (* (sin lambda1) (sin lambda1)) (sin lambda1)) (* (* (sin lambda2) (sin lambda2)) (sin lambda2)))
  (* (cbrt (* (sin lambda1) (sin lambda2))) (cbrt (* (sin lambda1) (sin lambda2))))
  (cbrt (* (sin lambda1) (sin lambda2)))
  (* (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))) (* (sin lambda1) (sin lambda2)))
  (sqrt (* (sin lambda1) (sin lambda2)))
  (sqrt (* (sin lambda1) (sin lambda2)))
  (* (sqrt (sin lambda1)) (sqrt (sin lambda2)))
  (* (sqrt (sin lambda1)) (sqrt (sin lambda2)))
  (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2))))
  (* (sin lambda1) (sqrt (sin lambda2)))
  (* (sin lambda1) 1)
  (* (cbrt (sin lambda1)) (sin lambda2))
  (* (sqrt (sin lambda1)) (sin lambda2))
  (* (sin lambda1) (sin lambda2))
  (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2)))))))
  (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2)))))))
  (acos (+ (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2)))) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin phi1) (sin phi2)))))
  (* (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) R)
  (* (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) R)
  (* (acos (+ (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2)))) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin phi1) (sin phi2))))) R)
  (* phi2 phi1)
  (* (sin phi1) (sin phi2))
  (* (sin phi1) (sin phi2))
  (* lambda2 lambda1)
  (* (sin lambda1) (sin lambda2))
  (* (sin lambda1) (sin lambda2))
1.108 * * [simplify]: iteration  0 :  260  enodes  (cost  929 )
1.113 * * [simplify]: iteration  1 :  831  enodes  (cost  774 )
1.126 * * [simplify]: iteration  2 :  1930  enodes  (cost  774 )
1.146 * * [simplify]: iteration  3 :  3056  enodes  (cost  774 )
1.173 * * [simplify]: iteration  4 :  5001  enodes  (cost  774 )
1.176 * [simplify]: Simplified to:
   (/ PI 2)
  (asin (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
  (log (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))
  (exp (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))
  (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))))
  (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))
  (pow (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) 3)
  (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))
  (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)
  (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))
  (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))
  (exp (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))
  (pow (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R) 3)
  (* (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)))
  (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))
  (pow (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R) 3)
  (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))
  (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))
  (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (sqrt R))
  (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (sqrt R))
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (* (cbrt R) (cbrt R)))
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (sqrt R))
  (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
  (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) R)
  (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) R)
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)
  (- (cos (- phi1 phi2)) (cos (+ phi1 phi2)))
  (* (sin phi1) (sin phi2))
  (log (* (sin phi1) (sin phi2)))
  (log (* (sin phi1) (sin phi2)))
  (exp (* (sin phi1) (sin phi2)))
  (pow (* (sin phi1) (sin phi2)) 3)
  (* (cbrt (* (sin phi1) (sin phi2))) (cbrt (* (sin phi1) (sin phi2))))
  (cbrt (* (sin phi1) (sin phi2)))
  (pow (* (sin phi1) (sin phi2)) 3)
  (sqrt (* (sin phi1) (sin phi2)))
  (sqrt (* (sin phi1) (sin phi2)))
  (* (sqrt (sin phi1)) (sqrt (sin phi2)))
  (* (sqrt (sin phi1)) (sqrt (sin phi2)))
  (* (sin phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2))))
  (* (sin phi1) (sqrt (sin phi2)))
  (sin phi1)
  (* (cbrt (sin phi1)) (sin phi2))
  (* (sqrt (sin phi1)) (sin phi2))
  (* (sin phi1) (sin phi2))
  (- (cos (- lambda1 lambda2)) (cos (+ lambda1 lambda2)))
  (* (sin lambda1) (sin lambda2))
  (log (* (sin lambda1) (sin lambda2)))
  (log (* (sin lambda1) (sin lambda2)))
  (exp (* (sin lambda1) (sin lambda2)))
  (pow (* (sin lambda1) (sin lambda2)) 3)
  (* (cbrt (* (sin lambda1) (sin lambda2))) (cbrt (* (sin lambda1) (sin lambda2))))
  (cbrt (* (sin lambda1) (sin lambda2)))
  (pow (* (sin lambda1) (sin lambda2)) 3)
  (sqrt (* (sin lambda1) (sin lambda2)))
  (sqrt (* (sin lambda1) (sin lambda2)))
  (* (sqrt (sin lambda1)) (sqrt (sin lambda2)))
  (* (sqrt (sin lambda1)) (sqrt (sin lambda2)))
  (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2))))
  (* (sin lambda1) (sqrt (sin lambda2)))
  (sin lambda1)
  (* (cbrt (sin lambda1)) (sin lambda2))
  (* (sqrt (sin lambda1)) (sin lambda2))
  (* (sin lambda1) (sin lambda2))
  (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
  (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
  (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)
  (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)
  (* phi2 phi1)
  (* (sin phi1) (sin phi2))
  (* (sin phi1) (sin phi2))
  (* lambda2 lambda1)
  (* (sin lambda1) (sin lambda2))
  (* (sin lambda1) (sin lambda2))
1.177 * * * [progress]: adding candidates to table
1.482 * * [progress]: iteration 3 / 4
1.482 * * * [progress]: picking best candidate
1.568 * * * * [pick]: Picked  #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2))))))) R))>
1.568 * * * [progress]: localizing error
1.610 * * * [progress]: generating rewritten candidates
1.610 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.611 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 2 2)
1.613 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2 2 1 2 2)
1.615 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 2 1 2 1)
1.617 * * * [progress]: generating series expansions
1.617 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.618 * [approximate]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in (phi1 phi2 lambda1 lambda2) around 0
1.618 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in lambda2
1.618 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in lambda1
1.618 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in phi2
1.619 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in phi1
1.619 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in phi1
1.620 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in phi2
1.620 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in lambda1
1.620 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in lambda2
1.621 * [taylor]: Taking taylor expansion of 0 in phi2
1.621 * [taylor]: Taking taylor expansion of 0 in lambda1
1.621 * [taylor]: Taking taylor expansion of 0 in lambda2
1.621 * [taylor]: Taking taylor expansion of 0 in lambda1
1.621 * [taylor]: Taking taylor expansion of 0 in lambda2
1.621 * [taylor]: Taking taylor expansion of 0 in lambda2
1.621 * [taylor]: Taking taylor expansion of 0 in phi2
1.621 * [taylor]: Taking taylor expansion of 0 in lambda1
1.621 * [taylor]: Taking taylor expansion of 0 in lambda2
1.621 * [taylor]: Taking taylor expansion of 0 in lambda1
1.621 * [taylor]: Taking taylor expansion of 0 in lambda2
1.622 * [approximate]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in (phi1 phi2 lambda1 lambda2) around 0
1.622 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in lambda2
1.623 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in lambda1
1.623 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in phi2
1.624 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in phi1
1.624 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in phi1
1.625 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in phi2
1.625 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in lambda1
1.626 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in lambda2
1.627 * [taylor]: Taking taylor expansion of 0 in phi2
1.627 * [taylor]: Taking taylor expansion of 0 in lambda1
1.627 * [taylor]: Taking taylor expansion of 0 in lambda2
1.627 * [taylor]: Taking taylor expansion of 0 in lambda1
1.627 * [taylor]: Taking taylor expansion of 0 in lambda2
1.627 * [taylor]: Taking taylor expansion of 0 in lambda2
1.627 * [taylor]: Taking taylor expansion of 0 in phi2
1.627 * [taylor]: Taking taylor expansion of 0 in lambda1
1.627 * [taylor]: Taking taylor expansion of 0 in lambda2
1.627 * [taylor]: Taking taylor expansion of 0 in lambda1
1.627 * [taylor]: Taking taylor expansion of 0 in lambda2
1.628 * [approximate]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in (phi1 phi2 lambda1 lambda2) around 0
1.628 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in lambda2
1.629 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in lambda1
1.629 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in phi2
1.630 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in phi1
1.630 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in phi1
1.631 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in phi2
1.631 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in lambda1
1.632 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in lambda2
1.633 * [taylor]: Taking taylor expansion of 0 in phi2
1.633 * [taylor]: Taking taylor expansion of 0 in lambda1
1.633 * [taylor]: Taking taylor expansion of 0 in lambda2
1.633 * [taylor]: Taking taylor expansion of 0 in lambda1
1.633 * [taylor]: Taking taylor expansion of 0 in lambda2
1.633 * [taylor]: Taking taylor expansion of 0 in lambda2
1.633 * [taylor]: Taking taylor expansion of 0 in phi2
1.633 * [taylor]: Taking taylor expansion of 0 in lambda1
1.633 * [taylor]: Taking taylor expansion of 0 in lambda2
1.633 * [taylor]: Taking taylor expansion of 0 in lambda1
1.633 * [taylor]: Taking taylor expansion of 0 in lambda2
1.634 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 2 2)
1.634 * [approximate]: Taking taylor expansion of (pow (sin lambda2) 1/3) in (lambda2) around 0
1.634 * [taylor]: Taking taylor expansion of (pow (sin lambda2) 1/3) in lambda2
1.634 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin lambda2)))) in lambda2
1.634 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin lambda2))) in lambda2
1.634 * [taylor]: Taking taylor expansion of 1/3 in lambda2
1.634 * [taylor]: Taking taylor expansion of (log (sin lambda2)) in lambda2
1.634 * [taylor]: Taking taylor expansion of (sin lambda2) in lambda2
1.634 * [taylor]: Taking taylor expansion of lambda2 in lambda2
1.636 * [taylor]: Taking taylor expansion of (pow (sin lambda2) 1/3) in lambda2
1.636 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin lambda2)))) in lambda2
1.636 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin lambda2))) in lambda2
1.636 * [taylor]: Taking taylor expansion of 1/3 in lambda2
1.636 * [taylor]: Taking taylor expansion of (log (sin lambda2)) in lambda2
1.636 * [taylor]: Taking taylor expansion of (sin lambda2) in lambda2
1.636 * [taylor]: Taking taylor expansion of lambda2 in lambda2
1.660 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 lambda2)) 1/3) in (lambda2) around 0
1.660 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 lambda2)) 1/3) in lambda2
1.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 lambda2))))) in lambda2
1.660 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 lambda2)))) in lambda2
1.660 * [taylor]: Taking taylor expansion of 1/3 in lambda2
1.660 * [taylor]: Taking taylor expansion of (log (sin (/ 1 lambda2))) in lambda2
1.660 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda2
1.660 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2
1.661 * [taylor]: Taking taylor expansion of lambda2 in lambda2
1.661 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 lambda2)) 1/3) in lambda2
1.661 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 lambda2))))) in lambda2
1.661 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 lambda2)))) in lambda2
1.661 * [taylor]: Taking taylor expansion of 1/3 in lambda2
1.661 * [taylor]: Taking taylor expansion of (log (sin (/ 1 lambda2))) in lambda2
1.661 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda2
1.661 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2
1.661 * [taylor]: Taking taylor expansion of lambda2 in lambda2
1.697 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 lambda2)) 1/3) in (lambda2) around 0
1.697 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 lambda2)) 1/3) in lambda2
1.697 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 lambda2))))) in lambda2
1.697 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 lambda2)))) in lambda2
1.697 * [taylor]: Taking taylor expansion of 1/3 in lambda2
1.697 * [taylor]: Taking taylor expansion of (log (sin (/ -1 lambda2))) in lambda2
1.697 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda2)) in lambda2
1.697 * [taylor]: Taking taylor expansion of (/ -1 lambda2) in lambda2
1.697 * [taylor]: Taking taylor expansion of -1 in lambda2
1.697 * [taylor]: Taking taylor expansion of lambda2 in lambda2
1.698 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 lambda2)) 1/3) in lambda2
1.698 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 lambda2))))) in lambda2
1.698 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 lambda2)))) in lambda2
1.698 * [taylor]: Taking taylor expansion of 1/3 in lambda2
1.698 * [taylor]: Taking taylor expansion of (log (sin (/ -1 lambda2))) in lambda2
1.698 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda2)) in lambda2
1.698 * [taylor]: Taking taylor expansion of (/ -1 lambda2) in lambda2
1.698 * [taylor]: Taking taylor expansion of -1 in lambda2
1.698 * [taylor]: Taking taylor expansion of lambda2 in lambda2
1.729 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2 2 1 2 2)
1.730 * [approximate]: Taking taylor expansion of (pow (sin lambda2) 1/3) in (lambda2) around 0
1.730 * [taylor]: Taking taylor expansion of (pow (sin lambda2) 1/3) in lambda2
1.730 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin lambda2)))) in lambda2
1.730 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin lambda2))) in lambda2
1.730 * [taylor]: Taking taylor expansion of 1/3 in lambda2
1.730 * [taylor]: Taking taylor expansion of (log (sin lambda2)) in lambda2
1.730 * [taylor]: Taking taylor expansion of (sin lambda2) in lambda2
1.730 * [taylor]: Taking taylor expansion of lambda2 in lambda2
1.731 * [taylor]: Taking taylor expansion of (pow (sin lambda2) 1/3) in lambda2
1.731 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin lambda2)))) in lambda2
1.731 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin lambda2))) in lambda2
1.731 * [taylor]: Taking taylor expansion of 1/3 in lambda2
1.731 * [taylor]: Taking taylor expansion of (log (sin lambda2)) in lambda2
1.731 * [taylor]: Taking taylor expansion of (sin lambda2) in lambda2
1.731 * [taylor]: Taking taylor expansion of lambda2 in lambda2
1.754 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 lambda2)) 1/3) in (lambda2) around 0
1.754 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 lambda2)) 1/3) in lambda2
1.754 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 lambda2))))) in lambda2
1.754 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 lambda2)))) in lambda2
1.754 * [taylor]: Taking taylor expansion of 1/3 in lambda2
1.754 * [taylor]: Taking taylor expansion of (log (sin (/ 1 lambda2))) in lambda2
1.754 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda2
1.754 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2
1.754 * [taylor]: Taking taylor expansion of lambda2 in lambda2
1.755 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 lambda2)) 1/3) in lambda2
1.755 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 lambda2))))) in lambda2
1.755 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 lambda2)))) in lambda2
1.755 * [taylor]: Taking taylor expansion of 1/3 in lambda2
1.755 * [taylor]: Taking taylor expansion of (log (sin (/ 1 lambda2))) in lambda2
1.755 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda2
1.755 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2
1.755 * [taylor]: Taking taylor expansion of lambda2 in lambda2
1.808 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 lambda2)) 1/3) in (lambda2) around 0
1.808 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 lambda2)) 1/3) in lambda2
1.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 lambda2))))) in lambda2
1.808 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 lambda2)))) in lambda2
1.808 * [taylor]: Taking taylor expansion of 1/3 in lambda2
1.808 * [taylor]: Taking taylor expansion of (log (sin (/ -1 lambda2))) in lambda2
1.808 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda2)) in lambda2
1.808 * [taylor]: Taking taylor expansion of (/ -1 lambda2) in lambda2
1.808 * [taylor]: Taking taylor expansion of -1 in lambda2
1.808 * [taylor]: Taking taylor expansion of lambda2 in lambda2
1.809 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 lambda2)) 1/3) in lambda2
1.809 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 lambda2))))) in lambda2
1.809 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 lambda2)))) in lambda2
1.809 * [taylor]: Taking taylor expansion of 1/3 in lambda2
1.809 * [taylor]: Taking taylor expansion of (log (sin (/ -1 lambda2))) in lambda2
1.809 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda2)) in lambda2
1.809 * [taylor]: Taking taylor expansion of (/ -1 lambda2) in lambda2
1.809 * [taylor]: Taking taylor expansion of -1 in lambda2
1.809 * [taylor]: Taking taylor expansion of lambda2 in lambda2
1.850 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 2 1 2 1)
1.850 * [approximate]: Taking taylor expansion of (pow (sin lambda2) 1/3) in (lambda2) around 0
1.850 * [taylor]: Taking taylor expansion of (pow (sin lambda2) 1/3) in lambda2
1.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin lambda2)))) in lambda2
1.850 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin lambda2))) in lambda2
1.850 * [taylor]: Taking taylor expansion of 1/3 in lambda2
1.850 * [taylor]: Taking taylor expansion of (log (sin lambda2)) in lambda2
1.850 * [taylor]: Taking taylor expansion of (sin lambda2) in lambda2
1.850 * [taylor]: Taking taylor expansion of lambda2 in lambda2
1.851 * [taylor]: Taking taylor expansion of (pow (sin lambda2) 1/3) in lambda2
1.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin lambda2)))) in lambda2
1.851 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin lambda2))) in lambda2
1.851 * [taylor]: Taking taylor expansion of 1/3 in lambda2
1.851 * [taylor]: Taking taylor expansion of (log (sin lambda2)) in lambda2
1.851 * [taylor]: Taking taylor expansion of (sin lambda2) in lambda2
1.851 * [taylor]: Taking taylor expansion of lambda2 in lambda2
1.879 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 lambda2)) 1/3) in (lambda2) around 0
1.879 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 lambda2)) 1/3) in lambda2
1.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 lambda2))))) in lambda2
1.879 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 lambda2)))) in lambda2
1.879 * [taylor]: Taking taylor expansion of 1/3 in lambda2
1.879 * [taylor]: Taking taylor expansion of (log (sin (/ 1 lambda2))) in lambda2
1.879 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda2
1.879 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2
1.879 * [taylor]: Taking taylor expansion of lambda2 in lambda2
1.880 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 lambda2)) 1/3) in lambda2
1.880 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 lambda2))))) in lambda2
1.880 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 lambda2)))) in lambda2
1.880 * [taylor]: Taking taylor expansion of 1/3 in lambda2
1.880 * [taylor]: Taking taylor expansion of (log (sin (/ 1 lambda2))) in lambda2
1.880 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda2
1.880 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2
1.880 * [taylor]: Taking taylor expansion of lambda2 in lambda2
1.911 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 lambda2)) 1/3) in (lambda2) around 0
1.911 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 lambda2)) 1/3) in lambda2
1.911 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 lambda2))))) in lambda2
1.911 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 lambda2)))) in lambda2
1.911 * [taylor]: Taking taylor expansion of 1/3 in lambda2
1.911 * [taylor]: Taking taylor expansion of (log (sin (/ -1 lambda2))) in lambda2
1.911 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda2)) in lambda2
1.911 * [taylor]: Taking taylor expansion of (/ -1 lambda2) in lambda2
1.911 * [taylor]: Taking taylor expansion of -1 in lambda2
1.911 * [taylor]: Taking taylor expansion of lambda2 in lambda2
1.912 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 lambda2)) 1/3) in lambda2
1.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 lambda2))))) in lambda2
1.912 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 lambda2)))) in lambda2
1.912 * [taylor]: Taking taylor expansion of 1/3 in lambda2
1.912 * [taylor]: Taking taylor expansion of (log (sin (/ -1 lambda2))) in lambda2
1.912 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda2)) in lambda2
1.912 * [taylor]: Taking taylor expansion of (/ -1 lambda2) in lambda2
1.912 * [taylor]: Taking taylor expansion of -1 in lambda2
1.912 * [taylor]: Taking taylor expansion of lambda2 in lambda2
1.943 * * * [progress]: simplifying candidates
1.944 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ PI 2)
  (asin (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2)))))))
  (log (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2))))))))
  (exp (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2))))))))
  (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2)))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2)))))))))
  (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2))))))))
  (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2))))))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2)))))))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2))))))))
  (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2))))))))
  (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2))))))))
  (log (cbrt (sin lambda2)))
  (exp (cbrt (sin lambda2)))
  (cbrt (* (cbrt (sin lambda2)) (cbrt (sin lambda2))))
  (cbrt (cbrt (sin lambda2)))
  (cbrt (sqrt (sin lambda2)))
  (cbrt (sqrt (sin lambda2)))
  (cbrt 1)
  (cbrt (sin lambda2))
  (* (cbrt (cbrt (sin lambda2))) (cbrt (cbrt (sin lambda2))))
  (cbrt (cbrt (sin lambda2)))
  (* (* (cbrt (sin lambda2)) (cbrt (sin lambda2))) (cbrt (sin lambda2)))
  (sqrt (cbrt (sin lambda2)))
  (sqrt (cbrt (sin lambda2)))
  (log (cbrt (sin lambda2)))
  (exp (cbrt (sin lambda2)))
  (cbrt (* (cbrt (sin lambda2)) (cbrt (sin lambda2))))
  (cbrt (cbrt (sin lambda2)))
  (cbrt (sqrt (sin lambda2)))
  (cbrt (sqrt (sin lambda2)))
  (cbrt 1)
  (cbrt (sin lambda2))
  (* (cbrt (cbrt (sin lambda2))) (cbrt (cbrt (sin lambda2))))
  (cbrt (cbrt (sin lambda2)))
  (* (* (cbrt (sin lambda2)) (cbrt (sin lambda2))) (cbrt (sin lambda2)))
  (sqrt (cbrt (sin lambda2)))
  (sqrt (cbrt (sin lambda2)))
  (log (cbrt (sin lambda2)))
  (exp (cbrt (sin lambda2)))
  (cbrt (* (cbrt (sin lambda2)) (cbrt (sin lambda2))))
  (cbrt (cbrt (sin lambda2)))
  (cbrt (sqrt (sin lambda2)))
  (cbrt (sqrt (sin lambda2)))
  (cbrt 1)
  (cbrt (sin lambda2))
  (* (cbrt (cbrt (sin lambda2))) (cbrt (cbrt (sin lambda2))))
  (cbrt (cbrt (sin lambda2)))
  (* (* (cbrt (sin lambda2)) (cbrt (sin lambda2))) (cbrt (sin lambda2)))
  (sqrt (cbrt (sin lambda2)))
  (sqrt (cbrt (sin lambda2)))
  (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2)))))))
  (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2)))))))
  (acos (+ (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2)))) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin phi1) (sin phi2)))))
  (- (pow lambda2 1/3) (+ (* 1/18 (pow (pow lambda2 7) 1/3)) (* 1/3240 (pow (pow lambda2 13) 1/3))))
  (pow (sin lambda2) 1/3)
  (pow (sin lambda2) 1/3)
  (- (pow lambda2 1/3) (+ (* 1/18 (pow (pow lambda2 7) 1/3)) (* 1/3240 (pow (pow lambda2 13) 1/3))))
  (pow (sin lambda2) 1/3)
  (pow (sin lambda2) 1/3)
  (- (pow lambda2 1/3) (+ (* 1/18 (pow (pow lambda2 7) 1/3)) (* 1/3240 (pow (pow lambda2 13) 1/3))))
  (pow (sin lambda2) 1/3)
  (pow (sin lambda2) 1/3)
1.948 * * [simplify]: iteration  0 :  138  enodes  (cost  507 )
1.951 * * [simplify]: iteration  1 :  324  enodes  (cost  445 )
1.957 * * [simplify]: iteration  2 :  863  enodes  (cost  439 )
1.974 * * [simplify]: iteration  3 :  3015  enodes  (cost  436 )
2.047 * * [simplify]: iteration  4 :  5001  enodes  (cost  436 )
2.050 * [simplify]: Simplified to:
   (/ PI 2)
  (asin (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2)))))))
  (log (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2))))))))
  (exp (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2))))))))
  (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2)))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2)))))))))
  (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2))))))))
  (pow (acos (+ (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2)))) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin phi1) (sin phi2))))) 3)
  (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2))))))))
  (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2))))))))
  (log (cbrt (sin lambda2)))
  (exp (cbrt (sin lambda2)))
  (cbrt (* (cbrt (sin lambda2)) (cbrt (sin lambda2))))
  (cbrt (cbrt (sin lambda2)))
  (cbrt (sqrt (sin lambda2)))
  (cbrt (sqrt (sin lambda2)))
  (cbrt 1)
  (pow (sin lambda2) 1/3)
  (* (cbrt (cbrt (sin lambda2))) (cbrt (cbrt (sin lambda2))))
  (cbrt (cbrt (sin lambda2)))
  (sin lambda2)
  (sqrt (cbrt (sin lambda2)))
  (sqrt (cbrt (sin lambda2)))
  (log (cbrt (sin lambda2)))
  (exp (cbrt (sin lambda2)))
  (cbrt (* (cbrt (sin lambda2)) (cbrt (sin lambda2))))
  (cbrt (cbrt (sin lambda2)))
  (cbrt (sqrt (sin lambda2)))
  (cbrt (sqrt (sin lambda2)))
  (cbrt 1)
  (pow (sin lambda2) 1/3)
  (* (cbrt (cbrt (sin lambda2))) (cbrt (cbrt (sin lambda2))))
  (cbrt (cbrt (sin lambda2)))
  (sin lambda2)
  (sqrt (cbrt (sin lambda2)))
  (sqrt (cbrt (sin lambda2)))
  (log (cbrt (sin lambda2)))
  (exp (cbrt (sin lambda2)))
  (cbrt (* (cbrt (sin lambda2)) (cbrt (sin lambda2))))
  (cbrt (cbrt (sin lambda2)))
  (cbrt (sqrt (sin lambda2)))
  (cbrt (sqrt (sin lambda2)))
  (cbrt 1)
  (pow (sin lambda2) 1/3)
  (* (cbrt (cbrt (sin lambda2))) (cbrt (cbrt (sin lambda2))))
  (cbrt (cbrt (sin lambda2)))
  (sin lambda2)
  (sqrt (cbrt (sin lambda2)))
  (sqrt (cbrt (sin lambda2)))
  (acos (+ (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2)))) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin phi1) (sin phi2)))))
  (acos (+ (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2)))) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin phi1) (sin phi2)))))
  (acos (+ (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2)))) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin phi1) (sin phi2)))))
  (- (pow lambda2 1/3) (+ (* 1/18 (pow (pow lambda2 7) 1/3)) (* 1/3240 (pow (pow lambda2 13) 1/3))))
  (pow (sin lambda2) 1/3)
  (pow (sin lambda2) 1/3)
  (- (pow lambda2 1/3) (+ (* 1/18 (pow (pow lambda2 7) 1/3)) (* 1/3240 (pow (pow lambda2 13) 1/3))))
  (pow (sin lambda2) 1/3)
  (pow (sin lambda2) 1/3)
  (- (pow lambda2 1/3) (+ (* 1/18 (pow (pow lambda2 7) 1/3)) (* 1/3240 (pow (pow lambda2 13) 1/3))))
  (pow (sin lambda2) 1/3)
  (pow (sin lambda2) 1/3)
2.050 * * * [progress]: adding candidates to table
2.322 * * [progress]: iteration 4 / 4
2.323 * * * [progress]: picking best candidate
2.403 * * * * [pick]: Picked  #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))>
2.403 * * * [progress]: localizing error
2.438 * * * [progress]: generating rewritten candidates
2.438 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
2.441 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
2.443 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
2.448 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1)
2.454 * * * [progress]: generating series expansions
2.454 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
2.455 * [approximate]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in (phi1 phi2) around 0
2.455 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi2
2.455 * [taylor]: Taking taylor expansion of (sin phi1) in phi2
2.455 * [taylor]: Taking taylor expansion of phi1 in phi2
2.455 * [taylor]: Taking taylor expansion of (sin phi2) in phi2
2.455 * [taylor]: Taking taylor expansion of phi2 in phi2
2.455 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi1
2.455 * [taylor]: Taking taylor expansion of (sin phi1) in phi1
2.455 * [taylor]: Taking taylor expansion of phi1 in phi1
2.455 * [taylor]: Taking taylor expansion of (sin phi2) in phi1
2.455 * [taylor]: Taking taylor expansion of phi2 in phi1
2.455 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi1
2.455 * [taylor]: Taking taylor expansion of (sin phi1) in phi1
2.455 * [taylor]: Taking taylor expansion of phi1 in phi1
2.455 * [taylor]: Taking taylor expansion of (sin phi2) in phi1
2.455 * [taylor]: Taking taylor expansion of phi2 in phi1
2.455 * [taylor]: Taking taylor expansion of 0 in phi2
2.458 * [taylor]: Taking taylor expansion of (sin phi2) in phi2
2.458 * [taylor]: Taking taylor expansion of phi2 in phi2
2.460 * [taylor]: Taking taylor expansion of 0 in phi2
2.468 * [taylor]: Taking taylor expansion of (- (* 1/6 (sin phi2))) in phi2
2.468 * [taylor]: Taking taylor expansion of (* 1/6 (sin phi2)) in phi2
2.468 * [taylor]: Taking taylor expansion of 1/6 in phi2
2.468 * [taylor]: Taking taylor expansion of (sin phi2) in phi2
2.468 * [taylor]: Taking taylor expansion of phi2 in phi2
2.474 * [taylor]: Taking taylor expansion of 0 in phi2
2.474 * [approximate]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in (phi1 phi2) around 0
2.474 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi2
2.474 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi2
2.474 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2
2.474 * [taylor]: Taking taylor expansion of phi1 in phi2
2.474 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi2
2.474 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2
2.474 * [taylor]: Taking taylor expansion of phi2 in phi2
2.474 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi1
2.474 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1
2.475 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1
2.475 * [taylor]: Taking taylor expansion of phi1 in phi1
2.475 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi1
2.475 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1
2.475 * [taylor]: Taking taylor expansion of phi2 in phi1
2.475 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi1
2.475 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1
2.475 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1
2.475 * [taylor]: Taking taylor expansion of phi1 in phi1
2.475 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi1
2.475 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1
2.475 * [taylor]: Taking taylor expansion of phi2 in phi1
2.476 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi2
2.476 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi2
2.476 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2
2.476 * [taylor]: Taking taylor expansion of phi1 in phi2
2.476 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi2
2.476 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2
2.476 * [taylor]: Taking taylor expansion of phi2 in phi2
2.478 * [taylor]: Taking taylor expansion of 0 in phi2
2.482 * [taylor]: Taking taylor expansion of 0 in phi2
2.487 * [taylor]: Taking taylor expansion of 0 in phi2
2.487 * [approximate]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in (phi1 phi2) around 0
2.487 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi2
2.487 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi2
2.487 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi2
2.487 * [taylor]: Taking taylor expansion of -1 in phi2
2.487 * [taylor]: Taking taylor expansion of phi1 in phi2
2.487 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi2
2.487 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi2
2.487 * [taylor]: Taking taylor expansion of -1 in phi2
2.487 * [taylor]: Taking taylor expansion of phi2 in phi2
2.488 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi1
2.488 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1
2.488 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1
2.488 * [taylor]: Taking taylor expansion of -1 in phi1
2.488 * [taylor]: Taking taylor expansion of phi1 in phi1
2.488 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi1
2.488 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi1
2.488 * [taylor]: Taking taylor expansion of -1 in phi1
2.488 * [taylor]: Taking taylor expansion of phi2 in phi1
2.488 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi1
2.488 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1
2.488 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1
2.488 * [taylor]: Taking taylor expansion of -1 in phi1
2.488 * [taylor]: Taking taylor expansion of phi1 in phi1
2.489 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi1
2.489 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi1
2.489 * [taylor]: Taking taylor expansion of -1 in phi1
2.489 * [taylor]: Taking taylor expansion of phi2 in phi1
2.489 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi2
2.489 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi2
2.489 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi2
2.489 * [taylor]: Taking taylor expansion of -1 in phi2
2.489 * [taylor]: Taking taylor expansion of phi1 in phi2
2.489 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi2
2.489 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi2
2.489 * [taylor]: Taking taylor expansion of -1 in phi2
2.489 * [taylor]: Taking taylor expansion of phi2 in phi2
2.491 * [taylor]: Taking taylor expansion of 0 in phi2
2.495 * [taylor]: Taking taylor expansion of 0 in phi2
2.501 * [taylor]: Taking taylor expansion of 0 in phi2
2.501 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
2.501 * [approximate]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in (phi1 phi2 lambda1 lambda2) around 0
2.501 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in lambda2
2.502 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in lambda1
2.502 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in phi2
2.503 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in phi1
2.503 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in phi1
2.503 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in phi2
2.504 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in lambda1
2.504 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2))))))) in lambda2
2.505 * [taylor]: Taking taylor expansion of 0 in phi2
2.505 * [taylor]: Taking taylor expansion of 0 in lambda1
2.505 * [taylor]: Taking taylor expansion of 0 in lambda2
2.505 * [taylor]: Taking taylor expansion of 0 in lambda1
2.505 * [taylor]: Taking taylor expansion of 0 in lambda2
2.505 * [taylor]: Taking taylor expansion of 0 in lambda2
2.505 * [taylor]: Taking taylor expansion of 0 in phi2
2.505 * [taylor]: Taking taylor expansion of 0 in lambda1
2.505 * [taylor]: Taking taylor expansion of 0 in lambda2
2.505 * [taylor]: Taking taylor expansion of 0 in lambda1
2.505 * [taylor]: Taking taylor expansion of 0 in lambda2
2.506 * [approximate]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in (phi1 phi2 lambda1 lambda2) around 0
2.506 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in lambda2
2.507 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in lambda1
2.507 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in phi2
2.507 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in phi1
2.508 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in phi1
2.508 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in phi2
2.509 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in lambda1
2.509 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (cos (/ 1 phi1)))))))) in lambda2
2.511 * [taylor]: Taking taylor expansion of 0 in phi2
2.511 * [taylor]: Taking taylor expansion of 0 in lambda1
2.511 * [taylor]: Taking taylor expansion of 0 in lambda2
2.511 * [taylor]: Taking taylor expansion of 0 in lambda1
2.511 * [taylor]: Taking taylor expansion of 0 in lambda2
2.511 * [taylor]: Taking taylor expansion of 0 in lambda2
2.511 * [taylor]: Taking taylor expansion of 0 in phi2
2.511 * [taylor]: Taking taylor expansion of 0 in lambda1
2.511 * [taylor]: Taking taylor expansion of 0 in lambda2
2.511 * [taylor]: Taking taylor expansion of 0 in lambda1
2.511 * [taylor]: Taking taylor expansion of 0 in lambda2
2.512 * [approximate]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in (phi1 phi2 lambda1 lambda2) around 0
2.512 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in lambda2
2.512 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in lambda1
2.513 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in phi2
2.513 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in phi1
2.514 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in phi1
2.514 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in phi2
2.515 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in lambda1
2.515 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (+ (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))))) in lambda2
2.516 * [taylor]: Taking taylor expansion of 0 in phi2
2.516 * [taylor]: Taking taylor expansion of 0 in lambda1
2.517 * [taylor]: Taking taylor expansion of 0 in lambda2
2.517 * [taylor]: Taking taylor expansion of 0 in lambda1
2.517 * [taylor]: Taking taylor expansion of 0 in lambda2
2.517 * [taylor]: Taking taylor expansion of 0 in lambda2
2.517 * [taylor]: Taking taylor expansion of 0 in phi2
2.517 * [taylor]: Taking taylor expansion of 0 in lambda1
2.517 * [taylor]: Taking taylor expansion of 0 in lambda2
2.517 * [taylor]: Taking taylor expansion of 0 in lambda1
2.517 * [taylor]: Taking taylor expansion of 0 in lambda2
2.517 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
2.518 * [approximate]: Taking taylor expansion of (pow (* (sin phi1) (sin phi2)) 3) in (phi1 phi2) around 0
2.518 * [taylor]: Taking taylor expansion of (pow (* (sin phi1) (sin phi2)) 3) in phi2
2.518 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi2
2.518 * [taylor]: Taking taylor expansion of (sin phi1) in phi2
2.518 * [taylor]: Taking taylor expansion of phi1 in phi2
2.518 * [taylor]: Taking taylor expansion of (sin phi2) in phi2
2.518 * [taylor]: Taking taylor expansion of phi2 in phi2
2.520 * [taylor]: Taking taylor expansion of (pow (* (sin phi1) (sin phi2)) 3) in phi1
2.520 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi1
2.520 * [taylor]: Taking taylor expansion of (sin phi1) in phi1
2.520 * [taylor]: Taking taylor expansion of phi1 in phi1
2.520 * [taylor]: Taking taylor expansion of (sin phi2) in phi1
2.520 * [taylor]: Taking taylor expansion of phi2 in phi1
2.522 * [taylor]: Taking taylor expansion of (pow (* (sin phi1) (sin phi2)) 3) in phi1
2.522 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi1
2.522 * [taylor]: Taking taylor expansion of (sin phi1) in phi1
2.522 * [taylor]: Taking taylor expansion of phi1 in phi1
2.522 * [taylor]: Taking taylor expansion of (sin phi2) in phi1
2.522 * [taylor]: Taking taylor expansion of phi2 in phi1
2.525 * [taylor]: Taking taylor expansion of (pow (sin phi2) 3) in phi2
2.525 * [taylor]: Taking taylor expansion of (sin phi2) in phi2
2.525 * [taylor]: Taking taylor expansion of phi2 in phi2
2.528 * [taylor]: Taking taylor expansion of 0 in phi2
2.534 * [taylor]: Taking taylor expansion of (- (* 1/2 (pow (sin phi2) 3))) in phi2
2.534 * [taylor]: Taking taylor expansion of (* 1/2 (pow (sin phi2) 3)) in phi2
2.534 * [taylor]: Taking taylor expansion of 1/2 in phi2
2.535 * [taylor]: Taking taylor expansion of (pow (sin phi2) 3) in phi2
2.535 * [taylor]: Taking taylor expansion of (sin phi2) in phi2
2.535 * [taylor]: Taking taylor expansion of phi2 in phi2
2.538 * [approximate]: Taking taylor expansion of (pow (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) 3) in (phi1 phi2) around 0
2.538 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) 3) in phi2
2.538 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi2
2.538 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi2
2.538 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2
2.538 * [taylor]: Taking taylor expansion of phi1 in phi2
2.539 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi2
2.539 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2
2.539 * [taylor]: Taking taylor expansion of phi2 in phi2
2.539 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) 3) in phi1
2.539 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi1
2.539 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1
2.539 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1
2.539 * [taylor]: Taking taylor expansion of phi1 in phi1
2.539 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi1
2.539 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1
2.539 * [taylor]: Taking taylor expansion of phi2 in phi1
2.540 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) 3) in phi1
2.540 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi1
2.540 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1
2.540 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1
2.540 * [taylor]: Taking taylor expansion of phi1 in phi1
2.540 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi1
2.540 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1
2.540 * [taylor]: Taking taylor expansion of phi2 in phi1
2.541 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 phi1)) 3) (pow (sin (/ 1 phi2)) 3)) in phi2
2.541 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 phi1)) 3) in phi2
2.541 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi2
2.541 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2
2.541 * [taylor]: Taking taylor expansion of phi1 in phi2
2.541 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 phi2)) 3) in phi2
2.541 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi2
2.541 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2
2.541 * [taylor]: Taking taylor expansion of phi2 in phi2
2.544 * [taylor]: Taking taylor expansion of 0 in phi2
2.553 * [taylor]: Taking taylor expansion of 0 in phi2
2.561 * [taylor]: Taking taylor expansion of 0 in phi2
2.562 * [approximate]: Taking taylor expansion of (pow (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) 3) in (phi1 phi2) around 0
2.562 * [taylor]: Taking taylor expansion of (pow (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) 3) in phi2
2.562 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi2
2.562 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi2
2.562 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi2
2.562 * [taylor]: Taking taylor expansion of -1 in phi2
2.562 * [taylor]: Taking taylor expansion of phi1 in phi2
2.562 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi2
2.562 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi2
2.562 * [taylor]: Taking taylor expansion of -1 in phi2
2.562 * [taylor]: Taking taylor expansion of phi2 in phi2
2.562 * [taylor]: Taking taylor expansion of (pow (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) 3) in phi1
2.562 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi1
2.562 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1
2.562 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1
2.562 * [taylor]: Taking taylor expansion of -1 in phi1
2.562 * [taylor]: Taking taylor expansion of phi1 in phi1
2.563 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi1
2.563 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi1
2.563 * [taylor]: Taking taylor expansion of -1 in phi1
2.563 * [taylor]: Taking taylor expansion of phi2 in phi1
2.563 * [taylor]: Taking taylor expansion of (pow (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) 3) in phi1
2.563 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi1
2.563 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1
2.563 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1
2.563 * [taylor]: Taking taylor expansion of -1 in phi1
2.563 * [taylor]: Taking taylor expansion of phi1 in phi1
2.564 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi1
2.564 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi1
2.564 * [taylor]: Taking taylor expansion of -1 in phi1
2.564 * [taylor]: Taking taylor expansion of phi2 in phi1
2.564 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 phi1)) 3) (pow (sin (/ -1 phi2)) 3)) in phi2
2.564 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 phi1)) 3) in phi2
2.564 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi2
2.564 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi2
2.564 * [taylor]: Taking taylor expansion of -1 in phi2
2.564 * [taylor]: Taking taylor expansion of phi1 in phi2
2.564 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 phi2)) 3) in phi2
2.565 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi2
2.565 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi2
2.565 * [taylor]: Taking taylor expansion of -1 in phi2
2.565 * [taylor]: Taking taylor expansion of phi2 in phi2
2.568 * [taylor]: Taking taylor expansion of 0 in phi2
2.573 * [taylor]: Taking taylor expansion of 0 in phi2
2.581 * [taylor]: Taking taylor expansion of 0 in phi2
2.581 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1)
2.581 * [approximate]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in (phi1 phi2) around 0
2.581 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi2
2.581 * [taylor]: Taking taylor expansion of (sin phi1) in phi2
2.581 * [taylor]: Taking taylor expansion of phi1 in phi2
2.581 * [taylor]: Taking taylor expansion of (sin phi2) in phi2
2.581 * [taylor]: Taking taylor expansion of phi2 in phi2
2.581 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi1
2.581 * [taylor]: Taking taylor expansion of (sin phi1) in phi1
2.581 * [taylor]: Taking taylor expansion of phi1 in phi1
2.581 * [taylor]: Taking taylor expansion of (sin phi2) in phi1
2.581 * [taylor]: Taking taylor expansion of phi2 in phi1
2.581 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi1
2.581 * [taylor]: Taking taylor expansion of (sin phi1) in phi1
2.581 * [taylor]: Taking taylor expansion of phi1 in phi1
2.581 * [taylor]: Taking taylor expansion of (sin phi2) in phi1
2.581 * [taylor]: Taking taylor expansion of phi2 in phi1
2.582 * [taylor]: Taking taylor expansion of 0 in phi2
2.584 * [taylor]: Taking taylor expansion of (sin phi2) in phi2
2.584 * [taylor]: Taking taylor expansion of phi2 in phi2
2.587 * [taylor]: Taking taylor expansion of 0 in phi2
2.591 * [taylor]: Taking taylor expansion of (- (* 1/6 (sin phi2))) in phi2
2.591 * [taylor]: Taking taylor expansion of (* 1/6 (sin phi2)) in phi2
2.591 * [taylor]: Taking taylor expansion of 1/6 in phi2
2.591 * [taylor]: Taking taylor expansion of (sin phi2) in phi2
2.591 * [taylor]: Taking taylor expansion of phi2 in phi2
2.596 * [taylor]: Taking taylor expansion of 0 in phi2
2.597 * [approximate]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in (phi1 phi2) around 0
2.597 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi2
2.597 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi2
2.597 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2
2.597 * [taylor]: Taking taylor expansion of phi1 in phi2
2.597 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi2
2.597 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2
2.597 * [taylor]: Taking taylor expansion of phi2 in phi2
2.597 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi1
2.597 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1
2.597 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1
2.597 * [taylor]: Taking taylor expansion of phi1 in phi1
2.597 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi1
2.597 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1
2.598 * [taylor]: Taking taylor expansion of phi2 in phi1
2.598 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi1
2.598 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1
2.598 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1
2.598 * [taylor]: Taking taylor expansion of phi1 in phi1
2.598 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi1
2.598 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1
2.598 * [taylor]: Taking taylor expansion of phi2 in phi1
2.598 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi2
2.598 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi2
2.598 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2
2.598 * [taylor]: Taking taylor expansion of phi1 in phi2
2.598 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi2
2.598 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2
2.598 * [taylor]: Taking taylor expansion of phi2 in phi2
2.601 * [taylor]: Taking taylor expansion of 0 in phi2
2.604 * [taylor]: Taking taylor expansion of 0 in phi2
2.610 * [taylor]: Taking taylor expansion of 0 in phi2
2.610 * [approximate]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in (phi1 phi2) around 0
2.610 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi2
2.610 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi2
2.610 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi2
2.610 * [taylor]: Taking taylor expansion of -1 in phi2
2.610 * [taylor]: Taking taylor expansion of phi1 in phi2
2.610 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi2
2.610 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi2
2.610 * [taylor]: Taking taylor expansion of -1 in phi2
2.610 * [taylor]: Taking taylor expansion of phi2 in phi2
2.611 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi1
2.611 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1
2.611 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1
2.611 * [taylor]: Taking taylor expansion of -1 in phi1
2.611 * [taylor]: Taking taylor expansion of phi1 in phi1
2.611 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi1
2.611 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi1
2.611 * [taylor]: Taking taylor expansion of -1 in phi1
2.611 * [taylor]: Taking taylor expansion of phi2 in phi1
2.611 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi1
2.611 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1
2.611 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1
2.611 * [taylor]: Taking taylor expansion of -1 in phi1
2.611 * [taylor]: Taking taylor expansion of phi1 in phi1
2.611 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi1
2.612 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi1
2.612 * [taylor]: Taking taylor expansion of -1 in phi1
2.612 * [taylor]: Taking taylor expansion of phi2 in phi1
2.612 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi2
2.612 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi2
2.612 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi2
2.612 * [taylor]: Taking taylor expansion of -1 in phi2
2.612 * [taylor]: Taking taylor expansion of phi1 in phi2
2.612 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi2
2.612 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi2
2.612 * [taylor]: Taking taylor expansion of -1 in phi2
2.612 * [taylor]: Taking taylor expansion of phi2 in phi2
2.614 * [taylor]: Taking taylor expansion of 0 in phi2
2.618 * [taylor]: Taking taylor expansion of 0 in phi2
2.623 * [taylor]: Taking taylor expansion of 0 in phi2
2.623 * * * [progress]: simplifying candidates
2.625 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (pow (* (sin phi1) (sin phi2)) 3)))
  (exp (cbrt (pow (* (sin phi1) (sin phi2)) 3)))
  (cbrt (pow (sin phi1) 3))
  (cbrt (pow (sin phi2) 3))
  (cbrt (* (* (sin phi1) (sin phi2)) (* (sin phi1) (sin phi2))))
  (cbrt (* (sin phi1) (sin phi2)))
  (cbrt (* (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (cbrt (pow (* (sin phi1) (sin phi2)) 3))))
  (cbrt (cbrt (pow (* (sin phi1) (sin phi2)) 3)))
  (cbrt (pow (sin phi1) 3))
  (cbrt (pow (sin phi2) 3))
  (cbrt (* (sin phi1) (sin phi2)))
  (cbrt (* (* (sin phi1) (sin phi2)) (* (sin phi1) (sin phi2))))
  (cbrt (sqrt (pow (* (sin phi1) (sin phi2)) 3)))
  (cbrt (sqrt (pow (* (sin phi1) (sin phi2)) 3)))
  (cbrt 1)
  (cbrt (pow (* (sin phi1) (sin phi2)) 3))
  (cbrt (pow (* (sin phi1) (sin phi2)) (/ 3 2)))
  (cbrt (pow (* (sin phi1) (sin phi2)) (/ 3 2)))
  (cbrt (pow (- (cos (- phi1 phi2)) (cos (+ phi1 phi2))) 3))
  (cbrt (pow 2 3))
  (* (cbrt (cbrt (pow (* (sin phi1) (sin phi2)) 3))) (cbrt (cbrt (pow (* (sin phi1) (sin phi2)) 3))))
  (cbrt (cbrt (pow (* (sin phi1) (sin phi2)) 3)))
  (* (* (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (cbrt (pow (* (sin phi1) (sin phi2)) 3))) (cbrt (pow (* (sin phi1) (sin phi2)) 3)))
  (sqrt (cbrt (pow (* (sin phi1) (sin phi2)) 3)))
  (sqrt (cbrt (pow (* (sin phi1) (sin phi2)) 3)))
  (/ PI 2)
  (asin (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
  (log (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))
  (exp (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))
  (* (cbrt (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (cbrt (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))))
  (cbrt (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))
  (* (* (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))
  (sqrt (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))
  (sqrt (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))
  (* (+ (log (sin phi1)) (log (sin phi2))) 3)
  (* (log (* (sin phi1) (sin phi2))) 3)
  (* (log (* (sin phi1) (sin phi2))) 3)
  (* 1 3)
  (* 1 3)
  (pow (* (sin phi1) (sin phi2)) (* (cbrt 3) (cbrt 3)))
  (pow (* (sin phi1) (sin phi2)) (sqrt 3))
  (pow (* (sin phi1) (sin phi2)) 1)
  (pow (sin phi1) 3)
  (pow (sin phi2) 3)
  (* (* (sin phi1) (sin phi2)) (* (sin phi1) (sin phi2)))
  (log (pow (* (sin phi1) (sin phi2)) 3))
  (exp (pow (* (sin phi1) (sin phi2)) 3))
  (* (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (cbrt (pow (* (sin phi1) (sin phi2)) 3)))
  (cbrt (pow (* (sin phi1) (sin phi2)) 3))
  (* (* (pow (* (sin phi1) (sin phi2)) 3) (pow (* (sin phi1) (sin phi2)) 3)) (pow (* (sin phi1) (sin phi2)) 3))
  (pow (sin phi1) 3)
  (pow (sin phi2) 3)
  (pow (- (cos (- phi1 phi2)) (cos (+ phi1 phi2))) 3)
  (pow 2 3)
  (* (* (sin phi1) (sin phi2)) (* (sin phi1) (sin phi2)))
  (sqrt (pow (* (sin phi1) (sin phi2)) 3))
  (sqrt (pow (* (sin phi1) (sin phi2)) 3))
  (pow (* (sin phi1) (sin phi2)) (/ 3 2))
  (pow (* (sin phi1) (sin phi2)) (/ 3 2))
  (- (cos (- phi1 phi2)) (cos (+ phi1 phi2)))
  (* (sin phi1) (sin phi2))
  (+ (log (sin phi1)) (log (sin phi2)))
  (log (* (sin phi1) (sin phi2)))
  (exp (* (sin phi1) (sin phi2)))
  (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin phi2) (sin phi2)) (sin phi2)))
  (* (cbrt (* (sin phi1) (sin phi2))) (cbrt (* (sin phi1) (sin phi2))))
  (cbrt (* (sin phi1) (sin phi2)))
  (* (* (* (sin phi1) (sin phi2)) (* (sin phi1) (sin phi2))) (* (sin phi1) (sin phi2)))
  (sqrt (* (sin phi1) (sin phi2)))
  (sqrt (* (sin phi1) (sin phi2)))
  (* (sqrt (sin phi1)) (sqrt (sin phi2)))
  (* (sqrt (sin phi1)) (sqrt (sin phi2)))
  (* (sin phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2))))
  (* (sin phi1) (sqrt (sin phi2)))
  (* (sin phi1) 1)
  (* (cbrt (sin phi1)) (sin phi2))
  (* (sqrt (sin phi1)) (sin phi2))
  (* (sin phi1) (sin phi2))
  (* phi2 phi1)
  (* (sin phi1) (sin phi2))
  (* (sin phi1) (sin phi2))
  (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2)))))))
  (acos (+ (* (sin phi1) (sin phi2)) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2)))))))
  (acos (+ (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2)))) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin phi1) (sin phi2)))))
  (- (* (pow phi2 3) (pow phi1 3)) (+ (* 1/2 (* (pow phi2 5) (pow phi1 3))) (* 1/2 (* (pow phi2 3) (pow phi1 5)))))
  (* (pow (sin phi1) 3) (pow (sin phi2) 3))
  (* (pow (sin phi1) 3) (pow (sin phi2) 3))
  (* phi2 phi1)
  (* (sin phi1) (sin phi2))
  (* (sin phi1) (sin phi2))
2.629 * * [simplify]: iteration  0 :  265  enodes  (cost  595 )
2.635 * * [simplify]: iteration  1 :  984  enodes  (cost  538 )
2.659 * * [simplify]: iteration  2 :  5002  enodes  (cost  537 )
2.662 * [simplify]: Simplified to:
   (log (* (sin phi1) (sin phi2)))
  (exp (* (sin phi1) (sin phi2)))
  (sin phi1)
  (sin phi2)
  (cbrt (* (* (sin phi1) (sin phi2)) (* (sin phi1) (sin phi2))))
  (cbrt (* (sin phi1) (sin phi2)))
  (cbrt (* (* (sin phi1) (sin phi2)) (* (sin phi1) (sin phi2))))
  (cbrt (* (sin phi1) (sin phi2)))
  (sin phi1)
  (sin phi2)
  (cbrt (* (sin phi1) (sin phi2)))
  (cbrt (* (* (sin phi1) (sin phi2)) (* (sin phi1) (sin phi2))))
  (cbrt (sqrt (pow (* (sin phi1) (sin phi2)) 3)))
  (cbrt (sqrt (pow (* (sin phi1) (sin phi2)) 3)))
  1
  (* (sin phi1) (sin phi2))
  (cbrt (pow (* (sin phi1) (sin phi2)) 3/2))
  (cbrt (pow (* (sin phi1) (sin phi2)) 3/2))
  (- (cos (- phi1 phi2)) (cos (+ phi1 phi2)))
  2
  (* (cbrt (* (sin phi1) (sin phi2))) (cbrt (* (sin phi1) (sin phi2))))
  (cbrt (* (sin phi1) (sin phi2)))
  (pow (* (sin phi1) (sin phi2)) 3)
  (pow (* (sin phi1) (sin phi2)) 1/2)
  (pow (* (sin phi1) (sin phi2)) 1/2)
  (/ PI 2)
  (asin (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
  (log (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))
  (exp (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))
  (* (cbrt (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (cbrt (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))))
  (cbrt (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))
  (pow (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) 3)
  (sqrt (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))
  (sqrt (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))
  (log (pow (* (sin phi1) (sin phi2)) 3))
  (log (pow (* (sin phi1) (sin phi2)) 3))
  (log (pow (* (sin phi1) (sin phi2)) 3))
  3
  3
  (pow (* (sin phi1) (sin phi2)) (* (cbrt 3) (cbrt 3)))
  (pow (* (sin phi1) (sin phi2)) (sqrt 3))
  (* (sin phi1) (sin phi2))
  (pow (sin phi1) 3)
  (pow (sin phi2) 3)
  (pow (* (sin phi1) (sin phi2)) 2)
  (log (pow (* (sin phi1) (sin phi2)) 3))
  (exp (pow (* (sin phi1) (sin phi2)) 3))
  (pow (* (sin phi1) (sin phi2)) 2)
  (* (sin phi1) (sin phi2))
  (pow (pow (* (sin phi1) (sin phi2)) 3) 3)
  (pow (sin phi1) 3)
  (pow (sin phi2) 3)
  (pow (- (cos (- phi1 phi2)) (cos (+ phi1 phi2))) 3)
  8
  (pow (* (sin phi1) (sin phi2)) 2)
  (sqrt (pow (* (sin phi1) (sin phi2)) 3))
  (sqrt (pow (* (sin phi1) (sin phi2)) 3))
  (pow (* (sin phi1) (sin phi2)) 3/2)
  (pow (* (sin phi1) (sin phi2)) 3/2)
  (- (cos (- phi1 phi2)) (cos (+ phi1 phi2)))
  (* (sin phi1) (sin phi2))
  (log (* (sin phi1) (sin phi2)))
  (log (* (sin phi1) (sin phi2)))
  (exp (* (sin phi1) (sin phi2)))
  (pow (* (sin phi1) (sin phi2)) 3)
  (* (cbrt (* (sin phi1) (sin phi2))) (cbrt (* (sin phi1) (sin phi2))))
  (cbrt (* (sin phi1) (sin phi2)))
  (pow (* (sin phi1) (sin phi2)) 3)
  (pow (* (sin phi1) (sin phi2)) 1/2)
  (pow (* (sin phi1) (sin phi2)) 1/2)
  (* (sqrt (sin phi1)) (sqrt (sin phi2)))
  (* (sqrt (sin phi1)) (sqrt (sin phi2)))
  (* (sin phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2))))
  (* (sin phi1) (sqrt (sin phi2)))
  (sin phi1)
  (* (cbrt (sin phi1)) (sin phi2))
  (* (sqrt (sin phi1)) (sin phi2))
  (* (sin phi1) (sin phi2))
  (* phi2 phi1)
  (* (sin phi1) (sin phi2))
  (* (sin phi1) (sin phi2))
  (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
  (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
  (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
  (+ (* (pow phi1 3) (- (pow phi2 3) (* 1/2 (pow phi2 5)))) (- (* 1/2 (* (pow phi2 3) (pow phi1 5)))))
  (pow (* (sin phi1) (sin phi2)) 3)
  (pow (* (sin phi1) (sin phi2)) 3)
  (* phi2 phi1)
  (* (sin phi1) (sin phi2))
  (* (sin phi1) (sin phi2))
2.663 * * * [progress]: adding candidates to table
3.068 * [progress]: [Phase 3 of 3] Extracting.
3.068 * * [regime]: Finding splitpoints for: (#<alt (λ (R lambda1 lambda2 phi1 phi2) (* (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)) (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (sqrt R)) (sqrt R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (sqrt R)) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (sqrt R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (* (* (cbrt (cos (- lambda1 lambda2))) (cbrt (cos (- lambda1 lambda2)))) (cbrt (cos (- lambda1 lambda2))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (log (exp (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (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))))))) (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (log (exp (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (exp (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (* (sin phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2)))) (cbrt (sin phi2))) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (cbrt (pow (acos (+ (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2)))) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin phi1) (sin phi2))))) 3)) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (* (cbrt R) (cbrt R))) (cbrt R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (- (/ PI 2) (asin (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) R))>)
3.083 * * * [regime-changes]: Trying 10 branch expressions: ((- lambda1 lambda2) (cos (- lambda1 lambda2)) (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R) phi2 phi1 lambda2 lambda1 R)
3.084 * * * * [regimes]: Trying to branch on (- lambda1 lambda2) from (#<alt (λ (R lambda1 lambda2 phi1 phi2) (* (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)) (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (sqrt R)) (sqrt R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (sqrt R)) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (sqrt R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (* (* (cbrt (cos (- lambda1 lambda2))) (cbrt (cos (- lambda1 lambda2)))) (cbrt (cos (- lambda1 lambda2))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (log (exp (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (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))))))) (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (log (exp (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (exp (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (* (sin phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2)))) (cbrt (sin phi2))) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (cbrt (pow (acos (+ (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2)))) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin phi1) (sin phi2))))) 3)) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (* (cbrt R) (cbrt R))) (cbrt R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (- (/ PI 2) (asin (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) R))>)
3.193 * * * * [regimes]: Trying to branch on (- lambda1 lambda2) from (#<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (* (* (cbrt (cos (- lambda1 lambda2))) (cbrt (cos (- lambda1 lambda2)))) (cbrt (cos (- lambda1 lambda2))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (log (exp (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (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))))))) (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (exp (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))>)
3.229 * * * * [regimes]: Trying to branch on (cos (- lambda1 lambda2)) from (#<alt (λ (R lambda1 lambda2 phi1 phi2) (* (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)) (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (sqrt R)) (sqrt R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (sqrt R)) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (sqrt R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (* (* (cbrt (cos (- lambda1 lambda2))) (cbrt (cos (- lambda1 lambda2)))) (cbrt (cos (- lambda1 lambda2))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (log (exp (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (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))))))) (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (log (exp (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (exp (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (* (sin phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2)))) (cbrt (sin phi2))) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (cbrt (pow (acos (+ (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2)))) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin phi1) (sin phi2))))) 3)) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (* (cbrt R) (cbrt R))) (cbrt R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (- (/ PI 2) (asin (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) R))>)
3.340 * * * * [regimes]: Trying to branch on (cos (- lambda1 lambda2)) from (#<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (* (* (cbrt (cos (- lambda1 lambda2))) (cbrt (cos (- lambda1 lambda2)))) (cbrt (cos (- lambda1 lambda2))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (log (exp (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (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))))))) (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (exp (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))>)
3.380 * * * * [regimes]: Trying to branch on (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))) from (#<alt (λ (R lambda1 lambda2 phi1 phi2) (* (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)) (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (sqrt R)) (sqrt R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (sqrt R)) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (sqrt R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (* (* (cbrt (cos (- lambda1 lambda2))) (cbrt (cos (- lambda1 lambda2)))) (cbrt (cos (- lambda1 lambda2))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (log (exp (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (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))))))) (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (log (exp (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (exp (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (* (sin phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2)))) (cbrt (sin phi2))) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (cbrt (pow (acos (+ (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2)))) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin phi1) (sin phi2))))) 3)) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (* (cbrt R) (cbrt R))) (cbrt R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (- (/ PI 2) (asin (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) R))>)
3.502 * * * * [regimes]: Trying to branch on (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))) from (#<alt (λ (R lambda1 lambda2 phi1 phi2) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (log (exp (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (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))))))) (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (exp (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))>)
3.551 * * * * [regimes]: Trying to branch on (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) from (#<alt (λ (R lambda1 lambda2 phi1 phi2) (* (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)) (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (sqrt R)) (sqrt R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (sqrt R)) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (sqrt R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (* (* (cbrt (cos (- lambda1 lambda2))) (cbrt (cos (- lambda1 lambda2)))) (cbrt (cos (- lambda1 lambda2))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (log (exp (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (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))))))) (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (log (exp (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (exp (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (* (sin phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2)))) (cbrt (sin phi2))) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (cbrt (pow (acos (+ (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2)))) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin phi1) (sin phi2))))) 3)) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (* (cbrt R) (cbrt R))) (cbrt R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (- (/ PI 2) (asin (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) R))>)
3.677 * * * * [regimes]: Trying to branch on (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) from (#<alt (λ (R lambda1 lambda2 phi1 phi2) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (log (exp (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (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))))))) (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (exp (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))>)
3.730 * * * * [regimes]: Trying to branch on (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R) from (#<alt (λ (R lambda1 lambda2 phi1 phi2) (* (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)) (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (sqrt R)) (sqrt R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (sqrt R)) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (sqrt R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (* (* (cbrt (cos (- lambda1 lambda2))) (cbrt (cos (- lambda1 lambda2)))) (cbrt (cos (- lambda1 lambda2))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (log (exp (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (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))))))) (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (log (exp (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (exp (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (* (sin phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2)))) (cbrt (sin phi2))) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (cbrt (pow (acos (+ (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2)))) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin phi1) (sin phi2))))) 3)) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (* (cbrt R) (cbrt R))) (cbrt R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (- (/ PI 2) (asin (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) R))>)
3.854 * * * * [regimes]: Trying to branch on (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R) from (#<alt (λ (R lambda1 lambda2 phi1 phi2) (log (exp (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (exp (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))>)
3.901 * * * * [regimes]: Trying to branch on phi2 from (#<alt (λ (R lambda1 lambda2 phi1 phi2) (* (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)) (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (sqrt R)) (sqrt R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (sqrt R)) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (sqrt R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (* (* (cbrt (cos (- lambda1 lambda2))) (cbrt (cos (- lambda1 lambda2)))) (cbrt (cos (- lambda1 lambda2))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (log (exp (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (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))))))) (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (log (exp (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (exp (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (* (sin phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2)))) (cbrt (sin phi2))) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (cbrt (pow (acos (+ (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2)))) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin phi1) (sin phi2))))) 3)) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (* (cbrt R) (cbrt R))) (cbrt R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (- (/ PI 2) (asin (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) R))>)
4.005 * * * * [regimes]: Trying to branch on phi1 from (#<alt (λ (R lambda1 lambda2 phi1 phi2) (* (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)) (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (sqrt R)) (sqrt R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (sqrt R)) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (sqrt R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (* (* (cbrt (cos (- lambda1 lambda2))) (cbrt (cos (- lambda1 lambda2)))) (cbrt (cos (- lambda1 lambda2))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (log (exp (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (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))))))) (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (log (exp (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (exp (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (* (sin phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2)))) (cbrt (sin phi2))) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (cbrt (pow (acos (+ (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2)))) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin phi1) (sin phi2))))) 3)) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (* (cbrt R) (cbrt R))) (cbrt R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (- (/ PI 2) (asin (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) R))>)
4.109 * * * * [regimes]: Trying to branch on lambda2 from (#<alt (λ (R lambda1 lambda2 phi1 phi2) (* (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)) (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (sqrt R)) (sqrt R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (sqrt R)) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (sqrt R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (* (* (cbrt (cos (- lambda1 lambda2))) (cbrt (cos (- lambda1 lambda2)))) (cbrt (cos (- lambda1 lambda2))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (log (exp (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (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))))))) (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (log (exp (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (exp (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (* (sin phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2)))) (cbrt (sin phi2))) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (cbrt (pow (acos (+ (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2)))) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin phi1) (sin phi2))))) 3)) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (* (cbrt R) (cbrt R))) (cbrt R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (- (/ PI 2) (asin (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) R))>)
4.211 * * * * [regimes]: Trying to branch on lambda1 from (#<alt (λ (R lambda1 lambda2 phi1 phi2) (* (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)) (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (sqrt R)) (sqrt R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (sqrt R)) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (sqrt R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (* (* (cbrt (cos (- lambda1 lambda2))) (cbrt (cos (- lambda1 lambda2)))) (cbrt (cos (- lambda1 lambda2))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (log (exp (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (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))))))) (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (log (exp (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (exp (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (* (sin phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2)))) (cbrt (sin phi2))) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (cbrt (pow (acos (+ (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2)))) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin phi1) (sin phi2))))) 3)) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (* (cbrt R) (cbrt R))) (cbrt R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (- (/ PI 2) (asin (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) R))>)
4.317 * * * * [regimes]: Trying to branch on R from (#<alt (λ (R lambda1 lambda2 phi1 phi2) (* (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)) (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (sqrt R)) (sqrt R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (sqrt R)) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (sqrt R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (* (* (cbrt (cos (- lambda1 lambda2))) (cbrt (cos (- lambda1 lambda2)))) (cbrt (cos (- lambda1 lambda2))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (log (exp (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (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))))))) (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (log (exp (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (exp (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (acos (+ (* (* (sin phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2)))) (cbrt (sin phi2))) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (cbrt (pow (acos (+ (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin lambda2)))) (+ (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2)))) (* (sin phi1) (sin phi2))))) 3)) R))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (* (cbrt R) (cbrt R))) (cbrt R)))> #<alt (λ (R lambda1 lambda2 phi1 phi2) (* (- (/ PI 2) (asin (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))) R))>)
4.424 * * * [regime]: Found split indices: #<option (#s(si 4 255))>
4.425 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2))))))) R)
4.425 * * [simplify]: iteration  0 :  34  enodes  (cost  24 )
4.426 * * [simplify]: iteration  1 :  34  enodes  (cost  24 )
4.426 * [simplify]: Simplified to:
   (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (* (sin lambda1) (* (cbrt (sin lambda2)) (cbrt (sin lambda2)))) (cbrt (sin lambda2))))))) R)
14.563 * [regime-testing]: Baseline error score: 3.9896015916900045
14.564 * [regime-testing]: Oracle error score: 3.624431124004422
14.565 * [regime-testing]: End program error score: 3.9896015916900045