15.120 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.036 * * * [progress]: [2/2] Setting up program. 0.038 * [progress]: [Phase 2 of 3] Improving. 0.039 * [simplify]: Simplifying: (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)) 0.039 * * [simplify]: Extracting # 0 : cost 0 0.039 * * [simplify]: Extracting # 1 : cost 0 0.039 * * [simplify]: Extracting # 2 : cost 0 0.039 * * [simplify]: Extracting # 3 : cost 0 0.039 * * [simplify]: Extracting # 4 : cost 0 0.039 * * [simplify]: Extracting # 5 : cost 0 0.039 * * [simplify]: Extracting # 6 : cost 0 0.039 * * [simplify]: Extracting # 7 : cost 0 0.039 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 0.041 * * [simplify]: Extracting # 0 : cost 0 0.041 * * [simplify]: Extracting # 1 : cost 0 0.041 * * [simplify]: Extracting # 2 : cost 0 0.041 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 0.045 * * [simplify]: Extracting # 0 : cost 0 0.045 * * [simplify]: Extracting # 1 : cost 0 0.045 * * [simplify]: Extracting # 2 : cost 0 0.045 * * [simplify]: iteration 2 : 50 enodes (cost 12 ) 0.065 * * [simplify]: Extracting # 0 : cost 0 0.065 * * [simplify]: Extracting # 1 : cost 0 0.065 * * [simplify]: Extracting # 2 : cost 0 0.065 * * [simplify]: iteration 3 : 123 enodes (cost 11 ) 0.097 * * [simplify]: Extracting # 0 : cost 0 0.097 * * [simplify]: Extracting # 1 : cost 0 0.098 * * [simplify]: Extracting # 2 : cost 0 0.098 * * [simplify]: iteration 4 : 298 enodes (cost 11 ) 0.191 * * [simplify]: Extracting # 0 : cost 0 0.191 * * [simplify]: Extracting # 1 : cost 0 0.192 * * [simplify]: Extracting # 2 : cost 0 0.192 * * [simplify]: iteration 5 : 597 enodes (cost 11 ) 0.401 * * [simplify]: Extracting # 0 : cost 0 0.403 * * [simplify]: Extracting # 1 : cost 0 0.404 * * [simplify]: Extracting # 2 : cost 0 0.405 * * [simplify]: iteration 6 : 1262 enodes (cost 11 ) 1.855 * * [simplify]: Extracting # 0 : cost 0 1.866 * * [simplify]: Extracting # 1 : cost 0 1.873 * * [simplify]: Extracting # 2 : cost 0 1.881 * * [simplify]: Extracting # 3 : cost 0 1.887 * * [simplify]: Extracting # 4 : cost 0 1.893 * * [simplify]: iteration 7 : 4924 enodes (cost 10 ) 3.146 * * [simplify]: Extracting # 0 : cost 0 3.152 * * [simplify]: Extracting # 1 : cost 0 3.158 * * [simplify]: iteration done: 5000 enodes (cost 10 ) 3.158 * [simplify]: Simplified to: (fma 4.0 (- 0.25 (/ (- z x) y)) 1.0) 3.163 * * [progress]: iteration 1 / 4 3.163 * * * [progress]: picking best candidate 3.165 * * * * [pick]: Picked # 3.165 * * * [progress]: localizing error 3.177 * * * [progress]: generating rewritten candidates 3.177 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 3.222 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 3.251 * * * [progress]: generating series expansions 3.251 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 3.251 * [backup-simplify]: Simplify (- 0.25 (/ (- z x) y)) into (- (+ (/ x y) 0.25) (/ z y)) 3.251 * [approximate]: Taking taylor expansion of (- (+ (/ x y) 0.25) (/ z y)) in (z x y) around 0 3.251 * [taylor]: Taking taylor expansion of (- (+ (/ x y) 0.25) (/ z y)) in y 3.251 * [taylor]: Taking taylor expansion of (+ (/ x y) 0.25) in y 3.251 * [taylor]: Taking taylor expansion of (/ x y) in y 3.251 * [taylor]: Taking taylor expansion of x in y 3.251 * [backup-simplify]: Simplify x into x 3.251 * [taylor]: Taking taylor expansion of y in y 3.251 * [backup-simplify]: Simplify 0 into 0 3.251 * [backup-simplify]: Simplify 1 into 1 3.251 * [backup-simplify]: Simplify (/ x 1) into x 3.251 * [taylor]: Taking taylor expansion of 0.25 in y 3.251 * [backup-simplify]: Simplify 0.25 into 0.25 3.251 * [taylor]: Taking taylor expansion of (/ z y) in y 3.251 * [taylor]: Taking taylor expansion of z in y 3.251 * [backup-simplify]: Simplify z into z 3.251 * [taylor]: Taking taylor expansion of y in y 3.251 * [backup-simplify]: Simplify 0 into 0 3.251 * [backup-simplify]: Simplify 1 into 1 3.251 * [backup-simplify]: Simplify (/ z 1) into z 3.251 * [taylor]: Taking taylor expansion of (- (+ (/ x y) 0.25) (/ z y)) in x 3.251 * [taylor]: Taking taylor expansion of (+ (/ x y) 0.25) in x 3.251 * [taylor]: Taking taylor expansion of (/ x y) in x 3.251 * [taylor]: Taking taylor expansion of x in x 3.251 * [backup-simplify]: Simplify 0 into 0 3.251 * [backup-simplify]: Simplify 1 into 1 3.251 * [taylor]: Taking taylor expansion of y in x 3.251 * [backup-simplify]: Simplify y into y 3.251 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.251 * [taylor]: Taking taylor expansion of 0.25 in x 3.251 * [backup-simplify]: Simplify 0.25 into 0.25 3.251 * [taylor]: Taking taylor expansion of (/ z y) in x 3.251 * [taylor]: Taking taylor expansion of z in x 3.252 * [backup-simplify]: Simplify z into z 3.252 * [taylor]: Taking taylor expansion of y in x 3.252 * [backup-simplify]: Simplify y into y 3.252 * [backup-simplify]: Simplify (/ z y) into (/ z y) 3.252 * [taylor]: Taking taylor expansion of (- (+ (/ x y) 0.25) (/ z y)) in z 3.252 * [taylor]: Taking taylor expansion of (+ (/ x y) 0.25) in z 3.252 * [taylor]: Taking taylor expansion of (/ x y) in z 3.252 * [taylor]: Taking taylor expansion of x in z 3.252 * [backup-simplify]: Simplify x into x 3.252 * [taylor]: Taking taylor expansion of y in z 3.252 * [backup-simplify]: Simplify y into y 3.252 * [backup-simplify]: Simplify (/ x y) into (/ x y) 3.252 * [taylor]: Taking taylor expansion of 0.25 in z 3.252 * [backup-simplify]: Simplify 0.25 into 0.25 3.252 * [taylor]: Taking taylor expansion of (/ z y) in z 3.252 * [taylor]: Taking taylor expansion of z in z 3.252 * [backup-simplify]: Simplify 0 into 0 3.252 * [backup-simplify]: Simplify 1 into 1 3.252 * [taylor]: Taking taylor expansion of y in z 3.252 * [backup-simplify]: Simplify y into y 3.252 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.252 * [taylor]: Taking taylor expansion of (- (+ (/ x y) 0.25) (/ z y)) in z 3.252 * [taylor]: Taking taylor expansion of (+ (/ x y) 0.25) in z 3.252 * [taylor]: Taking taylor expansion of (/ x y) in z 3.252 * [taylor]: Taking taylor expansion of x in z 3.252 * [backup-simplify]: Simplify x into x 3.252 * [taylor]: Taking taylor expansion of y in z 3.252 * [backup-simplify]: Simplify y into y 3.252 * [backup-simplify]: Simplify (/ x y) into (/ x y) 3.252 * [taylor]: Taking taylor expansion of 0.25 in z 3.252 * [backup-simplify]: Simplify 0.25 into 0.25 3.252 * [taylor]: Taking taylor expansion of (/ z y) in z 3.252 * [taylor]: Taking taylor expansion of z in z 3.252 * [backup-simplify]: Simplify 0 into 0 3.252 * [backup-simplify]: Simplify 1 into 1 3.252 * [taylor]: Taking taylor expansion of y in z 3.252 * [backup-simplify]: Simplify y into y 3.252 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.252 * [backup-simplify]: Simplify (+ (/ x y) 0.25) into (+ (/ x y) 0.25) 3.252 * [backup-simplify]: Simplify (+ (+ (/ x y) 0.25) 0) into (+ (/ x y) 0.25) 3.252 * [taylor]: Taking taylor expansion of (+ (/ x y) 0.25) in x 3.252 * [taylor]: Taking taylor expansion of (/ x y) in x 3.252 * [taylor]: Taking taylor expansion of x in x 3.252 * [backup-simplify]: Simplify 0 into 0 3.252 * [backup-simplify]: Simplify 1 into 1 3.252 * [taylor]: Taking taylor expansion of y in x 3.252 * [backup-simplify]: Simplify y into y 3.253 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.253 * [taylor]: Taking taylor expansion of 0.25 in x 3.253 * [backup-simplify]: Simplify 0.25 into 0.25 3.253 * [backup-simplify]: Simplify (+ 0 0.25) into 0.25 3.253 * [taylor]: Taking taylor expansion of 0.25 in y 3.253 * [backup-simplify]: Simplify 0.25 into 0.25 3.253 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ x y) (/ 0 y)))) into 0 3.254 * [backup-simplify]: Simplify (+ 0 0) into 0 3.254 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 3.254 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 3.254 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 3.254 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.254 * [taylor]: Taking taylor expansion of y in x 3.254 * [backup-simplify]: Simplify y into y 3.254 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.254 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 3.254 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 3.254 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.254 * [taylor]: Taking taylor expansion of y in y 3.254 * [backup-simplify]: Simplify 0 into 0 3.254 * [backup-simplify]: Simplify 1 into 1 3.254 * [backup-simplify]: Simplify (/ 1 1) into 1 3.254 * [backup-simplify]: Simplify (- 1) into -1 3.254 * [backup-simplify]: Simplify -1 into -1 3.254 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 3.255 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.255 * [taylor]: Taking taylor expansion of y in y 3.255 * [backup-simplify]: Simplify 0 into 0 3.255 * [backup-simplify]: Simplify 1 into 1 3.255 * [backup-simplify]: Simplify (/ 1 1) into 1 3.255 * [backup-simplify]: Simplify 1 into 1 3.255 * [backup-simplify]: Simplify 0.25 into 0.25 3.255 * [backup-simplify]: Simplify (+ 0.25 (+ (* 1 (* (/ 1 y) (* x 1))) (* -1 (* (/ 1 y) (* 1 z))))) into (- (+ (/ x y) 0.25) (/ z y)) 3.255 * [backup-simplify]: Simplify (- 0.25 (/ (- (/ 1 z) (/ 1 x)) (/ 1 y))) into (- (+ (/ y x) 0.25) (/ y z)) 3.255 * [approximate]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in (z x y) around 0 3.255 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in y 3.255 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in y 3.255 * [taylor]: Taking taylor expansion of (/ y x) in y 3.255 * [taylor]: Taking taylor expansion of y in y 3.255 * [backup-simplify]: Simplify 0 into 0 3.255 * [backup-simplify]: Simplify 1 into 1 3.255 * [taylor]: Taking taylor expansion of x in y 3.255 * [backup-simplify]: Simplify x into x 3.255 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.255 * [taylor]: Taking taylor expansion of 0.25 in y 3.255 * [backup-simplify]: Simplify 0.25 into 0.25 3.255 * [taylor]: Taking taylor expansion of (/ y z) in y 3.256 * [taylor]: Taking taylor expansion of y in y 3.256 * [backup-simplify]: Simplify 0 into 0 3.256 * [backup-simplify]: Simplify 1 into 1 3.256 * [taylor]: Taking taylor expansion of z in y 3.256 * [backup-simplify]: Simplify z into z 3.256 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.256 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in x 3.256 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in x 3.256 * [taylor]: Taking taylor expansion of (/ y x) in x 3.256 * [taylor]: Taking taylor expansion of y in x 3.256 * [backup-simplify]: Simplify y into y 3.256 * [taylor]: Taking taylor expansion of x in x 3.256 * [backup-simplify]: Simplify 0 into 0 3.256 * [backup-simplify]: Simplify 1 into 1 3.256 * [backup-simplify]: Simplify (/ y 1) into y 3.256 * [taylor]: Taking taylor expansion of 0.25 in x 3.256 * [backup-simplify]: Simplify 0.25 into 0.25 3.256 * [taylor]: Taking taylor expansion of (/ y z) in x 3.256 * [taylor]: Taking taylor expansion of y in x 3.256 * [backup-simplify]: Simplify y into y 3.256 * [taylor]: Taking taylor expansion of z in x 3.256 * [backup-simplify]: Simplify z into z 3.256 * [backup-simplify]: Simplify (/ y z) into (/ y z) 3.256 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in z 3.256 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in z 3.256 * [taylor]: Taking taylor expansion of (/ y x) in z 3.256 * [taylor]: Taking taylor expansion of y in z 3.256 * [backup-simplify]: Simplify y into y 3.256 * [taylor]: Taking taylor expansion of x in z 3.256 * [backup-simplify]: Simplify x into x 3.256 * [backup-simplify]: Simplify (/ y x) into (/ y x) 3.256 * [taylor]: Taking taylor expansion of 0.25 in z 3.256 * [backup-simplify]: Simplify 0.25 into 0.25 3.256 * [taylor]: Taking taylor expansion of (/ y z) in z 3.256 * [taylor]: Taking taylor expansion of y in z 3.256 * [backup-simplify]: Simplify y into y 3.256 * [taylor]: Taking taylor expansion of z in z 3.256 * [backup-simplify]: Simplify 0 into 0 3.256 * [backup-simplify]: Simplify 1 into 1 3.256 * [backup-simplify]: Simplify (/ y 1) into y 3.256 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in z 3.256 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in z 3.256 * [taylor]: Taking taylor expansion of (/ y x) in z 3.256 * [taylor]: Taking taylor expansion of y in z 3.256 * [backup-simplify]: Simplify y into y 3.256 * [taylor]: Taking taylor expansion of x in z 3.256 * [backup-simplify]: Simplify x into x 3.256 * [backup-simplify]: Simplify (/ y x) into (/ y x) 3.257 * [taylor]: Taking taylor expansion of 0.25 in z 3.257 * [backup-simplify]: Simplify 0.25 into 0.25 3.257 * [taylor]: Taking taylor expansion of (/ y z) in z 3.257 * [taylor]: Taking taylor expansion of y in z 3.257 * [backup-simplify]: Simplify y into y 3.257 * [taylor]: Taking taylor expansion of z in z 3.257 * [backup-simplify]: Simplify 0 into 0 3.257 * [backup-simplify]: Simplify 1 into 1 3.257 * [backup-simplify]: Simplify (/ y 1) into y 3.257 * [backup-simplify]: Simplify (- y) into (- y) 3.257 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 3.257 * [taylor]: Taking taylor expansion of (- y) in x 3.257 * [taylor]: Taking taylor expansion of y in x 3.257 * [backup-simplify]: Simplify y into y 3.257 * [backup-simplify]: Simplify (+ (/ y x) 0.25) into (+ (/ y x) 0.25) 3.258 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 3.258 * [backup-simplify]: Simplify (- 0) into 0 3.258 * [backup-simplify]: Simplify (+ (+ (/ y x) 0.25) 0) into (+ (/ y x) 0.25) 3.258 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in x 3.258 * [taylor]: Taking taylor expansion of (/ y x) in x 3.258 * [taylor]: Taking taylor expansion of y in x 3.258 * [backup-simplify]: Simplify y into y 3.258 * [taylor]: Taking taylor expansion of x in x 3.258 * [backup-simplify]: Simplify 0 into 0 3.258 * [backup-simplify]: Simplify 1 into 1 3.258 * [backup-simplify]: Simplify (/ y 1) into y 3.258 * [taylor]: Taking taylor expansion of 0.25 in x 3.258 * [backup-simplify]: Simplify 0.25 into 0.25 3.258 * [backup-simplify]: Simplify (+ y 0) into y 3.258 * [taylor]: Taking taylor expansion of y in y 3.259 * [backup-simplify]: Simplify 0 into 0 3.259 * [backup-simplify]: Simplify 1 into 1 3.259 * [backup-simplify]: Simplify 0 into 0 3.259 * [backup-simplify]: Simplify (- y) into (- y) 3.259 * [taylor]: Taking taylor expansion of (- y) in y 3.259 * [taylor]: Taking taylor expansion of y in y 3.259 * [backup-simplify]: Simplify 0 into 0 3.259 * [backup-simplify]: Simplify 1 into 1 3.259 * [backup-simplify]: Simplify (- 0) into 0 3.259 * [backup-simplify]: Simplify 0 into 0 3.259 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ y x) (/ 0 x)))) into 0 3.259 * [backup-simplify]: Simplify (+ 0 0) into 0 3.261 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.261 * [backup-simplify]: Simplify (- 0) into 0 3.261 * [backup-simplify]: Simplify (+ 0 0) into 0 3.261 * [taylor]: Taking taylor expansion of 0 in x 3.261 * [backup-simplify]: Simplify 0 into 0 3.262 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 3.262 * [backup-simplify]: Simplify (+ 0 0.25) into 0.25 3.262 * [taylor]: Taking taylor expansion of 0.25 in y 3.262 * [backup-simplify]: Simplify 0.25 into 0.25 3.263 * [backup-simplify]: Simplify 0.25 into 0.25 3.263 * [backup-simplify]: Simplify (- 0) into 0 3.263 * [taylor]: Taking taylor expansion of 0 in y 3.263 * [backup-simplify]: Simplify 0 into 0 3.263 * [backup-simplify]: Simplify 0 into 0 3.263 * [backup-simplify]: Simplify 1 into 1 3.263 * [backup-simplify]: Simplify (- 1) into -1 3.263 * [backup-simplify]: Simplify -1 into -1 3.264 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 y) (* 1 (/ 1 (/ 1 z))))) (+ (* 1 (* (/ 1 y) (* (/ 1 (/ 1 x)) 1))) 0.25)) into (- (+ (/ x y) 0.25) (/ z y)) 3.264 * [backup-simplify]: Simplify (- 0.25 (/ (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- y)))) into (- (+ (/ y x) 0.25) (/ y z)) 3.264 * [approximate]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in (z x y) around 0 3.264 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in y 3.264 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in y 3.264 * [taylor]: Taking taylor expansion of (/ y x) in y 3.264 * [taylor]: Taking taylor expansion of y in y 3.264 * [backup-simplify]: Simplify 0 into 0 3.264 * [backup-simplify]: Simplify 1 into 1 3.264 * [taylor]: Taking taylor expansion of x in y 3.264 * [backup-simplify]: Simplify x into x 3.264 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.264 * [taylor]: Taking taylor expansion of 0.25 in y 3.264 * [backup-simplify]: Simplify 0.25 into 0.25 3.264 * [taylor]: Taking taylor expansion of (/ y z) in y 3.264 * [taylor]: Taking taylor expansion of y in y 3.264 * [backup-simplify]: Simplify 0 into 0 3.264 * [backup-simplify]: Simplify 1 into 1 3.264 * [taylor]: Taking taylor expansion of z in y 3.264 * [backup-simplify]: Simplify z into z 3.264 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.264 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in x 3.264 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in x 3.264 * [taylor]: Taking taylor expansion of (/ y x) in x 3.264 * [taylor]: Taking taylor expansion of y in x 3.264 * [backup-simplify]: Simplify y into y 3.264 * [taylor]: Taking taylor expansion of x in x 3.265 * [backup-simplify]: Simplify 0 into 0 3.265 * [backup-simplify]: Simplify 1 into 1 3.265 * [backup-simplify]: Simplify (/ y 1) into y 3.265 * [taylor]: Taking taylor expansion of 0.25 in x 3.265 * [backup-simplify]: Simplify 0.25 into 0.25 3.265 * [taylor]: Taking taylor expansion of (/ y z) in x 3.265 * [taylor]: Taking taylor expansion of y in x 3.265 * [backup-simplify]: Simplify y into y 3.265 * [taylor]: Taking taylor expansion of z in x 3.265 * [backup-simplify]: Simplify z into z 3.265 * [backup-simplify]: Simplify (/ y z) into (/ y z) 3.265 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in z 3.265 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in z 3.265 * [taylor]: Taking taylor expansion of (/ y x) in z 3.265 * [taylor]: Taking taylor expansion of y in z 3.265 * [backup-simplify]: Simplify y into y 3.265 * [taylor]: Taking taylor expansion of x in z 3.265 * [backup-simplify]: Simplify x into x 3.265 * [backup-simplify]: Simplify (/ y x) into (/ y x) 3.265 * [taylor]: Taking taylor expansion of 0.25 in z 3.265 * [backup-simplify]: Simplify 0.25 into 0.25 3.265 * [taylor]: Taking taylor expansion of (/ y z) in z 3.265 * [taylor]: Taking taylor expansion of y in z 3.265 * [backup-simplify]: Simplify y into y 3.265 * [taylor]: Taking taylor expansion of z in z 3.265 * [backup-simplify]: Simplify 0 into 0 3.265 * [backup-simplify]: Simplify 1 into 1 3.265 * [backup-simplify]: Simplify (/ y 1) into y 3.265 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in z 3.265 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in z 3.265 * [taylor]: Taking taylor expansion of (/ y x) in z 3.265 * [taylor]: Taking taylor expansion of y in z 3.265 * [backup-simplify]: Simplify y into y 3.265 * [taylor]: Taking taylor expansion of x in z 3.265 * [backup-simplify]: Simplify x into x 3.265 * [backup-simplify]: Simplify (/ y x) into (/ y x) 3.265 * [taylor]: Taking taylor expansion of 0.25 in z 3.265 * [backup-simplify]: Simplify 0.25 into 0.25 3.265 * [taylor]: Taking taylor expansion of (/ y z) in z 3.265 * [taylor]: Taking taylor expansion of y in z 3.265 * [backup-simplify]: Simplify y into y 3.265 * [taylor]: Taking taylor expansion of z in z 3.265 * [backup-simplify]: Simplify 0 into 0 3.265 * [backup-simplify]: Simplify 1 into 1 3.265 * [backup-simplify]: Simplify (/ y 1) into y 3.266 * [backup-simplify]: Simplify (- y) into (- y) 3.266 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 3.266 * [taylor]: Taking taylor expansion of (- y) in x 3.266 * [taylor]: Taking taylor expansion of y in x 3.266 * [backup-simplify]: Simplify y into y 3.266 * [backup-simplify]: Simplify (+ (/ y x) 0.25) into (+ (/ y x) 0.25) 3.266 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 3.266 * [backup-simplify]: Simplify (- 0) into 0 3.267 * [backup-simplify]: Simplify (+ (+ (/ y x) 0.25) 0) into (+ (/ y x) 0.25) 3.267 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in x 3.267 * [taylor]: Taking taylor expansion of (/ y x) in x 3.267 * [taylor]: Taking taylor expansion of y in x 3.267 * [backup-simplify]: Simplify y into y 3.267 * [taylor]: Taking taylor expansion of x in x 3.267 * [backup-simplify]: Simplify 0 into 0 3.267 * [backup-simplify]: Simplify 1 into 1 3.267 * [backup-simplify]: Simplify (/ y 1) into y 3.267 * [taylor]: Taking taylor expansion of 0.25 in x 3.267 * [backup-simplify]: Simplify 0.25 into 0.25 3.267 * [backup-simplify]: Simplify (+ y 0) into y 3.267 * [taylor]: Taking taylor expansion of y in y 3.267 * [backup-simplify]: Simplify 0 into 0 3.267 * [backup-simplify]: Simplify 1 into 1 3.267 * [backup-simplify]: Simplify 0 into 0 3.267 * [backup-simplify]: Simplify (- y) into (- y) 3.267 * [taylor]: Taking taylor expansion of (- y) in y 3.267 * [taylor]: Taking taylor expansion of y in y 3.267 * [backup-simplify]: Simplify 0 into 0 3.267 * [backup-simplify]: Simplify 1 into 1 3.267 * [backup-simplify]: Simplify (- 0) into 0 3.267 * [backup-simplify]: Simplify 0 into 0 3.267 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ y x) (/ 0 x)))) into 0 3.268 * [backup-simplify]: Simplify (+ 0 0) into 0 3.268 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.269 * [backup-simplify]: Simplify (- 0) into 0 3.269 * [backup-simplify]: Simplify (+ 0 0) into 0 3.269 * [taylor]: Taking taylor expansion of 0 in x 3.269 * [backup-simplify]: Simplify 0 into 0 3.269 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 3.270 * [backup-simplify]: Simplify (+ 0 0.25) into 0.25 3.270 * [taylor]: Taking taylor expansion of 0.25 in y 3.270 * [backup-simplify]: Simplify 0.25 into 0.25 3.270 * [backup-simplify]: Simplify 0.25 into 0.25 3.270 * [backup-simplify]: Simplify (- 0) into 0 3.270 * [taylor]: Taking taylor expansion of 0 in y 3.270 * [backup-simplify]: Simplify 0 into 0 3.270 * [backup-simplify]: Simplify 0 into 0 3.270 * [backup-simplify]: Simplify 1 into 1 3.270 * [backup-simplify]: Simplify (- 1) into -1 3.270 * [backup-simplify]: Simplify -1 into -1 3.271 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (- y)) (* 1 (/ 1 (/ 1 (- z)))))) (+ (* 1 (* (/ 1 (- y)) (* (/ 1 (/ 1 (- x))) 1))) 0.25)) into (- (+ (/ x y) 0.25) (/ z y)) 3.271 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 3.271 * [backup-simplify]: Simplify (/ (- z x) y) into (/ (- z x) y) 3.271 * [approximate]: Taking taylor expansion of (/ (- z x) y) in (z x y) around 0 3.271 * [taylor]: Taking taylor expansion of (/ (- z x) y) in y 3.271 * [taylor]: Taking taylor expansion of (- z x) in y 3.271 * [taylor]: Taking taylor expansion of z in y 3.271 * [backup-simplify]: Simplify z into z 3.271 * [taylor]: Taking taylor expansion of x in y 3.271 * [backup-simplify]: Simplify x into x 3.271 * [taylor]: Taking taylor expansion of y in y 3.271 * [backup-simplify]: Simplify 0 into 0 3.271 * [backup-simplify]: Simplify 1 into 1 3.271 * [backup-simplify]: Simplify (- x) into (- x) 3.271 * [backup-simplify]: Simplify (+ z (- x)) into (- z x) 3.271 * [backup-simplify]: Simplify (/ (- z x) 1) into (- z x) 3.271 * [taylor]: Taking taylor expansion of (/ (- z x) y) in x 3.271 * [taylor]: Taking taylor expansion of (- z x) in x 3.271 * [taylor]: Taking taylor expansion of z in x 3.271 * [backup-simplify]: Simplify z into z 3.271 * [taylor]: Taking taylor expansion of x in x 3.271 * [backup-simplify]: Simplify 0 into 0 3.271 * [backup-simplify]: Simplify 1 into 1 3.271 * [taylor]: Taking taylor expansion of y in x 3.271 * [backup-simplify]: Simplify y into y 3.271 * [backup-simplify]: Simplify (- 0) into 0 3.271 * [backup-simplify]: Simplify (+ z 0) into z 3.271 * [backup-simplify]: Simplify (/ z y) into (/ z y) 3.271 * [taylor]: Taking taylor expansion of (/ (- z x) y) in z 3.271 * [taylor]: Taking taylor expansion of (- z x) in z 3.271 * [taylor]: Taking taylor expansion of z in z 3.271 * [backup-simplify]: Simplify 0 into 0 3.271 * [backup-simplify]: Simplify 1 into 1 3.271 * [taylor]: Taking taylor expansion of x in z 3.271 * [backup-simplify]: Simplify x into x 3.272 * [taylor]: Taking taylor expansion of y in z 3.272 * [backup-simplify]: Simplify y into y 3.272 * [backup-simplify]: Simplify (- x) into (- x) 3.272 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 3.272 * [backup-simplify]: Simplify (/ (- x) y) into (* -1 (/ x y)) 3.272 * [taylor]: Taking taylor expansion of (/ (- z x) y) in z 3.272 * [taylor]: Taking taylor expansion of (- z x) in z 3.272 * [taylor]: Taking taylor expansion of z in z 3.272 * [backup-simplify]: Simplify 0 into 0 3.272 * [backup-simplify]: Simplify 1 into 1 3.272 * [taylor]: Taking taylor expansion of x in z 3.272 * [backup-simplify]: Simplify x into x 3.272 * [taylor]: Taking taylor expansion of y in z 3.272 * [backup-simplify]: Simplify y into y 3.272 * [backup-simplify]: Simplify (- x) into (- x) 3.272 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 3.272 * [backup-simplify]: Simplify (/ (- x) y) into (* -1 (/ x y)) 3.272 * [taylor]: Taking taylor expansion of (* -1 (/ x y)) in x 3.272 * [taylor]: Taking taylor expansion of -1 in x 3.272 * [backup-simplify]: Simplify -1 into -1 3.272 * [taylor]: Taking taylor expansion of (/ x y) in x 3.272 * [taylor]: Taking taylor expansion of x in x 3.272 * [backup-simplify]: Simplify 0 into 0 3.272 * [backup-simplify]: Simplify 1 into 1 3.272 * [taylor]: Taking taylor expansion of y in x 3.272 * [backup-simplify]: Simplify y into y 3.272 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.273 * [backup-simplify]: Simplify (- 0) into 0 3.273 * [backup-simplify]: Simplify (+ 1 0) into 1 3.273 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* (* -1 (/ x y)) (/ 0 y)))) into (/ 1 y) 3.273 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.273 * [taylor]: Taking taylor expansion of y in x 3.273 * [backup-simplify]: Simplify y into y 3.273 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.273 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.273 * [taylor]: Taking taylor expansion of y in y 3.273 * [backup-simplify]: Simplify 0 into 0 3.273 * [backup-simplify]: Simplify 1 into 1 3.274 * [backup-simplify]: Simplify (/ 1 1) into 1 3.274 * [backup-simplify]: Simplify 1 into 1 3.274 * [backup-simplify]: Simplify (* -1 (/ 1 y)) into (/ -1 y) 3.274 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.274 * [taylor]: Taking taylor expansion of -1 in y 3.274 * [backup-simplify]: Simplify -1 into -1 3.274 * [taylor]: Taking taylor expansion of y in y 3.274 * [backup-simplify]: Simplify 0 into 0 3.274 * [backup-simplify]: Simplify 1 into 1 3.274 * [backup-simplify]: Simplify (/ -1 1) into -1 3.274 * [backup-simplify]: Simplify -1 into -1 3.274 * [backup-simplify]: Simplify (- 0) into 0 3.275 * [backup-simplify]: Simplify (+ 0 0) into 0 3.275 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* -1 (/ x y)) (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0 3.275 * [taylor]: Taking taylor expansion of 0 in x 3.275 * [backup-simplify]: Simplify 0 into 0 3.275 * [taylor]: Taking taylor expansion of 0 in y 3.275 * [backup-simplify]: Simplify 0 into 0 3.275 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.275 * [taylor]: Taking taylor expansion of 0 in y 3.275 * [backup-simplify]: Simplify 0 into 0 3.275 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0 3.276 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 y))) into 0 3.276 * [taylor]: Taking taylor expansion of 0 in y 3.276 * [backup-simplify]: Simplify 0 into 0 3.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.276 * [backup-simplify]: Simplify 0 into 0 3.277 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.277 * [backup-simplify]: Simplify 0 into 0 3.277 * [backup-simplify]: Simplify (- 0) into 0 3.277 * [backup-simplify]: Simplify (+ 0 0) into 0 3.277 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* -1 (/ x y)) (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.277 * [taylor]: Taking taylor expansion of 0 in x 3.277 * [backup-simplify]: Simplify 0 into 0 3.277 * [taylor]: Taking taylor expansion of 0 in y 3.277 * [backup-simplify]: Simplify 0 into 0 3.277 * [taylor]: Taking taylor expansion of 0 in y 3.277 * [backup-simplify]: Simplify 0 into 0 3.278 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.278 * [taylor]: Taking taylor expansion of 0 in y 3.278 * [backup-simplify]: Simplify 0 into 0 3.278 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.278 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 3.278 * [taylor]: Taking taylor expansion of 0 in y 3.278 * [backup-simplify]: Simplify 0 into 0 3.278 * [backup-simplify]: Simplify 0 into 0 3.278 * [backup-simplify]: Simplify 0 into 0 3.278 * [backup-simplify]: Simplify 0 into 0 3.279 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.279 * [backup-simplify]: Simplify 0 into 0 3.279 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 y) (* x 1))) (* 1 (* (/ 1 y) (* 1 z)))) into (- (/ z y) (/ x y)) 3.279 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) (/ 1 y)) into (* y (- (/ 1 z) (/ 1 x))) 3.279 * [approximate]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in (z x y) around 0 3.279 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y 3.279 * [taylor]: Taking taylor expansion of y in y 3.279 * [backup-simplify]: Simplify 0 into 0 3.279 * [backup-simplify]: Simplify 1 into 1 3.279 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 3.279 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.279 * [taylor]: Taking taylor expansion of z in y 3.279 * [backup-simplify]: Simplify z into z 3.279 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.279 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.279 * [taylor]: Taking taylor expansion of x in y 3.279 * [backup-simplify]: Simplify x into x 3.279 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.279 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x 3.279 * [taylor]: Taking taylor expansion of y in x 3.279 * [backup-simplify]: Simplify y into y 3.279 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 3.279 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.279 * [taylor]: Taking taylor expansion of z in x 3.280 * [backup-simplify]: Simplify z into z 3.280 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.280 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.280 * [taylor]: Taking taylor expansion of x in x 3.280 * [backup-simplify]: Simplify 0 into 0 3.280 * [backup-simplify]: Simplify 1 into 1 3.280 * [backup-simplify]: Simplify (/ 1 1) into 1 3.280 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z 3.280 * [taylor]: Taking taylor expansion of y in z 3.280 * [backup-simplify]: Simplify y into y 3.280 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 3.280 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.280 * [taylor]: Taking taylor expansion of z in z 3.280 * [backup-simplify]: Simplify 0 into 0 3.280 * [backup-simplify]: Simplify 1 into 1 3.280 * [backup-simplify]: Simplify (/ 1 1) into 1 3.280 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.280 * [taylor]: Taking taylor expansion of x in z 3.280 * [backup-simplify]: Simplify x into x 3.280 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.280 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z 3.280 * [taylor]: Taking taylor expansion of y in z 3.280 * [backup-simplify]: Simplify y into y 3.280 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 3.280 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.280 * [taylor]: Taking taylor expansion of z in z 3.280 * [backup-simplify]: Simplify 0 into 0 3.280 * [backup-simplify]: Simplify 1 into 1 3.281 * [backup-simplify]: Simplify (/ 1 1) into 1 3.281 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.281 * [taylor]: Taking taylor expansion of x in z 3.281 * [backup-simplify]: Simplify x into x 3.281 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.281 * [backup-simplify]: Simplify (+ 1 0) into 1 3.281 * [backup-simplify]: Simplify (* y 1) into y 3.281 * [taylor]: Taking taylor expansion of y in x 3.281 * [backup-simplify]: Simplify y into y 3.282 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.282 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 3.282 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 3.282 * [backup-simplify]: Simplify (+ (* y (- (/ 1 x))) (* 0 1)) into (- (/ y x)) 3.282 * [taylor]: Taking taylor expansion of (- (/ y x)) in x 3.282 * [taylor]: Taking taylor expansion of (/ y x) in x 3.282 * [taylor]: Taking taylor expansion of y in x 3.282 * [backup-simplify]: Simplify y into y 3.282 * [taylor]: Taking taylor expansion of x in x 3.282 * [backup-simplify]: Simplify 0 into 0 3.282 * [backup-simplify]: Simplify 1 into 1 3.282 * [backup-simplify]: Simplify (/ y 1) into y 3.282 * [backup-simplify]: Simplify (- y) into (- y) 3.282 * [taylor]: Taking taylor expansion of (- y) in y 3.282 * [taylor]: Taking taylor expansion of y in y 3.282 * [backup-simplify]: Simplify 0 into 0 3.282 * [backup-simplify]: Simplify 1 into 1 3.282 * [backup-simplify]: Simplify (- 0) into 0 3.283 * [backup-simplify]: Simplify 0 into 0 3.283 * [taylor]: Taking taylor expansion of y in y 3.283 * [backup-simplify]: Simplify 0 into 0 3.283 * [backup-simplify]: Simplify 1 into 1 3.283 * [backup-simplify]: Simplify 0 into 0 3.283 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.283 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.283 * [backup-simplify]: Simplify (- 0) into 0 3.284 * [backup-simplify]: Simplify (+ 0 0) into 0 3.284 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (- (/ 1 x))) (* 0 1))) into 0 3.284 * [taylor]: Taking taylor expansion of 0 in x 3.284 * [backup-simplify]: Simplify 0 into 0 3.285 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 3.288 * [backup-simplify]: Simplify (- 0) into 0 3.288 * [taylor]: Taking taylor expansion of 0 in y 3.288 * [backup-simplify]: Simplify 0 into 0 3.288 * [backup-simplify]: Simplify 0 into 0 3.288 * [taylor]: Taking taylor expansion of 0 in y 3.288 * [backup-simplify]: Simplify 0 into 0 3.288 * [backup-simplify]: Simplify 0 into 0 3.288 * [backup-simplify]: Simplify (- 1) into -1 3.288 * [backup-simplify]: Simplify -1 into -1 3.288 * [backup-simplify]: Simplify 1 into 1 3.289 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.289 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.289 * [backup-simplify]: Simplify (- 0) into 0 3.289 * [backup-simplify]: Simplify (+ 0 0) into 0 3.290 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (- (/ 1 x))) (* 0 1)))) into 0 3.290 * [taylor]: Taking taylor expansion of 0 in x 3.290 * [backup-simplify]: Simplify 0 into 0 3.290 * [taylor]: Taking taylor expansion of 0 in y 3.290 * [backup-simplify]: Simplify 0 into 0 3.290 * [backup-simplify]: Simplify 0 into 0 3.291 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.291 * [backup-simplify]: Simplify (- 0) into 0 3.291 * [taylor]: Taking taylor expansion of 0 in y 3.291 * [backup-simplify]: Simplify 0 into 0 3.291 * [backup-simplify]: Simplify 0 into 0 3.291 * [taylor]: Taking taylor expansion of 0 in y 3.291 * [backup-simplify]: Simplify 0 into 0 3.291 * [backup-simplify]: Simplify 0 into 0 3.291 * [backup-simplify]: Simplify 0 into 0 3.291 * [backup-simplify]: Simplify 0 into 0 3.292 * [backup-simplify]: Simplify (- 0) into 0 3.292 * [backup-simplify]: Simplify 0 into 0 3.292 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 y) (* 1 (/ 1 (/ 1 z))))) (* -1 (* (/ 1 y) (* (/ 1 (/ 1 x)) 1)))) into (- (/ z y) (/ x y)) 3.292 * [backup-simplify]: Simplify (/ (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- y))) into (* -1 (* y (- (/ 1 x) (/ 1 z)))) 3.292 * [approximate]: Taking taylor expansion of (* -1 (* y (- (/ 1 x) (/ 1 z)))) in (z x y) around 0 3.292 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 x) (/ 1 z)))) in y 3.292 * [taylor]: Taking taylor expansion of -1 in y 3.292 * [backup-simplify]: Simplify -1 into -1 3.292 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in y 3.292 * [taylor]: Taking taylor expansion of y in y 3.292 * [backup-simplify]: Simplify 0 into 0 3.292 * [backup-simplify]: Simplify 1 into 1 3.292 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 3.292 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.292 * [taylor]: Taking taylor expansion of x in y 3.292 * [backup-simplify]: Simplify x into x 3.292 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.292 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.292 * [taylor]: Taking taylor expansion of z in y 3.292 * [backup-simplify]: Simplify z into z 3.292 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.292 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 x) (/ 1 z)))) in x 3.292 * [taylor]: Taking taylor expansion of -1 in x 3.292 * [backup-simplify]: Simplify -1 into -1 3.292 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x 3.292 * [taylor]: Taking taylor expansion of y in x 3.292 * [backup-simplify]: Simplify y into y 3.292 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 3.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.292 * [taylor]: Taking taylor expansion of x in x 3.292 * [backup-simplify]: Simplify 0 into 0 3.292 * [backup-simplify]: Simplify 1 into 1 3.293 * [backup-simplify]: Simplify (/ 1 1) into 1 3.293 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.293 * [taylor]: Taking taylor expansion of z in x 3.293 * [backup-simplify]: Simplify z into z 3.293 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.293 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 x) (/ 1 z)))) in z 3.293 * [taylor]: Taking taylor expansion of -1 in z 3.293 * [backup-simplify]: Simplify -1 into -1 3.293 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in z 3.293 * [taylor]: Taking taylor expansion of y in z 3.293 * [backup-simplify]: Simplify y into y 3.293 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 3.293 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.293 * [taylor]: Taking taylor expansion of x in z 3.293 * [backup-simplify]: Simplify x into x 3.293 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.293 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.293 * [taylor]: Taking taylor expansion of z in z 3.293 * [backup-simplify]: Simplify 0 into 0 3.293 * [backup-simplify]: Simplify 1 into 1 3.293 * [backup-simplify]: Simplify (/ 1 1) into 1 3.293 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 x) (/ 1 z)))) in z 3.293 * [taylor]: Taking taylor expansion of -1 in z 3.293 * [backup-simplify]: Simplify -1 into -1 3.293 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in z 3.293 * [taylor]: Taking taylor expansion of y in z 3.293 * [backup-simplify]: Simplify y into y 3.293 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 3.293 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.293 * [taylor]: Taking taylor expansion of x in z 3.293 * [backup-simplify]: Simplify x into x 3.294 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.294 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.294 * [taylor]: Taking taylor expansion of z in z 3.294 * [backup-simplify]: Simplify 0 into 0 3.294 * [backup-simplify]: Simplify 1 into 1 3.294 * [backup-simplify]: Simplify (/ 1 1) into 1 3.294 * [backup-simplify]: Simplify (- 1) into -1 3.294 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.294 * [backup-simplify]: Simplify (* y -1) into (* -1 y) 3.294 * [backup-simplify]: Simplify (* -1 (* -1 y)) into y 3.294 * [taylor]: Taking taylor expansion of y in x 3.294 * [backup-simplify]: Simplify y into y 3.295 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.295 * [backup-simplify]: Simplify (- 0) into 0 3.295 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 3.295 * [backup-simplify]: Simplify (+ (* y (/ 1 x)) (* 0 -1)) into (/ y x) 3.296 * [backup-simplify]: Simplify (+ (* -1 (/ y x)) (* 0 (* -1 y))) into (- (/ y x)) 3.296 * [taylor]: Taking taylor expansion of (- (/ y x)) in x 3.296 * [taylor]: Taking taylor expansion of (/ y x) in x 3.296 * [taylor]: Taking taylor expansion of y in x 3.296 * [backup-simplify]: Simplify y into y 3.296 * [taylor]: Taking taylor expansion of x in x 3.296 * [backup-simplify]: Simplify 0 into 0 3.296 * [backup-simplify]: Simplify 1 into 1 3.296 * [backup-simplify]: Simplify (/ y 1) into y 3.296 * [backup-simplify]: Simplify (- y) into (- y) 3.296 * [taylor]: Taking taylor expansion of (- y) in y 3.296 * [taylor]: Taking taylor expansion of y in y 3.296 * [backup-simplify]: Simplify 0 into 0 3.296 * [backup-simplify]: Simplify 1 into 1 3.296 * [backup-simplify]: Simplify (- 0) into 0 3.296 * [backup-simplify]: Simplify 0 into 0 3.296 * [taylor]: Taking taylor expansion of y in y 3.296 * [backup-simplify]: Simplify 0 into 0 3.296 * [backup-simplify]: Simplify 1 into 1 3.296 * [backup-simplify]: Simplify 0 into 0 3.296 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.297 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.297 * [backup-simplify]: Simplify (- 0) into 0 3.297 * [backup-simplify]: Simplify (+ 0 0) into 0 3.298 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (/ 1 x)) (* 0 -1))) into 0 3.298 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ y x)) (* 0 (* -1 y)))) into 0 3.298 * [taylor]: Taking taylor expansion of 0 in x 3.298 * [backup-simplify]: Simplify 0 into 0 3.298 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 3.299 * [backup-simplify]: Simplify (- 0) into 0 3.299 * [taylor]: Taking taylor expansion of 0 in y 3.299 * [backup-simplify]: Simplify 0 into 0 3.299 * [backup-simplify]: Simplify 0 into 0 3.299 * [taylor]: Taking taylor expansion of 0 in y 3.299 * [backup-simplify]: Simplify 0 into 0 3.299 * [backup-simplify]: Simplify 0 into 0 3.299 * [backup-simplify]: Simplify (- 1) into -1 3.299 * [backup-simplify]: Simplify -1 into -1 3.299 * [backup-simplify]: Simplify 1 into 1 3.299 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.300 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.300 * [backup-simplify]: Simplify (- 0) into 0 3.300 * [backup-simplify]: Simplify (+ 0 0) into 0 3.301 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (/ 1 x)) (* 0 -1)))) into 0 3.301 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ y x)) (* 0 (* -1 y))))) into 0 3.301 * [taylor]: Taking taylor expansion of 0 in x 3.301 * [backup-simplify]: Simplify 0 into 0 3.301 * [taylor]: Taking taylor expansion of 0 in y 3.301 * [backup-simplify]: Simplify 0 into 0 3.301 * [backup-simplify]: Simplify 0 into 0 3.302 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.302 * [backup-simplify]: Simplify (- 0) into 0 3.302 * [taylor]: Taking taylor expansion of 0 in y 3.302 * [backup-simplify]: Simplify 0 into 0 3.302 * [backup-simplify]: Simplify 0 into 0 3.302 * [taylor]: Taking taylor expansion of 0 in y 3.302 * [backup-simplify]: Simplify 0 into 0 3.302 * [backup-simplify]: Simplify 0 into 0 3.302 * [backup-simplify]: Simplify 0 into 0 3.303 * [backup-simplify]: Simplify 0 into 0 3.303 * [backup-simplify]: Simplify (- 0) into 0 3.303 * [backup-simplify]: Simplify 0 into 0 3.303 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- y)) (* 1 (/ 1 (/ 1 (- z)))))) (* -1 (* (/ 1 (- y)) (* (/ 1 (/ 1 (- x))) 1)))) into (- (/ z y) (/ x y)) 3.303 * * * [progress]: simplifying candidates 3.305 * [simplify]: Simplifying: (fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (* (cbrt (/ (- z x) y)) (* (cbrt (/ (- z x) y)) (cbrt (/ (- z x) y)))))) (fma (- (cbrt (/ (- z x) y))) (* (cbrt (/ (- z x) y)) (cbrt (/ (- z x) y))) (* (cbrt (/ (- z x) y)) (* (cbrt (/ (- z x) y)) (cbrt (/ (- z x) y))))) (fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (* (sqrt (/ (- z x) y)) (sqrt (/ (- z x) y))))) (fma (- (sqrt (/ (- z x) y))) (sqrt (/ (- z x) y)) (* (sqrt (/ (- z x) y)) (sqrt (/ (- z x) y)))) (fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (* (/ (cbrt (- z x)) (cbrt y)) (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt y) (cbrt y)))))) (fma (- (/ (cbrt (- z x)) (cbrt y))) (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt y) (cbrt y))) (* (/ (cbrt (- z x)) (cbrt y)) (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt y) (cbrt y))))) (fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (* (/ (cbrt (- z x)) (sqrt y)) (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt y))))) (fma (- (/ (cbrt (- z x)) (sqrt y))) (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt y)) (* (/ (cbrt (- z x)) (sqrt y)) (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt y)))) (fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (* (/ (cbrt (- z x)) y) (/ (* (cbrt (- z x)) (cbrt (- z x))) 1)))) (fma (- (/ (cbrt (- z x)) y)) (/ (* (cbrt (- z x)) (cbrt (- z x))) 1) (* (/ (cbrt (- z x)) y) (/ (* (cbrt (- z x)) (cbrt (- z x))) 1))) (fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (* (/ (sqrt (- z x)) (cbrt y)) (/ (sqrt (- z x)) (* (cbrt y) (cbrt y)))))) (fma (- (/ (sqrt (- z x)) (cbrt y))) (/ (sqrt (- z x)) (* (cbrt y) (cbrt y))) (* (/ (sqrt (- z x)) (cbrt y)) (/ (sqrt (- z x)) (* (cbrt y) (cbrt y))))) (fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (* (/ (sqrt (- z x)) (sqrt y)) (/ (sqrt (- z x)) (sqrt y))))) (fma (- (/ (sqrt (- z x)) (sqrt y))) (/ (sqrt (- z x)) (sqrt y)) (* (/ (sqrt (- z x)) (sqrt y)) (/ (sqrt (- z x)) (sqrt y)))) (fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (* (/ (sqrt (- z x)) y) (/ (sqrt (- z x)) 1)))) (fma (- (/ (sqrt (- z x)) y)) (/ (sqrt (- z x)) 1) (* (/ (sqrt (- z x)) y) (/ (sqrt (- z x)) 1))) (fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (* (/ (- z x) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y)))))) (fma (- (/ (- z x) (cbrt y))) (/ 1 (* (cbrt y) (cbrt y))) (* (/ (- z x) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))))) (fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (* (/ (- z x) (sqrt y)) (/ 1 (sqrt y))))) (fma (- (/ (- z x) (sqrt y))) (/ 1 (sqrt y)) (* (/ (- z x) (sqrt y)) (/ 1 (sqrt y)))) (fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (* (/ (- z x) y) (/ 1 1)))) (fma (- (/ (- z x) y)) (/ 1 1) (* (/ (- z x) y) (/ 1 1))) (fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (* (/ (- (sqrt z) (sqrt x)) (cbrt y)) (/ (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y)))))) (fma (- (/ (- (sqrt z) (sqrt x)) (cbrt y))) (/ (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y))) (* (/ (- (sqrt z) (sqrt x)) (cbrt y)) (/ (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y))))) (fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (* (/ (- (sqrt z) (sqrt x)) (sqrt y)) (/ (+ (sqrt z) (sqrt x)) (sqrt y))))) (fma (- (/ (- (sqrt z) (sqrt x)) (sqrt y))) (/ (+ (sqrt z) (sqrt x)) (sqrt y)) (* (/ (- (sqrt z) (sqrt x)) (sqrt y)) (/ (+ (sqrt z) (sqrt x)) (sqrt y)))) (fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (* (/ (- (sqrt z) (sqrt x)) y) (/ (+ (sqrt z) (sqrt x)) 1)))) (fma (- (/ (- (sqrt z) (sqrt x)) y)) (/ (+ (sqrt z) (sqrt x)) 1) (* (/ (- (sqrt z) (sqrt x)) y) (/ (+ (sqrt z) (sqrt x)) 1))) (fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (* (/ (- z x) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y)))))) (fma (- (/ (- z x) (cbrt y))) (/ 1 (* (cbrt y) (cbrt y))) (* (/ (- z x) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))))) (fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (* (/ (- z x) (sqrt y)) (/ 1 (sqrt y))))) (fma (- (/ (- z x) (sqrt y))) (/ 1 (sqrt y)) (* (/ (- z x) (sqrt y)) (/ 1 (sqrt y)))) (fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (* (/ (- z x) y) (/ 1 1)))) (fma (- (/ (- z x) y)) (/ 1 1) (* (/ (- z x) y) (/ 1 1))) (fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (* (/ (- z x) y) 1))) (fma (- (/ (- z x) y)) 1 (* (/ (- z x) y) 1)) (fma (* (cbrt 0.25) (cbrt 0.25)) (cbrt 0.25) (- (* (/ 1 y) (- z x)))) (fma (- (/ 1 y)) (- z x) (* (/ 1 y) (- z x))) (fma (sqrt 0.25) (sqrt 0.25) (- (* (cbrt (/ (- z x) y)) (* (cbrt (/ (- z x) y)) (cbrt (/ (- z x) y)))))) (fma (- (cbrt (/ (- z x) y))) (* (cbrt (/ (- z x) y)) (cbrt (/ (- z x) y))) (* (cbrt (/ (- z x) y)) (* (cbrt (/ (- z x) y)) (cbrt (/ (- z x) y))))) (fma (sqrt 0.25) (sqrt 0.25) (- (* (sqrt (/ (- z x) y)) (sqrt (/ (- z x) y))))) (fma (- (sqrt (/ (- z x) y))) (sqrt (/ (- z x) y)) (* (sqrt (/ (- z x) y)) (sqrt (/ (- z x) y)))) (fma (sqrt 0.25) (sqrt 0.25) (- (* (/ (cbrt (- z x)) (cbrt y)) (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt y) (cbrt y)))))) (fma (- (/ (cbrt (- z x)) (cbrt y))) (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt y) (cbrt y))) (* (/ (cbrt (- z x)) (cbrt y)) (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt y) (cbrt y))))) (fma (sqrt 0.25) (sqrt 0.25) (- (* (/ (cbrt (- z x)) (sqrt y)) (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt y))))) (fma (- (/ (cbrt (- z x)) (sqrt y))) (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt y)) (* (/ (cbrt (- z x)) (sqrt y)) (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt y)))) (fma (sqrt 0.25) (sqrt 0.25) (- (* (/ (cbrt (- z x)) y) (/ (* (cbrt (- z x)) (cbrt (- z x))) 1)))) (fma (- (/ (cbrt (- z x)) y)) (/ (* (cbrt (- z x)) (cbrt (- z x))) 1) (* (/ (cbrt (- z x)) y) (/ (* (cbrt (- z x)) (cbrt (- z x))) 1))) (fma (sqrt 0.25) (sqrt 0.25) (- (* (/ (sqrt (- z x)) (cbrt y)) (/ (sqrt (- z x)) (* (cbrt y) (cbrt y)))))) (fma (- (/ (sqrt (- z x)) (cbrt y))) (/ (sqrt (- z x)) (* (cbrt y) (cbrt y))) (* (/ (sqrt (- z x)) (cbrt y)) (/ (sqrt (- z x)) (* (cbrt y) (cbrt y))))) (fma (sqrt 0.25) (sqrt 0.25) (- (* (/ (sqrt (- z x)) (sqrt y)) (/ (sqrt (- z x)) (sqrt y))))) (fma (- (/ (sqrt (- z x)) (sqrt y))) (/ (sqrt (- z x)) (sqrt y)) (* (/ (sqrt (- z x)) (sqrt y)) (/ (sqrt (- z x)) (sqrt y)))) (fma (sqrt 0.25) (sqrt 0.25) (- (* (/ (sqrt (- z x)) y) (/ (sqrt (- z x)) 1)))) (fma (- (/ (sqrt (- z x)) y)) (/ (sqrt (- z x)) 1) (* (/ (sqrt (- z x)) y) (/ (sqrt (- z x)) 1))) (fma (sqrt 0.25) (sqrt 0.25) (- (* (/ (- z x) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y)))))) (fma (- (/ (- z x) (cbrt y))) (/ 1 (* (cbrt y) (cbrt y))) (* (/ (- z x) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))))) (fma (sqrt 0.25) (sqrt 0.25) (- (* (/ (- z x) (sqrt y)) (/ 1 (sqrt y))))) (fma (- (/ (- z x) (sqrt y))) (/ 1 (sqrt y)) (* (/ (- z x) (sqrt y)) (/ 1 (sqrt y)))) (fma (sqrt 0.25) (sqrt 0.25) (- (* (/ (- z x) y) (/ 1 1)))) (fma (- (/ (- z x) y)) (/ 1 1) (* (/ (- z x) y) (/ 1 1))) (fma (sqrt 0.25) (sqrt 0.25) (- (* (/ (- (sqrt z) (sqrt x)) (cbrt y)) (/ (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y)))))) (fma (- (/ (- (sqrt z) (sqrt x)) (cbrt y))) (/ (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y))) (* (/ (- (sqrt z) (sqrt x)) (cbrt y)) (/ (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y))))) (fma (sqrt 0.25) (sqrt 0.25) (- (* (/ (- (sqrt z) (sqrt x)) (sqrt y)) (/ (+ (sqrt z) (sqrt x)) (sqrt y))))) (fma (- (/ (- (sqrt z) (sqrt x)) (sqrt y))) (/ (+ (sqrt z) (sqrt x)) (sqrt y)) (* (/ (- (sqrt z) (sqrt x)) (sqrt y)) (/ (+ (sqrt z) (sqrt x)) (sqrt y)))) (fma (sqrt 0.25) (sqrt 0.25) (- (* (/ (- (sqrt z) (sqrt x)) y) (/ (+ (sqrt z) (sqrt x)) 1)))) (fma (- (/ (- (sqrt z) (sqrt x)) y)) (/ (+ (sqrt z) (sqrt x)) 1) (* (/ (- (sqrt z) (sqrt x)) y) (/ (+ (sqrt z) (sqrt x)) 1))) (fma (sqrt 0.25) (sqrt 0.25) (- (* (/ (- z x) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y)))))) (fma (- (/ (- z x) (cbrt y))) (/ 1 (* (cbrt y) (cbrt y))) (* (/ (- z x) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))))) (fma (sqrt 0.25) (sqrt 0.25) (- (* (/ (- z x) (sqrt y)) (/ 1 (sqrt y))))) (fma (- (/ (- z x) (sqrt y))) (/ 1 (sqrt y)) (* (/ (- z x) (sqrt y)) (/ 1 (sqrt y)))) (fma (sqrt 0.25) (sqrt 0.25) (- (* (/ (- z x) y) (/ 1 1)))) (fma (- (/ (- z x) y)) (/ 1 1) (* (/ (- z x) y) (/ 1 1))) (fma (sqrt 0.25) (sqrt 0.25) (- (* (/ (- z x) y) 1))) (fma (- (/ (- z x) y)) 1 (* (/ (- z x) y) 1)) (fma (sqrt 0.25) (sqrt 0.25) (- (* (/ 1 y) (- z x)))) (fma (- (/ 1 y)) (- z x) (* (/ 1 y) (- z x))) (fma 1 0.25 (- (* (cbrt (/ (- z x) y)) (* (cbrt (/ (- z x) y)) (cbrt (/ (- z x) y)))))) (fma (- (cbrt (/ (- z x) y))) (* (cbrt (/ (- z x) y)) (cbrt (/ (- z x) y))) (* (cbrt (/ (- z x) y)) (* (cbrt (/ (- z x) y)) (cbrt (/ (- z x) y))))) (fma 1 0.25 (- (* (sqrt (/ (- z x) y)) (sqrt (/ (- z x) y))))) (fma (- (sqrt (/ (- z x) y))) (sqrt (/ (- z x) y)) (* (sqrt (/ (- z x) y)) (sqrt (/ (- z x) y)))) (fma 1 0.25 (- (* (/ (cbrt (- z x)) (cbrt y)) (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt y) (cbrt y)))))) (fma (- (/ (cbrt (- z x)) (cbrt y))) (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt y) (cbrt y))) (* (/ (cbrt (- z x)) (cbrt y)) (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt y) (cbrt y))))) (fma 1 0.25 (- (* (/ (cbrt (- z x)) (sqrt y)) (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt y))))) (fma (- (/ (cbrt (- z x)) (sqrt y))) (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt y)) (* (/ (cbrt (- z x)) (sqrt y)) (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt y)))) (fma 1 0.25 (- (* (/ (cbrt (- z x)) y) (/ (* (cbrt (- z x)) (cbrt (- z x))) 1)))) (fma (- (/ (cbrt (- z x)) y)) (/ (* (cbrt (- z x)) (cbrt (- z x))) 1) (* (/ (cbrt (- z x)) y) (/ (* (cbrt (- z x)) (cbrt (- z x))) 1))) (fma 1 0.25 (- (* (/ (sqrt (- z x)) (cbrt y)) (/ (sqrt (- z x)) (* (cbrt y) (cbrt y)))))) (fma (- (/ (sqrt (- z x)) (cbrt y))) (/ (sqrt (- z x)) (* (cbrt y) (cbrt y))) (* (/ (sqrt (- z x)) (cbrt y)) (/ (sqrt (- z x)) (* (cbrt y) (cbrt y))))) (fma 1 0.25 (- (* (/ (sqrt (- z x)) (sqrt y)) (/ (sqrt (- z x)) (sqrt y))))) (fma (- (/ (sqrt (- z x)) (sqrt y))) (/ (sqrt (- z x)) (sqrt y)) (* (/ (sqrt (- z x)) (sqrt y)) (/ (sqrt (- z x)) (sqrt y)))) (fma 1 0.25 (- (* (/ (sqrt (- z x)) y) (/ (sqrt (- z x)) 1)))) (fma (- (/ (sqrt (- z x)) y)) (/ (sqrt (- z x)) 1) (* (/ (sqrt (- z x)) y) (/ (sqrt (- z x)) 1))) (fma 1 0.25 (- (* (/ (- z x) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y)))))) (fma (- (/ (- z x) (cbrt y))) (/ 1 (* (cbrt y) (cbrt y))) (* (/ (- z x) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))))) (fma 1 0.25 (- (* (/ (- z x) (sqrt y)) (/ 1 (sqrt y))))) (fma (- (/ (- z x) (sqrt y))) (/ 1 (sqrt y)) (* (/ (- z x) (sqrt y)) (/ 1 (sqrt y)))) (fma 1 0.25 (- (* (/ (- z x) y) (/ 1 1)))) (fma (- (/ (- z x) y)) (/ 1 1) (* (/ (- z x) y) (/ 1 1))) (fma 1 0.25 (- (* (/ (- (sqrt z) (sqrt x)) (cbrt y)) (/ (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y)))))) (fma (- (/ (- (sqrt z) (sqrt x)) (cbrt y))) (/ (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y))) (* (/ (- (sqrt z) (sqrt x)) (cbrt y)) (/ (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y))))) (fma 1 0.25 (- (* (/ (- (sqrt z) (sqrt x)) (sqrt y)) (/ (+ (sqrt z) (sqrt x)) (sqrt y))))) (fma (- (/ (- (sqrt z) (sqrt x)) (sqrt y))) (/ (+ (sqrt z) (sqrt x)) (sqrt y)) (* (/ (- (sqrt z) (sqrt x)) (sqrt y)) (/ (+ (sqrt z) (sqrt x)) (sqrt y)))) (fma 1 0.25 (- (* (/ (- (sqrt z) (sqrt x)) y) (/ (+ (sqrt z) (sqrt x)) 1)))) (fma (- (/ (- (sqrt z) (sqrt x)) y)) (/ (+ (sqrt z) (sqrt x)) 1) (* (/ (- (sqrt z) (sqrt x)) y) (/ (+ (sqrt z) (sqrt x)) 1))) (fma 1 0.25 (- (* (/ (- z x) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y)))))) (fma (- (/ (- z x) (cbrt y))) (/ 1 (* (cbrt y) (cbrt y))) (* (/ (- z x) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y))))) (fma 1 0.25 (- (* (/ (- z x) (sqrt y)) (/ 1 (sqrt y))))) (fma (- (/ (- z x) (sqrt y))) (/ 1 (sqrt y)) (* (/ (- z x) (sqrt y)) (/ 1 (sqrt y)))) (fma 1 0.25 (- (* (/ (- z x) y) (/ 1 1)))) (fma (- (/ (- z x) y)) (/ 1 1) (* (/ (- z x) y) (/ 1 1))) (fma 1 0.25 (- (* (/ (- z x) y) 1))) (fma (- (/ (- z x) y)) 1 (* (/ (- z x) y) 1)) (fma 1 0.25 (- (* (/ 1 y) (- z x)))) (fma (- (/ 1 y)) (- z x) (* (/ 1 y) (- z x))) (expm1 (- 0.25 (/ (- z x) y))) (log1p (- 0.25 (/ (- z x) y))) (- (/ (- z x) y)) (- (/ (- z x) y)) (- (/ (- z x) y)) (/ (exp 0.25) (exp (/ (- z x) y))) (log (- 0.25 (/ (- z x) y))) (exp (- 0.25 (/ (- z x) y))) (* (cbrt (- 0.25 (/ (- z x) y))) (cbrt (- 0.25 (/ (- z x) y)))) (cbrt (- 0.25 (/ (- z x) y))) (* (* (- 0.25 (/ (- z x) y)) (- 0.25 (/ (- z x) y))) (- 0.25 (/ (- z x) y))) (sqrt (- 0.25 (/ (- z x) y))) (sqrt (- 0.25 (/ (- z x) y))) (- (pow 0.25 3) (pow (/ (- z x) y) 3)) (+ (* 0.25 0.25) (+ (* (/ (- z x) y) (/ (- z x) y)) (* 0.25 (/ (- z x) y)))) (- (/ (- z x) y)) (- (* 0.25 0.25) (* (/ (- z x) y) (/ (- z x) y))) (+ 0.25 (/ (- z x) y)) (+ (sqrt 0.25) (sqrt (/ (- z x) y))) (- (sqrt 0.25) (sqrt (/ (- z x) y))) (+ (sqrt 0.25) (/ (sqrt (- z x)) (sqrt y))) (- (sqrt 0.25) (/ (sqrt (- z x)) (sqrt y))) (- 0.25 (/ (- z x) y)) (- 0.25 (/ z y)) (- (/ (- z x) y)) (expm1 (/ (- z x) y)) (log1p (/ (- z x) y)) (- (log (- z x)) (log y)) (log (/ (- z x) y)) (exp (/ (- z x) y)) (/ (* (* (- z x) (- z x)) (- z x)) (* (* y y) y)) (* (cbrt (/ (- z x) y)) (cbrt (/ (- z x) y))) (cbrt (/ (- z x) y)) (* (* (/ (- z x) y) (/ (- z x) y)) (/ (- z x) y)) (sqrt (/ (- z x) y)) (sqrt (/ (- z x) y)) (- (- z x)) (- y) (/ z y) (/ x y) (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt y) (cbrt y))) (/ (cbrt (- z x)) (cbrt y)) (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt y)) (/ (cbrt (- z x)) (sqrt y)) (/ (* (cbrt (- z x)) (cbrt (- z x))) 1) (/ (cbrt (- z x)) y) (/ (sqrt (- z x)) (* (cbrt y) (cbrt y))) (/ (sqrt (- z x)) (cbrt y)) (/ (sqrt (- z x)) (sqrt y)) (/ (sqrt (- z x)) (sqrt y)) (/ (sqrt (- z x)) 1) (/ (sqrt (- z x)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- z x) (cbrt y)) (/ 1 (sqrt y)) (/ (- z x) (sqrt y)) (/ 1 1) (/ (- z x) y) (/ (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y))) (/ (- (sqrt z) (sqrt x)) (cbrt y)) (/ (+ (sqrt z) (sqrt x)) (sqrt y)) (/ (- (sqrt z) (sqrt x)) (sqrt y)) (/ (+ (sqrt z) (sqrt x)) 1) (/ (- (sqrt z) (sqrt x)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- z x) (cbrt y)) (/ 1 (sqrt y)) (/ (- z x) (sqrt y)) (/ 1 1) (/ (- z x) y) (/ 1 y) (/ y (- z x)) (/ (- z x) (* (cbrt y) (cbrt y))) (/ (- z x) (sqrt y)) (/ (- z x) 1) (/ y (cbrt (- z x))) (/ y (sqrt (- z x))) (/ y (- z x)) (/ y (- (sqrt z) (sqrt x))) (/ y (- z x)) (* y (+ (* z z) (+ (* x x) (* z x)))) (* y (+ z x)) (- (+ (/ x y) 0.25) (/ z y)) (- (+ (/ x y) 0.25) (/ z y)) (- (+ (/ x y) 0.25) (/ z y)) (- (/ z y) (/ x y)) (- (/ z y) (/ x y)) (- (/ z y) (/ x y)) 3.311 * * [simplify]: Extracting # 0 : cost 0 3.312 * * [simplify]: Extracting # 1 : cost 0 3.312 * * [simplify]: Extracting # 2 : cost 0 3.312 * * [simplify]: Extracting # 3 : cost 0 3.313 * * [simplify]: Extracting # 4 : cost 0 3.313 * * [simplify]: Extracting # 5 : cost 0 3.314 * * [simplify]: Extracting # 6 : cost 0 3.314 * * [simplify]: Extracting # 7 : cost 0 3.314 * * [simplify]: iteration 0 : 219 enodes (cost 3568 ) 3.355 * * [simplify]: Extracting # 0 : cost 0 3.355 * * [simplify]: Extracting # 1 : cost 0 3.356 * * [simplify]: Extracting # 2 : cost 0 3.357 * * [simplify]: Extracting # 3 : cost 0 3.358 * * [simplify]: Extracting # 4 : cost 0 3.358 * * [simplify]: iteration 1 : 564 enodes (cost 3222 ) 3.561 * * [simplify]: Extracting # 0 : cost 0 3.569 * * [simplify]: Extracting # 1 : cost 0 3.572 * * [simplify]: Extracting # 2 : cost 0 3.574 * * [simplify]: Extracting # 3 : cost 0 3.577 * * [simplify]: iteration 2 : 2410 enodes (cost 2418 ) 5.449 * * [simplify]: Extracting # 0 : cost 0 5.475 * * [simplify]: Extracting # 1 : cost 0 5.480 * * [simplify]: Extracting # 2 : cost 0 5.484 * * [simplify]: Extracting # 3 : cost 0 5.489 * * [simplify]: Extracting # 4 : cost 0 5.493 * * [simplify]: Extracting # 5 : cost 0 5.498 * * [simplify]: iteration done: 5000 enodes (cost 1927 ) 5.499 * [simplify]: Simplified to: (- (pow (cbrt 0.25) 3) (/ (- z x) y)) 0 (- (pow (cbrt 0.25) 3) (/ (- z x) y)) 0 (- (pow (cbrt 0.25) 3) (/ (- z x) (pow (cbrt y) 3))) (+ (/ (- z x) (pow (cbrt y) 3)) (- (/ (- z x) (pow (cbrt y) 3)))) (- (pow (cbrt 0.25) 3) (/ (/ (- z x) (sqrt y)) (sqrt y))) (* (/ (- z x) (sqrt y)) (+ (/ -1 (sqrt y)) (/ 1 (sqrt y)))) (- (pow (cbrt 0.25) 3) (/ (- z x) y)) 0 (- (pow (cbrt 0.25) 3) (/ (- z x) (pow (cbrt y) 3))) (+ (/ (- z x) (pow (cbrt y) 3)) (- (/ (- z x) (pow (cbrt y) 3)))) (- (pow (cbrt 0.25) 3) (/ (/ (- z x) (sqrt y)) (sqrt y))) (* (/ (- z x) (sqrt y)) (+ (/ -1 (sqrt y)) (/ 1 (sqrt y)))) (- (pow (cbrt 0.25) 3) (/ (- z x) y)) 0 (- (pow (cbrt 0.25) 3) (/ (- z x) (pow (cbrt y) 3))) (+ (/ (- z x) (pow (cbrt y) 3)) (- (/ (- z x) (pow (cbrt y) 3)))) (- (pow (cbrt 0.25) 3) (/ (/ (- z x) (sqrt y)) (sqrt y))) (* (/ (- z x) (sqrt y)) (+ (/ -1 (sqrt y)) (/ 1 (sqrt y)))) (- (pow (cbrt 0.25) 3) (/ (- z x) y)) 0 (fma (/ (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y))) (- (/ (- (sqrt z) (sqrt x)) (cbrt y))) (pow (cbrt 0.25) 3)) (* (/ (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y))) (+ (- (/ (- (sqrt z) (sqrt x)) (cbrt y))) (/ (- (sqrt z) (sqrt x)) (cbrt y)))) (fma (/ (- (sqrt z) (sqrt x)) (sqrt y)) (- (/ (+ (sqrt z) (sqrt x)) (sqrt y))) (pow (cbrt 0.25) 3)) (* (/ (+ (sqrt z) (sqrt x)) (sqrt y)) (+ (- (/ (- (sqrt z) (sqrt x)) (sqrt y))) (/ (- (sqrt z) (sqrt x)) (sqrt y)))) (- (pow (cbrt 0.25) 3) (* (/ (- (sqrt z) (sqrt x)) y) (+ (sqrt z) (sqrt x)))) (* (/ (- (sqrt z) (sqrt x)) y) (+ (- (+ (sqrt z) (sqrt x))) (+ (sqrt z) (sqrt x)))) (- (pow (cbrt 0.25) 3) (/ (- z x) (pow (cbrt y) 3))) (+ (/ (- z x) (pow (cbrt y) 3)) (- (/ (- z x) (pow (cbrt y) 3)))) (- (pow (cbrt 0.25) 3) (/ (/ (- z x) (sqrt y)) (sqrt y))) (* (/ (- z x) (sqrt y)) (+ (/ -1 (sqrt y)) (/ 1 (sqrt y)))) (- (pow (cbrt 0.25) 3) (/ (- z x) y)) 0 (- (pow (cbrt 0.25) 3) (/ (- z x) y)) 0 (- (pow (cbrt 0.25) 3) (/ (- z x) y)) 0 (- 0.25 (/ (- z x) y)) 0 (- 0.25 (/ (- z x) y)) 0 (- 0.25 (/ (- z x) (pow (cbrt y) 3))) (+ (/ (- z x) (pow (cbrt y) 3)) (- (/ (- z x) (pow (cbrt y) 3)))) (- 0.25 (/ (/ (- z x) (sqrt y)) (sqrt y))) (* (/ (- z x) (sqrt y)) (+ (/ -1 (sqrt y)) (/ 1 (sqrt y)))) (- 0.25 (/ (- z x) y)) 0 (- 0.25 (/ (- z x) (pow (cbrt y) 3))) (+ (/ (- z x) (pow (cbrt y) 3)) (- (/ (- z x) (pow (cbrt y) 3)))) (- 0.25 (/ (/ (- z x) (sqrt y)) (sqrt y))) (* (/ (- z x) (sqrt y)) (+ (/ -1 (sqrt y)) (/ 1 (sqrt y)))) (- 0.25 (/ (- z x) y)) 0 (- 0.25 (/ (- z x) (pow (cbrt y) 3))) (+ (/ (- z x) (pow (cbrt y) 3)) (- (/ (- z x) (pow (cbrt y) 3)))) (- 0.25 (/ (/ (- z x) (sqrt y)) (sqrt y))) (* (/ (- z x) (sqrt y)) (+ (/ -1 (sqrt y)) (/ 1 (sqrt y)))) (- 0.25 (/ (- z x) y)) 0 (- 0.25 (* (/ (- (sqrt z) (sqrt x)) (cbrt y)) (/ (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y))))) (* (/ (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y))) (+ (- (/ (- (sqrt z) (sqrt x)) (cbrt y))) (/ (- (sqrt z) (sqrt x)) (cbrt y)))) (- 0.25 (* (/ (- (sqrt z) (sqrt x)) (sqrt y)) (/ (+ (sqrt z) (sqrt x)) (sqrt y)))) (* (/ (+ (sqrt z) (sqrt x)) (sqrt y)) (+ (- (/ (- (sqrt z) (sqrt x)) (sqrt y))) (/ (- (sqrt z) (sqrt x)) (sqrt y)))) (- 0.25 (* (/ (- (sqrt z) (sqrt x)) y) (+ (sqrt z) (sqrt x)))) (* (/ (- (sqrt z) (sqrt x)) y) (+ (- (+ (sqrt z) (sqrt x))) (+ (sqrt z) (sqrt x)))) (- 0.25 (/ (- z x) (pow (cbrt y) 3))) (+ (/ (- z x) (pow (cbrt y) 3)) (- (/ (- z x) (pow (cbrt y) 3)))) (- 0.25 (/ (/ (- z x) (sqrt y)) (sqrt y))) (* (/ (- z x) (sqrt y)) (+ (/ -1 (sqrt y)) (/ 1 (sqrt y)))) (- 0.25 (/ (- z x) y)) 0 (- 0.25 (/ (- z x) y)) 0 (- 0.25 (/ (- z x) y)) 0 (- 0.25 (/ (- z x) y)) 0 (- 0.25 (/ (- z x) y)) 0 (- 0.25 (/ (- z x) (pow (cbrt y) 3))) (+ (/ (- z x) (pow (cbrt y) 3)) (- (/ (- z x) (pow (cbrt y) 3)))) (- 0.25 (/ (/ (- z x) (sqrt y)) (sqrt y))) (* (/ (- z x) (sqrt y)) (+ (/ -1 (sqrt y)) (/ 1 (sqrt y)))) (- 0.25 (/ (- z x) y)) 0 (- 0.25 (/ (- z x) (pow (cbrt y) 3))) (+ (/ (- z x) (pow (cbrt y) 3)) (- (/ (- z x) (pow (cbrt y) 3)))) (- 0.25 (/ (/ (- z x) (sqrt y)) (sqrt y))) (* (/ (- z x) (sqrt y)) (+ (/ -1 (sqrt y)) (/ 1 (sqrt y)))) (- 0.25 (/ (- z x) y)) 0 (- 0.25 (/ (- z x) (pow (cbrt y) 3))) (+ (/ (- z x) (pow (cbrt y) 3)) (- (/ (- z x) (pow (cbrt y) 3)))) (- 0.25 (/ (/ (- z x) (sqrt y)) (sqrt y))) (* (/ (- z x) (sqrt y)) (+ (/ -1 (sqrt y)) (/ 1 (sqrt y)))) (- 0.25 (/ (- z x) y)) 0 (- 0.25 (* (/ (- (sqrt z) (sqrt x)) (cbrt y)) (/ (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y))))) (* (/ (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y))) (+ (- (/ (- (sqrt z) (sqrt x)) (cbrt y))) (/ (- (sqrt z) (sqrt x)) (cbrt y)))) (- 0.25 (* (/ (- (sqrt z) (sqrt x)) (sqrt y)) (/ (+ (sqrt z) (sqrt x)) (sqrt y)))) (* (/ (+ (sqrt z) (sqrt x)) (sqrt y)) (+ (- (/ (- (sqrt z) (sqrt x)) (sqrt y))) (/ (- (sqrt z) (sqrt x)) (sqrt y)))) (- 0.25 (* (/ (- (sqrt z) (sqrt x)) y) (+ (sqrt z) (sqrt x)))) (* (/ (- (sqrt z) (sqrt x)) y) (+ (- (+ (sqrt z) (sqrt x))) (+ (sqrt z) (sqrt x)))) (- 0.25 (/ (- z x) (pow (cbrt y) 3))) (+ (/ (- z x) (pow (cbrt y) 3)) (- (/ (- z x) (pow (cbrt y) 3)))) (- 0.25 (/ (/ (- z x) (sqrt y)) (sqrt y))) (* (/ (- z x) (sqrt y)) (+ (/ -1 (sqrt y)) (/ 1 (sqrt y)))) (- 0.25 (/ (- z x) y)) 0 (- 0.25 (/ (- z x) y)) 0 (- 0.25 (/ (- z x) y)) 0 (expm1 (- 0.25 (/ (- z x) y))) (log1p (- 0.25 (/ (- z x) y))) (- (/ (- z x) y)) (- (/ (- z x) y)) (- (/ (- z x) y)) (exp (- 0.25 (/ (- z x) y))) (log (- 0.25 (/ (- z x) y))) (exp (- 0.25 (/ (- z x) y))) (* (cbrt (- 0.25 (/ (- z x) y))) (cbrt (- 0.25 (/ (- z x) y)))) (cbrt (- 0.25 (/ (- z x) y))) (pow (- 0.25 (/ (- z x) y)) 3) (sqrt (- 0.25 (/ (- z x) y))) (sqrt (- 0.25 (/ (- z x) y))) (- (pow 0.25 3) (pow (/ (- z x) y) 3)) (fma 0.25 0.25 (* (/ (- z x) y) (+ (/ (- z x) y) 0.25))) (- (/ (- z x) y)) (fma 0.25 0.25 (- (pow (cbrt (/ (- z x) y)) (* 2 3)))) (+ (/ (- z x) y) 0.25) (+ (sqrt 0.25) (sqrt (/ (- z x) y))) (- (sqrt 0.25) (sqrt (/ (- z x) y))) (+ (sqrt 0.25) (/ (sqrt (- z x)) (sqrt y))) (- (sqrt 0.25) (/ (sqrt (- z x)) (sqrt y))) (- 0.25 (/ (- z x) y)) (- 0.25 (/ z y)) (- (/ (- z x) y)) (expm1 (/ (- z x) y)) (log1p (/ (- z x) y)) (log (/ (- z x) y)) (log (/ (- z x) y)) (exp (/ (- z x) y)) (pow (/ (- z x) y) 3) (* (cbrt (/ (- z x) y)) (cbrt (/ (- z x) y))) (cbrt (/ (- z x) y)) (pow (/ (- z x) y) 3) (sqrt (/ (- z x) y)) (sqrt (/ (- z x) y)) (- (- z x)) (- y) (/ z y) (/ x y) (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt y) (cbrt y))) (/ (cbrt (- z x)) (cbrt y)) (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt y)) (/ (cbrt (- z x)) (sqrt y)) (* (cbrt (- z x)) (cbrt (- z x))) (/ (cbrt (- z x)) y) (/ (/ (sqrt (- z x)) (cbrt y)) (cbrt y)) (/ (sqrt (- z x)) (cbrt y)) (/ (sqrt (- z x)) (sqrt y)) (/ (sqrt (- z x)) (sqrt y)) (sqrt (- z x)) (/ (sqrt (- z x)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- z x) (cbrt y)) (/ 1 (sqrt y)) (/ (- z x) (sqrt y)) 1 (/ (- z x) y) (/ (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y))) (/ (- (sqrt z) (sqrt x)) (cbrt y)) (/ (+ (sqrt z) (sqrt x)) (sqrt y)) (/ (- (sqrt z) (sqrt x)) (sqrt y)) (+ (sqrt z) (sqrt x)) (/ (- (sqrt z) (sqrt x)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- z x) (cbrt y)) (/ 1 (sqrt y)) (/ (- z x) (sqrt y)) 1 (/ (- z x) y) (/ 1 y) (/ y (- z x)) (/ (- z x) (* (cbrt y) (cbrt y))) (/ (- z x) (sqrt y)) (- z x) (/ y (cbrt (- z x))) (/ y (sqrt (- z x))) (/ y (- z x)) (/ y (- (sqrt z) (sqrt x))) (/ y (- z x)) (* y (fma z z (* x (+ z x)))) (* y (+ z x)) (- (+ (/ x y) 0.25) (/ z y)) (- (+ (/ x y) 0.25) (/ z y)) (- (+ (/ x y) 0.25) (/ z y)) (/ (- z x) y) (/ (- z x) y) (/ (- z x) y) 5.500 * * * [progress]: adding candidates to table 5.733 * [progress]: [Phase 3 of 3] Extracting. 5.735 * [simplify]: Simplifying: (fma 4.0 (- 0.25 (/ (- z x) y)) 1.0) 5.735 * * [simplify]: Extracting # 0 : cost 0 5.735 * * [simplify]: Extracting # 1 : cost 0 5.735 * * [simplify]: Extracting # 2 : cost 0 5.735 * * [simplify]: Extracting # 3 : cost 0 5.735 * * [simplify]: Extracting # 4 : cost 0 5.735 * * [simplify]: Extracting # 5 : cost 0 5.735 * * [simplify]: Extracting # 6 : cost 0 5.736 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 5.736 * * [simplify]: Extracting # 0 : cost 0 5.736 * * [simplify]: iteration done: 10 enodes (cost 10 ) 5.736 * [simplify]: Simplified to: (fma 4.0 (- 0.25 (/ (- z x) y)) 1.0) 6.882 * [regime-testing]: Baseline error score: 0.01595011407684975 6.884 * [regime-testing]: Oracle error score: 0.01595011407684975 6.884 * [regime-testing]: End program error score: 0.01595011407684975