0.899 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.313 * * * [progress]: [2/2] Setting up program. 0.317 * [progress]: [Phase 2 of 3] Improving. 0.319 * [simplify]: Simplifying using # : (sin (pow (sqrt (atan2 b b)) (- b a))) 0.324 * * [simplify]: iteration 0 : 13 enodes (cost 5 ) 0.325 * * [simplify]: iteration 1 : 22 enodes (cost 5 ) 0.327 * * [simplify]: iteration 2 : 44 enodes (cost 5 ) 0.328 * * [simplify]: iteration 3 : 114 enodes (cost 5 ) 0.331 * * [simplify]: iteration 4 : 321 enodes (cost 5 ) 0.338 * * [simplify]: iteration 5 : 1618 enodes (cost 5 ) 0.373 * * [simplify]: iteration 6 : 5001 enodes (cost 5 ) 0.374 * [simplify]: Simplified to: (sin (pow (sqrt (atan2 b b)) (- b a))) 0.375 * * [progress]: iteration 1 / 4 0.375 * * * [progress]: picking best candidate 0.378 * * * * [pick]: Picked # 0.378 * * * [progress]: localizing error 0.388 * * * [progress]: generating rewritten candidates 0.389 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 0.391 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.396 * * * [progress]: generating series expansions 0.396 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 0.404 * [approximate]: Taking taylor expansion of (sqrt (atan2 b b)) in (b) around 0 0.406 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in b 0.406 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.409 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in b 0.409 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.415 * [approximate]: Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in (b) around 0 0.415 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b 0.415 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.416 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b 0.416 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.422 * [approximate]: Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in (b) around 0 0.422 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b 0.422 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.423 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b 0.423 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.428 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.429 * [approximate]: Taking taylor expansion of (pow (sqrt (atan2 b b)) (- b a)) in (b a) around 0 0.429 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 b b)) (- b a)) in a 0.429 * [taylor]: Taking taylor expansion of (exp (* (- b a) (log (sqrt (atan2 b b))))) in a 0.429 * [taylor]: Taking taylor expansion of (* (- b a) (log (sqrt (atan2 b b)))) in a 0.429 * [taylor]: Taking taylor expansion of (- b a) in a 0.429 * [taylor]: Taking taylor expansion of b in a 0.429 * [taylor]: Taking taylor expansion of a in a 0.429 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 b b))) in a 0.429 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in a 0.429 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.431 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 b b)) (- b a)) in b 0.431 * [taylor]: Taking taylor expansion of (exp (* (- b a) (log (sqrt (atan2 b b))))) in b 0.431 * [taylor]: Taking taylor expansion of (* (- b a) (log (sqrt (atan2 b b)))) in b 0.431 * [taylor]: Taking taylor expansion of (- b a) in b 0.431 * [taylor]: Taking taylor expansion of b in b 0.431 * [taylor]: Taking taylor expansion of a in b 0.431 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 b b))) in b 0.431 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in b 0.431 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.432 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 b b)) (- b a)) in b 0.432 * [taylor]: Taking taylor expansion of (exp (* (- b a) (log (sqrt (atan2 b b))))) in b 0.432 * [taylor]: Taking taylor expansion of (* (- b a) (log (sqrt (atan2 b b)))) in b 0.432 * [taylor]: Taking taylor expansion of (- b a) in b 0.432 * [taylor]: Taking taylor expansion of b in b 0.432 * [taylor]: Taking taylor expansion of a in b 0.432 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 b b))) in b 0.432 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in b 0.432 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.433 * [taylor]: Taking taylor expansion of (exp (* -1 (* a (log (sqrt (atan2 b b)))))) in a 0.433 * [taylor]: Taking taylor expansion of (* -1 (* a (log (sqrt (atan2 b b))))) in a 0.433 * [taylor]: Taking taylor expansion of -1 in a 0.433 * [taylor]: Taking taylor expansion of (* a (log (sqrt (atan2 b b)))) in a 0.434 * [taylor]: Taking taylor expansion of a in a 0.434 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 b b))) in a 0.434 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in a 0.434 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.457 * [taylor]: Taking taylor expansion of (* (exp (* -1 (* a (log (sqrt (atan2 b b)))))) (log (sqrt (atan2 b b)))) in a 0.457 * [taylor]: Taking taylor expansion of (exp (* -1 (* a (log (sqrt (atan2 b b)))))) in a 0.457 * [taylor]: Taking taylor expansion of (* -1 (* a (log (sqrt (atan2 b b))))) in a 0.457 * [taylor]: Taking taylor expansion of -1 in a 0.457 * [taylor]: Taking taylor expansion of (* a (log (sqrt (atan2 b b)))) in a 0.457 * [taylor]: Taking taylor expansion of a in a 0.457 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 b b))) in a 0.457 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in a 0.457 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.459 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 b b))) in a 0.459 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in a 0.459 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.460 * [approximate]: Taking taylor expansion of (pow (sqrt (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) in (b a) around 0 0.460 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) in a 0.460 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 b) (/ 1 a)) (log (sqrt (atan2 (/ 1 b) (/ 1 b)))))) in a 0.460 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (log (sqrt (atan2 (/ 1 b) (/ 1 b))))) in a 0.460 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.460 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.460 * [taylor]: Taking taylor expansion of b in a 0.460 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.460 * [taylor]: Taking taylor expansion of a in a 0.461 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ 1 b) (/ 1 b)))) in a 0.461 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in a 0.461 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.462 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) in b 0.462 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 b) (/ 1 a)) (log (sqrt (atan2 (/ 1 b) (/ 1 b)))))) in b 0.462 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (log (sqrt (atan2 (/ 1 b) (/ 1 b))))) in b 0.462 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.462 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.462 * [taylor]: Taking taylor expansion of b in b 0.462 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.462 * [taylor]: Taking taylor expansion of a in b 0.462 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ 1 b) (/ 1 b)))) in b 0.462 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b 0.462 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.463 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) in b 0.463 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 b) (/ 1 a)) (log (sqrt (atan2 (/ 1 b) (/ 1 b)))))) in b 0.463 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (log (sqrt (atan2 (/ 1 b) (/ 1 b))))) in b 0.463 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.463 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.463 * [taylor]: Taking taylor expansion of b in b 0.464 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.464 * [taylor]: Taking taylor expansion of a in b 0.464 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ 1 b) (/ 1 b)))) in b 0.464 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b 0.464 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.465 * [taylor]: Taking taylor expansion of (exp (* (log (sqrt (atan2 (/ 1 b) (/ 1 b)))) (- (/ 1 b) (/ 1 a)))) in a 0.465 * [taylor]: Taking taylor expansion of (* (log (sqrt (atan2 (/ 1 b) (/ 1 b)))) (- (/ 1 b) (/ 1 a))) in a 0.465 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ 1 b) (/ 1 b)))) in a 0.465 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in a 0.465 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.465 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.465 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.465 * [taylor]: Taking taylor expansion of b in a 0.465 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.465 * [taylor]: Taking taylor expansion of a in a 0.466 * [taylor]: Taking taylor expansion of 0 in a 0.466 * [taylor]: Taking taylor expansion of 0 in a 0.466 * [taylor]: Taking taylor expansion of 0 in a 0.467 * [approximate]: Taking taylor expansion of (pow (sqrt (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in (b a) around 0 0.467 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in a 0.467 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b)))))) in a 0.467 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b))))) in a 0.467 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.467 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.467 * [taylor]: Taking taylor expansion of a in a 0.467 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.467 * [taylor]: Taking taylor expansion of b in a 0.467 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ -1 b) (/ -1 b)))) in a 0.467 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in a 0.467 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.468 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in b 0.468 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b)))))) in b 0.468 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b))))) in b 0.468 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.468 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.468 * [taylor]: Taking taylor expansion of a in b 0.468 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.468 * [taylor]: Taking taylor expansion of b in b 0.468 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ -1 b) (/ -1 b)))) in b 0.468 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b 0.468 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.469 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in b 0.469 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b)))))) in b 0.469 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b))))) in b 0.469 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.469 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.469 * [taylor]: Taking taylor expansion of a in b 0.469 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.469 * [taylor]: Taking taylor expansion of b in b 0.470 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ -1 b) (/ -1 b)))) in b 0.470 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b 0.470 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.471 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in a 0.471 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b)))))) in a 0.471 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b))))) in a 0.471 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.471 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.471 * [taylor]: Taking taylor expansion of a in a 0.471 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.471 * [taylor]: Taking taylor expansion of b in a 0.471 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ -1 b) (/ -1 b)))) in a 0.471 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in a 0.471 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.472 * [taylor]: Taking taylor expansion of 0 in a 0.472 * [taylor]: Taking taylor expansion of 0 in a 0.472 * [taylor]: Taking taylor expansion of 0 in a 0.472 * * * [progress]: simplifying candidates 0.473 * [simplify]: Simplifying using # : (* (log (sqrt (atan2 b b))) (- b a)) (* 1/2 (- b a)) (pow (sqrt (atan2 b b)) b) (pow (sqrt (atan2 b b)) a) (pow (sqrt (atan2 b b)) b) (pow (sqrt (atan2 b b)) (- a)) (pow (sqrt (atan2 b b)) b) (pow (sqrt (atan2 b b)) (- a)) (/ (- b a) 2) (pow (sqrt (atan2 b b)) (/ (- b a) 2)) (pow (sqrt (atan2 b b)) (/ (- b a) 2)) (sqrt (atan2 b b)) (sqrt (atan2 b b)) (sqrt (atan2 b b)) (- (+ (* b (log (sqrt (atan2 b b)))) 1) (* a (log (sqrt (atan2 b b))))) (pow (sqrt (atan2 b b)) (- b a)) (pow (sqrt (atan2 b b)) (- b a)) 0.476 * * [simplify]: iteration 0 : 49 enodes (cost 63 ) 0.477 * * [simplify]: iteration 1 : 103 enodes (cost 59 ) 0.479 * * [simplify]: iteration 2 : 219 enodes (cost 59 ) 0.483 * * [simplify]: iteration 3 : 551 enodes (cost 58 ) 0.492 * * [simplify]: iteration 4 : 1671 enodes (cost 58 ) 0.521 * * [simplify]: iteration 5 : 5001 enodes (cost 58 ) 0.521 * [simplify]: Simplified to: (* (log (sqrt (atan2 b b))) (- b a)) (/ (- b a) 2) (pow (sqrt (atan2 b b)) b) (pow (sqrt (atan2 b b)) a) (pow (sqrt (atan2 b b)) b) (pow (sqrt (atan2 b b)) (- a)) (pow (sqrt (atan2 b b)) b) (pow (sqrt (atan2 b b)) (- a)) (/ (- b a) 2) (pow (sqrt (atan2 b b)) (/ (- b a) 2)) (pow (sqrt (atan2 b b)) (/ (- b a) 2)) (sqrt (atan2 b b)) (sqrt (atan2 b b)) (sqrt (atan2 b b)) (fma (- b a) (log (sqrt (atan2 b b))) 1) (pow (sqrt (atan2 b b)) (- b a)) (pow (sqrt (atan2 b b)) (- b a)) 0.522 * * * [progress]: adding candidates to table 0.545 * * [progress]: iteration 2 / 4 0.545 * * * [progress]: picking best candidate 0.547 * * * * [pick]: Picked # 0.547 * * * [progress]: localizing error 0.556 * * * [progress]: generating rewritten candidates 0.556 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.558 * * * [progress]: generating series expansions 0.558 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.559 * [approximate]: Taking taylor expansion of (pow (atan2 b b) (* 1/2 (- b a))) in (b a) around 0 0.559 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (* 1/2 (- b a))) in a 0.559 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- b a)) (log (atan2 b b)))) in a 0.559 * [taylor]: Taking taylor expansion of (* (* 1/2 (- b a)) (log (atan2 b b))) in a 0.559 * [taylor]: Taking taylor expansion of (* 1/2 (- b a)) in a 0.559 * [taylor]: Taking taylor expansion of 1/2 in a 0.559 * [taylor]: Taking taylor expansion of (- b a) in a 0.559 * [taylor]: Taking taylor expansion of b in a 0.559 * [taylor]: Taking taylor expansion of a in a 0.559 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.559 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.559 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (* 1/2 (- b a))) in b 0.559 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- b a)) (log (atan2 b b)))) in b 0.559 * [taylor]: Taking taylor expansion of (* (* 1/2 (- b a)) (log (atan2 b b))) in b 0.559 * [taylor]: Taking taylor expansion of (* 1/2 (- b a)) in b 0.559 * [taylor]: Taking taylor expansion of 1/2 in b 0.559 * [taylor]: Taking taylor expansion of (- b a) in b 0.559 * [taylor]: Taking taylor expansion of b in b 0.560 * [taylor]: Taking taylor expansion of a in b 0.560 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in b 0.560 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.560 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (* 1/2 (- b a))) in b 0.560 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- b a)) (log (atan2 b b)))) in b 0.560 * [taylor]: Taking taylor expansion of (* (* 1/2 (- b a)) (log (atan2 b b))) in b 0.560 * [taylor]: Taking taylor expansion of (* 1/2 (- b a)) in b 0.560 * [taylor]: Taking taylor expansion of 1/2 in b 0.560 * [taylor]: Taking taylor expansion of (- b a) in b 0.560 * [taylor]: Taking taylor expansion of b in b 0.560 * [taylor]: Taking taylor expansion of a in b 0.560 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in b 0.560 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.560 * [taylor]: Taking taylor expansion of (exp (* -1/2 (* a (log (atan2 b b))))) in a 0.560 * [taylor]: Taking taylor expansion of (* -1/2 (* a (log (atan2 b b)))) in a 0.560 * [taylor]: Taking taylor expansion of -1/2 in a 0.560 * [taylor]: Taking taylor expansion of (* a (log (atan2 b b))) in a 0.560 * [taylor]: Taking taylor expansion of a in a 0.560 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.560 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.563 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (* -1/2 (* a (log (atan2 b b))))) (log (atan2 b b)))) in a 0.563 * [taylor]: Taking taylor expansion of 1/2 in a 0.563 * [taylor]: Taking taylor expansion of (* (exp (* -1/2 (* a (log (atan2 b b))))) (log (atan2 b b))) in a 0.563 * [taylor]: Taking taylor expansion of (exp (* -1/2 (* a (log (atan2 b b))))) in a 0.563 * [taylor]: Taking taylor expansion of (* -1/2 (* a (log (atan2 b b)))) in a 0.563 * [taylor]: Taking taylor expansion of -1/2 in a 0.563 * [taylor]: Taking taylor expansion of (* a (log (atan2 b b))) in a 0.563 * [taylor]: Taking taylor expansion of a in a 0.564 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.564 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.565 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.565 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.566 * [approximate]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/2 (- (/ 1 b) (/ 1 a)))) in (b a) around 0 0.566 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/2 (- (/ 1 b) (/ 1 a)))) in a 0.566 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b))))) in a 0.566 * [taylor]: Taking taylor expansion of (* (* 1/2 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b)))) in a 0.566 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 b) (/ 1 a))) in a 0.566 * [taylor]: Taking taylor expansion of 1/2 in a 0.566 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.566 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.566 * [taylor]: Taking taylor expansion of b in a 0.566 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.566 * [taylor]: Taking taylor expansion of a in a 0.566 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in a 0.566 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.567 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/2 (- (/ 1 b) (/ 1 a)))) in b 0.567 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b))))) in b 0.567 * [taylor]: Taking taylor expansion of (* (* 1/2 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b)))) in b 0.567 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 b) (/ 1 a))) in b 0.567 * [taylor]: Taking taylor expansion of 1/2 in b 0.567 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.567 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.568 * [taylor]: Taking taylor expansion of b in b 0.568 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.568 * [taylor]: Taking taylor expansion of a in b 0.568 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in b 0.568 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.569 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/2 (- (/ 1 b) (/ 1 a)))) in b 0.569 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b))))) in b 0.569 * [taylor]: Taking taylor expansion of (* (* 1/2 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b)))) in b 0.569 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 b) (/ 1 a))) in b 0.569 * [taylor]: Taking taylor expansion of 1/2 in b 0.569 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.569 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.569 * [taylor]: Taking taylor expansion of b in b 0.569 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.569 * [taylor]: Taking taylor expansion of a in b 0.569 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in b 0.569 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.570 * [taylor]: Taking taylor expansion of (exp (* 1/2 (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))))) in a 0.570 * [taylor]: Taking taylor expansion of (* 1/2 (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a)))) in a 0.570 * [taylor]: Taking taylor expansion of 1/2 in a 0.570 * [taylor]: Taking taylor expansion of (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) in a 0.570 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in a 0.570 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.570 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.570 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.571 * [taylor]: Taking taylor expansion of b in a 0.571 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.571 * [taylor]: Taking taylor expansion of a in a 0.572 * [taylor]: Taking taylor expansion of 0 in a 0.572 * [taylor]: Taking taylor expansion of 0 in a 0.572 * [taylor]: Taking taylor expansion of 0 in a 0.572 * [approximate]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/2 (- (/ 1 a) (/ 1 b)))) in (b a) around 0 0.572 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/2 (- (/ 1 a) (/ 1 b)))) in a 0.573 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b))))) in a 0.573 * [taylor]: Taking taylor expansion of (* (* 1/2 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b)))) in a 0.573 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 a) (/ 1 b))) in a 0.573 * [taylor]: Taking taylor expansion of 1/2 in a 0.573 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.573 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.573 * [taylor]: Taking taylor expansion of a in a 0.573 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.573 * [taylor]: Taking taylor expansion of b in a 0.573 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in a 0.573 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.574 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/2 (- (/ 1 a) (/ 1 b)))) in b 0.574 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b))))) in b 0.574 * [taylor]: Taking taylor expansion of (* (* 1/2 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b)))) in b 0.574 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 a) (/ 1 b))) in b 0.574 * [taylor]: Taking taylor expansion of 1/2 in b 0.574 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.574 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.574 * [taylor]: Taking taylor expansion of a in b 0.574 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.574 * [taylor]: Taking taylor expansion of b in b 0.574 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in b 0.575 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.576 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/2 (- (/ 1 a) (/ 1 b)))) in b 0.576 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b))))) in b 0.576 * [taylor]: Taking taylor expansion of (* (* 1/2 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b)))) in b 0.576 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 a) (/ 1 b))) in b 0.576 * [taylor]: Taking taylor expansion of 1/2 in b 0.576 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.576 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.576 * [taylor]: Taking taylor expansion of a in b 0.576 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.576 * [taylor]: Taking taylor expansion of b in b 0.576 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in b 0.576 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.581 * [taylor]: Taking taylor expansion of (exp (* 1/2 (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))))) in a 0.581 * [taylor]: Taking taylor expansion of (* 1/2 (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b)))) in a 0.581 * [taylor]: Taking taylor expansion of 1/2 in a 0.581 * [taylor]: Taking taylor expansion of (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in a 0.581 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in a 0.581 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.581 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.581 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.581 * [taylor]: Taking taylor expansion of a in a 0.582 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.582 * [taylor]: Taking taylor expansion of b in a 0.583 * [taylor]: Taking taylor expansion of 0 in a 0.583 * [taylor]: Taking taylor expansion of 0 in a 0.583 * [taylor]: Taking taylor expansion of 0 in a 0.583 * * * [progress]: simplifying candidates 0.583 * [simplify]: Simplifying using # : (* (log (atan2 b b)) (/ (- b a) 2)) (pow (atan2 b b) (/ b 2)) (pow (atan2 b b) (/ a 2)) (pow (atan2 b b) (- b a)) (pow (atan2 b b) (/ (/ (- b a) 2) 2)) (pow (atan2 b b) (/ (/ (- b a) 2) 2)) (- (+ (* 1/2 (* b (log (atan2 b b)))) 1) (* 1/2 (* a (log (atan2 b b))))) (exp (* 1/2 (* (- b a) (log (atan2 b b))))) (exp (* 1/2 (* (- b a) (log (atan2 b b))))) 0.586 * * [simplify]: iteration 0 : 66 enodes (cost 46 ) 0.587 * * [simplify]: iteration 1 : 153 enodes (cost 45 ) 0.590 * * [simplify]: iteration 2 : 380 enodes (cost 38 ) 0.597 * * [simplify]: iteration 3 : 925 enodes (cost 37 ) 0.612 * * [simplify]: iteration 4 : 3709 enodes (cost 35 ) 0.674 * * [simplify]: iteration 5 : 5001 enodes (cost 35 ) 0.675 * [simplify]: Simplified to: (* 1/2 (* (- b a) (log (atan2 b b)))) (pow (atan2 b b) (/ b 2)) (pow (atan2 b b) (/ a 2)) (pow (atan2 b b) (- b a)) (pow (atan2 b b) (/ (- b a) 4)) (pow (atan2 b b) (/ (- b a) 4)) (fma (* 1/2 (- b a)) (log (atan2 b b)) 1) (pow (atan2 b b) (/ (- b a) 2)) (pow (atan2 b b) (/ (- b a) 2)) 0.675 * * * [progress]: adding candidates to table 0.690 * * [progress]: iteration 3 / 4 0.690 * * * [progress]: picking best candidate 0.694 * * * * [pick]: Picked # 0.694 * * * [progress]: localizing error 0.704 * * * [progress]: generating rewritten candidates 0.704 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2) 0.706 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 0.709 * * * [progress]: generating series expansions 0.709 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2) 0.709 * [approximate]: Taking taylor expansion of (pow (atan2 b b) (* 1/4 (- b a))) in (b a) around 0 0.709 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (* 1/4 (- b a))) in a 0.709 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- b a)) (log (atan2 b b)))) in a 0.709 * [taylor]: Taking taylor expansion of (* (* 1/4 (- b a)) (log (atan2 b b))) in a 0.709 * [taylor]: Taking taylor expansion of (* 1/4 (- b a)) in a 0.709 * [taylor]: Taking taylor expansion of 1/4 in a 0.709 * [taylor]: Taking taylor expansion of (- b a) in a 0.709 * [taylor]: Taking taylor expansion of b in a 0.709 * [taylor]: Taking taylor expansion of a in a 0.709 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.709 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.710 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (* 1/4 (- b a))) in b 0.710 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- b a)) (log (atan2 b b)))) in b 0.710 * [taylor]: Taking taylor expansion of (* (* 1/4 (- b a)) (log (atan2 b b))) in b 0.710 * [taylor]: Taking taylor expansion of (* 1/4 (- b a)) in b 0.710 * [taylor]: Taking taylor expansion of 1/4 in b 0.710 * [taylor]: Taking taylor expansion of (- b a) in b 0.710 * [taylor]: Taking taylor expansion of b in b 0.710 * [taylor]: Taking taylor expansion of a in b 0.710 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in b 0.710 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.710 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (* 1/4 (- b a))) in b 0.710 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- b a)) (log (atan2 b b)))) in b 0.711 * [taylor]: Taking taylor expansion of (* (* 1/4 (- b a)) (log (atan2 b b))) in b 0.711 * [taylor]: Taking taylor expansion of (* 1/4 (- b a)) in b 0.711 * [taylor]: Taking taylor expansion of 1/4 in b 0.711 * [taylor]: Taking taylor expansion of (- b a) in b 0.711 * [taylor]: Taking taylor expansion of b in b 0.711 * [taylor]: Taking taylor expansion of a in b 0.711 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in b 0.711 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.711 * [taylor]: Taking taylor expansion of (exp (* -1/4 (* a (log (atan2 b b))))) in a 0.711 * [taylor]: Taking taylor expansion of (* -1/4 (* a (log (atan2 b b)))) in a 0.711 * [taylor]: Taking taylor expansion of -1/4 in a 0.711 * [taylor]: Taking taylor expansion of (* a (log (atan2 b b))) in a 0.711 * [taylor]: Taking taylor expansion of a in a 0.711 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.711 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.714 * [taylor]: Taking taylor expansion of (* 1/4 (* (exp (* -1/4 (* a (log (atan2 b b))))) (log (atan2 b b)))) in a 0.714 * [taylor]: Taking taylor expansion of 1/4 in a 0.714 * [taylor]: Taking taylor expansion of (* (exp (* -1/4 (* a (log (atan2 b b))))) (log (atan2 b b))) in a 0.714 * [taylor]: Taking taylor expansion of (exp (* -1/4 (* a (log (atan2 b b))))) in a 0.714 * [taylor]: Taking taylor expansion of (* -1/4 (* a (log (atan2 b b)))) in a 0.714 * [taylor]: Taking taylor expansion of -1/4 in a 0.714 * [taylor]: Taking taylor expansion of (* a (log (atan2 b b))) in a 0.714 * [taylor]: Taking taylor expansion of a in a 0.714 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.714 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.716 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.716 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.716 * [approximate]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/4 (- (/ 1 b) (/ 1 a)))) in (b a) around 0 0.716 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/4 (- (/ 1 b) (/ 1 a)))) in a 0.717 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b))))) in a 0.717 * [taylor]: Taking taylor expansion of (* (* 1/4 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b)))) in a 0.717 * [taylor]: Taking taylor expansion of (* 1/4 (- (/ 1 b) (/ 1 a))) in a 0.717 * [taylor]: Taking taylor expansion of 1/4 in a 0.717 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.717 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.717 * [taylor]: Taking taylor expansion of b in a 0.717 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.717 * [taylor]: Taking taylor expansion of a in a 0.717 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in a 0.717 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.718 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/4 (- (/ 1 b) (/ 1 a)))) in b 0.718 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b))))) in b 0.718 * [taylor]: Taking taylor expansion of (* (* 1/4 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b)))) in b 0.718 * [taylor]: Taking taylor expansion of (* 1/4 (- (/ 1 b) (/ 1 a))) in b 0.718 * [taylor]: Taking taylor expansion of 1/4 in b 0.718 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.718 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.718 * [taylor]: Taking taylor expansion of b in b 0.718 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.718 * [taylor]: Taking taylor expansion of a in b 0.718 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in b 0.719 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.719 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/4 (- (/ 1 b) (/ 1 a)))) in b 0.719 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b))))) in b 0.719 * [taylor]: Taking taylor expansion of (* (* 1/4 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b)))) in b 0.719 * [taylor]: Taking taylor expansion of (* 1/4 (- (/ 1 b) (/ 1 a))) in b 0.719 * [taylor]: Taking taylor expansion of 1/4 in b 0.719 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.719 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.719 * [taylor]: Taking taylor expansion of b in b 0.720 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.720 * [taylor]: Taking taylor expansion of a in b 0.720 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in b 0.720 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.721 * [taylor]: Taking taylor expansion of (exp (* 1/4 (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))))) in a 0.721 * [taylor]: Taking taylor expansion of (* 1/4 (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a)))) in a 0.721 * [taylor]: Taking taylor expansion of 1/4 in a 0.721 * [taylor]: Taking taylor expansion of (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) in a 0.721 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in a 0.721 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.721 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.721 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.721 * [taylor]: Taking taylor expansion of b in a 0.721 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.721 * [taylor]: Taking taylor expansion of a in a 0.722 * [taylor]: Taking taylor expansion of 0 in a 0.722 * [taylor]: Taking taylor expansion of 0 in a 0.722 * [taylor]: Taking taylor expansion of 0 in a 0.723 * [approximate]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/4 (- (/ 1 a) (/ 1 b)))) in (b a) around 0 0.723 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/4 (- (/ 1 a) (/ 1 b)))) in a 0.723 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b))))) in a 0.723 * [taylor]: Taking taylor expansion of (* (* 1/4 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b)))) in a 0.723 * [taylor]: Taking taylor expansion of (* 1/4 (- (/ 1 a) (/ 1 b))) in a 0.723 * [taylor]: Taking taylor expansion of 1/4 in a 0.723 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.723 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.723 * [taylor]: Taking taylor expansion of a in a 0.723 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.723 * [taylor]: Taking taylor expansion of b in a 0.723 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in a 0.723 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.724 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/4 (- (/ 1 a) (/ 1 b)))) in b 0.724 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b))))) in b 0.724 * [taylor]: Taking taylor expansion of (* (* 1/4 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b)))) in b 0.724 * [taylor]: Taking taylor expansion of (* 1/4 (- (/ 1 a) (/ 1 b))) in b 0.724 * [taylor]: Taking taylor expansion of 1/4 in b 0.724 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.724 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.724 * [taylor]: Taking taylor expansion of a in b 0.724 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.724 * [taylor]: Taking taylor expansion of b in b 0.725 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in b 0.725 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.726 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/4 (- (/ 1 a) (/ 1 b)))) in b 0.726 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b))))) in b 0.726 * [taylor]: Taking taylor expansion of (* (* 1/4 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b)))) in b 0.726 * [taylor]: Taking taylor expansion of (* 1/4 (- (/ 1 a) (/ 1 b))) in b 0.726 * [taylor]: Taking taylor expansion of 1/4 in b 0.726 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) 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 (/ 1 b) in b 0.726 * [taylor]: Taking taylor expansion of b in b 0.726 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in b 0.726 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.727 * [taylor]: Taking taylor expansion of (exp (* 1/4 (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))))) in a 0.727 * [taylor]: Taking taylor expansion of (* 1/4 (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b)))) in a 0.727 * [taylor]: Taking taylor expansion of 1/4 in a 0.727 * [taylor]: Taking taylor expansion of (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in a 0.727 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in a 0.727 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.728 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.728 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.728 * [taylor]: Taking taylor expansion of a in a 0.728 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.728 * [taylor]: Taking taylor expansion of b in a 0.729 * [taylor]: Taking taylor expansion of 0 in a 0.729 * [taylor]: Taking taylor expansion of 0 in a 0.729 * [taylor]: Taking taylor expansion of 0 in a 0.729 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 0.729 * [approximate]: Taking taylor expansion of (pow (atan2 b b) (* 1/4 (- b a))) in (b a) around 0 0.729 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (* 1/4 (- b a))) in a 0.729 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- b a)) (log (atan2 b b)))) in a 0.729 * [taylor]: Taking taylor expansion of (* (* 1/4 (- b a)) (log (atan2 b b))) in a 0.729 * [taylor]: Taking taylor expansion of (* 1/4 (- b a)) in a 0.729 * [taylor]: Taking taylor expansion of 1/4 in a 0.729 * [taylor]: Taking taylor expansion of (- b a) in a 0.729 * [taylor]: Taking taylor expansion of b in a 0.729 * [taylor]: Taking taylor expansion of a in a 0.729 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.729 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.730 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (* 1/4 (- b a))) in b 0.730 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- b a)) (log (atan2 b b)))) in b 0.730 * [taylor]: Taking taylor expansion of (* (* 1/4 (- b a)) (log (atan2 b b))) in b 0.730 * [taylor]: Taking taylor expansion of (* 1/4 (- b a)) in b 0.730 * [taylor]: Taking taylor expansion of 1/4 in b 0.730 * [taylor]: Taking taylor expansion of (- b a) in b 0.730 * [taylor]: Taking taylor expansion of b in b 0.730 * [taylor]: Taking taylor expansion of a in b 0.730 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in b 0.730 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.730 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (* 1/4 (- b a))) in b 0.730 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- b a)) (log (atan2 b b)))) in b 0.730 * [taylor]: Taking taylor expansion of (* (* 1/4 (- b a)) (log (atan2 b b))) in b 0.730 * [taylor]: Taking taylor expansion of (* 1/4 (- b a)) in b 0.730 * [taylor]: Taking taylor expansion of 1/4 in b 0.730 * [taylor]: Taking taylor expansion of (- b a) in b 0.730 * [taylor]: Taking taylor expansion of b in b 0.730 * [taylor]: Taking taylor expansion of a in b 0.730 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in b 0.730 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.731 * [taylor]: Taking taylor expansion of (exp (* -1/4 (* a (log (atan2 b b))))) in a 0.731 * [taylor]: Taking taylor expansion of (* -1/4 (* a (log (atan2 b b)))) in a 0.731 * [taylor]: Taking taylor expansion of -1/4 in a 0.731 * [taylor]: Taking taylor expansion of (* a (log (atan2 b b))) in a 0.731 * [taylor]: Taking taylor expansion of a in a 0.731 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.731 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.734 * [taylor]: Taking taylor expansion of (* 1/4 (* (exp (* -1/4 (* a (log (atan2 b b))))) (log (atan2 b b)))) in a 0.734 * [taylor]: Taking taylor expansion of 1/4 in a 0.734 * [taylor]: Taking taylor expansion of (* (exp (* -1/4 (* a (log (atan2 b b))))) (log (atan2 b b))) in a 0.734 * [taylor]: Taking taylor expansion of (exp (* -1/4 (* a (log (atan2 b b))))) in a 0.734 * [taylor]: Taking taylor expansion of (* -1/4 (* a (log (atan2 b b)))) in a 0.734 * [taylor]: Taking taylor expansion of -1/4 in a 0.734 * [taylor]: Taking taylor expansion of (* a (log (atan2 b b))) in a 0.734 * [taylor]: Taking taylor expansion of a in a 0.734 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.734 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.735 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.735 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.736 * [approximate]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/4 (- (/ 1 b) (/ 1 a)))) in (b a) around 0 0.736 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/4 (- (/ 1 b) (/ 1 a)))) in a 0.736 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b))))) in a 0.736 * [taylor]: Taking taylor expansion of (* (* 1/4 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b)))) in a 0.736 * [taylor]: Taking taylor expansion of (* 1/4 (- (/ 1 b) (/ 1 a))) in a 0.736 * [taylor]: Taking taylor expansion of 1/4 in a 0.736 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.736 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.736 * [taylor]: Taking taylor expansion of b in a 0.736 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.736 * [taylor]: Taking taylor expansion of a in a 0.737 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in a 0.737 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.738 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/4 (- (/ 1 b) (/ 1 a)))) in b 0.738 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b))))) in b 0.738 * [taylor]: Taking taylor expansion of (* (* 1/4 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b)))) in b 0.738 * [taylor]: Taking taylor expansion of (* 1/4 (- (/ 1 b) (/ 1 a))) in b 0.738 * [taylor]: Taking taylor expansion of 1/4 in b 0.738 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.738 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.738 * [taylor]: Taking taylor expansion of b in b 0.738 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.738 * [taylor]: Taking taylor expansion of a in b 0.738 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in b 0.738 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.739 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/4 (- (/ 1 b) (/ 1 a)))) in b 0.739 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b))))) in b 0.739 * [taylor]: Taking taylor expansion of (* (* 1/4 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b)))) in b 0.739 * [taylor]: Taking taylor expansion of (* 1/4 (- (/ 1 b) (/ 1 a))) in b 0.739 * [taylor]: Taking taylor expansion of 1/4 in b 0.739 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) 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 (/ 1 a) in b 0.739 * [taylor]: Taking taylor expansion of a in b 0.739 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in b 0.739 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.740 * [taylor]: Taking taylor expansion of (exp (* 1/4 (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))))) in a 0.740 * [taylor]: Taking taylor expansion of (* 1/4 (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a)))) in a 0.740 * [taylor]: Taking taylor expansion of 1/4 in a 0.740 * [taylor]: Taking taylor expansion of (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) in a 0.740 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in a 0.740 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.741 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) 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 (/ 1 a) in a 0.741 * [taylor]: Taking taylor expansion of a in a 0.742 * [taylor]: Taking taylor expansion of 0 in a 0.742 * [taylor]: Taking taylor expansion of 0 in a 0.742 * [taylor]: Taking taylor expansion of 0 in a 0.742 * [approximate]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/4 (- (/ 1 a) (/ 1 b)))) in (b a) around 0 0.742 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/4 (- (/ 1 a) (/ 1 b)))) in a 0.742 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b))))) in a 0.742 * [taylor]: Taking taylor expansion of (* (* 1/4 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b)))) in a 0.742 * [taylor]: Taking taylor expansion of (* 1/4 (- (/ 1 a) (/ 1 b))) in a 0.742 * [taylor]: Taking taylor expansion of 1/4 in a 0.742 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.742 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.742 * [taylor]: Taking taylor expansion of a in a 0.743 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.743 * [taylor]: Taking taylor expansion of b in a 0.743 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in a 0.743 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.744 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/4 (- (/ 1 a) (/ 1 b)))) in b 0.744 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b))))) in b 0.744 * [taylor]: Taking taylor expansion of (* (* 1/4 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b)))) in b 0.744 * [taylor]: Taking taylor expansion of (* 1/4 (- (/ 1 a) (/ 1 b))) in b 0.744 * [taylor]: Taking taylor expansion of 1/4 in b 0.744 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.744 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.744 * [taylor]: Taking taylor expansion of a in b 0.744 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.744 * [taylor]: Taking taylor expansion of b in b 0.744 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in b 0.744 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.745 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/4 (- (/ 1 a) (/ 1 b)))) in b 0.745 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b))))) in b 0.745 * [taylor]: Taking taylor expansion of (* (* 1/4 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b)))) in b 0.745 * [taylor]: Taking taylor expansion of (* 1/4 (- (/ 1 a) (/ 1 b))) in b 0.745 * [taylor]: Taking taylor expansion of 1/4 in b 0.745 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.745 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.745 * [taylor]: Taking taylor expansion of a in b 0.745 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.745 * [taylor]: Taking taylor expansion of b in b 0.746 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in b 0.746 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.747 * [taylor]: Taking taylor expansion of (exp (* 1/4 (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))))) in a 0.747 * [taylor]: Taking taylor expansion of (* 1/4 (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b)))) in a 0.747 * [taylor]: Taking taylor expansion of 1/4 in a 0.747 * [taylor]: Taking taylor expansion of (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in a 0.747 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in a 0.747 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.747 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.747 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.747 * [taylor]: Taking taylor expansion of a in a 0.747 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.747 * [taylor]: Taking taylor expansion of b in a 0.748 * [taylor]: Taking taylor expansion of 0 in a 0.748 * [taylor]: Taking taylor expansion of 0 in a 0.748 * [taylor]: Taking taylor expansion of 0 in a 0.748 * * * [progress]: simplifying candidates 0.749 * [simplify]: Simplifying using # : (* (log (atan2 b b)) (/ (- b a) 4)) (pow (atan2 b b) (/ b 4)) (pow (atan2 b b) (/ a 4)) (pow (atan2 b b) (- b a)) (pow (atan2 b b) (/ (/ (- b a) 4) 2)) (pow (atan2 b b) (/ (/ (- b a) 4) 2)) (* (log (atan2 b b)) (/ (- b a) 4)) (pow (atan2 b b) (/ b 4)) (pow (atan2 b b) (/ a 4)) (pow (atan2 b b) (- b a)) (pow (atan2 b b) (/ (/ (- b a) 4) 2)) (pow (atan2 b b) (/ (/ (- b a) 4) 2)) (- (+ (* 1/4 (* b (log (atan2 b b)))) 1) (* 1/4 (* a (log (atan2 b b))))) (exp (* 1/4 (* (- b a) (log (atan2 b b))))) (exp (* 1/4 (* (- b a) (log (atan2 b b))))) (- (+ (* 1/4 (* b (log (atan2 b b)))) 1) (* 1/4 (* a (log (atan2 b b))))) (exp (* 1/4 (* (- b a) (log (atan2 b b))))) (exp (* 1/4 (* (- b a) (log (atan2 b b))))) 0.754 * * [simplify]: iteration 0 : 68 enodes (cost 92 ) 0.756 * * [simplify]: iteration 1 : 164 enodes (cost 90 ) 0.759 * * [simplify]: iteration 2 : 418 enodes (cost 76 ) 0.764 * * [simplify]: iteration 3 : 943 enodes (cost 74 ) 0.781 * * [simplify]: iteration 4 : 2916 enodes (cost 70 ) 0.841 * * [simplify]: iteration 5 : 5001 enodes (cost 70 ) 0.842 * [simplify]: Simplified to: (* 1/4 (* (- b a) (log (atan2 b b)))) (pow (atan2 b b) (/ b 4)) (pow (atan2 b b) (/ a 4)) (pow (atan2 b b) (- b a)) (pow (atan2 b b) (/ (- b a) 8)) (pow (atan2 b b) (/ (- b a) 8)) (* 1/4 (* (- b a) (log (atan2 b b)))) (pow (atan2 b b) (/ b 4)) (pow (atan2 b b) (/ a 4)) (pow (atan2 b b) (- b a)) (pow (atan2 b b) (/ (- b a) 8)) (pow (atan2 b b) (/ (- b a) 8)) (fma (* 1/4 (- b a)) (log (atan2 b b)) 1) (pow (atan2 b b) (/ (- b a) 4)) (pow (atan2 b b) (/ (- b a) 4)) (fma (* 1/4 (- b a)) (log (atan2 b b)) 1) (pow (atan2 b b) (/ (- b a) 4)) (pow (atan2 b b) (/ (- b a) 4)) 0.842 * * * [progress]: adding candidates to table 0.878 * * [progress]: iteration 4 / 4 0.878 * * * [progress]: picking best candidate 0.881 * * * * [pick]: Picked # 0.881 * * * [progress]: localizing error 0.891 * * * [progress]: generating rewritten candidates 0.891 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 0.893 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.897 * * * [progress]: generating series expansions 0.897 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 0.897 * [approximate]: Taking taylor expansion of (pow (atan2 b b) (- b a)) in (b a) around 0 0.897 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (- b a)) in a 0.897 * [taylor]: Taking taylor expansion of (exp (* (- b a) (log (atan2 b b)))) in a 0.897 * [taylor]: Taking taylor expansion of (* (- b a) (log (atan2 b b))) in a 0.897 * [taylor]: Taking taylor expansion of (- b a) in a 0.897 * [taylor]: Taking taylor expansion of b in a 0.897 * [taylor]: Taking taylor expansion of a in a 0.897 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.897 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.898 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (- b a)) in b 0.898 * [taylor]: Taking taylor expansion of (exp (* (- b a) (log (atan2 b b)))) in b 0.898 * [taylor]: Taking taylor expansion of (* (- b a) (log (atan2 b b))) in b 0.898 * [taylor]: Taking taylor expansion of (- b a) in b 0.898 * [taylor]: Taking taylor expansion of b in b 0.898 * [taylor]: Taking taylor expansion of a in b 0.898 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in b 0.898 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.898 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (- b a)) in b 0.898 * [taylor]: Taking taylor expansion of (exp (* (- b a) (log (atan2 b b)))) in b 0.898 * [taylor]: Taking taylor expansion of (* (- b a) (log (atan2 b b))) in b 0.898 * [taylor]: Taking taylor expansion of (- b a) in b 0.898 * [taylor]: Taking taylor expansion of b in b 0.898 * [taylor]: Taking taylor expansion of a in b 0.898 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in b 0.898 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.899 * [taylor]: Taking taylor expansion of (exp (* -1 (* a (log (atan2 b b))))) in a 0.899 * [taylor]: Taking taylor expansion of (* -1 (* a (log (atan2 b b)))) in a 0.899 * [taylor]: Taking taylor expansion of -1 in a 0.899 * [taylor]: Taking taylor expansion of (* a (log (atan2 b b))) in a 0.899 * [taylor]: Taking taylor expansion of a in a 0.899 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.899 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.904 * [taylor]: Taking taylor expansion of (* (exp (* -1 (* a (log (atan2 b b))))) (log (atan2 b b))) in a 0.904 * [taylor]: Taking taylor expansion of (exp (* -1 (* a (log (atan2 b b))))) in a 0.904 * [taylor]: Taking taylor expansion of (* -1 (* a (log (atan2 b b)))) in a 0.904 * [taylor]: Taking taylor expansion of -1 in a 0.904 * [taylor]: Taking taylor expansion of (* a (log (atan2 b b))) in a 0.904 * [taylor]: Taking taylor expansion of a in a 0.904 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.904 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.906 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.906 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.906 * [approximate]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))) in (b a) around 0 0.906 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))) in a 0.906 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 b) (/ 1 a)) (log (atan2 (/ 1 b) (/ 1 b))))) in a 0.906 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (log (atan2 (/ 1 b) (/ 1 b)))) in a 0.907 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.907 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.907 * [taylor]: Taking taylor expansion of b in a 0.907 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.907 * [taylor]: Taking taylor expansion of a in a 0.907 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in a 0.907 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.908 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))) in b 0.908 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 b) (/ 1 a)) (log (atan2 (/ 1 b) (/ 1 b))))) in b 0.908 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (log (atan2 (/ 1 b) (/ 1 b)))) in b 0.908 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.908 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.908 * [taylor]: Taking taylor expansion of b in b 0.908 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.908 * [taylor]: Taking taylor expansion of a in b 0.908 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in b 0.908 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.909 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))) in b 0.909 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 b) (/ 1 a)) (log (atan2 (/ 1 b) (/ 1 b))))) in b 0.909 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (log (atan2 (/ 1 b) (/ 1 b)))) in b 0.909 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.909 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.909 * [taylor]: Taking taylor expansion of b in b 0.909 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.909 * [taylor]: Taking taylor expansion of a in b 0.909 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in b 0.909 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.910 * [taylor]: Taking taylor expansion of (exp (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a)))) in a 0.910 * [taylor]: Taking taylor expansion of (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) in a 0.910 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in a 0.910 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.910 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.910 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.910 * [taylor]: Taking taylor expansion of b in a 0.910 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.910 * [taylor]: Taking taylor expansion of a in a 0.911 * [taylor]: Taking taylor expansion of 0 in a 0.911 * [taylor]: Taking taylor expansion of 0 in a 0.911 * [taylor]: Taking taylor expansion of 0 in a 0.912 * [approximate]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))) in (b a) around 0 0.912 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))) in a 0.912 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (atan2 (/ -1 b) (/ -1 b))))) in a 0.912 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (atan2 (/ -1 b) (/ -1 b)))) in a 0.912 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.912 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.912 * [taylor]: Taking taylor expansion of a in a 0.912 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.912 * [taylor]: Taking taylor expansion of b in a 0.912 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in a 0.912 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.913 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))) in b 0.913 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (atan2 (/ -1 b) (/ -1 b))))) in b 0.913 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (atan2 (/ -1 b) (/ -1 b)))) in b 0.913 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.913 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.913 * [taylor]: Taking taylor expansion of a in b 0.913 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.913 * [taylor]: Taking taylor expansion of b in b 0.913 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in b 0.913 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.914 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))) in b 0.914 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (atan2 (/ -1 b) (/ -1 b))))) in b 0.914 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (atan2 (/ -1 b) (/ -1 b)))) in b 0.914 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.914 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.914 * [taylor]: Taking taylor expansion of a in b 0.914 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.914 * [taylor]: Taking taylor expansion of b in b 0.914 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in b 0.914 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.915 * [taylor]: Taking taylor expansion of (exp (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b)))) in a 0.915 * [taylor]: Taking taylor expansion of (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in a 0.915 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in a 0.915 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.915 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.915 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.915 * [taylor]: Taking taylor expansion of a in a 0.916 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.916 * [taylor]: Taking taylor expansion of b in a 0.916 * [taylor]: Taking taylor expansion of 0 in a 0.916 * [taylor]: Taking taylor expansion of 0 in a 0.916 * [taylor]: Taking taylor expansion of 0 in a 0.917 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.917 * [approximate]: Taking taylor expansion of (pow (pow (atan2 b b) (- b a)) 1/2) in (b a) around 0 0.917 * [taylor]: Taking taylor expansion of (pow (pow (atan2 b b) (- b a)) 1/2) in a 0.917 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (pow (atan2 b b) (- b a))))) in a 0.917 * [taylor]: Taking taylor expansion of (* 1/2 (log (pow (atan2 b b) (- b a)))) in a 0.917 * [taylor]: Taking taylor expansion of 1/2 in a 0.917 * [taylor]: Taking taylor expansion of (log (pow (atan2 b b) (- b a))) in a 0.917 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (- b a)) in a 0.917 * [taylor]: Taking taylor expansion of (exp (* (- b a) (log (atan2 b b)))) in a 0.917 * [taylor]: Taking taylor expansion of (* (- b a) (log (atan2 b b))) in a 0.917 * [taylor]: Taking taylor expansion of (- b a) in a 0.917 * [taylor]: Taking taylor expansion of b in a 0.917 * [taylor]: Taking taylor expansion of a in a 0.917 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.917 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.918 * [taylor]: Taking taylor expansion of (pow (pow (atan2 b b) (- b a)) 1/2) in b 0.918 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (pow (atan2 b b) (- b a))))) in b 0.918 * [taylor]: Taking taylor expansion of (* 1/2 (log (pow (atan2 b b) (- b a)))) in b 0.918 * [taylor]: Taking taylor expansion of 1/2 in b 0.918 * [taylor]: Taking taylor expansion of (log (pow (atan2 b b) (- b a))) in b 0.918 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (- b a)) in b 0.918 * [taylor]: Taking taylor expansion of (exp (* (- b a) (log (atan2 b b)))) in b 0.918 * [taylor]: Taking taylor expansion of (* (- b a) (log (atan2 b b))) in b 0.918 * [taylor]: Taking taylor expansion of (- b a) in b 0.918 * [taylor]: Taking taylor expansion of b in b 0.918 * [taylor]: Taking taylor expansion of a in b 0.918 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in b 0.918 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.919 * [taylor]: Taking taylor expansion of (pow (pow (atan2 b b) (- b a)) 1/2) in b 0.919 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (pow (atan2 b b) (- b a))))) in b 0.919 * [taylor]: Taking taylor expansion of (* 1/2 (log (pow (atan2 b b) (- b a)))) in b 0.919 * [taylor]: Taking taylor expansion of 1/2 in b 0.919 * [taylor]: Taking taylor expansion of (log (pow (atan2 b b) (- b a))) in b 0.919 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (- b a)) in b 0.919 * [taylor]: Taking taylor expansion of (exp (* (- b a) (log (atan2 b b)))) in b 0.919 * [taylor]: Taking taylor expansion of (* (- b a) (log (atan2 b b))) in b 0.919 * [taylor]: Taking taylor expansion of (- b a) in b 0.919 * [taylor]: Taking taylor expansion of b in b 0.919 * [taylor]: Taking taylor expansion of a in b 0.919 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in b 0.919 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.919 * [taylor]: Taking taylor expansion of (exp (* -1/2 (* a (log (atan2 b b))))) in a 0.919 * [taylor]: Taking taylor expansion of (* -1/2 (* a (log (atan2 b b)))) in a 0.919 * [taylor]: Taking taylor expansion of -1/2 in a 0.919 * [taylor]: Taking taylor expansion of (* a (log (atan2 b b))) in a 0.919 * [taylor]: Taking taylor expansion of a in a 0.919 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.919 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.923 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (* -1/2 (* a (log (atan2 b b))))) (log (atan2 b b)))) in a 0.923 * [taylor]: Taking taylor expansion of 1/2 in a 0.923 * [taylor]: Taking taylor expansion of (* (exp (* -1/2 (* a (log (atan2 b b))))) (log (atan2 b b))) in a 0.923 * [taylor]: Taking taylor expansion of (exp (* -1/2 (* a (log (atan2 b b))))) in a 0.923 * [taylor]: Taking taylor expansion of (* -1/2 (* a (log (atan2 b b)))) in a 0.923 * [taylor]: Taking taylor expansion of -1/2 in a 0.923 * [taylor]: Taking taylor expansion of (* a (log (atan2 b b))) in a 0.923 * [taylor]: Taking taylor expansion of a in a 0.923 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.923 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.924 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.925 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.926 * [approximate]: Taking taylor expansion of (pow (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))) 1/2) in (b a) around 0 0.926 * [taylor]: Taking taylor expansion of (pow (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))) 1/2) in a 0.926 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a)))))) in a 0.926 * [taylor]: Taking taylor expansion of (* 1/2 (log (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))))) in a 0.926 * [taylor]: Taking taylor expansion of 1/2 in a 0.926 * [taylor]: Taking taylor expansion of (log (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a)))) in a 0.926 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))) in a 0.926 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 b) (/ 1 a)) (log (atan2 (/ 1 b) (/ 1 b))))) in a 0.926 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (log (atan2 (/ 1 b) (/ 1 b)))) in a 0.926 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.926 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.926 * [taylor]: Taking taylor expansion of b in a 0.926 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.926 * [taylor]: Taking taylor expansion of a in a 0.926 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in a 0.926 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.927 * [taylor]: Taking taylor expansion of (pow (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))) 1/2) in b 0.927 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a)))))) in b 0.927 * [taylor]: Taking taylor expansion of (* 1/2 (log (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))))) in b 0.927 * [taylor]: Taking taylor expansion of 1/2 in b 0.927 * [taylor]: Taking taylor expansion of (log (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a)))) in b 0.927 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))) in b 0.928 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 b) (/ 1 a)) (log (atan2 (/ 1 b) (/ 1 b))))) in b 0.928 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (log (atan2 (/ 1 b) (/ 1 b)))) in b 0.928 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.928 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.928 * [taylor]: Taking taylor expansion of b in b 0.928 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.928 * [taylor]: Taking taylor expansion of a in b 0.928 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in b 0.928 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.929 * [taylor]: Taking taylor expansion of (pow (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))) 1/2) in b 0.929 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a)))))) in b 0.929 * [taylor]: Taking taylor expansion of (* 1/2 (log (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))))) in b 0.929 * [taylor]: Taking taylor expansion of 1/2 in b 0.929 * [taylor]: Taking taylor expansion of (log (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a)))) in b 0.929 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))) in b 0.929 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 b) (/ 1 a)) (log (atan2 (/ 1 b) (/ 1 b))))) in b 0.929 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (log (atan2 (/ 1 b) (/ 1 b)))) in b 0.929 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.929 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.929 * [taylor]: Taking taylor expansion of b in b 0.930 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.930 * [taylor]: Taking taylor expansion of a in b 0.930 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in b 0.930 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.931 * [taylor]: Taking taylor expansion of (exp (* 1/2 (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))))) in a 0.931 * [taylor]: Taking taylor expansion of (* 1/2 (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a)))) in a 0.931 * [taylor]: Taking taylor expansion of 1/2 in a 0.931 * [taylor]: Taking taylor expansion of (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) in a 0.931 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in a 0.931 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.932 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.932 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.932 * [taylor]: Taking taylor expansion of b in a 0.932 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.932 * [taylor]: Taking taylor expansion of a in a 0.935 * [taylor]: Taking taylor expansion of 0 in a 0.938 * [taylor]: Taking taylor expansion of 0 in a 0.943 * [taylor]: Taking taylor expansion of 0 in a 0.944 * [approximate]: Taking taylor expansion of (pow (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))) 1/2) in (b a) around 0 0.944 * [taylor]: Taking taylor expansion of (pow (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))) 1/2) in a 0.944 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b)))))) in a 0.944 * [taylor]: Taking taylor expansion of (* 1/2 (log (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))))) in a 0.944 * [taylor]: Taking taylor expansion of 1/2 in a 0.944 * [taylor]: Taking taylor expansion of (log (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b)))) in a 0.944 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))) in a 0.944 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (atan2 (/ -1 b) (/ -1 b))))) in a 0.944 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (atan2 (/ -1 b) (/ -1 b)))) in a 0.944 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.944 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.944 * [taylor]: Taking taylor expansion of a in a 0.944 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.944 * [taylor]: Taking taylor expansion of b in a 0.944 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in a 0.944 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.945 * [taylor]: Taking taylor expansion of (pow (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))) 1/2) in b 0.945 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b)))))) in b 0.945 * [taylor]: Taking taylor expansion of (* 1/2 (log (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))))) in b 0.945 * [taylor]: Taking taylor expansion of 1/2 in b 0.945 * [taylor]: Taking taylor expansion of (log (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b)))) in b 0.945 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))) in b 0.945 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (atan2 (/ -1 b) (/ -1 b))))) in b 0.945 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (atan2 (/ -1 b) (/ -1 b)))) in b 0.945 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.945 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.945 * [taylor]: Taking taylor expansion of a in b 0.945 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.945 * [taylor]: Taking taylor expansion of b in b 0.946 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in b 0.946 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.947 * [taylor]: Taking taylor expansion of (pow (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))) 1/2) in b 0.947 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b)))))) in b 0.947 * [taylor]: Taking taylor expansion of (* 1/2 (log (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))))) in b 0.947 * [taylor]: Taking taylor expansion of 1/2 in b 0.947 * [taylor]: Taking taylor expansion of (log (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b)))) in b 0.947 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))) in b 0.947 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (atan2 (/ -1 b) (/ -1 b))))) in b 0.947 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (atan2 (/ -1 b) (/ -1 b)))) in b 0.947 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.947 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.947 * [taylor]: Taking taylor expansion of a in b 0.947 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.947 * [taylor]: Taking taylor expansion of b in b 0.947 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in b 0.947 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.949 * [taylor]: Taking taylor expansion of (exp (* 1/2 (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))))) in a 0.949 * [taylor]: Taking taylor expansion of (* 1/2 (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b)))) in a 0.949 * [taylor]: Taking taylor expansion of 1/2 in a 0.949 * [taylor]: Taking taylor expansion of (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in a 0.949 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in a 0.949 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.949 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.949 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.949 * [taylor]: Taking taylor expansion of a in a 0.949 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.949 * [taylor]: Taking taylor expansion of b in a 0.952 * [taylor]: Taking taylor expansion of 0 in a 0.955 * [taylor]: Taking taylor expansion of 0 in a 0.959 * [taylor]: Taking taylor expansion of 0 in a 0.959 * * * [progress]: simplifying candidates 0.959 * [simplify]: Simplifying using # : (* (log (atan2 b b)) (- b a)) (pow (atan2 b b) b) (pow (atan2 b b) a) (pow (atan2 b b) b) (pow (atan2 b b) (- a)) (pow (atan2 b b) b) (pow (atan2 b b) (- a)) (pow (atan2 b b) (/ (- b a) 2)) (pow (atan2 b b) (/ (- b a) 2)) (* (* (log (atan2 b b)) (- b a)) (/ 1 2)) (* (log (pow (atan2 b b) (- b a))) (/ 1 2)) (* (- b a) (/ 1 2)) (pow (pow (atan2 b b) (- b a)) 1) (pow (pow (atan2 b b) b) (/ 1 2)) (pow (pow (atan2 b b) (- a)) (/ 1 2)) (pow (pow (atan2 b b) b) (/ 1 2)) (pow (pow (atan2 b b) (- a)) (/ 1 2)) (pow (pow (atan2 b b) (/ (- b a) 2)) (/ 1 2)) (pow (pow (atan2 b b) (/ (- b a) 2)) (/ 1 2)) (pow (pow (atan2 b b) (- b a)) (/ (/ 1 2) 2)) (pow (pow (atan2 b b) (- b a)) (/ (/ 1 2) 2)) (- (+ (* b (log (atan2 b b))) 1) (* a (log (atan2 b b)))) (pow (atan2 b b) (- b a)) (pow (atan2 b b) (- b a)) (- (+ (* 1/2 (* b (log (atan2 b b)))) 1) (* 1/2 (* a (log (atan2 b b))))) (exp (* 1/2 (* (- b a) (log (atan2 b b))))) (exp (* 1/2 (* (- b a) (log (atan2 b b))))) 0.962 * * [simplify]: iteration 0 : 106 enodes (cost 109 ) 0.965 * * [simplify]: iteration 1 : 282 enodes (cost 101 ) 0.970 * * [simplify]: iteration 2 : 973 enodes (cost 98 ) 0.993 * * [simplify]: iteration 3 : 4812 enodes (cost 96 ) 1.141 * * [simplify]: iteration 4 : 5001 enodes (cost 96 ) 1.143 * [simplify]: Simplified to: (log (pow (atan2 b b) (- b a))) (pow (atan2 b b) b) (pow (atan2 b b) a) (pow (atan2 b b) b) (pow (atan2 b b) (- a)) (pow (atan2 b b) b) (pow (atan2 b b) (- a)) (pow (atan2 b b) (* (- b a) 1/2)) (pow (atan2 b b) (* (- b a) 1/2)) (* (* (log (atan2 b b)) (- b a)) 1/2) (* (* (log (atan2 b b)) (- b a)) 1/2) (* (- b a) 1/2) (pow (atan2 b b) (- b a)) (pow (pow (atan2 b b) b) 1/2) (pow (pow (atan2 b b) (- a)) 1/2) (pow (pow (atan2 b b) b) 1/2) (pow (pow (atan2 b b) (- a)) 1/2) (pow (pow (atan2 b b) (/ (- b a) 2)) 1/2) (pow (pow (atan2 b b) (/ (- b a) 2)) 1/2) (pow (pow (atan2 b b) (- b a)) 1/4) (pow (pow (atan2 b b) (- b a)) 1/4) (fma (- b a) (log (atan2 b b)) 1) (pow (atan2 b b) (- b a)) (pow (atan2 b b) (- b a)) (fma (log (atan2 b b)) (* (- b a) 1/2) 1) (pow (atan2 b b) (* (- b a) 1/2)) (pow (atan2 b b) (* (- b a) 1/2)) 1.143 * * * [progress]: adding candidates to table 1.182 * [progress]: [Phase 3 of 3] Extracting. 1.182 * * [regime]: Finding splitpoints for: (# #) 1.183 * * * [regime-changes]: Trying 2 branch expressions: (b a) 1.183 * * * * [regimes]: Trying to branch on b from (# #) 1.198 * * * * [regimes]: Trying to branch on a from (# #) 1.212 * * * [regime]: Found split indices: #