8.691 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.247 * * * [progress]: [2/2] Setting up program. 0.251 * [progress]: [Phase 2 of 3] Improving. 0.251 * [simplify]: Simplifying using # : (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R) 0.252 * * [simplify]: iteration 0 : 17 enodes (cost 19 ) 0.254 * * [simplify]: iteration 1 : 26 enodes (cost 19 ) 0.257 * * [simplify]: iteration 2 : 33 enodes (cost 19 ) 0.261 * * [simplify]: iteration 3 : 34 enodes (cost 19 ) 0.270 * * [simplify]: iteration done : 34 enodes (cost 19 ) 0.270 * [simplify]: Simplified to: (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R) 0.270 * * [progress]: iteration 1 / 4 0.271 * * * [progress]: picking best candidate 0.275 * * * * [pick]: Picked # 0.275 * * * [progress]: localizing error 0.300 * * * [progress]: generating rewritten candidates 0.300 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2) 0.305 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.305 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 0.309 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.313 * * * [progress]: generating series expansions 0.314 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2) 0.314 * [approximate]: Taking taylor expansion of (cos (- lambda1 lambda2)) in (lambda1 lambda2) around 0 0.314 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda2 0.314 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 0.314 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.314 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.314 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda1 0.314 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 0.314 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.314 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.314 * [taylor]: Taking taylor expansion of (cos (- lambda1 lambda2)) in lambda1 0.314 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 0.314 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.314 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.315 * [taylor]: Taking taylor expansion of (cos (- lambda2)) in lambda2 0.315 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 0.315 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.317 * [taylor]: Taking taylor expansion of (- (sin (- lambda2))) in lambda2 0.317 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 0.317 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 0.317 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.321 * [taylor]: Taking taylor expansion of (- (* 1/2 (cos (- lambda2)))) in lambda2 0.321 * [taylor]: Taking taylor expansion of (* 1/2 (cos (- lambda2))) in lambda2 0.321 * [taylor]: Taking taylor expansion of 1/2 in lambda2 0.321 * [taylor]: Taking taylor expansion of (cos (- lambda2)) in lambda2 0.321 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 0.321 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.323 * [approximate]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in (lambda1 lambda2) around 0 0.323 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 0.323 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 0.323 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.323 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.323 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.323 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.324 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 0.324 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 0.324 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.324 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.324 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.324 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.325 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 0.325 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 0.325 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.325 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.325 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.325 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.325 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 0.325 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 0.325 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.325 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.325 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.325 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.326 * [taylor]: Taking taylor expansion of 0 in lambda2 0.326 * [taylor]: Taking taylor expansion of 0 in lambda2 0.326 * [taylor]: Taking taylor expansion of 0 in lambda2 0.327 * [approximate]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in (lambda1 lambda2) around 0 0.327 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 0.327 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 0.327 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.327 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.327 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.327 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.327 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 0.327 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 0.327 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.327 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.327 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.327 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.328 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 0.328 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 0.328 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.328 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.328 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.328 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.329 * [taylor]: Taking taylor expansion of (cos (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 0.329 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 0.329 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.329 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.329 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.329 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.330 * [taylor]: Taking taylor expansion of 0 in lambda2 0.330 * [taylor]: Taking taylor expansion of 0 in lambda2 0.330 * [taylor]: Taking taylor expansion of 0 in lambda2 0.330 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.330 * [approximate]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in (phi1 phi2 lambda1 lambda2) around 0 0.330 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in lambda2 0.332 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in lambda1 0.332 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in phi2 0.332 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in phi1 0.332 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in phi1 0.332 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in phi2 0.333 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in lambda1 0.333 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in lambda2 0.333 * [taylor]: Taking taylor expansion of 0 in phi2 0.333 * [taylor]: Taking taylor expansion of 0 in lambda1 0.333 * [taylor]: Taking taylor expansion of 0 in lambda2 0.333 * [taylor]: Taking taylor expansion of 0 in lambda1 0.333 * [taylor]: Taking taylor expansion of 0 in lambda2 0.333 * [taylor]: Taking taylor expansion of 0 in lambda2 0.333 * [taylor]: Taking taylor expansion of 0 in phi2 0.333 * [taylor]: Taking taylor expansion of 0 in lambda1 0.333 * [taylor]: Taking taylor expansion of 0 in lambda2 0.333 * [taylor]: Taking taylor expansion of 0 in lambda1 0.333 * [taylor]: Taking taylor expansion of 0 in lambda2 0.334 * [approximate]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in (phi1 phi2 lambda1 lambda2) around 0 0.334 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda2 0.334 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda1 0.334 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in phi2 0.335 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in phi1 0.335 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in phi1 0.335 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in phi2 0.336 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda1 0.336 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda2 0.337 * [taylor]: Taking taylor expansion of 0 in phi2 0.337 * [taylor]: Taking taylor expansion of 0 in lambda1 0.337 * [taylor]: Taking taylor expansion of 0 in lambda2 0.337 * [taylor]: Taking taylor expansion of 0 in lambda1 0.337 * [taylor]: Taking taylor expansion of 0 in lambda2 0.337 * [taylor]: Taking taylor expansion of 0 in lambda2 0.337 * [taylor]: Taking taylor expansion of 0 in phi2 0.337 * [taylor]: Taking taylor expansion of 0 in lambda1 0.337 * [taylor]: Taking taylor expansion of 0 in lambda2 0.337 * [taylor]: Taking taylor expansion of 0 in lambda1 0.337 * [taylor]: Taking taylor expansion of 0 in lambda2 0.337 * [approximate]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in (phi1 phi2 lambda1 lambda2) around 0 0.337 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in lambda2 0.338 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in lambda1 0.338 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in phi2 0.338 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in phi1 0.339 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in phi1 0.339 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in phi2 0.339 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in lambda1 0.339 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in lambda2 0.340 * [taylor]: Taking taylor expansion of 0 in phi2 0.340 * [taylor]: Taking taylor expansion of 0 in lambda1 0.340 * [taylor]: Taking taylor expansion of 0 in lambda2 0.340 * [taylor]: Taking taylor expansion of 0 in lambda1 0.340 * [taylor]: Taking taylor expansion of 0 in lambda2 0.340 * [taylor]: Taking taylor expansion of 0 in lambda2 0.340 * [taylor]: Taking taylor expansion of 0 in phi2 0.340 * [taylor]: Taking taylor expansion of 0 in lambda1 0.340 * [taylor]: Taking taylor expansion of 0 in lambda2 0.340 * [taylor]: Taking taylor expansion of 0 in lambda1 0.340 * [taylor]: Taking taylor expansion of 0 in lambda2 0.341 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 0.341 * [approximate]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in (phi1 phi2) around 0 0.341 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi2 0.341 * [taylor]: Taking taylor expansion of (sin phi1) in phi2 0.341 * [taylor]: Taking taylor expansion of phi1 in phi2 0.341 * [taylor]: Taking taylor expansion of (sin phi2) in phi2 0.341 * [taylor]: Taking taylor expansion of phi2 in phi2 0.341 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi1 0.341 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 0.341 * [taylor]: Taking taylor expansion of phi1 in phi1 0.341 * [taylor]: Taking taylor expansion of (sin phi2) in phi1 0.341 * [taylor]: Taking taylor expansion of phi2 in phi1 0.341 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi1 0.341 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 0.341 * [taylor]: Taking taylor expansion of phi1 in phi1 0.341 * [taylor]: Taking taylor expansion of (sin phi2) in phi1 0.341 * [taylor]: Taking taylor expansion of phi2 in phi1 0.341 * [taylor]: Taking taylor expansion of 0 in phi2 0.343 * [taylor]: Taking taylor expansion of (sin phi2) in phi2 0.343 * [taylor]: Taking taylor expansion of phi2 in phi2 0.346 * [taylor]: Taking taylor expansion of 0 in phi2 0.350 * [taylor]: Taking taylor expansion of (- (* 1/6 (sin phi2))) in phi2 0.351 * [taylor]: Taking taylor expansion of (* 1/6 (sin phi2)) in phi2 0.351 * [taylor]: Taking taylor expansion of 1/6 in phi2 0.351 * [taylor]: Taking taylor expansion of (sin phi2) in phi2 0.351 * [taylor]: Taking taylor expansion of phi2 in phi2 0.357 * [taylor]: Taking taylor expansion of 0 in phi2 0.357 * [approximate]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in (phi1 phi2) around 0 0.357 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi2 0.357 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi2 0.357 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 0.357 * [taylor]: Taking taylor expansion of phi1 in phi2 0.357 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi2 0.357 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 0.357 * [taylor]: Taking taylor expansion of phi2 in phi2 0.357 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi1 0.357 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 0.357 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.357 * [taylor]: Taking taylor expansion of phi1 in phi1 0.358 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi1 0.358 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 0.358 * [taylor]: Taking taylor expansion of phi2 in phi1 0.358 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi1 0.358 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 0.358 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.358 * [taylor]: Taking taylor expansion of phi1 in phi1 0.358 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi1 0.358 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 0.358 * [taylor]: Taking taylor expansion of phi2 in phi1 0.358 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi2 0.358 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi2 0.358 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 0.359 * [taylor]: Taking taylor expansion of phi1 in phi2 0.359 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi2 0.359 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 0.359 * [taylor]: Taking taylor expansion of phi2 in phi2 0.361 * [taylor]: Taking taylor expansion of 0 in phi2 0.369 * [taylor]: Taking taylor expansion of 0 in phi2 0.374 * [taylor]: Taking taylor expansion of 0 in phi2 0.375 * [approximate]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in (phi1 phi2) around 0 0.375 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi2 0.375 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi2 0.375 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi2 0.375 * [taylor]: Taking taylor expansion of -1 in phi2 0.375 * [taylor]: Taking taylor expansion of phi1 in phi2 0.375 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi2 0.375 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi2 0.375 * [taylor]: Taking taylor expansion of -1 in phi2 0.375 * [taylor]: Taking taylor expansion of phi2 in phi2 0.375 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi1 0.375 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 0.375 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 0.375 * [taylor]: Taking taylor expansion of -1 in phi1 0.375 * [taylor]: Taking taylor expansion of phi1 in phi1 0.376 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi1 0.376 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi1 0.376 * [taylor]: Taking taylor expansion of -1 in phi1 0.376 * [taylor]: Taking taylor expansion of phi2 in phi1 0.376 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi1 0.376 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 0.376 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 0.376 * [taylor]: Taking taylor expansion of -1 in phi1 0.376 * [taylor]: Taking taylor expansion of phi1 in phi1 0.376 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi1 0.376 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi1 0.376 * [taylor]: Taking taylor expansion of -1 in phi1 0.376 * [taylor]: Taking taylor expansion of phi2 in phi1 0.377 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi2 0.377 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi2 0.377 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi2 0.377 * [taylor]: Taking taylor expansion of -1 in phi2 0.377 * [taylor]: Taking taylor expansion of phi1 in phi2 0.377 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi2 0.377 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi2 0.377 * [taylor]: Taking taylor expansion of -1 in phi2 0.377 * [taylor]: Taking taylor expansion of phi2 in phi2 0.379 * [taylor]: Taking taylor expansion of 0 in phi2 0.383 * [taylor]: Taking taylor expansion of 0 in phi2 0.388 * [taylor]: Taking taylor expansion of 0 in phi2 0.389 * * * * [progress]: [ 4 / 4 ] generating series at (2) 0.389 * [approximate]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) in (phi1 phi2 lambda1 lambda2 R) around 0 0.389 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) in R 0.389 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in R 0.389 * [taylor]: Taking taylor expansion of R in R 0.389 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) in lambda2 0.389 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in lambda2 0.389 * [taylor]: Taking taylor expansion of R in lambda2 0.389 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) in lambda1 0.389 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in lambda1 0.390 * [taylor]: Taking taylor expansion of R in lambda1 0.390 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) in phi2 0.390 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in phi2 0.390 * [taylor]: Taking taylor expansion of R in phi2 0.390 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) in phi1 0.390 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in phi1 0.390 * [taylor]: Taking taylor expansion of R in phi1 0.390 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) in phi1 0.390 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in phi1 0.390 * [taylor]: Taking taylor expansion of R in phi1 0.391 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) in phi2 0.391 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in phi2 0.391 * [taylor]: Taking taylor expansion of R in phi2 0.391 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) in lambda1 0.391 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in lambda1 0.391 * [taylor]: Taking taylor expansion of R in lambda1 0.391 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) in lambda2 0.391 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in lambda2 0.392 * [taylor]: Taking taylor expansion of R in lambda2 0.392 * [taylor]: Taking taylor expansion of (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) in R 0.392 * [taylor]: Taking taylor expansion of (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) in R 0.392 * [taylor]: Taking taylor expansion of R in R 0.392 * [taylor]: Taking taylor expansion of 0 in phi2 0.392 * [taylor]: Taking taylor expansion of 0 in lambda1 0.393 * [taylor]: Taking taylor expansion of 0 in lambda2 0.393 * [taylor]: Taking taylor expansion of 0 in R 0.393 * [taylor]: Taking taylor expansion of 0 in lambda1 0.393 * [taylor]: Taking taylor expansion of 0 in lambda2 0.393 * [taylor]: Taking taylor expansion of 0 in R 0.393 * [taylor]: Taking taylor expansion of 0 in lambda2 0.393 * [taylor]: Taking taylor expansion of 0 in R 0.393 * [taylor]: Taking taylor expansion of 0 in R 0.395 * [taylor]: Taking taylor expansion of 0 in phi2 0.395 * [taylor]: Taking taylor expansion of 0 in lambda1 0.395 * [taylor]: Taking taylor expansion of 0 in lambda2 0.395 * [taylor]: Taking taylor expansion of 0 in R 0.395 * [taylor]: Taking taylor expansion of 0 in lambda1 0.395 * [taylor]: Taking taylor expansion of 0 in lambda2 0.395 * [taylor]: Taking taylor expansion of 0 in R 0.395 * [taylor]: Taking taylor expansion of 0 in lambda1 0.395 * [taylor]: Taking taylor expansion of 0 in lambda2 0.395 * [taylor]: Taking taylor expansion of 0 in R 0.396 * [taylor]: Taking taylor expansion of 0 in lambda2 0.396 * [taylor]: Taking taylor expansion of 0 in R 0.396 * [taylor]: Taking taylor expansion of 0 in lambda2 0.396 * [taylor]: Taking taylor expansion of 0 in R 0.396 * [taylor]: Taking taylor expansion of 0 in lambda2 0.396 * [taylor]: Taking taylor expansion of 0 in R 0.397 * [approximate]: Taking taylor expansion of (/ (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) R) in (phi1 phi2 lambda1 lambda2 R) around 0 0.397 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) R) in R 0.397 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in R 0.397 * [taylor]: Taking taylor expansion of R in R 0.398 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) R) in lambda2 0.398 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda2 0.398 * [taylor]: Taking taylor expansion of R in lambda2 0.398 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) R) in lambda1 0.398 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda1 0.399 * [taylor]: Taking taylor expansion of R in lambda1 0.399 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) R) in phi2 0.399 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in phi2 0.399 * [taylor]: Taking taylor expansion of R in phi2 0.399 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) R) in phi1 0.399 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in phi1 0.400 * [taylor]: Taking taylor expansion of R in phi1 0.400 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) R) in phi1 0.400 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in phi1 0.400 * [taylor]: Taking taylor expansion of R in phi1 0.401 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) R) in phi2 0.401 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in phi2 0.401 * [taylor]: Taking taylor expansion of R in phi2 0.401 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) R) in lambda1 0.401 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda1 0.402 * [taylor]: Taking taylor expansion of R in lambda1 0.402 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) R) in lambda2 0.402 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda2 0.402 * [taylor]: Taking taylor expansion of R in lambda2 0.403 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) R) in R 0.403 * [taylor]: Taking taylor expansion of (acos (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi1)) (* (cos (/ 1 phi2)) (cos (- (/ 1 lambda1) (/ 1 lambda2))))))) in R 0.403 * [taylor]: Taking taylor expansion of R in R 0.404 * [taylor]: Taking taylor expansion of 0 in phi2 0.404 * [taylor]: Taking taylor expansion of 0 in lambda1 0.404 * [taylor]: Taking taylor expansion of 0 in lambda2 0.404 * [taylor]: Taking taylor expansion of 0 in R 0.404 * [taylor]: Taking taylor expansion of 0 in lambda1 0.404 * [taylor]: Taking taylor expansion of 0 in lambda2 0.404 * [taylor]: Taking taylor expansion of 0 in R 0.405 * [taylor]: Taking taylor expansion of 0 in lambda2 0.405 * [taylor]: Taking taylor expansion of 0 in R 0.405 * [taylor]: Taking taylor expansion of 0 in R 0.406 * [taylor]: Taking taylor expansion of 0 in phi2 0.406 * [taylor]: Taking taylor expansion of 0 in lambda1 0.406 * [taylor]: Taking taylor expansion of 0 in lambda2 0.406 * [taylor]: Taking taylor expansion of 0 in R 0.407 * [taylor]: Taking taylor expansion of 0 in lambda1 0.407 * [taylor]: Taking taylor expansion of 0 in lambda2 0.407 * [taylor]: Taking taylor expansion of 0 in R 0.407 * [taylor]: Taking taylor expansion of 0 in lambda1 0.407 * [taylor]: Taking taylor expansion of 0 in lambda2 0.407 * [taylor]: Taking taylor expansion of 0 in R 0.407 * [taylor]: Taking taylor expansion of 0 in lambda2 0.407 * [taylor]: Taking taylor expansion of 0 in R 0.407 * [taylor]: Taking taylor expansion of 0 in lambda2 0.407 * [taylor]: Taking taylor expansion of 0 in R 0.407 * [taylor]: Taking taylor expansion of 0 in lambda2 0.408 * [taylor]: Taking taylor expansion of 0 in R 0.408 * [taylor]: Taking taylor expansion of 0 in R 0.408 * [taylor]: Taking taylor expansion of 0 in R 0.408 * [taylor]: Taking taylor expansion of 0 in R 0.408 * [taylor]: Taking taylor expansion of 0 in R 0.410 * [approximate]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R)) in (phi1 phi2 lambda1 lambda2 R) around 0 0.410 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R)) in R 0.410 * [taylor]: Taking taylor expansion of -1 in R 0.410 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R) in R 0.410 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in R 0.411 * [taylor]: Taking taylor expansion of R in R 0.411 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R)) in lambda2 0.411 * [taylor]: Taking taylor expansion of -1 in lambda2 0.411 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R) in lambda2 0.411 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in lambda2 0.411 * [taylor]: Taking taylor expansion of R in lambda2 0.412 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R)) in lambda1 0.412 * [taylor]: Taking taylor expansion of -1 in lambda1 0.412 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R) in lambda1 0.412 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in lambda1 0.412 * [taylor]: Taking taylor expansion of R in lambda1 0.412 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R)) in phi2 0.412 * [taylor]: Taking taylor expansion of -1 in phi2 0.412 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R) in phi2 0.412 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in phi2 0.413 * [taylor]: Taking taylor expansion of R in phi2 0.413 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R)) in phi1 0.413 * [taylor]: Taking taylor expansion of -1 in phi1 0.413 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R) in phi1 0.413 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in phi1 0.413 * [taylor]: Taking taylor expansion of R in phi1 0.413 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R)) in phi1 0.413 * [taylor]: Taking taylor expansion of -1 in phi1 0.413 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R) in phi1 0.413 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in phi1 0.414 * [taylor]: Taking taylor expansion of R in phi1 0.414 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R)) in phi2 0.414 * [taylor]: Taking taylor expansion of -1 in phi2 0.414 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R) in phi2 0.414 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in phi2 0.415 * [taylor]: Taking taylor expansion of R in phi2 0.415 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R)) in lambda1 0.415 * [taylor]: Taking taylor expansion of -1 in lambda1 0.415 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R) in lambda1 0.415 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in lambda1 0.416 * [taylor]: Taking taylor expansion of R in lambda1 0.416 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R)) in lambda2 0.416 * [taylor]: Taking taylor expansion of -1 in lambda2 0.416 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R) in lambda2 0.416 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in lambda2 0.416 * [taylor]: Taking taylor expansion of R in lambda2 0.417 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R)) in R 0.417 * [taylor]: Taking taylor expansion of -1 in R 0.417 * [taylor]: Taking taylor expansion of (/ (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) R) in R 0.417 * [taylor]: Taking taylor expansion of (acos (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 phi2)) (cos (- (/ 1 lambda2) (/ 1 lambda1))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2))))) in R 0.417 * [taylor]: Taking taylor expansion of R in R 0.419 * [taylor]: Taking taylor expansion of 0 in phi2 0.419 * [taylor]: Taking taylor expansion of 0 in lambda1 0.419 * [taylor]: Taking taylor expansion of 0 in lambda2 0.419 * [taylor]: Taking taylor expansion of 0 in R 0.420 * [taylor]: Taking taylor expansion of 0 in lambda1 0.420 * [taylor]: Taking taylor expansion of 0 in lambda2 0.420 * [taylor]: Taking taylor expansion of 0 in R 0.421 * [taylor]: Taking taylor expansion of 0 in lambda2 0.421 * [taylor]: Taking taylor expansion of 0 in R 0.422 * [taylor]: Taking taylor expansion of 0 in R 0.425 * [taylor]: Taking taylor expansion of 0 in phi2 0.425 * [taylor]: Taking taylor expansion of 0 in lambda1 0.425 * [taylor]: Taking taylor expansion of 0 in lambda2 0.425 * [taylor]: Taking taylor expansion of 0 in R 0.425 * [taylor]: Taking taylor expansion of 0 in lambda1 0.425 * [taylor]: Taking taylor expansion of 0 in lambda2 0.425 * [taylor]: Taking taylor expansion of 0 in R 0.426 * [taylor]: Taking taylor expansion of 0 in lambda1 0.426 * [taylor]: Taking taylor expansion of 0 in lambda2 0.426 * [taylor]: Taking taylor expansion of 0 in R 0.426 * [taylor]: Taking taylor expansion of 0 in lambda2 0.426 * [taylor]: Taking taylor expansion of 0 in R 0.426 * [taylor]: Taking taylor expansion of 0 in lambda2 0.426 * [taylor]: Taking taylor expansion of 0 in R 0.428 * [taylor]: Taking taylor expansion of 0 in lambda2 0.428 * [taylor]: Taking taylor expansion of 0 in R 0.428 * [taylor]: Taking taylor expansion of 0 in R 0.428 * [taylor]: Taking taylor expansion of 0 in R 0.428 * [taylor]: Taking taylor expansion of 0 in R 0.429 * [taylor]: Taking taylor expansion of 0 in R 0.432 * * * [progress]: simplifying candidates 0.433 * [simplify]: Simplifying using # : (* (cos lambda1) (cos (- lambda2))) (* (sin lambda1) (sin (- lambda2))) (* (cos lambda1) (cos (- lambda2))) (* (sin lambda1) (sin (- lambda2))) (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)) (log (cos (- lambda1 lambda2))) (exp (cos (- lambda1 lambda2))) (* (cbrt (cos (- lambda1 lambda2))) (cbrt (cos (- lambda1 lambda2)))) (cbrt (cos (- lambda1 lambda2))) (* (* (cos (- lambda1 lambda2)) (cos (- lambda1 lambda2))) (cos (- lambda1 lambda2))) (sqrt (cos (- lambda1 lambda2))) (sqrt (cos (- lambda1 lambda2))) (/ PI 2) (asin (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) (log (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (exp (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (- (cos (- phi1 phi2)) (cos (+ phi1 phi2))) (* (sin phi1) (sin phi2)) (+ (log (sin phi1)) (log (sin phi2))) (log (* (sin phi1) (sin phi2))) (exp (* (sin phi1) (sin phi2))) (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin phi2) (sin phi2)) (sin phi2))) (* (cbrt (* (sin phi1) (sin phi2))) (cbrt (* (sin phi1) (sin phi2)))) (cbrt (* (sin phi1) (sin phi2))) (* (* (* (sin phi1) (sin phi2)) (* (sin phi1) (sin phi2))) (* (sin phi1) (sin phi2))) (sqrt (* (sin phi1) (sin phi2))) (sqrt (* (sin phi1) (sin phi2))) (* (sqrt (sin phi1)) (sqrt (sin phi2))) (* (sqrt (sin phi1)) (sqrt (sin phi2))) (* (sin phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2)))) (* (sin phi1) (sqrt (sin phi2))) (* (sin phi1) 1) (* (cbrt (sin phi1)) (sin phi2)) (* (sqrt (sin phi1)) (sin phi2)) (* (sin phi1) (sin phi2)) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R) (+ (log (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (log R)) (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)) (exp (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)) (* (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (* (* R R) R)) (* (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)) (* (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)) (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)) (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (sqrt R)) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (sqrt R)) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) (* (cbrt R) (cbrt R))) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) (sqrt R)) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) 1) (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R) (- (+ 1 (* lambda2 lambda1)) (* 1/2 (pow lambda1 2))) (cos (- lambda1 lambda2)) (cos (- lambda1 lambda2)) (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) (* phi2 phi1) (* (sin phi1) (sin phi2)) (* (sin phi1) (sin phi2)) (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) (* (acos (+ (* (sin phi1) (sin phi2)) (* (cos phi1) (* (cos (- lambda1 lambda2)) (cos phi2))))) R) 0.436 * * [simplify]: iteration 0 : 111 enodes (cost 1035 ) 0.454 * * [simplify]: iteration 1 : 204 enodes (cost 1027 ) 0.486 * * [simplify]: iteration 2 : 503 enodes (cost 889 ) 0.623 * * [simplify]: iteration 3 : 1450 enodes (cost 887 ) 1.326 * * [simplify]: iteration done : 5000 enodes (cost 887 ) 1.327 * [simplify]: Simplified to: (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))) (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))) (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)) (log (cos (- lambda1 lambda2))) (exp (cos (- lambda1 lambda2))) (* (cbrt (cos (- lambda1 lambda2))) (cbrt (cos (- lambda1 lambda2)))) (cbrt (cos (- lambda1 lambda2))) (pow (cos (- lambda1 lambda2)) 3) (sqrt (cos (- lambda1 lambda2))) (sqrt (cos (- lambda1 lambda2))) (/ PI 2) (asin (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) (log (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (exp (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (pow (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) 3) (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (- (cos (- phi1 phi2)) (cos (+ phi1 phi2))) (* (sin phi1) (sin phi2)) (log (* (sin phi1) (sin phi2))) (log (* (sin phi1) (sin phi2))) (exp (* (sin phi1) (sin phi2))) (pow (* (sin phi1) (sin phi2)) 3) (* (cbrt (* (sin phi1) (sin phi2))) (cbrt (* (sin phi1) (sin phi2)))) (cbrt (* (sin phi1) (sin phi2))) (pow (* (sin phi1) (sin phi2)) 3) (sqrt (* (sin phi1) (sin phi2))) (sqrt (* (sin phi1) (sin phi2))) (* (sqrt (sin phi1)) (sqrt (sin phi2))) (* (sqrt (sin phi1)) (sqrt (sin phi2))) (* (sin phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2)))) (* (sin phi1) (sqrt (sin phi2))) (sin phi1) (* (cbrt (sin phi1)) (sin phi2)) (* (sqrt (sin phi1)) (sin phi2)) (* (sin phi1) (sin phi2)) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R) (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)) (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)) (exp (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)) (pow (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R) 3) (* (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R))) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)) (pow (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R) 3) (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)) (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (sqrt R)) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) (sqrt R)) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) (* (cbrt R) (cbrt R))) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) (sqrt R)) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))) R) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R) (+ (* lambda1 (- lambda2 (* 1/2 lambda1))) 1) (cos (- lambda1 lambda2)) (cos (- lambda1 lambda2)) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) (* phi2 phi1) (* (sin phi1) (sin phi2)) (* (sin phi1) (sin phi2)) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R) 1.327 * * * [progress]: adding candidates to table 1.562 * * [progress]: iteration 2 / 4 1.562 * * * [progress]: picking best candidate 1.608 * * * * [pick]: Picked # 1.608 * * * [progress]: localizing error 1.645 * * * [progress]: generating rewritten candidates 1.645 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 1.646 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 1.650 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 1.653 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 2) 1.660 * * * [progress]: generating series expansions 1.660 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 1.661 * [approximate]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in (phi1 phi2 lambda1 lambda2) around 0 1.661 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in lambda2 1.661 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in lambda1 1.662 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in phi2 1.662 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in phi1 1.663 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in phi1 1.663 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in phi2 1.663 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in lambda1 1.664 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in lambda2 1.664 * [taylor]: Taking taylor expansion of 0 in phi2 1.665 * [taylor]: Taking taylor expansion of 0 in lambda1 1.665 * [taylor]: Taking taylor expansion of 0 in lambda2 1.665 * [taylor]: Taking taylor expansion of 0 in lambda1 1.665 * [taylor]: Taking taylor expansion of 0 in lambda2 1.665 * [taylor]: Taking taylor expansion of 0 in lambda2 1.665 * [taylor]: Taking taylor expansion of 0 in phi2 1.665 * [taylor]: Taking taylor expansion of 0 in lambda1 1.665 * [taylor]: Taking taylor expansion of 0 in lambda2 1.665 * [taylor]: Taking taylor expansion of 0 in lambda1 1.665 * [taylor]: Taking taylor expansion of 0 in lambda2 1.666 * [approximate]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in (phi1 phi2 lambda1 lambda2) around 0 1.666 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in lambda2 1.666 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in lambda1 1.667 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in phi2 1.667 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in phi1 1.668 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in phi1 1.668 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi2)) (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1)))))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in phi2 1.669 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in lambda1 1.669 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi2)) (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1)))))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in lambda2 1.670 * [taylor]: Taking taylor expansion of 0 in phi2 1.670 * [taylor]: Taking taylor expansion of 0 in lambda1 1.670 * [taylor]: Taking taylor expansion of 0 in lambda2 1.670 * [taylor]: Taking taylor expansion of 0 in lambda1 1.670 * [taylor]: Taking taylor expansion of 0 in lambda2 1.670 * [taylor]: Taking taylor expansion of 0 in lambda2 1.670 * [taylor]: Taking taylor expansion of 0 in phi2 1.670 * [taylor]: Taking taylor expansion of 0 in lambda1 1.670 * [taylor]: Taking taylor expansion of 0 in lambda2 1.670 * [taylor]: Taking taylor expansion of 0 in lambda1 1.670 * [taylor]: Taking taylor expansion of 0 in lambda2 1.672 * [approximate]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in (phi1 phi2 lambda1 lambda2) around 0 1.672 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in lambda2 1.672 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in lambda1 1.673 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in phi2 1.673 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in phi1 1.674 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in phi1 1.674 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in phi2 1.675 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in lambda1 1.675 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in lambda2 1.676 * [taylor]: Taking taylor expansion of 0 in phi2 1.676 * [taylor]: Taking taylor expansion of 0 in lambda1 1.676 * [taylor]: Taking taylor expansion of 0 in lambda2 1.676 * [taylor]: Taking taylor expansion of 0 in lambda1 1.676 * [taylor]: Taking taylor expansion of 0 in lambda2 1.676 * [taylor]: Taking taylor expansion of 0 in lambda2 1.676 * [taylor]: Taking taylor expansion of 0 in phi2 1.676 * [taylor]: Taking taylor expansion of 0 in lambda1 1.676 * [taylor]: Taking taylor expansion of 0 in lambda2 1.676 * [taylor]: Taking taylor expansion of 0 in lambda1 1.676 * [taylor]: Taking taylor expansion of 0 in lambda2 1.677 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 1.677 * [approximate]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in (phi1 phi2) around 0 1.677 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi2 1.677 * [taylor]: Taking taylor expansion of (sin phi1) in phi2 1.677 * [taylor]: Taking taylor expansion of phi1 in phi2 1.677 * [taylor]: Taking taylor expansion of (sin phi2) in phi2 1.677 * [taylor]: Taking taylor expansion of phi2 in phi2 1.677 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi1 1.677 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 1.677 * [taylor]: Taking taylor expansion of phi1 in phi1 1.677 * [taylor]: Taking taylor expansion of (sin phi2) in phi1 1.677 * [taylor]: Taking taylor expansion of phi2 in phi1 1.677 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi1 1.677 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 1.677 * [taylor]: Taking taylor expansion of phi1 in phi1 1.678 * [taylor]: Taking taylor expansion of (sin phi2) in phi1 1.678 * [taylor]: Taking taylor expansion of phi2 in phi1 1.678 * [taylor]: Taking taylor expansion of 0 in phi2 1.680 * [taylor]: Taking taylor expansion of (sin phi2) in phi2 1.680 * [taylor]: Taking taylor expansion of phi2 in phi2 1.683 * [taylor]: Taking taylor expansion of 0 in phi2 1.688 * [taylor]: Taking taylor expansion of (- (* 1/6 (sin phi2))) in phi2 1.688 * [taylor]: Taking taylor expansion of (* 1/6 (sin phi2)) in phi2 1.688 * [taylor]: Taking taylor expansion of 1/6 in phi2 1.688 * [taylor]: Taking taylor expansion of (sin phi2) in phi2 1.688 * [taylor]: Taking taylor expansion of phi2 in phi2 1.693 * [taylor]: Taking taylor expansion of 0 in phi2 1.694 * [approximate]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in (phi1 phi2) around 0 1.694 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi2 1.694 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi2 1.694 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 1.694 * [taylor]: Taking taylor expansion of phi1 in phi2 1.694 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi2 1.694 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 1.694 * [taylor]: Taking taylor expansion of phi2 in phi2 1.694 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi1 1.694 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 1.694 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 1.694 * [taylor]: Taking taylor expansion of phi1 in phi1 1.694 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi1 1.694 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 1.694 * [taylor]: Taking taylor expansion of phi2 in phi1 1.695 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi1 1.695 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 1.695 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 1.695 * [taylor]: Taking taylor expansion of phi1 in phi1 1.695 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi1 1.695 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 1.695 * [taylor]: Taking taylor expansion of phi2 in phi1 1.695 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi2 1.695 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi2 1.695 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 1.695 * [taylor]: Taking taylor expansion of phi1 in phi2 1.695 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi2 1.695 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 1.695 * [taylor]: Taking taylor expansion of phi2 in phi2 1.698 * [taylor]: Taking taylor expansion of 0 in phi2 1.702 * [taylor]: Taking taylor expansion of 0 in phi2 1.707 * [taylor]: Taking taylor expansion of 0 in phi2 1.707 * [approximate]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in (phi1 phi2) around 0 1.707 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi2 1.707 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi2 1.707 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi2 1.707 * [taylor]: Taking taylor expansion of -1 in phi2 1.707 * [taylor]: Taking taylor expansion of phi1 in phi2 1.707 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi2 1.707 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi2 1.707 * [taylor]: Taking taylor expansion of -1 in phi2 1.707 * [taylor]: Taking taylor expansion of phi2 in phi2 1.708 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi1 1.708 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 1.708 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 1.708 * [taylor]: Taking taylor expansion of -1 in phi1 1.708 * [taylor]: Taking taylor expansion of phi1 in phi1 1.708 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi1 1.708 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi1 1.708 * [taylor]: Taking taylor expansion of -1 in phi1 1.708 * [taylor]: Taking taylor expansion of phi2 in phi1 1.708 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi1 1.708 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 1.708 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 1.708 * [taylor]: Taking taylor expansion of -1 in phi1 1.708 * [taylor]: Taking taylor expansion of phi1 in phi1 1.709 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi1 1.709 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi1 1.709 * [taylor]: Taking taylor expansion of -1 in phi1 1.709 * [taylor]: Taking taylor expansion of phi2 in phi1 1.709 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi2 1.709 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi2 1.709 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi2 1.709 * [taylor]: Taking taylor expansion of -1 in phi2 1.709 * [taylor]: Taking taylor expansion of phi1 in phi2 1.709 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi2 1.709 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi2 1.709 * [taylor]: Taking taylor expansion of -1 in phi2 1.709 * [taylor]: Taking taylor expansion of phi2 in phi2 1.712 * [taylor]: Taking taylor expansion of 0 in phi2 1.715 * [taylor]: Taking taylor expansion of 0 in phi2 1.725 * [taylor]: Taking taylor expansion of 0 in phi2 1.725 * * * * [progress]: [ 3 / 4 ] generating series at (2) 1.726 * [approximate]: Taking taylor expansion of (* (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) R) in (phi1 phi2 lambda1 lambda2 R) around 0 1.726 * [taylor]: Taking taylor expansion of (* (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) R) in R 1.726 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in R 1.726 * [taylor]: Taking taylor expansion of R in R 1.726 * [taylor]: Taking taylor expansion of (* (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) R) in lambda2 1.726 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in lambda2 1.727 * [taylor]: Taking taylor expansion of R in lambda2 1.727 * [taylor]: Taking taylor expansion of (* (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) R) in lambda1 1.727 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in lambda1 1.727 * [taylor]: Taking taylor expansion of R in lambda1 1.727 * [taylor]: Taking taylor expansion of (* (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) R) in phi2 1.727 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in phi2 1.728 * [taylor]: Taking taylor expansion of R in phi2 1.728 * [taylor]: Taking taylor expansion of (* (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) R) in phi1 1.728 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in phi1 1.728 * [taylor]: Taking taylor expansion of R in phi1 1.728 * [taylor]: Taking taylor expansion of (* (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) R) in phi1 1.728 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in phi1 1.728 * [taylor]: Taking taylor expansion of R in phi1 1.729 * [taylor]: Taking taylor expansion of (* (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) R) in phi2 1.729 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in phi2 1.729 * [taylor]: Taking taylor expansion of R in phi2 1.730 * [taylor]: Taking taylor expansion of (* (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) R) in lambda1 1.730 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in lambda1 1.730 * [taylor]: Taking taylor expansion of R in lambda1 1.730 * [taylor]: Taking taylor expansion of (* (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) R) in lambda2 1.730 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in lambda2 1.731 * [taylor]: Taking taylor expansion of R in lambda2 1.731 * [taylor]: Taking taylor expansion of (* (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) R) in R 1.731 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in R 1.732 * [taylor]: Taking taylor expansion of R in R 1.732 * [taylor]: Taking taylor expansion of 0 in phi2 1.732 * [taylor]: Taking taylor expansion of 0 in lambda1 1.732 * [taylor]: Taking taylor expansion of 0 in lambda2 1.732 * [taylor]: Taking taylor expansion of 0 in R 1.733 * [taylor]: Taking taylor expansion of 0 in lambda1 1.733 * [taylor]: Taking taylor expansion of 0 in lambda2 1.733 * [taylor]: Taking taylor expansion of 0 in R 1.733 * [taylor]: Taking taylor expansion of 0 in lambda2 1.733 * [taylor]: Taking taylor expansion of 0 in R 1.734 * [taylor]: Taking taylor expansion of 0 in R 1.736 * [taylor]: Taking taylor expansion of 0 in phi2 1.736 * [taylor]: Taking taylor expansion of 0 in lambda1 1.736 * [taylor]: Taking taylor expansion of 0 in lambda2 1.736 * [taylor]: Taking taylor expansion of 0 in R 1.736 * [taylor]: Taking taylor expansion of 0 in lambda1 1.736 * [taylor]: Taking taylor expansion of 0 in lambda2 1.736 * [taylor]: Taking taylor expansion of 0 in R 1.736 * [taylor]: Taking taylor expansion of 0 in lambda1 1.736 * [taylor]: Taking taylor expansion of 0 in lambda2 1.736 * [taylor]: Taking taylor expansion of 0 in R 1.736 * [taylor]: Taking taylor expansion of 0 in lambda2 1.736 * [taylor]: Taking taylor expansion of 0 in R 1.737 * [taylor]: Taking taylor expansion of 0 in lambda2 1.737 * [taylor]: Taking taylor expansion of 0 in R 1.737 * [taylor]: Taking taylor expansion of 0 in lambda2 1.737 * [taylor]: Taking taylor expansion of 0 in R 1.738 * [approximate]: Taking taylor expansion of (/ (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) R) in (phi1 phi2 lambda1 lambda2 R) around 0 1.739 * [taylor]: Taking taylor expansion of (/ (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) R) in R 1.739 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in R 1.739 * [taylor]: Taking taylor expansion of R in R 1.740 * [taylor]: Taking taylor expansion of (/ (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) R) in lambda2 1.740 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in lambda2 1.740 * [taylor]: Taking taylor expansion of R in lambda2 1.741 * [taylor]: Taking taylor expansion of (/ (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) R) in lambda1 1.741 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in lambda1 1.741 * [taylor]: Taking taylor expansion of R in lambda1 1.742 * [taylor]: Taking taylor expansion of (/ (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) R) in phi2 1.742 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in phi2 1.742 * [taylor]: Taking taylor expansion of R in phi2 1.743 * [taylor]: Taking taylor expansion of (/ (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) R) in phi1 1.743 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in phi1 1.743 * [taylor]: Taking taylor expansion of R in phi1 1.744 * [taylor]: Taking taylor expansion of (/ (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) R) in phi1 1.744 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in phi1 1.744 * [taylor]: Taking taylor expansion of R in phi1 1.745 * [taylor]: Taking taylor expansion of (/ (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) R) in phi2 1.745 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in phi2 1.746 * [taylor]: Taking taylor expansion of R in phi2 1.746 * [taylor]: Taking taylor expansion of (/ (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) R) in lambda1 1.746 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in lambda1 1.747 * [taylor]: Taking taylor expansion of R in lambda1 1.747 * [taylor]: Taking taylor expansion of (/ (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) R) in lambda2 1.747 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in lambda2 1.748 * [taylor]: Taking taylor expansion of R in lambda2 1.748 * [taylor]: Taking taylor expansion of (/ (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) R) in R 1.748 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in R 1.749 * [taylor]: Taking taylor expansion of R in R 1.751 * [taylor]: Taking taylor expansion of 0 in phi2 1.751 * [taylor]: Taking taylor expansion of 0 in lambda1 1.751 * [taylor]: Taking taylor expansion of 0 in lambda2 1.751 * [taylor]: Taking taylor expansion of 0 in R 1.751 * [taylor]: Taking taylor expansion of 0 in lambda1 1.751 * [taylor]: Taking taylor expansion of 0 in lambda2 1.751 * [taylor]: Taking taylor expansion of 0 in R 1.752 * [taylor]: Taking taylor expansion of 0 in lambda2 1.752 * [taylor]: Taking taylor expansion of 0 in R 1.753 * [taylor]: Taking taylor expansion of 0 in R 1.755 * [taylor]: Taking taylor expansion of 0 in phi2 1.755 * [taylor]: Taking taylor expansion of 0 in lambda1 1.755 * [taylor]: Taking taylor expansion of 0 in lambda2 1.755 * [taylor]: Taking taylor expansion of 0 in R 1.755 * [taylor]: Taking taylor expansion of 0 in lambda1 1.755 * [taylor]: Taking taylor expansion of 0 in lambda2 1.755 * [taylor]: Taking taylor expansion of 0 in R 1.755 * [taylor]: Taking taylor expansion of 0 in lambda1 1.755 * [taylor]: Taking taylor expansion of 0 in lambda2 1.755 * [taylor]: Taking taylor expansion of 0 in R 1.755 * [taylor]: Taking taylor expansion of 0 in lambda2 1.755 * [taylor]: Taking taylor expansion of 0 in R 1.755 * [taylor]: Taking taylor expansion of 0 in lambda2 1.755 * [taylor]: Taking taylor expansion of 0 in R 1.756 * [taylor]: Taking taylor expansion of 0 in lambda2 1.756 * [taylor]: Taking taylor expansion of 0 in R 1.756 * [taylor]: Taking taylor expansion of 0 in R 1.756 * [taylor]: Taking taylor expansion of 0 in R 1.756 * [taylor]: Taking taylor expansion of 0 in R 1.757 * [taylor]: Taking taylor expansion of 0 in R 1.760 * [approximate]: Taking taylor expansion of (* -1 (/ (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) R)) in (phi1 phi2 lambda1 lambda2 R) around 0 1.760 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) R)) in R 1.760 * [taylor]: Taking taylor expansion of -1 in R 1.760 * [taylor]: Taking taylor expansion of (/ (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) R) in R 1.760 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in R 1.761 * [taylor]: Taking taylor expansion of R in R 1.761 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) R)) in lambda2 1.761 * [taylor]: Taking taylor expansion of -1 in lambda2 1.761 * [taylor]: Taking taylor expansion of (/ (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) R) in lambda2 1.761 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in lambda2 1.762 * [taylor]: Taking taylor expansion of R in lambda2 1.762 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) R)) in lambda1 1.762 * [taylor]: Taking taylor expansion of -1 in lambda1 1.762 * [taylor]: Taking taylor expansion of (/ (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) R) in lambda1 1.762 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in lambda1 1.763 * [taylor]: Taking taylor expansion of R in lambda1 1.763 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) R)) in phi2 1.763 * [taylor]: Taking taylor expansion of -1 in phi2 1.763 * [taylor]: Taking taylor expansion of (/ (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) R) in phi2 1.763 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in phi2 1.764 * [taylor]: Taking taylor expansion of R in phi2 1.765 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) R)) in phi1 1.765 * [taylor]: Taking taylor expansion of -1 in phi1 1.765 * [taylor]: Taking taylor expansion of (/ (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) R) in phi1 1.765 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in phi1 1.765 * [taylor]: Taking taylor expansion of R in phi1 1.766 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) R)) in phi1 1.766 * [taylor]: Taking taylor expansion of -1 in phi1 1.766 * [taylor]: Taking taylor expansion of (/ (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) R) in phi1 1.766 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in phi1 1.766 * [taylor]: Taking taylor expansion of R in phi1 1.767 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) R)) in phi2 1.767 * [taylor]: Taking taylor expansion of -1 in phi2 1.767 * [taylor]: Taking taylor expansion of (/ (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) R) in phi2 1.767 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in phi2 1.768 * [taylor]: Taking taylor expansion of R in phi2 1.769 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) R)) in lambda1 1.769 * [taylor]: Taking taylor expansion of -1 in lambda1 1.769 * [taylor]: Taking taylor expansion of (/ (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) R) in lambda1 1.769 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in lambda1 1.769 * [taylor]: Taking taylor expansion of R in lambda1 1.770 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) R)) in lambda2 1.770 * [taylor]: Taking taylor expansion of -1 in lambda2 1.770 * [taylor]: Taking taylor expansion of (/ (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) R) in lambda2 1.770 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in lambda2 1.771 * [taylor]: Taking taylor expansion of R in lambda2 1.772 * [taylor]: Taking taylor expansion of (* -1 (/ (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) R)) in R 1.772 * [taylor]: Taking taylor expansion of -1 in R 1.772 * [taylor]: Taking taylor expansion of (/ (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) R) in R 1.772 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in R 1.772 * [taylor]: Taking taylor expansion of R in R 1.776 * [taylor]: Taking taylor expansion of 0 in phi2 1.776 * [taylor]: Taking taylor expansion of 0 in lambda1 1.776 * [taylor]: Taking taylor expansion of 0 in lambda2 1.776 * [taylor]: Taking taylor expansion of 0 in R 1.777 * [taylor]: Taking taylor expansion of 0 in lambda1 1.777 * [taylor]: Taking taylor expansion of 0 in lambda2 1.777 * [taylor]: Taking taylor expansion of 0 in R 1.779 * [taylor]: Taking taylor expansion of 0 in lambda2 1.779 * [taylor]: Taking taylor expansion of 0 in R 1.780 * [taylor]: Taking taylor expansion of 0 in R 1.784 * [taylor]: Taking taylor expansion of 0 in phi2 1.784 * [taylor]: Taking taylor expansion of 0 in lambda1 1.784 * [taylor]: Taking taylor expansion of 0 in lambda2 1.784 * [taylor]: Taking taylor expansion of 0 in R 1.784 * [taylor]: Taking taylor expansion of 0 in lambda1 1.784 * [taylor]: Taking taylor expansion of 0 in lambda2 1.784 * [taylor]: Taking taylor expansion of 0 in R 1.786 * [taylor]: Taking taylor expansion of 0 in lambda1 1.786 * [taylor]: Taking taylor expansion of 0 in lambda2 1.786 * [taylor]: Taking taylor expansion of 0 in R 1.786 * [taylor]: Taking taylor expansion of 0 in lambda2 1.786 * [taylor]: Taking taylor expansion of 0 in R 1.786 * [taylor]: Taking taylor expansion of 0 in lambda2 1.786 * [taylor]: Taking taylor expansion of 0 in R 1.788 * [taylor]: Taking taylor expansion of 0 in lambda2 1.788 * [taylor]: Taking taylor expansion of 0 in R 1.788 * [taylor]: Taking taylor expansion of 0 in R 1.788 * [taylor]: Taking taylor expansion of 0 in R 1.788 * [taylor]: Taking taylor expansion of 0 in R 1.790 * [taylor]: Taking taylor expansion of 0 in R 1.793 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 2) 1.793 * [approximate]: Taking taylor expansion of (* (sin lambda1) (sin (- lambda2))) in (lambda1 lambda2) around 0 1.793 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin (- lambda2))) in lambda2 1.793 * [taylor]: Taking taylor expansion of (sin lambda1) in lambda2 1.793 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.793 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 1.793 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 1.794 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.794 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin (- lambda2))) in lambda1 1.794 * [taylor]: Taking taylor expansion of (sin lambda1) in lambda1 1.794 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.794 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda1 1.794 * [taylor]: Taking taylor expansion of (- lambda2) in lambda1 1.794 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.794 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin (- lambda2))) in lambda1 1.794 * [taylor]: Taking taylor expansion of (sin lambda1) in lambda1 1.794 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.794 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda1 1.794 * [taylor]: Taking taylor expansion of (- lambda2) in lambda1 1.794 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.795 * [taylor]: Taking taylor expansion of 0 in lambda2 1.797 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 1.797 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 1.797 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.801 * [taylor]: Taking taylor expansion of 0 in lambda2 1.809 * [taylor]: Taking taylor expansion of (- (* 1/6 (sin (- lambda2)))) in lambda2 1.809 * [taylor]: Taking taylor expansion of (* 1/6 (sin (- lambda2))) in lambda2 1.809 * [taylor]: Taking taylor expansion of 1/6 in lambda2 1.809 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 1.809 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 1.809 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.817 * [taylor]: Taking taylor expansion of 0 in lambda2 1.818 * [approximate]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) in (lambda1 lambda2) around 0 1.818 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) in lambda2 1.818 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda1)) in lambda2 1.818 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.818 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.818 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2))) in lambda2 1.818 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2)) in lambda2 1.818 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.818 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.818 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) in lambda1 1.818 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda1)) in lambda1 1.818 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.818 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.819 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2))) in lambda1 1.819 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2)) in lambda1 1.819 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.819 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.819 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) in lambda1 1.819 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda1)) in lambda1 1.819 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.819 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.819 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2))) in lambda1 1.819 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2)) in lambda1 1.819 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.819 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.820 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) in lambda2 1.820 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda1)) in lambda2 1.820 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.820 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.820 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2))) in lambda2 1.820 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2)) in lambda2 1.820 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.820 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.823 * [taylor]: Taking taylor expansion of 0 in lambda2 1.827 * [taylor]: Taking taylor expansion of 0 in lambda2 1.833 * [taylor]: Taking taylor expansion of 0 in lambda2 1.833 * [approximate]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) in (lambda1 lambda2) around 0 1.833 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) in lambda2 1.833 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda1)) in lambda2 1.833 * [taylor]: Taking taylor expansion of (/ -1 lambda1) in lambda2 1.833 * [taylor]: Taking taylor expansion of -1 in lambda2 1.833 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.834 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda2 1.834 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.834 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.834 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) in lambda1 1.834 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda1)) in lambda1 1.834 * [taylor]: Taking taylor expansion of (/ -1 lambda1) in lambda1 1.834 * [taylor]: Taking taylor expansion of -1 in lambda1 1.834 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.834 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda1 1.834 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.834 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.834 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) in lambda1 1.834 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda1)) in lambda1 1.834 * [taylor]: Taking taylor expansion of (/ -1 lambda1) in lambda1 1.834 * [taylor]: Taking taylor expansion of -1 in lambda1 1.834 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.835 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda1 1.835 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.835 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.835 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) in lambda2 1.835 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda1)) in lambda2 1.835 * [taylor]: Taking taylor expansion of (/ -1 lambda1) in lambda2 1.835 * [taylor]: Taking taylor expansion of -1 in lambda2 1.835 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.835 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda2 1.835 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.835 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.837 * [taylor]: Taking taylor expansion of 0 in lambda2 1.841 * [taylor]: Taking taylor expansion of 0 in lambda2 1.847 * [taylor]: Taking taylor expansion of 0 in lambda2 1.847 * * * [progress]: simplifying candidates 1.848 * [simplify]: Simplifying using # : (/ PI 2) (asin (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))))) (log (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2)))))))) (exp (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2)))))))) (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2)))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2)))))))) (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2)))))))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2)))))))) (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2)))))))) (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2)))))))) (- (cos (- phi1 phi2)) (cos (+ phi1 phi2))) (* (sin phi1) (sin phi2)) (+ (log (sin phi1)) (log (sin phi2))) (log (* (sin phi1) (sin phi2))) (exp (* (sin phi1) (sin phi2))) (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin phi2) (sin phi2)) (sin phi2))) (* (cbrt (* (sin phi1) (sin phi2))) (cbrt (* (sin phi1) (sin phi2)))) (cbrt (* (sin phi1) (sin phi2))) (* (* (* (sin phi1) (sin phi2)) (* (sin phi1) (sin phi2))) (* (sin phi1) (sin phi2))) (sqrt (* (sin phi1) (sin phi2))) (sqrt (* (sin phi1) (sin phi2))) (* (sqrt (sin phi1)) (sqrt (sin phi2))) (* (sqrt (sin phi1)) (sqrt (sin phi2))) (* (sin phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2)))) (* (sin phi1) (sqrt (sin phi2))) (* (sin phi1) 1) (* (cbrt (sin phi1)) (sin phi2)) (* (sqrt (sin phi1)) (sin phi2)) (* (sin phi1) (sin phi2)) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))))) R) (+ (log (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2)))))))) (log R)) (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))))) R)) (exp (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))))) R)) (* (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2)))))))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2)))))))) (* (* R R) R)) (* (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))))) R)) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))))) R))) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))))) R)) (* (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))))) R) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))))) R)) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))))) R)) (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))))) R)) (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))))) R)) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2)))))))) (sqrt R)) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2)))))))) (sqrt R)) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))))) (* (cbrt R) (cbrt R))) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))))) (sqrt R)) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))))) 1) (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2)))))))) R) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2)))))))) R) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))))) R) (- (cos (- 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) (sin lambda2)) (* (sin lambda1) (* (cbrt (sin (- lambda2))) (cbrt (sin (- lambda2))))) (* (sin lambda1) (sqrt (sin (- lambda2)))) (* (sin lambda1) 1) (* (cbrt (sin lambda1)) (sin (- lambda2))) (* (sqrt (sin lambda1)) (sin (- lambda2))) (* (sin lambda1) (sin (- lambda2))) (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (* -1 lambda2))))))) (* phi2 phi1) (* (sin phi1) (sin phi2)) (* (sin phi1) (sin phi2)) (* (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) R) (* (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) R) (* (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (* -1 lambda2))))))) R) (* -1 (* lambda2 lambda1)) (* (sin lambda1) (sin (- lambda2))) (* (sin lambda1) (sin (* -1 lambda2))) 1.853 * * [simplify]: iteration 0 : 143 enodes (cost 1487 ) 1.877 * * [simplify]: iteration 1 : 288 enodes (cost 1473 ) 1.926 * * [simplify]: iteration 2 : 827 enodes (cost 1270 ) 2.149 * * [simplify]: iteration 3 : 2162 enodes (cost 1200 ) 3.144 * * [simplify]: iteration done : 5001 enodes (cost 1200 ) 3.144 * [simplify]: Simplified to: (/ PI 2) (asin (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))) (log (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1))))) (exp (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1))))) (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1))))) (pow (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))) 3) (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1))))) (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1))))) (- (cos (- phi1 phi2)) (cos (+ phi1 phi2))) (* (sin phi1) (sin phi2)) (log (* (sin phi1) (sin phi2))) (log (* (sin phi1) (sin phi2))) (exp (* (sin phi1) (sin phi2))) (pow (* (sin phi1) (sin phi2)) 3) (* (cbrt (* (sin phi1) (sin phi2))) (cbrt (* (sin phi1) (sin phi2)))) (cbrt (* (sin phi1) (sin phi2))) (pow (* (sin phi1) (sin phi2)) 3) (sqrt (* (sin phi1) (sin phi2))) (sqrt (* (sin phi1) (sin phi2))) (* (sqrt (sin phi1)) (sqrt (sin phi2))) (* (sqrt (sin phi1)) (sqrt (sin phi2))) (* (sin phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2)))) (* (sin phi1) (sqrt (sin phi2))) (sin phi1) (* (cbrt (sin phi1)) (sin phi2)) (* (sqrt (sin phi1)) (sin phi2)) (* (sin phi1) (sin phi2)) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))) R) (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))) R)) (log (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))) R)) (pow (exp R) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1))))) (pow (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))) R) 3) (* (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))) R)) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))) R))) (cbrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))) R)) (pow (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))) R) 3) (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))) R)) (sqrt (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))) R)) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1))))) (sqrt R)) (* (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1))))) (sqrt R)) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))) (* (cbrt R) (cbrt R))) (* (sqrt R) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1))))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))) (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1))))) R) (* R (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))))) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))) R) (- (cos (+ lambda2 lambda1)) (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) (sin lambda2)) (* (sin lambda1) (* (cbrt (sin (- lambda2))) (cbrt (sin (- lambda2))))) (* (sin lambda1) (sqrt (sin (- lambda2)))) (sin lambda1) (* (cbrt (sin lambda1)) (sin (- lambda2))) (* (sqrt (sin lambda1)) (sin (- lambda2))) (* (sin lambda1) (- (sin lambda2))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))) (* phi2 phi1) (* (sin phi1) (sin phi2)) (* (sin phi1) (sin phi2)) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))) R) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))) R) (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))) R) (- (* lambda2 lambda1)) (* (sin lambda1) (- (sin lambda2))) (* (sin lambda1) (- (sin lambda2))) 3.145 * * * [progress]: adding candidates to table 3.520 * * [progress]: iteration 3 / 4 3.520 * * * [progress]: picking best candidate 3.595 * * * * [pick]: Picked # 3.595 * * * [progress]: localizing error 3.634 * * * [progress]: generating rewritten candidates 3.634 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 2) 3.636 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 3.636 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2 2 1) 3.640 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 3.646 * * * [progress]: generating series expansions 3.646 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 2) 3.646 * [approximate]: Taking taylor expansion of (* (sin lambda1) (sin (- lambda2))) in (lambda1 lambda2) around 0 3.646 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin (- lambda2))) in lambda2 3.646 * [taylor]: Taking taylor expansion of (sin lambda1) in lambda2 3.646 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.646 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 3.646 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 3.646 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.647 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin (- lambda2))) in lambda1 3.647 * [taylor]: Taking taylor expansion of (sin lambda1) in lambda1 3.647 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.647 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda1 3.647 * [taylor]: Taking taylor expansion of (- lambda2) in lambda1 3.647 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.647 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin (- lambda2))) in lambda1 3.647 * [taylor]: Taking taylor expansion of (sin lambda1) in lambda1 3.647 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.647 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda1 3.647 * [taylor]: Taking taylor expansion of (- lambda2) in lambda1 3.647 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.647 * [taylor]: Taking taylor expansion of 0 in lambda2 3.650 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 3.650 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 3.650 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.653 * [taylor]: Taking taylor expansion of 0 in lambda2 3.659 * [taylor]: Taking taylor expansion of (- (* 1/6 (sin (- lambda2)))) in lambda2 3.659 * [taylor]: Taking taylor expansion of (* 1/6 (sin (- lambda2))) in lambda2 3.659 * [taylor]: Taking taylor expansion of 1/6 in lambda2 3.659 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 3.659 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 3.659 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.667 * [taylor]: Taking taylor expansion of 0 in lambda2 3.667 * [approximate]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) in (lambda1 lambda2) around 0 3.667 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) in lambda2 3.667 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda1)) in lambda2 3.667 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.667 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.667 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2))) in lambda2 3.667 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2)) in lambda2 3.667 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.667 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.668 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) in lambda1 3.668 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda1)) in lambda1 3.668 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.668 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.668 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2))) in lambda1 3.668 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2)) in lambda1 3.668 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.668 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.668 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) in lambda1 3.668 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda1)) in lambda1 3.668 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.668 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.669 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2))) in lambda1 3.669 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2)) in lambda1 3.669 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.669 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.669 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) in lambda2 3.669 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda1)) in lambda2 3.669 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.669 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.669 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2))) in lambda2 3.669 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2)) in lambda2 3.669 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.669 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.672 * [taylor]: Taking taylor expansion of 0 in lambda2 3.676 * [taylor]: Taking taylor expansion of 0 in lambda2 3.682 * [taylor]: Taking taylor expansion of 0 in lambda2 3.683 * [approximate]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) in (lambda1 lambda2) around 0 3.683 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) in lambda2 3.683 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda1)) in lambda2 3.683 * [taylor]: Taking taylor expansion of (/ -1 lambda1) in lambda2 3.683 * [taylor]: Taking taylor expansion of -1 in lambda2 3.683 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.683 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda2 3.683 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.683 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.683 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) in lambda1 3.683 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda1)) in lambda1 3.683 * [taylor]: Taking taylor expansion of (/ -1 lambda1) in lambda1 3.683 * [taylor]: Taking taylor expansion of -1 in lambda1 3.683 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.684 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda1 3.684 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.684 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.684 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) in lambda1 3.684 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda1)) in lambda1 3.684 * [taylor]: Taking taylor expansion of (/ -1 lambda1) in lambda1 3.684 * [taylor]: Taking taylor expansion of -1 in lambda1 3.684 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.684 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda1 3.684 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.684 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.684 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) in lambda2 3.684 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda1)) in lambda2 3.684 * [taylor]: Taking taylor expansion of (/ -1 lambda1) in lambda2 3.684 * [taylor]: Taking taylor expansion of -1 in lambda2 3.685 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.685 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda2 3.685 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.685 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.687 * [taylor]: Taking taylor expansion of 0 in lambda2 3.691 * [taylor]: Taking taylor expansion of 0 in lambda2 3.696 * [taylor]: Taking taylor expansion of 0 in lambda2 3.696 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 3.697 * [approximate]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in (phi1 phi2 lambda1 lambda2) around 0 3.697 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in lambda2 3.697 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in lambda1 3.698 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in phi2 3.698 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in phi1 3.698 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in phi1 3.699 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in phi2 3.699 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in lambda1 3.699 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in lambda2 3.700 * [taylor]: Taking taylor expansion of 0 in phi2 3.700 * [taylor]: Taking taylor expansion of 0 in lambda1 3.700 * [taylor]: Taking taylor expansion of 0 in lambda2 3.700 * [taylor]: Taking taylor expansion of 0 in lambda1 3.700 * [taylor]: Taking taylor expansion of 0 in lambda2 3.700 * [taylor]: Taking taylor expansion of 0 in lambda2 3.700 * [taylor]: Taking taylor expansion of 0 in phi2 3.700 * [taylor]: Taking taylor expansion of 0 in lambda1 3.700 * [taylor]: Taking taylor expansion of 0 in lambda2 3.700 * [taylor]: Taking taylor expansion of 0 in lambda1 3.700 * [taylor]: Taking taylor expansion of 0 in lambda2 3.701 * [approximate]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in (phi1 phi2 lambda1 lambda2) around 0 3.701 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in lambda2 3.702 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in lambda1 3.702 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in phi2 3.703 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in phi1 3.703 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in phi1 3.704 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi2)) (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1)))))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in phi2 3.704 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in lambda1 3.705 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi2)) (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1)))))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in lambda2 3.706 * [taylor]: Taking taylor expansion of 0 in phi2 3.706 * [taylor]: Taking taylor expansion of 0 in lambda1 3.706 * [taylor]: Taking taylor expansion of 0 in lambda2 3.706 * [taylor]: Taking taylor expansion of 0 in lambda1 3.706 * [taylor]: Taking taylor expansion of 0 in lambda2 3.706 * [taylor]: Taking taylor expansion of 0 in lambda2 3.706 * [taylor]: Taking taylor expansion of 0 in phi2 3.706 * [taylor]: Taking taylor expansion of 0 in lambda1 3.706 * [taylor]: Taking taylor expansion of 0 in lambda2 3.706 * [taylor]: Taking taylor expansion of 0 in lambda1 3.706 * [taylor]: Taking taylor expansion of 0 in lambda2 3.707 * [approximate]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in (phi1 phi2 lambda1 lambda2) around 0 3.707 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in lambda2 3.708 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in lambda1 3.708 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in phi2 3.709 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in phi1 3.713 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in phi1 3.714 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in phi2 3.714 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in lambda1 3.715 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in lambda2 3.716 * [taylor]: Taking taylor expansion of 0 in phi2 3.716 * [taylor]: Taking taylor expansion of 0 in lambda1 3.716 * [taylor]: Taking taylor expansion of 0 in lambda2 3.716 * [taylor]: Taking taylor expansion of 0 in lambda1 3.716 * [taylor]: Taking taylor expansion of 0 in lambda2 3.716 * [taylor]: Taking taylor expansion of 0 in lambda2 3.716 * [taylor]: Taking taylor expansion of 0 in phi2 3.716 * [taylor]: Taking taylor expansion of 0 in lambda1 3.716 * [taylor]: Taking taylor expansion of 0 in lambda2 3.716 * [taylor]: Taking taylor expansion of 0 in lambda1 3.716 * [taylor]: Taking taylor expansion of 0 in lambda2 3.717 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2 2 1) 3.717 * [approximate]: Taking taylor expansion of (pow (* (sin lambda1) (sin (- lambda2))) 3) in (lambda1 lambda2) around 0 3.717 * [taylor]: Taking taylor expansion of (pow (* (sin lambda1) (sin (- lambda2))) 3) in lambda2 3.717 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin (- lambda2))) in lambda2 3.717 * [taylor]: Taking taylor expansion of (sin lambda1) in lambda2 3.717 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.717 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 3.717 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 3.717 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.720 * [taylor]: Taking taylor expansion of (pow (* (sin lambda1) (sin (- lambda2))) 3) in lambda1 3.721 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin (- lambda2))) in lambda1 3.721 * [taylor]: Taking taylor expansion of (sin lambda1) in lambda1 3.721 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.721 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda1 3.721 * [taylor]: Taking taylor expansion of (- lambda2) in lambda1 3.721 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.723 * [taylor]: Taking taylor expansion of (pow (* (sin lambda1) (sin (- lambda2))) 3) in lambda1 3.723 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin (- lambda2))) in lambda1 3.723 * [taylor]: Taking taylor expansion of (sin lambda1) in lambda1 3.723 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.723 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda1 3.723 * [taylor]: Taking taylor expansion of (- lambda2) in lambda1 3.723 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.726 * [taylor]: Taking taylor expansion of (pow (sin (- lambda2)) 3) in lambda2 3.726 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 3.726 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 3.726 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.731 * [taylor]: Taking taylor expansion of 0 in lambda2 3.738 * [taylor]: Taking taylor expansion of (- (* 1/2 (pow (sin (- lambda2)) 3))) in lambda2 3.738 * [taylor]: Taking taylor expansion of (* 1/2 (pow (sin (- lambda2)) 3)) in lambda2 3.738 * [taylor]: Taking taylor expansion of 1/2 in lambda2 3.738 * [taylor]: Taking taylor expansion of (pow (sin (- lambda2)) 3) in lambda2 3.738 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 3.738 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 3.738 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.743 * [approximate]: Taking taylor expansion of (pow (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) 3) in (lambda1 lambda2) around 0 3.743 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) 3) in lambda2 3.743 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) in lambda2 3.743 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda1)) in lambda2 3.743 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.743 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.743 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2))) in lambda2 3.743 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2)) in lambda2 3.743 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.743 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.744 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) 3) in lambda1 3.744 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) in lambda1 3.744 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda1)) in lambda1 3.744 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.744 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.744 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2))) in lambda1 3.744 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2)) in lambda1 3.744 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.744 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.745 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) 3) in lambda1 3.745 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) in lambda1 3.745 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda1)) in lambda1 3.745 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 3.745 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.745 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2))) in lambda1 3.745 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2)) in lambda1 3.745 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.745 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.746 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 lambda1)) 3) (pow (sin (- (/ 1 lambda2))) 3)) in lambda2 3.746 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 lambda1)) 3) in lambda2 3.746 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda1)) in lambda2 3.746 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 3.746 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.746 * [taylor]: Taking taylor expansion of (pow (sin (- (/ 1 lambda2))) 3) in lambda2 3.746 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2))) in lambda2 3.746 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2)) in lambda2 3.746 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.746 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.750 * [taylor]: Taking taylor expansion of 0 in lambda2 3.756 * [taylor]: Taking taylor expansion of 0 in lambda2 3.765 * [taylor]: Taking taylor expansion of 0 in lambda2 3.765 * [approximate]: Taking taylor expansion of (pow (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) 3) in (lambda1 lambda2) around 0 3.765 * [taylor]: Taking taylor expansion of (pow (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) 3) in lambda2 3.765 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) in lambda2 3.765 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda1)) in lambda2 3.765 * [taylor]: Taking taylor expansion of (/ -1 lambda1) in lambda2 3.765 * [taylor]: Taking taylor expansion of -1 in lambda2 3.765 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.765 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda2 3.765 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.765 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.766 * [taylor]: Taking taylor expansion of (pow (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) 3) in lambda1 3.766 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) in lambda1 3.766 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda1)) in lambda1 3.766 * [taylor]: Taking taylor expansion of (/ -1 lambda1) in lambda1 3.766 * [taylor]: Taking taylor expansion of -1 in lambda1 3.766 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.766 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda1 3.766 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.766 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.766 * [taylor]: Taking taylor expansion of (pow (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) 3) in lambda1 3.766 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) in lambda1 3.766 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda1)) in lambda1 3.766 * [taylor]: Taking taylor expansion of (/ -1 lambda1) in lambda1 3.766 * [taylor]: Taking taylor expansion of -1 in lambda1 3.767 * [taylor]: Taking taylor expansion of lambda1 in lambda1 3.767 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda1 3.767 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 3.767 * [taylor]: Taking taylor expansion of lambda2 in lambda1 3.768 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 lambda1)) 3) (pow (sin (/ 1 lambda2)) 3)) in lambda2 3.768 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 lambda1)) 3) in lambda2 3.768 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda1)) in lambda2 3.768 * [taylor]: Taking taylor expansion of (/ -1 lambda1) in lambda2 3.768 * [taylor]: Taking taylor expansion of -1 in lambda2 3.768 * [taylor]: Taking taylor expansion of lambda1 in lambda2 3.768 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 lambda2)) 3) in lambda2 3.768 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda2 3.768 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 3.768 * [taylor]: Taking taylor expansion of lambda2 in lambda2 3.771 * [taylor]: Taking taylor expansion of 0 in lambda2 3.776 * [taylor]: Taking taylor expansion of 0 in lambda2 3.785 * [taylor]: Taking taylor expansion of 0 in lambda2 3.785 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 3.785 * [approximate]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in (phi1 phi2) around 0 3.785 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi2 3.785 * [taylor]: Taking taylor expansion of (sin phi1) in phi2 3.785 * [taylor]: Taking taylor expansion of phi1 in phi2 3.785 * [taylor]: Taking taylor expansion of (sin phi2) in phi2 3.785 * [taylor]: Taking taylor expansion of phi2 in phi2 3.785 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi1 3.785 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 3.785 * [taylor]: Taking taylor expansion of phi1 in phi1 3.785 * [taylor]: Taking taylor expansion of (sin phi2) in phi1 3.785 * [taylor]: Taking taylor expansion of phi2 in phi1 3.785 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi1 3.785 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 3.785 * [taylor]: Taking taylor expansion of phi1 in phi1 3.785 * [taylor]: Taking taylor expansion of (sin phi2) in phi1 3.785 * [taylor]: Taking taylor expansion of phi2 in phi1 3.785 * [taylor]: Taking taylor expansion of 0 in phi2 3.788 * [taylor]: Taking taylor expansion of (sin phi2) in phi2 3.788 * [taylor]: Taking taylor expansion of phi2 in phi2 3.790 * [taylor]: Taking taylor expansion of 0 in phi2 3.795 * [taylor]: Taking taylor expansion of (- (* 1/6 (sin phi2))) in phi2 3.795 * [taylor]: Taking taylor expansion of (* 1/6 (sin phi2)) in phi2 3.795 * [taylor]: Taking taylor expansion of 1/6 in phi2 3.795 * [taylor]: Taking taylor expansion of (sin phi2) in phi2 3.795 * [taylor]: Taking taylor expansion of phi2 in phi2 3.942 * [taylor]: Taking taylor expansion of 0 in phi2 3.942 * [approximate]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in (phi1 phi2) around 0 3.942 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi2 3.942 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi2 3.942 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 3.942 * [taylor]: Taking taylor expansion of phi1 in phi2 3.942 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi2 3.942 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 3.943 * [taylor]: Taking taylor expansion of phi2 in phi2 3.943 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi1 3.943 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 3.943 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 3.943 * [taylor]: Taking taylor expansion of phi1 in phi1 3.943 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi1 3.943 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 3.943 * [taylor]: Taking taylor expansion of phi2 in phi1 3.943 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi1 3.943 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 3.943 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 3.943 * [taylor]: Taking taylor expansion of phi1 in phi1 3.944 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi1 3.944 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 3.944 * [taylor]: Taking taylor expansion of phi2 in phi1 3.944 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi2 3.944 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi2 3.944 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 3.944 * [taylor]: Taking taylor expansion of phi1 in phi2 3.944 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi2 3.944 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 3.944 * [taylor]: Taking taylor expansion of phi2 in phi2 3.946 * [taylor]: Taking taylor expansion of 0 in phi2 3.951 * [taylor]: Taking taylor expansion of 0 in phi2 3.956 * [taylor]: Taking taylor expansion of 0 in phi2 3.956 * [approximate]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in (phi1 phi2) around 0 3.956 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi2 3.956 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi2 3.956 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi2 3.956 * [taylor]: Taking taylor expansion of -1 in phi2 3.956 * [taylor]: Taking taylor expansion of phi1 in phi2 3.956 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi2 3.957 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi2 3.957 * [taylor]: Taking taylor expansion of -1 in phi2 3.957 * [taylor]: Taking taylor expansion of phi2 in phi2 3.957 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi1 3.957 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 3.957 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 3.957 * [taylor]: Taking taylor expansion of -1 in phi1 3.957 * [taylor]: Taking taylor expansion of phi1 in phi1 3.957 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi1 3.957 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi1 3.957 * [taylor]: Taking taylor expansion of -1 in phi1 3.957 * [taylor]: Taking taylor expansion of phi2 in phi1 3.957 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi1 3.957 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 3.957 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 3.957 * [taylor]: Taking taylor expansion of -1 in phi1 3.957 * [taylor]: Taking taylor expansion of phi1 in phi1 3.958 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi1 3.958 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi1 3.958 * [taylor]: Taking taylor expansion of -1 in phi1 3.958 * [taylor]: Taking taylor expansion of phi2 in phi1 3.958 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi2 3.958 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi2 3.958 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi2 3.958 * [taylor]: Taking taylor expansion of -1 in phi2 3.958 * [taylor]: Taking taylor expansion of phi1 in phi2 3.958 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi2 3.958 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi2 3.958 * [taylor]: Taking taylor expansion of -1 in phi2 3.958 * [taylor]: Taking taylor expansion of phi2 in phi2 3.961 * [taylor]: Taking taylor expansion of 0 in phi2 3.964 * [taylor]: Taking taylor expansion of 0 in phi2 3.970 * [taylor]: Taking taylor expansion of 0 in phi2 3.970 * * * [progress]: simplifying candidates 3.971 * [simplify]: Simplifying using # : (log (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) (exp (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) (cbrt (pow (sin lambda1) 3)) (cbrt (pow (sin (- lambda2)) 3)) (cbrt (* (* (sin lambda1) (sin (- lambda2))) (* (sin lambda1) (sin (- lambda2))))) (cbrt (* (sin lambda1) (sin (- lambda2)))) (cbrt (* (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3)))) (cbrt (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) (cbrt (pow (sin lambda1) 3)) (cbrt (pow (sin (- lambda2)) 3)) (cbrt (* (sin lambda1) (sin (- lambda2)))) (cbrt (* (* (sin lambda1) (sin (- lambda2))) (* (sin lambda1) (sin (- lambda2))))) (cbrt (sqrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) (cbrt (sqrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) (cbrt 1) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) (/ 3 2))) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) (/ 3 2))) (cbrt (pow (- (cos (- lambda1 (- lambda2))) (cos (+ lambda1 (- lambda2)))) 3)) (cbrt (pow 2 3)) (* (cbrt (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) (cbrt (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3)))) (cbrt (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) (* (* (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) (sqrt (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) (sqrt (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) (/ PI 2) (asin (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3)))))) (log (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))))))) (exp (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))))))) (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3)))))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))))))) (* (* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3)))))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))))))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))))))) (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))))))) (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))))))) (* (+ (log (sin lambda1)) (log (sin (- lambda2)))) 3) (* (log (* (sin lambda1) (sin (- lambda2)))) 3) (* (log (* (sin lambda1) (sin (- lambda2)))) 3) (* 1 3) (* 1 3) (pow (* (sin lambda1) (sin (- lambda2))) (* (cbrt 3) (cbrt 3))) (pow (* (sin lambda1) (sin (- lambda2))) (sqrt 3)) (pow (* (sin lambda1) (sin (- lambda2))) 1) (pow (sin lambda1) 3) (pow (sin (- lambda2)) 3) (* (* (sin lambda1) (sin (- lambda2))) (* (sin lambda1) (sin (- lambda2)))) (log (pow (* (sin lambda1) (sin (- lambda2))) 3)) (exp (pow (* (sin lambda1) (sin (- lambda2))) 3)) (* (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3)) (* (* (pow (* (sin lambda1) (sin (- lambda2))) 3) (pow (* (sin lambda1) (sin (- lambda2))) 3)) (pow (* (sin lambda1) (sin (- lambda2))) 3)) (pow (sin lambda1) 3) (pow (sin (- lambda2)) 3) (pow (- (cos (- lambda1 (- lambda2))) (cos (+ lambda1 (- lambda2)))) 3) (pow 2 3) (* (* (sin lambda1) (sin (- lambda2))) (* (sin lambda1) (sin (- lambda2)))) (pow (* (sin lambda1) (sin lambda2)) 3) (sqrt (pow (* (sin lambda1) (sin (- lambda2))) 3)) (sqrt (pow (* (sin lambda1) (sin (- lambda2))) 3)) (pow (* (sin lambda1) (sin (- lambda2))) (/ 3 2)) (pow (* (sin lambda1) (sin (- lambda2))) (/ 3 2)) (- (cos (- phi1 phi2)) (cos (+ phi1 phi2))) (* (sin phi1) (sin phi2)) (+ (log (sin phi1)) (log (sin phi2))) (log (* (sin phi1) (sin phi2))) (exp (* (sin phi1) (sin phi2))) (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin phi2) (sin phi2)) (sin phi2))) (* (cbrt (* (sin phi1) (sin phi2))) (cbrt (* (sin phi1) (sin phi2)))) (cbrt (* (sin phi1) (sin phi2))) (* (* (* (sin phi1) (sin phi2)) (* (sin phi1) (sin phi2))) (* (sin phi1) (sin phi2))) (sqrt (* (sin phi1) (sin phi2))) (sqrt (* (sin phi1) (sin phi2))) (* (sqrt (sin phi1)) (sqrt (sin phi2))) (* (sqrt (sin phi1)) (sqrt (sin phi2))) (* (sin phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2)))) (* (sin phi1) (sqrt (sin phi2))) (* (sin phi1) 1) (* (cbrt (sin phi1)) (sin phi2)) (* (sqrt (sin phi1)) (sin phi2)) (* (sin phi1) (sin phi2)) (* -1 (* lambda2 lambda1)) (* (sin lambda1) (sin (- lambda2))) (* (sin lambda1) (sin (* -1 lambda2))) (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (* -1 lambda2))))))) (- (+ (* 1/2 (* (pow lambda2 5) (pow lambda1 3))) (* 1/2 (* (pow lambda2 3) (pow lambda1 5)))) (* (pow lambda2 3) (pow lambda1 3))) (* (pow (sin lambda1) 3) (pow (sin (- lambda2)) 3)) (* (pow (sin lambda1) 3) (pow (sin (* -1 lambda2)) 3)) (* phi2 phi1) (* (sin phi1) (sin phi2)) (* (sin phi1) (sin phi2)) 3.975 * * [simplify]: iteration 0 : 154 enodes (cost 1148 ) 4.005 * * [simplify]: iteration 1 : 351 enodes (cost 992 ) 4.080 * * [simplify]: iteration 2 : 1102 enodes (cost 883 ) 4.449 * * [simplify]: iteration done : 5000 enodes (cost 851 ) 4.450 * [simplify]: Simplified to: (log (* (sin lambda1) (sin (- lambda2)))) (exp (* (sin lambda1) (sin (- lambda2)))) (sin lambda1) (sin (- lambda2)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 2)) (cbrt (* (sin lambda1) (sin (- lambda2)))) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 2)) (cbrt (* (sin lambda1) (sin (- lambda2)))) (sin lambda1) (sin (- lambda2)) (cbrt (* (sin lambda1) (sin (- lambda2)))) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 2)) (cbrt (sqrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) (cbrt (sqrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) 1 (* (sin lambda1) (sin (- lambda2))) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3/2)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3/2)) (- (cos (+ lambda2 lambda1)) (cos (- lambda1 lambda2))) 2 (* (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)))) (/ PI 2) (asin (+ (* (sin phi1) (sin phi2)) (* (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (cos phi2)) (cos phi1)))) (log (acos (+ (* (sin phi1) (sin phi2)) (* (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (cos phi2)) (cos phi1))))) (exp (acos (+ (* (sin phi1) (sin phi2)) (* (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (cos phi2)) (cos phi1))))) (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (cos phi2)) (cos phi1))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (cos phi2)) (cos phi1)))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (cos phi2)) (cos phi1))))) (pow (acos (+ (* (sin phi1) (sin phi2)) (* (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (cos phi2)) (cos phi1)))) 3) (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (cos phi2)) (cos phi1))))) (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (cos phi2)) (cos phi1))))) (* 3 (log (* (sin lambda1) (sin (- lambda2))))) (* 3 (log (* (sin lambda1) (sin (- lambda2))))) (* 3 (log (* (sin lambda1) (sin (- lambda2))))) 3 3 (pow (* (sin lambda1) (sin (- lambda2))) (* (cbrt 3) (cbrt 3))) (pow (* (sin lambda1) (sin (- lambda2))) (sqrt 3)) (* (sin lambda1) (sin (- lambda2))) (pow (sin lambda1) 3) (pow (sin (- lambda2)) 3) (pow (* (sin lambda1) (sin (- lambda2))) 2) (* 3 (log (* (sin lambda1) (sin (- lambda2))))) (exp (pow (* (sin lambda1) (sin (- lambda2))) 3)) (pow (* (sin lambda1) (sin (- lambda2))) 2) (* (sin lambda1) (sin (- lambda2))) (pow (pow (* (sin lambda1) (sin (- lambda2))) 3) 3) (pow (sin lambda1) 3) (pow (sin (- lambda2)) 3) (pow (- (cos (+ lambda2 lambda1)) (cos (- lambda1 lambda2))) 3) 8 (pow (* (sin lambda1) (sin (- lambda2))) 2) (pow (* (sin lambda1) (sin lambda2)) 3) (sqrt (pow (* (sin lambda1) (sin (- lambda2))) 3)) (sqrt (pow (* (sin lambda1) (sin (- lambda2))) 3)) (pow (* (sin lambda1) (sin (- lambda2))) 3/2) (pow (* (sin lambda1) (sin (- lambda2))) 3/2) (- (cos (- phi1 phi2)) (cos (+ phi1 phi2))) (* (sin phi1) (sin phi2)) (log (* (sin phi1) (sin phi2))) (log (* (sin phi1) (sin phi2))) (exp (* (sin phi1) (sin phi2))) (pow (* (sin phi1) (sin phi2)) 3) (* (cbrt (* (sin phi1) (sin phi2))) (cbrt (* (sin phi1) (sin phi2)))) (cbrt (* (sin phi1) (sin phi2))) (pow (* (sin phi1) (sin phi2)) 3) (sqrt (* (sin phi1) (sin phi2))) (sqrt (* (sin phi1) (sin phi2))) (* (sqrt (sin phi1)) (sqrt (sin phi2))) (* (sqrt (sin phi1)) (sqrt (sin phi2))) (* (sin phi1) (* (cbrt (sin phi2)) (cbrt (sin phi2)))) (* (sin phi1) (sqrt (sin phi2))) (sin phi1) (* (cbrt (sin phi1)) (sin phi2)) (* (sqrt (sin phi1)) (sin phi2)) (* (sin phi1) (sin phi2)) (- (* lambda2 lambda1)) (* (sin lambda1) (sin (- lambda2))) (* (sin lambda1) (sin (- lambda2))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (cos phi2)) (cos phi1)))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (cos phi2)) (cos phi1)))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))) (cos phi2)) (cos phi1)))) (+ (* (pow lambda1 3) (- (* 1/2 (pow lambda2 5)) (pow lambda2 3))) (* 1/2 (* (pow lambda2 3) (pow lambda1 5)))) (pow (* (sin lambda1) (sin (- lambda2))) 3) (pow (* (sin lambda1) (sin (- lambda2))) 3) (* phi2 phi1) (* (sin phi1) (sin phi2)) (* (sin phi1) (sin phi2)) 4.450 * * * [progress]: adding candidates to table 4.840 * * [progress]: iteration 4 / 4 4.840 * * * [progress]: picking best candidate 4.909 * * * * [pick]: Picked # 4.909 * * * [progress]: localizing error 4.947 * * * [progress]: generating rewritten candidates 4.947 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 2) 4.949 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 4.950 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 4.952 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 2 1) 4.958 * * * [progress]: generating series expansions 4.959 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 2) 4.959 * [approximate]: Taking taylor expansion of (* (sin lambda1) (sin (- lambda2))) in (lambda1 lambda2) around 0 4.959 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin (- lambda2))) in lambda2 4.959 * [taylor]: Taking taylor expansion of (sin lambda1) in lambda2 4.959 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.959 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 4.959 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 4.959 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.960 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin (- lambda2))) in lambda1 4.960 * [taylor]: Taking taylor expansion of (sin lambda1) in lambda1 4.960 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.960 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda1 4.960 * [taylor]: Taking taylor expansion of (- lambda2) in lambda1 4.960 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.960 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin (- lambda2))) in lambda1 4.960 * [taylor]: Taking taylor expansion of (sin lambda1) in lambda1 4.960 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.960 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda1 4.960 * [taylor]: Taking taylor expansion of (- lambda2) in lambda1 4.960 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.961 * [taylor]: Taking taylor expansion of 0 in lambda2 4.964 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 4.964 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 4.964 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.967 * [taylor]: Taking taylor expansion of 0 in lambda2 4.973 * [taylor]: Taking taylor expansion of (- (* 1/6 (sin (- lambda2)))) in lambda2 4.973 * [taylor]: Taking taylor expansion of (* 1/6 (sin (- lambda2))) in lambda2 4.973 * [taylor]: Taking taylor expansion of 1/6 in lambda2 4.973 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 4.973 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 4.973 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.981 * [taylor]: Taking taylor expansion of 0 in lambda2 4.981 * [approximate]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) in (lambda1 lambda2) around 0 4.981 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) in lambda2 4.981 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda1)) in lambda2 4.981 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.981 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.981 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2))) in lambda2 4.981 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2)) in lambda2 4.981 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.981 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.982 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) in lambda1 4.982 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda1)) in lambda1 4.982 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.982 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.982 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2))) in lambda1 4.982 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2)) in lambda1 4.982 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.982 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.983 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) in lambda1 4.983 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda1)) in lambda1 4.983 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 4.983 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.983 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2))) in lambda1 4.983 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2)) in lambda1 4.983 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.983 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.983 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) in lambda2 4.983 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda1)) in lambda2 4.983 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 4.983 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.984 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2))) in lambda2 4.984 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2)) in lambda2 4.984 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.984 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.986 * [taylor]: Taking taylor expansion of 0 in lambda2 4.991 * [taylor]: Taking taylor expansion of 0 in lambda2 4.997 * [taylor]: Taking taylor expansion of 0 in lambda2 4.997 * [approximate]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) in (lambda1 lambda2) around 0 4.997 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) in lambda2 4.997 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda1)) in lambda2 4.997 * [taylor]: Taking taylor expansion of (/ -1 lambda1) in lambda2 4.997 * [taylor]: Taking taylor expansion of -1 in lambda2 4.997 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.997 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda2 4.997 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.997 * [taylor]: Taking taylor expansion of lambda2 in lambda2 4.998 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) in lambda1 4.998 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda1)) in lambda1 4.998 * [taylor]: Taking taylor expansion of (/ -1 lambda1) in lambda1 4.998 * [taylor]: Taking taylor expansion of -1 in lambda1 4.998 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.998 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda1 4.998 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.998 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.998 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) in lambda1 4.998 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda1)) in lambda1 4.998 * [taylor]: Taking taylor expansion of (/ -1 lambda1) in lambda1 4.998 * [taylor]: Taking taylor expansion of -1 in lambda1 4.998 * [taylor]: Taking taylor expansion of lambda1 in lambda1 4.998 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda1 4.998 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 4.999 * [taylor]: Taking taylor expansion of lambda2 in lambda1 4.999 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) in lambda2 4.999 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda1)) in lambda2 4.999 * [taylor]: Taking taylor expansion of (/ -1 lambda1) in lambda2 4.999 * [taylor]: Taking taylor expansion of -1 in lambda2 4.999 * [taylor]: Taking taylor expansion of lambda1 in lambda2 4.999 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda2 4.999 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 4.999 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.001 * [taylor]: Taking taylor expansion of 0 in lambda2 5.005 * [taylor]: Taking taylor expansion of 0 in lambda2 5.010 * [taylor]: Taking taylor expansion of 0 in lambda2 5.010 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 5.011 * [approximate]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in (phi1 phi2) around 0 5.011 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi2 5.011 * [taylor]: Taking taylor expansion of (sin phi1) in phi2 5.011 * [taylor]: Taking taylor expansion of phi1 in phi2 5.011 * [taylor]: Taking taylor expansion of (sin phi2) in phi2 5.011 * [taylor]: Taking taylor expansion of phi2 in phi2 5.011 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi1 5.011 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 5.011 * [taylor]: Taking taylor expansion of phi1 in phi1 5.011 * [taylor]: Taking taylor expansion of (sin phi2) in phi1 5.011 * [taylor]: Taking taylor expansion of phi2 in phi1 5.011 * [taylor]: Taking taylor expansion of (* (sin phi1) (sin phi2)) in phi1 5.011 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 5.011 * [taylor]: Taking taylor expansion of phi1 in phi1 5.011 * [taylor]: Taking taylor expansion of (sin phi2) in phi1 5.011 * [taylor]: Taking taylor expansion of phi2 in phi1 5.011 * [taylor]: Taking taylor expansion of 0 in phi2 5.013 * [taylor]: Taking taylor expansion of (sin phi2) in phi2 5.013 * [taylor]: Taking taylor expansion of phi2 in phi2 5.016 * [taylor]: Taking taylor expansion of 0 in phi2 5.020 * [taylor]: Taking taylor expansion of (- (* 1/6 (sin phi2))) in phi2 5.020 * [taylor]: Taking taylor expansion of (* 1/6 (sin phi2)) in phi2 5.021 * [taylor]: Taking taylor expansion of 1/6 in phi2 5.021 * [taylor]: Taking taylor expansion of (sin phi2) in phi2 5.021 * [taylor]: Taking taylor expansion of phi2 in phi2 5.027 * [taylor]: Taking taylor expansion of 0 in phi2 5.027 * [approximate]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in (phi1 phi2) around 0 5.027 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi2 5.027 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi2 5.027 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 5.027 * [taylor]: Taking taylor expansion of phi1 in phi2 5.027 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi2 5.027 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 5.027 * [taylor]: Taking taylor expansion of phi2 in phi2 5.028 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi1 5.028 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 5.028 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 5.028 * [taylor]: Taking taylor expansion of phi1 in phi1 5.028 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi1 5.028 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 5.028 * [taylor]: Taking taylor expansion of phi2 in phi1 5.028 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi1 5.028 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 5.028 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 5.028 * [taylor]: Taking taylor expansion of phi1 in phi1 5.028 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi1 5.028 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 5.028 * [taylor]: Taking taylor expansion of phi2 in phi1 5.029 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) in phi2 5.029 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi2 5.029 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 5.029 * [taylor]: Taking taylor expansion of phi1 in phi2 5.029 * [taylor]: Taking taylor expansion of (sin (/ 1 phi2)) in phi2 5.029 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 5.029 * [taylor]: Taking taylor expansion of phi2 in phi2 5.031 * [taylor]: Taking taylor expansion of 0 in phi2 5.035 * [taylor]: Taking taylor expansion of 0 in phi2 5.044 * [taylor]: Taking taylor expansion of 0 in phi2 5.044 * [approximate]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in (phi1 phi2) around 0 5.044 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi2 5.044 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi2 5.044 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi2 5.044 * [taylor]: Taking taylor expansion of -1 in phi2 5.044 * [taylor]: Taking taylor expansion of phi1 in phi2 5.044 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi2 5.044 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi2 5.044 * [taylor]: Taking taylor expansion of -1 in phi2 5.044 * [taylor]: Taking taylor expansion of phi2 in phi2 5.045 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi1 5.045 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 5.045 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 5.045 * [taylor]: Taking taylor expansion of -1 in phi1 5.045 * [taylor]: Taking taylor expansion of phi1 in phi1 5.045 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi1 5.045 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi1 5.045 * [taylor]: Taking taylor expansion of -1 in phi1 5.045 * [taylor]: Taking taylor expansion of phi2 in phi1 5.045 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi1 5.045 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 5.045 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 5.045 * [taylor]: Taking taylor expansion of -1 in phi1 5.045 * [taylor]: Taking taylor expansion of phi1 in phi1 5.046 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi1 5.046 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi1 5.046 * [taylor]: Taking taylor expansion of -1 in phi1 5.046 * [taylor]: Taking taylor expansion of phi2 in phi1 5.046 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (sin (/ -1 phi2))) in phi2 5.046 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi2 5.046 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi2 5.046 * [taylor]: Taking taylor expansion of -1 in phi2 5.046 * [taylor]: Taking taylor expansion of phi1 in phi2 5.046 * [taylor]: Taking taylor expansion of (sin (/ -1 phi2)) in phi2 5.046 * [taylor]: Taking taylor expansion of (/ -1 phi2) in phi2 5.046 * [taylor]: Taking taylor expansion of -1 in phi2 5.046 * [taylor]: Taking taylor expansion of phi2 in phi2 5.048 * [taylor]: Taking taylor expansion of 0 in phi2 5.052 * [taylor]: Taking taylor expansion of 0 in phi2 5.057 * [taylor]: Taking taylor expansion of 0 in phi2 5.058 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 5.058 * [approximate]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in (phi1 phi2 lambda1 lambda2) around 0 5.058 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in lambda2 5.059 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in lambda1 5.059 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in phi2 5.059 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in phi1 5.060 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in phi1 5.060 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in phi2 5.060 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in lambda1 5.061 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) in lambda2 5.062 * [taylor]: Taking taylor expansion of 0 in phi2 5.062 * [taylor]: Taking taylor expansion of 0 in lambda1 5.062 * [taylor]: Taking taylor expansion of 0 in lambda2 5.062 * [taylor]: Taking taylor expansion of 0 in lambda1 5.062 * [taylor]: Taking taylor expansion of 0 in lambda2 5.062 * [taylor]: Taking taylor expansion of 0 in lambda2 5.062 * [taylor]: Taking taylor expansion of 0 in phi2 5.062 * [taylor]: Taking taylor expansion of 0 in lambda1 5.062 * [taylor]: Taking taylor expansion of 0 in lambda2 5.062 * [taylor]: Taking taylor expansion of 0 in lambda1 5.062 * [taylor]: Taking taylor expansion of 0 in lambda2 5.063 * [approximate]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in (phi1 phi2 lambda1 lambda2) around 0 5.063 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in lambda2 5.063 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in lambda1 5.064 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in phi2 5.065 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in phi1 5.065 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in phi1 5.066 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi2)) (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1)))))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in phi2 5.066 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1))))) (* (sin (/ 1 phi1)) (sin (/ 1 phi2)))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in lambda1 5.067 * [taylor]: Taking taylor expansion of (acos (- (+ (* (sin (/ 1 phi1)) (sin (/ 1 phi2))) (* (cos (/ 1 phi2)) (* (cos (/ 1 lambda2)) (* (cos (/ 1 phi1)) (cos (/ 1 lambda1)))))) (* (sin (/ 1 lambda1)) (* (cos (/ 1 phi2)) (* (cos (/ 1 phi1)) (sin (- (/ 1 lambda2)))))))) in lambda2 5.068 * [taylor]: Taking taylor expansion of 0 in phi2 5.068 * [taylor]: Taking taylor expansion of 0 in lambda1 5.068 * [taylor]: Taking taylor expansion of 0 in lambda2 5.068 * [taylor]: Taking taylor expansion of 0 in lambda1 5.068 * [taylor]: Taking taylor expansion of 0 in lambda2 5.068 * [taylor]: Taking taylor expansion of 0 in lambda2 5.068 * [taylor]: Taking taylor expansion of 0 in phi2 5.068 * [taylor]: Taking taylor expansion of 0 in lambda1 5.068 * [taylor]: Taking taylor expansion of 0 in lambda2 5.068 * [taylor]: Taking taylor expansion of 0 in lambda1 5.068 * [taylor]: Taking taylor expansion of 0 in lambda2 5.069 * [approximate]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in (phi1 phi2 lambda1 lambda2) around 0 5.069 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in lambda2 5.070 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in lambda1 5.070 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in phi2 5.071 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in phi1 5.071 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in phi1 5.072 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in phi2 5.072 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in lambda1 5.073 * [taylor]: Taking taylor expansion of (acos (- (+ (* (cos (/ -1 phi1)) (* (cos (/ -1 lambda1)) (* (cos (/ -1 phi2)) (cos (/ -1 lambda2))))) (* (sin (/ -1 phi1)) (sin (/ -1 phi2)))) (* (cos (/ -1 phi1)) (* (sin (/ -1 lambda1)) (* (sin (/ 1 lambda2)) (cos (/ -1 phi2))))))) in lambda2 5.074 * [taylor]: Taking taylor expansion of 0 in phi2 5.074 * [taylor]: Taking taylor expansion of 0 in lambda1 5.074 * [taylor]: Taking taylor expansion of 0 in lambda2 5.074 * [taylor]: Taking taylor expansion of 0 in lambda1 5.074 * [taylor]: Taking taylor expansion of 0 in lambda2 5.074 * [taylor]: Taking taylor expansion of 0 in lambda2 5.074 * [taylor]: Taking taylor expansion of 0 in phi2 5.074 * [taylor]: Taking taylor expansion of 0 in lambda1 5.074 * [taylor]: Taking taylor expansion of 0 in lambda2 5.074 * [taylor]: Taking taylor expansion of 0 in lambda1 5.074 * [taylor]: Taking taylor expansion of 0 in lambda2 5.075 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 2 1) 5.075 * [approximate]: Taking taylor expansion of (pow (* (sin lambda1) (sin (- lambda2))) 3) in (lambda1 lambda2) around 0 5.075 * [taylor]: Taking taylor expansion of (pow (* (sin lambda1) (sin (- lambda2))) 3) in lambda2 5.075 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin (- lambda2))) in lambda2 5.075 * [taylor]: Taking taylor expansion of (sin lambda1) in lambda2 5.075 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.075 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 5.075 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 5.075 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.079 * [taylor]: Taking taylor expansion of (pow (* (sin lambda1) (sin (- lambda2))) 3) in lambda1 5.079 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin (- lambda2))) in lambda1 5.079 * [taylor]: Taking taylor expansion of (sin lambda1) in lambda1 5.079 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.079 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda1 5.079 * [taylor]: Taking taylor expansion of (- lambda2) in lambda1 5.079 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.081 * [taylor]: Taking taylor expansion of (pow (* (sin lambda1) (sin (- lambda2))) 3) in lambda1 5.081 * [taylor]: Taking taylor expansion of (* (sin lambda1) (sin (- lambda2))) in lambda1 5.081 * [taylor]: Taking taylor expansion of (sin lambda1) in lambda1 5.081 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.081 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda1 5.081 * [taylor]: Taking taylor expansion of (- lambda2) in lambda1 5.081 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.084 * [taylor]: Taking taylor expansion of (pow (sin (- lambda2)) 3) in lambda2 5.084 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 5.084 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 5.084 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.089 * [taylor]: Taking taylor expansion of 0 in lambda2 5.097 * [taylor]: Taking taylor expansion of (- (* 1/2 (pow (sin (- lambda2)) 3))) in lambda2 5.097 * [taylor]: Taking taylor expansion of (* 1/2 (pow (sin (- lambda2)) 3)) in lambda2 5.097 * [taylor]: Taking taylor expansion of 1/2 in lambda2 5.097 * [taylor]: Taking taylor expansion of (pow (sin (- lambda2)) 3) in lambda2 5.097 * [taylor]: Taking taylor expansion of (sin (- lambda2)) in lambda2 5.097 * [taylor]: Taking taylor expansion of (- lambda2) in lambda2 5.097 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.102 * [approximate]: Taking taylor expansion of (pow (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) 3) in (lambda1 lambda2) around 0 5.102 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) 3) in lambda2 5.102 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) in lambda2 5.102 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda1)) in lambda2 5.102 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.102 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.102 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2))) in lambda2 5.102 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2)) in lambda2 5.102 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.102 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.103 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) 3) in lambda1 5.103 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) in lambda1 5.103 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda1)) in lambda1 5.103 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.103 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.103 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2))) in lambda1 5.103 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2)) in lambda1 5.103 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.103 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.104 * [taylor]: Taking taylor expansion of (pow (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) 3) in lambda1 5.104 * [taylor]: Taking taylor expansion of (* (sin (/ 1 lambda1)) (sin (- (/ 1 lambda2)))) in lambda1 5.104 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda1)) in lambda1 5.104 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.104 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.104 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2))) in lambda1 5.104 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2)) in lambda1 5.104 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.104 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.105 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 lambda1)) 3) (pow (sin (- (/ 1 lambda2))) 3)) in lambda2 5.105 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 lambda1)) 3) in lambda2 5.105 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda1)) in lambda2 5.105 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.105 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.105 * [taylor]: Taking taylor expansion of (pow (sin (- (/ 1 lambda2))) 3) in lambda2 5.105 * [taylor]: Taking taylor expansion of (sin (- (/ 1 lambda2))) in lambda2 5.105 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2)) in lambda2 5.105 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.105 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.109 * [taylor]: Taking taylor expansion of 0 in lambda2 5.115 * [taylor]: Taking taylor expansion of 0 in lambda2 5.125 * [taylor]: Taking taylor expansion of 0 in lambda2 5.125 * [approximate]: Taking taylor expansion of (pow (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) 3) in (lambda1 lambda2) around 0 5.125 * [taylor]: Taking taylor expansion of (pow (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) 3) in lambda2 5.125 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) in lambda2 5.125 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda1)) in lambda2 5.125 * [taylor]: Taking taylor expansion of (/ -1 lambda1) in lambda2 5.125 * [taylor]: Taking taylor expansion of -1 in lambda2 5.125 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.125 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda2 5.125 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.125 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.126 * [taylor]: Taking taylor expansion of (pow (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) 3) in lambda1 5.126 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) in lambda1 5.126 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda1)) in lambda1 5.126 * [taylor]: Taking taylor expansion of (/ -1 lambda1) in lambda1 5.126 * [taylor]: Taking taylor expansion of -1 in lambda1 5.126 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.126 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda1 5.126 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.126 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.127 * [taylor]: Taking taylor expansion of (pow (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) 3) in lambda1 5.127 * [taylor]: Taking taylor expansion of (* (sin (/ -1 lambda1)) (sin (/ 1 lambda2))) in lambda1 5.127 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda1)) in lambda1 5.127 * [taylor]: Taking taylor expansion of (/ -1 lambda1) in lambda1 5.127 * [taylor]: Taking taylor expansion of -1 in lambda1 5.127 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.127 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda1 5.127 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.127 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.132 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 lambda1)) 3) (pow (sin (/ 1 lambda2)) 3)) in lambda2 5.132 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 lambda1)) 3) in lambda2 5.132 * [taylor]: Taking taylor expansion of (sin (/ -1 lambda1)) in lambda2 5.132 * [taylor]: Taking taylor expansion of (/ -1 lambda1) in lambda2 5.132 * [taylor]: Taking taylor expansion of -1 in lambda2 5.132 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.133 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 lambda2)) 3) in lambda2 5.133 * [taylor]: Taking taylor expansion of (sin (/ 1 lambda2)) in lambda2 5.133 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.133 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.136 * [taylor]: Taking taylor expansion of 0 in lambda2 5.141 * [taylor]: Taking taylor expansion of 0 in lambda2 5.150 * [taylor]: Taking taylor expansion of 0 in lambda2 5.150 * * * [progress]: simplifying candidates 5.151 * [simplify]: Simplifying using # : (log (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) (exp (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) (cbrt (pow (sin lambda1) 3)) (cbrt (pow (sin (- lambda2)) 3)) (cbrt (* (* (sin lambda1) (sin (- lambda2))) (* (sin lambda1) (sin (- lambda2))))) (cbrt (* (sin lambda1) (sin (- lambda2)))) (cbrt (* (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3)))) (cbrt (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) (cbrt (pow (sin lambda1) 3)) (cbrt (pow (sin (- lambda2)) 3)) (cbrt (* (sin lambda1) (sin (- lambda2)))) (cbrt (* (* (sin lambda1) (sin (- lambda2))) (* (sin lambda1) (sin (- lambda2))))) (cbrt (sqrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) (cbrt (sqrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) (cbrt 1) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) (/ 3 2))) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) (/ 3 2))) (cbrt (pow (- (cos (- lambda1 (- lambda2))) (cos (+ lambda1 (- lambda2)))) 3)) (cbrt (pow 2 3)) (* (cbrt (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) (cbrt (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3)))) (cbrt (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) (* (* (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) (sqrt (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) (sqrt (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) (log (cbrt (pow (* (sin phi1) (sin phi2)) 3))) (exp (cbrt (pow (* (sin phi1) (sin phi2)) 3))) (cbrt (pow (sin phi1) 3)) (cbrt (pow (sin phi2) 3)) (cbrt (* (* (sin phi1) (sin phi2)) (* (sin phi1) (sin phi2)))) (cbrt (* (sin phi1) (sin phi2))) (cbrt (* (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (cbrt (pow (* (sin phi1) (sin phi2)) 3)))) (cbrt (cbrt (pow (* (sin phi1) (sin phi2)) 3))) (cbrt (pow (sin phi1) 3)) (cbrt (pow (sin phi2) 3)) (cbrt (* (sin phi1) (sin phi2))) (cbrt (* (* (sin phi1) (sin phi2)) (* (sin phi1) (sin phi2)))) (cbrt (sqrt (pow (* (sin phi1) (sin phi2)) 3))) (cbrt (sqrt (pow (* (sin phi1) (sin phi2)) 3))) (cbrt 1) (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (cbrt (pow (* (sin phi1) (sin phi2)) (/ 3 2))) (cbrt (pow (* (sin phi1) (sin phi2)) (/ 3 2))) (cbrt (pow (- (cos (- phi1 phi2)) (cos (+ phi1 phi2))) 3)) (cbrt (pow 2 3)) (* (cbrt (cbrt (pow (* (sin phi1) (sin phi2)) 3))) (cbrt (cbrt (pow (* (sin phi1) (sin phi2)) 3)))) (cbrt (cbrt (pow (* (sin phi1) (sin phi2)) 3))) (* (* (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (cbrt (pow (* (sin phi1) (sin phi2)) 3))) (cbrt (pow (* (sin phi1) (sin phi2)) 3))) (sqrt (cbrt (pow (* (sin phi1) (sin phi2)) 3))) (sqrt (cbrt (pow (* (sin phi1) (sin phi2)) 3))) (/ PI 2) (asin (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3)))))) (log (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))))))) (exp (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))))))) (* (cbrt (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))))))) (cbrt (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3)))))))) (cbrt (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))))))) (* (* (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3)))))) (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))))))) (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))))))) (sqrt (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))))))) (sqrt (acos (+ (cbrt (pow (* (sin phi1) (sin phi2)) 3)) (* (* (cos phi1) (cos phi2)) (- (* (cos lambda1) (cos lambda2)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))))))) (* (+ (log (sin lambda1)) (log (sin (- lambda2)))) 3) (* (log (* (sin lambda1) (sin (- lambda2)))) 3) (* (log (* (sin lambda1) (sin (- lambda2)))) 3) (* 1 3) (* 1 3) (pow (* (sin lambda1) (sin (- lambda2))) (* (cbrt 3) (cbrt 3))) (pow (* (sin lambda1) (sin (- lambda2))) (sqrt 3)) (pow (* (sin lambda1) (sin (- lambda2))) 1) (pow (sin lambda1) 3) (pow (sin (- lambda2)) 3) (* (* (sin lambda1) (sin (- lambda2))) (* (sin lambda1) (sin (- lambda2)))) (log (pow (* (sin lambda1) (sin (- lambda2))) 3)) (exp (pow (* (sin lambda1) (sin (- lambda2))) 3)) (* (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3)) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) (cbrt (pow (* (sin lambda1) (sin (- lambda2))) 3)) (* (* (pow (* (sin lambda1) (sin (- lambda2))) 3) (pow (* (sin lambda1) (sin (- lambda2))) 3)) (pow (* (sin lambda1) (sin (- lambda2))) 3)) (pow (sin lambda1) 3) (pow (sin (- lambda2)) 3) (pow (- (cos (- lambda1 (- lambda2))) (cos (+ lambda1 (- lambda2)))) 3) (pow 2 3) (* (* (sin lambda1) (sin (- lambda2))) (* (sin lambda1) (sin (- lambda2)))) (pow (* (sin lambda1) (sin lambda2)) 3) (sqrt (pow (* (sin lambda1) (sin (- lambda2))) 3)) (sqrt (pow (* (sin lambda1) (sin (- lambda2))) 3)) (pow (* (sin lambda1) (sin (- lambda2))) (/ 3 2)) (pow (* (sin lambda1) (sin (- lambda2))) (/ 3 2)) (* -1 (* lambda2 lambda1)) (* (sin lambda1) (sin (- lambda2))) (* (sin lambda1) (sin (* -1 lambda2))) (* phi2 phi1) (* (sin phi1) (sin phi2)) (* (sin phi1) (sin phi2)) (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (- lambda2))))))) (acos (- (+ (* (sin phi1) (sin phi2)) (* (cos lambda1) (* (cos phi1) (* (cos phi2) (cos lambda2))))) (* (sin lambda1) (* (cos phi1) (* (cos phi2) (sin (* -1 lambda2))))))) (- (+ (* 1/2 (* (pow lambda2 5) (pow lambda1 3))) (* 1/2 (* (pow lambda2 3) (pow lambda1 5)))) (* (pow lambda2 3) (pow lambda1 3))) (* (pow (sin lambda1) 3) (pow (sin (- lambda2)) 3)) (* (pow (sin lambda1) 3) (pow (sin (* -1 lambda2)) 3)) 5.155 * * [simplify]: iteration 0 : 151 enodes (cost 1269 ) 5.181 * * [simplify]: iteration 1 : 351 enodes (cost 1008 ) 5.260 * * [simplify]: iteration 2 : 1081 enodes (cost 919 ) 5.658 * * [simplify]: iteration 3 : 4912 enodes (cost 887 ) 8.344 * * [simplify]: iteration done : 5000 enodes (cost 887 ) 8.344 * [simplify]: Simplified to: (log (* (sin (- lambda2)) (sin lambda1))) (exp (* (sin (- lambda2)) (sin lambda1))) (sin lambda1) (sin (- lambda2)) (cbrt (pow (* (sin (- lambda2)) (sin lambda1)) 2)) (cbrt (* (- (sin lambda2)) (sin lambda1))) (cbrt (pow (* (sin (- lambda2)) (sin lambda1)) 2)) (cbrt (* (- (sin lambda2)) (sin lambda1))) (sin lambda1) (sin (- lambda2)) (cbrt (* (- (sin lambda2)) (sin lambda1))) (cbrt (pow (* (sin (- lambda2)) (sin lambda1)) 2)) (cbrt (sqrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) (cbrt (sqrt (pow (* (sin lambda1) (sin (- lambda2))) 3))) 1 (* (sin (- lambda2)) (sin lambda1)) (cbrt (pow (* (sin (- lambda2)) (sin lambda1)) 3/2)) (cbrt (pow (* (sin (- lambda2)) (sin lambda1)) 3/2)) (- (cos (+ lambda1 lambda2)) (cos (- lambda1 lambda2))) 2 (* (cbrt (* (sin lambda1) (sin (- lambda2)))) (cbrt (* (sin lambda1) (sin (- lambda2))))) (cbrt (* (- (sin lambda2)) (sin lambda1))) (pow (* (sin (- lambda2)) (sin lambda1)) 3) (sqrt (* (sin (- lambda2)) (sin lambda1))) (sqrt (* (sin (- lambda2)) (sin lambda1))) (log (* (sin phi1) (sin phi2))) (exp (* (sin phi1) (sin phi2))) (sin phi1) (sin phi2) (cbrt (* (* (sin phi1) (sin phi2)) (* (sin phi1) (sin phi2)))) (cbrt (* (sin phi1) (sin phi2))) (cbrt (* (* (sin phi1) (sin phi2)) (* (sin phi1) (sin phi2)))) (cbrt (* (sin phi1) (sin phi2))) (sin phi1) (sin phi2) (cbrt (* (sin phi1) (sin phi2))) (cbrt (* (* (sin phi1) (sin phi2)) (* (sin phi1) (sin phi2)))) (cbrt (sqrt (pow (* (sin phi1) (sin phi2)) 3))) (cbrt (sqrt (pow (* (sin phi1) (sin phi2)) 3))) 1 (* (sin phi1) (sin phi2)) (cbrt (pow (* (sin phi1) (sin phi2)) 3/2)) (cbrt (pow (* (sin phi1) (sin phi2)) 3/2)) (- (cos (- phi1 phi2)) (cos (+ phi1 phi2))) 2 (* (cbrt (* (sin phi1) (sin phi2))) (cbrt (* (sin phi1) (sin phi2)))) (cbrt (* (sin phi1) (sin phi2))) (pow (* (sin phi1) (sin phi2)) 3) (sqrt (* (sin phi1) (sin phi2))) (sqrt (* (sin phi1) (sin phi2))) (/ PI 2) (asin (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))) (log (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1))))) (exp (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1))))) (* (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))))) (cbrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1))))) (pow (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))) 3) (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1))))) (sqrt (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1))))) (* (log (* (sin lambda1) (sin (- lambda2)))) 3) (* (log (* (sin lambda1) (sin (- lambda2)))) 3) (* (log (* (sin lambda1) (sin (- lambda2)))) 3) 3 3 (pow (* (sin lambda1) (sin (- lambda2))) (* (cbrt 3) (cbrt 3))) (pow (* (sin lambda1) (sin (- lambda2))) (sqrt 3)) (* (sin (- lambda2)) (sin lambda1)) (pow (sin lambda1) 3) (pow (sin (- lambda2)) 3) (pow (* (sin (- lambda2)) (sin lambda1)) 2) (* (log (* (sin lambda1) (sin (- lambda2)))) 3) (exp (pow (* (sin lambda1) (sin (- lambda2))) 3)) (pow (* (sin (- lambda2)) (sin lambda1)) 2) (* (sin (- lambda2)) (sin lambda1)) (pow (pow (* (sin lambda1) (sin (- lambda2))) 3) 3) (pow (sin lambda1) 3) (pow (sin (- lambda2)) 3) (pow (- (cos (+ lambda1 lambda2)) (cos (- lambda1 lambda2))) 3) 8 (pow (* (sin (- lambda2)) (sin lambda1)) 2) (pow (* (sin lambda1) (sin lambda2)) 3) (sqrt (pow (* (sin lambda1) (sin (- lambda2))) 3)) (sqrt (pow (* (sin lambda1) (sin (- lambda2))) 3)) (pow (* (sin (- lambda2)) (sin lambda1)) 3/2) (pow (* (sin (- lambda2)) (sin lambda1)) 3/2) (- (* lambda2 lambda1)) (* (sin (- lambda2)) (sin lambda1)) (* (sin (- lambda2)) (sin lambda1)) (* phi2 phi1) (* (sin phi1) (sin phi2)) (* (sin phi1) (sin phi2)) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))) (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1)))) (+ (* (pow lambda2 3) (- (* 1/2 (pow lambda1 5)) (pow lambda1 3))) (* 1/2 (* (pow lambda2 5) (pow lambda1 3)))) (pow (* (sin (- lambda2)) (sin lambda1)) 3) (pow (* (sin (- lambda2)) (sin lambda1)) 3) 8.345 * * * [progress]: adding candidates to table 8.795 * [progress]: [Phase 3 of 3] Extracting. 8.796 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # #) 8.815 * * * [regime-changes]: Trying 5 branch expressions: (phi2 phi1 lambda2 lambda1 R) 8.815 * * * * [regimes]: Trying to branch on phi2 from (# # # # # # # # # # # #) 8.902 * * * * [regimes]: Trying to branch on phi1 from (# # # # # # # # # # # #) 8.991 * * * * [regimes]: Trying to branch on lambda2 from (# # # # # # # # # # # #) 9.079 * * * * [regimes]: Trying to branch on lambda1 from (# # # # # # # # # # # #) 9.170 * * * * [regimes]: Trying to branch on R from (# # # # # # # # # # # #) 9.259 * * * [regime]: Found split indices: #