8.389 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.093 * * * [progress]: [2/2] Setting up program. 0.097 * [progress]: [Phase 2 of 3] Improving. 0.097 * [simplify]: Simplifying using # : (/ (* r (sin b)) (cos (+ a b))) 0.097 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.098 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 0.100 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 0.101 * * [simplify]: iteration 3 : 19 enodes (cost 9 ) 0.103 * * [simplify]: iteration 4 : 20 enodes (cost 9 ) 0.105 * * [simplify]: iteration done : 20 enodes (cost 9 ) 0.105 * [simplify]: Simplified to: (/ (* r (sin b)) (cos (+ a b))) 0.105 * * [progress]: iteration 1 / 4 0.105 * * * [progress]: picking best candidate 0.109 * * * * [pick]: Picked # 0.109 * * * [progress]: localizing error 0.118 * * * [progress]: generating rewritten candidates 0.118 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.123 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 0.129 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 0.133 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 0.137 * * * [progress]: generating series expansions 0.137 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.137 * [approximate]: Taking taylor expansion of (cos (+ a b)) in (a b) around 0 0.137 * [taylor]: Taking taylor expansion of (cos (+ a b)) in b 0.137 * [taylor]: Taking taylor expansion of (+ a b) in b 0.137 * [taylor]: Taking taylor expansion of a in b 0.137 * [taylor]: Taking taylor expansion of b in b 0.137 * [taylor]: Taking taylor expansion of (cos (+ a b)) in a 0.137 * [taylor]: Taking taylor expansion of (+ a b) in a 0.137 * [taylor]: Taking taylor expansion of a in a 0.137 * [taylor]: Taking taylor expansion of b in a 0.137 * [taylor]: Taking taylor expansion of (cos (+ a b)) in a 0.137 * [taylor]: Taking taylor expansion of (+ a b) in a 0.137 * [taylor]: Taking taylor expansion of a in a 0.138 * [taylor]: Taking taylor expansion of b in a 0.138 * [taylor]: Taking taylor expansion of (cos b) in b 0.138 * [taylor]: Taking taylor expansion of b in b 0.139 * [taylor]: Taking taylor expansion of (neg (sin b)) in b 0.139 * [taylor]: Taking taylor expansion of (sin b) in b 0.139 * [taylor]: Taking taylor expansion of b in b 0.139 * [taylor]: Taking taylor expansion of (neg (* 1/2 (cos b))) in b 0.139 * [taylor]: Taking taylor expansion of (* 1/2 (cos b)) in b 0.139 * [taylor]: Taking taylor expansion of 1/2 in b 0.139 * [taylor]: Taking taylor expansion of (cos b) in b 0.139 * [taylor]: Taking taylor expansion of b in b 0.140 * [approximate]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in (a b) around 0 0.140 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in b 0.140 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.140 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.140 * [taylor]: Taking taylor expansion of b in b 0.140 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.140 * [taylor]: Taking taylor expansion of a in b 0.140 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in a 0.140 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.140 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.140 * [taylor]: Taking taylor expansion of b in a 0.140 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.140 * [taylor]: Taking taylor expansion of a in a 0.140 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in a 0.140 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.140 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.140 * [taylor]: Taking taylor expansion of b in a 0.140 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.140 * [taylor]: Taking taylor expansion of a in a 0.140 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 a) (/ 1 b))) in b 0.140 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.140 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.140 * [taylor]: Taking taylor expansion of a in b 0.140 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.141 * [taylor]: Taking taylor expansion of b in b 0.141 * [taylor]: Taking taylor expansion of 0 in b 0.141 * [taylor]: Taking taylor expansion of 0 in b 0.141 * [taylor]: Taking taylor expansion of 0 in b 0.141 * [approximate]: Taking taylor expansion of (cos (neg (+ (/ 1 b) (/ 1 a)))) in (a b) around 0 0.141 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 b) (/ 1 a)))) in b 0.141 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in b 0.141 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.141 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.141 * [taylor]: Taking taylor expansion of b in b 0.141 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.141 * [taylor]: Taking taylor expansion of a in b 0.141 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 b) (/ 1 a)))) in a 0.141 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in a 0.141 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.141 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.141 * [taylor]: Taking taylor expansion of b in a 0.141 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.141 * [taylor]: Taking taylor expansion of a in a 0.141 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 b) (/ 1 a)))) in a 0.141 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in a 0.141 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.142 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.142 * [taylor]: Taking taylor expansion of b in a 0.142 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.142 * [taylor]: Taking taylor expansion of a in a 0.142 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 b) (/ 1 a)))) in b 0.142 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in b 0.142 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.142 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.142 * [taylor]: Taking taylor expansion of b in b 0.142 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.142 * [taylor]: Taking taylor expansion of a in b 0.142 * [taylor]: Taking taylor expansion of 0 in b 0.142 * [taylor]: Taking taylor expansion of 0 in b 0.142 * [taylor]: Taking taylor expansion of 0 in b 0.142 * * * * [progress]: [ 2 / 4 ] generating series at (2) 0.142 * [approximate]: Taking taylor expansion of (/ (* (sin b) r) (cos (+ a b))) in (r b a) around 0 0.142 * [taylor]: Taking taylor expansion of (/ (* (sin b) r) (cos (+ a b))) in a 0.142 * [taylor]: Taking taylor expansion of (* (sin b) r) in a 0.142 * [taylor]: Taking taylor expansion of (sin b) in a 0.142 * [taylor]: Taking taylor expansion of b in a 0.143 * [taylor]: Taking taylor expansion of r in a 0.143 * [taylor]: Taking taylor expansion of (cos (+ a b)) in a 0.143 * [taylor]: Taking taylor expansion of (+ a b) in a 0.143 * [taylor]: Taking taylor expansion of a in a 0.143 * [taylor]: Taking taylor expansion of b in a 0.143 * [taylor]: Taking taylor expansion of (/ (* (sin b) r) (cos (+ a b))) in b 0.143 * [taylor]: Taking taylor expansion of (* (sin b) r) in b 0.143 * [taylor]: Taking taylor expansion of (sin b) in b 0.143 * [taylor]: Taking taylor expansion of b in b 0.143 * [taylor]: Taking taylor expansion of r in b 0.143 * [taylor]: Taking taylor expansion of (cos (+ a b)) in b 0.143 * [taylor]: Taking taylor expansion of (+ a b) in b 0.143 * [taylor]: Taking taylor expansion of a in b 0.143 * [taylor]: Taking taylor expansion of b in b 0.143 * [taylor]: Taking taylor expansion of (/ (* (sin b) r) (cos (+ a b))) in r 0.143 * [taylor]: Taking taylor expansion of (* (sin b) r) in r 0.144 * [taylor]: Taking taylor expansion of (sin b) in r 0.144 * [taylor]: Taking taylor expansion of b in r 0.144 * [taylor]: Taking taylor expansion of r in r 0.144 * [taylor]: Taking taylor expansion of (cos (+ a b)) in r 0.144 * [taylor]: Taking taylor expansion of (+ a b) in r 0.144 * [taylor]: Taking taylor expansion of a in r 0.144 * [taylor]: Taking taylor expansion of b in r 0.144 * [taylor]: Taking taylor expansion of (/ (* (sin b) r) (cos (+ a b))) in r 0.144 * [taylor]: Taking taylor expansion of (* (sin b) r) in r 0.144 * [taylor]: Taking taylor expansion of (sin b) in r 0.144 * [taylor]: Taking taylor expansion of b in r 0.144 * [taylor]: Taking taylor expansion of r in r 0.144 * [taylor]: Taking taylor expansion of (cos (+ a b)) in r 0.144 * [taylor]: Taking taylor expansion of (+ a b) in r 0.144 * [taylor]: Taking taylor expansion of a in r 0.144 * [taylor]: Taking taylor expansion of b in r 0.145 * [taylor]: Taking taylor expansion of (/ (sin b) (cos (+ a b))) in b 0.145 * [taylor]: Taking taylor expansion of (sin b) in b 0.145 * [taylor]: Taking taylor expansion of b in b 0.145 * [taylor]: Taking taylor expansion of (cos (+ a b)) in b 0.145 * [taylor]: Taking taylor expansion of (+ a b) in b 0.145 * [taylor]: Taking taylor expansion of a in b 0.145 * [taylor]: Taking taylor expansion of b in b 0.145 * [taylor]: Taking taylor expansion of (/ 1 (cos a)) in a 0.145 * [taylor]: Taking taylor expansion of (cos a) in a 0.145 * [taylor]: Taking taylor expansion of a in a 0.146 * [taylor]: Taking taylor expansion of 0 in b 0.146 * [taylor]: Taking taylor expansion of 0 in a 0.146 * [taylor]: Taking taylor expansion of (/ (sin a) (pow (cos a) 2)) in a 0.146 * [taylor]: Taking taylor expansion of (sin a) in a 0.146 * [taylor]: Taking taylor expansion of a in a 0.146 * [taylor]: Taking taylor expansion of (pow (cos a) 2) in a 0.146 * [taylor]: Taking taylor expansion of (cos a) in a 0.146 * [taylor]: Taking taylor expansion of a in a 0.147 * [taylor]: Taking taylor expansion of 0 in b 0.147 * [taylor]: Taking taylor expansion of 0 in a 0.147 * [taylor]: Taking taylor expansion of 0 in a 0.148 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (cos a))) (/ (pow (sin a) 2) (pow (cos a) 3))) in a 0.148 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (cos a))) in a 0.148 * [taylor]: Taking taylor expansion of 1/3 in a 0.148 * [taylor]: Taking taylor expansion of (/ 1 (cos a)) in a 0.148 * [taylor]: Taking taylor expansion of (cos a) in a 0.148 * [taylor]: Taking taylor expansion of a in a 0.148 * [taylor]: Taking taylor expansion of (/ (pow (sin a) 2) (pow (cos a) 3)) in a 0.148 * [taylor]: Taking taylor expansion of (pow (sin a) 2) in a 0.148 * [taylor]: Taking taylor expansion of (sin a) in a 0.148 * [taylor]: Taking taylor expansion of a in a 0.148 * [taylor]: Taking taylor expansion of (pow (cos a) 3) in a 0.149 * [taylor]: Taking taylor expansion of (cos a) in a 0.149 * [taylor]: Taking taylor expansion of a in a 0.149 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 b)) (* (cos (+ (/ 1 b) (/ 1 a))) r)) in (r b a) around 0 0.149 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* (cos (+ (/ 1 b) (/ 1 a))) r)) in a 0.149 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a 0.149 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.149 * [taylor]: Taking taylor expansion of b in a 0.149 * [taylor]: Taking taylor expansion of (* (cos (+ (/ 1 b) (/ 1 a))) r) in a 0.149 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in a 0.149 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.149 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.149 * [taylor]: Taking taylor expansion of b in a 0.149 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.149 * [taylor]: Taking taylor expansion of a in a 0.149 * [taylor]: Taking taylor expansion of r in a 0.150 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* (cos (+ (/ 1 b) (/ 1 a))) r)) in b 0.150 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 0.150 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.150 * [taylor]: Taking taylor expansion of b in b 0.150 * [taylor]: Taking taylor expansion of (* (cos (+ (/ 1 b) (/ 1 a))) r) in b 0.150 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in b 0.150 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.150 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.150 * [taylor]: Taking taylor expansion of b in b 0.150 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.150 * [taylor]: Taking taylor expansion of a in b 0.150 * [taylor]: Taking taylor expansion of r in b 0.150 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* (cos (+ (/ 1 b) (/ 1 a))) r)) in r 0.150 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r 0.150 * [taylor]: Taking taylor expansion of (/ 1 b) in r 0.150 * [taylor]: Taking taylor expansion of b in r 0.150 * [taylor]: Taking taylor expansion of (* (cos (+ (/ 1 b) (/ 1 a))) r) in r 0.150 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in r 0.150 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in r 0.150 * [taylor]: Taking taylor expansion of (/ 1 b) in r 0.150 * [taylor]: Taking taylor expansion of b in r 0.151 * [taylor]: Taking taylor expansion of (/ 1 a) in r 0.151 * [taylor]: Taking taylor expansion of a in r 0.151 * [taylor]: Taking taylor expansion of r in r 0.152 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* (cos (+ (/ 1 b) (/ 1 a))) r)) in r 0.152 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r 0.152 * [taylor]: Taking taylor expansion of (/ 1 b) in r 0.152 * [taylor]: Taking taylor expansion of b in r 0.152 * [taylor]: Taking taylor expansion of (* (cos (+ (/ 1 b) (/ 1 a))) r) in r 0.152 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in r 0.152 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in r 0.152 * [taylor]: Taking taylor expansion of (/ 1 b) in r 0.152 * [taylor]: Taking taylor expansion of b in r 0.152 * [taylor]: Taking taylor expansion of (/ 1 a) in r 0.152 * [taylor]: Taking taylor expansion of a in r 0.152 * [taylor]: Taking taylor expansion of r in r 0.153 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (cos (+ (/ 1 b) (/ 1 a)))) in b 0.153 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 0.153 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.153 * [taylor]: Taking taylor expansion of b in b 0.153 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in b 0.153 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.153 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.153 * [taylor]: Taking taylor expansion of b in b 0.153 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.153 * [taylor]: Taking taylor expansion of a in b 0.153 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (cos (+ (/ 1 b) (/ 1 a)))) in a 0.153 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a 0.153 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.153 * [taylor]: Taking taylor expansion of b in a 0.153 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in a 0.153 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.153 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.153 * [taylor]: Taking taylor expansion of b in a 0.153 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.153 * [taylor]: Taking taylor expansion of a in a 0.155 * [taylor]: Taking taylor expansion of 0 in b 0.155 * [taylor]: Taking taylor expansion of 0 in a 0.155 * [taylor]: Taking taylor expansion of 0 in a 0.157 * [taylor]: Taking taylor expansion of 0 in b 0.157 * [taylor]: Taking taylor expansion of 0 in a 0.157 * [taylor]: Taking taylor expansion of 0 in a 0.157 * [taylor]: Taking taylor expansion of 0 in a 0.157 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* r (cos (neg (+ (/ 1 b) (/ 1 a))))))) in (r b a) around 0 0.157 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* r (cos (neg (+ (/ 1 b) (/ 1 a))))))) in a 0.158 * [taylor]: Taking taylor expansion of -1 in a 0.158 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* r (cos (neg (+ (/ 1 b) (/ 1 a)))))) in a 0.158 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a 0.158 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.158 * [taylor]: Taking taylor expansion of -1 in a 0.158 * [taylor]: Taking taylor expansion of b in a 0.158 * [taylor]: Taking taylor expansion of (* r (cos (neg (+ (/ 1 b) (/ 1 a))))) in a 0.158 * [taylor]: Taking taylor expansion of r in a 0.158 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 b) (/ 1 a)))) in a 0.158 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in a 0.158 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.158 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.158 * [taylor]: Taking taylor expansion of b in a 0.158 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.158 * [taylor]: Taking taylor expansion of a in a 0.158 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* r (cos (neg (+ (/ 1 b) (/ 1 a))))))) in b 0.158 * [taylor]: Taking taylor expansion of -1 in b 0.158 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* r (cos (neg (+ (/ 1 b) (/ 1 a)))))) in b 0.158 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 0.158 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.158 * [taylor]: Taking taylor expansion of -1 in b 0.158 * [taylor]: Taking taylor expansion of b in b 0.158 * [taylor]: Taking taylor expansion of (* r (cos (neg (+ (/ 1 b) (/ 1 a))))) in b 0.158 * [taylor]: Taking taylor expansion of r in b 0.158 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 b) (/ 1 a)))) in b 0.158 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in b 0.158 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.159 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.159 * [taylor]: Taking taylor expansion of b in b 0.159 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.159 * [taylor]: Taking taylor expansion of a in b 0.159 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* r (cos (neg (+ (/ 1 b) (/ 1 a))))))) in r 0.159 * [taylor]: Taking taylor expansion of -1 in r 0.159 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* r (cos (neg (+ (/ 1 b) (/ 1 a)))))) in r 0.159 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r 0.159 * [taylor]: Taking taylor expansion of (/ -1 b) in r 0.159 * [taylor]: Taking taylor expansion of -1 in r 0.159 * [taylor]: Taking taylor expansion of b in r 0.159 * [taylor]: Taking taylor expansion of (* r (cos (neg (+ (/ 1 b) (/ 1 a))))) in r 0.159 * [taylor]: Taking taylor expansion of r in r 0.159 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 b) (/ 1 a)))) in r 0.159 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in r 0.159 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in r 0.159 * [taylor]: Taking taylor expansion of (/ 1 b) in r 0.159 * [taylor]: Taking taylor expansion of b in r 0.159 * [taylor]: Taking taylor expansion of (/ 1 a) in r 0.159 * [taylor]: Taking taylor expansion of a in r 0.160 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* r (cos (neg (+ (/ 1 b) (/ 1 a))))))) in r 0.161 * [taylor]: Taking taylor expansion of -1 in r 0.161 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* r (cos (neg (+ (/ 1 b) (/ 1 a)))))) in r 0.161 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r 0.161 * [taylor]: Taking taylor expansion of (/ -1 b) in r 0.161 * [taylor]: Taking taylor expansion of -1 in r 0.161 * [taylor]: Taking taylor expansion of b in r 0.161 * [taylor]: Taking taylor expansion of (* r (cos (neg (+ (/ 1 b) (/ 1 a))))) in r 0.161 * [taylor]: Taking taylor expansion of r in r 0.161 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 b) (/ 1 a)))) in r 0.161 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in r 0.161 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in r 0.161 * [taylor]: Taking taylor expansion of (/ 1 b) in r 0.161 * [taylor]: Taking taylor expansion of b in r 0.161 * [taylor]: Taking taylor expansion of (/ 1 a) in r 0.161 * [taylor]: Taking taylor expansion of a in r 0.162 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (cos (neg (+ (/ 1 a) (/ 1 b)))))) in b 0.162 * [taylor]: Taking taylor expansion of -1 in b 0.162 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (cos (neg (+ (/ 1 a) (/ 1 b))))) in b 0.162 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 0.162 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.162 * [taylor]: Taking taylor expansion of -1 in b 0.162 * [taylor]: Taking taylor expansion of b in b 0.162 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 a) (/ 1 b)))) in b 0.162 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b 0.162 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.162 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.162 * [taylor]: Taking taylor expansion of a in b 0.163 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.163 * [taylor]: Taking taylor expansion of b in b 0.163 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (cos (neg (+ (/ 1 a) (/ 1 b)))))) in a 0.163 * [taylor]: Taking taylor expansion of -1 in a 0.163 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (cos (neg (+ (/ 1 a) (/ 1 b))))) in a 0.163 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a 0.163 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.163 * [taylor]: Taking taylor expansion of -1 in a 0.163 * [taylor]: Taking taylor expansion of b in a 0.163 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 a) (/ 1 b)))) in a 0.163 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in a 0.163 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 0.163 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.163 * [taylor]: Taking taylor expansion of a in a 0.163 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.163 * [taylor]: Taking taylor expansion of b in a 0.165 * [taylor]: Taking taylor expansion of 0 in b 0.165 * [taylor]: Taking taylor expansion of 0 in a 0.165 * [taylor]: Taking taylor expansion of 0 in a 0.168 * [taylor]: Taking taylor expansion of 0 in b 0.168 * [taylor]: Taking taylor expansion of 0 in a 0.168 * [taylor]: Taking taylor expansion of 0 in a 0.168 * [taylor]: Taking taylor expansion of 0 in a 0.168 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 0.168 * [approximate]: Taking taylor expansion of (* (sin b) r) in (r b) around 0 0.168 * [taylor]: Taking taylor expansion of (* (sin b) r) in b 0.168 * [taylor]: Taking taylor expansion of (sin b) in b 0.168 * [taylor]: Taking taylor expansion of b in b 0.168 * [taylor]: Taking taylor expansion of r in b 0.168 * [taylor]: Taking taylor expansion of (* (sin b) r) in r 0.169 * [taylor]: Taking taylor expansion of (sin b) in r 0.169 * [taylor]: Taking taylor expansion of b in r 0.169 * [taylor]: Taking taylor expansion of r in r 0.169 * [taylor]: Taking taylor expansion of (* (sin b) r) in r 0.169 * [taylor]: Taking taylor expansion of (sin b) in r 0.169 * [taylor]: Taking taylor expansion of b in r 0.169 * [taylor]: Taking taylor expansion of r in r 0.169 * [taylor]: Taking taylor expansion of 0 in b 0.169 * [taylor]: Taking taylor expansion of (sin b) in b 0.169 * [taylor]: Taking taylor expansion of b in b 0.169 * [taylor]: Taking taylor expansion of 0 in b 0.170 * [taylor]: Taking taylor expansion of 0 in b 0.175 * [taylor]: Taking taylor expansion of 0 in b 0.175 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 b)) r) in (r b) around 0 0.175 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) r) in b 0.175 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 0.175 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.175 * [taylor]: Taking taylor expansion of b in b 0.175 * [taylor]: Taking taylor expansion of r in b 0.175 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) r) in r 0.175 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r 0.175 * [taylor]: Taking taylor expansion of (/ 1 b) in r 0.175 * [taylor]: Taking taylor expansion of b in r 0.175 * [taylor]: Taking taylor expansion of r in r 0.175 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) r) in r 0.175 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r 0.175 * [taylor]: Taking taylor expansion of (/ 1 b) in r 0.175 * [taylor]: Taking taylor expansion of b in r 0.176 * [taylor]: Taking taylor expansion of r in r 0.176 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 0.176 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.176 * [taylor]: Taking taylor expansion of b in b 0.176 * [taylor]: Taking taylor expansion of 0 in b 0.177 * [taylor]: Taking taylor expansion of 0 in b 0.177 * [taylor]: Taking taylor expansion of 0 in b 0.177 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) r)) in (r b) around 0 0.177 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) r)) in b 0.177 * [taylor]: Taking taylor expansion of -1 in b 0.177 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) r) in b 0.178 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 0.178 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.178 * [taylor]: Taking taylor expansion of -1 in b 0.178 * [taylor]: Taking taylor expansion of b in b 0.178 * [taylor]: Taking taylor expansion of r in b 0.178 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) r)) in r 0.178 * [taylor]: Taking taylor expansion of -1 in r 0.178 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) r) in r 0.178 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r 0.178 * [taylor]: Taking taylor expansion of (/ -1 b) in r 0.178 * [taylor]: Taking taylor expansion of -1 in r 0.178 * [taylor]: Taking taylor expansion of b in r 0.178 * [taylor]: Taking taylor expansion of r in r 0.178 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) r)) in r 0.178 * [taylor]: Taking taylor expansion of -1 in r 0.178 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) r) in r 0.178 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r 0.178 * [taylor]: Taking taylor expansion of (/ -1 b) in r 0.178 * [taylor]: Taking taylor expansion of -1 in r 0.178 * [taylor]: Taking taylor expansion of b in r 0.178 * [taylor]: Taking taylor expansion of r in r 0.178 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 b))) in b 0.178 * [taylor]: Taking taylor expansion of -1 in b 0.178 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 0.178 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.178 * [taylor]: Taking taylor expansion of -1 in b 0.178 * [taylor]: Taking taylor expansion of b in b 0.179 * [taylor]: Taking taylor expansion of 0 in b 0.179 * [taylor]: Taking taylor expansion of 0 in b 0.180 * [taylor]: Taking taylor expansion of 0 in b 0.180 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 0.180 * [approximate]: Taking taylor expansion of (sin b) in (b) around 0 0.180 * [taylor]: Taking taylor expansion of (sin b) in b 0.180 * [taylor]: Taking taylor expansion of b in b 0.180 * [taylor]: Taking taylor expansion of (sin b) in b 0.180 * [taylor]: Taking taylor expansion of b in b 0.182 * [approximate]: Taking taylor expansion of (sin (/ 1 b)) in (b) around 0 0.182 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 0.182 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.182 * [taylor]: Taking taylor expansion of b in b 0.182 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 0.182 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.182 * [taylor]: Taking taylor expansion of b in b 0.182 * [approximate]: Taking taylor expansion of (sin (/ -1 b)) in (b) around 0 0.182 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 0.182 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.182 * [taylor]: Taking taylor expansion of -1 in b 0.182 * [taylor]: Taking taylor expansion of b in b 0.182 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 0.182 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.182 * [taylor]: Taking taylor expansion of -1 in b 0.182 * [taylor]: Taking taylor expansion of b in b 0.182 * * * [progress]: simplifying candidates 0.183 * [simplify]: Simplifying using # : (* (cos a) (cos b)) (* (sin a) (sin b)) (log (cos (+ a b))) (exp (cos (+ a b))) (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b)))) (cbrt (cos (+ a b))) (* (* (cos (+ a b)) (cos (+ a b))) (cos (+ a b))) (sqrt (cos (+ a b))) (sqrt (cos (+ a b))) (- (+ (log r) (log (sin b))) (log (cos (+ a b)))) (- (log (* r (sin b))) (log (cos (+ a b)))) (log (/ (* r (sin b)) (cos (+ a b)))) (exp (/ (* r (sin b)) (cos (+ a b)))) (/ (* (* (* r r) r) (* (* (sin b) (sin b)) (sin b))) (* (* (cos (+ a b)) (cos (+ a b))) (cos (+ a b)))) (/ (* (* (* r (sin b)) (* r (sin b))) (* r (sin b))) (* (* (cos (+ a b)) (cos (+ a b))) (cos (+ a b)))) (* (cbrt (/ (* r (sin b)) (cos (+ a b)))) (cbrt (/ (* r (sin b)) (cos (+ a b))))) (cbrt (/ (* r (sin b)) (cos (+ a b)))) (* (* (/ (* r (sin b)) (cos (+ a b))) (/ (* r (sin b)) (cos (+ a b)))) (/ (* r (sin b)) (cos (+ a b)))) (sqrt (/ (* r (sin b)) (cos (+ a b)))) (sqrt (/ (* r (sin b)) (cos (+ a b)))) (neg (* r (sin b))) (neg (cos (+ a b))) (/ r (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b))))) (/ (sin b) (cbrt (cos (+ a b)))) (/ r (sqrt (cos (+ a b)))) (/ (sin b) (sqrt (cos (+ a b)))) (/ r 1) (/ (sin b) (cos (+ a b))) (/ 1 (cos (+ a b))) (/ (cos (+ a b)) (* r (sin b))) (/ (* r (sin b)) (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b))))) (/ (* r (sin b)) (sqrt (cos (+ a b)))) (/ (* r (sin b)) 1) (/ (cos (+ a b)) (sin b)) (* r (sin b)) (+ (log r) (log (sin b))) (log (* r (sin b))) (exp (* r (sin b))) (* (* (* r r) r) (* (* (sin b) (sin b)) (sin b))) (* (cbrt (* r (sin b))) (cbrt (* r (sin b)))) (cbrt (* r (sin b))) (* (* (* r (sin b)) (* r (sin b))) (* r (sin b))) (sqrt (* r (sin b))) (sqrt (* r (sin b))) (* (sqrt r) (sqrt (sin b))) (* (sqrt r) (sqrt (sin b))) (* r (* (cbrt (sin b)) (cbrt (sin b)))) (* r (sqrt (sin b))) (* r 1) (* (cbrt r) (sin b)) (* (sqrt r) (sin b)) (* r (sin b)) (log (sin b)) (exp (sin b)) (* (cbrt (sin b)) (cbrt (sin b))) (cbrt (sin b)) (* (* (sin b) (sin b)) (sin b)) (sqrt (sin b)) (sqrt (sin b)) (- 1 (+ (* 1/2 (pow a 2)) (* a b))) (cos (+ a b)) (cos (+ a b)) (+ (* a (* r (pow b 2))) (+ (* 1/3 (* r (pow b 3))) (* r b))) (/ (* (sin b) r) (cos (+ a b))) (/ (* (sin b) r) (cos (+ a b))) (* r b) (* (sin b) r) (* (sin b) r) (- (+ (* 1/120 (pow b 5)) b) (* 1/6 (pow b 3))) (sin b) (sin b) 0.186 * * [simplify]: iteration 0 : 101 enodes (cost 582 ) 0.199 * * [simplify]: iteration 1 : 227 enodes (cost 576 ) 0.236 * * [simplify]: iteration 2 : 671 enodes (cost 495 ) 0.416 * * [simplify]: iteration 3 : 2549 enodes (cost 486 ) 0.846 * * [simplify]: iteration done : 5000 enodes (cost 486 ) 0.846 * [simplify]: Simplified to: (* (cos a) (cos b)) (* (sin a) (sin b)) (log (cos (+ a b))) (exp (cos (+ a b))) (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b)))) (cbrt (cos (+ a b))) (pow (cos (+ a b)) 3) (sqrt (cos (+ a b))) (sqrt (cos (+ a b))) (log (/ (* (sin b) r) (cos (+ a b)))) (log (/ (* (sin b) r) (cos (+ a b)))) (log (/ (* (sin b) r) (cos (+ a b)))) (exp (/ (* r (sin b)) (cos (+ a b)))) (pow (/ (* r (sin b)) (cos (+ a b))) 3) (pow (/ (* r (sin b)) (cos (+ a b))) 3) (* (cbrt (/ (* r (sin b)) (cos (+ a b)))) (cbrt (/ (* r (sin b)) (cos (+ a b))))) (cbrt (/ (* r (sin b)) (cos (+ a b)))) (pow (/ (* r (sin b)) (cos (+ a b))) 3) (sqrt (/ (* r (sin b)) (cos (+ a b)))) (sqrt (/ (* r (sin b)) (cos (+ a b)))) (neg (* r (sin b))) (neg (cos (+ a b))) (/ r (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b))))) (/ (sin b) (cbrt (cos (+ a b)))) (/ r (sqrt (cos (+ a b)))) (/ (sin b) (sqrt (cos (+ a b)))) r (/ (sin b) (cos (+ a b))) (/ 1 (cos (+ a b))) (/ (cos (+ a b)) (* r (sin b))) (/ (* r (sin b)) (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b))))) (/ (* r (sin b)) (sqrt (cos (+ a b)))) (* r (sin b)) (/ (cos (+ a b)) (sin b)) (* r (sin b)) (log (* r (sin b))) (log (* r (sin b))) (exp (* r (sin b))) (pow (* r (sin b)) 3) (* (cbrt (* r (sin b))) (cbrt (* r (sin b)))) (cbrt (* r (sin b))) (pow (* r (sin b)) 3) (sqrt (* r (sin b))) (sqrt (* r (sin b))) (* (sqrt r) (sqrt (sin b))) (* (sqrt r) (sqrt (sin b))) (* r (* (cbrt (sin b)) (cbrt (sin b)))) (* r (sqrt (sin b))) r (* (cbrt r) (sin b)) (* (sqrt r) (sin b)) (* r (sin b)) (log (sin b)) (exp (sin b)) (* (cbrt (sin b)) (cbrt (sin b))) (cbrt (sin b)) (pow (sin b) 3) (sqrt (sin b)) (sqrt (sin b)) (- 1 (* a (+ (* 1/2 a) b))) (cos (+ a b)) (cos (+ a b)) (+ (* b r) (* r (+ (* a (pow b 2)) (* 1/3 (pow b 3))))) (/ (* (sin b) r) (cos (+ a b))) (/ (* (sin b) r) (cos (+ a b))) (* b r) (* r (sin b)) (* r (sin b)) (- (+ (* 1/120 (pow b 5)) b) (* 1/6 (pow b 3))) (sin b) (sin b) 0.847 * * * [progress]: adding candidates to table 0.921 * * [progress]: iteration 2 / 4 0.921 * * * [progress]: picking best candidate 0.949 * * * * [pick]: Picked # 0.949 * * * [progress]: localizing error 0.968 * * * [progress]: generating rewritten candidates 0.968 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.978 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 0.983 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 0.987 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 0.995 * * * [progress]: generating series expansions 0.995 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.995 * [approximate]: Taking taylor expansion of (/ (* (sin b) r) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in (r b a) around 0 0.995 * [taylor]: Taking taylor expansion of (/ (* (sin b) r) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in a 0.995 * [taylor]: Taking taylor expansion of (* (sin b) r) in a 0.995 * [taylor]: Taking taylor expansion of (sin b) in a 0.995 * [taylor]: Taking taylor expansion of b in a 0.995 * [taylor]: Taking taylor expansion of r in a 0.995 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in a 0.995 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in a 0.995 * [taylor]: Taking taylor expansion of (cos b) in a 0.995 * [taylor]: Taking taylor expansion of b in a 0.995 * [taylor]: Taking taylor expansion of (cos a) in a 0.995 * [taylor]: Taking taylor expansion of a in a 0.995 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in a 0.995 * [taylor]: Taking taylor expansion of (sin a) in a 0.995 * [taylor]: Taking taylor expansion of a in a 0.995 * [taylor]: Taking taylor expansion of (sin b) in a 0.995 * [taylor]: Taking taylor expansion of b in a 0.996 * [taylor]: Taking taylor expansion of (/ (* (sin b) r) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in b 0.996 * [taylor]: Taking taylor expansion of (* (sin b) r) in b 0.996 * [taylor]: Taking taylor expansion of (sin b) in b 0.996 * [taylor]: Taking taylor expansion of b in b 0.996 * [taylor]: Taking taylor expansion of r in b 0.996 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in b 0.996 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in b 0.996 * [taylor]: Taking taylor expansion of (cos b) in b 0.996 * [taylor]: Taking taylor expansion of b in b 0.996 * [taylor]: Taking taylor expansion of (cos a) in b 0.996 * [taylor]: Taking taylor expansion of a in b 0.996 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in b 0.996 * [taylor]: Taking taylor expansion of (sin a) in b 0.996 * [taylor]: Taking taylor expansion of a in b 0.996 * [taylor]: Taking taylor expansion of (sin b) in b 0.996 * [taylor]: Taking taylor expansion of b in b 0.997 * [taylor]: Taking taylor expansion of (/ (* (sin b) r) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in r 0.997 * [taylor]: Taking taylor expansion of (* (sin b) r) in r 0.997 * [taylor]: Taking taylor expansion of (sin b) in r 0.997 * [taylor]: Taking taylor expansion of b in r 0.997 * [taylor]: Taking taylor expansion of r in r 0.997 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in r 0.997 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in r 0.997 * [taylor]: Taking taylor expansion of (cos b) in r 0.997 * [taylor]: Taking taylor expansion of b in r 0.997 * [taylor]: Taking taylor expansion of (cos a) in r 0.997 * [taylor]: Taking taylor expansion of a in r 0.997 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in r 0.997 * [taylor]: Taking taylor expansion of (sin a) in r 0.997 * [taylor]: Taking taylor expansion of a in r 0.997 * [taylor]: Taking taylor expansion of (sin b) in r 0.997 * [taylor]: Taking taylor expansion of b in r 0.998 * [taylor]: Taking taylor expansion of (/ (* (sin b) r) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in r 0.998 * [taylor]: Taking taylor expansion of (* (sin b) r) in r 0.998 * [taylor]: Taking taylor expansion of (sin b) in r 0.998 * [taylor]: Taking taylor expansion of b in r 0.998 * [taylor]: Taking taylor expansion of r in r 0.998 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in r 0.998 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in r 0.998 * [taylor]: Taking taylor expansion of (cos b) in r 0.998 * [taylor]: Taking taylor expansion of b in r 0.998 * [taylor]: Taking taylor expansion of (cos a) in r 0.998 * [taylor]: Taking taylor expansion of a in r 0.998 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in r 0.998 * [taylor]: Taking taylor expansion of (sin a) in r 0.998 * [taylor]: Taking taylor expansion of a in r 0.998 * [taylor]: Taking taylor expansion of (sin b) in r 0.998 * [taylor]: Taking taylor expansion of b in r 0.999 * [taylor]: Taking taylor expansion of (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in b 0.999 * [taylor]: Taking taylor expansion of (sin b) in b 0.999 * [taylor]: Taking taylor expansion of b in b 0.999 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in b 0.999 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in b 0.999 * [taylor]: Taking taylor expansion of (cos b) in b 0.999 * [taylor]: Taking taylor expansion of b in b 0.999 * [taylor]: Taking taylor expansion of (cos a) in b 0.999 * [taylor]: Taking taylor expansion of a in b 0.999 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in b 0.999 * [taylor]: Taking taylor expansion of (sin a) in b 0.999 * [taylor]: Taking taylor expansion of a in b 0.999 * [taylor]: Taking taylor expansion of (sin b) in b 0.999 * [taylor]: Taking taylor expansion of b in b 1.000 * [taylor]: Taking taylor expansion of (/ 1 (cos a)) in a 1.000 * [taylor]: Taking taylor expansion of (cos a) in a 1.000 * [taylor]: Taking taylor expansion of a in a 1.001 * [taylor]: Taking taylor expansion of 0 in b 1.001 * [taylor]: Taking taylor expansion of 0 in a 1.002 * [taylor]: Taking taylor expansion of (/ (sin a) (pow (cos a) 2)) in a 1.002 * [taylor]: Taking taylor expansion of (sin a) in a 1.002 * [taylor]: Taking taylor expansion of a in a 1.002 * [taylor]: Taking taylor expansion of (pow (cos a) 2) in a 1.002 * [taylor]: Taking taylor expansion of (cos a) in a 1.002 * [taylor]: Taking taylor expansion of a in a 1.004 * [taylor]: Taking taylor expansion of 0 in b 1.004 * [taylor]: Taking taylor expansion of 0 in a 1.004 * [taylor]: Taking taylor expansion of 0 in a 1.005 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (cos a))) (/ (pow (sin a) 2) (pow (cos a) 3))) in a 1.005 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (cos a))) in a 1.005 * [taylor]: Taking taylor expansion of 1/3 in a 1.005 * [taylor]: Taking taylor expansion of (/ 1 (cos a)) in a 1.005 * [taylor]: Taking taylor expansion of (cos a) in a 1.005 * [taylor]: Taking taylor expansion of a in a 1.005 * [taylor]: Taking taylor expansion of (/ (pow (sin a) 2) (pow (cos a) 3)) in a 1.005 * [taylor]: Taking taylor expansion of (pow (sin a) 2) in a 1.005 * [taylor]: Taking taylor expansion of (sin a) in a 1.005 * [taylor]: Taking taylor expansion of a in a 1.005 * [taylor]: Taking taylor expansion of (pow (cos a) 3) in a 1.005 * [taylor]: Taking taylor expansion of (cos a) in a 1.005 * [taylor]: Taking taylor expansion of a in a 1.006 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) in (r b a) around 0 1.006 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) in a 1.006 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a 1.006 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.006 * [taylor]: Taking taylor expansion of b in a 1.006 * [taylor]: Taking taylor expansion of (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in a 1.006 * [taylor]: Taking taylor expansion of r in a 1.006 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in a 1.006 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in a 1.006 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in a 1.006 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.006 * [taylor]: Taking taylor expansion of a in a 1.006 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in a 1.006 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.006 * [taylor]: Taking taylor expansion of b in a 1.006 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a 1.006 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a 1.006 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.006 * [taylor]: Taking taylor expansion of a in a 1.007 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a 1.007 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.007 * [taylor]: Taking taylor expansion of b in a 1.007 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) in b 1.008 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 1.008 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.008 * [taylor]: Taking taylor expansion of b in b 1.008 * [taylor]: Taking taylor expansion of (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in b 1.008 * [taylor]: Taking taylor expansion of r in b 1.008 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in b 1.008 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in b 1.008 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in b 1.008 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.008 * [taylor]: Taking taylor expansion of a in b 1.008 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in b 1.008 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.008 * [taylor]: Taking taylor expansion of b in b 1.008 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b 1.008 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b 1.008 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.008 * [taylor]: Taking taylor expansion of a in b 1.008 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 1.008 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.008 * [taylor]: Taking taylor expansion of b in b 1.009 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) in r 1.009 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r 1.009 * [taylor]: Taking taylor expansion of (/ 1 b) in r 1.009 * [taylor]: Taking taylor expansion of b in r 1.009 * [taylor]: Taking taylor expansion of (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in r 1.009 * [taylor]: Taking taylor expansion of r in r 1.009 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in r 1.009 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in r 1.009 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in r 1.009 * [taylor]: Taking taylor expansion of (/ 1 a) in r 1.009 * [taylor]: Taking taylor expansion of a in r 1.009 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in r 1.009 * [taylor]: Taking taylor expansion of (/ 1 b) in r 1.009 * [taylor]: Taking taylor expansion of b in r 1.009 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in r 1.009 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in r 1.009 * [taylor]: Taking taylor expansion of (/ 1 a) in r 1.009 * [taylor]: Taking taylor expansion of a in r 1.009 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r 1.009 * [taylor]: Taking taylor expansion of (/ 1 b) in r 1.009 * [taylor]: Taking taylor expansion of b in r 1.012 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) in r 1.012 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r 1.012 * [taylor]: Taking taylor expansion of (/ 1 b) in r 1.012 * [taylor]: Taking taylor expansion of b in r 1.012 * [taylor]: Taking taylor expansion of (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in r 1.012 * [taylor]: Taking taylor expansion of r in r 1.012 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in r 1.012 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in r 1.012 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in r 1.012 * [taylor]: Taking taylor expansion of (/ 1 a) in r 1.012 * [taylor]: Taking taylor expansion of a in r 1.012 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in r 1.012 * [taylor]: Taking taylor expansion of (/ 1 b) in r 1.012 * [taylor]: Taking taylor expansion of b in r 1.012 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in r 1.012 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in r 1.012 * [taylor]: Taking taylor expansion of (/ 1 a) in r 1.012 * [taylor]: Taking taylor expansion of a in r 1.012 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r 1.012 * [taylor]: Taking taylor expansion of (/ 1 b) in r 1.013 * [taylor]: Taking taylor expansion of b in r 1.015 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in b 1.015 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 1.015 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.015 * [taylor]: Taking taylor expansion of b in b 1.015 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in b 1.015 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in b 1.015 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in b 1.015 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.015 * [taylor]: Taking taylor expansion of a in b 1.015 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in b 1.015 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.015 * [taylor]: Taking taylor expansion of b in b 1.015 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b 1.015 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b 1.015 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.015 * [taylor]: Taking taylor expansion of a in b 1.015 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 1.015 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.015 * [taylor]: Taking taylor expansion of b in b 1.016 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in a 1.016 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a 1.016 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.016 * [taylor]: Taking taylor expansion of b in a 1.016 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in a 1.016 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in a 1.016 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in a 1.016 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.016 * [taylor]: Taking taylor expansion of a in a 1.016 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in a 1.016 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.016 * [taylor]: Taking taylor expansion of b in a 1.016 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a 1.016 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a 1.016 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.016 * [taylor]: Taking taylor expansion of a in a 1.016 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a 1.016 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.016 * [taylor]: Taking taylor expansion of b in a 1.020 * [taylor]: Taking taylor expansion of 0 in b 1.020 * [taylor]: Taking taylor expansion of 0 in a 1.021 * [taylor]: Taking taylor expansion of 0 in a 1.025 * [taylor]: Taking taylor expansion of 0 in b 1.025 * [taylor]: Taking taylor expansion of 0 in a 1.025 * [taylor]: Taking taylor expansion of 0 in a 1.026 * [taylor]: Taking taylor expansion of 0 in a 1.027 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r))) in (r b a) around 0 1.027 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r))) in a 1.027 * [taylor]: Taking taylor expansion of -1 in a 1.027 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r)) in a 1.027 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a 1.027 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.027 * [taylor]: Taking taylor expansion of -1 in a 1.027 * [taylor]: Taking taylor expansion of b in a 1.027 * [taylor]: Taking taylor expansion of (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r) in a 1.027 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in a 1.027 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in a 1.027 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in a 1.027 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.027 * [taylor]: Taking taylor expansion of -1 in a 1.027 * [taylor]: Taking taylor expansion of a in a 1.027 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in a 1.027 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.027 * [taylor]: Taking taylor expansion of -1 in a 1.027 * [taylor]: Taking taylor expansion of b in a 1.027 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in a 1.027 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a 1.027 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.027 * [taylor]: Taking taylor expansion of -1 in a 1.027 * [taylor]: Taking taylor expansion of a in a 1.027 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a 1.027 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.027 * [taylor]: Taking taylor expansion of -1 in a 1.027 * [taylor]: Taking taylor expansion of b in a 1.028 * [taylor]: Taking taylor expansion of r in a 1.028 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r))) in b 1.028 * [taylor]: Taking taylor expansion of -1 in b 1.028 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r)) in b 1.028 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 1.029 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.029 * [taylor]: Taking taylor expansion of -1 in b 1.029 * [taylor]: Taking taylor expansion of b in b 1.029 * [taylor]: Taking taylor expansion of (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r) in b 1.029 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in b 1.029 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in b 1.029 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in b 1.029 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.029 * [taylor]: Taking taylor expansion of -1 in b 1.029 * [taylor]: Taking taylor expansion of a in b 1.029 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in b 1.029 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.029 * [taylor]: Taking taylor expansion of -1 in b 1.029 * [taylor]: Taking taylor expansion of b in b 1.029 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in b 1.029 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in b 1.029 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.029 * [taylor]: Taking taylor expansion of -1 in b 1.029 * [taylor]: Taking taylor expansion of a in b 1.029 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 1.029 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.029 * [taylor]: Taking taylor expansion of -1 in b 1.029 * [taylor]: Taking taylor expansion of b in b 1.029 * [taylor]: Taking taylor expansion of r in b 1.030 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r))) in r 1.030 * [taylor]: Taking taylor expansion of -1 in r 1.030 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r)) in r 1.030 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r 1.030 * [taylor]: Taking taylor expansion of (/ -1 b) in r 1.030 * [taylor]: Taking taylor expansion of -1 in r 1.030 * [taylor]: Taking taylor expansion of b in r 1.030 * [taylor]: Taking taylor expansion of (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r) in r 1.030 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in r 1.030 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in r 1.030 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in r 1.030 * [taylor]: Taking taylor expansion of (/ -1 a) in r 1.030 * [taylor]: Taking taylor expansion of -1 in r 1.030 * [taylor]: Taking taylor expansion of a in r 1.031 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in r 1.031 * [taylor]: Taking taylor expansion of (/ -1 b) in r 1.031 * [taylor]: Taking taylor expansion of -1 in r 1.031 * [taylor]: Taking taylor expansion of b in r 1.031 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in r 1.031 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in r 1.031 * [taylor]: Taking taylor expansion of (/ -1 a) in r 1.031 * [taylor]: Taking taylor expansion of -1 in r 1.031 * [taylor]: Taking taylor expansion of a in r 1.031 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r 1.031 * [taylor]: Taking taylor expansion of (/ -1 b) in r 1.031 * [taylor]: Taking taylor expansion of -1 in r 1.031 * [taylor]: Taking taylor expansion of b in r 1.031 * [taylor]: Taking taylor expansion of r in r 1.033 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r))) in r 1.033 * [taylor]: Taking taylor expansion of -1 in r 1.033 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r)) in r 1.033 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r 1.033 * [taylor]: Taking taylor expansion of (/ -1 b) in r 1.033 * [taylor]: Taking taylor expansion of -1 in r 1.033 * [taylor]: Taking taylor expansion of b in r 1.033 * [taylor]: Taking taylor expansion of (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r) in r 1.033 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in r 1.033 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in r 1.033 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in r 1.033 * [taylor]: Taking taylor expansion of (/ -1 a) in r 1.033 * [taylor]: Taking taylor expansion of -1 in r 1.034 * [taylor]: Taking taylor expansion of a in r 1.034 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in r 1.034 * [taylor]: Taking taylor expansion of (/ -1 b) in r 1.034 * [taylor]: Taking taylor expansion of -1 in r 1.034 * [taylor]: Taking taylor expansion of b in r 1.034 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in r 1.034 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in r 1.034 * [taylor]: Taking taylor expansion of (/ -1 a) in r 1.034 * [taylor]: Taking taylor expansion of -1 in r 1.034 * [taylor]: Taking taylor expansion of a in r 1.034 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r 1.034 * [taylor]: Taking taylor expansion of (/ -1 b) in r 1.034 * [taylor]: Taking taylor expansion of -1 in r 1.034 * [taylor]: Taking taylor expansion of b in r 1.034 * [taylor]: Taking taylor expansion of r in r 1.036 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))))) in b 1.036 * [taylor]: Taking taylor expansion of -1 in b 1.036 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b))))) in b 1.036 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 1.036 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.036 * [taylor]: Taking taylor expansion of -1 in b 1.036 * [taylor]: Taking taylor expansion of b in b 1.037 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in b 1.037 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in b 1.037 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in b 1.037 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.037 * [taylor]: Taking taylor expansion of -1 in b 1.037 * [taylor]: Taking taylor expansion of a in b 1.037 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in b 1.037 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.037 * [taylor]: Taking taylor expansion of -1 in b 1.037 * [taylor]: Taking taylor expansion of b in b 1.037 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in b 1.037 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in b 1.037 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.037 * [taylor]: Taking taylor expansion of -1 in b 1.037 * [taylor]: Taking taylor expansion of a in b 1.037 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 1.037 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.037 * [taylor]: Taking taylor expansion of -1 in b 1.037 * [taylor]: Taking taylor expansion of b in b 1.038 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))))) in a 1.038 * [taylor]: Taking taylor expansion of -1 in a 1.038 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b))))) in a 1.038 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a 1.038 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.038 * [taylor]: Taking taylor expansion of -1 in a 1.038 * [taylor]: Taking taylor expansion of b in a 1.038 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in a 1.038 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in a 1.038 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in a 1.038 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.038 * [taylor]: Taking taylor expansion of -1 in a 1.038 * [taylor]: Taking taylor expansion of a in a 1.038 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in a 1.038 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.038 * [taylor]: Taking taylor expansion of -1 in a 1.038 * [taylor]: Taking taylor expansion of b in a 1.038 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in a 1.038 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a 1.038 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.038 * [taylor]: Taking taylor expansion of -1 in a 1.038 * [taylor]: Taking taylor expansion of a in a 1.038 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a 1.038 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.038 * [taylor]: Taking taylor expansion of -1 in a 1.039 * [taylor]: Taking taylor expansion of b in a 1.042 * [taylor]: Taking taylor expansion of 0 in b 1.042 * [taylor]: Taking taylor expansion of 0 in a 1.043 * [taylor]: Taking taylor expansion of 0 in a 1.048 * [taylor]: Taking taylor expansion of 0 in b 1.048 * [taylor]: Taking taylor expansion of 0 in a 1.048 * [taylor]: Taking taylor expansion of 0 in a 1.049 * [taylor]: Taking taylor expansion of 0 in a 1.050 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 1.050 * [approximate]: Taking taylor expansion of (* (sin a) (sin b)) in (a b) around 0 1.050 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in b 1.050 * [taylor]: Taking taylor expansion of (sin a) in b 1.050 * [taylor]: Taking taylor expansion of a in b 1.050 * [taylor]: Taking taylor expansion of (sin b) in b 1.050 * [taylor]: Taking taylor expansion of b in b 1.050 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in a 1.050 * [taylor]: Taking taylor expansion of (sin a) in a 1.050 * [taylor]: Taking taylor expansion of a in a 1.050 * [taylor]: Taking taylor expansion of (sin b) in a 1.050 * [taylor]: Taking taylor expansion of b in a 1.050 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in a 1.050 * [taylor]: Taking taylor expansion of (sin a) in a 1.050 * [taylor]: Taking taylor expansion of a in a 1.050 * [taylor]: Taking taylor expansion of (sin b) in a 1.050 * [taylor]: Taking taylor expansion of b in a 1.050 * [taylor]: Taking taylor expansion of 0 in b 1.051 * [taylor]: Taking taylor expansion of (sin b) in b 1.051 * [taylor]: Taking taylor expansion of b in b 1.051 * [taylor]: Taking taylor expansion of 0 in b 1.052 * [taylor]: Taking taylor expansion of (neg (* 1/6 (sin b))) in b 1.052 * [taylor]: Taking taylor expansion of (* 1/6 (sin b)) in b 1.052 * [taylor]: Taking taylor expansion of 1/6 in b 1.052 * [taylor]: Taking taylor expansion of (sin b) in b 1.052 * [taylor]: Taking taylor expansion of b in b 1.053 * [taylor]: Taking taylor expansion of 0 in b 1.053 * [approximate]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in (a b) around 0 1.053 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b 1.053 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b 1.053 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.053 * [taylor]: Taking taylor expansion of a in b 1.053 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 1.053 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.053 * [taylor]: Taking taylor expansion of b in b 1.053 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a 1.053 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a 1.053 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.053 * [taylor]: Taking taylor expansion of a in a 1.053 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a 1.053 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.053 * [taylor]: Taking taylor expansion of b in a 1.053 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a 1.053 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a 1.053 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.053 * [taylor]: Taking taylor expansion of a in a 1.053 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a 1.053 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.053 * [taylor]: Taking taylor expansion of b in a 1.054 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b 1.054 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b 1.054 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.054 * [taylor]: Taking taylor expansion of a in b 1.054 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 1.054 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.054 * [taylor]: Taking taylor expansion of b in b 1.054 * [taylor]: Taking taylor expansion of 0 in b 1.055 * [taylor]: Taking taylor expansion of 0 in b 1.056 * [taylor]: Taking taylor expansion of 0 in b 1.056 * [approximate]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in (a b) around 0 1.056 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in b 1.056 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in b 1.056 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.056 * [taylor]: Taking taylor expansion of -1 in b 1.056 * [taylor]: Taking taylor expansion of a in b 1.056 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 1.056 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.056 * [taylor]: Taking taylor expansion of -1 in b 1.056 * [taylor]: Taking taylor expansion of b in b 1.056 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in a 1.056 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a 1.057 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.057 * [taylor]: Taking taylor expansion of -1 in a 1.057 * [taylor]: Taking taylor expansion of a in a 1.057 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a 1.057 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.057 * [taylor]: Taking taylor expansion of -1 in a 1.057 * [taylor]: Taking taylor expansion of b in a 1.057 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in a 1.057 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a 1.057 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.057 * [taylor]: Taking taylor expansion of -1 in a 1.057 * [taylor]: Taking taylor expansion of a in a 1.057 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a 1.057 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.057 * [taylor]: Taking taylor expansion of -1 in a 1.057 * [taylor]: Taking taylor expansion of b in a 1.057 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in b 1.057 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in b 1.057 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.057 * [taylor]: Taking taylor expansion of -1 in b 1.057 * [taylor]: Taking taylor expansion of a in b 1.057 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 1.057 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.057 * [taylor]: Taking taylor expansion of -1 in b 1.057 * [taylor]: Taking taylor expansion of b in b 1.058 * [taylor]: Taking taylor expansion of 0 in b 1.059 * [taylor]: Taking taylor expansion of 0 in b 1.060 * [taylor]: Taking taylor expansion of 0 in b 1.060 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.060 * [approximate]: Taking taylor expansion of (* (sin b) r) in (r b) around 0 1.060 * [taylor]: Taking taylor expansion of (* (sin b) r) in b 1.060 * [taylor]: Taking taylor expansion of (sin b) in b 1.060 * [taylor]: Taking taylor expansion of b in b 1.060 * [taylor]: Taking taylor expansion of r in b 1.060 * [taylor]: Taking taylor expansion of (* (sin b) r) in r 1.060 * [taylor]: Taking taylor expansion of (sin b) in r 1.060 * [taylor]: Taking taylor expansion of b in r 1.060 * [taylor]: Taking taylor expansion of r in r 1.060 * [taylor]: Taking taylor expansion of (* (sin b) r) in r 1.060 * [taylor]: Taking taylor expansion of (sin b) in r 1.060 * [taylor]: Taking taylor expansion of b in r 1.060 * [taylor]: Taking taylor expansion of r in r 1.060 * [taylor]: Taking taylor expansion of 0 in b 1.061 * [taylor]: Taking taylor expansion of (sin b) in b 1.061 * [taylor]: Taking taylor expansion of b in b 1.061 * [taylor]: Taking taylor expansion of 0 in b 1.062 * [taylor]: Taking taylor expansion of 0 in b 1.062 * [taylor]: Taking taylor expansion of 0 in b 1.062 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 b)) r) in (r b) around 0 1.062 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) r) in b 1.062 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 1.062 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.062 * [taylor]: Taking taylor expansion of b in b 1.063 * [taylor]: Taking taylor expansion of r in b 1.063 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) r) in r 1.063 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r 1.063 * [taylor]: Taking taylor expansion of (/ 1 b) in r 1.063 * [taylor]: Taking taylor expansion of b in r 1.063 * [taylor]: Taking taylor expansion of r in r 1.063 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) r) in r 1.063 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r 1.063 * [taylor]: Taking taylor expansion of (/ 1 b) in r 1.063 * [taylor]: Taking taylor expansion of b in r 1.063 * [taylor]: Taking taylor expansion of r in r 1.063 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 1.063 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.063 * [taylor]: Taking taylor expansion of b in b 1.064 * [taylor]: Taking taylor expansion of 0 in b 1.064 * [taylor]: Taking taylor expansion of 0 in b 1.065 * [taylor]: Taking taylor expansion of 0 in b 1.065 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) r)) in (r b) around 0 1.065 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) r)) in b 1.065 * [taylor]: Taking taylor expansion of -1 in b 1.065 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) r) in b 1.065 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 1.065 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.065 * [taylor]: Taking taylor expansion of -1 in b 1.065 * [taylor]: Taking taylor expansion of b in b 1.065 * [taylor]: Taking taylor expansion of r in b 1.065 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) r)) in r 1.065 * [taylor]: Taking taylor expansion of -1 in r 1.065 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) r) in r 1.065 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r 1.065 * [taylor]: Taking taylor expansion of (/ -1 b) in r 1.065 * [taylor]: Taking taylor expansion of -1 in r 1.065 * [taylor]: Taking taylor expansion of b in r 1.065 * [taylor]: Taking taylor expansion of r in r 1.065 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) r)) in r 1.066 * [taylor]: Taking taylor expansion of -1 in r 1.066 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) r) in r 1.066 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r 1.066 * [taylor]: Taking taylor expansion of (/ -1 b) in r 1.066 * [taylor]: Taking taylor expansion of -1 in r 1.066 * [taylor]: Taking taylor expansion of b in r 1.066 * [taylor]: Taking taylor expansion of r in r 1.066 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 b))) in b 1.066 * [taylor]: Taking taylor expansion of -1 in b 1.066 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 1.066 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.066 * [taylor]: Taking taylor expansion of -1 in b 1.066 * [taylor]: Taking taylor expansion of b in b 1.066 * [taylor]: Taking taylor expansion of 0 in b 1.067 * [taylor]: Taking taylor expansion of 0 in b 1.068 * [taylor]: Taking taylor expansion of 0 in b 1.068 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1.068 * [approximate]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in (a b) around 0 1.068 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in b 1.068 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in b 1.068 * [taylor]: Taking taylor expansion of (cos b) in b 1.068 * [taylor]: Taking taylor expansion of b in b 1.068 * [taylor]: Taking taylor expansion of (cos a) in b 1.068 * [taylor]: Taking taylor expansion of a in b 1.068 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in b 1.068 * [taylor]: Taking taylor expansion of (sin a) in b 1.068 * [taylor]: Taking taylor expansion of a in b 1.068 * [taylor]: Taking taylor expansion of (sin b) in b 1.068 * [taylor]: Taking taylor expansion of b in b 1.068 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in a 1.068 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in a 1.068 * [taylor]: Taking taylor expansion of (cos b) in a 1.068 * [taylor]: Taking taylor expansion of b in a 1.068 * [taylor]: Taking taylor expansion of (cos a) in a 1.068 * [taylor]: Taking taylor expansion of a in a 1.068 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in a 1.068 * [taylor]: Taking taylor expansion of (sin a) in a 1.068 * [taylor]: Taking taylor expansion of a in a 1.068 * [taylor]: Taking taylor expansion of (sin b) in a 1.068 * [taylor]: Taking taylor expansion of b in a 1.068 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in a 1.068 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in a 1.068 * [taylor]: Taking taylor expansion of (cos b) in a 1.068 * [taylor]: Taking taylor expansion of b in a 1.069 * [taylor]: Taking taylor expansion of (cos a) in a 1.069 * [taylor]: Taking taylor expansion of a in a 1.069 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in a 1.069 * [taylor]: Taking taylor expansion of (sin a) in a 1.069 * [taylor]: Taking taylor expansion of a in a 1.069 * [taylor]: Taking taylor expansion of (sin b) in a 1.069 * [taylor]: Taking taylor expansion of b in a 1.069 * [taylor]: Taking taylor expansion of (cos b) in b 1.069 * [taylor]: Taking taylor expansion of b in b 1.069 * [taylor]: Taking taylor expansion of (neg (sin b)) in b 1.069 * [taylor]: Taking taylor expansion of (sin b) in b 1.069 * [taylor]: Taking taylor expansion of b in b 1.070 * [taylor]: Taking taylor expansion of (neg (* 1/2 (cos b))) in b 1.070 * [taylor]: Taking taylor expansion of (* 1/2 (cos b)) in b 1.070 * [taylor]: Taking taylor expansion of 1/2 in b 1.070 * [taylor]: Taking taylor expansion of (cos b) in b 1.070 * [taylor]: Taking taylor expansion of b in b 1.071 * [approximate]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in (a b) around 0 1.071 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in b 1.071 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in b 1.071 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in b 1.071 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.071 * [taylor]: Taking taylor expansion of a in b 1.071 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in b 1.071 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.071 * [taylor]: Taking taylor expansion of b in b 1.071 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b 1.071 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b 1.071 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.071 * [taylor]: Taking taylor expansion of a in b 1.071 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 1.071 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.071 * [taylor]: Taking taylor expansion of b in b 1.071 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in a 1.071 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in a 1.071 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in a 1.071 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.071 * [taylor]: Taking taylor expansion of a in a 1.071 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in a 1.071 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.071 * [taylor]: Taking taylor expansion of b in a 1.072 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a 1.072 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a 1.072 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.072 * [taylor]: Taking taylor expansion of a in a 1.072 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a 1.072 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.072 * [taylor]: Taking taylor expansion of b in a 1.072 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in a 1.072 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in a 1.072 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in a 1.072 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.072 * [taylor]: Taking taylor expansion of a in a 1.072 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in a 1.072 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.072 * [taylor]: Taking taylor expansion of b in a 1.072 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a 1.072 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a 1.072 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.072 * [taylor]: Taking taylor expansion of a in a 1.072 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a 1.072 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.072 * [taylor]: Taking taylor expansion of b in a 1.076 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in b 1.076 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in b 1.076 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in b 1.076 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.076 * [taylor]: Taking taylor expansion of a in b 1.076 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in b 1.076 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.076 * [taylor]: Taking taylor expansion of b in b 1.076 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b 1.076 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b 1.076 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.076 * [taylor]: Taking taylor expansion of a in b 1.076 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 1.076 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.076 * [taylor]: Taking taylor expansion of b in b 1.077 * [taylor]: Taking taylor expansion of 0 in b 1.079 * [taylor]: Taking taylor expansion of 0 in b 1.081 * [taylor]: Taking taylor expansion of 0 in b 1.081 * [approximate]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in (a b) around 0 1.081 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in b 1.081 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in b 1.081 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in b 1.081 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.081 * [taylor]: Taking taylor expansion of -1 in b 1.081 * [taylor]: Taking taylor expansion of a in b 1.081 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in b 1.081 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.081 * [taylor]: Taking taylor expansion of -1 in b 1.081 * [taylor]: Taking taylor expansion of b in b 1.081 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in b 1.081 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in b 1.081 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.081 * [taylor]: Taking taylor expansion of -1 in b 1.081 * [taylor]: Taking taylor expansion of a in b 1.081 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 1.081 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.081 * [taylor]: Taking taylor expansion of -1 in b 1.081 * [taylor]: Taking taylor expansion of b in b 1.082 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in a 1.082 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in a 1.082 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in a 1.082 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.082 * [taylor]: Taking taylor expansion of -1 in a 1.082 * [taylor]: Taking taylor expansion of a in a 1.082 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in a 1.082 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.082 * [taylor]: Taking taylor expansion of -1 in a 1.082 * [taylor]: Taking taylor expansion of b in a 1.082 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in a 1.082 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a 1.082 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.082 * [taylor]: Taking taylor expansion of -1 in a 1.082 * [taylor]: Taking taylor expansion of a in a 1.082 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a 1.082 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.082 * [taylor]: Taking taylor expansion of -1 in a 1.082 * [taylor]: Taking taylor expansion of b in a 1.082 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in a 1.082 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in a 1.082 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in a 1.082 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.082 * [taylor]: Taking taylor expansion of -1 in a 1.082 * [taylor]: Taking taylor expansion of a in a 1.082 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in a 1.082 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.082 * [taylor]: Taking taylor expansion of -1 in a 1.082 * [taylor]: Taking taylor expansion of b in a 1.082 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in a 1.082 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a 1.082 * [taylor]: Taking taylor expansion of (/ -1 a) in a 1.082 * [taylor]: Taking taylor expansion of -1 in a 1.082 * [taylor]: Taking taylor expansion of a in a 1.082 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a 1.082 * [taylor]: Taking taylor expansion of (/ -1 b) in a 1.083 * [taylor]: Taking taylor expansion of -1 in a 1.083 * [taylor]: Taking taylor expansion of b in a 1.083 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in b 1.083 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in b 1.083 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in b 1.083 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.083 * [taylor]: Taking taylor expansion of -1 in b 1.083 * [taylor]: Taking taylor expansion of a in b 1.083 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in b 1.083 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.083 * [taylor]: Taking taylor expansion of -1 in b 1.083 * [taylor]: Taking taylor expansion of b in b 1.083 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in b 1.083 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in b 1.083 * [taylor]: Taking taylor expansion of (/ -1 a) in b 1.083 * [taylor]: Taking taylor expansion of -1 in b 1.083 * [taylor]: Taking taylor expansion of a in b 1.084 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 1.084 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.084 * [taylor]: Taking taylor expansion of -1 in b 1.084 * [taylor]: Taking taylor expansion of b in b 1.085 * [taylor]: Taking taylor expansion of 0 in b 1.086 * [taylor]: Taking taylor expansion of 0 in b 1.088 * [taylor]: Taking taylor expansion of 0 in b 1.088 * * * [progress]: simplifying candidates 1.089 * [simplify]: Simplifying using # : (- (+ (log r) (log (sin b))) (log (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (- (log (* r (sin b))) (log (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (log (/ (* r (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (exp (/ (* r (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ (* (* (* r r) r) (* (* (sin b) (sin b)) (sin b))) (* (* (- (* (cos a) (cos b)) (* (sin a) (sin b))) (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ (* (* (* r (sin b)) (* r (sin b))) (* r (sin b))) (* (* (- (* (cos a) (cos b)) (* (sin a) (sin b))) (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (* (cbrt (/ (* r (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (cbrt (/ (* r (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (cbrt (/ (* r (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (* (* (/ (* r (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (/ (* r (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ (* r (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (sqrt (/ (* r (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (sqrt (/ (* r (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (neg (* r (sin b))) (neg (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (/ r (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (/ (sin b) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ r (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ (sin b) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ r 1) (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (/ (- (* (cos a) (cos b)) (* (sin a) (sin b))) (* r (sin b))) (/ (* r (sin b)) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (/ (* r (sin b)) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ (* r (sin b)) 1) (/ (- (* (cos a) (cos b)) (* (sin a) (sin b))) (sin b)) (/ (* r (sin b)) (- (+ (cos (+ a b)) (cos (- a b))) (- (cos (- a b)) (cos (+ a b))))) (/ (* r (sin b)) (- (* (+ (cos (+ a b)) (cos (- a b))) 2) (* 2 (- (cos (- a b)) (cos (+ a b)))))) (/ (* r (sin b)) (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3))) (/ (* r (sin b)) (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b))))) (- (cos (- a b)) (cos (+ a b))) (* (sin a) (sin b)) (+ (log (sin a)) (log (sin b))) (log (* (sin a) (sin b))) (exp (* (sin a) (sin b))) (* (* (* (sin a) (sin a)) (sin a)) (* (* (sin b) (sin b)) (sin b))) (* (cbrt (* (sin a) (sin b))) (cbrt (* (sin a) (sin b)))) (cbrt (* (sin a) (sin b))) (* (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (sin a) (sin b))) (sqrt (* (sin a) (sin b))) (sqrt (* (sin a) (sin b))) (* (sqrt (sin a)) (sqrt (sin b))) (* (sqrt (sin a)) (sqrt (sin b))) (* (sin a) (* (cbrt (sin b)) (cbrt (sin b)))) (* (sin a) (sqrt (sin b))) (* (sin a) 1) (* (cbrt (sin a)) (sin b)) (* (sqrt (sin a)) (sin b)) (* (sin a) (sin b)) (* r (sin b)) (+ (log r) (log (sin b))) (log (* r (sin b))) (exp (* r (sin b))) (* (* (* r r) r) (* (* (sin b) (sin b)) (sin b))) (* (cbrt (* r (sin b))) (cbrt (* r (sin b)))) (cbrt (* r (sin b))) (* (* (* r (sin b)) (* r (sin b))) (* r (sin b))) (sqrt (* r (sin b))) (sqrt (* r (sin b))) (* (sqrt r) (sqrt (sin b))) (* (sqrt r) (sqrt (sin b))) (* r (* (cbrt (sin b)) (cbrt (sin b)))) (* r (sqrt (sin b))) (* r 1) (* (cbrt r) (sin b)) (* (sqrt r) (sin b)) (* r (sin b)) (/ (exp (* (cos a) (cos b))) (exp (* (sin a) (sin b)))) (log (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (exp (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (* (* (- (* (cos a) (cos b)) (* (sin a) (sin b))) (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (- (+ (cos (+ a b)) (cos (- a b))) (- (cos (- a b)) (cos (+ a b)))) (- (* (+ (cos (+ a b)) (cos (- a b))) 2) (* 2 (- (cos (- a b)) (cos (+ a b))))) (* 2 2) (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3)) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (cos a) (cos b)) (* (sin a) (sin b))))) (neg (* (sin a) (sin b))) (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))) (+ (* (cos a) (cos b)) (* (sin a) (sin b))) (neg (* (sin a) (sin b))) (+ (* a (* r (pow b 2))) (+ (* 1/3 (* r (pow b 3))) (* r b))) (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) (* a b) (* (sin a) (sin b)) (* (sin a) (sin b)) (* r b) (* (sin b) r) (* (sin b) r) (- 1 (+ (* 1/2 (pow a 2)) (* a b))) (- (* (cos b) (cos a)) (* (sin a) (sin b))) (- (* (cos b) (cos a)) (* (sin a) (sin b))) 1.093 * * [simplify]: iteration 0 : 140 enodes (cost 1256 ) 1.113 * * [simplify]: iteration 1 : 355 enodes (cost 1229 ) 1.177 * * [simplify]: iteration 2 : 1192 enodes (cost 1083 ) 1.490 * * [simplify]: iteration 3 : 4531 enodes (cost 1023 ) 2.192 * * [simplify]: iteration done : 5000 enodes (cost 1023 ) 2.192 * [simplify]: Simplified to: (log (/ r (- (/ (* (cos a) (cos b)) (sin b)) (/ (sin a) 1)))) (log (/ r (- (/ (* (cos a) (cos b)) (sin b)) (/ (sin a) 1)))) (log (/ r (- (/ (* (cos a) (cos b)) (sin b)) (/ (sin a) 1)))) (exp (/ r (- (/ (* (cos a) (cos b)) (sin b)) (/ (sin a) 1)))) (pow (/ r (- (/ (* (cos a) (cos b)) (sin b)) (/ (sin a) 1))) 3) (pow (/ r (- (/ (* (cos a) (cos b)) (sin b)) (/ (sin a) 1))) 3) (* (cbrt (/ r (- (/ (* (cos a) (cos b)) (sin b)) (/ (sin a) 1)))) (cbrt (/ r (- (/ (* (cos a) (cos b)) (sin b)) (/ (sin a) 1))))) (cbrt (/ r (- (/ (* (cos a) (cos b)) (sin b)) (/ (sin a) 1)))) (pow (/ r (- (/ (* (cos a) (cos b)) (sin b)) (/ (sin a) 1))) 3) (sqrt (/ r (- (/ (* (cos a) (cos b)) (sin b)) (/ (sin a) 1)))) (sqrt (/ r (- (/ (* (cos a) (cos b)) (sin b)) (/ (sin a) 1)))) (neg (* r (sin b))) (neg (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (/ r (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (/ (sin b) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ r (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ (sin b) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (/ (- (/ (* (cos a) (cos b)) (sin b)) (/ (sin a) 1)) r) (/ (* r (sin b)) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (/ (* r (sin b)) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (* r (sin b)) (- (/ (* (cos a) (cos b)) (sin b)) (/ (sin a) 1)) (/ (sin b) (/ (+ (+ (cos (+ a b)) 0) (cos (+ a b))) r)) (/ r (/ 2 (/ (sin b) (+ (+ (cos (+ a b)) 0) (cos (+ a b)))))) (/ (* r (sin b)) (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3))) (/ r (- (/ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (sin b)) (/ (* (* (sin a) (sin b)) (sin a)) 1))) (- (cos (- a b)) (cos (+ a b))) (* (sin a) (sin b)) (log (* (sin a) (sin b))) (log (* (sin a) (sin b))) (exp (* (sin a) (sin b))) (pow (* (sin a) (sin b)) 3) (* (cbrt (* (sin a) (sin b))) (cbrt (* (sin a) (sin b)))) (cbrt (* (sin a) (sin b))) (pow (* (sin a) (sin b)) 3) (sqrt (* (sin a) (sin b))) (sqrt (* (sin a) (sin b))) (* (sqrt (sin a)) (sqrt (sin b))) (* (sqrt (sin a)) (sqrt (sin b))) (* (sin a) (* (cbrt (sin b)) (cbrt (sin b)))) (* (sin a) (sqrt (sin b))) (sin a) (* (cbrt (sin a)) (sin b)) (* (sqrt (sin a)) (sin b)) (* (sin a) (sin b)) (* r (sin b)) (log (* r (sin b))) (log (* r (sin b))) (exp (* r (sin b))) (pow (* r (sin b)) 3) (* (cbrt (* r (sin b))) (cbrt (* r (sin b)))) (cbrt (* r (sin b))) (pow (* r (sin b)) 3) (sqrt (* r (sin b))) (sqrt (* r (sin b))) (* (sqrt r) (sqrt (sin b))) (* (sqrt r) (sqrt (sin b))) (* r (* (cbrt (sin b)) (cbrt (sin b)))) (* r (sqrt (sin b))) r (* (cbrt r) (sin b)) (* (sqrt r) (sin b)) (* r (sin b)) (exp (- (* (cos b) (cos a)) (* (sin a) (sin b)))) (log (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (exp (- (* (cos b) (cos a)) (* (sin a) (sin b)))) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (pow (- (* (cos b) (cos a)) (* (sin a) (sin b))) 3) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (+ (+ (cos (+ a b)) 0) (cos (+ a b))) (* (+ (+ (cos (+ a b)) 0) (cos (+ a b))) 2) 4 (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3)) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (+ (* (cos a) (cos b)) (* (sin a) (sin b))))) (neg (* (sin a) (sin b))) (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))) (+ (* (cos a) (cos b)) (* (sin a) (sin b))) (neg (* (sin a) (sin b))) (+ (* r (+ (* (pow b 2) a) b)) (* 1/3 (* r (pow b 3)))) (/ r (- (/ (* (cos a) (cos b)) (sin b)) (/ (sin a) 1))) (/ r (- (/ (* (cos a) (cos b)) (sin b)) (/ (sin a) 1))) (* a b) (* (sin a) (sin b)) (* (sin a) (sin b)) (* r b) (* r (sin b)) (* r (sin b)) (- 1 (* a (+ (* a 1/2) b))) (- (* (cos b) (cos a)) (* (sin a) (sin b))) (- (* (cos b) (cos a)) (* (sin a) (sin b))) 2.193 * * * [progress]: adding candidates to table 2.298 * * [progress]: iteration 3 / 4 2.298 * * * [progress]: picking best candidate 2.348 * * * * [pick]: Picked # 2.348 * * * [progress]: localizing error 2.368 * * * [progress]: generating rewritten candidates 2.368 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 2.382 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2) 2.387 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 2.395 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 2.403 * * * [progress]: generating series expansions 2.403 * * * * [progress]: [ 1 / 4 ] generating series at (2) 2.404 * [approximate]: Taking taylor expansion of (/ (* (sin b) r) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in (r b a) around 0 2.404 * [taylor]: Taking taylor expansion of (/ (* (sin b) r) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in a 2.404 * [taylor]: Taking taylor expansion of (* (sin b) r) in a 2.404 * [taylor]: Taking taylor expansion of (sin b) in a 2.404 * [taylor]: Taking taylor expansion of b in a 2.404 * [taylor]: Taking taylor expansion of r in a 2.404 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in a 2.404 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in a 2.404 * [taylor]: Taking taylor expansion of (cos b) in a 2.404 * [taylor]: Taking taylor expansion of b in a 2.404 * [taylor]: Taking taylor expansion of (cos a) in a 2.404 * [taylor]: Taking taylor expansion of a in a 2.404 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in a 2.404 * [taylor]: Taking taylor expansion of (sin a) in a 2.404 * [taylor]: Taking taylor expansion of a in a 2.404 * [taylor]: Taking taylor expansion of (sin b) in a 2.404 * [taylor]: Taking taylor expansion of b in a 2.404 * [taylor]: Taking taylor expansion of (/ (* (sin b) r) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in b 2.404 * [taylor]: Taking taylor expansion of (* (sin b) r) in b 2.404 * [taylor]: Taking taylor expansion of (sin b) in b 2.404 * [taylor]: Taking taylor expansion of b in b 2.405 * [taylor]: Taking taylor expansion of r in b 2.405 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in b 2.405 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in b 2.405 * [taylor]: Taking taylor expansion of (cos b) in b 2.405 * [taylor]: Taking taylor expansion of b in b 2.405 * [taylor]: Taking taylor expansion of (cos a) in b 2.405 * [taylor]: Taking taylor expansion of a in b 2.405 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in b 2.405 * [taylor]: Taking taylor expansion of (sin a) in b 2.405 * [taylor]: Taking taylor expansion of a in b 2.405 * [taylor]: Taking taylor expansion of (sin b) in b 2.405 * [taylor]: Taking taylor expansion of b in b 2.405 * [taylor]: Taking taylor expansion of (/ (* (sin b) r) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in r 2.405 * [taylor]: Taking taylor expansion of (* (sin b) r) in r 2.405 * [taylor]: Taking taylor expansion of (sin b) in r 2.405 * [taylor]: Taking taylor expansion of b in r 2.405 * [taylor]: Taking taylor expansion of r in r 2.405 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in r 2.405 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in r 2.405 * [taylor]: Taking taylor expansion of (cos b) in r 2.405 * [taylor]: Taking taylor expansion of b in r 2.405 * [taylor]: Taking taylor expansion of (cos a) in r 2.405 * [taylor]: Taking taylor expansion of a in r 2.405 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in r 2.405 * [taylor]: Taking taylor expansion of (sin a) in r 2.405 * [taylor]: Taking taylor expansion of a in r 2.405 * [taylor]: Taking taylor expansion of (sin b) in r 2.405 * [taylor]: Taking taylor expansion of b in r 2.406 * [taylor]: Taking taylor expansion of (/ (* (sin b) r) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in r 2.406 * [taylor]: Taking taylor expansion of (* (sin b) r) in r 2.406 * [taylor]: Taking taylor expansion of (sin b) in r 2.406 * [taylor]: Taking taylor expansion of b in r 2.406 * [taylor]: Taking taylor expansion of r in r 2.406 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in r 2.406 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in r 2.406 * [taylor]: Taking taylor expansion of (cos b) in r 2.406 * [taylor]: Taking taylor expansion of b in r 2.407 * [taylor]: Taking taylor expansion of (cos a) in r 2.407 * [taylor]: Taking taylor expansion of a in r 2.407 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in r 2.407 * [taylor]: Taking taylor expansion of (sin a) in r 2.407 * [taylor]: Taking taylor expansion of a in r 2.407 * [taylor]: Taking taylor expansion of (sin b) in r 2.407 * [taylor]: Taking taylor expansion of b in r 2.408 * [taylor]: Taking taylor expansion of (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in b 2.408 * [taylor]: Taking taylor expansion of (sin b) in b 2.408 * [taylor]: Taking taylor expansion of b in b 2.408 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in b 2.408 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in b 2.408 * [taylor]: Taking taylor expansion of (cos b) in b 2.408 * [taylor]: Taking taylor expansion of b in b 2.408 * [taylor]: Taking taylor expansion of (cos a) in b 2.408 * [taylor]: Taking taylor expansion of a in b 2.408 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in b 2.408 * [taylor]: Taking taylor expansion of (sin a) in b 2.408 * [taylor]: Taking taylor expansion of a in b 2.408 * [taylor]: Taking taylor expansion of (sin b) in b 2.408 * [taylor]: Taking taylor expansion of b in b 2.408 * [taylor]: Taking taylor expansion of (/ 1 (cos a)) in a 2.408 * [taylor]: Taking taylor expansion of (cos a) in a 2.408 * [taylor]: Taking taylor expansion of a in a 2.409 * [taylor]: Taking taylor expansion of 0 in b 2.409 * [taylor]: Taking taylor expansion of 0 in a 2.410 * [taylor]: Taking taylor expansion of (/ (sin a) (pow (cos a) 2)) in a 2.410 * [taylor]: Taking taylor expansion of (sin a) in a 2.410 * [taylor]: Taking taylor expansion of a in a 2.410 * [taylor]: Taking taylor expansion of (pow (cos a) 2) in a 2.410 * [taylor]: Taking taylor expansion of (cos a) in a 2.410 * [taylor]: Taking taylor expansion of a in a 2.412 * [taylor]: Taking taylor expansion of 0 in b 2.412 * [taylor]: Taking taylor expansion of 0 in a 2.412 * [taylor]: Taking taylor expansion of 0 in a 2.414 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (cos a))) (/ (pow (sin a) 2) (pow (cos a) 3))) in a 2.414 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (cos a))) in a 2.414 * [taylor]: Taking taylor expansion of 1/3 in a 2.414 * [taylor]: Taking taylor expansion of (/ 1 (cos a)) in a 2.414 * [taylor]: Taking taylor expansion of (cos a) in a 2.414 * [taylor]: Taking taylor expansion of a in a 2.414 * [taylor]: Taking taylor expansion of (/ (pow (sin a) 2) (pow (cos a) 3)) in a 2.414 * [taylor]: Taking taylor expansion of (pow (sin a) 2) in a 2.414 * [taylor]: Taking taylor expansion of (sin a) in a 2.414 * [taylor]: Taking taylor expansion of a in a 2.414 * [taylor]: Taking taylor expansion of (pow (cos a) 3) in a 2.414 * [taylor]: Taking taylor expansion of (cos a) in a 2.414 * [taylor]: Taking taylor expansion of a in a 2.415 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) in (r b a) around 0 2.415 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) in a 2.415 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a 2.415 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.415 * [taylor]: Taking taylor expansion of b in a 2.415 * [taylor]: Taking taylor expansion of (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in a 2.415 * [taylor]: Taking taylor expansion of r in a 2.415 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in a 2.415 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in a 2.415 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in a 2.415 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.415 * [taylor]: Taking taylor expansion of a in a 2.415 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in a 2.415 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.415 * [taylor]: Taking taylor expansion of b in a 2.415 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a 2.415 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a 2.415 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.415 * [taylor]: Taking taylor expansion of a in a 2.415 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a 2.415 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.415 * [taylor]: Taking taylor expansion of b in a 2.416 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) in b 2.416 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 2.416 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.416 * [taylor]: Taking taylor expansion of b in b 2.416 * [taylor]: Taking taylor expansion of (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in b 2.416 * [taylor]: Taking taylor expansion of r in b 2.416 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in b 2.416 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in b 2.416 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in b 2.416 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.416 * [taylor]: Taking taylor expansion of a in b 2.416 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in b 2.416 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.417 * [taylor]: Taking taylor expansion of b in b 2.417 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b 2.417 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b 2.417 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.417 * [taylor]: Taking taylor expansion of a in b 2.417 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 2.417 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.417 * [taylor]: Taking taylor expansion of b in b 2.418 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) in r 2.418 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r 2.418 * [taylor]: Taking taylor expansion of (/ 1 b) in r 2.418 * [taylor]: Taking taylor expansion of b in r 2.418 * [taylor]: Taking taylor expansion of (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in r 2.418 * [taylor]: Taking taylor expansion of r in r 2.418 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in r 2.418 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in r 2.418 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in r 2.418 * [taylor]: Taking taylor expansion of (/ 1 a) in r 2.418 * [taylor]: Taking taylor expansion of a in r 2.418 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in r 2.418 * [taylor]: Taking taylor expansion of (/ 1 b) in r 2.418 * [taylor]: Taking taylor expansion of b in r 2.418 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in r 2.418 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in r 2.418 * [taylor]: Taking taylor expansion of (/ 1 a) in r 2.418 * [taylor]: Taking taylor expansion of a in r 2.418 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r 2.418 * [taylor]: Taking taylor expansion of (/ 1 b) in r 2.418 * [taylor]: Taking taylor expansion of b in r 2.420 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) in r 2.420 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r 2.420 * [taylor]: Taking taylor expansion of (/ 1 b) in r 2.420 * [taylor]: Taking taylor expansion of b in r 2.420 * [taylor]: Taking taylor expansion of (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in r 2.421 * [taylor]: Taking taylor expansion of r in r 2.421 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in r 2.421 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in r 2.421 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in r 2.421 * [taylor]: Taking taylor expansion of (/ 1 a) in r 2.421 * [taylor]: Taking taylor expansion of a in r 2.421 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in r 2.421 * [taylor]: Taking taylor expansion of (/ 1 b) in r 2.421 * [taylor]: Taking taylor expansion of b in r 2.421 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in r 2.421 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in r 2.421 * [taylor]: Taking taylor expansion of (/ 1 a) in r 2.421 * [taylor]: Taking taylor expansion of a in r 2.421 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r 2.421 * [taylor]: Taking taylor expansion of (/ 1 b) in r 2.421 * [taylor]: Taking taylor expansion of b in r 2.423 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in b 2.423 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 2.423 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.423 * [taylor]: Taking taylor expansion of b in b 2.423 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in b 2.423 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in b 2.423 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in b 2.423 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.423 * [taylor]: Taking taylor expansion of a in b 2.424 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in b 2.424 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.424 * [taylor]: Taking taylor expansion of b in b 2.424 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b 2.424 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b 2.424 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.424 * [taylor]: Taking taylor expansion of a in b 2.424 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 2.424 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.424 * [taylor]: Taking taylor expansion of b in b 2.424 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in a 2.425 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a 2.425 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.425 * [taylor]: Taking taylor expansion of b in a 2.425 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in a 2.425 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in a 2.425 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in a 2.425 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.425 * [taylor]: Taking taylor expansion of a in a 2.425 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in a 2.425 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.425 * [taylor]: Taking taylor expansion of b in a 2.425 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a 2.425 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a 2.425 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.425 * [taylor]: Taking taylor expansion of a in a 2.425 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a 2.425 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.425 * [taylor]: Taking taylor expansion of b in a 2.428 * [taylor]: Taking taylor expansion of 0 in b 2.428 * [taylor]: Taking taylor expansion of 0 in a 2.429 * [taylor]: Taking taylor expansion of 0 in a 2.434 * [taylor]: Taking taylor expansion of 0 in b 2.434 * [taylor]: Taking taylor expansion of 0 in a 2.434 * [taylor]: Taking taylor expansion of 0 in a 2.435 * [taylor]: Taking taylor expansion of 0 in a 2.436 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r))) in (r b a) around 0 2.436 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r))) in a 2.436 * [taylor]: Taking taylor expansion of -1 in a 2.436 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r)) in a 2.436 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a 2.436 * [taylor]: Taking taylor expansion of (/ -1 b) in a 2.436 * [taylor]: Taking taylor expansion of -1 in a 2.436 * [taylor]: Taking taylor expansion of b in a 2.436 * [taylor]: Taking taylor expansion of (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r) in a 2.436 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in a 2.436 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in a 2.436 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in a 2.436 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.436 * [taylor]: Taking taylor expansion of -1 in a 2.436 * [taylor]: Taking taylor expansion of a in a 2.436 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in a 2.436 * [taylor]: Taking taylor expansion of (/ -1 b) in a 2.436 * [taylor]: Taking taylor expansion of -1 in a 2.436 * [taylor]: Taking taylor expansion of b in a 2.436 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in a 2.436 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a 2.436 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.436 * [taylor]: Taking taylor expansion of -1 in a 2.436 * [taylor]: Taking taylor expansion of a in a 2.436 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a 2.436 * [taylor]: Taking taylor expansion of (/ -1 b) in a 2.436 * [taylor]: Taking taylor expansion of -1 in a 2.436 * [taylor]: Taking taylor expansion of b in a 2.437 * [taylor]: Taking taylor expansion of r in a 2.437 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r))) in b 2.437 * [taylor]: Taking taylor expansion of -1 in b 2.437 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r)) in b 2.437 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 2.437 * [taylor]: Taking taylor expansion of (/ -1 b) in b 2.437 * [taylor]: Taking taylor expansion of -1 in b 2.437 * [taylor]: Taking taylor expansion of b in b 2.438 * [taylor]: Taking taylor expansion of (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r) in b 2.438 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in b 2.438 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in b 2.438 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in b 2.438 * [taylor]: Taking taylor expansion of (/ -1 a) in b 2.438 * [taylor]: Taking taylor expansion of -1 in b 2.438 * [taylor]: Taking taylor expansion of a in b 2.438 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in b 2.438 * [taylor]: Taking taylor expansion of (/ -1 b) in b 2.438 * [taylor]: Taking taylor expansion of -1 in b 2.438 * [taylor]: Taking taylor expansion of b in b 2.438 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in b 2.438 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in b 2.438 * [taylor]: Taking taylor expansion of (/ -1 a) in b 2.438 * [taylor]: Taking taylor expansion of -1 in b 2.438 * [taylor]: Taking taylor expansion of a in b 2.438 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 2.438 * [taylor]: Taking taylor expansion of (/ -1 b) in b 2.438 * [taylor]: Taking taylor expansion of -1 in b 2.438 * [taylor]: Taking taylor expansion of b in b 2.438 * [taylor]: Taking taylor expansion of r in b 2.439 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r))) in r 2.439 * [taylor]: Taking taylor expansion of -1 in r 2.439 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r)) in r 2.439 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r 2.439 * [taylor]: Taking taylor expansion of (/ -1 b) in r 2.439 * [taylor]: Taking taylor expansion of -1 in r 2.439 * [taylor]: Taking taylor expansion of b in r 2.439 * [taylor]: Taking taylor expansion of (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r) in r 2.439 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in r 2.439 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in r 2.439 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in r 2.439 * [taylor]: Taking taylor expansion of (/ -1 a) in r 2.439 * [taylor]: Taking taylor expansion of -1 in r 2.439 * [taylor]: Taking taylor expansion of a in r 2.439 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in r 2.439 * [taylor]: Taking taylor expansion of (/ -1 b) in r 2.439 * [taylor]: Taking taylor expansion of -1 in r 2.439 * [taylor]: Taking taylor expansion of b in r 2.439 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in r 2.439 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in r 2.439 * [taylor]: Taking taylor expansion of (/ -1 a) in r 2.439 * [taylor]: Taking taylor expansion of -1 in r 2.439 * [taylor]: Taking taylor expansion of a in r 2.440 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r 2.440 * [taylor]: Taking taylor expansion of (/ -1 b) in r 2.440 * [taylor]: Taking taylor expansion of -1 in r 2.440 * [taylor]: Taking taylor expansion of b in r 2.440 * [taylor]: Taking taylor expansion of r in r 2.442 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r))) in r 2.442 * [taylor]: Taking taylor expansion of -1 in r 2.442 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r)) in r 2.442 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r 2.442 * [taylor]: Taking taylor expansion of (/ -1 b) in r 2.442 * [taylor]: Taking taylor expansion of -1 in r 2.442 * [taylor]: Taking taylor expansion of b in r 2.442 * [taylor]: Taking taylor expansion of (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r) in r 2.442 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in r 2.442 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in r 2.442 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in r 2.442 * [taylor]: Taking taylor expansion of (/ -1 a) in r 2.442 * [taylor]: Taking taylor expansion of -1 in r 2.442 * [taylor]: Taking taylor expansion of a in r 2.442 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in r 2.442 * [taylor]: Taking taylor expansion of (/ -1 b) in r 2.442 * [taylor]: Taking taylor expansion of -1 in r 2.442 * [taylor]: Taking taylor expansion of b in r 2.442 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in r 2.442 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in r 2.442 * [taylor]: Taking taylor expansion of (/ -1 a) in r 2.443 * [taylor]: Taking taylor expansion of -1 in r 2.443 * [taylor]: Taking taylor expansion of a in r 2.443 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r 2.443 * [taylor]: Taking taylor expansion of (/ -1 b) in r 2.443 * [taylor]: Taking taylor expansion of -1 in r 2.443 * [taylor]: Taking taylor expansion of b in r 2.443 * [taylor]: Taking taylor expansion of r in r 2.445 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))))) in b 2.445 * [taylor]: Taking taylor expansion of -1 in b 2.445 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b))))) in b 2.445 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 2.445 * [taylor]: Taking taylor expansion of (/ -1 b) in b 2.445 * [taylor]: Taking taylor expansion of -1 in b 2.445 * [taylor]: Taking taylor expansion of b in b 2.445 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in b 2.445 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in b 2.445 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in b 2.445 * [taylor]: Taking taylor expansion of (/ -1 a) in b 2.445 * [taylor]: Taking taylor expansion of -1 in b 2.445 * [taylor]: Taking taylor expansion of a in b 2.445 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in b 2.445 * [taylor]: Taking taylor expansion of (/ -1 b) in b 2.445 * [taylor]: Taking taylor expansion of -1 in b 2.445 * [taylor]: Taking taylor expansion of b in b 2.446 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in b 2.446 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in b 2.446 * [taylor]: Taking taylor expansion of (/ -1 a) in b 2.446 * [taylor]: Taking taylor expansion of -1 in b 2.446 * [taylor]: Taking taylor expansion of a in b 2.446 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 2.446 * [taylor]: Taking taylor expansion of (/ -1 b) in b 2.446 * [taylor]: Taking taylor expansion of -1 in b 2.446 * [taylor]: Taking taylor expansion of b in b 2.447 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))))) in a 2.447 * [taylor]: Taking taylor expansion of -1 in a 2.447 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b))))) in a 2.447 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a 2.447 * [taylor]: Taking taylor expansion of (/ -1 b) in a 2.447 * [taylor]: Taking taylor expansion of -1 in a 2.447 * [taylor]: Taking taylor expansion of b in a 2.447 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in a 2.447 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in a 2.447 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in a 2.447 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.447 * [taylor]: Taking taylor expansion of -1 in a 2.447 * [taylor]: Taking taylor expansion of a in a 2.447 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in a 2.447 * [taylor]: Taking taylor expansion of (/ -1 b) in a 2.447 * [taylor]: Taking taylor expansion of -1 in a 2.447 * [taylor]: Taking taylor expansion of b in a 2.447 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in a 2.447 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a 2.447 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.447 * [taylor]: Taking taylor expansion of -1 in a 2.447 * [taylor]: Taking taylor expansion of a in a 2.447 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a 2.447 * [taylor]: Taking taylor expansion of (/ -1 b) in a 2.447 * [taylor]: Taking taylor expansion of -1 in a 2.447 * [taylor]: Taking taylor expansion of b in a 2.451 * [taylor]: Taking taylor expansion of 0 in b 2.451 * [taylor]: Taking taylor expansion of 0 in a 2.452 * [taylor]: Taking taylor expansion of 0 in a 2.461 * [taylor]: Taking taylor expansion of 0 in b 2.461 * [taylor]: Taking taylor expansion of 0 in a 2.461 * [taylor]: Taking taylor expansion of 0 in a 2.462 * [taylor]: Taking taylor expansion of 0 in a 2.463 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2) 2.463 * [approximate]: Taking taylor expansion of (* (sin a) (sin b)) in (a b) around 0 2.463 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in b 2.463 * [taylor]: Taking taylor expansion of (sin a) in b 2.463 * [taylor]: Taking taylor expansion of a in b 2.463 * [taylor]: Taking taylor expansion of (sin b) in b 2.463 * [taylor]: Taking taylor expansion of b in b 2.463 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in a 2.463 * [taylor]: Taking taylor expansion of (sin a) in a 2.463 * [taylor]: Taking taylor expansion of a in a 2.463 * [taylor]: Taking taylor expansion of (sin b) in a 2.463 * [taylor]: Taking taylor expansion of b in a 2.463 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in a 2.463 * [taylor]: Taking taylor expansion of (sin a) in a 2.463 * [taylor]: Taking taylor expansion of a in a 2.463 * [taylor]: Taking taylor expansion of (sin b) in a 2.463 * [taylor]: Taking taylor expansion of b in a 2.463 * [taylor]: Taking taylor expansion of 0 in b 2.464 * [taylor]: Taking taylor expansion of (sin b) in b 2.464 * [taylor]: Taking taylor expansion of b in b 2.464 * [taylor]: Taking taylor expansion of 0 in b 2.465 * [taylor]: Taking taylor expansion of (neg (* 1/6 (sin b))) in b 2.465 * [taylor]: Taking taylor expansion of (* 1/6 (sin b)) in b 2.465 * [taylor]: Taking taylor expansion of 1/6 in b 2.465 * [taylor]: Taking taylor expansion of (sin b) in b 2.465 * [taylor]: Taking taylor expansion of b in b 2.466 * [taylor]: Taking taylor expansion of 0 in b 2.466 * [approximate]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in (a b) around 0 2.466 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b 2.466 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b 2.466 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.466 * [taylor]: Taking taylor expansion of a in b 2.466 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 2.466 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.466 * [taylor]: Taking taylor expansion of b in b 2.466 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a 2.466 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a 2.466 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.466 * [taylor]: Taking taylor expansion of a in a 2.466 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a 2.466 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.466 * [taylor]: Taking taylor expansion of b in a 2.466 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a 2.466 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a 2.466 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.466 * [taylor]: Taking taylor expansion of a in a 2.466 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a 2.466 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.467 * [taylor]: Taking taylor expansion of b in a 2.467 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b 2.467 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b 2.467 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.467 * [taylor]: Taking taylor expansion of a in b 2.467 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 2.467 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.467 * [taylor]: Taking taylor expansion of b in b 2.467 * [taylor]: Taking taylor expansion of 0 in b 2.468 * [taylor]: Taking taylor expansion of 0 in b 2.469 * [taylor]: Taking taylor expansion of 0 in b 2.469 * [approximate]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in (a b) around 0 2.469 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in b 2.469 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in b 2.469 * [taylor]: Taking taylor expansion of (/ -1 a) in b 2.469 * [taylor]: Taking taylor expansion of -1 in b 2.469 * [taylor]: Taking taylor expansion of a in b 2.469 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 2.470 * [taylor]: Taking taylor expansion of (/ -1 b) in b 2.470 * [taylor]: Taking taylor expansion of -1 in b 2.470 * [taylor]: Taking taylor expansion of b in b 2.470 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in a 2.470 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a 2.470 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.470 * [taylor]: Taking taylor expansion of -1 in a 2.470 * [taylor]: Taking taylor expansion of a in a 2.470 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a 2.470 * [taylor]: Taking taylor expansion of (/ -1 b) in a 2.470 * [taylor]: Taking taylor expansion of -1 in a 2.470 * [taylor]: Taking taylor expansion of b in a 2.470 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in a 2.470 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a 2.470 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.470 * [taylor]: Taking taylor expansion of -1 in a 2.470 * [taylor]: Taking taylor expansion of a in a 2.470 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a 2.470 * [taylor]: Taking taylor expansion of (/ -1 b) in a 2.470 * [taylor]: Taking taylor expansion of -1 in a 2.470 * [taylor]: Taking taylor expansion of b in a 2.470 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in b 2.470 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in b 2.470 * [taylor]: Taking taylor expansion of (/ -1 a) in b 2.470 * [taylor]: Taking taylor expansion of -1 in b 2.470 * [taylor]: Taking taylor expansion of a in b 2.470 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 2.471 * [taylor]: Taking taylor expansion of (/ -1 b) in b 2.471 * [taylor]: Taking taylor expansion of -1 in b 2.471 * [taylor]: Taking taylor expansion of b in b 2.471 * [taylor]: Taking taylor expansion of 0 in b 2.472 * [taylor]: Taking taylor expansion of 0 in b 2.473 * [taylor]: Taking taylor expansion of 0 in b 2.473 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 2.473 * [approximate]: Taking taylor expansion of (/ 1 (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in (a b) around 0 2.473 * [taylor]: Taking taylor expansion of (/ 1 (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in b 2.473 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in b 2.473 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in b 2.473 * [taylor]: Taking taylor expansion of (cos b) in b 2.473 * [taylor]: Taking taylor expansion of b in b 2.473 * [taylor]: Taking taylor expansion of (cos a) in b 2.473 * [taylor]: Taking taylor expansion of a in b 2.473 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in b 2.473 * [taylor]: Taking taylor expansion of (sin a) in b 2.473 * [taylor]: Taking taylor expansion of a in b 2.473 * [taylor]: Taking taylor expansion of (sin b) in b 2.473 * [taylor]: Taking taylor expansion of b in b 2.474 * [taylor]: Taking taylor expansion of (/ 1 (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in a 2.474 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in a 2.474 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in a 2.474 * [taylor]: Taking taylor expansion of (cos b) in a 2.474 * [taylor]: Taking taylor expansion of b in a 2.474 * [taylor]: Taking taylor expansion of (cos a) in a 2.474 * [taylor]: Taking taylor expansion of a in a 2.474 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in a 2.474 * [taylor]: Taking taylor expansion of (sin a) in a 2.474 * [taylor]: Taking taylor expansion of a in a 2.474 * [taylor]: Taking taylor expansion of (sin b) in a 2.474 * [taylor]: Taking taylor expansion of b in a 2.474 * [taylor]: Taking taylor expansion of (/ 1 (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in a 2.474 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in a 2.474 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in a 2.474 * [taylor]: Taking taylor expansion of (cos b) in a 2.474 * [taylor]: Taking taylor expansion of b in a 2.474 * [taylor]: Taking taylor expansion of (cos a) in a 2.474 * [taylor]: Taking taylor expansion of a in a 2.474 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in a 2.474 * [taylor]: Taking taylor expansion of (sin a) in a 2.474 * [taylor]: Taking taylor expansion of a in a 2.474 * [taylor]: Taking taylor expansion of (sin b) in a 2.474 * [taylor]: Taking taylor expansion of b in a 2.475 * [taylor]: Taking taylor expansion of (/ 1 (cos b)) in b 2.475 * [taylor]: Taking taylor expansion of (cos b) in b 2.475 * [taylor]: Taking taylor expansion of b in b 2.475 * [taylor]: Taking taylor expansion of (/ (sin b) (pow (cos b) 2)) in b 2.475 * [taylor]: Taking taylor expansion of (sin b) in b 2.475 * [taylor]: Taking taylor expansion of b in b 2.475 * [taylor]: Taking taylor expansion of (pow (cos b) 2) in b 2.475 * [taylor]: Taking taylor expansion of (cos b) in b 2.475 * [taylor]: Taking taylor expansion of b in b 2.476 * [taylor]: Taking taylor expansion of (+ (/ (pow (sin b) 2) (pow (cos b) 3)) (* 1/2 (/ 1 (cos b)))) in b 2.477 * [taylor]: Taking taylor expansion of (/ (pow (sin b) 2) (pow (cos b) 3)) in b 2.477 * [taylor]: Taking taylor expansion of (pow (sin b) 2) in b 2.477 * [taylor]: Taking taylor expansion of (sin b) in b 2.477 * [taylor]: Taking taylor expansion of b in b 2.477 * [taylor]: Taking taylor expansion of (pow (cos b) 3) in b 2.477 * [taylor]: Taking taylor expansion of (cos b) in b 2.477 * [taylor]: Taking taylor expansion of b in b 2.477 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (cos b))) in b 2.477 * [taylor]: Taking taylor expansion of 1/2 in b 2.477 * [taylor]: Taking taylor expansion of (/ 1 (cos b)) in b 2.477 * [taylor]: Taking taylor expansion of (cos b) in b 2.477 * [taylor]: Taking taylor expansion of b in b 2.477 * [approximate]: Taking taylor expansion of (/ 1 (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in (a b) around 0 2.477 * [taylor]: Taking taylor expansion of (/ 1 (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in b 2.477 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in b 2.477 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in b 2.477 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in b 2.477 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.477 * [taylor]: Taking taylor expansion of a in b 2.477 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in b 2.477 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.477 * [taylor]: Taking taylor expansion of b in b 2.477 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b 2.478 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b 2.478 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.478 * [taylor]: Taking taylor expansion of a in b 2.478 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 2.478 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.478 * [taylor]: Taking taylor expansion of b in b 2.478 * [taylor]: Taking taylor expansion of (/ 1 (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in a 2.478 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in a 2.478 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in a 2.478 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in a 2.478 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.478 * [taylor]: Taking taylor expansion of a in a 2.478 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in a 2.478 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.479 * [taylor]: Taking taylor expansion of b in a 2.479 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a 2.479 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a 2.479 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.479 * [taylor]: Taking taylor expansion of a in a 2.479 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a 2.479 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.479 * [taylor]: Taking taylor expansion of b in a 2.479 * [taylor]: Taking taylor expansion of (/ 1 (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in a 2.479 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in a 2.479 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in a 2.479 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in a 2.479 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.479 * [taylor]: Taking taylor expansion of a in a 2.480 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in a 2.480 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.480 * [taylor]: Taking taylor expansion of b in a 2.480 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a 2.480 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a 2.480 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.480 * [taylor]: Taking taylor expansion of a in a 2.480 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a 2.480 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.480 * [taylor]: Taking taylor expansion of b in a 2.481 * [taylor]: Taking taylor expansion of (/ 1 (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in b 2.481 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in b 2.481 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in b 2.481 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in b 2.481 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.481 * [taylor]: Taking taylor expansion of a in b 2.481 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in b 2.481 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.481 * [taylor]: Taking taylor expansion of b in b 2.481 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b 2.481 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b 2.481 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.481 * [taylor]: Taking taylor expansion of a in b 2.481 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 2.481 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.481 * [taylor]: Taking taylor expansion of b in b 2.483 * [taylor]: Taking taylor expansion of 0 in b 2.485 * [taylor]: Taking taylor expansion of 0 in b 2.487 * [taylor]: Taking taylor expansion of 0 in b 2.488 * [approximate]: Taking taylor expansion of (/ 1 (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b))))) in (a b) around 0 2.488 * [taylor]: Taking taylor expansion of (/ 1 (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b))))) in b 2.488 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in b 2.488 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in b 2.488 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in b 2.488 * [taylor]: Taking taylor expansion of (/ -1 a) in b 2.488 * [taylor]: Taking taylor expansion of -1 in b 2.488 * [taylor]: Taking taylor expansion of a in b 2.488 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in b 2.488 * [taylor]: Taking taylor expansion of (/ -1 b) in b 2.488 * [taylor]: Taking taylor expansion of -1 in b 2.488 * [taylor]: Taking taylor expansion of b in b 2.488 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in b 2.488 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in b 2.488 * [taylor]: Taking taylor expansion of (/ -1 a) in b 2.488 * [taylor]: Taking taylor expansion of -1 in b 2.488 * [taylor]: Taking taylor expansion of a in b 2.488 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 2.488 * [taylor]: Taking taylor expansion of (/ -1 b) in b 2.488 * [taylor]: Taking taylor expansion of -1 in b 2.488 * [taylor]: Taking taylor expansion of b in b 2.489 * [taylor]: Taking taylor expansion of (/ 1 (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b))))) in a 2.489 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in a 2.489 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in a 2.489 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in a 2.489 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.489 * [taylor]: Taking taylor expansion of -1 in a 2.489 * [taylor]: Taking taylor expansion of a in a 2.489 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in a 2.489 * [taylor]: Taking taylor expansion of (/ -1 b) in a 2.489 * [taylor]: Taking taylor expansion of -1 in a 2.489 * [taylor]: Taking taylor expansion of b in a 2.489 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in a 2.489 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a 2.489 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.489 * [taylor]: Taking taylor expansion of -1 in a 2.489 * [taylor]: Taking taylor expansion of a in a 2.489 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a 2.489 * [taylor]: Taking taylor expansion of (/ -1 b) in a 2.489 * [taylor]: Taking taylor expansion of -1 in a 2.490 * [taylor]: Taking taylor expansion of b in a 2.490 * [taylor]: Taking taylor expansion of (/ 1 (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b))))) in a 2.490 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in a 2.490 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in a 2.490 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in a 2.490 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.490 * [taylor]: Taking taylor expansion of -1 in a 2.490 * [taylor]: Taking taylor expansion of a in a 2.490 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in a 2.490 * [taylor]: Taking taylor expansion of (/ -1 b) in a 2.490 * [taylor]: Taking taylor expansion of -1 in a 2.490 * [taylor]: Taking taylor expansion of b in a 2.490 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in a 2.491 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a 2.491 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.491 * [taylor]: Taking taylor expansion of -1 in a 2.491 * [taylor]: Taking taylor expansion of a in a 2.491 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a 2.491 * [taylor]: Taking taylor expansion of (/ -1 b) in a 2.491 * [taylor]: Taking taylor expansion of -1 in a 2.491 * [taylor]: Taking taylor expansion of b in a 2.491 * [taylor]: Taking taylor expansion of (/ 1 (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b))))) in b 2.491 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in b 2.491 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in b 2.491 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in b 2.491 * [taylor]: Taking taylor expansion of (/ -1 a) in b 2.491 * [taylor]: Taking taylor expansion of -1 in b 2.491 * [taylor]: Taking taylor expansion of a in b 2.492 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in b 2.492 * [taylor]: Taking taylor expansion of (/ -1 b) in b 2.492 * [taylor]: Taking taylor expansion of -1 in b 2.492 * [taylor]: Taking taylor expansion of b in b 2.492 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in b 2.492 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in b 2.492 * [taylor]: Taking taylor expansion of (/ -1 a) in b 2.492 * [taylor]: Taking taylor expansion of -1 in b 2.492 * [taylor]: Taking taylor expansion of a in b 2.492 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 2.492 * [taylor]: Taking taylor expansion of (/ -1 b) in b 2.492 * [taylor]: Taking taylor expansion of -1 in b 2.492 * [taylor]: Taking taylor expansion of b in b 2.494 * [taylor]: Taking taylor expansion of 0 in b 2.496 * [taylor]: Taking taylor expansion of 0 in b 2.498 * [taylor]: Taking taylor expansion of 0 in b 2.499 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 2.499 * [approximate]: Taking taylor expansion of (* (sin b) r) in (r b) around 0 2.499 * [taylor]: Taking taylor expansion of (* (sin b) r) in b 2.499 * [taylor]: Taking taylor expansion of (sin b) in b 2.499 * [taylor]: Taking taylor expansion of b in b 2.499 * [taylor]: Taking taylor expansion of r in b 2.499 * [taylor]: Taking taylor expansion of (* (sin b) r) in r 2.499 * [taylor]: Taking taylor expansion of (sin b) in r 2.499 * [taylor]: Taking taylor expansion of b in r 2.499 * [taylor]: Taking taylor expansion of r in r 2.499 * [taylor]: Taking taylor expansion of (* (sin b) r) in r 2.499 * [taylor]: Taking taylor expansion of (sin b) in r 2.499 * [taylor]: Taking taylor expansion of b in r 2.499 * [taylor]: Taking taylor expansion of r in r 2.499 * [taylor]: Taking taylor expansion of 0 in b 2.499 * [taylor]: Taking taylor expansion of (sin b) in b 2.499 * [taylor]: Taking taylor expansion of b in b 2.500 * [taylor]: Taking taylor expansion of 0 in b 2.500 * [taylor]: Taking taylor expansion of 0 in b 2.501 * [taylor]: Taking taylor expansion of 0 in b 2.501 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 b)) r) in (r b) around 0 2.501 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) r) in b 2.501 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 2.501 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.501 * [taylor]: Taking taylor expansion of b in b 2.501 * [taylor]: Taking taylor expansion of r in b 2.501 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) r) in r 2.501 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r 2.501 * [taylor]: Taking taylor expansion of (/ 1 b) in r 2.501 * [taylor]: Taking taylor expansion of b in r 2.501 * [taylor]: Taking taylor expansion of r in r 2.502 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) r) in r 2.502 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r 2.502 * [taylor]: Taking taylor expansion of (/ 1 b) in r 2.502 * [taylor]: Taking taylor expansion of b in r 2.502 * [taylor]: Taking taylor expansion of r in r 2.502 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 2.502 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.502 * [taylor]: Taking taylor expansion of b in b 2.502 * [taylor]: Taking taylor expansion of 0 in b 2.503 * [taylor]: Taking taylor expansion of 0 in b 2.503 * [taylor]: Taking taylor expansion of 0 in b 2.504 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) r)) in (r b) around 0 2.504 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) r)) in b 2.504 * [taylor]: Taking taylor expansion of -1 in b 2.504 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) r) in b 2.504 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 2.504 * [taylor]: Taking taylor expansion of (/ -1 b) in b 2.504 * [taylor]: Taking taylor expansion of -1 in b 2.504 * [taylor]: Taking taylor expansion of b in b 2.504 * [taylor]: Taking taylor expansion of r in b 2.504 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) r)) in r 2.504 * [taylor]: Taking taylor expansion of -1 in r 2.504 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) r) in r 2.504 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r 2.504 * [taylor]: Taking taylor expansion of (/ -1 b) in r 2.504 * [taylor]: Taking taylor expansion of -1 in r 2.504 * [taylor]: Taking taylor expansion of b in r 2.504 * [taylor]: Taking taylor expansion of r in r 2.504 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) r)) in r 2.504 * [taylor]: Taking taylor expansion of -1 in r 2.504 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) r) in r 2.504 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r 2.504 * [taylor]: Taking taylor expansion of (/ -1 b) in r 2.504 * [taylor]: Taking taylor expansion of -1 in r 2.504 * [taylor]: Taking taylor expansion of b in r 2.504 * [taylor]: Taking taylor expansion of r in r 2.504 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 b))) in b 2.505 * [taylor]: Taking taylor expansion of -1 in b 2.505 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 2.505 * [taylor]: Taking taylor expansion of (/ -1 b) in b 2.505 * [taylor]: Taking taylor expansion of -1 in b 2.505 * [taylor]: Taking taylor expansion of b in b 2.505 * [taylor]: Taking taylor expansion of 0 in b 2.506 * [taylor]: Taking taylor expansion of 0 in b 2.506 * [taylor]: Taking taylor expansion of 0 in b 2.506 * * * [progress]: simplifying candidates 2.508 * [simplify]: Simplifying using # : (* (* r (sin b)) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (* (* r (sin b)) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (+ (+ (log r) (log (sin b))) (neg (log (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (+ (+ (log r) (log (sin b))) (- 0 (log (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (+ (+ (log r) (log (sin b))) (- (log 1) (log (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (+ (+ (log r) (log (sin b))) (log (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (+ (log (* r (sin b))) (neg (log (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (+ (log (* r (sin b))) (- 0 (log (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (+ (log (* r (sin b))) (- (log 1) (log (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (+ (log (* r (sin b))) (log (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (log (* (* r (sin b)) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (exp (* (* r (sin b)) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (* (* (* (* r r) r) (* (* (sin b) (sin b)) (sin b))) (/ (* (* 1 1) 1) (* (* (- (* (cos a) (cos b)) (* (sin a) (sin b))) (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (* (* (* (* r r) r) (* (* (sin b) (sin b)) (sin b))) (* (* (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (* (* (* (* r (sin b)) (* r (sin b))) (* r (sin b))) (/ (* (* 1 1) 1) (* (* (- (* (cos a) (cos b)) (* (sin a) (sin b))) (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (* (* (* (* r (sin b)) (* r (sin b))) (* r (sin b))) (* (* (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (* (cbrt (* (* r (sin b)) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (cbrt (* (* r (sin b)) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))))) (cbrt (* (* r (sin b)) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (* (* (* (* r (sin b)) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (* (* r (sin b)) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (* (* r (sin b)) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (sqrt (* (* r (sin b)) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (sqrt (* (* r (sin b)) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (* (* r (sin b)) (* (cbrt (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (cbrt (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))))) (* (* r (sin b)) (sqrt (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (* (* r (sin b)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))) (* (* r (sin b)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (* (* r (sin b)) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (* r (sin b)) (/ (sqrt 1) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))) (* (* r (sin b)) (/ (sqrt 1) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (* (* r (sin b)) (/ (sqrt 1) 1)) (* (* r (sin b)) (/ 1 (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))) (* (* r (sin b)) (/ 1 (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (* (* r (sin b)) (/ 1 1)) (* (* r (sin b)) 1) (* (* r (sin b)) 1) (* (* r (sin b)) (/ 1 (- (+ (cos (+ a b)) (cos (- a b))) (- (cos (- a b)) (cos (+ a b)))))) (* (* r (sin b)) (/ 1 (- (* (+ (cos (+ a b)) (cos (- a b))) 2) (* 2 (- (cos (- a b)) (cos (+ a b))))))) (* (* r (sin b)) (/ 1 (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3)))) (* (* r (sin b)) (/ 1 (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))))) (* (sin b) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (* (* r (sin b)) 1) (- (cos (- a b)) (cos (+ a b))) (* (sin a) (sin b)) (+ (log (sin a)) (log (sin b))) (log (* (sin a) (sin b))) (exp (* (sin a) (sin b))) (* (* (* (sin a) (sin a)) (sin a)) (* (* (sin b) (sin b)) (sin b))) (* (cbrt (* (sin a) (sin b))) (cbrt (* (sin a) (sin b)))) (cbrt (* (sin a) (sin b))) (* (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (sin a) (sin b))) (sqrt (* (sin a) (sin b))) (sqrt (* (sin a) (sin b))) (* (sqrt (sin a)) (sqrt (sin b))) (* (sqrt (sin a)) (sqrt (sin b))) (* (sin a) (* (cbrt (sin b)) (cbrt (sin b)))) (* (sin a) (sqrt (sin b))) (* (sin a) 1) (* (cbrt (sin a)) (sin b)) (* (sqrt (sin a)) (sin b)) (* (sin a) (sin b)) (neg 1) (neg (log (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (- 0 (log (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (- (log 1) (log (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (log (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (exp (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ (* (* 1 1) 1) (* (* (- (* (cos a) (cos b)) (* (sin a) (sin b))) (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (* (cbrt (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (cbrt (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (cbrt (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (* (* (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (sqrt (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (sqrt (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (neg 1) (neg (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (/ (cbrt 1) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ (cbrt 1) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (/ (sqrt 1) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (/ (sqrt 1) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ (sqrt 1) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ (sqrt 1) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ (sqrt 1) 1) (/ (sqrt 1) (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (/ 1 (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (/ 1 (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ 1 (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ 1 (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ 1 1) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (/ (- (* (cos a) (cos b)) (* (sin a) (sin b))) 1) (/ 1 (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (/ 1 (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ 1 1) (/ (- (* (cos a) (cos b)) (* (sin a) (sin b))) (cbrt 1)) (/ (- (* (cos a) (cos b)) (* (sin a) (sin b))) (sqrt 1)) (/ (- (* (cos a) (cos b)) (* (sin a) (sin b))) 1) (/ 1 (- (+ (cos (+ a b)) (cos (- a b))) (- (cos (- a b)) (cos (+ a b))))) (/ 1 (- (* (+ (cos (+ a b)) (cos (- a b))) 2) (* 2 (- (cos (- a b)) (cos (+ a b)))))) (/ 1 (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3))) (/ 1 (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b))))) (* r (sin b)) (+ (log r) (log (sin b))) (log (* r (sin b))) (exp (* r (sin b))) (* (* (* r r) r) (* (* (sin b) (sin b)) (sin b))) (* (cbrt (* r (sin b))) (cbrt (* r (sin b)))) (cbrt (* r (sin b))) (* (* (* r (sin b)) (* r (sin b))) (* r (sin b))) (sqrt (* r (sin b))) (sqrt (* r (sin b))) (* (sqrt r) (sqrt (sin b))) (* (sqrt r) (sqrt (sin b))) (* r (* (cbrt (sin b)) (cbrt (sin b)))) (* r (sqrt (sin b))) (* r 1) (* (cbrt r) (sin b)) (* (sqrt r) (sin b)) (* r (sin b)) (+ (* a (* r (pow b 2))) (+ (* 1/3 (* r (pow b 3))) (* r b))) (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) (* a b) (* (sin a) (sin b)) (* (sin a) (sin b)) (+ (* 1/2 (pow a 2)) (+ (* a b) 1)) (/ 1 (- (* (cos b) (cos a)) (* (sin a) (sin b)))) (/ 1 (- (* (cos b) (cos a)) (* (sin a) (sin b)))) (* r b) (* (sin b) r) (* (sin b) r) 2.514 * * [simplify]: iteration 0 : 182 enodes (cost 2093 ) 2.544 * * [simplify]: iteration 1 : 488 enodes (cost 1968 ) 2.647 * * [simplify]: iteration 2 : 1812 enodes (cost 1679 ) 3.146 * * [simplify]: iteration done : 5000 enodes (cost 1668 ) 3.147 * [simplify]: Simplified to: (* r (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b))))) (* r (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b))))) (- (+ (log r) (log (sin b))) (log (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (- (+ (log r) (log (sin b))) (log (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (- (+ (log r) (log (sin b))) (log (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (- (+ (log r) (log (sin b))) (log (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (log (/ (* r (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (log (/ (* r (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (log (/ (* r (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (log (/ (* r (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (log (/ (* r (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (exp (/ (* r (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (pow (* r (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b))))) 3) (pow (* r (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b))))) 3) (pow (* r (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b))))) 3) (pow (* r (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b))))) 3) (* (cbrt (/ (* r (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (cbrt (/ (* r (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (cbrt (/ (* r (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (pow (* r (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b))))) 3) (sqrt (/ (* r (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (sqrt (/ (* r (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (* (* r (sin b)) (* (cbrt (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (cbrt (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))))) (* (* r (sin b)) (sqrt (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (/ (* r (sin b)) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (/ (* (sin b) r) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (* (sin b) r) (/ (* r (sin b)) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (/ (* (sin b) r) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (* (sin b) r) (/ (* r (sin b)) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (/ (* (sin b) r) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (* (sin b) r) (* (sin b) r) (* (sin b) r) (/ (* r (sin b)) (- (+ (cos (+ a b)) (cos (- a b))) (- (cos (- a b)) (cos (+ a b))))) (/ (* (sin b) r) (* 2 (- (+ (cos (+ a b)) (cos (- a b))) (- (cos (- a b)) (cos (+ a b)))))) (/ (* r (sin b)) (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3))) (/ (* r (sin b)) (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b))))) (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) (* (sin b) r) (- (cos (- a b)) (cos (+ a b))) (* (sin a) (sin b)) (log (* (sin a) (sin b))) (log (* (sin a) (sin b))) (exp (* (sin a) (sin b))) (pow (* (sin a) (sin b)) 3) (* (cbrt (* (sin a) (sin b))) (cbrt (* (sin a) (sin b)))) (cbrt (* (sin a) (sin b))) (pow (* (sin a) (sin b)) 3) (sqrt (* (sin a) (sin b))) (sqrt (* (sin a) (sin b))) (* (sqrt (sin a)) (sqrt (sin b))) (* (sqrt (sin a)) (sqrt (sin b))) (* (sin a) (* (cbrt (sin b)) (cbrt (sin b)))) (* (sin a) (sqrt (sin b))) (sin a) (* (cbrt (sin a)) (sin b)) (* (sqrt (sin a)) (sin b)) (* (sin a) (sin b)) -1 (neg (log (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (neg (log (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (neg (log (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (neg (log (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (exp (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (pow (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))) 3) (* (cbrt (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (cbrt (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (cbrt (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (pow (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b)))) 3) (sqrt (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (sqrt (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))) -1 (neg (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (/ (/ 1 (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ 1 (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ 1 (sqrt (- (* (cos b) (cos a)) (* (sin a) (sin b))))) (/ 1 (sqrt (- (* (cos b) (cos a)) (* (sin a) (sin b))))) 1 (/ 1 (- (* (cos b) (cos a)) (* (sin a) (sin b)))) (/ (/ 1 (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ 1 (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ 1 (sqrt (- (* (cos b) (cos a)) (* (sin a) (sin b))))) (/ 1 (sqrt (- (* (cos b) (cos a)) (* (sin a) (sin b))))) 1 (/ 1 (- (* (cos b) (cos a)) (* (sin a) (sin b)))) (/ (/ 1 (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ 1 (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ 1 (sqrt (- (* (cos b) (cos a)) (* (sin a) (sin b))))) (/ 1 (sqrt (- (* (cos b) (cos a)) (* (sin a) (sin b))))) 1 (/ 1 (- (* (cos b) (cos a)) (* (sin a) (sin b)))) (/ 1 (- (* (cos b) (cos a)) (* (sin a) (sin b)))) (- (* (cos b) (cos a)) (* (sin a) (sin b))) (/ (/ 1 (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ 1 (sqrt (- (* (cos b) (cos a)) (* (sin a) (sin b))))) 1 (- (* (cos b) (cos a)) (* (sin a) (sin b))) (- (* (cos b) (cos a)) (* (sin a) (sin b))) (- (* (cos b) (cos a)) (* (sin a) (sin b))) (/ 1 (- (+ (cos (+ a b)) (cos (- a b))) (- (cos (- a b)) (cos (+ a b))))) (/ 1 (* 2 (- (+ (cos (+ a b)) (cos (- a b))) (- (cos (- a b)) (cos (+ a b)))))) (/ 1 (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3))) (/ (/ 1 (- (* (cos b) (cos a)) (* (sin a) (sin b)))) (+ (* (cos b) (cos a)) (* (sin a) (sin b)))) (* (sin b) r) (+ (log r) (log (sin b))) (log (* (sin b) r)) (exp (* r (sin b))) (pow (* (sin b) r) 3) (* (cbrt (* r (sin b))) (cbrt (* r (sin b)))) (cbrt (* r (sin b))) (pow (* (sin b) r) 3) (sqrt (* r (sin b))) (sqrt (* r (sin b))) (* (sqrt r) (sqrt (sin b))) (* (sqrt r) (sqrt (sin b))) (* r (* (cbrt (sin b)) (cbrt (sin b)))) (* r (sqrt (sin b))) r (* (cbrt r) (sin b)) (* (sqrt r) (sin b)) (* (sin b) r) (+ (* a (* r (pow b 2))) (+ (* 1/3 (* r (pow b 3))) (* r b))) (* r (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b))))) (* r (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b))))) (* a b) (* (sin a) (sin b)) (* (sin a) (sin b)) (+ (* 1/2 (pow a 2)) (+ (* a b) 1)) (/ 1 (- (* (cos b) (cos a)) (* (sin a) (sin b)))) (/ 1 (- (* (cos b) (cos a)) (* (sin a) (sin b)))) (* b r) (* (sin b) r) (* (sin b) r) 3.152 * * * [progress]: adding candidates to table 3.257 * * [progress]: iteration 4 / 4 3.257 * * * [progress]: picking best candidate 3.305 * * * * [pick]: Picked # 3.305 * * * [progress]: localizing error 3.325 * * * [progress]: generating rewritten candidates 3.325 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1) 3.327 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2) 3.329 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1) 3.331 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 3.340 * * * [progress]: generating series expansions 3.340 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1) 3.340 * [approximate]: Taking taylor expansion of (pow (sin a) 1/3) in (a) around 0 3.340 * [taylor]: Taking taylor expansion of (pow (sin a) 1/3) in a 3.340 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin a)))) in a 3.340 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin a))) in a 3.340 * [taylor]: Taking taylor expansion of 1/3 in a 3.340 * [taylor]: Taking taylor expansion of (log (sin a)) in a 3.340 * [taylor]: Taking taylor expansion of (sin a) in a 3.340 * [taylor]: Taking taylor expansion of a in a 3.340 * [taylor]: Taking taylor expansion of (pow (sin a) 1/3) in a 3.340 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin a)))) in a 3.340 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin a))) in a 3.340 * [taylor]: Taking taylor expansion of 1/3 in a 3.341 * [taylor]: Taking taylor expansion of (log (sin a)) in a 3.341 * [taylor]: Taking taylor expansion of (sin a) in a 3.341 * [taylor]: Taking taylor expansion of a in a 3.345 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 a)) 1/3) in (a) around 0 3.345 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 a)) 1/3) in a 3.345 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 a))))) in a 3.345 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 a)))) in a 3.345 * [taylor]: Taking taylor expansion of 1/3 in a 3.345 * [taylor]: Taking taylor expansion of (log (sin (/ 1 a))) in a 3.345 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a 3.345 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.345 * [taylor]: Taking taylor expansion of a in a 3.345 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 a)) 1/3) in a 3.345 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 a))))) in a 3.345 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 a)))) in a 3.345 * [taylor]: Taking taylor expansion of 1/3 in a 3.345 * [taylor]: Taking taylor expansion of (log (sin (/ 1 a))) in a 3.345 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a 3.345 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.345 * [taylor]: Taking taylor expansion of a in a 3.352 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 a)) 1/3) in (a) around 0 3.352 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 a)) 1/3) in a 3.352 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 a))))) in a 3.352 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 a)))) in a 3.352 * [taylor]: Taking taylor expansion of 1/3 in a 3.352 * [taylor]: Taking taylor expansion of (log (sin (/ -1 a))) in a 3.352 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a 3.353 * [taylor]: Taking taylor expansion of (/ -1 a) in a 3.353 * [taylor]: Taking taylor expansion of -1 in a 3.353 * [taylor]: Taking taylor expansion of a in a 3.353 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 a)) 1/3) in a 3.353 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 a))))) in a 3.353 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 a)))) in a 3.353 * [taylor]: Taking taylor expansion of 1/3 in a 3.353 * [taylor]: Taking taylor expansion of (log (sin (/ -1 a))) in a 3.353 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a 3.353 * [taylor]: Taking taylor expansion of (/ -1 a) in a 3.353 * [taylor]: Taking taylor expansion of -1 in a 3.353 * [taylor]: Taking taylor expansion of a in a 3.360 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2) 3.360 * [approximate]: Taking taylor expansion of (pow (sin a) 1/3) in (a) around 0 3.360 * [taylor]: Taking taylor expansion of (pow (sin a) 1/3) in a 3.361 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin a)))) in a 3.361 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin a))) in a 3.361 * [taylor]: Taking taylor expansion of 1/3 in a 3.361 * [taylor]: Taking taylor expansion of (log (sin a)) in a 3.361 * [taylor]: Taking taylor expansion of (sin a) in a 3.361 * [taylor]: Taking taylor expansion of a in a 3.361 * [taylor]: Taking taylor expansion of (pow (sin a) 1/3) in a 3.361 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin a)))) in a 3.361 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin a))) in a 3.361 * [taylor]: Taking taylor expansion of 1/3 in a 3.361 * [taylor]: Taking taylor expansion of (log (sin a)) in a 3.361 * [taylor]: Taking taylor expansion of (sin a) in a 3.361 * [taylor]: Taking taylor expansion of a in a 3.365 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 a)) 1/3) in (a) around 0 3.365 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 a)) 1/3) in a 3.365 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 a))))) in a 3.365 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 a)))) in a 3.365 * [taylor]: Taking taylor expansion of 1/3 in a 3.365 * [taylor]: Taking taylor expansion of (log (sin (/ 1 a))) in a 3.365 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a 3.365 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.365 * [taylor]: Taking taylor expansion of a in a 3.365 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 a)) 1/3) in a 3.365 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 a))))) in a 3.365 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 a)))) in a 3.365 * [taylor]: Taking taylor expansion of 1/3 in a 3.365 * [taylor]: Taking taylor expansion of (log (sin (/ 1 a))) in a 3.365 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a 3.365 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.365 * [taylor]: Taking taylor expansion of a in a 3.373 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 a)) 1/3) in (a) around 0 3.373 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 a)) 1/3) in a 3.373 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 a))))) in a 3.373 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 a)))) in a 3.373 * [taylor]: Taking taylor expansion of 1/3 in a 3.373 * [taylor]: Taking taylor expansion of (log (sin (/ -1 a))) in a 3.373 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a 3.373 * [taylor]: Taking taylor expansion of (/ -1 a) in a 3.373 * [taylor]: Taking taylor expansion of -1 in a 3.373 * [taylor]: Taking taylor expansion of a in a 3.373 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 a)) 1/3) in a 3.373 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 a))))) in a 3.373 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 a)))) in a 3.373 * [taylor]: Taking taylor expansion of 1/3 in a 3.373 * [taylor]: Taking taylor expansion of (log (sin (/ -1 a))) in a 3.373 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a 3.373 * [taylor]: Taking taylor expansion of (/ -1 a) in a 3.373 * [taylor]: Taking taylor expansion of -1 in a 3.373 * [taylor]: Taking taylor expansion of a in a 3.383 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1) 3.383 * [approximate]: Taking taylor expansion of (pow (sin a) 1/3) in (a) around 0 3.383 * [taylor]: Taking taylor expansion of (pow (sin a) 1/3) in a 3.383 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin a)))) in a 3.383 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin a))) in a 3.383 * [taylor]: Taking taylor expansion of 1/3 in a 3.383 * [taylor]: Taking taylor expansion of (log (sin a)) in a 3.384 * [taylor]: Taking taylor expansion of (sin a) in a 3.384 * [taylor]: Taking taylor expansion of a in a 3.384 * [taylor]: Taking taylor expansion of (pow (sin a) 1/3) in a 3.384 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin a)))) in a 3.384 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin a))) in a 3.384 * [taylor]: Taking taylor expansion of 1/3 in a 3.384 * [taylor]: Taking taylor expansion of (log (sin a)) in a 3.384 * [taylor]: Taking taylor expansion of (sin a) in a 3.384 * [taylor]: Taking taylor expansion of a in a 3.388 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 a)) 1/3) in (a) around 0 3.388 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 a)) 1/3) in a 3.388 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 a))))) in a 3.388 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 a)))) in a 3.388 * [taylor]: Taking taylor expansion of 1/3 in a 3.388 * [taylor]: Taking taylor expansion of (log (sin (/ 1 a))) in a 3.388 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a 3.388 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.388 * [taylor]: Taking taylor expansion of a in a 3.388 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 a)) 1/3) in a 3.388 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 a))))) in a 3.388 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 a)))) in a 3.388 * [taylor]: Taking taylor expansion of 1/3 in a 3.388 * [taylor]: Taking taylor expansion of (log (sin (/ 1 a))) in a 3.388 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a 3.388 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.388 * [taylor]: Taking taylor expansion of a in a 3.395 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 a)) 1/3) in (a) around 0 3.395 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 a)) 1/3) in a 3.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 a))))) in a 3.396 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 a)))) in a 3.396 * [taylor]: Taking taylor expansion of 1/3 in a 3.396 * [taylor]: Taking taylor expansion of (log (sin (/ -1 a))) in a 3.396 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a 3.396 * [taylor]: Taking taylor expansion of (/ -1 a) in a 3.396 * [taylor]: Taking taylor expansion of -1 in a 3.396 * [taylor]: Taking taylor expansion of a in a 3.396 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 a)) 1/3) in a 3.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 a))))) in a 3.396 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 a)))) in a 3.396 * [taylor]: Taking taylor expansion of 1/3 in a 3.396 * [taylor]: Taking taylor expansion of (log (sin (/ -1 a))) in a 3.396 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a 3.396 * [taylor]: Taking taylor expansion of (/ -1 a) in a 3.396 * [taylor]: Taking taylor expansion of -1 in a 3.396 * [taylor]: Taking taylor expansion of a in a 3.403 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 3.404 * [approximate]: Taking taylor expansion of (pow (pow (sin a) 2) 1/3) in (a) around 0 3.404 * [taylor]: Taking taylor expansion of (pow (pow (sin a) 2) 1/3) in a 3.404 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin a) 2)))) in a 3.404 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin a) 2))) in a 3.404 * [taylor]: Taking taylor expansion of 1/3 in a 3.404 * [taylor]: Taking taylor expansion of (log (pow (sin a) 2)) in a 3.404 * [taylor]: Taking taylor expansion of (pow (sin a) 2) in a 3.404 * [taylor]: Taking taylor expansion of (sin a) in a 3.404 * [taylor]: Taking taylor expansion of a in a 3.404 * [taylor]: Taking taylor expansion of (pow (pow (sin a) 2) 1/3) in a 3.404 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin a) 2)))) in a 3.404 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin a) 2))) in a 3.404 * [taylor]: Taking taylor expansion of 1/3 in a 3.404 * [taylor]: Taking taylor expansion of (log (pow (sin a) 2)) in a 3.404 * [taylor]: Taking taylor expansion of (pow (sin a) 2) in a 3.404 * [taylor]: Taking taylor expansion of (sin a) in a 3.404 * [taylor]: Taking taylor expansion of a in a 3.408 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 a)) 2) 1/3) in (a) around 0 3.409 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 a)) 2) 1/3) in a 3.409 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 a)) 2)))) in a 3.409 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 a)) 2))) in a 3.409 * [taylor]: Taking taylor expansion of 1/3 in a 3.409 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 a)) 2)) in a 3.409 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 a)) 2) in a 3.409 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a 3.409 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.409 * [taylor]: Taking taylor expansion of a in a 3.409 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 a)) 2) 1/3) in a 3.409 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 a)) 2)))) in a 3.409 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 a)) 2))) in a 3.409 * [taylor]: Taking taylor expansion of 1/3 in a 3.409 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 a)) 2)) in a 3.409 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 a)) 2) in a 3.409 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a 3.409 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.409 * [taylor]: Taking taylor expansion of a in a 3.419 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 a)) 2) 1/3) in (a) around 0 3.419 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 a)) 2) 1/3) in a 3.419 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 a)) 2)))) in a 3.419 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 a)) 2))) in a 3.419 * [taylor]: Taking taylor expansion of 1/3 in a 3.419 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 a)) 2)) in a 3.419 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 a)) 2) in a 3.419 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a 3.419 * [taylor]: Taking taylor expansion of (/ -1 a) in a 3.419 * [taylor]: Taking taylor expansion of -1 in a 3.419 * [taylor]: Taking taylor expansion of a in a 3.419 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 a)) 2) 1/3) in a 3.419 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 a)) 2)))) in a 3.419 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 a)) 2))) in a 3.419 * [taylor]: Taking taylor expansion of 1/3 in a 3.419 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 a)) 2)) in a 3.419 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 a)) 2) in a 3.419 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a 3.419 * [taylor]: Taking taylor expansion of (/ -1 a) in a 3.419 * [taylor]: Taking taylor expansion of -1 in a 3.419 * [taylor]: Taking taylor expansion of a in a 3.429 * * * [progress]: simplifying candidates 3.430 * [simplify]: Simplifying using # : (log (cbrt (sin a))) (exp (cbrt (sin a))) (cbrt (* (cbrt (sin a)) (cbrt (sin a)))) (cbrt (cbrt (sin a))) (cbrt (sqrt (sin a))) (cbrt (sqrt (sin a))) (cbrt 1) (cbrt (sin a)) (* (cbrt (cbrt (sin a))) (cbrt (cbrt (sin a)))) (cbrt (cbrt (sin a))) (* (* (cbrt (sin a)) (cbrt (sin a))) (cbrt (sin a))) (sqrt (cbrt (sin a))) (sqrt (cbrt (sin a))) (log (cbrt (sin a))) (exp (cbrt (sin a))) (cbrt (* (cbrt (sin a)) (cbrt (sin a)))) (cbrt (cbrt (sin a))) (cbrt (sqrt (sin a))) (cbrt (sqrt (sin a))) (cbrt 1) (cbrt (sin a)) (* (cbrt (cbrt (sin a))) (cbrt (cbrt (sin a)))) (cbrt (cbrt (sin a))) (* (* (cbrt (sin a)) (cbrt (sin a))) (cbrt (sin a))) (sqrt (cbrt (sin a))) (sqrt (cbrt (sin a))) (log (cbrt (sin a))) (exp (cbrt (sin a))) (cbrt (* (cbrt (sin a)) (cbrt (sin a)))) (cbrt (cbrt (sin a))) (cbrt (sqrt (sin a))) (cbrt (sqrt (sin a))) (cbrt 1) (cbrt (sin a)) (* (cbrt (cbrt (sin a))) (cbrt (cbrt (sin a)))) (cbrt (cbrt (sin a))) (* (* (cbrt (sin a)) (cbrt (sin a))) (cbrt (sin a))) (sqrt (cbrt (sin a))) (sqrt (cbrt (sin a))) (+ 1/3 1/3) (+ 1 1) (* (sin a) (sin a)) (* (cbrt (sin a)) (cbrt (sin a))) (+ 1 1) (+ (log (cbrt (sin a))) (log (cbrt (sin a)))) (log (* (cbrt (sin a)) (cbrt (sin a)))) (exp (* (cbrt (sin a)) (cbrt (sin a)))) (* (sin a) (sin a)) (* (cbrt (* (cbrt (sin a)) (cbrt (sin a)))) (cbrt (* (cbrt (sin a)) (cbrt (sin a))))) (cbrt (* (cbrt (sin a)) (cbrt (sin a)))) (* (* (* (cbrt (sin a)) (cbrt (sin a))) (* (cbrt (sin a)) (cbrt (sin a)))) (* (cbrt (sin a)) (cbrt (sin a)))) (sqrt (* (cbrt (sin a)) (cbrt (sin a)))) (sqrt (* (cbrt (sin a)) (cbrt (sin a)))) (* (cbrt (* (cbrt (sin a)) (cbrt (sin a)))) (cbrt (* (cbrt (sin a)) (cbrt (sin a))))) (* (cbrt (cbrt (sin a))) (cbrt (cbrt (sin a)))) (* (cbrt (sqrt (sin a))) (cbrt (sqrt (sin a)))) (* (cbrt (sqrt (sin a))) (cbrt (sqrt (sin a)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (sin a)) (cbrt (sin a))) (* (* (cbrt (cbrt (sin a))) (cbrt (cbrt (sin a)))) (* (cbrt (cbrt (sin a))) (cbrt (cbrt (sin a))))) (* (cbrt (cbrt (sin a))) (cbrt (cbrt (sin a)))) (* (sqrt (cbrt (sin a))) (sqrt (cbrt (sin a)))) (* (sqrt (cbrt (sin a))) (sqrt (cbrt (sin a)))) (* 1 1) (* (cbrt (sin a)) (cbrt (sin a))) (* (cbrt (sqrt (sin a))) (cbrt (sqrt (sin a)))) (* (cbrt (sqrt (sin a))) (cbrt (sqrt (sin a)))) (* (cbrt (sqrt (sin a))) (sqrt (cbrt (sin a)))) (* (cbrt (sqrt (sin a))) (sqrt (cbrt (sin a)))) (* (sqrt (cbrt (sin a))) (cbrt (sqrt (sin a)))) (* (sqrt (cbrt (sin a))) (cbrt (sqrt (sin a)))) (* (sqrt (cbrt (sin a))) (sqrt (cbrt (sin a)))) (* (sqrt (cbrt (sin a))) (sqrt (cbrt (sin a)))) (* 2 1/3) (* 2 1) (* (cbrt (sin a)) (cbrt (* (cbrt (sin a)) (cbrt (sin a))))) (* (cbrt (sin a)) (cbrt (sqrt (sin a)))) (* (cbrt (sin a)) (cbrt 1)) (* (cbrt (sin a)) (* (cbrt (cbrt (sin a))) (cbrt (cbrt (sin a))))) (* (cbrt (sin a)) (sqrt (cbrt (sin a)))) (* (cbrt (sin a)) 1) (* (cbrt (cbrt (sin a))) (cbrt (sin a))) (* (cbrt (sqrt (sin a))) (cbrt (sin a))) (* (cbrt (sin a)) (cbrt (sin a))) (* (cbrt (cbrt (sin a))) (cbrt (sin a))) (* (sqrt (cbrt (sin a))) (cbrt (sin a))) (* (cbrt (sin a)) (cbrt (sin a))) (- (exp (* 1/3 (+ (log a) (log 1)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log a) (log 1)))) (pow a 2))) (* 1/3240 (* (exp (* 1/3 (+ (log a) (log 1)))) (pow a 4))))) (pow (sin a) 1/3) (pow (sin a) 1/3) (- (exp (* 1/3 (+ (log a) (log 1)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log a) (log 1)))) (pow a 2))) (* 1/3240 (* (exp (* 1/3 (+ (log a) (log 1)))) (pow a 4))))) (pow (sin a) 1/3) (pow (sin a) 1/3) (- (exp (* 1/3 (+ (log a) (log 1)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log a) (log 1)))) (pow a 2))) (* 1/3240 (* (exp (* 1/3 (+ (log a) (log 1)))) (pow a 4))))) (pow (sin a) 1/3) (pow (sin a) 1/3) (- (+ (* 1/405 (* (pow a 4) (exp (* 1/3 (+ (* 2 (log a)) (log 1)))))) (exp (* 1/3 (+ (* 2 (log a)) (log 1))))) (* 1/9 (* (pow a 2) (exp (* 1/3 (+ (* 2 (log a)) (log 1))))))) (pow (pow (sin a) 2) 1/3) (pow (pow (sin a) 2) 1/3) 3.433 * * [simplify]: iteration 0 : 76 enodes (cost 792 ) 3.443 * * [simplify]: iteration 1 : 164 enodes (cost 715 ) 3.472 * * [simplify]: iteration 2 : 507 enodes (cost 586 ) 3.586 * * [simplify]: iteration 3 : 2000 enodes (cost 521 ) 4.200 * * [simplify]: iteration done : 5001 enodes (cost 515 ) 4.200 * [simplify]: Simplified to: (log (cbrt (sin a))) (exp (cbrt (sin a))) (cbrt (pow (sin a) 2/3)) (cbrt (cbrt (sin a))) (cbrt (sqrt (sin a))) (cbrt (sqrt (sin a))) 1 (cbrt (sin a)) (* (cbrt (cbrt (sin a))) (cbrt (cbrt (sin a)))) (cbrt (cbrt (sin a))) (sin a) (sqrt (cbrt (sin a))) (sqrt (cbrt (sin a))) (log (cbrt (sin a))) (exp (cbrt (sin a))) (cbrt (pow (sin a) 2/3)) (cbrt (cbrt (sin a))) (cbrt (sqrt (sin a))) (cbrt (sqrt (sin a))) 1 (cbrt (sin a)) (* (cbrt (cbrt (sin a))) (cbrt (cbrt (sin a)))) (cbrt (cbrt (sin a))) (sin a) (sqrt (cbrt (sin a))) (sqrt (cbrt (sin a))) (log (cbrt (sin a))) (exp (cbrt (sin a))) (cbrt (pow (sin a) 2/3)) (cbrt (cbrt (sin a))) (cbrt (sqrt (sin a))) (cbrt (sqrt (sin a))) 1 (cbrt (sin a)) (* (cbrt (cbrt (sin a))) (cbrt (cbrt (sin a)))) (cbrt (cbrt (sin a))) (sin a) (sqrt (cbrt (sin a))) (sqrt (cbrt (sin a))) 2/3 2 (pow (sin a) 2) (pow (sin a) 2/3) 2 (log (pow (sin a) 2/3)) (log (pow (sin a) 2/3)) (exp (pow (sin a) 2/3)) (pow (sin a) 2) (* (cbrt (pow (sin a) 2/3)) (cbrt (pow (sin a) 2/3))) (cbrt (pow (sin a) 2/3)) (pow (sin a) 2) (fabs (cbrt (sin a))) (fabs (cbrt (sin a))) (* (cbrt (pow (sin a) 2/3)) (cbrt (pow (sin a) 2/3))) (* (cbrt (cbrt (sin a))) (cbrt (cbrt (sin a)))) (* (cbrt (sqrt (sin a))) (cbrt (sqrt (sin a)))) (* (cbrt (sqrt (sin a))) (cbrt (sqrt (sin a)))) 1 (pow (sin a) 2/3) (pow (cbrt (cbrt (sin a))) 4) (* (cbrt (cbrt (sin a))) (cbrt (cbrt (sin a)))) (cbrt (sin a)) (cbrt (sin a)) 1 (pow (sin a) 2/3) (* (cbrt (sqrt (sin a))) (cbrt (sqrt (sin a)))) (* (cbrt (sqrt (sin a))) (cbrt (sqrt (sin a)))) (* (cbrt (sqrt (sin a))) (sqrt (cbrt (sin a)))) (* (cbrt (sqrt (sin a))) (sqrt (cbrt (sin a)))) (* (cbrt (sqrt (sin a))) (sqrt (cbrt (sin a)))) (* (cbrt (sqrt (sin a))) (sqrt (cbrt (sin a)))) (cbrt (sin a)) (cbrt (sin a)) 2/3 2 (* (cbrt (pow (sin a) 2/3)) (cbrt (sin a))) (* (cbrt (sin a)) (cbrt (sqrt (sin a)))) (cbrt (sin a)) (* (pow (cbrt (cbrt (sin a))) 4) (cbrt (cbrt (sin a)))) (pow (sqrt (cbrt (sin a))) 3) (cbrt (sin a)) (pow (cbrt (cbrt (sin a))) 4) (* (cbrt (sin a)) (cbrt (sqrt (sin a)))) (pow (sin a) 2/3) (pow (cbrt (cbrt (sin a))) 4) (pow (sqrt (cbrt (sin a))) 3) (pow (sin a) 2/3) (- (cbrt a) (* (cbrt a) (+ (* 1/18 (pow a 2)) (* 1/3240 (pow a 4))))) (cbrt (sin a)) (cbrt (sin a)) (- (cbrt a) (* (cbrt a) (+ (* 1/18 (pow a 2)) (* 1/3240 (pow a 4))))) (cbrt (sin a)) (cbrt (sin a)) (- (cbrt a) (* (cbrt a) (+ (* 1/18 (pow a 2)) (* 1/3240 (pow a 4))))) (cbrt (sin a)) (cbrt (sin a)) (* (pow a 2/3) (- (+ (* 1/405 (pow a 4)) 1) (* 1/9 (pow a 2)))) (cbrt (pow (sin a) 2)) (cbrt (pow (sin a) 2)) 4.201 * * * [progress]: adding candidates to table 4.284 * [progress]: [Phase 3 of 3] Extracting. 4.284 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # #) 4.290 * * * [regime-changes]: Trying 3 branch expressions: (b a r) 4.290 * * * * [regimes]: Trying to branch on b from (# # # # # # # # # # # #) 4.379 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # # # #) 4.469 * * * * [regimes]: Trying to branch on r from (# # # # # # # # # # # #) 4.557 * * * [regime]: Found split indices: #