28.240 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.057 * * * [progress]: [2/2] Setting up program. 0.060 * [progress]: [Phase 2 of 3] Improving. 0.060 * [simplify]: Simplifying using # : (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) 0.123 * * [simplify]: iteration 0 : 5107 enodes (cost 11 ) 0.124 * [simplify]: Simplified to: (sqrt (fabs (- 1 (* b (/ b (* a a)))))) 0.128 * * [progress]: iteration 1 / 4 0.128 * * * [progress]: picking best candidate 0.130 * * * * [pick]: Picked # 0.130 * * * [progress]: localizing error 0.138 * * * [progress]: generating rewritten candidates 0.138 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 0.144 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.145 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1) 0.150 * * * [progress]: generating series expansions 0.150 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 0.150 * [approximate]: Taking taylor expansion of (/ (- (pow a 2) (pow b 2)) (pow a 2)) in (a b) around 0 0.150 * [taylor]: Taking taylor expansion of (/ (- (pow a 2) (pow b 2)) (pow a 2)) in b 0.150 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in b 0.150 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.150 * [taylor]: Taking taylor expansion of a in b 0.150 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.150 * [taylor]: Taking taylor expansion of b in b 0.150 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.150 * [taylor]: Taking taylor expansion of a in b 0.150 * [taylor]: Taking taylor expansion of (/ (- (pow a 2) (pow b 2)) (pow a 2)) in a 0.150 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a 0.150 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.150 * [taylor]: Taking taylor expansion of a in a 0.150 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.150 * [taylor]: Taking taylor expansion of b in a 0.150 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.150 * [taylor]: Taking taylor expansion of a in a 0.150 * [taylor]: Taking taylor expansion of (/ (- (pow a 2) (pow b 2)) (pow a 2)) in a 0.150 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a 0.150 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.151 * [taylor]: Taking taylor expansion of a in a 0.151 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.151 * [taylor]: Taking taylor expansion of b in a 0.151 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.151 * [taylor]: Taking taylor expansion of a in a 0.151 * [taylor]: Taking taylor expansion of (* -1 (pow b 2)) in b 0.151 * [taylor]: Taking taylor expansion of -1 in b 0.151 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.151 * [taylor]: Taking taylor expansion of b in b 0.151 * [taylor]: Taking taylor expansion of 0 in b 0.151 * [taylor]: Taking taylor expansion of 1 in b 0.152 * [taylor]: Taking taylor expansion of 0 in b 0.152 * [taylor]: Taking taylor expansion of 0 in b 0.152 * [approximate]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in (a b) around 0 0.152 * [taylor]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in b 0.152 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.152 * [taylor]: Taking taylor expansion of a in b 0.152 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 0.152 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.152 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.152 * [taylor]: Taking taylor expansion of a in b 0.152 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.152 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.152 * [taylor]: Taking taylor expansion of b in b 0.152 * [taylor]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in a 0.153 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.153 * [taylor]: Taking taylor expansion of a in a 0.153 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 0.153 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.153 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.153 * [taylor]: Taking taylor expansion of a in a 0.153 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.153 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.153 * [taylor]: Taking taylor expansion of b in a 0.153 * [taylor]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in a 0.153 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.153 * [taylor]: Taking taylor expansion of a in a 0.153 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 0.153 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.153 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.153 * [taylor]: Taking taylor expansion of a in a 0.153 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.153 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.153 * [taylor]: Taking taylor expansion of b in a 0.153 * [taylor]: Taking taylor expansion of 1 in b 0.153 * [taylor]: Taking taylor expansion of 0 in b 0.154 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow b 2))) in b 0.154 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.154 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.154 * [taylor]: Taking taylor expansion of b in b 0.154 * [taylor]: Taking taylor expansion of 0 in b 0.155 * [taylor]: Taking taylor expansion of 0 in b 0.155 * [approximate]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in (a b) around 0 0.155 * [taylor]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in b 0.155 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.155 * [taylor]: Taking taylor expansion of a in b 0.155 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 0.155 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.155 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.155 * [taylor]: Taking taylor expansion of a in b 0.155 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.155 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.155 * [taylor]: Taking taylor expansion of b in b 0.155 * [taylor]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in a 0.155 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.155 * [taylor]: Taking taylor expansion of a in a 0.155 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 0.155 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.155 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.155 * [taylor]: Taking taylor expansion of a in a 0.155 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.155 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.155 * [taylor]: Taking taylor expansion of b in a 0.155 * [taylor]: Taking taylor expansion of (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in a 0.156 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.156 * [taylor]: Taking taylor expansion of a in a 0.156 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 0.156 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.156 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.156 * [taylor]: Taking taylor expansion of a in a 0.156 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.156 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.156 * [taylor]: Taking taylor expansion of b in a 0.156 * [taylor]: Taking taylor expansion of 1 in b 0.156 * [taylor]: Taking taylor expansion of 0 in b 0.156 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow b 2))) in b 0.156 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.156 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.156 * [taylor]: Taking taylor expansion of b in b 0.157 * [taylor]: Taking taylor expansion of 0 in b 0.157 * [taylor]: Taking taylor expansion of 0 in b 0.157 * * * * [progress]: [ 2 / 3 ] generating series at (2) 0.158 * [approximate]: Taking taylor expansion of (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))) in (a b) around 0 0.158 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))) in b 0.158 * [taylor]: Taking taylor expansion of (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))) in b 0.158 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))) in a 0.158 * [taylor]: Taking taylor expansion of (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))) in a 0.159 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))) in a 0.159 * [taylor]: Taking taylor expansion of (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))) in a 0.159 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))) in b 0.159 * [taylor]: Taking taylor expansion of (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2))) in b 0.160 * [taylor]: Taking taylor expansion of 0 in b 0.160 * [taylor]: Taking taylor expansion of 0 in b 0.160 * [taylor]: Taking taylor expansion of 0 in b 0.161 * [approximate]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in (a b) around 0 0.161 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in b 0.161 * [taylor]: Taking taylor expansion of (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in b 0.161 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in a 0.161 * [taylor]: Taking taylor expansion of (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in a 0.162 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in a 0.162 * [taylor]: Taking taylor expansion of (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in a 0.162 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in b 0.162 * [taylor]: Taking taylor expansion of (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in b 0.163 * [taylor]: Taking taylor expansion of 0 in b 0.163 * [taylor]: Taking taylor expansion of 0 in b 0.164 * [taylor]: Taking taylor expansion of 0 in b 0.164 * [approximate]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in (a b) around 0 0.164 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in b 0.164 * [taylor]: Taking taylor expansion of (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in b 0.165 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in a 0.165 * [taylor]: Taking taylor expansion of (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in a 0.165 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in a 0.165 * [taylor]: Taking taylor expansion of (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in a 0.166 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in b 0.166 * [taylor]: Taking taylor expansion of (fabs (* (pow a 2) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in b 0.166 * [taylor]: Taking taylor expansion of 0 in b 0.167 * [taylor]: Taking taylor expansion of 0 in b 0.167 * [taylor]: Taking taylor expansion of 0 in b 0.167 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1) 0.168 * [approximate]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in (a b) around 0 0.168 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in b 0.168 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.168 * [taylor]: Taking taylor expansion of a in b 0.168 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.168 * [taylor]: Taking taylor expansion of b in b 0.168 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a 0.168 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.168 * [taylor]: Taking taylor expansion of a in a 0.168 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.168 * [taylor]: Taking taylor expansion of b in a 0.168 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a 0.168 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.168 * [taylor]: Taking taylor expansion of a in a 0.168 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.168 * [taylor]: Taking taylor expansion of b in a 0.168 * [taylor]: Taking taylor expansion of (neg (pow b 2)) in b 0.168 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.168 * [taylor]: Taking taylor expansion of b in b 0.168 * [taylor]: Taking taylor expansion of 0 in b 0.168 * [taylor]: Taking taylor expansion of 1 in b 0.168 * [taylor]: Taking taylor expansion of 0 in b 0.169 * [taylor]: Taking taylor expansion of 0 in b 0.169 * [approximate]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in (a b) around 0 0.169 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 0.169 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.169 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.169 * [taylor]: Taking taylor expansion of a in b 0.169 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.169 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.169 * [taylor]: Taking taylor expansion of b in b 0.169 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 0.169 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.169 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.169 * [taylor]: Taking taylor expansion of a in a 0.169 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.169 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.169 * [taylor]: Taking taylor expansion of b in a 0.169 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 0.169 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.169 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.169 * [taylor]: Taking taylor expansion of a in a 0.169 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.169 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.170 * [taylor]: Taking taylor expansion of b in a 0.170 * [taylor]: Taking taylor expansion of 1 in b 0.170 * [taylor]: Taking taylor expansion of 0 in b 0.170 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow b 2))) in b 0.170 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.170 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.170 * [taylor]: Taking taylor expansion of b in b 0.170 * [taylor]: Taking taylor expansion of 0 in b 0.171 * [taylor]: Taking taylor expansion of 0 in b 0.171 * [approximate]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in (a b) around 0 0.171 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 0.171 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.171 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.171 * [taylor]: Taking taylor expansion of a in b 0.171 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.171 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.171 * [taylor]: Taking taylor expansion of b in b 0.171 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 0.171 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.171 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.171 * [taylor]: Taking taylor expansion of a in a 0.171 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.171 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.171 * [taylor]: Taking taylor expansion of b in a 0.171 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 0.172 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.172 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.172 * [taylor]: Taking taylor expansion of a in a 0.172 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.172 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.172 * [taylor]: Taking taylor expansion of b in a 0.172 * [taylor]: Taking taylor expansion of 1 in b 0.172 * [taylor]: Taking taylor expansion of 0 in b 0.172 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow b 2))) in b 0.172 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.172 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.172 * [taylor]: Taking taylor expansion of b in b 0.172 * [taylor]: Taking taylor expansion of 0 in b 0.173 * [taylor]: Taking taylor expansion of 0 in b 0.173 * * * [progress]: simplifying candidates 0.174 * [simplify]: Simplifying using # : (- (log (- (* a a) (* b b))) (+ (log a) (log a))) (- (log (- (* a a) (* b b))) (log (* a a))) (log (/ (- (* a a) (* b b)) (* a a))) (exp (/ (- (* a a) (* b b)) (* a a))) (/ (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (- (* a a) (* b b))) (* (* (* a a) a) (* (* a a) a))) (/ (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (- (* a a) (* b b))) (* (* (* a a) (* a a)) (* a a))) (* (cbrt (/ (- (* a a) (* b b)) (* a a))) (cbrt (/ (- (* a a) (* b b)) (* a a)))) (cbrt (/ (- (* a a) (* b b)) (* a a))) (* (* (/ (- (* a a) (* b b)) (* a a)) (/ (- (* a a) (* b b)) (* a a))) (/ (- (* a a) (* b b)) (* a a))) (sqrt (/ (- (* a a) (* b b)) (* a a))) (sqrt (/ (- (* a a) (* b b)) (* a a))) (neg (- (* a a) (* b b))) (neg (* a a)) (/ (* a a) (* a a)) (/ (* b b) (* a a)) (/ (* (cbrt (- (* a a) (* b b))) (cbrt (- (* a a) (* b b)))) a) (/ (cbrt (- (* a a) (* b b))) a) (/ (sqrt (- (* a a) (* b b))) a) (/ (sqrt (- (* a a) (* b b))) a) (/ 1 a) (/ (- (* a a) (* b b)) a) (/ (+ a b) a) (/ (- a b) a) (/ 1 (* a a)) (/ (* a a) (- (* a a) (* b b))) (/ (- (* a a) (* b b)) a) (/ (* a a) (cbrt (- (* a a) (* b b)))) (/ (* a a) (sqrt (- (* a a) (* b b)))) (/ (* a a) (- (* a a) (* b b))) (/ (* a a) (- a b)) (* (* a a) (+ (* (* a a) (* a a)) (+ (* (* b b) (* b b)) (* (* a a) (* b b))))) (* (* a a) (+ (* a a) (* b b))) (log (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))) (exp (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))) (* (cbrt (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))) (cbrt (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))))) (cbrt (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))) (* (* (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))) (sqrt (* (cbrt (fabs (/ (- (* a a) (* b b)) (* a a)))) (cbrt (fabs (/ (- (* a a) (* b b)) (* a a)))))) (sqrt (cbrt (fabs (/ (- (* a a) (* b b)) (* a a))))) (sqrt (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))) (sqrt (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))) (sqrt 1) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) (/ 1 2) (sqrt (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))) (sqrt (sqrt (fabs (/ (- (* a a) (* b b)) (* a a))))) (/ (exp (* a a)) (exp (* b b))) (log (- (* a a) (* b b))) (exp (- (* a a) (* b b))) (* (cbrt (- (* a a) (* b b))) (cbrt (- (* a a) (* b b)))) (cbrt (- (* a a) (* b b))) (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (- (* a a) (* b b))) (sqrt (- (* a a) (* b b))) (sqrt (- (* a a) (* b b))) (- (pow (* a a) 3) (pow (* b b) 3)) (+ (* (* a a) (* a a)) (+ (* (* b b) (* b b)) (* (* a a) (* b b)))) (neg (* b b)) (- (* (* a a) (* a a)) (* (* b b) (* b b))) (+ (* a a) (* b b)) (+ a b) (- a b) (- 1 (/ (pow b 2) (pow a 2))) (- 1 (/ (pow b 2) (pow a 2))) (- 1 (/ (pow b 2) (pow a 2))) (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))) (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))) (sqrt (fabs (/ (- (pow a 2) (pow b 2)) (pow a 2)))) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) 0.206 * * [simplify]: iteration 0 : 5102 enodes (cost 664 ) 0.209 * [simplify]: Simplified to: (log (- 1 (* b (/ b (* a a))))) (log (- 1 (* b (/ b (* a a))))) (log (- 1 (* b (/ b (* a a))))) (/ E (pow (exp b) (/ b (* a a)))) (pow (- 1 (* b (/ b (* a a)))) 3) (pow (- 1 (* b (/ b (* a a)))) 3) (* (cbrt (- 1 (* b (/ b (* a a))))) (cbrt (- 1 (* b (/ b (* a a)))))) (cbrt (- 1 (* b (/ b (* a a))))) (pow (- 1 (* b (/ b (* a a)))) 3) (sqrt (- 1 (* b (/ b (* a a))))) (sqrt (- 1 (* b (/ b (* a a))))) (* (+ a b) (neg (- a b))) (* a (neg a)) 1 (* b (/ b (* a a))) (* (cbrt (- (* a a) (* b b))) (/ (cbrt (- (* a a) (* b b))) a)) (/ (cbrt (- (* a a) (* b b))) a) (/ (sqrt (- (* a a) (* b b))) a) (/ (sqrt (- (* a a) (* b b))) a) (/ 1 a) (- a (* b (/ b a))) (/ (+ a b) a) (- 1 (/ b a)) (/ 1 (* a a)) (/ a (- a (* b (/ b a)))) (- a (* b (/ b a))) (* a (/ a (cbrt (- (* a a) (* b b))))) (* a (/ a (sqrt (- (* a a) (* b b))))) (/ a (- a (* b (/ b a)))) (* a (/ a (- a b))) (+ (pow a 6) (+ (* (* b b) (pow a 4)) (* a (* a (pow b 4))))) (+ (pow a 4) (* a (* a (* b b)))) (log (sqrt (fabs (- 1 (* b (/ b (* a a))))))) (exp (sqrt (fabs (- 1 (* b (/ b (* a a))))))) (* (cbrt (sqrt (fabs (- 1 (* b (/ b (* a a))))))) (cbrt (sqrt (fabs (- 1 (* b (/ b (* a a)))))))) (cbrt (sqrt (fabs (- 1 (* b (/ b (* a a))))))) (pow (sqrt (fabs (- 1 (* b (/ b (* a a)))))) 3) (fabs (cbrt (fabs (- 1 (* b (/ b (* a a))))))) (sqrt (cbrt (fabs (- 1 (* b (/ b (* a a))))))) (sqrt (sqrt (fabs (- 1 (* b (/ b (* a a))))))) (sqrt (sqrt (fabs (- 1 (* b (/ b (* a a))))))) 1 (sqrt (fabs (- 1 (* b (/ b (* a a)))))) 1/2 (sqrt (sqrt (fabs (- 1 (* b (/ b (* a a))))))) (sqrt (sqrt (fabs (- 1 (* b (/ b (* a a))))))) (pow (exp (+ a b)) (- a b)) (log (- (* a a) (* b b))) (pow (exp (+ a b)) (- a b)) (* (cbrt (- (* a a) (* b b))) (cbrt (- (* a a) (* b b)))) (cbrt (- (* a a) (* b b))) (pow (- (* a a) (* b b)) 3) (sqrt (- (* a a) (* b b))) (sqrt (- (* a a) (* b b))) (- (pow a 6) (pow b 6)) (+ (pow a 4) (+ (pow b 4) (* a (* a (* b b))))) (* b (neg b)) (- (pow a 4) (pow b 4)) (+ (* a a) (* b b)) (+ a b) (- a b) (- 1 (* b (/ b (* a a)))) (- 1 (* b (/ b (* a a)))) (- 1 (* b (/ b (* a a)))) (sqrt (fabs (- 1 (* b (/ b (* a a)))))) (sqrt (fabs (- 1 (* b (/ b (* a a)))))) (sqrt (fabs (- 1 (* b (/ b (* a a)))))) (- (* a a) (* b b)) (- (* a a) (* b b)) (- (* a a) (* b b)) 0.209 * * * [progress]: adding candidates to table 0.283 * * [progress]: iteration 2 / 4 0.283 * * * [progress]: picking best candidate 0.286 * * * * [pick]: Picked # 0.286 * * * [progress]: localizing error 0.293 * * * [progress]: generating rewritten candidates 0.293 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 2) 0.300 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 0.304 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.307 * * * [progress]: generating series expansions 0.307 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 2) 0.307 * [approximate]: Taking taylor expansion of (/ (pow b 2) a) in (b a) around 0 0.307 * [taylor]: Taking taylor expansion of (/ (pow b 2) a) in a 0.307 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.307 * [taylor]: Taking taylor expansion of b in a 0.307 * [taylor]: Taking taylor expansion of a in a 0.307 * [taylor]: Taking taylor expansion of (/ (pow b 2) a) in b 0.307 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.307 * [taylor]: Taking taylor expansion of b in b 0.307 * [taylor]: Taking taylor expansion of a in b 0.308 * [taylor]: Taking taylor expansion of (/ (pow b 2) a) in b 0.308 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.308 * [taylor]: Taking taylor expansion of b in b 0.308 * [taylor]: Taking taylor expansion of a in b 0.308 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.308 * [taylor]: Taking taylor expansion of a in a 0.308 * [taylor]: Taking taylor expansion of 0 in a 0.308 * [taylor]: Taking taylor expansion of 0 in a 0.308 * [taylor]: Taking taylor expansion of 0 in a 0.308 * [approximate]: Taking taylor expansion of (/ a (pow b 2)) in (b a) around 0 0.308 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in a 0.308 * [taylor]: Taking taylor expansion of a in a 0.308 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.308 * [taylor]: Taking taylor expansion of b in a 0.309 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b 0.309 * [taylor]: Taking taylor expansion of a in b 0.309 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.309 * [taylor]: Taking taylor expansion of b in b 0.309 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b 0.309 * [taylor]: Taking taylor expansion of a in b 0.309 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.309 * [taylor]: Taking taylor expansion of b in b 0.309 * [taylor]: Taking taylor expansion of a in a 0.309 * [taylor]: Taking taylor expansion of 0 in a 0.309 * [taylor]: Taking taylor expansion of 0 in a 0.309 * [taylor]: Taking taylor expansion of 0 in a 0.309 * [approximate]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in (b a) around 0 0.309 * [taylor]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in a 0.309 * [taylor]: Taking taylor expansion of -1 in a 0.309 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in a 0.309 * [taylor]: Taking taylor expansion of a in a 0.309 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.309 * [taylor]: Taking taylor expansion of b in a 0.309 * [taylor]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in b 0.309 * [taylor]: Taking taylor expansion of -1 in b 0.309 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b 0.310 * [taylor]: Taking taylor expansion of a in b 0.310 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.310 * [taylor]: Taking taylor expansion of b in b 0.310 * [taylor]: Taking taylor expansion of (* -1 (/ a (pow b 2))) in b 0.310 * [taylor]: Taking taylor expansion of -1 in b 0.310 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b 0.310 * [taylor]: Taking taylor expansion of a in b 0.310 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.310 * [taylor]: Taking taylor expansion of b in b 0.310 * [taylor]: Taking taylor expansion of (* -1 a) in a 0.310 * [taylor]: Taking taylor expansion of -1 in a 0.310 * [taylor]: Taking taylor expansion of a in a 0.310 * [taylor]: Taking taylor expansion of 0 in a 0.310 * [taylor]: Taking taylor expansion of 0 in a 0.310 * [taylor]: Taking taylor expansion of 0 in a 0.310 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 0.311 * [approximate]: Taking taylor expansion of (/ (- a (/ (pow b 2) a)) a) in (a b) around 0 0.311 * [taylor]: Taking taylor expansion of (/ (- a (/ (pow b 2) a)) a) in b 0.311 * [taylor]: Taking taylor expansion of (- a (/ (pow b 2) a)) in b 0.311 * [taylor]: Taking taylor expansion of a in b 0.311 * [taylor]: Taking taylor expansion of (/ (pow b 2) a) in b 0.311 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.311 * [taylor]: Taking taylor expansion of b in b 0.311 * [taylor]: Taking taylor expansion of a in b 0.311 * [taylor]: Taking taylor expansion of a in b 0.311 * [taylor]: Taking taylor expansion of (/ (- a (/ (pow b 2) a)) a) in a 0.311 * [taylor]: Taking taylor expansion of (- a (/ (pow b 2) a)) in a 0.311 * [taylor]: Taking taylor expansion of a in a 0.311 * [taylor]: Taking taylor expansion of (/ (pow b 2) a) in a 0.311 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.311 * [taylor]: Taking taylor expansion of b in a 0.311 * [taylor]: Taking taylor expansion of a in a 0.311 * [taylor]: Taking taylor expansion of a in a 0.311 * [taylor]: Taking taylor expansion of (/ (- a (/ (pow b 2) a)) a) in a 0.311 * [taylor]: Taking taylor expansion of (- a (/ (pow b 2) a)) in a 0.311 * [taylor]: Taking taylor expansion of a in a 0.311 * [taylor]: Taking taylor expansion of (/ (pow b 2) a) in a 0.311 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.311 * [taylor]: Taking taylor expansion of b in a 0.311 * [taylor]: Taking taylor expansion of a in a 0.311 * [taylor]: Taking taylor expansion of a in a 0.312 * [taylor]: Taking taylor expansion of (* -1 (pow b 2)) in b 0.312 * [taylor]: Taking taylor expansion of -1 in b 0.312 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.312 * [taylor]: Taking taylor expansion of b in b 0.312 * [taylor]: Taking taylor expansion of 0 in b 0.312 * [taylor]: Taking taylor expansion of 1 in b 0.312 * [taylor]: Taking taylor expansion of 0 in b 0.313 * [taylor]: Taking taylor expansion of 0 in b 0.313 * [approximate]: Taking taylor expansion of (* a (- (/ 1 a) (/ a (pow b 2)))) in (a b) around 0 0.313 * [taylor]: Taking taylor expansion of (* a (- (/ 1 a) (/ a (pow b 2)))) in b 0.313 * [taylor]: Taking taylor expansion of a in b 0.313 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ a (pow b 2))) in b 0.313 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.313 * [taylor]: Taking taylor expansion of a in b 0.313 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b 0.313 * [taylor]: Taking taylor expansion of a in b 0.313 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.313 * [taylor]: Taking taylor expansion of b in b 0.313 * [taylor]: Taking taylor expansion of (* a (- (/ 1 a) (/ a (pow b 2)))) in a 0.313 * [taylor]: Taking taylor expansion of a in a 0.313 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ a (pow b 2))) in a 0.313 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.313 * [taylor]: Taking taylor expansion of a in a 0.313 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in a 0.313 * [taylor]: Taking taylor expansion of a in a 0.313 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.313 * [taylor]: Taking taylor expansion of b in a 0.313 * [taylor]: Taking taylor expansion of (* a (- (/ 1 a) (/ a (pow b 2)))) in a 0.313 * [taylor]: Taking taylor expansion of a in a 0.313 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ a (pow b 2))) in a 0.313 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.314 * [taylor]: Taking taylor expansion of a in a 0.314 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in a 0.314 * [taylor]: Taking taylor expansion of a in a 0.314 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.314 * [taylor]: Taking taylor expansion of b in a 0.314 * [taylor]: Taking taylor expansion of 0 in b 0.314 * [taylor]: Taking taylor expansion of 1 in b 0.314 * [taylor]: Taking taylor expansion of 0 in b 0.314 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow b 2))) in b 0.314 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.314 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.314 * [taylor]: Taking taylor expansion of b in b 0.315 * [taylor]: Taking taylor expansion of 0 in b 0.316 * [taylor]: Taking taylor expansion of 0 in b 0.316 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ a (pow b 2)) (/ 1 a)) a)) in (a b) around 0 0.316 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ a (pow b 2)) (/ 1 a)) a)) in b 0.316 * [taylor]: Taking taylor expansion of -1 in b 0.316 * [taylor]: Taking taylor expansion of (* (- (/ a (pow b 2)) (/ 1 a)) a) in b 0.316 * [taylor]: Taking taylor expansion of (- (/ a (pow b 2)) (/ 1 a)) in b 0.316 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in b 0.316 * [taylor]: Taking taylor expansion of a in b 0.316 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.316 * [taylor]: Taking taylor expansion of b in b 0.316 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.316 * [taylor]: Taking taylor expansion of a in b 0.316 * [taylor]: Taking taylor expansion of a in b 0.316 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ a (pow b 2)) (/ 1 a)) a)) in a 0.316 * [taylor]: Taking taylor expansion of -1 in a 0.316 * [taylor]: Taking taylor expansion of (* (- (/ a (pow b 2)) (/ 1 a)) a) in a 0.316 * [taylor]: Taking taylor expansion of (- (/ a (pow b 2)) (/ 1 a)) in a 0.316 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in a 0.316 * [taylor]: Taking taylor expansion of a in a 0.316 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.316 * [taylor]: Taking taylor expansion of b in a 0.316 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.316 * [taylor]: Taking taylor expansion of a in a 0.316 * [taylor]: Taking taylor expansion of a in a 0.316 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ a (pow b 2)) (/ 1 a)) a)) in a 0.316 * [taylor]: Taking taylor expansion of -1 in a 0.316 * [taylor]: Taking taylor expansion of (* (- (/ a (pow b 2)) (/ 1 a)) a) in a 0.317 * [taylor]: Taking taylor expansion of (- (/ a (pow b 2)) (/ 1 a)) in a 0.317 * [taylor]: Taking taylor expansion of (/ a (pow b 2)) in a 0.317 * [taylor]: Taking taylor expansion of a in a 0.317 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.317 * [taylor]: Taking taylor expansion of b in a 0.317 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.317 * [taylor]: Taking taylor expansion of a in a 0.317 * [taylor]: Taking taylor expansion of a in a 0.317 * [taylor]: Taking taylor expansion of 0 in b 0.317 * [taylor]: Taking taylor expansion of 1 in b 0.317 * [taylor]: Taking taylor expansion of 0 in b 0.318 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow b 2))) in b 0.318 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.318 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.318 * [taylor]: Taking taylor expansion of b in b 0.318 * [taylor]: Taking taylor expansion of 0 in b 0.319 * [taylor]: Taking taylor expansion of 0 in b 0.319 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.319 * [approximate]: Taking taylor expansion of (sqrt (fabs (/ (- a (/ (pow b 2) a)) a))) in (a b) around 0 0.319 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ (- a (/ (pow b 2) a)) a))) in b 0.319 * [taylor]: Taking taylor expansion of (fabs (/ (- a (/ (pow b 2) a)) a)) in b 0.320 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ (- a (/ (pow b 2) a)) a))) in a 0.320 * [taylor]: Taking taylor expansion of (fabs (/ (- a (/ (pow b 2) a)) a)) in a 0.320 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ (- a (/ (pow b 2) a)) a))) in a 0.320 * [taylor]: Taking taylor expansion of (fabs (/ (- a (/ (pow b 2) a)) a)) in a 0.320 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ (- a (/ (pow b 2) a)) a))) in b 0.320 * [taylor]: Taking taylor expansion of (fabs (/ (- a (/ (pow b 2) a)) a)) in b 0.321 * [taylor]: Taking taylor expansion of 0 in b 0.321 * [taylor]: Taking taylor expansion of 0 in b 0.321 * [taylor]: Taking taylor expansion of 0 in b 0.322 * [approximate]: Taking taylor expansion of (sqrt (fabs (* a (- (/ 1 a) (/ a (pow b 2)))))) in (a b) around 0 0.322 * [taylor]: Taking taylor expansion of (sqrt (fabs (* a (- (/ 1 a) (/ a (pow b 2)))))) in b 0.322 * [taylor]: Taking taylor expansion of (fabs (* a (- (/ 1 a) (/ a (pow b 2))))) in b 0.322 * [taylor]: Taking taylor expansion of (sqrt (fabs (* a (- (/ 1 a) (/ a (pow b 2)))))) in a 0.322 * [taylor]: Taking taylor expansion of (fabs (* a (- (/ 1 a) (/ a (pow b 2))))) in a 0.322 * [taylor]: Taking taylor expansion of (sqrt (fabs (* a (- (/ 1 a) (/ a (pow b 2)))))) in a 0.322 * [taylor]: Taking taylor expansion of (fabs (* a (- (/ 1 a) (/ a (pow b 2))))) in a 0.323 * [taylor]: Taking taylor expansion of (sqrt (fabs (* a (- (/ 1 a) (/ a (pow b 2)))))) in b 0.323 * [taylor]: Taking taylor expansion of (fabs (* a (- (/ 1 a) (/ a (pow b 2))))) in b 0.323 * [taylor]: Taking taylor expansion of 0 in b 0.323 * [taylor]: Taking taylor expansion of 0 in b 0.324 * [taylor]: Taking taylor expansion of 0 in b 0.324 * [approximate]: Taking taylor expansion of (sqrt (fabs (* -1 (* (- (/ a (pow b 2)) (/ 1 a)) a)))) in (a b) around 0 0.324 * [taylor]: Taking taylor expansion of (sqrt (fabs (* -1 (* (- (/ a (pow b 2)) (/ 1 a)) a)))) in b 0.324 * [taylor]: Taking taylor expansion of (fabs (* -1 (* (- (/ a (pow b 2)) (/ 1 a)) a))) in b 0.324 * [taylor]: Taking taylor expansion of (sqrt (fabs (* -1 (* (- (/ a (pow b 2)) (/ 1 a)) a)))) in a 0.325 * [taylor]: Taking taylor expansion of (fabs (* -1 (* (- (/ a (pow b 2)) (/ 1 a)) a))) in a 0.325 * [taylor]: Taking taylor expansion of (sqrt (fabs (* -1 (* (- (/ a (pow b 2)) (/ 1 a)) a)))) in a 0.325 * [taylor]: Taking taylor expansion of (fabs (* -1 (* (- (/ a (pow b 2)) (/ 1 a)) a))) in a 0.325 * [taylor]: Taking taylor expansion of (sqrt (fabs (* -1 (* (- (/ a (pow b 2)) (/ 1 a)) a)))) in b 0.325 * [taylor]: Taking taylor expansion of (fabs (* -1 (* (- (/ a (pow b 2)) (/ 1 a)) a))) in b 0.326 * [taylor]: Taking taylor expansion of 0 in b 0.326 * [taylor]: Taking taylor expansion of 0 in b 0.326 * [taylor]: Taking taylor expansion of 0 in b 0.327 * * * [progress]: simplifying candidates 0.327 * [simplify]: Simplifying using # : (* b (/ b a)) (+ (log b) (- (log b) (log a))) (+ (log b) (log (/ b a))) (log (* b (/ b a))) (exp (* b (/ b a))) (* (* (* b b) b) (/ (* (* b b) b) (* (* a a) a))) (* (* (* b b) b) (* (* (/ b a) (/ b a)) (/ b a))) (* (cbrt (* b (/ b a))) (cbrt (* b (/ b a)))) (cbrt (* b (/ b a))) (* (* (* b (/ b a)) (* b (/ b a))) (* b (/ b a))) (sqrt (* b (/ b a))) (sqrt (* b (/ b a))) (* (sqrt b) (sqrt (/ b a))) (* (sqrt b) (sqrt (/ b a))) (* (sqrt b) (/ (sqrt b) (sqrt a))) (* (sqrt b) (/ (sqrt b) (sqrt a))) (* b (* (cbrt (/ b a)) (cbrt (/ b a)))) (* b (sqrt (/ b a))) (* b (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a)))) (* b (/ (* (cbrt b) (cbrt b)) (sqrt a))) (* b (/ (* (cbrt b) (cbrt b)) 1)) (* b (/ (sqrt b) (* (cbrt a) (cbrt a)))) (* b (/ (sqrt b) (sqrt a))) (* b (/ (sqrt b) 1)) (* b (/ 1 (* (cbrt a) (cbrt a)))) (* b (/ 1 (sqrt a))) (* b (/ 1 1)) (* b 1) (* b b) (* (cbrt b) (/ b a)) (* (sqrt b) (/ b a)) (* b (/ b a)) (* b b) (- (log (- a (* b (/ b a)))) (log a)) (log (/ (- a (* b (/ b a))) a)) (exp (/ (- a (* b (/ b a))) a)) (/ (* (* (- a (* b (/ b a))) (- a (* b (/ b a)))) (- a (* b (/ b a)))) (* (* a a) a)) (* (cbrt (/ (- a (* b (/ b a))) a)) (cbrt (/ (- a (* b (/ b a))) a))) (cbrt (/ (- a (* b (/ b a))) a)) (* (* (/ (- a (* b (/ b a))) a) (/ (- a (* b (/ b a))) a)) (/ (- a (* b (/ b a))) a)) (sqrt (/ (- a (* b (/ b a))) a)) (sqrt (/ (- a (* b (/ b a))) a)) (neg (- a (* b (/ b a)))) (neg a) (/ a a) (/ (* b (/ b a)) a) (/ (* (cbrt (- a (* b (/ b a)))) (cbrt (- a (* b (/ b a))))) (* (cbrt a) (cbrt a))) (/ (cbrt (- a (* b (/ b a)))) (cbrt a)) (/ (* (cbrt (- a (* b (/ b a)))) (cbrt (- a (* b (/ b a))))) (sqrt a)) (/ (cbrt (- a (* b (/ b a)))) (sqrt a)) (/ (* (cbrt (- a (* b (/ b a)))) (cbrt (- a (* b (/ b a))))) 1) (/ (cbrt (- a (* b (/ b a)))) a) (/ (sqrt (- a (* b (/ b a)))) (* (cbrt a) (cbrt a))) (/ (sqrt (- a (* b (/ b a)))) (cbrt a)) (/ (sqrt (- a (* b (/ b a)))) (sqrt a)) (/ (sqrt (- a (* b (/ b a)))) (sqrt a)) (/ (sqrt (- a (* b (/ b a)))) 1) (/ (sqrt (- a (* b (/ b a)))) a) (/ 1 (* (cbrt a) (cbrt a))) (/ (- a (* b (/ b a))) (cbrt a)) (/ 1 (sqrt a)) (/ (- a (* b (/ b a))) (sqrt a)) (/ 1 1) (/ (- a (* b (/ b a))) a) (/ 1 a) (/ a (- a (* b (/ b a)))) (/ (- a (* b (/ b a))) (* (cbrt a) (cbrt a))) (/ (- a (* b (/ b a))) (sqrt a)) (/ (- a (* b (/ b a))) 1) (/ a (cbrt (- a (* b (/ b a))))) (/ a (sqrt (- a (* b (/ b a))))) (/ a (- a (* b (/ b a)))) (* a (+ (* a a) (+ (* (* b (/ b a)) (* b (/ b a))) (* a (* b (/ b a)))))) (* a (+ a (* b (/ b a)))) (log (sqrt (fabs (/ (- a (* b (/ b a))) a)))) (exp (sqrt (fabs (/ (- a (* b (/ b a))) a)))) (* (cbrt (sqrt (fabs (/ (- a (* b (/ b a))) a)))) (cbrt (sqrt (fabs (/ (- a (* b (/ b a))) a))))) (cbrt (sqrt (fabs (/ (- a (* b (/ b a))) a)))) (* (* (sqrt (fabs (/ (- a (* b (/ b a))) a))) (sqrt (fabs (/ (- a (* b (/ b a))) a)))) (sqrt (fabs (/ (- a (* b (/ b a))) a)))) (sqrt (* (cbrt (fabs (/ (- a (* b (/ b a))) a))) (cbrt (fabs (/ (- a (* b (/ b a))) a))))) (sqrt (cbrt (fabs (/ (- a (* b (/ b a))) a)))) (sqrt (sqrt (fabs (/ (- a (* b (/ b a))) a)))) (sqrt (sqrt (fabs (/ (- a (* b (/ b a))) a)))) (sqrt 1) (sqrt (fabs (/ (- a (* b (/ b a))) a))) (/ 1 2) (sqrt (sqrt (fabs (/ (- a (* b (/ b a))) a)))) (sqrt (sqrt (fabs (/ (- a (* b (/ b a))) a)))) (/ (pow b 2) a) (/ (pow b 2) a) (/ (pow b 2) a) (- 1 (/ (pow b 2) (pow a 2))) (- 1 (/ (pow b 2) (pow a 2))) (- 1 (/ (pow b 2) (pow a 2))) (sqrt (fabs (/ (- a (/ (pow b 2) a)) a))) (sqrt (fabs (/ (- a (/ (pow b 2) a)) a))) (sqrt (fabs (/ (- a (/ (pow b 2) a)) a))) 0.374 * * [simplify]: iteration 0 : 4989 enodes (cost 844 ) 0.375 * * [simplify]: iteration 1 : 4989 enodes (cost 844 ) 0.378 * [simplify]: Simplified to: (* b (/ b a)) (log (* b (/ b a))) (log (* b (/ b a))) (log (* b (/ b a))) (pow (exp b) (/ b a)) (pow (/ b (sqrt a)) 6) (pow (/ b (sqrt a)) 6) (* (cbrt (* b (/ b a))) (cbrt (* b (/ b a)))) (cbrt (* b (/ b a))) (pow (/ b (sqrt a)) 6) (fabs (/ b (sqrt a))) (fabs (/ b (sqrt a))) (* (sqrt b) (sqrt (/ b a))) (* (sqrt b) (sqrt (/ b a))) (/ b (sqrt a)) (/ b (sqrt a)) (* b (* (cbrt (/ b a)) (cbrt (/ b a)))) (* b (sqrt (/ b a))) (* b (* (cbrt b) (/ (cbrt b) (* (cbrt a) (cbrt a))))) (* b (* (cbrt b) (/ (cbrt b) (sqrt a)))) (* b (* (cbrt b) (cbrt b))) (/ (pow b 3/2) (* (cbrt a) (cbrt a))) (/ (pow b 3/2) (sqrt a)) (pow b 3/2) (/ b (* (cbrt a) (cbrt a))) (/ b (sqrt a)) b b (* b b) (* (/ b a) (cbrt b)) (/ (pow b 3/2) a) (* b (/ b a)) (* b b) (log (- 1 (* (/ b a) (/ b a)))) (log (- 1 (* (/ b a) (/ b a)))) (/ E (pow (exp (/ b a)) (/ b a))) (pow (- 1 (* (/ b a) (/ b a))) 3) (* (cbrt (- 1 (* (/ b a) (/ b a)))) (cbrt (- 1 (* (/ b a) (/ b a))))) (cbrt (- 1 (* (/ b a) (/ b a)))) (pow (- 1 (* (/ b a) (/ b a))) 3) (sqrt (- 1 (* (/ b a) (/ b a)))) (sqrt (- 1 (* (/ b a) (/ b a)))) (neg (- a (* b (/ b a)))) (neg a) 1 (* (/ b a) (/ b a)) (* (cbrt (- a (* b (/ b a)))) (/ (cbrt (- a (* b (/ b a)))) (* (cbrt a) (cbrt a)))) (/ (cbrt (- a (* b (/ b a)))) (cbrt a)) (* (cbrt (- a (* b (/ b a)))) (/ (cbrt (- a (* b (/ b a)))) (sqrt a))) (/ (cbrt (- a (* b (/ b a)))) (sqrt a)) (* (cbrt (- a (* b (/ b a)))) (cbrt (- a (* b (/ b a))))) (/ (cbrt (- a (* b (/ b a)))) a) (/ (sqrt (- a (* b (/ b a)))) (* (cbrt a) (cbrt a))) (/ (sqrt (- a (* b (/ b a)))) (cbrt a)) (/ (sqrt (- a (* b (/ b a)))) (sqrt a)) (/ (sqrt (- a (* b (/ b a)))) (sqrt a)) (sqrt (- a (* b (/ b a)))) (/ (sqrt (- a (* b (/ b a)))) a) (/ 1 (* (cbrt a) (cbrt a))) (/ (- a (* b (/ b a))) (cbrt a)) (/ 1 (sqrt a)) (- (sqrt a) (/ b (/ (pow a 3/2) b))) 1 (- 1 (* (/ b a) (/ b a))) (/ 1 a) (/ a (- a (* b (/ b a)))) (/ (- a (* b (/ b a))) (* (cbrt a) (cbrt a))) (- (sqrt a) (/ b (/ (pow a 3/2) b))) (- a (* b (/ b a))) (/ a (cbrt (- a (* b (/ b a))))) (/ a (sqrt (- a (* b (/ b a))))) (/ a (- a (* b (/ b a)))) (+ (pow a 3) (+ (* b (* b a)) (/ (pow b 4) a))) (+ (* b b) (* a a)) (log (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (* (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (pow (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 3) (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1/2 (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (* b (/ b a)) (* b (/ b a)) (* b (/ b a)) (- 1 (* (/ b a) (/ b a))) (- 1 (* (/ b a) (/ b a))) (- 1 (* (/ b a) (/ b a))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 0.378 * * * [progress]: adding candidates to table 0.469 * [progress]: [Phase 3 of 3] Extracting. 0.469 * * [regime]: Finding splitpoints for: (# #) 0.469 * * * [regime-changes]: Trying 7 branch expressions: ((* b b) (* a a) (/ (- (* a a) (* b b)) (* a a)) (fabs (/ (- (* a a) (* b b)) (* a a))) (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) b a) 0.469 * * * * [regimes]: Trying to branch on (* b b) from (# #) 0.496 * * * * [regimes]: Trying to branch on (* a a) from (# #) 0.527 * * * * [regimes]: Trying to branch on (/ (- (* a a) (* b b)) (* a a)) from (# #) 0.553 * * * * [regimes]: Trying to branch on (fabs (/ (- (* a a) (* b b)) (* a a))) from (# #) 0.583 * * * * [regimes]: Trying to branch on (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) from (# #) 0.617 * * * * [regimes]: Trying to branch on b from (# #) 0.647 * * * * [regimes]: Trying to branch on a from (# #) 0.678 * * * [regime]: Found split indices: #