18.153 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.036 * * * [progress]: [2/2] Setting up program. 0.039 * [progress]: [Phase 2 of 3] Improving. 0.040 * [simplify]: Simplifying: (+ (* x y) (* (- 1.0 x) z)) 0.040 * * [simplify]: Extracting # 0 : cost 0 0.040 * * [simplify]: Extracting # 1 : cost 0 0.040 * * [simplify]: Extracting # 2 : cost 0 0.040 * * [simplify]: Extracting # 3 : cost 0 0.040 * * [simplify]: Extracting # 4 : cost 0 0.040 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.043 * * [simplify]: Extracting # 0 : cost 0 0.043 * * [simplify]: Extracting # 1 : cost 0 0.043 * * [simplify]: Extracting # 2 : cost 0 0.043 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.048 * * [simplify]: Extracting # 0 : cost 0 0.048 * * [simplify]: Extracting # 1 : cost 0 0.048 * * [simplify]: Extracting # 2 : cost 0 0.048 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 0.057 * * [simplify]: Extracting # 0 : cost 0 0.057 * * [simplify]: Extracting # 1 : cost 0 0.057 * * [simplify]: Extracting # 2 : cost 0 0.057 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 0.071 * * [simplify]: Extracting # 0 : cost 0 0.071 * * [simplify]: Extracting # 1 : cost 0 0.072 * * [simplify]: Extracting # 2 : cost 0 0.072 * * [simplify]: iteration 4 : 60 enodes (cost 8 ) 0.092 * * [simplify]: Extracting # 0 : cost 0 0.092 * * [simplify]: Extracting # 1 : cost 0 0.093 * * [simplify]: Extracting # 2 : cost 0 0.093 * * [simplify]: Extracting # 3 : cost 0 0.093 * * [simplify]: iteration 5 : 80 enodes (cost 8 ) 0.124 * * [simplify]: Extracting # 0 : cost 0 0.124 * * [simplify]: Extracting # 1 : cost 0 0.124 * * [simplify]: Extracting # 2 : cost 0 0.124 * * [simplify]: Extracting # 3 : cost 0 0.125 * * [simplify]: iteration 6 : 97 enodes (cost 8 ) 0.172 * * [simplify]: Extracting # 0 : cost 0 0.172 * * [simplify]: Extracting # 1 : cost 0 0.172 * * [simplify]: Extracting # 2 : cost 0 0.173 * * [simplify]: Extracting # 3 : cost 0 0.173 * * [simplify]: iteration 7 : 123 enodes (cost 8 ) 0.231 * * [simplify]: Extracting # 0 : cost 0 0.231 * * [simplify]: Extracting # 1 : cost 0 0.232 * * [simplify]: Extracting # 2 : cost 0 0.232 * * [simplify]: iteration 8 : 168 enodes (cost 8 ) 0.356 * * [simplify]: Extracting # 0 : cost 0 0.356 * * [simplify]: Extracting # 1 : cost 0 0.357 * * [simplify]: Extracting # 2 : cost 0 0.357 * * [simplify]: iteration 9 : 242 enodes (cost 8 ) 0.475 * * [simplify]: Extracting # 0 : cost 0 0.476 * * [simplify]: Extracting # 1 : cost 0 0.476 * * [simplify]: Extracting # 2 : cost 0 0.477 * * [simplify]: iteration 10 : 305 enodes (cost 8 ) 0.578 * * [simplify]: Extracting # 0 : cost 0 0.578 * * [simplify]: Extracting # 1 : cost 0 0.579 * * [simplify]: Extracting # 2 : cost 0 0.579 * * [simplify]: iteration 11 : 340 enodes (cost 8 ) 0.717 * * [simplify]: Extracting # 0 : cost 0 0.718 * * [simplify]: Extracting # 1 : cost 0 0.718 * * [simplify]: Extracting # 2 : cost 0 0.718 * * [simplify]: iteration 12 : 369 enodes (cost 8 ) 0.827 * * [simplify]: Extracting # 0 : cost 0 0.827 * * [simplify]: Extracting # 1 : cost 0 0.827 * * [simplify]: Extracting # 2 : cost 0 0.828 * * [simplify]: iteration 13 : 389 enodes (cost 8 ) 0.929 * * [simplify]: Extracting # 0 : cost 0 0.929 * * [simplify]: Extracting # 1 : cost 0 0.929 * * [simplify]: iteration 14 : 393 enodes (cost 8 ) 1.011 * * [simplify]: Extracting # 0 : cost 0 1.011 * * [simplify]: iteration done: 393 enodes (cost 8 ) 1.011 * [simplify]: Simplified to: (fma x y (* (- 1.0 x) z)) 1.016 * * [progress]: iteration 1 / 4 1.016 * * * [progress]: picking best candidate 1.018 * * * * [pick]: Picked # 1.018 * * * [progress]: localizing error 1.025 * * * [progress]: generating rewritten candidates 1.025 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3) 1.047 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 1.048 * * * [progress]: generating series expansions 1.048 * * * * [progress]: [ 1 / 2 ] generating series at (2 3) 1.048 * [backup-simplify]: Simplify (* (- 1.0 x) z) into (* z (- 1.0 x)) 1.048 * [approximate]: Taking taylor expansion of (* z (- 1.0 x)) in (x z) around 0 1.048 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in z 1.048 * [taylor]: Taking taylor expansion of z in z 1.048 * [backup-simplify]: Simplify 0 into 0 1.048 * [backup-simplify]: Simplify 1 into 1 1.048 * [taylor]: Taking taylor expansion of (- 1.0 x) in z 1.048 * [taylor]: Taking taylor expansion of 1.0 in z 1.048 * [backup-simplify]: Simplify 1.0 into 1.0 1.048 * [taylor]: Taking taylor expansion of x in z 1.048 * [backup-simplify]: Simplify x into x 1.048 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in x 1.048 * [taylor]: Taking taylor expansion of z in x 1.048 * [backup-simplify]: Simplify z into z 1.048 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 1.048 * [taylor]: Taking taylor expansion of 1.0 in x 1.048 * [backup-simplify]: Simplify 1.0 into 1.0 1.048 * [taylor]: Taking taylor expansion of x in x 1.048 * [backup-simplify]: Simplify 0 into 0 1.048 * [backup-simplify]: Simplify 1 into 1 1.048 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in x 1.048 * [taylor]: Taking taylor expansion of z in x 1.048 * [backup-simplify]: Simplify z into z 1.048 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 1.048 * [taylor]: Taking taylor expansion of 1.0 in x 1.048 * [backup-simplify]: Simplify 1.0 into 1.0 1.048 * [taylor]: Taking taylor expansion of x in x 1.048 * [backup-simplify]: Simplify 0 into 0 1.048 * [backup-simplify]: Simplify 1 into 1 1.049 * [backup-simplify]: Simplify (- 0) into 0 1.049 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 1.049 * [backup-simplify]: Simplify (* z 1.0) into (* 1.0 z) 1.049 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 1.049 * [taylor]: Taking taylor expansion of 1.0 in z 1.049 * [backup-simplify]: Simplify 1.0 into 1.0 1.049 * [taylor]: Taking taylor expansion of z in z 1.049 * [backup-simplify]: Simplify 0 into 0 1.049 * [backup-simplify]: Simplify 1 into 1 1.049 * [backup-simplify]: Simplify (* 1.0 0) into 0 1.049 * [backup-simplify]: Simplify 0 into 0 1.050 * [backup-simplify]: Simplify (- 1) into -1 1.050 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.050 * [backup-simplify]: Simplify (+ (* z -1) (* 0 1.0)) into (- z) 1.050 * [taylor]: Taking taylor expansion of (- z) in z 1.050 * [taylor]: Taking taylor expansion of z in z 1.050 * [backup-simplify]: Simplify 0 into 0 1.050 * [backup-simplify]: Simplify 1 into 1 1.051 * [backup-simplify]: Simplify (- 0) into 0 1.051 * [backup-simplify]: Simplify 0 into 0 1.051 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 1.052 * [backup-simplify]: Simplify 1.0 into 1.0 1.052 * [backup-simplify]: Simplify (- 0) into 0 1.052 * [backup-simplify]: Simplify (+ 0 0) into 0 1.052 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 -1) (* 0 1.0))) into 0 1.052 * [taylor]: Taking taylor expansion of 0 in z 1.052 * [backup-simplify]: Simplify 0 into 0 1.052 * [backup-simplify]: Simplify 0 into 0 1.053 * [backup-simplify]: Simplify (- 1) into -1 1.053 * [backup-simplify]: Simplify -1 into -1 1.053 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 1.053 * [backup-simplify]: Simplify 0 into 0 1.054 * [backup-simplify]: Simplify (- 0) into 0 1.054 * [backup-simplify]: Simplify (+ 0 0) into 0 1.054 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 -1) (* 0 1.0)))) into 0 1.054 * [taylor]: Taking taylor expansion of 0 in z 1.054 * [backup-simplify]: Simplify 0 into 0 1.054 * [backup-simplify]: Simplify 0 into 0 1.054 * [backup-simplify]: Simplify 0 into 0 1.055 * [backup-simplify]: Simplify (- 0) into 0 1.055 * [backup-simplify]: Simplify 0 into 0 1.055 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.055 * [backup-simplify]: Simplify 0 into 0 1.056 * [backup-simplify]: Simplify (- 0) into 0 1.056 * [backup-simplify]: Simplify (+ 0 0) into 0 1.056 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1) (* 0 1.0))))) into 0 1.056 * [taylor]: Taking taylor expansion of 0 in z 1.057 * [backup-simplify]: Simplify 0 into 0 1.057 * [backup-simplify]: Simplify 0 into 0 1.057 * [backup-simplify]: Simplify (+ (* -1 (* z x)) (* 1.0 (* z 1))) into (- (* 1.0 z) (* x z)) 1.057 * [backup-simplify]: Simplify (* (- 1.0 (/ 1 x)) (/ 1 z)) into (/ (- 1.0 (/ 1 x)) z) 1.057 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in (x z) around 0 1.057 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in z 1.057 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in z 1.057 * [taylor]: Taking taylor expansion of 1.0 in z 1.057 * [backup-simplify]: Simplify 1.0 into 1.0 1.057 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.057 * [taylor]: Taking taylor expansion of x in z 1.057 * [backup-simplify]: Simplify x into x 1.057 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.057 * [taylor]: Taking taylor expansion of z in z 1.057 * [backup-simplify]: Simplify 0 into 0 1.057 * [backup-simplify]: Simplify 1 into 1 1.057 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 1.057 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x)) 1.057 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 x)) 1) into (- 1.0 (/ 1 x)) 1.057 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in x 1.057 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 1.057 * [taylor]: Taking taylor expansion of 1.0 in x 1.057 * [backup-simplify]: Simplify 1.0 into 1.0 1.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.057 * [taylor]: Taking taylor expansion of x in x 1.057 * [backup-simplify]: Simplify 0 into 0 1.057 * [backup-simplify]: Simplify 1 into 1 1.058 * [backup-simplify]: Simplify (/ 1 1) into 1 1.058 * [taylor]: Taking taylor expansion of z in x 1.058 * [backup-simplify]: Simplify z into z 1.058 * [backup-simplify]: Simplify (- 1) into -1 1.058 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.058 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 1.058 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in x 1.058 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 1.058 * [taylor]: Taking taylor expansion of 1.0 in x 1.058 * [backup-simplify]: Simplify 1.0 into 1.0 1.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.058 * [taylor]: Taking taylor expansion of x in x 1.058 * [backup-simplify]: Simplify 0 into 0 1.058 * [backup-simplify]: Simplify 1 into 1 1.059 * [backup-simplify]: Simplify (/ 1 1) into 1 1.059 * [taylor]: Taking taylor expansion of z in x 1.059 * [backup-simplify]: Simplify z into z 1.059 * [backup-simplify]: Simplify (- 1) into -1 1.059 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.059 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 1.059 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.059 * [taylor]: Taking taylor expansion of -1 in z 1.059 * [backup-simplify]: Simplify -1 into -1 1.059 * [taylor]: Taking taylor expansion of z in z 1.059 * [backup-simplify]: Simplify 0 into 0 1.059 * [backup-simplify]: Simplify 1 into 1 1.060 * [backup-simplify]: Simplify (/ -1 1) into -1 1.060 * [backup-simplify]: Simplify -1 into -1 1.060 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.060 * [backup-simplify]: Simplify (- 0) into 0 1.060 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 1.061 * [backup-simplify]: Simplify (- (/ 1.0 z) (+ (* (/ -1 z) (/ 0 z)))) into (* 1.0 (/ 1 z)) 1.061 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 1.061 * [taylor]: Taking taylor expansion of 1.0 in z 1.061 * [backup-simplify]: Simplify 1.0 into 1.0 1.061 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.061 * [taylor]: Taking taylor expansion of z in z 1.061 * [backup-simplify]: Simplify 0 into 0 1.061 * [backup-simplify]: Simplify 1 into 1 1.061 * [backup-simplify]: Simplify (/ 1 1) into 1 1.061 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 1.061 * [backup-simplify]: Simplify 1.0 into 1.0 1.062 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1.062 * [backup-simplify]: Simplify 0 into 0 1.062 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.062 * [backup-simplify]: Simplify (- 0) into 0 1.063 * [backup-simplify]: Simplify (+ 0 0) into 0 1.063 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* (* 1.0 (/ 1 z)) (/ 0 z)))) into 0 1.063 * [taylor]: Taking taylor expansion of 0 in z 1.063 * [backup-simplify]: Simplify 0 into 0 1.063 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.064 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 1.064 * [backup-simplify]: Simplify 0 into 0 1.064 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.064 * [backup-simplify]: Simplify 0 into 0 1.065 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.065 * [backup-simplify]: Simplify (- 0) into 0 1.065 * [backup-simplify]: Simplify (+ 0 0) into 0 1.066 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* (* 1.0 (/ 1 z)) (/ 0 z)) (* 0 (/ 0 z)))) into 0 1.066 * [taylor]: Taking taylor expansion of 0 in z 1.066 * [backup-simplify]: Simplify 0 into 0 1.066 * [backup-simplify]: Simplify 0 into 0 1.066 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.067 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 1.067 * [backup-simplify]: Simplify 0 into 0 1.067 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.067 * [backup-simplify]: Simplify 0 into 0 1.067 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 (/ 1 z)) 1)) (* -1 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 x))))) into (- (* 1.0 z) (* x z)) 1.068 * [backup-simplify]: Simplify (* (- 1.0 (/ 1 (- x))) (/ 1 (- z))) into (* -1 (/ (+ (/ 1 x) 1.0) z)) 1.068 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in (x z) around 0 1.068 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in z 1.068 * [taylor]: Taking taylor expansion of -1 in z 1.068 * [backup-simplify]: Simplify -1 into -1 1.068 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in z 1.068 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in z 1.068 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.068 * [taylor]: Taking taylor expansion of x in z 1.068 * [backup-simplify]: Simplify x into x 1.068 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.068 * [taylor]: Taking taylor expansion of 1.0 in z 1.068 * [backup-simplify]: Simplify 1.0 into 1.0 1.068 * [taylor]: Taking taylor expansion of z in z 1.068 * [backup-simplify]: Simplify 0 into 0 1.068 * [backup-simplify]: Simplify 1 into 1 1.068 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ 1.0 (/ 1 x)) 1.068 * [backup-simplify]: Simplify (/ (+ 1.0 (/ 1 x)) 1) into (+ (/ 1 x) 1.0) 1.068 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in x 1.068 * [taylor]: Taking taylor expansion of -1 in x 1.068 * [backup-simplify]: Simplify -1 into -1 1.068 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in x 1.068 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 1.068 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.068 * [taylor]: Taking taylor expansion of x in x 1.068 * [backup-simplify]: Simplify 0 into 0 1.068 * [backup-simplify]: Simplify 1 into 1 1.068 * [backup-simplify]: Simplify (/ 1 1) into 1 1.068 * [taylor]: Taking taylor expansion of 1.0 in x 1.068 * [backup-simplify]: Simplify 1.0 into 1.0 1.068 * [taylor]: Taking taylor expansion of z in x 1.068 * [backup-simplify]: Simplify z into z 1.069 * [backup-simplify]: Simplify (+ 1 0) into 1 1.069 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.069 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in x 1.069 * [taylor]: Taking taylor expansion of -1 in x 1.069 * [backup-simplify]: Simplify -1 into -1 1.069 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in x 1.069 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 1.069 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.069 * [taylor]: Taking taylor expansion of x in x 1.069 * [backup-simplify]: Simplify 0 into 0 1.069 * [backup-simplify]: Simplify 1 into 1 1.069 * [backup-simplify]: Simplify (/ 1 1) into 1 1.069 * [taylor]: Taking taylor expansion of 1.0 in x 1.069 * [backup-simplify]: Simplify 1.0 into 1.0 1.069 * [taylor]: Taking taylor expansion of z in x 1.069 * [backup-simplify]: Simplify z into z 1.069 * [backup-simplify]: Simplify (+ 1 0) into 1 1.070 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.070 * [backup-simplify]: Simplify (* -1 (/ 1 z)) into (/ -1 z) 1.070 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.070 * [taylor]: Taking taylor expansion of -1 in z 1.070 * [backup-simplify]: Simplify -1 into -1 1.070 * [taylor]: Taking taylor expansion of z in z 1.070 * [backup-simplify]: Simplify 0 into 0 1.070 * [backup-simplify]: Simplify 1 into 1 1.070 * [backup-simplify]: Simplify (/ -1 1) into -1 1.070 * [backup-simplify]: Simplify -1 into -1 1.070 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.071 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 1.071 * [backup-simplify]: Simplify (- (/ 1.0 z) (+ (* (/ 1 z) (/ 0 z)))) into (* 1.0 (/ 1 z)) 1.071 * [backup-simplify]: Simplify (+ (* -1 (* 1.0 (/ 1 z))) (* 0 (/ 1 z))) into (- (* 1.0 (/ 1 z))) 1.071 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in z 1.071 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 1.071 * [taylor]: Taking taylor expansion of 1.0 in z 1.071 * [backup-simplify]: Simplify 1.0 into 1.0 1.071 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.071 * [taylor]: Taking taylor expansion of z in z 1.071 * [backup-simplify]: Simplify 0 into 0 1.071 * [backup-simplify]: Simplify 1 into 1 1.071 * [backup-simplify]: Simplify (/ 1 1) into 1 1.072 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 1.072 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.072 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.073 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1.073 * [backup-simplify]: Simplify 0 into 0 1.073 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.073 * [backup-simplify]: Simplify (+ 0 0) into 0 1.074 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* (* 1.0 (/ 1 z)) (/ 0 z)))) into 0 1.074 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (* 1.0 (/ 1 z))) (* 0 (/ 1 z)))) into 0 1.074 * [taylor]: Taking taylor expansion of 0 in z 1.074 * [backup-simplify]: Simplify 0 into 0 1.074 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.075 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 1.075 * [backup-simplify]: Simplify (- 0) into 0 1.075 * [backup-simplify]: Simplify 0 into 0 1.076 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.076 * [backup-simplify]: Simplify 0 into 0 1.076 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.076 * [backup-simplify]: Simplify (+ 0 0) into 0 1.077 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* (* 1.0 (/ 1 z)) (/ 0 z)) (* 0 (/ 0 z)))) into 0 1.077 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (* 1.0 (/ 1 z))) (* 0 (/ 1 z))))) into 0 1.077 * [taylor]: Taking taylor expansion of 0 in z 1.077 * [backup-simplify]: Simplify 0 into 0 1.077 * [backup-simplify]: Simplify 0 into 0 1.078 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.078 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 1.079 * [backup-simplify]: Simplify (- 0) into 0 1.079 * [backup-simplify]: Simplify 0 into 0 1.079 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.079 * [backup-simplify]: Simplify 0 into 0 1.080 * [backup-simplify]: Simplify (+ (* (- 1.0) (* (/ 1 (/ 1 (- z))) 1)) (* -1 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- x)))))) into (- (* 1.0 z) (* x z)) 1.080 * * * * [progress]: [ 2 / 2 ] generating series at (2) 1.080 * [backup-simplify]: Simplify (fma x y (* (- 1.0 x) z)) into (fma x y (* z (- 1.0 x))) 1.080 * [approximate]: Taking taylor expansion of (fma x y (* z (- 1.0 x))) in (x y z) around 0 1.080 * [taylor]: Taking taylor expansion of (fma x y (* z (- 1.0 x))) in z 1.080 * [taylor]: Rewrote expression to (+ (* x y) (* z (- 1.0 x))) 1.080 * [taylor]: Taking taylor expansion of (* x y) in z 1.080 * [taylor]: Taking taylor expansion of x in z 1.080 * [backup-simplify]: Simplify x into x 1.080 * [taylor]: Taking taylor expansion of y in z 1.080 * [backup-simplify]: Simplify y into y 1.080 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in z 1.080 * [taylor]: Taking taylor expansion of z in z 1.080 * [backup-simplify]: Simplify 0 into 0 1.080 * [backup-simplify]: Simplify 1 into 1 1.080 * [taylor]: Taking taylor expansion of (- 1.0 x) in z 1.080 * [taylor]: Taking taylor expansion of 1.0 in z 1.080 * [backup-simplify]: Simplify 1.0 into 1.0 1.080 * [taylor]: Taking taylor expansion of x in z 1.080 * [backup-simplify]: Simplify x into x 1.080 * [taylor]: Taking taylor expansion of (fma x y (* z (- 1.0 x))) in y 1.080 * [taylor]: Rewrote expression to (+ (* x y) (* z (- 1.0 x))) 1.080 * [taylor]: Taking taylor expansion of (* x y) in y 1.081 * [taylor]: Taking taylor expansion of x in y 1.081 * [backup-simplify]: Simplify x into x 1.081 * [taylor]: Taking taylor expansion of y in y 1.081 * [backup-simplify]: Simplify 0 into 0 1.081 * [backup-simplify]: Simplify 1 into 1 1.081 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in y 1.081 * [taylor]: Taking taylor expansion of z in y 1.081 * [backup-simplify]: Simplify z into z 1.081 * [taylor]: Taking taylor expansion of (- 1.0 x) in y 1.081 * [taylor]: Taking taylor expansion of 1.0 in y 1.081 * [backup-simplify]: Simplify 1.0 into 1.0 1.081 * [taylor]: Taking taylor expansion of x in y 1.081 * [backup-simplify]: Simplify x into x 1.081 * [taylor]: Taking taylor expansion of (fma x y (* z (- 1.0 x))) in x 1.081 * [taylor]: Rewrote expression to (+ (* x y) (* z (- 1.0 x))) 1.081 * [taylor]: Taking taylor expansion of (* x y) in x 1.081 * [taylor]: Taking taylor expansion of x in x 1.081 * [backup-simplify]: Simplify 0 into 0 1.081 * [backup-simplify]: Simplify 1 into 1 1.081 * [taylor]: Taking taylor expansion of y in x 1.081 * [backup-simplify]: Simplify y into y 1.081 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in x 1.081 * [taylor]: Taking taylor expansion of z in x 1.081 * [backup-simplify]: Simplify z into z 1.081 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 1.081 * [taylor]: Taking taylor expansion of 1.0 in x 1.081 * [backup-simplify]: Simplify 1.0 into 1.0 1.081 * [taylor]: Taking taylor expansion of x in x 1.081 * [backup-simplify]: Simplify 0 into 0 1.081 * [backup-simplify]: Simplify 1 into 1 1.081 * [taylor]: Taking taylor expansion of (fma x y (* z (- 1.0 x))) in x 1.081 * [taylor]: Rewrote expression to (+ (* x y) (* z (- 1.0 x))) 1.081 * [taylor]: Taking taylor expansion of (* x y) in x 1.081 * [taylor]: Taking taylor expansion of x in x 1.081 * [backup-simplify]: Simplify 0 into 0 1.081 * [backup-simplify]: Simplify 1 into 1 1.081 * [taylor]: Taking taylor expansion of y in x 1.081 * [backup-simplify]: Simplify y into y 1.081 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in x 1.081 * [taylor]: Taking taylor expansion of z in x 1.081 * [backup-simplify]: Simplify z into z 1.081 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 1.081 * [taylor]: Taking taylor expansion of 1.0 in x 1.081 * [backup-simplify]: Simplify 1.0 into 1.0 1.081 * [taylor]: Taking taylor expansion of x in x 1.081 * [backup-simplify]: Simplify 0 into 0 1.081 * [backup-simplify]: Simplify 1 into 1 1.081 * [backup-simplify]: Simplify (* 0 y) into 0 1.082 * [backup-simplify]: Simplify (- 0) into 0 1.082 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 1.082 * [backup-simplify]: Simplify (* z 1.0) into (* 1.0 z) 1.082 * [backup-simplify]: Simplify (+ 0 (* 1.0 z)) into (* 1.0 z) 1.082 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 1.082 * [taylor]: Taking taylor expansion of 1.0 in y 1.082 * [backup-simplify]: Simplify 1.0 into 1.0 1.082 * [taylor]: Taking taylor expansion of z in y 1.082 * [backup-simplify]: Simplify z into z 1.082 * [backup-simplify]: Simplify (* 1.0 z) into (* 1.0 z) 1.082 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 1.082 * [taylor]: Taking taylor expansion of 1.0 in z 1.082 * [backup-simplify]: Simplify 1.0 into 1.0 1.082 * [taylor]: Taking taylor expansion of z in z 1.082 * [backup-simplify]: Simplify 0 into 0 1.082 * [backup-simplify]: Simplify 1 into 1 1.083 * [backup-simplify]: Simplify (* 1.0 0) into 0 1.083 * [backup-simplify]: Simplify 0 into 0 1.083 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 1.084 * [backup-simplify]: Simplify (- 1) into -1 1.084 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.084 * [backup-simplify]: Simplify (+ (* z -1) (* 0 1.0)) into (- z) 1.084 * [backup-simplify]: Simplify (+ y (- z)) into (- y z) 1.084 * [taylor]: Taking taylor expansion of (- y z) in y 1.084 * [taylor]: Taking taylor expansion of y in y 1.084 * [backup-simplify]: Simplify 0 into 0 1.084 * [backup-simplify]: Simplify 1 into 1 1.084 * [taylor]: Taking taylor expansion of z in y 1.084 * [backup-simplify]: Simplify z into z 1.084 * [backup-simplify]: Simplify (- z) into (- z) 1.084 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 1.084 * [taylor]: Taking taylor expansion of (- z) in z 1.084 * [taylor]: Taking taylor expansion of z in z 1.084 * [backup-simplify]: Simplify 0 into 0 1.084 * [backup-simplify]: Simplify 1 into 1 1.085 * [backup-simplify]: Simplify (- 0) into 0 1.085 * [backup-simplify]: Simplify 0 into 0 1.085 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 z)) into 0 1.085 * [taylor]: Taking taylor expansion of 0 in z 1.085 * [backup-simplify]: Simplify 0 into 0 1.085 * [backup-simplify]: Simplify 0 into 0 1.086 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 1.086 * [backup-simplify]: Simplify 1.0 into 1.0 1.086 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 1.087 * [backup-simplify]: Simplify (- 0) into 0 1.087 * [backup-simplify]: Simplify (+ 0 0) into 0 1.087 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 -1) (* 0 1.0))) into 0 1.088 * [backup-simplify]: Simplify (+ 0 0) into 0 1.088 * [taylor]: Taking taylor expansion of 0 in y 1.088 * [backup-simplify]: Simplify 0 into 0 1.088 * [taylor]: Taking taylor expansion of 0 in z 1.088 * [backup-simplify]: Simplify 0 into 0 1.088 * [backup-simplify]: Simplify 0 into 0 1.088 * [backup-simplify]: Simplify (- 0) into 0 1.088 * [backup-simplify]: Simplify (+ 1 0) into 1 1.088 * [taylor]: Taking taylor expansion of 1 in z 1.088 * [backup-simplify]: Simplify 1 into 1 1.088 * [backup-simplify]: Simplify 1 into 1 1.089 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 z))) into 0 1.089 * [taylor]: Taking taylor expansion of 0 in z 1.089 * [backup-simplify]: Simplify 0 into 0 1.089 * [backup-simplify]: Simplify 0 into 0 1.089 * [backup-simplify]: Simplify (- 1) into -1 1.089 * [backup-simplify]: Simplify -1 into -1 1.094 * [backup-simplify]: Simplify (+ (* -1 (* z (* 1 x))) (+ (* 1 (* 1 (* y x))) (* 1.0 (* z (* 1 1))))) into (- (+ (* 1.0 z) (* x y)) (* x z)) 1.095 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (* (- 1.0 (/ 1 x)) (/ 1 z))) into (fma (/ 1 x) (/ 1 y) (/ (- 1.0 (/ 1 x)) z)) 1.095 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ (- 1.0 (/ 1 x)) z)) in (x y z) around 0 1.095 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ (- 1.0 (/ 1 x)) z)) in z 1.095 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ (- 1.0 (/ 1 x)) z)) 1.095 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in z 1.095 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.095 * [taylor]: Taking taylor expansion of x in z 1.095 * [backup-simplify]: Simplify x into x 1.095 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.095 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.095 * [taylor]: Taking taylor expansion of y in z 1.095 * [backup-simplify]: Simplify y into y 1.095 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.095 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in z 1.095 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in z 1.095 * [taylor]: Taking taylor expansion of 1.0 in z 1.095 * [backup-simplify]: Simplify 1.0 into 1.0 1.095 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.095 * [taylor]: Taking taylor expansion of x in z 1.095 * [backup-simplify]: Simplify x into x 1.095 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.095 * [taylor]: Taking taylor expansion of z in z 1.095 * [backup-simplify]: Simplify 0 into 0 1.095 * [backup-simplify]: Simplify 1 into 1 1.095 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 1.095 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x)) 1.096 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 x)) 1) into (- 1.0 (/ 1 x)) 1.096 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ (- 1.0 (/ 1 x)) z)) in y 1.096 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ (- 1.0 (/ 1 x)) z)) 1.096 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y 1.096 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.096 * [taylor]: Taking taylor expansion of x in y 1.096 * [backup-simplify]: Simplify x into x 1.096 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.096 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.096 * [taylor]: Taking taylor expansion of y in y 1.096 * [backup-simplify]: Simplify 0 into 0 1.096 * [backup-simplify]: Simplify 1 into 1 1.096 * [backup-simplify]: Simplify (/ 1 1) into 1 1.096 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in y 1.096 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 1.096 * [taylor]: Taking taylor expansion of 1.0 in y 1.096 * [backup-simplify]: Simplify 1.0 into 1.0 1.096 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.096 * [taylor]: Taking taylor expansion of x in y 1.097 * [backup-simplify]: Simplify x into x 1.097 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.097 * [taylor]: Taking taylor expansion of z in y 1.097 * [backup-simplify]: Simplify z into z 1.097 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 1.097 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x)) 1.097 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 x)) z) into (/ (- 1.0 (/ 1 x)) z) 1.097 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ (- 1.0 (/ 1 x)) z)) in x 1.097 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ (- 1.0 (/ 1 x)) z)) 1.097 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x 1.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.097 * [taylor]: Taking taylor expansion of x in x 1.097 * [backup-simplify]: Simplify 0 into 0 1.097 * [backup-simplify]: Simplify 1 into 1 1.097 * [backup-simplify]: Simplify (/ 1 1) into 1 1.097 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.097 * [taylor]: Taking taylor expansion of y in x 1.097 * [backup-simplify]: Simplify y into y 1.097 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.097 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in x 1.097 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 1.097 * [taylor]: Taking taylor expansion of 1.0 in x 1.097 * [backup-simplify]: Simplify 1.0 into 1.0 1.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.097 * [taylor]: Taking taylor expansion of x in x 1.097 * [backup-simplify]: Simplify 0 into 0 1.097 * [backup-simplify]: Simplify 1 into 1 1.098 * [backup-simplify]: Simplify (/ 1 1) into 1 1.098 * [taylor]: Taking taylor expansion of z in x 1.098 * [backup-simplify]: Simplify z into z 1.098 * [backup-simplify]: Simplify (- 1) into -1 1.098 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.098 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 1.098 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ (- 1.0 (/ 1 x)) z)) in x 1.098 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ (- 1.0 (/ 1 x)) z)) 1.098 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x 1.099 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.099 * [taylor]: Taking taylor expansion of x in x 1.099 * [backup-simplify]: Simplify 0 into 0 1.099 * [backup-simplify]: Simplify 1 into 1 1.099 * [backup-simplify]: Simplify (/ 1 1) into 1 1.099 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.099 * [taylor]: Taking taylor expansion of y in x 1.099 * [backup-simplify]: Simplify y into y 1.099 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.099 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in x 1.099 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 1.099 * [taylor]: Taking taylor expansion of 1.0 in x 1.099 * [backup-simplify]: Simplify 1.0 into 1.0 1.099 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.099 * [taylor]: Taking taylor expansion of x in x 1.099 * [backup-simplify]: Simplify 0 into 0 1.099 * [backup-simplify]: Simplify 1 into 1 1.099 * [backup-simplify]: Simplify (/ 1 1) into 1 1.099 * [taylor]: Taking taylor expansion of z in x 1.099 * [backup-simplify]: Simplify z into z 1.100 * [backup-simplify]: Simplify (- 1) into -1 1.100 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.100 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 1.100 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 1.100 * [backup-simplify]: Simplify (+ (/ 1 y) (/ -1 z)) into (- (/ 1 y) (/ 1 z)) 1.100 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 1.100 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.100 * [taylor]: Taking taylor expansion of y in y 1.100 * [backup-simplify]: Simplify 0 into 0 1.100 * [backup-simplify]: Simplify 1 into 1 1.100 * [backup-simplify]: Simplify (/ 1 1) into 1 1.100 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.100 * [taylor]: Taking taylor expansion of z in y 1.100 * [backup-simplify]: Simplify z into z 1.101 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.101 * [backup-simplify]: Simplify (+ 1 0) into 1 1.101 * [taylor]: Taking taylor expansion of 1 in z 1.101 * [backup-simplify]: Simplify 1 into 1 1.101 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1.101 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.102 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 y))) into 0 1.102 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.102 * [backup-simplify]: Simplify (- 0) into 0 1.103 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 1.103 * [backup-simplify]: Simplify (- (/ 1.0 z) (+ (* (/ -1 z) (/ 0 z)))) into (* 1.0 (/ 1 z)) 1.103 * [backup-simplify]: Simplify (+ 0 (* 1.0 (/ 1 z))) into (* 1.0 (/ 1 z)) 1.103 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 1.103 * [taylor]: Taking taylor expansion of 1.0 in y 1.103 * [backup-simplify]: Simplify 1.0 into 1.0 1.103 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.103 * [taylor]: Taking taylor expansion of z in y 1.103 * [backup-simplify]: Simplify z into z 1.103 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.104 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.104 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 1.104 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 1.104 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.104 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.104 * [taylor]: Taking taylor expansion of z in z 1.104 * [backup-simplify]: Simplify 0 into 0 1.104 * [backup-simplify]: Simplify 1 into 1 1.104 * [backup-simplify]: Simplify (/ 1 1) into 1 1.104 * [backup-simplify]: Simplify (- 1) into -1 1.104 * [backup-simplify]: Simplify -1 into -1 1.104 * [backup-simplify]: Simplify 1 into 1 1.104 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.105 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.105 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 1.106 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.106 * [backup-simplify]: Simplify (- 0) into 0 1.106 * [backup-simplify]: Simplify (+ 0 0) into 0 1.107 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* (* 1.0 (/ 1 z)) (/ 0 z)))) into 0 1.107 * [backup-simplify]: Simplify (+ 0 0) into 0 1.107 * [taylor]: Taking taylor expansion of 0 in y 1.107 * [backup-simplify]: Simplify 0 into 0 1.107 * [backup-simplify]: Simplify (* 1.0 (/ 1 z)) into (/ 1.0 z) 1.107 * [taylor]: Taking taylor expansion of (/ 1.0 z) in z 1.107 * [taylor]: Taking taylor expansion of 1.0 in z 1.107 * [backup-simplify]: Simplify 1.0 into 1.0 1.107 * [taylor]: Taking taylor expansion of z in z 1.107 * [backup-simplify]: Simplify 0 into 0 1.107 * [backup-simplify]: Simplify 1 into 1 1.107 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0 1.107 * [backup-simplify]: Simplify 1.0 into 1.0 1.108 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 (/ 1 z)) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 x))))))) into (- (+ (* 1.0 z) (* x y)) (* x z)) 1.108 * [backup-simplify]: Simplify (fma (/ 1 (- x)) (/ 1 (- y)) (* (- 1.0 (/ 1 (- x))) (/ 1 (- z)))) into (fma (/ -1 x) (/ -1 y) (* -1 (/ (+ (/ 1 x) 1.0) z))) 1.108 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (* -1 (/ (+ (/ 1 x) 1.0) z))) in (x y z) around 0 1.108 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (* -1 (/ (+ (/ 1 x) 1.0) z))) in z 1.108 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (* -1 (/ (+ (/ 1 x) 1.0) z))) 1.108 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in z 1.108 * [taylor]: Taking taylor expansion of (/ -1 x) in z 1.108 * [taylor]: Taking taylor expansion of -1 in z 1.108 * [backup-simplify]: Simplify -1 into -1 1.108 * [taylor]: Taking taylor expansion of x in z 1.108 * [backup-simplify]: Simplify x into x 1.108 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 1.108 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.108 * [taylor]: Taking taylor expansion of -1 in z 1.108 * [backup-simplify]: Simplify -1 into -1 1.108 * [taylor]: Taking taylor expansion of y in z 1.108 * [backup-simplify]: Simplify y into y 1.109 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 1.109 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in z 1.109 * [taylor]: Taking taylor expansion of -1 in z 1.109 * [backup-simplify]: Simplify -1 into -1 1.109 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in z 1.109 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in z 1.109 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.109 * [taylor]: Taking taylor expansion of x in z 1.109 * [backup-simplify]: Simplify x into x 1.109 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.109 * [taylor]: Taking taylor expansion of 1.0 in z 1.109 * [backup-simplify]: Simplify 1.0 into 1.0 1.109 * [taylor]: Taking taylor expansion of z in z 1.109 * [backup-simplify]: Simplify 0 into 0 1.109 * [backup-simplify]: Simplify 1 into 1 1.109 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ 1.0 (/ 1 x)) 1.109 * [backup-simplify]: Simplify (/ (+ 1.0 (/ 1 x)) 1) into (+ (/ 1 x) 1.0) 1.109 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (* -1 (/ (+ (/ 1 x) 1.0) z))) in y 1.109 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (* -1 (/ (+ (/ 1 x) 1.0) z))) 1.109 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y 1.109 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.109 * [taylor]: Taking taylor expansion of -1 in y 1.109 * [backup-simplify]: Simplify -1 into -1 1.109 * [taylor]: Taking taylor expansion of x in y 1.109 * [backup-simplify]: Simplify x into x 1.109 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 1.109 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.109 * [taylor]: Taking taylor expansion of -1 in y 1.109 * [backup-simplify]: Simplify -1 into -1 1.109 * [taylor]: Taking taylor expansion of y in y 1.109 * [backup-simplify]: Simplify 0 into 0 1.109 * [backup-simplify]: Simplify 1 into 1 1.110 * [backup-simplify]: Simplify (/ -1 1) into -1 1.110 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in y 1.110 * [taylor]: Taking taylor expansion of -1 in y 1.110 * [backup-simplify]: Simplify -1 into -1 1.110 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in y 1.110 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 1.110 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.110 * [taylor]: Taking taylor expansion of x in y 1.110 * [backup-simplify]: Simplify x into x 1.110 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.110 * [taylor]: Taking taylor expansion of 1.0 in y 1.110 * [backup-simplify]: Simplify 1.0 into 1.0 1.110 * [taylor]: Taking taylor expansion of z in y 1.110 * [backup-simplify]: Simplify z into z 1.110 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ 1.0 (/ 1 x)) 1.110 * [backup-simplify]: Simplify (/ (+ 1.0 (/ 1 x)) z) into (/ (+ (/ 1 x) 1.0) z) 1.110 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (* -1 (/ (+ (/ 1 x) 1.0) z))) in x 1.110 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (* -1 (/ (+ (/ 1 x) 1.0) z))) 1.110 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x 1.110 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.110 * [taylor]: Taking taylor expansion of -1 in x 1.110 * [backup-simplify]: Simplify -1 into -1 1.110 * [taylor]: Taking taylor expansion of x in x 1.110 * [backup-simplify]: Simplify 0 into 0 1.110 * [backup-simplify]: Simplify 1 into 1 1.110 * [backup-simplify]: Simplify (/ -1 1) into -1 1.110 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.110 * [taylor]: Taking taylor expansion of -1 in x 1.110 * [backup-simplify]: Simplify -1 into -1 1.111 * [taylor]: Taking taylor expansion of y in x 1.111 * [backup-simplify]: Simplify y into y 1.111 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 1.111 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in x 1.111 * [taylor]: Taking taylor expansion of -1 in x 1.111 * [backup-simplify]: Simplify -1 into -1 1.111 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in x 1.111 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 1.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.111 * [taylor]: Taking taylor expansion of x in x 1.111 * [backup-simplify]: Simplify 0 into 0 1.111 * [backup-simplify]: Simplify 1 into 1 1.111 * [backup-simplify]: Simplify (/ 1 1) into 1 1.111 * [taylor]: Taking taylor expansion of 1.0 in x 1.111 * [backup-simplify]: Simplify 1.0 into 1.0 1.111 * [taylor]: Taking taylor expansion of z in x 1.111 * [backup-simplify]: Simplify z into z 1.111 * [backup-simplify]: Simplify (+ 1 0) into 1 1.111 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.111 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (* -1 (/ (+ (/ 1 x) 1.0) z))) in x 1.111 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (* -1 (/ (+ (/ 1 x) 1.0) z))) 1.112 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x 1.112 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.112 * [taylor]: Taking taylor expansion of -1 in x 1.112 * [backup-simplify]: Simplify -1 into -1 1.112 * [taylor]: Taking taylor expansion of x in x 1.112 * [backup-simplify]: Simplify 0 into 0 1.112 * [backup-simplify]: Simplify 1 into 1 1.112 * [backup-simplify]: Simplify (/ -1 1) into -1 1.112 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.112 * [taylor]: Taking taylor expansion of -1 in x 1.112 * [backup-simplify]: Simplify -1 into -1 1.112 * [taylor]: Taking taylor expansion of y in x 1.112 * [backup-simplify]: Simplify y into y 1.112 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 1.112 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in x 1.112 * [taylor]: Taking taylor expansion of -1 in x 1.112 * [backup-simplify]: Simplify -1 into -1 1.112 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in x 1.112 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 1.112 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.112 * [taylor]: Taking taylor expansion of x in x 1.112 * [backup-simplify]: Simplify 0 into 0 1.112 * [backup-simplify]: Simplify 1 into 1 1.112 * [backup-simplify]: Simplify (/ 1 1) into 1 1.112 * [taylor]: Taking taylor expansion of 1.0 in x 1.112 * [backup-simplify]: Simplify 1.0 into 1.0 1.112 * [taylor]: Taking taylor expansion of z in x 1.112 * [backup-simplify]: Simplify z into z 1.113 * [backup-simplify]: Simplify (+ 1 0) into 1 1.113 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.113 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 1.113 * [backup-simplify]: Simplify (* -1 (/ 1 z)) into (/ -1 z) 1.113 * [backup-simplify]: Simplify (+ (/ 1 y) (/ -1 z)) into (- (/ 1 y) (/ 1 z)) 1.113 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 1.113 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.113 * [taylor]: Taking taylor expansion of y in y 1.113 * [backup-simplify]: Simplify 0 into 0 1.113 * [backup-simplify]: Simplify 1 into 1 1.113 * [backup-simplify]: Simplify (/ 1 1) into 1 1.113 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.113 * [taylor]: Taking taylor expansion of z in y 1.113 * [backup-simplify]: Simplify z into z 1.113 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.114 * [backup-simplify]: Simplify (+ 1 0) into 1 1.114 * [taylor]: Taking taylor expansion of 1 in z 1.114 * [backup-simplify]: Simplify 1 into 1 1.114 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 1.114 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1.115 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 y))) into 0 1.115 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.115 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 1.115 * [backup-simplify]: Simplify (- (/ 1.0 z) (+ (* (/ 1 z) (/ 0 z)))) into (* 1.0 (/ 1 z)) 1.116 * [backup-simplify]: Simplify (+ (* -1 (* 1.0 (/ 1 z))) (* 0 (/ 1 z))) into (- (* 1.0 (/ 1 z))) 1.116 * [backup-simplify]: Simplify (+ 0 (- (* 1.0 (/ 1 z)))) into (- (* 1.0 (/ 1 z))) 1.116 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in y 1.116 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 1.116 * [taylor]: Taking taylor expansion of 1.0 in y 1.116 * [backup-simplify]: Simplify 1.0 into 1.0 1.116 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.116 * [taylor]: Taking taylor expansion of z in y 1.116 * [backup-simplify]: Simplify z into z 1.116 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.116 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.116 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 1.116 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 1.116 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.116 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.116 * [taylor]: Taking taylor expansion of z in z 1.116 * [backup-simplify]: Simplify 0 into 0 1.116 * [backup-simplify]: Simplify 1 into 1 1.117 * [backup-simplify]: Simplify (/ 1 1) into 1 1.117 * [backup-simplify]: Simplify (- 1) into -1 1.117 * [backup-simplify]: Simplify -1 into -1 1.117 * [backup-simplify]: Simplify 1 into 1 1.117 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.118 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.118 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0 1.119 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.119 * [backup-simplify]: Simplify (+ 0 0) into 0 1.119 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* (* 1.0 (/ 1 z)) (/ 0 z)))) into 0 1.119 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (* 1.0 (/ 1 z))) (* 0 (/ 1 z)))) into 0 1.120 * [backup-simplify]: Simplify (+ 0 0) into 0 1.120 * [taylor]: Taking taylor expansion of 0 in y 1.120 * [backup-simplify]: Simplify 0 into 0 1.120 * [backup-simplify]: Simplify (* 1.0 (/ 1 z)) into (/ 1.0 z) 1.120 * [backup-simplify]: Simplify (- (/ 1.0 z)) into (- (* 1.0 (/ 1 z))) 1.120 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in z 1.120 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 1.120 * [taylor]: Taking taylor expansion of 1.0 in z 1.120 * [backup-simplify]: Simplify 1.0 into 1.0 1.120 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.120 * [taylor]: Taking taylor expansion of z in z 1.120 * [backup-simplify]: Simplify 0 into 0 1.120 * [backup-simplify]: Simplify 1 into 1 1.120 * [backup-simplify]: Simplify (/ 1 1) into 1 1.120 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 1.121 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.121 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1.122 * [backup-simplify]: Simplify (+ (* (- 1.0) (* (/ 1 (/ 1 (- z))) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- x)))))))) into (- (+ (* 1.0 z) (* x y)) (* x z)) 1.122 * * * [progress]: simplifying candidates 1.122 * [simplify]: Simplifying: (expm1 (* (- 1.0 x) z)) (log1p (* (- 1.0 x) z)) (* (- 1.0 x) z) (+ (log (- 1.0 x)) (log z)) (log (* (- 1.0 x) z)) (exp (* (- 1.0 x) z)) (* (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* z z) z)) (* (cbrt (* (- 1.0 x) z)) (cbrt (* (- 1.0 x) z))) (cbrt (* (- 1.0 x) z)) (* (* (* (- 1.0 x) z) (* (- 1.0 x) z)) (* (- 1.0 x) z)) (sqrt (* (- 1.0 x) z)) (sqrt (* (- 1.0 x) z)) (* (sqrt (- 1.0 x)) (sqrt z)) (* (sqrt (- 1.0 x)) (sqrt z)) (* (- 1.0 x) (* (cbrt z) (cbrt z))) (* (- 1.0 x) (sqrt z)) (* (- 1.0 x) 1) (* (cbrt (- 1.0 x)) z) (* (sqrt (- 1.0 x)) z) (* (- 1.0 x) z) (* (- (sqrt 1.0) (sqrt x)) z) (* (- 1.0 x) z) (* (- (pow 1.0 3) (pow x 3)) z) (* (- (* 1.0 1.0) (* x x)) z) (expm1 (fma x y (* (- 1.0 x) z))) (log1p (fma x y (* (- 1.0 x) z))) (* x y) (log (fma x y (* (- 1.0 x) z))) (exp (fma x y (* (- 1.0 x) z))) (* (cbrt (fma x y (* (- 1.0 x) z))) (cbrt (fma x y (* (- 1.0 x) z)))) (cbrt (fma x y (* (- 1.0 x) z))) (* (* (fma x y (* (- 1.0 x) z)) (fma x y (* (- 1.0 x) z))) (fma x y (* (- 1.0 x) z))) (sqrt (fma x y (* (- 1.0 x) z))) (sqrt (fma x y (* (- 1.0 x) z))) (- (* 1.0 z) (* x z)) (- (* 1.0 z) (* x z)) (- (* 1.0 z) (* x z)) (- (+ (* 1.0 z) (* x y)) (* x z)) (- (+ (* 1.0 z) (* x y)) (* x z)) (- (+ (* 1.0 z) (* x y)) (* x z)) 1.123 * * [simplify]: Extracting # 0 : cost 0 1.123 * * [simplify]: Extracting # 1 : cost 0 1.123 * * [simplify]: Extracting # 2 : cost 0 1.123 * * [simplify]: Extracting # 3 : cost 0 1.123 * * [simplify]: Extracting # 4 : cost 0 1.123 * * [simplify]: Extracting # 5 : cost 0 1.123 * * [simplify]: Extracting # 6 : cost 0 1.124 * * [simplify]: iteration 0 : 64 enodes (cost 347 ) 1.137 * * [simplify]: Extracting # 0 : cost 0 1.137 * * [simplify]: Extracting # 1 : cost 0 1.137 * * [simplify]: Extracting # 2 : cost 0 1.137 * * [simplify]: Extracting # 3 : cost 0 1.137 * * [simplify]: iteration 1 : 131 enodes (cost 335 ) 1.172 * * [simplify]: Extracting # 0 : cost 0 1.172 * * [simplify]: Extracting # 1 : cost 0 1.173 * * [simplify]: Extracting # 2 : cost 0 1.173 * * [simplify]: Extracting # 3 : cost 0 1.173 * * [simplify]: Extracting # 4 : cost 0 1.174 * * [simplify]: Extracting # 5 : cost 0 1.174 * * [simplify]: Extracting # 6 : cost 0 1.178 * * [simplify]: iteration 2 : 400 enodes (cost 297 ) 1.547 * * [simplify]: Extracting # 0 : cost 0 1.549 * * [simplify]: Extracting # 1 : cost 0 1.551 * * [simplify]: Extracting # 2 : cost 0 1.556 * * [simplify]: Extracting # 3 : cost 0 1.557 * * [simplify]: Extracting # 4 : cost 0 1.558 * * [simplify]: iteration 3 : 1540 enodes (cost 293 ) 2.401 * * [simplify]: Extracting # 0 : cost 0 2.406 * * [simplify]: Extracting # 1 : cost 0 2.417 * * [simplify]: Extracting # 2 : cost 0 2.423 * * [simplify]: Extracting # 3 : cost 0 2.429 * * [simplify]: Extracting # 4 : cost 0 2.435 * * [simplify]: iteration done: 5000 enodes (cost 293 ) 2.435 * [simplify]: Simplified to: (expm1 (* (- 1.0 x) z)) (log1p (* (- 1.0 x) z)) (* (- 1.0 x) z) (log (* (- 1.0 x) z)) (log (* (- 1.0 x) z)) (exp (* (- 1.0 x) z)) (pow (* (- 1.0 x) z) 3) (* (cbrt (* (- 1.0 x) z)) (cbrt (* (- 1.0 x) z))) (cbrt (* (- 1.0 x) z)) (pow (* (- 1.0 x) z) 3) (sqrt (* (- 1.0 x) z)) (sqrt (* (- 1.0 x) z)) (* (sqrt (- 1.0 x)) (sqrt z)) (* (sqrt (- 1.0 x)) (sqrt z)) (* (- 1.0 x) (* (cbrt z) (cbrt z))) (* (- 1.0 x) (sqrt z)) (- 1.0 x) (* (cbrt (- 1.0 x)) z) (* (sqrt (- 1.0 x)) z) (* (- 1.0 x) z) (* (- (sqrt 1.0) (sqrt x)) z) (* (- 1.0 x) z) (* (- (pow 1.0 3) (pow x 3)) z) (* (- (* 1.0 1.0) (* x x)) z) (expm1 (fma x y (* (- 1.0 x) z))) (log1p (fma x y (* (- 1.0 x) z))) (* x y) (log (fma x y (* (- 1.0 x) z))) (exp (fma x y (* (- 1.0 x) z))) (* (cbrt (fma x y (* (- 1.0 x) z))) (cbrt (fma x y (* (- 1.0 x) z)))) (cbrt (fma x y (* (- 1.0 x) z))) (pow (fma x y (* (- 1.0 x) z)) 3) (sqrt (fma x y (* (- 1.0 x) z))) (sqrt (fma x y (* (- 1.0 x) z))) (* (- 1.0 x) z) (* (- 1.0 x) z) (* (- 1.0 x) z) (fma z (- 1.0 x) (* x y)) (fma z (- 1.0 x) (* x y)) (fma z (- 1.0 x) (* x y)) 2.435 * * * [progress]: adding candidates to table 2.516 * * [progress]: iteration 2 / 4 2.516 * * * [progress]: picking best candidate 2.522 * * * * [pick]: Picked # 2.522 * * * [progress]: localizing error 2.528 * * * [progress]: generating rewritten candidates 2.528 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 2.529 * * * [progress]: generating series expansions 2.529 * * * * [progress]: [ 1 / 1 ] generating series at (2) 2.529 * [backup-simplify]: Simplify (fma z (- 1.0 x) (* x y)) into (fma z (- 1.0 x) (* x y)) 2.529 * [approximate]: Taking taylor expansion of (fma z (- 1.0 x) (* x y)) in (z x y) around 0 2.529 * [taylor]: Taking taylor expansion of (fma z (- 1.0 x) (* x y)) in y 2.530 * [taylor]: Rewrote expression to (+ (* z (- 1.0 x)) (* x y)) 2.530 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in y 2.530 * [taylor]: Taking taylor expansion of z in y 2.530 * [backup-simplify]: Simplify z into z 2.530 * [taylor]: Taking taylor expansion of (- 1.0 x) in y 2.530 * [taylor]: Taking taylor expansion of 1.0 in y 2.530 * [backup-simplify]: Simplify 1.0 into 1.0 2.530 * [taylor]: Taking taylor expansion of x in y 2.530 * [backup-simplify]: Simplify x into x 2.530 * [taylor]: Taking taylor expansion of (* x y) in y 2.530 * [taylor]: Taking taylor expansion of x in y 2.530 * [backup-simplify]: Simplify x into x 2.530 * [taylor]: Taking taylor expansion of y in y 2.530 * [backup-simplify]: Simplify 0 into 0 2.531 * [backup-simplify]: Simplify 1 into 1 2.531 * [taylor]: Taking taylor expansion of (fma z (- 1.0 x) (* x y)) in x 2.531 * [taylor]: Rewrote expression to (+ (* z (- 1.0 x)) (* x y)) 2.531 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in x 2.531 * [taylor]: Taking taylor expansion of z in x 2.531 * [backup-simplify]: Simplify z into z 2.531 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 2.531 * [taylor]: Taking taylor expansion of 1.0 in x 2.531 * [backup-simplify]: Simplify 1.0 into 1.0 2.531 * [taylor]: Taking taylor expansion of x in x 2.531 * [backup-simplify]: Simplify 0 into 0 2.531 * [backup-simplify]: Simplify 1 into 1 2.531 * [taylor]: Taking taylor expansion of (* x y) in x 2.531 * [taylor]: Taking taylor expansion of x in x 2.531 * [backup-simplify]: Simplify 0 into 0 2.531 * [backup-simplify]: Simplify 1 into 1 2.531 * [taylor]: Taking taylor expansion of y in x 2.531 * [backup-simplify]: Simplify y into y 2.531 * [taylor]: Taking taylor expansion of (fma z (- 1.0 x) (* x y)) in z 2.531 * [taylor]: Rewrote expression to (+ (* z (- 1.0 x)) (* x y)) 2.531 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in z 2.531 * [taylor]: Taking taylor expansion of z in z 2.531 * [backup-simplify]: Simplify 0 into 0 2.531 * [backup-simplify]: Simplify 1 into 1 2.531 * [taylor]: Taking taylor expansion of (- 1.0 x) in z 2.531 * [taylor]: Taking taylor expansion of 1.0 in z 2.531 * [backup-simplify]: Simplify 1.0 into 1.0 2.531 * [taylor]: Taking taylor expansion of x in z 2.531 * [backup-simplify]: Simplify x into x 2.531 * [taylor]: Taking taylor expansion of (* x y) in z 2.531 * [taylor]: Taking taylor expansion of x in z 2.531 * [backup-simplify]: Simplify x into x 2.531 * [taylor]: Taking taylor expansion of y in z 2.531 * [backup-simplify]: Simplify y into y 2.531 * [taylor]: Taking taylor expansion of (fma z (- 1.0 x) (* x y)) in z 2.531 * [taylor]: Rewrote expression to (+ (* z (- 1.0 x)) (* x y)) 2.532 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in z 2.532 * [taylor]: Taking taylor expansion of z in z 2.532 * [backup-simplify]: Simplify 0 into 0 2.532 * [backup-simplify]: Simplify 1 into 1 2.532 * [taylor]: Taking taylor expansion of (- 1.0 x) in z 2.532 * [taylor]: Taking taylor expansion of 1.0 in z 2.532 * [backup-simplify]: Simplify 1.0 into 1.0 2.532 * [taylor]: Taking taylor expansion of x in z 2.532 * [backup-simplify]: Simplify x into x 2.532 * [taylor]: Taking taylor expansion of (* x y) in z 2.532 * [taylor]: Taking taylor expansion of x in z 2.532 * [backup-simplify]: Simplify x into x 2.532 * [taylor]: Taking taylor expansion of y in z 2.532 * [backup-simplify]: Simplify y into y 2.532 * [backup-simplify]: Simplify (- x) into (- x) 2.532 * [backup-simplify]: Simplify (+ 1.0 (- x)) into (- 1.0 x) 2.532 * [backup-simplify]: Simplify (* 0 (- 1.0 x)) into 0 2.532 * [backup-simplify]: Simplify (* x y) into (* x y) 2.532 * [backup-simplify]: Simplify (+ 0 (* x y)) into (* x y) 2.532 * [taylor]: Taking taylor expansion of (* x y) in x 2.532 * [taylor]: Taking taylor expansion of x in x 2.532 * [backup-simplify]: Simplify 0 into 0 2.532 * [backup-simplify]: Simplify 1 into 1 2.532 * [taylor]: Taking taylor expansion of y in x 2.532 * [backup-simplify]: Simplify y into y 2.532 * [backup-simplify]: Simplify (* 0 y) into 0 2.532 * [taylor]: Taking taylor expansion of 0 in y 2.532 * [backup-simplify]: Simplify 0 into 0 2.532 * [backup-simplify]: Simplify 0 into 0 2.533 * [backup-simplify]: Simplify (- 0) into 0 2.533 * [backup-simplify]: Simplify (+ 0 0) into 0 2.533 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- 1.0 x))) into (- 1.0 x) 2.533 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 2.533 * [backup-simplify]: Simplify (+ (- 1.0 x) 0) into (- 1.0 x) 2.533 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 2.534 * [taylor]: Taking taylor expansion of 1.0 in x 2.534 * [backup-simplify]: Simplify 1.0 into 1.0 2.534 * [taylor]: Taking taylor expansion of x in x 2.534 * [backup-simplify]: Simplify 0 into 0 2.534 * [backup-simplify]: Simplify 1 into 1 2.534 * [backup-simplify]: Simplify (- 0) into 0 2.534 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.534 * [taylor]: Taking taylor expansion of 1.0 in y 2.534 * [backup-simplify]: Simplify 1.0 into 1.0 2.534 * [backup-simplify]: Simplify 1.0 into 1.0 2.534 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.534 * [taylor]: Taking taylor expansion of y in y 2.534 * [backup-simplify]: Simplify 0 into 0 2.534 * [backup-simplify]: Simplify 1 into 1 2.534 * [backup-simplify]: Simplify 0 into 0 2.535 * [backup-simplify]: Simplify 0 into 0 2.535 * [backup-simplify]: Simplify (- 0) into 0 2.535 * [backup-simplify]: Simplify (+ 0 0) into 0 2.535 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- 1.0 x)))) into 0 2.536 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 2.536 * [backup-simplify]: Simplify (+ 0 0) into 0 2.536 * [taylor]: Taking taylor expansion of 0 in x 2.536 * [backup-simplify]: Simplify 0 into 0 2.536 * [taylor]: Taking taylor expansion of 0 in y 2.536 * [backup-simplify]: Simplify 0 into 0 2.536 * [backup-simplify]: Simplify 0 into 0 2.536 * [backup-simplify]: Simplify (- 1) into -1 2.537 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.537 * [taylor]: Taking taylor expansion of -1 in y 2.537 * [backup-simplify]: Simplify -1 into -1 2.537 * [backup-simplify]: Simplify -1 into -1 2.537 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 2.537 * [taylor]: Taking taylor expansion of 0 in y 2.537 * [backup-simplify]: Simplify 0 into 0 2.537 * [backup-simplify]: Simplify 0 into 0 2.537 * [backup-simplify]: Simplify 0 into 0 2.537 * [backup-simplify]: Simplify 1 into 1 2.537 * [backup-simplify]: Simplify (+ (* 1 (* y (* x 1))) (+ (* -1 (* 1 (* x z))) (* 1.0 (* 1 (* 1 z))))) into (- (+ (* 1.0 z) (* x y)) (* x z)) 2.538 * [backup-simplify]: Simplify (fma (/ 1 z) (- 1.0 (/ 1 x)) (* (/ 1 x) (/ 1 y))) into (fma (/ 1 z) (- 1.0 (/ 1 x)) (/ 1 (* x y))) 2.538 * [approximate]: Taking taylor expansion of (fma (/ 1 z) (- 1.0 (/ 1 x)) (/ 1 (* x y))) in (z x y) around 0 2.538 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1.0 (/ 1 x)) (/ 1 (* x y))) in y 2.538 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1.0 (/ 1 x))) (/ 1 (* x y))) 2.538 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1.0 (/ 1 x))) in y 2.538 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.538 * [taylor]: Taking taylor expansion of z in y 2.538 * [backup-simplify]: Simplify z into z 2.538 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.538 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 2.538 * [taylor]: Taking taylor expansion of 1.0 in y 2.538 * [backup-simplify]: Simplify 1.0 into 1.0 2.538 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.538 * [taylor]: Taking taylor expansion of x in y 2.538 * [backup-simplify]: Simplify x into x 2.538 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.538 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 2.538 * [taylor]: Taking taylor expansion of (* x y) in y 2.538 * [taylor]: Taking taylor expansion of x in y 2.538 * [backup-simplify]: Simplify x into x 2.538 * [taylor]: Taking taylor expansion of y in y 2.538 * [backup-simplify]: Simplify 0 into 0 2.538 * [backup-simplify]: Simplify 1 into 1 2.538 * [backup-simplify]: Simplify (* x 0) into 0 2.538 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 2.538 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.538 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1.0 (/ 1 x)) (/ 1 (* x y))) in x 2.539 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1.0 (/ 1 x))) (/ 1 (* x y))) 2.539 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1.0 (/ 1 x))) in x 2.539 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.539 * [taylor]: Taking taylor expansion of z in x 2.539 * [backup-simplify]: Simplify z into z 2.539 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.539 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 2.539 * [taylor]: Taking taylor expansion of 1.0 in x 2.539 * [backup-simplify]: Simplify 1.0 into 1.0 2.539 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.539 * [taylor]: Taking taylor expansion of x in x 2.539 * [backup-simplify]: Simplify 0 into 0 2.539 * [backup-simplify]: Simplify 1 into 1 2.539 * [backup-simplify]: Simplify (/ 1 1) into 1 2.539 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.539 * [taylor]: Taking taylor expansion of (* x y) in x 2.539 * [taylor]: Taking taylor expansion of x in x 2.539 * [backup-simplify]: Simplify 0 into 0 2.539 * [backup-simplify]: Simplify 1 into 1 2.539 * [taylor]: Taking taylor expansion of y in x 2.539 * [backup-simplify]: Simplify y into y 2.539 * [backup-simplify]: Simplify (* 0 y) into 0 2.539 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.539 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.540 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1.0 (/ 1 x)) (/ 1 (* x y))) in z 2.540 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1.0 (/ 1 x))) (/ 1 (* x y))) 2.540 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1.0 (/ 1 x))) in z 2.540 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.540 * [taylor]: Taking taylor expansion of z in z 2.540 * [backup-simplify]: Simplify 0 into 0 2.540 * [backup-simplify]: Simplify 1 into 1 2.540 * [backup-simplify]: Simplify (/ 1 1) into 1 2.540 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in z 2.540 * [taylor]: Taking taylor expansion of 1.0 in z 2.540 * [backup-simplify]: Simplify 1.0 into 1.0 2.540 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.540 * [taylor]: Taking taylor expansion of x in z 2.540 * [backup-simplify]: Simplify x into x 2.540 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.540 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 2.540 * [taylor]: Taking taylor expansion of (* x y) in z 2.540 * [taylor]: Taking taylor expansion of x in z 2.540 * [backup-simplify]: Simplify x into x 2.540 * [taylor]: Taking taylor expansion of y in z 2.540 * [backup-simplify]: Simplify y into y 2.540 * [backup-simplify]: Simplify (* x y) into (* x y) 2.540 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 2.540 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1.0 (/ 1 x)) (/ 1 (* x y))) in z 2.540 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1.0 (/ 1 x))) (/ 1 (* x y))) 2.540 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1.0 (/ 1 x))) in z 2.540 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.540 * [taylor]: Taking taylor expansion of z in z 2.540 * [backup-simplify]: Simplify 0 into 0 2.540 * [backup-simplify]: Simplify 1 into 1 2.541 * [backup-simplify]: Simplify (/ 1 1) into 1 2.541 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in z 2.541 * [taylor]: Taking taylor expansion of 1.0 in z 2.541 * [backup-simplify]: Simplify 1.0 into 1.0 2.541 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.541 * [taylor]: Taking taylor expansion of x in z 2.541 * [backup-simplify]: Simplify x into x 2.541 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.541 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 2.541 * [taylor]: Taking taylor expansion of (* x y) in z 2.541 * [taylor]: Taking taylor expansion of x in z 2.541 * [backup-simplify]: Simplify x into x 2.541 * [taylor]: Taking taylor expansion of y in z 2.541 * [backup-simplify]: Simplify y into y 2.541 * [backup-simplify]: Simplify (* x y) into (* x y) 2.541 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 2.541 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 2.541 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x)) 2.541 * [backup-simplify]: Simplify (* 1 (- 1.0 (/ 1 x))) into (- 1.0 (/ 1 x)) 2.541 * [backup-simplify]: Simplify (+ (- 1.0 (/ 1 x)) 0) into (- 1.0 (/ 1 x)) 2.541 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 2.541 * [taylor]: Taking taylor expansion of 1.0 in x 2.541 * [backup-simplify]: Simplify 1.0 into 1.0 2.541 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.541 * [taylor]: Taking taylor expansion of x in x 2.541 * [backup-simplify]: Simplify 0 into 0 2.541 * [backup-simplify]: Simplify 1 into 1 2.542 * [backup-simplify]: Simplify (/ 1 1) into 1 2.542 * [backup-simplify]: Simplify (- 1) into -1 2.542 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.542 * [taylor]: Taking taylor expansion of -1 in y 2.542 * [backup-simplify]: Simplify -1 into -1 2.542 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 2.543 * [backup-simplify]: Simplify (- 0) into 0 2.543 * [backup-simplify]: Simplify (+ 0 0) into 0 2.543 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.543 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- 1.0 (/ 1 x)))) into 0 2.544 * [backup-simplify]: Simplify (+ 0 (/ 1 (* x y))) into (/ 1 (* x y)) 2.544 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.544 * [taylor]: Taking taylor expansion of (* x y) in x 2.544 * [taylor]: Taking taylor expansion of x in x 2.544 * [backup-simplify]: Simplify 0 into 0 2.544 * [backup-simplify]: Simplify 1 into 1 2.544 * [taylor]: Taking taylor expansion of y in x 2.544 * [backup-simplify]: Simplify y into y 2.544 * [backup-simplify]: Simplify (* 0 y) into 0 2.544 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.544 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.544 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.544 * [taylor]: Taking taylor expansion of y in y 2.544 * [backup-simplify]: Simplify 0 into 0 2.544 * [backup-simplify]: Simplify 1 into 1 2.544 * [backup-simplify]: Simplify (/ 1 1) into 1 2.544 * [backup-simplify]: Simplify 1 into 1 2.545 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.545 * [backup-simplify]: Simplify (- 0) into 0 2.545 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.545 * [taylor]: Taking taylor expansion of 1.0 in y 2.545 * [backup-simplify]: Simplify 1.0 into 1.0 2.545 * [backup-simplify]: Simplify -1 into -1 2.545 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.546 * [backup-simplify]: Simplify (- 0) into 0 2.546 * [backup-simplify]: Simplify (+ 0 0) into 0 2.546 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.547 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- 1.0 (/ 1 x))))) into 0 2.547 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 2.547 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 2.547 * [backup-simplify]: Simplify (+ 0 0) into 0 2.547 * [taylor]: Taking taylor expansion of 0 in x 2.547 * [backup-simplify]: Simplify 0 into 0 2.548 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 2.548 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.548 * [taylor]: Taking taylor expansion of 0 in y 2.548 * [backup-simplify]: Simplify 0 into 0 2.548 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.549 * [backup-simplify]: Simplify (- 0) into 0 2.549 * [backup-simplify]: Simplify (+ 0 0) into 0 2.549 * [taylor]: Taking taylor expansion of 0 in y 2.549 * [backup-simplify]: Simplify 0 into 0 2.549 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.549 * [backup-simplify]: Simplify 0 into 0 2.549 * [backup-simplify]: Simplify 1.0 into 1.0 2.550 * [backup-simplify]: Simplify (+ (* 1.0 (* 1 (* 1 (/ 1 (/ 1 z))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 z))))) (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) 1))))) into (- (+ (* 1.0 z) (* x y)) (* x z)) 2.550 * [backup-simplify]: Simplify (fma (/ 1 (- z)) (- 1.0 (/ 1 (- x))) (* (/ 1 (- x)) (/ 1 (- y)))) into (fma (/ -1 z) (+ (/ 1 x) 1.0) (/ 1 (* x y))) 2.550 * [approximate]: Taking taylor expansion of (fma (/ -1 z) (+ (/ 1 x) 1.0) (/ 1 (* x y))) in (z x y) around 0 2.550 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (+ (/ 1 x) 1.0) (/ 1 (* x y))) in y 2.550 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (+ (/ 1 x) 1.0)) (/ 1 (* x y))) 2.550 * [taylor]: Taking taylor expansion of (* (/ -1 z) (+ (/ 1 x) 1.0)) in y 2.550 * [taylor]: Taking taylor expansion of (/ -1 z) in y 2.550 * [taylor]: Taking taylor expansion of -1 in y 2.550 * [backup-simplify]: Simplify -1 into -1 2.550 * [taylor]: Taking taylor expansion of z in y 2.550 * [backup-simplify]: Simplify z into z 2.550 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 2.550 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 2.550 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.550 * [taylor]: Taking taylor expansion of x in y 2.550 * [backup-simplify]: Simplify x into x 2.550 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.550 * [taylor]: Taking taylor expansion of 1.0 in y 2.550 * [backup-simplify]: Simplify 1.0 into 1.0 2.550 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 2.550 * [taylor]: Taking taylor expansion of (* x y) in y 2.550 * [taylor]: Taking taylor expansion of x in y 2.550 * [backup-simplify]: Simplify x into x 2.550 * [taylor]: Taking taylor expansion of y in y 2.551 * [backup-simplify]: Simplify 0 into 0 2.551 * [backup-simplify]: Simplify 1 into 1 2.551 * [backup-simplify]: Simplify (* x 0) into 0 2.551 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 2.551 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.551 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (+ (/ 1 x) 1.0) (/ 1 (* x y))) in x 2.551 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (+ (/ 1 x) 1.0)) (/ 1 (* x y))) 2.551 * [taylor]: Taking taylor expansion of (* (/ -1 z) (+ (/ 1 x) 1.0)) in x 2.551 * [taylor]: Taking taylor expansion of (/ -1 z) in x 2.551 * [taylor]: Taking taylor expansion of -1 in x 2.551 * [backup-simplify]: Simplify -1 into -1 2.551 * [taylor]: Taking taylor expansion of z in x 2.551 * [backup-simplify]: Simplify z into z 2.551 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 2.551 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 2.551 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.551 * [taylor]: Taking taylor expansion of x in x 2.551 * [backup-simplify]: Simplify 0 into 0 2.551 * [backup-simplify]: Simplify 1 into 1 2.552 * [backup-simplify]: Simplify (/ 1 1) into 1 2.552 * [taylor]: Taking taylor expansion of 1.0 in x 2.552 * [backup-simplify]: Simplify 1.0 into 1.0 2.552 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.552 * [taylor]: Taking taylor expansion of (* x y) in x 2.552 * [taylor]: Taking taylor expansion of x in x 2.552 * [backup-simplify]: Simplify 0 into 0 2.552 * [backup-simplify]: Simplify 1 into 1 2.552 * [taylor]: Taking taylor expansion of y in x 2.552 * [backup-simplify]: Simplify y into y 2.552 * [backup-simplify]: Simplify (* 0 y) into 0 2.552 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.552 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.552 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (+ (/ 1 x) 1.0) (/ 1 (* x y))) in z 2.552 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (+ (/ 1 x) 1.0)) (/ 1 (* x y))) 2.552 * [taylor]: Taking taylor expansion of (* (/ -1 z) (+ (/ 1 x) 1.0)) in z 2.552 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.552 * [taylor]: Taking taylor expansion of -1 in z 2.553 * [backup-simplify]: Simplify -1 into -1 2.553 * [taylor]: Taking taylor expansion of z in z 2.553 * [backup-simplify]: Simplify 0 into 0 2.553 * [backup-simplify]: Simplify 1 into 1 2.553 * [backup-simplify]: Simplify (/ -1 1) into -1 2.553 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in z 2.553 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.553 * [taylor]: Taking taylor expansion of x in z 2.553 * [backup-simplify]: Simplify x into x 2.553 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.553 * [taylor]: Taking taylor expansion of 1.0 in z 2.553 * [backup-simplify]: Simplify 1.0 into 1.0 2.553 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 2.553 * [taylor]: Taking taylor expansion of (* x y) in z 2.553 * [taylor]: Taking taylor expansion of x in z 2.553 * [backup-simplify]: Simplify x into x 2.553 * [taylor]: Taking taylor expansion of y in z 2.553 * [backup-simplify]: Simplify y into y 2.553 * [backup-simplify]: Simplify (* x y) into (* x y) 2.553 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 2.553 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (+ (/ 1 x) 1.0) (/ 1 (* x y))) in z 2.553 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (+ (/ 1 x) 1.0)) (/ 1 (* x y))) 2.553 * [taylor]: Taking taylor expansion of (* (/ -1 z) (+ (/ 1 x) 1.0)) in z 2.553 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.553 * [taylor]: Taking taylor expansion of -1 in z 2.553 * [backup-simplify]: Simplify -1 into -1 2.553 * [taylor]: Taking taylor expansion of z in z 2.553 * [backup-simplify]: Simplify 0 into 0 2.553 * [backup-simplify]: Simplify 1 into 1 2.554 * [backup-simplify]: Simplify (/ -1 1) into -1 2.554 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in z 2.554 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.554 * [taylor]: Taking taylor expansion of x in z 2.554 * [backup-simplify]: Simplify x into x 2.554 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.554 * [taylor]: Taking taylor expansion of 1.0 in z 2.554 * [backup-simplify]: Simplify 1.0 into 1.0 2.554 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 2.554 * [taylor]: Taking taylor expansion of (* x y) in z 2.554 * [taylor]: Taking taylor expansion of x in z 2.554 * [backup-simplify]: Simplify x into x 2.554 * [taylor]: Taking taylor expansion of y in z 2.554 * [backup-simplify]: Simplify y into y 2.554 * [backup-simplify]: Simplify (* x y) into (* x y) 2.554 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 2.554 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ 1.0 (/ 1 x)) 2.554 * [backup-simplify]: Simplify (* -1 (+ 1.0 (/ 1 x))) into (* -1 (+ (/ 1 x) 1.0)) 2.554 * [backup-simplify]: Simplify (+ (* -1 (+ (/ 1 x) 1.0)) 0) into (- (+ (/ 1 x) 1.0)) 2.554 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1.0)) in x 2.554 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 2.554 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.554 * [taylor]: Taking taylor expansion of x in x 2.554 * [backup-simplify]: Simplify 0 into 0 2.554 * [backup-simplify]: Simplify 1 into 1 2.555 * [backup-simplify]: Simplify (/ 1 1) into 1 2.555 * [taylor]: Taking taylor expansion of 1.0 in x 2.555 * [backup-simplify]: Simplify 1.0 into 1.0 2.555 * [backup-simplify]: Simplify (+ 1 0) into 1 2.555 * [backup-simplify]: Simplify (- 1) into -1 2.555 * [taylor]: Taking taylor expansion of -1 in y 2.555 * [backup-simplify]: Simplify -1 into -1 2.555 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 2.556 * [backup-simplify]: Simplify (+ 0 0) into 0 2.556 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 2.556 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (+ 1.0 (/ 1 x)))) into 0 2.556 * [backup-simplify]: Simplify (+ 0 (/ 1 (* x y))) into (/ 1 (* x y)) 2.556 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.556 * [taylor]: Taking taylor expansion of (* x y) in x 2.556 * [taylor]: Taking taylor expansion of x in x 2.556 * [backup-simplify]: Simplify 0 into 0 2.556 * [backup-simplify]: Simplify 1 into 1 2.556 * [taylor]: Taking taylor expansion of y in x 2.557 * [backup-simplify]: Simplify y into y 2.557 * [backup-simplify]: Simplify (* 0 y) into 0 2.557 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.557 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.557 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.557 * [taylor]: Taking taylor expansion of y in y 2.557 * [backup-simplify]: Simplify 0 into 0 2.557 * [backup-simplify]: Simplify 1 into 1 2.557 * [backup-simplify]: Simplify (/ 1 1) into 1 2.557 * [backup-simplify]: Simplify 1 into 1 2.558 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.558 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.558 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.558 * [taylor]: Taking taylor expansion of (- 1.0) in y 2.558 * [taylor]: Taking taylor expansion of 1.0 in y 2.558 * [backup-simplify]: Simplify 1.0 into 1.0 2.558 * [backup-simplify]: Simplify -1 into -1 2.558 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.559 * [backup-simplify]: Simplify (+ 0 0) into 0 2.559 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.560 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (+ 1.0 (/ 1 x))))) into 0 2.560 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 2.560 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 2.560 * [backup-simplify]: Simplify (+ 0 0) into 0 2.560 * [taylor]: Taking taylor expansion of 0 in x 2.560 * [backup-simplify]: Simplify 0 into 0 2.561 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 2.561 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.561 * [taylor]: Taking taylor expansion of 0 in y 2.561 * [backup-simplify]: Simplify 0 into 0 2.561 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.561 * [backup-simplify]: Simplify (+ 0 0) into 0 2.562 * [backup-simplify]: Simplify (- 0) into 0 2.562 * [taylor]: Taking taylor expansion of 0 in y 2.562 * [backup-simplify]: Simplify 0 into 0 2.562 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.562 * [backup-simplify]: Simplify 0 into 0 2.562 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.563 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.563 * [backup-simplify]: Simplify (+ (* (- 1.0) (* 1 (* 1 (/ 1 (/ 1 (- z)))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- z)))))) (* 1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) 1))))) into (- (+ (* 1.0 z) (* x y)) (* x z)) 2.563 * * * [progress]: simplifying candidates 2.564 * [simplify]: Simplifying: (expm1 (fma z (- 1.0 x) (* x y))) (log1p (fma z (- 1.0 x) (* x y))) (* z (- 1.0 x)) (log (fma z (- 1.0 x) (* x y))) (exp (fma z (- 1.0 x) (* x y))) (* (cbrt (fma z (- 1.0 x) (* x y))) (cbrt (fma z (- 1.0 x) (* x y)))) (cbrt (fma z (- 1.0 x) (* x y))) (* (* (fma z (- 1.0 x) (* x y)) (fma z (- 1.0 x) (* x y))) (fma z (- 1.0 x) (* x y))) (sqrt (fma z (- 1.0 x) (* x y))) (sqrt (fma z (- 1.0 x) (* x y))) (- (+ (* 1.0 z) (* x y)) (* x z)) (- (+ (* 1.0 z) (* x y)) (* x z)) (- (+ (* 1.0 z) (* x y)) (* x z)) 2.564 * * [simplify]: Extracting # 0 : cost 0 2.564 * * [simplify]: Extracting # 1 : cost 0 2.564 * * [simplify]: Extracting # 2 : cost 0 2.564 * * [simplify]: Extracting # 3 : cost 0 2.564 * * [simplify]: Extracting # 4 : cost 0 2.564 * * [simplify]: Extracting # 5 : cost 0 2.564 * * [simplify]: iteration 0 : 21 enodes (cost 146 ) 2.567 * * [simplify]: Extracting # 0 : cost 0 2.567 * * [simplify]: Extracting # 1 : cost 0 2.567 * * [simplify]: Extracting # 2 : cost 0 2.567 * * [simplify]: iteration 1 : 35 enodes (cost 143 ) 2.574 * * [simplify]: Extracting # 0 : cost 0 2.574 * * [simplify]: Extracting # 1 : cost 0 2.574 * * [simplify]: Extracting # 2 : cost 0 2.574 * * [simplify]: Extracting # 3 : cost 0 2.574 * * [simplify]: iteration 2 : 76 enodes (cost 121 ) 2.602 * * [simplify]: Extracting # 0 : cost 0 2.602 * * [simplify]: Extracting # 1 : cost 0 2.603 * * [simplify]: Extracting # 2 : cost 0 2.603 * * [simplify]: Extracting # 3 : cost 0 2.603 * * [simplify]: iteration 3 : 277 enodes (cost 121 ) 2.995 * * [simplify]: Extracting # 0 : cost 0 2.998 * * [simplify]: Extracting # 1 : cost 0 3.001 * * [simplify]: Extracting # 2 : cost 0 3.004 * * [simplify]: Extracting # 3 : cost 0 3.007 * * [simplify]: Extracting # 4 : cost 0 3.010 * * [simplify]: Extracting # 5 : cost 0 3.013 * * [simplify]: Extracting # 6 : cost 0 3.016 * * [simplify]: iteration 4 : 1752 enodes (cost 121 ) 3.910 * * [simplify]: Extracting # 0 : cost 0 3.920 * * [simplify]: Extracting # 1 : cost 0 3.926 * * [simplify]: Extracting # 2 : cost 0 3.932 * * [simplify]: Extracting # 3 : cost 0 3.937 * * [simplify]: Extracting # 4 : cost 0 3.943 * * [simplify]: iteration done: 5000 enodes (cost 121 ) 3.943 * [simplify]: Simplified to: (expm1 (fma z (- 1.0 x) (* x y))) (log1p (fma z (- 1.0 x) (* x y))) (* (- 1.0 x) z) (log (fma z (- 1.0 x) (* x y))) (exp (fma z (- 1.0 x) (* x y))) (* (cbrt (fma z (- 1.0 x) (* x y))) (cbrt (fma z (- 1.0 x) (* x y)))) (cbrt (fma z (- 1.0 x) (* x y))) (pow (fma z (- 1.0 x) (* x y)) 3) (sqrt (fma z (- 1.0 x) (* x y))) (sqrt (fma z (- 1.0 x) (* x y))) (fma z (- 1.0 x) (* x y)) (fma z (- 1.0 x) (* x y)) (fma z (- 1.0 x) (* x y)) 3.943 * * * [progress]: adding candidates to table 3.971 * * [progress]: iteration 3 / 4 3.971 * * * [progress]: picking best candidate 3.975 * * * * [pick]: Picked # 3.975 * * * [progress]: localizing error 3.988 * * * [progress]: generating rewritten candidates 3.988 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2) 3.996 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 1 2) 4.004 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 1 1) 4.012 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 1) 4.047 * * * [progress]: generating series expansions 4.047 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2) 4.047 * [backup-simplify]: Simplify (cbrt (* (- 1.0 x) z)) into (pow (* z (- 1.0 x)) 1/3) 4.047 * [approximate]: Taking taylor expansion of (pow (* z (- 1.0 x)) 1/3) in (x z) around 0 4.047 * [taylor]: Taking taylor expansion of (pow (* z (- 1.0 x)) 1/3) in z 4.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (- 1.0 x))))) in z 4.047 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (- 1.0 x)))) in z 4.047 * [taylor]: Taking taylor expansion of 1/3 in z 4.047 * [backup-simplify]: Simplify 1/3 into 1/3 4.047 * [taylor]: Taking taylor expansion of (log (* z (- 1.0 x))) in z 4.047 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in z 4.047 * [taylor]: Taking taylor expansion of z in z 4.047 * [backup-simplify]: Simplify 0 into 0 4.047 * [backup-simplify]: Simplify 1 into 1 4.047 * [taylor]: Taking taylor expansion of (- 1.0 x) in z 4.047 * [taylor]: Taking taylor expansion of 1.0 in z 4.048 * [backup-simplify]: Simplify 1.0 into 1.0 4.048 * [taylor]: Taking taylor expansion of x in z 4.048 * [backup-simplify]: Simplify x into x 4.048 * [backup-simplify]: Simplify (- x) into (- x) 4.048 * [backup-simplify]: Simplify (+ 1.0 (- x)) into (- 1.0 x) 4.048 * [backup-simplify]: Simplify (* 0 (- 1.0 x)) into 0 4.048 * [backup-simplify]: Simplify (- 0) into 0 4.048 * [backup-simplify]: Simplify (+ 0 0) into 0 4.049 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- 1.0 x))) into (- 1.0 x) 4.049 * [backup-simplify]: Simplify (log (- 1.0 x)) into (log (- 1.0 x)) 4.049 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log (- 1.0 x))) into (+ (log z) (log (- 1.0 x))) 4.049 * [backup-simplify]: Simplify (* 1/3 (+ (log z) (log (- 1.0 x)))) into (* 1/3 (+ (log z) (log (- 1.0 x)))) 4.049 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log z) (log (- 1.0 x))))) into (exp (* 1/3 (+ (log z) (log (- 1.0 x))))) 4.049 * [taylor]: Taking taylor expansion of (pow (* z (- 1.0 x)) 1/3) in x 4.049 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (- 1.0 x))))) in x 4.049 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (- 1.0 x)))) in x 4.049 * [taylor]: Taking taylor expansion of 1/3 in x 4.049 * [backup-simplify]: Simplify 1/3 into 1/3 4.049 * [taylor]: Taking taylor expansion of (log (* z (- 1.0 x))) in x 4.049 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in x 4.049 * [taylor]: Taking taylor expansion of z in x 4.049 * [backup-simplify]: Simplify z into z 4.049 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 4.049 * [taylor]: Taking taylor expansion of 1.0 in x 4.049 * [backup-simplify]: Simplify 1.0 into 1.0 4.049 * [taylor]: Taking taylor expansion of x in x 4.049 * [backup-simplify]: Simplify 0 into 0 4.049 * [backup-simplify]: Simplify 1 into 1 4.050 * [backup-simplify]: Simplify (- 0) into 0 4.050 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.050 * [backup-simplify]: Simplify (* z 1.0) into (* 1.0 z) 4.050 * [backup-simplify]: Simplify (log (* 1.0 z)) into (log (* 1.0 z)) 4.050 * [backup-simplify]: Simplify (* 1/3 (log (* 1.0 z))) into (* 1/3 (log (* 1.0 z))) 4.050 * [backup-simplify]: Simplify (exp (* 1/3 (log (* 1.0 z)))) into (pow (* 1.0 z) 1/3) 4.050 * [taylor]: Taking taylor expansion of (pow (* z (- 1.0 x)) 1/3) in x 4.050 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (- 1.0 x))))) in x 4.050 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (- 1.0 x)))) in x 4.050 * [taylor]: Taking taylor expansion of 1/3 in x 4.050 * [backup-simplify]: Simplify 1/3 into 1/3 4.050 * [taylor]: Taking taylor expansion of (log (* z (- 1.0 x))) in x 4.050 * [taylor]: Taking taylor expansion of (* z (- 1.0 x)) in x 4.050 * [taylor]: Taking taylor expansion of z in x 4.050 * [backup-simplify]: Simplify z into z 4.050 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 4.050 * [taylor]: Taking taylor expansion of 1.0 in x 4.050 * [backup-simplify]: Simplify 1.0 into 1.0 4.050 * [taylor]: Taking taylor expansion of x in x 4.050 * [backup-simplify]: Simplify 0 into 0 4.050 * [backup-simplify]: Simplify 1 into 1 4.051 * [backup-simplify]: Simplify (- 0) into 0 4.051 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 4.051 * [backup-simplify]: Simplify (* z 1.0) into (* 1.0 z) 4.051 * [backup-simplify]: Simplify (log (* 1.0 z)) into (log (* 1.0 z)) 4.051 * [backup-simplify]: Simplify (* 1/3 (log (* 1.0 z))) into (* 1/3 (log (* 1.0 z))) 4.051 * [backup-simplify]: Simplify (exp (* 1/3 (log (* 1.0 z)))) into (pow (* 1.0 z) 1/3) 4.051 * [taylor]: Taking taylor expansion of (pow (* 1.0 z) 1/3) in z 4.051 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* 1.0 z)))) in z 4.051 * [taylor]: Taking taylor expansion of (* 1/3 (log (* 1.0 z))) in z 4.051 * [taylor]: Taking taylor expansion of 1/3 in z 4.051 * [backup-simplify]: Simplify 1/3 into 1/3 4.051 * [taylor]: Taking taylor expansion of (log (* 1.0 z)) in z 4.051 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 4.051 * [taylor]: Taking taylor expansion of 1.0 in z 4.051 * [backup-simplify]: Simplify 1.0 into 1.0 4.051 * [taylor]: Taking taylor expansion of z in z 4.051 * [backup-simplify]: Simplify 0 into 0 4.051 * [backup-simplify]: Simplify 1 into 1 4.052 * [backup-simplify]: Simplify (* 1.0 0) into 0 4.053 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 4.053 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 4.053 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log 1.0)) into (+ (log z) (log 1.0)) 4.054 * [backup-simplify]: Simplify (* 1/3 (+ (log z) (log 1.0))) into (* 1/3 (+ (log z) (log 1.0))) 4.054 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log z) (log 1.0)))) into (exp (* 1/3 (+ (log z) (log 1.0)))) 4.054 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log z) (log 1.0)))) into (exp (* 1/3 (+ (log z) (log 1.0)))) 4.054 * [backup-simplify]: Simplify (- 1) into -1 4.055 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.055 * [backup-simplify]: Simplify (+ (* z -1) (* 0 1.0)) into (- z) 4.055 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- z)) 1)) (pow (* 1.0 z) 1)))) 1) into -1.0 4.056 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (log (* 1.0 z)))) into (- 0.3333333333333333) 4.057 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (* 1.0 z)))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (pow (* z 1.0) 1/3)) 4.057 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (pow (* z 1.0) 1/3)) in z 4.058 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z 4.058 * [backup-simplify]: Simplify -0.3333333333333333 into -0.3333333333333333 4.058 * [taylor]: Taking taylor expansion of (pow (* z 1.0) 1/3) in z 4.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z 1.0)))) in z 4.058 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z 1.0))) in z 4.058 * [taylor]: Taking taylor expansion of 1/3 in z 4.058 * [backup-simplify]: Simplify 1/3 into 1/3 4.058 * [taylor]: Taking taylor expansion of (log (* z 1.0)) in z 4.058 * [taylor]: Taking taylor expansion of (* z 1.0) in z 4.058 * [taylor]: Taking taylor expansion of z in z 4.058 * [backup-simplify]: Simplify 0 into 0 4.058 * [backup-simplify]: Simplify 1 into 1 4.058 * [taylor]: Taking taylor expansion of 1.0 in z 4.058 * [backup-simplify]: Simplify 1.0 into 1.0 4.058 * [backup-simplify]: Simplify (* 0 1.0) into 0 4.059 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 1.0)) into 1.0 4.059 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 4.060 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log 1.0)) into (+ (log z) (log 1.0)) 4.060 * [backup-simplify]: Simplify (* 1/3 (+ (log z) (log 1.0))) into (* 1/3 (+ (log z) (log 1.0))) 4.060 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log z) (log 1.0)))) into (exp (* 1/3 (+ (log z) (log 1.0)))) 4.061 * [backup-simplify]: Simplify (* -0.3333333333333333 (exp (* 1/3 (+ (log z) (log 1.0))))) into (* -0.3333333333333333 (exp (* 1/3 (+ (log z) (log 1.0))))) 4.061 * [backup-simplify]: Simplify (* -0.3333333333333333 (exp (* 1/3 (+ (log z) (log 1.0))))) into (* -0.3333333333333333 (exp (* 1/3 (+ (log z) (log 1.0))))) 4.062 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 4.063 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1.0 1)))) 1) into 0 4.063 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log 1.0)) into (+ (log z) (log 1.0)) 4.064 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (+ (log z) (log 1.0)))) into 0 4.064 * [backup-simplify]: Simplify (* (exp (* 1/3 (+ (log z) (log 1.0)))) (+ (* (/ (pow 0 1) 1)))) into 0 4.064 * [backup-simplify]: Simplify 0 into 0 4.065 * [backup-simplify]: Simplify (- 0) into 0 4.065 * [backup-simplify]: Simplify (+ 0 0) into 0 4.065 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 -1) (* 0 1.0))) into 0