0.069 * [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.026 * [simplify]: Simplifying using # : (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) 0.027 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 0.028 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 0.032 * * [simplify]: iteration 2 : 80 enodes (cost 10 ) 0.045 * * [simplify]: iteration 3 : 227 enodes (cost 9 ) 0.087 * * [simplify]: iteration 4 : 539 enodes (cost 9 ) 0.263 * * [simplify]: iteration 5 : 1137 enodes (cost 9 ) 0.625 * * [simplify]: iteration 6 : 1513 enodes (cost 9 ) 1.210 * * [simplify]: iteration 7 : 2157 enodes (cost 9 ) 2.267 * * [simplify]: iteration 8 : 2580 enodes (cost 9 ) 3.643 * * [simplify]: iteration 9 : 2609 enodes (cost 9 ) 5.227 * * [simplify]: iteration done : 2609 enodes (cost 9 ) 5.227 * [simplify]: Simplified to: (* d1 (+ (- d2 d3) (- d4 d1))) 5.229 * * [progress]: iteration 1 / 4 5.229 * * * [progress]: picking best candidate 5.232 * * * * [pick]: Picked # 5.232 * * * [progress]: localizing error 5.242 * * * [progress]: generating rewritten candidates 5.242 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 5.255 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 5.329 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 5.334 * * * [progress]: generating series expansions 5.334 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 5.334 * [approximate]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) in (d1 d2 d3 d4) around 0 5.334 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) in d4 5.334 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d4 5.334 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 5.334 * [taylor]: Taking taylor expansion of d1 in d4 5.334 * [taylor]: Taking taylor expansion of d4 in d4 5.334 * [taylor]: Taking taylor expansion of (* d1 d2) in d4 5.334 * [taylor]: Taking taylor expansion of d1 in d4 5.334 * [taylor]: Taking taylor expansion of d2 in d4 5.334 * [taylor]: Taking taylor expansion of (* d1 d3) in d4 5.334 * [taylor]: Taking taylor expansion of d1 in d4 5.334 * [taylor]: Taking taylor expansion of d3 in d4 5.334 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) in d3 5.334 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d3 5.334 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 5.334 * [taylor]: Taking taylor expansion of d1 in d3 5.334 * [taylor]: Taking taylor expansion of d4 in d3 5.334 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 5.334 * [taylor]: Taking taylor expansion of d1 in d3 5.334 * [taylor]: Taking taylor expansion of d2 in d3 5.334 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 5.334 * [taylor]: Taking taylor expansion of d1 in d3 5.334 * [taylor]: Taking taylor expansion of d3 in d3 5.334 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) in d2 5.334 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d2 5.334 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 5.334 * [taylor]: Taking taylor expansion of d1 in d2 5.334 * [taylor]: Taking taylor expansion of d4 in d2 5.334 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 5.334 * [taylor]: Taking taylor expansion of d1 in d2 5.335 * [taylor]: Taking taylor expansion of d2 in d2 5.335 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 5.335 * [taylor]: Taking taylor expansion of d1 in d2 5.335 * [taylor]: Taking taylor expansion of d3 in d2 5.335 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) in d1 5.335 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d1 5.335 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 5.335 * [taylor]: Taking taylor expansion of d1 in d1 5.335 * [taylor]: Taking taylor expansion of d4 in d1 5.335 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 5.335 * [taylor]: Taking taylor expansion of d1 in d1 5.335 * [taylor]: Taking taylor expansion of d2 in d1 5.335 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.335 * [taylor]: Taking taylor expansion of d1 in d1 5.335 * [taylor]: Taking taylor expansion of d3 in d1 5.335 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) in d1 5.335 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d1 5.335 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 5.335 * [taylor]: Taking taylor expansion of d1 in d1 5.335 * [taylor]: Taking taylor expansion of d4 in d1 5.335 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 5.335 * [taylor]: Taking taylor expansion of d1 in d1 5.335 * [taylor]: Taking taylor expansion of d2 in d1 5.335 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.335 * [taylor]: Taking taylor expansion of d1 in d1 5.335 * [taylor]: Taking taylor expansion of d3 in d1 5.336 * [taylor]: Taking taylor expansion of 0 in d2 5.336 * [taylor]: Taking taylor expansion of 0 in d3 5.336 * [taylor]: Taking taylor expansion of 0 in d4 5.337 * [taylor]: Taking taylor expansion of (- (+ d2 d4) d3) in d2 5.337 * [taylor]: Taking taylor expansion of (+ d2 d4) in d2 5.337 * [taylor]: Taking taylor expansion of d2 in d2 5.337 * [taylor]: Taking taylor expansion of d4 in d2 5.337 * [taylor]: Taking taylor expansion of d3 in d2 5.337 * [taylor]: Taking taylor expansion of (- d4 d3) in d3 5.337 * [taylor]: Taking taylor expansion of d4 in d3 5.337 * [taylor]: Taking taylor expansion of d3 in d3 5.338 * [taylor]: Taking taylor expansion of d4 in d4 5.338 * [taylor]: Taking taylor expansion of 0 in d3 5.338 * [taylor]: Taking taylor expansion of 0 in d4 5.338 * [taylor]: Taking taylor expansion of 0 in d4 5.340 * [taylor]: Taking taylor expansion of 0 in d2 5.340 * [taylor]: Taking taylor expansion of 0 in d3 5.340 * [taylor]: Taking taylor expansion of 0 in d4 5.340 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in (d1 d2 d3 d4) around 0 5.340 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d4 5.340 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d4 5.341 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d4 5.341 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 5.341 * [taylor]: Taking taylor expansion of d1 in d4 5.341 * [taylor]: Taking taylor expansion of d4 in d4 5.341 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d4 5.341 * [taylor]: Taking taylor expansion of (* d1 d2) in d4 5.341 * [taylor]: Taking taylor expansion of d1 in d4 5.341 * [taylor]: Taking taylor expansion of d2 in d4 5.341 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d4 5.341 * [taylor]: Taking taylor expansion of (* d1 d3) in d4 5.341 * [taylor]: Taking taylor expansion of d1 in d4 5.341 * [taylor]: Taking taylor expansion of d3 in d4 5.341 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d3 5.341 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d3 5.341 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d3 5.341 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 5.341 * [taylor]: Taking taylor expansion of d1 in d3 5.341 * [taylor]: Taking taylor expansion of d4 in d3 5.341 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 5.341 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 5.341 * [taylor]: Taking taylor expansion of d1 in d3 5.341 * [taylor]: Taking taylor expansion of d2 in d3 5.341 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 5.341 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 5.341 * [taylor]: Taking taylor expansion of d1 in d3 5.341 * [taylor]: Taking taylor expansion of d3 in d3 5.342 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d2 5.342 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d2 5.342 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d2 5.342 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 5.342 * [taylor]: Taking taylor expansion of d1 in d2 5.342 * [taylor]: Taking taylor expansion of d4 in d2 5.342 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 5.342 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 5.342 * [taylor]: Taking taylor expansion of d1 in d2 5.342 * [taylor]: Taking taylor expansion of d2 in d2 5.342 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 5.342 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 5.342 * [taylor]: Taking taylor expansion of d1 in d2 5.342 * [taylor]: Taking taylor expansion of d3 in d2 5.343 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d1 5.343 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d1 5.343 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 5.343 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 5.343 * [taylor]: Taking taylor expansion of d1 in d1 5.343 * [taylor]: Taking taylor expansion of d4 in d1 5.343 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 5.343 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 5.343 * [taylor]: Taking taylor expansion of d1 in d1 5.343 * [taylor]: Taking taylor expansion of d2 in d1 5.343 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 5.343 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.343 * [taylor]: Taking taylor expansion of d1 in d1 5.343 * [taylor]: Taking taylor expansion of d3 in d1 5.344 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d1 5.344 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d1 5.344 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 5.344 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 5.344 * [taylor]: Taking taylor expansion of d1 in d1 5.344 * [taylor]: Taking taylor expansion of d4 in d1 5.344 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 5.344 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 5.344 * [taylor]: Taking taylor expansion of d1 in d1 5.344 * [taylor]: Taking taylor expansion of d2 in d1 5.345 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 5.345 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.345 * [taylor]: Taking taylor expansion of d1 in d1 5.345 * [taylor]: Taking taylor expansion of d3 in d1 5.345 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 5.345 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 5.345 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 5.345 * [taylor]: Taking taylor expansion of d2 in d2 5.345 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 5.346 * [taylor]: Taking taylor expansion of d4 in d2 5.346 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 5.346 * [taylor]: Taking taylor expansion of d3 in d2 5.346 * [taylor]: Taking taylor expansion of 1 in d3 5.349 * [taylor]: Taking taylor expansion of 0 in d2 5.349 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 5.349 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 5.349 * [taylor]: Taking taylor expansion of d4 in d3 5.349 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.349 * [taylor]: Taking taylor expansion of d3 in d3 5.350 * [taylor]: Taking taylor expansion of -1 in d4 5.350 * [taylor]: Taking taylor expansion of 1 in d4 5.353 * [taylor]: Taking taylor expansion of 0 in d2 5.354 * [taylor]: Taking taylor expansion of 0 in d3 5.355 * [taylor]: Taking taylor expansion of 0 in d3 5.356 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 5.356 * [taylor]: Taking taylor expansion of d4 in d4 5.356 * [taylor]: Taking taylor expansion of 0 in d4 5.357 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in (d1 d2 d3 d4) around 0 5.357 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d4 5.357 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d4 5.357 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d4 5.357 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 5.357 * [taylor]: Taking taylor expansion of d1 in d4 5.357 * [taylor]: Taking taylor expansion of d4 in d4 5.357 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d4 5.357 * [taylor]: Taking taylor expansion of (* d1 d2) in d4 5.357 * [taylor]: Taking taylor expansion of d1 in d4 5.357 * [taylor]: Taking taylor expansion of d2 in d4 5.357 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d4 5.357 * [taylor]: Taking taylor expansion of (* d1 d3) in d4 5.357 * [taylor]: Taking taylor expansion of d1 in d4 5.357 * [taylor]: Taking taylor expansion of d3 in d4 5.357 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d3 5.357 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d3 5.357 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d3 5.357 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 5.357 * [taylor]: Taking taylor expansion of d1 in d3 5.357 * [taylor]: Taking taylor expansion of d4 in d3 5.357 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 5.358 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 5.358 * [taylor]: Taking taylor expansion of d1 in d3 5.358 * [taylor]: Taking taylor expansion of d2 in d3 5.358 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 5.358 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 5.358 * [taylor]: Taking taylor expansion of d1 in d3 5.358 * [taylor]: Taking taylor expansion of d3 in d3 5.358 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d2 5.358 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d2 5.358 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d2 5.358 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 5.358 * [taylor]: Taking taylor expansion of d1 in d2 5.358 * [taylor]: Taking taylor expansion of d4 in d2 5.358 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 5.358 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 5.358 * [taylor]: Taking taylor expansion of d1 in d2 5.358 * [taylor]: Taking taylor expansion of d2 in d2 5.359 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 5.359 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 5.359 * [taylor]: Taking taylor expansion of d1 in d2 5.359 * [taylor]: Taking taylor expansion of d3 in d2 5.359 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d1 5.359 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d1 5.359 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 5.359 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 5.359 * [taylor]: Taking taylor expansion of d1 in d1 5.359 * [taylor]: Taking taylor expansion of d4 in d1 5.359 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 5.359 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 5.359 * [taylor]: Taking taylor expansion of d1 in d1 5.359 * [taylor]: Taking taylor expansion of d2 in d1 5.359 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 5.359 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.359 * [taylor]: Taking taylor expansion of d1 in d1 5.360 * [taylor]: Taking taylor expansion of d3 in d1 5.360 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d1 5.360 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d4)) (/ 1 (* d1 d2))) in d1 5.360 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 5.360 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 5.360 * [taylor]: Taking taylor expansion of d1 in d1 5.360 * [taylor]: Taking taylor expansion of d4 in d1 5.360 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 5.360 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 5.361 * [taylor]: Taking taylor expansion of d1 in d1 5.361 * [taylor]: Taking taylor expansion of d2 in d1 5.361 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 5.361 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.361 * [taylor]: Taking taylor expansion of d1 in d1 5.361 * [taylor]: Taking taylor expansion of d3 in d1 5.361 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 5.361 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 5.362 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 5.362 * [taylor]: Taking taylor expansion of d2 in d2 5.362 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 5.362 * [taylor]: Taking taylor expansion of d4 in d2 5.362 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 5.362 * [taylor]: Taking taylor expansion of d3 in d2 5.362 * [taylor]: Taking taylor expansion of 1 in d3 5.365 * [taylor]: Taking taylor expansion of 0 in d2 5.366 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 5.366 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 5.366 * [taylor]: Taking taylor expansion of d4 in d3 5.366 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.366 * [taylor]: Taking taylor expansion of d3 in d3 5.366 * [taylor]: Taking taylor expansion of -1 in d4 5.366 * [taylor]: Taking taylor expansion of 1 in d4 5.370 * [taylor]: Taking taylor expansion of 0 in d2 5.370 * [taylor]: Taking taylor expansion of 0 in d3 5.371 * [taylor]: Taking taylor expansion of 0 in d3 5.372 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 5.372 * [taylor]: Taking taylor expansion of d4 in d4 5.372 * [taylor]: Taking taylor expansion of 0 in d4 5.373 * * * * [progress]: [ 2 / 3 ] generating series at (2) 5.373 * [approximate]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in (d1 d2 d3 d4) around 0 5.373 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in d4 5.373 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d4 5.373 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 5.373 * [taylor]: Taking taylor expansion of d1 in d4 5.373 * [taylor]: Taking taylor expansion of d4 in d4 5.373 * [taylor]: Taking taylor expansion of (* d1 d2) in d4 5.373 * [taylor]: Taking taylor expansion of d1 in d4 5.373 * [taylor]: Taking taylor expansion of d2 in d4 5.373 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d1 d3)) in d4 5.373 * [taylor]: Taking taylor expansion of (pow d1 2) in d4 5.373 * [taylor]: Taking taylor expansion of d1 in d4 5.373 * [taylor]: Taking taylor expansion of (* d1 d3) in d4 5.373 * [taylor]: Taking taylor expansion of d1 in d4 5.373 * [taylor]: Taking taylor expansion of d3 in d4 5.373 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in d3 5.373 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d3 5.373 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 5.373 * [taylor]: Taking taylor expansion of d1 in d3 5.373 * [taylor]: Taking taylor expansion of d4 in d3 5.373 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 5.373 * [taylor]: Taking taylor expansion of d1 in d3 5.373 * [taylor]: Taking taylor expansion of d2 in d3 5.373 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d1 d3)) in d3 5.373 * [taylor]: Taking taylor expansion of (pow d1 2) in d3 5.373 * [taylor]: Taking taylor expansion of d1 in d3 5.373 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 5.373 * [taylor]: Taking taylor expansion of d1 in d3 5.373 * [taylor]: Taking taylor expansion of d3 in d3 5.373 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in d2 5.373 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d2 5.373 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 5.373 * [taylor]: Taking taylor expansion of d1 in d2 5.373 * [taylor]: Taking taylor expansion of d4 in d2 5.374 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 5.374 * [taylor]: Taking taylor expansion of d1 in d2 5.374 * [taylor]: Taking taylor expansion of d2 in d2 5.374 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d1 d3)) in d2 5.374 * [taylor]: Taking taylor expansion of (pow d1 2) in d2 5.374 * [taylor]: Taking taylor expansion of d1 in d2 5.374 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 5.374 * [taylor]: Taking taylor expansion of d1 in d2 5.374 * [taylor]: Taking taylor expansion of d3 in d2 5.374 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in d1 5.374 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d1 5.374 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 5.374 * [taylor]: Taking taylor expansion of d1 in d1 5.374 * [taylor]: Taking taylor expansion of d4 in d1 5.374 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 5.374 * [taylor]: Taking taylor expansion of d1 in d1 5.374 * [taylor]: Taking taylor expansion of d2 in d1 5.374 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d1 d3)) in d1 5.374 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 5.374 * [taylor]: Taking taylor expansion of d1 in d1 5.374 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.374 * [taylor]: Taking taylor expansion of d1 in d1 5.374 * [taylor]: Taking taylor expansion of d3 in d1 5.374 * [taylor]: Taking taylor expansion of (- (+ (* d1 d4) (* d1 d2)) (+ (pow d1 2) (* d1 d3))) in d1 5.374 * [taylor]: Taking taylor expansion of (+ (* d1 d4) (* d1 d2)) in d1 5.374 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 5.374 * [taylor]: Taking taylor expansion of d1 in d1 5.374 * [taylor]: Taking taylor expansion of d4 in d1 5.374 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 5.374 * [taylor]: Taking taylor expansion of d1 in d1 5.374 * [taylor]: Taking taylor expansion of d2 in d1 5.374 * [taylor]: Taking taylor expansion of (+ (pow d1 2) (* d1 d3)) in d1 5.374 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 5.374 * [taylor]: Taking taylor expansion of d1 in d1 5.374 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.374 * [taylor]: Taking taylor expansion of d1 in d1 5.374 * [taylor]: Taking taylor expansion of d3 in d1 5.375 * [taylor]: Taking taylor expansion of 0 in d2 5.375 * [taylor]: Taking taylor expansion of 0 in d3 5.375 * [taylor]: Taking taylor expansion of 0 in d4 5.376 * [taylor]: Taking taylor expansion of (- (+ d2 d4) d3) in d2 5.376 * [taylor]: Taking taylor expansion of (+ d2 d4) in d2 5.376 * [taylor]: Taking taylor expansion of d2 in d2 5.376 * [taylor]: Taking taylor expansion of d4 in d2 5.376 * [taylor]: Taking taylor expansion of d3 in d2 5.376 * [taylor]: Taking taylor expansion of (- d4 d3) in d3 5.376 * [taylor]: Taking taylor expansion of d4 in d3 5.376 * [taylor]: Taking taylor expansion of d3 in d3 5.377 * [taylor]: Taking taylor expansion of d4 in d4 5.377 * [taylor]: Taking taylor expansion of 0 in d3 5.377 * [taylor]: Taking taylor expansion of 0 in d4 5.377 * [taylor]: Taking taylor expansion of 0 in d4 5.380 * [taylor]: Taking taylor expansion of -1 in d2 5.380 * [taylor]: Taking taylor expansion of -1 in d3 5.380 * [taylor]: Taking taylor expansion of -1 in d4 5.381 * [taylor]: Taking taylor expansion of 1 in d3 5.381 * [taylor]: Taking taylor expansion of 1 in d4 5.381 * [taylor]: Taking taylor expansion of 0 in d3 5.381 * [taylor]: Taking taylor expansion of 0 in d4 5.381 * [taylor]: Taking taylor expansion of -1 in d4 5.382 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in (d1 d2 d3 d4) around 0 5.382 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d4 5.382 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d4 5.382 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d4 5.382 * [taylor]: Taking taylor expansion of (* d1 d2) in d4 5.382 * [taylor]: Taking taylor expansion of d1 in d4 5.382 * [taylor]: Taking taylor expansion of d2 in d4 5.382 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d4 5.382 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 5.382 * [taylor]: Taking taylor expansion of d1 in d4 5.382 * [taylor]: Taking taylor expansion of d4 in d4 5.382 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d4 5.382 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d4 5.382 * [taylor]: Taking taylor expansion of (pow d1 2) in d4 5.383 * [taylor]: Taking taylor expansion of d1 in d4 5.383 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d4 5.383 * [taylor]: Taking taylor expansion of (* d1 d3) in d4 5.383 * [taylor]: Taking taylor expansion of d1 in d4 5.383 * [taylor]: Taking taylor expansion of d3 in d4 5.383 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d3 5.383 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d3 5.383 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 5.383 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 5.383 * [taylor]: Taking taylor expansion of d1 in d3 5.383 * [taylor]: Taking taylor expansion of d2 in d3 5.383 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d3 5.383 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 5.383 * [taylor]: Taking taylor expansion of d1 in d3 5.383 * [taylor]: Taking taylor expansion of d4 in d3 5.383 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d3 5.383 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d3 5.383 * [taylor]: Taking taylor expansion of (pow d1 2) in d3 5.383 * [taylor]: Taking taylor expansion of d1 in d3 5.383 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 5.383 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 5.383 * [taylor]: Taking taylor expansion of d1 in d3 5.383 * [taylor]: Taking taylor expansion of d3 in d3 5.384 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d2 5.384 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d2 5.384 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 5.384 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 5.384 * [taylor]: Taking taylor expansion of d1 in d2 5.384 * [taylor]: Taking taylor expansion of d2 in d2 5.384 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d2 5.384 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 5.384 * [taylor]: Taking taylor expansion of d1 in d2 5.384 * [taylor]: Taking taylor expansion of d4 in d2 5.384 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d2 5.384 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d2 5.384 * [taylor]: Taking taylor expansion of (pow d1 2) in d2 5.384 * [taylor]: Taking taylor expansion of d1 in d2 5.384 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 5.384 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 5.384 * [taylor]: Taking taylor expansion of d1 in d2 5.384 * [taylor]: Taking taylor expansion of d3 in d2 5.384 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d1 5.384 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d1 5.384 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 5.384 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 5.385 * [taylor]: Taking taylor expansion of d1 in d1 5.385 * [taylor]: Taking taylor expansion of d2 in d1 5.385 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 5.385 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 5.385 * [taylor]: Taking taylor expansion of d1 in d1 5.385 * [taylor]: Taking taylor expansion of d4 in d1 5.385 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d1 5.385 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 5.385 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 5.385 * [taylor]: Taking taylor expansion of d1 in d1 5.386 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 5.386 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.386 * [taylor]: Taking taylor expansion of d1 in d1 5.386 * [taylor]: Taking taylor expansion of d3 in d1 5.386 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d1 5.386 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d1 5.386 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 5.386 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 5.386 * [taylor]: Taking taylor expansion of d1 in d1 5.386 * [taylor]: Taking taylor expansion of d2 in d1 5.387 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 5.387 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 5.387 * [taylor]: Taking taylor expansion of d1 in d1 5.387 * [taylor]: Taking taylor expansion of d4 in d1 5.387 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d1 5.387 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 5.387 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 5.387 * [taylor]: Taking taylor expansion of d1 in d1 5.388 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 5.388 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.388 * [taylor]: Taking taylor expansion of d1 in d1 5.388 * [taylor]: Taking taylor expansion of d3 in d1 5.389 * [taylor]: Taking taylor expansion of -1 in d2 5.390 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 5.390 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 5.390 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 5.390 * [taylor]: Taking taylor expansion of d2 in d2 5.390 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 5.390 * [taylor]: Taking taylor expansion of d4 in d2 5.390 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 5.390 * [taylor]: Taking taylor expansion of d3 in d2 5.391 * [taylor]: Taking taylor expansion of 1 in d3 5.391 * [taylor]: Taking taylor expansion of -1 in d3 5.395 * [taylor]: Taking taylor expansion of 0 in d2 5.395 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 5.395 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 5.395 * [taylor]: Taking taylor expansion of d4 in d3 5.395 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.395 * [taylor]: Taking taylor expansion of d3 in d3 5.396 * [taylor]: Taking taylor expansion of -1 in d4 5.396 * [taylor]: Taking taylor expansion of 0 in d3 5.396 * [taylor]: Taking taylor expansion of 1 in d4 5.396 * [taylor]: Taking taylor expansion of -1 in d4 5.403 * [taylor]: Taking taylor expansion of 0 in d2 5.404 * [taylor]: Taking taylor expansion of 0 in d3 5.405 * [taylor]: Taking taylor expansion of 0 in d3 5.405 * [taylor]: Taking taylor expansion of 0 in d3 5.406 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 5.406 * [taylor]: Taking taylor expansion of d4 in d4 5.406 * [taylor]: Taking taylor expansion of 0 in d4 5.406 * [taylor]: Taking taylor expansion of 0 in d4 5.406 * [taylor]: Taking taylor expansion of 0 in d4 5.407 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in (d1 d2 d3 d4) around 0 5.407 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d4 5.407 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d4 5.407 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d4 5.407 * [taylor]: Taking taylor expansion of (* d1 d2) in d4 5.407 * [taylor]: Taking taylor expansion of d1 in d4 5.407 * [taylor]: Taking taylor expansion of d2 in d4 5.407 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d4 5.407 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 5.407 * [taylor]: Taking taylor expansion of d1 in d4 5.407 * [taylor]: Taking taylor expansion of d4 in d4 5.408 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d4 5.408 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d4 5.408 * [taylor]: Taking taylor expansion of (pow d1 2) in d4 5.408 * [taylor]: Taking taylor expansion of d1 in d4 5.408 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d4 5.408 * [taylor]: Taking taylor expansion of (* d1 d3) in d4 5.408 * [taylor]: Taking taylor expansion of d1 in d4 5.408 * [taylor]: Taking taylor expansion of d3 in d4 5.408 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d3 5.408 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d3 5.408 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 5.408 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 5.408 * [taylor]: Taking taylor expansion of d1 in d3 5.408 * [taylor]: Taking taylor expansion of d2 in d3 5.408 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d3 5.408 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 5.408 * [taylor]: Taking taylor expansion of d1 in d3 5.408 * [taylor]: Taking taylor expansion of d4 in d3 5.408 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d3 5.408 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d3 5.408 * [taylor]: Taking taylor expansion of (pow d1 2) in d3 5.408 * [taylor]: Taking taylor expansion of d1 in d3 5.408 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 5.408 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 5.408 * [taylor]: Taking taylor expansion of d1 in d3 5.408 * [taylor]: Taking taylor expansion of d3 in d3 5.409 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d2 5.409 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d2 5.409 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 5.409 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 5.409 * [taylor]: Taking taylor expansion of d1 in d2 5.409 * [taylor]: Taking taylor expansion of d2 in d2 5.409 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d2 5.409 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 5.409 * [taylor]: Taking taylor expansion of d1 in d2 5.409 * [taylor]: Taking taylor expansion of d4 in d2 5.409 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d2 5.409 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d2 5.409 * [taylor]: Taking taylor expansion of (pow d1 2) in d2 5.409 * [taylor]: Taking taylor expansion of d1 in d2 5.410 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 5.410 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 5.410 * [taylor]: Taking taylor expansion of d1 in d2 5.410 * [taylor]: Taking taylor expansion of d3 in d2 5.410 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d1 5.410 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d1 5.410 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 5.410 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 5.410 * [taylor]: Taking taylor expansion of d1 in d1 5.410 * [taylor]: Taking taylor expansion of d2 in d1 5.410 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 5.410 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 5.410 * [taylor]: Taking taylor expansion of d1 in d1 5.410 * [taylor]: Taking taylor expansion of d4 in d1 5.411 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d1 5.411 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 5.411 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 5.411 * [taylor]: Taking taylor expansion of d1 in d1 5.411 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 5.411 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.411 * [taylor]: Taking taylor expansion of d1 in d1 5.411 * [taylor]: Taking taylor expansion of d3 in d1 5.412 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3)))) in d1 5.412 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 d4))) in d1 5.412 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 5.412 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 5.412 * [taylor]: Taking taylor expansion of d1 in d1 5.412 * [taylor]: Taking taylor expansion of d2 in d1 5.412 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 5.412 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 5.412 * [taylor]: Taking taylor expansion of d1 in d1 5.412 * [taylor]: Taking taylor expansion of d4 in d1 5.412 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d1 2)) (/ 1 (* d1 d3))) in d1 5.413 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 5.413 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 5.413 * [taylor]: Taking taylor expansion of d1 in d1 5.413 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 5.413 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.413 * [taylor]: Taking taylor expansion of d1 in d1 5.413 * [taylor]: Taking taylor expansion of d3 in d1 5.414 * [taylor]: Taking taylor expansion of -1 in d2 5.415 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 5.415 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 5.415 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 5.415 * [taylor]: Taking taylor expansion of d2 in d2 5.416 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 5.416 * [taylor]: Taking taylor expansion of d4 in d2 5.416 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 5.416 * [taylor]: Taking taylor expansion of d3 in d2 5.416 * [taylor]: Taking taylor expansion of 1 in d3 5.416 * [taylor]: Taking taylor expansion of -1 in d3 5.420 * [taylor]: Taking taylor expansion of 0 in d2 5.421 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 5.421 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 5.421 * [taylor]: Taking taylor expansion of d4 in d3 5.421 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.421 * [taylor]: Taking taylor expansion of d3 in d3 5.421 * [taylor]: Taking taylor expansion of -1 in d4 5.421 * [taylor]: Taking taylor expansion of 0 in d3 5.422 * [taylor]: Taking taylor expansion of 1 in d4 5.422 * [taylor]: Taking taylor expansion of -1 in d4 5.426 * [taylor]: Taking taylor expansion of 0 in d2 5.426 * [taylor]: Taking taylor expansion of 0 in d3 5.428 * [taylor]: Taking taylor expansion of 0 in d3 5.428 * [taylor]: Taking taylor expansion of 0 in d3 5.428 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 5.428 * [taylor]: Taking taylor expansion of d4 in d4 5.429 * [taylor]: Taking taylor expansion of 0 in d4 5.429 * [taylor]: Taking taylor expansion of 0 in d4 5.429 * [taylor]: Taking taylor expansion of 0 in d4 5.429 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 5.429 * [approximate]: Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in (d1 d2 d3) around 0 5.429 * [taylor]: Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d3 5.429 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 5.429 * [taylor]: Taking taylor expansion of d1 in d3 5.430 * [taylor]: Taking taylor expansion of d2 in d3 5.430 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 5.430 * [taylor]: Taking taylor expansion of d1 in d3 5.430 * [taylor]: Taking taylor expansion of d3 in d3 5.430 * [taylor]: Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d2 5.430 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 5.430 * [taylor]: Taking taylor expansion of d1 in d2 5.430 * [taylor]: Taking taylor expansion of d2 in d2 5.430 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 5.430 * [taylor]: Taking taylor expansion of d1 in d2 5.430 * [taylor]: Taking taylor expansion of d3 in d2 5.430 * [taylor]: Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d1 5.430 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 5.430 * [taylor]: Taking taylor expansion of d1 in d1 5.430 * [taylor]: Taking taylor expansion of d2 in d1 5.430 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.430 * [taylor]: Taking taylor expansion of d1 in d1 5.430 * [taylor]: Taking taylor expansion of d3 in d1 5.430 * [taylor]: Taking taylor expansion of (- (* d1 d2) (* d1 d3)) in d1 5.430 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 5.430 * [taylor]: Taking taylor expansion of d1 in d1 5.430 * [taylor]: Taking taylor expansion of d2 in d1 5.430 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.430 * [taylor]: Taking taylor expansion of d1 in d1 5.430 * [taylor]: Taking taylor expansion of d3 in d1 5.431 * [taylor]: Taking taylor expansion of 0 in d2 5.431 * [taylor]: Taking taylor expansion of 0 in d3 5.431 * [taylor]: Taking taylor expansion of (- d2 d3) in d2 5.431 * [taylor]: Taking taylor expansion of d2 in d2 5.431 * [taylor]: Taking taylor expansion of d3 in d2 5.431 * [taylor]: Taking taylor expansion of (- d3) in d3 5.431 * [taylor]: Taking taylor expansion of d3 in d3 5.432 * [taylor]: Taking taylor expansion of 0 in d3 5.433 * [taylor]: Taking taylor expansion of 0 in d2 5.433 * [taylor]: Taking taylor expansion of 0 in d3 5.434 * [taylor]: Taking taylor expansion of 1 in d3 5.434 * [taylor]: Taking taylor expansion of 0 in d3 5.436 * [taylor]: Taking taylor expansion of 0 in d2 5.436 * [taylor]: Taking taylor expansion of 0 in d3 5.436 * [taylor]: Taking taylor expansion of 0 in d3 5.437 * [taylor]: Taking taylor expansion of 0 in d3 5.437 * [taylor]: Taking taylor expansion of 0 in d3 5.437 * [approximate]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in (d1 d2 d3) around 0 5.437 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d3 5.437 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 5.437 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 5.437 * [taylor]: Taking taylor expansion of d1 in d3 5.437 * [taylor]: Taking taylor expansion of d2 in d3 5.437 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 5.437 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 5.437 * [taylor]: Taking taylor expansion of d1 in d3 5.437 * [taylor]: Taking taylor expansion of d3 in d3 5.438 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d2 5.438 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 5.438 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 5.438 * [taylor]: Taking taylor expansion of d1 in d2 5.438 * [taylor]: Taking taylor expansion of d2 in d2 5.438 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 5.438 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 5.438 * [taylor]: Taking taylor expansion of d1 in d2 5.438 * [taylor]: Taking taylor expansion of d3 in d2 5.438 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d1 5.438 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 5.438 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 5.438 * [taylor]: Taking taylor expansion of d1 in d1 5.438 * [taylor]: Taking taylor expansion of d2 in d1 5.439 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 5.439 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.439 * [taylor]: Taking taylor expansion of d1 in d1 5.439 * [taylor]: Taking taylor expansion of d3 in d1 5.439 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d1 5.439 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 5.439 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 5.439 * [taylor]: Taking taylor expansion of d1 in d1 5.439 * [taylor]: Taking taylor expansion of d2 in d1 5.439 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 5.439 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.439 * [taylor]: Taking taylor expansion of d1 in d1 5.439 * [taylor]: Taking taylor expansion of d3 in d1 5.440 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2 5.440 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 5.440 * [taylor]: Taking taylor expansion of d2 in d2 5.440 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 5.440 * [taylor]: Taking taylor expansion of d3 in d2 5.440 * [taylor]: Taking taylor expansion of 1 in d3 5.442 * [taylor]: Taking taylor expansion of 0 in d2 5.443 * [taylor]: Taking taylor expansion of (- (/ 1 d3)) in d3 5.443 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.443 * [taylor]: Taking taylor expansion of d3 in d3 5.445 * [taylor]: Taking taylor expansion of 0 in d2 5.445 * [taylor]: Taking taylor expansion of 0 in d3 5.446 * [taylor]: Taking taylor expansion of 0 in d3 5.450 * [taylor]: Taking taylor expansion of 0 in d2 5.450 * [taylor]: Taking taylor expansion of 0 in d3 5.450 * [taylor]: Taking taylor expansion of 0 in d3 5.451 * [taylor]: Taking taylor expansion of 0 in d3 5.452 * [approximate]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in (d1 d2 d3) around 0 5.452 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d3 5.452 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 5.452 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 5.452 * [taylor]: Taking taylor expansion of d1 in d3 5.452 * [taylor]: Taking taylor expansion of d2 in d3 5.452 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 5.452 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 5.452 * [taylor]: Taking taylor expansion of d1 in d3 5.452 * [taylor]: Taking taylor expansion of d3 in d3 5.453 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d2 5.453 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 5.453 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 5.453 * [taylor]: Taking taylor expansion of d1 in d2 5.453 * [taylor]: Taking taylor expansion of d2 in d2 5.453 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 5.453 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 5.453 * [taylor]: Taking taylor expansion of d1 in d2 5.453 * [taylor]: Taking taylor expansion of d3 in d2 5.453 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d1 5.453 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 5.453 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 5.453 * [taylor]: Taking taylor expansion of d1 in d1 5.453 * [taylor]: Taking taylor expansion of d2 in d1 5.454 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 5.454 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.454 * [taylor]: Taking taylor expansion of d1 in d1 5.454 * [taylor]: Taking taylor expansion of d3 in d1 5.454 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (/ 1 (* d1 d3))) in d1 5.454 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 5.454 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 5.454 * [taylor]: Taking taylor expansion of d1 in d1 5.454 * [taylor]: Taking taylor expansion of d2 in d1 5.454 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 5.455 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.455 * [taylor]: Taking taylor expansion of d1 in d1 5.455 * [taylor]: Taking taylor expansion of d3 in d1 5.455 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2 5.455 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 5.455 * [taylor]: Taking taylor expansion of d2 in d2 5.455 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 5.455 * [taylor]: Taking taylor expansion of d3 in d2 5.456 * [taylor]: Taking taylor expansion of 1 in d3 5.457 * [taylor]: Taking taylor expansion of 0 in d2 5.458 * [taylor]: Taking taylor expansion of (- (/ 1 d3)) in d3 5.458 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.458 * [taylor]: Taking taylor expansion of d3 in d3 5.461 * [taylor]: Taking taylor expansion of 0 in d2 5.461 * [taylor]: Taking taylor expansion of 0 in d3 5.462 * [taylor]: Taking taylor expansion of 0 in d3 5.465 * [taylor]: Taking taylor expansion of 0 in d2 5.465 * [taylor]: Taking taylor expansion of 0 in d3 5.465 * [taylor]: Taking taylor expansion of 0 in d3 5.466 * [taylor]: Taking taylor expansion of 0 in d3 5.467 * * * [progress]: simplifying candidates 5.468 * [simplify]: Simplifying using # : (expm1 (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (log1p (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (* (/ (exp (* d1 d2)) (exp (* d1 d3))) (exp (* d4 d1))) (* (exp (- (* d1 d2) (* d1 d3))) (exp (* d4 d1))) (log (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (exp (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (* (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))) (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (* (* (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (+ (pow (- (* d1 d2) (* d1 d3)) 3) (pow (* d4 d1) 3)) (+ (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (- (* (* d4 d1) (* d4 d1)) (* (- (* d1 d2) (* d1 d3)) (* d4 d1)))) (- (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (* (* d4 d1) (* d4 d1))) (- (- (* d1 d2) (* d1 d3)) (* d4 d1)) (+ (fma (- d3) d1 (* d3 d1)) (* d4 d1)) (+ (- (* d1 d3)) (* d4 d1)) (+ (- (* d1 d3)) (* d4 d1)) (- (* d1 d3) (* d4 d1)) (fma (* (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)))) (cbrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (- (* d1 d1))) (fma (- d1) d1 (* d1 d1)) (fma (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (- (* d1 d1))) (fma (- d1) d1 (* d1 d1)) (fma 1 (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (- (* d1 d1))) (fma (- d1) d1 (* d1 d1)) (expm1 (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (log1p (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (- (* d1 d1)) (- (* d1 d1)) (- (* d1 d1)) (/ (* (/ (exp (* d1 d2)) (exp (* d1 d3))) (exp (* d4 d1))) (exp (* d1 d1))) (/ (* (exp (- (* d1 d2) (* d1 d3))) (exp (* d4 d1))) (exp (* d1 d1))) (/ (exp (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (exp (* d1 d1))) (log (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (exp (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (* (cbrt (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (cbrt (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))) (cbrt (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (* (* (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (sqrt (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (sqrt (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))) (- (pow (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) 3) (pow (* d1 d1) 3)) (+ (* (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (+ (* (* d1 d1) (* d1 d1)) (* (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)))) (- (* d1 d1)) (- (* (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (* (* d1 d1) (* d1 d1))) (+ (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (+ (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) d1) (- (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) d1) (- (* d4 d1) (* d1 d1)) (+ (- (* d1 d3) (* d4 d1)) (* d1 d1)) (- (* d1 d1)) (fma d1 d2 (- (* d3 d1))) (fma (- d3) d1 (* d3 d1)) (expm1 (- (* d1 d2) (* d1 d3))) (log1p (- (* d1 d2) (* d1 d3))) (- (* d1 d3)) (/ (exp (* d1 d2)) (exp (* d1 d3))) (log (- (* d1 d2) (* d1 d3))) (exp (- (* d1 d2) (* d1 d3))) (* (cbrt (- (* d1 d2) (* d1 d3))) (cbrt (- (* d1 d2) (* d1 d3)))) (cbrt (- (* d1 d2) (* d1 d3))) (* (* (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3))) (- (* d1 d2) (* d1 d3))) (sqrt (- (* d1 d2) (* d1 d3))) (sqrt (- (* d1 d2) (* d1 d3))) (- (pow (* d1 d2) 3) (pow (* d1 d3) 3)) (+ (* (* d1 d2) (* d1 d2)) (+ (* (* d1 d3) (* d1 d3)) (* (* d1 d2) (* d1 d3)))) (- (* d1 d3)) (- (* (* d1 d2) (* d1 d2)) (* (* d1 d3) (* d1 d3))) (+ (* d1 d2) (* d1 d3)) (- d2 d3) (- (* d1 d3)) 0 (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) (- (* d1 d2) (+ (pow d1 2) (* d1 d3))) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3)) (- (* d1 d2) (* d1 d3)) 5.472 * * [simplify]: iteration 0 : 106 enodes (cost 1089 ) 5.494 * * [simplify]: iteration 1 : 305 enodes (cost 848 ) 5.563 * * [simplify]: iteration 2 : 1207 enodes (cost 692 ) 5.913 * * [simplify]: iteration done : 5000 enodes (cost 675 ) 5.913 * [simplify]: Simplified to: (expm1 (* d1 (- (+ d4 d2) d3))) (log1p (* d1 (- (+ d4 d2) d3))) (exp (* d1 (- (+ d4 d2) d3))) (exp (* d1 (- (+ d4 d2) d3))) (log (* d1 (- (+ d4 d2) d3))) (exp (* d1 (- (+ d4 d2) d3))) (* (cbrt (* d1 (- (+ d4 d2) d3))) (cbrt (* d1 (- (+ d4 d2) d3)))) (cbrt (* d1 (- (+ d4 d2) d3))) (pow (* d1 (- (+ d4 d2) d3)) 3) (sqrt (* d1 (- (+ d4 d2) d3))) (sqrt (* d1 (- (+ d4 d2) d3))) (+ (pow (* d4 d1) 3) (pow (* d1 (- d2 d3)) 3)) (+ (* (* d4 d1) (* d4 d1)) (* (* d1 (- d2 d3)) (* d1 (- (- d2 d3) d4)))) (* (* d1 (- (- d2 d3) d4)) (* d1 (- (+ d4 d2) d3))) (* d1 (- (- d2 d3) d4)) (* d1 (+ (- d4 d3) d3)) (* (- d4 d3) d1) (* (- d4 d3) d1) (* d1 (- d3 d4)) (fma (* (cbrt (* d1 (- (+ d4 d2) d3))) (cbrt (* d1 (- (+ d4 d2) d3)))) (cbrt (* d1 (- (+ d4 d2) d3))) (- (* d1 d1))) (* d1 (+ (- d1) d1)) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d1) d1)) (* d1 (+ (- d2 d3) (- d4 d1))) (* d1 (+ (- d1) d1)) (expm1 (* d1 (+ (- d2 d3) (- d4 d1)))) (log1p (* d1 (+ (- d2 d3) (- d4 d1)))) (- (* d1 d1)) (- (* d1 d1)) (- (* d1 d1)) (exp (* d1 (+ (- d2 d3) (- d4 d1)))) (exp (* d1 (+ (- d2 d3) (- d4 d1)))) (exp (* d1 (+ (- d2 d3) (- d4 d1)))) (log (* d1 (+ (- d2 d3) (- d4 d1)))) (exp (* d1 (+ (- d2 d3) (- d4 d1)))) (* (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))) (cbrt (* d1 (+ (- d2 d3) (- d4 d1))))) (cbrt (* d1 (+ (- d2 d3) (- d4 d1)))) (pow (* d1 (+ (- d2 d3) (- d4 d1))) 3) (sqrt (* d1 (+ (- d2 d3) (- d4 d1)))) (sqrt (* d1 (+ (- d2 d3) (- d4 d1)))) (- (pow (* d1 (- (+ d4 d2) d3)) 3) (pow d1 6)) (+ (pow d1 4) (* d1 (* (+ d4 (- d2 d3)) (* d1 (+ d1 (+ d4 (- d2 d3))))))) (- (* d1 d1)) (fma (* d1 (- (+ d4 d2) d3)) (* d1 (- (+ d4 d2) d3)) (- (pow d1 4))) (* d1 (+ d1 (+ d4 (- d2 d3)))) (+ (sqrt (* d1 (- (+ d4 d2) d3))) d1) (- (sqrt (* d1 (- (+ d4 d2) d3))) d1) (* d1 (- d4 d1)) (* d1 (- d3 (- d4 d1))) (- (* d1 d1)) (* d1 (- d2 d3)) (* d1 (+ (- d3) d3)) (expm1 (* d1 (- d2 d3))) (log1p (* d1 (- d2 d3))) (- (* d3 d1)) (exp (* d1 (- d2 d3))) (log (* d1 (- d2 d3))) (exp (* d1 (- d2 d3))) (* (cbrt (* d1 (- d2 d3))) (cbrt (* d1 (- d2 d3)))) (cbrt (* d1 (- d2 d3))) (pow (* d1 (- d2 d3)) 3) (sqrt (* d1 (- d2 d3))) (sqrt (* d1 (- d2 d3))) (- (pow (* d1 d2) 3) (pow (* d1 d3) 3)) (* d1 (+ (* d3 (* d1 (+ d2 d3))) (* d1 (* d2 d2)))) (- (* d3 d1)) (* (* d1 (+ d2 d3)) (* d1 (- d2 d3))) (* d1 (+ d2 d3)) (- d2 d3) (- (* d3 d1)) 0 (* d1 (- (+ d4 d2) d3)) (* d1 (- (+ d4 d2) d3)) (* d1 (- (- d2 d1) d3)) (* d1 (- (+ d4 d2) d3)) (* d1 (- (+ d4 d2) d3)) (* d1 (- d2 d3)) (* d1 (- d2 d3)) (* d1 (- d2 d3)) 5.914 * * * [progress]: adding candidates to table 6.078 * * [progress]: iteration 2 / 4 6.078 * * * [progress]: picking best candidate 6.083 * * * * [pick]: Picked # 6.083 * * * [progress]: localizing error 6.091 * * * [progress]: generating rewritten candidates 6.091 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 6.091 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 6.094 * * * [progress]: generating series expansions 6.095 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 6.095 * [approximate]: Taking taylor expansion of (fma d1 (- d2 d3) (* d1 d4)) in (d1 d2 d3 d4) around 0 6.095 * [taylor]: Taking taylor expansion of (fma d1 (- d2 d3) (* d1 d4)) in d4 6.095 * [taylor]: Rewrote expression to (+ (* d1 (- d2 d3)) (* d1 d4)) 6.095 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d4 6.095 * [taylor]: Taking taylor expansion of d1 in d4 6.095 * [taylor]: Taking taylor expansion of (- d2 d3) in d4 6.095 * [taylor]: Taking taylor expansion of d2 in d4 6.095 * [taylor]: Taking taylor expansion of d3 in d4 6.095 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 6.095 * [taylor]: Taking taylor expansion of d1 in d4 6.095 * [taylor]: Taking taylor expansion of d4 in d4 6.095 * [taylor]: Taking taylor expansion of (fma d1 (- d2 d3) (* d1 d4)) in d3 6.095 * [taylor]: Rewrote expression to (+ (* d1 (- d2 d3)) (* d1 d4)) 6.095 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d3 6.095 * [taylor]: Taking taylor expansion of d1 in d3 6.095 * [taylor]: Taking taylor expansion of (- d2 d3) in d3 6.095 * [taylor]: Taking taylor expansion of d2 in d3 6.095 * [taylor]: Taking taylor expansion of d3 in d3 6.095 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 6.095 * [taylor]: Taking taylor expansion of d1 in d3 6.095 * [taylor]: Taking taylor expansion of d4 in d3 6.095 * [taylor]: Taking taylor expansion of (fma d1 (- d2 d3) (* d1 d4)) in d2 6.095 * [taylor]: Rewrote expression to (+ (* d1 (- d2 d3)) (* d1 d4)) 6.095 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d2 6.095 * [taylor]: Taking taylor expansion of d1 in d2 6.095 * [taylor]: Taking taylor expansion of (- d2 d3) in d2 6.095 * [taylor]: Taking taylor expansion of d2 in d2 6.095 * [taylor]: Taking taylor expansion of d3 in d2 6.095 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 6.095 * [taylor]: Taking taylor expansion of d1 in d2 6.095 * [taylor]: Taking taylor expansion of d4 in d2 6.095 * [taylor]: Taking taylor expansion of (fma d1 (- d2 d3) (* d1 d4)) in d1 6.096 * [taylor]: Rewrote expression to (+ (* d1 (- d2 d3)) (* d1 d4)) 6.096 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d1 6.096 * [taylor]: Taking taylor expansion of d1 in d1 6.096 * [taylor]: Taking taylor expansion of (- d2 d3) in d1 6.096 * [taylor]: Taking taylor expansion of d2 in d1 6.096 * [taylor]: Taking taylor expansion of d3 in d1 6.096 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 6.096 * [taylor]: Taking taylor expansion of d1 in d1 6.096 * [taylor]: Taking taylor expansion of d4 in d1 6.096 * [taylor]: Taking taylor expansion of (fma d1 (- d2 d3) (* d1 d4)) in d1 6.096 * [taylor]: Rewrote expression to (+ (* d1 (- d2 d3)) (* d1 d4)) 6.096 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d1 6.096 * [taylor]: Taking taylor expansion of d1 in d1 6.096 * [taylor]: Taking taylor expansion of (- d2 d3) in d1 6.096 * [taylor]: Taking taylor expansion of d2 in d1 6.096 * [taylor]: Taking taylor expansion of d3 in d1 6.096 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 6.096 * [taylor]: Taking taylor expansion of d1 in d1 6.096 * [taylor]: Taking taylor expansion of d4 in d1 6.096 * [taylor]: Taking taylor expansion of 0 in d2 6.097 * [taylor]: Taking taylor expansion of 0 in d3 6.097 * [taylor]: Taking taylor expansion of 0 in d4 6.098 * [taylor]: Taking taylor expansion of (- (+ d4 d2) d3) in d2 6.098 * [taylor]: Taking taylor expansion of (+ d4 d2) in d2 6.098 * [taylor]: Taking taylor expansion of d4 in d2 6.098 * [taylor]: Taking taylor expansion of d2 in d2 6.098 * [taylor]: Taking taylor expansion of d3 in d2 6.098 * [taylor]: Taking taylor expansion of (- d4 d3) in d3 6.098 * [taylor]: Taking taylor expansion of d4 in d3 6.098 * [taylor]: Taking taylor expansion of d3 in d3 6.098 * [taylor]: Taking taylor expansion of d4 in d4 6.098 * [taylor]: Taking taylor expansion of 0 in d3 6.098 * [taylor]: Taking taylor expansion of 0 in d4 6.098 * [taylor]: Taking taylor expansion of 0 in d4 6.100 * [taylor]: Taking taylor expansion of 0 in d2 6.100 * [taylor]: Taking taylor expansion of 0 in d3 6.100 * [taylor]: Taking taylor expansion of 0 in d4 6.100 * [approximate]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ 1 (* d1 d4))) in (d1 d2 d3 d4) around 0 6.100 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ 1 (* d1 d4))) in d4 6.100 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) (/ 1 (* d1 d4))) 6.100 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) in d4 6.100 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 6.100 * [taylor]: Taking taylor expansion of d1 in d4 6.100 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d4 6.100 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4 6.100 * [taylor]: Taking taylor expansion of d2 in d4 6.100 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4 6.100 * [taylor]: Taking taylor expansion of d3 in d4 6.101 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d4 6.101 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 6.101 * [taylor]: Taking taylor expansion of d1 in d4 6.101 * [taylor]: Taking taylor expansion of d4 in d4 6.101 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ 1 (* d1 d4))) in d3 6.101 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) (/ 1 (* d1 d4))) 6.101 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) in d3 6.101 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 6.101 * [taylor]: Taking taylor expansion of d1 in d3 6.101 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d3 6.101 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 6.101 * [taylor]: Taking taylor expansion of d2 in d3 6.101 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 6.101 * [taylor]: Taking taylor expansion of d3 in d3 6.101 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d3 6.101 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 6.101 * [taylor]: Taking taylor expansion of d1 in d3 6.102 * [taylor]: Taking taylor expansion of d4 in d3 6.102 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ 1 (* d1 d4))) in d2 6.102 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) (/ 1 (* d1 d4))) 6.102 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) in d2 6.102 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 6.102 * [taylor]: Taking taylor expansion of d1 in d2 6.102 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2 6.102 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 6.102 * [taylor]: Taking taylor expansion of d2 in d2 6.102 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 6.102 * [taylor]: Taking taylor expansion of d3 in d2 6.102 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d2 6.102 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 6.102 * [taylor]: Taking taylor expansion of d1 in d2 6.102 * [taylor]: Taking taylor expansion of d4 in d2 6.102 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ 1 (* d1 d4))) in d1 6.102 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) (/ 1 (* d1 d4))) 6.102 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) in d1 6.102 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 6.102 * [taylor]: Taking taylor expansion of d1 in d1 6.103 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d1 6.103 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 6.103 * [taylor]: Taking taylor expansion of d2 in d1 6.103 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 6.103 * [taylor]: Taking taylor expansion of d3 in d1 6.103 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 6.103 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 6.103 * [taylor]: Taking taylor expansion of d1 in d1 6.103 * [taylor]: Taking taylor expansion of d4 in d1 6.103 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ 1 (* d1 d4))) in d1 6.103 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) (/ 1 (* d1 d4))) 6.103 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) in d1 6.103 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 6.103 * [taylor]: Taking taylor expansion of d1 in d1 6.104 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d1 6.104 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 6.104 * [taylor]: Taking taylor expansion of d2 in d1 6.104 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 6.104 * [taylor]: Taking taylor expansion of d3 in d1 6.104 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 6.104 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 6.104 * [taylor]: Taking taylor expansion of d1 in d1 6.104 * [taylor]: Taking taylor expansion of d4 in d1 6.105 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 6.105 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 6.105 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 6.105 * [taylor]: Taking taylor expansion of d2 in d2 6.105 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 6.105 * [taylor]: Taking taylor expansion of d4 in d2 6.105 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 6.105 * [taylor]: Taking taylor expansion of d3 in d2 6.106 * [taylor]: Taking taylor expansion of 1 in d3 6.108 * [taylor]: Taking taylor expansion of 0 in d2 6.108 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 6.108 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 6.108 * [taylor]: Taking taylor expansion of d4 in d3 6.108 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 6.108 * [taylor]: Taking taylor expansion of d3 in d3 6.109 * [taylor]: Taking taylor expansion of -1 in d4 6.109 * [taylor]: Taking taylor expansion of 1 in d4 6.112 * [taylor]: Taking taylor expansion of 0 in d2 6.112 * [taylor]: Taking taylor expansion of 0 in d3 6.113 * [taylor]: Taking taylor expansion of 0 in d3 6.114 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 6.114 * [taylor]: Taking taylor expansion of d4 in d4 6.115 * [taylor]: Taking taylor expansion of 0 in d4 6.115 * [approximate]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (/ 1 (* d1 d4))) in (d1 d2 d3 d4) around 0 6.115 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (/ 1 (* d1 d4))) in d4 6.115 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) (/ 1 (* d1 d4))) 6.115 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) in d4 6.115 * [taylor]: Taking taylor expansion of (/ -1 d1) in d4 6.115 * [taylor]: Taking taylor expansion of -1 in d4 6.115 * [taylor]: Taking taylor expansion of d1 in d4 6.115 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d4 6.115 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4 6.115 * [taylor]: Taking taylor expansion of d3 in d4 6.116 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4 6.116 * [taylor]: Taking taylor expansion of d2 in d4 6.116 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d4 6.116 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 6.116 * [taylor]: Taking taylor expansion of d1 in d4 6.116 * [taylor]: Taking taylor expansion of d4 in d4 6.116 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (/ 1 (* d1 d4))) in d3 6.116 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) (/ 1 (* d1 d4))) 6.116 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) in d3 6.116 * [taylor]: Taking taylor expansion of (/ -1 d1) in d3 6.116 * [taylor]: Taking taylor expansion of -1 in d3 6.116 * [taylor]: Taking taylor expansion of d1 in d3 6.116 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d3 6.116 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 6.116 * [taylor]: Taking taylor expansion of d3 in d3 6.116 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 6.116 * [taylor]: Taking taylor expansion of d2 in d3 6.117 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d3 6.117 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 6.117 * [taylor]: Taking taylor expansion of d1 in d3 6.117 * [taylor]: Taking taylor expansion of d4 in d3 6.117 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (/ 1 (* d1 d4))) in d2 6.117 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) (/ 1 (* d1 d4))) 6.117 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) in d2 6.117 * [taylor]: Taking taylor expansion of (/ -1 d1) in d2 6.117 * [taylor]: Taking taylor expansion of -1 in d2 6.117 * [taylor]: Taking taylor expansion of d1 in d2 6.117 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d2 6.117 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 6.117 * [taylor]: Taking taylor expansion of d3 in d2 6.117 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 6.117 * [taylor]: Taking taylor expansion of d2 in d2 6.117 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d2 6.117 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 6.117 * [taylor]: Taking taylor expansion of d1 in d2 6.117 * [taylor]: Taking taylor expansion of d4 in d2 6.117 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (/ 1 (* d1 d4))) in d1 6.117 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) (/ 1 (* d1 d4))) 6.117 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) in d1 6.118 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1 6.118 * [taylor]: Taking taylor expansion of -1 in d1 6.118 * [taylor]: Taking taylor expansion of d1 in d1 6.118 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d1 6.118 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 6.118 * [taylor]: Taking taylor expansion of d3 in d1 6.118 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 6.118 * [taylor]: Taking taylor expansion of d2 in d1 6.118 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 6.118 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 6.118 * [taylor]: Taking taylor expansion of d1 in d1 6.118 * [taylor]: Taking taylor expansion of d4 in d1 6.118 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (/ 1 (* d1 d4))) in d1 6.118 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) (/ 1 (* d1 d4))) 6.118 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) in d1 6.118 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1 6.119 * [taylor]: Taking taylor expansion of -1 in d1 6.119 * [taylor]: Taking taylor expansion of d1 in d1 6.119 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d1 6.119 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 6.119 * [taylor]: Taking taylor expansion of d3 in d1 6.119 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 6.119 * [taylor]: Taking taylor expansion of d2 in d1 6.119 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 6.119 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 6.119 * [taylor]: Taking taylor expansion of d1 in d1 6.119 * [taylor]: Taking taylor expansion of d4 in d1 6.120 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 6.120 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 6.120 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 6.120 * [taylor]: Taking taylor expansion of d2 in d2 6.120 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 6.120 * [taylor]: Taking taylor expansion of d4 in d2 6.120 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 6.120 * [taylor]: Taking taylor expansion of d3 in d2 6.121 * [taylor]: Taking taylor expansion of 1 in d3 6.123 * [taylor]: Taking taylor expansion of 0 in d2 6.123 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 6.123 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 6.123 * [taylor]: Taking taylor expansion of d4 in d3 6.123 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 6.123 * [taylor]: Taking taylor expansion of d3 in d3 6.124 * [taylor]: Taking taylor expansion of -1 in d4 6.124 * [taylor]: Taking taylor expansion of 1 in d4 6.127 * [taylor]: Taking taylor expansion of 0 in d2 6.127 * [taylor]: Taking taylor expansion of 0 in d3 6.128 * [taylor]: Taking taylor expansion of 0 in d3 6.129 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 6.129 * [taylor]: Taking taylor expansion of d4 in d4 6.130 * [taylor]: Taking taylor expansion of 0 in d4 6.130 * * * * [progress]: [ 2 / 2 ] generating series at (2) 6.130 * [approximate]: Taking taylor expansion of (- (fma d1 (- d2 d3) (* d1 d4)) (pow d1 2)) in (d1 d2 d3 d4) around 0 6.130 * [taylor]: Taking taylor expansion of (- (fma d1 (- d2 d3) (* d1 d4)) (pow d1 2)) in d4 6.130 * [taylor]: Taking taylor expansion of (fma d1 (- d2 d3) (* d1 d4)) in d4 6.130 * [taylor]: Rewrote expression to (+ (* d1 (- d2 d3)) (* d1 d4)) 6.130 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d4 6.130 * [taylor]: Taking taylor expansion of d1 in d4 6.130 * [taylor]: Taking taylor expansion of (- d2 d3) in d4 6.130 * [taylor]: Taking taylor expansion of d2 in d4 6.130 * [taylor]: Taking taylor expansion of d3 in d4 6.130 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 6.130 * [taylor]: Taking taylor expansion of d1 in d4 6.130 * [taylor]: Taking taylor expansion of d4 in d4 6.131 * [taylor]: Taking taylor expansion of (pow d1 2) in d4 6.131 * [taylor]: Taking taylor expansion of d1 in d4 6.131 * [taylor]: Taking taylor expansion of (- (fma d1 (- d2 d3) (* d1 d4)) (pow d1 2)) in d3 6.131 * [taylor]: Taking taylor expansion of (fma d1 (- d2 d3) (* d1 d4)) in d3 6.131 * [taylor]: Rewrote expression to (+ (* d1 (- d2 d3)) (* d1 d4)) 6.131 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d3 6.131 * [taylor]: Taking taylor expansion of d1 in d3 6.131 * [taylor]: Taking taylor expansion of (- d2 d3) in d3 6.131 * [taylor]: Taking taylor expansion of d2 in d3 6.131 * [taylor]: Taking taylor expansion of d3 in d3 6.131 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 6.131 * [taylor]: Taking taylor expansion of d1 in d3 6.131 * [taylor]: Taking taylor expansion of d4 in d3 6.131 * [taylor]: Taking taylor expansion of (pow d1 2) in d3 6.131 * [taylor]: Taking taylor expansion of d1 in d3 6.131 * [taylor]: Taking taylor expansion of (- (fma d1 (- d2 d3) (* d1 d4)) (pow d1 2)) in d2 6.131 * [taylor]: Taking taylor expansion of (fma d1 (- d2 d3) (* d1 d4)) in d2 6.131 * [taylor]: Rewrote expression to (+ (* d1 (- d2 d3)) (* d1 d4)) 6.131 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d2 6.131 * [taylor]: Taking taylor expansion of d1 in d2 6.131 * [taylor]: Taking taylor expansion of (- d2 d3) in d2 6.131 * [taylor]: Taking taylor expansion of d2 in d2 6.131 * [taylor]: Taking taylor expansion of d3 in d2 6.131 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 6.131 * [taylor]: Taking taylor expansion of d1 in d2 6.131 * [taylor]: Taking taylor expansion of d4 in d2 6.131 * [taylor]: Taking taylor expansion of (pow d1 2) in d2 6.131 * [taylor]: Taking taylor expansion of d1 in d2 6.131 * [taylor]: Taking taylor expansion of (- (fma d1 (- d2 d3) (* d1 d4)) (pow d1 2)) in d1 6.131 * [taylor]: Taking taylor expansion of (fma d1 (- d2 d3) (* d1 d4)) in d1 6.131 * [taylor]: Rewrote expression to (+ (* d1 (- d2 d3)) (* d1 d4)) 6.131 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d1 6.131 * [taylor]: Taking taylor expansion of d1 in d1 6.131 * [taylor]: Taking taylor expansion of (- d2 d3) in d1 6.131 * [taylor]: Taking taylor expansion of d2 in d1 6.131 * [taylor]: Taking taylor expansion of d3 in d1 6.131 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 6.131 * [taylor]: Taking taylor expansion of d1 in d1 6.131 * [taylor]: Taking taylor expansion of d4 in d1 6.131 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 6.131 * [taylor]: Taking taylor expansion of d1 in d1 6.131 * [taylor]: Taking taylor expansion of (- (fma d1 (- d2 d3) (* d1 d4)) (pow d1 2)) in d1 6.131 * [taylor]: Taking taylor expansion of (fma d1 (- d2 d3) (* d1 d4)) in d1 6.131 * [taylor]: Rewrote expression to (+ (* d1 (- d2 d3)) (* d1 d4)) 6.132 * [taylor]: Taking taylor expansion of (* d1 (- d2 d3)) in d1 6.132 * [taylor]: Taking taylor expansion of d1 in d1 6.132 * [taylor]: Taking taylor expansion of (- d2 d3) in d1 6.132 * [taylor]: Taking taylor expansion of d2 in d1 6.132 * [taylor]: Taking taylor expansion of d3 in d1 6.132 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 6.132 * [taylor]: Taking taylor expansion of d1 in d1 6.132 * [taylor]: Taking taylor expansion of d4 in d1 6.132 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 6.132 * [taylor]: Taking taylor expansion of d1 in d1 6.132 * [taylor]: Taking taylor expansion of 0 in d2 6.132 * [taylor]: Taking taylor expansion of 0 in d3 6.132 * [taylor]: Taking taylor expansion of 0 in d4 6.133 * [taylor]: Taking taylor expansion of (- (+ d2 d4) d3) in d2 6.133 * [taylor]: Taking taylor expansion of (+ d2 d4) in d2 6.133 * [taylor]: Taking taylor expansion of d2 in d2 6.133 * [taylor]: Taking taylor expansion of d4 in d2 6.133 * [taylor]: Taking taylor expansion of d3 in d2 6.134 * [taylor]: Taking taylor expansion of (- d4 d3) in d3 6.134 * [taylor]: Taking taylor expansion of d4 in d3 6.134 * [taylor]: Taking taylor expansion of d3 in d3 6.134 * [taylor]: Taking taylor expansion of d4 in d4 6.134 * [taylor]: Taking taylor expansion of 0 in d3 6.134 * [taylor]: Taking taylor expansion of 0 in d4 6.134 * [taylor]: Taking taylor expansion of 0 in d4 6.137 * [taylor]: Taking taylor expansion of -1 in d2 6.137 * [taylor]: Taking taylor expansion of -1 in d3 6.137 * [taylor]: Taking taylor expansion of -1 in d4 6.137 * [taylor]: Taking taylor expansion of 1 in d3 6.137 * [taylor]: Taking taylor expansion of 1 in d4 6.137 * [taylor]: Taking taylor expansion of 0 in d3 6.138 * [taylor]: Taking taylor expansion of 0 in d4 6.138 * [taylor]: Taking taylor expansion of -1 in d4 6.139 * [approximate]: Taking taylor expansion of (- (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ 1 (* d1 d4))) (/ 1 (pow d1 2))) in (d1 d2 d3 d4) around 0 6.139 * [taylor]: Taking taylor expansion of (- (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ 1 (* d1 d4))) (/ 1 (pow d1 2))) in d4 6.139 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ 1 (* d1 d4))) in d4 6.139 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) (/ 1 (* d1 d4))) 6.139 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) in d4 6.139 * [taylor]: Taking taylor expansion of (/ 1 d1) in d4 6.139 * [taylor]: Taking taylor expansion of d1 in d4 6.139 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d4 6.139 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4 6.139 * [taylor]: Taking taylor expansion of d2 in d4 6.139 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4 6.139 * [taylor]: Taking taylor expansion of d3 in d4 6.139 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d4 6.139 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 6.139 * [taylor]: Taking taylor expansion of d1 in d4 6.139 * [taylor]: Taking taylor expansion of d4 in d4 6.139 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d4 6.139 * [taylor]: Taking taylor expansion of (pow d1 2) in d4 6.139 * [taylor]: Taking taylor expansion of d1 in d4 6.140 * [taylor]: Taking taylor expansion of (- (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ 1 (* d1 d4))) (/ 1 (pow d1 2))) in d3 6.140 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ 1 (* d1 d4))) in d3 6.140 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) (/ 1 (* d1 d4))) 6.140 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) in d3 6.140 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 6.140 * [taylor]: Taking taylor expansion of d1 in d3 6.140 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d3 6.140 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 6.140 * [taylor]: Taking taylor expansion of d2 in d3 6.140 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 6.140 * [taylor]: Taking taylor expansion of d3 in d3 6.140 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d3 6.140 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 6.140 * [taylor]: Taking taylor expansion of d1 in d3 6.140 * [taylor]: Taking taylor expansion of d4 in d3 6.140 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d3 6.140 * [taylor]: Taking taylor expansion of (pow d1 2) in d3 6.140 * [taylor]: Taking taylor expansion of d1 in d3 6.140 * [taylor]: Taking taylor expansion of (- (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ 1 (* d1 d4))) (/ 1 (pow d1 2))) in d2 6.140 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ 1 (* d1 d4))) in d2 6.140 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) (/ 1 (* d1 d4))) 6.140 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) in d2 6.141 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 6.141 * [taylor]: Taking taylor expansion of d1 in d2 6.141 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d2 6.141 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 6.141 * [taylor]: Taking taylor expansion of d2 in d2 6.141 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 6.141 * [taylor]: Taking taylor expansion of d3 in d2 6.141 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d2 6.141 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 6.141 * [taylor]: Taking taylor expansion of d1 in d2 6.141 * [taylor]: Taking taylor expansion of d4 in d2 6.141 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d2 6.141 * [taylor]: Taking taylor expansion of (pow d1 2) in d2 6.141 * [taylor]: Taking taylor expansion of d1 in d2 6.141 * [taylor]: Taking taylor expansion of (- (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ 1 (* d1 d4))) (/ 1 (pow d1 2))) in d1 6.141 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ 1 (* d1 d4))) in d1 6.141 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) (/ 1 (* d1 d4))) 6.141 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) in d1 6.141 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 6.141 * [taylor]: Taking taylor expansion of d1 in d1 6.142 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d1 6.142 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 6.142 * [taylor]: Taking taylor expansion of d2 in d1 6.142 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 6.142 * [taylor]: Taking taylor expansion of d3 in d1 6.142 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 6.142 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 6.142 * [taylor]: Taking taylor expansion of d1 in d1 6.142 * [taylor]: Taking taylor expansion of d4 in d1 6.142 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 6.142 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 6.142 * [taylor]: Taking taylor expansion of d1 in d1 6.143 * [taylor]: Taking taylor expansion of (- (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ 1 (* d1 d4))) (/ 1 (pow d1 2))) in d1 6.143 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (- (/ 1 d2) (/ 1 d3)) (/ 1 (* d1 d4))) in d1 6.143 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) (/ 1 (* d1 d4))) 6.143 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (- (/ 1 d2) (/ 1 d3))) in d1 6.143 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 6.143 * [taylor]: Taking taylor expansion of d1 in d1 6.143 * [taylor]: Taking taylor expansion of (- (/ 1 d2) (/ 1 d3)) in d1 6.143 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 6.143 * [taylor]: Taking taylor expansion of d2 in d1 6.143 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 6.143 * [taylor]: Taking taylor expansion of d3 in d1 6.143 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 6.143 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 6.143 * [taylor]: Taking taylor expansion of d1 in d1 6.143 * [taylor]: Taking taylor expansion of d4 in d1 6.144 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 6.144 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 6.144 * [taylor]: Taking taylor expansion of d1 in d1 6.145 * [taylor]: Taking taylor expansion of -1 in d2 6.146 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 6.146 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 6.146 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 6.146 * [taylor]: Taking taylor expansion of d2 in d2 6.146 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 6.146 * [taylor]: Taking taylor expansion of d4 in d2 6.147 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 6.147 * [taylor]: Taking taylor expansion of d3 in d2 6.147 * [taylor]: Taking taylor expansion of 1 in d3 6.147 * [taylor]: Taking taylor expansion of -1 in d3 6.151 * [taylor]: Taking taylor expansion of 0 in d2 6.151 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 6.151 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 6.151 * [taylor]: Taking taylor expansion of d4 in d3 6.152 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 6.152 * [taylor]: Taking taylor expansion of d3 in d3 6.152 * [taylor]: Taking taylor expansion of -1 in d4 6.152 * [taylor]: Taking taylor expansion of 0 in d3 6.152 * [taylor]: Taking taylor expansion of 1 in d4 6.152 * [taylor]: Taking taylor expansion of -1 in d4 6.157 * [taylor]: Taking taylor expansion of 0 in d2 6.157 * [taylor]: Taking taylor expansion of 0 in d3 6.161 * [taylor]: Taking taylor expansion of 0 in d3 6.161 * [taylor]: Taking taylor expansion of 0 in d3 6.162 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 6.162 * [taylor]: Taking taylor expansion of d4 in d4 6.162 * [taylor]: Taking taylor expansion of 0 in d4 6.162 * [taylor]: Taking taylor expansion of 0 in d4 6.162 * [taylor]: Taking taylor expansion of 0 in d4 6.163 * [approximate]: Taking taylor expansion of (- (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (/ 1 (* d1 d4))) (/ 1 (pow d1 2))) in (d1 d2 d3 d4) around 0 6.163 * [taylor]: Taking taylor expansion of (- (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (/ 1 (* d1 d4))) (/ 1 (pow d1 2))) in d4 6.163 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (/ 1 (* d1 d4))) in d4 6.163 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) (/ 1 (* d1 d4))) 6.163 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) in d4 6.163 * [taylor]: Taking taylor expansion of (/ -1 d1) in d4 6.163 * [taylor]: Taking taylor expansion of -1 in d4 6.163 * [taylor]: Taking taylor expansion of d1 in d4 6.163 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d4 6.163 * [taylor]: Taking taylor expansion of (/ 1 d3) in d4 6.163 * [taylor]: Taking taylor expansion of d3 in d4 6.163 * [taylor]: Taking taylor expansion of (/ 1 d2) in d4 6.163 * [taylor]: Taking taylor expansion of d2 in d4 6.163 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d4 6.163 * [taylor]: Taking taylor expansion of (* d1 d4) in d4 6.163 * [taylor]: Taking taylor expansion of d1 in d4 6.163 * [taylor]: Taking taylor expansion of d4 in d4 6.163 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d4 6.164 * [taylor]: Taking taylor expansion of (pow d1 2) in d4 6.164 * [taylor]: Taking taylor expansion of d1 in d4 6.164 * [taylor]: Taking taylor expansion of (- (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (/ 1 (* d1 d4))) (/ 1 (pow d1 2))) in d3 6.164 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (/ 1 (* d1 d4))) in d3 6.164 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) (/ 1 (* d1 d4))) 6.164 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) in d3 6.164 * [taylor]: Taking taylor expansion of (/ -1 d1) in d3 6.164 * [taylor]: Taking taylor expansion of -1 in d3 6.164 * [taylor]: Taking taylor expansion of d1 in d3 6.164 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d3 6.164 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 6.164 * [taylor]: Taking taylor expansion of d3 in d3 6.164 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 6.164 * [taylor]: Taking taylor expansion of d2 in d3 6.164 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d3 6.164 * [taylor]: Taking taylor expansion of (* d1 d4) in d3 6.164 * [taylor]: Taking taylor expansion of d1 in d3 6.164 * [taylor]: Taking taylor expansion of d4 in d3 6.164 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d3 6.164 * [taylor]: Taking taylor expansion of (pow d1 2) in d3 6.164 * [taylor]: Taking taylor expansion of d1 in d3 6.164 * [taylor]: Taking taylor expansion of (- (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (/ 1 (* d1 d4))) (/ 1 (pow d1 2))) in d2 6.165 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (/ 1 (* d1 d4))) in d2 6.165 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) (/ 1 (* d1 d4))) 6.165 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) in d2 6.165 * [taylor]: Taking taylor expansion of (/ -1 d1) in d2 6.165 * [taylor]: Taking taylor expansion of -1 in d2 6.165 * [taylor]: Taking taylor expansion of d1 in d2 6.165 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d2 6.165 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 6.165 * [taylor]: Taking taylor expansion of d3 in d2 6.165 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 6.165 * [taylor]: Taking taylor expansion of d2 in d2 6.165 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d2 6.165 * [taylor]: Taking taylor expansion of (* d1 d4) in d2 6.165 * [taylor]: Taking taylor expansion of d1 in d2 6.165 * [taylor]: Taking taylor expansion of d4 in d2 6.165 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d2 6.165 * [taylor]: Taking taylor expansion of (pow d1 2) in d2 6.165 * [taylor]: Taking taylor expansion of d1 in d2 6.166 * [taylor]: Taking taylor expansion of (- (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (/ 1 (* d1 d4))) (/ 1 (pow d1 2))) in d1 6.166 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (/ 1 (* d1 d4))) in d1 6.166 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) (/ 1 (* d1 d4))) 6.166 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) in d1 6.166 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1 6.166 * [taylor]: Taking taylor expansion of -1 in d1 6.166 * [taylor]: Taking taylor expansion of d1 in d1 6.166 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d1 6.166 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 6.166 * [taylor]: Taking taylor expansion of d3 in d1 6.166 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 6.166 * [taylor]: Taking taylor expansion of d2 in d1 6.166 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 6.166 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 6.166 * [taylor]: Taking taylor expansion of d1 in d1 6.166 * [taylor]: Taking taylor expansion of d4 in d1 6.167 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 6.167 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 6.167 * [taylor]: Taking taylor expansion of d1 in d1 6.167 * [taylor]: Taking taylor expansion of (- (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (/ 1 (* d1 d4))) (/ 1 (pow d1 2))) in d1 6.167 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- (/ 1 d3) (/ 1 d2)) (/ 1 (* d1 d4))) in d1 6.167 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) (/ 1 (* d1 d4))) 6.167 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- (/ 1 d3) (/ 1 d2))) in d1 6.167 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1 6.167 * [taylor]: Taking taylor expansion of -1 in d1 6.167 * [taylor]: Taking taylor expansion of d1 in d1 6.168 * [taylor]: Taking taylor expansion of (- (/ 1 d3) (/ 1 d2)) in d1 6.168 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 6.168 * [taylor]: Taking taylor expansion of d3 in d1 6.168 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 6.168 * [taylor]: Taking taylor expansion of d2 in d1 6.168 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d4)) in d1 6.168 * [taylor]: Taking taylor expansion of (* d1 d4) in d1 6.168 * [taylor]: Taking taylor expansion of d1 in d1 6.168 * [taylor]: Taking taylor expansion of d4 in d1 6.168 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1 6.168 * [taylor]: Taking taylor expansion of (pow d1 2) in d1 6.168 * [taylor]: Taking taylor expansion of d1 in d1 6.169 * [taylor]: Taking taylor expansion of -1 in d2 6.171 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d4)) (/ 1 d3)) in d2 6.171 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d4)) in d2 6.171 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 6.171 * [taylor]: Taking taylor expansion of d2 in d2 6.171 * [taylor]: Taking taylor expansion of (/ 1 d4) in d2 6.171 * [taylor]: Taking taylor expansion of d4 in d2 6.171 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 6.171 * [taylor]: Taking taylor expansion of d3 in d2 6.172 * [taylor]: Taking taylor expansion of 1 in d3 6.172 * [taylor]: Taking taylor expansion of -1 in d3 6.175 * [taylor]: Taking taylor expansion of 0 in d2 6.176 * [taylor]: Taking taylor expansion of (- (/ 1 d4) (/ 1 d3)) in d3 6.176 * [taylor]: Taking taylor expansion of (/ 1 d4) in d3 6.176 * [taylor]: Taking taylor expansion of d4 in d3 6.176 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 6.176 * [taylor]: Taking taylor expansion of d3 in d3 6.177 * [taylor]: Taking taylor expansion of -1 in d4 6.177 * [taylor]: Taking taylor expansion of 0 in d3 6.177 * [taylor]: Taking taylor expansion of 1 in d4 6.177 * [taylor]: Taking taylor expansion of -1 in d4 6.181 * [taylor]: Taking taylor expansion of 0 in d2 6.181 * [taylor]: Taking taylor expansion of 0 in d3 6.182 * [taylor]: Taking taylor expansion of 0 in d3 6.183 * [taylor]: Taking taylor expansion of 0 in d3 6.183 * [taylor]: Taking taylor expansion of (/ 1 d4) in d4 6.183 * [taylor]: Taking taylor expansion of d4 in d4 6.184 * [taylor]: Taking taylor expansion of 0 in d4 6.184 * [taylor]: Taking taylor expansion of 0 in d4 6.184 * [taylor]: Taking taylor expansion of 0 in d4 6.184 * * * [progress]: simplifying candidates 6.185 * [simplify]: Simplifying using # : (expm1 (fma d1 (- d2 d3) (* d4 d1))) (log1p (fma d1 (- d2 d3) (* d4 d1))) (* d1 (- d2 d3)) (log (fma d1 (- d2 d3) (* d4 d1))) (exp (fma d1 (- d2 d3) (* d4 d1))) (* (cbrt (fma d1 (- d2 d3) (* d4 d1))) (cbrt (fma d1 (- d2 d3) (* d4 d1)))) (cbrt (fma d1 (- d2 d3) (* d4 d1))) (* (* (fma d1 (- d2 d3) (* d4 d1)) (fma d1 (- d2 d3) (* d4 d1))) (fma d1 (- d2 d3) (* d4 d1))) (sqrt (fma d1 (- d2 d3) (* d4 d1))) (sqrt (fma d1 (- d2 d3) (* d4 d1))) (fma (* (cbrt (fma d1 (- d2 d3) (* d4 d1))) (cbrt (fma d1 (- d2 d3) (* d4 d1)))) (cbrt (fma d1 (- d2 d3) (* d4 d1))) (- (* d1 d1))) (fma (- d1) d1 (* d1 d1)) (fma (sqrt (fma d1 (- d2 d3) (* d4 d1))) (sqrt (fma d1 (- d2 d3) (* d4 d1))) (- (* d1 d1))) (fma (- d1) d1 (* d1 d1)) (fma 1 (fma d1 (- d2 d3) (* d4 d1)) (- (* d1 d1))) (fma (- d1) d1 (* d1 d1)) (expm1 (- (fma d1 (- d2 d3) (* d4 d1)) (* d1 d1))) (log1p (- (fma d1 (- d2 d3) (* d4 d1)) (* d1 d1))) (- (* d1 d1)) (- (* d1 d1)) (- (* d1 d1)) (/ (exp (fma d1 (- d2 d3) (* d4 d1))) (exp (* d1 d1))) (log (- (fma d1 (- d2 d3) (* d4 d1)) (* d1 d1))) (exp (- (fma d1 (- d2 d3) (* d4 d1)) (* d1 d1))) (* (cbrt (- (fma d1 (- d2 d3) (* d4 d1)) (* d1 d1))) (cbrt (- (fma d1 (- d2 d3) (* d4 d1)) (* d1 d1)))) (cbrt (- (fma d1 (- d2 d3) (* d4 d1)) (* d1 d1))) (* (* (- (fma d1 (- d2 d3) (* d4 d1)) (* d1 d1)) (- (fma d1 (- d2 d3) (* d4 d1)) (* d1 d1))) (- (fma d1 (- d2 d3) (* d4 d1)) (* d1 d1))) (sqrt (- (fma d1 (- d2 d3) (* d4 d1)) (* d1 d1))) (sqrt (- (fma d1 (- d2 d3) (* d4 d1)) (* d1 d1))) (- (pow (fma d1 (- d2 d3) (* d4 d1)) 3) (pow (* d1 d1) 3)) (+ (* (fma d1 (- d2 d3) (* d4 d1)) (fma d1 (- d2 d3) (* d4 d1))) (+ (* (* d1 d1) (* d1 d1)) (* (fma d1 (- d2 d3) (* d4 d1)) (* d1 d1)))) (- (* d1 d1)) (- (* (fma d1 (- d2 d3) (* d4 d1)) (fma d1 (- d2 d3) (* d4 d1))) (* (* d1 d1) (* d1 d1))) (+ (fma d1 (- d2 d3) (* d4 d1)) (* d1 d1)) (+ (sqrt (fma d1 (- d2 d3) (* d4 d1))) d1) (- (sqrt (fma d1 (- d2 d3) (* d4 d1))) d1) (- (* d4 d1) (* d1 d1)) (- (* d1 d1)) 0 (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) (- (* d1 d2) (+ (pow d1 2) (* d1 d3))) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) (- (+ (* d1 d4) (* d1 d2)) (* d1 d3)) 6.187 * * [simplify]: iteration 0 : 60 enodes (cost 570 ) 6.196 * * [simplify]: iteration 1 : 136 enodes (cost 538 ) 6.220 * * [simplify]: iteration 2 : 412 enodes (cost 445 )