46.912 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.770 * * * [progress]: [2/2] Setting up program.
0.775 * [progress]: [Phase 2 of 3] Improving.
0.775 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
0.778 * * [simplify]: iteration  0 :  25  enodes  (cost  9 )
0.779 * * [simplify]: iteration  1 :  41  enodes  (cost  9 )
0.781 * * [simplify]: iteration  2 :  88  enodes  (cost  9 )
0.783 * * [simplify]: iteration  3 :  165  enodes  (cost  9 )
0.785 * * [simplify]: iteration  4 :  287  enodes  (cost  9 )
0.790 * * [simplify]: iteration  5 :  625  enodes  (cost  9 )
0.805 * * [simplify]: iteration  6 :  2014  enodes  (cost  9 )
0.853 * * [simplify]: iteration  7 :  5002  enodes  (cost  9 )
0.853 * [simplify]: Simplified to:
   (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
0.854 * * [progress]: iteration 1 / 4
0.854 * * * [progress]: picking best candidate
0.857 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))>
0.857 * * * [progress]: localizing error
0.872 * * * [progress]: generating rewritten candidates
0.872 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.880 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
0.884 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
0.887 * * * [progress]: generating series expansions
0.887 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.887 * [approximate]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in (x y z) around 0
0.888 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in z
0.888 * [taylor]: Taking taylor expansion of (sqrt z) in z
0.888 * [taylor]: Taking taylor expansion of z in z
0.888 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in z
0.888 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
0.888 * [taylor]: Taking taylor expansion of 2.0 in z
0.888 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in z
0.888 * [taylor]: Taking taylor expansion of (* 0.5 x) in z
0.888 * [taylor]: Taking taylor expansion of 0.5 in z
0.888 * [taylor]: Taking taylor expansion of x in z
0.888 * [taylor]: Taking taylor expansion of y in z
0.888 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in y
0.888 * [taylor]: Taking taylor expansion of (sqrt z) in y
0.888 * [taylor]: Taking taylor expansion of z in y
0.888 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in y
0.888 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
0.888 * [taylor]: Taking taylor expansion of 2.0 in y
0.888 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in y
0.888 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
0.888 * [taylor]: Taking taylor expansion of 0.5 in y
0.888 * [taylor]: Taking taylor expansion of x in y
0.888 * [taylor]: Taking taylor expansion of y in y
0.888 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in x
0.888 * [taylor]: Taking taylor expansion of (sqrt z) in x
0.888 * [taylor]: Taking taylor expansion of z in x
0.888 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in x
0.888 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.888 * [taylor]: Taking taylor expansion of 2.0 in x
0.888 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in x
0.888 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.888 * [taylor]: Taking taylor expansion of 0.5 in x
0.888 * [taylor]: Taking taylor expansion of x in x
0.888 * [taylor]: Taking taylor expansion of y in x
0.888 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in x
0.888 * [taylor]: Taking taylor expansion of (sqrt z) in x
0.888 * [taylor]: Taking taylor expansion of z in x
0.888 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in x
0.888 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.888 * [taylor]: Taking taylor expansion of 2.0 in x
0.888 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in x
0.888 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.888 * [taylor]: Taking taylor expansion of 0.5 in x
0.889 * [taylor]: Taking taylor expansion of x in x
0.889 * [taylor]: Taking taylor expansion of y in x
0.889 * [taylor]: Taking taylor expansion of (* -1 (* (* (sqrt 2.0) y) (sqrt z))) in y
0.889 * [taylor]: Taking taylor expansion of -1 in y
0.889 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) y) (sqrt z)) in y
0.889 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) y) in y
0.889 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
0.889 * [taylor]: Taking taylor expansion of 2.0 in y
0.889 * [taylor]: Taking taylor expansion of y in y
0.889 * [taylor]: Taking taylor expansion of (sqrt z) in y
0.889 * [taylor]: Taking taylor expansion of z in y
0.889 * [taylor]: Taking taylor expansion of 0 in z
0.889 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt z))) in y
0.889 * [taylor]: Taking taylor expansion of 0.5 in y
0.889 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in y
0.889 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
0.889 * [taylor]: Taking taylor expansion of 2.0 in y
0.889 * [taylor]: Taking taylor expansion of (sqrt z) in y
0.889 * [taylor]: Taking taylor expansion of z in y
0.889 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt z))) in z
0.889 * [taylor]: Taking taylor expansion of 0.5 in z
0.889 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in z
0.889 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
0.889 * [taylor]: Taking taylor expansion of 2.0 in z
0.889 * [taylor]: Taking taylor expansion of (sqrt z) in z
0.890 * [taylor]: Taking taylor expansion of z in z
0.890 * [taylor]: Taking taylor expansion of (neg (* (sqrt 2.0) (sqrt z))) in z
0.890 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in z
0.890 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
0.890 * [taylor]: Taking taylor expansion of 2.0 in z
0.890 * [taylor]: Taking taylor expansion of (sqrt z) in z
0.890 * [taylor]: Taking taylor expansion of z in z
0.890 * [taylor]: Taking taylor expansion of 0 in y
0.890 * [taylor]: Taking taylor expansion of 0 in z
0.890 * [taylor]: Taking taylor expansion of 0 in z
0.890 * [approximate]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in (x y z) around 0
0.891 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
0.891 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in z
0.891 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in z
0.891 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z
0.891 * [taylor]: Taking taylor expansion of 0.5 in z
0.891 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.891 * [taylor]: Taking taylor expansion of x in z
0.891 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.891 * [taylor]: Taking taylor expansion of y in z
0.891 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
0.891 * [taylor]: Taking taylor expansion of 2.0 in z
0.891 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
0.891 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.891 * [taylor]: Taking taylor expansion of z in z
0.891 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in y
0.891 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in y
0.891 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in y
0.891 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
0.891 * [taylor]: Taking taylor expansion of 0.5 in y
0.891 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.891 * [taylor]: Taking taylor expansion of x in y
0.891 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.891 * [taylor]: Taking taylor expansion of y in y
0.891 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
0.891 * [taylor]: Taking taylor expansion of 2.0 in y
0.891 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
0.891 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.891 * [taylor]: Taking taylor expansion of z in y
0.891 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in x
0.891 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in x
0.891 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in x
0.891 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
0.891 * [taylor]: Taking taylor expansion of 0.5 in x
0.891 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.891 * [taylor]: Taking taylor expansion of x in x
0.891 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.891 * [taylor]: Taking taylor expansion of y in x
0.891 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.891 * [taylor]: Taking taylor expansion of 2.0 in x
0.892 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
0.892 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.892 * [taylor]: Taking taylor expansion of z in x
0.892 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in x
0.892 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in x
0.892 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in x
0.892 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
0.892 * [taylor]: Taking taylor expansion of 0.5 in x
0.892 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.892 * [taylor]: Taking taylor expansion of x in x
0.892 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.892 * [taylor]: Taking taylor expansion of y in x
0.892 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.892 * [taylor]: Taking taylor expansion of 2.0 in x
0.892 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
0.892 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.892 * [taylor]: Taking taylor expansion of z in x
0.892 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt (/ 1 z)))) in y
0.892 * [taylor]: Taking taylor expansion of 0.5 in y
0.892 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in y
0.892 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
0.892 * [taylor]: Taking taylor expansion of 2.0 in y
0.892 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
0.892 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.892 * [taylor]: Taking taylor expansion of z in y
0.893 * [taylor]: Taking taylor expansion of (neg (* (/ (sqrt 2.0) y) (sqrt (/ 1 z)))) in y
0.893 * [taylor]: Taking taylor expansion of (* (/ (sqrt 2.0) y) (sqrt (/ 1 z))) in y
0.893 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) y) in y
0.893 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
0.893 * [taylor]: Taking taylor expansion of 2.0 in y
0.893 * [taylor]: Taking taylor expansion of y in y
0.893 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
0.893 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.893 * [taylor]: Taking taylor expansion of z in y
0.893 * [taylor]: Taking taylor expansion of (neg (* (sqrt 2.0) (sqrt (/ 1 z)))) in z
0.893 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in z
0.893 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
0.893 * [taylor]: Taking taylor expansion of 2.0 in z
0.893 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
0.893 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.893 * [taylor]: Taking taylor expansion of z in z
0.893 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt (/ 1 z)))) in z
0.893 * [taylor]: Taking taylor expansion of 0.5 in z
0.893 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in z
0.893 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
0.893 * [taylor]: Taking taylor expansion of 2.0 in z
0.893 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
0.893 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.894 * [taylor]: Taking taylor expansion of z in z
0.894 * [taylor]: Taking taylor expansion of 0 in y
0.894 * [taylor]: Taking taylor expansion of 0 in z
0.894 * [taylor]: Taking taylor expansion of 0 in z
0.895 * [taylor]: Taking taylor expansion of 0 in y
0.895 * [taylor]: Taking taylor expansion of 0 in z
0.895 * [taylor]: Taking taylor expansion of 0 in z
0.896 * [taylor]: Taking taylor expansion of 0 in z
0.897 * [approximate]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in (x y z) around 0
0.897 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
0.897 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 z)) in z
0.897 * [taylor]: Taking taylor expansion of (/ -2.0 z) in z
0.897 * [taylor]: Taking taylor expansion of -2.0 in z
0.897 * [taylor]: Taking taylor expansion of z in z
0.897 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in z
0.897 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.897 * [taylor]: Taking taylor expansion of y in z
0.897 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z
0.897 * [taylor]: Taking taylor expansion of 0.5 in z
0.897 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.897 * [taylor]: Taking taylor expansion of x in z
0.897 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in y
0.897 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 z)) in y
0.897 * [taylor]: Taking taylor expansion of (/ -2.0 z) in y
0.897 * [taylor]: Taking taylor expansion of -2.0 in y
0.897 * [taylor]: Taking taylor expansion of z in y
0.897 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in y
0.897 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.897 * [taylor]: Taking taylor expansion of y in y
0.897 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
0.897 * [taylor]: Taking taylor expansion of 0.5 in y
0.897 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.897 * [taylor]: Taking taylor expansion of x in y
0.897 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in x
0.897 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 z)) in x
0.897 * [taylor]: Taking taylor expansion of (/ -2.0 z) in x
0.897 * [taylor]: Taking taylor expansion of -2.0 in x
0.897 * [taylor]: Taking taylor expansion of z in x
0.897 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in x
0.897 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.898 * [taylor]: Taking taylor expansion of y in x
0.898 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
0.898 * [taylor]: Taking taylor expansion of 0.5 in x
0.898 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.898 * [taylor]: Taking taylor expansion of x in x
0.898 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in x
0.898 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 z)) in x
0.898 * [taylor]: Taking taylor expansion of (/ -2.0 z) in x
0.898 * [taylor]: Taking taylor expansion of -2.0 in x
0.898 * [taylor]: Taking taylor expansion of z in x
0.898 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in x
0.898 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.898 * [taylor]: Taking taylor expansion of y in x
0.898 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
0.898 * [taylor]: Taking taylor expansion of 0.5 in x
0.898 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.898 * [taylor]: Taking taylor expansion of x in x
0.898 * [taylor]: Taking taylor expansion of (* -0.5 (sqrt (/ -2.0 z))) in y
0.898 * [taylor]: Taking taylor expansion of -0.5 in y
0.898 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 z)) in y
0.898 * [taylor]: Taking taylor expansion of (/ -2.0 z) in y
0.898 * [taylor]: Taking taylor expansion of -2.0 in y
0.898 * [taylor]: Taking taylor expansion of z in y
0.898 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -2.0 z)) y) in y
0.898 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 z)) in y
0.898 * [taylor]: Taking taylor expansion of (/ -2.0 z) in y
0.898 * [taylor]: Taking taylor expansion of -2.0 in y
0.898 * [taylor]: Taking taylor expansion of z in y
0.899 * [taylor]: Taking taylor expansion of y in y
0.899 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 z)) in z
0.899 * [taylor]: Taking taylor expansion of (/ -2.0 z) in z
0.899 * [taylor]: Taking taylor expansion of -2.0 in z
0.899 * [taylor]: Taking taylor expansion of z in z
0.899 * [taylor]: Taking taylor expansion of (* -0.5 (sqrt (/ -2.0 z))) in z
0.899 * [taylor]: Taking taylor expansion of -0.5 in z
0.899 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 z)) in z
0.899 * [taylor]: Taking taylor expansion of (/ -2.0 z) in z
0.899 * [taylor]: Taking taylor expansion of -2.0 in z
0.899 * [taylor]: Taking taylor expansion of z in z
0.899 * [taylor]: Taking taylor expansion of 0 in y
0.899 * [taylor]: Taking taylor expansion of 0 in z
0.899 * [taylor]: Taking taylor expansion of 0 in z
0.900 * [taylor]: Taking taylor expansion of 0 in y
0.900 * [taylor]: Taking taylor expansion of 0 in z
0.900 * [taylor]: Taking taylor expansion of 0 in z
0.900 * [taylor]: Taking taylor expansion of 0 in z
0.901 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
0.901 * [approximate]: Taking taylor expansion of (* 0.5 (pow t 2)) in (t) around 0
0.901 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
0.901 * [taylor]: Taking taylor expansion of 0.5 in t
0.901 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.901 * [taylor]: Taking taylor expansion of t in t
0.901 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
0.901 * [taylor]: Taking taylor expansion of 0.5 in t
0.901 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.901 * [taylor]: Taking taylor expansion of t in t
0.902 * [approximate]: Taking taylor expansion of (/ 0.5 (pow t 2)) in (t) around 0
0.902 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
0.902 * [taylor]: Taking taylor expansion of 0.5 in t
0.902 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.902 * [taylor]: Taking taylor expansion of t in t
0.902 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
0.902 * [taylor]: Taking taylor expansion of 0.5 in t
0.902 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.902 * [taylor]: Taking taylor expansion of t in t
0.903 * [approximate]: Taking taylor expansion of (/ 0.5 (pow t 2)) in (t) around 0
0.903 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
0.903 * [taylor]: Taking taylor expansion of 0.5 in t
0.903 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.903 * [taylor]: Taking taylor expansion of t in t
0.903 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
0.903 * [taylor]: Taking taylor expansion of 0.5 in t
0.903 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.903 * [taylor]: Taking taylor expansion of t in t
0.904 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
0.904 * [approximate]: Taking taylor expansion of (exp (* 0.5 (pow t 2))) in (t) around 0
0.904 * [taylor]: Taking taylor expansion of (exp (* 0.5 (pow t 2))) in t
0.904 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
0.904 * [taylor]: Taking taylor expansion of 0.5 in t
0.904 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.904 * [taylor]: Taking taylor expansion of t in t
0.904 * [taylor]: Taking taylor expansion of (exp (* 0.5 (pow t 2))) in t
0.904 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
0.904 * [taylor]: Taking taylor expansion of 0.5 in t
0.904 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.904 * [taylor]: Taking taylor expansion of t in t
0.905 * [approximate]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in (t) around 0
0.905 * [taylor]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in t
0.905 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
0.905 * [taylor]: Taking taylor expansion of 0.5 in t
0.905 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.905 * [taylor]: Taking taylor expansion of t in t
0.905 * [taylor]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in t
0.905 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
0.905 * [taylor]: Taking taylor expansion of 0.5 in t
0.905 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.905 * [taylor]: Taking taylor expansion of t in t
0.906 * [approximate]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in (t) around 0
0.906 * [taylor]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in t
0.906 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
0.906 * [taylor]: Taking taylor expansion of 0.5 in t
0.906 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.906 * [taylor]: Taking taylor expansion of t in t
0.906 * [taylor]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in t
0.906 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
0.906 * [taylor]: Taking taylor expansion of 0.5 in t
0.906 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.906 * [taylor]: Taking taylor expansion of t in t
0.906 * * * [progress]: simplifying candidates
0.907 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- (* x 0.5) y) (sqrt (* z 2.0)))
  (+ (log (- (* x 0.5) y)) (log (sqrt (* z 2.0))))
  (log (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (exp (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (* (* (* (- (* x 0.5) y) (- (* x 0.5) y)) (- (* x 0.5) y)) (* (* (sqrt (* z 2.0)) (sqrt (* z 2.0))) (sqrt (* z 2.0))))
  (* (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))))
  (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (* (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt (* z 2.0))))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt (* z 2.0))))
  (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0)))))
  (* (- (* x 0.5) y) (sqrt z))
  (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0))))
  (* (- (* x 0.5) y) 1)
  (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))
  (* (sqrt (- (* x 0.5) y)) (sqrt (* z 2.0)))
  (* (- (* x 0.5) y) (sqrt (* z 2.0)))
  (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0)))
  (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0)))
  (- (+ (log t) (log t)) (log 2.0))
  (- (log (* t t)) (log 2.0))
  (log (/ (* t t) 2.0))
  (exp (/ (* t t) 2.0))
  (/ (* (* (* t t) t) (* (* t t) t)) (* (* 2.0 2.0) 2.0))
  (/ (* (* (* t t) (* t t)) (* t t)) (* (* 2.0 2.0) 2.0))
  (* (cbrt (/ (* t t) 2.0)) (cbrt (/ (* t t) 2.0)))
  (cbrt (/ (* t t) 2.0))
  (* (* (/ (* t t) 2.0) (/ (* t t) 2.0)) (/ (* t t) 2.0))
  (sqrt (/ (* t t) 2.0))
  (sqrt (/ (* t t) 2.0))
  (neg (* t t))
  (neg 2.0)
  (/ t (* (cbrt 2.0) (cbrt 2.0)))
  (/ t (cbrt 2.0))
  (/ t (sqrt 2.0))
  (/ t (sqrt 2.0))
  (/ t 1)
  (/ t 2.0)
  (/ 1 2.0)
  (/ 2.0 (* t t))
  (/ (* t t) (* (cbrt 2.0) (cbrt 2.0)))
  (/ (* t t) (sqrt 2.0))
  (/ (* t t) 1)
  (/ 2.0 t)
  (exp (* (cbrt (/ (* t t) 2.0)) (cbrt (/ (* t t) 2.0))))
  (exp (sqrt (/ (* t t) 2.0)))
  (exp (/ t (* (cbrt 2.0) (cbrt 2.0))))
  (exp (/ t (sqrt 2.0)))
  (exp (/ t 1))
  (exp 1)
  (exp (* t t))
  (log (exp (/ (* t t) 2.0)))
  (exp (exp (/ (* t t) 2.0)))
  (* (cbrt (exp (/ (* t t) 2.0))) (cbrt (exp (/ (* t t) 2.0))))
  (cbrt (exp (/ (* t t) 2.0)))
  (* (* (exp (/ (* t t) 2.0)) (exp (/ (* t t) 2.0))) (exp (/ (* t t) 2.0)))
  (sqrt (exp (/ (* t t) 2.0)))
  (sqrt (exp (/ (* t t) 2.0)))
  0
  (- (* 0.5 (* (sqrt 2.0) (* NAN x))) (+ (* (sqrt 2.0) (* NAN y)) (/ (* (sqrt 2.0) (* (pow NAN 3) y)) z)))
  (- (+ (/ (* (pow NAN 3) y) z) (* 0.5 (* x NAN))) (* NAN y))
  (* 0.5 (pow t 2))
  (* 0.5 (pow t 2))
  (* 0.5 (pow t 2))
  (+ (* 0.5 (pow t 2)) (+ (* 0.125 (pow t 4)) 1))
  (exp (* 0.5 (pow t 2)))
  (exp (* 0.5 (pow t 2)))
0.911 * * [simplify]: iteration  0 :  301  enodes  (cost  327 )
0.916 * * [simplify]: iteration  1 :  1157  enodes  (cost  291 )
0.936 * * [simplify]: iteration  2 :  5001  enodes  (cost  291 )
0.938 * [simplify]: Simplified to:
   (* (- (* x 0.5) y) (sqrt (* z 2.0)))
  (log (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (log (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (exp (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (pow (* (- (* x 0.5) y) (sqrt (* z 2.0))) 3)
  (* (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))) (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0)))))
  (cbrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (pow (* (- (* x 0.5) y) (sqrt (* z 2.0))) 3)
  (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (sqrt (* (- (* x 0.5) y) (sqrt (* z 2.0))))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt (* z 2.0))))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt (* z 2.0))))
  (* (- (* x 0.5) y) (* (cbrt (sqrt (* z 2.0))) (cbrt (sqrt (* z 2.0)))))
  (* (- (* x 0.5) y) (sqrt z))
  (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0))))
  (- (* x 0.5) y)
  (* (cbrt (- (* x 0.5) y)) (sqrt (* z 2.0)))
  (* (sqrt (- (* x 0.5) y)) (sqrt (* z 2.0)))
  (* (- (* x 0.5) y) (sqrt (* z 2.0)))
  (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt (* z 2.0)))
  (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt (* z 2.0)))
  (log (/ (* t t) 2.0))
  (log (/ (* t t) 2.0))
  (log (/ (* t t) 2.0))
  (exp (/ (* t t) 2.0))
  (pow (/ (* t t) 2.0) 3)
  (pow (/ (* t t) 2.0) 3)
  (* (cbrt (/ (* t t) 2.0)) (cbrt (/ (* t t) 2.0)))
  (cbrt (/ (* t t) 2.0))
  (pow (/ (* t t) 2.0) 3)
  (sqrt (/ (* t t) 2.0))
  (sqrt (/ (* t t) 2.0))
  (neg (* t t))
  (neg 2.0)
  (/ t (* (cbrt 2.0) (cbrt 2.0)))
  (/ t (cbrt 2.0))
  (/ t (sqrt 2.0))
  (/ t (sqrt 2.0))
  t
  (/ t 2.0)
  (/ 1 2.0)
  (/ 2.0 (* t t))
  (/ (* t t) (* (cbrt 2.0) (cbrt 2.0)))
  (/ (* t t) (sqrt 2.0))
  (pow t 2)
  (/ 2.0 t)
  (exp (* (cbrt (/ (* t t) 2.0)) (cbrt (/ (* t t) 2.0))))
  (exp (sqrt (/ (* t t) 2.0)))
  (exp (/ t (* (cbrt 2.0) (cbrt 2.0))))
  (exp (/ t (sqrt 2.0)))
  (exp t)
  E
  (exp (* t t))
  (/ (* t t) 2.0)
  (exp (exp (/ (* t t) 2.0)))
  (* (cbrt (exp (/ (* t t) 2.0))) (cbrt (exp (/ (* t t) 2.0))))
  (cbrt (exp (/ (* t t) 2.0)))
  (pow (exp (/ (* t t) 2.0)) 3)
  (sqrt (exp (/ (* t t) 2.0)))
  (sqrt (exp (/ (* t t) 2.0)))
  0
  (- (* 0.5 (* (sqrt 2.0) (* NAN x))) (+ (* (sqrt 2.0) (* NAN y)) (/ (* (sqrt 2.0) (* (pow NAN 3) y)) z)))
  (+ (* NAN (- (* x 0.5) y)) (/ (* (pow NAN 3) y) z))
  (* 0.5 (pow t 2))
  (* 0.5 (pow t 2))
  (* 0.5 (pow t 2))
  (+ (* 0.5 (pow t 2)) (+ (* 0.125 (pow t 4)) 1))
  (exp (* 0.5 (pow t 2)))
  (exp (* 0.5 (pow t 2)))
0.938 * * * [progress]: adding candidates to table
1.069 * * [progress]: iteration 2 / 4
1.069 * * * [progress]: picking best candidate
1.101 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))>
1.101 * * * [progress]: localizing error
1.113 * * * [progress]: generating rewritten candidates
1.113 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.122 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1.129 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
1.133 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.137 * * * [progress]: generating series expansions
1.137 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.137 * [approximate]: Taking taylor expansion of (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z)) in (x y z) around 0
1.137 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z)) in z
1.137 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in z
1.138 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.138 * [taylor]: Taking taylor expansion of 2.0 in z
1.138 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in z
1.138 * [taylor]: Taking taylor expansion of (* 0.5 x) in z
1.138 * [taylor]: Taking taylor expansion of 0.5 in z
1.138 * [taylor]: Taking taylor expansion of x in z
1.138 * [taylor]: Taking taylor expansion of y in z
1.138 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.138 * [taylor]: Taking taylor expansion of z in z
1.138 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z)) in y
1.138 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in y
1.138 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.138 * [taylor]: Taking taylor expansion of 2.0 in y
1.138 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in y
1.138 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
1.138 * [taylor]: Taking taylor expansion of 0.5 in y
1.138 * [taylor]: Taking taylor expansion of x in y
1.138 * [taylor]: Taking taylor expansion of y in y
1.138 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.138 * [taylor]: Taking taylor expansion of z in y
1.138 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z)) in x
1.138 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in x
1.138 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.138 * [taylor]: Taking taylor expansion of 2.0 in x
1.138 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in x
1.138 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.138 * [taylor]: Taking taylor expansion of 0.5 in x
1.138 * [taylor]: Taking taylor expansion of x in x
1.138 * [taylor]: Taking taylor expansion of y in x
1.138 * [taylor]: Taking taylor expansion of (sqrt z) in x
1.138 * [taylor]: Taking taylor expansion of z in x
1.138 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z)) in x
1.138 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in x
1.138 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.138 * [taylor]: Taking taylor expansion of 2.0 in x
1.138 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in x
1.138 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.138 * [taylor]: Taking taylor expansion of 0.5 in x
1.138 * [taylor]: Taking taylor expansion of x in x
1.138 * [taylor]: Taking taylor expansion of y in x
1.138 * [taylor]: Taking taylor expansion of (sqrt z) in x
1.138 * [taylor]: Taking taylor expansion of z in x
1.139 * [taylor]: Taking taylor expansion of (* -1 (* (* (sqrt 2.0) y) (sqrt z))) in y
1.139 * [taylor]: Taking taylor expansion of -1 in y
1.139 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) y) (sqrt z)) in y
1.139 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) y) in y
1.139 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.139 * [taylor]: Taking taylor expansion of 2.0 in y
1.139 * [taylor]: Taking taylor expansion of y in y
1.139 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.139 * [taylor]: Taking taylor expansion of z in y
1.139 * [taylor]: Taking taylor expansion of 0 in z
1.139 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt z))) in y
1.139 * [taylor]: Taking taylor expansion of 0.5 in y
1.139 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in y
1.139 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.139 * [taylor]: Taking taylor expansion of 2.0 in y
1.139 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.139 * [taylor]: Taking taylor expansion of z in y
1.139 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt z))) in z
1.139 * [taylor]: Taking taylor expansion of 0.5 in z
1.139 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in z
1.139 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.139 * [taylor]: Taking taylor expansion of 2.0 in z
1.139 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.139 * [taylor]: Taking taylor expansion of z in z
1.140 * [taylor]: Taking taylor expansion of (neg (* (sqrt 2.0) (sqrt z))) in z
1.140 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in z
1.140 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.140 * [taylor]: Taking taylor expansion of 2.0 in z
1.140 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.140 * [taylor]: Taking taylor expansion of z in z
1.140 * [taylor]: Taking taylor expansion of 0 in y
1.140 * [taylor]: Taking taylor expansion of 0 in z
1.140 * [taylor]: Taking taylor expansion of 0 in z
1.140 * [approximate]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in (x y z) around 0
1.140 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
1.140 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in z
1.140 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in z
1.140 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z
1.141 * [taylor]: Taking taylor expansion of 0.5 in z
1.141 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.141 * [taylor]: Taking taylor expansion of x in z
1.141 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.141 * [taylor]: Taking taylor expansion of y in z
1.141 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.141 * [taylor]: Taking taylor expansion of 2.0 in z
1.141 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.141 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.141 * [taylor]: Taking taylor expansion of z in z
1.141 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in y
1.141 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in y
1.141 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in y
1.141 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
1.141 * [taylor]: Taking taylor expansion of 0.5 in y
1.141 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.141 * [taylor]: Taking taylor expansion of x in y
1.141 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.141 * [taylor]: Taking taylor expansion of y in y
1.141 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.141 * [taylor]: Taking taylor expansion of 2.0 in y
1.141 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.141 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.141 * [taylor]: Taking taylor expansion of z in y
1.141 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in x
1.141 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in x
1.141 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in x
1.141 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.141 * [taylor]: Taking taylor expansion of 0.5 in x
1.141 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.141 * [taylor]: Taking taylor expansion of x in x
1.141 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.142 * [taylor]: Taking taylor expansion of y in x
1.142 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.142 * [taylor]: Taking taylor expansion of 2.0 in x
1.142 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
1.142 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.142 * [taylor]: Taking taylor expansion of z in x
1.142 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in x
1.142 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in x
1.142 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in x
1.142 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.142 * [taylor]: Taking taylor expansion of 0.5 in x
1.142 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.142 * [taylor]: Taking taylor expansion of x in x
1.142 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.142 * [taylor]: Taking taylor expansion of y in x
1.142 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.142 * [taylor]: Taking taylor expansion of 2.0 in x
1.142 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
1.142 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.142 * [taylor]: Taking taylor expansion of z in x
1.142 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt (/ 1 z)))) in y
1.142 * [taylor]: Taking taylor expansion of 0.5 in y
1.142 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in y
1.142 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.142 * [taylor]: Taking taylor expansion of 2.0 in y
1.142 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.142 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.142 * [taylor]: Taking taylor expansion of z in y
1.143 * [taylor]: Taking taylor expansion of (neg (* (/ (sqrt 2.0) y) (sqrt (/ 1 z)))) in y
1.143 * [taylor]: Taking taylor expansion of (* (/ (sqrt 2.0) y) (sqrt (/ 1 z))) in y
1.143 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) y) in y
1.143 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.143 * [taylor]: Taking taylor expansion of 2.0 in y
1.143 * [taylor]: Taking taylor expansion of y in y
1.143 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.143 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.143 * [taylor]: Taking taylor expansion of z in y
1.143 * [taylor]: Taking taylor expansion of (neg (* (sqrt 2.0) (sqrt (/ 1 z)))) in z
1.143 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in z
1.143 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.143 * [taylor]: Taking taylor expansion of 2.0 in z
1.143 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.143 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.143 * [taylor]: Taking taylor expansion of z in z
1.143 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt (/ 1 z)))) in z
1.143 * [taylor]: Taking taylor expansion of 0.5 in z
1.143 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in z
1.144 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.144 * [taylor]: Taking taylor expansion of 2.0 in z
1.144 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.144 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.144 * [taylor]: Taking taylor expansion of z in z
1.144 * [taylor]: Taking taylor expansion of 0 in y
1.144 * [taylor]: Taking taylor expansion of 0 in z
1.144 * [taylor]: Taking taylor expansion of 0 in z
1.145 * [taylor]: Taking taylor expansion of 0 in y
1.145 * [taylor]: Taking taylor expansion of 0 in z
1.145 * [taylor]: Taking taylor expansion of 0 in z
1.146 * [taylor]: Taking taylor expansion of 0 in z
1.147 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in (x y z) around 0
1.147 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in z
1.147 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.147 * [taylor]: Taking taylor expansion of 2.0 in z
1.147 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in z
1.147 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in z
1.147 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.147 * [taylor]: Taking taylor expansion of y in z
1.147 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z
1.147 * [taylor]: Taking taylor expansion of 0.5 in z
1.147 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.147 * [taylor]: Taking taylor expansion of x in z
1.147 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.147 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.147 * [taylor]: Taking taylor expansion of -1 in z
1.147 * [taylor]: Taking taylor expansion of z in z
1.147 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in y
1.147 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.147 * [taylor]: Taking taylor expansion of 2.0 in y
1.147 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in y
1.147 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in y
1.147 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.147 * [taylor]: Taking taylor expansion of y in y
1.147 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
1.147 * [taylor]: Taking taylor expansion of 0.5 in y
1.147 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.147 * [taylor]: Taking taylor expansion of x in y
1.147 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.147 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.147 * [taylor]: Taking taylor expansion of -1 in y
1.147 * [taylor]: Taking taylor expansion of z in y
1.147 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in x
1.148 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.148 * [taylor]: Taking taylor expansion of 2.0 in x
1.148 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in x
1.148 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in x
1.148 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.148 * [taylor]: Taking taylor expansion of y in x
1.148 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.148 * [taylor]: Taking taylor expansion of 0.5 in x
1.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.148 * [taylor]: Taking taylor expansion of x in x
1.148 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
1.148 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.148 * [taylor]: Taking taylor expansion of -1 in x
1.148 * [taylor]: Taking taylor expansion of z in x
1.148 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in x
1.148 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.148 * [taylor]: Taking taylor expansion of 2.0 in x
1.148 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in x
1.148 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in x
1.148 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.148 * [taylor]: Taking taylor expansion of y in x
1.148 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.148 * [taylor]: Taking taylor expansion of 0.5 in x
1.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.148 * [taylor]: Taking taylor expansion of x in x
1.148 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
1.148 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.148 * [taylor]: Taking taylor expansion of -1 in x
1.148 * [taylor]: Taking taylor expansion of z in x
1.148 * [taylor]: Taking taylor expansion of (* -0.5 (* (sqrt 2.0) (sqrt (/ -1 z)))) in y
1.148 * [taylor]: Taking taylor expansion of -0.5 in y
1.148 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in y
1.148 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.149 * [taylor]: Taking taylor expansion of 2.0 in y
1.149 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.149 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.149 * [taylor]: Taking taylor expansion of -1 in y
1.149 * [taylor]: Taking taylor expansion of z in y
1.149 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (sqrt (/ -1 z))) y) in y
1.149 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in y
1.149 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.149 * [taylor]: Taking taylor expansion of 2.0 in y
1.149 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.149 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.149 * [taylor]: Taking taylor expansion of -1 in y
1.149 * [taylor]: Taking taylor expansion of z in y
1.149 * [taylor]: Taking taylor expansion of y in y
1.149 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in z
1.149 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.149 * [taylor]: Taking taylor expansion of 2.0 in z
1.149 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.149 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.149 * [taylor]: Taking taylor expansion of -1 in z
1.149 * [taylor]: Taking taylor expansion of z in z
1.150 * [taylor]: Taking taylor expansion of (* -0.5 (* (sqrt 2.0) (sqrt (/ -1 z)))) in z
1.150 * [taylor]: Taking taylor expansion of -0.5 in z
1.150 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in z
1.150 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.150 * [taylor]: Taking taylor expansion of 2.0 in z
1.150 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.150 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.150 * [taylor]: Taking taylor expansion of -1 in z
1.150 * [taylor]: Taking taylor expansion of z in z
1.150 * [taylor]: Taking taylor expansion of 0 in y
1.150 * [taylor]: Taking taylor expansion of 0 in z
1.151 * [taylor]: Taking taylor expansion of 0 in z
1.151 * [taylor]: Taking taylor expansion of 0 in y
1.151 * [taylor]: Taking taylor expansion of 0 in z
1.152 * [taylor]: Taking taylor expansion of 0 in z
1.152 * [taylor]: Taking taylor expansion of 0 in z
1.153 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1.153 * [approximate]: Taking taylor expansion of (* (sqrt z) (- (* 0.5 x) y)) in (x y z) around 0
1.153 * [taylor]: Taking taylor expansion of (* (sqrt z) (- (* 0.5 x) y)) in z
1.153 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.153 * [taylor]: Taking taylor expansion of z in z
1.153 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in z
1.153 * [taylor]: Taking taylor expansion of (* 0.5 x) in z
1.153 * [taylor]: Taking taylor expansion of 0.5 in z
1.153 * [taylor]: Taking taylor expansion of x in z
1.153 * [taylor]: Taking taylor expansion of y in z
1.153 * [taylor]: Taking taylor expansion of (* (sqrt z) (- (* 0.5 x) y)) in y
1.153 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.153 * [taylor]: Taking taylor expansion of z in y
1.153 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in y
1.153 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
1.153 * [taylor]: Taking taylor expansion of 0.5 in y
1.153 * [taylor]: Taking taylor expansion of x in y
1.153 * [taylor]: Taking taylor expansion of y in y
1.153 * [taylor]: Taking taylor expansion of (* (sqrt z) (- (* 0.5 x) y)) in x
1.153 * [taylor]: Taking taylor expansion of (sqrt z) in x
1.153 * [taylor]: Taking taylor expansion of z in x
1.153 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in x
1.153 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.153 * [taylor]: Taking taylor expansion of 0.5 in x
1.153 * [taylor]: Taking taylor expansion of x in x
1.153 * [taylor]: Taking taylor expansion of y in x
1.153 * [taylor]: Taking taylor expansion of (* (sqrt z) (- (* 0.5 x) y)) in x
1.153 * [taylor]: Taking taylor expansion of (sqrt z) in x
1.153 * [taylor]: Taking taylor expansion of z in x
1.153 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in x
1.153 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.153 * [taylor]: Taking taylor expansion of 0.5 in x
1.153 * [taylor]: Taking taylor expansion of x in x
1.153 * [taylor]: Taking taylor expansion of y in x
1.154 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt z) y)) in y
1.154 * [taylor]: Taking taylor expansion of -1 in y
1.154 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y
1.154 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.154 * [taylor]: Taking taylor expansion of z in y
1.154 * [taylor]: Taking taylor expansion of y in y
1.154 * [taylor]: Taking taylor expansion of 0 in z
1.154 * [taylor]: Taking taylor expansion of (* 0.5 (sqrt z)) in y
1.154 * [taylor]: Taking taylor expansion of 0.5 in y
1.154 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.154 * [taylor]: Taking taylor expansion of z in y
1.154 * [taylor]: Taking taylor expansion of (* 0.5 (sqrt z)) in z
1.154 * [taylor]: Taking taylor expansion of 0.5 in z
1.154 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.154 * [taylor]: Taking taylor expansion of z in z
1.154 * [taylor]: Taking taylor expansion of (neg (sqrt z)) in z
1.154 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.154 * [taylor]: Taking taylor expansion of z in z
1.154 * [taylor]: Taking taylor expansion of 0 in y
1.154 * [taylor]: Taking taylor expansion of 0 in z
1.154 * [taylor]: Taking taylor expansion of 0 in z
1.155 * [approximate]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt (/ 1 z))) in (x y z) around 0
1.155 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt (/ 1 z))) in z
1.155 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in z
1.155 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z
1.155 * [taylor]: Taking taylor expansion of 0.5 in z
1.155 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.155 * [taylor]: Taking taylor expansion of x in z
1.155 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.155 * [taylor]: Taking taylor expansion of y in z
1.155 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.155 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.155 * [taylor]: Taking taylor expansion of z in z
1.155 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt (/ 1 z))) in y
1.155 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in y
1.155 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
1.155 * [taylor]: Taking taylor expansion of 0.5 in y
1.155 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.155 * [taylor]: Taking taylor expansion of x in y
1.155 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.155 * [taylor]: Taking taylor expansion of y in y
1.155 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.155 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.155 * [taylor]: Taking taylor expansion of z in y
1.155 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt (/ 1 z))) in x
1.155 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in x
1.155 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.155 * [taylor]: Taking taylor expansion of 0.5 in x
1.155 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.155 * [taylor]: Taking taylor expansion of x in x
1.155 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.155 * [taylor]: Taking taylor expansion of y in x
1.155 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
1.155 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.155 * [taylor]: Taking taylor expansion of z in x
1.155 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt (/ 1 z))) in x
1.156 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in x
1.156 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.156 * [taylor]: Taking taylor expansion of 0.5 in x
1.156 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.156 * [taylor]: Taking taylor expansion of x in x
1.156 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.156 * [taylor]: Taking taylor expansion of y in x
1.156 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
1.156 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.156 * [taylor]: Taking taylor expansion of z in x
1.156 * [taylor]: Taking taylor expansion of (* 0.5 (sqrt (/ 1 z))) in y
1.156 * [taylor]: Taking taylor expansion of 0.5 in y
1.156 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.156 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.156 * [taylor]: Taking taylor expansion of z in y
1.156 * [taylor]: Taking taylor expansion of (neg (* (sqrt (/ 1 z)) (/ 1 y))) in y
1.156 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y
1.156 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.156 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.156 * [taylor]: Taking taylor expansion of z in y
1.156 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.156 * [taylor]: Taking taylor expansion of y in y
1.156 * [taylor]: Taking taylor expansion of (neg (sqrt (/ 1 z))) in z
1.156 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.157 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.157 * [taylor]: Taking taylor expansion of z in z
1.157 * [taylor]: Taking taylor expansion of (* 0.5 (sqrt (/ 1 z))) in z
1.157 * [taylor]: Taking taylor expansion of 0.5 in z
1.157 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.157 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.157 * [taylor]: Taking taylor expansion of z in z
1.157 * [taylor]: Taking taylor expansion of 0 in y
1.157 * [taylor]: Taking taylor expansion of 0 in z
1.157 * [taylor]: Taking taylor expansion of 0 in z
1.158 * [taylor]: Taking taylor expansion of 0 in y
1.158 * [taylor]: Taking taylor expansion of 0 in z
1.158 * [taylor]: Taking taylor expansion of 0 in z
1.158 * [taylor]: Taking taylor expansion of 0 in z
1.159 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in (x y z) around 0
1.159 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in z
1.159 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in z
1.159 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.159 * [taylor]: Taking taylor expansion of y in z
1.159 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z
1.159 * [taylor]: Taking taylor expansion of 0.5 in z
1.159 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.159 * [taylor]: Taking taylor expansion of x in z
1.159 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.159 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.159 * [taylor]: Taking taylor expansion of -1 in z
1.159 * [taylor]: Taking taylor expansion of z in z
1.159 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in y
1.159 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in y
1.159 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.159 * [taylor]: Taking taylor expansion of y in y
1.159 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
1.159 * [taylor]: Taking taylor expansion of 0.5 in y
1.159 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.159 * [taylor]: Taking taylor expansion of x in y
1.159 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.159 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.159 * [taylor]: Taking taylor expansion of -1 in y
1.159 * [taylor]: Taking taylor expansion of z in y
1.159 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in x
1.159 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in x
1.159 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.159 * [taylor]: Taking taylor expansion of y in x
1.159 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.159 * [taylor]: Taking taylor expansion of 0.5 in x
1.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.160 * [taylor]: Taking taylor expansion of x in x
1.160 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
1.160 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.160 * [taylor]: Taking taylor expansion of -1 in x
1.160 * [taylor]: Taking taylor expansion of z in x
1.160 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in x
1.160 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in x
1.160 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.160 * [taylor]: Taking taylor expansion of y in x
1.160 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.160 * [taylor]: Taking taylor expansion of 0.5 in x
1.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.160 * [taylor]: Taking taylor expansion of x in x
1.160 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
1.160 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.160 * [taylor]: Taking taylor expansion of -1 in x
1.160 * [taylor]: Taking taylor expansion of z in x
1.160 * [taylor]: Taking taylor expansion of (* -0.5 (sqrt (/ -1 z))) in y
1.160 * [taylor]: Taking taylor expansion of -0.5 in y
1.160 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.160 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.160 * [taylor]: Taking taylor expansion of -1 in y
1.160 * [taylor]: Taking taylor expansion of z in y
1.160 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y
1.160 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.160 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.160 * [taylor]: Taking taylor expansion of -1 in y
1.161 * [taylor]: Taking taylor expansion of z in y
1.161 * [taylor]: Taking taylor expansion of y in y
1.161 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.161 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.161 * [taylor]: Taking taylor expansion of -1 in z
1.161 * [taylor]: Taking taylor expansion of z in z
1.161 * [taylor]: Taking taylor expansion of (* -0.5 (sqrt (/ -1 z))) in z
1.161 * [taylor]: Taking taylor expansion of -0.5 in z
1.161 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.161 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.161 * [taylor]: Taking taylor expansion of -1 in z
1.161 * [taylor]: Taking taylor expansion of z in z
1.161 * [taylor]: Taking taylor expansion of 0 in y
1.161 * [taylor]: Taking taylor expansion of 0 in z
1.161 * [taylor]: Taking taylor expansion of 0 in z
1.162 * [taylor]: Taking taylor expansion of 0 in y
1.162 * [taylor]: Taking taylor expansion of 0 in z
1.162 * [taylor]: Taking taylor expansion of 0 in z
1.162 * [taylor]: Taking taylor expansion of 0 in z
1.163 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
1.163 * [approximate]: Taking taylor expansion of (* 0.5 (pow t 2)) in (t) around 0
1.163 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
1.163 * [taylor]: Taking taylor expansion of 0.5 in t
1.163 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.163 * [taylor]: Taking taylor expansion of t in t
1.163 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
1.163 * [taylor]: Taking taylor expansion of 0.5 in t
1.163 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.163 * [taylor]: Taking taylor expansion of t in t
1.164 * [approximate]: Taking taylor expansion of (/ 0.5 (pow t 2)) in (t) around 0
1.164 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.164 * [taylor]: Taking taylor expansion of 0.5 in t
1.164 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.164 * [taylor]: Taking taylor expansion of t in t
1.164 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.164 * [taylor]: Taking taylor expansion of 0.5 in t
1.164 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.164 * [taylor]: Taking taylor expansion of t in t
1.165 * [approximate]: Taking taylor expansion of (/ 0.5 (pow t 2)) in (t) around 0
1.165 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.165 * [taylor]: Taking taylor expansion of 0.5 in t
1.165 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.165 * [taylor]: Taking taylor expansion of t in t
1.165 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.165 * [taylor]: Taking taylor expansion of 0.5 in t
1.165 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.165 * [taylor]: Taking taylor expansion of t in t
1.166 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.166 * [approximate]: Taking taylor expansion of (exp (* 0.5 (pow t 2))) in (t) around 0
1.166 * [taylor]: Taking taylor expansion of (exp (* 0.5 (pow t 2))) in t
1.166 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
1.166 * [taylor]: Taking taylor expansion of 0.5 in t
1.166 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.166 * [taylor]: Taking taylor expansion of t in t
1.166 * [taylor]: Taking taylor expansion of (exp (* 0.5 (pow t 2))) in t
1.166 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
1.166 * [taylor]: Taking taylor expansion of 0.5 in t
1.166 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.166 * [taylor]: Taking taylor expansion of t in t
1.167 * [approximate]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in (t) around 0
1.167 * [taylor]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in t
1.167 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.167 * [taylor]: Taking taylor expansion of 0.5 in t
1.167 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.167 * [taylor]: Taking taylor expansion of t in t
1.167 * [taylor]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in t
1.167 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.167 * [taylor]: Taking taylor expansion of 0.5 in t
1.167 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.167 * [taylor]: Taking taylor expansion of t in t
1.168 * [approximate]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in (t) around 0
1.168 * [taylor]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in t
1.168 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.168 * [taylor]: Taking taylor expansion of 0.5 in t
1.168 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.168 * [taylor]: Taking taylor expansion of t in t
1.168 * [taylor]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in t
1.168 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.168 * [taylor]: Taking taylor expansion of 0.5 in t
1.168 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.168 * [taylor]: Taking taylor expansion of t in t
1.168 * * * [progress]: simplifying candidates
1.171 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0))
  (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0))
  (+ (+ (log (- (* x 0.5) y)) (log (sqrt z))) (log (sqrt 2.0)))
  (+ (log (* (- (* x 0.5) y) (sqrt z))) (log (sqrt 2.0)))
  (log (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)))
  (exp (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)))
  (* (* (* (* (- (* x 0.5) y) (- (* x 0.5) y)) (- (* x 0.5) y)) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)))
  (* (* (* (* (- (* x 0.5) y) (sqrt z)) (* (- (* x 0.5) y) (sqrt z))) (* (- (* x 0.5) y) (sqrt z))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)))
  (* (cbrt (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0))) (cbrt (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0))))
  (cbrt (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)))
  (* (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0))) (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)))
  (sqrt (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)))
  (sqrt (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)))
  (* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
  (* (* (- (* x 0.5) y) (sqrt z)) (sqrt (* (cbrt 2.0) (cbrt 2.0))))
  (* (* (- (* x 0.5) y) (sqrt z)) (sqrt (sqrt 2.0)))
  (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 1))
  (* (* (- (* x 0.5) y) (sqrt z)) (sqrt (sqrt 2.0)))
  (* (* (- (* x 0.5) y) (sqrt z)) 1)
  (* (sqrt z) (sqrt 2.0))
  (* (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt z)) (sqrt 2.0))
  (* (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt z)) (sqrt 2.0))
  (* (- (* x 0.5) y) (sqrt z))
  (+ (log (- (* x 0.5) y)) (log (sqrt z)))
  (log (* (- (* x 0.5) y) (sqrt z)))
  (exp (* (- (* x 0.5) y) (sqrt z)))
  (* (* (* (- (* x 0.5) y) (- (* x 0.5) y)) (- (* x 0.5) y)) (* (* (sqrt z) (sqrt z)) (sqrt z)))
  (* (cbrt (* (- (* x 0.5) y) (sqrt z))) (cbrt (* (- (* x 0.5) y) (sqrt z))))
  (cbrt (* (- (* x 0.5) y) (sqrt z)))
  (* (* (* (- (* x 0.5) y) (sqrt z)) (* (- (* x 0.5) y) (sqrt z))) (* (- (* x 0.5) y) (sqrt z)))
  (sqrt (* (- (* x 0.5) y) (sqrt z)))
  (sqrt (* (- (* x 0.5) y) (sqrt z)))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt z)))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt z)))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt z)))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt z)))
  (* (- (* x 0.5) y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))
  (* (- (* x 0.5) y) (sqrt (* (cbrt z) (cbrt z))))
  (* (- (* x 0.5) y) (sqrt (sqrt z)))
  (* (- (* x 0.5) y) (sqrt 1))
  (* (- (* x 0.5) y) (sqrt (sqrt z)))
  (* (- (* x 0.5) y) 1)
  (* (cbrt (- (* x 0.5) y)) (sqrt z))
  (* (sqrt (- (* x 0.5) y)) (sqrt z))
  (* (- (* x 0.5) y) (sqrt z))
  (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt z))
  (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt z))
  (- (+ (log t) (log t)) (log 2.0))
  (- (log (* t t)) (log 2.0))
  (log (/ (* t t) 2.0))
  (exp (/ (* t t) 2.0))
  (/ (* (* (* t t) t) (* (* t t) t)) (* (* 2.0 2.0) 2.0))
  (/ (* (* (* t t) (* t t)) (* t t)) (* (* 2.0 2.0) 2.0))
  (* (cbrt (/ (* t t) 2.0)) (cbrt (/ (* t t) 2.0)))
  (cbrt (/ (* t t) 2.0))
  (* (* (/ (* t t) 2.0) (/ (* t t) 2.0)) (/ (* t t) 2.0))
  (sqrt (/ (* t t) 2.0))
  (sqrt (/ (* t t) 2.0))
  (neg (* t t))
  (neg 2.0)
  (/ t (* (cbrt 2.0) (cbrt 2.0)))
  (/ t (cbrt 2.0))
  (/ t (sqrt 2.0))
  (/ t (sqrt 2.0))
  (/ t 1)
  (/ t 2.0)
  (/ 1 2.0)
  (/ 2.0 (* t t))
  (/ (* t t) (* (cbrt 2.0) (cbrt 2.0)))
  (/ (* t t) (sqrt 2.0))
  (/ (* t t) 1)
  (/ 2.0 t)
  (exp (* (cbrt (/ (* t t) 2.0)) (cbrt (/ (* t t) 2.0))))
  (exp (sqrt (/ (* t t) 2.0)))
  (exp (/ t (* (cbrt 2.0) (cbrt 2.0))))
  (exp (/ t (sqrt 2.0)))
  (exp (/ t 1))
  (exp 1)
  (exp (* t t))
  (log (exp (/ (* t t) 2.0)))
  (exp (exp (/ (* t t) 2.0)))
  (* (cbrt (exp (/ (* t t) 2.0))) (cbrt (exp (/ (* t t) 2.0))))
  (cbrt (exp (/ (* t t) 2.0)))
  (* (* (exp (/ (* t t) 2.0)) (exp (/ (* t t) 2.0))) (exp (/ (* t t) 2.0)))
  (sqrt (exp (/ (* t t) 2.0)))
  (sqrt (exp (/ (* t t) 2.0)))
  0
  (- (* 0.5 (* (sqrt 2.0) (* NAN x))) (+ (* (sqrt 2.0) (* NAN y)) (/ (* (sqrt 2.0) (* (pow NAN 3) y)) z)))
  (- (+ (* 0.5 (* (sqrt 2.0) (* NAN x))) (/ (* (sqrt 2.0) (* (pow NAN 3) y)) z)) (* (sqrt 2.0) (* NAN y)))
  0
  (- (* 0.5 (* x NAN)) (+ (/ (* (pow NAN 3) y) z) (* NAN y)))
  (- (+ (/ (* (pow NAN 3) y) z) (* 0.5 (* x NAN))) (* NAN y))
  (* 0.5 (pow t 2))
  (* 0.5 (pow t 2))
  (* 0.5 (pow t 2))
  (+ (* 0.5 (pow t 2)) (+ (* 0.125 (pow t 4)) 1))
  (exp (* 0.5 (pow t 2)))
  (exp (* 0.5 (pow t 2)))
1.176 * * [simplify]: iteration  0 :  395  enodes  (cost  527 )
1.183 * * [simplify]: iteration  1 :  1723  enodes  (cost  471 )
1.211 * * [simplify]: iteration  2 :  5001  enodes  (cost  467 )
1.214 * [simplify]: Simplified to:
   (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0))
  (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0))
  (log (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)))
  (log (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)))
  (log (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)))
  (exp (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)))
  (pow (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) 3)
  (pow (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) 3)
  (* (cbrt (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0))) (cbrt (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0))))
  (cbrt (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)))
  (pow (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) 3)
  (sqrt (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)))
  (sqrt (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)))
  (* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
  (* (- (* x 0.5) y) (* (sqrt z) (fabs (cbrt 2.0))))
  (* (* (- (* x 0.5) y) (sqrt z)) (sqrt (sqrt 2.0)))
  (* (- (* x 0.5) y) (sqrt z))
  (* (* (- (* x 0.5) y) (sqrt z)) (sqrt (sqrt 2.0)))
  (* (- (* x 0.5) y) (sqrt z))
  (* (sqrt z) (sqrt 2.0))
  (* (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt z)) (sqrt 2.0))
  (* (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt z)) (sqrt 2.0))
  (* (- (* x 0.5) y) (sqrt z))
  (log (* (- (* x 0.5) y) (sqrt z)))
  (log (* (- (* x 0.5) y) (sqrt z)))
  (exp (* (- (* x 0.5) y) (sqrt z)))
  (pow (* (- (* x 0.5) y) (sqrt z)) 3)
  (* (cbrt (* (- (* x 0.5) y) (sqrt z))) (cbrt (* (- (* x 0.5) y) (sqrt z))))
  (cbrt (* (- (* x 0.5) y) (sqrt z)))
  (pow (* (- (* x 0.5) y) (sqrt z)) 3)
  (sqrt (* (- (* x 0.5) y) (sqrt z)))
  (sqrt (* (- (* x 0.5) y) (sqrt z)))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt z)))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt z)))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt z)))
  (* (sqrt (- (* x 0.5) y)) (sqrt (sqrt z)))
  (* (- (* x 0.5) y) (* (cbrt (sqrt z)) (cbrt (sqrt z))))
  (* (fabs (cbrt z)) (- (* x 0.5) y))
  (* (- (* x 0.5) y) (sqrt (sqrt z)))
  (- (* x 0.5) y)
  (* (- (* x 0.5) y) (sqrt (sqrt z)))
  (- (* x 0.5) y)
  (* (cbrt (- (* x 0.5) y)) (sqrt z))
  (* (sqrt (- (* x 0.5) y)) (sqrt z))
  (* (- (* x 0.5) y) (sqrt z))
  (* (- (pow (* x 0.5) 3) (pow y 3)) (sqrt z))
  (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (sqrt z))
  (log (/ (* t t) 2.0))
  (log (/ (* t t) 2.0))
  (log (/ (* t t) 2.0))
  (exp (/ (* t t) 2.0))
  (pow (/ (* t t) 2.0) 3)
  (pow (/ (* t t) 2.0) 3)
  (* (cbrt (/ (* t t) 2.0)) (cbrt (/ (* t t) 2.0)))
  (cbrt (/ (* t t) 2.0))
  (pow (/ (* t t) 2.0) 3)
  (sqrt (/ (* t t) 2.0))
  (sqrt (/ (* t t) 2.0))
  (neg (* t t))
  (neg 2.0)
  (/ t (* (cbrt 2.0) (cbrt 2.0)))
  (/ t (cbrt 2.0))
  (/ t (sqrt 2.0))
  (/ t (sqrt 2.0))
  t
  (/ t 2.0)
  (/ 1 2.0)
  (/ 2.0 (* t t))
  (/ (* t t) (* (cbrt 2.0) (cbrt 2.0)))
  (/ (* t t) (sqrt 2.0))
  (pow t 2)
  (/ 2.0 t)
  (exp (* (cbrt (/ (* t t) 2.0)) (cbrt (/ (* t t) 2.0))))
  (exp (sqrt (/ (* t t) 2.0)))
  (exp (/ t (* (cbrt 2.0) (cbrt 2.0))))
  (exp (/ t (sqrt 2.0)))
  (exp t)
  E
  (exp (* t t))
  (/ (* t t) 2.0)
  (exp (exp (/ (* t t) 2.0)))
  (* (cbrt (exp (/ (* t t) 2.0))) (cbrt (exp (/ (* t t) 2.0))))
  (cbrt (exp (/ (* t t) 2.0)))
  (pow (exp (/ (* t t) 2.0)) 3)
  (sqrt (exp (/ (* t t) 2.0)))
  (sqrt (exp (/ (* t t) 2.0)))
  0
  (- (* 0.5 (* (sqrt 2.0) (* NAN x))) (+ (* (sqrt 2.0) (* NAN y)) (/ (* (sqrt 2.0) (* (pow NAN 3) y)) z)))
  (- (+ (* 0.5 (* (sqrt 2.0) (* NAN x))) (/ (* (sqrt 2.0) (* (pow NAN 3) y)) z)) (* (sqrt 2.0) (* NAN y)))
  0
  (- (* NAN (- (* x 0.5) y)) (/ (* (pow NAN 3) y) z))
  (+ (* NAN (- (* x 0.5) y)) (/ (* (pow NAN 3) y) z))
  (* 0.5 (pow t 2))
  (* 0.5 (pow t 2))
  (* 0.5 (pow t 2))
  (+ (* 0.5 (pow t 2)) (+ (* 0.125 (pow t 4)) 1))
  (exp (* 0.5 (pow t 2)))
  (exp (* 0.5 (pow t 2)))
1.214 * * * [progress]: adding candidates to table
1.347 * * [progress]: iteration 3 / 4
1.348 * * * [progress]: picking best candidate
1.375 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))) (exp (/ (* t t) 2.0))))>
1.375 * * * [progress]: localizing error
1.388 * * * [progress]: generating rewritten candidates
1.388 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
1.393 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1.402 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
1.406 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.410 * * * [progress]: generating series expansions
1.410 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
1.410 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in (z) around 0
1.410 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in z
1.410 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.410 * [taylor]: Taking taylor expansion of 2.0 in z
1.410 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.411 * [taylor]: Taking taylor expansion of z in z
1.411 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in z
1.411 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.411 * [taylor]: Taking taylor expansion of 2.0 in z
1.411 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.411 * [taylor]: Taking taylor expansion of z in z
1.412 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in (z) around 0
1.412 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in z
1.412 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.412 * [taylor]: Taking taylor expansion of 2.0 in z
1.412 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.412 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.412 * [taylor]: Taking taylor expansion of z in z
1.412 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in z
1.412 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.412 * [taylor]: Taking taylor expansion of 2.0 in z
1.412 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.412 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.412 * [taylor]: Taking taylor expansion of z in z
1.413 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in (z) around 0
1.413 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in z
1.413 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.413 * [taylor]: Taking taylor expansion of 2.0 in z
1.414 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.414 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.414 * [taylor]: Taking taylor expansion of -1 in z
1.414 * [taylor]: Taking taylor expansion of z in z
1.414 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in z
1.414 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.414 * [taylor]: Taking taylor expansion of 2.0 in z
1.414 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.414 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.414 * [taylor]: Taking taylor expansion of -1 in z
1.414 * [taylor]: Taking taylor expansion of z in z
1.415 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1.415 * [approximate]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in (x y z) around 0
1.415 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in z
1.415 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.415 * [taylor]: Taking taylor expansion of z in z
1.415 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in z
1.415 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.415 * [taylor]: Taking taylor expansion of 2.0 in z
1.415 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in z
1.415 * [taylor]: Taking taylor expansion of (* 0.5 x) in z
1.415 * [taylor]: Taking taylor expansion of 0.5 in z
1.415 * [taylor]: Taking taylor expansion of x in z
1.415 * [taylor]: Taking taylor expansion of y in z
1.415 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in y
1.415 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.415 * [taylor]: Taking taylor expansion of z in y
1.415 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in y
1.415 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.415 * [taylor]: Taking taylor expansion of 2.0 in y
1.416 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in y
1.416 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
1.416 * [taylor]: Taking taylor expansion of 0.5 in y
1.416 * [taylor]: Taking taylor expansion of x in y
1.416 * [taylor]: Taking taylor expansion of y in y
1.416 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in x
1.416 * [taylor]: Taking taylor expansion of (sqrt z) in x
1.416 * [taylor]: Taking taylor expansion of z in x
1.416 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in x
1.416 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.416 * [taylor]: Taking taylor expansion of 2.0 in x
1.416 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in x
1.416 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.416 * [taylor]: Taking taylor expansion of 0.5 in x
1.416 * [taylor]: Taking taylor expansion of x in x
1.416 * [taylor]: Taking taylor expansion of y in x
1.416 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in x
1.416 * [taylor]: Taking taylor expansion of (sqrt z) in x
1.416 * [taylor]: Taking taylor expansion of z in x
1.416 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in x
1.416 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.416 * [taylor]: Taking taylor expansion of 2.0 in x
1.416 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in x
1.416 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.416 * [taylor]: Taking taylor expansion of 0.5 in x
1.416 * [taylor]: Taking taylor expansion of x in x
1.416 * [taylor]: Taking taylor expansion of y in x
1.416 * [taylor]: Taking taylor expansion of (* -1 (* (* (sqrt 2.0) y) (sqrt z))) in y
1.416 * [taylor]: Taking taylor expansion of -1 in y
1.416 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) y) (sqrt z)) in y
1.416 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) y) in y
1.416 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.416 * [taylor]: Taking taylor expansion of 2.0 in y
1.416 * [taylor]: Taking taylor expansion of y in y
1.416 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.416 * [taylor]: Taking taylor expansion of z in y
1.416 * [taylor]: Taking taylor expansion of 0 in z
1.417 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt z))) in y
1.417 * [taylor]: Taking taylor expansion of 0.5 in y
1.417 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in y
1.417 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.417 * [taylor]: Taking taylor expansion of 2.0 in y
1.417 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.417 * [taylor]: Taking taylor expansion of z in y
1.417 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt z))) in z
1.417 * [taylor]: Taking taylor expansion of 0.5 in z
1.417 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in z
1.417 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.417 * [taylor]: Taking taylor expansion of 2.0 in z
1.417 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.417 * [taylor]: Taking taylor expansion of z in z
1.417 * [taylor]: Taking taylor expansion of (neg (* (sqrt 2.0) (sqrt z))) in z
1.417 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in z
1.417 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.417 * [taylor]: Taking taylor expansion of 2.0 in z
1.417 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.417 * [taylor]: Taking taylor expansion of z in z
1.418 * [taylor]: Taking taylor expansion of 0 in y
1.418 * [taylor]: Taking taylor expansion of 0 in z
1.418 * [taylor]: Taking taylor expansion of 0 in z
1.418 * [approximate]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in (x y z) around 0
1.418 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
1.418 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in z
1.418 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in z
1.418 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z
1.418 * [taylor]: Taking taylor expansion of 0.5 in z
1.418 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.418 * [taylor]: Taking taylor expansion of x in z
1.418 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.418 * [taylor]: Taking taylor expansion of y in z
1.418 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.418 * [taylor]: Taking taylor expansion of 2.0 in z
1.418 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.418 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.418 * [taylor]: Taking taylor expansion of z in z
1.418 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in y
1.418 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in y
1.418 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in y
1.418 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
1.418 * [taylor]: Taking taylor expansion of 0.5 in y
1.418 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.418 * [taylor]: Taking taylor expansion of x in y
1.418 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.419 * [taylor]: Taking taylor expansion of y in y
1.419 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.419 * [taylor]: Taking taylor expansion of 2.0 in y
1.419 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.419 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.419 * [taylor]: Taking taylor expansion of z in y
1.419 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in x
1.419 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in x
1.419 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in x
1.419 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.419 * [taylor]: Taking taylor expansion of 0.5 in x
1.419 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.419 * [taylor]: Taking taylor expansion of x in x
1.419 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.419 * [taylor]: Taking taylor expansion of y in x
1.419 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.419 * [taylor]: Taking taylor expansion of 2.0 in x
1.419 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
1.419 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.419 * [taylor]: Taking taylor expansion of z in x
1.419 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in x
1.419 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in x
1.419 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in x
1.419 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.419 * [taylor]: Taking taylor expansion of 0.5 in x
1.419 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.419 * [taylor]: Taking taylor expansion of x in x
1.419 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.419 * [taylor]: Taking taylor expansion of y in x
1.419 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.419 * [taylor]: Taking taylor expansion of 2.0 in x
1.419 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
1.419 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.419 * [taylor]: Taking taylor expansion of z in x
1.420 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt (/ 1 z)))) in y
1.420 * [taylor]: Taking taylor expansion of 0.5 in y
1.420 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in y
1.420 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.420 * [taylor]: Taking taylor expansion of 2.0 in y
1.420 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.420 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.420 * [taylor]: Taking taylor expansion of z in y
1.420 * [taylor]: Taking taylor expansion of (neg (* (/ (sqrt 2.0) y) (sqrt (/ 1 z)))) in y
1.420 * [taylor]: Taking taylor expansion of (* (/ (sqrt 2.0) y) (sqrt (/ 1 z))) in y
1.420 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) y) in y
1.420 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.420 * [taylor]: Taking taylor expansion of 2.0 in y
1.420 * [taylor]: Taking taylor expansion of y in y
1.420 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.420 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.420 * [taylor]: Taking taylor expansion of z in y
1.421 * [taylor]: Taking taylor expansion of (neg (* (sqrt 2.0) (sqrt (/ 1 z)))) in z
1.421 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in z
1.421 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.421 * [taylor]: Taking taylor expansion of 2.0 in z
1.421 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.421 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.421 * [taylor]: Taking taylor expansion of z in z
1.421 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt (/ 1 z)))) in z
1.421 * [taylor]: Taking taylor expansion of 0.5 in z
1.421 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in z
1.421 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.421 * [taylor]: Taking taylor expansion of 2.0 in z
1.421 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.421 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.421 * [taylor]: Taking taylor expansion of z in z
1.422 * [taylor]: Taking taylor expansion of 0 in y
1.422 * [taylor]: Taking taylor expansion of 0 in z
1.422 * [taylor]: Taking taylor expansion of 0 in z
1.423 * [taylor]: Taking taylor expansion of 0 in y
1.423 * [taylor]: Taking taylor expansion of 0 in z
1.423 * [taylor]: Taking taylor expansion of 0 in z
1.423 * [taylor]: Taking taylor expansion of 0 in z
1.424 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in (x y z) around 0
1.424 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in z
1.424 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.424 * [taylor]: Taking taylor expansion of 2.0 in z
1.424 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in z
1.424 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in z
1.424 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.424 * [taylor]: Taking taylor expansion of y in z
1.425 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z
1.425 * [taylor]: Taking taylor expansion of 0.5 in z
1.425 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.425 * [taylor]: Taking taylor expansion of x in z
1.425 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.425 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.425 * [taylor]: Taking taylor expansion of -1 in z
1.425 * [taylor]: Taking taylor expansion of z in z
1.425 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in y
1.425 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.425 * [taylor]: Taking taylor expansion of 2.0 in y
1.425 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in y
1.425 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in y
1.425 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.425 * [taylor]: Taking taylor expansion of y in y
1.425 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
1.425 * [taylor]: Taking taylor expansion of 0.5 in y
1.425 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.425 * [taylor]: Taking taylor expansion of x in y
1.425 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.425 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.425 * [taylor]: Taking taylor expansion of -1 in y
1.425 * [taylor]: Taking taylor expansion of z in y
1.425 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in x
1.425 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.425 * [taylor]: Taking taylor expansion of 2.0 in x
1.425 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in x
1.425 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in x
1.425 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.425 * [taylor]: Taking taylor expansion of y in x
1.425 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.425 * [taylor]: Taking taylor expansion of 0.5 in x
1.425 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.425 * [taylor]: Taking taylor expansion of x in x
1.425 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
1.425 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.425 * [taylor]: Taking taylor expansion of -1 in x
1.425 * [taylor]: Taking taylor expansion of z in x
1.426 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in x
1.426 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.426 * [taylor]: Taking taylor expansion of 2.0 in x
1.426 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in x
1.426 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in x
1.426 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.426 * [taylor]: Taking taylor expansion of y in x
1.426 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.426 * [taylor]: Taking taylor expansion of 0.5 in x
1.426 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.426 * [taylor]: Taking taylor expansion of x in x
1.426 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
1.426 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.426 * [taylor]: Taking taylor expansion of -1 in x
1.426 * [taylor]: Taking taylor expansion of z in x
1.426 * [taylor]: Taking taylor expansion of (* -0.5 (* (sqrt 2.0) (sqrt (/ -1 z)))) in y
1.426 * [taylor]: Taking taylor expansion of -0.5 in y
1.426 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in y
1.426 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.426 * [taylor]: Taking taylor expansion of 2.0 in y
1.426 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.426 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.426 * [taylor]: Taking taylor expansion of -1 in y
1.426 * [taylor]: Taking taylor expansion of z in y
1.427 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (sqrt (/ -1 z))) y) in y
1.427 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in y
1.427 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.427 * [taylor]: Taking taylor expansion of 2.0 in y
1.427 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.427 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.427 * [taylor]: Taking taylor expansion of -1 in y
1.427 * [taylor]: Taking taylor expansion of z in y
1.427 * [taylor]: Taking taylor expansion of y in y
1.427 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in z
1.427 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.427 * [taylor]: Taking taylor expansion of 2.0 in z
1.427 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.427 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.427 * [taylor]: Taking taylor expansion of -1 in z
1.427 * [taylor]: Taking taylor expansion of z in z
1.427 * [taylor]: Taking taylor expansion of (* -0.5 (* (sqrt 2.0) (sqrt (/ -1 z)))) in z
1.427 * [taylor]: Taking taylor expansion of -0.5 in z
1.427 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in z
1.427 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.427 * [taylor]: Taking taylor expansion of 2.0 in z
1.427 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.427 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.427 * [taylor]: Taking taylor expansion of -1 in z
1.427 * [taylor]: Taking taylor expansion of z in z
1.428 * [taylor]: Taking taylor expansion of 0 in y
1.428 * [taylor]: Taking taylor expansion of 0 in z
1.428 * [taylor]: Taking taylor expansion of 0 in z
1.429 * [taylor]: Taking taylor expansion of 0 in y
1.429 * [taylor]: Taking taylor expansion of 0 in z
1.429 * [taylor]: Taking taylor expansion of 0 in z
1.430 * [taylor]: Taking taylor expansion of 0 in z
1.430 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
1.430 * [approximate]: Taking taylor expansion of (* 0.5 (pow t 2)) in (t) around 0
1.430 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
1.431 * [taylor]: Taking taylor expansion of 0.5 in t
1.431 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.431 * [taylor]: Taking taylor expansion of t in t
1.431 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
1.431 * [taylor]: Taking taylor expansion of 0.5 in t
1.431 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.431 * [taylor]: Taking taylor expansion of t in t
1.431 * [approximate]: Taking taylor expansion of (/ 0.5 (pow t 2)) in (t) around 0
1.431 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.431 * [taylor]: Taking taylor expansion of 0.5 in t
1.431 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.431 * [taylor]: Taking taylor expansion of t in t
1.431 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.431 * [taylor]: Taking taylor expansion of 0.5 in t
1.431 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.431 * [taylor]: Taking taylor expansion of t in t
1.432 * [approximate]: Taking taylor expansion of (/ 0.5 (pow t 2)) in (t) around 0
1.432 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.432 * [taylor]: Taking taylor expansion of 0.5 in t
1.432 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.432 * [taylor]: Taking taylor expansion of t in t
1.432 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.432 * [taylor]: Taking taylor expansion of 0.5 in t
1.432 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.432 * [taylor]: Taking taylor expansion of t in t
1.433 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.433 * [approximate]: Taking taylor expansion of (exp (* 0.5 (pow t 2))) in (t) around 0
1.433 * [taylor]: Taking taylor expansion of (exp (* 0.5 (pow t 2))) in t
1.433 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
1.433 * [taylor]: Taking taylor expansion of 0.5 in t
1.433 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.433 * [taylor]: Taking taylor expansion of t in t
1.433 * [taylor]: Taking taylor expansion of (exp (* 0.5 (pow t 2))) in t
1.433 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
1.433 * [taylor]: Taking taylor expansion of 0.5 in t
1.433 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.433 * [taylor]: Taking taylor expansion of t in t
1.435 * [approximate]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in (t) around 0
1.435 * [taylor]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in t
1.435 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.435 * [taylor]: Taking taylor expansion of 0.5 in t
1.435 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.435 * [taylor]: Taking taylor expansion of t in t
1.435 * [taylor]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in t
1.435 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.435 * [taylor]: Taking taylor expansion of 0.5 in t
1.435 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.435 * [taylor]: Taking taylor expansion of t in t
1.435 * [approximate]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in (t) around 0
1.435 * [taylor]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in t
1.435 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.435 * [taylor]: Taking taylor expansion of 0.5 in t
1.435 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.435 * [taylor]: Taking taylor expansion of t in t
1.435 * [taylor]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in t
1.435 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.435 * [taylor]: Taking taylor expansion of 0.5 in t
1.435 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.435 * [taylor]: Taking taylor expansion of t in t
1.436 * * * [progress]: simplifying candidates
1.437 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* z 2.0)
  (* (sqrt z) (sqrt 2.0))
  (* z 2.0)
  (+ (log (sqrt z)) (log (sqrt 2.0)))
  (log (* (sqrt z) (sqrt 2.0)))
  (exp (* (sqrt z) (sqrt 2.0)))
  (* (* (* (sqrt z) (sqrt z)) (sqrt z)) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)))
  (* (cbrt (* (sqrt z) (sqrt 2.0))) (cbrt (* (sqrt z) (sqrt 2.0))))
  (cbrt (* (sqrt z) (sqrt 2.0)))
  (* (* (* (sqrt z) (sqrt 2.0)) (* (sqrt z) (sqrt 2.0))) (* (sqrt z) (sqrt 2.0)))
  (* z 2.0)
  (sqrt (* (sqrt z) (sqrt 2.0)))
  (sqrt (* (sqrt z) (sqrt 2.0)))
  (* (sqrt (sqrt z)) (sqrt (sqrt 2.0)))
  (* (sqrt (sqrt z)) (sqrt (sqrt 2.0)))
  (* (sqrt (sqrt z)) (sqrt (sqrt 2.0)))
  (* (sqrt (sqrt z)) (sqrt (sqrt 2.0)))
  (* (sqrt (sqrt z)) (sqrt (sqrt 2.0)))
  (* (sqrt (sqrt z)) (sqrt (sqrt 2.0)))
  (* (sqrt (sqrt z)) (sqrt (sqrt 2.0)))
  (* (sqrt (sqrt z)) (sqrt (sqrt 2.0)))
  (* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
  (* (sqrt z) (sqrt (* (cbrt 2.0) (cbrt 2.0))))
  (* (sqrt z) (sqrt (sqrt 2.0)))
  (* (sqrt z) (sqrt 1))
  (* (sqrt z) (sqrt (sqrt 2.0)))
  (* (sqrt z) 1)
  (* (cbrt (sqrt z)) (sqrt 2.0))
  (* (sqrt (cbrt z)) (sqrt 2.0))
  (* (sqrt (sqrt z)) (sqrt 2.0))
  (* (sqrt z) (sqrt 2.0))
  (* (sqrt (sqrt z)) (sqrt 2.0))
  (* (sqrt z) (sqrt 2.0))
  (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0)))
  (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0)))
  (+ (log (- (* x 0.5) y)) (+ (log (sqrt z)) (log (sqrt 2.0))))
  (+ (log (- (* x 0.5) y)) (log (* (sqrt z) (sqrt 2.0))))
  (log (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))))
  (exp (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))))
  (* (* (* (- (* x 0.5) y) (- (* x 0.5) y)) (- (* x 0.5) y)) (* (* (* (sqrt z) (sqrt z)) (sqrt z)) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))))
  (* (* (* (- (* x 0.5) y) (- (* x 0.5) y)) (- (* x 0.5) y)) (* (* (* (sqrt z) (sqrt 2.0)) (* (sqrt z) (sqrt 2.0))) (* (sqrt z) (sqrt 2.0))))
  (* (cbrt (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0)))) (cbrt (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0)))))
  (cbrt (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))))
  (* (* (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))) (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0)))) (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))))
  (sqrt (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))))
  (sqrt (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))))
  (* (- (* x 0.5) y) (sqrt z))
  (* (cbrt (- (* x 0.5) y)) (* (sqrt z) (sqrt 2.0)))
  (* (sqrt (- (* x 0.5) y)) (* (sqrt z) (sqrt 2.0)))
  (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0)))
  (* (- (pow (* x 0.5) 3) (pow y 3)) (* (sqrt z) (sqrt 2.0)))
  (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (* (sqrt z) (sqrt 2.0)))
  (- (+ (log t) (log t)) (log 2.0))
  (- (log (* t t)) (log 2.0))
  (log (/ (* t t) 2.0))
  (exp (/ (* t t) 2.0))
  (/ (* (* (* t t) t) (* (* t t) t)) (* (* 2.0 2.0) 2.0))
  (/ (* (* (* t t) (* t t)) (* t t)) (* (* 2.0 2.0) 2.0))
  (* (cbrt (/ (* t t) 2.0)) (cbrt (/ (* t t) 2.0)))
  (cbrt (/ (* t t) 2.0))
  (* (* (/ (* t t) 2.0) (/ (* t t) 2.0)) (/ (* t t) 2.0))
  (sqrt (/ (* t t) 2.0))
  (sqrt (/ (* t t) 2.0))
  (neg (* t t))
  (neg 2.0)
  (/ t (* (cbrt 2.0) (cbrt 2.0)))
  (/ t (cbrt 2.0))
  (/ t (sqrt 2.0))
  (/ t (sqrt 2.0))
  (/ t 1)
  (/ t 2.0)
  (/ 1 2.0)
  (/ 2.0 (* t t))
  (/ (* t t) (* (cbrt 2.0) (cbrt 2.0)))
  (/ (* t t) (sqrt 2.0))
  (/ (* t t) 1)
  (/ 2.0 t)
  (exp (* (cbrt (/ (* t t) 2.0)) (cbrt (/ (* t t) 2.0))))
  (exp (sqrt (/ (* t t) 2.0)))
  (exp (/ t (* (cbrt 2.0) (cbrt 2.0))))
  (exp (/ t (sqrt 2.0)))
  (exp (/ t 1))
  (exp 1)
  (exp (* t t))
  (log (exp (/ (* t t) 2.0)))
  (exp (exp (/ (* t t) 2.0)))
  (* (cbrt (exp (/ (* t t) 2.0))) (cbrt (exp (/ (* t t) 2.0))))
  (cbrt (exp (/ (* t t) 2.0)))
  (* (* (exp (/ (* t t) 2.0)) (exp (/ (* t t) 2.0))) (exp (/ (* t t) 2.0)))
  (sqrt (exp (/ (* t t) 2.0)))
  (sqrt (exp (/ (* t t) 2.0)))
  (+ (* (sqrt 2.0) (* (pow NAN 5) (pow z 3))) (+ (* (sqrt 2.0) (* (pow NAN 3) (pow z 2))) (* (sqrt 2.0) (* NAN z))))
  (+ (/ (* (sqrt 2.0) (pow NAN 5)) (pow z 2)) (+ (/ (* (sqrt 2.0) (pow NAN 3)) z) (* (sqrt 2.0) NAN)))
  (- (+ (/ (* (sqrt 2.0) (pow NAN 5)) (pow z 2)) (* (sqrt 2.0) NAN)) (/ (* (sqrt 2.0) (pow NAN 3)) z))
  0
  (- (* 0.5 (* (sqrt 2.0) (* NAN x))) (+ (* (sqrt 2.0) (* NAN y)) (/ (* (sqrt 2.0) (* (pow NAN 3) y)) z)))
  (- (+ (* 0.5 (* (sqrt 2.0) (* NAN x))) (/ (* (sqrt 2.0) (* (pow NAN 3) y)) z)) (* (sqrt 2.0) (* NAN y)))
  (* 0.5 (pow t 2))
  (* 0.5 (pow t 2))
  (* 0.5 (pow t 2))
  (+ (* 0.5 (pow t 2)) (+ (* 0.125 (pow t 4)) 1))
  (exp (* 0.5 (pow t 2)))
  (exp (* 0.5 (pow t 2)))
1.442 * * [simplify]: iteration  0 :  421  enodes  (cost  517 )
1.449 * * [simplify]: iteration  1 :  1743  enodes  (cost  471 )
1.478 * * [simplify]: iteration  2 :  5001  enodes  (cost  469 )
1.481 * [simplify]: Simplified to:
   (* z 2.0)
  (* (sqrt z) (sqrt 2.0))
  (* z 2.0)
  (log (* (sqrt z) (sqrt 2.0)))
  (log (* (sqrt z) (sqrt 2.0)))
  (exp (* (sqrt z) (sqrt 2.0)))
  (pow (* (sqrt z) (sqrt 2.0)) 3)
  (* (cbrt (* (sqrt z) (sqrt 2.0))) (cbrt (* (sqrt z) (sqrt 2.0))))
  (cbrt (* (sqrt z) (sqrt 2.0)))
  (pow (* (sqrt z) (sqrt 2.0)) 3)
  (* z 2.0)
  (sqrt (* (sqrt z) (sqrt 2.0)))
  (sqrt (* (sqrt z) (sqrt 2.0)))
  (* (sqrt (sqrt z)) (sqrt (sqrt 2.0)))
  (* (sqrt (sqrt z)) (sqrt (sqrt 2.0)))
  (* (sqrt (sqrt z)) (sqrt (sqrt 2.0)))
  (* (sqrt (sqrt z)) (sqrt (sqrt 2.0)))
  (* (sqrt (sqrt z)) (sqrt (sqrt 2.0)))
  (* (sqrt (sqrt z)) (sqrt (sqrt 2.0)))
  (* (sqrt (sqrt z)) (sqrt (sqrt 2.0)))
  (* (sqrt (sqrt z)) (sqrt (sqrt 2.0)))
  (* (sqrt z) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
  (* (fabs (cbrt 2.0)) (sqrt z))
  (* (sqrt z) (sqrt (sqrt 2.0)))
  (sqrt z)
  (* (sqrt z) (sqrt (sqrt 2.0)))
  (sqrt z)
  (* (cbrt (sqrt z)) (sqrt 2.0))
  (* (sqrt (cbrt z)) (sqrt 2.0))
  (* (sqrt (sqrt z)) (sqrt 2.0))
  (* (sqrt z) (sqrt 2.0))
  (* (sqrt (sqrt z)) (sqrt 2.0))
  (* (sqrt z) (sqrt 2.0))
  (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0)))
  (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0)))
  (log (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))))
  (log (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))))
  (log (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))))
  (exp (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))))
  (pow (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))) 3)
  (pow (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))) 3)
  (* (cbrt (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0)))) (cbrt (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0)))))
  (cbrt (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))))
  (pow (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))) 3)
  (sqrt (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))))
  (sqrt (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))))
  (* (- (* x 0.5) y) (sqrt z))
  (* (cbrt (- (* x 0.5) y)) (* (sqrt z) (sqrt 2.0)))
  (* (sqrt (- (* x 0.5) y)) (* (sqrt z) (sqrt 2.0)))
  (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0)))
  (* (- (pow (* x 0.5) 3) (pow y 3)) (* (sqrt z) (sqrt 2.0)))
  (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (* (sqrt z) (sqrt 2.0)))
  (log (/ (* t t) 2.0))
  (log (/ (* t t) 2.0))
  (log (/ (* t t) 2.0))
  (exp (/ (* t t) 2.0))
  (pow (/ (* t t) 2.0) 3)
  (pow (/ (* t t) 2.0) 3)
  (* (cbrt (/ (* t t) 2.0)) (cbrt (/ (* t t) 2.0)))
  (cbrt (/ (* t t) 2.0))
  (pow (/ (* t t) 2.0) 3)
  (sqrt (/ (* t t) 2.0))
  (sqrt (/ (* t t) 2.0))
  (neg (* t t))
  (neg 2.0)
  (/ t (* (cbrt 2.0) (cbrt 2.0)))
  (/ t (cbrt 2.0))
  (/ t (sqrt 2.0))
  (/ t (sqrt 2.0))
  t
  (/ t 2.0)
  (/ 1 2.0)
  (/ 2.0 (* t t))
  (/ (* t t) (* (cbrt 2.0) (cbrt 2.0)))
  (/ (* t t) (sqrt 2.0))
  (pow t 2)
  (/ 2.0 t)
  (exp (* (cbrt (/ (* t t) 2.0)) (cbrt (/ (* t t) 2.0))))
  (exp (sqrt (/ (* t t) 2.0)))
  (exp (/ t (* (cbrt 2.0) (cbrt 2.0))))
  (exp (/ t (sqrt 2.0)))
  (exp t)
  E
  (exp (* t t))
  (/ (* t t) 2.0)
  (exp (exp (/ (* t t) 2.0)))
  (* (cbrt (exp (/ (* t t) 2.0))) (cbrt (exp (/ (* t t) 2.0))))
  (cbrt (exp (/ (* t t) 2.0)))
  (pow (exp (/ (* t t) 2.0)) 3)
  (sqrt (exp (/ (* t t) 2.0)))
  (sqrt (exp (/ (* t t) 2.0)))
  (* (sqrt 2.0) (+ (* (pow NAN 5) (pow z 3)) (+ (* (pow NAN 3) (pow z 2)) (* NAN z))))
  (+ (/ (* (sqrt 2.0) (pow NAN 5)) (pow z 2)) (+ (/ (* (sqrt 2.0) (pow NAN 3)) z) (* (sqrt 2.0) NAN)))
  (- (+ (/ (* (sqrt 2.0) (pow NAN 5)) (pow z 2)) (* (sqrt 2.0) NAN)) (/ (* (sqrt 2.0) (pow NAN 3)) z))
  0
  (- (* 0.5 (* (sqrt 2.0) (* NAN x))) (+ (* (sqrt 2.0) (* NAN y)) (/ (* (sqrt 2.0) (* (pow NAN 3) y)) z)))
  (- (+ (* 0.5 (* (sqrt 2.0) (* NAN x))) (/ (* (sqrt 2.0) (* (pow NAN 3) y)) z)) (* (sqrt 2.0) (* NAN y)))
  (* 0.5 (pow t 2))
  (* 0.5 (pow t 2))
  (* 0.5 (pow t 2))
  (+ (* 0.5 (pow t 2)) (+ (* 0.125 (pow t 4)) 1))
  (exp (* 0.5 (pow t 2)))
  (exp (* 0.5 (pow t 2)))
1.482 * * * [progress]: adding candidates to table
1.632 * * [progress]: iteration 4 / 4
1.632 * * * [progress]: picking best candidate
1.650 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (exp (/ (* t t) 2.0))))>
1.650 * * * [progress]: localizing error
1.664 * * * [progress]: generating rewritten candidates
1.664 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
1.673 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.684 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.697 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
1.705 * * * [progress]: generating series expansions
1.705 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
1.705 * [approximate]: Taking taylor expansion of (sqrt (* (sqrt 2.0) z)) in (z) around 0
1.705 * [taylor]: Taking taylor expansion of (sqrt (* (sqrt 2.0) z)) in z
1.705 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) z) in z
1.705 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.705 * [taylor]: Taking taylor expansion of 2.0 in z
1.705 * [taylor]: Taking taylor expansion of z in z
1.705 * [taylor]: Taking taylor expansion of (sqrt (* (sqrt 2.0) z)) in z
1.705 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) z) in z
1.705 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.705 * [taylor]: Taking taylor expansion of 2.0 in z
1.705 * [taylor]: Taking taylor expansion of z in z
1.706 * [approximate]: Taking taylor expansion of (sqrt (/ (sqrt 2.0) z)) in (z) around 0
1.706 * [taylor]: Taking taylor expansion of (sqrt (/ (sqrt 2.0) z)) in z
1.706 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) z) in z
1.706 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.706 * [taylor]: Taking taylor expansion of 2.0 in z
1.707 * [taylor]: Taking taylor expansion of z in z
1.707 * [taylor]: Taking taylor expansion of (sqrt (/ (sqrt 2.0) z)) in z
1.707 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) z) in z
1.707 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.707 * [taylor]: Taking taylor expansion of 2.0 in z
1.707 * [taylor]: Taking taylor expansion of z in z
1.708 * [approximate]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (sqrt (/ -1 z))) in (z) around 0
1.708 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (sqrt (/ -1 z))) in z
1.708 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in z
1.708 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.708 * [taylor]: Taking taylor expansion of 2.0 in z
1.708 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.708 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.708 * [taylor]: Taking taylor expansion of -1 in z
1.708 * [taylor]: Taking taylor expansion of z in z
1.708 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (sqrt (/ -1 z))) in z
1.708 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in z
1.708 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.708 * [taylor]: Taking taylor expansion of 2.0 in z
1.708 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.708 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.708 * [taylor]: Taking taylor expansion of -1 in z
1.708 * [taylor]: Taking taylor expansion of z in z
1.710 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.710 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in (z) around 0
1.710 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in z
1.710 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.710 * [taylor]: Taking taylor expansion of 2.0 in z
1.710 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.710 * [taylor]: Taking taylor expansion of z in z
1.710 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in z
1.710 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.710 * [taylor]: Taking taylor expansion of 2.0 in z
1.710 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.710 * [taylor]: Taking taylor expansion of z in z
1.711 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in (z) around 0
1.711 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in z
1.711 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.711 * [taylor]: Taking taylor expansion of 2.0 in z
1.711 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.711 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.711 * [taylor]: Taking taylor expansion of z in z
1.712 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in z
1.712 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.712 * [taylor]: Taking taylor expansion of 2.0 in z
1.712 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.712 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.712 * [taylor]: Taking taylor expansion of z in z
1.713 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in (z) around 0
1.713 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in z
1.713 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.713 * [taylor]: Taking taylor expansion of 2.0 in z
1.713 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.713 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.713 * [taylor]: Taking taylor expansion of -1 in z
1.713 * [taylor]: Taking taylor expansion of z in z
1.713 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in z
1.713 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.713 * [taylor]: Taking taylor expansion of 2.0 in z
1.713 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.713 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.713 * [taylor]: Taking taylor expansion of -1 in z
1.713 * [taylor]: Taking taylor expansion of z in z
1.714 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.715 * [approximate]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in (x y z) around 0
1.715 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in z
1.715 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.715 * [taylor]: Taking taylor expansion of z in z
1.715 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in z
1.715 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.715 * [taylor]: Taking taylor expansion of 2.0 in z
1.715 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in z
1.715 * [taylor]: Taking taylor expansion of (* 0.5 x) in z
1.715 * [taylor]: Taking taylor expansion of 0.5 in z
1.715 * [taylor]: Taking taylor expansion of x in z
1.715 * [taylor]: Taking taylor expansion of y in z
1.715 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in y
1.715 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.715 * [taylor]: Taking taylor expansion of z in y
1.715 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in y
1.715 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.715 * [taylor]: Taking taylor expansion of 2.0 in y
1.715 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in y
1.715 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
1.715 * [taylor]: Taking taylor expansion of 0.5 in y
1.715 * [taylor]: Taking taylor expansion of x in y
1.715 * [taylor]: Taking taylor expansion of y in y
1.715 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in x
1.715 * [taylor]: Taking taylor expansion of (sqrt z) in x
1.715 * [taylor]: Taking taylor expansion of z in x
1.715 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in x
1.715 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.715 * [taylor]: Taking taylor expansion of 2.0 in x
1.715 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in x
1.715 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.715 * [taylor]: Taking taylor expansion of 0.5 in x
1.715 * [taylor]: Taking taylor expansion of x in x
1.715 * [taylor]: Taking taylor expansion of y in x
1.715 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in x
1.715 * [taylor]: Taking taylor expansion of (sqrt z) in x
1.715 * [taylor]: Taking taylor expansion of z in x
1.715 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in x
1.715 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.715 * [taylor]: Taking taylor expansion of 2.0 in x
1.715 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in x
1.716 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.716 * [taylor]: Taking taylor expansion of 0.5 in x
1.716 * [taylor]: Taking taylor expansion of x in x
1.716 * [taylor]: Taking taylor expansion of y in x
1.716 * [taylor]: Taking taylor expansion of (* -1 (* (* (sqrt 2.0) y) (sqrt z))) in y
1.716 * [taylor]: Taking taylor expansion of -1 in y
1.716 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) y) (sqrt z)) in y
1.716 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) y) in y
1.716 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.716 * [taylor]: Taking taylor expansion of 2.0 in y
1.716 * [taylor]: Taking taylor expansion of y in y
1.716 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.716 * [taylor]: Taking taylor expansion of z in y
1.716 * [taylor]: Taking taylor expansion of 0 in z
1.716 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt z))) in y
1.716 * [taylor]: Taking taylor expansion of 0.5 in y
1.716 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in y
1.716 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.716 * [taylor]: Taking taylor expansion of 2.0 in y
1.716 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.716 * [taylor]: Taking taylor expansion of z in y
1.716 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt z))) in z
1.716 * [taylor]: Taking taylor expansion of 0.5 in z
1.716 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in z
1.716 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.716 * [taylor]: Taking taylor expansion of 2.0 in z
1.716 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.716 * [taylor]: Taking taylor expansion of z in z
1.717 * [taylor]: Taking taylor expansion of (neg (* (sqrt 2.0) (sqrt z))) in z
1.717 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in z
1.717 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.717 * [taylor]: Taking taylor expansion of 2.0 in z
1.717 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.717 * [taylor]: Taking taylor expansion of z in z
1.717 * [taylor]: Taking taylor expansion of 0 in y
1.717 * [taylor]: Taking taylor expansion of 0 in z
1.717 * [taylor]: Taking taylor expansion of 0 in z
1.717 * [approximate]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in (x y z) around 0
1.718 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
1.718 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in z
1.718 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in z
1.718 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z
1.718 * [taylor]: Taking taylor expansion of 0.5 in z
1.718 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.718 * [taylor]: Taking taylor expansion of x in z
1.718 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.718 * [taylor]: Taking taylor expansion of y in z
1.718 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.718 * [taylor]: Taking taylor expansion of 2.0 in z
1.718 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.718 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.718 * [taylor]: Taking taylor expansion of z in z
1.718 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in y
1.718 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in y
1.718 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in y
1.718 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
1.718 * [taylor]: Taking taylor expansion of 0.5 in y
1.718 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.718 * [taylor]: Taking taylor expansion of x in y
1.718 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.718 * [taylor]: Taking taylor expansion of y in y
1.718 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.718 * [taylor]: Taking taylor expansion of 2.0 in y
1.718 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.718 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.718 * [taylor]: Taking taylor expansion of z in y
1.718 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in x
1.718 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in x
1.718 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in x
1.718 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.718 * [taylor]: Taking taylor expansion of 0.5 in x
1.718 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.718 * [taylor]: Taking taylor expansion of x in x
1.718 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.718 * [taylor]: Taking taylor expansion of y in x
1.718 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.718 * [taylor]: Taking taylor expansion of 2.0 in x
1.718 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
1.718 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.719 * [taylor]: Taking taylor expansion of z in x
1.719 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in x
1.719 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in x
1.719 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in x
1.719 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.719 * [taylor]: Taking taylor expansion of 0.5 in x
1.719 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.719 * [taylor]: Taking taylor expansion of x in x
1.719 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.719 * [taylor]: Taking taylor expansion of y in x
1.719 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.719 * [taylor]: Taking taylor expansion of 2.0 in x
1.719 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
1.719 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.719 * [taylor]: Taking taylor expansion of z in x
1.719 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt (/ 1 z)))) in y
1.719 * [taylor]: Taking taylor expansion of 0.5 in y
1.719 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in y
1.719 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.719 * [taylor]: Taking taylor expansion of 2.0 in y
1.719 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.719 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.719 * [taylor]: Taking taylor expansion of z in y
1.720 * [taylor]: Taking taylor expansion of (neg (* (/ (sqrt 2.0) y) (sqrt (/ 1 z)))) in y
1.720 * [taylor]: Taking taylor expansion of (* (/ (sqrt 2.0) y) (sqrt (/ 1 z))) in y
1.720 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) y) in y
1.720 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.720 * [taylor]: Taking taylor expansion of 2.0 in y
1.720 * [taylor]: Taking taylor expansion of y in y
1.720 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.720 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.720 * [taylor]: Taking taylor expansion of z in y
1.720 * [taylor]: Taking taylor expansion of (neg (* (sqrt 2.0) (sqrt (/ 1 z)))) in z
1.720 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in z
1.720 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.720 * [taylor]: Taking taylor expansion of 2.0 in z
1.720 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.720 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.720 * [taylor]: Taking taylor expansion of z in z
1.720 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt (/ 1 z)))) in z
1.720 * [taylor]: Taking taylor expansion of 0.5 in z
1.720 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in z
1.720 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.720 * [taylor]: Taking taylor expansion of 2.0 in z
1.720 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.720 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.720 * [taylor]: Taking taylor expansion of z in z
1.721 * [taylor]: Taking taylor expansion of 0 in y
1.721 * [taylor]: Taking taylor expansion of 0 in z
1.721 * [taylor]: Taking taylor expansion of 0 in z
1.722 * [taylor]: Taking taylor expansion of 0 in y
1.722 * [taylor]: Taking taylor expansion of 0 in z
1.722 * [taylor]: Taking taylor expansion of 0 in z
1.723 * [taylor]: Taking taylor expansion of 0 in z
1.724 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in (x y z) around 0
1.724 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in z
1.724 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.724 * [taylor]: Taking taylor expansion of 2.0 in z
1.724 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in z
1.724 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in z
1.724 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.724 * [taylor]: Taking taylor expansion of y in z
1.724 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z
1.724 * [taylor]: Taking taylor expansion of 0.5 in z
1.724 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.724 * [taylor]: Taking taylor expansion of x in z
1.724 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.724 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.724 * [taylor]: Taking taylor expansion of -1 in z
1.724 * [taylor]: Taking taylor expansion of z in z
1.724 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in y
1.724 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.724 * [taylor]: Taking taylor expansion of 2.0 in y
1.724 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in y
1.724 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in y
1.724 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.724 * [taylor]: Taking taylor expansion of y in y
1.724 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
1.724 * [taylor]: Taking taylor expansion of 0.5 in y
1.724 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.724 * [taylor]: Taking taylor expansion of x in y
1.724 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.724 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.724 * [taylor]: Taking taylor expansion of -1 in y
1.724 * [taylor]: Taking taylor expansion of z in y
1.724 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in x
1.724 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.724 * [taylor]: Taking taylor expansion of 2.0 in x
1.724 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in x
1.725 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in x
1.725 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.725 * [taylor]: Taking taylor expansion of y in x
1.725 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.725 * [taylor]: Taking taylor expansion of 0.5 in x
1.725 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.725 * [taylor]: Taking taylor expansion of x in x
1.725 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
1.725 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.725 * [taylor]: Taking taylor expansion of -1 in x
1.725 * [taylor]: Taking taylor expansion of z in x
1.725 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in x
1.725 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.725 * [taylor]: Taking taylor expansion of 2.0 in x
1.725 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in x
1.725 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in x
1.725 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.725 * [taylor]: Taking taylor expansion of y in x
1.725 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.725 * [taylor]: Taking taylor expansion of 0.5 in x
1.725 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.725 * [taylor]: Taking taylor expansion of x in x
1.725 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
1.725 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.725 * [taylor]: Taking taylor expansion of -1 in x
1.725 * [taylor]: Taking taylor expansion of z in x
1.725 * [taylor]: Taking taylor expansion of (* -0.5 (* (sqrt 2.0) (sqrt (/ -1 z)))) in y
1.725 * [taylor]: Taking taylor expansion of -0.5 in y
1.725 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in y
1.725 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.725 * [taylor]: Taking taylor expansion of 2.0 in y
1.725 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.725 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.725 * [taylor]: Taking taylor expansion of -1 in y
1.726 * [taylor]: Taking taylor expansion of z in y
1.726 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (sqrt (/ -1 z))) y) in y
1.726 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in y
1.726 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.726 * [taylor]: Taking taylor expansion of 2.0 in y
1.726 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.726 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.726 * [taylor]: Taking taylor expansion of -1 in y
1.726 * [taylor]: Taking taylor expansion of z in y
1.726 * [taylor]: Taking taylor expansion of y in y
1.726 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in z
1.726 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.726 * [taylor]: Taking taylor expansion of 2.0 in z
1.726 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.726 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.726 * [taylor]: Taking taylor expansion of -1 in z
1.726 * [taylor]: Taking taylor expansion of z in z
1.727 * [taylor]: Taking taylor expansion of (* -0.5 (* (sqrt 2.0) (sqrt (/ -1 z)))) in z
1.727 * [taylor]: Taking taylor expansion of -0.5 in z
1.727 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in z
1.727 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.727 * [taylor]: Taking taylor expansion of 2.0 in z
1.727 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.727 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.727 * [taylor]: Taking taylor expansion of -1 in z
1.727 * [taylor]: Taking taylor expansion of z in z
1.727 * [taylor]: Taking taylor expansion of 0 in y
1.727 * [taylor]: Taking taylor expansion of 0 in z
1.727 * [taylor]: Taking taylor expansion of 0 in z
1.728 * [taylor]: Taking taylor expansion of 0 in y
1.728 * [taylor]: Taking taylor expansion of 0 in z
1.729 * [taylor]: Taking taylor expansion of 0 in z
1.729 * [taylor]: Taking taylor expansion of 0 in z
1.730 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
1.730 * [approximate]: Taking taylor expansion of (* 0.5 (pow t 2)) in (t) around 0
1.730 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
1.730 * [taylor]: Taking taylor expansion of 0.5 in t
1.730 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.730 * [taylor]: Taking taylor expansion of t in t
1.730 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
1.730 * [taylor]: Taking taylor expansion of 0.5 in t
1.730 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.730 * [taylor]: Taking taylor expansion of t in t
1.730 * [approximate]: Taking taylor expansion of (/ 0.5 (pow t 2)) in (t) around 0
1.731 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.731 * [taylor]: Taking taylor expansion of 0.5 in t
1.731 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.731 * [taylor]: Taking taylor expansion of t in t
1.731 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.731 * [taylor]: Taking taylor expansion of 0.5 in t
1.731 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.731 * [taylor]: Taking taylor expansion of t in t
1.731 * [approximate]: Taking taylor expansion of (/ 0.5 (pow t 2)) in (t) around 0
1.731 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.731 * [taylor]: Taking taylor expansion of 0.5 in t
1.732 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.732 * [taylor]: Taking taylor expansion of t in t
1.732 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.732 * [taylor]: Taking taylor expansion of 0.5 in t
1.732 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.732 * [taylor]: Taking taylor expansion of t in t
1.732 * * * [progress]: simplifying candidates
1.734 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* z (sqrt 2.0))
  (* (sqrt z) (sqrt (sqrt 2.0)))
  (* z (sqrt 2.0))
  (+ (log (sqrt z)) (log (sqrt (sqrt 2.0))))
  (log (* (sqrt z) (sqrt (sqrt 2.0))))
  (exp (* (sqrt z) (sqrt (sqrt 2.0))))
  (* (* (* (sqrt z) (sqrt z)) (sqrt z)) (* (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))
  (* (cbrt (* (sqrt z) (sqrt (sqrt 2.0)))) (cbrt (* (sqrt z) (sqrt (sqrt 2.0)))))
  (cbrt (* (sqrt z) (sqrt (sqrt 2.0))))
  (* (* (* (sqrt z) (sqrt (sqrt 2.0))) (* (sqrt z) (sqrt (sqrt 2.0)))) (* (sqrt z) (sqrt (sqrt 2.0))))
  (* z (sqrt 2.0))
  (sqrt (* (sqrt z) (sqrt (sqrt 2.0))))
  (sqrt (* (sqrt z) (sqrt (sqrt 2.0))))
  (* (sqrt (sqrt z)) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt (sqrt z)) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt (sqrt z)) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt (sqrt z)) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt (sqrt z)) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt (sqrt z)) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt (sqrt z)) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt (sqrt z)) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt (sqrt z)) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt (sqrt z)) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt (sqrt z)) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt (sqrt z)) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt z) (* (cbrt (sqrt (sqrt 2.0))) (cbrt (sqrt (sqrt 2.0)))))
  (* (sqrt z) (sqrt (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (* (sqrt z) (sqrt (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (* (sqrt z) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt z) (sqrt (sqrt 1)))
  (* (sqrt z) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt z) (sqrt 1))
  (* (sqrt z) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt z) 1)
  (* (cbrt (sqrt z)) (sqrt (sqrt 2.0)))
  (* (sqrt (cbrt z)) (sqrt (sqrt 2.0)))
  (* (sqrt (sqrt z)) (sqrt (sqrt 2.0)))
  (* (sqrt z) (sqrt (sqrt 2.0)))
  (* (sqrt (sqrt z)) (sqrt (sqrt 2.0)))
  (* (sqrt z) (sqrt (sqrt 2.0)))
  (* (* z (sqrt 2.0)) (sqrt 2.0))
  (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))
  (* (* z (sqrt 2.0)) (sqrt 2.0))
  (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))
  (+ (+ (log (sqrt z)) (log (sqrt (sqrt 2.0)))) (log (sqrt (sqrt 2.0))))
  (+ (log (* (sqrt z) (sqrt (sqrt 2.0)))) (log (sqrt (sqrt 2.0))))
  (log (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))
  (exp (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))
  (* (* (* (* (sqrt z) (sqrt z)) (sqrt z)) (* (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))
  (* (* (* (* (sqrt z) (sqrt (sqrt 2.0))) (* (sqrt z) (sqrt (sqrt 2.0)))) (* (sqrt z) (sqrt (sqrt 2.0)))) (* (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))
  (* (cbrt (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (cbrt (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))))
  (cbrt (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))
  (* (* (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))
  (* (* z (sqrt 2.0)) (sqrt 2.0))
  (sqrt (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))
  (sqrt (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))
  (* (* (sqrt z) (sqrt (sqrt 2.0))) (* (cbrt (sqrt (sqrt 2.0))) (cbrt (sqrt (sqrt 2.0)))))
  (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))
  (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt (sqrt 2.0))))
  (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 1)))
  (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt (sqrt 2.0))))
  (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt 1))
  (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt (sqrt 2.0))))
  (* (* (sqrt z) (sqrt (sqrt 2.0))) 1)
  (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0)))
  (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))
  (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))
  (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))
  (+ (log (- (* x 0.5) y)) (+ (+ (log (sqrt z)) (log (sqrt (sqrt 2.0)))) (log (sqrt (sqrt 2.0)))))
  (+ (log (- (* x 0.5) y)) (+ (log (* (sqrt z) (sqrt (sqrt 2.0)))) (log (sqrt (sqrt 2.0)))))
  (+ (log (- (* x 0.5) y)) (log (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))))
  (log (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))))
  (exp (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))))
  (* (* (* (- (* x 0.5) y) (- (* x 0.5) y)) (- (* x 0.5) y)) (* (* (* (* (sqrt z) (sqrt z)) (sqrt z)) (* (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))))
  (* (* (* (- (* x 0.5) y) (- (* x 0.5) y)) (- (* x 0.5) y)) (* (* (* (* (sqrt z) (sqrt (sqrt 2.0))) (* (sqrt z) (sqrt (sqrt 2.0)))) (* (sqrt z) (sqrt (sqrt 2.0)))) (* (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))))
  (* (* (* (- (* x 0.5) y) (- (* x 0.5) y)) (- (* x 0.5) y)) (* (* (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))))
  (* (cbrt (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (cbrt (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))))
  (cbrt (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))))
  (* (* (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))))
  (sqrt (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))))
  (sqrt (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))))
  (* (- (* x 0.5) y) (* (sqrt z) (sqrt (sqrt 2.0))))
  (* (cbrt (- (* x 0.5) y)) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))
  (* (sqrt (- (* x 0.5) y)) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))
  (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))
  (* (- (pow (* x 0.5) 3) (pow y 3)) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))
  (* (- (* (* x 0.5) (* x 0.5)) (* y y)) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))
  (- (+ (log t) (log t)) (log 2.0))
  (- (log (* t t)) (log 2.0))
  (log (/ (* t t) 2.0))
  (exp (/ (* t t) 2.0))
  (/ (* (* (* t t) t) (* (* t t) t)) (* (* 2.0 2.0) 2.0))
  (/ (* (* (* t t) (* t t)) (* t t)) (* (* 2.0 2.0) 2.0))
  (* (cbrt (/ (* t t) 2.0)) (cbrt (/ (* t t) 2.0)))
  (cbrt (/ (* t t) 2.0))
  (* (* (/ (* t t) 2.0) (/ (* t t) 2.0)) (/ (* t t) 2.0))
  (sqrt (/ (* t t) 2.0))
  (sqrt (/ (* t t) 2.0))
  (neg (* t t))
  (neg 2.0)
  (/ t (* (cbrt 2.0) (cbrt 2.0)))
  (/ t (cbrt 2.0))
  (/ t (sqrt 2.0))
  (/ t (sqrt 2.0))
  (/ t 1)
  (/ t 2.0)
  (/ 1 2.0)
  (/ 2.0 (* t t))
  (/ (* t t) (* (cbrt 2.0) (cbrt 2.0)))
  (/ (* t t) (sqrt 2.0))
  (/ (* t t) 1)
  (/ 2.0 t)
  (+ (* (pow (sqrt 2.0) 2) (* (pow NAN 3) (pow z 2))) (+ (* (pow (sqrt 2.0) 3) (* (pow NAN 5) (pow z 3))) (* (sqrt 2.0) (* NAN z))))
  (+ (/ (* (pow (sqrt 2.0) 2) (pow NAN 3)) z) (+ (/ (* (pow (sqrt 2.0) 3) (pow NAN 5)) (pow z 2)) (* (sqrt 2.0) NAN)))
  (- (+ (* (sqrt (sqrt 2.0)) (/ (pow NAN 5) (pow z 2))) (* (sqrt (sqrt 2.0)) NAN)) (* (sqrt (sqrt 2.0)) (/ (pow NAN 3) z)))
  (+ (* (sqrt 2.0) (* (pow NAN 5) (pow z 3))) (+ (* (sqrt 2.0) (* (pow NAN 3) (pow z 2))) (* (sqrt 2.0) (* NAN z))))
  (+ (/ (* (sqrt 2.0) (pow NAN 5)) (pow z 2)) (+ (/ (* (sqrt 2.0) (pow NAN 3)) z) (* (sqrt 2.0) NAN)))
  (- (+ (/ (* (sqrt 2.0) (pow NAN 5)) (pow z 2)) (* (sqrt 2.0) NAN)) (/ (* (sqrt 2.0) (pow NAN 3)) z))
  0
  (- (* 0.5 (* (sqrt 2.0) (* NAN x))) (+ (* (sqrt 2.0) (* NAN y)) (/ (* (sqrt 2.0) (* (pow NAN 3) y)) z)))
  (- (+ (* 0.5 (* (sqrt 2.0) (* NAN x))) (/ (* (sqrt 2.0) (* (pow NAN 3) y)) z)) (* (sqrt 2.0) (* NAN y)))
  (* 0.5 (pow t 2))
  (* 0.5 (pow t 2))
  (* 0.5 (pow t 2))
1.740 * * [simplify]: iteration  0 :  530  enodes  (cost  852 )
1.750 * * [simplify]: iteration  1 :  2528  enodes  (cost  732 )
1.792 * * [simplify]: iteration  2 :  5002  enodes  (cost  710 )
1.796 * [simplify]: Simplified to:
   (* z (sqrt 2.0))
  (* (sqrt z) (sqrt (sqrt 2.0)))
  (* z (sqrt 2.0))
  (log (* (sqrt z) (sqrt (sqrt 2.0))))
  (log (* (sqrt z) (sqrt (sqrt 2.0))))
  (exp (* (sqrt z) (sqrt (sqrt 2.0))))
  (pow (* (sqrt z) (sqrt (sqrt 2.0))) 3)
  (* (cbrt (* (sqrt z) (sqrt (sqrt 2.0)))) (cbrt (* (sqrt z) (sqrt (sqrt 2.0)))))
  (cbrt (* (sqrt z) (sqrt (sqrt 2.0))))
  (pow (* (sqrt z) (sqrt (sqrt 2.0))) 3)
  (* z (sqrt 2.0))
  (sqrt (* (sqrt z) (sqrt (sqrt 2.0))))
  (sqrt (* (sqrt z) (sqrt (sqrt 2.0))))
  (* (sqrt (sqrt z)) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt (sqrt z)) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt (sqrt z)) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt (sqrt z)) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt (sqrt z)) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt (sqrt z)) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt (sqrt z)) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt (sqrt z)) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt (sqrt z)) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt (sqrt z)) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt (sqrt z)) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt (sqrt z)) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt z) (* (cbrt (sqrt (sqrt 2.0))) (cbrt (sqrt (sqrt 2.0)))))
  (* (fabs (cbrt (sqrt 2.0))) (sqrt z))
  (* (sqrt z) (sqrt (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (* (sqrt z) (sqrt (sqrt (sqrt 2.0))))
  (sqrt z)
  (* (sqrt z) (sqrt (sqrt (sqrt 2.0))))
  (sqrt z)
  (* (sqrt z) (sqrt (sqrt (sqrt 2.0))))
  (sqrt z)
  (* (cbrt (sqrt z)) (sqrt (sqrt 2.0)))
  (* (sqrt (cbrt z)) (sqrt (sqrt 2.0)))
  (* (sqrt (sqrt z)) (sqrt (sqrt 2.0)))
  (* (sqrt z) (sqrt (sqrt 2.0)))
  (* (sqrt (sqrt z)) (sqrt (sqrt 2.0)))
  (* (sqrt z) (sqrt (sqrt 2.0)))
  (* 2.0 z)
  (* (sqrt z) (sqrt 2.0))
  (* 2.0 z)
  (* (sqrt z) (sqrt 2.0))
  (+ (log (sqrt z)) (log (sqrt 2.0)))
  (+ (log (sqrt z)) (log (sqrt 2.0)))
  (+ (log (sqrt z)) (log (sqrt 2.0)))
  (pow (exp (sqrt z)) (sqrt 2.0))
  (pow (* (sqrt z) (sqrt 2.0)) 3)
  (pow (* (sqrt z) (sqrt 2.0)) 3)
  (* (cbrt (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (cbrt (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))))
  (cbrt (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))
  (pow (* (sqrt z) (sqrt 2.0)) 3)
  (* 2.0 z)
  (sqrt (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))
  (sqrt (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))
  (* (* (sqrt z) (sqrt (sqrt 2.0))) (* (cbrt (sqrt (sqrt 2.0))) (cbrt (sqrt (sqrt 2.0)))))
  (* (sqrt z) (* (sqrt (sqrt 2.0)) (fabs (cbrt (sqrt 2.0)))))
  (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt (* (cbrt 2.0) (cbrt 2.0)))))
  (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt z) (sqrt (sqrt 2.0)))
  (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt z) (sqrt (sqrt 2.0)))
  (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt (sqrt 2.0))))
  (* (sqrt z) (sqrt (sqrt 2.0)))
  (sqrt 2.0)
  (* (* (sqrt z) (sqrt 2.0)) (- (* x 0.5) y))
  (* (* (sqrt z) (sqrt 2.0)) (- (* x 0.5) y))
  (* (* (sqrt z) (sqrt 2.0)) (- (* x 0.5) y))
  (+ (log (* (- (* x 0.5) y) (sqrt z))) (log (sqrt 2.0)))
  (+ (log (* (- (* x 0.5) y) (sqrt z))) (log (sqrt 2.0)))
  (+ (log (* (- (* x 0.5) y) (sqrt z))) (log (sqrt 2.0)))
  (+ (log (* (- (* x 0.5) y) (sqrt z))) (log (sqrt 2.0)))
  (pow (pow (exp (sqrt z)) (sqrt 2.0)) (- (* x 0.5) y))
  (pow (* (* (sqrt z) (sqrt 2.0)) (- (* x 0.5) y)) 3)
  (pow (* (* (sqrt z) (sqrt 2.0)) (- (* x 0.5) y)) 3)
  (pow (* (* (sqrt z) (sqrt 2.0)) (- (* x 0.5) y)) 3)
  (* (cbrt (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (cbrt (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))))
  (cbrt (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))))
  (pow (* (* (sqrt z) (sqrt 2.0)) (- (* x 0.5) y)) 3)
  (sqrt (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))))
  (sqrt (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))))
  (* (- (* x 0.5) y) (* (sqrt z) (sqrt (sqrt 2.0))))
  (* (* (sqrt z) (sqrt 2.0)) (cbrt (- (* x 0.5) y)))
  (* (* (sqrt z) (sqrt 2.0)) (sqrt (- (* x 0.5) y)))
  (* (* (sqrt z) (sqrt 2.0)) (- (* x 0.5) y))
  (* (* (sqrt z) (sqrt 2.0)) (- (pow (* x 0.5) 3) (pow y 3)))
  (* (* (sqrt z) (sqrt 2.0)) (- (* (* x 0.5) (* x 0.5)) (* y y)))
  (log (/ (* t t) 2.0))
  (log (/ (* t t) 2.0))
  (log (/ (* t t) 2.0))
  (exp (/ (* t t) 2.0))
  (pow (/ (* t t) 2.0) 3)
  (pow (/ (* t t) 2.0) 3)
  (* (cbrt (/ (* t t) 2.0)) (cbrt (/ (* t t) 2.0)))
  (cbrt (/ (* t t) 2.0))
  (pow (/ (* t t) 2.0) 3)
  (sqrt (/ (* t t) 2.0))
  (sqrt (/ (* t t) 2.0))
  (neg (* t t))
  (neg 2.0)
  (/ t (* (cbrt 2.0) (cbrt 2.0)))
  (/ t (cbrt 2.0))
  (/ t (sqrt 2.0))
  (/ t (sqrt 2.0))
  t
  (/ t 2.0)
  (/ 1 2.0)
  (/ 2.0 (* t t))
  (/ (* t t) (* (cbrt 2.0) (cbrt 2.0)))
  (/ (* t t) (sqrt 2.0))
  (pow t 2)
  (/ 2.0 t)
  (+ (* (pow (sqrt 2.0) 2) (* (pow NAN 3) (pow z 2))) (+ (* (pow (sqrt 2.0) 3) (* (pow NAN 5) (pow z 3))) (* (sqrt 2.0) (* NAN z))))
  (+ (/ (* (pow (sqrt 2.0) 2) (pow NAN 3)) z) (+ (/ (* (pow (sqrt 2.0) 3) (pow NAN 5)) (pow z 2)) (* (sqrt 2.0) NAN)))
  (* (sqrt (sqrt 2.0)) (- (+ (/ (pow NAN 5) (pow z 2)) NAN) (/ (pow NAN 3) z)))
  (* (sqrt 2.0) (+ (* (pow NAN 5) (pow z 3)) (+ (* (pow NAN 3) (pow z 2)) (* NAN z))))
  (+ (/ (* (sqrt 2.0) (pow NAN 5)) (pow z 2)) (+ (/ (* (sqrt 2.0) (pow NAN 3)) z) (* (sqrt 2.0) NAN)))
  (- (+ (/ (* (sqrt 2.0) (pow NAN 5)) (pow z 2)) (* (sqrt 2.0) NAN)) (/ (* (sqrt 2.0) (pow NAN 3)) z))
  0
  (- (* 0.5 (* (sqrt 2.0) (* NAN x))) (+ (* (sqrt 2.0) (* NAN y)) (/ (* (sqrt 2.0) (* (pow NAN 3) y)) z)))
  (- (+ (* 0.5 (* (sqrt 2.0) (* NAN x))) (/ (* (sqrt 2.0) (* (pow NAN 3) y)) z)) (* (sqrt 2.0) (* NAN y)))
  (* 0.5 (pow t 2))
  (* 0.5 (pow t 2))
  (* 0.5 (pow t 2))
1.797 * * * [progress]: adding candidates to table
2.001 * [progress]: [Phase 3 of 3] Extracting.
2.001 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))>)
2.004 * * * [regime-changes]: Trying 13 branch expressions: ((* t t) (/ (* t t) 2.0) (exp (/ (* t t) 2.0)) (* z 2.0) (sqrt (* z 2.0)) (* x 0.5) (- (* x 0.5) y) (* (- (* x 0.5) y) (sqrt (* z 2.0))) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))) t z y x)
2.004 * * * * [regimes]: Trying to branch on (* t t) from (#<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))>)
2.073 * * * * [regimes]: Trying to branch on (/ (* t t) 2.0) from (#<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))>)
2.144 * * * * [regimes]: Trying to branch on (exp (/ (* t t) 2.0)) from (#<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))>)
2.210 * * * * [regimes]: Trying to branch on (* z 2.0) from (#<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))>)
2.285 * * * * [regimes]: Trying to branch on (sqrt (* z 2.0)) from (#<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))>)
2.364 * * * * [regimes]: Trying to branch on (* x 0.5) from (#<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))>)
2.439 * * * * [regimes]: Trying to branch on (- (* x 0.5) y) from (#<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))>)
2.515 * * * * [regimes]: Trying to branch on (* (- (* x 0.5) y) (sqrt (* z 2.0))) from (#<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))>)
2.596 * * * * [regimes]: Trying to branch on (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))) from (#<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))>)
2.680 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))>)
2.754 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))>)
2.825 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))>)
2.896 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt (sqrt (* z 2.0)))) (sqrt (sqrt (* z 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (* (sqrt z) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (* (* (- (* x 0.5) y) (sqrt (sqrt z))) (sqrt (sqrt z))) (sqrt 2.0)) (exp (/ (* t t) 2.0))))> #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))>)
2.970 * * * [regime]: Found split indices: #<option (#s(si 6 255))>
2.970 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
2.971 * * [simplify]: iteration  0 :  19  enodes  (cost  9 )
2.971 * * [simplify]: iteration  1 :  19  enodes  (cost  9 )
2.971 * [simplify]: Simplified to:
   (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
6.255 * [regime-testing]: End program error score: 0.29456564948634384
6.380 * [regime-testing]: Target error score: 0.2956962879683343