24.258 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.066 * * * [progress]: [2/2] Setting up program.
0.070 * [progress]: [Phase 2 of 3] Improving.
0.070 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
0.071 * * [simplify]: iteration  0 :  28  enodes  (cost  31 )
0.075 * * [simplify]: iteration  1 :  66  enodes  (cost  29 )
0.087 * * [simplify]: iteration  2 :  197  enodes  (cost  29 )
0.125 * * [simplify]: iteration  3 :  567  enodes  (cost  29 )
0.326 * * [simplify]: iteration  4 :  1191  enodes  (cost  29 )
0.900 * * [simplify]: iteration  5 :  1736  enodes  (cost  29 )
1.880 * * [simplify]: iteration  6 :  2389  enodes  (cost  29 )
3.455 * * [simplify]: iteration  7 :  3715  enodes  (cost  29 )
7.291 * * [simplify]: iteration  8 :  4758  enodes  (cost  29 )
15.774 * * [simplify]: iteration  done :  4758  enodes  (cost  29 )
15.774 * [simplify]: Simplified to:
   (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k)))
15.780 * * [progress]: iteration 1 / 4
15.780 * * * [progress]: picking best candidate
15.784 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))>
15.784 * * * [progress]: localizing error
15.810 * * * [progress]: generating rewritten candidates
15.810 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1)
15.831 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
15.922 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
15.929 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
15.939 * * * [progress]: generating series expansions
15.939 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1)
15.939 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
15.939 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
15.939 * [taylor]: Taking taylor expansion of 18.0 in z
15.939 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
15.939 * [taylor]: Taking taylor expansion of x in z
15.939 * [taylor]: Taking taylor expansion of (* z y) in z
15.939 * [taylor]: Taking taylor expansion of z in z
15.939 * [taylor]: Taking taylor expansion of y in z
15.939 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
15.939 * [taylor]: Taking taylor expansion of 18.0 in y
15.939 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
15.939 * [taylor]: Taking taylor expansion of x in y
15.939 * [taylor]: Taking taylor expansion of (* z y) in y
15.939 * [taylor]: Taking taylor expansion of z in y
15.939 * [taylor]: Taking taylor expansion of y in y
15.939 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
15.939 * [taylor]: Taking taylor expansion of 18.0 in x
15.939 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
15.939 * [taylor]: Taking taylor expansion of x in x
15.939 * [taylor]: Taking taylor expansion of (* z y) in x
15.939 * [taylor]: Taking taylor expansion of z in x
15.939 * [taylor]: Taking taylor expansion of y in x
15.940 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
15.940 * [taylor]: Taking taylor expansion of 18.0 in x
15.940 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
15.940 * [taylor]: Taking taylor expansion of x in x
15.940 * [taylor]: Taking taylor expansion of (* z y) in x
15.940 * [taylor]: Taking taylor expansion of z in x
15.940 * [taylor]: Taking taylor expansion of y in x
15.940 * [taylor]: Taking taylor expansion of 0 in y
15.940 * [taylor]: Taking taylor expansion of 0 in z
15.941 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
15.941 * [taylor]: Taking taylor expansion of 18.0 in y
15.941 * [taylor]: Taking taylor expansion of (* z y) in y
15.941 * [taylor]: Taking taylor expansion of z in y
15.941 * [taylor]: Taking taylor expansion of y in y
15.942 * [taylor]: Taking taylor expansion of 0 in z
15.942 * [taylor]: Taking taylor expansion of 0 in z
15.943 * [taylor]: Taking taylor expansion of 0 in y
15.943 * [taylor]: Taking taylor expansion of 0 in z
15.944 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
15.944 * [taylor]: Taking taylor expansion of 18.0 in z
15.944 * [taylor]: Taking taylor expansion of z in z
15.944 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
15.944 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
15.944 * [taylor]: Taking taylor expansion of 18.0 in z
15.945 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
15.945 * [taylor]: Taking taylor expansion of x in z
15.945 * [taylor]: Taking taylor expansion of (* z y) in z
15.945 * [taylor]: Taking taylor expansion of z in z
15.945 * [taylor]: Taking taylor expansion of y in z
15.945 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
15.945 * [taylor]: Taking taylor expansion of 18.0 in y
15.945 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
15.945 * [taylor]: Taking taylor expansion of x in y
15.945 * [taylor]: Taking taylor expansion of (* z y) in y
15.945 * [taylor]: Taking taylor expansion of z in y
15.945 * [taylor]: Taking taylor expansion of y in y
15.946 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
15.946 * [taylor]: Taking taylor expansion of 18.0 in x
15.946 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
15.946 * [taylor]: Taking taylor expansion of x in x
15.946 * [taylor]: Taking taylor expansion of (* z y) in x
15.946 * [taylor]: Taking taylor expansion of z in x
15.946 * [taylor]: Taking taylor expansion of y in x
15.946 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
15.947 * [taylor]: Taking taylor expansion of 18.0 in x
15.947 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
15.947 * [taylor]: Taking taylor expansion of x in x
15.947 * [taylor]: Taking taylor expansion of (* z y) in x
15.947 * [taylor]: Taking taylor expansion of z in x
15.947 * [taylor]: Taking taylor expansion of y in x
15.947 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
15.947 * [taylor]: Taking taylor expansion of 18.0 in y
15.947 * [taylor]: Taking taylor expansion of (* z y) in y
15.947 * [taylor]: Taking taylor expansion of z in y
15.947 * [taylor]: Taking taylor expansion of y in y
15.947 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
15.948 * [taylor]: Taking taylor expansion of 18.0 in z
15.948 * [taylor]: Taking taylor expansion of z in z
15.949 * [taylor]: Taking taylor expansion of 0 in y
15.949 * [taylor]: Taking taylor expansion of 0 in z
15.951 * [taylor]: Taking taylor expansion of 0 in y
15.951 * [taylor]: Taking taylor expansion of 0 in z
15.952 * [taylor]: Taking taylor expansion of 0 in z
15.955 * [taylor]: Taking taylor expansion of 0 in y
15.955 * [taylor]: Taking taylor expansion of 0 in z
15.955 * [taylor]: Taking taylor expansion of 0 in z
15.955 * [taylor]: Taking taylor expansion of 0 in z
15.956 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
15.956 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
15.956 * [taylor]: Taking taylor expansion of -18.0 in z
15.956 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
15.956 * [taylor]: Taking taylor expansion of x in z
15.956 * [taylor]: Taking taylor expansion of (* z y) in z
15.956 * [taylor]: Taking taylor expansion of z in z
15.956 * [taylor]: Taking taylor expansion of y in z
15.956 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
15.956 * [taylor]: Taking taylor expansion of -18.0 in y
15.956 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
15.956 * [taylor]: Taking taylor expansion of x in y
15.956 * [taylor]: Taking taylor expansion of (* z y) in y
15.956 * [taylor]: Taking taylor expansion of z in y
15.956 * [taylor]: Taking taylor expansion of y in y
15.957 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
15.957 * [taylor]: Taking taylor expansion of -18.0 in x
15.957 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
15.957 * [taylor]: Taking taylor expansion of x in x
15.957 * [taylor]: Taking taylor expansion of (* z y) in x
15.957 * [taylor]: Taking taylor expansion of z in x
15.957 * [taylor]: Taking taylor expansion of y in x
15.958 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
15.958 * [taylor]: Taking taylor expansion of -18.0 in x
15.958 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
15.958 * [taylor]: Taking taylor expansion of x in x
15.958 * [taylor]: Taking taylor expansion of (* z y) in x
15.958 * [taylor]: Taking taylor expansion of z in x
15.958 * [taylor]: Taking taylor expansion of y in x
15.958 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
15.958 * [taylor]: Taking taylor expansion of -18.0 in y
15.958 * [taylor]: Taking taylor expansion of (* z y) in y
15.958 * [taylor]: Taking taylor expansion of z in y
15.958 * [taylor]: Taking taylor expansion of y in y
15.959 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
15.959 * [taylor]: Taking taylor expansion of -18.0 in z
15.959 * [taylor]: Taking taylor expansion of z in z
15.960 * [taylor]: Taking taylor expansion of 0 in y
15.961 * [taylor]: Taking taylor expansion of 0 in z
15.962 * [taylor]: Taking taylor expansion of 0 in y
15.962 * [taylor]: Taking taylor expansion of 0 in z
15.963 * [taylor]: Taking taylor expansion of 0 in z
15.966 * [taylor]: Taking taylor expansion of 0 in y
15.966 * [taylor]: Taking taylor expansion of 0 in z
15.966 * [taylor]: Taking taylor expansion of 0 in z
15.966 * [taylor]: Taking taylor expansion of 0 in z
15.967 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
15.967 * [approximate]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in (t x y z a) around 0
15.967 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in a
15.967 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in a
15.967 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in a
15.967 * [taylor]: Taking taylor expansion of 18.0 in a
15.967 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
15.967 * [taylor]: Taking taylor expansion of x in a
15.967 * [taylor]: Taking taylor expansion of (* z y) in a
15.967 * [taylor]: Taking taylor expansion of z in a
15.967 * [taylor]: Taking taylor expansion of y in a
15.967 * [taylor]: Taking taylor expansion of (* 4.0 a) in a
15.967 * [taylor]: Taking taylor expansion of 4.0 in a
15.967 * [taylor]: Taking taylor expansion of a in a
15.967 * [taylor]: Taking taylor expansion of t in a
15.967 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in z
15.967 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in z
15.967 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
15.967 * [taylor]: Taking taylor expansion of 18.0 in z
15.967 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
15.967 * [taylor]: Taking taylor expansion of x in z
15.967 * [taylor]: Taking taylor expansion of (* z y) in z
15.967 * [taylor]: Taking taylor expansion of z in z
15.967 * [taylor]: Taking taylor expansion of y in z
15.967 * [taylor]: Taking taylor expansion of (* 4.0 a) in z
15.967 * [taylor]: Taking taylor expansion of 4.0 in z
15.967 * [taylor]: Taking taylor expansion of a in z
15.967 * [taylor]: Taking taylor expansion of t in z
15.967 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in y
15.967 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in y
15.967 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
15.967 * [taylor]: Taking taylor expansion of 18.0 in y
15.967 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
15.967 * [taylor]: Taking taylor expansion of x in y
15.967 * [taylor]: Taking taylor expansion of (* z y) in y
15.967 * [taylor]: Taking taylor expansion of z in y
15.967 * [taylor]: Taking taylor expansion of y in y
15.968 * [taylor]: Taking taylor expansion of (* 4.0 a) in y
15.968 * [taylor]: Taking taylor expansion of 4.0 in y
15.968 * [taylor]: Taking taylor expansion of a in y
15.968 * [taylor]: Taking taylor expansion of t in y
15.968 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in x
15.968 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in x
15.968 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
15.968 * [taylor]: Taking taylor expansion of 18.0 in x
15.968 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
15.968 * [taylor]: Taking taylor expansion of x in x
15.968 * [taylor]: Taking taylor expansion of (* z y) in x
15.968 * [taylor]: Taking taylor expansion of z in x
15.968 * [taylor]: Taking taylor expansion of y in x
15.968 * [taylor]: Taking taylor expansion of (* 4.0 a) in x
15.968 * [taylor]: Taking taylor expansion of 4.0 in x
15.968 * [taylor]: Taking taylor expansion of a in x
15.968 * [taylor]: Taking taylor expansion of t in x
15.968 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in t
15.968 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in t
15.968 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in t
15.968 * [taylor]: Taking taylor expansion of 18.0 in t
15.968 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
15.968 * [taylor]: Taking taylor expansion of x in t
15.968 * [taylor]: Taking taylor expansion of (* z y) in t
15.968 * [taylor]: Taking taylor expansion of z in t
15.968 * [taylor]: Taking taylor expansion of y in t
15.968 * [taylor]: Taking taylor expansion of (* 4.0 a) in t
15.968 * [taylor]: Taking taylor expansion of 4.0 in t
15.968 * [taylor]: Taking taylor expansion of a in t
15.968 * [taylor]: Taking taylor expansion of t in t
15.968 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in t
15.968 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in t
15.968 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in t
15.968 * [taylor]: Taking taylor expansion of 18.0 in t
15.968 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
15.968 * [taylor]: Taking taylor expansion of x in t
15.968 * [taylor]: Taking taylor expansion of (* z y) in t
15.968 * [taylor]: Taking taylor expansion of z in t
15.968 * [taylor]: Taking taylor expansion of y in t
15.968 * [taylor]: Taking taylor expansion of (* 4.0 a) in t
15.968 * [taylor]: Taking taylor expansion of 4.0 in t
15.968 * [taylor]: Taking taylor expansion of a in t
15.968 * [taylor]: Taking taylor expansion of t in t
15.969 * [taylor]: Taking taylor expansion of 0 in x
15.969 * [taylor]: Taking taylor expansion of 0 in y
15.969 * [taylor]: Taking taylor expansion of 0 in z
15.969 * [taylor]: Taking taylor expansion of 0 in a
15.970 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in x
15.970 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
15.970 * [taylor]: Taking taylor expansion of 18.0 in x
15.970 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
15.970 * [taylor]: Taking taylor expansion of x in x
15.970 * [taylor]: Taking taylor expansion of (* z y) in x
15.970 * [taylor]: Taking taylor expansion of z in x
15.970 * [taylor]: Taking taylor expansion of y in x
15.970 * [taylor]: Taking taylor expansion of (* 4.0 a) in x
15.970 * [taylor]: Taking taylor expansion of 4.0 in x
15.971 * [taylor]: Taking taylor expansion of a in x
15.971 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in y
15.971 * [taylor]: Taking taylor expansion of (* 4.0 a) in y
15.971 * [taylor]: Taking taylor expansion of 4.0 in y
15.971 * [taylor]: Taking taylor expansion of a in y
15.971 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in z
15.971 * [taylor]: Taking taylor expansion of (* 4.0 a) in z
15.971 * [taylor]: Taking taylor expansion of 4.0 in z
15.971 * [taylor]: Taking taylor expansion of a in z
15.971 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in a
15.971 * [taylor]: Taking taylor expansion of (* 4.0 a) in a
15.971 * [taylor]: Taking taylor expansion of 4.0 in a
15.971 * [taylor]: Taking taylor expansion of a in a
15.972 * [taylor]: Taking taylor expansion of 0 in y
15.972 * [taylor]: Taking taylor expansion of 0 in z
15.972 * [taylor]: Taking taylor expansion of 0 in a
15.972 * [taylor]: Taking taylor expansion of 0 in z
15.972 * [taylor]: Taking taylor expansion of 0 in a
15.972 * [taylor]: Taking taylor expansion of 0 in a
15.972 * [approximate]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in (t x y z a) around 0
15.972 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in a
15.972 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in a
15.972 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in a
15.972 * [taylor]: Taking taylor expansion of 18.0 in a
15.972 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a
15.972 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
15.972 * [taylor]: Taking taylor expansion of x in a
15.972 * [taylor]: Taking taylor expansion of (* z y) in a
15.972 * [taylor]: Taking taylor expansion of z in a
15.972 * [taylor]: Taking taylor expansion of y in a
15.972 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
15.973 * [taylor]: Taking taylor expansion of 4.0 in a
15.973 * [taylor]: Taking taylor expansion of (/ 1 a) in a
15.973 * [taylor]: Taking taylor expansion of a in a
15.973 * [taylor]: Taking taylor expansion of t in a
15.974 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in z
15.974 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in z
15.974 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in z
15.974 * [taylor]: Taking taylor expansion of 18.0 in z
15.974 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
15.974 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
15.974 * [taylor]: Taking taylor expansion of x in z
15.974 * [taylor]: Taking taylor expansion of (* z y) in z
15.974 * [taylor]: Taking taylor expansion of z in z
15.974 * [taylor]: Taking taylor expansion of y in z
15.975 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
15.975 * [taylor]: Taking taylor expansion of 4.0 in z
15.975 * [taylor]: Taking taylor expansion of (/ 1 a) in z
15.975 * [taylor]: Taking taylor expansion of a in z
15.975 * [taylor]: Taking taylor expansion of t in z
15.975 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in y
15.975 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in y
15.975 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in y
15.975 * [taylor]: Taking taylor expansion of 18.0 in y
15.975 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
15.975 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
15.975 * [taylor]: Taking taylor expansion of x in y
15.975 * [taylor]: Taking taylor expansion of (* z y) in y
15.975 * [taylor]: Taking taylor expansion of z in y
15.975 * [taylor]: Taking taylor expansion of y in y
15.976 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
15.976 * [taylor]: Taking taylor expansion of 4.0 in y
15.976 * [taylor]: Taking taylor expansion of (/ 1 a) in y
15.976 * [taylor]: Taking taylor expansion of a in y
15.976 * [taylor]: Taking taylor expansion of t in y
15.976 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in x
15.976 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in x
15.976 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
15.976 * [taylor]: Taking taylor expansion of 18.0 in x
15.976 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
15.976 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
15.976 * [taylor]: Taking taylor expansion of x in x
15.976 * [taylor]: Taking taylor expansion of (* z y) in x
15.976 * [taylor]: Taking taylor expansion of z in x
15.976 * [taylor]: Taking taylor expansion of y in x
15.977 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
15.977 * [taylor]: Taking taylor expansion of 4.0 in x
15.977 * [taylor]: Taking taylor expansion of (/ 1 a) in x
15.977 * [taylor]: Taking taylor expansion of a in x
15.977 * [taylor]: Taking taylor expansion of t in x
15.977 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in t
15.977 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in t
15.977 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
15.977 * [taylor]: Taking taylor expansion of 18.0 in t
15.977 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
15.977 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
15.977 * [taylor]: Taking taylor expansion of x in t
15.977 * [taylor]: Taking taylor expansion of (* z y) in t
15.977 * [taylor]: Taking taylor expansion of z in t
15.977 * [taylor]: Taking taylor expansion of y in t
15.977 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
15.977 * [taylor]: Taking taylor expansion of 4.0 in t
15.977 * [taylor]: Taking taylor expansion of (/ 1 a) in t
15.977 * [taylor]: Taking taylor expansion of a in t
15.978 * [taylor]: Taking taylor expansion of t in t
15.978 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in t
15.978 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in t
15.978 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
15.978 * [taylor]: Taking taylor expansion of 18.0 in t
15.978 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
15.978 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
15.978 * [taylor]: Taking taylor expansion of x in t
15.978 * [taylor]: Taking taylor expansion of (* z y) in t
15.978 * [taylor]: Taking taylor expansion of z in t
15.978 * [taylor]: Taking taylor expansion of y in t
15.978 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
15.978 * [taylor]: Taking taylor expansion of 4.0 in t
15.978 * [taylor]: Taking taylor expansion of (/ 1 a) in t
15.978 * [taylor]: Taking taylor expansion of a in t
15.978 * [taylor]: Taking taylor expansion of t in t
15.979 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in x
15.979 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
15.979 * [taylor]: Taking taylor expansion of 18.0 in x
15.979 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
15.979 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
15.979 * [taylor]: Taking taylor expansion of x in x
15.979 * [taylor]: Taking taylor expansion of (* z y) in x
15.979 * [taylor]: Taking taylor expansion of z in x
15.979 * [taylor]: Taking taylor expansion of y in x
15.982 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
15.983 * [taylor]: Taking taylor expansion of 4.0 in x
15.983 * [taylor]: Taking taylor expansion of (/ 1 a) in x
15.983 * [taylor]: Taking taylor expansion of a in x
15.983 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* z y))) in y
15.983 * [taylor]: Taking taylor expansion of 18.0 in y
15.983 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
15.983 * [taylor]: Taking taylor expansion of (* z y) in y
15.983 * [taylor]: Taking taylor expansion of z in y
15.983 * [taylor]: Taking taylor expansion of y in y
15.983 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
15.983 * [taylor]: Taking taylor expansion of 18.0 in z
15.983 * [taylor]: Taking taylor expansion of z in z
15.984 * [taylor]: Taking taylor expansion of 18.0 in a
15.986 * [taylor]: Taking taylor expansion of 0 in x
15.987 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in y
15.987 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
15.987 * [taylor]: Taking taylor expansion of 4.0 in y
15.987 * [taylor]: Taking taylor expansion of (/ 1 a) in y
15.987 * [taylor]: Taking taylor expansion of a in y
15.988 * [taylor]: Taking taylor expansion of 0 in z
15.989 * [taylor]: Taking taylor expansion of 0 in a
15.992 * [taylor]: Taking taylor expansion of 0 in x
15.992 * [taylor]: Taking taylor expansion of 0 in y
15.995 * [taylor]: Taking taylor expansion of 0 in y
15.995 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in z
15.995 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
15.995 * [taylor]: Taking taylor expansion of 4.0 in z
15.996 * [taylor]: Taking taylor expansion of (/ 1 a) in z
15.996 * [taylor]: Taking taylor expansion of a in z
15.997 * [taylor]: Taking taylor expansion of 0 in z
15.997 * [taylor]: Taking taylor expansion of 0 in a
15.997 * [taylor]: Taking taylor expansion of 0 in a
16.002 * [taylor]: Taking taylor expansion of 0 in x
16.002 * [taylor]: Taking taylor expansion of 0 in y
16.002 * [taylor]: Taking taylor expansion of 0 in y
16.006 * [taylor]: Taking taylor expansion of 0 in y
16.006 * [taylor]: Taking taylor expansion of 0 in z
16.006 * [taylor]: Taking taylor expansion of 0 in z
16.007 * [taylor]: Taking taylor expansion of 0 in z
16.008 * [taylor]: Taking taylor expansion of 0 in z
16.008 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in a
16.008 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
16.009 * [taylor]: Taking taylor expansion of 4.0 in a
16.009 * [taylor]: Taking taylor expansion of (/ 1 a) in a
16.009 * [taylor]: Taking taylor expansion of a in a
16.010 * [taylor]: Taking taylor expansion of 0 in a
16.010 * [taylor]: Taking taylor expansion of 0 in a
16.010 * [taylor]: Taking taylor expansion of 0 in a
16.017 * [taylor]: Taking taylor expansion of 0 in x
16.017 * [taylor]: Taking taylor expansion of 0 in y
16.017 * [taylor]: Taking taylor expansion of 0 in y
16.017 * [taylor]: Taking taylor expansion of 0 in y
16.022 * [taylor]: Taking taylor expansion of 0 in y
16.022 * [taylor]: Taking taylor expansion of 0 in z
16.022 * [taylor]: Taking taylor expansion of 0 in z
16.022 * [taylor]: Taking taylor expansion of 0 in z
16.022 * [taylor]: Taking taylor expansion of 0 in z
16.022 * [taylor]: Taking taylor expansion of 0 in z
16.023 * [taylor]: Taking taylor expansion of 0 in z
16.025 * [taylor]: Taking taylor expansion of 0 in z
16.025 * [taylor]: Taking taylor expansion of 0 in a
16.025 * [taylor]: Taking taylor expansion of 0 in a
16.025 * [taylor]: Taking taylor expansion of 0 in a
16.025 * [taylor]: Taking taylor expansion of 0 in a
16.026 * [taylor]: Taking taylor expansion of 0 in a
16.026 * [taylor]: Taking taylor expansion of 0 in a
16.026 * [taylor]: Taking taylor expansion of 0 in a
16.026 * [taylor]: Taking taylor expansion of 0 in a
16.028 * [approximate]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in (t x y z a) around 0
16.028 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in a
16.028 * [taylor]: Taking taylor expansion of -1 in a
16.028 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in a
16.028 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in a
16.028 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
16.029 * [taylor]: Taking taylor expansion of 4.0 in a
16.029 * [taylor]: Taking taylor expansion of (/ 1 a) in a
16.029 * [taylor]: Taking taylor expansion of a in a
16.029 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in a
16.029 * [taylor]: Taking taylor expansion of 18.0 in a
16.029 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a
16.029 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
16.029 * [taylor]: Taking taylor expansion of x in a
16.029 * [taylor]: Taking taylor expansion of (* z y) in a
16.029 * [taylor]: Taking taylor expansion of z in a
16.029 * [taylor]: Taking taylor expansion of y in a
16.029 * [taylor]: Taking taylor expansion of t in a
16.030 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in z
16.030 * [taylor]: Taking taylor expansion of -1 in z
16.030 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in z
16.030 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in z
16.030 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
16.030 * [taylor]: Taking taylor expansion of 4.0 in z
16.030 * [taylor]: Taking taylor expansion of (/ 1 a) in z
16.030 * [taylor]: Taking taylor expansion of a in z
16.030 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in z
16.030 * [taylor]: Taking taylor expansion of 18.0 in z
16.030 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
16.030 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
16.030 * [taylor]: Taking taylor expansion of x in z
16.030 * [taylor]: Taking taylor expansion of (* z y) in z
16.030 * [taylor]: Taking taylor expansion of z in z
16.030 * [taylor]: Taking taylor expansion of y in z
16.031 * [taylor]: Taking taylor expansion of t in z
16.031 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in y
16.031 * [taylor]: Taking taylor expansion of -1 in y
16.031 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in y
16.031 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in y
16.031 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
16.031 * [taylor]: Taking taylor expansion of 4.0 in y
16.031 * [taylor]: Taking taylor expansion of (/ 1 a) in y
16.031 * [taylor]: Taking taylor expansion of a in y
16.031 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in y
16.031 * [taylor]: Taking taylor expansion of 18.0 in y
16.031 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
16.031 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
16.031 * [taylor]: Taking taylor expansion of x in y
16.031 * [taylor]: Taking taylor expansion of (* z y) in y
16.031 * [taylor]: Taking taylor expansion of z in y
16.031 * [taylor]: Taking taylor expansion of y in y
16.032 * [taylor]: Taking taylor expansion of t in y
16.033 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in x
16.033 * [taylor]: Taking taylor expansion of -1 in x
16.033 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in x
16.033 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in x
16.033 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
16.033 * [taylor]: Taking taylor expansion of 4.0 in x
16.033 * [taylor]: Taking taylor expansion of (/ 1 a) in x
16.033 * [taylor]: Taking taylor expansion of a in x
16.033 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
16.033 * [taylor]: Taking taylor expansion of 18.0 in x
16.033 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
16.033 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
16.033 * [taylor]: Taking taylor expansion of x in x
16.033 * [taylor]: Taking taylor expansion of (* z y) in x
16.033 * [taylor]: Taking taylor expansion of z in x
16.033 * [taylor]: Taking taylor expansion of y in x
16.034 * [taylor]: Taking taylor expansion of t in x
16.034 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in t
16.034 * [taylor]: Taking taylor expansion of -1 in t
16.034 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in t
16.034 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in t
16.034 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
16.034 * [taylor]: Taking taylor expansion of 4.0 in t
16.034 * [taylor]: Taking taylor expansion of (/ 1 a) in t
16.034 * [taylor]: Taking taylor expansion of a in t
16.034 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
16.034 * [taylor]: Taking taylor expansion of 18.0 in t
16.034 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
16.034 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
16.034 * [taylor]: Taking taylor expansion of x in t
16.034 * [taylor]: Taking taylor expansion of (* z y) in t
16.034 * [taylor]: Taking taylor expansion of z in t
16.034 * [taylor]: Taking taylor expansion of y in t
16.034 * [taylor]: Taking taylor expansion of t in t
16.035 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in t
16.035 * [taylor]: Taking taylor expansion of -1 in t
16.035 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in t
16.035 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in t
16.035 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
16.035 * [taylor]: Taking taylor expansion of 4.0 in t
16.035 * [taylor]: Taking taylor expansion of (/ 1 a) in t
16.035 * [taylor]: Taking taylor expansion of a in t
16.035 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
16.035 * [taylor]: Taking taylor expansion of 18.0 in t
16.035 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
16.035 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
16.035 * [taylor]: Taking taylor expansion of x in t
16.035 * [taylor]: Taking taylor expansion of (* z y) in t
16.035 * [taylor]: Taking taylor expansion of z in t
16.035 * [taylor]: Taking taylor expansion of y in t
16.035 * [taylor]: Taking taylor expansion of t in t
16.036 * [taylor]: Taking taylor expansion of (* -1 (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y)))))) in x
16.036 * [taylor]: Taking taylor expansion of -1 in x
16.036 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in x
16.036 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
16.036 * [taylor]: Taking taylor expansion of 4.0 in x
16.036 * [taylor]: Taking taylor expansion of (/ 1 a) in x
16.036 * [taylor]: Taking taylor expansion of a in x
16.036 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
16.036 * [taylor]: Taking taylor expansion of 18.0 in x
16.036 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
16.036 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
16.036 * [taylor]: Taking taylor expansion of x in x
16.036 * [taylor]: Taking taylor expansion of (* z y) in x
16.036 * [taylor]: Taking taylor expansion of z in x
16.036 * [taylor]: Taking taylor expansion of y in x
16.037 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
16.037 * [taylor]: Taking taylor expansion of 18.0 in y
16.037 * [taylor]: Taking taylor expansion of (* z y) in y
16.037 * [taylor]: Taking taylor expansion of z in y
16.037 * [taylor]: Taking taylor expansion of y in y
16.037 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
16.037 * [taylor]: Taking taylor expansion of 18.0 in z
16.037 * [taylor]: Taking taylor expansion of z in z
16.037 * [taylor]: Taking taylor expansion of 18.0 in a
16.040 * [taylor]: Taking taylor expansion of 0 in x
16.042 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in y
16.042 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
16.042 * [taylor]: Taking taylor expansion of 4.0 in y
16.042 * [taylor]: Taking taylor expansion of (/ 1 a) in y
16.042 * [taylor]: Taking taylor expansion of a in y
16.043 * [taylor]: Taking taylor expansion of 0 in z
16.043 * [taylor]: Taking taylor expansion of 0 in a
16.047 * [taylor]: Taking taylor expansion of 0 in x
16.047 * [taylor]: Taking taylor expansion of 0 in y
16.051 * [taylor]: Taking taylor expansion of 0 in y
16.051 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in z
16.051 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
16.051 * [taylor]: Taking taylor expansion of 4.0 in z
16.051 * [taylor]: Taking taylor expansion of (/ 1 a) in z
16.051 * [taylor]: Taking taylor expansion of a in z
16.052 * [taylor]: Taking taylor expansion of 0 in z
16.052 * [taylor]: Taking taylor expansion of 0 in a
16.052 * [taylor]: Taking taylor expansion of 0 in a
16.058 * [taylor]: Taking taylor expansion of 0 in x
16.058 * [taylor]: Taking taylor expansion of 0 in y
16.058 * [taylor]: Taking taylor expansion of 0 in y
16.062 * [taylor]: Taking taylor expansion of 0 in y
16.062 * [taylor]: Taking taylor expansion of 0 in z
16.063 * [taylor]: Taking taylor expansion of 0 in z
16.063 * [taylor]: Taking taylor expansion of 0 in z
16.064 * [taylor]: Taking taylor expansion of 0 in z
16.064 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in a
16.064 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
16.064 * [taylor]: Taking taylor expansion of 4.0 in a
16.064 * [taylor]: Taking taylor expansion of (/ 1 a) in a
16.064 * [taylor]: Taking taylor expansion of a in a
16.065 * [taylor]: Taking taylor expansion of 0 in a
16.065 * [taylor]: Taking taylor expansion of 0 in a
16.066 * [taylor]: Taking taylor expansion of 0 in a
16.076 * [taylor]: Taking taylor expansion of 0 in x
16.076 * [taylor]: Taking taylor expansion of 0 in y
16.076 * [taylor]: Taking taylor expansion of 0 in y
16.076 * [taylor]: Taking taylor expansion of 0 in y
16.082 * [taylor]: Taking taylor expansion of 0 in y
16.082 * [taylor]: Taking taylor expansion of 0 in z
16.082 * [taylor]: Taking taylor expansion of 0 in z
16.082 * [taylor]: Taking taylor expansion of 0 in z
16.082 * [taylor]: Taking taylor expansion of 0 in z
16.082 * [taylor]: Taking taylor expansion of 0 in z
16.083 * [taylor]: Taking taylor expansion of 0 in z
16.084 * [taylor]: Taking taylor expansion of 0 in z
16.084 * [taylor]: Taking taylor expansion of 0 in a
16.084 * [taylor]: Taking taylor expansion of 0 in a
16.084 * [taylor]: Taking taylor expansion of 0 in a
16.084 * [taylor]: Taking taylor expansion of 0 in a
16.085 * [taylor]: Taking taylor expansion of 0 in a
16.085 * [taylor]: Taking taylor expansion of 0 in a
16.085 * [taylor]: Taking taylor expansion of 0 in a
16.086 * [taylor]: Taking taylor expansion of 0 in a
16.088 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
16.088 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
16.088 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
16.088 * [taylor]: Taking taylor expansion of 27.0 in k
16.088 * [taylor]: Taking taylor expansion of (* k j) in k
16.088 * [taylor]: Taking taylor expansion of k in k
16.088 * [taylor]: Taking taylor expansion of j in k
16.088 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
16.088 * [taylor]: Taking taylor expansion of 27.0 in j
16.088 * [taylor]: Taking taylor expansion of (* k j) in j
16.088 * [taylor]: Taking taylor expansion of k in j
16.088 * [taylor]: Taking taylor expansion of j in j
16.088 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
16.088 * [taylor]: Taking taylor expansion of 27.0 in j
16.088 * [taylor]: Taking taylor expansion of (* k j) in j
16.088 * [taylor]: Taking taylor expansion of k in j
16.088 * [taylor]: Taking taylor expansion of j in j
16.088 * [taylor]: Taking taylor expansion of 0 in k
16.089 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
16.089 * [taylor]: Taking taylor expansion of 27.0 in k
16.089 * [taylor]: Taking taylor expansion of k in k
16.090 * [taylor]: Taking taylor expansion of 0 in k
16.092 * [taylor]: Taking taylor expansion of 0 in k
16.095 * [taylor]: Taking taylor expansion of 0 in k
16.095 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
16.095 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
16.095 * [taylor]: Taking taylor expansion of 27.0 in k
16.095 * [taylor]: Taking taylor expansion of (* k j) in k
16.095 * [taylor]: Taking taylor expansion of k in k
16.095 * [taylor]: Taking taylor expansion of j in k
16.095 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
16.095 * [taylor]: Taking taylor expansion of 27.0 in j
16.095 * [taylor]: Taking taylor expansion of (* k j) in j
16.096 * [taylor]: Taking taylor expansion of k in j
16.096 * [taylor]: Taking taylor expansion of j in j
16.096 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
16.096 * [taylor]: Taking taylor expansion of 27.0 in j
16.096 * [taylor]: Taking taylor expansion of (* k j) in j
16.096 * [taylor]: Taking taylor expansion of k in j
16.096 * [taylor]: Taking taylor expansion of j in j
16.096 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
16.096 * [taylor]: Taking taylor expansion of 27.0 in k
16.096 * [taylor]: Taking taylor expansion of k in k
16.097 * [taylor]: Taking taylor expansion of 0 in k
16.098 * [taylor]: Taking taylor expansion of 0 in k
16.099 * [taylor]: Taking taylor expansion of 0 in k
16.100 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
16.100 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
16.100 * [taylor]: Taking taylor expansion of 27.0 in k
16.100 * [taylor]: Taking taylor expansion of (* k j) in k
16.100 * [taylor]: Taking taylor expansion of k in k
16.100 * [taylor]: Taking taylor expansion of j in k
16.101 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
16.101 * [taylor]: Taking taylor expansion of 27.0 in j
16.101 * [taylor]: Taking taylor expansion of (* k j) in j
16.101 * [taylor]: Taking taylor expansion of k in j
16.101 * [taylor]: Taking taylor expansion of j in j
16.101 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
16.101 * [taylor]: Taking taylor expansion of 27.0 in j
16.101 * [taylor]: Taking taylor expansion of (* k j) in j
16.101 * [taylor]: Taking taylor expansion of k in j
16.101 * [taylor]: Taking taylor expansion of j in j
16.102 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
16.102 * [taylor]: Taking taylor expansion of 27.0 in k
16.102 * [taylor]: Taking taylor expansion of k in k
16.102 * [taylor]: Taking taylor expansion of 0 in k
16.104 * [taylor]: Taking taylor expansion of 0 in k
16.105 * [taylor]: Taking taylor expansion of 0 in k
16.106 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1)
16.106 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
16.106 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
16.106 * [taylor]: Taking taylor expansion of 18.0 in y
16.106 * [taylor]: Taking taylor expansion of (* x y) in y
16.106 * [taylor]: Taking taylor expansion of x in y
16.106 * [taylor]: Taking taylor expansion of y in y
16.106 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
16.106 * [taylor]: Taking taylor expansion of 18.0 in x
16.106 * [taylor]: Taking taylor expansion of (* x y) in x
16.106 * [taylor]: Taking taylor expansion of x in x
16.106 * [taylor]: Taking taylor expansion of y in x
16.106 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
16.106 * [taylor]: Taking taylor expansion of 18.0 in x
16.106 * [taylor]: Taking taylor expansion of (* x y) in x
16.106 * [taylor]: Taking taylor expansion of x in x
16.106 * [taylor]: Taking taylor expansion of y in x
16.106 * [taylor]: Taking taylor expansion of 0 in y
16.107 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
16.107 * [taylor]: Taking taylor expansion of 18.0 in y
16.107 * [taylor]: Taking taylor expansion of y in y
16.108 * [taylor]: Taking taylor expansion of 0 in y
16.111 * [taylor]: Taking taylor expansion of 0 in y
16.113 * [taylor]: Taking taylor expansion of 0 in y
16.114 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
16.114 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
16.114 * [taylor]: Taking taylor expansion of 18.0 in y
16.114 * [taylor]: Taking taylor expansion of (* x y) in y
16.114 * [taylor]: Taking taylor expansion of x in y
16.114 * [taylor]: Taking taylor expansion of y in y
16.114 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
16.114 * [taylor]: Taking taylor expansion of 18.0 in x
16.114 * [taylor]: Taking taylor expansion of (* x y) in x
16.114 * [taylor]: Taking taylor expansion of x in x
16.114 * [taylor]: Taking taylor expansion of y in x
16.114 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
16.115 * [taylor]: Taking taylor expansion of 18.0 in x
16.115 * [taylor]: Taking taylor expansion of (* x y) in x
16.115 * [taylor]: Taking taylor expansion of x in x
16.115 * [taylor]: Taking taylor expansion of y in x
16.115 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
16.115 * [taylor]: Taking taylor expansion of 18.0 in y
16.115 * [taylor]: Taking taylor expansion of y in y
16.116 * [taylor]: Taking taylor expansion of 0 in y
16.117 * [taylor]: Taking taylor expansion of 0 in y
16.119 * [taylor]: Taking taylor expansion of 0 in y
16.120 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
16.120 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
16.120 * [taylor]: Taking taylor expansion of 18.0 in y
16.120 * [taylor]: Taking taylor expansion of (* x y) in y
16.120 * [taylor]: Taking taylor expansion of x in y
16.120 * [taylor]: Taking taylor expansion of y in y
16.120 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
16.120 * [taylor]: Taking taylor expansion of 18.0 in x
16.120 * [taylor]: Taking taylor expansion of (* x y) in x
16.120 * [taylor]: Taking taylor expansion of x in x
16.120 * [taylor]: Taking taylor expansion of y in x
16.121 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
16.121 * [taylor]: Taking taylor expansion of 18.0 in x
16.121 * [taylor]: Taking taylor expansion of (* x y) in x
16.121 * [taylor]: Taking taylor expansion of x in x
16.121 * [taylor]: Taking taylor expansion of y in x
16.121 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
16.121 * [taylor]: Taking taylor expansion of 18.0 in y
16.121 * [taylor]: Taking taylor expansion of y in y
16.122 * [taylor]: Taking taylor expansion of 0 in y
16.123 * [taylor]: Taking taylor expansion of 0 in y
16.125 * [taylor]: Taking taylor expansion of 0 in y
16.126 * * * [progress]: simplifying candidates
16.128 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (+ (+ (+ (log x) (log 18.0)) (log y)) (log z))
  (+ (+ (log (* x 18.0)) (log y)) (log z))
  (+ (log (* (* x 18.0) y)) (log z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z))
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* (* x 18.0) y) 1)
  (* y z)
  (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (+ (log t) (log (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (log (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (exp (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (* (* t t) t) (* (* (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* (* (* x 18.0) y) z) (* a 4.0))) (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))))
  (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (* (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (sqrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (sqrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (sqrt t) (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (sqrt t) (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* t (* (* (* x 18.0) y) z))
  (* t (- (* a 4.0)))
  (* t (* (* (* x 18.0) y) z))
  (* t (- (* a 4.0)))
  (* (* (* (* x 18.0) y) z) t)
  (* (- (* a 4.0)) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (- (* a 4.0)) t)
  (* t (* (cbrt (- (* (* (* x 18.0) y) z) (* a 4.0))) (cbrt (- (* (* (* x 18.0) y) z) (* a 4.0)))))
  (* t (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* t 1)
  (* (cbrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3)))
  (* t (- (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* a 4.0) (* a 4.0))))
  (* (* j 27.0) k)
  (* (* j 27.0) k)
  (+ (+ (log j) (log 27.0)) (log k))
  (+ (log (* j 27.0)) (log k))
  (log (* (* j 27.0) k))
  (exp (* (* j 27.0) k))
  (* (* (* (* j j) j) (* (* 27.0 27.0) 27.0)) (* (* k k) k))
  (* (* (* (* j 27.0) (* j 27.0)) (* j 27.0)) (* (* k k) k))
  (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k)))
  (cbrt (* (* j 27.0) k))
  (* (* (* (* j 27.0) k) (* (* j 27.0) k)) (* (* j 27.0) k))
  (sqrt (* (* j 27.0) k))
  (sqrt (* (* j 27.0) k))
  (* (* j 27.0) (* (cbrt k) (cbrt k)))
  (* (* j 27.0) (sqrt k))
  (* (* j 27.0) 1)
  (* 27.0 k)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (+ (+ (log x) (log 18.0)) (log y))
  (+ (log (* x 18.0)) (log y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y))
  (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y))
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* (* x 18.0) 1)
  (* 18.0 y)
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  0
  (- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* a t)))
  (- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* a t)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
16.132 * * [simplify]: iteration  0 :  158  enodes  (cost  1015 )
16.164 * * [simplify]: iteration  1 :  403  enodes  (cost  980 )
16.338 * * [simplify]: iteration  2 :  1682  enodes  (cost  822 )
16.870 * * [simplify]: iteration  done :  5001  enodes  (cost  822 )
16.870 * [simplify]: Simplified to:
   (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* 18.0 (* x (* z y))))
  (log (* 18.0 (* x (* z y))))
  (log (* 18.0 (* x (* z y))))
  (log (* 18.0 (* x (* z y))))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* z y)
  (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (log (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (log (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (exp (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)
  (* (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))))
  (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)
  (sqrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (sqrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (sqrt t) (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (sqrt t) (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* 18.0 (* t (* x (* z y))))
  (* t (- (* a 4.0)))
  (* 18.0 (* t (* x (* z y))))
  (* t (- (* a 4.0)))
  (* 18.0 (* t (* x (* z y))))
  (* t (- (* a 4.0)))
  (* 18.0 (* t (* x (* z y))))
  (* t (- (* a 4.0)))
  (* t (* (cbrt (- (* (* (* x 18.0) y) z) (* a 4.0))) (cbrt (- (* (* (* x 18.0) y) z) (* a 4.0)))))
  (* t (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0))))
  t
  (* (cbrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3)))
  (* t (- (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* a 4.0) (* a 4.0))))
  (* (* j 27.0) k)
  (* (* j 27.0) k)
  (log (* (* j 27.0) k))
  (log (* (* j 27.0) k))
  (log (* (* j 27.0) k))
  (exp (* (* j 27.0) k))
  (pow (* (* j 27.0) k) 3)
  (pow (* (* j 27.0) k) 3)
  (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k)))
  (cbrt (* (* j 27.0) k))
  (pow (* (* j 27.0) k) 3)
  (sqrt (* (* j 27.0) k))
  (sqrt (* (* j 27.0) k))
  (* (* j 27.0) (* (cbrt k) (cbrt k)))
  (* (* j 27.0) (sqrt k))
  (* j 27.0)
  (* 27.0 k)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (pow (* (* x 18.0) y) 3)
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* x 18.0)
  (* 18.0 y)
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  0
  (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* (* j 27.0) k)
  (* (* j 27.0) k)
  (* (* j 27.0) k)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
16.871 * * * [progress]: adding candidates to table
17.149 * * [progress]: iteration 2 / 4
17.149 * * * [progress]: picking best candidate
17.190 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))>
17.190 * * * [progress]: localizing error
17.212 * * * [progress]: generating rewritten candidates
17.212 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1)
17.234 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
17.323 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
17.329 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
17.339 * * * [progress]: generating series expansions
17.339 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1)
17.339 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
17.339 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
17.339 * [taylor]: Taking taylor expansion of 18.0 in z
17.339 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
17.339 * [taylor]: Taking taylor expansion of x in z
17.339 * [taylor]: Taking taylor expansion of (* z y) in z
17.339 * [taylor]: Taking taylor expansion of z in z
17.339 * [taylor]: Taking taylor expansion of y in z
17.339 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
17.339 * [taylor]: Taking taylor expansion of 18.0 in y
17.339 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
17.339 * [taylor]: Taking taylor expansion of x in y
17.339 * [taylor]: Taking taylor expansion of (* z y) in y
17.339 * [taylor]: Taking taylor expansion of z in y
17.339 * [taylor]: Taking taylor expansion of y in y
17.340 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
17.340 * [taylor]: Taking taylor expansion of 18.0 in x
17.340 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
17.340 * [taylor]: Taking taylor expansion of x in x
17.340 * [taylor]: Taking taylor expansion of (* z y) in x
17.340 * [taylor]: Taking taylor expansion of z in x
17.340 * [taylor]: Taking taylor expansion of y in x
17.340 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
17.340 * [taylor]: Taking taylor expansion of 18.0 in x
17.340 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
17.340 * [taylor]: Taking taylor expansion of x in x
17.340 * [taylor]: Taking taylor expansion of (* z y) in x
17.340 * [taylor]: Taking taylor expansion of z in x
17.340 * [taylor]: Taking taylor expansion of y in x
17.340 * [taylor]: Taking taylor expansion of 0 in y
17.340 * [taylor]: Taking taylor expansion of 0 in z
17.341 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
17.341 * [taylor]: Taking taylor expansion of 18.0 in y
17.341 * [taylor]: Taking taylor expansion of (* z y) in y
17.341 * [taylor]: Taking taylor expansion of z in y
17.341 * [taylor]: Taking taylor expansion of y in y
17.342 * [taylor]: Taking taylor expansion of 0 in z
17.342 * [taylor]: Taking taylor expansion of 0 in z
17.343 * [taylor]: Taking taylor expansion of 0 in y
17.343 * [taylor]: Taking taylor expansion of 0 in z
17.344 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
17.344 * [taylor]: Taking taylor expansion of 18.0 in z
17.344 * [taylor]: Taking taylor expansion of z in z
17.344 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
17.345 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
17.345 * [taylor]: Taking taylor expansion of 18.0 in z
17.345 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
17.345 * [taylor]: Taking taylor expansion of x in z
17.345 * [taylor]: Taking taylor expansion of (* z y) in z
17.345 * [taylor]: Taking taylor expansion of z in z
17.345 * [taylor]: Taking taylor expansion of y in z
17.345 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
17.345 * [taylor]: Taking taylor expansion of 18.0 in y
17.345 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
17.345 * [taylor]: Taking taylor expansion of x in y
17.345 * [taylor]: Taking taylor expansion of (* z y) in y
17.345 * [taylor]: Taking taylor expansion of z in y
17.345 * [taylor]: Taking taylor expansion of y in y
17.346 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
17.346 * [taylor]: Taking taylor expansion of 18.0 in x
17.346 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
17.346 * [taylor]: Taking taylor expansion of x in x
17.346 * [taylor]: Taking taylor expansion of (* z y) in x
17.346 * [taylor]: Taking taylor expansion of z in x
17.346 * [taylor]: Taking taylor expansion of y in x
17.346 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
17.347 * [taylor]: Taking taylor expansion of 18.0 in x
17.347 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
17.347 * [taylor]: Taking taylor expansion of x in x
17.347 * [taylor]: Taking taylor expansion of (* z y) in x
17.347 * [taylor]: Taking taylor expansion of z in x
17.347 * [taylor]: Taking taylor expansion of y in x
17.347 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
17.347 * [taylor]: Taking taylor expansion of 18.0 in y
17.347 * [taylor]: Taking taylor expansion of (* z y) in y
17.347 * [taylor]: Taking taylor expansion of z in y
17.347 * [taylor]: Taking taylor expansion of y in y
17.348 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
17.348 * [taylor]: Taking taylor expansion of 18.0 in z
17.348 * [taylor]: Taking taylor expansion of z in z
17.349 * [taylor]: Taking taylor expansion of 0 in y
17.349 * [taylor]: Taking taylor expansion of 0 in z
17.351 * [taylor]: Taking taylor expansion of 0 in y
17.351 * [taylor]: Taking taylor expansion of 0 in z
17.352 * [taylor]: Taking taylor expansion of 0 in z
17.355 * [taylor]: Taking taylor expansion of 0 in y
17.355 * [taylor]: Taking taylor expansion of 0 in z
17.355 * [taylor]: Taking taylor expansion of 0 in z
17.355 * [taylor]: Taking taylor expansion of 0 in z
17.356 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
17.356 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
17.356 * [taylor]: Taking taylor expansion of -18.0 in z
17.356 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
17.356 * [taylor]: Taking taylor expansion of x in z
17.356 * [taylor]: Taking taylor expansion of (* z y) in z
17.356 * [taylor]: Taking taylor expansion of z in z
17.356 * [taylor]: Taking taylor expansion of y in z
17.356 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
17.357 * [taylor]: Taking taylor expansion of -18.0 in y
17.357 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
17.357 * [taylor]: Taking taylor expansion of x in y
17.357 * [taylor]: Taking taylor expansion of (* z y) in y
17.357 * [taylor]: Taking taylor expansion of z in y
17.357 * [taylor]: Taking taylor expansion of y in y
17.357 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
17.357 * [taylor]: Taking taylor expansion of -18.0 in x
17.357 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
17.357 * [taylor]: Taking taylor expansion of x in x
17.357 * [taylor]: Taking taylor expansion of (* z y) in x
17.357 * [taylor]: Taking taylor expansion of z in x
17.357 * [taylor]: Taking taylor expansion of y in x
17.358 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
17.358 * [taylor]: Taking taylor expansion of -18.0 in x
17.358 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
17.358 * [taylor]: Taking taylor expansion of x in x
17.358 * [taylor]: Taking taylor expansion of (* z y) in x
17.358 * [taylor]: Taking taylor expansion of z in x
17.358 * [taylor]: Taking taylor expansion of y in x
17.358 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
17.358 * [taylor]: Taking taylor expansion of -18.0 in y
17.358 * [taylor]: Taking taylor expansion of (* z y) in y
17.358 * [taylor]: Taking taylor expansion of z in y
17.358 * [taylor]: Taking taylor expansion of y in y
17.359 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
17.359 * [taylor]: Taking taylor expansion of -18.0 in z
17.359 * [taylor]: Taking taylor expansion of z in z
17.360 * [taylor]: Taking taylor expansion of 0 in y
17.361 * [taylor]: Taking taylor expansion of 0 in z
17.363 * [taylor]: Taking taylor expansion of 0 in y
17.363 * [taylor]: Taking taylor expansion of 0 in z
17.363 * [taylor]: Taking taylor expansion of 0 in z
17.366 * [taylor]: Taking taylor expansion of 0 in y
17.366 * [taylor]: Taking taylor expansion of 0 in z
17.366 * [taylor]: Taking taylor expansion of 0 in z
17.367 * [taylor]: Taking taylor expansion of 0 in z
17.367 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
17.367 * [approximate]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in (t x y z a) around 0
17.367 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in a
17.367 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in a
17.367 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in a
17.369 * [taylor]: Taking taylor expansion of 18.0 in a
17.370 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
17.370 * [taylor]: Taking taylor expansion of x in a
17.370 * [taylor]: Taking taylor expansion of (* z y) in a
17.370 * [taylor]: Taking taylor expansion of z in a
17.370 * [taylor]: Taking taylor expansion of y in a
17.370 * [taylor]: Taking taylor expansion of (* 4.0 a) in a
17.370 * [taylor]: Taking taylor expansion of 4.0 in a
17.370 * [taylor]: Taking taylor expansion of a in a
17.370 * [taylor]: Taking taylor expansion of t in a
17.370 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in z
17.370 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in z
17.370 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
17.370 * [taylor]: Taking taylor expansion of 18.0 in z
17.370 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
17.370 * [taylor]: Taking taylor expansion of x in z
17.370 * [taylor]: Taking taylor expansion of (* z y) in z
17.370 * [taylor]: Taking taylor expansion of z in z
17.370 * [taylor]: Taking taylor expansion of y in z
17.370 * [taylor]: Taking taylor expansion of (* 4.0 a) in z
17.370 * [taylor]: Taking taylor expansion of 4.0 in z
17.370 * [taylor]: Taking taylor expansion of a in z
17.370 * [taylor]: Taking taylor expansion of t in z
17.370 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in y
17.370 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in y
17.370 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
17.370 * [taylor]: Taking taylor expansion of 18.0 in y
17.370 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
17.370 * [taylor]: Taking taylor expansion of x in y
17.370 * [taylor]: Taking taylor expansion of (* z y) in y
17.370 * [taylor]: Taking taylor expansion of z in y
17.370 * [taylor]: Taking taylor expansion of y in y
17.370 * [taylor]: Taking taylor expansion of (* 4.0 a) in y
17.370 * [taylor]: Taking taylor expansion of 4.0 in y
17.370 * [taylor]: Taking taylor expansion of a in y
17.370 * [taylor]: Taking taylor expansion of t in y
17.370 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in x
17.370 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in x
17.370 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
17.370 * [taylor]: Taking taylor expansion of 18.0 in x
17.370 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
17.370 * [taylor]: Taking taylor expansion of x in x
17.370 * [taylor]: Taking taylor expansion of (* z y) in x
17.370 * [taylor]: Taking taylor expansion of z in x
17.370 * [taylor]: Taking taylor expansion of y in x
17.370 * [taylor]: Taking taylor expansion of (* 4.0 a) in x
17.370 * [taylor]: Taking taylor expansion of 4.0 in x
17.370 * [taylor]: Taking taylor expansion of a in x
17.370 * [taylor]: Taking taylor expansion of t in x
17.370 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in t
17.370 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in t
17.370 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in t
17.370 * [taylor]: Taking taylor expansion of 18.0 in t
17.370 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
17.370 * [taylor]: Taking taylor expansion of x in t
17.370 * [taylor]: Taking taylor expansion of (* z y) in t
17.371 * [taylor]: Taking taylor expansion of z in t
17.371 * [taylor]: Taking taylor expansion of y in t
17.371 * [taylor]: Taking taylor expansion of (* 4.0 a) in t
17.371 * [taylor]: Taking taylor expansion of 4.0 in t
17.371 * [taylor]: Taking taylor expansion of a in t
17.371 * [taylor]: Taking taylor expansion of t in t
17.371 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in t
17.371 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in t
17.371 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in t
17.371 * [taylor]: Taking taylor expansion of 18.0 in t
17.371 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
17.371 * [taylor]: Taking taylor expansion of x in t
17.371 * [taylor]: Taking taylor expansion of (* z y) in t
17.371 * [taylor]: Taking taylor expansion of z in t
17.371 * [taylor]: Taking taylor expansion of y in t
17.371 * [taylor]: Taking taylor expansion of (* 4.0 a) in t
17.371 * [taylor]: Taking taylor expansion of 4.0 in t
17.371 * [taylor]: Taking taylor expansion of a in t
17.371 * [taylor]: Taking taylor expansion of t in t
17.371 * [taylor]: Taking taylor expansion of 0 in x
17.371 * [taylor]: Taking taylor expansion of 0 in y
17.371 * [taylor]: Taking taylor expansion of 0 in z
17.371 * [taylor]: Taking taylor expansion of 0 in a
17.373 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in x
17.373 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
17.373 * [taylor]: Taking taylor expansion of 18.0 in x
17.373 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
17.373 * [taylor]: Taking taylor expansion of x in x
17.373 * [taylor]: Taking taylor expansion of (* z y) in x
17.373 * [taylor]: Taking taylor expansion of z in x
17.373 * [taylor]: Taking taylor expansion of y in x
17.373 * [taylor]: Taking taylor expansion of (* 4.0 a) in x
17.373 * [taylor]: Taking taylor expansion of 4.0 in x
17.373 * [taylor]: Taking taylor expansion of a in x
17.374 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in y
17.374 * [taylor]: Taking taylor expansion of (* 4.0 a) in y
17.374 * [taylor]: Taking taylor expansion of 4.0 in y
17.374 * [taylor]: Taking taylor expansion of a in y
17.374 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in z
17.374 * [taylor]: Taking taylor expansion of (* 4.0 a) in z
17.374 * [taylor]: Taking taylor expansion of 4.0 in z
17.374 * [taylor]: Taking taylor expansion of a in z
17.374 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in a
17.374 * [taylor]: Taking taylor expansion of (* 4.0 a) in a
17.374 * [taylor]: Taking taylor expansion of 4.0 in a
17.374 * [taylor]: Taking taylor expansion of a in a
17.375 * [taylor]: Taking taylor expansion of 0 in y
17.375 * [taylor]: Taking taylor expansion of 0 in z
17.375 * [taylor]: Taking taylor expansion of 0 in a
17.375 * [taylor]: Taking taylor expansion of 0 in z
17.375 * [taylor]: Taking taylor expansion of 0 in a
17.375 * [taylor]: Taking taylor expansion of 0 in a
17.375 * [approximate]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in (t x y z a) around 0
17.375 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in a
17.375 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in a
17.375 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in a
17.375 * [taylor]: Taking taylor expansion of 18.0 in a
17.375 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a
17.375 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
17.375 * [taylor]: Taking taylor expansion of x in a
17.375 * [taylor]: Taking taylor expansion of (* z y) in a
17.375 * [taylor]: Taking taylor expansion of z in a
17.375 * [taylor]: Taking taylor expansion of y in a
17.375 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
17.375 * [taylor]: Taking taylor expansion of 4.0 in a
17.375 * [taylor]: Taking taylor expansion of (/ 1 a) in a
17.375 * [taylor]: Taking taylor expansion of a in a
17.376 * [taylor]: Taking taylor expansion of t in a
17.377 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in z
17.377 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in z
17.377 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in z
17.377 * [taylor]: Taking taylor expansion of 18.0 in z
17.377 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
17.377 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
17.377 * [taylor]: Taking taylor expansion of x in z
17.377 * [taylor]: Taking taylor expansion of (* z y) in z
17.377 * [taylor]: Taking taylor expansion of z in z
17.377 * [taylor]: Taking taylor expansion of y in z
17.378 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
17.378 * [taylor]: Taking taylor expansion of 4.0 in z
17.378 * [taylor]: Taking taylor expansion of (/ 1 a) in z
17.378 * [taylor]: Taking taylor expansion of a in z
17.378 * [taylor]: Taking taylor expansion of t in z
17.378 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in y
17.378 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in y
17.378 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in y
17.378 * [taylor]: Taking taylor expansion of 18.0 in y
17.378 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
17.378 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
17.378 * [taylor]: Taking taylor expansion of x in y
17.378 * [taylor]: Taking taylor expansion of (* z y) in y
17.378 * [taylor]: Taking taylor expansion of z in y
17.378 * [taylor]: Taking taylor expansion of y in y
17.379 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
17.379 * [taylor]: Taking taylor expansion of 4.0 in y
17.379 * [taylor]: Taking taylor expansion of (/ 1 a) in y
17.379 * [taylor]: Taking taylor expansion of a in y
17.379 * [taylor]: Taking taylor expansion of t in y
17.379 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in x
17.379 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in x
17.379 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
17.379 * [taylor]: Taking taylor expansion of 18.0 in x
17.379 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
17.379 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
17.379 * [taylor]: Taking taylor expansion of x in x
17.379 * [taylor]: Taking taylor expansion of (* z y) in x
17.379 * [taylor]: Taking taylor expansion of z in x
17.379 * [taylor]: Taking taylor expansion of y in x
17.380 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
17.380 * [taylor]: Taking taylor expansion of 4.0 in x
17.380 * [taylor]: Taking taylor expansion of (/ 1 a) in x
17.380 * [taylor]: Taking taylor expansion of a in x
17.380 * [taylor]: Taking taylor expansion of t in x
17.380 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in t
17.380 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in t
17.380 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
17.380 * [taylor]: Taking taylor expansion of 18.0 in t
17.380 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
17.380 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
17.380 * [taylor]: Taking taylor expansion of x in t
17.380 * [taylor]: Taking taylor expansion of (* z y) in t
17.380 * [taylor]: Taking taylor expansion of z in t
17.380 * [taylor]: Taking taylor expansion of y in t
17.380 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
17.380 * [taylor]: Taking taylor expansion of 4.0 in t
17.381 * [taylor]: Taking taylor expansion of (/ 1 a) in t
17.381 * [taylor]: Taking taylor expansion of a in t
17.381 * [taylor]: Taking taylor expansion of t in t
17.381 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in t
17.381 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in t
17.381 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
17.381 * [taylor]: Taking taylor expansion of 18.0 in t
17.381 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
17.381 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
17.381 * [taylor]: Taking taylor expansion of x in t
17.381 * [taylor]: Taking taylor expansion of (* z y) in t
17.381 * [taylor]: Taking taylor expansion of z in t
17.381 * [taylor]: Taking taylor expansion of y in t
17.381 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
17.381 * [taylor]: Taking taylor expansion of 4.0 in t
17.381 * [taylor]: Taking taylor expansion of (/ 1 a) in t
17.381 * [taylor]: Taking taylor expansion of a in t
17.381 * [taylor]: Taking taylor expansion of t in t
17.382 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in x
17.382 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
17.382 * [taylor]: Taking taylor expansion of 18.0 in x
17.382 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
17.382 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
17.382 * [taylor]: Taking taylor expansion of x in x
17.382 * [taylor]: Taking taylor expansion of (* z y) in x
17.382 * [taylor]: Taking taylor expansion of z in x
17.382 * [taylor]: Taking taylor expansion of y in x
17.382 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
17.382 * [taylor]: Taking taylor expansion of 4.0 in x
17.382 * [taylor]: Taking taylor expansion of (/ 1 a) in x
17.382 * [taylor]: Taking taylor expansion of a in x
17.382 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* z y))) in y
17.383 * [taylor]: Taking taylor expansion of 18.0 in y
17.383 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
17.383 * [taylor]: Taking taylor expansion of (* z y) in y
17.383 * [taylor]: Taking taylor expansion of z in y
17.383 * [taylor]: Taking taylor expansion of y in y
17.383 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
17.383 * [taylor]: Taking taylor expansion of 18.0 in z
17.383 * [taylor]: Taking taylor expansion of z in z
17.383 * [taylor]: Taking taylor expansion of 18.0 in a
17.385 * [taylor]: Taking taylor expansion of 0 in x
17.387 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in y
17.387 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
17.387 * [taylor]: Taking taylor expansion of 4.0 in y
17.387 * [taylor]: Taking taylor expansion of (/ 1 a) in y
17.387 * [taylor]: Taking taylor expansion of a in y
17.388 * [taylor]: Taking taylor expansion of 0 in z
17.388 * [taylor]: Taking taylor expansion of 0 in a
17.392 * [taylor]: Taking taylor expansion of 0 in x
17.392 * [taylor]: Taking taylor expansion of 0 in y
17.395 * [taylor]: Taking taylor expansion of 0 in y
17.395 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in z
17.396 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
17.396 * [taylor]: Taking taylor expansion of 4.0 in z
17.396 * [taylor]: Taking taylor expansion of (/ 1 a) in z
17.396 * [taylor]: Taking taylor expansion of a in z
17.397 * [taylor]: Taking taylor expansion of 0 in z
17.397 * [taylor]: Taking taylor expansion of 0 in a
17.398 * [taylor]: Taking taylor expansion of 0 in a
17.402 * [taylor]: Taking taylor expansion of 0 in x
17.402 * [taylor]: Taking taylor expansion of 0 in y
17.402 * [taylor]: Taking taylor expansion of 0 in y
17.406 * [taylor]: Taking taylor expansion of 0 in y
17.406 * [taylor]: Taking taylor expansion of 0 in z
17.406 * [taylor]: Taking taylor expansion of 0 in z
17.407 * [taylor]: Taking taylor expansion of 0 in z
17.408 * [taylor]: Taking taylor expansion of 0 in z
17.408 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in a
17.408 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
17.408 * [taylor]: Taking taylor expansion of 4.0 in a
17.409 * [taylor]: Taking taylor expansion of (/ 1 a) in a
17.409 * [taylor]: Taking taylor expansion of a in a
17.410 * [taylor]: Taking taylor expansion of 0 in a
17.410 * [taylor]: Taking taylor expansion of 0 in a
17.410 * [taylor]: Taking taylor expansion of 0 in a
17.416 * [taylor]: Taking taylor expansion of 0 in x
17.416 * [taylor]: Taking taylor expansion of 0 in y
17.416 * [taylor]: Taking taylor expansion of 0 in y
17.416 * [taylor]: Taking taylor expansion of 0 in y
17.421 * [taylor]: Taking taylor expansion of 0 in y
17.421 * [taylor]: Taking taylor expansion of 0 in z
17.421 * [taylor]: Taking taylor expansion of 0 in z
17.421 * [taylor]: Taking taylor expansion of 0 in z
17.421 * [taylor]: Taking taylor expansion of 0 in z
17.421 * [taylor]: Taking taylor expansion of 0 in z
17.422 * [taylor]: Taking taylor expansion of 0 in z
17.424 * [taylor]: Taking taylor expansion of 0 in z
17.424 * [taylor]: Taking taylor expansion of 0 in a
17.424 * [taylor]: Taking taylor expansion of 0 in a
17.424 * [taylor]: Taking taylor expansion of 0 in a
17.424 * [taylor]: Taking taylor expansion of 0 in a
17.425 * [taylor]: Taking taylor expansion of 0 in a
17.425 * [taylor]: Taking taylor expansion of 0 in a
17.425 * [taylor]: Taking taylor expansion of 0 in a
17.426 * [taylor]: Taking taylor expansion of 0 in a
17.428 * [approximate]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in (t x y z a) around 0
17.428 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in a
17.428 * [taylor]: Taking taylor expansion of -1 in a
17.428 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in a
17.428 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in a
17.428 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
17.428 * [taylor]: Taking taylor expansion of 4.0 in a
17.428 * [taylor]: Taking taylor expansion of (/ 1 a) in a
17.428 * [taylor]: Taking taylor expansion of a in a
17.428 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in a
17.428 * [taylor]: Taking taylor expansion of 18.0 in a
17.428 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a
17.428 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
17.428 * [taylor]: Taking taylor expansion of x in a
17.428 * [taylor]: Taking taylor expansion of (* z y) in a
17.428 * [taylor]: Taking taylor expansion of z in a
17.428 * [taylor]: Taking taylor expansion of y in a
17.428 * [taylor]: Taking taylor expansion of t in a
17.429 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in z
17.429 * [taylor]: Taking taylor expansion of -1 in z
17.429 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in z
17.429 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in z
17.429 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
17.429 * [taylor]: Taking taylor expansion of 4.0 in z
17.429 * [taylor]: Taking taylor expansion of (/ 1 a) in z
17.429 * [taylor]: Taking taylor expansion of a in z
17.429 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in z
17.429 * [taylor]: Taking taylor expansion of 18.0 in z
17.429 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
17.429 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
17.429 * [taylor]: Taking taylor expansion of x in z
17.429 * [taylor]: Taking taylor expansion of (* z y) in z
17.429 * [taylor]: Taking taylor expansion of z in z
17.429 * [taylor]: Taking taylor expansion of y in z
17.430 * [taylor]: Taking taylor expansion of t in z
17.430 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in y
17.430 * [taylor]: Taking taylor expansion of -1 in y
17.430 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in y
17.430 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in y
17.430 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
17.430 * [taylor]: Taking taylor expansion of 4.0 in y
17.430 * [taylor]: Taking taylor expansion of (/ 1 a) in y
17.430 * [taylor]: Taking taylor expansion of a in y
17.430 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in y
17.430 * [taylor]: Taking taylor expansion of 18.0 in y
17.430 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
17.430 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
17.430 * [taylor]: Taking taylor expansion of x in y
17.430 * [taylor]: Taking taylor expansion of (* z y) in y
17.430 * [taylor]: Taking taylor expansion of z in y
17.430 * [taylor]: Taking taylor expansion of y in y
17.431 * [taylor]: Taking taylor expansion of t in y
17.431 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in x
17.431 * [taylor]: Taking taylor expansion of -1 in x
17.431 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in x
17.431 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in x
17.431 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
17.432 * [taylor]: Taking taylor expansion of 4.0 in x
17.432 * [taylor]: Taking taylor expansion of (/ 1 a) in x
17.432 * [taylor]: Taking taylor expansion of a in x
17.432 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
17.432 * [taylor]: Taking taylor expansion of 18.0 in x
17.432 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
17.432 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
17.432 * [taylor]: Taking taylor expansion of x in x
17.432 * [taylor]: Taking taylor expansion of (* z y) in x
17.432 * [taylor]: Taking taylor expansion of z in x
17.432 * [taylor]: Taking taylor expansion of y in x
17.432 * [taylor]: Taking taylor expansion of t in x
17.432 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in t
17.432 * [taylor]: Taking taylor expansion of -1 in t
17.432 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in t
17.432 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in t
17.432 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
17.433 * [taylor]: Taking taylor expansion of 4.0 in t
17.433 * [taylor]: Taking taylor expansion of (/ 1 a) in t
17.433 * [taylor]: Taking taylor expansion of a in t
17.433 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
17.433 * [taylor]: Taking taylor expansion of 18.0 in t
17.433 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
17.433 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
17.433 * [taylor]: Taking taylor expansion of x in t
17.433 * [taylor]: Taking taylor expansion of (* z y) in t
17.433 * [taylor]: Taking taylor expansion of z in t
17.433 * [taylor]: Taking taylor expansion of y in t
17.433 * [taylor]: Taking taylor expansion of t in t
17.433 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in t
17.433 * [taylor]: Taking taylor expansion of -1 in t
17.433 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in t
17.433 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in t
17.433 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
17.433 * [taylor]: Taking taylor expansion of 4.0 in t
17.433 * [taylor]: Taking taylor expansion of (/ 1 a) in t
17.433 * [taylor]: Taking taylor expansion of a in t
17.433 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
17.433 * [taylor]: Taking taylor expansion of 18.0 in t
17.433 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
17.433 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
17.433 * [taylor]: Taking taylor expansion of x in t
17.433 * [taylor]: Taking taylor expansion of (* z y) in t
17.433 * [taylor]: Taking taylor expansion of z in t
17.434 * [taylor]: Taking taylor expansion of y in t
17.434 * [taylor]: Taking taylor expansion of t in t
17.434 * [taylor]: Taking taylor expansion of (* -1 (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y)))))) in x
17.434 * [taylor]: Taking taylor expansion of -1 in x
17.434 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in x
17.434 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
17.434 * [taylor]: Taking taylor expansion of 4.0 in x
17.434 * [taylor]: Taking taylor expansion of (/ 1 a) in x
17.434 * [taylor]: Taking taylor expansion of a in x
17.434 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
17.434 * [taylor]: Taking taylor expansion of 18.0 in x
17.434 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
17.434 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
17.434 * [taylor]: Taking taylor expansion of x in x
17.434 * [taylor]: Taking taylor expansion of (* z y) in x
17.434 * [taylor]: Taking taylor expansion of z in x
17.434 * [taylor]: Taking taylor expansion of y in x
17.435 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
17.435 * [taylor]: Taking taylor expansion of 18.0 in y
17.435 * [taylor]: Taking taylor expansion of (* z y) in y
17.435 * [taylor]: Taking taylor expansion of z in y
17.435 * [taylor]: Taking taylor expansion of y in y
17.436 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
17.436 * [taylor]: Taking taylor expansion of 18.0 in z
17.436 * [taylor]: Taking taylor expansion of z in z
17.436 * [taylor]: Taking taylor expansion of 18.0 in a
17.439 * [taylor]: Taking taylor expansion of 0 in x
17.440 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in y
17.441 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
17.441 * [taylor]: Taking taylor expansion of 4.0 in y
17.441 * [taylor]: Taking taylor expansion of (/ 1 a) in y
17.441 * [taylor]: Taking taylor expansion of a in y
17.441 * [taylor]: Taking taylor expansion of 0 in z
17.442 * [taylor]: Taking taylor expansion of 0 in a
17.446 * [taylor]: Taking taylor expansion of 0 in x
17.446 * [taylor]: Taking taylor expansion of 0 in y
17.449 * [taylor]: Taking taylor expansion of 0 in y
17.449 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in z
17.450 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
17.450 * [taylor]: Taking taylor expansion of 4.0 in z
17.450 * [taylor]: Taking taylor expansion of (/ 1 a) in z
17.450 * [taylor]: Taking taylor expansion of a in z
17.450 * [taylor]: Taking taylor expansion of 0 in z
17.450 * [taylor]: Taking taylor expansion of 0 in a
17.451 * [taylor]: Taking taylor expansion of 0 in a
17.457 * [taylor]: Taking taylor expansion of 0 in x
17.457 * [taylor]: Taking taylor expansion of 0 in y
17.457 * [taylor]: Taking taylor expansion of 0 in y
17.464 * [taylor]: Taking taylor expansion of 0 in y
17.464 * [taylor]: Taking taylor expansion of 0 in z
17.464 * [taylor]: Taking taylor expansion of 0 in z
17.465 * [taylor]: Taking taylor expansion of 0 in z
17.466 * [taylor]: Taking taylor expansion of 0 in z
17.466 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in a
17.466 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
17.466 * [taylor]: Taking taylor expansion of 4.0 in a
17.466 * [taylor]: Taking taylor expansion of (/ 1 a) in a
17.466 * [taylor]: Taking taylor expansion of a in a
17.467 * [taylor]: Taking taylor expansion of 0 in a
17.467 * [taylor]: Taking taylor expansion of 0 in a
17.468 * [taylor]: Taking taylor expansion of 0 in a
17.475 * [taylor]: Taking taylor expansion of 0 in x
17.475 * [taylor]: Taking taylor expansion of 0 in y
17.475 * [taylor]: Taking taylor expansion of 0 in y
17.475 * [taylor]: Taking taylor expansion of 0 in y
17.480 * [taylor]: Taking taylor expansion of 0 in y
17.481 * [taylor]: Taking taylor expansion of 0 in z
17.481 * [taylor]: Taking taylor expansion of 0 in z
17.481 * [taylor]: Taking taylor expansion of 0 in z
17.481 * [taylor]: Taking taylor expansion of 0 in z
17.481 * [taylor]: Taking taylor expansion of 0 in z
17.482 * [taylor]: Taking taylor expansion of 0 in z
17.482 * [taylor]: Taking taylor expansion of 0 in z
17.482 * [taylor]: Taking taylor expansion of 0 in a
17.482 * [taylor]: Taking taylor expansion of 0 in a
17.483 * [taylor]: Taking taylor expansion of 0 in a
17.483 * [taylor]: Taking taylor expansion of 0 in a
17.483 * [taylor]: Taking taylor expansion of 0 in a
17.483 * [taylor]: Taking taylor expansion of 0 in a
17.483 * [taylor]: Taking taylor expansion of 0 in a
17.484 * [taylor]: Taking taylor expansion of 0 in a
17.486 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
17.486 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
17.486 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
17.486 * [taylor]: Taking taylor expansion of 27.0 in k
17.486 * [taylor]: Taking taylor expansion of (* k j) in k
17.486 * [taylor]: Taking taylor expansion of k in k
17.486 * [taylor]: Taking taylor expansion of j in k
17.486 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
17.486 * [taylor]: Taking taylor expansion of 27.0 in j
17.486 * [taylor]: Taking taylor expansion of (* k j) in j
17.486 * [taylor]: Taking taylor expansion of k in j
17.486 * [taylor]: Taking taylor expansion of j in j
17.486 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
17.486 * [taylor]: Taking taylor expansion of 27.0 in j
17.486 * [taylor]: Taking taylor expansion of (* k j) in j
17.486 * [taylor]: Taking taylor expansion of k in j
17.486 * [taylor]: Taking taylor expansion of j in j
17.486 * [taylor]: Taking taylor expansion of 0 in k
17.487 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
17.487 * [taylor]: Taking taylor expansion of 27.0 in k
17.487 * [taylor]: Taking taylor expansion of k in k
17.488 * [taylor]: Taking taylor expansion of 0 in k
17.490 * [taylor]: Taking taylor expansion of 0 in k
17.493 * [taylor]: Taking taylor expansion of 0 in k
17.493 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
17.493 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
17.493 * [taylor]: Taking taylor expansion of 27.0 in k
17.493 * [taylor]: Taking taylor expansion of (* k j) in k
17.493 * [taylor]: Taking taylor expansion of k in k
17.493 * [taylor]: Taking taylor expansion of j in k
17.493 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
17.493 * [taylor]: Taking taylor expansion of 27.0 in j
17.493 * [taylor]: Taking taylor expansion of (* k j) in j
17.493 * [taylor]: Taking taylor expansion of k in j
17.493 * [taylor]: Taking taylor expansion of j in j
17.494 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
17.494 * [taylor]: Taking taylor expansion of 27.0 in j
17.494 * [taylor]: Taking taylor expansion of (* k j) in j
17.494 * [taylor]: Taking taylor expansion of k in j
17.494 * [taylor]: Taking taylor expansion of j in j
17.494 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
17.494 * [taylor]: Taking taylor expansion of 27.0 in k
17.494 * [taylor]: Taking taylor expansion of k in k
17.495 * [taylor]: Taking taylor expansion of 0 in k
17.496 * [taylor]: Taking taylor expansion of 0 in k
17.497 * [taylor]: Taking taylor expansion of 0 in k
17.498 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
17.498 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
17.498 * [taylor]: Taking taylor expansion of 27.0 in k
17.498 * [taylor]: Taking taylor expansion of (* k j) in k
17.498 * [taylor]: Taking taylor expansion of k in k
17.498 * [taylor]: Taking taylor expansion of j in k
17.498 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
17.498 * [taylor]: Taking taylor expansion of 27.0 in j
17.498 * [taylor]: Taking taylor expansion of (* k j) in j
17.499 * [taylor]: Taking taylor expansion of k in j
17.499 * [taylor]: Taking taylor expansion of j in j
17.499 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
17.499 * [taylor]: Taking taylor expansion of 27.0 in j
17.499 * [taylor]: Taking taylor expansion of (* k j) in j
17.499 * [taylor]: Taking taylor expansion of k in j
17.499 * [taylor]: Taking taylor expansion of j in j
17.499 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
17.499 * [taylor]: Taking taylor expansion of 27.0 in k
17.499 * [taylor]: Taking taylor expansion of k in k
17.500 * [taylor]: Taking taylor expansion of 0 in k
17.501 * [taylor]: Taking taylor expansion of 0 in k
17.502 * [taylor]: Taking taylor expansion of 0 in k
17.503 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1)
17.503 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
17.503 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
17.503 * [taylor]: Taking taylor expansion of 18.0 in y
17.503 * [taylor]: Taking taylor expansion of (* x y) in y
17.503 * [taylor]: Taking taylor expansion of x in y
17.503 * [taylor]: Taking taylor expansion of y in y
17.503 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
17.503 * [taylor]: Taking taylor expansion of 18.0 in x
17.503 * [taylor]: Taking taylor expansion of (* x y) in x
17.503 * [taylor]: Taking taylor expansion of x in x
17.503 * [taylor]: Taking taylor expansion of y in x
17.503 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
17.504 * [taylor]: Taking taylor expansion of 18.0 in x
17.504 * [taylor]: Taking taylor expansion of (* x y) in x
17.504 * [taylor]: Taking taylor expansion of x in x
17.504 * [taylor]: Taking taylor expansion of y in x
17.504 * [taylor]: Taking taylor expansion of 0 in y
17.504 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
17.504 * [taylor]: Taking taylor expansion of 18.0 in y
17.505 * [taylor]: Taking taylor expansion of y in y
17.506 * [taylor]: Taking taylor expansion of 0 in y
17.508 * [taylor]: Taking taylor expansion of 0 in y
17.511 * [taylor]: Taking taylor expansion of 0 in y
17.511 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
17.511 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
17.511 * [taylor]: Taking taylor expansion of 18.0 in y
17.511 * [taylor]: Taking taylor expansion of (* x y) in y
17.511 * [taylor]: Taking taylor expansion of x in y
17.511 * [taylor]: Taking taylor expansion of y in y
17.512 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
17.512 * [taylor]: Taking taylor expansion of 18.0 in x
17.512 * [taylor]: Taking taylor expansion of (* x y) in x
17.512 * [taylor]: Taking taylor expansion of x in x
17.512 * [taylor]: Taking taylor expansion of y in x
17.512 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
17.512 * [taylor]: Taking taylor expansion of 18.0 in x
17.512 * [taylor]: Taking taylor expansion of (* x y) in x
17.512 * [taylor]: Taking taylor expansion of x in x
17.512 * [taylor]: Taking taylor expansion of y in x
17.512 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
17.512 * [taylor]: Taking taylor expansion of 18.0 in y
17.513 * [taylor]: Taking taylor expansion of y in y
17.514 * [taylor]: Taking taylor expansion of 0 in y
17.515 * [taylor]: Taking taylor expansion of 0 in y
17.517 * [taylor]: Taking taylor expansion of 0 in y
17.518 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
17.518 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
17.518 * [taylor]: Taking taylor expansion of 18.0 in y
17.518 * [taylor]: Taking taylor expansion of (* x y) in y
17.518 * [taylor]: Taking taylor expansion of x in y
17.518 * [taylor]: Taking taylor expansion of y in y
17.518 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
17.518 * [taylor]: Taking taylor expansion of 18.0 in x
17.518 * [taylor]: Taking taylor expansion of (* x y) in x
17.518 * [taylor]: Taking taylor expansion of x in x
17.518 * [taylor]: Taking taylor expansion of y in x
17.518 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
17.519 * [taylor]: Taking taylor expansion of 18.0 in x
17.519 * [taylor]: Taking taylor expansion of (* x y) in x
17.519 * [taylor]: Taking taylor expansion of x in x
17.519 * [taylor]: Taking taylor expansion of y in x
17.519 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
17.519 * [taylor]: Taking taylor expansion of 18.0 in y
17.519 * [taylor]: Taking taylor expansion of y in y
17.520 * [taylor]: Taking taylor expansion of 0 in y
17.521 * [taylor]: Taking taylor expansion of 0 in y
17.523 * [taylor]: Taking taylor expansion of 0 in y
17.524 * * * [progress]: simplifying candidates
17.525 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (+ (+ (+ (log x) (log 18.0)) (log y)) (log z))
  (+ (+ (log (* x 18.0)) (log y)) (log z))
  (+ (log (* (* x 18.0) y)) (log z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z))
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* (* x 18.0) y) 1)
  (* y z)
  (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (+ (log t) (log (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (log (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (exp (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (* (* t t) t) (* (* (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* (* (* x 18.0) y) z) (* a 4.0))) (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))))
  (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (* (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (sqrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (sqrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (sqrt t) (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (sqrt t) (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* t (* (* (* x 18.0) y) z))
  (* t (- (* a 4.0)))
  (* t (* (* (* x 18.0) y) z))
  (* t (- (* a 4.0)))
  (* (* (* (* x 18.0) y) z) t)
  (* (- (* a 4.0)) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (- (* a 4.0)) t)
  (* t (* (cbrt (- (* (* (* x 18.0) y) z) (* a 4.0))) (cbrt (- (* (* (* x 18.0) y) z) (* a 4.0)))))
  (* t (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* t 1)
  (* (cbrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3)))
  (* t (- (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* a 4.0) (* a 4.0))))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (+ (log j) (+ (log 27.0) (log k)))
  (+ (log j) (log (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (exp (* j (* 27.0 k)))
  (* (* (* j j) j) (* (* (* 27.0 27.0) 27.0) (* (* k k) k)))
  (* (* (* j j) j) (* (* (* 27.0 k) (* 27.0 k)) (* 27.0 k)))
  (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k))))
  (cbrt (* j (* 27.0 k)))
  (* (* (* j (* 27.0 k)) (* j (* 27.0 k))) (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (* j 27.0)
  (* (cbrt j) (* 27.0 k))
  (* (sqrt j) (* 27.0 k))
  (* j (* 27.0 k))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (+ (+ (log x) (log 18.0)) (log y))
  (+ (log (* x 18.0)) (log y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y))
  (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y))
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* (* x 18.0) 1)
  (* 18.0 y)
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  0
  (- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* a t)))
  (- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* a t)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
17.529 * * [simplify]: iteration  0 :  156  enodes  (cost  1012 )
17.559 * * [simplify]: iteration  1 :  395  enodes  (cost  979 )
17.731 * * [simplify]: iteration  2 :  1620  enodes  (cost  821 )
18.461 * * [simplify]: iteration  done :  5001  enodes  (cost  821 )
18.462 * [simplify]: Simplified to:
   (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* 18.0 (* x (* z y))))
  (log (* 18.0 (* x (* z y))))
  (log (* 18.0 (* x (* z y))))
  (log (* 18.0 (* x (* z y))))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* y z)
  (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (log (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (log (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (exp (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)
  (* (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))))
  (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)
  (sqrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (sqrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (sqrt t) (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* (sqrt t) (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0))))
  (* 18.0 (* t (* x (* z y))))
  (* t (- (* a 4.0)))
  (* 18.0 (* t (* x (* z y))))
  (* t (- (* a 4.0)))
  (* 18.0 (* t (* x (* z y))))
  (* t (- (* a 4.0)))
  (* 18.0 (* t (* x (* z y))))
  (* t (- (* a 4.0)))
  (* t (* (cbrt (- (* (* (* x 18.0) y) z) (* a 4.0))) (cbrt (- (* (* (* x 18.0) y) z) (* a 4.0)))))
  (* t (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0))))
  t
  (* (cbrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3)))
  (* t (- (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* a 4.0) (* a 4.0))))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (exp (* j (* 27.0 k)))
  (pow (* j (* 27.0 k)) 3)
  (pow (* j (* 27.0 k)) 3)
  (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k))))
  (cbrt (* j (* 27.0 k)))
  (pow (* j (* 27.0 k)) 3)
  (sqrt (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (* j 27.0)
  (* (cbrt j) (* 27.0 k))
  (* (sqrt j) (* 27.0 k))
  (* j (* 27.0 k))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (pow (* (* x 18.0) y) 3)
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* x 18.0)
  (* y 18.0)
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  0
  (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
18.462 * * * [progress]: adding candidates to table
18.745 * * [progress]: iteration 3 / 4
18.745 * * * [progress]: picking best candidate
18.778 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))>
18.778 * * * [progress]: localizing error
18.802 * * * [progress]: generating rewritten candidates
18.802 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1)
18.821 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
18.896 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
18.902 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
18.910 * * * [progress]: generating series expansions
18.910 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1)
18.911 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
18.911 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
18.911 * [taylor]: Taking taylor expansion of 18.0 in z
18.911 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
18.911 * [taylor]: Taking taylor expansion of x in z
18.911 * [taylor]: Taking taylor expansion of (* z y) in z
18.911 * [taylor]: Taking taylor expansion of z in z
18.911 * [taylor]: Taking taylor expansion of y in z
18.911 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
18.911 * [taylor]: Taking taylor expansion of 18.0 in y
18.911 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
18.911 * [taylor]: Taking taylor expansion of x in y
18.911 * [taylor]: Taking taylor expansion of (* z y) in y
18.911 * [taylor]: Taking taylor expansion of z in y
18.911 * [taylor]: Taking taylor expansion of y in y
18.911 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
18.911 * [taylor]: Taking taylor expansion of 18.0 in x
18.911 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
18.911 * [taylor]: Taking taylor expansion of x in x
18.911 * [taylor]: Taking taylor expansion of (* z y) in x
18.911 * [taylor]: Taking taylor expansion of z in x
18.911 * [taylor]: Taking taylor expansion of y in x
18.911 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
18.911 * [taylor]: Taking taylor expansion of 18.0 in x
18.911 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
18.911 * [taylor]: Taking taylor expansion of x in x
18.911 * [taylor]: Taking taylor expansion of (* z y) in x
18.911 * [taylor]: Taking taylor expansion of z in x
18.911 * [taylor]: Taking taylor expansion of y in x
18.912 * [taylor]: Taking taylor expansion of 0 in y
18.912 * [taylor]: Taking taylor expansion of 0 in z
18.912 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
18.912 * [taylor]: Taking taylor expansion of 18.0 in y
18.913 * [taylor]: Taking taylor expansion of (* z y) in y
18.913 * [taylor]: Taking taylor expansion of z in y
18.913 * [taylor]: Taking taylor expansion of y in y
18.913 * [taylor]: Taking taylor expansion of 0 in z
18.913 * [taylor]: Taking taylor expansion of 0 in z
18.914 * [taylor]: Taking taylor expansion of 0 in y
18.914 * [taylor]: Taking taylor expansion of 0 in z
18.915 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
18.915 * [taylor]: Taking taylor expansion of 18.0 in z
18.915 * [taylor]: Taking taylor expansion of z in z
18.915 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
18.915 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
18.915 * [taylor]: Taking taylor expansion of 18.0 in z
18.915 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
18.915 * [taylor]: Taking taylor expansion of x in z
18.915 * [taylor]: Taking taylor expansion of (* z y) in z
18.915 * [taylor]: Taking taylor expansion of z in z
18.915 * [taylor]: Taking taylor expansion of y in z
18.916 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
18.916 * [taylor]: Taking taylor expansion of 18.0 in y
18.916 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
18.916 * [taylor]: Taking taylor expansion of x in y
18.916 * [taylor]: Taking taylor expansion of (* z y) in y
18.916 * [taylor]: Taking taylor expansion of z in y
18.916 * [taylor]: Taking taylor expansion of y in y
18.917 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
18.917 * [taylor]: Taking taylor expansion of 18.0 in x
18.917 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
18.917 * [taylor]: Taking taylor expansion of x in x
18.917 * [taylor]: Taking taylor expansion of (* z y) in x
18.917 * [taylor]: Taking taylor expansion of z in x
18.917 * [taylor]: Taking taylor expansion of y in x
18.917 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
18.917 * [taylor]: Taking taylor expansion of 18.0 in x
18.917 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
18.917 * [taylor]: Taking taylor expansion of x in x
18.917 * [taylor]: Taking taylor expansion of (* z y) in x
18.917 * [taylor]: Taking taylor expansion of z in x
18.917 * [taylor]: Taking taylor expansion of y in x
18.918 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
18.918 * [taylor]: Taking taylor expansion of 18.0 in y
18.918 * [taylor]: Taking taylor expansion of (* z y) in y
18.918 * [taylor]: Taking taylor expansion of z in y
18.918 * [taylor]: Taking taylor expansion of y in y
18.918 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
18.918 * [taylor]: Taking taylor expansion of 18.0 in z
18.918 * [taylor]: Taking taylor expansion of z in z
18.920 * [taylor]: Taking taylor expansion of 0 in y
18.920 * [taylor]: Taking taylor expansion of 0 in z
18.922 * [taylor]: Taking taylor expansion of 0 in y
18.922 * [taylor]: Taking taylor expansion of 0 in z
18.923 * [taylor]: Taking taylor expansion of 0 in z
18.925 * [taylor]: Taking taylor expansion of 0 in y
18.925 * [taylor]: Taking taylor expansion of 0 in z
18.925 * [taylor]: Taking taylor expansion of 0 in z
18.926 * [taylor]: Taking taylor expansion of 0 in z
18.926 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
18.926 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
18.926 * [taylor]: Taking taylor expansion of -18.0 in z
18.926 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
18.926 * [taylor]: Taking taylor expansion of x in z
18.926 * [taylor]: Taking taylor expansion of (* z y) in z
18.926 * [taylor]: Taking taylor expansion of z in z
18.926 * [taylor]: Taking taylor expansion of y in z
18.927 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
18.927 * [taylor]: Taking taylor expansion of -18.0 in y
18.927 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
18.927 * [taylor]: Taking taylor expansion of x in y
18.927 * [taylor]: Taking taylor expansion of (* z y) in y
18.927 * [taylor]: Taking taylor expansion of z in y
18.927 * [taylor]: Taking taylor expansion of y in y
18.928 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
18.928 * [taylor]: Taking taylor expansion of -18.0 in x
18.928 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
18.928 * [taylor]: Taking taylor expansion of x in x
18.928 * [taylor]: Taking taylor expansion of (* z y) in x
18.928 * [taylor]: Taking taylor expansion of z in x
18.928 * [taylor]: Taking taylor expansion of y in x
18.928 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
18.928 * [taylor]: Taking taylor expansion of -18.0 in x
18.928 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
18.928 * [taylor]: Taking taylor expansion of x in x
18.928 * [taylor]: Taking taylor expansion of (* z y) in x
18.928 * [taylor]: Taking taylor expansion of z in x
18.928 * [taylor]: Taking taylor expansion of y in x
18.929 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
18.929 * [taylor]: Taking taylor expansion of -18.0 in y
18.929 * [taylor]: Taking taylor expansion of (* z y) in y
18.929 * [taylor]: Taking taylor expansion of z in y
18.929 * [taylor]: Taking taylor expansion of y in y
18.929 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
18.929 * [taylor]: Taking taylor expansion of -18.0 in z
18.929 * [taylor]: Taking taylor expansion of z in z
18.930 * [taylor]: Taking taylor expansion of 0 in y
18.931 * [taylor]: Taking taylor expansion of 0 in z
18.933 * [taylor]: Taking taylor expansion of 0 in y
18.933 * [taylor]: Taking taylor expansion of 0 in z
18.934 * [taylor]: Taking taylor expansion of 0 in z
18.936 * [taylor]: Taking taylor expansion of 0 in y
18.936 * [taylor]: Taking taylor expansion of 0 in z
18.936 * [taylor]: Taking taylor expansion of 0 in z
18.937 * [taylor]: Taking taylor expansion of 0 in z
18.937 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
18.937 * [approximate]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in (t x y z a) around 0
18.937 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in a
18.937 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in a
18.937 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in a
18.937 * [taylor]: Taking taylor expansion of 18.0 in a
18.937 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
18.937 * [taylor]: Taking taylor expansion of x in a
18.937 * [taylor]: Taking taylor expansion of (* z y) in a
18.937 * [taylor]: Taking taylor expansion of z in a
18.937 * [taylor]: Taking taylor expansion of y in a
18.937 * [taylor]: Taking taylor expansion of (* 4.0 a) in a
18.937 * [taylor]: Taking taylor expansion of 4.0 in a
18.937 * [taylor]: Taking taylor expansion of a in a
18.937 * [taylor]: Taking taylor expansion of t in a
18.938 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in z
18.938 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in z
18.938 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
18.938 * [taylor]: Taking taylor expansion of 18.0 in z
18.938 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
18.938 * [taylor]: Taking taylor expansion of x in z
18.938 * [taylor]: Taking taylor expansion of (* z y) in z
18.938 * [taylor]: Taking taylor expansion of z in z
18.938 * [taylor]: Taking taylor expansion of y in z
18.938 * [taylor]: Taking taylor expansion of (* 4.0 a) in z
18.938 * [taylor]: Taking taylor expansion of 4.0 in z
18.938 * [taylor]: Taking taylor expansion of a in z
18.938 * [taylor]: Taking taylor expansion of t in z
18.938 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in y
18.938 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in y
18.938 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
18.938 * [taylor]: Taking taylor expansion of 18.0 in y
18.938 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
18.938 * [taylor]: Taking taylor expansion of x in y
18.938 * [taylor]: Taking taylor expansion of (* z y) in y
18.938 * [taylor]: Taking taylor expansion of z in y
18.938 * [taylor]: Taking taylor expansion of y in y
18.938 * [taylor]: Taking taylor expansion of (* 4.0 a) in y
18.938 * [taylor]: Taking taylor expansion of 4.0 in y
18.938 * [taylor]: Taking taylor expansion of a in y
18.938 * [taylor]: Taking taylor expansion of t in y
18.938 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in x
18.938 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in x
18.938 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
18.938 * [taylor]: Taking taylor expansion of 18.0 in x
18.938 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
18.938 * [taylor]: Taking taylor expansion of x in x
18.938 * [taylor]: Taking taylor expansion of (* z y) in x
18.938 * [taylor]: Taking taylor expansion of z in x
18.938 * [taylor]: Taking taylor expansion of y in x
18.938 * [taylor]: Taking taylor expansion of (* 4.0 a) in x
18.938 * [taylor]: Taking taylor expansion of 4.0 in x
18.938 * [taylor]: Taking taylor expansion of a in x
18.938 * [taylor]: Taking taylor expansion of t in x
18.938 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in t
18.938 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in t
18.938 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in t
18.938 * [taylor]: Taking taylor expansion of 18.0 in t
18.938 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
18.938 * [taylor]: Taking taylor expansion of x in t
18.938 * [taylor]: Taking taylor expansion of (* z y) in t
18.938 * [taylor]: Taking taylor expansion of z in t
18.938 * [taylor]: Taking taylor expansion of y in t
18.938 * [taylor]: Taking taylor expansion of (* 4.0 a) in t
18.938 * [taylor]: Taking taylor expansion of 4.0 in t
18.938 * [taylor]: Taking taylor expansion of a in t
18.938 * [taylor]: Taking taylor expansion of t in t
18.938 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in t
18.938 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in t
18.938 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in t
18.938 * [taylor]: Taking taylor expansion of 18.0 in t
18.938 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
18.938 * [taylor]: Taking taylor expansion of x in t
18.938 * [taylor]: Taking taylor expansion of (* z y) in t
18.939 * [taylor]: Taking taylor expansion of z in t
18.939 * [taylor]: Taking taylor expansion of y in t
18.939 * [taylor]: Taking taylor expansion of (* 4.0 a) in t
18.939 * [taylor]: Taking taylor expansion of 4.0 in t
18.939 * [taylor]: Taking taylor expansion of a in t
18.939 * [taylor]: Taking taylor expansion of t in t
18.939 * [taylor]: Taking taylor expansion of 0 in x
18.939 * [taylor]: Taking taylor expansion of 0 in y
18.939 * [taylor]: Taking taylor expansion of 0 in z
18.939 * [taylor]: Taking taylor expansion of 0 in a
18.941 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in x
18.941 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
18.941 * [taylor]: Taking taylor expansion of 18.0 in x
18.941 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
18.941 * [taylor]: Taking taylor expansion of x in x
18.941 * [taylor]: Taking taylor expansion of (* z y) in x
18.941 * [taylor]: Taking taylor expansion of z in x
18.941 * [taylor]: Taking taylor expansion of y in x
18.941 * [taylor]: Taking taylor expansion of (* 4.0 a) in x
18.941 * [taylor]: Taking taylor expansion of 4.0 in x
18.941 * [taylor]: Taking taylor expansion of a in x
18.941 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in y
18.941 * [taylor]: Taking taylor expansion of (* 4.0 a) in y
18.941 * [taylor]: Taking taylor expansion of 4.0 in y
18.941 * [taylor]: Taking taylor expansion of a in y
18.941 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in z
18.941 * [taylor]: Taking taylor expansion of (* 4.0 a) in z
18.941 * [taylor]: Taking taylor expansion of 4.0 in z
18.941 * [taylor]: Taking taylor expansion of a in z
18.941 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in a
18.941 * [taylor]: Taking taylor expansion of (* 4.0 a) in a
18.941 * [taylor]: Taking taylor expansion of 4.0 in a
18.941 * [taylor]: Taking taylor expansion of a in a
18.942 * [taylor]: Taking taylor expansion of 0 in y
18.942 * [taylor]: Taking taylor expansion of 0 in z
18.942 * [taylor]: Taking taylor expansion of 0 in a
18.942 * [taylor]: Taking taylor expansion of 0 in z
18.942 * [taylor]: Taking taylor expansion of 0 in a
18.942 * [taylor]: Taking taylor expansion of 0 in a
18.942 * [approximate]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in (t x y z a) around 0
18.942 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in a
18.942 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in a
18.942 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in a
18.943 * [taylor]: Taking taylor expansion of 18.0 in a
18.943 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a
18.943 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
18.943 * [taylor]: Taking taylor expansion of x in a
18.943 * [taylor]: Taking taylor expansion of (* z y) in a
18.943 * [taylor]: Taking taylor expansion of z in a
18.943 * [taylor]: Taking taylor expansion of y in a
18.943 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
18.943 * [taylor]: Taking taylor expansion of 4.0 in a
18.943 * [taylor]: Taking taylor expansion of (/ 1 a) in a
18.943 * [taylor]: Taking taylor expansion of a in a
18.943 * [taylor]: Taking taylor expansion of t in a
18.944 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in z
18.944 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in z
18.944 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in z
18.944 * [taylor]: Taking taylor expansion of 18.0 in z
18.944 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
18.944 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
18.945 * [taylor]: Taking taylor expansion of x in z
18.945 * [taylor]: Taking taylor expansion of (* z y) in z
18.945 * [taylor]: Taking taylor expansion of z in z
18.945 * [taylor]: Taking taylor expansion of y in z
18.945 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
18.945 * [taylor]: Taking taylor expansion of 4.0 in z
18.945 * [taylor]: Taking taylor expansion of (/ 1 a) in z
18.945 * [taylor]: Taking taylor expansion of a in z
18.945 * [taylor]: Taking taylor expansion of t in z
18.945 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in y
18.945 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in y
18.945 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in y
18.945 * [taylor]: Taking taylor expansion of 18.0 in y
18.946 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
18.946 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
18.946 * [taylor]: Taking taylor expansion of x in y
18.946 * [taylor]: Taking taylor expansion of (* z y) in y
18.946 * [taylor]: Taking taylor expansion of z in y
18.946 * [taylor]: Taking taylor expansion of y in y
18.946 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
18.946 * [taylor]: Taking taylor expansion of 4.0 in y
18.946 * [taylor]: Taking taylor expansion of (/ 1 a) in y
18.946 * [taylor]: Taking taylor expansion of a in y
18.946 * [taylor]: Taking taylor expansion of t in y
18.946 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in x
18.946 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in x
18.947 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
18.947 * [taylor]: Taking taylor expansion of 18.0 in x
18.947 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
18.947 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
18.947 * [taylor]: Taking taylor expansion of x in x
18.947 * [taylor]: Taking taylor expansion of (* z y) in x
18.947 * [taylor]: Taking taylor expansion of z in x
18.947 * [taylor]: Taking taylor expansion of y in x
18.947 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
18.947 * [taylor]: Taking taylor expansion of 4.0 in x
18.947 * [taylor]: Taking taylor expansion of (/ 1 a) in x
18.947 * [taylor]: Taking taylor expansion of a in x
18.947 * [taylor]: Taking taylor expansion of t in x
18.947 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in t
18.947 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in t
18.948 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
18.948 * [taylor]: Taking taylor expansion of 18.0 in t
18.948 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
18.948 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
18.948 * [taylor]: Taking taylor expansion of x in t
18.948 * [taylor]: Taking taylor expansion of (* z y) in t
18.948 * [taylor]: Taking taylor expansion of z in t
18.948 * [taylor]: Taking taylor expansion of y in t
18.948 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
18.948 * [taylor]: Taking taylor expansion of 4.0 in t
18.948 * [taylor]: Taking taylor expansion of (/ 1 a) in t
18.948 * [taylor]: Taking taylor expansion of a in t
18.948 * [taylor]: Taking taylor expansion of t in t
18.948 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in t
18.948 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in t
18.948 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
18.948 * [taylor]: Taking taylor expansion of 18.0 in t
18.948 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
18.948 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
18.948 * [taylor]: Taking taylor expansion of x in t
18.948 * [taylor]: Taking taylor expansion of (* z y) in t
18.948 * [taylor]: Taking taylor expansion of z in t
18.948 * [taylor]: Taking taylor expansion of y in t
18.948 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
18.948 * [taylor]: Taking taylor expansion of 4.0 in t
18.949 * [taylor]: Taking taylor expansion of (/ 1 a) in t
18.949 * [taylor]: Taking taylor expansion of a in t
18.949 * [taylor]: Taking taylor expansion of t in t
18.949 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in x
18.949 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
18.949 * [taylor]: Taking taylor expansion of 18.0 in x
18.949 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
18.949 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
18.949 * [taylor]: Taking taylor expansion of x in x
18.949 * [taylor]: Taking taylor expansion of (* z y) in x
18.949 * [taylor]: Taking taylor expansion of z in x
18.949 * [taylor]: Taking taylor expansion of y in x
18.950 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
18.950 * [taylor]: Taking taylor expansion of 4.0 in x
18.950 * [taylor]: Taking taylor expansion of (/ 1 a) in x
18.950 * [taylor]: Taking taylor expansion of a in x
18.950 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* z y))) in y
18.950 * [taylor]: Taking taylor expansion of 18.0 in y
18.950 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
18.950 * [taylor]: Taking taylor expansion of (* z y) in y
18.950 * [taylor]: Taking taylor expansion of z in y
18.950 * [taylor]: Taking taylor expansion of y in y
18.950 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
18.950 * [taylor]: Taking taylor expansion of 18.0 in z
18.950 * [taylor]: Taking taylor expansion of z in z
18.951 * [taylor]: Taking taylor expansion of 18.0 in a
18.953 * [taylor]: Taking taylor expansion of 0 in x
18.954 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in y
18.954 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
18.954 * [taylor]: Taking taylor expansion of 4.0 in y
18.954 * [taylor]: Taking taylor expansion of (/ 1 a) in y
18.954 * [taylor]: Taking taylor expansion of a in y
18.955 * [taylor]: Taking taylor expansion of 0 in z
18.955 * [taylor]: Taking taylor expansion of 0 in a
18.959 * [taylor]: Taking taylor expansion of 0 in x
18.959 * [taylor]: Taking taylor expansion of 0 in y
18.961 * [taylor]: Taking taylor expansion of 0 in y
18.962 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in z
18.962 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
18.962 * [taylor]: Taking taylor expansion of 4.0 in z
18.962 * [taylor]: Taking taylor expansion of (/ 1 a) in z
18.962 * [taylor]: Taking taylor expansion of a in z
18.963 * [taylor]: Taking taylor expansion of 0 in z
18.963 * [taylor]: Taking taylor expansion of 0 in a
18.963 * [taylor]: Taking taylor expansion of 0 in a
18.971 * [taylor]: Taking taylor expansion of 0 in x
18.971 * [taylor]: Taking taylor expansion of 0 in y
18.971 * [taylor]: Taking taylor expansion of 0 in y
18.975 * [taylor]: Taking taylor expansion of 0 in y
18.975 * [taylor]: Taking taylor expansion of 0 in z
18.975 * [taylor]: Taking taylor expansion of 0 in z
18.975 * [taylor]: Taking taylor expansion of 0 in z
18.977 * [taylor]: Taking taylor expansion of 0 in z
18.977 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in a
18.977 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
18.977 * [taylor]: Taking taylor expansion of 4.0 in a
18.977 * [taylor]: Taking taylor expansion of (/ 1 a) in a
18.977 * [taylor]: Taking taylor expansion of a in a
18.978 * [taylor]: Taking taylor expansion of 0 in a
18.978 * [taylor]: Taking taylor expansion of 0 in a
18.979 * [taylor]: Taking taylor expansion of 0 in a
18.985 * [taylor]: Taking taylor expansion of 0 in x
18.985 * [taylor]: Taking taylor expansion of 0 in y
18.985 * [taylor]: Taking taylor expansion of 0 in y
18.985 * [taylor]: Taking taylor expansion of 0 in y
18.990 * [taylor]: Taking taylor expansion of 0 in y
18.990 * [taylor]: Taking taylor expansion of 0 in z
18.990 * [taylor]: Taking taylor expansion of 0 in z
18.990 * [taylor]: Taking taylor expansion of 0 in z
18.990 * [taylor]: Taking taylor expansion of 0 in z
18.990 * [taylor]: Taking taylor expansion of 0 in z
18.991 * [taylor]: Taking taylor expansion of 0 in z
18.993 * [taylor]: Taking taylor expansion of 0 in z
18.993 * [taylor]: Taking taylor expansion of 0 in a
18.993 * [taylor]: Taking taylor expansion of 0 in a
18.993 * [taylor]: Taking taylor expansion of 0 in a
18.993 * [taylor]: Taking taylor expansion of 0 in a
18.993 * [taylor]: Taking taylor expansion of 0 in a
18.993 * [taylor]: Taking taylor expansion of 0 in a
18.993 * [taylor]: Taking taylor expansion of 0 in a
18.994 * [taylor]: Taking taylor expansion of 0 in a
18.996 * [approximate]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in (t x y z a) around 0
18.996 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in a
18.996 * [taylor]: Taking taylor expansion of -1 in a
18.996 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in a
18.996 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in a
18.996 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
18.996 * [taylor]: Taking taylor expansion of 4.0 in a
18.996 * [taylor]: Taking taylor expansion of (/ 1 a) in a
18.996 * [taylor]: Taking taylor expansion of a in a
18.996 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in a
18.996 * [taylor]: Taking taylor expansion of 18.0 in a
18.996 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a
18.997 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
18.997 * [taylor]: Taking taylor expansion of x in a
18.997 * [taylor]: Taking taylor expansion of (* z y) in a
18.997 * [taylor]: Taking taylor expansion of z in a
18.997 * [taylor]: Taking taylor expansion of y in a
18.997 * [taylor]: Taking taylor expansion of t in a
18.997 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in z
18.997 * [taylor]: Taking taylor expansion of -1 in z
18.997 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in z
18.997 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in z
18.997 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
18.997 * [taylor]: Taking taylor expansion of 4.0 in z
18.997 * [taylor]: Taking taylor expansion of (/ 1 a) in z
18.997 * [taylor]: Taking taylor expansion of a in z
18.997 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in z
18.997 * [taylor]: Taking taylor expansion of 18.0 in z
18.998 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
18.998 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
18.998 * [taylor]: Taking taylor expansion of x in z
18.998 * [taylor]: Taking taylor expansion of (* z y) in z
18.998 * [taylor]: Taking taylor expansion of z in z
18.998 * [taylor]: Taking taylor expansion of y in z
18.998 * [taylor]: Taking taylor expansion of t in z
18.999 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in y
18.999 * [taylor]: Taking taylor expansion of -1 in y
18.999 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in y
18.999 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in y
18.999 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
18.999 * [taylor]: Taking taylor expansion of 4.0 in y
18.999 * [taylor]: Taking taylor expansion of (/ 1 a) in y
18.999 * [taylor]: Taking taylor expansion of a in y
18.999 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in y
18.999 * [taylor]: Taking taylor expansion of 18.0 in y
18.999 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
18.999 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
18.999 * [taylor]: Taking taylor expansion of x in y
18.999 * [taylor]: Taking taylor expansion of (* z y) in y
18.999 * [taylor]: Taking taylor expansion of z in y
18.999 * [taylor]: Taking taylor expansion of y in y
19.000 * [taylor]: Taking taylor expansion of t in y
19.000 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in x
19.000 * [taylor]: Taking taylor expansion of -1 in x
19.000 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in x
19.000 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in x
19.000 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
19.000 * [taylor]: Taking taylor expansion of 4.0 in x
19.000 * [taylor]: Taking taylor expansion of (/ 1 a) in x
19.000 * [taylor]: Taking taylor expansion of a in x
19.000 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
19.000 * [taylor]: Taking taylor expansion of 18.0 in x
19.000 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
19.000 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
19.000 * [taylor]: Taking taylor expansion of x in x
19.000 * [taylor]: Taking taylor expansion of (* z y) in x
19.000 * [taylor]: Taking taylor expansion of z in x
19.000 * [taylor]: Taking taylor expansion of y in x
19.001 * [taylor]: Taking taylor expansion of t in x
19.001 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in t
19.001 * [taylor]: Taking taylor expansion of -1 in t
19.001 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in t
19.001 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in t
19.001 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
19.001 * [taylor]: Taking taylor expansion of 4.0 in t
19.001 * [taylor]: Taking taylor expansion of (/ 1 a) in t
19.001 * [taylor]: Taking taylor expansion of a in t
19.001 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
19.001 * [taylor]: Taking taylor expansion of 18.0 in t
19.001 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
19.001 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
19.001 * [taylor]: Taking taylor expansion of x in t
19.001 * [taylor]: Taking taylor expansion of (* z y) in t
19.001 * [taylor]: Taking taylor expansion of z in t
19.001 * [taylor]: Taking taylor expansion of y in t
19.001 * [taylor]: Taking taylor expansion of t in t
19.002 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in t
19.002 * [taylor]: Taking taylor expansion of -1 in t
19.002 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in t
19.002 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in t
19.002 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
19.002 * [taylor]: Taking taylor expansion of 4.0 in t
19.002 * [taylor]: Taking taylor expansion of (/ 1 a) in t
19.002 * [taylor]: Taking taylor expansion of a in t
19.002 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
19.002 * [taylor]: Taking taylor expansion of 18.0 in t
19.002 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
19.002 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
19.002 * [taylor]: Taking taylor expansion of x in t
19.002 * [taylor]: Taking taylor expansion of (* z y) in t
19.002 * [taylor]: Taking taylor expansion of z in t
19.002 * [taylor]: Taking taylor expansion of y in t
19.002 * [taylor]: Taking taylor expansion of t in t
19.003 * [taylor]: Taking taylor expansion of (* -1 (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y)))))) in x
19.003 * [taylor]: Taking taylor expansion of -1 in x
19.003 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in x
19.003 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
19.003 * [taylor]: Taking taylor expansion of 4.0 in x
19.003 * [taylor]: Taking taylor expansion of (/ 1 a) in x
19.003 * [taylor]: Taking taylor expansion of a in x
19.003 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
19.003 * [taylor]: Taking taylor expansion of 18.0 in x
19.003 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
19.003 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
19.003 * [taylor]: Taking taylor expansion of x in x
19.003 * [taylor]: Taking taylor expansion of (* z y) in x
19.003 * [taylor]: Taking taylor expansion of z in x
19.003 * [taylor]: Taking taylor expansion of y in x
19.004 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
19.004 * [taylor]: Taking taylor expansion of 18.0 in y
19.004 * [taylor]: Taking taylor expansion of (* z y) in y
19.004 * [taylor]: Taking taylor expansion of z in y
19.004 * [taylor]: Taking taylor expansion of y in y
19.004 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
19.004 * [taylor]: Taking taylor expansion of 18.0 in z
19.004 * [taylor]: Taking taylor expansion of z in z
19.004 * [taylor]: Taking taylor expansion of 18.0 in a
19.007 * [taylor]: Taking taylor expansion of 0 in x
19.008 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in y
19.008 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
19.008 * [taylor]: Taking taylor expansion of 4.0 in y
19.008 * [taylor]: Taking taylor expansion of (/ 1 a) in y
19.008 * [taylor]: Taking taylor expansion of a in y
19.009 * [taylor]: Taking taylor expansion of 0 in z
19.009 * [taylor]: Taking taylor expansion of 0 in a
19.014 * [taylor]: Taking taylor expansion of 0 in x
19.014 * [taylor]: Taking taylor expansion of 0 in y
19.017 * [taylor]: Taking taylor expansion of 0 in y
19.017 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in z
19.017 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
19.017 * [taylor]: Taking taylor expansion of 4.0 in z
19.017 * [taylor]: Taking taylor expansion of (/ 1 a) in z
19.017 * [taylor]: Taking taylor expansion of a in z
19.018 * [taylor]: Taking taylor expansion of 0 in z
19.018 * [taylor]: Taking taylor expansion of 0 in a
19.018 * [taylor]: Taking taylor expansion of 0 in a
19.024 * [taylor]: Taking taylor expansion of 0 in x
19.024 * [taylor]: Taking taylor expansion of 0 in y
19.024 * [taylor]: Taking taylor expansion of 0 in y
19.028 * [taylor]: Taking taylor expansion of 0 in y
19.028 * [taylor]: Taking taylor expansion of 0 in z
19.028 * [taylor]: Taking taylor expansion of 0 in z
19.029 * [taylor]: Taking taylor expansion of 0 in z
19.030 * [taylor]: Taking taylor expansion of 0 in z
19.030 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in a
19.030 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
19.030 * [taylor]: Taking taylor expansion of 4.0 in a
19.030 * [taylor]: Taking taylor expansion of (/ 1 a) in a
19.030 * [taylor]: Taking taylor expansion of a in a
19.031 * [taylor]: Taking taylor expansion of 0 in a
19.031 * [taylor]: Taking taylor expansion of 0 in a
19.031 * [taylor]: Taking taylor expansion of 0 in a
19.039 * [taylor]: Taking taylor expansion of 0 in x
19.039 * [taylor]: Taking taylor expansion of 0 in y
19.039 * [taylor]: Taking taylor expansion of 0 in y
19.039 * [taylor]: Taking taylor expansion of 0 in y
19.044 * [taylor]: Taking taylor expansion of 0 in y
19.044 * [taylor]: Taking taylor expansion of 0 in z
19.044 * [taylor]: Taking taylor expansion of 0 in z
19.044 * [taylor]: Taking taylor expansion of 0 in z
19.044 * [taylor]: Taking taylor expansion of 0 in z
19.045 * [taylor]: Taking taylor expansion of 0 in z
19.045 * [taylor]: Taking taylor expansion of 0 in z
19.046 * [taylor]: Taking taylor expansion of 0 in z
19.046 * [taylor]: Taking taylor expansion of 0 in a
19.046 * [taylor]: Taking taylor expansion of 0 in a
19.046 * [taylor]: Taking taylor expansion of 0 in a
19.046 * [taylor]: Taking taylor expansion of 0 in a
19.047 * [taylor]: Taking taylor expansion of 0 in a
19.047 * [taylor]: Taking taylor expansion of 0 in a
19.047 * [taylor]: Taking taylor expansion of 0 in a
19.048 * [taylor]: Taking taylor expansion of 0 in a
19.050 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
19.050 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
19.050 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
19.050 * [taylor]: Taking taylor expansion of 27.0 in k
19.050 * [taylor]: Taking taylor expansion of (* k j) in k
19.050 * [taylor]: Taking taylor expansion of k in k
19.050 * [taylor]: Taking taylor expansion of j in k
19.050 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
19.050 * [taylor]: Taking taylor expansion of 27.0 in j
19.050 * [taylor]: Taking taylor expansion of (* k j) in j
19.050 * [taylor]: Taking taylor expansion of k in j
19.050 * [taylor]: Taking taylor expansion of j in j
19.050 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
19.050 * [taylor]: Taking taylor expansion of 27.0 in j
19.050 * [taylor]: Taking taylor expansion of (* k j) in j
19.050 * [taylor]: Taking taylor expansion of k in j
19.050 * [taylor]: Taking taylor expansion of j in j
19.050 * [taylor]: Taking taylor expansion of 0 in k
19.051 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
19.051 * [taylor]: Taking taylor expansion of 27.0 in k
19.051 * [taylor]: Taking taylor expansion of k in k
19.054 * [taylor]: Taking taylor expansion of 0 in k
19.056 * [taylor]: Taking taylor expansion of 0 in k
19.059 * [taylor]: Taking taylor expansion of 0 in k
19.059 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
19.059 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
19.059 * [taylor]: Taking taylor expansion of 27.0 in k
19.059 * [taylor]: Taking taylor expansion of (* k j) in k
19.059 * [taylor]: Taking taylor expansion of k in k
19.059 * [taylor]: Taking taylor expansion of j in k
19.059 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
19.059 * [taylor]: Taking taylor expansion of 27.0 in j
19.059 * [taylor]: Taking taylor expansion of (* k j) in j
19.059 * [taylor]: Taking taylor expansion of k in j
19.059 * [taylor]: Taking taylor expansion of j in j
19.060 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
19.060 * [taylor]: Taking taylor expansion of 27.0 in j
19.060 * [taylor]: Taking taylor expansion of (* k j) in j
19.060 * [taylor]: Taking taylor expansion of k in j
19.060 * [taylor]: Taking taylor expansion of j in j
19.060 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
19.060 * [taylor]: Taking taylor expansion of 27.0 in k
19.060 * [taylor]: Taking taylor expansion of k in k
19.061 * [taylor]: Taking taylor expansion of 0 in k
19.062 * [taylor]: Taking taylor expansion of 0 in k
19.063 * [taylor]: Taking taylor expansion of 0 in k
19.064 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
19.064 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
19.064 * [taylor]: Taking taylor expansion of 27.0 in k
19.064 * [taylor]: Taking taylor expansion of (* k j) in k
19.064 * [taylor]: Taking taylor expansion of k in k
19.064 * [taylor]: Taking taylor expansion of j in k
19.064 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
19.064 * [taylor]: Taking taylor expansion of 27.0 in j
19.064 * [taylor]: Taking taylor expansion of (* k j) in j
19.064 * [taylor]: Taking taylor expansion of k in j
19.064 * [taylor]: Taking taylor expansion of j in j
19.065 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
19.065 * [taylor]: Taking taylor expansion of 27.0 in j
19.065 * [taylor]: Taking taylor expansion of (* k j) in j
19.065 * [taylor]: Taking taylor expansion of k in j
19.065 * [taylor]: Taking taylor expansion of j in j
19.065 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
19.065 * [taylor]: Taking taylor expansion of 27.0 in k
19.065 * [taylor]: Taking taylor expansion of k in k
19.066 * [taylor]: Taking taylor expansion of 0 in k
19.067 * [taylor]: Taking taylor expansion of 0 in k
19.068 * [taylor]: Taking taylor expansion of 0 in k
19.069 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1)
19.069 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
19.069 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
19.069 * [taylor]: Taking taylor expansion of 18.0 in y
19.069 * [taylor]: Taking taylor expansion of (* x y) in y
19.069 * [taylor]: Taking taylor expansion of x in y
19.069 * [taylor]: Taking taylor expansion of y in y
19.069 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
19.069 * [taylor]: Taking taylor expansion of 18.0 in x
19.069 * [taylor]: Taking taylor expansion of (* x y) in x
19.069 * [taylor]: Taking taylor expansion of x in x
19.069 * [taylor]: Taking taylor expansion of y in x
19.069 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
19.069 * [taylor]: Taking taylor expansion of 18.0 in x
19.069 * [taylor]: Taking taylor expansion of (* x y) in x
19.069 * [taylor]: Taking taylor expansion of x in x
19.069 * [taylor]: Taking taylor expansion of y in x
19.070 * [taylor]: Taking taylor expansion of 0 in y
19.070 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
19.070 * [taylor]: Taking taylor expansion of 18.0 in y
19.070 * [taylor]: Taking taylor expansion of y in y
19.072 * [taylor]: Taking taylor expansion of 0 in y
19.074 * [taylor]: Taking taylor expansion of 0 in y
19.077 * [taylor]: Taking taylor expansion of 0 in y
19.077 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
19.077 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
19.077 * [taylor]: Taking taylor expansion of 18.0 in y
19.077 * [taylor]: Taking taylor expansion of (* x y) in y
19.077 * [taylor]: Taking taylor expansion of x in y
19.077 * [taylor]: Taking taylor expansion of y in y
19.077 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
19.077 * [taylor]: Taking taylor expansion of 18.0 in x
19.077 * [taylor]: Taking taylor expansion of (* x y) in x
19.077 * [taylor]: Taking taylor expansion of x in x
19.077 * [taylor]: Taking taylor expansion of y in x
19.078 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
19.078 * [taylor]: Taking taylor expansion of 18.0 in x
19.078 * [taylor]: Taking taylor expansion of (* x y) in x
19.078 * [taylor]: Taking taylor expansion of x in x
19.078 * [taylor]: Taking taylor expansion of y in x
19.078 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
19.078 * [taylor]: Taking taylor expansion of 18.0 in y
19.078 * [taylor]: Taking taylor expansion of y in y
19.079 * [taylor]: Taking taylor expansion of 0 in y
19.080 * [taylor]: Taking taylor expansion of 0 in y
19.082 * [taylor]: Taking taylor expansion of 0 in y
19.083 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
19.083 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
19.083 * [taylor]: Taking taylor expansion of 18.0 in y
19.083 * [taylor]: Taking taylor expansion of (* x y) in y
19.083 * [taylor]: Taking taylor expansion of x in y
19.083 * [taylor]: Taking taylor expansion of y in y
19.084 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
19.084 * [taylor]: Taking taylor expansion of 18.0 in x
19.084 * [taylor]: Taking taylor expansion of (* x y) in x
19.084 * [taylor]: Taking taylor expansion of x in x
19.084 * [taylor]: Taking taylor expansion of y in x
19.084 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
19.084 * [taylor]: Taking taylor expansion of 18.0 in x
19.084 * [taylor]: Taking taylor expansion of (* x y) in x
19.084 * [taylor]: Taking taylor expansion of x in x
19.084 * [taylor]: Taking taylor expansion of y in x
19.084 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
19.084 * [taylor]: Taking taylor expansion of 18.0 in y
19.084 * [taylor]: Taking taylor expansion of y in y
19.085 * [taylor]: Taking taylor expansion of 0 in y
19.087 * [taylor]: Taking taylor expansion of 0 in y
19.088 * [taylor]: Taking taylor expansion of 0 in y
19.089 * * * [progress]: simplifying candidates
19.090 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* x (* y 18.0)) z)
  (* (* x (* y 18.0)) z)
  (* (* x (* y 18.0)) z)
  (+ (+ (log x) (+ (log y) (log 18.0))) (log z))
  (+ (+ (log x) (log (* y 18.0))) (log z))
  (+ (log (* x (* y 18.0))) (log z))
  (log (* (* x (* y 18.0)) z))
  (exp (* (* x (* y 18.0)) z))
  (* (* (* (* x x) x) (* (* (* y y) y) (* (* 18.0 18.0) 18.0))) (* (* z z) z))
  (* (* (* (* x x) x) (* (* (* y 18.0) (* y 18.0)) (* y 18.0))) (* (* z z) z))
  (* (* (* (* x (* y 18.0)) (* x (* y 18.0))) (* x (* y 18.0))) (* (* z z) z))
  (* (cbrt (* (* x (* y 18.0)) z)) (cbrt (* (* x (* y 18.0)) z)))
  (cbrt (* (* x (* y 18.0)) z))
  (* (* (* (* x (* y 18.0)) z) (* (* x (* y 18.0)) z)) (* (* x (* y 18.0)) z))
  (sqrt (* (* x (* y 18.0)) z))
  (sqrt (* (* x (* y 18.0)) z))
  (* (* x (* y 18.0)) (* (cbrt z) (cbrt z)))
  (* (* x (* y 18.0)) (sqrt z))
  (* (* x (* y 18.0)) 1)
  (* (* y 18.0) z)
  (* t (- (* (* x (* y 18.0)) z) (* a 4.0)))
  (+ (log t) (log (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (log (* t (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (exp (* t (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (* (* (* t t) t) (* (* (- (* (* x (* y 18.0)) z) (* a 4.0)) (- (* (* x (* y 18.0)) z) (* a 4.0))) (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (* (cbrt (* t (- (* (* x (* y 18.0)) z) (* a 4.0)))) (cbrt (* t (- (* (* x (* y 18.0)) z) (* a 4.0)))))
  (cbrt (* t (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (* (* (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* t (- (* (* x (* y 18.0)) z) (* a 4.0)))) (* t (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (sqrt (* t (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (sqrt (* t (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (* (sqrt t) (sqrt (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (* (sqrt t) (sqrt (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (* t (* (* x (* y 18.0)) z))
  (* t (- (* a 4.0)))
  (* t (* (* x (* y 18.0)) z))
  (* t (- (* a 4.0)))
  (* (* (* x (* y 18.0)) z) t)
  (* (- (* a 4.0)) t)
  (* (* (* x (* y 18.0)) z) t)
  (* (- (* a 4.0)) t)
  (* t (* (cbrt (- (* (* x (* y 18.0)) z) (* a 4.0))) (cbrt (- (* (* x (* y 18.0)) z) (* a 4.0)))))
  (* t (sqrt (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (* t 1)
  (* (cbrt t) (- (* (* x (* y 18.0)) z) (* a 4.0)))
  (* (sqrt t) (- (* (* x (* y 18.0)) z) (* a 4.0)))
  (* t (- (* (* x (* y 18.0)) z) (* a 4.0)))
  (* t (- (pow (* (* x (* y 18.0)) z) 3) (pow (* a 4.0) 3)))
  (* t (- (* (* (* x (* y 18.0)) z) (* (* x (* y 18.0)) z)) (* (* a 4.0) (* a 4.0))))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (+ (log j) (+ (log 27.0) (log k)))
  (+ (log j) (log (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (exp (* j (* 27.0 k)))
  (* (* (* j j) j) (* (* (* 27.0 27.0) 27.0) (* (* k k) k)))
  (* (* (* j j) j) (* (* (* 27.0 k) (* 27.0 k)) (* 27.0 k)))
  (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k))))
  (cbrt (* j (* 27.0 k)))
  (* (* (* j (* 27.0 k)) (* j (* 27.0 k))) (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (* j 27.0)
  (* (cbrt j) (* 27.0 k))
  (* (sqrt j) (* 27.0 k))
  (* j (* 27.0 k))
  (* x (* y 18.0))
  (* x (* y 18.0))
  (+ (log x) (+ (log y) (log 18.0)))
  (+ (log x) (log (* y 18.0)))
  (log (* x (* y 18.0)))
  (exp (* x (* y 18.0)))
  (* (* (* x x) x) (* (* (* y y) y) (* (* 18.0 18.0) 18.0)))
  (* (* (* x x) x) (* (* (* y 18.0) (* y 18.0)) (* y 18.0)))
  (* (cbrt (* x (* y 18.0))) (cbrt (* x (* y 18.0))))
  (cbrt (* x (* y 18.0)))
  (* (* (* x (* y 18.0)) (* x (* y 18.0))) (* x (* y 18.0)))
  (sqrt (* x (* y 18.0)))
  (sqrt (* x (* y 18.0)))
  (* x y)
  (* (cbrt x) (* y 18.0))
  (* (sqrt x) (* y 18.0))
  (* x (* y 18.0))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  0
  (- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* a t)))
  (- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* a t)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
19.094 * * [simplify]: iteration  0 :  153  enodes  (cost  1011 )
19.123 * * [simplify]: iteration  1 :  394  enodes  (cost  980 )
19.229 * * [simplify]: iteration  2 :  1480  enodes  (cost  822 )
19.665 * * [simplify]: iteration  done :  5000  enodes  (cost  822 )
19.665 * [simplify]: Simplified to:
   (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (log (* (* x (* y 18.0)) z))
  (log (* (* x (* y 18.0)) z))
  (log (* (* x (* y 18.0)) z))
  (log (* (* x (* y 18.0)) z))
  (exp (* (* x (* y 18.0)) z))
  (pow (* (* x (* y 18.0)) z) 3)
  (pow (* (* x (* y 18.0)) z) 3)
  (pow (* (* x (* y 18.0)) z) 3)
  (* (cbrt (* (* x (* y 18.0)) z)) (cbrt (* (* x (* y 18.0)) z)))
  (cbrt (* (* x (* y 18.0)) z))
  (pow (* (* x (* y 18.0)) z) 3)
  (sqrt (* (* x (* y 18.0)) z))
  (sqrt (* (* x (* y 18.0)) z))
  (* (* x (* y 18.0)) (* (cbrt z) (cbrt z)))
  (* (* x (* y 18.0)) (sqrt z))
  (* 18.0 (* x y))
  (* (* y 18.0) z)
  (* t (- (* (* x (* y 18.0)) z) (* a 4.0)))
  (log (* t (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (log (* t (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (exp (* t (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (pow (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) 3)
  (* (cbrt (* t (- (* (* x (* y 18.0)) z) (* a 4.0)))) (cbrt (* t (- (* (* x (* y 18.0)) z) (* a 4.0)))))
  (cbrt (* t (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (pow (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) 3)
  (sqrt (* t (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (sqrt (* t (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (* (sqrt t) (sqrt (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (* (sqrt t) (sqrt (- (* (* x (* y 18.0)) z) (* a 4.0))))
  (* (* (* x (* y 18.0)) z) t)
  (* t (- (* a 4.0)))
  (* (* (* x (* y 18.0)) z) t)
  (* t (- (* a 4.0)))
  (* (* (* x (* y 18.0)) z) t)
  (* t (- (* a 4.0)))
  (* (* (* x (* y 18.0)) z) t)
  (* t (- (* a 4.0)))
  (* t (* (cbrt (- (* (* x (* y 18.0)) z) (* a 4.0))) (cbrt (- (* (* x (* y 18.0)) z) (* a 4.0)))))
  (* t (sqrt (- (* (* x (* y 18.0)) z) (* a 4.0))))
  t
  (* (cbrt t) (- (* (* x (* y 18.0)) z) (* a 4.0)))
  (* (sqrt t) (- (* (* x (* y 18.0)) z) (* a 4.0)))
  (* t (- (* (* x (* y 18.0)) z) (* a 4.0)))
  (* t (- (pow (* (* x (* y 18.0)) z) 3) (pow (* a 4.0) 3)))
  (* t (- (* (* (* x (* y 18.0)) z) (* (* x (* y 18.0)) z)) (* (* a 4.0) (* a 4.0))))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (exp (* j (* 27.0 k)))
  (pow (* j (* 27.0 k)) 3)
  (pow (* j (* 27.0 k)) 3)
  (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k))))
  (cbrt (* j (* 27.0 k)))
  (pow (* j (* 27.0 k)) 3)
  (sqrt (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (* j 27.0)
  (* (cbrt j) (* 27.0 k))
  (* (sqrt j) (* 27.0 k))
  (* j (* 27.0 k))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (log (* x (* y 18.0)))
  (log (* x (* y 18.0)))
  (log (* x (* y 18.0)))
  (exp (* x (* y 18.0)))
  (pow (* 18.0 (* x y)) 3)
  (pow (* 18.0 (* x y)) 3)
  (* (cbrt (* x (* y 18.0))) (cbrt (* x (* y 18.0))))
  (cbrt (* x (* y 18.0)))
  (pow (* 18.0 (* x y)) 3)
  (sqrt (* x (* y 18.0)))
  (sqrt (* x (* y 18.0)))
  (* x y)
  (* (cbrt x) (* y 18.0))
  (* (sqrt x) (* y 18.0))
  (* 18.0 (* x y))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  0
  (* t (- (* (* x (* y 18.0)) z) (* a 4.0)))
  (* t (- (* (* x (* y 18.0)) z) (* a 4.0)))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
19.666 * * * [progress]: adding candidates to table
19.981 * * [progress]: iteration 4 / 4
19.981 * * * [progress]: picking best candidate
20.012 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))>
20.012 * * * [progress]: localizing error
20.042 * * * [progress]: generating rewritten candidates
20.042 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
20.048 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2)
20.053 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1)
20.058 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
20.081 * * * [progress]: generating series expansions
20.081 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
20.082 * [approximate]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in (j k) around 0
20.082 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in k
20.082 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in k
20.082 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in k
20.082 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in k
20.082 * [taylor]: Taking taylor expansion of 1/3 in k
20.082 * [taylor]: Taking taylor expansion of (log (* k j)) in k
20.082 * [taylor]: Taking taylor expansion of (* k j) in k
20.082 * [taylor]: Taking taylor expansion of k in k
20.082 * [taylor]: Taking taylor expansion of j in k
20.083 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
20.083 * [taylor]: Taking taylor expansion of 27.0 in k
20.084 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
20.084 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
20.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
20.084 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
20.084 * [taylor]: Taking taylor expansion of 1/3 in j
20.084 * [taylor]: Taking taylor expansion of (log (* k j)) in j
20.084 * [taylor]: Taking taylor expansion of (* k j) in j
20.084 * [taylor]: Taking taylor expansion of k in j
20.084 * [taylor]: Taking taylor expansion of j in j
20.084 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
20.085 * [taylor]: Taking taylor expansion of 27.0 in j
20.085 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
20.085 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
20.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
20.085 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
20.085 * [taylor]: Taking taylor expansion of 1/3 in j
20.085 * [taylor]: Taking taylor expansion of (log (* k j)) in j
20.085 * [taylor]: Taking taylor expansion of (* k j) in j
20.085 * [taylor]: Taking taylor expansion of k in j
20.085 * [taylor]: Taking taylor expansion of j in j
20.086 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
20.086 * [taylor]: Taking taylor expansion of 27.0 in j
20.088 * [taylor]: Taking taylor expansion of (* (cbrt 27.0) (exp (* 1/3 (+ (log k) (log j))))) in k
20.088 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
20.088 * [taylor]: Taking taylor expansion of 27.0 in k
20.088 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log k) (log j)))) in k
20.088 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log k) (log j))) in k
20.088 * [taylor]: Taking taylor expansion of 1/3 in k
20.088 * [taylor]: Taking taylor expansion of (+ (log k) (log j)) in k
20.088 * [taylor]: Taking taylor expansion of (log k) in k
20.088 * [taylor]: Taking taylor expansion of k in k
20.089 * [taylor]: Taking taylor expansion of (log j) in k
20.089 * [taylor]: Taking taylor expansion of j in k
20.093 * [taylor]: Taking taylor expansion of 0 in k
20.100 * [taylor]: Taking taylor expansion of 0 in k
20.111 * [taylor]: Taking taylor expansion of 0 in k
20.112 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
20.112 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
20.112 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
20.112 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
20.112 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
20.112 * [taylor]: Taking taylor expansion of 1/3 in k
20.112 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
20.112 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
20.112 * [taylor]: Taking taylor expansion of (* k j) in k
20.112 * [taylor]: Taking taylor expansion of k in k
20.112 * [taylor]: Taking taylor expansion of j in k
20.117 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
20.117 * [taylor]: Taking taylor expansion of 27.0 in k
20.118 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
20.118 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
20.118 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
20.118 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
20.118 * [taylor]: Taking taylor expansion of 1/3 in j
20.118 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
20.118 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
20.118 * [taylor]: Taking taylor expansion of (* k j) in j
20.118 * [taylor]: Taking taylor expansion of k in j
20.118 * [taylor]: Taking taylor expansion of j in j
20.119 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
20.119 * [taylor]: Taking taylor expansion of 27.0 in j
20.120 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
20.120 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
20.120 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
20.120 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
20.120 * [taylor]: Taking taylor expansion of 1/3 in j
20.120 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
20.120 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
20.120 * [taylor]: Taking taylor expansion of (* k j) in j
20.120 * [taylor]: Taking taylor expansion of k in j
20.120 * [taylor]: Taking taylor expansion of j in j
20.121 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
20.121 * [taylor]: Taking taylor expansion of 27.0 in j
20.122 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
20.122 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
20.122 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
20.122 * [taylor]: Taking taylor expansion of 1/3 in k
20.122 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
20.122 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
20.122 * [taylor]: Taking taylor expansion of (/ 1 k) in k
20.122 * [taylor]: Taking taylor expansion of k in k
20.123 * [taylor]: Taking taylor expansion of (log j) in k
20.123 * [taylor]: Taking taylor expansion of j in k
20.123 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
20.123 * [taylor]: Taking taylor expansion of 27.0 in k
20.127 * [taylor]: Taking taylor expansion of 0 in k
20.136 * [taylor]: Taking taylor expansion of 0 in k
20.148 * [taylor]: Taking taylor expansion of 0 in k
20.149 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
20.149 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
20.149 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
20.149 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
20.149 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
20.149 * [taylor]: Taking taylor expansion of 1/3 in k
20.149 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
20.149 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
20.149 * [taylor]: Taking taylor expansion of (* k j) in k
20.149 * [taylor]: Taking taylor expansion of k in k
20.149 * [taylor]: Taking taylor expansion of j in k
20.150 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
20.150 * [taylor]: Taking taylor expansion of 27.0 in k
20.151 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
20.151 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
20.151 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
20.151 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
20.151 * [taylor]: Taking taylor expansion of 1/3 in j
20.151 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
20.151 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
20.151 * [taylor]: Taking taylor expansion of (* k j) in j
20.151 * [taylor]: Taking taylor expansion of k in j
20.151 * [taylor]: Taking taylor expansion of j in j
20.152 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
20.152 * [taylor]: Taking taylor expansion of 27.0 in j
20.152 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
20.152 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
20.152 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
20.152 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
20.152 * [taylor]: Taking taylor expansion of 1/3 in j
20.153 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
20.153 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
20.153 * [taylor]: Taking taylor expansion of (* k j) in j
20.153 * [taylor]: Taking taylor expansion of k in j
20.153 * [taylor]: Taking taylor expansion of j in j
20.153 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
20.153 * [taylor]: Taking taylor expansion of 27.0 in j
20.155 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
20.155 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
20.155 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
20.155 * [taylor]: Taking taylor expansion of 1/3 in k
20.155 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
20.155 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
20.155 * [taylor]: Taking taylor expansion of (/ 1 k) in k
20.155 * [taylor]: Taking taylor expansion of k in k
20.155 * [taylor]: Taking taylor expansion of (log j) in k
20.155 * [taylor]: Taking taylor expansion of j in k
20.156 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
20.156 * [taylor]: Taking taylor expansion of 27.0 in k
20.160 * [taylor]: Taking taylor expansion of 0 in k
20.168 * [taylor]: Taking taylor expansion of 0 in k
20.180 * [taylor]: Taking taylor expansion of 0 in k
20.181 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2)
20.181 * [approximate]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in (j k) around 0
20.181 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in k
20.181 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in k
20.181 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in k
20.181 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in k
20.181 * [taylor]: Taking taylor expansion of 1/3 in k
20.181 * [taylor]: Taking taylor expansion of (log (* k j)) in k
20.181 * [taylor]: Taking taylor expansion of (* k j) in k
20.181 * [taylor]: Taking taylor expansion of k in k
20.181 * [taylor]: Taking taylor expansion of j in k
20.182 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
20.182 * [taylor]: Taking taylor expansion of 27.0 in k
20.183 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
20.183 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
20.183 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
20.183 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
20.183 * [taylor]: Taking taylor expansion of 1/3 in j
20.183 * [taylor]: Taking taylor expansion of (log (* k j)) in j
20.183 * [taylor]: Taking taylor expansion of (* k j) in j
20.183 * [taylor]: Taking taylor expansion of k in j
20.183 * [taylor]: Taking taylor expansion of j in j
20.184 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
20.184 * [taylor]: Taking taylor expansion of 27.0 in j
20.184 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
20.184 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
20.184 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
20.184 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
20.184 * [taylor]: Taking taylor expansion of 1/3 in j
20.184 * [taylor]: Taking taylor expansion of (log (* k j)) in j
20.184 * [taylor]: Taking taylor expansion of (* k j) in j
20.184 * [taylor]: Taking taylor expansion of k in j
20.184 * [taylor]: Taking taylor expansion of j in j
20.185 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
20.185 * [taylor]: Taking taylor expansion of 27.0 in j
20.186 * [taylor]: Taking taylor expansion of (* (cbrt 27.0) (exp (* 1/3 (+ (log k) (log j))))) in k
20.186 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
20.186 * [taylor]: Taking taylor expansion of 27.0 in k
20.187 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log k) (log j)))) in k
20.187 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log k) (log j))) in k
20.187 * [taylor]: Taking taylor expansion of 1/3 in k
20.187 * [taylor]: Taking taylor expansion of (+ (log k) (log j)) in k
20.187 * [taylor]: Taking taylor expansion of (log k) in k
20.187 * [taylor]: Taking taylor expansion of k in k
20.187 * [taylor]: Taking taylor expansion of (log j) in k
20.188 * [taylor]: Taking taylor expansion of j in k
20.191 * [taylor]: Taking taylor expansion of 0 in k
20.199 * [taylor]: Taking taylor expansion of 0 in k
20.214 * [taylor]: Taking taylor expansion of 0 in k
20.214 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
20.214 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
20.214 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
20.214 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
20.214 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
20.214 * [taylor]: Taking taylor expansion of 1/3 in k
20.214 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
20.214 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
20.214 * [taylor]: Taking taylor expansion of (* k j) in k
20.214 * [taylor]: Taking taylor expansion of k in k
20.214 * [taylor]: Taking taylor expansion of j in k
20.215 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
20.215 * [taylor]: Taking taylor expansion of 27.0 in k
20.216 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
20.216 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
20.216 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
20.216 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
20.216 * [taylor]: Taking taylor expansion of 1/3 in j
20.216 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
20.216 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
20.216 * [taylor]: Taking taylor expansion of (* k j) in j
20.216 * [taylor]: Taking taylor expansion of k in j
20.216 * [taylor]: Taking taylor expansion of j in j
20.217 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
20.217 * [taylor]: Taking taylor expansion of 27.0 in j
20.218 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
20.218 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
20.218 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
20.218 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
20.218 * [taylor]: Taking taylor expansion of 1/3 in j
20.218 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
20.218 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
20.218 * [taylor]: Taking taylor expansion of (* k j) in j
20.218 * [taylor]: Taking taylor expansion of k in j
20.218 * [taylor]: Taking taylor expansion of j in j
20.219 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
20.219 * [taylor]: Taking taylor expansion of 27.0 in j
20.220 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
20.220 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
20.220 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
20.220 * [taylor]: Taking taylor expansion of 1/3 in k
20.220 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
20.220 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
20.220 * [taylor]: Taking taylor expansion of (/ 1 k) in k
20.220 * [taylor]: Taking taylor expansion of k in k
20.221 * [taylor]: Taking taylor expansion of (log j) in k
20.221 * [taylor]: Taking taylor expansion of j in k
20.221 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
20.221 * [taylor]: Taking taylor expansion of 27.0 in k
20.226 * [taylor]: Taking taylor expansion of 0 in k
20.234 * [taylor]: Taking taylor expansion of 0 in k
20.247 * [taylor]: Taking taylor expansion of 0 in k
20.247 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
20.248 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
20.248 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
20.248 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
20.248 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
20.248 * [taylor]: Taking taylor expansion of 1/3 in k
20.248 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
20.248 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
20.248 * [taylor]: Taking taylor expansion of (* k j) in k
20.248 * [taylor]: Taking taylor expansion of k in k
20.248 * [taylor]: Taking taylor expansion of j in k
20.249 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
20.249 * [taylor]: Taking taylor expansion of 27.0 in k
20.249 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
20.249 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
20.249 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
20.249 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
20.249 * [taylor]: Taking taylor expansion of 1/3 in j
20.249 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
20.249 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
20.249 * [taylor]: Taking taylor expansion of (* k j) in j
20.249 * [taylor]: Taking taylor expansion of k in j
20.249 * [taylor]: Taking taylor expansion of j in j
20.250 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
20.250 * [taylor]: Taking taylor expansion of 27.0 in j
20.251 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
20.251 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
20.251 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
20.251 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
20.251 * [taylor]: Taking taylor expansion of 1/3 in j
20.251 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
20.251 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
20.251 * [taylor]: Taking taylor expansion of (* k j) in j
20.251 * [taylor]: Taking taylor expansion of k in j
20.251 * [taylor]: Taking taylor expansion of j in j
20.252 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
20.252 * [taylor]: Taking taylor expansion of 27.0 in j
20.253 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
20.253 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
20.253 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
20.253 * [taylor]: Taking taylor expansion of 1/3 in k
20.253 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
20.253 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
20.253 * [taylor]: Taking taylor expansion of (/ 1 k) in k
20.253 * [taylor]: Taking taylor expansion of k in k
20.254 * [taylor]: Taking taylor expansion of (log j) in k
20.254 * [taylor]: Taking taylor expansion of j in k
20.254 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
20.254 * [taylor]: Taking taylor expansion of 27.0 in k
20.259 * [taylor]: Taking taylor expansion of 0 in k
20.267 * [taylor]: Taking taylor expansion of 0 in k
20.280 * [taylor]: Taking taylor expansion of 0 in k
20.280 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1)
20.280 * [approximate]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in (j k) around 0
20.280 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in k
20.280 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in k
20.280 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in k
20.280 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in k
20.280 * [taylor]: Taking taylor expansion of 1/3 in k
20.280 * [taylor]: Taking taylor expansion of (log (* k j)) in k
20.280 * [taylor]: Taking taylor expansion of (* k j) in k
20.280 * [taylor]: Taking taylor expansion of k in k
20.280 * [taylor]: Taking taylor expansion of j in k
20.281 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
20.281 * [taylor]: Taking taylor expansion of 27.0 in k
20.282 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
20.282 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
20.282 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
20.282 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
20.282 * [taylor]: Taking taylor expansion of 1/3 in j
20.282 * [taylor]: Taking taylor expansion of (log (* k j)) in j
20.282 * [taylor]: Taking taylor expansion of (* k j) in j
20.282 * [taylor]: Taking taylor expansion of k in j
20.282 * [taylor]: Taking taylor expansion of j in j
20.283 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
20.283 * [taylor]: Taking taylor expansion of 27.0 in j
20.284 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
20.284 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
20.284 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
20.284 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
20.284 * [taylor]: Taking taylor expansion of 1/3 in j
20.284 * [taylor]: Taking taylor expansion of (log (* k j)) in j
20.284 * [taylor]: Taking taylor expansion of (* k j) in j
20.284 * [taylor]: Taking taylor expansion of k in j
20.284 * [taylor]: Taking taylor expansion of j in j
20.284 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
20.285 * [taylor]: Taking taylor expansion of 27.0 in j
20.286 * [taylor]: Taking taylor expansion of (* (cbrt 27.0) (exp (* 1/3 (+ (log k) (log j))))) in k
20.286 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
20.286 * [taylor]: Taking taylor expansion of 27.0 in k
20.286 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log k) (log j)))) in k
20.286 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log k) (log j))) in k
20.286 * [taylor]: Taking taylor expansion of 1/3 in k
20.286 * [taylor]: Taking taylor expansion of (+ (log k) (log j)) in k
20.286 * [taylor]: Taking taylor expansion of (log k) in k
20.286 * [taylor]: Taking taylor expansion of k in k
20.287 * [taylor]: Taking taylor expansion of (log j) in k
20.287 * [taylor]: Taking taylor expansion of j in k
20.291 * [taylor]: Taking taylor expansion of 0 in k
20.298 * [taylor]: Taking taylor expansion of 0 in k
20.313 * [taylor]: Taking taylor expansion of 0 in k
20.313 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
20.313 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
20.313 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
20.313 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
20.313 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
20.313 * [taylor]: Taking taylor expansion of 1/3 in k
20.313 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
20.313 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
20.313 * [taylor]: Taking taylor expansion of (* k j) in k
20.313 * [taylor]: Taking taylor expansion of k in k
20.314 * [taylor]: Taking taylor expansion of j in k
20.314 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
20.314 * [taylor]: Taking taylor expansion of 27.0 in k
20.315 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
20.315 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
20.315 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
20.315 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
20.315 * [taylor]: Taking taylor expansion of 1/3 in j
20.315 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
20.315 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
20.315 * [taylor]: Taking taylor expansion of (* k j) in j
20.315 * [taylor]: Taking taylor expansion of k in j
20.315 * [taylor]: Taking taylor expansion of j in j
20.316 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
20.316 * [taylor]: Taking taylor expansion of 27.0 in j
20.317 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
20.317 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
20.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
20.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
20.317 * [taylor]: Taking taylor expansion of 1/3 in j
20.317 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
20.317 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
20.317 * [taylor]: Taking taylor expansion of (* k j) in j
20.317 * [taylor]: Taking taylor expansion of k in j
20.317 * [taylor]: Taking taylor expansion of j in j
20.318 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
20.318 * [taylor]: Taking taylor expansion of 27.0 in j
20.319 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
20.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
20.319 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
20.319 * [taylor]: Taking taylor expansion of 1/3 in k
20.319 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
20.319 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
20.319 * [taylor]: Taking taylor expansion of (/ 1 k) in k
20.319 * [taylor]: Taking taylor expansion of k in k
20.320 * [taylor]: Taking taylor expansion of (log j) in k
20.320 * [taylor]: Taking taylor expansion of j in k
20.320 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
20.320 * [taylor]: Taking taylor expansion of 27.0 in k
20.324 * [taylor]: Taking taylor expansion of 0 in k
20.333 * [taylor]: Taking taylor expansion of 0 in k
20.345 * [taylor]: Taking taylor expansion of 0 in k
20.346 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
20.346 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
20.346 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
20.346 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
20.346 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
20.346 * [taylor]: Taking taylor expansion of 1/3 in k
20.346 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
20.346 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
20.346 * [taylor]: Taking taylor expansion of (* k j) in k
20.346 * [taylor]: Taking taylor expansion of k in k
20.346 * [taylor]: Taking taylor expansion of j in k
20.347 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
20.347 * [taylor]: Taking taylor expansion of 27.0 in k
20.348 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
20.348 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
20.348 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
20.348 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
20.348 * [taylor]: Taking taylor expansion of 1/3 in j
20.348 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
20.348 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
20.348 * [taylor]: Taking taylor expansion of (* k j) in j
20.348 * [taylor]: Taking taylor expansion of k in j
20.348 * [taylor]: Taking taylor expansion of j in j
20.349 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
20.349 * [taylor]: Taking taylor expansion of 27.0 in j
20.350 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
20.350 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
20.350 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
20.350 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
20.350 * [taylor]: Taking taylor expansion of 1/3 in j
20.350 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
20.350 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
20.350 * [taylor]: Taking taylor expansion of (* k j) in j
20.350 * [taylor]: Taking taylor expansion of k in j
20.350 * [taylor]: Taking taylor expansion of j in j
20.351 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
20.351 * [taylor]: Taking taylor expansion of 27.0 in j
20.352 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
20.352 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
20.352 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
20.352 * [taylor]: Taking taylor expansion of 1/3 in k
20.352 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
20.352 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
20.352 * [taylor]: Taking taylor expansion of (/ 1 k) in k
20.352 * [taylor]: Taking taylor expansion of k in k
20.353 * [taylor]: Taking taylor expansion of (log j) in k
20.353 * [taylor]: Taking taylor expansion of j in k
20.353 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
20.353 * [taylor]: Taking taylor expansion of 27.0 in k
20.357 * [taylor]: Taking taylor expansion of 0 in k
20.366 * [taylor]: Taking taylor expansion of 0 in k
20.378 * [taylor]: Taking taylor expansion of 0 in k
20.378 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1)
20.379 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
20.379 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
20.379 * [taylor]: Taking taylor expansion of 18.0 in z
20.379 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
20.379 * [taylor]: Taking taylor expansion of x in z
20.379 * [taylor]: Taking taylor expansion of (* z y) in z
20.379 * [taylor]: Taking taylor expansion of z in z
20.379 * [taylor]: Taking taylor expansion of y in z
20.379 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
20.379 * [taylor]: Taking taylor expansion of 18.0 in y
20.379 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
20.379 * [taylor]: Taking taylor expansion of x in y
20.379 * [taylor]: Taking taylor expansion of (* z y) in y
20.379 * [taylor]: Taking taylor expansion of z in y
20.379 * [taylor]: Taking taylor expansion of y in y
20.379 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
20.379 * [taylor]: Taking taylor expansion of 18.0 in x
20.379 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
20.379 * [taylor]: Taking taylor expansion of x in x
20.379 * [taylor]: Taking taylor expansion of (* z y) in x
20.379 * [taylor]: Taking taylor expansion of z in x
20.379 * [taylor]: Taking taylor expansion of y in x
20.379 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
20.379 * [taylor]: Taking taylor expansion of 18.0 in x
20.379 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
20.379 * [taylor]: Taking taylor expansion of x in x
20.379 * [taylor]: Taking taylor expansion of (* z y) in x
20.379 * [taylor]: Taking taylor expansion of z in x
20.379 * [taylor]: Taking taylor expansion of y in x
20.379 * [taylor]: Taking taylor expansion of 0 in y
20.380 * [taylor]: Taking taylor expansion of 0 in z
20.380 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
20.380 * [taylor]: Taking taylor expansion of 18.0 in y
20.380 * [taylor]: Taking taylor expansion of (* z y) in y
20.380 * [taylor]: Taking taylor expansion of z in y
20.380 * [taylor]: Taking taylor expansion of y in y
20.381 * [taylor]: Taking taylor expansion of 0 in z
20.381 * [taylor]: Taking taylor expansion of 0 in z
20.382 * [taylor]: Taking taylor expansion of 0 in y
20.382 * [taylor]: Taking taylor expansion of 0 in z
20.383 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
20.383 * [taylor]: Taking taylor expansion of 18.0 in z
20.383 * [taylor]: Taking taylor expansion of z in z
20.383 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
20.383 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
20.383 * [taylor]: Taking taylor expansion of 18.0 in z
20.383 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
20.383 * [taylor]: Taking taylor expansion of x in z
20.383 * [taylor]: Taking taylor expansion of (* z y) in z
20.383 * [taylor]: Taking taylor expansion of z in z
20.383 * [taylor]: Taking taylor expansion of y in z
20.384 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
20.384 * [taylor]: Taking taylor expansion of 18.0 in y
20.384 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
20.384 * [taylor]: Taking taylor expansion of x in y
20.384 * [taylor]: Taking taylor expansion of (* z y) in y
20.384 * [taylor]: Taking taylor expansion of z in y
20.384 * [taylor]: Taking taylor expansion of y in y
20.385 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
20.385 * [taylor]: Taking taylor expansion of 18.0 in x
20.385 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
20.385 * [taylor]: Taking taylor expansion of x in x
20.385 * [taylor]: Taking taylor expansion of (* z y) in x
20.385 * [taylor]: Taking taylor expansion of z in x
20.385 * [taylor]: Taking taylor expansion of y in x
20.385 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
20.385 * [taylor]: Taking taylor expansion of 18.0 in x
20.385 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
20.385 * [taylor]: Taking taylor expansion of x in x
20.385 * [taylor]: Taking taylor expansion of (* z y) in x
20.385 * [taylor]: Taking taylor expansion of z in x
20.385 * [taylor]: Taking taylor expansion of y in x
20.386 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
20.386 * [taylor]: Taking taylor expansion of 18.0 in y
20.386 * [taylor]: Taking taylor expansion of (* z y) in y
20.386 * [taylor]: Taking taylor expansion of z in y
20.386 * [taylor]: Taking taylor expansion of y in y
20.386 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
20.386 * [taylor]: Taking taylor expansion of 18.0 in z
20.386 * [taylor]: Taking taylor expansion of z in z
20.387 * [taylor]: Taking taylor expansion of 0 in y
20.388 * [taylor]: Taking taylor expansion of 0 in z
20.390 * [taylor]: Taking taylor expansion of 0 in y
20.390 * [taylor]: Taking taylor expansion of 0 in z
20.391 * [taylor]: Taking taylor expansion of 0 in z
20.396 * [taylor]: Taking taylor expansion of 0 in y
20.396 * [taylor]: Taking taylor expansion of 0 in z
20.397 * [taylor]: Taking taylor expansion of 0 in z
20.397 * [taylor]: Taking taylor expansion of 0 in z
20.398 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
20.398 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
20.398 * [taylor]: Taking taylor expansion of -18.0 in z
20.398 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
20.398 * [taylor]: Taking taylor expansion of x in z
20.398 * [taylor]: Taking taylor expansion of (* z y) in z
20.398 * [taylor]: Taking taylor expansion of z in z
20.398 * [taylor]: Taking taylor expansion of y in z
20.398 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
20.398 * [taylor]: Taking taylor expansion of -18.0 in y
20.398 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
20.398 * [taylor]: Taking taylor expansion of x in y
20.398 * [taylor]: Taking taylor expansion of (* z y) in y
20.398 * [taylor]: Taking taylor expansion of z in y
20.398 * [taylor]: Taking taylor expansion of y in y
20.399 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
20.399 * [taylor]: Taking taylor expansion of -18.0 in x
20.399 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
20.399 * [taylor]: Taking taylor expansion of x in x
20.399 * [taylor]: Taking taylor expansion of (* z y) in x
20.399 * [taylor]: Taking taylor expansion of z in x
20.399 * [taylor]: Taking taylor expansion of y in x
20.400 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
20.400 * [taylor]: Taking taylor expansion of -18.0 in x
20.400 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
20.400 * [taylor]: Taking taylor expansion of x in x
20.400 * [taylor]: Taking taylor expansion of (* z y) in x
20.400 * [taylor]: Taking taylor expansion of z in x
20.400 * [taylor]: Taking taylor expansion of y in x
20.400 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
20.400 * [taylor]: Taking taylor expansion of -18.0 in y
20.400 * [taylor]: Taking taylor expansion of (* z y) in y
20.400 * [taylor]: Taking taylor expansion of z in y
20.400 * [taylor]: Taking taylor expansion of y in y
20.401 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
20.401 * [taylor]: Taking taylor expansion of -18.0 in z
20.401 * [taylor]: Taking taylor expansion of z in z
20.402 * [taylor]: Taking taylor expansion of 0 in y
20.402 * [taylor]: Taking taylor expansion of 0 in z
20.404 * [taylor]: Taking taylor expansion of 0 in y
20.404 * [taylor]: Taking taylor expansion of 0 in z
20.405 * [taylor]: Taking taylor expansion of 0 in z
20.408 * [taylor]: Taking taylor expansion of 0 in y
20.408 * [taylor]: Taking taylor expansion of 0 in z
20.408 * [taylor]: Taking taylor expansion of 0 in z
20.409 * [taylor]: Taking taylor expansion of 0 in z
20.409 * * * [progress]: simplifying candidates
20.410 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt (* (* j 27.0) k)))
  (exp (cbrt (* (* j 27.0) k)))
  (cbrt (* j 27.0))
  (cbrt k)
  (* (cbrt (cbrt (* (* j 27.0) k))) (cbrt (cbrt (* (* j 27.0) k))))
  (cbrt (cbrt (* (* j 27.0) k)))
  (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k)))
  (sqrt (cbrt (* (* j 27.0) k)))
  (sqrt (cbrt (* (* j 27.0) k)))
  (log (cbrt (* (* j 27.0) k)))
  (exp (cbrt (* (* j 27.0) k)))
  (cbrt (* j 27.0))
  (cbrt k)
  (* (cbrt (cbrt (* (* j 27.0) k))) (cbrt (cbrt (* (* j 27.0) k))))
  (cbrt (cbrt (* (* j 27.0) k)))
  (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k)))
  (sqrt (cbrt (* (* j 27.0) k)))
  (sqrt (cbrt (* (* j 27.0) k)))
  (log (cbrt (* (* j 27.0) k)))
  (exp (cbrt (* (* j 27.0) k)))
  (cbrt (* j 27.0))
  (cbrt k)
  (* (cbrt (cbrt (* (* j 27.0) k))) (cbrt (cbrt (* (* j 27.0) k))))
  (cbrt (cbrt (* (* j 27.0) k)))
  (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k)))
  (sqrt (cbrt (* (* j 27.0) k)))
  (sqrt (cbrt (* (* j 27.0) k)))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (+ (+ (+ (log x) (log 18.0)) (log y)) (log z))
  (+ (+ (log (* x 18.0)) (log y)) (log z))
  (+ (log (* (* x 18.0) y)) (log z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z))
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* (* x 18.0) y) 1)
  (* y z)
  (* (cbrt 27.0) (exp (* 1/3 (+ (log k) (log j)))))
  (* (exp (* -1/3 (+ (log (/ 1 j)) (log (/ 1 k))))) (cbrt 27.0))
  (* (exp (* -1/3 (+ (log (/ -1 k)) (log (/ -1 j))))) (cbrt 27.0))
  (* (cbrt 27.0) (exp (* 1/3 (+ (log k) (log j)))))
  (* (exp (* -1/3 (+ (log (/ 1 j)) (log (/ 1 k))))) (cbrt 27.0))
  (* (exp (* -1/3 (+ (log (/ -1 k)) (log (/ -1 j))))) (cbrt 27.0))
  (* (cbrt 27.0) (exp (* 1/3 (+ (log k) (log j)))))
  (* (exp (* -1/3 (+ (log (/ 1 j)) (log (/ 1 k))))) (cbrt 27.0))
  (* (exp (* -1/3 (+ (log (/ -1 k)) (log (/ -1 j))))) (cbrt 27.0))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
20.412 * * [simplify]: iteration  0 :  97  enodes  (cost  595 )
20.427 * * [simplify]: iteration  1 :  234  enodes  (cost  581 )
20.490 * * [simplify]: iteration  2 :  840  enodes  (cost  486 )
21.294 * * [simplify]: iteration  3 :  4474  enodes  (cost  465 )
23.127 * * [simplify]: iteration  done :  5000  enodes  (cost  465 )
23.127 * [simplify]: Simplified to:
   (log (cbrt (* (* j 27.0) k)))
  (exp (cbrt (* (* j 27.0) k)))
  (cbrt (* j 27.0))
  (cbrt k)
  (* (cbrt (cbrt (* (* j 27.0) k))) (cbrt (cbrt (* (* j 27.0) k))))
  (cbrt (cbrt (* (* j 27.0) k)))
  (* (* j 27.0) k)
  (sqrt (cbrt (* (* j 27.0) k)))
  (sqrt (cbrt (* (* j 27.0) k)))
  (log (cbrt (* (* j 27.0) k)))
  (exp (cbrt (* (* j 27.0) k)))
  (cbrt (* j 27.0))
  (cbrt k)
  (* (cbrt (cbrt (* (* j 27.0) k))) (cbrt (cbrt (* (* j 27.0) k))))
  (cbrt (cbrt (* (* j 27.0) k)))
  (* (* j 27.0) k)
  (sqrt (cbrt (* (* j 27.0) k)))
  (sqrt (cbrt (* (* j 27.0) k)))
  (log (cbrt (* (* j 27.0) k)))
  (exp (cbrt (* (* j 27.0) k)))
  (cbrt (* j 27.0))
  (cbrt k)
  (* (cbrt (cbrt (* (* j 27.0) k))) (cbrt (cbrt (* (* j 27.0) k))))
  (cbrt (cbrt (* (* j 27.0) k)))
  (* (* j 27.0) k)
  (sqrt (cbrt (* (* j 27.0) k)))
  (sqrt (cbrt (* (* j 27.0) k)))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* 18.0 (* x (* z y))))
  (log (* 18.0 (* x (* z y))))
  (log (* 18.0 (* x (* z y))))
  (log (* 18.0 (* x (* z y))))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* z y)
  (* (cbrt 27.0) (* (pow k 1/3) (pow j 1/3)))
  (* (cbrt 27.0) (* (pow k 1/3) (pow j 1/3)))
  (* (* (cbrt 27.0) (pow (/ -1 k) -1/3)) (pow (/ -1 j) -1/3))
  (* (cbrt 27.0) (* (pow k 1/3) (pow j 1/3)))
  (* (cbrt 27.0) (* (pow k 1/3) (pow j 1/3)))
  (* (* (cbrt 27.0) (pow (/ -1 k) -1/3)) (pow (/ -1 j) -1/3))
  (* (cbrt 27.0) (* (pow k 1/3) (pow j 1/3)))
  (* (cbrt 27.0) (* (pow k 1/3) (pow j 1/3)))
  (* (* (cbrt 27.0) (pow (/ -1 k) -1/3)) (pow (/ -1 j) -1/3))
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
23.128 * * * [progress]: adding candidates to table
23.402 * [progress]: [Phase 3 of 3] Extracting.
23.402 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))>)
23.411 * * * [regime-changes]: Trying 14 branch expressions: ((* j 27.0) (* (* j 27.0) k) (* b c) (* a 4.0) k j i c b a t z y x)
23.412 * * * * [regimes]: Trying to branch on (* j 27.0) from (#<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))>)
23.486 * * * * [regimes]: Trying to branch on (* j 27.0) from (#<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))>)
23.544 * * * * [regimes]: Trying to branch on (* (* j 27.0) k) from (#<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))>)
23.604 * * * * [regimes]: Trying to branch on (* (* j 27.0) k) from (#<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))>)
23.650 * * * * [regimes]: Trying to branch on (* b c) from (#<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))>)
23.709 * * * * [regimes]: Trying to branch on (* a 4.0) from (#<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))>)
23.767 * * * * [regimes]: Trying to branch on k from (#<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))>)
23.832 * * * * [regimes]: Trying to branch on j from (#<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))>)
23.906 * * * * [regimes]: Trying to branch on i from (#<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))>)
23.968 * * * * [regimes]: Trying to branch on c from (#<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))>)
24.031 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))>)
24.112 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))>)
24.172 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))>)
24.246 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))>)
24.312 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))>)
24.373 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))>)
24.442 * * * [regime]: Found split indices: #<option (#s(si 6 74) #s(si 5 199) #s(si 2 255))>
24.444 * [binary-search]: Improving bounds with binary search for t and (#<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))>)
24.575 * [regimes]: Found splitpoints: (#s(sp 6 t -3.1141079314986784e-44) #s(sp 5 t 1.1312232233938015e-68) #s(sp 2 t +nan.0)) , with alts (#<alt (λ (x y z t a b c i j k) (- (+ (cbrt (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3)) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x 18.0) (* z y)) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (* (sqrt t) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k)))))> #<alt (λ (x y z t a b c i j k) (- (+ (/ (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (+ (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (+ (* (* a 4.0) (* a 4.0)) (* (* (* (* x 18.0) y) z) (* a 4.0))))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))> #<alt (λ (x y z t a b c i j k) (- (+ (+ (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0)))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))))> #<alt (λ (x y z t a b c i j k) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))))>)
24.576 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= t -3.1141079314986784e-44) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))) (if (<= t 1.1312232233938015e-68) (- (+ (* t (- 0 (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k))))))
24.577 * * [simplify]: iteration  0 :  52  enodes  (cost  104 )
24.579 * * [simplify]: iteration  1 :  77  enodes  (cost  103 )
24.581 * * [simplify]: iteration  2 :  87  enodes  (cost  103 )
24.583 * * [simplify]: iteration  3 :  90  enodes  (cost  103 )
24.586 * * [simplify]: iteration  done :  90  enodes  (cost  103 )
24.586 * [simplify]: Simplified to:
   (if (<= t -3.1141079314986784e-44) (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k))) (cbrt (* (* j 27.0) k))))) (if (<= t 1.1312232233938015e-68) (- (+ (* t (- (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))) (- (+ (* t (- (* (* x (* y 18.0)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k))))))
27.160 * [regime-testing]: Baseline error score: 5.666987048812549
27.161 * [regime-testing]: Oracle error score: 2.1821441148475498
27.162 * [regime-testing]: End program error score: 4.674946315431575