18.711 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.027 * [progress]: [Phase 2 of 3] Improving.
0.027 * [simplify]: Simplifying:
  (+ (+ x y) z)
0.027 * * [simplify]: iteration 0: 5 enodes
0.028 * * [simplify]: iteration 1: 9 enodes
0.031 * * [simplify]: iteration 2: 16 enodes
0.034 * * [simplify]: iteration 3: 18 enodes
0.037 * * [simplify]: iteration complete: 18 enodes
0.037 * * [simplify]: Extracting #0: cost 1 inf + 0
0.037 * * [simplify]: Extracting #1: cost 7 inf + 0
0.037 * * [simplify]: Extracting #2: cost 3 inf + 45
0.037 * * [simplify]: Extracting #3: cost 0 inf + 212
0.038 * [simplify]: Simplified to:
  (+ z (+ y x))
0.039 * * [progress]: iteration 1 / 4
0.039 * * * [progress]: picking best candidate
0.049 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (+ x y) z))>
0.049 * * * [progress]: localizing error
0.061 * * * [progress]: generating rewritten candidates
0.061 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.090 * * * [progress]: generating series expansions
0.091 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.091 * [backup-simplify]: Simplify (+ (+ x y) z) into (+ x (+ z y))
0.091 * [approximate]: Taking taylor expansion of (+ x (+ z y)) in (x y z) around 0
0.091 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in z
0.091 * [taylor]: Taking taylor expansion of x in z
0.091 * [backup-simplify]: Simplify x into x
0.091 * [taylor]: Taking taylor expansion of (+ z y) in z
0.091 * [taylor]: Taking taylor expansion of z in z
0.091 * [backup-simplify]: Simplify 0 into 0
0.091 * [backup-simplify]: Simplify 1 into 1
0.091 * [taylor]: Taking taylor expansion of y in z
0.091 * [backup-simplify]: Simplify y into y
0.091 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in y
0.091 * [taylor]: Taking taylor expansion of x in y
0.091 * [backup-simplify]: Simplify x into x
0.091 * [taylor]: Taking taylor expansion of (+ z y) in y
0.091 * [taylor]: Taking taylor expansion of z in y
0.091 * [backup-simplify]: Simplify z into z
0.091 * [taylor]: Taking taylor expansion of y in y
0.091 * [backup-simplify]: Simplify 0 into 0
0.091 * [backup-simplify]: Simplify 1 into 1
0.091 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
0.091 * [taylor]: Taking taylor expansion of x in x
0.091 * [backup-simplify]: Simplify 0 into 0
0.091 * [backup-simplify]: Simplify 1 into 1
0.091 * [taylor]: Taking taylor expansion of (+ z y) in x
0.091 * [taylor]: Taking taylor expansion of z in x
0.091 * [backup-simplify]: Simplify z into z
0.091 * [taylor]: Taking taylor expansion of y in x
0.091 * [backup-simplify]: Simplify y into y
0.091 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
0.091 * [taylor]: Taking taylor expansion of x in x
0.091 * [backup-simplify]: Simplify 0 into 0
0.091 * [backup-simplify]: Simplify 1 into 1
0.091 * [taylor]: Taking taylor expansion of (+ z y) in x
0.091 * [taylor]: Taking taylor expansion of z in x
0.091 * [backup-simplify]: Simplify z into z
0.091 * [taylor]: Taking taylor expansion of y in x
0.091 * [backup-simplify]: Simplify y into y
0.091 * [backup-simplify]: Simplify (+ z y) into (+ z y)
0.091 * [backup-simplify]: Simplify (+ 0 (+ z y)) into (+ z y)
0.092 * [taylor]: Taking taylor expansion of (+ z y) in y
0.092 * [taylor]: Taking taylor expansion of z in y
0.092 * [backup-simplify]: Simplify z into z
0.092 * [taylor]: Taking taylor expansion of y in y
0.092 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify 1 into 1
0.092 * [backup-simplify]: Simplify (+ z 0) into z
0.092 * [taylor]: Taking taylor expansion of z in z
0.092 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify 1 into 1
0.092 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify (+ 0 0) into 0
0.092 * [backup-simplify]: Simplify (+ 1 0) into 1
0.092 * [taylor]: Taking taylor expansion of 1 in y
0.093 * [backup-simplify]: Simplify 1 into 1
0.093 * [taylor]: Taking taylor expansion of 1 in z
0.093 * [backup-simplify]: Simplify 1 into 1
0.093 * [backup-simplify]: Simplify 1 into 1
0.093 * [backup-simplify]: Simplify (+ 0 1) into 1
0.093 * [taylor]: Taking taylor expansion of 1 in z
0.093 * [backup-simplify]: Simplify 1 into 1
0.093 * [backup-simplify]: Simplify 1 into 1
0.093 * [backup-simplify]: Simplify 1 into 1
0.093 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 1))) (+ (* 1 (* 1 (* y 1))) (* 1 (* 1 (* 1 x))))) into (+ x (+ z y))
0.093 * [backup-simplify]: Simplify (+ (+ (/ 1 x) (/ 1 y)) (/ 1 z)) into (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))
0.093 * [approximate]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in (x y z) around 0
0.094 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in z
0.094 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.094 * [taylor]: Taking taylor expansion of z in z
0.094 * [backup-simplify]: Simplify 0 into 0
0.094 * [backup-simplify]: Simplify 1 into 1
0.094 * [backup-simplify]: Simplify (/ 1 1) into 1
0.094 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z
0.094 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.094 * [taylor]: Taking taylor expansion of x in z
0.094 * [backup-simplify]: Simplify x into x
0.094 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.094 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.094 * [taylor]: Taking taylor expansion of y in z
0.094 * [backup-simplify]: Simplify y into y
0.094 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.094 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in y
0.094 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.094 * [taylor]: Taking taylor expansion of z in y
0.094 * [backup-simplify]: Simplify z into z
0.094 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.094 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
0.094 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.094 * [taylor]: Taking taylor expansion of x in y
0.094 * [backup-simplify]: Simplify x into x
0.094 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.094 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.094 * [taylor]: Taking taylor expansion of y in y
0.094 * [backup-simplify]: Simplify 0 into 0
0.094 * [backup-simplify]: Simplify 1 into 1
0.094 * [backup-simplify]: Simplify (/ 1 1) into 1
0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x
0.095 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.095 * [taylor]: Taking taylor expansion of z in x
0.095 * [backup-simplify]: Simplify z into z
0.095 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
0.095 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.095 * [taylor]: Taking taylor expansion of x in x
0.095 * [backup-simplify]: Simplify 0 into 0
0.095 * [backup-simplify]: Simplify 1 into 1
0.095 * [backup-simplify]: Simplify (/ 1 1) into 1
0.095 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.095 * [taylor]: Taking taylor expansion of y in x
0.095 * [backup-simplify]: Simplify y into y
0.095 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x
0.095 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.095 * [taylor]: Taking taylor expansion of z in x
0.095 * [backup-simplify]: Simplify z into z
0.095 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
0.095 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.095 * [taylor]: Taking taylor expansion of x in x
0.095 * [backup-simplify]: Simplify 0 into 0
0.095 * [backup-simplify]: Simplify 1 into 1
0.095 * [backup-simplify]: Simplify (/ 1 1) into 1
0.095 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.096 * [taylor]: Taking taylor expansion of y in x
0.096 * [backup-simplify]: Simplify y into y
0.096 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.096 * [backup-simplify]: Simplify (+ 1 0) into 1
0.096 * [backup-simplify]: Simplify (+ 0 1) into 1
0.096 * [taylor]: Taking taylor expansion of 1 in y
0.096 * [backup-simplify]: Simplify 1 into 1
0.097 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.097 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
0.097 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
0.097 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
0.097 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.097 * [taylor]: Taking taylor expansion of y in y
0.097 * [backup-simplify]: Simplify 0 into 0
0.097 * [backup-simplify]: Simplify 1 into 1
0.097 * [backup-simplify]: Simplify (/ 1 1) into 1
0.097 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.097 * [taylor]: Taking taylor expansion of z in y
0.097 * [backup-simplify]: Simplify z into z
0.097 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.097 * [backup-simplify]: Simplify (+ 1 0) into 1
0.098 * [taylor]: Taking taylor expansion of 1 in z
0.098 * [backup-simplify]: Simplify 1 into 1
0.098 * [taylor]: Taking taylor expansion of 1 in z
0.098 * [backup-simplify]: Simplify 1 into 1
0.098 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.098 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.098 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.099 * [backup-simplify]: Simplify (+ 0 0) into 0
0.099 * [backup-simplify]: Simplify (+ 0 0) into 0
0.099 * [taylor]: Taking taylor expansion of 0 in y
0.099 * [backup-simplify]: Simplify 0 into 0
0.099 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.099 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
0.099 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.099 * [taylor]: Taking taylor expansion of z in z
0.099 * [backup-simplify]: Simplify 0 into 0
0.099 * [backup-simplify]: Simplify 1 into 1
0.100 * [backup-simplify]: Simplify (/ 1 1) into 1
0.100 * [backup-simplify]: Simplify 1 into 1
0.100 * [taylor]: Taking taylor expansion of 0 in z
0.100 * [backup-simplify]: Simplify 0 into 0
0.100 * [backup-simplify]: Simplify 1 into 1
0.100 * [backup-simplify]: Simplify 1 into 1
0.100 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 x))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) 1))) (* 1 (* (/ 1 (/ 1 z)) (* 1 1))))) into (+ x (+ z y))
0.100 * [backup-simplify]: Simplify (+ (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) into (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))))
0.100 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in (x y z) around 0
0.100 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in z
0.100 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in z
0.100 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.100 * [taylor]: Taking taylor expansion of z in z
0.100 * [backup-simplify]: Simplify 0 into 0
0.101 * [backup-simplify]: Simplify 1 into 1
0.101 * [backup-simplify]: Simplify (/ 1 1) into 1
0.101 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z
0.101 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.101 * [taylor]: Taking taylor expansion of x in z
0.101 * [backup-simplify]: Simplify x into x
0.101 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.101 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.101 * [taylor]: Taking taylor expansion of y in z
0.101 * [backup-simplify]: Simplify y into y
0.101 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.101 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in y
0.101 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in y
0.101 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.101 * [taylor]: Taking taylor expansion of z in y
0.101 * [backup-simplify]: Simplify z into z
0.101 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.101 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
0.101 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.101 * [taylor]: Taking taylor expansion of x in y
0.101 * [backup-simplify]: Simplify x into x
0.101 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.101 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.101 * [taylor]: Taking taylor expansion of y in y
0.101 * [backup-simplify]: Simplify 0 into 0
0.101 * [backup-simplify]: Simplify 1 into 1
0.101 * [backup-simplify]: Simplify (/ 1 1) into 1
0.102 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in x
0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x
0.102 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.102 * [taylor]: Taking taylor expansion of z in x
0.102 * [backup-simplify]: Simplify z into z
0.102 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
0.102 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.102 * [taylor]: Taking taylor expansion of x in x
0.102 * [backup-simplify]: Simplify 0 into 0
0.102 * [backup-simplify]: Simplify 1 into 1
0.102 * [backup-simplify]: Simplify (/ 1 1) into 1
0.102 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.102 * [taylor]: Taking taylor expansion of y in x
0.102 * [backup-simplify]: Simplify y into y
0.102 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.102 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in x
0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x
0.102 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.102 * [taylor]: Taking taylor expansion of z in x
0.102 * [backup-simplify]: Simplify z into z
0.102 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
0.102 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.102 * [taylor]: Taking taylor expansion of x in x
0.102 * [backup-simplify]: Simplify 0 into 0
0.102 * [backup-simplify]: Simplify 1 into 1
0.102 * [backup-simplify]: Simplify (/ 1 1) into 1
0.102 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.102 * [taylor]: Taking taylor expansion of y in x
0.102 * [backup-simplify]: Simplify y into y
0.103 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.103 * [backup-simplify]: Simplify (+ 1 0) into 1
0.103 * [backup-simplify]: Simplify (+ 0 1) into 1
0.103 * [backup-simplify]: Simplify (- 1) into -1
0.103 * [taylor]: Taking taylor expansion of -1 in y
0.103 * [backup-simplify]: Simplify -1 into -1
0.104 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.104 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
0.104 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
0.104 * [backup-simplify]: Simplify (- (+ (/ 1 y) (/ 1 z))) into (- (+ (/ 1 y) (/ 1 z)))
0.104 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z))) in y
0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
0.104 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.104 * [taylor]: Taking taylor expansion of y in y
0.104 * [backup-simplify]: Simplify 0 into 0
0.104 * [backup-simplify]: Simplify 1 into 1
0.104 * [backup-simplify]: Simplify (/ 1 1) into 1
0.104 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.104 * [taylor]: Taking taylor expansion of z in y
0.104 * [backup-simplify]: Simplify z into z
0.105 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.105 * [backup-simplify]: Simplify (+ 1 0) into 1
0.105 * [backup-simplify]: Simplify (- 1) into -1
0.105 * [taylor]: Taking taylor expansion of -1 in z
0.105 * [backup-simplify]: Simplify -1 into -1
0.105 * [taylor]: Taking taylor expansion of -1 in z
0.105 * [backup-simplify]: Simplify -1 into -1
0.105 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.106 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.106 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.106 * [backup-simplify]: Simplify (+ 0 0) into 0
0.106 * [backup-simplify]: Simplify (+ 0 0) into 0
0.107 * [backup-simplify]: Simplify (- 0) into 0
0.107 * [taylor]: Taking taylor expansion of 0 in y
0.107 * [backup-simplify]: Simplify 0 into 0
0.107 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.107 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
0.107 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
0.107 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.107 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.107 * [taylor]: Taking taylor expansion of z in z
0.107 * [backup-simplify]: Simplify 0 into 0
0.107 * [backup-simplify]: Simplify 1 into 1
0.108 * [backup-simplify]: Simplify (/ 1 1) into 1
0.108 * [backup-simplify]: Simplify (- 1) into -1
0.108 * [backup-simplify]: Simplify -1 into -1
0.108 * [taylor]: Taking taylor expansion of 0 in z
0.108 * [backup-simplify]: Simplify 0 into 0
0.108 * [backup-simplify]: Simplify -1 into -1
0.108 * [backup-simplify]: Simplify -1 into -1
0.108 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- y))) 1))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 1))))) into (+ x (+ z y))
0.109 * * * [progress]: simplifying candidates
0.109 * [simplify]: Simplifying:
  (* (* (exp x) (exp y)) (exp z))
  (* (exp (+ x y)) (exp z))
  (log (+ (+ x y) z))
  (exp (+ (+ x y) z))
  (* (cbrt (+ (+ x y) z)) (cbrt (+ (+ x y) z)))
  (cbrt (+ (+ x y) z))
  (* (* (+ (+ x y) z) (+ (+ x y) z)) (+ (+ x y) z))
  (sqrt (+ (+ x y) z))
  (sqrt (+ (+ x y) z))
  (+ (pow (+ x y) 3) (pow z 3))
  (+ (* (+ x y) (+ x y)) (- (* z z) (* (+ x y) z)))
  (- (* (+ x y) (+ x y)) (* z z))
  (- (+ x y) z)
  (+ (+ x y) z)
  (+ (+ x y) z)
  (+ y z)
  (+ x (+ z y))
  (+ x (+ z y))
  (+ x (+ z y))
0.109 * * [simplify]: iteration 0: 33 enodes
0.119 * * [simplify]: iteration 1: 91 enodes
0.155 * * [simplify]: iteration 2: 394 enodes
0.478 * * [simplify]: iteration 3: 2748 enodes
1.731 * * [simplify]: iteration complete: 5001 enodes
1.731 * * [simplify]: Extracting #0: cost 12 inf + 0
1.732 * * [simplify]: Extracting #1: cost 219 inf + 0
1.737 * * [simplify]: Extracting #2: cost 1083 inf + 3394
1.758 * * [simplify]: Extracting #3: cost 995 inf + 90461
1.813 * * [simplify]: Extracting #4: cost 182 inf + 247478
1.904 * * [simplify]: Extracting #5: cost 43 inf + 270288
1.993 * * [simplify]: Extracting #6: cost 5 inf + 276103
2.084 * * [simplify]: Extracting #7: cost 0 inf + 277450
2.178 * [simplify]: Simplified to:
  (exp (+ z (+ x y)))
  (exp (+ z (+ x y)))
  (log (+ z (+ x y)))
  (exp (+ z (+ x y)))
  (* (cbrt (+ z (+ x y))) (cbrt (+ z (+ x y))))
  (cbrt (+ z (+ x y)))
  (* (* (+ z (+ x y)) (+ z (+ x y))) (+ z (+ x y)))
  (sqrt (+ z (+ x y)))
  (sqrt (+ z (+ x y)))
  (+ (* (+ x y) (* (+ x y) (+ x y))) (* (* z z) z))
  (- (* z z) (* (+ x y) (- z (+ x y))))
  (- (* (+ x y) (+ x y)) (* z z))
  (+ (- x z) y)
  (+ z (+ x y))
  (+ z (+ x y))
  (+ z y)
  (+ z (+ x y))
  (+ z (+ x y))
  (+ z (+ x y))
2.179 * * * [progress]: adding candidates to table
2.239 * * [progress]: iteration 2 / 4
2.239 * * * [progress]: picking best candidate
2.243 * * * * [pick]: Picked  #<alt (λ (x y z) (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z))))>
2.243 * * * [progress]: localizing error
2.266 * * * [progress]: generating rewritten candidates
2.266 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
2.400 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
2.437 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
2.461 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
2.486 * * * [progress]: generating series expansions
2.486 * * * * [progress]: [ 1 / 4 ] generating series at (2)
2.486 * [backup-simplify]: Simplify (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z))) into (+ x (+ z y))
2.486 * [approximate]: Taking taylor expansion of (+ x (+ z y)) in (x y z) around 0
2.486 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in z
2.487 * [taylor]: Taking taylor expansion of x in z
2.487 * [backup-simplify]: Simplify x into x
2.487 * [taylor]: Taking taylor expansion of (+ z y) in z
2.487 * [taylor]: Taking taylor expansion of z in z
2.487 * [backup-simplify]: Simplify 0 into 0
2.487 * [backup-simplify]: Simplify 1 into 1
2.487 * [taylor]: Taking taylor expansion of y in z
2.487 * [backup-simplify]: Simplify y into y
2.487 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in y
2.487 * [taylor]: Taking taylor expansion of x in y
2.487 * [backup-simplify]: Simplify x into x
2.487 * [taylor]: Taking taylor expansion of (+ z y) in y
2.487 * [taylor]: Taking taylor expansion of z in y
2.487 * [backup-simplify]: Simplify z into z
2.487 * [taylor]: Taking taylor expansion of y in y
2.487 * [backup-simplify]: Simplify 0 into 0
2.487 * [backup-simplify]: Simplify 1 into 1
2.487 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
2.487 * [taylor]: Taking taylor expansion of x in x
2.487 * [backup-simplify]: Simplify 0 into 0
2.487 * [backup-simplify]: Simplify 1 into 1
2.487 * [taylor]: Taking taylor expansion of (+ z y) in x
2.487 * [taylor]: Taking taylor expansion of z in x
2.487 * [backup-simplify]: Simplify z into z
2.487 * [taylor]: Taking taylor expansion of y in x
2.487 * [backup-simplify]: Simplify y into y
2.487 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
2.487 * [taylor]: Taking taylor expansion of x in x
2.487 * [backup-simplify]: Simplify 0 into 0
2.487 * [backup-simplify]: Simplify 1 into 1
2.487 * [taylor]: Taking taylor expansion of (+ z y) in x
2.487 * [taylor]: Taking taylor expansion of z in x
2.487 * [backup-simplify]: Simplify z into z
2.487 * [taylor]: Taking taylor expansion of y in x
2.487 * [backup-simplify]: Simplify y into y
2.487 * [backup-simplify]: Simplify (+ z y) into (+ z y)
2.487 * [backup-simplify]: Simplify (+ 0 (+ z y)) into (+ z y)
2.487 * [taylor]: Taking taylor expansion of (+ z y) in y
2.487 * [taylor]: Taking taylor expansion of z in y
2.487 * [backup-simplify]: Simplify z into z
2.487 * [taylor]: Taking taylor expansion of y in y
2.487 * [backup-simplify]: Simplify 0 into 0
2.487 * [backup-simplify]: Simplify 1 into 1
2.487 * [backup-simplify]: Simplify (+ z 0) into z
2.487 * [taylor]: Taking taylor expansion of z in z
2.487 * [backup-simplify]: Simplify 0 into 0
2.487 * [backup-simplify]: Simplify 1 into 1
2.487 * [backup-simplify]: Simplify 0 into 0
2.488 * [backup-simplify]: Simplify (+ 0 0) into 0
2.488 * [backup-simplify]: Simplify (+ 1 0) into 1
2.488 * [taylor]: Taking taylor expansion of 1 in y
2.488 * [backup-simplify]: Simplify 1 into 1
2.488 * [taylor]: Taking taylor expansion of 1 in z
2.488 * [backup-simplify]: Simplify 1 into 1
2.488 * [backup-simplify]: Simplify 1 into 1
2.489 * [backup-simplify]: Simplify (+ 0 1) into 1
2.489 * [taylor]: Taking taylor expansion of 1 in z
2.489 * [backup-simplify]: Simplify 1 into 1
2.489 * [backup-simplify]: Simplify 1 into 1
2.489 * [backup-simplify]: Simplify 1 into 1
2.489 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 1))) (+ (* 1 (* 1 (* y 1))) (* 1 (* 1 (* 1 x))))) into (+ x (+ z y))
2.489 * [backup-simplify]: Simplify (* (sqrt (+ (+ (/ 1 x) (/ 1 y)) (/ 1 z))) (sqrt (+ (+ (/ 1 x) (/ 1 y)) (/ 1 z)))) into (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))
2.489 * [approximate]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in (x y z) around 0
2.489 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in z
2.489 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.490 * [taylor]: Taking taylor expansion of z in z
2.490 * [backup-simplify]: Simplify 0 into 0
2.490 * [backup-simplify]: Simplify 1 into 1
2.490 * [backup-simplify]: Simplify (/ 1 1) into 1
2.490 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z
2.490 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.490 * [taylor]: Taking taylor expansion of x in z
2.490 * [backup-simplify]: Simplify x into x
2.490 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.490 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.490 * [taylor]: Taking taylor expansion of y in z
2.490 * [backup-simplify]: Simplify y into y
2.490 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.490 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in y
2.490 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.490 * [taylor]: Taking taylor expansion of z in y
2.490 * [backup-simplify]: Simplify z into z
2.490 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.490 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
2.490 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.490 * [taylor]: Taking taylor expansion of x in y
2.490 * [backup-simplify]: Simplify x into x
2.490 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.490 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.490 * [taylor]: Taking taylor expansion of y in y
2.490 * [backup-simplify]: Simplify 0 into 0
2.490 * [backup-simplify]: Simplify 1 into 1
2.490 * [backup-simplify]: Simplify (/ 1 1) into 1
2.491 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x
2.491 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.491 * [taylor]: Taking taylor expansion of z in x
2.491 * [backup-simplify]: Simplify z into z
2.491 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.491 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
2.491 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.491 * [taylor]: Taking taylor expansion of x in x
2.491 * [backup-simplify]: Simplify 0 into 0
2.491 * [backup-simplify]: Simplify 1 into 1
2.491 * [backup-simplify]: Simplify (/ 1 1) into 1
2.491 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.491 * [taylor]: Taking taylor expansion of y in x
2.491 * [backup-simplify]: Simplify y into y
2.491 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.491 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x
2.491 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.491 * [taylor]: Taking taylor expansion of z in x
2.491 * [backup-simplify]: Simplify z into z
2.491 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.491 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
2.491 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.491 * [taylor]: Taking taylor expansion of x in x
2.491 * [backup-simplify]: Simplify 0 into 0
2.491 * [backup-simplify]: Simplify 1 into 1
2.491 * [backup-simplify]: Simplify (/ 1 1) into 1
2.492 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.492 * [taylor]: Taking taylor expansion of y in x
2.492 * [backup-simplify]: Simplify y into y
2.492 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.492 * [backup-simplify]: Simplify (+ 1 0) into 1
2.492 * [backup-simplify]: Simplify (+ 0 1) into 1
2.492 * [taylor]: Taking taylor expansion of 1 in y
2.492 * [backup-simplify]: Simplify 1 into 1
2.493 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.493 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
2.493 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
2.493 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
2.493 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.493 * [taylor]: Taking taylor expansion of y in y
2.493 * [backup-simplify]: Simplify 0 into 0
2.493 * [backup-simplify]: Simplify 1 into 1
2.493 * [backup-simplify]: Simplify (/ 1 1) into 1
2.493 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.493 * [taylor]: Taking taylor expansion of z in y
2.493 * [backup-simplify]: Simplify z into z
2.493 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.494 * [backup-simplify]: Simplify (+ 1 0) into 1
2.494 * [taylor]: Taking taylor expansion of 1 in z
2.494 * [backup-simplify]: Simplify 1 into 1
2.494 * [taylor]: Taking taylor expansion of 1 in z
2.494 * [backup-simplify]: Simplify 1 into 1
2.494 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.494 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.494 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.495 * [backup-simplify]: Simplify (+ 0 0) into 0
2.495 * [backup-simplify]: Simplify (+ 0 0) into 0
2.495 * [taylor]: Taking taylor expansion of 0 in y
2.495 * [backup-simplify]: Simplify 0 into 0
2.495 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.495 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
2.495 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.496 * [taylor]: Taking taylor expansion of z in z
2.496 * [backup-simplify]: Simplify 0 into 0
2.496 * [backup-simplify]: Simplify 1 into 1
2.496 * [backup-simplify]: Simplify (/ 1 1) into 1
2.496 * [backup-simplify]: Simplify 1 into 1
2.496 * [taylor]: Taking taylor expansion of 0 in z
2.496 * [backup-simplify]: Simplify 0 into 0
2.496 * [backup-simplify]: Simplify 1 into 1
2.496 * [backup-simplify]: Simplify 1 into 1
2.496 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 x))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) 1))) (* 1 (* (/ 1 (/ 1 z)) (* 1 1))))) into (+ x (+ z y))
2.497 * [backup-simplify]: Simplify (* (sqrt (+ (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z)))) (sqrt (+ (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))))) into (pow (sqrt (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))))) 2)
2.497 * [approximate]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))))) 2) in (x y z) around 0
2.497 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))))) 2) in z
2.497 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in z
2.497 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in z
2.497 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in z
2.497 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.497 * [taylor]: Taking taylor expansion of z in z
2.497 * [backup-simplify]: Simplify 0 into 0
2.497 * [backup-simplify]: Simplify 1 into 1
2.497 * [backup-simplify]: Simplify (/ 1 1) into 1
2.497 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z
2.497 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.497 * [taylor]: Taking taylor expansion of x in z
2.497 * [backup-simplify]: Simplify x into x
2.497 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.497 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.497 * [taylor]: Taking taylor expansion of y in z
2.497 * [backup-simplify]: Simplify y into y
2.497 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.498 * [backup-simplify]: Simplify (+ 1 0) into 1
2.498 * [backup-simplify]: Simplify (- 1) into -1
2.498 * [backup-simplify]: Simplify (sqrt 0) into 0
2.498 * [backup-simplify]: Simplify (- 1) into -1
2.501 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.501 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))))) 2) in y
2.501 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in y
2.501 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in y
2.501 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in y
2.501 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.501 * [taylor]: Taking taylor expansion of z in y
2.501 * [backup-simplify]: Simplify z into z
2.501 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.501 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
2.501 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.501 * [taylor]: Taking taylor expansion of x in y
2.501 * [backup-simplify]: Simplify x into x
2.501 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.501 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.501 * [taylor]: Taking taylor expansion of y in y
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [backup-simplify]: Simplify 1 into 1
2.501 * [backup-simplify]: Simplify (/ 1 1) into 1
2.502 * [backup-simplify]: Simplify (+ 0 1) into 1
2.502 * [backup-simplify]: Simplify (+ 0 1) into 1
2.502 * [backup-simplify]: Simplify (- 1) into -1
2.502 * [backup-simplify]: Simplify (sqrt 0) into 0
2.503 * [backup-simplify]: Simplify (- 1) into -1
2.503 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.504 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))))) 2) in x
2.504 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in x
2.504 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in x
2.504 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x
2.504 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.504 * [taylor]: Taking taylor expansion of z in x
2.504 * [backup-simplify]: Simplify z into z
2.504 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.504 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
2.504 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.504 * [taylor]: Taking taylor expansion of x in x
2.504 * [backup-simplify]: Simplify 0 into 0
2.504 * [backup-simplify]: Simplify 1 into 1
2.504 * [backup-simplify]: Simplify (/ 1 1) into 1
2.504 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.504 * [taylor]: Taking taylor expansion of y in x
2.504 * [backup-simplify]: Simplify y into y
2.504 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.504 * [backup-simplify]: Simplify (+ 1 0) into 1
2.505 * [backup-simplify]: Simplify (+ 0 1) into 1
2.505 * [backup-simplify]: Simplify (- 1) into -1
2.505 * [backup-simplify]: Simplify (sqrt 0) into 0
2.505 * [backup-simplify]: Simplify (- 1) into -1
2.506 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.506 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))))) 2) in x
2.506 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in x
2.506 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in x
2.506 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x
2.506 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.506 * [taylor]: Taking taylor expansion of z in x
2.506 * [backup-simplify]: Simplify z into z
2.506 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.506 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
2.506 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.506 * [taylor]: Taking taylor expansion of x in x
2.506 * [backup-simplify]: Simplify 0 into 0
2.506 * [backup-simplify]: Simplify 1 into 1
2.507 * [backup-simplify]: Simplify (/ 1 1) into 1
2.507 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.507 * [taylor]: Taking taylor expansion of y in x
2.507 * [backup-simplify]: Simplify y into y
2.507 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.507 * [backup-simplify]: Simplify (+ 1 0) into 1
2.507 * [backup-simplify]: Simplify (+ 0 1) into 1
2.507 * [backup-simplify]: Simplify (- 1) into -1
2.508 * [backup-simplify]: Simplify (sqrt 0) into 0
2.508 * [backup-simplify]: Simplify (- 1) into -1
2.509 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.509 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0
2.509 * [taylor]: Taking taylor expansion of +nan.0 in y
2.509 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.509 * [taylor]: Taking taylor expansion of +nan.0 in z
2.509 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.509 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.510 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.510 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
2.510 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
2.510 * [backup-simplify]: Simplify (- (+ (/ 1 y) (/ 1 z))) into (- (+ (/ 1 y) (/ 1 z)))
2.511 * [backup-simplify]: Simplify (/ (- (- (+ (/ 1 y) (/ 1 z))) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (+ (/ 1 z) (- (/ 1 y) +nan.0)))
2.511 * [backup-simplify]: Simplify (+ (* +nan.0 (* +nan.0 (+ (/ 1 z) (- (/ 1 y) +nan.0)))) (* (* +nan.0 (+ (/ 1 z) (- (/ 1 y) +nan.0))) +nan.0)) into (- (+ (* +nan.0 (/ 1 z)) (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))))
2.511 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 z)) (- (+ +nan.0 (- (* +nan.0 (/ 1 y))))))) in y
2.511 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 z)) (- (+ +nan.0 (- (* +nan.0 (/ 1 y)))))) in y
2.511 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in y
2.511 * [taylor]: Taking taylor expansion of +nan.0 in y
2.511 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.511 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.511 * [taylor]: Taking taylor expansion of z in y
2.511 * [backup-simplify]: Simplify z into z
2.511 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.511 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 y))))) in y
2.511 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 y)))) in y
2.511 * [taylor]: Taking taylor expansion of +nan.0 in y
2.511 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.511 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y
2.511 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
2.511 * [taylor]: Taking taylor expansion of +nan.0 in y
2.511 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.511 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.511 * [taylor]: Taking taylor expansion of y in y
2.511 * [backup-simplify]: Simplify 0 into 0
2.511 * [backup-simplify]: Simplify 1 into 1
2.512 * [backup-simplify]: Simplify (/ 1 1) into 1
2.512 * [backup-simplify]: Simplify (* +nan.0 (/ 1 z)) into (/ +nan.0 z)
2.512 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.513 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
2.513 * [backup-simplify]: Simplify (- 0) into 0
2.513 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
2.514 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
2.514 * [backup-simplify]: Simplify (+ (/ +nan.0 z) (- +nan.0)) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
2.514 * [backup-simplify]: Simplify (- (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
2.514 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))) in z
2.514 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 z)))) in z
2.514 * [taylor]: Taking taylor expansion of +nan.0 in z
2.514 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.514 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z
2.514 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z
2.514 * [taylor]: Taking taylor expansion of +nan.0 in z
2.514 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.514 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.514 * [taylor]: Taking taylor expansion of z in z
2.514 * [backup-simplify]: Simplify 0 into 0
2.514 * [backup-simplify]: Simplify 1 into 1
2.514 * [backup-simplify]: Simplify (/ 1 1) into 1
2.515 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.515 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
2.516 * [backup-simplify]: Simplify (- 0) into 0
2.516 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
2.516 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
2.517 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
2.517 * [taylor]: Taking taylor expansion of 0 in z
2.517 * [backup-simplify]: Simplify 0 into 0
2.517 * [backup-simplify]: Simplify 0 into 0
2.517 * [backup-simplify]: Simplify 0 into 0
2.517 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.517 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.517 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.518 * [backup-simplify]: Simplify (+ 0 0) into 0
2.518 * [backup-simplify]: Simplify (+ 0 0) into 0
2.518 * [backup-simplify]: Simplify (- 0) into 0
2.519 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (+ (/ 1 z) (- (/ 1 y) +nan.0))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))))
2.520 * [backup-simplify]: Simplify (+ (* +nan.0 (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))))) (+ (* (* +nan.0 (+ (/ 1 z) (- (/ 1 y) +nan.0))) (* +nan.0 (+ (/ 1 z) (- (/ 1 y) +nan.0)))) (* (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))))) +nan.0))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (* z y))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))))))))))
2.520 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (* z y))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))))))))))) in y
2.520 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow z 2))) (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (* z y))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))))))))) in y
2.520 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in y
2.520 * [taylor]: Taking taylor expansion of +nan.0 in y
2.520 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.520 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
2.520 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.520 * [taylor]: Taking taylor expansion of z in y
2.520 * [backup-simplify]: Simplify z into z
2.520 * [backup-simplify]: Simplify (* z z) into (pow z 2)
2.520 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
2.520 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (* z y))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))))))))) in y
2.520 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (* z y))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))))))) in y
2.520 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
2.520 * [taylor]: Taking taylor expansion of +nan.0 in y
2.520 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.520 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.520 * [taylor]: Taking taylor expansion of y in y
2.520 * [backup-simplify]: Simplify 0 into 0
2.520 * [backup-simplify]: Simplify 1 into 1
2.520 * [backup-simplify]: Simplify (/ 1 1) into 1
2.520 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* z y))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))))))) in y
2.520 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* z y))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))))) in y
2.520 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* z y))) in y
2.520 * [taylor]: Taking taylor expansion of +nan.0 in y
2.520 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.520 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.520 * [taylor]: Taking taylor expansion of (* z y) in y
2.520 * [taylor]: Taking taylor expansion of z in y
2.520 * [backup-simplify]: Simplify z into z
2.520 * [taylor]: Taking taylor expansion of y in y
2.520 * [backup-simplify]: Simplify 0 into 0
2.520 * [backup-simplify]: Simplify 1 into 1
2.521 * [backup-simplify]: Simplify (* z 0) into 0
2.521 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z
2.521 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.521 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 2))) (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))))) in y
2.521 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) in y
2.521 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y
2.521 * [taylor]: Taking taylor expansion of +nan.0 in y
2.521 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.521 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.521 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.521 * [taylor]: Taking taylor expansion of y in y
2.521 * [backup-simplify]: Simplify 0 into 0
2.521 * [backup-simplify]: Simplify 1 into 1
2.521 * [backup-simplify]: Simplify (* 1 1) into 1
2.521 * [backup-simplify]: Simplify (/ 1 1) into 1
2.522 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))) in y
2.522 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 z)))) in y
2.522 * [taylor]: Taking taylor expansion of +nan.0 in y
2.522 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.522 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in y
2.522 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in y
2.522 * [taylor]: Taking taylor expansion of +nan.0 in y
2.522 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.522 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.522 * [taylor]: Taking taylor expansion of z in y
2.522 * [backup-simplify]: Simplify z into z
2.522 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.522 * [backup-simplify]: Simplify (* +nan.0 (/ 1 (pow z 2))) into (/ +nan.0 (pow z 2))
2.522 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.523 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
2.523 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0
2.523 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.524 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 (/ 1 z))) into 0
2.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.524 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.525 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.525 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.526 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (* 0 1))) into 0
2.526 * [backup-simplify]: Simplify (* +nan.0 (/ 1 z)) into (/ +nan.0 z)
2.526 * [backup-simplify]: Simplify (- (/ +nan.0 z)) into (- (* +nan.0 (/ 1 z)))
2.526 * [backup-simplify]: Simplify (+ +nan.0 (- (* +nan.0 (/ 1 z)))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
2.526 * [backup-simplify]: Simplify (- (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
2.526 * [backup-simplify]: Simplify (+ 0 (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
2.526 * [backup-simplify]: Simplify (- (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
2.527 * [backup-simplify]: Simplify (+ 0 (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
2.527 * [backup-simplify]: Simplify (- (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
2.527 * [backup-simplify]: Simplify (+ 0 (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
2.527 * [backup-simplify]: Simplify (- (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
2.527 * [backup-simplify]: Simplify (+ (/ +nan.0 (pow z 2)) (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))))
2.527 * [backup-simplify]: Simplify (- (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))))
2.527 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))))) in z
2.527 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow z 2))) (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) in z
2.527 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in z
2.527 * [taylor]: Taking taylor expansion of +nan.0 in z
2.528 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.528 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
2.528 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.528 * [taylor]: Taking taylor expansion of z in z
2.528 * [backup-simplify]: Simplify 0 into 0
2.528 * [backup-simplify]: Simplify 1 into 1
2.528 * [backup-simplify]: Simplify (* 1 1) into 1
2.528 * [backup-simplify]: Simplify (/ 1 1) into 1
2.528 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))) in z
2.528 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 z)))) in z
2.528 * [taylor]: Taking taylor expansion of +nan.0 in z
2.528 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.528 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z
2.528 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z
2.528 * [taylor]: Taking taylor expansion of +nan.0 in z
2.528 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.528 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.528 * [taylor]: Taking taylor expansion of z in z
2.528 * [backup-simplify]: Simplify 0 into 0
2.528 * [backup-simplify]: Simplify 1 into 1
2.528 * [backup-simplify]: Simplify (/ 1 1) into 1
2.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.529 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.531 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (* 0 1))) into 0
2.531 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.532 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
2.532 * [backup-simplify]: Simplify (- 0) into 0
2.532 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
2.533 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
2.533 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
2.534 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
2.534 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
2.535 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (* 1 (* 1 (/ 1 (- x)))) 2)) (+ (* (- +nan.0) (* 1 (* 1 (/ 1 (- x))))) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
2.535 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
2.535 * [backup-simplify]: Simplify (sqrt (+ (+ x y) z)) into (sqrt (+ x (+ z y)))
2.535 * [approximate]: Taking taylor expansion of (sqrt (+ x (+ z y))) in (x y z) around 0
2.535 * [taylor]: Taking taylor expansion of (sqrt (+ x (+ z y))) in z
2.535 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in z
2.535 * [taylor]: Taking taylor expansion of x in z
2.535 * [backup-simplify]: Simplify x into x
2.535 * [taylor]: Taking taylor expansion of (+ z y) in z
2.535 * [taylor]: Taking taylor expansion of z in z
2.535 * [backup-simplify]: Simplify 0 into 0
2.535 * [backup-simplify]: Simplify 1 into 1
2.535 * [taylor]: Taking taylor expansion of y in z
2.535 * [backup-simplify]: Simplify y into y
2.535 * [backup-simplify]: Simplify (+ 0 y) into y
2.535 * [backup-simplify]: Simplify (+ x y) into (+ x y)
2.535 * [backup-simplify]: Simplify (sqrt (+ x y)) into (sqrt (+ x y))
2.536 * [backup-simplify]: Simplify (+ 1 0) into 1
2.536 * [backup-simplify]: Simplify (+ 0 1) into 1
2.536 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt (+ x y)))) into (* 1/2 (sqrt (/ 1 (+ x y))))
2.536 * [taylor]: Taking taylor expansion of (sqrt (+ x (+ z y))) in y
2.536 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in y
2.536 * [taylor]: Taking taylor expansion of x in y
2.536 * [backup-simplify]: Simplify x into x
2.536 * [taylor]: Taking taylor expansion of (+ z y) in y
2.536 * [taylor]: Taking taylor expansion of z in y
2.536 * [backup-simplify]: Simplify z into z
2.536 * [taylor]: Taking taylor expansion of y in y
2.536 * [backup-simplify]: Simplify 0 into 0
2.536 * [backup-simplify]: Simplify 1 into 1
2.536 * [backup-simplify]: Simplify (+ z 0) into z
2.536 * [backup-simplify]: Simplify (+ x z) into (+ x z)
2.536 * [backup-simplify]: Simplify (sqrt (+ x z)) into (sqrt (+ x z))
2.536 * [backup-simplify]: Simplify (+ 0 1) into 1
2.537 * [backup-simplify]: Simplify (+ 0 1) into 1
2.537 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt (+ x z)))) into (* 1/2 (sqrt (/ 1 (+ x z))))
2.537 * [taylor]: Taking taylor expansion of (sqrt (+ x (+ z y))) in x
2.537 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
2.537 * [taylor]: Taking taylor expansion of x in x
2.537 * [backup-simplify]: Simplify 0 into 0
2.537 * [backup-simplify]: Simplify 1 into 1
2.537 * [taylor]: Taking taylor expansion of (+ z y) in x
2.537 * [taylor]: Taking taylor expansion of z in x
2.537 * [backup-simplify]: Simplify z into z
2.537 * [taylor]: Taking taylor expansion of y in x
2.537 * [backup-simplify]: Simplify y into y
2.537 * [backup-simplify]: Simplify (+ z y) into (+ z y)
2.537 * [backup-simplify]: Simplify (+ 0 (+ z y)) into (+ z y)
2.537 * [backup-simplify]: Simplify (sqrt (+ z y)) into (sqrt (+ z y))
2.537 * [backup-simplify]: Simplify (+ 0 0) into 0
2.538 * [backup-simplify]: Simplify (+ 1 0) into 1
2.538 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt (+ z y)))) into (* 1/2 (sqrt (/ 1 (+ z y))))
2.538 * [taylor]: Taking taylor expansion of (sqrt (+ x (+ z y))) in x
2.538 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
2.538 * [taylor]: Taking taylor expansion of x in x
2.538 * [backup-simplify]: Simplify 0 into 0
2.538 * [backup-simplify]: Simplify 1 into 1
2.538 * [taylor]: Taking taylor expansion of (+ z y) in x
2.538 * [taylor]: Taking taylor expansion of z in x
2.538 * [backup-simplify]: Simplify z into z
2.538 * [taylor]: Taking taylor expansion of y in x
2.538 * [backup-simplify]: Simplify y into y
2.538 * [backup-simplify]: Simplify (+ z y) into (+ z y)
2.538 * [backup-simplify]: Simplify (+ 0 (+ z y)) into (+ z y)
2.538 * [backup-simplify]: Simplify (sqrt (+ z y)) into (sqrt (+ z y))
2.538 * [backup-simplify]: Simplify (+ 0 0) into 0
2.538 * [backup-simplify]: Simplify (+ 1 0) into 1
2.539 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt (+ z y)))) into (* 1/2 (sqrt (/ 1 (+ z y))))
2.539 * [taylor]: Taking taylor expansion of (sqrt (+ z y)) in y
2.539 * [taylor]: Taking taylor expansion of (+ z y) in y
2.539 * [taylor]: Taking taylor expansion of z in y
2.539 * [backup-simplify]: Simplify z into z
2.539 * [taylor]: Taking taylor expansion of y in y
2.539 * [backup-simplify]: Simplify 0 into 0
2.539 * [backup-simplify]: Simplify 1 into 1
2.539 * [backup-simplify]: Simplify (+ z 0) into z
2.539 * [backup-simplify]: Simplify (sqrt z) into (sqrt z)
2.539 * [backup-simplify]: Simplify (+ 0 1) into 1
2.539 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt z))) into (* 1/2 (sqrt (/ 1 z)))
2.539 * [taylor]: Taking taylor expansion of (sqrt z) in z
2.539 * [taylor]: Taking taylor expansion of z in z
2.539 * [backup-simplify]: Simplify 0 into 0
2.539 * [backup-simplify]: Simplify 1 into 1
2.540 * [backup-simplify]: Simplify (sqrt 0) into 0
2.540 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
2.541 * [backup-simplify]: Simplify 0 into 0
2.541 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ 1 (+ z y)))) in y
2.541 * [taylor]: Taking taylor expansion of 1/2 in y
2.541 * [backup-simplify]: Simplify 1/2 into 1/2
2.541 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ z y))) in y
2.541 * [taylor]: Taking taylor expansion of (/ 1 (+ z y)) in y
2.541 * [taylor]: Taking taylor expansion of (+ z y) in y
2.541 * [taylor]: Taking taylor expansion of z in y
2.541 * [backup-simplify]: Simplify z into z
2.541 * [taylor]: Taking taylor expansion of y in y
2.541 * [backup-simplify]: Simplify 0 into 0
2.541 * [backup-simplify]: Simplify 1 into 1
2.541 * [backup-simplify]: Simplify (+ z 0) into z
2.541 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.541 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z))
2.541 * [backup-simplify]: Simplify (+ 0 1) into 1
2.541 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 1 z)))) into (- (/ 1 (pow z 2)))
2.541 * [backup-simplify]: Simplify (/ (- (/ 1 (pow z 2))) (* 2 (sqrt (/ 1 z)))) into (* -1/2 (sqrt (/ 1 (pow z 3))))
2.541 * [backup-simplify]: Simplify (* 1/2 (sqrt (/ 1 z))) into (* 1/2 (sqrt (/ 1 z)))
2.541 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ 1 z))) in z
2.541 * [taylor]: Taking taylor expansion of 1/2 in z
2.542 * [backup-simplify]: Simplify 1/2 into 1/2
2.542 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
2.542 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.542 * [taylor]: Taking taylor expansion of z in z
2.542 * [backup-simplify]: Simplify 0 into 0
2.542 * [backup-simplify]: Simplify 1 into 1
2.542 * [backup-simplify]: Simplify (/ 1 1) into 1
2.542 * [backup-simplify]: Simplify (sqrt 0) into 0
2.543 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
2.544 * [backup-simplify]: Simplify (+ (* 1/2 +nan.0) (* 0 0)) into (- +nan.0)
2.544 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
2.544 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ 1 z))) in z
2.544 * [taylor]: Taking taylor expansion of 1/2 in z
2.544 * [backup-simplify]: Simplify 1/2 into 1/2
2.544 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
2.544 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.544 * [taylor]: Taking taylor expansion of z in z
2.544 * [backup-simplify]: Simplify 0 into 0
2.544 * [backup-simplify]: Simplify 1 into 1
2.544 * [backup-simplify]: Simplify (/ 1 1) into 1
2.545 * [backup-simplify]: Simplify (sqrt 0) into 0
2.545 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
2.546 * [backup-simplify]: Simplify (+ (* 1/2 +nan.0) (* 0 0)) into (- +nan.0)
2.547 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
2.547 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.548 * [backup-simplify]: Simplify (+ (* +nan.0 (* z (* 1 1))) (+ (* (- +nan.0) (* 1 (* y 1))) (* (- +nan.0) (* 1 (* 1 x))))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 z) (- (* +nan.0 y))))))
2.548 * [backup-simplify]: Simplify (sqrt (+ (+ (/ 1 x) (/ 1 y)) (/ 1 z))) into (sqrt (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))))
2.548 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in (x y z) around 0
2.548 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in z
2.548 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in z
2.548 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.548 * [taylor]: Taking taylor expansion of z in z
2.548 * [backup-simplify]: Simplify 0 into 0
2.548 * [backup-simplify]: Simplify 1 into 1
2.548 * [backup-simplify]: Simplify (/ 1 1) into 1
2.548 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z
2.548 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.548 * [taylor]: Taking taylor expansion of x in z
2.548 * [backup-simplify]: Simplify x into x
2.548 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.548 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.548 * [taylor]: Taking taylor expansion of y in z
2.548 * [backup-simplify]: Simplify y into y
2.548 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.549 * [backup-simplify]: Simplify (+ 1 0) into 1
2.549 * [backup-simplify]: Simplify (sqrt 0) into 0
2.550 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
2.550 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in y
2.550 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in y
2.550 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.550 * [taylor]: Taking taylor expansion of z in y
2.550 * [backup-simplify]: Simplify z into z
2.550 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.550 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
2.550 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.550 * [taylor]: Taking taylor expansion of x in y
2.550 * [backup-simplify]: Simplify x into x
2.550 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.550 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.550 * [taylor]: Taking taylor expansion of y in y
2.550 * [backup-simplify]: Simplify 0 into 0
2.550 * [backup-simplify]: Simplify 1 into 1
2.550 * [backup-simplify]: Simplify (/ 1 1) into 1
2.551 * [backup-simplify]: Simplify (+ 0 1) into 1
2.551 * [backup-simplify]: Simplify (+ 0 1) into 1
2.551 * [backup-simplify]: Simplify (sqrt 0) into 0
2.552 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
2.552 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in x
2.552 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x
2.552 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.552 * [taylor]: Taking taylor expansion of z in x
2.552 * [backup-simplify]: Simplify z into z
2.552 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.552 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
2.552 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.552 * [taylor]: Taking taylor expansion of x in x
2.552 * [backup-simplify]: Simplify 0 into 0
2.552 * [backup-simplify]: Simplify 1 into 1
2.553 * [backup-simplify]: Simplify (/ 1 1) into 1
2.553 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.553 * [taylor]: Taking taylor expansion of y in x
2.553 * [backup-simplify]: Simplify y into y
2.553 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.553 * [backup-simplify]: Simplify (+ 1 0) into 1
2.553 * [backup-simplify]: Simplify (+ 0 1) into 1
2.554 * [backup-simplify]: Simplify (sqrt 0) into 0
2.554 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
2.554 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in x
2.554 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x
2.554 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.554 * [taylor]: Taking taylor expansion of z in x
2.554 * [backup-simplify]: Simplify z into z
2.554 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.554 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
2.554 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.554 * [taylor]: Taking taylor expansion of x in x
2.554 * [backup-simplify]: Simplify 0 into 0
2.554 * [backup-simplify]: Simplify 1 into 1
2.555 * [backup-simplify]: Simplify (/ 1 1) into 1
2.555 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.555 * [taylor]: Taking taylor expansion of y in x
2.555 * [backup-simplify]: Simplify y into y
2.555 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.555 * [backup-simplify]: Simplify (+ 1 0) into 1
2.555 * [backup-simplify]: Simplify (+ 0 1) into 1
2.556 * [backup-simplify]: Simplify (sqrt 0) into 0
2.556 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
2.556 * [taylor]: Taking taylor expansion of 0 in y
2.557 * [backup-simplify]: Simplify 0 into 0
2.557 * [taylor]: Taking taylor expansion of +nan.0 in y
2.557 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.557 * [taylor]: Taking taylor expansion of 0 in z
2.557 * [backup-simplify]: Simplify 0 into 0
2.557 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.557 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
2.557 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
2.558 * [backup-simplify]: Simplify (/ (- (+ (/ 1 y) (/ 1 z)) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (- (+ (/ 1 y) (/ 1 z)) +nan.0))
2.558 * [taylor]: Taking taylor expansion of (* +nan.0 (- (+ (/ 1 y) (/ 1 z)) +nan.0)) in y
2.558 * [taylor]: Taking taylor expansion of +nan.0 in y
2.558 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.558 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) +nan.0) in y
2.558 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
2.558 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.558 * [taylor]: Taking taylor expansion of y in y
2.558 * [backup-simplify]: Simplify 0 into 0
2.558 * [backup-simplify]: Simplify 1 into 1
2.558 * [backup-simplify]: Simplify (/ 1 1) into 1
2.558 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.558 * [taylor]: Taking taylor expansion of z in y
2.558 * [backup-simplify]: Simplify z into z
2.559 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.559 * [taylor]: Taking taylor expansion of +nan.0 in y
2.559 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.559 * [backup-simplify]: Simplify (+ 1 0) into 1
2.559 * [backup-simplify]: Simplify (+ 1 0) into 1
2.559 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
2.559 * [taylor]: Taking taylor expansion of +nan.0 in z
2.559 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.559 * [taylor]: Taking taylor expansion of +nan.0 in z
2.559 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.559 * [taylor]: Taking taylor expansion of 0 in z
2.560 * [backup-simplify]: Simplify 0 into 0
2.560 * [backup-simplify]: Simplify 0 into 0
2.560 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.560 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.560 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.560 * [backup-simplify]: Simplify (+ 0 0) into 0
2.561 * [backup-simplify]: Simplify (+ 0 0) into 0
2.561 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (- (+ (/ 1 y) (/ 1 z)) +nan.0)))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))))
2.561 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))))) in y
2.561 * [taylor]: Taking taylor expansion of +nan.0 in y
2.561 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.561 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) in y
2.561 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
2.561 * [taylor]: Taking taylor expansion of +nan.0 in y
2.561 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.561 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.561 * [taylor]: Taking taylor expansion of y in y
2.561 * [backup-simplify]: Simplify 0 into 0
2.561 * [backup-simplify]: Simplify 1 into 1
2.562 * [backup-simplify]: Simplify (/ 1 1) into 1
2.562 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))) in y
2.562 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 z)))) in y
2.562 * [taylor]: Taking taylor expansion of +nan.0 in y
2.562 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.562 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in y
2.562 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in y
2.562 * [taylor]: Taking taylor expansion of +nan.0 in y
2.562 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.562 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.562 * [taylor]: Taking taylor expansion of z in y
2.562 * [backup-simplify]: Simplify z into z
2.562 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.562 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
2.562 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
2.563 * [backup-simplify]: Simplify (* +nan.0 (- +nan.0)) into +nan.0
2.563 * [taylor]: Taking taylor expansion of +nan.0 in z
2.563 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.563 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.563 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
2.564 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
2.564 * [backup-simplify]: Simplify (+ (/ 1 z) (- +nan.0)) into (- (/ 1 z) +nan.0)
2.564 * [backup-simplify]: Simplify (+ (* +nan.0 (- (/ 1 z) +nan.0)) (* 0 1)) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
2.564 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))) in z
2.564 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 z)))) in z
2.564 * [taylor]: Taking taylor expansion of +nan.0 in z
2.565 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.565 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z
2.565 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z
2.565 * [taylor]: Taking taylor expansion of +nan.0 in z
2.565 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.565 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.565 * [taylor]: Taking taylor expansion of z in z
2.565 * [backup-simplify]: Simplify 0 into 0
2.565 * [backup-simplify]: Simplify 1 into 1
2.565 * [backup-simplify]: Simplify (/ 1 1) into 1
2.565 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
2.565 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
2.566 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
2.566 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
2.567 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
2.567 * [taylor]: Taking taylor expansion of 0 in z
2.567 * [backup-simplify]: Simplify 0 into 0
2.567 * [taylor]: Taking taylor expansion of 0 in z
2.567 * [backup-simplify]: Simplify 0 into 0
2.567 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.567 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.567 * [backup-simplify]: Simplify (+ +nan.0 (+ (* +nan.0 (* 1 (* (/ 1 (/ 1 y)) (/ 1 x)))) (* (- +nan.0) (* (/ 1 (/ 1 z)) (* 1 (/ 1 x)))))) into (- (+ (* +nan.0 (/ z x)) (- (+ (* +nan.0 (/ y x)) (- +nan.0)))))
2.567 * [backup-simplify]: Simplify (sqrt (+ (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z)))) into (sqrt (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))))
2.567 * [approximate]: Taking taylor expansion of (sqrt (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in (x y z) around 0
2.568 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in z
2.568 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in z
2.568 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in z
2.568 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.568 * [taylor]: Taking taylor expansion of z in z
2.568 * [backup-simplify]: Simplify 0 into 0
2.568 * [backup-simplify]: Simplify 1 into 1
2.568 * [backup-simplify]: Simplify (/ 1 1) into 1
2.568 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z
2.568 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.568 * [taylor]: Taking taylor expansion of x in z
2.568 * [backup-simplify]: Simplify x into x
2.568 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.568 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.568 * [taylor]: Taking taylor expansion of y in z
2.568 * [backup-simplify]: Simplify y into y
2.568 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.568 * [backup-simplify]: Simplify (+ 1 0) into 1
2.569 * [backup-simplify]: Simplify (- 1) into -1
2.569 * [backup-simplify]: Simplify (sqrt 0) into 0
2.569 * [backup-simplify]: Simplify (- 1) into -1
2.570 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.570 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in y
2.570 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in y
2.570 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in y
2.570 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.570 * [taylor]: Taking taylor expansion of z in y
2.570 * [backup-simplify]: Simplify z into z
2.570 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.570 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
2.570 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.570 * [taylor]: Taking taylor expansion of x in y
2.570 * [backup-simplify]: Simplify x into x
2.570 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.570 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.570 * [taylor]: Taking taylor expansion of y in y
2.570 * [backup-simplify]: Simplify 0 into 0
2.570 * [backup-simplify]: Simplify 1 into 1
2.570 * [backup-simplify]: Simplify (/ 1 1) into 1
2.571 * [backup-simplify]: Simplify (+ 0 1) into 1
2.571 * [backup-simplify]: Simplify (+ 0 1) into 1
2.571 * [backup-simplify]: Simplify (- 1) into -1
2.571 * [backup-simplify]: Simplify (sqrt 0) into 0
2.572 * [backup-simplify]: Simplify (- 1) into -1
2.572 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.572 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in x
2.572 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in x
2.572 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x
2.572 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.572 * [taylor]: Taking taylor expansion of z in x
2.573 * [backup-simplify]: Simplify z into z
2.573 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.573 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
2.573 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.573 * [taylor]: Taking taylor expansion of x in x
2.573 * [backup-simplify]: Simplify 0 into 0
2.573 * [backup-simplify]: Simplify 1 into 1
2.573 * [backup-simplify]: Simplify (/ 1 1) into 1
2.573 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.573 * [taylor]: Taking taylor expansion of y in x
2.573 * [backup-simplify]: Simplify y into y
2.573 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.573 * [backup-simplify]: Simplify (+ 1 0) into 1
2.573 * [backup-simplify]: Simplify (+ 0 1) into 1
2.574 * [backup-simplify]: Simplify (- 1) into -1
2.574 * [backup-simplify]: Simplify (sqrt 0) into 0
2.574 * [backup-simplify]: Simplify (- 1) into -1
2.575 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.575 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in x
2.575 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in x
2.575 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x
2.575 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.575 * [taylor]: Taking taylor expansion of z in x
2.575 * [backup-simplify]: Simplify z into z
2.575 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.575 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
2.575 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.575 * [taylor]: Taking taylor expansion of x in x
2.575 * [backup-simplify]: Simplify 0 into 0
2.575 * [backup-simplify]: Simplify 1 into 1
2.575 * [backup-simplify]: Simplify (/ 1 1) into 1
2.575 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.575 * [taylor]: Taking taylor expansion of y in x
2.575 * [backup-simplify]: Simplify y into y
2.576 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.576 * [backup-simplify]: Simplify (+ 1 0) into 1
2.576 * [backup-simplify]: Simplify (+ 0 1) into 1
2.576 * [backup-simplify]: Simplify (- 1) into -1
2.577 * [backup-simplify]: Simplify (sqrt 0) into 0
2.577 * [backup-simplify]: Simplify (- 1) into -1
2.578 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.578 * [taylor]: Taking taylor expansion of 0 in y
2.578 * [backup-simplify]: Simplify 0 into 0
2.578 * [taylor]: Taking taylor expansion of +nan.0 in y
2.578 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.578 * [taylor]: Taking taylor expansion of 0 in z
2.578 * [backup-simplify]: Simplify 0 into 0
2.578 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.578 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
2.578 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
2.578 * [backup-simplify]: Simplify (- (+ (/ 1 y) (/ 1 z))) into (- (+ (/ 1 y) (/ 1 z)))
2.579 * [backup-simplify]: Simplify (/ (- (- (+ (/ 1 y) (/ 1 z))) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (+ (/ 1 z) (- (/ 1 y) +nan.0)))
2.579 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 z) (- (/ 1 y) +nan.0))) in y
2.579 * [taylor]: Taking taylor expansion of +nan.0 in y
2.579 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.579 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (- (/ 1 y) +nan.0)) in y
2.579 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.579 * [taylor]: Taking taylor expansion of z in y
2.579 * [backup-simplify]: Simplify z into z
2.579 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.579 * [taylor]: Taking taylor expansion of (- (/ 1 y) +nan.0) in y
2.579 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.579 * [taylor]: Taking taylor expansion of y in y
2.579 * [backup-simplify]: Simplify 0 into 0
2.580 * [backup-simplify]: Simplify 1 into 1
2.580 * [backup-simplify]: Simplify (/ 1 1) into 1
2.580 * [taylor]: Taking taylor expansion of +nan.0 in y
2.580 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.580 * [backup-simplify]: Simplify (+ 1 0) into 1
2.580 * [backup-simplify]: Simplify (+ 0 1) into 1
2.581 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
2.581 * [taylor]: Taking taylor expansion of +nan.0 in z
2.581 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.581 * [taylor]: Taking taylor expansion of +nan.0 in z
2.581 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.581 * [taylor]: Taking taylor expansion of 0 in z
2.581 * [backup-simplify]: Simplify 0 into 0
2.581 * [backup-simplify]: Simplify 0 into 0
2.581 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.581 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.581 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.582 * [backup-simplify]: Simplify (+ 0 0) into 0
2.582 * [backup-simplify]: Simplify (+ 0 0) into 0
2.582 * [backup-simplify]: Simplify (- 0) into 0
2.583 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (+ (/ 1 z) (- (/ 1 y) +nan.0))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))))
2.583 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))))) in y
2.583 * [taylor]: Taking taylor expansion of +nan.0 in y
2.583 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.583 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) in y
2.583 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
2.583 * [taylor]: Taking taylor expansion of +nan.0 in y
2.583 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.583 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.583 * [taylor]: Taking taylor expansion of y in y
2.583 * [backup-simplify]: Simplify 0 into 0
2.583 * [backup-simplify]: Simplify 1 into 1
2.583 * [backup-simplify]: Simplify (/ 1 1) into 1
2.583 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))) in y
2.583 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 z)))) in y
2.583 * [taylor]: Taking taylor expansion of +nan.0 in y
2.583 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.583 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in y
2.583 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in y
2.583 * [taylor]: Taking taylor expansion of +nan.0 in y
2.583 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.583 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.583 * [taylor]: Taking taylor expansion of z in y
2.583 * [backup-simplify]: Simplify z into z
2.583 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.584 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
2.584 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
2.584 * [backup-simplify]: Simplify (* +nan.0 (- +nan.0)) into +nan.0
2.584 * [taylor]: Taking taylor expansion of +nan.0 in z
2.584 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.585 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.585 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
2.586 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
2.586 * [backup-simplify]: Simplify (+ (/ 1 z) (- +nan.0)) into (- (/ 1 z) +nan.0)
2.586 * [backup-simplify]: Simplify (+ (* +nan.0 (- (/ 1 z) +nan.0)) (* 0 1)) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
2.586 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))) in z
2.586 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 z)))) in z
2.586 * [taylor]: Taking taylor expansion of +nan.0 in z
2.586 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.586 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z
2.586 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z
2.586 * [taylor]: Taking taylor expansion of +nan.0 in z
2.586 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.586 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.586 * [taylor]: Taking taylor expansion of z in z
2.586 * [backup-simplify]: Simplify 0 into 0
2.586 * [backup-simplify]: Simplify 1 into 1
2.587 * [backup-simplify]: Simplify (/ 1 1) into 1
2.587 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
2.587 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
2.588 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
2.588 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
2.589 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
2.589 * [taylor]: Taking taylor expansion of 0 in z
2.589 * [backup-simplify]: Simplify 0 into 0
2.589 * [taylor]: Taking taylor expansion of 0 in z
2.589 * [backup-simplify]: Simplify 0 into 0
2.589 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.589 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.589 * [backup-simplify]: Simplify (+ +nan.0 (+ (* +nan.0 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (- x))))) (* (- +nan.0) (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (- x))))))) into (- (+ (* +nan.0 (/ z x)) (- (+ (* +nan.0 (/ y x)) (- +nan.0)))))
2.589 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
2.590 * [backup-simplify]: Simplify (sqrt (+ (+ x y) z)) into (sqrt (+ x (+ z y)))
2.590 * [approximate]: Taking taylor expansion of (sqrt (+ x (+ z y))) in (x y z) around 0
2.590 * [taylor]: Taking taylor expansion of (sqrt (+ x (+ z y))) in z
2.590 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in z
2.590 * [taylor]: Taking taylor expansion of x in z
2.590 * [backup-simplify]: Simplify x into x
2.590 * [taylor]: Taking taylor expansion of (+ z y) in z
2.590 * [taylor]: Taking taylor expansion of z in z
2.590 * [backup-simplify]: Simplify 0 into 0
2.590 * [backup-simplify]: Simplify 1 into 1
2.590 * [taylor]: Taking taylor expansion of y in z
2.590 * [backup-simplify]: Simplify y into y
2.590 * [backup-simplify]: Simplify (+ 0 y) into y
2.590 * [backup-simplify]: Simplify (+ x y) into (+ x y)
2.590 * [backup-simplify]: Simplify (sqrt (+ x y)) into (sqrt (+ x y))
2.590 * [backup-simplify]: Simplify (+ 1 0) into 1
2.590 * [backup-simplify]: Simplify (+ 0 1) into 1
2.591 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt (+ x y)))) into (* 1/2 (sqrt (/ 1 (+ x y))))
2.591 * [taylor]: Taking taylor expansion of (sqrt (+ x (+ z y))) in y
2.591 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in y
2.591 * [taylor]: Taking taylor expansion of x in y
2.591 * [backup-simplify]: Simplify x into x
2.591 * [taylor]: Taking taylor expansion of (+ z y) in y
2.591 * [taylor]: Taking taylor expansion of z in y
2.591 * [backup-simplify]: Simplify z into z
2.591 * [taylor]: Taking taylor expansion of y in y
2.591 * [backup-simplify]: Simplify 0 into 0
2.591 * [backup-simplify]: Simplify 1 into 1
2.591 * [backup-simplify]: Simplify (+ z 0) into z
2.591 * [backup-simplify]: Simplify (+ x z) into (+ x z)
2.591 * [backup-simplify]: Simplify (sqrt (+ x z)) into (sqrt (+ x z))
2.593 * [backup-simplify]: Simplify (+ 0 1) into 1
2.593 * [backup-simplify]: Simplify (+ 0 1) into 1
2.593 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt (+ x z)))) into (* 1/2 (sqrt (/ 1 (+ x z))))
2.593 * [taylor]: Taking taylor expansion of (sqrt (+ x (+ z y))) in x
2.593 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
2.593 * [taylor]: Taking taylor expansion of x in x
2.593 * [backup-simplify]: Simplify 0 into 0
2.593 * [backup-simplify]: Simplify 1 into 1
2.593 * [taylor]: Taking taylor expansion of (+ z y) in x
2.593 * [taylor]: Taking taylor expansion of z in x
2.593 * [backup-simplify]: Simplify z into z
2.593 * [taylor]: Taking taylor expansion of y in x
2.593 * [backup-simplify]: Simplify y into y
2.593 * [backup-simplify]: Simplify (+ z y) into (+ z y)
2.593 * [backup-simplify]: Simplify (+ 0 (+ z y)) into (+ z y)
2.593 * [backup-simplify]: Simplify (sqrt (+ z y)) into (sqrt (+ z y))
2.594 * [backup-simplify]: Simplify (+ 0 0) into 0
2.594 * [backup-simplify]: Simplify (+ 1 0) into 1
2.594 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt (+ z y)))) into (* 1/2 (sqrt (/ 1 (+ z y))))
2.594 * [taylor]: Taking taylor expansion of (sqrt (+ x (+ z y))) in x
2.594 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
2.594 * [taylor]: Taking taylor expansion of x in x
2.594 * [backup-simplify]: Simplify 0 into 0
2.594 * [backup-simplify]: Simplify 1 into 1
2.594 * [taylor]: Taking taylor expansion of (+ z y) in x
2.594 * [taylor]: Taking taylor expansion of z in x
2.594 * [backup-simplify]: Simplify z into z
2.594 * [taylor]: Taking taylor expansion of y in x
2.594 * [backup-simplify]: Simplify y into y
2.594 * [backup-simplify]: Simplify (+ z y) into (+ z y)
2.594 * [backup-simplify]: Simplify (+ 0 (+ z y)) into (+ z y)
2.594 * [backup-simplify]: Simplify (sqrt (+ z y)) into (sqrt (+ z y))
2.595 * [backup-simplify]: Simplify (+ 0 0) into 0
2.595 * [backup-simplify]: Simplify (+ 1 0) into 1
2.595 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt (+ z y)))) into (* 1/2 (sqrt (/ 1 (+ z y))))
2.595 * [taylor]: Taking taylor expansion of (sqrt (+ z y)) in y
2.595 * [taylor]: Taking taylor expansion of (+ z y) in y
2.595 * [taylor]: Taking taylor expansion of z in y
2.595 * [backup-simplify]: Simplify z into z
2.595 * [taylor]: Taking taylor expansion of y in y
2.595 * [backup-simplify]: Simplify 0 into 0
2.595 * [backup-simplify]: Simplify 1 into 1
2.595 * [backup-simplify]: Simplify (+ z 0) into z
2.595 * [backup-simplify]: Simplify (sqrt z) into (sqrt z)
2.595 * [backup-simplify]: Simplify (+ 0 1) into 1
2.595 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt z))) into (* 1/2 (sqrt (/ 1 z)))
2.595 * [taylor]: Taking taylor expansion of (sqrt z) in z
2.596 * [taylor]: Taking taylor expansion of z in z
2.596 * [backup-simplify]: Simplify 0 into 0
2.596 * [backup-simplify]: Simplify 1 into 1
2.596 * [backup-simplify]: Simplify (sqrt 0) into 0
2.597 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
2.597 * [backup-simplify]: Simplify 0 into 0
2.597 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ 1 (+ z y)))) in y
2.597 * [taylor]: Taking taylor expansion of 1/2 in y
2.597 * [backup-simplify]: Simplify 1/2 into 1/2
2.597 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ z y))) in y
2.597 * [taylor]: Taking taylor expansion of (/ 1 (+ z y)) in y
2.597 * [taylor]: Taking taylor expansion of (+ z y) in y
2.597 * [taylor]: Taking taylor expansion of z in y
2.597 * [backup-simplify]: Simplify z into z
2.597 * [taylor]: Taking taylor expansion of y in y
2.597 * [backup-simplify]: Simplify 0 into 0
2.597 * [backup-simplify]: Simplify 1 into 1
2.597 * [backup-simplify]: Simplify (+ z 0) into z
2.597 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.597 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z))
2.597 * [backup-simplify]: Simplify (+ 0 1) into 1
2.597 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 1 z)))) into (- (/ 1 (pow z 2)))
2.598 * [backup-simplify]: Simplify (/ (- (/ 1 (pow z 2))) (* 2 (sqrt (/ 1 z)))) into (* -1/2 (sqrt (/ 1 (pow z 3))))
2.598 * [backup-simplify]: Simplify (* 1/2 (sqrt (/ 1 z))) into (* 1/2 (sqrt (/ 1 z)))
2.598 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ 1 z))) in z
2.598 * [taylor]: Taking taylor expansion of 1/2 in z
2.598 * [backup-simplify]: Simplify 1/2 into 1/2
2.598 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
2.598 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.598 * [taylor]: Taking taylor expansion of z in z
2.598 * [backup-simplify]: Simplify 0 into 0
2.598 * [backup-simplify]: Simplify 1 into 1
2.598 * [backup-simplify]: Simplify (/ 1 1) into 1
2.598 * [backup-simplify]: Simplify (sqrt 0) into 0
2.599 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
2.600 * [backup-simplify]: Simplify (+ (* 1/2 +nan.0) (* 0 0)) into (- +nan.0)
2.600 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
2.600 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ 1 z))) in z
2.600 * [taylor]: Taking taylor expansion of 1/2 in z
2.600 * [backup-simplify]: Simplify 1/2 into 1/2
2.600 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
2.600 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.600 * [taylor]: Taking taylor expansion of z in z
2.600 * [backup-simplify]: Simplify 0 into 0
2.600 * [backup-simplify]: Simplify 1 into 1
2.601 * [backup-simplify]: Simplify (/ 1 1) into 1
2.601 * [backup-simplify]: Simplify (sqrt 0) into 0
2.602 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
2.603 * [backup-simplify]: Simplify (+ (* 1/2 +nan.0) (* 0 0)) into (- +nan.0)
2.603 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
2.603 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.604 * [backup-simplify]: Simplify (+ (* +nan.0 (* z (* 1 1))) (+ (* (- +nan.0) (* 1 (* y 1))) (* (- +nan.0) (* 1 (* 1 x))))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 z) (- (* +nan.0 y))))))
2.604 * [backup-simplify]: Simplify (sqrt (+ (+ (/ 1 x) (/ 1 y)) (/ 1 z))) into (sqrt (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))))
2.604 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in (x y z) around 0
2.604 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in z
2.604 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in z
2.604 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.604 * [taylor]: Taking taylor expansion of z in z
2.604 * [backup-simplify]: Simplify 0 into 0
2.604 * [backup-simplify]: Simplify 1 into 1
2.604 * [backup-simplify]: Simplify (/ 1 1) into 1
2.604 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z
2.604 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.604 * [taylor]: Taking taylor expansion of x in z
2.604 * [backup-simplify]: Simplify x into x
2.604 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.604 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.604 * [taylor]: Taking taylor expansion of y in z
2.604 * [backup-simplify]: Simplify y into y
2.604 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.605 * [backup-simplify]: Simplify (+ 1 0) into 1
2.605 * [backup-simplify]: Simplify (sqrt 0) into 0
2.606 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
2.606 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in y
2.606 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in y
2.606 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.606 * [taylor]: Taking taylor expansion of z in y
2.606 * [backup-simplify]: Simplify z into z
2.606 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.606 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
2.606 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.606 * [taylor]: Taking taylor expansion of x in y
2.606 * [backup-simplify]: Simplify x into x
2.606 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.606 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.606 * [taylor]: Taking taylor expansion of y in y
2.606 * [backup-simplify]: Simplify 0 into 0
2.606 * [backup-simplify]: Simplify 1 into 1
2.606 * [backup-simplify]: Simplify (/ 1 1) into 1
2.607 * [backup-simplify]: Simplify (+ 0 1) into 1
2.607 * [backup-simplify]: Simplify (+ 0 1) into 1
2.607 * [backup-simplify]: Simplify (sqrt 0) into 0
2.608 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
2.608 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in x
2.608 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x
2.608 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.608 * [taylor]: Taking taylor expansion of z in x
2.608 * [backup-simplify]: Simplify z into z
2.608 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.608 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
2.608 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.608 * [taylor]: Taking taylor expansion of x in x
2.608 * [backup-simplify]: Simplify 0 into 0
2.608 * [backup-simplify]: Simplify 1 into 1
2.608 * [backup-simplify]: Simplify (/ 1 1) into 1
2.608 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.608 * [taylor]: Taking taylor expansion of y in x
2.608 * [backup-simplify]: Simplify y into y
2.608 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.609 * [backup-simplify]: Simplify (+ 1 0) into 1
2.609 * [backup-simplify]: Simplify (+ 0 1) into 1
2.609 * [backup-simplify]: Simplify (sqrt 0) into 0
2.610 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
2.610 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in x
2.610 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x
2.610 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.610 * [taylor]: Taking taylor expansion of z in x
2.610 * [backup-simplify]: Simplify z into z
2.610 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.610 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
2.610 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.610 * [taylor]: Taking taylor expansion of x in x
2.610 * [backup-simplify]: Simplify 0 into 0
2.610 * [backup-simplify]: Simplify 1 into 1
2.610 * [backup-simplify]: Simplify (/ 1 1) into 1
2.610 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.610 * [taylor]: Taking taylor expansion of y in x
2.610 * [backup-simplify]: Simplify y into y
2.610 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.611 * [backup-simplify]: Simplify (+ 1 0) into 1
2.611 * [backup-simplify]: Simplify (+ 0 1) into 1
2.611 * [backup-simplify]: Simplify (sqrt 0) into 0
2.612 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
2.612 * [taylor]: Taking taylor expansion of 0 in y
2.612 * [backup-simplify]: Simplify 0 into 0
2.612 * [taylor]: Taking taylor expansion of +nan.0 in y
2.612 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.612 * [taylor]: Taking taylor expansion of 0 in z
2.612 * [backup-simplify]: Simplify 0 into 0
2.613 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.613 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
2.613 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
2.614 * [backup-simplify]: Simplify (/ (- (+ (/ 1 y) (/ 1 z)) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (- (+ (/ 1 y) (/ 1 z)) +nan.0))
2.614 * [taylor]: Taking taylor expansion of (* +nan.0 (- (+ (/ 1 y) (/ 1 z)) +nan.0)) in y
2.614 * [taylor]: Taking taylor expansion of +nan.0 in y
2.614 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.614 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) +nan.0) in y
2.614 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
2.614 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.614 * [taylor]: Taking taylor expansion of y in y
2.614 * [backup-simplify]: Simplify 0 into 0
2.614 * [backup-simplify]: Simplify 1 into 1
2.614 * [backup-simplify]: Simplify (/ 1 1) into 1
2.614 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.614 * [taylor]: Taking taylor expansion of z in y
2.614 * [backup-simplify]: Simplify z into z
2.614 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.614 * [taylor]: Taking taylor expansion of +nan.0 in y
2.614 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.614 * [backup-simplify]: Simplify (+ 1 0) into 1
2.615 * [backup-simplify]: Simplify (+ 1 0) into 1
2.615 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
2.615 * [taylor]: Taking taylor expansion of +nan.0 in z
2.615 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.615 * [taylor]: Taking taylor expansion of +nan.0 in z
2.615 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.615 * [taylor]: Taking taylor expansion of 0 in z
2.615 * [backup-simplify]: Simplify 0 into 0
2.615 * [backup-simplify]: Simplify 0 into 0
2.615 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.616 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.616 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.616 * [backup-simplify]: Simplify (+ 0 0) into 0
2.616 * [backup-simplify]: Simplify (+ 0 0) into 0
2.617 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (- (+ (/ 1 y) (/ 1 z)) +nan.0)))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))))
2.617 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))))) in y
2.617 * [taylor]: Taking taylor expansion of +nan.0 in y
2.617 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.617 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) in y
2.617 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
2.617 * [taylor]: Taking taylor expansion of +nan.0 in y
2.617 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.617 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.617 * [taylor]: Taking taylor expansion of y in y
2.617 * [backup-simplify]: Simplify 0 into 0
2.617 * [backup-simplify]: Simplify 1 into 1
2.617 * [backup-simplify]: Simplify (/ 1 1) into 1
2.617 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))) in y
2.617 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 z)))) in y
2.617 * [taylor]: Taking taylor expansion of +nan.0 in y
2.617 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.617 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in y
2.617 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in y
2.617 * [taylor]: Taking taylor expansion of +nan.0 in y
2.617 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.617 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.617 * [taylor]: Taking taylor expansion of z in y
2.617 * [backup-simplify]: Simplify z into z
2.617 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.618 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
2.618 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
2.618 * [backup-simplify]: Simplify (* +nan.0 (- +nan.0)) into +nan.0
2.618 * [taylor]: Taking taylor expansion of +nan.0 in z
2.619 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.619 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.619 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
2.619 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
2.620 * [backup-simplify]: Simplify (+ (/ 1 z) (- +nan.0)) into (- (/ 1 z) +nan.0)
2.620 * [backup-simplify]: Simplify (+ (* +nan.0 (- (/ 1 z) +nan.0)) (* 0 1)) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
2.620 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))) in z
2.620 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 z)))) in z
2.620 * [taylor]: Taking taylor expansion of +nan.0 in z
2.620 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.620 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z
2.620 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z
2.620 * [taylor]: Taking taylor expansion of +nan.0 in z
2.620 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.620 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.620 * [taylor]: Taking taylor expansion of z in z
2.620 * [backup-simplify]: Simplify 0 into 0
2.620 * [backup-simplify]: Simplify 1 into 1
2.620 * [backup-simplify]: Simplify (/ 1 1) into 1
2.621 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
2.621 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
2.621 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
2.622 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
2.622 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
2.623 * [taylor]: Taking taylor expansion of 0 in z
2.623 * [backup-simplify]: Simplify 0 into 0
2.623 * [taylor]: Taking taylor expansion of 0 in z
2.623 * [backup-simplify]: Simplify 0 into 0
2.623 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.623 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.623 * [backup-simplify]: Simplify (+ +nan.0 (+ (* +nan.0 (* 1 (* (/ 1 (/ 1 y)) (/ 1 x)))) (* (- +nan.0) (* (/ 1 (/ 1 z)) (* 1 (/ 1 x)))))) into (- (+ (* +nan.0 (/ z x)) (- (+ (* +nan.0 (/ y x)) (- +nan.0)))))
2.624 * [backup-simplify]: Simplify (sqrt (+ (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z)))) into (sqrt (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))))
2.624 * [approximate]: Taking taylor expansion of (sqrt (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in (x y z) around 0
2.624 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in z
2.624 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in z
2.624 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in z
2.624 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.624 * [taylor]: Taking taylor expansion of z in z
2.624 * [backup-simplify]: Simplify 0 into 0
2.624 * [backup-simplify]: Simplify 1 into 1
2.624 * [backup-simplify]: Simplify (/ 1 1) into 1
2.624 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z
2.624 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.624 * [taylor]: Taking taylor expansion of x in z
2.624 * [backup-simplify]: Simplify x into x
2.624 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.624 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.624 * [taylor]: Taking taylor expansion of y in z
2.625 * [backup-simplify]: Simplify y into y
2.625 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.625 * [backup-simplify]: Simplify (+ 1 0) into 1
2.625 * [backup-simplify]: Simplify (- 1) into -1
2.626 * [backup-simplify]: Simplify (sqrt 0) into 0
2.626 * [backup-simplify]: Simplify (- 1) into -1
2.627 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.627 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in y
2.628 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in y
2.628 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in y
2.628 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.628 * [taylor]: Taking taylor expansion of z in y
2.628 * [backup-simplify]: Simplify z into z
2.628 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.628 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
2.628 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.628 * [taylor]: Taking taylor expansion of x in y
2.628 * [backup-simplify]: Simplify x into x
2.628 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.628 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.628 * [taylor]: Taking taylor expansion of y in y
2.628 * [backup-simplify]: Simplify 0 into 0
2.628 * [backup-simplify]: Simplify 1 into 1
2.628 * [backup-simplify]: Simplify (/ 1 1) into 1
2.629 * [backup-simplify]: Simplify (+ 0 1) into 1
2.629 * [backup-simplify]: Simplify (+ 0 1) into 1
2.629 * [backup-simplify]: Simplify (- 1) into -1
2.629 * [backup-simplify]: Simplify (sqrt 0) into 0
2.630 * [backup-simplify]: Simplify (- 1) into -1
2.630 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.630 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in x
2.630 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in x
2.630 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x
2.631 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.631 * [taylor]: Taking taylor expansion of z in x
2.631 * [backup-simplify]: Simplify z into z
2.631 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.631 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
2.631 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.631 * [taylor]: Taking taylor expansion of x in x
2.631 * [backup-simplify]: Simplify 0 into 0
2.631 * [backup-simplify]: Simplify 1 into 1
2.631 * [backup-simplify]: Simplify (/ 1 1) into 1
2.631 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.631 * [taylor]: Taking taylor expansion of y in x
2.631 * [backup-simplify]: Simplify y into y
2.631 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.631 * [backup-simplify]: Simplify (+ 1 0) into 1
2.632 * [backup-simplify]: Simplify (+ 0 1) into 1
2.632 * [backup-simplify]: Simplify (- 1) into -1
2.632 * [backup-simplify]: Simplify (sqrt 0) into 0
2.632 * [backup-simplify]: Simplify (- 1) into -1
2.633 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.633 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))))) in x
2.633 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in x
2.633 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x
2.633 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.633 * [taylor]: Taking taylor expansion of z in x
2.633 * [backup-simplify]: Simplify z into z
2.633 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.633 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
2.633 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.633 * [taylor]: Taking taylor expansion of x in x
2.633 * [backup-simplify]: Simplify 0 into 0
2.633 * [backup-simplify]: Simplify 1 into 1
2.633 * [backup-simplify]: Simplify (/ 1 1) into 1
2.633 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.633 * [taylor]: Taking taylor expansion of y in x
2.634 * [backup-simplify]: Simplify y into y
2.634 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.634 * [backup-simplify]: Simplify (+ 1 0) into 1
2.634 * [backup-simplify]: Simplify (+ 0 1) into 1
2.634 * [backup-simplify]: Simplify (- 1) into -1
2.635 * [backup-simplify]: Simplify (sqrt 0) into 0
2.635 * [backup-simplify]: Simplify (- 1) into -1
2.636 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
2.636 * [taylor]: Taking taylor expansion of 0 in y
2.636 * [backup-simplify]: Simplify 0 into 0
2.636 * [taylor]: Taking taylor expansion of +nan.0 in y
2.636 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.636 * [taylor]: Taking taylor expansion of 0 in z
2.636 * [backup-simplify]: Simplify 0 into 0
2.636 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.636 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
2.636 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
2.636 * [backup-simplify]: Simplify (- (+ (/ 1 y) (/ 1 z))) into (- (+ (/ 1 y) (/ 1 z)))
2.637 * [backup-simplify]: Simplify (/ (- (- (+ (/ 1 y) (/ 1 z))) (pow +nan.0 2) (+)) (* 2 0)) into (* +nan.0 (+ (/ 1 z) (- (/ 1 y) +nan.0)))
2.637 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 z) (- (/ 1 y) +nan.0))) in y
2.637 * [taylor]: Taking taylor expansion of +nan.0 in y
2.637 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.637 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (- (/ 1 y) +nan.0)) in y
2.637 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.637 * [taylor]: Taking taylor expansion of z in y
2.637 * [backup-simplify]: Simplify z into z
2.637 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.637 * [taylor]: Taking taylor expansion of (- (/ 1 y) +nan.0) in y
2.637 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.638 * [taylor]: Taking taylor expansion of y in y
2.638 * [backup-simplify]: Simplify 0 into 0
2.638 * [backup-simplify]: Simplify 1 into 1
2.638 * [backup-simplify]: Simplify (/ 1 1) into 1
2.638 * [taylor]: Taking taylor expansion of +nan.0 in y
2.638 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.638 * [backup-simplify]: Simplify (+ 1 0) into 1
2.638 * [backup-simplify]: Simplify (+ 0 1) into 1
2.639 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
2.639 * [taylor]: Taking taylor expansion of +nan.0 in z
2.639 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.639 * [taylor]: Taking taylor expansion of +nan.0 in z
2.639 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.639 * [taylor]: Taking taylor expansion of 0 in z
2.639 * [backup-simplify]: Simplify 0 into 0
2.639 * [backup-simplify]: Simplify 0 into 0
2.639 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.640 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.640 * [backup-simplify]: Simplify (+ 0 0) into 0
2.640 * [backup-simplify]: Simplify (+ 0 0) into 0
2.640 * [backup-simplify]: Simplify (- 0) into 0
2.641 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 (* +nan.0 (+ (/ 1 z) (- (/ 1 y) +nan.0))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))))
2.641 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))))) in y
2.641 * [taylor]: Taking taylor expansion of +nan.0 in y
2.641 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.641 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))) in y
2.641 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
2.641 * [taylor]: Taking taylor expansion of +nan.0 in y
2.641 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.641 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.641 * [taylor]: Taking taylor expansion of y in y
2.641 * [backup-simplify]: Simplify 0 into 0
2.641 * [backup-simplify]: Simplify 1 into 1
2.642 * [backup-simplify]: Simplify (/ 1 1) into 1
2.642 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))) in y
2.642 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 z)))) in y
2.642 * [taylor]: Taking taylor expansion of +nan.0 in y
2.642 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.642 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in y
2.642 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in y
2.642 * [taylor]: Taking taylor expansion of +nan.0 in y
2.642 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.642 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.642 * [taylor]: Taking taylor expansion of z in y
2.642 * [backup-simplify]: Simplify z into z
2.642 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.642 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
2.643 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
2.644 * [backup-simplify]: Simplify (* +nan.0 (- +nan.0)) into +nan.0
2.644 * [taylor]: Taking taylor expansion of +nan.0 in z
2.644 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.645 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
2.645 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
2.646 * [backup-simplify]: Simplify (+ (/ 1 z) (- +nan.0)) into (- (/ 1 z) +nan.0)
2.646 * [backup-simplify]: Simplify (+ (* +nan.0 (- (/ 1 z) +nan.0)) (* 0 1)) into (- (+ +nan.0 (- (* +nan.0 (/ 1 z)))))
2.646 * [taylor]: Taking taylor expansion of (- (+ +nan.0 (- (* +nan.0 (/ 1 z))))) in z
2.646 * [taylor]: Taking taylor expansion of (+ +nan.0 (- (* +nan.0 (/ 1 z)))) in z
2.646 * [taylor]: Taking taylor expansion of +nan.0 in z
2.646 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.646 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z
2.646 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z
2.646 * [taylor]: Taking taylor expansion of +nan.0 in z
2.646 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.646 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.646 * [taylor]: Taking taylor expansion of z in z
2.646 * [backup-simplify]: Simplify 0 into 0
2.647 * [backup-simplify]: Simplify 1 into 1
2.647 * [backup-simplify]: Simplify (/ 1 1) into 1
2.647 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
2.648 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
2.648 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
2.649 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
2.649 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
2.649 * [taylor]: Taking taylor expansion of 0 in z
2.649 * [backup-simplify]: Simplify 0 into 0
2.649 * [taylor]: Taking taylor expansion of 0 in z
2.649 * [backup-simplify]: Simplify 0 into 0
2.649 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.649 * [backup-simplify]: Simplify +nan.0 into +nan.0
2.650 * [backup-simplify]: Simplify (+ +nan.0 (+ (* +nan.0 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (- x))))) (* (- +nan.0) (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (- x))))))) into (- (+ (* +nan.0 (/ z x)) (- (+ (* +nan.0 (/ y x)) (- +nan.0)))))
2.650 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
2.650 * [backup-simplify]: Simplify (+ (+ x y) z) into (+ x (+ z y))
2.650 * [approximate]: Taking taylor expansion of (+ x (+ z y)) in (x y z) around 0
2.650 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in z
2.650 * [taylor]: Taking taylor expansion of x in z
2.650 * [backup-simplify]: Simplify x into x
2.650 * [taylor]: Taking taylor expansion of (+ z y) in z
2.650 * [taylor]: Taking taylor expansion of z in z
2.650 * [backup-simplify]: Simplify 0 into 0
2.650 * [backup-simplify]: Simplify 1 into 1
2.650 * [taylor]: Taking taylor expansion of y in z
2.650 * [backup-simplify]: Simplify y into y
2.650 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in y
2.650 * [taylor]: Taking taylor expansion of x in y
2.650 * [backup-simplify]: Simplify x into x
2.650 * [taylor]: Taking taylor expansion of (+ z y) in y
2.650 * [taylor]: Taking taylor expansion of z in y
2.650 * [backup-simplify]: Simplify z into z
2.650 * [taylor]: Taking taylor expansion of y in y
2.650 * [backup-simplify]: Simplify 0 into 0
2.650 * [backup-simplify]: Simplify 1 into 1
2.650 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
2.650 * [taylor]: Taking taylor expansion of x in x
2.650 * [backup-simplify]: Simplify 0 into 0
2.650 * [backup-simplify]: Simplify 1 into 1
2.650 * [taylor]: Taking taylor expansion of (+ z y) in x
2.650 * [taylor]: Taking taylor expansion of z in x
2.650 * [backup-simplify]: Simplify z into z
2.651 * [taylor]: Taking taylor expansion of y in x
2.651 * [backup-simplify]: Simplify y into y
2.651 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
2.651 * [taylor]: Taking taylor expansion of x in x
2.651 * [backup-simplify]: Simplify 0 into 0
2.651 * [backup-simplify]: Simplify 1 into 1
2.651 * [taylor]: Taking taylor expansion of (+ z y) in x
2.651 * [taylor]: Taking taylor expansion of z in x
2.651 * [backup-simplify]: Simplify z into z
2.651 * [taylor]: Taking taylor expansion of y in x
2.651 * [backup-simplify]: Simplify y into y
2.651 * [backup-simplify]: Simplify (+ z y) into (+ z y)
2.651 * [backup-simplify]: Simplify (+ 0 (+ z y)) into (+ z y)
2.651 * [taylor]: Taking taylor expansion of (+ z y) in y
2.651 * [taylor]: Taking taylor expansion of z in y
2.651 * [backup-simplify]: Simplify z into z
2.651 * [taylor]: Taking taylor expansion of y in y
2.651 * [backup-simplify]: Simplify 0 into 0
2.651 * [backup-simplify]: Simplify 1 into 1
2.651 * [backup-simplify]: Simplify (+ z 0) into z
2.651 * [taylor]: Taking taylor expansion of z in z
2.651 * [backup-simplify]: Simplify 0 into 0
2.651 * [backup-simplify]: Simplify 1 into 1
2.651 * [backup-simplify]: Simplify 0 into 0
2.651 * [backup-simplify]: Simplify (+ 0 0) into 0
2.651 * [backup-simplify]: Simplify (+ 1 0) into 1
2.651 * [taylor]: Taking taylor expansion of 1 in y
2.651 * [backup-simplify]: Simplify 1 into 1
2.652 * [taylor]: Taking taylor expansion of 1 in z
2.652 * [backup-simplify]: Simplify 1 into 1
2.652 * [backup-simplify]: Simplify 1 into 1
2.652 * [backup-simplify]: Simplify (+ 0 1) into 1
2.652 * [taylor]: Taking taylor expansion of 1 in z
2.652 * [backup-simplify]: Simplify 1 into 1
2.652 * [backup-simplify]: Simplify 1 into 1
2.652 * [backup-simplify]: Simplify 1 into 1
2.652 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 1))) (+ (* 1 (* 1 (* y 1))) (* 1 (* 1 (* 1 x))))) into (+ x (+ z y))
2.652 * [backup-simplify]: Simplify (+ (+ (/ 1 x) (/ 1 y)) (/ 1 z)) into (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))
2.652 * [approximate]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in (x y z) around 0
2.652 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in z
2.652 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.652 * [taylor]: Taking taylor expansion of z in z
2.652 * [backup-simplify]: Simplify 0 into 0
2.653 * [backup-simplify]: Simplify 1 into 1
2.653 * [backup-simplify]: Simplify (/ 1 1) into 1
2.653 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z
2.653 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.653 * [taylor]: Taking taylor expansion of x in z
2.653 * [backup-simplify]: Simplify x into x
2.653 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.653 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.653 * [taylor]: Taking taylor expansion of y in z
2.653 * [backup-simplify]: Simplify y into y
2.653 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.653 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in y
2.653 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.653 * [taylor]: Taking taylor expansion of z in y
2.653 * [backup-simplify]: Simplify z into z
2.653 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.653 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
2.653 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.653 * [taylor]: Taking taylor expansion of x in y
2.653 * [backup-simplify]: Simplify x into x
2.653 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.653 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.653 * [taylor]: Taking taylor expansion of y in y
2.653 * [backup-simplify]: Simplify 0 into 0
2.653 * [backup-simplify]: Simplify 1 into 1
2.653 * [backup-simplify]: Simplify (/ 1 1) into 1
2.653 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x
2.653 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.653 * [taylor]: Taking taylor expansion of z in x
2.654 * [backup-simplify]: Simplify z into z
2.654 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.654 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
2.654 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.654 * [taylor]: Taking taylor expansion of x in x
2.654 * [backup-simplify]: Simplify 0 into 0
2.654 * [backup-simplify]: Simplify 1 into 1
2.654 * [backup-simplify]: Simplify (/ 1 1) into 1
2.654 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.654 * [taylor]: Taking taylor expansion of y in x
2.654 * [backup-simplify]: Simplify y into y
2.654 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.654 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x
2.654 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.654 * [taylor]: Taking taylor expansion of z in x
2.654 * [backup-simplify]: Simplify z into z
2.654 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.654 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
2.654 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.654 * [taylor]: Taking taylor expansion of x in x
2.654 * [backup-simplify]: Simplify 0 into 0
2.654 * [backup-simplify]: Simplify 1 into 1
2.654 * [backup-simplify]: Simplify (/ 1 1) into 1
2.654 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.654 * [taylor]: Taking taylor expansion of y in x
2.654 * [backup-simplify]: Simplify y into y
2.654 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.655 * [backup-simplify]: Simplify (+ 1 0) into 1
2.655 * [backup-simplify]: Simplify (+ 0 1) into 1
2.655 * [taylor]: Taking taylor expansion of 1 in y
2.655 * [backup-simplify]: Simplify 1 into 1
2.656 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.656 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
2.656 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
2.656 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
2.656 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.656 * [taylor]: Taking taylor expansion of y in y
2.656 * [backup-simplify]: Simplify 0 into 0
2.656 * [backup-simplify]: Simplify 1 into 1
2.656 * [backup-simplify]: Simplify (/ 1 1) into 1
2.656 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.656 * [taylor]: Taking taylor expansion of z in y
2.656 * [backup-simplify]: Simplify z into z
2.656 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.656 * [backup-simplify]: Simplify (+ 1 0) into 1
2.656 * [taylor]: Taking taylor expansion of 1 in z
2.656 * [backup-simplify]: Simplify 1 into 1
2.656 * [taylor]: Taking taylor expansion of 1 in z
2.656 * [backup-simplify]: Simplify 1 into 1
2.657 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.657 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.657 * [backup-simplify]: Simplify (+ 0 0) into 0
2.658 * [backup-simplify]: Simplify (+ 0 0) into 0
2.658 * [taylor]: Taking taylor expansion of 0 in y
2.658 * [backup-simplify]: Simplify 0 into 0
2.658 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.658 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
2.658 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.658 * [taylor]: Taking taylor expansion of z in z
2.658 * [backup-simplify]: Simplify 0 into 0
2.658 * [backup-simplify]: Simplify 1 into 1
2.659 * [backup-simplify]: Simplify (/ 1 1) into 1
2.659 * [backup-simplify]: Simplify 1 into 1
2.659 * [taylor]: Taking taylor expansion of 0 in z
2.659 * [backup-simplify]: Simplify 0 into 0
2.659 * [backup-simplify]: Simplify 1 into 1
2.659 * [backup-simplify]: Simplify 1 into 1
2.659 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 x))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) 1))) (* 1 (* (/ 1 (/ 1 z)) (* 1 1))))) into (+ x (+ z y))
2.659 * [backup-simplify]: Simplify (+ (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) into (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))))
2.659 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in (x y z) around 0
2.659 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in z
2.659 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in z
2.659 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.659 * [taylor]: Taking taylor expansion of z in z
2.659 * [backup-simplify]: Simplify 0 into 0
2.660 * [backup-simplify]: Simplify 1 into 1
2.660 * [backup-simplify]: Simplify (/ 1 1) into 1
2.660 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z
2.660 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.660 * [taylor]: Taking taylor expansion of x in z
2.660 * [backup-simplify]: Simplify x into x
2.660 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.660 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.660 * [taylor]: Taking taylor expansion of y in z
2.660 * [backup-simplify]: Simplify y into y
2.660 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.660 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in y
2.660 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in y
2.660 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.660 * [taylor]: Taking taylor expansion of z in y
2.660 * [backup-simplify]: Simplify z into z
2.660 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.660 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
2.660 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.660 * [taylor]: Taking taylor expansion of x in y
2.660 * [backup-simplify]: Simplify x into x
2.660 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.660 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.660 * [taylor]: Taking taylor expansion of y in y
2.660 * [backup-simplify]: Simplify 0 into 0
2.660 * [backup-simplify]: Simplify 1 into 1
2.660 * [backup-simplify]: Simplify (/ 1 1) into 1
2.660 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in x
2.660 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x
2.661 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.661 * [taylor]: Taking taylor expansion of z in x
2.661 * [backup-simplify]: Simplify z into z
2.661 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.661 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
2.661 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.661 * [taylor]: Taking taylor expansion of x in x
2.661 * [backup-simplify]: Simplify 0 into 0
2.661 * [backup-simplify]: Simplify 1 into 1
2.661 * [backup-simplify]: Simplify (/ 1 1) into 1
2.661 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.661 * [taylor]: Taking taylor expansion of y in x
2.661 * [backup-simplify]: Simplify y into y
2.661 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.661 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 x) (/ 1 y)))) in x
2.661 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 x) (/ 1 y))) in x
2.661 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.661 * [taylor]: Taking taylor expansion of z in x
2.661 * [backup-simplify]: Simplify z into z
2.661 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.661 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
2.661 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.661 * [taylor]: Taking taylor expansion of x in x
2.661 * [backup-simplify]: Simplify 0 into 0
2.661 * [backup-simplify]: Simplify 1 into 1
2.661 * [backup-simplify]: Simplify (/ 1 1) into 1
2.661 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.661 * [taylor]: Taking taylor expansion of y in x
2.662 * [backup-simplify]: Simplify y into y
2.662 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.662 * [backup-simplify]: Simplify (+ 1 0) into 1
2.662 * [backup-simplify]: Simplify (+ 0 1) into 1
2.662 * [backup-simplify]: Simplify (- 1) into -1
2.662 * [taylor]: Taking taylor expansion of -1 in y
2.662 * [backup-simplify]: Simplify -1 into -1
2.663 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.663 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
2.663 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
2.663 * [backup-simplify]: Simplify (- (+ (/ 1 y) (/ 1 z))) into (- (+ (/ 1 y) (/ 1 z)))
2.663 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z))) in y
2.663 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
2.663 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.663 * [taylor]: Taking taylor expansion of y in y
2.663 * [backup-simplify]: Simplify 0 into 0
2.663 * [backup-simplify]: Simplify 1 into 1
2.663 * [backup-simplify]: Simplify (/ 1 1) into 1
2.664 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.664 * [taylor]: Taking taylor expansion of z in y
2.664 * [backup-simplify]: Simplify z into z
2.664 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.664 * [backup-simplify]: Simplify (+ 1 0) into 1
2.664 * [backup-simplify]: Simplify (- 1) into -1
2.664 * [taylor]: Taking taylor expansion of -1 in z
2.664 * [backup-simplify]: Simplify -1 into -1
2.664 * [taylor]: Taking taylor expansion of -1 in z
2.664 * [backup-simplify]: Simplify -1 into -1
2.664 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.665 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.665 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.665 * [backup-simplify]: Simplify (+ 0 0) into 0
2.665 * [backup-simplify]: Simplify (+ 0 0) into 0
2.666 * [backup-simplify]: Simplify (- 0) into 0
2.666 * [taylor]: Taking taylor expansion of 0 in y
2.666 * [backup-simplify]: Simplify 0 into 0
2.666 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.666 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
2.666 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
2.666 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
2.666 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.666 * [taylor]: Taking taylor expansion of z in z
2.666 * [backup-simplify]: Simplify 0 into 0
2.666 * [backup-simplify]: Simplify 1 into 1
2.667 * [backup-simplify]: Simplify (/ 1 1) into 1
2.667 * [backup-simplify]: Simplify (- 1) into -1
2.667 * [backup-simplify]: Simplify -1 into -1
2.667 * [taylor]: Taking taylor expansion of 0 in z
2.667 * [backup-simplify]: Simplify 0 into 0
2.667 * [backup-simplify]: Simplify -1 into -1
2.667 * [backup-simplify]: Simplify -1 into -1
2.667 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- y))) 1))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 1))))) into (+ x (+ z y))
2.667 * * * [progress]: simplifying candidates
2.669 * [simplify]: Simplifying:
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (+ (+ x y) z) (+ (+ x y) z))
  (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z)))
  (* (+ (+ x y) z) (+ (+ x y) z))
  (+ 1 1)
  (+ (log (sqrt (+ (+ x y) z))) (log (sqrt (+ (+ x y) z))))
  (log (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z))))
  (exp (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z))))
  (* (* (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z))) (sqrt (+ (+ x y) z))) (* (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z))) (sqrt (+ (+ x y) z))))
  (* (cbrt (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z)))) (cbrt (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z)))))
  (cbrt (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z))))
  (* (* (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z))) (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z)))) (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z))))
  (* (+ (+ x y) z) (+ (+ x y) z))
  (sqrt (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z))))
  (sqrt (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z))))
  (* (sqrt (+ (pow (+ x y) 3) (pow z 3))) (sqrt (+ (pow (+ x y) 3) (pow z 3))))
  (* (sqrt (+ (* (+ x y) (+ x y)) (- (* z z) (* (+ x y) z)))) (sqrt (+ (* (+ x y) (+ x y)) (- (* z z) (* (+ x y) z)))))
  (* (sqrt (+ (pow (+ x y) 3) (pow z 3))) (sqrt (- (* (+ x y) (+ x y)) (* z z))))
  (* (sqrt (+ (* (+ x y) (+ x y)) (- (* z z) (* (+ x y) z)))) (sqrt (- (+ x y) z)))
  (* (sqrt (- (* (+ x y) (+ x y)) (* z z))) (sqrt (+ (pow (+ x y) 3) (pow z 3))))
  (* (sqrt (- (+ x y) z)) (sqrt (+ (* (+ x y) (+ x y)) (- (* z z) (* (+ x y) z)))))
  (* (sqrt (- (* (+ x y) (+ x y)) (* z z))) (sqrt (- (* (+ x y) (+ x y)) (* z z))))
  (* (sqrt (- (+ x y) z)) (sqrt (- (+ x y) z)))
  (* (* (cbrt (sqrt (+ (+ x y) z))) (cbrt (sqrt (+ (+ x y) z)))) (* (cbrt (sqrt (+ (+ x y) z))) (cbrt (sqrt (+ (+ x y) z)))))
  (* (cbrt (sqrt (+ (+ x y) z))) (cbrt (sqrt (+ (+ x y) z))))
  (* (sqrt (* (cbrt (+ (+ x y) z)) (cbrt (+ (+ x y) z)))) (sqrt (* (cbrt (+ (+ x y) z)) (cbrt (+ (+ x y) z)))))
  (* (sqrt (cbrt (+ (+ x y) z))) (sqrt (cbrt (+ (+ x y) z))))
  (* (sqrt (sqrt (+ (+ x y) z))) (sqrt (sqrt (+ (+ x y) z))))
  (* (sqrt (sqrt (+ (+ x y) z))) (sqrt (sqrt (+ (+ x y) z))))
  (* (sqrt (sqrt (+ (+ x y) z))) (sqrt (sqrt (+ (+ x y) z))))
  (* (sqrt (sqrt (+ (+ x y) z))) (sqrt (sqrt (+ (+ x y) z))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z)))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z)))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z)))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z)))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z)))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z)))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z)))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z)))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z)))
  (* (sqrt (sqrt (+ (+ x y) z))) (sqrt (sqrt (+ (+ x y) z))))
  (* (sqrt (sqrt (+ (+ x y) z))) (sqrt (sqrt (+ (+ x y) z))))
  (* (sqrt (sqrt (+ (+ x y) z))) (sqrt (sqrt (+ (+ x y) z))))
  (* (sqrt (sqrt (+ (+ x y) z))) (sqrt (sqrt (+ (+ x y) z))))
  (* 1 1)
  (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z)))
  (* (sqrt (sqrt (+ (+ x y) z))) (sqrt (sqrt (+ (+ x y) z))))
  (* (sqrt (sqrt (+ (+ x y) z))) (sqrt (sqrt (+ (+ x y) z))))
  (* (sqrt (sqrt (+ (+ x y) z))) (sqrt (sqrt (+ (+ x y) z))))
  (* (sqrt (sqrt (+ (+ x y) z))) (sqrt (sqrt (+ (+ x y) z))))
  (* (sqrt (sqrt (+ (+ x y) z))) (sqrt (sqrt (+ (+ x y) z))))
  (* (sqrt (sqrt (+ (+ x y) z))) (sqrt (sqrt (+ (+ x y) z))))
  (* (sqrt (sqrt (+ (+ x y) z))) (sqrt (sqrt (+ (+ x y) z))))
  (* (sqrt (sqrt (+ (+ x y) z))) (sqrt (sqrt (+ (+ x y) z))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (+ (+ x y) z)) (* (cbrt (sqrt (+ (+ x y) z))) (cbrt (sqrt (+ (+ x y) z)))))
  (* (sqrt (+ (+ x y) z)) (sqrt (* (cbrt (+ (+ x y) z)) (cbrt (+ (+ x y) z)))))
  (* (sqrt (+ (+ x y) z)) (sqrt (sqrt (+ (+ x y) z))))
  (* (sqrt (+ (+ x y) z)) (sqrt 1))
  (* (sqrt (+ (+ x y) z)) (sqrt 1))
  (* (sqrt (+ (+ x y) z)) (sqrt 1))
  (* (sqrt (+ (+ x y) z)) (sqrt (sqrt (+ (+ x y) z))))
  (* (sqrt (+ (+ x y) z)) 1)
  (* (cbrt (sqrt (+ (+ x y) z))) (sqrt (+ (+ x y) z)))
  (* (sqrt (cbrt (+ (+ x y) z))) (sqrt (+ (+ x y) z)))
  (* (sqrt (sqrt (+ (+ x y) z))) (sqrt (+ (+ x y) z)))
  (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z)))
  (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z)))
  (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z)))
  (* (sqrt (sqrt (+ (+ x y) z))) (sqrt (+ (+ x y) z)))
  (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z)))
  (* (sqrt (+ (+ x y) z)) (sqrt (+ (pow (+ x y) 3) (pow z 3))))
  (* (sqrt (+ (+ x y) z)) (sqrt (- (* (+ x y) (+ x y)) (* z z))))
  (* (sqrt (+ (pow (+ x y) 3) (pow z 3))) (sqrt (+ (+ x y) z)))
  (* (sqrt (- (* (+ x y) (+ x y)) (* z z))) (sqrt (+ (+ x y) z)))
  (log (sqrt (+ (+ x y) z)))
  (exp (sqrt (+ (+ x y) z)))
  (* (cbrt (sqrt (+ (+ x y) z))) (cbrt (sqrt (+ (+ x y) z))))
  (cbrt (sqrt (+ (+ x y) z)))
  (* (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z))) (sqrt (+ (+ x y) z)))
  (sqrt (* (cbrt (+ (+ x y) z)) (cbrt (+ (+ x y) z))))
  (sqrt (cbrt (+ (+ x y) z)))
  (sqrt (sqrt (+ (+ x y) z)))
  (sqrt (sqrt (+ (+ x y) z)))
  (sqrt 1)
  (sqrt (+ (+ x y) z))
  (sqrt 1)
  (sqrt (+ (+ x y) z))
  (sqrt 1)
  (sqrt (+ (+ x y) z))
  (sqrt (+ (pow (+ x y) 3) (pow z 3)))
  (sqrt (+ (* (+ x y) (+ x y)) (- (* z z) (* (+ x y) z))))
  (sqrt (- (* (+ x y) (+ x y)) (* z z)))
  (sqrt (- (+ x y) z))
  (/ 1 2)
  (sqrt (sqrt (+ (+ x y) z)))
  (sqrt (sqrt (+ (+ x y) z)))
  (log (sqrt (+ (+ x y) z)))
  (exp (sqrt (+ (+ x y) z)))
  (* (cbrt (sqrt (+ (+ x y) z))) (cbrt (sqrt (+ (+ x y) z))))
  (cbrt (sqrt (+ (+ x y) z)))
  (* (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z))) (sqrt (+ (+ x y) z)))
  (sqrt (* (cbrt (+ (+ x y) z)) (cbrt (+ (+ x y) z))))
  (sqrt (cbrt (+ (+ x y) z)))
  (sqrt (sqrt (+ (+ x y) z)))
  (sqrt (sqrt (+ (+ x y) z)))
  (sqrt 1)
  (sqrt (+ (+ x y) z))
  (sqrt 1)
  (sqrt (+ (+ x y) z))
  (sqrt 1)
  (sqrt (+ (+ x y) z))
  (sqrt (+ (pow (+ x y) 3) (pow z 3)))
  (sqrt (+ (* (+ x y) (+ x y)) (- (* z z) (* (+ x y) z))))
  (sqrt (- (* (+ x y) (+ x y)) (* z z)))
  (sqrt (- (+ x y) z))
  (/ 1 2)
  (sqrt (sqrt (+ (+ x y) z)))
  (sqrt (sqrt (+ (+ x y) z)))
  (* (* (exp x) (exp y)) (exp z))
  (* (exp (+ x y)) (exp z))
  (log (+ (+ x y) z))
  (exp (+ (+ x y) z))
  (* (cbrt (+ (+ x y) z)) (cbrt (+ (+ x y) z)))
  (cbrt (+ (+ x y) z))
  (* (* (+ (+ x y) z) (+ (+ x y) z)) (+ (+ x y) z))
  (sqrt (+ (+ x y) z))
  (sqrt (+ (+ x y) z))
  (+ (pow (+ x y) 3) (pow z 3))
  (+ (* (+ x y) (+ x y)) (- (* z z) (* (+ x y) z)))
  (- (* (+ x y) (+ x y)) (* z z))
  (- (+ x y) z)
  (+ (+ x y) z)
  (+ (+ x y) z)
  (+ y z)
  (+ x (+ z y))
  (+ x (+ z y))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 z) (- (* +nan.0 y))))))
  (- (+ (* +nan.0 (/ z x)) (- (+ (* +nan.0 (/ y x)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ z x)) (- (+ (* +nan.0 (/ y x)) (- +nan.0)))))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 z) (- (* +nan.0 y))))))
  (- (+ (* +nan.0 (/ z x)) (- (+ (* +nan.0 (/ y x)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ z x)) (- (+ (* +nan.0 (/ y x)) (- +nan.0)))))
  (+ x (+ z y))
  (+ x (+ z y))
  (+ x (+ z y))
2.671 * * [simplify]: iteration 0: 121 enodes
2.699 * * [simplify]: iteration 1: 286 enodes
2.788 * * [simplify]: iteration 2: 1339 enodes
3.231 * * [simplify]: iteration complete: 5001 enodes
3.231 * * [simplify]: Extracting #0: cost 40 inf + 0
3.233 * * [simplify]: Extracting #1: cost 768 inf + 3
3.237 * * [simplify]: Extracting #2: cost 1919 inf + 3863
3.253 * * [simplify]: Extracting #3: cost 1553 inf + 94649
3.306 * * [simplify]: Extracting #4: cost 276 inf + 324112
3.375 * * [simplify]: Extracting #5: cost 30 inf + 380825
3.464 * * [simplify]: Extracting #6: cost 5 inf + 384366
3.568 * * [simplify]: Extracting #7: cost 0 inf + 385752
3.677 * [simplify]: Simplified to:
  1
  1
  2
  1
  1
  (* (+ (+ z x) y) (+ (+ z x) y))
  (+ (+ z x) y)
  (* (+ (+ z x) y) (+ (+ z x) y))
  2
  (log (+ (+ z x) y))
  (log (+ (+ z x) y))
  (exp (+ (+ z x) y))
  (* (* (+ (+ z x) y) (+ (+ z x) y)) (+ (+ z x) y))
  (* (cbrt (+ (+ z x) y)) (cbrt (+ (+ z x) y)))
  (cbrt (+ (+ z x) y))
  (* (* (+ (+ z x) y) (+ (+ z x) y)) (+ (+ z x) y))
  (* (+ (+ z x) y) (+ (+ z x) y))
  (sqrt (+ (+ z x) y))
  (sqrt (+ (+ z x) y))
  (+ (* (+ y x) (* (+ y x) (+ y x))) (* (* z z) z))
  (+ (* z (- z (+ y x))) (* (+ y x) (+ y x)))
  (* (sqrt (- (* (+ y x) (+ y x)) (* z z))) (sqrt (+ (* (+ y x) (* (+ y x) (+ y x))) (* (* z z) z))))
  (* (sqrt (+ y (- x z))) (sqrt (+ (* z (- z (+ y x))) (* (+ y x) (+ y x)))))
  (* (sqrt (- (* (+ y x) (+ y x)) (* z z))) (sqrt (+ (* (+ y x) (* (+ y x) (+ y x))) (* (* z z) z))))
  (* (sqrt (+ y (- x z))) (sqrt (+ (* z (- z (+ y x))) (* (+ y x) (+ y x)))))
  (- (* (+ y x) (+ y x)) (* z z))
  (+ y (- x z))
  (* (sqrt (+ (+ z x) y)) (cbrt (sqrt (+ (+ z x) y))))
  (* (cbrt (sqrt (+ (+ z x) y))) (cbrt (sqrt (+ (+ z x) y))))
  (* (cbrt (+ (+ z x) y)) (cbrt (+ (+ z x) y)))
  (cbrt (+ (+ z x) y))
  (sqrt (+ (+ z x) y))
  (sqrt (+ (+ z x) y))
  (sqrt (+ (+ z x) y))
  (sqrt (+ (+ z x) y))
  1
  (+ (+ z x) y)
  1
  (+ (+ z x) y)
  1
  (+ (+ z x) y)
  1
  (+ (+ z x) y)
  1
  (+ (+ z x) y)
  1
  (+ (+ z x) y)
  1
  (+ (+ z x) y)
  1
  (+ (+ z x) y)
  1
  (+ (+ z x) y)
  (sqrt (+ (+ z x) y))
  (sqrt (+ (+ z x) y))
  (sqrt (+ (+ z x) y))
  (sqrt (+ (+ z x) y))
  1
  (+ (+ z x) y)
  (sqrt (+ (+ z x) y))
  (sqrt (+ (+ z x) y))
  (sqrt (+ (+ z x) y))
  (sqrt (+ (+ z x) y))
  (sqrt (+ (+ z x) y))
  (sqrt (+ (+ z x) y))
  (sqrt (+ (+ z x) y))
  (sqrt (+ (+ z x) y))
  1
  2
  1
  (* (cbrt (sqrt (+ (+ z x) y))) (* (sqrt (+ (+ z x) y)) (cbrt (sqrt (+ (+ z x) y)))))
  (* (fabs (cbrt (+ (+ z x) y))) (sqrt (+ (+ z x) y)))
  (* (sqrt (sqrt (+ (+ z x) y))) (sqrt (+ (+ z x) y)))
  (sqrt (+ (+ z x) y))
  (sqrt (+ (+ z x) y))
  (sqrt (+ (+ z x) y))
  (* (sqrt (sqrt (+ (+ z x) y))) (sqrt (+ (+ z x) y)))
  (sqrt (+ (+ z x) y))
  (* (sqrt (+ (+ z x) y)) (cbrt (sqrt (+ (+ z x) y))))
  (* (sqrt (+ (+ z x) y)) (sqrt (cbrt (+ (+ z x) y))))
  (* (sqrt (sqrt (+ (+ z x) y))) (sqrt (+ (+ z x) y)))
  (+ (+ z x) y)
  (+ (+ z x) y)
  (+ (+ z x) y)
  (* (sqrt (sqrt (+ (+ z x) y))) (sqrt (+ (+ z x) y)))
  (+ (+ z x) y)
  (* (sqrt (+ (+ z x) y)) (sqrt (+ (* (+ y x) (* (+ y x) (+ y x))) (* (* z z) z))))
  (* (sqrt (+ (* x (+ (+ z x) y)) (* (- y z) (+ (+ z x) y)))) (sqrt (+ (+ z x) y)))
  (* (sqrt (+ (+ z x) y)) (sqrt (+ (* (+ y x) (* (+ y x) (+ y x))) (* (* z z) z))))
  (* (sqrt (+ (* x (+ (+ z x) y)) (* (- y z) (+ (+ z x) y)))) (sqrt (+ (+ z x) y)))
  (log (sqrt (+ (+ z x) y)))
  (exp (sqrt (+ (+ z x) y)))
  (* (cbrt (sqrt (+ (+ z x) y))) (cbrt (sqrt (+ (+ z x) y))))
  (cbrt (sqrt (+ (+ z x) y)))
  (* (sqrt (+ (+ z x) y)) (+ (+ z x) y))
  (fabs (cbrt (+ (+ z x) y)))
  (sqrt (cbrt (+ (+ z x) y)))
  (sqrt (sqrt (+ (+ z x) y)))
  (sqrt (sqrt (+ (+ z x) y)))
  1
  (sqrt (+ (+ z x) y))
  1
  (sqrt (+ (+ z x) y))
  1
  (sqrt (+ (+ z x) y))
  (sqrt (+ (* (+ y x) (* (+ y x) (+ y x))) (* (* z z) z)))
  (sqrt (+ (* z (- z (+ y x))) (* (+ y x) (+ y x))))
  (sqrt (- (* (+ y x) (+ y x)) (* z z)))
  (sqrt (+ y (- x z)))
  1/2
  (sqrt (sqrt (+ (+ z x) y)))
  (sqrt (sqrt (+ (+ z x) y)))
  (log (sqrt (+ (+ z x) y)))
  (exp (sqrt (+ (+ z x) y)))
  (* (cbrt (sqrt (+ (+ z x) y))) (cbrt (sqrt (+ (+ z x) y))))
  (cbrt (sqrt (+ (+ z x) y)))
  (* (sqrt (+ (+ z x) y)) (+ (+ z x) y))
  (fabs (cbrt (+ (+ z x) y)))
  (sqrt (cbrt (+ (+ z x) y)))
  (sqrt (sqrt (+ (+ z x) y)))
  (sqrt (sqrt (+ (+ z x) y)))
  1
  (sqrt (+ (+ z x) y))
  1
  (sqrt (+ (+ z x) y))
  1
  (sqrt (+ (+ z x) y))
  (sqrt (+ (* (+ y x) (* (+ y x) (+ y x))) (* (* z z) z)))
  (sqrt (+ (* z (- z (+ y x))) (* (+ y x) (+ y x))))
  (sqrt (- (* (+ y x) (+ y x)) (* z z)))
  (sqrt (+ y (- x z)))
  1/2
  (sqrt (sqrt (+ (+ z x) y)))
  (sqrt (sqrt (+ (+ z x) y)))
  (exp (+ (+ z x) y))
  (exp (+ (+ z x) y))
  (log (+ (+ z x) y))
  (exp (+ (+ z x) y))
  (* (cbrt (+ (+ z x) y)) (cbrt (+ (+ z x) y)))
  (cbrt (+ (+ z x) y))
  (* (* (+ (+ z x) y) (+ (+ z x) y)) (+ (+ z x) y))
  (sqrt (+ (+ z x) y))
  (sqrt (+ (+ z x) y))
  (+ (* (+ y x) (* (+ y x) (+ y x))) (* (* z z) z))
  (+ (* z (- z (+ y x))) (* (+ y x) (+ y x)))
  (- (* (+ y x) (+ y x)) (* z z))
  (+ y (- x z))
  (+ (+ z x) y)
  (+ (+ z x) y)
  (+ z y)
  (+ (+ z x) y)
  (+ (+ z x) y)
  (- (/ (- (/ +nan.0 x)) x) (+ (- (/ +nan.0 x)) +nan.0))
  (+ (* +nan.0 (- z y)) (* +nan.0 (- x)))
  (+ (- (/ z (/ x +nan.0))) (- (* (/ y x) +nan.0) +nan.0))
  (+ (- (/ z (/ x +nan.0))) (- (* (/ y x) +nan.0) +nan.0))
  (+ (* +nan.0 (- z y)) (* +nan.0 (- x)))
  (+ (- (/ z (/ x +nan.0))) (- (* (/ y x) +nan.0) +nan.0))
  (+ (- (/ z (/ x +nan.0))) (- (* (/ y x) +nan.0) +nan.0))
  (+ (+ z x) y)
  (+ (+ z x) y)
  (+ (+ z x) y)
3.687 * * * [progress]: adding candidates to table
4.146 * [progress]: [Phase 3 of 3] Extracting.
4.146 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ (+ x y) z))> #<alt (λ (x y z) (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z))))>)
4.146 * * * [regime-changes]: Trying 5 branch expressions: ((+ x y) (+ (+ x y) z) z y x)
4.146 * * * * [regimes]: Trying to branch on (+ x y) from (#<alt (λ (x y z) (+ (+ x y) z))> #<alt (λ (x y z) (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z))))>)
4.179 * * * * [regimes]: Trying to branch on (+ (+ x y) z) from (#<alt (λ (x y z) (+ (+ x y) z))> #<alt (λ (x y z) (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z))))>)
4.211 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ (+ x y) z))> #<alt (λ (x y z) (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z))))>)
4.258 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ (+ x y) z))> #<alt (λ (x y z) (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z))))>)
4.290 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ (+ x y) z))> #<alt (λ (x y z) (* (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z))))>)
4.336 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
4.336 * [simplify]: Simplifying:
  (+ (+ x y) z)
4.336 * * [simplify]: iteration 0: 5 enodes
4.337 * * [simplify]: iteration 1: 7 enodes
4.337 * * [simplify]: iteration complete: 7 enodes
4.337 * * [simplify]: Extracting #0: cost 1 inf + 0
4.337 * * [simplify]: Extracting #1: cost 3 inf + 0
4.337 * * [simplify]: Extracting #2: cost 4 inf + 1
4.337 * * [simplify]: Extracting #3: cost 2 inf + 3
4.338 * * [simplify]: Extracting #4: cost 0 inf + 128
4.338 * [simplify]: Simplified to:
  (+ z (+ y x))
5.246 * [regime-testing]: Baseline error score: 0.0010001250156269534
5.260 * [regime-testing]: Oracle error score: 0.0007500937617202151
5.290 * [regime-testing]: End program error score: 0.0010001250156269534