1.694 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.251 * * * [progress]: [2/2] Setting up program. 0.257 * [progress]: [Phase 2 of 3] Improving. 0.257 * [simplify]: Simplifying using # : (+ lambda1 (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))) 0.258 * * [simplify]: iteration 0 : 22 enodes (cost 33 ) 0.261 * * [simplify]: iteration 1 : 36 enodes (cost 32 ) 0.265 * * [simplify]: iteration 2 : 59 enodes (cost 32 ) 0.278 * * [simplify]: iteration 3 : 68 enodes (cost 32 ) 0.284 * * [simplify]: iteration done : 68 enodes (cost 32 ) 0.284 * [simplify]: Simplified to: (+ lambda1 (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))))) 0.291 * * [progress]: iteration 1 / 4 0.291 * * * [progress]: picking best candidate 0.296 * * * * [pick]: Picked # 0.296 * * * [progress]: localizing error 0.328 * * * [progress]: generating rewritten candidates 0.365 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.368 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2) 0.373 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 1) 0.373 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 0.374 * * * [progress]: generating series expansions 0.374 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.375 * [approximate]: Taking taylor expansion of (- (cos delta) (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta)))))) in (delta phi1 theta) around 0 0.375 * [taylor]: Taking taylor expansion of (- (cos delta) (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta)))))) in theta 0.375 * [taylor]: Taking taylor expansion of (cos delta) in theta 0.375 * [taylor]: Taking taylor expansion of delta in theta 0.375 * [taylor]: Taking taylor expansion of (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in theta 0.375 * [taylor]: Taking taylor expansion of (sin phi1) in theta 0.375 * [taylor]: Taking taylor expansion of phi1 in theta 0.375 * [taylor]: Taking taylor expansion of (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta)))) in theta 0.375 * [taylor]: Rewrote expression to (+ (* (sin phi1) (cos delta)) (* (sin delta) (* (cos phi1) (cos theta)))) 0.375 * [taylor]: Taking taylor expansion of (* (sin phi1) (cos delta)) in theta 0.375 * [taylor]: Taking taylor expansion of (sin phi1) in theta 0.375 * [taylor]: Taking taylor expansion of phi1 in theta 0.375 * [taylor]: Taking taylor expansion of (cos delta) in theta 0.375 * [taylor]: Taking taylor expansion of delta in theta 0.375 * [taylor]: Taking taylor expansion of (* (sin delta) (* (cos phi1) (cos theta))) in theta 0.376 * [taylor]: Taking taylor expansion of (sin delta) in theta 0.376 * [taylor]: Taking taylor expansion of delta in theta 0.376 * [taylor]: Taking taylor expansion of (* (cos phi1) (cos theta)) in theta 0.376 * [taylor]: Taking taylor expansion of (cos phi1) in theta 0.376 * [taylor]: Taking taylor expansion of phi1 in theta 0.376 * [taylor]: Taking taylor expansion of (cos theta) in theta 0.376 * [taylor]: Taking taylor expansion of theta in theta 0.376 * [taylor]: Taking taylor expansion of (- (cos delta) (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta)))))) in phi1 0.376 * [taylor]: Taking taylor expansion of (cos delta) in phi1 0.376 * [taylor]: Taking taylor expansion of delta in phi1 0.376 * [taylor]: Taking taylor expansion of (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in phi1 0.376 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 0.376 * [taylor]: Taking taylor expansion of phi1 in phi1 0.376 * [taylor]: Taking taylor expansion of (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta)))) in phi1 0.376 * [taylor]: Rewrote expression to (+ (* (sin phi1) (cos delta)) (* (sin delta) (* (cos phi1) (cos theta)))) 0.376 * [taylor]: Taking taylor expansion of (* (sin phi1) (cos delta)) in phi1 0.376 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 0.376 * [taylor]: Taking taylor expansion of phi1 in phi1 0.376 * [taylor]: Taking taylor expansion of (cos delta) in phi1 0.376 * [taylor]: Taking taylor expansion of delta in phi1 0.376 * [taylor]: Taking taylor expansion of (* (sin delta) (* (cos phi1) (cos theta))) in phi1 0.376 * [taylor]: Taking taylor expansion of (sin delta) in phi1 0.376 * [taylor]: Taking taylor expansion of delta in phi1 0.376 * [taylor]: Taking taylor expansion of (* (cos phi1) (cos theta)) in phi1 0.376 * [taylor]: Taking taylor expansion of (cos phi1) in phi1 0.376 * [taylor]: Taking taylor expansion of phi1 in phi1 0.376 * [taylor]: Taking taylor expansion of (cos theta) in phi1 0.376 * [taylor]: Taking taylor expansion of theta in phi1 0.376 * [taylor]: Taking taylor expansion of (- (cos delta) (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta)))))) in delta 0.376 * [taylor]: Taking taylor expansion of (cos delta) in delta 0.376 * [taylor]: Taking taylor expansion of delta in delta 0.376 * [taylor]: Taking taylor expansion of (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in delta 0.376 * [taylor]: Taking taylor expansion of (sin phi1) in delta 0.376 * [taylor]: Taking taylor expansion of phi1 in delta 0.376 * [taylor]: Taking taylor expansion of (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta)))) in delta 0.376 * [taylor]: Rewrote expression to (+ (* (sin phi1) (cos delta)) (* (sin delta) (* (cos phi1) (cos theta)))) 0.376 * [taylor]: Taking taylor expansion of (* (sin phi1) (cos delta)) in delta 0.377 * [taylor]: Taking taylor expansion of (sin phi1) in delta 0.377 * [taylor]: Taking taylor expansion of phi1 in delta 0.377 * [taylor]: Taking taylor expansion of (cos delta) in delta 0.377 * [taylor]: Taking taylor expansion of delta in delta 0.377 * [taylor]: Taking taylor expansion of (* (sin delta) (* (cos phi1) (cos theta))) in delta 0.377 * [taylor]: Taking taylor expansion of (sin delta) in delta 0.377 * [taylor]: Taking taylor expansion of delta in delta 0.377 * [taylor]: Taking taylor expansion of (* (cos phi1) (cos theta)) in delta 0.377 * [taylor]: Taking taylor expansion of (cos phi1) in delta 0.377 * [taylor]: Taking taylor expansion of phi1 in delta 0.377 * [taylor]: Taking taylor expansion of (cos theta) in delta 0.377 * [taylor]: Taking taylor expansion of theta in delta 0.377 * [taylor]: Taking taylor expansion of (- (cos delta) (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta)))))) in delta 0.377 * [taylor]: Taking taylor expansion of (cos delta) in delta 0.377 * [taylor]: Taking taylor expansion of delta in delta 0.377 * [taylor]: Taking taylor expansion of (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in delta 0.377 * [taylor]: Taking taylor expansion of (sin phi1) in delta 0.377 * [taylor]: Taking taylor expansion of phi1 in delta 0.377 * [taylor]: Taking taylor expansion of (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta)))) in delta 0.377 * [taylor]: Rewrote expression to (+ (* (sin phi1) (cos delta)) (* (sin delta) (* (cos phi1) (cos theta)))) 0.377 * [taylor]: Taking taylor expansion of (* (sin phi1) (cos delta)) in delta 0.377 * [taylor]: Taking taylor expansion of (sin phi1) in delta 0.377 * [taylor]: Taking taylor expansion of phi1 in delta 0.377 * [taylor]: Taking taylor expansion of (cos delta) in delta 0.377 * [taylor]: Taking taylor expansion of delta in delta 0.377 * [taylor]: Taking taylor expansion of (* (sin delta) (* (cos phi1) (cos theta))) in delta 0.377 * [taylor]: Taking taylor expansion of (sin delta) in delta 0.377 * [taylor]: Taking taylor expansion of delta in delta 0.377 * [taylor]: Taking taylor expansion of (* (cos phi1) (cos theta)) in delta 0.377 * [taylor]: Taking taylor expansion of (cos phi1) in delta 0.377 * [taylor]: Taking taylor expansion of phi1 in delta 0.377 * [taylor]: Taking taylor expansion of (cos theta) in delta 0.377 * [taylor]: Taking taylor expansion of theta in delta 0.379 * [taylor]: Taking taylor expansion of (- 1 (pow (sin phi1) 2)) in phi1 0.379 * [taylor]: Taking taylor expansion of 1 in phi1 0.379 * [taylor]: Taking taylor expansion of (pow (sin phi1) 2) in phi1 0.379 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 0.379 * [taylor]: Taking taylor expansion of phi1 in phi1 0.380 * [taylor]: Taking taylor expansion of 1 in theta 0.388 * [taylor]: Taking taylor expansion of (- (* (sin phi1) (* (cos phi1) (cos theta)))) in phi1 0.388 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi1) (cos theta))) in phi1 0.388 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 0.388 * [taylor]: Taking taylor expansion of phi1 in phi1 0.388 * [taylor]: Taking taylor expansion of (* (cos phi1) (cos theta)) in phi1 0.388 * [taylor]: Taking taylor expansion of (cos phi1) in phi1 0.388 * [taylor]: Taking taylor expansion of phi1 in phi1 0.388 * [taylor]: Taking taylor expansion of (cos theta) in phi1 0.388 * [taylor]: Taking taylor expansion of theta in phi1 0.389 * [taylor]: Taking taylor expansion of 0 in theta 0.389 * [taylor]: Taking taylor expansion of 0 in theta 0.404 * [taylor]: Taking taylor expansion of (- (* 1/2 (pow (sin phi1) 2)) 1/2) in phi1 0.404 * [taylor]: Taking taylor expansion of (* 1/2 (pow (sin phi1) 2)) in phi1 0.404 * [taylor]: Taking taylor expansion of 1/2 in phi1 0.404 * [taylor]: Taking taylor expansion of (pow (sin phi1) 2) in phi1 0.404 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 0.404 * [taylor]: Taking taylor expansion of phi1 in phi1 0.404 * [taylor]: Taking taylor expansion of 1/2 in phi1 0.405 * [taylor]: Taking taylor expansion of -1/2 in theta 0.408 * [taylor]: Taking taylor expansion of (- (cos theta)) in theta 0.408 * [taylor]: Taking taylor expansion of (cos theta) in theta 0.408 * [taylor]: Taking taylor expansion of theta in theta 0.409 * [approximate]: Taking taylor expansion of (- (cos (/ 1 delta)) (* (sin (/ 1 phi1)) (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))))) in (delta phi1 theta) around 0 0.409 * [taylor]: Taking taylor expansion of (- (cos (/ 1 delta)) (* (sin (/ 1 phi1)) (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))))) in theta 0.409 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in theta 0.409 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 0.409 * [taylor]: Taking taylor expansion of delta in theta 0.409 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in theta 0.409 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in theta 0.409 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 0.409 * [taylor]: Taking taylor expansion of phi1 in theta 0.409 * [taylor]: Taking taylor expansion of (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) in theta 0.409 * [taylor]: Rewrote expression to (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) 0.409 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (cos (/ 1 delta))) in theta 0.409 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in theta 0.409 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 0.409 * [taylor]: Taking taylor expansion of phi1 in theta 0.409 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in theta 0.409 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 0.409 * [taylor]: Taking taylor expansion of delta in theta 0.410 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) in theta 0.410 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in theta 0.410 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 0.410 * [taylor]: Taking taylor expansion of delta in theta 0.410 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (cos (/ 1 phi1))) in theta 0.410 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in theta 0.410 * [taylor]: Taking taylor expansion of (/ 1 theta) in theta 0.410 * [taylor]: Taking taylor expansion of theta in theta 0.410 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in theta 0.410 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 0.410 * [taylor]: Taking taylor expansion of phi1 in theta 0.410 * [taylor]: Taking taylor expansion of (- (cos (/ 1 delta)) (* (sin (/ 1 phi1)) (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))))) in phi1 0.410 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in phi1 0.410 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 0.410 * [taylor]: Taking taylor expansion of delta in phi1 0.410 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in phi1 0.410 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 0.410 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.410 * [taylor]: Taking taylor expansion of phi1 in phi1 0.411 * [taylor]: Taking taylor expansion of (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) in phi1 0.411 * [taylor]: Rewrote expression to (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) 0.411 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (cos (/ 1 delta))) in phi1 0.411 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 0.411 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.411 * [taylor]: Taking taylor expansion of phi1 in phi1 0.411 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in phi1 0.411 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 0.411 * [taylor]: Taking taylor expansion of delta in phi1 0.411 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) in phi1 0.411 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in phi1 0.411 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 0.411 * [taylor]: Taking taylor expansion of delta in phi1 0.412 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (cos (/ 1 phi1))) in phi1 0.412 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in phi1 0.412 * [taylor]: Taking taylor expansion of (/ 1 theta) in phi1 0.412 * [taylor]: Taking taylor expansion of theta in phi1 0.412 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in phi1 0.412 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.412 * [taylor]: Taking taylor expansion of phi1 in phi1 0.412 * [taylor]: Taking taylor expansion of (- (cos (/ 1 delta)) (* (sin (/ 1 phi1)) (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))))) in delta 0.412 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in delta 0.412 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 0.412 * [taylor]: Taking taylor expansion of delta in delta 0.412 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in delta 0.412 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in delta 0.412 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 0.412 * [taylor]: Taking taylor expansion of phi1 in delta 0.412 * [taylor]: Taking taylor expansion of (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) in delta 0.413 * [taylor]: Rewrote expression to (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) 0.413 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (cos (/ 1 delta))) in delta 0.413 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in delta 0.413 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 0.413 * [taylor]: Taking taylor expansion of phi1 in delta 0.413 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in delta 0.413 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 0.413 * [taylor]: Taking taylor expansion of delta in delta 0.413 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) in delta 0.413 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in delta 0.413 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 0.413 * [taylor]: Taking taylor expansion of delta in delta 0.413 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (cos (/ 1 phi1))) in delta 0.413 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in delta 0.413 * [taylor]: Taking taylor expansion of (/ 1 theta) in delta 0.413 * [taylor]: Taking taylor expansion of theta in delta 0.414 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in delta 0.414 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 0.414 * [taylor]: Taking taylor expansion of phi1 in delta 0.414 * [taylor]: Taking taylor expansion of (- (cos (/ 1 delta)) (* (sin (/ 1 phi1)) (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))))) in delta 0.414 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in delta 0.414 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 0.414 * [taylor]: Taking taylor expansion of delta in delta 0.414 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in delta 0.414 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in delta 0.414 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 0.414 * [taylor]: Taking taylor expansion of phi1 in delta 0.414 * [taylor]: Taking taylor expansion of (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) in delta 0.414 * [taylor]: Rewrote expression to (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) 0.414 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (cos (/ 1 delta))) in delta 0.414 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in delta 0.414 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 0.414 * [taylor]: Taking taylor expansion of phi1 in delta 0.414 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in delta 0.414 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 0.414 * [taylor]: Taking taylor expansion of delta in delta 0.415 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) in delta 0.415 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in delta 0.415 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 0.415 * [taylor]: Taking taylor expansion of delta in delta 0.415 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (cos (/ 1 phi1))) in delta 0.415 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in delta 0.415 * [taylor]: Taking taylor expansion of (/ 1 theta) in delta 0.415 * [taylor]: Taking taylor expansion of theta in delta 0.415 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in delta 0.415 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 0.415 * [taylor]: Taking taylor expansion of phi1 in delta 0.418 * [taylor]: Taking taylor expansion of (- (cos (/ 1 delta)) (+ (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (* (cos (/ 1 phi1)) (sin (/ 1 phi1))))) (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))))) in phi1 0.418 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in phi1 0.418 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 0.418 * [taylor]: Taking taylor expansion of delta in phi1 0.418 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (* (cos (/ 1 phi1)) (sin (/ 1 phi1))))) (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta)))) in phi1 0.418 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (* (cos (/ 1 phi1)) (sin (/ 1 phi1))))) in phi1 0.418 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in phi1 0.418 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 0.418 * [taylor]: Taking taylor expansion of delta in phi1 0.418 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (* (cos (/ 1 phi1)) (sin (/ 1 phi1)))) in phi1 0.418 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in phi1 0.418 * [taylor]: Taking taylor expansion of (/ 1 theta) in phi1 0.418 * [taylor]: Taking taylor expansion of theta in phi1 0.418 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi1)) (sin (/ 1 phi1))) in phi1 0.418 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in phi1 0.418 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.418 * [taylor]: Taking taylor expansion of phi1 in phi1 0.419 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 0.419 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.419 * [taylor]: Taking taylor expansion of phi1 in phi1 0.419 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))) in phi1 0.419 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 phi1)) 2) in phi1 0.419 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 0.419 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.419 * [taylor]: Taking taylor expansion of phi1 in phi1 0.420 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in phi1 0.420 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 0.420 * [taylor]: Taking taylor expansion of delta in phi1 0.422 * [taylor]: Taking taylor expansion of (- (cos (/ 1 delta)) (+ (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (* (cos (/ 1 phi1)) (sin (/ 1 phi1))))) (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))))) in theta 0.422 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in theta 0.422 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 0.422 * [taylor]: Taking taylor expansion of delta in theta 0.422 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (* (cos (/ 1 phi1)) (sin (/ 1 phi1))))) (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta)))) in theta 0.422 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (* (cos (/ 1 phi1)) (sin (/ 1 phi1))))) in theta 0.422 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in theta 0.422 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 0.422 * [taylor]: Taking taylor expansion of delta in theta 0.423 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (* (cos (/ 1 phi1)) (sin (/ 1 phi1)))) in theta 0.423 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in theta 0.423 * [taylor]: Taking taylor expansion of (/ 1 theta) in theta 0.423 * [taylor]: Taking taylor expansion of theta in theta 0.423 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi1)) (sin (/ 1 phi1))) in theta 0.423 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in theta 0.423 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 0.423 * [taylor]: Taking taylor expansion of phi1 in theta 0.423 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in theta 0.423 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 0.423 * [taylor]: Taking taylor expansion of phi1 in theta 0.423 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))) in theta 0.423 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 phi1)) 2) in theta 0.423 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in theta 0.423 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 0.423 * [taylor]: Taking taylor expansion of phi1 in theta 0.423 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in theta 0.423 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 0.424 * [taylor]: Taking taylor expansion of delta in theta 0.434 * [taylor]: Taking taylor expansion of 0 in phi1 0.435 * [taylor]: Taking taylor expansion of 0 in theta 0.442 * [taylor]: Taking taylor expansion of 0 in theta 0.463 * [taylor]: Taking taylor expansion of 0 in phi1 0.463 * [taylor]: Taking taylor expansion of 0 in theta 0.463 * [taylor]: Taking taylor expansion of 0 in theta 0.475 * [taylor]: Taking taylor expansion of 0 in theta 0.476 * [approximate]: Taking taylor expansion of (- (cos (/ -1 delta)) (* (sin (/ -1 phi1)) (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))))) in (delta phi1 theta) around 0 0.476 * [taylor]: Taking taylor expansion of (- (cos (/ -1 delta)) (* (sin (/ -1 phi1)) (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))))) in theta 0.476 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in theta 0.476 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 0.476 * [taylor]: Taking taylor expansion of -1 in theta 0.476 * [taylor]: Taking taylor expansion of delta in theta 0.476 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) in theta 0.476 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in theta 0.476 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 0.476 * [taylor]: Taking taylor expansion of -1 in theta 0.476 * [taylor]: Taking taylor expansion of phi1 in theta 0.476 * [taylor]: Taking taylor expansion of (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) in theta 0.476 * [taylor]: Rewrote expression to (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) 0.476 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (cos (/ -1 delta))) in theta 0.476 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in theta 0.476 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 0.476 * [taylor]: Taking taylor expansion of -1 in theta 0.476 * [taylor]: Taking taylor expansion of phi1 in theta 0.476 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in theta 0.476 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 0.476 * [taylor]: Taking taylor expansion of -1 in theta 0.476 * [taylor]: Taking taylor expansion of delta in theta 0.476 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))) in theta 0.476 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in theta 0.477 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 0.477 * [taylor]: Taking taylor expansion of -1 in theta 0.477 * [taylor]: Taking taylor expansion of phi1 in theta 0.477 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (sin (/ -1 delta))) in theta 0.477 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in theta 0.477 * [taylor]: Taking taylor expansion of (/ -1 theta) in theta 0.477 * [taylor]: Taking taylor expansion of -1 in theta 0.477 * [taylor]: Taking taylor expansion of theta in theta 0.477 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in theta 0.477 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 0.477 * [taylor]: Taking taylor expansion of -1 in theta 0.477 * [taylor]: Taking taylor expansion of delta in theta 0.477 * [taylor]: Taking taylor expansion of (- (cos (/ -1 delta)) (* (sin (/ -1 phi1)) (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))))) in phi1 0.477 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in phi1 0.477 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 0.477 * [taylor]: Taking taylor expansion of -1 in phi1 0.477 * [taylor]: Taking taylor expansion of delta in phi1 0.477 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) in phi1 0.477 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 0.477 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 0.477 * [taylor]: Taking taylor expansion of -1 in phi1 0.477 * [taylor]: Taking taylor expansion of phi1 in phi1 0.478 * [taylor]: Taking taylor expansion of (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) in phi1 0.478 * [taylor]: Rewrote expression to (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) 0.478 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (cos (/ -1 delta))) in phi1 0.478 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 0.478 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 0.478 * [taylor]: Taking taylor expansion of -1 in phi1 0.478 * [taylor]: Taking taylor expansion of phi1 in phi1 0.478 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in phi1 0.478 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 0.478 * [taylor]: Taking taylor expansion of -1 in phi1 0.478 * [taylor]: Taking taylor expansion of delta in phi1 0.478 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))) in phi1 0.478 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in phi1 0.478 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 0.478 * [taylor]: Taking taylor expansion of -1 in phi1 0.479 * [taylor]: Taking taylor expansion of phi1 in phi1 0.479 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (sin (/ -1 delta))) in phi1 0.479 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in phi1 0.479 * [taylor]: Taking taylor expansion of (/ -1 theta) in phi1 0.479 * [taylor]: Taking taylor expansion of -1 in phi1 0.479 * [taylor]: Taking taylor expansion of theta in phi1 0.479 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in phi1 0.479 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 0.479 * [taylor]: Taking taylor expansion of -1 in phi1 0.479 * [taylor]: Taking taylor expansion of delta in phi1 0.479 * [taylor]: Taking taylor expansion of (- (cos (/ -1 delta)) (* (sin (/ -1 phi1)) (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))))) in delta 0.479 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in delta 0.479 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 0.479 * [taylor]: Taking taylor expansion of -1 in delta 0.479 * [taylor]: Taking taylor expansion of delta in delta 0.480 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) in delta 0.480 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in delta 0.480 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 0.480 * [taylor]: Taking taylor expansion of -1 in delta 0.480 * [taylor]: Taking taylor expansion of phi1 in delta 0.480 * [taylor]: Taking taylor expansion of (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) in delta 0.480 * [taylor]: Rewrote expression to (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) 0.480 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (cos (/ -1 delta))) in delta 0.480 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in delta 0.480 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 0.480 * [taylor]: Taking taylor expansion of -1 in delta 0.480 * [taylor]: Taking taylor expansion of phi1 in delta 0.480 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in delta 0.480 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 0.480 * [taylor]: Taking taylor expansion of -1 in delta 0.480 * [taylor]: Taking taylor expansion of delta in delta 0.484 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))) in delta 0.484 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in delta 0.484 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 0.484 * [taylor]: Taking taylor expansion of -1 in delta 0.484 * [taylor]: Taking taylor expansion of phi1 in delta 0.485 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (sin (/ -1 delta))) in delta 0.485 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in delta 0.485 * [taylor]: Taking taylor expansion of (/ -1 theta) in delta 0.485 * [taylor]: Taking taylor expansion of -1 in delta 0.485 * [taylor]: Taking taylor expansion of theta in delta 0.485 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in delta 0.485 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 0.485 * [taylor]: Taking taylor expansion of -1 in delta 0.485 * [taylor]: Taking taylor expansion of delta in delta 0.485 * [taylor]: Taking taylor expansion of (- (cos (/ -1 delta)) (* (sin (/ -1 phi1)) (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))))) in delta 0.485 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in delta 0.485 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 0.485 * [taylor]: Taking taylor expansion of -1 in delta 0.485 * [taylor]: Taking taylor expansion of delta in delta 0.486 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) in delta 0.486 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in delta 0.486 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 0.486 * [taylor]: Taking taylor expansion of -1 in delta 0.486 * [taylor]: Taking taylor expansion of phi1 in delta 0.486 * [taylor]: Taking taylor expansion of (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) in delta 0.486 * [taylor]: Rewrote expression to (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) 0.486 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (cos (/ -1 delta))) in delta 0.486 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in delta 0.486 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 0.486 * [taylor]: Taking taylor expansion of -1 in delta 0.486 * [taylor]: Taking taylor expansion of phi1 in delta 0.486 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in delta 0.486 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 0.486 * [taylor]: Taking taylor expansion of -1 in delta 0.486 * [taylor]: Taking taylor expansion of delta in delta 0.487 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))) in delta 0.487 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in delta 0.487 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 0.487 * [taylor]: Taking taylor expansion of -1 in delta 0.487 * [taylor]: Taking taylor expansion of phi1 in delta 0.487 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (sin (/ -1 delta))) in delta 0.487 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in delta 0.487 * [taylor]: Taking taylor expansion of (/ -1 theta) in delta 0.487 * [taylor]: Taking taylor expansion of -1 in delta 0.487 * [taylor]: Taking taylor expansion of theta in delta 0.487 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in delta 0.487 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 0.487 * [taylor]: Taking taylor expansion of -1 in delta 0.487 * [taylor]: Taking taylor expansion of delta in delta 0.489 * [taylor]: Taking taylor expansion of (- (cos (/ -1 delta)) (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (cos (/ -1 theta)) (* (cos (/ -1 phi1)) (sin (/ -1 delta))))))) in phi1 0.489 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in phi1 0.489 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 0.489 * [taylor]: Taking taylor expansion of -1 in phi1 0.490 * [taylor]: Taking taylor expansion of delta in phi1 0.490 * [taylor]: Taking taylor expansion of (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (cos (/ -1 theta)) (* (cos (/ -1 phi1)) (sin (/ -1 delta)))))) in phi1 0.490 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) in phi1 0.490 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 phi1)) 2) in phi1 0.490 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 0.490 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 0.490 * [taylor]: Taking taylor expansion of -1 in phi1 0.490 * [taylor]: Taking taylor expansion of phi1 in phi1 0.490 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in phi1 0.490 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 0.490 * [taylor]: Taking taylor expansion of -1 in phi1 0.490 * [taylor]: Taking taylor expansion of delta in phi1 0.490 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 theta)) (* (cos (/ -1 phi1)) (sin (/ -1 delta))))) in phi1 0.490 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 0.490 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 0.490 * [taylor]: Taking taylor expansion of -1 in phi1 0.490 * [taylor]: Taking taylor expansion of phi1 in phi1 0.491 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (* (cos (/ -1 phi1)) (sin (/ -1 delta)))) in phi1 0.491 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in phi1 0.491 * [taylor]: Taking taylor expansion of (/ -1 theta) in phi1 0.491 * [taylor]: Taking taylor expansion of -1 in phi1 0.491 * [taylor]: Taking taylor expansion of theta in phi1 0.491 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (sin (/ -1 delta))) in phi1 0.491 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in phi1 0.491 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 0.491 * [taylor]: Taking taylor expansion of -1 in phi1 0.491 * [taylor]: Taking taylor expansion of phi1 in phi1 0.491 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in phi1 0.491 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 0.491 * [taylor]: Taking taylor expansion of -1 in phi1 0.491 * [taylor]: Taking taylor expansion of delta in phi1 0.494 * [taylor]: Taking taylor expansion of (- (cos (/ -1 delta)) (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (cos (/ -1 theta)) (* (cos (/ -1 phi1)) (sin (/ -1 delta))))))) in theta 0.494 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in theta 0.494 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 0.494 * [taylor]: Taking taylor expansion of -1 in theta 0.494 * [taylor]: Taking taylor expansion of delta in theta 0.494 * [taylor]: Taking taylor expansion of (+ (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) (* (sin (/ -1 phi1)) (* (cos (/ -1 theta)) (* (cos (/ -1 phi1)) (sin (/ -1 delta)))))) in theta 0.494 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) in theta 0.494 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 phi1)) 2) in theta 0.494 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in theta 0.494 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 0.494 * [taylor]: Taking taylor expansion of -1 in theta 0.494 * [taylor]: Taking taylor expansion of phi1 in theta 0.494 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in theta 0.494 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 0.494 * [taylor]: Taking taylor expansion of -1 in theta 0.494 * [taylor]: Taking taylor expansion of delta in theta 0.494 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 theta)) (* (cos (/ -1 phi1)) (sin (/ -1 delta))))) in theta 0.495 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in theta 0.495 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 0.495 * [taylor]: Taking taylor expansion of -1 in theta 0.495 * [taylor]: Taking taylor expansion of phi1 in theta 0.495 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (* (cos (/ -1 phi1)) (sin (/ -1 delta)))) in theta 0.495 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in theta 0.495 * [taylor]: Taking taylor expansion of (/ -1 theta) in theta 0.495 * [taylor]: Taking taylor expansion of -1 in theta 0.495 * [taylor]: Taking taylor expansion of theta in theta 0.495 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (sin (/ -1 delta))) in theta 0.495 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in theta 0.495 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 0.495 * [taylor]: Taking taylor expansion of -1 in theta 0.495 * [taylor]: Taking taylor expansion of phi1 in theta 0.495 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in theta 0.495 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 0.495 * [taylor]: Taking taylor expansion of -1 in theta 0.495 * [taylor]: Taking taylor expansion of delta in theta 0.506 * [taylor]: Taking taylor expansion of 0 in phi1 0.506 * [taylor]: Taking taylor expansion of 0 in theta 0.514 * [taylor]: Taking taylor expansion of 0 in theta 0.536 * [taylor]: Taking taylor expansion of 0 in phi1 0.536 * [taylor]: Taking taylor expansion of 0 in theta 0.536 * [taylor]: Taking taylor expansion of 0 in theta 0.547 * [taylor]: Taking taylor expansion of 0 in theta 0.547 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2) 0.547 * [approximate]: Taking taylor expansion of (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in (phi1 delta theta) around 0 0.548 * [taylor]: Taking taylor expansion of (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in theta 0.548 * [taylor]: Taking taylor expansion of (sin phi1) in theta 0.548 * [taylor]: Taking taylor expansion of phi1 in theta 0.548 * [taylor]: Taking taylor expansion of (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta)))) in theta 0.548 * [taylor]: Rewrote expression to (+ (* (sin phi1) (cos delta)) (* (sin delta) (* (cos phi1) (cos theta)))) 0.548 * [taylor]: Taking taylor expansion of (* (sin phi1) (cos delta)) in theta 0.548 * [taylor]: Taking taylor expansion of (sin phi1) in theta 0.548 * [taylor]: Taking taylor expansion of phi1 in theta 0.548 * [taylor]: Taking taylor expansion of (cos delta) in theta 0.548 * [taylor]: Taking taylor expansion of delta in theta 0.548 * [taylor]: Taking taylor expansion of (* (sin delta) (* (cos phi1) (cos theta))) in theta 0.548 * [taylor]: Taking taylor expansion of (sin delta) in theta 0.548 * [taylor]: Taking taylor expansion of delta in theta 0.548 * [taylor]: Taking taylor expansion of (* (cos phi1) (cos theta)) in theta 0.548 * [taylor]: Taking taylor expansion of (cos phi1) in theta 0.548 * [taylor]: Taking taylor expansion of phi1 in theta 0.548 * [taylor]: Taking taylor expansion of (cos theta) in theta 0.548 * [taylor]: Taking taylor expansion of theta in theta 0.548 * [taylor]: Taking taylor expansion of (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in delta 0.548 * [taylor]: Taking taylor expansion of (sin phi1) in delta 0.548 * [taylor]: Taking taylor expansion of phi1 in delta 0.548 * [taylor]: Taking taylor expansion of (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta)))) in delta 0.548 * [taylor]: Rewrote expression to (+ (* (sin phi1) (cos delta)) (* (sin delta) (* (cos phi1) (cos theta)))) 0.548 * [taylor]: Taking taylor expansion of (* (sin phi1) (cos delta)) in delta 0.548 * [taylor]: Taking taylor expansion of (sin phi1) in delta 0.548 * [taylor]: Taking taylor expansion of phi1 in delta 0.548 * [taylor]: Taking taylor expansion of (cos delta) in delta 0.548 * [taylor]: Taking taylor expansion of delta in delta 0.548 * [taylor]: Taking taylor expansion of (* (sin delta) (* (cos phi1) (cos theta))) in delta 0.548 * [taylor]: Taking taylor expansion of (sin delta) in delta 0.548 * [taylor]: Taking taylor expansion of delta in delta 0.548 * [taylor]: Taking taylor expansion of (* (cos phi1) (cos theta)) in delta 0.548 * [taylor]: Taking taylor expansion of (cos phi1) in delta 0.548 * [taylor]: Taking taylor expansion of phi1 in delta 0.549 * [taylor]: Taking taylor expansion of (cos theta) in delta 0.549 * [taylor]: Taking taylor expansion of theta in delta 0.549 * [taylor]: Taking taylor expansion of (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in phi1 0.549 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 0.549 * [taylor]: Taking taylor expansion of phi1 in phi1 0.549 * [taylor]: Taking taylor expansion of (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta)))) in phi1 0.549 * [taylor]: Rewrote expression to (+ (* (sin phi1) (cos delta)) (* (sin delta) (* (cos phi1) (cos theta)))) 0.549 * [taylor]: Taking taylor expansion of (* (sin phi1) (cos delta)) in phi1 0.549 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 0.549 * [taylor]: Taking taylor expansion of phi1 in phi1 0.549 * [taylor]: Taking taylor expansion of (cos delta) in phi1 0.549 * [taylor]: Taking taylor expansion of delta in phi1 0.549 * [taylor]: Taking taylor expansion of (* (sin delta) (* (cos phi1) (cos theta))) in phi1 0.549 * [taylor]: Taking taylor expansion of (sin delta) in phi1 0.549 * [taylor]: Taking taylor expansion of delta in phi1 0.549 * [taylor]: Taking taylor expansion of (* (cos phi1) (cos theta)) in phi1 0.549 * [taylor]: Taking taylor expansion of (cos phi1) in phi1 0.549 * [taylor]: Taking taylor expansion of phi1 in phi1 0.549 * [taylor]: Taking taylor expansion of (cos theta) in phi1 0.549 * [taylor]: Taking taylor expansion of theta in phi1 0.549 * [taylor]: Taking taylor expansion of (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in phi1 0.549 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 0.549 * [taylor]: Taking taylor expansion of phi1 in phi1 0.549 * [taylor]: Taking taylor expansion of (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta)))) in phi1 0.549 * [taylor]: Rewrote expression to (+ (* (sin phi1) (cos delta)) (* (sin delta) (* (cos phi1) (cos theta)))) 0.549 * [taylor]: Taking taylor expansion of (* (sin phi1) (cos delta)) in phi1 0.549 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 0.549 * [taylor]: Taking taylor expansion of phi1 in phi1 0.549 * [taylor]: Taking taylor expansion of (cos delta) in phi1 0.549 * [taylor]: Taking taylor expansion of delta in phi1 0.549 * [taylor]: Taking taylor expansion of (* (sin delta) (* (cos phi1) (cos theta))) in phi1 0.549 * [taylor]: Taking taylor expansion of (sin delta) in phi1 0.549 * [taylor]: Taking taylor expansion of delta in phi1 0.549 * [taylor]: Taking taylor expansion of (* (cos phi1) (cos theta)) in phi1 0.549 * [taylor]: Taking taylor expansion of (cos phi1) in phi1 0.549 * [taylor]: Taking taylor expansion of phi1 in phi1 0.549 * [taylor]: Taking taylor expansion of (cos theta) in phi1 0.549 * [taylor]: Taking taylor expansion of theta in phi1 0.550 * [taylor]: Taking taylor expansion of 0 in delta 0.551 * [taylor]: Taking taylor expansion of 0 in theta 0.557 * [taylor]: Taking taylor expansion of (* (sin delta) (cos theta)) in delta 0.557 * [taylor]: Taking taylor expansion of (sin delta) in delta 0.557 * [taylor]: Taking taylor expansion of delta in delta 0.557 * [taylor]: Taking taylor expansion of (cos theta) in delta 0.557 * [taylor]: Taking taylor expansion of theta in delta 0.557 * [taylor]: Taking taylor expansion of 0 in theta 0.558 * [taylor]: Taking taylor expansion of 0 in theta 0.567 * [taylor]: Taking taylor expansion of (cos delta) in delta 0.567 * [taylor]: Taking taylor expansion of delta in delta 0.567 * [taylor]: Taking taylor expansion of 1 in theta 0.573 * [taylor]: Taking taylor expansion of (cos theta) in theta 0.573 * [taylor]: Taking taylor expansion of theta in theta 0.574 * [taylor]: Taking taylor expansion of 0 in theta 0.585 * [taylor]: Taking taylor expansion of (- (* 2/3 (* (sin delta) (cos theta)))) in delta 0.586 * [taylor]: Taking taylor expansion of (* 2/3 (* (sin delta) (cos theta))) in delta 0.586 * [taylor]: Taking taylor expansion of 2/3 in delta 0.586 * [taylor]: Taking taylor expansion of (* (sin delta) (cos theta)) in delta 0.586 * [taylor]: Taking taylor expansion of (sin delta) in delta 0.586 * [taylor]: Taking taylor expansion of delta in delta 0.586 * [taylor]: Taking taylor expansion of (cos theta) in delta 0.586 * [taylor]: Taking taylor expansion of theta in delta 0.586 * [taylor]: Taking taylor expansion of 0 in theta 0.587 * [taylor]: Taking taylor expansion of 0 in theta 0.587 * [approximate]: Taking taylor expansion of (* (sin (/ 1 phi1)) (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in (phi1 delta theta) around 0 0.587 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in theta 0.587 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in theta 0.587 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 0.587 * [taylor]: Taking taylor expansion of phi1 in theta 0.588 * [taylor]: Taking taylor expansion of (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) in theta 0.588 * [taylor]: Rewrote expression to (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) 0.588 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (cos (/ 1 delta))) in theta 0.588 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in theta 0.588 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 0.588 * [taylor]: Taking taylor expansion of phi1 in theta 0.588 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in theta 0.588 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 0.588 * [taylor]: Taking taylor expansion of delta in theta 0.588 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) in theta 0.588 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in theta 0.588 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 0.588 * [taylor]: Taking taylor expansion of delta in theta 0.588 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (cos (/ 1 phi1))) in theta 0.588 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in theta 0.588 * [taylor]: Taking taylor expansion of (/ 1 theta) in theta 0.588 * [taylor]: Taking taylor expansion of theta in theta 0.588 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in theta 0.588 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 0.588 * [taylor]: Taking taylor expansion of phi1 in theta 0.589 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in delta 0.589 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in delta 0.589 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 0.589 * [taylor]: Taking taylor expansion of phi1 in delta 0.589 * [taylor]: Taking taylor expansion of (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) in delta 0.589 * [taylor]: Rewrote expression to (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) 0.589 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (cos (/ 1 delta))) in delta 0.589 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in delta 0.589 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 0.589 * [taylor]: Taking taylor expansion of phi1 in delta 0.589 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in delta 0.589 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 0.589 * [taylor]: Taking taylor expansion of delta in delta 0.589 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) in delta 0.589 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in delta 0.589 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 0.589 * [taylor]: Taking taylor expansion of delta in delta 0.590 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (cos (/ 1 phi1))) in delta 0.590 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in delta 0.590 * [taylor]: Taking taylor expansion of (/ 1 theta) in delta 0.590 * [taylor]: Taking taylor expansion of theta in delta 0.590 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in delta 0.590 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 0.590 * [taylor]: Taking taylor expansion of phi1 in delta 0.590 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in phi1 0.590 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 0.590 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.590 * [taylor]: Taking taylor expansion of phi1 in phi1 0.590 * [taylor]: Taking taylor expansion of (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) in phi1 0.590 * [taylor]: Rewrote expression to (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) 0.590 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (cos (/ 1 delta))) in phi1 0.590 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 0.590 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.590 * [taylor]: Taking taylor expansion of phi1 in phi1 0.591 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in phi1 0.591 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 0.591 * [taylor]: Taking taylor expansion of delta in phi1 0.591 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) in phi1 0.591 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in phi1 0.591 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 0.591 * [taylor]: Taking taylor expansion of delta in phi1 0.591 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (cos (/ 1 phi1))) in phi1 0.591 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in phi1 0.591 * [taylor]: Taking taylor expansion of (/ 1 theta) in phi1 0.591 * [taylor]: Taking taylor expansion of theta in phi1 0.591 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in phi1 0.591 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.591 * [taylor]: Taking taylor expansion of phi1 in phi1 0.591 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in phi1 0.591 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 0.591 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.591 * [taylor]: Taking taylor expansion of phi1 in phi1 0.592 * [taylor]: Taking taylor expansion of (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) in phi1 0.592 * [taylor]: Rewrote expression to (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) 0.592 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (cos (/ 1 delta))) in phi1 0.592 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 0.592 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.592 * [taylor]: Taking taylor expansion of phi1 in phi1 0.592 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in phi1 0.592 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 0.592 * [taylor]: Taking taylor expansion of delta in phi1 0.592 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) in phi1 0.592 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in phi1 0.592 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 0.592 * [taylor]: Taking taylor expansion of delta in phi1 0.593 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (cos (/ 1 phi1))) in phi1 0.593 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in phi1 0.593 * [taylor]: Taking taylor expansion of (/ 1 theta) in phi1 0.593 * [taylor]: Taking taylor expansion of theta in phi1 0.593 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in phi1 0.593 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.593 * [taylor]: Taking taylor expansion of phi1 in phi1 0.594 * [taylor]: Taking taylor expansion of (* (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) (sin (/ 1 phi1))) in delta 0.594 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) in delta 0.594 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (cos (/ 1 delta))) in delta 0.594 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in delta 0.594 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 0.594 * [taylor]: Taking taylor expansion of phi1 in delta 0.595 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in delta 0.595 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 0.595 * [taylor]: Taking taylor expansion of delta in delta 0.595 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) in delta 0.595 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in delta 0.595 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 0.595 * [taylor]: Taking taylor expansion of delta in delta 0.595 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (cos (/ 1 phi1))) in delta 0.595 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in delta 0.595 * [taylor]: Taking taylor expansion of (/ 1 theta) in delta 0.595 * [taylor]: Taking taylor expansion of theta in delta 0.595 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in delta 0.595 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 0.595 * [taylor]: Taking taylor expansion of phi1 in delta 0.596 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in delta 0.596 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 0.596 * [taylor]: Taking taylor expansion of phi1 in delta 0.597 * [taylor]: Taking taylor expansion of (* (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) (sin (/ 1 phi1))) in theta 0.597 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) in theta 0.597 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (cos (/ 1 delta))) in theta 0.597 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in theta 0.597 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 0.597 * [taylor]: Taking taylor expansion of phi1 in theta 0.597 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in theta 0.597 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 0.597 * [taylor]: Taking taylor expansion of delta in theta 0.597 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) in theta 0.597 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in theta 0.597 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 0.597 * [taylor]: Taking taylor expansion of delta in theta 0.598 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (cos (/ 1 phi1))) in theta 0.598 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in theta 0.598 * [taylor]: Taking taylor expansion of (/ 1 theta) in theta 0.598 * [taylor]: Taking taylor expansion of theta in theta 0.598 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in theta 0.598 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 0.598 * [taylor]: Taking taylor expansion of phi1 in theta 0.598 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in theta 0.598 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 0.598 * [taylor]: Taking taylor expansion of phi1 in theta 0.606 * [taylor]: Taking taylor expansion of 0 in delta 0.606 * [taylor]: Taking taylor expansion of 0 in theta 0.613 * [taylor]: Taking taylor expansion of 0 in theta 0.630 * [taylor]: Taking taylor expansion of 0 in delta 0.630 * [taylor]: Taking taylor expansion of 0 in theta 0.630 * [taylor]: Taking taylor expansion of 0 in theta 0.640 * [taylor]: Taking taylor expansion of 0 in theta 0.641 * [approximate]: Taking taylor expansion of (* (sin (/ -1 phi1)) (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) in (phi1 delta theta) around 0 0.641 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) in theta 0.641 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in theta 0.641 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 0.641 * [taylor]: Taking taylor expansion of -1 in theta 0.641 * [taylor]: Taking taylor expansion of phi1 in theta 0.641 * [taylor]: Taking taylor expansion of (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) in theta 0.641 * [taylor]: Rewrote expression to (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) 0.641 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (cos (/ -1 delta))) in theta 0.641 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in theta 0.641 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 0.641 * [taylor]: Taking taylor expansion of -1 in theta 0.641 * [taylor]: Taking taylor expansion of phi1 in theta 0.641 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in theta 0.641 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 0.641 * [taylor]: Taking taylor expansion of -1 in theta 0.641 * [taylor]: Taking taylor expansion of delta in theta 0.641 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))) in theta 0.641 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in theta 0.641 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 0.641 * [taylor]: Taking taylor expansion of -1 in theta 0.641 * [taylor]: Taking taylor expansion of phi1 in theta 0.641 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (sin (/ -1 delta))) in theta 0.641 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in theta 0.641 * [taylor]: Taking taylor expansion of (/ -1 theta) in theta 0.641 * [taylor]: Taking taylor expansion of -1 in theta 0.642 * [taylor]: Taking taylor expansion of theta in theta 0.642 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in theta 0.642 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 0.642 * [taylor]: Taking taylor expansion of -1 in theta 0.642 * [taylor]: Taking taylor expansion of delta in theta 0.642 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) in delta 0.642 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in delta 0.642 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 0.642 * [taylor]: Taking taylor expansion of -1 in delta 0.642 * [taylor]: Taking taylor expansion of phi1 in delta 0.642 * [taylor]: Taking taylor expansion of (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) in delta 0.642 * [taylor]: Rewrote expression to (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) 0.642 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (cos (/ -1 delta))) in delta 0.642 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in delta 0.642 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 0.642 * [taylor]: Taking taylor expansion of -1 in delta 0.642 * [taylor]: Taking taylor expansion of phi1 in delta 0.642 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in delta 0.642 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 0.642 * [taylor]: Taking taylor expansion of -1 in delta 0.642 * [taylor]: Taking taylor expansion of delta in delta 0.643 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))) in delta 0.643 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in delta 0.643 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 0.643 * [taylor]: Taking taylor expansion of -1 in delta 0.643 * [taylor]: Taking taylor expansion of phi1 in delta 0.643 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (sin (/ -1 delta))) in delta 0.643 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in delta 0.643 * [taylor]: Taking taylor expansion of (/ -1 theta) in delta 0.643 * [taylor]: Taking taylor expansion of -1 in delta 0.643 * [taylor]: Taking taylor expansion of theta in delta 0.643 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in delta 0.643 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 0.643 * [taylor]: Taking taylor expansion of -1 in delta 0.643 * [taylor]: Taking taylor expansion of delta in delta 0.643 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) in phi1 0.644 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 0.644 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 0.644 * [taylor]: Taking taylor expansion of -1 in phi1 0.644 * [taylor]: Taking taylor expansion of phi1 in phi1 0.644 * [taylor]: Taking taylor expansion of (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) in phi1 0.644 * [taylor]: Rewrote expression to (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) 0.644 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (cos (/ -1 delta))) in phi1 0.644 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 0.644 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 0.644 * [taylor]: Taking taylor expansion of -1 in phi1 0.644 * [taylor]: Taking taylor expansion of phi1 in phi1 0.644 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in phi1 0.644 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 0.644 * [taylor]: Taking taylor expansion of -1 in phi1 0.644 * [taylor]: Taking taylor expansion of delta in phi1 0.645 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))) in phi1 0.645 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in phi1 0.645 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 0.645 * [taylor]: Taking taylor expansion of -1 in phi1 0.645 * [taylor]: Taking taylor expansion of phi1 in phi1 0.645 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (sin (/ -1 delta))) in phi1 0.645 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in phi1 0.645 * [taylor]: Taking taylor expansion of (/ -1 theta) in phi1 0.645 * [taylor]: Taking taylor expansion of -1 in phi1 0.645 * [taylor]: Taking taylor expansion of theta in phi1 0.645 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in phi1 0.645 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 0.645 * [taylor]: Taking taylor expansion of -1 in phi1 0.645 * [taylor]: Taking taylor expansion of delta in phi1 0.645 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) in phi1 0.645 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 0.645 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 0.645 * [taylor]: Taking taylor expansion of -1 in phi1 0.645 * [taylor]: Taking taylor expansion of phi1 in phi1 0.646 * [taylor]: Taking taylor expansion of (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) in phi1 0.646 * [taylor]: Rewrote expression to (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) 0.646 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (cos (/ -1 delta))) in phi1 0.646 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 0.646 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 0.646 * [taylor]: Taking taylor expansion of -1 in phi1 0.646 * [taylor]: Taking taylor expansion of phi1 in phi1 0.646 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in phi1 0.646 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 0.646 * [taylor]: Taking taylor expansion of -1 in phi1 0.646 * [taylor]: Taking taylor expansion of delta in phi1 0.646 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))) in phi1 0.646 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in phi1 0.646 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 0.646 * [taylor]: Taking taylor expansion of -1 in phi1 0.646 * [taylor]: Taking taylor expansion of phi1 in phi1 0.647 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (sin (/ -1 delta))) in phi1 0.647 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in phi1 0.647 * [taylor]: Taking taylor expansion of (/ -1 theta) in phi1 0.647 * [taylor]: Taking taylor expansion of -1 in phi1 0.647 * [taylor]: Taking taylor expansion of theta in phi1 0.647 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in phi1 0.647 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 0.647 * [taylor]: Taking taylor expansion of -1 in phi1 0.647 * [taylor]: Taking taylor expansion of delta in phi1 0.648 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) in delta 0.648 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in delta 0.648 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 0.648 * [taylor]: Taking taylor expansion of -1 in delta 0.648 * [taylor]: Taking taylor expansion of phi1 in delta 0.649 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) in delta 0.649 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (cos (/ -1 delta))) in delta 0.649 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in delta 0.649 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 0.649 * [taylor]: Taking taylor expansion of -1 in delta 0.649 * [taylor]: Taking taylor expansion of phi1 in delta 0.649 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in delta 0.649 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 0.649 * [taylor]: Taking taylor expansion of -1 in delta 0.649 * [taylor]: Taking taylor expansion of delta in delta 0.649 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))) in delta 0.649 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in delta 0.649 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 0.649 * [taylor]: Taking taylor expansion of -1 in delta 0.649 * [taylor]: Taking taylor expansion of phi1 in delta 0.649 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (sin (/ -1 delta))) in delta 0.649 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in delta 0.649 * [taylor]: Taking taylor expansion of (/ -1 theta) in delta 0.649 * [taylor]: Taking taylor expansion of -1 in delta 0.649 * [taylor]: Taking taylor expansion of theta in delta 0.649 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in delta 0.649 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 0.649 * [taylor]: Taking taylor expansion of -1 in delta 0.649 * [taylor]: Taking taylor expansion of delta in delta 0.651 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) in theta 0.651 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in theta 0.651 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 0.651 * [taylor]: Taking taylor expansion of -1 in theta 0.651 * [taylor]: Taking taylor expansion of phi1 in theta 0.651 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) in theta 0.651 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (cos (/ -1 delta))) in theta 0.651 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in theta 0.651 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 0.652 * [taylor]: Taking taylor expansion of -1 in theta 0.652 * [taylor]: Taking taylor expansion of phi1 in theta 0.652 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in theta 0.652 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 0.652 * [taylor]: Taking taylor expansion of -1 in theta 0.652 * [taylor]: Taking taylor expansion of delta in theta 0.652 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))) in theta 0.652 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in theta 0.652 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 0.652 * [taylor]: Taking taylor expansion of -1 in theta 0.652 * [taylor]: Taking taylor expansion of phi1 in theta 0.652 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (sin (/ -1 delta))) in theta 0.652 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in theta 0.652 * [taylor]: Taking taylor expansion of (/ -1 theta) in theta 0.652 * [taylor]: Taking taylor expansion of -1 in theta 0.652 * [taylor]: Taking taylor expansion of theta in theta 0.652 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in theta 0.652 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 0.652 * [taylor]: Taking taylor expansion of -1 in theta 0.652 * [taylor]: Taking taylor expansion of delta in theta 0.664 * [taylor]: Taking taylor expansion of 0 in delta 0.665 * [taylor]: Taking taylor expansion of 0 in theta 0.672 * [taylor]: Taking taylor expansion of 0 in theta 0.689 * [taylor]: Taking taylor expansion of 0 in delta 0.689 * [taylor]: Taking taylor expansion of 0 in theta 0.689 * [taylor]: Taking taylor expansion of 0 in theta 0.699 * [taylor]: Taking taylor expansion of 0 in theta 0.699 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 1) 0.700 * [approximate]: Taking taylor expansion of (asin (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in (phi1 delta theta) around 0 0.700 * [taylor]: Taking taylor expansion of (asin (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in theta 0.700 * [taylor]: Taking taylor expansion of (asin (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in delta 0.700 * [taylor]: Taking taylor expansion of (asin (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in phi1 0.700 * [taylor]: Taking taylor expansion of (asin (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in phi1 0.700 * [taylor]: Taking taylor expansion of (asin (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in delta 0.701 * [taylor]: Taking taylor expansion of (asin (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in theta 0.701 * [taylor]: Taking taylor expansion of 0 in delta 0.701 * [taylor]: Taking taylor expansion of 0 in theta 0.701 * [taylor]: Taking taylor expansion of 0 in theta 0.701 * [taylor]: Taking taylor expansion of 0 in delta 0.701 * [taylor]: Taking taylor expansion of 0 in theta 0.701 * [taylor]: Taking taylor expansion of 0 in theta 0.701 * [taylor]: Taking taylor expansion of 0 in theta 0.701 * [approximate]: Taking taylor expansion of (asin (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in (phi1 delta theta) around 0 0.701 * [taylor]: Taking taylor expansion of (asin (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in theta 0.702 * [taylor]: Taking taylor expansion of (asin (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in delta 0.702 * [taylor]: Taking taylor expansion of (asin (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in phi1 0.702 * [taylor]: Taking taylor expansion of (asin (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in phi1 0.702 * [taylor]: Taking taylor expansion of (asin (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in delta 0.702 * [taylor]: Taking taylor expansion of (asin (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))) in theta 0.703 * [taylor]: Taking taylor expansion of 0 in delta 0.703 * [taylor]: Taking taylor expansion of 0 in theta 0.703 * [taylor]: Taking taylor expansion of 0 in theta 0.703 * [taylor]: Taking taylor expansion of 0 in delta 0.703 * [taylor]: Taking taylor expansion of 0 in theta 0.703 * [taylor]: Taking taylor expansion of 0 in theta 0.703 * [taylor]: Taking taylor expansion of 0 in theta 0.703 * [approximate]: Taking taylor expansion of (asin (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) in (phi1 delta theta) around 0 0.704 * [taylor]: Taking taylor expansion of (asin (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) in theta 0.704 * [taylor]: Taking taylor expansion of (asin (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) in delta 0.704 * [taylor]: Taking taylor expansion of (asin (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) in phi1 0.704 * [taylor]: Taking taylor expansion of (asin (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) in phi1 0.704 * [taylor]: Taking taylor expansion of (asin (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) in delta 0.705 * [taylor]: Taking taylor expansion of (asin (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))) in theta 0.705 * [taylor]: Taking taylor expansion of 0 in delta 0.705 * [taylor]: Taking taylor expansion of 0 in theta 0.705 * [taylor]: Taking taylor expansion of 0 in theta 0.705 * [taylor]: Taking taylor expansion of 0 in delta 0.705 * [taylor]: Taking taylor expansion of 0 in theta 0.705 * [taylor]: Taking taylor expansion of 0 in theta 0.705 * [taylor]: Taking taylor expansion of 0 in theta 0.705 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 0.706 * [approximate]: Taking taylor expansion of (atan2 (* (sin delta) (* (cos phi1) (sin theta))) (- (cos delta) (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))))) in (theta delta phi1) around 0 0.706 * [taylor]: Taking taylor expansion of (atan2 (* (sin delta) (* (cos phi1) (sin theta))) (- (cos delta) (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))))) in phi1 0.706 * [taylor]: Taking taylor expansion of (atan2 (* (sin delta) (* (cos phi1) (sin theta))) (- (cos delta) (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))))) in delta 0.706 * [taylor]: Taking taylor expansion of (atan2 (* (sin delta) (* (cos phi1) (sin theta))) (- (cos delta) (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))))) in theta 0.707 * [taylor]: Taking taylor expansion of (atan2 (* (sin delta) (* (cos phi1) (sin theta))) (- (cos delta) (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))))) in theta 0.707 * [taylor]: Taking taylor expansion of (atan2 (* (sin delta) (* (cos phi1) (sin theta))) (- (cos delta) (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))))) in delta 0.707 * [taylor]: Taking taylor expansion of (atan2 (* (sin delta) (* (cos phi1) (sin theta))) (- (cos delta) (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))))) in phi1 0.708 * [taylor]: Taking taylor expansion of 0 in delta 0.708 * [taylor]: Taking taylor expansion of 0 in phi1 0.708 * [taylor]: Taking taylor expansion of 0 in phi1 0.708 * [taylor]: Taking taylor expansion of 0 in delta 0.708 * [taylor]: Taking taylor expansion of 0 in phi1 0.708 * [taylor]: Taking taylor expansion of 0 in phi1 0.708 * [taylor]: Taking taylor expansion of 0 in phi1 0.709 * [approximate]: Taking taylor expansion of (atan2 (* (sin (/ 1 delta)) (* (cos (/ 1 phi1)) (sin (/ 1 theta)))) (- (cos (/ 1 delta)) (* (sin (/ 1 phi1)) (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))))) in (theta delta phi1) around 0 0.709 * [taylor]: Taking taylor expansion of (atan2 (* (sin (/ 1 delta)) (* (cos (/ 1 phi1)) (sin (/ 1 theta)))) (- (cos (/ 1 delta)) (* (sin (/ 1 phi1)) (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))))) in phi1 0.709 * [taylor]: Taking taylor expansion of (atan2 (* (sin (/ 1 delta)) (* (cos (/ 1 phi1)) (sin (/ 1 theta)))) (- (cos (/ 1 delta)) (* (sin (/ 1 phi1)) (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))))) in delta 0.710 * [taylor]: Taking taylor expansion of (atan2 (* (sin (/ 1 delta)) (* (cos (/ 1 phi1)) (sin (/ 1 theta)))) (- (cos (/ 1 delta)) (* (sin (/ 1 phi1)) (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))))) in theta 0.710 * [taylor]: Taking taylor expansion of (atan2 (* (sin (/ 1 delta)) (* (cos (/ 1 phi1)) (sin (/ 1 theta)))) (- (cos (/ 1 delta)) (* (sin (/ 1 phi1)) (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))))) in theta 0.710 * [taylor]: Taking taylor expansion of (atan2 (* (sin (/ 1 delta)) (* (cos (/ 1 phi1)) (sin (/ 1 theta)))) (- (cos (/ 1 delta)) (* (sin (/ 1 phi1)) (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))))) in delta 0.711 * [taylor]: Taking taylor expansion of (atan2 (* (sin (/ 1 delta)) (* (cos (/ 1 phi1)) (sin (/ 1 theta)))) (- (cos (/ 1 delta)) (* (sin (/ 1 phi1)) (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))))))) in phi1 0.712 * [taylor]: Taking taylor expansion of 0 in delta 0.712 * [taylor]: Taking taylor expansion of 0 in phi1 0.712 * [taylor]: Taking taylor expansion of 0 in phi1 0.712 * [taylor]: Taking taylor expansion of 0 in delta 0.712 * [taylor]: Taking taylor expansion of 0 in phi1 0.712 * [taylor]: Taking taylor expansion of 0 in phi1 0.712 * [taylor]: Taking taylor expansion of 0 in phi1 0.713 * [approximate]: Taking taylor expansion of (atan2 (* (cos (/ -1 phi1)) (* (sin (/ -1 theta)) (sin (/ -1 delta)))) (- (cos (/ -1 delta)) (* (sin (/ -1 phi1)) (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))))) in (theta delta phi1) around 0 0.713 * [taylor]: Taking taylor expansion of (atan2 (* (cos (/ -1 phi1)) (* (sin (/ -1 theta)) (sin (/ -1 delta)))) (- (cos (/ -1 delta)) (* (sin (/ -1 phi1)) (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))))) in phi1 0.713 * [taylor]: Taking taylor expansion of (atan2 (* (cos (/ -1 phi1)) (* (sin (/ -1 theta)) (sin (/ -1 delta)))) (- (cos (/ -1 delta)) (* (sin (/ -1 phi1)) (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))))) in delta 0.714 * [taylor]: Taking taylor expansion of (atan2 (* (cos (/ -1 phi1)) (* (sin (/ -1 theta)) (sin (/ -1 delta)))) (- (cos (/ -1 delta)) (* (sin (/ -1 phi1)) (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))))) in theta 0.714 * [taylor]: Taking taylor expansion of (atan2 (* (cos (/ -1 phi1)) (* (sin (/ -1 theta)) (sin (/ -1 delta)))) (- (cos (/ -1 delta)) (* (sin (/ -1 phi1)) (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))))) in theta 0.715 * [taylor]: Taking taylor expansion of (atan2 (* (cos (/ -1 phi1)) (* (sin (/ -1 theta)) (sin (/ -1 delta)))) (- (cos (/ -1 delta)) (* (sin (/ -1 phi1)) (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))))) in delta 0.715 * [taylor]: Taking taylor expansion of (atan2 (* (cos (/ -1 phi1)) (* (sin (/ -1 theta)) (sin (/ -1 delta)))) (- (cos (/ -1 delta)) (* (sin (/ -1 phi1)) (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))))))) in phi1 0.716 * [taylor]: Taking taylor expansion of 0 in delta 0.716 * [taylor]: Taking taylor expansion of 0 in phi1 0.716 * [taylor]: Taking taylor expansion of 0 in phi1 0.716 * [taylor]: Taking taylor expansion of 0 in delta 0.716 * [taylor]: Taking taylor expansion of 0 in phi1 0.716 * [taylor]: Taking taylor expansion of 0 in phi1 0.716 * [taylor]: Taking taylor expansion of 0 in phi1 0.717 * * * [progress]: simplifying candidates 0.718 * [simplify]: Simplifying using # : (fma (* (cbrt (cos delta)) (cbrt (cos delta))) (cbrt (cos delta)) (- (* (sin phi1) (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (fma (- (sin phi1)) (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (* (sin phi1) (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))))) (fma (sqrt (cos delta)) (sqrt (cos delta)) (- (* (sin phi1) (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (fma (- (sin phi1)) (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (* (sin phi1) (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))))) (fma 1 (cos delta) (- (* (sin phi1) (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (fma (- (sin phi1)) (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (* (sin phi1) (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))))) (expm1 (- (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1)))) (log1p (- (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1)))) (- (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))) (- (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))) (- (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))) (/ (exp (cos delta)) (exp (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1)))) (log (- (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1)))) (exp (- (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1)))) (* (cbrt (- (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1)))) (cbrt (- (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))))) (cbrt (- (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1)))) (* (* (- (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))) (- (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1)))) (- (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1)))) (sqrt (- (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1)))) (sqrt (- (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1)))) (- (pow (cos delta) 3) (pow (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1)) 3)) (+ (* (cos delta) (cos delta)) (+ (* (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1)) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))) (* (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))))) (- (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))) (- (* (cos delta) (cos delta)) (* (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1)) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1)))) (+ (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))) (- (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))) (expm1 (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))) (log1p (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))) (- (cos (- (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta)))) phi1)) (cos (+ (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta)))) phi1))) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1)) (+ (log (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta)))))) (log (sin phi1))) (log (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))) (exp (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))) (* (* (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (* (sin phi1) (sin phi1)) (sin phi1))) (* (cbrt (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))) (cbrt (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1)))) (cbrt (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))) (* (* (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1)) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))) (sqrt (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))) (sqrt (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))) (* (sqrt (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sqrt (sin phi1))) (* (sqrt (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sqrt (sin phi1))) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (* (cbrt (sin phi1)) (cbrt (sin phi1)))) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sqrt (sin phi1))) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) 1) (* (cbrt (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin phi1)) (* (sqrt (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin phi1)) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1)) (expm1 (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (log1p (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (/ PI 2) (acos (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta)))) (log (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (exp (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (* (cbrt (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (cbrt (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta)))))) (cbrt (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (* (* (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta)))) (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sqrt (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sqrt (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (expm1 (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))))) (log1p (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))))) (log (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))))) (exp (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))))) (* (cbrt (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))))) (cbrt (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1)))))) (cbrt (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))))) (* (* (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1)))) (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))))) (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))))) (sqrt (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))))) (sqrt (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (cos delta) (* (sin (asin (fma (sin phi1) (cos delta) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin phi1))))) (- 1 (+ (* 1/2 (pow delta 2)) (* delta phi1))) (- (cos delta) (+ (* (pow (sin phi1) 2) (cos delta)) (* (sin delta) (* (cos phi1) (* (cos theta) (sin phi1)))))) (- (cos delta) (+ (* (pow (sin phi1) 2) (cos delta)) (* (sin phi1) (* (cos phi1) (* (cos theta) (sin delta)))))) (+ (pow phi1 2) (* delta phi1)) (* (sin phi1) (+ (* (sin delta) (* (cos phi1) (cos theta))) (* (sin phi1) (cos delta)))) (* (sin phi1) (+ (* (sin delta) (* (cos phi1) (cos theta))) (* (sin phi1) (cos delta)))) (asin (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) (asin (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) (asin (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) (atan2 (* (sin delta) (* (cos phi1) (sin theta))) (- (cos delta) (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))))) (atan2 (* (sin delta) (* (cos phi1) (sin theta))) (- (cos delta) (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))))) (atan2 (* (sin delta) (* (cos phi1) (sin theta))) (- (cos delta) (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))))) 0.723 * * [simplify]: iteration 0 : 139 enodes (cost 2029 ) 0.746 * * [simplify]: iteration 1 : 283 enodes (cost 1962 ) 0.794 * * [simplify]: iteration 2 : 705 enodes (cost 1737 )