1.322 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.077 * * * [progress]: [2/2] Setting up program. 0.080 * [progress]: [Phase 2 of 3] Improving. 0.080 * [simplify]: Simplifying: (/ (* r (sin b)) (cos (+ a b))) 0.080 * [simplify]: Sending expressions to egg_math: (/ (* h2 (sin h0)) (cos (+ h1 h0))) 0.082 * * [simplify]: iteration 0 : 12 enodes (cost 5 ) 0.083 * * [simplify]: iteration 1 : 16 enodes (cost 5 ) 0.084 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 0.085 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 0.087 * * [simplify]: iteration 4 : 20 enodes (cost 5 ) 0.087 * * [progress]: iteration 1 / 4 0.087 * * * [progress]: picking best candidate 0.089 * * * * [pick]: Picked # 0.089 * * * [progress]: localizing error 0.100 * * * [progress]: generating rewritten candidates 0.101 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.112 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.124 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.139 * * * [progress]: generating series expansions 0.139 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.143 * [backup-simplify]: Simplify (cos (+ a b)) into (cos (+ a b)) 0.143 * [approximate]: Taking taylor expansion of (cos (+ a b)) in (a b) around 0 0.144 * [taylor]: Taking taylor expansion of (cos (+ a b)) in b 0.144 * [taylor]: Taking taylor expansion of (+ a b) in b 0.144 * [taylor]: Taking taylor expansion of a in b 0.144 * [backup-simplify]: Simplify a into a 0.144 * [taylor]: Taking taylor expansion of b in b 0.144 * [backup-simplify]: Simplify 0 into 0 0.144 * [backup-simplify]: Simplify 1 into 1 0.144 * [backup-simplify]: Simplify (+ a 0) into a 0.144 * [backup-simplify]: Simplify (cos a) into (cos a) 0.144 * [backup-simplify]: Simplify (sin a) into (sin a) 0.144 * [taylor]: Taking taylor expansion of (cos (+ a b)) in a 0.144 * [taylor]: Taking taylor expansion of (+ a b) in a 0.144 * [taylor]: Taking taylor expansion of a in a 0.144 * [backup-simplify]: Simplify 0 into 0 0.144 * [backup-simplify]: Simplify 1 into 1 0.144 * [taylor]: Taking taylor expansion of b in a 0.144 * [backup-simplify]: Simplify b into b 0.144 * [backup-simplify]: Simplify (+ 0 b) into b 0.144 * [backup-simplify]: Simplify (cos b) into (cos b) 0.144 * [backup-simplify]: Simplify (sin b) into (sin b) 0.144 * [taylor]: Taking taylor expansion of (cos (+ a b)) in a 0.144 * [taylor]: Taking taylor expansion of (+ a b) in a 0.145 * [taylor]: Taking taylor expansion of a in a 0.145 * [backup-simplify]: Simplify 0 into 0 0.145 * [backup-simplify]: Simplify 1 into 1 0.145 * [taylor]: Taking taylor expansion of b in a 0.145 * [backup-simplify]: Simplify b into b 0.145 * [backup-simplify]: Simplify (+ 0 b) into b 0.145 * [backup-simplify]: Simplify (cos b) into (cos b) 0.145 * [backup-simplify]: Simplify (sin b) into (sin b) 0.147 * [backup-simplify]: Simplify (* (cos b) 1) into (cos b) 0.147 * [backup-simplify]: Simplify (* (sin b) 0) into 0 0.147 * [backup-simplify]: Simplify (- 0) into 0 0.147 * [backup-simplify]: Simplify (+ (cos b) 0) into (cos b) 0.147 * [taylor]: Taking taylor expansion of (cos b) in b 0.147 * [taylor]: Taking taylor expansion of b in b 0.147 * [backup-simplify]: Simplify 0 into 0 0.147 * [backup-simplify]: Simplify 1 into 1 0.147 * [backup-simplify]: Simplify 1 into 1 0.148 * [backup-simplify]: Simplify (+ 0) into 0 0.149 * [backup-simplify]: Simplify (+ (* (cos b) 0) (* 0 1)) into 0 0.149 * [backup-simplify]: Simplify (+ 1 0) into 1 0.150 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 0.150 * [backup-simplify]: Simplify (+ (* (sin b) 1) (* 0 0)) into (sin b) 0.150 * [backup-simplify]: Simplify (- (sin b)) into (- (sin b)) 0.150 * [backup-simplify]: Simplify (+ 0 (- (sin b))) into (- (sin b)) 0.150 * [taylor]: Taking taylor expansion of (- (sin b)) in b 0.150 * [taylor]: Taking taylor expansion of (sin b) in b 0.150 * [taylor]: Taking taylor expansion of b in b 0.150 * [backup-simplify]: Simplify 0 into 0 0.150 * [backup-simplify]: Simplify 1 into 1 0.150 * [backup-simplify]: Simplify (- 0) into 0 0.150 * [backup-simplify]: Simplify 0 into 0 0.151 * [backup-simplify]: Simplify (+ 0) into 0 0.151 * [backup-simplify]: Simplify 0 into 0 0.151 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 0.152 * [backup-simplify]: Simplify (+ (* (cos b) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (cos b))) 0.152 * [backup-simplify]: Simplify (+ 0 0) into 0 0.153 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.153 * [backup-simplify]: Simplify (+ (* (sin b) 0) (+ (* 0 1) (* 0 0))) into 0 0.153 * [backup-simplify]: Simplify (- 0) into 0 0.153 * [backup-simplify]: Simplify (+ (- (* 1/2 (cos b))) 0) into (- (* 1/2 (cos b))) 0.153 * [taylor]: Taking taylor expansion of (- (* 1/2 (cos b))) in b 0.153 * [taylor]: Taking taylor expansion of (* 1/2 (cos b)) in b 0.153 * [taylor]: Taking taylor expansion of 1/2 in b 0.153 * [backup-simplify]: Simplify 1/2 into 1/2 0.153 * [taylor]: Taking taylor expansion of (cos b) in b 0.153 * [taylor]: Taking taylor expansion of b in b 0.153 * [backup-simplify]: Simplify 0 into 0 0.153 * [backup-simplify]: Simplify 1 into 1 0.154 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 0.154 * [backup-simplify]: Simplify (- 1/2) into -1/2 0.154 * [backup-simplify]: Simplify -1/2 into -1/2 0.155 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 0.155 * [backup-simplify]: Simplify (- 1) into -1 0.155 * [backup-simplify]: Simplify -1 into -1 0.155 * [backup-simplify]: Simplify (+ (* -1 (* b a)) (+ (* -1/2 (pow (* 1 a) 2)) 1)) into (- 1 (+ (* 1/2 (pow a 2)) (* a b))) 0.156 * [backup-simplify]: Simplify (cos (+ (/ 1 a) (/ 1 b))) into (cos (+ (/ 1 b) (/ 1 a))) 0.156 * [approximate]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in (a b) around 0 0.156 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in b 0.156 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.156 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.156 * [taylor]: Taking taylor expansion of b in b 0.156 * [backup-simplify]: Simplify 0 into 0 0.156 * [backup-simplify]: Simplify 1 into 1 0.156 * [backup-simplify]: Simplify (/ 1 1) into 1 0.156 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.156 * [taylor]: Taking taylor expansion of a in b 0.156 * [backup-simplify]: Simplify a into a 0.156 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.157 * [backup-simplify]: Simplify (+ 1 0) into 1 0.157 * [backup-simplify]: Simplify (cos (+ (/ 1 b) (/ 1 a))) into (cos (+ (/ 1 a) (/ 1 b))) 0.157 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in a 0.157 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.157 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.157 * [taylor]: Taking taylor expansion of b in a 0.157 * [backup-simplify]: Simplify b into b 0.157 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.157 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.157 * [taylor]: Taking taylor expansion of a in a 0.157 * [backup-simplify]: Simplify 0 into 0 0.157 * [backup-simplify]: Simplify 1 into 1 0.157 * [backup-simplify]: Simplify (/ 1 1) into 1 0.157 * [backup-simplify]: Simplify (+ 0 1) into 1 0.157 * [backup-simplify]: Simplify (cos (+ (/ 1 b) (/ 1 a))) into (cos (+ (/ 1 a) (/ 1 b))) 0.158 * [taylor]: Taking taylor expansion of (cos (+ (/ 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 * [backup-simplify]: Simplify b into b 0.158 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.158 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.158 * [taylor]: Taking taylor expansion of a in a 0.158 * [backup-simplify]: Simplify 0 into 0 0.158 * [backup-simplify]: Simplify 1 into 1 0.158 * [backup-simplify]: Simplify (/ 1 1) into 1 0.158 * [backup-simplify]: Simplify (+ 0 1) into 1 0.158 * [backup-simplify]: Simplify (cos (+ (/ 1 b) (/ 1 a))) into (cos (+ (/ 1 a) (/ 1 b))) 0.158 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 a) (/ 1 b))) in b 0.158 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.158 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.158 * [taylor]: Taking taylor expansion of a in b 0.158 * [backup-simplify]: Simplify a into a 0.158 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.158 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.158 * [taylor]: Taking taylor expansion of b in b 0.158 * [backup-simplify]: Simplify 0 into 0 0.158 * [backup-simplify]: Simplify 1 into 1 0.159 * [backup-simplify]: Simplify (/ 1 1) into 1 0.159 * [backup-simplify]: Simplify (+ 0 1) into 1 0.159 * [backup-simplify]: Simplify (cos (+ (/ 1 a) (/ 1 b))) into (cos (+ (/ 1 b) (/ 1 a))) 0.159 * [backup-simplify]: Simplify (cos (+ (/ 1 b) (/ 1 a))) into (cos (+ (/ 1 a) (/ 1 b))) 0.159 * [taylor]: Taking taylor expansion of 0 in b 0.159 * [backup-simplify]: Simplify 0 into 0 0.159 * [backup-simplify]: Simplify 0 into 0 0.159 * [backup-simplify]: Simplify 0 into 0 0.159 * [taylor]: Taking taylor expansion of 0 in b 0.159 * [backup-simplify]: Simplify 0 into 0 0.159 * [backup-simplify]: Simplify 0 into 0 0.159 * [backup-simplify]: Simplify 0 into 0 0.159 * [backup-simplify]: Simplify 0 into 0 0.159 * [taylor]: Taking taylor expansion of 0 in b 0.159 * [backup-simplify]: Simplify 0 into 0 0.159 * [backup-simplify]: Simplify 0 into 0 0.159 * [backup-simplify]: Simplify (cos (+ (/ 1 (/ 1 a)) (/ 1 (/ 1 b)))) into (cos (+ a b)) 0.160 * [backup-simplify]: Simplify (cos (+ (/ 1 (- a)) (/ 1 (- b)))) into (cos (- (+ (/ 1 b) (/ 1 a)))) 0.160 * [approximate]: Taking taylor expansion of (cos (- (+ (/ 1 b) (/ 1 a)))) in (a b) around 0 0.160 * [taylor]: Taking taylor expansion of (cos (- (+ (/ 1 b) (/ 1 a)))) in b 0.160 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a))) in b 0.160 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.160 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.160 * [taylor]: Taking taylor expansion of b in b 0.160 * [backup-simplify]: Simplify 0 into 0 0.160 * [backup-simplify]: Simplify 1 into 1 0.160 * [backup-simplify]: Simplify (/ 1 1) into 1 0.160 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.160 * [taylor]: Taking taylor expansion of a in b 0.160 * [backup-simplify]: Simplify a into a 0.160 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.160 * [backup-simplify]: Simplify (+ 1 0) into 1 0.160 * [backup-simplify]: Simplify (- 1) into -1 0.161 * [backup-simplify]: Simplify (cos (- (+ (/ 1 b) (/ 1 a)))) into (cos (- (+ (/ 1 b) (/ 1 a)))) 0.161 * [taylor]: Taking taylor expansion of (cos (- (+ (/ 1 b) (/ 1 a)))) in a 0.161 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a))) in a 0.161 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.161 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.161 * [taylor]: Taking taylor expansion of b in a 0.161 * [backup-simplify]: Simplify b into b 0.161 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.161 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.161 * [taylor]: Taking taylor expansion of a in a 0.161 * [backup-simplify]: Simplify 0 into 0 0.161 * [backup-simplify]: Simplify 1 into 1 0.161 * [backup-simplify]: Simplify (/ 1 1) into 1 0.161 * [backup-simplify]: Simplify (+ 0 1) into 1 0.161 * [backup-simplify]: Simplify (- 1) into -1 0.162 * [backup-simplify]: Simplify (cos (- (+ (/ 1 b) (/ 1 a)))) into (cos (- (+ (/ 1 b) (/ 1 a)))) 0.162 * [taylor]: Taking taylor expansion of (cos (- (+ (/ 1 b) (/ 1 a)))) in a 0.162 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a))) in a 0.162 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.162 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.162 * [taylor]: Taking taylor expansion of b in a 0.162 * [backup-simplify]: Simplify b into b 0.162 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.162 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.162 * [taylor]: Taking taylor expansion of a in a 0.162 * [backup-simplify]: Simplify 0 into 0 0.162 * [backup-simplify]: Simplify 1 into 1 0.162 * [backup-simplify]: Simplify (/ 1 1) into 1 0.162 * [backup-simplify]: Simplify (+ 0 1) into 1 0.163 * [backup-simplify]: Simplify (- 1) into -1 0.163 * [backup-simplify]: Simplify (cos (- (+ (/ 1 b) (/ 1 a)))) into (cos (- (+ (/ 1 b) (/ 1 a)))) 0.163 * [taylor]: Taking taylor expansion of (cos (- (+ (/ 1 b) (/ 1 a)))) in b 0.163 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a))) in b 0.163 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 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 * [backup-simplify]: Simplify 0 into 0 0.163 * [backup-simplify]: Simplify 1 into 1 0.163 * [backup-simplify]: Simplify (/ 1 1) into 1 0.163 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.163 * [taylor]: Taking taylor expansion of a in b 0.163 * [backup-simplify]: Simplify a into a 0.163 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.164 * [backup-simplify]: Simplify (+ 1 0) into 1 0.164 * [backup-simplify]: Simplify (- 1) into -1 0.164 * [backup-simplify]: Simplify (cos (- (+ (/ 1 b) (/ 1 a)))) into (cos (- (+ (/ 1 b) (/ 1 a)))) 0.164 * [backup-simplify]: Simplify (cos (- (+ (/ 1 b) (/ 1 a)))) into (cos (- (+ (/ 1 b) (/ 1 a)))) 0.164 * [taylor]: Taking taylor expansion of 0 in b 0.164 * [backup-simplify]: Simplify 0 into 0 0.164 * [backup-simplify]: Simplify 0 into 0 0.164 * [backup-simplify]: Simplify 0 into 0 0.164 * [taylor]: Taking taylor expansion of 0 in b 0.164 * [backup-simplify]: Simplify 0 into 0 0.164 * [backup-simplify]: Simplify 0 into 0 0.164 * [backup-simplify]: Simplify 0 into 0 0.164 * [backup-simplify]: Simplify 0 into 0 0.164 * [taylor]: Taking taylor expansion of 0 in b 0.164 * [backup-simplify]: Simplify 0 into 0 0.164 * [backup-simplify]: Simplify 0 into 0 0.164 * [backup-simplify]: Simplify (cos (- (+ (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a)))))) into (cos (+ a b)) 0.164 * * * * [progress]: [ 2 / 3 ] generating series at (2) 0.165 * [backup-simplify]: Simplify (/ (* r (sin b)) (cos (+ a b))) into (/ (* r (sin b)) (cos (+ a b))) 0.165 * [approximate]: Taking taylor expansion of (/ (* r (sin b)) (cos (+ a b))) in (r b a) around 0 0.165 * [taylor]: Taking taylor expansion of (/ (* r (sin b)) (cos (+ a b))) in a 0.165 * [taylor]: Taking taylor expansion of (* r (sin b)) in a 0.165 * [taylor]: Taking taylor expansion of r in a 0.165 * [backup-simplify]: Simplify r into r 0.165 * [taylor]: Taking taylor expansion of (sin b) in a 0.165 * [taylor]: Taking taylor expansion of b in a 0.165 * [backup-simplify]: Simplify b into b 0.165 * [backup-simplify]: Simplify (sin b) into (sin b) 0.165 * [backup-simplify]: Simplify (cos b) into (cos b) 0.165 * [taylor]: Taking taylor expansion of (cos (+ a b)) in a 0.165 * [taylor]: Taking taylor expansion of (+ a b) in a 0.165 * [taylor]: Taking taylor expansion of a in a 0.165 * [backup-simplify]: Simplify 0 into 0 0.165 * [backup-simplify]: Simplify 1 into 1 0.165 * [taylor]: Taking taylor expansion of b in a 0.165 * [backup-simplify]: Simplify b into b 0.165 * [backup-simplify]: Simplify (+ 0 b) into b 0.165 * [backup-simplify]: Simplify (cos b) into (cos b) 0.165 * [backup-simplify]: Simplify (sin b) into (sin b) 0.165 * [backup-simplify]: Simplify (* (sin b) 1) into (sin b) 0.165 * [backup-simplify]: Simplify (* (cos b) 0) into 0 0.165 * [backup-simplify]: Simplify (+ (sin b) 0) into (sin b) 0.165 * [backup-simplify]: Simplify (* r (sin b)) into (* r (sin b)) 0.165 * [backup-simplify]: Simplify (* (cos b) 1) into (cos b) 0.165 * [backup-simplify]: Simplify (* (sin b) 0) into 0 0.166 * [backup-simplify]: Simplify (- 0) into 0 0.166 * [backup-simplify]: Simplify (+ (cos b) 0) into (cos b) 0.166 * [backup-simplify]: Simplify (/ (* r (sin b)) (cos b)) into (/ (* r (sin b)) (cos b)) 0.166 * [taylor]: Taking taylor expansion of (/ (* r (sin b)) (cos (+ a b))) in b 0.166 * [taylor]: Taking taylor expansion of (* r (sin b)) in b 0.166 * [taylor]: Taking taylor expansion of r in b 0.166 * [backup-simplify]: Simplify r into r 0.166 * [taylor]: Taking taylor expansion of (sin b) in b 0.166 * [taylor]: Taking taylor expansion of b in b 0.166 * [backup-simplify]: Simplify 0 into 0 0.166 * [backup-simplify]: Simplify 1 into 1 0.166 * [taylor]: Taking taylor expansion of (cos (+ a b)) in b 0.166 * [taylor]: Taking taylor expansion of (+ a b) in b 0.166 * [taylor]: Taking taylor expansion of a in b 0.166 * [backup-simplify]: Simplify a into a 0.166 * [taylor]: Taking taylor expansion of b in b 0.166 * [backup-simplify]: Simplify 0 into 0 0.166 * [backup-simplify]: Simplify 1 into 1 0.166 * [backup-simplify]: Simplify (+ a 0) into a 0.166 * [backup-simplify]: Simplify (cos a) into (cos a) 0.166 * [backup-simplify]: Simplify (sin a) into (sin a) 0.166 * [backup-simplify]: Simplify (* r 0) into 0 0.167 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 0.167 * [backup-simplify]: Simplify (+ (* r 1) (* 0 0)) into r 0.167 * [backup-simplify]: Simplify (* (cos a) 1) into (cos a) 0.167 * [backup-simplify]: Simplify (* (sin a) 0) into 0 0.167 * [backup-simplify]: Simplify (- 0) into 0 0.167 * [backup-simplify]: Simplify (+ (cos a) 0) into (cos a) 0.167 * [backup-simplify]: Simplify (/ r (cos a)) into (/ r (cos a)) 0.167 * [taylor]: Taking taylor expansion of (/ (* r (sin b)) (cos (+ a b))) in r 0.167 * [taylor]: Taking taylor expansion of (* r (sin b)) in r 0.167 * [taylor]: Taking taylor expansion of r in r 0.167 * [backup-simplify]: Simplify 0 into 0 0.167 * [backup-simplify]: Simplify 1 into 1 0.167 * [taylor]: Taking taylor expansion of (sin b) in r 0.167 * [taylor]: Taking taylor expansion of b in r 0.167 * [backup-simplify]: Simplify b into b 0.167 * [backup-simplify]: Simplify (sin b) into (sin b) 0.167 * [backup-simplify]: Simplify (cos b) into (cos b) 0.167 * [taylor]: Taking taylor expansion of (cos (+ a b)) in r 0.167 * [taylor]: Taking taylor expansion of (+ a b) in r 0.167 * [taylor]: Taking taylor expansion of a in r 0.168 * [backup-simplify]: Simplify a into a 0.168 * [taylor]: Taking taylor expansion of b in r 0.168 * [backup-simplify]: Simplify b into b 0.168 * [backup-simplify]: Simplify (+ a b) into (+ a b) 0.168 * [backup-simplify]: Simplify (cos (+ a b)) into (cos (+ a b)) 0.168 * [backup-simplify]: Simplify (sin (+ a b)) into (sin (+ a b)) 0.168 * [backup-simplify]: Simplify (* (sin b) 1) into (sin b) 0.168 * [backup-simplify]: Simplify (* (cos b) 0) into 0 0.168 * [backup-simplify]: Simplify (+ (sin b) 0) into (sin b) 0.168 * [backup-simplify]: Simplify (* 0 (sin b)) into 0 0.168 * [backup-simplify]: Simplify (+ 0) into 0 0.168 * [backup-simplify]: Simplify (+ (* (sin b) 0) (* 0 1)) into 0 0.169 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.169 * [backup-simplify]: Simplify (+ (* (cos b) 0) (* 0 0)) into 0 0.169 * [backup-simplify]: Simplify (+ 0 0) into 0 0.170 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin b))) into (sin b) 0.170 * [backup-simplify]: Simplify (* (cos (+ a b)) 1) into (cos (+ a b)) 0.170 * [backup-simplify]: Simplify (* (sin (+ a b)) 0) into 0 0.170 * [backup-simplify]: Simplify (- 0) into 0 0.170 * [backup-simplify]: Simplify (+ (cos (+ a b)) 0) into (cos (+ a b)) 0.170 * [backup-simplify]: Simplify (/ (sin b) (cos (+ a b))) into (/ (sin b) (cos (+ a b))) 0.170 * [taylor]: Taking taylor expansion of (/ (* r (sin b)) (cos (+ a b))) in r 0.170 * [taylor]: Taking taylor expansion of (* r (sin b)) in r 0.170 * [taylor]: Taking taylor expansion of r in r 0.170 * [backup-simplify]: Simplify 0 into 0 0.170 * [backup-simplify]: Simplify 1 into 1 0.170 * [taylor]: Taking taylor expansion of (sin b) in r 0.170 * [taylor]: Taking taylor expansion of b in r 0.170 * [backup-simplify]: Simplify b into b 0.170 * [backup-simplify]: Simplify (sin b) into (sin b) 0.170 * [backup-simplify]: Simplify (cos b) into (cos b) 0.170 * [taylor]: Taking taylor expansion of (cos (+ a b)) in r 0.170 * [taylor]: Taking taylor expansion of (+ a b) in r 0.170 * [taylor]: Taking taylor expansion of a in r 0.170 * [backup-simplify]: Simplify a into a 0.170 * [taylor]: Taking taylor expansion of b in r 0.170 * [backup-simplify]: Simplify b into b 0.170 * [backup-simplify]: Simplify (+ a b) into (+ a b) 0.170 * [backup-simplify]: Simplify (cos (+ a b)) into (cos (+ a b)) 0.170 * [backup-simplify]: Simplify (sin (+ a b)) into (sin (+ a b)) 0.170 * [backup-simplify]: Simplify (* (sin b) 1) into (sin b) 0.171 * [backup-simplify]: Simplify (* (cos b) 0) into 0 0.171 * [backup-simplify]: Simplify (+ (sin b) 0) into (sin b) 0.171 * [backup-simplify]: Simplify (* 0 (sin b)) into 0 0.171 * [backup-simplify]: Simplify (+ 0) into 0 0.171 * [backup-simplify]: Simplify (+ (* (sin b) 0) (* 0 1)) into 0 0.172 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.172 * [backup-simplify]: Simplify (+ (* (cos b) 0) (* 0 0)) into 0 0.172 * [backup-simplify]: Simplify (+ 0 0) into 0 0.172 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin b))) into (sin b) 0.172 * [backup-simplify]: Simplify (* (cos (+ a b)) 1) into (cos (+ a b)) 0.172 * [backup-simplify]: Simplify (* (sin (+ a b)) 0) into 0 0.173 * [backup-simplify]: Simplify (- 0) into 0 0.173 * [backup-simplify]: Simplify (+ (cos (+ a b)) 0) into (cos (+ a b)) 0.173 * [backup-simplify]: Simplify (/ (sin b) (cos (+ a b))) into (/ (sin b) (cos (+ a b))) 0.173 * [taylor]: Taking taylor expansion of (/ (sin b) (cos (+ a b))) in b 0.173 * [taylor]: Taking taylor expansion of (sin b) in b 0.173 * [taylor]: Taking taylor expansion of b in b 0.173 * [backup-simplify]: Simplify 0 into 0 0.173 * [backup-simplify]: Simplify 1 into 1 0.173 * [taylor]: Taking taylor expansion of (cos (+ a b)) in b 0.173 * [taylor]: Taking taylor expansion of (+ a b) in b 0.173 * [taylor]: Taking taylor expansion of a in b 0.173 * [backup-simplify]: Simplify a into a 0.173 * [taylor]: Taking taylor expansion of b in b 0.173 * [backup-simplify]: Simplify 0 into 0 0.173 * [backup-simplify]: Simplify 1 into 1 0.173 * [backup-simplify]: Simplify (+ a 0) into a 0.173 * [backup-simplify]: Simplify (cos a) into (cos a) 0.173 * [backup-simplify]: Simplify (sin a) into (sin a) 0.173 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 0.174 * [backup-simplify]: Simplify (* (cos a) 1) into (cos a) 0.174 * [backup-simplify]: Simplify (* (sin a) 0) into 0 0.174 * [backup-simplify]: Simplify (- 0) into 0 0.174 * [backup-simplify]: Simplify (+ (cos a) 0) into (cos a) 0.174 * [backup-simplify]: Simplify (/ 1 (cos a)) into (/ 1 (cos a)) 0.174 * [taylor]: Taking taylor expansion of (/ 1 (cos a)) in a 0.174 * [taylor]: Taking taylor expansion of (cos a) in a 0.174 * [taylor]: Taking taylor expansion of a in a 0.174 * [backup-simplify]: Simplify 0 into 0 0.174 * [backup-simplify]: Simplify 1 into 1 0.174 * [backup-simplify]: Simplify (/ 1 1) into 1 0.174 * [backup-simplify]: Simplify 1 into 1 0.175 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.175 * [backup-simplify]: Simplify (+ (* (sin b) 0) (+ (* 0 0) (* 0 1))) into 0 0.176 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.176 * [backup-simplify]: Simplify (+ (* (cos b) 0) (+ (* 0 0) (* 0 0))) into 0 0.176 * [backup-simplify]: Simplify (+ 0 0) into 0 0.177 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin b)))) into 0 0.177 * [backup-simplify]: Simplify (+ 0) into 0 0.177 * [backup-simplify]: Simplify (+ (* (cos (+ a b)) 0) (* 0 1)) into 0 0.178 * [backup-simplify]: Simplify (+ 0 0) into 0 0.178 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.178 * [backup-simplify]: Simplify (+ (* (sin (+ a b)) 0) (* 0 0)) into 0 0.178 * [backup-simplify]: Simplify (- 0) into 0 0.179 * [backup-simplify]: Simplify (+ 0 0) into 0 0.179 * [backup-simplify]: Simplify (- (/ 0 (cos (+ a b))) (+ (* (/ (sin b) (cos (+ a b))) (/ 0 (cos (+ a b)))))) into 0 0.179 * [taylor]: Taking taylor expansion of 0 in b 0.179 * [backup-simplify]: Simplify 0 into 0 0.179 * [taylor]: Taking taylor expansion of 0 in a 0.179 * [backup-simplify]: Simplify 0 into 0 0.179 * [backup-simplify]: Simplify 0 into 0 0.179 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.180 * [backup-simplify]: Simplify (+ 0) into 0 0.180 * [backup-simplify]: Simplify (+ (* (cos a) 0) (* 0 1)) into 0 0.180 * [backup-simplify]: Simplify (+ 0 1) into 1 0.180 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 0.181 * [backup-simplify]: Simplify (+ (* (sin a) 1) (* 0 0)) into (sin a) 0.181 * [backup-simplify]: Simplify (- (sin a)) into (- (sin a)) 0.181 * [backup-simplify]: Simplify (+ 0 (- (sin a))) into (- (sin a)) 0.181 * [backup-simplify]: Simplify (- (/ 0 (cos a)) (+ (* (/ 1 (cos a)) (/ (- (sin a)) (cos a))))) into (/ (sin a) (pow (cos a) 2)) 0.181 * [taylor]: Taking taylor expansion of (/ (sin a) (pow (cos a) 2)) in a 0.181 * [taylor]: Taking taylor expansion of (sin a) in a 0.181 * [taylor]: Taking taylor expansion of a in a 0.181 * [backup-simplify]: Simplify 0 into 0 0.181 * [backup-simplify]: Simplify 1 into 1 0.181 * [taylor]: Taking taylor expansion of (pow (cos a) 2) in a 0.181 * [taylor]: Taking taylor expansion of (cos a) in a 0.181 * [taylor]: Taking taylor expansion of a in a 0.181 * [backup-simplify]: Simplify 0 into 0 0.181 * [backup-simplify]: Simplify 1 into 1 0.182 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 0.182 * [backup-simplify]: Simplify (* 1 1) into 1 0.182 * [backup-simplify]: Simplify (/ 1 1) into 1 0.183 * [backup-simplify]: Simplify (+ 0) into 0 0.183 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.183 * [backup-simplify]: Simplify 0 into 0 0.184 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.184 * [backup-simplify]: Simplify (+ (* (sin b) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.185 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.185 * [backup-simplify]: Simplify (+ (* (cos b) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.186 * [backup-simplify]: Simplify (+ 0 0) into 0 0.186 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin b))))) into 0 0.187 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.187 * [backup-simplify]: Simplify (+ (* (cos (+ a b)) 0) (+ (* 0 0) (* 0 1))) into 0 0.187 * [backup-simplify]: Simplify (+ 0 0) into 0 0.188 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.188 * [backup-simplify]: Simplify (+ (* (sin (+ a b)) 0) (+ (* 0 0) (* 0 0))) into 0 0.188 * [backup-simplify]: Simplify (- 0) into 0 0.188 * [backup-simplify]: Simplify (+ 0 0) into 0 0.189 * [backup-simplify]: Simplify (- (/ 0 (cos (+ a b))) (+ (* (/ (sin b) (cos (+ a b))) (/ 0 (cos (+ a b)))) (* 0 (/ 0 (cos (+ a b)))))) into 0 0.189 * [taylor]: Taking taylor expansion of 0 in b 0.189 * [backup-simplify]: Simplify 0 into 0 0.189 * [taylor]: Taking taylor expansion of 0 in a 0.189 * [backup-simplify]: Simplify 0 into 0 0.189 * [backup-simplify]: Simplify 0 into 0 0.189 * [taylor]: Taking taylor expansion of 0 in a 0.189 * [backup-simplify]: Simplify 0 into 0 0.189 * [backup-simplify]: Simplify 0 into 0 0.190 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6 0.190 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 0.190 * [backup-simplify]: Simplify (+ (* (cos a) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (cos a))) 0.191 * [backup-simplify]: Simplify (+ 0 0) into 0 0.191 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.191 * [backup-simplify]: Simplify (+ (* (sin a) 0) (+ (* 0 1) (* 0 0))) into 0 0.192 * [backup-simplify]: Simplify (- 0) into 0 0.192 * [backup-simplify]: Simplify (+ (- (* 1/2 (cos a))) 0) into (- (* 1/2 (cos a))) 0.192 * [backup-simplify]: Simplify (- (/ -1/6 (cos a)) (+ (* (/ 1 (cos a)) (/ (- (* 1/2 (cos a))) (cos a))) (* (/ (sin a) (pow (cos a) 2)) (/ (- (sin a)) (cos a))))) into (+ (* 1/3 (/ 1 (cos a))) (/ (pow (sin a) 2) (pow (cos a) 3))) 0.192 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (cos a))) (/ (pow (sin a) 2) (pow (cos a) 3))) in a 0.192 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (cos a))) in a 0.192 * [taylor]: Taking taylor expansion of 1/3 in a 0.192 * [backup-simplify]: Simplify 1/3 into 1/3 0.192 * [taylor]: Taking taylor expansion of (/ 1 (cos a)) in a 0.192 * [taylor]: Taking taylor expansion of (cos a) in a 0.192 * [taylor]: Taking taylor expansion of a in a 0.192 * [backup-simplify]: Simplify 0 into 0 0.192 * [backup-simplify]: Simplify 1 into 1 0.193 * [backup-simplify]: Simplify (/ 1 1) into 1 0.193 * [taylor]: Taking taylor expansion of (/ (pow (sin a) 2) (pow (cos a) 3)) in a 0.193 * [taylor]: Taking taylor expansion of (pow (sin a) 2) in a 0.193 * [taylor]: Taking taylor expansion of (sin a) in a 0.193 * [taylor]: Taking taylor expansion of a in a 0.193 * [backup-simplify]: Simplify 0 into 0 0.193 * [backup-simplify]: Simplify 1 into 1 0.193 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 0.193 * [taylor]: Taking taylor expansion of (pow (cos a) 3) in a 0.193 * [taylor]: Taking taylor expansion of (cos a) in a 0.193 * [taylor]: Taking taylor expansion of a in a 0.193 * [backup-simplify]: Simplify 0 into 0 0.193 * [backup-simplify]: Simplify 1 into 1 0.193 * [backup-simplify]: Simplify (* 1 1) into 1 0.194 * [backup-simplify]: Simplify (* 1 1) into 1 0.194 * [backup-simplify]: Simplify (* 1 1) into 1 0.194 * [backup-simplify]: Simplify (/ 1 1) into 1 0.194 * [backup-simplify]: Simplify (* 1/3 1) into 1/3 0.195 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 0.195 * [backup-simplify]: Simplify 1/3 into 1/3 0.195 * [backup-simplify]: Simplify 0 into 0 0.195 * [backup-simplify]: Simplify 1 into 1 0.195 * [backup-simplify]: Simplify (+ (* 1 (* a (* (pow b 2) r))) (+ (* 1/3 (* 1 (* (pow b 3) r))) (* 1 (* 1 (* b r))))) into (+ (* a (* r (pow b 2))) (+ (* r b) (* 1/3 (* r (pow b 3))))) 0.196 * [backup-simplify]: Simplify (/ (* (/ 1 r) (sin (/ 1 b))) (cos (+ (/ 1 a) (/ 1 b)))) into (/ (sin (/ 1 b)) (* (cos (+ (/ 1 b) (/ 1 a))) r)) 0.196 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 b)) (* (cos (+ (/ 1 b) (/ 1 a))) r)) in (r b a) around 0 0.196 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* (cos (+ (/ 1 b) (/ 1 a))) r)) in a 0.196 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a 0.196 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.196 * [taylor]: Taking taylor expansion of b in a 0.196 * [backup-simplify]: Simplify b into b 0.196 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.196 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.196 * [backup-simplify]: Simplify (cos (/ 1 b)) into (cos (/ 1 b)) 0.196 * [taylor]: Taking taylor expansion of (* (cos (+ (/ 1 b) (/ 1 a))) r) in a 0.196 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in a 0.196 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.196 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.196 * [taylor]: Taking taylor expansion of b in a 0.196 * [backup-simplify]: Simplify b into b 0.196 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.196 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.196 * [taylor]: Taking taylor expansion of a in a 0.196 * [backup-simplify]: Simplify 0 into 0 0.196 * [backup-simplify]: Simplify 1 into 1 0.196 * [backup-simplify]: Simplify (/ 1 1) into 1 0.197 * [backup-simplify]: Simplify (+ 0 1) into 1 0.197 * [backup-simplify]: Simplify (cos (+ (/ 1 b) (/ 1 a))) into (cos (+ (/ 1 a) (/ 1 b))) 0.197 * [taylor]: Taking taylor expansion of r in a 0.197 * [backup-simplify]: Simplify r into r 0.197 * [backup-simplify]: Simplify (* (sin (/ 1 b)) 1) into (sin (/ 1 b)) 0.197 * [backup-simplify]: Simplify (* (cos (/ 1 b)) 0) into 0 0.197 * [backup-simplify]: Simplify (+ (sin (/ 1 b)) 0) into (sin (/ 1 b)) 0.197 * [backup-simplify]: Simplify (* (cos (+ (/ 1 a) (/ 1 b))) r) into (* r (cos (+ (/ 1 b) (/ 1 a)))) 0.197 * [backup-simplify]: Simplify (/ (sin (/ 1 b)) (* r (cos (+ (/ 1 b) (/ 1 a))))) into (/ (sin (/ 1 b)) (* (cos (+ (/ 1 a) (/ 1 b))) r)) 0.197 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* (cos (+ (/ 1 b) (/ 1 a))) r)) in b 0.197 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 0.197 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.197 * [taylor]: Taking taylor expansion of b in b 0.197 * [backup-simplify]: Simplify 0 into 0 0.197 * [backup-simplify]: Simplify 1 into 1 0.197 * [backup-simplify]: Simplify (/ 1 1) into 1 0.198 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.198 * [taylor]: Taking taylor expansion of (* (cos (+ (/ 1 b) (/ 1 a))) r) in b 0.198 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in b 0.198 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.198 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.198 * [taylor]: Taking taylor expansion of b in b 0.198 * [backup-simplify]: Simplify 0 into 0 0.198 * [backup-simplify]: Simplify 1 into 1 0.198 * [backup-simplify]: Simplify (/ 1 1) into 1 0.198 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.198 * [taylor]: Taking taylor expansion of a in b 0.198 * [backup-simplify]: Simplify a into a 0.198 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.198 * [backup-simplify]: Simplify (+ 1 0) into 1 0.198 * [backup-simplify]: Simplify (cos (+ (/ 1 b) (/ 1 a))) into (cos (+ (/ 1 a) (/ 1 b))) 0.198 * [taylor]: Taking taylor expansion of r in b 0.198 * [backup-simplify]: Simplify r into r 0.198 * [backup-simplify]: Simplify (* (cos (+ (/ 1 a) (/ 1 b))) r) into (* r (cos (+ (/ 1 b) (/ 1 a)))) 0.199 * [backup-simplify]: Simplify (/ (sin (/ 1 b)) (* r (cos (+ (/ 1 b) (/ 1 a))))) into (/ (sin (/ 1 b)) (* (cos (+ (/ 1 a) (/ 1 b))) r)) 0.199 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* (cos (+ (/ 1 b) (/ 1 a))) r)) in r 0.199 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r 0.199 * [taylor]: Taking taylor expansion of (/ 1 b) in r 0.199 * [taylor]: Taking taylor expansion of b in r 0.199 * [backup-simplify]: Simplify b into b 0.199 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.199 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.199 * [backup-simplify]: Simplify (cos (/ 1 b)) into (cos (/ 1 b)) 0.199 * [taylor]: Taking taylor expansion of (* (cos (+ (/ 1 b) (/ 1 a))) r) in r 0.199 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in r 0.199 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in r 0.199 * [taylor]: Taking taylor expansion of (/ 1 b) in r 0.199 * [taylor]: Taking taylor expansion of b in r 0.199 * [backup-simplify]: Simplify b into b 0.199 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.199 * [taylor]: Taking taylor expansion of (/ 1 a) in r 0.199 * [taylor]: Taking taylor expansion of a in r 0.199 * [backup-simplify]: Simplify a into a 0.199 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.199 * [backup-simplify]: Simplify (+ (/ 1 b) (/ 1 a)) into (+ (/ 1 a) (/ 1 b)) 0.199 * [backup-simplify]: Simplify (cos (+ (/ 1 a) (/ 1 b))) into (cos (+ (/ 1 b) (/ 1 a))) 0.199 * [backup-simplify]: Simplify (sin (+ (/ 1 a) (/ 1 b))) into (sin (+ (/ 1 b) (/ 1 a))) 0.199 * [taylor]: Taking taylor expansion of r in r 0.199 * [backup-simplify]: Simplify 0 into 0 0.199 * [backup-simplify]: Simplify 1 into 1 0.199 * [backup-simplify]: Simplify (* (sin (/ 1 b)) 1) into (sin (/ 1 b)) 0.199 * [backup-simplify]: Simplify (* (cos (/ 1 b)) 0) into 0 0.199 * [backup-simplify]: Simplify (+ (sin (/ 1 b)) 0) into (sin (/ 1 b)) 0.199 * [backup-simplify]: Simplify (* (cos (+ (/ 1 b) (/ 1 a))) 1) into (cos (+ (/ 1 a) (/ 1 b))) 0.200 * [backup-simplify]: Simplify (* (sin (+ (/ 1 b) (/ 1 a))) 0) into 0 0.200 * [backup-simplify]: Simplify (- 0) into 0 0.200 * [backup-simplify]: Simplify (+ (cos (+ (/ 1 a) (/ 1 b))) 0) into (cos (+ (/ 1 b) (/ 1 a))) 0.200 * [backup-simplify]: Simplify (* (cos (+ (/ 1 b) (/ 1 a))) 0) into 0 0.200 * [backup-simplify]: Simplify (+ 0) into 0 0.201 * [backup-simplify]: Simplify (+ (* (cos (+ (/ 1 b) (/ 1 a))) 0) (* 0 1)) into 0 0.201 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.201 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.201 * [backup-simplify]: Simplify (+ 0 0) into 0 0.201 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.202 * [backup-simplify]: Simplify (+ (* (sin (+ (/ 1 b) (/ 1 a))) 0) (* 0 0)) into 0 0.202 * [backup-simplify]: Simplify (- 0) into 0 0.202 * [backup-simplify]: Simplify (+ 0 0) into 0 0.202 * [backup-simplify]: Simplify (+ (* (cos (+ (/ 1 b) (/ 1 a))) 1) (* 0 0)) into (cos (+ (/ 1 a) (/ 1 b))) 0.202 * [backup-simplify]: Simplify (/ (sin (/ 1 b)) (cos (+ (/ 1 a) (/ 1 b)))) into (/ (sin (/ 1 b)) (cos (+ (/ 1 b) (/ 1 a)))) 0.203 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* (cos (+ (/ 1 b) (/ 1 a))) r)) in r 0.203 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r 0.203 * [taylor]: Taking taylor expansion of (/ 1 b) in r 0.203 * [taylor]: Taking taylor expansion of b in r 0.203 * [backup-simplify]: Simplify b into b 0.203 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.203 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.203 * [backup-simplify]: Simplify (cos (/ 1 b)) into (cos (/ 1 b)) 0.203 * [taylor]: Taking taylor expansion of (* (cos (+ (/ 1 b) (/ 1 a))) r) in r 0.203 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in r 0.203 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in r 0.203 * [taylor]: Taking taylor expansion of (/ 1 b) in r 0.203 * [taylor]: Taking taylor expansion of b in r 0.203 * [backup-simplify]: Simplify b into b 0.203 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.203 * [taylor]: Taking taylor expansion of (/ 1 a) in r 0.203 * [taylor]: Taking taylor expansion of a in r 0.203 * [backup-simplify]: Simplify a into a 0.203 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.203 * [backup-simplify]: Simplify (+ (/ 1 b) (/ 1 a)) into (+ (/ 1 a) (/ 1 b)) 0.203 * [backup-simplify]: Simplify (cos (+ (/ 1 a) (/ 1 b))) into (cos (+ (/ 1 b) (/ 1 a))) 0.203 * [backup-simplify]: Simplify (sin (+ (/ 1 a) (/ 1 b))) into (sin (+ (/ 1 b) (/ 1 a))) 0.203 * [taylor]: Taking taylor expansion of r in r 0.203 * [backup-simplify]: Simplify 0 into 0 0.203 * [backup-simplify]: Simplify 1 into 1 0.203 * [backup-simplify]: Simplify (* (sin (/ 1 b)) 1) into (sin (/ 1 b)) 0.203 * [backup-simplify]: Simplify (* (cos (/ 1 b)) 0) into 0 0.203 * [backup-simplify]: Simplify (+ (sin (/ 1 b)) 0) into (sin (/ 1 b)) 0.203 * [backup-simplify]: Simplify (* (cos (+ (/ 1 b) (/ 1 a))) 1) into (cos (+ (/ 1 a) (/ 1 b))) 0.204 * [backup-simplify]: Simplify (* (sin (+ (/ 1 b) (/ 1 a))) 0) into 0 0.204 * [backup-simplify]: Simplify (- 0) into 0 0.204 * [backup-simplify]: Simplify (+ (cos (+ (/ 1 a) (/ 1 b))) 0) into (cos (+ (/ 1 b) (/ 1 a))) 0.204 * [backup-simplify]: Simplify (* (cos (+ (/ 1 b) (/ 1 a))) 0) into 0 0.204 * [backup-simplify]: Simplify (+ 0) into 0 0.204 * [backup-simplify]: Simplify (+ (* (cos (+ (/ 1 b) (/ 1 a))) 0) (* 0 1)) into 0 0.205 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.205 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.205 * [backup-simplify]: Simplify (+ 0 0) into 0 0.205 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.206 * [backup-simplify]: Simplify (+ (* (sin (+ (/ 1 b) (/ 1 a))) 0) (* 0 0)) into 0 0.206 * [backup-simplify]: Simplify (- 0) into 0 0.206 * [backup-simplify]: Simplify (+ 0 0) into 0 0.206 * [backup-simplify]: Simplify (+ (* (cos (+ (/ 1 b) (/ 1 a))) 1) (* 0 0)) into (cos (+ (/ 1 a) (/ 1 b))) 0.206 * [backup-simplify]: Simplify (/ (sin (/ 1 b)) (cos (+ (/ 1 a) (/ 1 b)))) into (/ (sin (/ 1 b)) (cos (+ (/ 1 b) (/ 1 a)))) 0.207 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (cos (+ (/ 1 b) (/ 1 a)))) in b 0.207 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 0.207 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.207 * [taylor]: Taking taylor expansion of b in b 0.207 * [backup-simplify]: Simplify 0 into 0 0.207 * [backup-simplify]: Simplify 1 into 1 0.207 * [backup-simplify]: Simplify (/ 1 1) into 1 0.207 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.207 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in b 0.207 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.207 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.207 * [taylor]: Taking taylor expansion of b in b 0.207 * [backup-simplify]: Simplify 0 into 0 0.207 * [backup-simplify]: Simplify 1 into 1 0.207 * [backup-simplify]: Simplify (/ 1 1) into 1 0.207 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.207 * [taylor]: Taking taylor expansion of a in b 0.207 * [backup-simplify]: Simplify a into a 0.207 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.208 * [backup-simplify]: Simplify (+ 1 0) into 1 0.208 * [backup-simplify]: Simplify (cos (+ (/ 1 b) (/ 1 a))) into (cos (+ (/ 1 a) (/ 1 b))) 0.208 * [backup-simplify]: Simplify (/ (sin (/ 1 b)) (cos (+ (/ 1 a) (/ 1 b)))) into (/ (sin (/ 1 b)) (cos (+ (/ 1 b) (/ 1 a)))) 0.208 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (cos (+ (/ 1 b) (/ 1 a)))) in a 0.208 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a 0.208 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.208 * [taylor]: Taking taylor expansion of b in a 0.208 * [backup-simplify]: Simplify b into b 0.208 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.208 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.208 * [backup-simplify]: Simplify (cos (/ 1 b)) into (cos (/ 1 b)) 0.208 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in a 0.208 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.208 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.208 * [taylor]: Taking taylor expansion of b in a 0.208 * [backup-simplify]: Simplify b into b 0.208 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.208 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.208 * [taylor]: Taking taylor expansion of a in a 0.208 * [backup-simplify]: Simplify 0 into 0 0.208 * [backup-simplify]: Simplify 1 into 1 0.208 * [backup-simplify]: Simplify (/ 1 1) into 1 0.209 * [backup-simplify]: Simplify (+ 0 1) into 1 0.209 * [backup-simplify]: Simplify (cos (+ (/ 1 b) (/ 1 a))) into (cos (+ (/ 1 a) (/ 1 b))) 0.209 * [backup-simplify]: Simplify (* (sin (/ 1 b)) 1) into (sin (/ 1 b)) 0.209 * [backup-simplify]: Simplify (* (cos (/ 1 b)) 0) into 0 0.209 * [backup-simplify]: Simplify (+ (sin (/ 1 b)) 0) into (sin (/ 1 b)) 0.209 * [backup-simplify]: Simplify (/ (sin (/ 1 b)) (cos (+ (/ 1 a) (/ 1 b)))) into (/ (sin (/ 1 b)) (cos (+ (/ 1 b) (/ 1 a)))) 0.209 * [backup-simplify]: Simplify (/ (sin (/ 1 b)) (cos (+ (/ 1 b) (/ 1 a)))) into (/ (sin (/ 1 b)) (cos (+ (/ 1 a) (/ 1 b)))) 0.209 * [backup-simplify]: Simplify (+ 0) into 0 0.210 * [backup-simplify]: Simplify (+ (* (sin (/ 1 b)) 0) (* 0 1)) into 0 0.210 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.210 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.210 * [backup-simplify]: Simplify (+ (* (cos (/ 1 b)) 0) (* 0 0)) into 0 0.211 * [backup-simplify]: Simplify (+ 0 0) into 0 0.211 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.211 * [backup-simplify]: Simplify (+ (* (cos (+ (/ 1 b) (/ 1 a))) 0) (+ (* 0 0) (* 0 1))) into 0 0.212 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.212 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 0.212 * [backup-simplify]: Simplify (+ 0 0) into 0 0.213 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.213 * [backup-simplify]: Simplify (+ (* (sin (+ (/ 1 b) (/ 1 a))) 0) (+ (* 0 0) (* 0 0))) into 0 0.213 * [backup-simplify]: Simplify (- 0) into 0 0.213 * [backup-simplify]: Simplify (+ 0 0) into 0 0.214 * [backup-simplify]: Simplify (+ (* (cos (+ (/ 1 b) (/ 1 a))) 0) (+ (* 0 1) (* 0 0))) into 0 0.214 * [backup-simplify]: Simplify (- (/ 0 (cos (+ (/ 1 a) (/ 1 b)))) (+ (* (/ (sin (/ 1 b)) (cos (+ (/ 1 b) (/ 1 a)))) (/ 0 (cos (+ (/ 1 a) (/ 1 b))))))) into 0 0.214 * [taylor]: Taking taylor expansion of 0 in b 0.214 * [backup-simplify]: Simplify 0 into 0 0.214 * [taylor]: Taking taylor expansion of 0 in a 0.214 * [backup-simplify]: Simplify 0 into 0 0.214 * [backup-simplify]: Simplify 0 into 0 0.214 * [backup-simplify]: Simplify (- (/ 0 (cos (+ (/ 1 a) (/ 1 b)))) (+ (* (/ (sin (/ 1 b)) (cos (+ (/ 1 b) (/ 1 a)))) (/ 0 (cos (+ (/ 1 a) (/ 1 b))))))) into 0 0.214 * [taylor]: Taking taylor expansion of 0 in a 0.214 * [backup-simplify]: Simplify 0 into 0 0.214 * [backup-simplify]: Simplify 0 into 0 0.215 * [backup-simplify]: Simplify (+ 0) into 0 0.215 * [backup-simplify]: Simplify (+ (* (sin (/ 1 b)) 0) (* 0 1)) into 0 0.215 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.216 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.216 * [backup-simplify]: Simplify (+ (* (cos (/ 1 b)) 0) (* 0 0)) into 0 0.216 * [backup-simplify]: Simplify (+ 0 0) into 0 0.216 * [backup-simplify]: Simplify (- (/ 0 (cos (+ (/ 1 a) (/ 1 b)))) (+ (* (/ (sin (/ 1 b)) (cos (+ (/ 1 b) (/ 1 a)))) (/ 0 (cos (+ (/ 1 a) (/ 1 b))))))) into 0 0.216 * [backup-simplify]: Simplify 0 into 0 0.217 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.217 * [backup-simplify]: Simplify (+ (* (sin (/ 1 b)) 0) (+ (* 0 0) (* 0 1))) into 0 0.217 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.218 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.218 * [backup-simplify]: Simplify (+ (* (cos (/ 1 b)) 0) (+ (* 0 0) (* 0 0))) into 0 0.218 * [backup-simplify]: Simplify (+ 0 0) into 0 0.219 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.219 * [backup-simplify]: Simplify (+ (* (cos (+ (/ 1 b) (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.220 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.220 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 0.220 * [backup-simplify]: Simplify (+ 0 0) into 0 0.221 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.221 * [backup-simplify]: Simplify (+ (* (sin (+ (/ 1 b) (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.221 * [backup-simplify]: Simplify (- 0) into 0 0.221 * [backup-simplify]: Simplify (+ 0 0) into 0 0.222 * [backup-simplify]: Simplify (+ (* (cos (+ (/ 1 b) (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.222 * [backup-simplify]: Simplify (- (/ 0 (cos (+ (/ 1 a) (/ 1 b)))) (+ (* (/ (sin (/ 1 b)) (cos (+ (/ 1 b) (/ 1 a)))) (/ 0 (cos (+ (/ 1 a) (/ 1 b))))) (* 0 (/ 0 (cos (+ (/ 1 a) (/ 1 b))))))) into 0 0.222 * [taylor]: Taking taylor expansion of 0 in b 0.222 * [backup-simplify]: Simplify 0 into 0 0.222 * [taylor]: Taking taylor expansion of 0 in a 0.223 * [backup-simplify]: Simplify 0 into 0 0.223 * [backup-simplify]: Simplify 0 into 0 0.223 * [taylor]: Taking taylor expansion of 0 in a 0.223 * [backup-simplify]: Simplify 0 into 0 0.223 * [backup-simplify]: Simplify 0 into 0 0.223 * [backup-simplify]: Simplify (- (/ 0 (cos (+ (/ 1 a) (/ 1 b)))) (+ (* (/ (sin (/ 1 b)) (cos (+ (/ 1 b) (/ 1 a)))) (/ 0 (cos (+ (/ 1 a) (/ 1 b))))) (* 0 (/ 0 (cos (+ (/ 1 a) (/ 1 b))))))) into 0 0.223 * [taylor]: Taking taylor expansion of 0 in a 0.223 * [backup-simplify]: Simplify 0 into 0 0.223 * [backup-simplify]: Simplify 0 into 0 0.223 * [backup-simplify]: Simplify (* (/ (sin (/ 1 (/ 1 b))) (cos (+ (/ 1 (/ 1 a)) (/ 1 (/ 1 b))))) (* 1 (* 1 (/ 1 (/ 1 r))))) into (/ (* r (sin b)) (cos (+ a b))) 0.223 * [backup-simplify]: Simplify (/ (* (/ 1 (- r)) (sin (/ 1 (- b)))) (cos (+ (/ 1 (- a)) (/ 1 (- b))))) into (* -1 (/ (sin (/ -1 b)) (* (cos (- (+ (/ 1 b) (/ 1 a)))) r))) 0.223 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (cos (- (+ (/ 1 b) (/ 1 a)))) r))) in (r b a) around 0 0.223 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (cos (- (+ (/ 1 b) (/ 1 a)))) r))) in a 0.224 * [taylor]: Taking taylor expansion of -1 in a 0.224 * [backup-simplify]: Simplify -1 into -1 0.224 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* (cos (- (+ (/ 1 b) (/ 1 a)))) r)) in a 0.224 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a 0.224 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.224 * [taylor]: Taking taylor expansion of -1 in a 0.224 * [backup-simplify]: Simplify -1 into -1 0.224 * [taylor]: Taking taylor expansion of b in a 0.224 * [backup-simplify]: Simplify b into b 0.224 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b) 0.224 * [backup-simplify]: Simplify (sin (/ -1 b)) into (sin (/ -1 b)) 0.224 * [backup-simplify]: Simplify (cos (/ -1 b)) into (cos (/ -1 b)) 0.224 * [taylor]: Taking taylor expansion of (* (cos (- (+ (/ 1 b) (/ 1 a)))) r) in a 0.224 * [taylor]: Taking taylor expansion of (cos (- (+ (/ 1 b) (/ 1 a)))) in a 0.224 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a))) in a 0.224 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.224 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.224 * [taylor]: Taking taylor expansion of b in a 0.224 * [backup-simplify]: Simplify b into b 0.224 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.224 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.224 * [taylor]: Taking taylor expansion of a in a 0.224 * [backup-simplify]: Simplify 0 into 0 0.224 * [backup-simplify]: Simplify 1 into 1 0.224 * [backup-simplify]: Simplify (/ 1 1) into 1 0.225 * [backup-simplify]: Simplify (+ 0 1) into 1 0.225 * [backup-simplify]: Simplify (- 1) into -1 0.225 * [backup-simplify]: Simplify (cos (- (+ (/ 1 b) (/ 1 a)))) into (cos (- (+ (/ 1 b) (/ 1 a)))) 0.225 * [taylor]: Taking taylor expansion of r in a 0.225 * [backup-simplify]: Simplify r into r 0.225 * [backup-simplify]: Simplify (* (sin (/ -1 b)) 1) into (sin (/ -1 b)) 0.225 * [backup-simplify]: Simplify (* (cos (/ -1 b)) 0) into 0 0.225 * [backup-simplify]: Simplify (+ (sin (/ -1 b)) 0) into (sin (/ -1 b)) 0.225 * [backup-simplify]: Simplify (* (cos (- (+ (/ 1 b) (/ 1 a)))) r) into (* r (cos (- (+ (/ 1 b) (/ 1 a))))) 0.225 * [backup-simplify]: Simplify (/ (sin (/ -1 b)) (* r (cos (- (+ (/ 1 b) (/ 1 a)))))) into (/ (sin (/ -1 b)) (* (cos (- (+ (/ 1 b) (/ 1 a)))) r)) 0.225 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (cos (- (+ (/ 1 b) (/ 1 a)))) r))) in b 0.225 * [taylor]: Taking taylor expansion of -1 in b 0.225 * [backup-simplify]: Simplify -1 into -1 0.225 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* (cos (- (+ (/ 1 b) (/ 1 a)))) r)) in b 0.225 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 0.225 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.225 * [taylor]: Taking taylor expansion of -1 in b 0.225 * [backup-simplify]: Simplify -1 into -1 0.225 * [taylor]: Taking taylor expansion of b in b 0.225 * [backup-simplify]: Simplify 0 into 0 0.226 * [backup-simplify]: Simplify 1 into 1 0.226 * [backup-simplify]: Simplify (/ -1 1) into -1 0.226 * [backup-simplify]: Simplify (sin (/ -1 b)) into (sin (/ -1 b)) 0.226 * [taylor]: Taking taylor expansion of (* (cos (- (+ (/ 1 b) (/ 1 a)))) r) in b 0.226 * [taylor]: Taking taylor expansion of (cos (- (+ (/ 1 b) (/ 1 a)))) in b 0.226 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a))) in b 0.226 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.226 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.226 * [taylor]: Taking taylor expansion of b in b 0.226 * [backup-simplify]: Simplify 0 into 0 0.226 * [backup-simplify]: Simplify 1 into 1 0.226 * [backup-simplify]: Simplify (/ 1 1) into 1 0.226 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.226 * [taylor]: Taking taylor expansion of a in b 0.226 * [backup-simplify]: Simplify a into a 0.226 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.226 * [backup-simplify]: Simplify (+ 1 0) into 1 0.227 * [backup-simplify]: Simplify (- 1) into -1 0.227 * [backup-simplify]: Simplify (cos (- (+ (/ 1 b) (/ 1 a)))) into (cos (- (+ (/ 1 b) (/ 1 a)))) 0.227 * [taylor]: Taking taylor expansion of r in b 0.227 * [backup-simplify]: Simplify r into r 0.227 * [backup-simplify]: Simplify (* (cos (- (+ (/ 1 b) (/ 1 a)))) r) into (* r (cos (- (+ (/ 1 b) (/ 1 a))))) 0.227 * [backup-simplify]: Simplify (/ (sin (/ -1 b)) (* r (cos (- (+ (/ 1 b) (/ 1 a)))))) into (/ (sin (/ -1 b)) (* (cos (- (+ (/ 1 b) (/ 1 a)))) r)) 0.227 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (cos (- (+ (/ 1 b) (/ 1 a)))) r))) in r 0.227 * [taylor]: Taking taylor expansion of -1 in r 0.227 * [backup-simplify]: Simplify -1 into -1 0.227 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* (cos (- (+ (/ 1 b) (/ 1 a)))) r)) in r 0.227 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r 0.227 * [taylor]: Taking taylor expansion of (/ -1 b) in r 0.227 * [taylor]: Taking taylor expansion of -1 in r 0.227 * [backup-simplify]: Simplify -1 into -1 0.227 * [taylor]: Taking taylor expansion of b in r 0.227 * [backup-simplify]: Simplify b into b 0.227 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b) 0.227 * [backup-simplify]: Simplify (sin (/ -1 b)) into (sin (/ -1 b)) 0.227 * [backup-simplify]: Simplify (cos (/ -1 b)) into (cos (/ -1 b)) 0.227 * [taylor]: Taking taylor expansion of (* (cos (- (+ (/ 1 b) (/ 1 a)))) r) in r 0.227 * [taylor]: Taking taylor expansion of (cos (- (+ (/ 1 b) (/ 1 a)))) in r 0.227 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a))) in r 0.227 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in r 0.227 * [taylor]: Taking taylor expansion of (/ 1 b) in r 0.228 * [taylor]: Taking taylor expansion of b in r 0.228 * [backup-simplify]: Simplify b into b 0.228 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.228 * [taylor]: Taking taylor expansion of (/ 1 a) in r 0.228 * [taylor]: Taking taylor expansion of a in r 0.228 * [backup-simplify]: Simplify a into a 0.228 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.228 * [backup-simplify]: Simplify (+ (/ 1 b) (/ 1 a)) into (+ (/ 1 a) (/ 1 b)) 0.228 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 b))) into (- (+ (/ 1 a) (/ 1 b))) 0.228 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 b))) into (- (+ (/ 1 a) (/ 1 b))) 0.228 * [backup-simplify]: Simplify (cos (- (+ (/ 1 a) (/ 1 b)))) into (cos (- (+ (/ 1 a) (/ 1 b)))) 0.228 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 b))) into (- (+ (/ 1 a) (/ 1 b))) 0.228 * [backup-simplify]: Simplify (sin (- (+ (/ 1 a) (/ 1 b)))) into (sin (- (+ (/ 1 a) (/ 1 b)))) 0.228 * [taylor]: Taking taylor expansion of r in r 0.228 * [backup-simplify]: Simplify 0 into 0 0.228 * [backup-simplify]: Simplify 1 into 1 0.228 * [backup-simplify]: Simplify (* (sin (/ -1 b)) 1) into (sin (/ -1 b)) 0.228 * [backup-simplify]: Simplify (* (cos (/ -1 b)) 0) into 0 0.228 * [backup-simplify]: Simplify (+ (sin (/ -1 b)) 0) into (sin (/ -1 b)) 0.228 * [backup-simplify]: Simplify (* (cos (- (+ (/ 1 a) (/ 1 b)))) 1) into (cos (- (+ (/ 1 a) (/ 1 b)))) 0.229 * [backup-simplify]: Simplify (* (sin (- (+ (/ 1 a) (/ 1 b)))) 0) into 0 0.229 * [backup-simplify]: Simplify (- 0) into 0 0.229 * [backup-simplify]: Simplify (+ (cos (- (+ (/ 1 a) (/ 1 b)))) 0) into (cos (- (+ (/ 1 a) (/ 1 b)))) 0.229 * [backup-simplify]: Simplify (* (cos (- (+ (/ 1 a) (/ 1 b)))) 0) into 0 0.229 * [backup-simplify]: Simplify (+ 0) into 0 0.230 * [backup-simplify]: Simplify (+ (* (cos (- (+ (/ 1 a) (/ 1 b)))) 0) (* 0 1)) into 0 0.230 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.230 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.230 * [backup-simplify]: Simplify (+ 0 0) into 0 0.230 * [backup-simplify]: Simplify (- 0) into 0 0.231 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.231 * [backup-simplify]: Simplify (+ (* (sin (- (+ (/ 1 a) (/ 1 b)))) 0) (* 0 0)) into 0 0.231 * [backup-simplify]: Simplify (- 0) into 0 0.231 * [backup-simplify]: Simplify (+ 0 0) into 0 0.232 * [backup-simplify]: Simplify (+ (* (cos (- (+ (/ 1 a) (/ 1 b)))) 1) (* 0 0)) into (cos (- (+ (/ 1 a) (/ 1 b)))) 0.232 * [backup-simplify]: Simplify (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b))))) into (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b))))) 0.232 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (cos (- (+ (/ 1 b) (/ 1 a)))) r))) in r 0.232 * [taylor]: Taking taylor expansion of -1 in r 0.232 * [backup-simplify]: Simplify -1 into -1 0.232 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* (cos (- (+ (/ 1 b) (/ 1 a)))) r)) in r 0.232 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r 0.232 * [taylor]: Taking taylor expansion of (/ -1 b) in r 0.232 * [taylor]: Taking taylor expansion of -1 in r 0.232 * [backup-simplify]: Simplify -1 into -1 0.232 * [taylor]: Taking taylor expansion of b in r 0.232 * [backup-simplify]: Simplify b into b 0.232 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b) 0.232 * [backup-simplify]: Simplify (sin (/ -1 b)) into (sin (/ -1 b)) 0.232 * [backup-simplify]: Simplify (cos (/ -1 b)) into (cos (/ -1 b)) 0.232 * [taylor]: Taking taylor expansion of (* (cos (- (+ (/ 1 b) (/ 1 a)))) r) in r 0.232 * [taylor]: Taking taylor expansion of (cos (- (+ (/ 1 b) (/ 1 a)))) in r 0.232 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a))) in r 0.232 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in r 0.232 * [taylor]: Taking taylor expansion of (/ 1 b) in r 0.232 * [taylor]: Taking taylor expansion of b in r 0.232 * [backup-simplify]: Simplify b into b 0.232 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.232 * [taylor]: Taking taylor expansion of (/ 1 a) in r 0.232 * [taylor]: Taking taylor expansion of a in r 0.232 * [backup-simplify]: Simplify a into a 0.232 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.232 * [backup-simplify]: Simplify (+ (/ 1 b) (/ 1 a)) into (+ (/ 1 a) (/ 1 b)) 0.232 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 b))) into (- (+ (/ 1 a) (/ 1 b))) 0.233 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 b))) into (- (+ (/ 1 a) (/ 1 b))) 0.233 * [backup-simplify]: Simplify (cos (- (+ (/ 1 a) (/ 1 b)))) into (cos (- (+ (/ 1 a) (/ 1 b)))) 0.233 * [backup-simplify]: Simplify (- (+ (/ 1 a) (/ 1 b))) into (- (+ (/ 1 a) (/ 1 b))) 0.233 * [backup-simplify]: Simplify (sin (- (+ (/ 1 a) (/ 1 b)))) into (sin (- (+ (/ 1 a) (/ 1 b)))) 0.233 * [taylor]: Taking taylor expansion of r in r 0.233 * [backup-simplify]: Simplify 0 into 0 0.233 * [backup-simplify]: Simplify 1 into 1 0.233 * [backup-simplify]: Simplify (* (sin (/ -1 b)) 1) into (sin (/ -1 b)) 0.233 * [backup-simplify]: Simplify (* (cos (/ -1 b)) 0) into 0 0.233 * [backup-simplify]: Simplify (+ (sin (/ -1 b)) 0) into (sin (/ -1 b)) 0.233 * [backup-simplify]: Simplify (* (cos (- (+ (/ 1 a) (/ 1 b)))) 1) into (cos (- (+ (/ 1 a) (/ 1 b)))) 0.233 * [backup-simplify]: Simplify (* (sin (- (+ (/ 1 a) (/ 1 b)))) 0) into 0 0.234 * [backup-simplify]: Simplify (- 0) into 0 0.234 * [backup-simplify]: Simplify (+ (cos (- (+ (/ 1 a) (/ 1 b)))) 0) into (cos (- (+ (/ 1 a) (/ 1 b)))) 0.234 * [backup-simplify]: Simplify (* (cos (- (+ (/ 1 a) (/ 1 b)))) 0) into 0 0.234 * [backup-simplify]: Simplify (+ 0) into 0 0.234 * [backup-simplify]: Simplify (+ (* (cos (- (+ (/ 1 a) (/ 1 b)))) 0) (* 0 1)) into 0 0.234 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.235 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.235 * [backup-simplify]: Simplify (+ 0 0) into 0 0.235 * [backup-simplify]: Simplify (- 0) into 0 0.235 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.236 * [backup-simplify]: Simplify (+ (* (sin (- (+ (/ 1 a) (/ 1 b)))) 0) (* 0 0)) into 0 0.236 * [backup-simplify]: Simplify (- 0) into 0 0.236 * [backup-simplify]: Simplify (+ 0 0) into 0 0.236 * [backup-simplify]: Simplify (+ (* (cos (- (+ (/ 1 a) (/ 1 b)))) 1) (* 0 0)) into (cos (- (+ (/ 1 a) (/ 1 b)))) 0.237 * [backup-simplify]: Simplify (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b))))) into (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b))))) 0.237 * [backup-simplify]: Simplify (* -1 (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b)))))) into (* -1 (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b)))))) 0.237 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b)))))) in b 0.237 * [taylor]: Taking taylor expansion of -1 in b 0.237 * [backup-simplify]: Simplify -1 into -1 0.237 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b))))) in b 0.237 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 0.237 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.237 * [taylor]: Taking taylor expansion of -1 in b 0.237 * [backup-simplify]: Simplify -1 into -1 0.237 * [taylor]: Taking taylor expansion of b in b 0.237 * [backup-simplify]: Simplify 0 into 0 0.237 * [backup-simplify]: Simplify 1 into 1 0.237 * [backup-simplify]: Simplify (/ -1 1) into -1 0.237 * [backup-simplify]: Simplify (sin (/ -1 b)) into (sin (/ -1 b)) 0.237 * [taylor]: Taking taylor expansion of (cos (- (+ (/ 1 a) (/ 1 b)))) in b 0.237 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 b))) in b 0.237 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.237 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.237 * [taylor]: Taking taylor expansion of a in b 0.237 * [backup-simplify]: Simplify a into a 0.237 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.237 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.237 * [taylor]: Taking taylor expansion of b in b 0.237 * [backup-simplify]: Simplify 0 into 0 0.238 * [backup-simplify]: Simplify 1 into 1 0.238 * [backup-simplify]: Simplify (/ 1 1) into 1 0.238 * [backup-simplify]: Simplify (+ 0 1) into 1 0.238 * [backup-simplify]: Simplify (- 1) into -1 0.238 * [backup-simplify]: Simplify (cos (- (+ (/ 1 a) (/ 1 b)))) into (cos (- (+ (/ 1 a) (/ 1 b)))) 0.238 * [backup-simplify]: Simplify (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b))))) into (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b))))) 0.239 * [backup-simplify]: Simplify (* -1 (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b)))))) into (* -1 (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b)))))) 0.239 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b)))))) in a 0.239 * [taylor]: Taking taylor expansion of -1 in a 0.239 * [backup-simplify]: Simplify -1 into -1 0.239 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b))))) in a 0.239 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a 0.239 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.239 * [taylor]: Taking taylor expansion of -1 in a 0.239 * [backup-simplify]: Simplify -1 into -1 0.239 * [taylor]: Taking taylor expansion of b in a 0.239 * [backup-simplify]: Simplify b into b 0.239 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b) 0.239 * [backup-simplify]: Simplify (sin (/ -1 b)) into (sin (/ -1 b)) 0.239 * [backup-simplify]: Simplify (cos (/ -1 b)) into (cos (/ -1 b)) 0.239 * [taylor]: Taking taylor expansion of (cos (- (+ (/ 1 a) (/ 1 b)))) in a 0.239 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 b))) in a 0.239 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 0.239 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.239 * [taylor]: Taking taylor expansion of a in a 0.239 * [backup-simplify]: Simplify 0 into 0 0.239 * [backup-simplify]: Simplify 1 into 1 0.239 * [backup-simplify]: Simplify (/ 1 1) into 1 0.239 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.239 * [taylor]: Taking taylor expansion of b in a 0.239 * [backup-simplify]: Simplify b into b 0.239 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.239 * [backup-simplify]: Simplify (+ 1 0) into 1 0.240 * [backup-simplify]: Simplify (- 1) into -1 0.240 * [backup-simplify]: Simplify (cos (- (+ (/ 1 a) (/ 1 b)))) into (cos (- (+ (/ 1 a) (/ 1 b)))) 0.240 * [backup-simplify]: Simplify (* (sin (/ -1 b)) 1) into (sin (/ -1 b)) 0.240 * [backup-simplify]: Simplify (* (cos (/ -1 b)) 0) into 0 0.240 * [backup-simplify]: Simplify (+ (sin (/ -1 b)) 0) into (sin (/ -1 b)) 0.240 * [backup-simplify]: Simplify (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b))))) into (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b))))) 0.240 * [backup-simplify]: Simplify (* -1 (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b)))))) into (* -1 (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b)))))) 0.240 * [backup-simplify]: Simplify (* -1 (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b)))))) into (* -1 (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b)))))) 0.241 * [backup-simplify]: Simplify (+ 0) into 0 0.241 * [backup-simplify]: Simplify (+ (* (sin (/ -1 b)) 0) (* 0 1)) into 0 0.241 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0 0.242 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.242 * [backup-simplify]: Simplify (+ (* (cos (/ -1 b)) 0) (* 0 0)) into 0 0.246 * [backup-simplify]: Simplify (+ 0 0) into 0 0.246 * [backup-simplify]: Simplify (- 0) into 0 0.247 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.247 * [backup-simplify]: Simplify (+ (* (cos (- (+ (/ 1 a) (/ 1 b)))) 0) (+ (* 0 0) (* 0 1))) into 0 0.247 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.248 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 0.248 * [backup-simplify]: Simplify (+ 0 0) into 0 0.248 * [backup-simplify]: Simplify (- 0) into 0 0.248 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.249 * [backup-simplify]: Simplify (+ (* (sin (- (+ (/ 1 a) (/ 1 b)))) 0) (+ (* 0 0) (* 0 0))) into 0 0.249 * [backup-simplify]: Simplify (- 0) into 0 0.249 * [backup-simplify]: Simplify (+ 0 0) into 0 0.250 * [backup-simplify]: Simplify (+ (* (cos (- (+ (/ 1 a) (/ 1 b)))) 0) (+ (* 0 1) (* 0 0))) into 0 0.250 * [backup-simplify]: Simplify (- (/ 0 (cos (- (+ (/ 1 a) (/ 1 b))))) (+ (* (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b))))) (/ 0 (cos (- (+ (/ 1 a) (/ 1 b)))))))) into 0 0.250 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b))))))) into 0 0.250 * [taylor]: Taking taylor expansion of 0 in b 0.250 * [backup-simplify]: Simplify 0 into 0 0.250 * [taylor]: Taking taylor expansion of 0 in a 0.250 * [backup-simplify]: Simplify 0 into 0 0.250 * [backup-simplify]: Simplify 0 into 0 0.251 * [backup-simplify]: Simplify (- (/ 0 (cos (- (+ (/ 1 a) (/ 1 b))))) (+ (* (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b))))) (/ 0 (cos (- (+ (/ 1 a) (/ 1 b)))))))) into 0 0.251 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b))))))) into 0 0.251 * [taylor]: Taking taylor expansion of 0 in a 0.251 * [backup-simplify]: Simplify 0 into 0 0.251 * [backup-simplify]: Simplify 0 into 0 0.252 * [backup-simplify]: Simplify (+ 0) into 0 0.252 * [backup-simplify]: Simplify (+ (* (sin (/ -1 b)) 0) (* 0 1)) into 0 0.252 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0 0.252 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.253 * [backup-simplify]: Simplify (+ (* (cos (/ -1 b)) 0) (* 0 0)) into 0 0.253 * [backup-simplify]: Simplify (+ 0 0) into 0 0.253 * [backup-simplify]: Simplify (- (/ 0 (cos (- (+ (/ 1 a) (/ 1 b))))) (+ (* (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b))))) (/ 0 (cos (- (+ (/ 1 a) (/ 1 b)))))))) into 0 0.254 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b))))))) into 0 0.254 * [backup-simplify]: Simplify 0 into 0 0.254 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.254 * [backup-simplify]: Simplify (+ (* (sin (/ -1 b)) 0) (+ (* 0 0) (* 0 1))) into 0 0.255 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.255 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.255 * [backup-simplify]: Simplify (+ (* (cos (/ -1 b)) 0) (+ (* 0 0) (* 0 0))) into 0 0.256 * [backup-simplify]: Simplify (+ 0 0) into 0 0.256 * [backup-simplify]: Simplify (- 0) into 0 0.256 * [backup-simplify]: Simplify (- 0) into 0 0.256 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.257 * [backup-simplify]: Simplify (+ (* (cos (- (+ (/ 1 a) (/ 1 b)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.257 * [backup-simplify]: Simplify (- 0) into 0 0.257 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.257 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 0.258 * [backup-simplify]: Simplify (+ 0 0) into 0 0.258 * [backup-simplify]: Simplify (- 0) into 0 0.259 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.259 * [backup-simplify]: Simplify (+ (* (sin (- (+ (/ 1 a) (/ 1 b)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.259 * [backup-simplify]: Simplify (- 0) into 0 0.259 * [backup-simplify]: Simplify (+ 0 0) into 0 0.260 * [backup-simplify]: Simplify (+ (* (cos (- (+ (/ 1 a) (/ 1 b)))) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.260 * [backup-simplify]: Simplify (- (/ 0 (cos (- (+ (/ 1 a) (/ 1 b))))) (+ (* (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b))))) (/ 0 (cos (- (+ (/ 1 a) (/ 1 b)))))) (* 0 (/ 0 (cos (- (+ (/ 1 a) (/ 1 b)))))))) into 0 0.261 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b)))))))) into 0 0.261 * [taylor]: Taking taylor expansion of 0 in b 0.261 * [backup-simplify]: Simplify 0 into 0 0.261 * [taylor]: Taking taylor expansion of 0 in a 0.261 * [backup-simplify]: Simplify 0 into 0 0.261 * [backup-simplify]: Simplify 0 into 0 0.261 * [taylor]: Taking taylor expansion of 0 in a 0.261 * [backup-simplify]: Simplify 0 into 0 0.261 * [backup-simplify]: Simplify 0 into 0 0.262 * [backup-simplify]: Simplify (- (/ 0 (cos (- (+ (/ 1 a) (/ 1 b))))) (+ (* (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b))))) (/ 0 (cos (- (+ (/ 1 a) (/ 1 b)))))) (* 0 (/ 0 (cos (- (+ (/ 1 a) (/ 1 b)))))))) into 0 0.262 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ (sin (/ -1 b)) (cos (- (+ (/ 1 a) (/ 1 b)))))))) into 0 0.262 * [taylor]: Taking taylor expansion of 0 in a 0.262 * [backup-simplify]: Simplify 0 into 0 0.262 * [backup-simplify]: Simplify 0 into 0 0.263 * [backup-simplify]: Simplify (* (* -1 (/ (sin (/ -1 (/ 1 (- b)))) (cos (- (+ (/ 1 (/ 1 (- a))) (/ 1 (/ 1 (- b)))))))) (* 1 (* 1 (/ 1 (/ 1 (- r)))))) into (/ (* r (sin b)) (cos (+ a b))) 0.263 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.263 * [backup-simplify]: Simplify (* r (sin b)) into (* r (sin b)) 0.263 * [approximate]: Taking taylor expansion of (* r (sin b)) in (r b) around 0 0.263 * [taylor]: Taking taylor expansion of (* r (sin b)) in b 0.263 * [taylor]: Taking taylor expansion of r in b 0.263 * [backup-simplify]: Simplify r into r 0.263 * [taylor]: Taking taylor expansion of (sin b) in b 0.263 * [taylor]: Taking taylor expansion of b in b 0.263 * [backup-simplify]: Simplify 0 into 0 0.263 * [backup-simplify]: Simplify 1 into 1 0.263 * [taylor]: Taking taylor expansion of (* r (sin b)) in r 0.263 * [taylor]: Taking taylor expansion of r in r 0.263 * [backup-simplify]: Simplify 0 into 0 0.263 * [backup-simplify]: Simplify 1 into 1 0.263 * [taylor]: Taking taylor expansion of (sin b) in r 0.263 * [taylor]: Taking taylor expansion of b in r 0.263 * [backup-simplify]: Simplify b into b 0.263 * [backup-simplify]: Simplify (sin b) into (sin b) 0.263 * [backup-simplify]: Simplify (cos b) into (cos b) 0.263 * [taylor]: Taking taylor expansion of (* r (sin b)) in r 0.263 * [taylor]: Taking taylor expansion of r in r 0.263 * [backup-simplify]: Simplify 0 into 0 0.263 * [backup-simplify]: Simplify 1 into 1 0.263 * [taylor]: Taking taylor expansion of (sin b) in r 0.263 * [taylor]: Taking taylor expansion of b in r 0.263 * [backup-simplify]: Simplify b into b 0.263 * [backup-simplify]: Simplify (sin b) into (sin b) 0.263 * [backup-simplify]: Simplify (cos b) into (cos b) 0.263 * [backup-simplify]: Simplify (* (sin b) 1) into (sin b) 0.263 * [backup-simplify]: Simplify (* (cos b) 0) into 0 0.264 * [backup-simplify]: Simplify (+ (sin b) 0) into (sin b) 0.264 * [backup-simplify]: Simplify (* 0 (sin b)) into 0 0.264 * [taylor]: Taking taylor expansion of 0 in b 0.264 * [backup-simplify]: Simplify 0 into 0 0.264 * [backup-simplify]: Simplify 0 into 0 0.264 * [backup-simplify]: Simplify (+ 0) into 0 0.264 * [backup-simplify]: Simplify (+ (* (sin b) 0) (* 0 1)) into 0 0.265 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.265 * [backup-simplify]: Simplify (+ (* (cos b) 0) (* 0 0)) into 0 0.265 * [backup-simplify]: Simplify (+ 0 0) into 0 0.265 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin b))) into (sin b) 0.265 * [taylor]: Taking taylor expansion of (sin b) in b 0.265 * [taylor]: Taking taylor expansion of b in b 0.265 * [backup-simplify]: Simplify 0 into 0 0.265 * [backup-simplify]: Simplify 1 into 1 0.265 * [backup-simplify]: Simplify 0 into 0 0.265 * [backup-simplify]: Simplify 0 into 0 0.266 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.266 * [backup-simplify]: Simplify (+ (* (sin b) 0) (+ (* 0 0) (* 0 1))) into 0 0.267 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.267 * [backup-simplify]: Simplify (+ (* (cos b) 0) (+ (* 0 0) (* 0 0))) into 0 0.267 * [backup-simplify]: Simplify (+ 0 0) into 0 0.268 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin b)))) into 0 0.268 * [taylor]: Taking taylor expansion of 0 in b 0.268 * [backup-simplify]: Simplify 0 into 0 0.268 * [backup-simplify]: Simplify 0 into 0 0.268 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 0.268 * [backup-simplify]: Simplify 1 into 1 0.268 * [backup-simplify]: Simplify 0 into 0 0.269 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.269 * [backup-simplify]: Simplify (+ (* (sin b) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.270 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.270 * [backup-simplify]: Simplify (+ (* (cos b) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.270 * [backup-simplify]: Simplify (+ 0 0) into 0 0.271 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin b))))) into 0 0.271 * [taylor]: Taking taylor expansion of 0 in b 0.271 * [backup-simplify]: Simplify 0 into 0 0.271 * [backup-simplify]: Simplify 0 into 0 0.271 * [backup-simplify]: Simplify 0 into 0 0.272 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.272 * [backup-simplify]: Simplify 0 into 0 0.272 * [backup-simplify]: Simplify 0 into 0 0.273 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 4) 24)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0 0.273 * [backup-simplify]: Simplify (+ (* (sin b) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.274 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0 0.275 * [backup-simplify]: Simplify (+ (* (cos b) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0 0.275 * [backup-simplify]: Simplify (+ 0 0) into 0 0.276 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin b)))))) into 0 0.276 * [taylor]: Taking taylor expansion of 0 in b 0.276 * [backup-simplify]: Simplify 0 into 0 0.276 * [backup-simplify]: Simplify 0 into 0 0.276 * [backup-simplify]: Simplify (* 1 (* b r)) into (* r b) 0.276 * [backup-simplify]: Simplify (* (/ 1 r) (sin (/ 1 b))) into (/ (sin (/ 1 b)) r) 0.276 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 b)) r) in (r b) around 0 0.276 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) r) in b 0.276 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 0.276 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.276 * [taylor]: Taking taylor expansion of b in b 0.276 * [backup-simplify]: Simplify 0 into 0 0.276 * [backup-simplify]: Simplify 1 into 1 0.276 * [backup-simplify]: Simplify (/ 1 1) into 1 0.276 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.276 * [taylor]: Taking taylor expansion of r in b 0.276 * [backup-simplify]: Simplify r into r 0.276 * [backup-simplify]: Simplify (/ (sin (/ 1 b)) r) into (/ (sin (/ 1 b)) r) 0.276 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) r) in r 0.276 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r 0.276 * [taylor]: Taking taylor expansion of (/ 1 b) in r 0.276 * [taylor]: Taking taylor expansion of b in r 0.276 * [backup-simplify]: Simplify b into b 0.276 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.277 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.277 * [backup-simplify]: Simplify (cos (/ 1 b)) into (cos (/ 1 b)) 0.277 * [taylor]: Taking taylor expansion of r in r 0.277 * [backup-simplify]: Simplify 0 into 0 0.277 * [backup-simplify]: Simplify 1 into 1 0.277 * [backup-simplify]: Simplify (* (sin (/ 1 b)) 1) into (sin (/ 1 b)) 0.277 * [backup-simplify]: Simplify (* (cos (/ 1 b)) 0) into 0 0.277 * [backup-simplify]: Simplify (+ (sin (/ 1 b)) 0) into (sin (/ 1 b)) 0.277 * [backup-simplify]: Simplify (/ (sin (/ 1 b)) 1) into (sin (/ 1 b)) 0.277 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) r) in r 0.277 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r 0.277 * [taylor]: Taking taylor expansion of (/ 1 b) in r 0.277 * [taylor]: Taking taylor expansion of b in r 0.277 * [backup-simplify]: Simplify b into b 0.277 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.277 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.277 * [backup-simplify]: Simplify (cos (/ 1 b)) into (cos (/ 1 b)) 0.277 * [taylor]: Taking taylor expansion of r in r 0.277 * [backup-simplify]: Simplify 0 into 0 0.277 * [backup-simplify]: Simplify 1 into 1 0.277 * [backup-simplify]: Simplify (* (sin (/ 1 b)) 1) into (sin (/ 1 b)) 0.277 * [backup-simplify]: Simplify (* (cos (/ 1 b)) 0) into 0 0.277 * [backup-simplify]: Simplify (+ (sin (/ 1 b)) 0) into (sin (/ 1 b)) 0.277 * [backup-simplify]: Simplify (/ (sin (/ 1 b)) 1) into (sin (/ 1 b)) 0.277 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 0.277 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.277 * [taylor]: Taking taylor expansion of b in b 0.277 * [backup-simplify]: Simplify 0 into 0 0.277 * [backup-simplify]: Simplify 1 into 1 0.278 * [backup-simplify]: Simplify (/ 1 1) into 1 0.278 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.278 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.278 * [backup-simplify]: Simplify (+ 0) into 0 0.278 * [backup-simplify]: Simplify (+ (* (sin (/ 1 b)) 0) (* 0 1)) into 0 0.278 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.279 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.279 * [backup-simplify]: Simplify (+ (* (cos (/ 1 b)) 0) (* 0 0)) into 0 0.279 * [backup-simplify]: Simplify (+ 0 0) into 0 0.280 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sin (/ 1 b)) (/ 0 1)))) into 0 0.280 * [taylor]: Taking taylor expansion of 0 in b 0.280 * [backup-simplify]: Simplify 0 into 0 0.280 * [backup-simplify]: Simplify 0 into 0 0.280 * [backup-simplify]: Simplify 0 into 0 0.280 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.281 * [backup-simplify]: Simplify (+ (* (sin (/ 1 b)) 0) (+ (* 0 0) (* 0 1))) into 0 0.281 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.281 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.282 * [backup-simplify]: Simplify (+ (* (cos (/ 1 b)) 0) (+ (* 0 0) (* 0 0))) into 0 0.282 * [backup-simplify]: Simplify (+ 0 0) into 0 0.283 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sin (/ 1 b)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.283 * [taylor]: Taking taylor expansion of 0 in b 0.283 * [backup-simplify]: Simplify 0 into 0 0.283 * [backup-simplify]: Simplify 0 into 0 0.283 * [backup-simplify]: Simplify 0 into 0 0.283 * [backup-simplify]: Simplify 0 into 0 0.283 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.284 * [backup-simplify]: Simplify (+ (* (sin (/ 1 b)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.284 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.285 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.285 * [backup-simplify]: Simplify (+ (* (cos (/ 1 b)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.285 * [backup-simplify]: Simplify (+ 0 0) into 0 0.286 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sin (/ 1 b)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.286 * [taylor]: Taking taylor expansion of 0 in b 0.286 * [backup-simplify]: Simplify 0 into 0 0.286 * [backup-simplify]: Simplify 0 into 0 0.286 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 b))) (* 1 (/ 1 (/ 1 r)))) into (* r (sin b)) 0.287 * [backup-simplify]: Simplify (* (/ 1 (- r)) (sin (/ 1 (- b)))) into (* -1 (/ (sin (/ -1 b)) r)) 0.287 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) r)) in (r b) around 0 0.287 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) r)) in b 0.287 * [taylor]: Taking taylor expansion of -1 in b 0.287 * [backup-simplify]: Simplify -1 into -1 0.287 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) r) in b 0.287 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 0.287 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.287 * [taylor]: Taking taylor expansion of -1 in b 0.287 * [backup-simplify]: Simplify -1 into -1 0.287 * [taylor]: Taking taylor expansion of b in b 0.287 * [backup-simplify]: Simplify 0 into 0 0.287 * [backup-simplify]: Simplify 1 into 1 0.287 * [backup-simplify]: Simplify (/ -1 1) into -1 0.287 * [backup-simplify]: Simplify (sin (/ -1 b)) into (sin (/ -1 b)) 0.287 * [taylor]: Taking taylor expansion of r in b 0.287 * [backup-simplify]: Simplify r into r 0.287 * [backup-simplify]: Simplify (/ (sin (/ -1 b)) r) into (/ (sin (/ -1 b)) r) 0.287 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) r)) in r 0.287 * [taylor]: Taking taylor expansion of -1 in r 0.287 * [backup-simplify]: Simplify -1 into -1 0.287 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) r) in r 0.287 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r 0.287 * [taylor]: Taking taylor expansion of (/ -1 b) in r 0.287 * [taylor]: Taking taylor expansion of -1 in r 0.287 * [backup-simplify]: Simplify -1 into -1 0.287 * [taylor]: Taking taylor expansion of b in r 0.287 * [backup-simplify]: Simplify b into b 0.287 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b) 0.287 * [backup-simplify]: Simplify (sin (/ -1 b)) into (sin (/ -1 b)) 0.287 * [backup-simplify]: Simplify (cos (/ -1 b)) into (cos (/ -1 b)) 0.287 * [taylor]: Taking taylor expansion of r in r 0.287 * [backup-simplify]: Simplify 0 into 0 0.287 * [backup-simplify]: Simplify 1 into 1 0.288 * [backup-simplify]: Simplify (* (sin (/ -1 b)) 1) into (sin (/ -1 b)) 0.288 * [backup-simplify]: Simplify (* (cos (/ -1 b)) 0) into 0 0.288 * [backup-simplify]: Simplify (+ (sin (/ -1 b)) 0) into (sin (/ -1 b)) 0.288 * [backup-simplify]: Simplify (/ (sin (/ -1 b)) 1) into (sin (/ -1 b)) 0.288 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) r)) in r 0.288 * [taylor]: Taking taylor expansion of -1 in r 0.288 * [backup-simplify]: Simplify -1 into -1 0.288 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) r) in r 0.288 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r 0.288 * [taylor]: Taking taylor expansion of (/ -1 b) in r 0.288 * [taylor]: Taking taylor expansion of -1 in r 0.288 * [backup-simplify]: Simplify -1 into -1 0.288 * [taylor]: Taking taylor expansion of b in r 0.288 * [backup-simplify]: Simplify b into b 0.288 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b) 0.288 * [backup-simplify]: Simplify (sin (/ -1 b)) into (sin (/ -1 b)) 0.288 * [backup-simplify]: Simplify (cos (/ -1 b)) into (cos (/ -1 b)) 0.288 * [taylor]: Taking taylor expansion of r in r 0.288 * [backup-simplify]: Simplify 0 into 0 0.288 * [backup-simplify]: Simplify 1 into 1 0.288 * [backup-simplify]: Simplify (* (sin (/ -1 b)) 1) into (sin (/ -1 b)) 0.288 * [backup-simplify]: Simplify (* (cos (/ -1 b)) 0) into 0 0.288 * [backup-simplify]: Simplify (+ (sin (/ -1 b)) 0) into (sin (/ -1 b)) 0.288 * [backup-simplify]: Simplify (/ (sin (/ -1 b)) 1) into (sin (/ -1 b)) 0.288 * [backup-simplify]: Simplify (* -1 (sin (/ -1 b))) into (* -1 (sin (/ -1 b))) 0.288 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 b))) in b 0.288 * [taylor]: Taking taylor expansion of -1 in b 0.288 * [backup-simplify]: Simplify -1 into -1 0.288 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b 0.288 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.288 * [taylor]: Taking taylor expansion of -1 in b 0.288 * [backup-simplify]: Simplify -1 into -1 0.288 * [taylor]: Taking taylor expansion of b in b 0.288 * [backup-simplify]: Simplify 0 into 0 0.288 * [backup-simplify]: Simplify 1 into 1 0.289 * [backup-simplify]: Simplify (/ -1 1) into -1 0.289 * [backup-simplify]: Simplify (sin (/ -1 b)) into (sin (/ -1 b)) 0.289 * [backup-simplify]: Simplify (* -1 (sin (/ -1 b))) into (* -1 (sin (/ -1 b))) 0.289 * [backup-simplify]: Simplify (* -1 (sin (/ -1 b))) into (* -1 (sin (/ -1 b))) 0.289 * [backup-simplify]: Simplify (+ 0) into 0 0.289 * [backup-simplify]: Simplify (+ (* (sin (/ -1 b)) 0) (* 0 1)) into 0 0.290 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0 0.290 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.290 * [backup-simplify]: Simplify (+ (* (cos (/ -1 b)) 0) (* 0 0)) into 0 0.290 * [backup-simplify]: Simplify (+ 0 0) into 0 0.291 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sin (/ -1 b)) (/ 0 1)))) into 0 0.291 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sin (/ -1 b)))) into 0 0.291 * [taylor]: Taking taylor expansion of 0 in b 0.291 * [backup-simplify]: Simplify 0 into 0 0.291 * [backup-simplify]: Simplify 0 into 0 0.292 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sin (/ -1 b)))) into 0 0.292 * [backup-simplify]: Simplify 0 into 0 0.292 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.292 * [backup-simplify]: Simplify (+ (* (sin (/ -1 b)) 0) (+ (* 0 0) (* 0 1))) into 0 0.293 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.293 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.293 * [backup-simplify]: Simplify (+ (* (cos (/ -1 b)) 0) (+ (* 0 0) (* 0 0))) into 0 0.293 * [backup-simplify]: Simplify (+ 0 0) into 0 0.294 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sin (/ -1 b)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.295 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sin (/ -1 b))))) into 0 0.295 * [taylor]: Taking taylor expansion of 0 in b 0.295 * [backup-simplify]: Simplify 0 into 0 0.295 * [backup-simplify]: Simplify 0 into 0 0.295 * [backup-simplify]: Simplify 0 into 0 0.295 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sin (/ -1 b))))) into 0 0.295 * [backup-simplify]: Simplify 0 into 0 0.296 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.296 * [backup-simplify]: Simplify (+ (* (sin (/ -1 b)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.297 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.297 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.298 * [backup-simplify]: Simplify (+ (* (cos (/ -1 b)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.298 * [backup-simplify]: Simplify (+ 0 0) into 0 0.299 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sin (/ -1 b)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.300 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 b)))))) into 0 0.300 * [taylor]: Taking taylor expansion of 0 in b 0.300 * [backup-simplify]: Simplify 0 into 0 0.300 * [backup-simplify]: Simplify 0 into 0 0.300 * [backup-simplify]: Simplify (* (* -1 (sin (/ -1 (/ 1 (- b))))) (* 1 (/ 1 (/ 1 (- r))))) into (* r (sin b)) 0.300 * * * [progress]: simplifying candidates 0.301 * [simplify]: Simplifying: (expm1 (cos (+ a b))) (log1p (cos (+ a b))) (* (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))) (expm1 (/ (* r (sin b)) (cos (+ a b)))) (log1p (/ (* r (sin b)) (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)))) (- (* r (sin b))) (- (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)) (expm1 (* r (sin b))) (log1p (* r (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)) (- 1 (+ (* 1/2 (pow a 2)) (* a b))) (cos (+ a b)) (cos (+ a b)) (+ (* a (* r (pow b 2))) (+ (* r b) (* 1/3 (* r (pow b 3))))) (/ (* r (sin b)) (cos (+ a b))) (/ (* r (sin b)) (cos (+ a b))) (* r b) (* r (sin b)) (* r (sin b)) 0.301 * [simplify]: Sending expressions to egg_math: (expm1 (cos (+ h1 h0))) (log1p (cos (+ h1 h0))) (* (cos h1) (cos h0)) (* (sin h1) (sin h0)) (log (cos (+ h1 h0))) (exp (cos (+ h1 h0))) (* (cbrt (cos (+ h1 h0))) (cbrt (cos (+ h1 h0)))) (cbrt (cos (+ h1 h0))) (* (* (cos (+ h1 h0)) (cos (+ h1 h0))) (cos (+ h1 h0))) (sqrt (cos (+ h1 h0))) (sqrt (cos (+ h1 h0))) (expm1 (/ (* h2 (sin h0)) (cos (+ h1 h0)))) (log1p (/ (* h2 (sin h0)) (cos (+ h1 h0)))) (- (+ (log h2) (log (sin h0))) (log (cos (+ h1 h0)))) (- (log (* h2 (sin h0))) (log (cos (+ h1 h0)))) (log (/ (* h2 (sin h0)) (cos (+ h1 h0)))) (exp (/ (* h2 (sin h0)) (cos (+ h1 h0)))) (/ (* (* (* h2 h2) h2) (* (* (sin h0) (sin h0)) (sin h0))) (* (* (cos (+ h1 h0)) (cos (+ h1 h0))) (cos (+ h1 h0)))) (/ (* (* (* h2 (sin h0)) (* h2 (sin h0))) (* h2 (sin h0))) (* (* (cos (+ h1 h0)) (cos (+ h1 h0))) (cos (+ h1 h0)))) (* (cbrt (/ (* h2 (sin h0)) (cos (+ h1 h0)))) (cbrt (/ (* h2 (sin h0)) (cos (+ h1 h0))))) (cbrt (/ (* h2 (sin h0)) (cos (+ h1 h0)))) (* (* (/ (* h2 (sin h0)) (cos (+ h1 h0))) (/ (* h2 (sin h0)) (cos (+ h1 h0)))) (/ (* h2 (sin h0)) (cos (+ h1 h0)))) (sqrt (/ (* h2 (sin h0)) (cos (+ h1 h0)))) (sqrt (/ (* h2 (sin h0)) (cos (+ h1 h0)))) (- (* h2 (sin h0))) (- (cos (+ h1 h0))) (/ h2 (* (cbrt (cos (+ h1 h0))) (cbrt (cos (+ h1 h0))))) (/ (sin h0) (cbrt (cos (+ h1 h0)))) (/ h2 (sqrt (cos (+ h1 h0)))) (/ (sin h0) (sqrt (cos (+ h1 h0)))) (/ h2 1) (/ (sin h0) (cos (+ h1 h0))) (/ 1 (cos (+ h1 h0))) (/ (cos (+ h1 h0)) (* h2 (sin h0))) (/ (* h2 (sin h0)) (* (cbrt (cos (+ h1 h0))) (cbrt (cos (+ h1 h0))))) (/ (* h2 (sin h0)) (sqrt (cos (+ h1 h0)))) (/ (* h2 (sin h0)) 1) (/ (cos (+ h1 h0)) (sin h0)) (expm1 (* h2 (sin h0))) (log1p (* h2 (sin h0))) (* h2 (sin h0)) (+ (log h2) (log (sin h0))) (log (* h2 (sin h0))) (exp (* h2 (sin h0))) (* (* (* h2 h2) h2) (* (* (sin h0) (sin h0)) (sin h0))) (* (cbrt (* h2 (sin h0))) (cbrt (* h2 (sin h0)))) (cbrt (* h2 (sin h0))) (* (* (* h2 (sin h0)) (* h2 (sin h0))) (* h2 (sin h0))) (sqrt (* h2 (sin h0))) (sqrt (* h2 (sin h0))) (* (sqrt h2) (sqrt (sin h0))) (* (sqrt h2) (sqrt (sin h0))) (* h2 (* (cbrt (sin h0)) (cbrt (sin h0)))) (* h2 (sqrt (sin h0))) (* h2 1) (* (cbrt h2) (sin h0)) (* (sqrt h2) (sin h0)) (* h2 (sin h0)) (- 1 (+ (* 1/2 (pow h1 2)) (* h1 h0))) (cos (+ h1 h0)) (cos (+ h1 h0)) (+ (* h1 (* h2 (pow h0 2))) (+ (* h2 h0) (* 1/3 (* h2 (pow h0 3))))) (/ (* h2 (sin h0)) (cos (+ h1 h0))) (/ (* h2 (sin h0)) (cos (+ h1 h0))) (* h2 h0) (* h2 (sin h0)) (* h2 (sin h0)) 0.304 * * [simplify]: iteration 0 : 207 enodes (cost 327 ) 0.308 * * [simplify]: iteration 1 : 884 enodes (cost 279 ) 0.329 * * [simplify]: iteration 2 : 5001 enodes (cost 279 ) 0.331 * * * [progress]: adding candidates to table 0.466 * * [progress]: iteration 2 / 4 0.466 * * * [progress]: picking best candidate 0.487 * * * * [pick]: Picked # 0.487 * * * [progress]: localizing error 0.503 * * * [progress]: generating rewritten candidates 0.503 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.533 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 0.545 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 0.562 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.573 * * * [progress]: generating series expansions 0.573 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.573 * [backup-simplify]: Simplify (/ (* r (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b)))) into (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) 0.573 * [approximate]: Taking taylor expansion of (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in (r b a) around 0 0.573 * [taylor]: Taking taylor expansion of (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in a 0.573 * [taylor]: Taking taylor expansion of (* r (sin b)) in a 0.573 * [taylor]: Taking taylor expansion of r in a 0.573 * [backup-simplify]: Simplify r into r 0.573 * [taylor]: Taking taylor expansion of (sin b) in a 0.573 * [taylor]: Taking taylor expansion of b in a 0.573 * [backup-simplify]: Simplify b into b 0.573 * [backup-simplify]: Simplify (sin b) into (sin b) 0.573 * [backup-simplify]: Simplify (cos b) into (cos b) 0.573 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in a 0.573 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in a 0.573 * [taylor]: Taking taylor expansion of (cos b) in a 0.573 * [taylor]: Taking taylor expansion of b in a 0.573 * [backup-simplify]: Simplify b into b 0.573 * [backup-simplify]: Simplify (cos b) into (cos b) 0.573 * [backup-simplify]: Simplify (sin b) into (sin b) 0.573 * [taylor]: Taking taylor expansion of (cos a) in a 0.573 * [taylor]: Taking taylor expansion of a in a 0.573 * [backup-simplify]: Simplify 0 into 0 0.573 * [backup-simplify]: Simplify 1 into 1 0.573 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in a 0.573 * [taylor]: Taking taylor expansion of (sin a) in a 0.573 * [taylor]: Taking taylor expansion of a in a 0.573 * [backup-simplify]: Simplify 0 into 0 0.573 * [backup-simplify]: Simplify 1 into 1 0.574 * [taylor]: Taking taylor expansion of (sin b) in a 0.574 * [taylor]: Taking taylor expansion of b in a 0.574 * [backup-simplify]: Simplify b into b 0.574 * [backup-simplify]: Simplify (sin b) into (sin b) 0.574 * [backup-simplify]: Simplify (cos b) into (cos b) 0.574 * [backup-simplify]: Simplify (* (sin b) 1) into (sin b) 0.574 * [backup-simplify]: Simplify (* (cos b) 0) into 0 0.574 * [backup-simplify]: Simplify (+ (sin b) 0) into (sin b) 0.574 * [backup-simplify]: Simplify (* r (sin b)) into (* r (sin b)) 0.574 * [backup-simplify]: Simplify (* (cos b) 1) into (cos b) 0.574 * [backup-simplify]: Simplify (* (sin b) 0) into 0 0.574 * [backup-simplify]: Simplify (- 0) into 0 0.574 * [backup-simplify]: Simplify (+ (cos b) 0) into (cos b) 0.574 * [backup-simplify]: Simplify (* (cos b) 1) into (cos b) 0.575 * [backup-simplify]: Simplify (* (sin b) 1) into (sin b) 0.575 * [backup-simplify]: Simplify (* (cos b) 0) into 0 0.575 * [backup-simplify]: Simplify (+ (sin b) 0) into (sin b) 0.575 * [backup-simplify]: Simplify (* 0 (sin b)) into 0 0.575 * [backup-simplify]: Simplify (- 0) into 0 0.575 * [backup-simplify]: Simplify (+ (cos b) 0) into (cos b) 0.575 * [backup-simplify]: Simplify (/ (* r (sin b)) (cos b)) into (/ (* r (sin b)) (cos b)) 0.575 * [taylor]: Taking taylor expansion of (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in b 0.575 * [taylor]: Taking taylor expansion of (* r (sin b)) in b 0.575 * [taylor]: Taking taylor expansion of r in b 0.575 * [backup-simplify]: Simplify r into r 0.575 * [taylor]: Taking taylor expansion of (sin b) in b 0.575 * [taylor]: Taking taylor expansion of b in b 0.575 * [backup-simplify]: Simplify 0 into 0 0.575 * [backup-simplify]: Simplify 1 into 1 0.575 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in b 0.575 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in b 0.575 * [taylor]: Taking taylor expansion of (cos b) in b 0.575 * [taylor]: Taking taylor expansion of b in b 0.575 * [backup-simplify]: Simplify 0 into 0 0.575 * [backup-simplify]: Simplify 1 into 1 0.575 * [taylor]: Taking taylor expansion of (cos a) in b 0.575 * [taylor]: Taking taylor expansion of a in b 0.575 * [backup-simplify]: Simplify a into a 0.575 * [backup-simplify]: Simplify (cos a) into (cos a) 0.575 * [backup-simplify]: Simplify (sin a) into (sin a) 0.575 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in b 0.575 * [taylor]: Taking taylor expansion of (sin a) in b 0.575 * [taylor]: Taking taylor expansion of a in b 0.575 * [backup-simplify]: Simplify a into a 0.575 * [backup-simplify]: Simplify (sin a) into (sin a) 0.575 * [backup-simplify]: Simplify (cos a) into (cos a) 0.575 * [taylor]: Taking taylor expansion of (sin b) in b 0.575 * [taylor]: Taking taylor expansion of b in b 0.575 * [backup-simplify]: Simplify 0 into 0 0.575 * [backup-simplify]: Simplify 1 into 1 0.576 * [backup-simplify]: Simplify (* r 0) into 0 0.576 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 0.576 * [backup-simplify]: Simplify (+ (* r 1) (* 0 0)) into r 0.576 * [backup-simplify]: Simplify (* (cos a) 1) into (cos a) 0.576 * [backup-simplify]: Simplify (* (sin a) 0) into 0 0.577 * [backup-simplify]: Simplify (- 0) into 0 0.577 * [backup-simplify]: Simplify (+ (cos a) 0) into (cos a) 0.577 * [backup-simplify]: Simplify (* 1 (cos a)) into (cos a) 0.577 * [backup-simplify]: Simplify (* (sin a) 1) into (sin a) 0.577 * [backup-simplify]: Simplify (* (cos a) 0) into 0 0.577 * [backup-simplify]: Simplify (+ (sin a) 0) into (sin a) 0.577 * [backup-simplify]: Simplify (* (sin a) 0) into 0 0.577 * [backup-simplify]: Simplify (- 0) into 0 0.577 * [backup-simplify]: Simplify (+ (cos a) 0) into (cos a) 0.577 * [backup-simplify]: Simplify (/ r (cos a)) into (/ r (cos a)) 0.577 * [taylor]: Taking taylor expansion of (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in r 0.577 * [taylor]: Taking taylor expansion of (* r (sin b)) in r 0.577 * [taylor]: Taking taylor expansion of r in r 0.577 * [backup-simplify]: Simplify 0 into 0 0.577 * [backup-simplify]: Simplify 1 into 1 0.577 * [taylor]: Taking taylor expansion of (sin b) in r 0.577 * [taylor]: Taking taylor expansion of b in r 0.577 * [backup-simplify]: Simplify b into b 0.577 * [backup-simplify]: Simplify (sin b) into (sin b) 0.577 * [backup-simplify]: Simplify (cos b) into (cos b) 0.577 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in r 0.577 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in r 0.577 * [taylor]: Taking taylor expansion of (cos b) in r 0.577 * [taylor]: Taking taylor expansion of b in r 0.577 * [backup-simplify]: Simplify b into b 0.577 * [backup-simplify]: Simplify (cos b) into (cos b) 0.577 * [backup-simplify]: Simplify (sin b) into (sin b) 0.577 * [taylor]: Taking taylor expansion of (cos a) in r 0.577 * [taylor]: Taking taylor expansion of a in r 0.577 * [backup-simplify]: Simplify a into a 0.577 * [backup-simplify]: Simplify (cos a) into (cos a) 0.578 * [backup-simplify]: Simplify (sin a) into (sin a) 0.578 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in r 0.578 * [taylor]: Taking taylor expansion of (sin a) in r 0.578 * [taylor]: Taking taylor expansion of a in r 0.578 * [backup-simplify]: Simplify a into a 0.578 * [backup-simplify]: Simplify (sin a) into (sin a) 0.578 * [backup-simplify]: Simplify (cos a) into (cos a) 0.578 * [taylor]: Taking taylor expansion of (sin b) in r 0.578 * [taylor]: Taking taylor expansion of b in r 0.578 * [backup-simplify]: Simplify b into b 0.578 * [backup-simplify]: Simplify (sin b) into (sin b) 0.578 * [backup-simplify]: Simplify (cos b) into (cos b) 0.578 * [backup-simplify]: Simplify (* (sin b) 1) into (sin b) 0.578 * [backup-simplify]: Simplify (* (cos b) 0) into 0 0.578 * [backup-simplify]: Simplify (+ (sin b) 0) into (sin b) 0.578 * [backup-simplify]: Simplify (* 0 (sin b)) into 0 0.578 * [backup-simplify]: Simplify (+ 0) into 0 0.578 * [backup-simplify]: Simplify (+ (* (sin b) 0) (* 0 1)) into 0 0.579 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.579 * [backup-simplify]: Simplify (+ (* (cos b) 0) (* 0 0)) into 0 0.579 * [backup-simplify]: Simplify (+ 0 0) into 0 0.580 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin b))) into (sin b) 0.580 * [backup-simplify]: Simplify (* (cos b) 1) into (cos b) 0.580 * [backup-simplify]: Simplify (* (sin b) 0) into 0 0.580 * [backup-simplify]: Simplify (- 0) into 0 0.580 * [backup-simplify]: Simplify (+ (cos b) 0) into (cos b) 0.580 * [backup-simplify]: Simplify (* (cos a) 1) into (cos a) 0.580 * [backup-simplify]: Simplify (* (sin a) 0) into 0 0.580 * [backup-simplify]: Simplify (- 0) into 0 0.580 * [backup-simplify]: Simplify (+ (cos a) 0) into (cos a) 0.580 * [backup-simplify]: Simplify (* (cos b) (cos a)) into (* (cos b) (cos a)) 0.580 * [backup-simplify]: Simplify (* (sin a) 1) into (sin a) 0.581 * [backup-simplify]: Simplify (* (cos a) 0) into 0 0.581 * [backup-simplify]: Simplify (+ (sin a) 0) into (sin a) 0.581 * [backup-simplify]: Simplify (* (sin b) 1) into (sin b) 0.581 * [backup-simplify]: Simplify (* (cos b) 0) into 0 0.581 * [backup-simplify]: Simplify (+ (sin b) 0) into (sin b) 0.581 * [backup-simplify]: Simplify (* (sin a) (sin b)) into (* (sin b) (sin a)) 0.581 * [backup-simplify]: Simplify (- (* (sin b) (sin a))) into (- (* (sin b) (sin a))) 0.581 * [backup-simplify]: Simplify (+ (* (cos b) (cos a)) (- (* (sin b) (sin a)))) into (- (* (cos b) (cos a)) (* (sin a) (sin b))) 0.581 * [backup-simplify]: Simplify (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) into (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) 0.581 * [taylor]: Taking taylor expansion of (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in r 0.581 * [taylor]: Taking taylor expansion of (* r (sin b)) in r 0.581 * [taylor]: Taking taylor expansion of r in r 0.581 * [backup-simplify]: Simplify 0 into 0 0.581 * [backup-simplify]: Simplify 1 into 1 0.581 * [taylor]: Taking taylor expansion of (sin b) in r 0.581 * [taylor]: Taking taylor expansion of b in r 0.581 * [backup-simplify]: Simplify b into b 0.581 * [backup-simplify]: Simplify (sin b) into (sin b) 0.581 * [backup-simplify]: Simplify (cos b) into (cos b) 0.581 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in r 0.581 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in r 0.581 * [taylor]: Taking taylor expansion of (cos b) in r 0.581 * [taylor]: Taking taylor expansion of b in r 0.581 * [backup-simplify]: Simplify b into b 0.581 * [backup-simplify]: Simplify (cos b) into (cos b) 0.582 * [backup-simplify]: Simplify (sin b) into (sin b) 0.582 * [taylor]: Taking taylor expansion of (cos a) in r 0.582 * [taylor]: Taking taylor expansion of a in r 0.582 * [backup-simplify]: Simplify a into a 0.582 * [backup-simplify]: Simplify (cos a) into (cos a) 0.582 * [backup-simplify]: Simplify (sin a) into (sin a) 0.582 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in r 0.582 * [taylor]: Taking taylor expansion of (sin a) in r 0.582 * [taylor]: Taking taylor expansion of a in r 0.582 * [backup-simplify]: Simplify a into a 0.582 * [backup-simplify]: Simplify (sin a) into (sin a) 0.582 * [backup-simplify]: Simplify (cos a) into (cos a) 0.582 * [taylor]: Taking taylor expansion of (sin b) in r 0.582 * [taylor]: Taking taylor expansion of b in r 0.582 * [backup-simplify]: Simplify b into b 0.582 * [backup-simplify]: Simplify (sin b) into (sin b) 0.582 * [backup-simplify]: Simplify (cos b) into (cos b) 0.582 * [backup-simplify]: Simplify (* (sin b) 1) into (sin b) 0.582 * [backup-simplify]: Simplify (* (cos b) 0) into 0 0.582 * [backup-simplify]: Simplify (+ (sin b) 0) into (sin b) 0.582 * [backup-simplify]: Simplify (* 0 (sin b)) into 0 0.582 * [backup-simplify]: Simplify (+ 0) into 0 0.583 * [backup-simplify]: Simplify (+ (* (sin b) 0) (* 0 1)) into 0 0.583 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.583 * [backup-simplify]: Simplify (+ (* (cos b) 0) (* 0 0)) into 0 0.583 * [backup-simplify]: Simplify (+ 0 0) into 0 0.584 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sin b))) into (sin b) 0.584 * [backup-simplify]: Simplify (* (cos b) 1) into (cos b) 0.584 * [backup-simplify]: Simplify (* (sin b) 0) into 0 0.584 * [backup-simplify]: Simplify (- 0) into 0 0.584 * [backup-simplify]: Simplify (+ (cos b) 0) into (cos b) 0.584 * [backup-simplify]: Simplify (* (cos a) 1) into (cos a) 0.584 * [backup-simplify]: Simplify (* (sin a) 0) into 0 0.584 * [backup-simplify]: Simplify (- 0) into 0 0.584 * [backup-simplify]: Simplify (+ (cos a) 0) into (cos a) 0.584 * [backup-simplify]: Simplify (* (cos b) (cos a)) into (* (cos b) (cos a)) 0.584 * [backup-simplify]: Simplify (* (sin a) 1) into (sin a) 0.585 * [backup-simplify]: Simplify (* (cos a) 0) into 0 0.585 * [backup-simplify]: Simplify (+ (sin a) 0) into (sin a) 0.585 * [backup-simplify]: Simplify (* (sin b) 1) into (sin b) 0.585 * [backup-simplify]: Simplify (* (cos b) 0) into 0 0.585 * [backup-simplify]: Simplify (+ (sin b) 0) into (sin b) 0.585 * [backup-simplify]: Simplify (* (sin a) (sin b)) into (* (sin b) (sin a)) 0.585 * [backup-simplify]: Simplify (- (* (sin b) (sin a))) into (- (* (sin b) (sin a))) 0.585 * [backup-simplify]: Simplify (+ (* (cos b) (cos a)) (- (* (sin b) (sin a)))) into (- (* (cos b) (cos a)) (* (sin a) (sin b))) 0.585 * [backup-simplify]: Simplify (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) into (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) 0.585 * [taylor]: Taking taylor expansion of (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in b 0.585 * [taylor]: Taking taylor expansion of (sin b) in b 0.585 * [taylor]: Taking taylor expansion of b in b 0.585 * [backup-simplify]: Simplify 0 into 0 0.585 * [backup-simplify]: Simplify 1 into 1 0.585 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in b 0.585 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in b 0.585 * [taylor]: Taking taylor expansion of (cos b) in b 0.585 * [taylor]: Taking taylor expansion of b in b 0.585 * [backup-simplify]: Simplify 0 into 0 0.585 * [backup-simplify]: Simplify 1 into 1 0.585 * [taylor]: Taking taylor expansion of (cos a) in b 0.585 * [taylor]: Taking taylor expansion of a in b 0.585 * [backup-simplify]: Simplify a into a 0.585 * [backup-simplify]: Simplify (cos a) into (cos a) 0.585 * [backup-simplify]: Simplify (sin a) into (sin a) 0.585 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in b 0.585 * [taylor]: Taking taylor expansion of (sin a) in b 0.585 * [taylor]: Taking taylor expansion of a in b 0.586 * [backup-simplify]: Simplify a into a 0.586 * [backup-simplify]: Simplify (sin a) into (sin a) 0.586 * [backup-simplify]: Simplify (cos a) into (cos a) 0.586 * [taylor]: Taking taylor expansion of (sin b) in b 0.586 * [taylor]: Taking taylor expansion of b in b 0.586 * [backup-simplify]: Simplify 0 into 0 0.586 * [backup-simplify]: Simplify 1 into 1 0.586 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 0.586 * [backup-simplify]: Simplify (* (cos a) 1) into (cos a) 0.586 * [backup-simplify]: Simplify (* (sin a) 0) into 0 0.586 * [backup-simplify]: Simplify (- 0) into 0 0.586 * [backup-simplify]: Simplify (+ (cos a) 0) into (cos a) 0.586 * [backup-simplify]: Simplify (* 1 (cos a)) into (cos a) 0.586 * [backup-simplify]: Simplify (* (sin a) 1) into (sin a) 0.587 * [backup-simplify]: Simplify (* (cos a) 0) into 0 0.587 * [backup-simplify]: Simplify (+ (sin a) 0) into (sin a) 0.587 * [backup-simplify]: Simplify (* (sin a) 0) into 0 0.587 * [backup-simplify]: Simplify (- 0) into 0 0.587 * [backup-simplify]: Simplify (+ (cos a) 0) into (cos a) 0.587 * [backup-simplify]: Simplify (/ 1 (cos a)) into (/ 1 (cos a)) 0.587 * [taylor]: Taking taylor expansion of (/ 1 (cos a)) in a 0.587 * [taylor]: Taking taylor expansion of (cos a) in a 0.587 * [taylor]: Taking taylor expansion of a in a 0.587 * [backup-simplify]: Simplify 0 into 0 0.587 * [backup-simplify]: Simplify 1 into 1 0.587 * [backup-simplify]: Simplify (/ 1 1) into 1 0.587 * [backup-simplify]: Simplify 1 into 1 0.588 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.588 * [backup-simplify]: Simplify (+ (* (sin b) 0) (+ (* 0 0) (* 0 1))) into 0 0.589 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.589 * [backup-simplify]: Simplify (+ (* (cos b) 0) (+ (* 0 0) (* 0 0))) into 0 0.589 * [backup-simplify]: Simplify (+ 0 0) into 0 0.590 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sin b)))) into 0 0.590 * [backup-simplify]: Simplify (+ 0) into 0 0.590 * [backup-simplify]: Simplify (+ (* (cos a) 0) (* 0 1)) into 0 0.590 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.591 * [backup-simplify]: Simplify (+ (* (sin a) 0) (* 0 0)) into 0 0.591 * [backup-simplify]: Simplify (- 0) into 0 0.591 * [backup-simplify]: Simplify (+ 0 0) into 0 0.591 * [backup-simplify]: Simplify (+ 0) into 0 0.592 * [backup-simplify]: Simplify (+ (* (cos b) 0) (* 0 1)) into 0 0.592 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.592 * [backup-simplify]: Simplify (+ (* (sin b) 0) (* 0 0)) into 0 0.592 * [backup-simplify]: Simplify (- 0) into 0 0.593 * [backup-simplify]: Simplify (+ 0 0) into 0 0.593 * [backup-simplify]: Simplify (+ (* (cos b) 0) (* 0 (cos a))) into 0 0.593 * [backup-simplify]: Simplify (+ 0) into 0 0.593 * [backup-simplify]: Simplify (+ (* (sin b) 0) (* 0 1)) into 0 0.594 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.594 * [backup-simplify]: Simplify (+ (* (cos b) 0) (* 0 0)) into 0 0.594 * [backup-simplify]: Simplify (+ 0 0) into 0 0.594 * [backup-simplify]: Simplify (+ 0) into 0 0.595 * [backup-simplify]: Simplify (+ (* (sin a) 0) (* 0 1)) into 0 0.595 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.598 * [backup-simplify]: Simplify (+ (* (cos a) 0) (* 0 0)) into 0 0.598 * [backup-simplify]: Simplify (+ 0 0) into 0 0.598 * [backup-simplify]: Simplify (+ (* (sin a) 0) (* 0 (sin b))) into 0 0.598 * [backup-simplify]: Simplify (- 0) into 0 0.599 * [backup-simplify]: Simplify (+ 0 0) into 0 0.599 * [backup-simplify]: Simplify (- (/ 0 (- (* (cos b) (cos a)) (* (sin a) (sin b)))) (+ (* (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) (/ 0 (- (* (cos b) (cos a)) (* (sin a) (sin b))))))) into 0 0.599 * [taylor]: Taking taylor expansion of 0 in b 0.599 * [backup-simplify]: Simplify 0 into 0 0.599 * [taylor]: Taking taylor expansion of 0 in a 0.599 * [backup-simplify]: Simplify 0 into 0 0.599 * [backup-simplify]: Simplify 0 into 0 0.600 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.600 * [backup-simplify]: Simplify (+ 0) into 0 0.600 * [backup-simplify]: Simplify (+ (* (cos a) 0) (* 0 1)) into 0 0.601 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.601 * [backup-simplify]: Simplify (+ (* (sin a) 0) (* 0 0)) into 0 0.601 * [backup-simplify]: Simplify (- 0) into 0 0.601 * [backup-simplify]: Simplify (+ 0 0) into 0 0.601 * [backup-simplify]: Simplify (+ 0) into 0 0.602 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (cos a))) into 0 0.602 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 0.602 * [backup-simplify]: Simplify (+ 0) into 0 0.603 * [backup-simplify]: Simplify (+ (* (sin a) 0) (* 0 1)) into 0 0.603 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.603 * [backup-simplify]: Simplify (+ (* (cos a) 0) (* 0 0)) into 0 0.603 * [backup-simplify]: Simplify (+ 0 0) into 0 0.604 * [backup-simplify]: Simplify (+ (* (sin a) 1) (* 0 0)) into (sin a) 0.604 * [backup-simplify]: Simplify (- (sin a)) into (- (sin a)) 0.604 * [backup-simplify]: Simplify (+ 0 (- (sin a))) into (- (sin a)) 0.604 * [backup-simplify]: Simplify (- (/ 0 (cos a)) (+ (* (/ 1 (cos a)) (/ (- (sin a)) (cos a))))) into (/ (sin a) (pow (cos a) 2)) 0.604 * [taylor]: Taking taylor expansion of (/ (sin a) (pow (cos a) 2)) in a 0.604 * [taylor]: Taking taylor expansion of (sin a) in a 0.604 * [taylor]: Taking taylor expansion of a in a 0.604 * [backup-simplify]: Simplify 0 into 0 0.604 * [backup-simplify]: Simplify 1 into 1 0.604 * [taylor]: Taking taylor expansion of (pow (cos a) 2) in a 0.604 * [taylor]: Taking taylor expansion of (cos a) in a 0.604 * [taylor]: Taking taylor expansion of a in a 0.604 * [backup-simplify]: Simplify 0 into 0 0.604 * [backup-simplify]: Simplify 1 into 1 0.605 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 0.605 * [backup-simplify]: Simplify (* 1 1) into 1 0.605 * [backup-simplify]: Simplify (/ 1 1) into 1 0.605 * [backup-simplify]: Simplify (+ 0) into 0 0.606 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.606 * [backup-simplify]: Simplify 0 into 0 0.606 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.607 * [backup-simplify]: Simplify (+ (* (sin b) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.607 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.608 * [backup-simplify]: Simplify (+ (* (cos b) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.608 * [backup-simplify]: Simplify (+ 0 0) into 0 0.609 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sin b))))) into 0 0.609 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.610 * [backup-simplify]: Simplify (+ (* (cos a) 0) (+ (* 0 0) (* 0 1))) into 0 0.610 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.610 * [backup-simplify]: Simplify (+ (* (sin a) 0) (+ (* 0 0) (* 0 0))) into 0 0.610 * [backup-simplify]: Simplify (- 0) into 0 0.611 * [backup-simplify]: Simplify (+ 0 0) into 0 0.611 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.612 * [backup-simplify]: Simplify (+ (* (cos b) 0) (+ (* 0 0) (* 0 1))) into 0 0.612 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.612 * [backup-simplify]: Simplify (+ (* (sin b) 0) (+ (* 0 0) (* 0 0))) into 0 0.612 * [backup-simplify]: Simplify (- 0) into 0 0.613 * [backup-simplify]: Simplify (+ 0 0) into 0 0.613 * [backup-simplify]: Simplify (+ (* (cos b) 0) (+ (* 0 0) (* 0 (cos a)))) into 0 0.613 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.614 * [backup-simplify]: Simplify (+ (* (sin b) 0) (+ (* 0 0) (* 0 1))) into 0 0.614 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.614 * [backup-simplify]: Simplify (+ (* (cos b) 0) (+ (* 0 0) (* 0 0))) into 0 0.615 * [backup-simplify]: Simplify (+ 0 0) into 0 0.615 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.616 * [backup-simplify]: Simplify (+ (* (sin a) 0) (+ (* 0 0) (* 0 1))) into 0 0.616 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.616 * [backup-simplify]: Simplify (+ (* (cos a) 0) (+ (* 0 0) (* 0 0))) into 0 0.616 * [backup-simplify]: Simplify (+ 0 0) into 0 0.617 * [backup-simplify]: Simplify (+ (* (sin a) 0) (+ (* 0 0) (* 0 (sin b)))) into 0 0.617 * [backup-simplify]: Simplify (- 0) into 0 0.617 * [backup-simplify]: Simplify (+ 0 0) into 0 0.618 * [backup-simplify]: Simplify (- (/ 0 (- (* (cos b) (cos a)) (* (sin a) (sin b)))) (+ (* (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) (/ 0 (- (* (cos b) (cos a)) (* (sin a) (sin b))))) (* 0 (/ 0 (- (* (cos b) (cos a)) (* (sin a) (sin b))))))) into 0 0.618 * [taylor]: Taking taylor expansion of 0 in b 0.618 * [backup-simplify]: Simplify 0 into 0 0.618 * [taylor]: Taking taylor expansion of 0 in a 0.618 * [backup-simplify]: Simplify 0 into 0 0.618 * [backup-simplify]: Simplify 0 into 0 0.618 * [taylor]: Taking taylor expansion of 0 in a 0.618 * [backup-simplify]: Simplify 0 into 0 0.618 * [backup-simplify]: Simplify 0 into 0 0.619 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6 0.619 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.619 * [backup-simplify]: Simplify (+ (* (cos a) 0) (+ (* 0 0) (* 0 1))) into 0 0.620 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.620 * [backup-simplify]: Simplify (+ (* (sin a) 0) (+ (* 0 0) (* 0 0))) into 0 0.620 * [backup-simplify]: Simplify (- 0) into 0 0.621 * [backup-simplify]: Simplify (+ 0 0) into 0 0.621 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 0.622 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* -1/2 (cos a)))) into (- (* 1/2 (cos a))) 0.622 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.623 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.623 * [backup-simplify]: Simplify (+ (* (sin a) 0) (+ (* 0 0) (* 0 1))) into 0 0.623 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.624 * [backup-simplify]: Simplify (+ (* (cos a) 0) (+ (* 0 0) (* 0 0))) into 0 0.624 * [backup-simplify]: Simplify (+ 0 0) into 0 0.624 * [backup-simplify]: Simplify (+ (* (sin a) 0) (+ (* 0 1) (* 0 0))) into 0 0.624 * [backup-simplify]: Simplify (- 0) into 0 0.625 * [backup-simplify]: Simplify (+ (- (* 1/2 (cos a))) 0) into (- (* 1/2 (cos a))) 0.625 * [backup-simplify]: Simplify (- (/ -1/6 (cos a)) (+ (* (/ 1 (cos a)) (/ (- (* 1/2 (cos a))) (cos a))) (* (/ (sin a) (pow (cos a) 2)) (/ (- (sin a)) (cos a))))) into (+ (* 1/3 (/ 1 (cos a))) (/ (pow (sin a) 2) (pow (cos a) 3))) 0.625 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (cos a))) (/ (pow (sin a) 2) (pow (cos a) 3))) in a 0.625 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (cos a))) in a 0.625 * [taylor]: Taking taylor expansion of 1/3 in a 0.625 * [backup-simplify]: Simplify 1/3 into 1/3 0.625 * [taylor]: Taking taylor expansion of (/ 1 (cos a)) in a 0.625 * [taylor]: Taking taylor expansion of (cos a) in a 0.625 * [taylor]: Taking taylor expansion of a in a 0.625 * [backup-simplify]: Simplify 0 into 0 0.625 * [backup-simplify]: Simplify 1 into 1 0.625 * [backup-simplify]: Simplify (/ 1 1) into 1 0.625 * [taylor]: Taking taylor expansion of (/ (pow (sin a) 2) (pow (cos a) 3)) in a 0.626 * [taylor]: Taking taylor expansion of (pow (sin a) 2) in a 0.626 * [taylor]: Taking taylor expansion of (sin a) in a 0.626 * [taylor]: Taking taylor expansion of a in a 0.626 * [backup-simplify]: Simplify 0 into 0 0.626 * [backup-simplify]: Simplify 1 into 1 0.626 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 0.626 * [taylor]: Taking taylor expansion of (pow (cos a) 3) in a 0.626 * [taylor]: Taking taylor expansion of (cos a) in a 0.626 * [taylor]: Taking taylor expansion of a in a 0.626 * [backup-simplify]: Simplify 0 into 0 0.626 * [backup-simplify]: Simplify 1 into 1 0.626 * [backup-simplify]: Simplify (* 1 1) into 1 0.627 * [backup-simplify]: Simplify (* 1 1) into 1 0.627 * [backup-simplify]: Simplify (* 1 1) into 1 0.627 * [backup-simplify]: Simplify (/ 1 1) into 1 0.627 * [backup-simplify]: Simplify (* 1/3 1) into 1/3 0.628 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 0.628 * [backup-simplify]: Simplify 1/3 into 1/3 0.628 * [backup-simplify]: Simplify 0 into 0 0.628 * [backup-simplify]: Simplify 1 into 1 0.628 * [backup-simplify]: Simplify (+ (* 1 (* a (* (pow b 2) r))) (+ (* 1/3 (* 1 (* (pow b 3) r))) (* 1 (* 1 (* b r))))) into (+ (* a (* r (pow b 2))) (+ (* r b) (* 1/3 (* r (pow b 3))))) 0.628 * [backup-simplify]: Simplify (/ (* (/ 1 r) (sin (/ 1 b))) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) into (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) 0.628 * [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 0.628 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) in a 0.628 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a 0.628 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.628 * [taylor]: Taking taylor expansion of b in a 0.628 * [backup-simplify]: Simplify b into b 0.629 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.629 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.629 * [backup-simplify]: Simplify (cos (/ 1 b)) into (cos (/ 1 b)) 0.629 * [taylor]: Taking taylor expansion of (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in a 0.629 * [taylor]: Taking taylor expansion of r in a 0.629 * [backup-simplify]: Simplify r into r 0.629 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in a 0.629 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in a 0.629 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in a 0.629 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.629 * [taylor]: Taking taylor expansion of a in a 0.629 * [backup-simplify]: Simplify 0 into 0 0.629 * [backup-simplify]: Simplify 1 into 1 0.629 * [backup-simplify]: Simplify (/ 1 1) into 1 0.629 * [backup-simplify]: Simplify (cos (/ 1 a)) into (cos (/ 1 a)) 0.629 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in a 0.629 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.629 * [taylor]: Taking taylor expansion of b in a 0.629 * [backup-simplify]: Simplify b into b 0.629 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.629 * [backup-simplify]: Simplify (cos (/ 1 b)) into (cos (/ 1 b)) 0.629 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.629 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a 0.629 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a 0.629 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.629 * [taylor]: Taking taylor expansion of a in a 0.629 * [backup-simplify]: Simplify 0 into 0 0.629 * [backup-simplify]: Simplify 1 into 1 0.630 * [backup-simplify]: Simplify (/ 1 1) into 1 0.630 * [backup-simplify]: Simplify (sin (/ 1 a)) into (sin (/ 1 a)) 0.630 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a 0.630 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.630 * [taylor]: Taking taylor expansion of b in a 0.630 * [backup-simplify]: Simplify b into b 0.630 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.630 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.630 * [backup-simplify]: Simplify (cos (/ 1 b)) into (cos (/ 1 b)) 0.630 * [backup-simplify]: Simplify (* (sin (/ 1 b)) 1) into (sin (/ 1 b)) 0.630 * [backup-simplify]: Simplify (* (cos (/ 1 b)) 0) into 0 0.630 * [backup-simplify]: Simplify (+ (sin (/ 1 b)) 0) into (sin (/ 1 b)) 0.630 * [backup-simplify]: Simplify (* (cos (/ 1 b)) 1) into (cos (/ 1 b)) 0.630 * [backup-simplify]: Simplify (* (sin (/ 1 b)) 0) into 0 0.630 * [backup-simplify]: Simplify (- 0) into 0 0.631 * [backup-simplify]: Simplify (+ (cos (/ 1 b)) 0) into (cos (/ 1 b)) 0.631 * [backup-simplify]: Simplify (* (cos (/ 1 a)) (cos (/ 1 b))) into (* (cos (/ 1 a)) (cos (/ 1 b))) 0.631 * [backup-simplify]: Simplify (* (sin (/ 1 b)) 1) into (sin (/ 1 b)) 0.631 * [backup-simplify]: Simplify (* (cos (/ 1 b)) 0) into 0 0.631 * [backup-simplify]: Simplify (+ (sin (/ 1 b)) 0) into (sin (/ 1 b)) 0.631 * [backup-simplify]: Simplify (* (sin (/ 1 a)) (sin (/ 1 b))) into (* (sin (/ 1 a)) (sin (/ 1 b))) 0.631 * [backup-simplify]: Simplify (- (* (sin (/ 1 a)) (sin (/ 1 b)))) into (- (* (sin (/ 1 a)) (sin (/ 1 b)))) 0.631 * [backup-simplify]: Simplify (+ (* (cos (/ 1 a)) (cos (/ 1 b))) (- (* (sin (/ 1 a)) (sin (/ 1 b))))) into (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) 0.632 * [backup-simplify]: Simplify (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) into (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) 0.632 * [backup-simplify]: Simplify (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) into (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) 0.632 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) in b 0.632 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 0.632 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.632 * [taylor]: Taking taylor expansion of b in b 0.632 * [backup-simplify]: Simplify 0 into 0 0.632 * [backup-simplify]: Simplify 1 into 1 0.632 * [backup-simplify]: Simplify (/ 1 1) into 1 0.632 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.632 * [taylor]: Taking taylor expansion of (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in b 0.632 * [taylor]: Taking taylor expansion of r in b 0.632 * [backup-simplify]: Simplify r into r 0.632 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in b 0.632 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in b 0.632 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in b 0.632 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.632 * [taylor]: Taking taylor expansion of a in b 0.632 * [backup-simplify]: Simplify a into a 0.632 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.632 * [backup-simplify]: Simplify (cos (/ 1 a)) into (cos (/ 1 a)) 0.632 * [backup-simplify]: Simplify (sin (/ 1 a)) into (sin (/ 1 a)) 0.633 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in b 0.633 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.633 * [taylor]: Taking taylor expansion of b in b 0.633 * [backup-simplify]: Simplify 0 into 0 0.633 * [backup-simplify]: Simplify 1 into 1 0.633 * [backup-simplify]: Simplify (/ 1 1) into 1 0.633 * [backup-simplify]: Simplify (cos (/ 1 b)) into (cos (/ 1 b)) 0.633 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b 0.633 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b 0.633 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.633 * [taylor]: Taking taylor expansion of a in b 0.633 * [backup-simplify]: Simplify a into a 0.633 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.633 * [backup-simplify]: Simplify (sin (/ 1 a)) into (sin (/ 1 a)) 0.633 * [backup-simplify]: Simplify (cos (/ 1 a)) into (cos (/ 1 a)) 0.633 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 0.633 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.633 * [taylor]: Taking taylor expansion of b in b 0.633 * [backup-simplify]: Simplify 0 into 0 0.633 * [backup-simplify]: Simplify 1 into 1 0.633 * [backup-simplify]: Simplify (/ 1 1) into 1 0.633 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.633 * [backup-simplify]: Simplify (* (cos (/ 1 a)) 1) into (cos (/ 1 a)) 0.634 * [backup-simplify]: Simplify (* (sin (/ 1 a)) 0) into 0 0.634 * [backup-simplify]: Simplify (- 0) into 0 0.634 * [backup-simplify]: Simplify (+ (cos (/ 1 a)) 0) into (cos (/ 1 a)) 0.634 * [backup-simplify]: Simplify (* (cos (/ 1 a)) (cos (/ 1 b))) into (* (cos (/ 1 a)) (cos (/ 1 b))) 0.634 * [backup-simplify]: Simplify (* (sin (/ 1 a)) 1) into (sin (/ 1 a)) 0.634 * [backup-simplify]: Simplify (* (cos (/ 1 a)) 0) into 0 0.634 * [backup-simplify]: Simplify (+ (sin (/ 1 a)) 0) into (sin (/ 1 a)) 0.634 * [backup-simplify]: Simplify (* (sin (/ 1 a)) (sin (/ 1 b))) into (* (sin (/ 1 a)) (sin (/ 1 b))) 0.634 * [backup-simplify]: Simplify (- (* (sin (/ 1 a)) (sin (/ 1 b)))) into (- (* (sin (/ 1 a)) (sin (/ 1 b)))) 0.634 * [backup-simplify]: Simplify (+ (* (cos (/ 1 a)) (cos (/ 1 b))) (- (* (sin (/ 1 a)) (sin (/ 1 b))))) into (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) 0.635 * [backup-simplify]: Simplify (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) into (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) 0.635 * [backup-simplify]: Simplify (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) into (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) 0.635 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) in r 0.635 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r 0.635 * [taylor]: Taking taylor expansion of (/ 1 b) in r 0.635 * [taylor]: Taking taylor expansion of b in r 0.635 * [backup-simplify]: Simplify b into b 0.635 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.635 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.635 * [backup-simplify]: Simplify (cos (/ 1 b)) into (cos (/ 1 b)) 0.635 * [taylor]: Taking taylor expansion of (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in r 0.635 * [taylor]: Taking taylor expansion of r in r 0.635 * [backup-simplify]: Simplify 0 into 0 0.635 * [backup-simplify]: Simplify 1 into 1 0.635 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in r 0.635 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in r 0.635 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in r 0.635 * [taylor]: Taking taylor expansion of (/ 1 a) in r 0.635 * [taylor]: Taking taylor expansion of a in r 0.635 * [backup-simplify]: Simplify a into a 0.635 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.635 * [backup-simplify]: Simplify (cos (/ 1 a)) into (cos (/ 1 a)) 0.635 * [backup-simplify]: Simplify (sin (/ 1 a)) into (sin (/ 1 a)) 0.635 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in r 0.635 * [taylor]: Taking taylor expansion of (/ 1 b) in r 0.635 * [taylor]: Taking taylor expansion of b in r 0.635 * [backup-simplify]: Simplify b into b 0.635 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.635 * [backup-simplify]: Simplify (cos (/ 1 b)) into (cos (/ 1 b)) 0.636 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.636 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in r 0.636 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in r 0.636 * [taylor]: Taking taylor expansion of (/ 1 a) in r 0.636 * [taylor]: Taking taylor expansion of a in r 0.636 * [backup-simplify]: Simplify a into a 0.636 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.636 * [backup-simplify]: Simplify (sin (/ 1 a)) into (sin (/ 1 a)) 0.636 * [backup-simplify]: Simplify (cos (/ 1 a)) into (cos (/ 1 a)) 0.636 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r 0.636 * [taylor]: Taking taylor expansion of (/ 1 b) in r 0.636 * [taylor]: Taking taylor expansion of b in r 0.636 * [backup-simplify]: Simplify b into b 0.636 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.636 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.636 * [backup-simplify]: Simplify (cos (/ 1 b)) into (cos (/ 1 b)) 0.636 * [backup-simplify]: Simplify (* (sin (/ 1 b)) 1) into (sin (/ 1 b)) 0.636 * [backup-simplify]: Simplify (* (cos (/ 1 b)) 0) into 0 0.636 * [backup-simplify]: Simplify (+ (sin (/ 1 b)) 0) into (sin (/ 1 b)) 0.636 * [backup-simplify]: Simplify (* (cos (/ 1 a)) 1) into (cos (/ 1 a)) 0.636 * [backup-simplify]: Simplify (* (sin (/ 1 a)) 0) into 0 0.636 * [backup-simplify]: Simplify (- 0) into 0 0.637 * [backup-simplify]: Simplify (+ (cos (/ 1 a)) 0) into (cos (/ 1 a)) 0.637 * [backup-simplify]: Simplify (* (cos (/ 1 b)) 1) into (cos (/ 1 b)) 0.637 * [backup-simplify]: Simplify (* (sin (/ 1 b)) 0) into 0 0.637 * [backup-simplify]: Simplify (- 0) into 0 0.637 * [backup-simplify]: Simplify (+ (cos (/ 1 b)) 0) into (cos (/ 1 b)) 0.637 * [backup-simplify]: Simplify (* (cos (/ 1 a)) (cos (/ 1 b))) into (* (cos (/ 1 a)) (cos (/ 1 b))) 0.637 * [backup-simplify]: Simplify (* (sin (/ 1 a)) 1) into (sin (/ 1 a)) 0.637 * [backup-simplify]: Simplify (* (cos (/ 1 a)) 0) into 0 0.637 * [backup-simplify]: Simplify (+ (sin (/ 1 a)) 0) into (sin (/ 1 a)) 0.637 * [backup-simplify]: Simplify (* (sin (/ 1 b)) 1) into (sin (/ 1 b)) 0.637 * [backup-simplify]: Simplify (* (cos (/ 1 b)) 0) into 0 0.637 * [backup-simplify]: Simplify (+ (sin (/ 1 b)) 0) into (sin (/ 1 b)) 0.637 * [backup-simplify]: Simplify (* (sin (/ 1 a)) (sin (/ 1 b))) into (* (sin (/ 1 a)) (sin (/ 1 b))) 0.637 * [backup-simplify]: Simplify (- (* (sin (/ 1 a)) (sin (/ 1 b)))) into (- (* (sin (/ 1 a)) (sin (/ 1 b)))) 0.638 * [backup-simplify]: Simplify (+ (* (cos (/ 1 a)) (cos (/ 1 b))) (- (* (sin (/ 1 a)) (sin (/ 1 b))))) into (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) 0.638 * [backup-simplify]: Simplify (* 0 (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) into 0 0.638 * [backup-simplify]: Simplify (+ 0) into 0 0.638 * [backup-simplify]: Simplify (+ (* (cos (/ 1 b)) 0) (* 0 1)) into 0 0.638 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.639 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.639 * [backup-simplify]: Simplify (+ (* (sin (/ 1 b)) 0) (* 0 0)) into 0 0.639 * [backup-simplify]: Simplify (- 0) into 0 0.640 * [backup-simplify]: Simplify (+ 0 0) into 0 0.640 * [backup-simplify]: Simplify (+ 0) into 0 0.640 * [backup-simplify]: Simplify (+ (* (cos (/ 1 a)) 0) (* 0 1)) into 0 0.640 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.641 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.641 * [backup-simplify]: Simplify (+ (* (sin (/ 1 a)) 0) (* 0 0)) into 0 0.641 * [backup-simplify]: Simplify (- 0) into 0 0.641 * [backup-simplify]: Simplify (+ 0 0) into 0 0.641 * [backup-simplify]: Simplify (+ (* (cos (/ 1 a)) 0) (* 0 (cos (/ 1 b)))) into 0 0.642 * [backup-simplify]: Simplify (+ 0) into 0 0.642 * [backup-simplify]: Simplify (+ (* (sin (/ 1 b)) 0) (* 0 1)) into 0 0.642 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.642 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.643 * [backup-simplify]: Simplify (+ (* (cos (/ 1 b)) 0) (* 0 0)) into 0 0.643 * [backup-simplify]: Simplify (+ 0 0) into 0 0.643 * [backup-simplify]: Simplify (+ 0) into 0 0.643 * [backup-simplify]: Simplify (+ (* (sin (/ 1 a)) 0) (* 0 1)) into 0 0.643 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.644 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.644 * [backup-simplify]: Simplify (+ (* (cos (/ 1 a)) 0) (* 0 0)) into 0 0.644 * [backup-simplify]: Simplify (+ 0 0) into 0 0.644 * [backup-simplify]: Simplify (+ (* (sin (/ 1 a)) 0) (* 0 (sin (/ 1 b)))) into 0 0.645 * [backup-simplify]: Simplify (- 0) into 0 0.645 * [backup-simplify]: Simplify (+ 0 0) into 0 0.645 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) into (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) 0.645 * [backup-simplify]: Simplify (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) into (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) 0.645 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) in r 0.645 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r 0.645 * [taylor]: Taking taylor expansion of (/ 1 b) in r 0.646 * [taylor]: Taking taylor expansion of b in r 0.646 * [backup-simplify]: Simplify b into b 0.646 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.646 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.646 * [backup-simplify]: Simplify (cos (/ 1 b)) into (cos (/ 1 b)) 0.646 * [taylor]: Taking taylor expansion of (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in r 0.646 * [taylor]: Taking taylor expansion of r in r 0.646 * [backup-simplify]: Simplify 0 into 0 0.646 * [backup-simplify]: Simplify 1 into 1 0.646 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in r 0.646 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in r 0.646 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in r 0.646 * [taylor]: Taking taylor expansion of (/ 1 a) in r 0.646 * [taylor]: Taking taylor expansion of a in r 0.646 * [backup-simplify]: Simplify a into a 0.646 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.646 * [backup-simplify]: Simplify (cos (/ 1 a)) into (cos (/ 1 a)) 0.646 * [backup-simplify]: Simplify (sin (/ 1 a)) into (sin (/ 1 a)) 0.646 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in r 0.646 * [taylor]: Taking taylor expansion of (/ 1 b) in r 0.646 * [taylor]: Taking taylor expansion of b in r 0.646 * [backup-simplify]: Simplify b into b 0.646 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.646 * [backup-simplify]: Simplify (cos (/ 1 b)) into (cos (/ 1 b)) 0.646 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.646 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in r 0.646 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in r 0.646 * [taylor]: Taking taylor expansion of (/ 1 a) in r 0.646 * [taylor]: Taking taylor expansion of a in r 0.646 * [backup-simplify]: Simplify a into a 0.646 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.646 * [backup-simplify]: Simplify (sin (/ 1 a)) into (sin (/ 1 a)) 0.646 * [backup-simplify]: Simplify (cos (/ 1 a)) into (cos (/ 1 a)) 0.646 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r 0.646 * [taylor]: Taking taylor expansion of (/ 1 b) in r 0.646 * [taylor]: Taking taylor expansion of b in r 0.646 * [backup-simplify]: Simplify b into b 0.646 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.646 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.647 * [backup-simplify]: Simplify (cos (/ 1 b)) into (cos (/ 1 b)) 0.647 * [backup-simplify]: Simplify (* (sin (/ 1 b)) 1) into (sin (/ 1 b)) 0.647 * [backup-simplify]: Simplify (* (cos (/ 1 b)) 0) into 0 0.647 * [backup-simplify]: Simplify (+ (sin (/ 1 b)) 0) into (sin (/ 1 b)) 0.647 * [backup-simplify]: Simplify (* (cos (/ 1 a)) 1) into (cos (/ 1 a)) 0.647 * [backup-simplify]: Simplify (* (sin (/ 1 a)) 0) into 0 0.647 * [backup-simplify]: Simplify (- 0) into 0 0.647 * [backup-simplify]: Simplify (+ (cos (/ 1 a)) 0) into (cos (/ 1 a)) 0.647 * [backup-simplify]: Simplify (* (cos (/ 1 b)) 1) into (cos (/ 1 b)) 0.647 * [backup-simplify]: Simplify (* (sin (/ 1 b)) 0) into 0 0.648 * [backup-simplify]: Simplify (- 0) into 0 0.648 * [backup-simplify]: Simplify (+ (cos (/ 1 b)) 0) into (cos (/ 1 b)) 0.648 * [backup-simplify]: Simplify (* (cos (/ 1 a)) (cos (/ 1 b))) into (* (cos (/ 1 a)) (cos (/ 1 b))) 0.648 * [backup-simplify]: Simplify (* (sin (/ 1 a)) 1) into (sin (/ 1 a)) 0.648 * [backup-simplify]: Simplify (* (cos (/ 1 a)) 0) into 0 0.648 * [backup-simplify]: Simplify (+ (sin (/ 1 a)) 0) into (sin (/ 1 a)) 0.648 * [backup-simplify]: Simplify (* (sin (/ 1 b)) 1) into (sin (/ 1 b)) 0.648 * [backup-simplify]: Simplify (* (cos (/ 1 b)) 0) into 0 0.648 * [backup-simplify]: Simplify (+ (sin (/ 1 b)) 0) into (sin (/ 1 b)) 0.648 * [backup-simplify]: Simplify (* (sin (/ 1 a)) (sin (/ 1 b))) into (* (sin (/ 1 a)) (sin (/ 1 b))) 0.648 * [backup-simplify]: Simplify (- (* (sin (/ 1 a)) (sin (/ 1 b)))) into (- (* (sin (/ 1 a)) (sin (/ 1 b)))) 0.648 * [backup-simplify]: Simplify (+ (* (cos (/ 1 a)) (cos (/ 1 b))) (- (* (sin (/ 1 a)) (sin (/ 1 b))))) into (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) 0.649 * [backup-simplify]: Simplify (* 0 (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) into 0 0.649 * [backup-simplify]: Simplify (+ 0) into 0 0.649 * [backup-simplify]: Simplify (+ (* (cos (/ 1 b)) 0) (* 0 1)) into 0 0.649 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.650 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.650 * [backup-simplify]: Simplify (+ (* (sin (/ 1 b)) 0) (* 0 0)) into 0 0.650 * [backup-simplify]: Simplify (- 0) into 0 0.650 * [backup-simplify]: Simplify (+ 0 0) into 0 0.651 * [backup-simplify]: Simplify (+ 0) into 0 0.651 * [backup-simplify]: Simplify (+ (* (cos (/ 1 a)) 0) (* 0 1)) into 0 0.651 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.651 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.652 * [backup-simplify]: Simplify (+ (* (sin (/ 1 a)) 0) (* 0 0)) into 0 0.652 * [backup-simplify]: Simplify (- 0) into 0 0.652 * [backup-simplify]: Simplify (+ 0 0) into 0 0.652 * [backup-simplify]: Simplify (+ (* (cos (/ 1 a)) 0) (* 0 (cos (/ 1 b)))) into 0 0.652 * [backup-simplify]: Simplify (+ 0) into 0 0.653 * [backup-simplify]: Simplify (+ (* (sin (/ 1 b)) 0) (* 0 1)) into 0 0.653 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.653 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.653 * [backup-simplify]: Simplify (+ (* (cos (/ 1 b)) 0) (* 0 0)) into 0 0.654 * [backup-simplify]: Simplify (+ 0 0) into 0 0.654 * [backup-simplify]: Simplify (+ 0) into 0 0.654 * [backup-simplify]: Simplify (+ (* (sin (/ 1 a)) 0) (* 0 1)) into 0 0.654 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 0.655 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.655 * [backup-simplify]: Simplify (+ (* (cos (/ 1 a)) 0) (* 0 0)) into 0 0.655 * [backup-simplify]: Simplify (+ 0 0) into 0 0.655 * [backup-simplify]: Simplify (+ (* (sin (/ 1 a)) 0) (* 0 (sin (/ 1 b)))) into 0 0.655 * [backup-simplify]: Simplify (- 0) into 0 0.656 * [backup-simplify]: Simplify (+ 0 0) into 0 0.656 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) into (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) 0.656 * [backup-simplify]: Simplify (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) into (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) 0.656 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in b 0.656 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 0.656 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.656 * [taylor]: Taking taylor expansion of b in b 0.656 * [backup-simplify]: Simplify 0 into 0 0.656 * [backup-simplify]: Simplify 1 into 1 0.657 * [backup-simplify]: Simplify (/ 1 1) into 1 0.657 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.657 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in b 0.657 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in b 0.657 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in b 0.657 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.657 * [taylor]: Taking taylor expansion of a in b 0.657 * [backup-simplify]: Simplify a into a 0.657 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.657 * [backup-simplify]: Simplify (cos (/ 1 a)) into (cos (/ 1 a)) 0.657 * [backup-simplify]: Simplify (sin (/ 1 a)) into (sin (/ 1 a)) 0.657 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in b 0.657 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.657 * [taylor]: Taking taylor expansion of b in b 0.657 * [backup-simplify]: Simplify 0 into 0 0.657 * [backup-simplify]: Simplify 1 into 1 0.657 * [backup-simplify]: Simplify (/ 1 1) into 1 0.657 * [backup-simplify]: Simplify (cos (/ 1 b)) into (cos (/ 1 b)) 0.657 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b 0.657 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b 0.657 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.657 * [taylor]: Taking taylor expansion of a in b 0.657 * [backup-simplify]: Simplify a into a 0.657 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.657 * [backup-simplify]: Simplify (sin (/ 1 a)) into (sin (/ 1 a)) 0.658 * [backup-simplify]: Simplify (cos (/ 1 a)) into (cos (/ 1 a)) 0.658 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b 0.658 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.658 * [taylor]: Taking taylor expansion of b in b 0.658 * [backup-simplify]: Simplify 0 into 0 0.658 * [backup-simplify]: Simplify 1 into 1 0.658 * [backup-simplify]: Simplify (/ 1 1) into 1 0.658 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.658 * [backup-simplify]: Simplify (* (cos (/ 1 a)) 1) into (cos (/ 1 a)) 0.658 * [backup-simplify]: Simplify (* (sin (/ 1 a)) 0) into 0 0.658 * [backup-simplify]: Simplify (- 0) into 0 0.658 * [backup-simplify]: Simplify (+ (cos (/ 1 a)) 0) into (cos (/ 1 a)) 0.658 * [backup-simplify]: Simplify (* (cos (/ 1 a)) (cos (/ 1 b))) into (* (cos (/ 1 a)) (cos (/ 1 b))) 0.658 * [backup-simplify]: Simplify (* (sin (/ 1 a)) 1) into (sin (/ 1 a)) 0.658 * [backup-simplify]: Simplify (* (cos (/ 1 a)) 0) into 0 0.659 * [backup-simplify]: Simplify (+ (sin (/ 1 a)) 0) into (sin (/ 1 a)) 0.659 * [backup-simplify]: Simplify (* (sin (/ 1 a)) (sin (/ 1 b))) into (* (sin (/ 1 a)) (sin (/ 1 b))) 0.659 * [backup-simplify]: Simplify (- (* (sin (/ 1 a)) (sin (/ 1 b)))) into (- (* (sin (/ 1 a)) (sin (/ 1 b)))) 0.659 * [backup-simplify]: Simplify (+ (* (cos (/ 1 a)) (cos (/ 1 b))) (- (* (sin (/ 1 a)) (sin (/ 1 b))))) into (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) 0.659 * [backup-simplify]: Simplify (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) into (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) 0.659 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in a 0.659 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a 0.659 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.659 * [taylor]: Taking taylor expansion of b in a 0.659 * [backup-simplify]: Simplify b into b 0.659 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.659 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.660 * [backup-simplify]: Simplify (cos (/ 1 b)) into (cos (/ 1 b)) 0.660 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in a 0.660 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in a 0.660 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in a 0.660 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.660 * [taylor]: Taking taylor expansion of a in a 0.660 * [backup-simplify]: Simplify 0 into 0 0.660 * [backup-simplify]: Simplify 1 into 1 0.660 * [backup-simplify]: Simplify (/ 1 1) into 1 0.660 * [backup-simplify]: Simplify (cos (/ 1 a)) into (cos (/ 1 a)) 0.660 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in a 0.660 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.660 * [taylor]: Taking taylor expansion of b in a 0.660 * [backup-simplify]: Simplify b into b 0.660 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.660 * [backup-simplify]: Simplify (cos (/ 1 b)) into (cos (/ 1 b)) 0.660 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.660 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a 0.660 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a 0.660 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.660 * [taylor]: Taking taylor expansion of a in a 0.660 * [backup-simplify]: Simplify 0 into 0 0.660 * [backup-simplify]: Simplify 1 into 1 0.660 * [backup-simplify]: Simplify (/ 1 1) into 1 0.660 * [backup-simplify]: Simplify (sin (/ 1 a)) into (sin (/ 1 a)) 0.660 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a 0.660 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.661 * [taylor]: Taking taylor expansion of b in a 0.661 * [backup-simplify]: Simplify b into b 0.661 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.661 * [backup-simplify]: Simplify (sin (/ 1 b)) into (sin (/ 1 b)) 0.661 * [backup-simplify]: Simplify (cos (/ 1 b)) into (cos (/ 1 b)) 0.661 * [backup-simplify]: Simplify (* (sin (/ 1 b)) 1) into (sin (/ 1 b)) 0.661 * [backup-simplify]: Simplify (* (cos (/ 1 b)) 0) into 0 0.661 * [backup-simplify]: Simplify (+ (sin (/ 1 b)) 0) into (sin (/ 1 b)) 0.661 * [backup-simplify]: Simplify (* (cos (/ 1 b)) 1) into (cos (/ 1 b)) 0.661 * [backup-simplify]: Simplify (* (sin (/ 1 b)) 0) into 0 0.661 * [backup-simplify]: Simplify (- 0) into 0 0.661 * [backup-simplify]: Simplify (+ (cos (/ 1 b)) 0) into (cos (/ 1 b)) 0.661 * [backup-simplify]: Simplify (* (cos (/ 1 a)) (cos (/ 1 b))) into (* (cos (/ 1 a)) (cos (/ 1 b))) 0.661 * [backup-simplify]: Simplify (* (sin (/ 1 b)) 1) into (sin (/ 1 b)) 0.661 * [backup-simplify]: Simplify (* (cos (/ 1 b)) 0) into 0 0.662 * [backup-simplify]: Simplify (+ (sin (/ 1 b)) 0) into (sin (/ 1 b)) 0.662 * [backup-simplify]: Simplify (* (sin (/ 1 a)) (sin (/ 1 b))) into (* (sin (/ 1 a)) (sin (/ 1 b))) 0.662 * [backup-simplify]: Simplify (- (* (sin (/ 1 a)) (sin (/ 1 b)))) into (- (* (sin (/ 1 a)) (sin (/ 1 b)))) 0.662 * [backup-simplify]: Simplify (+ (* (cos (/ 1 a)) (cos (/ 1 b))) (- (* (sin (/ 1 a)) (sin (/ 1 b))))) into (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) 0.662 * [backup-simplify]: Simplify (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) into (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) 0.662 * [backup-simplify]: Simplify (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) into (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) 0.663 * [backup-simplify]: Simplify (+ 0) into 0 0.663 * [backup-simplify]: Simplify (+ (* (sin (/ 1 b)) 0) (* 0 1)) into 0 0.663 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.663 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.664 * [backup-simplify]: Simplify (+ (* (cos (/ 1 b)) 0) (* 0 0)) into 0 0.664 * [backup-simplify]: Simplify (+ 0 0) into 0 0.664 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.665 * [backup-simplify]: Simplify (+ (* (cos (/ 1 b)) 0) (+ (* 0 0) (* 0 1))) into 0 0.665 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.665 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.666 * [backup-simplify]: Simplify (+ (* (sin (/ 1 b)) 0) (+ (* 0 0) (* 0 0))) into 0 0.666 * [backup-simplify]: Simplify (- 0) into 0 0.666 * [backup-simplify]: Simplify (+ 0 0) into 0