22.254 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.053 * * * [progress]: [2/2] Setting up program.
0.058 * [progress]: [Phase 2 of 3] Improving.
0.058 * [simplify]: Simplifying:
  (* x (exp (* y y)))
0.059 * * [simplify]: Extracting # 0 : cost  0
0.059 * * [simplify]: Extracting # 1 : cost  0
0.059 * * [simplify]: Extracting # 2 : cost  0
0.059 * * [simplify]: Extracting # 3 : cost  0
0.059 * * [simplify]: Extracting # 4 : cost  0
0.059 * * [simplify]: Extracting # 5 : cost  0
0.059 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
0.060 * * [simplify]: Extracting # 0 : cost  0
0.061 * * [simplify]: Extracting # 1 : cost  0
0.061 * * [simplify]: Extracting # 2 : cost  0
0.061 * * [simplify]: iteration  1 :  8  enodes  (cost  6 )
0.063 * * [simplify]: Extracting # 0 : cost  0
0.063 * * [simplify]: Extracting # 1 : cost  0
0.063 * * [simplify]: Extracting # 2 : cost  0
0.063 * * [simplify]: Extracting # 3 : cost  0
0.063 * * [simplify]: Extracting # 4 : cost  0
0.063 * * [simplify]: iteration  2 :  12  enodes  (cost  6 )
0.067 * * [simplify]: Extracting # 0 : cost  0
0.067 * * [simplify]: Extracting # 1 : cost  0
0.067 * * [simplify]: Extracting # 2 : cost  0
0.068 * * [simplify]: Extracting # 3 : cost  0
0.068 * * [simplify]: iteration  3 :  21  enodes  (cost  6 )
0.077 * * [simplify]: Extracting # 0 : cost  0
0.077 * * [simplify]: Extracting # 1 : cost  0
0.077 * * [simplify]: Extracting # 2 : cost  0
0.077 * * [simplify]: Extracting # 3 : cost  0
0.077 * * [simplify]: Extracting # 4 : cost  0
0.077 * * [simplify]: iteration  4 :  48  enodes  (cost  6 )
0.100 * * [simplify]: Extracting # 0 : cost  0
0.101 * * [simplify]: Extracting # 1 : cost  0
0.101 * * [simplify]: Extracting # 2 : cost  0
0.101 * * [simplify]: Extracting # 3 : cost  0
0.101 * * [simplify]: Extracting # 4 : cost  0
0.101 * * [simplify]: iteration  5 :  134  enodes  (cost  6 )
0.230 * * [simplify]: Extracting # 0 : cost  0
0.231 * * [simplify]: Extracting # 1 : cost  0
0.232 * * [simplify]: Extracting # 2 : cost  0
0.234 * * [simplify]: Extracting # 3 : cost  0
0.235 * * [simplify]: Extracting # 4 : cost  0
0.236 * * [simplify]: iteration  6 :  677  enodes  (cost  6 )
1.754 * * [simplify]: Extracting # 0 : cost  0
1.774 * * [simplify]: Extracting # 1 : cost  0
1.783 * * [simplify]: Extracting # 2 : cost  0
1.791 * * [simplify]: Extracting # 3 : cost  0
1.805 * * [simplify]: Extracting # 4 : cost  0
1.813 * * [simplify]: Extracting # 5 : cost  0
1.820 * * [simplify]: iteration done:  5000  enodes  (cost  6 )
1.821 * [simplify]: Simplified to:
  (* x (exp (* y y)))
1.821 * * [progress]: iteration 1 / 4
1.821 * * * [progress]: picking best candidate
1.826 * * * * [pick]: Picked  #<alt (λ (x y) (* x (exp (* y y))))>
1.826 * * * [progress]: localizing error
1.838 * * * [progress]: generating rewritten candidates
1.838 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
1.846 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.870 * * * [progress]: generating series expansions
1.870 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
1.870 * [backup-simplify]: Simplify (exp (* y y)) into (exp (pow y 2))
1.870 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0
1.870 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
1.870 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.870 * [taylor]: Taking taylor expansion of y in y
1.870 * [backup-simplify]: Simplify 0 into 0
1.870 * [backup-simplify]: Simplify 1 into 1
1.871 * [backup-simplify]: Simplify (* 1 1) into 1
1.871 * [backup-simplify]: Simplify (exp 0) into 1
1.871 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
1.871 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.871 * [taylor]: Taking taylor expansion of y in y
1.871 * [backup-simplify]: Simplify 0 into 0
1.871 * [backup-simplify]: Simplify 1 into 1
1.871 * [backup-simplify]: Simplify (* 1 1) into 1
1.871 * [backup-simplify]: Simplify (exp 0) into 1
1.871 * [backup-simplify]: Simplify 1 into 1
1.872 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
1.872 * [backup-simplify]: Simplify 0 into 0
1.874 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
1.874 * [backup-simplify]: Simplify 1 into 1
1.875 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.876 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.877 * [backup-simplify]: Simplify 0 into 0
1.877 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.881 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.881 * [backup-simplify]: Simplify 1/2 into 1/2
1.882 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1))
1.882 * [backup-simplify]: Simplify (exp (* (/ 1 y) (/ 1 y))) into (exp (/ 1 (pow y 2)))
1.882 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0
1.882 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.882 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.882 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.882 * [taylor]: Taking taylor expansion of y in y
1.882 * [backup-simplify]: Simplify 0 into 0
1.882 * [backup-simplify]: Simplify 1 into 1
1.883 * [backup-simplify]: Simplify (* 1 1) into 1
1.883 * [backup-simplify]: Simplify (/ 1 1) into 1
1.884 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.884 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.884 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.884 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.884 * [taylor]: Taking taylor expansion of y in y
1.884 * [backup-simplify]: Simplify 0 into 0
1.884 * [backup-simplify]: Simplify 1 into 1
1.885 * [backup-simplify]: Simplify (* 1 1) into 1
1.886 * [backup-simplify]: Simplify (/ 1 1) into 1
1.886 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.886 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.886 * [backup-simplify]: Simplify 0 into 0
1.886 * [backup-simplify]: Simplify 0 into 0
1.886 * [backup-simplify]: Simplify 0 into 0
1.886 * [backup-simplify]: Simplify 0 into 0
1.886 * [backup-simplify]: Simplify 0 into 0
1.886 * [backup-simplify]: Simplify 0 into 0
1.887 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2))
1.887 * [backup-simplify]: Simplify (exp (* (/ 1 (- y)) (/ 1 (- y)))) into (exp (/ 1 (pow y 2)))
1.887 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0
1.887 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.887 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.887 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.887 * [taylor]: Taking taylor expansion of y in y
1.887 * [backup-simplify]: Simplify 0 into 0
1.887 * [backup-simplify]: Simplify 1 into 1
1.888 * [backup-simplify]: Simplify (* 1 1) into 1
1.889 * [backup-simplify]: Simplify (/ 1 1) into 1
1.889 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.889 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.889 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.889 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.889 * [taylor]: Taking taylor expansion of y in y
1.889 * [backup-simplify]: Simplify 0 into 0
1.889 * [backup-simplify]: Simplify 1 into 1
1.890 * [backup-simplify]: Simplify (* 1 1) into 1
1.891 * [backup-simplify]: Simplify (/ 1 1) into 1
1.891 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.891 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.891 * [backup-simplify]: Simplify 0 into 0
1.891 * [backup-simplify]: Simplify 0 into 0
1.891 * [backup-simplify]: Simplify 0 into 0
1.891 * [backup-simplify]: Simplify 0 into 0
1.891 * [backup-simplify]: Simplify 0 into 0
1.891 * [backup-simplify]: Simplify 0 into 0
1.892 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2))
1.892 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.892 * [backup-simplify]: Simplify (* x (exp (* y y))) into (* x (exp (pow y 2)))
1.892 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0
1.892 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y
1.892 * [taylor]: Taking taylor expansion of x in y
1.892 * [backup-simplify]: Simplify x into x
1.892 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
1.892 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.892 * [taylor]: Taking taylor expansion of y in y
1.892 * [backup-simplify]: Simplify 0 into 0
1.892 * [backup-simplify]: Simplify 1 into 1
1.893 * [backup-simplify]: Simplify (* 1 1) into 1
1.893 * [backup-simplify]: Simplify (exp 0) into 1
1.893 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x
1.893 * [taylor]: Taking taylor expansion of x in x
1.893 * [backup-simplify]: Simplify 0 into 0
1.893 * [backup-simplify]: Simplify 1 into 1
1.893 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x
1.893 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.893 * [taylor]: Taking taylor expansion of y in x
1.893 * [backup-simplify]: Simplify y into y
1.893 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.893 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2))
1.893 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x
1.893 * [taylor]: Taking taylor expansion of x in x
1.893 * [backup-simplify]: Simplify 0 into 0
1.893 * [backup-simplify]: Simplify 1 into 1
1.893 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x
1.893 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.893 * [taylor]: Taking taylor expansion of y in x
1.893 * [backup-simplify]: Simplify y into y
1.894 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.894 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2))
1.894 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0
1.894 * [taylor]: Taking taylor expansion of 0 in y
1.894 * [backup-simplify]: Simplify 0 into 0
1.894 * [backup-simplify]: Simplify 0 into 0
1.894 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
1.896 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0
1.896 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2))
1.896 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
1.896 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.896 * [taylor]: Taking taylor expansion of y in y
1.896 * [backup-simplify]: Simplify 0 into 0
1.897 * [backup-simplify]: Simplify 1 into 1
1.897 * [backup-simplify]: Simplify (* 1 1) into 1
1.897 * [backup-simplify]: Simplify (exp 0) into 1
1.897 * [backup-simplify]: Simplify 1 into 1
1.897 * [backup-simplify]: Simplify 0 into 0
1.898 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1.899 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.900 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0
1.900 * [taylor]: Taking taylor expansion of 0 in y
1.900 * [backup-simplify]: Simplify 0 into 0
1.900 * [backup-simplify]: Simplify 0 into 0
1.901 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
1.901 * [backup-simplify]: Simplify 0 into 0
1.901 * [backup-simplify]: Simplify 0 into 0
1.902 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1.903 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.905 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0
1.905 * [taylor]: Taking taylor expansion of 0 in y
1.905 * [backup-simplify]: Simplify 0 into 0
1.905 * [backup-simplify]: Simplify 0 into 0
1.905 * [backup-simplify]: Simplify 0 into 0
1.905 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x
1.905 * [backup-simplify]: Simplify (* (/ 1 x) (exp (* (/ 1 y) (/ 1 y)))) into (/ (exp (/ 1 (pow y 2))) x)
1.905 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0
1.905 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y
1.905 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.905 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.905 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.905 * [taylor]: Taking taylor expansion of y in y
1.905 * [backup-simplify]: Simplify 0 into 0
1.905 * [backup-simplify]: Simplify 1 into 1
1.906 * [backup-simplify]: Simplify (* 1 1) into 1
1.906 * [backup-simplify]: Simplify (/ 1 1) into 1
1.906 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.906 * [taylor]: Taking taylor expansion of x in y
1.906 * [backup-simplify]: Simplify x into x
1.906 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x)
1.906 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x
1.907 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x
1.907 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.907 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.907 * [taylor]: Taking taylor expansion of y in x
1.907 * [backup-simplify]: Simplify y into y
1.907 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.907 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
1.907 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.907 * [taylor]: Taking taylor expansion of x in x
1.907 * [backup-simplify]: Simplify 0 into 0
1.907 * [backup-simplify]: Simplify 1 into 1
1.907 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
1.907 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x
1.907 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x
1.907 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.907 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.907 * [taylor]: Taking taylor expansion of y in x
1.907 * [backup-simplify]: Simplify y into y
1.907 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.908 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
1.908 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.908 * [taylor]: Taking taylor expansion of x in x
1.908 * [backup-simplify]: Simplify 0 into 0
1.908 * [backup-simplify]: Simplify 1 into 1
1.908 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
1.908 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.908 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.908 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.908 * [taylor]: Taking taylor expansion of y in y
1.908 * [backup-simplify]: Simplify 0 into 0
1.908 * [backup-simplify]: Simplify 1 into 1
1.909 * [backup-simplify]: Simplify (* 1 1) into 1
1.909 * [backup-simplify]: Simplify (/ 1 1) into 1
1.909 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.909 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.909 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
1.910 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
1.911 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0
1.911 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0
1.912 * [taylor]: Taking taylor expansion of 0 in y
1.912 * [backup-simplify]: Simplify 0 into 0
1.912 * [backup-simplify]: Simplify 0 into 0
1.912 * [backup-simplify]: Simplify 0 into 0
1.912 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1.913 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
1.914 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.915 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.915 * [taylor]: Taking taylor expansion of 0 in y
1.915 * [backup-simplify]: Simplify 0 into 0
1.915 * [backup-simplify]: Simplify 0 into 0
1.915 * [backup-simplify]: Simplify 0 into 0
1.920 * [backup-simplify]: Simplify 0 into 0
1.921 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1.922 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
1.924 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.926 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.926 * [taylor]: Taking taylor expansion of 0 in y
1.926 * [backup-simplify]: Simplify 0 into 0
1.926 * [backup-simplify]: Simplify 0 into 0
1.926 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2)))
1.926 * [backup-simplify]: Simplify (* (/ 1 (- x)) (exp (* (/ 1 (- y)) (/ 1 (- y))))) into (* -1 (/ (exp (/ 1 (pow y 2))) x))
1.926 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0
1.926 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y
1.926 * [taylor]: Taking taylor expansion of -1 in y
1.926 * [backup-simplify]: Simplify -1 into -1
1.926 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y
1.927 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.927 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.927 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.927 * [taylor]: Taking taylor expansion of y in y
1.927 * [backup-simplify]: Simplify 0 into 0
1.927 * [backup-simplify]: Simplify 1 into 1
1.927 * [backup-simplify]: Simplify (* 1 1) into 1
1.927 * [backup-simplify]: Simplify (/ 1 1) into 1
1.928 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.928 * [taylor]: Taking taylor expansion of x in y
1.928 * [backup-simplify]: Simplify x into x
1.928 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x)
1.928 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x
1.928 * [taylor]: Taking taylor expansion of -1 in x
1.928 * [backup-simplify]: Simplify -1 into -1
1.928 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x
1.928 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x
1.928 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.928 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.928 * [taylor]: Taking taylor expansion of y in x
1.928 * [backup-simplify]: Simplify y into y
1.928 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.928 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
1.928 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.928 * [taylor]: Taking taylor expansion of x in x
1.928 * [backup-simplify]: Simplify 0 into 0
1.928 * [backup-simplify]: Simplify 1 into 1
1.929 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
1.929 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x
1.929 * [taylor]: Taking taylor expansion of -1 in x
1.929 * [backup-simplify]: Simplify -1 into -1
1.929 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x
1.929 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x
1.929 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.929 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.929 * [taylor]: Taking taylor expansion of y in x
1.929 * [backup-simplify]: Simplify y into y
1.929 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.929 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
1.929 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.929 * [taylor]: Taking taylor expansion of x in x
1.929 * [backup-simplify]: Simplify 0 into 0
1.929 * [backup-simplify]: Simplify 1 into 1
1.929 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
1.930 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
1.930 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y
1.930 * [taylor]: Taking taylor expansion of -1 in y
1.930 * [backup-simplify]: Simplify -1 into -1
1.930 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
1.930 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.930 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.930 * [taylor]: Taking taylor expansion of y in y
1.930 * [backup-simplify]: Simplify 0 into 0
1.930 * [backup-simplify]: Simplify 1 into 1
1.930 * [backup-simplify]: Simplify (* 1 1) into 1
1.931 * [backup-simplify]: Simplify (/ 1 1) into 1
1.931 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
1.931 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
1.931 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
1.931 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
1.932 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
1.933 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0
1.933 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0
1.934 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0
1.934 * [taylor]: Taking taylor expansion of 0 in y
1.934 * [backup-simplify]: Simplify 0 into 0
1.934 * [backup-simplify]: Simplify 0 into 0
1.935 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0
1.935 * [backup-simplify]: Simplify 0 into 0
1.935 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1.936 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
1.937 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.938 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.939 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0
1.939 * [taylor]: Taking taylor expansion of 0 in y
1.939 * [backup-simplify]: Simplify 0 into 0
1.939 * [backup-simplify]: Simplify 0 into 0
1.939 * [backup-simplify]: Simplify 0 into 0
1.940 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0
1.940 * [backup-simplify]: Simplify 0 into 0
1.941 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1.941 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
1.943 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.945 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.946 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0
1.946 * [taylor]: Taking taylor expansion of 0 in y
1.946 * [backup-simplify]: Simplify 0 into 0
1.946 * [backup-simplify]: Simplify 0 into 0
1.946 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2)))
1.947 * * * [progress]: simplifying candidates
1.947 * [simplify]: Simplifying:
  (expm1 (exp (* y y)))
  (log1p (exp (* y y)))
  (exp y)
  (log (exp (* y y)))
  (exp (exp (* y y)))
  (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))
  (cbrt (exp (* y y)))
  (* (* (exp (* y y)) (exp (* y y))) (exp (* y y)))
  (sqrt (exp (* y y)))
  (sqrt (exp (* y y)))
  (expm1 (* x (exp (* y y))))
  (log1p (* x (exp (* y y))))
  (* x (exp (* y y)))
  (+ (log x) (* y y))
  (log (* x (exp (* y y))))
  (exp (* x (exp (* y y))))
  (* (* (* x x) x) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y))))
  (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y)))))
  (cbrt (* x (exp (* y y))))
  (* (* (* x (exp (* y y))) (* x (exp (* y y)))) (* x (exp (* y y))))
  (sqrt (* x (exp (* y y))))
  (sqrt (* x (exp (* y y))))
  (* (sqrt x) (sqrt (exp (* y y))))
  (* (sqrt x) (sqrt (exp (* y y))))
  (* x (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))))
  (* x (sqrt (exp (* y y))))
  (* x 1)
  (* (cbrt x) (exp (* y y)))
  (* (sqrt x) (exp (* y y)))
  (* x (exp (* y y)))
  (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1))
  (exp (pow y 2))
  (exp (pow y 2))
  x
  (* x (exp (pow y 2)))
  (* x (exp (pow y 2)))
1.948 * * [simplify]: Extracting # 0 : cost  0
1.948 * * [simplify]: Extracting # 1 : cost  0
1.948 * * [simplify]: Extracting # 2 : cost  0
1.949 * * [simplify]: Extracting # 3 : cost  0
1.949 * * [simplify]: Extracting # 4 : cost  0
1.949 * * [simplify]: Extracting # 5 : cost  0
1.949 * * [simplify]: Extracting # 6 : cost  0
1.949 * * [simplify]: iteration  0 :  48  enodes  (cost  269 )
1.966 * * [simplify]: Extracting # 0 : cost  0
1.967 * * [simplify]: Extracting # 1 : cost  0
1.967 * * [simplify]: Extracting # 2 : cost  0
1.967 * * [simplify]: Extracting # 3 : cost  0
1.967 * * [simplify]: iteration  1 :  105  enodes  (cost  261 )
2.014 * * [simplify]: Extracting # 0 : cost  0
2.015 * * [simplify]: Extracting # 1 : cost  0
2.016 * * [simplify]: Extracting # 2 : cost  0
2.016 * * [simplify]: Extracting # 3 : cost  0
2.017 * * [simplify]: Extracting # 4 : cost  0
2.017 * * [simplify]: iteration  2 :  426  enodes  (cost  228 )
2.638 * * [simplify]: Extracting # 0 : cost  0
2.646 * * [simplify]: Extracting # 1 : cost  0
2.651 * * [simplify]: Extracting # 2 : cost  0
2.655 * * [simplify]: Extracting # 3 : cost  0
2.659 * * [simplify]: Extracting # 4 : cost  0
2.663 * * [simplify]: iteration  3 :  2338  enodes  (cost  228 )
4.744 * * [simplify]: Extracting # 0 : cost  0
4.760 * * [simplify]: Extracting # 1 : cost  0
4.773 * * [simplify]: Extracting # 2 : cost  0
4.786 * * [simplify]: Extracting # 3 : cost  0
4.799 * * [simplify]: Extracting # 4 : cost  0
4.812 * * [simplify]: iteration done:  5000  enodes  (cost  228 )
4.812 * [simplify]: Simplified to:
  (expm1 (exp (* y y)))
  (log1p (exp (* y y)))
  (exp y)
  (pow y 2)
  (exp (exp (* y y)))
  (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))
  (cbrt (exp (* y y)))
  (exp (* 3 (pow y 2)))
  (sqrt (exp (* y y)))
  (sqrt (exp (* y y)))
  (expm1 (* x (exp (* y y))))
  (log1p (* x (exp (* y y))))
  (* (exp (* y y)) x)
  (fma y y (log x))
  (fma y y (log x))
  (exp (* x (exp (* y y))))
  (pow (* x (exp (* y y))) 3)
  (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y)))))
  (cbrt (* x (exp (* y y))))
  (pow (* x (exp (* y y))) 3)
  (sqrt (* x (exp (* y y))))
  (sqrt (* x (exp (* y y))))
  (* (sqrt x) (sqrt (exp (* y y))))
  (* (sqrt x) (sqrt (exp (* y y))))
  (* x (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))))
  (* x (sqrt (exp (* y y))))
  x
  (* (cbrt x) (exp (* y y)))
  (* (sqrt x) (exp (* y y)))
  (* (exp (* y y)) x)
  (fma y y (fma 1/2 (pow y 4) 1))
  (exp (* y y))
  (exp (* y y))
  x
  (* (exp (* y y)) x)
  (* (exp (* y y)) x)
4.813 * * * [progress]: adding candidates to table
5.040 * * [progress]: iteration 2 / 4
5.040 * * * [progress]: picking best candidate
5.046 * * * * [pick]: Picked  #<alt (λ (x y) (* x (pow (exp y) y)))>
5.046 * * * [progress]: localizing error
5.065 * * * [progress]: generating rewritten candidates
5.065 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
5.076 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
5.116 * * * [progress]: generating series expansions
5.116 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
5.116 * [backup-simplify]: Simplify (pow (exp y) y) into (pow (exp y) y)
5.117 * [approximate]: Taking taylor expansion of (pow (exp y) y) in (y) around 0
5.117 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y
5.117 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y
5.117 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y
5.117 * [taylor]: Taking taylor expansion of y in y
5.117 * [backup-simplify]: Simplify 0 into 0
5.117 * [backup-simplify]: Simplify 1 into 1
5.117 * [taylor]: Taking taylor expansion of (log (exp y)) in y
5.117 * [taylor]: Taking taylor expansion of (exp y) in y
5.117 * [taylor]: Taking taylor expansion of y in y
5.117 * [backup-simplify]: Simplify 0 into 0
5.117 * [backup-simplify]: Simplify 1 into 1
5.117 * [backup-simplify]: Simplify (exp 0) into 1
5.118 * [backup-simplify]: Simplify (log 1) into 0
5.118 * [backup-simplify]: Simplify (* 0 0) into 0
5.119 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.121 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
5.121 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
5.123 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.126 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0
5.127 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
5.127 * [backup-simplify]: Simplify (exp 0) into 1
5.127 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y
5.127 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y
5.127 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y
5.127 * [taylor]: Taking taylor expansion of y in y
5.127 * [backup-simplify]: Simplify 0 into 0
5.127 * [backup-simplify]: Simplify 1 into 1
5.127 * [taylor]: Taking taylor expansion of (log (exp y)) in y
5.127 * [taylor]: Taking taylor expansion of (exp y) in y
5.127 * [taylor]: Taking taylor expansion of y in y
5.127 * [backup-simplify]: Simplify 0 into 0
5.127 * [backup-simplify]: Simplify 1 into 1
5.127 * [backup-simplify]: Simplify (exp 0) into 1
5.128 * [backup-simplify]: Simplify (log 1) into 0
5.128 * [backup-simplify]: Simplify (* 0 0) into 0
5.129 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.130 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
5.131 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
5.133 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.136 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0
5.137 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
5.137 * [backup-simplify]: Simplify (exp 0) into 1
5.137 * [backup-simplify]: Simplify 1 into 1
5.138 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
5.138 * [backup-simplify]: Simplify 0 into 0
5.139 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into 1
5.139 * [backup-simplify]: Simplify 1 into 1
5.142 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
5.147 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 1/2) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/6) 1)) (pow 1 1)))) 6) into 0
5.149 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
5.151 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.151 * [backup-simplify]: Simplify 0 into 0
5.155 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
5.167 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 1) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 1) 2) (pow (* 2 1/2) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 1/2) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 1) 1) 1 (pow (* 6 1/6) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 1/24) 1)) (pow 1 1)))) 24) into 0
5.169 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.173 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.173 * [backup-simplify]: Simplify 1/2 into 1/2
5.174 * [backup-simplify]: Simplify (+ (* 1/2 (pow y 4)) (+ (* 1 (pow y 2)) 1)) into (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1))
5.174 * [backup-simplify]: Simplify (pow (exp (/ 1 y)) (/ 1 y)) into (pow (exp (/ 1 y)) (/ 1 y))
5.174 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in (y) around 0
5.174 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y
5.174 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y
5.174 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y
5.174 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.174 * [taylor]: Taking taylor expansion of y in y
5.174 * [backup-simplify]: Simplify 0 into 0
5.174 * [backup-simplify]: Simplify 1 into 1
5.175 * [backup-simplify]: Simplify (/ 1 1) into 1
5.175 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
5.175 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
5.175 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.175 * [taylor]: Taking taylor expansion of y in y
5.175 * [backup-simplify]: Simplify 0 into 0
5.175 * [backup-simplify]: Simplify 1 into 1
5.175 * [backup-simplify]: Simplify (/ 1 1) into 1
5.175 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
5.176 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
5.176 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
5.176 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2)))
5.176 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y
5.176 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y
5.176 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y
5.176 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.176 * [taylor]: Taking taylor expansion of y in y
5.176 * [backup-simplify]: Simplify 0 into 0
5.176 * [backup-simplify]: Simplify 1 into 1
5.177 * [backup-simplify]: Simplify (/ 1 1) into 1
5.177 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
5.177 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
5.177 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.177 * [taylor]: Taking taylor expansion of y in y
5.177 * [backup-simplify]: Simplify 0 into 0
5.177 * [backup-simplify]: Simplify 1 into 1
5.177 * [backup-simplify]: Simplify (/ 1 1) into 1
5.178 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
5.178 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
5.178 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
5.178 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2)))
5.178 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
5.178 * [backup-simplify]: Simplify 0 into 0
5.178 * [backup-simplify]: Simplify 0 into 0
5.178 * [backup-simplify]: Simplify 0 into 0
5.178 * [backup-simplify]: Simplify 0 into 0
5.179 * [backup-simplify]: Simplify 0 into 0
5.179 * [backup-simplify]: Simplify 0 into 0
5.179 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 y) 2))) into (exp (pow y 2))
5.179 * [backup-simplify]: Simplify (pow (exp (/ 1 (- y))) (/ 1 (- y))) into (pow (exp (/ -1 y)) (/ -1 y))
5.179 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in (y) around 0
5.179 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y
5.179 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y
5.179 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y
5.179 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.179 * [taylor]: Taking taylor expansion of -1 in y
5.179 * [backup-simplify]: Simplify -1 into -1
5.179 * [taylor]: Taking taylor expansion of y in y
5.179 * [backup-simplify]: Simplify 0 into 0
5.179 * [backup-simplify]: Simplify 1 into 1
5.180 * [backup-simplify]: Simplify (/ -1 1) into -1
5.180 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
5.180 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
5.180 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.180 * [taylor]: Taking taylor expansion of -1 in y
5.180 * [backup-simplify]: Simplify -1 into -1
5.180 * [taylor]: Taking taylor expansion of y in y
5.180 * [backup-simplify]: Simplify 0 into 0
5.180 * [backup-simplify]: Simplify 1 into 1
5.181 * [backup-simplify]: Simplify (/ -1 1) into -1
5.181 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
5.181 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
5.181 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
5.181 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2)))
5.181 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y
5.181 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y
5.181 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y
5.181 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.181 * [taylor]: Taking taylor expansion of -1 in y
5.181 * [backup-simplify]: Simplify -1 into -1
5.181 * [taylor]: Taking taylor expansion of y in y
5.181 * [backup-simplify]: Simplify 0 into 0
5.181 * [backup-simplify]: Simplify 1 into 1
5.182 * [backup-simplify]: Simplify (/ -1 1) into -1
5.182 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
5.182 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
5.182 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.182 * [taylor]: Taking taylor expansion of -1 in y
5.182 * [backup-simplify]: Simplify -1 into -1
5.182 * [taylor]: Taking taylor expansion of y in y
5.182 * [backup-simplify]: Simplify 0 into 0
5.182 * [backup-simplify]: Simplify 1 into 1
5.183 * [backup-simplify]: Simplify (/ -1 1) into -1
5.183 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
5.183 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
5.183 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
5.183 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2)))
5.183 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
5.183 * [backup-simplify]: Simplify 0 into 0
5.184 * [backup-simplify]: Simplify 0 into 0
5.184 * [backup-simplify]: Simplify 0 into 0
5.184 * [backup-simplify]: Simplify 0 into 0
5.184 * [backup-simplify]: Simplify 0 into 0
5.184 * [backup-simplify]: Simplify 0 into 0
5.184 * [backup-simplify]: Simplify (exp (/ 1 (pow (/ 1 (- y)) 2))) into (exp (pow y 2))
5.184 * * * * [progress]: [ 2 / 2 ] generating series at (2)
5.184 * [backup-simplify]: Simplify (* x (pow (exp y) y)) into (* x (pow (exp y) y))
5.184 * [approximate]: Taking taylor expansion of (* x (pow (exp y) y)) in (x y) around 0
5.184 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in y
5.184 * [taylor]: Taking taylor expansion of x in y
5.184 * [backup-simplify]: Simplify x into x
5.184 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y
5.184 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y
5.184 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y
5.184 * [taylor]: Taking taylor expansion of y in y
5.184 * [backup-simplify]: Simplify 0 into 0
5.184 * [backup-simplify]: Simplify 1 into 1
5.185 * [taylor]: Taking taylor expansion of (log (exp y)) in y
5.185 * [taylor]: Taking taylor expansion of (exp y) in y
5.185 * [taylor]: Taking taylor expansion of y in y
5.185 * [backup-simplify]: Simplify 0 into 0
5.185 * [backup-simplify]: Simplify 1 into 1
5.185 * [backup-simplify]: Simplify (exp 0) into 1
5.185 * [backup-simplify]: Simplify (log 1) into 0
5.185 * [backup-simplify]: Simplify (* 0 0) into 0
5.186 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.188 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
5.189 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
5.190 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.193 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0
5.194 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
5.194 * [backup-simplify]: Simplify (exp 0) into 1
5.194 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x
5.194 * [taylor]: Taking taylor expansion of x in x
5.194 * [backup-simplify]: Simplify 0 into 0
5.194 * [backup-simplify]: Simplify 1 into 1
5.194 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x
5.194 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x
5.194 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x
5.194 * [taylor]: Taking taylor expansion of y in x
5.194 * [backup-simplify]: Simplify y into y
5.194 * [taylor]: Taking taylor expansion of (log (exp y)) in x
5.194 * [taylor]: Taking taylor expansion of (exp y) in x
5.194 * [taylor]: Taking taylor expansion of y in x
5.194 * [backup-simplify]: Simplify y into y
5.194 * [backup-simplify]: Simplify (exp y) into (exp y)
5.194 * [backup-simplify]: Simplify (log (exp y)) into y
5.195 * [backup-simplify]: Simplify (* y y) into (pow y 2)
5.195 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2))
5.195 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x
5.195 * [taylor]: Taking taylor expansion of x in x
5.195 * [backup-simplify]: Simplify 0 into 0
5.195 * [backup-simplify]: Simplify 1 into 1
5.195 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x
5.195 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x
5.195 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x
5.195 * [taylor]: Taking taylor expansion of y in x
5.195 * [backup-simplify]: Simplify y into y
5.195 * [taylor]: Taking taylor expansion of (log (exp y)) in x
5.195 * [taylor]: Taking taylor expansion of (exp y) in x
5.195 * [taylor]: Taking taylor expansion of y in x
5.195 * [backup-simplify]: Simplify y into y
5.195 * [backup-simplify]: Simplify (exp y) into (exp y)
5.195 * [backup-simplify]: Simplify (log (exp y)) into y
5.195 * [backup-simplify]: Simplify (* y y) into (pow y 2)
5.196 * [backup-simplify]: Simplify (exp (pow y 2)) into (exp (pow y 2))
5.196 * [backup-simplify]: Simplify (* 0 (exp (pow y 2))) into 0
5.196 * [taylor]: Taking taylor expansion of 0 in y
5.196 * [backup-simplify]: Simplify 0 into 0
5.196 * [backup-simplify]: Simplify 0 into 0
5.197 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 1) 1)))) into 0
5.198 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp y) 1)))) 1) into 0
5.198 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
5.199 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 1) 1)))) into 0
5.199 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp (pow y 2)))) into (exp (pow y 2))
5.199 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y
5.199 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.199 * [taylor]: Taking taylor expansion of y in y
5.199 * [backup-simplify]: Simplify 0 into 0
5.199 * [backup-simplify]: Simplify 1 into 1
5.200 * [backup-simplify]: Simplify (* 1 1) into 1
5.200 * [backup-simplify]: Simplify (exp 0) into 1
5.200 * [backup-simplify]: Simplify 1 into 1
5.200 * [backup-simplify]: Simplify 0 into 0
5.201 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.203 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp y) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp y) 1)))) 2) into 0
5.203 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
5.205 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.206 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp (pow y 2))))) into 0
5.206 * [taylor]: Taking taylor expansion of 0 in y
5.206 * [backup-simplify]: Simplify 0 into 0
5.206 * [backup-simplify]: Simplify 0 into 0
5.207 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
5.207 * [backup-simplify]: Simplify 0 into 0
5.207 * [backup-simplify]: Simplify 0 into 0
5.208 * [backup-simplify]: Simplify (* (exp y) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.211 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp y) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp y) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp y) 1)))) 6) into 0
5.212 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
5.214 * [backup-simplify]: Simplify (* (exp (pow y 2)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.215 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (exp (pow y 2)))))) into 0
5.215 * [taylor]: Taking taylor expansion of 0 in y
5.215 * [backup-simplify]: Simplify 0 into 0
5.215 * [backup-simplify]: Simplify 0 into 0
5.215 * [backup-simplify]: Simplify 0 into 0
5.215 * [backup-simplify]: Simplify (* 1 (* 1 x)) into x
5.215 * [backup-simplify]: Simplify (* (/ 1 x) (pow (exp (/ 1 y)) (/ 1 y))) into (/ (pow (exp (/ 1 y)) (/ 1 y)) x)
5.216 * [approximate]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in (x y) around 0
5.216 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in y
5.216 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y
5.216 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y
5.216 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y
5.216 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.216 * [taylor]: Taking taylor expansion of y in y
5.216 * [backup-simplify]: Simplify 0 into 0
5.216 * [backup-simplify]: Simplify 1 into 1
5.216 * [backup-simplify]: Simplify (/ 1 1) into 1
5.216 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y
5.216 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y
5.216 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.216 * [taylor]: Taking taylor expansion of y in y
5.216 * [backup-simplify]: Simplify 0 into 0
5.216 * [backup-simplify]: Simplify 1 into 1
5.217 * [backup-simplify]: Simplify (/ 1 1) into 1
5.217 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
5.217 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
5.217 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
5.217 * [backup-simplify]: Simplify (exp (* (/ 1 y) (log (exp (/ 1 y))))) into (exp (/ 1 (pow y 2)))
5.217 * [taylor]: Taking taylor expansion of x in y
5.217 * [backup-simplify]: Simplify x into x
5.218 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x)
5.218 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x
5.218 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x
5.218 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x
5.218 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x
5.218 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.218 * [taylor]: Taking taylor expansion of y in x
5.218 * [backup-simplify]: Simplify y into y
5.218 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.218 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x
5.218 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
5.218 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.218 * [taylor]: Taking taylor expansion of y in x
5.218 * [backup-simplify]: Simplify y into y
5.218 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.218 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
5.219 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
5.219 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2))
5.219 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
5.219 * [taylor]: Taking taylor expansion of x in x
5.219 * [backup-simplify]: Simplify 0 into 0
5.219 * [backup-simplify]: Simplify 1 into 1
5.219 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
5.219 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x
5.219 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x
5.219 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x
5.219 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x
5.219 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.219 * [taylor]: Taking taylor expansion of y in x
5.219 * [backup-simplify]: Simplify y into y
5.220 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.220 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x
5.220 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x
5.220 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.220 * [taylor]: Taking taylor expansion of y in x
5.220 * [backup-simplify]: Simplify y into y
5.220 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.220 * [backup-simplify]: Simplify (exp (/ 1 y)) into (exp (/ 1 y))
5.220 * [backup-simplify]: Simplify (log (exp (/ 1 y))) into (/ 1 y)
5.220 * [backup-simplify]: Simplify (* (/ 1 y) (/ 1 y)) into (/ 1 (pow y 2))
5.220 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
5.220 * [taylor]: Taking taylor expansion of x in x
5.220 * [backup-simplify]: Simplify 0 into 0
5.221 * [backup-simplify]: Simplify 1 into 1
5.221 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
5.221 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
5.221 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.221 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.221 * [taylor]: Taking taylor expansion of y in y
5.221 * [backup-simplify]: Simplify 0 into 0
5.221 * [backup-simplify]: Simplify 1 into 1
5.222 * [backup-simplify]: Simplify (* 1 1) into 1
5.222 * [backup-simplify]: Simplify (/ 1 1) into 1
5.223 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
5.223 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
5.223 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.225 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 1) 1)))) into 0
5.226 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ 1 y)) 1)))) 1) into 0
5.226 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.226 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (/ 1 y))) into 0
5.227 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0
5.228 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0
5.228 * [taylor]: Taking taylor expansion of 0 in y
5.228 * [backup-simplify]: Simplify 0 into 0
5.228 * [backup-simplify]: Simplify 0 into 0
5.228 * [backup-simplify]: Simplify 0 into 0
5.228 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.230 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.232 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 1)))) 2) into 0
5.232 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.232 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
5.234 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.235 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.235 * [taylor]: Taking taylor expansion of 0 in y
5.235 * [backup-simplify]: Simplify 0 into 0
5.235 * [backup-simplify]: Simplify 0 into 0
5.235 * [backup-simplify]: Simplify 0 into 0
5.235 * [backup-simplify]: Simplify 0 into 0
5.235 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.237 * [backup-simplify]: Simplify (* (exp (/ 1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.240 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ 1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ 1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ 1 y)) 1)))) 6) into 0
5.240 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.241 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
5.243 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.245 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.245 * [taylor]: Taking taylor expansion of 0 in y
5.245 * [backup-simplify]: Simplify 0 into 0
5.245 * [backup-simplify]: Simplify 0 into 0
5.245 * [backup-simplify]: Simplify (* (exp (/ 1 (pow (/ 1 y) 2))) (* 1 (/ 1 (/ 1 x)))) into (* x (exp (pow y 2)))
5.245 * [backup-simplify]: Simplify (* (/ 1 (- x)) (pow (exp (/ 1 (- y))) (/ 1 (- y)))) into (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x))
5.245 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in (x y) around 0
5.245 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in y
5.245 * [taylor]: Taking taylor expansion of -1 in y
5.245 * [backup-simplify]: Simplify -1 into -1
5.245 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in y
5.245 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y
5.245 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y
5.245 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y
5.246 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.246 * [taylor]: Taking taylor expansion of -1 in y
5.246 * [backup-simplify]: Simplify -1 into -1
5.246 * [taylor]: Taking taylor expansion of y in y
5.246 * [backup-simplify]: Simplify 0 into 0
5.246 * [backup-simplify]: Simplify 1 into 1
5.246 * [backup-simplify]: Simplify (/ -1 1) into -1
5.246 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y
5.246 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y
5.246 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.246 * [taylor]: Taking taylor expansion of -1 in y
5.246 * [backup-simplify]: Simplify -1 into -1
5.246 * [taylor]: Taking taylor expansion of y in y
5.246 * [backup-simplify]: Simplify 0 into 0
5.246 * [backup-simplify]: Simplify 1 into 1
5.247 * [backup-simplify]: Simplify (/ -1 1) into -1
5.247 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
5.247 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
5.247 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
5.247 * [backup-simplify]: Simplify (exp (* (/ -1 y) (log (exp (/ -1 y))))) into (exp (/ 1 (pow y 2)))
5.247 * [taylor]: Taking taylor expansion of x in y
5.247 * [backup-simplify]: Simplify x into x
5.247 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) x) into (/ (exp (/ 1 (pow y 2))) x)
5.247 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x
5.247 * [taylor]: Taking taylor expansion of -1 in x
5.248 * [backup-simplify]: Simplify -1 into -1
5.248 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x
5.248 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x
5.248 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x
5.248 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x
5.248 * [taylor]: Taking taylor expansion of (/ -1 y) in x
5.248 * [taylor]: Taking taylor expansion of -1 in x
5.248 * [backup-simplify]: Simplify -1 into -1
5.248 * [taylor]: Taking taylor expansion of y in x
5.248 * [backup-simplify]: Simplify y into y
5.248 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
5.248 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x
5.248 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
5.248 * [taylor]: Taking taylor expansion of (/ -1 y) in x
5.248 * [taylor]: Taking taylor expansion of -1 in x
5.248 * [backup-simplify]: Simplify -1 into -1
5.248 * [taylor]: Taking taylor expansion of y in x
5.248 * [backup-simplify]: Simplify y into y
5.248 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
5.248 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
5.248 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
5.248 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2))
5.249 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
5.249 * [taylor]: Taking taylor expansion of x in x
5.249 * [backup-simplify]: Simplify 0 into 0
5.249 * [backup-simplify]: Simplify 1 into 1
5.249 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
5.249 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x
5.249 * [taylor]: Taking taylor expansion of -1 in x
5.249 * [backup-simplify]: Simplify -1 into -1
5.249 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x
5.249 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x
5.249 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x
5.249 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x
5.249 * [taylor]: Taking taylor expansion of (/ -1 y) in x
5.249 * [taylor]: Taking taylor expansion of -1 in x
5.249 * [backup-simplify]: Simplify -1 into -1
5.249 * [taylor]: Taking taylor expansion of y in x
5.249 * [backup-simplify]: Simplify y into y
5.249 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
5.249 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x
5.249 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x
5.249 * [taylor]: Taking taylor expansion of (/ -1 y) in x
5.249 * [taylor]: Taking taylor expansion of -1 in x
5.249 * [backup-simplify]: Simplify -1 into -1
5.249 * [taylor]: Taking taylor expansion of y in x
5.249 * [backup-simplify]: Simplify y into y
5.249 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
5.249 * [backup-simplify]: Simplify (exp (/ -1 y)) into (exp (/ -1 y))
5.250 * [backup-simplify]: Simplify (log (exp (/ -1 y))) into (/ -1 y)
5.250 * [backup-simplify]: Simplify (* (/ -1 y) (/ -1 y)) into (/ 1 (pow y 2))
5.250 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
5.250 * [taylor]: Taking taylor expansion of x in x
5.250 * [backup-simplify]: Simplify 0 into 0
5.250 * [backup-simplify]: Simplify 1 into 1
5.250 * [backup-simplify]: Simplify (/ (exp (/ 1 (pow y 2))) 1) into (exp (/ 1 (pow y 2)))
5.250 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
5.250 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y
5.250 * [taylor]: Taking taylor expansion of -1 in y
5.250 * [backup-simplify]: Simplify -1 into -1
5.250 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y
5.250 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.250 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.250 * [taylor]: Taking taylor expansion of y in y
5.250 * [backup-simplify]: Simplify 0 into 0
5.250 * [backup-simplify]: Simplify 1 into 1
5.255 * [backup-simplify]: Simplify (* 1 1) into 1
5.255 * [backup-simplify]: Simplify (/ 1 1) into 1
5.256 * [backup-simplify]: Simplify (exp (/ 1 (pow y 2))) into (exp (/ 1 (pow y 2)))
5.256 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
5.256 * [backup-simplify]: Simplify (* -1 (exp (/ 1 (pow y 2)))) into (* -1 (exp (/ 1 (pow y 2))))
5.256 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
5.257 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 1) 1)))) into 0
5.258 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (/ -1 y)) 1)))) 1) into 0
5.258 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
5.258 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 (/ -1 y))) into 0
5.259 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 1) 1)))) into 0
5.260 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)))) into 0
5.260 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0
5.260 * [taylor]: Taking taylor expansion of 0 in y
5.261 * [backup-simplify]: Simplify 0 into 0
5.261 * [backup-simplify]: Simplify 0 into 0
5.261 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (exp (/ 1 (pow y 2))))) into 0
5.261 * [backup-simplify]: Simplify 0 into 0
5.261 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.263 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.264 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 1)))) 2) into 0
5.264 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.265 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0
5.266 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.268 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.268 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0
5.268 * [taylor]: Taking taylor expansion of 0 in y
5.269 * [backup-simplify]: Simplify 0 into 0
5.269 * [backup-simplify]: Simplify 0 into 0
5.269 * [backup-simplify]: Simplify 0 into 0
5.269 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2)))))) into 0
5.270 * [backup-simplify]: Simplify 0 into 0
5.270 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.271 * [backup-simplify]: Simplify (* (exp (/ -1 y)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.274 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (/ -1 y)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (/ -1 y)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (/ -1 y)) 1)))) 6) into 0
5.274 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.275 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0
5.277 * [backup-simplify]: Simplify (* (exp (/ 1 (pow y 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.278 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (exp (/ 1 (pow y 2))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.280 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 (pow y 2))))))) into 0
5.280 * [taylor]: Taking taylor expansion of 0 in y
5.280 * [backup-simplify]: Simplify 0 into 0
5.280 * [backup-simplify]: Simplify 0 into 0
5.280 * [backup-simplify]: Simplify (* (* -1 (exp (/ 1 (pow (/ 1 (- y)) 2)))) (* 1 (/ 1 (/ 1 (- x))))) into (* x (exp (pow y 2)))
5.280 * * * [progress]: simplifying candidates
5.281 * [simplify]: Simplifying:
  (expm1 (pow (exp y) y))
  (log1p (pow (exp y) y))
  (* y y)
  (* (log (exp y)) y)
  (* 1 y)
  (* (cbrt y) y)
  (* (sqrt y) y)
  (* y y)
  (pow (exp y) (* (cbrt y) (cbrt y)))
  (pow (exp y) (sqrt y))
  (pow (exp y) 1)
  (pow (* (cbrt (exp y)) (cbrt (exp y))) y)
  (pow (cbrt (exp y)) y)
  (pow (sqrt (exp y)) y)
  (pow (sqrt (exp y)) y)
  (pow 1 y)
  (pow (exp y) y)
  (log (pow (exp y) y))
  (exp (pow (exp y) y))
  (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y)))
  (cbrt (pow (exp y) y))
  (* (* (pow (exp y) y) (pow (exp y) y)) (pow (exp y) y))
  (sqrt (pow (exp y) y))
  (sqrt (pow (exp y) y))
  (pow (exp y) (/ y 2))
  (pow (exp y) (/ y 2))
  (expm1 (* x (pow (exp y) y)))
  (log1p (* x (pow (exp y) y)))
  (+ (log x) (* y y))
  (+ (log x) (* (log (exp y)) y))
  (+ (log x) (log (pow (exp y) y)))
  (log (* x (pow (exp y) y)))
  (exp (* x (pow (exp y) y)))
  (* (* (* x x) x) (* (* (pow (exp y) y) (pow (exp y) y)) (pow (exp y) y)))
  (* (cbrt (* x (pow (exp y) y))) (cbrt (* x (pow (exp y) y))))
  (cbrt (* x (pow (exp y) y)))
  (* (* (* x (pow (exp y) y)) (* x (pow (exp y) y))) (* x (pow (exp y) y)))
  (sqrt (* x (pow (exp y) y)))
  (sqrt (* x (pow (exp y) y)))
  (* (sqrt x) (pow (sqrt (exp y)) y))
  (* (sqrt x) (pow (sqrt (exp y)) y))
  (* (sqrt x) (sqrt (pow (exp y) y)))
  (* (sqrt x) (sqrt (pow (exp y) y)))
  (* (sqrt x) (pow (exp y) (/ y 2)))
  (* (sqrt x) (pow (exp y) (/ y 2)))
  (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y))
  (* x (pow (sqrt (exp y)) y))
  (* x (pow 1 y))
  (* x (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y))))
  (* x (sqrt (pow (exp y) y)))
  (* x 1)
  (* x (pow (exp y) (/ y 2)))
  (* (cbrt x) (pow (exp y) y))
  (* (sqrt x) (pow (exp y) y))
  (* x (pow (exp y) y))
  (+ (pow y 2) (+ (* 1/2 (pow y 4)) 1))
  (exp (pow y 2))
  (exp (pow y 2))
  x
  (* x (exp (pow y 2)))
  (* x (exp (pow y 2)))
5.283 * * [simplify]: Extracting # 0 : cost  0
5.283 * * [simplify]: Extracting # 1 : cost  0
5.283 * * [simplify]: Extracting # 2 : cost  0
5.283 * * [simplify]: Extracting # 3 : cost  0
5.283 * * [simplify]: Extracting # 4 : cost  0
5.283 * * [simplify]: Extracting # 5 : cost  0
5.284 * * [simplify]: Extracting # 6 : cost  0
5.284 * * [simplify]: iteration  0 :  76  enodes  (cost  424 )
5.315 * * [simplify]: Extracting # 0 : cost  0
5.316 * * [simplify]: Extracting # 1 : cost  0
5.316 * * [simplify]: Extracting # 2 : cost  0
5.316 * * [simplify]: Extracting # 3 : cost  0
5.317 * * [simplify]: Extracting # 4 : cost  0
5.317 * * [simplify]: iteration  1 :  182  enodes  (cost  393 )
5.402 * * [simplify]: Extracting # 0 : cost  0
5.403 * * [simplify]: Extracting # 1 : cost  0
5.404 * * [simplify]: Extracting # 2 : cost  0
5.405 * * [simplify]: Extracting # 3 : cost  0
5.406 * * [simplify]: Extracting # 4 : cost  0
5.407 * * [simplify]: iteration  2 :  566  enodes  (cost  367 )
6.000 * * [simplify]: Extracting # 0 : cost  0
6.006 * * [simplify]: Extracting # 1 : cost  0
6.017 * * [simplify]: Extracting # 2 : cost  0
6.022 * * [simplify]: Extracting # 3 : cost  0
6.027 * * [simplify]: Extracting # 4 : cost  0
6.033 * * [simplify]: Extracting # 5 : cost  0
6.038 * * [simplify]: iteration  3 :  2864  enodes  (cost  365 )
8.288 * * [simplify]: Extracting # 0 : cost  0
8.312 * * [simplify]: Extracting # 1 : cost  0
8.320 * * [simplify]: Extracting # 2 : cost  0
8.328 * * [simplify]: Extracting # 3 : cost  0
8.341 * * [simplify]: Extracting # 4 : cost  0
8.349 * * [simplify]: iteration done:  5003  enodes  (cost  365 )
8.350 * [simplify]: Simplified to:
  (expm1 (pow (exp y) y))
  (log1p (pow (exp y) y))
  (pow y 2)
  (* y y)
  y
  (* (cbrt y) y)
  (* (sqrt y) y)
  (pow y 2)
  (pow (exp y) (* (cbrt y) (cbrt y)))
  (pow (exp y) (sqrt y))
  (exp y)
  (pow (* (cbrt (exp y)) (cbrt (exp y))) y)
  (pow (cbrt (exp y)) y)
  (pow (sqrt (exp y)) y)
  (pow (sqrt (exp y)) y)
  1
  (pow (exp y) y)
  (pow y 2)
  (exp (pow (exp y) y))
  (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y)))
  (cbrt (pow (exp y) y))
  (pow (pow (exp y) y) 3)
  (sqrt (pow (exp y) y))
  (sqrt (pow (exp y) y))
  (pow (exp y) (/ y 2))
  (pow (exp y) (/ y 2))
  (expm1 (* x (pow (exp y) y)))
  (log1p (* x (pow (exp y) y)))
  (fma y y (log x))
  (fma y y (log x))
  (fma y y (log x))
  (fma y y (log x))
  (exp (* x (pow (exp y) y)))
  (pow (* x (pow (exp y) y)) 3)
  (* (cbrt (* x (pow (exp y) y))) (cbrt (* x (pow (exp y) y))))
  (cbrt (* x (pow (exp y) y)))
  (pow (* x (pow (exp y) y)) 3)
  (sqrt (* x (pow (exp y) y)))
  (sqrt (* x (pow (exp y) y)))
  (* (sqrt x) (pow (sqrt (exp y)) y))
  (* (sqrt x) (pow (sqrt (exp y)) y))
  (* (sqrt x) (sqrt (pow (exp y) y)))
  (* (sqrt x) (sqrt (pow (exp y) y)))
  (* (sqrt x) (pow (exp y) (/ y 2)))
  (* (sqrt x) (pow (exp y) (/ y 2)))
  (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y))
  (* x (pow (sqrt (exp y)) y))
  x
  (* x (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y))))
  (* x (sqrt (pow (exp y) y)))
  x
  (* x (pow (exp y) (/ y 2)))
  (* (cbrt x) (pow (exp y) y))
  (* (sqrt x) (pow (exp y) y))
  (* x (pow (exp y) y))
  (fma y y (fma 1/2 (pow y 4) 1))
  (pow (exp y) y)
  (pow (exp y) y)
  x
  (* x (pow (exp y) y))
  (* x (pow (exp y) y))
8.350 * * * [progress]: adding candidates to table
8.602 * [progress]: [Phase 3 of 3] Extracting.
8.607 * [simplify]: Simplifying:
  (* x (pow (exp y) y))
8.607 * * [simplify]: Extracting # 0 : cost  0
8.607 * * [simplify]: Extracting # 1 : cost  0
8.607 * * [simplify]: Extracting # 2 : cost  0
8.607 * * [simplify]: Extracting # 3 : cost  0
8.607 * * [simplify]: Extracting # 4 : cost  0
8.607 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
8.608 * * [simplify]: Extracting # 0 : cost  0
8.608 * * [simplify]: iteration  1 :  6  enodes  (cost  6 )
8.608 * * [simplify]: Extracting # 0 : cost  0
8.608 * * [simplify]: iteration done:  6  enodes  (cost  6 )
8.608 * [simplify]: Simplified to:
  (* x (pow (exp y) y))
10.822 * [regime-testing]: Baseline error score: 0.015478013596604898
10.826 * [regime-testing]: Oracle error score: 0.015478013596604898
10.826 * [regime-testing]: End program error score: 0.015478013596604898
10.942 * [regime-testing]: Target error score: 0.015478013596604898