9.866 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.023 * * * [progress]: [2/2] Setting up program. 0.025 * [progress]: [Phase 2 of 3] Improving. 0.025 * [simplify]: Simplifying using # : (* (+ a (+ b (+ c d))) 2.0) 0.026 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 0.027 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 0.030 * * [simplify]: iteration 2 : 51 enodes (cost 9 ) 0.037 * * [simplify]: iteration 3 : 130 enodes (cost 9 ) 0.060 * * [simplify]: iteration 4 : 221 enodes (cost 9 ) 0.096 * * [simplify]: iteration 5 : 291 enodes (cost 9 ) 0.134 * * [simplify]: iteration 6 : 293 enodes (cost 9 ) 0.173 * * [simplify]: iteration done : 293 enodes (cost 9 ) 0.173 * [simplify]: Simplified to: (* (+ a (+ b (+ c d))) 2.0) 0.173 * * [progress]: iteration 1 / 4 0.173 * * * [progress]: picking best candidate 0.175 * * * * [pick]: Picked # 0.175 * * * [progress]: localizing error 0.182 * * * [progress]: generating rewritten candidates 0.182 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.206 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 0.215 * * * [progress]: generating series expansions 0.215 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.215 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (a b c d) around 0 0.215 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.215 * [taylor]: Taking taylor expansion of d in d 0.215 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.215 * [taylor]: Taking taylor expansion of a in d 0.215 * [taylor]: Taking taylor expansion of (+ b c) in d 0.215 * [taylor]: Taking taylor expansion of b in d 0.215 * [taylor]: Taking taylor expansion of c in d 0.215 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c 0.215 * [taylor]: Taking taylor expansion of d in c 0.215 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.216 * [taylor]: Taking taylor expansion of a in c 0.216 * [taylor]: Taking taylor expansion of (+ b c) in c 0.216 * [taylor]: Taking taylor expansion of b in c 0.216 * [taylor]: Taking taylor expansion of c in c 0.216 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b 0.216 * [taylor]: Taking taylor expansion of d in b 0.216 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.216 * [taylor]: Taking taylor expansion of a in b 0.216 * [taylor]: Taking taylor expansion of (+ b c) in b 0.216 * [taylor]: Taking taylor expansion of b in b 0.216 * [taylor]: Taking taylor expansion of c in b 0.216 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a 0.216 * [taylor]: Taking taylor expansion of d in a 0.216 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.216 * [taylor]: Taking taylor expansion of a in a 0.216 * [taylor]: Taking taylor expansion of (+ b c) in a 0.216 * [taylor]: Taking taylor expansion of b in a 0.216 * [taylor]: Taking taylor expansion of c in a 0.216 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a 0.216 * [taylor]: Taking taylor expansion of d in a 0.216 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.216 * [taylor]: Taking taylor expansion of a in a 0.216 * [taylor]: Taking taylor expansion of (+ b c) in a 0.216 * [taylor]: Taking taylor expansion of b in a 0.216 * [taylor]: Taking taylor expansion of c in a 0.216 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b 0.216 * [taylor]: Taking taylor expansion of d in b 0.216 * [taylor]: Taking taylor expansion of (+ b c) in b 0.216 * [taylor]: Taking taylor expansion of b in b 0.216 * [taylor]: Taking taylor expansion of c in b 0.216 * [taylor]: Taking taylor expansion of (+ d c) in c 0.216 * [taylor]: Taking taylor expansion of d in c 0.216 * [taylor]: Taking taylor expansion of c in c 0.216 * [taylor]: Taking taylor expansion of d in d 0.217 * [taylor]: Taking taylor expansion of 1 in b 0.217 * [taylor]: Taking taylor expansion of 1 in c 0.217 * [taylor]: Taking taylor expansion of 1 in d 0.218 * [taylor]: Taking taylor expansion of 1 in c 0.218 * [taylor]: Taking taylor expansion of 1 in d 0.218 * [taylor]: Taking taylor expansion of 1 in d 0.219 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in (a b c d) around 0 0.219 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d 0.219 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.219 * [taylor]: Taking taylor expansion of b in d 0.219 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d 0.219 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.219 * [taylor]: Taking taylor expansion of d in d 0.219 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d 0.219 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.219 * [taylor]: Taking taylor expansion of c in d 0.219 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.220 * [taylor]: Taking taylor expansion of a in d 0.220 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c 0.220 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.220 * [taylor]: Taking taylor expansion of b in c 0.220 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c 0.220 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.220 * [taylor]: Taking taylor expansion of d in c 0.220 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.220 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.220 * [taylor]: Taking taylor expansion of c in c 0.220 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.220 * [taylor]: Taking taylor expansion of a in c 0.220 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b 0.220 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.220 * [taylor]: Taking taylor expansion of b in b 0.220 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b 0.220 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.220 * [taylor]: Taking taylor expansion of d in b 0.220 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.220 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.220 * [taylor]: Taking taylor expansion of c in b 0.220 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.220 * [taylor]: Taking taylor expansion of a in b 0.221 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a 0.221 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.221 * [taylor]: Taking taylor expansion of b in a 0.221 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a 0.221 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.221 * [taylor]: Taking taylor expansion of d in a 0.221 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.221 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.221 * [taylor]: Taking taylor expansion of c in a 0.221 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.221 * [taylor]: Taking taylor expansion of a in a 0.221 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a 0.221 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.221 * [taylor]: Taking taylor expansion of b in a 0.221 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a 0.221 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.221 * [taylor]: Taking taylor expansion of d in a 0.221 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.221 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.221 * [taylor]: Taking taylor expansion of c in a 0.221 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.221 * [taylor]: Taking taylor expansion of a in a 0.222 * [taylor]: Taking taylor expansion of 1 in b 0.223 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.223 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.223 * [taylor]: Taking taylor expansion of c in b 0.223 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.223 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.223 * [taylor]: Taking taylor expansion of d in b 0.223 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.223 * [taylor]: Taking taylor expansion of b in b 0.224 * [taylor]: Taking taylor expansion of 1 in c 0.224 * [taylor]: Taking taylor expansion of 1 in c 0.225 * [taylor]: Taking taylor expansion of 0 in b 0.226 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 0.226 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.226 * [taylor]: Taking taylor expansion of d in c 0.226 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.226 * [taylor]: Taking taylor expansion of c in c 0.227 * [taylor]: Taking taylor expansion of 1 in d 0.227 * [taylor]: Taking taylor expansion of 0 in c 0.227 * [taylor]: Taking taylor expansion of 1 in d 0.227 * [taylor]: Taking taylor expansion of 1 in d 0.228 * [taylor]: Taking taylor expansion of 0 in b 0.228 * [taylor]: Taking taylor expansion of 0 in c 0.229 * [taylor]: Taking taylor expansion of 0 in c 0.229 * [taylor]: Taking taylor expansion of 0 in c 0.230 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.230 * [taylor]: Taking taylor expansion of d in d 0.230 * [taylor]: Taking taylor expansion of 0 in d 0.230 * [taylor]: Taking taylor expansion of 0 in d 0.230 * [taylor]: Taking taylor expansion of 0 in d 0.231 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in (a b c d) around 0 0.231 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in d 0.231 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d 0.231 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.231 * [taylor]: Taking taylor expansion of b in d 0.231 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d 0.231 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.231 * [taylor]: Taking taylor expansion of d in d 0.232 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d 0.232 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.232 * [taylor]: Taking taylor expansion of c in d 0.232 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.232 * [taylor]: Taking taylor expansion of a in d 0.232 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in c 0.232 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c 0.232 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.232 * [taylor]: Taking taylor expansion of b in c 0.232 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c 0.232 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.232 * [taylor]: Taking taylor expansion of d in c 0.232 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 0.232 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.232 * [taylor]: Taking taylor expansion of c in c 0.232 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.232 * [taylor]: Taking taylor expansion of a in c 0.232 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in b 0.232 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b 0.232 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.232 * [taylor]: Taking taylor expansion of b in b 0.233 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b 0.233 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.233 * [taylor]: Taking taylor expansion of d in b 0.233 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 0.233 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.233 * [taylor]: Taking taylor expansion of c in b 0.233 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.233 * [taylor]: Taking taylor expansion of a in b 0.233 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in a 0.233 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a 0.233 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.233 * [taylor]: Taking taylor expansion of b in a 0.233 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a 0.233 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.233 * [taylor]: Taking taylor expansion of d in a 0.233 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.233 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.233 * [taylor]: Taking taylor expansion of c in a 0.233 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.233 * [taylor]: Taking taylor expansion of a in a 0.233 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in a 0.233 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a 0.233 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.233 * [taylor]: Taking taylor expansion of b in a 0.234 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a 0.234 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.234 * [taylor]: Taking taylor expansion of d in a 0.234 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 0.234 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.234 * [taylor]: Taking taylor expansion of c in a 0.234 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.234 * [taylor]: Taking taylor expansion of a in a 0.235 * [taylor]: Taking taylor expansion of -1 in b 0.236 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.236 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.236 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.236 * [taylor]: Taking taylor expansion of c in b 0.236 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.236 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.236 * [taylor]: Taking taylor expansion of d in b 0.236 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.236 * [taylor]: Taking taylor expansion of b in b 0.237 * [taylor]: Taking taylor expansion of -1 in c 0.237 * [taylor]: Taking taylor expansion of -1 in c 0.239 * [taylor]: Taking taylor expansion of 0 in b 0.239 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d) (/ 1 c))) in c 0.239 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 0.239 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.240 * [taylor]: Taking taylor expansion of d in c 0.240 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.240 * [taylor]: Taking taylor expansion of c in c 0.240 * [taylor]: Taking taylor expansion of -1 in d 0.240 * [taylor]: Taking taylor expansion of 0 in c 0.240 * [taylor]: Taking taylor expansion of -1 in d 0.240 * [taylor]: Taking taylor expansion of -1 in d 0.242 * [taylor]: Taking taylor expansion of 0 in b 0.242 * [taylor]: Taking taylor expansion of 0 in c 0.243 * [taylor]: Taking taylor expansion of 0 in c 0.243 * [taylor]: Taking taylor expansion of 0 in c 0.244 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d 0.244 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.244 * [taylor]: Taking taylor expansion of d in d 0.244 * [taylor]: Taking taylor expansion of 0 in d 0.244 * [taylor]: Taking taylor expansion of 0 in d 0.245 * [taylor]: Taking taylor expansion of 0 in d 0.245 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 0.245 * [approximate]: Taking taylor expansion of (+ d (+ b c)) in (b c d) around 0 0.245 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d 0.245 * [taylor]: Taking taylor expansion of d in d 0.246 * [taylor]: Taking taylor expansion of (+ b c) in d 0.246 * [taylor]: Taking taylor expansion of b in d 0.246 * [taylor]: Taking taylor expansion of c in d 0.246 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in c 0.246 * [taylor]: Taking taylor expansion of d in c 0.246 * [taylor]: Taking taylor expansion of (+ b c) in c 0.246 * [taylor]: Taking taylor expansion of b in c 0.246 * [taylor]: Taking taylor expansion of c in c 0.246 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b 0.246 * [taylor]: Taking taylor expansion of d in b 0.246 * [taylor]: Taking taylor expansion of (+ b c) in b 0.246 * [taylor]: Taking taylor expansion of b in b 0.246 * [taylor]: Taking taylor expansion of c in b 0.246 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in b 0.246 * [taylor]: Taking taylor expansion of d in b 0.246 * [taylor]: Taking taylor expansion of (+ b c) in b 0.246 * [taylor]: Taking taylor expansion of b in b 0.246 * [taylor]: Taking taylor expansion of c in b 0.246 * [taylor]: Taking taylor expansion of (+ d c) in c 0.246 * [taylor]: Taking taylor expansion of d in c 0.246 * [taylor]: Taking taylor expansion of c in c 0.246 * [taylor]: Taking taylor expansion of d in d 0.246 * [taylor]: Taking taylor expansion of 1 in c 0.247 * [taylor]: Taking taylor expansion of 1 in d 0.247 * [taylor]: Taking taylor expansion of 1 in d 0.247 * [approximate]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in (b c d) around 0 0.247 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.247 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.247 * [taylor]: Taking taylor expansion of c in d 0.247 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.247 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.247 * [taylor]: Taking taylor expansion of d in d 0.248 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.248 * [taylor]: Taking taylor expansion of b in d 0.248 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.248 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.248 * [taylor]: Taking taylor expansion of c in c 0.248 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.248 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.248 * [taylor]: Taking taylor expansion of d in c 0.248 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.248 * [taylor]: Taking taylor expansion of b in c 0.248 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.248 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.248 * [taylor]: Taking taylor expansion of c in b 0.248 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.248 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.248 * [taylor]: Taking taylor expansion of d in b 0.248 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.248 * [taylor]: Taking taylor expansion of b in b 0.249 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.249 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.249 * [taylor]: Taking taylor expansion of c in b 0.249 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.249 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.249 * [taylor]: Taking taylor expansion of d in b 0.249 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.249 * [taylor]: Taking taylor expansion of b in b 0.250 * [taylor]: Taking taylor expansion of 1 in c 0.250 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 0.250 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.250 * [taylor]: Taking taylor expansion of d in c 0.250 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.250 * [taylor]: Taking taylor expansion of c in c 0.251 * [taylor]: Taking taylor expansion of 1 in d 0.251 * [taylor]: Taking taylor expansion of 1 in d 0.252 * [taylor]: Taking taylor expansion of 0 in c 0.252 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.252 * [taylor]: Taking taylor expansion of d in d 0.253 * [taylor]: Taking taylor expansion of 0 in d 0.253 * [approximate]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in (b c d) around 0 0.253 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.253 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.253 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.253 * [taylor]: Taking taylor expansion of c in d 0.253 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.253 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.253 * [taylor]: Taking taylor expansion of d in d 0.254 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.254 * [taylor]: Taking taylor expansion of b in d 0.254 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.254 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.254 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.254 * [taylor]: Taking taylor expansion of c in c 0.254 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.254 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.254 * [taylor]: Taking taylor expansion of d in c 0.254 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.254 * [taylor]: Taking taylor expansion of b in c 0.254 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.254 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.254 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.254 * [taylor]: Taking taylor expansion of c in b 0.254 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.254 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.254 * [taylor]: Taking taylor expansion of d in b 0.254 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.254 * [taylor]: Taking taylor expansion of b in b 0.254 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.254 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.255 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.255 * [taylor]: Taking taylor expansion of c in b 0.255 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.255 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.255 * [taylor]: Taking taylor expansion of d in b 0.255 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.255 * [taylor]: Taking taylor expansion of b in b 0.256 * [taylor]: Taking taylor expansion of -1 in c 0.256 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d) (/ 1 c))) in c 0.256 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in c 0.256 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.256 * [taylor]: Taking taylor expansion of d in c 0.256 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.256 * [taylor]: Taking taylor expansion of c in c 0.257 * [taylor]: Taking taylor expansion of -1 in d 0.257 * [taylor]: Taking taylor expansion of -1 in d 0.258 * [taylor]: Taking taylor expansion of 0 in c 0.259 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d 0.259 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.259 * [taylor]: Taking taylor expansion of d in d 0.259 * [taylor]: Taking taylor expansion of 0 in d 0.260 * * * [progress]: simplifying candidates 0.261 * [simplify]: Simplifying using # : (expm1 (+ a (+ b (+ c d)))) (log1p (+ a (+ b (+ c d)))) (* (exp a) (* (exp b) (* (exp c) (exp d)))) (* (exp a) (* (exp b) (exp (+ c d)))) (* (exp a) (exp (+ b (+ c d)))) (log (+ a (+ b (+ c d)))) (exp (+ a (+ b (+ c d)))) (* (cbrt (+ a (+ b (+ c d)))) (cbrt (+ a (+ b (+ c d))))) (cbrt (+ a (+ b (+ c d)))) (* (* (+ a (+ b (+ c d))) (+ a (+ b (+ c d)))) (+ a (+ b (+ c d)))) (sqrt (+ a (+ b (+ c d)))) (sqrt (+ a (+ b (+ c d)))) (+ (pow a 3) (pow (+ b (+ c d)) 3)) (+ (* a a) (- (* (+ b (+ c d)) (+ b (+ c d))) (* a (+ b (+ c d))))) (- (* a a) (* (+ b (+ c d)) (+ b (+ c d)))) (- a (+ b (+ c d))) (+ a (+ b (+ c d))) (+ a (+ b (+ c d))) (+ a (+ b (+ c d))) (+ a b) (expm1 (+ b (+ c d))) (log1p (+ b (+ c d))) (* (exp b) (* (exp c) (exp d))) (* (exp b) (exp (+ c d))) (log (+ b (+ c d))) (exp (+ b (+ c d))) (* (cbrt (+ b (+ c d))) (cbrt (+ b (+ c d)))) (cbrt (+ b (+ c d))) (* (* (+ b (+ c d)) (+ b (+ c d))) (+ b (+ c d))) (sqrt (+ b (+ c d))) (sqrt (+ b (+ c d))) (+ (pow b 3) (pow (+ c d) 3)) (+ (* b b) (- (* (+ c d) (+ c d)) (* b (+ c d)))) (- (* b b) (* (+ c d) (+ c d))) (- b (+ c d)) (+ b (+ c d)) (+ b (+ c d)) (+ b c) (+ a (+ b c)) (+ d (+ b c)) (+ d (+ b c)) (+ d (+ b c)) (+ d (+ b c)) (+ d (+ b c)) 0.263 * * [simplify]: iteration 0 : 60 enodes (cost 378 ) 0.273 * * [simplify]: iteration 1 : 181 enodes (cost 347 ) 0.308 * * [simplify]: iteration 2 : 615 enodes (cost 333 ) 0.488 * * [simplify]: iteration 3 : 3104 enodes (cost 333 ) 1.149 * * [simplify]: iteration done : 5000 enodes (cost 333 ) 1.149 * [simplify]: Simplified to: (expm1 (+ a (+ b (+ c d)))) (log1p (+ a (+ b (+ c d)))) (exp (+ a (+ b (+ c d)))) (exp (+ a (+ b (+ c d)))) (exp (+ a (+ b (+ c d)))) (log (+ a (+ b (+ c d)))) (exp (+ a (+ b (+ c d)))) (* (cbrt (+ a (+ b (+ c d)))) (cbrt (+ a (+ b (+ c d))))) (cbrt (+ a (+ b (+ c d)))) (pow (+ a (+ b (+ c d))) 3) (sqrt (+ a (+ b (+ c d)))) (sqrt (+ a (+ b (+ c d)))) (+ (pow a 3) (pow (+ b (+ c d)) 3)) (fma a a (* (+ d (+ b c)) (- (+ d (+ b c)) a))) (- (* a a) (* (+ b (+ c d)) (+ b (+ c d)))) (- a (+ b (+ c d))) (+ a (+ b (+ c d))) (+ a (+ b (+ c d))) (+ a (+ b (+ c d))) (+ a b) (expm1 (+ b (+ c d))) (log1p (+ b (+ c d))) (exp (+ b (+ c d))) (exp (+ b (+ c d))) (log (+ b (+ c d))) (exp (+ b (+ c d))) (* (cbrt (+ b (+ c d))) (cbrt (+ b (+ c d)))) (cbrt (+ b (+ c d))) (pow (+ b (+ c d)) 3) (sqrt (+ b (+ c d))) (sqrt (+ b (+ c d))) (+ (pow b 3) (pow (+ c d) 3)) (fma b b (* (+ c d) (- (+ c d) b))) (- (* b b) (* (+ c d) (+ c d))) (- b (+ c d)) (+ d (+ b c)) (+ d (+ b c)) (+ b c) (+ a (+ b c)) (+ d (+ b c)) (+ d (+ b c)) (+ d (+ b c)) (+ d (+ b c)) (+ d (+ b c)) 1.149 * * * [progress]: adding candidates to table 1.244 * * [progress]: iteration 2 / 4 1.244 * * * [progress]: picking best candidate 1.261 * * * * [pick]: Picked # 1.261 * * * [progress]: localizing error 1.267 * * * [progress]: generating rewritten candidates 1.267 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 1.291 * * * [progress]: generating series expansions 1.292 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 1.292 * [approximate]: Taking taylor expansion of (+ d (+ a (+ b c))) in (a d b c) around 0 1.292 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in c 1.292 * [taylor]: Taking taylor expansion of d in c 1.292 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 1.292 * [taylor]: Taking taylor expansion of a in c 1.292 * [taylor]: Taking taylor expansion of (+ b c) in c 1.292 * [taylor]: Taking taylor expansion of b in c 1.292 * [taylor]: Taking taylor expansion of c in c 1.292 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in b 1.292 * [taylor]: Taking taylor expansion of d in b 1.292 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 1.292 * [taylor]: Taking taylor expansion of a in b 1.292 * [taylor]: Taking taylor expansion of (+ b c) in b 1.292 * [taylor]: Taking taylor expansion of b in b 1.292 * [taylor]: Taking taylor expansion of c in b 1.292 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 1.292 * [taylor]: Taking taylor expansion of d in d 1.292 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 1.292 * [taylor]: Taking taylor expansion of a in d 1.292 * [taylor]: Taking taylor expansion of (+ b c) in d 1.292 * [taylor]: Taking taylor expansion of b in d 1.292 * [taylor]: Taking taylor expansion of c in d 1.292 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a 1.292 * [taylor]: Taking taylor expansion of d in a 1.292 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 1.292 * [taylor]: Taking taylor expansion of a in a 1.292 * [taylor]: Taking taylor expansion of (+ b c) in a 1.292 * [taylor]: Taking taylor expansion of b in a 1.292 * [taylor]: Taking taylor expansion of c in a 1.292 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in a 1.292 * [taylor]: Taking taylor expansion of d in a 1.292 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 1.292 * [taylor]: Taking taylor expansion of a in a 1.292 * [taylor]: Taking taylor expansion of (+ b c) in a 1.292 * [taylor]: Taking taylor expansion of b in a 1.292 * [taylor]: Taking taylor expansion of c in a 1.292 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d 1.292 * [taylor]: Taking taylor expansion of d in d 1.292 * [taylor]: Taking taylor expansion of (+ b c) in d 1.292 * [taylor]: Taking taylor expansion of b in d 1.293 * [taylor]: Taking taylor expansion of c in d 1.293 * [taylor]: Taking taylor expansion of (+ c b) in b 1.293 * [taylor]: Taking taylor expansion of c in b 1.293 * [taylor]: Taking taylor expansion of b in b 1.293 * [taylor]: Taking taylor expansion of c in c 1.294 * [taylor]: Taking taylor expansion of 1 in d 1.294 * [taylor]: Taking taylor expansion of 1 in b 1.294 * [taylor]: Taking taylor expansion of 1 in c 1.294 * [taylor]: Taking taylor expansion of 1 in b 1.294 * [taylor]: Taking taylor expansion of 1 in c 1.295 * [taylor]: Taking taylor expansion of 1 in c 1.295 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in (a d b c) around 0 1.295 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c 1.295 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1.295 * [taylor]: Taking taylor expansion of b in c 1.295 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c 1.295 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.295 * [taylor]: Taking taylor expansion of d in c 1.295 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 1.295 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.295 * [taylor]: Taking taylor expansion of c in c 1.296 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1.296 * [taylor]: Taking taylor expansion of a in c 1.296 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b 1.296 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.296 * [taylor]: Taking taylor expansion of b in b 1.296 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b 1.296 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.296 * [taylor]: Taking taylor expansion of d in b 1.296 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 1.296 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1.296 * [taylor]: Taking taylor expansion of c in b 1.296 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.296 * [taylor]: Taking taylor expansion of a in b 1.296 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d 1.296 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.296 * [taylor]: Taking taylor expansion of b in d 1.296 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d 1.296 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.296 * [taylor]: Taking taylor expansion of d in d 1.296 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d 1.296 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.296 * [taylor]: Taking taylor expansion of c in d 1.296 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.297 * [taylor]: Taking taylor expansion of a in d 1.297 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a 1.297 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.297 * [taylor]: Taking taylor expansion of b in a 1.297 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a 1.297 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1.297 * [taylor]: Taking taylor expansion of d in a 1.297 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 1.297 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1.297 * [taylor]: Taking taylor expansion of c in a 1.297 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.297 * [taylor]: Taking taylor expansion of a in a 1.297 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a 1.297 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.297 * [taylor]: Taking taylor expansion of b in a 1.297 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a 1.297 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1.297 * [taylor]: Taking taylor expansion of d in a 1.297 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 1.297 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1.297 * [taylor]: Taking taylor expansion of c in a 1.297 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.297 * [taylor]: Taking taylor expansion of a in a 1.298 * [taylor]: Taking taylor expansion of 1 in d 1.299 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 1.299 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.299 * [taylor]: Taking taylor expansion of c in d 1.299 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 1.299 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.299 * [taylor]: Taking taylor expansion of d in d 1.299 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.299 * [taylor]: Taking taylor expansion of b in d 1.300 * [taylor]: Taking taylor expansion of 1 in b 1.300 * [taylor]: Taking taylor expansion of 1 in b 1.301 * [taylor]: Taking taylor expansion of 0 in d 1.302 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b 1.302 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1.302 * [taylor]: Taking taylor expansion of c in b 1.302 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.302 * [taylor]: Taking taylor expansion of b in b 1.302 * [taylor]: Taking taylor expansion of 1 in c 1.302 * [taylor]: Taking taylor expansion of 0 in b 1.302 * [taylor]: Taking taylor expansion of 1 in c 1.302 * [taylor]: Taking taylor expansion of 1 in c 1.304 * [taylor]: Taking taylor expansion of 0 in d 1.304 * [taylor]: Taking taylor expansion of 0 in b 1.305 * [taylor]: Taking taylor expansion of 0 in b 1.305 * [taylor]: Taking taylor expansion of 0 in b 1.305 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.305 * [taylor]: Taking taylor expansion of c in c 1.306 * [taylor]: Taking taylor expansion of 0 in c 1.306 * [taylor]: Taking taylor expansion of 0 in c 1.306 * [taylor]: Taking taylor expansion of 0 in c 1.307 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in (a d b c) around 0 1.307 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in c 1.307 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in c 1.307 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1.307 * [taylor]: Taking taylor expansion of b in c 1.307 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in c 1.307 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.307 * [taylor]: Taking taylor expansion of d in c 1.307 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 1.307 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.307 * [taylor]: Taking taylor expansion of c in c 1.307 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1.307 * [taylor]: Taking taylor expansion of a in c 1.307 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in b 1.307 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in b 1.307 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.307 * [taylor]: Taking taylor expansion of b in b 1.307 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in b 1.307 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.307 * [taylor]: Taking taylor expansion of d in b 1.307 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 1.307 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1.307 * [taylor]: Taking taylor expansion of c in b 1.308 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.308 * [taylor]: Taking taylor expansion of a in b 1.308 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in d 1.308 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d 1.308 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.308 * [taylor]: Taking taylor expansion of b in d 1.308 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d 1.308 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.308 * [taylor]: Taking taylor expansion of d in d 1.308 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d 1.308 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.308 * [taylor]: Taking taylor expansion of c in d 1.308 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.308 * [taylor]: Taking taylor expansion of a in d 1.308 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in a 1.308 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a 1.308 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.308 * [taylor]: Taking taylor expansion of b in a 1.308 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a 1.308 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1.308 * [taylor]: Taking taylor expansion of d in a 1.308 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 1.308 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1.308 * [taylor]: Taking taylor expansion of c in a 1.308 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.308 * [taylor]: Taking taylor expansion of a in a 1.309 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))))) in a 1.309 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in a 1.309 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.309 * [taylor]: Taking taylor expansion of b in a 1.309 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in a 1.309 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1.309 * [taylor]: Taking taylor expansion of d in a 1.309 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 1.309 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1.309 * [taylor]: Taking taylor expansion of c in a 1.309 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.309 * [taylor]: Taking taylor expansion of a in a 1.310 * [taylor]: Taking taylor expansion of -1 in d 1.311 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 1.311 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 1.311 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.311 * [taylor]: Taking taylor expansion of c in d 1.311 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 1.311 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.311 * [taylor]: Taking taylor expansion of d in d 1.311 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.311 * [taylor]: Taking taylor expansion of b in d 1.312 * [taylor]: Taking taylor expansion of -1 in b 1.312 * [taylor]: Taking taylor expansion of -1 in b 1.313 * [taylor]: Taking taylor expansion of 0 in d 1.314 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 b))) in b 1.314 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in b 1.314 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1.314 * [taylor]: Taking taylor expansion of c in b 1.314 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.314 * [taylor]: Taking taylor expansion of b in b 1.315 * [taylor]: Taking taylor expansion of -1 in c 1.315 * [taylor]: Taking taylor expansion of 0 in b 1.315 * [taylor]: Taking taylor expansion of -1 in c 1.315 * [taylor]: Taking taylor expansion of -1 in c 1.316 * [taylor]: Taking taylor expansion of 0 in d 1.316 * [taylor]: Taking taylor expansion of 0 in b 1.318 * [taylor]: Taking taylor expansion of 0 in b 1.318 * [taylor]: Taking taylor expansion of 0 in b 1.318 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.318 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.318 * [taylor]: Taking taylor expansion of c in c 1.319 * [taylor]: Taking taylor expansion of 0 in c 1.319 * [taylor]: Taking taylor expansion of 0 in c 1.319 * [taylor]: Taking taylor expansion of 0 in c 1.320 * * * [progress]: simplifying candidates 1.320 * [simplify]: Simplifying using # : (expm1 (+ a (+ d (+ b c)))) (log1p (+ a (+ d (+ b c)))) (* (exp a) (* (exp d) (* (exp b) (exp c)))) (* (exp a) (* (exp d) (exp (+ b c)))) (* (exp a) (exp (+ d (+ b c)))) (log (+ a (+ d (+ b c)))) (exp (+ a (+ d (+ b c)))) (* (cbrt (+ a (+ d (+ b c)))) (cbrt (+ a (+ d (+ b c))))) (cbrt (+ a (+ d (+ b c)))) (* (* (+ a (+ d (+ b c))) (+ a (+ d (+ b c)))) (+ a (+ d (+ b c)))) (sqrt (+ a (+ d (+ b c)))) (sqrt (+ a (+ d (+ b c)))) (+ (pow a 3) (pow (+ d (+ b c)) 3)) (+ (* a a) (- (* (+ d (+ b c)) (+ d (+ b c))) (* a (+ d (+ b c))))) (- (* a a) (* (+ d (+ b c)) (+ d (+ b c)))) (- a (+ d (+ b c))) (+ a (+ d (+ b c))) (+ a (+ d (+ b c))) (+ a (+ d (+ b c))) (+ a d) (+ d (+ a b)) (+ d (+ b c)) (+ d (+ b c)) 1.322 * * [simplify]: iteration 0 : 42 enodes (cost 221 ) 1.328 * * [simplify]: iteration 1 : 118 enodes (cost 208 ) 1.351 * * [simplify]: iteration 2 : 388 enodes (cost 194 ) 1.453 * * [simplify]: iteration 3 : 1945 enodes (cost 194 ) 1.920 * * [simplify]: iteration done : 5000 enodes (cost 194 ) 1.920 * [simplify]: Simplified to: (expm1 (+ a (+ d (+ b c)))) (log1p (+ a (+ d (+ b c)))) (exp (+ a (+ d (+ b c)))) (exp (+ a (+ d (+ b c)))) (exp (+ a (+ d (+ b c)))) (log (+ a (+ d (+ b c)))) (exp (+ a (+ d (+ b c)))) (* (cbrt (+ a (+ d (+ b c)))) (cbrt (+ a (+ d (+ b c))))) (cbrt (+ a (+ d (+ b c)))) (pow (+ a (+ d (+ b c))) 3) (sqrt (+ a (+ d (+ b c)))) (sqrt (+ a (+ d (+ b c)))) (+ (pow a 3) (pow (+ d (+ b c)) 3)) (fma a a (* (+ d (+ b c)) (- (+ d (+ b c)) a))) (- (* a a) (* (+ d (+ b c)) (+ d (+ b c)))) (- a (+ d (+ b c))) (+ a (+ d (+ b c))) (+ a (+ d (+ b c))) (+ a (+ d (+ b c))) (+ a d) (+ d (+ a b)) (+ d (+ b c)) (+ d (+ b c)) 1.921 * * * [progress]: adding candidates to table 1.970 * * [progress]: iteration 3 / 4 1.970 * * * [progress]: picking best candidate 1.971 * * * * [pick]: Picked # 1.971 * * * [progress]: localizing error 1.978 * * * [progress]: generating rewritten candidates 1.978 * * * [progress]: generating series expansions 1.978 * * * [progress]: simplifying candidates 1.978 * [simplify]: Simplifying using # : 1.979 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 1.979 * * [simplify]: iteration done : 0 enodes (cost 0 ) 1.979 * [simplify]: Simplified to: 1.979 * * * [progress]: adding candidates to table 1.979 * [progress]: [Phase 3 of 3] Extracting. 1.981 * [simplify]: Simplifying using # : (* (+ (+ a d) (+ b c)) 2.0) 1.981 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 1.982 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 1.982 * * [simplify]: iteration done : 13 enodes (cost 9 ) 1.982 * [simplify]: Simplified to: (* (+ (+ a d) (+ b c)) 2.0) 2.616 * [regime-testing]: End program error score: 0 2.640 * [regime-testing]: Target error score: 3.8217762466024907