0.871 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.324 * * * [progress]: [2/2] Setting up program. 0.328 * [progress]: [Phase 2 of 3] Improving. 0.330 * [simplify]: Simplifying using # : (sin (pow (sqrt (atan2 b b)) (- b a))) 0.336 * * [simplify]: iteration 0 : 13 enodes (cost 5 ) 0.337 * * [simplify]: iteration 1 : 22 enodes (cost 5 ) 0.338 * * [simplify]: iteration 2 : 44 enodes (cost 5 ) 0.340 * * [simplify]: iteration 3 : 114 enodes (cost 5 ) 0.342 * * [simplify]: iteration 4 : 315 enodes (cost 5 ) 0.349 * * [simplify]: iteration 5 : 1600 enodes (cost 5 ) 0.385 * * [simplify]: iteration 6 : 5001 enodes (cost 5 ) 0.386 * [simplify]: Simplified to: (sin (pow (sqrt (atan2 b b)) (- b a))) 0.388 * * [progress]: iteration 1 / 4 0.388 * * * [progress]: picking best candidate 0.391 * * * * [pick]: Picked # 0.391 * * * [progress]: localizing error 0.403 * * * [progress]: generating rewritten candidates 0.403 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 0.406 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.411 * * * [progress]: generating series expansions 0.411 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 0.415 * [approximate]: Taking taylor expansion of (sqrt (atan2 b b)) in (b) around 0 0.416 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in b 0.416 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.417 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in b 0.417 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.421 * [approximate]: Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in (b) around 0 0.421 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b 0.421 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.421 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b 0.421 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.425 * [approximate]: Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in (b) around 0 0.425 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b 0.425 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.425 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b 0.425 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.428 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.428 * [approximate]: Taking taylor expansion of (pow (sqrt (atan2 b b)) (- b a)) in (b a) around 0 0.428 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 b b)) (- b a)) in a 0.428 * [taylor]: Taking taylor expansion of (exp (* (- b a) (log (sqrt (atan2 b b))))) in a 0.428 * [taylor]: Taking taylor expansion of (* (- b a) (log (sqrt (atan2 b b)))) in a 0.428 * [taylor]: Taking taylor expansion of (- b a) in a 0.428 * [taylor]: Taking taylor expansion of b in a 0.428 * [taylor]: Taking taylor expansion of a in a 0.442 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 b b))) in a 0.442 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in a 0.442 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.444 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 b b)) (- b a)) in b 0.444 * [taylor]: Taking taylor expansion of (exp (* (- b a) (log (sqrt (atan2 b b))))) in b 0.444 * [taylor]: Taking taylor expansion of (* (- b a) (log (sqrt (atan2 b b)))) in b 0.444 * [taylor]: Taking taylor expansion of (- b a) in b 0.444 * [taylor]: Taking taylor expansion of b in b 0.444 * [taylor]: Taking taylor expansion of a in b 0.444 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 b b))) in b 0.444 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in b 0.444 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.444 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 b b)) (- b a)) in b 0.444 * [taylor]: Taking taylor expansion of (exp (* (- b a) (log (sqrt (atan2 b b))))) in b 0.444 * [taylor]: Taking taylor expansion of (* (- b a) (log (sqrt (atan2 b b)))) in b 0.444 * [taylor]: Taking taylor expansion of (- b a) in b 0.444 * [taylor]: Taking taylor expansion of b in b 0.444 * [taylor]: Taking taylor expansion of a in b 0.444 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 b b))) in b 0.444 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in b 0.444 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.445 * [taylor]: Taking taylor expansion of (exp (* -1 (* a (log (sqrt (atan2 b b)))))) in a 0.445 * [taylor]: Taking taylor expansion of (* -1 (* a (log (sqrt (atan2 b b))))) in a 0.445 * [taylor]: Taking taylor expansion of -1 in a 0.445 * [taylor]: Taking taylor expansion of (* a (log (sqrt (atan2 b b)))) in a 0.445 * [taylor]: Taking taylor expansion of a in a 0.445 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 b b))) in a 0.445 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in a 0.445 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.449 * [taylor]: Taking taylor expansion of (* (exp (* -1 (* a (log (sqrt (atan2 b b)))))) (log (sqrt (atan2 b b)))) in a 0.449 * [taylor]: Taking taylor expansion of (exp (* -1 (* a (log (sqrt (atan2 b b)))))) in a 0.449 * [taylor]: Taking taylor expansion of (* -1 (* a (log (sqrt (atan2 b b))))) in a 0.449 * [taylor]: Taking taylor expansion of -1 in a 0.449 * [taylor]: Taking taylor expansion of (* a (log (sqrt (atan2 b b)))) in a 0.449 * [taylor]: Taking taylor expansion of a in a 0.449 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 b b))) in a 0.449 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in a 0.449 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.451 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 b b))) in a 0.451 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in a 0.451 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.453 * [approximate]: Taking taylor expansion of (pow (sqrt (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) in (b a) around 0 0.453 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) in a 0.453 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 b) (/ 1 a)) (log (sqrt (atan2 (/ 1 b) (/ 1 b)))))) in a 0.453 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (log (sqrt (atan2 (/ 1 b) (/ 1 b))))) in a 0.453 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.453 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.453 * [taylor]: Taking taylor expansion of b in a 0.453 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.453 * [taylor]: Taking taylor expansion of a in a 0.453 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ 1 b) (/ 1 b)))) in a 0.453 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in a 0.453 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.454 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) in b 0.454 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 b) (/ 1 a)) (log (sqrt (atan2 (/ 1 b) (/ 1 b)))))) in b 0.454 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (log (sqrt (atan2 (/ 1 b) (/ 1 b))))) in b 0.454 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.454 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.454 * [taylor]: Taking taylor expansion of b in b 0.455 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.455 * [taylor]: Taking taylor expansion of a in b 0.455 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ 1 b) (/ 1 b)))) in b 0.455 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b 0.455 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.455 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) in b 0.456 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 b) (/ 1 a)) (log (sqrt (atan2 (/ 1 b) (/ 1 b)))))) in b 0.456 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (log (sqrt (atan2 (/ 1 b) (/ 1 b))))) in b 0.456 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.456 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.456 * [taylor]: Taking taylor expansion of b in b 0.456 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.456 * [taylor]: Taking taylor expansion of a in b 0.456 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ 1 b) (/ 1 b)))) in b 0.456 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b 0.456 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.457 * [taylor]: Taking taylor expansion of (exp (* (log (sqrt (atan2 (/ 1 b) (/ 1 b)))) (- (/ 1 b) (/ 1 a)))) in a 0.457 * [taylor]: Taking taylor expansion of (* (log (sqrt (atan2 (/ 1 b) (/ 1 b)))) (- (/ 1 b) (/ 1 a))) in a 0.457 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ 1 b) (/ 1 b)))) in a 0.457 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in a 0.457 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.457 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.457 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.457 * [taylor]: Taking taylor expansion of b in a 0.457 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.457 * [taylor]: Taking taylor expansion of a in a 0.459 * [taylor]: Taking taylor expansion of 0 in a 0.459 * [taylor]: Taking taylor expansion of 0 in a 0.459 * [taylor]: Taking taylor expansion of 0 in a 0.459 * [approximate]: Taking taylor expansion of (pow (sqrt (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in (b a) around 0 0.459 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in a 0.459 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b)))))) in a 0.459 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b))))) in a 0.459 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.459 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.459 * [taylor]: Taking taylor expansion of a in a 0.459 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.459 * [taylor]: Taking taylor expansion of b in a 0.460 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ -1 b) (/ -1 b)))) in a 0.460 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in a 0.460 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.460 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in b 0.460 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b)))))) in b 0.460 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b))))) in b 0.460 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.460 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.460 * [taylor]: Taking taylor expansion of a in b 0.460 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.460 * [taylor]: Taking taylor expansion of b in b 0.461 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ -1 b) (/ -1 b)))) in b 0.461 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b 0.461 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.462 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in b 0.462 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b)))))) in b 0.462 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b))))) in b 0.462 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 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 (/ 1 b) in b 0.462 * [taylor]: Taking taylor expansion of b 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 a) (/ 1 b))) in a 0.463 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b)))))) in a 0.463 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b))))) in a 0.463 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.463 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.463 * [taylor]: Taking taylor expansion of a in a 0.464 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.464 * [taylor]: Taking taylor expansion of b in a 0.464 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ -1 b) (/ -1 b)))) in a 0.464 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in a 0.464 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.465 * [taylor]: Taking taylor expansion of 0 in a 0.465 * [taylor]: Taking taylor expansion of 0 in a 0.465 * [taylor]: Taking taylor expansion of 0 in a 0.465 * * * [progress]: simplifying candidates 0.466 * [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.468 * * [simplify]: iteration 0 : 48 enodes (cost 63 ) 0.470 * * [simplify]: iteration 1 : 99 enodes (cost 59 ) 0.472 * * [simplify]: iteration 2 : 207 enodes (cost 59 ) 0.476 * * [simplify]: iteration 3 : 522 enodes (cost 59 ) 0.484 * * [simplify]: iteration 4 : 1631 enodes (cost 59 ) 0.514 * * [simplify]: iteration 5 : 5001 enodes (cost 59 ) 0.515 * [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)) (+ 1 (* (log (sqrt (atan2 b b))) (- b a))) (pow (sqrt (atan2 b b)) (- b a)) (pow (sqrt (atan2 b b)) (- b a)) 0.515 * * * [progress]: adding candidates to table 0.537 * * [progress]: iteration 2 / 4 0.537 * * * [progress]: picking best candidate 0.539 * * * * [pick]: Picked # 0.539 * * * [progress]: localizing error 0.547 * * * [progress]: generating rewritten candidates 0.548 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.550 * * * [progress]: generating series expansions 0.550 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.551 * [approximate]: Taking taylor expansion of (pow (atan2 b b) (* 1/2 (- b a))) in (b a) around 0 0.551 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (* 1/2 (- b a))) in a 0.551 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- b a)) (log (atan2 b b)))) in a 0.551 * [taylor]: Taking taylor expansion of (* (* 1/2 (- b a)) (log (atan2 b b))) in a 0.551 * [taylor]: Taking taylor expansion of (* 1/2 (- b a)) in a 0.551 * [taylor]: Taking taylor expansion of 1/2 in a 0.551 * [taylor]: Taking taylor expansion of (- b a) in a 0.551 * [taylor]: Taking taylor expansion of b in a 0.551 * [taylor]: Taking taylor expansion of a in a 0.551 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.551 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.551 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (* 1/2 (- b a))) in b 0.551 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- b a)) (log (atan2 b b)))) in b 0.552 * [taylor]: Taking taylor expansion of (* (* 1/2 (- b a)) (log (atan2 b b))) in b 0.552 * [taylor]: Taking taylor expansion of (* 1/2 (- b a)) in b 0.552 * [taylor]: Taking taylor expansion of 1/2 in b 0.552 * [taylor]: Taking taylor expansion of (- b a) in b 0.552 * [taylor]: Taking taylor expansion of b in b 0.552 * [taylor]: Taking taylor expansion of a in b 0.552 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in b 0.552 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.552 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (* 1/2 (- b a))) in b 0.552 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- b a)) (log (atan2 b b)))) in b 0.552 * [taylor]: Taking taylor expansion of (* (* 1/2 (- b a)) (log (atan2 b b))) in b 0.552 * [taylor]: Taking taylor expansion of (* 1/2 (- b a)) in b 0.552 * [taylor]: Taking taylor expansion of 1/2 in b 0.552 * [taylor]: Taking taylor expansion of (- b a) in b 0.552 * [taylor]: Taking taylor expansion of b in b 0.552 * [taylor]: Taking taylor expansion of a in b 0.552 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in b 0.552 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.552 * [taylor]: Taking taylor expansion of (exp (* -1/2 (* a (log (atan2 b b))))) in a 0.552 * [taylor]: Taking taylor expansion of (* -1/2 (* a (log (atan2 b b)))) in a 0.552 * [taylor]: Taking taylor expansion of -1/2 in a 0.552 * [taylor]: Taking taylor expansion of (* a (log (atan2 b b))) in a 0.552 * [taylor]: Taking taylor expansion of a in a 0.552 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.552 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.556 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (* -1/2 (* a (log (atan2 b b))))) (log (atan2 b b)))) in a 0.556 * [taylor]: Taking taylor expansion of 1/2 in a 0.556 * [taylor]: Taking taylor expansion of (* (exp (* -1/2 (* a (log (atan2 b b))))) (log (atan2 b b))) in a 0.556 * [taylor]: Taking taylor expansion of (exp (* -1/2 (* a (log (atan2 b b))))) in a 0.556 * [taylor]: Taking taylor expansion of (* -1/2 (* a (log (atan2 b b)))) in a 0.556 * [taylor]: Taking taylor expansion of -1/2 in a 0.556 * [taylor]: Taking taylor expansion of (* a (log (atan2 b b))) in a 0.556 * [taylor]: Taking taylor expansion of a in a 0.556 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.556 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.557 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.557 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.558 * [approximate]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/2 (- (/ 1 b) (/ 1 a)))) in (b a) around 0 0.558 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/2 (- (/ 1 b) (/ 1 a)))) in a 0.558 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b))))) in a 0.558 * [taylor]: Taking taylor expansion of (* (* 1/2 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b)))) in a 0.558 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 b) (/ 1 a))) in a 0.558 * [taylor]: Taking taylor expansion of 1/2 in a 0.558 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.558 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.558 * [taylor]: Taking taylor expansion of b in a 0.558 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.558 * [taylor]: Taking taylor expansion of a in a 0.559 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in a 0.559 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.560 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/2 (- (/ 1 b) (/ 1 a)))) in b 0.560 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b))))) in b 0.560 * [taylor]: Taking taylor expansion of (* (* 1/2 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b)))) in b 0.560 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 b) (/ 1 a))) in b 0.560 * [taylor]: Taking taylor expansion of 1/2 in b 0.560 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.560 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.560 * [taylor]: Taking taylor expansion of b in b 0.560 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.560 * [taylor]: Taking taylor expansion of a in b 0.560 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in b 0.560 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.561 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/2 (- (/ 1 b) (/ 1 a)))) in b 0.561 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b))))) in b 0.561 * [taylor]: Taking taylor expansion of (* (* 1/2 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b)))) in b 0.561 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 b) (/ 1 a))) in b 0.561 * [taylor]: Taking taylor expansion of 1/2 in b 0.561 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.561 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.561 * [taylor]: Taking taylor expansion of b in b 0.562 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.562 * [taylor]: Taking taylor expansion of a in b 0.562 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in b 0.562 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.563 * [taylor]: Taking taylor expansion of (exp (* 1/2 (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))))) in a 0.563 * [taylor]: Taking taylor expansion of (* 1/2 (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a)))) in a 0.563 * [taylor]: Taking taylor expansion of 1/2 in a 0.563 * [taylor]: Taking taylor expansion of (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) in a 0.563 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in a 0.563 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.563 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.563 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.563 * [taylor]: Taking taylor expansion of b in a 0.563 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.563 * [taylor]: Taking taylor expansion of a in a 0.565 * [taylor]: Taking taylor expansion of 0 in a 0.565 * [taylor]: Taking taylor expansion of 0 in a 0.565 * [taylor]: Taking taylor expansion of 0 in a 0.565 * [approximate]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/2 (- (/ 1 a) (/ 1 b)))) in (b a) around 0 0.566 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/2 (- (/ 1 a) (/ 1 b)))) in a 0.566 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b))))) in a 0.566 * [taylor]: Taking taylor expansion of (* (* 1/2 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b)))) in a 0.566 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 a) (/ 1 b))) in a 0.566 * [taylor]: Taking taylor expansion of 1/2 in a 0.566 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 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 (/ 1 b) in a 0.566 * [taylor]: Taking taylor expansion of b 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 a) (/ 1 b)))) in b 0.567 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b))))) in b 0.567 * [taylor]: Taking taylor expansion of (* (* 1/2 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b)))) in b 0.567 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 a) (/ 1 b))) in b 0.567 * [taylor]: Taking taylor expansion of 1/2 in b 0.567 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.567 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.567 * [taylor]: Taking taylor expansion of a in b 0.567 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.567 * [taylor]: Taking taylor expansion of b in b 0.572 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in b 0.572 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 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.574 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.575 * [taylor]: Taking taylor expansion of (exp (* 1/2 (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))))) in a 0.575 * [taylor]: Taking taylor expansion of (* 1/2 (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b)))) in a 0.575 * [taylor]: Taking taylor expansion of 1/2 in a 0.575 * [taylor]: Taking taylor expansion of (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in a 0.575 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in a 0.575 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.576 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.576 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.576 * [taylor]: Taking taylor expansion of a in a 0.576 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.576 * [taylor]: Taking taylor expansion of b in a 0.577 * [taylor]: Taking taylor expansion of 0 in a 0.577 * [taylor]: Taking taylor expansion of 0 in a 0.577 * [taylor]: Taking taylor expansion of 0 in a 0.577 * * * [progress]: simplifying candidates 0.577 * [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.580 * * [simplify]: iteration 0 : 65 enodes (cost 46 ) 0.581 * * [simplify]: iteration 1 : 147 enodes (cost 46 ) 0.584 * * [simplify]: iteration 2 : 348 enodes (cost 38 ) 0.590 * * [simplify]: iteration 3 : 821 enodes (cost 38 ) 0.605 * * [simplify]: iteration 4 : 3528 enodes (cost 36 ) 0.666 * * [simplify]: iteration 5 : 5001 enodes (cost 36 ) 0.667 * [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)) (+ (* 1/2 (* (- b a) (log (atan2 b b)))) 1) (pow (atan2 b b) (/ (- b a) 2)) (pow (atan2 b b) (/ (- b a) 2)) 0.667 * * * [progress]: adding candidates to table 0.681 * * [progress]: iteration 3 / 4 0.681 * * * [progress]: picking best candidate 0.685 * * * * [pick]: Picked # 0.685 * * * [progress]: localizing error 0.695 * * * [progress]: generating rewritten candidates 0.695 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2) 0.697 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 0.700 * * * [progress]: generating series expansions 0.700 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2) 0.700 * [approximate]: Taking taylor expansion of (pow (atan2 b b) (* 1/4 (- b a))) in (b a) around 0 0.701 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (* 1/4 (- b a))) in a 0.701 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- b a)) (log (atan2 b b)))) in a 0.701 * [taylor]: Taking taylor expansion of (* (* 1/4 (- b a)) (log (atan2 b b))) in a 0.701 * [taylor]: Taking taylor expansion of (* 1/4 (- b a)) in a 0.701 * [taylor]: Taking taylor expansion of 1/4 in a 0.701 * [taylor]: Taking taylor expansion of (- b a) in a 0.701 * [taylor]: Taking taylor expansion of b in a 0.701 * [taylor]: Taking taylor expansion of a in a 0.701 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.701 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.701 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (* 1/4 (- b a))) in b 0.701 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- b a)) (log (atan2 b b)))) in b 0.701 * [taylor]: Taking taylor expansion of (* (* 1/4 (- b a)) (log (atan2 b b))) in b 0.701 * [taylor]: Taking taylor expansion of (* 1/4 (- b a)) in b 0.701 * [taylor]: Taking taylor expansion of 1/4 in b 0.701 * [taylor]: Taking taylor expansion of (- b a) in b 0.701 * [taylor]: Taking taylor expansion of b in b 0.701 * [taylor]: Taking taylor expansion of a in b 0.701 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in b 0.701 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.702 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (* 1/4 (- b a))) in b 0.702 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- b a)) (log (atan2 b b)))) in b 0.702 * [taylor]: Taking taylor expansion of (* (* 1/4 (- b a)) (log (atan2 b b))) in b 0.702 * [taylor]: Taking taylor expansion of (* 1/4 (- b a)) in b 0.702 * [taylor]: Taking taylor expansion of 1/4 in b 0.702 * [taylor]: Taking taylor expansion of (- b a) in b 0.702 * [taylor]: Taking taylor expansion of b in b 0.702 * [taylor]: Taking taylor expansion of a in b 0.702 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in b 0.702 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.702 * [taylor]: Taking taylor expansion of (exp (* -1/4 (* a (log (atan2 b b))))) in a 0.702 * [taylor]: Taking taylor expansion of (* -1/4 (* a (log (atan2 b b)))) in a 0.702 * [taylor]: Taking taylor expansion of -1/4 in a 0.702 * [taylor]: Taking taylor expansion of (* a (log (atan2 b b))) in a 0.702 * [taylor]: Taking taylor expansion of a in a 0.702 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.702 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.705 * [taylor]: Taking taylor expansion of (* 1/4 (* (exp (* -1/4 (* a (log (atan2 b b))))) (log (atan2 b b)))) in a 0.705 * [taylor]: Taking taylor expansion of 1/4 in a 0.705 * [taylor]: Taking taylor expansion of (* (exp (* -1/4 (* a (log (atan2 b b))))) (log (atan2 b b))) in a 0.705 * [taylor]: Taking taylor expansion of (exp (* -1/4 (* a (log (atan2 b b))))) in a 0.705 * [taylor]: Taking taylor expansion of (* -1/4 (* a (log (atan2 b b)))) in a 0.705 * [taylor]: Taking taylor expansion of -1/4 in a 0.705 * [taylor]: Taking taylor expansion of (* a (log (atan2 b b))) in a 0.705 * [taylor]: Taking taylor expansion of a in a 0.705 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.706 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.707 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.707 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.708 * [approximate]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/4 (- (/ 1 b) (/ 1 a)))) in (b a) around 0 0.708 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/4 (- (/ 1 b) (/ 1 a)))) in a 0.708 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b))))) in a 0.708 * [taylor]: Taking taylor expansion of (* (* 1/4 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b)))) in a 0.708 * [taylor]: Taking taylor expansion of (* 1/4 (- (/ 1 b) (/ 1 a))) in a 0.708 * [taylor]: Taking taylor expansion of 1/4 in a 0.708 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.708 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.708 * [taylor]: Taking taylor expansion of b in a 0.708 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.708 * [taylor]: Taking taylor expansion of a in a 0.708 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in a 0.708 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.709 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/4 (- (/ 1 b) (/ 1 a)))) in b 0.709 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b))))) in b 0.709 * [taylor]: Taking taylor expansion of (* (* 1/4 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b)))) in b 0.709 * [taylor]: Taking taylor expansion of (* 1/4 (- (/ 1 b) (/ 1 a))) in b 0.709 * [taylor]: Taking taylor expansion of 1/4 in b 0.709 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.709 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.709 * [taylor]: Taking taylor expansion of b in b 0.710 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.710 * [taylor]: Taking taylor expansion of a in b 0.710 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in b 0.710 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.711 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/4 (- (/ 1 b) (/ 1 a)))) in b 0.711 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b))))) in b 0.711 * [taylor]: Taking taylor expansion of (* (* 1/4 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b)))) in b 0.711 * [taylor]: Taking taylor expansion of (* 1/4 (- (/ 1 b) (/ 1 a))) in b 0.711 * [taylor]: Taking taylor expansion of 1/4 in b 0.711 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.711 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.711 * [taylor]: Taking taylor expansion of b in b 0.711 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.711 * [taylor]: Taking taylor expansion of a in b 0.711 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in b 0.711 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.712 * [taylor]: Taking taylor expansion of (exp (* 1/4 (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))))) in a 0.712 * [taylor]: Taking taylor expansion of (* 1/4 (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a)))) in a 0.712 * [taylor]: Taking taylor expansion of 1/4 in a 0.712 * [taylor]: Taking taylor expansion of (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) in a 0.712 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in a 0.712 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.712 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.712 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.712 * [taylor]: Taking taylor expansion of b in a 0.712 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.712 * [taylor]: Taking taylor expansion of a in a 0.714 * [taylor]: Taking taylor expansion of 0 in a 0.714 * [taylor]: Taking taylor expansion of 0 in a 0.714 * [taylor]: Taking taylor expansion of 0 in a 0.714 * [approximate]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/4 (- (/ 1 a) (/ 1 b)))) in (b a) around 0 0.714 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/4 (- (/ 1 a) (/ 1 b)))) in a 0.714 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b))))) in a 0.714 * [taylor]: Taking taylor expansion of (* (* 1/4 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b)))) in a 0.714 * [taylor]: Taking taylor expansion of (* 1/4 (- (/ 1 a) (/ 1 b))) in a 0.714 * [taylor]: Taking taylor expansion of 1/4 in a 0.714 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.714 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.714 * [taylor]: Taking taylor expansion of a in a 0.714 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.714 * [taylor]: Taking taylor expansion of b in a 0.714 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in a 0.715 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.715 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/4 (- (/ 1 a) (/ 1 b)))) in b 0.715 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b))))) in b 0.715 * [taylor]: Taking taylor expansion of (* (* 1/4 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b)))) in b 0.715 * [taylor]: Taking taylor expansion of (* 1/4 (- (/ 1 a) (/ 1 b))) in b 0.715 * [taylor]: Taking taylor expansion of 1/4 in b 0.715 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.716 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.716 * [taylor]: Taking taylor expansion of a in b 0.716 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.716 * [taylor]: Taking taylor expansion of b in b 0.716 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in b 0.716 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.717 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/4 (- (/ 1 a) (/ 1 b)))) in b 0.717 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b))))) in b 0.717 * [taylor]: Taking taylor expansion of (* (* 1/4 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b)))) in b 0.717 * [taylor]: Taking taylor expansion of (* 1/4 (- (/ 1 a) (/ 1 b))) in b 0.717 * [taylor]: Taking taylor expansion of 1/4 in b 0.717 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.717 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.717 * [taylor]: Taking taylor expansion of a in b 0.717 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.717 * [taylor]: Taking taylor expansion of b in b 0.718 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in b 0.718 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.719 * [taylor]: Taking taylor expansion of (exp (* 1/4 (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))))) in a 0.719 * [taylor]: Taking taylor expansion of (* 1/4 (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b)))) in a 0.719 * [taylor]: Taking taylor expansion of 1/4 in a 0.719 * [taylor]: Taking taylor expansion of (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in a 0.719 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in a 0.719 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.719 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.719 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.719 * [taylor]: Taking taylor expansion of a in a 0.719 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.719 * [taylor]: Taking taylor expansion of b in a 0.720 * [taylor]: Taking taylor expansion of 0 in a 0.720 * [taylor]: Taking taylor expansion of 0 in a 0.720 * [taylor]: Taking taylor expansion of 0 in a 0.720 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 0.720 * [approximate]: Taking taylor expansion of (pow (atan2 b b) (* 1/4 (- b a))) in (b a) around 0 0.721 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (* 1/4 (- b a))) in a 0.721 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- b a)) (log (atan2 b b)))) in a 0.721 * [taylor]: Taking taylor expansion of (* (* 1/4 (- b a)) (log (atan2 b b))) in a 0.721 * [taylor]: Taking taylor expansion of (* 1/4 (- b a)) in a 0.721 * [taylor]: Taking taylor expansion of 1/4 in a 0.721 * [taylor]: Taking taylor expansion of (- b a) in a 0.721 * [taylor]: Taking taylor expansion of b in a 0.721 * [taylor]: Taking taylor expansion of a in a 0.721 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.721 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.721 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (* 1/4 (- b a))) in b 0.721 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- b a)) (log (atan2 b b)))) in b 0.721 * [taylor]: Taking taylor expansion of (* (* 1/4 (- b a)) (log (atan2 b b))) in b 0.721 * [taylor]: Taking taylor expansion of (* 1/4 (- b a)) in b 0.721 * [taylor]: Taking taylor expansion of 1/4 in b 0.721 * [taylor]: Taking taylor expansion of (- b a) in b 0.721 * [taylor]: Taking taylor expansion of b in b 0.721 * [taylor]: Taking taylor expansion of a in b 0.721 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in b 0.721 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.722 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (* 1/4 (- b a))) in b 0.722 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- b a)) (log (atan2 b b)))) in b 0.722 * [taylor]: Taking taylor expansion of (* (* 1/4 (- b a)) (log (atan2 b b))) in b 0.722 * [taylor]: Taking taylor expansion of (* 1/4 (- b a)) in b 0.722 * [taylor]: Taking taylor expansion of 1/4 in b 0.722 * [taylor]: Taking taylor expansion of (- b a) in b 0.722 * [taylor]: Taking taylor expansion of b in b 0.722 * [taylor]: Taking taylor expansion of a in b 0.722 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in b 0.722 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.722 * [taylor]: Taking taylor expansion of (exp (* -1/4 (* a (log (atan2 b b))))) in a 0.722 * [taylor]: Taking taylor expansion of (* -1/4 (* a (log (atan2 b b)))) in a 0.722 * [taylor]: Taking taylor expansion of -1/4 in a 0.722 * [taylor]: Taking taylor expansion of (* a (log (atan2 b b))) in a 0.722 * [taylor]: Taking taylor expansion of a in a 0.722 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.722 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.725 * [taylor]: Taking taylor expansion of (* 1/4 (* (exp (* -1/4 (* a (log (atan2 b b))))) (log (atan2 b b)))) in a 0.725 * [taylor]: Taking taylor expansion of 1/4 in a 0.725 * [taylor]: Taking taylor expansion of (* (exp (* -1/4 (* a (log (atan2 b b))))) (log (atan2 b b))) in a 0.725 * [taylor]: Taking taylor expansion of (exp (* -1/4 (* a (log (atan2 b b))))) in a 0.725 * [taylor]: Taking taylor expansion of (* -1/4 (* a (log (atan2 b b)))) in a 0.725 * [taylor]: Taking taylor expansion of -1/4 in a 0.725 * [taylor]: Taking taylor expansion of (* a (log (atan2 b b))) in a 0.725 * [taylor]: Taking taylor expansion of a in a 0.725 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.725 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.727 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.727 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.728 * [approximate]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/4 (- (/ 1 b) (/ 1 a)))) in (b a) around 0 0.728 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/4 (- (/ 1 b) (/ 1 a)))) in a 0.728 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b))))) in a 0.728 * [taylor]: Taking taylor expansion of (* (* 1/4 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b)))) in a 0.728 * [taylor]: Taking taylor expansion of (* 1/4 (- (/ 1 b) (/ 1 a))) in a 0.728 * [taylor]: Taking taylor expansion of 1/4 in a 0.728 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 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.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 (log (atan2 (/ 1 b) (/ 1 b))) in a 0.728 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.729 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/4 (- (/ 1 b) (/ 1 a)))) in b 0.729 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b))))) in b 0.729 * [taylor]: Taking taylor expansion of (* (* 1/4 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b)))) in b 0.729 * [taylor]: Taking taylor expansion of (* 1/4 (- (/ 1 b) (/ 1 a))) in b 0.729 * [taylor]: Taking taylor expansion of 1/4 in b 0.729 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.729 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.729 * [taylor]: Taking taylor expansion of b in b 0.729 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.730 * [taylor]: Taking taylor expansion of a in b 0.730 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in b 0.730 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.730 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/4 (- (/ 1 b) (/ 1 a)))) in b 0.730 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b))))) in b 0.730 * [taylor]: Taking taylor expansion of (* (* 1/4 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b)))) in b 0.730 * [taylor]: Taking taylor expansion of (* 1/4 (- (/ 1 b) (/ 1 a))) in b 0.730 * [taylor]: Taking taylor expansion of 1/4 in b 0.731 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.731 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.731 * [taylor]: Taking taylor expansion of b in b 0.731 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.731 * [taylor]: Taking taylor expansion of a in b 0.731 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in b 0.731 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.732 * [taylor]: Taking taylor expansion of (exp (* 1/4 (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))))) in a 0.732 * [taylor]: Taking taylor expansion of (* 1/4 (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a)))) in a 0.732 * [taylor]: Taking taylor expansion of 1/4 in a 0.732 * [taylor]: Taking taylor expansion of (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) in a 0.732 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in a 0.732 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.732 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.732 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.732 * [taylor]: Taking taylor expansion of b in a 0.732 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.732 * [taylor]: Taking taylor expansion of a in a 0.733 * [taylor]: Taking taylor expansion of 0 in a 0.733 * [taylor]: Taking taylor expansion of 0 in a 0.733 * [taylor]: Taking taylor expansion of 0 in a 0.734 * [approximate]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/4 (- (/ 1 a) (/ 1 b)))) in (b a) around 0 0.734 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/4 (- (/ 1 a) (/ 1 b)))) in a 0.734 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b))))) in a 0.734 * [taylor]: Taking taylor expansion of (* (* 1/4 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b)))) in a 0.734 * [taylor]: Taking taylor expansion of (* 1/4 (- (/ 1 a) (/ 1 b))) in a 0.734 * [taylor]: Taking taylor expansion of 1/4 in a 0.734 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.734 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.734 * [taylor]: Taking taylor expansion of a in a 0.734 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.734 * [taylor]: Taking taylor expansion of b in a 0.734 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in a 0.734 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.735 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/4 (- (/ 1 a) (/ 1 b)))) in b 0.735 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b))))) in b 0.735 * [taylor]: Taking taylor expansion of (* (* 1/4 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b)))) in b 0.735 * [taylor]: Taking taylor expansion of (* 1/4 (- (/ 1 a) (/ 1 b))) in b 0.735 * [taylor]: Taking taylor expansion of 1/4 in b 0.735 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.735 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.735 * [taylor]: Taking taylor expansion of a in b 0.735 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.735 * [taylor]: Taking taylor expansion of b in b 0.736 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in b 0.736 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.737 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/4 (- (/ 1 a) (/ 1 b)))) in b 0.737 * [taylor]: Taking taylor expansion of (exp (* (* 1/4 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b))))) in b 0.737 * [taylor]: Taking taylor expansion of (* (* 1/4 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b)))) in b 0.737 * [taylor]: Taking taylor expansion of (* 1/4 (- (/ 1 a) (/ 1 b))) in b 0.737 * [taylor]: Taking taylor expansion of 1/4 in b 0.737 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.737 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.737 * [taylor]: Taking taylor expansion of a in b 0.737 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.737 * [taylor]: Taking taylor expansion of b in b 0.737 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in b 0.737 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.738 * [taylor]: Taking taylor expansion of (exp (* 1/4 (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))))) in a 0.738 * [taylor]: Taking taylor expansion of (* 1/4 (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b)))) in a 0.738 * [taylor]: Taking taylor expansion of 1/4 in a 0.738 * [taylor]: Taking taylor expansion of (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in a 0.738 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in a 0.738 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.738 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.738 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.738 * [taylor]: Taking taylor expansion of a in a 0.739 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.739 * [taylor]: Taking taylor expansion of b 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 * * * [progress]: simplifying candidates 0.743 * [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.745 * * [simplify]: iteration 0 : 67 enodes (cost 92 ) 0.747 * * [simplify]: iteration 1 : 158 enodes (cost 92 ) 0.750 * * [simplify]: iteration 2 : 386 enodes (cost 76 ) 0.755 * * [simplify]: iteration 3 : 841 enodes (cost 76 ) 0.769 * * [simplify]: iteration 4 : 2730 enodes (cost 72 ) 0.830 * * [simplify]: iteration 5 : 5003 enodes (cost 72 ) 0.830 * [simplify]: Simplified to: (* (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) 8)) (pow (atan2 b b) (/ (- b a) 8)) (* (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) 8)) (pow (atan2 b b) (/ (- b a) 8)) (+ (* 1/4 (* (- b a) (log (atan2 b b)))) 1) (pow (atan2 b b) (/ (- b a) 4)) (pow (atan2 b b) (/ (- b a) 4)) (+ (* 1/4 (* (- b a) (log (atan2 b b)))) 1) (pow (atan2 b b) (/ (- b a) 4)) (pow (atan2 b b) (/ (- b a) 4)) 0.830 * * * [progress]: adding candidates to table 0.863 * * [progress]: iteration 4 / 4 0.863 * * * [progress]: picking best candidate 0.865 * * * * [pick]: Picked # 0.866 * * * [progress]: localizing error 0.876 * * * [progress]: generating rewritten candidates 0.876 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 0.878 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.882 * * * [progress]: generating series expansions 0.882 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 0.882 * [approximate]: Taking taylor expansion of (pow (atan2 b b) (- b a)) in (b a) around 0 0.882 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (- b a)) in a 0.882 * [taylor]: Taking taylor expansion of (exp (* (- b a) (log (atan2 b b)))) in a 0.882 * [taylor]: Taking taylor expansion of (* (- b a) (log (atan2 b b))) in a 0.882 * [taylor]: Taking taylor expansion of (- b a) in a 0.882 * [taylor]: Taking taylor expansion of b in a 0.882 * [taylor]: Taking taylor expansion of a in a 0.882 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.882 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.883 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (- b a)) in b 0.883 * [taylor]: Taking taylor expansion of (exp (* (- b a) (log (atan2 b b)))) in b 0.883 * [taylor]: Taking taylor expansion of (* (- b a) (log (atan2 b b))) in b 0.883 * [taylor]: Taking taylor expansion of (- b a) in b 0.883 * [taylor]: Taking taylor expansion of b in b 0.883 * [taylor]: Taking taylor expansion of a in b 0.883 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in b 0.883 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.883 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (- b a)) in b 0.883 * [taylor]: Taking taylor expansion of (exp (* (- b a) (log (atan2 b b)))) in b 0.883 * [taylor]: Taking taylor expansion of (* (- b a) (log (atan2 b b))) in b 0.883 * [taylor]: Taking taylor expansion of (- b a) in b 0.883 * [taylor]: Taking taylor expansion of b in b 0.883 * [taylor]: Taking taylor expansion of a in b 0.883 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in b 0.883 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.883 * [taylor]: Taking taylor expansion of (exp (* -1 (* a (log (atan2 b b))))) in a 0.883 * [taylor]: Taking taylor expansion of (* -1 (* a (log (atan2 b b)))) in a 0.883 * [taylor]: Taking taylor expansion of -1 in a 0.883 * [taylor]: Taking taylor expansion of (* a (log (atan2 b b))) in a 0.883 * [taylor]: Taking taylor expansion of a in a 0.883 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.883 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.888 * [taylor]: Taking taylor expansion of (* (exp (* -1 (* a (log (atan2 b b))))) (log (atan2 b b))) in a 0.889 * [taylor]: Taking taylor expansion of (exp (* -1 (* a (log (atan2 b b))))) in a 0.889 * [taylor]: Taking taylor expansion of (* -1 (* a (log (atan2 b b)))) in a 0.889 * [taylor]: Taking taylor expansion of -1 in a 0.889 * [taylor]: Taking taylor expansion of (* a (log (atan2 b b))) in a 0.889 * [taylor]: Taking taylor expansion of a in a 0.889 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.889 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.890 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.890 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.891 * [approximate]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))) in (b a) around 0 0.891 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))) in a 0.891 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 b) (/ 1 a)) (log (atan2 (/ 1 b) (/ 1 b))))) in a 0.891 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (log (atan2 (/ 1 b) (/ 1 b)))) in a 0.891 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.891 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.891 * [taylor]: Taking taylor expansion of b in a 0.891 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.891 * [taylor]: Taking taylor expansion of a in a 0.891 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in a 0.891 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.892 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))) in b 0.892 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 b) (/ 1 a)) (log (atan2 (/ 1 b) (/ 1 b))))) in b 0.892 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (log (atan2 (/ 1 b) (/ 1 b)))) in b 0.892 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.892 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.892 * [taylor]: Taking taylor expansion of b in b 0.892 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.892 * [taylor]: Taking taylor expansion of a in b 0.893 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in b 0.893 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.893 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))) in b 0.893 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 b) (/ 1 a)) (log (atan2 (/ 1 b) (/ 1 b))))) in b 0.893 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (log (atan2 (/ 1 b) (/ 1 b)))) in b 0.893 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.893 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.893 * [taylor]: Taking taylor expansion of b in b 0.893 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.893 * [taylor]: Taking taylor expansion of a in b 0.894 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in b 0.894 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.894 * [taylor]: Taking taylor expansion of (exp (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a)))) in a 0.894 * [taylor]: Taking taylor expansion of (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) in a 0.894 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in a 0.894 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.894 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.894 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.894 * [taylor]: Taking taylor expansion of b in a 0.894 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.894 * [taylor]: Taking taylor expansion of a in a 0.896 * [taylor]: Taking taylor expansion of 0 in a 0.896 * [taylor]: Taking taylor expansion of 0 in a 0.896 * [taylor]: Taking taylor expansion of 0 in a 0.896 * [approximate]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))) in (b a) around 0 0.896 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))) in a 0.896 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (atan2 (/ -1 b) (/ -1 b))))) in a 0.896 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (atan2 (/ -1 b) (/ -1 b)))) in a 0.896 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.896 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.896 * [taylor]: Taking taylor expansion of a in a 0.896 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.896 * [taylor]: Taking taylor expansion of b in a 0.896 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in a 0.896 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.897 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))) in b 0.897 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (atan2 (/ -1 b) (/ -1 b))))) in b 0.897 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (atan2 (/ -1 b) (/ -1 b)))) in b 0.897 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.897 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.897 * [taylor]: Taking taylor expansion of a in b 0.897 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.897 * [taylor]: Taking taylor expansion of b in b 0.897 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in b 0.897 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.898 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))) in b 0.898 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (atan2 (/ -1 b) (/ -1 b))))) in b 0.898 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (atan2 (/ -1 b) (/ -1 b)))) in b 0.898 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.898 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.898 * [taylor]: Taking taylor expansion of a in b 0.898 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.898 * [taylor]: Taking taylor expansion of b in b 0.899 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in b 0.899 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.900 * [taylor]: Taking taylor expansion of (exp (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b)))) in a 0.900 * [taylor]: Taking taylor expansion of (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in a 0.900 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in a 0.900 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.900 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.900 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.900 * [taylor]: Taking taylor expansion of a in a 0.900 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.900 * [taylor]: Taking taylor expansion of b in a 0.901 * [taylor]: Taking taylor expansion of 0 in a 0.901 * [taylor]: Taking taylor expansion of 0 in a 0.901 * [taylor]: Taking taylor expansion of 0 in a 0.901 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.902 * [approximate]: Taking taylor expansion of (pow (pow (atan2 b b) (- b a)) 1/2) in (b a) around 0 0.902 * [taylor]: Taking taylor expansion of (pow (pow (atan2 b b) (- b a)) 1/2) in a 0.902 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (pow (atan2 b b) (- b a))))) in a 0.902 * [taylor]: Taking taylor expansion of (* 1/2 (log (pow (atan2 b b) (- b a)))) in a 0.902 * [taylor]: Taking taylor expansion of 1/2 in a 0.902 * [taylor]: Taking taylor expansion of (log (pow (atan2 b b) (- b a))) in a 0.902 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (- b a)) in a 0.902 * [taylor]: Taking taylor expansion of (exp (* (- b a) (log (atan2 b b)))) in a 0.902 * [taylor]: Taking taylor expansion of (* (- b a) (log (atan2 b b))) in a 0.902 * [taylor]: Taking taylor expansion of (- b a) in a 0.902 * [taylor]: Taking taylor expansion of b in a 0.902 * [taylor]: Taking taylor expansion of a in a 0.902 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.902 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.902 * [taylor]: Taking taylor expansion of (pow (pow (atan2 b b) (- b a)) 1/2) in b 0.902 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (pow (atan2 b b) (- b a))))) in b 0.902 * [taylor]: Taking taylor expansion of (* 1/2 (log (pow (atan2 b b) (- b a)))) in b 0.903 * [taylor]: Taking taylor expansion of 1/2 in b 0.903 * [taylor]: Taking taylor expansion of (log (pow (atan2 b b) (- b a))) in b 0.903 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (- b a)) in b 0.903 * [taylor]: Taking taylor expansion of (exp (* (- b a) (log (atan2 b b)))) in b 0.903 * [taylor]: Taking taylor expansion of (* (- b a) (log (atan2 b b))) in b 0.903 * [taylor]: Taking taylor expansion of (- b a) in b 0.903 * [taylor]: Taking taylor expansion of b in b 0.903 * [taylor]: Taking taylor expansion of a in b 0.903 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in b 0.903 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.903 * [taylor]: Taking taylor expansion of (pow (pow (atan2 b b) (- b a)) 1/2) in b 0.903 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (pow (atan2 b b) (- b a))))) in b 0.903 * [taylor]: Taking taylor expansion of (* 1/2 (log (pow (atan2 b b) (- b a)))) in b 0.903 * [taylor]: Taking taylor expansion of 1/2 in b 0.903 * [taylor]: Taking taylor expansion of (log (pow (atan2 b b) (- b a))) in b 0.903 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (- b a)) in b 0.903 * [taylor]: Taking taylor expansion of (exp (* (- b a) (log (atan2 b b)))) in b 0.903 * [taylor]: Taking taylor expansion of (* (- b a) (log (atan2 b b))) in b 0.903 * [taylor]: Taking taylor expansion of (- b a) in b 0.903 * [taylor]: Taking taylor expansion of b in b 0.903 * [taylor]: Taking taylor expansion of a in b 0.903 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in b 0.903 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.904 * [taylor]: Taking taylor expansion of (exp (* -1/2 (* a (log (atan2 b b))))) in a 0.904 * [taylor]: Taking taylor expansion of (* -1/2 (* a (log (atan2 b b)))) in a 0.904 * [taylor]: Taking taylor expansion of -1/2 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.907 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (* -1/2 (* a (log (atan2 b b))))) (log (atan2 b b)))) in a 0.907 * [taylor]: Taking taylor expansion of 1/2 in a 0.907 * [taylor]: Taking taylor expansion of (* (exp (* -1/2 (* a (log (atan2 b b))))) (log (atan2 b b))) in a 0.907 * [taylor]: Taking taylor expansion of (exp (* -1/2 (* a (log (atan2 b b))))) in a 0.907 * [taylor]: Taking taylor expansion of (* -1/2 (* a (log (atan2 b b)))) in a 0.907 * [taylor]: Taking taylor expansion of -1/2 in a 0.907 * [taylor]: Taking taylor expansion of (* a (log (atan2 b b))) in a 0.907 * [taylor]: Taking taylor expansion of a in a 0.907 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.908 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.909 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.909 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.910 * [approximate]: Taking taylor expansion of (pow (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))) 1/2) in (b a) around 0 0.910 * [taylor]: Taking taylor expansion of (pow (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))) 1/2) in a 0.910 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a)))))) in a 0.910 * [taylor]: Taking taylor expansion of (* 1/2 (log (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))))) in a 0.910 * [taylor]: Taking taylor expansion of 1/2 in a 0.910 * [taylor]: Taking taylor expansion of (log (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a)))) in a 0.910 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))) in a 0.910 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 b) (/ 1 a)) (log (atan2 (/ 1 b) (/ 1 b))))) in a 0.910 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (log (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 (log (atan2 (/ 1 b) (/ 1 b))) in a 0.911 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.912 * [taylor]: Taking taylor expansion of (pow (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))) 1/2) in b 0.912 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a)))))) in b 0.912 * [taylor]: Taking taylor expansion of (* 1/2 (log (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))))) in b 0.912 * [taylor]: Taking taylor expansion of 1/2 in b 0.912 * [taylor]: Taking taylor expansion of (log (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a)))) in b 0.912 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))) in b 0.912 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 b) (/ 1 a)) (log (atan2 (/ 1 b) (/ 1 b))))) in b 0.912 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (log (atan2 (/ 1 b) (/ 1 b)))) in b 0.912 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.912 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.912 * [taylor]: Taking taylor expansion of b in b 0.912 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.912 * [taylor]: Taking taylor expansion of a in b 0.912 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in b 0.912 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.913 * [taylor]: Taking taylor expansion of (pow (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))) 1/2) in b 0.913 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a)))))) in b 0.913 * [taylor]: Taking taylor expansion of (* 1/2 (log (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))))) in b 0.913 * [taylor]: Taking taylor expansion of 1/2 in b 0.913 * [taylor]: Taking taylor expansion of (log (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a)))) in b 0.914 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (- (/ 1 b) (/ 1 a))) in b 0.914 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 b) (/ 1 a)) (log (atan2 (/ 1 b) (/ 1 b))))) in b 0.914 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (log (atan2 (/ 1 b) (/ 1 b)))) in b 0.914 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 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 (/ 1 a) in b 0.914 * [taylor]: Taking taylor expansion of a 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 (* 1/2 (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))))) in a 0.915 * [taylor]: Taking taylor expansion of (* 1/2 (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a)))) in a 0.915 * [taylor]: Taking taylor expansion of 1/2 in a 0.915 * [taylor]: Taking taylor expansion of (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) 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 b) (/ 1 a)) in a 0.915 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.915 * [taylor]: Taking taylor expansion of 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.918 * [taylor]: Taking taylor expansion of 0 in a 0.922 * [taylor]: Taking taylor expansion of 0 in a 0.926 * [taylor]: Taking taylor expansion of 0 in a 0.927 * [approximate]: Taking taylor expansion of (pow (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))) 1/2) in (b a) around 0 0.927 * [taylor]: Taking taylor expansion of (pow (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))) 1/2) in a 0.927 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b)))))) in a 0.927 * [taylor]: Taking taylor expansion of (* 1/2 (log (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))))) in a 0.927 * [taylor]: Taking taylor expansion of 1/2 in a 0.927 * [taylor]: Taking taylor expansion of (log (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b)))) in a 0.927 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))) in a 0.927 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (atan2 (/ -1 b) (/ -1 b))))) in a 0.927 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (atan2 (/ -1 b) (/ -1 b)))) in a 0.927 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.927 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.927 * [taylor]: Taking taylor expansion of a in a 0.927 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.927 * [taylor]: Taking taylor expansion of b in a 0.927 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in a 0.928 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.929 * [taylor]: Taking taylor expansion of (pow (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))) 1/2) in b 0.929 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b)))))) in b 0.929 * [taylor]: Taking taylor expansion of (* 1/2 (log (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))))) 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 a) (/ 1 b)))) in b 0.929 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))) in b 0.929 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (atan2 (/ -1 b) (/ -1 b))))) in b 0.929 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (atan2 (/ -1 b) (/ -1 b)))) in b 0.929 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.929 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.929 * [taylor]: Taking taylor expansion of 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.929 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in b 0.929 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.931 * [taylor]: Taking taylor expansion of (pow (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))) 1/2) in b 0.931 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b)))))) in b 0.931 * [taylor]: Taking taylor expansion of (* 1/2 (log (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))))) in b 0.931 * [taylor]: Taking taylor expansion of 1/2 in b 0.931 * [taylor]: Taking taylor expansion of (log (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b)))) in b 0.931 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (- (/ 1 a) (/ 1 b))) in b 0.931 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (atan2 (/ -1 b) (/ -1 b))))) in b 0.931 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (atan2 (/ -1 b) (/ -1 b)))) in b 0.931 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.931 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.931 * [taylor]: Taking taylor expansion of a in b 0.931 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.931 * [taylor]: Taking taylor expansion of b in b 0.931 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in b 0.931 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.932 * [taylor]: Taking taylor expansion of (exp (* 1/2 (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))))) in a 0.933 * [taylor]: Taking taylor expansion of (* 1/2 (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b)))) in a 0.933 * [taylor]: Taking taylor expansion of 1/2 in a 0.933 * [taylor]: Taking taylor expansion of (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in a 0.933 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in a 0.933 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.933 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.933 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.933 * [taylor]: Taking taylor expansion of a in a 0.933 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.933 * [taylor]: Taking taylor expansion of b in a 0.936 * [taylor]: Taking taylor expansion of 0 in a 0.939 * [taylor]: Taking taylor expansion of 0 in a 0.943 * [taylor]: Taking taylor expansion of 0 in a 0.944 * * * [progress]: simplifying candidates 0.944 * [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.947 * * [simplify]: iteration 0 : 104 enodes (cost 109 ) 0.949 * * [simplify]: iteration 1 : 272 enodes (cost 102 ) 0.954 * * [simplify]: iteration 2 : 927 enodes (cost 98 ) 0.977 * * [simplify]: iteration 3 : 4505 enodes (cost 98 ) 1.122 * * [simplify]: iteration 4 : 5001 enodes (cost 98 ) 1.123 * [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) (+ 1 (log (pow (atan2 b b) (- b a)))) (pow (atan2 b b) (- b a)) (pow (atan2 b b) (- b a)) (+ (* (* (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.123 * * * [progress]: adding candidates to table 1.159 * [progress]: [Phase 3 of 3] Extracting. 1.160 * * [regime]: Finding splitpoints for: (# #) 1.160 * * * [regime-changes]: Trying 2 branch expressions: (b a) 1.161 * * * * [regimes]: Trying to branch on b from (# #) 1.174 * * * * [regimes]: Trying to branch on a from (# #) 1.189 * * * [regime]: Found split indices: #