40.057 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.057 * * * [progress]: [2/2] Setting up program. 0.060 * [progress]: [Phase 2 of 3] Improving. 0.061 * [simplify]: Simplifying: (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) 0.061 * * [simplify]: Extracting # 0 : cost 0 0.061 * * [simplify]: Extracting # 1 : cost 0 0.061 * * [simplify]: Extracting # 2 : cost 0 0.061 * * [simplify]: Extracting # 3 : cost 0 0.061 * * [simplify]: Extracting # 4 : cost 0 0.061 * * [simplify]: Extracting # 5 : cost 0 0.061 * * [simplify]: Extracting # 6 : cost 0 0.061 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 0.065 * * [simplify]: Extracting # 0 : cost 0 0.065 * * [simplify]: Extracting # 1 : cost 0 0.065 * * [simplify]: Extracting # 2 : cost 0 0.066 * * [simplify]: Extracting # 3 : cost 0 0.066 * * [simplify]: iteration 1 : 23 enodes (cost 13 ) 0.079 * * [simplify]: Extracting # 0 : cost 0 0.079 * * [simplify]: Extracting # 1 : cost 0 0.079 * * [simplify]: Extracting # 2 : cost 0 0.079 * * [simplify]: Extracting # 3 : cost 0 0.080 * * [simplify]: Extracting # 4 : cost 0 0.080 * * [simplify]: iteration 2 : 77 enodes (cost 8 ) 0.138 * * [simplify]: Extracting # 0 : cost 0 0.138 * * [simplify]: Extracting # 1 : cost 0 0.139 * * [simplify]: Extracting # 2 : cost 0 0.139 * * [simplify]: Extracting # 3 : cost 0 0.139 * * [simplify]: iteration 3 : 200 enodes (cost 7 ) 0.731 * * [simplify]: Extracting # 0 : cost 0 0.732 * * [simplify]: Extracting # 1 : cost 0 0.732 * * [simplify]: Extracting # 2 : cost 0 0.733 * * [simplify]: Extracting # 3 : cost 0 0.733 * * [simplify]: Extracting # 4 : cost 0 0.734 * * [simplify]: iteration 4 : 607 enodes (cost 5 ) 2.501 * * [simplify]: Extracting # 0 : cost 0 2.505 * * [simplify]: Extracting # 1 : cost 0 2.507 * * [simplify]: Extracting # 2 : cost 0 2.509 * * [simplify]: Extracting # 3 : cost 0 2.510 * * [simplify]: Extracting # 4 : cost 0 2.512 * * [simplify]: iteration 5 : 1872 enodes (cost 5 ) 10.019 * * [simplify]: Extracting # 0 : cost 0 10.033 * * [simplify]: Extracting # 1 : cost 0 10.039 * * [simplify]: Extracting # 2 : cost 0 10.046 * * [simplify]: Extracting # 3 : cost 0 10.053 * * [simplify]: Extracting # 4 : cost 0 10.060 * * [simplify]: iteration done: 5000 enodes (cost 5 ) 10.060 * [simplify]: Simplified to: (* (- x z) y) 10.065 * * [progress]: iteration 1 / 4 10.065 * * * [progress]: picking best candidate 10.067 * * * * [pick]: Picked # 10.067 * * * [progress]: localizing error 10.074 * * * [progress]: generating rewritten candidates 10.074 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 10.105 * * * [progress]: generating series expansions 10.105 * * * * [progress]: [ 1 / 1 ] generating series at (2) 10.105 * [backup-simplify]: Simplify (* (- x z) y) into (* y (- x z)) 10.105 * [approximate]: Taking taylor expansion of (* y (- x z)) in (x z y) around 0 10.106 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 10.106 * [taylor]: Taking taylor expansion of y in y 10.106 * [backup-simplify]: Simplify 0 into 0 10.106 * [backup-simplify]: Simplify 1 into 1 10.106 * [taylor]: Taking taylor expansion of (- x z) in y 10.106 * [taylor]: Taking taylor expansion of x in y 10.106 * [backup-simplify]: Simplify x into x 10.106 * [taylor]: Taking taylor expansion of z in y 10.106 * [backup-simplify]: Simplify z into z 10.106 * [taylor]: Taking taylor expansion of (* y (- x z)) in z 10.106 * [taylor]: Taking taylor expansion of y in z 10.106 * [backup-simplify]: Simplify y into y 10.106 * [taylor]: Taking taylor expansion of (- x z) in z 10.106 * [taylor]: Taking taylor expansion of x in z 10.106 * [backup-simplify]: Simplify x into x 10.106 * [taylor]: Taking taylor expansion of z in z 10.106 * [backup-simplify]: Simplify 0 into 0 10.106 * [backup-simplify]: Simplify 1 into 1 10.106 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 10.106 * [taylor]: Taking taylor expansion of y in x 10.106 * [backup-simplify]: Simplify y into y 10.106 * [taylor]: Taking taylor expansion of (- x z) in x 10.106 * [taylor]: Taking taylor expansion of x in x 10.106 * [backup-simplify]: Simplify 0 into 0 10.106 * [backup-simplify]: Simplify 1 into 1 10.106 * [taylor]: Taking taylor expansion of z in x 10.106 * [backup-simplify]: Simplify z into z 10.106 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 10.106 * [taylor]: Taking taylor expansion of y in x 10.106 * [backup-simplify]: Simplify y into y 10.106 * [taylor]: Taking taylor expansion of (- x z) in x 10.106 * [taylor]: Taking taylor expansion of x in x 10.106 * [backup-simplify]: Simplify 0 into 0 10.106 * [backup-simplify]: Simplify 1 into 1 10.106 * [taylor]: Taking taylor expansion of z in x 10.106 * [backup-simplify]: Simplify z into z 10.106 * [backup-simplify]: Simplify (- z) into (- z) 10.106 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 10.106 * [backup-simplify]: Simplify (* y (- z)) into (* -1 (* z y)) 10.106 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 10.106 * [taylor]: Taking taylor expansion of -1 in z 10.106 * [backup-simplify]: Simplify -1 into -1 10.106 * [taylor]: Taking taylor expansion of (* z y) in z 10.106 * [taylor]: Taking taylor expansion of z in z 10.106 * [backup-simplify]: Simplify 0 into 0 10.106 * [backup-simplify]: Simplify 1 into 1 10.106 * [taylor]: Taking taylor expansion of y in z 10.106 * [backup-simplify]: Simplify y into y 10.106 * [backup-simplify]: Simplify (* 0 y) into 0 10.107 * [backup-simplify]: Simplify (* -1 0) into 0 10.107 * [taylor]: Taking taylor expansion of 0 in y 10.107 * [backup-simplify]: Simplify 0 into 0 10.107 * [backup-simplify]: Simplify 0 into 0 10.107 * [backup-simplify]: Simplify (- 0) into 0 10.108 * [backup-simplify]: Simplify (+ 1 0) into 1 10.108 * [backup-simplify]: Simplify (+ (* y 1) (* 0 (- z))) into y 10.108 * [taylor]: Taking taylor expansion of y in z 10.108 * [backup-simplify]: Simplify y into y 10.108 * [taylor]: Taking taylor expansion of y in y 10.108 * [backup-simplify]: Simplify 0 into 0 10.108 * [backup-simplify]: Simplify 1 into 1 10.108 * [backup-simplify]: Simplify 0 into 0 10.108 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.108 * [backup-simplify]: Simplify (+ (* -1 y) (* 0 0)) into (- y) 10.108 * [taylor]: Taking taylor expansion of (- y) in y 10.108 * [taylor]: Taking taylor expansion of y in y 10.108 * [backup-simplify]: Simplify 0 into 0 10.108 * [backup-simplify]: Simplify 1 into 1 10.109 * [backup-simplify]: Simplify (- 0) into 0 10.109 * [backup-simplify]: Simplify 0 into 0 10.109 * [backup-simplify]: Simplify 0 into 0 10.109 * [backup-simplify]: Simplify (- 0) into 0 10.109 * [backup-simplify]: Simplify (+ 0 0) into 0 10.109 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 (- z)))) into 0 10.109 * [taylor]: Taking taylor expansion of 0 in z 10.109 * [backup-simplify]: Simplify 0 into 0 10.110 * [taylor]: Taking taylor expansion of 0 in y 10.110 * [backup-simplify]: Simplify 0 into 0 10.110 * [backup-simplify]: Simplify 0 into 0 10.110 * [taylor]: Taking taylor expansion of 0 in y 10.110 * [backup-simplify]: Simplify 0 into 0 10.110 * [backup-simplify]: Simplify 0 into 0 10.110 * [backup-simplify]: Simplify 0 into 0 10.110 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 1 z)) (/ 1 y)) into (/ (- (/ 1 x) (/ 1 z)) y) 10.110 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (x z y) around 0 10.110 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 10.110 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 10.110 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.110 * [taylor]: Taking taylor expansion of x in y 10.110 * [backup-simplify]: Simplify x into x 10.110 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.110 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.110 * [taylor]: Taking taylor expansion of z in y 10.110 * [backup-simplify]: Simplify z into z 10.110 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.110 * [taylor]: Taking taylor expansion of y in y 10.110 * [backup-simplify]: Simplify 0 into 0 10.110 * [backup-simplify]: Simplify 1 into 1 10.110 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 10.110 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 10.110 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z)) 10.110 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 10.110 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 10.110 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.110 * [taylor]: Taking taylor expansion of x in z 10.110 * [backup-simplify]: Simplify x into x 10.110 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.110 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.110 * [taylor]: Taking taylor expansion of z in z 10.110 * [backup-simplify]: Simplify 0 into 0 10.110 * [backup-simplify]: Simplify 1 into 1 10.111 * [backup-simplify]: Simplify (/ 1 1) into 1 10.111 * [taylor]: Taking taylor expansion of y in z 10.111 * [backup-simplify]: Simplify y into y 10.111 * [backup-simplify]: Simplify (- 1) into -1 10.111 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.111 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 10.111 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 10.111 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 10.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.111 * [taylor]: Taking taylor expansion of x in x 10.111 * [backup-simplify]: Simplify 0 into 0 10.111 * [backup-simplify]: Simplify 1 into 1 10.112 * [backup-simplify]: Simplify (/ 1 1) into 1 10.112 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.112 * [taylor]: Taking taylor expansion of z in x 10.112 * [backup-simplify]: Simplify z into z 10.112 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.112 * [taylor]: Taking taylor expansion of y in x 10.112 * [backup-simplify]: Simplify y into y 10.112 * [backup-simplify]: Simplify (+ 1 0) into 1 10.112 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.112 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 10.112 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 10.112 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.112 * [taylor]: Taking taylor expansion of x in x 10.112 * [backup-simplify]: Simplify 0 into 0 10.112 * [backup-simplify]: Simplify 1 into 1 10.112 * [backup-simplify]: Simplify (/ 1 1) into 1 10.112 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.112 * [taylor]: Taking taylor expansion of z in x 10.113 * [backup-simplify]: Simplify z into z 10.113 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.113 * [taylor]: Taking taylor expansion of y in x 10.113 * [backup-simplify]: Simplify y into y 10.113 * [backup-simplify]: Simplify (+ 1 0) into 1 10.113 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.113 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.113 * [taylor]: Taking taylor expansion of y in z 10.113 * [backup-simplify]: Simplify y into y 10.113 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.114 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.114 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 10.114 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 10.114 * [backup-simplify]: Simplify (- (/ (- (/ 1 z)) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (/ 1 (* z y))) 10.114 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 10.114 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 10.114 * [taylor]: Taking taylor expansion of (* z y) in z 10.114 * [taylor]: Taking taylor expansion of z in z 10.114 * [backup-simplify]: Simplify 0 into 0 10.114 * [backup-simplify]: Simplify 1 into 1 10.114 * [taylor]: Taking taylor expansion of y in z 10.114 * [backup-simplify]: Simplify y into y 10.114 * [backup-simplify]: Simplify (* 0 y) into 0 10.114 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.114 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.114 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 10.114 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 10.114 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.114 * [taylor]: Taking taylor expansion of y in y 10.114 * [backup-simplify]: Simplify 0 into 0 10.114 * [backup-simplify]: Simplify 1 into 1 10.115 * [backup-simplify]: Simplify (/ 1 1) into 1 10.115 * [backup-simplify]: Simplify (- 1) into -1 10.115 * [backup-simplify]: Simplify -1 into -1 10.115 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.115 * [taylor]: Taking taylor expansion of y in y 10.115 * [backup-simplify]: Simplify 0 into 0 10.115 * [backup-simplify]: Simplify 1 into 1 10.115 * [backup-simplify]: Simplify (/ 1 1) into 1 10.115 * [backup-simplify]: Simplify 1 into 1 10.116 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.116 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 10.116 * [backup-simplify]: Simplify (- 0) into 0 10.116 * [backup-simplify]: Simplify (+ 0 0) into 0 10.117 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)))) into 0 10.117 * [taylor]: Taking taylor expansion of 0 in z 10.117 * [backup-simplify]: Simplify 0 into 0 10.117 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 10.117 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 10.117 * [backup-simplify]: Simplify (- 0) into 0 10.117 * [taylor]: Taking taylor expansion of 0 in y 10.117 * [backup-simplify]: Simplify 0 into 0 10.118 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 10.118 * [taylor]: Taking taylor expansion of 0 in y 10.118 * [backup-simplify]: Simplify 0 into 0 10.118 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.118 * [backup-simplify]: Simplify (- 0) into 0 10.118 * [backup-simplify]: Simplify 0 into 0 10.119 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.119 * [backup-simplify]: Simplify 0 into 0 10.119 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.119 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.120 * [backup-simplify]: Simplify (- 0) into 0 10.120 * [backup-simplify]: Simplify (+ 0 0) into 0 10.120 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.120 * [taylor]: Taking taylor expansion of 0 in z 10.120 * [backup-simplify]: Simplify 0 into 0 10.120 * [taylor]: Taking taylor expansion of 0 in y 10.120 * [backup-simplify]: Simplify 0 into 0 10.121 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 10.121 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.121 * [backup-simplify]: Simplify (- 0) into 0 10.121 * [taylor]: Taking taylor expansion of 0 in y 10.121 * [backup-simplify]: Simplify 0 into 0 10.121 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.121 * [taylor]: Taking taylor expansion of 0 in y 10.121 * [backup-simplify]: Simplify 0 into 0 10.121 * [backup-simplify]: Simplify 0 into 0 10.121 * [backup-simplify]: Simplify 0 into 0 10.122 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.122 * [backup-simplify]: Simplify (- 0) into 0 10.122 * [backup-simplify]: Simplify 0 into 0 10.123 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.123 * [backup-simplify]: Simplify 0 into 0 10.123 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 y)) (* 1 (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 z)) 1)))) into (- (* x y) (* z y)) 10.123 * [backup-simplify]: Simplify (* (- (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y))) into (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) 10.123 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (x z y) around 0 10.123 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 10.123 * [taylor]: Taking taylor expansion of -1 in y 10.123 * [backup-simplify]: Simplify -1 into -1 10.123 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 10.123 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 10.123 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.123 * [taylor]: Taking taylor expansion of z in y 10.123 * [backup-simplify]: Simplify z into z 10.123 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.123 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.123 * [taylor]: Taking taylor expansion of x in y 10.123 * [backup-simplify]: Simplify x into x 10.123 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.123 * [taylor]: Taking taylor expansion of y in y 10.123 * [backup-simplify]: Simplify 0 into 0 10.124 * [backup-simplify]: Simplify 1 into 1 10.124 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 10.124 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x)) 10.124 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x)) 10.124 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z 10.124 * [taylor]: Taking taylor expansion of -1 in z 10.124 * [backup-simplify]: Simplify -1 into -1 10.124 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 10.124 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 10.124 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.124 * [taylor]: Taking taylor expansion of z in z 10.124 * [backup-simplify]: Simplify 0 into 0 10.124 * [backup-simplify]: Simplify 1 into 1 10.124 * [backup-simplify]: Simplify (/ 1 1) into 1 10.124 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.124 * [taylor]: Taking taylor expansion of x in z 10.124 * [backup-simplify]: Simplify x into x 10.124 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.124 * [taylor]: Taking taylor expansion of y in z 10.124 * [backup-simplify]: Simplify y into y 10.125 * [backup-simplify]: Simplify (+ 1 0) into 1 10.125 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.125 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 10.125 * [taylor]: Taking taylor expansion of -1 in x 10.125 * [backup-simplify]: Simplify -1 into -1 10.125 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 10.125 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 10.125 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.125 * [taylor]: Taking taylor expansion of z in x 10.125 * [backup-simplify]: Simplify z into z 10.125 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.125 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.125 * [taylor]: Taking taylor expansion of x in x 10.125 * [backup-simplify]: Simplify 0 into 0 10.125 * [backup-simplify]: Simplify 1 into 1 10.125 * [backup-simplify]: Simplify (/ 1 1) into 1 10.125 * [taylor]: Taking taylor expansion of y in x 10.125 * [backup-simplify]: Simplify y into y 10.125 * [backup-simplify]: Simplify (- 1) into -1 10.126 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.126 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 10.126 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 10.126 * [taylor]: Taking taylor expansion of -1 in x 10.126 * [backup-simplify]: Simplify -1 into -1 10.126 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 10.126 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 10.126 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.126 * [taylor]: Taking taylor expansion of z in x 10.126 * [backup-simplify]: Simplify z into z 10.126 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.126 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.126 * [taylor]: Taking taylor expansion of x in x 10.126 * [backup-simplify]: Simplify 0 into 0 10.126 * [backup-simplify]: Simplify 1 into 1 10.126 * [backup-simplify]: Simplify (/ 1 1) into 1 10.126 * [taylor]: Taking taylor expansion of y in x 10.126 * [backup-simplify]: Simplify y into y 10.127 * [backup-simplify]: Simplify (- 1) into -1 10.127 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.127 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 10.127 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 10.127 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.127 * [taylor]: Taking taylor expansion of y in z 10.127 * [backup-simplify]: Simplify y into y 10.127 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.128 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.128 * [backup-simplify]: Simplify (- 0) into 0 10.128 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 10.128 * [backup-simplify]: Simplify (- (/ (/ 1 z) y) (+ (* (/ -1 y) (/ 0 y)))) into (/ 1 (* z y)) 10.128 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (* z y))) (* 0 (/ -1 y))) into (- (/ 1 (* z y))) 10.128 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 10.128 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 10.128 * [taylor]: Taking taylor expansion of (* z y) in z 10.128 * [taylor]: Taking taylor expansion of z in z 10.128 * [backup-simplify]: Simplify 0 into 0 10.128 * [backup-simplify]: Simplify 1 into 1 10.128 * [taylor]: Taking taylor expansion of y in z 10.128 * [backup-simplify]: Simplify y into y 10.128 * [backup-simplify]: Simplify (* 0 y) into 0 10.129 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.129 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.129 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 10.129 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 10.129 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.129 * [taylor]: Taking taylor expansion of y in y 10.129 * [backup-simplify]: Simplify 0 into 0 10.129 * [backup-simplify]: Simplify 1 into 1 10.129 * [backup-simplify]: Simplify (/ 1 1) into 1 10.129 * [backup-simplify]: Simplify (- 1) into -1 10.129 * [backup-simplify]: Simplify -1 into -1 10.129 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.129 * [taylor]: Taking taylor expansion of y in y 10.129 * [backup-simplify]: Simplify 0 into 0 10.129 * [backup-simplify]: Simplify 1 into 1 10.130 * [backup-simplify]: Simplify (/ 1 1) into 1 10.130 * [backup-simplify]: Simplify 1 into 1 10.130 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 10.130 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.131 * [backup-simplify]: Simplify (- 0) into 0 10.131 * [backup-simplify]: Simplify (+ 0 0) into 0 10.131 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (/ 1 (* z y)) (/ 0 y)))) into 0 10.131 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 (* z y))) (* 0 (/ -1 y)))) into 0 10.131 * [taylor]: Taking taylor expansion of 0 in z 10.131 * [backup-simplify]: Simplify 0 into 0 10.132 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 10.132 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 10.132 * [backup-simplify]: Simplify (- 0) into 0 10.132 * [taylor]: Taking taylor expansion of 0 in y 10.132 * [backup-simplify]: Simplify 0 into 0 10.132 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 10.132 * [taylor]: Taking taylor expansion of 0 in y 10.133 * [backup-simplify]: Simplify 0 into 0 10.133 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.133 * [backup-simplify]: Simplify (- 0) into 0 10.133 * [backup-simplify]: Simplify 0 into 0 10.134 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.134 * [backup-simplify]: Simplify 0 into 0 10.134 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.134 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.135 * [backup-simplify]: Simplify (- 0) into 0 10.135 * [backup-simplify]: Simplify (+ 0 0) into 0 10.135 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (/ 1 (* z y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.136 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 (* z y))) (* 0 (/ -1 y))))) into 0 10.136 * [taylor]: Taking taylor expansion of 0 in z 10.136 * [backup-simplify]: Simplify 0 into 0 10.136 * [taylor]: Taking taylor expansion of 0 in y 10.136 * [backup-simplify]: Simplify 0 into 0 10.136 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 10.137 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.137 * [backup-simplify]: Simplify (- 0) into 0 10.137 * [taylor]: Taking taylor expansion of 0 in y 10.137 * [backup-simplify]: Simplify 0 into 0 10.137 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.137 * [taylor]: Taking taylor expansion of 0 in y 10.137 * [backup-simplify]: Simplify 0 into 0 10.137 * [backup-simplify]: Simplify 0 into 0 10.137 * [backup-simplify]: Simplify 0 into 0 10.138 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.138 * [backup-simplify]: Simplify (- 0) into 0 10.138 * [backup-simplify]: Simplify 0 into 0 10.138 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.138 * [backup-simplify]: Simplify 0 into 0 10.139 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- y))) (* 1 (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- z))) 1)))) into (- (* x y) (* z y)) 10.139 * * * [progress]: simplifying candidates 10.139 * [simplify]: Simplifying: (expm1 (* (- x z) y)) (log1p (* (- x z) y)) (* (- x z) y) (+ (log (- x z)) (log y)) (log (* (- x z) y)) (exp (* (- x z) y)) (* (* (* (- x z) (- x z)) (- x z)) (* (* y y) y)) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (cbrt (* (- x z) y)) (* (* (* (- x z) y) (* (- x z) y)) (* (- x z) y)) (sqrt (* (- x z) y)) (sqrt (* (- x z) y)) (* (sqrt (- x z)) (sqrt y)) (* (sqrt (- x z)) (sqrt y)) (* (- x z) (* (cbrt y) (cbrt y))) (* (- x z) (sqrt y)) (* (- x z) 1) (* (cbrt (- x z)) y) (* (sqrt (- x z)) y) (* (- x z) y) (* (- (sqrt x) (sqrt z)) y) (* (- x z) y) (* (- (pow x 3) (pow z 3)) y) (* (- (* x x) (* z z)) y) 0 (- (* x y) (* z y)) (- (* x y) (* z y)) 10.140 * * [simplify]: Extracting # 0 : cost 0 10.140 * * [simplify]: Extracting # 1 : cost 0 10.140 * * [simplify]: Extracting # 2 : cost 0 10.140 * * [simplify]: Extracting # 3 : cost 0 10.140 * * [simplify]: Extracting # 4 : cost 0 10.140 * * [simplify]: Extracting # 5 : cost 0 10.140 * * [simplify]: iteration 0 : 51 enodes (cost 197 ) 10.156 * * [simplify]: Extracting # 0 : cost 0 10.156 * * [simplify]: Extracting # 1 : cost 0 10.156 * * [simplify]: Extracting # 2 : cost 0 10.157 * * [simplify]: Extracting # 3 : cost 0 10.157 * * [simplify]: iteration 1 : 109 enodes (cost 190 ) 10.202 * * [simplify]: Extracting # 0 : cost 0 10.203 * * [simplify]: Extracting # 1 : cost 0 10.203 * * [simplify]: Extracting # 2 : cost 0 10.204 * * [simplify]: Extracting # 3 : cost 0 10.204 * * [simplify]: Extracting # 4 : cost 0 10.205 * * [simplify]: Extracting # 5 : cost 0 10.205 * * [simplify]: iteration 2 : 349 enodes (cost 174 ) 10.621 * * [simplify]: Extracting # 0 : cost 0 10.624 * * [simplify]: Extracting # 1 : cost 0 10.626 * * [simplify]: Extracting # 2 : cost 0 10.628 * * [simplify]: Extracting # 3 : cost 0 10.630 * * [simplify]: Extracting # 4 : cost 0 10.632 * * [simplify]: iteration 3 : 1285 enodes (cost 170 ) 13.429 * * [simplify]: Extracting # 0 : cost 0 13.434 * * [simplify]: Extracting # 1 : cost 0 13.438 * * [simplify]: Extracting # 2 : cost 0 13.443 * * [simplify]: Extracting # 3 : cost 0 13.449 * * [simplify]: Extracting # 4 : cost 0 13.455 * * [simplify]: iteration 4 : 4544 enodes (cost 170 ) 14.876 * * [simplify]: Extracting # 0 : cost 0 14.884 * * [simplify]: Extracting # 1 : cost 0 14.888 * * [simplify]: iteration done: 5000 enodes (cost 170 ) 14.889 * [simplify]: Simplified to: (expm1 (* (- x z) y)) (log1p (* (- x z) y)) (* (- x z) y) (log (* (- x z) y)) (log (* (- x z) y)) (exp (* (- x z) y)) (pow (* (- x z) y) 3) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (cbrt (* (- x z) y)) (pow (* (- x z) y) 3) (sqrt (* (- x z) y)) (sqrt (* (- x z) y)) (* (sqrt (- x z)) (sqrt y)) (* (sqrt (- x z)) (sqrt y)) (* (- x z) (* (cbrt y) (cbrt y))) (* (- x z) (sqrt y)) (- x z) (* (cbrt (- x z)) y) (* (sqrt (- x z)) y) (* (- x z) y) (* (- (sqrt x) (sqrt z)) y) (* (- x z) y) (* (- (pow x 3) (pow z 3)) y) (* (- (* x x) (* z z)) y) 0 (* (- x z) y) (* (- x z) y) 14.889 * * * [progress]: adding candidates to table 14.938 * * [progress]: iteration 2 / 4 14.938 * * * [progress]: picking best candidate 14.941 * * * * [pick]: Picked # 14.941 * * * [progress]: localizing error 14.953 * * * [progress]: generating rewritten candidates 14.953 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 14.983 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 15.019 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 15.032 * * * [progress]: generating series expansions 15.032 * * * * [progress]: [ 1 / 3 ] generating series at (2) 15.032 * [backup-simplify]: Simplify (/ (* (- (* x x) (* z z)) y) (+ x z)) into (/ (* y (- (pow x 2) (pow z 2))) (+ x z)) 15.032 * [approximate]: Taking taylor expansion of (/ (* y (- (pow x 2) (pow z 2))) (+ x z)) in (x z y) around 0 15.032 * [taylor]: Taking taylor expansion of (/ (* y (- (pow x 2) (pow z 2))) (+ x z)) in y 15.032 * [taylor]: Taking taylor expansion of (* y (- (pow x 2) (pow z 2))) in y 15.032 * [taylor]: Taking taylor expansion of y in y 15.032 * [backup-simplify]: Simplify 0 into 0 15.032 * [backup-simplify]: Simplify 1 into 1 15.032 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow z 2)) in y 15.032 * [taylor]: Taking taylor expansion of (pow x 2) in y 15.032 * [taylor]: Taking taylor expansion of x in y 15.032 * [backup-simplify]: Simplify x into x 15.032 * [taylor]: Taking taylor expansion of (pow z 2) in y 15.032 * [taylor]: Taking taylor expansion of z in y 15.032 * [backup-simplify]: Simplify z into z 15.032 * [taylor]: Taking taylor expansion of (+ x z) in y 15.032 * [taylor]: Taking taylor expansion of x in y 15.032 * [backup-simplify]: Simplify x into x 15.032 * [taylor]: Taking taylor expansion of z in y 15.032 * [backup-simplify]: Simplify z into z 15.032 * [backup-simplify]: Simplify (* x x) into (pow x 2) 15.032 * [backup-simplify]: Simplify (* z z) into (pow z 2) 15.032 * [backup-simplify]: Simplify (- (pow z 2)) into (- (pow z 2)) 15.033 * [backup-simplify]: Simplify (+ (pow x 2) (- (pow z 2))) into (- (pow x 2) (pow z 2)) 15.033 * [backup-simplify]: Simplify (* 0 (- (pow x 2) (pow z 2))) into 0 15.033 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0 15.033 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 15.033 * [backup-simplify]: Simplify (- 0) into 0 15.034 * [backup-simplify]: Simplify (+ 0 0) into 0 15.034 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (pow x 2) (pow z 2)))) into (- (pow x 2) (pow z 2)) 15.034 * [backup-simplify]: Simplify (+ x z) into (+ x z) 15.034 * [backup-simplify]: Simplify (/ (- (pow x 2) (pow z 2)) (+ x z)) into (/ (- (pow x 2) (pow z 2)) (+ x z)) 15.034 * [taylor]: Taking taylor expansion of (/ (* y (- (pow x 2) (pow z 2))) (+ x z)) in z 15.034 * [taylor]: Taking taylor expansion of (* y (- (pow x 2) (pow z 2))) in z 15.034 * [taylor]: Taking taylor expansion of y in z 15.034 * [backup-simplify]: Simplify y into y 15.034 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow z 2)) in z 15.034 * [taylor]: Taking taylor expansion of (pow x 2) in z 15.034 * [taylor]: Taking taylor expansion of x in z 15.034 * [backup-simplify]: Simplify x into x 15.034 * [taylor]: Taking taylor expansion of (pow z 2) in z 15.034 * [taylor]: Taking taylor expansion of z in z 15.034 * [backup-simplify]: Simplify 0 into 0 15.034 * [backup-simplify]: Simplify 1 into 1 15.035 * [taylor]: Taking taylor expansion of (+ x z) in z 15.035 * [taylor]: Taking taylor expansion of x in z 15.035 * [backup-simplify]: Simplify x into x 15.035 * [taylor]: Taking taylor expansion of z in z 15.035 * [backup-simplify]: Simplify 0 into 0 15.035 * [backup-simplify]: Simplify 1 into 1 15.035 * [backup-simplify]: Simplify (* x x) into (pow x 2) 15.035 * [backup-simplify]: Simplify (+ (pow x 2) 0) into (pow x 2) 15.035 * [backup-simplify]: Simplify (* y (pow x 2)) into (* (pow x 2) y) 15.035 * [backup-simplify]: Simplify (+ x 0) into x 15.035 * [backup-simplify]: Simplify (/ (* (pow x 2) y) x) into (* x y) 15.035 * [taylor]: Taking taylor expansion of (/ (* y (- (pow x 2) (pow z 2))) (+ x z)) in x 15.035 * [taylor]: Taking taylor expansion of (* y (- (pow x 2) (pow z 2))) in x 15.035 * [taylor]: Taking taylor expansion of y in x 15.035 * [backup-simplify]: Simplify y into y 15.035 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow z 2)) in x 15.035 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.035 * [taylor]: Taking taylor expansion of x in x 15.035 * [backup-simplify]: Simplify 0 into 0 15.035 * [backup-simplify]: Simplify 1 into 1 15.035 * [taylor]: Taking taylor expansion of (pow z 2) in x 15.035 * [taylor]: Taking taylor expansion of z in x 15.035 * [backup-simplify]: Simplify z into z 15.035 * [taylor]: Taking taylor expansion of (+ x z) in x 15.035 * [taylor]: Taking taylor expansion of x in x 15.035 * [backup-simplify]: Simplify 0 into 0 15.035 * [backup-simplify]: Simplify 1 into 1 15.035 * [taylor]: Taking taylor expansion of z in x 15.035 * [backup-simplify]: Simplify z into z 15.035 * [backup-simplify]: Simplify (* z z) into (pow z 2) 15.035 * [backup-simplify]: Simplify (- (pow z 2)) into (- (pow z 2)) 15.036 * [backup-simplify]: Simplify (+ 0 (- (pow z 2))) into (- (pow z 2)) 15.036 * [backup-simplify]: Simplify (* y (- (pow z 2))) into (* -1 (* (pow z 2) y)) 15.036 * [backup-simplify]: Simplify (+ 0 z) into z 15.036 * [backup-simplify]: Simplify (/ (* -1 (* (pow z 2) y)) z) into (* -1 (* z y)) 15.036 * [taylor]: Taking taylor expansion of (/ (* y (- (pow x 2) (pow z 2))) (+ x z)) in x 15.036 * [taylor]: Taking taylor expansion of (* y (- (pow x 2) (pow z 2))) in x 15.036 * [taylor]: Taking taylor expansion of y in x 15.036 * [backup-simplify]: Simplify y into y 15.036 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow z 2)) in x 15.036 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.036 * [taylor]: Taking taylor expansion of x in x 15.036 * [backup-simplify]: Simplify 0 into 0 15.036 * [backup-simplify]: Simplify 1 into 1 15.036 * [taylor]: Taking taylor expansion of (pow z 2) in x 15.036 * [taylor]: Taking taylor expansion of z in x 15.036 * [backup-simplify]: Simplify z into z 15.036 * [taylor]: Taking taylor expansion of (+ x z) in x 15.036 * [taylor]: Taking taylor expansion of x in x 15.036 * [backup-simplify]: Simplify 0 into 0 15.036 * [backup-simplify]: Simplify 1 into 1 15.036 * [taylor]: Taking taylor expansion of z in x 15.036 * [backup-simplify]: Simplify z into z 15.036 * [backup-simplify]: Simplify (* z z) into (pow z 2) 15.036 * [backup-simplify]: Simplify (- (pow z 2)) into (- (pow z 2)) 15.036 * [backup-simplify]: Simplify (+ 0 (- (pow z 2))) into (- (pow z 2)) 15.036 * [backup-simplify]: Simplify (* y (- (pow z 2))) into (* -1 (* (pow z 2) y)) 15.037 * [backup-simplify]: Simplify (+ 0 z) into z 15.037 * [backup-simplify]: Simplify (/ (* -1 (* (pow z 2) y)) z) into (* -1 (* z y)) 15.037 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 15.037 * [taylor]: Taking taylor expansion of -1 in z 15.037 * [backup-simplify]: Simplify -1 into -1 15.037 * [taylor]: Taking taylor expansion of (* z y) in z 15.037 * [taylor]: Taking taylor expansion of z in z 15.037 * [backup-simplify]: Simplify 0 into 0 15.037 * [backup-simplify]: Simplify 1 into 1 15.037 * [taylor]: Taking taylor expansion of y in z 15.037 * [backup-simplify]: Simplify y into y 15.037 * [backup-simplify]: Simplify (* 0 y) into 0 15.037 * [backup-simplify]: Simplify (* -1 0) into 0 15.037 * [taylor]: Taking taylor expansion of 0 in y 15.037 * [backup-simplify]: Simplify 0 into 0 15.037 * [backup-simplify]: Simplify 0 into 0 15.037 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 15.038 * [backup-simplify]: Simplify (- 0) into 0 15.038 * [backup-simplify]: Simplify (+ 0 0) into 0 15.038 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (- (pow z 2)))) into 0 15.038 * [backup-simplify]: Simplify (+ 1 0) into 1 15.038 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (* -1 (* z y)) (/ 1 z)))) into y 15.038 * [taylor]: Taking taylor expansion of y in z 15.039 * [backup-simplify]: Simplify y into y 15.039 * [taylor]: Taking taylor expansion of y in y 15.039 * [backup-simplify]: Simplify 0 into 0 15.039 * [backup-simplify]: Simplify 1 into 1 15.039 * [backup-simplify]: Simplify 1 into 1 15.039 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 15.039 * [backup-simplify]: Simplify (+ (* -1 y) (* 0 0)) into (- y) 15.039 * [taylor]: Taking taylor expansion of (- y) in y 15.039 * [taylor]: Taking taylor expansion of y in y 15.039 * [backup-simplify]: Simplify 0 into 0 15.040 * [backup-simplify]: Simplify 1 into 1 15.040 * [backup-simplify]: Simplify (- 1) into -1 15.040 * [backup-simplify]: Simplify -1 into -1 15.040 * [backup-simplify]: Simplify 0 into 0 15.040 * [backup-simplify]: Simplify (* 1 1) into 1 15.041 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 15.041 * [backup-simplify]: Simplify (- 0) into 0 15.041 * [backup-simplify]: Simplify (+ 1 0) into 1 15.041 * [backup-simplify]: Simplify (+ (* y 1) (+ (* 0 0) (* 0 (- (pow z 2))))) into y 15.042 * [backup-simplify]: Simplify (+ 0 0) into 0 15.042 * [backup-simplify]: Simplify (- (/ y z) (+ (* (* -1 (* z y)) (/ 0 z)) (* y (/ 1 z)))) into 0 15.042 * [taylor]: Taking taylor expansion of 0 in z 15.042 * [backup-simplify]: Simplify 0 into 0 15.042 * [taylor]: Taking taylor expansion of 0 in y 15.042 * [backup-simplify]: Simplify 0 into 0 15.042 * [backup-simplify]: Simplify 0 into 0 15.042 * [taylor]: Taking taylor expansion of 0 in y 15.042 * [backup-simplify]: Simplify 0 into 0 15.042 * [backup-simplify]: Simplify 0 into 0 15.043 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 15.043 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 y) (* 0 0))) into 0 15.043 * [taylor]: Taking taylor expansion of 0 in y 15.043 * [backup-simplify]: Simplify 0 into 0 15.043 * [backup-simplify]: Simplify 0 into 0 15.043 * [backup-simplify]: Simplify 0 into 0 15.043 * [backup-simplify]: Simplify (- 0) into 0 15.043 * [backup-simplify]: Simplify 0 into 0 15.044 * [backup-simplify]: Simplify (+ (* -1 (* y (* z 1))) (* 1 (* y (* 1 x)))) into (- (* x y) (* z y)) 15.044 * [backup-simplify]: Simplify (/ (* (- (* (/ 1 x) (/ 1 x)) (* (/ 1 z) (/ 1 z))) (/ 1 y)) (+ (/ 1 x) (/ 1 z))) into (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) (* (+ (/ 1 z) (/ 1 x)) y)) 15.044 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) (* (+ (/ 1 z) (/ 1 x)) y)) in (x z y) around 0 15.044 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) (* (+ (/ 1 z) (/ 1 x)) y)) in y 15.044 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in y 15.044 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 15.044 * [taylor]: Taking taylor expansion of (pow x 2) in y 15.044 * [taylor]: Taking taylor expansion of x in y 15.044 * [backup-simplify]: Simplify x into x 15.044 * [backup-simplify]: Simplify (* x x) into (pow x 2) 15.044 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 15.044 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 15.044 * [taylor]: Taking taylor expansion of (pow z 2) in y 15.044 * [taylor]: Taking taylor expansion of z in y 15.044 * [backup-simplify]: Simplify z into z 15.044 * [backup-simplify]: Simplify (* z z) into (pow z 2) 15.045 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 15.045 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 x)) y) in y 15.045 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y 15.045 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.045 * [taylor]: Taking taylor expansion of z in y 15.045 * [backup-simplify]: Simplify z into z 15.045 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 15.045 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.045 * [taylor]: Taking taylor expansion of x in y 15.045 * [backup-simplify]: Simplify x into x 15.045 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 15.045 * [taylor]: Taking taylor expansion of y in y 15.045 * [backup-simplify]: Simplify 0 into 0 15.045 * [backup-simplify]: Simplify 1 into 1 15.045 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 15.045 * [backup-simplify]: Simplify (+ (/ 1 (pow x 2)) (- (/ 1 (pow z 2)))) into (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) 15.045 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 x)) into (+ (/ 1 z) (/ 1 x)) 15.045 * [backup-simplify]: Simplify (* (+ (/ 1 z) (/ 1 x)) 0) into 0 15.045 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 15.045 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 15.046 * [backup-simplify]: Simplify (+ 0 0) into 0 15.046 * [backup-simplify]: Simplify (+ (* (+ (/ 1 z) (/ 1 x)) 1) (* 0 0)) into (+ (/ 1 z) (/ 1 x)) 15.046 * [backup-simplify]: Simplify (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) (+ (/ 1 z) (/ 1 x))) into (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) (+ (/ 1 z) (/ 1 x))) 15.046 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) (* (+ (/ 1 z) (/ 1 x)) y)) in z 15.046 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in z 15.046 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 15.046 * [taylor]: Taking taylor expansion of (pow x 2) in z 15.047 * [taylor]: Taking taylor expansion of x in z 15.047 * [backup-simplify]: Simplify x into x 15.047 * [backup-simplify]: Simplify (* x x) into (pow x 2) 15.047 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 15.047 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 15.047 * [taylor]: Taking taylor expansion of (pow z 2) in z 15.047 * [taylor]: Taking taylor expansion of z in z 15.047 * [backup-simplify]: Simplify 0 into 0 15.047 * [backup-simplify]: Simplify 1 into 1 15.047 * [backup-simplify]: Simplify (* 1 1) into 1 15.047 * [backup-simplify]: Simplify (/ 1 1) into 1 15.047 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 x)) y) in z 15.047 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z 15.047 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.047 * [taylor]: Taking taylor expansion of z in z 15.047 * [backup-simplify]: Simplify 0 into 0 15.047 * [backup-simplify]: Simplify 1 into 1 15.048 * [backup-simplify]: Simplify (/ 1 1) into 1 15.048 * [taylor]: Taking taylor expansion of (/ 1 x) in z 15.048 * [taylor]: Taking taylor expansion of x in z 15.048 * [backup-simplify]: Simplify x into x 15.048 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 15.048 * [taylor]: Taking taylor expansion of y in z 15.048 * [backup-simplify]: Simplify y into y 15.048 * [backup-simplify]: Simplify (- 1) into -1 15.048 * [backup-simplify]: Simplify (+ 0 -1) into -1 15.048 * [backup-simplify]: Simplify (+ 1 0) into 1 15.048 * [backup-simplify]: Simplify (* 1 y) into y 15.049 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 15.049 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) (* (+ (/ 1 z) (/ 1 x)) y)) in x 15.049 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in x 15.049 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 15.049 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.049 * [taylor]: Taking taylor expansion of x in x 15.049 * [backup-simplify]: Simplify 0 into 0 15.049 * [backup-simplify]: Simplify 1 into 1 15.049 * [backup-simplify]: Simplify (* 1 1) into 1 15.049 * [backup-simplify]: Simplify (/ 1 1) into 1 15.049 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 15.049 * [taylor]: Taking taylor expansion of (pow z 2) in x 15.049 * [taylor]: Taking taylor expansion of z in x 15.049 * [backup-simplify]: Simplify z into z 15.049 * [backup-simplify]: Simplify (* z z) into (pow z 2) 15.049 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 15.049 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 x)) y) in x 15.049 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x 15.049 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.049 * [taylor]: Taking taylor expansion of z in x 15.049 * [backup-simplify]: Simplify z into z 15.050 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 15.050 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.050 * [taylor]: Taking taylor expansion of x in x 15.050 * [backup-simplify]: Simplify 0 into 0 15.050 * [backup-simplify]: Simplify 1 into 1 15.050 * [backup-simplify]: Simplify (/ 1 1) into 1 15.050 * [taylor]: Taking taylor expansion of y in x 15.050 * [backup-simplify]: Simplify y into y 15.050 * [backup-simplify]: Simplify (+ 1 0) into 1 15.050 * [backup-simplify]: Simplify (+ 0 1) into 1 15.050 * [backup-simplify]: Simplify (* 1 y) into y 15.050 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.050 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) (* (+ (/ 1 z) (/ 1 x)) y)) in x 15.051 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in x 15.051 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 15.051 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.051 * [taylor]: Taking taylor expansion of x in x 15.051 * [backup-simplify]: Simplify 0 into 0 15.051 * [backup-simplify]: Simplify 1 into 1 15.051 * [backup-simplify]: Simplify (* 1 1) into 1 15.051 * [backup-simplify]: Simplify (/ 1 1) into 1 15.051 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 15.051 * [taylor]: Taking taylor expansion of (pow z 2) in x 15.051 * [taylor]: Taking taylor expansion of z in x 15.051 * [backup-simplify]: Simplify z into z 15.051 * [backup-simplify]: Simplify (* z z) into (pow z 2) 15.051 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 15.051 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 x)) y) in x 15.051 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x 15.051 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.051 * [taylor]: Taking taylor expansion of z in x 15.051 * [backup-simplify]: Simplify z into z 15.051 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 15.052 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.052 * [taylor]: Taking taylor expansion of x in x 15.052 * [backup-simplify]: Simplify 0 into 0 15.052 * [backup-simplify]: Simplify 1 into 1 15.052 * [backup-simplify]: Simplify (/ 1 1) into 1 15.052 * [taylor]: Taking taylor expansion of y in x 15.052 * [backup-simplify]: Simplify y into y 15.052 * [backup-simplify]: Simplify (+ 1 0) into 1 15.053 * [backup-simplify]: Simplify (+ 0 1) into 1 15.053 * [backup-simplify]: Simplify (* 1 y) into y 15.053 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.053 * [taylor]: Taking taylor expansion of (/ 1 y) in z 15.053 * [taylor]: Taking taylor expansion of y in z 15.053 * [backup-simplify]: Simplify y into y 15.053 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.053 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.054 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.054 * [backup-simplify]: Simplify (+ 0 0) into 0 15.054 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.055 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 15.055 * [backup-simplify]: Simplify (+ (* 1 0) (* (/ 1 z) y)) into (/ y z) 15.055 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ (/ y z) y)))) into (- (/ 1 (* z y))) 15.055 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 15.055 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 15.055 * [taylor]: Taking taylor expansion of (* z y) in z 15.055 * [taylor]: Taking taylor expansion of z in z 15.055 * [backup-simplify]: Simplify 0 into 0 15.055 * [backup-simplify]: Simplify 1 into 1 15.055 * [taylor]: Taking taylor expansion of y in z 15.055 * [backup-simplify]: Simplify y into y 15.055 * [backup-simplify]: Simplify (* 0 y) into 0 15.056 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 15.056 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.056 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 15.056 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 15.056 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.056 * [taylor]: Taking taylor expansion of y in y 15.056 * [backup-simplify]: Simplify 0 into 0 15.056 * [backup-simplify]: Simplify 1 into 1 15.056 * [backup-simplify]: Simplify (/ 1 1) into 1 15.056 * [backup-simplify]: Simplify (- 1) into -1 15.056 * [backup-simplify]: Simplify -1 into -1 15.056 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.056 * [taylor]: Taking taylor expansion of y in y 15.056 * [backup-simplify]: Simplify 0 into 0 15.057 * [backup-simplify]: Simplify 1 into 1 15.057 * [backup-simplify]: Simplify (/ 1 1) into 1 15.057 * [backup-simplify]: Simplify 1 into 1 15.057 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.058 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.058 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 15.058 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow z 2)))) into (- (/ 1 (pow z 2))) 15.058 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 15.059 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.059 * [backup-simplify]: Simplify (+ 0 0) into 0 15.059 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 0) (* 0 y))) into 0 15.060 * [backup-simplify]: Simplify (- (/ (- (/ 1 (pow z 2))) y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ (/ y z) y)))) into 0 15.060 * [taylor]: Taking taylor expansion of 0 in z 15.060 * [backup-simplify]: Simplify 0 into 0 15.060 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 15.060 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 15.060 * [backup-simplify]: Simplify (- 0) into 0 15.060 * [taylor]: Taking taylor expansion of 0 in y 15.060 * [backup-simplify]: Simplify 0 into 0 15.061 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 15.061 * [taylor]: Taking taylor expansion of 0 in y 15.061 * [backup-simplify]: Simplify 0 into 0 15.061 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.061 * [backup-simplify]: Simplify (- 0) into 0 15.061 * [backup-simplify]: Simplify 0 into 0 15.062 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.062 * [backup-simplify]: Simplify 0 into 0 15.062 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.063 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.063 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 15.063 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 15.063 * [backup-simplify]: Simplify (- 0) into 0 15.064 * [backup-simplify]: Simplify (+ 0 0) into 0 15.064 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 15.064 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.064 * [backup-simplify]: Simplify (+ 0 0) into 0 15.065 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 0) (+ (* 0 0) (* 0 y)))) into 0 15.065 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)) (* 0 (/ (/ y z) y)))) into 0 15.065 * [taylor]: Taking taylor expansion of 0 in z 15.065 * [backup-simplify]: Simplify 0 into 0 15.065 * [taylor]: Taking taylor expansion of 0 in y 15.065 * [backup-simplify]: Simplify 0 into 0 15.067 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 15.067 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.067 * [backup-simplify]: Simplify (- 0) into 0 15.067 * [taylor]: Taking taylor expansion of 0 in y 15.067 * [backup-simplify]: Simplify 0 into 0 15.067 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.067 * [taylor]: Taking taylor expansion of 0 in y 15.067 * [backup-simplify]: Simplify 0 into 0 15.068 * [backup-simplify]: Simplify 0 into 0 15.068 * [backup-simplify]: Simplify 0 into 0 15.068 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.069 * [backup-simplify]: Simplify (- 0) into 0 15.069 * [backup-simplify]: Simplify 0 into 0 15.070 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.070 * [backup-simplify]: Simplify 0 into 0 15.071 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 y)) (* 1 (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 z)) 1)))) into (- (* x y) (* z y)) 15.071 * [backup-simplify]: Simplify (/ (* (- (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- z)) (/ 1 (- z)))) (/ 1 (- y))) (+ (/ 1 (- x)) (/ 1 (- z)))) into (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) (* (+ (/ 1 z) (/ 1 x)) y)) 15.071 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) (* (+ (/ 1 z) (/ 1 x)) y)) in (x z y) around 0 15.071 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) (* (+ (/ 1 z) (/ 1 x)) y)) in y 15.071 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in y 15.071 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 15.071 * [taylor]: Taking taylor expansion of (pow x 2) in y 15.071 * [taylor]: Taking taylor expansion of x in y 15.072 * [backup-simplify]: Simplify x into x 15.072 * [backup-simplify]: Simplify (* x x) into (pow x 2) 15.072 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 15.072 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 15.072 * [taylor]: Taking taylor expansion of (pow z 2) in y 15.072 * [taylor]: Taking taylor expansion of z in y 15.072 * [backup-simplify]: Simplify z into z 15.072 * [backup-simplify]: Simplify (* z z) into (pow z 2) 15.072 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 15.072 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 x)) y) in y 15.072 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y 15.072 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.072 * [taylor]: Taking taylor expansion of z in y 15.072 * [backup-simplify]: Simplify z into z 15.072 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 15.072 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.072 * [taylor]: Taking taylor expansion of x in y 15.072 * [backup-simplify]: Simplify x into x 15.072 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 15.073 * [taylor]: Taking taylor expansion of y in y 15.073 * [backup-simplify]: Simplify 0 into 0 15.073 * [backup-simplify]: Simplify 1 into 1 15.073 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 15.073 * [backup-simplify]: Simplify (+ (/ 1 (pow x 2)) (- (/ 1 (pow z 2)))) into (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) 15.073 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 x)) into (+ (/ 1 z) (/ 1 x)) 15.073 * [backup-simplify]: Simplify (* (+ (/ 1 z) (/ 1 x)) 0) into 0 15.074 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 15.074 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 15.074 * [backup-simplify]: Simplify (+ 0 0) into 0 15.075 * [backup-simplify]: Simplify (+ (* (+ (/ 1 z) (/ 1 x)) 1) (* 0 0)) into (+ (/ 1 z) (/ 1 x)) 15.075 * [backup-simplify]: Simplify (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) (+ (/ 1 z) (/ 1 x))) into (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) (+ (/ 1 z) (/ 1 x))) 15.075 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) (* (+ (/ 1 z) (/ 1 x)) y)) in z 15.075 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in z 15.075 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 15.075 * [taylor]: Taking taylor expansion of (pow x 2) in z 15.075 * [taylor]: Taking taylor expansion of x in z 15.075 * [backup-simplify]: Simplify x into x 15.076 * [backup-simplify]: Simplify (* x x) into (pow x 2) 15.076 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 15.076 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 15.076 * [taylor]: Taking taylor expansion of (pow z 2) in z 15.076 * [taylor]: Taking taylor expansion of z in z 15.076 * [backup-simplify]: Simplify 0 into 0 15.076 * [backup-simplify]: Simplify 1 into 1 15.076 * [backup-simplify]: Simplify (* 1 1) into 1 15.077 * [backup-simplify]: Simplify (/ 1 1) into 1 15.077 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 x)) y) in z 15.077 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z 15.077 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.077 * [taylor]: Taking taylor expansion of z in z 15.077 * [backup-simplify]: Simplify 0 into 0 15.077 * [backup-simplify]: Simplify 1 into 1 15.077 * [backup-simplify]: Simplify (/ 1 1) into 1 15.077 * [taylor]: Taking taylor expansion of (/ 1 x) in z 15.077 * [taylor]: Taking taylor expansion of x in z 15.077 * [backup-simplify]: Simplify x into x 15.077 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 15.077 * [taylor]: Taking taylor expansion of y in z 15.077 * [backup-simplify]: Simplify y into y 15.078 * [backup-simplify]: Simplify (- 1) into -1 15.078 * [backup-simplify]: Simplify (+ 0 -1) into -1 15.079 * [backup-simplify]: Simplify (+ 1 0) into 1 15.079 * [backup-simplify]: Simplify (* 1 y) into y 15.079 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 15.079 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) (* (+ (/ 1 z) (/ 1 x)) y)) in x 15.079 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in x 15.079 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 15.079 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.079 * [taylor]: Taking taylor expansion of x in x 15.079 * [backup-simplify]: Simplify 0 into 0 15.079 * [backup-simplify]: Simplify 1 into 1 15.079 * [backup-simplify]: Simplify (* 1 1) into 1 15.080 * [backup-simplify]: Simplify (/ 1 1) into 1 15.080 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 15.080 * [taylor]: Taking taylor expansion of (pow z 2) in x 15.080 * [taylor]: Taking taylor expansion of z in x 15.080 * [backup-simplify]: Simplify z into z 15.080 * [backup-simplify]: Simplify (* z z) into (pow z 2) 15.080 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 15.080 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 x)) y) in x 15.080 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x 15.080 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.080 * [taylor]: Taking taylor expansion of z in x 15.080 * [backup-simplify]: Simplify z into z 15.080 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 15.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.080 * [taylor]: Taking taylor expansion of x in x 15.080 * [backup-simplify]: Simplify 0 into 0 15.080 * [backup-simplify]: Simplify 1 into 1 15.081 * [backup-simplify]: Simplify (/ 1 1) into 1 15.081 * [taylor]: Taking taylor expansion of y in x 15.081 * [backup-simplify]: Simplify y into y 15.081 * [backup-simplify]: Simplify (+ 1 0) into 1 15.081 * [backup-simplify]: Simplify (+ 0 1) into 1 15.082 * [backup-simplify]: Simplify (* 1 y) into y 15.082 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.082 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) (* (+ (/ 1 z) (/ 1 x)) y)) in x 15.082 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in x 15.082 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 15.082 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.082 * [taylor]: Taking taylor expansion of x in x 15.082 * [backup-simplify]: Simplify 0 into 0 15.082 * [backup-simplify]: Simplify 1 into 1 15.082 * [backup-simplify]: Simplify (* 1 1) into 1 15.083 * [backup-simplify]: Simplify (/ 1 1) into 1 15.083 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 15.083 * [taylor]: Taking taylor expansion of (pow z 2) in x 15.083 * [taylor]: Taking taylor expansion of z in x 15.083 * [backup-simplify]: Simplify z into z 15.083 * [backup-simplify]: Simplify (* z z) into (pow z 2) 15.083 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 15.083 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) (/ 1 x)) y) in x 15.083 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x 15.083 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.083 * [taylor]: Taking taylor expansion of z in x 15.083 * [backup-simplify]: Simplify z into z 15.083 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 15.083 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.083 * [taylor]: Taking taylor expansion of x in x 15.083 * [backup-simplify]: Simplify 0 into 0 15.083 * [backup-simplify]: Simplify 1 into 1 15.084 * [backup-simplify]: Simplify (/ 1 1) into 1 15.084 * [taylor]: Taking taylor expansion of y in x 15.084 * [backup-simplify]: Simplify y into y 15.084 * [backup-simplify]: Simplify (+ 1 0) into 1 15.085 * [backup-simplify]: Simplify (+ 0 1) into 1 15.085 * [backup-simplify]: Simplify (* 1 y) into y 15.085 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.085 * [taylor]: Taking taylor expansion of (/ 1 y) in z 15.085 * [taylor]: Taking taylor expansion of y in z 15.085 * [backup-simplify]: Simplify y into y 15.085 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.086 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.086 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.087 * [backup-simplify]: Simplify (+ 0 0) into 0 15.087 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.087 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 15.088 * [backup-simplify]: Simplify (+ (* 1 0) (* (/ 1 z) y)) into (/ y z) 15.088 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ (/ y z) y)))) into (- (/ 1 (* z y))) 15.088 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 15.088 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 15.088 * [taylor]: Taking taylor expansion of (* z y) in z 15.088 * [taylor]: Taking taylor expansion of z in z 15.088 * [backup-simplify]: Simplify 0 into 0 15.088 * [backup-simplify]: Simplify 1 into 1 15.088 * [taylor]: Taking taylor expansion of y in z 15.088 * [backup-simplify]: Simplify y into y 15.088 * [backup-simplify]: Simplify (* 0 y) into 0 15.089 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 15.089 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.089 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 15.089 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 15.089 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.089 * [taylor]: Taking taylor expansion of y in y 15.089 * [backup-simplify]: Simplify 0 into 0 15.089 * [backup-simplify]: Simplify 1 into 1 15.089 * [backup-simplify]: Simplify (/ 1 1) into 1 15.090 * [backup-simplify]: Simplify (- 1) into -1 15.090 * [backup-simplify]: Simplify -1 into -1 15.090 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.090 * [taylor]: Taking taylor expansion of y in y 15.090 * [backup-simplify]: Simplify 0 into 0 15.090 * [backup-simplify]: Simplify 1 into 1 15.090 * [backup-simplify]: Simplify (/ 1 1) into 1 15.090 * [backup-simplify]: Simplify 1 into 1 15.091 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.092 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.092 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 15.092 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow z 2)))) into (- (/ 1 (pow z 2))) 15.093 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 15.093 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.094 * [backup-simplify]: Simplify (+ 0 0) into 0 15.095 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 0) (* 0 y))) into 0 15.095 * [backup-simplify]: Simplify (- (/ (- (/ 1 (pow z 2))) y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ (/ y z) y)))) into 0 15.095 * [taylor]: Taking taylor expansion of 0 in z 15.095 * [backup-simplify]: Simplify 0 into 0 15.096 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 15.096 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 15.097 * [backup-simplify]: Simplify (- 0) into 0 15.097 * [taylor]: Taking taylor expansion of 0 in y 15.097 * [backup-simplify]: Simplify 0 into 0 15.097 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 15.097 * [taylor]: Taking taylor expansion of 0 in y 15.097 * [backup-simplify]: Simplify 0 into 0 15.098 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.098 * [backup-simplify]: Simplify (- 0) into 0 15.098 * [backup-simplify]: Simplify 0 into 0 15.099 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.099 * [backup-simplify]: Simplify 0 into 0 15.100 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.101 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.101 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 15.101 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 15.102 * [backup-simplify]: Simplify (- 0) into 0 15.102 * [backup-simplify]: Simplify (+ 0 0) into 0 15.102 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 15.103 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.103 * [backup-simplify]: Simplify (+ 0 0) into 0 15.104 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 0) (+ (* 0 0) (* 0 y)))) into 0 15.104 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)) (* 0 (/ (/ y z) y)))) into 0 15.105 * [taylor]: Taking taylor expansion of 0 in z 15.105 * [backup-simplify]: Simplify 0 into 0 15.105 * [taylor]: Taking taylor expansion of 0 in y 15.105 * [backup-simplify]: Simplify 0 into 0 15.106 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 15.106 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.106 * [backup-simplify]: Simplify (- 0) into 0 15.106 * [taylor]: Taking taylor expansion of 0 in y 15.106 * [backup-simplify]: Simplify 0 into 0 15.106 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.107 * [taylor]: Taking taylor expansion of 0 in y 15.107 * [backup-simplify]: Simplify 0 into 0 15.107 * [backup-simplify]: Simplify 0 into 0 15.107 * [backup-simplify]: Simplify 0 into 0 15.107 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.108 * [backup-simplify]: Simplify (- 0) into 0 15.108 * [backup-simplify]: Simplify 0 into 0 15.109 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.109 * [backup-simplify]: Simplify 0 into 0 15.109 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- y))) (* 1 (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- z))) 1)))) into (- (* x y) (* z y)) 15.109 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 15.109 * [backup-simplify]: Simplify (* (- (* x x) (* z z)) y) into (* y (- (pow x 2) (pow z 2))) 15.110 * [approximate]: Taking taylor expansion of (* y (- (pow x 2) (pow z 2))) in (x z y) around 0 15.110 * [taylor]: Taking taylor expansion of (* y (- (pow x 2) (pow z 2))) in y 15.110 * [taylor]: Taking taylor expansion of y in y 15.110 * [backup-simplify]: Simplify 0 into 0 15.110 * [backup-simplify]: Simplify 1 into 1 15.110 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow z 2)) in y 15.110 * [taylor]: Taking taylor expansion of (pow x 2) in y 15.110 * [taylor]: Taking taylor expansion of x in y 15.110 * [backup-simplify]: Simplify x into x 15.110 * [taylor]: Taking taylor expansion of (pow z 2) in y 15.110 * [taylor]: Taking taylor expansion of z in y 15.110 * [backup-simplify]: Simplify z into z 15.110 * [taylor]: Taking taylor expansion of (* y (- (pow x 2) (pow z 2))) in z 15.110 * [taylor]: Taking taylor expansion of y in z 15.110 * [backup-simplify]: Simplify y into y 15.110 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow z 2)) in z 15.110 * [taylor]: Taking taylor expansion of (pow x 2) in z 15.110 * [taylor]: Taking taylor expansion of x in z 15.110 * [backup-simplify]: Simplify x into x 15.110 * [taylor]: Taking taylor expansion of (pow z 2) in z 15.110 * [taylor]: Taking taylor expansion of z in z 15.110 * [backup-simplify]: Simplify 0 into 0 15.110 * [backup-simplify]: Simplify 1 into 1 15.110 * [taylor]: Taking taylor expansion of (* y (- (pow x 2) (pow z 2))) in x 15.110 * [taylor]: Taking taylor expansion of y in x 15.110 * [backup-simplify]: Simplify y into y 15.110 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow z 2)) in x 15.110 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.110 * [taylor]: Taking taylor expansion of x in x 15.110 * [backup-simplify]: Simplify 0 into 0 15.110 * [backup-simplify]: Simplify 1 into 1 15.110 * [taylor]: Taking taylor expansion of (pow z 2) in x 15.110 * [taylor]: Taking taylor expansion of z in x 15.110 * [backup-simplify]: Simplify z into z 15.110 * [taylor]: Taking taylor expansion of (* y (- (pow x 2) (pow z 2))) in x 15.110 * [taylor]: Taking taylor expansion of y in x 15.110 * [backup-simplify]: Simplify y into y 15.110 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow z 2)) in x 15.111 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.111 * [taylor]: Taking taylor expansion of x in x 15.111 * [backup-simplify]: Simplify 0 into 0 15.111 * [backup-simplify]: Simplify 1 into 1 15.111 * [taylor]: Taking taylor expansion of (pow z 2) in x 15.111 * [taylor]: Taking taylor expansion of z in x 15.111 * [backup-simplify]: Simplify z into z 15.111 * [backup-simplify]: Simplify (* z z) into (pow z 2) 15.111 * [backup-simplify]: Simplify (- (pow z 2)) into (- (pow z 2)) 15.111 * [backup-simplify]: Simplify (+ 0 (- (pow z 2))) into (- (pow z 2)) 15.111 * [backup-simplify]: Simplify (* y (- (pow z 2))) into (* -1 (* (pow z 2) y)) 15.111 * [taylor]: Taking taylor expansion of (* -1 (* (pow z 2) y)) in z 15.111 * [taylor]: Taking taylor expansion of -1 in z 15.111 * [backup-simplify]: Simplify -1 into -1 15.111 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 15.112 * [taylor]: Taking taylor expansion of (pow z 2) in z 15.112 * [taylor]: Taking taylor expansion of z in z 15.112 * [backup-simplify]: Simplify 0 into 0 15.112 * [backup-simplify]: Simplify 1 into 1 15.112 * [taylor]: Taking taylor expansion of y in z 15.112 * [backup-simplify]: Simplify y into y 15.112 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 15.112 * [backup-simplify]: Simplify (- 0) into 0 15.113 * [backup-simplify]: Simplify (+ 0 0) into 0 15.113 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (- (pow z 2)))) into 0 15.113 * [taylor]: Taking taylor expansion of 0 in z 15.113 * [backup-simplify]: Simplify 0 into 0 15.113 * [taylor]: Taking taylor expansion of 0 in y 15.113 * [backup-simplify]: Simplify 0 into 0 15.113 * [backup-simplify]: Simplify 0 into 0 15.114 * [backup-simplify]: Simplify (* 1 1) into 1 15.114 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 15.115 * [backup-simplify]: Simplify (- 0) into 0 15.115 * [backup-simplify]: Simplify (+ 1 0) into 1 15.115 * [backup-simplify]: Simplify (+ (* y 1) (+ (* 0 0) (* 0 (- (pow z 2))))) into y 15.116 * [taylor]: Taking taylor expansion of y in z 15.116 * [backup-simplify]: Simplify y into y 15.116 * [taylor]: Taking taylor expansion of y in y 15.116 * [backup-simplify]: Simplify 0 into 0 15.116 * [backup-simplify]: Simplify 1 into 1 15.116 * [backup-simplify]: Simplify 0 into 0 15.116 * [taylor]: Taking taylor expansion of 0 in y 15.116 * [backup-simplify]: Simplify 0 into 0 15.116 * [backup-simplify]: Simplify 0 into 0 15.116 * [backup-simplify]: Simplify (* 1 1) into 1 15.116 * [backup-simplify]: Simplify (* 1 y) into y 15.116 * [backup-simplify]: Simplify (* -1 y) into (* -1 y) 15.116 * [taylor]: Taking taylor expansion of (* -1 y) in y 15.116 * [taylor]: Taking taylor expansion of -1 in y 15.116 * [backup-simplify]: Simplify -1 into -1 15.116 * [taylor]: Taking taylor expansion of y in y 15.116 * [backup-simplify]: Simplify 0 into 0 15.116 * [backup-simplify]: Simplify 1 into 1 15.117 * [backup-simplify]: Simplify (* -1 0) into 0 15.117 * [backup-simplify]: Simplify 0 into 0 15.117 * [backup-simplify]: Simplify 0 into 0 15.118 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.118 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 15.119 * [backup-simplify]: Simplify (- 0) into 0 15.119 * [backup-simplify]: Simplify (+ 0 0) into 0 15.120 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (+ (* 0 0) (* 0 (- (pow z 2)))))) into 0 15.120 * [taylor]: Taking taylor expansion of 0 in z 15.120 * [backup-simplify]: Simplify 0 into 0 15.120 * [taylor]: Taking taylor expansion of 0 in y 15.120 * [backup-simplify]: Simplify 0 into 0 15.120 * [backup-simplify]: Simplify 0 into 0 15.120 * [backup-simplify]: Simplify 0 into 0 15.120 * [backup-simplify]: Simplify (* (- (* (/ 1 x) (/ 1 x)) (* (/ 1 z) (/ 1 z))) (/ 1 y)) into (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) y) 15.121 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) y) in (x z y) around 0 15.121 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) y) in y 15.121 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in y 15.121 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 15.121 * [taylor]: Taking taylor expansion of (pow x 2) in y 15.121 * [taylor]: Taking taylor expansion of x in y 15.121 * [backup-simplify]: Simplify x into x 15.121 * [backup-simplify]: Simplify (* x x) into (pow x 2) 15.121 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 15.121 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 15.121 * [taylor]: Taking taylor expansion of (pow z 2) in y 15.121 * [taylor]: Taking taylor expansion of z in y 15.121 * [backup-simplify]: Simplify z into z 15.121 * [backup-simplify]: Simplify (* z z) into (pow z 2) 15.121 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 15.121 * [taylor]: Taking taylor expansion of y in y 15.121 * [backup-simplify]: Simplify 0 into 0 15.121 * [backup-simplify]: Simplify 1 into 1 15.122 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 15.122 * [backup-simplify]: Simplify (+ (/ 1 (pow x 2)) (- (/ 1 (pow z 2)))) into (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) 15.122 * [backup-simplify]: Simplify (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) 1) into (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) 15.122 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) y) in z 15.122 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in z 15.122 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 15.122 * [taylor]: Taking taylor expansion of (pow x 2) in z 15.122 * [taylor]: Taking taylor expansion of x in z 15.122 * [backup-simplify]: Simplify x into x 15.122 * [backup-simplify]: Simplify (* x x) into (pow x 2) 15.123 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 15.123 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 15.123 * [taylor]: Taking taylor expansion of (pow z 2) in z 15.123 * [taylor]: Taking taylor expansion of z in z 15.123 * [backup-simplify]: Simplify 0 into 0 15.123 * [backup-simplify]: Simplify 1 into 1 15.123 * [backup-simplify]: Simplify (* 1 1) into 1 15.124 * [backup-simplify]: Simplify (/ 1 1) into 1 15.124 * [taylor]: Taking taylor expansion of y in z 15.124 * [backup-simplify]: Simplify y into y 15.124 * [backup-simplify]: Simplify (- 1) into -1 15.124 * [backup-simplify]: Simplify (+ 0 -1) into -1 15.124 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 15.125 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) y) in x 15.125 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in x 15.125 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 15.125 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.125 * [taylor]: Taking taylor expansion of x in x 15.125 * [backup-simplify]: Simplify 0 into 0 15.125 * [backup-simplify]: Simplify 1 into 1 15.125 * [backup-simplify]: Simplify (* 1 1) into 1 15.130 * [backup-simplify]: Simplify (/ 1 1) into 1 15.130 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 15.130 * [taylor]: Taking taylor expansion of (pow z 2) in x 15.130 * [taylor]: Taking taylor expansion of z in x 15.130 * [backup-simplify]: Simplify z into z 15.130 * [backup-simplify]: Simplify (* z z) into (pow z 2) 15.130 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 15.130 * [taylor]: Taking taylor expansion of y in x 15.130 * [backup-simplify]: Simplify y into y 15.131 * [backup-simplify]: Simplify (+ 1 0) into 1 15.131 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.131 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) y) in x 15.131 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in x 15.131 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 15.131 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.131 * [taylor]: Taking taylor expansion of x in x 15.131 * [backup-simplify]: Simplify 0 into 0 15.131 * [backup-simplify]: Simplify 1 into 1 15.132 * [backup-simplify]: Simplify (* 1 1) into 1 15.132 * [backup-simplify]: Simplify (/ 1 1) into 1 15.132 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 15.132 * [taylor]: Taking taylor expansion of (pow z 2) in x 15.132 * [taylor]: Taking taylor expansion of z in x 15.132 * [backup-simplify]: Simplify z into z 15.132 * [backup-simplify]: Simplify (* z z) into (pow z 2) 15.133 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 15.133 * [taylor]: Taking taylor expansion of y in x 15.133 * [backup-simplify]: Simplify y into y 15.133 * [backup-simplify]: Simplify (+ 1 0) into 1 15.133 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.133 * [taylor]: Taking taylor expansion of (/ 1 y) in z 15.133 * [taylor]: Taking taylor expansion of y in z 15.133 * [backup-simplify]: Simplify y into y 15.133 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.134 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.135 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.135 * [backup-simplify]: Simplify (+ 0 0) into 0 15.135 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0 15.135 * [taylor]: Taking taylor expansion of 0 in z 15.135 * [backup-simplify]: Simplify 0 into 0 15.136 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.137 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.137 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 15.138 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow z 2)))) into (- (/ 1 (pow z 2))) 15.138 * [backup-simplify]: Simplify (- (/ (- (/ 1 (pow z 2))) y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into (- (/ 1 (* (pow z 2) y))) 15.138 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 2) y))) in z 15.138 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 15.138 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 15.138 * [taylor]: Taking taylor expansion of (pow z 2) in z 15.138 * [taylor]: Taking taylor expansion of z in z 15.138 * [backup-simplify]: Simplify 0 into 0 15.138 * [backup-simplify]: Simplify 1 into 1 15.138 * [taylor]: Taking taylor expansion of y in z 15.138 * [backup-simplify]: Simplify y into y 15.139 * [backup-simplify]: Simplify (* 1 1) into 1 15.139 * [backup-simplify]: Simplify (* 1 y) into y 15.139 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.139 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 15.139 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 15.139 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.139 * [taylor]: Taking taylor expansion of y in y 15.139 * [backup-simplify]: Simplify 0 into 0 15.139 * [backup-simplify]: Simplify 1 into 1 15.139 * [backup-simplify]: Simplify (/ 1 1) into 1 15.140 * [backup-simplify]: Simplify (- 1) into -1 15.140 * [backup-simplify]: Simplify -1 into -1 15.140 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.140 * [taylor]: Taking taylor expansion of y in y 15.140 * [backup-simplify]: Simplify 0 into 0 15.140 * [backup-simplify]: Simplify 1 into 1 15.140 * [backup-simplify]: Simplify (/ 1 1) into 1 15.140 * [backup-simplify]: Simplify 1 into 1 15.142 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.142 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.142 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 15.143 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 15.143 * [backup-simplify]: Simplify (- 0) into 0 15.144 * [backup-simplify]: Simplify (+ 0 0) into 0 15.144 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* (- (/ 1 (* (pow z 2) y))) (/ 0 y)))) into 0 15.144 * [taylor]: Taking taylor expansion of 0 in z 15.144 * [backup-simplify]: Simplify 0 into 0 15.145 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.146 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 y)) into 0 15.146 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 15.146 * [backup-simplify]: Simplify (- 0) into 0 15.146 * [taylor]: Taking taylor expansion of 0 in y 15.146 * [backup-simplify]: Simplify 0 into 0 15.146 * [taylor]: Taking taylor expansion of 0 in y 15.146 * [backup-simplify]: Simplify 0 into 0 15.146 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 15.146 * [taylor]: Taking taylor expansion of 0 in y 15.146 * [backup-simplify]: Simplify 0 into 0 15.147 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.148 * [backup-simplify]: Simplify (- 0) into 0 15.148 * [backup-simplify]: Simplify 0 into 0 15.148 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.148 * [backup-simplify]: Simplify 0 into 0 15.150 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.151 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.151 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 15.152 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 15.152 * [backup-simplify]: Simplify (- 0) into 0 15.152 * [backup-simplify]: Simplify (+ 0 0) into 0 15.153 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* (- (/ 1 (* (pow z 2) y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.153 * [taylor]: Taking taylor expansion of 0 in z 15.153 * [backup-simplify]: Simplify 0 into 0 15.154 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.155 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 y))) into 0 15.155 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.156 * [backup-simplify]: Simplify (- 0) into 0 15.156 * [taylor]: Taking taylor expansion of 0 in y 15.156 * [backup-simplify]: Simplify 0 into 0 15.156 * [taylor]: Taking taylor expansion of 0 in y 15.156 * [backup-simplify]: Simplify 0 into 0 15.156 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.156 * [taylor]: Taking taylor expansion of 0 in y 15.156 * [backup-simplify]: Simplify 0 into 0 15.156 * [backup-simplify]: Simplify 0 into 0 15.156 * [backup-simplify]: Simplify 0 into 0 15.156 * [backup-simplify]: Simplify 0 into 0 15.157 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.157 * [backup-simplify]: Simplify (- 0) into 0 15.157 * [backup-simplify]: Simplify 0 into 0 15.158 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 y)) (* 1 (pow (/ 1 x) -2)))) (* -1 (* (/ 1 (/ 1 y)) (* (pow (/ 1 z) -2) 1)))) into (- (* (pow x 2) y) (* (pow z 2) y)) 15.159 * [backup-simplify]: Simplify (* (- (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- z)) (/ 1 (- z)))) (/ 1 (- y))) into (* -1 (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) y)) 15.159 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) y)) in (x z y) around 0 15.159 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) y)) in y 15.159 * [taylor]: Taking taylor expansion of -1 in y 15.159 * [backup-simplify]: Simplify -1 into -1 15.159 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) y) in y 15.159 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in y 15.159 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 15.159 * [taylor]: Taking taylor expansion of (pow x 2) in y 15.159 * [taylor]: Taking taylor expansion of x in y 15.159 * [backup-simplify]: Simplify x into x 15.159 * [backup-simplify]: Simplify (* x x) into (pow x 2) 15.159 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 15.159 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 15.159 * [taylor]: Taking taylor expansion of (pow z 2) in y 15.159 * [taylor]: Taking taylor expansion of z in y 15.159 * [backup-simplify]: Simplify z into z 15.159 * [backup-simplify]: Simplify (* z z) into (pow z 2) 15.159 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 15.160 * [taylor]: Taking taylor expansion of y in y 15.160 * [backup-simplify]: Simplify 0 into 0 15.160 * [backup-simplify]: Simplify 1 into 1 15.160 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 15.160 * [backup-simplify]: Simplify (+ (/ 1 (pow x 2)) (- (/ 1 (pow z 2)))) into (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) 15.160 * [backup-simplify]: Simplify (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) 1) into (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) 15.160 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) y)) in z 15.161 * [taylor]: Taking taylor expansion of -1 in z 15.161 * [backup-simplify]: Simplify -1 into -1 15.161 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) y) in z 15.161 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in z 15.161 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 15.161 * [taylor]: Taking taylor expansion of (pow x 2) in z 15.161 * [taylor]: Taking taylor expansion of x in z 15.161 * [backup-simplify]: Simplify x into x 15.161 * [backup-simplify]: Simplify (* x x) into (pow x 2) 15.161 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 15.161 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 15.161 * [taylor]: Taking taylor expansion of (pow z 2) in z 15.161 * [taylor]: Taking taylor expansion of z in z 15.161 * [backup-simplify]: Simplify 0 into 0 15.161 * [backup-simplify]: Simplify 1 into 1 15.162 * [backup-simplify]: Simplify (* 1 1) into 1 15.162 * [backup-simplify]: Simplify (/ 1 1) into 1 15.162 * [taylor]: Taking taylor expansion of y in z 15.162 * [backup-simplify]: Simplify y into y 15.162 * [backup-simplify]: Simplify (- 1) into -1 15.163 * [backup-simplify]: Simplify (+ 0 -1) into -1 15.163 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 15.163 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) y)) in x 15.163 * [taylor]: Taking taylor expansion of -1 in x 15.163 * [backup-simplify]: Simplify -1 into -1 15.163 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) y) in x 15.163 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in x 15.163 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 15.163 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.163 * [taylor]: Taking taylor expansion of x in x 15.163 * [backup-simplify]: Simplify 0 into 0 15.163 * [backup-simplify]: Simplify 1 into 1 15.164 * [backup-simplify]: Simplify (* 1 1) into 1 15.164 * [backup-simplify]: Simplify (/ 1 1) into 1 15.164 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 15.164 * [taylor]: Taking taylor expansion of (pow z 2) in x 15.164 * [taylor]: Taking taylor expansion of z in x 15.164 * [backup-simplify]: Simplify z into z 15.164 * [backup-simplify]: Simplify (* z z) into (pow z 2) 15.164 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 15.164 * [taylor]: Taking taylor expansion of y in x 15.164 * [backup-simplify]: Simplify y into y 15.165 * [backup-simplify]: Simplify (+ 1 0) into 1 15.165 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.165 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) y)) in x 15.165 * [taylor]: Taking taylor expansion of -1 in x 15.165 * [backup-simplify]: Simplify -1 into -1 15.165 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) y) in x 15.165 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in x 15.165 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 15.165 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.165 * [taylor]: Taking taylor expansion of x in x 15.165 * [backup-simplify]: Simplify 0 into 0 15.165 * [backup-simplify]: Simplify 1 into 1 15.165 * [backup-simplify]: Simplify (* 1 1) into 1 15.166 * [backup-simplify]: Simplify (/ 1 1) into 1 15.166 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 15.166 * [taylor]: Taking taylor expansion of (pow z 2) in x 15.166 * [taylor]: Taking taylor expansion of z in x 15.166 * [backup-simplify]: Simplify z into z 15.166 * [backup-simplify]: Simplify (* z z) into (pow z 2) 15.166 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 15.166 * [taylor]: Taking taylor expansion of y in x 15.166 * [backup-simplify]: Simplify y into y 15.167 * [backup-simplify]: Simplify (+ 1 0) into 1 15.167 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.167 * [backup-simplify]: Simplify (* -1 (/ 1 y)) into (/ -1 y) 15.167 * [taylor]: Taking taylor expansion of (/ -1 y) in z 15.167 * [taylor]: Taking taylor expansion of -1 in z 15.167 * [backup-simplify]: Simplify -1 into -1 15.167 * [taylor]: Taking taylor expansion of y in z 15.167 * [backup-simplify]: Simplify y into y 15.167 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 15.167 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.168 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.169 * [backup-simplify]: Simplify (+ 0 0) into 0 15.169 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0 15.169 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 y))) into 0 15.169 * [taylor]: Taking taylor expansion of 0 in z 15.169 * [backup-simplify]: Simplify 0 into 0 15.170 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.171 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.171 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 15.171 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow z 2)))) into (- (/ 1 (pow z 2))) 15.171 * [backup-simplify]: Simplify (- (/ (- (/ 1 (pow z 2))) y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into (- (/ 1 (* (pow z 2) y))) 15.172 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 (* (pow z 2) y)))) (+ (* 0 0) (* 0 (/ 1 y)))) into (/ 1 (* (pow z 2) y)) 15.172 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 15.172 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 15.172 * [taylor]: Taking taylor expansion of (pow z 2) in z 15.172 * [taylor]: Taking taylor expansion of z in z 15.172 * [backup-simplify]: Simplify 0 into 0 15.172 * [backup-simplify]: Simplify 1 into 1 15.172 * [taylor]: Taking taylor expansion of y in z 15.172 * [backup-simplify]: Simplify y into y 15.172 * [backup-simplify]: Simplify (* 1 1) into 1 15.172 * [backup-simplify]: Simplify (* 1 y) into y 15.172 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 15.172 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.172 * [taylor]: Taking taylor expansion of y in y 15.172 * [backup-simplify]: Simplify 0 into 0 15.173 * [backup-simplify]: Simplify 1 into 1 15.173 * [backup-simplify]: Simplify (/ 1 1) into 1 15.173 * [backup-simplify]: Simplify 1 into 1 15.173 * [taylor]: Taking taylor expansion of (/ -1 y) in y 15.173 * [taylor]: Taking taylor expansion of -1 in y 15.173 * [backup-simplify]: Simplify -1 into -1 15.173 * [taylor]: Taking taylor expansion of y in y 15.173 * [backup-simplify]: Simplify 0 into 0 15.173 * [backup-simplify]: Simplify 1 into 1 15.173 * [backup-simplify]: Simplify (/ -1 1) into -1 15.173 * [backup-simplify]: Simplify -1 into -1 15.174 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.174 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.174 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 15.175 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 15.175 * [backup-simplify]: Simplify (- 0) into 0 15.175 * [backup-simplify]: Simplify (+ 0 0) into 0 15.175 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* (- (/ 1 (* (pow z 2) y))) (/ 0 y)))) into 0 15.176 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (/ 1 (* (pow z 2) y)))) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 15.176 * [taylor]: Taking taylor expansion of 0 in z 15.176 * [backup-simplify]: Simplify 0 into 0 15.177 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.177 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 y)) into 0 15.177 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 15.177 * [taylor]: Taking taylor expansion of 0 in y 15.177 * [backup-simplify]: Simplify 0 into 0 15.177 * [taylor]: Taking taylor expansion of 0 in y 15.177 * [backup-simplify]: Simplify 0 into 0 15.177 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 15.177 * [taylor]: Taking taylor expansion of 0 in y 15.177 * [backup-simplify]: Simplify 0 into 0 15.178 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.178 * [backup-simplify]: Simplify 0 into 0 15.178 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 15.178 * [backup-simplify]: Simplify 0 into 0 15.179 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.179 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.180 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 15.180 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 15.180 * [backup-simplify]: Simplify (- 0) into 0 15.180 * [backup-simplify]: Simplify (+ 0 0) into 0 15.181 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* (- (/ 1 (* (pow z 2) y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.182 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (/ 1 (* (pow z 2) y)))) (+ (* 0 0) (* 0 (/ 1 y)))))) into 0 15.182 * [taylor]: Taking taylor expansion of 0 in z 15.182 * [backup-simplify]: Simplify 0 into 0 15.182 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.183 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 y))) into 0 15.183 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.183 * [taylor]: Taking taylor expansion of 0 in y 15.183 * [backup-simplify]: Simplify 0 into 0 15.183 * [taylor]: Taking taylor expansion of 0 in y 15.183 * [backup-simplify]: Simplify 0 into 0 15.183 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 15.183 * [taylor]: Taking taylor expansion of 0 in y 15.183 * [backup-simplify]: Simplify 0 into 0 15.183 * [backup-simplify]: Simplify 0 into 0 15.183 * [backup-simplify]: Simplify 0 into 0 15.183 * [backup-simplify]: Simplify 0 into 0 15.184 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.184 * [backup-simplify]: Simplify 0 into 0 15.184 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (/ 1 (- y))) (* 1 (pow (/ 1 (- x)) -2)))) (* 1 (* (/ 1 (/ 1 (- y))) (* (pow (/ 1 (- z)) -2) 1)))) into (- (* (pow x 2) y) (* (pow z 2) y)) 15.184 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 15.184 * [backup-simplify]: Simplify (- (* x x) (* z z)) into (- (pow x 2) (pow z 2)) 15.184 * [approximate]: Taking taylor expansion of (- (pow x 2) (pow z 2)) in (x z) around 0 15.184 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow z 2)) in z 15.184 * [taylor]: Taking taylor expansion of (pow x 2) in z 15.184 * [taylor]: Taking taylor expansion of x in z 15.185 * [backup-simplify]: Simplify x into x 15.185 * [taylor]: Taking taylor expansion of (pow z 2) in z 15.185 * [taylor]: Taking taylor expansion of z in z 15.185 * [backup-simplify]: Simplify 0 into 0 15.185 * [backup-simplify]: Simplify 1 into 1 15.185 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow z 2)) in x 15.185 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.185 * [taylor]: Taking taylor expansion of x in x 15.185 * [backup-simplify]: Simplify 0 into 0 15.185 * [backup-simplify]: Simplify 1 into 1 15.185 * [taylor]: Taking taylor expansion of (pow z 2) in x 15.185 * [taylor]: Taking taylor expansion of z in x 15.185 * [backup-simplify]: Simplify z into z 15.185 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow z 2)) in x 15.185 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.185 * [taylor]: Taking taylor expansion of x in x 15.185 * [backup-simplify]: Simplify 0 into 0 15.185 * [backup-simplify]: Simplify 1 into 1 15.185 * [taylor]: Taking taylor expansion of (pow z 2) in x 15.185 * [taylor]: Taking taylor expansion of z in x 15.185 * [backup-simplify]: Simplify z into z 15.185 * [backup-simplify]: Simplify (* z z) into (pow z 2) 15.185 * [backup-simplify]: Simplify (- (pow z 2)) into (- (pow z 2)) 15.185 * [backup-simplify]: Simplify (+ 0 (- (pow z 2))) into (- (pow z 2)) 15.185 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z 15.185 * [taylor]: Taking taylor expansion of (pow z 2) in z 15.185 * [taylor]: Taking taylor expansion of z in z 15.185 * [backup-simplify]: Simplify 0 into 0 15.185 * [backup-simplify]: Simplify 1 into 1 15.185 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 15.186 * [backup-simplify]: Simplify (- 0) into 0 15.186 * [backup-simplify]: Simplify (+ 0 0) into 0 15.186 * [taylor]: Taking taylor expansion of 0 in z 15.186 * [backup-simplify]: Simplify 0 into 0 15.186 * [backup-simplify]: Simplify 0 into 0 15.186 * [backup-simplify]: Simplify (* 1 1) into 1 15.186 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 15.187 * [backup-simplify]: Simplify (- 0) into 0 15.187 * [backup-simplify]: Simplify (+ 1 0) into 1 15.187 * [taylor]: Taking taylor expansion of 1 in z 15.187 * [backup-simplify]: Simplify 1 into 1 15.187 * [backup-simplify]: Simplify 1 into 1 15.187 * [backup-simplify]: Simplify 0 into 0 15.187 * [backup-simplify]: Simplify (* 1 1) into 1 15.187 * [backup-simplify]: Simplify (- 1) into -1 15.187 * [backup-simplify]: Simplify -1 into -1 15.188 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.188 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 15.189 * [backup-simplify]: Simplify (- 0) into 0 15.189 * [backup-simplify]: Simplify (+ 0 0) into 0 15.189 * [taylor]: Taking taylor expansion of 0 in z 15.189 * [backup-simplify]: Simplify 0 into 0 15.189 * [backup-simplify]: Simplify 0 into 0 15.189 * [backup-simplify]: Simplify 0 into 0 15.189 * [backup-simplify]: Simplify 0 into 0 15.189 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.189 * [backup-simplify]: Simplify (- 0) into 0 15.189 * [backup-simplify]: Simplify 0 into 0 15.190 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.191 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0 15.191 * [backup-simplify]: Simplify (- 0) into 0 15.191 * [backup-simplify]: Simplify (+ 0 0) into 0 15.191 * [taylor]: Taking taylor expansion of 0 in z 15.191 * [backup-simplify]: Simplify 0 into 0 15.191 * [backup-simplify]: Simplify 0 into 0 15.191 * [backup-simplify]: Simplify 0 into 0 15.192 * [backup-simplify]: Simplify (+ (* -1 (pow (* z 1) 2)) (* 1 (pow (* 1 x) 2))) into (- (pow x 2) (pow z 2)) 15.192 * [backup-simplify]: Simplify (- (* (/ 1 x) (/ 1 x)) (* (/ 1 z) (/ 1 z))) into (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) 15.192 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in (x z) around 0 15.192 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in z 15.192 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 15.192 * [taylor]: Taking taylor expansion of (pow x 2) in z 15.192 * [taylor]: Taking taylor expansion of x in z 15.192 * [backup-simplify]: Simplify x into x 15.192 * [backup-simplify]: Simplify (* x x) into (pow x 2) 15.192 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 15.192 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 15.192 * [taylor]: Taking taylor expansion of (pow z 2) in z 15.192 * [taylor]: Taking taylor expansion of z in z 15.192 * [backup-simplify]: Simplify 0 into 0 15.192 * [backup-simplify]: Simplify 1 into 1 15.192 * [backup-simplify]: Simplify (* 1 1) into 1 15.193 * [backup-simplify]: Simplify (/ 1 1) into 1 15.193 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in x 15.193 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 15.193 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.193 * [taylor]: Taking taylor expansion of x in x 15.193 * [backup-simplify]: Simplify 0 into 0 15.193 * [backup-simplify]: Simplify 1 into 1 15.193 * [backup-simplify]: Simplify (* 1 1) into 1 15.193 * [backup-simplify]: Simplify (/ 1 1) into 1 15.193 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 15.193 * [taylor]: Taking taylor expansion of (pow z 2) in x 15.193 * [taylor]: Taking taylor expansion of z in x 15.193 * [backup-simplify]: Simplify z into z 15.193 * [backup-simplify]: Simplify (* z z) into (pow z 2) 15.193 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 15.193 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in x 15.194 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 15.194 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.194 * [taylor]: Taking taylor expansion of x in x 15.194 * [backup-simplify]: Simplify 0 into 0 15.194 * [backup-simplify]: Simplify 1 into 1 15.194 * [backup-simplify]: Simplify (* 1 1) into 1 15.194 * [backup-simplify]: Simplify (/ 1 1) into 1 15.194 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 15.194 * [taylor]: Taking taylor expansion of (pow z 2) in x 15.194 * [taylor]: Taking taylor expansion of z in x 15.194 * [backup-simplify]: Simplify z into z 15.194 * [backup-simplify]: Simplify (* z z) into (pow z 2) 15.194 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 15.195 * [backup-simplify]: Simplify (+ 1 0) into 1 15.195 * [taylor]: Taking taylor expansion of 1 in z 15.195 * [backup-simplify]: Simplify 1 into 1 15.195 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.196 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.196 * [backup-simplify]: Simplify (+ 0 0) into 0 15.196 * [taylor]: Taking taylor expansion of 0 in z 15.196 * [backup-simplify]: Simplify 0 into 0 15.196 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.197 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.197 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 15.197 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow z 2)))) into (- (/ 1 (pow z 2))) 15.197 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z 15.197 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 15.197 * [taylor]: Taking taylor expansion of (pow z 2) in z 15.197 * [taylor]: Taking taylor expansion of z in z 15.197 * [backup-simplify]: Simplify 0 into 0 15.197 * [backup-simplify]: Simplify 1 into 1 15.198 * [backup-simplify]: Simplify (* 1 1) into 1 15.198 * [backup-simplify]: Simplify (/ 1 1) into 1 15.198 * [backup-simplify]: Simplify (- 1) into -1 15.198 * [backup-simplify]: Simplify -1 into -1 15.198 * [backup-simplify]: Simplify 1 into 1 15.199 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.199 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.199 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 15.199 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 15.200 * [backup-simplify]: Simplify (- 0) into 0 15.200 * [backup-simplify]: Simplify (+ 0 0) into 0 15.200 * [taylor]: Taking taylor expansion of 0 in z 15.200 * [backup-simplify]: Simplify 0 into 0 15.200 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.201 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.201 * [backup-simplify]: Simplify (- 0) into 0 15.201 * [backup-simplify]: Simplify 0 into 0 15.201 * [backup-simplify]: Simplify 0 into 0 15.201 * [backup-simplify]: Simplify 0 into 0 15.202 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.202 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.202 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 15.203 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 15.203 * [backup-simplify]: Simplify (- 0) into 0 15.203 * [backup-simplify]: Simplify (+ 0 0) into 0 15.203 * [taylor]: Taking taylor expansion of 0 in z 15.203 * [backup-simplify]: Simplify 0 into 0 15.204 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.204 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.205 * [backup-simplify]: Simplify (- 0) into 0 15.205 * [backup-simplify]: Simplify 0 into 0 15.205 * [backup-simplify]: Simplify 0 into 0 15.205 * [backup-simplify]: Simplify 0 into 0 15.205 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* -1 (pow (* (/ 1 (/ 1 z)) 1) 2))) into (- (pow x 2) (pow z 2)) 15.205 * [backup-simplify]: Simplify (- (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- z)) (/ 1 (- z)))) into (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) 15.205 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in (x z) around 0 15.205 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in z 15.205 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 15.205 * [taylor]: Taking taylor expansion of (pow x 2) in z 15.205 * [taylor]: Taking taylor expansion of x in z 15.205 * [backup-simplify]: Simplify x into x 15.205 * [backup-simplify]: Simplify (* x x) into (pow x 2) 15.206 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 15.206 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 15.206 * [taylor]: Taking taylor expansion of (pow z 2) in z 15.206 * [taylor]: Taking taylor expansion of z in z 15.206 * [backup-simplify]: Simplify 0 into 0 15.206 * [backup-simplify]: Simplify 1 into 1 15.206 * [backup-simplify]: Simplify (* 1 1) into 1 15.206 * [backup-simplify]: Simplify (/ 1 1) into 1 15.206 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in x 15.206 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 15.206 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.206 * [taylor]: Taking taylor expansion of x in x 15.206 * [backup-simplify]: Simplify 0 into 0 15.206 * [backup-simplify]: Simplify 1 into 1 15.206 * [backup-simplify]: Simplify (* 1 1) into 1 15.207 * [backup-simplify]: Simplify (/ 1 1) into 1 15.207 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 15.207 * [taylor]: Taking taylor expansion of (pow z 2) in x 15.207 * [taylor]: Taking taylor expansion of z in x 15.207 * [backup-simplify]: Simplify z into z 15.207 * [backup-simplify]: Simplify (* z z) into (pow z 2) 15.207 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 15.207 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow z 2))) in x 15.207 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 15.207 * [taylor]: Taking taylor expansion of (pow x 2) in x 15.207 * [taylor]: Taking taylor expansion of x in x 15.207 * [backup-simplify]: Simplify 0 into 0 15.207 * [backup-simplify]: Simplify 1 into 1 15.207 * [backup-simplify]: Simplify (* 1 1) into 1 15.208 * [backup-simplify]: Simplify (/ 1 1) into 1 15.208 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 15.208 * [taylor]: Taking taylor expansion of (pow z 2) in x 15.208 * [taylor]: Taking taylor expansion of z in x 15.208 * [backup-simplify]: Simplify z into z 15.208 * [backup-simplify]: Simplify (* z z) into (pow z 2) 15.208 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 15.208 * [backup-simplify]: Simplify (+ 1 0) into 1 15.208 * [taylor]: Taking taylor expansion of 1 in z 15.208 * [backup-simplify]: Simplify 1 into 1 15.208 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.209 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.209 * [backup-simplify]: Simplify (+ 0 0) into 0 15.209 * [taylor]: Taking taylor expansion of 0 in z 15.209 * [backup-simplify]: Simplify 0 into 0 15.210 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.210 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.210 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2))) 15.210 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow z 2)))) into (- (/ 1 (pow z 2))) 15.210 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z 15.210 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 15.210 * [taylor]: Taking taylor expansion of (pow z 2) in z 15.211 * [taylor]: Taking taylor expansion of z in z 15.211 * [backup-simplify]: Simplify 0 into 0 15.211 * [backup-simplify]: Simplify 1 into 1 15.211 * [backup-simplify]: Simplify (* 1 1) into 1 15.211 * [backup-simplify]: Simplify (/ 1 1) into 1 15.211 * [backup-simplify]: Simplify (- 1) into -1 15.211 * [backup-simplify]: Simplify -1 into -1 15.211 * [backup-simplify]: Simplify 1 into 1 15.212 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.212 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.212 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 15.213 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 15.213 * [backup-simplify]: Simplify (- 0) into 0 15.213 * [backup-simplify]: Simplify (+ 0 0) into 0 15.213 * [taylor]: Taking taylor expansion of 0 in z 15.213 * [backup-simplify]: Simplify 0 into 0 15.214 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.214 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.214 * [backup-simplify]: Simplify (- 0) into 0 15.214 * [backup-simplify]: Simplify 0 into 0 15.214 * [backup-simplify]: Simplify 0 into 0 15.214 * [backup-simplify]: Simplify 0 into 0 15.215 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.216 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.216 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 15.216 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 15.217 * [backup-simplify]: Simplify (- 0) into 0 15.217 * [backup-simplify]: Simplify (+ 0 0) into 0 15.217 * [taylor]: Taking taylor expansion of 0 in z 15.217 * [backup-simplify]: Simplify 0 into 0 15.217 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.218 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.218 * [backup-simplify]: Simplify (- 0) into 0 15.218 * [backup-simplify]: Simplify 0 into 0 15.218 * [backup-simplify]: Simplify 0 into 0 15.218 * [backup-simplify]: Simplify 0 into 0 15.218 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- z))) 1) 2))) into (- (pow x 2) (pow z 2)) 15.219 * * * [progress]: simplifying candidates 15.220 * [simplify]: Simplifying: (expm1 (/ (* (- (* x x) (* z z)) y) (+ x z))) (log1p (/ (* (- (* x x) (* z z)) y) (+ x z))) (- (+ (log (- (* x x) (* z z))) (log y)) (log (+ x z))) (- (log (* (- (* x x) (* z z)) y)) (log (+ x z))) (log (/ (* (- (* x x) (* z z)) y) (+ x z))) (exp (/ (* (- (* x x) (* z z)) y) (+ x z))) (/ (* (* (* (- (* x x) (* z z)) (- (* x x) (* z z))) (- (* x x) (* z z))) (* (* y y) y)) (* (* (+ x z) (+ x z)) (+ x z))) (/ (* (* (* (- (* x x) (* z z)) y) (* (- (* x x) (* z z)) y)) (* (- (* x x) (* z z)) y)) (* (* (+ x z) (+ x z)) (+ x z))) (* (cbrt (/ (* (- (* x x) (* z z)) y) (+ x z))) (cbrt (/ (* (- (* x x) (* z z)) y) (+ x z)))) (cbrt (/ (* (- (* x x) (* z z)) y) (+ x z))) (* (* (/ (* (- (* x x) (* z z)) y) (+ x z)) (/ (* (- (* x x) (* z z)) y) (+ x z))) (/ (* (- (* x x) (* z z)) y) (+ x z))) (sqrt (/ (* (- (* x x) (* z z)) y) (+ x z))) (sqrt (/ (* (- (* x x) (* z z)) y) (+ x z))) (- (* (- (* x x) (* z z)) y)) (- (+ x z)) (/ (- (* x x) (* z z)) (* (cbrt (+ x z)) (cbrt (+ x z)))) (/ y (cbrt (+ x z))) (/ (- (* x x) (* z z)) (sqrt (+ x z))) (/ y (sqrt (+ x z))) (/ (- (* x x) (* z z)) 1) (/ y (+ x z)) (/ (- (* x x) (* z z)) 1) (/ y (+ x z)) (/ 1 (+ x z)) (/ (+ x z) (* (- (* x x) (* z z)) y)) (/ (* (- (* x x) (* z z)) y) (* (cbrt (+ x z)) (cbrt (+ x z)))) (/ (* (- (* x x) (* z z)) y) (sqrt (+ x z))) (/ (* (- (* x x) (* z z)) y) 1) (/ (* (- (* x x) (* z z)) y) 1) (/ (+ x z) y) (/ (* (- (* x x) (* z z)) y) (+ (pow x 3) (pow z 3))) (/ (* (- (* x x) (* z z)) y) (- (* x x) (* z z))) (* (+ x z) (+ (* (* x x) (* x x)) (+ (* (* z z) (* z z)) (* (* x x) (* z z))))) (* (+ x z) (+ (* x x) (* z z))) (expm1 (* (- (* x x) (* z z)) y)) (log1p (* (- (* x x) (* z z)) y)) (* (- (* x x) (* z z)) y) (+ (log (- (* x x) (* z z))) (log y)) (log (* (- (* x x) (* z z)) y)) (exp (* (- (* x x) (* z z)) y)) (* (* (* (- (* x x) (* z z)) (- (* x x) (* z z))) (- (* x x) (* z z))) (* (* y y) y)) (* (cbrt (* (- (* x x) (* z z)) y)) (cbrt (* (- (* x x) (* z z)) y))) (cbrt (* (- (* x x) (* z z)) y)) (* (* (* (- (* x x) (* z z)) y) (* (- (* x x) (* z z)) y)) (* (- (* x x) (* z z)) y)) (sqrt (* (- (* x x) (* z z)) y)) (sqrt (* (- (* x x) (* z z)) y)) (* (sqrt (- (* x x) (* z z))) (sqrt y)) (* (sqrt (- (* x x) (* z z))) (sqrt y)) (* (- (* x x) (* z z)) (* (cbrt y) (cbrt y))) (* (- (* x x) (* z z)) (sqrt y)) (* (- (* x x) (* z z)) 1) (* (cbrt (- (* x x) (* z z))) y) (* (sqrt (- (* x x) (* z z))) y) (* (- (* x x) (* z z)) y) (* (- x z) y) (* (- (pow (* x x) 3) (pow (* z z) 3)) y) (* (- (* (* x x) (* x x)) (* (* z z) (* z z))) y) (fma x x (- (* z z))) (fma (- z) z (* z z)) (expm1 (- (* x x) (* z z))) (log1p (- (* x x) (* z z))) (- (* z z)) (/ (exp (* x x)) (exp (* z z))) (log (- (* x x) (* z z))) (exp (- (* x x) (* z z))) (* (cbrt (- (* x x) (* z z))) (cbrt (- (* x x) (* z z)))) (cbrt (- (* x x) (* z z))) (* (* (- (* x x) (* z z)) (- (* x x) (* z z))) (- (* x x) (* z z))) (sqrt (- (* x x) (* z z))) (sqrt (- (* x x) (* z z))) (- (pow (* x x) 3) (pow (* z z) 3)) (+ (* (* x x) (* x x)) (+ (* (* z z) (* z z)) (* (* x x) (* z z)))) (- (* z z)) (- (* (* x x) (* x x)) (* (* z z) (* z z))) (+ (* x x) (* z z)) (+ x z) (- x z) (- (* z z)) (- (* x y) (* z y)) (- (* x y) (* z y)) (- (* x y) (* z y)) 0 (- (* (pow x 2) y) (* (pow z 2) y)) (- (* (pow x 2) y) (* (pow z 2) y)) (- (pow x 2) (pow z 2)) (- (pow x 2) (pow z 2)) (- (pow x 2) (pow z 2)) 15.221 * * [simplify]: Extracting # 0 : cost 0 15.221 * * [simplify]: Extracting # 1 : cost 0 15.221 * * [simplify]: Extracting # 2 : cost 0 15.222 * * [simplify]: Extracting # 3 : cost 0 15.222 * * [simplify]: Extracting # 4 : cost 0 15.222 * * [simplify]: Extracting # 5 : cost 0 15.222 * * [simplify]: iteration 0 : 115 enodes (cost 1059 ) 15.272 * * [simplify]: Extracting # 0 : cost 0 15.273 * * [simplify]: Extracting # 1 : cost 0 15.274 * * [simplify]: Extracting # 2 : cost 0 15.274 * * [simplify]: Extracting # 3 : cost 0 15.275 * * [simplify]: Extracting # 4 : cost 0 15.275 * * [simplify]: iteration 1 : 302 enodes (cost 1010 ) 15.480 * * [simplify]: Extracting # 0 : cost 0 15.482 * * [simplify]: Extracting # 1 : cost 0 15.483 * * [simplify]: Extracting # 2 : cost 0 15.485 * * [simplify]: Extracting # 3 : cost 0 15.486 * * [simplify]: Extracting # 4 : cost 0 15.488 * * [simplify]: Extracting # 5 : cost 0 15.489 * * [simplify]: iteration 2 : 1335 enodes (cost 859 ) 16.692 * * [simplify]: Extracting # 0 : cost 0 16.703 * * [simplify]: Extracting # 1 : cost 0 16.724 * * [simplify]: Extracting # 2 : cost 0 16.735 * * [simplify]: Extracting # 3 : cost 0 16.746 * * [simplify]: Extracting # 4 : cost 0 16.757 * * [simplify]: Extracting # 5 : cost 0 16.768 * * [simplify]: iteration done: 5000 enodes (cost 753 ) 16.769 * [simplify]: Simplified to: (expm1 (/ y (/ 1 (- x z)))) (log1p (/ y (/ 1 (- x z)))) (log (/ y (/ 1 (- x z)))) (log (/ y (/ 1 (- x z)))) (log (/ y (/ 1 (- x z)))) (exp (/ y (/ 1 (- x z)))) (pow (/ y (/ 1 (- x z))) 3) (pow (/ y (/ 1 (- x z))) 3) (* (cbrt (/ y (/ 1 (- x z)))) (cbrt (/ y (/ 1 (- x z))))) (cbrt (/ y (/ 1 (- x z)))) (pow (/ y (/ 1 (- x z))) 3) (sqrt (/ y (/ 1 (- x z)))) (sqrt (/ y (/ 1 (- x z)))) (- (* (- (* x x) (* z z)) y)) (- (+ x z)) (/ (- (* x x) (* z z)) (* (cbrt (+ x z)) (cbrt (+ x z)))) (/ y (cbrt (+ x z))) (/ (- (* x x) (* z z)) (sqrt (+ x z))) (/ y (sqrt (+ x z))) (- (pow x 2) (pow z 2)) (/ y (+ x z)) (- (pow x 2) (pow z 2)) (/ y (+ x z)) (/ 1 (+ x z)) (/ (/ 1 (- x z)) y) (/ (* (- (* x x) (* z z)) y) (* (cbrt (+ x z)) (cbrt (+ x z)))) (/ (* (- (* x x) (* z z)) y) (sqrt (+ x z))) (* (- (* x x) (* z z)) y) (* (- (* x x) (* z z)) y) (/ (+ x z) y) (/ (* (- (* x x) (* z z)) y) (+ (pow x 3) (pow z 3))) y (* (fma (pow z 2) (fma x x (* z z)) (pow x 4)) (+ x z)) (* (+ x z) (fma x x (* z z))) (expm1 (* (- (* x x) (* z z)) y)) (log1p (* (- (* x x) (* z z)) y)) (* (- (* x x) (* z z)) y) (log (* (- (* x x) (* z z)) y)) (log (* (- (* x x) (* z z)) y)) (exp (* (- (* x x) (* z z)) y)) (pow (* (- (* x x) (* z z)) y) 3) (* (cbrt (* (- (* x x) (* z z)) y)) (cbrt (* (- (* x x) (* z z)) y))) (cbrt (* (- (* x x) (* z z)) y)) (pow (* (- (* x x) (* z z)) y) 3) (sqrt (* (- (* x x) (* z z)) y)) (sqrt (* (- (* x x) (* z z)) y)) (* (sqrt (- (* x x) (* z z))) (sqrt y)) (* (sqrt (- (* x x) (* z z))) (sqrt y)) (* (- (* x x) (* z z)) (* (cbrt y) (cbrt y))) (* (- (* x x) (* z z)) (sqrt y)) (- (pow x 2) (pow z 2)) (* (cbrt (- (* x x) (* z z))) y) (* (sqrt (- (* x x) (* z z))) y) (* (- (* x x) (* z z)) y) (* (- x z) y) (* y (- (pow x 6) (pow z 6))) (* y (- (pow x 4) (pow z 4))) (- (pow x 2) (pow z 2)) (* z (+ (- z) z)) (expm1 (- (* x x) (* z z))) (log1p (- (* x x) (* z z))) (* (- z) z) (exp (- (* x x) (* z z))) (log (- (* x x) (* z z))) (exp (- (* x x) (* z z))) (* (cbrt (- (* x x) (* z z))) (cbrt (- (* x x) (* z z)))) (cbrt (- (* x x) (* z z))) (pow (- (pow x 2) (pow z 2)) 3) (sqrt (- (* x x) (* z z))) (sqrt (- (* x x) (* z z))) (- (pow x 6) (pow z 6)) (fma (pow z 2) (fma x x (* z z)) (pow x 4)) (* (- z) z) (- (pow x 4) (pow z 4)) (fma z z (pow x 2)) (+ x z) (- x z) (* (- z) z) (* (- x z) y) (* (- x z) y) (* (- x z) y) 0 (* (- (* x x) (* z z)) y) (* (- (* x x) (* z z)) y) (- (pow x 2) (pow z 2)) (- (pow x 2) (pow z 2)) (- (pow x 2) (pow z 2)) 16.770 * * * [progress]: adding candidates to table 16.996 * * [progress]: iteration 3 / 4 16.996 * * * [progress]: picking best candidate 16.998 * * * * [pick]: Picked # 16.998 * * * [progress]: localizing error 17.015 * * * [progress]: generating rewritten candidates 17.015 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 17.118 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 17.174 * * * [progress]: generating series expansions 17.174 * * * * [progress]: [ 1 / 2 ] generating series at (2) 17.175 * [backup-simplify]: Simplify (* (* (- x z) (sqrt y)) (sqrt y)) into (* y (- x z)) 17.175 * [approximate]: Taking taylor expansion of (* y (- x z)) in (x z y) around 0 17.175 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 17.175 * [taylor]: Taking taylor expansion of y in y 17.175 * [backup-simplify]: Simplify 0 into 0 17.175 * [backup-simplify]: Simplify 1 into 1 17.175 * [taylor]: Taking taylor expansion of (- x z) in y 17.175 * [taylor]: Taking taylor expansion of x in y 17.175 * [backup-simplify]: Simplify x into x 17.175 * [taylor]: Taking taylor expansion of z in y 17.175 * [backup-simplify]: Simplify z into z 17.175 * [taylor]: Taking taylor expansion of (* y (- x z)) in z 17.175 * [taylor]: Taking taylor expansion of y in z 17.175 * [backup-simplify]: Simplify y into y 17.175 * [taylor]: Taking taylor expansion of (- x z) in z 17.175 * [taylor]: Taking taylor expansion of x in z 17.175 * [backup-simplify]: Simplify x into x 17.175 * [taylor]: Taking taylor expansion of z in z 17.175 * [backup-simplify]: Simplify 0 into 0 17.175 * [backup-simplify]: Simplify 1 into 1 17.175 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 17.175 * [taylor]: Taking taylor expansion of y in x 17.175 * [backup-simplify]: Simplify y into y 17.175 * [taylor]: Taking taylor expansion of (- x z) in x 17.175 * [taylor]: Taking taylor expansion of x in x 17.175 * [backup-simplify]: Simplify 0 into 0 17.175 * [backup-simplify]: Simplify 1 into 1 17.175 * [taylor]: Taking taylor expansion of z in x 17.175 * [backup-simplify]: Simplify z into z 17.175 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 17.175 * [taylor]: Taking taylor expansion of y in x 17.175 * [backup-simplify]: Simplify y into y 17.175 * [taylor]: Taking taylor expansion of (- x z) in x 17.175 * [taylor]: Taking taylor expansion of x in x 17.176 * [backup-simplify]: Simplify 0 into 0 17.176 * [backup-simplify]: Simplify 1 into 1 17.176 * [taylor]: Taking taylor expansion of z in x 17.176 * [backup-simplify]: Simplify z into z 17.176 * [backup-simplify]: Simplify (- z) into (- z) 17.176 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 17.176 * [backup-simplify]: Simplify (* y (- z)) into (* -1 (* z y)) 17.176 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 17.176 * [taylor]: Taking taylor expansion of -1 in z 17.176 * [backup-simplify]: Simplify -1 into -1 17.176 * [taylor]: Taking taylor expansion of (* z y) in z 17.176 * [taylor]: Taking taylor expansion of z in z 17.176 * [backup-simplify]: Simplify 0 into 0 17.176 * [backup-simplify]: Simplify 1 into 1 17.176 * [taylor]: Taking taylor expansion of y in z 17.176 * [backup-simplify]: Simplify y into y 17.176 * [backup-simplify]: Simplify (* 0 y) into 0 17.177 * [backup-simplify]: Simplify (* -1 0) into 0 17.177 * [taylor]: Taking taylor expansion of 0 in y 17.177 * [backup-simplify]: Simplify 0 into 0 17.177 * [backup-simplify]: Simplify 0 into 0 17.177 * [backup-simplify]: Simplify (- 0) into 0 17.178 * [backup-simplify]: Simplify (+ 1 0) into 1 17.178 * [backup-simplify]: Simplify (+ (* y 1) (* 0 (- z))) into y 17.178 * [taylor]: Taking taylor expansion of y in z 17.178 * [backup-simplify]: Simplify y into y 17.178 * [taylor]: Taking taylor expansion of y in y 17.178 * [backup-simplify]: Simplify 0 into 0 17.178 * [backup-simplify]: Simplify 1 into 1 17.178 * [backup-simplify]: Simplify 0 into 0 17.179 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.179 * [backup-simplify]: Simplify (+ (* -1 y) (* 0 0)) into (- y) 17.179 * [taylor]: Taking taylor expansion of (- y) in y 17.179 * [taylor]: Taking taylor expansion of y in y 17.179 * [backup-simplify]: Simplify 0 into 0 17.179 * [backup-simplify]: Simplify 1 into 1 17.180 * [backup-simplify]: Simplify (- 0) into 0 17.180 * [backup-simplify]: Simplify 0 into 0 17.180 * [backup-simplify]: Simplify 0 into 0 17.180 * [backup-simplify]: Simplify (- 0) into 0 17.180 * [backup-simplify]: Simplify (+ 0 0) into 0 17.181 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 (- z)))) into 0 17.181 * [taylor]: Taking taylor expansion of 0 in z 17.181 * [backup-simplify]: Simplify 0 into 0 17.181 * [taylor]: Taking taylor expansion of 0 in y 17.181 * [backup-simplify]: Simplify 0 into 0 17.181 * [backup-simplify]: Simplify 0 into 0 17.181 * [taylor]: Taking taylor expansion of 0 in y 17.181 * [backup-simplify]: Simplify 0 into 0 17.181 * [backup-simplify]: Simplify 0 into 0 17.181 * [backup-simplify]: Simplify 0 into 0 17.182 * [backup-simplify]: Simplify (* (* (- (/ 1 x) (/ 1 z)) (sqrt (/ 1 y))) (sqrt (/ 1 y))) into (/ (- (/ 1 x) (/ 1 z)) y) 17.182 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (x z y) around 0 17.182 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 17.182 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 17.182 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.182 * [taylor]: Taking taylor expansion of x in y 17.182 * [backup-simplify]: Simplify x into x 17.182 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 17.182 * [taylor]: Taking taylor expansion of (/ 1 z) in y 17.182 * [taylor]: Taking taylor expansion of z in y 17.182 * [backup-simplify]: Simplify z into z 17.182 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 17.182 * [taylor]: Taking taylor expansion of y in y 17.182 * [backup-simplify]: Simplify 0 into 0 17.182 * [backup-simplify]: Simplify 1 into 1 17.182 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 17.182 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 17.182 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z)) 17.182 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 17.182 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 17.182 * [taylor]: Taking taylor expansion of (/ 1 x) in z 17.183 * [taylor]: Taking taylor expansion of x in z 17.183 * [backup-simplify]: Simplify x into x 17.183 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 17.183 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.183 * [taylor]: Taking taylor expansion of z in z 17.183 * [backup-simplify]: Simplify 0 into 0 17.183 * [backup-simplify]: Simplify 1 into 1 17.183 * [backup-simplify]: Simplify (/ 1 1) into 1 17.183 * [taylor]: Taking taylor expansion of y in z 17.183 * [backup-simplify]: Simplify y into y 17.184 * [backup-simplify]: Simplify (- 1) into -1 17.184 * [backup-simplify]: Simplify (+ 0 -1) into -1 17.184 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 17.184 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 17.184 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 17.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.184 * [taylor]: Taking taylor expansion of x in x 17.184 * [backup-simplify]: Simplify 0 into 0 17.184 * [backup-simplify]: Simplify 1 into 1 17.185 * [backup-simplify]: Simplify (/ 1 1) into 1 17.185 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.185 * [taylor]: Taking taylor expansion of z in x 17.185 * [backup-simplify]: Simplify z into z 17.185 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 17.185 * [taylor]: Taking taylor expansion of y in x 17.185 * [backup-simplify]: Simplify y into y 17.185 * [backup-simplify]: Simplify (+ 1 0) into 1 17.185 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 17.185 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 17.185 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 17.186 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.186 * [taylor]: Taking taylor expansion of x in x 17.186 * [backup-simplify]: Simplify 0 into 0 17.186 * [backup-simplify]: Simplify 1 into 1 17.186 * [backup-simplify]: Simplify (/ 1 1) into 1 17.186 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.186 * [taylor]: Taking taylor expansion of z in x 17.186 * [backup-simplify]: Simplify z into z 17.186 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 17.186 * [taylor]: Taking taylor expansion of y in x 17.186 * [backup-simplify]: Simplify y into y 17.187 * [backup-simplify]: Simplify (+ 1 0) into 1 17.187 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 17.187 * [taylor]: Taking taylor expansion of (/ 1 y) in z 17.187 * [taylor]: Taking taylor expansion of y in z 17.187 * [backup-simplify]: Simplify y into y 17.187 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 17.188 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.188 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 17.188 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 17.188 * [backup-simplify]: Simplify (- (/ (- (/ 1 z)) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (/ 1 (* z y))) 17.188 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 17.188 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 17.188 * [taylor]: Taking taylor expansion of (* z y) in z 17.188 * [taylor]: Taking taylor expansion of z in z 17.188 * [backup-simplify]: Simplify 0 into 0 17.188 * [backup-simplify]: Simplify 1 into 1 17.188 * [taylor]: Taking taylor expansion of y in z 17.188 * [backup-simplify]: Simplify y into y 17.189 * [backup-simplify]: Simplify (* 0 y) into 0 17.189 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.189 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 17.189 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 17.189 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 17.189 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.189 * [taylor]: Taking taylor expansion of y in y 17.189 * [backup-simplify]: Simplify 0 into 0 17.189 * [backup-simplify]: Simplify 1 into 1 17.190 * [backup-simplify]: Simplify (/ 1 1) into 1 17.190 * [backup-simplify]: Simplify (- 1) into -1 17.190 * [backup-simplify]: Simplify -1 into -1 17.190 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.190 * [taylor]: Taking taylor expansion of y in y 17.190 * [backup-simplify]: Simplify 0 into 0 17.190 * [backup-simplify]: Simplify 1 into 1 17.191 * [backup-simplify]: Simplify (/ 1 1) into 1 17.191 * [backup-simplify]: Simplify 1 into 1 17.192 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.192 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 17.192 * [backup-simplify]: Simplify (- 0) into 0 17.193 * [backup-simplify]: Simplify (+ 0 0) into 0 17.193 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)))) into 0 17.193 * [taylor]: Taking taylor expansion of 0 in z 17.193 * [backup-simplify]: Simplify 0 into 0 17.194 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 17.194 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 17.194 * [backup-simplify]: Simplify (- 0) into 0 17.194 * [taylor]: Taking taylor expansion of 0 in y 17.194 * [backup-simplify]: Simplify 0 into 0 17.195 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 17.195 * [taylor]: Taking taylor expansion of 0 in y 17.195 * [backup-simplify]: Simplify 0 into 0 17.195 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.196 * [backup-simplify]: Simplify (- 0) into 0 17.196 * [backup-simplify]: Simplify 0 into 0 17.197 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.197 * [backup-simplify]: Simplify 0 into 0 17.198 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.198 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 17.199 * [backup-simplify]: Simplify (- 0) into 0 17.199 * [backup-simplify]: Simplify (+ 0 0) into 0 17.200 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.200 * [taylor]: Taking taylor expansion of 0 in z 17.200 * [backup-simplify]: Simplify 0 into 0 17.200 * [taylor]: Taking taylor expansion of 0 in y 17.200 * [backup-simplify]: Simplify 0 into 0 17.201 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 17.202 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.202 * [backup-simplify]: Simplify (- 0) into 0 17.202 * [taylor]: Taking taylor expansion of 0 in y 17.202 * [backup-simplify]: Simplify 0 into 0 17.202 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.202 * [taylor]: Taking taylor expansion of 0 in y 17.202 * [backup-simplify]: Simplify 0 into 0 17.202 * [backup-simplify]: Simplify 0 into 0 17.202 * [backup-simplify]: Simplify 0 into 0 17.203 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.204 * [backup-simplify]: Simplify (- 0) into 0 17.204 * [backup-simplify]: Simplify 0 into 0 17.205 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.205 * [backup-simplify]: Simplify 0 into 0 17.205 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 y)) (* 1 (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 z)) 1)))) into (- (* x y) (* z y)) 17.206 * [backup-simplify]: Simplify (* (* (- (/ 1 (- x)) (/ 1 (- z))) (sqrt (/ 1 (- y)))) (sqrt (/ 1 (- y)))) into (* (pow (sqrt (/ -1 y)) 2) (- (/ 1 z) (/ 1 x))) 17.206 * [approximate]: Taking taylor expansion of (* (pow (sqrt (/ -1 y)) 2) (- (/ 1 z) (/ 1 x))) in (x z y) around 0 17.206 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 y)) 2) (- (/ 1 z) (/ 1 x))) in y 17.206 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 2) in y 17.206 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 17.206 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.206 * [taylor]: Taking taylor expansion of -1 in y 17.206 * [backup-simplify]: Simplify -1 into -1 17.206 * [taylor]: Taking taylor expansion of y in y 17.206 * [backup-simplify]: Simplify 0 into 0 17.206 * [backup-simplify]: Simplify 1 into 1 17.206 * [backup-simplify]: Simplify (/ -1 1) into -1 17.207 * [backup-simplify]: Simplify (sqrt 0) into 0 17.209 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 17.209 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 17.209 * [taylor]: Taking taylor expansion of (/ 1 z) in y 17.209 * [taylor]: Taking taylor expansion of z in y 17.209 * [backup-simplify]: Simplify z into z 17.209 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 17.209 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.209 * [taylor]: Taking taylor expansion of x in y 17.209 * [backup-simplify]: Simplify x into x 17.209 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 17.209 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 y)) 2) (- (/ 1 z) (/ 1 x))) in z 17.209 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 2) in z 17.209 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z 17.209 * [taylor]: Taking taylor expansion of (/ -1 y) in z 17.209 * [taylor]: Taking taylor expansion of -1 in z 17.209 * [backup-simplify]: Simplify -1 into -1 17.209 * [taylor]: Taking taylor expansion of y in z 17.209 * [backup-simplify]: Simplify y into y 17.209 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 17.209 * [backup-simplify]: Simplify (sqrt (/ -1 y)) into (sqrt (/ -1 y)) 17.209 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 17.210 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 y)))) into 0 17.210 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 17.210 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.210 * [taylor]: Taking taylor expansion of z in z 17.210 * [backup-simplify]: Simplify 0 into 0 17.210 * [backup-simplify]: Simplify 1 into 1 17.210 * [backup-simplify]: Simplify (/ 1 1) into 1 17.210 * [taylor]: Taking taylor expansion of (/ 1 x) in z 17.210 * [taylor]: Taking taylor expansion of x in z 17.210 * [backup-simplify]: Simplify x into x 17.210 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 17.210 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 y)) 2) (- (/ 1 z) (/ 1 x))) in x 17.210 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 2) in x 17.210 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 17.210 * [taylor]: Taking taylor expansion of (/ -1 y) in x 17.210 * [taylor]: Taking taylor expansion of -1 in x 17.211 * [backup-simplify]: Simplify -1 into -1 17.211 * [taylor]: Taking taylor expansion of y in x 17.211 * [backup-simplify]: Simplify y into y 17.211 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 17.211 * [backup-simplify]: Simplify (sqrt (/ -1 y)) into (sqrt (/ -1 y)) 17.211 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 17.211 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 y)))) into 0 17.211 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 17.211 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.211 * [taylor]: Taking taylor expansion of z in x 17.211 * [backup-simplify]: Simplify z into z 17.211 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 17.211 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.211 * [taylor]: Taking taylor expansion of x in x 17.211 * [backup-simplify]: Simplify 0 into 0 17.211 * [backup-simplify]: Simplify 1 into 1 17.212 * [backup-simplify]: Simplify (/ 1 1) into 1 17.212 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 y)) 2) (- (/ 1 z) (/ 1 x))) in x 17.212 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 2) in x 17.212 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 17.212 * [taylor]: Taking taylor expansion of (/ -1 y) in x 17.212 * [taylor]: Taking taylor expansion of -1 in x 17.212 * [backup-simplify]: Simplify -1 into -1 17.212 * [taylor]: Taking taylor expansion of y in x 17.212 * [backup-simplify]: Simplify y into y 17.212 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 17.212 * [backup-simplify]: Simplify (sqrt (/ -1 y)) into (sqrt (/ -1 y)) 17.212 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 17.212 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 y)))) into 0 17.212 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 17.213 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.213 * [taylor]: Taking taylor expansion of z in x 17.213 * [backup-simplify]: Simplify z into z 17.213 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 17.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.213 * [taylor]: Taking taylor expansion of x in x 17.213 * [backup-simplify]: Simplify 0 into 0 17.213 * [backup-simplify]: Simplify 1 into 1 17.213 * [backup-simplify]: Simplify (/ 1 1) into 1 17.213 * [backup-simplify]: Simplify (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) into (pow (sqrt (/ -1 y)) 2) 17.214 * [backup-simplify]: Simplify (- 1) into -1 17.215 * [backup-simplify]: Simplify (+ 0 -1) into -1 17.215 * [backup-simplify]: Simplify (* (pow (sqrt (/ -1 y)) 2) -1) into (* -1 (pow (sqrt (/ -1 y)) 2)) 17.215 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt (/ -1 y)) 2)) in z 17.215 * [taylor]: Taking taylor expansion of -1 in z 17.215 * [backup-simplify]: Simplify -1 into -1 17.215 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 2) in z 17.215 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z 17.215 * [taylor]: Taking taylor expansion of (/ -1 y) in z 17.215 * [taylor]: Taking taylor expansion of -1 in z 17.215 * [backup-simplify]: Simplify -1 into -1 17.215 * [taylor]: Taking taylor expansion of y in z 17.215 * [backup-simplify]: Simplify y into y 17.215 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 17.215 * [backup-simplify]: Simplify (sqrt (/ -1 y)) into (sqrt (/ -1 y)) 17.215 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 17.216 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 y)))) into 0 17.216 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.217 * [backup-simplify]: Simplify (- 0) into 0 17.217 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 17.217 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 y)) 0) (* 0 (sqrt (/ -1 y)))) into 0 17.218 * [backup-simplify]: Simplify (+ (* (pow (sqrt (/ -1 y)) 2) (/ 1 z)) (* 0 -1)) into (/ (pow (sqrt (/ -1 y)) 2) z) 17.218 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 y)) 2) z) in z 17.218 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 2) in z 17.218 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z 17.218 * [taylor]: Taking taylor expansion of (/ -1 y) in z 17.218 * [taylor]: Taking taylor expansion of -1 in z 17.218 * [backup-simplify]: Simplify -1 into -1 17.218 * [taylor]: Taking taylor expansion of y in z 17.218 * [backup-simplify]: Simplify y into y 17.218 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 17.218 * [backup-simplify]: Simplify (sqrt (/ -1 y)) into (sqrt (/ -1 y)) 17.218 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 17.219 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 y)))) into 0 17.219 * [taylor]: Taking taylor expansion of z in z 17.219 * [backup-simplify]: Simplify 0 into 0 17.219 * [backup-simplify]: Simplify 1 into 1 17.219 * [backup-simplify]: Simplify (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) into (pow (sqrt (/ -1 y)) 2) 17.219 * [backup-simplify]: Simplify (/ (pow (sqrt (/ -1 y)) 2) 1) into (pow (sqrt (/ -1 y)) 2) 17.219 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 2) in y 17.219 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 17.219 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.219 * [taylor]: Taking taylor expansion of -1 in y 17.219 * [backup-simplify]: Simplify -1 into -1 17.219 * [taylor]: Taking taylor expansion of y in y 17.219 * [backup-simplify]: Simplify 0 into 0 17.219 * [backup-simplify]: Simplify 1 into 1 17.220 * [backup-simplify]: Simplify (/ -1 1) into -1 17.220 * [backup-simplify]: Simplify (sqrt 0) into 0 17.222 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 17.222 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 17.222 * [backup-simplify]: Simplify +nan.0 into +nan.0 17.222 * [backup-simplify]: Simplify (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) into (pow (sqrt (/ -1 y)) 2) 17.223 * [backup-simplify]: Simplify (* -1 (pow (sqrt (/ -1 y)) 2)) into (* -1 (pow (sqrt (/ -1 y)) 2)) 17.223 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt (/ -1 y)) 2)) in y 17.223 * [taylor]: Taking taylor expansion of -1 in y 17.223 * [backup-simplify]: Simplify -1 into -1 17.223 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 2) in y 17.223 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 17.223 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.223 * [taylor]: Taking taylor expansion of -1 in y 17.223 * [backup-simplify]: Simplify -1 into -1 17.223 * [taylor]: Taking taylor expansion of y in y 17.223 * [backup-simplify]: Simplify 0 into 0 17.223 * [backup-simplify]: Simplify 1 into 1 17.223 * [backup-simplify]: Simplify (/ -1 1) into -1 17.224 * [backup-simplify]: Simplify (sqrt 0) into 0 17.225 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 17.225 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 17.226 * [backup-simplify]: Simplify (* -1 +nan.0) into +nan.0 17.226 * [backup-simplify]: Simplify +nan.0 into +nan.0 17.226 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 17.227 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.227 * [backup-simplify]: Simplify (- 0) into 0 17.228 * [backup-simplify]: Simplify (+ 0 0) into 0 17.228 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.229 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 y)))) into 0 17.229 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 y)) 0) (+ (* 0 0) (* 0 (sqrt (/ -1 y))))) into 0 17.230 * [backup-simplify]: Simplify (+ (* (pow (sqrt (/ -1 y)) 2) 0) (+ (* 0 (/ 1 z)) (* 0 -1))) into 0 17.230 * [taylor]: Taking taylor expansion of 0 in z 17.230 * [backup-simplify]: Simplify 0 into 0 17.230 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 y)) 0) (* 0 (sqrt (/ -1 y)))) into 0 17.231 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt (/ -1 y)) 2) (/ 0 1)))) into 0 17.231 * [taylor]: Taking taylor expansion of 0 in y 17.231 * [backup-simplify]: Simplify 0 into 0 17.231 * [backup-simplify]: Simplify 0 into 0 17.232 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 y)) 0) (* 0 (sqrt (/ -1 y)))) into 0 17.232 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (pow (sqrt (/ -1 y)) 2))) into 0 17.232 * [taylor]: Taking taylor expansion of 0 in y 17.232 * [backup-simplify]: Simplify 0 into 0 17.232 * [backup-simplify]: Simplify 0 into 0 17.233 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 17.236 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 17.237 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0)) into (- +nan.0) 17.238 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 17.239 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (- y)) (* (/ 1 (/ 1 (- z))) 1))) (+ (* +nan.0 (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (* +nan.0 (* 1 (* (/ 1 (/ 1 (- z))) 1))))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 z) (- (* +nan.0 (/ z y))))))) 17.239 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 17.239 * [backup-simplify]: Simplify (* (- x z) (sqrt y)) into (* (sqrt y) (- x z)) 17.239 * [approximate]: Taking taylor expansion of (* (sqrt y) (- x z)) in (x z y) around 0 17.239 * [taylor]: Taking taylor expansion of (* (sqrt y) (- x z)) in y 17.239 * [taylor]: Taking taylor expansion of (sqrt y) in y 17.239 * [taylor]: Taking taylor expansion of y in y 17.239 * [backup-simplify]: Simplify 0 into 0 17.239 * [backup-simplify]: Simplify 1 into 1 17.239 * [backup-simplify]: Simplify (sqrt 0) into 0 17.241 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 17.241 * [taylor]: Taking taylor expansion of (- x z) in y 17.241 * [taylor]: Taking taylor expansion of x in y 17.241 * [backup-simplify]: Simplify x into x 17.241 * [taylor]: Taking taylor expansion of z in y 17.241 * [backup-simplify]: Simplify z into z 17.241 * [taylor]: Taking taylor expansion of (* (sqrt y) (- x z)) in z 17.241 * [taylor]: Taking taylor expansion of (sqrt y) in z 17.241 * [taylor]: Taking taylor expansion of y in z 17.241 * [backup-simplify]: Simplify y into y 17.241 * [backup-simplify]: Simplify (sqrt y) into (sqrt y) 17.241 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt y))) into 0 17.241 * [taylor]: Taking taylor expansion of (- x z) in z 17.241 * [taylor]: Taking taylor expansion of x in z 17.241 * [backup-simplify]: Simplify x into x 17.241 * [taylor]: Taking taylor expansion of z in z 17.241 * [backup-simplify]: Simplify 0 into 0 17.241 * [backup-simplify]: Simplify 1 into 1 17.241 * [taylor]: Taking taylor expansion of (* (sqrt y) (- x z)) in x 17.241 * [taylor]: Taking taylor expansion of (sqrt y) in x 17.241 * [taylor]: Taking taylor expansion of y in x 17.241 * [backup-simplify]: Simplify y into y 17.241 * [backup-simplify]: Simplify (sqrt y) into (sqrt y) 17.242 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt y))) into 0 17.242 * [taylor]: Taking taylor expansion of (- x z) in x 17.242 * [taylor]: Taking taylor expansion of x in x 17.242 * [backup-simplify]: Simplify 0 into 0 17.242 * [backup-simplify]: Simplify 1 into 1 17.242 * [taylor]: Taking taylor expansion of z in x 17.242 * [backup-simplify]: Simplify z into z 17.242 * [taylor]: Taking taylor expansion of (* (sqrt y) (- x z)) in x 17.242 * [taylor]: Taking taylor expansion of (sqrt y) in x 17.242 * [taylor]: Taking taylor expansion of y in x 17.242 * [backup-simplify]: Simplify y into y 17.242 * [backup-simplify]: Simplify (sqrt y) into (sqrt y) 17.242 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt y))) into 0 17.242 * [taylor]: Taking taylor expansion of (- x z) in x 17.242 * [taylor]: Taking taylor expansion of x in x 17.242 * [backup-simplify]: Simplify 0 into 0 17.242 * [backup-simplify]: Simplify 1 into 1 17.242 * [taylor]: Taking taylor expansion of z in x 17.242 * [backup-simplify]: Simplify z into z 17.242 * [backup-simplify]: Simplify (- z) into (- z) 17.242 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 17.242 * [backup-simplify]: Simplify (* (sqrt y) (- z)) into (* -1 (* z (sqrt y))) 17.242 * [taylor]: Taking taylor expansion of (* -1 (* z (sqrt y))) in z 17.243 * [taylor]: Taking taylor expansion of -1 in z 17.243 * [backup-simplify]: Simplify -1 into -1 17.243 * [taylor]: Taking taylor expansion of (* z (sqrt y)) in z 17.243 * [taylor]: Taking taylor expansion of z in z 17.243 * [backup-simplify]: Simplify 0 into 0 17.243 * [backup-simplify]: Simplify 1 into 1 17.243 * [taylor]: Taking taylor expansion of (sqrt y) in z 17.243 * [taylor]: Taking taylor expansion of y in z 17.243 * [backup-simplify]: Simplify y into y 17.243 * [backup-simplify]: Simplify (sqrt y) into (sqrt y) 17.243 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt y))) into 0 17.243 * [backup-simplify]: Simplify (* 0 (sqrt y)) into 0 17.243 * [backup-simplify]: Simplify (* -1 0) into 0 17.243 * [taylor]: Taking taylor expansion of 0 in y 17.243 * [backup-simplify]: Simplify 0 into 0 17.244 * [backup-simplify]: Simplify 0 into 0 17.244 * [backup-simplify]: Simplify (- 0) into 0 17.244 * [backup-simplify]: Simplify (+ 1 0) into 1 17.244 * [backup-simplify]: Simplify (+ (* (sqrt y) 1) (* 0 (- z))) into (sqrt y) 17.245 * [taylor]: Taking taylor expansion of (sqrt y) in z 17.245 * [taylor]: Taking taylor expansion of y in z 17.245 * [backup-simplify]: Simplify y into y 17.245 * [backup-simplify]: Simplify (sqrt y) into (sqrt y) 17.245 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt y))) into 0 17.245 * [taylor]: Taking taylor expansion of (sqrt y) in y 17.245 * [taylor]: Taking taylor expansion of y in y 17.245 * [backup-simplify]: Simplify 0 into 0 17.245 * [backup-simplify]: Simplify 1 into 1 17.245 * [backup-simplify]: Simplify (sqrt 0) into 0 17.247 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 17.247 * [backup-simplify]: Simplify 0 into 0 17.247 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt y))) into (sqrt y) 17.248 * [backup-simplify]: Simplify (+ (* -1 (sqrt y)) (* 0 0)) into (- (sqrt y)) 17.248 * [taylor]: Taking taylor expansion of (- (sqrt y)) in y 17.248 * [taylor]: Taking taylor expansion of (sqrt y) in y 17.248 * [taylor]: Taking taylor expansion of y in y 17.248 * [backup-simplify]: Simplify 0 into 0 17.248 * [backup-simplify]: Simplify 1 into 1 17.248 * [backup-simplify]: Simplify (sqrt 0) into 0 17.249 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 17.250 * [backup-simplify]: Simplify (- 0) into 0 17.250 * [backup-simplify]: Simplify 0 into 0 17.250 * [backup-simplify]: Simplify 0 into 0 17.250 * [backup-simplify]: Simplify (- 0) into 0 17.251 * [backup-simplify]: Simplify (+ 0 0) into 0 17.251 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt y))) into 0 17.252 * [backup-simplify]: Simplify (+ (* (sqrt y) 0) (+ (* 0 1) (* 0 (- z)))) into 0 17.252 * [taylor]: Taking taylor expansion of 0 in z 17.252 * [backup-simplify]: Simplify 0 into 0 17.252 * [taylor]: Taking taylor expansion of 0 in y 17.252 * [backup-simplify]: Simplify 0 into 0 17.252 * [backup-simplify]: Simplify 0 into 0 17.252 * [taylor]: Taking taylor expansion of 0 in y 17.252 * [backup-simplify]: Simplify 0 into 0 17.252 * [backup-simplify]: Simplify 0 into 0 17.252 * [backup-simplify]: Simplify 0 into 0 17.252 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 1 z)) (sqrt (/ 1 y))) into (* (sqrt (/ 1 y)) (- (/ 1 x) (/ 1 z))) 17.252 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 y)) (- (/ 1 x) (/ 1 z))) in (x z y) around 0 17.252 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 y)) (- (/ 1 x) (/ 1 z))) in y 17.252 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 17.252 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.253 * [taylor]: Taking taylor expansion of y in y 17.253 * [backup-simplify]: Simplify 0 into 0 17.253 * [backup-simplify]: Simplify 1 into 1 17.253 * [backup-simplify]: Simplify (/ 1 1) into 1 17.253 * [backup-simplify]: Simplify (sqrt 0) into 0 17.255 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 17.255 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 17.255 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.255 * [taylor]: Taking taylor expansion of x in y 17.255 * [backup-simplify]: Simplify x into x 17.255 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 17.255 * [taylor]: Taking taylor expansion of (/ 1 z) in y 17.255 * [taylor]: Taking taylor expansion of z in y 17.255 * [backup-simplify]: Simplify z into z 17.255 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 17.255 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 y)) (- (/ 1 x) (/ 1 z))) in z 17.255 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z 17.255 * [taylor]: Taking taylor expansion of (/ 1 y) in z 17.255 * [taylor]: Taking taylor expansion of y in z 17.255 * [backup-simplify]: Simplify y into y 17.255 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 17.255 * [backup-simplify]: Simplify (sqrt (/ 1 y)) into (sqrt (/ 1 y)) 17.255 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 17.255 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 y)))) into 0 17.255 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 17.255 * [taylor]: Taking taylor expansion of (/ 1 x) in z 17.255 * [taylor]: Taking taylor expansion of x in z 17.255 * [backup-simplify]: Simplify x into x 17.255 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 17.255 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.255 * [taylor]: Taking taylor expansion of z in z 17.255 * [backup-simplify]: Simplify 0 into 0 17.255 * [backup-simplify]: Simplify 1 into 1 17.256 * [backup-simplify]: Simplify (/ 1 1) into 1 17.256 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 y)) (- (/ 1 x) (/ 1 z))) in x 17.256 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 17.256 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.256 * [taylor]: Taking taylor expansion of y in x 17.256 * [backup-simplify]: Simplify y into y 17.256 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 17.256 * [backup-simplify]: Simplify (sqrt (/ 1 y)) into (sqrt (/ 1 y)) 17.256 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 17.256 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 y)))) into 0 17.256 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 17.256 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.256 * [taylor]: Taking taylor expansion of x in x 17.256 * [backup-simplify]: Simplify 0 into 0 17.256 * [backup-simplify]: Simplify 1 into 1 17.256 * [backup-simplify]: Simplify (/ 1 1) into 1 17.256 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.256 * [taylor]: Taking taylor expansion of z in x 17.256 * [backup-simplify]: Simplify z into z 17.256 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 17.256 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 y)) (- (/ 1 x) (/ 1 z))) in x 17.256 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 17.256 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.256 * [taylor]: Taking taylor expansion of y in x 17.256 * [backup-simplify]: Simplify y into y 17.256 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 17.257 * [backup-simplify]: Simplify (sqrt (/ 1 y)) into (sqrt (/ 1 y)) 17.257 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 17.257 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 y)))) into 0 17.257 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 17.257 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.257 * [taylor]: Taking taylor expansion of x in x 17.257 * [backup-simplify]: Simplify 0 into 0 17.257 * [backup-simplify]: Simplify 1 into 1 17.257 * [backup-simplify]: Simplify (/ 1 1) into 1 17.257 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.257 * [taylor]: Taking taylor expansion of z in x 17.257 * [backup-simplify]: Simplify z into z 17.257 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 17.258 * [backup-simplify]: Simplify (+ 1 0) into 1 17.258 * [backup-simplify]: Simplify (* (sqrt (/ 1 y)) 1) into (sqrt (/ 1 y)) 17.258 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z 17.258 * [taylor]: Taking taylor expansion of (/ 1 y) in z 17.258 * [taylor]: Taking taylor expansion of y in z 17.258 * [backup-simplify]: Simplify y into y 17.258 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 17.258 * [backup-simplify]: Simplify (sqrt (/ 1 y)) into (sqrt (/ 1 y)) 17.258 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 17.258 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 y)))) into 0 17.258 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.259 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 17.259 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 17.259 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 y)) (- (/ 1 z))) (* 0 1)) into (- (* (/ 1 z) (sqrt (/ 1 y)))) 17.259 * [taylor]: Taking taylor expansion of (- (* (/ 1 z) (sqrt (/ 1 y)))) in z 17.259 * [taylor]: Taking taylor expansion of (* (/ 1 z) (sqrt (/ 1 y))) in z 17.259 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.259 * [taylor]: Taking taylor expansion of z in z 17.259 * [backup-simplify]: Simplify 0 into 0 17.259 * [backup-simplify]: Simplify 1 into 1 17.263 * [backup-simplify]: Simplify (/ 1 1) into 1 17.263 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z 17.263 * [taylor]: Taking taylor expansion of (/ 1 y) in z 17.263 * [taylor]: Taking taylor expansion of y in z 17.263 * [backup-simplify]: Simplify y into y 17.263 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 17.263 * [backup-simplify]: Simplify (sqrt (/ 1 y)) into (sqrt (/ 1 y)) 17.263 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 17.263 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 y)))) into 0 17.263 * [backup-simplify]: Simplify (* 1 (sqrt (/ 1 y))) into (sqrt (/ 1 y)) 17.263 * [backup-simplify]: Simplify (- (sqrt (/ 1 y))) into (- (sqrt (/ 1 y))) 17.263 * [taylor]: Taking taylor expansion of (- (sqrt (/ 1 y))) in y 17.263 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 17.263 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.264 * [taylor]: Taking taylor expansion of y in y 17.264 * [backup-simplify]: Simplify 0 into 0 17.264 * [backup-simplify]: Simplify 1 into 1 17.264 * [backup-simplify]: Simplify (/ 1 1) into 1 17.264 * [backup-simplify]: Simplify (sqrt 0) into 0 17.265 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 17.265 * [backup-simplify]: Simplify (- 0) into 0 17.265 * [backup-simplify]: Simplify 0 into 0 17.266 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 17.266 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.266 * [taylor]: Taking taylor expansion of y in y 17.266 * [backup-simplify]: Simplify 0 into 0 17.266 * [backup-simplify]: Simplify 1 into 1 17.266 * [backup-simplify]: Simplify (/ 1 1) into 1 17.266 * [backup-simplify]: Simplify (sqrt 0) into 0 17.267 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 17.267 * [backup-simplify]: Simplify 0 into 0 17.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.268 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 17.268 * [backup-simplify]: Simplify (- 0) into 0 17.268 * [backup-simplify]: Simplify (+ 0 0) into 0 17.268 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.269 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 y)))) into 0 17.269 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 y)) 0) (+ (* 0 (- (/ 1 z))) (* 0 1))) into 0 17.269 * [taylor]: Taking taylor expansion of 0 in z 17.269 * [backup-simplify]: Simplify 0 into 0 17.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.270 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt (/ 1 y)))) into 0 17.270 * [backup-simplify]: Simplify (- 0) into 0 17.270 * [taylor]: Taking taylor expansion of 0 in y 17.270 * [backup-simplify]: Simplify 0 into 0 17.270 * [taylor]: Taking taylor expansion of 0 in y 17.270 * [backup-simplify]: Simplify 0 into 0 17.270 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 17.271 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 17.271 * [backup-simplify]: Simplify +nan.0 into +nan.0 17.271 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.271 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 17.271 * [backup-simplify]: Simplify (- 0) into 0 17.272 * [backup-simplify]: Simplify (+ 0 0) into 0 17.272 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.272 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 y)))) into 0 17.273 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z))) (* 0 1)))) into 0 17.273 * [taylor]: Taking taylor expansion of 0 in z 17.273 * [backup-simplify]: Simplify 0 into 0 17.273 * [taylor]: Taking taylor expansion of 0 in y 17.273 * [backup-simplify]: Simplify 0 into 0 17.273 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.274 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 y)))) into 0 17.274 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.275 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt (/ 1 y))))) into 0 17.275 * [backup-simplify]: Simplify (- 0) into 0 17.275 * [taylor]: Taking taylor expansion of 0 in y 17.275 * [backup-simplify]: Simplify 0 into 0 17.275 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.275 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 y)))) into 0 17.275 * [taylor]: Taking taylor expansion of 0 in y 17.276 * [backup-simplify]: Simplify 0 into 0 17.276 * [backup-simplify]: Simplify 0 into 0 17.276 * [backup-simplify]: Simplify 0 into 0 17.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.278 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 17.278 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 17.278 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 17.279 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 y) (* (/ 1 (/ 1 z)) 1))) (+ (* +nan.0 (* 1 (* 1 (/ 1 (/ 1 x))))) (* (- +nan.0) (* 1 (* (/ 1 (/ 1 z)) 1))))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 z) (- (* +nan.0 (/ z y))))))) 17.279 * [backup-simplify]: Simplify (* (- (/ 1 (- x)) (/ 1 (- z))) (sqrt (/ 1 (- y)))) into (* (sqrt (/ -1 y)) (- (/ 1 z) (/ 1 x))) 17.279 * [approximate]: Taking taylor expansion of (* (sqrt (/ -1 y)) (- (/ 1 z) (/ 1 x))) in (x z y) around 0 17.279 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 y)) (- (/ 1 z) (/ 1 x))) in y 17.279 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 17.279 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.279 * [taylor]: Taking taylor expansion of -1 in y 17.279 * [backup-simplify]: Simplify -1 into -1 17.279 * [taylor]: Taking taylor expansion of y in y 17.279 * [backup-simplify]: Simplify 0 into 0 17.279 * [backup-simplify]: Simplify 1 into 1 17.280 * [backup-simplify]: Simplify (/ -1 1) into -1 17.280 * [backup-simplify]: Simplify (sqrt 0) into 0 17.281 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 17.281 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 17.281 * [taylor]: Taking taylor expansion of (/ 1 z) in y 17.281 * [taylor]: Taking taylor expansion of z in y 17.281 * [backup-simplify]: Simplify z into z 17.281 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 17.281 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.281 * [taylor]: Taking taylor expansion of x in y 17.281 * [backup-simplify]: Simplify x into x 17.281 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 17.281 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 y)) (- (/ 1 z) (/ 1 x))) in z 17.281 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z 17.281 * [taylor]: Taking taylor expansion of (/ -1 y) in z 17.281 * [taylor]: Taking taylor expansion of -1 in z 17.281 * [backup-simplify]: Simplify -1 into -1 17.281 * [taylor]: Taking taylor expansion of y in z 17.281 * [backup-simplify]: Simplify y into y 17.281 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 17.281 * [backup-simplify]: Simplify (sqrt (/ -1 y)) into (sqrt (/ -1 y)) 17.281 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 17.281 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 y)))) into 0 17.281 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 17.281 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.281 * [taylor]: Taking taylor expansion of z in z 17.281 * [backup-simplify]: Simplify 0 into 0 17.281 * [backup-simplify]: Simplify 1 into 1 17.282 * [backup-simplify]: Simplify (/ 1 1) into 1 17.282 * [taylor]: Taking taylor expansion of (/ 1 x) in z 17.282 * [taylor]: Taking taylor expansion of x in z 17.282 * [backup-simplify]: Simplify x into x 17.282 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 17.282 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 y)) (- (/ 1 z) (/ 1 x))) in x 17.282 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 17.282 * [taylor]: Taking taylor expansion of (/ -1 y) in x 17.282 * [taylor]: Taking taylor expansion of -1 in x 17.282 * [backup-simplify]: Simplify -1 into -1 17.282 * [taylor]: Taking taylor expansion of y in x 17.282 * [backup-simplify]: Simplify y into y 17.282 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 17.282 * [backup-simplify]: Simplify (sqrt (/ -1 y)) into (sqrt (/ -1 y)) 17.282 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 17.282 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 y)))) into 0 17.282 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 17.282 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.282 * [taylor]: Taking taylor expansion of z in x 17.282 * [backup-simplify]: Simplify z into z 17.283 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 17.283 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.283 * [taylor]: Taking taylor expansion of x in x 17.283 * [backup-simplify]: Simplify 0 into 0 17.283 * [backup-simplify]: Simplify 1 into 1 17.283 * [backup-simplify]: Simplify (/ 1 1) into 1 17.283 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 y)) (- (/ 1 z) (/ 1 x))) in x 17.283 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 17.283 * [taylor]: Taking taylor expansion of (/ -1 y) in x 17.283 * [taylor]: Taking taylor expansion of -1 in x 17.283 * [backup-simplify]: Simplify -1 into -1 17.283 * [taylor]: Taking taylor expansion of y in x 17.284 * [backup-simplify]: Simplify y into y 17.284 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 17.284 * [backup-simplify]: Simplify (sqrt (/ -1 y)) into (sqrt (/ -1 y)) 17.284 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 17.284 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 y)))) into 0 17.284 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 17.284 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.284 * [taylor]: Taking taylor expansion of z in x 17.284 * [backup-simplify]: Simplify z into z 17.284 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 17.284 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.284 * [taylor]: Taking taylor expansion of x in x 17.284 * [backup-simplify]: Simplify 0 into 0 17.284 * [backup-simplify]: Simplify 1 into 1 17.285 * [backup-simplify]: Simplify (/ 1 1) into 1 17.285 * [backup-simplify]: Simplify (- 1) into -1 17.286 * [backup-simplify]: Simplify (+ 0 -1) into -1 17.286 * [backup-simplify]: Simplify (* (sqrt (/ -1 y)) -1) into (* -1 (sqrt (/ -1 y))) 17.286 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 y))) in z 17.286 * [taylor]: Taking taylor expansion of -1 in z 17.286 * [backup-simplify]: Simplify -1 into -1 17.286 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z 17.286 * [taylor]: Taking taylor expansion of (/ -1 y) in z 17.286 * [taylor]: Taking taylor expansion of -1 in z 17.286 * [backup-simplify]: Simplify -1 into -1 17.286 * [taylor]: Taking taylor expansion of y in z 17.286 * [backup-simplify]: Simplify y into y 17.286 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 17.286 * [backup-simplify]: Simplify (sqrt (/ -1 y)) into (sqrt (/ -1 y)) 17.287 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 17.287 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 y)))) into 0 17.288 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.288 * [backup-simplify]: Simplify (- 0) into 0 17.288 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 17.289 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 y)) (/ 1 z)) (* 0 -1)) into (/ (sqrt (/ -1 y)) z) 17.289 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 y)) z) in z 17.289 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z 17.289 * [taylor]: Taking taylor expansion of (/ -1 y) in z 17.289 * [taylor]: Taking taylor expansion of -1 in z 17.289 * [backup-simplify]: Simplify -1 into -1 17.289 * [taylor]: Taking taylor expansion of y in z 17.289 * [backup-simplify]: Simplify y into y 17.289 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 17.289 * [backup-simplify]: Simplify (sqrt (/ -1 y)) into (sqrt (/ -1 y)) 17.289 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 17.289 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 y)))) into 0 17.289 * [taylor]: Taking taylor expansion of z in z 17.290 * [backup-simplify]: Simplify 0 into 0 17.290 * [backup-simplify]: Simplify 1 into 1 17.290 * [backup-simplify]: Simplify (/ (sqrt (/ -1 y)) 1) into (sqrt (/ -1 y)) 17.290 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 17.290 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.290 * [taylor]: Taking taylor expansion of -1 in y 17.290 * [backup-simplify]: Simplify -1 into -1 17.290 * [taylor]: Taking taylor expansion of y in y 17.290 * [backup-simplify]: Simplify 0 into 0 17.290 * [backup-simplify]: Simplify 1 into 1 17.290 * [backup-simplify]: Simplify (/ -1 1) into -1 17.291 * [backup-simplify]: Simplify (sqrt 0) into 0 17.292 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 17.292 * [backup-simplify]: Simplify 0 into 0 17.292 * [backup-simplify]: Simplify (* -1 (sqrt (/ -1 y))) into (* -1 (sqrt (/ -1 y))) 17.292 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 y))) in y 17.292 * [taylor]: Taking taylor expansion of -1 in y 17.292 * [backup-simplify]: Simplify -1 into -1 17.292 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 17.292 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.292 * [taylor]: Taking taylor expansion of -1 in y 17.292 * [backup-simplify]: Simplify -1 into -1 17.293 * [taylor]: Taking taylor expansion of y in y 17.293 * [backup-simplify]: Simplify 0 into 0 17.293 * [backup-simplify]: Simplify 1 into 1 17.293 * [backup-simplify]: Simplify (/ -1 1) into -1 17.293 * [backup-simplify]: Simplify (sqrt 0) into 0 17.295 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 17.295 * [backup-simplify]: Simplify (* -1 0) into 0 17.295 * [backup-simplify]: Simplify 0 into 0 17.295 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 17.296 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.297 * [backup-simplify]: Simplify (- 0) into 0 17.297 * [backup-simplify]: Simplify (+ 0 0) into 0 17.297 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.298 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 y)))) into 0 17.299 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 y)) 0) (+ (* 0 (/ 1 z)) (* 0 -1))) into 0 17.299 * [taylor]: Taking taylor expansion of 0 in z 17.299 * [backup-simplify]: Simplify 0 into 0 17.300 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt (/ -1 y)) (/ 0 1)))) into 0 17.300 * [taylor]: Taking taylor expansion of 0 in y 17.300 * [backup-simplify]: Simplify 0 into 0 17.300 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt (/ -1 y)))) into 0 17.300 * [taylor]: Taking taylor expansion of 0 in y 17.300 * [backup-simplify]: Simplify 0 into 0 17.300 * [backup-simplify]: Simplify +nan.0 into +nan.0 17.302 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (* 0 0)) into (- +nan.0) 17.302 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 17.302 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 17.303 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.304 * [backup-simplify]: Simplify (- 0) into 0 17.304 * [backup-simplify]: Simplify (+ 0 0) into 0 17.304 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.305 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ -1 y)))) into 0 17.306 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 (/ 1 z)) (* 0 -1)))) into 0 17.306 * [taylor]: Taking taylor expansion of 0 in z 17.306 * [backup-simplify]: Simplify 0 into 0 17.306 * [taylor]: Taking taylor expansion of 0 in y 17.306 * [backup-simplify]: Simplify 0 into 0 17.306 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.308 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 y)))) into 0 17.309 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt (/ -1 y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.309 * [taylor]: Taking taylor expansion of 0 in y 17.309 * [backup-simplify]: Simplify 0 into 0 17.309 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.310 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 y)))) into 0 17.311 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt (/ -1 y))))) into 0 17.311 * [taylor]: Taking taylor expansion of 0 in y 17.311 * [backup-simplify]: Simplify 0 into 0 17.311 * [backup-simplify]: Simplify 0 into 0 17.311 * [backup-simplify]: Simplify 0 into 0 17.312 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 17.315 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 17.315 * [backup-simplify]: Simplify +nan.0 into +nan.0 17.316 * [backup-simplify]: Simplify (+ (* +nan.0 (* (/ 1 (- y)) (* (/ 1 (/ 1 (- z))) 1))) (+ (* (- +nan.0) (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (* +nan.0 (* 1 (* (/ 1 (/ 1 (- z))) 1))))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 z) (- (* +nan.0 (/ z y))))))) 17.316 * * * [progress]: simplifying candidates 17.318 * [simplify]: Simplifying: (expm1 (* (* (- x z) (sqrt y)) (sqrt y))) (log1p (* (* (- x z) (sqrt y)) (sqrt y))) (* (* (- x z) (sqrt y)) (sqrt y)) (* (* (- x z) (sqrt y)) (sqrt y)) (+ (+ (log (- x z)) (log (sqrt y))) (log (sqrt y))) (+ (log (* (- x z) (sqrt y))) (log (sqrt y))) (log (* (* (- x z) (sqrt y)) (sqrt y))) (exp (* (* (- x z) (sqrt y)) (sqrt y))) (* (* (* (* (- x z) (- x z)) (- x z)) (* (* (sqrt y) (sqrt y)) (sqrt y))) (* (* (sqrt y) (sqrt y)) (sqrt y))) (* (* (* (* (- x z) (sqrt y)) (* (- x z) (sqrt y))) (* (- x z) (sqrt y))) (* (* (sqrt y) (sqrt y)) (sqrt y))) (* (cbrt (* (* (- x z) (sqrt y)) (sqrt y))) (cbrt (* (* (- x z) (sqrt y)) (sqrt y)))) (cbrt (* (* (- x z) (sqrt y)) (sqrt y))) (* (* (* (* (- x z) (sqrt y)) (sqrt y)) (* (* (- x z) (sqrt y)) (sqrt y))) (* (* (- x z) (sqrt y)) (sqrt y))) (sqrt (* (* (- x z) (sqrt y)) (sqrt y))) (sqrt (* (* (- x z) (sqrt y)) (sqrt y))) (* (* (- x z) (sqrt y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (* (* (- x z) (sqrt y)) (sqrt (* (cbrt y) (cbrt y)))) (* (* (- x z) (sqrt y)) (sqrt (sqrt y))) (* (* (- x z) (sqrt y)) (sqrt 1)) (* (* (- x z) (sqrt y)) (sqrt (sqrt y))) (* (* (- x z) (sqrt y)) 1) (* (sqrt y) (sqrt y)) (* (* (- (pow x 3) (pow z 3)) (sqrt y)) (sqrt y)) (* (* (- (* x x) (* z z)) (sqrt y)) (sqrt y)) (expm1 (* (- x z) (sqrt y))) (log1p (* (- x z) (sqrt y))) (* (- x z) (sqrt y)) (+ (log (- x z)) (log (sqrt y))) (log (* (- x z) (sqrt y))) (exp (* (- x z) (sqrt y))) (* (* (* (- x z) (- x z)) (- x z)) (* (* (sqrt y) (sqrt y)) (sqrt y))) (* (cbrt (* (- x z) (sqrt y))) (cbrt (* (- x z) (sqrt y)))) (cbrt (* (- x z) (sqrt y))) (* (* (* (- x z) (sqrt y)) (* (- x z) (sqrt y))) (* (- x z) (sqrt y))) (sqrt (* (- x z) (sqrt y))) (sqrt (* (- x z) (sqrt y))) (* (sqrt (- x z)) (sqrt (sqrt y))) (* (sqrt (- x z)) (sqrt (sqrt y))) (* (sqrt (- x z)) (sqrt (sqrt y))) (* (sqrt (- x z)) (sqrt (sqrt y))) (* (- x z) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (* (- x z) (sqrt (* (cbrt y) (cbrt y)))) (* (- x z) (sqrt (sqrt y))) (* (- x z) (sqrt 1)) (* (- x z) (sqrt (sqrt y))) (* (- x z) 1) (* (cbrt (- x z)) (sqrt y)) (* (sqrt (- x z)) (sqrt y)) (* (- x z) (sqrt y)) (* (- (sqrt x) (sqrt z)) (sqrt y)) (* (- x z) (sqrt y)) (* (- (pow x 3) (pow z 3)) (sqrt y)) (* (- (* x x) (* z z)) (sqrt y)) 0 (- (* x y) (* z y)) (- (+ (* +nan.0 x) (- (+ (* +nan.0 z) (- (* +nan.0 (/ z y))))))) 0 (- (+ (* +nan.0 x) (- (+ (* +nan.0 z) (- (* +nan.0 (/ z y))))))) (- (+ (* +nan.0 x) (- (+ (* +nan.0 z) (- (* +nan.0 (/ z y))))))) 17.320 * * [simplify]: Extracting # 0 : cost 0 17.320 * * [simplify]: Extracting # 1 : cost 0 17.320 * * [simplify]: Extracting # 2 : cost 0 17.320 * * [simplify]: Extracting # 3 : cost 0 17.321 * * [simplify]: Extracting # 4 : cost 0 17.321 * * [simplify]: Extracting # 5 : cost 0 17.321 * * [simplify]: Extracting # 6 : cost 0 17.321 * * [simplify]: Extracting # 7 : cost 0 17.321 * * [simplify]: Extracting # 8 : cost 0 17.322 * * [simplify]: Extracting # 9 : cost 0 17.322 * * [simplify]: Extracting # 10 : cost 0 17.322 * * [simplify]: Extracting # 11 : cost 0 17.322 * * [simplify]: iteration 0 : 89 enodes (cost 621 ) 17.365 * * [simplify]: Extracting # 0 : cost 0 17.366 * * [simplify]: Extracting # 1 : cost 0 17.366 * * [simplify]: Extracting # 2 : cost 0 17.366 * * [simplify]: Extracting # 3 : cost 0 17.367 * * [simplify]: iteration 1 : 215 enodes (cost 493 ) 17.504 * * [simplify]: Extracting # 0 : cost 0 17.505 * * [simplify]: Extracting # 1 : cost 0 17.506 * * [simplify]: Extracting # 2 : cost 0 17.508 * * [simplify]: Extracting # 3 : cost 0 17.509 * * [simplify]: Extracting # 4 : cost 0 17.510 * * [simplify]: iteration 2 : 652 enodes (cost 433 ) 18.310 * * [simplify]: Extracting # 0 : cost 0 18.312 * * [simplify]: Extracting # 1 : cost 0 18.315 * * [simplify]: Extracting # 2 : cost 0 18.317 * * [simplify]: Extracting # 3 : cost 0 18.318 * * [simplify]: Extracting # 4 : cost 0 18.320 * * [simplify]: iteration 3 : 2202 enodes (cost 427 ) 19.316 * * [simplify]: Extracting # 0 : cost 0 19.326 * * [simplify]: Extracting # 1 : cost 0 19.332 * * [simplify]: Extracting # 2 : cost 0 19.337 * * [simplify]: Extracting # 3 : cost 0 19.343 * * [simplify]: Extracting # 4 : cost 0 19.348 * * [simplify]: iteration done: 5002 enodes (cost 427 ) 19.349 * [simplify]: Simplified to: (expm1 (* (- x z) y)) (log1p (* (- x z) y)) (* y (- x z)) (* y (- x z)) (log (* (- x z) y)) (log (* (- x z) y)) (log (* (- x z) y)) (exp (* (- x z) y)) (pow (* y (- x z)) 3) (pow (* y (- x z)) 3) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (cbrt (* (- x z) y)) (pow (* y (- x z)) 3) (sqrt (* (- x z) y)) (sqrt (* (- x z) y)) (* (* (- x z) (sqrt y)) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (* (* (- x z) (sqrt y)) (fabs (cbrt y))) (* (* (- x z) (sqrt y)) (sqrt (sqrt y))) (* (sqrt y) (- x z)) (* (* (- x z) (sqrt y)) (sqrt (sqrt y))) (* (sqrt y) (- x z)) y (* (- (pow x 3) (pow z 3)) y) (* (- (* x x) (* z z)) y) (expm1 (* (- x z) (sqrt y))) (log1p (* (- x z) (sqrt y))) (* (sqrt y) (- x z)) (log (* (- x z) (sqrt y))) (log (* (- x z) (sqrt y))) (exp (* (- x z) (sqrt y))) (pow (* (sqrt y) (- x z)) 3) (* (cbrt (* (- x z) (sqrt y))) (cbrt (* (- x z) (sqrt y)))) (cbrt (* (- x z) (sqrt y))) (pow (* (sqrt y) (- x z)) 3) (sqrt (* (- x z) (sqrt y))) (sqrt (* (- x z) (sqrt y))) (* (sqrt (- x z)) (sqrt (sqrt y))) (* (sqrt (- x z)) (sqrt (sqrt y))) (* (sqrt (- x z)) (sqrt (sqrt y))) (* (sqrt (- x z)) (sqrt (sqrt y))) (* (- x z) (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (* (- x z) (fabs (cbrt y))) (* (- x z) (sqrt (sqrt y))) (- x z) (* (- x z) (sqrt (sqrt y))) (- x z) (* (cbrt (- x z)) (sqrt y)) (* (sqrt (- x z)) (sqrt y)) (* (sqrt y) (- x z)) (* (- (sqrt x) (sqrt z)) (sqrt y)) (* (sqrt y) (- x z)) (* (- (pow x 3) (pow z 3)) (sqrt y)) (* (- (* x x) (* z z)) (sqrt y)) 0 (* y (- x z)) (* +nan.0 (+ (- z (/ z y)) (- x))) 0 (* +nan.0 (+ (- z (/ z y)) (- x))) (* +nan.0 (+ (- z (/ z y)) (- x))) 19.350 * * * [progress]: adding candidates to table 19.556 * [progress]: [Phase 3 of 3] Extracting. 19.556 * * [regime]: Finding splitpoints for: (# # #) 19.557 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 19.557 * * * * [regimes]: Trying to branch on z from (# # #) 19.582 * * * * [regimes]: Trying to branch on y from (# # #) 19.597 * * * * [regimes]: Trying to branch on x from (# # #) 19.620 * * * [regime]: Found split indices: #