0.879 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.317 * * * [progress]: [2/2] Setting up program. 0.321 * [progress]: [Phase 2 of 3] Improving. 0.323 * [simplify]: Simplifying using # : (sin (pow (sqrt (atan2 b b)) (- b a))) 0.326 * * [simplify]: iteration 0 : 13 enodes (cost 5 ) 0.327 * * [simplify]: iteration 1 : 22 enodes (cost 5 ) 0.329 * * [simplify]: iteration 2 : 44 enodes (cost 5 ) 0.330 * * [simplify]: iteration 3 : 114 enodes (cost 5 ) 0.333 * * [simplify]: iteration 4 : 315 enodes (cost 5 ) 0.340 * * [simplify]: iteration 5 : 1600 enodes (cost 5 ) 0.374 * * [simplify]: iteration 6 : 5001 enodes (cost 5 ) 0.375 * [simplify]: Simplified to: (sin (pow (sqrt (atan2 b b)) (- b a))) 0.376 * * [progress]: iteration 1 / 4 0.376 * * * [progress]: picking best candidate 0.379 * * * * [pick]: Picked # 0.379 * * * [progress]: localizing error 0.390 * * * [progress]: generating rewritten candidates 0.390 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 0.393 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.397 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.400 * * * [progress]: generating series expansions 0.401 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 0.404 * [approximate]: Taking taylor expansion of (sqrt (atan2 b b)) in (b) around 0 0.405 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in b 0.405 * [taylor]: Taking taylor expansion of (atan2 b b) in b 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.410 * [approximate]: Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in (b) around 0 0.410 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b 0.410 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.410 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b 0.410 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.427 * [approximate]: Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in (b) around 0 0.427 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b 0.427 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.428 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b 0.428 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.431 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.431 * [approximate]: Taking taylor expansion of (pow (sqrt (atan2 b b)) (- b a)) in (b a) around 0 0.431 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 b b)) (- b a)) in a 0.431 * [taylor]: Taking taylor expansion of (exp (* (- b a) (log (sqrt (atan2 b b))))) in a 0.431 * [taylor]: Taking taylor expansion of (* (- b a) (log (sqrt (atan2 b b)))) in a 0.431 * [taylor]: Taking taylor expansion of (- b a) in a 0.431 * [taylor]: Taking taylor expansion of b in a 0.431 * [taylor]: Taking taylor expansion of a in a 0.432 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 b b))) in a 0.432 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in a 0.432 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.433 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 b b)) (- b a)) in b 0.433 * [taylor]: Taking taylor expansion of (exp (* (- b a) (log (sqrt (atan2 b b))))) in b 0.433 * [taylor]: Taking taylor expansion of (* (- b a) (log (sqrt (atan2 b b)))) in b 0.433 * [taylor]: Taking taylor expansion of (- b a) in b 0.433 * [taylor]: Taking taylor expansion of b in b 0.433 * [taylor]: Taking taylor expansion of a in b 0.433 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 b b))) in b 0.433 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in b 0.433 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.434 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 b b)) (- b a)) in b 0.434 * [taylor]: Taking taylor expansion of (exp (* (- b a) (log (sqrt (atan2 b b))))) in b 0.434 * [taylor]: Taking taylor expansion of (* (- b a) (log (sqrt (atan2 b b)))) in b 0.434 * [taylor]: Taking taylor expansion of (- b a) in b 0.434 * [taylor]: Taking taylor expansion of b in b 0.434 * [taylor]: Taking taylor expansion of a in b 0.434 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 b b))) in b 0.434 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in b 0.434 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.435 * [taylor]: Taking taylor expansion of (exp (* -1 (* a (log (sqrt (atan2 b b)))))) in a 0.435 * [taylor]: Taking taylor expansion of (* -1 (* a (log (sqrt (atan2 b b))))) in a 0.435 * [taylor]: Taking taylor expansion of -1 in a 0.435 * [taylor]: Taking taylor expansion of (* a (log (sqrt (atan2 b b)))) in a 0.435 * [taylor]: Taking taylor expansion of a in a 0.435 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 b b))) in a 0.435 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in a 0.435 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.440 * [taylor]: Taking taylor expansion of (* (exp (* -1 (* a (log (sqrt (atan2 b b)))))) (log (sqrt (atan2 b b)))) in a 0.440 * [taylor]: Taking taylor expansion of (exp (* -1 (* a (log (sqrt (atan2 b b)))))) in a 0.440 * [taylor]: Taking taylor expansion of (* -1 (* a (log (sqrt (atan2 b b))))) in a 0.440 * [taylor]: Taking taylor expansion of -1 in a 0.440 * [taylor]: Taking taylor expansion of (* a (log (sqrt (atan2 b b)))) in a 0.440 * [taylor]: Taking taylor expansion of a in a 0.440 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 b b))) in a 0.440 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in a 0.440 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.441 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 b b))) in a 0.441 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in a 0.441 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.443 * [approximate]: Taking taylor expansion of (pow (sqrt (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) in (b a) around 0 0.443 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) in a 0.443 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 b) (/ 1 a)) (log (sqrt (atan2 (/ 1 b) (/ 1 b)))))) in a 0.443 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (log (sqrt (atan2 (/ 1 b) (/ 1 b))))) in a 0.443 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.443 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.443 * [taylor]: Taking taylor expansion of b in a 0.443 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.443 * [taylor]: Taking taylor expansion of a in a 0.443 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ 1 b) (/ 1 b)))) in a 0.443 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in a 0.443 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.444 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) in b 0.445 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 b) (/ 1 a)) (log (sqrt (atan2 (/ 1 b) (/ 1 b)))))) in b 0.445 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (log (sqrt (atan2 (/ 1 b) (/ 1 b))))) in b 0.445 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.445 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.445 * [taylor]: Taking taylor expansion of b in b 0.445 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.445 * [taylor]: Taking taylor expansion of a in b 0.445 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ 1 b) (/ 1 b)))) in b 0.445 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b 0.445 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.446 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) in b 0.446 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 b) (/ 1 a)) (log (sqrt (atan2 (/ 1 b) (/ 1 b)))))) in b 0.446 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (log (sqrt (atan2 (/ 1 b) (/ 1 b))))) in b 0.446 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.446 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.446 * [taylor]: Taking taylor expansion of b in b 0.446 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.446 * [taylor]: Taking taylor expansion of a in b 0.446 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ 1 b) (/ 1 b)))) in b 0.446 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b 0.446 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.447 * [taylor]: Taking taylor expansion of (exp (* (log (sqrt (atan2 (/ 1 b) (/ 1 b)))) (- (/ 1 b) (/ 1 a)))) in a 0.447 * [taylor]: Taking taylor expansion of (* (log (sqrt (atan2 (/ 1 b) (/ 1 b)))) (- (/ 1 b) (/ 1 a))) in a 0.447 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ 1 b) (/ 1 b)))) in a 0.447 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in a 0.447 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.447 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.447 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.447 * [taylor]: Taking taylor expansion of b in a 0.447 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.448 * [taylor]: Taking taylor expansion of a in a 0.449 * [taylor]: Taking taylor expansion of 0 in a 0.449 * [taylor]: Taking taylor expansion of 0 in a 0.449 * [taylor]: Taking taylor expansion of 0 in a 0.449 * [approximate]: Taking taylor expansion of (pow (sqrt (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in (b a) around 0 0.449 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in a 0.449 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b)))))) in a 0.449 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b))))) in a 0.449 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.449 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.449 * [taylor]: Taking taylor expansion of a in a 0.449 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.449 * [taylor]: Taking taylor expansion of b in a 0.450 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ -1 b) (/ -1 b)))) in a 0.450 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in a 0.450 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.450 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in b 0.450 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b)))))) in b 0.450 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b))))) in b 0.450 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.450 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.450 * [taylor]: Taking taylor expansion of a in b 0.450 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.450 * [taylor]: Taking taylor expansion of b in b 0.451 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ -1 b) (/ -1 b)))) in b 0.451 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b 0.451 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.452 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in b 0.452 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b)))))) in b 0.452 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b))))) in b 0.452 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.452 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.452 * [taylor]: Taking taylor expansion of a in b 0.452 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.452 * [taylor]: Taking taylor expansion of b in b 0.452 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ -1 b) (/ -1 b)))) in b 0.452 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b 0.452 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.453 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in a 0.453 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b)))))) in a 0.453 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b))))) in a 0.453 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 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 (/ 1 b) in a 0.453 * [taylor]: Taking taylor expansion of b 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 0 in a 0.454 * [taylor]: Taking taylor expansion of 0 in a 0.454 * [taylor]: Taking taylor expansion of 0 in a 0.455 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.455 * [approximate]: Taking taylor expansion of (sin (pow (sqrt (atan2 b b)) (- b a))) in (b a) around 0 0.455 * [taylor]: Taking taylor expansion of (sin (pow (sqrt (atan2 b b)) (- b a))) in a 0.455 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 b b)) (- b a)) in a 0.455 * [taylor]: Taking taylor expansion of (exp (* (- b a) (log (sqrt (atan2 b b))))) in a 0.455 * [taylor]: Taking taylor expansion of (* (- b a) (log (sqrt (atan2 b b)))) in a 0.455 * [taylor]: Taking taylor expansion of (- b a) in a 0.455 * [taylor]: Taking taylor expansion of b in a 0.455 * [taylor]: Taking taylor expansion of a in a 0.455 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 b b))) in a 0.455 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in a 0.455 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.456 * [taylor]: Taking taylor expansion of (sin (pow (sqrt (atan2 b b)) (- b a))) in b 0.456 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 b b)) (- b a)) in b 0.456 * [taylor]: Taking taylor expansion of (exp (* (- b a) (log (sqrt (atan2 b b))))) in b 0.456 * [taylor]: Taking taylor expansion of (* (- b a) (log (sqrt (atan2 b b)))) in b 0.456 * [taylor]: Taking taylor expansion of (- b a) in b 0.456 * [taylor]: Taking taylor expansion of b in b 0.456 * [taylor]: Taking taylor expansion of a in b 0.456 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 b b))) in b 0.456 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in b 0.456 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.456 * [taylor]: Taking taylor expansion of (sin (pow (sqrt (atan2 b b)) (- b a))) in b 0.456 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 b b)) (- b a)) in b 0.456 * [taylor]: Taking taylor expansion of (exp (* (- b a) (log (sqrt (atan2 b b))))) in b 0.456 * [taylor]: Taking taylor expansion of (* (- b a) (log (sqrt (atan2 b b)))) in b 0.456 * [taylor]: Taking taylor expansion of (- b a) in b 0.456 * [taylor]: Taking taylor expansion of b in b 0.456 * [taylor]: Taking taylor expansion of a in b 0.457 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 b b))) in b 0.457 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in b 0.457 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.458 * [taylor]: Taking taylor expansion of (sin (exp (* -1 (* a (log (sqrt (atan2 b b))))))) in a 0.458 * [taylor]: Taking taylor expansion of (exp (* -1 (* a (log (sqrt (atan2 b b)))))) in a 0.458 * [taylor]: Taking taylor expansion of (* -1 (* a (log (sqrt (atan2 b b))))) in a 0.458 * [taylor]: Taking taylor expansion of -1 in a 0.458 * [taylor]: Taking taylor expansion of (* a (log (sqrt (atan2 b b)))) in a 0.458 * [taylor]: Taking taylor expansion of a in a 0.458 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 b b))) in a 0.458 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in a 0.458 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.465 * [taylor]: Taking taylor expansion of (* (cos (exp (* -1 (* a (log (sqrt (atan2 b b))))))) (* (exp (* -1 (* a (log (sqrt (atan2 b b)))))) (log (sqrt (atan2 b b))))) in a 0.465 * [taylor]: Taking taylor expansion of (cos (exp (* -1 (* a (log (sqrt (atan2 b b))))))) in a 0.465 * [taylor]: Taking taylor expansion of (exp (* -1 (* a (log (sqrt (atan2 b b)))))) in a 0.465 * [taylor]: Taking taylor expansion of (* -1 (* a (log (sqrt (atan2 b b))))) in a 0.465 * [taylor]: Taking taylor expansion of -1 in a 0.465 * [taylor]: Taking taylor expansion of (* a (log (sqrt (atan2 b b)))) in a 0.465 * [taylor]: Taking taylor expansion of a in a 0.465 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 b b))) in a 0.465 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in a 0.465 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.467 * [taylor]: Taking taylor expansion of (* (exp (* -1 (* a (log (sqrt (atan2 b b)))))) (log (sqrt (atan2 b b)))) in a 0.467 * [taylor]: Taking taylor expansion of (exp (* -1 (* a (log (sqrt (atan2 b b)))))) in a 0.467 * [taylor]: Taking taylor expansion of (* -1 (* a (log (sqrt (atan2 b b))))) in a 0.467 * [taylor]: Taking taylor expansion of -1 in a 0.467 * [taylor]: Taking taylor expansion of (* a (log (sqrt (atan2 b b)))) in a 0.467 * [taylor]: Taking taylor expansion of a in a 0.467 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 b b))) in a 0.467 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in a 0.467 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.468 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 b b))) in a 0.469 * [taylor]: Taking taylor expansion of (sqrt (atan2 b b)) in a 0.469 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.474 * [approximate]: Taking taylor expansion of (sin (pow (sqrt (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a)))) in (b a) around 0 0.474 * [taylor]: Taking taylor expansion of (sin (pow (sqrt (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a)))) in a 0.474 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) in a 0.474 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 b) (/ 1 a)) (log (sqrt (atan2 (/ 1 b) (/ 1 b)))))) in a 0.474 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (log (sqrt (atan2 (/ 1 b) (/ 1 b))))) in a 0.474 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.474 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.474 * [taylor]: Taking taylor expansion of b in a 0.474 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.474 * [taylor]: Taking taylor expansion of a in a 0.475 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ 1 b) (/ 1 b)))) in a 0.475 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in a 0.475 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.476 * [taylor]: Taking taylor expansion of (sin (pow (sqrt (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a)))) in b 0.476 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) in b 0.476 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 b) (/ 1 a)) (log (sqrt (atan2 (/ 1 b) (/ 1 b)))))) in b 0.476 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (log (sqrt (atan2 (/ 1 b) (/ 1 b))))) in b 0.476 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.476 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.476 * [taylor]: Taking taylor expansion of b in b 0.476 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.476 * [taylor]: Taking taylor expansion of a in b 0.476 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ 1 b) (/ 1 b)))) in b 0.476 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b 0.476 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.477 * [taylor]: Taking taylor expansion of (sin (pow (sqrt (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a)))) in b 0.477 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) in b 0.477 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 b) (/ 1 a)) (log (sqrt (atan2 (/ 1 b) (/ 1 b)))))) in b 0.477 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (log (sqrt (atan2 (/ 1 b) (/ 1 b))))) in b 0.478 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.478 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.478 * [taylor]: Taking taylor expansion of b in b 0.478 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.478 * [taylor]: Taking taylor expansion of a in b 0.478 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ 1 b) (/ 1 b)))) in b 0.478 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in b 0.478 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.479 * [taylor]: Taking taylor expansion of (sin (exp (* (log (sqrt (atan2 (/ 1 b) (/ 1 b)))) (- (/ 1 b) (/ 1 a))))) in a 0.479 * [taylor]: Taking taylor expansion of (exp (* (log (sqrt (atan2 (/ 1 b) (/ 1 b)))) (- (/ 1 b) (/ 1 a)))) in a 0.479 * [taylor]: Taking taylor expansion of (* (log (sqrt (atan2 (/ 1 b) (/ 1 b)))) (- (/ 1 b) (/ 1 a))) in a 0.479 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ 1 b) (/ 1 b)))) in a 0.479 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ 1 b) (/ 1 b))) in a 0.479 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.480 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.480 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.480 * [taylor]: Taking taylor expansion of b in a 0.480 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.480 * [taylor]: Taking taylor expansion of a in a 0.483 * [taylor]: Taking taylor expansion of 0 in a 0.487 * [taylor]: Taking taylor expansion of 0 in a 0.493 * [taylor]: Taking taylor expansion of 0 in a 0.493 * [approximate]: Taking taylor expansion of (sin (pow (sqrt (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b)))) in (b a) around 0 0.493 * [taylor]: Taking taylor expansion of (sin (pow (sqrt (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b)))) in a 0.493 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in a 0.493 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b)))))) in a 0.493 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b))))) in a 0.493 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.493 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.493 * [taylor]: Taking taylor expansion of a in a 0.493 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.493 * [taylor]: Taking taylor expansion of b in a 0.494 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ -1 b) (/ -1 b)))) in a 0.494 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in a 0.494 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.495 * [taylor]: Taking taylor expansion of (sin (pow (sqrt (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b)))) in b 0.495 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in b 0.495 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b)))))) in b 0.495 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b))))) in b 0.495 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.495 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.495 * [taylor]: Taking taylor expansion of a in b 0.495 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.495 * [taylor]: Taking taylor expansion of b in b 0.495 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ -1 b) (/ -1 b)))) in b 0.495 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b 0.495 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.496 * [taylor]: Taking taylor expansion of (sin (pow (sqrt (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b)))) in b 0.496 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in b 0.496 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b)))))) in b 0.496 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b))))) in b 0.496 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.496 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.496 * [taylor]: Taking taylor expansion of a in b 0.496 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.496 * [taylor]: Taking taylor expansion of b in b 0.497 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ -1 b) (/ -1 b)))) in b 0.497 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in b 0.497 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.499 * [taylor]: Taking taylor expansion of (sin (pow (sqrt (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b)))) in a 0.499 * [taylor]: Taking taylor expansion of (pow (sqrt (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in a 0.499 * [taylor]: Taking taylor expansion of (exp (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b)))))) in a 0.499 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (log (sqrt (atan2 (/ -1 b) (/ -1 b))))) in a 0.499 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.499 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.499 * [taylor]: Taking taylor expansion of a in a 0.499 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.499 * [taylor]: Taking taylor expansion of b in a 0.499 * [taylor]: Taking taylor expansion of (log (sqrt (atan2 (/ -1 b) (/ -1 b)))) in a 0.499 * [taylor]: Taking taylor expansion of (sqrt (atan2 (/ -1 b) (/ -1 b))) in a 0.499 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.503 * [taylor]: Taking taylor expansion of 0 in a 0.507 * [taylor]: Taking taylor expansion of 0 in a 0.512 * [taylor]: Taking taylor expansion of 0 in a 0.512 * * * [progress]: simplifying candidates 0.513 * [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)) (- (+ (* (cos 1) (* b (log (sqrt (atan2 b b))))) (sin 1)) (* a (* (cos 1) (log (sqrt (atan2 b b)))))) (sin (pow (sqrt (atan2 b b)) (- b a))) (sin (pow (sqrt (atan2 b b)) (- b a))) 0.516 * * [simplify]: iteration 0 : 68 enodes (cost 88 ) 0.517 * * [simplify]: iteration 1 : 145 enodes (cost 84 ) 0.520 * * [simplify]: iteration 2 : 283 enodes (cost 78 ) 0.525 * * [simplify]: iteration 3 : 615 enodes (cost 78 ) 0.535 * * [simplify]: iteration 4 : 1718 enodes (cost 78 ) 0.565 * * [simplify]: iteration 5 : 5002 enodes (cost 78 ) 0.566 * [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)) (+ (* (cos 1) (* (log (sqrt (atan2 b b))) (- b a))) (sin 1)) (sin (pow (sqrt (atan2 b b)) (- b a))) (sin (pow (sqrt (atan2 b b)) (- b a))) 0.566 * * * [progress]: adding candidates to table 0.595 * * [progress]: iteration 2 / 4 0.595 * * * [progress]: picking best candidate 0.597 * * * * [pick]: Picked # 0.597 * * * [progress]: localizing error 0.606 * * * [progress]: generating rewritten candidates 0.606 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.608 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.611 * * * [progress]: generating series expansions 0.611 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.611 * [approximate]: Taking taylor expansion of (pow (atan2 b b) (* 1/2 (- b a))) in (b a) around 0 0.611 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (* 1/2 (- b a))) in a 0.611 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- b a)) (log (atan2 b b)))) in a 0.611 * [taylor]: Taking taylor expansion of (* (* 1/2 (- b a)) (log (atan2 b b))) in a 0.611 * [taylor]: Taking taylor expansion of (* 1/2 (- b a)) in a 0.611 * [taylor]: Taking taylor expansion of 1/2 in a 0.611 * [taylor]: Taking taylor expansion of (- b a) in a 0.611 * [taylor]: Taking taylor expansion of b in a 0.611 * [taylor]: Taking taylor expansion of a in a 0.611 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.611 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.612 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (* 1/2 (- b a))) in b 0.612 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- b a)) (log (atan2 b b)))) in b 0.612 * [taylor]: Taking taylor expansion of (* (* 1/2 (- b a)) (log (atan2 b b))) in b 0.612 * [taylor]: Taking taylor expansion of (* 1/2 (- b a)) in b 0.612 * [taylor]: Taking taylor expansion of 1/2 in b 0.612 * [taylor]: Taking taylor expansion of (- b a) in b 0.612 * [taylor]: Taking taylor expansion of b in b 0.612 * [taylor]: Taking taylor expansion of a in b 0.612 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in b 0.612 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.612 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (* 1/2 (- b a))) in b 0.612 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- b a)) (log (atan2 b b)))) in b 0.612 * [taylor]: Taking taylor expansion of (* (* 1/2 (- b a)) (log (atan2 b b))) in b 0.612 * [taylor]: Taking taylor expansion of (* 1/2 (- b a)) in b 0.612 * [taylor]: Taking taylor expansion of 1/2 in b 0.612 * [taylor]: Taking taylor expansion of (- b a) in b 0.612 * [taylor]: Taking taylor expansion of b in b 0.612 * [taylor]: Taking taylor expansion of a in b 0.612 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in b 0.612 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.612 * [taylor]: Taking taylor expansion of (exp (* -1/2 (* a (log (atan2 b b))))) in a 0.612 * [taylor]: Taking taylor expansion of (* -1/2 (* a (log (atan2 b b)))) in a 0.612 * [taylor]: Taking taylor expansion of -1/2 in a 0.613 * [taylor]: Taking taylor expansion of (* a (log (atan2 b b))) in a 0.613 * [taylor]: Taking taylor expansion of a in a 0.613 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.613 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.616 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (* -1/2 (* a (log (atan2 b b))))) (log (atan2 b b)))) in a 0.616 * [taylor]: Taking taylor expansion of 1/2 in a 0.616 * [taylor]: Taking taylor expansion of (* (exp (* -1/2 (* a (log (atan2 b b))))) (log (atan2 b b))) in a 0.616 * [taylor]: Taking taylor expansion of (exp (* -1/2 (* a (log (atan2 b b))))) in a 0.616 * [taylor]: Taking taylor expansion of (* -1/2 (* a (log (atan2 b b)))) in a 0.616 * [taylor]: Taking taylor expansion of -1/2 in a 0.616 * [taylor]: Taking taylor expansion of (* a (log (atan2 b b))) in a 0.616 * [taylor]: Taking taylor expansion of a in a 0.616 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.616 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.617 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.617 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.618 * [approximate]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/2 (- (/ 1 b) (/ 1 a)))) in (b a) around 0 0.618 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/2 (- (/ 1 b) (/ 1 a)))) in a 0.618 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b))))) in a 0.618 * [taylor]: Taking taylor expansion of (* (* 1/2 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b)))) in a 0.618 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 b) (/ 1 a))) in a 0.618 * [taylor]: Taking taylor expansion of 1/2 in a 0.618 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.618 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.618 * [taylor]: Taking taylor expansion of b in a 0.618 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.618 * [taylor]: Taking taylor expansion of a in a 0.619 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in a 0.619 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.620 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/2 (- (/ 1 b) (/ 1 a)))) in b 0.620 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b))))) in b 0.620 * [taylor]: Taking taylor expansion of (* (* 1/2 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b)))) in b 0.620 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 b) (/ 1 a))) in b 0.620 * [taylor]: Taking taylor expansion of 1/2 in b 0.620 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.620 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.620 * [taylor]: Taking taylor expansion of b in b 0.620 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.620 * [taylor]: Taking taylor expansion of a in b 0.620 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in b 0.620 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.621 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/2 (- (/ 1 b) (/ 1 a)))) in b 0.621 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b))))) in b 0.621 * [taylor]: Taking taylor expansion of (* (* 1/2 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b)))) in b 0.621 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 b) (/ 1 a))) in b 0.621 * [taylor]: Taking taylor expansion of 1/2 in b 0.621 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.621 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.621 * [taylor]: Taking taylor expansion of b in b 0.621 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.622 * [taylor]: Taking taylor expansion of a in b 0.622 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in b 0.622 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.623 * [taylor]: Taking taylor expansion of (exp (* 1/2 (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))))) in a 0.623 * [taylor]: Taking taylor expansion of (* 1/2 (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a)))) in a 0.623 * [taylor]: Taking taylor expansion of 1/2 in a 0.623 * [taylor]: Taking taylor expansion of (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) in a 0.623 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in a 0.623 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.623 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.623 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.623 * [taylor]: Taking taylor expansion of b in a 0.623 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.623 * [taylor]: Taking taylor expansion of a in a 0.624 * [taylor]: Taking taylor expansion of 0 in a 0.624 * [taylor]: Taking taylor expansion of 0 in a 0.624 * [taylor]: Taking taylor expansion of 0 in a 0.625 * [approximate]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/2 (- (/ 1 a) (/ 1 b)))) in (b a) around 0 0.625 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/2 (- (/ 1 a) (/ 1 b)))) in a 0.625 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b))))) in a 0.625 * [taylor]: Taking taylor expansion of (* (* 1/2 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b)))) in a 0.625 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 a) (/ 1 b))) in a 0.625 * [taylor]: Taking taylor expansion of 1/2 in a 0.625 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.625 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.625 * [taylor]: Taking taylor expansion of a in a 0.625 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.625 * [taylor]: Taking taylor expansion of b in a 0.625 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in a 0.625 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.626 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/2 (- (/ 1 a) (/ 1 b)))) in b 0.626 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b))))) in b 0.626 * [taylor]: Taking taylor expansion of (* (* 1/2 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b)))) in b 0.626 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 a) (/ 1 b))) in b 0.626 * [taylor]: Taking taylor expansion of 1/2 in b 0.626 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.626 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.626 * [taylor]: Taking taylor expansion of a in b 0.626 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.626 * [taylor]: Taking taylor expansion of b in b 0.627 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in b 0.627 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.628 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/2 (- (/ 1 a) (/ 1 b)))) in b 0.628 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b))))) in b 0.628 * [taylor]: Taking taylor expansion of (* (* 1/2 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b)))) in b 0.628 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 a) (/ 1 b))) in b 0.628 * [taylor]: Taking taylor expansion of 1/2 in b 0.628 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.628 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.628 * [taylor]: Taking taylor expansion of a in b 0.628 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.628 * [taylor]: Taking taylor expansion of b in b 0.628 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in b 0.628 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.629 * [taylor]: Taking taylor expansion of (exp (* 1/2 (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))))) in a 0.629 * [taylor]: Taking taylor expansion of (* 1/2 (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b)))) in a 0.629 * [taylor]: Taking taylor expansion of 1/2 in a 0.629 * [taylor]: Taking taylor expansion of (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in a 0.629 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in a 0.629 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.629 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.629 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.629 * [taylor]: Taking taylor expansion of a in a 0.630 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.630 * [taylor]: Taking taylor expansion of b in a 0.631 * [taylor]: Taking taylor expansion of 0 in a 0.631 * [taylor]: Taking taylor expansion of 0 in a 0.631 * [taylor]: Taking taylor expansion of 0 in a 0.631 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.631 * [approximate]: Taking taylor expansion of (sin (pow (atan2 b b) (* 1/2 (- b a)))) in (b a) around 0 0.631 * [taylor]: Taking taylor expansion of (sin (pow (atan2 b b) (* 1/2 (- b a)))) in a 0.631 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (* 1/2 (- b a))) in a 0.631 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- b a)) (log (atan2 b b)))) in a 0.631 * [taylor]: Taking taylor expansion of (* (* 1/2 (- b a)) (log (atan2 b b))) in a 0.631 * [taylor]: Taking taylor expansion of (* 1/2 (- b a)) in a 0.631 * [taylor]: Taking taylor expansion of 1/2 in a 0.631 * [taylor]: Taking taylor expansion of (- b a) in a 0.631 * [taylor]: Taking taylor expansion of b in a 0.631 * [taylor]: Taking taylor expansion of a in a 0.631 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.631 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.632 * [taylor]: Taking taylor expansion of (sin (pow (atan2 b b) (* 1/2 (- b a)))) in b 0.632 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (* 1/2 (- b a))) in b 0.632 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- b a)) (log (atan2 b b)))) in b 0.632 * [taylor]: Taking taylor expansion of (* (* 1/2 (- b a)) (log (atan2 b b))) in b 0.632 * [taylor]: Taking taylor expansion of (* 1/2 (- b a)) in b 0.632 * [taylor]: Taking taylor expansion of 1/2 in b 0.632 * [taylor]: Taking taylor expansion of (- b a) in b 0.632 * [taylor]: Taking taylor expansion of b in b 0.632 * [taylor]: Taking taylor expansion of a in b 0.632 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in b 0.632 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.632 * [taylor]: Taking taylor expansion of (sin (pow (atan2 b b) (* 1/2 (- b a)))) in b 0.632 * [taylor]: Taking taylor expansion of (pow (atan2 b b) (* 1/2 (- b a))) in b 0.632 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- b a)) (log (atan2 b b)))) in b 0.633 * [taylor]: Taking taylor expansion of (* (* 1/2 (- b a)) (log (atan2 b b))) in b 0.633 * [taylor]: Taking taylor expansion of (* 1/2 (- b a)) in b 0.633 * [taylor]: Taking taylor expansion of 1/2 in b 0.633 * [taylor]: Taking taylor expansion of (- b a) in b 0.633 * [taylor]: Taking taylor expansion of b in b 0.633 * [taylor]: Taking taylor expansion of a in b 0.633 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in b 0.633 * [taylor]: Taking taylor expansion of (atan2 b b) in b 0.633 * [taylor]: Taking taylor expansion of (sin (exp (* -1/2 (* a (log (atan2 b b)))))) in a 0.633 * [taylor]: Taking taylor expansion of (exp (* -1/2 (* a (log (atan2 b b))))) in a 0.633 * [taylor]: Taking taylor expansion of (* -1/2 (* a (log (atan2 b b)))) in a 0.633 * [taylor]: Taking taylor expansion of -1/2 in a 0.633 * [taylor]: Taking taylor expansion of (* a (log (atan2 b b))) in a 0.633 * [taylor]: Taking taylor expansion of a in a 0.634 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.634 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.641 * [taylor]: Taking taylor expansion of (* 1/2 (* (exp (* -1/2 (* a (log (atan2 b b))))) (* (cos (exp (* -1/2 (* a (log (atan2 b b)))))) (log (atan2 b b))))) in a 0.641 * [taylor]: Taking taylor expansion of 1/2 in a 0.641 * [taylor]: Taking taylor expansion of (* (exp (* -1/2 (* a (log (atan2 b b))))) (* (cos (exp (* -1/2 (* a (log (atan2 b b)))))) (log (atan2 b b)))) in a 0.641 * [taylor]: Taking taylor expansion of (exp (* -1/2 (* a (log (atan2 b b))))) in a 0.641 * [taylor]: Taking taylor expansion of (* -1/2 (* a (log (atan2 b b)))) in a 0.641 * [taylor]: Taking taylor expansion of -1/2 in a 0.641 * [taylor]: Taking taylor expansion of (* a (log (atan2 b b))) in a 0.641 * [taylor]: Taking taylor expansion of a in a 0.641 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.641 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.642 * [taylor]: Taking taylor expansion of (* (cos (exp (* -1/2 (* a (log (atan2 b b)))))) (log (atan2 b b))) in a 0.642 * [taylor]: Taking taylor expansion of (cos (exp (* -1/2 (* a (log (atan2 b b)))))) in a 0.642 * [taylor]: Taking taylor expansion of (exp (* -1/2 (* a (log (atan2 b b))))) in a 0.642 * [taylor]: Taking taylor expansion of (* -1/2 (* a (log (atan2 b b)))) in a 0.642 * [taylor]: Taking taylor expansion of -1/2 in a 0.643 * [taylor]: Taking taylor expansion of (* a (log (atan2 b b))) in a 0.643 * [taylor]: Taking taylor expansion of a in a 0.643 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.643 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.644 * [taylor]: Taking taylor expansion of (log (atan2 b b)) in a 0.644 * [taylor]: Taking taylor expansion of (atan2 b b) in a 0.653 * [approximate]: Taking taylor expansion of (sin (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/2 (- (/ 1 b) (/ 1 a))))) in (b a) around 0 0.654 * [taylor]: Taking taylor expansion of (sin (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/2 (- (/ 1 b) (/ 1 a))))) in a 0.654 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/2 (- (/ 1 b) (/ 1 a)))) in a 0.654 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b))))) in a 0.654 * [taylor]: Taking taylor expansion of (* (* 1/2 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b)))) in a 0.654 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 b) (/ 1 a))) in a 0.654 * [taylor]: Taking taylor expansion of 1/2 in a 0.654 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.654 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.654 * [taylor]: Taking taylor expansion of b in a 0.654 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.654 * [taylor]: Taking taylor expansion of a in a 0.654 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in a 0.654 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.655 * [taylor]: Taking taylor expansion of (sin (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/2 (- (/ 1 b) (/ 1 a))))) in b 0.655 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/2 (- (/ 1 b) (/ 1 a)))) in b 0.655 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b))))) in b 0.655 * [taylor]: Taking taylor expansion of (* (* 1/2 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b)))) in b 0.655 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 b) (/ 1 a))) in b 0.656 * [taylor]: Taking taylor expansion of 1/2 in b 0.656 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.656 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.656 * [taylor]: Taking taylor expansion of b in b 0.656 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.656 * [taylor]: Taking taylor expansion of a in b 0.656 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in b 0.656 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.657 * [taylor]: Taking taylor expansion of (sin (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/2 (- (/ 1 b) (/ 1 a))))) in b 0.657 * [taylor]: Taking taylor expansion of (pow (atan2 (/ 1 b) (/ 1 b)) (* 1/2 (- (/ 1 b) (/ 1 a)))) in b 0.657 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b))))) in b 0.657 * [taylor]: Taking taylor expansion of (* (* 1/2 (- (/ 1 b) (/ 1 a))) (log (atan2 (/ 1 b) (/ 1 b)))) in b 0.657 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 b) (/ 1 a))) in b 0.657 * [taylor]: Taking taylor expansion of 1/2 in b 0.657 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.657 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.657 * [taylor]: Taking taylor expansion of b in b 0.657 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.657 * [taylor]: Taking taylor expansion of a in b 0.657 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in b 0.658 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in b 0.659 * [taylor]: Taking taylor expansion of (sin (exp (* 1/2 (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a)))))) in a 0.659 * [taylor]: Taking taylor expansion of (exp (* 1/2 (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))))) in a 0.659 * [taylor]: Taking taylor expansion of (* 1/2 (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a)))) in a 0.659 * [taylor]: Taking taylor expansion of 1/2 in a 0.659 * [taylor]: Taking taylor expansion of (* (log (atan2 (/ 1 b) (/ 1 b))) (- (/ 1 b) (/ 1 a))) in a 0.659 * [taylor]: Taking taylor expansion of (log (atan2 (/ 1 b) (/ 1 b))) in a 0.659 * [taylor]: Taking taylor expansion of (atan2 (/ 1 b) (/ 1 b)) in a 0.659 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.659 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.659 * [taylor]: Taking taylor expansion of b in a 0.659 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.659 * [taylor]: Taking taylor expansion of a in a 0.663 * [taylor]: Taking taylor expansion of 0 in a 0.667 * [taylor]: Taking taylor expansion of 0 in a 0.672 * [taylor]: Taking taylor expansion of 0 in a 0.673 * [approximate]: Taking taylor expansion of (sin (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/2 (- (/ 1 a) (/ 1 b))))) in (b a) around 0 0.673 * [taylor]: Taking taylor expansion of (sin (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/2 (- (/ 1 a) (/ 1 b))))) in a 0.673 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/2 (- (/ 1 a) (/ 1 b)))) in a 0.673 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b))))) in a 0.673 * [taylor]: Taking taylor expansion of (* (* 1/2 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b)))) in a 0.673 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 a) (/ 1 b))) in a 0.673 * [taylor]: Taking taylor expansion of 1/2 in a 0.673 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.673 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.673 * [taylor]: Taking taylor expansion of a in a 0.673 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.673 * [taylor]: Taking taylor expansion of b in a 0.673 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in a 0.673 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.674 * [taylor]: Taking taylor expansion of (sin (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/2 (- (/ 1 a) (/ 1 b))))) in b 0.674 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/2 (- (/ 1 a) (/ 1 b)))) in b 0.675 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b))))) in b 0.675 * [taylor]: Taking taylor expansion of (* (* 1/2 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b)))) in b 0.675 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 a) (/ 1 b))) in b 0.675 * [taylor]: Taking taylor expansion of 1/2 in b 0.675 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.675 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.675 * [taylor]: Taking taylor expansion of a in b 0.675 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.675 * [taylor]: Taking taylor expansion of b in b 0.675 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in b 0.675 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.676 * [taylor]: Taking taylor expansion of (sin (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/2 (- (/ 1 a) (/ 1 b))))) in b 0.676 * [taylor]: Taking taylor expansion of (pow (atan2 (/ -1 b) (/ -1 b)) (* 1/2 (- (/ 1 a) (/ 1 b)))) in b 0.676 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b))))) in b 0.676 * [taylor]: Taking taylor expansion of (* (* 1/2 (- (/ 1 a) (/ 1 b))) (log (atan2 (/ -1 b) (/ -1 b)))) in b 0.676 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 a) (/ 1 b))) in b 0.676 * [taylor]: Taking taylor expansion of 1/2 in b 0.676 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.676 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.676 * [taylor]: Taking taylor expansion of a in b 0.676 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.676 * [taylor]: Taking taylor expansion of b in b 0.677 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in b 0.677 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in b 0.679 * [taylor]: Taking taylor expansion of (sin (exp (* 1/2 (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b)))))) in a 0.679 * [taylor]: Taking taylor expansion of (exp (* 1/2 (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))))) in a 0.679 * [taylor]: Taking taylor expansion of (* 1/2 (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b)))) in a 0.679 * [taylor]: Taking taylor expansion of 1/2 in a 0.679 * [taylor]: Taking taylor expansion of (* (log (atan2 (/ -1 b) (/ -1 b))) (- (/ 1 a) (/ 1 b))) in a 0.679 * [taylor]: Taking taylor expansion of (log (atan2 (/ -1 b) (/ -1 b))) in a 0.679 * [taylor]: Taking taylor expansion of (atan2 (/ -1 b) (/ -1 b)) in a 0.679 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.679 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.679 * [taylor]: Taking taylor expansion of a in a 0.679 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.679 * [taylor]: Taking taylor expansion of b in a 0.683 * [taylor]: Taking taylor expansion of 0 in a 0.686 * [taylor]: Taking taylor expansion of 0 in a 0.691 * [taylor]: Taking taylor expansion of 0 in a 0.692 * * * [progress]: simplifying candidates 0.692 * [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))))) (- (+ (* 1/2 (* (cos 1) (* b (log (atan2 b b))))) (sin 1)) (* 1/2 (* a (* (cos 1) (log (atan2 b b)))))) (sin (exp (* 1/2 (* (- b a) (log (atan2 b b)))))) (sin (exp (* 1/2 (* (- b a) (log (atan2 b b)))))) 0.695 * * [simplify]: iteration 0 : 92 enodes (cost 75 ) 0.697 * * [simplify]: iteration 1 : 224 enodes (cost 75 ) 0.701 * * [simplify]: iteration 2 : 546 enodes (cost 61 ) 0.710 * * [simplify]: iteration 3 : 1152 enodes (cost 61 ) 0.731 * * [simplify]: iteration 4 : 4201 enodes (cost 59 ) 0.806 * * [simplify]: iteration 5 : 5002 enodes (cost 59 ) 0.807 * [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)) (+ (* (cos 1) (* 1/2 (* (- b a) (log (atan2 b b))))) (sin 1)) (sin (exp (* 1/2 (* (- b a) (log (atan2 b b)))))) (sin (exp (* 1/2 (* (- b a) (log (atan2 b b)))))) 0.807 * * * [progress]: adding candidates to table 0.825 * [progress]: [Phase 3 of 3] Extracting. 0.827 * [simplify]: Simplifying using # : (sin (pow (atan2 b b) (/ (- b a) 2))) 0.828 * * [simplify]: iteration 0 : 8 enodes (cost 5 ) 0.828 * [simplify]: Simplified to: (sin (pow (atan2 b b) (/ (- b a) 2))) 2.909 * [regime-testing]: End program error score: 0.10499271565276205