49.129 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.264 * * * [progress]: [2/2] Setting up program.
0.271 * [progress]: [Phase 2 of 3] Improving.
0.272 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2)))))
0.274 * * [simplify]: iteration  0 :  27  enodes  (cost  15 )
0.275 * * [simplify]: iteration  1 :  46  enodes  (cost  15 )
0.277 * * [simplify]: iteration  2 :  71  enodes  (cost  15 )
0.278 * * [simplify]: iteration  3 :  77  enodes  (cost  15 )
0.280 * * [simplify]: iteration  4 :  77  enodes  (cost  15 )
0.280 * [simplify]: Simplified to:
  (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2)))))
0.280 * * [progress]: iteration 1 / 4
0.280 * * * [progress]: picking best candidate
0.287 * * * * [pick]: Picked  #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))>
0.287 * * * [progress]: localizing error
0.314 * * * [progress]: generating rewritten candidates
0.314 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.318 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2)
0.322 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
0.333 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
0.339 * * * [progress]: generating series expansions
0.339 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.339 * [approximate]: Approximating (sin (- lambda1 lambda2)) in (lambda1 lambda2) around 0
0.340 * [taylor]: Taking taylor expansion of (sin (- lambda1 lambda2)) in lambda2
0.343 * [taylor]: Taking taylor expansion of (sin (- lambda1 lambda2)) in lambda2
0.348 * [taylor]: Taking taylor expansion of (sin (- lambda1 lambda2)) in lambda2
0.354 * [taylor]: Taking taylor expansion of (sin (- lambda1 lambda2)) in lambda2
0.356 * [approximate]: Approximating (sin (- (/ 1 lambda1) (/ 1 lambda2))) in (lambda1 lambda2) around 0
0.359 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2
0.360 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2
0.360 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2
0.360 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2
0.360 * [approximate]: Approximating (sin (- (/ 1 lambda2) (/ 1 lambda1))) in (lambda1 lambda2) around 0
0.363 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2
0.364 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2
0.364 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2
0.364 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2
0.364 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2)
0.364 * [approximate]: Approximating (cos (- lambda1 lambda2)) in (lambda1 lambda2) around 0
0.366 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda2
0.368 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda2
0.373 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda2
0.376 * [approximate]: Approximating (cos (- (/ 1 lambda1) (/ 1 lambda2))) in (lambda1 lambda2) around 0
0.379 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2
0.380 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2
0.380 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2
0.380 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2
0.380 * [approximate]: Approximating (cos (- (/ 1 lambda2) (/ 1 lambda1))) in (lambda1 lambda2) around 0
0.383 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2
0.384 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2
0.384 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2
0.384 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2
0.384 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
0.384 * [approximate]: Approximating (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in (phi1 phi2 lambda1 lambda2) around 0
0.386 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in phi2
0.386 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda1
0.386 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda2
0.392 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in phi2
0.393 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda1
0.394 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda2
0.394 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda1
0.395 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda2
0.395 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda2
0.402 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in phi2
0.402 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda1
0.402 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda2
0.406 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda1
0.406 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda2
0.406 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda1
0.406 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda2
0.407 * [approximate]: Approximating (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in (phi1 phi2 lambda1 lambda2) around 0
0.416 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in phi2
0.417 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in lambda1
0.419 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in lambda2
0.427 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in phi2
0.427 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in lambda1
0.427 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in lambda2
0.432 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in lambda1
0.432 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in lambda2
0.437 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in lambda2
0.449 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in phi2
0.449 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in lambda1
0.449 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in lambda2
0.449 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in lambda1
0.449 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in lambda2
0.449 * [approximate]: Approximating (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in (phi1 phi2 lambda1 lambda2) around 0
0.455 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in phi2
0.456 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda1
0.458 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda2
0.466 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in phi2
0.466 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda1
0.466 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda2
0.471 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda1
0.471 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda2
0.476 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda2
0.488 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in phi2
0.488 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda1
0.488 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda2
0.488 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda1
0.488 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda2
0.488 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
0.488 * [approximate]: Approximating (* (cos phi1) (sin phi2)) in (phi1 phi2) around 0
0.488 * [taylor]: Taking taylor expansion of (* (cos phi1) (sin phi2)) in phi2
0.494 * [taylor]: Taking taylor expansion of (* (cos phi1) (sin phi2)) in phi2
0.499 * [taylor]: Taking taylor expansion of (* (cos phi1) (sin phi2)) in phi2
0.505 * [taylor]: Taking taylor expansion of (* (cos phi1) (sin phi2)) in phi2
0.508 * [approximate]: Approximating (* (cos (/ 1 phi1)) (sin (/ 1 phi2))) in (phi1 phi2) around 0
0.509 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi1)) (sin (/ 1 phi2))) in phi2
0.512 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi1)) (sin (/ 1 phi2))) in phi2
0.518 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi1)) (sin (/ 1 phi2))) in phi2
0.525 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi1)) (sin (/ 1 phi2))) in phi2
0.525 * [approximate]: Approximating (* (cos (/ -1 phi1)) (sin (/ -1 phi2))) in (phi1 phi2) around 0
0.527 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (sin (/ -1 phi2))) in phi2
0.530 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (sin (/ -1 phi2))) in phi2
0.535 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (sin (/ -1 phi2))) in phi2
0.542 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (sin (/ -1 phi2))) in phi2
0.542 * * * [progress]: simplifying candidates
0.543 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (sin lambda1) (cos (neg lambda2)))
  (* (cos lambda1) (sin (neg lambda2)))
  (* (sin lambda1) (cos (neg lambda2)))
  (* (cos lambda1) (sin (neg lambda2)))
  (* (sin lambda1) (cos lambda2))
  (* (cos lambda1) (sin lambda2))
  (log (sin (- lambda1 lambda2)))
  (exp (sin (- lambda1 lambda2)))
  (* (cbrt (sin (- lambda1 lambda2))) (cbrt (sin (- lambda1 lambda2))))
  (cbrt (sin (- lambda1 lambda2)))
  (* (* (sin (- lambda1 lambda2)) (sin (- lambda1 lambda2))) (sin (- lambda1 lambda2)))
  (sqrt (sin (- lambda1 lambda2)))
  (sqrt (sin (- lambda1 lambda2)))
  (* (cos lambda1) (cos (neg lambda2)))
  (* (sin lambda1) (sin (neg lambda2)))
  (* (cos lambda1) (cos (neg lambda2)))
  (* (sin lambda1) (sin (neg 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)))
  (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2)))
  (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2)))
  (+ (+ (log (sin phi1)) (log (cos phi2))) (log (cos (- lambda1 lambda2))))
  (+ (log (* (sin phi1) (cos phi2))) (log (cos (- lambda1 lambda2))))
  (log (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))
  (exp (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))
  (* (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (cos phi2) (cos phi2)) (cos phi2))) (* (* (cos (- lambda1 lambda2)) (cos (- lambda1 lambda2))) (cos (- lambda1 lambda2))))
  (* (* (* (* (sin phi1) (cos phi2)) (* (sin phi1) (cos phi2))) (* (sin phi1) (cos phi2))) (* (* (cos (- lambda1 lambda2)) (cos (- lambda1 lambda2))) (cos (- lambda1 lambda2))))
  (* (cbrt (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2)))) (cbrt (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2)))))
  (cbrt (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))
  (* (* (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2)))) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))
  (sqrt (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))
  (sqrt (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))
  (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))
  (* (* (cos lambda1) (cos lambda2)) (* (sin phi1) (cos phi2)))
  (* (* (sin lambda1) (sin lambda2)) (* (sin phi1) (cos phi2)))
  (* (* (sin phi1) (cos phi2)) (* (cbrt (cos (- lambda1 lambda2))) (cbrt (cos (- lambda1 lambda2)))))
  (* (* (sin phi1) (cos phi2)) (sqrt (cos (- lambda1 lambda2))))
  (* (* (sin phi1) (cos phi2)) 1)
  (* (cos phi2) (cos (- lambda1 lambda2)))
  (* (+ (sin (- phi1 phi2)) (sin (+ phi1 phi2))) (cos (- lambda1 lambda2)))
  (* (cos phi1) (sin phi2))
  (+ (log (cos phi1)) (log (sin phi2)))
  (log (* (cos phi1) (sin phi2)))
  (exp (* (cos phi1) (sin phi2)))
  (* (* (* (cos phi1) (cos phi1)) (cos phi1)) (* (* (sin phi2) (sin phi2)) (sin phi2)))
  (* (cbrt (* (cos phi1) (sin phi2))) (cbrt (* (cos phi1) (sin phi2))))
  (cbrt (* (cos phi1) (sin phi2)))
  (* (* (* (cos phi1) (sin phi2)) (* (cos phi1) (sin phi2))) (* (cos phi1) (sin phi2)))
  (sqrt (* (cos phi1) (sin phi2)))
  (sqrt (* (cos phi1) (sin phi2)))
  (* (sqrt (cos phi1)) (sqrt (sin phi2)))
  (* (sqrt (cos phi1)) (sqrt (sin phi2)))
  (* (cos phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2))))
  (* (cos phi1) (sqrt (sin phi2)))
  (* (cos phi1) 1)
  (* (cbrt (cos phi1)) (sin phi2))
  (* (sqrt (cos phi1)) (sin phi2))
  (* (cos phi1) (sin phi2))
  (- lambda1 (+ lambda2 (* 1/6 (pow lambda1 3))))
  (sin (- lambda1 lambda2))
  (sin (- lambda1 lambda2))
  (- (+ 1 (* lambda2 lambda1)) (* 1/2 (pow lambda1 2)))
  (cos (- lambda1 lambda2))
  (cos (- lambda1 lambda2))
  phi1
  (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))
  (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))
  (- phi2 (+ (* 1/2 (* phi2 (pow phi1 2))) (* 1/6 (pow phi2 3))))
  (* (cos phi1) (sin phi2))
  (* (cos phi1) (sin phi2))
0.548 * * [simplify]: iteration  0 :  286  enodes  (cost  430 )
0.553 * * [simplify]: iteration  1 :  1077  enodes  (cost  367 )
0.576 * * [simplify]: iteration  2 :  4907  enodes  (cost  367 )
0.651 * * [simplify]: iteration  3 :  5001  enodes  (cost  367 )
0.653 * [simplify]: Simplified to:
  (* (sin lambda1) (cos lambda2))
  (* (cos lambda1) (sin (neg lambda2)))
  (* (sin lambda1) (cos lambda2))
  (* (cos lambda1) (sin (neg lambda2)))
  (* (sin lambda1) (cos lambda2))
  (* (cos lambda1) (sin lambda2))
  (log (sin (- lambda1 lambda2)))
  (exp (sin (- lambda1 lambda2)))
  (* (cbrt (sin (- lambda1 lambda2))) (cbrt (sin (- lambda1 lambda2))))
  (cbrt (sin (- lambda1 lambda2)))
  (pow (sin (- lambda1 lambda2)) 3)
  (sqrt (sin (- lambda1 lambda2)))
  (sqrt (sin (- lambda1 lambda2)))
  (* (cos lambda1) (cos lambda2))
  (* (sin lambda1) (sin (neg lambda2)))
  (* (cos lambda1) (cos lambda2))
  (* (sin lambda1) (sin (neg 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)))
  (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))
  (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))
  (log (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))
  (log (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))
  (log (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))
  (exp (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))
  (pow (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) 3)
  (pow (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) 3)
  (* (cbrt (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2)))) (cbrt (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2)))))
  (cbrt (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))
  (pow (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) 3)
  (sqrt (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))
  (sqrt (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))
  (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (cbrt (cos (- lambda1 lambda2))) (cbrt (cos (- lambda1 lambda2)))))
  (* (* (sin phi1) (cos phi2)) (sqrt (cos (- lambda1 lambda2))))
  (* (sin phi1) (cos phi2))
  (* (cos phi2) (cos (- lambda1 lambda2)))
  (* (+ (sin (- phi1 phi2)) (sin (+ phi1 phi2))) (cos (- lambda1 lambda2)))
  (* (cos phi1) (sin phi2))
  (log (* (cos phi1) (sin phi2)))
  (log (* (cos phi1) (sin phi2)))
  (exp (* (cos phi1) (sin phi2)))
  (pow (* (cos phi1) (sin phi2)) 3)
  (* (cbrt (* (cos phi1) (sin phi2))) (cbrt (* (cos phi1) (sin phi2))))
  (cbrt (* (cos phi1) (sin phi2)))
  (pow (* (cos phi1) (sin phi2)) 3)
  (sqrt (* (cos phi1) (sin phi2)))
  (sqrt (* (cos phi1) (sin phi2)))
  (* (sqrt (cos phi1)) (sqrt (sin phi2)))
  (* (sqrt (cos phi1)) (sqrt (sin phi2)))
  (* (cos phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2))))
  (* (cos phi1) (sqrt (sin phi2)))
  (cos phi1)
  (* (cbrt (cos phi1)) (sin phi2))
  (* (sqrt (cos phi1)) (sin phi2))
  (* (cos phi1) (sin phi2))
  (- lambda1 (+ lambda2 (* 1/6 (pow lambda1 3))))
  (sin (- lambda1 lambda2))
  (sin (- lambda1 lambda2))
  (- (+ 1 (* lambda2 lambda1)) (* 1/2 (pow lambda1 2)))
  (cos (- lambda1 lambda2))
  (cos (- lambda1 lambda2))
  phi1
  (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))
  (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))
  (- phi2 (+ (* 1/2 (* phi2 (pow phi1 2))) (* 1/6 (pow phi2 3))))
  (* (cos phi1) (sin phi2))
  (* (cos phi1) (sin phi2))
0.653 * * * [progress]: adding candidates to table
0.966 * * [progress]: iteration 2 / 4
0.966 * * * [progress]: picking best candidate
1.062 * * * * [pick]: Picked  #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))>
1.062 * * * [progress]: localizing error
1.102 * * * [progress]: generating rewritten candidates
1.102 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
1.106 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
1.112 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
1.116 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
1.122 * * * [progress]: generating series expansions
1.122 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
1.122 * [approximate]: Approximating (cos (- lambda1 lambda2)) in (lambda1 lambda2) around 0
1.124 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda2
1.127 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda2
1.131 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda2
1.134 * [approximate]: Approximating (cos (- (/ 1 lambda1) (/ 1 lambda2))) in (lambda1 lambda2) around 0
1.137 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2
1.138 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2
1.138 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2
1.138 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2
1.138 * [approximate]: Approximating (cos (- (/ 1 lambda2) (/ 1 lambda1))) in (lambda1 lambda2) around 0
1.141 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2
1.142 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2
1.142 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2
1.142 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2
1.142 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
1.142 * [approximate]: Approximating (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in (phi1 phi2 lambda1 lambda2) around 0
1.144 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in phi2
1.144 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda1
1.144 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda2
1.150 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in phi2
1.151 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda1
1.151 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda2
1.152 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda1
1.152 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda2
1.152 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda2
1.160 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in phi2
1.160 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda1
1.160 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda2
1.168 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda1
1.168 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda2
1.168 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda1
1.168 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) in lambda2
1.169 * [approximate]: Approximating (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in (phi1 phi2 lambda1 lambda2) around 0
1.174 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in phi2
1.176 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in lambda1
1.177 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in lambda2
1.185 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in phi2
1.185 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in lambda1
1.185 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in lambda2
1.190 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in lambda1
1.190 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in lambda2
1.195 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in lambda2
1.207 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in phi2
1.207 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in lambda1
1.207 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in lambda2
1.207 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in lambda1
1.207 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (cos (- (/ 1 lambda1) (/ 1 lambda2))) (sin (/ 1 phi1)))) in lambda2
1.207 * [approximate]: Approximating (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in (phi1 phi2 lambda1 lambda2) around 0
1.213 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in phi2
1.214 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda1
1.216 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda2
1.224 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in phi2
1.224 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda1
1.224 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda2
1.229 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda1
1.229 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda2
1.234 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda2
1.249 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in phi2
1.249 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda1
1.249 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda2
1.249 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda1
1.249 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda2
1.249 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
1.250 * [approximate]: Approximating (* (cos phi1) (sin phi2)) in (phi1 phi2) around 0
1.250 * [taylor]: Taking taylor expansion of (* (cos phi1) (sin phi2)) in phi2
1.252 * [taylor]: Taking taylor expansion of (* (cos phi1) (sin phi2)) in phi2
1.257 * [taylor]: Taking taylor expansion of (* (cos phi1) (sin phi2)) in phi2
1.263 * [taylor]: Taking taylor expansion of (* (cos phi1) (sin phi2)) in phi2
1.266 * [approximate]: Approximating (* (cos (/ 1 phi1)) (sin (/ 1 phi2))) in (phi1 phi2) around 0
1.267 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi1)) (sin (/ 1 phi2))) in phi2
1.270 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi1)) (sin (/ 1 phi2))) in phi2
1.275 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi1)) (sin (/ 1 phi2))) in phi2
1.283 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi1)) (sin (/ 1 phi2))) in phi2
1.283 * [approximate]: Approximating (* (cos (/ -1 phi1)) (sin (/ -1 phi2))) in (phi1 phi2) around 0
1.285 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (sin (/ -1 phi2))) in phi2
1.288 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (sin (/ -1 phi2))) in phi2
1.293 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (sin (/ -1 phi2))) in phi2
1.300 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (sin (/ -1 phi2))) in phi2
1.300 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
1.301 * [approximate]: Approximating (* (sin lambda1) (cos lambda2)) in (lambda1 lambda2) around 0
1.301 * [taylor]: Taking taylor expansion of (* (sin lambda1) (cos lambda2)) in lambda2
1.304 * [taylor]: Taking taylor expansion of (* (sin lambda1) (cos lambda2)) in lambda2
1.308 * [taylor]: Taking taylor expansion of (* (sin lambda1) (cos lambda2)) in lambda2
1.314 * [taylor]: Taking taylor expansion of (* (sin lambda1) (cos lambda2)) in lambda2
1.316 * [approximate]: Approximating (* (sin (/ 1 lambda1)) (cos (/ 1 lambda2))) in (lambda1 lambda2) around 0
1.317 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (cos (/ 1 lambda2))) in lambda2
1.320 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (cos (/ 1 lambda2))) in lambda2
1.329 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (cos (/ 1 lambda2))) in lambda2
1.336 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (cos (/ 1 lambda2))) in lambda2
1.336 * [approximate]: Approximating (* (sin (/ -1 lambda1)) (cos (/ -1 lambda2))) in (lambda1 lambda2) around 0
1.338 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (cos (/ -1 lambda2))) in lambda2
1.342 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (cos (/ -1 lambda2))) in lambda2
1.347 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (cos (/ -1 lambda2))) in lambda2
1.354 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (cos (/ -1 lambda2))) in lambda2
1.355 * * * [progress]: simplifying candidates
1.355 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (cos lambda1) (cos (neg lambda2)))
  (* (sin lambda1) (sin (neg lambda2)))
  (* (cos lambda1) (cos (neg lambda2)))
  (* (sin lambda1) (sin (neg 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)))
  (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2)))
  (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2)))
  (+ (+ (log (sin phi1)) (log (cos phi2))) (log (cos (- lambda1 lambda2))))
  (+ (log (* (sin phi1) (cos phi2))) (log (cos (- lambda1 lambda2))))
  (log (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))
  (exp (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))
  (* (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (cos phi2) (cos phi2)) (cos phi2))) (* (* (cos (- lambda1 lambda2)) (cos (- lambda1 lambda2))) (cos (- lambda1 lambda2))))
  (* (* (* (* (sin phi1) (cos phi2)) (* (sin phi1) (cos phi2))) (* (sin phi1) (cos phi2))) (* (* (cos (- lambda1 lambda2)) (cos (- lambda1 lambda2))) (cos (- lambda1 lambda2))))
  (* (cbrt (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2)))) (cbrt (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2)))))
  (cbrt (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))
  (* (* (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2)))) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))
  (sqrt (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))
  (sqrt (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))
  (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))
  (* (* (cos lambda1) (cos lambda2)) (* (sin phi1) (cos phi2)))
  (* (* (sin lambda1) (sin lambda2)) (* (sin phi1) (cos phi2)))
  (* (* (sin phi1) (cos phi2)) (* (cbrt (cos (- lambda1 lambda2))) (cbrt (cos (- lambda1 lambda2)))))
  (* (* (sin phi1) (cos phi2)) (sqrt (cos (- lambda1 lambda2))))
  (* (* (sin phi1) (cos phi2)) 1)
  (* (cos phi2) (cos (- lambda1 lambda2)))
  (* (+ (sin (- phi1 phi2)) (sin (+ phi1 phi2))) (cos (- lambda1 lambda2)))
  (* (cos phi1) (sin phi2))
  (+ (log (cos phi1)) (log (sin phi2)))
  (log (* (cos phi1) (sin phi2)))
  (exp (* (cos phi1) (sin phi2)))
  (* (* (* (cos phi1) (cos phi1)) (cos phi1)) (* (* (sin phi2) (sin phi2)) (sin phi2)))
  (* (cbrt (* (cos phi1) (sin phi2))) (cbrt (* (cos phi1) (sin phi2))))
  (cbrt (* (cos phi1) (sin phi2)))
  (* (* (* (cos phi1) (sin phi2)) (* (cos phi1) (sin phi2))) (* (cos phi1) (sin phi2)))
  (sqrt (* (cos phi1) (sin phi2)))
  (sqrt (* (cos phi1) (sin phi2)))
  (* (sqrt (cos phi1)) (sqrt (sin phi2)))
  (* (sqrt (cos phi1)) (sqrt (sin phi2)))
  (* (cos phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2))))
  (* (cos phi1) (sqrt (sin phi2)))
  (* (cos phi1) 1)
  (* (cbrt (cos phi1)) (sin phi2))
  (* (sqrt (cos phi1)) (sin phi2))
  (* (cos phi1) (sin phi2))
  (+ (sin (- lambda1 lambda2)) (sin (+ lambda1 lambda2)))
  (* (sin lambda1) (cos lambda2))
  (+ (log (sin lambda1)) (log (cos lambda2)))
  (log (* (sin lambda1) (cos lambda2)))
  (exp (* (sin lambda1) (cos lambda2)))
  (* (* (* (sin lambda1) (sin lambda1)) (sin lambda1)) (* (* (cos lambda2) (cos lambda2)) (cos lambda2)))
  (* (cbrt (* (sin lambda1) (cos lambda2))) (cbrt (* (sin lambda1) (cos lambda2))))
  (cbrt (* (sin lambda1) (cos lambda2)))
  (* (* (* (sin lambda1) (cos lambda2)) (* (sin lambda1) (cos lambda2))) (* (sin lambda1) (cos lambda2)))
  (sqrt (* (sin lambda1) (cos lambda2)))
  (sqrt (* (sin lambda1) (cos lambda2)))
  (* (sqrt (sin lambda1)) (sqrt (cos lambda2)))
  (* (sqrt (sin lambda1)) (sqrt (cos lambda2)))
  (* (sin lambda1) (* (cbrt (cos lambda2)) (cbrt (cos lambda2))))
  (* (sin lambda1) (sqrt (cos lambda2)))
  (* (sin lambda1) 1)
  (* (cbrt (sin lambda1)) (cos lambda2))
  (* (sqrt (sin lambda1)) (cos lambda2))
  (* (sin lambda1) (cos lambda2))
  (- (+ 1 (* lambda2 lambda1)) (* 1/2 (pow lambda1 2)))
  (cos (- lambda1 lambda2))
  (cos (- lambda1 lambda2))
  phi1
  (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))
  (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))
  (- phi2 (+ (* 1/2 (* phi2 (pow phi1 2))) (* 1/6 (pow phi2 3))))
  (* (cos phi1) (sin phi2))
  (* (cos phi1) (sin phi2))
  (- lambda1 (+ (* 1/2 (* (pow lambda2 2) lambda1)) (* 1/6 (pow lambda1 3))))
  (* (sin lambda1) (cos lambda2))
  (* (sin lambda1) (cos lambda2))
1.360 * * [simplify]: iteration  0 :  340  enodes  (cost  481 )
1.366 * * [simplify]: iteration  1 :  1343  enodes  (cost  409 )
1.392 * * [simplify]: iteration  2 :  5002  enodes  (cost  409 )
1.395 * [simplify]: Simplified to:
  (* (cos lambda1) (cos lambda2))
  (* (sin lambda1) (sin (neg lambda2)))
  (* (cos lambda1) (cos lambda2))
  (* (sin lambda1) (sin (neg 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)))
  (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))
  (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))
  (log (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))
  (log (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))
  (log (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))
  (exp (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))
  (pow (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) 3)
  (pow (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) 3)
  (* (cbrt (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2)))) (cbrt (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2)))))
  (cbrt (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))
  (pow (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2))) 3)
  (sqrt (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))
  (sqrt (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))
  (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (cbrt (cos (- lambda1 lambda2))) (cbrt (cos (- lambda1 lambda2)))))
  (* (* (sin phi1) (cos phi2)) (sqrt (cos (- lambda1 lambda2))))
  (* (sin phi1) (cos phi2))
  (* (cos phi2) (cos (- lambda1 lambda2)))
  (* (+ (sin (- phi1 phi2)) (sin (+ phi1 phi2))) (cos (- lambda1 lambda2)))
  (* (cos phi1) (sin phi2))
  (log (* (cos phi1) (sin phi2)))
  (log (* (cos phi1) (sin phi2)))
  (exp (* (cos phi1) (sin phi2)))
  (pow (* (cos phi1) (sin phi2)) 3)
  (* (cbrt (* (cos phi1) (sin phi2))) (cbrt (* (cos phi1) (sin phi2))))
  (cbrt (* (cos phi1) (sin phi2)))
  (pow (* (cos phi1) (sin phi2)) 3)
  (sqrt (* (cos phi1) (sin phi2)))
  (sqrt (* (cos phi1) (sin phi2)))
  (* (sqrt (cos phi1)) (sqrt (sin phi2)))
  (* (sqrt (cos phi1)) (sqrt (sin phi2)))
  (* (cos phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2))))
  (* (cos phi1) (sqrt (sin phi2)))
  (cos phi1)
  (* (cbrt (cos phi1)) (sin phi2))
  (* (sqrt (cos phi1)) (sin phi2))
  (* (cos phi1) (sin phi2))
  (+ (sin (- lambda1 lambda2)) (sin (+ lambda1 lambda2)))
  (* (sin lambda1) (cos lambda2))
  (log (* (sin lambda1) (cos lambda2)))
  (log (* (sin lambda1) (cos lambda2)))
  (exp (* (sin lambda1) (cos lambda2)))
  (pow (* (sin lambda1) (cos lambda2)) 3)
  (* (cbrt (* (sin lambda1) (cos lambda2))) (cbrt (* (sin lambda1) (cos lambda2))))
  (cbrt (* (sin lambda1) (cos lambda2)))
  (pow (* (sin lambda1) (cos lambda2)) 3)
  (sqrt (* (sin lambda1) (cos lambda2)))
  (sqrt (* (sin lambda1) (cos lambda2)))
  (* (sqrt (sin lambda1)) (sqrt (cos lambda2)))
  (* (sqrt (sin lambda1)) (sqrt (cos lambda2)))
  (* (sin lambda1) (* (cbrt (cos lambda2)) (cbrt (cos lambda2))))
  (* (sin lambda1) (sqrt (cos lambda2)))
  (sin lambda1)
  (* (cbrt (sin lambda1)) (cos lambda2))
  (* (sqrt (sin lambda1)) (cos lambda2))
  (* (sin lambda1) (cos lambda2))
  (- (+ 1 (* lambda2 lambda1)) (* 1/2 (pow lambda1 2)))
  (cos (- lambda1 lambda2))
  (cos (- lambda1 lambda2))
  phi1
  (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))
  (* (sin phi1) (* (cos (- lambda1 lambda2)) (cos phi2)))
  (- phi2 (+ (* 1/2 (* phi2 (pow phi1 2))) (* 1/6 (pow phi2 3))))
  (* (cos phi1) (sin phi2))
  (* (cos phi1) (sin phi2))
  (- lambda1 (+ (* 1/2 (* (pow lambda2 2) lambda1)) (* 1/6 (pow lambda1 3))))
  (* (sin lambda1) (cos lambda2))
  (* (sin lambda1) (cos lambda2))
1.395 * * * [progress]: adding candidates to table
1.783 * * [progress]: iteration 3 / 4
1.783 * * * [progress]: picking best candidate
1.873 * * * * [pick]: Picked  #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (+ (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))))>
1.873 * * * [progress]: localizing error
1.914 * * * [progress]: generating rewritten candidates
1.914 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
1.923 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
1.932 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2)
1.937 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
1.943 * * * [progress]: generating series expansions
1.943 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
1.944 * [approximate]: Approximating (* (sin phi1) (* (cos phi2) (* (sin lambda2) (sin lambda1)))) in (phi1 phi2 lambda1 lambda2) around 0
1.945 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (sin lambda2) (sin lambda1)))) in phi2
1.946 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (sin lambda2) (sin lambda1)))) in lambda1
1.946 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (sin lambda2) (sin lambda1)))) in lambda2
1.953 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (sin lambda2) (sin lambda1)))) in phi2
1.953 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (sin lambda2) (sin lambda1)))) in lambda1
1.954 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (sin lambda2) (sin lambda1)))) in lambda2
1.954 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (sin lambda2) (sin lambda1)))) in lambda1
1.954 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (sin lambda2) (sin lambda1)))) in lambda2
1.954 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (sin lambda2) (sin lambda1)))) in lambda2
1.963 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (sin lambda2) (sin lambda1)))) in phi2
1.963 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (sin lambda2) (sin lambda1)))) in lambda1
1.963 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (sin lambda2) (sin lambda1)))) in lambda2
1.964 * [approximate]: Approximating (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (sin (/ 1 phi1))))) in (phi1 phi2 lambda1 lambda2) around 0
1.967 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (sin (/ 1 phi1))))) in phi2
1.969 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (sin (/ 1 phi1))))) in lambda1
1.970 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (sin (/ 1 phi1))))) in lambda2
1.978 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (sin (/ 1 phi1))))) in phi2
1.978 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (sin (/ 1 phi1))))) in lambda1
1.978 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (sin (/ 1 phi1))))) in lambda2
1.985 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (sin (/ 1 phi1))))) in lambda1
1.985 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (sin (/ 1 phi1))))) in lambda2
1.992 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (sin (/ 1 phi1))))) in lambda2
2.011 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (sin (/ 1 phi1))))) in phi2
2.011 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (sin (/ 1 phi1))))) in lambda1
2.011 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (sin (/ 1 phi1))))) in lambda2
2.011 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (sin (/ 1 phi1))))) in lambda1
2.011 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (* (sin (/ 1 lambda2)) (* (cos (/ 1 phi2)) (sin (/ 1 phi1))))) in lambda2
2.011 * [approximate]: Approximating (* (sin (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) in (phi1 phi2 lambda1 lambda2) around 0
2.015 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) in phi2
2.017 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) in lambda1
2.018 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) in lambda2
2.027 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) in phi2
2.027 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) in lambda1
2.027 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) in lambda2
2.033 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) in lambda1
2.033 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) in lambda2
2.040 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) in lambda2
2.056 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) in phi2
2.056 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) in lambda1
2.056 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) in lambda2
2.056 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) in lambda1
2.056 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (cos (/ -1 phi2)) (sin (/ -1 lambda2))))) in lambda2
2.056 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
2.057 * [approximate]: Approximating (* (sin phi1) (* (cos phi2) (* (cos lambda1) (cos lambda2)))) in (phi1 phi2 lambda1 lambda2) around 0
2.058 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (cos lambda1) (cos lambda2)))) in phi2
2.058 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (cos lambda1) (cos lambda2)))) in lambda1
2.058 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (cos lambda1) (cos lambda2)))) in lambda2
2.066 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (cos lambda1) (cos lambda2)))) in phi2
2.067 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (cos lambda1) (cos lambda2)))) in lambda1
2.068 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (cos lambda1) (cos lambda2)))) in lambda2
2.068 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (cos lambda1) (cos lambda2)))) in lambda1
2.068 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (cos lambda1) (cos lambda2)))) in lambda2
2.068 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (cos lambda1) (cos lambda2)))) in lambda2
2.078 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (cos lambda1) (cos lambda2)))) in phi2
2.078 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (cos lambda1) (cos lambda2)))) in lambda1
2.078 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (cos lambda1) (cos lambda2)))) in lambda2
2.086 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (cos lambda1) (cos lambda2)))) in lambda1
2.086 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (cos lambda1) (cos lambda2)))) in lambda2
2.086 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (cos lambda1) (cos lambda2)))) in lambda1
2.086 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (* (cos lambda1) (cos lambda2)))) in lambda2
2.086 * [approximate]: Approximating (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (cos (/ 1 lambda1))))) in (phi1 phi2 lambda1 lambda2) around 0
2.091 * [taylor]: Taking taylor expansion of (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (cos (/ 1 lambda1))))) in phi2
2.093 * [taylor]: Taking taylor expansion of (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (cos (/ 1 lambda1))))) in lambda1
2.094 * [taylor]: Taking taylor expansion of (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (cos (/ 1 lambda1))))) in lambda2
2.104 * [taylor]: Taking taylor expansion of (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (cos (/ 1 lambda1))))) in phi2
2.104 * [taylor]: Taking taylor expansion of (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (cos (/ 1 lambda1))))) in lambda1
2.104 * [taylor]: Taking taylor expansion of (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (cos (/ 1 lambda1))))) in lambda2
2.111 * [taylor]: Taking taylor expansion of (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (cos (/ 1 lambda1))))) in lambda1
2.111 * [taylor]: Taking taylor expansion of (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (cos (/ 1 lambda1))))) in lambda2
2.118 * [taylor]: Taking taylor expansion of (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (cos (/ 1 lambda1))))) in lambda2
2.135 * [taylor]: Taking taylor expansion of (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (cos (/ 1 lambda1))))) in phi2
2.135 * [taylor]: Taking taylor expansion of (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (cos (/ 1 lambda1))))) in lambda1
2.135 * [taylor]: Taking taylor expansion of (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (cos (/ 1 lambda1))))) in lambda2
2.135 * [taylor]: Taking taylor expansion of (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (cos (/ 1 lambda1))))) in lambda1
2.135 * [taylor]: Taking taylor expansion of (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (cos (/ 1 lambda1))))) in lambda2
2.135 * [approximate]: Approximating (* (sin (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) in (phi1 phi2 lambda1 lambda2) around 0
2.140 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) in phi2
2.142 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) in lambda1
2.144 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) in lambda2
2.153 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) in phi2
2.153 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) in lambda1
2.153 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) in lambda2
2.160 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) in lambda1
2.160 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) in lambda2
2.170 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) in lambda2
2.187 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) in phi2
2.188 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) in lambda1
2.188 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) in lambda2
2.188 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) in lambda1
2.188 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) in lambda2
2.188 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2)
2.188 * [approximate]: Approximating (* (sin lambda1) (sin lambda2)) in (lambda1 lambda2) around 0
2.188 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin lambda2)) in lambda2
2.191 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin lambda2)) in lambda2
2.195 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin lambda2)) in lambda2
2.201 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin lambda2)) in lambda2
2.208 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin lambda2)) in lambda2
2.208 * [approximate]: Approximating (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) in (lambda1 lambda2) around 0
2.210 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) in lambda2
2.213 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) in lambda2
2.218 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) in lambda2
2.225 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) in lambda2
2.225 * [approximate]: Approximating (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2))) in (lambda1 lambda2) around 0
2.227 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2))) in lambda2
2.230 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2))) in lambda2
2.235 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2))) in lambda2
2.244 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2))) in lambda2
2.245 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
2.245 * [approximate]: Approximating (* (cos phi1) (sin phi2)) in (phi1 phi2) around 0
2.245 * [taylor]: Taking taylor expansion of (* (cos phi1) (sin phi2)) in phi2
2.248 * [taylor]: Taking taylor expansion of (* (cos phi1) (sin phi2)) in phi2
2.252 * [taylor]: Taking taylor expansion of (* (cos phi1) (sin phi2)) in phi2
2.258 * [taylor]: Taking taylor expansion of (* (cos phi1) (sin phi2)) in phi2
2.261 * [approximate]: Approximating (* (cos (/ 1 phi1)) (sin (/ 1 phi2))) in (phi1 phi2) around 0
2.263 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi1)) (sin (/ 1 phi2))) in phi2
2.266 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi1)) (sin (/ 1 phi2))) in phi2
2.272 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi1)) (sin (/ 1 phi2))) in phi2
2.279 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi1)) (sin (/ 1 phi2))) in phi2
2.279 * [approximate]: Approximating (* (cos (/ -1 phi1)) (sin (/ -1 phi2))) in (phi1 phi2) around 0
2.281 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (sin (/ -1 phi2))) in phi2
2.284 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (sin (/ -1 phi2))) in phi2
2.289 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (sin (/ -1 phi2))) in phi2
2.296 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (sin (/ -1 phi2))) in phi2
2.296 * * * [progress]: simplifying candidates
2.298 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))
  (+ (+ (log (sin phi1)) (log (cos phi2))) (+ (log (sin lambda1)) (log (sin lambda2))))
  (+ (+ (log (sin phi1)) (log (cos phi2))) (log (* (sin lambda1) (sin lambda2))))
  (+ (log (* (sin phi1) (cos phi2))) (+ (log (sin lambda1)) (log (sin lambda2))))
  (+ (log (* (sin phi1) (cos phi2))) (log (* (sin lambda1) (sin lambda2))))
  (log (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2))))
  (exp (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2))))
  (* (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (cos phi2) (cos phi2)) (cos phi2))) (* (* (* (sin lambda1) (sin lambda1)) (sin lambda1)) (* (* (sin lambda2) (sin lambda2)) (sin lambda2))))
  (* (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (cos phi2) (cos phi2)) (cos phi2))) (* (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))) (* (sin lambda1) (sin lambda2))))
  (* (* (* (* (sin phi1) (cos phi2)) (* (sin phi1) (cos phi2))) (* (sin phi1) (cos phi2))) (* (* (* (sin lambda1) (sin lambda1)) (sin lambda1)) (* (* (sin lambda2) (sin lambda2)) (sin lambda2))))
  (* (* (* (* (sin phi1) (cos phi2)) (* (sin phi1) (cos phi2))) (* (sin phi1) (cos phi2))) (* (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))) (* (sin lambda1) (sin lambda2))))
  (* (cbrt (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))) (cbrt (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))
  (cbrt (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2))))
  (* (* (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2))) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2))))
  (sqrt (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2))))
  (sqrt (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2))))
  (* (+ (sin (- phi1 phi2)) (sin (+ phi1 phi2))) (- (cos (- lambda1 lambda2)) (cos (+ lambda1 lambda2))))
  (* 2 2)
  (* (* (sin phi1) (cos phi2)) (sin lambda1))
  (* (cos phi2) (* (sin lambda1) (sin lambda2)))
  (* (* (sin phi1) (cos phi2)) (- (cos (- lambda1 lambda2)) (cos (+ lambda1 lambda2))))
  (* (+ (sin (- phi1 phi2)) (sin (+ phi1 phi2))) (* (sin lambda1) (sin lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2)))
  (+ (+ (log (sin phi1)) (log (cos phi2))) (+ (log (cos lambda1)) (log (cos lambda2))))
  (+ (+ (log (sin phi1)) (log (cos phi2))) (log (* (cos lambda1) (cos lambda2))))
  (+ (log (* (sin phi1) (cos phi2))) (+ (log (cos lambda1)) (log (cos lambda2))))
  (+ (log (* (sin phi1) (cos phi2))) (log (* (cos lambda1) (cos lambda2))))
  (log (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))))
  (exp (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))))
  (* (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (cos phi2) (cos phi2)) (cos phi2))) (* (* (* (cos lambda1) (cos lambda1)) (cos lambda1)) (* (* (cos lambda2) (cos lambda2)) (cos lambda2))))
  (* (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (cos phi2) (cos phi2)) (cos phi2))) (* (* (* (cos lambda1) (cos lambda2)) (* (cos lambda1) (cos lambda2))) (* (cos lambda1) (cos lambda2))))
  (* (* (* (* (sin phi1) (cos phi2)) (* (sin phi1) (cos phi2))) (* (sin phi1) (cos phi2))) (* (* (* (cos lambda1) (cos lambda1)) (cos lambda1)) (* (* (cos lambda2) (cos lambda2)) (cos lambda2))))
  (* (* (* (* (sin phi1) (cos phi2)) (* (sin phi1) (cos phi2))) (* (sin phi1) (cos phi2))) (* (* (* (cos lambda1) (cos lambda2)) (* (cos lambda1) (cos lambda2))) (* (cos lambda1) (cos lambda2))))
  (* (cbrt (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2)))) (cbrt (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2)))))
  (cbrt (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))))
  (* (* (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2)))) (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))))
  (sqrt (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))))
  (sqrt (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))))
  (* (+ (sin (- phi1 phi2)) (sin (+ phi1 phi2))) (+ (cos (+ lambda1 lambda2)) (cos (- lambda1 lambda2))))
  (* 2 2)
  (* (* (sin phi1) (cos phi2)) (cos lambda1))
  (* (cos phi2) (* (cos lambda1) (cos lambda2)))
  (* (* (sin phi1) (cos phi2)) (+ (cos (+ lambda1 lambda2)) (cos (- lambda1 lambda2))))
  (* (+ (sin (- phi1 phi2)) (sin (+ phi1 phi2))) (* (cos lambda1) (cos lambda2)))
  (- (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))
  (* (cos phi1) (sin phi2))
  (+ (log (cos phi1)) (log (sin phi2)))
  (log (* (cos phi1) (sin phi2)))
  (exp (* (cos phi1) (sin phi2)))
  (* (* (* (cos phi1) (cos phi1)) (cos phi1)) (* (* (sin phi2) (sin phi2)) (sin phi2)))
  (* (cbrt (* (cos phi1) (sin phi2))) (cbrt (* (cos phi1) (sin phi2))))
  (cbrt (* (cos phi1) (sin phi2)))
  (* (* (* (cos phi1) (sin phi2)) (* (cos phi1) (sin phi2))) (* (cos phi1) (sin phi2)))
  (sqrt (* (cos phi1) (sin phi2)))
  (sqrt (* (cos phi1) (sin phi2)))
  (* (sqrt (cos phi1)) (sqrt (sin phi2)))
  (* (sqrt (cos phi1)) (sqrt (sin phi2)))
  (* (cos phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2))))
  (* (cos phi1) (sqrt (sin phi2)))
  (* (cos phi1) 1)
  (* (cbrt (cos phi1)) (sin phi2))
  (* (sqrt (cos phi1)) (sin phi2))
  (* (cos phi1) (sin phi2))
  0
  (* (sin lambda1) (* (cos phi2) (* (sin lambda2) (sin phi1))))
  (* (sin phi1) (* (cos phi2) (* (sin lambda2) (sin lambda1))))
  phi1
  (* (sin phi1) (* (cos phi2) (* (cos lambda1) (cos lambda2))))
  (* (sin phi1) (* (cos phi2) (* (cos lambda1) (cos lambda2))))
  (* lambda2 lambda1)
  (* (sin lambda1) (sin lambda2))
  (* (sin lambda1) (sin lambda2))
  (- phi2 (+ (* 1/2 (* phi2 (pow phi1 2))) (* 1/6 (pow phi2 3))))
  (* (cos phi1) (sin phi2))
  (* (cos phi1) (sin phi2))
2.304 * * [simplify]: iteration  0 :  420  enodes  (cost  777 )
2.312 * * [simplify]: iteration  1 :  1833  enodes  (cost  599 )
2.349 * * [simplify]: iteration  2 :  5001  enodes  (cost  599 )
2.353 * [simplify]: Simplified to:
  (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))
  (log (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2))))
  (log (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2))))
  (log (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2))))
  (log (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2))))
  (log (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2))))
  (exp (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2))))
  (pow (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2))) 3)
  (pow (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2))) 3)
  (pow (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2))) 3)
  (pow (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2))) 3)
  (* (cbrt (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))) (cbrt (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))
  (cbrt (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2))))
  (pow (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2))) 3)
  (sqrt (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2))))
  (sqrt (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2))))
  (* (+ (sin (- phi1 phi2)) (sin (+ phi1 phi2))) (- (cos (- lambda1 lambda2)) (cos (+ lambda1 lambda2))))
  4
  (* (* (sin phi1) (cos phi2)) (sin lambda1))
  (* (cos phi2) (* (sin lambda2) (sin lambda1)))
  (* (* (sin phi1) (cos phi2)) (- (cos (- lambda1 lambda2)) (cos (+ lambda1 lambda2))))
  (* (+ (sin (- phi1 phi2)) (sin (+ phi1 phi2))) (* (sin lambda1) (sin lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2)))
  (log (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))))
  (log (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))))
  (log (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))))
  (log (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))))
  (log (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))))
  (exp (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))))
  (pow (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) 3)
  (pow (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) 3)
  (pow (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) 3)
  (pow (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) 3)
  (* (cbrt (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2)))) (cbrt (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2)))))
  (cbrt (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))))
  (pow (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) 3)
  (sqrt (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))))
  (sqrt (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))))
  (* (+ (sin (- phi1 phi2)) (sin (+ phi1 phi2))) (+ (cos (+ lambda1 lambda2)) (cos (- lambda1 lambda2))))
  4
  (* (* (sin phi1) (cos phi2)) (cos lambda1))
  (* (cos phi2) (* (cos lambda1) (cos lambda2)))
  (* (* (sin phi1) (cos phi2)) (+ (cos (+ lambda1 lambda2)) (cos (- lambda1 lambda2))))
  (* (+ (sin (- phi1 phi2)) (sin (+ phi1 phi2))) (* (cos lambda1) (cos lambda2)))
  (- (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))
  (* (cos phi1) (sin phi2))
  (log (* (cos phi1) (sin phi2)))
  (log (* (cos phi1) (sin phi2)))
  (exp (* (cos phi1) (sin phi2)))
  (pow (* (cos phi1) (sin phi2)) 3)
  (* (cbrt (* (cos phi1) (sin phi2))) (cbrt (* (cos phi1) (sin phi2))))
  (cbrt (* (cos phi1) (sin phi2)))
  (pow (* (cos phi1) (sin phi2)) 3)
  (sqrt (* (cos phi1) (sin phi2)))
  (sqrt (* (cos phi1) (sin phi2)))
  (* (sqrt (cos phi1)) (sqrt (sin phi2)))
  (* (sqrt (cos phi1)) (sqrt (sin phi2)))
  (* (cos phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2))))
  (* (cos phi1) (sqrt (sin phi2)))
  (cos phi1)
  (* (cbrt (cos phi1)) (sin phi2))
  (* (sqrt (cos phi1)) (sin phi2))
  (* (cos phi1) (sin phi2))
  0
  (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))
  phi1
  (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2)))
  (* lambda2 lambda1)
  (* (sin lambda1) (sin lambda2))
  (* (sin lambda1) (sin lambda2))
  (- phi2 (+ (* 1/2 (* phi2 (pow phi1 2))) (* 1/6 (pow phi2 3))))
  (* (cos phi1) (sin phi2))
  (* (cos phi1) (sin phi2))
2.353 * * * [progress]: adding candidates to table
2.802 * * [progress]: iteration 4 / 4
2.803 * * * [progress]: picking best candidate
2.893 * * * * [pick]: Picked  #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))>
2.893 * * * [progress]: localizing error
2.934 * * * [progress]: generating rewritten candidates
2.934 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2)
2.939 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
2.943 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
2.948 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
2.960 * * * [progress]: generating series expansions
2.960 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2)
2.960 * [approximate]: Approximating (* (sin lambda1) (sin lambda2)) in (lambda1 lambda2) around 0
2.961 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin lambda2)) in lambda2
2.964 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin lambda2)) in lambda2
2.968 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin lambda2)) in lambda2
2.973 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin lambda2)) in lambda2
2.981 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin lambda2)) in lambda2
2.981 * [approximate]: Approximating (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) in (lambda1 lambda2) around 0
2.983 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) in lambda2
2.985 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) in lambda2
2.991 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) in lambda2
2.997 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) in lambda2
2.998 * [approximate]: Approximating (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2))) in (lambda1 lambda2) around 0
2.999 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2))) in lambda2
3.003 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2))) in lambda2
3.008 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2))) in lambda2
3.018 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2))) in lambda2
3.018 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
3.018 * [approximate]: Approximating (* (cos phi1) (sin phi2)) in (phi1 phi2) around 0
3.019 * [taylor]: Taking taylor expansion of (* (cos phi1) (sin phi2)) in phi2
3.021 * [taylor]: Taking taylor expansion of (* (cos phi1) (sin phi2)) in phi2
3.025 * [taylor]: Taking taylor expansion of (* (cos phi1) (sin phi2)) in phi2
3.031 * [taylor]: Taking taylor expansion of (* (cos phi1) (sin phi2)) in phi2
3.034 * [approximate]: Approximating (* (cos (/ 1 phi1)) (sin (/ 1 phi2))) in (phi1 phi2) around 0
3.036 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi1)) (sin (/ 1 phi2))) in phi2
3.039 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi1)) (sin (/ 1 phi2))) in phi2
3.044 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi1)) (sin (/ 1 phi2))) in phi2
3.051 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi1)) (sin (/ 1 phi2))) in phi2
3.052 * [approximate]: Approximating (* (cos (/ -1 phi1)) (sin (/ -1 phi2))) in (phi1 phi2) around 0
3.053 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (sin (/ -1 phi2))) in phi2
3.057 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (sin (/ -1 phi2))) in phi2
3.062 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (sin (/ -1 phi2))) in phi2
3.069 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (sin (/ -1 phi2))) in phi2
3.069 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
3.069 * [approximate]: Approximating (* (sin lambda1) (cos lambda2)) in (lambda1 lambda2) around 0
3.070 * [taylor]: Taking taylor expansion of (* (sin lambda1) (cos lambda2)) in lambda2
3.073 * [taylor]: Taking taylor expansion of (* (sin lambda1) (cos lambda2)) in lambda2
3.077 * [taylor]: Taking taylor expansion of (* (sin lambda1) (cos lambda2)) in lambda2
3.083 * [taylor]: Taking taylor expansion of (* (sin lambda1) (cos lambda2)) in lambda2
3.084 * [approximate]: Approximating (* (sin (/ 1 lambda1)) (cos (/ 1 lambda2))) in (lambda1 lambda2) around 0
3.086 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (cos (/ 1 lambda2))) in lambda2
3.089 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (cos (/ 1 lambda2))) in lambda2
3.097 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (cos (/ 1 lambda2))) in lambda2
3.104 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (cos (/ 1 lambda2))) in lambda2
3.105 * [approximate]: Approximating (* (sin (/ -1 lambda1)) (cos (/ -1 lambda2))) in (lambda1 lambda2) around 0
3.107 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (cos (/ -1 lambda2))) in lambda2
3.110 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (cos (/ -1 lambda2))) in lambda2
3.115 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (cos (/ -1 lambda2))) in lambda2
3.122 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (cos (/ -1 lambda2))) in lambda2
3.123 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
3.123 * [approximate]: Approximating (* (sin phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) in (phi1 phi2 lambda1 lambda2) around 0
3.125 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) in phi2
3.125 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) in lambda1
3.125 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) in lambda2
3.137 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) in phi2
3.139 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) in lambda1
3.139 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) in lambda2
3.139 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) in lambda1
3.139 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) in lambda2
3.139 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) in lambda2
3.155 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) in phi2
3.155 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) in lambda1
3.155 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) in lambda2
3.165 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) in lambda1
3.165 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) in lambda2
3.165 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) in lambda1
3.165 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) in lambda2
3.166 * [approximate]: Approximating (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (+ (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) (* (cos (/ 1 lambda2)) (cos (/ 1 lambda1)))))) in (phi1 phi2 lambda1 lambda2) around 0
3.174 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (+ (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) (* (cos (/ 1 lambda2)) (cos (/ 1 lambda1)))))) in phi2
3.177 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (+ (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) (* (cos (/ 1 lambda2)) (cos (/ 1 lambda1)))))) in lambda1
3.179 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (+ (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) (* (cos (/ 1 lambda2)) (cos (/ 1 lambda1)))))) in lambda2
3.194 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (+ (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) (* (cos (/ 1 lambda2)) (cos (/ 1 lambda1)))))) in phi2
3.195 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (+ (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) (* (cos (/ 1 lambda2)) (cos (/ 1 lambda1)))))) in lambda1
3.195 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (+ (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) (* (cos (/ 1 lambda2)) (cos (/ 1 lambda1)))))) in lambda2
3.206 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (+ (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) (* (cos (/ 1 lambda2)) (cos (/ 1 lambda1)))))) in lambda1
3.206 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (+ (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) (* (cos (/ 1 lambda2)) (cos (/ 1 lambda1)))))) in lambda2
3.216 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (+ (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) (* (cos (/ 1 lambda2)) (cos (/ 1 lambda1)))))) in lambda2
3.241 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (+ (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) (* (cos (/ 1 lambda2)) (cos (/ 1 lambda1)))))) in phi2
3.241 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (+ (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) (* (cos (/ 1 lambda2)) (cos (/ 1 lambda1)))))) in lambda1
3.241 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (+ (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) (* (cos (/ 1 lambda2)) (cos (/ 1 lambda1)))))) in lambda2
3.241 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (+ (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) (* (cos (/ 1 lambda2)) (cos (/ 1 lambda1)))))) in lambda1
3.241 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi2)) (* (sin (/ 1 phi1)) (+ (* (sin (/ 1 lambda1)) (sin (/ 1 lambda2))) (* (cos (/ 1 lambda2)) (cos (/ 1 lambda1)))))) in lambda2
3.242 * [approximate]: Approximating (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (+ (* (cos (/ -1 lambda1)) (cos (/ -1 lambda2))) (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2)))))) in (phi1 phi2 lambda1 lambda2) around 0
3.248 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (+ (* (cos (/ -1 lambda1)) (cos (/ -1 lambda2))) (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2)))))) in phi2
3.254 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (+ (* (cos (/ -1 lambda1)) (cos (/ -1 lambda2))) (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2)))))) in lambda1
3.257 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (+ (* (cos (/ -1 lambda1)) (cos (/ -1 lambda2))) (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2)))))) in lambda2
3.272 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (+ (* (cos (/ -1 lambda1)) (cos (/ -1 lambda2))) (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2)))))) in phi2
3.272 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (+ (* (cos (/ -1 lambda1)) (cos (/ -1 lambda2))) (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2)))))) in lambda1
3.272 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (+ (* (cos (/ -1 lambda1)) (cos (/ -1 lambda2))) (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2)))))) in lambda2
3.283 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (+ (* (cos (/ -1 lambda1)) (cos (/ -1 lambda2))) (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2)))))) in lambda1
3.283 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (+ (* (cos (/ -1 lambda1)) (cos (/ -1 lambda2))) (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2)))))) in lambda2
3.293 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (+ (* (cos (/ -1 lambda1)) (cos (/ -1 lambda2))) (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2)))))) in lambda2
3.318 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (+ (* (cos (/ -1 lambda1)) (cos (/ -1 lambda2))) (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2)))))) in phi2
3.318 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (+ (* (cos (/ -1 lambda1)) (cos (/ -1 lambda2))) (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2)))))) in lambda1
3.318 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (+ (* (cos (/ -1 lambda1)) (cos (/ -1 lambda2))) (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2)))))) in lambda2
3.318 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (+ (* (cos (/ -1 lambda1)) (cos (/ -1 lambda2))) (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2)))))) in lambda1
3.319 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 phi2)) (+ (* (cos (/ -1 lambda1)) (cos (/ -1 lambda2))) (* (sin (/ -1 lambda1)) (sin (/ -1 lambda2)))))) in lambda2
3.319 * * * [progress]: simplifying candidates
3.320 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (- (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))
  (* (cos phi1) (sin phi2))
  (+ (log (cos phi1)) (log (sin phi2)))
  (log (* (cos phi1) (sin phi2)))
  (exp (* (cos phi1) (sin phi2)))
  (* (* (* (cos phi1) (cos phi1)) (cos phi1)) (* (* (sin phi2) (sin phi2)) (sin phi2)))
  (* (cbrt (* (cos phi1) (sin phi2))) (cbrt (* (cos phi1) (sin phi2))))
  (cbrt (* (cos phi1) (sin phi2)))
  (* (* (* (cos phi1) (sin phi2)) (* (cos phi1) (sin phi2))) (* (cos phi1) (sin phi2)))
  (sqrt (* (cos phi1) (sin phi2)))
  (sqrt (* (cos phi1) (sin phi2)))
  (* (sqrt (cos phi1)) (sqrt (sin phi2)))
  (* (sqrt (cos phi1)) (sqrt (sin phi2)))
  (* (cos phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2))))
  (* (cos phi1) (sqrt (sin phi2)))
  (* (cos phi1) 1)
  (* (cbrt (cos phi1)) (sin phi2))
  (* (sqrt (cos phi1)) (sin phi2))
  (* (cos phi1) (sin phi2))
  (+ (sin (- lambda1 lambda2)) (sin (+ lambda1 lambda2)))
  (* (sin lambda1) (cos lambda2))
  (+ (log (sin lambda1)) (log (cos lambda2)))
  (log (* (sin lambda1) (cos lambda2)))
  (exp (* (sin lambda1) (cos lambda2)))
  (* (* (* (sin lambda1) (sin lambda1)) (sin lambda1)) (* (* (cos lambda2) (cos lambda2)) (cos lambda2)))
  (* (cbrt (* (sin lambda1) (cos lambda2))) (cbrt (* (sin lambda1) (cos lambda2))))
  (cbrt (* (sin lambda1) (cos lambda2)))
  (* (* (* (sin lambda1) (cos lambda2)) (* (sin lambda1) (cos lambda2))) (* (sin lambda1) (cos lambda2)))
  (sqrt (* (sin lambda1) (cos lambda2)))
  (sqrt (* (sin lambda1) (cos lambda2)))
  (* (sqrt (sin lambda1)) (sqrt (cos lambda2)))
  (* (sqrt (sin lambda1)) (sqrt (cos lambda2)))
  (* (sin lambda1) (* (cbrt (cos lambda2)) (cbrt (cos lambda2))))
  (* (sin lambda1) (sqrt (cos lambda2)))
  (* (sin lambda1) 1)
  (* (cbrt (sin lambda1)) (cos lambda2))
  (* (sqrt (sin lambda1)) (cos lambda2))
  (* (sin lambda1) (cos lambda2))
  (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))
  (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))
  (+ (+ (log (sin phi1)) (log (cos phi2))) (log (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
  (+ (log (* (sin phi1) (cos phi2))) (log (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
  (log (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
  (exp (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
  (* (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (cos phi2) (cos phi2)) (cos phi2))) (* (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
  (* (* (* (* (sin phi1) (cos phi2)) (* (sin phi1) (cos phi2))) (* (sin phi1) (cos phi2))) (* (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
  (* (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
  (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
  (* (* (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
  (sqrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
  (sqrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
  (* (+ (sin (- phi1 phi2)) (sin (+ phi1 phi2))) (+ (* (+ (cos (+ lambda1 lambda2)) (cos (- lambda1 lambda2))) 2) (* 2 (- (cos (- lambda1 lambda2)) (cos (+ lambda1 lambda2))))))
  (* 2 (* 2 2))
  (* (+ (sin (- phi1 phi2)) (sin (+ phi1 phi2))) (+ (pow (* (cos lambda1) (cos lambda2)) 3) (pow (* (sin lambda1) (sin lambda2)) 3)))
  (* 2 (+ (* (* (cos lambda1) (cos lambda2)) (* (cos lambda1) (cos lambda2))) (- (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2))) (* (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
  (* (+ (sin (- phi1 phi2)) (sin (+ phi1 phi2))) (- (* (* (cos lambda1) (cos lambda2)) (* (cos lambda1) (cos lambda2))) (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2)))))
  (* 2 (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))
  (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))
  (* (* (cos lambda1) (cos lambda2)) (* (sin phi1) (cos phi2)))
  (* (* (sin lambda1) (sin lambda2)) (* (sin phi1) (cos phi2)))
  (* (* (sin phi1) (cos phi2)) (* (cbrt (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cbrt (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
  (* (* (sin phi1) (cos phi2)) (sqrt (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
  (* (* (sin phi1) (cos phi2)) 1)
  (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))
  (* (* (sin phi1) (cos phi2)) (+ (* (+ (cos (+ lambda1 lambda2)) (cos (- lambda1 lambda2))) 2) (* 2 (- (cos (- lambda1 lambda2)) (cos (+ lambda1 lambda2))))))
  (* (* (sin phi1) (cos phi2)) (+ (pow (* (cos lambda1) (cos lambda2)) 3) (pow (* (sin lambda1) (sin lambda2)) 3)))
  (* (* (sin phi1) (cos phi2)) (- (* (* (cos lambda1) (cos lambda2)) (* (cos lambda1) (cos lambda2))) (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2)))))
  (* (+ (sin (- phi1 phi2)) (sin (+ phi1 phi2))) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))
  (* lambda2 lambda1)
  (* (sin lambda1) (sin lambda2))
  (* (sin lambda1) (sin lambda2))
  (- phi2 (+ (* 1/2 (* phi2 (pow phi1 2))) (* 1/6 (pow phi2 3))))
  (* (cos phi1) (sin phi2))
  (* (cos phi1) (sin phi2))
  (- lambda1 (+ (* 1/2 (* (pow lambda2 2) lambda1)) (* 1/6 (pow lambda1 3))))
  (* (sin lambda1) (cos lambda2))
  (* (sin lambda1) (cos lambda2))
  phi1
  (* (sin phi1) (* (+ (* (sin lambda1) (sin lambda2)) (* (cos lambda1) (cos lambda2))) (cos phi2)))
  (* (sin phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
3.326 * * [simplify]: iteration  0 :  506  enodes  (cost  785 )
3.337 * * [simplify]: iteration  1 :  2326  enodes  (cost  680 )
3.383 * * [simplify]: iteration  2 :  5001  enodes  (cost  679 )
3.390 * [simplify]: Simplified to:
  (- (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))
  (* (cos phi1) (sin phi2))
  (log (* (cos phi1) (sin phi2)))
  (log (* (cos phi1) (sin phi2)))
  (exp (* (cos phi1) (sin phi2)))
  (pow (* (cos phi1) (sin phi2)) 3)
  (* (cbrt (* (cos phi1) (sin phi2))) (cbrt (* (cos phi1) (sin phi2))))
  (cbrt (* (cos phi1) (sin phi2)))
  (pow (* (cos phi1) (sin phi2)) 3)
  (sqrt (* (cos phi1) (sin phi2)))
  (sqrt (* (cos phi1) (sin phi2)))
  (* (sqrt (cos phi1)) (sqrt (sin phi2)))
  (* (sqrt (cos phi1)) (sqrt (sin phi2)))
  (* (cos phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2))))
  (* (cos phi1) (sqrt (sin phi2)))
  (cos phi1)
  (* (cbrt (cos phi1)) (sin phi2))
  (* (sqrt (cos phi1)) (sin phi2))
  (* (cos phi1) (sin phi2))
  (+ (sin (- lambda1 lambda2)) (sin (+ lambda1 lambda2)))
  (* (sin lambda1) (cos lambda2))
  (log (* (sin lambda1) (cos lambda2)))
  (log (* (sin lambda1) (cos lambda2)))
  (exp (* (sin lambda1) (cos lambda2)))
  (pow (* (sin lambda1) (cos lambda2)) 3)
  (* (cbrt (* (sin lambda1) (cos lambda2))) (cbrt (* (sin lambda1) (cos lambda2))))
  (cbrt (* (sin lambda1) (cos lambda2)))
  (pow (* (sin lambda1) (cos lambda2)) 3)
  (sqrt (* (sin lambda1) (cos lambda2)))
  (sqrt (* (sin lambda1) (cos lambda2)))
  (* (sqrt (sin lambda1)) (sqrt (cos lambda2)))
  (* (sqrt (sin lambda1)) (sqrt (cos lambda2)))
  (* (sin lambda1) (* (cbrt (cos lambda2)) (cbrt (cos lambda2))))
  (* (sin lambda1) (sqrt (cos lambda2)))
  (sin lambda1)
  (* (cbrt (sin lambda1)) (cos lambda2))
  (* (sqrt (sin lambda1)) (cos lambda2))
  (* (sin lambda1) (cos lambda2))
  (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))
  (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))
  (log (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
  (log (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
  (log (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
  (exp (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
  (pow (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) 3)
  (pow (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) 3)
  (* (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
  (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
  (pow (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) 3)
  (sqrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
  (sqrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
  (* (* (+ (sin (- phi1 phi2)) (sin (+ phi1 phi2))) 2) (+ (+ (cos (+ lambda1 lambda2)) (cos (- lambda1 lambda2))) (- (cos (- lambda1 lambda2)) (cos (+ lambda1 lambda2)))))
  8
  (* (+ (sin (- phi1 phi2)) (sin (+ phi1 phi2))) (+ (pow (* (cos lambda1) (cos lambda2)) 3) (pow (* (sin lambda1) (sin lambda2)) 3)))
  (* (+ (* (* (sin lambda1) (sin lambda2)) (- (* (sin lambda1) (sin lambda2)) (* (cos lambda1) (cos lambda2)))) (* (* (cos lambda1) (cos lambda2)) (* (cos lambda1) (cos lambda2)))) 2)
  (* (+ (sin (- phi1 phi2)) (sin (+ phi1 phi2))) (- (* (* (cos lambda1) (cos lambda2)) (* (cos lambda1) (cos lambda2))) (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2)))))
  (* 2 (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))
  (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))
  (* (* (sin phi1) (cos phi2)) (* (cbrt (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cbrt (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
  (* (* (sin phi1) (cos phi2)) (sqrt (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
  (* (sin phi1) (cos phi2))
  (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))
  (* (* (sin phi1) (cos phi2)) (* 2 (+ (- (cos (- lambda1 lambda2)) (cos (+ lambda1 lambda2))) (+ (cos (+ lambda1 lambda2)) (cos (- lambda1 lambda2))))))
  (* (* (sin phi1) (cos phi2)) (+ (pow (* (cos lambda1) (cos lambda2)) 3) (pow (* (sin lambda1) (sin lambda2)) 3)))
  (* (* (sin phi1) (cos phi2)) (- (* (* (cos lambda1) (cos lambda2)) (* (cos lambda1) (cos lambda2))) (* (* (sin lambda1) (sin lambda2)) (* (sin lambda1) (sin lambda2)))))
  (* (+ (sin (- phi1 phi2)) (sin (+ phi1 phi2))) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))
  (* lambda2 lambda1)
  (* (sin lambda1) (sin lambda2))
  (* (sin lambda1) (sin lambda2))
  (- phi2 (+ (* 1/2 (* phi2 (pow phi1 2))) (* 1/6 (pow phi2 3))))
  (* (cos phi1) (sin phi2))
  (* (cos phi1) (sin phi2))
  (- lambda1 (+ (* 1/2 (* (pow lambda2 2) lambda1)) (* 1/6 (pow lambda1 3))))
  (* (sin lambda1) (cos lambda2))
  (* (sin lambda1) (cos lambda2))
  phi1
  (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))
  (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))
3.391 * * * [progress]: adding candidates to table
3.965 * [progress]: [Phase 3 of 3] Extracting.
3.965 * * [regime]: Finding splitpoints for: (#<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (log (exp (* (cos phi1) (sin phi2)))) (+ (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (* (cbrt (* (cos phi1) (sin phi2))) (cbrt (* (cos phi1) (sin phi2)))) (cbrt (* (cos phi1) (sin phi2)))) (+ (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (sqrt (* (cos phi1) (sin phi2))) (sqrt (* (cos phi1) (sin phi2)))) (+ (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (- (* (cos phi1) (sin phi2)) (log (exp (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (log (exp (sin (- lambda1 lambda2)))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (cbrt (pow (sin (- lambda1 lambda2)) 3)) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (- (cbrt (pow (* (cos phi1) (sin phi2)) 3)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (log (exp (* (sin lambda1) (cos lambda2)))) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (+ (cbrt (pow (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) 3)) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))))>)
3.977 * * * [regime-changes]: Trying 5 branch expressions: ((- lambda1 lambda2) phi2 phi1 lambda2 lambda1)
3.977 * * * * [regimes]: Trying to branch on (- lambda1 lambda2) from (#<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (log (exp (* (cos phi1) (sin phi2)))) (+ (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (* (cbrt (* (cos phi1) (sin phi2))) (cbrt (* (cos phi1) (sin phi2)))) (cbrt (* (cos phi1) (sin phi2)))) (+ (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (sqrt (* (cos phi1) (sin phi2))) (sqrt (* (cos phi1) (sin phi2)))) (+ (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (- (* (cos phi1) (sin phi2)) (log (exp (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (log (exp (sin (- lambda1 lambda2)))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (cbrt (pow (sin (- lambda1 lambda2)) 3)) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (- (cbrt (pow (* (cos phi1) (sin phi2)) 3)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (log (exp (* (sin lambda1) (cos lambda2)))) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (+ (cbrt (pow (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) 3)) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))))>)
4.104 * * * * [regimes]: Trying to branch on (- lambda1 lambda2) from (#<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (- (* (cos phi1) (sin phi2)) (log (exp (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (log (exp (sin (- lambda1 lambda2)))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (cbrt (pow (sin (- lambda1 lambda2)) 3)) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (- (cbrt (pow (* (cos phi1) (sin phi2)) 3)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))>)
4.175 * * * * [regimes]: Trying to branch on phi2 from (#<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (log (exp (* (cos phi1) (sin phi2)))) (+ (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (* (cbrt (* (cos phi1) (sin phi2))) (cbrt (* (cos phi1) (sin phi2)))) (cbrt (* (cos phi1) (sin phi2)))) (+ (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (sqrt (* (cos phi1) (sin phi2))) (sqrt (* (cos phi1) (sin phi2)))) (+ (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (- (* (cos phi1) (sin phi2)) (log (exp (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (log (exp (sin (- lambda1 lambda2)))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (cbrt (pow (sin (- lambda1 lambda2)) 3)) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (- (cbrt (pow (* (cos phi1) (sin phi2)) 3)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (log (exp (* (sin lambda1) (cos lambda2)))) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (+ (cbrt (pow (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) 3)) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))))>)
4.297 * * * * [regimes]: Trying to branch on phi1 from (#<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (log (exp (* (cos phi1) (sin phi2)))) (+ (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (* (cbrt (* (cos phi1) (sin phi2))) (cbrt (* (cos phi1) (sin phi2)))) (cbrt (* (cos phi1) (sin phi2)))) (+ (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (sqrt (* (cos phi1) (sin phi2))) (sqrt (* (cos phi1) (sin phi2)))) (+ (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (- (* (cos phi1) (sin phi2)) (log (exp (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (log (exp (sin (- lambda1 lambda2)))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (cbrt (pow (sin (- lambda1 lambda2)) 3)) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (- (cbrt (pow (* (cos phi1) (sin phi2)) 3)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (log (exp (* (sin lambda1) (cos lambda2)))) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (+ (cbrt (pow (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) 3)) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))))>)
4.423 * * * * [regimes]: Trying to branch on lambda2 from (#<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (log (exp (* (cos phi1) (sin phi2)))) (+ (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (* (cbrt (* (cos phi1) (sin phi2))) (cbrt (* (cos phi1) (sin phi2)))) (cbrt (* (cos phi1) (sin phi2)))) (+ (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (sqrt (* (cos phi1) (sin phi2))) (sqrt (* (cos phi1) (sin phi2)))) (+ (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (- (* (cos phi1) (sin phi2)) (log (exp (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (log (exp (sin (- lambda1 lambda2)))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (cbrt (pow (sin (- lambda1 lambda2)) 3)) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (- (cbrt (pow (* (cos phi1) (sin phi2)) 3)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (log (exp (* (sin lambda1) (cos lambda2)))) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (+ (cbrt (pow (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) 3)) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))))>)
4.547 * * * * [regimes]: Trying to branch on lambda1 from (#<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (log (exp (* (cos phi1) (sin phi2)))) (+ (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (* (cbrt (* (cos phi1) (sin phi2))) (cbrt (* (cos phi1) (sin phi2)))) (cbrt (* (cos phi1) (sin phi2)))) (+ (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (sqrt (* (cos phi1) (sin phi2))) (sqrt (* (cos phi1) (sin phi2)))) (+ (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (- (* (cos phi1) (sin phi2)) (log (exp (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (log (exp (sin (- lambda1 lambda2)))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (cbrt (pow (sin (- lambda1 lambda2)) 3)) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (- (cbrt (pow (* (cos phi1) (sin phi2)) 3)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (log (exp (* (sin lambda1) (cos lambda2)))) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))))> #<alt (λ (lambda1 lambda2 phi1 phi2) (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (+ (cbrt (pow (* (* (sin phi1) (cos phi2)) (* (cos lambda1) (cos lambda2))) 3)) (* (* (sin phi1) (cos phi2)) (* (sin lambda1) (sin lambda2)))))))>)
4.671 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
4.672 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))))
4.672 * * [simplify]: iteration  0 :  37  enodes  (cost  52 )
4.673 * * [simplify]: iteration  1 :  37  enodes  (cost  52 )
4.673 * [simplify]: Simplified to:
  (atan2 (* (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))) (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) (cbrt (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))))