31.091 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.319 * * * [progress]: [2/2] Setting up program. 0.322 * [progress]: [Phase 2 of 3] Improving. 0.322 * [simplify]: Simplifying using # : (+ x (* (* (- y x) 6.0) z)) 0.324 * * [simplify]: iteration 0 : 15 enodes (cost 4 ) 0.325 * * [simplify]: iteration 1 : 29 enodes (cost 4 ) 0.327 * * [simplify]: iteration 2 : 65 enodes (cost 4 ) 0.328 * * [simplify]: iteration 3 : 128 enodes (cost 4 ) 0.330 * * [simplify]: iteration 4 : 174 enodes (cost 4 ) 0.332 * * [simplify]: iteration 5 : 189 enodes (cost 4 ) 0.334 * * [simplify]: iteration 6 : 206 enodes (cost 4 ) 0.337 * * [simplify]: iteration 7 : 255 enodes (cost 4 ) 0.340 * * [simplify]: iteration 8 : 350 enodes (cost 4 ) 0.346 * * [simplify]: iteration 9 : 625 enodes (cost 4 ) 0.354 * * [simplify]: iteration 10 : 1352 enodes (cost 4 ) 0.368 * * [simplify]: iteration 11 : 1831 enodes (cost 4 ) 0.389 * * [simplify]: iteration 12 : 2618 enodes (cost 4 ) 0.416 * * [simplify]: iteration 13 : 3748 enodes (cost 4 ) 0.458 * * [simplify]: iteration 14 : 5001 enodes (cost 4 ) 0.458 * [simplify]: Simplified to: (+ x (* (* (- y x) 6.0) z)) 0.458 * * [progress]: iteration 1 / 4 0.459 * * * [progress]: picking best candidate 0.461 * * * * [pick]: Picked # 0.461 * * * [progress]: localizing error 0.468 * * * [progress]: generating rewritten candidates 0.468 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.474 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 0.480 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.484 * * * [progress]: generating series expansions 0.484 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.484 * [approximate]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in (y x z) around 0 0.484 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in z 0.484 * [taylor]: Taking taylor expansion of 6.0 in z 0.484 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 0.484 * [taylor]: Taking taylor expansion of (- y x) in z 0.484 * [taylor]: Taking taylor expansion of y in z 0.484 * [taylor]: Taking taylor expansion of x in z 0.484 * [taylor]: Taking taylor expansion of z in z 0.484 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in x 0.484 * [taylor]: Taking taylor expansion of 6.0 in x 0.484 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 0.484 * [taylor]: Taking taylor expansion of (- y x) in x 0.484 * [taylor]: Taking taylor expansion of y in x 0.484 * [taylor]: Taking taylor expansion of x in x 0.484 * [taylor]: Taking taylor expansion of z in x 0.484 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y 0.484 * [taylor]: Taking taylor expansion of 6.0 in y 0.484 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 0.484 * [taylor]: Taking taylor expansion of (- y x) in y 0.485 * [taylor]: Taking taylor expansion of y in y 0.485 * [taylor]: Taking taylor expansion of x in y 0.485 * [taylor]: Taking taylor expansion of z in y 0.485 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y 0.485 * [taylor]: Taking taylor expansion of 6.0 in y 0.485 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 0.485 * [taylor]: Taking taylor expansion of (- y x) in y 0.485 * [taylor]: Taking taylor expansion of y in y 0.485 * [taylor]: Taking taylor expansion of x in y 0.485 * [taylor]: Taking taylor expansion of z in y 0.485 * [taylor]: Taking taylor expansion of (* -6.0 (* x z)) in x 0.485 * [taylor]: Taking taylor expansion of -6.0 in x 0.485 * [taylor]: Taking taylor expansion of (* x z) in x 0.485 * [taylor]: Taking taylor expansion of x in x 0.485 * [taylor]: Taking taylor expansion of z in x 0.485 * [taylor]: Taking taylor expansion of 0 in z 0.485 * [taylor]: Taking taylor expansion of (* 6.0 z) in x 0.485 * [taylor]: Taking taylor expansion of 6.0 in x 0.485 * [taylor]: Taking taylor expansion of z in x 0.485 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 0.485 * [taylor]: Taking taylor expansion of 6.0 in z 0.485 * [taylor]: Taking taylor expansion of z in z 0.485 * [taylor]: Taking taylor expansion of (neg (* 6.0 z)) in z 0.485 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 0.485 * [taylor]: Taking taylor expansion of 6.0 in z 0.485 * [taylor]: Taking taylor expansion of z in z 0.485 * [taylor]: Taking taylor expansion of 0 in x 0.485 * [taylor]: Taking taylor expansion of 0 in z 0.486 * [taylor]: Taking taylor expansion of 0 in z 0.486 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in (y x z) around 0 0.486 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z 0.486 * [taylor]: Taking taylor expansion of 6.0 in z 0.486 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 0.486 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 0.486 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.486 * [taylor]: Taking taylor expansion of y in z 0.486 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.486 * [taylor]: Taking taylor expansion of x in z 0.486 * [taylor]: Taking taylor expansion of z in z 0.486 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x 0.486 * [taylor]: Taking taylor expansion of 6.0 in x 0.486 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x 0.486 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.486 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.486 * [taylor]: Taking taylor expansion of y in x 0.486 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.486 * [taylor]: Taking taylor expansion of x in x 0.486 * [taylor]: Taking taylor expansion of z in x 0.486 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 0.486 * [taylor]: Taking taylor expansion of 6.0 in y 0.486 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 0.486 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.486 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.486 * [taylor]: Taking taylor expansion of y in y 0.486 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.486 * [taylor]: Taking taylor expansion of x in y 0.486 * [taylor]: Taking taylor expansion of z in y 0.486 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 0.486 * [taylor]: Taking taylor expansion of 6.0 in y 0.486 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 0.486 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.486 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.486 * [taylor]: Taking taylor expansion of y in y 0.487 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.487 * [taylor]: Taking taylor expansion of x in y 0.487 * [taylor]: Taking taylor expansion of z in y 0.487 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 0.487 * [taylor]: Taking taylor expansion of 6.0 in x 0.487 * [taylor]: Taking taylor expansion of z in x 0.487 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 (* x z)))) in x 0.487 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 0.487 * [taylor]: Taking taylor expansion of 6.0 in x 0.487 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.487 * [taylor]: Taking taylor expansion of (* x z) in x 0.487 * [taylor]: Taking taylor expansion of x in x 0.487 * [taylor]: Taking taylor expansion of z in x 0.487 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 z))) in z 0.487 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 0.487 * [taylor]: Taking taylor expansion of 6.0 in z 0.487 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.487 * [taylor]: Taking taylor expansion of z in z 0.487 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 0.487 * [taylor]: Taking taylor expansion of 6.0 in z 0.487 * [taylor]: Taking taylor expansion of z in z 0.488 * [taylor]: Taking taylor expansion of 0 in x 0.488 * [taylor]: Taking taylor expansion of 0 in z 0.488 * [taylor]: Taking taylor expansion of 0 in z 0.488 * [taylor]: Taking taylor expansion of 0 in x 0.488 * [taylor]: Taking taylor expansion of 0 in z 0.488 * [taylor]: Taking taylor expansion of 0 in z 0.488 * [taylor]: Taking taylor expansion of 0 in z 0.489 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0 0.489 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in z 0.489 * [taylor]: Taking taylor expansion of -6.0 in z 0.489 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z 0.489 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 0.489 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.489 * [taylor]: Taking taylor expansion of x in z 0.489 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.489 * [taylor]: Taking taylor expansion of y in z 0.489 * [taylor]: Taking taylor expansion of z in z 0.489 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in x 0.489 * [taylor]: Taking taylor expansion of -6.0 in x 0.489 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x 0.489 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.489 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.489 * [taylor]: Taking taylor expansion of x in x 0.489 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.489 * [taylor]: Taking taylor expansion of y in x 0.489 * [taylor]: Taking taylor expansion of z in x 0.489 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y 0.489 * [taylor]: Taking taylor expansion of -6.0 in y 0.489 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 0.489 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.489 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.489 * [taylor]: Taking taylor expansion of x in y 0.489 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.490 * [taylor]: Taking taylor expansion of y in y 0.490 * [taylor]: Taking taylor expansion of z in y 0.490 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y 0.490 * [taylor]: Taking taylor expansion of -6.0 in y 0.490 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 0.490 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.490 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.490 * [taylor]: Taking taylor expansion of x in y 0.490 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.490 * [taylor]: Taking taylor expansion of y in y 0.490 * [taylor]: Taking taylor expansion of z in y 0.490 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 0.490 * [taylor]: Taking taylor expansion of 6.0 in x 0.490 * [taylor]: Taking taylor expansion of z in x 0.490 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 (* x z)))) in x 0.490 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 0.490 * [taylor]: Taking taylor expansion of 6.0 in x 0.490 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.490 * [taylor]: Taking taylor expansion of (* x z) in x 0.490 * [taylor]: Taking taylor expansion of x in x 0.490 * [taylor]: Taking taylor expansion of z in x 0.490 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 z))) in z 0.490 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 0.490 * [taylor]: Taking taylor expansion of 6.0 in z 0.490 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.490 * [taylor]: Taking taylor expansion of z in z 0.490 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 0.490 * [taylor]: Taking taylor expansion of 6.0 in z 0.491 * [taylor]: Taking taylor expansion of z in z 0.491 * [taylor]: Taking taylor expansion of 0 in x 0.491 * [taylor]: Taking taylor expansion of 0 in z 0.491 * [taylor]: Taking taylor expansion of 0 in z 0.491 * [taylor]: Taking taylor expansion of 0 in x 0.491 * [taylor]: Taking taylor expansion of 0 in z 0.492 * [taylor]: Taking taylor expansion of 0 in z 0.492 * [taylor]: Taking taylor expansion of 0 in z 0.492 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 0.492 * [approximate]: Taking taylor expansion of (* 6.0 (- y x)) in (y x) around 0 0.492 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in x 0.492 * [taylor]: Taking taylor expansion of 6.0 in x 0.492 * [taylor]: Taking taylor expansion of (- y x) in x 0.492 * [taylor]: Taking taylor expansion of y in x 0.492 * [taylor]: Taking taylor expansion of x in x 0.492 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y 0.492 * [taylor]: Taking taylor expansion of 6.0 in y 0.492 * [taylor]: Taking taylor expansion of (- y x) in y 0.492 * [taylor]: Taking taylor expansion of y in y 0.492 * [taylor]: Taking taylor expansion of x in y 0.492 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y 0.492 * [taylor]: Taking taylor expansion of 6.0 in y 0.492 * [taylor]: Taking taylor expansion of (- y x) in y 0.492 * [taylor]: Taking taylor expansion of y in y 0.492 * [taylor]: Taking taylor expansion of x in y 0.492 * [taylor]: Taking taylor expansion of (* -6.0 x) in x 0.492 * [taylor]: Taking taylor expansion of -6.0 in x 0.492 * [taylor]: Taking taylor expansion of x in x 0.492 * [taylor]: Taking taylor expansion of 6.0 in x 0.493 * [taylor]: Taking taylor expansion of 0 in x 0.493 * [taylor]: Taking taylor expansion of 0 in x 0.493 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in (y x) around 0 0.493 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in x 0.493 * [taylor]: Taking taylor expansion of 6.0 in x 0.493 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.493 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.493 * [taylor]: Taking taylor expansion of y in x 0.493 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.493 * [taylor]: Taking taylor expansion of x in x 0.493 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y 0.493 * [taylor]: Taking taylor expansion of 6.0 in y 0.493 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.493 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.493 * [taylor]: Taking taylor expansion of y in y 0.493 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.493 * [taylor]: Taking taylor expansion of x in y 0.493 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y 0.493 * [taylor]: Taking taylor expansion of 6.0 in y 0.493 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.493 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.493 * [taylor]: Taking taylor expansion of y in y 0.493 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.493 * [taylor]: Taking taylor expansion of x in y 0.493 * [taylor]: Taking taylor expansion of 6.0 in x 0.493 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 x))) in x 0.493 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x 0.493 * [taylor]: Taking taylor expansion of 6.0 in x 0.493 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.493 * [taylor]: Taking taylor expansion of x in x 0.494 * [taylor]: Taking taylor expansion of 0 in x 0.494 * [taylor]: Taking taylor expansion of 0 in x 0.494 * [taylor]: Taking taylor expansion of 0 in x 0.494 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in (y x) around 0 0.494 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in x 0.495 * [taylor]: Taking taylor expansion of 6.0 in x 0.495 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.495 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.495 * [taylor]: Taking taylor expansion of x in x 0.495 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.495 * [taylor]: Taking taylor expansion of y in x 0.495 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y 0.495 * [taylor]: Taking taylor expansion of 6.0 in y 0.495 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.495 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.495 * [taylor]: Taking taylor expansion of x in y 0.495 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.495 * [taylor]: Taking taylor expansion of y in y 0.495 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y 0.495 * [taylor]: Taking taylor expansion of 6.0 in y 0.495 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.495 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.495 * [taylor]: Taking taylor expansion of x in y 0.495 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.495 * [taylor]: Taking taylor expansion of y in y 0.495 * [taylor]: Taking taylor expansion of -6.0 in x 0.495 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x 0.495 * [taylor]: Taking taylor expansion of 6.0 in x 0.495 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.495 * [taylor]: Taking taylor expansion of x in x 0.495 * [taylor]: Taking taylor expansion of 0 in x 0.496 * [taylor]: Taking taylor expansion of 0 in x 0.496 * [taylor]: Taking taylor expansion of 0 in x 0.496 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.496 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in (x y z) around 0 0.496 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in z 0.496 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in z 0.496 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in z 0.496 * [taylor]: Taking taylor expansion of 6.0 in z 0.496 * [taylor]: Taking taylor expansion of (* z y) in z 0.496 * [taylor]: Taking taylor expansion of z in z 0.496 * [taylor]: Taking taylor expansion of y in z 0.496 * [taylor]: Taking taylor expansion of x in z 0.496 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in z 0.496 * [taylor]: Taking taylor expansion of 6.0 in z 0.496 * [taylor]: Taking taylor expansion of (* x z) in z 0.496 * [taylor]: Taking taylor expansion of x in z 0.496 * [taylor]: Taking taylor expansion of z in z 0.496 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in y 0.496 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in y 0.496 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 0.496 * [taylor]: Taking taylor expansion of 6.0 in y 0.496 * [taylor]: Taking taylor expansion of (* z y) in y 0.496 * [taylor]: Taking taylor expansion of z in y 0.496 * [taylor]: Taking taylor expansion of y in y 0.496 * [taylor]: Taking taylor expansion of x in y 0.496 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y 0.496 * [taylor]: Taking taylor expansion of 6.0 in y 0.497 * [taylor]: Taking taylor expansion of (* x z) in y 0.497 * [taylor]: Taking taylor expansion of x in y 0.497 * [taylor]: Taking taylor expansion of z in y 0.497 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in x 0.497 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in x 0.497 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 0.497 * [taylor]: Taking taylor expansion of 6.0 in x 0.497 * [taylor]: Taking taylor expansion of (* z y) in x 0.497 * [taylor]: Taking taylor expansion of z in x 0.497 * [taylor]: Taking taylor expansion of y in x 0.497 * [taylor]: Taking taylor expansion of x in x 0.497 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 0.497 * [taylor]: Taking taylor expansion of 6.0 in x 0.497 * [taylor]: Taking taylor expansion of (* x z) in x 0.497 * [taylor]: Taking taylor expansion of x in x 0.497 * [taylor]: Taking taylor expansion of z in x 0.497 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in x 0.497 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in x 0.497 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 0.497 * [taylor]: Taking taylor expansion of 6.0 in x 0.497 * [taylor]: Taking taylor expansion of (* z y) in x 0.497 * [taylor]: Taking taylor expansion of z in x 0.497 * [taylor]: Taking taylor expansion of y in x 0.497 * [taylor]: Taking taylor expansion of x in x 0.497 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 0.497 * [taylor]: Taking taylor expansion of 6.0 in x 0.497 * [taylor]: Taking taylor expansion of (* x z) in x 0.497 * [taylor]: Taking taylor expansion of x in x 0.497 * [taylor]: Taking taylor expansion of z in x 0.497 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 0.497 * [taylor]: Taking taylor expansion of 6.0 in y 0.497 * [taylor]: Taking taylor expansion of (* z y) in y 0.497 * [taylor]: Taking taylor expansion of z in y 0.497 * [taylor]: Taking taylor expansion of y in y 0.497 * [taylor]: Taking taylor expansion of 0 in z 0.497 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in y 0.497 * [taylor]: Taking taylor expansion of 1 in y 0.497 * [taylor]: Taking taylor expansion of (* 6.0 z) in y 0.497 * [taylor]: Taking taylor expansion of 6.0 in y 0.497 * [taylor]: Taking taylor expansion of z in y 0.498 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in z 0.498 * [taylor]: Taking taylor expansion of 1 in z 0.498 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 0.498 * [taylor]: Taking taylor expansion of 6.0 in z 0.498 * [taylor]: Taking taylor expansion of z in z 0.498 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 0.498 * [taylor]: Taking taylor expansion of 6.0 in z 0.498 * [taylor]: Taking taylor expansion of z in z 0.498 * [taylor]: Taking taylor expansion of 0 in y 0.498 * [taylor]: Taking taylor expansion of 0 in z 0.498 * [taylor]: Taking taylor expansion of 0 in z 0.498 * [taylor]: Taking taylor expansion of 0 in z 0.498 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in (x y z) around 0 0.499 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in z 0.499 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in z 0.499 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 0.499 * [taylor]: Taking taylor expansion of 6.0 in z 0.499 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.499 * [taylor]: Taking taylor expansion of (* z y) in z 0.499 * [taylor]: Taking taylor expansion of z in z 0.499 * [taylor]: Taking taylor expansion of y in z 0.499 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.499 * [taylor]: Taking taylor expansion of x in z 0.499 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 0.499 * [taylor]: Taking taylor expansion of 6.0 in z 0.499 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 0.499 * [taylor]: Taking taylor expansion of (* x z) in z 0.499 * [taylor]: Taking taylor expansion of x in z 0.499 * [taylor]: Taking taylor expansion of z in z 0.499 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in y 0.499 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in y 0.499 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 0.499 * [taylor]: Taking taylor expansion of 6.0 in y 0.499 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.499 * [taylor]: Taking taylor expansion of (* z y) in y 0.499 * [taylor]: Taking taylor expansion of z in y 0.499 * [taylor]: Taking taylor expansion of y in y 0.499 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.499 * [taylor]: Taking taylor expansion of x in y 0.499 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 0.499 * [taylor]: Taking taylor expansion of 6.0 in y 0.499 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 0.499 * [taylor]: Taking taylor expansion of (* x z) in y 0.499 * [taylor]: Taking taylor expansion of x in y 0.499 * [taylor]: Taking taylor expansion of z in y 0.499 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x 0.499 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x 0.499 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 0.499 * [taylor]: Taking taylor expansion of 6.0 in x 0.499 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.499 * [taylor]: Taking taylor expansion of (* z y) in x 0.499 * [taylor]: Taking taylor expansion of z in x 0.499 * [taylor]: Taking taylor expansion of y in x 0.499 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.499 * [taylor]: Taking taylor expansion of x in x 0.499 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 0.499 * [taylor]: Taking taylor expansion of 6.0 in x 0.500 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.500 * [taylor]: Taking taylor expansion of (* x z) in x 0.500 * [taylor]: Taking taylor expansion of x in x 0.500 * [taylor]: Taking taylor expansion of z in x 0.500 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x 0.500 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x 0.500 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 0.500 * [taylor]: Taking taylor expansion of 6.0 in x 0.500 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.500 * [taylor]: Taking taylor expansion of (* z y) in x 0.500 * [taylor]: Taking taylor expansion of z in x 0.500 * [taylor]: Taking taylor expansion of y in x 0.500 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.500 * [taylor]: Taking taylor expansion of x in x 0.500 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 0.500 * [taylor]: Taking taylor expansion of 6.0 in x 0.500 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.500 * [taylor]: Taking taylor expansion of (* x z) in x 0.500 * [taylor]: Taking taylor expansion of x in x 0.500 * [taylor]: Taking taylor expansion of z in x 0.500 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in y 0.500 * [taylor]: Taking taylor expansion of 1 in y 0.500 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 0.500 * [taylor]: Taking taylor expansion of 6.0 in y 0.500 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.500 * [taylor]: Taking taylor expansion of z in y 0.503 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 0.503 * [taylor]: Taking taylor expansion of 6.0 in y 0.503 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.503 * [taylor]: Taking taylor expansion of (* z y) in y 0.503 * [taylor]: Taking taylor expansion of z in y 0.503 * [taylor]: Taking taylor expansion of y in y 0.503 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 0.503 * [taylor]: Taking taylor expansion of 6.0 in z 0.503 * [taylor]: Taking taylor expansion of z in z 0.504 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in z 0.504 * [taylor]: Taking taylor expansion of 1 in z 0.504 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 0.504 * [taylor]: Taking taylor expansion of 6.0 in z 0.504 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.504 * [taylor]: Taking taylor expansion of z in z 0.504 * [taylor]: Taking taylor expansion of 0 in y 0.504 * [taylor]: Taking taylor expansion of 0 in z 0.504 * [taylor]: Taking taylor expansion of 0 in z 0.505 * [approximate]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in (x y z) around 0 0.505 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in z 0.505 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 0.505 * [taylor]: Taking taylor expansion of 6.0 in z 0.505 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.505 * [taylor]: Taking taylor expansion of (* z y) in z 0.505 * [taylor]: Taking taylor expansion of z in z 0.505 * [taylor]: Taking taylor expansion of y in z 0.505 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in z 0.505 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 0.505 * [taylor]: Taking taylor expansion of 6.0 in z 0.505 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 0.505 * [taylor]: Taking taylor expansion of (* x z) in z 0.505 * [taylor]: Taking taylor expansion of x in z 0.505 * [taylor]: Taking taylor expansion of z in z 0.505 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.505 * [taylor]: Taking taylor expansion of x in z 0.505 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in y 0.505 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 0.505 * [taylor]: Taking taylor expansion of 6.0 in y 0.505 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.505 * [taylor]: Taking taylor expansion of (* z y) in y 0.505 * [taylor]: Taking taylor expansion of z in y 0.505 * [taylor]: Taking taylor expansion of y in y 0.505 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in y 0.505 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 0.505 * [taylor]: Taking taylor expansion of 6.0 in y 0.505 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 0.505 * [taylor]: Taking taylor expansion of (* x z) in y 0.505 * [taylor]: Taking taylor expansion of x in y 0.505 * [taylor]: Taking taylor expansion of z in y 0.505 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.505 * [taylor]: Taking taylor expansion of x in y 0.506 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x 0.506 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 0.506 * [taylor]: Taking taylor expansion of 6.0 in x 0.506 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.506 * [taylor]: Taking taylor expansion of (* z y) in x 0.506 * [taylor]: Taking taylor expansion of z in x 0.506 * [taylor]: Taking taylor expansion of y in x 0.506 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x 0.506 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 0.506 * [taylor]: Taking taylor expansion of 6.0 in x 0.506 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.506 * [taylor]: Taking taylor expansion of (* x z) in x 0.506 * [taylor]: Taking taylor expansion of x in x 0.506 * [taylor]: Taking taylor expansion of z in x 0.506 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.506 * [taylor]: Taking taylor expansion of x in x 0.506 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x 0.506 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 0.506 * [taylor]: Taking taylor expansion of 6.0 in x 0.506 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.506 * [taylor]: Taking taylor expansion of (* z y) in x 0.506 * [taylor]: Taking taylor expansion of z in x 0.506 * [taylor]: Taking taylor expansion of y in x 0.506 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x 0.506 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 0.506 * [taylor]: Taking taylor expansion of 6.0 in x 0.506 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.506 * [taylor]: Taking taylor expansion of (* x z) in x 0.506 * [taylor]: Taking taylor expansion of x in x 0.506 * [taylor]: Taking taylor expansion of z in x 0.506 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.506 * [taylor]: Taking taylor expansion of x in x 0.506 * [taylor]: Taking taylor expansion of (neg (+ (* 6.0 (/ 1 z)) 1)) in y 0.506 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in y 0.506 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 0.507 * [taylor]: Taking taylor expansion of 6.0 in y 0.507 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.507 * [taylor]: Taking taylor expansion of z in y 0.507 * [taylor]: Taking taylor expansion of 1 in y 0.507 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 0.507 * [taylor]: Taking taylor expansion of 6.0 in y 0.507 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.507 * [taylor]: Taking taylor expansion of (* z y) in y 0.507 * [taylor]: Taking taylor expansion of z in y 0.507 * [taylor]: Taking taylor expansion of y in y 0.507 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 0.507 * [taylor]: Taking taylor expansion of 6.0 in z 0.507 * [taylor]: Taking taylor expansion of z in z 0.507 * [taylor]: Taking taylor expansion of (neg (+ (* 6.0 (/ 1 z)) 1)) in z 0.507 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in z 0.507 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 0.507 * [taylor]: Taking taylor expansion of 6.0 in z 0.507 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.507 * [taylor]: Taking taylor expansion of z in z 0.507 * [taylor]: Taking taylor expansion of 1 in z 0.508 * [taylor]: Taking taylor expansion of 0 in y 0.508 * [taylor]: Taking taylor expansion of 0 in z 0.508 * [taylor]: Taking taylor expansion of 0 in z 0.508 * * * [progress]: simplifying candidates 0.509 * [simplify]: Simplifying using # : (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z) (+ (+ (log (- y x)) (log 6.0)) (log z)) (+ (log (* (- y x) 6.0)) (log z)) (log (* (* (- y x) 6.0) z)) (exp (* (* (- y x) 6.0) z)) (* (* (* (* (- y x) (- y x)) (- y x)) (* (* 6.0 6.0) 6.0)) (* (* z z) z)) (* (* (* (* (- y x) 6.0) (* (- y x) 6.0)) (* (- y x) 6.0)) (* (* z z) z)) (* (cbrt (* (* (- y x) 6.0) z)) (cbrt (* (* (- y x) 6.0) z))) (cbrt (* (* (- y x) 6.0) z)) (* (* (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z)) (* (* (- y x) 6.0) z)) (sqrt (* (* (- y x) 6.0) z)) (sqrt (* (* (- y x) 6.0) z)) (* (* (- y x) 6.0) (* (cbrt z) (cbrt z))) (* (* (- y x) 6.0) (sqrt z)) (* (* (- y x) 6.0) 1) (* 6.0 z) (* (* (- (pow y 3) (pow x 3)) 6.0) z) (* (* (- (* y y) (* x x)) 6.0) z) (* (- y x) 6.0) (+ (log (- y x)) (log 6.0)) (log (* (- y x) 6.0)) (exp (* (- y x) 6.0)) (* (* (* (- y x) (- y x)) (- y x)) (* (* 6.0 6.0) 6.0)) (* (cbrt (* (- y x) 6.0)) (cbrt (* (- y x) 6.0))) (cbrt (* (- y x) 6.0)) (* (* (* (- y x) 6.0) (* (- y x) 6.0)) (* (- y x) 6.0)) (sqrt (* (- y x) 6.0)) (sqrt (* (- y x) 6.0)) (* (sqrt (- y x)) (sqrt 6.0)) (* (sqrt (- y x)) (sqrt 6.0)) (* (- y x) (* (cbrt 6.0) (cbrt 6.0))) (* (- y x) (sqrt 6.0)) (* (- y x) 1) (* (cbrt (- y x)) 6.0) (* (sqrt (- y x)) 6.0) (* (- y x) 6.0) (* (- (sqrt y) (sqrt x)) 6.0) (* (- y x) 6.0) (* (- (pow y 3) (pow x 3)) 6.0) (* (- (* y y) (* x x)) 6.0) (* (exp x) (exp (* (* (- y x) 6.0) z))) (log (+ x (* (* (- y x) 6.0) z))) (exp (+ x (* (* (- y x) 6.0) z))) (* (cbrt (+ x (* (* (- y x) 6.0) z))) (cbrt (+ x (* (* (- y x) 6.0) z)))) (cbrt (+ x (* (* (- y x) 6.0) z))) (* (* (+ x (* (* (- y x) 6.0) z)) (+ x (* (* (- y x) 6.0) z))) (+ x (* (* (- y x) 6.0) z))) (sqrt (+ x (* (* (- y x) 6.0) z))) (sqrt (+ x (* (* (- y x) 6.0) z))) (+ (pow x 3) (pow (* (* (- y x) 6.0) z) 3)) (+ (* x x) (- (* (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z)) (* x (* (* (- y x) 6.0) z)))) (- (* x x) (* (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z))) (- x (* (* (- y x) 6.0) z)) 0 (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (* 6.0 y) (* 6.0 x)) (- (* 6.0 y) (* 6.0 x)) (- (* 6.0 y) (* 6.0 x)) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) 0.513 * * [simplify]: iteration 0 : 246 enodes (cost 290 ) 0.518 * * [simplify]: iteration 1 : 1073 enodes (cost 249 ) 0.542 * * [simplify]: iteration 2 : 5001 enodes (cost 249 ) 0.544 * [simplify]: Simplified to: (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z) (log (* (* (- y x) 6.0) z)) (log (* (* (- y x) 6.0) z)) (log (* (* (- y x) 6.0) z)) (exp (* (* (- y x) 6.0) z)) (pow (* (* (- y x) 6.0) z) 3) (pow (* (* (- y x) 6.0) z) 3) (* (cbrt (* (* (- y x) 6.0) z)) (cbrt (* (* (- y x) 6.0) z))) (cbrt (* (* (- y x) 6.0) z)) (pow (* (* (- y x) 6.0) z) 3) (sqrt (* (* (- y x) 6.0) z)) (sqrt (* (* (- y x) 6.0) z)) (* (* (- y x) 6.0) (* (cbrt z) (cbrt z))) (* (* (- y x) 6.0) (sqrt z)) (* (- y x) 6.0) (* 6.0 z) (* (* (- (pow y 3) (pow x 3)) 6.0) z) (* (* (- (* y y) (* x x)) 6.0) z) (* (- y x) 6.0) (log (* (- y x) 6.0)) (log (* (- y x) 6.0)) (exp (* (- y x) 6.0)) (pow (* (- y x) 6.0) 3) (* (cbrt (* (- y x) 6.0)) (cbrt (* (- y x) 6.0))) (cbrt (* (- y x) 6.0)) (pow (* (- y x) 6.0) 3) (sqrt (* (- y x) 6.0)) (sqrt (* (- y x) 6.0)) (* (sqrt (- y x)) (sqrt 6.0)) (* (sqrt (- y x)) (sqrt 6.0)) (* (- y x) (* (cbrt 6.0) (cbrt 6.0))) (* (- y x) (sqrt 6.0)) (- y x) (* (cbrt (- y x)) 6.0) (* (sqrt (- y x)) 6.0) (* (- y x) 6.0) (* (- (sqrt y) (sqrt x)) 6.0) (* (- y x) 6.0) (* (- (pow y 3) (pow x 3)) 6.0) (* (- (* y y) (* x x)) 6.0) (exp (+ x (* (* (- y x) 6.0) z))) (log (+ x (* (* (- y x) 6.0) z))) (exp (+ x (* (* (- y x) 6.0) z))) (* (cbrt (+ x (* (* (- y x) 6.0) z))) (cbrt (+ x (* (* (- y x) 6.0) z)))) (cbrt (+ x (* (* (- y x) 6.0) z))) (pow (+ x (* (* (- y x) 6.0) z)) 3) (sqrt (+ x (* (* (- y x) 6.0) z))) (sqrt (+ x (* (* (- y x) 6.0) z))) (+ (pow x 3) (pow (* (* (- y x) 6.0) z) 3)) (+ (* (* (* (- y x) 6.0) z) (- (* (* (- y x) 6.0) z) x)) (* x x)) (- (* x x) (* (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z))) (- x (* (* (- y x) 6.0) z)) 0 (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z) (* (- y x) 6.0) (* (- y x) 6.0) (* (- y x) 6.0) (+ x (* (* (- y x) 6.0) z)) (+ x (* (* (- y x) 6.0) z)) (+ x (* (* (- y x) 6.0) z)) 0.544 * * * [progress]: adding candidates to table 0.607 * * [progress]: iteration 2 / 4 0.607 * * * [progress]: picking best candidate 0.623 * * * * [pick]: Picked # 0.623 * * * [progress]: localizing error 0.629 * * * [progress]: generating rewritten candidates 0.629 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.636 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.639 * * * [progress]: generating series expansions 0.639 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.640 * [approximate]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in (y x z) around 0 0.640 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in z 0.640 * [taylor]: Taking taylor expansion of 6.0 in z 0.640 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 0.640 * [taylor]: Taking taylor expansion of (- y x) in z 0.640 * [taylor]: Taking taylor expansion of y in z 0.640 * [taylor]: Taking taylor expansion of x in z 0.640 * [taylor]: Taking taylor expansion of z in z 0.640 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in x 0.640 * [taylor]: Taking taylor expansion of 6.0 in x 0.640 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 0.640 * [taylor]: Taking taylor expansion of (- y x) in x 0.640 * [taylor]: Taking taylor expansion of y in x 0.640 * [taylor]: Taking taylor expansion of x in x 0.640 * [taylor]: Taking taylor expansion of z in x 0.640 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y 0.640 * [taylor]: Taking taylor expansion of 6.0 in y 0.640 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 0.640 * [taylor]: Taking taylor expansion of (- y x) in y 0.640 * [taylor]: Taking taylor expansion of y in y 0.640 * [taylor]: Taking taylor expansion of x in y 0.640 * [taylor]: Taking taylor expansion of z in y 0.640 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y 0.640 * [taylor]: Taking taylor expansion of 6.0 in y 0.640 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 0.640 * [taylor]: Taking taylor expansion of (- y x) in y 0.640 * [taylor]: Taking taylor expansion of y in y 0.640 * [taylor]: Taking taylor expansion of x in y 0.640 * [taylor]: Taking taylor expansion of z in y 0.640 * [taylor]: Taking taylor expansion of (* -6.0 (* x z)) in x 0.640 * [taylor]: Taking taylor expansion of -6.0 in x 0.640 * [taylor]: Taking taylor expansion of (* x z) in x 0.640 * [taylor]: Taking taylor expansion of x in x 0.640 * [taylor]: Taking taylor expansion of z in x 0.640 * [taylor]: Taking taylor expansion of 0 in z 0.640 * [taylor]: Taking taylor expansion of (* 6.0 z) in x 0.640 * [taylor]: Taking taylor expansion of 6.0 in x 0.640 * [taylor]: Taking taylor expansion of z in x 0.640 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 0.640 * [taylor]: Taking taylor expansion of 6.0 in z 0.640 * [taylor]: Taking taylor expansion of z in z 0.641 * [taylor]: Taking taylor expansion of (neg (* 6.0 z)) in z 0.641 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 0.641 * [taylor]: Taking taylor expansion of 6.0 in z 0.641 * [taylor]: Taking taylor expansion of z in z 0.641 * [taylor]: Taking taylor expansion of 0 in x 0.641 * [taylor]: Taking taylor expansion of 0 in z 0.641 * [taylor]: Taking taylor expansion of 0 in z 0.641 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in (y x z) around 0 0.641 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z 0.641 * [taylor]: Taking taylor expansion of 6.0 in z 0.641 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 0.641 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 0.641 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.641 * [taylor]: Taking taylor expansion of y in z 0.641 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.641 * [taylor]: Taking taylor expansion of x in z 0.641 * [taylor]: Taking taylor expansion of z in z 0.641 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x 0.641 * [taylor]: Taking taylor expansion of 6.0 in x 0.641 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x 0.641 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.641 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.641 * [taylor]: Taking taylor expansion of y in x 0.641 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.641 * [taylor]: Taking taylor expansion of x in x 0.641 * [taylor]: Taking taylor expansion of z in x 0.641 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 0.642 * [taylor]: Taking taylor expansion of 6.0 in y 0.642 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 0.642 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.642 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.642 * [taylor]: Taking taylor expansion of y in y 0.642 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.642 * [taylor]: Taking taylor expansion of x in y 0.642 * [taylor]: Taking taylor expansion of z in y 0.642 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 0.642 * [taylor]: Taking taylor expansion of 6.0 in y 0.642 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 0.642 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.642 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.642 * [taylor]: Taking taylor expansion of y in y 0.642 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.642 * [taylor]: Taking taylor expansion of x in y 0.642 * [taylor]: Taking taylor expansion of z in y 0.642 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 0.642 * [taylor]: Taking taylor expansion of 6.0 in x 0.642 * [taylor]: Taking taylor expansion of z in x 0.642 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 (* x z)))) in x 0.642 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 0.642 * [taylor]: Taking taylor expansion of 6.0 in x 0.642 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.642 * [taylor]: Taking taylor expansion of (* x z) in x 0.642 * [taylor]: Taking taylor expansion of x in x 0.642 * [taylor]: Taking taylor expansion of z in x 0.642 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 z))) in z 0.642 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 0.642 * [taylor]: Taking taylor expansion of 6.0 in z 0.642 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.643 * [taylor]: Taking taylor expansion of z in z 0.643 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 0.643 * [taylor]: Taking taylor expansion of 6.0 in z 0.643 * [taylor]: Taking taylor expansion of z in z 0.643 * [taylor]: Taking taylor expansion of 0 in x 0.643 * [taylor]: Taking taylor expansion of 0 in z 0.643 * [taylor]: Taking taylor expansion of 0 in z 0.643 * [taylor]: Taking taylor expansion of 0 in x 0.644 * [taylor]: Taking taylor expansion of 0 in z 0.644 * [taylor]: Taking taylor expansion of 0 in z 0.644 * [taylor]: Taking taylor expansion of 0 in z 0.644 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0 0.644 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in z 0.644 * [taylor]: Taking taylor expansion of -6.0 in z 0.644 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z 0.644 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 0.644 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.644 * [taylor]: Taking taylor expansion of x in z 0.644 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.644 * [taylor]: Taking taylor expansion of y in z 0.644 * [taylor]: Taking taylor expansion of z in z 0.644 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in x 0.644 * [taylor]: Taking taylor expansion of -6.0 in x 0.644 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x 0.644 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.645 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.645 * [taylor]: Taking taylor expansion of x in x 0.645 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.645 * [taylor]: Taking taylor expansion of y in x 0.645 * [taylor]: Taking taylor expansion of z in x 0.645 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y 0.645 * [taylor]: Taking taylor expansion of -6.0 in y 0.645 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 0.645 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.645 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.645 * [taylor]: Taking taylor expansion of x in y 0.645 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.645 * [taylor]: Taking taylor expansion of y in y 0.645 * [taylor]: Taking taylor expansion of z in y 0.645 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y 0.645 * [taylor]: Taking taylor expansion of -6.0 in y 0.645 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 0.645 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.645 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.645 * [taylor]: Taking taylor expansion of x in y 0.645 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.645 * [taylor]: Taking taylor expansion of y in y 0.645 * [taylor]: Taking taylor expansion of z in y 0.645 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 0.645 * [taylor]: Taking taylor expansion of 6.0 in x 0.645 * [taylor]: Taking taylor expansion of z in x 0.645 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 (* x z)))) in x 0.645 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 0.645 * [taylor]: Taking taylor expansion of 6.0 in x 0.645 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.645 * [taylor]: Taking taylor expansion of (* x z) in x 0.645 * [taylor]: Taking taylor expansion of x in x 0.645 * [taylor]: Taking taylor expansion of z in x 0.646 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 z))) in z 0.646 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 0.646 * [taylor]: Taking taylor expansion of 6.0 in z 0.646 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.646 * [taylor]: Taking taylor expansion of z in z 0.646 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 0.646 * [taylor]: Taking taylor expansion of 6.0 in z 0.646 * [taylor]: Taking taylor expansion of z in z 0.646 * [taylor]: Taking taylor expansion of 0 in x 0.646 * [taylor]: Taking taylor expansion of 0 in z 0.646 * [taylor]: Taking taylor expansion of 0 in z 0.647 * [taylor]: Taking taylor expansion of 0 in x 0.647 * [taylor]: Taking taylor expansion of 0 in z 0.647 * [taylor]: Taking taylor expansion of 0 in z 0.647 * [taylor]: Taking taylor expansion of 0 in z 0.647 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.647 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in (x y z) around 0 0.647 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in z 0.647 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in z 0.647 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in z 0.647 * [taylor]: Taking taylor expansion of 6.0 in z 0.647 * [taylor]: Taking taylor expansion of (* z y) in z 0.647 * [taylor]: Taking taylor expansion of z in z 0.647 * [taylor]: Taking taylor expansion of y in z 0.647 * [taylor]: Taking taylor expansion of x in z 0.647 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in z 0.647 * [taylor]: Taking taylor expansion of 6.0 in z 0.647 * [taylor]: Taking taylor expansion of (* x z) in z 0.648 * [taylor]: Taking taylor expansion of x in z 0.648 * [taylor]: Taking taylor expansion of z in z 0.648 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in y 0.648 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in y 0.648 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 0.648 * [taylor]: Taking taylor expansion of 6.0 in y 0.648 * [taylor]: Taking taylor expansion of (* z y) in y 0.648 * [taylor]: Taking taylor expansion of z in y 0.648 * [taylor]: Taking taylor expansion of y in y 0.648 * [taylor]: Taking taylor expansion of x in y 0.648 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y 0.648 * [taylor]: Taking taylor expansion of 6.0 in y 0.648 * [taylor]: Taking taylor expansion of (* x z) in y 0.648 * [taylor]: Taking taylor expansion of x in y 0.648 * [taylor]: Taking taylor expansion of z in y 0.648 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in x 0.648 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in x 0.648 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 0.648 * [taylor]: Taking taylor expansion of 6.0 in x 0.648 * [taylor]: Taking taylor expansion of (* z y) in x 0.648 * [taylor]: Taking taylor expansion of z in x 0.648 * [taylor]: Taking taylor expansion of y in x 0.648 * [taylor]: Taking taylor expansion of x in x 0.648 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 0.648 * [taylor]: Taking taylor expansion of 6.0 in x 0.648 * [taylor]: Taking taylor expansion of (* x z) in x 0.648 * [taylor]: Taking taylor expansion of x in x 0.648 * [taylor]: Taking taylor expansion of z in x 0.648 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in x 0.648 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in x 0.648 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 0.648 * [taylor]: Taking taylor expansion of 6.0 in x 0.648 * [taylor]: Taking taylor expansion of (* z y) in x 0.648 * [taylor]: Taking taylor expansion of z in x 0.648 * [taylor]: Taking taylor expansion of y in x 0.648 * [taylor]: Taking taylor expansion of x in x 0.648 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 0.648 * [taylor]: Taking taylor expansion of 6.0 in x 0.648 * [taylor]: Taking taylor expansion of (* x z) in x 0.648 * [taylor]: Taking taylor expansion of x in x 0.648 * [taylor]: Taking taylor expansion of z in x 0.648 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 0.648 * [taylor]: Taking taylor expansion of 6.0 in y 0.648 * [taylor]: Taking taylor expansion of (* z y) in y 0.648 * [taylor]: Taking taylor expansion of z in y 0.648 * [taylor]: Taking taylor expansion of y in y 0.648 * [taylor]: Taking taylor expansion of 0 in z 0.649 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in y 0.649 * [taylor]: Taking taylor expansion of 1 in y 0.649 * [taylor]: Taking taylor expansion of (* 6.0 z) in y 0.649 * [taylor]: Taking taylor expansion of 6.0 in y 0.649 * [taylor]: Taking taylor expansion of z in y 0.649 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in z 0.649 * [taylor]: Taking taylor expansion of 1 in z 0.649 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 0.649 * [taylor]: Taking taylor expansion of 6.0 in z 0.649 * [taylor]: Taking taylor expansion of z in z 0.649 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 0.649 * [taylor]: Taking taylor expansion of 6.0 in z 0.649 * [taylor]: Taking taylor expansion of z in z 0.649 * [taylor]: Taking taylor expansion of 0 in y 0.649 * [taylor]: Taking taylor expansion of 0 in z 0.649 * [taylor]: Taking taylor expansion of 0 in z 0.649 * [taylor]: Taking taylor expansion of 0 in z 0.650 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in (x y z) around 0 0.650 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in z 0.650 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in z 0.650 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 0.650 * [taylor]: Taking taylor expansion of 6.0 in z 0.650 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.650 * [taylor]: Taking taylor expansion of (* z y) in z 0.650 * [taylor]: Taking taylor expansion of z in z 0.650 * [taylor]: Taking taylor expansion of y in z 0.650 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.650 * [taylor]: Taking taylor expansion of x in z 0.650 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 0.650 * [taylor]: Taking taylor expansion of 6.0 in z 0.650 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 0.650 * [taylor]: Taking taylor expansion of (* x z) in z 0.650 * [taylor]: Taking taylor expansion of x in z 0.650 * [taylor]: Taking taylor expansion of z in z 0.650 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in y 0.650 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in y 0.650 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 0.650 * [taylor]: Taking taylor expansion of 6.0 in y 0.650 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.650 * [taylor]: Taking taylor expansion of (* z y) in y 0.650 * [taylor]: Taking taylor expansion of z in y 0.650 * [taylor]: Taking taylor expansion of y in y 0.650 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.650 * [taylor]: Taking taylor expansion of x in y 0.650 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 0.650 * [taylor]: Taking taylor expansion of 6.0 in y 0.650 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 0.650 * [taylor]: Taking taylor expansion of (* x z) in y 0.650 * [taylor]: Taking taylor expansion of x in y 0.650 * [taylor]: Taking taylor expansion of z in y 0.650 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x 0.650 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x 0.650 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 0.650 * [taylor]: Taking taylor expansion of 6.0 in x 0.651 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.651 * [taylor]: Taking taylor expansion of (* z y) in x 0.651 * [taylor]: Taking taylor expansion of z in x 0.651 * [taylor]: Taking taylor expansion of y in x 0.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.651 * [taylor]: Taking taylor expansion of x in x 0.651 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 0.651 * [taylor]: Taking taylor expansion of 6.0 in x 0.651 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.651 * [taylor]: Taking taylor expansion of (* x z) in x 0.651 * [taylor]: Taking taylor expansion of x in x 0.651 * [taylor]: Taking taylor expansion of z in x 0.651 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x 0.651 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x 0.651 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 0.651 * [taylor]: Taking taylor expansion of 6.0 in x 0.651 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.651 * [taylor]: Taking taylor expansion of (* z y) in x 0.651 * [taylor]: Taking taylor expansion of z in x 0.651 * [taylor]: Taking taylor expansion of y in x 0.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.651 * [taylor]: Taking taylor expansion of x in x 0.651 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 0.651 * [taylor]: Taking taylor expansion of 6.0 in x 0.651 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.651 * [taylor]: Taking taylor expansion of (* x z) in x 0.651 * [taylor]: Taking taylor expansion of x in x 0.651 * [taylor]: Taking taylor expansion of z in x 0.651 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in y 0.651 * [taylor]: Taking taylor expansion of 1 in y 0.651 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 0.651 * [taylor]: Taking taylor expansion of 6.0 in y 0.651 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.651 * [taylor]: Taking taylor expansion of z in y 0.652 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 0.652 * [taylor]: Taking taylor expansion of 6.0 in y 0.652 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.652 * [taylor]: Taking taylor expansion of (* z y) in y 0.652 * [taylor]: Taking taylor expansion of z in y 0.652 * [taylor]: Taking taylor expansion of y in y 0.652 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 0.652 * [taylor]: Taking taylor expansion of 6.0 in z 0.652 * [taylor]: Taking taylor expansion of z in z 0.652 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in z 0.652 * [taylor]: Taking taylor expansion of 1 in z 0.652 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 0.652 * [taylor]: Taking taylor expansion of 6.0 in z 0.652 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.652 * [taylor]: Taking taylor expansion of z in z 0.652 * [taylor]: Taking taylor expansion of 0 in y 0.653 * [taylor]: Taking taylor expansion of 0 in z 0.653 * [taylor]: Taking taylor expansion of 0 in z 0.653 * [approximate]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in (x y z) around 0 0.653 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in z 0.653 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 0.653 * [taylor]: Taking taylor expansion of 6.0 in z 0.653 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.653 * [taylor]: Taking taylor expansion of (* z y) in z 0.653 * [taylor]: Taking taylor expansion of z in z 0.653 * [taylor]: Taking taylor expansion of y in z 0.653 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in z 0.653 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 0.653 * [taylor]: Taking taylor expansion of 6.0 in z 0.653 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 0.653 * [taylor]: Taking taylor expansion of (* x z) in z 0.653 * [taylor]: Taking taylor expansion of x in z 0.653 * [taylor]: Taking taylor expansion of z in z 0.653 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.653 * [taylor]: Taking taylor expansion of x in z 0.653 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in y 0.654 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 0.654 * [taylor]: Taking taylor expansion of 6.0 in y 0.654 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.654 * [taylor]: Taking taylor expansion of (* z y) in y 0.654 * [taylor]: Taking taylor expansion of z in y 0.654 * [taylor]: Taking taylor expansion of y in y 0.654 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in y 0.654 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 0.654 * [taylor]: Taking taylor expansion of 6.0 in y 0.654 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 0.654 * [taylor]: Taking taylor expansion of (* x z) in y 0.654 * [taylor]: Taking taylor expansion of x in y 0.654 * [taylor]: Taking taylor expansion of z in y 0.654 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.654 * [taylor]: Taking taylor expansion of x in y 0.654 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x 0.654 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 0.654 * [taylor]: Taking taylor expansion of 6.0 in x 0.654 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.654 * [taylor]: Taking taylor expansion of (* z y) in x 0.654 * [taylor]: Taking taylor expansion of z in x 0.654 * [taylor]: Taking taylor expansion of y in x 0.654 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x 0.654 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 0.654 * [taylor]: Taking taylor expansion of 6.0 in x 0.654 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.654 * [taylor]: Taking taylor expansion of (* x z) in x 0.654 * [taylor]: Taking taylor expansion of x in x 0.654 * [taylor]: Taking taylor expansion of z in x 0.654 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.654 * [taylor]: Taking taylor expansion of x in x 0.654 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x 0.654 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 0.654 * [taylor]: Taking taylor expansion of 6.0 in x 0.654 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.654 * [taylor]: Taking taylor expansion of (* z y) in x 0.654 * [taylor]: Taking taylor expansion of z in x 0.654 * [taylor]: Taking taylor expansion of y in x 0.654 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x 0.654 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 0.654 * [taylor]: Taking taylor expansion of 6.0 in x 0.654 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.654 * [taylor]: Taking taylor expansion of (* x z) in x 0.654 * [taylor]: Taking taylor expansion of x in x 0.654 * [taylor]: Taking taylor expansion of z in x 0.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.655 * [taylor]: Taking taylor expansion of x in x 0.655 * [taylor]: Taking taylor expansion of (neg (+ (* 6.0 (/ 1 z)) 1)) in y 0.655 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in y 0.655 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 0.655 * [taylor]: Taking taylor expansion of 6.0 in y 0.655 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.655 * [taylor]: Taking taylor expansion of z in y 0.655 * [taylor]: Taking taylor expansion of 1 in y 0.655 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 0.655 * [taylor]: Taking taylor expansion of 6.0 in y 0.655 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.655 * [taylor]: Taking taylor expansion of (* z y) in y 0.655 * [taylor]: Taking taylor expansion of z in y 0.655 * [taylor]: Taking taylor expansion of y in y 0.655 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 0.655 * [taylor]: Taking taylor expansion of 6.0 in z 0.655 * [taylor]: Taking taylor expansion of z in z 0.655 * [taylor]: Taking taylor expansion of (neg (+ (* 6.0 (/ 1 z)) 1)) in z 0.655 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in z 0.655 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 0.655 * [taylor]: Taking taylor expansion of 6.0 in z 0.656 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.656 * [taylor]: Taking taylor expansion of z in z 0.656 * [taylor]: Taking taylor expansion of 1 in z 0.656 * [taylor]: Taking taylor expansion of 0 in y 0.656 * [taylor]: Taking taylor expansion of 0 in z 0.656 * [taylor]: Taking taylor expansion of 0 in z 0.656 * * * [progress]: simplifying candidates 0.657 * [simplify]: Simplifying using # : (* (- y x) (* 6.0 z)) (* (- y x) (* 6.0 z)) (+ (log (- y x)) (+ (log 6.0) (log z))) (+ (log (- y x)) (log (* 6.0 z))) (log (* (- y x) (* 6.0 z))) (exp (* (- y x) (* 6.0 z))) (* (* (* (- y x) (- y x)) (- y x)) (* (* (* 6.0 6.0) 6.0) (* (* z z) z))) (* (* (* (- y x) (- y x)) (- y x)) (* (* (* 6.0 z) (* 6.0 z)) (* 6.0 z))) (* (cbrt (* (- y x) (* 6.0 z))) (cbrt (* (- y x) (* 6.0 z)))) (cbrt (* (- y x) (* 6.0 z))) (* (* (* (- y x) (* 6.0 z)) (* (- y x) (* 6.0 z))) (* (- y x) (* 6.0 z))) (sqrt (* (- y x) (* 6.0 z))) (sqrt (* (- y x) (* 6.0 z))) (* (- y x) 6.0) (* (cbrt (- y x)) (* 6.0 z)) (* (sqrt (- y x)) (* 6.0 z)) (* (- y x) (* 6.0 z)) (* (- (sqrt y) (sqrt x)) (* 6.0 z)) (* (- y x) (* 6.0 z)) (* (- (pow y 3) (pow x 3)) (* 6.0 z)) (* (- (* y y) (* x x)) (* 6.0 z)) (* (exp x) (exp (* (- y x) (* 6.0 z)))) (log (+ x (* (- y x) (* 6.0 z)))) (exp (+ x (* (- y x) (* 6.0 z)))) (* (cbrt (+ x (* (- y x) (* 6.0 z)))) (cbrt (+ x (* (- y x) (* 6.0 z))))) (cbrt (+ x (* (- y x) (* 6.0 z)))) (* (* (+ x (* (- y x) (* 6.0 z))) (+ x (* (- y x) (* 6.0 z)))) (+ x (* (- y x) (* 6.0 z)))) (sqrt (+ x (* (- y x) (* 6.0 z)))) (sqrt (+ x (* (- y x) (* 6.0 z)))) (+ (pow x 3) (pow (* (- y x) (* 6.0 z)) 3)) (+ (* x x) (- (* (* (- y x) (* 6.0 z)) (* (- y x) (* 6.0 z))) (* x (* (- y x) (* 6.0 z))))) (- (* x x) (* (* (- y x) (* 6.0 z)) (* (- y x) (* 6.0 z)))) (- x (* (- y x) (* 6.0 z))) 0 (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) 0.662 * * [simplify]: iteration 0 : 206 enodes (cost 210 ) 0.667 * * [simplify]: iteration 1 : 717 enodes (cost 179 ) 0.683 * * [simplify]: iteration 2 : 3878 enodes (cost 179 ) 0.761 * * [simplify]: iteration 3 : 5003 enodes (cost 179 ) 0.764 * [simplify]: Simplified to: (* (- y x) (* 6.0 z)) (* (- y x) (* 6.0 z)) (log (* (- y x) (* 6.0 z))) (log (* (- y x) (* 6.0 z))) (log (* (- y x) (* 6.0 z))) (exp (* (- y x) (* 6.0 z))) (pow (* (- y x) (* 6.0 z)) 3) (pow (* (- y x) (* 6.0 z)) 3) (* (cbrt (* (- y x) (* 6.0 z))) (cbrt (* (- y x) (* 6.0 z)))) (cbrt (* (- y x) (* 6.0 z))) (pow (* (- y x) (* 6.0 z)) 3) (sqrt (* (- y x) (* 6.0 z))) (sqrt (* (- y x) (* 6.0 z))) (* (- y x) 6.0) (* (cbrt (- y x)) (* 6.0 z)) (* (sqrt (- y x)) (* 6.0 z)) (* (- y x) (* 6.0 z)) (* (- (sqrt y) (sqrt x)) (* 6.0 z)) (* (- y x) (* 6.0 z)) (* (- (pow y 3) (pow x 3)) (* 6.0 z)) (* (- (* y y) (* x x)) (* 6.0 z)) (exp (+ x (* (- y x) (* 6.0 z)))) (log (+ x (* (- y x) (* 6.0 z)))) (exp (+ x (* (- y x) (* 6.0 z)))) (* (cbrt (+ x (* (- y x) (* 6.0 z)))) (cbrt (+ x (* (- y x) (* 6.0 z))))) (cbrt (+ x (* (- y x) (* 6.0 z)))) (pow (+ x (* (- y x) (* 6.0 z))) 3) (sqrt (+ x (* (- y x) (* 6.0 z)))) (sqrt (+ x (* (- y x) (* 6.0 z)))) (+ (pow x 3) (pow (* (- y x) (* 6.0 z)) 3)) (+ (* (* (- y x) (* 6.0 z)) (- (* (- y x) (* 6.0 z)) x)) (* x x)) (- (* x x) (* (* (- y x) (* 6.0 z)) (* (- y x) (* 6.0 z)))) (- x (* (- y x) (* 6.0 z))) 0 (* (- y x) (* 6.0 z)) (* (- y x) (* 6.0 z)) (+ x (* (- y x) (* 6.0 z))) (+ x (* (- y x) (* 6.0 z))) (+ x (* (- y x) (* 6.0 z))) 0.764 * * * [progress]: adding candidates to table 0.816 * * [progress]: iteration 3 / 4 0.816 * * * [progress]: picking best candidate 0.825 * * * * [pick]: Picked # 0.826 * * * [progress]: localizing error 0.834 * * * [progress]: generating rewritten candidates 0.834 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 0.842 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 0.854 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 0.860 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.865 * * * [progress]: generating series expansions 0.865 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 0.865 * [approximate]: Taking taylor expansion of (* 6.0 (* (- y x) (sqrt z))) in (y x z) around 0 0.865 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) (sqrt z))) in z 0.865 * [taylor]: Taking taylor expansion of 6.0 in z 0.865 * [taylor]: Taking taylor expansion of (* (- y x) (sqrt z)) in z 0.865 * [taylor]: Taking taylor expansion of (- y x) in z 0.865 * [taylor]: Taking taylor expansion of y in z 0.865 * [taylor]: Taking taylor expansion of x in z 0.865 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.865 * [taylor]: Taking taylor expansion of z in z 0.865 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) (sqrt z))) in x 0.865 * [taylor]: Taking taylor expansion of 6.0 in x 0.865 * [taylor]: Taking taylor expansion of (* (- y x) (sqrt z)) in x 0.865 * [taylor]: Taking taylor expansion of (- y x) in x 0.865 * [taylor]: Taking taylor expansion of y in x 0.866 * [taylor]: Taking taylor expansion of x in x 0.866 * [taylor]: Taking taylor expansion of (sqrt z) in x 0.866 * [taylor]: Taking taylor expansion of z in x 0.866 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) (sqrt z))) in y 0.866 * [taylor]: Taking taylor expansion of 6.0 in y 0.866 * [taylor]: Taking taylor expansion of (* (- y x) (sqrt z)) in y 0.866 * [taylor]: Taking taylor expansion of (- y x) in y 0.866 * [taylor]: Taking taylor expansion of y in y 0.866 * [taylor]: Taking taylor expansion of x in y 0.866 * [taylor]: Taking taylor expansion of (sqrt z) in y 0.866 * [taylor]: Taking taylor expansion of z in y 0.866 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) (sqrt z))) in y 0.866 * [taylor]: Taking taylor expansion of 6.0 in y 0.866 * [taylor]: Taking taylor expansion of (* (- y x) (sqrt z)) in y 0.866 * [taylor]: Taking taylor expansion of (- y x) in y 0.866 * [taylor]: Taking taylor expansion of y in y 0.866 * [taylor]: Taking taylor expansion of x in y 0.866 * [taylor]: Taking taylor expansion of (sqrt z) in y 0.866 * [taylor]: Taking taylor expansion of z in y 0.866 * [taylor]: Taking taylor expansion of (* -6.0 (* x (sqrt z))) in x 0.866 * [taylor]: Taking taylor expansion of -6.0 in x 0.866 * [taylor]: Taking taylor expansion of (* x (sqrt z)) in x 0.866 * [taylor]: Taking taylor expansion of x in x 0.866 * [taylor]: Taking taylor expansion of (sqrt z) in x 0.866 * [taylor]: Taking taylor expansion of z in x 0.866 * [taylor]: Taking taylor expansion of 0 in z 0.866 * [taylor]: Taking taylor expansion of (* 6.0 (sqrt z)) in x 0.866 * [taylor]: Taking taylor expansion of 6.0 in x 0.866 * [taylor]: Taking taylor expansion of (sqrt z) in x 0.866 * [taylor]: Taking taylor expansion of z in x 0.867 * [taylor]: Taking taylor expansion of (* 6.0 (sqrt z)) in z 0.867 * [taylor]: Taking taylor expansion of 6.0 in z 0.867 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.867 * [taylor]: Taking taylor expansion of z in z 0.867 * [taylor]: Taking taylor expansion of (neg (* 6.0 (sqrt z))) in z 0.867 * [taylor]: Taking taylor expansion of (* 6.0 (sqrt z)) in z 0.867 * [taylor]: Taking taylor expansion of 6.0 in z 0.867 * [taylor]: Taking taylor expansion of (sqrt z) in z 0.867 * [taylor]: Taking taylor expansion of z in z 0.867 * [taylor]: Taking taylor expansion of 0 in x 0.867 * [taylor]: Taking taylor expansion of 0 in z 0.867 * [taylor]: Taking taylor expansion of 0 in z 0.867 * [approximate]: Taking taylor expansion of (* 6.0 (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in (y x z) around 0 0.867 * [taylor]: Taking taylor expansion of (* 6.0 (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in z 0.867 * [taylor]: Taking taylor expansion of 6.0 in z 0.867 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x))) in z 0.867 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.867 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.867 * [taylor]: Taking taylor expansion of z in z 0.867 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 0.867 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.867 * [taylor]: Taking taylor expansion of y in z 0.867 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.867 * [taylor]: Taking taylor expansion of x in z 0.868 * [taylor]: Taking taylor expansion of (* 6.0 (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in x 0.868 * [taylor]: Taking taylor expansion of 6.0 in x 0.868 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x))) in x 0.868 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x 0.868 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.868 * [taylor]: Taking taylor expansion of z in x 0.868 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.868 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.868 * [taylor]: Taking taylor expansion of y in x 0.868 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.868 * [taylor]: Taking taylor expansion of x in x 0.868 * [taylor]: Taking taylor expansion of (* 6.0 (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in y 0.868 * [taylor]: Taking taylor expansion of 6.0 in y 0.868 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x))) in y 0.868 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 0.868 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.868 * [taylor]: Taking taylor expansion of z in y 0.868 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.868 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.868 * [taylor]: Taking taylor expansion of y in y 0.868 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.868 * [taylor]: Taking taylor expansion of x in y 0.868 * [taylor]: Taking taylor expansion of (* 6.0 (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in y 0.868 * [taylor]: Taking taylor expansion of 6.0 in y 0.868 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x))) in y 0.868 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 0.868 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.868 * [taylor]: Taking taylor expansion of z in y 0.868 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.868 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.868 * [taylor]: Taking taylor expansion of y in y 0.868 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.868 * [taylor]: Taking taylor expansion of x in y 0.869 * [taylor]: Taking taylor expansion of (* 6.0 (sqrt (/ 1 z))) in x 0.869 * [taylor]: Taking taylor expansion of 6.0 in x 0.869 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x 0.869 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.869 * [taylor]: Taking taylor expansion of z in x 0.869 * [taylor]: Taking taylor expansion of (neg (* 6.0 (* (/ 1 x) (sqrt (/ 1 z))))) in x 0.869 * [taylor]: Taking taylor expansion of (* 6.0 (* (/ 1 x) (sqrt (/ 1 z)))) in x 0.869 * [taylor]: Taking taylor expansion of 6.0 in x 0.869 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 z))) in x 0.869 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.869 * [taylor]: Taking taylor expansion of x in x 0.869 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x 0.869 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.869 * [taylor]: Taking taylor expansion of z in x 0.869 * [taylor]: Taking taylor expansion of (neg (* 6.0 (sqrt (/ 1 z)))) in z 0.869 * [taylor]: Taking taylor expansion of (* 6.0 (sqrt (/ 1 z))) in z 0.869 * [taylor]: Taking taylor expansion of 6.0 in z 0.869 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.869 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.869 * [taylor]: Taking taylor expansion of z in z 0.870 * [taylor]: Taking taylor expansion of (* 6.0 (sqrt (/ 1 z))) in z 0.870 * [taylor]: Taking taylor expansion of 6.0 in z 0.870 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 0.870 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.870 * [taylor]: Taking taylor expansion of z in z 0.870 * [taylor]: Taking taylor expansion of 0 in x 0.870 * [taylor]: Taking taylor expansion of 0 in z 0.870 * [taylor]: Taking taylor expansion of 0 in z 0.871 * [taylor]: Taking taylor expansion of 0 in x 0.871 * [taylor]: Taking taylor expansion of 0 in z 0.871 * [taylor]: Taking taylor expansion of 0 in z 0.872 * [taylor]: Taking taylor expansion of 0 in z 0.872 * [approximate]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z)))) in (y x z) around 0 0.872 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z)))) in z 0.872 * [taylor]: Taking taylor expansion of 6.0 in z 0.872 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z))) in z 0.872 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 0.872 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.872 * [taylor]: Taking taylor expansion of x in z 0.872 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.873 * [taylor]: Taking taylor expansion of y in z 0.873 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.873 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.873 * [taylor]: Taking taylor expansion of -1 in z 0.873 * [taylor]: Taking taylor expansion of z in z 0.873 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z)))) in x 0.873 * [taylor]: Taking taylor expansion of 6.0 in x 0.873 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z))) in x 0.873 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.873 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.873 * [taylor]: Taking taylor expansion of x in x 0.873 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.873 * [taylor]: Taking taylor expansion of y in x 0.873 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.873 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.873 * [taylor]: Taking taylor expansion of -1 in x 0.873 * [taylor]: Taking taylor expansion of z in x 0.873 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z)))) in y 0.873 * [taylor]: Taking taylor expansion of 6.0 in y 0.873 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z))) in y 0.873 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.873 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.873 * [taylor]: Taking taylor expansion of x in y 0.873 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.873 * [taylor]: Taking taylor expansion of y in y 0.873 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.873 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.873 * [taylor]: Taking taylor expansion of -1 in y 0.873 * [taylor]: Taking taylor expansion of z in y 0.873 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z)))) in y 0.873 * [taylor]: Taking taylor expansion of 6.0 in y 0.873 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z))) in y 0.873 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.873 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.873 * [taylor]: Taking taylor expansion of x in y 0.873 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.873 * [taylor]: Taking taylor expansion of y in y 0.873 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.874 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.874 * [taylor]: Taking taylor expansion of -1 in y 0.874 * [taylor]: Taking taylor expansion of z in y 0.874 * [taylor]: Taking taylor expansion of (* -6.0 (sqrt (/ -1 z))) in x 0.874 * [taylor]: Taking taylor expansion of -6.0 in x 0.874 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.874 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.874 * [taylor]: Taking taylor expansion of -1 in x 0.874 * [taylor]: Taking taylor expansion of z in x 0.874 * [taylor]: Taking taylor expansion of (* 6.0 (/ (sqrt (/ -1 z)) x)) in x 0.874 * [taylor]: Taking taylor expansion of 6.0 in x 0.874 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) x) in x 0.874 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.874 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.874 * [taylor]: Taking taylor expansion of -1 in x 0.874 * [taylor]: Taking taylor expansion of z in x 0.874 * [taylor]: Taking taylor expansion of x in x 0.874 * [taylor]: Taking taylor expansion of (* 6.0 (sqrt (/ -1 z))) in z 0.874 * [taylor]: Taking taylor expansion of 6.0 in z 0.875 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.875 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.875 * [taylor]: Taking taylor expansion of -1 in z 0.875 * [taylor]: Taking taylor expansion of z in z 0.875 * [taylor]: Taking taylor expansion of (* -6.0 (sqrt (/ -1 z))) in z 0.875 * [taylor]: Taking taylor expansion of -6.0 in z 0.875 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.875 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.875 * [taylor]: Taking taylor expansion of -1 in z 0.875 * [taylor]: Taking taylor expansion of z in z 0.875 * [taylor]: Taking taylor expansion of 0 in x 0.875 * [taylor]: Taking taylor expansion of 0 in z 0.875 * [taylor]: Taking taylor expansion of 0 in z 0.876 * [taylor]: Taking taylor expansion of 0 in x 0.876 * [taylor]: Taking taylor expansion of 0 in z 0.876 * [taylor]: Taking taylor expansion of 0 in z 0.876 * [taylor]: Taking taylor expansion of 0 in z 0.877 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 0.877 * [approximate]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in (y x z) around 0 0.877 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in z 0.877 * [taylor]: Taking taylor expansion of 6.0 in z 0.877 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 0.877 * [taylor]: Taking taylor expansion of (- y x) in z 0.877 * [taylor]: Taking taylor expansion of y in z 0.877 * [taylor]: Taking taylor expansion of x in z 0.877 * [taylor]: Taking taylor expansion of z in z 0.877 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in x 0.877 * [taylor]: Taking taylor expansion of 6.0 in x 0.877 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 0.877 * [taylor]: Taking taylor expansion of (- y x) in x 0.877 * [taylor]: Taking taylor expansion of y in x 0.877 * [taylor]: Taking taylor expansion of x in x 0.877 * [taylor]: Taking taylor expansion of z in x 0.877 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y 0.877 * [taylor]: Taking taylor expansion of 6.0 in y 0.877 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 0.877 * [taylor]: Taking taylor expansion of (- y x) in y 0.877 * [taylor]: Taking taylor expansion of y in y 0.877 * [taylor]: Taking taylor expansion of x in y 0.877 * [taylor]: Taking taylor expansion of z in y 0.877 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y 0.877 * [taylor]: Taking taylor expansion of 6.0 in y 0.878 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 0.878 * [taylor]: Taking taylor expansion of (- y x) in y 0.878 * [taylor]: Taking taylor expansion of y in y 0.878 * [taylor]: Taking taylor expansion of x in y 0.878 * [taylor]: Taking taylor expansion of z in y 0.878 * [taylor]: Taking taylor expansion of (* -6.0 (* x z)) in x 0.878 * [taylor]: Taking taylor expansion of -6.0 in x 0.878 * [taylor]: Taking taylor expansion of (* x z) in x 0.878 * [taylor]: Taking taylor expansion of x in x 0.878 * [taylor]: Taking taylor expansion of z in x 0.878 * [taylor]: Taking taylor expansion of 0 in z 0.878 * [taylor]: Taking taylor expansion of (* 6.0 z) in x 0.878 * [taylor]: Taking taylor expansion of 6.0 in x 0.878 * [taylor]: Taking taylor expansion of z in x 0.878 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 0.878 * [taylor]: Taking taylor expansion of 6.0 in z 0.878 * [taylor]: Taking taylor expansion of z in z 0.878 * [taylor]: Taking taylor expansion of (neg (* 6.0 z)) in z 0.878 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 0.878 * [taylor]: Taking taylor expansion of 6.0 in z 0.878 * [taylor]: Taking taylor expansion of z in z 0.878 * [taylor]: Taking taylor expansion of 0 in x 0.878 * [taylor]: Taking taylor expansion of 0 in z 0.878 * [taylor]: Taking taylor expansion of 0 in z 0.879 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in (y x z) around 0 0.879 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z 0.879 * [taylor]: Taking taylor expansion of 6.0 in z 0.879 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 0.879 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 0.879 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.879 * [taylor]: Taking taylor expansion of y in z 0.879 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.879 * [taylor]: Taking taylor expansion of x in z 0.879 * [taylor]: Taking taylor expansion of z in z 0.879 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x 0.879 * [taylor]: Taking taylor expansion of 6.0 in x 0.879 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x 0.879 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.879 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.879 * [taylor]: Taking taylor expansion of y in x 0.879 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.879 * [taylor]: Taking taylor expansion of x in x 0.879 * [taylor]: Taking taylor expansion of z in x 0.879 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 0.879 * [taylor]: Taking taylor expansion of 6.0 in y 0.879 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 0.879 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.879 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.879 * [taylor]: Taking taylor expansion of y in y 0.879 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.879 * [taylor]: Taking taylor expansion of x in y 0.879 * [taylor]: Taking taylor expansion of z in y 0.879 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 0.879 * [taylor]: Taking taylor expansion of 6.0 in y 0.879 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 0.879 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.879 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.879 * [taylor]: Taking taylor expansion of y in y 0.879 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.879 * [taylor]: Taking taylor expansion of x in y 0.879 * [taylor]: Taking taylor expansion of z in y 0.880 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 0.880 * [taylor]: Taking taylor expansion of 6.0 in x 0.880 * [taylor]: Taking taylor expansion of z in x 0.880 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 (* x z)))) in x 0.880 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 0.880 * [taylor]: Taking taylor expansion of 6.0 in x 0.880 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.880 * [taylor]: Taking taylor expansion of (* x z) in x 0.880 * [taylor]: Taking taylor expansion of x in x 0.880 * [taylor]: Taking taylor expansion of z in x 0.880 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 z))) in z 0.880 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 0.880 * [taylor]: Taking taylor expansion of 6.0 in z 0.880 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.880 * [taylor]: Taking taylor expansion of z in z 0.880 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 0.880 * [taylor]: Taking taylor expansion of 6.0 in z 0.880 * [taylor]: Taking taylor expansion of z in z 0.880 * [taylor]: Taking taylor expansion of 0 in x 0.881 * [taylor]: Taking taylor expansion of 0 in z 0.881 * [taylor]: Taking taylor expansion of 0 in z 0.881 * [taylor]: Taking taylor expansion of 0 in x 0.881 * [taylor]: Taking taylor expansion of 0 in z 0.881 * [taylor]: Taking taylor expansion of 0 in z 0.881 * [taylor]: Taking taylor expansion of 0 in z 0.882 * [approximate]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2))) in (y x z) around 0 0.882 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2))) in z 0.882 * [taylor]: Taking taylor expansion of 6.0 in z 0.882 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2)) in z 0.882 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 0.882 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.882 * [taylor]: Taking taylor expansion of x in z 0.882 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.882 * [taylor]: Taking taylor expansion of y in z 0.882 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 0.882 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.882 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.882 * [taylor]: Taking taylor expansion of -1 in z 0.882 * [taylor]: Taking taylor expansion of z in z 0.882 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2))) in x 0.882 * [taylor]: Taking taylor expansion of 6.0 in x 0.882 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2)) in x 0.882 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.882 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.882 * [taylor]: Taking taylor expansion of x in x 0.882 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.882 * [taylor]: Taking taylor expansion of y in x 0.882 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x 0.882 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.882 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.882 * [taylor]: Taking taylor expansion of -1 in x 0.882 * [taylor]: Taking taylor expansion of z in x 0.882 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2))) in y 0.882 * [taylor]: Taking taylor expansion of 6.0 in y 0.882 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2)) in y 0.882 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.882 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.883 * [taylor]: Taking taylor expansion of x in y 0.883 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.883 * [taylor]: Taking taylor expansion of y in y 0.883 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in y 0.883 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.883 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.883 * [taylor]: Taking taylor expansion of -1 in y 0.883 * [taylor]: Taking taylor expansion of z in y 0.883 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2))) in y 0.883 * [taylor]: Taking taylor expansion of 6.0 in y 0.883 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2)) in y 0.883 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.883 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.883 * [taylor]: Taking taylor expansion of x in y 0.883 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.883 * [taylor]: Taking taylor expansion of y in y 0.883 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in y 0.883 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.883 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.883 * [taylor]: Taking taylor expansion of -1 in y 0.883 * [taylor]: Taking taylor expansion of z in y 0.883 * [taylor]: Taking taylor expansion of (* -6.0 (pow (sqrt (/ -1 z)) 2)) in x 0.883 * [taylor]: Taking taylor expansion of -6.0 in x 0.883 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x 0.883 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.883 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.883 * [taylor]: Taking taylor expansion of -1 in x 0.883 * [taylor]: Taking taylor expansion of z in x 0.884 * [taylor]: Taking taylor expansion of (* 6.0 (/ (pow (sqrt (/ -1 z)) 2) x)) in x 0.884 * [taylor]: Taking taylor expansion of 6.0 in x 0.884 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) x) in x 0.884 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x 0.884 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.884 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.884 * [taylor]: Taking taylor expansion of -1 in x 0.884 * [taylor]: Taking taylor expansion of z in x 0.884 * [taylor]: Taking taylor expansion of x in x 0.884 * [taylor]: Taking taylor expansion of (* 6.0 (pow (sqrt (/ -1 z)) 2)) in z 0.884 * [taylor]: Taking taylor expansion of 6.0 in z 0.884 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 0.884 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.884 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.885 * [taylor]: Taking taylor expansion of -1 in z 0.885 * [taylor]: Taking taylor expansion of z in z 0.885 * [taylor]: Taking taylor expansion of (* -6.0 (pow (sqrt (/ -1 z)) 2)) in z 0.885 * [taylor]: Taking taylor expansion of -6.0 in z 0.885 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 0.885 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.885 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.885 * [taylor]: Taking taylor expansion of -1 in z 0.885 * [taylor]: Taking taylor expansion of z in z 0.886 * [taylor]: Taking taylor expansion of 0 in x 0.886 * [taylor]: Taking taylor expansion of 0 in z 0.886 * [taylor]: Taking taylor expansion of 0 in z 0.887 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 0.887 * [approximate]: Taking taylor expansion of (* 6.0 (- y x)) in (y x) around 0 0.887 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in x 0.887 * [taylor]: Taking taylor expansion of 6.0 in x 0.887 * [taylor]: Taking taylor expansion of (- y x) in x 0.887 * [taylor]: Taking taylor expansion of y in x 0.887 * [taylor]: Taking taylor expansion of x in x 0.887 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y 0.887 * [taylor]: Taking taylor expansion of 6.0 in y 0.887 * [taylor]: Taking taylor expansion of (- y x) in y 0.887 * [taylor]: Taking taylor expansion of y in y 0.887 * [taylor]: Taking taylor expansion of x in y 0.887 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y 0.887 * [taylor]: Taking taylor expansion of 6.0 in y 0.887 * [taylor]: Taking taylor expansion of (- y x) in y 0.887 * [taylor]: Taking taylor expansion of y in y 0.887 * [taylor]: Taking taylor expansion of x in y 0.887 * [taylor]: Taking taylor expansion of (* -6.0 x) in x 0.887 * [taylor]: Taking taylor expansion of -6.0 in x 0.887 * [taylor]: Taking taylor expansion of x in x 0.887 * [taylor]: Taking taylor expansion of 6.0 in x 0.887 * [taylor]: Taking taylor expansion of 0 in x 0.888 * [taylor]: Taking taylor expansion of 0 in x 0.888 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in (y x) around 0 0.888 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in x 0.888 * [taylor]: Taking taylor expansion of 6.0 in x 0.888 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.888 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.888 * [taylor]: Taking taylor expansion of y in x 0.888 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.888 * [taylor]: Taking taylor expansion of x in x 0.888 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y 0.888 * [taylor]: Taking taylor expansion of 6.0 in y 0.888 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.888 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.888 * [taylor]: Taking taylor expansion of y in y 0.888 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.888 * [taylor]: Taking taylor expansion of x in y 0.888 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y 0.888 * [taylor]: Taking taylor expansion of 6.0 in y 0.888 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.888 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.888 * [taylor]: Taking taylor expansion of y in y 0.888 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.888 * [taylor]: Taking taylor expansion of x in y 0.888 * [taylor]: Taking taylor expansion of 6.0 in x 0.888 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 x))) in x 0.888 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x 0.888 * [taylor]: Taking taylor expansion of 6.0 in x 0.888 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.888 * [taylor]: Taking taylor expansion of x in x 0.889 * [taylor]: Taking taylor expansion of 0 in x 0.889 * [taylor]: Taking taylor expansion of 0 in x 0.889 * [taylor]: Taking taylor expansion of 0 in x 0.889 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in (y x) around 0 0.889 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in x 0.889 * [taylor]: Taking taylor expansion of 6.0 in x 0.889 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.889 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.889 * [taylor]: Taking taylor expansion of x in x 0.889 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.890 * [taylor]: Taking taylor expansion of y in x 0.890 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y 0.890 * [taylor]: Taking taylor expansion of 6.0 in y 0.890 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.890 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.890 * [taylor]: Taking taylor expansion of x in y 0.890 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.890 * [taylor]: Taking taylor expansion of y in y 0.890 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y 0.890 * [taylor]: Taking taylor expansion of 6.0 in y 0.890 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.890 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.890 * [taylor]: Taking taylor expansion of x in y 0.890 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.890 * [taylor]: Taking taylor expansion of y in y 0.890 * [taylor]: Taking taylor expansion of -6.0 in x 0.890 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x 0.890 * [taylor]: Taking taylor expansion of 6.0 in x 0.890 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.890 * [taylor]: Taking taylor expansion of x in x 0.890 * [taylor]: Taking taylor expansion of 0 in x 0.890 * [taylor]: Taking taylor expansion of 0 in x 0.891 * [taylor]: Taking taylor expansion of 0 in x 0.891 * * * * [progress]: [ 4 / 4 ] generating series at (2) 0.891 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in (x y z) around 0 0.891 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in z 0.891 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in z 0.891 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in z 0.891 * [taylor]: Taking taylor expansion of 6.0 in z 0.891 * [taylor]: Taking taylor expansion of (* z y) in z 0.891 * [taylor]: Taking taylor expansion of z in z 0.891 * [taylor]: Taking taylor expansion of y in z 0.891 * [taylor]: Taking taylor expansion of x in z 0.891 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in z 0.891 * [taylor]: Taking taylor expansion of 6.0 in z 0.891 * [taylor]: Taking taylor expansion of (* x z) in z 0.891 * [taylor]: Taking taylor expansion of x in z 0.891 * [taylor]: Taking taylor expansion of z in z 0.891 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in y 0.891 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in y 0.891 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 0.891 * [taylor]: Taking taylor expansion of 6.0 in y 0.891 * [taylor]: Taking taylor expansion of (* z y) in y 0.891 * [taylor]: Taking taylor expansion of z in y 0.891 * [taylor]: Taking taylor expansion of y in y 0.891 * [taylor]: Taking taylor expansion of x in y 0.891 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y 0.891 * [taylor]: Taking taylor expansion of 6.0 in y 0.891 * [taylor]: Taking taylor expansion of (* x z) in y 0.891 * [taylor]: Taking taylor expansion of x in y 0.891 * [taylor]: Taking taylor expansion of z in y 0.892 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in x 0.892 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in x 0.892 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 0.892 * [taylor]: Taking taylor expansion of 6.0 in x 0.892 * [taylor]: Taking taylor expansion of (* z y) in x 0.892 * [taylor]: Taking taylor expansion of z in x 0.892 * [taylor]: Taking taylor expansion of y in x 0.892 * [taylor]: Taking taylor expansion of x in x 0.892 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 0.892 * [taylor]: Taking taylor expansion of 6.0 in x 0.892 * [taylor]: Taking taylor expansion of (* x z) in x 0.892 * [taylor]: Taking taylor expansion of x in x 0.892 * [taylor]: Taking taylor expansion of z in x 0.892 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in x 0.892 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in x 0.892 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 0.892 * [taylor]: Taking taylor expansion of 6.0 in x 0.892 * [taylor]: Taking taylor expansion of (* z y) in x 0.892 * [taylor]: Taking taylor expansion of z in x 0.892 * [taylor]: Taking taylor expansion of y in x 0.892 * [taylor]: Taking taylor expansion of x in x 0.892 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 0.892 * [taylor]: Taking taylor expansion of 6.0 in x 0.892 * [taylor]: Taking taylor expansion of (* x z) in x 0.892 * [taylor]: Taking taylor expansion of x in x 0.892 * [taylor]: Taking taylor expansion of z in x 0.892 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 0.892 * [taylor]: Taking taylor expansion of 6.0 in y 0.892 * [taylor]: Taking taylor expansion of (* z y) in y 0.892 * [taylor]: Taking taylor expansion of z in y 0.892 * [taylor]: Taking taylor expansion of y in y 0.892 * [taylor]: Taking taylor expansion of 0 in z 0.892 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in y 0.892 * [taylor]: Taking taylor expansion of 1 in y 0.892 * [taylor]: Taking taylor expansion of (* 6.0 z) in y 0.892 * [taylor]: Taking taylor expansion of 6.0 in y 0.892 * [taylor]: Taking taylor expansion of z in y 0.893 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in z 0.893 * [taylor]: Taking taylor expansion of 1 in z 0.893 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 0.893 * [taylor]: Taking taylor expansion of 6.0 in z 0.893 * [taylor]: Taking taylor expansion of z in z 0.893 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 0.893 * [taylor]: Taking taylor expansion of 6.0 in z 0.893 * [taylor]: Taking taylor expansion of z in z 0.893 * [taylor]: Taking taylor expansion of 0 in y 0.893 * [taylor]: Taking taylor expansion of 0 in z 0.893 * [taylor]: Taking taylor expansion of 0 in z 0.893 * [taylor]: Taking taylor expansion of 0 in z 0.893 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in (x y z) around 0 0.893 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in z 0.894 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in z 0.894 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 0.894 * [taylor]: Taking taylor expansion of 6.0 in z 0.894 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.894 * [taylor]: Taking taylor expansion of (* z y) in z 0.894 * [taylor]: Taking taylor expansion of z in z 0.894 * [taylor]: Taking taylor expansion of y in z 0.894 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.894 * [taylor]: Taking taylor expansion of x in z 0.894 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 0.894 * [taylor]: Taking taylor expansion of 6.0 in z 0.894 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 0.894 * [taylor]: Taking taylor expansion of (* x z) in z 0.894 * [taylor]: Taking taylor expansion of x in z 0.894 * [taylor]: Taking taylor expansion of z in z 0.894 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in y 0.894 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in y 0.894 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 0.894 * [taylor]: Taking taylor expansion of 6.0 in y 0.894 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.894 * [taylor]: Taking taylor expansion of (* z y) in y 0.894 * [taylor]: Taking taylor expansion of z in y 0.894 * [taylor]: Taking taylor expansion of y in y 0.894 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.894 * [taylor]: Taking taylor expansion of x in y 0.894 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 0.894 * [taylor]: Taking taylor expansion of 6.0 in y 0.894 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 0.894 * [taylor]: Taking taylor expansion of (* x z) in y 0.894 * [taylor]: Taking taylor expansion of x in y 0.894 * [taylor]: Taking taylor expansion of z in y 0.894 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x 0.894 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x 0.894 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 0.894 * [taylor]: Taking taylor expansion of 6.0 in x 0.894 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.894 * [taylor]: Taking taylor expansion of (* z y) in x 0.894 * [taylor]: Taking taylor expansion of z in x 0.894 * [taylor]: Taking taylor expansion of y in x 0.894 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.894 * [taylor]: Taking taylor expansion of x in x 0.894 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 0.894 * [taylor]: Taking taylor expansion of 6.0 in x 0.895 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.895 * [taylor]: Taking taylor expansion of (* x z) in x 0.895 * [taylor]: Taking taylor expansion of x in x 0.895 * [taylor]: Taking taylor expansion of z in x 0.895 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x 0.895 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x 0.895 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 0.895 * [taylor]: Taking taylor expansion of 6.0 in x 0.895 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.895 * [taylor]: Taking taylor expansion of (* z y) in x 0.895 * [taylor]: Taking taylor expansion of z in x 0.895 * [taylor]: Taking taylor expansion of y in x 0.895 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.895 * [taylor]: Taking taylor expansion of x in x 0.895 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 0.895 * [taylor]: Taking taylor expansion of 6.0 in x 0.895 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.895 * [taylor]: Taking taylor expansion of (* x z) in x 0.895 * [taylor]: Taking taylor expansion of x in x 0.895 * [taylor]: Taking taylor expansion of z in x 0.895 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in y 0.895 * [taylor]: Taking taylor expansion of 1 in y 0.895 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 0.895 * [taylor]: Taking taylor expansion of 6.0 in y 0.895 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.895 * [taylor]: Taking taylor expansion of z in y 0.895 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 0.895 * [taylor]: Taking taylor expansion of 6.0 in y 0.895 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.895 * [taylor]: Taking taylor expansion of (* z y) in y 0.896 * [taylor]: Taking taylor expansion of z in y 0.896 * [taylor]: Taking taylor expansion of y in y 0.896 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 0.896 * [taylor]: Taking taylor expansion of 6.0 in z 0.896 * [taylor]: Taking taylor expansion of z in z 0.896 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in z 0.896 * [taylor]: Taking taylor expansion of 1 in z 0.896 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 0.896 * [taylor]: Taking taylor expansion of 6.0 in z 0.896 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.896 * [taylor]: Taking taylor expansion of z in z 0.896 * [taylor]: Taking taylor expansion of 0 in y 0.896 * [taylor]: Taking taylor expansion of 0 in z 0.896 * [taylor]: Taking taylor expansion of 0 in z 0.897 * [approximate]: Taking taylor expansion of (- (* 6.0 (/ (pow (sqrt (/ -1 z)) 2) x)) (+ (* 6.0 (/ (pow (sqrt (/ -1 z)) 2) y)) (/ 1 x))) in (x y z) around 0 0.897 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ (pow (sqrt (/ -1 z)) 2) x)) (+ (* 6.0 (/ (pow (sqrt (/ -1 z)) 2) y)) (/ 1 x))) in z 0.897 * [taylor]: Taking taylor expansion of (* 6.0 (/ (pow (sqrt (/ -1 z)) 2) x)) in z 0.897 * [taylor]: Taking taylor expansion of 6.0 in z 0.897 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) x) in z 0.897 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 0.897 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.897 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.897 * [taylor]: Taking taylor expansion of -1 in z 0.897 * [taylor]: Taking taylor expansion of z in z 0.897 * [taylor]: Taking taylor expansion of x in z 0.897 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ (pow (sqrt (/ -1 z)) 2) y)) (/ 1 x)) in z 0.897 * [taylor]: Taking taylor expansion of (* 6.0 (/ (pow (sqrt (/ -1 z)) 2) y)) in z 0.897 * [taylor]: Taking taylor expansion of 6.0 in z 0.897 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) y) in z 0.897 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 0.897 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.897 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.897 * [taylor]: Taking taylor expansion of -1 in z 0.897 * [taylor]: Taking taylor expansion of z in z 0.897 * [taylor]: Taking taylor expansion of y in z 0.898 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.898 * [taylor]: Taking taylor expansion of x in z 0.898 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ (pow (sqrt (/ -1 z)) 2) x)) (+ (* 6.0 (/ (pow (sqrt (/ -1 z)) 2) y)) (/ 1 x))) in y 0.898 * [taylor]: Taking taylor expansion of (* 6.0 (/ (pow (sqrt (/ -1 z)) 2) x)) in y 0.898 * [taylor]: Taking taylor expansion of 6.0 in y 0.898 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) x) in y 0.898 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in y 0.898 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.898 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.898 * [taylor]: Taking taylor expansion of -1 in y 0.898 * [taylor]: Taking taylor expansion of z in y 0.898 * [taylor]: Taking taylor expansion of x in y 0.898 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ (pow (sqrt (/ -1 z)) 2) y)) (/ 1 x)) in y 0.898 * [taylor]: Taking taylor expansion of (* 6.0 (/ (pow (sqrt (/ -1 z)) 2) y)) in y 0.898 * [taylor]: Taking taylor expansion of 6.0 in y 0.898 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) y) in y 0.898 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in y 0.898 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.898 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.898 * [taylor]: Taking taylor expansion of -1 in y 0.898 * [taylor]: Taking taylor expansion of z in y 0.898 * [taylor]: Taking taylor expansion of y in y 0.898 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.898 * [taylor]: Taking taylor expansion of x in y 0.898 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ (pow (sqrt (/ -1 z)) 2) x)) (+ (* 6.0 (/ (pow (sqrt (/ -1 z)) 2) y)) (/ 1 x))) in x 0.899 * [taylor]: Taking taylor expansion of (* 6.0 (/ (pow (sqrt (/ -1 z)) 2) x)) in x 0.899 * [taylor]: Taking taylor expansion of 6.0 in x 0.899 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) x) in x 0.899 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x 0.899 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.899 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.899 * [taylor]: Taking taylor expansion of -1 in x 0.899 * [taylor]: Taking taylor expansion of z in x 0.899 * [taylor]: Taking taylor expansion of x in x 0.899 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ (pow (sqrt (/ -1 z)) 2) y)) (/ 1 x)) in x 0.899 * [taylor]: Taking taylor expansion of (* 6.0 (/ (pow (sqrt (/ -1 z)) 2) y)) in x 0.899 * [taylor]: Taking taylor expansion of 6.0 in x 0.899 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) y) in x 0.899 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x 0.899 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.899 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.899 * [taylor]: Taking taylor expansion of -1 in x 0.899 * [taylor]: Taking taylor expansion of z in x 0.899 * [taylor]: Taking taylor expansion of y in x 0.899 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.899 * [taylor]: Taking taylor expansion of x in x 0.899 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ (pow (sqrt (/ -1 z)) 2) x)) (+ (* 6.0 (/ (pow (sqrt (/ -1 z)) 2) y)) (/ 1 x))) in x 0.899 * [taylor]: Taking taylor expansion of (* 6.0 (/ (pow (sqrt (/ -1 z)) 2) x)) in x 0.899 * [taylor]: Taking taylor expansion of 6.0 in x 0.899 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) x) in x 0.899 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x 0.899 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.899 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.899 * [taylor]: Taking taylor expansion of -1 in x 0.899 * [taylor]: Taking taylor expansion of z in x 0.900 * [taylor]: Taking taylor expansion of x in x 0.900 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ (pow (sqrt (/ -1 z)) 2) y)) (/ 1 x)) in x 0.900 * [taylor]: Taking taylor expansion of (* 6.0 (/ (pow (sqrt (/ -1 z)) 2) y)) in x 0.900 * [taylor]: Taking taylor expansion of 6.0 in x 0.900 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) y) in x 0.900 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x 0.900 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 0.900 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.900 * [taylor]: Taking taylor expansion of -1 in x 0.900 * [taylor]: Taking taylor expansion of z in x 0.900 * [taylor]: Taking taylor expansion of y in x 0.900 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.900 * [taylor]: Taking taylor expansion of x in x 0.900 * [taylor]: Taking taylor expansion of (- (* 6.0 (pow (sqrt (/ -1 z)) 2)) 1) in y 0.900 * [taylor]: Taking taylor expansion of (* 6.0 (pow (sqrt (/ -1 z)) 2)) in y 0.900 * [taylor]: Taking taylor expansion of 6.0 in y 0.900 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in y 0.900 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.900 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.900 * [taylor]: Taking taylor expansion of -1 in y 0.901 * [taylor]: Taking taylor expansion of z in y 0.901 * [taylor]: Taking taylor expansion of 1 in y 0.901 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ (pow (sqrt (/ -1 z)) 2) y))) in y 0.901 * [taylor]: Taking taylor expansion of (* 6.0 (/ (pow (sqrt (/ -1 z)) 2) y)) in y 0.901 * [taylor]: Taking taylor expansion of 6.0 in y 0.901 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) y) in y 0.901 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in y 0.901 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 0.901 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.901 * [taylor]: Taking taylor expansion of -1 in y 0.901 * [taylor]: Taking taylor expansion of z in y 0.902 * [taylor]: Taking taylor expansion of y in y 0.902 * [taylor]: Taking taylor expansion of (neg (* 6.0 (pow (sqrt (/ -1 z)) 2))) in z 0.902 * [taylor]: Taking taylor expansion of (* 6.0 (pow (sqrt (/ -1 z)) 2)) in z 0.902 * [taylor]: Taking taylor expansion of 6.0 in z 0.902 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 0.902 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.902 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.902 * [taylor]: Taking taylor expansion of -1 in z 0.902 * [taylor]: Taking taylor expansion of z in z 0.902 * [taylor]: Taking taylor expansion of (- (* 6.0 (pow (sqrt (/ -1 z)) 2)) 1) in z 0.902 * [taylor]: Taking taylor expansion of (* 6.0 (pow (sqrt (/ -1 z)) 2)) in z 0.902 * [taylor]: Taking taylor expansion of 6.0 in z 0.903 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 0.903 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 0.903 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.903 * [taylor]: Taking taylor expansion of -1 in z 0.903 * [taylor]: Taking taylor expansion of z in z 0.903 * [taylor]: Taking taylor expansion of 1 in z 0.904 * [taylor]: Taking taylor expansion of 0 in y 0.904 * [taylor]: Taking taylor expansion of 0 in z 0.904 * [taylor]: Taking taylor expansion of 0 in z 0.905 * * * [progress]: simplifying candidates 0.906 * [simplify]: Simplifying using # : (* (* (- y x) 6.0) (sqrt z)) (* (* (- y x) 6.0) (sqrt z)) (+ (+ (log (- y x)) (log 6.0)) (log (sqrt z))) (+ (log (* (- y x) 6.0)) (log (sqrt z))) (log (* (* (- y x) 6.0) (sqrt z))) (exp (* (* (- y x) 6.0) (sqrt z))) (* (* (* (* (- y x) (- y x)) (- y x)) (* (* 6.0 6.0) 6.0)) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (* (* (* (- y x) 6.0) (* (- y x) 6.0)) (* (- y x) 6.0)) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (cbrt (* (* (- y x) 6.0) (sqrt z))) (cbrt (* (* (- y x) 6.0) (sqrt z)))) (cbrt (* (* (- y x) 6.0) (sqrt z))) (* (* (* (* (- y x) 6.0) (sqrt z)) (* (* (- y x) 6.0) (sqrt z))) (* (* (- y x) 6.0) (sqrt z))) (sqrt (* (* (- y x) 6.0) (sqrt z))) (sqrt (* (* (- y x) 6.0) (sqrt z))) (* (* (- y x) 6.0) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* (* (- y x) 6.0) (sqrt (* (cbrt z) (cbrt z)))) (* (* (- y x) 6.0) (sqrt (sqrt z))) (* (* (- y x) 6.0) (sqrt 1)) (* (* (- y x) 6.0) (sqrt (sqrt z))) (* (* (- y x) 6.0) 1) (* 6.0 (sqrt z)) (* (* (- (pow y 3) (pow x 3)) 6.0) (sqrt z)) (* (* (- (* y y) (* x x)) 6.0) (sqrt z)) (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)) (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)) (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)) (+ (+ (+ (log (- y x)) (log 6.0)) (log (sqrt z))) (log (sqrt z))) (+ (+ (log (* (- y x) 6.0)) (log (sqrt z))) (log (sqrt z))) (+ (log (* (* (- y x) 6.0) (sqrt z))) (log (sqrt z))) (log (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z))) (exp (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z))) (* (* (* (* (* (- y x) (- y x)) (- y x)) (* (* 6.0 6.0) 6.0)) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (* (* (* (* (- y x) 6.0) (* (- y x) 6.0)) (* (- y x) 6.0)) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (* (* (* (* (- y x) 6.0) (sqrt z)) (* (* (- y x) 6.0) (sqrt z))) (* (* (- y x) 6.0) (sqrt z))) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (cbrt (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z))) (cbrt (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)))) (cbrt (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z))) (* (* (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)) (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z))) (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z))) (sqrt (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z))) (sqrt (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z))) (* (* (* (- y x) 6.0) (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* (* (* (- y x) 6.0) (sqrt z)) (sqrt (* (cbrt z) (cbrt z)))) (* (* (* (- y x) 6.0) (sqrt z)) (sqrt (sqrt z))) (* (* (* (- y x) 6.0) (sqrt z)) (sqrt 1)) (* (* (* (- y x) 6.0) (sqrt z)) (sqrt (sqrt z))) (* (* (* (- y x) 6.0) (sqrt z)) 1) (* (sqrt z) (sqrt z)) (* (* (* (- (pow y 3) (pow x 3)) 6.0) (sqrt z)) (sqrt z)) (* (* (* (- (* y y) (* x x)) 6.0) (sqrt z)) (sqrt z)) (* (- y x) 6.0) (+ (log (- y x)) (log 6.0)) (log (* (- y x) 6.0)) (exp (* (- y x) 6.0)) (* (* (* (- y x) (- y x)) (- y x)) (* (* 6.0 6.0) 6.0)) (* (cbrt (* (- y x) 6.0)) (cbrt (* (- y x) 6.0))) (cbrt (* (- y x) 6.0)) (* (* (* (- y x) 6.0) (* (- y x) 6.0)) (* (- y x) 6.0)) (sqrt (* (- y x) 6.0)) (sqrt (* (- y x) 6.0)) (* (sqrt (- y x)) (sqrt 6.0)) (* (sqrt (- y x)) (sqrt 6.0)) (* (- y x) (* (cbrt 6.0) (cbrt 6.0))) (* (- y x) (sqrt 6.0)) (* (- y x) 1) (* (cbrt (- y x)) 6.0) (* (sqrt (- y x)) 6.0) (* (- y x) 6.0) (* (- (sqrt y) (sqrt x)) 6.0) (* (- y x) 6.0) (* (- (pow y 3) (pow x 3)) 6.0) (* (- (* y y) (* x x)) 6.0) (* (exp x) (exp (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)))) (log (+ x (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)))) (exp (+ x (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)))) (* (cbrt (+ x (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)))) (cbrt (+ x (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z))))) (cbrt (+ x (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)))) (* (* (+ x (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z))) (+ x (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)))) (+ x (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)))) (sqrt (+ x (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)))) (sqrt (+ x (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)))) (+ (pow x 3) (pow (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)) 3)) (+ (* x x) (- (* (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)) (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z))) (* x (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z))))) (- (* x x) (* (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)) (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)))) (- x (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z))) 0 (- (* 6.0 (* NAN y)) (+ (* 6.0 (/ (* x (pow NAN 3)) z)) (* 6.0 (* x NAN)))) (- (+ (* 6.0 (/ (* x (pow NAN 3)) z)) (* 6.0 (* NAN y))) (* 6.0 (* x NAN))) 0 (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (+ (* 12.0 (/ (* x (pow NAN 4)) z)) (* 6.0 (* (pow NAN 2) y))) (* 6.0 (* x (pow NAN 2)))) (- (* 6.0 y) (* 6.0 x)) (- (* 6.0 y) (* 6.0 x)) (- (* 6.0 y) (* 6.0 x)) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) (- (+ x (* 6.0 (* (pow NAN 2) y))) (+ (* 6.0 (* x (pow NAN 2))) (* 12.0 (/ (* (pow NAN 4) y) z)))) 0.912 * * [simplify]: iteration 0 : 435 enodes (cost 587 ) 0.920 * * [simplify]: iteration 1 : 2037 enodes (cost 486 ) 0.959 * * [simplify]: iteration 2 : 5003 enodes (cost 480 ) 0.962 * [simplify]: Simplified to: (* (* (- y x) 6.0) (sqrt z)) (* (* (- y x) 6.0) (sqrt z)) (log (* (* (- y x) 6.0) (sqrt z))) (log (* (* (- y x) 6.0) (sqrt z))) (log (* (* (- y x) 6.0) (sqrt z))) (exp (* (* (- y x) 6.0) (sqrt z))) (pow (* (* (- y x) 6.0) (sqrt z)) 3) (pow (* (* (- y x) 6.0) (sqrt z)) 3) (* (cbrt (* (* (- y x) 6.0) (sqrt z))) (cbrt (* (* (- y x) 6.0) (sqrt z)))) (cbrt (* (* (- y x) 6.0) (sqrt z))) (pow (* (* (- y x) 6.0) (sqrt z)) 3) (sqrt (* (* (- y x) 6.0) (sqrt z))) (sqrt (* (* (- y x) 6.0) (sqrt z))) (* (* (- y x) 6.0) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* (- y x) (* 6.0 (fabs (cbrt z)))) (* (* (- y x) 6.0) (sqrt (sqrt z))) (* (- y x) 6.0) (* (* (- y x) 6.0) (sqrt (sqrt z))) (* (- y x) 6.0) (* 6.0 (sqrt z)) (* (* (- (pow y 3) (pow x 3)) 6.0) (sqrt z)) (* (* (- (* y y) (* x x)) 6.0) (sqrt z)) (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z) (+ (log (* (- y x) 6.0)) (log z)) (+ (log (* (- y x) 6.0)) (log z)) (+ (log (* (- y x) 6.0)) (log z)) (+ (log (* (- y x) 6.0)) (log z)) (pow (exp (* (- y x) 6.0)) z) (pow (* (* (- y x) 6.0) z) 3) (pow (* (* (- y x) 6.0) z) 3) (pow (* (* (- y x) 6.0) z) 3) (* (cbrt (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z))) (cbrt (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)))) (cbrt (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z))) (pow (* (* (- y x) 6.0) z) 3) (sqrt (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z))) (sqrt (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z))) (* (* (* (- y x) 6.0) (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* (* (- y x) 6.0) (* (sqrt z) (fabs (cbrt z)))) (* (* (* (- y x) 6.0) (sqrt z)) (sqrt (sqrt z))) (* (* (- y x) 6.0) (sqrt z)) (* (* (* (- y x) 6.0) (sqrt z)) (sqrt (sqrt z))) (* (* (- y x) 6.0) (sqrt z)) z (* (* (- (pow y 3) (pow x 3)) 6.0) z) (* (* (- (* y y) (* x x)) 6.0) z) (* (- y x) 6.0) (log (* (- y x) 6.0)) (log (* (- y x) 6.0)) (exp (* (- y x) 6.0)) (pow (* (- y x) 6.0) 3) (* (cbrt (* (- y x) 6.0)) (cbrt (* (- y x) 6.0))) (cbrt (* (- y x) 6.0)) (pow (* (- y x) 6.0) 3) (sqrt (* (- y x) 6.0)) (sqrt (* (- y x) 6.0)) (* (sqrt (- y x)) (sqrt 6.0)) (* (sqrt (- y x)) (sqrt 6.0)) (* (- y x) (* (cbrt 6.0) (cbrt 6.0))) (* (- y x) (sqrt 6.0)) (- y x) (* (cbrt (- y x)) 6.0) (* (sqrt (- y x)) 6.0) (* (- y x) 6.0) (* (- (sqrt y) (sqrt x)) 6.0) (* (- y x) 6.0) (* (- (pow y 3) (pow x 3)) 6.0) (* (- (* y y) (* x x)) 6.0) (exp (+ x (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)))) (log (+ x (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)))) (exp (+ x (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)))) (* (cbrt (+ x (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)))) (cbrt (+ x (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z))))) (cbrt (+ x (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)))) (pow (+ (* (* (- y x) 6.0) z) x) 3) (sqrt (+ x (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)))) (sqrt (+ x (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)))) (+ (pow x 3) (pow (* (* (* (- y x) 6.0) (sqrt z)) (sqrt z)) 3)) (- (* (* (* (* (- y x) 6.0) (* (- y x) 6.0)) z) z) (- (* (* (* (- y x) 6.0) z) x) (* x x))) (+ (* x x) (neg (* (* (* (* (- y x) 6.0) (* (- y x) 6.0)) z) z))) (+ x (neg (* (* (- y x) 6.0) z))) 0 (* 6.0 (- (* NAN y) (+ (/ (* x (pow NAN 3)) z) (* x NAN)))) (* 6.0 (- (+ (/ (* x (pow NAN 3)) z) (* NAN y)) (* x NAN))) 0 (* (* (- y x) 6.0) z) (+ (* 6.0 (- (* (pow NAN 2) y) (* x (pow NAN 2)))) (* 12.0 (/ (* x (pow NAN 4)) z))) (* (- y x) 6.0) (* (- y x) 6.0) (* (- y x) 6.0) (+ (* (* (- y x) 6.0) z) x) (+ (* (* (- y x) 6.0) z) x) (+ (- (* 6.0 (- (* (pow NAN 2) y) (* x (pow NAN 2)))) (* 12.0 (/ (* (pow NAN 4) y) z))) x) 0.962 * * * [progress]: adding candidates to table 1.046 * * [progress]: iteration 4 / 4 1.046 * * * [progress]: picking best candidate 1.055 * * * * [pick]: Picked # 1.055 * * * [progress]: localizing error 1.066 * * * [progress]: generating rewritten candidates 1.066 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 1.075 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 1.088 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 1.104 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 1.111 * * * [progress]: generating series expansions 1.111 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 1.111 * [approximate]: Taking taylor expansion of (* 6.0 (* (- y x) (pow z 1/4))) in (y x z) around 0 1.111 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) (pow z 1/4))) in z 1.111 * [taylor]: Taking taylor expansion of 6.0 in z 1.111 * [taylor]: Taking taylor expansion of (* (- y x) (pow z 1/4)) in z 1.111 * [taylor]: Taking taylor expansion of (- y x) in z 1.111 * [taylor]: Taking taylor expansion of y in z 1.111 * [taylor]: Taking taylor expansion of x in z 1.111 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 1.111 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 1.111 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 1.112 * [taylor]: Taking taylor expansion of 1/4 in z 1.112 * [taylor]: Taking taylor expansion of (log z) in z 1.112 * [taylor]: Taking taylor expansion of z in z 1.112 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) (pow z 1/4))) in x 1.112 * [taylor]: Taking taylor expansion of 6.0 in x 1.112 * [taylor]: Taking taylor expansion of (* (- y x) (pow z 1/4)) in x 1.112 * [taylor]: Taking taylor expansion of (- y x) in x 1.112 * [taylor]: Taking taylor expansion of y in x 1.112 * [taylor]: Taking taylor expansion of x in x 1.112 * [taylor]: Taking taylor expansion of (pow z 1/4) in x 1.112 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in x 1.112 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in x 1.112 * [taylor]: Taking taylor expansion of 1/4 in x 1.112 * [taylor]: Taking taylor expansion of (log z) in x 1.112 * [taylor]: Taking taylor expansion of z in x 1.112 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) (pow z 1/4))) in y 1.112 * [taylor]: Taking taylor expansion of 6.0 in y 1.112 * [taylor]: Taking taylor expansion of (* (- y x) (pow z 1/4)) in y 1.112 * [taylor]: Taking taylor expansion of (- y x) in y 1.112 * [taylor]: Taking taylor expansion of y in y 1.112 * [taylor]: Taking taylor expansion of x in y 1.112 * [taylor]: Taking taylor expansion of (pow z 1/4) in y 1.112 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in y 1.112 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in y 1.112 * [taylor]: Taking taylor expansion of 1/4 in y 1.112 * [taylor]: Taking taylor expansion of (log z) in y 1.112 * [taylor]: Taking taylor expansion of z in y 1.112 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) (pow z 1/4))) in y 1.112 * [taylor]: Taking taylor expansion of 6.0 in y 1.112 * [taylor]: Taking taylor expansion of (* (- y x) (pow z 1/4)) in y 1.112 * [taylor]: Taking taylor expansion of (- y x) in y 1.112 * [taylor]: Taking taylor expansion of y in y 1.112 * [taylor]: Taking taylor expansion of x in y 1.112 * [taylor]: Taking taylor expansion of (pow z 1/4) in y 1.112 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in y 1.112 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in y 1.112 * [taylor]: Taking taylor expansion of 1/4 in y 1.112 * [taylor]: Taking taylor expansion of (log z) in y 1.112 * [taylor]: Taking taylor expansion of z in y 1.113 * [taylor]: Taking taylor expansion of (* -6.0 (* x (pow z 1/4))) in x 1.113 * [taylor]: Taking taylor expansion of -6.0 in x 1.113 * [taylor]: Taking taylor expansion of (* x (pow z 1/4)) in x 1.113 * [taylor]: Taking taylor expansion of x in x 1.113 * [taylor]: Taking taylor expansion of (pow z 1/4) in x 1.113 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in x 1.113 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in x 1.113 * [taylor]: Taking taylor expansion of 1/4 in x 1.113 * [taylor]: Taking taylor expansion of (log z) in x 1.113 * [taylor]: Taking taylor expansion of z in x 1.113 * [taylor]: Taking taylor expansion of 0 in z 1.113 * [taylor]: Taking taylor expansion of (* 6.0 (pow z 1/4)) in x 1.113 * [taylor]: Taking taylor expansion of 6.0 in x 1.113 * [taylor]: Taking taylor expansion of (pow z 1/4) in x 1.113 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in x 1.113 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in x 1.113 * [taylor]: Taking taylor expansion of 1/4 in x 1.114 * [taylor]: Taking taylor expansion of (log z) in x 1.114 * [taylor]: Taking taylor expansion of z in x 1.114 * [taylor]: Taking taylor expansion of (* 6.0 (pow z 1/4)) in z 1.114 * [taylor]: Taking taylor expansion of 6.0 in z 1.114 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 1.114 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 1.114 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 1.114 * [taylor]: Taking taylor expansion of 1/4 in z 1.114 * [taylor]: Taking taylor expansion of (log z) in z 1.114 * [taylor]: Taking taylor expansion of z in z 1.114 * [taylor]: Taking taylor expansion of (neg (* 6.0 (pow z 1/4))) in z 1.114 * [taylor]: Taking taylor expansion of (* 6.0 (pow z 1/4)) in z 1.114 * [taylor]: Taking taylor expansion of 6.0 in z 1.114 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 1.114 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 1.114 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 1.114 * [taylor]: Taking taylor expansion of 1/4 in z 1.114 * [taylor]: Taking taylor expansion of (log z) in z 1.114 * [taylor]: Taking taylor expansion of z in z 1.115 * [taylor]: Taking taylor expansion of 0 in x 1.115 * [taylor]: Taking taylor expansion of 0 in z 1.116 * [taylor]: Taking taylor expansion of 0 in z 1.116 * [taylor]: Taking taylor expansion of 0 in z 1.117 * [approximate]: Taking taylor expansion of (* 6.0 (* (pow (/ 1 z) 1/4) (- (/ 1 y) (/ 1 x)))) in (y x z) around 0 1.117 * [taylor]: Taking taylor expansion of (* 6.0 (* (pow (/ 1 z) 1/4) (- (/ 1 y) (/ 1 x)))) in z 1.117 * [taylor]: Taking taylor expansion of 6.0 in z 1.117 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (- (/ 1 y) (/ 1 x))) in z 1.117 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 1.117 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 1.117 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 1.117 * [taylor]: Taking taylor expansion of 1/4 in z 1.117 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.117 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.117 * [taylor]: Taking taylor expansion of z in z 1.117 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 1.117 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.118 * [taylor]: Taking taylor expansion of y in z 1.118 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.118 * [taylor]: Taking taylor expansion of x in z 1.118 * [taylor]: Taking taylor expansion of (* 6.0 (* (pow (/ 1 z) 1/4) (- (/ 1 y) (/ 1 x)))) in x 1.118 * [taylor]: Taking taylor expansion of 6.0 in x 1.118 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (- (/ 1 y) (/ 1 x))) in x 1.118 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in x 1.118 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in x 1.118 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in x 1.118 * [taylor]: Taking taylor expansion of 1/4 in x 1.118 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in x 1.118 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.118 * [taylor]: Taking taylor expansion of z in x 1.118 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.118 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.118 * [taylor]: Taking taylor expansion of y in x 1.118 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.118 * [taylor]: Taking taylor expansion of x in x 1.118 * [taylor]: Taking taylor expansion of (* 6.0 (* (pow (/ 1 z) 1/4) (- (/ 1 y) (/ 1 x)))) in y 1.118 * [taylor]: Taking taylor expansion of 6.0 in y 1.118 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (- (/ 1 y) (/ 1 x))) in y 1.118 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in y 1.118 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in y 1.118 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in y 1.118 * [taylor]: Taking taylor expansion of 1/4 in y 1.118 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 1.118 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.118 * [taylor]: Taking taylor expansion of z in y 1.118 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 1.118 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.118 * [taylor]: Taking taylor expansion of y in y 1.118 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.118 * [taylor]: Taking taylor expansion of x in y 1.118 * [taylor]: Taking taylor expansion of (* 6.0 (* (pow (/ 1 z) 1/4) (- (/ 1 y) (/ 1 x)))) in y 1.118 * [taylor]: Taking taylor expansion of 6.0 in y 1.118 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/4) (- (/ 1 y) (/ 1 x))) in y 1.118 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in y 1.118 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in y 1.118 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in y 1.118 * [taylor]: Taking taylor expansion of 1/4 in y 1.118 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in y 1.118 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.118 * [taylor]: Taking taylor expansion of z in y 1.119 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 1.119 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.119 * [taylor]: Taking taylor expansion of y in y 1.119 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.119 * [taylor]: Taking taylor expansion of x in y 1.119 * [taylor]: Taking taylor expansion of (* 6.0 (pow (/ 1 z) 1/4)) in x 1.119 * [taylor]: Taking taylor expansion of 6.0 in x 1.119 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in x 1.119 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in x 1.119 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in x 1.119 * [taylor]: Taking taylor expansion of 1/4 in x 1.119 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in x 1.119 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.119 * [taylor]: Taking taylor expansion of z in x 1.120 * [taylor]: Taking taylor expansion of (neg (* 6.0 (* (/ 1 x) (pow (/ 1 z) 1/4)))) in x 1.120 * [taylor]: Taking taylor expansion of (* 6.0 (* (/ 1 x) (pow (/ 1 z) 1/4))) in x 1.120 * [taylor]: Taking taylor expansion of 6.0 in x 1.120 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ 1 z) 1/4)) in x 1.120 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.120 * [taylor]: Taking taylor expansion of x in x 1.120 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in x 1.120 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in x 1.120 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in x 1.120 * [taylor]: Taking taylor expansion of 1/4 in x 1.120 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in x 1.120 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.120 * [taylor]: Taking taylor expansion of z in x 1.120 * [taylor]: Taking taylor expansion of (neg (* 6.0 (pow (/ 1 z) 1/4))) in z 1.120 * [taylor]: Taking taylor expansion of (* 6.0 (pow (/ 1 z) 1/4)) in z 1.120 * [taylor]: Taking taylor expansion of 6.0 in z 1.120 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 1.120 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 1.120 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 1.120 * [taylor]: Taking taylor expansion of 1/4 in z 1.120 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.120 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.120 * [taylor]: Taking taylor expansion of z in z 1.121 * [taylor]: Taking taylor expansion of (* 6.0 (pow (/ 1 z) 1/4)) in z 1.121 * [taylor]: Taking taylor expansion of 6.0 in z 1.121 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 1.121 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 1.121 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 1.121 * [taylor]: Taking taylor expansion of 1/4 in z 1.121 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.121 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.121 * [taylor]: Taking taylor expansion of z in z 1.122 * [taylor]: Taking taylor expansion of 0 in x 1.122 * [taylor]: Taking taylor expansion of 0 in z 1.123 * [taylor]: Taking taylor expansion of 0 in z 1.125 * [taylor]: Taking taylor expansion of 0 in x 1.125 * [taylor]: Taking taylor expansion of 0 in z 1.125 * [taylor]: Taking taylor expansion of 0 in z 1.126 * [approximate]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (sqrt (sqrt (/ -1 z))))) in (y x z) around 0 1.126 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (sqrt (sqrt (/ -1 z))))) in z 1.126 * [taylor]: Taking taylor expansion of 6.0 in z 1.126 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (sqrt (/ -1 z)))) in z 1.126 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 1.126 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.126 * [taylor]: Taking taylor expansion of x in z 1.126 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.126 * [taylor]: Taking taylor expansion of y in z 1.126 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 1.126 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 1.126 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.126 * [taylor]: Taking taylor expansion of -1 in z 1.126 * [taylor]: Taking taylor expansion of z in z 1.126 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (sqrt (sqrt (/ -1 z))))) in x 1.126 * [taylor]: Taking taylor expansion of 6.0 in x 1.126 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (sqrt (/ -1 z)))) in x 1.126 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.126 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.126 * [taylor]: Taking taylor expansion of x in x 1.126 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.126 * [taylor]: Taking taylor expansion of y in x 1.126 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in x 1.126 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 1.126 * [taylor]: Taking taylor expansion of (/ -1 z) in x 1.126 * [taylor]: Taking taylor expansion of -1 in x 1.126 * [taylor]: Taking taylor expansion of z in x 1.127 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (sqrt (sqrt (/ -1 z))))) in y 1.127 * [taylor]: Taking taylor expansion of 6.0 in y 1.127 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (sqrt (/ -1 z)))) in y 1.127 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 1.127 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.127 * [taylor]: Taking taylor expansion of x in y 1.127 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.127 * [taylor]: Taking taylor expansion of y in y 1.127 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in y 1.127 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 1.127 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.127 * [taylor]: Taking taylor expansion of -1 in y 1.127 * [taylor]: Taking taylor expansion of z in y 1.127 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (sqrt (sqrt (/ -1 z))))) in y 1.127 * [taylor]: Taking taylor expansion of 6.0 in y 1.127 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (sqrt (/ -1 z)))) in y 1.127 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 1.127 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.127 * [taylor]: Taking taylor expansion of x in y 1.127 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.127 * [taylor]: Taking taylor expansion of y in y 1.127 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in y 1.127 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 1.127 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.127 * [taylor]: Taking taylor expansion of -1 in y 1.127 * [taylor]: Taking taylor expansion of z in y 1.127 * [taylor]: Taking taylor expansion of (* -6.0 (sqrt (sqrt (/ -1 z)))) in x 1.128 * [taylor]: Taking taylor expansion of -6.0 in x 1.128 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in x 1.128 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 1.128 * [taylor]: Taking taylor expansion of (/ -1 z) in x 1.128 * [taylor]: Taking taylor expansion of -1 in x 1.128 * [taylor]: Taking taylor expansion of z in x 1.128 * [taylor]: Taking taylor expansion of (* 6.0 (* (/ 1 x) (sqrt (sqrt (/ -1 z))))) in x 1.128 * [taylor]: Taking taylor expansion of 6.0 in x 1.128 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (sqrt (/ -1 z)))) in x 1.128 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.128 * [taylor]: Taking taylor expansion of x in x 1.128 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in x 1.128 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 1.128 * [taylor]: Taking taylor expansion of (/ -1 z) in x 1.128 * [taylor]: Taking taylor expansion of -1 in x 1.128 * [taylor]: Taking taylor expansion of z in x 1.128 * [taylor]: Taking taylor expansion of (* 6.0 (sqrt (sqrt (/ -1 z)))) in z 1.128 * [taylor]: Taking taylor expansion of 6.0 in z 1.129 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 1.129 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 1.129 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.129 * [taylor]: Taking taylor expansion of -1 in z 1.129 * [taylor]: Taking taylor expansion of z in z 1.129 * [taylor]: Taking taylor expansion of (* -6.0 (sqrt (sqrt (/ -1 z)))) in z 1.129 * [taylor]: Taking taylor expansion of -6.0 in z 1.129 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 1.129 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 1.129 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.129 * [taylor]: Taking taylor expansion of -1 in z 1.129 * [taylor]: Taking taylor expansion of z in z 1.130 * [taylor]: Taking taylor expansion of 0 in x 1.130 * [taylor]: Taking taylor expansion of 0 in z 1.130 * [taylor]: Taking taylor expansion of 0 in z 1.130 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 1.131 * [approximate]: Taking taylor expansion of (* 6.0 (* (- y x) (sqrt z))) in (y x z) around 0 1.131 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) (sqrt z))) in z 1.131 * [taylor]: Taking taylor expansion of 6.0 in z 1.131 * [taylor]: Taking taylor expansion of (* (- y x) (sqrt z)) in z 1.131 * [taylor]: Taking taylor expansion of (- y x) in z 1.131 * [taylor]: Taking taylor expansion of y in z 1.131 * [taylor]: Taking taylor expansion of x in z 1.131 * [taylor]: Taking taylor expansion of (sqrt z) in z 1.131 * [taylor]: Taking taylor expansion of z in z 1.131 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) (sqrt z))) in x 1.131 * [taylor]: Taking taylor expansion of 6.0 in x 1.131 * [taylor]: Taking taylor expansion of (* (- y x) (sqrt z)) in x 1.131 * [taylor]: Taking taylor expansion of (- y x) in x 1.131 * [taylor]: Taking taylor expansion of y in x 1.131 * [taylor]: Taking taylor expansion of x in x 1.131 * [taylor]: Taking taylor expansion of (sqrt z) in x 1.131 * [taylor]: Taking taylor expansion of z in x 1.131 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) (sqrt z))) in y 1.131 * [taylor]: Taking taylor expansion of 6.0 in y 1.131 * [taylor]: Taking taylor expansion of (* (- y x) (sqrt z)) in y 1.131 * [taylor]: Taking taylor expansion of (- y x) in y 1.131 * [taylor]: Taking taylor expansion of y in y 1.131 * [taylor]: Taking taylor expansion of x in y 1.131 * [taylor]: Taking taylor expansion of (sqrt z) in y 1.131 * [taylor]: Taking taylor expansion of z in y 1.131 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) (sqrt z))) in y 1.131 * [taylor]: Taking taylor expansion of 6.0 in y 1.131 * [taylor]: Taking taylor expansion of (* (- y x) (sqrt z)) in y 1.131 * [taylor]: Taking taylor expansion of (- y x) in y 1.131 * [taylor]: Taking taylor expansion of y in y 1.131 * [taylor]: Taking taylor expansion of x in y 1.131 * [taylor]: Taking taylor expansion of (sqrt z) in y 1.131 * [taylor]: Taking taylor expansion of z in y 1.131 * [taylor]: Taking taylor expansion of (* -6.0 (* x (sqrt z))) in x 1.131 * [taylor]: Taking taylor expansion of -6.0 in x 1.131 * [taylor]: Taking taylor expansion of (* x (sqrt z)) in x 1.131 * [taylor]: Taking taylor expansion of x in x 1.131 * [taylor]: Taking taylor expansion of (sqrt z) in x 1.132 * [taylor]: Taking taylor expansion of z in x 1.132 * [taylor]: Taking taylor expansion of 0 in z 1.132 * [taylor]: Taking taylor expansion of (* 6.0 (sqrt z)) in x 1.132 * [taylor]: Taking taylor expansion of 6.0 in x 1.132 * [taylor]: Taking taylor expansion of (sqrt z) in x 1.132 * [taylor]: Taking taylor expansion of z in x 1.132 * [taylor]: Taking taylor expansion of (* 6.0 (sqrt z)) in z 1.132 * [taylor]: Taking taylor expansion of 6.0 in z 1.132 * [taylor]: Taking taylor expansion of (sqrt z) in z 1.132 * [taylor]: Taking taylor expansion of z in z 1.132 * [taylor]: Taking taylor expansion of (neg (* 6.0 (sqrt z))) in z 1.132 * [taylor]: Taking taylor expansion of (* 6.0 (sqrt z)) in z 1.132 * [taylor]: Taking taylor expansion of 6.0 in z 1.132 * [taylor]: Taking taylor expansion of (sqrt z) in z 1.132 * [taylor]: Taking taylor expansion of z in z 1.132 * [taylor]: Taking taylor expansion of 0 in x 1.132 * [taylor]: Taking taylor expansion of 0 in z 1.132 * [taylor]: Taking taylor expansion of 0 in z 1.133 * [approximate]: Taking taylor expansion of (* 6.0 (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in (y x z) around 0 1.133 * [taylor]: Taking taylor expansion of (* 6.0 (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in z 1.133 * [taylor]: Taking taylor expansion of 6.0 in z 1.133 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x))) in z 1.133 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 1.133 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.133 * [taylor]: Taking taylor expansion of z in z 1.133 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 1.133 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.133 * [taylor]: Taking taylor expansion of y in z 1.133 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.133 * [taylor]: Taking taylor expansion of x in z 1.133 * [taylor]: Taking taylor expansion of (* 6.0 (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in x 1.133 * [taylor]: Taking taylor expansion of 6.0 in x 1.133 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x))) in x 1.133 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x 1.133 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.133 * [taylor]: Taking taylor expansion of z in x 1.133 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.133 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.133 * [taylor]: Taking taylor expansion of y in x 1.133 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.133 * [taylor]: Taking taylor expansion of x in x 1.133 * [taylor]: Taking taylor expansion of (* 6.0 (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in y 1.133 * [taylor]: Taking taylor expansion of 6.0 in y 1.133 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x))) in y 1.133 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 1.133 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.133 * [taylor]: Taking taylor expansion of z in y 1.133 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 1.133 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.133 * [taylor]: Taking taylor expansion of y in y 1.133 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.133 * [taylor]: Taking taylor expansion of x in y 1.134 * [taylor]: Taking taylor expansion of (* 6.0 (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x)))) in y 1.134 * [taylor]: Taking taylor expansion of 6.0 in y 1.134 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (- (/ 1 y) (/ 1 x))) in y 1.134 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 1.134 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.134 * [taylor]: Taking taylor expansion of z in y 1.134 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 1.134 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.134 * [taylor]: Taking taylor expansion of y in y 1.134 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.134 * [taylor]: Taking taylor expansion of x in y 1.134 * [taylor]: Taking taylor expansion of (* 6.0 (sqrt (/ 1 z))) in x 1.134 * [taylor]: Taking taylor expansion of 6.0 in x 1.134 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x 1.134 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.134 * [taylor]: Taking taylor expansion of z in x 1.134 * [taylor]: Taking taylor expansion of (neg (* 6.0 (* (/ 1 x) (sqrt (/ 1 z))))) in x 1.134 * [taylor]: Taking taylor expansion of (* 6.0 (* (/ 1 x) (sqrt (/ 1 z)))) in x 1.134 * [taylor]: Taking taylor expansion of 6.0 in x 1.134 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (/ 1 z))) in x 1.134 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.134 * [taylor]: Taking taylor expansion of x in x 1.135 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x 1.135 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.135 * [taylor]: Taking taylor expansion of z in x 1.135 * [taylor]: Taking taylor expansion of (neg (* 6.0 (sqrt (/ 1 z)))) in z 1.135 * [taylor]: Taking taylor expansion of (* 6.0 (sqrt (/ 1 z))) in z 1.135 * [taylor]: Taking taylor expansion of 6.0 in z 1.135 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 1.135 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.135 * [taylor]: Taking taylor expansion of z in z 1.135 * [taylor]: Taking taylor expansion of (* 6.0 (sqrt (/ 1 z))) in z 1.135 * [taylor]: Taking taylor expansion of 6.0 in z 1.135 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 1.135 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.135 * [taylor]: Taking taylor expansion of z in z 1.135 * [taylor]: Taking taylor expansion of 0 in x 1.136 * [taylor]: Taking taylor expansion of 0 in z 1.136 * [taylor]: Taking taylor expansion of 0 in z 1.136 * [taylor]: Taking taylor expansion of 0 in x 1.136 * [taylor]: Taking taylor expansion of 0 in z 1.137 * [taylor]: Taking taylor expansion of 0 in z 1.137 * [taylor]: Taking taylor expansion of 0 in z 1.138 * [approximate]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z)))) in (y x z) around 0 1.138 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z)))) in z 1.138 * [taylor]: Taking taylor expansion of 6.0 in z 1.138 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z))) in z 1.138 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 1.138 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.138 * [taylor]: Taking taylor expansion of x in z 1.138 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.138 * [taylor]: Taking taylor expansion of y in z 1.138 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 1.138 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.138 * [taylor]: Taking taylor expansion of -1 in z 1.138 * [taylor]: Taking taylor expansion of z in z 1.138 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z)))) in x 1.138 * [taylor]: Taking taylor expansion of 6.0 in x 1.138 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z))) in x 1.138 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.138 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.138 * [taylor]: Taking taylor expansion of x in x 1.138 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.138 * [taylor]: Taking taylor expansion of y in x 1.138 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 1.138 * [taylor]: Taking taylor expansion of (/ -1 z) in x 1.138 * [taylor]: Taking taylor expansion of -1 in x 1.138 * [taylor]: Taking taylor expansion of z in x 1.138 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z)))) in y 1.138 * [taylor]: Taking taylor expansion of 6.0 in y 1.138 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z))) in y 1.138 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 1.138 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.138 * [taylor]: Taking taylor expansion of x in y 1.138 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.138 * [taylor]: Taking taylor expansion of y in y 1.138 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 1.138 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.138 * [taylor]: Taking taylor expansion of -1 in y 1.138 * [taylor]: Taking taylor expansion of z in y 1.139 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z)))) in y 1.139 * [taylor]: Taking taylor expansion of 6.0 in y 1.139 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (/ -1 z))) in y 1.139 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 1.139 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.139 * [taylor]: Taking taylor expansion of x in y 1.139 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.139 * [taylor]: Taking taylor expansion of y in y 1.139 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 1.139 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.139 * [taylor]: Taking taylor expansion of -1 in y 1.139 * [taylor]: Taking taylor expansion of z in y 1.139 * [taylor]: Taking taylor expansion of (* -6.0 (sqrt (/ -1 z))) in x 1.139 * [taylor]: Taking taylor expansion of -6.0 in x 1.139 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 1.139 * [taylor]: Taking taylor expansion of (/ -1 z) in x 1.139 * [taylor]: Taking taylor expansion of -1 in x 1.139 * [taylor]: Taking taylor expansion of z in x 1.139 * [taylor]: Taking taylor expansion of (* 6.0 (/ (sqrt (/ -1 z)) x)) in x 1.139 * [taylor]: Taking taylor expansion of 6.0 in x 1.139 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) x) in x 1.139 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 1.139 * [taylor]: Taking taylor expansion of (/ -1 z) in x 1.139 * [taylor]: Taking taylor expansion of -1 in x 1.139 * [taylor]: Taking taylor expansion of z in x 1.140 * [taylor]: Taking taylor expansion of x in x 1.140 * [taylor]: Taking taylor expansion of (* 6.0 (sqrt (/ -1 z))) in z 1.140 * [taylor]: Taking taylor expansion of 6.0 in z 1.140 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 1.140 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.140 * [taylor]: Taking taylor expansion of -1 in z 1.140 * [taylor]: Taking taylor expansion of z in z 1.140 * [taylor]: Taking taylor expansion of (* -6.0 (sqrt (/ -1 z))) in z 1.140 * [taylor]: Taking taylor expansion of -6.0 in z 1.140 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 1.140 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.140 * [taylor]: Taking taylor expansion of -1 in z 1.140 * [taylor]: Taking taylor expansion of z in z 1.140 * [taylor]: Taking taylor expansion of 0 in x 1.140 * [taylor]: Taking taylor expansion of 0 in z 1.141 * [taylor]: Taking taylor expansion of 0 in z 1.141 * [taylor]: Taking taylor expansion of 0 in x 1.141 * [taylor]: Taking taylor expansion of 0 in z 1.141 * [taylor]: Taking taylor expansion of 0 in z 1.142 * [taylor]: Taking taylor expansion of 0 in z 1.142 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 1.142 * [approximate]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in (y x z) around 0 1.142 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in z 1.142 * [taylor]: Taking taylor expansion of 6.0 in z 1.142 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 1.142 * [taylor]: Taking taylor expansion of (- y x) in z 1.142 * [taylor]: Taking taylor expansion of y in z 1.142 * [taylor]: Taking taylor expansion of x in z 1.142 * [taylor]: Taking taylor expansion of z in z 1.142 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in x 1.143 * [taylor]: Taking taylor expansion of 6.0 in x 1.143 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 1.143 * [taylor]: Taking taylor expansion of (- y x) in x 1.143 * [taylor]: Taking taylor expansion of y in x 1.143 * [taylor]: Taking taylor expansion of x in x 1.143 * [taylor]: Taking taylor expansion of z in x 1.143 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y 1.143 * [taylor]: Taking taylor expansion of 6.0 in y 1.143 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 1.143 * [taylor]: Taking taylor expansion of (- y x) in y 1.143 * [taylor]: Taking taylor expansion of y in y 1.143 * [taylor]: Taking taylor expansion of x in y 1.143 * [taylor]: Taking taylor expansion of z in y 1.143 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y 1.143 * [taylor]: Taking taylor expansion of 6.0 in y 1.143 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 1.143 * [taylor]: Taking taylor expansion of (- y x) in y 1.143 * [taylor]: Taking taylor expansion of y in y 1.143 * [taylor]: Taking taylor expansion of x in y 1.143 * [taylor]: Taking taylor expansion of z in y 1.143 * [taylor]: Taking taylor expansion of (* -6.0 (* x z)) in x 1.143 * [taylor]: Taking taylor expansion of -6.0 in x 1.143 * [taylor]: Taking taylor expansion of (* x z) in x 1.143 * [taylor]: Taking taylor expansion of x in x 1.143 * [taylor]: Taking taylor expansion of z in x 1.143 * [taylor]: Taking taylor expansion of 0 in z 1.143 * [taylor]: Taking taylor expansion of (* 6.0 z) in x 1.143 * [taylor]: Taking taylor expansion of 6.0 in x 1.143 * [taylor]: Taking taylor expansion of z in x 1.143 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 1.143 * [taylor]: Taking taylor expansion of 6.0 in z 1.143 * [taylor]: Taking taylor expansion of z in z 1.143 * [taylor]: Taking taylor expansion of (neg (* 6.0 z)) in z 1.143 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 1.143 * [taylor]: Taking taylor expansion of 6.0 in z 1.143 * [taylor]: Taking taylor expansion of z in z 1.144 * [taylor]: Taking taylor expansion of 0 in x 1.144 * [taylor]: Taking taylor expansion of 0 in z 1.144 * [taylor]: Taking taylor expansion of 0 in z 1.144 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in (y x z) around 0 1.144 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z 1.144 * [taylor]: Taking taylor expansion of 6.0 in z 1.144 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 1.144 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 1.144 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.144 * [taylor]: Taking taylor expansion of y in z 1.144 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.144 * [taylor]: Taking taylor expansion of x in z 1.144 * [taylor]: Taking taylor expansion of z in z 1.144 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x 1.144 * [taylor]: Taking taylor expansion of 6.0 in x 1.144 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x 1.144 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.144 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.144 * [taylor]: Taking taylor expansion of y in x 1.144 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.144 * [taylor]: Taking taylor expansion of x in x 1.144 * [taylor]: Taking taylor expansion of z in x 1.144 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 1.144 * [taylor]: Taking taylor expansion of 6.0 in y 1.144 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 1.144 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 1.144 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.144 * [taylor]: Taking taylor expansion of y in y 1.144 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.144 * [taylor]: Taking taylor expansion of x in y 1.145 * [taylor]: Taking taylor expansion of z in y 1.145 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 1.145 * [taylor]: Taking taylor expansion of 6.0 in y 1.145 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 1.145 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 1.145 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.145 * [taylor]: Taking taylor expansion of y in y 1.145 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.145 * [taylor]: Taking taylor expansion of x in y 1.145 * [taylor]: Taking taylor expansion of z in y 1.145 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 1.145 * [taylor]: Taking taylor expansion of 6.0 in x 1.145 * [taylor]: Taking taylor expansion of z in x 1.145 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 (* x z)))) in x 1.145 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 1.145 * [taylor]: Taking taylor expansion of 6.0 in x 1.145 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 1.145 * [taylor]: Taking taylor expansion of (* x z) in x 1.145 * [taylor]: Taking taylor expansion of x in x 1.145 * [taylor]: Taking taylor expansion of z in x 1.145 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 z))) in z 1.145 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 1.145 * [taylor]: Taking taylor expansion of 6.0 in z 1.145 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.145 * [taylor]: Taking taylor expansion of z in z 1.145 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 1.145 * [taylor]: Taking taylor expansion of 6.0 in z 1.145 * [taylor]: Taking taylor expansion of z in z 1.146 * [taylor]: Taking taylor expansion of 0 in x 1.146 * [taylor]: Taking taylor expansion of 0 in z 1.146 * [taylor]: Taking taylor expansion of 0 in z 1.146 * [taylor]: Taking taylor expansion of 0 in x 1.146 * [taylor]: Taking taylor expansion of 0 in z 1.147 * [taylor]: Taking taylor expansion of 0 in z 1.147 * [taylor]: Taking taylor expansion of 0 in z 1.147 * [approximate]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2))) in (y x z) around 0 1.147 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2))) in z 1.147 * [taylor]: Taking taylor expansion of 6.0 in z 1.147 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2)) in z 1.147 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 1.147 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.147 * [taylor]: Taking taylor expansion of x in z 1.147 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.147 * [taylor]: Taking taylor expansion of y in z 1.147 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 1.147 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 1.147 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.147 * [taylor]: Taking taylor expansion of -1 in z 1.147 * [taylor]: Taking taylor expansion of z in z 1.147 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2))) in x 1.147 * [taylor]: Taking taylor expansion of 6.0 in x 1.147 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2)) in x 1.147 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.148 * [taylor]: Taking taylor expansion of x in x 1.148 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.148 * [taylor]: Taking taylor expansion of y in x 1.148 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x 1.148 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 1.148 * [taylor]: Taking taylor expansion of (/ -1 z) in x 1.148 * [taylor]: Taking taylor expansion of -1 in x 1.148 * [taylor]: Taking taylor expansion of z in x 1.148 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2))) in y 1.148 * [taylor]: Taking taylor expansion of 6.0 in y 1.148 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2)) in y 1.148 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 1.148 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.148 * [taylor]: Taking taylor expansion of x in y 1.148 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.148 * [taylor]: Taking taylor expansion of y in y 1.148 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in y 1.148 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 1.148 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.148 * [taylor]: Taking taylor expansion of -1 in y 1.148 * [taylor]: Taking taylor expansion of z in y 1.148 * [taylor]: Taking taylor expansion of (* 6.0 (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2))) in y 1.148 * [taylor]: Taking taylor expansion of 6.0 in y 1.148 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt (/ -1 z)) 2)) in y 1.148 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 1.148 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.148 * [taylor]: Taking taylor expansion of x in y 1.148 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.148 * [taylor]: Taking taylor expansion of y in y 1.148 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in y 1.148 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 1.148 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.148 * [taylor]: Taking taylor expansion of -1 in y 1.148 * [taylor]: Taking taylor expansion of z in y 1.149 * [taylor]: Taking taylor expansion of (* -6.0 (pow (sqrt (/ -1 z)) 2)) in x 1.149 * [taylor]: Taking taylor expansion of -6.0 in x 1.149 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x 1.149 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 1.149 * [taylor]: Taking taylor expansion of (/ -1 z) in x 1.149 * [taylor]: Taking taylor expansion of -1 in x 1.149 * [taylor]: Taking taylor expansion of z in x 1.149 * [taylor]: Taking taylor expansion of (* 6.0 (/ (pow (sqrt (/ -1 z)) 2) x)) in x 1.149 * [taylor]: Taking taylor expansion of 6.0 in x 1.149 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) x) in x 1.149 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x 1.149 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 1.149 * [taylor]: Taking taylor expansion of (/ -1 z) in x 1.149 * [taylor]: Taking taylor expansion of -1 in x 1.149 * [taylor]: Taking taylor expansion of z in x 1.150 * [taylor]: Taking taylor expansion of x in x 1.150 * [taylor]: Taking taylor expansion of (* 6.0 (pow (sqrt (/ -1 z)) 2)) in z 1.150 * [taylor]: Taking taylor expansion of 6.0 in z 1.150 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 1.150 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 1.150 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.150 * [taylor]: Taking taylor expansion of -1 in z 1.150 * [taylor]: Taking taylor expansion of z in z 1.150 * [taylor]: Taking taylor expansion of (* -6.0 (pow (sqrt (/ -1 z)) 2)) in z 1.150 * [taylor]: Taking taylor expansion of -6.0 in z 1.150 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 1.150 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 1.150 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.150 * [taylor]: Taking taylor expansion of -1 in z 1.150 * [taylor]: Taking taylor expansion of z in z 1.151 * [taylor]: Taking taylor expansion of 0 in x 1.151 * [taylor]: Taking taylor expansion of 0 in z 1.151 * [taylor]: Taking taylor expansion of 0 in z 1.152 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 1.152 * [approximate]: Taking taylor expansion of (pow z 1/4) in (z) around 0 1.152 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 1.152 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 1.152 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 1.152 * [taylor]: Taking taylor expansion of 1/4 in z 1.152 * [taylor]: Taking taylor expansion of (log z) in z 1.152 * [taylor]: Taking taylor expansion of z in z 1.153 * [taylor]: Taking taylor expansion of (pow z 1/4) in z 1.153 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log z))) in z 1.153 * [taylor]: Taking taylor expansion of (* 1/4 (log z)) in z 1.153 * [taylor]: Taking taylor expansion of 1/4 in z 1.153 * [taylor]: Taking taylor expansion of (log z) in z 1.153 * [taylor]: Taking taylor expansion of z in z 1.158 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/4) in (z) around 0 1.158 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 1.158 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 1.158 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 1.158 * [taylor]: Taking taylor expansion of 1/4 in z 1.158 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.158 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.158 * [taylor]: Taking taylor expansion of z in z 1.159 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/4) in z 1.159 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 z)))) in z 1.159 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 z))) in z 1.159 * [taylor]: Taking taylor expansion of 1/4 in z 1.159 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.159 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.159 * [taylor]: Taking taylor expansion of z in z 1.165 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in (z) around 0 1.165 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 1.165 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 1.165 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.165 * [taylor]: Taking taylor expansion of -1 in z 1.165 * [taylor]: Taking taylor expansion of z in z 1.165 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 z))) in z 1.165 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 1.165 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.165 * [taylor]: Taking taylor expansion of -1 in z 1.165 * [taylor]: Taking taylor expansion of z in z 1.166 * * * [progress]: simplifying candidates 1.168 * [simplify]: Simplifying using # : (* (* (- y x) 6.0) (sqrt (sqrt z))) (* (* (- y x) 6.0) (sqrt (sqrt z))) (+ (+ (log (- y x)) (log 6.0)) (log (sqrt (sqrt z)))) (+ (log (* (- y x) 6.0)) (log (sqrt (sqrt z)))) (log (* (* (- y x) 6.0) (sqrt (sqrt z)))) (exp (* (* (- y x) 6.0) (sqrt (sqrt z)))) (* (* (* (* (- y x) (- y x)) (- y x)) (* (* 6.0 6.0) 6.0)) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (* (* (- y x) 6.0) (* (- y x) 6.0)) (* (- y x) 6.0)) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (cbrt (* (* (- y x) 6.0) (sqrt (sqrt z)))) (cbrt (* (* (- y x) 6.0) (sqrt (sqrt z))))) (cbrt (* (* (- y x) 6.0) (sqrt (sqrt z)))) (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (* (* (- y x) 6.0) (sqrt (sqrt z)))) (* (* (- y x) 6.0) (sqrt (sqrt z)))) (sqrt (* (* (- y x) 6.0) (sqrt (sqrt z)))) (sqrt (* (* (- y x) 6.0) (sqrt (sqrt z)))) (* (* (- y x) 6.0) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))))) (* (* (- y x) 6.0) (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* (* (- y x) 6.0) (sqrt (sqrt (* (cbrt z) (cbrt z))))) (* (* (- y x) 6.0) (sqrt (sqrt (sqrt z)))) (* (* (- y x) 6.0) (sqrt (sqrt 1))) (* (* (- y x) 6.0) (sqrt (sqrt (sqrt z)))) (* (* (- y x) 6.0) (sqrt 1)) (* (* (- y x) 6.0) (sqrt (sqrt (sqrt z)))) (* (* (- y x) 6.0) 1) (* 6.0 (sqrt (sqrt z))) (* (* (- (pow y 3) (pow x 3)) 6.0) (sqrt (sqrt z))) (* (* (- (* y y) (* x x)) 6.0) (sqrt (sqrt z))) (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (+ (+ (+ (log (- y x)) (log 6.0)) (log (sqrt (sqrt z)))) (log (sqrt (sqrt z)))) (+ (+ (log (* (- y x) 6.0)) (log (sqrt (sqrt z)))) (log (sqrt (sqrt z)))) (+ (log (* (* (- y x) 6.0) (sqrt (sqrt z)))) (log (sqrt (sqrt z)))) (log (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z)))) (exp (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (* (* (* (- y x) (- y x)) (- y x)) (* (* 6.0 6.0) 6.0)) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (* (* (* (- y x) 6.0) (* (- y x) 6.0)) (* (- y x) 6.0)) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (* (* (- y x) 6.0) (sqrt (sqrt z)))) (* (* (- y x) 6.0) (sqrt (sqrt z)))) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (cbrt (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z)))) (cbrt (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))))) (cbrt (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z)))) (sqrt (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z)))) (sqrt (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))))) (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z))))) (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt (* (cbrt z) (cbrt z))))) (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt 1))) (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt 1)) (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (* (* (* (- y x) 6.0) (sqrt (sqrt z))) 1) (* (sqrt (sqrt z)) (sqrt (sqrt z))) (* (* (* (- (pow y 3) (pow x 3)) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (* (* (* (- (* y y) (* x x)) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt z)) (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt z)) (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt z)) (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt z)) (+ (+ (+ (+ (log (- y x)) (log 6.0)) (log (sqrt (sqrt z)))) (log (sqrt (sqrt z)))) (log (sqrt z))) (+ (+ (+ (log (* (- y x) 6.0)) (log (sqrt (sqrt z)))) (log (sqrt (sqrt z)))) (log (sqrt z))) (+ (+ (log (* (* (- y x) 6.0) (sqrt (sqrt z)))) (log (sqrt (sqrt z)))) (log (sqrt z))) (+ (log (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z)))) (log (sqrt z))) (log (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt z))) (exp (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt z))) (* (* (* (* (* (* (- y x) (- y x)) (- y x)) (* (* 6.0 6.0) 6.0)) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (* (* (* (* (* (- y x) 6.0) (* (- y x) 6.0)) (* (- y x) 6.0)) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (* (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (* (* (- y x) 6.0) (sqrt (sqrt z)))) (* (* (- y x) 6.0) (sqrt (sqrt z)))) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (* (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (cbrt (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt z))) (cbrt (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt z)))) (cbrt (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt z))) (* (* (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt z)) (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt z))) (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt z))) (sqrt (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt z))) (sqrt (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt z))) (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt (* (cbrt z) (cbrt z)))) (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt (sqrt z))) (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt 1)) (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt (sqrt z))) (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) 1) (* (sqrt (sqrt z)) (sqrt z)) (* (* (* (* (- (pow y 3) (pow x 3)) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt z)) (* (* (* (* (- (* y y) (* x x)) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt z)) (log (sqrt (sqrt z))) (exp (sqrt (sqrt z))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt z))) (* (* (sqrt (sqrt z)) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (sqrt (cbrt (sqrt z))) (sqrt (sqrt (* (cbrt z) (cbrt z)))) (sqrt (sqrt (cbrt z))) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (sqrt (sqrt 1)) (sqrt (sqrt z)) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (sqrt 1) (sqrt (sqrt z)) (/ 1/2 2) (/ 1 2) (/ (/ 1 2) 2) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (- (* 6.0 (* (exp (* 1/4 (+ (log z) (log 1)))) y)) (* 6.0 (* (exp (* 1/4 (+ (log z) (log 1)))) x))) (- (* 6.0 (* (exp (* 1/4 (- (log 1) (log (/ 1 z))))) y)) (* 6.0 (* (exp (* 1/4 (- (log 1) (log (/ 1 z))))) x))) (- (+ (* 6.0 (* (sqrt NAN) y)) (* 3.0 (* (/ x z) (sqrt (pow NAN 5))))) (* 6.0 (* x (sqrt NAN)))) 0 (- (* 6.0 (* NAN y)) (+ (* 6.0 (/ (* x (pow NAN 3)) z)) (* 6.0 (* x NAN)))) (- (+ (* 6.0 (/ (* x (pow NAN 3)) z)) (* 6.0 (* NAN y))) (* 6.0 (* x NAN))) 0 (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (+ (* 12.0 (/ (* x (pow NAN 4)) z)) (* 6.0 (* (pow NAN 2) y))) (* 6.0 (* x (pow NAN 2)))) (exp (* 1/4 (+ (log z) (log 1)))) (exp (* 1/4 (- (log 1) (log (/ 1 z))))) (- (+ (* 3/8 (* (sqrt (pow NAN 9)) (/ 1 (pow z 2)))) (sqrt NAN)) (* 1/2 (* (sqrt (pow NAN 5)) (/ 1 z)))) 1.175 * * [simplify]: iteration 0 : 563 enodes (cost 909 ) 1.186 * * [simplify]: iteration 1 : 2653 enodes (cost 691 ) 1.233 * * [simplify]: iteration 2 : 5002 enodes (cost 635 ) 1.237 * [simplify]: Simplified to: (* (* (- y x) 6.0) (sqrt (sqrt z))) (* (* (- y x) 6.0) (sqrt (sqrt z))) (log (* (* (- y x) 6.0) (sqrt (sqrt z)))) (log (* (* (- y x) 6.0) (sqrt (sqrt z)))) (log (* (* (- y x) 6.0) (sqrt (sqrt z)))) (exp (* (* (- y x) 6.0) (sqrt (sqrt z)))) (pow (* (* (- y x) 6.0) (sqrt (sqrt z))) 3) (pow (* (* (- y x) 6.0) (sqrt (sqrt z))) 3) (* (cbrt (* (* (- y x) 6.0) (sqrt (sqrt z)))) (cbrt (* (* (- y x) 6.0) (sqrt (sqrt z))))) (cbrt (* (* (- y x) 6.0) (sqrt (sqrt z)))) (pow (* (* (- y x) 6.0) (sqrt (sqrt z))) 3) (sqrt (* (* (- y x) 6.0) (sqrt (sqrt z)))) (sqrt (* (* (- y x) 6.0) (sqrt (sqrt z)))) (* (* (- y x) 6.0) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))))) (* (- y x) (* 6.0 (fabs (cbrt (sqrt z))))) (* (* (- y x) 6.0) (sqrt (sqrt (* (cbrt z) (cbrt z))))) (* (* (- y x) 6.0) (sqrt (sqrt (sqrt z)))) (* (- y x) 6.0) (* (* (- y x) 6.0) (sqrt (sqrt (sqrt z)))) (* (- y x) 6.0) (* (* (- y x) 6.0) (sqrt (sqrt (sqrt z)))) (* (- y x) 6.0) (* 6.0 (sqrt (sqrt z))) (* (* (- (pow y 3) (pow x 3)) 6.0) (sqrt (sqrt z))) (* (* (- (* y y) (* x x)) 6.0) (sqrt (sqrt z))) (* (* (- y x) 6.0) (sqrt z)) (* (* (- y x) 6.0) (sqrt z)) (* (* (- y x) 6.0) (sqrt z)) (log (* (* (- y x) 6.0) (sqrt z))) (log (* (* (- y x) 6.0) (sqrt z))) (log (* (* (- y x) 6.0) (sqrt z))) (log (* (* (- y x) 6.0) (sqrt z))) (pow (exp (* (- y x) 6.0)) (sqrt z)) (pow (* (* (- y x) 6.0) (sqrt z)) 3) (pow (* (* (- y x) 6.0) (sqrt z)) 3) (pow (* (* (- y x) 6.0) (sqrt z)) 3) (* (cbrt (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z)))) (cbrt (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))))) (cbrt (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z)))) (pow (* (* (- y x) 6.0) (sqrt z)) 3) (sqrt (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z)))) (sqrt (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z)))) (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z))))) (* (* (- y x) 6.0) (* (sqrt (sqrt z)) (fabs (cbrt (sqrt z))))) (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt (* (cbrt z) (cbrt z))))) (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (* (* (- y x) 6.0) (sqrt (sqrt z))) (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (* (* (- y x) 6.0) (sqrt (sqrt z))) (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt (sqrt z)))) (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt z) (* (* (- (pow y 3) (pow x 3)) 6.0) (sqrt z)) (* (* (- (* y y) (* x x)) 6.0) (sqrt z)) (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z) (+ (log (* (- y x) 6.0)) (log z)) (+ (log (* (- y x) 6.0)) (log z)) (+ (log (* (- y x) 6.0)) (log z)) (+ (log (* (- y x) 6.0)) (log z)) (+ (log (* (- y x) 6.0)) (log z)) (pow (exp (* (- y x) 6.0)) z) (pow (* (* (- y x) 6.0) z) 3) (pow (* (* (- y x) 6.0) z) 3) (pow (* (* (- y x) 6.0) z) 3) (pow (* (* (- y x) 6.0) z) 3) (* (cbrt (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt z))) (cbrt (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt z)))) (cbrt (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt z))) (pow (* (* (- y x) 6.0) z) 3) (sqrt (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt z))) (sqrt (* (* (* (* (- y x) 6.0) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt z))) (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (* (- y x) 6.0) (sqrt z))) (* (fabs (cbrt z)) (* (* (- y x) 6.0) (sqrt z))) (* (* (- y x) 6.0) (pow (sqrt (sqrt z)) 3)) (* (* (- y x) 6.0) (sqrt z)) (* (* (- y x) 6.0) (pow (sqrt (sqrt z)) 3)) (* (* (- y x) 6.0) (sqrt z)) (pow (sqrt (sqrt z)) 3) (* (* (- (pow y 3) (pow x 3)) 6.0) z) (* (* (- (* y y) (* x x)) 6.0) z) (log (sqrt (sqrt z))) (exp (sqrt (sqrt z))) (* (cbrt (sqrt (sqrt z))) (cbrt (sqrt (sqrt z)))) (cbrt (sqrt (sqrt z))) (pow (sqrt (sqrt z)) 3) (fabs (cbrt (sqrt z))) (sqrt (cbrt (sqrt z))) (sqrt (sqrt (* (cbrt z) (cbrt z)))) (sqrt (sqrt (cbrt z))) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) 1 (sqrt (sqrt z)) (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) 1 (sqrt (sqrt z)) 1/4 1/2 1/4 (sqrt (sqrt (sqrt z))) (sqrt (sqrt (sqrt z))) (* (* 6.0 (exp (* 1/4 (+ (log z) (log 1))))) (- y x)) (* (* 6.0 (exp (* 1/4 (+ (log z) (log 1))))) (- y x)) (- (+ (* 6.0 (* (sqrt NAN) y)) (* 3.0 (* (/ x z) (sqrt (pow NAN 5))))) (* 6.0 (* x (sqrt NAN)))) 0 (* 6.0 (- (* NAN y) (+ (/ (* x (pow NAN 3)) z) (* x NAN)))) (* 6.0 (- (+ (/ (* x (pow NAN 3)) z) (* NAN y)) (* x NAN))) 0 (* (* z (- y x)) 6.0) (+ (* 6.0 (- (* (pow NAN 2) y) (* x (pow NAN 2)))) (* 12.0 (/ (* x (pow NAN 4)) z))) (pow z 1/4) (pow z 1/4) (+ (- (sqrt NAN) (* 1/2 (* (sqrt (pow NAN 5)) (/ 1 z)))) (/ (* 3/8 (sqrt (pow NAN 9))) (pow z 2))) 1.237 * * * [progress]: adding candidates to table 1.328 * [progress]: [Phase 3 of 3] Extracting. 1.328 * * [regime]: Finding splitpoints for: (# # # # #) 1.329 * * * [regime-changes]: Trying 4 branch expressions: ((+ x (* (* (- y x) 6.0) z)) z y x) 1.329 * * * * [regimes]: Trying to branch on (+ x (* (* (- y x) 6.0) z)) from (# # # # #) 1.383 * * * * [regimes]: Trying to branch on z from (# # # # #) 1.435 * * * * [regimes]: Trying to branch on y from (# # # # #) 1.485 * * * * [regimes]: Trying to branch on x from (# # # # #) 1.536 * * * [regime]: Found split indices: #