7.760 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.102 * * * [progress]: [2/2] Setting up program. 0.104 * [progress]: [Phase 2 of 3] Improving. 0.105 * [simplify]: Simplifying using # : (-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b))) 1) 0.136 * * [simplify]: iteration 0 : 5035 enodes (cost 17 ) 0.137 * [simplify]: Simplified to: (-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)) 1) 0.139 * * [progress]: iteration 1 / 4 0.139 * * * [progress]: picking best candidate 0.141 * * * * [pick]: Picked # 0.141 * * * [progress]: localizing error 0.150 * * * [progress]: generating rewritten candidates 0.150 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 0.156 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.165 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 0.171 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 0.178 * * * [progress]: generating series expansions 0.178 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 0.178 * [approximate]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in (a b) around 0 0.178 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in b 0.178 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 0.178 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.178 * [taylor]: Taking taylor expansion of a in b 0.178 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.178 * [taylor]: Taking taylor expansion of b in b 0.178 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in a 0.178 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 0.178 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.178 * [taylor]: Taking taylor expansion of a in a 0.178 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.178 * [taylor]: Taking taylor expansion of b in a 0.179 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in a 0.179 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 0.179 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.179 * [taylor]: Taking taylor expansion of a in a 0.179 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.179 * [taylor]: Taking taylor expansion of b in a 0.179 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.179 * [taylor]: Taking taylor expansion of b in b 0.179 * [taylor]: Taking taylor expansion of 0 in b 0.179 * [taylor]: Taking taylor expansion of (* 2 (pow b 2)) in b 0.179 * [taylor]: Taking taylor expansion of 2 in b 0.179 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.179 * [taylor]: Taking taylor expansion of b in b 0.180 * [taylor]: Taking taylor expansion of 0 in b 0.180 * [taylor]: Taking taylor expansion of 1 in b 0.181 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in (a b) around 0 0.181 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b 0.181 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.181 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.181 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.181 * [taylor]: Taking taylor expansion of b in b 0.181 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.181 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.181 * [taylor]: Taking taylor expansion of a in b 0.181 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 0.181 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.181 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.181 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.181 * [taylor]: Taking taylor expansion of b in a 0.181 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.181 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.181 * [taylor]: Taking taylor expansion of a in a 0.181 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 0.181 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.181 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.181 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.181 * [taylor]: Taking taylor expansion of b in a 0.181 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.182 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.182 * [taylor]: Taking taylor expansion of a in a 0.182 * [taylor]: Taking taylor expansion of 1 in b 0.182 * [taylor]: Taking taylor expansion of 0 in b 0.182 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 0.182 * [taylor]: Taking taylor expansion of 2 in b 0.182 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.182 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.182 * [taylor]: Taking taylor expansion of b in b 0.183 * [taylor]: Taking taylor expansion of 0 in b 0.183 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 0.183 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.183 * [taylor]: Taking taylor expansion of b in b 0.184 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in (a b) around 0 0.184 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b 0.184 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.184 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.184 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.184 * [taylor]: Taking taylor expansion of b in b 0.184 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.184 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.184 * [taylor]: Taking taylor expansion of a in b 0.184 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 0.184 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.184 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.184 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.185 * [taylor]: Taking taylor expansion of b in a 0.185 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.185 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.185 * [taylor]: Taking taylor expansion of a in a 0.185 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 0.185 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.185 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.185 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.185 * [taylor]: Taking taylor expansion of b in a 0.185 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.185 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.185 * [taylor]: Taking taylor expansion of a in a 0.185 * [taylor]: Taking taylor expansion of 1 in b 0.185 * [taylor]: Taking taylor expansion of 0 in b 0.185 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 0.186 * [taylor]: Taking taylor expansion of 2 in b 0.186 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.186 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.186 * [taylor]: Taking taylor expansion of b in b 0.186 * [taylor]: Taking taylor expansion of 0 in b 0.187 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 0.187 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.187 * [taylor]: Taking taylor expansion of b in b 0.188 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.188 * [approximate]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (+ (* 4 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))))) in (a b) around 0 0.188 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (+ (* 4 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))))) in b 0.188 * [taylor]: Taking taylor expansion of (pow a 4) in b 0.188 * [taylor]: Taking taylor expansion of a in b 0.188 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 4 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))) in b 0.188 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.188 * [taylor]: Taking taylor expansion of b in b 0.188 * [taylor]: Taking taylor expansion of (+ (* 4 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))) in b 0.188 * [taylor]: Taking taylor expansion of (* 4 (pow b 2)) in b 0.188 * [taylor]: Taking taylor expansion of 4 in b 0.188 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.188 * [taylor]: Taking taylor expansion of b in b 0.188 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b 0.188 * [taylor]: Taking taylor expansion of 2 in b 0.188 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.188 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.188 * [taylor]: Taking taylor expansion of a in b 0.188 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.188 * [taylor]: Taking taylor expansion of b in b 0.188 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (+ (* 4 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))))) in a 0.188 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.188 * [taylor]: Taking taylor expansion of a in a 0.188 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 4 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))) in a 0.188 * [taylor]: Taking taylor expansion of (pow b 4) in a 0.188 * [taylor]: Taking taylor expansion of b in a 0.188 * [taylor]: Taking taylor expansion of (+ (* 4 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))) in a 0.188 * [taylor]: Taking taylor expansion of (* 4 (pow b 2)) in a 0.188 * [taylor]: Taking taylor expansion of 4 in a 0.188 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.188 * [taylor]: Taking taylor expansion of b in a 0.189 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 0.189 * [taylor]: Taking taylor expansion of 2 in a 0.189 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.189 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.189 * [taylor]: Taking taylor expansion of a in a 0.189 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.189 * [taylor]: Taking taylor expansion of b in a 0.189 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (+ (* 4 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))))) in a 0.189 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.189 * [taylor]: Taking taylor expansion of a in a 0.189 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 4 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))) in a 0.189 * [taylor]: Taking taylor expansion of (pow b 4) in a 0.189 * [taylor]: Taking taylor expansion of b in a 0.189 * [taylor]: Taking taylor expansion of (+ (* 4 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))) in a 0.189 * [taylor]: Taking taylor expansion of (* 4 (pow b 2)) in a 0.189 * [taylor]: Taking taylor expansion of 4 in a 0.189 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.189 * [taylor]: Taking taylor expansion of b in a 0.189 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 0.189 * [taylor]: Taking taylor expansion of 2 in a 0.189 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.189 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.189 * [taylor]: Taking taylor expansion of a in a 0.189 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.189 * [taylor]: Taking taylor expansion of b in a 0.190 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 4 (pow b 2))) in b 0.190 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.190 * [taylor]: Taking taylor expansion of b in b 0.190 * [taylor]: Taking taylor expansion of (* 4 (pow b 2)) in b 0.190 * [taylor]: Taking taylor expansion of 4 in b 0.190 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.190 * [taylor]: Taking taylor expansion of b in b 0.190 * [taylor]: Taking taylor expansion of 0 in b 0.191 * [taylor]: Taking taylor expansion of (* 2 (pow b 2)) in b 0.191 * [taylor]: Taking taylor expansion of 2 in b 0.191 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.191 * [taylor]: Taking taylor expansion of b in b 0.191 * [taylor]: Taking taylor expansion of 0 in b 0.192 * [taylor]: Taking taylor expansion of 1 in b 0.193 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in (a b) around 0 0.193 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in b 0.193 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 0.193 * [taylor]: Taking taylor expansion of 2 in b 0.193 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 0.193 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.193 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.193 * [taylor]: Taking taylor expansion of a in b 0.193 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.193 * [taylor]: Taking taylor expansion of b in b 0.193 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 0.193 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow b 2))) in b 0.193 * [taylor]: Taking taylor expansion of 4 in b 0.193 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.193 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.193 * [taylor]: Taking taylor expansion of b in b 0.193 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 0.193 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 0.193 * [taylor]: Taking taylor expansion of (pow a 4) in b 0.193 * [taylor]: Taking taylor expansion of a in b 0.194 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 0.194 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.194 * [taylor]: Taking taylor expansion of b in b 0.194 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in a 0.194 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 0.194 * [taylor]: Taking taylor expansion of 2 in a 0.194 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.194 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.194 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.194 * [taylor]: Taking taylor expansion of a in a 0.194 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.194 * [taylor]: Taking taylor expansion of b in a 0.194 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 0.194 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow b 2))) in a 0.194 * [taylor]: Taking taylor expansion of 4 in a 0.194 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.194 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.194 * [taylor]: Taking taylor expansion of b in a 0.194 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 0.194 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.194 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.194 * [taylor]: Taking taylor expansion of a in a 0.194 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 0.194 * [taylor]: Taking taylor expansion of (pow b 4) in a 0.194 * [taylor]: Taking taylor expansion of b in a 0.195 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in a 0.195 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 0.195 * [taylor]: Taking taylor expansion of 2 in a 0.195 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.195 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.195 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.195 * [taylor]: Taking taylor expansion of a in a 0.195 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.195 * [taylor]: Taking taylor expansion of b in a 0.195 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 0.195 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow b 2))) in a 0.195 * [taylor]: Taking taylor expansion of 4 in a 0.195 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.195 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.195 * [taylor]: Taking taylor expansion of b in a 0.195 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 0.195 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.195 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.195 * [taylor]: Taking taylor expansion of a in a 0.195 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 0.195 * [taylor]: Taking taylor expansion of (pow b 4) in a 0.195 * [taylor]: Taking taylor expansion of b in a 0.195 * [taylor]: Taking taylor expansion of 1 in b 0.196 * [taylor]: Taking taylor expansion of 0 in b 0.196 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 0.196 * [taylor]: Taking taylor expansion of 2 in b 0.196 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.196 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.196 * [taylor]: Taking taylor expansion of b in b 0.196 * [taylor]: Taking taylor expansion of 0 in b 0.198 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (pow b 2))) (/ 1 (pow b 4))) in b 0.198 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow b 2))) in b 0.198 * [taylor]: Taking taylor expansion of 4 in b 0.198 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.198 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.198 * [taylor]: Taking taylor expansion of b in b 0.198 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 0.198 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.198 * [taylor]: Taking taylor expansion of b in b 0.199 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in (a b) around 0 0.199 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in b 0.199 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 0.199 * [taylor]: Taking taylor expansion of 2 in b 0.199 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 0.199 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.199 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.199 * [taylor]: Taking taylor expansion of a in b 0.199 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.199 * [taylor]: Taking taylor expansion of b in b 0.199 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 0.199 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow b 2))) in b 0.199 * [taylor]: Taking taylor expansion of 4 in b 0.199 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.199 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.199 * [taylor]: Taking taylor expansion of b in b 0.199 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 0.199 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 0.199 * [taylor]: Taking taylor expansion of (pow a 4) in b 0.199 * [taylor]: Taking taylor expansion of a in b 0.200 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 0.200 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.200 * [taylor]: Taking taylor expansion of b in b 0.200 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in a 0.200 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 0.200 * [taylor]: Taking taylor expansion of 2 in a 0.200 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.200 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.200 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.200 * [taylor]: Taking taylor expansion of a in a 0.200 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.200 * [taylor]: Taking taylor expansion of b in a 0.200 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 0.200 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow b 2))) in a 0.200 * [taylor]: Taking taylor expansion of 4 in a 0.200 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.200 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.200 * [taylor]: Taking taylor expansion of b in a 0.200 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 0.200 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.200 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.200 * [taylor]: Taking taylor expansion of a in a 0.200 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 0.200 * [taylor]: Taking taylor expansion of (pow b 4) in a 0.200 * [taylor]: Taking taylor expansion of b in a 0.200 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in a 0.200 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 0.200 * [taylor]: Taking taylor expansion of 2 in a 0.201 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.201 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.201 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.201 * [taylor]: Taking taylor expansion of a in a 0.201 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.201 * [taylor]: Taking taylor expansion of b in a 0.201 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 0.201 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow b 2))) in a 0.201 * [taylor]: Taking taylor expansion of 4 in a 0.201 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.201 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.201 * [taylor]: Taking taylor expansion of b in a 0.201 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 0.201 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.201 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.201 * [taylor]: Taking taylor expansion of a in a 0.201 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 0.201 * [taylor]: Taking taylor expansion of (pow b 4) in a 0.201 * [taylor]: Taking taylor expansion of b in a 0.201 * [taylor]: Taking taylor expansion of 1 in b 0.201 * [taylor]: Taking taylor expansion of 0 in b 0.202 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 0.202 * [taylor]: Taking taylor expansion of 2 in b 0.202 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.202 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.202 * [taylor]: Taking taylor expansion of b in b 0.202 * [taylor]: Taking taylor expansion of 0 in b 0.204 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (pow b 2))) (/ 1 (pow b 4))) in b 0.204 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow b 2))) in b 0.204 * [taylor]: Taking taylor expansion of 4 in b 0.204 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.204 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.204 * [taylor]: Taking taylor expansion of b in b 0.204 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 0.204 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.204 * [taylor]: Taking taylor expansion of b in b 0.204 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 0.204 * [approximate]: Taking taylor expansion of (* 4 (pow b 2)) in (b) around 0 0.204 * [taylor]: Taking taylor expansion of (* 4 (pow b 2)) in b 0.204 * [taylor]: Taking taylor expansion of 4 in b 0.204 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.204 * [taylor]: Taking taylor expansion of b in b 0.205 * [taylor]: Taking taylor expansion of (* 4 (pow b 2)) in b 0.205 * [taylor]: Taking taylor expansion of 4 in b 0.205 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.205 * [taylor]: Taking taylor expansion of b in b 0.205 * [approximate]: Taking taylor expansion of (/ 4 (pow b 2)) in (b) around 0 0.205 * [taylor]: Taking taylor expansion of (/ 4 (pow b 2)) in b 0.205 * [taylor]: Taking taylor expansion of 4 in b 0.205 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.205 * [taylor]: Taking taylor expansion of b in b 0.206 * [taylor]: Taking taylor expansion of (/ 4 (pow b 2)) in b 0.206 * [taylor]: Taking taylor expansion of 4 in b 0.206 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.206 * [taylor]: Taking taylor expansion of b in b 0.207 * [approximate]: Taking taylor expansion of (/ 4 (pow b 2)) in (b) around 0 0.207 * [taylor]: Taking taylor expansion of (/ 4 (pow b 2)) in b 0.207 * [taylor]: Taking taylor expansion of 4 in b 0.207 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.207 * [taylor]: Taking taylor expansion of b in b 0.207 * [taylor]: Taking taylor expansion of (/ 4 (pow b 2)) in b 0.207 * [taylor]: Taking taylor expansion of 4 in b 0.207 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.207 * [taylor]: Taking taylor expansion of b in b 0.208 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 0.208 * [approximate]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in (a b) around 0 0.208 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 0.208 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.208 * [taylor]: Taking taylor expansion of a in b 0.208 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.208 * [taylor]: Taking taylor expansion of b in b 0.208 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 0.208 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.208 * [taylor]: Taking taylor expansion of a in a 0.208 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.208 * [taylor]: Taking taylor expansion of b in a 0.208 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 0.208 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.208 * [taylor]: Taking taylor expansion of a in a 0.208 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.208 * [taylor]: Taking taylor expansion of b in a 0.208 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.208 * [taylor]: Taking taylor expansion of b in b 0.208 * [taylor]: Taking taylor expansion of 0 in b 0.208 * [taylor]: Taking taylor expansion of 1 in b 0.209 * [taylor]: Taking taylor expansion of 0 in b 0.209 * [taylor]: Taking taylor expansion of 0 in b 0.209 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in (a b) around 0 0.209 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.209 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.209 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.209 * [taylor]: Taking taylor expansion of b in b 0.209 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.209 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.209 * [taylor]: Taking taylor expansion of a in b 0.209 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.209 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.209 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.209 * [taylor]: Taking taylor expansion of b in a 0.210 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.210 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.210 * [taylor]: Taking taylor expansion of a in a 0.210 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.210 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.210 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.210 * [taylor]: Taking taylor expansion of b in a 0.210 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.210 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.210 * [taylor]: Taking taylor expansion of a in a 0.210 * [taylor]: Taking taylor expansion of 1 in b 0.210 * [taylor]: Taking taylor expansion of 0 in b 0.210 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.210 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.210 * [taylor]: Taking taylor expansion of b in b 0.211 * [taylor]: Taking taylor expansion of 0 in b 0.211 * [taylor]: Taking taylor expansion of 0 in b 0.212 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in (a b) around 0 0.212 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.212 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.212 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.212 * [taylor]: Taking taylor expansion of b in b 0.212 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.212 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.212 * [taylor]: Taking taylor expansion of a in b 0.212 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.212 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.212 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.212 * [taylor]: Taking taylor expansion of b in a 0.212 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.212 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.212 * [taylor]: Taking taylor expansion of a in a 0.212 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.212 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.212 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.212 * [taylor]: Taking taylor expansion of b in a 0.212 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.212 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.212 * [taylor]: Taking taylor expansion of a in a 0.212 * [taylor]: Taking taylor expansion of 1 in b 0.212 * [taylor]: Taking taylor expansion of 0 in b 0.213 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.213 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.213 * [taylor]: Taking taylor expansion of b in b 0.213 * [taylor]: Taking taylor expansion of 0 in b 0.213 * [taylor]: Taking taylor expansion of 0 in b 0.214 * * * [progress]: simplifying candidates 0.215 * [simplify]: Simplifying using # : (*.f64 (log.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (*.f64 (log.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (*.f64 1 2) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (sqrt.f64 2)) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 1) (pow.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) 2) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (pow.f64 1 2) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (log.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (exp.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (*.f64 (*.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2)) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2)) (*.f64 (exp.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (exp.f64 (*.f64 4 (*.f64 b b)))) (log.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b)))) (exp.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b)))) (*.f64 (cbrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b)))) (cbrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b))))) (cbrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b)))) (*.f64 (*.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b))) (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b)))) (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b)))) (sqrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b)))) (sqrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b)))) (+.f64 (pow.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) 3) (pow.f64 (*.f64 4 (*.f64 b b)) 3)) (+.f64 (*.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (-.f64 (*.f64 (*.f64 4 (*.f64 b b)) (*.f64 4 (*.f64 b b))) (*.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b))))) (-.f64 (*.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (*.f64 (*.f64 4 (*.f64 b b)) (*.f64 4 (*.f64 b b)))) (-.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b))) (*.f64 4 (*.f64 b b)) (*.f64 4 (*.f64 b b)) (+.f64 (log.f64 4) (+.f64 (log.f64 b) (log.f64 b))) (+.f64 (log.f64 4) (log.f64 (*.f64 b b))) (log.f64 (*.f64 4 (*.f64 b b))) (exp.f64 (*.f64 4 (*.f64 b b))) (*.f64 (*.f64 (*.f64 4 4) 4) (*.f64 (*.f64 (*.f64 b b) b) (*.f64 (*.f64 b b) b))) (*.f64 (*.f64 (*.f64 4 4) 4) (*.f64 (*.f64 (*.f64 b b) (*.f64 b b)) (*.f64 b b))) (*.f64 (cbrt.f64 (*.f64 4 (*.f64 b b))) (cbrt.f64 (*.f64 4 (*.f64 b b)))) (cbrt.f64 (*.f64 4 (*.f64 b b))) (*.f64 (*.f64 (*.f64 4 (*.f64 b b)) (*.f64 4 (*.f64 b b))) (*.f64 4 (*.f64 b b))) (sqrt.f64 (*.f64 4 (*.f64 b b))) (sqrt.f64 (*.f64 4 (*.f64 b b))) (*.f64 (sqrt.f64 4) b) (*.f64 (sqrt.f64 4) b) (*.f64 4 b) (*.f64 (cbrt.f64 4) (*.f64 b b)) (*.f64 (sqrt.f64 4) (*.f64 b b)) (*.f64 4 (*.f64 b b)) (*.f64 (exp.f64 (*.f64 a a)) (exp.f64 (*.f64 b b))) (log.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (exp.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (*.f64 (*.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (+.f64 (*.f64 a a) (*.f64 b b))) (+.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (+.f64 (pow.f64 (*.f64 a a) 3) (pow.f64 (*.f64 b b) 3)) (+.f64 (*.f64 (*.f64 a a) (*.f64 a a)) (-.f64 (*.f64 (*.f64 b b) (*.f64 b b)) (*.f64 (*.f64 a a) (*.f64 b b)))) (-.f64 (*.f64 (*.f64 a a) (*.f64 a a)) (*.f64 (*.f64 b b) (*.f64 b b))) (-.f64 (*.f64 a a) (*.f64 b b)) (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2))))) (+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2))))) (+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2))))) (+.f64 (pow.f64 a 4) (+.f64 (*.f64 4 (pow.f64 b 2)) (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2))))) (+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2))))) (+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2))))) (*.f64 4 (pow.f64 b 2)) (*.f64 4 (pow.f64 b 2)) (*.f64 4 (pow.f64 b 2)) (+.f64 (pow.f64 a 2) (pow.f64 b 2)) (+.f64 (pow.f64 a 2) (pow.f64 b 2)) (+.f64 (pow.f64 a 2) (pow.f64 b 2)) 0.272 * * [simplify]: iteration 0 : 4951 enodes (cost 751 ) 0.272 * * [simplify]: iteration 1 : 4951 enodes (cost 751 ) 0.275 * [simplify]: Simplified to: (*.f64 (log.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (*.f64 (log.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) 2 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (sqrt.f64 2)) (+.f64 (*.f64 a a) (*.f64 b b)) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 4) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (+.f64 (*.f64 a a) (*.f64 b b)) (+.f64 (*.f64 a a) (*.f64 b b)) 1 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (log.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (exp.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 6) (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (+.f64 (*.f64 a a) (*.f64 b b)) (+.f64 (*.f64 a a) (*.f64 b b)) (exp.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4))) (log.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4))) (exp.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4))) (*.f64 (cbrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4))) (cbrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))) (cbrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4))) (pow.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)) 3) (sqrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4))) (sqrt.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4))) (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 6) (*.f64 64 (pow.f64 b 6))) (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 4) (-.f64 (*.f64 16 (pow.f64 b 4)) (*.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)))) (-.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 4) (*.f64 16 (pow.f64 b 4))) (-.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)) (*.f64 (*.f64 b b) 4) (*.f64 (*.f64 b b) 4) (log.f64 (*.f64 (*.f64 b b) 4)) (log.f64 (*.f64 (*.f64 b b) 4)) (log.f64 (*.f64 (*.f64 b b) 4)) (exp.f64 (*.f64 (*.f64 b b) 4)) (*.f64 64 (pow.f64 b 6)) (*.f64 64 (pow.f64 b 6)) (*.f64 (cbrt.f64 (*.f64 (*.f64 b b) 4)) (cbrt.f64 (*.f64 (*.f64 b b) 4))) (cbrt.f64 (*.f64 (*.f64 b b) 4)) (*.f64 64 (pow.f64 b 6)) (sqrt.f64 (*.f64 (*.f64 b b) 4)) (sqrt.f64 (*.f64 (*.f64 b b) 4)) (*.f64 b 2) (*.f64 b 2) (*.f64 b 4) (*.f64 (*.f64 b b) (cbrt.f64 4)) (*.f64 b (*.f64 b 2)) (*.f64 (*.f64 b b) 4) (exp.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (log.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (exp.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 3) (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (+.f64 (pow.f64 b 6) (pow.f64 a 6)) (+.f64 (pow.f64 a 4) (-.f64 (pow.f64 b 4) (*.f64 (*.f64 a a) (*.f64 b b)))) (-.f64 (pow.f64 a 4) (pow.f64 b 4)) (-.f64 (*.f64 a a) (*.f64 b b)) (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (+.f64 (pow.f64 a 4) (*.f64 b (*.f64 b (+.f64 4 (*.f64 (*.f64 a a) 2))))) (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (*.f64 (*.f64 b b) 4) (*.f64 (*.f64 b b) 4) (*.f64 (*.f64 b b) 4) (+.f64 (*.f64 a a) (*.f64 b b)) (+.f64 (*.f64 a a) (*.f64 b b)) (+.f64 (*.f64 a a) (*.f64 b b)) 0.276 * * * [progress]: adding candidates to table 0.322 * * [progress]: iteration 2 / 4 0.322 * * * [progress]: picking best candidate 0.326 * * * * [pick]: Picked # 0.326 * * * [progress]: localizing error 0.341 * * * [progress]: generating rewritten candidates 0.341 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2) 0.352 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.367 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 0.373 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 0.382 * * * [progress]: generating series expansions 0.382 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2) 0.382 * [approximate]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in (a b) around 0 0.382 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b 0.382 * [taylor]: Taking taylor expansion of 2 in b 0.382 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.382 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.382 * [taylor]: Taking taylor expansion of a in b 0.382 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.382 * [taylor]: Taking taylor expansion of b in b 0.382 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 0.382 * [taylor]: Taking taylor expansion of 2 in a 0.382 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.382 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.382 * [taylor]: Taking taylor expansion of a in a 0.382 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.382 * [taylor]: Taking taylor expansion of b in a 0.382 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 0.382 * [taylor]: Taking taylor expansion of 2 in a 0.383 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.383 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.383 * [taylor]: Taking taylor expansion of a in a 0.383 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.383 * [taylor]: Taking taylor expansion of b in a 0.383 * [taylor]: Taking taylor expansion of (* 2 (pow b 2)) in b 0.383 * [taylor]: Taking taylor expansion of 2 in b 0.383 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.383 * [taylor]: Taking taylor expansion of b in b 0.383 * [taylor]: Taking taylor expansion of 0 in b 0.383 * [taylor]: Taking taylor expansion of 0 in b 0.384 * [taylor]: Taking taylor expansion of 0 in b 0.384 * [approximate]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in (a b) around 0 0.384 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in b 0.384 * [taylor]: Taking taylor expansion of 2 in b 0.384 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.384 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.384 * [taylor]: Taking taylor expansion of a in b 0.384 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.384 * [taylor]: Taking taylor expansion of b in b 0.384 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a 0.384 * [taylor]: Taking taylor expansion of 2 in a 0.384 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.384 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.384 * [taylor]: Taking taylor expansion of a in a 0.385 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.385 * [taylor]: Taking taylor expansion of b in a 0.385 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a 0.385 * [taylor]: Taking taylor expansion of 2 in a 0.385 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.385 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.385 * [taylor]: Taking taylor expansion of a in a 0.385 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.385 * [taylor]: Taking taylor expansion of b in a 0.385 * [taylor]: Taking taylor expansion of (/ 2 (pow b 2)) in b 0.385 * [taylor]: Taking taylor expansion of 2 in b 0.385 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.385 * [taylor]: Taking taylor expansion of b in b 0.385 * [taylor]: Taking taylor expansion of 0 in b 0.386 * [taylor]: Taking taylor expansion of 0 in b 0.387 * [taylor]: Taking taylor expansion of 0 in b 0.387 * [taylor]: Taking taylor expansion of 0 in b 0.388 * [approximate]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in (a b) around 0 0.388 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in b 0.388 * [taylor]: Taking taylor expansion of 2 in b 0.388 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.388 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.388 * [taylor]: Taking taylor expansion of a in b 0.388 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.388 * [taylor]: Taking taylor expansion of b in b 0.388 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a 0.388 * [taylor]: Taking taylor expansion of 2 in a 0.388 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.388 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.388 * [taylor]: Taking taylor expansion of a in a 0.388 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.388 * [taylor]: Taking taylor expansion of b in a 0.388 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a 0.388 * [taylor]: Taking taylor expansion of 2 in a 0.388 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.388 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.388 * [taylor]: Taking taylor expansion of a in a 0.388 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.388 * [taylor]: Taking taylor expansion of b in a 0.389 * [taylor]: Taking taylor expansion of (/ 2 (pow b 2)) in b 0.389 * [taylor]: Taking taylor expansion of 2 in b 0.389 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.389 * [taylor]: Taking taylor expansion of b in b 0.389 * [taylor]: Taking taylor expansion of 0 in b 0.389 * [taylor]: Taking taylor expansion of 0 in b 0.390 * [taylor]: Taking taylor expansion of 0 in b 0.391 * [taylor]: Taking taylor expansion of 0 in b 0.391 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.392 * [approximate]: Taking taylor expansion of (+ (pow b 4) (+ (pow a 4) (+ (* 4 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))))) in (b a) around 0 0.392 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (pow a 4) (+ (* 4 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))))) in a 0.392 * [taylor]: Taking taylor expansion of (pow b 4) in a 0.392 * [taylor]: Taking taylor expansion of b in a 0.392 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (* 4 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))) in a 0.392 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.392 * [taylor]: Taking taylor expansion of a in a 0.392 * [taylor]: Taking taylor expansion of (+ (* 4 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))) in a 0.392 * [taylor]: Taking taylor expansion of (* 4 (pow b 2)) in a 0.392 * [taylor]: Taking taylor expansion of 4 in a 0.392 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.392 * [taylor]: Taking taylor expansion of b in a 0.392 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 0.392 * [taylor]: Taking taylor expansion of 2 in a 0.392 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.392 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.392 * [taylor]: Taking taylor expansion of a in a 0.392 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.392 * [taylor]: Taking taylor expansion of b in a 0.392 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (pow a 4) (+ (* 4 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))))) in b 0.392 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.392 * [taylor]: Taking taylor expansion of b in b 0.392 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (* 4 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))) in b 0.392 * [taylor]: Taking taylor expansion of (pow a 4) in b 0.392 * [taylor]: Taking taylor expansion of a in b 0.392 * [taylor]: Taking taylor expansion of (+ (* 4 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))) in b 0.392 * [taylor]: Taking taylor expansion of (* 4 (pow b 2)) in b 0.392 * [taylor]: Taking taylor expansion of 4 in b 0.392 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.392 * [taylor]: Taking taylor expansion of b in b 0.392 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b 0.392 * [taylor]: Taking taylor expansion of 2 in b 0.392 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.392 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.392 * [taylor]: Taking taylor expansion of a in b 0.392 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.392 * [taylor]: Taking taylor expansion of b in b 0.392 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (pow a 4) (+ (* 4 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))))) in b 0.392 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.392 * [taylor]: Taking taylor expansion of b in b 0.392 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (* 4 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))) in b 0.392 * [taylor]: Taking taylor expansion of (pow a 4) in b 0.392 * [taylor]: Taking taylor expansion of a in b 0.392 * [taylor]: Taking taylor expansion of (+ (* 4 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))) in b 0.392 * [taylor]: Taking taylor expansion of (* 4 (pow b 2)) in b 0.392 * [taylor]: Taking taylor expansion of 4 in b 0.392 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.392 * [taylor]: Taking taylor expansion of b in b 0.392 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b 0.392 * [taylor]: Taking taylor expansion of 2 in b 0.392 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.392 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.392 * [taylor]: Taking taylor expansion of a in b 0.392 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.393 * [taylor]: Taking taylor expansion of b in b 0.393 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.393 * [taylor]: Taking taylor expansion of a in a 0.393 * [taylor]: Taking taylor expansion of 0 in a 0.394 * [taylor]: Taking taylor expansion of (+ (* 2 (pow a 2)) 4) in a 0.394 * [taylor]: Taking taylor expansion of (* 2 (pow a 2)) in a 0.394 * [taylor]: Taking taylor expansion of 2 in a 0.394 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.394 * [taylor]: Taking taylor expansion of a in a 0.394 * [taylor]: Taking taylor expansion of 4 in a 0.394 * [taylor]: Taking taylor expansion of 0 in a 0.395 * [taylor]: Taking taylor expansion of 1 in a 0.396 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in (b a) around 0 0.396 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in a 0.396 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 0.396 * [taylor]: Taking taylor expansion of 2 in a 0.396 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.396 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.396 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.396 * [taylor]: Taking taylor expansion of a in a 0.396 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.396 * [taylor]: Taking taylor expansion of b in a 0.396 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 0.396 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow b 2))) in a 0.396 * [taylor]: Taking taylor expansion of 4 in a 0.396 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.396 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.396 * [taylor]: Taking taylor expansion of b in a 0.396 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 0.396 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.396 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.397 * [taylor]: Taking taylor expansion of a in a 0.397 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 0.397 * [taylor]: Taking taylor expansion of (pow b 4) in a 0.397 * [taylor]: Taking taylor expansion of b in a 0.397 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in b 0.397 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 0.397 * [taylor]: Taking taylor expansion of 2 in b 0.397 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 0.397 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.397 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.397 * [taylor]: Taking taylor expansion of a in b 0.397 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.397 * [taylor]: Taking taylor expansion of b in b 0.397 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 0.397 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow b 2))) in b 0.397 * [taylor]: Taking taylor expansion of 4 in b 0.397 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.397 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.397 * [taylor]: Taking taylor expansion of b in b 0.397 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 0.397 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 0.397 * [taylor]: Taking taylor expansion of (pow a 4) in b 0.397 * [taylor]: Taking taylor expansion of a in b 0.397 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 0.398 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.398 * [taylor]: Taking taylor expansion of b in b 0.398 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in b 0.398 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 0.398 * [taylor]: Taking taylor expansion of 2 in b 0.398 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 0.398 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.398 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.398 * [taylor]: Taking taylor expansion of a in b 0.398 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.398 * [taylor]: Taking taylor expansion of b in b 0.398 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 0.398 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow b 2))) in b 0.398 * [taylor]: Taking taylor expansion of 4 in b 0.398 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.398 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.398 * [taylor]: Taking taylor expansion of b in b 0.398 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 0.398 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 0.398 * [taylor]: Taking taylor expansion of (pow a 4) in b 0.398 * [taylor]: Taking taylor expansion of a in b 0.398 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 0.398 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.398 * [taylor]: Taking taylor expansion of b in b 0.398 * [taylor]: Taking taylor expansion of 1 in a 0.399 * [taylor]: Taking taylor expansion of 0 in a 0.399 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow a 2))) 4) in a 0.399 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow a 2))) in a 0.399 * [taylor]: Taking taylor expansion of 2 in a 0.399 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.399 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.399 * [taylor]: Taking taylor expansion of a in a 0.399 * [taylor]: Taking taylor expansion of 4 in a 0.400 * [taylor]: Taking taylor expansion of 0 in a 0.401 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.401 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.401 * [taylor]: Taking taylor expansion of a in a 0.402 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in (b a) around 0 0.402 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in a 0.402 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 0.402 * [taylor]: Taking taylor expansion of 2 in a 0.402 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.402 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.402 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.402 * [taylor]: Taking taylor expansion of a in a 0.402 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.402 * [taylor]: Taking taylor expansion of b in a 0.402 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 0.402 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow b 2))) in a 0.402 * [taylor]: Taking taylor expansion of 4 in a 0.402 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.402 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.402 * [taylor]: Taking taylor expansion of b in a 0.402 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 0.402 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.402 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.402 * [taylor]: Taking taylor expansion of a in a 0.402 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 0.402 * [taylor]: Taking taylor expansion of (pow b 4) in a 0.402 * [taylor]: Taking taylor expansion of b in a 0.403 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in b 0.403 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 0.403 * [taylor]: Taking taylor expansion of 2 in b 0.403 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 0.403 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.403 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.403 * [taylor]: Taking taylor expansion of a in b 0.403 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.403 * [taylor]: Taking taylor expansion of b in b 0.403 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 0.403 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow b 2))) in b 0.403 * [taylor]: Taking taylor expansion of 4 in b 0.403 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.403 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.403 * [taylor]: Taking taylor expansion of b in b 0.403 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 0.403 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 0.403 * [taylor]: Taking taylor expansion of (pow a 4) in b 0.403 * [taylor]: Taking taylor expansion of a in b 0.403 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 0.403 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.403 * [taylor]: Taking taylor expansion of b in b 0.403 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in b 0.403 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 0.403 * [taylor]: Taking taylor expansion of 2 in b 0.403 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 0.404 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.404 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.404 * [taylor]: Taking taylor expansion of a in b 0.404 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.404 * [taylor]: Taking taylor expansion of b in b 0.404 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 0.404 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow b 2))) in b 0.404 * [taylor]: Taking taylor expansion of 4 in b 0.404 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.404 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.404 * [taylor]: Taking taylor expansion of b in b 0.404 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 0.404 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 0.404 * [taylor]: Taking taylor expansion of (pow a 4) in b 0.404 * [taylor]: Taking taylor expansion of a in b 0.404 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 0.404 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.404 * [taylor]: Taking taylor expansion of b in b 0.404 * [taylor]: Taking taylor expansion of 1 in a 0.404 * [taylor]: Taking taylor expansion of 0 in a 0.405 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow a 2))) 4) in a 0.405 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow a 2))) in a 0.405 * [taylor]: Taking taylor expansion of 2 in a 0.405 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.405 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.405 * [taylor]: Taking taylor expansion of a in a 0.405 * [taylor]: Taking taylor expansion of 4 in a 0.405 * [taylor]: Taking taylor expansion of 0 in a 0.406 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.406 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.406 * [taylor]: Taking taylor expansion of a in a 0.407 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 0.407 * [approximate]: Taking taylor expansion of (* 4 (pow b 2)) in (b) around 0 0.407 * [taylor]: Taking taylor expansion of (* 4 (pow b 2)) in b 0.407 * [taylor]: Taking taylor expansion of 4 in b 0.407 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.407 * [taylor]: Taking taylor expansion of b in b 0.407 * [taylor]: Taking taylor expansion of (* 4 (pow b 2)) in b 0.407 * [taylor]: Taking taylor expansion of 4 in b 0.407 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.407 * [taylor]: Taking taylor expansion of b in b 0.408 * [approximate]: Taking taylor expansion of (/ 4 (pow b 2)) in (b) around 0 0.408 * [taylor]: Taking taylor expansion of (/ 4 (pow b 2)) in b 0.408 * [taylor]: Taking taylor expansion of 4 in b 0.408 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.408 * [taylor]: Taking taylor expansion of b in b 0.408 * [taylor]: Taking taylor expansion of (/ 4 (pow b 2)) in b 0.408 * [taylor]: Taking taylor expansion of 4 in b 0.408 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.408 * [taylor]: Taking taylor expansion of b in b 0.411 * [approximate]: Taking taylor expansion of (/ 4 (pow b 2)) in (b) around 0 0.411 * [taylor]: Taking taylor expansion of (/ 4 (pow b 2)) in b 0.411 * [taylor]: Taking taylor expansion of 4 in b 0.411 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.411 * [taylor]: Taking taylor expansion of b in b 0.412 * [taylor]: Taking taylor expansion of (/ 4 (pow b 2)) in b 0.412 * [taylor]: Taking taylor expansion of 4 in b 0.412 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.412 * [taylor]: Taking taylor expansion of b in b 0.413 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 0.413 * [approximate]: Taking taylor expansion of (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))) in (a b) around 0 0.413 * [taylor]: Taking taylor expansion of (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))) in b 0.413 * [taylor]: Taking taylor expansion of (pow a 4) in b 0.413 * [taylor]: Taking taylor expansion of a in b 0.413 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b 0.413 * [taylor]: Taking taylor expansion of 2 in b 0.413 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.413 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.413 * [taylor]: Taking taylor expansion of a in b 0.413 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.413 * [taylor]: Taking taylor expansion of b in b 0.413 * [taylor]: Taking taylor expansion of (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))) in a 0.413 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.413 * [taylor]: Taking taylor expansion of a in a 0.413 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 0.413 * [taylor]: Taking taylor expansion of 2 in a 0.413 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.413 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.413 * [taylor]: Taking taylor expansion of a in a 0.413 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.413 * [taylor]: Taking taylor expansion of b in a 0.413 * [taylor]: Taking taylor expansion of (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))) in a 0.413 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.413 * [taylor]: Taking taylor expansion of a in a 0.413 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 0.413 * [taylor]: Taking taylor expansion of 2 in a 0.413 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.413 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.413 * [taylor]: Taking taylor expansion of a in a 0.413 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.413 * [taylor]: Taking taylor expansion of b in a 0.414 * [taylor]: Taking taylor expansion of (* 2 (pow b 2)) in b 0.414 * [taylor]: Taking taylor expansion of 2 in b 0.414 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.414 * [taylor]: Taking taylor expansion of b in b 0.414 * [taylor]: Taking taylor expansion of 0 in b 0.414 * [taylor]: Taking taylor expansion of 1 in b 0.415 * [taylor]: Taking taylor expansion of 0 in b 0.415 * [taylor]: Taking taylor expansion of 0 in b 0.416 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (/ 1 (pow a 4))) in (a b) around 0 0.416 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (/ 1 (pow a 4))) in b 0.416 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 0.416 * [taylor]: Taking taylor expansion of 2 in b 0.416 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 0.416 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.416 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.416 * [taylor]: Taking taylor expansion of a in b 0.416 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.416 * [taylor]: Taking taylor expansion of b in b 0.416 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 0.416 * [taylor]: Taking taylor expansion of (pow a 4) in b 0.416 * [taylor]: Taking taylor expansion of a in b 0.416 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (/ 1 (pow a 4))) in a 0.416 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 0.416 * [taylor]: Taking taylor expansion of 2 in a 0.416 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.416 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.416 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.416 * [taylor]: Taking taylor expansion of a in a 0.416 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.416 * [taylor]: Taking taylor expansion of b in a 0.416 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.417 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.417 * [taylor]: Taking taylor expansion of a in a 0.417 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (/ 1 (pow a 4))) in a 0.417 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 0.417 * [taylor]: Taking taylor expansion of 2 in a 0.417 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.417 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.417 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.417 * [taylor]: Taking taylor expansion of a in a 0.417 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.417 * [taylor]: Taking taylor expansion of b in a 0.417 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.417 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.417 * [taylor]: Taking taylor expansion of a in a 0.417 * [taylor]: Taking taylor expansion of 1 in b 0.417 * [taylor]: Taking taylor expansion of 0 in b 0.417 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 0.417 * [taylor]: Taking taylor expansion of 2 in b 0.417 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.417 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.417 * [taylor]: Taking taylor expansion of b in b 0.418 * [taylor]: Taking taylor expansion of 0 in b 0.419 * [taylor]: Taking taylor expansion of 0 in b 0.420 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (/ 1 (pow a 4))) in (a b) around 0 0.420 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (/ 1 (pow a 4))) in b 0.420 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 0.420 * [taylor]: Taking taylor expansion of 2 in b 0.420 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 0.420 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.420 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.420 * [taylor]: Taking taylor expansion of a in b 0.420 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.420 * [taylor]: Taking taylor expansion of b in b 0.420 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 0.420 * [taylor]: Taking taylor expansion of (pow a 4) in b 0.420 * [taylor]: Taking taylor expansion of a in b 0.420 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (/ 1 (pow a 4))) in a 0.420 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 0.420 * [taylor]: Taking taylor expansion of 2 in a 0.420 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.420 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.420 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.420 * [taylor]: Taking taylor expansion of a in a 0.420 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.420 * [taylor]: Taking taylor expansion of b in a 0.420 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.420 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.420 * [taylor]: Taking taylor expansion of a in a 0.420 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (/ 1 (pow a 4))) in a 0.421 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 0.421 * [taylor]: Taking taylor expansion of 2 in a 0.421 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.421 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.421 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.421 * [taylor]: Taking taylor expansion of a in a 0.421 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.421 * [taylor]: Taking taylor expansion of b in a 0.421 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.421 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.421 * [taylor]: Taking taylor expansion of a in a 0.421 * [taylor]: Taking taylor expansion of 1 in b 0.421 * [taylor]: Taking taylor expansion of 0 in b 0.421 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 0.421 * [taylor]: Taking taylor expansion of 2 in b 0.421 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.421 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.421 * [taylor]: Taking taylor expansion of b in b 0.422 * [taylor]: Taking taylor expansion of 0 in b 0.423 * [taylor]: Taking taylor expansion of 0 in b 0.423 * * * [progress]: simplifying candidates 0.424 * [simplify]: Simplifying using # : (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (+.f64 (+.f64 (log.f64 a) (log.f64 a)) (+.f64 (log.f64 b) (+.f64 (log.f64 b) (log.f64 2)))) (+.f64 (+.f64 (log.f64 a) (log.f64 a)) (+.f64 (log.f64 b) (log.f64 (*.f64 b 2)))) (+.f64 (+.f64 (log.f64 a) (log.f64 a)) (log.f64 (*.f64 b (*.f64 b 2)))) (+.f64 (log.f64 (*.f64 a a)) (+.f64 (log.f64 b) (+.f64 (log.f64 b) (log.f64 2)))) (+.f64 (log.f64 (*.f64 a a)) (+.f64 (log.f64 b) (log.f64 (*.f64 b 2)))) (+.f64 (log.f64 (*.f64 a a)) (log.f64 (*.f64 b (*.f64 b 2)))) (log.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))) (exp.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))) (*.f64 (*.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 a a) a)) (*.f64 (*.f64 (*.f64 b b) b) (*.f64 (*.f64 (*.f64 b b) b) (*.f64 (*.f64 2 2) 2)))) (*.f64 (*.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 a a) a)) (*.f64 (*.f64 (*.f64 b b) b) (*.f64 (*.f64 (*.f64 b 2) (*.f64 b 2)) (*.f64 b 2)))) (*.f64 (*.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 a a) a)) (*.f64 (*.f64 (*.f64 b (*.f64 b 2)) (*.f64 b (*.f64 b 2))) (*.f64 b (*.f64 b 2)))) (*.f64 (*.f64 (*.f64 (*.f64 a a) (*.f64 a a)) (*.f64 a a)) (*.f64 (*.f64 (*.f64 b b) b) (*.f64 (*.f64 (*.f64 b b) b) (*.f64 (*.f64 2 2) 2)))) (*.f64 (*.f64 (*.f64 (*.f64 a a) (*.f64 a a)) (*.f64 a a)) (*.f64 (*.f64 (*.f64 b b) b) (*.f64 (*.f64 (*.f64 b 2) (*.f64 b 2)) (*.f64 b 2)))) (*.f64 (*.f64 (*.f64 (*.f64 a a) (*.f64 a a)) (*.f64 a a)) (*.f64 (*.f64 (*.f64 b (*.f64 b 2)) (*.f64 b (*.f64 b 2))) (*.f64 b (*.f64 b 2)))) (*.f64 (cbrt.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))) (cbrt.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (cbrt.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))) (*.f64 (*.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))) (sqrt.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))) (sqrt.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))) (*.f64 (*.f64 a a) b) (*.f64 a (*.f64 b (*.f64 b 2))) (*.f64 (*.f64 (exp.f64 (pow.f64 b 4)) (*.f64 (exp.f64 (pow.f64 a 4)) (exp.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))))) (exp.f64 (*.f64 4 (*.f64 b b)))) (*.f64 (*.f64 (exp.f64 (pow.f64 b 4)) (exp.f64 (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))))) (exp.f64 (*.f64 4 (*.f64 b b)))) (*.f64 (exp.f64 (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))))) (exp.f64 (*.f64 4 (*.f64 b b)))) (log.f64 (+.f64 (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (*.f64 4 (*.f64 b b)))) (exp.f64 (+.f64 (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (*.f64 4 (*.f64 b b)))) (*.f64 (cbrt.f64 (+.f64 (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (*.f64 4 (*.f64 b b)))) (cbrt.f64 (+.f64 (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (*.f64 4 (*.f64 b b))))) (cbrt.f64 (+.f64 (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (*.f64 4 (*.f64 b b)))) (*.f64 (*.f64 (+.f64 (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (*.f64 4 (*.f64 b b))) (+.f64 (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (*.f64 4 (*.f64 b b)))) (+.f64 (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (*.f64 4 (*.f64 b b)))) (sqrt.f64 (+.f64 (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (*.f64 4 (*.f64 b b)))) (sqrt.f64 (+.f64 (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (*.f64 4 (*.f64 b b)))) (+.f64 (pow.f64 (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) 3) (pow.f64 (*.f64 4 (*.f64 b b)) 3)) (+.f64 (*.f64 (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))))) (-.f64 (*.f64 (*.f64 4 (*.f64 b b)) (*.f64 4 (*.f64 b b))) (*.f64 (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (*.f64 4 (*.f64 b b))))) (-.f64 (*.f64 (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))))) (*.f64 (*.f64 4 (*.f64 b b)) (*.f64 4 (*.f64 b b)))) (-.f64 (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (*.f64 4 (*.f64 b b))) (+.f64 (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))) (*.f64 4 (*.f64 b b))) (*.f64 4 (*.f64 b b)) (*.f64 4 (*.f64 b b)) (+.f64 (log.f64 4) (+.f64 (log.f64 b) (log.f64 b))) (+.f64 (log.f64 4) (log.f64 (*.f64 b b))) (log.f64 (*.f64 4 (*.f64 b b))) (exp.f64 (*.f64 4 (*.f64 b b))) (*.f64 (*.f64 (*.f64 4 4) 4) (*.f64 (*.f64 (*.f64 b b) b) (*.f64 (*.f64 b b) b))) (*.f64 (*.f64 (*.f64 4 4) 4) (*.f64 (*.f64 (*.f64 b b) (*.f64 b b)) (*.f64 b b))) (*.f64 (cbrt.f64 (*.f64 4 (*.f64 b b))) (cbrt.f64 (*.f64 4 (*.f64 b b)))) (cbrt.f64 (*.f64 4 (*.f64 b b))) (*.f64 (*.f64 (*.f64 4 (*.f64 b b)) (*.f64 4 (*.f64 b b))) (*.f64 4 (*.f64 b b))) (sqrt.f64 (*.f64 4 (*.f64 b b))) (sqrt.f64 (*.f64 4 (*.f64 b b))) (*.f64 (sqrt.f64 4) b) (*.f64 (sqrt.f64 4) b) (*.f64 4 b) (*.f64 (cbrt.f64 4) (*.f64 b b)) (*.f64 (sqrt.f64 4) (*.f64 b b)) (*.f64 4 (*.f64 b b)) (*.f64 (exp.f64 (pow.f64 a 4)) (exp.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (log.f64 (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (exp.f64 (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (*.f64 (cbrt.f64 (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (cbrt.f64 (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))))) (cbrt.f64 (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (*.f64 (*.f64 (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (sqrt.f64 (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (sqrt.f64 (+.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (+.f64 (pow.f64 (pow.f64 a 4) 3) (pow.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) 3)) (+.f64 (*.f64 (pow.f64 a 4) (pow.f64 a 4)) (-.f64 (*.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))) (*.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))))) (-.f64 (*.f64 (pow.f64 a 4) (pow.f64 a 4)) (*.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (-.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))) (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2))) (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2))) (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2))) (+.f64 (pow.f64 b 4) (+.f64 (*.f64 4 (pow.f64 b 2)) (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2))))) (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2))))) (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2))))) (*.f64 4 (pow.f64 b 2)) (*.f64 4 (pow.f64 b 2)) (*.f64 4 (pow.f64 b 2)) (+.f64 (pow.f64 a 4) (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2)))) (+.f64 (pow.f64 a 4) (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2)))) (+.f64 (pow.f64 a 4) (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2)))) 0.479 * * [simplify]: iteration 0 : 4977 enodes (cost 1037 ) 0.479 * * [simplify]: iteration 1 : 4977 enodes (cost 1037 ) 0.483 * [simplify]: Simplified to: (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (+.f64 (log.f64 2) (*.f64 2 (log.f64 (*.f64 a b)))) (+.f64 (log.f64 2) (*.f64 2 (log.f64 (*.f64 a b)))) (+.f64 (log.f64 2) (*.f64 2 (log.f64 (*.f64 a b)))) (+.f64 (log.f64 2) (*.f64 2 (log.f64 (*.f64 a b)))) (+.f64 (log.f64 2) (*.f64 2 (log.f64 (*.f64 a b)))) (+.f64 (log.f64 2) (*.f64 2 (log.f64 (*.f64 a b)))) (+.f64 (log.f64 2) (*.f64 2 (log.f64 (*.f64 a b)))) (exp.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))) (*.f64 (pow.f64 a 6) (*.f64 8 (pow.f64 b 6))) (*.f64 (pow.f64 a 6) (*.f64 8 (pow.f64 b 6))) (*.f64 (pow.f64 a 6) (*.f64 8 (pow.f64 b 6))) (*.f64 (pow.f64 a 6) (*.f64 8 (pow.f64 b 6))) (*.f64 (pow.f64 a 6) (*.f64 8 (pow.f64 b 6))) (*.f64 (pow.f64 a 6) (*.f64 8 (pow.f64 b 6))) (*.f64 (cbrt.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))) (cbrt.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))) (cbrt.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))) (*.f64 (pow.f64 a 6) (*.f64 8 (pow.f64 b 6))) (sqrt.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))) (sqrt.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))) (*.f64 (*.f64 a a) b) (*.f64 a (*.f64 b (*.f64 b 2))) (exp.f64 (+.f64 (*.f64 2 (*.f64 (*.f64 b b) (+.f64 (*.f64 a a) 2))) (+.f64 (pow.f64 a 4) (pow.f64 b 4)))) (exp.f64 (+.f64 (*.f64 2 (*.f64 (*.f64 b b) (+.f64 (*.f64 a a) 2))) (+.f64 (pow.f64 a 4) (pow.f64 b 4)))) (exp.f64 (+.f64 (*.f64 2 (*.f64 (*.f64 b b) (+.f64 (*.f64 a a) 2))) (+.f64 (pow.f64 a 4) (pow.f64 b 4)))) (log.f64 (+.f64 (*.f64 2 (*.f64 (*.f64 b b) (+.f64 (*.f64 a a) 2))) (+.f64 (pow.f64 a 4) (pow.f64 b 4)))) (exp.f64 (+.f64 (*.f64 2 (*.f64 (*.f64 b b) (+.f64 (*.f64 a a) 2))) (+.f64 (pow.f64 a 4) (pow.f64 b 4)))) (*.f64 (cbrt.f64 (+.f64 (*.f64 2 (*.f64 (*.f64 b b) (+.f64 (*.f64 a a) 2))) (+.f64 (pow.f64 a 4) (pow.f64 b 4)))) (cbrt.f64 (+.f64 (*.f64 2 (*.f64 (*.f64 b b) (+.f64 (*.f64 a a) 2))) (+.f64 (pow.f64 a 4) (pow.f64 b 4))))) (cbrt.f64 (+.f64 (*.f64 2 (*.f64 (*.f64 b b) (+.f64 (*.f64 a a) 2))) (+.f64 (pow.f64 a 4) (pow.f64 b 4)))) (pow.f64 (+.f64 (*.f64 2 (*.f64 (*.f64 b b) (+.f64 (*.f64 a a) 2))) (+.f64 (pow.f64 a 4) (pow.f64 b 4))) 3) (sqrt.f64 (+.f64 (*.f64 2 (*.f64 (*.f64 b b) (+.f64 (*.f64 a a) 2))) (+.f64 (pow.f64 a 4) (pow.f64 b 4)))) (sqrt.f64 (+.f64 (*.f64 2 (*.f64 (*.f64 b b) (+.f64 (*.f64 a a) 2))) (+.f64 (pow.f64 a 4) (pow.f64 b 4)))) (+.f64 (pow.f64 (+.f64 (pow.f64 b 4) (+.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (pow.f64 a 4))) 3) (pow.f64 (*.f64 b 2) 6)) (+.f64 (pow.f64 (*.f64 b 2) 4) (*.f64 (+.f64 (pow.f64 b 4) (+.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (pow.f64 a 4))) (+.f64 (+.f64 (pow.f64 a 4) (pow.f64 b 4)) (*.f64 (*.f64 b (*.f64 b 2)) (+.f64 (*.f64 a a) -2))))) (*.f64 (+.f64 (*.f64 2 (*.f64 (*.f64 b b) (+.f64 (*.f64 a a) 2))) (+.f64 (pow.f64 a 4) (pow.f64 b 4))) (+.f64 (+.f64 (pow.f64 a 4) (pow.f64 b 4)) (*.f64 (*.f64 b (*.f64 b 2)) (+.f64 (*.f64 a a) -2)))) (+.f64 (+.f64 (pow.f64 a 4) (pow.f64 b 4)) (*.f64 (*.f64 b (*.f64 b 2)) (+.f64 (*.f64 a a) -2))) (+.f64 (pow.f64 a 4) (*.f64 2 (*.f64 (*.f64 b b) (+.f64 (*.f64 a a) 2)))) (*.f64 (*.f64 b b) 4) (*.f64 (*.f64 b b) 4) (*.f64 2 (log.f64 (*.f64 b 2))) (*.f64 2 (log.f64 (*.f64 b 2))) (*.f64 2 (log.f64 (*.f64 b 2))) (exp.f64 (*.f64 (*.f64 b b) 4)) (pow.f64 (*.f64 b 2) 6) (pow.f64 (*.f64 b 2) 6) (*.f64 (cbrt.f64 (*.f64 (*.f64 b b) 4)) (cbrt.f64 (*.f64 (*.f64 b b) 4))) (cbrt.f64 (*.f64 (*.f64 b b) 4)) (pow.f64 (*.f64 b 2) 6) (fabs.f64 (*.f64 b 2)) (fabs.f64 (*.f64 b 2)) (*.f64 b 2) (*.f64 b 2) (*.f64 b 4) (*.f64 (*.f64 b b) (cbrt.f64 4)) (*.f64 b (*.f64 b 2)) (*.f64 (*.f64 b b) 4) (pow.f64 (exp.f64 (*.f64 a a)) (+.f64 (*.f64 b (*.f64 b 2)) (*.f64 a a))) (log.f64 (+.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (pow.f64 a 4))) (pow.f64 (exp.f64 (*.f64 a a)) (+.f64 (*.f64 b (*.f64 b 2)) (*.f64 a a))) (*.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (pow.f64 a 4))) (cbrt.f64 (+.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (pow.f64 a 4)))) (cbrt.f64 (+.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (pow.f64 a 4))) (pow.f64 (+.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (pow.f64 a 4)) 3) (sqrt.f64 (+.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (pow.f64 a 4))) (sqrt.f64 (+.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (pow.f64 a 4))) (*.f64 (pow.f64 a 6) (+.f64 (*.f64 8 (pow.f64 b 6)) (pow.f64 a 6))) (+.f64 (pow.f64 a 8) (-.f64 (*.f64 (*.f64 4 (pow.f64 b 4)) (pow.f64 a 4)) (*.f64 (*.f64 b (*.f64 b 2)) (pow.f64 a 6)))) (-.f64 (pow.f64 a 8) (*.f64 (*.f64 4 (pow.f64 b 4)) (pow.f64 a 4))) (-.f64 (pow.f64 a 4) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (+.f64 (pow.f64 b 4) (*.f64 2 (*.f64 (*.f64 b b) (+.f64 (*.f64 a a) 2)))) (+.f64 (pow.f64 b 4) (+.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (pow.f64 a 4))) (+.f64 (pow.f64 b 4) (+.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (pow.f64 a 4))) (*.f64 (*.f64 b b) 4) (*.f64 (*.f64 b b) 4) (*.f64 (*.f64 b b) 4) (+.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (pow.f64 a 4)) (+.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (pow.f64 a 4)) (+.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (pow.f64 a 4)) 0.484 * * * [progress]: adding candidates to table 0.536 * * [progress]: iteration 3 / 4 0.536 * * * [progress]: picking best candidate 0.538 * * * * [pick]: Picked # 0.538 * * * [progress]: localizing error 0.552 * * * [progress]: generating rewritten candidates 0.552 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 0.557 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2) 0.563 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1) 0.568 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 0.593 * * * [progress]: generating series expansions 0.593 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 0.594 * [approximate]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 2) 1/3) in (a b) around 0 0.594 * [taylor]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 2) 1/3) in b 0.594 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2)))) in b 0.594 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2))) in b 0.594 * [taylor]: Taking taylor expansion of 1/3 in b 0.594 * [taylor]: Taking taylor expansion of (log (pow (+ (pow a 2) (pow b 2)) 2)) in b 0.594 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in b 0.594 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 0.594 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.594 * [taylor]: Taking taylor expansion of a in b 0.594 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.594 * [taylor]: Taking taylor expansion of b in b 0.594 * [taylor]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 2) 1/3) in a 0.594 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2)))) in a 0.594 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2))) in a 0.594 * [taylor]: Taking taylor expansion of 1/3 in a 0.594 * [taylor]: Taking taylor expansion of (log (pow (+ (pow a 2) (pow b 2)) 2)) in a 0.594 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in a 0.594 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 0.594 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.594 * [taylor]: Taking taylor expansion of a in a 0.594 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.594 * [taylor]: Taking taylor expansion of b in a 0.595 * [taylor]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 2) 1/3) in a 0.595 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2)))) in a 0.595 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2))) in a 0.595 * [taylor]: Taking taylor expansion of 1/3 in a 0.595 * [taylor]: Taking taylor expansion of (log (pow (+ (pow a 2) (pow b 2)) 2)) in a 0.595 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in a 0.595 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 0.595 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.595 * [taylor]: Taking taylor expansion of a in a 0.595 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.595 * [taylor]: Taking taylor expansion of b in a 0.595 * [taylor]: Taking taylor expansion of (pow (pow b 4) 1/3) in b 0.595 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 4)))) in b 0.595 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 4))) in b 0.596 * [taylor]: Taking taylor expansion of 1/3 in b 0.596 * [taylor]: Taking taylor expansion of (log (pow b 4)) in b 0.596 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.596 * [taylor]: Taking taylor expansion of b in b 0.596 * [taylor]: Taking taylor expansion of 0 in b 0.598 * [taylor]: Taking taylor expansion of (* 2/3 (pow (/ 1 (pow b 2)) 1/3)) in b 0.598 * [taylor]: Taking taylor expansion of 2/3 in b 0.598 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b 0.598 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b 0.598 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b 0.598 * [taylor]: Taking taylor expansion of 1/3 in b 0.598 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b 0.598 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.598 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.598 * [taylor]: Taking taylor expansion of b in b 0.600 * [taylor]: Taking taylor expansion of 0 in b 0.601 * [approximate]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in (a b) around 0 0.601 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in b 0.601 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in b 0.601 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in b 0.601 * [taylor]: Taking taylor expansion of 1/3 in b 0.601 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in b 0.601 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b 0.601 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.601 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.601 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.601 * [taylor]: Taking taylor expansion of b in b 0.601 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.602 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.602 * [taylor]: Taking taylor expansion of a in b 0.602 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in a 0.602 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in a 0.602 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in a 0.602 * [taylor]: Taking taylor expansion of 1/3 in a 0.602 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in a 0.602 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 0.602 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.602 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.602 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.602 * [taylor]: Taking taylor expansion of b in a 0.602 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.602 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.602 * [taylor]: Taking taylor expansion of a in a 0.602 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in a 0.602 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in a 0.602 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in a 0.602 * [taylor]: Taking taylor expansion of 1/3 in a 0.602 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in a 0.602 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 0.602 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.603 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.603 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.603 * [taylor]: Taking taylor expansion of b in a 0.603 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.603 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.603 * [taylor]: Taking taylor expansion of a in a 0.603 * [taylor]: Taking taylor expansion of (pow a -4/3) in b 0.603 * [taylor]: Taking taylor expansion of (exp (* -4/3 (log a))) in b 0.603 * [taylor]: Taking taylor expansion of (* -4/3 (log a)) in b 0.603 * [taylor]: Taking taylor expansion of -4/3 in b 0.603 * [taylor]: Taking taylor expansion of (log a) in b 0.603 * [taylor]: Taking taylor expansion of a in b 0.603 * [taylor]: Taking taylor expansion of 0 in b 0.605 * [taylor]: Taking taylor expansion of (* 2/3 (* (pow (/ 1 (pow a 4)) 1/3) (/ 1 (pow b 2)))) in b 0.605 * [taylor]: Taking taylor expansion of 2/3 in b 0.605 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 4)) 1/3) (/ 1 (pow b 2))) in b 0.605 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 4)) 1/3) in b 0.605 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 4))))) in b 0.605 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 4)))) in b 0.605 * [taylor]: Taking taylor expansion of 1/3 in b 0.605 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 4))) in b 0.605 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 0.605 * [taylor]: Taking taylor expansion of (pow a 4) in b 0.605 * [taylor]: Taking taylor expansion of a in b 0.606 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.606 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.606 * [taylor]: Taking taylor expansion of b in b 0.610 * [taylor]: Taking taylor expansion of 0 in b 0.610 * [approximate]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in (a b) around 0 0.610 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in b 0.610 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in b 0.610 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in b 0.610 * [taylor]: Taking taylor expansion of 1/3 in b 0.610 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in b 0.610 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b 0.610 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.610 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.610 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.610 * [taylor]: Taking taylor expansion of b in b 0.610 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.611 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.611 * [taylor]: Taking taylor expansion of a in b 0.611 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in a 0.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in a 0.611 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in a 0.611 * [taylor]: Taking taylor expansion of 1/3 in a 0.611 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in a 0.611 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 0.611 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.611 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.611 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.611 * [taylor]: Taking taylor expansion of b in a 0.611 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.611 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.611 * [taylor]: Taking taylor expansion of a in a 0.611 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in a 0.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in a 0.611 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in a 0.611 * [taylor]: Taking taylor expansion of 1/3 in a 0.612 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in a 0.612 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 0.612 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.612 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.612 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.612 * [taylor]: Taking taylor expansion of b in a 0.612 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.612 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.612 * [taylor]: Taking taylor expansion of a in a 0.612 * [taylor]: Taking taylor expansion of (pow a -4/3) in b 0.612 * [taylor]: Taking taylor expansion of (exp (* -4/3 (log a))) in b 0.612 * [taylor]: Taking taylor expansion of (* -4/3 (log a)) in b 0.612 * [taylor]: Taking taylor expansion of -4/3 in b 0.612 * [taylor]: Taking taylor expansion of (log a) in b 0.612 * [taylor]: Taking taylor expansion of a in b 0.613 * [taylor]: Taking taylor expansion of 0 in b 0.614 * [taylor]: Taking taylor expansion of (* 2/3 (* (pow (/ 1 (pow a 4)) 1/3) (/ 1 (pow b 2)))) in b 0.614 * [taylor]: Taking taylor expansion of 2/3 in b 0.614 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 4)) 1/3) (/ 1 (pow b 2))) in b 0.614 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 4)) 1/3) in b 0.614 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 4))))) in b 0.614 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 4)))) in b 0.614 * [taylor]: Taking taylor expansion of 1/3 in b 0.614 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 4))) in b 0.614 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 0.614 * [taylor]: Taking taylor expansion of (pow a 4) in b 0.614 * [taylor]: Taking taylor expansion of a in b 0.615 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.615 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.615 * [taylor]: Taking taylor expansion of b in b 0.619 * [taylor]: Taking taylor expansion of 0 in b 0.619 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2) 0.619 * [approximate]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 2) 1/3) in (a b) around 0 0.620 * [taylor]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 2) 1/3) in b 0.620 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2)))) in b 0.620 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2))) in b 0.620 * [taylor]: Taking taylor expansion of 1/3 in b 0.620 * [taylor]: Taking taylor expansion of (log (pow (+ (pow a 2) (pow b 2)) 2)) in b 0.620 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in b 0.620 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 0.620 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.620 * [taylor]: Taking taylor expansion of a in b 0.620 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.620 * [taylor]: Taking taylor expansion of b in b 0.620 * [taylor]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 2) 1/3) in a 0.620 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2)))) in a 0.620 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2))) in a 0.620 * [taylor]: Taking taylor expansion of 1/3 in a 0.620 * [taylor]: Taking taylor expansion of (log (pow (+ (pow a 2) (pow b 2)) 2)) in a 0.620 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in a 0.620 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 0.620 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.620 * [taylor]: Taking taylor expansion of a in a 0.620 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.620 * [taylor]: Taking taylor expansion of b in a 0.621 * [taylor]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 2) 1/3) in a 0.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2)))) in a 0.621 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2))) in a 0.621 * [taylor]: Taking taylor expansion of 1/3 in a 0.621 * [taylor]: Taking taylor expansion of (log (pow (+ (pow a 2) (pow b 2)) 2)) in a 0.621 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in a 0.621 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 0.621 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.621 * [taylor]: Taking taylor expansion of a in a 0.621 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.621 * [taylor]: Taking taylor expansion of b in a 0.621 * [taylor]: Taking taylor expansion of (pow (pow b 4) 1/3) in b 0.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 4)))) in b 0.621 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 4))) in b 0.621 * [taylor]: Taking taylor expansion of 1/3 in b 0.621 * [taylor]: Taking taylor expansion of (log (pow b 4)) in b 0.621 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.621 * [taylor]: Taking taylor expansion of b in b 0.622 * [taylor]: Taking taylor expansion of 0 in b 0.623 * [taylor]: Taking taylor expansion of (* 2/3 (pow (/ 1 (pow b 2)) 1/3)) in b 0.623 * [taylor]: Taking taylor expansion of 2/3 in b 0.623 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b 0.623 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b 0.623 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b 0.623 * [taylor]: Taking taylor expansion of 1/3 in b 0.624 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b 0.624 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.624 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.624 * [taylor]: Taking taylor expansion of b in b 0.625 * [taylor]: Taking taylor expansion of 0 in b 0.627 * [approximate]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in (a b) around 0 0.627 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in b 0.627 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in b 0.627 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in b 0.627 * [taylor]: Taking taylor expansion of 1/3 in b 0.627 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in b 0.627 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b 0.627 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.627 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.627 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.627 * [taylor]: Taking taylor expansion of b in b 0.627 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.627 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.627 * [taylor]: Taking taylor expansion of a in b 0.627 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in a 0.627 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in a 0.627 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in a 0.627 * [taylor]: Taking taylor expansion of 1/3 in a 0.627 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in a 0.627 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 0.628 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.628 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.628 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.628 * [taylor]: Taking taylor expansion of b in a 0.628 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.628 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.628 * [taylor]: Taking taylor expansion of a in a 0.628 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in a 0.628 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in a 0.628 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in a 0.628 * [taylor]: Taking taylor expansion of 1/3 in a 0.628 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in a 0.628 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 0.628 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.628 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.628 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.628 * [taylor]: Taking taylor expansion of b in a 0.628 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.628 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.628 * [taylor]: Taking taylor expansion of a in a 0.628 * [taylor]: Taking taylor expansion of (pow a -4/3) in b 0.628 * [taylor]: Taking taylor expansion of (exp (* -4/3 (log a))) in b 0.628 * [taylor]: Taking taylor expansion of (* -4/3 (log a)) in b 0.629 * [taylor]: Taking taylor expansion of -4/3 in b 0.629 * [taylor]: Taking taylor expansion of (log a) in b 0.629 * [taylor]: Taking taylor expansion of a in b 0.629 * [taylor]: Taking taylor expansion of 0 in b 0.630 * [taylor]: Taking taylor expansion of (* 2/3 (* (pow (/ 1 (pow a 4)) 1/3) (/ 1 (pow b 2)))) in b 0.630 * [taylor]: Taking taylor expansion of 2/3 in b 0.630 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 4)) 1/3) (/ 1 (pow b 2))) in b 0.630 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 4)) 1/3) in b 0.630 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 4))))) in b 0.630 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 4)))) in b 0.630 * [taylor]: Taking taylor expansion of 1/3 in b 0.630 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 4))) in b 0.630 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 0.630 * [taylor]: Taking taylor expansion of (pow a 4) in b 0.630 * [taylor]: Taking taylor expansion of a in b 0.631 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.631 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.631 * [taylor]: Taking taylor expansion of b in b 0.635 * [taylor]: Taking taylor expansion of 0 in b 0.635 * [approximate]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in (a b) around 0 0.635 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in b 0.635 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in b 0.635 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in b 0.635 * [taylor]: Taking taylor expansion of 1/3 in b 0.635 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in b 0.635 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b 0.635 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.635 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.635 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.635 * [taylor]: Taking taylor expansion of b in b 0.635 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.635 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.635 * [taylor]: Taking taylor expansion of a in b 0.636 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in a 0.636 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in a 0.636 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in a 0.636 * [taylor]: Taking taylor expansion of 1/3 in a 0.636 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in a 0.636 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 0.636 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.636 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.636 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.636 * [taylor]: Taking taylor expansion of b in a 0.636 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.636 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.636 * [taylor]: Taking taylor expansion of a in a 0.636 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in a 0.636 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in a 0.636 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in a 0.636 * [taylor]: Taking taylor expansion of 1/3 in a 0.636 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in a 0.636 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 0.636 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.636 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.636 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.636 * [taylor]: Taking taylor expansion of b in a 0.636 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.636 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.636 * [taylor]: Taking taylor expansion of a in a 0.637 * [taylor]: Taking taylor expansion of (pow a -4/3) in b 0.637 * [taylor]: Taking taylor expansion of (exp (* -4/3 (log a))) in b 0.637 * [taylor]: Taking taylor expansion of (* -4/3 (log a)) in b 0.637 * [taylor]: Taking taylor expansion of -4/3 in b 0.637 * [taylor]: Taking taylor expansion of (log a) in b 0.637 * [taylor]: Taking taylor expansion of a in b 0.637 * [taylor]: Taking taylor expansion of 0 in b 0.639 * [taylor]: Taking taylor expansion of (* 2/3 (* (pow (/ 1 (pow a 4)) 1/3) (/ 1 (pow b 2)))) in b 0.639 * [taylor]: Taking taylor expansion of 2/3 in b 0.639 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 4)) 1/3) (/ 1 (pow b 2))) in b 0.639 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 4)) 1/3) in b 0.639 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 4))))) in b 0.639 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 4)))) in b 0.639 * [taylor]: Taking taylor expansion of 1/3 in b 0.639 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 4))) in b 0.639 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 0.639 * [taylor]: Taking taylor expansion of (pow a 4) in b 0.639 * [taylor]: Taking taylor expansion of a in b 0.639 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.639 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.639 * [taylor]: Taking taylor expansion of b in b 0.643 * [taylor]: Taking taylor expansion of 0 in b 0.643 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1) 0.643 * [approximate]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 2) 1/3) in (a b) around 0 0.643 * [taylor]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 2) 1/3) in b 0.643 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2)))) in b 0.643 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2))) in b 0.643 * [taylor]: Taking taylor expansion of 1/3 in b 0.643 * [taylor]: Taking taylor expansion of (log (pow (+ (pow a 2) (pow b 2)) 2)) in b 0.643 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in b 0.643 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 0.643 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.643 * [taylor]: Taking taylor expansion of a in b 0.643 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.643 * [taylor]: Taking taylor expansion of b in b 0.644 * [taylor]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 2) 1/3) in a 0.644 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2)))) in a 0.644 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2))) in a 0.644 * [taylor]: Taking taylor expansion of 1/3 in a 0.644 * [taylor]: Taking taylor expansion of (log (pow (+ (pow a 2) (pow b 2)) 2)) in a 0.644 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in a 0.644 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 0.644 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.644 * [taylor]: Taking taylor expansion of a in a 0.644 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.644 * [taylor]: Taking taylor expansion of b in a 0.644 * [taylor]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 2) 1/3) in a 0.644 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2)))) in a 0.644 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2))) in a 0.644 * [taylor]: Taking taylor expansion of 1/3 in a 0.644 * [taylor]: Taking taylor expansion of (log (pow (+ (pow a 2) (pow b 2)) 2)) in a 0.644 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in a 0.645 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 0.645 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.645 * [taylor]: Taking taylor expansion of a in a 0.645 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.645 * [taylor]: Taking taylor expansion of b in a 0.645 * [taylor]: Taking taylor expansion of (pow (pow b 4) 1/3) in b 0.645 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 4)))) in b 0.645 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 4))) in b 0.645 * [taylor]: Taking taylor expansion of 1/3 in b 0.645 * [taylor]: Taking taylor expansion of (log (pow b 4)) in b 0.645 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.645 * [taylor]: Taking taylor expansion of b in b 0.646 * [taylor]: Taking taylor expansion of 0 in b 0.647 * [taylor]: Taking taylor expansion of (* 2/3 (pow (/ 1 (pow b 2)) 1/3)) in b 0.647 * [taylor]: Taking taylor expansion of 2/3 in b 0.647 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b 0.647 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b 0.647 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b 0.647 * [taylor]: Taking taylor expansion of 1/3 in b 0.647 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b 0.647 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.647 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.647 * [taylor]: Taking taylor expansion of b in b 0.649 * [taylor]: Taking taylor expansion of 0 in b 0.651 * [approximate]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in (a b) around 0 0.651 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in b 0.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in b 0.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in b 0.651 * [taylor]: Taking taylor expansion of 1/3 in b 0.651 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in b 0.651 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b 0.651 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.651 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.651 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.651 * [taylor]: Taking taylor expansion of b in b 0.651 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.651 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.651 * [taylor]: Taking taylor expansion of a in b 0.651 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in a 0.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in a 0.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in a 0.651 * [taylor]: Taking taylor expansion of 1/3 in a 0.651 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in a 0.651 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 0.651 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.652 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.652 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.652 * [taylor]: Taking taylor expansion of b in a 0.652 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.652 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.652 * [taylor]: Taking taylor expansion of a in a 0.652 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in a 0.652 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in a 0.652 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in a 0.652 * [taylor]: Taking taylor expansion of 1/3 in a 0.652 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in a 0.652 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 0.652 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.652 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.652 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.652 * [taylor]: Taking taylor expansion of b in a 0.652 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.652 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.652 * [taylor]: Taking taylor expansion of a in a 0.652 * [taylor]: Taking taylor expansion of (pow a -4/3) in b 0.652 * [taylor]: Taking taylor expansion of (exp (* -4/3 (log a))) in b 0.652 * [taylor]: Taking taylor expansion of (* -4/3 (log a)) in b 0.652 * [taylor]: Taking taylor expansion of -4/3 in b 0.652 * [taylor]: Taking taylor expansion of (log a) in b 0.653 * [taylor]: Taking taylor expansion of a in b 0.653 * [taylor]: Taking taylor expansion of 0 in b 0.654 * [taylor]: Taking taylor expansion of (* 2/3 (* (pow (/ 1 (pow a 4)) 1/3) (/ 1 (pow b 2)))) in b 0.655 * [taylor]: Taking taylor expansion of 2/3 in b 0.655 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 4)) 1/3) (/ 1 (pow b 2))) in b 0.655 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 4)) 1/3) in b 0.655 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 4))))) in b 0.655 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 4)))) in b 0.655 * [taylor]: Taking taylor expansion of 1/3 in b 0.655 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 4))) in b 0.655 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 0.655 * [taylor]: Taking taylor expansion of (pow a 4) in b 0.655 * [taylor]: Taking taylor expansion of a in b 0.655 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.655 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.655 * [taylor]: Taking taylor expansion of b in b 0.659 * [taylor]: Taking taylor expansion of 0 in b 0.659 * [approximate]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in (a b) around 0 0.659 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in b 0.659 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in b 0.659 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in b 0.659 * [taylor]: Taking taylor expansion of 1/3 in b 0.659 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in b 0.659 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b 0.659 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.659 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.659 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.659 * [taylor]: Taking taylor expansion of b in b 0.659 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.659 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.659 * [taylor]: Taking taylor expansion of a in b 0.660 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in a 0.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in a 0.660 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in a 0.660 * [taylor]: Taking taylor expansion of 1/3 in a 0.660 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in a 0.660 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 0.660 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.660 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.660 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.660 * [taylor]: Taking taylor expansion of b in a 0.660 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.660 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.660 * [taylor]: Taking taylor expansion of a in a 0.660 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in a 0.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in a 0.660 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in a 0.660 * [taylor]: Taking taylor expansion of 1/3 in a 0.660 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in a 0.660 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 0.660 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.660 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.660 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.660 * [taylor]: Taking taylor expansion of b in a 0.660 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.660 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.660 * [taylor]: Taking taylor expansion of a in a 0.661 * [taylor]: Taking taylor expansion of (pow a -4/3) in b 0.661 * [taylor]: Taking taylor expansion of (exp (* -4/3 (log a))) in b 0.661 * [taylor]: Taking taylor expansion of (* -4/3 (log a)) in b 0.661 * [taylor]: Taking taylor expansion of -4/3 in b 0.661 * [taylor]: Taking taylor expansion of (log a) in b 0.661 * [taylor]: Taking taylor expansion of a in b 0.661 * [taylor]: Taking taylor expansion of 0 in b 0.663 * [taylor]: Taking taylor expansion of (* 2/3 (* (pow (/ 1 (pow a 4)) 1/3) (/ 1 (pow b 2)))) in b 0.663 * [taylor]: Taking taylor expansion of 2/3 in b 0.663 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 4)) 1/3) (/ 1 (pow b 2))) in b 0.663 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 4)) 1/3) in b 0.663 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 4))))) in b 0.663 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 4)))) in b 0.663 * [taylor]: Taking taylor expansion of 1/3 in b 0.663 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 4))) in b 0.663 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 0.663 * [taylor]: Taking taylor expansion of (pow a 4) in b 0.663 * [taylor]: Taking taylor expansion of a in b 0.663 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.663 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.663 * [taylor]: Taking taylor expansion of b in b 0.667 * [taylor]: Taking taylor expansion of 0 in b 0.667 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 0.668 * [approximate]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 4) 1/3) in (a b) around 0 0.668 * [taylor]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 4) 1/3) in b 0.668 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 4)))) in b 0.668 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 4))) in b 0.668 * [taylor]: Taking taylor expansion of 1/3 in b 0.668 * [taylor]: Taking taylor expansion of (log (pow (+ (pow a 2) (pow b 2)) 4)) in b 0.668 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 4) in b 0.668 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 0.668 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.668 * [taylor]: Taking taylor expansion of a in b 0.668 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.668 * [taylor]: Taking taylor expansion of b in b 0.668 * [taylor]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 4) 1/3) in a 0.669 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 4)))) in a 0.669 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 4))) in a 0.669 * [taylor]: Taking taylor expansion of 1/3 in a 0.669 * [taylor]: Taking taylor expansion of (log (pow (+ (pow a 2) (pow b 2)) 4)) in a 0.669 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 4) in a 0.669 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 0.669 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.669 * [taylor]: Taking taylor expansion of a in a 0.669 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.669 * [taylor]: Taking taylor expansion of b in a 0.669 * [taylor]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 4) 1/3) in a 0.669 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 4)))) in a 0.669 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 4))) in a 0.669 * [taylor]: Taking taylor expansion of 1/3 in a 0.669 * [taylor]: Taking taylor expansion of (log (pow (+ (pow a 2) (pow b 2)) 4)) in a 0.669 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 4) in a 0.669 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 0.669 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.669 * [taylor]: Taking taylor expansion of a in a 0.669 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.669 * [taylor]: Taking taylor expansion of b in a 0.670 * [taylor]: Taking taylor expansion of (pow (pow b 8) 1/3) in b 0.670 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 8)))) in b 0.670 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 8))) in b 0.670 * [taylor]: Taking taylor expansion of 1/3 in b 0.670 * [taylor]: Taking taylor expansion of (log (pow b 8)) in b 0.670 * [taylor]: Taking taylor expansion of (pow b 8) in b 0.670 * [taylor]: Taking taylor expansion of b in b 0.671 * [taylor]: Taking taylor expansion of 0 in b 0.672 * [taylor]: Taking taylor expansion of (* 4/3 (pow (pow b 2) 1/3)) in b 0.672 * [taylor]: Taking taylor expansion of 4/3 in b 0.672 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in b 0.672 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in b 0.672 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in b 0.672 * [taylor]: Taking taylor expansion of 1/3 in b 0.672 * [taylor]: Taking taylor expansion of (log (pow b 2)) in b 0.672 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.672 * [taylor]: Taking taylor expansion of b in b 0.674 * [taylor]: Taking taylor expansion of 0 in b 0.676 * [approximate]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) 1/3) in (a b) around 0 0.676 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) 1/3) in b 0.676 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)))) in b 0.676 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4))) in b 0.676 * [taylor]: Taking taylor expansion of 1/3 in b 0.676 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)) in b 0.676 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in b 0.676 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.676 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.676 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.676 * [taylor]: Taking taylor expansion of b in b 0.676 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.676 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.676 * [taylor]: Taking taylor expansion of a in b 0.677 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) 1/3) in a 0.677 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)))) in a 0.677 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4))) in a 0.677 * [taylor]: Taking taylor expansion of 1/3 in a 0.677 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)) in a 0.677 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in a 0.677 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.677 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.677 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.677 * [taylor]: Taking taylor expansion of b in a 0.677 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.677 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.677 * [taylor]: Taking taylor expansion of a in a 0.677 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) 1/3) in a 0.677 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)))) in a 0.677 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4))) in a 0.677 * [taylor]: Taking taylor expansion of 1/3 in a 0.677 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)) in a 0.677 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in a 0.677 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.677 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.677 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.677 * [taylor]: Taking taylor expansion of b in a 0.678 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.678 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.678 * [taylor]: Taking taylor expansion of a in a 0.678 * [taylor]: Taking taylor expansion of (pow a -8/3) in b 0.678 * [taylor]: Taking taylor expansion of (exp (* -8/3 (log a))) in b 0.678 * [taylor]: Taking taylor expansion of (* -8/3 (log a)) in b 0.678 * [taylor]: Taking taylor expansion of -8/3 in b 0.678 * [taylor]: Taking taylor expansion of (log a) in b 0.678 * [taylor]: Taking taylor expansion of a in b 0.678 * [taylor]: Taking taylor expansion of 0 in b 0.680 * [taylor]: Taking taylor expansion of (* 4/3 (* (pow (/ 1 (pow a 8)) 1/3) (/ 1 (pow b 2)))) in b 0.680 * [taylor]: Taking taylor expansion of 4/3 in b 0.680 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 8)) 1/3) (/ 1 (pow b 2))) in b 0.680 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 8)) 1/3) in b 0.680 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 8))))) in b 0.680 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 8)))) in b 0.680 * [taylor]: Taking taylor expansion of 1/3 in b 0.680 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 8))) in b 0.680 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in b 0.680 * [taylor]: Taking taylor expansion of (pow a 8) in b 0.680 * [taylor]: Taking taylor expansion of a in b 0.681 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.681 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.681 * [taylor]: Taking taylor expansion of b in b 0.685 * [taylor]: Taking taylor expansion of 0 in b 0.685 * [approximate]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) 1/3) in (a b) around 0 0.685 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) 1/3) in b 0.685 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)))) in b 0.685 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4))) in b 0.685 * [taylor]: Taking taylor expansion of 1/3 in b 0.685 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)) in b 0.685 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in b 0.685 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.685 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.685 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.685 * [taylor]: Taking taylor expansion of b in b 0.685 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.686 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.686 * [taylor]: Taking taylor expansion of a in b 0.686 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) 1/3) in a 0.686 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)))) in a 0.686 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4))) in a 0.686 * [taylor]: Taking taylor expansion of 1/3 in a 0.686 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)) in a 0.686 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in a 0.686 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.686 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.686 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.686 * [taylor]: Taking taylor expansion of b in a 0.686 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.686 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.686 * [taylor]: Taking taylor expansion of a in a 0.686 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) 1/3) in a 0.686 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)))) in a 0.686 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4))) in a 0.686 * [taylor]: Taking taylor expansion of 1/3 in a 0.686 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)) in a 0.686 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in a 0.686 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.686 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.686 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.686 * [taylor]: Taking taylor expansion of b in a 0.687 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.687 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.687 * [taylor]: Taking taylor expansion of a in a 0.687 * [taylor]: Taking taylor expansion of (pow a -8/3) in b 0.687 * [taylor]: Taking taylor expansion of (exp (* -8/3 (log a))) in b 0.687 * [taylor]: Taking taylor expansion of (* -8/3 (log a)) in b 0.687 * [taylor]: Taking taylor expansion of -8/3 in b 0.687 * [taylor]: Taking taylor expansion of (log a) in b 0.687 * [taylor]: Taking taylor expansion of a in b 0.687 * [taylor]: Taking taylor expansion of 0 in b 0.689 * [taylor]: Taking taylor expansion of (* 4/3 (* (pow (/ 1 (pow a 8)) 1/3) (/ 1 (pow b 2)))) in b 0.689 * [taylor]: Taking taylor expansion of 4/3 in b 0.689 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 8)) 1/3) (/ 1 (pow b 2))) in b 0.689 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 8)) 1/3) in b 0.689 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 8))))) in b 0.689 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 8)))) in b 0.689 * [taylor]: Taking taylor expansion of 1/3 in b 0.689 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 8))) in b 0.689 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in b 0.689 * [taylor]: Taking taylor expansion of (pow a 8) in b 0.689 * [taylor]: Taking taylor expansion of a in b 0.690 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.690 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.690 * [taylor]: Taking taylor expansion of b in b 0.694 * [taylor]: Taking taylor expansion of 0 in b 0.694 * * * [progress]: simplifying candidates 0.696 * [simplify]: Simplifying using # : (log.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (exp.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (cbrt.f64 (pow.f64 1 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (log.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (exp.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (cbrt.f64 (pow.f64 1 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (log.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (exp.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (cbrt.f64 (pow.f64 1 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (+.f64 1/3 1/3) (+.f64 1 1) (*.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (+.f64 1 1) (+.f64 (log.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (log.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (log.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (exp.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))))) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (sqrt.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (sqrt.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) 2)) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) 2))) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2))) (*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2))) (*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2))) (*.f64 (cbrt.f64 (pow.f64 1 2)) (cbrt.f64 (pow.f64 1 2))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2)))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2)))) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 1 1) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2))) (*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2))) (*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2)))) (*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2)))) (*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2)))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2)))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2))) (*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2))) (*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2)))) (*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2)))) (*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2))) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2))) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2)))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2)))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2))) (*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2))) (*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2)))) (*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2)))) (*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 2 1/3) (*.f64 2 1) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) 2))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 1 2))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 1)) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2)))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) 1) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (+.f64 (*.f64 2/3 (*.f64 (pow.f64 a 2) (pow.f64 (/.f64 1 (pow.f64 b 2)) 1/3))) (pow.f64 b 4/3)) (pow.f64 (/.f64 1 a) -4/3) (pow.f64 (/.f64 -1 a) -4/3) (+.f64 (*.f64 2/3 (*.f64 (pow.f64 a 2) (pow.f64 (/.f64 1 (pow.f64 b 2)) 1/3))) (pow.f64 b 4/3)) (pow.f64 (/.f64 1 a) -4/3) (pow.f64 (/.f64 -1 a) -4/3) (+.f64 (*.f64 2/3 (*.f64 (pow.f64 a 2) (pow.f64 (/.f64 1 (pow.f64 b 2)) 1/3))) (pow.f64 b 4/3)) (pow.f64 (/.f64 1 a) -4/3) (pow.f64 (/.f64 -1 a) -4/3) (+.f64 (*.f64 4/3 (*.f64 (pow.f64 a 2) (pow.f64 (pow.f64 b 2) 1/3))) (pow.f64 b 8/3)) (pow.f64 (/.f64 1 a) -8/3) (pow.f64 (/.f64 -1 a) -8/3) 0.744 * * [simplify]: iteration 0 : 4933 enodes (cost 2260 ) 0.744 * * [simplify]: iteration 1 : 4933 enodes (cost 2260 ) 0.753 * [simplify]: Simplified to: (log.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (exp.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 4)) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) 2)) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) 2)) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (log.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (exp.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 4)) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) 2)) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) 2)) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (log.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (exp.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 4)) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) 2)) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) 2)) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) 2/3 2 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 4) (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) 2) 2 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (exp.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) 2)) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 4) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) 4) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) 2)) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 4) (fabs.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (fabs.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 4)) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 4))) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2))) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) 2) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) 4) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) 2)) (*.f64 (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b))))) (*.f64 (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b))))) (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) 2) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) 4) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) 1 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) 2) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b))))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b))))) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b))))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b))))) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b))))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b))))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b))))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b))))) (*.f64 (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b))))) (*.f64 (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b))))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b))))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b))))) (*.f64 (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b))))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b))))) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) 2/3 2 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 4))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 1)) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) 5) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b))))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 1)) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) 5) (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) 3) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2))) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) 2) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) 4) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b))))) (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) 2) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) 4) (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) 3) (pow.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) 2) (+.f64 (*.f64 2/3 (*.f64 (*.f64 a a) (cbrt.f64 (/.f64 1 (*.f64 b b))))) (pow.f64 b 4/3)) (pow.f64 (/.f64 1 a) -4/3) (pow.f64 (/.f64 -1 a) -4/3) (+.f64 (*.f64 2/3 (*.f64 (*.f64 a a) (cbrt.f64 (/.f64 1 (*.f64 b b))))) (pow.f64 b 4/3)) (pow.f64 (/.f64 1 a) -4/3) (pow.f64 (/.f64 -1 a) -4/3) (+.f64 (*.f64 2/3 (*.f64 (*.f64 a a) (cbrt.f64 (/.f64 1 (*.f64 b b))))) (pow.f64 b 4/3)) (pow.f64 (/.f64 1 a) -4/3) (pow.f64 (/.f64 -1 a) -4/3) (+.f64 (*.f64 4/3 (*.f64 (*.f64 a a) (pow.f64 b 2/3))) (pow.f64 b 8/3)) (pow.f64 (/.f64 1 a) -8/3) (pow.f64 (/.f64 -1 a) -8/3) 0.754 * * * [progress]: adding candidates to table 0.837 * [progress]: [Phase 3 of 3] Extracting. 0.837 * * [regime]: Finding splitpoints for: (# #) 0.838 * * * [regime-changes]: Trying 4 branch expressions: ((*.f64 b b) (*.f64 a a) b a) 0.838 * * * * [regimes]: Trying to branch on (*.f64 b b) from (# #) 0.861 * * * * [regimes]: Trying to branch on (*.f64 a a) from (# #) 0.881 * * * * [regimes]: Trying to branch on b from (# #) 0.903 * * * * [regimes]: Trying to branch on a from (# #) 0.923 * * * [regime]: Found split indices: #