9.021 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.081 * * * [progress]: [2/2] Setting up program.
0.084 * [progress]: [Phase 2 of 3] Improving.
0.085 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* r (/ (sin b) (cos (+ a b))))
0.086 * * [simplify]: iteration  0 :  12  enodes  (cost  5 )
0.087 * * [simplify]: iteration  1 :  16  enodes  (cost  5 )
0.088 * * [simplify]: iteration  2 :  20  enodes  (cost  5 )
0.089 * * [simplify]: iteration  3 :  21  enodes  (cost  5 )
0.090 * * [simplify]: iteration  4 :  21  enodes  (cost  5 )
0.090 * [simplify]: Simplified to:
   (* r (/ (sin b) (cos (+ a b))))
0.090 * * [progress]: iteration 1 / 4
0.090 * * * [progress]: picking best candidate
0.094 * * * * [pick]: Picked  #<alt (λ (r a b) (* r (/ (sin b) (cos (+ a b)))))>
0.094 * * * [progress]: localizing error
0.103 * * * [progress]: generating rewritten candidates
0.103 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2)
0.107 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.111 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.120 * * * [progress]: generating series expansions
0.120 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2)
0.120 * [approximate]: Taking taylor expansion of (cos (+ a b)) in (a b) around 0
0.120 * [taylor]: Taking taylor expansion of (cos (+ a b)) in b
0.120 * [taylor]: Taking taylor expansion of (+ a b) in b
0.120 * [taylor]: Taking taylor expansion of a in b
0.120 * [taylor]: Taking taylor expansion of b in b
0.120 * [taylor]: Taking taylor expansion of (cos (+ a b)) in a
0.120 * [taylor]: Taking taylor expansion of (+ a b) in a
0.121 * [taylor]: Taking taylor expansion of a in a
0.121 * [taylor]: Taking taylor expansion of b in a
0.121 * [taylor]: Taking taylor expansion of (cos (+ a b)) in a
0.121 * [taylor]: Taking taylor expansion of (+ a b) in a
0.121 * [taylor]: Taking taylor expansion of a in a
0.121 * [taylor]: Taking taylor expansion of b in a
0.121 * [taylor]: Taking taylor expansion of (cos b) in b
0.121 * [taylor]: Taking taylor expansion of b in b
0.122 * [taylor]: Taking taylor expansion of (neg (sin b)) in b
0.122 * [taylor]: Taking taylor expansion of (sin b) in b
0.122 * [taylor]: Taking taylor expansion of b in b
0.122 * [taylor]: Taking taylor expansion of (neg (* 1/2 (cos b))) in b
0.122 * [taylor]: Taking taylor expansion of (* 1/2 (cos b)) in b
0.122 * [taylor]: Taking taylor expansion of 1/2 in b
0.122 * [taylor]: Taking taylor expansion of (cos b) in b
0.122 * [taylor]: Taking taylor expansion of b in b
0.123 * [approximate]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in (a b) around 0
0.123 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in b
0.123 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.123 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.123 * [taylor]: Taking taylor expansion of b in b
0.123 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.123 * [taylor]: Taking taylor expansion of a in b
0.123 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in a
0.123 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.123 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.123 * [taylor]: Taking taylor expansion of b in a
0.123 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.123 * [taylor]: Taking taylor expansion of a in a
0.123 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in a
0.123 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.123 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.123 * [taylor]: Taking taylor expansion of b in a
0.123 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.123 * [taylor]: Taking taylor expansion of a in a
0.124 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 a) (/ 1 b))) in b
0.124 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
0.124 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.124 * [taylor]: Taking taylor expansion of a in b
0.124 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.124 * [taylor]: Taking taylor expansion of b in b
0.124 * [taylor]: Taking taylor expansion of 0 in b
0.124 * [taylor]: Taking taylor expansion of 0 in b
0.124 * [taylor]: Taking taylor expansion of 0 in b
0.124 * [approximate]: Taking taylor expansion of (cos (neg (+ (/ 1 b) (/ 1 a)))) in (a b) around 0
0.124 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 b) (/ 1 a)))) in b
0.124 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in b
0.124 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.124 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.124 * [taylor]: Taking taylor expansion of b in b
0.124 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.124 * [taylor]: Taking taylor expansion of a in b
0.124 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 b) (/ 1 a)))) in a
0.124 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in a
0.124 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.124 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.124 * [taylor]: Taking taylor expansion of b in a
0.124 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.125 * [taylor]: Taking taylor expansion of a in a
0.125 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 b) (/ 1 a)))) in a
0.125 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in a
0.125 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.125 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.125 * [taylor]: Taking taylor expansion of b in a
0.125 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.125 * [taylor]: Taking taylor expansion of a in a
0.125 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 b) (/ 1 a)))) in b
0.125 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in b
0.125 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.125 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.125 * [taylor]: Taking taylor expansion of b in b
0.125 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.125 * [taylor]: Taking taylor expansion of a in b
0.125 * [taylor]: Taking taylor expansion of 0 in b
0.125 * [taylor]: Taking taylor expansion of 0 in b
0.125 * [taylor]: Taking taylor expansion of 0 in b
0.125 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.125 * [approximate]: Taking taylor expansion of (/ (sin b) (cos (+ a b))) in (b a) around 0
0.125 * [taylor]: Taking taylor expansion of (/ (sin b) (cos (+ a b))) in a
0.126 * [taylor]: Taking taylor expansion of (sin b) in a
0.126 * [taylor]: Taking taylor expansion of b in a
0.126 * [taylor]: Taking taylor expansion of (cos (+ a b)) in a
0.126 * [taylor]: Taking taylor expansion of (+ a b) in a
0.126 * [taylor]: Taking taylor expansion of a in a
0.126 * [taylor]: Taking taylor expansion of b in a
0.126 * [taylor]: Taking taylor expansion of (/ (sin b) (cos (+ a b))) in b
0.126 * [taylor]: Taking taylor expansion of (sin b) in b
0.126 * [taylor]: Taking taylor expansion of b in b
0.126 * [taylor]: Taking taylor expansion of (cos (+ a b)) in b
0.126 * [taylor]: Taking taylor expansion of (+ a b) in b
0.126 * [taylor]: Taking taylor expansion of a in b
0.126 * [taylor]: Taking taylor expansion of b in b
0.126 * [taylor]: Taking taylor expansion of (/ (sin b) (cos (+ a b))) in b
0.126 * [taylor]: Taking taylor expansion of (sin b) in b
0.126 * [taylor]: Taking taylor expansion of b in b
0.126 * [taylor]: Taking taylor expansion of (cos (+ a b)) in b
0.126 * [taylor]: Taking taylor expansion of (+ a b) in b
0.126 * [taylor]: Taking taylor expansion of a in b
0.126 * [taylor]: Taking taylor expansion of b in b
0.127 * [taylor]: Taking taylor expansion of (/ 1 (cos a)) in a
0.127 * [taylor]: Taking taylor expansion of (cos a) in a
0.127 * [taylor]: Taking taylor expansion of a in a
0.127 * [taylor]: Taking taylor expansion of (/ (sin a) (pow (cos a) 2)) in a
0.127 * [taylor]: Taking taylor expansion of (sin a) in a
0.127 * [taylor]: Taking taylor expansion of a in a
0.127 * [taylor]: Taking taylor expansion of (pow (cos a) 2) in a
0.127 * [taylor]: Taking taylor expansion of (cos a) in a
0.127 * [taylor]: Taking taylor expansion of a in a
0.128 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (cos a))) (/ (pow (sin a) 2) (pow (cos a) 3))) in a
0.128 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (cos a))) in a
0.128 * [taylor]: Taking taylor expansion of 1/3 in a
0.128 * [taylor]: Taking taylor expansion of (/ 1 (cos a)) in a
0.128 * [taylor]: Taking taylor expansion of (cos a) in a
0.128 * [taylor]: Taking taylor expansion of a in a
0.128 * [taylor]: Taking taylor expansion of (/ (pow (sin a) 2) (pow (cos a) 3)) in a
0.128 * [taylor]: Taking taylor expansion of (pow (sin a) 2) in a
0.128 * [taylor]: Taking taylor expansion of (sin a) in a
0.128 * [taylor]: Taking taylor expansion of a in a
0.128 * [taylor]: Taking taylor expansion of (pow (cos a) 3) in a
0.128 * [taylor]: Taking taylor expansion of (cos a) in a
0.128 * [taylor]: Taking taylor expansion of a in a
0.129 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 b)) (cos (+ (/ 1 b) (/ 1 a)))) in (b a) around 0
0.129 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (cos (+ (/ 1 b) (/ 1 a)))) in a
0.129 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a
0.129 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.129 * [taylor]: Taking taylor expansion of b in a
0.129 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in a
0.129 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.129 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.129 * [taylor]: Taking taylor expansion of b in a
0.129 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.129 * [taylor]: Taking taylor expansion of a in a
0.130 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (cos (+ (/ 1 b) (/ 1 a)))) in b
0.130 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b
0.130 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.130 * [taylor]: Taking taylor expansion of b in b
0.130 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in b
0.130 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.130 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.130 * [taylor]: Taking taylor expansion of b in b
0.130 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.130 * [taylor]: Taking taylor expansion of a in b
0.130 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (cos (+ (/ 1 b) (/ 1 a)))) in b
0.130 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b
0.130 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.130 * [taylor]: Taking taylor expansion of b in b
0.130 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in b
0.130 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.130 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.130 * [taylor]: Taking taylor expansion of b in b
0.130 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.130 * [taylor]: Taking taylor expansion of a in b
0.130 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (cos (+ (/ 1 b) (/ 1 a)))) in a
0.130 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a
0.130 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.130 * [taylor]: Taking taylor expansion of b in a
0.130 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in a
0.131 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.131 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.131 * [taylor]: Taking taylor expansion of b in a
0.131 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.131 * [taylor]: Taking taylor expansion of a in a
0.131 * [taylor]: Taking taylor expansion of 0 in a
0.132 * [taylor]: Taking taylor expansion of 0 in a
0.133 * [taylor]: Taking taylor expansion of 0 in a
0.133 * [approximate]: Taking taylor expansion of (/ (sin (/ -1 b)) (cos (neg (+ (/ 1 b) (/ 1 a))))) in (b a) around 0
0.133 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (cos (neg (+ (/ 1 b) (/ 1 a))))) in a
0.133 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a
0.133 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.133 * [taylor]: Taking taylor expansion of -1 in a
0.133 * [taylor]: Taking taylor expansion of b in a
0.133 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 b) (/ 1 a)))) in a
0.133 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in a
0.133 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.133 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.133 * [taylor]: Taking taylor expansion of b in a
0.133 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.133 * [taylor]: Taking taylor expansion of a in a
0.134 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (cos (neg (+ (/ 1 b) (/ 1 a))))) in b
0.134 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b
0.134 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.134 * [taylor]: Taking taylor expansion of -1 in b
0.134 * [taylor]: Taking taylor expansion of b in b
0.134 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 b) (/ 1 a)))) in b
0.134 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in b
0.134 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.134 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.134 * [taylor]: Taking taylor expansion of b in b
0.134 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.134 * [taylor]: Taking taylor expansion of a in b
0.134 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (cos (neg (+ (/ 1 b) (/ 1 a))))) in b
0.134 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b
0.134 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.134 * [taylor]: Taking taylor expansion of -1 in b
0.134 * [taylor]: Taking taylor expansion of b in b
0.134 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 b) (/ 1 a)))) in b
0.134 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in b
0.134 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.134 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.134 * [taylor]: Taking taylor expansion of b in b
0.134 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.134 * [taylor]: Taking taylor expansion of a in b
0.134 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (cos (neg (+ (/ 1 b) (/ 1 a))))) in a
0.134 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a
0.134 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.135 * [taylor]: Taking taylor expansion of -1 in a
0.135 * [taylor]: Taking taylor expansion of b in a
0.135 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 b) (/ 1 a)))) in a
0.135 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in a
0.135 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.135 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.135 * [taylor]: Taking taylor expansion of b in a
0.135 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.135 * [taylor]: Taking taylor expansion of a in a
0.135 * [taylor]: Taking taylor expansion of 0 in a
0.136 * [taylor]: Taking taylor expansion of 0 in a
0.137 * [taylor]: Taking taylor expansion of 0 in a
0.137 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.137 * [approximate]: Taking taylor expansion of (/ (* r (sin b)) (cos (+ a b))) in (r b a) around 0
0.137 * [taylor]: Taking taylor expansion of (/ (* r (sin b)) (cos (+ a b))) in a
0.138 * [taylor]: Taking taylor expansion of (* r (sin b)) in a
0.138 * [taylor]: Taking taylor expansion of r in a
0.138 * [taylor]: Taking taylor expansion of (sin b) in a
0.138 * [taylor]: Taking taylor expansion of b in a
0.138 * [taylor]: Taking taylor expansion of (cos (+ a b)) in a
0.138 * [taylor]: Taking taylor expansion of (+ a b) in a
0.138 * [taylor]: Taking taylor expansion of a in a
0.138 * [taylor]: Taking taylor expansion of b in a
0.138 * [taylor]: Taking taylor expansion of (/ (* r (sin b)) (cos (+ a b))) in b
0.138 * [taylor]: Taking taylor expansion of (* r (sin b)) in b
0.138 * [taylor]: Taking taylor expansion of r in b
0.138 * [taylor]: Taking taylor expansion of (sin b) in b
0.138 * [taylor]: Taking taylor expansion of b in b
0.138 * [taylor]: Taking taylor expansion of (cos (+ a b)) in b
0.138 * [taylor]: Taking taylor expansion of (+ a b) in b
0.138 * [taylor]: Taking taylor expansion of a in b
0.138 * [taylor]: Taking taylor expansion of b in b
0.138 * [taylor]: Taking taylor expansion of (/ (* r (sin b)) (cos (+ a b))) in r
0.138 * [taylor]: Taking taylor expansion of (* r (sin b)) in r
0.138 * [taylor]: Taking taylor expansion of r in r
0.138 * [taylor]: Taking taylor expansion of (sin b) in r
0.138 * [taylor]: Taking taylor expansion of b in r
0.138 * [taylor]: Taking taylor expansion of (cos (+ a b)) in r
0.138 * [taylor]: Taking taylor expansion of (+ a b) in r
0.138 * [taylor]: Taking taylor expansion of a in r
0.138 * [taylor]: Taking taylor expansion of b in r
0.139 * [taylor]: Taking taylor expansion of (/ (* r (sin b)) (cos (+ a b))) in r
0.139 * [taylor]: Taking taylor expansion of (* r (sin b)) in r
0.139 * [taylor]: Taking taylor expansion of r in r
0.139 * [taylor]: Taking taylor expansion of (sin b) in r
0.139 * [taylor]: Taking taylor expansion of b in r
0.139 * [taylor]: Taking taylor expansion of (cos (+ a b)) in r
0.139 * [taylor]: Taking taylor expansion of (+ a b) in r
0.139 * [taylor]: Taking taylor expansion of a in r
0.139 * [taylor]: Taking taylor expansion of b in r
0.139 * [taylor]: Taking taylor expansion of (/ (sin b) (cos (+ a b))) in b
0.139 * [taylor]: Taking taylor expansion of (sin b) in b
0.140 * [taylor]: Taking taylor expansion of b in b
0.140 * [taylor]: Taking taylor expansion of (cos (+ a b)) in b
0.140 * [taylor]: Taking taylor expansion of (+ a b) in b
0.140 * [taylor]: Taking taylor expansion of a in b
0.140 * [taylor]: Taking taylor expansion of b in b
0.140 * [taylor]: Taking taylor expansion of (/ 1 (cos a)) in a
0.140 * [taylor]: Taking taylor expansion of (cos a) in a
0.140 * [taylor]: Taking taylor expansion of a in a
0.140 * [taylor]: Taking taylor expansion of 0 in b
0.140 * [taylor]: Taking taylor expansion of 0 in a
0.141 * [taylor]: Taking taylor expansion of (/ (sin a) (pow (cos a) 2)) in a
0.141 * [taylor]: Taking taylor expansion of (sin a) in a
0.141 * [taylor]: Taking taylor expansion of a in a
0.141 * [taylor]: Taking taylor expansion of (pow (cos a) 2) in a
0.141 * [taylor]: Taking taylor expansion of (cos a) in a
0.141 * [taylor]: Taking taylor expansion of a in a
0.146 * [taylor]: Taking taylor expansion of 0 in b
0.146 * [taylor]: Taking taylor expansion of 0 in a
0.146 * [taylor]: Taking taylor expansion of 0 in a
0.147 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (cos a))) (/ (pow (sin a) 2) (pow (cos a) 3))) in a
0.147 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (cos a))) in a
0.147 * [taylor]: Taking taylor expansion of 1/3 in a
0.147 * [taylor]: Taking taylor expansion of (/ 1 (cos a)) in a
0.147 * [taylor]: Taking taylor expansion of (cos a) in a
0.147 * [taylor]: Taking taylor expansion of a in a
0.147 * [taylor]: Taking taylor expansion of (/ (pow (sin a) 2) (pow (cos a) 3)) in a
0.147 * [taylor]: Taking taylor expansion of (pow (sin a) 2) in a
0.147 * [taylor]: Taking taylor expansion of (sin a) in a
0.147 * [taylor]: Taking taylor expansion of a in a
0.147 * [taylor]: Taking taylor expansion of (pow (cos a) 3) in a
0.147 * [taylor]: Taking taylor expansion of (cos a) in a
0.147 * [taylor]: Taking taylor expansion of a in a
0.148 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 b)) (* (cos (+ (/ 1 b) (/ 1 a))) r)) in (r b a) around 0
0.148 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* (cos (+ (/ 1 b) (/ 1 a))) r)) in a
0.148 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a
0.148 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.148 * [taylor]: Taking taylor expansion of b in a
0.148 * [taylor]: Taking taylor expansion of (* (cos (+ (/ 1 b) (/ 1 a))) r) in a
0.148 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in a
0.148 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.148 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.148 * [taylor]: Taking taylor expansion of b in a
0.148 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.148 * [taylor]: Taking taylor expansion of a in a
0.148 * [taylor]: Taking taylor expansion of r in a
0.148 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* (cos (+ (/ 1 b) (/ 1 a))) r)) in b
0.148 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b
0.148 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.148 * [taylor]: Taking taylor expansion of b in b
0.148 * [taylor]: Taking taylor expansion of (* (cos (+ (/ 1 b) (/ 1 a))) r) in b
0.148 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in b
0.148 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.148 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.148 * [taylor]: Taking taylor expansion of b in b
0.148 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.148 * [taylor]: Taking taylor expansion of a in b
0.148 * [taylor]: Taking taylor expansion of r in b
0.149 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* (cos (+ (/ 1 b) (/ 1 a))) r)) in r
0.149 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r
0.149 * [taylor]: Taking taylor expansion of (/ 1 b) in r
0.149 * [taylor]: Taking taylor expansion of b in r
0.149 * [taylor]: Taking taylor expansion of (* (cos (+ (/ 1 b) (/ 1 a))) r) in r
0.149 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in r
0.149 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in r
0.149 * [taylor]: Taking taylor expansion of (/ 1 b) in r
0.149 * [taylor]: Taking taylor expansion of b in r
0.149 * [taylor]: Taking taylor expansion of (/ 1 a) in r
0.149 * [taylor]: Taking taylor expansion of a in r
0.149 * [taylor]: Taking taylor expansion of r in r
0.150 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* (cos (+ (/ 1 b) (/ 1 a))) r)) in r
0.150 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r
0.150 * [taylor]: Taking taylor expansion of (/ 1 b) in r
0.150 * [taylor]: Taking taylor expansion of b in r
0.150 * [taylor]: Taking taylor expansion of (* (cos (+ (/ 1 b) (/ 1 a))) r) in r
0.150 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in r
0.150 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in r
0.150 * [taylor]: Taking taylor expansion of (/ 1 b) in r
0.150 * [taylor]: Taking taylor expansion of b in r
0.150 * [taylor]: Taking taylor expansion of (/ 1 a) in r
0.150 * [taylor]: Taking taylor expansion of a in r
0.150 * [taylor]: Taking taylor expansion of r in r
0.151 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (cos (+ (/ 1 b) (/ 1 a)))) in b
0.151 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b
0.151 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.151 * [taylor]: Taking taylor expansion of b in b
0.151 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in b
0.151 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.151 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.151 * [taylor]: Taking taylor expansion of b in b
0.151 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.151 * [taylor]: Taking taylor expansion of a in b
0.151 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (cos (+ (/ 1 b) (/ 1 a)))) in a
0.151 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a
0.151 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.151 * [taylor]: Taking taylor expansion of b in a
0.152 * [taylor]: Taking taylor expansion of (cos (+ (/ 1 b) (/ 1 a))) in a
0.152 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.152 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.152 * [taylor]: Taking taylor expansion of b in a
0.152 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.152 * [taylor]: Taking taylor expansion of a in a
0.153 * [taylor]: Taking taylor expansion of 0 in b
0.153 * [taylor]: Taking taylor expansion of 0 in a
0.153 * [taylor]: Taking taylor expansion of 0 in a
0.155 * [taylor]: Taking taylor expansion of 0 in b
0.155 * [taylor]: Taking taylor expansion of 0 in a
0.155 * [taylor]: Taking taylor expansion of 0 in a
0.155 * [taylor]: Taking taylor expansion of 0 in a
0.155 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (cos (neg (+ (/ 1 b) (/ 1 a)))) r))) in (r b a) around 0
0.155 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (cos (neg (+ (/ 1 b) (/ 1 a)))) r))) in a
0.155 * [taylor]: Taking taylor expansion of -1 in a
0.155 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* (cos (neg (+ (/ 1 b) (/ 1 a)))) r)) in a
0.155 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a
0.155 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.155 * [taylor]: Taking taylor expansion of -1 in a
0.155 * [taylor]: Taking taylor expansion of b in a
0.156 * [taylor]: Taking taylor expansion of (* (cos (neg (+ (/ 1 b) (/ 1 a)))) r) in a
0.156 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 b) (/ 1 a)))) in a
0.156 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in a
0.156 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.156 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.156 * [taylor]: Taking taylor expansion of b in a
0.156 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.156 * [taylor]: Taking taylor expansion of a in a
0.156 * [taylor]: Taking taylor expansion of r in a
0.156 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (cos (neg (+ (/ 1 b) (/ 1 a)))) r))) in b
0.156 * [taylor]: Taking taylor expansion of -1 in b
0.156 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* (cos (neg (+ (/ 1 b) (/ 1 a)))) r)) in b
0.156 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b
0.156 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.156 * [taylor]: Taking taylor expansion of -1 in b
0.156 * [taylor]: Taking taylor expansion of b in b
0.156 * [taylor]: Taking taylor expansion of (* (cos (neg (+ (/ 1 b) (/ 1 a)))) r) in b
0.156 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 b) (/ 1 a)))) in b
0.156 * [taylor]: Taking taylor expansion of (neg (+ (/ 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 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.156 * [taylor]: Taking taylor expansion of a in b
0.157 * [taylor]: Taking taylor expansion of r in b
0.157 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (cos (neg (+ (/ 1 b) (/ 1 a)))) r))) in r
0.157 * [taylor]: Taking taylor expansion of -1 in r
0.157 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* (cos (neg (+ (/ 1 b) (/ 1 a)))) r)) in r
0.157 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r
0.157 * [taylor]: Taking taylor expansion of (/ -1 b) in r
0.157 * [taylor]: Taking taylor expansion of -1 in r
0.157 * [taylor]: Taking taylor expansion of b in r
0.157 * [taylor]: Taking taylor expansion of (* (cos (neg (+ (/ 1 b) (/ 1 a)))) r) in r
0.157 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 b) (/ 1 a)))) in r
0.157 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in r
0.157 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in r
0.157 * [taylor]: Taking taylor expansion of (/ 1 b) in r
0.157 * [taylor]: Taking taylor expansion of b in r
0.157 * [taylor]: Taking taylor expansion of (/ 1 a) in r
0.157 * [taylor]: Taking taylor expansion of a in r
0.157 * [taylor]: Taking taylor expansion of r in r
0.158 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (cos (neg (+ (/ 1 b) (/ 1 a)))) r))) in r
0.158 * [taylor]: Taking taylor expansion of -1 in r
0.158 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* (cos (neg (+ (/ 1 b) (/ 1 a)))) r)) in r
0.158 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r
0.158 * [taylor]: Taking taylor expansion of (/ -1 b) in r
0.158 * [taylor]: Taking taylor expansion of -1 in r
0.158 * [taylor]: Taking taylor expansion of b in r
0.158 * [taylor]: Taking taylor expansion of (* (cos (neg (+ (/ 1 b) (/ 1 a)))) r) in r
0.158 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 b) (/ 1 a)))) in r
0.159 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (/ 1 a))) in r
0.159 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in r
0.159 * [taylor]: Taking taylor expansion of (/ 1 b) in r
0.159 * [taylor]: Taking taylor expansion of b in r
0.159 * [taylor]: Taking taylor expansion of (/ 1 a) in r
0.159 * [taylor]: Taking taylor expansion of a in r
0.159 * [taylor]: Taking taylor expansion of r in r
0.160 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (cos (neg (+ (/ 1 a) (/ 1 b)))))) in b
0.160 * [taylor]: Taking taylor expansion of -1 in b
0.160 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (cos (neg (+ (/ 1 a) (/ 1 b))))) in b
0.160 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b
0.160 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.160 * [taylor]: Taking taylor expansion of -1 in b
0.160 * [taylor]: Taking taylor expansion of b in b
0.160 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 a) (/ 1 b)))) in b
0.160 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in b
0.160 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
0.160 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.160 * [taylor]: Taking taylor expansion of 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.161 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (cos (neg (+ (/ 1 a) (/ 1 b)))))) in a
0.161 * [taylor]: Taking taylor expansion of -1 in a
0.161 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (cos (neg (+ (/ 1 a) (/ 1 b))))) in a
0.161 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a
0.161 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.161 * [taylor]: Taking taylor expansion of -1 in a
0.161 * [taylor]: Taking taylor expansion of b in a
0.161 * [taylor]: Taking taylor expansion of (cos (neg (+ (/ 1 a) (/ 1 b)))) in a
0.161 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 a) (/ 1 b))) in a
0.161 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
0.161 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.161 * [taylor]: Taking taylor expansion of 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.162 * [taylor]: Taking taylor expansion of 0 in b
0.162 * [taylor]: Taking taylor expansion of 0 in a
0.163 * [taylor]: Taking taylor expansion of 0 in a
0.165 * [taylor]: Taking taylor expansion of 0 in b
0.165 * [taylor]: Taking taylor expansion of 0 in a
0.165 * [taylor]: Taking taylor expansion of 0 in a
0.165 * [taylor]: Taking taylor expansion of 0 in a
0.166 * * * [progress]: simplifying candidates
0.167 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (cos a) (cos b))
  (* (sin a) (sin b))
  (log (cos (+ a b)))
  (exp (cos (+ a b)))
  (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b))))
  (cbrt (cos (+ a b)))
  (* (* (cos (+ a b)) (cos (+ a b))) (cos (+ a b)))
  (sqrt (cos (+ a b)))
  (sqrt (cos (+ a b)))
  (- (log (sin b)) (log (cos (+ a b))))
  (log (/ (sin b) (cos (+ a b))))
  (exp (/ (sin b) (cos (+ a b))))
  (/ (* (* (sin b) (sin b)) (sin b)) (* (* (cos (+ a b)) (cos (+ a b))) (cos (+ a b))))
  (* (cbrt (/ (sin b) (cos (+ a b)))) (cbrt (/ (sin b) (cos (+ a b)))))
  (cbrt (/ (sin b) (cos (+ a b))))
  (* (* (/ (sin b) (cos (+ a b))) (/ (sin b) (cos (+ a b)))) (/ (sin b) (cos (+ a b))))
  (sqrt (/ (sin b) (cos (+ a b))))
  (sqrt (/ (sin b) (cos (+ a b))))
  (neg (sin b))
  (neg (cos (+ a b)))
  (/ (* (cbrt (sin b)) (cbrt (sin b))) (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b)))))
  (/ (cbrt (sin b)) (cbrt (cos (+ a b))))
  (/ (* (cbrt (sin b)) (cbrt (sin b))) (sqrt (cos (+ a b))))
  (/ (cbrt (sin b)) (sqrt (cos (+ a b))))
  (/ (* (cbrt (sin b)) (cbrt (sin b))) 1)
  (/ (cbrt (sin b)) (cos (+ a b)))
  (/ (sqrt (sin b)) (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b)))))
  (/ (sqrt (sin b)) (cbrt (cos (+ a b))))
  (/ (sqrt (sin b)) (sqrt (cos (+ a b))))
  (/ (sqrt (sin b)) (sqrt (cos (+ a b))))
  (/ (sqrt (sin b)) 1)
  (/ (sqrt (sin b)) (cos (+ a b)))
  (/ 1 (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b)))))
  (/ (sin b) (cbrt (cos (+ a b))))
  (/ 1 (sqrt (cos (+ a b))))
  (/ (sin b) (sqrt (cos (+ a b))))
  (/ 1 1)
  (/ (sin b) (cos (+ a b)))
  (/ 1 (cos (+ a b)))
  (/ (cos (+ a b)) (sin b))
  (/ (sin b) (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b)))))
  (/ (sin b) (sqrt (cos (+ a b))))
  (/ (sin b) 1)
  (/ (cos (+ a b)) (cbrt (sin b)))
  (/ (cos (+ a b)) (sqrt (sin b)))
  (/ (cos (+ a b)) (sin b))
  (* r (/ (sin b) (cos (+ a b))))
  (+ (log r) (- (log (sin b)) (log (cos (+ a b)))))
  (+ (log r) (log (/ (sin b) (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 r) r) (* (* (/ (sin b) (cos (+ a b))) (/ (sin b) (cos (+ a b)))) (/ (sin 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)))))
  (* (sqrt r) (sqrt (/ (sin b) (cos (+ a b)))))
  (* (sqrt r) (sqrt (/ (sin b) (cos (+ a b)))))
  (* (sqrt r) (/ (sqrt (sin b)) (sqrt (cos (+ a b)))))
  (* (sqrt r) (/ (sqrt (sin b)) (sqrt (cos (+ a b)))))
  (* r (* (cbrt (/ (sin b) (cos (+ a b)))) (cbrt (/ (sin b) (cos (+ a b))))))
  (* r (sqrt (/ (sin b) (cos (+ a b)))))
  (* r (/ (* (cbrt (sin b)) (cbrt (sin b))) (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b))))))
  (* r (/ (* (cbrt (sin b)) (cbrt (sin b))) (sqrt (cos (+ a b)))))
  (* r (/ (* (cbrt (sin b)) (cbrt (sin b))) 1))
  (* r (/ (sqrt (sin b)) (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b))))))
  (* r (/ (sqrt (sin b)) (sqrt (cos (+ a b)))))
  (* r (/ (sqrt (sin b)) 1))
  (* r (/ 1 (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b))))))
  (* r (/ 1 (sqrt (cos (+ a b)))))
  (* r (/ 1 1))
  (* r 1)
  (* r (sin b))
  (* (cbrt r) (/ (sin b) (cos (+ a b))))
  (* (sqrt r) (/ (sin b) (cos (+ a b))))
  (* r (/ (sin b) (cos (+ a b))))
  (* r (sin b))
  (- 1 (+ (* 1/2 (pow a 2)) (* a b)))
  (cos (+ a b))
  (cos (+ a b))
  (+ (* a (pow b 2)) (+ (* 1/3 (pow b 3)) b))
  (/ (sin b) (cos (+ a b)))
  (/ (sin 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)))
0.171 * * [simplify]: iteration  0 :  252  enodes  (cost  536 )
0.176 * * [simplify]: iteration  1 :  1064  enodes  (cost  480 )
0.199 * * [simplify]: iteration  2 :  5001  enodes  (cost  477 )
0.202 * [simplify]: Simplified to:
   (* (cos a) (cos b))
  (* (sin a) (sin b))
  (log (cos (+ a b)))
  (exp (cos (+ a b)))
  (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b))))
  (cbrt (cos (+ a b)))
  (pow (cos (+ a b)) 3)
  (sqrt (cos (+ a b)))
  (sqrt (cos (+ a b)))
  (log (/ (sin b) (cos (+ a b))))
  (log (/ (sin b) (cos (+ a b))))
  (exp (/ (sin b) (cos (+ a b))))
  (pow (/ (sin b) (cos (+ a b))) 3)
  (* (cbrt (/ (sin b) (cos (+ a b)))) (cbrt (/ (sin b) (cos (+ a b)))))
  (cbrt (/ (sin b) (cos (+ a b))))
  (pow (/ (sin b) (cos (+ a b))) 3)
  (sqrt (/ (sin b) (cos (+ a b))))
  (sqrt (/ (sin b) (cos (+ a b))))
  (neg (sin b))
  (neg (cos (+ a b)))
  (/ (* (cbrt (sin b)) (cbrt (sin b))) (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b)))))
  (/ (cbrt (sin b)) (cbrt (cos (+ a b))))
  (/ (* (cbrt (sin b)) (cbrt (sin b))) (sqrt (cos (+ a b))))
  (/ (cbrt (sin b)) (sqrt (cos (+ a b))))
  (* (cbrt (sin b)) (cbrt (sin b)))
  (/ (cbrt (sin b)) (cos (+ a b)))
  (/ (sqrt (sin b)) (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b)))))
  (/ (sqrt (sin b)) (cbrt (cos (+ a b))))
  (/ (sqrt (sin b)) (sqrt (cos (+ a b))))
  (/ (sqrt (sin b)) (sqrt (cos (+ a b))))
  (sqrt (sin b))
  (/ (sqrt (sin b)) (cos (+ a b)))
  (/ 1 (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b)))))
  (/ (sin b) (cbrt (cos (+ a b))))
  (/ 1 (sqrt (cos (+ a b))))
  (/ (sin b) (sqrt (cos (+ a b))))
  1
  (/ (sin b) (cos (+ a b)))
  (/ 1 (cos (+ a b)))
  (/ (cos (+ a b)) (sin b))
  (/ (sin b) (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b)))))
  (/ (sin b) (sqrt (cos (+ a b))))
  (sin b)
  (/ (cos (+ a b)) (cbrt (sin b)))
  (/ (cos (+ a b)) (sqrt (sin b)))
  (/ (cos (+ a b)) (sin b))
  (* r (/ (sin b) (cos (+ a b))))
  (log (* r (/ (sin b) (cos (+ a b)))))
  (log (* r (/ (sin b) (cos (+ a b)))))
  (log (* r (/ (sin b) (cos (+ a b)))))
  (exp (* r (/ (sin b) (cos (+ a b)))))
  (pow (* r (/ (sin b) (cos (+ a b)))) 3)
  (pow (* r (/ (sin b) (cos (+ a b)))) 3)
  (* (cbrt (* r (/ (sin b) (cos (+ a b))))) (cbrt (* r (/ (sin b) (cos (+ a b))))))
  (cbrt (* r (/ (sin b) (cos (+ a b)))))
  (pow (* r (/ (sin b) (cos (+ a b)))) 3)
  (sqrt (* r (/ (sin b) (cos (+ a b)))))
  (sqrt (* r (/ (sin b) (cos (+ a b)))))
  (* (sqrt r) (sqrt (/ (sin b) (cos (+ a b)))))
  (* (sqrt r) (sqrt (/ (sin b) (cos (+ a b)))))
  (* (sqrt r) (/ (sqrt (sin b)) (sqrt (cos (+ a b)))))
  (* (sqrt r) (/ (sqrt (sin b)) (sqrt (cos (+ a b)))))
  (* r (* (cbrt (/ (sin b) (cos (+ a b)))) (cbrt (/ (sin b) (cos (+ a b))))))
  (* r (sqrt (/ (sin b) (cos (+ a b)))))
  (* r (/ (* (cbrt (sin b)) (cbrt (sin b))) (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b))))))
  (* r (/ (* (cbrt (sin b)) (cbrt (sin b))) (sqrt (cos (+ a b)))))
  (* (* (cbrt (sin b)) (cbrt (sin b))) r)
  (* r (/ (sqrt (sin b)) (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b))))))
  (* r (/ (sqrt (sin b)) (sqrt (cos (+ a b)))))
  (* (sqrt (sin b)) r)
  (/ r (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b)))))
  (/ r (sqrt (cos (+ a b))))
  r
  r
  (* r (sin b))
  (* (cbrt r) (/ (sin b) (cos (+ a b))))
  (* (sqrt r) (/ (sin b) (cos (+ a b))))
  (* r (/ (sin b) (cos (+ a b))))
  (* r (sin b))
  (- 1 (+ (* 1/2 (pow a 2)) (* a b)))
  (cos (+ a b))
  (cos (+ a b))
  (+ (* (pow b 2) (+ (* b 1/3) a)) b)
  (/ (sin b) (cos (+ a b)))
  (/ (sin b) (cos (+ a b)))
  (+ (* r b) (* r (* (pow b 2) (+ (* b 1/3) a))))
  (* r (/ (sin b) (cos (+ a b))))
  (* r (/ (sin b) (cos (+ a b))))
0.202 * * * [progress]: adding candidates to table
0.278 * * [progress]: iteration 2 / 4
0.278 * * * [progress]: picking best candidate
0.303 * * * * [pick]: Picked  #<alt (λ (r a b) (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))>
0.303 * * * [progress]: localizing error
0.319 * * * [progress]: generating rewritten candidates
0.319 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.327 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2)
0.332 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.342 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
0.349 * * * [progress]: generating series expansions
0.350 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.350 * [approximate]: Taking taylor expansion of (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in (b a) around 0
0.350 * [taylor]: Taking taylor expansion of (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in a
0.350 * [taylor]: Taking taylor expansion of (sin b) in a
0.350 * [taylor]: Taking taylor expansion of b in a
0.350 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in a
0.350 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in a
0.350 * [taylor]: Taking taylor expansion of (cos b) in a
0.350 * [taylor]: Taking taylor expansion of b in a
0.350 * [taylor]: Taking taylor expansion of (cos a) in a
0.350 * [taylor]: Taking taylor expansion of a in a
0.350 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in a
0.350 * [taylor]: Taking taylor expansion of (sin a) in a
0.350 * [taylor]: Taking taylor expansion of a in a
0.350 * [taylor]: Taking taylor expansion of (sin b) in a
0.350 * [taylor]: Taking taylor expansion of b in a
0.350 * [taylor]: Taking taylor expansion of (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in b
0.351 * [taylor]: Taking taylor expansion of (sin b) in b
0.351 * [taylor]: Taking taylor expansion of b in b
0.351 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in b
0.351 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in b
0.351 * [taylor]: Taking taylor expansion of (cos b) in b
0.351 * [taylor]: Taking taylor expansion of b in b
0.351 * [taylor]: Taking taylor expansion of (cos a) in b
0.351 * [taylor]: Taking taylor expansion of a in b
0.351 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in b
0.351 * [taylor]: Taking taylor expansion of (sin a) in b
0.351 * [taylor]: Taking taylor expansion of a in b
0.351 * [taylor]: Taking taylor expansion of (sin b) in b
0.351 * [taylor]: Taking taylor expansion of b in b
0.351 * [taylor]: Taking taylor expansion of (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in b
0.351 * [taylor]: Taking taylor expansion of (sin b) in b
0.351 * [taylor]: Taking taylor expansion of b in b
0.351 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in b
0.351 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in b
0.351 * [taylor]: Taking taylor expansion of (cos b) in b
0.351 * [taylor]: Taking taylor expansion of b in b
0.351 * [taylor]: Taking taylor expansion of (cos a) in b
0.351 * [taylor]: Taking taylor expansion of a in b
0.351 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in b
0.351 * [taylor]: Taking taylor expansion of (sin a) in b
0.351 * [taylor]: Taking taylor expansion of a in b
0.351 * [taylor]: Taking taylor expansion of (sin b) in b
0.351 * [taylor]: Taking taylor expansion of b in b
0.352 * [taylor]: Taking taylor expansion of (/ 1 (cos a)) in a
0.352 * [taylor]: Taking taylor expansion of (cos a) in a
0.352 * [taylor]: Taking taylor expansion of a in a
0.352 * [taylor]: Taking taylor expansion of (/ (sin a) (pow (cos a) 2)) in a
0.352 * [taylor]: Taking taylor expansion of (sin a) in a
0.352 * [taylor]: Taking taylor expansion of a in a
0.352 * [taylor]: Taking taylor expansion of (pow (cos a) 2) in a
0.352 * [taylor]: Taking taylor expansion of (cos a) in a
0.353 * [taylor]: Taking taylor expansion of a in a
0.354 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (cos a))) (/ (pow (sin a) 2) (pow (cos a) 3))) in a
0.354 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (cos a))) in a
0.354 * [taylor]: Taking taylor expansion of 1/3 in a
0.354 * [taylor]: Taking taylor expansion of (/ 1 (cos a)) in a
0.354 * [taylor]: Taking taylor expansion of (cos a) in a
0.354 * [taylor]: Taking taylor expansion of a in a
0.354 * [taylor]: Taking taylor expansion of (/ (pow (sin a) 2) (pow (cos a) 3)) in a
0.354 * [taylor]: Taking taylor expansion of (pow (sin a) 2) in a
0.354 * [taylor]: Taking taylor expansion of (sin a) in a
0.354 * [taylor]: Taking taylor expansion of a in a
0.354 * [taylor]: Taking taylor expansion of (pow (cos a) 3) in a
0.354 * [taylor]: Taking taylor expansion of (cos a) in a
0.354 * [taylor]: Taking taylor expansion of a in a
0.355 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in (b a) around 0
0.355 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in a
0.355 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a
0.355 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.355 * [taylor]: Taking taylor expansion of b in a
0.355 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in a
0.355 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in a
0.355 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in a
0.355 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.355 * [taylor]: Taking taylor expansion of a in a
0.355 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in a
0.355 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.355 * [taylor]: Taking taylor expansion of b in a
0.355 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a
0.355 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a
0.355 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.355 * [taylor]: Taking taylor expansion of a in a
0.355 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a
0.355 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.355 * [taylor]: Taking taylor expansion of b in a
0.356 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in b
0.356 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b
0.356 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.356 * [taylor]: Taking taylor expansion of b in b
0.356 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in b
0.356 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in b
0.356 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in b
0.356 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.356 * [taylor]: Taking taylor expansion of a in b
0.356 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in b
0.356 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.356 * [taylor]: Taking taylor expansion of b in b
0.356 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b
0.356 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b
0.356 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.356 * [taylor]: Taking taylor expansion of a in b
0.356 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b
0.356 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.356 * [taylor]: Taking taylor expansion of b in b
0.357 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in b
0.357 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b
0.357 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.357 * [taylor]: Taking taylor expansion of b in b
0.357 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in b
0.357 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in b
0.357 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in b
0.357 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.357 * [taylor]: Taking taylor expansion of a in b
0.357 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in b
0.357 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.357 * [taylor]: Taking taylor expansion of b in b
0.357 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b
0.357 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b
0.357 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.357 * [taylor]: Taking taylor expansion of a in b
0.357 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b
0.357 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.357 * [taylor]: Taking taylor expansion of b in b
0.358 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in a
0.358 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a
0.358 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.358 * [taylor]: Taking taylor expansion of b in a
0.358 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in a
0.358 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in a
0.358 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in a
0.358 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.358 * [taylor]: Taking taylor expansion of a in a
0.358 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in a
0.358 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.358 * [taylor]: Taking taylor expansion of b in a
0.358 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a
0.358 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a
0.358 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.358 * [taylor]: Taking taylor expansion of a in a
0.358 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a
0.359 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.359 * [taylor]: Taking taylor expansion of b in a
0.360 * [taylor]: Taking taylor expansion of 0 in a
0.363 * [taylor]: Taking taylor expansion of 0 in a
0.366 * [taylor]: Taking taylor expansion of 0 in a
0.366 * [approximate]: Taking taylor expansion of (/ (sin (/ -1 b)) (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b))))) in (b a) around 0
0.366 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b))))) in a
0.366 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a
0.366 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.366 * [taylor]: Taking taylor expansion of -1 in a
0.366 * [taylor]: Taking taylor expansion of b in a
0.366 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in a
0.366 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in a
0.366 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in a
0.366 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.366 * [taylor]: Taking taylor expansion of -1 in a
0.367 * [taylor]: Taking taylor expansion of a in a
0.367 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in a
0.367 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.367 * [taylor]: Taking taylor expansion of -1 in a
0.367 * [taylor]: Taking taylor expansion of b in a
0.367 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in a
0.367 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a
0.367 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.367 * [taylor]: Taking taylor expansion of -1 in a
0.367 * [taylor]: Taking taylor expansion of a in a
0.367 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a
0.367 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.367 * [taylor]: Taking taylor expansion of -1 in a
0.367 * [taylor]: Taking taylor expansion of b in a
0.368 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b))))) in b
0.368 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b
0.368 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.368 * [taylor]: Taking taylor expansion of -1 in b
0.368 * [taylor]: Taking taylor expansion of b in b
0.368 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in b
0.368 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in b
0.368 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in b
0.368 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.368 * [taylor]: Taking taylor expansion of -1 in b
0.368 * [taylor]: Taking taylor expansion of a in b
0.368 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in b
0.368 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.368 * [taylor]: Taking taylor expansion of -1 in b
0.368 * [taylor]: Taking taylor expansion of b in b
0.368 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in b
0.368 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in b
0.368 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.368 * [taylor]: Taking taylor expansion of -1 in b
0.368 * [taylor]: Taking taylor expansion of a in b
0.368 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b
0.368 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.368 * [taylor]: Taking taylor expansion of -1 in b
0.368 * [taylor]: Taking taylor expansion of b in b
0.369 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b))))) in b
0.369 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b
0.369 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.369 * [taylor]: Taking taylor expansion of -1 in b
0.369 * [taylor]: Taking taylor expansion of b in b
0.369 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in b
0.369 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in b
0.369 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in b
0.369 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.369 * [taylor]: Taking taylor expansion of -1 in b
0.369 * [taylor]: Taking taylor expansion of a in b
0.369 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in b
0.369 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.369 * [taylor]: Taking taylor expansion of -1 in b
0.369 * [taylor]: Taking taylor expansion of b in b
0.369 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in b
0.369 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in b
0.369 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.369 * [taylor]: Taking taylor expansion of -1 in b
0.369 * [taylor]: Taking taylor expansion of a in b
0.369 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b
0.369 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.369 * [taylor]: Taking taylor expansion of -1 in b
0.369 * [taylor]: Taking taylor expansion of b in b
0.370 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b))))) in a
0.370 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a
0.370 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.370 * [taylor]: Taking taylor expansion of -1 in a
0.370 * [taylor]: Taking taylor expansion of b in a
0.370 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in a
0.370 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in a
0.370 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in a
0.370 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.370 * [taylor]: Taking taylor expansion of -1 in a
0.370 * [taylor]: Taking taylor expansion of a in a
0.370 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in a
0.370 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.371 * [taylor]: Taking taylor expansion of -1 in a
0.371 * [taylor]: Taking taylor expansion of b in a
0.371 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in a
0.371 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a
0.371 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.371 * [taylor]: Taking taylor expansion of -1 in a
0.371 * [taylor]: Taking taylor expansion of a in a
0.371 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a
0.371 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.371 * [taylor]: Taking taylor expansion of -1 in a
0.371 * [taylor]: Taking taylor expansion of b in a
0.373 * [taylor]: Taking taylor expansion of 0 in a
0.375 * [taylor]: Taking taylor expansion of 0 in a
0.378 * [taylor]: Taking taylor expansion of 0 in a
0.378 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2)
0.378 * [approximate]: Taking taylor expansion of (* (sin b) (sin a)) in (a b) around 0
0.378 * [taylor]: Taking taylor expansion of (* (sin b) (sin a)) in b
0.378 * [taylor]: Taking taylor expansion of (sin b) in b
0.378 * [taylor]: Taking taylor expansion of b in b
0.379 * [taylor]: Taking taylor expansion of (sin a) in b
0.379 * [taylor]: Taking taylor expansion of a in b
0.379 * [taylor]: Taking taylor expansion of (* (sin b) (sin a)) in a
0.379 * [taylor]: Taking taylor expansion of (sin b) in a
0.379 * [taylor]: Taking taylor expansion of b in a
0.379 * [taylor]: Taking taylor expansion of (sin a) in a
0.379 * [taylor]: Taking taylor expansion of a in a
0.379 * [taylor]: Taking taylor expansion of (* (sin b) (sin a)) in a
0.379 * [taylor]: Taking taylor expansion of (sin b) in a
0.379 * [taylor]: Taking taylor expansion of b in a
0.379 * [taylor]: Taking taylor expansion of (sin a) in a
0.379 * [taylor]: Taking taylor expansion of a in a
0.379 * [taylor]: Taking taylor expansion of 0 in b
0.379 * [taylor]: Taking taylor expansion of (sin b) in b
0.379 * [taylor]: Taking taylor expansion of b in b
0.380 * [taylor]: Taking taylor expansion of 0 in b
0.380 * [taylor]: Taking taylor expansion of (neg (* 1/6 (sin b))) in b
0.380 * [taylor]: Taking taylor expansion of (* 1/6 (sin b)) in b
0.380 * [taylor]: Taking taylor expansion of 1/6 in b
0.380 * [taylor]: Taking taylor expansion of (sin b) in b
0.380 * [taylor]: Taking taylor expansion of b in b
0.381 * [taylor]: Taking taylor expansion of 0 in b
0.381 * [approximate]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in (a b) around 0
0.381 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b
0.381 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b
0.381 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.381 * [taylor]: Taking taylor expansion of a in b
0.381 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b
0.381 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.381 * [taylor]: Taking taylor expansion of b in b
0.382 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a
0.382 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a
0.382 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.382 * [taylor]: Taking taylor expansion of a in a
0.382 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a
0.382 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.382 * [taylor]: Taking taylor expansion of b in a
0.382 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a
0.382 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a
0.382 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.382 * [taylor]: Taking taylor expansion of a in a
0.382 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a
0.382 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.382 * [taylor]: Taking taylor expansion of b in a
0.382 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b
0.382 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b
0.382 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.382 * [taylor]: Taking taylor expansion of a in b
0.382 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b
0.382 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.382 * [taylor]: Taking taylor expansion of b in b
0.383 * [taylor]: Taking taylor expansion of 0 in b
0.383 * [taylor]: Taking taylor expansion of 0 in b
0.384 * [taylor]: Taking taylor expansion of 0 in b
0.384 * [approximate]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in (a b) around 0
0.384 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in b
0.384 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in b
0.384 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.384 * [taylor]: Taking taylor expansion of -1 in b
0.384 * [taylor]: Taking taylor expansion of a in b
0.385 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b
0.385 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.385 * [taylor]: Taking taylor expansion of -1 in b
0.385 * [taylor]: Taking taylor expansion of b in b
0.385 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in a
0.385 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a
0.385 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.385 * [taylor]: Taking taylor expansion of -1 in a
0.385 * [taylor]: Taking taylor expansion of a in a
0.385 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a
0.385 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.385 * [taylor]: Taking taylor expansion of -1 in a
0.385 * [taylor]: Taking taylor expansion of b in a
0.385 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in a
0.385 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a
0.385 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.385 * [taylor]: Taking taylor expansion of -1 in a
0.385 * [taylor]: Taking taylor expansion of a in a
0.385 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a
0.385 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.385 * [taylor]: Taking taylor expansion of -1 in a
0.385 * [taylor]: Taking taylor expansion of b in a
0.385 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in b
0.385 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in b
0.385 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.385 * [taylor]: Taking taylor expansion of -1 in b
0.385 * [taylor]: Taking taylor expansion of a in b
0.385 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b
0.385 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.385 * [taylor]: Taking taylor expansion of -1 in b
0.386 * [taylor]: Taking taylor expansion of b in b
0.386 * [taylor]: Taking taylor expansion of 0 in b
0.387 * [taylor]: Taking taylor expansion of 0 in b
0.388 * [taylor]: Taking taylor expansion of 0 in b
0.388 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.388 * [approximate]: Taking taylor expansion of (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in (r b a) around 0
0.388 * [taylor]: Taking taylor expansion of (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in a
0.388 * [taylor]: Taking taylor expansion of (* r (sin b)) in a
0.388 * [taylor]: Taking taylor expansion of r in a
0.388 * [taylor]: Taking taylor expansion of (sin b) in a
0.388 * [taylor]: Taking taylor expansion of b in a
0.388 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in a
0.388 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in a
0.388 * [taylor]: Taking taylor expansion of (cos b) in a
0.388 * [taylor]: Taking taylor expansion of b in a
0.390 * [taylor]: Taking taylor expansion of (cos a) in a
0.390 * [taylor]: Taking taylor expansion of a in a
0.390 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in a
0.390 * [taylor]: Taking taylor expansion of (sin a) in a
0.391 * [taylor]: Taking taylor expansion of a in a
0.391 * [taylor]: Taking taylor expansion of (sin b) in a
0.391 * [taylor]: Taking taylor expansion of b in a
0.391 * [taylor]: Taking taylor expansion of (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in b
0.391 * [taylor]: Taking taylor expansion of (* r (sin b)) in b
0.391 * [taylor]: Taking taylor expansion of r in b
0.391 * [taylor]: Taking taylor expansion of (sin b) in b
0.391 * [taylor]: Taking taylor expansion of b in b
0.391 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in b
0.391 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in b
0.391 * [taylor]: Taking taylor expansion of (cos b) in b
0.391 * [taylor]: Taking taylor expansion of b in b
0.391 * [taylor]: Taking taylor expansion of (cos a) in b
0.391 * [taylor]: Taking taylor expansion of a in b
0.391 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in b
0.391 * [taylor]: Taking taylor expansion of (sin a) in b
0.391 * [taylor]: Taking taylor expansion of a in b
0.391 * [taylor]: Taking taylor expansion of (sin b) in b
0.391 * [taylor]: Taking taylor expansion of b in b
0.392 * [taylor]: Taking taylor expansion of (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in r
0.392 * [taylor]: Taking taylor expansion of (* r (sin b)) in r
0.392 * [taylor]: Taking taylor expansion of r in r
0.392 * [taylor]: Taking taylor expansion of (sin b) in r
0.392 * [taylor]: Taking taylor expansion of b in r
0.392 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in r
0.392 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in r
0.392 * [taylor]: Taking taylor expansion of (cos b) in r
0.392 * [taylor]: Taking taylor expansion of b in r
0.392 * [taylor]: Taking taylor expansion of (cos a) in r
0.392 * [taylor]: Taking taylor expansion of a in r
0.392 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in r
0.392 * [taylor]: Taking taylor expansion of (sin a) in r
0.392 * [taylor]: Taking taylor expansion of a in r
0.392 * [taylor]: Taking taylor expansion of (sin b) in r
0.392 * [taylor]: Taking taylor expansion of b in r
0.393 * [taylor]: Taking taylor expansion of (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in r
0.393 * [taylor]: Taking taylor expansion of (* r (sin b)) in r
0.393 * [taylor]: Taking taylor expansion of r in r
0.393 * [taylor]: Taking taylor expansion of (sin b) in r
0.393 * [taylor]: Taking taylor expansion of b in r
0.393 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in r
0.393 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in r
0.393 * [taylor]: Taking taylor expansion of (cos b) in r
0.393 * [taylor]: Taking taylor expansion of b in r
0.393 * [taylor]: Taking taylor expansion of (cos a) in r
0.393 * [taylor]: Taking taylor expansion of a in r
0.393 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in r
0.393 * [taylor]: Taking taylor expansion of (sin a) in r
0.393 * [taylor]: Taking taylor expansion of a in r
0.393 * [taylor]: Taking taylor expansion of (sin b) in r
0.393 * [taylor]: Taking taylor expansion of b in r
0.394 * [taylor]: Taking taylor expansion of (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in b
0.394 * [taylor]: Taking taylor expansion of (sin b) in b
0.394 * [taylor]: Taking taylor expansion of b in b
0.394 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in b
0.394 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in b
0.394 * [taylor]: Taking taylor expansion of (cos b) in b
0.394 * [taylor]: Taking taylor expansion of b in b
0.394 * [taylor]: Taking taylor expansion of (cos a) in b
0.394 * [taylor]: Taking taylor expansion of a in b
0.394 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in b
0.394 * [taylor]: Taking taylor expansion of (sin a) in b
0.394 * [taylor]: Taking taylor expansion of a in b
0.394 * [taylor]: Taking taylor expansion of (sin b) in b
0.394 * [taylor]: Taking taylor expansion of b in b
0.394 * [taylor]: Taking taylor expansion of (/ 1 (cos a)) in a
0.394 * [taylor]: Taking taylor expansion of (cos a) in a
0.394 * [taylor]: Taking taylor expansion of a in a
0.396 * [taylor]: Taking taylor expansion of 0 in b
0.396 * [taylor]: Taking taylor expansion of 0 in a
0.396 * [taylor]: Taking taylor expansion of (/ (sin a) (pow (cos a) 2)) in a
0.396 * [taylor]: Taking taylor expansion of (sin a) in a
0.396 * [taylor]: Taking taylor expansion of a in a
0.396 * [taylor]: Taking taylor expansion of (pow (cos a) 2) in a
0.396 * [taylor]: Taking taylor expansion of (cos a) in a
0.396 * [taylor]: Taking taylor expansion of a in a
0.398 * [taylor]: Taking taylor expansion of 0 in b
0.398 * [taylor]: Taking taylor expansion of 0 in a
0.398 * [taylor]: Taking taylor expansion of 0 in a
0.399 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (cos a))) (/ (pow (sin a) 2) (pow (cos a) 3))) in a
0.399 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (cos a))) in a
0.399 * [taylor]: Taking taylor expansion of 1/3 in a
0.399 * [taylor]: Taking taylor expansion of (/ 1 (cos a)) in a
0.399 * [taylor]: Taking taylor expansion of (cos a) in a
0.399 * [taylor]: Taking taylor expansion of a in a
0.399 * [taylor]: Taking taylor expansion of (/ (pow (sin a) 2) (pow (cos a) 3)) in a
0.399 * [taylor]: Taking taylor expansion of (pow (sin a) 2) in a
0.399 * [taylor]: Taking taylor expansion of (sin a) in a
0.400 * [taylor]: Taking taylor expansion of a in a
0.400 * [taylor]: Taking taylor expansion of (pow (cos a) 3) in a
0.400 * [taylor]: Taking taylor expansion of (cos a) in a
0.400 * [taylor]: Taking taylor expansion of a in a
0.400 * [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.400 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) in a
0.400 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a
0.400 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.400 * [taylor]: Taking taylor expansion of b in a
0.400 * [taylor]: Taking taylor expansion of (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in a
0.400 * [taylor]: Taking taylor expansion of r in a
0.400 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in a
0.400 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in a
0.400 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in a
0.400 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.400 * [taylor]: Taking taylor expansion of a in a
0.401 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in a
0.401 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.401 * [taylor]: Taking taylor expansion of b in a
0.401 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a
0.401 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a
0.401 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.401 * [taylor]: Taking taylor expansion of a in a
0.401 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a
0.401 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.401 * [taylor]: Taking taylor expansion of b in a
0.402 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) in b
0.402 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b
0.402 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.402 * [taylor]: Taking taylor expansion of b in b
0.402 * [taylor]: Taking taylor expansion of (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in b
0.402 * [taylor]: Taking taylor expansion of r in b
0.402 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in b
0.402 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in b
0.402 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in b
0.402 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.402 * [taylor]: Taking taylor expansion of a in b
0.402 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in b
0.402 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.402 * [taylor]: Taking taylor expansion of b in b
0.402 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b
0.402 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b
0.402 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.402 * [taylor]: Taking taylor expansion of a in b
0.402 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b
0.402 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.402 * [taylor]: Taking taylor expansion of b in b
0.403 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) in r
0.403 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r
0.403 * [taylor]: Taking taylor expansion of (/ 1 b) in r
0.403 * [taylor]: Taking taylor expansion of b in r
0.403 * [taylor]: Taking taylor expansion of (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in r
0.403 * [taylor]: Taking taylor expansion of r in r
0.403 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in r
0.403 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in r
0.403 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in r
0.403 * [taylor]: Taking taylor expansion of (/ 1 a) in r
0.403 * [taylor]: Taking taylor expansion of a in r
0.403 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in r
0.403 * [taylor]: Taking taylor expansion of (/ 1 b) in r
0.403 * [taylor]: Taking taylor expansion of b in r
0.403 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in r
0.403 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in r
0.403 * [taylor]: Taking taylor expansion of (/ 1 a) in r
0.403 * [taylor]: Taking taylor expansion of a in r
0.403 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r
0.403 * [taylor]: Taking taylor expansion of (/ 1 b) in r
0.403 * [taylor]: Taking taylor expansion of b in r
0.405 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) in r
0.405 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r
0.405 * [taylor]: Taking taylor expansion of (/ 1 b) in r
0.405 * [taylor]: Taking taylor expansion of b in r
0.406 * [taylor]: Taking taylor expansion of (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in r
0.406 * [taylor]: Taking taylor expansion of r in r
0.406 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in r
0.406 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in r
0.406 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in r
0.406 * [taylor]: Taking taylor expansion of (/ 1 a) in r
0.406 * [taylor]: Taking taylor expansion of a in r
0.406 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in r
0.406 * [taylor]: Taking taylor expansion of (/ 1 b) in r
0.406 * [taylor]: Taking taylor expansion of b in r
0.406 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in r
0.406 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in r
0.406 * [taylor]: Taking taylor expansion of (/ 1 a) in r
0.406 * [taylor]: Taking taylor expansion of a in r
0.406 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r
0.406 * [taylor]: Taking taylor expansion of (/ 1 b) in r
0.406 * [taylor]: Taking taylor expansion of b in r
0.408 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in b
0.408 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b
0.408 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.408 * [taylor]: Taking taylor expansion of b in b
0.408 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in b
0.408 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in b
0.408 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in b
0.408 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.408 * [taylor]: Taking taylor expansion of a in b
0.408 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in b
0.408 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.408 * [taylor]: Taking taylor expansion of b in b
0.408 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b
0.408 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b
0.408 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.408 * [taylor]: Taking taylor expansion of a in b
0.408 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b
0.409 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.409 * [taylor]: Taking taylor expansion of b in b
0.409 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in a
0.409 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a
0.409 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.409 * [taylor]: Taking taylor expansion of b in a
0.409 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in a
0.409 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in a
0.409 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in a
0.409 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.409 * [taylor]: Taking taylor expansion of a in a
0.409 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in a
0.409 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.409 * [taylor]: Taking taylor expansion of b in a
0.409 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a
0.409 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a
0.410 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.410 * [taylor]: Taking taylor expansion of a in a
0.410 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a
0.410 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.410 * [taylor]: Taking taylor expansion of b in a
0.412 * [taylor]: Taking taylor expansion of 0 in b
0.412 * [taylor]: Taking taylor expansion of 0 in a
0.413 * [taylor]: Taking taylor expansion of 0 in a
0.417 * [taylor]: Taking taylor expansion of 0 in b
0.417 * [taylor]: Taking taylor expansion of 0 in a
0.417 * [taylor]: Taking taylor expansion of 0 in a
0.419 * [taylor]: Taking taylor expansion of 0 in a
0.419 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r))) in (r b a) around 0
0.419 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r))) in a
0.419 * [taylor]: Taking taylor expansion of -1 in a
0.419 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r)) in a
0.419 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a
0.419 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.419 * [taylor]: Taking taylor expansion of -1 in a
0.419 * [taylor]: Taking taylor expansion of b in a
0.419 * [taylor]: Taking taylor expansion of (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r) in a
0.420 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in a
0.420 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in a
0.420 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in a
0.420 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.420 * [taylor]: Taking taylor expansion of -1 in a
0.420 * [taylor]: Taking taylor expansion of a in a
0.420 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in a
0.420 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.420 * [taylor]: Taking taylor expansion of -1 in a
0.420 * [taylor]: Taking taylor expansion of b in a
0.420 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in a
0.420 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a
0.420 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.420 * [taylor]: Taking taylor expansion of -1 in a
0.420 * [taylor]: Taking taylor expansion of a in a
0.420 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a
0.420 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.420 * [taylor]: Taking taylor expansion of -1 in a
0.420 * [taylor]: Taking taylor expansion of b in a
0.420 * [taylor]: Taking taylor expansion of r in a
0.421 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r))) in b
0.421 * [taylor]: Taking taylor expansion of -1 in b
0.421 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r)) in b
0.421 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b
0.421 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.421 * [taylor]: Taking taylor expansion of -1 in b
0.421 * [taylor]: Taking taylor expansion of b in b
0.421 * [taylor]: Taking taylor expansion of (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r) in b
0.421 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in b
0.421 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in b
0.421 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in b
0.421 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.421 * [taylor]: Taking taylor expansion of -1 in b
0.421 * [taylor]: Taking taylor expansion of a in b
0.421 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in b
0.421 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.421 * [taylor]: Taking taylor expansion of -1 in b
0.421 * [taylor]: Taking taylor expansion of b in b
0.422 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in b
0.422 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in b
0.422 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.422 * [taylor]: Taking taylor expansion of -1 in b
0.422 * [taylor]: Taking taylor expansion of a in b
0.422 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b
0.422 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.422 * [taylor]: Taking taylor expansion of -1 in b
0.422 * [taylor]: Taking taylor expansion of b in b
0.422 * [taylor]: Taking taylor expansion of r in b
0.422 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r))) in r
0.422 * [taylor]: Taking taylor expansion of -1 in r
0.423 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r)) in r
0.423 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r
0.423 * [taylor]: Taking taylor expansion of (/ -1 b) in r
0.423 * [taylor]: Taking taylor expansion of -1 in r
0.423 * [taylor]: Taking taylor expansion of b in r
0.423 * [taylor]: Taking taylor expansion of (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r) in r
0.423 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in r
0.423 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in r
0.423 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in r
0.423 * [taylor]: Taking taylor expansion of (/ -1 a) in r
0.423 * [taylor]: Taking taylor expansion of -1 in r
0.423 * [taylor]: Taking taylor expansion of a in r
0.423 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in r
0.423 * [taylor]: Taking taylor expansion of (/ -1 b) in r
0.423 * [taylor]: Taking taylor expansion of -1 in r
0.423 * [taylor]: Taking taylor expansion of b in r
0.423 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in r
0.423 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in r
0.423 * [taylor]: Taking taylor expansion of (/ -1 a) in r
0.423 * [taylor]: Taking taylor expansion of -1 in r
0.423 * [taylor]: Taking taylor expansion of a in r
0.423 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r
0.423 * [taylor]: Taking taylor expansion of (/ -1 b) in r
0.423 * [taylor]: Taking taylor expansion of -1 in r
0.423 * [taylor]: Taking taylor expansion of b in r
0.423 * [taylor]: Taking taylor expansion of r in r
0.425 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r))) in r
0.425 * [taylor]: Taking taylor expansion of -1 in r
0.425 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r)) in r
0.425 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r
0.425 * [taylor]: Taking taylor expansion of (/ -1 b) in r
0.425 * [taylor]: Taking taylor expansion of -1 in r
0.425 * [taylor]: Taking taylor expansion of b in r
0.425 * [taylor]: Taking taylor expansion of (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r) in r
0.425 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in r
0.425 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in r
0.426 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in r
0.426 * [taylor]: Taking taylor expansion of (/ -1 a) in r
0.426 * [taylor]: Taking taylor expansion of -1 in r
0.426 * [taylor]: Taking taylor expansion of a in r
0.426 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in r
0.426 * [taylor]: Taking taylor expansion of (/ -1 b) in r
0.426 * [taylor]: Taking taylor expansion of -1 in r
0.426 * [taylor]: Taking taylor expansion of b in r
0.426 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in r
0.426 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in r
0.426 * [taylor]: Taking taylor expansion of (/ -1 a) in r
0.426 * [taylor]: Taking taylor expansion of -1 in r
0.426 * [taylor]: Taking taylor expansion of a in r
0.426 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r
0.426 * [taylor]: Taking taylor expansion of (/ -1 b) in r
0.426 * [taylor]: Taking taylor expansion of -1 in r
0.426 * [taylor]: Taking taylor expansion of b in r
0.426 * [taylor]: Taking taylor expansion of r in r
0.428 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))))) in b
0.428 * [taylor]: Taking taylor expansion of -1 in b
0.428 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b))))) in b
0.428 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b
0.428 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.428 * [taylor]: Taking taylor expansion of -1 in b
0.428 * [taylor]: Taking taylor expansion of b in b
0.428 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in b
0.428 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in b
0.428 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in b
0.428 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.428 * [taylor]: Taking taylor expansion of -1 in b
0.428 * [taylor]: Taking taylor expansion of a in b
0.429 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in b
0.429 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.429 * [taylor]: Taking taylor expansion of -1 in b
0.429 * [taylor]: Taking taylor expansion of b in b
0.429 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in b
0.429 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in b
0.429 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.429 * [taylor]: Taking taylor expansion of -1 in b
0.429 * [taylor]: Taking taylor expansion of a in b
0.429 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b
0.429 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.429 * [taylor]: Taking taylor expansion of -1 in b
0.429 * [taylor]: Taking taylor expansion of b in b
0.430 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))))) in a
0.430 * [taylor]: Taking taylor expansion of -1 in a
0.430 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b))))) in a
0.430 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a
0.430 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.430 * [taylor]: Taking taylor expansion of -1 in a
0.430 * [taylor]: Taking taylor expansion of b in a
0.430 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in a
0.430 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in a
0.430 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in a
0.430 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.430 * [taylor]: Taking taylor expansion of -1 in a
0.430 * [taylor]: Taking taylor expansion of a in a
0.430 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in a
0.430 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.430 * [taylor]: Taking taylor expansion of -1 in a
0.430 * [taylor]: Taking taylor expansion of b in a
0.430 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in a
0.430 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a
0.430 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.430 * [taylor]: Taking taylor expansion of -1 in a
0.430 * [taylor]: Taking taylor expansion of a in a
0.430 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a
0.430 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.430 * [taylor]: Taking taylor expansion of -1 in a
0.430 * [taylor]: Taking taylor expansion of b in a
0.433 * [taylor]: Taking taylor expansion of 0 in b
0.433 * [taylor]: Taking taylor expansion of 0 in a
0.434 * [taylor]: Taking taylor expansion of 0 in a
0.439 * [taylor]: Taking taylor expansion of 0 in b
0.439 * [taylor]: Taking taylor expansion of 0 in a
0.439 * [taylor]: Taking taylor expansion of 0 in a
0.440 * [taylor]: Taking taylor expansion of 0 in a
0.441 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
0.441 * [approximate]: Taking taylor expansion of (* (cos b) (cos a)) in (a b) around 0
0.441 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in b
0.441 * [taylor]: Taking taylor expansion of (cos b) in b
0.441 * [taylor]: Taking taylor expansion of b in b
0.441 * [taylor]: Taking taylor expansion of (cos a) in b
0.441 * [taylor]: Taking taylor expansion of a in b
0.441 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in a
0.441 * [taylor]: Taking taylor expansion of (cos b) in a
0.441 * [taylor]: Taking taylor expansion of b in a
0.441 * [taylor]: Taking taylor expansion of (cos a) in a
0.441 * [taylor]: Taking taylor expansion of a in a
0.441 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in a
0.441 * [taylor]: Taking taylor expansion of (cos b) in a
0.441 * [taylor]: Taking taylor expansion of b in a
0.441 * [taylor]: Taking taylor expansion of (cos a) in a
0.441 * [taylor]: Taking taylor expansion of a in a
0.441 * [taylor]: Taking taylor expansion of (cos b) in b
0.441 * [taylor]: Taking taylor expansion of b in b
0.442 * [taylor]: Taking taylor expansion of 0 in b
0.442 * [taylor]: Taking taylor expansion of (neg (* 1/2 (cos b))) in b
0.442 * [taylor]: Taking taylor expansion of (* 1/2 (cos b)) in b
0.442 * [taylor]: Taking taylor expansion of 1/2 in b
0.442 * [taylor]: Taking taylor expansion of (cos b) in b
0.442 * [taylor]: Taking taylor expansion of b in b
0.442 * [approximate]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in (a b) around 0
0.442 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in b
0.442 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in b
0.442 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.443 * [taylor]: Taking taylor expansion of a in b
0.443 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in b
0.443 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.443 * [taylor]: Taking taylor expansion of b in b
0.443 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in a
0.443 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in a
0.443 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.443 * [taylor]: Taking taylor expansion of a in a
0.443 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in a
0.443 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.443 * [taylor]: Taking taylor expansion of b in a
0.443 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in a
0.443 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in a
0.443 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.443 * [taylor]: Taking taylor expansion of a in a
0.443 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in a
0.443 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.443 * [taylor]: Taking taylor expansion of b in a
0.443 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in b
0.443 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in b
0.443 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.443 * [taylor]: Taking taylor expansion of a in b
0.443 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in b
0.443 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.443 * [taylor]: Taking taylor expansion of b in b
0.444 * [taylor]: Taking taylor expansion of 0 in b
0.445 * [taylor]: Taking taylor expansion of 0 in b
0.446 * [taylor]: Taking taylor expansion of 0 in b
0.446 * [approximate]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in (a b) around 0
0.446 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in b
0.446 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in b
0.446 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.446 * [taylor]: Taking taylor expansion of -1 in b
0.446 * [taylor]: Taking taylor expansion of a in b
0.446 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in b
0.446 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.446 * [taylor]: Taking taylor expansion of -1 in b
0.446 * [taylor]: Taking taylor expansion of b in b
0.446 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in a
0.446 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in a
0.446 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.446 * [taylor]: Taking taylor expansion of -1 in a
0.446 * [taylor]: Taking taylor expansion of a in a
0.446 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in a
0.446 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.446 * [taylor]: Taking taylor expansion of -1 in a
0.446 * [taylor]: Taking taylor expansion of b in a
0.446 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in a
0.446 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in a
0.446 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.446 * [taylor]: Taking taylor expansion of -1 in a
0.446 * [taylor]: Taking taylor expansion of a in a
0.447 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in a
0.447 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.447 * [taylor]: Taking taylor expansion of -1 in a
0.447 * [taylor]: Taking taylor expansion of b in a
0.447 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in b
0.447 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in b
0.447 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.447 * [taylor]: Taking taylor expansion of -1 in b
0.447 * [taylor]: Taking taylor expansion of a in b
0.447 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in b
0.447 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.447 * [taylor]: Taking taylor expansion of -1 in b
0.447 * [taylor]: Taking taylor expansion of b in b
0.448 * [taylor]: Taking taylor expansion of 0 in b
0.448 * [taylor]: Taking taylor expansion of 0 in b
0.449 * [taylor]: Taking taylor expansion of 0 in b
0.449 * * * [progress]: simplifying candidates
0.451 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (sin b)) (log (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (log (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (exp (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (/ (* (* (sin b) (sin b)) (sin b)) (* (* (- (* (cos a) (cos b)) (* (sin a) (sin b))) (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (* (cbrt (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (cbrt (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (cbrt (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (* (* (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (sqrt (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (sqrt (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (neg (sin b))
  (neg (- (* (cos a) (cos b)) (* (sin a) (sin b))))
  (/ (* (cbrt (sin b)) (cbrt (sin b))) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (/ (cbrt (sin b)) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (/ (* (cbrt (sin b)) (cbrt (sin b))) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (/ (cbrt (sin b)) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (/ (* (cbrt (sin b)) (cbrt (sin b))) 1)
  (/ (cbrt (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))
  (/ (sqrt (sin b)) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (/ (sqrt (sin b)) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (/ (sqrt (sin b)) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (/ (sqrt (sin b)) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (/ (sqrt (sin b)) 1)
  (/ (sqrt (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))
  (/ 1 (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (/ (sin b) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (/ 1 (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (/ (sin b) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (/ 1 1)
  (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))
  (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))
  (/ (- (* (cos a) (cos b)) (* (sin a) (sin b))) (sin b))
  (/ (sin b) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (/ (sin b) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (/ (sin b) 1)
  (/ (- (* (cos a) (cos b)) (* (sin a) (sin b))) (cbrt (sin b)))
  (/ (- (* (cos a) (cos b)) (* (sin a) (sin b))) (sqrt (sin b)))
  (/ (- (* (cos a) (cos b)) (* (sin a) (sin b))) (sin b))
  (/ (sin b) (- (+ (cos (+ a b)) (cos (- a b))) (- (cos (- a b)) (cos (+ a b)))))
  (/ (sin b) (- (* (+ (cos (+ a b)) (cos (- a b))) 2) (* 2 (- (cos (- a b)) (cos (+ a b))))))
  (/ (sin b) (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3)))
  (/ (sin b) (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))))
  (- (cos (- a b)) (cos (+ a b)))
  (* (sin a) (sin b))
  (+ (log (sin a)) (log (sin b)))
  (log (* (sin a) (sin b)))
  (exp (* (sin a) (sin b)))
  (* (* (* (sin a) (sin a)) (sin a)) (* (* (sin b) (sin b)) (sin b)))
  (* (cbrt (* (sin a) (sin b))) (cbrt (* (sin a) (sin b))))
  (cbrt (* (sin a) (sin b)))
  (* (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (sin a) (sin b)))
  (sqrt (* (sin a) (sin b)))
  (sqrt (* (sin a) (sin b)))
  (* (sqrt (sin a)) (sqrt (sin b)))
  (* (sqrt (sin a)) (sqrt (sin b)))
  (* (sin a) (* (cbrt (sin b)) (cbrt (sin b))))
  (* (sin a) (sqrt (sin b)))
  (* (sin a) 1)
  (* (cbrt (sin a)) (sin b))
  (* (sqrt (sin a)) (sin b))
  (* (sin a) (sin b))
  (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (+ (log r) (- (log (sin b)) (log (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (+ (log r) (log (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (log (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (exp (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (* (* (* r r) r) (/ (* (* (sin b) (sin b)) (sin b)) (* (* (- (* (cos a) (cos b)) (* (sin a) (sin b))) (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (* (* (* r r) r) (* (* (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (* (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))))
  (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (* (* (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (sqrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (sqrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (* (sqrt r) (sqrt (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (* (sqrt r) (sqrt (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (* (sqrt r) (/ (sqrt (sin b)) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (* (sqrt r) (/ (sqrt (sin b)) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (* r (* (cbrt (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (cbrt (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))))
  (* r (sqrt (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (* r (/ (* (cbrt (sin b)) (cbrt (sin b))) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))))
  (* r (/ (* (cbrt (sin b)) (cbrt (sin b))) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (* r (/ (* (cbrt (sin b)) (cbrt (sin b))) 1))
  (* r (/ (sqrt (sin b)) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))))
  (* r (/ (sqrt (sin b)) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (* r (/ (sqrt (sin b)) 1))
  (* r (/ 1 (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))))
  (* r (/ 1 (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (* r (/ 1 1))
  (* r 1)
  (* r (sin b))
  (* r (/ (sin b) (- (+ (cos (+ a b)) (cos (- a b))) (- (cos (- a b)) (cos (+ a b))))))
  (* r (/ (sin b) (- (* (+ (cos (+ a b)) (cos (- a b))) 2) (* 2 (- (cos (- a b)) (cos (+ a b)))))))
  (* r (/ (sin b) (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3))))
  (* r (/ (sin b) (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b))))))
  (* (cbrt r) (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (* (sqrt r) (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (* r (sin b))
  (+ (cos (+ a b)) (cos (- a b)))
  (* (cos a) (cos b))
  (+ (log (cos a)) (log (cos b)))
  (log (* (cos a) (cos b)))
  (exp (* (cos a) (cos b)))
  (* (* (* (cos a) (cos a)) (cos a)) (* (* (cos b) (cos b)) (cos b)))
  (* (cbrt (* (cos a) (cos b))) (cbrt (* (cos a) (cos b))))
  (cbrt (* (cos a) (cos b)))
  (* (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (cos a) (cos b)))
  (sqrt (* (cos a) (cos b)))
  (sqrt (* (cos a) (cos b)))
  (* (sqrt (cos a)) (sqrt (cos b)))
  (* (sqrt (cos a)) (sqrt (cos b)))
  (* (cos a) (* (cbrt (cos b)) (cbrt (cos b))))
  (* (cos a) (sqrt (cos b)))
  (* (cos a) 1)
  (* (cbrt (cos a)) (cos b))
  (* (sqrt (cos a)) (cos b))
  (* (cos a) (cos b))
  (+ (* a (pow b 2)) (+ (* 1/3 (pow b 3)) b))
  (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b))))
  (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b))))
  (* a b)
  (* (sin b) (sin a))
  (* (sin b) (sin a))
  (+ (* a (* r (pow b 2))) (+ (* r b) (* 1/3 (* r (pow b 3)))))
  (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b))))
  (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b))))
  (- 1 (+ (* 1/2 (pow a 2)) (* 1/2 (pow b 2))))
  (* (cos b) (cos a))
  (* (cos b) (cos a))
0.457 * * [simplify]: iteration  0 :  428  enodes  (cost  1219 )
0.465 * * [simplify]: iteration  1 :  1858  enodes  (cost  1102 )
0.499 * * [simplify]: iteration  2 :  5001  enodes  (cost  1098 )
0.504 * [simplify]: Simplified to:
   (log (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (log (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (exp (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))))
  (pow (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) 3)
  (* (cbrt (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (cbrt (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (cbrt (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (pow (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) 3)
  (sqrt (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (sqrt (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (neg (sin b))
  (neg (- (* (cos a) (cos b)) (* (sin a) (sin b))))
  (/ (* (cbrt (sin b)) (cbrt (sin b))) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (/ (cbrt (sin b)) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (/ (* (cbrt (sin b)) (cbrt (sin b))) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (/ (cbrt (sin b)) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (* (cbrt (sin b)) (cbrt (sin b)))
  (/ (cbrt (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))
  (/ (sqrt (sin b)) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (/ (sqrt (sin b)) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (/ (sqrt (sin b)) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (/ (sqrt (sin b)) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (sqrt (sin b))
  (/ (sqrt (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))
  (/ 1 (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (/ (sin b) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (/ 1 (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (/ (sin b) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  1
  (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b))))
  (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))
  (/ (- (* (cos a) (cos b)) (* (sin a) (sin b))) (sin b))
  (/ (sin b) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (/ (sin b) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (sin b)
  (/ (- (* (cos a) (cos b)) (* (sin a) (sin b))) (cbrt (sin b)))
  (/ (- (* (cos a) (cos b)) (* (sin a) (sin b))) (sqrt (sin b)))
  (/ (- (* (cos a) (cos b)) (* (sin a) (sin b))) (sin b))
  (/ (sin b) (- (+ (cos (+ a b)) (cos (- a b))) (- (cos (- a b)) (cos (+ a b)))))
  (/ (sin b) (* 2 (- (+ (cos (+ a b)) (cos (- a b))) (- (cos (- a b)) (cos (+ a b))))))
  (/ (sin b) (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3)))
  (/ (sin b) (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))))
  (- (cos (- a b)) (cos (+ a b)))
  (* (sin a) (sin b))
  (log (* (sin a) (sin b)))
  (log (* (sin a) (sin b)))
  (exp (* (sin a) (sin b)))
  (pow (* (sin a) (sin b)) 3)
  (* (cbrt (* (sin a) (sin b))) (cbrt (* (sin a) (sin b))))
  (cbrt (* (sin a) (sin b)))
  (pow (* (sin a) (sin b)) 3)
  (sqrt (* (sin a) (sin b)))
  (sqrt (* (sin a) (sin b)))
  (* (sqrt (sin a)) (sqrt (sin b)))
  (* (sqrt (sin a)) (sqrt (sin b)))
  (* (sin a) (* (cbrt (sin b)) (cbrt (sin b))))
  (* (sin a) (sqrt (sin b)))
  (sin a)
  (* (cbrt (sin a)) (sin b))
  (* (sqrt (sin a)) (sin b))
  (* (sin a) (sin b))
  (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (log (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (log (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (log (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (exp (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (pow (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) 3)
  (pow (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) 3)
  (* (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))))
  (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (pow (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) 3)
  (sqrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (sqrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (* (sqrt r) (sqrt (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (* (sqrt r) (sqrt (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (* (sqrt r) (/ (sqrt (sin b)) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (* (sqrt r) (/ (sqrt (sin b)) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (* r (* (cbrt (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (cbrt (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))))
  (* r (sqrt (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (* r (/ (* (cbrt (sin b)) (cbrt (sin b))) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))))
  (* r (/ (* (cbrt (sin b)) (cbrt (sin b))) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (* (* (cbrt (sin b)) (cbrt (sin b))) r)
  (* r (/ (sqrt (sin b)) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))))
  (* r (/ (sqrt (sin b)) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (* (sqrt (sin b)) r)
  (/ r (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))
  (/ r (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  r
  r
  (* r (sin b))
  (* r (/ (sin b) (- (+ (cos (+ a b)) (cos (- a b))) (- (cos (- a b)) (cos (+ a b))))))
  (/ (* r (sin b)) (* 2 (- (+ (cos (+ a b)) (cos (- a b))) (- (cos (- a b)) (cos (+ a b))))))
  (* r (/ (sin b) (- (pow (* (cos a) (cos b)) 3) (pow (* (sin a) (sin b)) 3))))
  (* r (/ (sin b) (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b))))))
  (* (cbrt r) (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (* (sqrt r) (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (* r (sin b))
  (+ (cos (+ a b)) (cos (- a b)))
  (* (cos a) (cos b))
  (log (* (cos a) (cos b)))
  (log (* (cos a) (cos b)))
  (exp (* (cos a) (cos b)))
  (pow (* (cos a) (cos b)) 3)
  (* (cbrt (* (cos a) (cos b))) (cbrt (* (cos a) (cos b))))
  (cbrt (* (cos a) (cos b)))
  (pow (* (cos a) (cos b)) 3)
  (sqrt (* (cos a) (cos b)))
  (sqrt (* (cos a) (cos b)))
  (* (sqrt (cos a)) (sqrt (cos b)))
  (* (sqrt (cos a)) (sqrt (cos b)))
  (* (cos a) (* (cbrt (cos b)) (cbrt (cos b))))
  (* (cos a) (sqrt (cos b)))
  (cos a)
  (* (cbrt (cos a)) (cos b))
  (* (sqrt (cos a)) (cos b))
  (* (cos a) (cos b))
  (+ (* (pow b 2) (+ (* b 1/3) a)) b)
  (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b))))
  (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b))))
  (* a b)
  (* (sin a) (sin b))
  (* (sin a) (sin b))
  (+ (* r b) (* r (* (pow b 2) (+ (* b 1/3) a))))
  (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
  (+ (* -1/2 (+ (pow a 2) (pow b 2))) 1)
  (* (cos a) (cos b))
  (* (cos a) (cos b))
0.505 * * * [progress]: adding candidates to table
0.625 * * [progress]: iteration 3 / 4
0.625 * * * [progress]: picking best candidate
0.676 * * * * [pick]: Picked  #<alt (λ (r a b) (* r (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))>
0.676 * * * [progress]: localizing error
0.695 * * * [progress]: generating rewritten candidates
0.695 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
0.697 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.705 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 1)
0.711 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.723 * * * [progress]: generating series expansions
0.723 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
0.723 * [approximate]: Taking taylor expansion of (* (sin b) (sin a)) in (a b) around 0
0.724 * [taylor]: Taking taylor expansion of (* (sin b) (sin a)) in b
0.724 * [taylor]: Taking taylor expansion of (sin b) in b
0.724 * [taylor]: Taking taylor expansion of b in b
0.724 * [taylor]: Taking taylor expansion of (sin a) in b
0.724 * [taylor]: Taking taylor expansion of a in b
0.724 * [taylor]: Taking taylor expansion of (* (sin b) (sin a)) in a
0.724 * [taylor]: Taking taylor expansion of (sin b) in a
0.724 * [taylor]: Taking taylor expansion of b in a
0.724 * [taylor]: Taking taylor expansion of (sin a) in a
0.724 * [taylor]: Taking taylor expansion of a in a
0.724 * [taylor]: Taking taylor expansion of (* (sin b) (sin a)) in a
0.724 * [taylor]: Taking taylor expansion of (sin b) in a
0.724 * [taylor]: Taking taylor expansion of b in a
0.724 * [taylor]: Taking taylor expansion of (sin a) in a
0.724 * [taylor]: Taking taylor expansion of a in a
0.724 * [taylor]: Taking taylor expansion of 0 in b
0.724 * [taylor]: Taking taylor expansion of (sin b) in b
0.724 * [taylor]: Taking taylor expansion of b in b
0.725 * [taylor]: Taking taylor expansion of 0 in b
0.725 * [taylor]: Taking taylor expansion of (neg (* 1/6 (sin b))) in b
0.725 * [taylor]: Taking taylor expansion of (* 1/6 (sin b)) in b
0.725 * [taylor]: Taking taylor expansion of 1/6 in b
0.725 * [taylor]: Taking taylor expansion of (sin b) in b
0.725 * [taylor]: Taking taylor expansion of b in b
0.726 * [taylor]: Taking taylor expansion of 0 in b
0.726 * [approximate]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in (a b) around 0
0.726 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b
0.726 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b
0.726 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.726 * [taylor]: Taking taylor expansion of a in b
0.726 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b
0.726 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.727 * [taylor]: Taking taylor expansion of b in b
0.727 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a
0.727 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a
0.727 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.727 * [taylor]: Taking taylor expansion of a in a
0.727 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a
0.727 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.727 * [taylor]: Taking taylor expansion of b in a
0.727 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a
0.727 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a
0.727 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.727 * [taylor]: Taking taylor expansion of a in a
0.727 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a
0.727 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.727 * [taylor]: Taking taylor expansion of b in a
0.727 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b
0.727 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b
0.727 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.727 * [taylor]: Taking taylor expansion of a in b
0.727 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b
0.727 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.727 * [taylor]: Taking taylor expansion of b in b
0.728 * [taylor]: Taking taylor expansion of 0 in b
0.728 * [taylor]: Taking taylor expansion of 0 in b
0.729 * [taylor]: Taking taylor expansion of 0 in b
0.730 * [approximate]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in (a b) around 0
0.730 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in b
0.730 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in b
0.730 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.730 * [taylor]: Taking taylor expansion of -1 in b
0.730 * [taylor]: Taking taylor expansion of a in b
0.730 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b
0.730 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.730 * [taylor]: Taking taylor expansion of -1 in b
0.730 * [taylor]: Taking taylor expansion of b in b
0.730 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in a
0.730 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a
0.730 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.730 * [taylor]: Taking taylor expansion of -1 in a
0.730 * [taylor]: Taking taylor expansion of a in a
0.730 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a
0.730 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.730 * [taylor]: Taking taylor expansion of -1 in a
0.730 * [taylor]: Taking taylor expansion of b in a
0.730 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in a
0.730 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a
0.730 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.730 * [taylor]: Taking taylor expansion of -1 in a
0.730 * [taylor]: Taking taylor expansion of a in a
0.730 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a
0.730 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.730 * [taylor]: Taking taylor expansion of -1 in a
0.730 * [taylor]: Taking taylor expansion of b in a
0.730 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in b
0.730 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in b
0.730 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.730 * [taylor]: Taking taylor expansion of -1 in b
0.730 * [taylor]: Taking taylor expansion of a in b
0.731 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b
0.731 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.731 * [taylor]: Taking taylor expansion of -1 in b
0.731 * [taylor]: Taking taylor expansion of b in b
0.731 * [taylor]: Taking taylor expansion of 0 in b
0.732 * [taylor]: Taking taylor expansion of 0 in b
0.733 * [taylor]: Taking taylor expansion of 0 in b
0.733 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
0.733 * [approximate]: Taking taylor expansion of (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in (b a) around 0
0.733 * [taylor]: Taking taylor expansion of (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in a
0.733 * [taylor]: Taking taylor expansion of (sin b) in a
0.733 * [taylor]: Taking taylor expansion of b in a
0.733 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in a
0.733 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in a
0.733 * [taylor]: Taking taylor expansion of (cos b) in a
0.733 * [taylor]: Taking taylor expansion of b in a
0.733 * [taylor]: Taking taylor expansion of (cos a) in a
0.733 * [taylor]: Taking taylor expansion of a in a
0.733 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in a
0.733 * [taylor]: Taking taylor expansion of (sin a) in a
0.733 * [taylor]: Taking taylor expansion of a in a
0.733 * [taylor]: Taking taylor expansion of (sin b) in a
0.733 * [taylor]: Taking taylor expansion of b in a
0.734 * [taylor]: Taking taylor expansion of (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in b
0.734 * [taylor]: Taking taylor expansion of (sin b) in b
0.734 * [taylor]: Taking taylor expansion of b in b
0.734 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in b
0.734 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in b
0.734 * [taylor]: Taking taylor expansion of (cos b) in b
0.734 * [taylor]: Taking taylor expansion of b in b
0.734 * [taylor]: Taking taylor expansion of (cos a) in b
0.734 * [taylor]: Taking taylor expansion of a in b
0.734 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in b
0.734 * [taylor]: Taking taylor expansion of (sin a) in b
0.734 * [taylor]: Taking taylor expansion of a in b
0.734 * [taylor]: Taking taylor expansion of (sin b) in b
0.734 * [taylor]: Taking taylor expansion of b in b
0.734 * [taylor]: Taking taylor expansion of (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in b
0.734 * [taylor]: Taking taylor expansion of (sin b) in b
0.734 * [taylor]: Taking taylor expansion of b in b
0.734 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in b
0.734 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in b
0.734 * [taylor]: Taking taylor expansion of (cos b) in b
0.734 * [taylor]: Taking taylor expansion of b in b
0.734 * [taylor]: Taking taylor expansion of (cos a) in b
0.734 * [taylor]: Taking taylor expansion of a in b
0.734 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in b
0.734 * [taylor]: Taking taylor expansion of (sin a) in b
0.734 * [taylor]: Taking taylor expansion of a in b
0.734 * [taylor]: Taking taylor expansion of (sin b) in b
0.734 * [taylor]: Taking taylor expansion of b in b
0.735 * [taylor]: Taking taylor expansion of (/ 1 (cos a)) in a
0.735 * [taylor]: Taking taylor expansion of (cos a) in a
0.735 * [taylor]: Taking taylor expansion of a in a
0.735 * [taylor]: Taking taylor expansion of (/ (sin a) (pow (cos a) 2)) in a
0.735 * [taylor]: Taking taylor expansion of (sin a) in a
0.735 * [taylor]: Taking taylor expansion of a in a
0.735 * [taylor]: Taking taylor expansion of (pow (cos a) 2) in a
0.735 * [taylor]: Taking taylor expansion of (cos a) in a
0.736 * [taylor]: Taking taylor expansion of a in a
0.737 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (cos a))) (/ (pow (sin a) 2) (pow (cos a) 3))) in a
0.737 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (cos a))) in a
0.737 * [taylor]: Taking taylor expansion of 1/3 in a
0.737 * [taylor]: Taking taylor expansion of (/ 1 (cos a)) in a
0.737 * [taylor]: Taking taylor expansion of (cos a) in a
0.737 * [taylor]: Taking taylor expansion of a in a
0.737 * [taylor]: Taking taylor expansion of (/ (pow (sin a) 2) (pow (cos a) 3)) in a
0.737 * [taylor]: Taking taylor expansion of (pow (sin a) 2) in a
0.737 * [taylor]: Taking taylor expansion of (sin a) in a
0.737 * [taylor]: Taking taylor expansion of a in a
0.737 * [taylor]: Taking taylor expansion of (pow (cos a) 3) in a
0.737 * [taylor]: Taking taylor expansion of (cos a) in a
0.737 * [taylor]: Taking taylor expansion of a in a
0.738 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in (b a) around 0
0.738 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in a
0.738 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a
0.738 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.738 * [taylor]: Taking taylor expansion of b in a
0.738 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in a
0.738 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in a
0.738 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in a
0.738 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.738 * [taylor]: Taking taylor expansion of a in a
0.738 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in a
0.738 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.738 * [taylor]: Taking taylor expansion of b in a
0.738 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a
0.738 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a
0.738 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.738 * [taylor]: Taking taylor expansion of a in a
0.738 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a
0.738 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.738 * [taylor]: Taking taylor expansion of b in a
0.739 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in b
0.739 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b
0.739 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.739 * [taylor]: Taking taylor expansion of b in b
0.739 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in b
0.739 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in b
0.739 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in b
0.739 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.739 * [taylor]: Taking taylor expansion of a in b
0.739 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in b
0.739 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.739 * [taylor]: Taking taylor expansion of b in b
0.739 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b
0.739 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b
0.739 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.739 * [taylor]: Taking taylor expansion of a in b
0.739 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b
0.739 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.739 * [taylor]: Taking taylor expansion of b in b
0.740 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in b
0.740 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b
0.740 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.740 * [taylor]: Taking taylor expansion of b in b
0.740 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in b
0.740 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in b
0.740 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in b
0.740 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.740 * [taylor]: Taking taylor expansion of a in b
0.740 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in b
0.740 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.740 * [taylor]: Taking taylor expansion of b in b
0.740 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b
0.740 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b
0.740 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.740 * [taylor]: Taking taylor expansion of a in b
0.740 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b
0.740 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.740 * [taylor]: Taking taylor expansion of b in b
0.741 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in a
0.741 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a
0.741 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.741 * [taylor]: Taking taylor expansion of b in a
0.741 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in a
0.741 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in a
0.741 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in a
0.741 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.741 * [taylor]: Taking taylor expansion of a in a
0.741 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in a
0.741 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.741 * [taylor]: Taking taylor expansion of b in a
0.741 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a
0.741 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a
0.741 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.741 * [taylor]: Taking taylor expansion of a in a
0.741 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a
0.741 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.742 * [taylor]: Taking taylor expansion of b in a
0.743 * [taylor]: Taking taylor expansion of 0 in a
0.746 * [taylor]: Taking taylor expansion of 0 in a
0.749 * [taylor]: Taking taylor expansion of 0 in a
0.749 * [approximate]: Taking taylor expansion of (/ (sin (/ -1 b)) (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b))))) in (b a) around 0
0.749 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b))))) in a
0.749 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a
0.749 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.749 * [taylor]: Taking taylor expansion of -1 in a
0.749 * [taylor]: Taking taylor expansion of b in a
0.749 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in a
0.749 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in a
0.749 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in a
0.749 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.749 * [taylor]: Taking taylor expansion of -1 in a
0.749 * [taylor]: Taking taylor expansion of a in a
0.749 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in a
0.749 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.749 * [taylor]: Taking taylor expansion of -1 in a
0.749 * [taylor]: Taking taylor expansion of b in a
0.750 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in a
0.750 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a
0.750 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.750 * [taylor]: Taking taylor expansion of -1 in a
0.750 * [taylor]: Taking taylor expansion of a in a
0.750 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a
0.750 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.750 * [taylor]: Taking taylor expansion of -1 in a
0.750 * [taylor]: Taking taylor expansion of b in a
0.751 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b))))) in b
0.751 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b
0.751 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.751 * [taylor]: Taking taylor expansion of -1 in b
0.751 * [taylor]: Taking taylor expansion of b in b
0.751 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in b
0.751 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in b
0.751 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in b
0.751 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.751 * [taylor]: Taking taylor expansion of -1 in b
0.751 * [taylor]: Taking taylor expansion of a in b
0.751 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in b
0.751 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.751 * [taylor]: Taking taylor expansion of -1 in b
0.751 * [taylor]: Taking taylor expansion of b in b
0.751 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in b
0.751 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in b
0.751 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.751 * [taylor]: Taking taylor expansion of -1 in b
0.751 * [taylor]: Taking taylor expansion of a in b
0.751 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b
0.751 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.751 * [taylor]: Taking taylor expansion of -1 in b
0.751 * [taylor]: Taking taylor expansion of b in b
0.752 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b))))) in b
0.752 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b
0.752 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.752 * [taylor]: Taking taylor expansion of -1 in b
0.752 * [taylor]: Taking taylor expansion of b in b
0.752 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in b
0.752 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in b
0.752 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in b
0.752 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.752 * [taylor]: Taking taylor expansion of -1 in b
0.752 * [taylor]: Taking taylor expansion of a in b
0.752 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in b
0.752 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.752 * [taylor]: Taking taylor expansion of -1 in b
0.752 * [taylor]: Taking taylor expansion of b in b
0.752 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in b
0.752 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in b
0.752 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.752 * [taylor]: Taking taylor expansion of -1 in b
0.752 * [taylor]: Taking taylor expansion of a in b
0.752 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b
0.752 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.752 * [taylor]: Taking taylor expansion of -1 in b
0.752 * [taylor]: Taking taylor expansion of b in b
0.753 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b))))) in a
0.753 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a
0.753 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.753 * [taylor]: Taking taylor expansion of -1 in a
0.753 * [taylor]: Taking taylor expansion of b in a
0.753 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in a
0.753 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in a
0.753 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in a
0.753 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.753 * [taylor]: Taking taylor expansion of -1 in a
0.753 * [taylor]: Taking taylor expansion of a in a
0.753 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in a
0.753 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.753 * [taylor]: Taking taylor expansion of -1 in a
0.753 * [taylor]: Taking taylor expansion of b in a
0.753 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in a
0.754 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a
0.754 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.754 * [taylor]: Taking taylor expansion of -1 in a
0.754 * [taylor]: Taking taylor expansion of a in a
0.754 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a
0.754 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.754 * [taylor]: Taking taylor expansion of -1 in a
0.754 * [taylor]: Taking taylor expansion of b in a
0.755 * [taylor]: Taking taylor expansion of 0 in a
0.758 * [taylor]: Taking taylor expansion of 0 in a
0.761 * [taylor]: Taking taylor expansion of 0 in a
0.761 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 1)
0.761 * [approximate]: Taking taylor expansion of (* (sin b) (sin a)) in (a b) around 0
0.761 * [taylor]: Taking taylor expansion of (* (sin b) (sin a)) in b
0.761 * [taylor]: Taking taylor expansion of (sin b) in b
0.761 * [taylor]: Taking taylor expansion of b in b
0.761 * [taylor]: Taking taylor expansion of (sin a) in b
0.761 * [taylor]: Taking taylor expansion of a in b
0.761 * [taylor]: Taking taylor expansion of (* (sin b) (sin a)) in a
0.761 * [taylor]: Taking taylor expansion of (sin b) in a
0.761 * [taylor]: Taking taylor expansion of b in a
0.761 * [taylor]: Taking taylor expansion of (sin a) in a
0.761 * [taylor]: Taking taylor expansion of a in a
0.761 * [taylor]: Taking taylor expansion of (* (sin b) (sin a)) in a
0.761 * [taylor]: Taking taylor expansion of (sin b) in a
0.762 * [taylor]: Taking taylor expansion of b in a
0.762 * [taylor]: Taking taylor expansion of (sin a) in a
0.762 * [taylor]: Taking taylor expansion of a in a
0.762 * [taylor]: Taking taylor expansion of 0 in b
0.762 * [taylor]: Taking taylor expansion of (sin b) in b
0.762 * [taylor]: Taking taylor expansion of b in b
0.762 * [taylor]: Taking taylor expansion of 0 in b
0.763 * [taylor]: Taking taylor expansion of (neg (* 1/6 (sin b))) in b
0.763 * [taylor]: Taking taylor expansion of (* 1/6 (sin b)) in b
0.763 * [taylor]: Taking taylor expansion of 1/6 in b
0.763 * [taylor]: Taking taylor expansion of (sin b) in b
0.763 * [taylor]: Taking taylor expansion of b in b
0.764 * [taylor]: Taking taylor expansion of 0 in b
0.764 * [approximate]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in (a b) around 0
0.764 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b
0.764 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b
0.764 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.764 * [taylor]: Taking taylor expansion of a in b
0.764 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b
0.764 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.764 * [taylor]: Taking taylor expansion of b in b
0.764 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a
0.764 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a
0.764 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.764 * [taylor]: Taking taylor expansion of a in a
0.764 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a
0.764 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.764 * [taylor]: Taking taylor expansion of b in a
0.764 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a
0.764 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a
0.764 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.764 * [taylor]: Taking taylor expansion of a in a
0.764 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a
0.764 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.765 * [taylor]: Taking taylor expansion of b in a
0.765 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b
0.765 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b
0.765 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.765 * [taylor]: Taking taylor expansion of a in b
0.765 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b
0.765 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.765 * [taylor]: Taking taylor expansion of b in b
0.765 * [taylor]: Taking taylor expansion of 0 in b
0.766 * [taylor]: Taking taylor expansion of 0 in b
0.767 * [taylor]: Taking taylor expansion of 0 in b
0.767 * [approximate]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in (a b) around 0
0.767 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in b
0.767 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in b
0.767 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.767 * [taylor]: Taking taylor expansion of -1 in b
0.767 * [taylor]: Taking taylor expansion of a in b
0.767 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b
0.767 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.767 * [taylor]: Taking taylor expansion of -1 in b
0.767 * [taylor]: Taking taylor expansion of b in b
0.767 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in a
0.767 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a
0.767 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.767 * [taylor]: Taking taylor expansion of -1 in a
0.767 * [taylor]: Taking taylor expansion of a in a
0.768 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a
0.768 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.768 * [taylor]: Taking taylor expansion of -1 in a
0.768 * [taylor]: Taking taylor expansion of b in a
0.768 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in a
0.768 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a
0.768 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.768 * [taylor]: Taking taylor expansion of -1 in a
0.768 * [taylor]: Taking taylor expansion of a in a
0.768 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a
0.768 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.768 * [taylor]: Taking taylor expansion of -1 in a
0.768 * [taylor]: Taking taylor expansion of b in a
0.768 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in b
0.768 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in b
0.768 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.768 * [taylor]: Taking taylor expansion of -1 in b
0.768 * [taylor]: Taking taylor expansion of a in b
0.768 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b
0.768 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.768 * [taylor]: Taking taylor expansion of -1 in b
0.768 * [taylor]: Taking taylor expansion of b in b
0.769 * [taylor]: Taking taylor expansion of 0 in b
0.769 * [taylor]: Taking taylor expansion of 0 in b
0.770 * [taylor]: Taking taylor expansion of 0 in b
0.770 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.771 * [approximate]: Taking taylor expansion of (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in (r b a) around 0
0.771 * [taylor]: Taking taylor expansion of (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in a
0.771 * [taylor]: Taking taylor expansion of (* r (sin b)) in a
0.771 * [taylor]: Taking taylor expansion of r in a
0.771 * [taylor]: Taking taylor expansion of (sin b) in a
0.771 * [taylor]: Taking taylor expansion of b in a
0.771 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in a
0.771 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in a
0.771 * [taylor]: Taking taylor expansion of (cos b) in a
0.771 * [taylor]: Taking taylor expansion of b in a
0.773 * [taylor]: Taking taylor expansion of (cos a) in a
0.773 * [taylor]: Taking taylor expansion of a in a
0.773 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in a
0.773 * [taylor]: Taking taylor expansion of (sin a) in a
0.773 * [taylor]: Taking taylor expansion of a in a
0.773 * [taylor]: Taking taylor expansion of (sin b) in a
0.773 * [taylor]: Taking taylor expansion of b in a
0.773 * [taylor]: Taking taylor expansion of (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in b
0.773 * [taylor]: Taking taylor expansion of (* r (sin b)) in b
0.773 * [taylor]: Taking taylor expansion of r in b
0.773 * [taylor]: Taking taylor expansion of (sin b) in b
0.773 * [taylor]: Taking taylor expansion of b in b
0.773 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in b
0.773 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in b
0.773 * [taylor]: Taking taylor expansion of (cos b) in b
0.773 * [taylor]: Taking taylor expansion of b in b
0.774 * [taylor]: Taking taylor expansion of (cos a) in b
0.774 * [taylor]: Taking taylor expansion of a in b
0.774 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in b
0.774 * [taylor]: Taking taylor expansion of (sin a) in b
0.774 * [taylor]: Taking taylor expansion of a in b
0.774 * [taylor]: Taking taylor expansion of (sin b) in b
0.774 * [taylor]: Taking taylor expansion of b in b
0.774 * [taylor]: Taking taylor expansion of (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in r
0.774 * [taylor]: Taking taylor expansion of (* r (sin b)) in r
0.774 * [taylor]: Taking taylor expansion of r in r
0.774 * [taylor]: Taking taylor expansion of (sin b) in r
0.774 * [taylor]: Taking taylor expansion of b in r
0.774 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in r
0.774 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in r
0.774 * [taylor]: Taking taylor expansion of (cos b) in r
0.774 * [taylor]: Taking taylor expansion of b in r
0.774 * [taylor]: Taking taylor expansion of (cos a) in r
0.774 * [taylor]: Taking taylor expansion of a in r
0.774 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in r
0.774 * [taylor]: Taking taylor expansion of (sin a) in r
0.774 * [taylor]: Taking taylor expansion of a in r
0.774 * [taylor]: Taking taylor expansion of (sin b) in r
0.774 * [taylor]: Taking taylor expansion of b in r
0.775 * [taylor]: Taking taylor expansion of (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in r
0.775 * [taylor]: Taking taylor expansion of (* r (sin b)) in r
0.775 * [taylor]: Taking taylor expansion of r in r
0.775 * [taylor]: Taking taylor expansion of (sin b) in r
0.775 * [taylor]: Taking taylor expansion of b in r
0.775 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in r
0.775 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in r
0.775 * [taylor]: Taking taylor expansion of (cos b) in r
0.775 * [taylor]: Taking taylor expansion of b in r
0.775 * [taylor]: Taking taylor expansion of (cos a) in r
0.775 * [taylor]: Taking taylor expansion of a in r
0.775 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in r
0.775 * [taylor]: Taking taylor expansion of (sin a) in r
0.775 * [taylor]: Taking taylor expansion of a in r
0.775 * [taylor]: Taking taylor expansion of (sin b) in r
0.775 * [taylor]: Taking taylor expansion of b in r
0.776 * [taylor]: Taking taylor expansion of (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) in b
0.776 * [taylor]: Taking taylor expansion of (sin b) in b
0.776 * [taylor]: Taking taylor expansion of b in b
0.776 * [taylor]: Taking taylor expansion of (- (* (cos b) (cos a)) (* (sin a) (sin b))) in b
0.776 * [taylor]: Taking taylor expansion of (* (cos b) (cos a)) in b
0.776 * [taylor]: Taking taylor expansion of (cos b) in b
0.776 * [taylor]: Taking taylor expansion of b in b
0.776 * [taylor]: Taking taylor expansion of (cos a) in b
0.776 * [taylor]: Taking taylor expansion of a in b
0.776 * [taylor]: Taking taylor expansion of (* (sin a) (sin b)) in b
0.776 * [taylor]: Taking taylor expansion of (sin a) in b
0.776 * [taylor]: Taking taylor expansion of a in b
0.776 * [taylor]: Taking taylor expansion of (sin b) in b
0.777 * [taylor]: Taking taylor expansion of b in b
0.777 * [taylor]: Taking taylor expansion of (/ 1 (cos a)) in a
0.777 * [taylor]: Taking taylor expansion of (cos a) in a
0.777 * [taylor]: Taking taylor expansion of a in a
0.778 * [taylor]: Taking taylor expansion of 0 in b
0.778 * [taylor]: Taking taylor expansion of 0 in a
0.779 * [taylor]: Taking taylor expansion of (/ (sin a) (pow (cos a) 2)) in a
0.779 * [taylor]: Taking taylor expansion of (sin a) in a
0.779 * [taylor]: Taking taylor expansion of a in a
0.779 * [taylor]: Taking taylor expansion of (pow (cos a) 2) in a
0.779 * [taylor]: Taking taylor expansion of (cos a) in a
0.779 * [taylor]: Taking taylor expansion of a in a
0.781 * [taylor]: Taking taylor expansion of 0 in b
0.781 * [taylor]: Taking taylor expansion of 0 in a
0.781 * [taylor]: Taking taylor expansion of 0 in a
0.782 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (cos a))) (/ (pow (sin a) 2) (pow (cos a) 3))) in a
0.782 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (cos a))) in a
0.782 * [taylor]: Taking taylor expansion of 1/3 in a
0.782 * [taylor]: Taking taylor expansion of (/ 1 (cos a)) in a
0.782 * [taylor]: Taking taylor expansion of (cos a) in a
0.782 * [taylor]: Taking taylor expansion of a in a
0.782 * [taylor]: Taking taylor expansion of (/ (pow (sin a) 2) (pow (cos a) 3)) in a
0.782 * [taylor]: Taking taylor expansion of (pow (sin a) 2) in a
0.782 * [taylor]: Taking taylor expansion of (sin a) in a
0.782 * [taylor]: Taking taylor expansion of a in a
0.782 * [taylor]: Taking taylor expansion of (pow (cos a) 3) in a
0.782 * [taylor]: Taking taylor expansion of (cos a) in a
0.782 * [taylor]: Taking taylor expansion of a in a
0.783 * [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.783 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) in a
0.783 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a
0.783 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.783 * [taylor]: Taking taylor expansion of b in a
0.783 * [taylor]: Taking taylor expansion of (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in a
0.783 * [taylor]: Taking taylor expansion of r in a
0.783 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in a
0.783 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in a
0.783 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in a
0.783 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.783 * [taylor]: Taking taylor expansion of a in a
0.783 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in a
0.783 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.783 * [taylor]: Taking taylor expansion of b in a
0.783 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a
0.783 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a
0.783 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.783 * [taylor]: Taking taylor expansion of a in a
0.783 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a
0.783 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.783 * [taylor]: Taking taylor expansion of b in a
0.784 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) in b
0.784 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b
0.784 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.784 * [taylor]: Taking taylor expansion of b in b
0.784 * [taylor]: Taking taylor expansion of (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in b
0.784 * [taylor]: Taking taylor expansion of r in b
0.784 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in b
0.784 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in b
0.784 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in b
0.784 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.784 * [taylor]: Taking taylor expansion of a in b
0.784 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in b
0.784 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.784 * [taylor]: Taking taylor expansion of b in b
0.784 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b
0.784 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b
0.784 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.784 * [taylor]: Taking taylor expansion of a in b
0.785 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b
0.785 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.785 * [taylor]: Taking taylor expansion of b in b
0.785 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) in r
0.785 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r
0.785 * [taylor]: Taking taylor expansion of (/ 1 b) in r
0.785 * [taylor]: Taking taylor expansion of b in r
0.785 * [taylor]: Taking taylor expansion of (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in r
0.785 * [taylor]: Taking taylor expansion of r in r
0.785 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in r
0.785 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in r
0.785 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in r
0.785 * [taylor]: Taking taylor expansion of (/ 1 a) in r
0.785 * [taylor]: Taking taylor expansion of a in r
0.786 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in r
0.786 * [taylor]: Taking taylor expansion of (/ 1 b) in r
0.786 * [taylor]: Taking taylor expansion of b in r
0.786 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in r
0.786 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in r
0.786 * [taylor]: Taking taylor expansion of (/ 1 a) in r
0.786 * [taylor]: Taking taylor expansion of a in r
0.786 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r
0.786 * [taylor]: Taking taylor expansion of (/ 1 b) in r
0.786 * [taylor]: Taking taylor expansion of b in r
0.788 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))))) in r
0.788 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r
0.788 * [taylor]: Taking taylor expansion of (/ 1 b) in r
0.788 * [taylor]: Taking taylor expansion of b in r
0.788 * [taylor]: Taking taylor expansion of (* r (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in r
0.788 * [taylor]: Taking taylor expansion of r in r
0.788 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in r
0.788 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in r
0.788 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in r
0.788 * [taylor]: Taking taylor expansion of (/ 1 a) in r
0.788 * [taylor]: Taking taylor expansion of a in r
0.788 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in r
0.788 * [taylor]: Taking taylor expansion of (/ 1 b) in r
0.788 * [taylor]: Taking taylor expansion of b in r
0.788 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in r
0.788 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in r
0.788 * [taylor]: Taking taylor expansion of (/ 1 a) in r
0.788 * [taylor]: Taking taylor expansion of a in r
0.788 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in r
0.788 * [taylor]: Taking taylor expansion of (/ 1 b) in r
0.788 * [taylor]: Taking taylor expansion of b in r
0.790 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in b
0.790 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b
0.790 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.790 * [taylor]: Taking taylor expansion of b in b
0.790 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in b
0.790 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in b
0.790 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in b
0.791 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.791 * [taylor]: Taking taylor expansion of a in b
0.791 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in b
0.791 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.791 * [taylor]: Taking taylor expansion of b in b
0.791 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in b
0.791 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in b
0.791 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.791 * [taylor]: Taking taylor expansion of a in b
0.791 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in b
0.791 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.791 * [taylor]: Taking taylor expansion of b in b
0.791 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 b)) (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b))))) in a
0.791 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a
0.792 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.792 * [taylor]: Taking taylor expansion of b in a
0.792 * [taylor]: Taking taylor expansion of (- (* (cos (/ 1 a)) (cos (/ 1 b))) (* (sin (/ 1 a)) (sin (/ 1 b)))) in a
0.792 * [taylor]: Taking taylor expansion of (* (cos (/ 1 a)) (cos (/ 1 b))) in a
0.792 * [taylor]: Taking taylor expansion of (cos (/ 1 a)) in a
0.792 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.792 * [taylor]: Taking taylor expansion of a in a
0.792 * [taylor]: Taking taylor expansion of (cos (/ 1 b)) in a
0.792 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.792 * [taylor]: Taking taylor expansion of b in a
0.792 * [taylor]: Taking taylor expansion of (* (sin (/ 1 a)) (sin (/ 1 b))) in a
0.792 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a
0.792 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.792 * [taylor]: Taking taylor expansion of a in a
0.792 * [taylor]: Taking taylor expansion of (sin (/ 1 b)) in a
0.792 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.792 * [taylor]: Taking taylor expansion of b in a
0.795 * [taylor]: Taking taylor expansion of 0 in b
0.795 * [taylor]: Taking taylor expansion of 0 in a
0.796 * [taylor]: Taking taylor expansion of 0 in a
0.799 * [taylor]: Taking taylor expansion of 0 in b
0.799 * [taylor]: Taking taylor expansion of 0 in a
0.799 * [taylor]: Taking taylor expansion of 0 in a
0.801 * [taylor]: Taking taylor expansion of 0 in a
0.802 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r))) in (r b a) around 0
0.802 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r))) in a
0.802 * [taylor]: Taking taylor expansion of -1 in a
0.802 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r)) in a
0.802 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a
0.802 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.802 * [taylor]: Taking taylor expansion of -1 in a
0.802 * [taylor]: Taking taylor expansion of b in a
0.802 * [taylor]: Taking taylor expansion of (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r) in a
0.802 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in a
0.802 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in a
0.802 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in a
0.802 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.802 * [taylor]: Taking taylor expansion of -1 in a
0.802 * [taylor]: Taking taylor expansion of a in a
0.802 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in a
0.802 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.802 * [taylor]: Taking taylor expansion of -1 in a
0.802 * [taylor]: Taking taylor expansion of b in a
0.802 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in a
0.802 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a
0.802 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.802 * [taylor]: Taking taylor expansion of -1 in a
0.802 * [taylor]: Taking taylor expansion of a in a
0.802 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a
0.802 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.802 * [taylor]: Taking taylor expansion of -1 in a
0.802 * [taylor]: Taking taylor expansion of b in a
0.802 * [taylor]: Taking taylor expansion of r in a
0.803 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r))) in b
0.803 * [taylor]: Taking taylor expansion of -1 in b
0.803 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r)) in b
0.803 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b
0.803 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.803 * [taylor]: Taking taylor expansion of -1 in b
0.803 * [taylor]: Taking taylor expansion of b in b
0.803 * [taylor]: Taking taylor expansion of (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r) in b
0.803 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in b
0.803 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in b
0.803 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in b
0.803 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.803 * [taylor]: Taking taylor expansion of -1 in b
0.803 * [taylor]: Taking taylor expansion of a in b
0.803 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in b
0.803 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.804 * [taylor]: Taking taylor expansion of -1 in b
0.804 * [taylor]: Taking taylor expansion of b in b
0.804 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in b
0.804 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in b
0.804 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.804 * [taylor]: Taking taylor expansion of -1 in b
0.804 * [taylor]: Taking taylor expansion of a in b
0.804 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b
0.804 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.804 * [taylor]: Taking taylor expansion of -1 in b
0.804 * [taylor]: Taking taylor expansion of b in b
0.804 * [taylor]: Taking taylor expansion of r in b
0.805 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r))) in r
0.805 * [taylor]: Taking taylor expansion of -1 in r
0.805 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r)) in r
0.805 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r
0.805 * [taylor]: Taking taylor expansion of (/ -1 b) in r
0.805 * [taylor]: Taking taylor expansion of -1 in r
0.805 * [taylor]: Taking taylor expansion of b in r
0.805 * [taylor]: Taking taylor expansion of (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r) in r
0.805 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in r
0.805 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in r
0.805 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in r
0.805 * [taylor]: Taking taylor expansion of (/ -1 a) in r
0.805 * [taylor]: Taking taylor expansion of -1 in r
0.805 * [taylor]: Taking taylor expansion of a in r
0.805 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in r
0.805 * [taylor]: Taking taylor expansion of (/ -1 b) in r
0.805 * [taylor]: Taking taylor expansion of -1 in r
0.805 * [taylor]: Taking taylor expansion of b in r
0.805 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in r
0.805 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in r
0.805 * [taylor]: Taking taylor expansion of (/ -1 a) in r
0.805 * [taylor]: Taking taylor expansion of -1 in r
0.805 * [taylor]: Taking taylor expansion of a in r
0.805 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r
0.805 * [taylor]: Taking taylor expansion of (/ -1 b) in r
0.805 * [taylor]: Taking taylor expansion of -1 in r
0.805 * [taylor]: Taking taylor expansion of b in r
0.805 * [taylor]: Taking taylor expansion of r in r
0.807 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r))) in r
0.807 * [taylor]: Taking taylor expansion of -1 in r
0.807 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r)) in r
0.807 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r
0.807 * [taylor]: Taking taylor expansion of (/ -1 b) in r
0.807 * [taylor]: Taking taylor expansion of -1 in r
0.807 * [taylor]: Taking taylor expansion of b in r
0.807 * [taylor]: Taking taylor expansion of (* (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) r) in r
0.807 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in r
0.807 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in r
0.807 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in r
0.807 * [taylor]: Taking taylor expansion of (/ -1 a) in r
0.807 * [taylor]: Taking taylor expansion of -1 in r
0.807 * [taylor]: Taking taylor expansion of a in r
0.808 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in r
0.808 * [taylor]: Taking taylor expansion of (/ -1 b) in r
0.808 * [taylor]: Taking taylor expansion of -1 in r
0.808 * [taylor]: Taking taylor expansion of b in r
0.808 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in r
0.808 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in r
0.808 * [taylor]: Taking taylor expansion of (/ -1 a) in r
0.808 * [taylor]: Taking taylor expansion of -1 in r
0.808 * [taylor]: Taking taylor expansion of a in r
0.808 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in r
0.808 * [taylor]: Taking taylor expansion of (/ -1 b) in r
0.808 * [taylor]: Taking taylor expansion of -1 in r
0.808 * [taylor]: Taking taylor expansion of b in r
0.808 * [taylor]: Taking taylor expansion of r in r
0.810 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))))) in b
0.810 * [taylor]: Taking taylor expansion of -1 in b
0.810 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b))))) in b
0.810 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b
0.810 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.810 * [taylor]: Taking taylor expansion of -1 in b
0.810 * [taylor]: Taking taylor expansion of b in b
0.810 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in b
0.810 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in b
0.810 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in b
0.810 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.810 * [taylor]: Taking taylor expansion of -1 in b
0.810 * [taylor]: Taking taylor expansion of a in b
0.810 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in b
0.810 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.810 * [taylor]: Taking taylor expansion of -1 in b
0.810 * [taylor]: Taking taylor expansion of b in b
0.811 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in b
0.811 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in b
0.811 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.811 * [taylor]: Taking taylor expansion of -1 in b
0.811 * [taylor]: Taking taylor expansion of a in b
0.811 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in b
0.811 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.811 * [taylor]: Taking taylor expansion of -1 in b
0.811 * [taylor]: Taking taylor expansion of b in b
0.811 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 b)) (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))))) in a
0.811 * [taylor]: Taking taylor expansion of -1 in a
0.811 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 b)) (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b))))) in a
0.812 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a
0.812 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.812 * [taylor]: Taking taylor expansion of -1 in a
0.812 * [taylor]: Taking taylor expansion of b in a
0.812 * [taylor]: Taking taylor expansion of (- (* (cos (/ -1 a)) (cos (/ -1 b))) (* (sin (/ -1 a)) (sin (/ -1 b)))) in a
0.812 * [taylor]: Taking taylor expansion of (* (cos (/ -1 a)) (cos (/ -1 b))) in a
0.812 * [taylor]: Taking taylor expansion of (cos (/ -1 a)) in a
0.812 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.812 * [taylor]: Taking taylor expansion of -1 in a
0.812 * [taylor]: Taking taylor expansion of a in a
0.812 * [taylor]: Taking taylor expansion of (cos (/ -1 b)) in a
0.812 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.812 * [taylor]: Taking taylor expansion of -1 in a
0.812 * [taylor]: Taking taylor expansion of b in a
0.812 * [taylor]: Taking taylor expansion of (* (sin (/ -1 a)) (sin (/ -1 b))) in a
0.812 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a
0.812 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.812 * [taylor]: Taking taylor expansion of -1 in a
0.812 * [taylor]: Taking taylor expansion of a in a
0.812 * [taylor]: Taking taylor expansion of (sin (/ -1 b)) in a
0.812 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.812 * [taylor]: Taking taylor expansion of -1 in a
0.812 * [taylor]: Taking taylor expansion of b in a
0.815 * [taylor]: Taking taylor expansion of 0 in b
0.815 * [taylor]: Taking taylor expansion of 0 in a
0.816 * [taylor]: Taking taylor expansion of 0 in a
0.821 * [taylor]: Taking taylor expansion of 0 in b
0.821 * [taylor]: Taking taylor expansion of 0 in a
0.821 * [taylor]: Taking taylor expansion of 0 in a
0.822 * [taylor]: Taking taylor expansion of 0 in a
0.823 * * * [progress]: simplifying candidates
0.824 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (* (cbrt (exp (* (sin a) (sin b)))) (cbrt (exp (* (sin a) (sin b))))))
  (log (cbrt (exp (* (sin a) (sin b)))))
  (log (sqrt (exp (* (sin a) (sin b)))))
  (log (sqrt (exp (* (sin a) (sin b)))))
  (log 1)
  (log (exp (* (sin a) (sin b))))
  (log (exp (sin a)))
  (log (exp (* (sin a) (sin b))))
  (log (exp (sin a)))
  (log (log (exp (* (sin a) (sin b)))))
  (exp (log (exp (* (sin a) (sin b)))))
  (* (cbrt (log (exp (* (sin a) (sin b))))) (cbrt (log (exp (* (sin a) (sin b))))))
  (cbrt (log (exp (* (sin a) (sin b)))))
  (* (* (log (exp (* (sin a) (sin b)))) (log (exp (* (sin a) (sin b))))) (log (exp (* (sin a) (sin b)))))
  (sqrt (log (exp (* (sin a) (sin b)))))
  (sqrt (log (exp (* (sin a) (sin b)))))
  (- (log (sin b)) (log (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (log (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (exp (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (/ (* (* (sin b) (sin b)) (sin b)) (* (* (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (* (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))) (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (* (* (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))) (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))) (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (sqrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (sqrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (neg (sin b))
  (neg (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))
  (/ (* (cbrt (sin b)) (cbrt (sin b))) (* (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))) (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (/ (cbrt (sin b)) (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (/ (* (cbrt (sin b)) (cbrt (sin b))) (sqrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (/ (cbrt (sin b)) (sqrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (/ (* (cbrt (sin b)) (cbrt (sin b))) 1)
  (/ (cbrt (sin b)) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))
  (/ (sqrt (sin b)) (* (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))) (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (/ (sqrt (sin b)) (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (/ (sqrt (sin b)) (sqrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (/ (sqrt (sin b)) (sqrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (/ (sqrt (sin b)) 1)
  (/ (sqrt (sin b)) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))
  (/ 1 (* (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))) (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (/ (sin b) (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (/ 1 (sqrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (/ (sin b) (sqrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (/ 1 1)
  (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))
  (/ 1 (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))
  (/ (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))) (sin b))
  (/ (sin b) (* (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))) (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (/ (sin b) (sqrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (/ (sin b) 1)
  (/ (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))) (cbrt (sin b)))
  (/ (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))) (sqrt (sin b)))
  (/ (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))) (sin b))
  (/ (sin b) (- (pow (* (cos a) (cos b)) 3) (pow (log (exp (* (sin a) (sin b)))) 3)))
  (/ (sin b) (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (log (exp (* (sin a) (sin b)))) (log (exp (* (sin a) (sin b)))))))
  (- (cos (- a b)) (cos (+ a b)))
  (* (sin a) (sin b))
  (+ (log (sin a)) (log (sin b)))
  (log (* (sin a) (sin b)))
  (exp (* (sin a) (sin b)))
  (* (* (* (sin a) (sin a)) (sin a)) (* (* (sin b) (sin b)) (sin b)))
  (* (cbrt (* (sin a) (sin b))) (cbrt (* (sin a) (sin b))))
  (cbrt (* (sin a) (sin b)))
  (* (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (sin a) (sin b)))
  (sqrt (* (sin a) (sin b)))
  (sqrt (* (sin a) (sin b)))
  (* (sqrt (sin a)) (sqrt (sin b)))
  (* (sqrt (sin a)) (sqrt (sin b)))
  (* (sin a) (* (cbrt (sin b)) (cbrt (sin b))))
  (* (sin a) (sqrt (sin b)))
  (* (sin a) 1)
  (* (cbrt (sin a)) (sin b))
  (* (sqrt (sin a)) (sin b))
  (* (sin a) (sin b))
  (* r (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (+ (log r) (- (log (sin b)) (log (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (+ (log r) (log (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (log (* r (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (exp (* r (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (* (* (* r r) r) (/ (* (* (sin b) (sin b)) (sin b)) (* (* (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (* (* (* r r) r) (* (* (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))) (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))) (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (* (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))) (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))))
  (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (* (* (* r (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))) (* r (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))) (* r (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (sqrt (* r (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (sqrt (* r (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (* (sqrt r) (sqrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (* (sqrt r) (sqrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (* (sqrt r) (/ (sqrt (sin b)) (sqrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (* (sqrt r) (/ (sqrt (sin b)) (sqrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (* r (* (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))) (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))))
  (* r (sqrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (* r (/ (* (cbrt (sin b)) (cbrt (sin b))) (* (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))) (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))))
  (* r (/ (* (cbrt (sin b)) (cbrt (sin b))) (sqrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (* r (/ (* (cbrt (sin b)) (cbrt (sin b))) 1))
  (* r (/ (sqrt (sin b)) (* (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))) (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))))
  (* r (/ (sqrt (sin b)) (sqrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (* r (/ (sqrt (sin b)) 1))
  (* r (/ 1 (* (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))) (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))))
  (* r (/ 1 (sqrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (* r (/ 1 1))
  (* r 1)
  (* r (sin b))
  (* r (/ (sin b) (- (pow (* (cos a) (cos b)) 3) (pow (log (exp (* (sin a) (sin b)))) 3))))
  (* r (/ (sin b) (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (log (exp (* (sin a) (sin b)))) (log (exp (* (sin a) (sin b))))))))
  (* (cbrt r) (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (* (sqrt r) (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (* r (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (* r (sin b))
  (* a b)
  (* (sin b) (sin a))
  (* (sin b) (sin a))
  (+ (* a (pow b 2)) (+ (* 1/3 (pow b 3)) b))
  (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b))))
  (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b))))
  (* a b)
  (* (sin b) (sin a))
  (* (sin b) (sin a))
  (+ (* a (* r (pow b 2))) (+ (* r b) (* 1/3 (* r (pow b 3)))))
  (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b))))
  (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b))))
0.830 * * [simplify]: iteration  0 :  360  enodes  (cost  1301 )
0.837 * * [simplify]: iteration  1 :  1546  enodes  (cost  1128 )
0.867 * * [simplify]: iteration  2 :  5001  enodes  (cost  1121 )
0.872 * [simplify]: Simplified to:
   (* 2 (log (cbrt (exp (* (sin a) (sin b))))))
  (log (cbrt (exp (* (sin a) (sin b)))))
  (log (sqrt (exp (* (sin a) (sin b)))))
  (log (sqrt (exp (* (sin a) (sin b)))))
  0
  (* (sin a) (sin b))
  (sin a)
  (* (sin a) (sin b))
  (sin a)
  (log (* (sin a) (sin b)))
  (exp (* (sin a) (sin b)))
  (* (cbrt (* (sin a) (sin b))) (cbrt (* (sin a) (sin b))))
  (cbrt (* (sin a) (sin b)))
  (pow (* (sin a) (sin b)) 3)
  (sqrt (* (sin a) (sin b)))
  (sqrt (* (sin a) (sin b)))
  (log (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))))
  (log (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))))
  (exp (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))))
  (pow (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) 3)
  (* (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))) (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (pow (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) 3)
  (sqrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (sqrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (neg (sin b))
  (+ (neg (* (cos a) (cos b))) (* (sin a) (sin b)))
  (/ (* (cbrt (sin b)) (cbrt (sin b))) (* (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))) (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (/ (cbrt (sin b)) (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (/ (* (cbrt (sin b)) (cbrt (sin b))) (sqrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (/ (cbrt (sin b)) (sqrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (* (cbrt (sin b)) (cbrt (sin b)))
  (/ (cbrt (sin b)) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))
  (/ (sqrt (sin b)) (* (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))) (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (/ (sqrt (sin b)) (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (/ (sqrt (sin b)) (sqrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (/ (sqrt (sin b)) (sqrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (sqrt (sin b))
  (/ (sqrt (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b))))
  (/ 1 (* (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))) (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (/ (sin b) (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (/ 1 (sqrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (/ (sin b) (sqrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  1
  (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b))))
  (/ 1 (- (* (cos b) (cos a)) (* (sin a) (sin b))))
  (/ (- (* (cos b) (cos a)) (* (sin a) (sin b))) (sin b))
  (/ (sin b) (* (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))) (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (/ (sin b) (sqrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  (sin b)
  (/ (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))) (cbrt (sin b)))
  (/ (- (* (cos b) (cos a)) (* (sin a) (sin b))) (sqrt (sin b)))
  (/ (- (* (cos b) (cos a)) (* (sin a) (sin b))) (sin b))
  (/ (sin b) (- (pow (* (cos a) (cos b)) 3) (pow (log (exp (* (sin a) (sin b)))) 3)))
  (/ (/ (sin b) (+ (* (cos a) (cos b)) (* (sin a) (sin b)))) (- (* (cos b) (cos a)) (* (sin a) (sin b))))
  (- (cos (- a b)) (cos (+ a b)))
  (* (sin a) (sin b))
  (log (* (sin a) (sin b)))
  (log (* (sin a) (sin b)))
  (exp (* (sin a) (sin b)))
  (pow (* (sin a) (sin b)) 3)
  (* (cbrt (* (sin a) (sin b))) (cbrt (* (sin a) (sin b))))
  (cbrt (* (sin a) (sin b)))
  (pow (* (sin a) (sin b)) 3)
  (sqrt (* (sin a) (sin b)))
  (sqrt (* (sin a) (sin b)))
  (* (sqrt (sin a)) (sqrt (sin b)))
  (* (sqrt (sin a)) (sqrt (sin b)))
  (* (sin a) (* (cbrt (sin b)) (cbrt (sin b))))
  (* (sin a) (sqrt (sin b)))
  (sin a)
  (* (cbrt (sin a)) (sin b))
  (* (sqrt (sin a)) (sin b))
  (* (sin a) (sin b))
  (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b))))
  (+ (log r) (log (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b))))))
  (+ (log r) (log (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b))))))
  (+ (log r) (log (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b))))))
  (pow (exp r) (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b)))))
  (pow (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) 3)
  (pow (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) 3)
  (* (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))) (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))))
  (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (pow (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b)))) 3)
  (sqrt (* r (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (sqrt (* r (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (* (sqrt r) (sqrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (* (sqrt r) (sqrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (* (sqrt r) (/ (sqrt (sin b)) (sqrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (* (sqrt r) (/ (sqrt (sin b)) (sqrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (* r (* (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))) (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))))
  (* r (sqrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (* r (/ (* (cbrt (sin b)) (cbrt (sin b))) (* (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))) (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))))
  (* r (/ (* (cbrt (sin b)) (cbrt (sin b))) (sqrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (* (* (cbrt (sin b)) (cbrt (sin b))) r)
  (* r (/ (sqrt (sin b)) (* (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))) (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))))
  (* r (/ (sqrt (sin b)) (sqrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (* (sqrt (sin b)) r)
  (/ r (* (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))) (cbrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))
  (/ r (sqrt (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
  r
  r
  (* r (sin b))
  (* r (/ (sin b) (- (pow (* (cos a) (cos b)) 3) (pow (log (exp (* (sin a) (sin b)))) 3))))
  (* (/ (sin b) (+ (* (cos a) (cos b)) (* (sin a) (sin b)))) (/ r (- (* (cos b) (cos a)) (* (sin a) (sin b)))))
  (/ (* (cbrt r) (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b))))
  (/ (* (sqrt r) (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b))))
  (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b))))
  (* r (sin b))
  (* a b)
  (* (sin a) (sin b))
  (* (sin a) (sin b))
  (+ (* (pow b 2) (+ (* b 1/3) a)) b)
  (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b))))
  (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b))))
  (* a b)
  (* (sin a) (sin b))
  (* (sin a) (sin b))
  (+ (* r b) (* r (* (pow b 2) (+ (* b 1/3) a))))
  (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b))))
  (/ (* r (sin b)) (- (* (cos b) (cos a)) (* (sin a) (sin b))))
0.872 * * * [progress]: adding candidates to table
0.973 * * [progress]: iteration 4 / 4
0.973 * * * [progress]: picking best candidate
1.023 * * * * [pick]: Picked  #<alt (λ (r a b) (* r (/ (sin b) (- (* (cos a) (cos b)) (* (* (cbrt (sin a)) (cbrt (sin a))) (* (cbrt (sin a)) (sin b)))))))>
1.023 * * * [progress]: localizing error
1.042 * * * [progress]: generating rewritten candidates
1.042 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1)
1.044 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2)
1.046 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 1)
1.047 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1)
1.055 * * * [progress]: generating series expansions
1.055 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1)
1.055 * [approximate]: Taking taylor expansion of (pow (sin a) 1/3) in (a) around 0
1.055 * [taylor]: Taking taylor expansion of (pow (sin a) 1/3) in a
1.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin a)))) in a
1.055 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin a))) in a
1.055 * [taylor]: Taking taylor expansion of 1/3 in a
1.055 * [taylor]: Taking taylor expansion of (log (sin a)) in a
1.055 * [taylor]: Taking taylor expansion of (sin a) in a
1.055 * [taylor]: Taking taylor expansion of a in a
1.055 * [taylor]: Taking taylor expansion of (pow (sin a) 1/3) in a
1.056 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin a)))) in a
1.056 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin a))) in a
1.056 * [taylor]: Taking taylor expansion of 1/3 in a
1.056 * [taylor]: Taking taylor expansion of (log (sin a)) in a
1.056 * [taylor]: Taking taylor expansion of (sin a) in a
1.056 * [taylor]: Taking taylor expansion of a in a
1.059 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 a)) 1/3) in (a) around 0
1.059 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 a)) 1/3) in a
1.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 a))))) in a
1.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 a)))) in a
1.059 * [taylor]: Taking taylor expansion of 1/3 in a
1.059 * [taylor]: Taking taylor expansion of (log (sin (/ 1 a))) in a
1.059 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a
1.059 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.059 * [taylor]: Taking taylor expansion of a in a
1.060 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 a)) 1/3) in a
1.060 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 a))))) in a
1.060 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 a)))) in a
1.060 * [taylor]: Taking taylor expansion of 1/3 in a
1.060 * [taylor]: Taking taylor expansion of (log (sin (/ 1 a))) in a
1.060 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a
1.060 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.060 * [taylor]: Taking taylor expansion of a in a
1.066 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 a)) 1/3) in (a) around 0
1.066 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 a)) 1/3) in a
1.066 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 a))))) in a
1.066 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 a)))) in a
1.066 * [taylor]: Taking taylor expansion of 1/3 in a
1.066 * [taylor]: Taking taylor expansion of (log (sin (/ -1 a))) in a
1.066 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a
1.066 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.066 * [taylor]: Taking taylor expansion of -1 in a
1.066 * [taylor]: Taking taylor expansion of a in a
1.067 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 a)) 1/3) in a
1.067 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 a))))) in a
1.067 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 a)))) in a
1.067 * [taylor]: Taking taylor expansion of 1/3 in a
1.067 * [taylor]: Taking taylor expansion of (log (sin (/ -1 a))) in a
1.067 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a
1.067 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.067 * [taylor]: Taking taylor expansion of -1 in a
1.067 * [taylor]: Taking taylor expansion of a in a
1.073 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2)
1.073 * [approximate]: Taking taylor expansion of (pow (sin a) 1/3) in (a) around 0
1.073 * [taylor]: Taking taylor expansion of (pow (sin a) 1/3) in a
1.073 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin a)))) in a
1.073 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin a))) in a
1.073 * [taylor]: Taking taylor expansion of 1/3 in a
1.074 * [taylor]: Taking taylor expansion of (log (sin a)) in a
1.074 * [taylor]: Taking taylor expansion of (sin a) in a
1.074 * [taylor]: Taking taylor expansion of a in a
1.074 * [taylor]: Taking taylor expansion of (pow (sin a) 1/3) in a
1.074 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin a)))) in a
1.074 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin a))) in a
1.074 * [taylor]: Taking taylor expansion of 1/3 in a
1.074 * [taylor]: Taking taylor expansion of (log (sin a)) in a
1.074 * [taylor]: Taking taylor expansion of (sin a) in a
1.074 * [taylor]: Taking taylor expansion of a in a
1.077 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 a)) 1/3) in (a) around 0
1.077 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 a)) 1/3) in a
1.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 a))))) in a
1.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 a)))) in a
1.078 * [taylor]: Taking taylor expansion of 1/3 in a
1.078 * [taylor]: Taking taylor expansion of (log (sin (/ 1 a))) in a
1.078 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a
1.078 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.078 * [taylor]: Taking taylor expansion of a in a
1.078 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 a)) 1/3) in a
1.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 a))))) in a
1.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 a)))) in a
1.078 * [taylor]: Taking taylor expansion of 1/3 in a
1.078 * [taylor]: Taking taylor expansion of (log (sin (/ 1 a))) in a
1.078 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a
1.078 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.078 * [taylor]: Taking taylor expansion of a in a
1.084 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 a)) 1/3) in (a) around 0
1.084 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 a)) 1/3) in a
1.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 a))))) in a
1.084 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 a)))) in a
1.084 * [taylor]: Taking taylor expansion of 1/3 in a
1.084 * [taylor]: Taking taylor expansion of (log (sin (/ -1 a))) in a
1.084 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a
1.084 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.084 * [taylor]: Taking taylor expansion of -1 in a
1.085 * [taylor]: Taking taylor expansion of a in a
1.085 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 a)) 1/3) in a
1.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 a))))) in a
1.085 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 a)))) in a
1.085 * [taylor]: Taking taylor expansion of 1/3 in a
1.085 * [taylor]: Taking taylor expansion of (log (sin (/ -1 a))) in a
1.085 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a
1.085 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.085 * [taylor]: Taking taylor expansion of -1 in a
1.085 * [taylor]: Taking taylor expansion of a in a
1.094 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 1)
1.094 * [approximate]: Taking taylor expansion of (pow (sin a) 1/3) in (a) around 0
1.094 * [taylor]: Taking taylor expansion of (pow (sin a) 1/3) in a
1.094 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin a)))) in a
1.094 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin a))) in a
1.094 * [taylor]: Taking taylor expansion of 1/3 in a
1.094 * [taylor]: Taking taylor expansion of (log (sin a)) in a
1.094 * [taylor]: Taking taylor expansion of (sin a) in a
1.094 * [taylor]: Taking taylor expansion of a in a
1.094 * [taylor]: Taking taylor expansion of (pow (sin a) 1/3) in a
1.094 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin a)))) in a
1.094 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin a))) in a
1.094 * [taylor]: Taking taylor expansion of 1/3 in a
1.094 * [taylor]: Taking taylor expansion of (log (sin a)) in a
1.094 * [taylor]: Taking taylor expansion of (sin a) in a
1.094 * [taylor]: Taking taylor expansion of a in a
1.098 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 a)) 1/3) in (a) around 0
1.098 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 a)) 1/3) in a
1.098 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 a))))) in a
1.098 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 a)))) in a
1.098 * [taylor]: Taking taylor expansion of 1/3 in a
1.098 * [taylor]: Taking taylor expansion of (log (sin (/ 1 a))) in a
1.098 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a
1.098 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.098 * [taylor]: Taking taylor expansion of a in a
1.098 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 a)) 1/3) in a
1.098 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 a))))) in a
1.098 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 a)))) in a
1.098 * [taylor]: Taking taylor expansion of 1/3 in a
1.098 * [taylor]: Taking taylor expansion of (log (sin (/ 1 a))) in a
1.098 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a
1.098 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.098 * [taylor]: Taking taylor expansion of a in a
1.105 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 a)) 1/3) in (a) around 0
1.105 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 a)) 1/3) in a
1.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 a))))) in a
1.105 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 a)))) in a
1.105 * [taylor]: Taking taylor expansion of 1/3 in a
1.105 * [taylor]: Taking taylor expansion of (log (sin (/ -1 a))) in a
1.105 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a
1.105 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.105 * [taylor]: Taking taylor expansion of -1 in a
1.105 * [taylor]: Taking taylor expansion of a in a
1.105 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 a)) 1/3) in a
1.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 a))))) in a
1.105 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 a)))) in a
1.105 * [taylor]: Taking taylor expansion of 1/3 in a
1.105 * [taylor]: Taking taylor expansion of (log (sin (/ -1 a))) in a
1.105 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a
1.105 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.105 * [taylor]: Taking taylor expansion of -1 in a
1.105 * [taylor]: Taking taylor expansion of a in a
1.112 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1)
1.112 * [approximate]: Taking taylor expansion of (pow (pow (sin a) 2) 1/3) in (a) around 0
1.112 * [taylor]: Taking taylor expansion of (pow (pow (sin a) 2) 1/3) in a
1.112 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin a) 2)))) in a
1.112 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin a) 2))) in a
1.112 * [taylor]: Taking taylor expansion of 1/3 in a
1.112 * [taylor]: Taking taylor expansion of (log (pow (sin a) 2)) in a
1.112 * [taylor]: Taking taylor expansion of (pow (sin a) 2) in a
1.112 * [taylor]: Taking taylor expansion of (sin a) in a
1.112 * [taylor]: Taking taylor expansion of a in a
1.112 * [taylor]: Taking taylor expansion of (pow (pow (sin a) 2) 1/3) in a
1.112 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin a) 2)))) in a
1.112 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin a) 2))) in a
1.112 * [taylor]: Taking taylor expansion of 1/3 in a
1.112 * [taylor]: Taking taylor expansion of (log (pow (sin a) 2)) in a
1.112 * [taylor]: Taking taylor expansion of (pow (sin a) 2) in a
1.112 * [taylor]: Taking taylor expansion of (sin a) in a
1.112 * [taylor]: Taking taylor expansion of a in a
1.116 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 a)) 2) 1/3) in (a) around 0
1.116 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 a)) 2) 1/3) in a
1.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 a)) 2)))) in a
1.116 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 a)) 2))) in a
1.117 * [taylor]: Taking taylor expansion of 1/3 in a
1.117 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 a)) 2)) in a
1.117 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 a)) 2) in a
1.117 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a
1.117 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.117 * [taylor]: Taking taylor expansion of a in a
1.117 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 a)) 2) 1/3) in a
1.117 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 a)) 2)))) in a
1.117 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 a)) 2))) in a
1.117 * [taylor]: Taking taylor expansion of 1/3 in a
1.117 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 a)) 2)) in a
1.117 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 a)) 2) in a
1.117 * [taylor]: Taking taylor expansion of (sin (/ 1 a)) in a
1.117 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.117 * [taylor]: Taking taylor expansion of a in a
1.125 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 a)) 2) 1/3) in (a) around 0
1.126 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 a)) 2) 1/3) in a
1.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 a)) 2)))) in a
1.126 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 a)) 2))) in a
1.126 * [taylor]: Taking taylor expansion of 1/3 in a
1.126 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 a)) 2)) in a
1.126 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 a)) 2) in a
1.126 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a
1.126 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.126 * [taylor]: Taking taylor expansion of -1 in a
1.126 * [taylor]: Taking taylor expansion of a in a
1.126 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 a)) 2) 1/3) in a
1.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 a)) 2)))) in a
1.126 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 a)) 2))) in a
1.126 * [taylor]: Taking taylor expansion of 1/3 in a
1.126 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 a)) 2)) in a
1.126 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 a)) 2) in a
1.126 * [taylor]: Taking taylor expansion of (sin (/ -1 a)) in a
1.126 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.126 * [taylor]: Taking taylor expansion of -1 in a
1.126 * [taylor]: Taking taylor expansion of a in a
1.134 * * * [progress]: simplifying candidates
1.135 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (sin a)))
  (exp (cbrt (sin a)))
  (cbrt (* (cbrt (sin a)) (cbrt (sin a))))
  (cbrt (cbrt (sin a)))
  (cbrt (sqrt (sin a)))
  (cbrt (sqrt (sin a)))
  (cbrt 1)
  (cbrt (sin a))
  (* (cbrt (cbrt (sin a))) (cbrt (cbrt (sin a))))
  (cbrt (cbrt (sin a)))
  (* (* (cbrt (sin a)) (cbrt (sin a))) (cbrt (sin a)))
  (sqrt (cbrt (sin a)))
  (sqrt (cbrt (sin a)))
  (log (cbrt (sin a)))
  (exp (cbrt (sin a)))
  (cbrt (* (cbrt (sin a)) (cbrt (sin a))))
  (cbrt (cbrt (sin a)))
  (cbrt (sqrt (sin a)))
  (cbrt (sqrt (sin a)))
  (cbrt 1)
  (cbrt (sin a))
  (* (cbrt (cbrt (sin a))) (cbrt (cbrt (sin a))))
  (cbrt (cbrt (sin a)))
  (* (* (cbrt (sin a)) (cbrt (sin a))) (cbrt (sin a)))
  (sqrt (cbrt (sin a)))
  (sqrt (cbrt (sin a)))
  (log (cbrt (sin a)))
  (exp (cbrt (sin a)))
  (cbrt (* (cbrt (sin a)) (cbrt (sin a))))
  (cbrt (cbrt (sin a)))
  (cbrt (sqrt (sin a)))
  (cbrt (sqrt (sin a)))
  (cbrt 1)
  (cbrt (sin a))
  (* (cbrt (cbrt (sin a))) (cbrt (cbrt (sin a))))
  (cbrt (cbrt (sin a)))
  (* (* (cbrt (sin a)) (cbrt (sin a))) (cbrt (sin a)))
  (sqrt (cbrt (sin a)))
  (sqrt (cbrt (sin a)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (sin a) (sin a))
  (* (cbrt (sin a)) (cbrt (sin a)))
  (+ 1 1)
  (+ (log (cbrt (sin a))) (log (cbrt (sin a))))
  (log (* (cbrt (sin a)) (cbrt (sin a))))
  (exp (* (cbrt (sin a)) (cbrt (sin a))))
  (* (sin a) (sin a))
  (* (cbrt (* (cbrt (sin a)) (cbrt (sin a)))) (cbrt (* (cbrt (sin a)) (cbrt (sin a)))))
  (cbrt (* (cbrt (sin a)) (cbrt (sin a))))
  (* (* (* (cbrt (sin a)) (cbrt (sin a))) (* (cbrt (sin a)) (cbrt (sin a)))) (* (cbrt (sin a)) (cbrt (sin a))))
  (sqrt (* (cbrt (sin a)) (cbrt (sin a))))
  (sqrt (* (cbrt (sin a)) (cbrt (sin a))))
  (* (cbrt (* (cbrt (sin a)) (cbrt (sin a)))) (cbrt (* (cbrt (sin a)) (cbrt (sin a)))))
  (* (cbrt (cbrt (sin a))) (cbrt (cbrt (sin a))))
  (* (cbrt (sqrt (sin a))) (cbrt (sqrt (sin a))))
  (* (cbrt (sqrt (sin a))) (cbrt (sqrt (sin a))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (sin a)) (cbrt (sin a)))
  (* (* (cbrt (cbrt (sin a))) (cbrt (cbrt (sin a)))) (* (cbrt (cbrt (sin a))) (cbrt (cbrt (sin a)))))
  (* (cbrt (cbrt (sin a))) (cbrt (cbrt (sin a))))
  (* (sqrt (cbrt (sin a))) (sqrt (cbrt (sin a))))
  (* (sqrt (cbrt (sin a))) (sqrt (cbrt (sin a))))
  (* 1 1)
  (* (cbrt (sin a)) (cbrt (sin a)))
  (* (cbrt (sqrt (sin a))) (cbrt (sqrt (sin a))))
  (* (cbrt (sqrt (sin a))) (cbrt (sqrt (sin a))))
  (* (cbrt (sqrt (sin a))) (sqrt (cbrt (sin a))))
  (* (cbrt (sqrt (sin a))) (sqrt (cbrt (sin a))))
  (* (sqrt (cbrt (sin a))) (cbrt (sqrt (sin a))))
  (* (sqrt (cbrt (sin a))) (cbrt (sqrt (sin a))))
  (* (sqrt (cbrt (sin a))) (sqrt (cbrt (sin a))))
  (* (sqrt (cbrt (sin a))) (sqrt (cbrt (sin a))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (sin a)) (cbrt (* (cbrt (sin a)) (cbrt (sin a)))))
  (* (cbrt (sin a)) (cbrt (sqrt (sin a))))
  (* (cbrt (sin a)) (cbrt 1))
  (* (cbrt (sin a)) (* (cbrt (cbrt (sin a))) (cbrt (cbrt (sin a)))))
  (* (cbrt (sin a)) (sqrt (cbrt (sin a))))
  (* (cbrt (sin a)) 1)
  (* (cbrt (cbrt (sin a))) (cbrt (sin a)))
  (* (cbrt (sqrt (sin a))) (cbrt (sin a)))
  (* (cbrt (sin a)) (cbrt (sin a)))
  (* (cbrt (cbrt (sin a))) (cbrt (sin a)))
  (* (sqrt (cbrt (sin a))) (cbrt (sin a)))
  (* (cbrt (sin a)) (cbrt (sin a)))
  (- (exp (* 1/3 (+ (log a) (log 1)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log a) (log 1)))) (pow a 2))) (* 1/3240 (* (exp (* 1/3 (+ (log a) (log 1)))) (pow a 4)))))
  (pow (sin a) 1/3)
  (pow (sin a) 1/3)
  (- (exp (* 1/3 (+ (log a) (log 1)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log a) (log 1)))) (pow a 2))) (* 1/3240 (* (exp (* 1/3 (+ (log a) (log 1)))) (pow a 4)))))
  (pow (sin a) 1/3)
  (pow (sin a) 1/3)
  (- (exp (* 1/3 (+ (log a) (log 1)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log a) (log 1)))) (pow a 2))) (* 1/3240 (* (exp (* 1/3 (+ (log a) (log 1)))) (pow a 4)))))
  (pow (sin a) 1/3)
  (pow (sin a) 1/3)
  (- (+ (exp (* 1/3 (+ (* 2 (log a)) (log 1)))) (* 1/405 (* (pow a 4) (exp (* 1/3 (+ (* 2 (log a)) (log 1))))))) (* 1/9 (* (pow a 2) (exp (* 1/3 (+ (* 2 (log a)) (log 1)))))))
  (pow (pow (sin a) 2) 1/3)
  (pow (pow (sin a) 2) 1/3)
1.139 * * [simplify]: iteration  0 :  161  enodes  (cost  512 )
1.143 * * [simplify]: iteration  1 :  600  enodes  (cost  453 )
1.160 * * [simplify]: iteration  2 :  3699  enodes  (cost  400 )
1.247 * * [simplify]: iteration  3 :  5002  enodes  (cost  394 )
1.249 * [simplify]: Simplified to:
   (log (cbrt (sin a)))
  (exp (cbrt (sin a)))
  (cbrt (* (cbrt (sin a)) (cbrt (sin a))))
  (cbrt (cbrt (sin a)))
  (cbrt (sqrt (sin a)))
  (cbrt (sqrt (sin a)))
  1
  (pow (sin a) 1/3)
  (* (cbrt (cbrt (sin a))) (cbrt (cbrt (sin a))))
  (cbrt (cbrt (sin a)))
  (sin a)
  (sqrt (cbrt (sin a)))
  (sqrt (cbrt (sin a)))
  (log (cbrt (sin a)))
  (exp (cbrt (sin a)))
  (cbrt (* (cbrt (sin a)) (cbrt (sin a))))
  (cbrt (cbrt (sin a)))
  (cbrt (sqrt (sin a)))
  (cbrt (sqrt (sin a)))
  1
  (pow (sin a) 1/3)
  (* (cbrt (cbrt (sin a))) (cbrt (cbrt (sin a))))
  (cbrt (cbrt (sin a)))
  (sin a)
  (sqrt (cbrt (sin a)))
  (sqrt (cbrt (sin a)))
  (log (cbrt (sin a)))
  (exp (cbrt (sin a)))
  (cbrt (* (cbrt (sin a)) (cbrt (sin a))))
  (cbrt (cbrt (sin a)))
  (cbrt (sqrt (sin a)))
  (cbrt (sqrt (sin a)))
  1
  (pow (sin a) 1/3)
  (* (cbrt (cbrt (sin a))) (cbrt (cbrt (sin a))))
  (cbrt (cbrt (sin a)))
  (sin a)
  (sqrt (cbrt (sin a)))
  (sqrt (cbrt (sin a)))
  2/3
  2
  (pow (sin a) 2)
  (pow (sin a) 2/3)
  2
  (* 2/3 (log (sin a)))
  (* 2/3 (log (sin a)))
  (pow (exp 1) (pow (sin a) 2/3))
  (pow (sin a) 2)
  (* (cbrt (* (cbrt (sin a)) (cbrt (sin a)))) (cbrt (* (cbrt (sin a)) (cbrt (sin a)))))
  (cbrt (* (cbrt (sin a)) (cbrt (sin a))))
  (pow (sin a) 2)
  (fabs (pow (sin a) 1/3))
  (fabs (pow (sin a) 1/3))
  (* (cbrt (* (cbrt (sin a)) (cbrt (sin a)))) (cbrt (* (cbrt (sin a)) (cbrt (sin a)))))
  (* (cbrt (cbrt (sin a))) (cbrt (cbrt (sin a))))
  (* (cbrt (sqrt (sin a))) (cbrt (sqrt (sin a))))
  (* (cbrt (sqrt (sin a))) (cbrt (sqrt (sin a))))
  1
  (pow (sin a) 2/3)
  (pow (cbrt (cbrt (sin a))) 4)
  (* (cbrt (cbrt (sin a))) (cbrt (cbrt (sin a))))
  (pow (sin a) 1/3)
  (pow (sin a) 1/3)
  1
  (pow (sin a) 2/3)
  (* (cbrt (sqrt (sin a))) (cbrt (sqrt (sin a))))
  (* (cbrt (sqrt (sin a))) (cbrt (sqrt (sin a))))
  (* (cbrt (sqrt (sin a))) (sqrt (cbrt (sin a))))
  (* (cbrt (sqrt (sin a))) (sqrt (cbrt (sin a))))
  (* (cbrt (sqrt (sin a))) (sqrt (cbrt (sin a))))
  (* (cbrt (sqrt (sin a))) (sqrt (cbrt (sin a))))
  (pow (sin a) 1/3)
  (pow (sin a) 1/3)
  2/3
  2
  (* (cbrt (sin a)) (cbrt (* (cbrt (sin a)) (cbrt (sin a)))))
  (* (cbrt (sin a)) (cbrt (sqrt (sin a))))
  (pow (sin a) 1/3)
  (pow (cbrt (cbrt (sin a))) 5)
  (pow (sqrt (cbrt (sin a))) 3)
  (pow (sin a) 1/3)
  (pow (cbrt (cbrt (sin a))) 4)
  (* (cbrt (sin a)) (cbrt (sqrt (sin a))))
  (pow (sin a) 2/3)
  (pow (cbrt (cbrt (sin a))) 4)
  (pow (sqrt (cbrt (sin a))) 3)
  (pow (sin a) 2/3)
  (+ (+ (* (pow 1 1/3) (pow a 1/3)) (* (neg (* 1/3240 (pow a 4))) (* (pow 1 1/3) (pow a 1/3)))) (* (neg (* 1/18 (pow a 2))) (* (pow 1 1/3) (pow a 1/3))))
  (pow (sin a) 1/3)
  (pow (sin a) 1/3)
  (+ (+ (* (pow 1 1/3) (pow a 1/3)) (* (neg (* 1/3240 (pow a 4))) (* (pow 1 1/3) (pow a 1/3)))) (* (neg (* 1/18 (pow a 2))) (* (pow 1 1/3) (pow a 1/3))))
  (pow (sin a) 1/3)
  (pow (sin a) 1/3)
  (+ (+ (* (pow 1 1/3) (pow a 1/3)) (* (neg (* 1/3240 (pow a 4))) (* (pow 1 1/3) (pow a 1/3)))) (* (neg (* 1/18 (pow a 2))) (* (pow 1 1/3) (pow a 1/3))))
  (pow (sin a) 1/3)
  (pow (sin a) 1/3)
  (* (* (pow 1 1/3) (pow a 2/3)) (+ (+ (* 1/405 (pow a 4)) 1) (* -1/9 (pow a 2))))
  (pow (sin a) 2/3)
  (pow (sin a) 2/3)
1.250 * * * [progress]: adding candidates to table
1.332 * [progress]: [Phase 3 of 3] Extracting.
1.332 * * [regime]: Finding splitpoints for: (#<alt (λ (r a b) (* r (/ (/ (sin b) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))))> #<alt (λ (r a b) (* r (/ (sin b) (- (* (cos a) (cos b)) (* (* (cbrt (sin a)) (cbrt (sin a))) (* (cbrt (sin a)) (sin b)))))))> #<alt (λ (r a b) (* r (/ (sin b) (- (* (cos a) (cos b)) (* (* (cbrt (* (sin a) (sin b))) (cbrt (* (sin a) (sin b)))) (cbrt (* (sin a) (sin b))))))))> #<alt (λ (r a b) (* r (/ (sin b) (- (* (cos a) (cos b)) (* (* (sin a) (* (cbrt (sin b)) (cbrt (sin b)))) (cbrt (sin b)))))))> #<alt (λ (r a b) (* (* (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))) (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))))> #<alt (λ (r a b) (* (* (sqrt (sin b)) r) (/ (sqrt (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))> #<alt (λ (r a b) (* r (* (/ (* (cbrt (sin b)) (cbrt (sin b))) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (/ (cbrt (sin b)) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))))> #<alt (λ (r a b) (* (* r (sin b)) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))))> #<alt (λ (r a b) (* r (* (* (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))) (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))) (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))))> #<alt (λ (r a b) (* (* r (/ (sin b) (- (pow (* (cos a) (cos b)) 3) (pow (log (exp (* (sin a) (sin b)))) 3)))) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (log (exp (* (sin a) (sin b)))) (log (exp (* (sin a) (sin b))))) (* (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))))> #<alt (λ (r a b) (* (sqrt (* r (/ (sin b) (cos (+ a b))))) (sqrt (* r (/ (sin b) (cos (+ a b)))))))> #<alt (λ (r a b) (* (* r (/ (* (cbrt (sin b)) (cbrt (sin b))) (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b)))))) (/ (cbrt (sin b)) (cbrt (cos (+ a b))))))>)
1.338 * * * [regime-changes]: Trying 5 branch expressions: ((/ (sin b) (cos (+ a b))) (* r (/ (sin b) (cos (+ a b)))) b a r)
1.338 * * * * [regimes]: Trying to branch on (/ (sin b) (cos (+ a b))) from (#<alt (λ (r a b) (* r (/ (/ (sin b) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))))> #<alt (λ (r a b) (* r (/ (sin b) (- (* (cos a) (cos b)) (* (* (cbrt (sin a)) (cbrt (sin a))) (* (cbrt (sin a)) (sin b)))))))> #<alt (λ (r a b) (* r (/ (sin b) (- (* (cos a) (cos b)) (* (* (cbrt (* (sin a) (sin b))) (cbrt (* (sin a) (sin b)))) (cbrt (* (sin a) (sin b))))))))> #<alt (λ (r a b) (* r (/ (sin b) (- (* (cos a) (cos b)) (* (* (sin a) (* (cbrt (sin b)) (cbrt (sin b)))) (cbrt (sin b)))))))> #<alt (λ (r a b) (* (* (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))) (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))))> #<alt (λ (r a b) (* (* (sqrt (sin b)) r) (/ (sqrt (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))> #<alt (λ (r a b) (* r (* (/ (* (cbrt (sin b)) (cbrt (sin b))) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (/ (cbrt (sin b)) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))))> #<alt (λ (r a b) (* (* r (sin b)) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))))> #<alt (λ (r a b) (* r (* (* (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))) (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))) (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))))> #<alt (λ (r a b) (* (* r (/ (sin b) (- (pow (* (cos a) (cos b)) 3) (pow (log (exp (* (sin a) (sin b)))) 3)))) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (log (exp (* (sin a) (sin b)))) (log (exp (* (sin a) (sin b))))) (* (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))))> #<alt (λ (r a b) (* (sqrt (* r (/ (sin b) (cos (+ a b))))) (sqrt (* r (/ (sin b) (cos (+ a b)))))))> #<alt (λ (r a b) (* (* r (/ (* (cbrt (sin b)) (cbrt (sin b))) (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b)))))) (/ (cbrt (sin b)) (cbrt (cos (+ a b))))))>)
1.435 * * * * [regimes]: Trying to branch on (* r (/ (sin b) (cos (+ a b)))) from (#<alt (λ (r a b) (* r (/ (/ (sin b) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))))> #<alt (λ (r a b) (* r (/ (sin b) (- (* (cos a) (cos b)) (* (* (cbrt (sin a)) (cbrt (sin a))) (* (cbrt (sin a)) (sin b)))))))> #<alt (λ (r a b) (* r (/ (sin b) (- (* (cos a) (cos b)) (* (* (cbrt (* (sin a) (sin b))) (cbrt (* (sin a) (sin b)))) (cbrt (* (sin a) (sin b))))))))> #<alt (λ (r a b) (* r (/ (sin b) (- (* (cos a) (cos b)) (* (* (sin a) (* (cbrt (sin b)) (cbrt (sin b)))) (cbrt (sin b)))))))> #<alt (λ (r a b) (* (* (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))) (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))))> #<alt (λ (r a b) (* (* (sqrt (sin b)) r) (/ (sqrt (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))> #<alt (λ (r a b) (* r (* (/ (* (cbrt (sin b)) (cbrt (sin b))) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (/ (cbrt (sin b)) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))))> #<alt (λ (r a b) (* (* r (sin b)) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))))> #<alt (λ (r a b) (* r (* (* (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))) (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))) (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))))> #<alt (λ (r a b) (* (* r (/ (sin b) (- (pow (* (cos a) (cos b)) 3) (pow (log (exp (* (sin a) (sin b)))) 3)))) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (log (exp (* (sin a) (sin b)))) (log (exp (* (sin a) (sin b))))) (* (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))))> #<alt (λ (r a b) (* (sqrt (* r (/ (sin b) (cos (+ a b))))) (sqrt (* r (/ (sin b) (cos (+ a b)))))))> #<alt (λ (r a b) (* (* r (/ (* (cbrt (sin b)) (cbrt (sin b))) (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b)))))) (/ (cbrt (sin b)) (cbrt (cos (+ a b))))))>)
1.533 * * * * [regimes]: Trying to branch on b from (#<alt (λ (r a b) (* r (/ (/ (sin b) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))))> #<alt (λ (r a b) (* r (/ (sin b) (- (* (cos a) (cos b)) (* (* (cbrt (sin a)) (cbrt (sin a))) (* (cbrt (sin a)) (sin b)))))))> #<alt (λ (r a b) (* r (/ (sin b) (- (* (cos a) (cos b)) (* (* (cbrt (* (sin a) (sin b))) (cbrt (* (sin a) (sin b)))) (cbrt (* (sin a) (sin b))))))))> #<alt (λ (r a b) (* r (/ (sin b) (- (* (cos a) (cos b)) (* (* (sin a) (* (cbrt (sin b)) (cbrt (sin b)))) (cbrt (sin b)))))))> #<alt (λ (r a b) (* (* (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))) (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))))> #<alt (λ (r a b) (* (* (sqrt (sin b)) r) (/ (sqrt (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))> #<alt (λ (r a b) (* r (* (/ (* (cbrt (sin b)) (cbrt (sin b))) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (/ (cbrt (sin b)) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))))> #<alt (λ (r a b) (* (* r (sin b)) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))))> #<alt (λ (r a b) (* r (* (* (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))) (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))) (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))))> #<alt (λ (r a b) (* (* r (/ (sin b) (- (pow (* (cos a) (cos b)) 3) (pow (log (exp (* (sin a) (sin b)))) 3)))) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (log (exp (* (sin a) (sin b)))) (log (exp (* (sin a) (sin b))))) (* (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))))> #<alt (λ (r a b) (* (sqrt (* r (/ (sin b) (cos (+ a b))))) (sqrt (* r (/ (sin b) (cos (+ a b)))))))> #<alt (λ (r a b) (* (* r (/ (* (cbrt (sin b)) (cbrt (sin b))) (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b)))))) (/ (cbrt (sin b)) (cbrt (cos (+ a b))))))>)
1.622 * * * * [regimes]: Trying to branch on a from (#<alt (λ (r a b) (* r (/ (/ (sin b) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))))> #<alt (λ (r a b) (* r (/ (sin b) (- (* (cos a) (cos b)) (* (* (cbrt (sin a)) (cbrt (sin a))) (* (cbrt (sin a)) (sin b)))))))> #<alt (λ (r a b) (* r (/ (sin b) (- (* (cos a) (cos b)) (* (* (cbrt (* (sin a) (sin b))) (cbrt (* (sin a) (sin b)))) (cbrt (* (sin a) (sin b))))))))> #<alt (λ (r a b) (* r (/ (sin b) (- (* (cos a) (cos b)) (* (* (sin a) (* (cbrt (sin b)) (cbrt (sin b)))) (cbrt (sin b)))))))> #<alt (λ (r a b) (* (* (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))) (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))))> #<alt (λ (r a b) (* (* (sqrt (sin b)) r) (/ (sqrt (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))> #<alt (λ (r a b) (* r (* (/ (* (cbrt (sin b)) (cbrt (sin b))) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (/ (cbrt (sin b)) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))))> #<alt (λ (r a b) (* (* r (sin b)) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))))> #<alt (λ (r a b) (* r (* (* (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))) (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))) (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))))> #<alt (λ (r a b) (* (* r (/ (sin b) (- (pow (* (cos a) (cos b)) 3) (pow (log (exp (* (sin a) (sin b)))) 3)))) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (log (exp (* (sin a) (sin b)))) (log (exp (* (sin a) (sin b))))) (* (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))))> #<alt (λ (r a b) (* (sqrt (* r (/ (sin b) (cos (+ a b))))) (sqrt (* r (/ (sin b) (cos (+ a b)))))))> #<alt (λ (r a b) (* (* r (/ (* (cbrt (sin b)) (cbrt (sin b))) (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b)))))) (/ (cbrt (sin b)) (cbrt (cos (+ a b))))))>)
1.711 * * * * [regimes]: Trying to branch on r from (#<alt (λ (r a b) (* r (/ (/ (sin b) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (sqrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))))> #<alt (λ (r a b) (* r (/ (sin b) (- (* (cos a) (cos b)) (* (* (cbrt (sin a)) (cbrt (sin a))) (* (cbrt (sin a)) (sin b)))))))> #<alt (λ (r a b) (* r (/ (sin b) (- (* (cos a) (cos b)) (* (* (cbrt (* (sin a) (sin b))) (cbrt (* (sin a) (sin b)))) (cbrt (* (sin a) (sin b))))))))> #<alt (λ (r a b) (* r (/ (sin b) (- (* (cos a) (cos b)) (* (* (sin a) (* (cbrt (sin b)) (cbrt (sin b)))) (cbrt (sin b)))))))> #<alt (λ (r a b) (* (* (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))) (cbrt (* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))))> #<alt (λ (r a b) (* (* (sqrt (sin b)) r) (/ (sqrt (sin b)) (- (* (cos a) (cos b)) (* (sin a) (sin b))))))> #<alt (λ (r a b) (* r (* (/ (* (cbrt (sin b)) (cbrt (sin b))) (* (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b)))))) (/ (cbrt (sin b)) (cbrt (- (* (cos a) (cos b)) (* (sin a) (sin b))))))))> #<alt (λ (r a b) (* (* r (sin b)) (/ 1 (- (* (cos a) (cos b)) (* (sin a) (sin b))))))> #<alt (λ (r a b) (* r (* (* (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))) (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))) (cbrt (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))))))> #<alt (λ (r a b) (* (* r (/ (sin b) (- (pow (* (cos a) (cos b)) 3) (pow (log (exp (* (sin a) (sin b)))) 3)))) (+ (* (* (cos a) (cos b)) (* (cos a) (cos b))) (+ (* (log (exp (* (sin a) (sin b)))) (log (exp (* (sin a) (sin b))))) (* (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))))> #<alt (λ (r a b) (* (sqrt (* r (/ (sin b) (cos (+ a b))))) (sqrt (* r (/ (sin b) (cos (+ a b)))))))> #<alt (λ (r a b) (* (* r (/ (* (cbrt (sin b)) (cbrt (sin b))) (* (cbrt (cos (+ a b))) (cbrt (cos (+ a b)))))) (/ (cbrt (sin b)) (cbrt (cos (+ a b))))))>)
1.797 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
1.797 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* r (/ (sin b) (- (* (cos a) (cos b)) (* (* (cbrt (sin a)) (cbrt (sin a))) (* (cbrt (sin a)) (sin b))))))
1.798 * * [simplify]: iteration  0 :  19  enodes  (cost  17 )
1.798 * * [simplify]: iteration  1 :  19  enodes  (cost  17 )
1.799 * [simplify]: Simplified to:
   (* r (/ (sin b) (- (* (cos a) (cos b)) (* (* (cbrt (sin a)) (cbrt (sin a))) (* (cbrt (sin a)) (sin b))))))
5.905 * [regime-testing]: Baseline error score: 0.4680457918638657
5.906 * [regime-testing]: Oracle error score: 0.07703681825139258
5.908 * [regime-testing]: End program error score: 0.4680457918638657