11.171 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.030 * * * [progress]: [2/2] Setting up program. 0.034 * [progress]: [Phase 2 of 3] Improving. 0.034 * [simplify]: Simplifying: (+ (* x (+ y z)) (* z 5.0)) 0.034 * * [simplify]: iteration 0: 8 enodes 0.036 * * [simplify]: iteration 1: 19 enodes 0.039 * * [simplify]: iteration 2: 34 enodes 0.044 * * [simplify]: iteration 3: 50 enodes 0.053 * * [simplify]: iteration 4: 60 enodes 0.063 * * [simplify]: iteration complete: 60 enodes 0.063 * * [simplify]: Extracting #0: cost 1 inf + 0 0.063 * * [simplify]: Extracting #1: cost 13 inf + 0 0.063 * * [simplify]: Extracting #2: cost 5 inf + 213 0.064 * * [simplify]: Extracting #3: cost 0 inf + 618 0.064 * [simplify]: Simplified to: (fma z (+ 5.0 x) (* x y)) 0.074 * * [progress]: iteration 1 / 4 0.074 * * * [progress]: picking best candidate 0.088 * * * * [pick]: Picked # 0.088 * * * [progress]: localizing error 0.106 * * * [progress]: generating rewritten candidates 0.106 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.107 * * * [progress]: generating series expansions 0.108 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.108 * [backup-simplify]: Simplify (fma z (+ 5.0 x) (* x y)) into (fma z (+ x 5.0) (* x y)) 0.108 * [approximate]: Taking taylor expansion of (fma z (+ x 5.0) (* x y)) in (z x y) around 0 0.108 * [taylor]: Taking taylor expansion of (fma z (+ x 5.0) (* x y)) in y 0.108 * [taylor]: Rewrote expression to (+ (* z (+ x 5.0)) (* x y)) 0.108 * [taylor]: Taking taylor expansion of (* z (+ x 5.0)) in y 0.108 * [taylor]: Taking taylor expansion of z in y 0.108 * [backup-simplify]: Simplify z into z 0.108 * [taylor]: Taking taylor expansion of (+ x 5.0) in y 0.108 * [taylor]: Taking taylor expansion of x in y 0.108 * [backup-simplify]: Simplify x into x 0.108 * [taylor]: Taking taylor expansion of 5.0 in y 0.108 * [backup-simplify]: Simplify 5.0 into 5.0 0.108 * [taylor]: Taking taylor expansion of (* x y) in y 0.108 * [taylor]: Taking taylor expansion of x in y 0.108 * [backup-simplify]: Simplify x into x 0.108 * [taylor]: Taking taylor expansion of y in y 0.108 * [backup-simplify]: Simplify 0 into 0 0.108 * [backup-simplify]: Simplify 1 into 1 0.108 * [taylor]: Taking taylor expansion of (fma z (+ x 5.0) (* x y)) in x 0.109 * [taylor]: Rewrote expression to (+ (* z (+ x 5.0)) (* x y)) 0.109 * [taylor]: Taking taylor expansion of (* z (+ x 5.0)) in x 0.109 * [taylor]: Taking taylor expansion of z in x 0.109 * [backup-simplify]: Simplify z into z 0.109 * [taylor]: Taking taylor expansion of (+ x 5.0) in x 0.109 * [taylor]: Taking taylor expansion of x in x 0.109 * [backup-simplify]: Simplify 0 into 0 0.109 * [backup-simplify]: Simplify 1 into 1 0.109 * [taylor]: Taking taylor expansion of 5.0 in x 0.109 * [backup-simplify]: Simplify 5.0 into 5.0 0.109 * [taylor]: Taking taylor expansion of (* x y) in x 0.109 * [taylor]: Taking taylor expansion of x in x 0.109 * [backup-simplify]: Simplify 0 into 0 0.109 * [backup-simplify]: Simplify 1 into 1 0.109 * [taylor]: Taking taylor expansion of y in x 0.109 * [backup-simplify]: Simplify y into y 0.109 * [taylor]: Taking taylor expansion of (fma z (+ x 5.0) (* x y)) in z 0.109 * [taylor]: Rewrote expression to (+ (* z (+ x 5.0)) (* x y)) 0.109 * [taylor]: Taking taylor expansion of (* z (+ x 5.0)) in z 0.109 * [taylor]: Taking taylor expansion of z in z 0.109 * [backup-simplify]: Simplify 0 into 0 0.109 * [backup-simplify]: Simplify 1 into 1 0.109 * [taylor]: Taking taylor expansion of (+ x 5.0) in z 0.109 * [taylor]: Taking taylor expansion of x in z 0.109 * [backup-simplify]: Simplify x into x 0.109 * [taylor]: Taking taylor expansion of 5.0 in z 0.109 * [backup-simplify]: Simplify 5.0 into 5.0 0.109 * [taylor]: Taking taylor expansion of (* x y) in z 0.109 * [taylor]: Taking taylor expansion of x in z 0.109 * [backup-simplify]: Simplify x into x 0.109 * [taylor]: Taking taylor expansion of y in z 0.109 * [backup-simplify]: Simplify y into y 0.109 * [taylor]: Taking taylor expansion of (fma z (+ x 5.0) (* x y)) in z 0.109 * [taylor]: Rewrote expression to (+ (* z (+ x 5.0)) (* x y)) 0.109 * [taylor]: Taking taylor expansion of (* z (+ x 5.0)) in z 0.109 * [taylor]: Taking taylor expansion of z in z 0.109 * [backup-simplify]: Simplify 0 into 0 0.109 * [backup-simplify]: Simplify 1 into 1 0.109 * [taylor]: Taking taylor expansion of (+ x 5.0) in z 0.109 * [taylor]: Taking taylor expansion of x in z 0.109 * [backup-simplify]: Simplify x into x 0.109 * [taylor]: Taking taylor expansion of 5.0 in z 0.109 * [backup-simplify]: Simplify 5.0 into 5.0 0.109 * [taylor]: Taking taylor expansion of (* x y) in z 0.109 * [taylor]: Taking taylor expansion of x in z 0.109 * [backup-simplify]: Simplify x into x 0.109 * [taylor]: Taking taylor expansion of y in z 0.109 * [backup-simplify]: Simplify y into y 0.110 * [backup-simplify]: Simplify (+ x 5.0) into (+ x 5.0) 0.110 * [backup-simplify]: Simplify (* 0 (+ x 5.0)) into 0 0.110 * [backup-simplify]: Simplify (* x y) into (* x y) 0.110 * [backup-simplify]: Simplify (+ 0 (* x y)) into (* x y) 0.110 * [taylor]: Taking taylor expansion of (* x y) in x 0.110 * [taylor]: Taking taylor expansion of x in x 0.110 * [backup-simplify]: Simplify 0 into 0 0.110 * [backup-simplify]: Simplify 1 into 1 0.110 * [taylor]: Taking taylor expansion of y in x 0.110 * [backup-simplify]: Simplify y into y 0.110 * [backup-simplify]: Simplify (* 0 y) into 0 0.110 * [taylor]: Taking taylor expansion of 0 in y 0.110 * [backup-simplify]: Simplify 0 into 0 0.110 * [backup-simplify]: Simplify 0 into 0 0.110 * [backup-simplify]: Simplify (+ 0 0) into 0 0.111 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ x 5.0))) into (+ x 5.0) 0.111 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 0.111 * [backup-simplify]: Simplify (+ (+ x 5.0) 0) into (+ x 5.0) 0.111 * [taylor]: Taking taylor expansion of (+ x 5.0) in x 0.111 * [taylor]: Taking taylor expansion of x in x 0.111 * [backup-simplify]: Simplify 0 into 0 0.111 * [backup-simplify]: Simplify 1 into 1 0.111 * [taylor]: Taking taylor expansion of 5.0 in x 0.111 * [backup-simplify]: Simplify 5.0 into 5.0 0.111 * [backup-simplify]: Simplify (+ 0 5.0) into 5.0 0.111 * [taylor]: Taking taylor expansion of 5.0 in y 0.111 * [backup-simplify]: Simplify 5.0 into 5.0 0.111 * [backup-simplify]: Simplify 5.0 into 5.0 0.112 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.112 * [taylor]: Taking taylor expansion of y in y 0.112 * [backup-simplify]: Simplify 0 into 0 0.112 * [backup-simplify]: Simplify 1 into 1 0.112 * [backup-simplify]: Simplify 0 into 0 0.112 * [backup-simplify]: Simplify 0 into 0 0.112 * [backup-simplify]: Simplify (+ 0 0) into 0 0.113 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ x 5.0)))) into 0 0.113 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 0.113 * [backup-simplify]: Simplify (+ 0 0) into 0 0.113 * [taylor]: Taking taylor expansion of 0 in x 0.113 * [backup-simplify]: Simplify 0 into 0 0.113 * [taylor]: Taking taylor expansion of 0 in y 0.113 * [backup-simplify]: Simplify 0 into 0 0.113 * [backup-simplify]: Simplify 0 into 0 0.114 * [backup-simplify]: Simplify (+ 1 0) into 1 0.114 * [taylor]: Taking taylor expansion of 1 in y 0.114 * [backup-simplify]: Simplify 1 into 1 0.114 * [backup-simplify]: Simplify 1 into 1 0.114 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.114 * [taylor]: Taking taylor expansion of 0 in y 0.114 * [backup-simplify]: Simplify 0 into 0 0.114 * [backup-simplify]: Simplify 0 into 0 0.114 * [backup-simplify]: Simplify 0 into 0 0.114 * [backup-simplify]: Simplify 1 into 1 0.115 * [backup-simplify]: Simplify (+ (* 1 (* y (* x 1))) (+ (* 1 (* 1 (* x z))) (* 5.0 (* 1 (* 1 z))))) into (+ (* 5.0 z) (+ (* x z) (* x y))) 0.115 * [backup-simplify]: Simplify (fma (/ 1 z) (+ 5.0 (/ 1 x)) (* (/ 1 x) (/ 1 y))) into (fma (/ 1 z) (+ (/ 1 x) 5.0) (/ 1 (* x y))) 0.115 * [approximate]: Taking taylor expansion of (fma (/ 1 z) (+ (/ 1 x) 5.0) (/ 1 (* x y))) in (z x y) around 0 0.115 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (+ (/ 1 x) 5.0) (/ 1 (* x y))) in y 0.115 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (+ (/ 1 x) 5.0)) (/ 1 (* x y))) 0.115 * [taylor]: Taking taylor expansion of (* (/ 1 z) (+ (/ 1 x) 5.0)) in y 0.115 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.115 * [taylor]: Taking taylor expansion of z in y 0.115 * [backup-simplify]: Simplify z into z 0.115 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.115 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 5.0) in y 0.115 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.115 * [taylor]: Taking taylor expansion of x in y 0.115 * [backup-simplify]: Simplify x into x 0.115 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.115 * [taylor]: Taking taylor expansion of 5.0 in y 0.115 * [backup-simplify]: Simplify 5.0 into 5.0 0.115 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.115 * [taylor]: Taking taylor expansion of (* x y) in y 0.115 * [taylor]: Taking taylor expansion of x in y 0.115 * [backup-simplify]: Simplify x into x 0.115 * [taylor]: Taking taylor expansion of y in y 0.115 * [backup-simplify]: Simplify 0 into 0 0.115 * [backup-simplify]: Simplify 1 into 1 0.115 * [backup-simplify]: Simplify (* x 0) into 0 0.116 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.116 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.116 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (+ (/ 1 x) 5.0) (/ 1 (* x y))) in x 0.116 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (+ (/ 1 x) 5.0)) (/ 1 (* x y))) 0.116 * [taylor]: Taking taylor expansion of (* (/ 1 z) (+ (/ 1 x) 5.0)) in x 0.116 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.116 * [taylor]: Taking taylor expansion of z in x 0.116 * [backup-simplify]: Simplify z into z 0.116 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.116 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 5.0) in x 0.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.116 * [taylor]: Taking taylor expansion of x in x 0.116 * [backup-simplify]: Simplify 0 into 0 0.116 * [backup-simplify]: Simplify 1 into 1 0.116 * [backup-simplify]: Simplify (/ 1 1) into 1 0.116 * [taylor]: Taking taylor expansion of 5.0 in x 0.116 * [backup-simplify]: Simplify 5.0 into 5.0 0.116 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.117 * [taylor]: Taking taylor expansion of (* x y) in x 0.117 * [taylor]: Taking taylor expansion of x in x 0.117 * [backup-simplify]: Simplify 0 into 0 0.117 * [backup-simplify]: Simplify 1 into 1 0.117 * [taylor]: Taking taylor expansion of y in x 0.117 * [backup-simplify]: Simplify y into y 0.117 * [backup-simplify]: Simplify (* 0 y) into 0 0.117 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.117 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.117 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (+ (/ 1 x) 5.0) (/ 1 (* x y))) in z 0.117 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (+ (/ 1 x) 5.0)) (/ 1 (* x y))) 0.117 * [taylor]: Taking taylor expansion of (* (/ 1 z) (+ (/ 1 x) 5.0)) in z 0.117 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.117 * [taylor]: Taking taylor expansion of z in z 0.117 * [backup-simplify]: Simplify 0 into 0 0.117 * [backup-simplify]: Simplify 1 into 1 0.118 * [backup-simplify]: Simplify (/ 1 1) into 1 0.118 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 5.0) in z 0.118 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.118 * [taylor]: Taking taylor expansion of x in z 0.118 * [backup-simplify]: Simplify x into x 0.118 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.118 * [taylor]: Taking taylor expansion of 5.0 in z 0.118 * [backup-simplify]: Simplify 5.0 into 5.0 0.118 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 0.118 * [taylor]: Taking taylor expansion of (* x y) in z 0.118 * [taylor]: Taking taylor expansion of x in z 0.118 * [backup-simplify]: Simplify x into x 0.118 * [taylor]: Taking taylor expansion of y in z 0.118 * [backup-simplify]: Simplify y into y 0.118 * [backup-simplify]: Simplify (* x y) into (* x y) 0.118 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 0.118 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (+ (/ 1 x) 5.0) (/ 1 (* x y))) in z 0.118 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (+ (/ 1 x) 5.0)) (/ 1 (* x y))) 0.118 * [taylor]: Taking taylor expansion of (* (/ 1 z) (+ (/ 1 x) 5.0)) in z 0.118 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.118 * [taylor]: Taking taylor expansion of z in z 0.118 * [backup-simplify]: Simplify 0 into 0 0.118 * [backup-simplify]: Simplify 1 into 1 0.118 * [backup-simplify]: Simplify (/ 1 1) into 1 0.118 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 5.0) in z 0.118 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.118 * [taylor]: Taking taylor expansion of x in z 0.118 * [backup-simplify]: Simplify x into x 0.119 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.119 * [taylor]: Taking taylor expansion of 5.0 in z 0.119 * [backup-simplify]: Simplify 5.0 into 5.0 0.119 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 0.119 * [taylor]: Taking taylor expansion of (* x y) in z 0.119 * [taylor]: Taking taylor expansion of x in z 0.119 * [backup-simplify]: Simplify x into x 0.119 * [taylor]: Taking taylor expansion of y in z 0.119 * [backup-simplify]: Simplify y into y 0.119 * [backup-simplify]: Simplify (* x y) into (* x y) 0.119 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 0.119 * [backup-simplify]: Simplify (+ (/ 1 x) 5.0) into (+ (/ 1 x) 5.0) 0.119 * [backup-simplify]: Simplify (* 1 (+ (/ 1 x) 5.0)) into (+ (/ 1 x) 5.0) 0.119 * [backup-simplify]: Simplify (+ (+ (/ 1 x) 5.0) 0) into (+ (/ 1 x) 5.0) 0.119 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 5.0) in x 0.119 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.119 * [taylor]: Taking taylor expansion of x in x 0.119 * [backup-simplify]: Simplify 0 into 0 0.119 * [backup-simplify]: Simplify 1 into 1 0.119 * [backup-simplify]: Simplify (/ 1 1) into 1 0.119 * [taylor]: Taking taylor expansion of 5.0 in x 0.119 * [backup-simplify]: Simplify 5.0 into 5.0 0.120 * [backup-simplify]: Simplify (+ 1 0) into 1 0.120 * [taylor]: Taking taylor expansion of 1 in y 0.120 * [backup-simplify]: Simplify 1 into 1 0.120 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.121 * [backup-simplify]: Simplify (+ 0 0) into 0 0.121 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.121 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (+ (/ 1 x) 5.0))) into 0 0.121 * [backup-simplify]: Simplify (+ 0 (/ 1 (* x y))) into (/ 1 (* x y)) 0.121 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.122 * [taylor]: Taking taylor expansion of (* x y) in x 0.122 * [taylor]: Taking taylor expansion of x in x 0.122 * [backup-simplify]: Simplify 0 into 0 0.122 * [backup-simplify]: Simplify 1 into 1 0.122 * [taylor]: Taking taylor expansion of y in x 0.122 * [backup-simplify]: Simplify y into y 0.122 * [backup-simplify]: Simplify (* 0 y) into 0 0.122 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.122 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.122 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.122 * [taylor]: Taking taylor expansion of y in y 0.122 * [backup-simplify]: Simplify 0 into 0 0.122 * [backup-simplify]: Simplify 1 into 1 0.122 * [backup-simplify]: Simplify (/ 1 1) into 1 0.122 * [backup-simplify]: Simplify 1 into 1 0.123 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.123 * [backup-simplify]: Simplify (+ 0 5.0) into 5.0 0.123 * [taylor]: Taking taylor expansion of 5.0 in y 0.123 * [backup-simplify]: Simplify 5.0 into 5.0 0.123 * [backup-simplify]: Simplify 1 into 1 0.123 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.124 * [backup-simplify]: Simplify (+ 0 0) into 0 0.124 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.125 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (+ (/ 1 x) 5.0)))) into 0 0.125 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 0.125 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 0.125 * [backup-simplify]: Simplify (+ 0 0) into 0 0.125 * [taylor]: Taking taylor expansion of 0 in x 0.125 * [backup-simplify]: Simplify 0 into 0 0.126 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.126 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.126 * [taylor]: Taking taylor expansion of 0 in y 0.126 * [backup-simplify]: Simplify 0 into 0 0.127 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.127 * [backup-simplify]: Simplify (+ 0 0) into 0 0.127 * [taylor]: Taking taylor expansion of 0 in y 0.127 * [backup-simplify]: Simplify 0 into 0 0.128 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.128 * [backup-simplify]: Simplify 0 into 0 0.128 * [backup-simplify]: Simplify 5.0 into 5.0 0.128 * [backup-simplify]: Simplify (+ (* 5.0 (* 1 (* 1 (/ 1 (/ 1 z))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 z))))) (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) 1))))) into (+ (* 5.0 z) (+ (* x z) (* x y))) 0.128 * [backup-simplify]: Simplify (fma (/ 1 (- z)) (+ 5.0 (/ 1 (- x))) (* (/ 1 (- x)) (/ 1 (- y)))) into (fma (/ -1 z) (- 5.0 (/ 1 x)) (/ 1 (* x y))) 0.128 * [approximate]: Taking taylor expansion of (fma (/ -1 z) (- 5.0 (/ 1 x)) (/ 1 (* x y))) in (z x y) around 0 0.128 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- 5.0 (/ 1 x)) (/ 1 (* x y))) in y 0.128 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- 5.0 (/ 1 x))) (/ 1 (* x y))) 0.128 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- 5.0 (/ 1 x))) in y 0.129 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.129 * [taylor]: Taking taylor expansion of -1 in y 0.129 * [backup-simplify]: Simplify -1 into -1 0.129 * [taylor]: Taking taylor expansion of z in y 0.129 * [backup-simplify]: Simplify z into z 0.129 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.129 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 x)) in y 0.129 * [taylor]: Taking taylor expansion of 5.0 in y 0.129 * [backup-simplify]: Simplify 5.0 into 5.0 0.129 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.129 * [taylor]: Taking taylor expansion of x in y 0.129 * [backup-simplify]: Simplify x into x 0.129 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.129 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.129 * [taylor]: Taking taylor expansion of (* x y) in y 0.129 * [taylor]: Taking taylor expansion of x in y 0.129 * [backup-simplify]: Simplify x into x 0.129 * [taylor]: Taking taylor expansion of y in y 0.129 * [backup-simplify]: Simplify 0 into 0 0.129 * [backup-simplify]: Simplify 1 into 1 0.129 * [backup-simplify]: Simplify (* x 0) into 0 0.129 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.129 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.129 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- 5.0 (/ 1 x)) (/ 1 (* x y))) in x 0.129 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- 5.0 (/ 1 x))) (/ 1 (* x y))) 0.130 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- 5.0 (/ 1 x))) in x 0.130 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.130 * [taylor]: Taking taylor expansion of -1 in x 0.130 * [backup-simplify]: Simplify -1 into -1 0.130 * [taylor]: Taking taylor expansion of z in x 0.130 * [backup-simplify]: Simplify z into z 0.130 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 0.130 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 x)) in x 0.130 * [taylor]: Taking taylor expansion of 5.0 in x 0.130 * [backup-simplify]: Simplify 5.0 into 5.0 0.130 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.130 * [taylor]: Taking taylor expansion of x in x 0.130 * [backup-simplify]: Simplify 0 into 0 0.130 * [backup-simplify]: Simplify 1 into 1 0.130 * [backup-simplify]: Simplify (/ 1 1) into 1 0.130 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.130 * [taylor]: Taking taylor expansion of (* x y) in x 0.130 * [taylor]: Taking taylor expansion of x in x 0.130 * [backup-simplify]: Simplify 0 into 0 0.130 * [backup-simplify]: Simplify 1 into 1 0.130 * [taylor]: Taking taylor expansion of y in x 0.130 * [backup-simplify]: Simplify y into y 0.130 * [backup-simplify]: Simplify (* 0 y) into 0 0.131 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.131 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.131 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- 5.0 (/ 1 x)) (/ 1 (* x y))) in z 0.131 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- 5.0 (/ 1 x))) (/ 1 (* x y))) 0.131 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- 5.0 (/ 1 x))) in z 0.131 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.131 * [taylor]: Taking taylor expansion of -1 in z 0.131 * [backup-simplify]: Simplify -1 into -1 0.131 * [taylor]: Taking taylor expansion of z in z 0.131 * [backup-simplify]: Simplify 0 into 0 0.131 * [backup-simplify]: Simplify 1 into 1 0.131 * [backup-simplify]: Simplify (/ -1 1) into -1 0.131 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 x)) in z 0.131 * [taylor]: Taking taylor expansion of 5.0 in z 0.131 * [backup-simplify]: Simplify 5.0 into 5.0 0.131 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.131 * [taylor]: Taking taylor expansion of x in z 0.131 * [backup-simplify]: Simplify x into x 0.131 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.131 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 0.131 * [taylor]: Taking taylor expansion of (* x y) in z 0.131 * [taylor]: Taking taylor expansion of x in z 0.131 * [backup-simplify]: Simplify x into x 0.131 * [taylor]: Taking taylor expansion of y in z 0.131 * [backup-simplify]: Simplify y into y 0.131 * [backup-simplify]: Simplify (* x y) into (* x y) 0.132 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 0.132 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- 5.0 (/ 1 x)) (/ 1 (* x y))) in z 0.132 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- 5.0 (/ 1 x))) (/ 1 (* x y))) 0.132 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- 5.0 (/ 1 x))) in z 0.132 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.132 * [taylor]: Taking taylor expansion of -1 in z 0.132 * [backup-simplify]: Simplify -1 into -1 0.132 * [taylor]: Taking taylor expansion of z in z 0.132 * [backup-simplify]: Simplify 0 into 0 0.132 * [backup-simplify]: Simplify 1 into 1 0.132 * [backup-simplify]: Simplify (/ -1 1) into -1 0.132 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 x)) in z 0.132 * [taylor]: Taking taylor expansion of 5.0 in z 0.132 * [backup-simplify]: Simplify 5.0 into 5.0 0.132 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.132 * [taylor]: Taking taylor expansion of x in z 0.132 * [backup-simplify]: Simplify x into x 0.132 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.132 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 0.132 * [taylor]: Taking taylor expansion of (* x y) in z 0.132 * [taylor]: Taking taylor expansion of x in z 0.132 * [backup-simplify]: Simplify x into x 0.132 * [taylor]: Taking taylor expansion of y in z 0.132 * [backup-simplify]: Simplify y into y 0.132 * [backup-simplify]: Simplify (* x y) into (* x y) 0.132 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 0.133 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 0.133 * [backup-simplify]: Simplify (+ 5.0 (- (/ 1 x))) into (- 5.0 (/ 1 x)) 0.133 * [backup-simplify]: Simplify (* -1 (- 5.0 (/ 1 x))) into (* -1 (- 5.0 (/ 1 x))) 0.133 * [backup-simplify]: Simplify (+ (* -1 (- 5.0 (/ 1 x))) 0) into (- (/ 1 x) 5.0) 0.133 * [taylor]: Taking taylor expansion of (- (/ 1 x) 5.0) in x 0.133 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.133 * [taylor]: Taking taylor expansion of x in x 0.133 * [backup-simplify]: Simplify 0 into 0 0.133 * [backup-simplify]: Simplify 1 into 1 0.134 * [backup-simplify]: Simplify (/ 1 1) into 1 0.134 * [taylor]: Taking taylor expansion of 5.0 in x 0.134 * [backup-simplify]: Simplify 5.0 into 5.0 0.134 * [backup-simplify]: Simplify (+ 1 0) into 1 0.134 * [taylor]: Taking taylor expansion of 1 in y 0.134 * [backup-simplify]: Simplify 1 into 1 0.134 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.135 * [backup-simplify]: Simplify (- 0) into 0 0.135 * [backup-simplify]: Simplify (+ 0 0) into 0 0.136 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.137 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- 5.0 (/ 1 x)))) into 0 0.137 * [backup-simplify]: Simplify (+ 0 (/ 1 (* x y))) into (/ 1 (* x y)) 0.137 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.137 * [taylor]: Taking taylor expansion of (* x y) in x 0.137 * [taylor]: Taking taylor expansion of x in x 0.137 * [backup-simplify]: Simplify 0 into 0 0.137 * [backup-simplify]: Simplify 1 into 1 0.137 * [taylor]: Taking taylor expansion of y in x 0.137 * [backup-simplify]: Simplify y into y 0.137 * [backup-simplify]: Simplify (* 0 y) into 0 0.138 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.138 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.138 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.138 * [taylor]: Taking taylor expansion of y in y 0.138 * [backup-simplify]: Simplify 0 into 0 0.138 * [backup-simplify]: Simplify 1 into 1 0.147 * [backup-simplify]: Simplify (/ 1 1) into 1 0.147 * [backup-simplify]: Simplify 1 into 1 0.149 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.149 * [backup-simplify]: Simplify (- 5.0) into (- 5.0) 0.150 * [backup-simplify]: Simplify (+ 0 (- 5.0)) into (- 5.0) 0.150 * [taylor]: Taking taylor expansion of (- 5.0) in y 0.151 * [taylor]: Taking taylor expansion of 5.0 in y 0.151 * [backup-simplify]: Simplify 5.0 into 5.0 0.151 * [backup-simplify]: Simplify 1 into 1 0.151 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.152 * [backup-simplify]: Simplify (- 0) into 0 0.152 * [backup-simplify]: Simplify (+ 0 0) into 0 0.153 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.154 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- 5.0 (/ 1 x))))) into 0 0.154 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 0.155 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 0.155 * [backup-simplify]: Simplify (+ 0 0) into 0 0.155 * [taylor]: Taking taylor expansion of 0 in x 0.155 * [backup-simplify]: Simplify 0 into 0 0.156 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.156 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.156 * [taylor]: Taking taylor expansion of 0 in y 0.156 * [backup-simplify]: Simplify 0 into 0 0.157 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.158 * [backup-simplify]: Simplify (- 0) into 0 0.158 * [backup-simplify]: Simplify (+ 0 0) into 0 0.158 * [taylor]: Taking taylor expansion of 0 in y 0.158 * [backup-simplify]: Simplify 0 into 0 0.159 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.159 * [backup-simplify]: Simplify 0 into 0 0.160 * [backup-simplify]: Simplify (- 5.0) into (- 5.0) 0.160 * [backup-simplify]: Simplify (- 5.0) into (- 5.0) 0.161 * [backup-simplify]: Simplify (+ (* (- 5.0) (* 1 (* 1 (/ 1 (/ 1 (- z)))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- z)))))) (* 1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) 1))))) into (+ (* 5.0 z) (+ (* x z) (* x y))) 0.161 * * * [progress]: simplifying candidates 0.162 * [simplify]: Simplifying: (expm1 (fma z (+ 5.0 x) (* x y))) (log1p (fma z (+ 5.0 x) (* x y))) (* z (+ 5.0 x)) (log (fma z (+ 5.0 x) (* x y))) (exp (fma z (+ 5.0 x) (* x y))) (* (cbrt (fma z (+ 5.0 x) (* x y))) (cbrt (fma z (+ 5.0 x) (* x y)))) (cbrt (fma z (+ 5.0 x) (* x y))) (* (* (fma z (+ 5.0 x) (* x y)) (fma z (+ 5.0 x) (* x y))) (fma z (+ 5.0 x) (* x y))) (sqrt (fma z (+ 5.0 x) (* x y))) (sqrt (fma z (+ 5.0 x) (* x y))) (+ (* 5.0 z) (+ (* x z) (* x y))) (+ (* 5.0 z) (+ (* x z) (* x y))) (+ (* 5.0 z) (+ (* x z) (* x y))) 0.162 * * [simplify]: iteration 0: 21 enodes 0.171 * * [simplify]: iteration 1: 39 enodes 0.186 * * [simplify]: iteration 2: 99 enodes 0.259 * * [simplify]: iteration 3: 475 enodes 1.255 * * [simplify]: iteration 4: 3568 enodes 2.995 * * [simplify]: iteration complete: 5000 enodes 2.996 * * [simplify]: Extracting #0: cost 10 inf + 0 2.996 * * [simplify]: Extracting #1: cost 89 inf + 0 3.004 * * [simplify]: Extracting #2: cost 728 inf + 47 3.017 * * [simplify]: Extracting #3: cost 720 inf + 8821 3.056 * * [simplify]: Extracting #4: cost 283 inf + 129459 3.164 * * [simplify]: Extracting #5: cost 1 inf + 202610 3.285 * * [simplify]: Extracting #6: cost 0 inf + 200904 3.425 * [simplify]: Simplified to: (expm1 (fma x y (* (+ 5.0 x) z))) (log1p (fma x y (* (+ 5.0 x) z))) (* (+ 5.0 x) z) (log (fma x y (* (+ 5.0 x) z))) (exp (fma x y (* (+ 5.0 x) z))) (* (cbrt (fma x y (* (+ 5.0 x) z))) (cbrt (fma x y (* (+ 5.0 x) z)))) (cbrt (fma x y (* (+ 5.0 x) z))) (* (fma x y (* (+ 5.0 x) z)) (* (fma x y (* (+ 5.0 x) z)) (fma x y (* (+ 5.0 x) z)))) (sqrt (fma x y (* (+ 5.0 x) z))) (sqrt (fma x y (* (+ 5.0 x) z))) (fma x y (* (+ 5.0 x) z)) (fma x y (* (+ 5.0 x) z)) (fma x y (* (+ 5.0 x) z)) 3.426 * * * [progress]: adding candidates to table 3.488 * * [progress]: iteration 2 / 4 3.488 * * * [progress]: picking best candidate 3.506 * * * * [pick]: Picked # 3.506 * * * [progress]: localizing error 3.517 * * * [progress]: generating rewritten candidates 3.517 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3) 3.544 * * * [progress]: generating series expansions 3.544 * * * * [progress]: [ 1 / 1 ] generating series at (2 3) 3.544 * [backup-simplify]: Simplify (* (+ 5.0 x) z) into (* (+ x 5.0) z) 3.544 * [approximate]: Taking taylor expansion of (* (+ x 5.0) z) in (x z) around 0 3.544 * [taylor]: Taking taylor expansion of (* (+ x 5.0) z) in z 3.544 * [taylor]: Taking taylor expansion of (+ x 5.0) in z 3.544 * [taylor]: Taking taylor expansion of x in z 3.544 * [backup-simplify]: Simplify x into x 3.544 * [taylor]: Taking taylor expansion of 5.0 in z 3.544 * [backup-simplify]: Simplify 5.0 into 5.0 3.544 * [taylor]: Taking taylor expansion of z in z 3.544 * [backup-simplify]: Simplify 0 into 0 3.544 * [backup-simplify]: Simplify 1 into 1 3.544 * [taylor]: Taking taylor expansion of (* (+ x 5.0) z) in x 3.544 * [taylor]: Taking taylor expansion of (+ x 5.0) in x 3.544 * [taylor]: Taking taylor expansion of x in x 3.544 * [backup-simplify]: Simplify 0 into 0 3.545 * [backup-simplify]: Simplify 1 into 1 3.545 * [taylor]: Taking taylor expansion of 5.0 in x 3.545 * [backup-simplify]: Simplify 5.0 into 5.0 3.545 * [taylor]: Taking taylor expansion of z in x 3.545 * [backup-simplify]: Simplify z into z 3.545 * [taylor]: Taking taylor expansion of (* (+ x 5.0) z) in x 3.545 * [taylor]: Taking taylor expansion of (+ x 5.0) in x 3.545 * [taylor]: Taking taylor expansion of x in x 3.545 * [backup-simplify]: Simplify 0 into 0 3.545 * [backup-simplify]: Simplify 1 into 1 3.545 * [taylor]: Taking taylor expansion of 5.0 in x 3.545 * [backup-simplify]: Simplify 5.0 into 5.0 3.545 * [taylor]: Taking taylor expansion of z in x 3.545 * [backup-simplify]: Simplify z into z 3.546 * [backup-simplify]: Simplify (+ 0 5.0) into 5.0 3.546 * [backup-simplify]: Simplify (* 5.0 z) into (* 5.0 z) 3.546 * [taylor]: Taking taylor expansion of (* 5.0 z) in z 3.546 * [taylor]: Taking taylor expansion of 5.0 in z 3.546 * [backup-simplify]: Simplify 5.0 into 5.0 3.546 * [taylor]: Taking taylor expansion of z in z 3.546 * [backup-simplify]: Simplify 0 into 0 3.546 * [backup-simplify]: Simplify 1 into 1 3.547 * [backup-simplify]: Simplify (* 5.0 0) into 0 3.547 * [backup-simplify]: Simplify 0 into 0 3.547 * [backup-simplify]: Simplify (+ 1 0) into 1 3.548 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 1 z)) into z 3.548 * [taylor]: Taking taylor expansion of z in z 3.548 * [backup-simplify]: Simplify 0 into 0 3.548 * [backup-simplify]: Simplify 1 into 1 3.548 * [backup-simplify]: Simplify 0 into 0 3.549 * [backup-simplify]: Simplify (+ (* 5.0 1) (* 0 0)) into 5.0 3.549 * [backup-simplify]: Simplify 5.0 into 5.0 3.550 * [backup-simplify]: Simplify (+ 0 0) into 0 3.550 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 1 0) (* 0 z))) into 0 3.550 * [taylor]: Taking taylor expansion of 0 in z 3.550 * [backup-simplify]: Simplify 0 into 0 3.550 * [backup-simplify]: Simplify 0 into 0 3.550 * [backup-simplify]: Simplify 1 into 1 3.551 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 1) (* 0 0))) into 0 3.551 * [backup-simplify]: Simplify 0 into 0 3.551 * [backup-simplify]: Simplify (+ 0 0) into 0 3.552 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0 3.552 * [taylor]: Taking taylor expansion of 0 in z 3.552 * [backup-simplify]: Simplify 0 into 0 3.552 * [backup-simplify]: Simplify 0 into 0 3.552 * [backup-simplify]: Simplify 0 into 0 3.552 * [backup-simplify]: Simplify 0 into 0 3.553 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.553 * [backup-simplify]: Simplify 0 into 0 3.553 * [backup-simplify]: Simplify (+ 0 0) into 0 3.554 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0 3.554 * [taylor]: Taking taylor expansion of 0 in z 3.554 * [backup-simplify]: Simplify 0 into 0 3.554 * [backup-simplify]: Simplify 0 into 0 3.555 * [backup-simplify]: Simplify (+ (* 1 (* z x)) (* 5.0 (* z 1))) into (+ (* 5.0 z) (* x z)) 3.555 * [backup-simplify]: Simplify (* (+ 5.0 (/ 1 x)) (/ 1 z)) into (/ (+ (/ 1 x) 5.0) z) 3.555 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 5.0) z) in (x z) around 0 3.555 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 5.0) z) in z 3.555 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 5.0) in z 3.555 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.555 * [taylor]: Taking taylor expansion of x in z 3.555 * [backup-simplify]: Simplify x into x 3.555 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.555 * [taylor]: Taking taylor expansion of 5.0 in z 3.555 * [backup-simplify]: Simplify 5.0 into 5.0 3.555 * [taylor]: Taking taylor expansion of z in z 3.555 * [backup-simplify]: Simplify 0 into 0 3.555 * [backup-simplify]: Simplify 1 into 1 3.555 * [backup-simplify]: Simplify (+ (/ 1 x) 5.0) into (+ (/ 1 x) 5.0) 3.555 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 5.0) 1) into (+ (/ 1 x) 5.0) 3.555 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 5.0) z) in x 3.555 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 5.0) in x 3.555 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.555 * [taylor]: Taking taylor expansion of x in x 3.555 * [backup-simplify]: Simplify 0 into 0 3.555 * [backup-simplify]: Simplify 1 into 1 3.556 * [backup-simplify]: Simplify (/ 1 1) into 1 3.556 * [taylor]: Taking taylor expansion of 5.0 in x 3.556 * [backup-simplify]: Simplify 5.0 into 5.0 3.556 * [taylor]: Taking taylor expansion of z in x 3.556 * [backup-simplify]: Simplify z into z 3.556 * [backup-simplify]: Simplify (+ 1 0) into 1 3.556 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.556 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 5.0) z) in x 3.556 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 5.0) in x 3.556 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.556 * [taylor]: Taking taylor expansion of x in x 3.556 * [backup-simplify]: Simplify 0 into 0 3.556 * [backup-simplify]: Simplify 1 into 1 3.556 * [backup-simplify]: Simplify (/ 1 1) into 1 3.556 * [taylor]: Taking taylor expansion of 5.0 in x 3.557 * [backup-simplify]: Simplify 5.0 into 5.0 3.557 * [taylor]: Taking taylor expansion of z in x 3.557 * [backup-simplify]: Simplify z into z 3.557 * [backup-simplify]: Simplify (+ 1 0) into 1 3.557 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.557 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.557 * [taylor]: Taking taylor expansion of z in z 3.557 * [backup-simplify]: Simplify 0 into 0 3.557 * [backup-simplify]: Simplify 1 into 1 3.557 * [backup-simplify]: Simplify (/ 1 1) into 1 3.557 * [backup-simplify]: Simplify 1 into 1 3.558 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.558 * [backup-simplify]: Simplify (+ 0 5.0) into 5.0 3.558 * [backup-simplify]: Simplify (- (/ 5.0 z) (+ (* (/ 1 z) (/ 0 z)))) into (* 5.0 (/ 1 z)) 3.558 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in z 3.558 * [taylor]: Taking taylor expansion of 5.0 in z 3.558 * [backup-simplify]: Simplify 5.0 into 5.0 3.558 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.558 * [taylor]: Taking taylor expansion of z in z 3.558 * [backup-simplify]: Simplify 0 into 0 3.558 * [backup-simplify]: Simplify 1 into 1 3.559 * [backup-simplify]: Simplify (/ 1 1) into 1 3.559 * [backup-simplify]: Simplify (* 5.0 1) into 5.0 3.559 * [backup-simplify]: Simplify 5.0 into 5.0 3.560 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.560 * [backup-simplify]: Simplify 0 into 0 3.560 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.560 * [backup-simplify]: Simplify (+ 0 0) into 0 3.561 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* (* 5.0 (/ 1 z)) (/ 0 z)))) into 0 3.561 * [taylor]: Taking taylor expansion of 0 in z 3.561 * [backup-simplify]: Simplify 0 into 0 3.561 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.562 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0 3.562 * [backup-simplify]: Simplify 0 into 0 3.562 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.562 * [backup-simplify]: Simplify 0 into 0 3.563 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.563 * [backup-simplify]: Simplify (+ 0 0) into 0 3.563 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* (* 5.0 (/ 1 z)) (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.563 * [taylor]: Taking taylor expansion of 0 in z 3.563 * [backup-simplify]: Simplify 0 into 0 3.563 * [backup-simplify]: Simplify 0 into 0 3.564 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.565 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0 3.565 * [backup-simplify]: Simplify 0 into 0 3.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.565 * [backup-simplify]: Simplify 0 into 0 3.566 * [backup-simplify]: Simplify (+ (* 5.0 (* (/ 1 (/ 1 z)) 1)) (* 1 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 x))))) into (+ (* 5.0 z) (* x z)) 3.566 * [backup-simplify]: Simplify (* (+ 5.0 (/ 1 (- x))) (/ 1 (- z))) into (* -1 (/ (- 5.0 (/ 1 x)) z)) 3.566 * [approximate]: Taking taylor expansion of (* -1 (/ (- 5.0 (/ 1 x)) z)) in (x z) around 0 3.566 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5.0 (/ 1 x)) z)) in z 3.566 * [taylor]: Taking taylor expansion of -1 in z 3.566 * [backup-simplify]: Simplify -1 into -1 3.566 * [taylor]: Taking taylor expansion of (/ (- 5.0 (/ 1 x)) z) in z 3.566 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 x)) in z 3.566 * [taylor]: Taking taylor expansion of 5.0 in z 3.566 * [backup-simplify]: Simplify 5.0 into 5.0 3.566 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.566 * [taylor]: Taking taylor expansion of x in z 3.566 * [backup-simplify]: Simplify x into x 3.566 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.566 * [taylor]: Taking taylor expansion of z in z 3.566 * [backup-simplify]: Simplify 0 into 0 3.566 * [backup-simplify]: Simplify 1 into 1 3.566 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 3.566 * [backup-simplify]: Simplify (+ 5.0 (- (/ 1 x))) into (- 5.0 (/ 1 x)) 3.566 * [backup-simplify]: Simplify (/ (- 5.0 (/ 1 x)) 1) into (- 5.0 (/ 1 x)) 3.566 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5.0 (/ 1 x)) z)) in x 3.566 * [taylor]: Taking taylor expansion of -1 in x 3.566 * [backup-simplify]: Simplify -1 into -1 3.566 * [taylor]: Taking taylor expansion of (/ (- 5.0 (/ 1 x)) z) in x 3.566 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 x)) in x 3.566 * [taylor]: Taking taylor expansion of 5.0 in x 3.566 * [backup-simplify]: Simplify 5.0 into 5.0 3.566 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.566 * [taylor]: Taking taylor expansion of x in x 3.566 * [backup-simplify]: Simplify 0 into 0 3.566 * [backup-simplify]: Simplify 1 into 1 3.567 * [backup-simplify]: Simplify (/ 1 1) into 1 3.567 * [taylor]: Taking taylor expansion of z in x 3.567 * [backup-simplify]: Simplify z into z 3.567 * [backup-simplify]: Simplify (- 1) into -1 3.567 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.567 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 3.567 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5.0 (/ 1 x)) z)) in x 3.567 * [taylor]: Taking taylor expansion of -1 in x 3.567 * [backup-simplify]: Simplify -1 into -1 3.568 * [taylor]: Taking taylor expansion of (/ (- 5.0 (/ 1 x)) z) in x 3.568 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 x)) in x 3.568 * [taylor]: Taking taylor expansion of 5.0 in x 3.568 * [backup-simplify]: Simplify 5.0 into 5.0 3.568 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.568 * [taylor]: Taking taylor expansion of x in x 3.568 * [backup-simplify]: Simplify 0 into 0 3.568 * [backup-simplify]: Simplify 1 into 1 3.568 * [backup-simplify]: Simplify (/ 1 1) into 1 3.568 * [taylor]: Taking taylor expansion of z in x 3.568 * [backup-simplify]: Simplify z into z 3.568 * [backup-simplify]: Simplify (- 1) into -1 3.568 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.569 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 3.569 * [backup-simplify]: Simplify (* -1 (/ -1 z)) into (/ 1 z) 3.569 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.569 * [taylor]: Taking taylor expansion of z in z 3.569 * [backup-simplify]: Simplify 0 into 0 3.569 * [backup-simplify]: Simplify 1 into 1 3.569 * [backup-simplify]: Simplify (/ 1 1) into 1 3.569 * [backup-simplify]: Simplify 1 into 1 3.570 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.570 * [backup-simplify]: Simplify (- 0) into 0 3.570 * [backup-simplify]: Simplify (+ 5.0 0) into 5.0 3.570 * [backup-simplify]: Simplify (- (/ 5.0 z) (+ (* (/ -1 z) (/ 0 z)))) into (* 5.0 (/ 1 z)) 3.570 * [backup-simplify]: Simplify (+ (* -1 (* 5.0 (/ 1 z))) (* 0 (/ -1 z))) into (- (* 5.0 (/ 1 z))) 3.570 * [taylor]: Taking taylor expansion of (- (* 5.0 (/ 1 z))) in z 3.570 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in z 3.570 * [taylor]: Taking taylor expansion of 5.0 in z 3.570 * [backup-simplify]: Simplify 5.0 into 5.0 3.570 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.570 * [taylor]: Taking taylor expansion of z in z 3.570 * [backup-simplify]: Simplify 0 into 0 3.570 * [backup-simplify]: Simplify 1 into 1 3.571 * [backup-simplify]: Simplify (/ 1 1) into 1 3.571 * [backup-simplify]: Simplify (* 5.0 1) into 5.0 3.571 * [backup-simplify]: Simplify (- 5.0) into (- 5.0) 3.572 * [backup-simplify]: Simplify (- 5.0) into (- 5.0) 3.572 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.572 * [backup-simplify]: Simplify 0 into 0 3.573 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.573 * [backup-simplify]: Simplify (- 0) into 0 3.573 * [backup-simplify]: Simplify (+ 0 0) into 0 3.574 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* (* 5.0 (/ 1 z)) (/ 0 z)))) into 0 3.574 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (* 5.0 (/ 1 z))) (* 0 (/ -1 z)))) into 0 3.574 * [taylor]: Taking taylor expansion of 0 in z 3.574 * [backup-simplify]: Simplify 0 into 0 3.575 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.575 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0 3.575 * [backup-simplify]: Simplify (- 0) into 0 3.575 * [backup-simplify]: Simplify 0 into 0 3.576 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.576 * [backup-simplify]: Simplify 0 into 0 3.577 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.577 * [backup-simplify]: Simplify (- 0) into 0 3.577 * [backup-simplify]: Simplify (+ 0 0) into 0 3.577 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* (* 5.0 (/ 1 z)) (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.578 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (* 5.0 (/ 1 z))) (* 0 (/ -1 z))))) into 0 3.578 * [taylor]: Taking taylor expansion of 0 in z 3.578 * [backup-simplify]: Simplify 0 into 0 3.578 * [backup-simplify]: Simplify 0 into 0 3.579 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.579 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0 3.579 * [backup-simplify]: Simplify (- 0) into 0 3.579 * [backup-simplify]: Simplify 0 into 0 3.580 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.580 * [backup-simplify]: Simplify 0 into 0 3.581 * [backup-simplify]: Simplify (+ (* (- 5.0) (* (/ 1 (/ 1 (- z))) 1)) (* 1 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- x)))))) into (+ (* 5.0 z) (* x z)) 3.581 * * * [progress]: simplifying candidates 3.581 * [simplify]: Simplifying: (expm1 (* (+ 5.0 x) z)) (log1p (* (+ 5.0 x) z)) (* (+ 5.0 x) z) (+ (log (+ 5.0 x)) (log z)) (log (* (+ 5.0 x) z)) (exp (* (+ 5.0 x) z)) (* (* (* (+ 5.0 x) (+ 5.0 x)) (+ 5.0 x)) (* (* z z) z)) (* (cbrt (* (+ 5.0 x) z)) (cbrt (* (+ 5.0 x) z))) (cbrt (* (+ 5.0 x) z)) (* (* (* (+ 5.0 x) z) (* (+ 5.0 x) z)) (* (+ 5.0 x) z)) (sqrt (* (+ 5.0 x) z)) (sqrt (* (+ 5.0 x) z)) (* (sqrt (+ 5.0 x)) (sqrt z)) (* (sqrt (+ 5.0 x)) (sqrt z)) (* (+ 5.0 x) (* (cbrt z) (cbrt z))) (* (+ 5.0 x) (sqrt z)) (* (+ 5.0 x) 1) (* (cbrt (+ 5.0 x)) z) (* (sqrt (+ 5.0 x)) z) (* (+ 5.0 x) z) (* (+ 5.0 x) z) (* (+ (pow 5.0 3) (pow x 3)) z) (* (- (* 5.0 5.0) (* x x)) z) (+ (* 5.0 z) (* x z)) (+ (* 5.0 z) (* x z)) (+ (* 5.0 z) (* x z)) 3.582 * * [simplify]: iteration 0: 46 enodes 3.594 * * [simplify]: iteration 1: 116 enodes 3.644 * * [simplify]: iteration 2: 359 enodes 3.984 * * [simplify]: iteration 3: 1560 enodes 5.047 * * [simplify]: iteration complete: 5031 enodes 5.047 * * [simplify]: Extracting #0: cost 17 inf + 0 5.048 * * [simplify]: Extracting #1: cost 299 inf + 0 5.051 * * [simplify]: Extracting #2: cost 1145 inf + 968 5.064 * * [simplify]: Extracting #3: cost 1755 inf + 54292 5.130 * * [simplify]: Extracting #4: cost 303 inf + 292214 5.196 * * [simplify]: Extracting #5: cost 37 inf + 340962 5.268 * * [simplify]: Extracting #6: cost 6 inf + 345526 5.349 * * [simplify]: Extracting #7: cost 0 inf + 347044 5.453 * [simplify]: Simplified to: (expm1 (* z (+ 5.0 x))) (log1p (* z (+ 5.0 x))) (* z (+ 5.0 x)) (log (* z (+ 5.0 x))) (log (* z (+ 5.0 x))) (exp (* z (+ 5.0 x))) (* (* (* z (+ 5.0 x)) z) (* (* z (+ 5.0 x)) (+ 5.0 x))) (* (cbrt (* z (+ 5.0 x))) (cbrt (* z (+ 5.0 x)))) (cbrt (* z (+ 5.0 x))) (* (* (* z (+ 5.0 x)) z) (* (* z (+ 5.0 x)) (+ 5.0 x))) (sqrt (* z (+ 5.0 x))) (sqrt (* z (+ 5.0 x))) (* (sqrt z) (sqrt (+ x 5.0))) (* (sqrt z) (sqrt (+ x 5.0))) (* (cbrt z) (* (cbrt z) (+ x 5.0))) (* (sqrt z) (+ x 5.0)) (+ x 5.0) (* z (cbrt (+ x 5.0))) (* z (sqrt (+ x 5.0))) (* z (+ 5.0 x)) (* z (+ 5.0 x)) (* z (fma (* x x) x (* (* 5.0 5.0) 5.0))) (* (* z (+ 5.0 x)) (- 5.0 x)) (* z (+ 5.0 x)) (* z (+ 5.0 x)) (* z (+ 5.0 x)) 5.455 * * * [progress]: adding candidates to table 5.559 * * [progress]: iteration 3 / 4 5.559 * * * [progress]: picking best candidate 5.575 * * * * [pick]: Picked # 5.575 * * * [progress]: localizing error 5.586 * * * [progress]: generating rewritten candidates 5.586 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 5.603 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 5.629 * * * [progress]: generating series expansions 5.629 * * * * [progress]: [ 1 / 2 ] generating series at (2) 5.629 * [backup-simplify]: Simplify (+ (* x (+ y z)) (* z 5.0)) into (+ (* 5.0 z) (+ (* x y) (* x z))) 5.629 * [approximate]: Taking taylor expansion of (+ (* 5.0 z) (+ (* x y) (* x z))) in (x y z) around 0 5.629 * [taylor]: Taking taylor expansion of (+ (* 5.0 z) (+ (* x y) (* x z))) in z 5.629 * [taylor]: Taking taylor expansion of (* 5.0 z) in z 5.629 * [taylor]: Taking taylor expansion of 5.0 in z 5.629 * [backup-simplify]: Simplify 5.0 into 5.0 5.629 * [taylor]: Taking taylor expansion of z in z 5.629 * [backup-simplify]: Simplify 0 into 0 5.629 * [backup-simplify]: Simplify 1 into 1 5.629 * [taylor]: Taking taylor expansion of (+ (* x y) (* x z)) in z 5.629 * [taylor]: Taking taylor expansion of (* x y) in z 5.629 * [taylor]: Taking taylor expansion of x in z 5.629 * [backup-simplify]: Simplify x into x 5.629 * [taylor]: Taking taylor expansion of y in z 5.629 * [backup-simplify]: Simplify y into y 5.629 * [taylor]: Taking taylor expansion of (* x z) in z 5.629 * [taylor]: Taking taylor expansion of x in z 5.629 * [backup-simplify]: Simplify x into x 5.629 * [taylor]: Taking taylor expansion of z in z 5.630 * [backup-simplify]: Simplify 0 into 0 5.630 * [backup-simplify]: Simplify 1 into 1 5.630 * [taylor]: Taking taylor expansion of (+ (* 5.0 z) (+ (* x y) (* x z))) in y 5.630 * [taylor]: Taking taylor expansion of (* 5.0 z) in y 5.630 * [taylor]: Taking taylor expansion of 5.0 in y 5.630 * [backup-simplify]: Simplify 5.0 into 5.0 5.630 * [taylor]: Taking taylor expansion of z in y 5.630 * [backup-simplify]: Simplify z into z 5.630 * [taylor]: Taking taylor expansion of (+ (* x y) (* x z)) in y 5.630 * [taylor]: Taking taylor expansion of (* x y) in y 5.630 * [taylor]: Taking taylor expansion of x in y 5.630 * [backup-simplify]: Simplify x into x 5.630 * [taylor]: Taking taylor expansion of y in y 5.630 * [backup-simplify]: Simplify 0 into 0 5.630 * [backup-simplify]: Simplify 1 into 1 5.630 * [taylor]: Taking taylor expansion of (* x z) in y 5.630 * [taylor]: Taking taylor expansion of x in y 5.630 * [backup-simplify]: Simplify x into x 5.630 * [taylor]: Taking taylor expansion of z in y 5.630 * [backup-simplify]: Simplify z into z 5.630 * [taylor]: Taking taylor expansion of (+ (* 5.0 z) (+ (* x y) (* x z))) in x 5.630 * [taylor]: Taking taylor expansion of (* 5.0 z) in x 5.630 * [taylor]: Taking taylor expansion of 5.0 in x 5.630 * [backup-simplify]: Simplify 5.0 into 5.0 5.630 * [taylor]: Taking taylor expansion of z in x 5.630 * [backup-simplify]: Simplify z into z 5.630 * [taylor]: Taking taylor expansion of (+ (* x y) (* x z)) in x 5.630 * [taylor]: Taking taylor expansion of (* x y) in x 5.630 * [taylor]: Taking taylor expansion of x in x 5.630 * [backup-simplify]: Simplify 0 into 0 5.630 * [backup-simplify]: Simplify 1 into 1 5.630 * [taylor]: Taking taylor expansion of y in x 5.630 * [backup-simplify]: Simplify y into y 5.630 * [taylor]: Taking taylor expansion of (* x z) in x 5.630 * [taylor]: Taking taylor expansion of x in x 5.630 * [backup-simplify]: Simplify 0 into 0 5.631 * [backup-simplify]: Simplify 1 into 1 5.631 * [taylor]: Taking taylor expansion of z in x 5.631 * [backup-simplify]: Simplify z into z 5.631 * [taylor]: Taking taylor expansion of (+ (* 5.0 z) (+ (* x y) (* x z))) in x 5.631 * [taylor]: Taking taylor expansion of (* 5.0 z) in x 5.631 * [taylor]: Taking taylor expansion of 5.0 in x 5.631 * [backup-simplify]: Simplify 5.0 into 5.0 5.631 * [taylor]: Taking taylor expansion of z in x 5.631 * [backup-simplify]: Simplify z into z 5.631 * [taylor]: Taking taylor expansion of (+ (* x y) (* x z)) in x 5.631 * [taylor]: Taking taylor expansion of (* x y) in x 5.631 * [taylor]: Taking taylor expansion of x in x 5.631 * [backup-simplify]: Simplify 0 into 0 5.631 * [backup-simplify]: Simplify 1 into 1 5.631 * [taylor]: Taking taylor expansion of y in x 5.631 * [backup-simplify]: Simplify y into y 5.631 * [taylor]: Taking taylor expansion of (* x z) in x 5.631 * [taylor]: Taking taylor expansion of x in x 5.631 * [backup-simplify]: Simplify 0 into 0 5.631 * [backup-simplify]: Simplify 1 into 1 5.631 * [taylor]: Taking taylor expansion of z in x 5.631 * [backup-simplify]: Simplify z into z 5.631 * [backup-simplify]: Simplify (* 5.0 z) into (* 5.0 z) 5.631 * [backup-simplify]: Simplify (* 0 y) into 0 5.631 * [backup-simplify]: Simplify (* 0 z) into 0 5.632 * [backup-simplify]: Simplify (+ 0 0) into 0 5.632 * [backup-simplify]: Simplify (+ (* 5.0 z) 0) into (* 5.0 z) 5.632 * [taylor]: Taking taylor expansion of (* 5.0 z) in y 5.632 * [taylor]: Taking taylor expansion of 5.0 in y 5.632 * [backup-simplify]: Simplify 5.0 into 5.0 5.632 * [taylor]: Taking taylor expansion of z in y 5.632 * [backup-simplify]: Simplify z into z 5.632 * [backup-simplify]: Simplify (* 5.0 z) into (* 5.0 z) 5.632 * [taylor]: Taking taylor expansion of (* 5.0 z) in z 5.632 * [taylor]: Taking taylor expansion of 5.0 in z 5.632 * [backup-simplify]: Simplify 5.0 into 5.0 5.632 * [taylor]: Taking taylor expansion of z in z 5.632 * [backup-simplify]: Simplify 0 into 0 5.632 * [backup-simplify]: Simplify 1 into 1 5.633 * [backup-simplify]: Simplify (* 5.0 0) into 0 5.633 * [backup-simplify]: Simplify 0 into 0 5.633 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 z)) into 0 5.634 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.634 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 5.634 * [backup-simplify]: Simplify (+ y z) into (+ z y) 5.634 * [backup-simplify]: Simplify (+ 0 (+ z y)) into (+ z y) 5.634 * [taylor]: Taking taylor expansion of (+ z y) in y 5.635 * [taylor]: Taking taylor expansion of z in y 5.635 * [backup-simplify]: Simplify z into z 5.635 * [taylor]: Taking taylor expansion of y in y 5.635 * [backup-simplify]: Simplify 0 into 0 5.635 * [backup-simplify]: Simplify 1 into 1 5.635 * [backup-simplify]: Simplify (+ z 0) into z 5.635 * [taylor]: Taking taylor expansion of z in z 5.635 * [backup-simplify]: Simplify 0 into 0 5.635 * [backup-simplify]: Simplify 1 into 1 5.635 * [backup-simplify]: Simplify 0 into 0 5.635 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 z)) into 0 5.635 * [taylor]: Taking taylor expansion of 0 in z 5.635 * [backup-simplify]: Simplify 0 into 0 5.635 * [backup-simplify]: Simplify 0 into 0 5.637 * [backup-simplify]: Simplify (+ (* 5.0 1) (* 0 0)) into 5.0 5.637 * [backup-simplify]: Simplify 5.0 into 5.0 5.638 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 z))) into 0 5.639 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.640 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 5.640 * [backup-simplify]: Simplify (+ 0 0) into 0 5.640 * [backup-simplify]: Simplify (+ 0 0) into 0 5.640 * [taylor]: Taking taylor expansion of 0 in y 5.640 * [backup-simplify]: Simplify 0 into 0 5.640 * [taylor]: Taking taylor expansion of 0 in z 5.640 * [backup-simplify]: Simplify 0 into 0 5.640 * [backup-simplify]: Simplify 0 into 0 5.641 * [backup-simplify]: Simplify (+ 0 1) into 1 5.641 * [taylor]: Taking taylor expansion of 1 in z 5.641 * [backup-simplify]: Simplify 1 into 1 5.641 * [backup-simplify]: Simplify 1 into 1 5.642 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 z))) into 0 5.642 * [taylor]: Taking taylor expansion of 0 in z 5.642 * [backup-simplify]: Simplify 0 into 0 5.642 * [backup-simplify]: Simplify 0 into 0 5.642 * [backup-simplify]: Simplify 1 into 1 5.643 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 x))) (+ (* 1 (* 1 (* y x))) (* 5.0 (* z (* 1 1))))) into (+ (* 5.0 z) (+ (* x y) (* x z))) 5.643 * [backup-simplify]: Simplify (+ (* (/ 1 x) (+ (/ 1 y) (/ 1 z))) (* (/ 1 z) 5.0)) into (+ (/ 1 (* x z)) (+ (/ 1 (* x y)) (* 5.0 (/ 1 z)))) 5.643 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 (* x y)) (* 5.0 (/ 1 z)))) in (x y z) around 0 5.643 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 (* x y)) (* 5.0 (/ 1 z)))) in z 5.643 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 5.643 * [taylor]: Taking taylor expansion of (* x z) in z 5.643 * [taylor]: Taking taylor expansion of x in z 5.643 * [backup-simplify]: Simplify x into x 5.643 * [taylor]: Taking taylor expansion of z in z 5.643 * [backup-simplify]: Simplify 0 into 0 5.643 * [backup-simplify]: Simplify 1 into 1 5.643 * [backup-simplify]: Simplify (* x 0) into 0 5.644 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.644 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.644 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 5.0 (/ 1 z))) in z 5.644 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 5.644 * [taylor]: Taking taylor expansion of (* x y) in z 5.644 * [taylor]: Taking taylor expansion of x in z 5.644 * [backup-simplify]: Simplify x into x 5.644 * [taylor]: Taking taylor expansion of y in z 5.644 * [backup-simplify]: Simplify y into y 5.644 * [backup-simplify]: Simplify (* x y) into (* x y) 5.644 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 5.644 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in z 5.644 * [taylor]: Taking taylor expansion of 5.0 in z 5.644 * [backup-simplify]: Simplify 5.0 into 5.0 5.644 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.644 * [taylor]: Taking taylor expansion of z in z 5.644 * [backup-simplify]: Simplify 0 into 0 5.644 * [backup-simplify]: Simplify 1 into 1 5.645 * [backup-simplify]: Simplify (/ 1 1) into 1 5.645 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 (* x y)) (* 5.0 (/ 1 z)))) in y 5.645 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 5.645 * [taylor]: Taking taylor expansion of (* x z) in y 5.645 * [taylor]: Taking taylor expansion of x in y 5.645 * [backup-simplify]: Simplify x into x 5.645 * [taylor]: Taking taylor expansion of z in y 5.645 * [backup-simplify]: Simplify z into z 5.645 * [backup-simplify]: Simplify (* x z) into (* x z) 5.645 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z)) 5.645 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 5.0 (/ 1 z))) in y 5.645 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.645 * [taylor]: Taking taylor expansion of (* x y) in y 5.645 * [taylor]: Taking taylor expansion of x in y 5.645 * [backup-simplify]: Simplify x into x 5.645 * [taylor]: Taking taylor expansion of y in y 5.645 * [backup-simplify]: Simplify 0 into 0 5.645 * [backup-simplify]: Simplify 1 into 1 5.645 * [backup-simplify]: Simplify (* x 0) into 0 5.646 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.646 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.646 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in y 5.646 * [taylor]: Taking taylor expansion of 5.0 in y 5.646 * [backup-simplify]: Simplify 5.0 into 5.0 5.646 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.646 * [taylor]: Taking taylor expansion of z in y 5.646 * [backup-simplify]: Simplify z into z 5.646 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.646 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 (* x y)) (* 5.0 (/ 1 z)))) in x 5.646 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 5.646 * [taylor]: Taking taylor expansion of (* x z) in x 5.646 * [taylor]: Taking taylor expansion of x in x 5.646 * [backup-simplify]: Simplify 0 into 0 5.646 * [backup-simplify]: Simplify 1 into 1 5.646 * [taylor]: Taking taylor expansion of z in x 5.646 * [backup-simplify]: Simplify z into z 5.647 * [backup-simplify]: Simplify (* 0 z) into 0 5.647 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 5.647 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.647 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 5.0 (/ 1 z))) in x 5.647 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.647 * [taylor]: Taking taylor expansion of (* x y) in x 5.647 * [taylor]: Taking taylor expansion of x in x 5.647 * [backup-simplify]: Simplify 0 into 0 5.647 * [backup-simplify]: Simplify 1 into 1 5.647 * [taylor]: Taking taylor expansion of y in x 5.647 * [backup-simplify]: Simplify y into y 5.647 * [backup-simplify]: Simplify (* 0 y) into 0 5.648 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.648 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.648 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in x 5.648 * [taylor]: Taking taylor expansion of 5.0 in x 5.648 * [backup-simplify]: Simplify 5.0 into 5.0 5.648 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.648 * [taylor]: Taking taylor expansion of z in x 5.648 * [backup-simplify]: Simplify z into z 5.648 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.648 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 (* x y)) (* 5.0 (/ 1 z)))) in x 5.648 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 5.648 * [taylor]: Taking taylor expansion of (* x z) in x 5.648 * [taylor]: Taking taylor expansion of x in x 5.648 * [backup-simplify]: Simplify 0 into 0 5.648 * [backup-simplify]: Simplify 1 into 1 5.648 * [taylor]: Taking taylor expansion of z in x 5.648 * [backup-simplify]: Simplify z into z 5.648 * [backup-simplify]: Simplify (* 0 z) into 0 5.649 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 5.649 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.649 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 5.0 (/ 1 z))) in x 5.649 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.649 * [taylor]: Taking taylor expansion of (* x y) in x 5.649 * [taylor]: Taking taylor expansion of x in x 5.649 * [backup-simplify]: Simplify 0 into 0 5.649 * [backup-simplify]: Simplify 1 into 1 5.649 * [taylor]: Taking taylor expansion of y in x 5.649 * [backup-simplify]: Simplify y into y 5.649 * [backup-simplify]: Simplify (* 0 y) into 0 5.650 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.650 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.650 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in x 5.650 * [taylor]: Taking taylor expansion of 5.0 in x 5.650 * [backup-simplify]: Simplify 5.0 into 5.0 5.650 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.650 * [taylor]: Taking taylor expansion of z in x 5.650 * [backup-simplify]: Simplify z into z 5.650 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.650 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 5.650 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z)) 5.650 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 5.650 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.650 * [taylor]: Taking taylor expansion of y in y 5.650 * [backup-simplify]: Simplify 0 into 0 5.650 * [backup-simplify]: Simplify 1 into 1 5.651 * [backup-simplify]: Simplify (/ 1 1) into 1 5.651 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.651 * [taylor]: Taking taylor expansion of z in y 5.651 * [backup-simplify]: Simplify z into z 5.651 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.652 * [backup-simplify]: Simplify (+ 1 0) into 1 5.652 * [taylor]: Taking taylor expansion of 1 in z 5.652 * [backup-simplify]: Simplify 1 into 1 5.652 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 5.653 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.653 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.654 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.654 * [backup-simplify]: Simplify (* 5.0 (/ 1 z)) into (/ 5.0 z) 5.654 * [backup-simplify]: Simplify (+ 0 (/ 5.0 z)) into (* 5.0 (/ 1 z)) 5.654 * [backup-simplify]: Simplify (+ 0 (* 5.0 (/ 1 z))) into (* 5.0 (/ 1 z)) 5.654 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in y 5.654 * [taylor]: Taking taylor expansion of 5.0 in y 5.654 * [backup-simplify]: Simplify 5.0 into 5.0 5.654 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.654 * [taylor]: Taking taylor expansion of z in y 5.654 * [backup-simplify]: Simplify z into z 5.654 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.655 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.655 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z) 5.655 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.655 * [taylor]: Taking taylor expansion of z in z 5.655 * [backup-simplify]: Simplify 0 into 0 5.655 * [backup-simplify]: Simplify 1 into 1 5.655 * [backup-simplify]: Simplify (/ 1 1) into 1 5.656 * [backup-simplify]: Simplify 1 into 1 5.656 * [backup-simplify]: Simplify 1 into 1 5.657 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0 5.657 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.658 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.658 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.658 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.659 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 (/ 1 z))) into 0 5.659 * [backup-simplify]: Simplify (+ 0 0) into 0 5.660 * [backup-simplify]: Simplify (+ 0 0) into 0 5.660 * [taylor]: Taking taylor expansion of 0 in y 5.660 * [backup-simplify]: Simplify 0 into 0 5.660 * [backup-simplify]: Simplify (* 5.0 (/ 1 z)) into (/ 5.0 z) 5.660 * [taylor]: Taking taylor expansion of (/ 5.0 z) in z 5.660 * [taylor]: Taking taylor expansion of 5.0 in z 5.660 * [backup-simplify]: Simplify 5.0 into 5.0 5.660 * [taylor]: Taking taylor expansion of z in z 5.660 * [backup-simplify]: Simplify 0 into 0 5.660 * [backup-simplify]: Simplify 1 into 1 5.661 * [backup-simplify]: Simplify (/ 5.0 1) into 5.0 5.661 * [backup-simplify]: Simplify 5.0 into 5.0 5.662 * [backup-simplify]: Simplify (+ (* 5.0 (* (/ 1 (/ 1 z)) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* 1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 x))))))) into (+ (* 5.0 z) (+ (* x y) (* x z))) 5.662 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (+ (/ 1 (- y)) (/ 1 (- z)))) (* (/ 1 (- z)) 5.0)) into (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5.0 (/ 1 z))) 5.662 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5.0 (/ 1 z))) in (x y z) around 0 5.662 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5.0 (/ 1 z))) in z 5.662 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z 5.662 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 5.662 * [taylor]: Taking taylor expansion of (* x z) in z 5.662 * [taylor]: Taking taylor expansion of x in z 5.662 * [backup-simplify]: Simplify x into x 5.662 * [taylor]: Taking taylor expansion of z in z 5.662 * [backup-simplify]: Simplify 0 into 0 5.662 * [backup-simplify]: Simplify 1 into 1 5.662 * [backup-simplify]: Simplify (* x 0) into 0 5.663 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.663 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.663 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 5.663 * [taylor]: Taking taylor expansion of (* x y) in z 5.663 * [taylor]: Taking taylor expansion of x in z 5.663 * [backup-simplify]: Simplify x into x 5.663 * [taylor]: Taking taylor expansion of y in z 5.663 * [backup-simplify]: Simplify y into y 5.663 * [backup-simplify]: Simplify (* x y) into (* x y) 5.663 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 5.663 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in z 5.663 * [taylor]: Taking taylor expansion of 5.0 in z 5.663 * [backup-simplify]: Simplify 5.0 into 5.0 5.663 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.663 * [taylor]: Taking taylor expansion of z in z 5.663 * [backup-simplify]: Simplify 0 into 0 5.663 * [backup-simplify]: Simplify 1 into 1 5.664 * [backup-simplify]: Simplify (/ 1 1) into 1 5.664 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5.0 (/ 1 z))) in y 5.664 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in y 5.664 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 5.664 * [taylor]: Taking taylor expansion of (* x z) in y 5.664 * [taylor]: Taking taylor expansion of x in y 5.664 * [backup-simplify]: Simplify x into x 5.664 * [taylor]: Taking taylor expansion of z in y 5.664 * [backup-simplify]: Simplify z into z 5.664 * [backup-simplify]: Simplify (* x z) into (* x z) 5.664 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z)) 5.664 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 5.664 * [taylor]: Taking taylor expansion of (* x y) in y 5.664 * [taylor]: Taking taylor expansion of x in y 5.664 * [backup-simplify]: Simplify x into x 5.664 * [taylor]: Taking taylor expansion of y in y 5.664 * [backup-simplify]: Simplify 0 into 0 5.664 * [backup-simplify]: Simplify 1 into 1 5.664 * [backup-simplify]: Simplify (* x 0) into 0 5.665 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.665 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.665 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in y 5.665 * [taylor]: Taking taylor expansion of 5.0 in y 5.665 * [backup-simplify]: Simplify 5.0 into 5.0 5.665 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.665 * [taylor]: Taking taylor expansion of z in y 5.665 * [backup-simplify]: Simplify z into z 5.665 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.665 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5.0 (/ 1 z))) in x 5.665 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in x 5.665 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 5.665 * [taylor]: Taking taylor expansion of (* x z) in x 5.665 * [taylor]: Taking taylor expansion of x in x 5.665 * [backup-simplify]: Simplify 0 into 0 5.665 * [backup-simplify]: Simplify 1 into 1 5.665 * [taylor]: Taking taylor expansion of z in x 5.665 * [backup-simplify]: Simplify z into z 5.665 * [backup-simplify]: Simplify (* 0 z) into 0 5.666 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 5.666 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.666 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.666 * [taylor]: Taking taylor expansion of (* x y) in x 5.666 * [taylor]: Taking taylor expansion of x in x 5.666 * [backup-simplify]: Simplify 0 into 0 5.666 * [backup-simplify]: Simplify 1 into 1 5.666 * [taylor]: Taking taylor expansion of y in x 5.666 * [backup-simplify]: Simplify y into y 5.666 * [backup-simplify]: Simplify (* 0 y) into 0 5.667 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.667 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.667 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in x 5.667 * [taylor]: Taking taylor expansion of 5.0 in x 5.667 * [backup-simplify]: Simplify 5.0 into 5.0 5.667 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.667 * [taylor]: Taking taylor expansion of z in x 5.667 * [backup-simplify]: Simplify z into z 5.667 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.667 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5.0 (/ 1 z))) in x 5.667 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in x 5.667 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 5.667 * [taylor]: Taking taylor expansion of (* x z) in x 5.667 * [taylor]: Taking taylor expansion of x in x 5.667 * [backup-simplify]: Simplify 0 into 0 5.667 * [backup-simplify]: Simplify 1 into 1 5.667 * [taylor]: Taking taylor expansion of z in x 5.667 * [backup-simplify]: Simplify z into z 5.667 * [backup-simplify]: Simplify (* 0 z) into 0 5.668 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 5.668 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.668 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.668 * [taylor]: Taking taylor expansion of (* x y) in x 5.668 * [taylor]: Taking taylor expansion of x in x 5.668 * [backup-simplify]: Simplify 0 into 0 5.668 * [backup-simplify]: Simplify 1 into 1 5.668 * [taylor]: Taking taylor expansion of y in x 5.668 * [backup-simplify]: Simplify y into y 5.668 * [backup-simplify]: Simplify (* 0 y) into 0 5.668 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.669 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.669 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in x 5.669 * [taylor]: Taking taylor expansion of 5.0 in x 5.669 * [backup-simplify]: Simplify 5.0 into 5.0 5.669 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.669 * [taylor]: Taking taylor expansion of z in x 5.669 * [backup-simplify]: Simplify z into z 5.669 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.669 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z)) 5.669 * [backup-simplify]: Simplify (+ (+ (/ 1 y) (/ 1 z)) 0) into (+ (/ 1 y) (/ 1 z)) 5.669 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 5.669 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.669 * [taylor]: Taking taylor expansion of y in y 5.669 * [backup-simplify]: Simplify 0 into 0 5.669 * [backup-simplify]: Simplify 1 into 1 5.670 * [backup-simplify]: Simplify (/ 1 1) into 1 5.670 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.670 * [taylor]: Taking taylor expansion of z in y 5.670 * [backup-simplify]: Simplify z into z 5.670 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.670 * [backup-simplify]: Simplify (+ 1 0) into 1 5.670 * [taylor]: Taking taylor expansion of 1 in z 5.670 * [backup-simplify]: Simplify 1 into 1 5.671 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 5.671 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.672 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.672 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.673 * [backup-simplify]: Simplify (+ 0 0) into 0 5.673 * [backup-simplify]: Simplify (* 5.0 (/ 1 z)) into (/ 5.0 z) 5.673 * [backup-simplify]: Simplify (- (/ 5.0 z)) into (- (* 5.0 (/ 1 z))) 5.673 * [backup-simplify]: Simplify (+ 0 (- (* 5.0 (/ 1 z)))) into (- (* 5.0 (/ 1 z))) 5.673 * [taylor]: Taking taylor expansion of (- (* 5.0 (/ 1 z))) in y 5.673 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in y 5.673 * [taylor]: Taking taylor expansion of 5.0 in y 5.673 * [backup-simplify]: Simplify 5.0 into 5.0 5.673 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.673 * [taylor]: Taking taylor expansion of z in y 5.673 * [backup-simplify]: Simplify z into z 5.673 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.674 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.674 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z) 5.674 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.674 * [taylor]: Taking taylor expansion of z in z 5.674 * [backup-simplify]: Simplify 0 into 0 5.674 * [backup-simplify]: Simplify 1 into 1 5.675 * [backup-simplify]: Simplify (/ 1 1) into 1 5.675 * [backup-simplify]: Simplify 1 into 1 5.675 * [backup-simplify]: Simplify 1 into 1 5.676 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0 5.676 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.677 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 5.678 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.678 * [backup-simplify]: Simplify (+ 0 0) into 0 5.678 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.679 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 (/ 1 z))) into 0 5.679 * [backup-simplify]: Simplify (- 0) into 0 5.679 * [backup-simplify]: Simplify (+ 0 0) into 0 5.679 * [taylor]: Taking taylor expansion of 0 in y 5.679 * [backup-simplify]: Simplify 0 into 0 5.680 * [backup-simplify]: Simplify (* 5.0 (/ 1 z)) into (/ 5.0 z) 5.680 * [backup-simplify]: Simplify (- (/ 5.0 z)) into (- (* 5.0 (/ 1 z))) 5.680 * [taylor]: Taking taylor expansion of (- (* 5.0 (/ 1 z))) in z 5.680 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in z 5.680 * [taylor]: Taking taylor expansion of 5.0 in z 5.680 * [backup-simplify]: Simplify 5.0 into 5.0 5.680 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.680 * [taylor]: Taking taylor expansion of z in z 5.680 * [backup-simplify]: Simplify 0 into 0 5.680 * [backup-simplify]: Simplify 1 into 1 5.681 * [backup-simplify]: Simplify (/ 1 1) into 1 5.681 * [backup-simplify]: Simplify (* 5.0 1) into 5.0 5.681 * [backup-simplify]: Simplify (- 5.0) into (- 5.0) 5.682 * [backup-simplify]: Simplify (- 5.0) into (- 5.0) 5.683 * [backup-simplify]: Simplify (+ (* (- 5.0) (* (/ 1 (/ 1 (- z))) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* 1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- x)))))))) into (+ (* 5.0 z) (+ (* x y) (* x z))) 5.683 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 5.683 * [backup-simplify]: Simplify (* x (+ y z)) into (* x (+ z y)) 5.683 * [approximate]: Taking taylor expansion of (* x (+ z y)) in (x y z) around 0 5.683 * [taylor]: Taking taylor expansion of (* x (+ z y)) in z 5.683 * [taylor]: Taking taylor expansion of x in z 5.683 * [backup-simplify]: Simplify x into x 5.683 * [taylor]: Taking taylor expansion of (+ z y) in z 5.683 * [taylor]: Taking taylor expansion of z in z 5.683 * [backup-simplify]: Simplify 0 into 0 5.683 * [backup-simplify]: Simplify 1 into 1 5.683 * [taylor]: Taking taylor expansion of y in z 5.683 * [backup-simplify]: Simplify y into y 5.684 * [taylor]: Taking taylor expansion of (* x (+ z y)) in y 5.684 * [taylor]: Taking taylor expansion of x in y 5.684 * [backup-simplify]: Simplify x into x 5.684 * [taylor]: Taking taylor expansion of (+ z y) in y 5.684 * [taylor]: Taking taylor expansion of z in y 5.684 * [backup-simplify]: Simplify z into z 5.684 * [taylor]: Taking taylor expansion of y in y 5.684 * [backup-simplify]: Simplify 0 into 0 5.684 * [backup-simplify]: Simplify 1 into 1 5.684 * [taylor]: Taking taylor expansion of (* x (+ z y)) in x 5.684 * [taylor]: Taking taylor expansion of x in x 5.684 * [backup-simplify]: Simplify 0 into 0 5.684 * [backup-simplify]: Simplify 1 into 1 5.684 * [taylor]: Taking taylor expansion of (+ z y) in x 5.684 * [taylor]: Taking taylor expansion of z in x 5.684 * [backup-simplify]: Simplify z into z 5.684 * [taylor]: Taking taylor expansion of y in x 5.684 * [backup-simplify]: Simplify y into y 5.684 * [taylor]: Taking taylor expansion of (* x (+ z y)) in x 5.684 * [taylor]: Taking taylor expansion of x in x 5.684 * [backup-simplify]: Simplify 0 into 0 5.684 * [backup-simplify]: Simplify 1 into 1 5.684 * [taylor]: Taking taylor expansion of (+ z y) in x 5.684 * [taylor]: Taking taylor expansion of z in x 5.684 * [backup-simplify]: Simplify z into z 5.684 * [taylor]: Taking taylor expansion of y in x 5.684 * [backup-simplify]: Simplify y into y 5.684 * [backup-simplify]: Simplify (+ z y) into (+ z y) 5.684 * [backup-simplify]: Simplify (* 0 (+ z y)) into 0 5.684 * [taylor]: Taking taylor expansion of 0 in y 5.684 * [backup-simplify]: Simplify 0 into 0 5.684 * [taylor]: Taking taylor expansion of 0 in z 5.684 * [backup-simplify]: Simplify 0 into 0 5.684 * [backup-simplify]: Simplify 0 into 0 5.685 * [backup-simplify]: Simplify (+ 0 0) into 0 5.685 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ z y))) into (+ z y) 5.685 * [taylor]: Taking taylor expansion of (+ z y) in y 5.686 * [taylor]: Taking taylor expansion of z in y 5.686 * [backup-simplify]: Simplify z into z 5.686 * [taylor]: Taking taylor expansion of y in y 5.686 * [backup-simplify]: Simplify 0 into 0 5.686 * [backup-simplify]: Simplify 1 into 1 5.686 * [backup-simplify]: Simplify (+ z 0) into z 5.686 * [taylor]: Taking taylor expansion of z in z 5.686 * [backup-simplify]: Simplify 0 into 0 5.686 * [backup-simplify]: Simplify 1 into 1 5.686 * [backup-simplify]: Simplify 0 into 0 5.686 * [taylor]: Taking taylor expansion of 0 in z 5.686 * [backup-simplify]: Simplify 0 into 0 5.686 * [backup-simplify]: Simplify 0 into 0 5.686 * [backup-simplify]: Simplify 0 into 0 5.686 * [backup-simplify]: Simplify (+ 0 0) into 0 5.687 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ z y)))) into 0 5.687 * [taylor]: Taking taylor expansion of 0 in y 5.687 * [backup-simplify]: Simplify 0 into 0 5.687 * [taylor]: Taking taylor expansion of 0 in z 5.687 * [backup-simplify]: Simplify 0 into 0 5.687 * [backup-simplify]: Simplify 0 into 0 5.688 * [backup-simplify]: Simplify (+ 0 1) into 1 5.688 * [taylor]: Taking taylor expansion of 1 in z 5.688 * [backup-simplify]: Simplify 1 into 1 5.688 * [backup-simplify]: Simplify 1 into 1 5.688 * [taylor]: Taking taylor expansion of 0 in z 5.688 * [backup-simplify]: Simplify 0 into 0 5.688 * [backup-simplify]: Simplify 0 into 0 5.688 * [backup-simplify]: Simplify 1 into 1 5.688 * [backup-simplify]: Simplify 0 into 0 5.688 * [backup-simplify]: Simplify 0 into 0 5.689 * [backup-simplify]: Simplify (+ 0 0) into 0 5.690 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (+ z y))))) into 0 5.690 * [taylor]: Taking taylor expansion of 0 in y 5.690 * [backup-simplify]: Simplify 0 into 0 5.690 * [taylor]: Taking taylor expansion of 0 in z 5.690 * [backup-simplify]: Simplify 0 into 0 5.690 * [backup-simplify]: Simplify 0 into 0 5.690 * [taylor]: Taking taylor expansion of 0 in z 5.690 * [backup-simplify]: Simplify 0 into 0 5.690 * [backup-simplify]: Simplify 0 into 0 5.691 * [backup-simplify]: Simplify (+ 0 0) into 0 5.691 * [taylor]: Taking taylor expansion of 0 in z 5.691 * [backup-simplify]: Simplify 0 into 0 5.691 * [backup-simplify]: Simplify 0 into 0 5.691 * [taylor]: Taking taylor expansion of 0 in z 5.691 * [backup-simplify]: Simplify 0 into 0 5.691 * [backup-simplify]: Simplify 0 into 0 5.691 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 x))) (* 1 (* 1 (* y x)))) into (+ (* x y) (* x z)) 5.691 * [backup-simplify]: Simplify (* (/ 1 x) (+ (/ 1 y) (/ 1 z))) into (/ (+ (/ 1 z) (/ 1 y)) x) 5.691 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in (x y z) around 0 5.691 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z 5.691 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 5.691 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.691 * [taylor]: Taking taylor expansion of z in z 5.691 * [backup-simplify]: Simplify 0 into 0 5.691 * [backup-simplify]: Simplify 1 into 1 5.692 * [backup-simplify]: Simplify (/ 1 1) into 1 5.692 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.692 * [taylor]: Taking taylor expansion of y in z 5.692 * [backup-simplify]: Simplify y into y 5.692 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.692 * [taylor]: Taking taylor expansion of x in z 5.692 * [backup-simplify]: Simplify x into x 5.693 * [backup-simplify]: Simplify (+ 1 0) into 1 5.693 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.693 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y 5.693 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 5.693 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.693 * [taylor]: Taking taylor expansion of z in y 5.693 * [backup-simplify]: Simplify z into z 5.693 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.693 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.693 * [taylor]: Taking taylor expansion of y in y 5.693 * [backup-simplify]: Simplify 0 into 0 5.693 * [backup-simplify]: Simplify 1 into 1 5.693 * [backup-simplify]: Simplify (/ 1 1) into 1 5.693 * [taylor]: Taking taylor expansion of x in y 5.693 * [backup-simplify]: Simplify x into x 5.694 * [backup-simplify]: Simplify (+ 0 1) into 1 5.694 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.694 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x 5.694 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 5.694 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.694 * [taylor]: Taking taylor expansion of z in x 5.694 * [backup-simplify]: Simplify z into z 5.694 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.694 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.694 * [taylor]: Taking taylor expansion of y in x 5.694 * [backup-simplify]: Simplify y into y 5.694 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.694 * [taylor]: Taking taylor expansion of x in x 5.694 * [backup-simplify]: Simplify 0 into 0 5.694 * [backup-simplify]: Simplify 1 into 1 5.694 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z)) 5.695 * [backup-simplify]: Simplify (/ (+ (/ 1 y) (/ 1 z)) 1) into (+ (/ 1 z) (/ 1 y)) 5.695 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x 5.695 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 5.695 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.695 * [taylor]: Taking taylor expansion of z in x 5.695 * [backup-simplify]: Simplify z into z 5.695 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.695 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.695 * [taylor]: Taking taylor expansion of y in x 5.695 * [backup-simplify]: Simplify y into y 5.695 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.695 * [taylor]: Taking taylor expansion of x in x 5.695 * [backup-simplify]: Simplify 0 into 0 5.695 * [backup-simplify]: Simplify 1 into 1 5.695 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z)) 5.695 * [backup-simplify]: Simplify (/ (+ (/ 1 y) (/ 1 z)) 1) into (+ (/ 1 z) (/ 1 y)) 5.695 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 5.695 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.695 * [taylor]: Taking taylor expansion of z in y 5.695 * [backup-simplify]: Simplify z into z 5.695 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.695 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.695 * [taylor]: Taking taylor expansion of y in y 5.695 * [backup-simplify]: Simplify 0 into 0 5.695 * [backup-simplify]: Simplify 1 into 1 5.696 * [backup-simplify]: Simplify (/ 1 1) into 1 5.696 * [backup-simplify]: Simplify (+ 0 1) into 1 5.696 * [taylor]: Taking taylor expansion of 1 in z 5.696 * [backup-simplify]: Simplify 1 into 1 5.697 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.697 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.697 * [backup-simplify]: Simplify (+ 0 0) into 0 5.698 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)))) into 0 5.698 * [taylor]: Taking taylor expansion of 0 in y 5.698 * [backup-simplify]: Simplify 0 into 0 5.699 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.699 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 5.699 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.699 * [taylor]: Taking taylor expansion of z in z 5.699 * [backup-simplify]: Simplify 0 into 0 5.699 * [backup-simplify]: Simplify 1 into 1 5.700 * [backup-simplify]: Simplify (/ 1 1) into 1 5.700 * [backup-simplify]: Simplify 1 into 1 5.700 * [backup-simplify]: Simplify 1 into 1 5.700 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.700 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.701 * [backup-simplify]: Simplify (+ 0 0) into 0 5.702 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.702 * [taylor]: Taking taylor expansion of 0 in y 5.702 * [backup-simplify]: Simplify 0 into 0 5.702 * [taylor]: Taking taylor expansion of 0 in z 5.702 * [backup-simplify]: Simplify 0 into 0 5.702 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.703 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.704 * [backup-simplify]: Simplify (+ 0 0) into 0 5.704 * [taylor]: Taking taylor expansion of 0 in z 5.704 * [backup-simplify]: Simplify 0 into 0 5.705 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.705 * [backup-simplify]: Simplify 0 into 0 5.705 * [backup-simplify]: Simplify 0 into 0 5.705 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.705 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.706 * [backup-simplify]: Simplify (+ 0 0) into 0 5.708 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.708 * [taylor]: Taking taylor expansion of 0 in y 5.708 * [backup-simplify]: Simplify 0 into 0 5.708 * [taylor]: Taking taylor expansion of 0 in z 5.708 * [backup-simplify]: Simplify 0 into 0 5.708 * [taylor]: Taking taylor expansion of 0 in z 5.708 * [backup-simplify]: Simplify 0 into 0 5.708 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.709 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.709 * [backup-simplify]: Simplify (+ 0 0) into 0 5.709 * [taylor]: Taking taylor expansion of 0 in z 5.709 * [backup-simplify]: Simplify 0 into 0 5.710 * [backup-simplify]: Simplify 0 into 0 5.710 * [backup-simplify]: Simplify 0 into 0 5.710 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.711 * [backup-simplify]: Simplify 0 into 0 5.711 * [backup-simplify]: Simplify 0 into 0 5.711 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* 1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 x)))))) into (+ (* x z) (* x y)) 5.711 * [backup-simplify]: Simplify (* (/ 1 (- x)) (+ (/ 1 (- y)) (/ 1 (- z)))) into (/ (+ (/ 1 z) (/ 1 y)) x) 5.711 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in (x y z) around 0 5.711 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z 5.711 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 5.711 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.711 * [taylor]: Taking taylor expansion of z in z 5.711 * [backup-simplify]: Simplify 0 into 0 5.711 * [backup-simplify]: Simplify 1 into 1 5.712 * [backup-simplify]: Simplify (/ 1 1) into 1 5.712 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.712 * [taylor]: Taking taylor expansion of y in z 5.712 * [backup-simplify]: Simplify y into y 5.712 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.712 * [taylor]: Taking taylor expansion of x in z 5.712 * [backup-simplify]: Simplify x into x 5.713 * [backup-simplify]: Simplify (+ 1 0) into 1 5.713 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.713 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y 5.713 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 5.713 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.713 * [taylor]: Taking taylor expansion of z in y 5.713 * [backup-simplify]: Simplify z into z 5.713 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.713 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.713 * [taylor]: Taking taylor expansion of y in y 5.713 * [backup-simplify]: Simplify 0 into 0 5.713 * [backup-simplify]: Simplify 1 into 1 5.713 * [backup-simplify]: Simplify (/ 1 1) into 1 5.713 * [taylor]: Taking taylor expansion of x in y 5.713 * [backup-simplify]: Simplify x into x 5.714 * [backup-simplify]: Simplify (+ 0 1) into 1 5.714 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.714 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x 5.714 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 5.714 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.714 * [taylor]: Taking taylor expansion of z in x 5.714 * [backup-simplify]: Simplify z into z 5.714 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.714 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.714 * [taylor]: Taking taylor expansion of y in x 5.714 * [backup-simplify]: Simplify y into y 5.714 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.714 * [taylor]: Taking taylor expansion of x in x 5.714 * [backup-simplify]: Simplify 0 into 0 5.714 * [backup-simplify]: Simplify 1 into 1 5.714 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z)) 5.715 * [backup-simplify]: Simplify (/ (+ (/ 1 y) (/ 1 z)) 1) into (+ (/ 1 z) (/ 1 y)) 5.715 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x 5.715 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 5.715 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.715 * [taylor]: Taking taylor expansion of z in x 5.715 * [backup-simplify]: Simplify z into z 5.715 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.715 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.715 * [taylor]: Taking taylor expansion of y in x 5.715 * [backup-simplify]: Simplify y into y 5.715 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.715 * [taylor]: Taking taylor expansion of x in x 5.715 * [backup-simplify]: Simplify 0 into 0 5.715 * [backup-simplify]: Simplify 1 into 1 5.715 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z)) 5.715 * [backup-simplify]: Simplify (/ (+ (/ 1 y) (/ 1 z)) 1) into (+ (/ 1 z) (/ 1 y)) 5.715 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 5.715 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.715 * [taylor]: Taking taylor expansion of z in y 5.715 * [backup-simplify]: Simplify z into z 5.715 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.715 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.715 * [taylor]: Taking taylor expansion of y in y 5.715 * [backup-simplify]: Simplify 0 into 0 5.715 * [backup-simplify]: Simplify 1 into 1 5.716 * [backup-simplify]: Simplify (/ 1 1) into 1 5.716 * [backup-simplify]: Simplify (+ 0 1) into 1 5.716 * [taylor]: Taking taylor expansion of 1 in z 5.716 * [backup-simplify]: Simplify 1 into 1 5.717 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.717 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.717 * [backup-simplify]: Simplify (+ 0 0) into 0 5.718 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)))) into 0 5.718 * [taylor]: Taking taylor expansion of 0 in y 5.718 * [backup-simplify]: Simplify 0 into 0 5.719 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.719 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 5.719 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.719 * [taylor]: Taking taylor expansion of z in z 5.719 * [backup-simplify]: Simplify 0 into 0 5.719 * [backup-simplify]: Simplify 1 into 1 5.719 * [backup-simplify]: Simplify (/ 1 1) into 1 5.720 * [backup-simplify]: Simplify 1 into 1 5.720 * [backup-simplify]: Simplify 1 into 1 5.720 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.720 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.720 * [backup-simplify]: Simplify (+ 0 0) into 0 5.722 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.722 * [taylor]: Taking taylor expansion of 0 in y 5.722 * [backup-simplify]: Simplify 0 into 0 5.722 * [taylor]: Taking taylor expansion of 0 in z 5.722 * [backup-simplify]: Simplify 0 into 0 5.722 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 5.723 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.724 * [backup-simplify]: Simplify (+ 0 0) into 0 5.724 * [taylor]: Taking taylor expansion of 0 in z 5.724 * [backup-simplify]: Simplify 0 into 0 5.724 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.724 * [backup-simplify]: Simplify 0 into 0 5.724 * [backup-simplify]: Simplify 0 into 0 5.725 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.725 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.725 * [backup-simplify]: Simplify (+ 0 0) into 0 5.727 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.727 * [taylor]: Taking taylor expansion of 0 in y 5.727 * [backup-simplify]: Simplify 0 into 0 5.727 * [taylor]: Taking taylor expansion of 0 in z 5.728 * [backup-simplify]: Simplify 0 into 0 5.728 * [taylor]: Taking taylor expansion of 0 in z 5.728 * [backup-simplify]: Simplify 0 into 0 5.728 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.729 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.729 * [backup-simplify]: Simplify (+ 0 0) into 0 5.729 * [taylor]: Taking taylor expansion of 0 in z 5.729 * [backup-simplify]: Simplify 0 into 0 5.729 * [backup-simplify]: Simplify 0 into 0 5.729 * [backup-simplify]: Simplify 0 into 0 5.730 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.731 * [backup-simplify]: Simplify 0 into 0 5.731 * [backup-simplify]: Simplify 0 into 0 5.731 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* 1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- x))))))) into (+ (* x z) (* x y)) 5.731 * * * [progress]: simplifying candidates 5.732 * [simplify]: Simplifying: (expm1 (+ (* x (+ y z)) (* z 5.0))) (log1p (+ (* x (+ y z)) (* z 5.0))) (* (exp (* x (+ y z))) (exp (* z 5.0))) (log (+ (* x (+ y z)) (* z 5.0))) (exp (+ (* x (+ y z)) (* z 5.0))) (* (cbrt (+ (* x (+ y z)) (* z 5.0))) (cbrt (+ (* x (+ y z)) (* z 5.0)))) (cbrt (+ (* x (+ y z)) (* z 5.0))) (* (* (+ (* x (+ y z)) (* z 5.0)) (+ (* x (+ y z)) (* z 5.0))) (+ (* x (+ y z)) (* z 5.0))) (sqrt (+ (* x (+ y z)) (* z 5.0))) (sqrt (+ (* x (+ y z)) (* z 5.0))) (+ (pow (* x (+ y z)) 3) (pow (* z 5.0) 3)) (+ (* (* x (+ y z)) (* x (+ y z))) (- (* (* z 5.0) (* z 5.0)) (* (* x (+ y z)) (* z 5.0)))) (- (* (* x (+ y z)) (* x (+ y z))) (* (* z 5.0) (* z 5.0))) (- (* x (+ y z)) (* z 5.0)) (+ (* x z) (* z 5.0)) (+ (* z x) (* z 5.0)) (expm1 (* x (+ y z))) (log1p (* x (+ y z))) (* x (+ y z)) (+ (log x) (log (+ y z))) (log (* x (+ y z))) (exp (* x (+ y z))) (* (* (* x x) x) (* (* (+ y z) (+ y z)) (+ 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))) (* (sqrt x) (sqrt (+ y z))) (* (sqrt x) (sqrt (+ y z))) (* x y) (* x z) (* y x) (* z x) (* x (* (cbrt (+ y z)) (cbrt (+ y z)))) (* x (sqrt (+ y z))) (* x 1) (* x 1) (* (cbrt x) (+ y z)) (* (sqrt x) (+ y z)) (* x (+ y z)) (* x (+ (pow y 3) (pow z 3))) (* x (- (* y y) (* z z))) (+ (* 5.0 z) (+ (* x y) (* x z))) (+ (* 5.0 z) (+ (* x y) (* x z))) (+ (* 5.0 z) (+ (* x y) (* x z))) (+ (* x y) (* x z)) (+ (* x z) (* x y)) (+ (* x z) (* x y)) 5.733 * * [simplify]: iteration 0: 76 enodes 5.772 * * [simplify]: iteration 1: 241 enodes 5.870 * * [simplify]: iteration 2: 954 enodes 7.011 * * [simplify]: iteration 3: 4903 enodes 8.601 * * [simplify]: iteration complete: 5000 enodes 8.601 * * [simplify]: Extracting #0: cost 35 inf + 0 8.602 * * [simplify]: Extracting #1: cost 308 inf + 1 8.607 * * [simplify]: Extracting #2: cost 1022 inf + 11466 8.650 * * [simplify]: Extracting #3: cost 399 inf + 159451 8.737 * * [simplify]: Extracting #4: cost 21 inf + 242777 8.801 * * [simplify]: Extracting #5: cost 1 inf + 249765 8.860 * * [simplify]: Extracting #6: cost 0 inf + 250280 8.924 * [simplify]: Simplified to: (expm1 (fma 5.0 z (* (+ y z) x))) (log1p (fma 5.0 z (* (+ y z) x))) (exp (fma 5.0 z (* (+ y z) x))) (log (fma 5.0 z (* (+ y z) x))) (exp (fma 5.0 z (* (+ y z) x))) (* (cbrt (fma 5.0 z (* (+ y z) x))) (cbrt (fma 5.0 z (* (+ y z) x)))) (cbrt (fma 5.0 z (* (+ y z) x))) (* (fma 5.0 z (* (+ y z) x)) (* (fma 5.0 z (* (+ y z) x)) (fma 5.0 z (* (+ y z) x)))) (sqrt (fma 5.0 z (* (+ y z) x))) (sqrt (fma 5.0 z (* (+ y z) x))) (fma (* (+ y z) x) (* (* (+ y z) x) (* (+ y z) x)) (* (* z 5.0) (* (* z 5.0) (* z 5.0)))) (fma (* z 5.0) (- (* z 5.0) (* (+ y z) x)) (* (* (+ y z) x) (* (+ y z) x))) (- (* (* (+ y z) x) (* (+ y z) x)) (* (* z 5.0) (* z 5.0))) (- (* (+ y z) x) (* z 5.0)) (* (+ 5.0 x) z) (* (+ 5.0 x) z) (expm1 (* (+ y z) x)) (log1p (* (+ y z) x)) (* (+ y z) x) (log (* (+ y z) x)) (log (* (+ y z) x)) (exp (* (+ y z) x)) (* (* (* (+ y z) x) (* (+ y z) x)) (* (+ y z) x)) (* (cbrt (* (+ y z) x)) (cbrt (* (+ y z) x))) (cbrt (* (+ y z) x)) (* (* (* (+ y z) x) (* (+ y z) x)) (* (+ y z) x)) (sqrt (* (+ y z) x)) (sqrt (* (+ y z) x)) (* (sqrt (+ y z)) (sqrt x)) (* (sqrt (+ y z)) (sqrt x)) (* y x) (* x z) (* y x) (* x z) (* (cbrt (+ y z)) (* x (cbrt (+ y z)))) (* x (sqrt (+ y z))) x x (* (+ y z) (cbrt x)) (* (sqrt x) (+ y z)) (* (+ y z) x) (* x (fma (* y y) y (* z (* z z)))) (* (* (+ y z) x) (- y z)) (fma 5.0 z (* (+ y z) x)) (fma 5.0 z (* (+ y z) x)) (fma 5.0 z (* (+ y z) x)) (* (+ y z) x) (* (+ y z) x) (* (+ y z) x) 8.926 * * * [progress]: adding candidates to table 9.167 * * [progress]: iteration 4 / 4 9.167 * * * [progress]: picking best candidate 9.181 * * * * [pick]: Picked # 9.181 * * * [progress]: localizing error 9.202 * * * [progress]: generating rewritten candidates 9.202 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 9.202 * * * * [progress]: [ 2 / 2 ] rewriting at (2 3) 9.236 * * * [progress]: generating series expansions 9.236 * * * * [progress]: [ 1 / 2 ] generating series at (2) 9.236 * [backup-simplify]: Simplify (fma 5.0 z (* (+ y z) x)) into (fma 5.0 z (* x (+ z y))) 9.236 * [approximate]: Taking taylor expansion of (fma 5.0 z (* x (+ z y))) in (z y x) around 0 9.236 * [taylor]: Taking taylor expansion of (fma 5.0 z (* x (+ z y))) in x 9.236 * [taylor]: Rewrote expression to (+ (* 5.0 z) (* x (+ z y))) 9.237 * [taylor]: Taking taylor expansion of (* 5.0 z) in x 9.237 * [taylor]: Taking taylor expansion of 5.0 in x 9.237 * [backup-simplify]: Simplify 5.0 into 5.0 9.237 * [taylor]: Taking taylor expansion of z in x 9.237 * [backup-simplify]: Simplify z into z 9.237 * [taylor]: Taking taylor expansion of (* x (+ z y)) in x 9.237 * [taylor]: Taking taylor expansion of x in x 9.237 * [backup-simplify]: Simplify 0 into 0 9.237 * [backup-simplify]: Simplify 1 into 1 9.237 * [taylor]: Taking taylor expansion of (+ z y) in x 9.237 * [taylor]: Taking taylor expansion of z in x 9.237 * [backup-simplify]: Simplify z into z 9.237 * [taylor]: Taking taylor expansion of y in x 9.237 * [backup-simplify]: Simplify y into y 9.237 * [taylor]: Taking taylor expansion of (fma 5.0 z (* x (+ z y))) in y 9.237 * [taylor]: Rewrote expression to (+ (* 5.0 z) (* x (+ z y))) 9.237 * [taylor]: Taking taylor expansion of (* 5.0 z) in y 9.237 * [taylor]: Taking taylor expansion of 5.0 in y 9.237 * [backup-simplify]: Simplify 5.0 into 5.0 9.237 * [taylor]: Taking taylor expansion of z in y 9.237 * [backup-simplify]: Simplify z into z 9.237 * [taylor]: Taking taylor expansion of (* x (+ z y)) in y 9.237 * [taylor]: Taking taylor expansion of x in y 9.237 * [backup-simplify]: Simplify x into x 9.237 * [taylor]: Taking taylor expansion of (+ z y) in y 9.237 * [taylor]: Taking taylor expansion of z in y 9.237 * [backup-simplify]: Simplify z into z 9.237 * [taylor]: Taking taylor expansion of y in y 9.237 * [backup-simplify]: Simplify 0 into 0 9.237 * [backup-simplify]: Simplify 1 into 1 9.237 * [taylor]: Taking taylor expansion of (fma 5.0 z (* x (+ z y))) in z 9.238 * [taylor]: Rewrote expression to (+ (* 5.0 z) (* x (+ z y))) 9.238 * [taylor]: Taking taylor expansion of (* 5.0 z) in z 9.238 * [taylor]: Taking taylor expansion of 5.0 in z 9.238 * [backup-simplify]: Simplify 5.0 into 5.0 9.238 * [taylor]: Taking taylor expansion of z in z 9.238 * [backup-simplify]: Simplify 0 into 0 9.238 * [backup-simplify]: Simplify 1 into 1 9.238 * [taylor]: Taking taylor expansion of (* x (+ z y)) in z 9.238 * [taylor]: Taking taylor expansion of x in z 9.238 * [backup-simplify]: Simplify x into x 9.238 * [taylor]: Taking taylor expansion of (+ z y) in z 9.238 * [taylor]: Taking taylor expansion of z in z 9.238 * [backup-simplify]: Simplify 0 into 0 9.238 * [backup-simplify]: Simplify 1 into 1 9.238 * [taylor]: Taking taylor expansion of y in z 9.238 * [backup-simplify]: Simplify y into y 9.238 * [taylor]: Taking taylor expansion of (fma 5.0 z (* x (+ z y))) in z 9.238 * [taylor]: Rewrote expression to (+ (* 5.0 z) (* x (+ z y))) 9.238 * [taylor]: Taking taylor expansion of (* 5.0 z) in z 9.238 * [taylor]: Taking taylor expansion of 5.0 in z 9.238 * [backup-simplify]: Simplify 5.0 into 5.0 9.238 * [taylor]: Taking taylor expansion of z in z 9.238 * [backup-simplify]: Simplify 0 into 0 9.238 * [backup-simplify]: Simplify 1 into 1 9.238 * [taylor]: Taking taylor expansion of (* x (+ z y)) in z 9.238 * [taylor]: Taking taylor expansion of x in z 9.238 * [backup-simplify]: Simplify x into x 9.238 * [taylor]: Taking taylor expansion of (+ z y) in z 9.238 * [taylor]: Taking taylor expansion of z in z 9.239 * [backup-simplify]: Simplify 0 into 0 9.239 * [backup-simplify]: Simplify 1 into 1 9.239 * [taylor]: Taking taylor expansion of y in z 9.239 * [backup-simplify]: Simplify y into y 9.239 * [backup-simplify]: Simplify (* 5.0 0) into 0 9.240 * [backup-simplify]: Simplify (+ 0 y) into y 9.240 * [backup-simplify]: Simplify (* x y) into (* x y) 9.240 * [backup-simplify]: Simplify (+ 0 (* x y)) into (* x y) 9.240 * [taylor]: Taking taylor expansion of (* x y) in y 9.240 * [taylor]: Taking taylor expansion of x in y 9.240 * [backup-simplify]: Simplify x into x 9.240 * [taylor]: Taking taylor expansion of y in y 9.240 * [backup-simplify]: Simplify 0 into 0 9.240 * [backup-simplify]: Simplify 1 into 1 9.240 * [backup-simplify]: Simplify (* x 0) into 0 9.240 * [taylor]: Taking taylor expansion of 0 in x 9.240 * [backup-simplify]: Simplify 0 into 0 9.240 * [backup-simplify]: Simplify 0 into 0 9.242 * [backup-simplify]: Simplify (+ (* 5.0 1) (* 0 0)) into 5.0 9.242 * [backup-simplify]: Simplify (+ 1 0) into 1 9.243 * [backup-simplify]: Simplify (+ (* x 1) (* 0 y)) into x 9.243 * [backup-simplify]: Simplify (+ 5.0 x) into (+ x 5.0) 9.243 * [taylor]: Taking taylor expansion of (+ x 5.0) in y 9.243 * [taylor]: Taking taylor expansion of x in y 9.243 * [backup-simplify]: Simplify x into x 9.243 * [taylor]: Taking taylor expansion of 5.0 in y 9.243 * [backup-simplify]: Simplify 5.0 into 5.0 9.243 * [backup-simplify]: Simplify (+ x 5.0) into (+ x 5.0) 9.243 * [taylor]: Taking taylor expansion of (+ x 5.0) in x 9.243 * [taylor]: Taking taylor expansion of x in x 9.243 * [backup-simplify]: Simplify 0 into 0 9.243 * [backup-simplify]: Simplify 1 into 1 9.243 * [taylor]: Taking taylor expansion of 5.0 in x 9.243 * [backup-simplify]: Simplify 5.0 into 5.0 9.244 * [backup-simplify]: Simplify (+ 0 5.0) into 5.0 9.244 * [backup-simplify]: Simplify 5.0 into 5.0 9.244 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 9.244 * [taylor]: Taking taylor expansion of x in x 9.244 * [backup-simplify]: Simplify 0 into 0 9.244 * [backup-simplify]: Simplify 1 into 1 9.245 * [backup-simplify]: Simplify 0 into 0 9.245 * [backup-simplify]: Simplify 0 into 0 9.246 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 1) (* 0 0))) into 0 9.246 * [backup-simplify]: Simplify (+ 0 0) into 0 9.247 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 y))) into 0 9.248 * [backup-simplify]: Simplify (+ 0 0) into 0 9.248 * [taylor]: Taking taylor expansion of 0 in y 9.248 * [backup-simplify]: Simplify 0 into 0 9.248 * [taylor]: Taking taylor expansion of 0 in x 9.248 * [backup-simplify]: Simplify 0 into 0 9.248 * [backup-simplify]: Simplify 0 into 0 9.248 * [backup-simplify]: Simplify (+ 0 0) into 0 9.248 * [taylor]: Taking taylor expansion of 0 in x 9.248 * [backup-simplify]: Simplify 0 into 0 9.248 * [backup-simplify]: Simplify 0 into 0 9.249 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 9.249 * [taylor]: Taking taylor expansion of 0 in x 9.249 * [backup-simplify]: Simplify 0 into 0 9.249 * [backup-simplify]: Simplify 0 into 0 9.250 * [backup-simplify]: Simplify (+ 1 0) into 1 9.250 * [backup-simplify]: Simplify 1 into 1 9.250 * [backup-simplify]: Simplify 1 into 1 9.250 * [backup-simplify]: Simplify (+ (* 1 (* x (* y 1))) (+ (* 1 (* x (* 1 z))) (* 5.0 (* 1 (* 1 z))))) into (+ (* 5.0 z) (+ (* x z) (* x y))) 9.251 * [backup-simplify]: Simplify (fma 5.0 (/ 1 z) (* (+ (/ 1 y) (/ 1 z)) (/ 1 x))) into (fma 5.0 (/ 1 z) (/ (+ (/ 1 z) (/ 1 y)) x)) 9.251 * [approximate]: Taking taylor expansion of (fma 5.0 (/ 1 z) (/ (+ (/ 1 z) (/ 1 y)) x)) in (z y x) around 0 9.251 * [taylor]: Taking taylor expansion of (fma 5.0 (/ 1 z) (/ (+ (/ 1 z) (/ 1 y)) x)) in x 9.251 * [taylor]: Rewrote expression to (+ (* 5.0 (/ 1 z)) (/ (+ (/ 1 z) (/ 1 y)) x)) 9.251 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in x 9.251 * [taylor]: Taking taylor expansion of 5.0 in x 9.251 * [backup-simplify]: Simplify 5.0 into 5.0 9.251 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.251 * [taylor]: Taking taylor expansion of z in x 9.251 * [backup-simplify]: Simplify z into z 9.251 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.251 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x 9.251 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 9.251 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.251 * [taylor]: Taking taylor expansion of z in x 9.251 * [backup-simplify]: Simplify z into z 9.251 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.251 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.251 * [taylor]: Taking taylor expansion of y in x 9.251 * [backup-simplify]: Simplify y into y 9.251 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.252 * [taylor]: Taking taylor expansion of x in x 9.252 * [backup-simplify]: Simplify 0 into 0 9.252 * [backup-simplify]: Simplify 1 into 1 9.252 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z)) 9.252 * [backup-simplify]: Simplify (/ (+ (/ 1 y) (/ 1 z)) 1) into (+ (/ 1 z) (/ 1 y)) 9.252 * [taylor]: Taking taylor expansion of (fma 5.0 (/ 1 z) (/ (+ (/ 1 z) (/ 1 y)) x)) in y 9.252 * [taylor]: Rewrote expression to (+ (* 5.0 (/ 1 z)) (/ (+ (/ 1 z) (/ 1 y)) x)) 9.252 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in y 9.252 * [taylor]: Taking taylor expansion of 5.0 in y 9.252 * [backup-simplify]: Simplify 5.0 into 5.0 9.252 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.252 * [taylor]: Taking taylor expansion of z in y 9.252 * [backup-simplify]: Simplify z into z 9.252 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.252 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y 9.252 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 9.252 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.252 * [taylor]: Taking taylor expansion of z in y 9.252 * [backup-simplify]: Simplify z into z 9.253 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.253 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.253 * [taylor]: Taking taylor expansion of y in y 9.253 * [backup-simplify]: Simplify 0 into 0 9.253 * [backup-simplify]: Simplify 1 into 1 9.253 * [backup-simplify]: Simplify (/ 1 1) into 1 9.253 * [taylor]: Taking taylor expansion of x in y 9.253 * [backup-simplify]: Simplify x into x 9.254 * [backup-simplify]: Simplify (+ 0 1) into 1 9.254 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.254 * [taylor]: Taking taylor expansion of (fma 5.0 (/ 1 z) (/ (+ (/ 1 z) (/ 1 y)) x)) in z 9.254 * [taylor]: Rewrote expression to (+ (* 5.0 (/ 1 z)) (/ (+ (/ 1 z) (/ 1 y)) x)) 9.254 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in z 9.254 * [taylor]: Taking taylor expansion of 5.0 in z 9.254 * [backup-simplify]: Simplify 5.0 into 5.0 9.254 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.254 * [taylor]: Taking taylor expansion of z in z 9.254 * [backup-simplify]: Simplify 0 into 0 9.254 * [backup-simplify]: Simplify 1 into 1 9.255 * [backup-simplify]: Simplify (/ 1 1) into 1 9.255 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z 9.255 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 9.255 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.255 * [taylor]: Taking taylor expansion of z in z 9.255 * [backup-simplify]: Simplify 0 into 0 9.255 * [backup-simplify]: Simplify 1 into 1 9.256 * [backup-simplify]: Simplify (/ 1 1) into 1 9.256 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.256 * [taylor]: Taking taylor expansion of y in z 9.256 * [backup-simplify]: Simplify y into y 9.256 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.256 * [taylor]: Taking taylor expansion of x in z 9.256 * [backup-simplify]: Simplify x into x 9.257 * [backup-simplify]: Simplify (+ 1 0) into 1 9.257 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.257 * [taylor]: Taking taylor expansion of (fma 5.0 (/ 1 z) (/ (+ (/ 1 z) (/ 1 y)) x)) in z 9.257 * [taylor]: Rewrote expression to (+ (* 5.0 (/ 1 z)) (/ (+ (/ 1 z) (/ 1 y)) x)) 9.257 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in z 9.257 * [taylor]: Taking taylor expansion of 5.0 in z 9.257 * [backup-simplify]: Simplify 5.0 into 5.0 9.257 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.257 * [taylor]: Taking taylor expansion of z in z 9.257 * [backup-simplify]: Simplify 0 into 0 9.257 * [backup-simplify]: Simplify 1 into 1 9.258 * [backup-simplify]: Simplify (/ 1 1) into 1 9.258 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z 9.258 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 9.258 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.258 * [taylor]: Taking taylor expansion of z in z 9.258 * [backup-simplify]: Simplify 0 into 0 9.258 * [backup-simplify]: Simplify 1 into 1 9.259 * [backup-simplify]: Simplify (/ 1 1) into 1 9.259 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.259 * [taylor]: Taking taylor expansion of y in z 9.259 * [backup-simplify]: Simplify y into y 9.259 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.259 * [taylor]: Taking taylor expansion of x in z 9.259 * [backup-simplify]: Simplify x into x 9.260 * [backup-simplify]: Simplify (+ 1 0) into 1 9.260 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.260 * [backup-simplify]: Simplify (* 5.0 1) into 5.0 9.260 * [backup-simplify]: Simplify (+ 5.0 (/ 1 x)) into (+ (/ 1 x) 5.0) 9.260 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 5.0) in y 9.260 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.261 * [taylor]: Taking taylor expansion of x in y 9.261 * [backup-simplify]: Simplify x into x 9.261 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.261 * [taylor]: Taking taylor expansion of 5.0 in y 9.261 * [backup-simplify]: Simplify 5.0 into 5.0 9.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.263 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0 9.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.264 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 9.264 * [backup-simplify]: Simplify (- (/ (/ 1 y) x) (+ (* (/ 1 x) (/ 0 x)))) into (/ 1 (* x y)) 9.264 * [backup-simplify]: Simplify (+ 0 (/ 1 (* x y))) into (/ 1 (* x y)) 9.264 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 9.264 * [taylor]: Taking taylor expansion of (* x y) in y 9.264 * [taylor]: Taking taylor expansion of x in y 9.264 * [backup-simplify]: Simplify x into x 9.264 * [taylor]: Taking taylor expansion of y in y 9.264 * [backup-simplify]: Simplify 0 into 0 9.264 * [backup-simplify]: Simplify 1 into 1 9.264 * [backup-simplify]: Simplify (* x 0) into 0 9.265 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 9.265 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.265 * [taylor]: Taking taylor expansion of x in x 9.265 * [backup-simplify]: Simplify 0 into 0 9.265 * [backup-simplify]: Simplify 1 into 1 9.266 * [backup-simplify]: Simplify (/ 1 1) into 1 9.266 * [backup-simplify]: Simplify 1 into 1 9.266 * [backup-simplify]: Simplify (+ (/ 1 x) 5.0) into (+ (/ 1 x) 5.0) 9.266 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 5.0) in x 9.266 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.266 * [taylor]: Taking taylor expansion of x in x 9.266 * [backup-simplify]: Simplify 0 into 0 9.266 * [backup-simplify]: Simplify 1 into 1 9.266 * [backup-simplify]: Simplify (/ 1 1) into 1 9.266 * [taylor]: Taking taylor expansion of 5.0 in x 9.266 * [backup-simplify]: Simplify 5.0 into 5.0 9.267 * [backup-simplify]: Simplify (+ 1 0) into 1 9.267 * [backup-simplify]: Simplify 1 into 1 9.268 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.269 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0 9.270 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.270 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 9.271 * [backup-simplify]: Simplify (+ 0 0) into 0 9.271 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* (/ 1 (* x y)) (/ 0 x)))) into 0 9.271 * [backup-simplify]: Simplify (+ 0 0) into 0 9.272 * [taylor]: Taking taylor expansion of 0 in y 9.272 * [backup-simplify]: Simplify 0 into 0 9.272 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 9.273 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 9.273 * [taylor]: Taking taylor expansion of 0 in x 9.273 * [backup-simplify]: Simplify 0 into 0 9.273 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 9.273 * [backup-simplify]: Simplify (+ 0 0) into 0 9.273 * [taylor]: Taking taylor expansion of 0 in x 9.274 * [backup-simplify]: Simplify 0 into 0 9.274 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.275 * [backup-simplify]: Simplify 0 into 0 9.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.276 * [backup-simplify]: Simplify (+ 0 5.0) into 5.0 9.276 * [backup-simplify]: Simplify 5.0 into 5.0 9.277 * [backup-simplify]: Simplify (+ (* 5.0 (* 1 (* 1 (/ 1 (/ 1 z))))) (+ (* 1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 z))))) (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 (/ 1 y)) 1))))) into (+ (* 5.0 z) (+ (* x z) (* x y))) 9.277 * [backup-simplify]: Simplify (fma 5.0 (/ 1 (- z)) (* (+ (/ 1 (- y)) (/ 1 (- z))) (/ 1 (- x)))) into (fma 5.0 (/ -1 z) (/ (+ (/ 1 z) (/ 1 y)) x)) 9.277 * [approximate]: Taking taylor expansion of (fma 5.0 (/ -1 z) (/ (+ (/ 1 z) (/ 1 y)) x)) in (z y x) around 0 9.277 * [taylor]: Taking taylor expansion of (fma 5.0 (/ -1 z) (/ (+ (/ 1 z) (/ 1 y)) x)) in x 9.278 * [taylor]: Rewrote expression to (+ (* 5.0 (/ -1 z)) (/ (+ (/ 1 z) (/ 1 y)) x)) 9.278 * [taylor]: Taking taylor expansion of (* 5.0 (/ -1 z)) in x 9.278 * [taylor]: Taking taylor expansion of 5.0 in x 9.278 * [backup-simplify]: Simplify 5.0 into 5.0 9.278 * [taylor]: Taking taylor expansion of (/ -1 z) in x 9.278 * [taylor]: Taking taylor expansion of -1 in x 9.278 * [backup-simplify]: Simplify -1 into -1 9.278 * [taylor]: Taking taylor expansion of z in x 9.278 * [backup-simplify]: Simplify z into z 9.278 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 9.278 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x 9.278 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 9.278 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.278 * [taylor]: Taking taylor expansion of z in x 9.278 * [backup-simplify]: Simplify z into z 9.278 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.278 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.278 * [taylor]: Taking taylor expansion of y in x 9.278 * [backup-simplify]: Simplify y into y 9.278 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.278 * [taylor]: Taking taylor expansion of x in x 9.278 * [backup-simplify]: Simplify 0 into 0 9.278 * [backup-simplify]: Simplify 1 into 1 9.278 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z)) 9.278 * [backup-simplify]: Simplify (/ (+ (/ 1 y) (/ 1 z)) 1) into (+ (/ 1 z) (/ 1 y)) 9.279 * [taylor]: Taking taylor expansion of (fma 5.0 (/ -1 z) (/ (+ (/ 1 z) (/ 1 y)) x)) in y 9.279 * [taylor]: Rewrote expression to (+ (* 5.0 (/ -1 z)) (/ (+ (/ 1 z) (/ 1 y)) x)) 9.279 * [taylor]: Taking taylor expansion of (* 5.0 (/ -1 z)) in y 9.279 * [taylor]: Taking taylor expansion of 5.0 in y 9.279 * [backup-simplify]: Simplify 5.0 into 5.0 9.279 * [taylor]: Taking taylor expansion of (/ -1 z) in y 9.279 * [taylor]: Taking taylor expansion of -1 in y 9.279 * [backup-simplify]: Simplify -1 into -1 9.279 * [taylor]: Taking taylor expansion of z in y 9.279 * [backup-simplify]: Simplify z into z 9.279 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 9.279 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y 9.279 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 9.279 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.279 * [taylor]: Taking taylor expansion of z in y 9.279 * [backup-simplify]: Simplify z into z 9.279 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.280 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.280 * [taylor]: Taking taylor expansion of y in y 9.280 * [backup-simplify]: Simplify 0 into 0 9.280 * [backup-simplify]: Simplify 1 into 1 9.280 * [backup-simplify]: Simplify (/ 1 1) into 1 9.280 * [taylor]: Taking taylor expansion of x in y 9.280 * [backup-simplify]: Simplify x into x 9.281 * [backup-simplify]: Simplify (+ 0 1) into 1 9.281 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.281 * [taylor]: Taking taylor expansion of (fma 5.0 (/ -1 z) (/ (+ (/ 1 z) (/ 1 y)) x)) in z 9.281 * [taylor]: Rewrote expression to (+ (* 5.0 (/ -1 z)) (/ (+ (/ 1 z) (/ 1 y)) x)) 9.281 * [taylor]: Taking taylor expansion of (* 5.0 (/ -1 z)) in z 9.281 * [taylor]: Taking taylor expansion of 5.0 in z 9.281 * [backup-simplify]: Simplify 5.0 into 5.0 9.281 * [taylor]: Taking taylor expansion of (/ -1 z) in z 9.281 * [taylor]: Taking taylor expansion of -1 in z 9.281 * [backup-simplify]: Simplify -1 into -1 9.281 * [taylor]: Taking taylor expansion of z in z 9.281 * [backup-simplify]: Simplify 0 into 0 9.282 * [backup-simplify]: Simplify 1 into 1 9.282 * [backup-simplify]: Simplify (/ -1 1) into -1 9.282 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z 9.282 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 9.282 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.282 * [taylor]: Taking taylor expansion of z in z 9.282 * [backup-simplify]: Simplify 0 into 0 9.282 * [backup-simplify]: Simplify 1 into 1 9.283 * [backup-simplify]: Simplify (/ 1 1) into 1 9.283 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.283 * [taylor]: Taking taylor expansion of y in z 9.283 * [backup-simplify]: Simplify y into y 9.283 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.283 * [taylor]: Taking taylor expansion of x in z 9.283 * [backup-simplify]: Simplify x into x 9.284 * [backup-simplify]: Simplify (+ 1 0) into 1 9.284 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.284 * [taylor]: Taking taylor expansion of (fma 5.0 (/ -1 z) (/ (+ (/ 1 z) (/ 1 y)) x)) in z 9.284 * [taylor]: Rewrote expression to (+ (* 5.0 (/ -1 z)) (/ (+ (/ 1 z) (/ 1 y)) x)) 9.284 * [taylor]: Taking taylor expansion of (* 5.0 (/ -1 z)) in z 9.284 * [taylor]: Taking taylor expansion of 5.0 in z 9.284 * [backup-simplify]: Simplify 5.0 into 5.0 9.284 * [taylor]: Taking taylor expansion of (/ -1 z) in z 9.284 * [taylor]: Taking taylor expansion of -1 in z 9.284 * [backup-simplify]: Simplify -1 into -1 9.284 * [taylor]: Taking taylor expansion of z in z 9.284 * [backup-simplify]: Simplify 0 into 0 9.284 * [backup-simplify]: Simplify 1 into 1 9.285 * [backup-simplify]: Simplify (/ -1 1) into -1 9.285 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z 9.285 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 9.285 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.285 * [taylor]: Taking taylor expansion of z in z 9.285 * [backup-simplify]: Simplify 0 into 0 9.285 * [backup-simplify]: Simplify 1 into 1 9.286 * [backup-simplify]: Simplify (/ 1 1) into 1 9.286 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.286 * [taylor]: Taking taylor expansion of y in z 9.286 * [backup-simplify]: Simplify y into y 9.286 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.286 * [taylor]: Taking taylor expansion of x in z 9.286 * [backup-simplify]: Simplify x into x 9.291 * [backup-simplify]: Simplify (+ 1 0) into 1 9.292 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.292 * [backup-simplify]: Simplify (* 5.0 -1) into -5.0 9.292 * [backup-simplify]: Simplify (+ -5.0 (/ 1 x)) into (- (/ 1 x) 5.0) 9.292 * [taylor]: Taking taylor expansion of (- (/ 1 x) 5.0) in y 9.293 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.293 * [taylor]: Taking taylor expansion of x in y 9.293 * [backup-simplify]: Simplify x into x 9.293 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.293 * [taylor]: Taking taylor expansion of 5.0 in y 9.293 * [backup-simplify]: Simplify 5.0 into 5.0 9.294 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 9.295 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 -1)) into 0 9.296 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.296 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 9.296 * [backup-simplify]: Simplify (- (/ (/ 1 y) x) (+ (* (/ 1 x) (/ 0 x)))) into (/ 1 (* x y)) 9.296 * [backup-simplify]: Simplify (+ 0 (/ 1 (* x y))) into (/ 1 (* x y)) 9.296 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 9.297 * [taylor]: Taking taylor expansion of (* x y) in y 9.297 * [taylor]: Taking taylor expansion of x in y 9.297 * [backup-simplify]: Simplify x into x 9.297 * [taylor]: Taking taylor expansion of y in y 9.297 * [backup-simplify]: Simplify 0 into 0 9.297 * [backup-simplify]: Simplify 1 into 1 9.297 * [backup-simplify]: Simplify (* x 0) into 0 9.297 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 9.297 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.297 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.298 * [taylor]: Taking taylor expansion of x in x 9.298 * [backup-simplify]: Simplify 0 into 0 9.298 * [backup-simplify]: Simplify 1 into 1 9.298 * [backup-simplify]: Simplify (/ 1 1) into 1 9.298 * [backup-simplify]: Simplify 1 into 1 9.299 * [backup-simplify]: Simplify (- 5.0) into (- 5.0) 9.299 * [backup-simplify]: Simplify (+ (/ 1 x) (- 5.0)) into (- (/ 1 x) 5.0) 9.299 * [taylor]: Taking taylor expansion of (- (/ 1 x) 5.0) in x 9.299 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.299 * [taylor]: Taking taylor expansion of x in x 9.299 * [backup-simplify]: Simplify 0 into 0 9.299 * [backup-simplify]: Simplify 1 into 1 9.300 * [backup-simplify]: Simplify (/ 1 1) into 1 9.300 * [taylor]: Taking taylor expansion of 5.0 in x 9.300 * [backup-simplify]: Simplify 5.0 into 5.0 9.300 * [backup-simplify]: Simplify (+ 1 0) into 1 9.300 * [backup-simplify]: Simplify 1 into 1 9.302 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.303 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 -1))) into 0 9.304 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.304 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 9.305 * [backup-simplify]: Simplify (+ 0 0) into 0 9.305 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* (/ 1 (* x y)) (/ 0 x)))) into 0 9.306 * [backup-simplify]: Simplify (+ 0 0) into 0 9.306 * [taylor]: Taking taylor expansion of 0 in y 9.306 * [backup-simplify]: Simplify 0 into 0 9.307 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 9.307 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 9.307 * [taylor]: Taking taylor expansion of 0 in x 9.307 * [backup-simplify]: Simplify 0 into 0 9.307 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 9.308 * [backup-simplify]: Simplify (- 0) into 0 9.308 * [backup-simplify]: Simplify (+ 0 0) into 0 9.308 * [taylor]: Taking taylor expansion of 0 in x 9.308 * [backup-simplify]: Simplify 0 into 0 9.309 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.309 * [backup-simplify]: Simplify 0 into 0 9.310 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.310 * [backup-simplify]: Simplify (- 5.0) into (- 5.0) 9.311 * [backup-simplify]: Simplify (+ 0 (- 5.0)) into (- 5.0) 9.312 * [backup-simplify]: Simplify (- 5.0) into (- 5.0) 9.313 * [backup-simplify]: Simplify (+ (* (- 5.0) (* 1 (* 1 (/ 1 (/ 1 (- z)))))) (+ (* 1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- z)))))) (* 1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (/ 1 (- y))) 1))))) into (+ (* 5.0 z) (+ (* x z) (* x y))) 9.313 * * * * [progress]: [ 2 / 2 ] generating series at (2 3) 9.313 * [backup-simplify]: Simplify (* (+ y z) x) into (* x (+ z y)) 9.313 * [approximate]: Taking taylor expansion of (* x (+ z y)) in (y z x) around 0 9.313 * [taylor]: Taking taylor expansion of (* x (+ z y)) in x 9.313 * [taylor]: Taking taylor expansion of x in x 9.313 * [backup-simplify]: Simplify 0 into 0 9.313 * [backup-simplify]: Simplify 1 into 1 9.314 * [taylor]: Taking taylor expansion of (+ z y) in x 9.314 * [taylor]: Taking taylor expansion of z in x 9.314 * [backup-simplify]: Simplify z into z 9.314 * [taylor]: Taking taylor expansion of y in x 9.314 * [backup-simplify]: Simplify y into y 9.314 * [taylor]: Taking taylor expansion of (* x (+ z y)) in z 9.314 * [taylor]: Taking taylor expansion of x in z 9.314 * [backup-simplify]: Simplify x into x 9.314 * [taylor]: Taking taylor expansion of (+ z y) in z 9.314 * [taylor]: Taking taylor expansion of z in z 9.314 * [backup-simplify]: Simplify 0 into 0 9.314 * [backup-simplify]: Simplify 1 into 1 9.314 * [taylor]: Taking taylor expansion of y in z 9.314 * [backup-simplify]: Simplify y into y 9.314 * [taylor]: Taking taylor expansion of (* x (+ z y)) in y 9.314 * [taylor]: Taking taylor expansion of x in y 9.314 * [backup-simplify]: Simplify x into x 9.314 * [taylor]: Taking taylor expansion of (+ z y) in y 9.314 * [taylor]: Taking taylor expansion of z in y 9.314 * [backup-simplify]: Simplify z into z 9.314 * [taylor]: Taking taylor expansion of y in y 9.314 * [backup-simplify]: Simplify 0 into 0 9.314 * [backup-simplify]: Simplify 1 into 1 9.314 * [taylor]: Taking taylor expansion of (* x (+ z y)) in y 9.314 * [taylor]: Taking taylor expansion of x in y 9.314 * [backup-simplify]: Simplify x into x 9.314 * [taylor]: Taking taylor expansion of (+ z y) in y 9.314 * [taylor]: Taking taylor expansion of z in y 9.314 * [backup-simplify]: Simplify z into z 9.314 * [taylor]: Taking taylor expansion of y in y 9.314 * [backup-simplify]: Simplify 0 into 0 9.314 * [backup-simplify]: Simplify 1 into 1 9.314 * [backup-simplify]: Simplify (+ z 0) into z 9.314 * [backup-simplify]: Simplify (* x z) into (* x z) 9.315 * [taylor]: Taking taylor expansion of (* x z) in z 9.315 * [taylor]: Taking taylor expansion of x in z 9.315 * [backup-simplify]: Simplify x into x 9.315 * [taylor]: Taking taylor expansion of z in z 9.315 * [backup-simplify]: Simplify 0 into 0 9.315 * [backup-simplify]: Simplify 1 into 1 9.315 * [backup-simplify]: Simplify (* x 0) into 0 9.315 * [taylor]: Taking taylor expansion of 0 in x 9.315 * [backup-simplify]: Simplify 0 into 0 9.315 * [backup-simplify]: Simplify 0 into 0 9.315 * [backup-simplify]: Simplify (+ 0 1) into 1 9.316 * [backup-simplify]: Simplify (+ (* x 1) (* 0 z)) into x 9.316 * [taylor]: Taking taylor expansion of x in z 9.316 * [backup-simplify]: Simplify x into x 9.316 * [taylor]: Taking taylor expansion of x in x 9.316 * [backup-simplify]: Simplify 0 into 0 9.316 * [backup-simplify]: Simplify 1 into 1 9.316 * [backup-simplify]: Simplify 0 into 0 9.316 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 9.316 * [taylor]: Taking taylor expansion of x in x 9.317 * [backup-simplify]: Simplify 0 into 0 9.317 * [backup-simplify]: Simplify 1 into 1 9.317 * [backup-simplify]: Simplify 0 into 0 9.317 * [backup-simplify]: Simplify 0 into 0 9.317 * [backup-simplify]: Simplify (+ 0 0) into 0 9.318 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 z))) into 0 9.318 * [taylor]: Taking taylor expansion of 0 in z 9.318 * [backup-simplify]: Simplify 0 into 0 9.318 * [taylor]: Taking taylor expansion of 0 in x 9.318 * [backup-simplify]: Simplify 0 into 0 9.318 * [backup-simplify]: Simplify 0 into 0 9.318 * [taylor]: Taking taylor expansion of 0 in x 9.318 * [backup-simplify]: Simplify 0 into 0 9.318 * [backup-simplify]: Simplify 0 into 0 9.318 * [backup-simplify]: Simplify 0 into 0 9.318 * [backup-simplify]: Simplify (* (+ (/ 1 y) (/ 1 z)) (/ 1 x)) into (/ (+ (/ 1 z) (/ 1 y)) x) 9.318 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in (y z x) around 0 9.318 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x 9.318 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 9.318 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.318 * [taylor]: Taking taylor expansion of z in x 9.319 * [backup-simplify]: Simplify z into z 9.319 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.319 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.319 * [taylor]: Taking taylor expansion of y in x 9.319 * [backup-simplify]: Simplify y into y 9.319 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.319 * [taylor]: Taking taylor expansion of x in x 9.319 * [backup-simplify]: Simplify 0 into 0 9.319 * [backup-simplify]: Simplify 1 into 1 9.319 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z)) 9.319 * [backup-simplify]: Simplify (/ (+ (/ 1 y) (/ 1 z)) 1) into (+ (/ 1 z) (/ 1 y)) 9.319 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z 9.319 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 9.319 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.319 * [taylor]: Taking taylor expansion of z in z 9.319 * [backup-simplify]: Simplify 0 into 0 9.319 * [backup-simplify]: Simplify 1 into 1 9.320 * [backup-simplify]: Simplify (/ 1 1) into 1 9.320 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.320 * [taylor]: Taking taylor expansion of y in z 9.320 * [backup-simplify]: Simplify y into y 9.320 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.320 * [taylor]: Taking taylor expansion of x in z 9.320 * [backup-simplify]: Simplify x into x 9.321 * [backup-simplify]: Simplify (+ 1 0) into 1 9.321 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.321 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y 9.321 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 9.321 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.321 * [taylor]: Taking taylor expansion of z in y 9.321 * [backup-simplify]: Simplify z into z 9.321 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.321 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.321 * [taylor]: Taking taylor expansion of y in y 9.321 * [backup-simplify]: Simplify 0 into 0 9.321 * [backup-simplify]: Simplify 1 into 1 9.322 * [backup-simplify]: Simplify (/ 1 1) into 1 9.322 * [taylor]: Taking taylor expansion of x in y 9.322 * [backup-simplify]: Simplify x into x 9.322 * [backup-simplify]: Simplify (+ 0 1) into 1 9.322 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.322 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y 9.322 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 9.322 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.322 * [taylor]: Taking taylor expansion of z in y 9.322 * [backup-simplify]: Simplify z into z 9.322 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.322 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.322 * [taylor]: Taking taylor expansion of y in y 9.323 * [backup-simplify]: Simplify 0 into 0 9.323 * [backup-simplify]: Simplify 1 into 1 9.323 * [backup-simplify]: Simplify (/ 1 1) into 1 9.323 * [taylor]: Taking taylor expansion of x in y 9.323 * [backup-simplify]: Simplify x into x 9.324 * [backup-simplify]: Simplify (+ 0 1) into 1 9.324 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.324 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.324 * [taylor]: Taking taylor expansion of x in z 9.324 * [backup-simplify]: Simplify x into x 9.324 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.325 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.325 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 9.325 * [backup-simplify]: Simplify (- (/ (/ 1 z) x) (+ (* (/ 1 x) (/ 0 x)))) into (/ 1 (* x z)) 9.325 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 9.325 * [taylor]: Taking taylor expansion of (* x z) in z 9.325 * [taylor]: Taking taylor expansion of x in z 9.325 * [backup-simplify]: Simplify x into x 9.325 * [taylor]: Taking taylor expansion of z in z 9.325 * [backup-simplify]: Simplify 0 into 0 9.325 * [backup-simplify]: Simplify 1 into 1 9.325 * [backup-simplify]: Simplify (* x 0) into 0 9.326 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 9.326 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.326 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.326 * [taylor]: Taking taylor expansion of x in x 9.326 * [backup-simplify]: Simplify 0 into 0 9.326 * [backup-simplify]: Simplify 1 into 1 9.327 * [backup-simplify]: Simplify (/ 1 1) into 1 9.327 * [backup-simplify]: Simplify 1 into 1 9.327 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.327 * [taylor]: Taking taylor expansion of x in x 9.327 * [backup-simplify]: Simplify 0 into 0 9.327 * [backup-simplify]: Simplify 1 into 1 9.327 * [backup-simplify]: Simplify (/ 1 1) into 1 9.327 * [backup-simplify]: Simplify 1 into 1 9.328 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 9.329 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.329 * [backup-simplify]: Simplify (+ 0 0) into 0 9.329 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* (/ 1 (* x z)) (/ 0 x)))) into 0 9.329 * [taylor]: Taking taylor expansion of 0 in z 9.330 * [backup-simplify]: Simplify 0 into 0 9.330 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 9.331 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 9.331 * [taylor]: Taking taylor expansion of 0 in x 9.331 * [backup-simplify]: Simplify 0 into 0 9.331 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 9.331 * [taylor]: Taking taylor expansion of 0 in x 9.331 * [backup-simplify]: Simplify 0 into 0 9.332 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.332 * [backup-simplify]: Simplify 0 into 0 9.333 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.333 * [backup-simplify]: Simplify 0 into 0 9.333 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 9.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.335 * [backup-simplify]: Simplify (+ 0 0) into 0 9.335 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* (/ 1 (* x z)) (/ 0 x)) (* 0 (/ 0 x)))) into 0 9.335 * [taylor]: Taking taylor expansion of 0 in z 9.335 * [backup-simplify]: Simplify 0 into 0 9.335 * [taylor]: Taking taylor expansion of 0 in x 9.335 * [backup-simplify]: Simplify 0 into 0 9.336 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 9.336 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 9.336 * [taylor]: Taking taylor expansion of 0 in x 9.336 * [backup-simplify]: Simplify 0 into 0 9.337 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 9.337 * [taylor]: Taking taylor expansion of 0 in x 9.337 * [backup-simplify]: Simplify 0 into 0 9.337 * [backup-simplify]: Simplify 0 into 0 9.337 * [backup-simplify]: Simplify 0 into 0 9.338 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.338 * [backup-simplify]: Simplify 0 into 0 9.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.339 * [backup-simplify]: Simplify 0 into 0 9.340 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 y))))) (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 (/ 1 z)) 1)))) into (+ (* x z) (* x y)) 9.340 * [backup-simplify]: Simplify (* (+ (/ 1 (- y)) (/ 1 (- z))) (/ 1 (- x))) into (/ (+ (/ 1 z) (/ 1 y)) x) 9.340 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in (y z x) around 0 9.340 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x 9.340 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 9.340 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.340 * [taylor]: Taking taylor expansion of z in x 9.340 * [backup-simplify]: Simplify z into z 9.340 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.340 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.340 * [taylor]: Taking taylor expansion of y in x 9.340 * [backup-simplify]: Simplify y into y 9.340 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.340 * [taylor]: Taking taylor expansion of x in x 9.340 * [backup-simplify]: Simplify 0 into 0 9.340 * [backup-simplify]: Simplify 1 into 1 9.340 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z)) 9.341 * [backup-simplify]: Simplify (/ (+ (/ 1 y) (/ 1 z)) 1) into (+ (/ 1 z) (/ 1 y)) 9.341 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z 9.341 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 9.341 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.341 * [taylor]: Taking taylor expansion of z in z 9.341 * [backup-simplify]: Simplify 0 into 0 9.341 * [backup-simplify]: Simplify 1 into 1 9.341 * [backup-simplify]: Simplify (/ 1 1) into 1 9.341 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.341 * [taylor]: Taking taylor expansion of y in z 9.341 * [backup-simplify]: Simplify y into y 9.341 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.342 * [taylor]: Taking taylor expansion of x in z 9.342 * [backup-simplify]: Simplify x into x 9.342 * [backup-simplify]: Simplify (+ 1 0) into 1 9.342 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.342 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y 9.342 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 9.342 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.342 * [taylor]: Taking taylor expansion of z in y 9.342 * [backup-simplify]: Simplify z into z 9.342 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.342 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.342 * [taylor]: Taking taylor expansion of y in y 9.343 * [backup-simplify]: Simplify 0 into 0 9.343 * [backup-simplify]: Simplify 1 into 1 9.343 * [backup-simplify]: Simplify (/ 1 1) into 1 9.343 * [taylor]: Taking taylor expansion of x in y 9.343 * [backup-simplify]: Simplify x into x 9.344 * [backup-simplify]: Simplify (+ 0 1) into 1 9.344 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.344 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y 9.344 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 9.344 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.344 * [taylor]: Taking taylor expansion of z in y 9.344 * [backup-simplify]: Simplify z into z 9.344 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.344 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.344 * [taylor]: Taking taylor expansion of y in y 9.344 * [backup-simplify]: Simplify 0 into 0 9.344 * [backup-simplify]: Simplify 1 into 1 9.345 * [backup-simplify]: Simplify (/ 1 1) into 1 9.345 * [taylor]: Taking taylor expansion of x in y 9.345 * [backup-simplify]: Simplify x into x 9.345 * [backup-simplify]: Simplify (+ 0 1) into 1 9.345 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.345 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.345 * [taylor]: Taking taylor expansion of x in z 9.345 * [backup-simplify]: Simplify x into x 9.345 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.346 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 9.347 * [backup-simplify]: Simplify (- (/ (/ 1 z) x) (+ (* (/ 1 x) (/ 0 x)))) into (/ 1 (* x z)) 9.347 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 9.347 * [taylor]: Taking taylor expansion of (* x z) in z 9.347 * [taylor]: Taking taylor expansion of x in z 9.347 * [backup-simplify]: Simplify x into x 9.347 * [taylor]: Taking taylor expansion of z in z 9.347 * [backup-simplify]: Simplify 0 into 0 9.347 * [backup-simplify]: Simplify 1 into 1 9.347 * [backup-simplify]: Simplify (* x 0) into 0 9.347 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 9.348 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.348 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.348 * [taylor]: Taking taylor expansion of x in x 9.348 * [backup-simplify]: Simplify 0 into 0 9.348 * [backup-simplify]: Simplify 1 into 1 9.348 * [backup-simplify]: Simplify (/ 1 1) into 1 9.348 * [backup-simplify]: Simplify 1 into 1 9.348 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.348 * [taylor]: Taking taylor expansion of x in x 9.348 * [backup-simplify]: Simplify 0 into 0 9.348 * [backup-simplify]: Simplify 1 into 1 9.349 * [backup-simplify]: Simplify (/ 1 1) into 1 9.349 * [backup-simplify]: Simplify 1 into 1 9.349 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 9.350 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.351 * [backup-simplify]: Simplify (+ 0 0) into 0 9.351 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* (/ 1 (* x z)) (/ 0 x)))) into 0 9.351 * [taylor]: Taking taylor expansion of 0 in z 9.351 * [backup-simplify]: Simplify 0 into 0 9.352 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 9.352 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 9.352 * [taylor]: Taking taylor expansion of 0 in x 9.352 * [backup-simplify]: Simplify 0 into 0 9.352 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 9.352 * [taylor]: Taking taylor expansion of 0 in x 9.352 * [backup-simplify]: Simplify 0 into 0 9.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.353 * [backup-simplify]: Simplify 0 into 0 9.354 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.354 * [backup-simplify]: Simplify 0 into 0 9.355 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 9.356 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.357 * [backup-simplify]: Simplify (+ 0 0) into 0 9.357 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* (/ 1 (* x z)) (/ 0 x)) (* 0 (/ 0 x)))) into 0 9.357 * [taylor]: Taking taylor expansion of 0 in z 9.357 * [backup-simplify]: Simplify 0 into 0 9.357 * [taylor]: Taking taylor expansion of 0 in x 9.357 * [backup-simplify]: Simplify 0 into 0 9.358 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 9.358 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 9.358 * [taylor]: Taking taylor expansion of 0 in x 9.358 * [backup-simplify]: Simplify 0 into 0 9.359 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 9.359 * [taylor]: Taking taylor expansion of 0 in x 9.359 * [backup-simplify]: Simplify 0 into 0 9.359 * [backup-simplify]: Simplify 0 into 0 9.359 * [backup-simplify]: Simplify 0 into 0 9.360 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.360 * [backup-simplify]: Simplify 0 into 0 9.361 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.361 * [backup-simplify]: Simplify 0 into 0 9.361 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- y)))))) (* 1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (/ 1 (- z))) 1)))) into (+ (* x z) (* x y)) 9.362 * * * [progress]: simplifying candidates 9.363 * [simplify]: Simplifying: (expm1 (fma 5.0 z (* (+ y z) x))) (log1p (fma 5.0 z (* (+ y z) x))) (* 5.0 z) (log (fma 5.0 z (* (+ y z) x))) (exp (fma 5.0 z (* (+ y z) x))) (* (cbrt (fma 5.0 z (* (+ y z) x))) (cbrt (fma 5.0 z (* (+ y z) x)))) (cbrt (fma 5.0 z (* (+ y z) x))) (* (* (fma 5.0 z (* (+ y z) x)) (fma 5.0 z (* (+ y z) x))) (fma 5.0 z (* (+ y z) x))) (sqrt (fma 5.0 z (* (+ y z) x))) (sqrt (fma 5.0 z (* (+ y z) x))) (expm1 (* (+ y z) x)) (log1p (* (+ y z) x)) (* (+ y z) x) (+ (log (+ y z)) (log x)) (log (* (+ y z) x)) (exp (* (+ y z) x)) (* (* (* (+ y z) (+ y z)) (+ y z)) (* (* x x) x)) (* (cbrt (* (+ y z) x)) (cbrt (* (+ y z) x))) (cbrt (* (+ y z) x)) (* (* (* (+ y z) x) (* (+ y z) x)) (* (+ y z) x)) (sqrt (* (+ y z) x)) (sqrt (* (+ y z) x)) (* (sqrt (+ y z)) (sqrt x)) (* (sqrt (+ y z)) (sqrt x)) (* (+ y z) (* (cbrt x) (cbrt x))) (* (+ y z) (sqrt x)) (* (+ y z) 1) (* (cbrt (+ y z)) x) (* (sqrt (+ y z)) x) (* (+ y z) x) (* (+ y z) x) (* (+ (pow y 3) (pow z 3)) x) (* (- (* y y) (* z z)) x) (+ (* 5.0 z) (+ (* x z) (* x y))) (+ (* 5.0 z) (+ (* x z) (* x y))) (+ (* 5.0 z) (+ (* x z) (* x y))) 0 (+ (* x z) (* x y)) (+ (* x z) (* x y)) 9.364 * * [simplify]: iteration 0: 60 enodes 9.387 * * [simplify]: iteration 1: 136 enodes 9.452 * * [simplify]: iteration 2: 404 enodes 9.811 * * [simplify]: iteration 3: 1738 enodes 10.951 * * [simplify]: iteration complete: 5008 enodes 10.951 * * [simplify]: Extracting #0: cost 28 inf + 0 10.952 * * [simplify]: Extracting #1: cost 298 inf + 1 10.969 * * [simplify]: Extracting #2: cost 1276 inf + 1804 10.993 * * [simplify]: Extracting #3: cost 1443 inf + 69872 11.055 * * [simplify]: Extracting #4: cost 305 inf + 259554 11.125 * * [simplify]: Extracting #5: cost 43 inf + 313621 11.213 * * [simplify]: Extracting #6: cost 13 inf + 317339 11.300 * * [simplify]: Extracting #7: cost 0 inf + 320626 11.386 * [simplify]: Simplified to: (expm1 (fma x (+ y z) (* 5.0 z))) (log1p (fma x (+ y z) (* 5.0 z))) (* 5.0 z) (log (fma x (+ y z) (* 5.0 z))) (exp (fma x (+ y z) (* 5.0 z))) (* (cbrt (fma x (+ y z) (* 5.0 z))) (cbrt (fma x (+ y z) (* 5.0 z)))) (cbrt (fma x (+ y z) (* 5.0 z))) (* (* (fma x (+ y z) (* 5.0 z)) (fma x (+ y z) (* 5.0 z))) (fma x (+ y z) (* 5.0 z))) (sqrt (fma x (+ y z) (* 5.0 z))) (sqrt (fma x (+ y z) (* 5.0 z))) (expm1 (* (+ z y) x)) (log1p (* (+ z y) x)) (* (+ z y) x) (log (* (+ z y) x)) (log (* (+ z y) x)) (exp (* (+ z y) x)) (* (* (* (+ z y) x) (* (+ z y) x)) (* (+ z y) x)) (* (cbrt (* (+ z y) x)) (cbrt (* (+ z y) x))) (cbrt (* (+ z y) x)) (* (* (* (+ z y) x) (* (+ z y) x)) (* (+ z y) x)) (sqrt (* (+ z y) x)) (sqrt (* (+ z y) x)) (* (sqrt x) (sqrt (+ z y))) (* (sqrt x) (sqrt (+ z y))) (* (* (cbrt x) (cbrt x)) (+ y z)) (* (sqrt x) (+ y z)) (+ z y) (* x (cbrt (+ z y))) (* x (sqrt (+ z y))) (* (+ z y) x) (* (+ z y) x) (* (fma y (* y y) (* z (* z z))) x) (* (* (- y z) x) (+ z y)) (fma x (+ y z) (* 5.0 z)) (fma x (+ y z) (* 5.0 z)) (fma x (+ y z) (* 5.0 z)) 0 (* (+ z y) x) (* (+ z y) x) 11.388 * * * [progress]: adding candidates to table 11.564 * [progress]: [Phase 3 of 3] Extracting. 11.564 * * [regime]: Finding splitpoints for: (# # #) 11.564 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 11.564 * * * * [regimes]: Trying to branch on z from (# # #) 11.622 * * * * [regimes]: Trying to branch on y from (# # #) 11.666 * * * * [regimes]: Trying to branch on x from (# # #) 11.709 * * * [regime]: Found split indices: #