18.979 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.030 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.030 * [simplify]: Simplifying: (+ x (* (- y x) z)) 0.031 * * [simplify]: iteration 0: 6 enodes 0.031 * * [simplify]: iteration 1: 10 enodes 0.033 * * [simplify]: iteration 2: 19 enodes 0.035 * * [simplify]: iteration 3: 35 enodes 0.040 * * [simplify]: iteration 4: 60 enodes 0.047 * * [simplify]: iteration 5: 77 enodes 0.056 * * [simplify]: iteration 6: 91 enodes 0.078 * * [simplify]: iteration 7: 112 enodes 0.125 * * [simplify]: iteration 8: 191 enodes 0.185 * * [simplify]: iteration 9: 346 enodes 0.388 * * [simplify]: iteration 10: 736 enodes 1.246 * * [simplify]: iteration 11: 1801 enodes 6.780 * * [simplify]: iteration 12: 3396 enodes 6.976 * * [simplify]: iteration 13: 3512 enodes 7.074 * * [simplify]: iteration 14: 3539 enodes 7.144 * * [simplify]: iteration 15: 3637 enodes 7.348 * * [simplify]: iteration 16: 3823 enodes 7.584 * * [simplify]: iteration 17: 4283 enodes 8.710 * * [simplify]: iteration 18: 4978 enodes 8.814 * * [simplify]: iteration complete: 5000 enodes 8.814 * * [simplify]: Extracting #0: cost 1 inf + 0 8.814 * * [simplify]: Extracting #1: cost 30 inf + 0 8.816 * * [simplify]: Extracting #2: cost 76 inf + 285 8.820 * * [simplify]: Extracting #3: cost 18 inf + 3988 8.828 * * [simplify]: Extracting #4: cost 1 inf + 5994 8.836 * * [simplify]: Extracting #5: cost 0 inf + 6116 8.843 * [simplify]: Simplified to: (fma (- y x) z x) 8.851 * * [progress]: iteration 1 / 4 8.851 * * * [progress]: picking best candidate 8.860 * * * * [pick]: Picked # 8.860 * * * [progress]: localizing error 8.876 * * * [progress]: generating rewritten candidates 8.876 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 8.876 * * * [progress]: generating series expansions 8.876 * * * * [progress]: [ 1 / 1 ] generating series at (2) 8.877 * [backup-simplify]: Simplify (fma (- y x) z x) into (fma (- y x) z x) 8.877 * [approximate]: Taking taylor expansion of (fma (- y x) z x) in (y x z) around 0 8.877 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in z 8.877 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 8.877 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 8.877 * [taylor]: Taking taylor expansion of (- y x) in z 8.877 * [taylor]: Taking taylor expansion of y in z 8.877 * [backup-simplify]: Simplify y into y 8.877 * [taylor]: Taking taylor expansion of x in z 8.877 * [backup-simplify]: Simplify x into x 8.877 * [taylor]: Taking taylor expansion of z in z 8.877 * [backup-simplify]: Simplify 0 into 0 8.877 * [backup-simplify]: Simplify 1 into 1 8.877 * [taylor]: Taking taylor expansion of x in z 8.877 * [backup-simplify]: Simplify x into x 8.877 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in x 8.877 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 8.877 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 8.877 * [taylor]: Taking taylor expansion of (- y x) in x 8.877 * [taylor]: Taking taylor expansion of y in x 8.877 * [backup-simplify]: Simplify y into y 8.877 * [taylor]: Taking taylor expansion of x in x 8.877 * [backup-simplify]: Simplify 0 into 0 8.877 * [backup-simplify]: Simplify 1 into 1 8.877 * [taylor]: Taking taylor expansion of z in x 8.877 * [backup-simplify]: Simplify z into z 8.877 * [taylor]: Taking taylor expansion of x in x 8.877 * [backup-simplify]: Simplify 0 into 0 8.877 * [backup-simplify]: Simplify 1 into 1 8.877 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in y 8.877 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 8.878 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 8.878 * [taylor]: Taking taylor expansion of (- y x) in y 8.878 * [taylor]: Taking taylor expansion of y in y 8.878 * [backup-simplify]: Simplify 0 into 0 8.878 * [backup-simplify]: Simplify 1 into 1 8.878 * [taylor]: Taking taylor expansion of x in y 8.878 * [backup-simplify]: Simplify x into x 8.878 * [taylor]: Taking taylor expansion of z in y 8.878 * [backup-simplify]: Simplify z into z 8.878 * [taylor]: Taking taylor expansion of x in y 8.878 * [backup-simplify]: Simplify x into x 8.878 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in y 8.878 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 8.878 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 8.878 * [taylor]: Taking taylor expansion of (- y x) in y 8.878 * [taylor]: Taking taylor expansion of y in y 8.878 * [backup-simplify]: Simplify 0 into 0 8.878 * [backup-simplify]: Simplify 1 into 1 8.878 * [taylor]: Taking taylor expansion of x in y 8.878 * [backup-simplify]: Simplify x into x 8.878 * [taylor]: Taking taylor expansion of z in y 8.878 * [backup-simplify]: Simplify z into z 8.878 * [taylor]: Taking taylor expansion of x in y 8.878 * [backup-simplify]: Simplify x into x 8.878 * [backup-simplify]: Simplify (- x) into (- x) 8.878 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 8.878 * [backup-simplify]: Simplify (* (- x) z) into (* -1 (* x z)) 8.879 * [backup-simplify]: Simplify (+ (* -1 (* x z)) x) into (- x (* x z)) 8.879 * [taylor]: Taking taylor expansion of (- x (* x z)) in x 8.879 * [taylor]: Taking taylor expansion of x in x 8.879 * [backup-simplify]: Simplify 0 into 0 8.879 * [backup-simplify]: Simplify 1 into 1 8.879 * [taylor]: Taking taylor expansion of (* x z) in x 8.879 * [taylor]: Taking taylor expansion of x in x 8.879 * [backup-simplify]: Simplify 0 into 0 8.879 * [backup-simplify]: Simplify 1 into 1 8.879 * [taylor]: Taking taylor expansion of z in x 8.879 * [backup-simplify]: Simplify z into z 8.879 * [backup-simplify]: Simplify (* 0 z) into 0 8.880 * [backup-simplify]: Simplify (- 0) into 0 8.880 * [backup-simplify]: Simplify (+ 0 0) into 0 8.880 * [taylor]: Taking taylor expansion of 0 in z 8.880 * [backup-simplify]: Simplify 0 into 0 8.880 * [backup-simplify]: Simplify 0 into 0 8.880 * [backup-simplify]: Simplify (- 0) into 0 8.881 * [backup-simplify]: Simplify (+ 1 0) into 1 8.881 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 z)) into z 8.881 * [backup-simplify]: Simplify (+ z 0) into z 8.881 * [taylor]: Taking taylor expansion of z in x 8.881 * [backup-simplify]: Simplify z into z 8.881 * [taylor]: Taking taylor expansion of z in z 8.881 * [backup-simplify]: Simplify 0 into 0 8.881 * [backup-simplify]: Simplify 1 into 1 8.881 * [backup-simplify]: Simplify 0 into 0 8.882 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 8.882 * [backup-simplify]: Simplify (- z) into (- z) 8.882 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z) 8.882 * [taylor]: Taking taylor expansion of (- 1 z) in z 8.882 * [taylor]: Taking taylor expansion of 1 in z 8.882 * [backup-simplify]: Simplify 1 into 1 8.882 * [taylor]: Taking taylor expansion of z in z 8.882 * [backup-simplify]: Simplify 0 into 0 8.882 * [backup-simplify]: Simplify 1 into 1 8.882 * [backup-simplify]: Simplify (- 0) into 0 8.883 * [backup-simplify]: Simplify (+ 1 0) into 1 8.883 * [backup-simplify]: Simplify 1 into 1 8.883 * [backup-simplify]: Simplify 0 into 0 8.883 * [backup-simplify]: Simplify (- 0) into 0 8.884 * [backup-simplify]: Simplify (+ 0 0) into 0 8.884 * [backup-simplify]: Simplify (+ (* (- x) 0) (+ (* 1 0) (* 0 z))) into 0 8.885 * [backup-simplify]: Simplify (+ 0 0) into 0 8.885 * [taylor]: Taking taylor expansion of 0 in x 8.885 * [backup-simplify]: Simplify 0 into 0 8.885 * [taylor]: Taking taylor expansion of 0 in z 8.885 * [backup-simplify]: Simplify 0 into 0 8.885 * [backup-simplify]: Simplify 0 into 0 8.885 * [taylor]: Taking taylor expansion of 0 in z 8.885 * [backup-simplify]: Simplify 0 into 0 8.885 * [backup-simplify]: Simplify 0 into 0 8.886 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 8.886 * [backup-simplify]: Simplify (- 0) into 0 8.887 * [backup-simplify]: Simplify (+ 0 0) into 0 8.887 * [taylor]: Taking taylor expansion of 0 in z 8.887 * [backup-simplify]: Simplify 0 into 0 8.887 * [backup-simplify]: Simplify 0 into 0 8.887 * [backup-simplify]: Simplify 1 into 1 8.887 * [backup-simplify]: Simplify (- 1) into -1 8.888 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.888 * [backup-simplify]: Simplify -1 into -1 8.888 * [backup-simplify]: Simplify (+ (* -1 (* z (* x 1))) (+ (* 1 (* z (* 1 y))) (* 1 (* 1 (* x 1))))) into (- (+ x (* z y)) (* x z)) 8.888 * [backup-simplify]: Simplify (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) into (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) 8.888 * [approximate]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in (y x z) around 0 8.888 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in z 8.888 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 8.888 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in z 8.888 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 8.888 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.888 * [taylor]: Taking taylor expansion of y in z 8.888 * [backup-simplify]: Simplify y into y 8.888 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.888 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.888 * [taylor]: Taking taylor expansion of x in z 8.888 * [backup-simplify]: Simplify x into x 8.888 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.888 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.888 * [taylor]: Taking taylor expansion of z in z 8.888 * [backup-simplify]: Simplify 0 into 0 8.888 * [backup-simplify]: Simplify 1 into 1 8.889 * [backup-simplify]: Simplify (/ 1 1) into 1 8.889 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.889 * [taylor]: Taking taylor expansion of x in z 8.889 * [backup-simplify]: Simplify x into x 8.889 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.889 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in x 8.889 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 8.889 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in x 8.889 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 8.889 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.889 * [taylor]: Taking taylor expansion of y in x 8.889 * [backup-simplify]: Simplify y into y 8.889 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.889 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.889 * [taylor]: Taking taylor expansion of x in x 8.889 * [backup-simplify]: Simplify 0 into 0 8.889 * [backup-simplify]: Simplify 1 into 1 8.889 * [backup-simplify]: Simplify (/ 1 1) into 1 8.889 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.889 * [taylor]: Taking taylor expansion of z in x 8.889 * [backup-simplify]: Simplify z into z 8.889 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.889 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.889 * [taylor]: Taking taylor expansion of x in x 8.889 * [backup-simplify]: Simplify 0 into 0 8.889 * [backup-simplify]: Simplify 1 into 1 8.890 * [backup-simplify]: Simplify (/ 1 1) into 1 8.890 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in y 8.890 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 8.890 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in y 8.890 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 8.890 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.890 * [taylor]: Taking taylor expansion of y in y 8.890 * [backup-simplify]: Simplify 0 into 0 8.890 * [backup-simplify]: Simplify 1 into 1 8.890 * [backup-simplify]: Simplify (/ 1 1) into 1 8.890 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.890 * [taylor]: Taking taylor expansion of x in y 8.890 * [backup-simplify]: Simplify x into x 8.890 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.890 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.890 * [taylor]: Taking taylor expansion of z in y 8.890 * [backup-simplify]: Simplify z into z 8.890 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.890 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.890 * [taylor]: Taking taylor expansion of x in y 8.890 * [backup-simplify]: Simplify x into x 8.890 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.890 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in y 8.890 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 8.890 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in y 8.890 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 8.890 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.890 * [taylor]: Taking taylor expansion of y in y 8.890 * [backup-simplify]: Simplify 0 into 0 8.890 * [backup-simplify]: Simplify 1 into 1 8.891 * [backup-simplify]: Simplify (/ 1 1) into 1 8.891 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.891 * [taylor]: Taking taylor expansion of x in y 8.891 * [backup-simplify]: Simplify x into x 8.891 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.891 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.891 * [taylor]: Taking taylor expansion of z in y 8.891 * [backup-simplify]: Simplify z into z 8.891 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.891 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.891 * [taylor]: Taking taylor expansion of x in y 8.891 * [backup-simplify]: Simplify x into x 8.891 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.891 * [backup-simplify]: Simplify (+ 1 0) into 1 8.891 * [backup-simplify]: Simplify (* 1 (/ 1 z)) into (/ 1 z) 8.891 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 8.891 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.891 * [taylor]: Taking taylor expansion of z in x 8.891 * [backup-simplify]: Simplify z into z 8.891 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.891 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 8.892 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.892 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 8.892 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 8.892 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) (/ 1 z))) into (- (/ 1 (* x z))) 8.892 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z))) (/ 1 x)) into (- (/ 1 x) (/ 1 (* x z))) 8.892 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x z))) in x 8.892 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.892 * [taylor]: Taking taylor expansion of x in x 8.892 * [backup-simplify]: Simplify 0 into 0 8.893 * [backup-simplify]: Simplify 1 into 1 8.893 * [backup-simplify]: Simplify (/ 1 1) into 1 8.893 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 8.893 * [taylor]: Taking taylor expansion of (* x z) in x 8.893 * [taylor]: Taking taylor expansion of x in x 8.893 * [backup-simplify]: Simplify 0 into 0 8.893 * [backup-simplify]: Simplify 1 into 1 8.893 * [taylor]: Taking taylor expansion of z in x 8.893 * [backup-simplify]: Simplify z into z 8.893 * [backup-simplify]: Simplify (* 0 z) into 0 8.893 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 8.893 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.893 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 8.893 * [backup-simplify]: Simplify (+ 1 (- (/ 1 z))) into (- 1 (/ 1 z)) 8.893 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z 8.893 * [taylor]: Taking taylor expansion of 1 in z 8.893 * [backup-simplify]: Simplify 1 into 1 8.893 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.893 * [taylor]: Taking taylor expansion of z in z 8.893 * [backup-simplify]: Simplify 0 into 0 8.893 * [backup-simplify]: Simplify 1 into 1 8.894 * [backup-simplify]: Simplify (/ 1 1) into 1 8.894 * [backup-simplify]: Simplify (- 1) into -1 8.894 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.894 * [backup-simplify]: Simplify -1 into -1 8.894 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.894 * [taylor]: Taking taylor expansion of z in z 8.894 * [backup-simplify]: Simplify 0 into 0 8.894 * [backup-simplify]: Simplify 1 into 1 8.894 * [backup-simplify]: Simplify (/ 1 1) into 1 8.895 * [backup-simplify]: Simplify 1 into 1 8.895 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 8.895 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.895 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 8.895 * [backup-simplify]: Simplify (- 0) into 0 8.896 * [backup-simplify]: Simplify (+ 0 0) into 0 8.896 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 (/ 1 z)))) into 0 8.896 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 8.896 * [backup-simplify]: Simplify (+ 0 0) into 0 8.896 * [taylor]: Taking taylor expansion of 0 in x 8.896 * [backup-simplify]: Simplify 0 into 0 8.897 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.897 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 8.897 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 8.898 * [backup-simplify]: Simplify (- 0) into 0 8.898 * [backup-simplify]: Simplify (+ 0 0) into 0 8.898 * [taylor]: Taking taylor expansion of 0 in z 8.898 * [backup-simplify]: Simplify 0 into 0 8.898 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 8.898 * [taylor]: Taking taylor expansion of 0 in z 8.898 * [backup-simplify]: Simplify 0 into 0 8.899 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.899 * [backup-simplify]: Simplify (- 0) into 0 8.899 * [backup-simplify]: Simplify (+ 1 0) into 1 8.899 * [backup-simplify]: Simplify 1 into 1 8.899 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) 1))) (+ (* 1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 x)) 1))))) into (- (+ x (* z y)) (* x z)) 8.899 * [backup-simplify]: Simplify (fma (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z)) (/ 1 (- x))) into (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) 8.899 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in (y x z) around 0 8.900 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in z 8.900 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 8.900 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in z 8.900 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 8.900 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.900 * [taylor]: Taking taylor expansion of x in z 8.900 * [backup-simplify]: Simplify x into x 8.900 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.900 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.900 * [taylor]: Taking taylor expansion of y in z 8.900 * [backup-simplify]: Simplify y into y 8.900 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.900 * [taylor]: Taking taylor expansion of (/ -1 z) in z 8.900 * [taylor]: Taking taylor expansion of -1 in z 8.900 * [backup-simplify]: Simplify -1 into -1 8.900 * [taylor]: Taking taylor expansion of z in z 8.900 * [backup-simplify]: Simplify 0 into 0 8.900 * [backup-simplify]: Simplify 1 into 1 8.900 * [backup-simplify]: Simplify (/ -1 1) into -1 8.900 * [taylor]: Taking taylor expansion of (/ -1 x) in z 8.900 * [taylor]: Taking taylor expansion of -1 in z 8.900 * [backup-simplify]: Simplify -1 into -1 8.900 * [taylor]: Taking taylor expansion of x in z 8.900 * [backup-simplify]: Simplify x into x 8.900 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 8.900 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in x 8.900 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 8.900 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in x 8.900 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 8.900 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.900 * [taylor]: Taking taylor expansion of x in x 8.900 * [backup-simplify]: Simplify 0 into 0 8.900 * [backup-simplify]: Simplify 1 into 1 8.901 * [backup-simplify]: Simplify (/ 1 1) into 1 8.901 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.901 * [taylor]: Taking taylor expansion of y in x 8.901 * [backup-simplify]: Simplify y into y 8.901 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.901 * [taylor]: Taking taylor expansion of (/ -1 z) in x 8.901 * [taylor]: Taking taylor expansion of -1 in x 8.901 * [backup-simplify]: Simplify -1 into -1 8.901 * [taylor]: Taking taylor expansion of z in x 8.901 * [backup-simplify]: Simplify z into z 8.901 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 8.901 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.901 * [taylor]: Taking taylor expansion of -1 in x 8.901 * [backup-simplify]: Simplify -1 into -1 8.901 * [taylor]: Taking taylor expansion of x in x 8.901 * [backup-simplify]: Simplify 0 into 0 8.901 * [backup-simplify]: Simplify 1 into 1 8.901 * [backup-simplify]: Simplify (/ -1 1) into -1 8.901 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in y 8.901 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 8.901 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in y 8.901 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 8.901 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.901 * [taylor]: Taking taylor expansion of x in y 8.901 * [backup-simplify]: Simplify x into x 8.901 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.901 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.901 * [taylor]: Taking taylor expansion of y in y 8.901 * [backup-simplify]: Simplify 0 into 0 8.901 * [backup-simplify]: Simplify 1 into 1 8.902 * [backup-simplify]: Simplify (/ 1 1) into 1 8.902 * [taylor]: Taking taylor expansion of (/ -1 z) in y 8.902 * [taylor]: Taking taylor expansion of -1 in y 8.902 * [backup-simplify]: Simplify -1 into -1 8.902 * [taylor]: Taking taylor expansion of z in y 8.902 * [backup-simplify]: Simplify z into z 8.902 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 8.902 * [taylor]: Taking taylor expansion of (/ -1 x) in y 8.902 * [taylor]: Taking taylor expansion of -1 in y 8.902 * [backup-simplify]: Simplify -1 into -1 8.902 * [taylor]: Taking taylor expansion of x in y 8.902 * [backup-simplify]: Simplify x into x 8.902 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 8.902 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in y 8.902 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 8.902 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in y 8.902 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 8.902 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.902 * [taylor]: Taking taylor expansion of x in y 8.902 * [backup-simplify]: Simplify x into x 8.902 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.902 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.902 * [taylor]: Taking taylor expansion of y in y 8.902 * [backup-simplify]: Simplify 0 into 0 8.902 * [backup-simplify]: Simplify 1 into 1 8.902 * [backup-simplify]: Simplify (/ 1 1) into 1 8.902 * [taylor]: Taking taylor expansion of (/ -1 z) in y 8.902 * [taylor]: Taking taylor expansion of -1 in y 8.902 * [backup-simplify]: Simplify -1 into -1 8.902 * [taylor]: Taking taylor expansion of z in y 8.902 * [backup-simplify]: Simplify z into z 8.903 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 8.903 * [taylor]: Taking taylor expansion of (/ -1 x) in y 8.903 * [taylor]: Taking taylor expansion of -1 in y 8.903 * [backup-simplify]: Simplify -1 into -1 8.903 * [taylor]: Taking taylor expansion of x in y 8.903 * [backup-simplify]: Simplify x into x 8.903 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 8.903 * [backup-simplify]: Simplify (- 1) into -1 8.903 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.903 * [backup-simplify]: Simplify (* -1 (/ -1 z)) into (/ 1 z) 8.903 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 8.903 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.903 * [taylor]: Taking taylor expansion of z in x 8.903 * [backup-simplify]: Simplify z into z 8.903 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.903 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 8.904 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.904 * [backup-simplify]: Simplify (- 0) into 0 8.904 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 8.905 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 x) (/ -1 z))) into (- (/ 1 (* x z))) 8.905 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z))) (/ -1 x)) into (- (+ (/ 1 (* x z)) (/ 1 x))) 8.905 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 x))) in x 8.905 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x 8.905 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 8.905 * [taylor]: Taking taylor expansion of (* x z) in x 8.905 * [taylor]: Taking taylor expansion of x in x 8.905 * [backup-simplify]: Simplify 0 into 0 8.905 * [backup-simplify]: Simplify 1 into 1 8.905 * [taylor]: Taking taylor expansion of z in x 8.905 * [backup-simplify]: Simplify z into z 8.905 * [backup-simplify]: Simplify (* 0 z) into 0 8.905 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 8.905 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.905 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.905 * [taylor]: Taking taylor expansion of x in x 8.905 * [backup-simplify]: Simplify 0 into 0 8.905 * [backup-simplify]: Simplify 1 into 1 8.905 * [backup-simplify]: Simplify (/ 1 1) into 1 8.905 * [backup-simplify]: Simplify (+ (/ 1 z) 1) into (+ 1 (/ 1 z)) 8.906 * [backup-simplify]: Simplify (- (+ 1 (/ 1 z))) into (- (+ 1 (/ 1 z))) 8.906 * [taylor]: Taking taylor expansion of (- (+ 1 (/ 1 z))) in z 8.906 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 z)) in z 8.906 * [taylor]: Taking taylor expansion of 1 in z 8.906 * [backup-simplify]: Simplify 1 into 1 8.906 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.906 * [taylor]: Taking taylor expansion of z in z 8.906 * [backup-simplify]: Simplify 0 into 0 8.906 * [backup-simplify]: Simplify 1 into 1 8.906 * [backup-simplify]: Simplify (/ 1 1) into 1 8.906 * [backup-simplify]: Simplify (+ 0 1) into 1 8.906 * [backup-simplify]: Simplify (- 1) into -1 8.906 * [backup-simplify]: Simplify -1 into -1 8.906 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.906 * [taylor]: Taking taylor expansion of z in z 8.906 * [backup-simplify]: Simplify 0 into 0 8.906 * [backup-simplify]: Simplify 1 into 1 8.907 * [backup-simplify]: Simplify (/ 1 1) into 1 8.907 * [backup-simplify]: Simplify 1 into 1 8.907 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 8.907 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 8.907 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.908 * [backup-simplify]: Simplify (- 0) into 0 8.908 * [backup-simplify]: Simplify (+ 0 0) into 0 8.908 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (* 0 (/ -1 z)))) into 0 8.908 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 8.909 * [backup-simplify]: Simplify (+ 0 0) into 0 8.909 * [taylor]: Taking taylor expansion of 0 in x 8.909 * [backup-simplify]: Simplify 0 into 0 8.909 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 8.909 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 8.910 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.910 * [backup-simplify]: Simplify (+ 0 0) into 0 8.910 * [backup-simplify]: Simplify (- 0) into 0 8.910 * [taylor]: Taking taylor expansion of 0 in z 8.910 * [backup-simplify]: Simplify 0 into 0 8.910 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 8.910 * [taylor]: Taking taylor expansion of 0 in z 8.910 * [backup-simplify]: Simplify 0 into 0 8.911 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.911 * [backup-simplify]: Simplify (+ 1 0) into 1 8.912 * [backup-simplify]: Simplify (- 1) into -1 8.912 * [backup-simplify]: Simplify -1 into -1 8.912 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 (- x))) 1))) (+ (* 1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- x))) 1))))) into (- (+ x (* z y)) (* x z)) 8.912 * * * [progress]: simplifying candidates 8.912 * * * * [progress]: [ 1 / 14 ] simplifiying candidate # 8.912 * * * * [progress]: [ 2 / 14 ] simplifiying candidate # 8.912 * * * * [progress]: [ 3 / 14 ] simplifiying candidate # 8.912 * * * * [progress]: [ 4 / 14 ] simplifiying candidate # 8.912 * * * * [progress]: [ 5 / 14 ] simplifiying candidate # 8.912 * * * * [progress]: [ 6 / 14 ] simplifiying candidate # 8.912 * * * * [progress]: [ 7 / 14 ] simplifiying candidate # 8.912 * * * * [progress]: [ 8 / 14 ] simplifiying candidate # 8.912 * * * * [progress]: [ 9 / 14 ] simplifiying candidate # 8.912 * * * * [progress]: [ 10 / 14 ] simplifiying candidate # 8.912 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #real (real->posit16 (fma (- y x) z x))))> 8.912 * * * * [progress]: [ 12 / 14 ] simplifiying candidate # 8.912 * * * * [progress]: [ 13 / 14 ] simplifiying candidate # 8.912 * * * * [progress]: [ 14 / 14 ] simplifiying candidate # 8.913 * [simplify]: Simplifying: (expm1 (fma (- y x) z x)) (log1p (fma (- y x) z x)) (* (- y x) z) (log (fma (- y x) z x)) (exp (fma (- y x) z x)) (* (cbrt (fma (- y x) z x)) (cbrt (fma (- y x) z x))) (cbrt (fma (- y x) z x)) (* (* (fma (- y x) z x) (fma (- y x) z x)) (fma (- y x) z x)) (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)) (real->posit16 (fma (- y x) z x)) (- (+ x (* z y)) (* x z)) (- (+ x (* z y)) (* x z)) (- (+ x (* z y)) (* x z)) 8.913 * * [simplify]: iteration 0: 20 enodes 8.915 * * [simplify]: iteration 1: 32 enodes 8.920 * * [simplify]: iteration 2: 70 enodes 8.947 * * [simplify]: iteration 3: 292 enodes 9.224 * * [simplify]: iteration 4: 1630 enodes 10.136 * * [simplify]: iteration complete: 5000 enodes 10.136 * * [simplify]: Extracting #0: cost 11 inf + 0 10.136 * * [simplify]: Extracting #1: cost 62 inf + 0 10.140 * * [simplify]: Extracting #2: cost 551 inf + 128 10.160 * * [simplify]: Extracting #3: cost 1136 inf + 33571 10.229 * * [simplify]: Extracting #4: cost 220 inf + 256249 10.322 * * [simplify]: Extracting #5: cost 3 inf + 306808 10.464 * * [simplify]: Extracting #6: cost 0 inf + 306493 10.557 * [simplify]: Simplified to: (expm1 (fma z (- y x) x)) (log1p (fma z (- y x) x)) (* (- y x) z) (log (fma z (- y x) x)) (exp (fma z (- y x) x)) (* (cbrt (fma z (- y x) x)) (cbrt (fma z (- y x) x))) (cbrt (fma z (- y x) x)) (* (* (fma z (- y x) x) (fma z (- y x) x)) (fma z (- y x) x)) (sqrt (fma z (- y x) x)) (sqrt (fma z (- y x) x)) (real->posit16 (fma z (- y x) x)) (fma z (- y x) x) (fma z (- y x) x) (fma z (- y x) x) 10.557 * * * [progress]: adding candidates to table 10.632 * * [progress]: iteration 2 / 4 10.632 * * * [progress]: picking best candidate 10.638 * * * * [pick]: Picked # 10.638 * * * [progress]: localizing error 10.670 * * * [progress]: generating rewritten candidates 10.670 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 10.689 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 10.691 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 10.694 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 10.696 * * * [progress]: generating series expansions 10.696 * * * * [progress]: [ 1 / 4 ] generating series at (2) 10.696 * [backup-simplify]: Simplify (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x))) into (fma (- y x) z x) 10.696 * [approximate]: Taking taylor expansion of (fma (- y x) z x) in (y x z) around 0 10.696 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in z 10.696 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 10.696 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 10.696 * [taylor]: Taking taylor expansion of (- y x) in z 10.696 * [taylor]: Taking taylor expansion of y in z 10.696 * [backup-simplify]: Simplify y into y 10.696 * [taylor]: Taking taylor expansion of x in z 10.697 * [backup-simplify]: Simplify x into x 10.697 * [taylor]: Taking taylor expansion of z in z 10.697 * [backup-simplify]: Simplify 0 into 0 10.697 * [backup-simplify]: Simplify 1 into 1 10.697 * [taylor]: Taking taylor expansion of x in z 10.697 * [backup-simplify]: Simplify x into x 10.697 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in x 10.697 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 10.697 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 10.697 * [taylor]: Taking taylor expansion of (- y x) in x 10.697 * [taylor]: Taking taylor expansion of y in x 10.697 * [backup-simplify]: Simplify y into y 10.697 * [taylor]: Taking taylor expansion of x in x 10.697 * [backup-simplify]: Simplify 0 into 0 10.697 * [backup-simplify]: Simplify 1 into 1 10.697 * [taylor]: Taking taylor expansion of z in x 10.697 * [backup-simplify]: Simplify z into z 10.697 * [taylor]: Taking taylor expansion of x in x 10.697 * [backup-simplify]: Simplify 0 into 0 10.697 * [backup-simplify]: Simplify 1 into 1 10.697 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in y 10.697 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 10.697 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 10.697 * [taylor]: Taking taylor expansion of (- y x) in y 10.697 * [taylor]: Taking taylor expansion of y in y 10.697 * [backup-simplify]: Simplify 0 into 0 10.697 * [backup-simplify]: Simplify 1 into 1 10.697 * [taylor]: Taking taylor expansion of x in y 10.697 * [backup-simplify]: Simplify x into x 10.697 * [taylor]: Taking taylor expansion of z in y 10.697 * [backup-simplify]: Simplify z into z 10.697 * [taylor]: Taking taylor expansion of x in y 10.697 * [backup-simplify]: Simplify x into x 10.697 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in y 10.697 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 10.697 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 10.697 * [taylor]: Taking taylor expansion of (- y x) in y 10.698 * [taylor]: Taking taylor expansion of y in y 10.698 * [backup-simplify]: Simplify 0 into 0 10.698 * [backup-simplify]: Simplify 1 into 1 10.698 * [taylor]: Taking taylor expansion of x in y 10.698 * [backup-simplify]: Simplify x into x 10.698 * [taylor]: Taking taylor expansion of z in y 10.698 * [backup-simplify]: Simplify z into z 10.698 * [taylor]: Taking taylor expansion of x in y 10.698 * [backup-simplify]: Simplify x into x 10.698 * [backup-simplify]: Simplify (- x) into (- x) 10.698 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 10.698 * [backup-simplify]: Simplify (* (- x) z) into (* -1 (* x z)) 10.698 * [backup-simplify]: Simplify (+ (* -1 (* x z)) x) into (- x (* x z)) 10.698 * [taylor]: Taking taylor expansion of (- x (* x z)) in x 10.698 * [taylor]: Taking taylor expansion of x in x 10.698 * [backup-simplify]: Simplify 0 into 0 10.698 * [backup-simplify]: Simplify 1 into 1 10.698 * [taylor]: Taking taylor expansion of (* x z) in x 10.698 * [taylor]: Taking taylor expansion of x in x 10.698 * [backup-simplify]: Simplify 0 into 0 10.698 * [backup-simplify]: Simplify 1 into 1 10.698 * [taylor]: Taking taylor expansion of z in x 10.698 * [backup-simplify]: Simplify z into z 10.698 * [backup-simplify]: Simplify (* 0 z) into 0 10.699 * [backup-simplify]: Simplify (- 0) into 0 10.700 * [backup-simplify]: Simplify (+ 0 0) into 0 10.700 * [taylor]: Taking taylor expansion of 0 in z 10.700 * [backup-simplify]: Simplify 0 into 0 10.700 * [backup-simplify]: Simplify 0 into 0 10.700 * [backup-simplify]: Simplify (- 0) into 0 10.701 * [backup-simplify]: Simplify (+ 1 0) into 1 10.701 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 z)) into z 10.701 * [backup-simplify]: Simplify (+ z 0) into z 10.701 * [taylor]: Taking taylor expansion of z in x 10.701 * [backup-simplify]: Simplify z into z 10.701 * [taylor]: Taking taylor expansion of z in z 10.701 * [backup-simplify]: Simplify 0 into 0 10.701 * [backup-simplify]: Simplify 1 into 1 10.701 * [backup-simplify]: Simplify 0 into 0 10.702 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 10.702 * [backup-simplify]: Simplify (- z) into (- z) 10.702 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z) 10.702 * [taylor]: Taking taylor expansion of (- 1 z) in z 10.702 * [taylor]: Taking taylor expansion of 1 in z 10.702 * [backup-simplify]: Simplify 1 into 1 10.702 * [taylor]: Taking taylor expansion of z in z 10.702 * [backup-simplify]: Simplify 0 into 0 10.702 * [backup-simplify]: Simplify 1 into 1 10.703 * [backup-simplify]: Simplify (- 0) into 0 10.703 * [backup-simplify]: Simplify (+ 1 0) into 1 10.703 * [backup-simplify]: Simplify 1 into 1 10.703 * [backup-simplify]: Simplify 0 into 0 10.703 * [backup-simplify]: Simplify (- 0) into 0 10.704 * [backup-simplify]: Simplify (+ 0 0) into 0 10.704 * [backup-simplify]: Simplify (+ (* (- x) 0) (+ (* 1 0) (* 0 z))) into 0 10.705 * [backup-simplify]: Simplify (+ 0 0) into 0 10.705 * [taylor]: Taking taylor expansion of 0 in x 10.705 * [backup-simplify]: Simplify 0 into 0 10.705 * [taylor]: Taking taylor expansion of 0 in z 10.705 * [backup-simplify]: Simplify 0 into 0 10.705 * [backup-simplify]: Simplify 0 into 0 10.705 * [taylor]: Taking taylor expansion of 0 in z 10.705 * [backup-simplify]: Simplify 0 into 0 10.705 * [backup-simplify]: Simplify 0 into 0 10.706 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 10.706 * [backup-simplify]: Simplify (- 0) into 0 10.707 * [backup-simplify]: Simplify (+ 0 0) into 0 10.707 * [taylor]: Taking taylor expansion of 0 in z 10.707 * [backup-simplify]: Simplify 0 into 0 10.707 * [backup-simplify]: Simplify 0 into 0 10.707 * [backup-simplify]: Simplify 1 into 1 10.707 * [backup-simplify]: Simplify (- 1) into -1 10.708 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.708 * [backup-simplify]: Simplify -1 into -1 10.708 * [backup-simplify]: Simplify (+ (* -1 (* z (* x 1))) (+ (* 1 (* z (* 1 y))) (* 1 (* 1 (* x 1))))) into (- (+ x (* z y)) (* x z)) 10.709 * [backup-simplify]: Simplify (* (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)))) into (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) 10.709 * [approximate]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in (y x z) around 0 10.709 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in z 10.709 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 10.709 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in z 10.709 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 10.709 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.709 * [taylor]: Taking taylor expansion of y in z 10.709 * [backup-simplify]: Simplify y into y 10.709 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.709 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.709 * [taylor]: Taking taylor expansion of x in z 10.709 * [backup-simplify]: Simplify x into x 10.709 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.709 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.709 * [taylor]: Taking taylor expansion of z in z 10.709 * [backup-simplify]: Simplify 0 into 0 10.709 * [backup-simplify]: Simplify 1 into 1 10.710 * [backup-simplify]: Simplify (/ 1 1) into 1 10.710 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.710 * [taylor]: Taking taylor expansion of x in z 10.710 * [backup-simplify]: Simplify x into x 10.710 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.710 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in x 10.710 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 10.710 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in x 10.710 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 10.710 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.710 * [taylor]: Taking taylor expansion of y in x 10.710 * [backup-simplify]: Simplify y into y 10.710 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.710 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.710 * [taylor]: Taking taylor expansion of x in x 10.710 * [backup-simplify]: Simplify 0 into 0 10.710 * [backup-simplify]: Simplify 1 into 1 10.711 * [backup-simplify]: Simplify (/ 1 1) into 1 10.711 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.711 * [taylor]: Taking taylor expansion of z in x 10.711 * [backup-simplify]: Simplify z into z 10.711 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.711 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.711 * [taylor]: Taking taylor expansion of x in x 10.711 * [backup-simplify]: Simplify 0 into 0 10.711 * [backup-simplify]: Simplify 1 into 1 10.711 * [backup-simplify]: Simplify (/ 1 1) into 1 10.711 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in y 10.711 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 10.711 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in y 10.711 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 10.711 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.711 * [taylor]: Taking taylor expansion of y in y 10.711 * [backup-simplify]: Simplify 0 into 0 10.711 * [backup-simplify]: Simplify 1 into 1 10.712 * [backup-simplify]: Simplify (/ 1 1) into 1 10.712 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.712 * [taylor]: Taking taylor expansion of x in y 10.712 * [backup-simplify]: Simplify x into x 10.712 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.712 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.712 * [taylor]: Taking taylor expansion of z in y 10.712 * [backup-simplify]: Simplify z into z 10.712 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.712 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.712 * [taylor]: Taking taylor expansion of x in y 10.712 * [backup-simplify]: Simplify x into x 10.712 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.712 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in y 10.712 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 10.712 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in y 10.712 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 10.712 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.712 * [taylor]: Taking taylor expansion of y in y 10.713 * [backup-simplify]: Simplify 0 into 0 10.713 * [backup-simplify]: Simplify 1 into 1 10.713 * [backup-simplify]: Simplify (/ 1 1) into 1 10.713 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.713 * [taylor]: Taking taylor expansion of x in y 10.713 * [backup-simplify]: Simplify x into x 10.713 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.713 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.713 * [taylor]: Taking taylor expansion of z in y 10.713 * [backup-simplify]: Simplify z into z 10.713 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.713 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.713 * [taylor]: Taking taylor expansion of x in y 10.713 * [backup-simplify]: Simplify x into x 10.713 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.714 * [backup-simplify]: Simplify (+ 1 0) into 1 10.714 * [backup-simplify]: Simplify (* 1 (/ 1 z)) into (/ 1 z) 10.714 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 10.714 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.714 * [taylor]: Taking taylor expansion of z in x 10.714 * [backup-simplify]: Simplify z into z 10.714 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.714 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 10.715 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.715 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 10.715 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 10.716 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) (/ 1 z))) into (- (/ 1 (* x z))) 10.716 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z))) (/ 1 x)) into (- (/ 1 x) (/ 1 (* x z))) 10.716 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x z))) in x 10.716 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.716 * [taylor]: Taking taylor expansion of x in x 10.716 * [backup-simplify]: Simplify 0 into 0 10.716 * [backup-simplify]: Simplify 1 into 1 10.717 * [backup-simplify]: Simplify (/ 1 1) into 1 10.717 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 10.717 * [taylor]: Taking taylor expansion of (* x z) in x 10.717 * [taylor]: Taking taylor expansion of x in x 10.717 * [backup-simplify]: Simplify 0 into 0 10.717 * [backup-simplify]: Simplify 1 into 1 10.717 * [taylor]: Taking taylor expansion of z in x 10.717 * [backup-simplify]: Simplify z into z 10.717 * [backup-simplify]: Simplify (* 0 z) into 0 10.717 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 10.717 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.717 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 10.717 * [backup-simplify]: Simplify (+ 1 (- (/ 1 z))) into (- 1 (/ 1 z)) 10.718 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z 10.718 * [taylor]: Taking taylor expansion of 1 in z 10.718 * [backup-simplify]: Simplify 1 into 1 10.718 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.718 * [taylor]: Taking taylor expansion of z in z 10.718 * [backup-simplify]: Simplify 0 into 0 10.718 * [backup-simplify]: Simplify 1 into 1 10.718 * [backup-simplify]: Simplify (/ 1 1) into 1 10.718 * [backup-simplify]: Simplify (- 1) into -1 10.719 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.719 * [backup-simplify]: Simplify -1 into -1 10.719 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.719 * [taylor]: Taking taylor expansion of z in z 10.719 * [backup-simplify]: Simplify 0 into 0 10.719 * [backup-simplify]: Simplify 1 into 1 10.719 * [backup-simplify]: Simplify (/ 1 1) into 1 10.719 * [backup-simplify]: Simplify 1 into 1 10.720 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.721 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.721 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.721 * [backup-simplify]: Simplify (- 0) into 0 10.722 * [backup-simplify]: Simplify (+ 0 0) into 0 10.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 (/ 1 z)))) into 0 10.722 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.723 * [backup-simplify]: Simplify (+ 0 0) into 0 10.723 * [taylor]: Taking taylor expansion of 0 in x 10.723 * [backup-simplify]: Simplify 0 into 0 10.724 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.724 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 10.725 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 10.725 * [backup-simplify]: Simplify (- 0) into 0 10.725 * [backup-simplify]: Simplify (+ 0 0) into 0 10.725 * [taylor]: Taking taylor expansion of 0 in z 10.726 * [backup-simplify]: Simplify 0 into 0 10.726 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 10.726 * [taylor]: Taking taylor expansion of 0 in z 10.726 * [backup-simplify]: Simplify 0 into 0 10.727 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.727 * [backup-simplify]: Simplify (- 0) into 0 10.727 * [backup-simplify]: Simplify (+ 1 0) into 1 10.727 * [backup-simplify]: Simplify 1 into 1 10.728 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) 1))) (+ (* 1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 x)) 1))))) into (- (+ x (* z y)) (* x z)) 10.729 * [backup-simplify]: Simplify (* (sqrt (fma (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z)) (/ 1 (- x)))) (sqrt (fma (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z)) (/ 1 (- x))))) into (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) 10.729 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in (y x z) around 0 10.729 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in z 10.729 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 10.729 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in z 10.729 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 10.729 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.729 * [taylor]: Taking taylor expansion of x in z 10.729 * [backup-simplify]: Simplify x into x 10.729 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.729 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.729 * [taylor]: Taking taylor expansion of y in z 10.729 * [backup-simplify]: Simplify y into y 10.729 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.729 * [taylor]: Taking taylor expansion of (/ -1 z) in z 10.729 * [taylor]: Taking taylor expansion of -1 in z 10.729 * [backup-simplify]: Simplify -1 into -1 10.729 * [taylor]: Taking taylor expansion of z in z 10.729 * [backup-simplify]: Simplify 0 into 0 10.729 * [backup-simplify]: Simplify 1 into 1 10.730 * [backup-simplify]: Simplify (/ -1 1) into -1 10.730 * [taylor]: Taking taylor expansion of (/ -1 x) in z 10.730 * [taylor]: Taking taylor expansion of -1 in z 10.730 * [backup-simplify]: Simplify -1 into -1 10.730 * [taylor]: Taking taylor expansion of x in z 10.730 * [backup-simplify]: Simplify x into x 10.730 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 10.730 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in x 10.730 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 10.730 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in x 10.730 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 10.730 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.730 * [taylor]: Taking taylor expansion of x in x 10.730 * [backup-simplify]: Simplify 0 into 0 10.730 * [backup-simplify]: Simplify 1 into 1 10.731 * [backup-simplify]: Simplify (/ 1 1) into 1 10.731 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.731 * [taylor]: Taking taylor expansion of y in x 10.731 * [backup-simplify]: Simplify y into y 10.731 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.731 * [taylor]: Taking taylor expansion of (/ -1 z) in x 10.731 * [taylor]: Taking taylor expansion of -1 in x 10.731 * [backup-simplify]: Simplify -1 into -1 10.731 * [taylor]: Taking taylor expansion of z in x 10.731 * [backup-simplify]: Simplify z into z 10.731 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 10.731 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.731 * [taylor]: Taking taylor expansion of -1 in x 10.731 * [backup-simplify]: Simplify -1 into -1 10.731 * [taylor]: Taking taylor expansion of x in x 10.731 * [backup-simplify]: Simplify 0 into 0 10.731 * [backup-simplify]: Simplify 1 into 1 10.732 * [backup-simplify]: Simplify (/ -1 1) into -1 10.732 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in y 10.732 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 10.732 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in y 10.732 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 10.732 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.732 * [taylor]: Taking taylor expansion of x in y 10.732 * [backup-simplify]: Simplify x into x 10.732 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.732 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.732 * [taylor]: Taking taylor expansion of y in y 10.732 * [backup-simplify]: Simplify 0 into 0 10.732 * [backup-simplify]: Simplify 1 into 1 10.733 * [backup-simplify]: Simplify (/ 1 1) into 1 10.733 * [taylor]: Taking taylor expansion of (/ -1 z) in y 10.733 * [taylor]: Taking taylor expansion of -1 in y 10.733 * [backup-simplify]: Simplify -1 into -1 10.733 * [taylor]: Taking taylor expansion of z in y 10.733 * [backup-simplify]: Simplify z into z 10.733 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 10.733 * [taylor]: Taking taylor expansion of (/ -1 x) in y 10.733 * [taylor]: Taking taylor expansion of -1 in y 10.733 * [backup-simplify]: Simplify -1 into -1 10.733 * [taylor]: Taking taylor expansion of x in y 10.733 * [backup-simplify]: Simplify x into x 10.733 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 10.733 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in y 10.733 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 10.733 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in y 10.733 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 10.733 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.733 * [taylor]: Taking taylor expansion of x in y 10.733 * [backup-simplify]: Simplify x into x 10.733 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.733 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.733 * [taylor]: Taking taylor expansion of y in y 10.733 * [backup-simplify]: Simplify 0 into 0 10.733 * [backup-simplify]: Simplify 1 into 1 10.734 * [backup-simplify]: Simplify (/ 1 1) into 1 10.734 * [taylor]: Taking taylor expansion of (/ -1 z) in y 10.734 * [taylor]: Taking taylor expansion of -1 in y 10.734 * [backup-simplify]: Simplify -1 into -1 10.734 * [taylor]: Taking taylor expansion of z in y 10.734 * [backup-simplify]: Simplify z into z 10.734 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 10.734 * [taylor]: Taking taylor expansion of (/ -1 x) in y 10.734 * [taylor]: Taking taylor expansion of -1 in y 10.734 * [backup-simplify]: Simplify -1 into -1 10.734 * [taylor]: Taking taylor expansion of x in y 10.734 * [backup-simplify]: Simplify x into x 10.734 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 10.735 * [backup-simplify]: Simplify (- 1) into -1 10.735 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.735 * [backup-simplify]: Simplify (* -1 (/ -1 z)) into (/ 1 z) 10.735 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 10.735 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.735 * [taylor]: Taking taylor expansion of z in x 10.735 * [backup-simplify]: Simplify z into z 10.736 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.736 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 10.736 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.737 * [backup-simplify]: Simplify (- 0) into 0 10.737 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 10.738 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 x) (/ -1 z))) into (- (/ 1 (* x z))) 10.738 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z))) (/ -1 x)) into (- (+ (/ 1 (* x z)) (/ 1 x))) 10.738 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 x))) in x 10.738 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x 10.738 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 10.738 * [taylor]: Taking taylor expansion of (* x z) in x 10.738 * [taylor]: Taking taylor expansion of x in x 10.738 * [backup-simplify]: Simplify 0 into 0 10.738 * [backup-simplify]: Simplify 1 into 1 10.738 * [taylor]: Taking taylor expansion of z in x 10.738 * [backup-simplify]: Simplify z into z 10.738 * [backup-simplify]: Simplify (* 0 z) into 0 10.738 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 10.739 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.739 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.739 * [taylor]: Taking taylor expansion of x in x 10.739 * [backup-simplify]: Simplify 0 into 0 10.739 * [backup-simplify]: Simplify 1 into 1 10.739 * [backup-simplify]: Simplify (/ 1 1) into 1 10.739 * [backup-simplify]: Simplify (+ (/ 1 z) 1) into (+ 1 (/ 1 z)) 10.739 * [backup-simplify]: Simplify (- (+ 1 (/ 1 z))) into (- (+ 1 (/ 1 z))) 10.739 * [taylor]: Taking taylor expansion of (- (+ 1 (/ 1 z))) in z 10.739 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 z)) in z 10.739 * [taylor]: Taking taylor expansion of 1 in z 10.739 * [backup-simplify]: Simplify 1 into 1 10.739 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.739 * [taylor]: Taking taylor expansion of z in z 10.739 * [backup-simplify]: Simplify 0 into 0 10.739 * [backup-simplify]: Simplify 1 into 1 10.740 * [backup-simplify]: Simplify (/ 1 1) into 1 10.740 * [backup-simplify]: Simplify (+ 0 1) into 1 10.741 * [backup-simplify]: Simplify (- 1) into -1 10.741 * [backup-simplify]: Simplify -1 into -1 10.741 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.741 * [taylor]: Taking taylor expansion of z in z 10.741 * [backup-simplify]: Simplify 0 into 0 10.741 * [backup-simplify]: Simplify 1 into 1 10.741 * [backup-simplify]: Simplify (/ 1 1) into 1 10.741 * [backup-simplify]: Simplify 1 into 1 10.742 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.742 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.743 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.743 * [backup-simplify]: Simplify (- 0) into 0 10.744 * [backup-simplify]: Simplify (+ 0 0) into 0 10.744 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (* 0 (/ -1 z)))) into 0 10.744 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 10.745 * [backup-simplify]: Simplify (+ 0 0) into 0 10.745 * [taylor]: Taking taylor expansion of 0 in x 10.745 * [backup-simplify]: Simplify 0 into 0 10.746 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 10.746 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 10.747 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.747 * [backup-simplify]: Simplify (+ 0 0) into 0 10.748 * [backup-simplify]: Simplify (- 0) into 0 10.748 * [taylor]: Taking taylor expansion of 0 in z 10.748 * [backup-simplify]: Simplify 0 into 0 10.748 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 10.748 * [taylor]: Taking taylor expansion of 0 in z 10.748 * [backup-simplify]: Simplify 0 into 0 10.749 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.749 * [backup-simplify]: Simplify (+ 1 0) into 1 10.750 * [backup-simplify]: Simplify (- 1) into -1 10.750 * [backup-simplify]: Simplify -1 into -1 10.750 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 (- x))) 1))) (+ (* 1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- x))) 1))))) into (- (+ x (* z y)) (* x z)) 10.750 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 10.750 * [backup-simplify]: Simplify (sqrt (fma (- y x) z x)) into (sqrt (fma (- y x) z x)) 10.750 * [approximate]: Taking taylor expansion of (sqrt (fma (- y x) z x)) in (y x z) around 0 10.750 * [taylor]: Taking taylor expansion of (sqrt (fma (- y x) z x)) in z 10.751 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in z 10.751 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 10.751 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 10.751 * [taylor]: Taking taylor expansion of (- y x) in z 10.751 * [taylor]: Taking taylor expansion of y in z 10.751 * [backup-simplify]: Simplify y into y 10.751 * [taylor]: Taking taylor expansion of x in z 10.751 * [backup-simplify]: Simplify x into x 10.751 * [taylor]: Taking taylor expansion of z in z 10.751 * [backup-simplify]: Simplify 0 into 0 10.751 * [backup-simplify]: Simplify 1 into 1 10.751 * [taylor]: Taking taylor expansion of x in z 10.751 * [backup-simplify]: Simplify x into x 10.751 * [backup-simplify]: Simplify (- x) into (- x) 10.751 * [backup-simplify]: Simplify (+ y (- x)) into (- y x) 10.751 * [backup-simplify]: Simplify (* (- y x) 0) into 0 10.751 * [backup-simplify]: Simplify (+ 0 x) into x 10.751 * [backup-simplify]: Simplify (sqrt x) into (sqrt x) 10.752 * [backup-simplify]: Simplify (- 0) into 0 10.752 * [backup-simplify]: Simplify (+ 0 0) into 0 10.753 * [backup-simplify]: Simplify (+ (* (- y x) 1) (* 0 0)) into (- y x) 10.753 * [backup-simplify]: Simplify (+ (- y x) 0) into (- y x) 10.753 * [backup-simplify]: Simplify (/ (- y x) (* 2 (sqrt x))) into (* 1/2 (* (sqrt (/ 1 x)) (- y x))) 10.753 * [taylor]: Taking taylor expansion of (sqrt (fma (- y x) z x)) in x 10.753 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in x 10.753 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 10.753 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 10.753 * [taylor]: Taking taylor expansion of (- y x) in x 10.753 * [taylor]: Taking taylor expansion of y in x 10.753 * [backup-simplify]: Simplify y into y 10.753 * [taylor]: Taking taylor expansion of x in x 10.753 * [backup-simplify]: Simplify 0 into 0 10.753 * [backup-simplify]: Simplify 1 into 1 10.753 * [taylor]: Taking taylor expansion of z in x 10.753 * [backup-simplify]: Simplify z into z 10.753 * [taylor]: Taking taylor expansion of x in x 10.753 * [backup-simplify]: Simplify 0 into 0 10.753 * [backup-simplify]: Simplify 1 into 1 10.754 * [backup-simplify]: Simplify (- 0) into 0 10.754 * [backup-simplify]: Simplify (+ y 0) into y 10.754 * [backup-simplify]: Simplify (* y z) into (* z y) 10.754 * [backup-simplify]: Simplify (+ (* z y) 0) into (* z y) 10.754 * [backup-simplify]: Simplify (sqrt (* z y)) into (sqrt (* z y)) 10.755 * [backup-simplify]: Simplify (- 1) into -1 10.755 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.755 * [backup-simplify]: Simplify (+ (* y 0) (* -1 z)) into (- z) 10.755 * [backup-simplify]: Simplify (+ (- z) 1) into (- 1 z) 10.756 * [backup-simplify]: Simplify (/ (- 1 z) (* 2 (sqrt (* z y)))) into (* 1/2 (* (sqrt (/ 1 (* z y))) (- 1 z))) 10.756 * [taylor]: Taking taylor expansion of (sqrt (fma (- y x) z x)) in y 10.756 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in y 10.756 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 10.756 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 10.756 * [taylor]: Taking taylor expansion of (- y x) in y 10.756 * [taylor]: Taking taylor expansion of y in y 10.756 * [backup-simplify]: Simplify 0 into 0 10.756 * [backup-simplify]: Simplify 1 into 1 10.756 * [taylor]: Taking taylor expansion of x in y 10.756 * [backup-simplify]: Simplify x into x 10.756 * [taylor]: Taking taylor expansion of z in y 10.756 * [backup-simplify]: Simplify z into z 10.756 * [taylor]: Taking taylor expansion of x in y 10.756 * [backup-simplify]: Simplify x into x 10.756 * [backup-simplify]: Simplify (- x) into (- x) 10.756 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 10.756 * [backup-simplify]: Simplify (* (- x) z) into (* -1 (* x z)) 10.756 * [backup-simplify]: Simplify (+ (* -1 (* x z)) x) into (- x (* x z)) 10.756 * [backup-simplify]: Simplify (sqrt (- x (* x z))) into (sqrt (- x (* x z))) 10.757 * [backup-simplify]: Simplify (- 0) into 0 10.757 * [backup-simplify]: Simplify (+ 1 0) into 1 10.758 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 z)) into z 10.758 * [backup-simplify]: Simplify (+ z 0) into z 10.758 * [backup-simplify]: Simplify (/ z (* 2 (sqrt (- x (* x z))))) into (* 1/2 (* (sqrt (/ 1 (- x (* x z)))) z)) 10.758 * [taylor]: Taking taylor expansion of (sqrt (fma (- y x) z x)) in y 10.758 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in y 10.758 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 10.758 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 10.758 * [taylor]: Taking taylor expansion of (- y x) in y 10.758 * [taylor]: Taking taylor expansion of y in y 10.758 * [backup-simplify]: Simplify 0 into 0 10.758 * [backup-simplify]: Simplify 1 into 1 10.758 * [taylor]: Taking taylor expansion of x in y 10.758 * [backup-simplify]: Simplify x into x 10.758 * [taylor]: Taking taylor expansion of z in y 10.758 * [backup-simplify]: Simplify z into z 10.758 * [taylor]: Taking taylor expansion of x in y 10.758 * [backup-simplify]: Simplify x into x 10.758 * [backup-simplify]: Simplify (- x) into (- x) 10.758 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 10.758 * [backup-simplify]: Simplify (* (- x) z) into (* -1 (* x z)) 10.759 * [backup-simplify]: Simplify (+ (* -1 (* x z)) x) into (- x (* x z)) 10.759 * [backup-simplify]: Simplify (sqrt (- x (* x z))) into (sqrt (- x (* x z))) 10.759 * [backup-simplify]: Simplify (- 0) into 0 10.760 * [backup-simplify]: Simplify (+ 1 0) into 1 10.760 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 z)) into z 10.760 * [backup-simplify]: Simplify (+ z 0) into z 10.760 * [backup-simplify]: Simplify (/ z (* 2 (sqrt (- x (* x z))))) into (* 1/2 (* (sqrt (/ 1 (- x (* x z)))) z)) 10.760 * [taylor]: Taking taylor expansion of (sqrt (- x (* x z))) in x 10.760 * [taylor]: Taking taylor expansion of (- x (* x z)) in x 10.760 * [taylor]: Taking taylor expansion of x in x 10.760 * [backup-simplify]: Simplify 0 into 0 10.760 * [backup-simplify]: Simplify 1 into 1 10.760 * [taylor]: Taking taylor expansion of (* x z) in x 10.760 * [taylor]: Taking taylor expansion of x in x 10.760 * [backup-simplify]: Simplify 0 into 0 10.760 * [backup-simplify]: Simplify 1 into 1 10.760 * [taylor]: Taking taylor expansion of z in x 10.760 * [backup-simplify]: Simplify z into z 10.760 * [backup-simplify]: Simplify (* 0 z) into 0 10.761 * [backup-simplify]: Simplify (- 0) into 0 10.761 * [backup-simplify]: Simplify (+ 0 0) into 0 10.762 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 10.762 * [backup-simplify]: Simplify (- z) into (- z) 10.762 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z) 10.762 * [backup-simplify]: Simplify (sqrt 0) into 0 10.763 * [backup-simplify]: Simplify (/ (- 1 z) (* 2 (sqrt 0))) into (* +nan.0 (- 1 z)) 10.763 * [taylor]: Taking taylor expansion of 0 in z 10.763 * [backup-simplify]: Simplify 0 into 0 10.763 * [backup-simplify]: Simplify 0 into 0 10.763 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (/ 1 (- x (* x z)))) z)) in x 10.763 * [taylor]: Taking taylor expansion of 1/2 in x 10.763 * [backup-simplify]: Simplify 1/2 into 1/2 10.763 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- x (* x z)))) z) in x 10.763 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- x (* x z)))) in x 10.763 * [taylor]: Taking taylor expansion of (/ 1 (- x (* x z))) in x 10.763 * [taylor]: Taking taylor expansion of (- x (* x z)) in x 10.763 * [taylor]: Taking taylor expansion of x in x 10.763 * [backup-simplify]: Simplify 0 into 0 10.763 * [backup-simplify]: Simplify 1 into 1 10.763 * [taylor]: Taking taylor expansion of (* x z) in x 10.763 * [taylor]: Taking taylor expansion of x in x 10.763 * [backup-simplify]: Simplify 0 into 0 10.763 * [backup-simplify]: Simplify 1 into 1 10.763 * [taylor]: Taking taylor expansion of z in x 10.763 * [backup-simplify]: Simplify z into z 10.763 * [backup-simplify]: Simplify (* 0 z) into 0 10.764 * [backup-simplify]: Simplify (- 0) into 0 10.764 * [backup-simplify]: Simplify (+ 0 0) into 0 10.764 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 10.765 * [backup-simplify]: Simplify (- z) into (- z) 10.765 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z) 10.765 * [backup-simplify]: Simplify (/ 1 (- 1 z)) into (/ 1 (- 1 z)) 10.765 * [backup-simplify]: Simplify (sqrt 0) into 0 10.766 * [backup-simplify]: Simplify (/ (/ 1 (- 1 z)) (* 2 (sqrt 0))) into (/ +nan.0 (- 1 z)) 10.766 * [taylor]: Taking taylor expansion of z in x 10.766 * [backup-simplify]: Simplify z into z 10.766 * [backup-simplify]: Simplify (+ (* 0 0) (* (/ +nan.0 (- 1 z)) z)) into (- (* +nan.0 (/ z (- 1 z)))) 10.766 * [backup-simplify]: Simplify (* 0 z) into 0 10.767 * [backup-simplify]: Simplify (+ (* 1/2 (- (* +nan.0 (/ z (- 1 z))))) (* 0 0)) into (- (* +nan.0 (/ z (- 1 z)))) 10.767 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ z (- 1 z)))) in z 10.767 * [taylor]: Taking taylor expansion of (* +nan.0 (/ z (- 1 z))) in z 10.767 * [taylor]: Taking taylor expansion of +nan.0 in z 10.767 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.767 * [taylor]: Taking taylor expansion of (/ z (- 1 z)) in z 10.767 * [taylor]: Taking taylor expansion of z in z 10.767 * [backup-simplify]: Simplify 0 into 0 10.767 * [backup-simplify]: Simplify 1 into 1 10.767 * [taylor]: Taking taylor expansion of (- 1 z) in z 10.767 * [taylor]: Taking taylor expansion of 1 in z 10.767 * [backup-simplify]: Simplify 1 into 1 10.767 * [taylor]: Taking taylor expansion of z in z 10.767 * [backup-simplify]: Simplify 0 into 0 10.767 * [backup-simplify]: Simplify 1 into 1 10.767 * [backup-simplify]: Simplify (- 0) into 0 10.768 * [backup-simplify]: Simplify (+ 1 0) into 1 10.768 * [backup-simplify]: Simplify (/ 1 1) into 1 10.768 * [taylor]: Taking taylor expansion of (* +nan.0 (- 1 z)) in z 10.768 * [taylor]: Taking taylor expansion of +nan.0 in z 10.768 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.768 * [taylor]: Taking taylor expansion of (- 1 z) in z 10.768 * [taylor]: Taking taylor expansion of 1 in z 10.768 * [backup-simplify]: Simplify 1 into 1 10.768 * [taylor]: Taking taylor expansion of z in z 10.768 * [backup-simplify]: Simplify 0 into 0 10.768 * [backup-simplify]: Simplify 1 into 1 10.769 * [backup-simplify]: Simplify (- 0) into 0 10.769 * [backup-simplify]: Simplify (+ 1 0) into 1 10.769 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 10.769 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.769 * [backup-simplify]: Simplify 0 into 0 10.770 * [backup-simplify]: Simplify (- 0) into 0 10.770 * [backup-simplify]: Simplify (+ 0 0) into 0 10.771 * [backup-simplify]: Simplify (+ (* (- x) 0) (+ (* 1 0) (* 0 z))) into 0 10.771 * [backup-simplify]: Simplify (+ 0 0) into 0 10.772 * [backup-simplify]: Simplify (/ (- 0 (pow (* 1/2 (* (sqrt (/ 1 (- x (* x z)))) z)) 2) (+)) (* 2 (sqrt (- x (* x z))))) into (* -1/8 (* (sqrt (/ 1 (pow (- x (* x z)) 3))) (pow z 2))) 10.772 * [taylor]: Taking taylor expansion of (* -1/8 (* (sqrt (/ 1 (pow (- x (* x z)) 3))) (pow z 2))) in x 10.772 * [taylor]: Taking taylor expansion of -1/8 in x 10.772 * [backup-simplify]: Simplify -1/8 into -1/8 10.772 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (pow (- x (* x z)) 3))) (pow z 2)) in x 10.772 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow (- x (* x z)) 3))) in x 10.772 * [taylor]: Taking taylor expansion of (/ 1 (pow (- x (* x z)) 3)) in x 10.772 * [taylor]: Taking taylor expansion of (pow (- x (* x z)) 3) in x 10.772 * [taylor]: Taking taylor expansion of (- x (* x z)) in x 10.772 * [taylor]: Taking taylor expansion of x in x 10.772 * [backup-simplify]: Simplify 0 into 0 10.772 * [backup-simplify]: Simplify 1 into 1 10.772 * [taylor]: Taking taylor expansion of (* x z) in x 10.772 * [taylor]: Taking taylor expansion of x in x 10.772 * [backup-simplify]: Simplify 0 into 0 10.772 * [backup-simplify]: Simplify 1 into 1 10.772 * [taylor]: Taking taylor expansion of z in x 10.772 * [backup-simplify]: Simplify z into z 10.772 * [backup-simplify]: Simplify (* 0 z) into 0 10.773 * [backup-simplify]: Simplify (- 0) into 0 10.773 * [backup-simplify]: Simplify (+ 0 0) into 0 10.773 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 10.773 * [backup-simplify]: Simplify (- z) into (- z) 10.773 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z) 10.773 * [backup-simplify]: Simplify (* (- 1 z) (- 1 z)) into (pow (- 1 z) 2) 10.774 * [backup-simplify]: Simplify (* (- 1 z) (pow (- 1 z) 2)) into (pow (- 1 z) 3) 10.774 * [backup-simplify]: Simplify (/ 1 (pow (- 1 z) 3)) into (/ 1 (pow (- 1 z) 3)) 10.774 * [backup-simplify]: Simplify (sqrt 0) into 0 10.775 * [backup-simplify]: Simplify (/ (/ 1 (pow (- 1 z) 3)) (* 2 (sqrt 0))) into (/ +nan.0 (pow (- 1 z) 3)) 10.775 * [taylor]: Taking taylor expansion of (pow z 2) in x 10.775 * [taylor]: Taking taylor expansion of z in x 10.775 * [backup-simplify]: Simplify z into z 10.775 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 10.775 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 10.776 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 10.776 * [backup-simplify]: Simplify (- 0) into 0 10.777 * [backup-simplify]: Simplify (+ 0 0) into 0 10.777 * [backup-simplify]: Simplify (+ (* (- 1 z) 0) (* 0 (- 1 z))) into 0 10.777 * [backup-simplify]: Simplify (+ (* (- 1 z) 0) (* 0 (pow (- 1 z) 2))) into 0 10.777 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow (- 1 z) 3)) (/ 0 (pow (- 1 z) 3))))) into 0 10.778 * [backup-simplify]: Simplify (/ (- 0 (pow (/ +nan.0 (pow (- 1 z) 3)) 2) (+)) (* 2 0)) into (/ +nan.0 (pow (- 1 z) 6)) 10.778 * [backup-simplify]: Simplify (* z z) into (pow z 2) 10.779 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* (/ +nan.0 (pow (- 1 z) 3)) 0) (* (/ +nan.0 (pow (- 1 z) 6)) (pow z 2)))) into (- (* +nan.0 (/ (pow z 2) (pow (- 1 z) 6)))) 10.779 * [backup-simplify]: Simplify (+ (* 0 0) (* (/ +nan.0 (pow (- 1 z) 3)) (pow z 2))) into (- (* +nan.0 (/ (pow z 2) (pow (- 1 z) 3)))) 10.779 * [backup-simplify]: Simplify (* 0 (pow z 2)) into 0 10.780 * [backup-simplify]: Simplify (+ (* -1/8 (- (* +nan.0 (/ (pow z 2) (pow (- 1 z) 6))))) (+ (* 0 (- (* +nan.0 (/ (pow z 2) (pow (- 1 z) 3))))) (* 0 0))) into (- (* +nan.0 (/ (pow z 2) (pow (- 1 z) 6)))) 10.780 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (pow z 2) (pow (- 1 z) 6)))) in z 10.780 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (pow z 2) (pow (- 1 z) 6))) in z 10.780 * [taylor]: Taking taylor expansion of +nan.0 in z 10.780 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.781 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow (- 1 z) 6)) in z 10.781 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.781 * [taylor]: Taking taylor expansion of z in z 10.781 * [backup-simplify]: Simplify 0 into 0 10.781 * [backup-simplify]: Simplify 1 into 1 10.781 * [taylor]: Taking taylor expansion of (pow (- 1 z) 6) in z 10.781 * [taylor]: Taking taylor expansion of (- 1 z) in z 10.781 * [taylor]: Taking taylor expansion of 1 in z 10.781 * [backup-simplify]: Simplify 1 into 1 10.781 * [taylor]: Taking taylor expansion of z in z 10.781 * [backup-simplify]: Simplify 0 into 0 10.781 * [backup-simplify]: Simplify 1 into 1 10.781 * [backup-simplify]: Simplify (- 0) into 0 10.782 * [backup-simplify]: Simplify (+ 1 0) into 1 10.782 * [backup-simplify]: Simplify (* 1 1) into 1 10.782 * [backup-simplify]: Simplify (* 1 1) into 1 10.783 * [backup-simplify]: Simplify (* 1 1) into 1 10.783 * [backup-simplify]: Simplify (* 1 1) into 1 10.783 * [backup-simplify]: Simplify (/ 1 1) into 1 10.784 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 10.784 * [backup-simplify]: Simplify (- 0) into 0 10.785 * [backup-simplify]: Simplify (+ 0 0) into 0 10.785 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- 1 z)) (/ 0 (- 1 z))))) into 0 10.785 * [backup-simplify]: Simplify (/ (- 0 (pow (/ +nan.0 (- 1 z)) 2) (+)) (* 2 0)) into (/ +nan.0 (pow (- 1 z) 2)) 10.786 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* (/ +nan.0 (- 1 z)) 0) (* (/ +nan.0 (pow (- 1 z) 2)) z))) into (- (* +nan.0 (/ z (pow (- 1 z) 2)))) 10.786 * [backup-simplify]: Simplify (+ (* 1/2 (- (* +nan.0 (/ z (pow (- 1 z) 2))))) (+ (* 0 (- (* +nan.0 (/ z (- 1 z))))) (* 0 0))) into (- (* +nan.0 (/ z (pow (- 1 z) 2)))) 10.786 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ z (pow (- 1 z) 2)))) in z 10.786 * [taylor]: Taking taylor expansion of (* +nan.0 (/ z (pow (- 1 z) 2))) in z 10.786 * [taylor]: Taking taylor expansion of +nan.0 in z 10.786 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.786 * [taylor]: Taking taylor expansion of (/ z (pow (- 1 z) 2)) in z 10.786 * [taylor]: Taking taylor expansion of z in z 10.786 * [backup-simplify]: Simplify 0 into 0 10.786 * [backup-simplify]: Simplify 1 into 1 10.786 * [taylor]: Taking taylor expansion of (pow (- 1 z) 2) in z 10.786 * [taylor]: Taking taylor expansion of (- 1 z) in z 10.786 * [taylor]: Taking taylor expansion of 1 in z 10.786 * [backup-simplify]: Simplify 1 into 1 10.786 * [taylor]: Taking taylor expansion of z in z 10.786 * [backup-simplify]: Simplify 0 into 0 10.786 * [backup-simplify]: Simplify 1 into 1 10.787 * [backup-simplify]: Simplify (- 0) into 0 10.787 * [backup-simplify]: Simplify (+ 1 0) into 1 10.787 * [backup-simplify]: Simplify (* 1 1) into 1 10.787 * [backup-simplify]: Simplify (/ 1 1) into 1 10.788 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 10.788 * [backup-simplify]: Simplify (- 0) into 0 10.788 * [backup-simplify]: Simplify (+ 0 0) into 0 10.789 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (- 1 z)) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (pow z 2)) (- (+ (* +nan.0 z) (- +nan.0))))) 10.789 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (pow z 2)) (- (+ (* +nan.0 z) (- +nan.0))))) in z 10.789 * [taylor]: Taking taylor expansion of +nan.0 in z 10.789 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.789 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow z 2)) (- (+ (* +nan.0 z) (- +nan.0)))) in z 10.789 * [taylor]: Taking taylor expansion of (* +nan.0 (pow z 2)) in z 10.789 * [taylor]: Taking taylor expansion of +nan.0 in z 10.789 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.789 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.789 * [taylor]: Taking taylor expansion of z in z 10.789 * [backup-simplify]: Simplify 0 into 0 10.789 * [backup-simplify]: Simplify 1 into 1 10.789 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 z) (- +nan.0))) in z 10.789 * [taylor]: Taking taylor expansion of (+ (* +nan.0 z) (- +nan.0)) in z 10.789 * [taylor]: Taking taylor expansion of (* +nan.0 z) in z 10.789 * [taylor]: Taking taylor expansion of +nan.0 in z 10.789 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.789 * [taylor]: Taking taylor expansion of z in z 10.789 * [backup-simplify]: Simplify 0 into 0 10.789 * [backup-simplify]: Simplify 1 into 1 10.789 * [taylor]: Taking taylor expansion of (- +nan.0) in z 10.789 * [taylor]: Taking taylor expansion of +nan.0 in z 10.789 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.790 * [backup-simplify]: Simplify (* +nan.0 0) into 0 10.790 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 10.790 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 10.791 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 10.792 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 10.792 * [backup-simplify]: Simplify (* +nan.0 (- +nan.0)) into +nan.0 10.792 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.792 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 10.793 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 10.796 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 10.797 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* z (* 1 y))) (+ (* +nan.0 (pow (* 1 (* x 1)) 2)) (* +nan.0 (* 1 (* x 1))))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (pow x 2))))))) 10.797 * [backup-simplify]: Simplify (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) into (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) 10.797 * [approximate]: Taking taylor expansion of (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) in (y x z) around 0 10.797 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) in z 10.797 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in z 10.797 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 10.797 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in z 10.797 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 10.797 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.797 * [taylor]: Taking taylor expansion of y in z 10.797 * [backup-simplify]: Simplify y into y 10.797 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.797 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.797 * [taylor]: Taking taylor expansion of x in z 10.797 * [backup-simplify]: Simplify x into x 10.797 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.797 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.797 * [taylor]: Taking taylor expansion of z in z 10.797 * [backup-simplify]: Simplify 0 into 0 10.797 * [backup-simplify]: Simplify 1 into 1 10.798 * [backup-simplify]: Simplify (/ 1 1) into 1 10.798 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.798 * [taylor]: Taking taylor expansion of x in z 10.798 * [backup-simplify]: Simplify x into x 10.798 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.798 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 10.798 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 x))) into (- (/ 1 y) (/ 1 x)) 10.798 * [backup-simplify]: Simplify (* (- (/ 1 y) (/ 1 x)) 1) into (- (/ 1 y) (/ 1 x)) 10.798 * [backup-simplify]: Simplify (+ (- (/ 1 y) (/ 1 x)) 0) into (- (/ 1 y) (/ 1 x)) 10.799 * [backup-simplify]: Simplify (sqrt 0) into 0 10.799 * [backup-simplify]: Simplify (/ (- (/ 1 y) (/ 1 x)) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 y) (/ 1 x))) 10.799 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) in x 10.799 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in x 10.799 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 10.799 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in x 10.799 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 10.799 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.799 * [taylor]: Taking taylor expansion of y in x 10.799 * [backup-simplify]: Simplify y into y 10.800 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.800 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.800 * [taylor]: Taking taylor expansion of x in x 10.800 * [backup-simplify]: Simplify 0 into 0 10.800 * [backup-simplify]: Simplify 1 into 1 10.800 * [backup-simplify]: Simplify (/ 1 1) into 1 10.800 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.800 * [taylor]: Taking taylor expansion of z in x 10.800 * [backup-simplify]: Simplify z into z 10.800 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.800 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.800 * [taylor]: Taking taylor expansion of x in x 10.800 * [backup-simplify]: Simplify 0 into 0 10.800 * [backup-simplify]: Simplify 1 into 1 10.800 * [backup-simplify]: Simplify (/ 1 1) into 1 10.801 * [backup-simplify]: Simplify (- 1) into -1 10.801 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.801 * [backup-simplify]: Simplify (* -1 (/ 1 z)) into (/ -1 z) 10.801 * [backup-simplify]: Simplify (+ (/ -1 z) 1) into (- 1 (/ 1 z)) 10.801 * [backup-simplify]: Simplify (sqrt 0) into 0 10.802 * [backup-simplify]: Simplify (/ (- 1 (/ 1 z)) (* 2 (sqrt 0))) into (* +nan.0 (- 1 (/ 1 z))) 10.802 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) in y 10.802 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in y 10.802 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 10.802 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in y 10.802 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 10.802 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.802 * [taylor]: Taking taylor expansion of y in y 10.802 * [backup-simplify]: Simplify 0 into 0 10.802 * [backup-simplify]: Simplify 1 into 1 10.802 * [backup-simplify]: Simplify (/ 1 1) into 1 10.802 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.802 * [taylor]: Taking taylor expansion of x in y 10.802 * [backup-simplify]: Simplify x into x 10.802 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.802 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.802 * [taylor]: Taking taylor expansion of z in y 10.802 * [backup-simplify]: Simplify z into z 10.802 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.802 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.802 * [taylor]: Taking taylor expansion of x in y 10.802 * [backup-simplify]: Simplify x into x 10.802 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.803 * [backup-simplify]: Simplify (+ 1 0) into 1 10.803 * [backup-simplify]: Simplify (* 1 (/ 1 z)) into (/ 1 z) 10.803 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 10.803 * [backup-simplify]: Simplify (sqrt 0) into 0 10.804 * [backup-simplify]: Simplify (/ (/ 1 z) (* 2 (sqrt 0))) into (/ +nan.0 z) 10.804 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) in y 10.804 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in y 10.804 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 10.804 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in y 10.804 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 10.804 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.804 * [taylor]: Taking taylor expansion of y in y 10.804 * [backup-simplify]: Simplify 0 into 0 10.804 * [backup-simplify]: Simplify 1 into 1 10.804 * [backup-simplify]: Simplify (/ 1 1) into 1 10.804 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.804 * [taylor]: Taking taylor expansion of x in y 10.804 * [backup-simplify]: Simplify x into x 10.804 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.804 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.804 * [taylor]: Taking taylor expansion of z in y 10.804 * [backup-simplify]: Simplify z into z 10.804 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.804 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.804 * [taylor]: Taking taylor expansion of x in y 10.804 * [backup-simplify]: Simplify x into x 10.804 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.805 * [backup-simplify]: Simplify (+ 1 0) into 1 10.805 * [backup-simplify]: Simplify (* 1 (/ 1 z)) into (/ 1 z) 10.805 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 10.805 * [backup-simplify]: Simplify (sqrt 0) into 0 10.805 * [backup-simplify]: Simplify (/ (/ 1 z) (* 2 (sqrt 0))) into (/ +nan.0 z) 10.805 * [taylor]: Taking taylor expansion of 0 in x 10.805 * [backup-simplify]: Simplify 0 into 0 10.805 * [taylor]: Taking taylor expansion of (/ +nan.0 z) in x 10.805 * [taylor]: Taking taylor expansion of +nan.0 in x 10.805 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.805 * [taylor]: Taking taylor expansion of z in x 10.805 * [backup-simplify]: Simplify z into z 10.805 * [backup-simplify]: Simplify (/ +nan.0 z) into (/ +nan.0 z) 10.805 * [taylor]: Taking taylor expansion of 0 in z 10.806 * [backup-simplify]: Simplify 0 into 0 10.806 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 10.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.806 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 10.806 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 10.806 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) (/ 1 z))) into (- (/ 1 (* x z))) 10.807 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z))) (/ 1 x)) into (- (/ 1 x) (/ 1 (* x z))) 10.807 * [backup-simplify]: Simplify (/ (- (- (/ 1 x) (/ 1 (* x z))) (pow (/ +nan.0 z) 2) (+)) (* 2 0)) into (* +nan.0 (- (/ 1 x) (+ (/ 1 (* x z)) (- (* +nan.0 (/ 1 (pow z 2))))))) 10.807 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 x) (+ (/ 1 (* x z)) (- (* +nan.0 (/ 1 (pow z 2))))))) in x 10.807 * [taylor]: Taking taylor expansion of +nan.0 in x 10.807 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.807 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ 1 (* x z)) (- (* +nan.0 (/ 1 (pow z 2)))))) in x 10.807 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.807 * [taylor]: Taking taylor expansion of x in x 10.807 * [backup-simplify]: Simplify 0 into 0 10.807 * [backup-simplify]: Simplify 1 into 1 10.808 * [backup-simplify]: Simplify (/ 1 1) into 1 10.808 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (- (* +nan.0 (/ 1 (pow z 2))))) in x 10.808 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 10.808 * [taylor]: Taking taylor expansion of (* x z) in x 10.808 * [taylor]: Taking taylor expansion of x in x 10.808 * [backup-simplify]: Simplify 0 into 0 10.808 * [backup-simplify]: Simplify 1 into 1 10.808 * [taylor]: Taking taylor expansion of z in x 10.808 * [backup-simplify]: Simplify z into z 10.808 * [backup-simplify]: Simplify (* 0 z) into 0 10.808 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 10.808 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.808 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow z 2)))) in x 10.808 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in x 10.808 * [taylor]: Taking taylor expansion of +nan.0 in x 10.808 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.808 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 10.808 * [taylor]: Taking taylor expansion of (pow z 2) in x 10.808 * [taylor]: Taking taylor expansion of z in x 10.808 * [backup-simplify]: Simplify z into z 10.808 * [backup-simplify]: Simplify (* z z) into (pow z 2) 10.808 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 10.808 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 10.808 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 10.808 * [backup-simplify]: Simplify (+ 1 (- (/ 1 z))) into (- 1 (/ 1 z)) 10.808 * [backup-simplify]: Simplify (* +nan.0 (- 1 (/ 1 z))) into (* +nan.0 (- 1 (/ 1 z))) 10.808 * [taylor]: Taking taylor expansion of (* +nan.0 (- 1 (/ 1 z))) in z 10.808 * [taylor]: Taking taylor expansion of +nan.0 in z 10.809 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.809 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z 10.809 * [taylor]: Taking taylor expansion of 1 in z 10.809 * [backup-simplify]: Simplify 1 into 1 10.809 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.809 * [taylor]: Taking taylor expansion of z in z 10.809 * [backup-simplify]: Simplify 0 into 0 10.809 * [backup-simplify]: Simplify 1 into 1 10.809 * [backup-simplify]: Simplify (/ 1 1) into 1 10.809 * [backup-simplify]: Simplify (- 1) into -1 10.809 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.810 * [backup-simplify]: Simplify (* +nan.0 -1) into +nan.0 10.810 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.810 * [taylor]: Taking taylor expansion of (/ +nan.0 z) in z 10.810 * [taylor]: Taking taylor expansion of +nan.0 in z 10.810 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.810 * [taylor]: Taking taylor expansion of z in z 10.810 * [backup-simplify]: Simplify 0 into 0 10.810 * [backup-simplify]: Simplify 1 into 1 10.810 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0 10.810 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.810 * [taylor]: Taking taylor expansion of 0 in z 10.810 * [backup-simplify]: Simplify 0 into 0 10.810 * [backup-simplify]: Simplify 0 into 0 10.810 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.811 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.811 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.811 * [backup-simplify]: Simplify (- 0) into 0 10.811 * [backup-simplify]: Simplify (+ 0 0) into 0 10.812 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 (/ 1 z)))) into 0 10.812 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.812 * [backup-simplify]: Simplify (+ 0 0) into 0 10.813 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 z) (* +nan.0 (- (/ 1 x) (+ (/ 1 (* x z)) (- (* +nan.0 (/ 1 (pow z 2))))))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 3))) (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2))))))))) 10.813 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 3))) (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2))))))))) in x 10.813 * [taylor]: Taking taylor expansion of +nan.0 in x 10.813 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.813 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow z 3))) (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2)))))))) in x 10.813 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 3))) in x 10.813 * [taylor]: Taking taylor expansion of +nan.0 in x 10.813 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.813 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 10.813 * [taylor]: Taking taylor expansion of (pow z 3) in x 10.813 * [taylor]: Taking taylor expansion of z in x 10.813 * [backup-simplify]: Simplify z into z 10.813 * [backup-simplify]: Simplify (* z z) into (pow z 2) 10.813 * [backup-simplify]: Simplify (* z (pow z 2)) into (pow z 3) 10.813 * [backup-simplify]: Simplify (/ 1 (pow z 3)) into (/ 1 (pow z 3)) 10.813 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2))))))) in x 10.813 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2)))))) in x 10.813 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x z))) in x 10.813 * [taylor]: Taking taylor expansion of +nan.0 in x 10.813 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.813 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 10.813 * [taylor]: Taking taylor expansion of (* x z) in x 10.813 * [taylor]: Taking taylor expansion of x in x 10.813 * [backup-simplify]: Simplify 0 into 0 10.813 * [backup-simplify]: Simplify 1 into 1 10.813 * [taylor]: Taking taylor expansion of z in x 10.813 * [backup-simplify]: Simplify z into z 10.813 * [backup-simplify]: Simplify (* 0 z) into 0 10.814 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 10.814 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.814 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* x (pow z 2))))) in x 10.814 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x (pow z 2)))) in x 10.814 * [taylor]: Taking taylor expansion of +nan.0 in x 10.814 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.814 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow z 2))) in x 10.814 * [taylor]: Taking taylor expansion of (* x (pow z 2)) in x 10.814 * [taylor]: Taking taylor expansion of x in x 10.814 * [backup-simplify]: Simplify 0 into 0 10.814 * [backup-simplify]: Simplify 1 into 1 10.814 * [taylor]: Taking taylor expansion of (pow z 2) in x 10.814 * [taylor]: Taking taylor expansion of z in x 10.814 * [backup-simplify]: Simplify z into z 10.814 * [backup-simplify]: Simplify (* z z) into (pow z 2) 10.814 * [backup-simplify]: Simplify (* 0 (pow z 2)) into 0 10.814 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 10.814 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow z 2))) into (pow z 2) 10.814 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 10.814 * [backup-simplify]: Simplify (* +nan.0 (/ 1 z)) into (/ +nan.0 z) 10.815 * [backup-simplify]: Simplify (* +nan.0 (/ 1 (pow z 2))) into (/ +nan.0 (pow z 2)) 10.815 * [backup-simplify]: Simplify (- (/ +nan.0 (pow z 2))) into (- (* +nan.0 (/ 1 (pow z 2)))) 10.815 * [backup-simplify]: Simplify (+ (/ +nan.0 z) (- (* +nan.0 (/ 1 (pow z 2))))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 10.815 * [backup-simplify]: Simplify (- (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 10.815 * [backup-simplify]: Simplify (+ 0 (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 10.815 * [backup-simplify]: Simplify (* +nan.0 (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))))) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 10.815 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) in z 10.815 * [taylor]: Taking taylor expansion of +nan.0 in z 10.815 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.815 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))) in z 10.815 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in z 10.815 * [taylor]: Taking taylor expansion of +nan.0 in z 10.815 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.815 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 10.815 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.815 * [taylor]: Taking taylor expansion of z in z 10.815 * [backup-simplify]: Simplify 0 into 0 10.815 * [backup-simplify]: Simplify 1 into 1 10.816 * [backup-simplify]: Simplify (* 1 1) into 1 10.816 * [backup-simplify]: Simplify (/ 1 1) into 1 10.816 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z 10.816 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 10.816 * [taylor]: Taking taylor expansion of +nan.0 in z 10.816 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.816 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.816 * [taylor]: Taking taylor expansion of z in z 10.816 * [backup-simplify]: Simplify 0 into 0 10.816 * [backup-simplify]: Simplify 1 into 1 10.816 * [backup-simplify]: Simplify (/ 1 1) into 1 10.817 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.817 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.818 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 10.818 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 10.818 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 10.819 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 10.819 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 10.819 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 10.820 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (* 0 (- +nan.0))) into (- +nan.0) 10.821 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 10.821 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 x)) (pow (/ 1 y) 2)))) (+ (* +nan.0 (* (/ 1 (/ 1 z)) (* 1 1))) (* +nan.0 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 x)) (/ 1 y)))))) into (- (+ (* +nan.0 (/ (* x z) y)) (- (+ (* +nan.0 (/ (* x z) (pow y 2))) (- (* +nan.0 z)))))) 10.822 * [backup-simplify]: Simplify (sqrt (fma (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z)) (/ 1 (- x)))) into (sqrt (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x))) 10.822 * [approximate]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x))) in (y x z) around 0 10.822 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x))) in z 10.822 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in z 10.822 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 10.822 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in z 10.822 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 10.822 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.822 * [taylor]: Taking taylor expansion of x in z 10.822 * [backup-simplify]: Simplify x into x 10.822 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.822 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.822 * [taylor]: Taking taylor expansion of y in z 10.822 * [backup-simplify]: Simplify y into y 10.822 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.822 * [taylor]: Taking taylor expansion of (/ -1 z) in z 10.822 * [taylor]: Taking taylor expansion of -1 in z 10.822 * [backup-simplify]: Simplify -1 into -1 10.822 * [taylor]: Taking taylor expansion of z in z 10.822 * [backup-simplify]: Simplify 0 into 0 10.822 * [backup-simplify]: Simplify 1 into 1 10.822 * [backup-simplify]: Simplify (/ -1 1) into -1 10.822 * [taylor]: Taking taylor expansion of (/ -1 x) in z 10.822 * [taylor]: Taking taylor expansion of -1 in z 10.822 * [backup-simplify]: Simplify -1 into -1 10.822 * [taylor]: Taking taylor expansion of x in z 10.822 * [backup-simplify]: Simplify x into x 10.822 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 10.822 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 10.822 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 y))) into (- (/ 1 x) (/ 1 y)) 10.823 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 1 y)) -1) into (* -1 (- (/ 1 x) (/ 1 y))) 10.823 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 x) (/ 1 y))) 0) into (- (/ 1 y) (/ 1 x)) 10.823 * [backup-simplify]: Simplify (sqrt 0) into 0 10.823 * [backup-simplify]: Simplify (/ (- (/ 1 y) (/ 1 x)) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 y) (/ 1 x))) 10.823 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x))) in x 10.823 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in x 10.823 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 10.823 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in x 10.823 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 10.823 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.823 * [taylor]: Taking taylor expansion of x in x 10.823 * [backup-simplify]: Simplify 0 into 0 10.823 * [backup-simplify]: Simplify 1 into 1 10.824 * [backup-simplify]: Simplify (/ 1 1) into 1 10.824 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.824 * [taylor]: Taking taylor expansion of y in x 10.824 * [backup-simplify]: Simplify y into y 10.824 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.824 * [taylor]: Taking taylor expansion of (/ -1 z) in x 10.824 * [taylor]: Taking taylor expansion of -1 in x 10.824 * [backup-simplify]: Simplify -1 into -1 10.824 * [taylor]: Taking taylor expansion of z in x 10.824 * [backup-simplify]: Simplify z into z 10.824 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 10.824 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.824 * [taylor]: Taking taylor expansion of -1 in x 10.824 * [backup-simplify]: Simplify -1 into -1 10.824 * [taylor]: Taking taylor expansion of x in x 10.824 * [backup-simplify]: Simplify 0 into 0 10.824 * [backup-simplify]: Simplify 1 into 1 10.825 * [backup-simplify]: Simplify (/ -1 1) into -1 10.825 * [backup-simplify]: Simplify (+ 1 0) into 1 10.825 * [backup-simplify]: Simplify (* 1 (/ -1 z)) into (/ -1 z) 10.825 * [backup-simplify]: Simplify (+ (/ -1 z) -1) into (- (+ 1 (/ 1 z))) 10.826 * [backup-simplify]: Simplify (sqrt 0) into 0 10.826 * [backup-simplify]: Simplify (/ (- (+ 1 (/ 1 z))) (* 2 (sqrt 0))) into (* +nan.0 (+ 1 (/ 1 z))) 10.826 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x))) in y 10.826 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in y 10.826 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 10.826 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in y 10.826 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 10.826 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.827 * [taylor]: Taking taylor expansion of x in y 10.827 * [backup-simplify]: Simplify x into x 10.827 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.827 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.827 * [taylor]: Taking taylor expansion of y in y 10.827 * [backup-simplify]: Simplify 0 into 0 10.827 * [backup-simplify]: Simplify 1 into 1 10.827 * [backup-simplify]: Simplify (/ 1 1) into 1 10.827 * [taylor]: Taking taylor expansion of (/ -1 z) in y 10.827 * [taylor]: Taking taylor expansion of -1 in y 10.827 * [backup-simplify]: Simplify -1 into -1 10.827 * [taylor]: Taking taylor expansion of z in y 10.827 * [backup-simplify]: Simplify z into z 10.827 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 10.827 * [taylor]: Taking taylor expansion of (/ -1 x) in y 10.827 * [taylor]: Taking taylor expansion of -1 in y 10.827 * [backup-simplify]: Simplify -1 into -1 10.827 * [taylor]: Taking taylor expansion of x in y 10.827 * [backup-simplify]: Simplify x into x 10.827 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 10.828 * [backup-simplify]: Simplify (- 1) into -1 10.828 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.828 * [backup-simplify]: Simplify (* -1 (/ -1 z)) into (/ 1 z) 10.828 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 10.829 * [backup-simplify]: Simplify (sqrt 0) into 0 10.829 * [backup-simplify]: Simplify (/ (/ 1 z) (* 2 (sqrt 0))) into (/ +nan.0 z) 10.829 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x))) in y 10.830 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in y 10.830 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 10.830 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in y 10.830 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 10.830 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.830 * [taylor]: Taking taylor expansion of x in y 10.830 * [backup-simplify]: Simplify x into x 10.830 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.830 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.830 * [taylor]: Taking taylor expansion of y in y 10.830 * [backup-simplify]: Simplify 0 into 0 10.830 * [backup-simplify]: Simplify 1 into 1 10.830 * [backup-simplify]: Simplify (/ 1 1) into 1 10.830 * [taylor]: Taking taylor expansion of (/ -1 z) in y 10.830 * [taylor]: Taking taylor expansion of -1 in y 10.830 * [backup-simplify]: Simplify -1 into -1 10.830 * [taylor]: Taking taylor expansion of z in y 10.830 * [backup-simplify]: Simplify z into z 10.830 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 10.831 * [taylor]: Taking taylor expansion of (/ -1 x) in y 10.831 * [taylor]: Taking taylor expansion of -1 in y 10.831 * [backup-simplify]: Simplify -1 into -1 10.831 * [taylor]: Taking taylor expansion of x in y 10.831 * [backup-simplify]: Simplify x into x 10.831 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 10.831 * [backup-simplify]: Simplify (- 1) into -1 10.831 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.832 * [backup-simplify]: Simplify (* -1 (/ -1 z)) into (/ 1 z) 10.832 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 10.832 * [backup-simplify]: Simplify (sqrt 0) into 0 10.833 * [backup-simplify]: Simplify (/ (/ 1 z) (* 2 (sqrt 0))) into (/ +nan.0 z) 10.833 * [taylor]: Taking taylor expansion of 0 in x 10.833 * [backup-simplify]: Simplify 0 into 0 10.833 * [taylor]: Taking taylor expansion of (/ +nan.0 z) in x 10.833 * [taylor]: Taking taylor expansion of +nan.0 in x 10.833 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.833 * [taylor]: Taking taylor expansion of z in x 10.833 * [backup-simplify]: Simplify z into z 10.833 * [backup-simplify]: Simplify (/ +nan.0 z) into (/ +nan.0 z) 10.833 * [taylor]: Taking taylor expansion of 0 in z 10.833 * [backup-simplify]: Simplify 0 into 0 10.833 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 10.834 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.834 * [backup-simplify]: Simplify (- 0) into 0 10.834 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 10.835 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 x) (/ -1 z))) into (- (/ 1 (* x z))) 10.835 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z))) (/ -1 x)) into (- (+ (/ 1 (* x z)) (/ 1 x))) 10.836 * [backup-simplify]: Simplify (/ (- (- (+ (/ 1 (* x z)) (/ 1 x))) (pow (/ +nan.0 z) 2) (+)) (* 2 0)) into (* +nan.0 (+ (/ 1 (* x z)) (- (/ 1 x) (* +nan.0 (/ 1 (pow z 2)))))) 10.836 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 (* x z)) (- (/ 1 x) (* +nan.0 (/ 1 (pow z 2)))))) in x 10.836 * [taylor]: Taking taylor expansion of +nan.0 in x 10.836 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.836 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (- (/ 1 x) (* +nan.0 (/ 1 (pow z 2))))) in x 10.836 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 10.836 * [taylor]: Taking taylor expansion of (* x z) in x 10.836 * [taylor]: Taking taylor expansion of x in x 10.836 * [backup-simplify]: Simplify 0 into 0 10.836 * [backup-simplify]: Simplify 1 into 1 10.836 * [taylor]: Taking taylor expansion of z in x 10.836 * [backup-simplify]: Simplify z into z 10.836 * [backup-simplify]: Simplify (* 0 z) into 0 10.837 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 10.837 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.837 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* +nan.0 (/ 1 (pow z 2)))) in x 10.837 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.837 * [taylor]: Taking taylor expansion of x in x 10.837 * [backup-simplify]: Simplify 0 into 0 10.837 * [backup-simplify]: Simplify 1 into 1 10.837 * [backup-simplify]: Simplify (/ 1 1) into 1 10.837 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in x 10.837 * [taylor]: Taking taylor expansion of +nan.0 in x 10.837 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.837 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 10.837 * [taylor]: Taking taylor expansion of (pow z 2) in x 10.837 * [taylor]: Taking taylor expansion of z in x 10.837 * [backup-simplify]: Simplify z into z 10.837 * [backup-simplify]: Simplify (* z z) into (pow z 2) 10.838 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 10.838 * [backup-simplify]: Simplify (+ 1 0) into 1 10.838 * [backup-simplify]: Simplify (+ (/ 1 z) 1) into (+ 1 (/ 1 z)) 10.838 * [backup-simplify]: Simplify (* +nan.0 (+ 1 (/ 1 z))) into (* +nan.0 (+ 1 (/ 1 z))) 10.838 * [taylor]: Taking taylor expansion of (* +nan.0 (+ 1 (/ 1 z))) in z 10.838 * [taylor]: Taking taylor expansion of +nan.0 in z 10.838 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.838 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 z)) in z 10.838 * [taylor]: Taking taylor expansion of 1 in z 10.838 * [backup-simplify]: Simplify 1 into 1 10.838 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.838 * [taylor]: Taking taylor expansion of z in z 10.838 * [backup-simplify]: Simplify 0 into 0 10.838 * [backup-simplify]: Simplify 1 into 1 10.839 * [backup-simplify]: Simplify (/ 1 1) into 1 10.839 * [backup-simplify]: Simplify (+ 0 1) into 1 10.839 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 10.840 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.840 * [taylor]: Taking taylor expansion of (/ +nan.0 z) in z 10.840 * [taylor]: Taking taylor expansion of +nan.0 in z 10.840 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.840 * [taylor]: Taking taylor expansion of z in z 10.840 * [backup-simplify]: Simplify 0 into 0 10.840 * [backup-simplify]: Simplify 1 into 1 10.840 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0 10.840 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.840 * [taylor]: Taking taylor expansion of 0 in z 10.840 * [backup-simplify]: Simplify 0 into 0 10.840 * [backup-simplify]: Simplify 0 into 0 10.841 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.841 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.842 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.842 * [backup-simplify]: Simplify (- 0) into 0 10.842 * [backup-simplify]: Simplify (+ 0 0) into 0 10.843 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (* 0 (/ -1 z)))) into 0 10.843 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 10.844 * [backup-simplify]: Simplify (+ 0 0) into 0 10.845 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 z) (* +nan.0 (+ (/ 1 (* x z)) (- (/ 1 x) (* +nan.0 (/ 1 (pow z 2)))))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 3))) (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2))))))))) 10.845 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 3))) (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2))))))))) in x 10.845 * [taylor]: Taking taylor expansion of +nan.0 in x 10.845 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.845 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow z 3))) (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2)))))))) in x 10.845 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 3))) in x 10.845 * [taylor]: Taking taylor expansion of +nan.0 in x 10.845 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.845 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 10.845 * [taylor]: Taking taylor expansion of (pow z 3) in x 10.845 * [taylor]: Taking taylor expansion of z in x 10.845 * [backup-simplify]: Simplify z into z 10.845 * [backup-simplify]: Simplify (* z z) into (pow z 2) 10.845 * [backup-simplify]: Simplify (* z (pow z 2)) into (pow z 3) 10.845 * [backup-simplify]: Simplify (/ 1 (pow z 3)) into (/ 1 (pow z 3)) 10.845 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2))))))) in x 10.845 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2)))))) in x 10.845 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x z))) in x 10.845 * [taylor]: Taking taylor expansion of +nan.0 in x 10.845 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.845 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 10.845 * [taylor]: Taking taylor expansion of (* x z) in x 10.845 * [taylor]: Taking taylor expansion of x in x 10.845 * [backup-simplify]: Simplify 0 into 0 10.845 * [backup-simplify]: Simplify 1 into 1 10.846 * [taylor]: Taking taylor expansion of z in x 10.846 * [backup-simplify]: Simplify z into z 10.846 * [backup-simplify]: Simplify (* 0 z) into 0 10.846 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 10.846 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.846 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* x (pow z 2))))) in x 10.846 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x (pow z 2)))) in x 10.846 * [taylor]: Taking taylor expansion of +nan.0 in x 10.846 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.846 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow z 2))) in x 10.846 * [taylor]: Taking taylor expansion of (* x (pow z 2)) in x 10.846 * [taylor]: Taking taylor expansion of x in x 10.846 * [backup-simplify]: Simplify 0 into 0 10.846 * [backup-simplify]: Simplify 1 into 1 10.846 * [taylor]: Taking taylor expansion of (pow z 2) in x 10.846 * [taylor]: Taking taylor expansion of z in x 10.846 * [backup-simplify]: Simplify z into z 10.846 * [backup-simplify]: Simplify (* z z) into (pow z 2) 10.847 * [backup-simplify]: Simplify (* 0 (pow z 2)) into 0 10.847 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 10.847 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow z 2))) into (pow z 2) 10.847 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 10.847 * [backup-simplify]: Simplify (* +nan.0 (/ 1 z)) into (/ +nan.0 z) 10.847 * [backup-simplify]: Simplify (* +nan.0 (/ 1 (pow z 2))) into (/ +nan.0 (pow z 2)) 10.848 * [backup-simplify]: Simplify (- (/ +nan.0 (pow z 2))) into (- (* +nan.0 (/ 1 (pow z 2)))) 10.848 * [backup-simplify]: Simplify (+ (/ +nan.0 z) (- (* +nan.0 (/ 1 (pow z 2))))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 10.848 * [backup-simplify]: Simplify (- (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 10.848 * [backup-simplify]: Simplify (+ 0 (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 10.849 * [backup-simplify]: Simplify (* +nan.0 (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))))) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 10.849 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) in z 10.849 * [taylor]: Taking taylor expansion of +nan.0 in z 10.849 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.849 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))) in z 10.849 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in z 10.849 * [taylor]: Taking taylor expansion of +nan.0 in z 10.849 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.849 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 10.849 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.849 * [taylor]: Taking taylor expansion of z in z 10.849 * [backup-simplify]: Simplify 0 into 0 10.849 * [backup-simplify]: Simplify 1 into 1 10.850 * [backup-simplify]: Simplify (* 1 1) into 1 10.850 * [backup-simplify]: Simplify (/ 1 1) into 1 10.850 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z 10.850 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 10.850 * [taylor]: Taking taylor expansion of +nan.0 in z 10.850 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.850 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.850 * [taylor]: Taking taylor expansion of z in z 10.850 * [backup-simplify]: Simplify 0 into 0 10.850 * [backup-simplify]: Simplify 1 into 1 10.851 * [backup-simplify]: Simplify (/ 1 1) into 1 10.851 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.852 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.853 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 10.853 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 10.854 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 10.855 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 10.855 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 10.856 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 10.858 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (* 0 (- +nan.0))) into (- +nan.0) 10.858 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 10.860 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- x))) (pow (/ 1 (- y)) 2)))) (+ (* +nan.0 (* (/ 1 (/ 1 (- z))) (* 1 1))) (* +nan.0 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- x))) (/ 1 (- y))))))) into (- (+ (* +nan.0 (/ (* x z) y)) (- (+ (* +nan.0 (/ (* x z) (pow y 2))) (- (* +nan.0 z)))))) 10.860 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 10.860 * [backup-simplify]: Simplify (sqrt (fma (- y x) z x)) into (sqrt (fma (- y x) z x)) 10.860 * [approximate]: Taking taylor expansion of (sqrt (fma (- y x) z x)) in (y x z) around 0 10.860 * [taylor]: Taking taylor expansion of (sqrt (fma (- y x) z x)) in z 10.860 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in z 10.860 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 10.860 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 10.860 * [taylor]: Taking taylor expansion of (- y x) in z 10.860 * [taylor]: Taking taylor expansion of y in z 10.860 * [backup-simplify]: Simplify y into y 10.860 * [taylor]: Taking taylor expansion of x in z 10.860 * [backup-simplify]: Simplify x into x 10.860 * [taylor]: Taking taylor expansion of z in z 10.860 * [backup-simplify]: Simplify 0 into 0 10.860 * [backup-simplify]: Simplify 1 into 1 10.860 * [taylor]: Taking taylor expansion of x in z 10.860 * [backup-simplify]: Simplify x into x 10.860 * [backup-simplify]: Simplify (- x) into (- x) 10.860 * [backup-simplify]: Simplify (+ y (- x)) into (- y x) 10.861 * [backup-simplify]: Simplify (* (- y x) 0) into 0 10.861 * [backup-simplify]: Simplify (+ 0 x) into x 10.861 * [backup-simplify]: Simplify (sqrt x) into (sqrt x) 10.861 * [backup-simplify]: Simplify (- 0) into 0 10.861 * [backup-simplify]: Simplify (+ 0 0) into 0 10.862 * [backup-simplify]: Simplify (+ (* (- y x) 1) (* 0 0)) into (- y x) 10.862 * [backup-simplify]: Simplify (+ (- y x) 0) into (- y x) 10.862 * [backup-simplify]: Simplify (/ (- y x) (* 2 (sqrt x))) into (* 1/2 (* (sqrt (/ 1 x)) (- y x))) 10.862 * [taylor]: Taking taylor expansion of (sqrt (fma (- y x) z x)) in x 10.862 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in x 10.862 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 10.862 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 10.862 * [taylor]: Taking taylor expansion of (- y x) in x 10.862 * [taylor]: Taking taylor expansion of y in x 10.862 * [backup-simplify]: Simplify y into y 10.863 * [taylor]: Taking taylor expansion of x in x 10.863 * [backup-simplify]: Simplify 0 into 0 10.863 * [backup-simplify]: Simplify 1 into 1 10.863 * [taylor]: Taking taylor expansion of z in x 10.863 * [backup-simplify]: Simplify z into z 10.863 * [taylor]: Taking taylor expansion of x in x 10.863 * [backup-simplify]: Simplify 0 into 0 10.863 * [backup-simplify]: Simplify 1 into 1 10.863 * [backup-simplify]: Simplify (- 0) into 0 10.863 * [backup-simplify]: Simplify (+ y 0) into y 10.863 * [backup-simplify]: Simplify (* y z) into (* z y) 10.863 * [backup-simplify]: Simplify (+ (* z y) 0) into (* z y) 10.864 * [backup-simplify]: Simplify (sqrt (* z y)) into (sqrt (* z y)) 10.864 * [backup-simplify]: Simplify (- 1) into -1 10.864 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.864 * [backup-simplify]: Simplify (+ (* y 0) (* -1 z)) into (- z) 10.865 * [backup-simplify]: Simplify (+ (- z) 1) into (- 1 z) 10.865 * [backup-simplify]: Simplify (/ (- 1 z) (* 2 (sqrt (* z y)))) into (* 1/2 (* (sqrt (/ 1 (* z y))) (- 1 z))) 10.865 * [taylor]: Taking taylor expansion of (sqrt (fma (- y x) z x)) in y 10.865 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in y 10.865 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 10.865 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 10.865 * [taylor]: Taking taylor expansion of (- y x) in y 10.865 * [taylor]: Taking taylor expansion of y in y 10.865 * [backup-simplify]: Simplify 0 into 0 10.865 * [backup-simplify]: Simplify 1 into 1 10.865 * [taylor]: Taking taylor expansion of x in y 10.865 * [backup-simplify]: Simplify x into x 10.865 * [taylor]: Taking taylor expansion of z in y 10.865 * [backup-simplify]: Simplify z into z 10.865 * [taylor]: Taking taylor expansion of x in y 10.865 * [backup-simplify]: Simplify x into x 10.865 * [backup-simplify]: Simplify (- x) into (- x) 10.865 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 10.865 * [backup-simplify]: Simplify (* (- x) z) into (* -1 (* x z)) 10.865 * [backup-simplify]: Simplify (+ (* -1 (* x z)) x) into (- x (* x z)) 10.866 * [backup-simplify]: Simplify (sqrt (- x (* x z))) into (sqrt (- x (* x z))) 10.866 * [backup-simplify]: Simplify (- 0) into 0 10.866 * [backup-simplify]: Simplify (+ 1 0) into 1 10.867 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 z)) into z 10.867 * [backup-simplify]: Simplify (+ z 0) into z 10.867 * [backup-simplify]: Simplify (/ z (* 2 (sqrt (- x (* x z))))) into (* 1/2 (* (sqrt (/ 1 (- x (* x z)))) z)) 10.867 * [taylor]: Taking taylor expansion of (sqrt (fma (- y x) z x)) in y 10.867 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in y 10.867 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 10.867 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 10.867 * [taylor]: Taking taylor expansion of (- y x) in y 10.867 * [taylor]: Taking taylor expansion of y in y 10.867 * [backup-simplify]: Simplify 0 into 0 10.867 * [backup-simplify]: Simplify 1 into 1 10.867 * [taylor]: Taking taylor expansion of x in y 10.867 * [backup-simplify]: Simplify x into x 10.867 * [taylor]: Taking taylor expansion of z in y 10.867 * [backup-simplify]: Simplify z into z 10.867 * [taylor]: Taking taylor expansion of x in y 10.867 * [backup-simplify]: Simplify x into x 10.867 * [backup-simplify]: Simplify (- x) into (- x) 10.867 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 10.867 * [backup-simplify]: Simplify (* (- x) z) into (* -1 (* x z)) 10.867 * [backup-simplify]: Simplify (+ (* -1 (* x z)) x) into (- x (* x z)) 10.868 * [backup-simplify]: Simplify (sqrt (- x (* x z))) into (sqrt (- x (* x z))) 10.868 * [backup-simplify]: Simplify (- 0) into 0 10.868 * [backup-simplify]: Simplify (+ 1 0) into 1 10.869 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 z)) into z 10.869 * [backup-simplify]: Simplify (+ z 0) into z 10.869 * [backup-simplify]: Simplify (/ z (* 2 (sqrt (- x (* x z))))) into (* 1/2 (* (sqrt (/ 1 (- x (* x z)))) z)) 10.869 * [taylor]: Taking taylor expansion of (sqrt (- x (* x z))) in x 10.869 * [taylor]: Taking taylor expansion of (- x (* x z)) in x 10.869 * [taylor]: Taking taylor expansion of x in x 10.869 * [backup-simplify]: Simplify 0 into 0 10.869 * [backup-simplify]: Simplify 1 into 1 10.869 * [taylor]: Taking taylor expansion of (* x z) in x 10.869 * [taylor]: Taking taylor expansion of x in x 10.869 * [backup-simplify]: Simplify 0 into 0 10.869 * [backup-simplify]: Simplify 1 into 1 10.869 * [taylor]: Taking taylor expansion of z in x 10.869 * [backup-simplify]: Simplify z into z 10.869 * [backup-simplify]: Simplify (* 0 z) into 0 10.870 * [backup-simplify]: Simplify (- 0) into 0 10.870 * [backup-simplify]: Simplify (+ 0 0) into 0 10.870 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 10.870 * [backup-simplify]: Simplify (- z) into (- z) 10.871 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z) 10.871 * [backup-simplify]: Simplify (sqrt 0) into 0 10.872 * [backup-simplify]: Simplify (/ (- 1 z) (* 2 (sqrt 0))) into (* +nan.0 (- 1 z)) 10.872 * [taylor]: Taking taylor expansion of 0 in z 10.872 * [backup-simplify]: Simplify 0 into 0 10.872 * [backup-simplify]: Simplify 0 into 0 10.872 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (/ 1 (- x (* x z)))) z)) in x 10.872 * [taylor]: Taking taylor expansion of 1/2 in x 10.872 * [backup-simplify]: Simplify 1/2 into 1/2 10.872 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (- x (* x z)))) z) in x 10.872 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- x (* x z)))) in x 10.872 * [taylor]: Taking taylor expansion of (/ 1 (- x (* x z))) in x 10.872 * [taylor]: Taking taylor expansion of (- x (* x z)) in x 10.872 * [taylor]: Taking taylor expansion of x in x 10.872 * [backup-simplify]: Simplify 0 into 0 10.872 * [backup-simplify]: Simplify 1 into 1 10.872 * [taylor]: Taking taylor expansion of (* x z) in x 10.872 * [taylor]: Taking taylor expansion of x in x 10.872 * [backup-simplify]: Simplify 0 into 0 10.872 * [backup-simplify]: Simplify 1 into 1 10.872 * [taylor]: Taking taylor expansion of z in x 10.872 * [backup-simplify]: Simplify z into z 10.872 * [backup-simplify]: Simplify (* 0 z) into 0 10.873 * [backup-simplify]: Simplify (- 0) into 0 10.873 * [backup-simplify]: Simplify (+ 0 0) into 0 10.873 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 10.874 * [backup-simplify]: Simplify (- z) into (- z) 10.874 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z) 10.874 * [backup-simplify]: Simplify (/ 1 (- 1 z)) into (/ 1 (- 1 z)) 10.874 * [backup-simplify]: Simplify (sqrt 0) into 0 10.875 * [backup-simplify]: Simplify (/ (/ 1 (- 1 z)) (* 2 (sqrt 0))) into (/ +nan.0 (- 1 z)) 10.875 * [taylor]: Taking taylor expansion of z in x 10.875 * [backup-simplify]: Simplify z into z 10.875 * [backup-simplify]: Simplify (+ (* 0 0) (* (/ +nan.0 (- 1 z)) z)) into (- (* +nan.0 (/ z (- 1 z)))) 10.875 * [backup-simplify]: Simplify (* 0 z) into 0 10.876 * [backup-simplify]: Simplify (+ (* 1/2 (- (* +nan.0 (/ z (- 1 z))))) (* 0 0)) into (- (* +nan.0 (/ z (- 1 z)))) 10.876 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ z (- 1 z)))) in z 10.876 * [taylor]: Taking taylor expansion of (* +nan.0 (/ z (- 1 z))) in z 10.876 * [taylor]: Taking taylor expansion of +nan.0 in z 10.876 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.876 * [taylor]: Taking taylor expansion of (/ z (- 1 z)) in z 10.876 * [taylor]: Taking taylor expansion of z in z 10.876 * [backup-simplify]: Simplify 0 into 0 10.876 * [backup-simplify]: Simplify 1 into 1 10.876 * [taylor]: Taking taylor expansion of (- 1 z) in z 10.876 * [taylor]: Taking taylor expansion of 1 in z 10.876 * [backup-simplify]: Simplify 1 into 1 10.876 * [taylor]: Taking taylor expansion of z in z 10.876 * [backup-simplify]: Simplify 0 into 0 10.876 * [backup-simplify]: Simplify 1 into 1 10.877 * [backup-simplify]: Simplify (- 0) into 0 10.877 * [backup-simplify]: Simplify (+ 1 0) into 1 10.878 * [backup-simplify]: Simplify (/ 1 1) into 1 10.878 * [taylor]: Taking taylor expansion of (* +nan.0 (- 1 z)) in z 10.878 * [taylor]: Taking taylor expansion of +nan.0 in z 10.878 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.878 * [taylor]: Taking taylor expansion of (- 1 z) in z 10.878 * [taylor]: Taking taylor expansion of 1 in z 10.878 * [backup-simplify]: Simplify 1 into 1 10.878 * [taylor]: Taking taylor expansion of z in z 10.878 * [backup-simplify]: Simplify 0 into 0 10.878 * [backup-simplify]: Simplify 1 into 1 10.878 * [backup-simplify]: Simplify (- 0) into 0 10.879 * [backup-simplify]: Simplify (+ 1 0) into 1 10.879 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 10.879 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.879 * [backup-simplify]: Simplify 0 into 0 10.880 * [backup-simplify]: Simplify (- 0) into 0 10.880 * [backup-simplify]: Simplify (+ 0 0) into 0 10.880 * [backup-simplify]: Simplify (+ (* (- x) 0) (+ (* 1 0) (* 0 z))) into 0 10.881 * [backup-simplify]: Simplify (+ 0 0) into 0 10.882 * [backup-simplify]: Simplify (/ (- 0 (pow (* 1/2 (* (sqrt (/ 1 (- x (* x z)))) z)) 2) (+)) (* 2 (sqrt (- x (* x z))))) into (* -1/8 (* (sqrt (/ 1 (pow (- x (* x z)) 3))) (pow z 2))) 10.882 * [taylor]: Taking taylor expansion of (* -1/8 (* (sqrt (/ 1 (pow (- x (* x z)) 3))) (pow z 2))) in x 10.882 * [taylor]: Taking taylor expansion of -1/8 in x 10.882 * [backup-simplify]: Simplify -1/8 into -1/8 10.882 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (pow (- x (* x z)) 3))) (pow z 2)) in x 10.882 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow (- x (* x z)) 3))) in x 10.882 * [taylor]: Taking taylor expansion of (/ 1 (pow (- x (* x z)) 3)) in x 10.882 * [taylor]: Taking taylor expansion of (pow (- x (* x z)) 3) in x 10.882 * [taylor]: Taking taylor expansion of (- x (* x z)) in x 10.882 * [taylor]: Taking taylor expansion of x in x 10.882 * [backup-simplify]: Simplify 0 into 0 10.882 * [backup-simplify]: Simplify 1 into 1 10.882 * [taylor]: Taking taylor expansion of (* x z) in x 10.882 * [taylor]: Taking taylor expansion of x in x 10.882 * [backup-simplify]: Simplify 0 into 0 10.882 * [backup-simplify]: Simplify 1 into 1 10.882 * [taylor]: Taking taylor expansion of z in x 10.882 * [backup-simplify]: Simplify z into z 10.882 * [backup-simplify]: Simplify (* 0 z) into 0 10.883 * [backup-simplify]: Simplify (- 0) into 0 10.883 * [backup-simplify]: Simplify (+ 0 0) into 0 10.883 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 10.884 * [backup-simplify]: Simplify (- z) into (- z) 10.884 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z) 10.884 * [backup-simplify]: Simplify (* (- 1 z) (- 1 z)) into (pow (- 1 z) 2) 10.884 * [backup-simplify]: Simplify (* (- 1 z) (pow (- 1 z) 2)) into (pow (- 1 z) 3) 10.884 * [backup-simplify]: Simplify (/ 1 (pow (- 1 z) 3)) into (/ 1 (pow (- 1 z) 3)) 10.884 * [backup-simplify]: Simplify (sqrt 0) into 0 10.884 * [backup-simplify]: Simplify (/ (/ 1 (pow (- 1 z) 3)) (* 2 (sqrt 0))) into (/ +nan.0 (pow (- 1 z) 3)) 10.885 * [taylor]: Taking taylor expansion of (pow z 2) in x 10.885 * [taylor]: Taking taylor expansion of z in x 10.885 * [backup-simplify]: Simplify z into z 10.885 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 10.885 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 10.885 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 10.886 * [backup-simplify]: Simplify (- 0) into 0 10.886 * [backup-simplify]: Simplify (+ 0 0) into 0 10.886 * [backup-simplify]: Simplify (+ (* (- 1 z) 0) (* 0 (- 1 z))) into 0 10.886 * [backup-simplify]: Simplify (+ (* (- 1 z) 0) (* 0 (pow (- 1 z) 2))) into 0 10.886 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow (- 1 z) 3)) (/ 0 (pow (- 1 z) 3))))) into 0 10.887 * [backup-simplify]: Simplify (/ (- 0 (pow (/ +nan.0 (pow (- 1 z) 3)) 2) (+)) (* 2 0)) into (/ +nan.0 (pow (- 1 z) 6)) 10.887 * [backup-simplify]: Simplify (* z z) into (pow z 2) 10.887 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* (/ +nan.0 (pow (- 1 z) 3)) 0) (* (/ +nan.0 (pow (- 1 z) 6)) (pow z 2)))) into (- (* +nan.0 (/ (pow z 2) (pow (- 1 z) 6)))) 10.888 * [backup-simplify]: Simplify (+ (* 0 0) (* (/ +nan.0 (pow (- 1 z) 3)) (pow z 2))) into (- (* +nan.0 (/ (pow z 2) (pow (- 1 z) 3)))) 10.888 * [backup-simplify]: Simplify (* 0 (pow z 2)) into 0 10.888 * [backup-simplify]: Simplify (+ (* -1/8 (- (* +nan.0 (/ (pow z 2) (pow (- 1 z) 6))))) (+ (* 0 (- (* +nan.0 (/ (pow z 2) (pow (- 1 z) 3))))) (* 0 0))) into (- (* +nan.0 (/ (pow z 2) (pow (- 1 z) 6)))) 10.888 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ (pow z 2) (pow (- 1 z) 6)))) in z 10.888 * [taylor]: Taking taylor expansion of (* +nan.0 (/ (pow z 2) (pow (- 1 z) 6))) in z 10.888 * [taylor]: Taking taylor expansion of +nan.0 in z 10.888 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.888 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow (- 1 z) 6)) in z 10.888 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.888 * [taylor]: Taking taylor expansion of z in z 10.888 * [backup-simplify]: Simplify 0 into 0 10.889 * [backup-simplify]: Simplify 1 into 1 10.889 * [taylor]: Taking taylor expansion of (pow (- 1 z) 6) in z 10.889 * [taylor]: Taking taylor expansion of (- 1 z) in z 10.889 * [taylor]: Taking taylor expansion of 1 in z 10.889 * [backup-simplify]: Simplify 1 into 1 10.889 * [taylor]: Taking taylor expansion of z in z 10.889 * [backup-simplify]: Simplify 0 into 0 10.889 * [backup-simplify]: Simplify 1 into 1 10.889 * [backup-simplify]: Simplify (- 0) into 0 10.889 * [backup-simplify]: Simplify (+ 1 0) into 1 10.889 * [backup-simplify]: Simplify (* 1 1) into 1 10.890 * [backup-simplify]: Simplify (* 1 1) into 1 10.890 * [backup-simplify]: Simplify (* 1 1) into 1 10.890 * [backup-simplify]: Simplify (* 1 1) into 1 10.890 * [backup-simplify]: Simplify (/ 1 1) into 1 10.891 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 10.891 * [backup-simplify]: Simplify (- 0) into 0 10.891 * [backup-simplify]: Simplify (+ 0 0) into 0 10.891 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- 1 z)) (/ 0 (- 1 z))))) into 0 10.892 * [backup-simplify]: Simplify (/ (- 0 (pow (/ +nan.0 (- 1 z)) 2) (+)) (* 2 0)) into (/ +nan.0 (pow (- 1 z) 2)) 10.892 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* (/ +nan.0 (- 1 z)) 0) (* (/ +nan.0 (pow (- 1 z) 2)) z))) into (- (* +nan.0 (/ z (pow (- 1 z) 2)))) 10.893 * [backup-simplify]: Simplify (+ (* 1/2 (- (* +nan.0 (/ z (pow (- 1 z) 2))))) (+ (* 0 (- (* +nan.0 (/ z (- 1 z))))) (* 0 0))) into (- (* +nan.0 (/ z (pow (- 1 z) 2)))) 10.893 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ z (pow (- 1 z) 2)))) in z 10.893 * [taylor]: Taking taylor expansion of (* +nan.0 (/ z (pow (- 1 z) 2))) in z 10.893 * [taylor]: Taking taylor expansion of +nan.0 in z 10.893 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.893 * [taylor]: Taking taylor expansion of (/ z (pow (- 1 z) 2)) in z 10.893 * [taylor]: Taking taylor expansion of z in z 10.893 * [backup-simplify]: Simplify 0 into 0 10.893 * [backup-simplify]: Simplify 1 into 1 10.893 * [taylor]: Taking taylor expansion of (pow (- 1 z) 2) in z 10.893 * [taylor]: Taking taylor expansion of (- 1 z) in z 10.893 * [taylor]: Taking taylor expansion of 1 in z 10.893 * [backup-simplify]: Simplify 1 into 1 10.893 * [taylor]: Taking taylor expansion of z in z 10.893 * [backup-simplify]: Simplify 0 into 0 10.893 * [backup-simplify]: Simplify 1 into 1 10.893 * [backup-simplify]: Simplify (- 0) into 0 10.894 * [backup-simplify]: Simplify (+ 1 0) into 1 10.894 * [backup-simplify]: Simplify (* 1 1) into 1 10.894 * [backup-simplify]: Simplify (/ 1 1) into 1 10.895 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 10.895 * [backup-simplify]: Simplify (- 0) into 0 10.895 * [backup-simplify]: Simplify (+ 0 0) into 0 10.896 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (- 1 z)) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (pow z 2)) (- (+ (* +nan.0 z) (- +nan.0))))) 10.896 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (pow z 2)) (- (+ (* +nan.0 z) (- +nan.0))))) in z 10.896 * [taylor]: Taking taylor expansion of +nan.0 in z 10.896 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.896 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow z 2)) (- (+ (* +nan.0 z) (- +nan.0)))) in z 10.896 * [taylor]: Taking taylor expansion of (* +nan.0 (pow z 2)) in z 10.896 * [taylor]: Taking taylor expansion of +nan.0 in z 10.896 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.896 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.896 * [taylor]: Taking taylor expansion of z in z 10.896 * [backup-simplify]: Simplify 0 into 0 10.896 * [backup-simplify]: Simplify 1 into 1 10.896 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 z) (- +nan.0))) in z 10.896 * [taylor]: Taking taylor expansion of (+ (* +nan.0 z) (- +nan.0)) in z 10.896 * [taylor]: Taking taylor expansion of (* +nan.0 z) in z 10.896 * [taylor]: Taking taylor expansion of +nan.0 in z 10.896 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.896 * [taylor]: Taking taylor expansion of z in z 10.896 * [backup-simplify]: Simplify 0 into 0 10.896 * [backup-simplify]: Simplify 1 into 1 10.896 * [taylor]: Taking taylor expansion of (- +nan.0) in z 10.896 * [taylor]: Taking taylor expansion of +nan.0 in z 10.896 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.896 * [backup-simplify]: Simplify (* +nan.0 0) into 0 10.896 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 10.897 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 10.898 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 10.898 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 10.899 * [backup-simplify]: Simplify (* +nan.0 (- +nan.0)) into +nan.0 10.899 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.899 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 10.899 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 10.899 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 10.900 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* z (* 1 y))) (+ (* +nan.0 (pow (* 1 (* x 1)) 2)) (* +nan.0 (* 1 (* x 1))))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (pow x 2))))))) 10.900 * [backup-simplify]: Simplify (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) into (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) 10.900 * [approximate]: Taking taylor expansion of (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) in (y x z) around 0 10.900 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) in z 10.900 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in z 10.900 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 10.900 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in z 10.900 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 10.900 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.900 * [taylor]: Taking taylor expansion of y in z 10.900 * [backup-simplify]: Simplify y into y 10.900 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.900 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.900 * [taylor]: Taking taylor expansion of x in z 10.900 * [backup-simplify]: Simplify x into x 10.900 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.900 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.900 * [taylor]: Taking taylor expansion of z in z 10.900 * [backup-simplify]: Simplify 0 into 0 10.900 * [backup-simplify]: Simplify 1 into 1 10.901 * [backup-simplify]: Simplify (/ 1 1) into 1 10.901 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.901 * [taylor]: Taking taylor expansion of x in z 10.901 * [backup-simplify]: Simplify x into x 10.901 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.901 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 10.901 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 x))) into (- (/ 1 y) (/ 1 x)) 10.901 * [backup-simplify]: Simplify (* (- (/ 1 y) (/ 1 x)) 1) into (- (/ 1 y) (/ 1 x)) 10.901 * [backup-simplify]: Simplify (+ (- (/ 1 y) (/ 1 x)) 0) into (- (/ 1 y) (/ 1 x)) 10.901 * [backup-simplify]: Simplify (sqrt 0) into 0 10.902 * [backup-simplify]: Simplify (/ (- (/ 1 y) (/ 1 x)) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 y) (/ 1 x))) 10.902 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) in x 10.902 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in x 10.902 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 10.902 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in x 10.902 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 10.902 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.902 * [taylor]: Taking taylor expansion of y in x 10.902 * [backup-simplify]: Simplify y into y 10.902 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.902 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.902 * [taylor]: Taking taylor expansion of x in x 10.902 * [backup-simplify]: Simplify 0 into 0 10.902 * [backup-simplify]: Simplify 1 into 1 10.902 * [backup-simplify]: Simplify (/ 1 1) into 1 10.902 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.902 * [taylor]: Taking taylor expansion of z in x 10.902 * [backup-simplify]: Simplify z into z 10.902 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.902 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.902 * [taylor]: Taking taylor expansion of x in x 10.902 * [backup-simplify]: Simplify 0 into 0 10.902 * [backup-simplify]: Simplify 1 into 1 10.902 * [backup-simplify]: Simplify (/ 1 1) into 1 10.903 * [backup-simplify]: Simplify (- 1) into -1 10.903 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.903 * [backup-simplify]: Simplify (* -1 (/ 1 z)) into (/ -1 z) 10.903 * [backup-simplify]: Simplify (+ (/ -1 z) 1) into (- 1 (/ 1 z)) 10.903 * [backup-simplify]: Simplify (sqrt 0) into 0 10.904 * [backup-simplify]: Simplify (/ (- 1 (/ 1 z)) (* 2 (sqrt 0))) into (* +nan.0 (- 1 (/ 1 z))) 10.904 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) in y 10.904 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in y 10.904 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 10.904 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in y 10.904 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 10.904 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.904 * [taylor]: Taking taylor expansion of y in y 10.904 * [backup-simplify]: Simplify 0 into 0 10.904 * [backup-simplify]: Simplify 1 into 1 10.904 * [backup-simplify]: Simplify (/ 1 1) into 1 10.904 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.904 * [taylor]: Taking taylor expansion of x in y 10.904 * [backup-simplify]: Simplify x into x 10.904 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.904 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.904 * [taylor]: Taking taylor expansion of z in y 10.904 * [backup-simplify]: Simplify z into z 10.904 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.904 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.904 * [taylor]: Taking taylor expansion of x in y 10.904 * [backup-simplify]: Simplify x into x 10.904 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.905 * [backup-simplify]: Simplify (+ 1 0) into 1 10.905 * [backup-simplify]: Simplify (* 1 (/ 1 z)) into (/ 1 z) 10.905 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 10.905 * [backup-simplify]: Simplify (sqrt 0) into 0 10.905 * [backup-simplify]: Simplify (/ (/ 1 z) (* 2 (sqrt 0))) into (/ +nan.0 z) 10.905 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x))) in y 10.905 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in y 10.905 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 10.905 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in y 10.905 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 10.905 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.905 * [taylor]: Taking taylor expansion of y in y 10.905 * [backup-simplify]: Simplify 0 into 0 10.905 * [backup-simplify]: Simplify 1 into 1 10.906 * [backup-simplify]: Simplify (/ 1 1) into 1 10.906 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.906 * [taylor]: Taking taylor expansion of x in y 10.906 * [backup-simplify]: Simplify x into x 10.906 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.906 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.906 * [taylor]: Taking taylor expansion of z in y 10.906 * [backup-simplify]: Simplify z into z 10.906 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.906 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.906 * [taylor]: Taking taylor expansion of x in y 10.906 * [backup-simplify]: Simplify x into x 10.906 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.906 * [backup-simplify]: Simplify (+ 1 0) into 1 10.906 * [backup-simplify]: Simplify (* 1 (/ 1 z)) into (/ 1 z) 10.906 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 10.907 * [backup-simplify]: Simplify (sqrt 0) into 0 10.907 * [backup-simplify]: Simplify (/ (/ 1 z) (* 2 (sqrt 0))) into (/ +nan.0 z) 10.907 * [taylor]: Taking taylor expansion of 0 in x 10.907 * [backup-simplify]: Simplify 0 into 0 10.907 * [taylor]: Taking taylor expansion of (/ +nan.0 z) in x 10.907 * [taylor]: Taking taylor expansion of +nan.0 in x 10.907 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.907 * [taylor]: Taking taylor expansion of z in x 10.907 * [backup-simplify]: Simplify z into z 10.907 * [backup-simplify]: Simplify (/ +nan.0 z) into (/ +nan.0 z) 10.907 * [taylor]: Taking taylor expansion of 0 in z 10.907 * [backup-simplify]: Simplify 0 into 0 10.907 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 10.908 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.908 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 10.908 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 10.908 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) (/ 1 z))) into (- (/ 1 (* x z))) 10.908 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z))) (/ 1 x)) into (- (/ 1 x) (/ 1 (* x z))) 10.909 * [backup-simplify]: Simplify (/ (- (- (/ 1 x) (/ 1 (* x z))) (pow (/ +nan.0 z) 2) (+)) (* 2 0)) into (* +nan.0 (- (/ 1 x) (+ (/ 1 (* x z)) (- (* +nan.0 (/ 1 (pow z 2))))))) 10.909 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 x) (+ (/ 1 (* x z)) (- (* +nan.0 (/ 1 (pow z 2))))))) in x 10.909 * [taylor]: Taking taylor expansion of +nan.0 in x 10.909 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.909 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (/ 1 (* x z)) (- (* +nan.0 (/ 1 (pow z 2)))))) in x 10.909 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.909 * [taylor]: Taking taylor expansion of x in x 10.909 * [backup-simplify]: Simplify 0 into 0 10.909 * [backup-simplify]: Simplify 1 into 1 10.909 * [backup-simplify]: Simplify (/ 1 1) into 1 10.909 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (- (* +nan.0 (/ 1 (pow z 2))))) in x 10.909 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 10.909 * [taylor]: Taking taylor expansion of (* x z) in x 10.909 * [taylor]: Taking taylor expansion of x in x 10.909 * [backup-simplify]: Simplify 0 into 0 10.909 * [backup-simplify]: Simplify 1 into 1 10.909 * [taylor]: Taking taylor expansion of z in x 10.909 * [backup-simplify]: Simplify z into z 10.910 * [backup-simplify]: Simplify (* 0 z) into 0 10.910 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 10.910 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.910 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow z 2)))) in x 10.910 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in x 10.910 * [taylor]: Taking taylor expansion of +nan.0 in x 10.910 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.910 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 10.910 * [taylor]: Taking taylor expansion of (pow z 2) in x 10.910 * [taylor]: Taking taylor expansion of z in x 10.910 * [backup-simplify]: Simplify z into z 10.910 * [backup-simplify]: Simplify (* z z) into (pow z 2) 10.910 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 10.910 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 10.910 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 10.910 * [backup-simplify]: Simplify (+ 1 (- (/ 1 z))) into (- 1 (/ 1 z)) 10.910 * [backup-simplify]: Simplify (* +nan.0 (- 1 (/ 1 z))) into (* +nan.0 (- 1 (/ 1 z))) 10.910 * [taylor]: Taking taylor expansion of (* +nan.0 (- 1 (/ 1 z))) in z 10.910 * [taylor]: Taking taylor expansion of +nan.0 in z 10.910 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.910 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z 10.910 * [taylor]: Taking taylor expansion of 1 in z 10.910 * [backup-simplify]: Simplify 1 into 1 10.910 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.910 * [taylor]: Taking taylor expansion of z in z 10.910 * [backup-simplify]: Simplify 0 into 0 10.910 * [backup-simplify]: Simplify 1 into 1 10.911 * [backup-simplify]: Simplify (/ 1 1) into 1 10.911 * [backup-simplify]: Simplify (- 1) into -1 10.911 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.911 * [backup-simplify]: Simplify (* +nan.0 -1) into +nan.0 10.911 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.911 * [taylor]: Taking taylor expansion of (/ +nan.0 z) in z 10.912 * [taylor]: Taking taylor expansion of +nan.0 in z 10.912 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.912 * [taylor]: Taking taylor expansion of z in z 10.912 * [backup-simplify]: Simplify 0 into 0 10.912 * [backup-simplify]: Simplify 1 into 1 10.912 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0 10.912 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.912 * [taylor]: Taking taylor expansion of 0 in z 10.912 * [backup-simplify]: Simplify 0 into 0 10.912 * [backup-simplify]: Simplify 0 into 0 10.912 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.914 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.914 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.917 * [backup-simplify]: Simplify (- 0) into 0 10.917 * [backup-simplify]: Simplify (+ 0 0) into 0 10.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 (/ 1 z)))) into 0 10.918 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.918 * [backup-simplify]: Simplify (+ 0 0) into 0 10.919 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 z) (* +nan.0 (- (/ 1 x) (+ (/ 1 (* x z)) (- (* +nan.0 (/ 1 (pow z 2))))))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 3))) (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2))))))))) 10.920 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 3))) (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2))))))))) in x 10.920 * [taylor]: Taking taylor expansion of +nan.0 in x 10.920 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.920 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow z 3))) (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2)))))))) in x 10.920 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 3))) in x 10.920 * [taylor]: Taking taylor expansion of +nan.0 in x 10.920 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.920 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 10.920 * [taylor]: Taking taylor expansion of (pow z 3) in x 10.920 * [taylor]: Taking taylor expansion of z in x 10.920 * [backup-simplify]: Simplify z into z 10.920 * [backup-simplify]: Simplify (* z z) into (pow z 2) 10.920 * [backup-simplify]: Simplify (* z (pow z 2)) into (pow z 3) 10.920 * [backup-simplify]: Simplify (/ 1 (pow z 3)) into (/ 1 (pow z 3)) 10.920 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2))))))) in x 10.920 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2)))))) in x 10.920 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x z))) in x 10.920 * [taylor]: Taking taylor expansion of +nan.0 in x 10.920 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.920 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 10.920 * [taylor]: Taking taylor expansion of (* x z) in x 10.920 * [taylor]: Taking taylor expansion of x in x 10.920 * [backup-simplify]: Simplify 0 into 0 10.920 * [backup-simplify]: Simplify 1 into 1 10.920 * [taylor]: Taking taylor expansion of z in x 10.920 * [backup-simplify]: Simplify z into z 10.920 * [backup-simplify]: Simplify (* 0 z) into 0 10.921 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 10.921 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.921 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* x (pow z 2))))) in x 10.921 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x (pow z 2)))) in x 10.921 * [taylor]: Taking taylor expansion of +nan.0 in x 10.921 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.921 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow z 2))) in x 10.921 * [taylor]: Taking taylor expansion of (* x (pow z 2)) in x 10.921 * [taylor]: Taking taylor expansion of x in x 10.921 * [backup-simplify]: Simplify 0 into 0 10.921 * [backup-simplify]: Simplify 1 into 1 10.921 * [taylor]: Taking taylor expansion of (pow z 2) in x 10.921 * [taylor]: Taking taylor expansion of z in x 10.921 * [backup-simplify]: Simplify z into z 10.921 * [backup-simplify]: Simplify (* z z) into (pow z 2) 10.921 * [backup-simplify]: Simplify (* 0 (pow z 2)) into 0 10.922 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 10.922 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow z 2))) into (pow z 2) 10.922 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 10.922 * [backup-simplify]: Simplify (* +nan.0 (/ 1 z)) into (/ +nan.0 z) 10.922 * [backup-simplify]: Simplify (* +nan.0 (/ 1 (pow z 2))) into (/ +nan.0 (pow z 2)) 10.922 * [backup-simplify]: Simplify (- (/ +nan.0 (pow z 2))) into (- (* +nan.0 (/ 1 (pow z 2)))) 10.923 * [backup-simplify]: Simplify (+ (/ +nan.0 z) (- (* +nan.0 (/ 1 (pow z 2))))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 10.923 * [backup-simplify]: Simplify (- (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 10.923 * [backup-simplify]: Simplify (+ 0 (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 10.924 * [backup-simplify]: Simplify (* +nan.0 (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))))) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 10.924 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) in z 10.924 * [taylor]: Taking taylor expansion of +nan.0 in z 10.924 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.924 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))) in z 10.924 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in z 10.924 * [taylor]: Taking taylor expansion of +nan.0 in z 10.924 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.924 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 10.924 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.924 * [taylor]: Taking taylor expansion of z in z 10.924 * [backup-simplify]: Simplify 0 into 0 10.924 * [backup-simplify]: Simplify 1 into 1 10.925 * [backup-simplify]: Simplify (* 1 1) into 1 10.925 * [backup-simplify]: Simplify (/ 1 1) into 1 10.925 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z 10.925 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 10.925 * [taylor]: Taking taylor expansion of +nan.0 in z 10.925 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.925 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.925 * [taylor]: Taking taylor expansion of z in z 10.925 * [backup-simplify]: Simplify 0 into 0 10.925 * [backup-simplify]: Simplify 1 into 1 10.926 * [backup-simplify]: Simplify (/ 1 1) into 1 10.926 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.927 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.928 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 10.928 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 10.929 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 10.930 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 10.930 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 10.930 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 10.933 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (* 0 (- +nan.0))) into (- +nan.0) 10.933 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 10.934 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 x)) (pow (/ 1 y) 2)))) (+ (* +nan.0 (* (/ 1 (/ 1 z)) (* 1 1))) (* +nan.0 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 x)) (/ 1 y)))))) into (- (+ (* +nan.0 (/ (* x z) y)) (- (+ (* +nan.0 (/ (* x z) (pow y 2))) (- (* +nan.0 z)))))) 10.935 * [backup-simplify]: Simplify (sqrt (fma (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z)) (/ 1 (- x)))) into (sqrt (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x))) 10.935 * [approximate]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x))) in (y x z) around 0 10.935 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x))) in z 10.935 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in z 10.935 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 10.935 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in z 10.935 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 10.935 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.935 * [taylor]: Taking taylor expansion of x in z 10.935 * [backup-simplify]: Simplify x into x 10.935 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.935 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.935 * [taylor]: Taking taylor expansion of y in z 10.935 * [backup-simplify]: Simplify y into y 10.935 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.935 * [taylor]: Taking taylor expansion of (/ -1 z) in z 10.935 * [taylor]: Taking taylor expansion of -1 in z 10.935 * [backup-simplify]: Simplify -1 into -1 10.935 * [taylor]: Taking taylor expansion of z in z 10.935 * [backup-simplify]: Simplify 0 into 0 10.935 * [backup-simplify]: Simplify 1 into 1 10.936 * [backup-simplify]: Simplify (/ -1 1) into -1 10.936 * [taylor]: Taking taylor expansion of (/ -1 x) in z 10.936 * [taylor]: Taking taylor expansion of -1 in z 10.936 * [backup-simplify]: Simplify -1 into -1 10.936 * [taylor]: Taking taylor expansion of x in z 10.936 * [backup-simplify]: Simplify x into x 10.936 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 10.936 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 10.936 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 y))) into (- (/ 1 x) (/ 1 y)) 10.936 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 1 y)) -1) into (* -1 (- (/ 1 x) (/ 1 y))) 10.937 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 x) (/ 1 y))) 0) into (- (/ 1 y) (/ 1 x)) 10.937 * [backup-simplify]: Simplify (sqrt 0) into 0 10.938 * [backup-simplify]: Simplify (/ (- (/ 1 y) (/ 1 x)) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 y) (/ 1 x))) 10.938 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x))) in x 10.938 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in x 10.938 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 10.938 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in x 10.938 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 10.938 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.938 * [taylor]: Taking taylor expansion of x in x 10.938 * [backup-simplify]: Simplify 0 into 0 10.938 * [backup-simplify]: Simplify 1 into 1 10.939 * [backup-simplify]: Simplify (/ 1 1) into 1 10.939 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.939 * [taylor]: Taking taylor expansion of y in x 10.939 * [backup-simplify]: Simplify y into y 10.939 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.939 * [taylor]: Taking taylor expansion of (/ -1 z) in x 10.939 * [taylor]: Taking taylor expansion of -1 in x 10.939 * [backup-simplify]: Simplify -1 into -1 10.939 * [taylor]: Taking taylor expansion of z in x 10.939 * [backup-simplify]: Simplify z into z 10.939 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 10.939 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.939 * [taylor]: Taking taylor expansion of -1 in x 10.939 * [backup-simplify]: Simplify -1 into -1 10.939 * [taylor]: Taking taylor expansion of x in x 10.939 * [backup-simplify]: Simplify 0 into 0 10.939 * [backup-simplify]: Simplify 1 into 1 10.940 * [backup-simplify]: Simplify (/ -1 1) into -1 10.940 * [backup-simplify]: Simplify (+ 1 0) into 1 10.940 * [backup-simplify]: Simplify (* 1 (/ -1 z)) into (/ -1 z) 10.940 * [backup-simplify]: Simplify (+ (/ -1 z) -1) into (- (+ 1 (/ 1 z))) 10.941 * [backup-simplify]: Simplify (sqrt 0) into 0 10.941 * [backup-simplify]: Simplify (/ (- (+ 1 (/ 1 z))) (* 2 (sqrt 0))) into (* +nan.0 (+ 1 (/ 1 z))) 10.941 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x))) in y 10.941 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in y 10.942 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 10.942 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in y 10.942 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 10.942 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.942 * [taylor]: Taking taylor expansion of x in y 10.942 * [backup-simplify]: Simplify x into x 10.942 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.942 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.942 * [taylor]: Taking taylor expansion of y in y 10.942 * [backup-simplify]: Simplify 0 into 0 10.942 * [backup-simplify]: Simplify 1 into 1 10.943 * [backup-simplify]: Simplify (/ 1 1) into 1 10.943 * [taylor]: Taking taylor expansion of (/ -1 z) in y 10.943 * [taylor]: Taking taylor expansion of -1 in y 10.943 * [backup-simplify]: Simplify -1 into -1 10.943 * [taylor]: Taking taylor expansion of z in y 10.943 * [backup-simplify]: Simplify z into z 10.943 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 10.943 * [taylor]: Taking taylor expansion of (/ -1 x) in y 10.943 * [taylor]: Taking taylor expansion of -1 in y 10.943 * [backup-simplify]: Simplify -1 into -1 10.943 * [taylor]: Taking taylor expansion of x in y 10.943 * [backup-simplify]: Simplify x into x 10.943 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 10.943 * [backup-simplify]: Simplify (- 1) into -1 10.944 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.944 * [backup-simplify]: Simplify (* -1 (/ -1 z)) into (/ 1 z) 10.944 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 10.944 * [backup-simplify]: Simplify (sqrt 0) into 0 10.945 * [backup-simplify]: Simplify (/ (/ 1 z) (* 2 (sqrt 0))) into (/ +nan.0 z) 10.945 * [taylor]: Taking taylor expansion of (sqrt (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x))) in y 10.945 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in y 10.945 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 10.945 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in y 10.945 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 10.945 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.945 * [taylor]: Taking taylor expansion of x in y 10.945 * [backup-simplify]: Simplify x into x 10.945 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.945 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.945 * [taylor]: Taking taylor expansion of y in y 10.945 * [backup-simplify]: Simplify 0 into 0 10.945 * [backup-simplify]: Simplify 1 into 1 10.946 * [backup-simplify]: Simplify (/ 1 1) into 1 10.946 * [taylor]: Taking taylor expansion of (/ -1 z) in y 10.946 * [taylor]: Taking taylor expansion of -1 in y 10.946 * [backup-simplify]: Simplify -1 into -1 10.946 * [taylor]: Taking taylor expansion of z in y 10.946 * [backup-simplify]: Simplify z into z 10.946 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 10.946 * [taylor]: Taking taylor expansion of (/ -1 x) in y 10.946 * [taylor]: Taking taylor expansion of -1 in y 10.946 * [backup-simplify]: Simplify -1 into -1 10.946 * [taylor]: Taking taylor expansion of x in y 10.946 * [backup-simplify]: Simplify x into x 10.946 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 10.947 * [backup-simplify]: Simplify (- 1) into -1 10.947 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.947 * [backup-simplify]: Simplify (* -1 (/ -1 z)) into (/ 1 z) 10.947 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 10.948 * [backup-simplify]: Simplify (sqrt 0) into 0 10.948 * [backup-simplify]: Simplify (/ (/ 1 z) (* 2 (sqrt 0))) into (/ +nan.0 z) 10.948 * [taylor]: Taking taylor expansion of 0 in x 10.949 * [backup-simplify]: Simplify 0 into 0 10.949 * [taylor]: Taking taylor expansion of (/ +nan.0 z) in x 10.949 * [taylor]: Taking taylor expansion of +nan.0 in x 10.949 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.949 * [taylor]: Taking taylor expansion of z in x 10.949 * [backup-simplify]: Simplify z into z 10.949 * [backup-simplify]: Simplify (/ +nan.0 z) into (/ +nan.0 z) 10.949 * [taylor]: Taking taylor expansion of 0 in z 10.949 * [backup-simplify]: Simplify 0 into 0 10.949 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 10.950 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.950 * [backup-simplify]: Simplify (- 0) into 0 10.950 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 10.951 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 x) (/ -1 z))) into (- (/ 1 (* x z))) 10.951 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z))) (/ -1 x)) into (- (+ (/ 1 (* x z)) (/ 1 x))) 10.952 * [backup-simplify]: Simplify (/ (- (- (+ (/ 1 (* x z)) (/ 1 x))) (pow (/ +nan.0 z) 2) (+)) (* 2 0)) into (* +nan.0 (+ (/ 1 (* x z)) (- (/ 1 x) (* +nan.0 (/ 1 (pow z 2)))))) 10.952 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 (* x z)) (- (/ 1 x) (* +nan.0 (/ 1 (pow z 2)))))) in x 10.952 * [taylor]: Taking taylor expansion of +nan.0 in x 10.952 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.953 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (- (/ 1 x) (* +nan.0 (/ 1 (pow z 2))))) in x 10.953 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 10.953 * [taylor]: Taking taylor expansion of (* x z) in x 10.953 * [taylor]: Taking taylor expansion of x in x 10.953 * [backup-simplify]: Simplify 0 into 0 10.953 * [backup-simplify]: Simplify 1 into 1 10.953 * [taylor]: Taking taylor expansion of z in x 10.953 * [backup-simplify]: Simplify z into z 10.953 * [backup-simplify]: Simplify (* 0 z) into 0 10.953 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 10.953 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.953 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* +nan.0 (/ 1 (pow z 2)))) in x 10.953 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.953 * [taylor]: Taking taylor expansion of x in x 10.954 * [backup-simplify]: Simplify 0 into 0 10.954 * [backup-simplify]: Simplify 1 into 1 10.954 * [backup-simplify]: Simplify (/ 1 1) into 1 10.954 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in x 10.954 * [taylor]: Taking taylor expansion of +nan.0 in x 10.954 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.954 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 10.954 * [taylor]: Taking taylor expansion of (pow z 2) in x 10.954 * [taylor]: Taking taylor expansion of z in x 10.954 * [backup-simplify]: Simplify z into z 10.954 * [backup-simplify]: Simplify (* z z) into (pow z 2) 10.954 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 10.955 * [backup-simplify]: Simplify (+ 1 0) into 1 10.955 * [backup-simplify]: Simplify (+ (/ 1 z) 1) into (+ 1 (/ 1 z)) 10.955 * [backup-simplify]: Simplify (* +nan.0 (+ 1 (/ 1 z))) into (* +nan.0 (+ 1 (/ 1 z))) 10.955 * [taylor]: Taking taylor expansion of (* +nan.0 (+ 1 (/ 1 z))) in z 10.955 * [taylor]: Taking taylor expansion of +nan.0 in z 10.955 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.955 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 z)) in z 10.955 * [taylor]: Taking taylor expansion of 1 in z 10.955 * [backup-simplify]: Simplify 1 into 1 10.955 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.955 * [taylor]: Taking taylor expansion of z in z 10.955 * [backup-simplify]: Simplify 0 into 0 10.955 * [backup-simplify]: Simplify 1 into 1 10.956 * [backup-simplify]: Simplify (/ 1 1) into 1 10.956 * [backup-simplify]: Simplify (+ 0 1) into 1 10.957 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 10.957 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.957 * [taylor]: Taking taylor expansion of (/ +nan.0 z) in z 10.957 * [taylor]: Taking taylor expansion of +nan.0 in z 10.957 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.957 * [taylor]: Taking taylor expansion of z in z 10.957 * [backup-simplify]: Simplify 0 into 0 10.957 * [backup-simplify]: Simplify 1 into 1 10.957 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0 10.957 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.958 * [taylor]: Taking taylor expansion of 0 in z 10.958 * [backup-simplify]: Simplify 0 into 0 10.958 * [backup-simplify]: Simplify 0 into 0 10.958 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.958 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.959 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.959 * [backup-simplify]: Simplify (- 0) into 0 10.960 * [backup-simplify]: Simplify (+ 0 0) into 0 10.960 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (* 0 (/ -1 z)))) into 0 10.961 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 10.961 * [backup-simplify]: Simplify (+ 0 0) into 0 10.962 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 z) (* +nan.0 (+ (/ 1 (* x z)) (- (/ 1 x) (* +nan.0 (/ 1 (pow z 2)))))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 3))) (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2))))))))) 10.962 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 3))) (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2))))))))) in x 10.962 * [taylor]: Taking taylor expansion of +nan.0 in x 10.962 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.962 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow z 3))) (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2)))))))) in x 10.962 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 3))) in x 10.962 * [taylor]: Taking taylor expansion of +nan.0 in x 10.962 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.962 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 10.963 * [taylor]: Taking taylor expansion of (pow z 3) in x 10.963 * [taylor]: Taking taylor expansion of z in x 10.963 * [backup-simplify]: Simplify z into z 10.963 * [backup-simplify]: Simplify (* z z) into (pow z 2) 10.963 * [backup-simplify]: Simplify (* z (pow z 2)) into (pow z 3) 10.963 * [backup-simplify]: Simplify (/ 1 (pow z 3)) into (/ 1 (pow z 3)) 10.963 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2))))))) in x 10.963 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* x z))) (- (* +nan.0 (/ 1 (* x (pow z 2)))))) in x 10.963 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x z))) in x 10.963 * [taylor]: Taking taylor expansion of +nan.0 in x 10.963 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.963 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 10.963 * [taylor]: Taking taylor expansion of (* x z) in x 10.963 * [taylor]: Taking taylor expansion of x in x 10.963 * [backup-simplify]: Simplify 0 into 0 10.963 * [backup-simplify]: Simplify 1 into 1 10.963 * [taylor]: Taking taylor expansion of z in x 10.963 * [backup-simplify]: Simplify z into z 10.963 * [backup-simplify]: Simplify (* 0 z) into 0 10.964 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 10.964 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.964 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* x (pow z 2))))) in x 10.964 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* x (pow z 2)))) in x 10.964 * [taylor]: Taking taylor expansion of +nan.0 in x 10.964 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.964 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow z 2))) in x 10.964 * [taylor]: Taking taylor expansion of (* x (pow z 2)) in x 10.964 * [taylor]: Taking taylor expansion of x in x 10.964 * [backup-simplify]: Simplify 0 into 0 10.964 * [backup-simplify]: Simplify 1 into 1 10.964 * [taylor]: Taking taylor expansion of (pow z 2) in x 10.964 * [taylor]: Taking taylor expansion of z in x 10.964 * [backup-simplify]: Simplify z into z 10.964 * [backup-simplify]: Simplify (* z z) into (pow z 2) 10.964 * [backup-simplify]: Simplify (* 0 (pow z 2)) into 0 10.964 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 10.965 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow z 2))) into (pow z 2) 10.965 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 10.965 * [backup-simplify]: Simplify (* +nan.0 (/ 1 z)) into (/ +nan.0 z) 10.965 * [backup-simplify]: Simplify (* +nan.0 (/ 1 (pow z 2))) into (/ +nan.0 (pow z 2)) 10.965 * [backup-simplify]: Simplify (- (/ +nan.0 (pow z 2))) into (- (* +nan.0 (/ 1 (pow z 2)))) 10.965 * [backup-simplify]: Simplify (+ (/ +nan.0 z) (- (* +nan.0 (/ 1 (pow z 2))))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 10.966 * [backup-simplify]: Simplify (- (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 10.966 * [backup-simplify]: Simplify (+ 0 (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))))) into (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 10.967 * [backup-simplify]: Simplify (* +nan.0 (- (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))))) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) 10.967 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z))))) in z 10.967 * [taylor]: Taking taylor expansion of +nan.0 in z 10.967 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.967 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow z 2))) (- (* +nan.0 (/ 1 z)))) in z 10.967 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in z 10.967 * [taylor]: Taking taylor expansion of +nan.0 in z 10.967 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.967 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 10.967 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.967 * [taylor]: Taking taylor expansion of z in z 10.967 * [backup-simplify]: Simplify 0 into 0 10.967 * [backup-simplify]: Simplify 1 into 1 10.967 * [backup-simplify]: Simplify (* 1 1) into 1 10.968 * [backup-simplify]: Simplify (/ 1 1) into 1 10.968 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 z))) in z 10.968 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 10.968 * [taylor]: Taking taylor expansion of +nan.0 in z 10.968 * [backup-simplify]: Simplify +nan.0 into +nan.0 10.968 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.968 * [taylor]: Taking taylor expansion of z in z 10.968 * [backup-simplify]: Simplify 0 into 0 10.968 * [backup-simplify]: Simplify 1 into 1 10.968 * [backup-simplify]: Simplify (/ 1 1) into 1 10.969 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.970 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.971 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 10.971 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 10.972 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 10.973 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0) 10.975 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 10.976 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0) 10.978 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (* 0 (- +nan.0))) into (- +nan.0) 10.979 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 10.980 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- x))) (pow (/ 1 (- y)) 2)))) (+ (* +nan.0 (* (/ 1 (/ 1 (- z))) (* 1 1))) (* +nan.0 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- x))) (/ 1 (- y))))))) into (- (+ (* +nan.0 (/ (* x z) y)) (- (+ (* +nan.0 (/ (* x z) (pow y 2))) (- (* +nan.0 z)))))) 10.980 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 10.980 * [backup-simplify]: Simplify (fma (- y x) z x) into (fma (- y x) z x) 10.981 * [approximate]: Taking taylor expansion of (fma (- y x) z x) in (y x z) around 0 10.981 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in z 10.981 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 10.981 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 10.981 * [taylor]: Taking taylor expansion of (- y x) in z 10.981 * [taylor]: Taking taylor expansion of y in z 10.981 * [backup-simplify]: Simplify y into y 10.981 * [taylor]: Taking taylor expansion of x in z 10.981 * [backup-simplify]: Simplify x into x 10.981 * [taylor]: Taking taylor expansion of z in z 10.981 * [backup-simplify]: Simplify 0 into 0 10.981 * [backup-simplify]: Simplify 1 into 1 10.981 * [taylor]: Taking taylor expansion of x in z 10.981 * [backup-simplify]: Simplify x into x 10.981 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in x 10.981 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 10.981 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 10.981 * [taylor]: Taking taylor expansion of (- y x) in x 10.981 * [taylor]: Taking taylor expansion of y in x 10.981 * [backup-simplify]: Simplify y into y 10.981 * [taylor]: Taking taylor expansion of x in x 10.981 * [backup-simplify]: Simplify 0 into 0 10.981 * [backup-simplify]: Simplify 1 into 1 10.981 * [taylor]: Taking taylor expansion of z in x 10.981 * [backup-simplify]: Simplify z into z 10.981 * [taylor]: Taking taylor expansion of x in x 10.981 * [backup-simplify]: Simplify 0 into 0 10.981 * [backup-simplify]: Simplify 1 into 1 10.981 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in y 10.981 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 10.981 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 10.981 * [taylor]: Taking taylor expansion of (- y x) in y 10.982 * [taylor]: Taking taylor expansion of y in y 10.982 * [backup-simplify]: Simplify 0 into 0 10.982 * [backup-simplify]: Simplify 1 into 1 10.982 * [taylor]: Taking taylor expansion of x in y 10.982 * [backup-simplify]: Simplify x into x 10.982 * [taylor]: Taking taylor expansion of z in y 10.982 * [backup-simplify]: Simplify z into z 10.982 * [taylor]: Taking taylor expansion of x in y 10.982 * [backup-simplify]: Simplify x into x 10.982 * [taylor]: Taking taylor expansion of (fma (- y x) z x) in y 10.982 * [taylor]: Rewrote expression to (+ (* (- y x) z) x) 10.982 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 10.982 * [taylor]: Taking taylor expansion of (- y x) in y 10.982 * [taylor]: Taking taylor expansion of y in y 10.982 * [backup-simplify]: Simplify 0 into 0 10.982 * [backup-simplify]: Simplify 1 into 1 10.982 * [taylor]: Taking taylor expansion of x in y 10.982 * [backup-simplify]: Simplify x into x 10.982 * [taylor]: Taking taylor expansion of z in y 10.982 * [backup-simplify]: Simplify z into z 10.982 * [taylor]: Taking taylor expansion of x in y 10.982 * [backup-simplify]: Simplify x into x 10.982 * [backup-simplify]: Simplify (- x) into (- x) 10.982 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 10.982 * [backup-simplify]: Simplify (* (- x) z) into (* -1 (* x z)) 10.982 * [backup-simplify]: Simplify (+ (* -1 (* x z)) x) into (- x (* x z)) 10.982 * [taylor]: Taking taylor expansion of (- x (* x z)) in x 10.983 * [taylor]: Taking taylor expansion of x in x 10.983 * [backup-simplify]: Simplify 0 into 0 10.983 * [backup-simplify]: Simplify 1 into 1 10.983 * [taylor]: Taking taylor expansion of (* x z) in x 10.983 * [taylor]: Taking taylor expansion of x in x 10.983 * [backup-simplify]: Simplify 0 into 0 10.983 * [backup-simplify]: Simplify 1 into 1 10.983 * [taylor]: Taking taylor expansion of z in x 10.983 * [backup-simplify]: Simplify z into z 10.983 * [backup-simplify]: Simplify (* 0 z) into 0 10.983 * [backup-simplify]: Simplify (- 0) into 0 10.984 * [backup-simplify]: Simplify (+ 0 0) into 0 10.984 * [taylor]: Taking taylor expansion of 0 in z 10.984 * [backup-simplify]: Simplify 0 into 0 10.984 * [backup-simplify]: Simplify 0 into 0 10.984 * [backup-simplify]: Simplify (- 0) into 0 10.985 * [backup-simplify]: Simplify (+ 1 0) into 1 10.985 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 z)) into z 10.985 * [backup-simplify]: Simplify (+ z 0) into z 10.985 * [taylor]: Taking taylor expansion of z in x 10.985 * [backup-simplify]: Simplify z into z 10.985 * [taylor]: Taking taylor expansion of z in z 10.985 * [backup-simplify]: Simplify 0 into 0 10.985 * [backup-simplify]: Simplify 1 into 1 10.985 * [backup-simplify]: Simplify 0 into 0 10.985 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 10.985 * [backup-simplify]: Simplify (- z) into (- z) 10.985 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z) 10.985 * [taylor]: Taking taylor expansion of (- 1 z) in z 10.985 * [taylor]: Taking taylor expansion of 1 in z 10.985 * [backup-simplify]: Simplify 1 into 1 10.985 * [taylor]: Taking taylor expansion of z in z 10.986 * [backup-simplify]: Simplify 0 into 0 10.986 * [backup-simplify]: Simplify 1 into 1 10.986 * [backup-simplify]: Simplify (- 0) into 0 10.986 * [backup-simplify]: Simplify (+ 1 0) into 1 10.986 * [backup-simplify]: Simplify 1 into 1 10.986 * [backup-simplify]: Simplify 0 into 0 10.987 * [backup-simplify]: Simplify (- 0) into 0 10.987 * [backup-simplify]: Simplify (+ 0 0) into 0 10.988 * [backup-simplify]: Simplify (+ (* (- x) 0) (+ (* 1 0) (* 0 z))) into 0 10.988 * [backup-simplify]: Simplify (+ 0 0) into 0 10.988 * [taylor]: Taking taylor expansion of 0 in x 10.988 * [backup-simplify]: Simplify 0 into 0 10.988 * [taylor]: Taking taylor expansion of 0 in z 10.988 * [backup-simplify]: Simplify 0 into 0 10.988 * [backup-simplify]: Simplify 0 into 0 10.988 * [taylor]: Taking taylor expansion of 0 in z 10.988 * [backup-simplify]: Simplify 0 into 0 10.988 * [backup-simplify]: Simplify 0 into 0 10.989 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 10.990 * [backup-simplify]: Simplify (- 0) into 0 10.990 * [backup-simplify]: Simplify (+ 0 0) into 0 10.990 * [taylor]: Taking taylor expansion of 0 in z 10.990 * [backup-simplify]: Simplify 0 into 0 10.990 * [backup-simplify]: Simplify 0 into 0 10.990 * [backup-simplify]: Simplify 1 into 1 10.990 * [backup-simplify]: Simplify (- 1) into -1 10.991 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.991 * [backup-simplify]: Simplify -1 into -1 10.991 * [backup-simplify]: Simplify (+ (* -1 (* z (* x 1))) (+ (* 1 (* z (* 1 y))) (* 1 (* 1 (* x 1))))) into (- (+ x (* z y)) (* x z)) 10.991 * [backup-simplify]: Simplify (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) into (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) 10.991 * [approximate]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in (y x z) around 0 10.991 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in z 10.991 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 10.991 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in z 10.992 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 10.992 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.992 * [taylor]: Taking taylor expansion of y in z 10.992 * [backup-simplify]: Simplify y into y 10.992 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.992 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.992 * [taylor]: Taking taylor expansion of x in z 10.992 * [backup-simplify]: Simplify x into x 10.992 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.992 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.992 * [taylor]: Taking taylor expansion of z in z 10.992 * [backup-simplify]: Simplify 0 into 0 10.992 * [backup-simplify]: Simplify 1 into 1 10.992 * [backup-simplify]: Simplify (/ 1 1) into 1 10.992 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.992 * [taylor]: Taking taylor expansion of x in z 10.992 * [backup-simplify]: Simplify x into x 10.992 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.992 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in x 10.992 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 10.992 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in x 10.992 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 10.992 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.992 * [taylor]: Taking taylor expansion of y in x 10.993 * [backup-simplify]: Simplify y into y 10.993 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.993 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.993 * [taylor]: Taking taylor expansion of x in x 10.993 * [backup-simplify]: Simplify 0 into 0 10.993 * [backup-simplify]: Simplify 1 into 1 10.993 * [backup-simplify]: Simplify (/ 1 1) into 1 10.993 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.993 * [taylor]: Taking taylor expansion of z in x 10.993 * [backup-simplify]: Simplify z into z 10.993 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.993 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.993 * [taylor]: Taking taylor expansion of x in x 10.993 * [backup-simplify]: Simplify 0 into 0 10.993 * [backup-simplify]: Simplify 1 into 1 10.994 * [backup-simplify]: Simplify (/ 1 1) into 1 10.994 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in y 10.994 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 10.994 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in y 10.994 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 10.994 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.994 * [taylor]: Taking taylor expansion of y in y 10.994 * [backup-simplify]: Simplify 0 into 0 10.994 * [backup-simplify]: Simplify 1 into 1 10.994 * [backup-simplify]: Simplify (/ 1 1) into 1 10.994 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.994 * [taylor]: Taking taylor expansion of x in y 10.994 * [backup-simplify]: Simplify x into x 10.994 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.994 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.994 * [taylor]: Taking taylor expansion of z in y 10.994 * [backup-simplify]: Simplify z into z 10.994 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.994 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.994 * [taylor]: Taking taylor expansion of x in y 10.995 * [backup-simplify]: Simplify x into x 10.995 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.995 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 1 z) (/ 1 x)) in y 10.995 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) (/ 1 x)) 10.995 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 1 z)) in y 10.995 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 10.995 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.995 * [taylor]: Taking taylor expansion of y in y 10.995 * [backup-simplify]: Simplify 0 into 0 10.995 * [backup-simplify]: Simplify 1 into 1 10.995 * [backup-simplify]: Simplify (/ 1 1) into 1 10.995 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.995 * [taylor]: Taking taylor expansion of x in y 10.995 * [backup-simplify]: Simplify x into x 10.995 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.995 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.995 * [taylor]: Taking taylor expansion of z in y 10.995 * [backup-simplify]: Simplify z into z 10.995 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.995 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.995 * [taylor]: Taking taylor expansion of x in y 10.995 * [backup-simplify]: Simplify x into x 10.995 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.996 * [backup-simplify]: Simplify (+ 1 0) into 1 10.996 * [backup-simplify]: Simplify (* 1 (/ 1 z)) into (/ 1 z) 10.996 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 10.996 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.996 * [taylor]: Taking taylor expansion of z in x 10.996 * [backup-simplify]: Simplify z into z 10.996 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.996 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 10.997 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.997 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 10.997 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 10.998 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) (/ 1 z))) into (- (/ 1 (* x z))) 10.998 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z))) (/ 1 x)) into (- (/ 1 x) (/ 1 (* x z))) 10.998 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x z))) in x 10.998 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.998 * [taylor]: Taking taylor expansion of x in x 10.998 * [backup-simplify]: Simplify 0 into 0 10.998 * [backup-simplify]: Simplify 1 into 1 10.998 * [backup-simplify]: Simplify (/ 1 1) into 1 10.998 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 10.998 * [taylor]: Taking taylor expansion of (* x z) in x 10.998 * [taylor]: Taking taylor expansion of x in x 10.998 * [backup-simplify]: Simplify 0 into 0 10.998 * [backup-simplify]: Simplify 1 into 1 10.998 * [taylor]: Taking taylor expansion of z in x 10.999 * [backup-simplify]: Simplify z into z 10.999 * [backup-simplify]: Simplify (* 0 z) into 0 10.999 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 10.999 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.999 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 10.999 * [backup-simplify]: Simplify (+ 1 (- (/ 1 z))) into (- 1 (/ 1 z)) 10.999 * [taylor]: Taking taylor expansion of (- 1 (/ 1 z)) in z 10.999 * [taylor]: Taking taylor expansion of 1 in z 10.999 * [backup-simplify]: Simplify 1 into 1 10.999 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.999 * [taylor]: Taking taylor expansion of z in z 10.999 * [backup-simplify]: Simplify 0 into 0 10.999 * [backup-simplify]: Simplify 1 into 1 11.000 * [backup-simplify]: Simplify (/ 1 1) into 1 11.000 * [backup-simplify]: Simplify (- 1) into -1 11.000 * [backup-simplify]: Simplify (+ 0 -1) into -1 11.000 * [backup-simplify]: Simplify -1 into -1 11.000 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.001 * [taylor]: Taking taylor expansion of z in z 11.001 * [backup-simplify]: Simplify 0 into 0 11.001 * [backup-simplify]: Simplify 1 into 1 11.001 * [backup-simplify]: Simplify (/ 1 1) into 1 11.001 * [backup-simplify]: Simplify 1 into 1 11.001 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 11.002 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.002 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 11.002 * [backup-simplify]: Simplify (- 0) into 0 11.003 * [backup-simplify]: Simplify (+ 0 0) into 0 11.003 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 (/ 1 z)))) into 0 11.003 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 11.004 * [backup-simplify]: Simplify (+ 0 0) into 0 11.004 * [taylor]: Taking taylor expansion of 0 in x 11.004 * [backup-simplify]: Simplify 0 into 0 11.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.005 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 11.005 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 11.006 * [backup-simplify]: Simplify (- 0) into 0 11.006 * [backup-simplify]: Simplify (+ 0 0) into 0 11.006 * [taylor]: Taking taylor expansion of 0 in z 11.006 * [backup-simplify]: Simplify 0 into 0 11.006 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 11.006 * [taylor]: Taking taylor expansion of 0 in z 11.006 * [backup-simplify]: Simplify 0 into 0 11.007 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.007 * [backup-simplify]: Simplify (- 0) into 0 11.008 * [backup-simplify]: Simplify (+ 1 0) into 1 11.008 * [backup-simplify]: Simplify 1 into 1 11.008 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) 1))) (+ (* 1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 x)) 1))))) into (- (+ x (* z y)) (* x z)) 11.008 * [backup-simplify]: Simplify (fma (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z)) (/ 1 (- x))) into (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) 11.008 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in (y x z) around 0 11.008 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in z 11.008 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 11.008 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in z 11.008 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 11.008 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.008 * [taylor]: Taking taylor expansion of x in z 11.008 * [backup-simplify]: Simplify x into x 11.009 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.009 * [taylor]: Taking taylor expansion of (/ 1 y) in z 11.009 * [taylor]: Taking taylor expansion of y in z 11.009 * [backup-simplify]: Simplify y into y 11.009 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.009 * [taylor]: Taking taylor expansion of (/ -1 z) in z 11.009 * [taylor]: Taking taylor expansion of -1 in z 11.009 * [backup-simplify]: Simplify -1 into -1 11.009 * [taylor]: Taking taylor expansion of z in z 11.009 * [backup-simplify]: Simplify 0 into 0 11.009 * [backup-simplify]: Simplify 1 into 1 11.009 * [backup-simplify]: Simplify (/ -1 1) into -1 11.009 * [taylor]: Taking taylor expansion of (/ -1 x) in z 11.009 * [taylor]: Taking taylor expansion of -1 in z 11.009 * [backup-simplify]: Simplify -1 into -1 11.009 * [taylor]: Taking taylor expansion of x in z 11.009 * [backup-simplify]: Simplify x into x 11.009 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 11.009 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in x 11.009 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 11.009 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in x 11.009 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 11.010 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.010 * [taylor]: Taking taylor expansion of x in x 11.010 * [backup-simplify]: Simplify 0 into 0 11.010 * [backup-simplify]: Simplify 1 into 1 11.010 * [backup-simplify]: Simplify (/ 1 1) into 1 11.010 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.010 * [taylor]: Taking taylor expansion of y in x 11.010 * [backup-simplify]: Simplify y into y 11.010 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.010 * [taylor]: Taking taylor expansion of (/ -1 z) in x 11.010 * [taylor]: Taking taylor expansion of -1 in x 11.010 * [backup-simplify]: Simplify -1 into -1 11.010 * [taylor]: Taking taylor expansion of z in x 11.010 * [backup-simplify]: Simplify z into z 11.010 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 11.010 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.010 * [taylor]: Taking taylor expansion of -1 in x 11.010 * [backup-simplify]: Simplify -1 into -1 11.010 * [taylor]: Taking taylor expansion of x in x 11.010 * [backup-simplify]: Simplify 0 into 0 11.010 * [backup-simplify]: Simplify 1 into 1 11.011 * [backup-simplify]: Simplify (/ -1 1) into -1 11.011 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in y 11.011 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 11.011 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in y 11.011 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 11.011 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.011 * [taylor]: Taking taylor expansion of x in y 11.011 * [backup-simplify]: Simplify x into x 11.011 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.011 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.011 * [taylor]: Taking taylor expansion of y in y 11.011 * [backup-simplify]: Simplify 0 into 0 11.011 * [backup-simplify]: Simplify 1 into 1 11.011 * [backup-simplify]: Simplify (/ 1 1) into 1 11.011 * [taylor]: Taking taylor expansion of (/ -1 z) in y 11.011 * [taylor]: Taking taylor expansion of -1 in y 11.011 * [backup-simplify]: Simplify -1 into -1 11.011 * [taylor]: Taking taylor expansion of z in y 11.011 * [backup-simplify]: Simplify z into z 11.012 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 11.012 * [taylor]: Taking taylor expansion of (/ -1 x) in y 11.012 * [taylor]: Taking taylor expansion of -1 in y 11.012 * [backup-simplify]: Simplify -1 into -1 11.012 * [taylor]: Taking taylor expansion of x in y 11.012 * [backup-simplify]: Simplify x into x 11.012 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 11.012 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -1 z) (/ -1 x)) in y 11.012 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) (/ -1 x)) 11.012 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -1 z)) in y 11.012 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 11.012 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.012 * [taylor]: Taking taylor expansion of x in y 11.012 * [backup-simplify]: Simplify x into x 11.012 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.012 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.012 * [taylor]: Taking taylor expansion of y in y 11.012 * [backup-simplify]: Simplify 0 into 0 11.012 * [backup-simplify]: Simplify 1 into 1 11.012 * [backup-simplify]: Simplify (/ 1 1) into 1 11.012 * [taylor]: Taking taylor expansion of (/ -1 z) in y 11.012 * [taylor]: Taking taylor expansion of -1 in y 11.012 * [backup-simplify]: Simplify -1 into -1 11.012 * [taylor]: Taking taylor expansion of z in y 11.012 * [backup-simplify]: Simplify z into z 11.012 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 11.013 * [taylor]: Taking taylor expansion of (/ -1 x) in y 11.013 * [taylor]: Taking taylor expansion of -1 in y 11.013 * [backup-simplify]: Simplify -1 into -1 11.013 * [taylor]: Taking taylor expansion of x in y 11.013 * [backup-simplify]: Simplify x into x 11.013 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 11.013 * [backup-simplify]: Simplify (- 1) into -1 11.013 * [backup-simplify]: Simplify (+ 0 -1) into -1 11.014 * [backup-simplify]: Simplify (* -1 (/ -1 z)) into (/ 1 z) 11.014 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 11.014 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.014 * [taylor]: Taking taylor expansion of z in x 11.014 * [backup-simplify]: Simplify z into z 11.014 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.014 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 11.015 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.015 * [backup-simplify]: Simplify (- 0) into 0 11.015 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 11.015 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 x) (/ -1 z))) into (- (/ 1 (* x z))) 11.016 * [backup-simplify]: Simplify (+ (- (/ 1 (* x z))) (/ -1 x)) into (- (+ (/ 1 (* x z)) (/ 1 x))) 11.016 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 x))) in x 11.016 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x 11.016 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 11.016 * [taylor]: Taking taylor expansion of (* x z) in x 11.016 * [taylor]: Taking taylor expansion of x in x 11.016 * [backup-simplify]: Simplify 0 into 0 11.016 * [backup-simplify]: Simplify 1 into 1 11.016 * [taylor]: Taking taylor expansion of z in x 11.016 * [backup-simplify]: Simplify z into z 11.016 * [backup-simplify]: Simplify (* 0 z) into 0 11.016 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 11.016 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.016 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.016 * [taylor]: Taking taylor expansion of x in x 11.016 * [backup-simplify]: Simplify 0 into 0 11.016 * [backup-simplify]: Simplify 1 into 1 11.016 * [backup-simplify]: Simplify (/ 1 1) into 1 11.016 * [backup-simplify]: Simplify (+ (/ 1 z) 1) into (+ 1 (/ 1 z)) 11.017 * [backup-simplify]: Simplify (- (+ 1 (/ 1 z))) into (- (+ 1 (/ 1 z))) 11.017 * [taylor]: Taking taylor expansion of (- (+ 1 (/ 1 z))) in z 11.017 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 z)) in z 11.017 * [taylor]: Taking taylor expansion of 1 in z 11.017 * [backup-simplify]: Simplify 1 into 1 11.017 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.017 * [taylor]: Taking taylor expansion of z in z 11.017 * [backup-simplify]: Simplify 0 into 0 11.017 * [backup-simplify]: Simplify 1 into 1 11.017 * [backup-simplify]: Simplify (/ 1 1) into 1 11.017 * [backup-simplify]: Simplify (+ 0 1) into 1 11.017 * [backup-simplify]: Simplify (- 1) into -1 11.017 * [backup-simplify]: Simplify -1 into -1 11.017 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.017 * [taylor]: Taking taylor expansion of z in z 11.017 * [backup-simplify]: Simplify 0 into 0 11.018 * [backup-simplify]: Simplify 1 into 1 11.018 * [backup-simplify]: Simplify (/ 1 1) into 1 11.018 * [backup-simplify]: Simplify 1 into 1 11.018 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 11.018 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 11.019 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.019 * [backup-simplify]: Simplify (- 0) into 0 11.019 * [backup-simplify]: Simplify (+ 0 0) into 0 11.019 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (* 0 (/ -1 z)))) into 0 11.019 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 11.020 * [backup-simplify]: Simplify (+ 0 0) into 0 11.020 * [taylor]: Taking taylor expansion of 0 in x 11.020 * [backup-simplify]: Simplify 0 into 0 11.020 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 11.020 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 11.021 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.021 * [backup-simplify]: Simplify (+ 0 0) into 0 11.021 * [backup-simplify]: Simplify (- 0) into 0 11.021 * [taylor]: Taking taylor expansion of 0 in z 11.021 * [backup-simplify]: Simplify 0 into 0 11.021 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 11.021 * [taylor]: Taking taylor expansion of 0 in z 11.021 * [backup-simplify]: Simplify 0 into 0 11.022 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.022 * [backup-simplify]: Simplify (+ 1 0) into 1 11.022 * [backup-simplify]: Simplify (- 1) into -1 11.022 * [backup-simplify]: Simplify -1 into -1 11.023 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 (- x))) 1))) (+ (* 1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- x))) 1))))) into (- (+ x (* z y)) (* x z)) 11.024 * * * [progress]: simplifying candidates 11.024 * * * * [progress]: [ 1 / 107 ] simplifiying candidate # 11.024 * * * * [progress]: [ 2 / 107 ] simplifiying candidate # 11.024 * * * * [progress]: [ 3 / 107 ] simplifiying candidate # 11.024 * * * * [progress]: [ 4 / 107 ] simplifiying candidate # 11.024 * * * * [progress]: [ 5 / 107 ] simplifiying candidate # 11.024 * * * * [progress]: [ 6 / 107 ] simplifiying candidate # 11.024 * * * * [progress]: [ 7 / 107 ] simplifiying candidate # 11.024 * * * * [progress]: [ 8 / 107 ] simplifiying candidate # 11.024 * * * * [progress]: [ 9 / 107 ] simplifiying candidate # 11.024 * * * * [progress]: [ 10 / 107 ] simplifiying candidate # 11.024 * * * * [progress]: [ 11 / 107 ] simplifiying candidate # 11.024 * * * * [progress]: [ 12 / 107 ] simplifiying candidate # 11.024 * * * * [progress]: [ 13 / 107 ] simplifiying candidate # 11.024 * * * * [progress]: [ 14 / 107 ] simplifiying candidate # 11.024 * * * * [progress]: [ 15 / 107 ] simplifiying candidate # 11.024 * * * * [progress]: [ 16 / 107 ] simplifiying candidate # 11.025 * * * * [progress]: [ 17 / 107 ] simplifiying candidate # 11.025 * * * * [progress]: [ 18 / 107 ] simplifiying candidate # 11.025 * * * * [progress]: [ 19 / 107 ] simplifiying candidate # 11.025 * * * * [progress]: [ 20 / 107 ] simplifiying candidate # 11.025 * * * * [progress]: [ 21 / 107 ] simplifiying candidate # 11.025 * * * * [progress]: [ 22 / 107 ] simplifiying candidate # 11.025 * * * * [progress]: [ 23 / 107 ] simplifiying candidate # 11.025 * * * * [progress]: [ 24 / 107 ] simplifiying candidate # 11.025 * * * * [progress]: [ 25 / 107 ] simplifiying candidate # 11.025 * * * * [progress]: [ 26 / 107 ] simplifiying candidate # 11.025 * * * * [progress]: [ 27 / 107 ] simplifiying candidate # 11.025 * * * * [progress]: [ 28 / 107 ] simplifiying candidate # 11.025 * * * * [progress]: [ 29 / 107 ] simplifiying candidate # 11.025 * * * * [progress]: [ 30 / 107 ] simplifiying candidate # 11.025 * * * * [progress]: [ 31 / 107 ] simplifiying candidate # 11.025 * * * * [progress]: [ 32 / 107 ] simplifiying candidate # 11.025 * * * * [progress]: [ 33 / 107 ] simplifiying candidate # 11.025 * * * * [progress]: [ 34 / 107 ] simplifiying candidate # 11.025 * * * * [progress]: [ 35 / 107 ] simplifiying candidate # 11.025 * * * * [progress]: [ 36 / 107 ] simplifiying candidate # 11.025 * * * * [progress]: [ 37 / 107 ] simplifiying candidate # 11.025 * * * * [progress]: [ 38 / 107 ] simplifiying candidate # 11.025 * * * * [progress]: [ 39 / 107 ] simplifiying candidate # 11.026 * * * * [progress]: [ 40 / 107 ] simplifiying candidate # 11.026 * * * * [progress]: [ 41 / 107 ] simplifiying candidate # 11.026 * * * * [progress]: [ 42 / 107 ] simplifiying candidate # 11.026 * * * * [progress]: [ 43 / 107 ] simplifiying candidate # 11.026 * * * * [progress]: [ 44 / 107 ] simplifiying candidate # 11.026 * * * * [progress]: [ 45 / 107 ] simplifiying candidate # 11.026 * * * * [progress]: [ 46 / 107 ] simplifiying candidate # 11.026 * * * * [progress]: [ 47 / 107 ] simplifiying candidate # 11.026 * * * * [progress]: [ 48 / 107 ] simplifiying candidate # 11.026 * * * * [progress]: [ 49 / 107 ] simplifiying candidate # 11.026 * * * * [progress]: [ 50 / 107 ] simplifiying candidate # 11.026 * * * * [progress]: [ 51 / 107 ] simplifiying candidate #real (real->posit16 (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x))))))> 11.026 * * * * [progress]: [ 52 / 107 ] simplifiying candidate # 11.026 * * * * [progress]: [ 53 / 107 ] simplifiying candidate # 11.026 * * * * [progress]: [ 54 / 107 ] simplifiying candidate # 11.026 * * * * [progress]: [ 55 / 107 ] simplifiying candidate # 11.026 * * * * [progress]: [ 56 / 107 ] simplifiying candidate # 11.026 * * * * [progress]: [ 57 / 107 ] simplifiying candidate # 11.026 * * * * [progress]: [ 58 / 107 ] simplifiying candidate # 11.026 * * * * [progress]: [ 59 / 107 ] simplifiying candidate # 11.026 * * * * [progress]: [ 60 / 107 ] simplifiying candidate # 11.026 * * * * [progress]: [ 61 / 107 ] simplifiying candidate # 11.026 * * * * [progress]: [ 62 / 107 ] simplifiying candidate # 11.026 * * * * [progress]: [ 63 / 107 ] simplifiying candidate # 11.027 * * * * [progress]: [ 64 / 107 ] simplifiying candidate # 11.027 * * * * [progress]: [ 65 / 107 ] simplifiying candidate # 11.027 * * * * [progress]: [ 66 / 107 ] simplifiying candidate # 11.027 * * * * [progress]: [ 67 / 107 ] simplifiying candidate # 11.027 * * * * [progress]: [ 68 / 107 ] simplifiying candidate #real (real->posit16 (sqrt (fma (- y x) z x))))))> 11.027 * * * * [progress]: [ 69 / 107 ] simplifiying candidate # 11.027 * * * * [progress]: [ 70 / 107 ] simplifiying candidate # 11.027 * * * * [progress]: [ 71 / 107 ] simplifiying candidate # 11.027 * * * * [progress]: [ 72 / 107 ] simplifiying candidate # 11.027 * * * * [progress]: [ 73 / 107 ] simplifiying candidate # 11.027 * * * * [progress]: [ 74 / 107 ] simplifiying candidate # 11.027 * * * * [progress]: [ 75 / 107 ] simplifiying candidate # 11.027 * * * * [progress]: [ 76 / 107 ] simplifiying candidate # 11.027 * * * * [progress]: [ 77 / 107 ] simplifiying candidate # 11.027 * * * * [progress]: [ 78 / 107 ] simplifiying candidate # 11.027 * * * * [progress]: [ 79 / 107 ] simplifiying candidate # 11.027 * * * * [progress]: [ 80 / 107 ] simplifiying candidate # 11.027 * * * * [progress]: [ 81 / 107 ] simplifiying candidate # 11.027 * * * * [progress]: [ 82 / 107 ] simplifiying candidate # 11.027 * * * * [progress]: [ 83 / 107 ] simplifiying candidate # 11.027 * * * * [progress]: [ 84 / 107 ] simplifiying candidate #real (real->posit16 (sqrt (fma (- y x) z x)))) (sqrt (fma (- y x) z x))))> 11.027 * * * * [progress]: [ 85 / 107 ] simplifiying candidate # 11.027 * * * * [progress]: [ 86 / 107 ] simplifiying candidate # 11.027 * * * * [progress]: [ 87 / 107 ] simplifiying candidate # 11.027 * * * * [progress]: [ 88 / 107 ] simplifiying candidate # 11.027 * * * * [progress]: [ 89 / 107 ] simplifiying candidate # 11.028 * * * * [progress]: [ 90 / 107 ] simplifiying candidate # 11.028 * * * * [progress]: [ 91 / 107 ] simplifiying candidate # 11.028 * * * * [progress]: [ 92 / 107 ] simplifiying candidate # 11.028 * * * * [progress]: [ 93 / 107 ] simplifiying candidate # 11.028 * * * * [progress]: [ 94 / 107 ] simplifiying candidate # 11.028 * * * * [progress]: [ 95 / 107 ] simplifiying candidate #real (real->posit16 (fma (- y x) z x))))))> 11.028 * * * * [progress]: [ 96 / 107 ] simplifiying candidate # 11.028 * * * * [progress]: [ 97 / 107 ] simplifiying candidate # 11.028 * * * * [progress]: [ 98 / 107 ] simplifiying candidate # 11.028 * * * * [progress]: [ 99 / 107 ] simplifiying candidate # 11.028 * * * * [progress]: [ 100 / 107 ] simplifiying candidate # 11.028 * * * * [progress]: [ 101 / 107 ] simplifiying candidate # 11.028 * * * * [progress]: [ 102 / 107 ] simplifiying candidate # 11.028 * * * * [progress]: [ 103 / 107 ] simplifiying candidate # 11.028 * * * * [progress]: [ 104 / 107 ] simplifiying candidate # 11.028 * * * * [progress]: [ 105 / 107 ] simplifiying candidate # 11.028 * * * * [progress]: [ 106 / 107 ] simplifiying candidate # 11.028 * * * * [progress]: [ 107 / 107 ] simplifiying candidate # 11.029 * [simplify]: Simplifying: (expm1 (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)))) (log1p (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (fma (- y x) z x) (fma (- y x) z x)) (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x))) (* (fma (- y x) z x) (fma (- y x) z x)) (+ 1 1) (+ (log (sqrt (fma (- y x) z x))) (log (sqrt (fma (- y x) z x)))) (log (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)))) (exp (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)))) (* (* (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x))) (sqrt (fma (- y x) z x))) (* (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x))) (sqrt (fma (- y x) z x)))) (* (cbrt (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)))) (cbrt (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x))))) (cbrt (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)))) (* (* (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x))) (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)))) (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)))) (* (fma (- y x) z x) (fma (- y x) z x)) (sqrt (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)))) (sqrt (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)))) (* (* (cbrt (sqrt (fma (- y x) z x))) (cbrt (sqrt (fma (- y x) z x)))) (* (cbrt (sqrt (fma (- y x) z x))) (cbrt (sqrt (fma (- y x) z x))))) (* (cbrt (sqrt (fma (- y x) z x))) (cbrt (sqrt (fma (- y x) z x)))) (* (sqrt (* (cbrt (fma (- y x) z x)) (cbrt (fma (- y x) z x)))) (sqrt (* (cbrt (fma (- y x) z x)) (cbrt (fma (- y x) z x))))) (* (sqrt (cbrt (fma (- y x) z x))) (sqrt (cbrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt 1) (sqrt 1)) (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* 1 1) (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x)))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (fma (- y x) z x)) (* (cbrt (sqrt (fma (- y x) z x))) (cbrt (sqrt (fma (- y x) z x))))) (* (sqrt (fma (- y x) z x)) (sqrt (* (cbrt (fma (- y x) z x)) (cbrt (fma (- y x) z x))))) (* (sqrt (fma (- y x) z x)) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (fma (- y x) z x)) (sqrt 1)) (* (sqrt (fma (- y x) z x)) (sqrt (sqrt (fma (- y x) z x)))) (* (sqrt (fma (- y x) z x)) 1) (* (cbrt (sqrt (fma (- y x) z x))) (sqrt (fma (- y x) z x))) (* (sqrt (cbrt (fma (- y x) z x))) (sqrt (fma (- y x) z x))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (fma (- y x) z x))) (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x))) (* (sqrt (sqrt (fma (- y x) z x))) (sqrt (fma (- y x) z x))) (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x))) (real->posit16 (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)))) (expm1 (sqrt (fma (- y x) z x))) (log1p (sqrt (fma (- y x) z x))) (log (sqrt (fma (- y x) z x))) (exp (sqrt (fma (- y x) z x))) (* (cbrt (sqrt (fma (- y x) z x))) (cbrt (sqrt (fma (- y x) z x)))) (cbrt (sqrt (fma (- y x) z x))) (* (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x))) (sqrt (fma (- y x) z x))) (sqrt (* (cbrt (fma (- y x) z x)) (cbrt (fma (- y x) z x)))) (sqrt (cbrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x))) (sqrt 1) (sqrt (fma (- y x) z x)) (/ 1 2) (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x))) (real->posit16 (sqrt (fma (- y x) z x))) (expm1 (sqrt (fma (- y x) z x))) (log1p (sqrt (fma (- y x) z x))) (log (sqrt (fma (- y x) z x))) (exp (sqrt (fma (- y x) z x))) (* (cbrt (sqrt (fma (- y x) z x))) (cbrt (sqrt (fma (- y x) z x)))) (cbrt (sqrt (fma (- y x) z x))) (* (* (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x))) (sqrt (fma (- y x) z x))) (sqrt (* (cbrt (fma (- y x) z x)) (cbrt (fma (- y x) z x)))) (sqrt (cbrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x))) (sqrt 1) (sqrt (fma (- y x) z x)) (/ 1 2) (sqrt (sqrt (fma (- y x) z x))) (sqrt (sqrt (fma (- y x) z x))) (real->posit16 (sqrt (fma (- y x) z x))) (expm1 (fma (- y x) z x)) (log1p (fma (- y x) z x)) (* (- y x) z) (log (fma (- y x) z x)) (exp (fma (- y x) z x)) (* (cbrt (fma (- y x) z x)) (cbrt (fma (- y x) z x))) (cbrt (fma (- y x) z x)) (* (* (fma (- y x) z x) (fma (- y x) z x)) (fma (- y x) z x)) (sqrt (fma (- y x) z x)) (sqrt (fma (- y x) z x)) (real->posit16 (fma (- y x) z x)) (- (+ x (* z y)) (* x z)) (- (+ x (* z y)) (* x z)) (- (+ x (* z y)) (* x z)) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (pow x 2))))))) (- (+ (* +nan.0 (/ (* x z) y)) (- (+ (* +nan.0 (/ (* x z) (pow y 2))) (- (* +nan.0 z)))))) (- (+ (* +nan.0 (/ (* x z) y)) (- (+ (* +nan.0 (/ (* x z) (pow y 2))) (- (* +nan.0 z)))))) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (pow x 2))))))) (- (+ (* +nan.0 (/ (* x z) y)) (- (+ (* +nan.0 (/ (* x z) (pow y 2))) (- (* +nan.0 z)))))) (- (+ (* +nan.0 (/ (* x z) y)) (- (+ (* +nan.0 (/ (* x z) (pow y 2))) (- (* +nan.0 z)))))) (- (+ x (* z y)) (* x z)) (- (+ x (* z y)) (* x z)) (- (+ x (* z y)) (* x z)) 11.030 * * [simplify]: iteration 0: 92 enodes 11.056 * * [simplify]: iteration 1: 214 enodes 11.136 * * [simplify]: iteration 2: 444 enodes 11.359 * * [simplify]: iteration 3: 1491 enodes 12.131 * * [simplify]: iteration complete: 5001 enodes 12.131 * * [simplify]: Extracting #0: cost 33 inf + 0 12.133 * * [simplify]: Extracting #1: cost 582 inf + 3 12.142 * * [simplify]: Extracting #2: cost 1490 inf + 864 12.160 * * [simplify]: Extracting #3: cost 1495 inf + 25357 12.193 * * [simplify]: Extracting #4: cost 990 inf + 125842 12.270 * * [simplify]: Extracting #5: cost 281 inf + 340263 12.422 * * [simplify]: Extracting #6: cost 1 inf + 433998 12.523 * * [simplify]: Extracting #7: cost 0 inf + 434036 12.637 * [simplify]: Simplified to: (expm1 (fma z (- y x) x)) (log1p (fma z (- y x) x)) 1 1 2 1 1 (* (fma z (- y x) x) (fma z (- y x) x)) (fma z (- y x) x) (* (fma z (- y x) x) (fma z (- y x) x)) 2 (log (fma z (- y x) x)) (log (fma z (- y x) x)) (exp (fma z (- y x) x)) (* (* (fma z (- y x) x) (fma z (- y x) x)) (fma z (- y x) x)) (* (cbrt (fma z (- y x) x)) (cbrt (fma z (- y x) x))) (cbrt (fma z (- y x) x)) (* (* (fma z (- y x) x) (fma z (- y x) x)) (fma z (- y x) x)) (* (fma z (- y x) x) (fma z (- y x) x)) (sqrt (fma z (- y x) x)) (sqrt (fma z (- y x) x)) (* (sqrt (fma z (- y x) x)) (cbrt (sqrt (fma z (- y x) x)))) (* (cbrt (sqrt (fma z (- y x) x))) (cbrt (sqrt (fma z (- y x) x)))) (* (cbrt (fma z (- y x) x)) (cbrt (fma z (- y x) x))) (cbrt (fma z (- y x) x)) (sqrt (fma z (- y x) x)) (sqrt (fma z (- y x) x)) (sqrt (fma z (- y x) x)) (sqrt (fma z (- y x) x)) 1 (fma z (- y x) x) (sqrt (fma z (- y x) x)) (sqrt (fma z (- y x) x)) (sqrt (fma z (- y x) x)) (sqrt (fma z (- y x) x)) 1 (fma z (- y x) x) (sqrt (fma z (- y x) x)) (sqrt (fma z (- y x) x)) (sqrt (fma z (- y x) x)) (sqrt (fma z (- y x) x)) (sqrt (fma z (- y x) x)) (sqrt (fma z (- y x) x)) (sqrt (fma z (- y x) x)) (sqrt (fma z (- y x) x)) 1 2 1 (* (sqrt (fma z (- y x) x)) (* (cbrt (sqrt (fma z (- y x) x))) (cbrt (sqrt (fma z (- y x) x))))) (* (sqrt (fma z (- y x) x)) (fabs (cbrt (fma z (- y x) x)))) (* (sqrt (sqrt (fma z (- y x) x))) (sqrt (fma z (- y x) x))) (sqrt (fma z (- y x) x)) (* (sqrt (sqrt (fma z (- y x) x))) (sqrt (fma z (- y x) x))) (sqrt (fma z (- y x) x)) (* (sqrt (fma z (- y x) x)) (cbrt (sqrt (fma z (- y x) x)))) (* (sqrt (fma z (- y x) x)) (sqrt (cbrt (fma z (- y x) x)))) (* (sqrt (sqrt (fma z (- y x) x))) (sqrt (fma z (- y x) x))) (fma z (- y x) x) (* (sqrt (sqrt (fma z (- y x) x))) (sqrt (fma z (- y x) x))) (fma z (- y x) x) (real->posit16 (fma z (- y x) x)) (expm1 (sqrt (fma z (- y x) x))) (log1p (sqrt (fma z (- y x) x))) (log (sqrt (fma z (- y x) x))) (exp (sqrt (fma z (- y x) x))) (* (cbrt (sqrt (fma z (- y x) x))) (cbrt (sqrt (fma z (- y x) x)))) (cbrt (sqrt (fma z (- y x) x))) (* (fma z (- y x) x) (sqrt (fma z (- y x) x))) (fabs (cbrt (fma z (- y x) x))) (sqrt (cbrt (fma z (- y x) x))) (sqrt (sqrt (fma z (- y x) x))) (sqrt (sqrt (fma z (- y x) x))) 1 (sqrt (fma z (- y x) x)) 1/2 (sqrt (sqrt (fma z (- y x) x))) (sqrt (sqrt (fma z (- y x) x))) (real->posit16 (sqrt (fma z (- y x) x))) (expm1 (sqrt (fma z (- y x) x))) (log1p (sqrt (fma z (- y x) x))) (log (sqrt (fma z (- y x) x))) (exp (sqrt (fma z (- y x) x))) (* (cbrt (sqrt (fma z (- y x) x))) (cbrt (sqrt (fma z (- y x) x)))) (cbrt (sqrt (fma z (- y x) x))) (* (fma z (- y x) x) (sqrt (fma z (- y x) x))) (fabs (cbrt (fma z (- y x) x))) (sqrt (cbrt (fma z (- y x) x))) (sqrt (sqrt (fma z (- y x) x))) (sqrt (sqrt (fma z (- y x) x))) 1 (sqrt (fma z (- y x) x)) 1/2 (sqrt (sqrt (fma z (- y x) x))) (sqrt (sqrt (fma z (- y x) x))) (real->posit16 (sqrt (fma z (- y x) x))) (expm1 (fma z (- y x) x)) (log1p (fma z (- y x) x)) (* z (- y x)) (log (fma z (- y x) x)) (exp (fma z (- y x) x)) (* (cbrt (fma z (- y x) x)) (cbrt (fma z (- y x) x))) (cbrt (fma z (- y x) x)) (* (* (fma z (- y x) x) (fma z (- y x) x)) (fma z (- y x) x)) (sqrt (fma z (- y x) x)) (sqrt (fma z (- y x) x)) (real->posit16 (fma z (- y x) x)) (fma z (- y x) x) (fma z (- y x) x) (fma z (- y x) x) (fma x (- (* x +nan.0)) (fma +nan.0 (* y z) (- (* x +nan.0)))) (- (/ (* z +nan.0) (/ y (/ x y))) (fma z +nan.0 (* (/ x y) (* z +nan.0)))) (- (/ (* z +nan.0) (/ y (/ x y))) (fma z +nan.0 (* (/ x y) (* z +nan.0)))) (fma x (- (* x +nan.0)) (fma +nan.0 (* y z) (- (* x +nan.0)))) (- (/ (* z +nan.0) (/ y (/ x y))) (fma z +nan.0 (* (/ x y) (* z +nan.0)))) (- (/ (* z +nan.0) (/ y (/ x y))) (fma z +nan.0 (* (/ x y) (* z +nan.0)))) (fma z (- y x) x) (fma z (- y x) x) (fma z (- y x) x) 12.642 * * * [progress]: adding candidates to table 12.971 * [progress]: [Phase 3 of 3] Extracting. 12.971 * * [regime]: Finding splitpoints for: (# #) 12.972 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 12.972 * * * * [regimes]: Trying to branch on z from (# #) 12.997 * * * * [regimes]: Trying to branch on y from (# #) 13.019 * * * * [regimes]: Trying to branch on x from (# #) 13.047 * * * [regime]: Found split indices: #