0.850 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.251 * * * [progress]: [2/2] Setting up program. 0.256 * [progress]: [Phase 2 of 3] Improving. 0.256 * [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.257 * * [simplify]: iteration 0 : 22 enodes (cost 33 ) 0.260 * * [simplify]: iteration 1 : 36 enodes (cost 32 ) 0.264 * * [simplify]: iteration 2 : 59 enodes (cost 32 ) 0.276 * * [simplify]: iteration 3 : 68 enodes (cost 32 ) 0.283 * * [simplify]: iteration done : 68 enodes (cost 32 ) 0.283 * [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.326 * * * [progress]: generating rewritten candidates 0.327 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.330 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2) 0.334 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 1) 0.334 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 0.336 * * * [progress]: generating series expansions 0.336 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.336 * [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.336 * [taylor]: Taking taylor expansion of (- (cos delta) (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta)))))) in theta 0.336 * [taylor]: Taking taylor expansion of (cos delta) in theta 0.336 * [taylor]: Taking taylor expansion of delta in theta 0.336 * [taylor]: Taking taylor expansion of (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in theta 0.336 * [taylor]: Taking taylor expansion of (sin phi1) in theta 0.336 * [taylor]: Taking taylor expansion of phi1 in theta 0.336 * [taylor]: Taking taylor expansion of (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta)))) in theta 0.338 * [taylor]: Rewrote expression to (+ (* (sin phi1) (cos delta)) (* (sin delta) (* (cos phi1) (cos theta)))) 0.338 * [taylor]: Taking taylor expansion of (* (sin phi1) (cos delta)) in theta 0.338 * [taylor]: Taking taylor expansion of (sin phi1) in theta 0.338 * [taylor]: Taking taylor expansion of phi1 in theta 0.338 * [taylor]: Taking taylor expansion of (cos delta) in theta 0.338 * [taylor]: Taking taylor expansion of delta in theta 0.338 * [taylor]: Taking taylor expansion of (* (sin delta) (* (cos phi1) (cos theta))) in theta 0.338 * [taylor]: Taking taylor expansion of (sin delta) in theta 0.338 * [taylor]: Taking taylor expansion of delta in theta 0.338 * [taylor]: Taking taylor expansion of (* (cos phi1) (cos theta)) in theta 0.338 * [taylor]: Taking taylor expansion of (cos phi1) in theta 0.338 * [taylor]: Taking taylor expansion of phi1 in theta 0.338 * [taylor]: Taking taylor expansion of (cos theta) in theta 0.338 * [taylor]: Taking taylor expansion of theta in theta 0.338 * [taylor]: Taking taylor expansion of (- (cos delta) (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta)))))) in phi1 0.338 * [taylor]: Taking taylor expansion of (cos delta) in phi1 0.338 * [taylor]: Taking taylor expansion of delta in phi1 0.338 * [taylor]: Taking taylor expansion of (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in phi1 0.338 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 0.338 * [taylor]: Taking taylor expansion of phi1 in phi1 0.338 * [taylor]: Taking taylor expansion of (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta)))) in phi1 0.338 * [taylor]: Rewrote expression to (+ (* (sin phi1) (cos delta)) (* (sin delta) (* (cos phi1) (cos theta)))) 0.338 * [taylor]: Taking taylor expansion of (* (sin phi1) (cos delta)) in phi1 0.338 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 0.338 * [taylor]: Taking taylor expansion of phi1 in phi1 0.338 * [taylor]: Taking taylor expansion of (cos delta) in phi1 0.338 * [taylor]: Taking taylor expansion of delta in phi1 0.338 * [taylor]: Taking taylor expansion of (* (sin delta) (* (cos phi1) (cos theta))) in phi1 0.338 * [taylor]: Taking taylor expansion of (sin delta) in phi1 0.338 * [taylor]: Taking taylor expansion of delta in phi1 0.338 * [taylor]: Taking taylor expansion of (* (cos phi1) (cos theta)) in phi1 0.338 * [taylor]: Taking taylor expansion of (cos phi1) in phi1 0.338 * [taylor]: Taking taylor expansion of phi1 in phi1 0.338 * [taylor]: Taking taylor expansion of (cos theta) in phi1 0.338 * [taylor]: Taking taylor expansion of theta in phi1 0.339 * [taylor]: Taking taylor expansion of (- (cos delta) (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta)))))) in delta 0.339 * [taylor]: Taking taylor expansion of (cos delta) in delta 0.339 * [taylor]: Taking taylor expansion of delta in delta 0.339 * [taylor]: Taking taylor expansion of (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in delta 0.339 * [taylor]: Taking taylor expansion of (sin phi1) in delta 0.339 * [taylor]: Taking taylor expansion of phi1 in delta 0.339 * [taylor]: Taking taylor expansion of (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta)))) in delta 0.339 * [taylor]: Rewrote expression to (+ (* (sin phi1) (cos delta)) (* (sin delta) (* (cos phi1) (cos theta)))) 0.339 * [taylor]: Taking taylor expansion of (* (sin phi1) (cos delta)) in delta 0.339 * [taylor]: Taking taylor expansion of (sin phi1) in delta 0.339 * [taylor]: Taking taylor expansion of phi1 in delta 0.339 * [taylor]: Taking taylor expansion of (cos delta) in delta 0.339 * [taylor]: Taking taylor expansion of delta in delta 0.339 * [taylor]: Taking taylor expansion of (* (sin delta) (* (cos phi1) (cos theta))) in delta 0.339 * [taylor]: Taking taylor expansion of (sin delta) in delta 0.339 * [taylor]: Taking taylor expansion of delta in delta 0.339 * [taylor]: Taking taylor expansion of (* (cos phi1) (cos theta)) in delta 0.339 * [taylor]: Taking taylor expansion of (cos phi1) in delta 0.339 * [taylor]: Taking taylor expansion of phi1 in delta 0.339 * [taylor]: Taking taylor expansion of (cos theta) in delta 0.339 * [taylor]: Taking taylor expansion of theta in delta 0.339 * [taylor]: Taking taylor expansion of (- (cos delta) (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta)))))) in delta 0.339 * [taylor]: Taking taylor expansion of (cos delta) in delta 0.339 * [taylor]: Taking taylor expansion of delta in delta 0.339 * [taylor]: Taking taylor expansion of (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in delta 0.339 * [taylor]: Taking taylor expansion of (sin phi1) in delta 0.339 * [taylor]: Taking taylor expansion of phi1 in delta 0.339 * [taylor]: Taking taylor expansion of (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta)))) in delta 0.339 * [taylor]: Rewrote expression to (+ (* (sin phi1) (cos delta)) (* (sin delta) (* (cos phi1) (cos theta)))) 0.339 * [taylor]: Taking taylor expansion of (* (sin phi1) (cos delta)) in delta 0.339 * [taylor]: Taking taylor expansion of (sin phi1) in delta 0.339 * [taylor]: Taking taylor expansion of phi1 in delta 0.339 * [taylor]: Taking taylor expansion of (cos delta) in delta 0.339 * [taylor]: Taking taylor expansion of delta in delta 0.339 * [taylor]: Taking taylor expansion of (* (sin delta) (* (cos phi1) (cos theta))) in delta 0.339 * [taylor]: Taking taylor expansion of (sin delta) in delta 0.339 * [taylor]: Taking taylor expansion of delta in delta 0.339 * [taylor]: Taking taylor expansion of (* (cos phi1) (cos theta)) in delta 0.339 * [taylor]: Taking taylor expansion of (cos phi1) in delta 0.339 * [taylor]: Taking taylor expansion of phi1 in delta 0.340 * [taylor]: Taking taylor expansion of (cos theta) in delta 0.340 * [taylor]: Taking taylor expansion of theta in delta 0.341 * [taylor]: Taking taylor expansion of (- 1 (pow (sin phi1) 2)) in phi1 0.341 * [taylor]: Taking taylor expansion of 1 in phi1 0.341 * [taylor]: Taking taylor expansion of (pow (sin phi1) 2) in phi1 0.341 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 0.341 * [taylor]: Taking taylor expansion of phi1 in phi1 0.343 * [taylor]: Taking taylor expansion of 1 in theta 0.351 * [taylor]: Taking taylor expansion of (- (* (sin phi1) (* (cos phi1) (cos theta)))) in phi1 0.351 * [taylor]: Taking taylor expansion of (* (sin phi1) (* (cos phi1) (cos theta))) in phi1 0.351 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 0.351 * [taylor]: Taking taylor expansion of phi1 in phi1 0.351 * [taylor]: Taking taylor expansion of (* (cos phi1) (cos theta)) in phi1 0.351 * [taylor]: Taking taylor expansion of (cos phi1) in phi1 0.351 * [taylor]: Taking taylor expansion of phi1 in phi1 0.351 * [taylor]: Taking taylor expansion of (cos theta) in phi1 0.351 * [taylor]: Taking taylor expansion of theta in phi1 0.352 * [taylor]: Taking taylor expansion of 0 in theta 0.352 * [taylor]: Taking taylor expansion of 0 in theta 0.367 * [taylor]: Taking taylor expansion of (- (* 1/2 (pow (sin phi1) 2)) 1/2) in phi1 0.367 * [taylor]: Taking taylor expansion of (* 1/2 (pow (sin phi1) 2)) in phi1 0.367 * [taylor]: Taking taylor expansion of 1/2 in phi1 0.367 * [taylor]: Taking taylor expansion of (pow (sin phi1) 2) in phi1 0.367 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 0.367 * [taylor]: Taking taylor expansion of phi1 in phi1 0.368 * [taylor]: Taking taylor expansion of 1/2 in phi1 0.368 * [taylor]: Taking taylor expansion of -1/2 in theta 0.371 * [taylor]: Taking taylor expansion of (- (cos theta)) in theta 0.371 * [taylor]: Taking taylor expansion of (cos theta) in theta 0.371 * [taylor]: Taking taylor expansion of theta in theta 0.372 * [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.372 * [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.372 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in theta 0.372 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 0.372 * [taylor]: Taking taylor expansion of delta in theta 0.372 * [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.372 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in theta 0.372 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 0.372 * [taylor]: Taking taylor expansion of phi1 in theta 0.373 * [taylor]: Taking taylor expansion of (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) in theta 0.373 * [taylor]: Rewrote expression to (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) 0.373 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (cos (/ 1 delta))) in theta 0.373 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in theta 0.373 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 0.373 * [taylor]: Taking taylor expansion of phi1 in theta 0.373 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in theta 0.373 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 0.373 * [taylor]: Taking taylor expansion of delta in theta 0.373 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) in theta 0.373 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in theta 0.373 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 0.373 * [taylor]: Taking taylor expansion of delta in theta 0.373 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (cos (/ 1 phi1))) in theta 0.373 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in theta 0.373 * [taylor]: Taking taylor expansion of (/ 1 theta) in theta 0.373 * [taylor]: Taking taylor expansion of theta in theta 0.374 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in theta 0.374 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 0.374 * [taylor]: Taking taylor expansion of phi1 in theta 0.374 * [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.374 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in phi1 0.374 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 0.374 * [taylor]: Taking taylor expansion of delta in phi1 0.374 * [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.374 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 0.374 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.374 * [taylor]: Taking taylor expansion of phi1 in phi1 0.374 * [taylor]: Taking taylor expansion of (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) in phi1 0.374 * [taylor]: Rewrote expression to (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) 0.374 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (cos (/ 1 delta))) in phi1 0.375 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 0.375 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.375 * [taylor]: Taking taylor expansion of phi1 in phi1 0.375 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in phi1 0.375 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 0.375 * [taylor]: Taking taylor expansion of delta in phi1 0.375 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) in phi1 0.375 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in phi1 0.375 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 0.375 * [taylor]: Taking taylor expansion of delta in phi1 0.375 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (cos (/ 1 phi1))) in phi1 0.375 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in phi1 0.375 * [taylor]: Taking taylor expansion of (/ 1 theta) in phi1 0.375 * [taylor]: Taking taylor expansion of theta in phi1 0.375 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in phi1 0.375 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.375 * [taylor]: Taking taylor expansion of phi1 in phi1 0.376 * [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.376 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in delta 0.376 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 0.376 * [taylor]: Taking taylor expansion of delta in delta 0.376 * [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.376 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in delta 0.376 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 0.376 * [taylor]: Taking taylor expansion of phi1 in delta 0.376 * [taylor]: Taking taylor expansion of (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) in delta 0.376 * [taylor]: Rewrote expression to (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) 0.376 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (cos (/ 1 delta))) in delta 0.376 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in delta 0.376 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 0.376 * [taylor]: Taking taylor expansion of phi1 in delta 0.376 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in delta 0.376 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 0.376 * [taylor]: Taking taylor expansion of delta in delta 0.377 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) in delta 0.377 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in delta 0.377 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 0.377 * [taylor]: Taking taylor expansion of delta in delta 0.377 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (cos (/ 1 phi1))) in delta 0.377 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in delta 0.377 * [taylor]: Taking taylor expansion of (/ 1 theta) in delta 0.377 * [taylor]: Taking taylor expansion of theta in delta 0.377 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in delta 0.377 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 0.377 * [taylor]: Taking taylor expansion of phi1 in delta 0.377 * [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.377 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in delta 0.377 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 0.377 * [taylor]: Taking taylor expansion of delta in delta 0.378 * [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.378 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in delta 0.378 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 0.378 * [taylor]: Taking taylor expansion of phi1 in delta 0.378 * [taylor]: Taking taylor expansion of (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) in delta 0.378 * [taylor]: Rewrote expression to (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) 0.378 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (cos (/ 1 delta))) in delta 0.378 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in delta 0.378 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 0.378 * [taylor]: Taking taylor expansion of phi1 in delta 0.378 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in delta 0.378 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 0.378 * [taylor]: Taking taylor expansion of delta in delta 0.378 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) in delta 0.378 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in delta 0.378 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 0.378 * [taylor]: Taking taylor expansion of delta in delta 0.379 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (cos (/ 1 phi1))) in delta 0.379 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in delta 0.379 * [taylor]: Taking taylor expansion of (/ 1 theta) in delta 0.379 * [taylor]: Taking taylor expansion of theta in delta 0.379 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in delta 0.379 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 0.379 * [taylor]: Taking taylor expansion of phi1 in delta 0.381 * [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.381 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in phi1 0.381 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 0.382 * [taylor]: Taking taylor expansion of delta in phi1 0.382 * [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.382 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (* (cos (/ 1 phi1)) (sin (/ 1 phi1))))) in phi1 0.382 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in phi1 0.382 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 0.382 * [taylor]: Taking taylor expansion of delta in phi1 0.382 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (* (cos (/ 1 phi1)) (sin (/ 1 phi1)))) in phi1 0.382 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in phi1 0.382 * [taylor]: Taking taylor expansion of (/ 1 theta) in phi1 0.382 * [taylor]: Taking taylor expansion of theta in phi1 0.382 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi1)) (sin (/ 1 phi1))) in phi1 0.382 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in phi1 0.382 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.382 * [taylor]: Taking taylor expansion of phi1 in phi1 0.382 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 0.382 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.382 * [taylor]: Taking taylor expansion of phi1 in phi1 0.383 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))) in phi1 0.383 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 phi1)) 2) in phi1 0.383 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 0.383 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.383 * [taylor]: Taking taylor expansion of phi1 in phi1 0.383 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in phi1 0.383 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 0.383 * [taylor]: Taking taylor expansion of delta in phi1 0.386 * [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.386 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in theta 0.386 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 0.386 * [taylor]: Taking taylor expansion of delta in theta 0.386 * [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.386 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (* (cos (/ 1 phi1)) (sin (/ 1 phi1))))) in theta 0.386 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in theta 0.386 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 0.386 * [taylor]: Taking taylor expansion of delta in theta 0.386 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (* (cos (/ 1 phi1)) (sin (/ 1 phi1)))) in theta 0.386 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in theta 0.386 * [taylor]: Taking taylor expansion of (/ 1 theta) in theta 0.386 * [taylor]: Taking taylor expansion of theta in theta 0.387 * [taylor]: Taking taylor expansion of (* (cos (/ 1 phi1)) (sin (/ 1 phi1))) in theta 0.387 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in theta 0.387 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 0.387 * [taylor]: Taking taylor expansion of phi1 in theta 0.387 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in theta 0.387 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 0.387 * [taylor]: Taking taylor expansion of phi1 in theta 0.387 * [taylor]: Taking taylor expansion of (* (pow (sin (/ 1 phi1)) 2) (cos (/ 1 delta))) in theta 0.387 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 phi1)) 2) in theta 0.387 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in theta 0.387 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 0.387 * [taylor]: Taking taylor expansion of phi1 in theta 0.387 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in theta 0.387 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 0.387 * [taylor]: Taking taylor expansion of delta in theta 0.398 * [taylor]: Taking taylor expansion of 0 in phi1 0.398 * [taylor]: Taking taylor expansion of 0 in theta 0.406 * [taylor]: Taking taylor expansion of 0 in theta 0.427 * [taylor]: Taking taylor expansion of 0 in phi1 0.427 * [taylor]: Taking taylor expansion of 0 in theta 0.428 * [taylor]: Taking taylor expansion of 0 in theta 0.438 * [taylor]: Taking taylor expansion of 0 in theta 0.439 * [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.439 * [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.439 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in theta 0.439 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 0.439 * [taylor]: Taking taylor expansion of -1 in theta 0.439 * [taylor]: Taking taylor expansion of delta in theta 0.439 * [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.440 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in theta 0.440 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 0.440 * [taylor]: Taking taylor expansion of -1 in theta 0.440 * [taylor]: Taking taylor expansion of phi1 in theta 0.440 * [taylor]: Taking taylor expansion of (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) in theta 0.440 * [taylor]: Rewrote expression to (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) 0.440 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (cos (/ -1 delta))) in theta 0.440 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in theta 0.440 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 0.440 * [taylor]: Taking taylor expansion of -1 in theta 0.440 * [taylor]: Taking taylor expansion of phi1 in theta 0.440 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in theta 0.440 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 0.440 * [taylor]: Taking taylor expansion of -1 in theta 0.440 * [taylor]: Taking taylor expansion of delta in theta 0.440 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))) in theta 0.440 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in theta 0.440 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 0.440 * [taylor]: Taking taylor expansion of -1 in theta 0.440 * [taylor]: Taking taylor expansion of phi1 in theta 0.440 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (sin (/ -1 delta))) in theta 0.440 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in theta 0.440 * [taylor]: Taking taylor expansion of (/ -1 theta) in theta 0.440 * [taylor]: Taking taylor expansion of -1 in theta 0.440 * [taylor]: Taking taylor expansion of theta in theta 0.441 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in theta 0.441 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 0.441 * [taylor]: Taking taylor expansion of -1 in theta 0.441 * [taylor]: Taking taylor expansion of delta in theta 0.441 * [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.441 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in phi1 0.441 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 0.441 * [taylor]: Taking taylor expansion of -1 in phi1 0.441 * [taylor]: Taking taylor expansion of delta in phi1 0.441 * [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.441 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 0.441 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 0.441 * [taylor]: Taking taylor expansion of -1 in phi1 0.441 * [taylor]: Taking taylor expansion of phi1 in phi1 0.441 * [taylor]: Taking taylor expansion of (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) in phi1 0.441 * [taylor]: Rewrote expression to (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) 0.441 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (cos (/ -1 delta))) in phi1 0.441 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 0.441 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 0.441 * [taylor]: Taking taylor expansion of -1 in phi1 0.442 * [taylor]: Taking taylor expansion of phi1 in phi1 0.442 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in phi1 0.442 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 0.442 * [taylor]: Taking taylor expansion of -1 in phi1 0.442 * [taylor]: Taking taylor expansion of delta in phi1 0.442 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))) in phi1 0.442 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in phi1 0.442 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 0.442 * [taylor]: Taking taylor expansion of -1 in phi1 0.442 * [taylor]: Taking taylor expansion of phi1 in phi1 0.442 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (sin (/ -1 delta))) in phi1 0.442 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in phi1 0.442 * [taylor]: Taking taylor expansion of (/ -1 theta) in phi1 0.442 * [taylor]: Taking taylor expansion of -1 in phi1 0.442 * [taylor]: Taking taylor expansion of theta in phi1 0.443 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in phi1 0.443 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 0.443 * [taylor]: Taking taylor expansion of -1 in phi1 0.443 * [taylor]: Taking taylor expansion of delta in phi1 0.443 * [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.443 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in delta 0.443 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 0.443 * [taylor]: Taking taylor expansion of -1 in delta 0.443 * [taylor]: Taking taylor expansion of delta in delta 0.443 * [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.443 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in delta 0.443 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 0.443 * [taylor]: Taking taylor expansion of -1 in delta 0.443 * [taylor]: Taking taylor expansion of phi1 in delta 0.443 * [taylor]: Taking taylor expansion of (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) in delta 0.443 * [taylor]: Rewrote expression to (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) 0.443 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (cos (/ -1 delta))) in delta 0.443 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in delta 0.443 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 0.443 * [taylor]: Taking taylor expansion of -1 in delta 0.443 * [taylor]: Taking taylor expansion of phi1 in delta 0.443 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in delta 0.443 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 0.444 * [taylor]: Taking taylor expansion of -1 in delta 0.444 * [taylor]: Taking taylor expansion of delta in delta 0.444 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))) in delta 0.444 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in delta 0.444 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 0.444 * [taylor]: Taking taylor expansion of -1 in delta 0.444 * [taylor]: Taking taylor expansion of phi1 in delta 0.444 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (sin (/ -1 delta))) in delta 0.444 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in delta 0.444 * [taylor]: Taking taylor expansion of (/ -1 theta) in delta 0.444 * [taylor]: Taking taylor expansion of -1 in delta 0.444 * [taylor]: Taking taylor expansion of theta in delta 0.444 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in delta 0.444 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 0.444 * [taylor]: Taking taylor expansion of -1 in delta 0.444 * [taylor]: Taking taylor expansion of delta in delta 0.445 * [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.445 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in delta 0.445 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 0.445 * [taylor]: Taking taylor expansion of -1 in delta 0.445 * [taylor]: Taking taylor expansion of delta in delta 0.445 * [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.445 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in delta 0.445 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 0.445 * [taylor]: Taking taylor expansion of -1 in delta 0.445 * [taylor]: Taking taylor expansion of phi1 in delta 0.445 * [taylor]: Taking taylor expansion of (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) in delta 0.445 * [taylor]: Rewrote expression to (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) 0.445 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (cos (/ -1 delta))) in delta 0.445 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in delta 0.445 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 0.445 * [taylor]: Taking taylor expansion of -1 in delta 0.445 * [taylor]: Taking taylor expansion of phi1 in delta 0.445 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in delta 0.445 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 0.445 * [taylor]: Taking taylor expansion of -1 in delta 0.445 * [taylor]: Taking taylor expansion of delta in delta 0.446 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))) in delta 0.446 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in delta 0.446 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 0.446 * [taylor]: Taking taylor expansion of -1 in delta 0.446 * [taylor]: Taking taylor expansion of phi1 in delta 0.446 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (sin (/ -1 delta))) in delta 0.446 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in delta 0.446 * [taylor]: Taking taylor expansion of (/ -1 theta) in delta 0.446 * [taylor]: Taking taylor expansion of -1 in delta 0.446 * [taylor]: Taking taylor expansion of theta in delta 0.446 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in delta 0.446 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 0.446 * [taylor]: Taking taylor expansion of -1 in delta 0.446 * [taylor]: Taking taylor expansion of delta in delta 0.449 * [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.449 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in phi1 0.449 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 0.449 * [taylor]: Taking taylor expansion of -1 in phi1 0.449 * [taylor]: Taking taylor expansion of delta in phi1 0.449 * [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.449 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) in phi1 0.449 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 phi1)) 2) in phi1 0.449 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 0.449 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 0.449 * [taylor]: Taking taylor expansion of -1 in phi1 0.449 * [taylor]: Taking taylor expansion of phi1 in phi1 0.449 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in phi1 0.449 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 0.449 * [taylor]: Taking taylor expansion of -1 in phi1 0.449 * [taylor]: Taking taylor expansion of delta in phi1 0.449 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 theta)) (* (cos (/ -1 phi1)) (sin (/ -1 delta))))) in phi1 0.449 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 0.449 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 0.449 * [taylor]: Taking taylor expansion of -1 in phi1 0.449 * [taylor]: Taking taylor expansion of phi1 in phi1 0.450 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (* (cos (/ -1 phi1)) (sin (/ -1 delta)))) in phi1 0.450 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in phi1 0.450 * [taylor]: Taking taylor expansion of (/ -1 theta) in phi1 0.450 * [taylor]: Taking taylor expansion of -1 in phi1 0.450 * [taylor]: Taking taylor expansion of theta in phi1 0.450 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (sin (/ -1 delta))) in phi1 0.450 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in phi1 0.450 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 0.450 * [taylor]: Taking taylor expansion of -1 in phi1 0.450 * [taylor]: Taking taylor expansion of phi1 in phi1 0.455 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in phi1 0.455 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 0.455 * [taylor]: Taking taylor expansion of -1 in phi1 0.455 * [taylor]: Taking taylor expansion of delta in phi1 0.458 * [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.458 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in theta 0.458 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 0.458 * [taylor]: Taking taylor expansion of -1 in theta 0.458 * [taylor]: Taking taylor expansion of delta in theta 0.458 * [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.458 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 phi1)) 2) (cos (/ -1 delta))) in theta 0.458 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 phi1)) 2) in theta 0.458 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in theta 0.458 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 0.458 * [taylor]: Taking taylor expansion of -1 in theta 0.458 * [taylor]: Taking taylor expansion of phi1 in theta 0.458 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in theta 0.458 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 0.458 * [taylor]: Taking taylor expansion of -1 in theta 0.458 * [taylor]: Taking taylor expansion of delta in theta 0.458 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (* (cos (/ -1 theta)) (* (cos (/ -1 phi1)) (sin (/ -1 delta))))) in theta 0.458 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in theta 0.458 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 0.458 * [taylor]: Taking taylor expansion of -1 in theta 0.458 * [taylor]: Taking taylor expansion of phi1 in theta 0.458 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (* (cos (/ -1 phi1)) (sin (/ -1 delta)))) in theta 0.458 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in theta 0.458 * [taylor]: Taking taylor expansion of (/ -1 theta) in theta 0.458 * [taylor]: Taking taylor expansion of -1 in theta 0.458 * [taylor]: Taking taylor expansion of theta in theta 0.459 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (sin (/ -1 delta))) in theta 0.459 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in theta 0.459 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 0.459 * [taylor]: Taking taylor expansion of -1 in theta 0.459 * [taylor]: Taking taylor expansion of phi1 in theta 0.459 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in theta 0.459 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 0.459 * [taylor]: Taking taylor expansion of -1 in theta 0.459 * [taylor]: Taking taylor expansion of delta in theta 0.470 * [taylor]: Taking taylor expansion of 0 in phi1 0.470 * [taylor]: Taking taylor expansion of 0 in theta 0.478 * [taylor]: Taking taylor expansion of 0 in theta 0.500 * [taylor]: Taking taylor expansion of 0 in phi1 0.500 * [taylor]: Taking taylor expansion of 0 in theta 0.500 * [taylor]: Taking taylor expansion of 0 in theta 0.510 * [taylor]: Taking taylor expansion of 0 in theta 0.511 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2) 0.511 * [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.511 * [taylor]: Taking taylor expansion of (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in theta 0.511 * [taylor]: Taking taylor expansion of (sin phi1) in theta 0.511 * [taylor]: Taking taylor expansion of phi1 in theta 0.512 * [taylor]: Taking taylor expansion of (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta)))) in theta 0.512 * [taylor]: Rewrote expression to (+ (* (sin phi1) (cos delta)) (* (sin delta) (* (cos phi1) (cos theta)))) 0.512 * [taylor]: Taking taylor expansion of (* (sin phi1) (cos delta)) in theta 0.512 * [taylor]: Taking taylor expansion of (sin phi1) in theta 0.512 * [taylor]: Taking taylor expansion of phi1 in theta 0.512 * [taylor]: Taking taylor expansion of (cos delta) in theta 0.512 * [taylor]: Taking taylor expansion of delta in theta 0.512 * [taylor]: Taking taylor expansion of (* (sin delta) (* (cos phi1) (cos theta))) in theta 0.512 * [taylor]: Taking taylor expansion of (sin delta) in theta 0.512 * [taylor]: Taking taylor expansion of delta in theta 0.512 * [taylor]: Taking taylor expansion of (* (cos phi1) (cos theta)) in theta 0.512 * [taylor]: Taking taylor expansion of (cos phi1) in theta 0.512 * [taylor]: Taking taylor expansion of phi1 in theta 0.512 * [taylor]: Taking taylor expansion of (cos theta) in theta 0.512 * [taylor]: Taking taylor expansion of theta in theta 0.512 * [taylor]: Taking taylor expansion of (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in delta 0.512 * [taylor]: Taking taylor expansion of (sin phi1) in delta 0.512 * [taylor]: Taking taylor expansion of phi1 in delta 0.512 * [taylor]: Taking taylor expansion of (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta)))) in delta 0.512 * [taylor]: Rewrote expression to (+ (* (sin phi1) (cos delta)) (* (sin delta) (* (cos phi1) (cos theta)))) 0.512 * [taylor]: Taking taylor expansion of (* (sin phi1) (cos delta)) in delta 0.512 * [taylor]: Taking taylor expansion of (sin phi1) in delta 0.512 * [taylor]: Taking taylor expansion of phi1 in delta 0.512 * [taylor]: Taking taylor expansion of (cos delta) in delta 0.512 * [taylor]: Taking taylor expansion of delta in delta 0.512 * [taylor]: Taking taylor expansion of (* (sin delta) (* (cos phi1) (cos theta))) in delta 0.512 * [taylor]: Taking taylor expansion of (sin delta) in delta 0.512 * [taylor]: Taking taylor expansion of delta in delta 0.512 * [taylor]: Taking taylor expansion of (* (cos phi1) (cos theta)) in delta 0.512 * [taylor]: Taking taylor expansion of (cos phi1) in delta 0.512 * [taylor]: Taking taylor expansion of phi1 in delta 0.512 * [taylor]: Taking taylor expansion of (cos theta) in delta 0.512 * [taylor]: Taking taylor expansion of theta in delta 0.513 * [taylor]: Taking taylor expansion of (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in phi1 0.513 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 0.513 * [taylor]: Taking taylor expansion of phi1 in phi1 0.513 * [taylor]: Taking taylor expansion of (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta)))) in phi1 0.513 * [taylor]: Rewrote expression to (+ (* (sin phi1) (cos delta)) (* (sin delta) (* (cos phi1) (cos theta)))) 0.513 * [taylor]: Taking taylor expansion of (* (sin phi1) (cos delta)) in phi1 0.513 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 0.513 * [taylor]: Taking taylor expansion of phi1 in phi1 0.513 * [taylor]: Taking taylor expansion of (cos delta) in phi1 0.513 * [taylor]: Taking taylor expansion of delta in phi1 0.513 * [taylor]: Taking taylor expansion of (* (sin delta) (* (cos phi1) (cos theta))) in phi1 0.513 * [taylor]: Taking taylor expansion of (sin delta) in phi1 0.513 * [taylor]: Taking taylor expansion of delta in phi1 0.513 * [taylor]: Taking taylor expansion of (* (cos phi1) (cos theta)) in phi1 0.513 * [taylor]: Taking taylor expansion of (cos phi1) in phi1 0.513 * [taylor]: Taking taylor expansion of phi1 in phi1 0.513 * [taylor]: Taking taylor expansion of (cos theta) in phi1 0.513 * [taylor]: Taking taylor expansion of theta in phi1 0.513 * [taylor]: Taking taylor expansion of (* (sin phi1) (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in phi1 0.513 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 0.513 * [taylor]: Taking taylor expansion of phi1 in phi1 0.513 * [taylor]: Taking taylor expansion of (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta)))) in phi1 0.513 * [taylor]: Rewrote expression to (+ (* (sin phi1) (cos delta)) (* (sin delta) (* (cos phi1) (cos theta)))) 0.513 * [taylor]: Taking taylor expansion of (* (sin phi1) (cos delta)) in phi1 0.513 * [taylor]: Taking taylor expansion of (sin phi1) in phi1 0.513 * [taylor]: Taking taylor expansion of phi1 in phi1 0.513 * [taylor]: Taking taylor expansion of (cos delta) in phi1 0.513 * [taylor]: Taking taylor expansion of delta in phi1 0.513 * [taylor]: Taking taylor expansion of (* (sin delta) (* (cos phi1) (cos theta))) in phi1 0.513 * [taylor]: Taking taylor expansion of (sin delta) in phi1 0.513 * [taylor]: Taking taylor expansion of delta in phi1 0.513 * [taylor]: Taking taylor expansion of (* (cos phi1) (cos theta)) in phi1 0.513 * [taylor]: Taking taylor expansion of (cos phi1) in phi1 0.513 * [taylor]: Taking taylor expansion of phi1 in phi1 0.513 * [taylor]: Taking taylor expansion of (cos theta) in phi1 0.513 * [taylor]: Taking taylor expansion of theta in phi1 0.514 * [taylor]: Taking taylor expansion of 0 in delta 0.515 * [taylor]: Taking taylor expansion of 0 in theta 0.521 * [taylor]: Taking taylor expansion of (* (sin delta) (cos theta)) in delta 0.521 * [taylor]: Taking taylor expansion of (sin delta) in delta 0.521 * [taylor]: Taking taylor expansion of delta in delta 0.521 * [taylor]: Taking taylor expansion of (cos theta) in delta 0.521 * [taylor]: Taking taylor expansion of theta in delta 0.521 * [taylor]: Taking taylor expansion of 0 in theta 0.521 * [taylor]: Taking taylor expansion of 0 in theta 0.530 * [taylor]: Taking taylor expansion of (cos delta) in delta 0.531 * [taylor]: Taking taylor expansion of delta in delta 0.531 * [taylor]: Taking taylor expansion of 1 in theta 0.533 * [taylor]: Taking taylor expansion of (cos theta) in theta 0.533 * [taylor]: Taking taylor expansion of theta in theta 0.533 * [taylor]: Taking taylor expansion of 0 in theta 0.549 * [taylor]: Taking taylor expansion of (- (* 2/3 (* (sin delta) (cos theta)))) in delta 0.550 * [taylor]: Taking taylor expansion of (* 2/3 (* (sin delta) (cos theta))) in delta 0.550 * [taylor]: Taking taylor expansion of 2/3 in delta 0.550 * [taylor]: Taking taylor expansion of (* (sin delta) (cos theta)) in delta 0.550 * [taylor]: Taking taylor expansion of (sin delta) in delta 0.550 * [taylor]: Taking taylor expansion of delta in delta 0.550 * [taylor]: Taking taylor expansion of (cos theta) in delta 0.550 * [taylor]: Taking taylor expansion of theta in delta 0.551 * [taylor]: Taking taylor expansion of 0 in theta 0.551 * [taylor]: Taking taylor expansion of 0 in theta 0.551 * [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.551 * [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.551 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in theta 0.551 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 0.551 * [taylor]: Taking taylor expansion of phi1 in theta 0.552 * [taylor]: Taking taylor expansion of (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) in theta 0.552 * [taylor]: Rewrote expression to (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) 0.552 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (cos (/ 1 delta))) in theta 0.552 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in theta 0.552 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 0.552 * [taylor]: Taking taylor expansion of phi1 in theta 0.552 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in theta 0.552 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 0.552 * [taylor]: Taking taylor expansion of delta in theta 0.552 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) in theta 0.552 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in theta 0.552 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 0.552 * [taylor]: Taking taylor expansion of delta in theta 0.552 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (cos (/ 1 phi1))) in theta 0.552 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in theta 0.552 * [taylor]: Taking taylor expansion of (/ 1 theta) in theta 0.552 * [taylor]: Taking taylor expansion of theta in theta 0.552 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in theta 0.552 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 0.552 * [taylor]: Taking taylor expansion of phi1 in theta 0.553 * [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.553 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in delta 0.553 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 0.553 * [taylor]: Taking taylor expansion of phi1 in delta 0.553 * [taylor]: Taking taylor expansion of (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) in delta 0.553 * [taylor]: Rewrote expression to (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) 0.553 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (cos (/ 1 delta))) in delta 0.553 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in delta 0.553 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 0.553 * [taylor]: Taking taylor expansion of phi1 in delta 0.553 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in delta 0.553 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 0.553 * [taylor]: Taking taylor expansion of delta in delta 0.553 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) in delta 0.553 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in delta 0.553 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 0.553 * [taylor]: Taking taylor expansion of delta in delta 0.554 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (cos (/ 1 phi1))) in delta 0.554 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in delta 0.554 * [taylor]: Taking taylor expansion of (/ 1 theta) in delta 0.554 * [taylor]: Taking taylor expansion of theta in delta 0.554 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in delta 0.554 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 0.554 * [taylor]: Taking taylor expansion of phi1 in delta 0.554 * [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.554 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 0.554 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.554 * [taylor]: Taking taylor expansion of phi1 in phi1 0.554 * [taylor]: Taking taylor expansion of (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) in phi1 0.554 * [taylor]: Rewrote expression to (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) 0.554 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (cos (/ 1 delta))) in phi1 0.554 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 0.554 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.554 * [taylor]: Taking taylor expansion of phi1 in phi1 0.555 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in phi1 0.555 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 0.555 * [taylor]: Taking taylor expansion of delta in phi1 0.555 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) in phi1 0.555 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in phi1 0.555 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 0.555 * [taylor]: Taking taylor expansion of delta in phi1 0.555 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (cos (/ 1 phi1))) in phi1 0.555 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in phi1 0.555 * [taylor]: Taking taylor expansion of (/ 1 theta) in phi1 0.555 * [taylor]: Taking taylor expansion of theta in phi1 0.555 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in phi1 0.555 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.555 * [taylor]: Taking taylor expansion of phi1 in phi1 0.555 * [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.555 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 0.555 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.555 * [taylor]: Taking taylor expansion of phi1 in phi1 0.556 * [taylor]: Taking taylor expansion of (fma (sin (/ 1 phi1)) (cos (/ 1 delta)) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) in phi1 0.556 * [taylor]: Rewrote expression to (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) 0.556 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (cos (/ 1 delta))) in phi1 0.556 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in phi1 0.556 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.556 * [taylor]: Taking taylor expansion of phi1 in phi1 0.556 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in phi1 0.556 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 0.556 * [taylor]: Taking taylor expansion of delta in phi1 0.556 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) in phi1 0.556 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in phi1 0.556 * [taylor]: Taking taylor expansion of (/ 1 delta) in phi1 0.556 * [taylor]: Taking taylor expansion of delta in phi1 0.556 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (cos (/ 1 phi1))) in phi1 0.556 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in phi1 0.556 * [taylor]: Taking taylor expansion of (/ 1 theta) in phi1 0.557 * [taylor]: Taking taylor expansion of theta in phi1 0.557 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in phi1 0.557 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 0.557 * [taylor]: Taking taylor expansion of phi1 in phi1 0.558 * [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.558 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) in delta 0.558 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (cos (/ 1 delta))) in delta 0.558 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in delta 0.558 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 0.558 * [taylor]: Taking taylor expansion of phi1 in delta 0.559 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in delta 0.559 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 0.559 * [taylor]: Taking taylor expansion of delta in delta 0.559 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) in delta 0.559 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in delta 0.559 * [taylor]: Taking taylor expansion of (/ 1 delta) in delta 0.559 * [taylor]: Taking taylor expansion of delta in delta 0.559 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (cos (/ 1 phi1))) in delta 0.559 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in delta 0.559 * [taylor]: Taking taylor expansion of (/ 1 theta) in delta 0.559 * [taylor]: Taking taylor expansion of theta in delta 0.559 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in delta 0.559 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 0.559 * [taylor]: Taking taylor expansion of phi1 in delta 0.560 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in delta 0.560 * [taylor]: Taking taylor expansion of (/ 1 phi1) in delta 0.560 * [taylor]: Taking taylor expansion of phi1 in delta 0.561 * [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.561 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1 phi1)) (cos (/ 1 delta))) (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1))))) in theta 0.561 * [taylor]: Taking taylor expansion of (* (sin (/ 1 phi1)) (cos (/ 1 delta))) in theta 0.561 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in theta 0.561 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 0.561 * [taylor]: Taking taylor expansion of phi1 in theta 0.561 * [taylor]: Taking taylor expansion of (cos (/ 1 delta)) in theta 0.561 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 0.561 * [taylor]: Taking taylor expansion of delta in theta 0.561 * [taylor]: Taking taylor expansion of (* (sin (/ 1 delta)) (* (cos (/ 1 theta)) (cos (/ 1 phi1)))) in theta 0.561 * [taylor]: Taking taylor expansion of (sin (/ 1 delta)) in theta 0.561 * [taylor]: Taking taylor expansion of (/ 1 delta) in theta 0.561 * [taylor]: Taking taylor expansion of delta in theta 0.561 * [taylor]: Taking taylor expansion of (* (cos (/ 1 theta)) (cos (/ 1 phi1))) in theta 0.562 * [taylor]: Taking taylor expansion of (cos (/ 1 theta)) in theta 0.562 * [taylor]: Taking taylor expansion of (/ 1 theta) in theta 0.562 * [taylor]: Taking taylor expansion of theta in theta 0.562 * [taylor]: Taking taylor expansion of (cos (/ 1 phi1)) in theta 0.562 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 0.562 * [taylor]: Taking taylor expansion of phi1 in theta 0.562 * [taylor]: Taking taylor expansion of (sin (/ 1 phi1)) in theta 0.562 * [taylor]: Taking taylor expansion of (/ 1 phi1) in theta 0.562 * [taylor]: Taking taylor expansion of phi1 in theta 0.570 * [taylor]: Taking taylor expansion of 0 in delta 0.570 * [taylor]: Taking taylor expansion of 0 in theta 0.577 * [taylor]: Taking taylor expansion of 0 in theta 0.594 * [taylor]: Taking taylor expansion of 0 in delta 0.594 * [taylor]: Taking taylor expansion of 0 in theta 0.594 * [taylor]: Taking taylor expansion of 0 in theta 0.604 * [taylor]: Taking taylor expansion of 0 in theta 0.605 * [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.605 * [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.605 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in theta 0.605 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 0.605 * [taylor]: Taking taylor expansion of -1 in theta 0.605 * [taylor]: Taking taylor expansion of phi1 in theta 0.605 * [taylor]: Taking taylor expansion of (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) in theta 0.605 * [taylor]: Rewrote expression to (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) 0.605 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (cos (/ -1 delta))) in theta 0.605 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in theta 0.605 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 0.605 * [taylor]: Taking taylor expansion of -1 in theta 0.605 * [taylor]: Taking taylor expansion of phi1 in theta 0.605 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in theta 0.605 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 0.605 * [taylor]: Taking taylor expansion of -1 in theta 0.605 * [taylor]: Taking taylor expansion of delta in theta 0.605 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))) in theta 0.605 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in theta 0.605 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 0.605 * [taylor]: Taking taylor expansion of -1 in theta 0.605 * [taylor]: Taking taylor expansion of phi1 in theta 0.605 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (sin (/ -1 delta))) in theta 0.605 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in theta 0.605 * [taylor]: Taking taylor expansion of (/ -1 theta) in theta 0.605 * [taylor]: Taking taylor expansion of -1 in theta 0.605 * [taylor]: Taking taylor expansion of theta in theta 0.606 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in theta 0.606 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 0.606 * [taylor]: Taking taylor expansion of -1 in theta 0.606 * [taylor]: Taking taylor expansion of delta in theta 0.606 * [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.606 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in delta 0.606 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 0.606 * [taylor]: Taking taylor expansion of -1 in delta 0.606 * [taylor]: Taking taylor expansion of phi1 in delta 0.606 * [taylor]: Taking taylor expansion of (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) in delta 0.606 * [taylor]: Rewrote expression to (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) 0.606 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (cos (/ -1 delta))) in delta 0.606 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in delta 0.606 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 0.606 * [taylor]: Taking taylor expansion of -1 in delta 0.606 * [taylor]: Taking taylor expansion of phi1 in delta 0.606 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in delta 0.606 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 0.606 * [taylor]: Taking taylor expansion of -1 in delta 0.606 * [taylor]: Taking taylor expansion of delta in delta 0.607 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))) in delta 0.607 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in delta 0.607 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 0.607 * [taylor]: Taking taylor expansion of -1 in delta 0.607 * [taylor]: Taking taylor expansion of phi1 in delta 0.607 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (sin (/ -1 delta))) in delta 0.607 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in delta 0.607 * [taylor]: Taking taylor expansion of (/ -1 theta) in delta 0.607 * [taylor]: Taking taylor expansion of -1 in delta 0.607 * [taylor]: Taking taylor expansion of theta in delta 0.607 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in delta 0.607 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 0.607 * [taylor]: Taking taylor expansion of -1 in delta 0.607 * [taylor]: Taking taylor expansion of delta in delta 0.607 * [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.607 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 0.607 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 0.607 * [taylor]: Taking taylor expansion of -1 in phi1 0.607 * [taylor]: Taking taylor expansion of phi1 in phi1 0.608 * [taylor]: Taking taylor expansion of (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) in phi1 0.608 * [taylor]: Rewrote expression to (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) 0.608 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (cos (/ -1 delta))) in phi1 0.608 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 0.608 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 0.608 * [taylor]: Taking taylor expansion of -1 in phi1 0.608 * [taylor]: Taking taylor expansion of phi1 in phi1 0.608 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in phi1 0.608 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 0.608 * [taylor]: Taking taylor expansion of -1 in phi1 0.608 * [taylor]: Taking taylor expansion of delta in phi1 0.608 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))) in phi1 0.608 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in phi1 0.608 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 0.609 * [taylor]: Taking taylor expansion of -1 in phi1 0.609 * [taylor]: Taking taylor expansion of phi1 in phi1 0.609 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (sin (/ -1 delta))) in phi1 0.609 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in phi1 0.609 * [taylor]: Taking taylor expansion of (/ -1 theta) in phi1 0.609 * [taylor]: Taking taylor expansion of -1 in phi1 0.609 * [taylor]: Taking taylor expansion of theta in phi1 0.609 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in phi1 0.609 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 0.609 * [taylor]: Taking taylor expansion of -1 in phi1 0.609 * [taylor]: Taking taylor expansion of delta in phi1 0.609 * [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.609 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 0.609 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 0.609 * [taylor]: Taking taylor expansion of -1 in phi1 0.609 * [taylor]: Taking taylor expansion of phi1 in phi1 0.610 * [taylor]: Taking taylor expansion of (fma (sin (/ -1 phi1)) (cos (/ -1 delta)) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) in phi1 0.610 * [taylor]: Rewrote expression to (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) 0.610 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (cos (/ -1 delta))) in phi1 0.610 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in phi1 0.610 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 0.610 * [taylor]: Taking taylor expansion of -1 in phi1 0.610 * [taylor]: Taking taylor expansion of phi1 in phi1 0.610 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in phi1 0.610 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 0.610 * [taylor]: Taking taylor expansion of -1 in phi1 0.610 * [taylor]: Taking taylor expansion of delta in phi1 0.610 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))) in phi1 0.610 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in phi1 0.610 * [taylor]: Taking taylor expansion of (/ -1 phi1) in phi1 0.610 * [taylor]: Taking taylor expansion of -1 in phi1 0.610 * [taylor]: Taking taylor expansion of phi1 in phi1 0.611 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (sin (/ -1 delta))) in phi1 0.611 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in phi1 0.611 * [taylor]: Taking taylor expansion of (/ -1 theta) in phi1 0.611 * [taylor]: Taking taylor expansion of -1 in phi1 0.611 * [taylor]: Taking taylor expansion of theta in phi1 0.611 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in phi1 0.611 * [taylor]: Taking taylor expansion of (/ -1 delta) in phi1 0.611 * [taylor]: Taking taylor expansion of -1 in phi1 0.611 * [taylor]: Taking taylor expansion of delta in phi1 0.612 * [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.612 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in delta 0.612 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 0.612 * [taylor]: Taking taylor expansion of -1 in delta 0.612 * [taylor]: Taking taylor expansion of phi1 in delta 0.612 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) in delta 0.612 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (cos (/ -1 delta))) in delta 0.612 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in delta 0.612 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 0.613 * [taylor]: Taking taylor expansion of -1 in delta 0.613 * [taylor]: Taking taylor expansion of phi1 in delta 0.613 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in delta 0.613 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 0.613 * [taylor]: Taking taylor expansion of -1 in delta 0.613 * [taylor]: Taking taylor expansion of delta in delta 0.613 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))) in delta 0.613 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in delta 0.613 * [taylor]: Taking taylor expansion of (/ -1 phi1) in delta 0.613 * [taylor]: Taking taylor expansion of -1 in delta 0.613 * [taylor]: Taking taylor expansion of phi1 in delta 0.613 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (sin (/ -1 delta))) in delta 0.613 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in delta 0.613 * [taylor]: Taking taylor expansion of (/ -1 theta) in delta 0.613 * [taylor]: Taking taylor expansion of -1 in delta 0.613 * [taylor]: Taking taylor expansion of theta in delta 0.613 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in delta 0.613 * [taylor]: Taking taylor expansion of (/ -1 delta) in delta 0.613 * [taylor]: Taking taylor expansion of -1 in delta 0.613 * [taylor]: Taking taylor expansion of delta in delta 0.615 * [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.615 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in theta 0.615 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 0.615 * [taylor]: Taking taylor expansion of -1 in theta 0.615 * [taylor]: Taking taylor expansion of phi1 in theta 0.615 * [taylor]: Taking taylor expansion of (+ (* (sin (/ -1 phi1)) (cos (/ -1 delta))) (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta))))) in theta 0.615 * [taylor]: Taking taylor expansion of (* (sin (/ -1 phi1)) (cos (/ -1 delta))) in theta 0.615 * [taylor]: Taking taylor expansion of (sin (/ -1 phi1)) in theta 0.615 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 0.615 * [taylor]: Taking taylor expansion of -1 in theta 0.615 * [taylor]: Taking taylor expansion of phi1 in theta 0.615 * [taylor]: Taking taylor expansion of (cos (/ -1 delta)) in theta 0.615 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 0.615 * [taylor]: Taking taylor expansion of -1 in theta 0.616 * [taylor]: Taking taylor expansion of delta in theta 0.616 * [taylor]: Taking taylor expansion of (* (cos (/ -1 phi1)) (* (cos (/ -1 theta)) (sin (/ -1 delta)))) in theta 0.616 * [taylor]: Taking taylor expansion of (cos (/ -1 phi1)) in theta 0.616 * [taylor]: Taking taylor expansion of (/ -1 phi1) in theta 0.616 * [taylor]: Taking taylor expansion of -1 in theta 0.616 * [taylor]: Taking taylor expansion of phi1 in theta 0.616 * [taylor]: Taking taylor expansion of (* (cos (/ -1 theta)) (sin (/ -1 delta))) in theta 0.616 * [taylor]: Taking taylor expansion of (cos (/ -1 theta)) in theta 0.616 * [taylor]: Taking taylor expansion of (/ -1 theta) in theta 0.616 * [taylor]: Taking taylor expansion of -1 in theta 0.616 * [taylor]: Taking taylor expansion of theta in theta 0.616 * [taylor]: Taking taylor expansion of (sin (/ -1 delta)) in theta 0.616 * [taylor]: Taking taylor expansion of (/ -1 delta) in theta 0.616 * [taylor]: Taking taylor expansion of -1 in theta 0.616 * [taylor]: Taking taylor expansion of delta in theta 0.624 * [taylor]: Taking taylor expansion of 0 in delta 0.624 * [taylor]: Taking taylor expansion of 0 in theta 0.636 * [taylor]: Taking taylor expansion of 0 in theta 0.652 * [taylor]: Taking taylor expansion of 0 in delta 0.652 * [taylor]: Taking taylor expansion of 0 in theta 0.652 * [taylor]: Taking taylor expansion of 0 in theta 0.663 * [taylor]: Taking taylor expansion of 0 in theta 0.663 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 1) 0.663 * [approximate]: Taking taylor expansion of (asin (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in (phi1 delta theta) around 0 0.663 * [taylor]: Taking taylor expansion of (asin (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in theta 0.663 * [taylor]: Taking taylor expansion of (asin (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in delta 0.664 * [taylor]: Taking taylor expansion of (asin (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in phi1 0.664 * [taylor]: Taking taylor expansion of (asin (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in phi1 0.664 * [taylor]: Taking taylor expansion of (asin (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in delta 0.664 * [taylor]: Taking taylor expansion of (asin (fma (sin phi1) (cos delta) (* (sin delta) (* (cos phi1) (cos theta))))) in theta 0.664 * [taylor]: Taking taylor expansion of 0 in delta 0.664 * [taylor]: Taking taylor expansion of 0 in theta 0.664 * [taylor]: Taking taylor expansion of 0 in theta 0.664 * [taylor]: Taking taylor expansion of 0 in delta 0.664 * [taylor]: Taking taylor expansion of 0 in theta 0.665 * [taylor]: Taking taylor expansion of 0 in theta 0.665 * [taylor]: Taking taylor expansion of 0 in theta 0.665 * [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.665 * [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.665 * [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.665 * [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.666 * [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.666 * [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.666 * [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.666 * [taylor]: Taking taylor expansion of 0 in delta 0.666 * [taylor]: Taking taylor expansion of 0 in theta 0.666 * [taylor]: Taking taylor expansion of 0 in theta 0.666 * [taylor]: Taking taylor expansion of 0 in delta 0.666 * [taylor]: Taking taylor expansion of 0 in theta 0.667 * [taylor]: Taking taylor expansion of 0 in theta 0.667 * [taylor]: Taking taylor expansion of 0 in theta 0.667 * [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.667 * [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.667 * [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.667 * [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.668 * [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.668 * [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.668 * [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.668 * [taylor]: Taking taylor expansion of 0 in delta 0.669 * [taylor]: Taking taylor expansion of 0 in theta 0.669 * [taylor]: Taking taylor expansion of 0 in theta 0.669 * [taylor]: Taking taylor expansion of 0 in delta 0.669 * [taylor]: Taking taylor expansion of 0 in theta 0.669 * [taylor]: Taking taylor expansion of 0 in theta 0.669 * [taylor]: Taking taylor expansion of 0 in theta 0.669 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 0.669 * [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.669 * [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.670 * [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.670 * [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.670 * [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.671 * [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.671 * [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.671 * [taylor]: Taking taylor expansion of 0 in delta 0.671 * [taylor]: Taking taylor expansion of 0 in phi1 0.671 * [taylor]: Taking taylor expansion of 0 in phi1 0.671 * [taylor]: Taking taylor expansion of 0 in delta 0.671 * [taylor]: Taking taylor expansion of 0 in phi1 0.671 * [taylor]: Taking taylor expansion of 0 in phi1 0.672 * [taylor]: Taking taylor expansion of 0 in phi1 0.672 * [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.672 * [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.673 * [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.673 * [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.673 * [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.674 * [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.674 * [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.675 * [taylor]: Taking taylor expansion of 0 in delta 0.675 * [taylor]: Taking taylor expansion of 0 in phi1 0.675 * [taylor]: Taking taylor expansion of 0 in phi1 0.675 * [taylor]: Taking taylor expansion of 0 in delta 0.675 * [taylor]: Taking taylor expansion of 0 in phi1 0.675 * [taylor]: Taking taylor expansion of 0 in phi1 0.675 * [taylor]: Taking taylor expansion of 0 in phi1 0.676 * [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.676 * [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.677 * [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.677 * [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.678 * [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.678 * [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.678 * [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.679 * [taylor]: Taking taylor expansion of 0 in delta 0.679 * [taylor]: Taking taylor expansion of 0 in phi1 0.679 * [taylor]: Taking taylor expansion of 0 in phi1 0.679 * [taylor]: Taking taylor expansion of 0 in delta 0.679 * [taylor]: Taking taylor expansion of 0 in phi1 0.679 * [taylor]: Taking taylor expansion of 0 in phi1 0.679 * [taylor]: Taking taylor expansion of 0 in phi1 0.680 * * * [progress]: simplifying candidates 0.681 * [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.686 * * [simplify]: iteration 0 : 139 enodes (cost 2029 ) 0.710 * * [simplify]: iteration 1 : 283 enodes (cost 1962 ) 0.758 * * [simplify]: iteration 2 : 705 enodes (cost 1737 )