24.928 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.870 * * * [progress]: [2/2] Setting up program.
0.874 * [progress]: [Phase 2 of 3] Improving.
0.875 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
0.877 * * [simplify]: iteration  0 :  25  enodes  (cost  9 )
0.878 * * [simplify]: iteration  1 :  41  enodes  (cost  9 )
0.880 * * [simplify]: iteration  2 :  88  enodes  (cost  9 )
0.882 * * [simplify]: iteration  3 :  165  enodes  (cost  9 )
0.885 * * [simplify]: iteration  4 :  287  enodes  (cost  9 )
0.890 * * [simplify]: iteration  5 :  625  enodes  (cost  9 )
0.904 * * [simplify]: iteration  6 :  2014  enodes  (cost  9 )
0.954 * * [simplify]: iteration  7 :  5002  enodes  (cost  9 )
0.954 * [simplify]: Simplified to:
   (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
0.955 * * [progress]: iteration 1 / 4
0.955 * * * [progress]: picking best candidate
0.958 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0))))>
0.958 * * * [progress]: localizing error
0.970 * * * [progress]: generating rewritten candidates
0.970 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.978 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
0.982 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
0.985 * * * [progress]: generating series expansions
0.985 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.985 * [approximate]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in (x y z) around 0
0.986 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in z
0.986 * [taylor]: Taking taylor expansion of (sqrt z) in z
0.986 * [taylor]: Taking taylor expansion of z in z
0.986 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in z
0.986 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
0.986 * [taylor]: Taking taylor expansion of 2.0 in z
0.986 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in z
0.986 * [taylor]: Taking taylor expansion of (* 0.5 x) in z
0.986 * [taylor]: Taking taylor expansion of 0.5 in z
0.986 * [taylor]: Taking taylor expansion of x in z
0.986 * [taylor]: Taking taylor expansion of y in z
0.986 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in y
0.986 * [taylor]: Taking taylor expansion of (sqrt z) in y
0.986 * [taylor]: Taking taylor expansion of z in y
0.986 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in y
0.986 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
0.986 * [taylor]: Taking taylor expansion of 2.0 in y
0.986 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in y
0.986 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
0.986 * [taylor]: Taking taylor expansion of 0.5 in y
0.986 * [taylor]: Taking taylor expansion of x in y
0.986 * [taylor]: Taking taylor expansion of y in y
0.986 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in x
0.986 * [taylor]: Taking taylor expansion of (sqrt z) in x
0.986 * [taylor]: Taking taylor expansion of z in x
0.986 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in x
0.986 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.986 * [taylor]: Taking taylor expansion of 2.0 in x
0.986 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in x
0.986 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.986 * [taylor]: Taking taylor expansion of 0.5 in x
0.986 * [taylor]: Taking taylor expansion of x in x
0.986 * [taylor]: Taking taylor expansion of y in x
0.986 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in x
0.986 * [taylor]: Taking taylor expansion of (sqrt z) in x
0.986 * [taylor]: Taking taylor expansion of z in x
0.986 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in x
0.986 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.986 * [taylor]: Taking taylor expansion of 2.0 in x
0.986 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in x
0.986 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.986 * [taylor]: Taking taylor expansion of 0.5 in x
0.986 * [taylor]: Taking taylor expansion of x in x
0.987 * [taylor]: Taking taylor expansion of y in x
0.987 * [taylor]: Taking taylor expansion of (* -1 (* (* (sqrt 2.0) y) (sqrt z))) in y
0.987 * [taylor]: Taking taylor expansion of -1 in y
0.987 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) y) (sqrt z)) in y
0.987 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) y) in y
0.987 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
0.987 * [taylor]: Taking taylor expansion of 2.0 in y
0.987 * [taylor]: Taking taylor expansion of y in y
0.987 * [taylor]: Taking taylor expansion of (sqrt z) in y
0.987 * [taylor]: Taking taylor expansion of z in y
0.987 * [taylor]: Taking taylor expansion of 0 in z
0.987 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt z))) in y
0.987 * [taylor]: Taking taylor expansion of 0.5 in y
0.987 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in y
0.987 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
0.987 * [taylor]: Taking taylor expansion of 2.0 in y
0.987 * [taylor]: Taking taylor expansion of (sqrt z) in y
0.987 * [taylor]: Taking taylor expansion of z in y
0.987 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt z))) in z
0.987 * [taylor]: Taking taylor expansion of 0.5 in z
0.987 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in z
0.987 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
0.987 * [taylor]: Taking taylor expansion of 2.0 in z
0.988 * [taylor]: Taking taylor expansion of (sqrt z) in z
0.988 * [taylor]: Taking taylor expansion of z in z
0.988 * [taylor]: Taking taylor expansion of (neg (* (sqrt 2.0) (sqrt z))) in z
0.988 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in z
0.988 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
0.988 * [taylor]: Taking taylor expansion of 2.0 in z
0.988 * [taylor]: Taking taylor expansion of (sqrt z) in z
0.988 * [taylor]: Taking taylor expansion of z in z
0.988 * [taylor]: Taking taylor expansion of 0 in y
0.988 * [taylor]: Taking taylor expansion of 0 in z
0.988 * [taylor]: Taking taylor expansion of 0 in z
0.989 * [approximate]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in (x y z) around 0
0.989 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
0.989 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in z
0.989 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in z
0.989 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z
0.989 * [taylor]: Taking taylor expansion of 0.5 in z
0.989 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.989 * [taylor]: Taking taylor expansion of x in z
0.989 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.989 * [taylor]: Taking taylor expansion of y in z
0.989 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
0.989 * [taylor]: Taking taylor expansion of 2.0 in z
0.989 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
0.989 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.989 * [taylor]: Taking taylor expansion of z in z
0.989 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in y
0.989 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in y
0.989 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in y
0.989 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
0.989 * [taylor]: Taking taylor expansion of 0.5 in y
0.989 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.989 * [taylor]: Taking taylor expansion of x in y
0.989 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.989 * [taylor]: Taking taylor expansion of y in y
0.989 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
0.989 * [taylor]: Taking taylor expansion of 2.0 in y
0.989 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
0.989 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.989 * [taylor]: Taking taylor expansion of z in y
0.989 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in x
0.989 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in x
0.989 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in x
0.989 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
0.989 * [taylor]: Taking taylor expansion of 0.5 in x
0.989 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.989 * [taylor]: Taking taylor expansion of x in x
0.989 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.989 * [taylor]: Taking taylor expansion of y in x
0.989 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.990 * [taylor]: Taking taylor expansion of 2.0 in x
0.990 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
0.990 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.990 * [taylor]: Taking taylor expansion of z in x
0.990 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in x
0.990 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in x
0.990 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in x
0.990 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
0.990 * [taylor]: Taking taylor expansion of 0.5 in x
0.990 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.990 * [taylor]: Taking taylor expansion of x in x
0.990 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.990 * [taylor]: Taking taylor expansion of y in x
0.990 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
0.990 * [taylor]: Taking taylor expansion of 2.0 in x
0.990 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
0.990 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.990 * [taylor]: Taking taylor expansion of z in x
0.990 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt (/ 1 z)))) in y
0.990 * [taylor]: Taking taylor expansion of 0.5 in y
0.990 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in y
0.990 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
0.990 * [taylor]: Taking taylor expansion of 2.0 in y
0.990 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
0.990 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.990 * [taylor]: Taking taylor expansion of z in y
0.991 * [taylor]: Taking taylor expansion of (neg (* (/ (sqrt 2.0) y) (sqrt (/ 1 z)))) in y
0.991 * [taylor]: Taking taylor expansion of (* (/ (sqrt 2.0) y) (sqrt (/ 1 z))) in y
0.991 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) y) in y
0.991 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
0.991 * [taylor]: Taking taylor expansion of 2.0 in y
0.991 * [taylor]: Taking taylor expansion of y in y
0.991 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
0.991 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.991 * [taylor]: Taking taylor expansion of z in y
0.991 * [taylor]: Taking taylor expansion of (neg (* (sqrt 2.0) (sqrt (/ 1 z)))) in z
0.991 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in z
0.991 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
0.991 * [taylor]: Taking taylor expansion of 2.0 in z
0.991 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
0.991 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.991 * [taylor]: Taking taylor expansion of z in z
0.991 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt (/ 1 z)))) in z
0.991 * [taylor]: Taking taylor expansion of 0.5 in z
0.991 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in z
0.991 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
0.991 * [taylor]: Taking taylor expansion of 2.0 in z
0.992 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
0.992 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.992 * [taylor]: Taking taylor expansion of z in z
0.992 * [taylor]: Taking taylor expansion of 0 in y
0.992 * [taylor]: Taking taylor expansion of 0 in z
0.992 * [taylor]: Taking taylor expansion of 0 in z
0.993 * [taylor]: Taking taylor expansion of 0 in y
0.993 * [taylor]: Taking taylor expansion of 0 in z
0.993 * [taylor]: Taking taylor expansion of 0 in z
0.994 * [taylor]: Taking taylor expansion of 0 in z
0.995 * [approximate]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in (x y z) around 0
0.995 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in z
0.995 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 z)) in z
0.995 * [taylor]: Taking taylor expansion of (/ -2.0 z) in z
0.995 * [taylor]: Taking taylor expansion of -2.0 in z
0.995 * [taylor]: Taking taylor expansion of z in z
0.995 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in z
0.995 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.995 * [taylor]: Taking taylor expansion of y in z
0.995 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z
0.995 * [taylor]: Taking taylor expansion of 0.5 in z
0.995 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.995 * [taylor]: Taking taylor expansion of x in z
0.995 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in y
0.995 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 z)) in y
0.995 * [taylor]: Taking taylor expansion of (/ -2.0 z) in y
0.995 * [taylor]: Taking taylor expansion of -2.0 in y
0.995 * [taylor]: Taking taylor expansion of z in y
0.995 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in y
0.995 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.995 * [taylor]: Taking taylor expansion of y in y
0.995 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
0.995 * [taylor]: Taking taylor expansion of 0.5 in y
0.995 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.995 * [taylor]: Taking taylor expansion of x in y
0.995 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in x
0.995 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 z)) in x
0.995 * [taylor]: Taking taylor expansion of (/ -2.0 z) in x
0.995 * [taylor]: Taking taylor expansion of -2.0 in x
0.996 * [taylor]: Taking taylor expansion of z in x
0.996 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in x
0.996 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.996 * [taylor]: Taking taylor expansion of y in x
0.996 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
0.996 * [taylor]: Taking taylor expansion of 0.5 in x
0.996 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.996 * [taylor]: Taking taylor expansion of x in x
0.996 * [taylor]: Taking taylor expansion of (* (sqrt (/ -2.0 z)) (- (/ 1 y) (* 0.5 (/ 1 x)))) in x
0.996 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 z)) in x
0.996 * [taylor]: Taking taylor expansion of (/ -2.0 z) in x
0.996 * [taylor]: Taking taylor expansion of -2.0 in x
0.996 * [taylor]: Taking taylor expansion of z in x
0.996 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in x
0.996 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.996 * [taylor]: Taking taylor expansion of y in x
0.996 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
0.996 * [taylor]: Taking taylor expansion of 0.5 in x
0.996 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.996 * [taylor]: Taking taylor expansion of x in x
0.996 * [taylor]: Taking taylor expansion of (* -0.5 (sqrt (/ -2.0 z))) in y
0.996 * [taylor]: Taking taylor expansion of -0.5 in y
0.996 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 z)) in y
0.996 * [taylor]: Taking taylor expansion of (/ -2.0 z) in y
0.996 * [taylor]: Taking taylor expansion of -2.0 in y
0.996 * [taylor]: Taking taylor expansion of z in y
0.997 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -2.0 z)) y) in y
0.997 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 z)) in y
0.997 * [taylor]: Taking taylor expansion of (/ -2.0 z) in y
0.997 * [taylor]: Taking taylor expansion of -2.0 in y
0.997 * [taylor]: Taking taylor expansion of z in y
0.997 * [taylor]: Taking taylor expansion of y in y
0.997 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 z)) in z
0.997 * [taylor]: Taking taylor expansion of (/ -2.0 z) in z
0.997 * [taylor]: Taking taylor expansion of -2.0 in z
0.997 * [taylor]: Taking taylor expansion of z in z
0.997 * [taylor]: Taking taylor expansion of (* -0.5 (sqrt (/ -2.0 z))) in z
0.997 * [taylor]: Taking taylor expansion of -0.5 in z
0.997 * [taylor]: Taking taylor expansion of (sqrt (/ -2.0 z)) in z
0.997 * [taylor]: Taking taylor expansion of (/ -2.0 z) in z
0.997 * [taylor]: Taking taylor expansion of -2.0 in z
0.997 * [taylor]: Taking taylor expansion of z in z
0.997 * [taylor]: Taking taylor expansion of 0 in y
0.998 * [taylor]: Taking taylor expansion of 0 in z
0.998 * [taylor]: Taking taylor expansion of 0 in z
0.998 * [taylor]: Taking taylor expansion of 0 in y
0.998 * [taylor]: Taking taylor expansion of 0 in z
0.998 * [taylor]: Taking taylor expansion of 0 in z
0.999 * [taylor]: Taking taylor expansion of 0 in z
0.999 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
0.999 * [approximate]: Taking taylor expansion of (* 0.5 (pow t 2)) in (t) around 0
0.999 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
0.999 * [taylor]: Taking taylor expansion of 0.5 in t
0.999 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.999 * [taylor]: Taking taylor expansion of t in t
0.999 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
0.999 * [taylor]: Taking taylor expansion of 0.5 in t
0.999 * [taylor]: Taking taylor expansion of (pow t 2) in t
0.999 * [taylor]: Taking taylor expansion of t in t
1.000 * [approximate]: Taking taylor expansion of (/ 0.5 (pow t 2)) in (t) around 0
1.000 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.000 * [taylor]: Taking taylor expansion of 0.5 in t
1.000 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.000 * [taylor]: Taking taylor expansion of t in t
1.000 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.000 * [taylor]: Taking taylor expansion of 0.5 in t
1.000 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.000 * [taylor]: Taking taylor expansion of t in t
1.001 * [approximate]: Taking taylor expansion of (/ 0.5 (pow t 2)) in (t) around 0
1.001 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.001 * [taylor]: Taking taylor expansion of 0.5 in t
1.001 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.001 * [taylor]: Taking taylor expansion of t in t
1.001 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.001 * [taylor]: Taking taylor expansion of 0.5 in t
1.001 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.001 * [taylor]: Taking taylor expansion of t in t
1.002 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
1.002 * [approximate]: Taking taylor expansion of (exp (* 0.5 (pow t 2))) in (t) around 0
1.002 * [taylor]: Taking taylor expansion of (exp (* 0.5 (pow t 2))) in t
1.002 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
1.002 * [taylor]: Taking taylor expansion of 0.5 in t
1.002 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.002 * [taylor]: Taking taylor expansion of t in t
1.002 * [taylor]: Taking taylor expansion of (exp (* 0.5 (pow t 2))) in t
1.002 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
1.003 * [taylor]: Taking taylor expansion of 0.5 in t
1.003 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.003 * [taylor]: Taking taylor expansion of t in t
1.004 * [approximate]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in (t) around 0
1.004 * [taylor]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in t
1.004 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.004 * [taylor]: Taking taylor expansion of 0.5 in t
1.004 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.004 * [taylor]: Taking taylor expansion of t in t
1.004 * [taylor]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in t
1.004 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.004 * [taylor]: Taking taylor expansion of 0.5 in t
1.004 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.004 * [taylor]: Taking taylor expansion of t in t
1.005 * [approximate]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in (t) around 0
1.005 * [taylor]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in t
1.005 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.005 * [taylor]: Taking taylor expansion of 0.5 in t
1.005 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.005 * [taylor]: Taking taylor expansion of t in t
1.005 * [taylor]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in t
1.005 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.005 * [taylor]: Taking taylor expansion of 0.5 in t
1.005 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.005 * [taylor]: Taking taylor expansion of t in t
1.005 * * * [progress]: simplifying candidates
1.006 * [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)))
1.010 * * [simplify]: iteration  0 :  301  enodes  (cost  327 )
1.015 * * [simplify]: iteration  1 :  1157  enodes  (cost  291 )
1.037 * * [simplify]: iteration  2 :  5001  enodes  (cost  291 )
1.039 * [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)))
1.040 * * * [progress]: adding candidates to table
1.147 * * [progress]: iteration 2 / 4
1.147 * * * [progress]: picking best candidate
1.180 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0))))>
1.180 * * * [progress]: localizing error
1.194 * * * [progress]: generating rewritten candidates
1.194 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.203 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1.210 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
1.214 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.218 * * * [progress]: generating series expansions
1.218 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.218 * [approximate]: Taking taylor expansion of (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z)) in (x y z) around 0
1.218 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z)) in z
1.218 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in z
1.218 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.218 * [taylor]: Taking taylor expansion of 2.0 in z
1.218 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in z
1.218 * [taylor]: Taking taylor expansion of (* 0.5 x) in z
1.218 * [taylor]: Taking taylor expansion of 0.5 in z
1.218 * [taylor]: Taking taylor expansion of x in z
1.218 * [taylor]: Taking taylor expansion of y in z
1.219 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.219 * [taylor]: Taking taylor expansion of z in z
1.219 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z)) in y
1.219 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in y
1.219 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.219 * [taylor]: Taking taylor expansion of 2.0 in y
1.219 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in y
1.219 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
1.219 * [taylor]: Taking taylor expansion of 0.5 in y
1.219 * [taylor]: Taking taylor expansion of x in y
1.219 * [taylor]: Taking taylor expansion of y in y
1.219 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.219 * [taylor]: Taking taylor expansion of z in y
1.219 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z)) in x
1.219 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in x
1.219 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.219 * [taylor]: Taking taylor expansion of 2.0 in x
1.219 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in x
1.219 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.219 * [taylor]: Taking taylor expansion of 0.5 in x
1.219 * [taylor]: Taking taylor expansion of x in x
1.219 * [taylor]: Taking taylor expansion of y in x
1.219 * [taylor]: Taking taylor expansion of (sqrt z) in x
1.219 * [taylor]: Taking taylor expansion of z in x
1.219 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) (- (* 0.5 x) y)) (sqrt z)) in x
1.219 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in x
1.219 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.219 * [taylor]: Taking taylor expansion of 2.0 in x
1.219 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in x
1.219 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.219 * [taylor]: Taking taylor expansion of 0.5 in x
1.219 * [taylor]: Taking taylor expansion of x in x
1.219 * [taylor]: Taking taylor expansion of y in x
1.219 * [taylor]: Taking taylor expansion of (sqrt z) in x
1.219 * [taylor]: Taking taylor expansion of z in x
1.220 * [taylor]: Taking taylor expansion of (* -1 (* (* (sqrt 2.0) y) (sqrt z))) in y
1.220 * [taylor]: Taking taylor expansion of -1 in y
1.220 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) y) (sqrt z)) in y
1.220 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) y) in y
1.220 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.220 * [taylor]: Taking taylor expansion of 2.0 in y
1.220 * [taylor]: Taking taylor expansion of y in y
1.220 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.220 * [taylor]: Taking taylor expansion of z in y
1.220 * [taylor]: Taking taylor expansion of 0 in z
1.220 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt z))) in y
1.220 * [taylor]: Taking taylor expansion of 0.5 in y
1.220 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in y
1.220 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.220 * [taylor]: Taking taylor expansion of 2.0 in y
1.220 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.220 * [taylor]: Taking taylor expansion of z in y
1.220 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt z))) in z
1.220 * [taylor]: Taking taylor expansion of 0.5 in z
1.220 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in z
1.220 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.220 * [taylor]: Taking taylor expansion of 2.0 in z
1.220 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.220 * [taylor]: Taking taylor expansion of z in z
1.221 * [taylor]: Taking taylor expansion of (neg (* (sqrt 2.0) (sqrt z))) in z
1.221 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in z
1.221 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.221 * [taylor]: Taking taylor expansion of 2.0 in z
1.221 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.221 * [taylor]: Taking taylor expansion of z in z
1.221 * [taylor]: Taking taylor expansion of 0 in y
1.221 * [taylor]: Taking taylor expansion of 0 in z
1.222 * [taylor]: Taking taylor expansion of 0 in z
1.222 * [approximate]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in (x y z) around 0
1.222 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
1.222 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in z
1.222 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in z
1.222 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z
1.222 * [taylor]: Taking taylor expansion of 0.5 in z
1.222 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.222 * [taylor]: Taking taylor expansion of x in z
1.222 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.222 * [taylor]: Taking taylor expansion of y in z
1.222 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.222 * [taylor]: Taking taylor expansion of 2.0 in z
1.222 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.222 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.222 * [taylor]: Taking taylor expansion of z in z
1.222 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in y
1.222 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in y
1.222 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in y
1.222 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
1.222 * [taylor]: Taking taylor expansion of 0.5 in y
1.222 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.222 * [taylor]: Taking taylor expansion of x in y
1.222 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.222 * [taylor]: Taking taylor expansion of y in y
1.222 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.222 * [taylor]: Taking taylor expansion of 2.0 in y
1.222 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.222 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.222 * [taylor]: Taking taylor expansion of z in y
1.223 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in x
1.223 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in x
1.223 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in x
1.223 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.223 * [taylor]: Taking taylor expansion of 0.5 in x
1.223 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.223 * [taylor]: Taking taylor expansion of x in x
1.223 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.223 * [taylor]: Taking taylor expansion of y in x
1.223 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.223 * [taylor]: Taking taylor expansion of 2.0 in x
1.223 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
1.223 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.223 * [taylor]: Taking taylor expansion of z in x
1.223 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in x
1.223 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in x
1.223 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in x
1.223 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.223 * [taylor]: Taking taylor expansion of 0.5 in x
1.223 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.223 * [taylor]: Taking taylor expansion of x in x
1.223 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.223 * [taylor]: Taking taylor expansion of y in x
1.223 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.223 * [taylor]: Taking taylor expansion of 2.0 in x
1.223 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
1.223 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.223 * [taylor]: Taking taylor expansion of z in x
1.223 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt (/ 1 z)))) in y
1.223 * [taylor]: Taking taylor expansion of 0.5 in y
1.224 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in y
1.224 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.224 * [taylor]: Taking taylor expansion of 2.0 in y
1.224 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.224 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.224 * [taylor]: Taking taylor expansion of z in y
1.224 * [taylor]: Taking taylor expansion of (neg (* (/ (sqrt 2.0) y) (sqrt (/ 1 z)))) in y
1.224 * [taylor]: Taking taylor expansion of (* (/ (sqrt 2.0) y) (sqrt (/ 1 z))) in y
1.224 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) y) in y
1.224 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.224 * [taylor]: Taking taylor expansion of 2.0 in y
1.224 * [taylor]: Taking taylor expansion of y in y
1.224 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.224 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.224 * [taylor]: Taking taylor expansion of z in y
1.224 * [taylor]: Taking taylor expansion of (neg (* (sqrt 2.0) (sqrt (/ 1 z)))) in z
1.224 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in z
1.224 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.224 * [taylor]: Taking taylor expansion of 2.0 in z
1.225 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.225 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.225 * [taylor]: Taking taylor expansion of z in z
1.225 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt (/ 1 z)))) in z
1.225 * [taylor]: Taking taylor expansion of 0.5 in z
1.225 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in z
1.225 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.225 * [taylor]: Taking taylor expansion of 2.0 in z
1.225 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.225 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.225 * [taylor]: Taking taylor expansion of z in z
1.225 * [taylor]: Taking taylor expansion of 0 in y
1.226 * [taylor]: Taking taylor expansion of 0 in z
1.226 * [taylor]: Taking taylor expansion of 0 in z
1.226 * [taylor]: Taking taylor expansion of 0 in y
1.226 * [taylor]: Taking taylor expansion of 0 in z
1.227 * [taylor]: Taking taylor expansion of 0 in z
1.227 * [taylor]: Taking taylor expansion of 0 in z
1.228 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in (x y z) around 0
1.228 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in z
1.228 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.228 * [taylor]: Taking taylor expansion of 2.0 in z
1.228 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in z
1.228 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in z
1.228 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.228 * [taylor]: Taking taylor expansion of y in z
1.228 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z
1.228 * [taylor]: Taking taylor expansion of 0.5 in z
1.229 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.229 * [taylor]: Taking taylor expansion of x in z
1.229 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.229 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.229 * [taylor]: Taking taylor expansion of -1 in z
1.229 * [taylor]: Taking taylor expansion of z in z
1.229 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in y
1.229 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.229 * [taylor]: Taking taylor expansion of 2.0 in y
1.229 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in y
1.229 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in y
1.229 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.229 * [taylor]: Taking taylor expansion of y in y
1.229 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
1.229 * [taylor]: Taking taylor expansion of 0.5 in y
1.229 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.229 * [taylor]: Taking taylor expansion of x in y
1.229 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.229 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.229 * [taylor]: Taking taylor expansion of -1 in y
1.229 * [taylor]: Taking taylor expansion of z in y
1.229 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in x
1.229 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.229 * [taylor]: Taking taylor expansion of 2.0 in x
1.229 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in x
1.229 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in x
1.229 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.229 * [taylor]: Taking taylor expansion of y in x
1.229 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.229 * [taylor]: Taking taylor expansion of 0.5 in x
1.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.229 * [taylor]: Taking taylor expansion of x in x
1.230 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
1.230 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.230 * [taylor]: Taking taylor expansion of -1 in x
1.230 * [taylor]: Taking taylor expansion of z in x
1.230 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in x
1.230 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.230 * [taylor]: Taking taylor expansion of 2.0 in x
1.230 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in x
1.230 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in x
1.230 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.230 * [taylor]: Taking taylor expansion of y in x
1.230 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.230 * [taylor]: Taking taylor expansion of 0.5 in x
1.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.230 * [taylor]: Taking taylor expansion of x in x
1.230 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
1.230 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.230 * [taylor]: Taking taylor expansion of -1 in x
1.230 * [taylor]: Taking taylor expansion of z in x
1.230 * [taylor]: Taking taylor expansion of (* -0.5 (* (sqrt 2.0) (sqrt (/ -1 z)))) in y
1.230 * [taylor]: Taking taylor expansion of -0.5 in y
1.230 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in y
1.230 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.230 * [taylor]: Taking taylor expansion of 2.0 in y
1.230 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.230 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.230 * [taylor]: Taking taylor expansion of -1 in y
1.230 * [taylor]: Taking taylor expansion of z in y
1.231 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (sqrt (/ -1 z))) y) in y
1.231 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in y
1.231 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.231 * [taylor]: Taking taylor expansion of 2.0 in y
1.231 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.231 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.231 * [taylor]: Taking taylor expansion of -1 in y
1.231 * [taylor]: Taking taylor expansion of z in y
1.231 * [taylor]: Taking taylor expansion of y in y
1.231 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in z
1.231 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.231 * [taylor]: Taking taylor expansion of 2.0 in z
1.231 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.231 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.231 * [taylor]: Taking taylor expansion of -1 in z
1.231 * [taylor]: Taking taylor expansion of z in z
1.231 * [taylor]: Taking taylor expansion of (* -0.5 (* (sqrt 2.0) (sqrt (/ -1 z)))) in z
1.231 * [taylor]: Taking taylor expansion of -0.5 in z
1.231 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in z
1.231 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.231 * [taylor]: Taking taylor expansion of 2.0 in z
1.232 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.232 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.232 * [taylor]: Taking taylor expansion of -1 in z
1.232 * [taylor]: Taking taylor expansion of z in z
1.232 * [taylor]: Taking taylor expansion of 0 in y
1.232 * [taylor]: Taking taylor expansion of 0 in z
1.232 * [taylor]: Taking taylor expansion of 0 in z
1.233 * [taylor]: Taking taylor expansion of 0 in y
1.233 * [taylor]: Taking taylor expansion of 0 in z
1.234 * [taylor]: Taking taylor expansion of 0 in z
1.234 * [taylor]: Taking taylor expansion of 0 in z
1.235 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1.235 * [approximate]: Taking taylor expansion of (* (sqrt z) (- (* 0.5 x) y)) in (x y z) around 0
1.235 * [taylor]: Taking taylor expansion of (* (sqrt z) (- (* 0.5 x) y)) in z
1.235 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.235 * [taylor]: Taking taylor expansion of z in z
1.235 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in z
1.235 * [taylor]: Taking taylor expansion of (* 0.5 x) in z
1.235 * [taylor]: Taking taylor expansion of 0.5 in z
1.235 * [taylor]: Taking taylor expansion of x in z
1.235 * [taylor]: Taking taylor expansion of y in z
1.235 * [taylor]: Taking taylor expansion of (* (sqrt z) (- (* 0.5 x) y)) in y
1.235 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.235 * [taylor]: Taking taylor expansion of z in y
1.235 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in y
1.235 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
1.235 * [taylor]: Taking taylor expansion of 0.5 in y
1.235 * [taylor]: Taking taylor expansion of x in y
1.235 * [taylor]: Taking taylor expansion of y in y
1.235 * [taylor]: Taking taylor expansion of (* (sqrt z) (- (* 0.5 x) y)) in x
1.235 * [taylor]: Taking taylor expansion of (sqrt z) in x
1.235 * [taylor]: Taking taylor expansion of z in x
1.235 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in x
1.235 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.235 * [taylor]: Taking taylor expansion of 0.5 in x
1.235 * [taylor]: Taking taylor expansion of x in x
1.235 * [taylor]: Taking taylor expansion of y in x
1.235 * [taylor]: Taking taylor expansion of (* (sqrt z) (- (* 0.5 x) y)) in x
1.235 * [taylor]: Taking taylor expansion of (sqrt z) in x
1.235 * [taylor]: Taking taylor expansion of z in x
1.235 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in x
1.235 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.235 * [taylor]: Taking taylor expansion of 0.5 in x
1.235 * [taylor]: Taking taylor expansion of x in x
1.235 * [taylor]: Taking taylor expansion of y in x
1.236 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt z) y)) in y
1.236 * [taylor]: Taking taylor expansion of -1 in y
1.236 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y
1.236 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.236 * [taylor]: Taking taylor expansion of z in y
1.236 * [taylor]: Taking taylor expansion of y in y
1.236 * [taylor]: Taking taylor expansion of 0 in z
1.236 * [taylor]: Taking taylor expansion of (* 0.5 (sqrt z)) in y
1.236 * [taylor]: Taking taylor expansion of 0.5 in y
1.236 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.236 * [taylor]: Taking taylor expansion of z in y
1.236 * [taylor]: Taking taylor expansion of (* 0.5 (sqrt z)) in z
1.236 * [taylor]: Taking taylor expansion of 0.5 in z
1.236 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.236 * [taylor]: Taking taylor expansion of z in z
1.238 * [taylor]: Taking taylor expansion of (neg (sqrt z)) in z
1.238 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.238 * [taylor]: Taking taylor expansion of z in z
1.238 * [taylor]: Taking taylor expansion of 0 in y
1.238 * [taylor]: Taking taylor expansion of 0 in z
1.238 * [taylor]: Taking taylor expansion of 0 in z
1.239 * [approximate]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt (/ 1 z))) in (x y z) around 0
1.239 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt (/ 1 z))) in z
1.239 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in z
1.239 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z
1.239 * [taylor]: Taking taylor expansion of 0.5 in z
1.239 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.239 * [taylor]: Taking taylor expansion of x in z
1.239 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.239 * [taylor]: Taking taylor expansion of y in z
1.239 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.239 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.239 * [taylor]: Taking taylor expansion of z in z
1.239 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt (/ 1 z))) in y
1.239 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in y
1.239 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
1.239 * [taylor]: Taking taylor expansion of 0.5 in y
1.239 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.239 * [taylor]: Taking taylor expansion of x in y
1.239 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.239 * [taylor]: Taking taylor expansion of y in y
1.239 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.239 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.239 * [taylor]: Taking taylor expansion of z in y
1.239 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt (/ 1 z))) in x
1.239 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in x
1.239 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.239 * [taylor]: Taking taylor expansion of 0.5 in x
1.239 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.239 * [taylor]: Taking taylor expansion of x in x
1.239 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.239 * [taylor]: Taking taylor expansion of y in x
1.239 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
1.239 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.239 * [taylor]: Taking taylor expansion of z in x
1.240 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt (/ 1 z))) in x
1.240 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in x
1.240 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.240 * [taylor]: Taking taylor expansion of 0.5 in x
1.240 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.240 * [taylor]: Taking taylor expansion of x in x
1.240 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.240 * [taylor]: Taking taylor expansion of y in x
1.240 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
1.240 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.240 * [taylor]: Taking taylor expansion of z in x
1.240 * [taylor]: Taking taylor expansion of (* 0.5 (sqrt (/ 1 z))) in y
1.240 * [taylor]: Taking taylor expansion of 0.5 in y
1.240 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.240 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.240 * [taylor]: Taking taylor expansion of z in y
1.240 * [taylor]: Taking taylor expansion of (neg (* (sqrt (/ 1 z)) (/ 1 y))) in y
1.240 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y
1.240 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.240 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.240 * [taylor]: Taking taylor expansion of z in y
1.240 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.240 * [taylor]: Taking taylor expansion of y in y
1.241 * [taylor]: Taking taylor expansion of (neg (sqrt (/ 1 z))) in z
1.241 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.241 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.241 * [taylor]: Taking taylor expansion of z in z
1.241 * [taylor]: Taking taylor expansion of (* 0.5 (sqrt (/ 1 z))) in z
1.241 * [taylor]: Taking taylor expansion of 0.5 in z
1.241 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.241 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.241 * [taylor]: Taking taylor expansion of z in z
1.241 * [taylor]: Taking taylor expansion of 0 in y
1.241 * [taylor]: Taking taylor expansion of 0 in z
1.241 * [taylor]: Taking taylor expansion of 0 in z
1.242 * [taylor]: Taking taylor expansion of 0 in y
1.242 * [taylor]: Taking taylor expansion of 0 in z
1.242 * [taylor]: Taking taylor expansion of 0 in z
1.242 * [taylor]: Taking taylor expansion of 0 in z
1.243 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in (x y z) around 0
1.243 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in z
1.243 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in z
1.243 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.243 * [taylor]: Taking taylor expansion of y in z
1.243 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z
1.243 * [taylor]: Taking taylor expansion of 0.5 in z
1.243 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.243 * [taylor]: Taking taylor expansion of x in z
1.243 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.243 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.243 * [taylor]: Taking taylor expansion of -1 in z
1.243 * [taylor]: Taking taylor expansion of z in z
1.243 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in y
1.243 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in y
1.243 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.243 * [taylor]: Taking taylor expansion of y in y
1.243 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
1.243 * [taylor]: Taking taylor expansion of 0.5 in y
1.243 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.243 * [taylor]: Taking taylor expansion of x in y
1.243 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.243 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.243 * [taylor]: Taking taylor expansion of -1 in y
1.243 * [taylor]: Taking taylor expansion of z in y
1.244 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in x
1.244 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in x
1.244 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.244 * [taylor]: Taking taylor expansion of y in x
1.244 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.244 * [taylor]: Taking taylor expansion of 0.5 in x
1.244 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.244 * [taylor]: Taking taylor expansion of x in x
1.244 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
1.244 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.244 * [taylor]: Taking taylor expansion of -1 in x
1.244 * [taylor]: Taking taylor expansion of z in x
1.244 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in x
1.244 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in x
1.244 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.244 * [taylor]: Taking taylor expansion of y in x
1.244 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.244 * [taylor]: Taking taylor expansion of 0.5 in x
1.244 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.244 * [taylor]: Taking taylor expansion of x in x
1.244 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
1.244 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.244 * [taylor]: Taking taylor expansion of -1 in x
1.244 * [taylor]: Taking taylor expansion of z in x
1.244 * [taylor]: Taking taylor expansion of (* -0.5 (sqrt (/ -1 z))) in y
1.244 * [taylor]: Taking taylor expansion of -0.5 in y
1.244 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.244 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.244 * [taylor]: Taking taylor expansion of -1 in y
1.244 * [taylor]: Taking taylor expansion of z in y
1.245 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y
1.245 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.245 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.245 * [taylor]: Taking taylor expansion of -1 in y
1.245 * [taylor]: Taking taylor expansion of z in y
1.245 * [taylor]: Taking taylor expansion of y in y
1.245 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.245 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.245 * [taylor]: Taking taylor expansion of -1 in z
1.245 * [taylor]: Taking taylor expansion of z in z
1.245 * [taylor]: Taking taylor expansion of (* -0.5 (sqrt (/ -1 z))) in z
1.245 * [taylor]: Taking taylor expansion of -0.5 in z
1.245 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.245 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.245 * [taylor]: Taking taylor expansion of -1 in z
1.245 * [taylor]: Taking taylor expansion of z in z
1.246 * [taylor]: Taking taylor expansion of 0 in y
1.246 * [taylor]: Taking taylor expansion of 0 in z
1.246 * [taylor]: Taking taylor expansion of 0 in z
1.246 * [taylor]: Taking taylor expansion of 0 in y
1.246 * [taylor]: Taking taylor expansion of 0 in z
1.246 * [taylor]: Taking taylor expansion of 0 in z
1.247 * [taylor]: Taking taylor expansion of 0 in z
1.247 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
1.247 * [approximate]: Taking taylor expansion of (* 0.5 (pow t 2)) in (t) around 0
1.247 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
1.247 * [taylor]: Taking taylor expansion of 0.5 in t
1.247 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.247 * [taylor]: Taking taylor expansion of t in t
1.247 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
1.247 * [taylor]: Taking taylor expansion of 0.5 in t
1.247 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.247 * [taylor]: Taking taylor expansion of t in t
1.248 * [approximate]: Taking taylor expansion of (/ 0.5 (pow t 2)) in (t) around 0
1.248 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.248 * [taylor]: Taking taylor expansion of 0.5 in t
1.248 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.248 * [taylor]: Taking taylor expansion of t in t
1.248 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.248 * [taylor]: Taking taylor expansion of 0.5 in t
1.248 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.248 * [taylor]: Taking taylor expansion of t in t
1.249 * [approximate]: Taking taylor expansion of (/ 0.5 (pow t 2)) in (t) around 0
1.249 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.249 * [taylor]: Taking taylor expansion of 0.5 in t
1.249 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.249 * [taylor]: Taking taylor expansion of t in t
1.249 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.249 * [taylor]: Taking taylor expansion of 0.5 in t
1.249 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.249 * [taylor]: Taking taylor expansion of t in t
1.250 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.250 * [approximate]: Taking taylor expansion of (exp (* 0.5 (pow t 2))) in (t) around 0
1.250 * [taylor]: Taking taylor expansion of (exp (* 0.5 (pow t 2))) in t
1.250 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
1.250 * [taylor]: Taking taylor expansion of 0.5 in t
1.250 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.250 * [taylor]: Taking taylor expansion of t in t
1.250 * [taylor]: Taking taylor expansion of (exp (* 0.5 (pow t 2))) in t
1.250 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
1.250 * [taylor]: Taking taylor expansion of 0.5 in t
1.250 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.250 * [taylor]: Taking taylor expansion of t in t
1.251 * [approximate]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in (t) around 0
1.251 * [taylor]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in t
1.251 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.251 * [taylor]: Taking taylor expansion of 0.5 in t
1.251 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.251 * [taylor]: Taking taylor expansion of t in t
1.252 * [taylor]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in t
1.252 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.252 * [taylor]: Taking taylor expansion of 0.5 in t
1.252 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.252 * [taylor]: Taking taylor expansion of t in t
1.252 * [approximate]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in (t) around 0
1.252 * [taylor]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in t
1.252 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.252 * [taylor]: Taking taylor expansion of 0.5 in t
1.252 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.252 * [taylor]: Taking taylor expansion of t in t
1.252 * [taylor]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in t
1.252 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.252 * [taylor]: Taking taylor expansion of 0.5 in t
1.252 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.252 * [taylor]: Taking taylor expansion of t in t
1.253 * * * [progress]: simplifying candidates
1.254 * [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.259 * * [simplify]: iteration  0 :  395  enodes  (cost  527 )
1.268 * * [simplify]: iteration  1 :  1723  enodes  (cost  471 )
1.298 * * [simplify]: iteration  2 :  5001  enodes  (cost  467 )
1.301 * [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.301 * * * [progress]: adding candidates to table
1.438 * * [progress]: iteration 3 / 4
1.438 * * * [progress]: picking best candidate
1.468 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (* (- (* x 0.5) y) (* (sqrt z) (sqrt 2.0))) (exp (/ (* t t) 2.0))))>
1.468 * * * [progress]: localizing error
1.481 * * * [progress]: generating rewritten candidates
1.481 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
1.487 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1.496 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
1.500 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.504 * * * [progress]: generating series expansions
1.504 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
1.504 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in (z) around 0
1.504 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in z
1.504 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.504 * [taylor]: Taking taylor expansion of 2.0 in z
1.504 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.504 * [taylor]: Taking taylor expansion of z in z
1.504 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in z
1.504 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.504 * [taylor]: Taking taylor expansion of 2.0 in z
1.504 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.504 * [taylor]: Taking taylor expansion of z in z
1.506 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in (z) around 0
1.506 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in z
1.506 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.506 * [taylor]: Taking taylor expansion of 2.0 in z
1.506 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.506 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.506 * [taylor]: Taking taylor expansion of z in z
1.506 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in z
1.506 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.506 * [taylor]: Taking taylor expansion of 2.0 in z
1.506 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.506 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.506 * [taylor]: Taking taylor expansion of z in z
1.507 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in (z) around 0
1.507 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in z
1.508 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.508 * [taylor]: Taking taylor expansion of 2.0 in z
1.508 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.508 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.508 * [taylor]: Taking taylor expansion of -1 in z
1.508 * [taylor]: Taking taylor expansion of z in z
1.508 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in z
1.508 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.508 * [taylor]: Taking taylor expansion of 2.0 in z
1.508 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.508 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.508 * [taylor]: Taking taylor expansion of -1 in z
1.508 * [taylor]: Taking taylor expansion of z in z
1.509 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1.509 * [approximate]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in (x y z) around 0
1.509 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in z
1.509 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.509 * [taylor]: Taking taylor expansion of z in z
1.510 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in z
1.510 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.510 * [taylor]: Taking taylor expansion of 2.0 in z
1.510 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in z
1.510 * [taylor]: Taking taylor expansion of (* 0.5 x) in z
1.510 * [taylor]: Taking taylor expansion of 0.5 in z
1.510 * [taylor]: Taking taylor expansion of x in z
1.510 * [taylor]: Taking taylor expansion of y in z
1.510 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in y
1.510 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.510 * [taylor]: Taking taylor expansion of z in y
1.510 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in y
1.510 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.510 * [taylor]: Taking taylor expansion of 2.0 in y
1.510 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in y
1.510 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
1.510 * [taylor]: Taking taylor expansion of 0.5 in y
1.510 * [taylor]: Taking taylor expansion of x in y
1.510 * [taylor]: Taking taylor expansion of y in y
1.510 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in x
1.510 * [taylor]: Taking taylor expansion of (sqrt z) in x
1.510 * [taylor]: Taking taylor expansion of z in x
1.510 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in x
1.510 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.510 * [taylor]: Taking taylor expansion of 2.0 in x
1.510 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in x
1.510 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.510 * [taylor]: Taking taylor expansion of 0.5 in x
1.510 * [taylor]: Taking taylor expansion of x in x
1.510 * [taylor]: Taking taylor expansion of y in x
1.510 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in x
1.510 * [taylor]: Taking taylor expansion of (sqrt z) in x
1.510 * [taylor]: Taking taylor expansion of z in x
1.510 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in x
1.510 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.510 * [taylor]: Taking taylor expansion of 2.0 in x
1.510 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in x
1.510 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.510 * [taylor]: Taking taylor expansion of 0.5 in x
1.510 * [taylor]: Taking taylor expansion of x in x
1.510 * [taylor]: Taking taylor expansion of y in x
1.511 * [taylor]: Taking taylor expansion of (* -1 (* (* (sqrt 2.0) y) (sqrt z))) in y
1.511 * [taylor]: Taking taylor expansion of -1 in y
1.511 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) y) (sqrt z)) in y
1.511 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) y) in y
1.511 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.511 * [taylor]: Taking taylor expansion of 2.0 in y
1.511 * [taylor]: Taking taylor expansion of y in y
1.511 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.511 * [taylor]: Taking taylor expansion of z in y
1.511 * [taylor]: Taking taylor expansion of 0 in z
1.511 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt z))) in y
1.511 * [taylor]: Taking taylor expansion of 0.5 in y
1.511 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in y
1.511 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.511 * [taylor]: Taking taylor expansion of 2.0 in y
1.511 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.511 * [taylor]: Taking taylor expansion of z in y
1.511 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt z))) in z
1.511 * [taylor]: Taking taylor expansion of 0.5 in z
1.511 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in z
1.511 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.511 * [taylor]: Taking taylor expansion of 2.0 in z
1.511 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.511 * [taylor]: Taking taylor expansion of z in z
1.512 * [taylor]: Taking taylor expansion of (neg (* (sqrt 2.0) (sqrt z))) in z
1.512 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in z
1.512 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.512 * [taylor]: Taking taylor expansion of 2.0 in z
1.512 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.512 * [taylor]: Taking taylor expansion of z in z
1.512 * [taylor]: Taking taylor expansion of 0 in y
1.512 * [taylor]: Taking taylor expansion of 0 in z
1.512 * [taylor]: Taking taylor expansion of 0 in z
1.512 * [approximate]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in (x y z) around 0
1.512 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
1.512 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in z
1.512 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in z
1.512 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z
1.512 * [taylor]: Taking taylor expansion of 0.5 in z
1.512 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.513 * [taylor]: Taking taylor expansion of x in z
1.513 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.513 * [taylor]: Taking taylor expansion of y in z
1.513 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.513 * [taylor]: Taking taylor expansion of 2.0 in z
1.513 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.513 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.513 * [taylor]: Taking taylor expansion of z in z
1.513 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in y
1.513 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in y
1.513 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in y
1.513 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
1.513 * [taylor]: Taking taylor expansion of 0.5 in y
1.513 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.513 * [taylor]: Taking taylor expansion of x in y
1.513 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.513 * [taylor]: Taking taylor expansion of y in y
1.513 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.513 * [taylor]: Taking taylor expansion of 2.0 in y
1.513 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.513 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.513 * [taylor]: Taking taylor expansion of z in y
1.513 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in x
1.513 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in x
1.513 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in x
1.513 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.513 * [taylor]: Taking taylor expansion of 0.5 in x
1.513 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.513 * [taylor]: Taking taylor expansion of x in x
1.513 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.513 * [taylor]: Taking taylor expansion of y in x
1.513 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.513 * [taylor]: Taking taylor expansion of 2.0 in x
1.513 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
1.513 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.513 * [taylor]: Taking taylor expansion of z in x
1.514 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in x
1.514 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in x
1.514 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in x
1.514 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.514 * [taylor]: Taking taylor expansion of 0.5 in x
1.514 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.514 * [taylor]: Taking taylor expansion of x in x
1.514 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.514 * [taylor]: Taking taylor expansion of y in x
1.514 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.514 * [taylor]: Taking taylor expansion of 2.0 in x
1.514 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
1.514 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.514 * [taylor]: Taking taylor expansion of z in x
1.514 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt (/ 1 z)))) in y
1.514 * [taylor]: Taking taylor expansion of 0.5 in y
1.514 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in y
1.514 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.514 * [taylor]: Taking taylor expansion of 2.0 in y
1.514 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.514 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.514 * [taylor]: Taking taylor expansion of z in y
1.515 * [taylor]: Taking taylor expansion of (neg (* (/ (sqrt 2.0) y) (sqrt (/ 1 z)))) in y
1.515 * [taylor]: Taking taylor expansion of (* (/ (sqrt 2.0) y) (sqrt (/ 1 z))) in y
1.515 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) y) in y
1.515 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.515 * [taylor]: Taking taylor expansion of 2.0 in y
1.515 * [taylor]: Taking taylor expansion of y in y
1.515 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.515 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.515 * [taylor]: Taking taylor expansion of z in y
1.515 * [taylor]: Taking taylor expansion of (neg (* (sqrt 2.0) (sqrt (/ 1 z)))) in z
1.515 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in z
1.515 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.515 * [taylor]: Taking taylor expansion of 2.0 in z
1.515 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.515 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.515 * [taylor]: Taking taylor expansion of z in z
1.515 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt (/ 1 z)))) in z
1.515 * [taylor]: Taking taylor expansion of 0.5 in z
1.515 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in z
1.515 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.515 * [taylor]: Taking taylor expansion of 2.0 in z
1.515 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.515 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.515 * [taylor]: Taking taylor expansion of z in z
1.516 * [taylor]: Taking taylor expansion of 0 in y
1.516 * [taylor]: Taking taylor expansion of 0 in z
1.516 * [taylor]: Taking taylor expansion of 0 in z
1.517 * [taylor]: Taking taylor expansion of 0 in y
1.517 * [taylor]: Taking taylor expansion of 0 in z
1.517 * [taylor]: Taking taylor expansion of 0 in z
1.518 * [taylor]: Taking taylor expansion of 0 in z
1.519 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in (x y z) around 0
1.519 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in z
1.519 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.519 * [taylor]: Taking taylor expansion of 2.0 in z
1.519 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in z
1.519 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in z
1.519 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.519 * [taylor]: Taking taylor expansion of y in z
1.519 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z
1.519 * [taylor]: Taking taylor expansion of 0.5 in z
1.519 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.519 * [taylor]: Taking taylor expansion of x in z
1.519 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.519 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.519 * [taylor]: Taking taylor expansion of -1 in z
1.519 * [taylor]: Taking taylor expansion of z in z
1.519 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in y
1.519 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.519 * [taylor]: Taking taylor expansion of 2.0 in y
1.519 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in y
1.519 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in y
1.519 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.519 * [taylor]: Taking taylor expansion of y in y
1.519 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
1.519 * [taylor]: Taking taylor expansion of 0.5 in y
1.519 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.519 * [taylor]: Taking taylor expansion of x in y
1.519 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.519 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.519 * [taylor]: Taking taylor expansion of -1 in y
1.519 * [taylor]: Taking taylor expansion of z in y
1.519 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in x
1.519 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.519 * [taylor]: Taking taylor expansion of 2.0 in x
1.519 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in x
1.519 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in x
1.520 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.520 * [taylor]: Taking taylor expansion of y in x
1.520 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.520 * [taylor]: Taking taylor expansion of 0.5 in x
1.520 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.520 * [taylor]: Taking taylor expansion of x in x
1.520 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
1.520 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.520 * [taylor]: Taking taylor expansion of -1 in x
1.520 * [taylor]: Taking taylor expansion of z in x
1.520 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in x
1.520 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.520 * [taylor]: Taking taylor expansion of 2.0 in x
1.520 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in x
1.520 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in x
1.520 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.520 * [taylor]: Taking taylor expansion of y in x
1.520 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.520 * [taylor]: Taking taylor expansion of 0.5 in x
1.520 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.520 * [taylor]: Taking taylor expansion of x in x
1.520 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
1.520 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.520 * [taylor]: Taking taylor expansion of -1 in x
1.520 * [taylor]: Taking taylor expansion of z in x
1.520 * [taylor]: Taking taylor expansion of (* -0.5 (* (sqrt 2.0) (sqrt (/ -1 z)))) in y
1.520 * [taylor]: Taking taylor expansion of -0.5 in y
1.520 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in y
1.520 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.520 * [taylor]: Taking taylor expansion of 2.0 in y
1.520 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.520 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.520 * [taylor]: Taking taylor expansion of -1 in y
1.520 * [taylor]: Taking taylor expansion of z in y
1.521 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (sqrt (/ -1 z))) y) in y
1.521 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in y
1.521 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.521 * [taylor]: Taking taylor expansion of 2.0 in y
1.521 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.521 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.521 * [taylor]: Taking taylor expansion of -1 in y
1.521 * [taylor]: Taking taylor expansion of z in y
1.521 * [taylor]: Taking taylor expansion of y in y
1.521 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in z
1.521 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.521 * [taylor]: Taking taylor expansion of 2.0 in z
1.521 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.521 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.521 * [taylor]: Taking taylor expansion of -1 in z
1.521 * [taylor]: Taking taylor expansion of z in z
1.522 * [taylor]: Taking taylor expansion of (* -0.5 (* (sqrt 2.0) (sqrt (/ -1 z)))) in z
1.522 * [taylor]: Taking taylor expansion of -0.5 in z
1.522 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in z
1.522 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.522 * [taylor]: Taking taylor expansion of 2.0 in z
1.522 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.522 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.522 * [taylor]: Taking taylor expansion of -1 in z
1.522 * [taylor]: Taking taylor expansion of z in z
1.522 * [taylor]: Taking taylor expansion of 0 in y
1.522 * [taylor]: Taking taylor expansion of 0 in z
1.522 * [taylor]: Taking taylor expansion of 0 in z
1.523 * [taylor]: Taking taylor expansion of 0 in y
1.523 * [taylor]: Taking taylor expansion of 0 in z
1.524 * [taylor]: Taking taylor expansion of 0 in z
1.524 * [taylor]: Taking taylor expansion of 0 in z
1.525 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
1.525 * [approximate]: Taking taylor expansion of (* 0.5 (pow t 2)) in (t) around 0
1.525 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
1.525 * [taylor]: Taking taylor expansion of 0.5 in t
1.525 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.525 * [taylor]: Taking taylor expansion of t in t
1.525 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
1.525 * [taylor]: Taking taylor expansion of 0.5 in t
1.525 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.525 * [taylor]: Taking taylor expansion of t in t
1.526 * [approximate]: Taking taylor expansion of (/ 0.5 (pow t 2)) in (t) around 0
1.526 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.526 * [taylor]: Taking taylor expansion of 0.5 in t
1.526 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.526 * [taylor]: Taking taylor expansion of t in t
1.526 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.526 * [taylor]: Taking taylor expansion of 0.5 in t
1.526 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.526 * [taylor]: Taking taylor expansion of t in t
1.527 * [approximate]: Taking taylor expansion of (/ 0.5 (pow t 2)) in (t) around 0
1.527 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.527 * [taylor]: Taking taylor expansion of 0.5 in t
1.527 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.527 * [taylor]: Taking taylor expansion of t in t
1.527 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.527 * [taylor]: Taking taylor expansion of 0.5 in t
1.527 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.527 * [taylor]: Taking taylor expansion of t in t
1.528 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.528 * [approximate]: Taking taylor expansion of (exp (* 0.5 (pow t 2))) in (t) around 0
1.528 * [taylor]: Taking taylor expansion of (exp (* 0.5 (pow t 2))) in t
1.528 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
1.528 * [taylor]: Taking taylor expansion of 0.5 in t
1.528 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.528 * [taylor]: Taking taylor expansion of t in t
1.528 * [taylor]: Taking taylor expansion of (exp (* 0.5 (pow t 2))) in t
1.528 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
1.528 * [taylor]: Taking taylor expansion of 0.5 in t
1.528 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.528 * [taylor]: Taking taylor expansion of t in t
1.531 * [approximate]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in (t) around 0
1.531 * [taylor]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in t
1.531 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.531 * [taylor]: Taking taylor expansion of 0.5 in t
1.531 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.531 * [taylor]: Taking taylor expansion of t in t
1.531 * [taylor]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in t
1.531 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.531 * [taylor]: Taking taylor expansion of 0.5 in t
1.531 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.531 * [taylor]: Taking taylor expansion of t in t
1.532 * [approximate]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in (t) around 0
1.532 * [taylor]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in t
1.532 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.532 * [taylor]: Taking taylor expansion of 0.5 in t
1.532 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.532 * [taylor]: Taking taylor expansion of t in t
1.532 * [taylor]: Taking taylor expansion of (exp (/ 0.5 (pow t 2))) in t
1.532 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.532 * [taylor]: Taking taylor expansion of 0.5 in t
1.532 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.532 * [taylor]: Taking taylor expansion of t in t
1.532 * * * [progress]: simplifying candidates
1.533 * [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.539 * * [simplify]: iteration  0 :  421  enodes  (cost  517 )
1.547 * * [simplify]: iteration  1 :  1743  enodes  (cost  471 )
1.577 * * [simplify]: iteration  2 :  5001  enodes  (cost  469 )
1.580 * [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.581 * * * [progress]: adding candidates to table
1.717 * * [progress]: iteration 4 / 4
1.717 * * * [progress]: picking best candidate
1.735 * * * * [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.735 * * * [progress]: localizing error
1.753 * * * [progress]: generating rewritten candidates
1.753 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
1.760 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.771 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.784 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
1.791 * * * [progress]: generating series expansions
1.791 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
1.791 * [approximate]: Taking taylor expansion of (sqrt (* (sqrt 2.0) z)) in (z) around 0
1.792 * [taylor]: Taking taylor expansion of (sqrt (* (sqrt 2.0) z)) in z
1.792 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) z) in z
1.792 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.792 * [taylor]: Taking taylor expansion of 2.0 in z
1.792 * [taylor]: Taking taylor expansion of z in z
1.792 * [taylor]: Taking taylor expansion of (sqrt (* (sqrt 2.0) z)) in z
1.792 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) z) in z
1.792 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.792 * [taylor]: Taking taylor expansion of 2.0 in z
1.792 * [taylor]: Taking taylor expansion of z in z
1.793 * [approximate]: Taking taylor expansion of (sqrt (/ (sqrt 2.0) z)) in (z) around 0
1.793 * [taylor]: Taking taylor expansion of (sqrt (/ (sqrt 2.0) z)) in z
1.793 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) z) in z
1.793 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.793 * [taylor]: Taking taylor expansion of 2.0 in z
1.793 * [taylor]: Taking taylor expansion of z in z
1.793 * [taylor]: Taking taylor expansion of (sqrt (/ (sqrt 2.0) z)) in z
1.794 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) z) in z
1.794 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.794 * [taylor]: Taking taylor expansion of 2.0 in z
1.794 * [taylor]: Taking taylor expansion of z in z
1.795 * [approximate]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (sqrt (/ -1 z))) in (z) around 0
1.795 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (sqrt (/ -1 z))) in z
1.795 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in z
1.795 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.795 * [taylor]: Taking taylor expansion of 2.0 in z
1.795 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.795 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.795 * [taylor]: Taking taylor expansion of -1 in z
1.795 * [taylor]: Taking taylor expansion of z in z
1.795 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (sqrt (/ -1 z))) in z
1.795 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in z
1.795 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.795 * [taylor]: Taking taylor expansion of 2.0 in z
1.795 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.795 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.795 * [taylor]: Taking taylor expansion of -1 in z
1.795 * [taylor]: Taking taylor expansion of z in z
1.797 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.797 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in (z) around 0
1.797 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in z
1.797 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.797 * [taylor]: Taking taylor expansion of 2.0 in z
1.797 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.797 * [taylor]: Taking taylor expansion of z in z
1.797 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in z
1.797 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.797 * [taylor]: Taking taylor expansion of 2.0 in z
1.797 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.797 * [taylor]: Taking taylor expansion of z in z
1.799 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in (z) around 0
1.799 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in z
1.799 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.799 * [taylor]: Taking taylor expansion of 2.0 in z
1.799 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.799 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.799 * [taylor]: Taking taylor expansion of z in z
1.799 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in z
1.799 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.799 * [taylor]: Taking taylor expansion of 2.0 in z
1.799 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.799 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.799 * [taylor]: Taking taylor expansion of z in z
1.800 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in (z) around 0
1.800 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in z
1.800 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.800 * [taylor]: Taking taylor expansion of 2.0 in z
1.800 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.800 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.800 * [taylor]: Taking taylor expansion of -1 in z
1.800 * [taylor]: Taking taylor expansion of z in z
1.800 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in z
1.800 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.800 * [taylor]: Taking taylor expansion of 2.0 in z
1.801 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.801 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.801 * [taylor]: Taking taylor expansion of -1 in z
1.801 * [taylor]: Taking taylor expansion of z in z
1.802 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.802 * [approximate]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in (x y z) around 0
1.802 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in z
1.802 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.802 * [taylor]: Taking taylor expansion of z in z
1.802 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in z
1.802 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.802 * [taylor]: Taking taylor expansion of 2.0 in z
1.802 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in z
1.802 * [taylor]: Taking taylor expansion of (* 0.5 x) in z
1.802 * [taylor]: Taking taylor expansion of 0.5 in z
1.802 * [taylor]: Taking taylor expansion of x in z
1.802 * [taylor]: Taking taylor expansion of y in z
1.802 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in y
1.802 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.802 * [taylor]: Taking taylor expansion of z in y
1.802 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in y
1.802 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.802 * [taylor]: Taking taylor expansion of 2.0 in y
1.802 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in y
1.802 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
1.802 * [taylor]: Taking taylor expansion of 0.5 in y
1.802 * [taylor]: Taking taylor expansion of x in y
1.802 * [taylor]: Taking taylor expansion of y in y
1.802 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in x
1.802 * [taylor]: Taking taylor expansion of (sqrt z) in x
1.802 * [taylor]: Taking taylor expansion of z in x
1.803 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in x
1.803 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.803 * [taylor]: Taking taylor expansion of 2.0 in x
1.803 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in x
1.803 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.803 * [taylor]: Taking taylor expansion of 0.5 in x
1.803 * [taylor]: Taking taylor expansion of x in x
1.803 * [taylor]: Taking taylor expansion of y in x
1.803 * [taylor]: Taking taylor expansion of (* (sqrt z) (* (sqrt 2.0) (- (* 0.5 x) y))) in x
1.803 * [taylor]: Taking taylor expansion of (sqrt z) in x
1.803 * [taylor]: Taking taylor expansion of z in x
1.803 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (* 0.5 x) y)) in x
1.803 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.803 * [taylor]: Taking taylor expansion of 2.0 in x
1.803 * [taylor]: Taking taylor expansion of (- (* 0.5 x) y) in x
1.803 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.803 * [taylor]: Taking taylor expansion of 0.5 in x
1.803 * [taylor]: Taking taylor expansion of x in x
1.803 * [taylor]: Taking taylor expansion of y in x
1.803 * [taylor]: Taking taylor expansion of (* -1 (* (* (sqrt 2.0) y) (sqrt z))) in y
1.803 * [taylor]: Taking taylor expansion of -1 in y
1.803 * [taylor]: Taking taylor expansion of (* (* (sqrt 2.0) y) (sqrt z)) in y
1.803 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) y) in y
1.803 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.803 * [taylor]: Taking taylor expansion of 2.0 in y
1.803 * [taylor]: Taking taylor expansion of y in y
1.803 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.803 * [taylor]: Taking taylor expansion of z in y
1.803 * [taylor]: Taking taylor expansion of 0 in z
1.804 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt z))) in y
1.804 * [taylor]: Taking taylor expansion of 0.5 in y
1.804 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in y
1.804 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.804 * [taylor]: Taking taylor expansion of 2.0 in y
1.804 * [taylor]: Taking taylor expansion of (sqrt z) in y
1.804 * [taylor]: Taking taylor expansion of z in y
1.804 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt z))) in z
1.804 * [taylor]: Taking taylor expansion of 0.5 in z
1.804 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in z
1.804 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.804 * [taylor]: Taking taylor expansion of 2.0 in z
1.804 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.804 * [taylor]: Taking taylor expansion of z in z
1.804 * [taylor]: Taking taylor expansion of (neg (* (sqrt 2.0) (sqrt z))) in z
1.804 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt z)) in z
1.804 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.804 * [taylor]: Taking taylor expansion of 2.0 in z
1.804 * [taylor]: Taking taylor expansion of (sqrt z) in z
1.804 * [taylor]: Taking taylor expansion of z in z
1.805 * [taylor]: Taking taylor expansion of 0 in y
1.805 * [taylor]: Taking taylor expansion of 0 in z
1.805 * [taylor]: Taking taylor expansion of 0 in z
1.805 * [approximate]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in (x y z) around 0
1.805 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in z
1.805 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in z
1.805 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in z
1.805 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z
1.805 * [taylor]: Taking taylor expansion of 0.5 in z
1.805 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.805 * [taylor]: Taking taylor expansion of x in z
1.805 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.805 * [taylor]: Taking taylor expansion of y in z
1.805 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.805 * [taylor]: Taking taylor expansion of 2.0 in z
1.805 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.805 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.805 * [taylor]: Taking taylor expansion of z in z
1.805 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in y
1.805 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in y
1.805 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in y
1.805 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
1.805 * [taylor]: Taking taylor expansion of 0.5 in y
1.805 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.805 * [taylor]: Taking taylor expansion of x in y
1.805 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.805 * [taylor]: Taking taylor expansion of y in y
1.805 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.805 * [taylor]: Taking taylor expansion of 2.0 in y
1.806 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.806 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.806 * [taylor]: Taking taylor expansion of z in y
1.806 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in x
1.806 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in x
1.806 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in x
1.806 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.806 * [taylor]: Taking taylor expansion of 0.5 in x
1.806 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.806 * [taylor]: Taking taylor expansion of x in x
1.806 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.806 * [taylor]: Taking taylor expansion of y in x
1.806 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.806 * [taylor]: Taking taylor expansion of 2.0 in x
1.806 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
1.806 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.806 * [taylor]: Taking taylor expansion of z in x
1.806 * [taylor]: Taking taylor expansion of (* (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) (sqrt (/ 1 z))) in x
1.806 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ 1 x)) (/ 1 y)) (sqrt 2.0)) in x
1.806 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x)) (/ 1 y)) in x
1.806 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.806 * [taylor]: Taking taylor expansion of 0.5 in x
1.806 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.806 * [taylor]: Taking taylor expansion of x in x
1.806 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.806 * [taylor]: Taking taylor expansion of y in x
1.806 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.806 * [taylor]: Taking taylor expansion of 2.0 in x
1.806 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x
1.806 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.806 * [taylor]: Taking taylor expansion of z in x
1.807 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt (/ 1 z)))) in y
1.807 * [taylor]: Taking taylor expansion of 0.5 in y
1.807 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in y
1.807 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.807 * [taylor]: Taking taylor expansion of 2.0 in y
1.807 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.807 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.807 * [taylor]: Taking taylor expansion of z in y
1.807 * [taylor]: Taking taylor expansion of (neg (* (/ (sqrt 2.0) y) (sqrt (/ 1 z)))) in y
1.807 * [taylor]: Taking taylor expansion of (* (/ (sqrt 2.0) y) (sqrt (/ 1 z))) in y
1.807 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) y) in y
1.807 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.807 * [taylor]: Taking taylor expansion of 2.0 in y
1.807 * [taylor]: Taking taylor expansion of y in y
1.807 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y
1.807 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.807 * [taylor]: Taking taylor expansion of z in y
1.807 * [taylor]: Taking taylor expansion of (neg (* (sqrt 2.0) (sqrt (/ 1 z)))) in z
1.807 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in z
1.808 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.808 * [taylor]: Taking taylor expansion of 2.0 in z
1.808 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.808 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.808 * [taylor]: Taking taylor expansion of z in z
1.808 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2.0) (sqrt (/ 1 z)))) in z
1.808 * [taylor]: Taking taylor expansion of 0.5 in z
1.808 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ 1 z))) in z
1.808 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.808 * [taylor]: Taking taylor expansion of 2.0 in z
1.808 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z
1.808 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.808 * [taylor]: Taking taylor expansion of z in z
1.808 * [taylor]: Taking taylor expansion of 0 in y
1.809 * [taylor]: Taking taylor expansion of 0 in z
1.809 * [taylor]: Taking taylor expansion of 0 in z
1.809 * [taylor]: Taking taylor expansion of 0 in y
1.809 * [taylor]: Taking taylor expansion of 0 in z
1.810 * [taylor]: Taking taylor expansion of 0 in z
1.810 * [taylor]: Taking taylor expansion of 0 in z
1.811 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in (x y z) around 0
1.811 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in z
1.811 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.811 * [taylor]: Taking taylor expansion of 2.0 in z
1.811 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in z
1.811 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in z
1.811 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.811 * [taylor]: Taking taylor expansion of y in z
1.811 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z
1.811 * [taylor]: Taking taylor expansion of 0.5 in z
1.811 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.811 * [taylor]: Taking taylor expansion of x in z
1.811 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.811 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.811 * [taylor]: Taking taylor expansion of -1 in z
1.811 * [taylor]: Taking taylor expansion of z in z
1.812 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in y
1.812 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.812 * [taylor]: Taking taylor expansion of 2.0 in y
1.812 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in y
1.812 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in y
1.812 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.812 * [taylor]: Taking taylor expansion of y in y
1.812 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
1.812 * [taylor]: Taking taylor expansion of 0.5 in y
1.812 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.812 * [taylor]: Taking taylor expansion of x in y
1.812 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.812 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.812 * [taylor]: Taking taylor expansion of -1 in y
1.812 * [taylor]: Taking taylor expansion of z in y
1.812 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in x
1.812 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.812 * [taylor]: Taking taylor expansion of 2.0 in x
1.812 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in x
1.812 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in x
1.812 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.812 * [taylor]: Taking taylor expansion of y in x
1.812 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.812 * [taylor]: Taking taylor expansion of 0.5 in x
1.812 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.812 * [taylor]: Taking taylor expansion of x in x
1.812 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
1.812 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.812 * [taylor]: Taking taylor expansion of -1 in x
1.812 * [taylor]: Taking taylor expansion of z in x
1.812 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z)))) in x
1.812 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
1.812 * [taylor]: Taking taylor expansion of 2.0 in x
1.812 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (* 0.5 (/ 1 x))) (sqrt (/ -1 z))) in x
1.812 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 0.5 (/ 1 x))) in x
1.812 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.812 * [taylor]: Taking taylor expansion of y in x
1.813 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.813 * [taylor]: Taking taylor expansion of 0.5 in x
1.813 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.813 * [taylor]: Taking taylor expansion of x in x
1.813 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x
1.813 * [taylor]: Taking taylor expansion of (/ -1 z) in x
1.813 * [taylor]: Taking taylor expansion of -1 in x
1.813 * [taylor]: Taking taylor expansion of z in x
1.813 * [taylor]: Taking taylor expansion of (* -0.5 (* (sqrt 2.0) (sqrt (/ -1 z)))) in y
1.813 * [taylor]: Taking taylor expansion of -0.5 in y
1.813 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in y
1.813 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.813 * [taylor]: Taking taylor expansion of 2.0 in y
1.813 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.813 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.813 * [taylor]: Taking taylor expansion of -1 in y
1.813 * [taylor]: Taking taylor expansion of z in y
1.813 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (sqrt (/ -1 z))) y) in y
1.813 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in y
1.813 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y
1.813 * [taylor]: Taking taylor expansion of 2.0 in y
1.814 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y
1.814 * [taylor]: Taking taylor expansion of (/ -1 z) in y
1.814 * [taylor]: Taking taylor expansion of -1 in y
1.814 * [taylor]: Taking taylor expansion of z in y
1.814 * [taylor]: Taking taylor expansion of y in y
1.814 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in z
1.814 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.814 * [taylor]: Taking taylor expansion of 2.0 in z
1.814 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.814 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.814 * [taylor]: Taking taylor expansion of -1 in z
1.814 * [taylor]: Taking taylor expansion of z in z
1.814 * [taylor]: Taking taylor expansion of (* -0.5 (* (sqrt 2.0) (sqrt (/ -1 z)))) in z
1.814 * [taylor]: Taking taylor expansion of -0.5 in z
1.814 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (sqrt (/ -1 z))) in z
1.814 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
1.814 * [taylor]: Taking taylor expansion of 2.0 in z
1.814 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z
1.814 * [taylor]: Taking taylor expansion of (/ -1 z) in z
1.814 * [taylor]: Taking taylor expansion of -1 in z
1.814 * [taylor]: Taking taylor expansion of z in z
1.815 * [taylor]: Taking taylor expansion of 0 in y
1.815 * [taylor]: Taking taylor expansion of 0 in z
1.815 * [taylor]: Taking taylor expansion of 0 in z
1.816 * [taylor]: Taking taylor expansion of 0 in y
1.816 * [taylor]: Taking taylor expansion of 0 in z
1.816 * [taylor]: Taking taylor expansion of 0 in z
1.816 * [taylor]: Taking taylor expansion of 0 in z
1.817 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
1.817 * [approximate]: Taking taylor expansion of (* 0.5 (pow t 2)) in (t) around 0
1.817 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
1.817 * [taylor]: Taking taylor expansion of 0.5 in t
1.817 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.817 * [taylor]: Taking taylor expansion of t in t
1.817 * [taylor]: Taking taylor expansion of (* 0.5 (pow t 2)) in t
1.817 * [taylor]: Taking taylor expansion of 0.5 in t
1.817 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.817 * [taylor]: Taking taylor expansion of t in t
1.818 * [approximate]: Taking taylor expansion of (/ 0.5 (pow t 2)) in (t) around 0
1.818 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.818 * [taylor]: Taking taylor expansion of 0.5 in t
1.818 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.818 * [taylor]: Taking taylor expansion of t in t
1.818 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.818 * [taylor]: Taking taylor expansion of 0.5 in t
1.818 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.818 * [taylor]: Taking taylor expansion of t in t
1.819 * [approximate]: Taking taylor expansion of (/ 0.5 (pow t 2)) in (t) around 0
1.819 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.819 * [taylor]: Taking taylor expansion of 0.5 in t
1.819 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.819 * [taylor]: Taking taylor expansion of t in t
1.819 * [taylor]: Taking taylor expansion of (/ 0.5 (pow t 2)) in t
1.819 * [taylor]: Taking taylor expansion of 0.5 in t
1.819 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.819 * [taylor]: Taking taylor expansion of t in t
1.820 * * * [progress]: simplifying candidates
1.825 * [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.832 * * [simplify]: iteration  0 :  530  enodes  (cost  852 )
1.844 * * [simplify]: iteration  1 :  2528  enodes  (cost  732 )
1.889 * * [simplify]: iteration  2 :  5002  enodes  (cost  710 )
1.893 * [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.894 * * * [progress]: adding candidates to table
2.100 * [progress]: [Phase 3 of 3] Extracting.
2.100 * * [regime]: Finding splitpoints for: (#<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) (sqrt (sqrt 2.0))) (sqrt (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))))> #<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 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))))>)
2.102 * * * [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.102 * * * * [regimes]: Trying to branch on (* t t) from (#<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) (sqrt (sqrt 2.0))) (sqrt (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))))> #<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 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))))>)
2.173 * * * * [regimes]: Trying to branch on (/ (* t t) 2.0) from (#<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) (sqrt (sqrt 2.0))) (sqrt (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))))> #<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 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))))>)
2.244 * * * * [regimes]: Trying to branch on (exp (/ (* t t) 2.0)) from (#<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) (sqrt (sqrt 2.0))) (sqrt (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))))> #<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 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))))>)
2.308 * * * * [regimes]: Trying to branch on (* z 2.0) from (#<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) (sqrt (sqrt 2.0))) (sqrt (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))))> #<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 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))))>)
2.380 * * * * [regimes]: Trying to branch on (sqrt (* z 2.0)) from (#<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) (sqrt (sqrt 2.0))) (sqrt (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))))> #<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 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))))>)
2.459 * * * * [regimes]: Trying to branch on (* x 0.5) from (#<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) (sqrt (sqrt 2.0))) (sqrt (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))))> #<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 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))))>)
2.532 * * * * [regimes]: Trying to branch on (- (* x 0.5) y) from (#<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) (sqrt (sqrt 2.0))) (sqrt (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))))> #<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 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))))>)
2.606 * * * * [regimes]: Trying to branch on (* (- (* x 0.5) y) (sqrt (* z 2.0))) from (#<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) (sqrt (sqrt 2.0))) (sqrt (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))))> #<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 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))))>)
2.686 * * * * [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 (sqrt z))) (sqrt (sqrt z))) (sqrt 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 (* z 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 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))))>)
2.770 * * * * [regimes]: Trying to branch on t from (#<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) (sqrt (sqrt 2.0))) (sqrt (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))))> #<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 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))))>)
2.844 * * * * [regimes]: Trying to branch on z from (#<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) (sqrt (sqrt 2.0))) (sqrt (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))))> #<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 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))))>)
2.916 * * * * [regimes]: Trying to branch on y from (#<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) (sqrt (sqrt 2.0))) (sqrt (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))))> #<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 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))))>)
2.989 * * * * [regimes]: Trying to branch on x from (#<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) (sqrt (sqrt 2.0))) (sqrt (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))))> #<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 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))))>)
3.061 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
3.061 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
3.062 * * [simplify]: iteration  0 :  19  enodes  (cost  9 )
3.062 * * [simplify]: iteration  1 :  19  enodes  (cost  9 )
3.063 * [simplify]: Simplified to:
   (* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
6.368 * [regime-testing]: End program error score: 0.29456564948634384
6.493 * [regime-testing]: Target error score: 0.2956962879683343