27.171 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.040 * * * [progress]: [2/2] Setting up program.
0.043 * [progress]: [Phase 2 of 3] Improving.
0.043 * [simplify]: Simplifying:
  (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.75)) z)) y))
0.043 * * [simplify]: Extracting # 0 : cost  0
0.044 * * [simplify]: Extracting # 1 : cost  0
0.044 * * [simplify]: Extracting # 2 : cost  0
0.044 * * [simplify]: Extracting # 3 : cost  0
0.044 * * [simplify]: Extracting # 4 : cost  0
0.044 * * [simplify]: Extracting # 5 : cost  0
0.044 * * [simplify]: Extracting # 6 : cost  0
0.044 * * [simplify]: Extracting # 7 : cost  0
0.044 * * [simplify]: iteration  0 :  12  enodes  (cost  13 )
0.047 * * [simplify]: Extracting # 0 : cost  0
0.047 * * [simplify]: Extracting # 1 : cost  0
0.047 * * [simplify]: Extracting # 2 : cost  0
0.047 * * [simplify]: iteration  1 :  22  enodes  (cost  13 )
0.052 * * [simplify]: Extracting # 0 : cost  0
0.052 * * [simplify]: Extracting # 1 : cost  0
0.052 * * [simplify]: Extracting # 2 : cost  0
0.052 * * [simplify]: iteration  2 :  46  enodes  (cost  13 )
0.062 * * [simplify]: Extracting # 0 : cost  0
0.062 * * [simplify]: Extracting # 1 : cost  0
0.062 * * [simplify]: Extracting # 2 : cost  0
0.062 * * [simplify]: iteration  3 :  109  enodes  (cost  13 )
0.116 * * [simplify]: Extracting # 0 : cost  0
0.116 * * [simplify]: Extracting # 1 : cost  0
0.117 * * [simplify]: Extracting # 2 : cost  0
0.117 * * [simplify]: iteration  4 :  232  enodes  (cost  13 )
0.203 * * [simplify]: Extracting # 0 : cost  0
0.204 * * [simplify]: Extracting # 1 : cost  0
0.204 * * [simplify]: Extracting # 2 : cost  0
0.205 * * [simplify]: iteration  5 :  364  enodes  (cost  13 )
0.341 * * [simplify]: Extracting # 0 : cost  0
0.342 * * [simplify]: Extracting # 1 : cost  0
0.343 * * [simplify]: Extracting # 2 : cost  0
0.344 * * [simplify]: iteration  6 :  485  enodes  (cost  13 )
0.558 * * [simplify]: Extracting # 0 : cost  0
0.559 * * [simplify]: Extracting # 1 : cost  0
0.559 * * [simplify]: Extracting # 2 : cost  0
0.560 * * [simplify]: Extracting # 3 : cost  0
0.560 * * [simplify]: iteration  7 :  648  enodes  (cost  11 )
0.982 * * [simplify]: Extracting # 0 : cost  0
0.984 * * [simplify]: Extracting # 1 : cost  0
0.986 * * [simplify]: Extracting # 2 : cost  0
0.988 * * [simplify]: Extracting # 3 : cost  0
0.989 * * [simplify]: iteration  8 :  1081  enodes  (cost  11 )
2.373 * * [simplify]: Extracting # 0 : cost  0
2.376 * * [simplify]: Extracting # 1 : cost  0
2.378 * * [simplify]: Extracting # 2 : cost  0
2.379 * * [simplify]: iteration  9 :  2451  enodes  (cost  11 )
6.513 * * [simplify]: Extracting # 0 : cost  0
6.526 * * [simplify]: Extracting # 1 : cost  0
6.533 * * [simplify]: Extracting # 2 : cost  0
6.539 * * [simplify]: Extracting # 3 : cost  0
6.546 * * [simplify]: iteration done:  5001  enodes  (cost  11 )
6.546 * [simplify]: Simplified to:
  (+ 1.0 (* (+ (/ (- x z) y) 0.75) 4.0))
6.551 * * [progress]: iteration 1 / 4
6.551 * * * [progress]: picking best candidate
6.556 * * * * [pick]: Picked  #<alt (λ (x y z) (+ 1.0 (* (+ (/ (- x z) y) 0.75) 4.0)))>
6.556 * * * [progress]: localizing error
6.573 * * * [progress]: generating rewritten candidates
6.573 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1 1)
6.608 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
6.649 * * * [progress]: generating series expansions
6.649 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1 1)
6.650 * [backup-simplify]: Simplify (/ (- x z) y) into (/ (- x z) y)
6.650 * [approximate]: Taking taylor expansion of (/ (- x z) y) in (x z y) around 0
6.650 * [taylor]: Taking taylor expansion of (/ (- x z) y) in y
6.650 * [taylor]: Taking taylor expansion of (- x z) in y
6.650 * [taylor]: Taking taylor expansion of x in y
6.650 * [backup-simplify]: Simplify x into x
6.650 * [taylor]: Taking taylor expansion of z in y
6.650 * [backup-simplify]: Simplify z into z
6.650 * [taylor]: Taking taylor expansion of y in y
6.650 * [backup-simplify]: Simplify 0 into 0
6.650 * [backup-simplify]: Simplify 1 into 1
6.650 * [backup-simplify]: Simplify (- z) into (- z)
6.650 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
6.650 * [backup-simplify]: Simplify (/ (- x z) 1) into (- x z)
6.650 * [taylor]: Taking taylor expansion of (/ (- x z) y) in z
6.650 * [taylor]: Taking taylor expansion of (- x z) in z
6.650 * [taylor]: Taking taylor expansion of x in z
6.650 * [backup-simplify]: Simplify x into x
6.650 * [taylor]: Taking taylor expansion of z in z
6.650 * [backup-simplify]: Simplify 0 into 0
6.650 * [backup-simplify]: Simplify 1 into 1
6.650 * [taylor]: Taking taylor expansion of y in z
6.650 * [backup-simplify]: Simplify y into y
6.651 * [backup-simplify]: Simplify (- 0) into 0
6.651 * [backup-simplify]: Simplify (+ x 0) into x
6.651 * [backup-simplify]: Simplify (/ x y) into (/ x y)
6.651 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x
6.651 * [taylor]: Taking taylor expansion of (- x z) in x
6.651 * [taylor]: Taking taylor expansion of x in x
6.651 * [backup-simplify]: Simplify 0 into 0
6.651 * [backup-simplify]: Simplify 1 into 1
6.651 * [taylor]: Taking taylor expansion of z in x
6.651 * [backup-simplify]: Simplify z into z
6.652 * [taylor]: Taking taylor expansion of y in x
6.652 * [backup-simplify]: Simplify y into y
6.652 * [backup-simplify]: Simplify (- z) into (- z)
6.652 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
6.652 * [backup-simplify]: Simplify (/ (- z) y) into (* -1 (/ z y))
6.652 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x
6.652 * [taylor]: Taking taylor expansion of (- x z) in x
6.652 * [taylor]: Taking taylor expansion of x in x
6.652 * [backup-simplify]: Simplify 0 into 0
6.652 * [backup-simplify]: Simplify 1 into 1
6.652 * [taylor]: Taking taylor expansion of z in x
6.652 * [backup-simplify]: Simplify z into z
6.652 * [taylor]: Taking taylor expansion of y in x
6.652 * [backup-simplify]: Simplify y into y
6.652 * [backup-simplify]: Simplify (- z) into (- z)
6.652 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
6.652 * [backup-simplify]: Simplify (/ (- z) y) into (* -1 (/ z y))
6.652 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z
6.652 * [taylor]: Taking taylor expansion of -1 in z
6.652 * [backup-simplify]: Simplify -1 into -1
6.652 * [taylor]: Taking taylor expansion of (/ z y) in z
6.652 * [taylor]: Taking taylor expansion of z in z
6.652 * [backup-simplify]: Simplify 0 into 0
6.652 * [backup-simplify]: Simplify 1 into 1
6.653 * [taylor]: Taking taylor expansion of y in z
6.653 * [backup-simplify]: Simplify y into y
6.653 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.653 * [backup-simplify]: Simplify (- 0) into 0
6.654 * [backup-simplify]: Simplify (+ 1 0) into 1
6.654 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* (* -1 (/ z y)) (/ 0 y)))) into (/ 1 y)
6.654 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.654 * [taylor]: Taking taylor expansion of y in z
6.654 * [backup-simplify]: Simplify y into y
6.654 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.654 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.654 * [taylor]: Taking taylor expansion of y in y
6.654 * [backup-simplify]: Simplify 0 into 0
6.654 * [backup-simplify]: Simplify 1 into 1
6.654 * [backup-simplify]: Simplify (/ 1 1) into 1
6.654 * [backup-simplify]: Simplify 1 into 1
6.655 * [backup-simplify]: Simplify (* -1 (/ 1 y)) into (/ -1 y)
6.655 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.655 * [taylor]: Taking taylor expansion of -1 in y
6.655 * [backup-simplify]: Simplify -1 into -1
6.655 * [taylor]: Taking taylor expansion of y in y
6.655 * [backup-simplify]: Simplify 0 into 0
6.655 * [backup-simplify]: Simplify 1 into 1
6.655 * [backup-simplify]: Simplify (/ -1 1) into -1
6.655 * [backup-simplify]: Simplify -1 into -1
6.656 * [backup-simplify]: Simplify (- 0) into 0
6.656 * [backup-simplify]: Simplify (+ 0 0) into 0
6.656 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* -1 (/ z y)) (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0
6.656 * [taylor]: Taking taylor expansion of 0 in z
6.656 * [backup-simplify]: Simplify 0 into 0
6.656 * [taylor]: Taking taylor expansion of 0 in y
6.656 * [backup-simplify]: Simplify 0 into 0
6.656 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.656 * [taylor]: Taking taylor expansion of 0 in y
6.656 * [backup-simplify]: Simplify 0 into 0
6.656 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
6.657 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 y))) into 0
6.657 * [taylor]: Taking taylor expansion of 0 in y
6.657 * [backup-simplify]: Simplify 0 into 0
6.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.657 * [backup-simplify]: Simplify 0 into 0
6.658 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
6.658 * [backup-simplify]: Simplify 0 into 0
6.658 * [backup-simplify]: Simplify (- 0) into 0
6.658 * [backup-simplify]: Simplify (+ 0 0) into 0
6.658 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* -1 (/ z y)) (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.658 * [taylor]: Taking taylor expansion of 0 in z
6.658 * [backup-simplify]: Simplify 0 into 0
6.659 * [taylor]: Taking taylor expansion of 0 in y
6.659 * [backup-simplify]: Simplify 0 into 0
6.659 * [taylor]: Taking taylor expansion of 0 in y
6.659 * [backup-simplify]: Simplify 0 into 0
6.659 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.659 * [taylor]: Taking taylor expansion of 0 in y
6.659 * [backup-simplify]: Simplify 0 into 0
6.659 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.659 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
6.659 * [taylor]: Taking taylor expansion of 0 in y
6.659 * [backup-simplify]: Simplify 0 into 0
6.659 * [backup-simplify]: Simplify 0 into 0
6.659 * [backup-simplify]: Simplify 0 into 0
6.659 * [backup-simplify]: Simplify 0 into 0
6.660 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.660 * [backup-simplify]: Simplify 0 into 0
6.660 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 y) (* z 1))) (* 1 (* (/ 1 y) (* 1 x)))) into (- (/ x y) (/ z y))
6.660 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) (/ 1 y)) into (* y (- (/ 1 x) (/ 1 z)))
6.660 * [approximate]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in (x z y) around 0
6.660 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in y
6.660 * [taylor]: Taking taylor expansion of y in y
6.660 * [backup-simplify]: Simplify 0 into 0
6.660 * [backup-simplify]: Simplify 1 into 1
6.660 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
6.660 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.661 * [taylor]: Taking taylor expansion of x in y
6.661 * [backup-simplify]: Simplify x into x
6.661 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.661 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.661 * [taylor]: Taking taylor expansion of z in y
6.661 * [backup-simplify]: Simplify z into z
6.661 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.661 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in z
6.661 * [taylor]: Taking taylor expansion of y in z
6.661 * [backup-simplify]: Simplify y into y
6.661 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
6.661 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.661 * [taylor]: Taking taylor expansion of x in z
6.661 * [backup-simplify]: Simplify x into x
6.661 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.661 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.661 * [taylor]: Taking taylor expansion of z in z
6.661 * [backup-simplify]: Simplify 0 into 0
6.661 * [backup-simplify]: Simplify 1 into 1
6.661 * [backup-simplify]: Simplify (/ 1 1) into 1
6.661 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x
6.661 * [taylor]: Taking taylor expansion of y in x
6.661 * [backup-simplify]: Simplify y into y
6.661 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
6.661 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.661 * [taylor]: Taking taylor expansion of x in x
6.661 * [backup-simplify]: Simplify 0 into 0
6.661 * [backup-simplify]: Simplify 1 into 1
6.661 * [backup-simplify]: Simplify (/ 1 1) into 1
6.662 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.662 * [taylor]: Taking taylor expansion of z in x
6.662 * [backup-simplify]: Simplify z into z
6.662 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.662 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x
6.662 * [taylor]: Taking taylor expansion of y in x
6.662 * [backup-simplify]: Simplify y into y
6.662 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
6.662 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.662 * [taylor]: Taking taylor expansion of x in x
6.662 * [backup-simplify]: Simplify 0 into 0
6.662 * [backup-simplify]: Simplify 1 into 1
6.662 * [backup-simplify]: Simplify (/ 1 1) into 1
6.662 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.662 * [taylor]: Taking taylor expansion of z in x
6.662 * [backup-simplify]: Simplify z into z
6.662 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.662 * [backup-simplify]: Simplify (+ 1 0) into 1
6.662 * [backup-simplify]: Simplify (* y 1) into y
6.662 * [taylor]: Taking taylor expansion of y in z
6.662 * [backup-simplify]: Simplify y into y
6.663 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.663 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
6.663 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
6.663 * [backup-simplify]: Simplify (+ (* y (- (/ 1 z))) (* 0 1)) into (- (/ y z))
6.663 * [taylor]: Taking taylor expansion of (- (/ y z)) in z
6.663 * [taylor]: Taking taylor expansion of (/ y z) in z
6.663 * [taylor]: Taking taylor expansion of y in z
6.663 * [backup-simplify]: Simplify y into y
6.664 * [taylor]: Taking taylor expansion of z in z
6.664 * [backup-simplify]: Simplify 0 into 0
6.664 * [backup-simplify]: Simplify 1 into 1
6.664 * [backup-simplify]: Simplify (/ y 1) into y
6.664 * [backup-simplify]: Simplify (- y) into (- y)
6.664 * [taylor]: Taking taylor expansion of (- y) in y
6.664 * [taylor]: Taking taylor expansion of y in y
6.664 * [backup-simplify]: Simplify 0 into 0
6.664 * [backup-simplify]: Simplify 1 into 1
6.664 * [backup-simplify]: Simplify (- 0) into 0
6.664 * [backup-simplify]: Simplify 0 into 0
6.664 * [taylor]: Taking taylor expansion of y in y
6.664 * [backup-simplify]: Simplify 0 into 0
6.664 * [backup-simplify]: Simplify 1 into 1
6.664 * [backup-simplify]: Simplify 0 into 0
6.665 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.665 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
6.665 * [backup-simplify]: Simplify (- 0) into 0
6.665 * [backup-simplify]: Simplify (+ 0 0) into 0
6.665 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (- (/ 1 z))) (* 0 1))) into 0
6.665 * [taylor]: Taking taylor expansion of 0 in z
6.666 * [backup-simplify]: Simplify 0 into 0
6.666 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
6.666 * [backup-simplify]: Simplify (- 0) into 0
6.666 * [taylor]: Taking taylor expansion of 0 in y
6.666 * [backup-simplify]: Simplify 0 into 0
6.666 * [backup-simplify]: Simplify 0 into 0
6.666 * [taylor]: Taking taylor expansion of 0 in y
6.666 * [backup-simplify]: Simplify 0 into 0
6.666 * [backup-simplify]: Simplify 0 into 0
6.667 * [backup-simplify]: Simplify (- 1) into -1
6.667 * [backup-simplify]: Simplify -1 into -1
6.667 * [backup-simplify]: Simplify 1 into 1
6.667 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.667 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
6.668 * [backup-simplify]: Simplify (- 0) into 0
6.668 * [backup-simplify]: Simplify (+ 0 0) into 0
6.668 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z))) (* 0 1)))) into 0
6.668 * [taylor]: Taking taylor expansion of 0 in z
6.668 * [backup-simplify]: Simplify 0 into 0
6.668 * [taylor]: Taking taylor expansion of 0 in y
6.668 * [backup-simplify]: Simplify 0 into 0
6.668 * [backup-simplify]: Simplify 0 into 0
6.669 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.670 * [backup-simplify]: Simplify (- 0) into 0
6.670 * [taylor]: Taking taylor expansion of 0 in y
6.670 * [backup-simplify]: Simplify 0 into 0
6.670 * [backup-simplify]: Simplify 0 into 0
6.670 * [taylor]: Taking taylor expansion of 0 in y
6.670 * [backup-simplify]: Simplify 0 into 0
6.670 * [backup-simplify]: Simplify 0 into 0
6.670 * [backup-simplify]: Simplify 0 into 0
6.670 * [backup-simplify]: Simplify 0 into 0
6.670 * [backup-simplify]: Simplify (- 0) into 0
6.670 * [backup-simplify]: Simplify 0 into 0
6.670 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 y) (* 1 (/ 1 (/ 1 x))))) (* -1 (* (/ 1 y) (* (/ 1 (/ 1 z)) 1)))) into (- (/ x y) (/ z y))
6.670 * [backup-simplify]: Simplify (/ (- (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y))) into (* -1 (* y (- (/ 1 z) (/ 1 x))))
6.670 * [approximate]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in (x z y) around 0
6.670 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in y
6.670 * [taylor]: Taking taylor expansion of -1 in y
6.671 * [backup-simplify]: Simplify -1 into -1
6.671 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y
6.671 * [taylor]: Taking taylor expansion of y in y
6.671 * [backup-simplify]: Simplify 0 into 0
6.671 * [backup-simplify]: Simplify 1 into 1
6.671 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
6.671 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.671 * [taylor]: Taking taylor expansion of z in y
6.671 * [backup-simplify]: Simplify z into z
6.671 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.671 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.671 * [taylor]: Taking taylor expansion of x in y
6.671 * [backup-simplify]: Simplify x into x
6.671 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.671 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in z
6.671 * [taylor]: Taking taylor expansion of -1 in z
6.671 * [backup-simplify]: Simplify -1 into -1
6.671 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z
6.671 * [taylor]: Taking taylor expansion of y in z
6.671 * [backup-simplify]: Simplify y into y
6.671 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
6.671 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.671 * [taylor]: Taking taylor expansion of z in z
6.671 * [backup-simplify]: Simplify 0 into 0
6.671 * [backup-simplify]: Simplify 1 into 1
6.671 * [backup-simplify]: Simplify (/ 1 1) into 1
6.671 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.671 * [taylor]: Taking taylor expansion of x in z
6.671 * [backup-simplify]: Simplify x into x
6.671 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.671 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in x
6.671 * [taylor]: Taking taylor expansion of -1 in x
6.671 * [backup-simplify]: Simplify -1 into -1
6.671 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x
6.671 * [taylor]: Taking taylor expansion of y in x
6.671 * [backup-simplify]: Simplify y into y
6.671 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
6.671 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.671 * [taylor]: Taking taylor expansion of z in x
6.671 * [backup-simplify]: Simplify z into z
6.671 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.672 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.672 * [taylor]: Taking taylor expansion of x in x
6.672 * [backup-simplify]: Simplify 0 into 0
6.672 * [backup-simplify]: Simplify 1 into 1
6.672 * [backup-simplify]: Simplify (/ 1 1) into 1
6.672 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in x
6.672 * [taylor]: Taking taylor expansion of -1 in x
6.672 * [backup-simplify]: Simplify -1 into -1
6.672 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x
6.672 * [taylor]: Taking taylor expansion of y in x
6.672 * [backup-simplify]: Simplify y into y
6.672 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
6.672 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.672 * [taylor]: Taking taylor expansion of z in x
6.672 * [backup-simplify]: Simplify z into z
6.672 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.672 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.672 * [taylor]: Taking taylor expansion of x in x
6.672 * [backup-simplify]: Simplify 0 into 0
6.672 * [backup-simplify]: Simplify 1 into 1
6.672 * [backup-simplify]: Simplify (/ 1 1) into 1
6.673 * [backup-simplify]: Simplify (- 1) into -1
6.673 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.673 * [backup-simplify]: Simplify (* y -1) into (* -1 y)
6.673 * [backup-simplify]: Simplify (* -1 (* -1 y)) into y
6.673 * [taylor]: Taking taylor expansion of y in z
6.673 * [backup-simplify]: Simplify y into y
6.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.674 * [backup-simplify]: Simplify (- 0) into 0
6.674 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
6.674 * [backup-simplify]: Simplify (+ (* y (/ 1 z)) (* 0 -1)) into (/ y z)
6.674 * [backup-simplify]: Simplify (+ (* -1 (/ y z)) (* 0 (* -1 y))) into (- (/ y z))
6.674 * [taylor]: Taking taylor expansion of (- (/ y z)) in z
6.674 * [taylor]: Taking taylor expansion of (/ y z) in z
6.674 * [taylor]: Taking taylor expansion of y in z
6.674 * [backup-simplify]: Simplify y into y
6.674 * [taylor]: Taking taylor expansion of z in z
6.674 * [backup-simplify]: Simplify 0 into 0
6.674 * [backup-simplify]: Simplify 1 into 1
6.674 * [backup-simplify]: Simplify (/ y 1) into y
6.674 * [backup-simplify]: Simplify (- y) into (- y)
6.674 * [taylor]: Taking taylor expansion of (- y) in y
6.674 * [taylor]: Taking taylor expansion of y in y
6.674 * [backup-simplify]: Simplify 0 into 0
6.674 * [backup-simplify]: Simplify 1 into 1
6.675 * [backup-simplify]: Simplify (- 0) into 0
6.675 * [backup-simplify]: Simplify 0 into 0
6.675 * [taylor]: Taking taylor expansion of y in y
6.675 * [backup-simplify]: Simplify 0 into 0
6.675 * [backup-simplify]: Simplify 1 into 1
6.675 * [backup-simplify]: Simplify 0 into 0
6.675 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
6.675 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.676 * [backup-simplify]: Simplify (- 0) into 0
6.676 * [backup-simplify]: Simplify (+ 0 0) into 0
6.676 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (/ 1 z)) (* 0 -1))) into 0
6.677 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ y z)) (* 0 (* -1 y)))) into 0
6.677 * [taylor]: Taking taylor expansion of 0 in z
6.677 * [backup-simplify]: Simplify 0 into 0
6.677 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
6.677 * [backup-simplify]: Simplify (- 0) into 0
6.677 * [taylor]: Taking taylor expansion of 0 in y
6.677 * [backup-simplify]: Simplify 0 into 0
6.677 * [backup-simplify]: Simplify 0 into 0
6.677 * [taylor]: Taking taylor expansion of 0 in y
6.677 * [backup-simplify]: Simplify 0 into 0
6.677 * [backup-simplify]: Simplify 0 into 0
6.678 * [backup-simplify]: Simplify (- 1) into -1
6.678 * [backup-simplify]: Simplify -1 into -1
6.678 * [backup-simplify]: Simplify 1 into 1
6.678 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
6.679 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.679 * [backup-simplify]: Simplify (- 0) into 0
6.679 * [backup-simplify]: Simplify (+ 0 0) into 0
6.680 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (/ 1 z)) (* 0 -1)))) into 0
6.680 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ y z)) (* 0 (* -1 y))))) into 0
6.680 * [taylor]: Taking taylor expansion of 0 in z
6.680 * [backup-simplify]: Simplify 0 into 0
6.680 * [taylor]: Taking taylor expansion of 0 in y
6.680 * [backup-simplify]: Simplify 0 into 0
6.680 * [backup-simplify]: Simplify 0 into 0
6.681 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.681 * [backup-simplify]: Simplify (- 0) into 0
6.681 * [taylor]: Taking taylor expansion of 0 in y
6.681 * [backup-simplify]: Simplify 0 into 0
6.681 * [backup-simplify]: Simplify 0 into 0
6.681 * [taylor]: Taking taylor expansion of 0 in y
6.682 * [backup-simplify]: Simplify 0 into 0
6.682 * [backup-simplify]: Simplify 0 into 0
6.682 * [backup-simplify]: Simplify 0 into 0
6.682 * [backup-simplify]: Simplify 0 into 0
6.682 * [backup-simplify]: Simplify (- 0) into 0
6.682 * [backup-simplify]: Simplify 0 into 0
6.682 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- y)) (* 1 (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (- y)) (* (/ 1 (/ 1 (- z))) 1)))) into (- (/ x y) (/ z y))
6.682 * * * * [progress]: [ 2 / 2 ] generating series at (2)
6.682 * [backup-simplify]: Simplify (+ 1.0 (* (+ (/ (- x z) y) 0.75) 4.0)) into (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y)))
6.682 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) in (x z y) around 0
6.682 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) in y
6.682 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 4.0) in y
6.682 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in y
6.682 * [taylor]: Taking taylor expansion of 4.0 in y
6.683 * [backup-simplify]: Simplify 4.0 into 4.0
6.683 * [taylor]: Taking taylor expansion of (/ x y) in y
6.683 * [taylor]: Taking taylor expansion of x in y
6.683 * [backup-simplify]: Simplify x into x
6.683 * [taylor]: Taking taylor expansion of y in y
6.683 * [backup-simplify]: Simplify 0 into 0
6.683 * [backup-simplify]: Simplify 1 into 1
6.683 * [backup-simplify]: Simplify (/ x 1) into x
6.683 * [taylor]: Taking taylor expansion of 4.0 in y
6.683 * [backup-simplify]: Simplify 4.0 into 4.0
6.683 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y
6.683 * [taylor]: Taking taylor expansion of 4.0 in y
6.683 * [backup-simplify]: Simplify 4.0 into 4.0
6.683 * [taylor]: Taking taylor expansion of (/ z y) in y
6.683 * [taylor]: Taking taylor expansion of z in y
6.683 * [backup-simplify]: Simplify z into z
6.683 * [taylor]: Taking taylor expansion of y in y
6.683 * [backup-simplify]: Simplify 0 into 0
6.683 * [backup-simplify]: Simplify 1 into 1
6.683 * [backup-simplify]: Simplify (/ z 1) into z
6.683 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) in z
6.683 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 4.0) in z
6.683 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in z
6.683 * [taylor]: Taking taylor expansion of 4.0 in z
6.683 * [backup-simplify]: Simplify 4.0 into 4.0
6.683 * [taylor]: Taking taylor expansion of (/ x y) in z
6.683 * [taylor]: Taking taylor expansion of x in z
6.683 * [backup-simplify]: Simplify x into x
6.683 * [taylor]: Taking taylor expansion of y in z
6.683 * [backup-simplify]: Simplify y into y
6.683 * [backup-simplify]: Simplify (/ x y) into (/ x y)
6.683 * [taylor]: Taking taylor expansion of 4.0 in z
6.683 * [backup-simplify]: Simplify 4.0 into 4.0
6.683 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in z
6.683 * [taylor]: Taking taylor expansion of 4.0 in z
6.683 * [backup-simplify]: Simplify 4.0 into 4.0
6.683 * [taylor]: Taking taylor expansion of (/ z y) in z
6.683 * [taylor]: Taking taylor expansion of z in z
6.683 * [backup-simplify]: Simplify 0 into 0
6.683 * [backup-simplify]: Simplify 1 into 1
6.683 * [taylor]: Taking taylor expansion of y in z
6.683 * [backup-simplify]: Simplify y into y
6.683 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.683 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) in x
6.683 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 4.0) in x
6.683 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in x
6.683 * [taylor]: Taking taylor expansion of 4.0 in x
6.683 * [backup-simplify]: Simplify 4.0 into 4.0
6.683 * [taylor]: Taking taylor expansion of (/ x y) in x
6.683 * [taylor]: Taking taylor expansion of x in x
6.683 * [backup-simplify]: Simplify 0 into 0
6.683 * [backup-simplify]: Simplify 1 into 1
6.683 * [taylor]: Taking taylor expansion of y in x
6.683 * [backup-simplify]: Simplify y into y
6.684 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.684 * [taylor]: Taking taylor expansion of 4.0 in x
6.684 * [backup-simplify]: Simplify 4.0 into 4.0
6.684 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in x
6.684 * [taylor]: Taking taylor expansion of 4.0 in x
6.684 * [backup-simplify]: Simplify 4.0 into 4.0
6.684 * [taylor]: Taking taylor expansion of (/ z y) in x
6.684 * [taylor]: Taking taylor expansion of z in x
6.684 * [backup-simplify]: Simplify z into z
6.684 * [taylor]: Taking taylor expansion of y in x
6.684 * [backup-simplify]: Simplify y into y
6.684 * [backup-simplify]: Simplify (/ z y) into (/ z y)
6.684 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) in x
6.684 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 4.0) in x
6.684 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in x
6.684 * [taylor]: Taking taylor expansion of 4.0 in x
6.684 * [backup-simplify]: Simplify 4.0 into 4.0
6.684 * [taylor]: Taking taylor expansion of (/ x y) in x
6.684 * [taylor]: Taking taylor expansion of x in x
6.684 * [backup-simplify]: Simplify 0 into 0
6.684 * [backup-simplify]: Simplify 1 into 1
6.684 * [taylor]: Taking taylor expansion of y in x
6.684 * [backup-simplify]: Simplify y into y
6.684 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.684 * [taylor]: Taking taylor expansion of 4.0 in x
6.684 * [backup-simplify]: Simplify 4.0 into 4.0
6.684 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in x
6.684 * [taylor]: Taking taylor expansion of 4.0 in x
6.684 * [backup-simplify]: Simplify 4.0 into 4.0
6.684 * [taylor]: Taking taylor expansion of (/ z y) in x
6.684 * [taylor]: Taking taylor expansion of z in x
6.684 * [backup-simplify]: Simplify z into z
6.684 * [taylor]: Taking taylor expansion of y in x
6.684 * [backup-simplify]: Simplify y into y
6.685 * [backup-simplify]: Simplify (/ z y) into (/ z y)
6.685 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
6.685 * [backup-simplify]: Simplify (* 4.0 (/ z y)) into (* 4.0 (/ z y))
6.685 * [backup-simplify]: Simplify (- (* 4.0 (/ z y))) into (- (* 4.0 (/ z y)))
6.686 * [backup-simplify]: Simplify (+ 4.0 (- (* 4.0 (/ z y)))) into (- 4.0 (* 4.0 (/ z y)))
6.686 * [taylor]: Taking taylor expansion of (- 4.0 (* 4.0 (/ z y))) in z
6.686 * [taylor]: Taking taylor expansion of 4.0 in z
6.686 * [backup-simplify]: Simplify 4.0 into 4.0
6.686 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in z
6.686 * [taylor]: Taking taylor expansion of 4.0 in z
6.686 * [backup-simplify]: Simplify 4.0 into 4.0
6.686 * [taylor]: Taking taylor expansion of (/ z y) in z
6.686 * [taylor]: Taking taylor expansion of z in z
6.686 * [backup-simplify]: Simplify 0 into 0
6.686 * [backup-simplify]: Simplify 1 into 1
6.686 * [taylor]: Taking taylor expansion of y in z
6.686 * [backup-simplify]: Simplify y into y
6.686 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.687 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
6.687 * [taylor]: Taking taylor expansion of 4.0 in y
6.687 * [backup-simplify]: Simplify 4.0 into 4.0
6.687 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y)
6.687 * [backup-simplify]: Simplify (+ (/ 4.0 y) 0) into (* 4.0 (/ 1 y))
6.687 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
6.688 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ z y))) into 0
6.688 * [backup-simplify]: Simplify (- 0) into 0
6.688 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 y)) 0) into (* 4.0 (/ 1 y))
6.688 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z
6.688 * [taylor]: Taking taylor expansion of 4.0 in z
6.688 * [backup-simplify]: Simplify 4.0 into 4.0
6.688 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.688 * [taylor]: Taking taylor expansion of y in z
6.688 * [backup-simplify]: Simplify y into y
6.688 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.688 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y)
6.688 * [taylor]: Taking taylor expansion of (/ 4.0 y) in y
6.688 * [taylor]: Taking taylor expansion of 4.0 in y
6.689 * [backup-simplify]: Simplify 4.0 into 4.0
6.689 * [taylor]: Taking taylor expansion of y in y
6.689 * [backup-simplify]: Simplify 0 into 0
6.689 * [backup-simplify]: Simplify 1 into 1
6.689 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
6.689 * [backup-simplify]: Simplify 4.0 into 4.0
6.689 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y)
6.689 * [backup-simplify]: Simplify (- (/ 4.0 y)) into (- (* 4.0 (/ 1 y)))
6.689 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 y)))) into (- (* 4.0 (/ 1 y)))
6.690 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in y
6.690 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
6.690 * [taylor]: Taking taylor expansion of 4.0 in y
6.690 * [backup-simplify]: Simplify 4.0 into 4.0
6.690 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.690 * [taylor]: Taking taylor expansion of y in y
6.690 * [backup-simplify]: Simplify 0 into 0
6.690 * [backup-simplify]: Simplify 1 into 1
6.690 * [backup-simplify]: Simplify (/ 1 1) into 1
6.691 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
6.691 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.691 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.691 * [backup-simplify]: Simplify 4.0 into 4.0
6.692 * [backup-simplify]: Simplify (+ 4.0 (+ (* (- 4.0) (* (/ 1 y) (* z 1))) (* 4.0 (* (/ 1 y) (* 1 x))))) into (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y)))
6.693 * [backup-simplify]: Simplify (+ 1.0 (* (+ (/ (- (/ 1 x) (/ 1 z)) (/ 1 y)) 0.75) 4.0)) into (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z)))
6.693 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in (x z y) around 0
6.693 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in y
6.693 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in y
6.693 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in y
6.693 * [taylor]: Taking taylor expansion of 4.0 in y
6.693 * [backup-simplify]: Simplify 4.0 into 4.0
6.693 * [taylor]: Taking taylor expansion of (/ y x) in y
6.693 * [taylor]: Taking taylor expansion of y in y
6.693 * [backup-simplify]: Simplify 0 into 0
6.693 * [backup-simplify]: Simplify 1 into 1
6.693 * [taylor]: Taking taylor expansion of x in y
6.693 * [backup-simplify]: Simplify x into x
6.693 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.693 * [taylor]: Taking taylor expansion of 4.0 in y
6.693 * [backup-simplify]: Simplify 4.0 into 4.0
6.693 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
6.693 * [taylor]: Taking taylor expansion of 4.0 in y
6.693 * [backup-simplify]: Simplify 4.0 into 4.0
6.693 * [taylor]: Taking taylor expansion of (/ y z) in y
6.693 * [taylor]: Taking taylor expansion of y in y
6.693 * [backup-simplify]: Simplify 0 into 0
6.693 * [backup-simplify]: Simplify 1 into 1
6.693 * [taylor]: Taking taylor expansion of z in y
6.693 * [backup-simplify]: Simplify z into z
6.693 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.693 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in z
6.693 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in z
6.694 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z
6.694 * [taylor]: Taking taylor expansion of 4.0 in z
6.694 * [backup-simplify]: Simplify 4.0 into 4.0
6.694 * [taylor]: Taking taylor expansion of (/ y x) in z
6.694 * [taylor]: Taking taylor expansion of y in z
6.694 * [backup-simplify]: Simplify y into y
6.694 * [taylor]: Taking taylor expansion of x in z
6.694 * [backup-simplify]: Simplify x into x
6.694 * [backup-simplify]: Simplify (/ y x) into (/ y x)
6.694 * [taylor]: Taking taylor expansion of 4.0 in z
6.694 * [backup-simplify]: Simplify 4.0 into 4.0
6.694 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z
6.694 * [taylor]: Taking taylor expansion of 4.0 in z
6.694 * [backup-simplify]: Simplify 4.0 into 4.0
6.694 * [taylor]: Taking taylor expansion of (/ y z) in z
6.694 * [taylor]: Taking taylor expansion of y in z
6.694 * [backup-simplify]: Simplify y into y
6.694 * [taylor]: Taking taylor expansion of z in z
6.694 * [backup-simplify]: Simplify 0 into 0
6.694 * [backup-simplify]: Simplify 1 into 1
6.694 * [backup-simplify]: Simplify (/ y 1) into y
6.694 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in x
6.694 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in x
6.694 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x
6.694 * [taylor]: Taking taylor expansion of 4.0 in x
6.694 * [backup-simplify]: Simplify 4.0 into 4.0
6.694 * [taylor]: Taking taylor expansion of (/ y x) in x
6.694 * [taylor]: Taking taylor expansion of y in x
6.694 * [backup-simplify]: Simplify y into y
6.694 * [taylor]: Taking taylor expansion of x in x
6.694 * [backup-simplify]: Simplify 0 into 0
6.694 * [backup-simplify]: Simplify 1 into 1
6.695 * [backup-simplify]: Simplify (/ y 1) into y
6.695 * [taylor]: Taking taylor expansion of 4.0 in x
6.695 * [backup-simplify]: Simplify 4.0 into 4.0
6.695 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x
6.695 * [taylor]: Taking taylor expansion of 4.0 in x
6.695 * [backup-simplify]: Simplify 4.0 into 4.0
6.695 * [taylor]: Taking taylor expansion of (/ y z) in x
6.695 * [taylor]: Taking taylor expansion of y in x
6.695 * [backup-simplify]: Simplify y into y
6.695 * [taylor]: Taking taylor expansion of z in x
6.695 * [backup-simplify]: Simplify z into z
6.695 * [backup-simplify]: Simplify (/ y z) into (/ y z)
6.695 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in x
6.695 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in x
6.695 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x
6.695 * [taylor]: Taking taylor expansion of 4.0 in x
6.695 * [backup-simplify]: Simplify 4.0 into 4.0
6.695 * [taylor]: Taking taylor expansion of (/ y x) in x
6.695 * [taylor]: Taking taylor expansion of y in x
6.695 * [backup-simplify]: Simplify y into y
6.695 * [taylor]: Taking taylor expansion of x in x
6.695 * [backup-simplify]: Simplify 0 into 0
6.695 * [backup-simplify]: Simplify 1 into 1
6.695 * [backup-simplify]: Simplify (/ y 1) into y
6.695 * [taylor]: Taking taylor expansion of 4.0 in x
6.695 * [backup-simplify]: Simplify 4.0 into 4.0
6.695 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x
6.695 * [taylor]: Taking taylor expansion of 4.0 in x
6.695 * [backup-simplify]: Simplify 4.0 into 4.0
6.695 * [taylor]: Taking taylor expansion of (/ y z) in x
6.695 * [taylor]: Taking taylor expansion of y in x
6.695 * [backup-simplify]: Simplify y into y
6.695 * [taylor]: Taking taylor expansion of z in x
6.695 * [backup-simplify]: Simplify z into z
6.696 * [backup-simplify]: Simplify (/ y z) into (/ y z)
6.696 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
6.696 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y)
6.696 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y)
6.696 * [taylor]: Taking taylor expansion of (* 4.0 y) in z
6.696 * [taylor]: Taking taylor expansion of 4.0 in z
6.696 * [backup-simplify]: Simplify 4.0 into 4.0
6.696 * [taylor]: Taking taylor expansion of y in z
6.696 * [backup-simplify]: Simplify y into y
6.697 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
6.698 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0
6.698 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
6.698 * [backup-simplify]: Simplify (* 4.0 (/ y z)) into (* 4.0 (/ y z))
6.698 * [backup-simplify]: Simplify (- (* 4.0 (/ y z))) into (- (* 4.0 (/ y z)))
6.698 * [backup-simplify]: Simplify (+ 4.0 (- (* 4.0 (/ y z)))) into (- 4.0 (* 4.0 (/ y z)))
6.698 * [taylor]: Taking taylor expansion of (- 4.0 (* 4.0 (/ y z))) in z
6.698 * [taylor]: Taking taylor expansion of 4.0 in z
6.698 * [backup-simplify]: Simplify 4.0 into 4.0
6.698 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z
6.699 * [taylor]: Taking taylor expansion of 4.0 in z
6.699 * [backup-simplify]: Simplify 4.0 into 4.0
6.699 * [taylor]: Taking taylor expansion of (/ y z) in z
6.699 * [taylor]: Taking taylor expansion of y in z
6.699 * [backup-simplify]: Simplify y into y
6.699 * [taylor]: Taking taylor expansion of z in z
6.699 * [backup-simplify]: Simplify 0 into 0
6.699 * [backup-simplify]: Simplify 1 into 1
6.699 * [backup-simplify]: Simplify (/ y 1) into y
6.699 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
6.699 * [backup-simplify]: Simplify (- (* 4.0 y)) into (- (* 4.0 y))
6.699 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 y))) into (- (* 4.0 y))
6.699 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y
6.699 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
6.699 * [taylor]: Taking taylor expansion of 4.0 in y
6.699 * [backup-simplify]: Simplify 4.0 into 4.0
6.699 * [taylor]: Taking taylor expansion of y in y
6.699 * [backup-simplify]: Simplify 0 into 0
6.699 * [backup-simplify]: Simplify 1 into 1
6.700 * [backup-simplify]: Simplify (* 4.0 0) into 0
6.700 * [backup-simplify]: Simplify (- 0) into 0
6.700 * [backup-simplify]: Simplify 0 into 0
6.700 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
6.700 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
6.700 * [taylor]: Taking taylor expansion of 4.0 in y
6.700 * [backup-simplify]: Simplify 4.0 into 4.0
6.700 * [taylor]: Taking taylor expansion of y in y
6.700 * [backup-simplify]: Simplify 0 into 0
6.700 * [backup-simplify]: Simplify 1 into 1
6.701 * [backup-simplify]: Simplify (* 4.0 0) into 0
6.701 * [backup-simplify]: Simplify 0 into 0
6.702 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.703 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 y))) into 0
6.703 * [backup-simplify]: Simplify (+ 0 0) into 0
6.703 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
6.704 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ y z))) into 0
6.704 * [backup-simplify]: Simplify (- 0) into 0
6.705 * [backup-simplify]: Simplify (+ 0 0) into 0
6.705 * [taylor]: Taking taylor expansion of 0 in z
6.705 * [backup-simplify]: Simplify 0 into 0
6.706 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
6.706 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0
6.706 * [backup-simplify]: Simplify (- 0) into 0
6.707 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
6.707 * [taylor]: Taking taylor expansion of 4.0 in y
6.707 * [backup-simplify]: Simplify 4.0 into 4.0
6.707 * [backup-simplify]: Simplify 4.0 into 4.0
6.707 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0
6.707 * [taylor]: Taking taylor expansion of 0 in y
6.708 * [backup-simplify]: Simplify 0 into 0
6.708 * [backup-simplify]: Simplify 0 into 0
6.709 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
6.709 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.710 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.711 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
6.711 * [backup-simplify]: Simplify 4.0 into 4.0
6.712 * [backup-simplify]: Simplify (+ (* 4.0 (* (/ 1 y) (* 1 (/ 1 (/ 1 x))))) (+ (* (- 4.0) (* (/ 1 y) (* (/ 1 (/ 1 z)) 1))) 4.0)) into (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y)))
6.713 * [backup-simplify]: Simplify (+ 1.0 (* (+ (/ (- (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y))) 0.75) 4.0)) into (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z)))
6.713 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in (x z y) around 0
6.713 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in y
6.713 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in y
6.713 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in y
6.713 * [taylor]: Taking taylor expansion of 4.0 in y
6.713 * [backup-simplify]: Simplify 4.0 into 4.0
6.713 * [taylor]: Taking taylor expansion of (/ y x) in y
6.713 * [taylor]: Taking taylor expansion of y in y
6.713 * [backup-simplify]: Simplify 0 into 0
6.713 * [backup-simplify]: Simplify 1 into 1
6.713 * [taylor]: Taking taylor expansion of x in y
6.713 * [backup-simplify]: Simplify x into x
6.713 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.713 * [taylor]: Taking taylor expansion of 4.0 in y
6.713 * [backup-simplify]: Simplify 4.0 into 4.0
6.713 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
6.713 * [taylor]: Taking taylor expansion of 4.0 in y
6.713 * [backup-simplify]: Simplify 4.0 into 4.0
6.713 * [taylor]: Taking taylor expansion of (/ y z) in y
6.713 * [taylor]: Taking taylor expansion of y in y
6.713 * [backup-simplify]: Simplify 0 into 0
6.713 * [backup-simplify]: Simplify 1 into 1
6.713 * [taylor]: Taking taylor expansion of z in y
6.713 * [backup-simplify]: Simplify z into z
6.714 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.714 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in z
6.714 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in z
6.714 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z
6.714 * [taylor]: Taking taylor expansion of 4.0 in z
6.714 * [backup-simplify]: Simplify 4.0 into 4.0
6.714 * [taylor]: Taking taylor expansion of (/ y x) in z
6.714 * [taylor]: Taking taylor expansion of y in z
6.714 * [backup-simplify]: Simplify y into y
6.714 * [taylor]: Taking taylor expansion of x in z
6.714 * [backup-simplify]: Simplify x into x
6.714 * [backup-simplify]: Simplify (/ y x) into (/ y x)
6.714 * [taylor]: Taking taylor expansion of 4.0 in z
6.714 * [backup-simplify]: Simplify 4.0 into 4.0
6.714 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z
6.714 * [taylor]: Taking taylor expansion of 4.0 in z
6.714 * [backup-simplify]: Simplify 4.0 into 4.0
6.714 * [taylor]: Taking taylor expansion of (/ y z) in z
6.714 * [taylor]: Taking taylor expansion of y in z
6.714 * [backup-simplify]: Simplify y into y
6.714 * [taylor]: Taking taylor expansion of z in z
6.714 * [backup-simplify]: Simplify 0 into 0
6.714 * [backup-simplify]: Simplify 1 into 1
6.714 * [backup-simplify]: Simplify (/ y 1) into y
6.714 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in x
6.714 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in x
6.714 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x
6.714 * [taylor]: Taking taylor expansion of 4.0 in x
6.714 * [backup-simplify]: Simplify 4.0 into 4.0
6.714 * [taylor]: Taking taylor expansion of (/ y x) in x
6.714 * [taylor]: Taking taylor expansion of y in x
6.715 * [backup-simplify]: Simplify y into y
6.715 * [taylor]: Taking taylor expansion of x in x
6.715 * [backup-simplify]: Simplify 0 into 0
6.715 * [backup-simplify]: Simplify 1 into 1
6.715 * [backup-simplify]: Simplify (/ y 1) into y
6.715 * [taylor]: Taking taylor expansion of 4.0 in x
6.715 * [backup-simplify]: Simplify 4.0 into 4.0
6.715 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x
6.715 * [taylor]: Taking taylor expansion of 4.0 in x
6.715 * [backup-simplify]: Simplify 4.0 into 4.0
6.715 * [taylor]: Taking taylor expansion of (/ y z) in x
6.715 * [taylor]: Taking taylor expansion of y in x
6.715 * [backup-simplify]: Simplify y into y
6.715 * [taylor]: Taking taylor expansion of z in x
6.715 * [backup-simplify]: Simplify z into z
6.715 * [backup-simplify]: Simplify (/ y z) into (/ y z)
6.715 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in x
6.715 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in x
6.715 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x
6.715 * [taylor]: Taking taylor expansion of 4.0 in x
6.715 * [backup-simplify]: Simplify 4.0 into 4.0
6.715 * [taylor]: Taking taylor expansion of (/ y x) in x
6.715 * [taylor]: Taking taylor expansion of y in x
6.715 * [backup-simplify]: Simplify y into y
6.715 * [taylor]: Taking taylor expansion of x in x
6.715 * [backup-simplify]: Simplify 0 into 0
6.715 * [backup-simplify]: Simplify 1 into 1
6.715 * [backup-simplify]: Simplify (/ y 1) into y
6.715 * [taylor]: Taking taylor expansion of 4.0 in x
6.715 * [backup-simplify]: Simplify 4.0 into 4.0
6.716 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x
6.716 * [taylor]: Taking taylor expansion of 4.0 in x
6.716 * [backup-simplify]: Simplify 4.0 into 4.0
6.716 * [taylor]: Taking taylor expansion of (/ y z) in x
6.716 * [taylor]: Taking taylor expansion of y in x
6.716 * [backup-simplify]: Simplify y into y
6.716 * [taylor]: Taking taylor expansion of z in x
6.716 * [backup-simplify]: Simplify z into z
6.716 * [backup-simplify]: Simplify (/ y z) into (/ y z)
6.716 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
6.716 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y)
6.716 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y)
6.716 * [taylor]: Taking taylor expansion of (* 4.0 y) in z
6.716 * [taylor]: Taking taylor expansion of 4.0 in z
6.716 * [backup-simplify]: Simplify 4.0 into 4.0
6.716 * [taylor]: Taking taylor expansion of y in z
6.716 * [backup-simplify]: Simplify y into y
6.717 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
6.718 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0
6.718 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
6.718 * [backup-simplify]: Simplify (* 4.0 (/ y z)) into (* 4.0 (/ y z))
6.718 * [backup-simplify]: Simplify (- (* 4.0 (/ y z))) into (- (* 4.0 (/ y z)))
6.719 * [backup-simplify]: Simplify (+ 4.0 (- (* 4.0 (/ y z)))) into (- 4.0 (* 4.0 (/ y z)))
6.719 * [taylor]: Taking taylor expansion of (- 4.0 (* 4.0 (/ y z))) in z
6.719 * [taylor]: Taking taylor expansion of 4.0 in z
6.719 * [backup-simplify]: Simplify 4.0 into 4.0
6.719 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z
6.719 * [taylor]: Taking taylor expansion of 4.0 in z
6.719 * [backup-simplify]: Simplify 4.0 into 4.0
6.719 * [taylor]: Taking taylor expansion of (/ y z) in z
6.719 * [taylor]: Taking taylor expansion of y in z
6.719 * [backup-simplify]: Simplify y into y
6.719 * [taylor]: Taking taylor expansion of z in z
6.719 * [backup-simplify]: Simplify 0 into 0
6.719 * [backup-simplify]: Simplify 1 into 1
6.719 * [backup-simplify]: Simplify (/ y 1) into y
6.719 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
6.719 * [backup-simplify]: Simplify (- (* 4.0 y)) into (- (* 4.0 y))
6.719 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 y))) into (- (* 4.0 y))
6.719 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y
6.719 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
6.719 * [taylor]: Taking taylor expansion of 4.0 in y
6.720 * [backup-simplify]: Simplify 4.0 into 4.0
6.720 * [taylor]: Taking taylor expansion of y in y
6.720 * [backup-simplify]: Simplify 0 into 0
6.720 * [backup-simplify]: Simplify 1 into 1
6.720 * [backup-simplify]: Simplify (* 4.0 0) into 0
6.720 * [backup-simplify]: Simplify (- 0) into 0
6.720 * [backup-simplify]: Simplify 0 into 0
6.720 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
6.721 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
6.721 * [taylor]: Taking taylor expansion of 4.0 in y
6.721 * [backup-simplify]: Simplify 4.0 into 4.0
6.721 * [taylor]: Taking taylor expansion of y in y
6.721 * [backup-simplify]: Simplify 0 into 0
6.721 * [backup-simplify]: Simplify 1 into 1
6.721 * [backup-simplify]: Simplify (* 4.0 0) into 0
6.721 * [backup-simplify]: Simplify 0 into 0
6.722 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.727 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 y))) into 0
6.728 * [backup-simplify]: Simplify (+ 0 0) into 0
6.728 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
6.729 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ y z))) into 0
6.729 * [backup-simplify]: Simplify (- 0) into 0
6.729 * [backup-simplify]: Simplify (+ 0 0) into 0
6.729 * [taylor]: Taking taylor expansion of 0 in z
6.730 * [backup-simplify]: Simplify 0 into 0
6.730 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
6.731 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0
6.731 * [backup-simplify]: Simplify (- 0) into 0
6.732 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
6.732 * [taylor]: Taking taylor expansion of 4.0 in y
6.732 * [backup-simplify]: Simplify 4.0 into 4.0
6.732 * [backup-simplify]: Simplify 4.0 into 4.0
6.732 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0
6.732 * [taylor]: Taking taylor expansion of 0 in y
6.732 * [backup-simplify]: Simplify 0 into 0
6.732 * [backup-simplify]: Simplify 0 into 0
6.734 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
6.734 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.734 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.736 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
6.736 * [backup-simplify]: Simplify 4.0 into 4.0
6.737 * [backup-simplify]: Simplify (+ (* 4.0 (* (/ 1 (- y)) (* 1 (/ 1 (/ 1 (- x)))))) (+ (* (- 4.0) (* (/ 1 (- y)) (* (/ 1 (/ 1 (- z))) 1))) 4.0)) into (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y)))
6.737 * * * [progress]: simplifying candidates
6.738 * [simplify]: Simplifying:
  (- (log (- x z)) (log y))
  (log (/ (- x z) y))
  (exp (/ (- x z) y))
  (/ (* (* (- x z) (- x z)) (- x z)) (* (* y y) y))
  (* (cbrt (/ (- x z) y)) (cbrt (/ (- x z) y)))
  (cbrt (/ (- x z) y))
  (* (* (/ (- x z) y) (/ (- x z) y)) (/ (- x z) y))
  (sqrt (/ (- x z) y))
  (sqrt (/ (- x z) y))
  (- (- x z))
  (- y)
  (/ x y)
  (/ z y)
  (/ (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (- x z)) (cbrt y))
  (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y))
  (/ (cbrt (- x z)) (sqrt y))
  (/ (* (cbrt (- x z)) (cbrt (- x z))) 1)
  (/ (cbrt (- x z)) y)
  (/ (sqrt (- x z)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (- x z)) (cbrt y))
  (/ (sqrt (- x z)) (sqrt y))
  (/ (sqrt (- x z)) (sqrt y))
  (/ (sqrt (- x z)) 1)
  (/ (sqrt (- x z)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- x z) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- x z) (sqrt y))
  (/ 1 1)
  (/ (- x z) y)
  (/ (+ (sqrt x) (sqrt z)) (* (cbrt y) (cbrt y)))
  (/ (- (sqrt x) (sqrt z)) (cbrt y))
  (/ (+ (sqrt x) (sqrt z)) (sqrt y))
  (/ (- (sqrt x) (sqrt z)) (sqrt y))
  (/ (+ (sqrt x) (sqrt z)) 1)
  (/ (- (sqrt x) (sqrt z)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- x z) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- x z) (sqrt y))
  (/ 1 1)
  (/ (- x z) y)
  (/ 1 y)
  (/ y (- x z))
  (/ (- x z) (* (cbrt y) (cbrt y)))
  (/ (- x z) (sqrt y))
  (/ (- x z) 1)
  (/ y (cbrt (- x z)))
  (/ y (sqrt (- x z)))
  (/ y (- x z))
  (/ y (- (sqrt x) (sqrt z)))
  (/ y (- x z))
  (* y (+ (* x x) (+ (* z z) (* x z))))
  (* y (+ x z))
  (* (exp 1.0) (exp (* (+ (/ (- x z) y) 0.75) 4.0)))
  (log (+ 1.0 (* (+ (/ (- x z) y) 0.75) 4.0)))
  (exp (+ 1.0 (* (+ (/ (- x z) y) 0.75) 4.0)))
  (* (cbrt (+ 1.0 (* (+ (/ (- x z) y) 0.75) 4.0))) (cbrt (+ 1.0 (* (+ (/ (- x z) y) 0.75) 4.0))))
  (cbrt (+ 1.0 (* (+ (/ (- x z) y) 0.75) 4.0)))
  (* (* (+ 1.0 (* (+ (/ (- x z) y) 0.75) 4.0)) (+ 1.0 (* (+ (/ (- x z) y) 0.75) 4.0))) (+ 1.0 (* (+ (/ (- x z) y) 0.75) 4.0)))
  (sqrt (+ 1.0 (* (+ (/ (- x z) y) 0.75) 4.0)))
  (sqrt (+ 1.0 (* (+ (/ (- x z) y) 0.75) 4.0)))
  (+ (pow 1.0 3) (pow (* (+ (/ (- x z) y) 0.75) 4.0) 3))
  (+ (* 1.0 1.0) (- (* (* (+ (/ (- x z) y) 0.75) 4.0) (* (+ (/ (- x z) y) 0.75) 4.0)) (* 1.0 (* (+ (/ (- x z) y) 0.75) 4.0))))
  (- (* 1.0 1.0) (* (* (+ (/ (- x z) y) 0.75) 4.0) (* (+ (/ (- x z) y) 0.75) 4.0)))
  (- 1.0 (* (+ (/ (- x z) y) 0.75) 4.0))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y)))
  (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y)))
  (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y)))
6.740 * * [simplify]: Extracting # 0 : cost  0
6.741 * * [simplify]: Extracting # 1 : cost  0
6.741 * * [simplify]: Extracting # 2 : cost  0
6.741 * * [simplify]: Extracting # 3 : cost  0
6.741 * * [simplify]: Extracting # 4 : cost  0
6.742 * * [simplify]: Extracting # 5 : cost  0
6.742 * * [simplify]: Extracting # 6 : cost  0
6.742 * * [simplify]: iteration  0 :  104  enodes  (cost  660 )
6.765 * * [simplify]: Extracting # 0 : cost  0
6.766 * * [simplify]: Extracting # 1 : cost  0
6.766 * * [simplify]: Extracting # 2 : cost  0
6.766 * * [simplify]: Extracting # 3 : cost  0
6.767 * * [simplify]: iteration  1 :  254  enodes  (cost  628 )
6.873 * * [simplify]: Extracting # 0 : cost  0
6.875 * * [simplify]: Extracting # 1 : cost  0
6.876 * * [simplify]: Extracting # 2 : cost  0
6.878 * * [simplify]: Extracting # 3 : cost  0
6.880 * * [simplify]: Extracting # 4 : cost  0
6.881 * * [simplify]: Extracting # 5 : cost  0
6.883 * * [simplify]: iteration  2 :  691  enodes  (cost  586 )
7.366 * * [simplify]: Extracting # 0 : cost  0
7.369 * * [simplify]: Extracting # 1 : cost  0
7.372 * * [simplify]: Extracting # 2 : cost  0
7.375 * * [simplify]: Extracting # 3 : cost  0
7.378 * * [simplify]: Extracting # 4 : cost  0
7.381 * * [simplify]: iteration  3 :  2486  enodes  (cost  574 )
8.182 * * [simplify]: Extracting # 0 : cost  0
8.192 * * [simplify]: Extracting # 1 : cost  0
8.205 * * [simplify]: Extracting # 2 : cost  0
8.218 * * [simplify]: Extracting # 3 : cost  0
8.230 * * [simplify]: iteration done:  5002  enodes  (cost  574 )
8.231 * [simplify]: Simplified to:
  (log (/ (- x z) y))
  (log (/ (- x z) y))
  (exp (/ (- x z) y))
  (pow (/ (- x z) y) 3)
  (* (cbrt (/ (- x z) y)) (cbrt (/ (- x z) y)))
  (cbrt (/ (- x z) y))
  (pow (/ (- x z) y) 3)
  (sqrt (/ (- x z) y))
  (sqrt (/ (- x z) y))
  (- (- x z))
  (- y)
  (/ x y)
  (/ z y)
  (/ (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (- x z)) (cbrt y))
  (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y))
  (/ (cbrt (- x z)) (sqrt y))
  (* (cbrt (- x z)) (cbrt (- x z)))
  (/ (cbrt (- x z)) y)
  (/ (sqrt (- x z)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (- x z)) (cbrt y))
  (/ (sqrt (- x z)) (sqrt y))
  (/ (sqrt (- x z)) (sqrt y))
  (sqrt (- x z))
  (/ (sqrt (- x z)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- x z) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- x z) (sqrt y))
  1
  (/ (- x z) y)
  (/ (+ (sqrt x) (sqrt z)) (* (cbrt y) (cbrt y)))
  (/ (- (sqrt x) (sqrt z)) (cbrt y))
  (/ (+ (sqrt x) (sqrt z)) (sqrt y))
  (/ (- (sqrt x) (sqrt z)) (sqrt y))
  (+ (sqrt x) (sqrt z))
  (/ (- (sqrt x) (sqrt z)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- x z) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- x z) (sqrt y))
  1
  (/ (- x z) y)
  (/ 1 y)
  (/ y (- x z))
  (/ (- x z) (* (cbrt y) (cbrt y)))
  (/ (- x z) (sqrt y))
  (- x z)
  (/ y (cbrt (- x z)))
  (/ y (sqrt (- x z)))
  (/ y (- x z))
  (/ y (- (sqrt x) (sqrt z)))
  (/ y (- x z))
  (* (+ (* z (+ x z)) (* x x)) y)
  (* y (+ x z))
  (exp (+ 1.0 (* (+ (/ (- x z) y) 0.75) 4.0)))
  (log (+ 1.0 (* (+ (/ (- x z) y) 0.75) 4.0)))
  (exp (+ 1.0 (* (+ (/ (- x z) y) 0.75) 4.0)))
  (* (cbrt (+ 1.0 (* (+ (/ (- x z) y) 0.75) 4.0))) (cbrt (+ 1.0 (* (+ (/ (- x z) y) 0.75) 4.0))))
  (cbrt (+ 1.0 (* (+ (/ (- x z) y) 0.75) 4.0)))
  (pow (+ 1.0 (* (+ (/ (- x z) y) 0.75) 4.0)) 3)
  (sqrt (+ 1.0 (* (+ (/ (- x z) y) 0.75) 4.0)))
  (sqrt (+ 1.0 (* (+ (/ (- x z) y) 0.75) 4.0)))
  (+ (pow 1.0 3) (pow (* (+ (/ (- x z) y) 0.75) 4.0) 3))
  (+ (* 1.0 1.0) (* (* (+ (/ (- x z) y) 0.75) 4.0) (- (* (+ (/ (- x z) y) 0.75) 4.0) 1.0)))
  (- (* 1.0 1.0) (* (* (+ (/ (- x z) y) 0.75) 4.0) (* (+ (/ (- x z) y) 0.75) 4.0)))
  (- 1.0 (* (+ (/ (- x z) y) 0.75) 4.0))
  (/ (- x z) y)
  (/ (- x z) y)
  (/ (- x z) y)
  (+ (* 4.0 (/ (- x z) y)) 4.0)
  (+ (* 4.0 (/ (- x z) y)) 4.0)
  (+ (* 4.0 (/ (- x z) y)) 4.0)
8.231 * * * [progress]: adding candidates to table
8.470 * * [progress]: iteration 2 / 4
8.470 * * * [progress]: picking best candidate
8.478 * * * * [pick]: Picked  #<alt (λ (x y z) (+ 1.0 (* (+ (- (/ x y) (/ z y)) 0.75) 4.0)))>
8.478 * * * [progress]: localizing error
8.497 * * * [progress]: generating rewritten candidates
8.497 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1 1)
8.524 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
8.623 * * * [progress]: generating series expansions
8.623 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1 1)
8.623 * [backup-simplify]: Simplify (- (/ x y) (/ z y)) into (- (/ x y) (/ z y))
8.623 * [approximate]: Taking taylor expansion of (- (/ x y) (/ z y)) in (x y z) around 0
8.623 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in z
8.623 * [taylor]: Taking taylor expansion of (/ x y) in z
8.623 * [taylor]: Taking taylor expansion of x in z
8.623 * [backup-simplify]: Simplify x into x
8.623 * [taylor]: Taking taylor expansion of y in z
8.623 * [backup-simplify]: Simplify y into y
8.623 * [backup-simplify]: Simplify (/ x y) into (/ x y)
8.623 * [taylor]: Taking taylor expansion of (/ z y) in z
8.624 * [taylor]: Taking taylor expansion of z in z
8.624 * [backup-simplify]: Simplify 0 into 0
8.624 * [backup-simplify]: Simplify 1 into 1
8.624 * [taylor]: Taking taylor expansion of y in z
8.624 * [backup-simplify]: Simplify y into y
8.624 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.624 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in y
8.624 * [taylor]: Taking taylor expansion of (/ x y) in y
8.624 * [taylor]: Taking taylor expansion of x in y
8.624 * [backup-simplify]: Simplify x into x
8.624 * [taylor]: Taking taylor expansion of y in y
8.624 * [backup-simplify]: Simplify 0 into 0
8.624 * [backup-simplify]: Simplify 1 into 1
8.624 * [backup-simplify]: Simplify (/ x 1) into x
8.624 * [taylor]: Taking taylor expansion of (/ z y) in y
8.624 * [taylor]: Taking taylor expansion of z in y
8.624 * [backup-simplify]: Simplify z into z
8.624 * [taylor]: Taking taylor expansion of y in y
8.624 * [backup-simplify]: Simplify 0 into 0
8.624 * [backup-simplify]: Simplify 1 into 1
8.624 * [backup-simplify]: Simplify (/ z 1) into z
8.624 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in x
8.624 * [taylor]: Taking taylor expansion of (/ x y) in x
8.624 * [taylor]: Taking taylor expansion of x in x
8.624 * [backup-simplify]: Simplify 0 into 0
8.624 * [backup-simplify]: Simplify 1 into 1
8.624 * [taylor]: Taking taylor expansion of y in x
8.624 * [backup-simplify]: Simplify y into y
8.624 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.624 * [taylor]: Taking taylor expansion of (/ z y) in x
8.624 * [taylor]: Taking taylor expansion of z in x
8.624 * [backup-simplify]: Simplify z into z
8.624 * [taylor]: Taking taylor expansion of y in x
8.624 * [backup-simplify]: Simplify y into y
8.624 * [backup-simplify]: Simplify (/ z y) into (/ z y)
8.624 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in x
8.625 * [taylor]: Taking taylor expansion of (/ x y) in x
8.625 * [taylor]: Taking taylor expansion of x in x
8.625 * [backup-simplify]: Simplify 0 into 0
8.625 * [backup-simplify]: Simplify 1 into 1
8.625 * [taylor]: Taking taylor expansion of y in x
8.625 * [backup-simplify]: Simplify y into y
8.625 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.625 * [taylor]: Taking taylor expansion of (/ z y) in x
8.625 * [taylor]: Taking taylor expansion of z in x
8.625 * [backup-simplify]: Simplify z into z
8.625 * [taylor]: Taking taylor expansion of y in x
8.625 * [backup-simplify]: Simplify y into y
8.625 * [backup-simplify]: Simplify (/ z y) into (/ z y)
8.625 * [backup-simplify]: Simplify (- (/ z y)) into (- (/ z y))
8.625 * [backup-simplify]: Simplify (+ 0 (- (/ z y))) into (- (/ z y))
8.625 * [taylor]: Taking taylor expansion of (- (/ z y)) in y
8.625 * [taylor]: Taking taylor expansion of (/ z y) in y
8.625 * [taylor]: Taking taylor expansion of z in y
8.625 * [backup-simplify]: Simplify z into z
8.625 * [taylor]: Taking taylor expansion of y in y
8.625 * [backup-simplify]: Simplify 0 into 0
8.625 * [backup-simplify]: Simplify 1 into 1
8.625 * [backup-simplify]: Simplify (/ z 1) into z
8.626 * [backup-simplify]: Simplify (- z) into (- z)
8.626 * [taylor]: Taking taylor expansion of (- z) in z
8.626 * [taylor]: Taking taylor expansion of z in z
8.626 * [backup-simplify]: Simplify 0 into 0
8.626 * [backup-simplify]: Simplify 1 into 1
8.626 * [backup-simplify]: Simplify (- 0) into 0
8.626 * [backup-simplify]: Simplify 0 into 0
8.627 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
8.627 * [backup-simplify]: Simplify (- 0) into 0
8.627 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
8.627 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.627 * [taylor]: Taking taylor expansion of y in y
8.627 * [backup-simplify]: Simplify 0 into 0
8.627 * [backup-simplify]: Simplify 1 into 1
8.627 * [backup-simplify]: Simplify (/ 1 1) into 1
8.628 * [taylor]: Taking taylor expansion of 1 in z
8.628 * [backup-simplify]: Simplify 1 into 1
8.628 * [backup-simplify]: Simplify 1 into 1
8.628 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
8.629 * [backup-simplify]: Simplify (- 0) into 0
8.629 * [taylor]: Taking taylor expansion of 0 in z
8.629 * [backup-simplify]: Simplify 0 into 0
8.629 * [backup-simplify]: Simplify 0 into 0
8.629 * [backup-simplify]: Simplify (- 1) into -1
8.629 * [backup-simplify]: Simplify -1 into -1
8.630 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
8.630 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
8.630 * [backup-simplify]: Simplify (- 0) into 0
8.631 * [backup-simplify]: Simplify (+ 0 0) into 0
8.631 * [taylor]: Taking taylor expansion of 0 in y
8.631 * [backup-simplify]: Simplify 0 into 0
8.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.631 * [taylor]: Taking taylor expansion of 0 in z
8.631 * [backup-simplify]: Simplify 0 into 0
8.631 * [backup-simplify]: Simplify 0 into 0
8.633 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.633 * [backup-simplify]: Simplify (- 0) into 0
8.633 * [taylor]: Taking taylor expansion of 0 in z
8.633 * [backup-simplify]: Simplify 0 into 0
8.633 * [backup-simplify]: Simplify 0 into 0
8.633 * [backup-simplify]: Simplify 0 into 0
8.633 * [backup-simplify]: Simplify 0 into 0
8.634 * [backup-simplify]: Simplify (- 0) into 0
8.634 * [backup-simplify]: Simplify 0 into 0
8.634 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
8.634 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
8.635 * [backup-simplify]: Simplify (- 0) into 0
8.635 * [backup-simplify]: Simplify (+ 0 0) into 0
8.635 * [taylor]: Taking taylor expansion of 0 in y
8.635 * [backup-simplify]: Simplify 0 into 0
8.635 * [taylor]: Taking taylor expansion of 0 in z
8.635 * [backup-simplify]: Simplify 0 into 0
8.635 * [backup-simplify]: Simplify 0 into 0
8.636 * [backup-simplify]: Simplify (+ (* -1 (* z (* (/ 1 y) 1))) (* 1 (* 1 (* (/ 1 y) x)))) into (- (/ x y) (/ z y))
8.636 * [backup-simplify]: Simplify (- (/ (/ 1 x) (/ 1 y)) (/ (/ 1 z) (/ 1 y))) into (- (/ y x) (/ y z))
8.636 * [approximate]: Taking taylor expansion of (- (/ y x) (/ y z)) in (x y z) around 0
8.636 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in z
8.636 * [taylor]: Taking taylor expansion of (/ y x) in z
8.636 * [taylor]: Taking taylor expansion of y in z
8.636 * [backup-simplify]: Simplify y into y
8.636 * [taylor]: Taking taylor expansion of x in z
8.636 * [backup-simplify]: Simplify x into x
8.636 * [backup-simplify]: Simplify (/ y x) into (/ y x)
8.636 * [taylor]: Taking taylor expansion of (/ y z) in z
8.636 * [taylor]: Taking taylor expansion of y in z
8.636 * [backup-simplify]: Simplify y into y
8.636 * [taylor]: Taking taylor expansion of z in z
8.636 * [backup-simplify]: Simplify 0 into 0
8.636 * [backup-simplify]: Simplify 1 into 1
8.636 * [backup-simplify]: Simplify (/ y 1) into y
8.636 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in y
8.636 * [taylor]: Taking taylor expansion of (/ y x) in y
8.636 * [taylor]: Taking taylor expansion of y in y
8.636 * [backup-simplify]: Simplify 0 into 0
8.636 * [backup-simplify]: Simplify 1 into 1
8.636 * [taylor]: Taking taylor expansion of x in y
8.636 * [backup-simplify]: Simplify x into x
8.636 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
8.636 * [taylor]: Taking taylor expansion of (/ y z) in y
8.636 * [taylor]: Taking taylor expansion of y in y
8.636 * [backup-simplify]: Simplify 0 into 0
8.636 * [backup-simplify]: Simplify 1 into 1
8.636 * [taylor]: Taking taylor expansion of z in y
8.636 * [backup-simplify]: Simplify z into z
8.636 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.636 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
8.636 * [taylor]: Taking taylor expansion of (/ y x) in x
8.636 * [taylor]: Taking taylor expansion of y in x
8.636 * [backup-simplify]: Simplify y into y
8.636 * [taylor]: Taking taylor expansion of x in x
8.637 * [backup-simplify]: Simplify 0 into 0
8.637 * [backup-simplify]: Simplify 1 into 1
8.637 * [backup-simplify]: Simplify (/ y 1) into y
8.637 * [taylor]: Taking taylor expansion of (/ y z) in x
8.637 * [taylor]: Taking taylor expansion of y in x
8.637 * [backup-simplify]: Simplify y into y
8.637 * [taylor]: Taking taylor expansion of z in x
8.637 * [backup-simplify]: Simplify z into z
8.637 * [backup-simplify]: Simplify (/ y z) into (/ y z)
8.637 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
8.637 * [taylor]: Taking taylor expansion of (/ y x) in x
8.637 * [taylor]: Taking taylor expansion of y in x
8.637 * [backup-simplify]: Simplify y into y
8.637 * [taylor]: Taking taylor expansion of x in x
8.637 * [backup-simplify]: Simplify 0 into 0
8.637 * [backup-simplify]: Simplify 1 into 1
8.637 * [backup-simplify]: Simplify (/ y 1) into y
8.637 * [taylor]: Taking taylor expansion of (/ y z) in x
8.637 * [taylor]: Taking taylor expansion of y in x
8.637 * [backup-simplify]: Simplify y into y
8.637 * [taylor]: Taking taylor expansion of z in x
8.637 * [backup-simplify]: Simplify z into z
8.637 * [backup-simplify]: Simplify (/ y z) into (/ y z)
8.637 * [backup-simplify]: Simplify (+ y 0) into y
8.637 * [taylor]: Taking taylor expansion of y in y
8.637 * [backup-simplify]: Simplify 0 into 0
8.637 * [backup-simplify]: Simplify 1 into 1
8.637 * [taylor]: Taking taylor expansion of 1 in z
8.637 * [backup-simplify]: Simplify 1 into 1
8.638 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
8.638 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z))
8.638 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z))
8.638 * [taylor]: Taking taylor expansion of (- (/ y z)) in y
8.638 * [taylor]: Taking taylor expansion of (/ y z) in y
8.638 * [taylor]: Taking taylor expansion of y in y
8.638 * [backup-simplify]: Simplify 0 into 0
8.638 * [backup-simplify]: Simplify 1 into 1
8.638 * [taylor]: Taking taylor expansion of z in y
8.638 * [backup-simplify]: Simplify z into z
8.638 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.638 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
8.638 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
8.638 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.638 * [taylor]: Taking taylor expansion of z in z
8.638 * [backup-simplify]: Simplify 0 into 0
8.638 * [backup-simplify]: Simplify 1 into 1
8.638 * [backup-simplify]: Simplify (/ 1 1) into 1
8.639 * [backup-simplify]: Simplify (- 1) into -1
8.639 * [backup-simplify]: Simplify -1 into -1
8.639 * [taylor]: Taking taylor expansion of 0 in z
8.639 * [backup-simplify]: Simplify 0 into 0
8.639 * [backup-simplify]: Simplify 1 into 1
8.640 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.640 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
8.640 * [backup-simplify]: Simplify (- 0) into 0
8.640 * [backup-simplify]: Simplify (+ 0 0) into 0
8.640 * [taylor]: Taking taylor expansion of 0 in y
8.640 * [backup-simplify]: Simplify 0 into 0
8.640 * [taylor]: Taking taylor expansion of 0 in z
8.640 * [backup-simplify]: Simplify 0 into 0
8.640 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
8.641 * [backup-simplify]: Simplify (- 0) into 0
8.641 * [taylor]: Taking taylor expansion of 0 in z
8.641 * [backup-simplify]: Simplify 0 into 0
8.641 * [taylor]: Taking taylor expansion of 0 in z
8.641 * [backup-simplify]: Simplify 0 into 0
8.641 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.641 * [backup-simplify]: Simplify (- 0) into 0
8.641 * [backup-simplify]: Simplify 0 into 0
8.641 * [backup-simplify]: Simplify 0 into 0
8.641 * [backup-simplify]: Simplify 0 into 0
8.642 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.643 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
8.643 * [backup-simplify]: Simplify (- 0) into 0
8.643 * [backup-simplify]: Simplify (+ 0 0) into 0
8.643 * [taylor]: Taking taylor expansion of 0 in y
8.643 * [backup-simplify]: Simplify 0 into 0
8.643 * [taylor]: Taking taylor expansion of 0 in z
8.643 * [backup-simplify]: Simplify 0 into 0
8.643 * [taylor]: Taking taylor expansion of 0 in z
8.643 * [backup-simplify]: Simplify 0 into 0
8.643 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
8.644 * [backup-simplify]: Simplify (- 0) into 0
8.644 * [taylor]: Taking taylor expansion of 0 in z
8.644 * [backup-simplify]: Simplify 0 into 0
8.644 * [taylor]: Taking taylor expansion of 0 in z
8.644 * [backup-simplify]: Simplify 0 into 0
8.644 * [backup-simplify]: Simplify 0 into 0
8.644 * [backup-simplify]: Simplify 0 into 0
8.644 * [backup-simplify]: Simplify 0 into 0
8.644 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 y) (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 y) 1)))) into (- (/ x y) (/ z y))
8.644 * [backup-simplify]: Simplify (- (/ (/ 1 (- x)) (/ 1 (- y))) (/ (/ 1 (- z)) (/ 1 (- y)))) into (- (/ y x) (/ y z))
8.644 * [approximate]: Taking taylor expansion of (- (/ y x) (/ y z)) in (x y z) around 0
8.644 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in z
8.644 * [taylor]: Taking taylor expansion of (/ y x) in z
8.644 * [taylor]: Taking taylor expansion of y in z
8.644 * [backup-simplify]: Simplify y into y
8.644 * [taylor]: Taking taylor expansion of x in z
8.644 * [backup-simplify]: Simplify x into x
8.644 * [backup-simplify]: Simplify (/ y x) into (/ y x)
8.644 * [taylor]: Taking taylor expansion of (/ y z) in z
8.644 * [taylor]: Taking taylor expansion of y in z
8.644 * [backup-simplify]: Simplify y into y
8.644 * [taylor]: Taking taylor expansion of z in z
8.644 * [backup-simplify]: Simplify 0 into 0
8.645 * [backup-simplify]: Simplify 1 into 1
8.645 * [backup-simplify]: Simplify (/ y 1) into y
8.645 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in y
8.645 * [taylor]: Taking taylor expansion of (/ y x) in y
8.645 * [taylor]: Taking taylor expansion of y in y
8.645 * [backup-simplify]: Simplify 0 into 0
8.645 * [backup-simplify]: Simplify 1 into 1
8.645 * [taylor]: Taking taylor expansion of x in y
8.645 * [backup-simplify]: Simplify x into x
8.645 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
8.645 * [taylor]: Taking taylor expansion of (/ y z) in y
8.645 * [taylor]: Taking taylor expansion of y in y
8.645 * [backup-simplify]: Simplify 0 into 0
8.645 * [backup-simplify]: Simplify 1 into 1
8.645 * [taylor]: Taking taylor expansion of z in y
8.645 * [backup-simplify]: Simplify z into z
8.645 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.645 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
8.645 * [taylor]: Taking taylor expansion of (/ y x) in x
8.645 * [taylor]: Taking taylor expansion of y in x
8.645 * [backup-simplify]: Simplify y into y
8.645 * [taylor]: Taking taylor expansion of x in x
8.645 * [backup-simplify]: Simplify 0 into 0
8.645 * [backup-simplify]: Simplify 1 into 1
8.645 * [backup-simplify]: Simplify (/ y 1) into y
8.645 * [taylor]: Taking taylor expansion of (/ y z) in x
8.645 * [taylor]: Taking taylor expansion of y in x
8.645 * [backup-simplify]: Simplify y into y
8.645 * [taylor]: Taking taylor expansion of z in x
8.645 * [backup-simplify]: Simplify z into z
8.645 * [backup-simplify]: Simplify (/ y z) into (/ y z)
8.645 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
8.645 * [taylor]: Taking taylor expansion of (/ y x) in x
8.645 * [taylor]: Taking taylor expansion of y in x
8.645 * [backup-simplify]: Simplify y into y
8.645 * [taylor]: Taking taylor expansion of x in x
8.645 * [backup-simplify]: Simplify 0 into 0
8.645 * [backup-simplify]: Simplify 1 into 1
8.645 * [backup-simplify]: Simplify (/ y 1) into y
8.645 * [taylor]: Taking taylor expansion of (/ y z) in x
8.645 * [taylor]: Taking taylor expansion of y in x
8.645 * [backup-simplify]: Simplify y into y
8.645 * [taylor]: Taking taylor expansion of z in x
8.645 * [backup-simplify]: Simplify z into z
8.645 * [backup-simplify]: Simplify (/ y z) into (/ y z)
8.645 * [backup-simplify]: Simplify (+ y 0) into y
8.645 * [taylor]: Taking taylor expansion of y in y
8.645 * [backup-simplify]: Simplify 0 into 0
8.646 * [backup-simplify]: Simplify 1 into 1
8.646 * [taylor]: Taking taylor expansion of 1 in z
8.646 * [backup-simplify]: Simplify 1 into 1
8.646 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
8.646 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z))
8.646 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z))
8.646 * [taylor]: Taking taylor expansion of (- (/ y z)) in y
8.646 * [taylor]: Taking taylor expansion of (/ y z) in y
8.646 * [taylor]: Taking taylor expansion of y in y
8.646 * [backup-simplify]: Simplify 0 into 0
8.646 * [backup-simplify]: Simplify 1 into 1
8.646 * [taylor]: Taking taylor expansion of z in y
8.646 * [backup-simplify]: Simplify z into z
8.646 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.646 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
8.647 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
8.647 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.647 * [taylor]: Taking taylor expansion of z in z
8.647 * [backup-simplify]: Simplify 0 into 0
8.647 * [backup-simplify]: Simplify 1 into 1
8.647 * [backup-simplify]: Simplify (/ 1 1) into 1
8.647 * [backup-simplify]: Simplify (- 1) into -1
8.647 * [backup-simplify]: Simplify -1 into -1
8.647 * [taylor]: Taking taylor expansion of 0 in z
8.647 * [backup-simplify]: Simplify 0 into 0
8.647 * [backup-simplify]: Simplify 1 into 1
8.648 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.648 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
8.648 * [backup-simplify]: Simplify (- 0) into 0
8.649 * [backup-simplify]: Simplify (+ 0 0) into 0
8.649 * [taylor]: Taking taylor expansion of 0 in y
8.649 * [backup-simplify]: Simplify 0 into 0
8.649 * [taylor]: Taking taylor expansion of 0 in z
8.649 * [backup-simplify]: Simplify 0 into 0
8.649 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
8.649 * [backup-simplify]: Simplify (- 0) into 0
8.649 * [taylor]: Taking taylor expansion of 0 in z
8.649 * [backup-simplify]: Simplify 0 into 0
8.649 * [taylor]: Taking taylor expansion of 0 in z
8.649 * [backup-simplify]: Simplify 0 into 0
8.650 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.650 * [backup-simplify]: Simplify (- 0) into 0
8.650 * [backup-simplify]: Simplify 0 into 0
8.650 * [backup-simplify]: Simplify 0 into 0
8.650 * [backup-simplify]: Simplify 0 into 0
8.651 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.651 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
8.651 * [backup-simplify]: Simplify (- 0) into 0
8.652 * [backup-simplify]: Simplify (+ 0 0) into 0
8.652 * [taylor]: Taking taylor expansion of 0 in y
8.652 * [backup-simplify]: Simplify 0 into 0
8.652 * [taylor]: Taking taylor expansion of 0 in z
8.652 * [backup-simplify]: Simplify 0 into 0
8.652 * [taylor]: Taking taylor expansion of 0 in z
8.652 * [backup-simplify]: Simplify 0 into 0
8.652 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
8.652 * [backup-simplify]: Simplify (- 0) into 0
8.652 * [taylor]: Taking taylor expansion of 0 in z
8.652 * [backup-simplify]: Simplify 0 into 0
8.652 * [taylor]: Taking taylor expansion of 0 in z
8.652 * [backup-simplify]: Simplify 0 into 0
8.652 * [backup-simplify]: Simplify 0 into 0
8.652 * [backup-simplify]: Simplify 0 into 0
8.652 * [backup-simplify]: Simplify 0 into 0
8.653 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (- y)) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (- y)) 1)))) into (- (/ x y) (/ z y))
8.653 * * * * [progress]: [ 2 / 2 ] generating series at (2)
8.653 * [backup-simplify]: Simplify (+ 1.0 (* (+ (- (/ x y) (/ z y)) 0.75) 4.0)) into (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y)))
8.653 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) in (x y z) around 0
8.653 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) in z
8.653 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 4.0) in z
8.653 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in z
8.653 * [taylor]: Taking taylor expansion of 4.0 in z
8.653 * [backup-simplify]: Simplify 4.0 into 4.0
8.653 * [taylor]: Taking taylor expansion of (/ x y) in z
8.653 * [taylor]: Taking taylor expansion of x in z
8.653 * [backup-simplify]: Simplify x into x
8.653 * [taylor]: Taking taylor expansion of y in z
8.653 * [backup-simplify]: Simplify y into y
8.653 * [backup-simplify]: Simplify (/ x y) into (/ x y)
8.653 * [taylor]: Taking taylor expansion of 4.0 in z
8.653 * [backup-simplify]: Simplify 4.0 into 4.0
8.653 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in z
8.653 * [taylor]: Taking taylor expansion of 4.0 in z
8.653 * [backup-simplify]: Simplify 4.0 into 4.0
8.653 * [taylor]: Taking taylor expansion of (/ z y) in z
8.653 * [taylor]: Taking taylor expansion of z in z
8.653 * [backup-simplify]: Simplify 0 into 0
8.653 * [backup-simplify]: Simplify 1 into 1
8.653 * [taylor]: Taking taylor expansion of y in z
8.653 * [backup-simplify]: Simplify y into y
8.653 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.653 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) in y
8.653 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 4.0) in y
8.653 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in y
8.653 * [taylor]: Taking taylor expansion of 4.0 in y
8.654 * [backup-simplify]: Simplify 4.0 into 4.0
8.654 * [taylor]: Taking taylor expansion of (/ x y) in y
8.654 * [taylor]: Taking taylor expansion of x in y
8.654 * [backup-simplify]: Simplify x into x
8.654 * [taylor]: Taking taylor expansion of y in y
8.654 * [backup-simplify]: Simplify 0 into 0
8.654 * [backup-simplify]: Simplify 1 into 1
8.654 * [backup-simplify]: Simplify (/ x 1) into x
8.654 * [taylor]: Taking taylor expansion of 4.0 in y
8.654 * [backup-simplify]: Simplify 4.0 into 4.0
8.654 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y
8.654 * [taylor]: Taking taylor expansion of 4.0 in y
8.654 * [backup-simplify]: Simplify 4.0 into 4.0
8.654 * [taylor]: Taking taylor expansion of (/ z y) in y
8.654 * [taylor]: Taking taylor expansion of z in y
8.654 * [backup-simplify]: Simplify z into z
8.654 * [taylor]: Taking taylor expansion of y in y
8.654 * [backup-simplify]: Simplify 0 into 0
8.654 * [backup-simplify]: Simplify 1 into 1
8.654 * [backup-simplify]: Simplify (/ z 1) into z
8.654 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) in x
8.654 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 4.0) in x
8.654 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in x
8.654 * [taylor]: Taking taylor expansion of 4.0 in x
8.654 * [backup-simplify]: Simplify 4.0 into 4.0
8.654 * [taylor]: Taking taylor expansion of (/ x y) in x
8.654 * [taylor]: Taking taylor expansion of x in x
8.654 * [backup-simplify]: Simplify 0 into 0
8.654 * [backup-simplify]: Simplify 1 into 1
8.654 * [taylor]: Taking taylor expansion of y in x
8.654 * [backup-simplify]: Simplify y into y
8.654 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.654 * [taylor]: Taking taylor expansion of 4.0 in x
8.654 * [backup-simplify]: Simplify 4.0 into 4.0
8.654 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in x
8.654 * [taylor]: Taking taylor expansion of 4.0 in x
8.654 * [backup-simplify]: Simplify 4.0 into 4.0
8.654 * [taylor]: Taking taylor expansion of (/ z y) in x
8.654 * [taylor]: Taking taylor expansion of z in x
8.654 * [backup-simplify]: Simplify z into z
8.654 * [taylor]: Taking taylor expansion of y in x
8.654 * [backup-simplify]: Simplify y into y
8.654 * [backup-simplify]: Simplify (/ z y) into (/ z y)
8.654 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y))) in x
8.654 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 4.0) in x
8.654 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in x
8.654 * [taylor]: Taking taylor expansion of 4.0 in x
8.654 * [backup-simplify]: Simplify 4.0 into 4.0
8.654 * [taylor]: Taking taylor expansion of (/ x y) in x
8.654 * [taylor]: Taking taylor expansion of x in x
8.654 * [backup-simplify]: Simplify 0 into 0
8.654 * [backup-simplify]: Simplify 1 into 1
8.654 * [taylor]: Taking taylor expansion of y in x
8.655 * [backup-simplify]: Simplify y into y
8.655 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.655 * [taylor]: Taking taylor expansion of 4.0 in x
8.655 * [backup-simplify]: Simplify 4.0 into 4.0
8.655 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in x
8.655 * [taylor]: Taking taylor expansion of 4.0 in x
8.655 * [backup-simplify]: Simplify 4.0 into 4.0
8.655 * [taylor]: Taking taylor expansion of (/ z y) in x
8.655 * [taylor]: Taking taylor expansion of z in x
8.655 * [backup-simplify]: Simplify z into z
8.655 * [taylor]: Taking taylor expansion of y in x
8.655 * [backup-simplify]: Simplify y into y
8.655 * [backup-simplify]: Simplify (/ z y) into (/ z y)
8.655 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
8.655 * [backup-simplify]: Simplify (* 4.0 (/ z y)) into (* 4.0 (/ z y))
8.655 * [backup-simplify]: Simplify (- (* 4.0 (/ z y))) into (- (* 4.0 (/ z y)))
8.655 * [backup-simplify]: Simplify (+ 4.0 (- (* 4.0 (/ z y)))) into (- 4.0 (* 4.0 (/ z y)))
8.655 * [taylor]: Taking taylor expansion of (- 4.0 (* 4.0 (/ z y))) in y
8.655 * [taylor]: Taking taylor expansion of 4.0 in y
8.655 * [backup-simplify]: Simplify 4.0 into 4.0
8.656 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y
8.656 * [taylor]: Taking taylor expansion of 4.0 in y
8.656 * [backup-simplify]: Simplify 4.0 into 4.0
8.656 * [taylor]: Taking taylor expansion of (/ z y) in y
8.656 * [taylor]: Taking taylor expansion of z in y
8.656 * [backup-simplify]: Simplify z into z
8.656 * [taylor]: Taking taylor expansion of y in y
8.656 * [backup-simplify]: Simplify 0 into 0
8.656 * [backup-simplify]: Simplify 1 into 1
8.656 * [backup-simplify]: Simplify (/ z 1) into z
8.656 * [backup-simplify]: Simplify (* 4.0 z) into (* 4.0 z)
8.656 * [backup-simplify]: Simplify (- (* 4.0 z)) into (- (* 4.0 z))
8.656 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 z))) into (- (* 4.0 z))
8.656 * [taylor]: Taking taylor expansion of (- (* 4.0 z)) in z
8.656 * [taylor]: Taking taylor expansion of (* 4.0 z) in z
8.656 * [taylor]: Taking taylor expansion of 4.0 in z
8.656 * [backup-simplify]: Simplify 4.0 into 4.0
8.656 * [taylor]: Taking taylor expansion of z in z
8.656 * [backup-simplify]: Simplify 0 into 0
8.656 * [backup-simplify]: Simplify 1 into 1
8.656 * [backup-simplify]: Simplify (* 4.0 0) into 0
8.656 * [backup-simplify]: Simplify (- 0) into 0
8.657 * [backup-simplify]: Simplify 0 into 0
8.657 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y)
8.657 * [backup-simplify]: Simplify (+ (/ 4.0 y) 0) into (* 4.0 (/ 1 y))
8.657 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
8.657 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ z y))) into 0
8.657 * [backup-simplify]: Simplify (- 0) into 0
8.657 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 y)) 0) into (* 4.0 (/ 1 y))
8.657 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
8.657 * [taylor]: Taking taylor expansion of 4.0 in y
8.657 * [backup-simplify]: Simplify 4.0 into 4.0
8.657 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.658 * [taylor]: Taking taylor expansion of y in y
8.658 * [backup-simplify]: Simplify 0 into 0
8.658 * [backup-simplify]: Simplify 1 into 1
8.658 * [backup-simplify]: Simplify (/ 1 1) into 1
8.658 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
8.658 * [taylor]: Taking taylor expansion of 4.0 in z
8.658 * [backup-simplify]: Simplify 4.0 into 4.0
8.658 * [backup-simplify]: Simplify 4.0 into 4.0
8.659 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
8.659 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 z)) into 0
8.659 * [backup-simplify]: Simplify (- 0) into 0
8.660 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
8.660 * [taylor]: Taking taylor expansion of 4.0 in z
8.660 * [backup-simplify]: Simplify 4.0 into 4.0
8.660 * [backup-simplify]: Simplify 4.0 into 4.0
8.661 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
8.661 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
8.661 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
8.662 * [backup-simplify]: Simplify (+ (* (- 4.0) (* z (* (/ 1 y) 1))) (+ 4.0 (* 4.0 (* 1 (* (/ 1 y) x))))) into (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y)))
8.662 * [backup-simplify]: Simplify (+ 1.0 (* (+ (- (/ (/ 1 x) (/ 1 y)) (/ (/ 1 z) (/ 1 y))) 0.75) 4.0)) into (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z)))
8.662 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in (x y z) around 0
8.662 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in z
8.662 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in z
8.662 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z
8.662 * [taylor]: Taking taylor expansion of 4.0 in z
8.662 * [backup-simplify]: Simplify 4.0 into 4.0
8.662 * [taylor]: Taking taylor expansion of (/ y x) in z
8.662 * [taylor]: Taking taylor expansion of y in z
8.662 * [backup-simplify]: Simplify y into y
8.662 * [taylor]: Taking taylor expansion of x in z
8.662 * [backup-simplify]: Simplify x into x
8.662 * [backup-simplify]: Simplify (/ y x) into (/ y x)
8.662 * [taylor]: Taking taylor expansion of 4.0 in z
8.662 * [backup-simplify]: Simplify 4.0 into 4.0
8.662 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z
8.662 * [taylor]: Taking taylor expansion of 4.0 in z
8.662 * [backup-simplify]: Simplify 4.0 into 4.0
8.662 * [taylor]: Taking taylor expansion of (/ y z) in z
8.662 * [taylor]: Taking taylor expansion of y in z
8.662 * [backup-simplify]: Simplify y into y
8.662 * [taylor]: Taking taylor expansion of z in z
8.662 * [backup-simplify]: Simplify 0 into 0
8.662 * [backup-simplify]: Simplify 1 into 1
8.662 * [backup-simplify]: Simplify (/ y 1) into y
8.662 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in y
8.662 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in y
8.662 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in y
8.662 * [taylor]: Taking taylor expansion of 4.0 in y
8.662 * [backup-simplify]: Simplify 4.0 into 4.0
8.663 * [taylor]: Taking taylor expansion of (/ y x) in y
8.663 * [taylor]: Taking taylor expansion of y in y
8.663 * [backup-simplify]: Simplify 0 into 0
8.663 * [backup-simplify]: Simplify 1 into 1
8.663 * [taylor]: Taking taylor expansion of x in y
8.663 * [backup-simplify]: Simplify x into x
8.663 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
8.663 * [taylor]: Taking taylor expansion of 4.0 in y
8.663 * [backup-simplify]: Simplify 4.0 into 4.0
8.663 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
8.663 * [taylor]: Taking taylor expansion of 4.0 in y
8.663 * [backup-simplify]: Simplify 4.0 into 4.0
8.663 * [taylor]: Taking taylor expansion of (/ y z) in y
8.663 * [taylor]: Taking taylor expansion of y in y
8.663 * [backup-simplify]: Simplify 0 into 0
8.663 * [backup-simplify]: Simplify 1 into 1
8.663 * [taylor]: Taking taylor expansion of z in y
8.663 * [backup-simplify]: Simplify z into z
8.663 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.663 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in x
8.663 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in x
8.663 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x
8.663 * [taylor]: Taking taylor expansion of 4.0 in x
8.663 * [backup-simplify]: Simplify 4.0 into 4.0
8.663 * [taylor]: Taking taylor expansion of (/ y x) in x
8.663 * [taylor]: Taking taylor expansion of y in x
8.663 * [backup-simplify]: Simplify y into y
8.663 * [taylor]: Taking taylor expansion of x in x
8.663 * [backup-simplify]: Simplify 0 into 0
8.663 * [backup-simplify]: Simplify 1 into 1
8.663 * [backup-simplify]: Simplify (/ y 1) into y
8.663 * [taylor]: Taking taylor expansion of 4.0 in x
8.663 * [backup-simplify]: Simplify 4.0 into 4.0
8.663 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x
8.663 * [taylor]: Taking taylor expansion of 4.0 in x
8.663 * [backup-simplify]: Simplify 4.0 into 4.0
8.663 * [taylor]: Taking taylor expansion of (/ y z) in x
8.663 * [taylor]: Taking taylor expansion of y in x
8.663 * [backup-simplify]: Simplify y into y
8.663 * [taylor]: Taking taylor expansion of z in x
8.663 * [backup-simplify]: Simplify z into z
8.663 * [backup-simplify]: Simplify (/ y z) into (/ y z)
8.663 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in x
8.663 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in x
8.663 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x
8.663 * [taylor]: Taking taylor expansion of 4.0 in x
8.663 * [backup-simplify]: Simplify 4.0 into 4.0
8.663 * [taylor]: Taking taylor expansion of (/ y x) in x
8.663 * [taylor]: Taking taylor expansion of y in x
8.663 * [backup-simplify]: Simplify y into y
8.663 * [taylor]: Taking taylor expansion of x in x
8.663 * [backup-simplify]: Simplify 0 into 0
8.663 * [backup-simplify]: Simplify 1 into 1
8.664 * [backup-simplify]: Simplify (/ y 1) into y
8.664 * [taylor]: Taking taylor expansion of 4.0 in x
8.664 * [backup-simplify]: Simplify 4.0 into 4.0
8.664 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x
8.664 * [taylor]: Taking taylor expansion of 4.0 in x
8.664 * [backup-simplify]: Simplify 4.0 into 4.0
8.664 * [taylor]: Taking taylor expansion of (/ y z) in x
8.664 * [taylor]: Taking taylor expansion of y in x
8.664 * [backup-simplify]: Simplify y into y
8.664 * [taylor]: Taking taylor expansion of z in x
8.664 * [backup-simplify]: Simplify z into z
8.664 * [backup-simplify]: Simplify (/ y z) into (/ y z)
8.664 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
8.664 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y)
8.664 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y)
8.664 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
8.664 * [taylor]: Taking taylor expansion of 4.0 in y
8.664 * [backup-simplify]: Simplify 4.0 into 4.0
8.664 * [taylor]: Taking taylor expansion of y in y
8.664 * [backup-simplify]: Simplify 0 into 0
8.664 * [backup-simplify]: Simplify 1 into 1
8.665 * [backup-simplify]: Simplify (* 4.0 0) into 0
8.665 * [taylor]: Taking taylor expansion of 0 in z
8.665 * [backup-simplify]: Simplify 0 into 0
8.666 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
8.666 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0
8.667 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
8.667 * [backup-simplify]: Simplify (* 4.0 (/ y z)) into (* 4.0 (/ y z))
8.667 * [backup-simplify]: Simplify (- (* 4.0 (/ y z))) into (- (* 4.0 (/ y z)))
8.667 * [backup-simplify]: Simplify (+ 4.0 (- (* 4.0 (/ y z)))) into (- 4.0 (* 4.0 (/ y z)))
8.667 * [taylor]: Taking taylor expansion of (- 4.0 (* 4.0 (/ y z))) in y
8.667 * [taylor]: Taking taylor expansion of 4.0 in y
8.667 * [backup-simplify]: Simplify 4.0 into 4.0
8.667 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
8.667 * [taylor]: Taking taylor expansion of 4.0 in y
8.667 * [backup-simplify]: Simplify 4.0 into 4.0
8.667 * [taylor]: Taking taylor expansion of (/ y z) in y
8.667 * [taylor]: Taking taylor expansion of y in y
8.667 * [backup-simplify]: Simplify 0 into 0
8.667 * [backup-simplify]: Simplify 1 into 1
8.667 * [taylor]: Taking taylor expansion of z in y
8.668 * [backup-simplify]: Simplify z into z
8.668 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.668 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
8.668 * [taylor]: Taking taylor expansion of 4.0 in z
8.668 * [backup-simplify]: Simplify 4.0 into 4.0
8.670 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
8.670 * [taylor]: Taking taylor expansion of 4.0 in z
8.670 * [backup-simplify]: Simplify 4.0 into 4.0
8.670 * [backup-simplify]: Simplify 0 into 0
8.672 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.672 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 y))) into 0
8.673 * [backup-simplify]: Simplify (+ 0 0) into 0
8.673 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
8.673 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ y z))) into 0
8.674 * [backup-simplify]: Simplify (- 0) into 0
8.674 * [backup-simplify]: Simplify (+ 0 0) into 0
8.674 * [taylor]: Taking taylor expansion of 0 in y
8.674 * [backup-simplify]: Simplify 0 into 0
8.674 * [taylor]: Taking taylor expansion of 0 in z
8.674 * [backup-simplify]: Simplify 0 into 0
8.674 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
8.675 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
8.675 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 z)))) into (- (* 4.0 (/ 1 z)))
8.675 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
8.675 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
8.675 * [taylor]: Taking taylor expansion of 4.0 in z
8.675 * [backup-simplify]: Simplify 4.0 into 4.0
8.675 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.675 * [taylor]: Taking taylor expansion of z in z
8.675 * [backup-simplify]: Simplify 0 into 0
8.675 * [backup-simplify]: Simplify 1 into 1
8.675 * [backup-simplify]: Simplify (/ 1 1) into 1
8.676 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
8.676 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
8.677 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
8.678 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
8.678 * [taylor]: Taking taylor expansion of 0 in z
8.678 * [backup-simplify]: Simplify 0 into 0
8.678 * [backup-simplify]: Simplify 4.0 into 4.0
8.678 * [backup-simplify]: Simplify 4.0 into 4.0
8.679 * [backup-simplify]: Simplify (+ (* 4.0 (* 1 (* (/ 1 y) (/ 1 (/ 1 x))))) (+ 4.0 (* (- 4.0) (* (/ 1 (/ 1 z)) (* (/ 1 y) 1))))) into (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y)))
8.680 * [backup-simplify]: Simplify (+ 1.0 (* (+ (- (/ (/ 1 (- x)) (/ 1 (- y))) (/ (/ 1 (- z)) (/ 1 (- y)))) 0.75) 4.0)) into (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z)))
8.680 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in (x y z) around 0
8.680 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in z
8.680 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in z
8.680 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z
8.680 * [taylor]: Taking taylor expansion of 4.0 in z
8.680 * [backup-simplify]: Simplify 4.0 into 4.0
8.680 * [taylor]: Taking taylor expansion of (/ y x) in z
8.680 * [taylor]: Taking taylor expansion of y in z
8.680 * [backup-simplify]: Simplify y into y
8.680 * [taylor]: Taking taylor expansion of x in z
8.680 * [backup-simplify]: Simplify x into x
8.680 * [backup-simplify]: Simplify (/ y x) into (/ y x)
8.680 * [taylor]: Taking taylor expansion of 4.0 in z
8.680 * [backup-simplify]: Simplify 4.0 into 4.0
8.680 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z
8.680 * [taylor]: Taking taylor expansion of 4.0 in z
8.680 * [backup-simplify]: Simplify 4.0 into 4.0
8.681 * [taylor]: Taking taylor expansion of (/ y z) in z
8.681 * [taylor]: Taking taylor expansion of y in z
8.681 * [backup-simplify]: Simplify y into y
8.681 * [taylor]: Taking taylor expansion of z in z
8.681 * [backup-simplify]: Simplify 0 into 0
8.681 * [backup-simplify]: Simplify 1 into 1
8.681 * [backup-simplify]: Simplify (/ y 1) into y
8.681 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in y
8.681 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in y
8.681 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in y
8.681 * [taylor]: Taking taylor expansion of 4.0 in y
8.681 * [backup-simplify]: Simplify 4.0 into 4.0
8.681 * [taylor]: Taking taylor expansion of (/ y x) in y
8.681 * [taylor]: Taking taylor expansion of y in y
8.681 * [backup-simplify]: Simplify 0 into 0
8.681 * [backup-simplify]: Simplify 1 into 1
8.681 * [taylor]: Taking taylor expansion of x in y
8.681 * [backup-simplify]: Simplify x into x
8.681 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
8.681 * [taylor]: Taking taylor expansion of 4.0 in y
8.681 * [backup-simplify]: Simplify 4.0 into 4.0
8.681 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
8.681 * [taylor]: Taking taylor expansion of 4.0 in y
8.681 * [backup-simplify]: Simplify 4.0 into 4.0
8.681 * [taylor]: Taking taylor expansion of (/ y z) in y
8.681 * [taylor]: Taking taylor expansion of y in y
8.681 * [backup-simplify]: Simplify 0 into 0
8.681 * [backup-simplify]: Simplify 1 into 1
8.681 * [taylor]: Taking taylor expansion of z in y
8.681 * [backup-simplify]: Simplify z into z
8.682 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.682 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in x
8.682 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in x
8.682 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x
8.682 * [taylor]: Taking taylor expansion of 4.0 in x
8.682 * [backup-simplify]: Simplify 4.0 into 4.0
8.682 * [taylor]: Taking taylor expansion of (/ y x) in x
8.682 * [taylor]: Taking taylor expansion of y in x
8.682 * [backup-simplify]: Simplify y into y
8.682 * [taylor]: Taking taylor expansion of x in x
8.682 * [backup-simplify]: Simplify 0 into 0
8.682 * [backup-simplify]: Simplify 1 into 1
8.682 * [backup-simplify]: Simplify (/ y 1) into y
8.682 * [taylor]: Taking taylor expansion of 4.0 in x
8.682 * [backup-simplify]: Simplify 4.0 into 4.0
8.682 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x
8.682 * [taylor]: Taking taylor expansion of 4.0 in x
8.682 * [backup-simplify]: Simplify 4.0 into 4.0
8.682 * [taylor]: Taking taylor expansion of (/ y z) in x
8.682 * [taylor]: Taking taylor expansion of y in x
8.682 * [backup-simplify]: Simplify y into y
8.682 * [taylor]: Taking taylor expansion of z in x
8.682 * [backup-simplify]: Simplify z into z
8.682 * [backup-simplify]: Simplify (/ y z) into (/ y z)
8.682 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 4.0) (* 4.0 (/ y z))) in x
8.682 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 4.0) in x
8.682 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x
8.682 * [taylor]: Taking taylor expansion of 4.0 in x
8.682 * [backup-simplify]: Simplify 4.0 into 4.0
8.682 * [taylor]: Taking taylor expansion of (/ y x) in x
8.683 * [taylor]: Taking taylor expansion of y in x
8.683 * [backup-simplify]: Simplify y into y
8.683 * [taylor]: Taking taylor expansion of x in x
8.683 * [backup-simplify]: Simplify 0 into 0
8.683 * [backup-simplify]: Simplify 1 into 1
8.683 * [backup-simplify]: Simplify (/ y 1) into y
8.683 * [taylor]: Taking taylor expansion of 4.0 in x
8.683 * [backup-simplify]: Simplify 4.0 into 4.0
8.683 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x
8.683 * [taylor]: Taking taylor expansion of 4.0 in x
8.683 * [backup-simplify]: Simplify 4.0 into 4.0
8.683 * [taylor]: Taking taylor expansion of (/ y z) in x
8.683 * [taylor]: Taking taylor expansion of y in x
8.683 * [backup-simplify]: Simplify y into y
8.683 * [taylor]: Taking taylor expansion of z in x
8.683 * [backup-simplify]: Simplify z into z
8.683 * [backup-simplify]: Simplify (/ y z) into (/ y z)
8.683 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
8.683 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y)
8.683 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y)
8.683 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
8.683 * [taylor]: Taking taylor expansion of 4.0 in y
8.684 * [backup-simplify]: Simplify 4.0 into 4.0
8.684 * [taylor]: Taking taylor expansion of y in y
8.684 * [backup-simplify]: Simplify 0 into 0
8.684 * [backup-simplify]: Simplify 1 into 1
8.684 * [backup-simplify]: Simplify (* 4.0 0) into 0
8.684 * [taylor]: Taking taylor expansion of 0 in z
8.684 * [backup-simplify]: Simplify 0 into 0
8.685 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
8.685 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0
8.685 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
8.685 * [backup-simplify]: Simplify (* 4.0 (/ y z)) into (* 4.0 (/ y z))
8.685 * [backup-simplify]: Simplify (- (* 4.0 (/ y z))) into (- (* 4.0 (/ y z)))
8.686 * [backup-simplify]: Simplify (+ 4.0 (- (* 4.0 (/ y z)))) into (- 4.0 (* 4.0 (/ y z)))
8.686 * [taylor]: Taking taylor expansion of (- 4.0 (* 4.0 (/ y z))) in y
8.686 * [taylor]: Taking taylor expansion of 4.0 in y
8.686 * [backup-simplify]: Simplify 4.0 into 4.0
8.686 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
8.686 * [taylor]: Taking taylor expansion of 4.0 in y
8.686 * [backup-simplify]: Simplify 4.0 into 4.0
8.686 * [taylor]: Taking taylor expansion of (/ y z) in y
8.686 * [taylor]: Taking taylor expansion of y in y
8.686 * [backup-simplify]: Simplify 0 into 0
8.686 * [backup-simplify]: Simplify 1 into 1
8.686 * [taylor]: Taking taylor expansion of z in y
8.686 * [backup-simplify]: Simplify z into z
8.686 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
8.686 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
8.686 * [taylor]: Taking taylor expansion of 4.0 in z
8.686 * [backup-simplify]: Simplify 4.0 into 4.0
8.687 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
8.687 * [taylor]: Taking taylor expansion of 4.0 in z
8.687 * [backup-simplify]: Simplify 4.0 into 4.0
8.687 * [backup-simplify]: Simplify 0 into 0
8.688 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.688 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 y))) into 0
8.689 * [backup-simplify]: Simplify (+ 0 0) into 0
8.689 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
8.689 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ y z))) into 0
8.689 * [backup-simplify]: Simplify (- 0) into 0
8.690 * [backup-simplify]: Simplify (+ 0 0) into 0
8.690 * [taylor]: Taking taylor expansion of 0 in y
8.690 * [backup-simplify]: Simplify 0 into 0
8.690 * [taylor]: Taking taylor expansion of 0 in z
8.690 * [backup-simplify]: Simplify 0 into 0
8.690 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
8.690 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
8.690 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 z)))) into (- (* 4.0 (/ 1 z)))
8.690 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
8.690 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
8.690 * [taylor]: Taking taylor expansion of 4.0 in z
8.690 * [backup-simplify]: Simplify 4.0 into 4.0
8.690 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.690 * [taylor]: Taking taylor expansion of z in z
8.690 * [backup-simplify]: Simplify 0 into 0
8.690 * [backup-simplify]: Simplify 1 into 1
8.690 * [backup-simplify]: Simplify (/ 1 1) into 1
8.691 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
8.691 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
8.691 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
8.692 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
8.692 * [taylor]: Taking taylor expansion of 0 in z
8.692 * [backup-simplify]: Simplify 0 into 0
8.692 * [backup-simplify]: Simplify 4.0 into 4.0
8.692 * [backup-simplify]: Simplify 4.0 into 4.0
8.692 * [backup-simplify]: Simplify (+ (* 4.0 (* 1 (* (/ 1 (- y)) (/ 1 (/ 1 (- x)))))) (+ 4.0 (* (- 4.0) (* (/ 1 (/ 1 (- z))) (* (/ 1 (- y)) 1))))) into (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y)))
8.692 * * * [progress]: simplifying candidates
8.693 * [simplify]: Simplifying:
  (/ (exp (/ x y)) (exp (/ z y)))
  (log (- (/ x y) (/ z y)))
  (exp (- (/ x y) (/ z y)))
  (* (cbrt (- (/ x y) (/ z y))) (cbrt (- (/ x y) (/ z y))))
  (cbrt (- (/ x y) (/ z y)))
  (* (* (- (/ x y) (/ z y)) (- (/ x y) (/ z y))) (- (/ x y) (/ z y)))
  (sqrt (- (/ x y) (/ z y)))
  (sqrt (- (/ x y) (/ z y)))
  (- x z)
  (- (* x y) (* y z))
  (* y y)
  (- (pow (/ x y) 3) (pow (/ z y) 3))
  (+ (* (/ x y) (/ x y)) (+ (* (/ z y) (/ z y)) (* (/ x y) (/ z y))))
  (- (/ z y))
  (- (* (/ x y) (/ x y)) (* (/ z y) (/ z y)))
  (+ (/ x y) (/ z y))
  (+ (sqrt (/ x y)) (sqrt (/ z y)))
  (- (sqrt (/ x y)) (sqrt (/ z y)))
  (+ (sqrt (/ x y)) (/ (sqrt z) (sqrt y)))
  (- (sqrt (/ x y)) (/ (sqrt z) (sqrt y)))
  (+ (/ (sqrt x) (sqrt y)) (sqrt (/ z y)))
  (- (/ (sqrt x) (sqrt y)) (sqrt (/ z y)))
  (+ (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y)))
  (- (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y)))
  (- (/ x (cbrt y)) (/ z (cbrt y)))
  (- (/ x (sqrt y)) (/ z (sqrt y)))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (- x z)
  (- (/ z y))
  (* (exp 1.0) (exp (* (+ (- (/ x y) (/ z y)) 0.75) 4.0)))
  (log (+ 1.0 (* (+ (- (/ x y) (/ z y)) 0.75) 4.0)))
  (exp (+ 1.0 (* (+ (- (/ x y) (/ z y)) 0.75) 4.0)))
  (* (cbrt (+ 1.0 (* (+ (- (/ x y) (/ z y)) 0.75) 4.0))) (cbrt (+ 1.0 (* (+ (- (/ x y) (/ z y)) 0.75) 4.0))))
  (cbrt (+ 1.0 (* (+ (- (/ x y) (/ z y)) 0.75) 4.0)))
  (* (* (+ 1.0 (* (+ (- (/ x y) (/ z y)) 0.75) 4.0)) (+ 1.0 (* (+ (- (/ x y) (/ z y)) 0.75) 4.0))) (+ 1.0 (* (+ (- (/ x y) (/ z y)) 0.75) 4.0)))
  (sqrt (+ 1.0 (* (+ (- (/ x y) (/ z y)) 0.75) 4.0)))
  (sqrt (+ 1.0 (* (+ (- (/ x y) (/ z y)) 0.75) 4.0)))
  (+ (pow 1.0 3) (pow (* (+ (- (/ x y) (/ z y)) 0.75) 4.0) 3))
  (+ (* 1.0 1.0) (- (* (* (+ (- (/ x y) (/ z y)) 0.75) 4.0) (* (+ (- (/ x y) (/ z y)) 0.75) 4.0)) (* 1.0 (* (+ (- (/ x y) (/ z y)) 0.75) 4.0))))
  (- (* 1.0 1.0) (* (* (+ (- (/ x y) (/ z y)) 0.75) 4.0) (* (+ (- (/ x y) (/ z y)) 0.75) 4.0)))
  (- 1.0 (* (+ (- (/ x y) (/ z y)) 0.75) 4.0))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y)))
  (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y)))
  (- (+ (* 4.0 (/ x y)) 4.0) (* 4.0 (/ z y)))
8.694 * * [simplify]: Extracting # 0 : cost  0
8.694 * * [simplify]: Extracting # 1 : cost  0
8.694 * * [simplify]: Extracting # 2 : cost  0
8.694 * * [simplify]: Extracting # 3 : cost  0
8.695 * * [simplify]: Extracting # 4 : cost  0
8.695 * * [simplify]: Extracting # 5 : cost  0
8.695 * * [simplify]: Extracting # 6 : cost  0
8.695 * * [simplify]: Extracting # 7 : cost  0
8.695 * * [simplify]: iteration  0 :  85  enodes  (cost  594 )
8.714 * * [simplify]: Extracting # 0 : cost  0
8.714 * * [simplify]: Extracting # 1 : cost  0
8.714 * * [simplify]: Extracting # 2 : cost  0
8.714 * * [simplify]: Extracting # 3 : cost  0
8.715 * * [simplify]: Extracting # 4 : cost  0
8.715 * * [simplify]: iteration  1 :  214  enodes  (cost  576 )
8.795 * * [simplify]: Extracting # 0 : cost  0
8.796 * * [simplify]: Extracting # 1 : cost  0
8.797 * * [simplify]: Extracting # 2 : cost  0
8.799 * * [simplify]: Extracting # 3 : cost  0
8.800 * * [simplify]: Extracting # 4 : cost  0
8.801 * * [simplify]: Extracting # 5 : cost  0
8.803 * * [simplify]: iteration  2 :  578  enodes  (cost  534 )
9.114 * * [simplify]: Extracting # 0 : cost  0
9.116 * * [simplify]: Extracting # 1 : cost  0
9.119 * * [simplify]: Extracting # 2 : cost  0
9.122 * * [simplify]: Extracting # 3 : cost  0
9.124 * * [simplify]: iteration  3 :  2150  enodes  (cost  528 )
9.941 * * [simplify]: Extracting # 0 : cost  0
9.953 * * [simplify]: Extracting # 1 : cost  0
9.963 * * [simplify]: Extracting # 2 : cost  0
9.975 * * [simplify]: Extracting # 3 : cost  0
9.982 * * [simplify]: Extracting # 4 : cost  0
9.994 * * [simplify]: iteration done:  5001  enodes  (cost  528 )
9.995 * [simplify]: Simplified to:
  (exp (- (/ x y) (/ z y)))
  (log (- (/ x y) (/ z y)))
  (exp (- (/ x y) (/ z y)))
  (* (cbrt (- (/ x y) (/ z y))) (cbrt (- (/ x y) (/ z y))))
  (cbrt (- (/ x y) (/ z y)))
  (pow (- (/ x y) (/ z y)) 3)
  (sqrt (- (/ x y) (/ z y)))
  (sqrt (- (/ x y) (/ z y)))
  (- x z)
  (* y (- x z))
  (* y y)
  (- (pow (/ x y) 3) (pow (/ z y) 3))
  (+ (* (/ x y) (/ x y)) (* (/ z y) (+ (/ x y) (/ z y))))
  (- (/ z y))
  (- (* (/ x y) (/ x y)) (* (/ z y) (/ z y)))
  (+ (/ x y) (/ z y))
  (+ (sqrt (/ x y)) (sqrt (/ z y)))
  (- (sqrt (/ x y)) (sqrt (/ z y)))
  (+ (sqrt (/ x y)) (/ (sqrt z) (sqrt y)))
  (- (sqrt (/ x y)) (/ (sqrt z) (sqrt y)))
  (+ (/ (sqrt x) (sqrt y)) (sqrt (/ z y)))
  (- (/ (sqrt x) (sqrt y)) (sqrt (/ z y)))
  (+ (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y)))
  (- (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y)))
  (- (/ x (cbrt y)) (/ z (cbrt y)))
  (- (/ x (sqrt y)) (/ z (sqrt y)))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (- x z)
  (- (/ z y))
  (exp (+ 1.0 (* (+ (- (/ x y) (/ z y)) 0.75) 4.0)))
  (log (+ 1.0 (* (+ (- (/ x y) (/ z y)) 0.75) 4.0)))
  (exp (+ 1.0 (* (+ (- (/ x y) (/ z y)) 0.75) 4.0)))
  (* (cbrt (+ 1.0 (* (+ (- (/ x y) (/ z y)) 0.75) 4.0))) (cbrt (+ 1.0 (* (+ (- (/ x y) (/ z y)) 0.75) 4.0))))
  (cbrt (+ 1.0 (* (+ (- (/ x y) (/ z y)) 0.75) 4.0)))
  (pow (+ 1.0 (* (+ (- (/ x y) (/ z y)) 0.75) 4.0)) 3)
  (sqrt (+ 1.0 (* (+ (- (/ x y) (/ z y)) 0.75) 4.0)))
  (sqrt (+ 1.0 (* (+ (- (/ x y) (/ z y)) 0.75) 4.0)))
  (+ (pow 1.0 3) (pow (* (+ (- (/ x y) (/ z y)) 0.75) 4.0) 3))
  (+ (* (* (+ (- (/ x y) (/ z y)) 0.75) 4.0) (- (* (+ (- (/ x y) (/ z y)) 0.75) 4.0) 1.0)) (* 1.0 1.0))
  (- (* 1.0 1.0) (* (* (+ (- (/ x y) (/ z y)) 0.75) 4.0) (* (+ (- (/ x y) (/ z y)) 0.75) 4.0)))
  (- 1.0 (* (+ (- (/ x y) (/ z y)) 0.75) 4.0))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (+ 4.0 (* (- (/ x y) (/ z y)) 4.0))
  (+ 4.0 (* (- (/ x y) (/ z y)) 4.0))
  (+ 4.0 (* (- (/ x y) (/ z y)) 4.0))
9.995 * * * [progress]: adding candidates to table
10.167 * * [progress]: iteration 3 / 4
10.167 * * * [progress]: picking best candidate
10.170 * * * * [pick]: Picked  #<alt (λ (x y z) (+ 4.0 (* (- (/ x y) (/ z y)) 4.0)))>
10.170 * * * [progress]: localizing error
10.181 * * * [progress]: generating rewritten candidates
10.181 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1)
10.232 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
10.392 * * * [progress]: generating series expansions
10.392 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1)
10.393 * [backup-simplify]: Simplify (- (/ x y) (/ z y)) into (- (/ x y) (/ z y))
10.393 * [approximate]: Taking taylor expansion of (- (/ x y) (/ z y)) in (x y z) around 0
10.393 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in z
10.393 * [taylor]: Taking taylor expansion of (/ x y) in z
10.393 * [taylor]: Taking taylor expansion of x in z
10.393 * [backup-simplify]: Simplify x into x
10.393 * [taylor]: Taking taylor expansion of y in z
10.393 * [backup-simplify]: Simplify y into y
10.393 * [backup-simplify]: Simplify (/ x y) into (/ x y)
10.393 * [taylor]: Taking taylor expansion of (/ z y) in z
10.393 * [taylor]: Taking taylor expansion of z in z
10.393 * [backup-simplify]: Simplify 0 into 0
10.393 * [backup-simplify]: Simplify 1 into 1
10.393 * [taylor]: Taking taylor expansion of y in z
10.393 * [backup-simplify]: Simplify y into y
10.393 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.393 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in y
10.393 * [taylor]: Taking taylor expansion of (/ x y) in y
10.393 * [taylor]: Taking taylor expansion of x in y
10.393 * [backup-simplify]: Simplify x into x
10.393 * [taylor]: Taking taylor expansion of y in y
10.393 * [backup-simplify]: Simplify 0 into 0
10.393 * [backup-simplify]: Simplify 1 into 1
10.393 * [backup-simplify]: Simplify (/ x 1) into x
10.393 * [taylor]: Taking taylor expansion of (/ z y) in y
10.393 * [taylor]: Taking taylor expansion of z in y
10.393 * [backup-simplify]: Simplify z into z
10.393 * [taylor]: Taking taylor expansion of y in y
10.393 * [backup-simplify]: Simplify 0 into 0
10.393 * [backup-simplify]: Simplify 1 into 1
10.393 * [backup-simplify]: Simplify (/ z 1) into z
10.393 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in x
10.393 * [taylor]: Taking taylor expansion of (/ x y) in x
10.393 * [taylor]: Taking taylor expansion of x in x
10.393 * [backup-simplify]: Simplify 0 into 0
10.393 * [backup-simplify]: Simplify 1 into 1
10.393 * [taylor]: Taking taylor expansion of y in x
10.393 * [backup-simplify]: Simplify y into y
10.393 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.393 * [taylor]: Taking taylor expansion of (/ z y) in x
10.393 * [taylor]: Taking taylor expansion of z in x
10.393 * [backup-simplify]: Simplify z into z
10.393 * [taylor]: Taking taylor expansion of y in x
10.393 * [backup-simplify]: Simplify y into y
10.394 * [backup-simplify]: Simplify (/ z y) into (/ z y)
10.394 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in x
10.394 * [taylor]: Taking taylor expansion of (/ x y) in x
10.394 * [taylor]: Taking taylor expansion of x in x
10.394 * [backup-simplify]: Simplify 0 into 0
10.394 * [backup-simplify]: Simplify 1 into 1
10.394 * [taylor]: Taking taylor expansion of y in x
10.394 * [backup-simplify]: Simplify y into y
10.394 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.394 * [taylor]: Taking taylor expansion of (/ z y) in x
10.394 * [taylor]: Taking taylor expansion of z in x
10.394 * [backup-simplify]: Simplify z into z
10.394 * [taylor]: Taking taylor expansion of y in x
10.394 * [backup-simplify]: Simplify y into y
10.394 * [backup-simplify]: Simplify (/ z y) into (/ z y)
10.394 * [backup-simplify]: Simplify (- (/ z y)) into (- (/ z y))
10.394 * [backup-simplify]: Simplify (+ 0 (- (/ z y))) into (- (/ z y))
10.394 * [taylor]: Taking taylor expansion of (- (/ z y)) in y
10.394 * [taylor]: Taking taylor expansion of (/ z y) in y
10.394 * [taylor]: Taking taylor expansion of z in y
10.394 * [backup-simplify]: Simplify z into z
10.394 * [taylor]: Taking taylor expansion of y in y
10.394 * [backup-simplify]: Simplify 0 into 0
10.394 * [backup-simplify]: Simplify 1 into 1
10.394 * [backup-simplify]: Simplify (/ z 1) into z
10.394 * [backup-simplify]: Simplify (- z) into (- z)
10.394 * [taylor]: Taking taylor expansion of (- z) in z
10.394 * [taylor]: Taking taylor expansion of z in z
10.394 * [backup-simplify]: Simplify 0 into 0
10.394 * [backup-simplify]: Simplify 1 into 1
10.395 * [backup-simplify]: Simplify (- 0) into 0
10.395 * [backup-simplify]: Simplify 0 into 0
10.395 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
10.395 * [backup-simplify]: Simplify (- 0) into 0
10.395 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
10.395 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.395 * [taylor]: Taking taylor expansion of y in y
10.395 * [backup-simplify]: Simplify 0 into 0
10.395 * [backup-simplify]: Simplify 1 into 1
10.396 * [backup-simplify]: Simplify (/ 1 1) into 1
10.396 * [taylor]: Taking taylor expansion of 1 in z
10.396 * [backup-simplify]: Simplify 1 into 1
10.396 * [backup-simplify]: Simplify 1 into 1
10.396 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
10.396 * [backup-simplify]: Simplify (- 0) into 0
10.396 * [taylor]: Taking taylor expansion of 0 in z
10.396 * [backup-simplify]: Simplify 0 into 0
10.397 * [backup-simplify]: Simplify 0 into 0
10.397 * [backup-simplify]: Simplify (- 1) into -1
10.397 * [backup-simplify]: Simplify -1 into -1
10.397 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
10.397 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
10.397 * [backup-simplify]: Simplify (- 0) into 0
10.398 * [backup-simplify]: Simplify (+ 0 0) into 0
10.398 * [taylor]: Taking taylor expansion of 0 in y
10.398 * [backup-simplify]: Simplify 0 into 0
10.398 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.398 * [taylor]: Taking taylor expansion of 0 in z
10.398 * [backup-simplify]: Simplify 0 into 0
10.398 * [backup-simplify]: Simplify 0 into 0
10.399 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.399 * [backup-simplify]: Simplify (- 0) into 0
10.399 * [taylor]: Taking taylor expansion of 0 in z
10.399 * [backup-simplify]: Simplify 0 into 0
10.399 * [backup-simplify]: Simplify 0 into 0
10.399 * [backup-simplify]: Simplify 0 into 0
10.399 * [backup-simplify]: Simplify 0 into 0
10.400 * [backup-simplify]: Simplify (- 0) into 0
10.400 * [backup-simplify]: Simplify 0 into 0
10.400 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
10.400 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
10.400 * [backup-simplify]: Simplify (- 0) into 0
10.401 * [backup-simplify]: Simplify (+ 0 0) into 0
10.401 * [taylor]: Taking taylor expansion of 0 in y
10.401 * [backup-simplify]: Simplify 0 into 0
10.401 * [taylor]: Taking taylor expansion of 0 in z
10.401 * [backup-simplify]: Simplify 0 into 0
10.401 * [backup-simplify]: Simplify 0 into 0
10.401 * [backup-simplify]: Simplify (+ (* -1 (* z (* (/ 1 y) 1))) (* 1 (* 1 (* (/ 1 y) x)))) into (- (/ x y) (/ z y))
10.401 * [backup-simplify]: Simplify (- (/ (/ 1 x) (/ 1 y)) (/ (/ 1 z) (/ 1 y))) into (- (/ y x) (/ y z))
10.401 * [approximate]: Taking taylor expansion of (- (/ y x) (/ y z)) in (x y z) around 0
10.401 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in z
10.401 * [taylor]: Taking taylor expansion of (/ y x) in z
10.401 * [taylor]: Taking taylor expansion of y in z
10.401 * [backup-simplify]: Simplify y into y
10.401 * [taylor]: Taking taylor expansion of x in z
10.401 * [backup-simplify]: Simplify x into x
10.401 * [backup-simplify]: Simplify (/ y x) into (/ y x)
10.401 * [taylor]: Taking taylor expansion of (/ y z) in z
10.401 * [taylor]: Taking taylor expansion of y in z
10.401 * [backup-simplify]: Simplify y into y
10.401 * [taylor]: Taking taylor expansion of z in z
10.401 * [backup-simplify]: Simplify 0 into 0
10.401 * [backup-simplify]: Simplify 1 into 1
10.401 * [backup-simplify]: Simplify (/ y 1) into y
10.401 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in y
10.401 * [taylor]: Taking taylor expansion of (/ y x) in y
10.402 * [taylor]: Taking taylor expansion of y in y
10.402 * [backup-simplify]: Simplify 0 into 0
10.402 * [backup-simplify]: Simplify 1 into 1
10.402 * [taylor]: Taking taylor expansion of x in y
10.402 * [backup-simplify]: Simplify x into x
10.402 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.402 * [taylor]: Taking taylor expansion of (/ y z) in y
10.402 * [taylor]: Taking taylor expansion of y in y
10.402 * [backup-simplify]: Simplify 0 into 0
10.402 * [backup-simplify]: Simplify 1 into 1
10.402 * [taylor]: Taking taylor expansion of z in y
10.402 * [backup-simplify]: Simplify z into z
10.402 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
10.402 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
10.402 * [taylor]: Taking taylor expansion of (/ y x) in x
10.402 * [taylor]: Taking taylor expansion of y in x
10.402 * [backup-simplify]: Simplify y into y
10.402 * [taylor]: Taking taylor expansion of x in x
10.402 * [backup-simplify]: Simplify 0 into 0
10.402 * [backup-simplify]: Simplify 1 into 1
10.402 * [backup-simplify]: Simplify (/ y 1) into y
10.402 * [taylor]: Taking taylor expansion of (/ y z) in x
10.402 * [taylor]: Taking taylor expansion of y in x
10.402 * [backup-simplify]: Simplify y into y
10.402 * [taylor]: Taking taylor expansion of z in x
10.402 * [backup-simplify]: Simplify z into z
10.402 * [backup-simplify]: Simplify (/ y z) into (/ y z)
10.402 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
10.402 * [taylor]: Taking taylor expansion of (/ y x) in x
10.402 * [taylor]: Taking taylor expansion of y in x
10.402 * [backup-simplify]: Simplify y into y
10.402 * [taylor]: Taking taylor expansion of x in x
10.402 * [backup-simplify]: Simplify 0 into 0
10.402 * [backup-simplify]: Simplify 1 into 1
10.402 * [backup-simplify]: Simplify (/ y 1) into y
10.402 * [taylor]: Taking taylor expansion of (/ y z) in x
10.402 * [taylor]: Taking taylor expansion of y in x
10.402 * [backup-simplify]: Simplify y into y
10.402 * [taylor]: Taking taylor expansion of z in x
10.402 * [backup-simplify]: Simplify z into z
10.402 * [backup-simplify]: Simplify (/ y z) into (/ y z)
10.402 * [backup-simplify]: Simplify (+ y 0) into y
10.402 * [taylor]: Taking taylor expansion of y in y
10.402 * [backup-simplify]: Simplify 0 into 0
10.402 * [backup-simplify]: Simplify 1 into 1
10.402 * [taylor]: Taking taylor expansion of 1 in z
10.402 * [backup-simplify]: Simplify 1 into 1
10.403 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
10.403 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z))
10.403 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z))
10.403 * [taylor]: Taking taylor expansion of (- (/ y z)) in y
10.403 * [taylor]: Taking taylor expansion of (/ y z) in y
10.403 * [taylor]: Taking taylor expansion of y in y
10.403 * [backup-simplify]: Simplify 0 into 0
10.403 * [backup-simplify]: Simplify 1 into 1
10.403 * [taylor]: Taking taylor expansion of z in y
10.403 * [backup-simplify]: Simplify z into z
10.403 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
10.403 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
10.403 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
10.403 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.403 * [taylor]: Taking taylor expansion of z in z
10.403 * [backup-simplify]: Simplify 0 into 0
10.403 * [backup-simplify]: Simplify 1 into 1
10.404 * [backup-simplify]: Simplify (/ 1 1) into 1
10.404 * [backup-simplify]: Simplify (- 1) into -1
10.404 * [backup-simplify]: Simplify -1 into -1
10.404 * [taylor]: Taking taylor expansion of 0 in z
10.404 * [backup-simplify]: Simplify 0 into 0
10.404 * [backup-simplify]: Simplify 1 into 1
10.406 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.406 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
10.406 * [backup-simplify]: Simplify (- 0) into 0
10.407 * [backup-simplify]: Simplify (+ 0 0) into 0
10.407 * [taylor]: Taking taylor expansion of 0 in y
10.407 * [backup-simplify]: Simplify 0 into 0
10.407 * [taylor]: Taking taylor expansion of 0 in z
10.407 * [backup-simplify]: Simplify 0 into 0
10.407 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
10.407 * [backup-simplify]: Simplify (- 0) into 0
10.407 * [taylor]: Taking taylor expansion of 0 in z
10.407 * [backup-simplify]: Simplify 0 into 0
10.407 * [taylor]: Taking taylor expansion of 0 in z
10.407 * [backup-simplify]: Simplify 0 into 0
10.408 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.408 * [backup-simplify]: Simplify (- 0) into 0
10.408 * [backup-simplify]: Simplify 0 into 0
10.409 * [backup-simplify]: Simplify 0 into 0
10.409 * [backup-simplify]: Simplify 0 into 0
10.410 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.411 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
10.411 * [backup-simplify]: Simplify (- 0) into 0
10.411 * [backup-simplify]: Simplify (+ 0 0) into 0
10.411 * [taylor]: Taking taylor expansion of 0 in y
10.412 * [backup-simplify]: Simplify 0 into 0
10.412 * [taylor]: Taking taylor expansion of 0 in z
10.412 * [backup-simplify]: Simplify 0 into 0
10.412 * [taylor]: Taking taylor expansion of 0 in z
10.412 * [backup-simplify]: Simplify 0 into 0
10.412 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
10.412 * [backup-simplify]: Simplify (- 0) into 0
10.412 * [taylor]: Taking taylor expansion of 0 in z
10.412 * [backup-simplify]: Simplify 0 into 0
10.412 * [taylor]: Taking taylor expansion of 0 in z
10.412 * [backup-simplify]: Simplify 0 into 0
10.412 * [backup-simplify]: Simplify 0 into 0
10.413 * [backup-simplify]: Simplify 0 into 0
10.413 * [backup-simplify]: Simplify 0 into 0
10.413 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 y) (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 y) 1)))) into (- (/ x y) (/ z y))
10.413 * [backup-simplify]: Simplify (- (/ (/ 1 (- x)) (/ 1 (- y))) (/ (/ 1 (- z)) (/ 1 (- y)))) into (- (/ y x) (/ y z))
10.413 * [approximate]: Taking taylor expansion of (- (/ y x) (/ y z)) in (x y z) around 0
10.413 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in z
10.413 * [taylor]: Taking taylor expansion of (/ y x) in z
10.413 * [taylor]: Taking taylor expansion of y in z
10.414 * [backup-simplify]: Simplify y into y
10.414 * [taylor]: Taking taylor expansion of x in z
10.414 * [backup-simplify]: Simplify x into x
10.414 * [backup-simplify]: Simplify (/ y x) into (/ y x)
10.414 * [taylor]: Taking taylor expansion of (/ y z) in z
10.414 * [taylor]: Taking taylor expansion of y in z
10.414 * [backup-simplify]: Simplify y into y
10.414 * [taylor]: Taking taylor expansion of z in z
10.414 * [backup-simplify]: Simplify 0 into 0
10.414 * [backup-simplify]: Simplify 1 into 1
10.414 * [backup-simplify]: Simplify (/ y 1) into y
10.414 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in y
10.414 * [taylor]: Taking taylor expansion of (/ y x) in y
10.414 * [taylor]: Taking taylor expansion of y in y
10.414 * [backup-simplify]: Simplify 0 into 0
10.414 * [backup-simplify]: Simplify 1 into 1
10.414 * [taylor]: Taking taylor expansion of x in y
10.414 * [backup-simplify]: Simplify x into x
10.414 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.414 * [taylor]: Taking taylor expansion of (/ y z) in y
10.414 * [taylor]: Taking taylor expansion of y in y
10.414 * [backup-simplify]: Simplify 0 into 0
10.414 * [backup-simplify]: Simplify 1 into 1
10.414 * [taylor]: Taking taylor expansion of z in y
10.414 * [backup-simplify]: Simplify z into z
10.414 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
10.414 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
10.414 * [taylor]: Taking taylor expansion of (/ y x) in x
10.414 * [taylor]: Taking taylor expansion of y in x
10.414 * [backup-simplify]: Simplify y into y
10.414 * [taylor]: Taking taylor expansion of x in x
10.415 * [backup-simplify]: Simplify 0 into 0
10.415 * [backup-simplify]: Simplify 1 into 1
10.415 * [backup-simplify]: Simplify (/ y 1) into y
10.415 * [taylor]: Taking taylor expansion of (/ y z) in x
10.415 * [taylor]: Taking taylor expansion of y in x
10.415 * [backup-simplify]: Simplify y into y
10.415 * [taylor]: Taking taylor expansion of z in x
10.415 * [backup-simplify]: Simplify z into z
10.415 * [backup-simplify]: Simplify (/ y z) into (/ y z)
10.415 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
10.415 * [taylor]: Taking taylor expansion of (/ y x) in x
10.415 * [taylor]: Taking taylor expansion of y in x
10.415 * [backup-simplify]: Simplify y into y
10.415 * [taylor]: Taking taylor expansion of x in x
10.415 * [backup-simplify]: Simplify 0 into 0
10.415 * [backup-simplify]: Simplify 1 into 1
10.415 * [backup-simplify]: Simplify (/ y 1) into y
10.415 * [taylor]: Taking taylor expansion of (/ y z) in x
10.415 * [taylor]: Taking taylor expansion of y in x
10.415 * [backup-simplify]: Simplify y into y
10.415 * [taylor]: Taking taylor expansion of z in x
10.415 * [backup-simplify]: Simplify z into z
10.415 * [backup-simplify]: Simplify (/ y z) into (/ y z)
10.415 * [backup-simplify]: Simplify (+ y 0) into y
10.415 * [taylor]: Taking taylor expansion of y in y
10.415 * [backup-simplify]: Simplify 0 into 0
10.415 * [backup-simplify]: Simplify 1 into 1
10.415 * [taylor]: Taking taylor expansion of 1 in z
10.416 * [backup-simplify]: Simplify 1 into 1
10.417 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
10.417 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z))
10.417 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z))
10.417 * [taylor]: Taking taylor expansion of (- (/ y z)) in y
10.417 * [taylor]: Taking taylor expansion of (/ y z) in y
10.417 * [taylor]: Taking taylor expansion of y in y
10.417 * [backup-simplify]: Simplify 0 into 0
10.417 * [backup-simplify]: Simplify 1 into 1
10.417 * [taylor]: Taking taylor expansion of z in y
10.417 * [backup-simplify]: Simplify z into z
10.417 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
10.417 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
10.417 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
10.417 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.417 * [taylor]: Taking taylor expansion of z in z
10.417 * [backup-simplify]: Simplify 0 into 0
10.417 * [backup-simplify]: Simplify 1 into 1
10.418 * [backup-simplify]: Simplify (/ 1 1) into 1
10.418 * [backup-simplify]: Simplify (- 1) into -1
10.418 * [backup-simplify]: Simplify -1 into -1
10.418 * [taylor]: Taking taylor expansion of 0 in z
10.418 * [backup-simplify]: Simplify 0 into 0
10.418 * [backup-simplify]: Simplify 1 into 1
10.420 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.420 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
10.420 * [backup-simplify]: Simplify (- 0) into 0
10.421 * [backup-simplify]: Simplify (+ 0 0) into 0
10.421 * [taylor]: Taking taylor expansion of 0 in y
10.421 * [backup-simplify]: Simplify 0 into 0
10.421 * [taylor]: Taking taylor expansion of 0 in z
10.421 * [backup-simplify]: Simplify 0 into 0
10.421 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
10.422 * [backup-simplify]: Simplify (- 0) into 0
10.422 * [taylor]: Taking taylor expansion of 0 in z
10.422 * [backup-simplify]: Simplify 0 into 0
10.422 * [taylor]: Taking taylor expansion of 0 in z
10.422 * [backup-simplify]: Simplify 0 into 0
10.423 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.423 * [backup-simplify]: Simplify (- 0) into 0
10.423 * [backup-simplify]: Simplify 0 into 0
10.423 * [backup-simplify]: Simplify 0 into 0
10.423 * [backup-simplify]: Simplify 0 into 0
10.424 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.425 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
10.425 * [backup-simplify]: Simplify (- 0) into 0
10.425 * [backup-simplify]: Simplify (+ 0 0) into 0
10.425 * [taylor]: Taking taylor expansion of 0 in y
10.425 * [backup-simplify]: Simplify 0 into 0
10.425 * [taylor]: Taking taylor expansion of 0 in z
10.425 * [backup-simplify]: Simplify 0 into 0
10.425 * [taylor]: Taking taylor expansion of 0 in z
10.425 * [backup-simplify]: Simplify 0 into 0
10.425 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
10.426 * [backup-simplify]: Simplify (- 0) into 0
10.426 * [taylor]: Taking taylor expansion of 0 in z
10.426 * [backup-simplify]: Simplify 0 into 0
10.426 * [taylor]: Taking taylor expansion of 0 in z
10.426 * [backup-simplify]: Simplify 0 into 0
10.426 * [backup-simplify]: Simplify 0 into 0
10.426 * [backup-simplify]: Simplify 0 into 0
10.426 * [backup-simplify]: Simplify 0 into 0
10.426 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (- y)) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (- y)) 1)))) into (- (/ x y) (/ z y))
10.426 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
10.426 * [backup-simplify]: Simplify (* (- (/ x y) (/ z y)) 4.0) into (* 4.0 (- (/ x y) (/ z y)))
10.426 * [approximate]: Taking taylor expansion of (* 4.0 (- (/ x y) (/ z y))) in (x y z) around 0
10.426 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ x y) (/ z y))) in z
10.426 * [taylor]: Taking taylor expansion of 4.0 in z
10.426 * [backup-simplify]: Simplify 4.0 into 4.0
10.426 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in z
10.426 * [taylor]: Taking taylor expansion of (/ x y) in z
10.426 * [taylor]: Taking taylor expansion of x in z
10.426 * [backup-simplify]: Simplify x into x
10.426 * [taylor]: Taking taylor expansion of y in z
10.426 * [backup-simplify]: Simplify y into y
10.426 * [backup-simplify]: Simplify (/ x y) into (/ x y)
10.426 * [taylor]: Taking taylor expansion of (/ z y) in z
10.427 * [taylor]: Taking taylor expansion of z in z
10.427 * [backup-simplify]: Simplify 0 into 0
10.427 * [backup-simplify]: Simplify 1 into 1
10.427 * [taylor]: Taking taylor expansion of y in z
10.427 * [backup-simplify]: Simplify y into y
10.427 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.427 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ x y) (/ z y))) in y
10.427 * [taylor]: Taking taylor expansion of 4.0 in y
10.427 * [backup-simplify]: Simplify 4.0 into 4.0
10.427 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in y
10.427 * [taylor]: Taking taylor expansion of (/ x y) in y
10.427 * [taylor]: Taking taylor expansion of x in y
10.427 * [backup-simplify]: Simplify x into x
10.427 * [taylor]: Taking taylor expansion of y in y
10.427 * [backup-simplify]: Simplify 0 into 0
10.427 * [backup-simplify]: Simplify 1 into 1
10.427 * [backup-simplify]: Simplify (/ x 1) into x
10.427 * [taylor]: Taking taylor expansion of (/ z y) in y
10.427 * [taylor]: Taking taylor expansion of z in y
10.427 * [backup-simplify]: Simplify z into z
10.427 * [taylor]: Taking taylor expansion of y in y
10.427 * [backup-simplify]: Simplify 0 into 0
10.427 * [backup-simplify]: Simplify 1 into 1
10.427 * [backup-simplify]: Simplify (/ z 1) into z
10.427 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ x y) (/ z y))) in x
10.427 * [taylor]: Taking taylor expansion of 4.0 in x
10.427 * [backup-simplify]: Simplify 4.0 into 4.0
10.427 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in x
10.427 * [taylor]: Taking taylor expansion of (/ x y) in x
10.427 * [taylor]: Taking taylor expansion of x in x
10.427 * [backup-simplify]: Simplify 0 into 0
10.427 * [backup-simplify]: Simplify 1 into 1
10.427 * [taylor]: Taking taylor expansion of y in x
10.427 * [backup-simplify]: Simplify y into y
10.427 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.427 * [taylor]: Taking taylor expansion of (/ z y) in x
10.427 * [taylor]: Taking taylor expansion of z in x
10.427 * [backup-simplify]: Simplify z into z
10.427 * [taylor]: Taking taylor expansion of y in x
10.427 * [backup-simplify]: Simplify y into y
10.427 * [backup-simplify]: Simplify (/ z y) into (/ z y)
10.427 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ x y) (/ z y))) in x
10.427 * [taylor]: Taking taylor expansion of 4.0 in x
10.427 * [backup-simplify]: Simplify 4.0 into 4.0
10.427 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in x
10.427 * [taylor]: Taking taylor expansion of (/ x y) in x
10.427 * [taylor]: Taking taylor expansion of x in x
10.427 * [backup-simplify]: Simplify 0 into 0
10.427 * [backup-simplify]: Simplify 1 into 1
10.427 * [taylor]: Taking taylor expansion of y in x
10.427 * [backup-simplify]: Simplify y into y
10.427 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.428 * [taylor]: Taking taylor expansion of (/ z y) in x
10.428 * [taylor]: Taking taylor expansion of z in x
10.428 * [backup-simplify]: Simplify z into z
10.428 * [taylor]: Taking taylor expansion of y in x
10.428 * [backup-simplify]: Simplify y into y
10.428 * [backup-simplify]: Simplify (/ z y) into (/ z y)
10.428 * [backup-simplify]: Simplify (- (/ z y)) into (- (/ z y))
10.428 * [backup-simplify]: Simplify (+ 0 (- (/ z y))) into (- (/ z y))
10.428 * [backup-simplify]: Simplify (* 4.0 (- (/ z y))) into (* -4.0 (/ z y))
10.428 * [taylor]: Taking taylor expansion of (* -4.0 (/ z y)) in y
10.428 * [taylor]: Taking taylor expansion of -4.0 in y
10.428 * [backup-simplify]: Simplify -4.0 into -4.0
10.428 * [taylor]: Taking taylor expansion of (/ z y) in y
10.428 * [taylor]: Taking taylor expansion of z in y
10.428 * [backup-simplify]: Simplify z into z
10.428 * [taylor]: Taking taylor expansion of y in y
10.428 * [backup-simplify]: Simplify 0 into 0
10.428 * [backup-simplify]: Simplify 1 into 1
10.428 * [backup-simplify]: Simplify (/ z 1) into z
10.428 * [backup-simplify]: Simplify (* -4.0 z) into (* -4.0 z)
10.428 * [taylor]: Taking taylor expansion of (* -4.0 z) in z
10.428 * [taylor]: Taking taylor expansion of -4.0 in z
10.428 * [backup-simplify]: Simplify -4.0 into -4.0
10.428 * [taylor]: Taking taylor expansion of z in z
10.428 * [backup-simplify]: Simplify 0 into 0
10.428 * [backup-simplify]: Simplify 1 into 1
10.429 * [backup-simplify]: Simplify (* -4.0 0) into 0
10.429 * [backup-simplify]: Simplify 0 into 0
10.429 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
10.429 * [backup-simplify]: Simplify (- 0) into 0
10.429 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
10.429 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 y)) (* 0 (- (/ z y)))) into (* 4.0 (/ 1 y))
10.429 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y
10.429 * [taylor]: Taking taylor expansion of 4.0 in y
10.429 * [backup-simplify]: Simplify 4.0 into 4.0
10.429 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.429 * [taylor]: Taking taylor expansion of y in y
10.429 * [backup-simplify]: Simplify 0 into 0
10.429 * [backup-simplify]: Simplify 1 into 1
10.429 * [backup-simplify]: Simplify (/ 1 1) into 1
10.430 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
10.430 * [taylor]: Taking taylor expansion of 4.0 in z
10.430 * [backup-simplify]: Simplify 4.0 into 4.0
10.430 * [backup-simplify]: Simplify 4.0 into 4.0
10.430 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
10.431 * [backup-simplify]: Simplify (+ (* -4.0 0) (* 0 z)) into 0
10.431 * [taylor]: Taking taylor expansion of 0 in z
10.431 * [backup-simplify]: Simplify 0 into 0
10.431 * [backup-simplify]: Simplify 0 into 0
10.432 * [backup-simplify]: Simplify (+ (* -4.0 1) (* 0 0)) into (- 4.0)
10.432 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
10.432 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
10.432 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
10.432 * [backup-simplify]: Simplify (- 0) into 0
10.433 * [backup-simplify]: Simplify (+ 0 0) into 0
10.433 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (/ 1 y)) (* 0 (- (/ z y))))) into 0
10.433 * [taylor]: Taking taylor expansion of 0 in y
10.433 * [backup-simplify]: Simplify 0 into 0
10.433 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.434 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
10.434 * [taylor]: Taking taylor expansion of 0 in z
10.434 * [backup-simplify]: Simplify 0 into 0
10.434 * [backup-simplify]: Simplify 0 into 0
10.435 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.435 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 0) (* 0 z))) into 0
10.435 * [taylor]: Taking taylor expansion of 0 in z
10.435 * [backup-simplify]: Simplify 0 into 0
10.435 * [backup-simplify]: Simplify 0 into 0
10.435 * [backup-simplify]: Simplify 0 into 0
10.435 * [backup-simplify]: Simplify 0 into 0
10.436 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 1) (* 0 0))) into 0
10.436 * [backup-simplify]: Simplify 0 into 0
10.436 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
10.436 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
10.437 * [backup-simplify]: Simplify (- 0) into 0
10.437 * [backup-simplify]: Simplify (+ 0 0) into 0
10.437 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 (- (/ z y)))))) into 0
10.437 * [taylor]: Taking taylor expansion of 0 in y
10.437 * [backup-simplify]: Simplify 0 into 0
10.437 * [taylor]: Taking taylor expansion of 0 in z
10.437 * [backup-simplify]: Simplify 0 into 0
10.437 * [backup-simplify]: Simplify 0 into 0
10.438 * [backup-simplify]: Simplify (+ (* (- 4.0) (* z (* (/ 1 y) 1))) (* 4.0 (* 1 (* (/ 1 y) x)))) into (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
10.438 * [backup-simplify]: Simplify (* (- (/ (/ 1 x) (/ 1 y)) (/ (/ 1 z) (/ 1 y))) 4.0) into (* 4.0 (- (/ y x) (/ y z)))
10.438 * [approximate]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in (x y z) around 0
10.438 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in z
10.438 * [taylor]: Taking taylor expansion of 4.0 in z
10.438 * [backup-simplify]: Simplify 4.0 into 4.0
10.438 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in z
10.438 * [taylor]: Taking taylor expansion of (/ y x) in z
10.438 * [taylor]: Taking taylor expansion of y in z
10.438 * [backup-simplify]: Simplify y into y
10.438 * [taylor]: Taking taylor expansion of x in z
10.438 * [backup-simplify]: Simplify x into x
10.438 * [backup-simplify]: Simplify (/ y x) into (/ y x)
10.438 * [taylor]: Taking taylor expansion of (/ y z) in z
10.438 * [taylor]: Taking taylor expansion of y in z
10.438 * [backup-simplify]: Simplify y into y
10.438 * [taylor]: Taking taylor expansion of z in z
10.438 * [backup-simplify]: Simplify 0 into 0
10.438 * [backup-simplify]: Simplify 1 into 1
10.438 * [backup-simplify]: Simplify (/ y 1) into y
10.438 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in y
10.438 * [taylor]: Taking taylor expansion of 4.0 in y
10.438 * [backup-simplify]: Simplify 4.0 into 4.0
10.438 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in y
10.439 * [taylor]: Taking taylor expansion of (/ y x) in y
10.439 * [taylor]: Taking taylor expansion of y in y
10.439 * [backup-simplify]: Simplify 0 into 0
10.439 * [backup-simplify]: Simplify 1 into 1
10.439 * [taylor]: Taking taylor expansion of x in y
10.439 * [backup-simplify]: Simplify x into x
10.439 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.439 * [taylor]: Taking taylor expansion of (/ y z) in y
10.439 * [taylor]: Taking taylor expansion of y in y
10.439 * [backup-simplify]: Simplify 0 into 0
10.439 * [backup-simplify]: Simplify 1 into 1
10.439 * [taylor]: Taking taylor expansion of z in y
10.439 * [backup-simplify]: Simplify z into z
10.439 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
10.439 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in x
10.439 * [taylor]: Taking taylor expansion of 4.0 in x
10.439 * [backup-simplify]: Simplify 4.0 into 4.0
10.439 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
10.439 * [taylor]: Taking taylor expansion of (/ y x) in x
10.439 * [taylor]: Taking taylor expansion of y in x
10.439 * [backup-simplify]: Simplify y into y
10.439 * [taylor]: Taking taylor expansion of x in x
10.439 * [backup-simplify]: Simplify 0 into 0
10.439 * [backup-simplify]: Simplify 1 into 1
10.439 * [backup-simplify]: Simplify (/ y 1) into y
10.439 * [taylor]: Taking taylor expansion of (/ y z) in x
10.439 * [taylor]: Taking taylor expansion of y in x
10.439 * [backup-simplify]: Simplify y into y
10.439 * [taylor]: Taking taylor expansion of z in x
10.439 * [backup-simplify]: Simplify z into z
10.439 * [backup-simplify]: Simplify (/ y z) into (/ y z)
10.439 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in x
10.439 * [taylor]: Taking taylor expansion of 4.0 in x
10.439 * [backup-simplify]: Simplify 4.0 into 4.0
10.439 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
10.439 * [taylor]: Taking taylor expansion of (/ y x) in x
10.439 * [taylor]: Taking taylor expansion of y in x
10.439 * [backup-simplify]: Simplify y into y
10.439 * [taylor]: Taking taylor expansion of x in x
10.439 * [backup-simplify]: Simplify 0 into 0
10.439 * [backup-simplify]: Simplify 1 into 1
10.439 * [backup-simplify]: Simplify (/ y 1) into y
10.439 * [taylor]: Taking taylor expansion of (/ y z) in x
10.439 * [taylor]: Taking taylor expansion of y in x
10.439 * [backup-simplify]: Simplify y into y
10.439 * [taylor]: Taking taylor expansion of z in x
10.439 * [backup-simplify]: Simplify z into z
10.439 * [backup-simplify]: Simplify (/ y z) into (/ y z)
10.440 * [backup-simplify]: Simplify (+ y 0) into y
10.440 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
10.440 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
10.440 * [taylor]: Taking taylor expansion of 4.0 in y
10.440 * [backup-simplify]: Simplify 4.0 into 4.0
10.440 * [taylor]: Taking taylor expansion of y in y
10.440 * [backup-simplify]: Simplify 0 into 0
10.440 * [backup-simplify]: Simplify 1 into 1
10.441 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
10.441 * [taylor]: Taking taylor expansion of 4.0 in z
10.441 * [backup-simplify]: Simplify 4.0 into 4.0
10.441 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
10.441 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z))
10.441 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z))
10.441 * [backup-simplify]: Simplify (+ (* 4.0 (- (/ y z))) (* 0 y)) into (- (* 4.0 (/ y z)))
10.441 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ y z))) in y
10.441 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
10.442 * [taylor]: Taking taylor expansion of 4.0 in y
10.442 * [backup-simplify]: Simplify 4.0 into 4.0
10.442 * [taylor]: Taking taylor expansion of (/ y z) in y
10.442 * [taylor]: Taking taylor expansion of y in y
10.442 * [backup-simplify]: Simplify 0 into 0
10.442 * [backup-simplify]: Simplify 1 into 1
10.442 * [taylor]: Taking taylor expansion of z in y
10.442 * [backup-simplify]: Simplify z into z
10.442 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
10.442 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
10.442 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
10.442 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
10.442 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
10.442 * [taylor]: Taking taylor expansion of 4.0 in z
10.442 * [backup-simplify]: Simplify 4.0 into 4.0
10.442 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.442 * [taylor]: Taking taylor expansion of z in z
10.442 * [backup-simplify]: Simplify 0 into 0
10.442 * [backup-simplify]: Simplify 1 into 1
10.442 * [backup-simplify]: Simplify (/ 1 1) into 1
10.442 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
10.443 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
10.443 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
10.443 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
10.443 * [taylor]: Taking taylor expansion of 0 in z
10.443 * [backup-simplify]: Simplify 0 into 0
10.444 * [backup-simplify]: Simplify 4.0 into 4.0
10.444 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.444 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
10.445 * [backup-simplify]: Simplify (- 0) into 0
10.445 * [backup-simplify]: Simplify (+ 0 0) into 0
10.445 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (- (/ y z))) (* 0 y))) into 0
10.445 * [taylor]: Taking taylor expansion of 0 in y
10.445 * [backup-simplify]: Simplify 0 into 0
10.445 * [taylor]: Taking taylor expansion of 0 in z
10.445 * [backup-simplify]: Simplify 0 into 0
10.446 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
10.446 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ 1 z))) into 0
10.446 * [backup-simplify]: Simplify (- 0) into 0
10.446 * [taylor]: Taking taylor expansion of 0 in z
10.446 * [backup-simplify]: Simplify 0 into 0
10.447 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
10.447 * [taylor]: Taking taylor expansion of 0 in z
10.447 * [backup-simplify]: Simplify 0 into 0
10.447 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.448 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
10.448 * [backup-simplify]: Simplify (- 0) into 0
10.448 * [backup-simplify]: Simplify 0 into 0
10.448 * [backup-simplify]: Simplify 0 into 0
10.448 * [backup-simplify]: Simplify 0 into 0
10.449 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.449 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
10.450 * [backup-simplify]: Simplify (- 0) into 0
10.450 * [backup-simplify]: Simplify (+ 0 0) into 0
10.451 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 (- (/ y z))) (* 0 y)))) into 0
10.451 * [taylor]: Taking taylor expansion of 0 in y
10.451 * [backup-simplify]: Simplify 0 into 0
10.451 * [taylor]: Taking taylor expansion of 0 in z
10.451 * [backup-simplify]: Simplify 0 into 0
10.451 * [taylor]: Taking taylor expansion of 0 in z
10.451 * [backup-simplify]: Simplify 0 into 0
10.451 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
10.451 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
10.452 * [backup-simplify]: Simplify (- 0) into 0
10.452 * [taylor]: Taking taylor expansion of 0 in z
10.452 * [backup-simplify]: Simplify 0 into 0
10.453 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
10.453 * [taylor]: Taking taylor expansion of 0 in z
10.453 * [backup-simplify]: Simplify 0 into 0
10.453 * [backup-simplify]: Simplify 0 into 0
10.453 * [backup-simplify]: Simplify 0 into 0
10.453 * [backup-simplify]: Simplify 0 into 0
10.454 * [backup-simplify]: Simplify (+ (* 4.0 (* 1 (* (/ 1 y) (/ 1 (/ 1 x))))) (* (- 4.0) (* (/ 1 (/ 1 z)) (* (/ 1 y) 1)))) into (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
10.454 * [backup-simplify]: Simplify (* (- (/ (/ 1 (- x)) (/ 1 (- y))) (/ (/ 1 (- z)) (/ 1 (- y)))) 4.0) into (* 4.0 (- (/ y x) (/ y z)))
10.454 * [approximate]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in (x y z) around 0
10.454 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in z
10.455 * [taylor]: Taking taylor expansion of 4.0 in z
10.455 * [backup-simplify]: Simplify 4.0 into 4.0
10.455 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in z
10.455 * [taylor]: Taking taylor expansion of (/ y x) in z
10.455 * [taylor]: Taking taylor expansion of y in z
10.455 * [backup-simplify]: Simplify y into y
10.455 * [taylor]: Taking taylor expansion of x in z
10.455 * [backup-simplify]: Simplify x into x
10.455 * [backup-simplify]: Simplify (/ y x) into (/ y x)
10.455 * [taylor]: Taking taylor expansion of (/ y z) in z
10.455 * [taylor]: Taking taylor expansion of y in z
10.455 * [backup-simplify]: Simplify y into y
10.455 * [taylor]: Taking taylor expansion of z in z
10.455 * [backup-simplify]: Simplify 0 into 0
10.455 * [backup-simplify]: Simplify 1 into 1
10.455 * [backup-simplify]: Simplify (/ y 1) into y
10.455 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in y
10.455 * [taylor]: Taking taylor expansion of 4.0 in y
10.455 * [backup-simplify]: Simplify 4.0 into 4.0
10.455 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in y
10.455 * [taylor]: Taking taylor expansion of (/ y x) in y
10.455 * [taylor]: Taking taylor expansion of y in y
10.455 * [backup-simplify]: Simplify 0 into 0
10.455 * [backup-simplify]: Simplify 1 into 1
10.455 * [taylor]: Taking taylor expansion of x in y
10.455 * [backup-simplify]: Simplify x into x
10.455 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.455 * [taylor]: Taking taylor expansion of (/ y z) in y
10.455 * [taylor]: Taking taylor expansion of y in y
10.455 * [backup-simplify]: Simplify 0 into 0
10.456 * [backup-simplify]: Simplify 1 into 1
10.456 * [taylor]: Taking taylor expansion of z in y
10.456 * [backup-simplify]: Simplify z into z
10.456 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
10.456 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in x
10.456 * [taylor]: Taking taylor expansion of 4.0 in x
10.456 * [backup-simplify]: Simplify 4.0 into 4.0
10.456 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
10.456 * [taylor]: Taking taylor expansion of (/ y x) in x
10.456 * [taylor]: Taking taylor expansion of y in x
10.456 * [backup-simplify]: Simplify y into y
10.456 * [taylor]: Taking taylor expansion of x in x
10.456 * [backup-simplify]: Simplify 0 into 0
10.456 * [backup-simplify]: Simplify 1 into 1
10.456 * [backup-simplify]: Simplify (/ y 1) into y
10.456 * [taylor]: Taking taylor expansion of (/ y z) in x
10.456 * [taylor]: Taking taylor expansion of y in x
10.456 * [backup-simplify]: Simplify y into y
10.456 * [taylor]: Taking taylor expansion of z in x
10.456 * [backup-simplify]: Simplify z into z
10.456 * [backup-simplify]: Simplify (/ y z) into (/ y z)
10.456 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in x
10.456 * [taylor]: Taking taylor expansion of 4.0 in x
10.456 * [backup-simplify]: Simplify 4.0 into 4.0
10.456 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x
10.456 * [taylor]: Taking taylor expansion of (/ y x) in x
10.456 * [taylor]: Taking taylor expansion of y in x
10.456 * [backup-simplify]: Simplify y into y
10.456 * [taylor]: Taking taylor expansion of x in x
10.456 * [backup-simplify]: Simplify 0 into 0
10.456 * [backup-simplify]: Simplify 1 into 1
10.457 * [backup-simplify]: Simplify (/ y 1) into y
10.457 * [taylor]: Taking taylor expansion of (/ y z) in x
10.457 * [taylor]: Taking taylor expansion of y in x
10.457 * [backup-simplify]: Simplify y into y
10.457 * [taylor]: Taking taylor expansion of z in x
10.457 * [backup-simplify]: Simplify z into z
10.457 * [backup-simplify]: Simplify (/ y z) into (/ y z)
10.457 * [backup-simplify]: Simplify (+ y 0) into y
10.457 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y)
10.457 * [taylor]: Taking taylor expansion of (* 4.0 y) in y
10.457 * [taylor]: Taking taylor expansion of 4.0 in y
10.457 * [backup-simplify]: Simplify 4.0 into 4.0
10.457 * [taylor]: Taking taylor expansion of y in y
10.457 * [backup-simplify]: Simplify 0 into 0
10.457 * [backup-simplify]: Simplify 1 into 1
10.459 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
10.459 * [taylor]: Taking taylor expansion of 4.0 in z
10.459 * [backup-simplify]: Simplify 4.0 into 4.0
10.460 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
10.460 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z))
10.460 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z))
10.460 * [backup-simplify]: Simplify (+ (* 4.0 (- (/ y z))) (* 0 y)) into (- (* 4.0 (/ y z)))
10.460 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ y z))) in y
10.460 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y
10.460 * [taylor]: Taking taylor expansion of 4.0 in y
10.460 * [backup-simplify]: Simplify 4.0 into 4.0
10.461 * [taylor]: Taking taylor expansion of (/ y z) in y
10.461 * [taylor]: Taking taylor expansion of y in y
10.461 * [backup-simplify]: Simplify 0 into 0
10.461 * [backup-simplify]: Simplify 1 into 1
10.461 * [taylor]: Taking taylor expansion of z in y
10.461 * [backup-simplify]: Simplify z into z
10.461 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
10.461 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
10.461 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
10.461 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
10.461 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
10.461 * [taylor]: Taking taylor expansion of 4.0 in z
10.461 * [backup-simplify]: Simplify 4.0 into 4.0
10.461 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.461 * [taylor]: Taking taylor expansion of z in z
10.461 * [backup-simplify]: Simplify 0 into 0
10.461 * [backup-simplify]: Simplify 1 into 1
10.462 * [backup-simplify]: Simplify (/ 1 1) into 1
10.462 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
10.462 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
10.463 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
10.464 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
10.464 * [taylor]: Taking taylor expansion of 0 in z
10.464 * [backup-simplify]: Simplify 0 into 0
10.464 * [backup-simplify]: Simplify 4.0 into 4.0
10.465 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.466 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
10.466 * [backup-simplify]: Simplify (- 0) into 0
10.466 * [backup-simplify]: Simplify (+ 0 0) into 0
10.467 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (- (/ y z))) (* 0 y))) into 0
10.467 * [taylor]: Taking taylor expansion of 0 in y
10.467 * [backup-simplify]: Simplify 0 into 0
10.467 * [taylor]: Taking taylor expansion of 0 in z
10.467 * [backup-simplify]: Simplify 0 into 0
10.467 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
10.468 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ 1 z))) into 0
10.468 * [backup-simplify]: Simplify (- 0) into 0
10.468 * [taylor]: Taking taylor expansion of 0 in z
10.468 * [backup-simplify]: Simplify 0 into 0
10.469 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
10.469 * [taylor]: Taking taylor expansion of 0 in z
10.469 * [backup-simplify]: Simplify 0 into 0
10.470 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.471 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
10.471 * [backup-simplify]: Simplify (- 0) into 0
10.471 * [backup-simplify]: Simplify 0 into 0
10.471 * [backup-simplify]: Simplify 0 into 0
10.471 * [backup-simplify]: Simplify 0 into 0
10.473 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.473 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
10.474 * [backup-simplify]: Simplify (- 0) into 0
10.474 * [backup-simplify]: Simplify (+ 0 0) into 0
10.475 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 (- (/ y z))) (* 0 y)))) into 0
10.475 * [taylor]: Taking taylor expansion of 0 in y
10.475 * [backup-simplify]: Simplify 0 into 0
10.475 * [taylor]: Taking taylor expansion of 0 in z
10.475 * [backup-simplify]: Simplify 0 into 0
10.475 * [taylor]: Taking taylor expansion of 0 in z
10.476 * [backup-simplify]: Simplify 0 into 0
10.476 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
10.477 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
10.477 * [backup-simplify]: Simplify (- 0) into 0
10.477 * [taylor]: Taking taylor expansion of 0 in z
10.477 * [backup-simplify]: Simplify 0 into 0
10.478 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
10.479 * [taylor]: Taking taylor expansion of 0 in z
10.479 * [backup-simplify]: Simplify 0 into 0
10.479 * [backup-simplify]: Simplify 0 into 0
10.479 * [backup-simplify]: Simplify 0 into 0
10.479 * [backup-simplify]: Simplify 0 into 0
10.480 * [backup-simplify]: Simplify (+ (* 4.0 (* 1 (* (/ 1 (- y)) (/ 1 (/ 1 (- x)))))) (* (- 4.0) (* (/ 1 (/ 1 (- z))) (* (/ 1 (- y)) 1)))) into (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
10.480 * * * [progress]: simplifying candidates
10.481 * [simplify]: Simplifying:
  (/ (exp (/ x y)) (exp (/ z y)))
  (log (- (/ x y) (/ z y)))
  (exp (- (/ x y) (/ z y)))
  (* (cbrt (- (/ x y) (/ z y))) (cbrt (- (/ x y) (/ z y))))
  (cbrt (- (/ x y) (/ z y)))
  (* (* (- (/ x y) (/ z y)) (- (/ x y) (/ z y))) (- (/ x y) (/ z y)))
  (sqrt (- (/ x y) (/ z y)))
  (sqrt (- (/ x y) (/ z y)))
  (- x z)
  (- (* x y) (* y z))
  (* y y)
  (- (pow (/ x y) 3) (pow (/ z y) 3))
  (+ (* (/ x y) (/ x y)) (+ (* (/ z y) (/ z y)) (* (/ x y) (/ z y))))
  (- (/ z y))
  (- (* (/ x y) (/ x y)) (* (/ z y) (/ z y)))
  (+ (/ x y) (/ z y))
  (+ (sqrt (/ x y)) (sqrt (/ z y)))
  (- (sqrt (/ x y)) (sqrt (/ z y)))
  (+ (sqrt (/ x y)) (/ (sqrt z) (sqrt y)))
  (- (sqrt (/ x y)) (/ (sqrt z) (sqrt y)))
  (+ (/ (sqrt x) (sqrt y)) (sqrt (/ z y)))
  (- (/ (sqrt x) (sqrt y)) (sqrt (/ z y)))
  (+ (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y)))
  (- (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y)))
  (- (/ x (cbrt y)) (/ z (cbrt y)))
  (- (/ x (sqrt y)) (/ z (sqrt y)))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (- x z)
  (- (/ z y))
  (* (- (/ x y) (/ z y)) 4.0)
  (+ (log (- (/ x y) (/ z y))) (log 4.0))
  (log (* (- (/ x y) (/ z y)) 4.0))
  (exp (* (- (/ x y) (/ z y)) 4.0))
  (* (* (* (- (/ x y) (/ z y)) (- (/ x y) (/ z y))) (- (/ x y) (/ z y))) (* (* 4.0 4.0) 4.0))
  (* (cbrt (* (- (/ x y) (/ z y)) 4.0)) (cbrt (* (- (/ x y) (/ z y)) 4.0)))
  (cbrt (* (- (/ x y) (/ z y)) 4.0))
  (* (* (* (- (/ x y) (/ z y)) 4.0) (* (- (/ x y) (/ z y)) 4.0)) (* (- (/ x y) (/ z y)) 4.0))
  (sqrt (* (- (/ x y) (/ z y)) 4.0))
  (sqrt (* (- (/ x y) (/ z y)) 4.0))
  (* (sqrt (- (/ x y) (/ z y))) (sqrt 4.0))
  (* (sqrt (- (/ x y) (/ z y))) (sqrt 4.0))
  (* (- (/ x y) (/ z y)) (* (cbrt 4.0) (cbrt 4.0)))
  (* (- (/ x y) (/ z y)) (sqrt 4.0))
  (* (- (/ x y) (/ z y)) 1)
  (* (cbrt (- (/ x y) (/ z y))) 4.0)
  (* (sqrt (- (/ x y) (/ z y))) 4.0)
  (* (- (/ x y) (/ z y)) 4.0)
  (* (- (sqrt (/ x y)) (sqrt (/ z y))) 4.0)
  (* (- (sqrt (/ x y)) (/ (sqrt z) (sqrt y))) 4.0)
  (* (- (/ (sqrt x) (sqrt y)) (sqrt (/ z y))) 4.0)
  (* (- (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y))) 4.0)
  (* (- (/ x (cbrt y)) (/ z (cbrt y))) 4.0)
  (* (- (/ x (sqrt y)) (/ z (sqrt y))) 4.0)
  (* (- (/ x y) (/ z y)) 4.0)
  (* (- (/ x y) (/ z y)) 4.0)
  (* (- x z) 4.0)
  (* (- x z) 4.0)
  (* (- (* x y) (* y z)) 4.0)
  (* (- (pow (/ x y) 3) (pow (/ z y) 3)) 4.0)
  (* (- (* (/ x y) (/ x y)) (* (/ z y) (/ z y))) 4.0)
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
  (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
  (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
10.483 * * [simplify]: Extracting # 0 : cost  0
10.483 * * [simplify]: Extracting # 1 : cost  0
10.484 * * [simplify]: Extracting # 2 : cost  0
10.484 * * [simplify]: Extracting # 3 : cost  0
10.484 * * [simplify]: Extracting # 4 : cost  0
10.484 * * [simplify]: Extracting # 5 : cost  0
10.485 * * [simplify]: iteration  0 :  92  enodes  (cost  704 )
10.526 * * [simplify]: Extracting # 0 : cost  0
10.527 * * [simplify]: Extracting # 1 : cost  0
10.527 * * [simplify]: Extracting # 2 : cost  0
10.528 * * [simplify]: Extracting # 3 : cost  0
10.528 * * [simplify]: Extracting # 4 : cost  0
10.529 * * [simplify]: iteration  1 :  200  enodes  (cost  690 )
10.606 * * [simplify]: Extracting # 0 : cost  0
10.608 * * [simplify]: Extracting # 1 : cost  0
10.609 * * [simplify]: Extracting # 2 : cost  0
10.611 * * [simplify]: Extracting # 3 : cost  0
10.612 * * [simplify]: Extracting # 4 : cost  0
10.614 * * [simplify]: Extracting # 5 : cost  0
10.615 * * [simplify]: iteration  2 :  558  enodes  (cost  636 )
11.091 * * [simplify]: Extracting # 0 : cost  0
11.094 * * [simplify]: Extracting # 1 : cost  0
11.096 * * [simplify]: Extracting # 2 : cost  0
11.098 * * [simplify]: Extracting # 3 : cost  0
11.100 * * [simplify]: Extracting # 4 : cost  0
11.102 * * [simplify]: iteration  3 :  1793  enodes  (cost  636 )
12.933 * * [simplify]: Extracting # 0 : cost  0
12.946 * * [simplify]: Extracting # 1 : cost  0
12.955 * * [simplify]: Extracting # 2 : cost  0
12.962 * * [simplify]: Extracting # 3 : cost  0
12.969 * * [simplify]: Extracting # 4 : cost  0
12.974 * * [simplify]: iteration done:  5000  enodes  (cost  598 )
12.975 * [simplify]: Simplified to:
  (exp (- (/ x y) (/ z y)))
  (log (- (/ x y) (/ z y)))
  (exp (- (/ x y) (/ z y)))
  (* (cbrt (- (/ x y) (/ z y))) (cbrt (- (/ x y) (/ z y))))
  (cbrt (- (/ x y) (/ z y)))
  (pow (- (/ x y) (/ z y)) 3)
  (sqrt (- (/ x y) (/ z y)))
  (sqrt (- (/ x y) (/ z y)))
  (- x z)
  (* y (- x z))
  (* y y)
  (- (pow (/ x y) 3) (pow (/ z y) 3))
  (+ (/ (* z z) (* y y)) (* (/ (/ x y) y) (+ z x)))
  (- (/ z y))
  (- (* (/ x y) (/ x y)) (* (/ z y) (/ z y)))
  (+ (/ z y) (/ x y))
  (+ (sqrt (/ x y)) (sqrt (/ z y)))
  (- (sqrt (/ x y)) (sqrt (/ z y)))
  (+ (sqrt (/ x y)) (/ (sqrt z) (sqrt y)))
  (- (sqrt (/ x y)) (/ (sqrt z) (sqrt y)))
  (+ (/ (sqrt x) (sqrt y)) (sqrt (/ z y)))
  (- (/ (sqrt x) (sqrt y)) (sqrt (/ z y)))
  (+ (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y)))
  (- (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y)))
  (- (/ x (cbrt y)) (/ z (cbrt y)))
  (- (/ x (sqrt y)) (/ z (sqrt y)))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (- x z)
  (- (/ z y))
  (* (/ 4.0 y) (- x z))
  (log (* (/ 4.0 y) (- x z)))
  (log (* (/ 4.0 y) (- x z)))
  (exp (* (/ 4.0 y) (- x z)))
  (pow (* (/ 4.0 y) (- x z)) 3)
  (* (cbrt (* (/ 4.0 y) (- x z))) (cbrt (* (/ 4.0 y) (- x z))))
  (cbrt (* (/ 4.0 y) (- x z)))
  (pow (* (/ 4.0 y) (- x z)) 3)
  (sqrt (* (/ 4.0 y) (- x z)))
  (sqrt (* (/ 4.0 y) (- x z)))
  (* (sqrt (- (/ x y) (/ z y))) (sqrt 4.0))
  (* (sqrt (- (/ x y) (/ z y))) (sqrt 4.0))
  (* (- (/ x y) (/ z y)) (* (cbrt 4.0) (cbrt 4.0)))
  (* (- (/ x y) (/ z y)) (sqrt 4.0))
  (- (/ x y) (/ z y))
  (* (cbrt (- (/ x y) (/ z y))) 4.0)
  (* (sqrt (- (/ x y) (/ z y))) 4.0)
  (* (/ 4.0 y) (- x z))
  (* (- (sqrt (/ x y)) (sqrt (/ z y))) 4.0)
  (* (- (sqrt (/ x y)) (/ (sqrt z) (sqrt y))) 4.0)
  (* (- (/ (sqrt x) (sqrt y)) (sqrt (/ z y))) 4.0)
  (* (- (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y))) 4.0)
  (* (- (/ x (cbrt y)) (/ z (cbrt y))) 4.0)
  (* (- (/ x (sqrt y)) (/ z (sqrt y))) 4.0)
  (* (/ 4.0 y) (- x z))
  (* (/ 4.0 y) (- x z))
  (* (- x z) 4.0)
  (* (- x z) 4.0)
  (* 4.0 (* y (- x z)))
  (* (- (pow (/ x y) 3) (pow (/ z y) 3)) 4.0)
  (* (* (/ 4.0 y) (- x z)) (+ (/ z y) (/ x y)))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (- (/ x y) (/ z y))
  (* (/ 4.0 y) (- x z))
  (* (/ 4.0 y) (- x z))
  (* (/ 4.0 y) (- x z))
12.976 * * * [progress]: adding candidates to table
13.171 * * [progress]: iteration 4 / 4
13.171 * * * [progress]: picking best candidate
13.173 * * * * [pick]: Picked  #<alt (λ (x y z) (+ 4.0 (pow (* (/ 4.0 y) (- x z)) 1)))>
13.173 * * * [progress]: localizing error
13.183 * * * [progress]: generating rewritten candidates
13.183 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 1)
13.246 * * * [progress]: generating series expansions
13.246 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 1)
13.246 * [backup-simplify]: Simplify (* (/ 4.0 y) (- x z)) into (* 4.0 (/ (- x z) y))
13.246 * [approximate]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in (y x z) around 0
13.246 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in z
13.246 * [taylor]: Taking taylor expansion of 4.0 in z
13.246 * [backup-simplify]: Simplify 4.0 into 4.0
13.246 * [taylor]: Taking taylor expansion of (/ (- x z) y) in z
13.246 * [taylor]: Taking taylor expansion of (- x z) in z
13.246 * [taylor]: Taking taylor expansion of x in z
13.246 * [backup-simplify]: Simplify x into x
13.246 * [taylor]: Taking taylor expansion of z in z
13.246 * [backup-simplify]: Simplify 0 into 0
13.246 * [backup-simplify]: Simplify 1 into 1
13.246 * [taylor]: Taking taylor expansion of y in z
13.246 * [backup-simplify]: Simplify y into y
13.247 * [backup-simplify]: Simplify (- 0) into 0
13.247 * [backup-simplify]: Simplify (+ x 0) into x
13.247 * [backup-simplify]: Simplify (/ x y) into (/ x y)
13.247 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in x
13.247 * [taylor]: Taking taylor expansion of 4.0 in x
13.247 * [backup-simplify]: Simplify 4.0 into 4.0
13.247 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x
13.247 * [taylor]: Taking taylor expansion of (- x z) in x
13.247 * [taylor]: Taking taylor expansion of x in x
13.247 * [backup-simplify]: Simplify 0 into 0
13.247 * [backup-simplify]: Simplify 1 into 1
13.247 * [taylor]: Taking taylor expansion of z in x
13.247 * [backup-simplify]: Simplify z into z
13.247 * [taylor]: Taking taylor expansion of y in x
13.247 * [backup-simplify]: Simplify y into y
13.247 * [backup-simplify]: Simplify (- z) into (- z)
13.247 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
13.248 * [backup-simplify]: Simplify (/ (- z) y) into (* -1 (/ z y))
13.248 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in y
13.248 * [taylor]: Taking taylor expansion of 4.0 in y
13.248 * [backup-simplify]: Simplify 4.0 into 4.0
13.248 * [taylor]: Taking taylor expansion of (/ (- x z) y) in y
13.248 * [taylor]: Taking taylor expansion of (- x z) in y
13.248 * [taylor]: Taking taylor expansion of x in y
13.248 * [backup-simplify]: Simplify x into x
13.248 * [taylor]: Taking taylor expansion of z in y
13.248 * [backup-simplify]: Simplify z into z
13.248 * [taylor]: Taking taylor expansion of y in y
13.248 * [backup-simplify]: Simplify 0 into 0
13.248 * [backup-simplify]: Simplify 1 into 1
13.248 * [backup-simplify]: Simplify (- z) into (- z)
13.248 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
13.248 * [backup-simplify]: Simplify (/ (- x z) 1) into (- x z)
13.248 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in y
13.248 * [taylor]: Taking taylor expansion of 4.0 in y
13.248 * [backup-simplify]: Simplify 4.0 into 4.0
13.248 * [taylor]: Taking taylor expansion of (/ (- x z) y) in y
13.248 * [taylor]: Taking taylor expansion of (- x z) in y
13.248 * [taylor]: Taking taylor expansion of x in y
13.248 * [backup-simplify]: Simplify x into x
13.248 * [taylor]: Taking taylor expansion of z in y
13.248 * [backup-simplify]: Simplify z into z
13.248 * [taylor]: Taking taylor expansion of y in y
13.248 * [backup-simplify]: Simplify 0 into 0
13.248 * [backup-simplify]: Simplify 1 into 1
13.248 * [backup-simplify]: Simplify (- z) into (- z)
13.248 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
13.249 * [backup-simplify]: Simplify (/ (- x z) 1) into (- x z)
13.249 * [backup-simplify]: Simplify (* 4.0 (- x z)) into (* 4.0 (- x z))
13.249 * [taylor]: Taking taylor expansion of (* 4.0 (- x z)) in x
13.249 * [taylor]: Taking taylor expansion of 4.0 in x
13.249 * [backup-simplify]: Simplify 4.0 into 4.0
13.249 * [taylor]: Taking taylor expansion of (- x z) in x
13.249 * [taylor]: Taking taylor expansion of x in x
13.249 * [backup-simplify]: Simplify 0 into 0
13.249 * [backup-simplify]: Simplify 1 into 1
13.249 * [taylor]: Taking taylor expansion of z in x
13.249 * [backup-simplify]: Simplify z into z
13.249 * [backup-simplify]: Simplify (- z) into (- z)
13.249 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
13.249 * [backup-simplify]: Simplify (* 4.0 (- z)) into (* -4.0 z)
13.249 * [taylor]: Taking taylor expansion of (* -4.0 z) in z
13.249 * [taylor]: Taking taylor expansion of -4.0 in z
13.249 * [backup-simplify]: Simplify -4.0 into -4.0
13.249 * [taylor]: Taking taylor expansion of z in z
13.249 * [backup-simplify]: Simplify 0 into 0
13.249 * [backup-simplify]: Simplify 1 into 1
13.250 * [backup-simplify]: Simplify (* -4.0 0) into 0
13.250 * [backup-simplify]: Simplify 0 into 0
13.250 * [backup-simplify]: Simplify (- 0) into 0
13.250 * [backup-simplify]: Simplify (+ 0 0) into 0
13.251 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- x z) (/ 0 1)))) into 0
13.252 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (- x z))) into 0
13.252 * [taylor]: Taking taylor expansion of 0 in x
13.252 * [backup-simplify]: Simplify 0 into 0
13.252 * [taylor]: Taking taylor expansion of 0 in z
13.252 * [backup-simplify]: Simplify 0 into 0
13.252 * [backup-simplify]: Simplify 0 into 0
13.252 * [backup-simplify]: Simplify (- 0) into 0
13.252 * [backup-simplify]: Simplify (+ 1 0) into 1
13.253 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 (- z))) into 4.0
13.253 * [taylor]: Taking taylor expansion of 4.0 in z
13.253 * [backup-simplify]: Simplify 4.0 into 4.0
13.253 * [backup-simplify]: Simplify 4.0 into 4.0
13.254 * [backup-simplify]: Simplify (+ (* -4.0 1) (* 0 0)) into (- 4.0)
13.255 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
13.255 * [backup-simplify]: Simplify (- 0) into 0
13.255 * [backup-simplify]: Simplify (+ 0 0) into 0
13.256 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- x z) (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.257 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 (- x z)))) into 0
13.257 * [taylor]: Taking taylor expansion of 0 in x
13.257 * [backup-simplify]: Simplify 0 into 0
13.257 * [taylor]: Taking taylor expansion of 0 in z
13.257 * [backup-simplify]: Simplify 0 into 0
13.257 * [backup-simplify]: Simplify 0 into 0
13.257 * [taylor]: Taking taylor expansion of 0 in z
13.257 * [backup-simplify]: Simplify 0 into 0
13.258 * [backup-simplify]: Simplify 0 into 0
13.258 * [backup-simplify]: Simplify (- 0) into 0
13.258 * [backup-simplify]: Simplify (+ 0 0) into 0
13.259 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 (- z)))) into 0
13.259 * [taylor]: Taking taylor expansion of 0 in z
13.259 * [backup-simplify]: Simplify 0 into 0
13.259 * [backup-simplify]: Simplify 0 into 0
13.259 * [backup-simplify]: Simplify 0 into 0
13.259 * [backup-simplify]: Simplify 0 into 0
13.260 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 1) (* 0 0))) into 0
13.260 * [backup-simplify]: Simplify 0 into 0
13.261 * [backup-simplify]: Simplify (+ (* (- 4.0) (* z (* 1 (/ 1 y)))) (* 4.0 (* 1 (* x (/ 1 y))))) into (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
13.261 * [backup-simplify]: Simplify (* (/ 4.0 (/ 1 y)) (- (/ 1 x) (/ 1 z))) into (* 4.0 (* y (- (/ 1 x) (/ 1 z))))
13.261 * [approximate]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in (y x z) around 0
13.261 * [taylor]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in z
13.261 * [taylor]: Taking taylor expansion of 4.0 in z
13.261 * [backup-simplify]: Simplify 4.0 into 4.0
13.261 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in z
13.261 * [taylor]: Taking taylor expansion of y in z
13.262 * [backup-simplify]: Simplify y into y
13.262 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
13.262 * [taylor]: Taking taylor expansion of (/ 1 x) in z
13.262 * [taylor]: Taking taylor expansion of x in z
13.262 * [backup-simplify]: Simplify x into x
13.262 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.262 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.262 * [taylor]: Taking taylor expansion of z in z
13.262 * [backup-simplify]: Simplify 0 into 0
13.262 * [backup-simplify]: Simplify 1 into 1
13.262 * [backup-simplify]: Simplify (/ 1 1) into 1
13.262 * [taylor]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in x
13.262 * [taylor]: Taking taylor expansion of 4.0 in x
13.262 * [backup-simplify]: Simplify 4.0 into 4.0
13.262 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x
13.262 * [taylor]: Taking taylor expansion of y in x
13.262 * [backup-simplify]: Simplify y into y
13.262 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
13.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.262 * [taylor]: Taking taylor expansion of x in x
13.262 * [backup-simplify]: Simplify 0 into 0
13.262 * [backup-simplify]: Simplify 1 into 1
13.263 * [backup-simplify]: Simplify (/ 1 1) into 1
13.263 * [taylor]: Taking taylor expansion of (/ 1 z) in x
13.263 * [taylor]: Taking taylor expansion of z in x
13.263 * [backup-simplify]: Simplify z into z
13.263 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.263 * [taylor]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in y
13.263 * [taylor]: Taking taylor expansion of 4.0 in y
13.263 * [backup-simplify]: Simplify 4.0 into 4.0
13.263 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in y
13.263 * [taylor]: Taking taylor expansion of y in y
13.263 * [backup-simplify]: Simplify 0 into 0
13.263 * [backup-simplify]: Simplify 1 into 1
13.263 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
13.263 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.263 * [taylor]: Taking taylor expansion of x in y
13.263 * [backup-simplify]: Simplify x into x
13.263 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.263 * [taylor]: Taking taylor expansion of (/ 1 z) in y
13.263 * [taylor]: Taking taylor expansion of z in y
13.263 * [backup-simplify]: Simplify z into z
13.263 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.263 * [taylor]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in y
13.263 * [taylor]: Taking taylor expansion of 4.0 in y
13.263 * [backup-simplify]: Simplify 4.0 into 4.0
13.263 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in y
13.263 * [taylor]: Taking taylor expansion of y in y
13.263 * [backup-simplify]: Simplify 0 into 0
13.264 * [backup-simplify]: Simplify 1 into 1
13.264 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
13.264 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.264 * [taylor]: Taking taylor expansion of x in y
13.264 * [backup-simplify]: Simplify x into x
13.264 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.264 * [taylor]: Taking taylor expansion of (/ 1 z) in y
13.264 * [taylor]: Taking taylor expansion of z in y
13.264 * [backup-simplify]: Simplify z into z
13.264 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.264 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
13.264 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
13.264 * [backup-simplify]: Simplify (* 0 (- (/ 1 x) (/ 1 z))) into 0
13.265 * [backup-simplify]: Simplify (* 4.0 0) into 0
13.265 * [taylor]: Taking taylor expansion of 0 in x
13.265 * [backup-simplify]: Simplify 0 into 0
13.265 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
13.265 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
13.265 * [backup-simplify]: Simplify (- 0) into 0
13.266 * [backup-simplify]: Simplify (+ 0 0) into 0
13.266 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (/ 1 x) (/ 1 z)))) into (- (/ 1 x) (/ 1 z))
13.267 * [backup-simplify]: Simplify (+ (* 4.0 (- (/ 1 x) (/ 1 z))) (* 0 0)) into (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 z)))
13.267 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 z))) in x
13.267 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
13.267 * [taylor]: Taking taylor expansion of 4.0 in x
13.267 * [backup-simplify]: Simplify 4.0 into 4.0
13.267 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.267 * [taylor]: Taking taylor expansion of x in x
13.267 * [backup-simplify]: Simplify 0 into 0
13.267 * [backup-simplify]: Simplify 1 into 1
13.267 * [backup-simplify]: Simplify (/ 1 1) into 1
13.267 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in x
13.267 * [taylor]: Taking taylor expansion of 4.0 in x
13.267 * [backup-simplify]: Simplify 4.0 into 4.0
13.267 * [taylor]: Taking taylor expansion of (/ 1 z) in x
13.267 * [taylor]: Taking taylor expansion of z in x
13.267 * [backup-simplify]: Simplify z into z
13.267 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.268 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
13.268 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
13.268 * [taylor]: Taking taylor expansion of 4.0 in z
13.268 * [backup-simplify]: Simplify 4.0 into 4.0
13.268 * [taylor]: Taking taylor expansion of 0 in z
13.268 * [backup-simplify]: Simplify 0 into 0
13.269 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
13.269 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
13.269 * [backup-simplify]: Simplify (- 0) into 0
13.270 * [backup-simplify]: Simplify (+ 0 0) into 0
13.271 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (/ 1 x) (/ 1 z))))) into 0
13.272 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (- (/ 1 x) (/ 1 z))) (* 0 0))) into 0
13.272 * [taylor]: Taking taylor expansion of 0 in x
13.272 * [backup-simplify]: Simplify 0 into 0
13.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.273 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
13.273 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
13.273 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
13.274 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 z)))) into (- (* 4.0 (/ 1 z)))
13.274 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
13.274 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
13.274 * [taylor]: Taking taylor expansion of 4.0 in z
13.274 * [backup-simplify]: Simplify 4.0 into 4.0
13.274 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.274 * [taylor]: Taking taylor expansion of z in z
13.274 * [backup-simplify]: Simplify 0 into 0
13.274 * [backup-simplify]: Simplify 1 into 1
13.274 * [backup-simplify]: Simplify (/ 1 1) into 1
13.275 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
13.275 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
13.276 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
13.276 * [taylor]: Taking taylor expansion of 0 in z
13.276 * [backup-simplify]: Simplify 0 into 0
13.276 * [backup-simplify]: Simplify 4.0 into 4.0
13.276 * [backup-simplify]: Simplify 0 into 0
13.276 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
13.276 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
13.277 * [backup-simplify]: Simplify (- 0) into 0
13.277 * [backup-simplify]: Simplify (+ 0 0) into 0
13.278 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z)))))) into 0
13.280 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 x) (/ 1 z))) (* 0 0)))) into 0
13.280 * [taylor]: Taking taylor expansion of 0 in x
13.280 * [backup-simplify]: Simplify 0 into 0
13.280 * [taylor]: Taking taylor expansion of 0 in z
13.280 * [backup-simplify]: Simplify 0 into 0
13.281 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.282 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
13.282 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
13.282 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ 1 z))) into 0
13.283 * [backup-simplify]: Simplify (- 0) into 0
13.283 * [backup-simplify]: Simplify (+ 0 0) into 0
13.283 * [taylor]: Taking taylor expansion of 0 in z
13.283 * [backup-simplify]: Simplify 0 into 0
13.283 * [taylor]: Taking taylor expansion of 0 in z
13.283 * [backup-simplify]: Simplify 0 into 0
13.284 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.285 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
13.285 * [backup-simplify]: Simplify (- 0) into 0
13.285 * [backup-simplify]: Simplify 0 into 0
13.285 * [backup-simplify]: Simplify 0 into 0
13.285 * [backup-simplify]: Simplify 0 into 0
13.285 * [backup-simplify]: Simplify 0 into 0
13.286 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
13.286 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
13.286 * [backup-simplify]: Simplify (- 0) into 0
13.286 * [backup-simplify]: Simplify (+ 0 0) into 0
13.288 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z))))))) into 0
13.290 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 x) (/ 1 z))) (* 0 0))))) into 0
13.290 * [taylor]: Taking taylor expansion of 0 in x
13.290 * [backup-simplify]: Simplify 0 into 0
13.290 * [taylor]: Taking taylor expansion of 0 in z
13.290 * [backup-simplify]: Simplify 0 into 0
13.290 * [taylor]: Taking taylor expansion of 0 in z
13.290 * [backup-simplify]: Simplify 0 into 0
13.291 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.292 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.292 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
13.293 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
13.294 * [backup-simplify]: Simplify (- 0) into 0
13.294 * [backup-simplify]: Simplify (+ 0 0) into 0
13.294 * [taylor]: Taking taylor expansion of 0 in z
13.294 * [backup-simplify]: Simplify 0 into 0
13.294 * [taylor]: Taking taylor expansion of 0 in z
13.294 * [backup-simplify]: Simplify 0 into 0
13.294 * [backup-simplify]: Simplify 0 into 0
13.295 * [backup-simplify]: Simplify (+ (* 4.0 (* 1 (* (/ 1 (/ 1 x)) (/ 1 y)))) (* (- 4.0) (* (/ 1 (/ 1 z)) (* 1 (/ 1 y))))) into (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
13.295 * [backup-simplify]: Simplify (* (/ 4.0 (/ 1 (- y))) (- (/ 1 (- x)) (/ 1 (- z)))) into (* -4.0 (* y (- (/ 1 z) (/ 1 x))))
13.295 * [approximate]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in (y x z) around 0
13.295 * [taylor]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in z
13.295 * [taylor]: Taking taylor expansion of -4.0 in z
13.296 * [backup-simplify]: Simplify -4.0 into -4.0
13.296 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z
13.296 * [taylor]: Taking taylor expansion of y in z
13.296 * [backup-simplify]: Simplify y into y
13.296 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
13.296 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.296 * [taylor]: Taking taylor expansion of z in z
13.296 * [backup-simplify]: Simplify 0 into 0
13.296 * [backup-simplify]: Simplify 1 into 1
13.296 * [backup-simplify]: Simplify (/ 1 1) into 1
13.296 * [taylor]: Taking taylor expansion of (/ 1 x) in z
13.296 * [taylor]: Taking taylor expansion of x in z
13.296 * [backup-simplify]: Simplify x into x
13.296 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.296 * [taylor]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in x
13.296 * [taylor]: Taking taylor expansion of -4.0 in x
13.296 * [backup-simplify]: Simplify -4.0 into -4.0
13.296 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x
13.296 * [taylor]: Taking taylor expansion of y in x
13.297 * [backup-simplify]: Simplify y into y
13.297 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
13.297 * [taylor]: Taking taylor expansion of (/ 1 z) in x
13.297 * [taylor]: Taking taylor expansion of z in x
13.297 * [backup-simplify]: Simplify z into z
13.297 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.297 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.297 * [taylor]: Taking taylor expansion of x in x
13.297 * [backup-simplify]: Simplify 0 into 0
13.297 * [backup-simplify]: Simplify 1 into 1
13.297 * [backup-simplify]: Simplify (/ 1 1) into 1
13.297 * [taylor]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in y
13.297 * [taylor]: Taking taylor expansion of -4.0 in y
13.297 * [backup-simplify]: Simplify -4.0 into -4.0
13.297 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y
13.297 * [taylor]: Taking taylor expansion of y in y
13.297 * [backup-simplify]: Simplify 0 into 0
13.297 * [backup-simplify]: Simplify 1 into 1
13.297 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
13.298 * [taylor]: Taking taylor expansion of (/ 1 z) in y
13.298 * [taylor]: Taking taylor expansion of z in y
13.298 * [backup-simplify]: Simplify z into z
13.298 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.298 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.298 * [taylor]: Taking taylor expansion of x in y
13.298 * [backup-simplify]: Simplify x into x
13.298 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.298 * [taylor]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in y
13.298 * [taylor]: Taking taylor expansion of -4.0 in y
13.298 * [backup-simplify]: Simplify -4.0 into -4.0
13.298 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y
13.298 * [taylor]: Taking taylor expansion of y in y
13.298 * [backup-simplify]: Simplify 0 into 0
13.298 * [backup-simplify]: Simplify 1 into 1
13.298 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
13.298 * [taylor]: Taking taylor expansion of (/ 1 z) in y
13.298 * [taylor]: Taking taylor expansion of z in y
13.298 * [backup-simplify]: Simplify z into z
13.298 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.298 * [taylor]: Taking taylor expansion of (/ 1 x) in y
13.298 * [taylor]: Taking taylor expansion of x in y
13.298 * [backup-simplify]: Simplify x into x
13.298 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
13.299 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
13.299 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
13.299 * [backup-simplify]: Simplify (* 0 (- (/ 1 z) (/ 1 x))) into 0
13.299 * [backup-simplify]: Simplify (* -4.0 0) into 0
13.299 * [taylor]: Taking taylor expansion of 0 in x
13.299 * [backup-simplify]: Simplify 0 into 0
13.300 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
13.300 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
13.300 * [backup-simplify]: Simplify (- 0) into 0
13.301 * [backup-simplify]: Simplify (+ 0 0) into 0
13.301 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (/ 1 z) (/ 1 x)))) into (- (/ 1 z) (/ 1 x))
13.302 * [backup-simplify]: Simplify (+ (* -4.0 (- (/ 1 z) (/ 1 x))) (* 0 0)) into (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 z)))
13.302 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 x)) (* 4.0 (/ 1 z))) in x
13.302 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
13.302 * [taylor]: Taking taylor expansion of 4.0 in x
13.302 * [backup-simplify]: Simplify 4.0 into 4.0
13.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.302 * [taylor]: Taking taylor expansion of x in x
13.302 * [backup-simplify]: Simplify 0 into 0
13.302 * [backup-simplify]: Simplify 1 into 1
13.303 * [backup-simplify]: Simplify (/ 1 1) into 1
13.303 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in x
13.303 * [taylor]: Taking taylor expansion of 4.0 in x
13.303 * [backup-simplify]: Simplify 4.0 into 4.0
13.303 * [taylor]: Taking taylor expansion of (/ 1 z) in x
13.303 * [taylor]: Taking taylor expansion of z in x
13.303 * [backup-simplify]: Simplify z into z
13.303 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
13.303 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
13.304 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
13.304 * [taylor]: Taking taylor expansion of 4.0 in z
13.304 * [backup-simplify]: Simplify 4.0 into 4.0
13.304 * [taylor]: Taking taylor expansion of 0 in z
13.304 * [backup-simplify]: Simplify 0 into 0
13.304 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
13.305 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
13.305 * [backup-simplify]: Simplify (- 0) into 0
13.305 * [backup-simplify]: Simplify (+ 0 0) into 0
13.306 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (/ 1 z) (/ 1 x))))) into 0
13.307 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 (- (/ 1 z) (/ 1 x))) (* 0 0))) into 0
13.307 * [taylor]: Taking taylor expansion of 0 in x
13.307 * [backup-simplify]: Simplify 0 into 0
13.308 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.309 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
13.309 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z)
13.309 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z)))
13.309 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 z)))) into (- (* 4.0 (/ 1 z)))
13.309 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z
13.309 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z
13.309 * [taylor]: Taking taylor expansion of 4.0 in z
13.309 * [backup-simplify]: Simplify 4.0 into 4.0
13.309 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.309 * [taylor]: Taking taylor expansion of z in z
13.309 * [backup-simplify]: Simplify 0 into 0
13.309 * [backup-simplify]: Simplify 1 into 1
13.310 * [backup-simplify]: Simplify (/ 1 1) into 1
13.310 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
13.311 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
13.311 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
13.311 * [taylor]: Taking taylor expansion of 0 in z
13.311 * [backup-simplify]: Simplify 0 into 0
13.311 * [backup-simplify]: Simplify 4.0 into 4.0
13.311 * [backup-simplify]: Simplify 0 into 0
13.312 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
13.312 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
13.312 * [backup-simplify]: Simplify (- 0) into 0
13.313 * [backup-simplify]: Simplify (+ 0 0) into 0
13.314 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x)))))) into 0
13.315 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z) (/ 1 x))) (* 0 0)))) into 0
13.315 * [taylor]: Taking taylor expansion of 0 in x
13.316 * [backup-simplify]: Simplify 0 into 0
13.316 * [taylor]: Taking taylor expansion of 0 in z
13.316 * [backup-simplify]: Simplify 0 into 0
13.317 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.318 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
13.318 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
13.318 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ 1 z))) into 0
13.319 * [backup-simplify]: Simplify (- 0) into 0
13.319 * [backup-simplify]: Simplify (+ 0 0) into 0
13.319 * [taylor]: Taking taylor expansion of 0 in z
13.319 * [backup-simplify]: Simplify 0 into 0
13.320 * [taylor]: Taking taylor expansion of 0 in z
13.320 * [backup-simplify]: Simplify 0 into 0
13.320 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.321 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
13.322 * [backup-simplify]: Simplify (- 0) into 0
13.322 * [backup-simplify]: Simplify 0 into 0
13.322 * [backup-simplify]: Simplify 0 into 0
13.322 * [backup-simplify]: Simplify 0 into 0
13.322 * [backup-simplify]: Simplify 0 into 0
13.322 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
13.322 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
13.323 * [backup-simplify]: Simplify (- 0) into 0
13.323 * [backup-simplify]: Simplify (+ 0 0) into 0
13.325 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x))))))) into 0
13.326 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z) (/ 1 x))) (* 0 0))))) into 0
13.327 * [taylor]: Taking taylor expansion of 0 in x
13.327 * [backup-simplify]: Simplify 0 into 0
13.327 * [taylor]: Taking taylor expansion of 0 in z
13.327 * [backup-simplify]: Simplify 0 into 0
13.327 * [taylor]: Taking taylor expansion of 0 in z
13.327 * [backup-simplify]: Simplify 0 into 0
13.328 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.333 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.334 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
13.335 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0
13.335 * [backup-simplify]: Simplify (- 0) into 0
13.336 * [backup-simplify]: Simplify (+ 0 0) into 0
13.336 * [taylor]: Taking taylor expansion of 0 in z
13.336 * [backup-simplify]: Simplify 0 into 0
13.336 * [taylor]: Taking taylor expansion of 0 in z
13.336 * [backup-simplify]: Simplify 0 into 0
13.336 * [backup-simplify]: Simplify 0 into 0
13.337 * [backup-simplify]: Simplify (+ (* 4.0 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (- y))))) (* (- 4.0) (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (- y)))))) into (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
13.337 * * * [progress]: simplifying candidates
13.338 * [simplify]: Simplifying:
  (* (/ 4.0 y) (- x z))
  (+ (- (log 4.0) (log y)) (log (- x z)))
  (+ (log (/ 4.0 y)) (log (- x z)))
  (log (* (/ 4.0 y) (- x z)))
  (exp (* (/ 4.0 y) (- x z)))
  (* (/ (* (* 4.0 4.0) 4.0) (* (* y y) y)) (* (* (- x z) (- x z)) (- x z)))
  (* (* (* (/ 4.0 y) (/ 4.0 y)) (/ 4.0 y)) (* (* (- x z) (- x z)) (- x z)))
  (* (cbrt (* (/ 4.0 y) (- x z))) (cbrt (* (/ 4.0 y) (- x z))))
  (cbrt (* (/ 4.0 y) (- x z)))
  (* (* (* (/ 4.0 y) (- x z)) (* (/ 4.0 y) (- x z))) (* (/ 4.0 y) (- x z)))
  (sqrt (* (/ 4.0 y) (- x z)))
  (sqrt (* (/ 4.0 y) (- x z)))
  (* 4.0 (- (pow x 3) (pow z 3)))
  (* y (+ (* x x) (+ (* z z) (* x z))))
  (* 4.0 (- (* x x) (* z z)))
  (* y (+ x z))
  (* (sqrt (/ 4.0 y)) (sqrt (- x z)))
  (* (sqrt (/ 4.0 y)) (sqrt (- x z)))
  (* (/ (sqrt 4.0) (sqrt y)) (sqrt (- x z)))
  (* (/ (sqrt 4.0) (sqrt y)) (sqrt (- x z)))
  (* (/ 4.0 y) x)
  (* (/ 4.0 y) (- z))
  (* (/ 4.0 y) x)
  (* (/ 4.0 y) (- z))
  (* x (/ 4.0 y))
  (* (- z) (/ 4.0 y))
  (* x (/ 4.0 y))
  (* (- z) (/ 4.0 y))
  (* (/ 4.0 y) (* (cbrt (- x z)) (cbrt (- x z))))
  (* (/ 4.0 y) (sqrt (- x z)))
  (* (/ 4.0 y) 1)
  (* (/ 4.0 y) (+ (sqrt x) (sqrt z)))
  (* (/ 4.0 y) 1)
  (* (cbrt (/ 4.0 y)) (- x z))
  (* (sqrt (/ 4.0 y)) (- x z))
  (* (/ (cbrt 4.0) (cbrt y)) (- x z))
  (* (/ (cbrt 4.0) (sqrt y)) (- x z))
  (* (/ (cbrt 4.0) y) (- x z))
  (* (/ (sqrt 4.0) (cbrt y)) (- x z))
  (* (/ (sqrt 4.0) (sqrt y)) (- x z))
  (* (/ (sqrt 4.0) y) (- x z))
  (* (/ 4.0 (cbrt y)) (- x z))
  (* (/ 4.0 (sqrt y)) (- x z))
  (* (/ 4.0 y) (- x z))
  (* (/ 4.0 y) (- x z))
  (* (/ 1 y) (- x z))
  (* (/ 4.0 y) (- (pow x 3) (pow z 3)))
  (* (/ 4.0 y) (- (* x x) (* z z)))
  (* 4.0 (- x z))
  (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
  (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
  (- (* 4.0 (/ x y)) (* 4.0 (/ z y)))
13.340 * * [simplify]: Extracting # 0 : cost  0
13.341 * * [simplify]: Extracting # 1 : cost  0
13.341 * * [simplify]: Extracting # 2 : cost  0
13.341 * * [simplify]: Extracting # 3 : cost  0
13.341 * * [simplify]: Extracting # 4 : cost  0
13.342 * * [simplify]: Extracting # 5 : cost  0
13.342 * * [simplify]: Extracting # 6 : cost  0
13.342 * * [simplify]: iteration  0 :  99  enodes  (cost  475 )
13.370 * * [simplify]: Extracting # 0 : cost  0
13.370 * * [simplify]: Extracting # 1 : cost  0
13.371 * * [simplify]: Extracting # 2 : cost  0
13.371 * * [simplify]: Extracting # 3 : cost  0
13.371 * * [simplify]: iteration  1 :  257  enodes  (cost  460 )
13.503 * * [simplify]: Extracting # 0 : cost  0
13.505 * * [simplify]: Extracting # 1 : cost  0
13.507 * * [simplify]: Extracting # 2 : cost  0
13.509 * * [simplify]: Extracting # 3 : cost  0
13.511 * * [simplify]: Extracting # 4 : cost  0
13.513 * * [simplify]: iteration  2 :  817  enodes  (cost  410 )
14.450 * * [simplify]: Extracting # 0 : cost  0
14.463 * * [simplify]: Extracting # 1 : cost  0
14.469 * * [simplify]: Extracting # 2 : cost  0
14.472 * * [simplify]: Extracting # 3 : cost  0
14.475 * * [simplify]: Extracting # 4 : cost  0
14.478 * * [simplify]: iteration  3 :  2804  enodes  (cost  410 )
15.836 * * [simplify]: Extracting # 0 : cost  0
15.849 * * [simplify]: Extracting # 1 : cost  0
15.856 * * [simplify]: Extracting # 2 : cost  0
15.862 * * [simplify]: Extracting # 3 : cost  0
15.868 * * [simplify]: Extracting # 4 : cost  0
15.880 * * [simplify]: iteration done:  5002  enodes  (cost  410 )
15.880 * [simplify]: Simplified to:
  (* (/ 4.0 y) (- x z))
  (log (* (/ 4.0 y) (- x z)))
  (log (* (/ 4.0 y) (- x z)))
  (log (* (/ 4.0 y) (- x z)))
  (exp (* (/ 4.0 y) (- x z)))
  (pow (* (/ 4.0 y) (- x z)) 3)
  (pow (* (/ 4.0 y) (- x z)) 3)
  (* (cbrt (* (/ 4.0 y) (- x z))) (cbrt (* (/ 4.0 y) (- x z))))
  (cbrt (* (/ 4.0 y) (- x z)))
  (pow (* (/ 4.0 y) (- x z)) 3)
  (sqrt (* (/ 4.0 y) (- x z)))
  (sqrt (* (/ 4.0 y) (- x z)))
  (* 4.0 (- (pow x 3) (pow z 3)))
  (* (+ (* x x) (* z (+ x z))) y)
  (* (- x z) (* (+ x z) 4.0))
  (* y (+ x z))
  (* (sqrt (/ 4.0 y)) (sqrt (- x z)))
  (* (sqrt (/ 4.0 y)) (sqrt (- x z)))
  (* (/ (sqrt 4.0) (sqrt y)) (sqrt (- x z)))
  (* (/ (sqrt 4.0) (sqrt y)) (sqrt (- x z)))
  (* (/ 4.0 y) x)
  (- (* 4.0 (/ z y)))
  (* (/ 4.0 y) x)
  (- (* 4.0 (/ z y)))
  (* (/ 4.0 y) x)
  (- (* 4.0 (/ z y)))
  (* (/ 4.0 y) x)
  (- (* 4.0 (/ z y)))
  (* (/ 4.0 y) (* (cbrt (- x z)) (cbrt (- x z))))
  (* (/ 4.0 y) (sqrt (- x z)))
  (/ 4.0 y)
  (* (/ 4.0 y) (+ (sqrt x) (sqrt z)))
  (/ 4.0 y)
  (* (cbrt (/ 4.0 y)) (- x z))
  (* (sqrt (/ 4.0 y)) (- x z))
  (* (/ (cbrt 4.0) (cbrt y)) (- x z))
  (* (/ (cbrt 4.0) (sqrt y)) (- x z))
  (* (/ (cbrt 4.0) y) (- x z))
  (* (/ (sqrt 4.0) (cbrt y)) (- x z))
  (* (/ (sqrt 4.0) (sqrt y)) (- x z))
  (* (/ (sqrt 4.0) y) (- x z))
  (* (/ 4.0 (cbrt y)) (- x z))
  (* (/ 4.0 (sqrt y)) (- x z))
  (* (/ 4.0 y) (- x z))
  (* (/ 4.0 y) (- x z))
  (/ (- x z) y)
  (* (/ 4.0 y) (- (pow x 3) (pow z 3)))
  (* (/ 4.0 y) (- (* x x) (* z z)))
  (* 4.0 (- x z))
  (* (/ 4.0 y) (- x z))
  (* (/ 4.0 y) (- x z))
  (* (/ 4.0 y) (- x z))
15.881 * * * [progress]: adding candidates to table
15.989 * [progress]: [Phase 3 of 3] Extracting.
15.989 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ 4.0 (pow (* (/ 4.0 y) (- x z)) 1)))> #<alt (λ (x y z) (+ 4.0 (* (- (/ x y) (/ z y)) 4.0)))>)
15.990 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
15.990 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ 4.0 (pow (* (/ 4.0 y) (- x z)) 1)))> #<alt (λ (x y z) (+ 4.0 (* (- (/ x y) (/ z y)) 4.0)))>)
16.015 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ 4.0 (pow (* (/ 4.0 y) (- x z)) 1)))> #<alt (λ (x y z) (+ 4.0 (* (- (/ x y) (/ z y)) 4.0)))>)
16.040 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ 4.0 (pow (* (/ 4.0 y) (- x z)) 1)))> #<alt (λ (x y z) (+ 4.0 (* (- (/ x y) (/ z y)) 4.0)))>)
16.066 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
16.066 * [simplify]: Simplifying:
  (+ 4.0 (* (- (/ x y) (/ z y)) 4.0))
16.066 * * [simplify]: Extracting # 0 : cost  0
16.066 * * [simplify]: Extracting # 1 : cost  0
16.066 * * [simplify]: Extracting # 2 : cost  0
16.066 * * [simplify]: Extracting # 3 : cost  0
16.066 * * [simplify]: Extracting # 4 : cost  0
16.066 * * [simplify]: Extracting # 5 : cost  0
16.066 * * [simplify]: Extracting # 6 : cost  0
16.066 * * [simplify]: iteration  0 :  9  enodes  (cost  11 )
16.067 * * [simplify]: Extracting # 0 : cost  0
16.067 * * [simplify]: iteration  1 :  11  enodes  (cost  11 )
16.068 * * [simplify]: Extracting # 0 : cost  0
16.068 * * [simplify]: iteration done:  11  enodes  (cost  11 )
16.068 * [simplify]: Simplified to:
  (+ 4.0 (* (- (/ x y) (/ z y)) 4.0))
17.837 * [regime-testing]: Baseline error score: 0.008626078259782472
17.838 * [regime-testing]: Oracle error score: 0.004000500062507814
17.840 * [regime-testing]: End program error score: 0.008626078259782472