61.033 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.037 * * * [progress]: [2/2] Setting up program.
0.043 * [progress]: [Phase 2 of 3] Improving.
0.044 * [simplify]: Simplifying:
  (+ (+ (+ (+ (+ x y) y) x) z) x)
0.044 * * [simplify]: Extracting # 0 : cost  0
0.044 * * [simplify]: Extracting # 1 : cost  0
0.044 * * [simplify]: Extracting # 2 : cost  0
0.044 * * [simplify]: Extracting # 3 : cost  0
0.044 * * [simplify]: Extracting # 4 : cost  0
0.044 * * [simplify]: Extracting # 5 : cost  0
0.044 * * [simplify]: Extracting # 6 : cost  0
0.044 * * [simplify]: iteration  0 :  8  enodes  (cost  11 )
0.047 * * [simplify]: Extracting # 0 : cost  0
0.047 * * [simplify]: Extracting # 1 : cost  0
0.047 * * [simplify]: Extracting # 2 : cost  0
0.047 * * [simplify]: iteration  1 :  20  enodes  (cost  11 )
0.055 * * [simplify]: Extracting # 0 : cost  0
0.055 * * [simplify]: Extracting # 1 : cost  0
0.055 * * [simplify]: Extracting # 2 : cost  0
0.055 * * [simplify]: iteration  2 :  66  enodes  (cost  11 )
0.092 * * [simplify]: Extracting # 0 : cost  0
0.092 * * [simplify]: Extracting # 1 : cost  0
0.092 * * [simplify]: Extracting # 2 : cost  0
0.093 * * [simplify]: iteration  3 :  208  enodes  (cost  9 )
0.247 * * [simplify]: Extracting # 0 : cost  0
0.248 * * [simplify]: Extracting # 1 : cost  0
0.248 * * [simplify]: Extracting # 2 : cost  0
0.249 * * [simplify]: Extracting # 3 : cost  0
0.249 * * [simplify]: iteration  4 :  419  enodes  (cost  8 )
0.423 * * [simplify]: Extracting # 0 : cost  0
0.423 * * [simplify]: Extracting # 1 : cost  0
0.424 * * [simplify]: iteration  5 :  469  enodes  (cost  7 )
0.569 * * [simplify]: Extracting # 0 : cost  0
0.570 * * [simplify]: iteration  6 :  475  enodes  (cost  7 )
0.719 * * [simplify]: Extracting # 0 : cost  0
0.720 * * [simplify]: iteration done:  475  enodes  (cost  7 )
0.720 * [simplify]: Simplified to:
  (fma y 2 (fma 3 x z))
0.728 * * [progress]: iteration 1 / 4
0.728 * * * [progress]: picking best candidate
0.740 * * * * [pick]: Picked  #<alt (λ (x y z) (fma y 2 (fma 3 x z)))>
0.740 * * * [progress]: localizing error
0.756 * * * [progress]: generating rewritten candidates
0.756 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3)
0.758 * * * [progress]: generating series expansions
0.758 * * * * [progress]: [ 1 / 1 ] generating series at (2 3)
0.758 * [backup-simplify]: Simplify (fma 3 x z) into (fma 3 x z)
0.758 * [approximate]: Taking taylor expansion of (fma 3 x z) in (x z) around 0
0.758 * [taylor]: Taking taylor expansion of (fma 3 x z) in z
0.758 * [taylor]: Rewrote expression to (+ (* 3 x) z)
0.758 * [taylor]: Taking taylor expansion of (* 3 x) in z
0.758 * [taylor]: Taking taylor expansion of 3 in z
0.758 * [backup-simplify]: Simplify 3 into 3
0.758 * [taylor]: Taking taylor expansion of x in z
0.758 * [backup-simplify]: Simplify x into x
0.758 * [taylor]: Taking taylor expansion of z in z
0.758 * [backup-simplify]: Simplify 0 into 0
0.758 * [backup-simplify]: Simplify 1 into 1
0.758 * [taylor]: Taking taylor expansion of (fma 3 x z) in x
0.758 * [taylor]: Rewrote expression to (+ (* 3 x) z)
0.758 * [taylor]: Taking taylor expansion of (* 3 x) in x
0.758 * [taylor]: Taking taylor expansion of 3 in x
0.758 * [backup-simplify]: Simplify 3 into 3
0.758 * [taylor]: Taking taylor expansion of x in x
0.759 * [backup-simplify]: Simplify 0 into 0
0.759 * [backup-simplify]: Simplify 1 into 1
0.759 * [taylor]: Taking taylor expansion of z in x
0.759 * [backup-simplify]: Simplify z into z
0.759 * [taylor]: Taking taylor expansion of (fma 3 x z) in x
0.759 * [taylor]: Rewrote expression to (+ (* 3 x) z)
0.759 * [taylor]: Taking taylor expansion of (* 3 x) in x
0.759 * [taylor]: Taking taylor expansion of 3 in x
0.759 * [backup-simplify]: Simplify 3 into 3
0.759 * [taylor]: Taking taylor expansion of x in x
0.759 * [backup-simplify]: Simplify 0 into 0
0.759 * [backup-simplify]: Simplify 1 into 1
0.759 * [taylor]: Taking taylor expansion of z in x
0.759 * [backup-simplify]: Simplify z into z
0.760 * [backup-simplify]: Simplify (* 3 0) into 0
0.760 * [backup-simplify]: Simplify (+ 0 z) into z
0.760 * [taylor]: Taking taylor expansion of z in z
0.760 * [backup-simplify]: Simplify 0 into 0
0.760 * [backup-simplify]: Simplify 1 into 1
0.760 * [backup-simplify]: Simplify 0 into 0
0.761 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
0.761 * [backup-simplify]: Simplify (+ 3 0) into 3
0.762 * [taylor]: Taking taylor expansion of 3 in z
0.762 * [backup-simplify]: Simplify 3 into 3
0.762 * [backup-simplify]: Simplify 3 into 3
0.762 * [backup-simplify]: Simplify 1 into 1
0.763 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0
0.763 * [backup-simplify]: Simplify (+ 0 0) into 0
0.763 * [taylor]: Taking taylor expansion of 0 in z
0.763 * [backup-simplify]: Simplify 0 into 0
0.763 * [backup-simplify]: Simplify 0 into 0
0.763 * [backup-simplify]: Simplify 0 into 0
0.763 * [backup-simplify]: Simplify 0 into 0
0.771 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.772 * [backup-simplify]: Simplify (+ 0 0) into 0
0.772 * [taylor]: Taking taylor expansion of 0 in z
0.772 * [backup-simplify]: Simplify 0 into 0
0.772 * [backup-simplify]: Simplify 0 into 0
0.772 * [backup-simplify]: Simplify 0 into 0
0.772 * [backup-simplify]: Simplify 0 into 0
0.773 * [backup-simplify]: Simplify (+ (* 1 (* z 1)) (* 3 (* 1 x))) into (+ (* 3 x) z)
0.773 * [backup-simplify]: Simplify (fma 3 (/ 1 x) (/ 1 z)) into (fma 3 (/ 1 x) (/ 1 z))
0.773 * [approximate]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in (x z) around 0
0.773 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in z
0.773 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z))
0.773 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z
0.773 * [taylor]: Taking taylor expansion of 3 in z
0.773 * [backup-simplify]: Simplify 3 into 3
0.773 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.773 * [taylor]: Taking taylor expansion of x in z
0.773 * [backup-simplify]: Simplify x into x
0.773 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.773 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.773 * [taylor]: Taking taylor expansion of z in z
0.774 * [backup-simplify]: Simplify 0 into 0
0.774 * [backup-simplify]: Simplify 1 into 1
0.774 * [backup-simplify]: Simplify (/ 1 1) into 1
0.774 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in x
0.774 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z))
0.774 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
0.774 * [taylor]: Taking taylor expansion of 3 in x
0.774 * [backup-simplify]: Simplify 3 into 3
0.774 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.774 * [taylor]: Taking taylor expansion of x in x
0.774 * [backup-simplify]: Simplify 0 into 0
0.774 * [backup-simplify]: Simplify 1 into 1
0.775 * [backup-simplify]: Simplify (/ 1 1) into 1
0.775 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.775 * [taylor]: Taking taylor expansion of z in x
0.775 * [backup-simplify]: Simplify z into z
0.775 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.775 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 x) (/ 1 z)) in x
0.775 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 x)) (/ 1 z))
0.775 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
0.775 * [taylor]: Taking taylor expansion of 3 in x
0.775 * [backup-simplify]: Simplify 3 into 3
0.775 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.775 * [taylor]: Taking taylor expansion of x in x
0.775 * [backup-simplify]: Simplify 0 into 0
0.775 * [backup-simplify]: Simplify 1 into 1
0.776 * [backup-simplify]: Simplify (/ 1 1) into 1
0.776 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.776 * [taylor]: Taking taylor expansion of z in x
0.776 * [backup-simplify]: Simplify z into z
0.776 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.776 * [backup-simplify]: Simplify (* 3 1) into 3
0.777 * [backup-simplify]: Simplify (+ 3 0) into 3
0.777 * [taylor]: Taking taylor expansion of 3 in z
0.777 * [backup-simplify]: Simplify 3 into 3
0.778 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.778 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
0.779 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
0.779 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.779 * [taylor]: Taking taylor expansion of z in z
0.779 * [backup-simplify]: Simplify 0 into 0
0.779 * [backup-simplify]: Simplify 1 into 1
0.779 * [backup-simplify]: Simplify (/ 1 1) into 1
0.779 * [backup-simplify]: Simplify 1 into 1
0.779 * [backup-simplify]: Simplify 3 into 3
0.780 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.781 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
0.781 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.782 * [backup-simplify]: Simplify (+ 0 0) into 0
0.782 * [taylor]: Taking taylor expansion of 0 in z
0.782 * [backup-simplify]: Simplify 0 into 0
0.782 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.782 * [backup-simplify]: Simplify 0 into 0
0.783 * [backup-simplify]: Simplify 0 into 0
0.783 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.785 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.785 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.785 * [backup-simplify]: Simplify (+ 0 0) into 0
0.785 * [taylor]: Taking taylor expansion of 0 in z
0.785 * [backup-simplify]: Simplify 0 into 0
0.785 * [backup-simplify]: Simplify 0 into 0
0.786 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.786 * [backup-simplify]: Simplify 0 into 0
0.786 * [backup-simplify]: Simplify 0 into 0
0.787 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.789 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.789 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.789 * [backup-simplify]: Simplify (+ 0 0) into 0
0.789 * [taylor]: Taking taylor expansion of 0 in z
0.789 * [backup-simplify]: Simplify 0 into 0
0.789 * [backup-simplify]: Simplify 0 into 0
0.790 * [backup-simplify]: Simplify (+ (* 3 (* 1 (/ 1 (/ 1 x)))) (* 1 (* (/ 1 (/ 1 z)) 1))) into (+ (* 3 x) z)
0.790 * [backup-simplify]: Simplify (fma 3 (/ 1 (- x)) (/ 1 (- z))) into (fma 3 (/ -1 x) (/ -1 z))
0.790 * [approximate]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in (x z) around 0
0.790 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in z
0.790 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z))
0.790 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in z
0.790 * [taylor]: Taking taylor expansion of 3 in z
0.790 * [backup-simplify]: Simplify 3 into 3
0.790 * [taylor]: Taking taylor expansion of (/ -1 x) in z
0.790 * [taylor]: Taking taylor expansion of -1 in z
0.790 * [backup-simplify]: Simplify -1 into -1
0.790 * [taylor]: Taking taylor expansion of x in z
0.790 * [backup-simplify]: Simplify x into x
0.790 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.790 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.790 * [taylor]: Taking taylor expansion of -1 in z
0.790 * [backup-simplify]: Simplify -1 into -1
0.790 * [taylor]: Taking taylor expansion of z in z
0.790 * [backup-simplify]: Simplify 0 into 0
0.790 * [backup-simplify]: Simplify 1 into 1
0.791 * [backup-simplify]: Simplify (/ -1 1) into -1
0.791 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in x
0.791 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z))
0.791 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x
0.791 * [taylor]: Taking taylor expansion of 3 in x
0.791 * [backup-simplify]: Simplify 3 into 3
0.791 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.791 * [taylor]: Taking taylor expansion of -1 in x
0.791 * [backup-simplify]: Simplify -1 into -1
0.791 * [taylor]: Taking taylor expansion of x in x
0.791 * [backup-simplify]: Simplify 0 into 0
0.791 * [backup-simplify]: Simplify 1 into 1
0.792 * [backup-simplify]: Simplify (/ -1 1) into -1
0.792 * [taylor]: Taking taylor expansion of (/ -1 z) in x
0.792 * [taylor]: Taking taylor expansion of -1 in x
0.792 * [backup-simplify]: Simplify -1 into -1
0.792 * [taylor]: Taking taylor expansion of z in x
0.792 * [backup-simplify]: Simplify z into z
0.792 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
0.792 * [taylor]: Taking taylor expansion of (fma 3 (/ -1 x) (/ -1 z)) in x
0.792 * [taylor]: Rewrote expression to (+ (* 3 (/ -1 x)) (/ -1 z))
0.792 * [taylor]: Taking taylor expansion of (* 3 (/ -1 x)) in x
0.792 * [taylor]: Taking taylor expansion of 3 in x
0.792 * [backup-simplify]: Simplify 3 into 3
0.792 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.792 * [taylor]: Taking taylor expansion of -1 in x
0.793 * [backup-simplify]: Simplify -1 into -1
0.793 * [taylor]: Taking taylor expansion of x in x
0.793 * [backup-simplify]: Simplify 0 into 0
0.793 * [backup-simplify]: Simplify 1 into 1
0.793 * [backup-simplify]: Simplify (/ -1 1) into -1
0.793 * [taylor]: Taking taylor expansion of (/ -1 z) in x
0.793 * [taylor]: Taking taylor expansion of -1 in x
0.793 * [backup-simplify]: Simplify -1 into -1
0.793 * [taylor]: Taking taylor expansion of z in x
0.793 * [backup-simplify]: Simplify z into z
0.793 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z)
0.794 * [backup-simplify]: Simplify (* 3 -1) into -3
0.794 * [backup-simplify]: Simplify (+ -3 0) into -3
0.794 * [taylor]: Taking taylor expansion of -3 in z
0.794 * [backup-simplify]: Simplify -3 into -3
0.795 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.796 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 -1)) into 0
0.796 * [backup-simplify]: Simplify (+ 0 (/ -1 z)) into (- (/ 1 z))
0.796 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.796 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.796 * [taylor]: Taking taylor expansion of z in z
0.796 * [backup-simplify]: Simplify 0 into 0
0.797 * [backup-simplify]: Simplify 1 into 1
0.797 * [backup-simplify]: Simplify (/ 1 1) into 1
0.797 * [backup-simplify]: Simplify (- 1) into -1
0.797 * [backup-simplify]: Simplify -1 into -1
0.798 * [backup-simplify]: Simplify -3 into -3
0.799 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.800 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 -1))) into 0
0.800 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0
0.800 * [backup-simplify]: Simplify (+ 0 0) into 0
0.800 * [taylor]: Taking taylor expansion of 0 in z
0.801 * [backup-simplify]: Simplify 0 into 0
0.801 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.802 * [backup-simplify]: Simplify (- 0) into 0
0.802 * [backup-simplify]: Simplify 0 into 0
0.802 * [backup-simplify]: Simplify 0 into 0
0.803 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.804 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
0.805 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.805 * [backup-simplify]: Simplify (+ 0 0) into 0
0.805 * [taylor]: Taking taylor expansion of 0 in z
0.805 * [backup-simplify]: Simplify 0 into 0
0.805 * [backup-simplify]: Simplify 0 into 0
0.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.807 * [backup-simplify]: Simplify (- 0) into 0
0.807 * [backup-simplify]: Simplify 0 into 0
0.807 * [backup-simplify]: Simplify 0 into 0
0.808 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.810 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
0.810 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.810 * [backup-simplify]: Simplify (+ 0 0) into 0
0.810 * [taylor]: Taking taylor expansion of 0 in z
0.810 * [backup-simplify]: Simplify 0 into 0
0.810 * [backup-simplify]: Simplify 0 into 0
0.811 * [backup-simplify]: Simplify (+ (* -3 (* 1 (/ 1 (/ 1 (- x))))) (* -1 (* (/ 1 (/ 1 (- z))) 1))) into (+ (* 3 x) z)
0.811 * * * [progress]: simplifying candidates
0.811 * [simplify]: Simplifying:
  (expm1 (fma 3 x z))
  (log1p (fma 3 x z))
  (* 3 x)
  (log (fma 3 x z))
  (exp (fma 3 x z))
  (* (cbrt (fma 3 x z)) (cbrt (fma 3 x z)))
  (cbrt (fma 3 x z))
  (* (* (fma 3 x z) (fma 3 x z)) (fma 3 x z))
  (sqrt (fma 3 x z))
  (sqrt (fma 3 x z))
  (+ (* 3 x) z)
  (+ (* 3 x) z)
  (+ (* 3 x) z)
0.812 * * [simplify]: Extracting # 0 : cost  0
0.812 * * [simplify]: Extracting # 1 : cost  0
0.812 * * [simplify]: Extracting # 2 : cost  0
0.812 * * [simplify]: Extracting # 3 : cost  0
0.812 * * [simplify]: Extracting # 4 : cost  0
0.812 * * [simplify]: iteration  0 :  15  enodes  (cost  78 )
0.817 * * [simplify]: Extracting # 0 : cost  0
0.817 * * [simplify]: Extracting # 1 : cost  0
0.817 * * [simplify]: Extracting # 2 : cost  0
0.817 * * [simplify]: iteration  1 :  21  enodes  (cost  75 )
0.825 * * [simplify]: Extracting # 0 : cost  0
0.825 * * [simplify]: Extracting # 1 : cost  0
0.825 * * [simplify]: Extracting # 2 : cost  0
0.825 * * [simplify]: iteration  2 :  58  enodes  (cost  67 )
0.864 * * [simplify]: Extracting # 0 : cost  0
0.864 * * [simplify]: Extracting # 1 : cost  0
0.865 * * [simplify]: Extracting # 2 : cost  0
0.865 * * [simplify]: Extracting # 3 : cost  0
0.865 * * [simplify]: iteration  3 :  207  enodes  (cost  67 )
1.067 * * [simplify]: Extracting # 0 : cost  0
1.069 * * [simplify]: Extracting # 1 : cost  0
1.071 * * [simplify]: Extracting # 2 : cost  0
1.072 * * [simplify]: Extracting # 3 : cost  0
1.073 * * [simplify]: Extracting # 4 : cost  0
1.074 * * [simplify]: Extracting # 5 : cost  0
1.076 * * [simplify]: iteration  4 :  785  enodes  (cost  67 )
3.718 * * [simplify]: Extracting # 0 : cost  0
3.736 * * [simplify]: Extracting # 1 : cost  0
3.743 * * [simplify]: Extracting # 2 : cost  0
3.750 * * [simplify]: Extracting # 3 : cost  0
3.757 * * [simplify]: Extracting # 4 : cost  0
3.763 * * [simplify]: iteration  5 :  4817  enodes  (cost  67 )
6.865 * * [simplify]: Extracting # 0 : cost  0
6.872 * * [simplify]: Extracting # 1 : cost  0
6.879 * * [simplify]: iteration done:  5000  enodes  (cost  67 )
6.879 * [simplify]: Simplified to:
  (expm1 (fma 3 x z))
  (log1p (fma 3 x z))
  (* 3 x)
  (log (fma 3 x z))
  (exp (fma 3 x z))
  (* (cbrt (fma 3 x z)) (cbrt (fma 3 x z)))
  (cbrt (fma 3 x z))
  (pow (fma 3 x z) 3)
  (sqrt (fma 3 x z))
  (sqrt (fma 3 x z))
  (fma 3 x z)
  (fma 3 x z)
  (fma 3 x z)
6.879 * * * [progress]: adding candidates to table
6.966 * * [progress]: iteration 2 / 4
6.966 * * * [progress]: picking best candidate
6.972 * * * * [pick]: Picked  #<alt (λ (x y z) (fma y 2 (+ (* 3 x) z)))>
6.972 * * * [progress]: localizing error
6.989 * * * [progress]: generating rewritten candidates
6.989 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3)
7.004 * * * [progress]: generating series expansions
7.004 * * * * [progress]: [ 1 / 1 ] generating series at (2 3)
7.005 * [backup-simplify]: Simplify (+ (* 3 x) z) into (+ (* 3 x) z)
7.005 * [approximate]: Taking taylor expansion of (+ (* 3 x) z) in (x z) around 0
7.005 * [taylor]: Taking taylor expansion of (+ (* 3 x) z) in z
7.005 * [taylor]: Taking taylor expansion of (* 3 x) in z
7.005 * [taylor]: Taking taylor expansion of 3 in z
7.005 * [backup-simplify]: Simplify 3 into 3
7.005 * [taylor]: Taking taylor expansion of x in z
7.005 * [backup-simplify]: Simplify x into x
7.005 * [taylor]: Taking taylor expansion of z in z
7.005 * [backup-simplify]: Simplify 0 into 0
7.005 * [backup-simplify]: Simplify 1 into 1
7.005 * [taylor]: Taking taylor expansion of (+ (* 3 x) z) in x
7.005 * [taylor]: Taking taylor expansion of (* 3 x) in x
7.005 * [taylor]: Taking taylor expansion of 3 in x
7.005 * [backup-simplify]: Simplify 3 into 3
7.005 * [taylor]: Taking taylor expansion of x in x
7.005 * [backup-simplify]: Simplify 0 into 0
7.005 * [backup-simplify]: Simplify 1 into 1
7.005 * [taylor]: Taking taylor expansion of z in x
7.005 * [backup-simplify]: Simplify z into z
7.005 * [taylor]: Taking taylor expansion of (+ (* 3 x) z) in x
7.005 * [taylor]: Taking taylor expansion of (* 3 x) in x
7.005 * [taylor]: Taking taylor expansion of 3 in x
7.005 * [backup-simplify]: Simplify 3 into 3
7.005 * [taylor]: Taking taylor expansion of x in x
7.005 * [backup-simplify]: Simplify 0 into 0
7.005 * [backup-simplify]: Simplify 1 into 1
7.005 * [taylor]: Taking taylor expansion of z in x
7.005 * [backup-simplify]: Simplify z into z
7.006 * [backup-simplify]: Simplify (* 3 0) into 0
7.006 * [backup-simplify]: Simplify (+ 0 z) into z
7.006 * [taylor]: Taking taylor expansion of z in z
7.006 * [backup-simplify]: Simplify 0 into 0
7.006 * [backup-simplify]: Simplify 1 into 1
7.006 * [backup-simplify]: Simplify 0 into 0
7.007 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
7.007 * [backup-simplify]: Simplify (+ 3 0) into 3
7.007 * [taylor]: Taking taylor expansion of 3 in z
7.007 * [backup-simplify]: Simplify 3 into 3
7.007 * [backup-simplify]: Simplify 3 into 3
7.007 * [backup-simplify]: Simplify 1 into 1
7.008 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0
7.008 * [backup-simplify]: Simplify (+ 0 0) into 0
7.008 * [taylor]: Taking taylor expansion of 0 in z
7.008 * [backup-simplify]: Simplify 0 into 0
7.008 * [backup-simplify]: Simplify 0 into 0
7.009 * [backup-simplify]: Simplify 0 into 0
7.009 * [backup-simplify]: Simplify 0 into 0
7.010 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.010 * [backup-simplify]: Simplify (+ 0 0) into 0
7.010 * [taylor]: Taking taylor expansion of 0 in z
7.010 * [backup-simplify]: Simplify 0 into 0
7.010 * [backup-simplify]: Simplify 0 into 0
7.010 * [backup-simplify]: Simplify 0 into 0
7.010 * [backup-simplify]: Simplify 0 into 0
7.010 * [backup-simplify]: Simplify (+ (* 1 (* z 1)) (* 3 (* 1 x))) into (+ (* 3 x) z)
7.010 * [backup-simplify]: Simplify (+ (* 3 (/ 1 x)) (/ 1 z)) into (+ (/ 1 z) (* 3 (/ 1 x)))
7.011 * [approximate]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in (x z) around 0
7.011 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in z
7.011 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.011 * [taylor]: Taking taylor expansion of z in z
7.011 * [backup-simplify]: Simplify 0 into 0
7.011 * [backup-simplify]: Simplify 1 into 1
7.011 * [backup-simplify]: Simplify (/ 1 1) into 1
7.011 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z
7.011 * [taylor]: Taking taylor expansion of 3 in z
7.011 * [backup-simplify]: Simplify 3 into 3
7.011 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.011 * [taylor]: Taking taylor expansion of x in z
7.011 * [backup-simplify]: Simplify x into x
7.011 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.011 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x
7.011 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.011 * [taylor]: Taking taylor expansion of z in x
7.011 * [backup-simplify]: Simplify z into z
7.011 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.011 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
7.011 * [taylor]: Taking taylor expansion of 3 in x
7.012 * [backup-simplify]: Simplify 3 into 3
7.012 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.012 * [taylor]: Taking taylor expansion of x in x
7.012 * [backup-simplify]: Simplify 0 into 0
7.012 * [backup-simplify]: Simplify 1 into 1
7.012 * [backup-simplify]: Simplify (/ 1 1) into 1
7.012 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x
7.012 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.012 * [taylor]: Taking taylor expansion of z in x
7.012 * [backup-simplify]: Simplify z into z
7.012 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.012 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
7.012 * [taylor]: Taking taylor expansion of 3 in x
7.012 * [backup-simplify]: Simplify 3 into 3
7.012 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.012 * [taylor]: Taking taylor expansion of x in x
7.012 * [backup-simplify]: Simplify 0 into 0
7.012 * [backup-simplify]: Simplify 1 into 1
7.013 * [backup-simplify]: Simplify (/ 1 1) into 1
7.013 * [backup-simplify]: Simplify (* 3 1) into 3
7.014 * [backup-simplify]: Simplify (+ 0 3) into 3
7.014 * [taylor]: Taking taylor expansion of 3 in z
7.014 * [backup-simplify]: Simplify 3 into 3
7.014 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.015 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
7.015 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
7.015 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.015 * [taylor]: Taking taylor expansion of z in z
7.015 * [backup-simplify]: Simplify 0 into 0
7.015 * [backup-simplify]: Simplify 1 into 1
7.016 * [backup-simplify]: Simplify (/ 1 1) into 1
7.016 * [backup-simplify]: Simplify 1 into 1
7.016 * [backup-simplify]: Simplify 3 into 3
7.016 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.017 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.018 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
7.018 * [backup-simplify]: Simplify (+ 0 0) into 0
7.018 * [taylor]: Taking taylor expansion of 0 in z
7.018 * [backup-simplify]: Simplify 0 into 0
7.019 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.019 * [backup-simplify]: Simplify 0 into 0
7.019 * [backup-simplify]: Simplify 0 into 0
7.019 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.020 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.021 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.021 * [backup-simplify]: Simplify (+ 0 0) into 0
7.021 * [taylor]: Taking taylor expansion of 0 in z
7.021 * [backup-simplify]: Simplify 0 into 0
7.021 * [backup-simplify]: Simplify 0 into 0
7.022 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.022 * [backup-simplify]: Simplify 0 into 0
7.022 * [backup-simplify]: Simplify 0 into 0
7.022 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.023 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.024 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.024 * [backup-simplify]: Simplify (+ 0 0) into 0
7.025 * [taylor]: Taking taylor expansion of 0 in z
7.025 * [backup-simplify]: Simplify 0 into 0
7.025 * [backup-simplify]: Simplify 0 into 0
7.025 * [backup-simplify]: Simplify (+ (* 3 (* 1 (/ 1 (/ 1 x)))) (* 1 (* (/ 1 (/ 1 z)) 1))) into (+ (* 3 x) z)
7.025 * [backup-simplify]: Simplify (+ (* 3 (/ 1 (- x))) (/ 1 (- z))) into (- (+ (/ 1 z) (* 3 (/ 1 x))))
7.025 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (* 3 (/ 1 x)))) in (x z) around 0
7.025 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 3 (/ 1 x)))) in z
7.025 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in z
7.025 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.025 * [taylor]: Taking taylor expansion of z in z
7.025 * [backup-simplify]: Simplify 0 into 0
7.025 * [backup-simplify]: Simplify 1 into 1
7.026 * [backup-simplify]: Simplify (/ 1 1) into 1
7.026 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z
7.026 * [taylor]: Taking taylor expansion of 3 in z
7.026 * [backup-simplify]: Simplify 3 into 3
7.026 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.026 * [taylor]: Taking taylor expansion of x in z
7.026 * [backup-simplify]: Simplify x into x
7.026 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.026 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 3 (/ 1 x)))) in x
7.026 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x
7.026 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.026 * [taylor]: Taking taylor expansion of z in x
7.026 * [backup-simplify]: Simplify z into z
7.026 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.026 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
7.026 * [taylor]: Taking taylor expansion of 3 in x
7.026 * [backup-simplify]: Simplify 3 into 3
7.026 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.026 * [taylor]: Taking taylor expansion of x in x
7.026 * [backup-simplify]: Simplify 0 into 0
7.026 * [backup-simplify]: Simplify 1 into 1
7.026 * [backup-simplify]: Simplify (/ 1 1) into 1
7.027 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 3 (/ 1 x)))) in x
7.027 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x
7.027 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.027 * [taylor]: Taking taylor expansion of z in x
7.027 * [backup-simplify]: Simplify z into z
7.027 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.027 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
7.027 * [taylor]: Taking taylor expansion of 3 in x
7.027 * [backup-simplify]: Simplify 3 into 3
7.027 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.027 * [taylor]: Taking taylor expansion of x in x
7.027 * [backup-simplify]: Simplify 0 into 0
7.027 * [backup-simplify]: Simplify 1 into 1
7.027 * [backup-simplify]: Simplify (/ 1 1) into 1
7.028 * [backup-simplify]: Simplify (* 3 1) into 3
7.028 * [backup-simplify]: Simplify (+ 0 3) into 3
7.028 * [backup-simplify]: Simplify (- 3) into -3
7.028 * [taylor]: Taking taylor expansion of -3 in z
7.028 * [backup-simplify]: Simplify -3 into -3
7.029 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.030 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
7.030 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
7.030 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.030 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
7.030 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.030 * [taylor]: Taking taylor expansion of z in z
7.030 * [backup-simplify]: Simplify 0 into 0
7.030 * [backup-simplify]: Simplify 1 into 1
7.030 * [backup-simplify]: Simplify (/ 1 1) into 1
7.031 * [backup-simplify]: Simplify (- 1) into -1
7.031 * [backup-simplify]: Simplify -1 into -1
7.031 * [backup-simplify]: Simplify -3 into -3
7.031 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.032 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.033 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
7.033 * [backup-simplify]: Simplify (+ 0 0) into 0
7.033 * [backup-simplify]: Simplify (- 0) into 0
7.033 * [taylor]: Taking taylor expansion of 0 in z
7.033 * [backup-simplify]: Simplify 0 into 0
7.034 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.034 * [backup-simplify]: Simplify (- 0) into 0
7.034 * [backup-simplify]: Simplify 0 into 0
7.034 * [backup-simplify]: Simplify 0 into 0
7.035 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.036 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.037 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.037 * [backup-simplify]: Simplify (+ 0 0) into 0
7.037 * [backup-simplify]: Simplify (- 0) into 0
7.037 * [taylor]: Taking taylor expansion of 0 in z
7.038 * [backup-simplify]: Simplify 0 into 0
7.038 * [backup-simplify]: Simplify 0 into 0
7.038 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.039 * [backup-simplify]: Simplify (- 0) into 0
7.039 * [backup-simplify]: Simplify 0 into 0
7.039 * [backup-simplify]: Simplify 0 into 0
7.039 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.040 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.041 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.041 * [backup-simplify]: Simplify (+ 0 0) into 0
7.042 * [backup-simplify]: Simplify (- 0) into 0
7.042 * [taylor]: Taking taylor expansion of 0 in z
7.042 * [backup-simplify]: Simplify 0 into 0
7.042 * [backup-simplify]: Simplify 0 into 0
7.042 * [backup-simplify]: Simplify (+ (* -3 (* 1 (/ 1 (/ 1 (- x))))) (* -1 (* (/ 1 (/ 1 (- z))) 1))) into (+ (* 3 x) z)
7.042 * * * [progress]: simplifying candidates
7.043 * [simplify]: Simplifying:
  (expm1 (+ (* 3 x) z))
  (log1p (+ (* 3 x) z))
  (* (exp (* 3 x)) (exp z))
  (log (+ (* 3 x) z))
  (exp (+ (* 3 x) z))
  (* (cbrt (+ (* 3 x) z)) (cbrt (+ (* 3 x) z)))
  (cbrt (+ (* 3 x) z))
  (* (* (+ (* 3 x) z) (+ (* 3 x) z)) (+ (* 3 x) z))
  (sqrt (+ (* 3 x) z))
  (sqrt (+ (* 3 x) z))
  (+ (pow (* 3 x) 3) (pow z 3))
  (+ (* (* 3 x) (* 3 x)) (- (* z z) (* (* 3 x) z)))
  (- (* (* 3 x) (* 3 x)) (* z z))
  (- (* 3 x) z)
  (+ (* 3 x) z)
  (+ (* 3 x) z)
  (+ (* 3 x) z)
7.043 * * [simplify]: Extracting # 0 : cost  0
7.043 * * [simplify]: Extracting # 1 : cost  0
7.043 * * [simplify]: Extracting # 2 : cost  0
7.043 * * [simplify]: Extracting # 3 : cost  0
7.043 * * [simplify]: Extracting # 4 : cost  0
7.043 * * [simplify]: Extracting # 5 : cost  0
7.044 * * [simplify]: iteration  0 :  27  enodes  (cost  136 )
7.055 * * [simplify]: Extracting # 0 : cost  0
7.055 * * [simplify]: Extracting # 1 : cost  0
7.055 * * [simplify]: Extracting # 2 : cost  0
7.055 * * [simplify]: Extracting # 3 : cost  0
7.056 * * [simplify]: iteration  1 :  89  enodes  (cost  113 )
7.110 * * [simplify]: Extracting # 0 : cost  0
7.111 * * [simplify]: Extracting # 1 : cost  0
7.111 * * [simplify]: Extracting # 2 : cost  0
7.111 * * [simplify]: Extracting # 3 : cost  0
7.112 * * [simplify]: Extracting # 4 : cost  0
7.112 * * [simplify]: iteration  2 :  262  enodes  (cost  103 )
7.341 * * [simplify]: Extracting # 0 : cost  0
7.342 * * [simplify]: Extracting # 1 : cost  0
7.344 * * [simplify]: Extracting # 2 : cost  0
7.345 * * [simplify]: Extracting # 3 : cost  0
7.346 * * [simplify]: iteration  3 :  802  enodes  (cost  103 )
8.604 * * [simplify]: Extracting # 0 : cost  0
8.610 * * [simplify]: Extracting # 1 : cost  0
8.615 * * [simplify]: Extracting # 2 : cost  0
8.619 * * [simplify]: Extracting # 3 : cost  0
8.622 * * [simplify]: Extracting # 4 : cost  0
8.625 * * [simplify]: iteration  4 :  2596  enodes  (cost  102 )
10.095 * * [simplify]: Extracting # 0 : cost  0
10.106 * * [simplify]: Extracting # 1 : cost  0
10.114 * * [simplify]: Extracting # 2 : cost  0
10.120 * * [simplify]: Extracting # 3 : cost  0
10.133 * * [simplify]: iteration done:  5000  enodes  (cost  102 )
10.133 * [simplify]: Simplified to:
  (expm1 (fma 3 x z))
  (log1p (fma 3 x z))
  (exp (fma 3 x z))
  (log (fma 3 x z))
  (exp (fma 3 x z))
  (* (cbrt (fma 3 x z)) (cbrt (fma 3 x z)))
  (cbrt (fma 3 x z))
  (pow (fma 3 x z) 3)
  (sqrt (fma 3 x z))
  (sqrt (fma 3 x z))
  (fma 27 (pow x 3) (pow z 3))
  (fma (fma -3 x z) z (* 9 (* x x)))
  (- (* 9 (* x x)) (* z z))
  (- (* 3 x) z)
  (fma 3 x z)
  (fma 3 x z)
  (fma 3 x z)
10.133 * * * [progress]: adding candidates to table
10.228 * * [progress]: iteration 3 / 4
10.228 * * * [progress]: picking best candidate
10.234 * * * * [pick]: Picked  #<alt (λ (x y z) (fma y 2 (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z))))>
10.235 * * * [progress]: localizing error
10.276 * * * [progress]: generating rewritten candidates
10.276 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3)
10.380 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 1)
10.417 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 1 1)
10.448 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 2)
10.468 * * * [progress]: generating series expansions
10.468 * * * * [progress]: [ 1 / 4 ] generating series at (2 3)
10.469 * [backup-simplify]: Simplify (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z)) into (/ (- (* 9 (pow x 2)) (pow z 2)) (- (* 3 x) z))
10.469 * [approximate]: Taking taylor expansion of (/ (- (* 9 (pow x 2)) (pow z 2)) (- (* 3 x) z)) in (x z) around 0
10.469 * [taylor]: Taking taylor expansion of (/ (- (* 9 (pow x 2)) (pow z 2)) (- (* 3 x) z)) in z
10.469 * [taylor]: Taking taylor expansion of (- (* 9 (pow x 2)) (pow z 2)) in z
10.469 * [taylor]: Taking taylor expansion of (* 9 (pow x 2)) in z
10.469 * [taylor]: Taking taylor expansion of 9 in z
10.469 * [backup-simplify]: Simplify 9 into 9
10.469 * [taylor]: Taking taylor expansion of (pow x 2) in z
10.469 * [taylor]: Taking taylor expansion of x in z
10.469 * [backup-simplify]: Simplify x into x
10.469 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.469 * [taylor]: Taking taylor expansion of z in z
10.469 * [backup-simplify]: Simplify 0 into 0
10.469 * [backup-simplify]: Simplify 1 into 1
10.469 * [taylor]: Taking taylor expansion of (- (* 3 x) z) in z
10.469 * [taylor]: Taking taylor expansion of (* 3 x) in z
10.469 * [taylor]: Taking taylor expansion of 3 in z
10.469 * [backup-simplify]: Simplify 3 into 3
10.469 * [taylor]: Taking taylor expansion of x in z
10.469 * [backup-simplify]: Simplify x into x
10.469 * [taylor]: Taking taylor expansion of z in z
10.469 * [backup-simplify]: Simplify 0 into 0
10.469 * [backup-simplify]: Simplify 1 into 1
10.469 * [backup-simplify]: Simplify (* x x) into (pow x 2)
10.469 * [backup-simplify]: Simplify (* 9 (pow x 2)) into (* 9 (pow x 2))
10.470 * [backup-simplify]: Simplify (+ (* 9 (pow x 2)) 0) into (* 9 (pow x 2))
10.470 * [backup-simplify]: Simplify (* 3 x) into (* 3 x)
10.470 * [backup-simplify]: Simplify (- 0) into 0
10.471 * [backup-simplify]: Simplify (+ (* 3 x) 0) into (* 3 x)
10.471 * [backup-simplify]: Simplify (/ (* 9 (pow x 2)) (* 3 x)) into (* 3 x)
10.471 * [taylor]: Taking taylor expansion of (/ (- (* 9 (pow x 2)) (pow z 2)) (- (* 3 x) z)) in x
10.471 * [taylor]: Taking taylor expansion of (- (* 9 (pow x 2)) (pow z 2)) in x
10.471 * [taylor]: Taking taylor expansion of (* 9 (pow x 2)) in x
10.471 * [taylor]: Taking taylor expansion of 9 in x
10.471 * [backup-simplify]: Simplify 9 into 9
10.471 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.471 * [taylor]: Taking taylor expansion of x in x
10.471 * [backup-simplify]: Simplify 0 into 0
10.471 * [backup-simplify]: Simplify 1 into 1
10.471 * [taylor]: Taking taylor expansion of (pow z 2) in x
10.471 * [taylor]: Taking taylor expansion of z in x
10.471 * [backup-simplify]: Simplify z into z
10.471 * [taylor]: Taking taylor expansion of (- (* 3 x) z) in x
10.471 * [taylor]: Taking taylor expansion of (* 3 x) in x
10.471 * [taylor]: Taking taylor expansion of 3 in x
10.471 * [backup-simplify]: Simplify 3 into 3
10.471 * [taylor]: Taking taylor expansion of x in x
10.471 * [backup-simplify]: Simplify 0 into 0
10.471 * [backup-simplify]: Simplify 1 into 1
10.471 * [taylor]: Taking taylor expansion of z in x
10.471 * [backup-simplify]: Simplify z into z
10.471 * [backup-simplify]: Simplify (* z z) into (pow z 2)
10.471 * [backup-simplify]: Simplify (- (pow z 2)) into (- (pow z 2))
10.472 * [backup-simplify]: Simplify (+ 0 (- (pow z 2))) into (- (pow z 2))
10.472 * [backup-simplify]: Simplify (* 3 0) into 0
10.472 * [backup-simplify]: Simplify (- z) into (- z)
10.472 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
10.472 * [backup-simplify]: Simplify (/ (- (pow z 2)) (- z)) into z
10.472 * [taylor]: Taking taylor expansion of (/ (- (* 9 (pow x 2)) (pow z 2)) (- (* 3 x) z)) in x
10.472 * [taylor]: Taking taylor expansion of (- (* 9 (pow x 2)) (pow z 2)) in x
10.472 * [taylor]: Taking taylor expansion of (* 9 (pow x 2)) in x
10.472 * [taylor]: Taking taylor expansion of 9 in x
10.473 * [backup-simplify]: Simplify 9 into 9
10.473 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.473 * [taylor]: Taking taylor expansion of x in x
10.473 * [backup-simplify]: Simplify 0 into 0
10.473 * [backup-simplify]: Simplify 1 into 1
10.473 * [taylor]: Taking taylor expansion of (pow z 2) in x
10.473 * [taylor]: Taking taylor expansion of z in x
10.473 * [backup-simplify]: Simplify z into z
10.473 * [taylor]: Taking taylor expansion of (- (* 3 x) z) in x
10.473 * [taylor]: Taking taylor expansion of (* 3 x) in x
10.473 * [taylor]: Taking taylor expansion of 3 in x
10.473 * [backup-simplify]: Simplify 3 into 3
10.473 * [taylor]: Taking taylor expansion of x in x
10.473 * [backup-simplify]: Simplify 0 into 0
10.473 * [backup-simplify]: Simplify 1 into 1
10.473 * [taylor]: Taking taylor expansion of z in x
10.473 * [backup-simplify]: Simplify z into z
10.473 * [backup-simplify]: Simplify (* z z) into (pow z 2)
10.473 * [backup-simplify]: Simplify (- (pow z 2)) into (- (pow z 2))
10.473 * [backup-simplify]: Simplify (+ 0 (- (pow z 2))) into (- (pow z 2))
10.474 * [backup-simplify]: Simplify (* 3 0) into 0
10.474 * [backup-simplify]: Simplify (- z) into (- z)
10.474 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
10.474 * [backup-simplify]: Simplify (/ (- (pow z 2)) (- z)) into z
10.474 * [taylor]: Taking taylor expansion of z in z
10.474 * [backup-simplify]: Simplify 0 into 0
10.474 * [backup-simplify]: Simplify 1 into 1
10.474 * [backup-simplify]: Simplify 0 into 0
10.474 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
10.475 * [backup-simplify]: Simplify (- 0) into 0
10.475 * [backup-simplify]: Simplify (+ 0 0) into 0
10.475 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
10.476 * [backup-simplify]: Simplify (- 0) into 0
10.476 * [backup-simplify]: Simplify (+ 3 0) into 3
10.476 * [backup-simplify]: Simplify (- (/ 0 (- z)) (+ (* z (/ 3 (- z))))) into 3
10.476 * [taylor]: Taking taylor expansion of 3 in z
10.476 * [backup-simplify]: Simplify 3 into 3
10.477 * [backup-simplify]: Simplify 3 into 3
10.477 * [backup-simplify]: Simplify 1 into 1
10.477 * [backup-simplify]: Simplify (* 1 1) into 1
10.477 * [backup-simplify]: Simplify (* 9 1) into 9
10.478 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
10.478 * [backup-simplify]: Simplify (- 0) into 0
10.478 * [backup-simplify]: Simplify (+ 9 0) into 9
10.479 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0
10.480 * [backup-simplify]: Simplify (- 0) into 0
10.480 * [backup-simplify]: Simplify (+ 0 0) into 0
10.480 * [backup-simplify]: Simplify (- (/ 9 (- z)) (+ (* z (/ 0 (- z))) (* 3 (/ 3 (- z))))) into 0
10.480 * [taylor]: Taking taylor expansion of 0 in z
10.480 * [backup-simplify]: Simplify 0 into 0
10.480 * [backup-simplify]: Simplify 0 into 0
10.480 * [backup-simplify]: Simplify 0 into 0
10.480 * [backup-simplify]: Simplify 0 into 0
10.482 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.483 * [backup-simplify]: Simplify (+ (* 9 0) (* 0 1)) into 0
10.486 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
10.487 * [backup-simplify]: Simplify (- 0) into 0
10.487 * [backup-simplify]: Simplify (+ 0 0) into 0
10.489 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
10.489 * [backup-simplify]: Simplify (- 0) into 0
10.490 * [backup-simplify]: Simplify (+ 0 0) into 0
10.490 * [backup-simplify]: Simplify (- (/ 0 (- z)) (+ (* z (/ 0 (- z))) (* 3 (/ 0 (- z))) (* 0 (/ 3 (- z))))) into 0
10.490 * [taylor]: Taking taylor expansion of 0 in z
10.490 * [backup-simplify]: Simplify 0 into 0
10.490 * [backup-simplify]: Simplify 0 into 0
10.490 * [backup-simplify]: Simplify 0 into 0
10.490 * [backup-simplify]: Simplify 0 into 0
10.491 * [backup-simplify]: Simplify (+ (* 1 (* z 1)) (* 3 (* 1 x))) into (+ (* 3 x) z)
10.491 * [backup-simplify]: Simplify (/ (- (* 9 (* (/ 1 x) (/ 1 x))) (* (/ 1 z) (/ 1 z))) (- (* 3 (/ 1 x)) (/ 1 z))) into (/ (- (* 9 (/ 1 (pow x 2))) (/ 1 (pow z 2))) (- (* 3 (/ 1 x)) (/ 1 z)))
10.491 * [approximate]: Taking taylor expansion of (/ (- (* 9 (/ 1 (pow x 2))) (/ 1 (pow z 2))) (- (* 3 (/ 1 x)) (/ 1 z))) in (x z) around 0
10.491 * [taylor]: Taking taylor expansion of (/ (- (* 9 (/ 1 (pow x 2))) (/ 1 (pow z 2))) (- (* 3 (/ 1 x)) (/ 1 z))) in z
10.491 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 2))) (/ 1 (pow z 2))) in z
10.491 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 2))) in z
10.491 * [taylor]: Taking taylor expansion of 9 in z
10.491 * [backup-simplify]: Simplify 9 into 9
10.491 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
10.491 * [taylor]: Taking taylor expansion of (pow x 2) in z
10.491 * [taylor]: Taking taylor expansion of x in z
10.491 * [backup-simplify]: Simplify x into x
10.492 * [backup-simplify]: Simplify (* x x) into (pow x 2)
10.492 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
10.492 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
10.492 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.492 * [taylor]: Taking taylor expansion of z in z
10.492 * [backup-simplify]: Simplify 0 into 0
10.492 * [backup-simplify]: Simplify 1 into 1
10.493 * [backup-simplify]: Simplify (* 1 1) into 1
10.493 * [backup-simplify]: Simplify (/ 1 1) into 1
10.493 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x)) (/ 1 z)) in z
10.493 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z
10.493 * [taylor]: Taking taylor expansion of 3 in z
10.493 * [backup-simplify]: Simplify 3 into 3
10.493 * [taylor]: Taking taylor expansion of (/ 1 x) in z
10.493 * [taylor]: Taking taylor expansion of x in z
10.493 * [backup-simplify]: Simplify x into x
10.493 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.493 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.493 * [taylor]: Taking taylor expansion of z in z
10.494 * [backup-simplify]: Simplify 0 into 0
10.494 * [backup-simplify]: Simplify 1 into 1
10.494 * [backup-simplify]: Simplify (/ 1 1) into 1
10.495 * [backup-simplify]: Simplify (- 1) into -1
10.495 * [backup-simplify]: Simplify (+ 0 -1) into -1
10.501 * [backup-simplify]: Simplify (- 1) into -1
10.502 * [backup-simplify]: Simplify (+ 0 -1) into -1
10.502 * [backup-simplify]: Simplify (/ -1 -1) into 1
10.502 * [taylor]: Taking taylor expansion of (/ (- (* 9 (/ 1 (pow x 2))) (/ 1 (pow z 2))) (- (* 3 (/ 1 x)) (/ 1 z))) in x
10.502 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 2))) (/ 1 (pow z 2))) in x
10.502 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 2))) in x
10.502 * [taylor]: Taking taylor expansion of 9 in x
10.502 * [backup-simplify]: Simplify 9 into 9
10.503 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.503 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.503 * [taylor]: Taking taylor expansion of x in x
10.503 * [backup-simplify]: Simplify 0 into 0
10.503 * [backup-simplify]: Simplify 1 into 1
10.503 * [backup-simplify]: Simplify (* 1 1) into 1
10.503 * [backup-simplify]: Simplify (/ 1 1) into 1
10.503 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
10.503 * [taylor]: Taking taylor expansion of (pow z 2) in x
10.503 * [taylor]: Taking taylor expansion of z in x
10.503 * [backup-simplify]: Simplify z into z
10.504 * [backup-simplify]: Simplify (* z z) into (pow z 2)
10.504 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
10.504 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x)) (/ 1 z)) in x
10.504 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
10.504 * [taylor]: Taking taylor expansion of 3 in x
10.504 * [backup-simplify]: Simplify 3 into 3
10.504 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.504 * [taylor]: Taking taylor expansion of x in x
10.504 * [backup-simplify]: Simplify 0 into 0
10.504 * [backup-simplify]: Simplify 1 into 1
10.504 * [backup-simplify]: Simplify (/ 1 1) into 1
10.504 * [taylor]: Taking taylor expansion of (/ 1 z) in x
10.504 * [taylor]: Taking taylor expansion of z in x
10.504 * [backup-simplify]: Simplify z into z
10.505 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
10.505 * [backup-simplify]: Simplify (* 9 1) into 9
10.505 * [backup-simplify]: Simplify (+ 9 0) into 9
10.506 * [backup-simplify]: Simplify (* 3 1) into 3
10.506 * [backup-simplify]: Simplify (+ 3 0) into 3
10.507 * [backup-simplify]: Simplify (/ 9 3) into 3
10.507 * [taylor]: Taking taylor expansion of (/ (- (* 9 (/ 1 (pow x 2))) (/ 1 (pow z 2))) (- (* 3 (/ 1 x)) (/ 1 z))) in x
10.507 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 2))) (/ 1 (pow z 2))) in x
10.507 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 2))) in x
10.507 * [taylor]: Taking taylor expansion of 9 in x
10.507 * [backup-simplify]: Simplify 9 into 9
10.507 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.507 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.507 * [taylor]: Taking taylor expansion of x in x
10.507 * [backup-simplify]: Simplify 0 into 0
10.507 * [backup-simplify]: Simplify 1 into 1
10.507 * [backup-simplify]: Simplify (* 1 1) into 1
10.508 * [backup-simplify]: Simplify (/ 1 1) into 1
10.508 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
10.508 * [taylor]: Taking taylor expansion of (pow z 2) in x
10.508 * [taylor]: Taking taylor expansion of z in x
10.508 * [backup-simplify]: Simplify z into z
10.508 * [backup-simplify]: Simplify (* z z) into (pow z 2)
10.508 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
10.508 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x)) (/ 1 z)) in x
10.508 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
10.508 * [taylor]: Taking taylor expansion of 3 in x
10.508 * [backup-simplify]: Simplify 3 into 3
10.508 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.508 * [taylor]: Taking taylor expansion of x in x
10.508 * [backup-simplify]: Simplify 0 into 0
10.508 * [backup-simplify]: Simplify 1 into 1
10.509 * [backup-simplify]: Simplify (/ 1 1) into 1
10.509 * [taylor]: Taking taylor expansion of (/ 1 z) in x
10.509 * [taylor]: Taking taylor expansion of z in x
10.509 * [backup-simplify]: Simplify z into z
10.509 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
10.509 * [backup-simplify]: Simplify (* 9 1) into 9
10.510 * [backup-simplify]: Simplify (+ 9 0) into 9
10.510 * [backup-simplify]: Simplify (* 3 1) into 3
10.510 * [backup-simplify]: Simplify (+ 3 0) into 3
10.511 * [backup-simplify]: Simplify (/ 9 3) into 3
10.511 * [taylor]: Taking taylor expansion of 3 in z
10.511 * [backup-simplify]: Simplify 3 into 3
10.512 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.513 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.513 * [backup-simplify]: Simplify (+ (* 9 0) (* 0 1)) into 0
10.514 * [backup-simplify]: Simplify (+ 0 0) into 0
10.514 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.515 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
10.515 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
10.515 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
10.516 * [backup-simplify]: Simplify (- (/ 0 3) (+ (* 3 (/ (- (/ 1 z)) 3)))) into (/ 1 z)
10.516 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.516 * [taylor]: Taking taylor expansion of z in z
10.516 * [backup-simplify]: Simplify 0 into 0
10.516 * [backup-simplify]: Simplify 1 into 1
10.516 * [backup-simplify]: Simplify (/ 1 1) into 1
10.516 * [backup-simplify]: Simplify 1 into 1
10.516 * [backup-simplify]: Simplify 3 into 3
10.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.518 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.519 * [backup-simplify]: Simplify (+ (* 9 0) (+ (* 0 0) (* 0 1))) into 0
10.519 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2)))
10.519 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow z 2)))) into (- (/ 1 (pow z 2)))
10.520 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.521 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
10.521 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
10.521 * [backup-simplify]: Simplify (- 0) into 0
10.522 * [backup-simplify]: Simplify (+ 0 0) into 0
10.523 * [backup-simplify]: Simplify (- (/ (- (/ 1 (pow z 2))) 3) (+ (* 3 (/ 0 3)) (* (/ 1 z) (/ (- (/ 1 z)) 3)))) into 0
10.523 * [taylor]: Taking taylor expansion of 0 in z
10.523 * [backup-simplify]: Simplify 0 into 0
10.523 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.524 * [backup-simplify]: Simplify 0 into 0
10.524 * [backup-simplify]: Simplify 0 into 0
10.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.525 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.526 * [backup-simplify]: Simplify (+ (* 9 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.527 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
10.527 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0
10.527 * [backup-simplify]: Simplify (- 0) into 0
10.528 * [backup-simplify]: Simplify (+ 0 0) into 0
10.528 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.529 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.530 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
10.530 * [backup-simplify]: Simplify (- 0) into 0
10.530 * [backup-simplify]: Simplify (+ 0 0) into 0
10.532 * [backup-simplify]: Simplify (- (/ 0 3) (+ (* 3 (/ 0 3)) (* (/ 1 z) (/ 0 3)) (* 0 (/ (- (/ 1 z)) 3)))) into 0
10.532 * [taylor]: Taking taylor expansion of 0 in z
10.532 * [backup-simplify]: Simplify 0 into 0
10.532 * [backup-simplify]: Simplify 0 into 0
10.533 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.533 * [backup-simplify]: Simplify 0 into 0
10.533 * [backup-simplify]: Simplify 0 into 0
10.534 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.535 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.536 * [backup-simplify]: Simplify (+ (* 9 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.536 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
10.537 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
10.537 * [backup-simplify]: Simplify (- 0) into 0
10.537 * [backup-simplify]: Simplify (+ 0 0) into 0
10.538 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.539 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.539 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
10.540 * [backup-simplify]: Simplify (- 0) into 0
10.540 * [backup-simplify]: Simplify (+ 0 0) into 0
10.542 * [backup-simplify]: Simplify (- (/ 0 3) (+ (* 3 (/ 0 3)) (* (/ 1 z) (/ 0 3)) (* 0 (/ 0 3)) (* 0 (/ (- (/ 1 z)) 3)))) into 0
10.542 * [taylor]: Taking taylor expansion of 0 in z
10.542 * [backup-simplify]: Simplify 0 into 0
10.542 * [backup-simplify]: Simplify 0 into 0
10.542 * [backup-simplify]: Simplify (+ (* 3 (* 1 (/ 1 (/ 1 x)))) (* 1 (* (/ 1 (/ 1 z)) 1))) into (+ (* 3 x) z)
10.543 * [backup-simplify]: Simplify (/ (- (* 9 (* (/ 1 (- x)) (/ 1 (- x)))) (* (/ 1 (- z)) (/ 1 (- z)))) (- (* 3 (/ 1 (- x))) (/ 1 (- z)))) into (/ (- (* 9 (/ 1 (pow x 2))) (/ 1 (pow z 2))) (- (/ 1 z) (* 3 (/ 1 x))))
10.543 * [approximate]: Taking taylor expansion of (/ (- (* 9 (/ 1 (pow x 2))) (/ 1 (pow z 2))) (- (/ 1 z) (* 3 (/ 1 x)))) in (x z) around 0
10.543 * [taylor]: Taking taylor expansion of (/ (- (* 9 (/ 1 (pow x 2))) (/ 1 (pow z 2))) (- (/ 1 z) (* 3 (/ 1 x)))) in z
10.543 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 2))) (/ 1 (pow z 2))) in z
10.543 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 2))) in z
10.543 * [taylor]: Taking taylor expansion of 9 in z
10.543 * [backup-simplify]: Simplify 9 into 9
10.543 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
10.543 * [taylor]: Taking taylor expansion of (pow x 2) in z
10.543 * [taylor]: Taking taylor expansion of x in z
10.543 * [backup-simplify]: Simplify x into x
10.543 * [backup-simplify]: Simplify (* x x) into (pow x 2)
10.543 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
10.543 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
10.543 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.543 * [taylor]: Taking taylor expansion of z in z
10.543 * [backup-simplify]: Simplify 0 into 0
10.543 * [backup-simplify]: Simplify 1 into 1
10.544 * [backup-simplify]: Simplify (* 1 1) into 1
10.544 * [backup-simplify]: Simplify (/ 1 1) into 1
10.544 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 3 (/ 1 x))) in z
10.544 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.544 * [taylor]: Taking taylor expansion of z in z
10.544 * [backup-simplify]: Simplify 0 into 0
10.544 * [backup-simplify]: Simplify 1 into 1
10.545 * [backup-simplify]: Simplify (/ 1 1) into 1
10.545 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z
10.545 * [taylor]: Taking taylor expansion of 3 in z
10.545 * [backup-simplify]: Simplify 3 into 3
10.545 * [taylor]: Taking taylor expansion of (/ 1 x) in z
10.545 * [taylor]: Taking taylor expansion of x in z
10.545 * [backup-simplify]: Simplify x into x
10.545 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.545 * [backup-simplify]: Simplify (- 1) into -1
10.546 * [backup-simplify]: Simplify (+ 0 -1) into -1
10.546 * [backup-simplify]: Simplify (+ 1 0) into 1
10.546 * [backup-simplify]: Simplify (/ -1 1) into -1
10.546 * [taylor]: Taking taylor expansion of (/ (- (* 9 (/ 1 (pow x 2))) (/ 1 (pow z 2))) (- (/ 1 z) (* 3 (/ 1 x)))) in x
10.546 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 2))) (/ 1 (pow z 2))) in x
10.546 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 2))) in x
10.546 * [taylor]: Taking taylor expansion of 9 in x
10.546 * [backup-simplify]: Simplify 9 into 9
10.546 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.547 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.547 * [taylor]: Taking taylor expansion of x in x
10.547 * [backup-simplify]: Simplify 0 into 0
10.547 * [backup-simplify]: Simplify 1 into 1
10.547 * [backup-simplify]: Simplify (* 1 1) into 1
10.547 * [backup-simplify]: Simplify (/ 1 1) into 1
10.547 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
10.547 * [taylor]: Taking taylor expansion of (pow z 2) in x
10.547 * [taylor]: Taking taylor expansion of z in x
10.547 * [backup-simplify]: Simplify z into z
10.547 * [backup-simplify]: Simplify (* z z) into (pow z 2)
10.548 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
10.548 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 3 (/ 1 x))) in x
10.548 * [taylor]: Taking taylor expansion of (/ 1 z) in x
10.548 * [taylor]: Taking taylor expansion of z in x
10.548 * [backup-simplify]: Simplify z into z
10.548 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
10.548 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
10.548 * [taylor]: Taking taylor expansion of 3 in x
10.548 * [backup-simplify]: Simplify 3 into 3
10.548 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.548 * [taylor]: Taking taylor expansion of x in x
10.548 * [backup-simplify]: Simplify 0 into 0
10.548 * [backup-simplify]: Simplify 1 into 1
10.548 * [backup-simplify]: Simplify (/ 1 1) into 1
10.549 * [backup-simplify]: Simplify (* 9 1) into 9
10.549 * [backup-simplify]: Simplify (+ 9 0) into 9
10.549 * [backup-simplify]: Simplify (* 3 1) into 3
10.550 * [backup-simplify]: Simplify (- 3) into -3
10.550 * [backup-simplify]: Simplify (+ 0 -3) into -3
10.550 * [backup-simplify]: Simplify (/ 9 -3) into -3
10.551 * [taylor]: Taking taylor expansion of (/ (- (* 9 (/ 1 (pow x 2))) (/ 1 (pow z 2))) (- (/ 1 z) (* 3 (/ 1 x)))) in x
10.551 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 2))) (/ 1 (pow z 2))) in x
10.551 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 2))) in x
10.551 * [taylor]: Taking taylor expansion of 9 in x
10.551 * [backup-simplify]: Simplify 9 into 9
10.551 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.551 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.551 * [taylor]: Taking taylor expansion of x in x
10.551 * [backup-simplify]: Simplify 0 into 0
10.551 * [backup-simplify]: Simplify 1 into 1
10.551 * [backup-simplify]: Simplify (* 1 1) into 1
10.551 * [backup-simplify]: Simplify (/ 1 1) into 1
10.551 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
10.551 * [taylor]: Taking taylor expansion of (pow z 2) in x
10.551 * [taylor]: Taking taylor expansion of z in x
10.551 * [backup-simplify]: Simplify z into z
10.552 * [backup-simplify]: Simplify (* z z) into (pow z 2)
10.552 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
10.552 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 3 (/ 1 x))) in x
10.552 * [taylor]: Taking taylor expansion of (/ 1 z) in x
10.552 * [taylor]: Taking taylor expansion of z in x
10.552 * [backup-simplify]: Simplify z into z
10.552 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
10.552 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
10.552 * [taylor]: Taking taylor expansion of 3 in x
10.552 * [backup-simplify]: Simplify 3 into 3
10.552 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.552 * [taylor]: Taking taylor expansion of x in x
10.552 * [backup-simplify]: Simplify 0 into 0
10.552 * [backup-simplify]: Simplify 1 into 1
10.552 * [backup-simplify]: Simplify (/ 1 1) into 1
10.553 * [backup-simplify]: Simplify (* 9 1) into 9
10.553 * [backup-simplify]: Simplify (+ 9 0) into 9
10.554 * [backup-simplify]: Simplify (* 3 1) into 3
10.554 * [backup-simplify]: Simplify (- 3) into -3
10.554 * [backup-simplify]: Simplify (+ 0 -3) into -3
10.555 * [backup-simplify]: Simplify (/ 9 -3) into -3
10.555 * [taylor]: Taking taylor expansion of -3 in z
10.555 * [backup-simplify]: Simplify -3 into -3
10.555 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.556 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.557 * [backup-simplify]: Simplify (+ (* 9 0) (* 0 1)) into 0
10.557 * [backup-simplify]: Simplify (+ 0 0) into 0
10.558 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.558 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
10.559 * [backup-simplify]: Simplify (- 0) into 0
10.559 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
10.559 * [backup-simplify]: Simplify (- (/ 0 -3) (+ (* -3 (/ (/ 1 z) -3)))) into (- (/ 1 z))
10.559 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
10.559 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.559 * [taylor]: Taking taylor expansion of z in z
10.559 * [backup-simplify]: Simplify 0 into 0
10.559 * [backup-simplify]: Simplify 1 into 1
10.560 * [backup-simplify]: Simplify (/ 1 1) into 1
10.560 * [backup-simplify]: Simplify (- 1) into -1
10.560 * [backup-simplify]: Simplify -1 into -1
10.560 * [backup-simplify]: Simplify -3 into -3
10.561 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.562 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.563 * [backup-simplify]: Simplify (+ (* 9 0) (+ (* 0 0) (* 0 1))) into 0
10.563 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2)))
10.563 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow z 2)))) into (- (/ 1 (pow z 2)))
10.563 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
10.564 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.565 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
10.565 * [backup-simplify]: Simplify (- 0) into 0
10.566 * [backup-simplify]: Simplify (+ 0 0) into 0
10.567 * [backup-simplify]: Simplify (- (/ (- (/ 1 (pow z 2))) -3) (+ (* -3 (/ 0 -3)) (* (- (/ 1 z)) (/ (/ 1 z) -3)))) into 0
10.567 * [taylor]: Taking taylor expansion of 0 in z
10.567 * [backup-simplify]: Simplify 0 into 0
10.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.568 * [backup-simplify]: Simplify (- 0) into 0
10.568 * [backup-simplify]: Simplify 0 into 0
10.568 * [backup-simplify]: Simplify 0 into 0
10.569 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.570 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.571 * [backup-simplify]: Simplify (+ (* 9 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.571 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
10.571 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0
10.571 * [backup-simplify]: Simplify (- 0) into 0
10.572 * [backup-simplify]: Simplify (+ 0 0) into 0
10.572 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
10.573 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.574 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.574 * [backup-simplify]: Simplify (- 0) into 0
10.574 * [backup-simplify]: Simplify (+ 0 0) into 0
10.576 * [backup-simplify]: Simplify (- (/ 0 -3) (+ (* -3 (/ 0 -3)) (* (- (/ 1 z)) (/ 0 -3)) (* 0 (/ (/ 1 z) -3)))) into 0
10.576 * [taylor]: Taking taylor expansion of 0 in z
10.576 * [backup-simplify]: Simplify 0 into 0
10.576 * [backup-simplify]: Simplify 0 into 0
10.577 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.577 * [backup-simplify]: Simplify (- 0) into 0
10.577 * [backup-simplify]: Simplify 0 into 0
10.577 * [backup-simplify]: Simplify 0 into 0
10.578 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.579 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.580 * [backup-simplify]: Simplify (+ (* 9 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.581 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
10.581 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
10.581 * [backup-simplify]: Simplify (- 0) into 0
10.582 * [backup-simplify]: Simplify (+ 0 0) into 0
10.582 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
10.583 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.584 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.584 * [backup-simplify]: Simplify (- 0) into 0
10.585 * [backup-simplify]: Simplify (+ 0 0) into 0
10.587 * [backup-simplify]: Simplify (- (/ 0 -3) (+ (* -3 (/ 0 -3)) (* (- (/ 1 z)) (/ 0 -3)) (* 0 (/ 0 -3)) (* 0 (/ (/ 1 z) -3)))) into 0
10.587 * [taylor]: Taking taylor expansion of 0 in z
10.587 * [backup-simplify]: Simplify 0 into 0
10.587 * [backup-simplify]: Simplify 0 into 0
10.587 * [backup-simplify]: Simplify (+ (* -3 (* 1 (/ 1 (/ 1 (- x))))) (* -1 (* (/ 1 (/ 1 (- z))) 1))) into (+ (* 3 x) z)
10.587 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 1)
10.587 * [backup-simplify]: Simplify (- (* 9 (* x x)) (* z z)) into (- (* 9 (pow x 2)) (pow z 2))
10.587 * [approximate]: Taking taylor expansion of (- (* 9 (pow x 2)) (pow z 2)) in (x z) around 0
10.587 * [taylor]: Taking taylor expansion of (- (* 9 (pow x 2)) (pow z 2)) in z
10.587 * [taylor]: Taking taylor expansion of (* 9 (pow x 2)) in z
10.587 * [taylor]: Taking taylor expansion of 9 in z
10.587 * [backup-simplify]: Simplify 9 into 9
10.588 * [taylor]: Taking taylor expansion of (pow x 2) in z
10.588 * [taylor]: Taking taylor expansion of x in z
10.588 * [backup-simplify]: Simplify x into x
10.588 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.588 * [taylor]: Taking taylor expansion of z in z
10.588 * [backup-simplify]: Simplify 0 into 0
10.588 * [backup-simplify]: Simplify 1 into 1
10.588 * [taylor]: Taking taylor expansion of (- (* 9 (pow x 2)) (pow z 2)) in x
10.588 * [taylor]: Taking taylor expansion of (* 9 (pow x 2)) in x
10.588 * [taylor]: Taking taylor expansion of 9 in x
10.588 * [backup-simplify]: Simplify 9 into 9
10.588 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.588 * [taylor]: Taking taylor expansion of x in x
10.588 * [backup-simplify]: Simplify 0 into 0
10.588 * [backup-simplify]: Simplify 1 into 1
10.588 * [taylor]: Taking taylor expansion of (pow z 2) in x
10.588 * [taylor]: Taking taylor expansion of z in x
10.588 * [backup-simplify]: Simplify z into z
10.588 * [taylor]: Taking taylor expansion of (- (* 9 (pow x 2)) (pow z 2)) in x
10.588 * [taylor]: Taking taylor expansion of (* 9 (pow x 2)) in x
10.588 * [taylor]: Taking taylor expansion of 9 in x
10.588 * [backup-simplify]: Simplify 9 into 9
10.588 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.588 * [taylor]: Taking taylor expansion of x in x
10.588 * [backup-simplify]: Simplify 0 into 0
10.588 * [backup-simplify]: Simplify 1 into 1
10.588 * [taylor]: Taking taylor expansion of (pow z 2) in x
10.588 * [taylor]: Taking taylor expansion of z in x
10.588 * [backup-simplify]: Simplify z into z
10.588 * [backup-simplify]: Simplify (* z z) into (pow z 2)
10.589 * [backup-simplify]: Simplify (- (pow z 2)) into (- (pow z 2))
10.589 * [backup-simplify]: Simplify (+ 0 (- (pow z 2))) into (- (pow z 2))
10.589 * [taylor]: Taking taylor expansion of (- (pow z 2)) in z
10.589 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.589 * [taylor]: Taking taylor expansion of z in z
10.589 * [backup-simplify]: Simplify 0 into 0
10.589 * [backup-simplify]: Simplify 1 into 1
10.589 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
10.589 * [backup-simplify]: Simplify (- 0) into 0
10.590 * [backup-simplify]: Simplify (+ 0 0) into 0
10.590 * [taylor]: Taking taylor expansion of 0 in z
10.590 * [backup-simplify]: Simplify 0 into 0
10.590 * [backup-simplify]: Simplify 0 into 0
10.590 * [backup-simplify]: Simplify (* 1 1) into 1
10.591 * [backup-simplify]: Simplify (* 9 1) into 9
10.591 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
10.591 * [backup-simplify]: Simplify (- 0) into 0
10.592 * [backup-simplify]: Simplify (+ 9 0) into 9
10.592 * [taylor]: Taking taylor expansion of 9 in z
10.592 * [backup-simplify]: Simplify 9 into 9
10.592 * [backup-simplify]: Simplify 9 into 9
10.592 * [backup-simplify]: Simplify 0 into 0
10.592 * [backup-simplify]: Simplify (* 1 1) into 1
10.592 * [backup-simplify]: Simplify (- 1) into -1
10.593 * [backup-simplify]: Simplify -1 into -1
10.593 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.594 * [backup-simplify]: Simplify (+ (* 9 0) (* 0 1)) into 0
10.594 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
10.595 * [backup-simplify]: Simplify (- 0) into 0
10.595 * [backup-simplify]: Simplify (+ 0 0) into 0
10.595 * [taylor]: Taking taylor expansion of 0 in z
10.595 * [backup-simplify]: Simplify 0 into 0
10.595 * [backup-simplify]: Simplify 0 into 0
10.595 * [backup-simplify]: Simplify 0 into 0
10.595 * [backup-simplify]: Simplify 0 into 0
10.596 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.596 * [backup-simplify]: Simplify (- 0) into 0
10.596 * [backup-simplify]: Simplify 0 into 0
10.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.598 * [backup-simplify]: Simplify (+ (* 9 0) (+ (* 0 0) (* 0 1))) into 0
10.599 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0
10.599 * [backup-simplify]: Simplify (- 0) into 0
10.599 * [backup-simplify]: Simplify (+ 0 0) into 0
10.599 * [taylor]: Taking taylor expansion of 0 in z
10.600 * [backup-simplify]: Simplify 0 into 0
10.600 * [backup-simplify]: Simplify 0 into 0
10.600 * [backup-simplify]: Simplify 0 into 0
10.600 * [backup-simplify]: Simplify (+ (* -1 (pow (* z 1) 2)) (* 9 (pow (* 1 x) 2))) into (- (* 9 (pow x 2)) (pow z 2))
10.600 * [backup-simplify]: Simplify (- (* 9 (* (/ 1 x) (/ 1 x))) (* (/ 1 z) (/ 1 z))) into (- (* 9 (/ 1 (pow x 2))) (/ 1 (pow z 2)))
10.600 * [approximate]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 2))) (/ 1 (pow z 2))) in (x z) around 0
10.600 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 2))) (/ 1 (pow z 2))) in z
10.600 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 2))) in z
10.600 * [taylor]: Taking taylor expansion of 9 in z
10.601 * [backup-simplify]: Simplify 9 into 9
10.601 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
10.601 * [taylor]: Taking taylor expansion of (pow x 2) in z
10.601 * [taylor]: Taking taylor expansion of x in z
10.601 * [backup-simplify]: Simplify x into x
10.601 * [backup-simplify]: Simplify (* x x) into (pow x 2)
10.601 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
10.601 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
10.601 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.601 * [taylor]: Taking taylor expansion of z in z
10.601 * [backup-simplify]: Simplify 0 into 0
10.601 * [backup-simplify]: Simplify 1 into 1
10.601 * [backup-simplify]: Simplify (* 1 1) into 1
10.602 * [backup-simplify]: Simplify (/ 1 1) into 1
10.602 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 2))) (/ 1 (pow z 2))) in x
10.602 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 2))) in x
10.602 * [taylor]: Taking taylor expansion of 9 in x
10.602 * [backup-simplify]: Simplify 9 into 9
10.602 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.602 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.602 * [taylor]: Taking taylor expansion of x in x
10.602 * [backup-simplify]: Simplify 0 into 0
10.602 * [backup-simplify]: Simplify 1 into 1
10.602 * [backup-simplify]: Simplify (* 1 1) into 1
10.603 * [backup-simplify]: Simplify (/ 1 1) into 1
10.603 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
10.603 * [taylor]: Taking taylor expansion of (pow z 2) in x
10.603 * [taylor]: Taking taylor expansion of z in x
10.603 * [backup-simplify]: Simplify z into z
10.603 * [backup-simplify]: Simplify (* z z) into (pow z 2)
10.603 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
10.603 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 2))) (/ 1 (pow z 2))) in x
10.603 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 2))) in x
10.603 * [taylor]: Taking taylor expansion of 9 in x
10.603 * [backup-simplify]: Simplify 9 into 9
10.603 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.603 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.603 * [taylor]: Taking taylor expansion of x in x
10.603 * [backup-simplify]: Simplify 0 into 0
10.603 * [backup-simplify]: Simplify 1 into 1
10.603 * [backup-simplify]: Simplify (* 1 1) into 1
10.604 * [backup-simplify]: Simplify (/ 1 1) into 1
10.604 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
10.604 * [taylor]: Taking taylor expansion of (pow z 2) in x
10.604 * [taylor]: Taking taylor expansion of z in x
10.604 * [backup-simplify]: Simplify z into z
10.604 * [backup-simplify]: Simplify (* z z) into (pow z 2)
10.604 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
10.605 * [backup-simplify]: Simplify (* 9 1) into 9
10.605 * [backup-simplify]: Simplify (+ 9 0) into 9
10.605 * [taylor]: Taking taylor expansion of 9 in z
10.605 * [backup-simplify]: Simplify 9 into 9
10.606 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.606 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.607 * [backup-simplify]: Simplify (+ (* 9 0) (* 0 1)) into 0
10.607 * [backup-simplify]: Simplify (+ 0 0) into 0
10.607 * [taylor]: Taking taylor expansion of 0 in z
10.607 * [backup-simplify]: Simplify 0 into 0
10.608 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.609 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.610 * [backup-simplify]: Simplify (+ (* 9 0) (+ (* 0 0) (* 0 1))) into 0
10.610 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2)))
10.610 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow z 2)))) into (- (/ 1 (pow z 2)))
10.610 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
10.610 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
10.610 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.610 * [taylor]: Taking taylor expansion of z in z
10.610 * [backup-simplify]: Simplify 0 into 0
10.610 * [backup-simplify]: Simplify 1 into 1
10.611 * [backup-simplify]: Simplify (* 1 1) into 1
10.611 * [backup-simplify]: Simplify (/ 1 1) into 1
10.611 * [backup-simplify]: Simplify (- 1) into -1
10.611 * [backup-simplify]: Simplify -1 into -1
10.611 * [backup-simplify]: Simplify 9 into 9
10.612 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.613 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.614 * [backup-simplify]: Simplify (+ (* 9 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.614 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
10.615 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0
10.615 * [backup-simplify]: Simplify (- 0) into 0
10.615 * [backup-simplify]: Simplify (+ 0 0) into 0
10.616 * [taylor]: Taking taylor expansion of 0 in z
10.616 * [backup-simplify]: Simplify 0 into 0
10.617 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.617 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.618 * [backup-simplify]: Simplify (- 0) into 0
10.618 * [backup-simplify]: Simplify 0 into 0
10.618 * [backup-simplify]: Simplify 0 into 0
10.618 * [backup-simplify]: Simplify 0 into 0
10.619 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.620 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.621 * [backup-simplify]: Simplify (+ (* 9 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.621 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
10.622 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
10.622 * [backup-simplify]: Simplify (- 0) into 0
10.622 * [backup-simplify]: Simplify (+ 0 0) into 0
10.622 * [taylor]: Taking taylor expansion of 0 in z
10.622 * [backup-simplify]: Simplify 0 into 0
10.623 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.624 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.624 * [backup-simplify]: Simplify (- 0) into 0
10.624 * [backup-simplify]: Simplify 0 into 0
10.624 * [backup-simplify]: Simplify 0 into 0
10.625 * [backup-simplify]: Simplify 0 into 0
10.625 * [backup-simplify]: Simplify (+ (* 9 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* -1 (pow (* (/ 1 (/ 1 z)) 1) 2))) into (- (* 9 (pow x 2)) (pow z 2))
10.625 * [backup-simplify]: Simplify (- (* 9 (* (/ 1 (- x)) (/ 1 (- x)))) (* (/ 1 (- z)) (/ 1 (- z)))) into (- (* 9 (/ 1 (pow x 2))) (/ 1 (pow z 2)))
10.625 * [approximate]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 2))) (/ 1 (pow z 2))) in (x z) around 0
10.625 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 2))) (/ 1 (pow z 2))) in z
10.625 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 2))) in z
10.625 * [taylor]: Taking taylor expansion of 9 in z
10.626 * [backup-simplify]: Simplify 9 into 9
10.626 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z
10.626 * [taylor]: Taking taylor expansion of (pow x 2) in z
10.626 * [taylor]: Taking taylor expansion of x in z
10.626 * [backup-simplify]: Simplify x into x
10.626 * [backup-simplify]: Simplify (* x x) into (pow x 2)
10.626 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
10.626 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
10.626 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.626 * [taylor]: Taking taylor expansion of z in z
10.626 * [backup-simplify]: Simplify 0 into 0
10.626 * [backup-simplify]: Simplify 1 into 1
10.626 * [backup-simplify]: Simplify (* 1 1) into 1
10.627 * [backup-simplify]: Simplify (/ 1 1) into 1
10.627 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 2))) (/ 1 (pow z 2))) in x
10.627 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 2))) in x
10.627 * [taylor]: Taking taylor expansion of 9 in x
10.627 * [backup-simplify]: Simplify 9 into 9
10.627 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.627 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.627 * [taylor]: Taking taylor expansion of x in x
10.627 * [backup-simplify]: Simplify 0 into 0
10.627 * [backup-simplify]: Simplify 1 into 1
10.627 * [backup-simplify]: Simplify (* 1 1) into 1
10.627 * [backup-simplify]: Simplify (/ 1 1) into 1
10.627 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
10.628 * [taylor]: Taking taylor expansion of (pow z 2) in x
10.628 * [taylor]: Taking taylor expansion of z in x
10.628 * [backup-simplify]: Simplify z into z
10.628 * [backup-simplify]: Simplify (* z z) into (pow z 2)
10.628 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
10.628 * [taylor]: Taking taylor expansion of (- (* 9 (/ 1 (pow x 2))) (/ 1 (pow z 2))) in x
10.628 * [taylor]: Taking taylor expansion of (* 9 (/ 1 (pow x 2))) in x
10.628 * [taylor]: Taking taylor expansion of 9 in x
10.628 * [backup-simplify]: Simplify 9 into 9
10.628 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.628 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.628 * [taylor]: Taking taylor expansion of x in x
10.628 * [backup-simplify]: Simplify 0 into 0
10.628 * [backup-simplify]: Simplify 1 into 1
10.628 * [backup-simplify]: Simplify (* 1 1) into 1
10.629 * [backup-simplify]: Simplify (/ 1 1) into 1
10.629 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
10.629 * [taylor]: Taking taylor expansion of (pow z 2) in x
10.629 * [taylor]: Taking taylor expansion of z in x
10.629 * [backup-simplify]: Simplify z into z
10.629 * [backup-simplify]: Simplify (* z z) into (pow z 2)
10.629 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2))
10.629 * [backup-simplify]: Simplify (* 9 1) into 9
10.630 * [backup-simplify]: Simplify (+ 9 0) into 9
10.630 * [taylor]: Taking taylor expansion of 9 in z
10.630 * [backup-simplify]: Simplify 9 into 9
10.630 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.632 * [backup-simplify]: Simplify (+ (* 9 0) (* 0 1)) into 0
10.632 * [backup-simplify]: Simplify (+ 0 0) into 0
10.632 * [taylor]: Taking taylor expansion of 0 in z
10.632 * [backup-simplify]: Simplify 0 into 0
10.633 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.635 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.636 * [backup-simplify]: Simplify (+ (* 9 0) (+ (* 0 0) (* 0 1))) into 0
10.636 * [backup-simplify]: Simplify (- (/ 1 (pow z 2))) into (- (/ 1 (pow z 2)))
10.636 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow z 2)))) into (- (/ 1 (pow z 2)))
10.636 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2))) in z
10.636 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
10.636 * [taylor]: Taking taylor expansion of (pow z 2) in z
10.636 * [taylor]: Taking taylor expansion of z in z
10.636 * [backup-simplify]: Simplify 0 into 0
10.636 * [backup-simplify]: Simplify 1 into 1
10.637 * [backup-simplify]: Simplify (* 1 1) into 1
10.637 * [backup-simplify]: Simplify (/ 1 1) into 1
10.637 * [backup-simplify]: Simplify (- 1) into -1
10.637 * [backup-simplify]: Simplify -1 into -1
10.637 * [backup-simplify]: Simplify 9 into 9
10.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.643 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.644 * [backup-simplify]: Simplify (+ (* 9 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.644 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0
10.645 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0
10.645 * [backup-simplify]: Simplify (- 0) into 0
10.646 * [backup-simplify]: Simplify (+ 0 0) into 0
10.646 * [taylor]: Taking taylor expansion of 0 in z
10.646 * [backup-simplify]: Simplify 0 into 0
10.646 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.647 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.647 * [backup-simplify]: Simplify (- 0) into 0
10.647 * [backup-simplify]: Simplify 0 into 0
10.647 * [backup-simplify]: Simplify 0 into 0
10.647 * [backup-simplify]: Simplify 0 into 0
10.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.651 * [backup-simplify]: Simplify (+ (* 9 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.651 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0
10.652 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0
10.652 * [backup-simplify]: Simplify (- 0) into 0
10.652 * [backup-simplify]: Simplify (+ 0 0) into 0
10.652 * [taylor]: Taking taylor expansion of 0 in z
10.652 * [backup-simplify]: Simplify 0 into 0
10.653 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.654 * [backup-simplify]: Simplify (- 0) into 0
10.655 * [backup-simplify]: Simplify 0 into 0
10.655 * [backup-simplify]: Simplify 0 into 0
10.655 * [backup-simplify]: Simplify 0 into 0
10.655 * [backup-simplify]: Simplify (+ (* 9 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- z))) 1) 2))) into (- (* 9 (pow x 2)) (pow z 2))
10.655 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 1 1)
10.655 * [backup-simplify]: Simplify (* 9 (* x x)) into (* 9 (pow x 2))
10.655 * [approximate]: Taking taylor expansion of (* 9 (pow x 2)) in (x) around 0
10.655 * [taylor]: Taking taylor expansion of (* 9 (pow x 2)) in x
10.655 * [taylor]: Taking taylor expansion of 9 in x
10.656 * [backup-simplify]: Simplify 9 into 9
10.656 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.656 * [taylor]: Taking taylor expansion of x in x
10.656 * [backup-simplify]: Simplify 0 into 0
10.656 * [backup-simplify]: Simplify 1 into 1
10.656 * [taylor]: Taking taylor expansion of (* 9 (pow x 2)) in x
10.656 * [taylor]: Taking taylor expansion of 9 in x
10.656 * [backup-simplify]: Simplify 9 into 9
10.656 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.656 * [taylor]: Taking taylor expansion of x in x
10.656 * [backup-simplify]: Simplify 0 into 0
10.656 * [backup-simplify]: Simplify 1 into 1
10.656 * [backup-simplify]: Simplify (* 1 1) into 1
10.657 * [backup-simplify]: Simplify (* 9 1) into 9
10.657 * [backup-simplify]: Simplify 9 into 9
10.657 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.658 * [backup-simplify]: Simplify (+ (* 9 0) (* 0 1)) into 0
10.658 * [backup-simplify]: Simplify 0 into 0
10.659 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.660 * [backup-simplify]: Simplify (+ (* 9 0) (+ (* 0 0) (* 0 1))) into 0
10.660 * [backup-simplify]: Simplify 0 into 0
10.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.662 * [backup-simplify]: Simplify (+ (* 9 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.662 * [backup-simplify]: Simplify 0 into 0
10.663 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.664 * [backup-simplify]: Simplify (+ (* 9 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.664 * [backup-simplify]: Simplify 0 into 0
10.665 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.667 * [backup-simplify]: Simplify (+ (* 9 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.667 * [backup-simplify]: Simplify 0 into 0
10.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.669 * [backup-simplify]: Simplify (+ (* 9 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.669 * [backup-simplify]: Simplify 0 into 0
10.670 * [backup-simplify]: Simplify (* 9 (pow x 2)) into (* 9 (pow x 2))
10.670 * [backup-simplify]: Simplify (* 9 (* (/ 1 x) (/ 1 x))) into (/ 9 (pow x 2))
10.670 * [approximate]: Taking taylor expansion of (/ 9 (pow x 2)) in (x) around 0
10.670 * [taylor]: Taking taylor expansion of (/ 9 (pow x 2)) in x
10.670 * [taylor]: Taking taylor expansion of 9 in x
10.670 * [backup-simplify]: Simplify 9 into 9
10.670 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.670 * [taylor]: Taking taylor expansion of x in x
10.670 * [backup-simplify]: Simplify 0 into 0
10.670 * [backup-simplify]: Simplify 1 into 1
10.670 * [backup-simplify]: Simplify (* 1 1) into 1
10.671 * [backup-simplify]: Simplify (/ 9 1) into 9
10.671 * [taylor]: Taking taylor expansion of (/ 9 (pow x 2)) in x
10.671 * [taylor]: Taking taylor expansion of 9 in x
10.671 * [backup-simplify]: Simplify 9 into 9
10.671 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.671 * [taylor]: Taking taylor expansion of x in x
10.671 * [backup-simplify]: Simplify 0 into 0
10.671 * [backup-simplify]: Simplify 1 into 1
10.671 * [backup-simplify]: Simplify (* 1 1) into 1
10.672 * [backup-simplify]: Simplify (/ 9 1) into 9
10.672 * [backup-simplify]: Simplify 9 into 9
10.672 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.673 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9 (/ 0 1)))) into 0
10.673 * [backup-simplify]: Simplify 0 into 0
10.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.674 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.674 * [backup-simplify]: Simplify 0 into 0
10.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.676 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.676 * [backup-simplify]: Simplify 0 into 0
10.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.679 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.679 * [backup-simplify]: Simplify 0 into 0
10.680 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.681 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.681 * [backup-simplify]: Simplify 0 into 0
10.682 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.683 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.683 * [backup-simplify]: Simplify 0 into 0
10.684 * [backup-simplify]: Simplify (* 9 (pow (/ 1 (/ 1 x)) 2)) into (* 9 (pow x 2))
10.684 * [backup-simplify]: Simplify (* 9 (* (/ 1 (- x)) (/ 1 (- x)))) into (/ 9 (pow x 2))
10.684 * [approximate]: Taking taylor expansion of (/ 9 (pow x 2)) in (x) around 0
10.684 * [taylor]: Taking taylor expansion of (/ 9 (pow x 2)) in x
10.684 * [taylor]: Taking taylor expansion of 9 in x
10.684 * [backup-simplify]: Simplify 9 into 9
10.684 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.684 * [taylor]: Taking taylor expansion of x in x
10.684 * [backup-simplify]: Simplify 0 into 0
10.684 * [backup-simplify]: Simplify 1 into 1
10.685 * [backup-simplify]: Simplify (* 1 1) into 1
10.685 * [backup-simplify]: Simplify (/ 9 1) into 9
10.685 * [taylor]: Taking taylor expansion of (/ 9 (pow x 2)) in x
10.685 * [taylor]: Taking taylor expansion of 9 in x
10.685 * [backup-simplify]: Simplify 9 into 9
10.685 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.685 * [taylor]: Taking taylor expansion of x in x
10.685 * [backup-simplify]: Simplify 0 into 0
10.685 * [backup-simplify]: Simplify 1 into 1
10.685 * [backup-simplify]: Simplify (* 1 1) into 1
10.686 * [backup-simplify]: Simplify (/ 9 1) into 9
10.686 * [backup-simplify]: Simplify 9 into 9
10.687 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.687 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9 (/ 0 1)))) into 0
10.687 * [backup-simplify]: Simplify 0 into 0
10.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.689 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.689 * [backup-simplify]: Simplify 0 into 0
10.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.691 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.691 * [backup-simplify]: Simplify 0 into 0
10.692 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.693 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.693 * [backup-simplify]: Simplify 0 into 0
10.695 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.695 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.695 * [backup-simplify]: Simplify 0 into 0
10.697 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.698 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.698 * [backup-simplify]: Simplify 0 into 0
10.698 * [backup-simplify]: Simplify (* 9 (pow (/ 1 (/ 1 (- x))) 2)) into (* 9 (pow x 2))
10.698 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 2)
10.698 * [backup-simplify]: Simplify (- (* 3 x) z) into (- (* 3 x) z)
10.698 * [approximate]: Taking taylor expansion of (- (* 3 x) z) in (x z) around 0
10.698 * [taylor]: Taking taylor expansion of (- (* 3 x) z) in z
10.698 * [taylor]: Taking taylor expansion of (* 3 x) in z
10.698 * [taylor]: Taking taylor expansion of 3 in z
10.698 * [backup-simplify]: Simplify 3 into 3
10.698 * [taylor]: Taking taylor expansion of x in z
10.699 * [backup-simplify]: Simplify x into x
10.699 * [taylor]: Taking taylor expansion of z in z
10.699 * [backup-simplify]: Simplify 0 into 0
10.699 * [backup-simplify]: Simplify 1 into 1
10.699 * [taylor]: Taking taylor expansion of (- (* 3 x) z) in x
10.699 * [taylor]: Taking taylor expansion of (* 3 x) in x
10.699 * [taylor]: Taking taylor expansion of 3 in x
10.699 * [backup-simplify]: Simplify 3 into 3
10.699 * [taylor]: Taking taylor expansion of x in x
10.699 * [backup-simplify]: Simplify 0 into 0
10.699 * [backup-simplify]: Simplify 1 into 1
10.699 * [taylor]: Taking taylor expansion of z in x
10.699 * [backup-simplify]: Simplify z into z
10.699 * [taylor]: Taking taylor expansion of (- (* 3 x) z) in x
10.699 * [taylor]: Taking taylor expansion of (* 3 x) in x
10.699 * [taylor]: Taking taylor expansion of 3 in x
10.699 * [backup-simplify]: Simplify 3 into 3
10.699 * [taylor]: Taking taylor expansion of x in x
10.699 * [backup-simplify]: Simplify 0 into 0
10.699 * [backup-simplify]: Simplify 1 into 1
10.699 * [taylor]: Taking taylor expansion of z in x
10.699 * [backup-simplify]: Simplify z into z
10.699 * [backup-simplify]: Simplify (* 3 0) into 0
10.699 * [backup-simplify]: Simplify (- z) into (- z)
10.700 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
10.700 * [taylor]: Taking taylor expansion of (- z) in z
10.700 * [taylor]: Taking taylor expansion of z in z
10.700 * [backup-simplify]: Simplify 0 into 0
10.700 * [backup-simplify]: Simplify 1 into 1
10.700 * [backup-simplify]: Simplify (- 0) into 0
10.700 * [backup-simplify]: Simplify 0 into 0
10.701 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
10.701 * [backup-simplify]: Simplify (- 0) into 0
10.701 * [backup-simplify]: Simplify (+ 3 0) into 3
10.701 * [taylor]: Taking taylor expansion of 3 in z
10.701 * [backup-simplify]: Simplify 3 into 3
10.701 * [backup-simplify]: Simplify 3 into 3
10.702 * [backup-simplify]: Simplify (- 1) into -1
10.702 * [backup-simplify]: Simplify -1 into -1
10.703 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0
10.703 * [backup-simplify]: Simplify (- 0) into 0
10.703 * [backup-simplify]: Simplify (+ 0 0) into 0
10.703 * [taylor]: Taking taylor expansion of 0 in z
10.703 * [backup-simplify]: Simplify 0 into 0
10.703 * [backup-simplify]: Simplify 0 into 0
10.703 * [backup-simplify]: Simplify 0 into 0
10.704 * [backup-simplify]: Simplify (- 0) into 0
10.704 * [backup-simplify]: Simplify 0 into 0
10.705 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
10.705 * [backup-simplify]: Simplify (- 0) into 0
10.705 * [backup-simplify]: Simplify (+ 0 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 into 0
10.706 * [backup-simplify]: Simplify 0 into 0
10.706 * [backup-simplify]: Simplify (+ (* -1 (* z 1)) (* 3 (* 1 x))) into (- (* 3 x) z)
10.706 * [backup-simplify]: Simplify (- (* 3 (/ 1 x)) (/ 1 z)) into (- (* 3 (/ 1 x)) (/ 1 z))
10.706 * [approximate]: Taking taylor expansion of (- (* 3 (/ 1 x)) (/ 1 z)) in (x z) around 0
10.706 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x)) (/ 1 z)) in z
10.706 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z
10.706 * [taylor]: Taking taylor expansion of 3 in z
10.706 * [backup-simplify]: Simplify 3 into 3
10.706 * [taylor]: Taking taylor expansion of (/ 1 x) in z
10.706 * [taylor]: Taking taylor expansion of x in z
10.706 * [backup-simplify]: Simplify x into x
10.706 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.706 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.706 * [taylor]: Taking taylor expansion of z in z
10.706 * [backup-simplify]: Simplify 0 into 0
10.706 * [backup-simplify]: Simplify 1 into 1
10.707 * [backup-simplify]: Simplify (/ 1 1) into 1
10.707 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x)) (/ 1 z)) in x
10.707 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
10.707 * [taylor]: Taking taylor expansion of 3 in x
10.707 * [backup-simplify]: Simplify 3 into 3
10.707 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.707 * [taylor]: Taking taylor expansion of x in x
10.707 * [backup-simplify]: Simplify 0 into 0
10.707 * [backup-simplify]: Simplify 1 into 1
10.707 * [backup-simplify]: Simplify (/ 1 1) into 1
10.707 * [taylor]: Taking taylor expansion of (/ 1 z) in x
10.707 * [taylor]: Taking taylor expansion of z in x
10.707 * [backup-simplify]: Simplify z into z
10.707 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
10.707 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x)) (/ 1 z)) in x
10.707 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
10.707 * [taylor]: Taking taylor expansion of 3 in x
10.707 * [backup-simplify]: Simplify 3 into 3
10.707 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.707 * [taylor]: Taking taylor expansion of x in x
10.707 * [backup-simplify]: Simplify 0 into 0
10.707 * [backup-simplify]: Simplify 1 into 1
10.708 * [backup-simplify]: Simplify (/ 1 1) into 1
10.708 * [taylor]: Taking taylor expansion of (/ 1 z) in x
10.708 * [taylor]: Taking taylor expansion of z in x
10.708 * [backup-simplify]: Simplify z into z
10.708 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
10.708 * [backup-simplify]: Simplify (* 3 1) into 3
10.709 * [backup-simplify]: Simplify (+ 3 0) into 3
10.709 * [taylor]: Taking taylor expansion of 3 in z
10.709 * [backup-simplify]: Simplify 3 into 3
10.710 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.710 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
10.710 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
10.710 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
10.710 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
10.710 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.710 * [taylor]: Taking taylor expansion of z in z
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 * [backup-simplify]: Simplify (- 1) into -1
10.711 * [backup-simplify]: Simplify -1 into -1
10.711 * [backup-simplify]: Simplify 3 into 3
10.712 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.713 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
10.713 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
10.713 * [backup-simplify]: Simplify (- 0) into 0
10.714 * [backup-simplify]: Simplify (+ 0 0) into 0
10.714 * [taylor]: Taking taylor expansion of 0 in z
10.714 * [backup-simplify]: Simplify 0 into 0
10.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.715 * [backup-simplify]: Simplify (- 0) into 0
10.715 * [backup-simplify]: Simplify 0 into 0
10.715 * [backup-simplify]: Simplify 0 into 0
10.716 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.717 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.717 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
10.717 * [backup-simplify]: Simplify (- 0) into 0
10.718 * [backup-simplify]: Simplify (+ 0 0) into 0
10.718 * [taylor]: Taking taylor expansion of 0 in z
10.718 * [backup-simplify]: Simplify 0 into 0
10.718 * [backup-simplify]: Simplify 0 into 0
10.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.719 * [backup-simplify]: Simplify (- 0) into 0
10.719 * [backup-simplify]: Simplify 0 into 0
10.719 * [backup-simplify]: Simplify 0 into 0
10.720 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.721 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.721 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
10.721 * [backup-simplify]: Simplify (- 0) into 0
10.722 * [backup-simplify]: Simplify (+ 0 0) into 0
10.722 * [taylor]: Taking taylor expansion of 0 in z
10.722 * [backup-simplify]: Simplify 0 into 0
10.722 * [backup-simplify]: Simplify 0 into 0
10.722 * [backup-simplify]: Simplify (+ (* 3 (* 1 (/ 1 (/ 1 x)))) (* -1 (* (/ 1 (/ 1 z)) 1))) into (- (* 3 x) z)
10.722 * [backup-simplify]: Simplify (- (* 3 (/ 1 (- x))) (/ 1 (- z))) into (- (/ 1 z) (* 3 (/ 1 x)))
10.722 * [approximate]: Taking taylor expansion of (- (/ 1 z) (* 3 (/ 1 x))) in (x z) around 0
10.722 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 3 (/ 1 x))) in z
10.722 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.722 * [taylor]: Taking taylor expansion of z in z
10.723 * [backup-simplify]: Simplify 0 into 0
10.723 * [backup-simplify]: Simplify 1 into 1
10.723 * [backup-simplify]: Simplify (/ 1 1) into 1
10.723 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z
10.723 * [taylor]: Taking taylor expansion of 3 in z
10.723 * [backup-simplify]: Simplify 3 into 3
10.723 * [taylor]: Taking taylor expansion of (/ 1 x) in z
10.723 * [taylor]: Taking taylor expansion of x in z
10.723 * [backup-simplify]: Simplify x into x
10.723 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.723 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 3 (/ 1 x))) in x
10.723 * [taylor]: Taking taylor expansion of (/ 1 z) in x
10.723 * [taylor]: Taking taylor expansion of z in x
10.723 * [backup-simplify]: Simplify z into z
10.723 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
10.723 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
10.723 * [taylor]: Taking taylor expansion of 3 in x
10.723 * [backup-simplify]: Simplify 3 into 3
10.723 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.723 * [taylor]: Taking taylor expansion of x in x
10.723 * [backup-simplify]: Simplify 0 into 0
10.723 * [backup-simplify]: Simplify 1 into 1
10.724 * [backup-simplify]: Simplify (/ 1 1) into 1
10.724 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 3 (/ 1 x))) in x
10.724 * [taylor]: Taking taylor expansion of (/ 1 z) in x
10.724 * [taylor]: Taking taylor expansion of z in x
10.724 * [backup-simplify]: Simplify z into z
10.724 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
10.724 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
10.724 * [taylor]: Taking taylor expansion of 3 in x
10.724 * [backup-simplify]: Simplify 3 into 3
10.724 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.724 * [taylor]: Taking taylor expansion of x in x
10.724 * [backup-simplify]: Simplify 0 into 0
10.724 * [backup-simplify]: Simplify 1 into 1
10.725 * [backup-simplify]: Simplify (/ 1 1) into 1
10.725 * [backup-simplify]: Simplify (* 3 1) into 3
10.726 * [backup-simplify]: Simplify (- 3) into -3
10.726 * [backup-simplify]: Simplify (+ 0 -3) into -3
10.726 * [taylor]: Taking taylor expansion of -3 in z
10.726 * [backup-simplify]: Simplify -3 into -3
10.727 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.728 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0
10.728 * [backup-simplify]: Simplify (- 0) into 0
10.728 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
10.728 * [taylor]: Taking taylor expansion of (/ 1 z) in z
10.728 * [taylor]: Taking taylor expansion of z in z
10.728 * [backup-simplify]: Simplify 0 into 0
10.728 * [backup-simplify]: Simplify 1 into 1
10.729 * [backup-simplify]: Simplify (/ 1 1) into 1
10.729 * [backup-simplify]: Simplify 1 into 1
10.729 * [backup-simplify]: Simplify -3 into -3
10.729 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
10.730 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.731 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0
10.731 * [backup-simplify]: Simplify (- 0) into 0
10.731 * [backup-simplify]: Simplify (+ 0 0) into 0
10.731 * [taylor]: Taking taylor expansion of 0 in z
10.731 * [backup-simplify]: Simplify 0 into 0
10.732 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.732 * [backup-simplify]: Simplify 0 into 0
10.732 * [backup-simplify]: Simplify 0 into 0
10.732 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
10.733 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.734 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.735 * [backup-simplify]: Simplify (- 0) into 0
10.735 * [backup-simplify]: Simplify (+ 0 0) into 0
10.735 * [taylor]: Taking taylor expansion of 0 in z
10.735 * [backup-simplify]: Simplify 0 into 0
10.735 * [backup-simplify]: Simplify 0 into 0
10.736 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.736 * [backup-simplify]: Simplify 0 into 0
10.736 * [backup-simplify]: Simplify 0 into 0
10.737 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
10.738 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.739 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.739 * [backup-simplify]: Simplify (- 0) into 0
10.740 * [backup-simplify]: Simplify (+ 0 0) into 0
10.740 * [taylor]: Taking taylor expansion of 0 in z
10.740 * [backup-simplify]: Simplify 0 into 0
10.740 * [backup-simplify]: Simplify 0 into 0
10.740 * [backup-simplify]: Simplify (+ (* -3 (* 1 (/ 1 (/ 1 (- x))))) (* 1 (* (/ 1 (/ 1 (- z))) 1))) into (- (* 3 x) z)
10.740 * * * [progress]: simplifying candidates
10.742 * [simplify]: Simplifying:
  (expm1 (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z)))
  (log1p (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z)))
  (- (log (- (* 9 (* x x)) (* z z))) (log (- (* 3 x) z)))
  (log (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z)))
  (exp (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z)))
  (/ (* (* (- (* 9 (* x x)) (* z z)) (- (* 9 (* x x)) (* z z))) (- (* 9 (* x x)) (* z z))) (* (* (- (* 3 x) z) (- (* 3 x) z)) (- (* 3 x) z)))
  (* (cbrt (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z))) (cbrt (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z))))
  (cbrt (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z)))
  (* (* (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z)) (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z))) (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z)))
  (sqrt (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z)))
  (sqrt (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z)))
  (- (- (* 9 (* x x)) (* z z)))
  (- (- (* 3 x) z))
  (/ (* 9 (* x x)) (- (* 3 x) z))
  (/ (* z z) (- (* 3 x) z))
  (/ (* (cbrt (- (* 9 (* x x)) (* z z))) (cbrt (- (* 9 (* x x)) (* z z)))) (* (cbrt (- (* 3 x) z)) (cbrt (- (* 3 x) z))))
  (/ (cbrt (- (* 9 (* x x)) (* z z))) (cbrt (- (* 3 x) z)))
  (/ (* (cbrt (- (* 9 (* x x)) (* z z))) (cbrt (- (* 9 (* x x)) (* z z)))) (sqrt (- (* 3 x) z)))
  (/ (cbrt (- (* 9 (* x x)) (* z z))) (sqrt (- (* 3 x) z)))
  (/ (* (cbrt (- (* 9 (* x x)) (* z z))) (cbrt (- (* 9 (* x x)) (* z z)))) 1)
  (/ (cbrt (- (* 9 (* x x)) (* z z))) (- (* 3 x) z))
  (/ (sqrt (- (* 9 (* x x)) (* z z))) (* (cbrt (- (* 3 x) z)) (cbrt (- (* 3 x) z))))
  (/ (sqrt (- (* 9 (* x x)) (* z z))) (cbrt (- (* 3 x) z)))
  (/ (sqrt (- (* 9 (* x x)) (* z z))) (sqrt (- (* 3 x) z)))
  (/ (sqrt (- (* 9 (* x x)) (* z z))) (sqrt (- (* 3 x) z)))
  (/ (sqrt (- (* 9 (* x x)) (* z z))) 1)
  (/ (sqrt (- (* 9 (* x x)) (* z z))) (- (* 3 x) z))
  (/ 1 (* (cbrt (- (* 3 x) z)) (cbrt (- (* 3 x) z))))
  (/ (- (* 9 (* x x)) (* z z)) (cbrt (- (* 3 x) z)))
  (/ 1 (sqrt (- (* 3 x) z)))
  (/ (- (* 9 (* x x)) (* z z)) (sqrt (- (* 3 x) z)))
  (/ 1 1)
  (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z))
  (/ 1 (- (* 3 x) z))
  (/ (- (* 3 x) z) (- (* 9 (* x x)) (* z z)))
  (/ (- (* 9 (* x x)) (* z z)) (* (cbrt (- (* 3 x) z)) (cbrt (- (* 3 x) z))))
  (/ (- (* 9 (* x x)) (* z z)) (sqrt (- (* 3 x) z)))
  (/ (- (* 9 (* x x)) (* z z)) 1)
  (/ (- (* 3 x) z) (cbrt (- (* 9 (* x x)) (* z z))))
  (/ (- (* 3 x) z) (sqrt (- (* 9 (* x x)) (* z z))))
  (/ (- (* 3 x) z) (- (* 9 (* x x)) (* z z)))
  (/ (- (* 9 (* x x)) (* z z)) (- (pow (* 3 x) 3) (pow z 3)))
  (/ (- (* 9 (* x x)) (* z z)) (- (* (* 3 x) (* 3 x)) (* z z)))
  (* (- (* 3 x) z) (+ (* (* 9 (* x x)) (* 9 (* x x))) (+ (* (* z z) (* z z)) (* (* 9 (* x x)) (* z z)))))
  (* (- (* 3 x) z) (+ (* 9 (* x x)) (* z z)))
  (fma 9 (* x x) (- (* z z)))
  (fma (- z) z (* z z))
  (expm1 (- (* 9 (* x x)) (* z z)))
  (log1p (- (* 9 (* x x)) (* z z)))
  (- (* z z))
  (/ (exp (* 9 (* x x))) (exp (* z z)))
  (log (- (* 9 (* x x)) (* z z)))
  (exp (- (* 9 (* x x)) (* z z)))
  (* (cbrt (- (* 9 (* x x)) (* z z))) (cbrt (- (* 9 (* x x)) (* z z))))
  (cbrt (- (* 9 (* x x)) (* z z)))
  (* (* (- (* 9 (* x x)) (* z z)) (- (* 9 (* x x)) (* z z))) (- (* 9 (* x x)) (* z z)))
  (sqrt (- (* 9 (* x x)) (* z z)))
  (sqrt (- (* 9 (* x x)) (* z z)))
  (- (pow (* 9 (* x x)) 3) (pow (* z z) 3))
  (+ (* (* 9 (* x x)) (* 9 (* x x))) (+ (* (* z z) (* z z)) (* (* 9 (* x x)) (* z z))))
  (- (* z z))
  (- (* (* 9 (* x x)) (* 9 (* x x))) (* (* z z) (* z z)))
  (+ (* 9 (* x x)) (* z z))
  (- (* z z))
  (expm1 (* 9 (* x x)))
  (log1p (* 9 (* x x)))
  (* 9 (* x x))
  (* 9 (* x x))
  (+ (log 9) (+ (log x) (log x)))
  (+ (log 9) (log (* x x)))
  (log (* 9 (* x x)))
  (exp (* 9 (* x x)))
  (* (* (* 9 9) 9) (* (* (* x x) x) (* (* x x) x)))
  (* (* (* 9 9) 9) (* (* (* x x) (* x x)) (* x x)))
  (* (cbrt (* 9 (* x x))) (cbrt (* 9 (* x x))))
  (cbrt (* 9 (* x x)))
  (* (* (* 9 (* x x)) (* 9 (* x x))) (* 9 (* x x)))
  (sqrt (* 9 (* x x)))
  (sqrt (* 9 (* x x)))
  (* (sqrt 9) x)
  (* (sqrt 9) x)
  (* 9 x)
  (* (cbrt 9) (* x x))
  (* (sqrt 9) (* x x))
  (* 9 (* x x))
  (fma 3 x (- (* (cbrt z) (* (cbrt z) (cbrt z)))))
  (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z))))
  (fma 3 x (- (* (sqrt z) (sqrt z))))
  (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z)))
  (fma 3 x (- (* z 1)))
  (fma (- z) 1 (* z 1))
  (expm1 (- (* 3 x) z))
  (log1p (- (* 3 x) z))
  (- z)
  (/ (exp (* 3 x)) (exp z))
  (log (- (* 3 x) z))
  (exp (- (* 3 x) z))
  (* (cbrt (- (* 3 x) z)) (cbrt (- (* 3 x) z)))
  (cbrt (- (* 3 x) z))
  (* (* (- (* 3 x) z) (- (* 3 x) z)) (- (* 3 x) z))
  (sqrt (- (* 3 x) z))
  (sqrt (- (* 3 x) z))
  (- (pow (* 3 x) 3) (pow z 3))
  (+ (* (* 3 x) (* 3 x)) (+ (* z z) (* (* 3 x) z)))
  (- z)
  (- (* (* 3 x) (* 3 x)) (* z z))
  (+ (* 3 x) z)
  (- z)
  (+ (* 3 x) z)
  (+ (* 3 x) z)
  (+ (* 3 x) z)
  (- (* 9 (pow x 2)) (pow z 2))
  (- (* 9 (pow x 2)) (pow z 2))
  (- (* 9 (pow x 2)) (pow z 2))
  (* 9 (pow x 2))
  (* 9 (pow x 2))
  (* 9 (pow x 2))
  (- (* 3 x) z)
  (- (* 3 x) z)
  (- (* 3 x) z)
10.746 * * [simplify]: Extracting # 0 : cost  0
10.747 * * [simplify]: Extracting # 1 : cost  0
10.747 * * [simplify]: Extracting # 2 : cost  0
10.747 * * [simplify]: Extracting # 3 : cost  0
10.748 * * [simplify]: Extracting # 4 : cost  0
10.748 * * [simplify]: Extracting # 5 : cost  0
10.749 * * [simplify]: Extracting # 6 : cost  0
10.749 * * [simplify]: Extracting # 7 : cost  0
10.749 * * [simplify]: iteration  0 :  149  enodes  (cost  1463 )
10.838 * * [simplify]: Extracting # 0 : cost  0
10.839 * * [simplify]: Extracting # 1 : cost  0
10.840 * * [simplify]: Extracting # 2 : cost  0
10.841 * * [simplify]: Extracting # 3 : cost  0
10.842 * * [simplify]: Extracting # 4 : cost  0
10.843 * * [simplify]: iteration  1 :  440  enodes  (cost  1386 )
11.544 * * [simplify]: Extracting # 0 : cost  0
11.554 * * [simplify]: Extracting # 1 : cost  0
11.564 * * [simplify]: Extracting # 2 : cost  0
11.572 * * [simplify]: Extracting # 3 : cost  0
11.584 * * [simplify]: Extracting # 4 : cost  0
11.592 * * [simplify]: iteration  2 :  3158  enodes  (cost  1238 )
14.154 * * [simplify]: Extracting # 0 : cost  0
14.168 * * [simplify]: Extracting # 1 : cost  0
14.184 * * [simplify]: iteration done:  5000  enodes  (cost  1237 )
14.185 * [simplify]: Simplified to:
  (expm1 (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z)))
  (log1p (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z)))
  (log (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z)))
  (log (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z)))
  (exp (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z)))
  (/ (pow (- (* 9 (* x x)) (* z z)) 3) (pow (- (* 3 x) z) 3))
  (* (cbrt (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z))) (cbrt (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z))))
  (cbrt (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z)))
  (pow (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z)) 3)
  (sqrt (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z)))
  (sqrt (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z)))
  (- (- (* 9 (* x x)) (* z z)))
  (- (- (* 3 x) z))
  (/ (* 9 (* x x)) (- (* 3 x) z))
  (/ (* z z) (- (* 3 x) z))
  (/ (* (cbrt (- (* 9 (* x x)) (* z z))) (cbrt (- (* 9 (* x x)) (* z z)))) (* (cbrt (- (* 3 x) z)) (cbrt (- (* 3 x) z))))
  (/ (cbrt (- (* 9 (* x x)) (* z z))) (cbrt (- (* 3 x) z)))
  (/ (* (cbrt (- (* 9 (* x x)) (* z z))) (cbrt (- (* 9 (* x x)) (* z z)))) (sqrt (- (* 3 x) z)))
  (/ (cbrt (- (* 9 (* x x)) (* z z))) (sqrt (- (* 3 x) z)))
  (* (cbrt (- (* 9 (* x x)) (* z z))) (cbrt (- (* 9 (* x x)) (* z z))))
  (/ (cbrt (- (* 9 (* x x)) (* z z))) (- (* 3 x) z))
  (/ (sqrt (- (* 9 (* x x)) (* z z))) (* (cbrt (- (* 3 x) z)) (cbrt (- (* 3 x) z))))
  (/ (sqrt (- (* 9 (* x x)) (* z z))) (cbrt (- (* 3 x) z)))
  (/ (sqrt (- (* 9 (* x x)) (* z z))) (sqrt (- (* 3 x) z)))
  (/ (sqrt (- (* 9 (* x x)) (* z z))) (sqrt (- (* 3 x) z)))
  (sqrt (- (* 9 (* x x)) (* z z)))
  (/ (sqrt (- (* 9 (* x x)) (* z z))) (- (* 3 x) z))
  (/ 1 (* (cbrt (- (* 3 x) z)) (cbrt (- (* 3 x) z))))
  (/ (fma 9 (* x x) (- (* z z))) (cbrt (- (* 3 x) z)))
  (/ 1 (sqrt (- (* 3 x) z)))
  (/ (- (* 9 (* x x)) (* z z)) (sqrt (- (* 3 x) z)))
  1
  (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z))
  (/ 1 (- (* 3 x) z))
  (/ (- (* 3 x) z) (- (* 9 (* x x)) (* z z)))
  (/ (- (* 9 (* x x)) (* z z)) (* (cbrt (- (* 3 x) z)) (cbrt (- (* 3 x) z))))
  (/ (- (* 9 (* x x)) (* z z)) (sqrt (- (* 3 x) z)))
  (- (* 9 (* x x)) (* z z))
  (/ (- (* 3 x) z) (cbrt (- (* 9 (* x x)) (* z z))))
  (/ (- (* 3 x) z) (sqrt (- (* 9 (* x x)) (* z z))))
  (/ (- (* 3 x) z) (- (* 9 (* x x)) (* z z)))
  (/ (- (* 9 (* x x)) (* z z)) (- (pow (* 3 x) 3) (pow z 3)))
  (/ (- (* 9 (* x x)) (* z z)) (- (* 9 (* x x)) (* z z)))
  (* (fma 81 (pow x 4) (* (* z z) (fma z z (* 9 (* x x))))) (- (* 3 x) z))
  (* (fma z z (* 9 (* x x))) (- (* 3 x) z))
  (- (* 9 (* x x)) (* z z))
  (* z (+ (- z) z))
  (expm1 (- (* 9 (* x x)) (* z z)))
  (log1p (- (* 9 (* x x)) (* z z)))
  (- (* z z))
  (exp (- (* 9 (* x x)) (* z z)))
  (log (- (* 9 (* x x)) (* z z)))
  (exp (- (* 9 (* x x)) (* z z)))
  (* (cbrt (- (* 9 (* x x)) (* z z))) (cbrt (- (* 9 (* x x)) (* z z))))
  (cbrt (- (* 9 (* x x)) (* z z)))
  (pow (- (* 9 (* x x)) (* z z)) 3)
  (sqrt (- (* 9 (* x x)) (* z z)))
  (sqrt (- (* 9 (* x x)) (* z z)))
  (- (* (pow (* x x) 3) 729) (pow z 6))
  (fma 9 (* (* x x) (* z z)) (fma 81 (pow x 4) (pow z 4)))
  (- (* z z))
  (- (* (pow x 4) 81) (pow z 4))
  (fma z z (* 9 (* x x)))
  (- (* z z))
  (expm1 (* 9 (* x x)))
  (log1p (* 9 (* x x)))
  (* 9 (* x x))
  (* 9 (* x x))
  (log (* 9 (* x x)))
  (log (* 9 (* x x)))
  (log (* 9 (* x x)))
  (exp (* 9 (* x x)))
  (* (pow (* x x) 3) 729)
  (* (pow (* x x) 3) 729)
  (* (cbrt (* 9 (* x x))) (cbrt (* 9 (* x x))))
  (cbrt (* 9 (* x x)))
  (* (pow (* x x) 3) 729)
  (fabs (* 3 x))
  (fabs (* 3 x))
  (* 3 x)
  (* 3 x)
  (* x 9)
  (* (cbrt 9) (* x x))
  (* 3 (* x x))
  (* 9 (* x x))
  (- (* 3 x) z)
  (+ (- z) z)
  (- (* 3 x) z)
  (+ (- z) z)
  (- (* 3 x) z)
  (+ (- z) z)
  (expm1 (- (* 3 x) z))
  (log1p (- (* 3 x) z))
  (- z)
  (exp (- (* 3 x) z))
  (log (- (* 3 x) z))
  (exp (- (* 3 x) z))
  (* (cbrt (- (* 3 x) z)) (cbrt (- (* 3 x) z)))
  (cbrt (- (* 3 x) z))
  (pow (- (* 3 x) z) 3)
  (sqrt (- (* 3 x) z))
  (sqrt (- (* 3 x) z))
  (- (pow (* 3 x) 3) (pow z 3))
  (fma z (fma 3 x z) (* 9 (* x x)))
  (- z)
  (- (* 9 (* x x)) (* z z))
  (fma 3 x z)
  (- z)
  (fma 3 x z)
  (fma 3 x z)
  (fma 3 x z)
  (- (* 9 (* x x)) (* z z))
  (- (* 9 (* x x)) (* z z))
  (- (* 9 (* x x)) (* z z))
  (* 9 (* x x))
  (* 9 (* x x))
  (* 9 (* x x))
  (- (* 3 x) z)
  (- (* 3 x) z)
  (- (* 3 x) z)
14.187 * * * [progress]: adding candidates to table
14.839 * [progress]: [Phase 3 of 3] Extracting.
14.839 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (fma y 2 (+ (* 3 x) z)))> #<alt (λ (x y z) (fma y 2 (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z))))> #<alt (λ (x y z) (fma y 2 (fma 3 x z)))>)
14.840 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
14.840 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (fma y 2 (+ (* 3 x) z)))> #<alt (λ (x y z) (fma y 2 (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z))))> #<alt (λ (x y z) (fma y 2 (fma 3 x z)))>)
14.910 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (fma y 2 (+ (* 3 x) z)))> #<alt (λ (x y z) (fma y 2 (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z))))> #<alt (λ (x y z) (fma y 2 (fma 3 x z)))>)
14.979 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (fma y 2 (+ (* 3 x) z)))> #<alt (λ (x y z) (fma y 2 (/ (- (* 9 (* x x)) (* z z)) (- (* 3 x) z))))> #<alt (λ (x y z) (fma y 2 (fma 3 x z)))>)
15.048 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
15.048 * [simplify]: Simplifying:
  (fma y 2 (fma 3 x z))
15.048 * * [simplify]: Extracting # 0 : cost  0
15.048 * * [simplify]: Extracting # 1 : cost  0
15.048 * * [simplify]: Extracting # 2 : cost  0
15.048 * * [simplify]: Extracting # 3 : cost  0
15.048 * * [simplify]: Extracting # 4 : cost  0
15.048 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
15.049 * * [simplify]: Extracting # 0 : cost  0
15.049 * * [simplify]: iteration done:  7  enodes  (cost  7 )
15.049 * [simplify]: Simplified to:
  (fma y 2 (fma 3 x z))
17.324 * [regime-testing]: Baseline error score: 0.028190005387714677
17.328 * [regime-testing]: Oracle error score: 0.011562927002916574
17.335 * [regime-testing]: End program error score: 0.028190005387714677