28.238 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.064 * * * [progress]: [2/2] Setting up program.
0.069 * [progress]: [Phase 2 of 3] Improving.
0.069 * [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.070 * * [simplify]: iteration  0 :  28  enodes  (cost  31 )
0.074 * * [simplify]: iteration  1 :  66  enodes  (cost  29 )
0.083 * * [simplify]: iteration  2 :  197  enodes  (cost  29 )
0.122 * * [simplify]: iteration  3 :  570  enodes  (cost  29 )
0.303 * * [simplify]: iteration  4 :  1226  enodes  (cost  29 )
0.925 * * [simplify]: iteration  5 :  1971  enodes  (cost  29 )
2.293 * * [simplify]: iteration  6 :  2943  enodes  (cost  29 )
4.875 * * [simplify]: iteration  7 :  4274  enodes  (cost  29 )
9.853 * * [simplify]: iteration  done :  5000  enodes  (cost  29 )
9.853 * [simplify]: Simplified to:
   (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k)))
9.859 * * [progress]: iteration 1 / 4
9.859 * * * [progress]: picking best candidate
9.863 * * * * [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))))>
9.863 * * * [progress]: localizing error
9.888 * * * [progress]: generating rewritten candidates
9.888 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1)
9.910 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
10.000 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
10.007 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
10.016 * * * [progress]: generating series expansions
10.016 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1)
10.016 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
10.016 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
10.016 * [taylor]: Taking taylor expansion of 18.0 in z
10.016 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
10.016 * [taylor]: Taking taylor expansion of x in z
10.016 * [taylor]: Taking taylor expansion of (* z y) in z
10.016 * [taylor]: Taking taylor expansion of z in z
10.016 * [taylor]: Taking taylor expansion of y in z
10.016 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
10.016 * [taylor]: Taking taylor expansion of 18.0 in y
10.016 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
10.016 * [taylor]: Taking taylor expansion of x in y
10.016 * [taylor]: Taking taylor expansion of (* z y) in y
10.016 * [taylor]: Taking taylor expansion of z in y
10.016 * [taylor]: Taking taylor expansion of y in y
10.016 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
10.016 * [taylor]: Taking taylor expansion of 18.0 in x
10.016 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
10.016 * [taylor]: Taking taylor expansion of x in x
10.016 * [taylor]: Taking taylor expansion of (* z y) in x
10.016 * [taylor]: Taking taylor expansion of z in x
10.016 * [taylor]: Taking taylor expansion of y in x
10.016 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
10.016 * [taylor]: Taking taylor expansion of 18.0 in x
10.016 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
10.016 * [taylor]: Taking taylor expansion of x in x
10.016 * [taylor]: Taking taylor expansion of (* z y) in x
10.016 * [taylor]: Taking taylor expansion of z in x
10.016 * [taylor]: Taking taylor expansion of y in x
10.017 * [taylor]: Taking taylor expansion of 0 in y
10.017 * [taylor]: Taking taylor expansion of 0 in z
10.018 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
10.018 * [taylor]: Taking taylor expansion of 18.0 in y
10.018 * [taylor]: Taking taylor expansion of (* z y) in y
10.018 * [taylor]: Taking taylor expansion of z in y
10.018 * [taylor]: Taking taylor expansion of y in y
10.019 * [taylor]: Taking taylor expansion of 0 in z
10.019 * [taylor]: Taking taylor expansion of 0 in z
10.020 * [taylor]: Taking taylor expansion of 0 in y
10.020 * [taylor]: Taking taylor expansion of 0 in z
10.021 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
10.021 * [taylor]: Taking taylor expansion of 18.0 in z
10.021 * [taylor]: Taking taylor expansion of z in z
10.021 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
10.021 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
10.021 * [taylor]: Taking taylor expansion of 18.0 in z
10.021 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
10.021 * [taylor]: Taking taylor expansion of x in z
10.021 * [taylor]: Taking taylor expansion of (* z y) in z
10.021 * [taylor]: Taking taylor expansion of z in z
10.021 * [taylor]: Taking taylor expansion of y in z
10.022 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
10.022 * [taylor]: Taking taylor expansion of 18.0 in y
10.022 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
10.022 * [taylor]: Taking taylor expansion of x in y
10.022 * [taylor]: Taking taylor expansion of (* z y) in y
10.022 * [taylor]: Taking taylor expansion of z in y
10.022 * [taylor]: Taking taylor expansion of y in y
10.023 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
10.023 * [taylor]: Taking taylor expansion of 18.0 in x
10.023 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
10.023 * [taylor]: Taking taylor expansion of x in x
10.023 * [taylor]: Taking taylor expansion of (* z y) in x
10.023 * [taylor]: Taking taylor expansion of z in x
10.023 * [taylor]: Taking taylor expansion of y in x
10.023 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
10.023 * [taylor]: Taking taylor expansion of 18.0 in x
10.023 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
10.023 * [taylor]: Taking taylor expansion of x in x
10.023 * [taylor]: Taking taylor expansion of (* z y) in x
10.023 * [taylor]: Taking taylor expansion of z in x
10.023 * [taylor]: Taking taylor expansion of y in x
10.024 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
10.024 * [taylor]: Taking taylor expansion of 18.0 in y
10.024 * [taylor]: Taking taylor expansion of (* z y) in y
10.024 * [taylor]: Taking taylor expansion of z in y
10.024 * [taylor]: Taking taylor expansion of y in y
10.024 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
10.024 * [taylor]: Taking taylor expansion of 18.0 in z
10.024 * [taylor]: Taking taylor expansion of z in z
10.025 * [taylor]: Taking taylor expansion of 0 in y
10.026 * [taylor]: Taking taylor expansion of 0 in z
10.028 * [taylor]: Taking taylor expansion of 0 in y
10.028 * [taylor]: Taking taylor expansion of 0 in z
10.029 * [taylor]: Taking taylor expansion of 0 in z
10.032 * [taylor]: Taking taylor expansion of 0 in y
10.032 * [taylor]: Taking taylor expansion of 0 in z
10.032 * [taylor]: Taking taylor expansion of 0 in z
10.032 * [taylor]: Taking taylor expansion of 0 in z
10.033 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
10.033 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
10.033 * [taylor]: Taking taylor expansion of -18.0 in z
10.033 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
10.033 * [taylor]: Taking taylor expansion of x in z
10.033 * [taylor]: Taking taylor expansion of (* z y) in z
10.033 * [taylor]: Taking taylor expansion of z in z
10.033 * [taylor]: Taking taylor expansion of y in z
10.034 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
10.034 * [taylor]: Taking taylor expansion of -18.0 in y
10.034 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
10.034 * [taylor]: Taking taylor expansion of x in y
10.034 * [taylor]: Taking taylor expansion of (* z y) in y
10.034 * [taylor]: Taking taylor expansion of z in y
10.034 * [taylor]: Taking taylor expansion of y in y
10.034 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
10.034 * [taylor]: Taking taylor expansion of -18.0 in x
10.034 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
10.034 * [taylor]: Taking taylor expansion of x in x
10.034 * [taylor]: Taking taylor expansion of (* z y) in x
10.034 * [taylor]: Taking taylor expansion of z in x
10.034 * [taylor]: Taking taylor expansion of y in x
10.035 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
10.035 * [taylor]: Taking taylor expansion of -18.0 in x
10.035 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
10.035 * [taylor]: Taking taylor expansion of x in x
10.035 * [taylor]: Taking taylor expansion of (* z y) in x
10.035 * [taylor]: Taking taylor expansion of z in x
10.035 * [taylor]: Taking taylor expansion of y in x
10.035 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
10.035 * [taylor]: Taking taylor expansion of -18.0 in y
10.035 * [taylor]: Taking taylor expansion of (* z y) in y
10.035 * [taylor]: Taking taylor expansion of z in y
10.035 * [taylor]: Taking taylor expansion of y in y
10.036 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
10.036 * [taylor]: Taking taylor expansion of -18.0 in z
10.036 * [taylor]: Taking taylor expansion of z in z
10.037 * [taylor]: Taking taylor expansion of 0 in y
10.038 * [taylor]: Taking taylor expansion of 0 in z
10.040 * [taylor]: Taking taylor expansion of 0 in y
10.040 * [taylor]: Taking taylor expansion of 0 in z
10.040 * [taylor]: Taking taylor expansion of 0 in z
10.043 * [taylor]: Taking taylor expansion of 0 in y
10.043 * [taylor]: Taking taylor expansion of 0 in z
10.043 * [taylor]: Taking taylor expansion of 0 in z
10.044 * [taylor]: Taking taylor expansion of 0 in z
10.044 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
10.045 * [approximate]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in (t x y z a) around 0
10.045 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in a
10.045 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in a
10.045 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in a
10.045 * [taylor]: Taking taylor expansion of 18.0 in a
10.045 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
10.045 * [taylor]: Taking taylor expansion of x in a
10.045 * [taylor]: Taking taylor expansion of (* z y) in a
10.045 * [taylor]: Taking taylor expansion of z in a
10.045 * [taylor]: Taking taylor expansion of y in a
10.045 * [taylor]: Taking taylor expansion of (* 4.0 a) in a
10.045 * [taylor]: Taking taylor expansion of 4.0 in a
10.045 * [taylor]: Taking taylor expansion of a in a
10.045 * [taylor]: Taking taylor expansion of t in a
10.045 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in z
10.045 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in z
10.045 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
10.045 * [taylor]: Taking taylor expansion of 18.0 in z
10.045 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
10.045 * [taylor]: Taking taylor expansion of x in z
10.046 * [taylor]: Taking taylor expansion of (* z y) in z
10.046 * [taylor]: Taking taylor expansion of z in z
10.046 * [taylor]: Taking taylor expansion of y in z
10.046 * [taylor]: Taking taylor expansion of (* 4.0 a) in z
10.046 * [taylor]: Taking taylor expansion of 4.0 in z
10.046 * [taylor]: Taking taylor expansion of a in z
10.046 * [taylor]: Taking taylor expansion of t in z
10.046 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in y
10.046 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in y
10.046 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
10.046 * [taylor]: Taking taylor expansion of 18.0 in y
10.046 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
10.046 * [taylor]: Taking taylor expansion of x in y
10.046 * [taylor]: Taking taylor expansion of (* z y) in y
10.046 * [taylor]: Taking taylor expansion of z in y
10.046 * [taylor]: Taking taylor expansion of y in y
10.046 * [taylor]: Taking taylor expansion of (* 4.0 a) in y
10.046 * [taylor]: Taking taylor expansion of 4.0 in y
10.046 * [taylor]: Taking taylor expansion of a in y
10.046 * [taylor]: Taking taylor expansion of t in y
10.046 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in x
10.046 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in x
10.046 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
10.046 * [taylor]: Taking taylor expansion of 18.0 in x
10.046 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
10.046 * [taylor]: Taking taylor expansion of x in x
10.046 * [taylor]: Taking taylor expansion of (* z y) in x
10.046 * [taylor]: Taking taylor expansion of z in x
10.046 * [taylor]: Taking taylor expansion of y in x
10.046 * [taylor]: Taking taylor expansion of (* 4.0 a) in x
10.046 * [taylor]: Taking taylor expansion of 4.0 in x
10.046 * [taylor]: Taking taylor expansion of a in x
10.046 * [taylor]: Taking taylor expansion of t in x
10.046 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in t
10.046 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in t
10.046 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in t
10.046 * [taylor]: Taking taylor expansion of 18.0 in t
10.046 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
10.046 * [taylor]: Taking taylor expansion of x in t
10.046 * [taylor]: Taking taylor expansion of (* z y) in t
10.046 * [taylor]: Taking taylor expansion of z in t
10.046 * [taylor]: Taking taylor expansion of y in t
10.046 * [taylor]: Taking taylor expansion of (* 4.0 a) in t
10.047 * [taylor]: Taking taylor expansion of 4.0 in t
10.047 * [taylor]: Taking taylor expansion of a in t
10.047 * [taylor]: Taking taylor expansion of t in t
10.047 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in t
10.047 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in t
10.047 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in t
10.047 * [taylor]: Taking taylor expansion of 18.0 in t
10.047 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
10.047 * [taylor]: Taking taylor expansion of x in t
10.047 * [taylor]: Taking taylor expansion of (* z y) in t
10.047 * [taylor]: Taking taylor expansion of z in t
10.047 * [taylor]: Taking taylor expansion of y in t
10.047 * [taylor]: Taking taylor expansion of (* 4.0 a) in t
10.047 * [taylor]: Taking taylor expansion of 4.0 in t
10.047 * [taylor]: Taking taylor expansion of a in t
10.047 * [taylor]: Taking taylor expansion of t in t
10.047 * [taylor]: Taking taylor expansion of 0 in x
10.047 * [taylor]: Taking taylor expansion of 0 in y
10.047 * [taylor]: Taking taylor expansion of 0 in z
10.047 * [taylor]: Taking taylor expansion of 0 in a
10.049 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in x
10.049 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
10.049 * [taylor]: Taking taylor expansion of 18.0 in x
10.049 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
10.049 * [taylor]: Taking taylor expansion of x in x
10.049 * [taylor]: Taking taylor expansion of (* z y) in x
10.049 * [taylor]: Taking taylor expansion of z in x
10.049 * [taylor]: Taking taylor expansion of y in x
10.049 * [taylor]: Taking taylor expansion of (* 4.0 a) in x
10.049 * [taylor]: Taking taylor expansion of 4.0 in x
10.049 * [taylor]: Taking taylor expansion of a in x
10.049 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in y
10.049 * [taylor]: Taking taylor expansion of (* 4.0 a) in y
10.049 * [taylor]: Taking taylor expansion of 4.0 in y
10.049 * [taylor]: Taking taylor expansion of a in y
10.049 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in z
10.049 * [taylor]: Taking taylor expansion of (* 4.0 a) in z
10.050 * [taylor]: Taking taylor expansion of 4.0 in z
10.050 * [taylor]: Taking taylor expansion of a in z
10.050 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in a
10.050 * [taylor]: Taking taylor expansion of (* 4.0 a) in a
10.050 * [taylor]: Taking taylor expansion of 4.0 in a
10.050 * [taylor]: Taking taylor expansion of a in a
10.050 * [taylor]: Taking taylor expansion of 0 in y
10.050 * [taylor]: Taking taylor expansion of 0 in z
10.050 * [taylor]: Taking taylor expansion of 0 in a
10.050 * [taylor]: Taking taylor expansion of 0 in z
10.050 * [taylor]: Taking taylor expansion of 0 in a
10.050 * [taylor]: Taking taylor expansion of 0 in a
10.051 * [approximate]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in (t x y z a) around 0
10.051 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in a
10.051 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in a
10.051 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in a
10.051 * [taylor]: Taking taylor expansion of 18.0 in a
10.051 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a
10.051 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
10.051 * [taylor]: Taking taylor expansion of x in a
10.051 * [taylor]: Taking taylor expansion of (* z y) in a
10.051 * [taylor]: Taking taylor expansion of z in a
10.051 * [taylor]: Taking taylor expansion of y in a
10.051 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
10.051 * [taylor]: Taking taylor expansion of 4.0 in a
10.051 * [taylor]: Taking taylor expansion of (/ 1 a) in a
10.051 * [taylor]: Taking taylor expansion of a in a
10.051 * [taylor]: Taking taylor expansion of t in a
10.053 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in z
10.053 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in z
10.053 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in z
10.053 * [taylor]: Taking taylor expansion of 18.0 in z
10.053 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
10.053 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
10.053 * [taylor]: Taking taylor expansion of x in z
10.053 * [taylor]: Taking taylor expansion of (* z y) in z
10.053 * [taylor]: Taking taylor expansion of z in z
10.053 * [taylor]: Taking taylor expansion of y in z
10.053 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
10.053 * [taylor]: Taking taylor expansion of 4.0 in z
10.053 * [taylor]: Taking taylor expansion of (/ 1 a) in z
10.053 * [taylor]: Taking taylor expansion of a in z
10.053 * [taylor]: Taking taylor expansion of t in z
10.054 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in y
10.054 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in y
10.054 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in y
10.054 * [taylor]: Taking taylor expansion of 18.0 in y
10.054 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
10.054 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
10.054 * [taylor]: Taking taylor expansion of x in y
10.054 * [taylor]: Taking taylor expansion of (* z y) in y
10.054 * [taylor]: Taking taylor expansion of z in y
10.054 * [taylor]: Taking taylor expansion of y in y
10.054 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
10.054 * [taylor]: Taking taylor expansion of 4.0 in y
10.054 * [taylor]: Taking taylor expansion of (/ 1 a) in y
10.054 * [taylor]: Taking taylor expansion of a in y
10.055 * [taylor]: Taking taylor expansion of t in y
10.055 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in x
10.055 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in x
10.055 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
10.055 * [taylor]: Taking taylor expansion of 18.0 in x
10.055 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
10.055 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
10.055 * [taylor]: Taking taylor expansion of x in x
10.055 * [taylor]: Taking taylor expansion of (* z y) in x
10.055 * [taylor]: Taking taylor expansion of z in x
10.055 * [taylor]: Taking taylor expansion of y in x
10.055 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
10.055 * [taylor]: Taking taylor expansion of 4.0 in x
10.055 * [taylor]: Taking taylor expansion of (/ 1 a) in x
10.055 * [taylor]: Taking taylor expansion of a in x
10.055 * [taylor]: Taking taylor expansion of t in x
10.056 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in t
10.056 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in t
10.056 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
10.056 * [taylor]: Taking taylor expansion of 18.0 in t
10.056 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
10.056 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
10.056 * [taylor]: Taking taylor expansion of x in t
10.056 * [taylor]: Taking taylor expansion of (* z y) in t
10.056 * [taylor]: Taking taylor expansion of z in t
10.056 * [taylor]: Taking taylor expansion of y in t
10.056 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
10.056 * [taylor]: Taking taylor expansion of 4.0 in t
10.056 * [taylor]: Taking taylor expansion of (/ 1 a) in t
10.056 * [taylor]: Taking taylor expansion of a in t
10.056 * [taylor]: Taking taylor expansion of t in t
10.056 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in t
10.056 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in t
10.056 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
10.056 * [taylor]: Taking taylor expansion of 18.0 in t
10.056 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
10.056 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
10.056 * [taylor]: Taking taylor expansion of x in t
10.056 * [taylor]: Taking taylor expansion of (* z y) in t
10.056 * [taylor]: Taking taylor expansion of z in t
10.056 * [taylor]: Taking taylor expansion of y in t
10.056 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
10.056 * [taylor]: Taking taylor expansion of 4.0 in t
10.056 * [taylor]: Taking taylor expansion of (/ 1 a) in t
10.056 * [taylor]: Taking taylor expansion of a in t
10.057 * [taylor]: Taking taylor expansion of t in t
10.057 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in x
10.057 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
10.057 * [taylor]: Taking taylor expansion of 18.0 in x
10.057 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
10.057 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
10.057 * [taylor]: Taking taylor expansion of x in x
10.057 * [taylor]: Taking taylor expansion of (* z y) in x
10.057 * [taylor]: Taking taylor expansion of z in x
10.057 * [taylor]: Taking taylor expansion of y in x
10.057 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
10.057 * [taylor]: Taking taylor expansion of 4.0 in x
10.057 * [taylor]: Taking taylor expansion of (/ 1 a) in x
10.058 * [taylor]: Taking taylor expansion of a in x
10.058 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* z y))) in y
10.058 * [taylor]: Taking taylor expansion of 18.0 in y
10.058 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
10.058 * [taylor]: Taking taylor expansion of (* z y) in y
10.058 * [taylor]: Taking taylor expansion of z in y
10.058 * [taylor]: Taking taylor expansion of y in y
10.058 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
10.058 * [taylor]: Taking taylor expansion of 18.0 in z
10.058 * [taylor]: Taking taylor expansion of z in z
10.059 * [taylor]: Taking taylor expansion of 18.0 in a
10.063 * [taylor]: Taking taylor expansion of 0 in x
10.065 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in y
10.065 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
10.065 * [taylor]: Taking taylor expansion of 4.0 in y
10.065 * [taylor]: Taking taylor expansion of (/ 1 a) in y
10.065 * [taylor]: Taking taylor expansion of a in y
10.066 * [taylor]: Taking taylor expansion of 0 in z
10.066 * [taylor]: Taking taylor expansion of 0 in a
10.069 * [taylor]: Taking taylor expansion of 0 in x
10.070 * [taylor]: Taking taylor expansion of 0 in y
10.073 * [taylor]: Taking taylor expansion of 0 in y
10.073 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in z
10.073 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
10.073 * [taylor]: Taking taylor expansion of 4.0 in z
10.073 * [taylor]: Taking taylor expansion of (/ 1 a) in z
10.073 * [taylor]: Taking taylor expansion of a in z
10.074 * [taylor]: Taking taylor expansion of 0 in z
10.074 * [taylor]: Taking taylor expansion of 0 in a
10.074 * [taylor]: Taking taylor expansion of 0 in a
10.079 * [taylor]: Taking taylor expansion of 0 in x
10.079 * [taylor]: Taking taylor expansion of 0 in y
10.079 * [taylor]: Taking taylor expansion of 0 in y
10.083 * [taylor]: Taking taylor expansion of 0 in y
10.083 * [taylor]: Taking taylor expansion of 0 in z
10.083 * [taylor]: Taking taylor expansion of 0 in z
10.084 * [taylor]: Taking taylor expansion of 0 in z
10.085 * [taylor]: Taking taylor expansion of 0 in z
10.085 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in a
10.085 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
10.085 * [taylor]: Taking taylor expansion of 4.0 in a
10.085 * [taylor]: Taking taylor expansion of (/ 1 a) in a
10.085 * [taylor]: Taking taylor expansion of a in a
10.086 * [taylor]: Taking taylor expansion of 0 in a
10.086 * [taylor]: Taking taylor expansion of 0 in a
10.087 * [taylor]: Taking taylor expansion of 0 in a
10.093 * [taylor]: Taking taylor expansion of 0 in x
10.093 * [taylor]: Taking taylor expansion of 0 in y
10.093 * [taylor]: Taking taylor expansion of 0 in y
10.093 * [taylor]: Taking taylor expansion of 0 in y
10.098 * [taylor]: Taking taylor expansion of 0 in y
10.098 * [taylor]: Taking taylor expansion of 0 in z
10.098 * [taylor]: Taking taylor expansion of 0 in z
10.098 * [taylor]: Taking taylor expansion of 0 in z
10.098 * [taylor]: Taking taylor expansion of 0 in z
10.098 * [taylor]: Taking taylor expansion of 0 in z
10.099 * [taylor]: Taking taylor expansion of 0 in z
10.100 * [taylor]: Taking taylor expansion of 0 in z
10.101 * [taylor]: Taking taylor expansion of 0 in a
10.101 * [taylor]: Taking taylor expansion of 0 in a
10.101 * [taylor]: Taking taylor expansion of 0 in a
10.101 * [taylor]: Taking taylor expansion of 0 in a
10.101 * [taylor]: Taking taylor expansion of 0 in a
10.101 * [taylor]: Taking taylor expansion of 0 in a
10.101 * [taylor]: Taking taylor expansion of 0 in a
10.102 * [taylor]: Taking taylor expansion of 0 in a
10.104 * [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
10.104 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in a
10.104 * [taylor]: Taking taylor expansion of -1 in a
10.104 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in a
10.104 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in a
10.104 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
10.104 * [taylor]: Taking taylor expansion of 4.0 in a
10.104 * [taylor]: Taking taylor expansion of (/ 1 a) in a
10.104 * [taylor]: Taking taylor expansion of a in a
10.104 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in a
10.104 * [taylor]: Taking taylor expansion of 18.0 in a
10.104 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a
10.104 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
10.104 * [taylor]: Taking taylor expansion of x in a
10.104 * [taylor]: Taking taylor expansion of (* z y) in a
10.104 * [taylor]: Taking taylor expansion of z in a
10.105 * [taylor]: Taking taylor expansion of y in a
10.105 * [taylor]: Taking taylor expansion of t in a
10.105 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in z
10.105 * [taylor]: Taking taylor expansion of -1 in z
10.105 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in z
10.105 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in z
10.105 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
10.105 * [taylor]: Taking taylor expansion of 4.0 in z
10.105 * [taylor]: Taking taylor expansion of (/ 1 a) in z
10.105 * [taylor]: Taking taylor expansion of a in z
10.105 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in z
10.105 * [taylor]: Taking taylor expansion of 18.0 in z
10.105 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
10.105 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
10.105 * [taylor]: Taking taylor expansion of x in z
10.106 * [taylor]: Taking taylor expansion of (* z y) in z
10.106 * [taylor]: Taking taylor expansion of z in z
10.106 * [taylor]: Taking taylor expansion of y in z
10.106 * [taylor]: Taking taylor expansion of t in z
10.106 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in y
10.106 * [taylor]: Taking taylor expansion of -1 in y
10.106 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in y
10.106 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in y
10.106 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
10.106 * [taylor]: Taking taylor expansion of 4.0 in y
10.106 * [taylor]: Taking taylor expansion of (/ 1 a) in y
10.107 * [taylor]: Taking taylor expansion of a in y
10.107 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in y
10.107 * [taylor]: Taking taylor expansion of 18.0 in y
10.107 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
10.107 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
10.107 * [taylor]: Taking taylor expansion of x in y
10.107 * [taylor]: Taking taylor expansion of (* z y) in y
10.107 * [taylor]: Taking taylor expansion of z in y
10.107 * [taylor]: Taking taylor expansion of y in y
10.107 * [taylor]: Taking taylor expansion of t in y
10.107 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in x
10.108 * [taylor]: Taking taylor expansion of -1 in x
10.108 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in x
10.108 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in x
10.108 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
10.108 * [taylor]: Taking taylor expansion of 4.0 in x
10.108 * [taylor]: Taking taylor expansion of (/ 1 a) in x
10.108 * [taylor]: Taking taylor expansion of a in x
10.108 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
10.108 * [taylor]: Taking taylor expansion of 18.0 in x
10.108 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
10.108 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
10.108 * [taylor]: Taking taylor expansion of x in x
10.108 * [taylor]: Taking taylor expansion of (* z y) in x
10.108 * [taylor]: Taking taylor expansion of z in x
10.108 * [taylor]: Taking taylor expansion of y in x
10.108 * [taylor]: Taking taylor expansion of t in x
10.109 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in t
10.109 * [taylor]: Taking taylor expansion of -1 in t
10.109 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in t
10.109 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in t
10.109 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
10.109 * [taylor]: Taking taylor expansion of 4.0 in t
10.109 * [taylor]: Taking taylor expansion of (/ 1 a) in t
10.109 * [taylor]: Taking taylor expansion of a in t
10.109 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
10.109 * [taylor]: Taking taylor expansion of 18.0 in t
10.109 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
10.109 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
10.109 * [taylor]: Taking taylor expansion of x in t
10.109 * [taylor]: Taking taylor expansion of (* z y) in t
10.109 * [taylor]: Taking taylor expansion of z in t
10.109 * [taylor]: Taking taylor expansion of y in t
10.109 * [taylor]: Taking taylor expansion of t in t
10.110 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in t
10.110 * [taylor]: Taking taylor expansion of -1 in t
10.110 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in t
10.110 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in t
10.110 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
10.110 * [taylor]: Taking taylor expansion of 4.0 in t
10.110 * [taylor]: Taking taylor expansion of (/ 1 a) in t
10.110 * [taylor]: Taking taylor expansion of a in t
10.110 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
10.110 * [taylor]: Taking taylor expansion of 18.0 in t
10.110 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
10.110 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
10.110 * [taylor]: Taking taylor expansion of x in t
10.110 * [taylor]: Taking taylor expansion of (* z y) in t
10.110 * [taylor]: Taking taylor expansion of z in t
10.110 * [taylor]: Taking taylor expansion of y in t
10.110 * [taylor]: Taking taylor expansion of t in t
10.110 * [taylor]: Taking taylor expansion of (* -1 (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y)))))) in x
10.110 * [taylor]: Taking taylor expansion of -1 in x
10.110 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in x
10.111 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
10.111 * [taylor]: Taking taylor expansion of 4.0 in x
10.111 * [taylor]: Taking taylor expansion of (/ 1 a) in x
10.111 * [taylor]: Taking taylor expansion of a in x
10.111 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
10.111 * [taylor]: Taking taylor expansion of 18.0 in x
10.111 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
10.111 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
10.111 * [taylor]: Taking taylor expansion of x in x
10.111 * [taylor]: Taking taylor expansion of (* z y) in x
10.111 * [taylor]: Taking taylor expansion of z in x
10.111 * [taylor]: Taking taylor expansion of y in x
10.111 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
10.112 * [taylor]: Taking taylor expansion of 18.0 in y
10.112 * [taylor]: Taking taylor expansion of (* z y) in y
10.112 * [taylor]: Taking taylor expansion of z in y
10.112 * [taylor]: Taking taylor expansion of y in y
10.112 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
10.112 * [taylor]: Taking taylor expansion of 18.0 in z
10.112 * [taylor]: Taking taylor expansion of z in z
10.112 * [taylor]: Taking taylor expansion of 18.0 in a
10.116 * [taylor]: Taking taylor expansion of 0 in x
10.117 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in y
10.117 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
10.117 * [taylor]: Taking taylor expansion of 4.0 in y
10.117 * [taylor]: Taking taylor expansion of (/ 1 a) in y
10.117 * [taylor]: Taking taylor expansion of a in y
10.118 * [taylor]: Taking taylor expansion of 0 in z
10.118 * [taylor]: Taking taylor expansion of 0 in a
10.122 * [taylor]: Taking taylor expansion of 0 in x
10.122 * [taylor]: Taking taylor expansion of 0 in y
10.126 * [taylor]: Taking taylor expansion of 0 in y
10.126 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in z
10.126 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
10.126 * [taylor]: Taking taylor expansion of 4.0 in z
10.126 * [taylor]: Taking taylor expansion of (/ 1 a) in z
10.126 * [taylor]: Taking taylor expansion of a in z
10.127 * [taylor]: Taking taylor expansion of 0 in z
10.127 * [taylor]: Taking taylor expansion of 0 in a
10.127 * [taylor]: Taking taylor expansion of 0 in a
10.133 * [taylor]: Taking taylor expansion of 0 in x
10.133 * [taylor]: Taking taylor expansion of 0 in y
10.133 * [taylor]: Taking taylor expansion of 0 in y
10.137 * [taylor]: Taking taylor expansion of 0 in y
10.137 * [taylor]: Taking taylor expansion of 0 in z
10.137 * [taylor]: Taking taylor expansion of 0 in z
10.138 * [taylor]: Taking taylor expansion of 0 in z
10.139 * [taylor]: Taking taylor expansion of 0 in z
10.139 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in a
10.139 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
10.139 * [taylor]: Taking taylor expansion of 4.0 in a
10.139 * [taylor]: Taking taylor expansion of (/ 1 a) in a
10.139 * [taylor]: Taking taylor expansion of a in a
10.140 * [taylor]: Taking taylor expansion of 0 in a
10.140 * [taylor]: Taking taylor expansion of 0 in a
10.141 * [taylor]: Taking taylor expansion of 0 in a
10.150 * [taylor]: Taking taylor expansion of 0 in x
10.150 * [taylor]: Taking taylor expansion of 0 in y
10.150 * [taylor]: Taking taylor expansion of 0 in y
10.150 * [taylor]: Taking taylor expansion of 0 in y
10.156 * [taylor]: Taking taylor expansion of 0 in y
10.156 * [taylor]: Taking taylor expansion of 0 in z
10.156 * [taylor]: Taking taylor expansion of 0 in z
10.156 * [taylor]: Taking taylor expansion of 0 in z
10.156 * [taylor]: Taking taylor expansion of 0 in z
10.156 * [taylor]: Taking taylor expansion of 0 in z
10.157 * [taylor]: Taking taylor expansion of 0 in z
10.158 * [taylor]: Taking taylor expansion of 0 in z
10.158 * [taylor]: Taking taylor expansion of 0 in a
10.158 * [taylor]: Taking taylor expansion of 0 in a
10.158 * [taylor]: Taking taylor expansion of 0 in a
10.158 * [taylor]: Taking taylor expansion of 0 in a
10.159 * [taylor]: Taking taylor expansion of 0 in a
10.159 * [taylor]: Taking taylor expansion of 0 in a
10.159 * [taylor]: Taking taylor expansion of 0 in a
10.159 * [taylor]: Taking taylor expansion of 0 in a
10.161 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
10.161 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
10.161 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
10.161 * [taylor]: Taking taylor expansion of 27.0 in k
10.161 * [taylor]: Taking taylor expansion of (* k j) in k
10.161 * [taylor]: Taking taylor expansion of k in k
10.161 * [taylor]: Taking taylor expansion of j in k
10.161 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
10.161 * [taylor]: Taking taylor expansion of 27.0 in j
10.161 * [taylor]: Taking taylor expansion of (* k j) in j
10.161 * [taylor]: Taking taylor expansion of k in j
10.161 * [taylor]: Taking taylor expansion of j in j
10.161 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
10.161 * [taylor]: Taking taylor expansion of 27.0 in j
10.161 * [taylor]: Taking taylor expansion of (* k j) in j
10.161 * [taylor]: Taking taylor expansion of k in j
10.161 * [taylor]: Taking taylor expansion of j in j
10.162 * [taylor]: Taking taylor expansion of 0 in k
10.162 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
10.162 * [taylor]: Taking taylor expansion of 27.0 in k
10.162 * [taylor]: Taking taylor expansion of k in k
10.163 * [taylor]: Taking taylor expansion of 0 in k
10.166 * [taylor]: Taking taylor expansion of 0 in k
10.168 * [taylor]: Taking taylor expansion of 0 in k
10.168 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
10.168 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
10.168 * [taylor]: Taking taylor expansion of 27.0 in k
10.168 * [taylor]: Taking taylor expansion of (* k j) in k
10.168 * [taylor]: Taking taylor expansion of k in k
10.168 * [taylor]: Taking taylor expansion of j in k
10.169 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
10.169 * [taylor]: Taking taylor expansion of 27.0 in j
10.169 * [taylor]: Taking taylor expansion of (* k j) in j
10.169 * [taylor]: Taking taylor expansion of k in j
10.169 * [taylor]: Taking taylor expansion of j in j
10.169 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
10.169 * [taylor]: Taking taylor expansion of 27.0 in j
10.169 * [taylor]: Taking taylor expansion of (* k j) in j
10.169 * [taylor]: Taking taylor expansion of k in j
10.169 * [taylor]: Taking taylor expansion of j in j
10.169 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
10.169 * [taylor]: Taking taylor expansion of 27.0 in k
10.169 * [taylor]: Taking taylor expansion of k in k
10.170 * [taylor]: Taking taylor expansion of 0 in k
10.171 * [taylor]: Taking taylor expansion of 0 in k
10.173 * [taylor]: Taking taylor expansion of 0 in k
10.173 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
10.173 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
10.173 * [taylor]: Taking taylor expansion of 27.0 in k
10.174 * [taylor]: Taking taylor expansion of (* k j) in k
10.174 * [taylor]: Taking taylor expansion of k in k
10.174 * [taylor]: Taking taylor expansion of j in k
10.174 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
10.174 * [taylor]: Taking taylor expansion of 27.0 in j
10.174 * [taylor]: Taking taylor expansion of (* k j) in j
10.174 * [taylor]: Taking taylor expansion of k in j
10.174 * [taylor]: Taking taylor expansion of j in j
10.174 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
10.174 * [taylor]: Taking taylor expansion of 27.0 in j
10.174 * [taylor]: Taking taylor expansion of (* k j) in j
10.174 * [taylor]: Taking taylor expansion of k in j
10.174 * [taylor]: Taking taylor expansion of j in j
10.175 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
10.175 * [taylor]: Taking taylor expansion of 27.0 in k
10.175 * [taylor]: Taking taylor expansion of k in k
10.175 * [taylor]: Taking taylor expansion of 0 in k
10.177 * [taylor]: Taking taylor expansion of 0 in k
10.178 * [taylor]: Taking taylor expansion of 0 in k
10.178 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1)
10.178 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
10.179 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
10.179 * [taylor]: Taking taylor expansion of 18.0 in y
10.179 * [taylor]: Taking taylor expansion of (* x y) in y
10.179 * [taylor]: Taking taylor expansion of x in y
10.179 * [taylor]: Taking taylor expansion of y in y
10.179 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
10.179 * [taylor]: Taking taylor expansion of 18.0 in x
10.179 * [taylor]: Taking taylor expansion of (* x y) in x
10.179 * [taylor]: Taking taylor expansion of x in x
10.179 * [taylor]: Taking taylor expansion of y in x
10.179 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
10.179 * [taylor]: Taking taylor expansion of 18.0 in x
10.179 * [taylor]: Taking taylor expansion of (* x y) in x
10.179 * [taylor]: Taking taylor expansion of x in x
10.179 * [taylor]: Taking taylor expansion of y in x
10.179 * [taylor]: Taking taylor expansion of 0 in y
10.180 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
10.180 * [taylor]: Taking taylor expansion of 18.0 in y
10.180 * [taylor]: Taking taylor expansion of y in y
10.181 * [taylor]: Taking taylor expansion of 0 in y
10.183 * [taylor]: Taking taylor expansion of 0 in y
10.186 * [taylor]: Taking taylor expansion of 0 in y
10.186 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
10.186 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
10.186 * [taylor]: Taking taylor expansion of 18.0 in y
10.186 * [taylor]: Taking taylor expansion of (* x y) in y
10.186 * [taylor]: Taking taylor expansion of x in y
10.186 * [taylor]: Taking taylor expansion of y in y
10.186 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
10.186 * [taylor]: Taking taylor expansion of 18.0 in x
10.186 * [taylor]: Taking taylor expansion of (* x y) in x
10.186 * [taylor]: Taking taylor expansion of x in x
10.186 * [taylor]: Taking taylor expansion of y in x
10.187 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
10.187 * [taylor]: Taking taylor expansion of 18.0 in x
10.187 * [taylor]: Taking taylor expansion of (* x y) in x
10.187 * [taylor]: Taking taylor expansion of x in x
10.187 * [taylor]: Taking taylor expansion of y in x
10.187 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
10.187 * [taylor]: Taking taylor expansion of 18.0 in y
10.187 * [taylor]: Taking taylor expansion of y in y
10.188 * [taylor]: Taking taylor expansion of 0 in y
10.190 * [taylor]: Taking taylor expansion of 0 in y
10.192 * [taylor]: Taking taylor expansion of 0 in y
10.192 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
10.192 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
10.192 * [taylor]: Taking taylor expansion of 18.0 in y
10.192 * [taylor]: Taking taylor expansion of (* x y) in y
10.192 * [taylor]: Taking taylor expansion of x in y
10.192 * [taylor]: Taking taylor expansion of y in y
10.193 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
10.193 * [taylor]: Taking taylor expansion of 18.0 in x
10.193 * [taylor]: Taking taylor expansion of (* x y) in x
10.193 * [taylor]: Taking taylor expansion of x in x
10.193 * [taylor]: Taking taylor expansion of y in x
10.193 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
10.193 * [taylor]: Taking taylor expansion of 18.0 in x
10.193 * [taylor]: Taking taylor expansion of (* x y) in x
10.193 * [taylor]: Taking taylor expansion of x in x
10.193 * [taylor]: Taking taylor expansion of y in x
10.193 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
10.194 * [taylor]: Taking taylor expansion of 18.0 in y
10.194 * [taylor]: Taking taylor expansion of y in y
10.194 * [taylor]: Taking taylor expansion of 0 in y
10.196 * [taylor]: Taking taylor expansion of 0 in y
10.197 * [taylor]: Taking taylor expansion of 0 in y
10.198 * * * [progress]: simplifying candidates
10.200 * [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))
10.203 * * [simplify]: iteration  0 :  158  enodes  (cost  1015 )
10.233 * * [simplify]: iteration  1 :  417  enodes  (cost  980 )
10.349 * * [simplify]: iteration  2 :  1959  enodes  (cost  822 )
11.015 * * [simplify]: iteration  done :  5001  enodes  (cost  822 )
11.016 * [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 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)
11.016 * * * [progress]: adding candidates to table
11.302 * * [progress]: iteration 2 / 4
11.302 * * * [progress]: picking best candidate
11.343 * * * * [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)))))>
11.343 * * * [progress]: localizing error
11.364 * * * [progress]: generating rewritten candidates
11.364 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1)
11.388 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
11.487 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
11.493 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
11.504 * * * [progress]: generating series expansions
11.504 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1)
11.504 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
11.504 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
11.504 * [taylor]: Taking taylor expansion of 18.0 in z
11.504 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
11.504 * [taylor]: Taking taylor expansion of x in z
11.504 * [taylor]: Taking taylor expansion of (* z y) in z
11.504 * [taylor]: Taking taylor expansion of z in z
11.504 * [taylor]: Taking taylor expansion of y in z
11.504 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
11.504 * [taylor]: Taking taylor expansion of 18.0 in y
11.504 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
11.504 * [taylor]: Taking taylor expansion of x in y
11.504 * [taylor]: Taking taylor expansion of (* z y) in y
11.504 * [taylor]: Taking taylor expansion of z in y
11.504 * [taylor]: Taking taylor expansion of y in y
11.504 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
11.504 * [taylor]: Taking taylor expansion of 18.0 in x
11.504 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.504 * [taylor]: Taking taylor expansion of x in x
11.504 * [taylor]: Taking taylor expansion of (* z y) in x
11.504 * [taylor]: Taking taylor expansion of z in x
11.504 * [taylor]: Taking taylor expansion of y in x
11.504 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
11.504 * [taylor]: Taking taylor expansion of 18.0 in x
11.504 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.504 * [taylor]: Taking taylor expansion of x in x
11.504 * [taylor]: Taking taylor expansion of (* z y) in x
11.504 * [taylor]: Taking taylor expansion of z in x
11.504 * [taylor]: Taking taylor expansion of y in x
11.505 * [taylor]: Taking taylor expansion of 0 in y
11.505 * [taylor]: Taking taylor expansion of 0 in z
11.506 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
11.506 * [taylor]: Taking taylor expansion of 18.0 in y
11.506 * [taylor]: Taking taylor expansion of (* z y) in y
11.506 * [taylor]: Taking taylor expansion of z in y
11.506 * [taylor]: Taking taylor expansion of y in y
11.506 * [taylor]: Taking taylor expansion of 0 in z
11.506 * [taylor]: Taking taylor expansion of 0 in z
11.508 * [taylor]: Taking taylor expansion of 0 in y
11.508 * [taylor]: Taking taylor expansion of 0 in z
11.508 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
11.508 * [taylor]: Taking taylor expansion of 18.0 in z
11.508 * [taylor]: Taking taylor expansion of z in z
11.509 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
11.509 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
11.509 * [taylor]: Taking taylor expansion of 18.0 in z
11.509 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
11.509 * [taylor]: Taking taylor expansion of x in z
11.509 * [taylor]: Taking taylor expansion of (* z y) in z
11.509 * [taylor]: Taking taylor expansion of z in z
11.509 * [taylor]: Taking taylor expansion of y in z
11.509 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
11.509 * [taylor]: Taking taylor expansion of 18.0 in y
11.509 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
11.509 * [taylor]: Taking taylor expansion of x in y
11.509 * [taylor]: Taking taylor expansion of (* z y) in y
11.509 * [taylor]: Taking taylor expansion of z in y
11.509 * [taylor]: Taking taylor expansion of y in y
11.510 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
11.510 * [taylor]: Taking taylor expansion of 18.0 in x
11.510 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.510 * [taylor]: Taking taylor expansion of x in x
11.510 * [taylor]: Taking taylor expansion of (* z y) in x
11.510 * [taylor]: Taking taylor expansion of z in x
11.510 * [taylor]: Taking taylor expansion of y in x
11.511 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
11.511 * [taylor]: Taking taylor expansion of 18.0 in x
11.511 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.511 * [taylor]: Taking taylor expansion of x in x
11.511 * [taylor]: Taking taylor expansion of (* z y) in x
11.511 * [taylor]: Taking taylor expansion of z in x
11.511 * [taylor]: Taking taylor expansion of y in x
11.511 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
11.511 * [taylor]: Taking taylor expansion of 18.0 in y
11.511 * [taylor]: Taking taylor expansion of (* z y) in y
11.511 * [taylor]: Taking taylor expansion of z in y
11.511 * [taylor]: Taking taylor expansion of y in y
11.512 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
11.512 * [taylor]: Taking taylor expansion of 18.0 in z
11.512 * [taylor]: Taking taylor expansion of z in z
11.513 * [taylor]: Taking taylor expansion of 0 in y
11.513 * [taylor]: Taking taylor expansion of 0 in z
11.515 * [taylor]: Taking taylor expansion of 0 in y
11.515 * [taylor]: Taking taylor expansion of 0 in z
11.516 * [taylor]: Taking taylor expansion of 0 in z
11.518 * [taylor]: Taking taylor expansion of 0 in y
11.518 * [taylor]: Taking taylor expansion of 0 in z
11.518 * [taylor]: Taking taylor expansion of 0 in z
11.519 * [taylor]: Taking taylor expansion of 0 in z
11.519 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
11.519 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
11.519 * [taylor]: Taking taylor expansion of -18.0 in z
11.519 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
11.519 * [taylor]: Taking taylor expansion of x in z
11.519 * [taylor]: Taking taylor expansion of (* z y) in z
11.519 * [taylor]: Taking taylor expansion of z in z
11.519 * [taylor]: Taking taylor expansion of y in z
11.520 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
11.520 * [taylor]: Taking taylor expansion of -18.0 in y
11.520 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
11.520 * [taylor]: Taking taylor expansion of x in y
11.520 * [taylor]: Taking taylor expansion of (* z y) in y
11.520 * [taylor]: Taking taylor expansion of z in y
11.520 * [taylor]: Taking taylor expansion of y in y
11.521 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
11.521 * [taylor]: Taking taylor expansion of -18.0 in x
11.521 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.521 * [taylor]: Taking taylor expansion of x in x
11.521 * [taylor]: Taking taylor expansion of (* z y) in x
11.521 * [taylor]: Taking taylor expansion of z in x
11.521 * [taylor]: Taking taylor expansion of y in x
11.521 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
11.521 * [taylor]: Taking taylor expansion of -18.0 in x
11.521 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.521 * [taylor]: Taking taylor expansion of x in x
11.521 * [taylor]: Taking taylor expansion of (* z y) in x
11.521 * [taylor]: Taking taylor expansion of z in x
11.521 * [taylor]: Taking taylor expansion of y in x
11.522 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
11.522 * [taylor]: Taking taylor expansion of -18.0 in y
11.522 * [taylor]: Taking taylor expansion of (* z y) in y
11.522 * [taylor]: Taking taylor expansion of z in y
11.522 * [taylor]: Taking taylor expansion of y in y
11.522 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
11.522 * [taylor]: Taking taylor expansion of -18.0 in z
11.522 * [taylor]: Taking taylor expansion of z in z
11.523 * [taylor]: Taking taylor expansion of 0 in y
11.524 * [taylor]: Taking taylor expansion of 0 in z
11.526 * [taylor]: Taking taylor expansion of 0 in y
11.526 * [taylor]: Taking taylor expansion of 0 in z
11.526 * [taylor]: Taking taylor expansion of 0 in z
11.529 * [taylor]: Taking taylor expansion of 0 in y
11.529 * [taylor]: Taking taylor expansion of 0 in z
11.529 * [taylor]: Taking taylor expansion of 0 in z
11.530 * [taylor]: Taking taylor expansion of 0 in z
11.530 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
11.530 * [approximate]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in (t x y z a) around 0
11.530 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in a
11.530 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in a
11.530 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in a
11.530 * [taylor]: Taking taylor expansion of 18.0 in a
11.530 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
11.530 * [taylor]: Taking taylor expansion of x in a
11.530 * [taylor]: Taking taylor expansion of (* z y) in a
11.530 * [taylor]: Taking taylor expansion of z in a
11.530 * [taylor]: Taking taylor expansion of y in a
11.530 * [taylor]: Taking taylor expansion of (* 4.0 a) in a
11.530 * [taylor]: Taking taylor expansion of 4.0 in a
11.530 * [taylor]: Taking taylor expansion of a in a
11.530 * [taylor]: Taking taylor expansion of t in a
11.530 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in z
11.530 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in z
11.530 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
11.530 * [taylor]: Taking taylor expansion of 18.0 in z
11.530 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
11.530 * [taylor]: Taking taylor expansion of x in z
11.530 * [taylor]: Taking taylor expansion of (* z y) in z
11.530 * [taylor]: Taking taylor expansion of z in z
11.530 * [taylor]: Taking taylor expansion of y in z
11.530 * [taylor]: Taking taylor expansion of (* 4.0 a) in z
11.530 * [taylor]: Taking taylor expansion of 4.0 in z
11.530 * [taylor]: Taking taylor expansion of a in z
11.530 * [taylor]: Taking taylor expansion of t in z
11.531 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in y
11.531 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in y
11.531 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
11.531 * [taylor]: Taking taylor expansion of 18.0 in y
11.531 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
11.531 * [taylor]: Taking taylor expansion of x in y
11.531 * [taylor]: Taking taylor expansion of (* z y) in y
11.531 * [taylor]: Taking taylor expansion of z in y
11.531 * [taylor]: Taking taylor expansion of y in y
11.531 * [taylor]: Taking taylor expansion of (* 4.0 a) in y
11.531 * [taylor]: Taking taylor expansion of 4.0 in y
11.531 * [taylor]: Taking taylor expansion of a in y
11.531 * [taylor]: Taking taylor expansion of t in y
11.531 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in x
11.531 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in x
11.531 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
11.531 * [taylor]: Taking taylor expansion of 18.0 in x
11.531 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.531 * [taylor]: Taking taylor expansion of x in x
11.531 * [taylor]: Taking taylor expansion of (* z y) in x
11.531 * [taylor]: Taking taylor expansion of z in x
11.531 * [taylor]: Taking taylor expansion of y in x
11.531 * [taylor]: Taking taylor expansion of (* 4.0 a) in x
11.531 * [taylor]: Taking taylor expansion of 4.0 in x
11.531 * [taylor]: Taking taylor expansion of a in x
11.531 * [taylor]: Taking taylor expansion of t in x
11.531 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in t
11.531 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in t
11.531 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in t
11.531 * [taylor]: Taking taylor expansion of 18.0 in t
11.531 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
11.531 * [taylor]: Taking taylor expansion of x in t
11.531 * [taylor]: Taking taylor expansion of (* z y) in t
11.531 * [taylor]: Taking taylor expansion of z in t
11.531 * [taylor]: Taking taylor expansion of y in t
11.531 * [taylor]: Taking taylor expansion of (* 4.0 a) in t
11.531 * [taylor]: Taking taylor expansion of 4.0 in t
11.531 * [taylor]: Taking taylor expansion of a in t
11.531 * [taylor]: Taking taylor expansion of t in t
11.531 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in t
11.531 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in t
11.531 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in t
11.531 * [taylor]: Taking taylor expansion of 18.0 in t
11.531 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
11.531 * [taylor]: Taking taylor expansion of x in t
11.531 * [taylor]: Taking taylor expansion of (* z y) in t
11.531 * [taylor]: Taking taylor expansion of z in t
11.531 * [taylor]: Taking taylor expansion of y in t
11.531 * [taylor]: Taking taylor expansion of (* 4.0 a) in t
11.531 * [taylor]: Taking taylor expansion of 4.0 in t
11.531 * [taylor]: Taking taylor expansion of a in t
11.531 * [taylor]: Taking taylor expansion of t in t
11.532 * [taylor]: Taking taylor expansion of 0 in x
11.532 * [taylor]: Taking taylor expansion of 0 in y
11.532 * [taylor]: Taking taylor expansion of 0 in z
11.532 * [taylor]: Taking taylor expansion of 0 in a
11.533 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in x
11.533 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
11.533 * [taylor]: Taking taylor expansion of 18.0 in x
11.533 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.533 * [taylor]: Taking taylor expansion of x in x
11.533 * [taylor]: Taking taylor expansion of (* z y) in x
11.533 * [taylor]: Taking taylor expansion of z in x
11.534 * [taylor]: Taking taylor expansion of y in x
11.534 * [taylor]: Taking taylor expansion of (* 4.0 a) in x
11.534 * [taylor]: Taking taylor expansion of 4.0 in x
11.534 * [taylor]: Taking taylor expansion of a in x
11.534 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in y
11.534 * [taylor]: Taking taylor expansion of (* 4.0 a) in y
11.534 * [taylor]: Taking taylor expansion of 4.0 in y
11.534 * [taylor]: Taking taylor expansion of a in y
11.534 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in z
11.534 * [taylor]: Taking taylor expansion of (* 4.0 a) in z
11.534 * [taylor]: Taking taylor expansion of 4.0 in z
11.534 * [taylor]: Taking taylor expansion of a in z
11.534 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in a
11.534 * [taylor]: Taking taylor expansion of (* 4.0 a) in a
11.534 * [taylor]: Taking taylor expansion of 4.0 in a
11.534 * [taylor]: Taking taylor expansion of a in a
11.535 * [taylor]: Taking taylor expansion of 0 in y
11.535 * [taylor]: Taking taylor expansion of 0 in z
11.535 * [taylor]: Taking taylor expansion of 0 in a
11.535 * [taylor]: Taking taylor expansion of 0 in z
11.535 * [taylor]: Taking taylor expansion of 0 in a
11.535 * [taylor]: Taking taylor expansion of 0 in a
11.535 * [approximate]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in (t x y z a) around 0
11.535 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in a
11.535 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in a
11.535 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in a
11.535 * [taylor]: Taking taylor expansion of 18.0 in a
11.535 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a
11.535 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
11.535 * [taylor]: Taking taylor expansion of x in a
11.535 * [taylor]: Taking taylor expansion of (* z y) in a
11.535 * [taylor]: Taking taylor expansion of z in a
11.535 * [taylor]: Taking taylor expansion of y in a
11.535 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
11.536 * [taylor]: Taking taylor expansion of 4.0 in a
11.536 * [taylor]: Taking taylor expansion of (/ 1 a) in a
11.536 * [taylor]: Taking taylor expansion of a in a
11.536 * [taylor]: Taking taylor expansion of t in a
11.537 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in z
11.537 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in z
11.537 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in z
11.537 * [taylor]: Taking taylor expansion of 18.0 in z
11.537 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
11.538 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
11.538 * [taylor]: Taking taylor expansion of x in z
11.538 * [taylor]: Taking taylor expansion of (* z y) in z
11.538 * [taylor]: Taking taylor expansion of z in z
11.538 * [taylor]: Taking taylor expansion of y in z
11.538 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
11.538 * [taylor]: Taking taylor expansion of 4.0 in z
11.538 * [taylor]: Taking taylor expansion of (/ 1 a) in z
11.538 * [taylor]: Taking taylor expansion of a in z
11.538 * [taylor]: Taking taylor expansion of t in z
11.538 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in y
11.538 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in y
11.538 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in y
11.538 * [taylor]: Taking taylor expansion of 18.0 in y
11.539 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
11.539 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
11.539 * [taylor]: Taking taylor expansion of x in y
11.539 * [taylor]: Taking taylor expansion of (* z y) in y
11.539 * [taylor]: Taking taylor expansion of z in y
11.539 * [taylor]: Taking taylor expansion of y in y
11.539 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
11.539 * [taylor]: Taking taylor expansion of 4.0 in y
11.539 * [taylor]: Taking taylor expansion of (/ 1 a) in y
11.539 * [taylor]: Taking taylor expansion of a in y
11.539 * [taylor]: Taking taylor expansion of t in y
11.539 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in x
11.540 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in x
11.540 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
11.540 * [taylor]: Taking taylor expansion of 18.0 in x
11.540 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
11.540 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.540 * [taylor]: Taking taylor expansion of x in x
11.540 * [taylor]: Taking taylor expansion of (* z y) in x
11.540 * [taylor]: Taking taylor expansion of z in x
11.540 * [taylor]: Taking taylor expansion of y in x
11.540 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
11.540 * [taylor]: Taking taylor expansion of 4.0 in x
11.540 * [taylor]: Taking taylor expansion of (/ 1 a) in x
11.540 * [taylor]: Taking taylor expansion of a in x
11.540 * [taylor]: Taking taylor expansion of t in x
11.540 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in t
11.541 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in t
11.541 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
11.541 * [taylor]: Taking taylor expansion of 18.0 in t
11.541 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
11.541 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
11.541 * [taylor]: Taking taylor expansion of x in t
11.541 * [taylor]: Taking taylor expansion of (* z y) in t
11.541 * [taylor]: Taking taylor expansion of z in t
11.541 * [taylor]: Taking taylor expansion of y in t
11.541 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
11.541 * [taylor]: Taking taylor expansion of 4.0 in t
11.541 * [taylor]: Taking taylor expansion of (/ 1 a) in t
11.541 * [taylor]: Taking taylor expansion of a in t
11.541 * [taylor]: Taking taylor expansion of t in t
11.541 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in t
11.541 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in t
11.541 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
11.541 * [taylor]: Taking taylor expansion of 18.0 in t
11.541 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
11.541 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
11.541 * [taylor]: Taking taylor expansion of x in t
11.541 * [taylor]: Taking taylor expansion of (* z y) in t
11.541 * [taylor]: Taking taylor expansion of z in t
11.541 * [taylor]: Taking taylor expansion of y in t
11.541 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
11.541 * [taylor]: Taking taylor expansion of 4.0 in t
11.541 * [taylor]: Taking taylor expansion of (/ 1 a) in t
11.541 * [taylor]: Taking taylor expansion of a in t
11.542 * [taylor]: Taking taylor expansion of t in t
11.542 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in x
11.542 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
11.542 * [taylor]: Taking taylor expansion of 18.0 in x
11.542 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
11.542 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.542 * [taylor]: Taking taylor expansion of x in x
11.542 * [taylor]: Taking taylor expansion of (* z y) in x
11.542 * [taylor]: Taking taylor expansion of z in x
11.542 * [taylor]: Taking taylor expansion of y in x
11.543 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
11.543 * [taylor]: Taking taylor expansion of 4.0 in x
11.543 * [taylor]: Taking taylor expansion of (/ 1 a) in x
11.543 * [taylor]: Taking taylor expansion of a in x
11.543 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* z y))) in y
11.543 * [taylor]: Taking taylor expansion of 18.0 in y
11.543 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
11.543 * [taylor]: Taking taylor expansion of (* z y) in y
11.543 * [taylor]: Taking taylor expansion of z in y
11.543 * [taylor]: Taking taylor expansion of y in y
11.543 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
11.543 * [taylor]: Taking taylor expansion of 18.0 in z
11.543 * [taylor]: Taking taylor expansion of z in z
11.544 * [taylor]: Taking taylor expansion of 18.0 in a
11.546 * [taylor]: Taking taylor expansion of 0 in x
11.548 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in y
11.548 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
11.548 * [taylor]: Taking taylor expansion of 4.0 in y
11.548 * [taylor]: Taking taylor expansion of (/ 1 a) in y
11.548 * [taylor]: Taking taylor expansion of a in y
11.549 * [taylor]: Taking taylor expansion of 0 in z
11.549 * [taylor]: Taking taylor expansion of 0 in a
11.552 * [taylor]: Taking taylor expansion of 0 in x
11.552 * [taylor]: Taking taylor expansion of 0 in y
11.555 * [taylor]: Taking taylor expansion of 0 in y
11.555 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in z
11.555 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
11.555 * [taylor]: Taking taylor expansion of 4.0 in z
11.555 * [taylor]: Taking taylor expansion of (/ 1 a) in z
11.555 * [taylor]: Taking taylor expansion of a in z
11.556 * [taylor]: Taking taylor expansion of 0 in z
11.557 * [taylor]: Taking taylor expansion of 0 in a
11.557 * [taylor]: Taking taylor expansion of 0 in a
11.562 * [taylor]: Taking taylor expansion of 0 in x
11.562 * [taylor]: Taking taylor expansion of 0 in y
11.562 * [taylor]: Taking taylor expansion of 0 in y
11.565 * [taylor]: Taking taylor expansion of 0 in y
11.566 * [taylor]: Taking taylor expansion of 0 in z
11.566 * [taylor]: Taking taylor expansion of 0 in z
11.566 * [taylor]: Taking taylor expansion of 0 in z
11.568 * [taylor]: Taking taylor expansion of 0 in z
11.568 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in a
11.568 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
11.568 * [taylor]: Taking taylor expansion of 4.0 in a
11.568 * [taylor]: Taking taylor expansion of (/ 1 a) in a
11.568 * [taylor]: Taking taylor expansion of a in a
11.569 * [taylor]: Taking taylor expansion of 0 in a
11.569 * [taylor]: Taking taylor expansion of 0 in a
11.569 * [taylor]: Taking taylor expansion of 0 in a
11.575 * [taylor]: Taking taylor expansion of 0 in x
11.575 * [taylor]: Taking taylor expansion of 0 in y
11.575 * [taylor]: Taking taylor expansion of 0 in y
11.575 * [taylor]: Taking taylor expansion of 0 in y
11.580 * [taylor]: Taking taylor expansion of 0 in y
11.580 * [taylor]: Taking taylor expansion of 0 in z
11.580 * [taylor]: Taking taylor expansion of 0 in z
11.580 * [taylor]: Taking taylor expansion of 0 in z
11.580 * [taylor]: Taking taylor expansion of 0 in z
11.580 * [taylor]: Taking taylor expansion of 0 in z
11.581 * [taylor]: Taking taylor expansion of 0 in z
11.583 * [taylor]: Taking taylor expansion of 0 in z
11.583 * [taylor]: Taking taylor expansion of 0 in a
11.583 * [taylor]: Taking taylor expansion of 0 in a
11.583 * [taylor]: Taking taylor expansion of 0 in a
11.583 * [taylor]: Taking taylor expansion of 0 in a
11.584 * [taylor]: Taking taylor expansion of 0 in a
11.584 * [taylor]: Taking taylor expansion of 0 in a
11.584 * [taylor]: Taking taylor expansion of 0 in a
11.584 * [taylor]: Taking taylor expansion of 0 in a
11.589 * [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
11.589 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in a
11.589 * [taylor]: Taking taylor expansion of -1 in a
11.589 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in a
11.589 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in a
11.589 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
11.589 * [taylor]: Taking taylor expansion of 4.0 in a
11.589 * [taylor]: Taking taylor expansion of (/ 1 a) in a
11.589 * [taylor]: Taking taylor expansion of a in a
11.590 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in a
11.590 * [taylor]: Taking taylor expansion of 18.0 in a
11.590 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a
11.590 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
11.590 * [taylor]: Taking taylor expansion of x in a
11.590 * [taylor]: Taking taylor expansion of (* z y) in a
11.590 * [taylor]: Taking taylor expansion of z in a
11.590 * [taylor]: Taking taylor expansion of y in a
11.590 * [taylor]: Taking taylor expansion of t in a
11.590 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in z
11.590 * [taylor]: Taking taylor expansion of -1 in z
11.590 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in z
11.590 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in z
11.590 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
11.591 * [taylor]: Taking taylor expansion of 4.0 in z
11.591 * [taylor]: Taking taylor expansion of (/ 1 a) in z
11.591 * [taylor]: Taking taylor expansion of a in z
11.591 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in z
11.591 * [taylor]: Taking taylor expansion of 18.0 in z
11.591 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
11.591 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
11.591 * [taylor]: Taking taylor expansion of x in z
11.591 * [taylor]: Taking taylor expansion of (* z y) in z
11.591 * [taylor]: Taking taylor expansion of z in z
11.591 * [taylor]: Taking taylor expansion of y in z
11.591 * [taylor]: Taking taylor expansion of t in z
11.592 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in y
11.592 * [taylor]: Taking taylor expansion of -1 in y
11.592 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in y
11.592 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in y
11.592 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
11.592 * [taylor]: Taking taylor expansion of 4.0 in y
11.592 * [taylor]: Taking taylor expansion of (/ 1 a) in y
11.592 * [taylor]: Taking taylor expansion of a in y
11.592 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in y
11.592 * [taylor]: Taking taylor expansion of 18.0 in y
11.592 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
11.592 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
11.592 * [taylor]: Taking taylor expansion of x in y
11.592 * [taylor]: Taking taylor expansion of (* z y) in y
11.592 * [taylor]: Taking taylor expansion of z in y
11.592 * [taylor]: Taking taylor expansion of y in y
11.592 * [taylor]: Taking taylor expansion of t in y
11.593 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in x
11.593 * [taylor]: Taking taylor expansion of -1 in x
11.593 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in x
11.593 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in x
11.593 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
11.593 * [taylor]: Taking taylor expansion of 4.0 in x
11.593 * [taylor]: Taking taylor expansion of (/ 1 a) in x
11.593 * [taylor]: Taking taylor expansion of a in x
11.593 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
11.593 * [taylor]: Taking taylor expansion of 18.0 in x
11.593 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
11.593 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.593 * [taylor]: Taking taylor expansion of x in x
11.593 * [taylor]: Taking taylor expansion of (* z y) in x
11.593 * [taylor]: Taking taylor expansion of z in x
11.593 * [taylor]: Taking taylor expansion of y in x
11.593 * [taylor]: Taking taylor expansion of t in x
11.594 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in t
11.594 * [taylor]: Taking taylor expansion of -1 in t
11.594 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in t
11.594 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in t
11.594 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
11.594 * [taylor]: Taking taylor expansion of 4.0 in t
11.594 * [taylor]: Taking taylor expansion of (/ 1 a) in t
11.594 * [taylor]: Taking taylor expansion of a in t
11.594 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
11.594 * [taylor]: Taking taylor expansion of 18.0 in t
11.594 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
11.594 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
11.594 * [taylor]: Taking taylor expansion of x in t
11.594 * [taylor]: Taking taylor expansion of (* z y) in t
11.594 * [taylor]: Taking taylor expansion of z in t
11.594 * [taylor]: Taking taylor expansion of y in t
11.594 * [taylor]: Taking taylor expansion of t in t
11.594 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in t
11.595 * [taylor]: Taking taylor expansion of -1 in t
11.595 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in t
11.595 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in t
11.595 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
11.595 * [taylor]: Taking taylor expansion of 4.0 in t
11.595 * [taylor]: Taking taylor expansion of (/ 1 a) in t
11.595 * [taylor]: Taking taylor expansion of a in t
11.595 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
11.595 * [taylor]: Taking taylor expansion of 18.0 in t
11.595 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
11.595 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
11.595 * [taylor]: Taking taylor expansion of x in t
11.595 * [taylor]: Taking taylor expansion of (* z y) in t
11.595 * [taylor]: Taking taylor expansion of z in t
11.595 * [taylor]: Taking taylor expansion of y in t
11.595 * [taylor]: Taking taylor expansion of t in t
11.596 * [taylor]: Taking taylor expansion of (* -1 (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y)))))) in x
11.596 * [taylor]: Taking taylor expansion of -1 in x
11.596 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in x
11.596 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
11.596 * [taylor]: Taking taylor expansion of 4.0 in x
11.596 * [taylor]: Taking taylor expansion of (/ 1 a) in x
11.596 * [taylor]: Taking taylor expansion of a in x
11.596 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
11.596 * [taylor]: Taking taylor expansion of 18.0 in x
11.596 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
11.596 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.596 * [taylor]: Taking taylor expansion of x in x
11.596 * [taylor]: Taking taylor expansion of (* z y) in x
11.596 * [taylor]: Taking taylor expansion of z in x
11.596 * [taylor]: Taking taylor expansion of y in x
11.597 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
11.597 * [taylor]: Taking taylor expansion of 18.0 in y
11.597 * [taylor]: Taking taylor expansion of (* z y) in y
11.597 * [taylor]: Taking taylor expansion of z in y
11.597 * [taylor]: Taking taylor expansion of y in y
11.597 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
11.597 * [taylor]: Taking taylor expansion of 18.0 in z
11.597 * [taylor]: Taking taylor expansion of z in z
11.597 * [taylor]: Taking taylor expansion of 18.0 in a
11.600 * [taylor]: Taking taylor expansion of 0 in x
11.602 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in y
11.602 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
11.602 * [taylor]: Taking taylor expansion of 4.0 in y
11.602 * [taylor]: Taking taylor expansion of (/ 1 a) in y
11.602 * [taylor]: Taking taylor expansion of a in y
11.602 * [taylor]: Taking taylor expansion of 0 in z
11.603 * [taylor]: Taking taylor expansion of 0 in a
11.607 * [taylor]: Taking taylor expansion of 0 in x
11.607 * [taylor]: Taking taylor expansion of 0 in y
11.610 * [taylor]: Taking taylor expansion of 0 in y
11.610 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in z
11.610 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
11.610 * [taylor]: Taking taylor expansion of 4.0 in z
11.610 * [taylor]: Taking taylor expansion of (/ 1 a) in z
11.610 * [taylor]: Taking taylor expansion of a in z
11.611 * [taylor]: Taking taylor expansion of 0 in z
11.611 * [taylor]: Taking taylor expansion of 0 in a
11.612 * [taylor]: Taking taylor expansion of 0 in a
11.617 * [taylor]: Taking taylor expansion of 0 in x
11.618 * [taylor]: Taking taylor expansion of 0 in y
11.618 * [taylor]: Taking taylor expansion of 0 in y
11.622 * [taylor]: Taking taylor expansion of 0 in y
11.622 * [taylor]: Taking taylor expansion of 0 in z
11.622 * [taylor]: Taking taylor expansion of 0 in z
11.623 * [taylor]: Taking taylor expansion of 0 in z
11.624 * [taylor]: Taking taylor expansion of 0 in z
11.624 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in a
11.624 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
11.624 * [taylor]: Taking taylor expansion of 4.0 in a
11.624 * [taylor]: Taking taylor expansion of (/ 1 a) in a
11.624 * [taylor]: Taking taylor expansion of a in a
11.625 * [taylor]: Taking taylor expansion of 0 in a
11.625 * [taylor]: Taking taylor expansion of 0 in a
11.626 * [taylor]: Taking taylor expansion of 0 in a
11.633 * [taylor]: Taking taylor expansion of 0 in x
11.633 * [taylor]: Taking taylor expansion of 0 in y
11.633 * [taylor]: Taking taylor expansion of 0 in y
11.633 * [taylor]: Taking taylor expansion of 0 in y
11.638 * [taylor]: Taking taylor expansion of 0 in y
11.638 * [taylor]: Taking taylor expansion of 0 in z
11.638 * [taylor]: Taking taylor expansion of 0 in z
11.638 * [taylor]: Taking taylor expansion of 0 in z
11.639 * [taylor]: Taking taylor expansion of 0 in z
11.639 * [taylor]: Taking taylor expansion of 0 in z
11.639 * [taylor]: Taking taylor expansion of 0 in z
11.640 * [taylor]: Taking taylor expansion of 0 in z
11.640 * [taylor]: Taking taylor expansion of 0 in a
11.640 * [taylor]: Taking taylor expansion of 0 in a
11.640 * [taylor]: Taking taylor expansion of 0 in a
11.640 * [taylor]: Taking taylor expansion of 0 in a
11.641 * [taylor]: Taking taylor expansion of 0 in a
11.641 * [taylor]: Taking taylor expansion of 0 in a
11.641 * [taylor]: Taking taylor expansion of 0 in a
11.642 * [taylor]: Taking taylor expansion of 0 in a
11.644 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
11.644 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
11.644 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
11.644 * [taylor]: Taking taylor expansion of 27.0 in k
11.644 * [taylor]: Taking taylor expansion of (* k j) in k
11.644 * [taylor]: Taking taylor expansion of k in k
11.644 * [taylor]: Taking taylor expansion of j in k
11.644 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
11.644 * [taylor]: Taking taylor expansion of 27.0 in j
11.644 * [taylor]: Taking taylor expansion of (* k j) in j
11.644 * [taylor]: Taking taylor expansion of k in j
11.644 * [taylor]: Taking taylor expansion of j in j
11.644 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
11.644 * [taylor]: Taking taylor expansion of 27.0 in j
11.644 * [taylor]: Taking taylor expansion of (* k j) in j
11.644 * [taylor]: Taking taylor expansion of k in j
11.644 * [taylor]: Taking taylor expansion of j in j
11.645 * [taylor]: Taking taylor expansion of 0 in k
11.645 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
11.645 * [taylor]: Taking taylor expansion of 27.0 in k
11.645 * [taylor]: Taking taylor expansion of k in k
11.647 * [taylor]: Taking taylor expansion of 0 in k
11.649 * [taylor]: Taking taylor expansion of 0 in k
11.651 * [taylor]: Taking taylor expansion of 0 in k
11.651 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
11.651 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
11.651 * [taylor]: Taking taylor expansion of 27.0 in k
11.651 * [taylor]: Taking taylor expansion of (* k j) in k
11.651 * [taylor]: Taking taylor expansion of k in k
11.651 * [taylor]: Taking taylor expansion of j in k
11.652 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
11.652 * [taylor]: Taking taylor expansion of 27.0 in j
11.652 * [taylor]: Taking taylor expansion of (* k j) in j
11.652 * [taylor]: Taking taylor expansion of k in j
11.652 * [taylor]: Taking taylor expansion of j in j
11.652 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
11.652 * [taylor]: Taking taylor expansion of 27.0 in j
11.652 * [taylor]: Taking taylor expansion of (* k j) in j
11.652 * [taylor]: Taking taylor expansion of k in j
11.652 * [taylor]: Taking taylor expansion of j in j
11.653 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
11.653 * [taylor]: Taking taylor expansion of 27.0 in k
11.653 * [taylor]: Taking taylor expansion of k in k
11.653 * [taylor]: Taking taylor expansion of 0 in k
11.655 * [taylor]: Taking taylor expansion of 0 in k
11.656 * [taylor]: Taking taylor expansion of 0 in k
11.656 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
11.657 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
11.657 * [taylor]: Taking taylor expansion of 27.0 in k
11.657 * [taylor]: Taking taylor expansion of (* k j) in k
11.657 * [taylor]: Taking taylor expansion of k in k
11.657 * [taylor]: Taking taylor expansion of j in k
11.657 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
11.657 * [taylor]: Taking taylor expansion of 27.0 in j
11.657 * [taylor]: Taking taylor expansion of (* k j) in j
11.657 * [taylor]: Taking taylor expansion of k in j
11.657 * [taylor]: Taking taylor expansion of j in j
11.657 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
11.657 * [taylor]: Taking taylor expansion of 27.0 in j
11.657 * [taylor]: Taking taylor expansion of (* k j) in j
11.657 * [taylor]: Taking taylor expansion of k in j
11.657 * [taylor]: Taking taylor expansion of j in j
11.658 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
11.658 * [taylor]: Taking taylor expansion of 27.0 in k
11.658 * [taylor]: Taking taylor expansion of k in k
11.659 * [taylor]: Taking taylor expansion of 0 in k
11.660 * [taylor]: Taking taylor expansion of 0 in k
11.661 * [taylor]: Taking taylor expansion of 0 in k
11.662 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1)
11.662 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
11.662 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
11.662 * [taylor]: Taking taylor expansion of 18.0 in y
11.662 * [taylor]: Taking taylor expansion of (* x y) in y
11.662 * [taylor]: Taking taylor expansion of x in y
11.662 * [taylor]: Taking taylor expansion of y in y
11.662 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
11.662 * [taylor]: Taking taylor expansion of 18.0 in x
11.662 * [taylor]: Taking taylor expansion of (* x y) in x
11.662 * [taylor]: Taking taylor expansion of x in x
11.662 * [taylor]: Taking taylor expansion of y in x
11.662 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
11.662 * [taylor]: Taking taylor expansion of 18.0 in x
11.662 * [taylor]: Taking taylor expansion of (* x y) in x
11.662 * [taylor]: Taking taylor expansion of x in x
11.662 * [taylor]: Taking taylor expansion of y in x
11.663 * [taylor]: Taking taylor expansion of 0 in y
11.663 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
11.663 * [taylor]: Taking taylor expansion of 18.0 in y
11.663 * [taylor]: Taking taylor expansion of y in y
11.664 * [taylor]: Taking taylor expansion of 0 in y
11.667 * [taylor]: Taking taylor expansion of 0 in y
11.669 * [taylor]: Taking taylor expansion of 0 in y
11.669 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
11.669 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
11.669 * [taylor]: Taking taylor expansion of 18.0 in y
11.669 * [taylor]: Taking taylor expansion of (* x y) in y
11.669 * [taylor]: Taking taylor expansion of x in y
11.669 * [taylor]: Taking taylor expansion of y in y
11.670 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
11.670 * [taylor]: Taking taylor expansion of 18.0 in x
11.670 * [taylor]: Taking taylor expansion of (* x y) in x
11.670 * [taylor]: Taking taylor expansion of x in x
11.670 * [taylor]: Taking taylor expansion of y in x
11.670 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
11.670 * [taylor]: Taking taylor expansion of 18.0 in x
11.670 * [taylor]: Taking taylor expansion of (* x y) in x
11.670 * [taylor]: Taking taylor expansion of x in x
11.670 * [taylor]: Taking taylor expansion of y in x
11.671 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
11.671 * [taylor]: Taking taylor expansion of 18.0 in y
11.671 * [taylor]: Taking taylor expansion of y in y
11.672 * [taylor]: Taking taylor expansion of 0 in y
11.673 * [taylor]: Taking taylor expansion of 0 in y
11.677 * [taylor]: Taking taylor expansion of 0 in y
11.678 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
11.678 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
11.678 * [taylor]: Taking taylor expansion of 18.0 in y
11.678 * [taylor]: Taking taylor expansion of (* x y) in y
11.678 * [taylor]: Taking taylor expansion of x in y
11.678 * [taylor]: Taking taylor expansion of y in y
11.678 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
11.678 * [taylor]: Taking taylor expansion of 18.0 in x
11.678 * [taylor]: Taking taylor expansion of (* x y) in x
11.678 * [taylor]: Taking taylor expansion of x in x
11.678 * [taylor]: Taking taylor expansion of y in x
11.679 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
11.679 * [taylor]: Taking taylor expansion of 18.0 in x
11.679 * [taylor]: Taking taylor expansion of (* x y) in x
11.679 * [taylor]: Taking taylor expansion of x in x
11.679 * [taylor]: Taking taylor expansion of y in x
11.679 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
11.679 * [taylor]: Taking taylor expansion of 18.0 in y
11.679 * [taylor]: Taking taylor expansion of y in y
11.680 * [taylor]: Taking taylor expansion of 0 in y
11.681 * [taylor]: Taking taylor expansion of 0 in y
11.683 * [taylor]: Taking taylor expansion of 0 in y
11.684 * * * [progress]: simplifying candidates
11.685 * [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))
11.688 * * [simplify]: iteration  0 :  156  enodes  (cost  1012 )
11.714 * * [simplify]: iteration  1 :  407  enodes  (cost  979 )
11.810 * * [simplify]: iteration  2 :  1873  enodes  (cost  821 )
12.438 * * [simplify]: iteration  done :  5000  enodes  (cost  821 )
12.439 * [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 (* 27.0 (* k j)))
  (log (* 27.0 (* k j)))
  (log (* 27.0 (* k j)))
  (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)
  (* 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)
12.440 * * * [progress]: adding candidates to table
12.737 * * [progress]: iteration 3 / 4
12.737 * * * [progress]: picking best candidate
12.778 * * * * [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)))))>
12.778 * * * [progress]: localizing error
12.801 * * * [progress]: generating rewritten candidates
12.801 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1)
12.822 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
12.905 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
12.911 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
12.919 * * * [progress]: generating series expansions
12.919 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1)
12.920 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
12.920 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
12.920 * [taylor]: Taking taylor expansion of 18.0 in z
12.920 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
12.920 * [taylor]: Taking taylor expansion of x in z
12.920 * [taylor]: Taking taylor expansion of (* z y) in z
12.920 * [taylor]: Taking taylor expansion of z in z
12.920 * [taylor]: Taking taylor expansion of y in z
12.920 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
12.920 * [taylor]: Taking taylor expansion of 18.0 in y
12.920 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
12.920 * [taylor]: Taking taylor expansion of x in y
12.920 * [taylor]: Taking taylor expansion of (* z y) in y
12.920 * [taylor]: Taking taylor expansion of z in y
12.920 * [taylor]: Taking taylor expansion of y in y
12.920 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
12.920 * [taylor]: Taking taylor expansion of 18.0 in x
12.920 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
12.920 * [taylor]: Taking taylor expansion of x in x
12.920 * [taylor]: Taking taylor expansion of (* z y) in x
12.920 * [taylor]: Taking taylor expansion of z in x
12.920 * [taylor]: Taking taylor expansion of y in x
12.920 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
12.920 * [taylor]: Taking taylor expansion of 18.0 in x
12.920 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
12.920 * [taylor]: Taking taylor expansion of x in x
12.920 * [taylor]: Taking taylor expansion of (* z y) in x
12.920 * [taylor]: Taking taylor expansion of z in x
12.920 * [taylor]: Taking taylor expansion of y in x
12.921 * [taylor]: Taking taylor expansion of 0 in y
12.921 * [taylor]: Taking taylor expansion of 0 in z
12.922 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
12.922 * [taylor]: Taking taylor expansion of 18.0 in y
12.922 * [taylor]: Taking taylor expansion of (* z y) in y
12.922 * [taylor]: Taking taylor expansion of z in y
12.922 * [taylor]: Taking taylor expansion of y in y
12.922 * [taylor]: Taking taylor expansion of 0 in z
12.922 * [taylor]: Taking taylor expansion of 0 in z
12.924 * [taylor]: Taking taylor expansion of 0 in y
12.924 * [taylor]: Taking taylor expansion of 0 in z
12.924 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
12.924 * [taylor]: Taking taylor expansion of 18.0 in z
12.924 * [taylor]: Taking taylor expansion of z in z
12.925 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
12.925 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
12.925 * [taylor]: Taking taylor expansion of 18.0 in z
12.925 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
12.925 * [taylor]: Taking taylor expansion of x in z
12.925 * [taylor]: Taking taylor expansion of (* z y) in z
12.925 * [taylor]: Taking taylor expansion of z in z
12.925 * [taylor]: Taking taylor expansion of y in z
12.925 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
12.925 * [taylor]: Taking taylor expansion of 18.0 in y
12.925 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
12.925 * [taylor]: Taking taylor expansion of x in y
12.925 * [taylor]: Taking taylor expansion of (* z y) in y
12.925 * [taylor]: Taking taylor expansion of z in y
12.926 * [taylor]: Taking taylor expansion of y in y
12.926 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
12.926 * [taylor]: Taking taylor expansion of 18.0 in x
12.926 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
12.926 * [taylor]: Taking taylor expansion of x in x
12.926 * [taylor]: Taking taylor expansion of (* z y) in x
12.926 * [taylor]: Taking taylor expansion of z in x
12.926 * [taylor]: Taking taylor expansion of y in x
12.927 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
12.927 * [taylor]: Taking taylor expansion of 18.0 in x
12.927 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
12.927 * [taylor]: Taking taylor expansion of x in x
12.927 * [taylor]: Taking taylor expansion of (* z y) in x
12.927 * [taylor]: Taking taylor expansion of z in x
12.927 * [taylor]: Taking taylor expansion of y in x
12.927 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
12.927 * [taylor]: Taking taylor expansion of 18.0 in y
12.928 * [taylor]: Taking taylor expansion of (* z y) in y
12.928 * [taylor]: Taking taylor expansion of z in y
12.928 * [taylor]: Taking taylor expansion of y in y
12.928 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
12.928 * [taylor]: Taking taylor expansion of 18.0 in z
12.928 * [taylor]: Taking taylor expansion of z in z
12.929 * [taylor]: Taking taylor expansion of 0 in y
12.930 * [taylor]: Taking taylor expansion of 0 in z
12.932 * [taylor]: Taking taylor expansion of 0 in y
12.932 * [taylor]: Taking taylor expansion of 0 in z
12.932 * [taylor]: Taking taylor expansion of 0 in z
12.935 * [taylor]: Taking taylor expansion of 0 in y
12.935 * [taylor]: Taking taylor expansion of 0 in z
12.935 * [taylor]: Taking taylor expansion of 0 in z
12.935 * [taylor]: Taking taylor expansion of 0 in z
12.936 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
12.936 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
12.936 * [taylor]: Taking taylor expansion of -18.0 in z
12.936 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
12.936 * [taylor]: Taking taylor expansion of x in z
12.936 * [taylor]: Taking taylor expansion of (* z y) in z
12.936 * [taylor]: Taking taylor expansion of z in z
12.936 * [taylor]: Taking taylor expansion of y in z
12.937 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
12.937 * [taylor]: Taking taylor expansion of -18.0 in y
12.937 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
12.937 * [taylor]: Taking taylor expansion of x in y
12.937 * [taylor]: Taking taylor expansion of (* z y) in y
12.937 * [taylor]: Taking taylor expansion of z in y
12.937 * [taylor]: Taking taylor expansion of y in y
12.937 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
12.937 * [taylor]: Taking taylor expansion of -18.0 in x
12.937 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
12.937 * [taylor]: Taking taylor expansion of x in x
12.937 * [taylor]: Taking taylor expansion of (* z y) in x
12.937 * [taylor]: Taking taylor expansion of z in x
12.937 * [taylor]: Taking taylor expansion of y in x
12.938 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
12.938 * [taylor]: Taking taylor expansion of -18.0 in x
12.938 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
12.938 * [taylor]: Taking taylor expansion of x in x
12.938 * [taylor]: Taking taylor expansion of (* z y) in x
12.938 * [taylor]: Taking taylor expansion of z in x
12.938 * [taylor]: Taking taylor expansion of y in x
12.938 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
12.938 * [taylor]: Taking taylor expansion of -18.0 in y
12.938 * [taylor]: Taking taylor expansion of (* z y) in y
12.938 * [taylor]: Taking taylor expansion of z in y
12.938 * [taylor]: Taking taylor expansion of y in y
12.939 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
12.939 * [taylor]: Taking taylor expansion of -18.0 in z
12.939 * [taylor]: Taking taylor expansion of z in z
12.940 * [taylor]: Taking taylor expansion of 0 in y
12.941 * [taylor]: Taking taylor expansion of 0 in z
12.942 * [taylor]: Taking taylor expansion of 0 in y
12.943 * [taylor]: Taking taylor expansion of 0 in z
12.943 * [taylor]: Taking taylor expansion of 0 in z
12.946 * [taylor]: Taking taylor expansion of 0 in y
12.946 * [taylor]: Taking taylor expansion of 0 in z
12.946 * [taylor]: Taking taylor expansion of 0 in z
12.946 * [taylor]: Taking taylor expansion of 0 in z
12.947 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
12.947 * [approximate]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in (t x y z a) around 0
12.947 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in a
12.947 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in a
12.947 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in a
12.947 * [taylor]: Taking taylor expansion of 18.0 in a
12.947 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
12.947 * [taylor]: Taking taylor expansion of x in a
12.947 * [taylor]: Taking taylor expansion of (* z y) in a
12.947 * [taylor]: Taking taylor expansion of z in a
12.947 * [taylor]: Taking taylor expansion of y in a
12.947 * [taylor]: Taking taylor expansion of (* 4.0 a) in a
12.947 * [taylor]: Taking taylor expansion of 4.0 in a
12.947 * [taylor]: Taking taylor expansion of a in a
12.947 * [taylor]: Taking taylor expansion of t in a
12.947 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in z
12.947 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in z
12.947 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
12.947 * [taylor]: Taking taylor expansion of 18.0 in z
12.947 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
12.947 * [taylor]: Taking taylor expansion of x in z
12.947 * [taylor]: Taking taylor expansion of (* z y) in z
12.947 * [taylor]: Taking taylor expansion of z in z
12.947 * [taylor]: Taking taylor expansion of y in z
12.947 * [taylor]: Taking taylor expansion of (* 4.0 a) in z
12.947 * [taylor]: Taking taylor expansion of 4.0 in z
12.947 * [taylor]: Taking taylor expansion of a in z
12.947 * [taylor]: Taking taylor expansion of t in z
12.947 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in y
12.947 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in y
12.947 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
12.947 * [taylor]: Taking taylor expansion of 18.0 in y
12.947 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
12.947 * [taylor]: Taking taylor expansion of x in y
12.947 * [taylor]: Taking taylor expansion of (* z y) in y
12.947 * [taylor]: Taking taylor expansion of z in y
12.947 * [taylor]: Taking taylor expansion of y in y
12.947 * [taylor]: Taking taylor expansion of (* 4.0 a) in y
12.947 * [taylor]: Taking taylor expansion of 4.0 in y
12.947 * [taylor]: Taking taylor expansion of a in y
12.947 * [taylor]: Taking taylor expansion of t in y
12.947 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in x
12.947 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in x
12.948 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
12.948 * [taylor]: Taking taylor expansion of 18.0 in x
12.948 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
12.948 * [taylor]: Taking taylor expansion of x in x
12.948 * [taylor]: Taking taylor expansion of (* z y) in x
12.948 * [taylor]: Taking taylor expansion of z in x
12.948 * [taylor]: Taking taylor expansion of y in x
12.948 * [taylor]: Taking taylor expansion of (* 4.0 a) in x
12.948 * [taylor]: Taking taylor expansion of 4.0 in x
12.948 * [taylor]: Taking taylor expansion of a in x
12.948 * [taylor]: Taking taylor expansion of t in x
12.948 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in t
12.948 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in t
12.948 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in t
12.948 * [taylor]: Taking taylor expansion of 18.0 in t
12.948 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
12.948 * [taylor]: Taking taylor expansion of x in t
12.948 * [taylor]: Taking taylor expansion of (* z y) in t
12.948 * [taylor]: Taking taylor expansion of z in t
12.948 * [taylor]: Taking taylor expansion of y in t
12.948 * [taylor]: Taking taylor expansion of (* 4.0 a) in t
12.948 * [taylor]: Taking taylor expansion of 4.0 in t
12.948 * [taylor]: Taking taylor expansion of a in t
12.948 * [taylor]: Taking taylor expansion of t in t
12.948 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in t
12.948 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in t
12.948 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in t
12.948 * [taylor]: Taking taylor expansion of 18.0 in t
12.948 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
12.948 * [taylor]: Taking taylor expansion of x in t
12.948 * [taylor]: Taking taylor expansion of (* z y) in t
12.948 * [taylor]: Taking taylor expansion of z in t
12.948 * [taylor]: Taking taylor expansion of y in t
12.948 * [taylor]: Taking taylor expansion of (* 4.0 a) in t
12.948 * [taylor]: Taking taylor expansion of 4.0 in t
12.948 * [taylor]: Taking taylor expansion of a in t
12.948 * [taylor]: Taking taylor expansion of t in t
12.948 * [taylor]: Taking taylor expansion of 0 in x
12.949 * [taylor]: Taking taylor expansion of 0 in y
12.949 * [taylor]: Taking taylor expansion of 0 in z
12.949 * [taylor]: Taking taylor expansion of 0 in a
12.950 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in x
12.950 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
12.950 * [taylor]: Taking taylor expansion of 18.0 in x
12.950 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
12.950 * [taylor]: Taking taylor expansion of x in x
12.950 * [taylor]: Taking taylor expansion of (* z y) in x
12.950 * [taylor]: Taking taylor expansion of z in x
12.950 * [taylor]: Taking taylor expansion of y in x
12.950 * [taylor]: Taking taylor expansion of (* 4.0 a) in x
12.950 * [taylor]: Taking taylor expansion of 4.0 in x
12.950 * [taylor]: Taking taylor expansion of a in x
12.951 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in y
12.951 * [taylor]: Taking taylor expansion of (* 4.0 a) in y
12.951 * [taylor]: Taking taylor expansion of 4.0 in y
12.951 * [taylor]: Taking taylor expansion of a in y
12.951 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in z
12.951 * [taylor]: Taking taylor expansion of (* 4.0 a) in z
12.951 * [taylor]: Taking taylor expansion of 4.0 in z
12.951 * [taylor]: Taking taylor expansion of a in z
12.951 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in a
12.951 * [taylor]: Taking taylor expansion of (* 4.0 a) in a
12.951 * [taylor]: Taking taylor expansion of 4.0 in a
12.951 * [taylor]: Taking taylor expansion of a in a
12.952 * [taylor]: Taking taylor expansion of 0 in y
12.952 * [taylor]: Taking taylor expansion of 0 in z
12.952 * [taylor]: Taking taylor expansion of 0 in a
12.952 * [taylor]: Taking taylor expansion of 0 in z
12.952 * [taylor]: Taking taylor expansion of 0 in a
12.952 * [taylor]: Taking taylor expansion of 0 in a
12.952 * [approximate]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in (t x y z a) around 0
12.952 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in a
12.952 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in a
12.952 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in a
12.952 * [taylor]: Taking taylor expansion of 18.0 in a
12.952 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a
12.952 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
12.952 * [taylor]: Taking taylor expansion of x in a
12.952 * [taylor]: Taking taylor expansion of (* z y) in a
12.952 * [taylor]: Taking taylor expansion of z in a
12.952 * [taylor]: Taking taylor expansion of y in a
12.952 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
12.953 * [taylor]: Taking taylor expansion of 4.0 in a
12.953 * [taylor]: Taking taylor expansion of (/ 1 a) in a
12.953 * [taylor]: Taking taylor expansion of a in a
12.953 * [taylor]: Taking taylor expansion of t in a
12.954 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in z
12.954 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in z
12.954 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in z
12.954 * [taylor]: Taking taylor expansion of 18.0 in z
12.954 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
12.954 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
12.954 * [taylor]: Taking taylor expansion of x in z
12.954 * [taylor]: Taking taylor expansion of (* z y) in z
12.954 * [taylor]: Taking taylor expansion of z in z
12.954 * [taylor]: Taking taylor expansion of y in z
12.955 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
12.955 * [taylor]: Taking taylor expansion of 4.0 in z
12.955 * [taylor]: Taking taylor expansion of (/ 1 a) in z
12.955 * [taylor]: Taking taylor expansion of a in z
12.955 * [taylor]: Taking taylor expansion of t in z
12.955 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in y
12.955 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in y
12.955 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in y
12.955 * [taylor]: Taking taylor expansion of 18.0 in y
12.955 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
12.955 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
12.955 * [taylor]: Taking taylor expansion of x in y
12.955 * [taylor]: Taking taylor expansion of (* z y) in y
12.955 * [taylor]: Taking taylor expansion of z in y
12.955 * [taylor]: Taking taylor expansion of y in y
12.956 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
12.956 * [taylor]: Taking taylor expansion of 4.0 in y
12.956 * [taylor]: Taking taylor expansion of (/ 1 a) in y
12.956 * [taylor]: Taking taylor expansion of a in y
12.956 * [taylor]: Taking taylor expansion of t in y
12.956 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in x
12.956 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in x
12.956 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
12.956 * [taylor]: Taking taylor expansion of 18.0 in x
12.956 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
12.956 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
12.956 * [taylor]: Taking taylor expansion of x in x
12.956 * [taylor]: Taking taylor expansion of (* z y) in x
12.956 * [taylor]: Taking taylor expansion of z in x
12.956 * [taylor]: Taking taylor expansion of y in x
12.957 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
12.957 * [taylor]: Taking taylor expansion of 4.0 in x
12.957 * [taylor]: Taking taylor expansion of (/ 1 a) in x
12.957 * [taylor]: Taking taylor expansion of a in x
12.957 * [taylor]: Taking taylor expansion of t in x
12.957 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in t
12.957 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in t
12.957 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
12.957 * [taylor]: Taking taylor expansion of 18.0 in t
12.957 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
12.957 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
12.957 * [taylor]: Taking taylor expansion of x in t
12.957 * [taylor]: Taking taylor expansion of (* z y) in t
12.957 * [taylor]: Taking taylor expansion of z in t
12.957 * [taylor]: Taking taylor expansion of y in t
12.957 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
12.957 * [taylor]: Taking taylor expansion of 4.0 in t
12.957 * [taylor]: Taking taylor expansion of (/ 1 a) in t
12.957 * [taylor]: Taking taylor expansion of a in t
12.957 * [taylor]: Taking taylor expansion of t in t
12.958 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in t
12.958 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in t
12.958 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
12.958 * [taylor]: Taking taylor expansion of 18.0 in t
12.958 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
12.958 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
12.958 * [taylor]: Taking taylor expansion of x in t
12.958 * [taylor]: Taking taylor expansion of (* z y) in t
12.958 * [taylor]: Taking taylor expansion of z in t
12.958 * [taylor]: Taking taylor expansion of y in t
12.958 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
12.958 * [taylor]: Taking taylor expansion of 4.0 in t
12.958 * [taylor]: Taking taylor expansion of (/ 1 a) in t
12.958 * [taylor]: Taking taylor expansion of a in t
12.958 * [taylor]: Taking taylor expansion of t in t
12.958 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in x
12.958 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
12.958 * [taylor]: Taking taylor expansion of 18.0 in x
12.958 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
12.959 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
12.959 * [taylor]: Taking taylor expansion of x in x
12.959 * [taylor]: Taking taylor expansion of (* z y) in x
12.959 * [taylor]: Taking taylor expansion of z in x
12.959 * [taylor]: Taking taylor expansion of y in x
12.959 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
12.959 * [taylor]: Taking taylor expansion of 4.0 in x
12.959 * [taylor]: Taking taylor expansion of (/ 1 a) in x
12.959 * [taylor]: Taking taylor expansion of a in x
12.959 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* z y))) in y
12.959 * [taylor]: Taking taylor expansion of 18.0 in y
12.959 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
12.959 * [taylor]: Taking taylor expansion of (* z y) in y
12.959 * [taylor]: Taking taylor expansion of z in y
12.959 * [taylor]: Taking taylor expansion of y in y
12.960 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
12.960 * [taylor]: Taking taylor expansion of 18.0 in z
12.960 * [taylor]: Taking taylor expansion of z in z
12.960 * [taylor]: Taking taylor expansion of 18.0 in a
12.962 * [taylor]: Taking taylor expansion of 0 in x
12.966 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in y
12.966 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
12.966 * [taylor]: Taking taylor expansion of 4.0 in y
12.966 * [taylor]: Taking taylor expansion of (/ 1 a) in y
12.966 * [taylor]: Taking taylor expansion of a in y
12.967 * [taylor]: Taking taylor expansion of 0 in z
12.968 * [taylor]: Taking taylor expansion of 0 in a
12.971 * [taylor]: Taking taylor expansion of 0 in x
12.971 * [taylor]: Taking taylor expansion of 0 in y
12.974 * [taylor]: Taking taylor expansion of 0 in y
12.974 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in z
12.974 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
12.974 * [taylor]: Taking taylor expansion of 4.0 in z
12.974 * [taylor]: Taking taylor expansion of (/ 1 a) in z
12.974 * [taylor]: Taking taylor expansion of a in z
12.976 * [taylor]: Taking taylor expansion of 0 in z
12.976 * [taylor]: Taking taylor expansion of 0 in a
12.977 * [taylor]: Taking taylor expansion of 0 in a
12.982 * [taylor]: Taking taylor expansion of 0 in x
12.982 * [taylor]: Taking taylor expansion of 0 in y
12.982 * [taylor]: Taking taylor expansion of 0 in y
12.986 * [taylor]: Taking taylor expansion of 0 in y
12.986 * [taylor]: Taking taylor expansion of 0 in z
12.986 * [taylor]: Taking taylor expansion of 0 in z
12.987 * [taylor]: Taking taylor expansion of 0 in z
12.988 * [taylor]: Taking taylor expansion of 0 in z
12.988 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in a
12.988 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
12.988 * [taylor]: Taking taylor expansion of 4.0 in a
12.989 * [taylor]: Taking taylor expansion of (/ 1 a) in a
12.989 * [taylor]: Taking taylor expansion of a in a
12.990 * [taylor]: Taking taylor expansion of 0 in a
12.990 * [taylor]: Taking taylor expansion of 0 in a
12.990 * [taylor]: Taking taylor expansion of 0 in a
12.997 * [taylor]: Taking taylor expansion of 0 in x
12.997 * [taylor]: Taking taylor expansion of 0 in y
12.997 * [taylor]: Taking taylor expansion of 0 in y
12.997 * [taylor]: Taking taylor expansion of 0 in y
13.002 * [taylor]: Taking taylor expansion of 0 in y
13.002 * [taylor]: Taking taylor expansion of 0 in z
13.002 * [taylor]: Taking taylor expansion of 0 in z
13.002 * [taylor]: Taking taylor expansion of 0 in z
13.002 * [taylor]: Taking taylor expansion of 0 in z
13.002 * [taylor]: Taking taylor expansion of 0 in z
13.003 * [taylor]: Taking taylor expansion of 0 in z
13.005 * [taylor]: Taking taylor expansion of 0 in z
13.005 * [taylor]: Taking taylor expansion of 0 in a
13.005 * [taylor]: Taking taylor expansion of 0 in a
13.005 * [taylor]: Taking taylor expansion of 0 in a
13.005 * [taylor]: Taking taylor expansion of 0 in a
13.006 * [taylor]: Taking taylor expansion of 0 in a
13.006 * [taylor]: Taking taylor expansion of 0 in a
13.006 * [taylor]: Taking taylor expansion of 0 in a
13.007 * [taylor]: Taking taylor expansion of 0 in a
13.009 * [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
13.009 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in a
13.009 * [taylor]: Taking taylor expansion of -1 in a
13.009 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in a
13.009 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in a
13.009 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
13.009 * [taylor]: Taking taylor expansion of 4.0 in a
13.009 * [taylor]: Taking taylor expansion of (/ 1 a) in a
13.009 * [taylor]: Taking taylor expansion of a in a
13.009 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in a
13.009 * [taylor]: Taking taylor expansion of 18.0 in a
13.009 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a
13.009 * [taylor]: Taking taylor expansion of (* x (* z y)) in a
13.009 * [taylor]: Taking taylor expansion of x in a
13.009 * [taylor]: Taking taylor expansion of (* z y) in a
13.009 * [taylor]: Taking taylor expansion of z in a
13.009 * [taylor]: Taking taylor expansion of y in a
13.009 * [taylor]: Taking taylor expansion of t in a
13.010 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in z
13.010 * [taylor]: Taking taylor expansion of -1 in z
13.010 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in z
13.010 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in z
13.010 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
13.010 * [taylor]: Taking taylor expansion of 4.0 in z
13.010 * [taylor]: Taking taylor expansion of (/ 1 a) in z
13.010 * [taylor]: Taking taylor expansion of a in z
13.010 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in z
13.010 * [taylor]: Taking taylor expansion of 18.0 in z
13.010 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
13.010 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
13.010 * [taylor]: Taking taylor expansion of x in z
13.010 * [taylor]: Taking taylor expansion of (* z y) in z
13.010 * [taylor]: Taking taylor expansion of z in z
13.010 * [taylor]: Taking taylor expansion of y in z
13.011 * [taylor]: Taking taylor expansion of t in z
13.011 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in y
13.011 * [taylor]: Taking taylor expansion of -1 in y
13.011 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in y
13.011 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in y
13.011 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
13.011 * [taylor]: Taking taylor expansion of 4.0 in y
13.011 * [taylor]: Taking taylor expansion of (/ 1 a) in y
13.011 * [taylor]: Taking taylor expansion of a in y
13.012 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in y
13.012 * [taylor]: Taking taylor expansion of 18.0 in y
13.012 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
13.012 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
13.012 * [taylor]: Taking taylor expansion of x in y
13.012 * [taylor]: Taking taylor expansion of (* z y) in y
13.012 * [taylor]: Taking taylor expansion of z in y
13.012 * [taylor]: Taking taylor expansion of y in y
13.012 * [taylor]: Taking taylor expansion of t in y
13.012 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in x
13.012 * [taylor]: Taking taylor expansion of -1 in x
13.013 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in x
13.013 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in x
13.013 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
13.013 * [taylor]: Taking taylor expansion of 4.0 in x
13.013 * [taylor]: Taking taylor expansion of (/ 1 a) in x
13.013 * [taylor]: Taking taylor expansion of a in x
13.013 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
13.013 * [taylor]: Taking taylor expansion of 18.0 in x
13.013 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
13.013 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
13.013 * [taylor]: Taking taylor expansion of x in x
13.013 * [taylor]: Taking taylor expansion of (* z y) in x
13.013 * [taylor]: Taking taylor expansion of z in x
13.013 * [taylor]: Taking taylor expansion of y in x
13.013 * [taylor]: Taking taylor expansion of t in x
13.013 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in t
13.013 * [taylor]: Taking taylor expansion of -1 in t
13.013 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in t
13.014 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in t
13.014 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
13.014 * [taylor]: Taking taylor expansion of 4.0 in t
13.014 * [taylor]: Taking taylor expansion of (/ 1 a) in t
13.014 * [taylor]: Taking taylor expansion of a in t
13.014 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
13.014 * [taylor]: Taking taylor expansion of 18.0 in t
13.014 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
13.014 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
13.014 * [taylor]: Taking taylor expansion of x in t
13.014 * [taylor]: Taking taylor expansion of (* z y) in t
13.014 * [taylor]: Taking taylor expansion of z in t
13.014 * [taylor]: Taking taylor expansion of y in t
13.014 * [taylor]: Taking taylor expansion of t in t
13.014 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in t
13.014 * [taylor]: Taking taylor expansion of -1 in t
13.014 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in t
13.014 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in t
13.014 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t
13.014 * [taylor]: Taking taylor expansion of 4.0 in t
13.014 * [taylor]: Taking taylor expansion of (/ 1 a) in t
13.014 * [taylor]: Taking taylor expansion of a in t
13.014 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t
13.014 * [taylor]: Taking taylor expansion of 18.0 in t
13.014 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t
13.014 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
13.014 * [taylor]: Taking taylor expansion of x in t
13.014 * [taylor]: Taking taylor expansion of (* z y) in t
13.014 * [taylor]: Taking taylor expansion of z in t
13.014 * [taylor]: Taking taylor expansion of y in t
13.015 * [taylor]: Taking taylor expansion of t in t
13.015 * [taylor]: Taking taylor expansion of (* -1 (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y)))))) in x
13.015 * [taylor]: Taking taylor expansion of -1 in x
13.015 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in x
13.015 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x
13.015 * [taylor]: Taking taylor expansion of 4.0 in x
13.015 * [taylor]: Taking taylor expansion of (/ 1 a) in x
13.015 * [taylor]: Taking taylor expansion of a in x
13.015 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x
13.015 * [taylor]: Taking taylor expansion of 18.0 in x
13.015 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
13.015 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
13.015 * [taylor]: Taking taylor expansion of x in x
13.015 * [taylor]: Taking taylor expansion of (* z y) in x
13.015 * [taylor]: Taking taylor expansion of z in x
13.015 * [taylor]: Taking taylor expansion of y in x
13.016 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
13.016 * [taylor]: Taking taylor expansion of 18.0 in y
13.016 * [taylor]: Taking taylor expansion of (* z y) in y
13.016 * [taylor]: Taking taylor expansion of z in y
13.016 * [taylor]: Taking taylor expansion of y in y
13.017 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
13.017 * [taylor]: Taking taylor expansion of 18.0 in z
13.017 * [taylor]: Taking taylor expansion of z in z
13.017 * [taylor]: Taking taylor expansion of 18.0 in a
13.019 * [taylor]: Taking taylor expansion of 0 in x
13.021 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in y
13.021 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y
13.021 * [taylor]: Taking taylor expansion of 4.0 in y
13.021 * [taylor]: Taking taylor expansion of (/ 1 a) in y
13.021 * [taylor]: Taking taylor expansion of a in y
13.022 * [taylor]: Taking taylor expansion of 0 in z
13.023 * [taylor]: Taking taylor expansion of 0 in a
13.027 * [taylor]: Taking taylor expansion of 0 in x
13.027 * [taylor]: Taking taylor expansion of 0 in y
13.030 * [taylor]: Taking taylor expansion of 0 in y
13.030 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in z
13.030 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z
13.031 * [taylor]: Taking taylor expansion of 4.0 in z
13.031 * [taylor]: Taking taylor expansion of (/ 1 a) in z
13.031 * [taylor]: Taking taylor expansion of a in z
13.031 * [taylor]: Taking taylor expansion of 0 in z
13.031 * [taylor]: Taking taylor expansion of 0 in a
13.032 * [taylor]: Taking taylor expansion of 0 in a
13.038 * [taylor]: Taking taylor expansion of 0 in x
13.038 * [taylor]: Taking taylor expansion of 0 in y
13.039 * [taylor]: Taking taylor expansion of 0 in y
13.043 * [taylor]: Taking taylor expansion of 0 in y
13.043 * [taylor]: Taking taylor expansion of 0 in z
13.043 * [taylor]: Taking taylor expansion of 0 in z
13.044 * [taylor]: Taking taylor expansion of 0 in z
13.045 * [taylor]: Taking taylor expansion of 0 in z
13.045 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in a
13.045 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a
13.045 * [taylor]: Taking taylor expansion of 4.0 in a
13.045 * [taylor]: Taking taylor expansion of (/ 1 a) in a
13.045 * [taylor]: Taking taylor expansion of a in a
13.046 * [taylor]: Taking taylor expansion of 0 in a
13.047 * [taylor]: Taking taylor expansion of 0 in a
13.048 * [taylor]: Taking taylor expansion of 0 in a
13.059 * [taylor]: Taking taylor expansion of 0 in x
13.059 * [taylor]: Taking taylor expansion of 0 in y
13.059 * [taylor]: Taking taylor expansion of 0 in y
13.059 * [taylor]: Taking taylor expansion of 0 in y
13.065 * [taylor]: Taking taylor expansion of 0 in y
13.066 * [taylor]: Taking taylor expansion of 0 in z
13.066 * [taylor]: Taking taylor expansion of 0 in z
13.066 * [taylor]: Taking taylor expansion of 0 in z
13.066 * [taylor]: Taking taylor expansion of 0 in z
13.066 * [taylor]: Taking taylor expansion of 0 in z
13.067 * [taylor]: Taking taylor expansion of 0 in z
13.068 * [taylor]: Taking taylor expansion of 0 in z
13.068 * [taylor]: Taking taylor expansion of 0 in a
13.068 * [taylor]: Taking taylor expansion of 0 in a
13.068 * [taylor]: Taking taylor expansion of 0 in a
13.068 * [taylor]: Taking taylor expansion of 0 in a
13.069 * [taylor]: Taking taylor expansion of 0 in a
13.069 * [taylor]: Taking taylor expansion of 0 in a
13.069 * [taylor]: Taking taylor expansion of 0 in a
13.069 * [taylor]: Taking taylor expansion of 0 in a
13.071 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
13.072 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
13.072 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
13.072 * [taylor]: Taking taylor expansion of 27.0 in k
13.072 * [taylor]: Taking taylor expansion of (* k j) in k
13.072 * [taylor]: Taking taylor expansion of k in k
13.072 * [taylor]: Taking taylor expansion of j in k
13.072 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
13.072 * [taylor]: Taking taylor expansion of 27.0 in j
13.072 * [taylor]: Taking taylor expansion of (* k j) in j
13.072 * [taylor]: Taking taylor expansion of k in j
13.072 * [taylor]: Taking taylor expansion of j in j
13.072 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
13.072 * [taylor]: Taking taylor expansion of 27.0 in j
13.072 * [taylor]: Taking taylor expansion of (* k j) in j
13.072 * [taylor]: Taking taylor expansion of k in j
13.072 * [taylor]: Taking taylor expansion of j in j
13.072 * [taylor]: Taking taylor expansion of 0 in k
13.073 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
13.073 * [taylor]: Taking taylor expansion of 27.0 in k
13.073 * [taylor]: Taking taylor expansion of k in k
13.074 * [taylor]: Taking taylor expansion of 0 in k
13.076 * [taylor]: Taking taylor expansion of 0 in k
13.079 * [taylor]: Taking taylor expansion of 0 in k
13.079 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
13.079 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
13.079 * [taylor]: Taking taylor expansion of 27.0 in k
13.079 * [taylor]: Taking taylor expansion of (* k j) in k
13.079 * [taylor]: Taking taylor expansion of k in k
13.079 * [taylor]: Taking taylor expansion of j in k
13.079 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
13.079 * [taylor]: Taking taylor expansion of 27.0 in j
13.079 * [taylor]: Taking taylor expansion of (* k j) in j
13.079 * [taylor]: Taking taylor expansion of k in j
13.079 * [taylor]: Taking taylor expansion of j in j
13.080 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
13.080 * [taylor]: Taking taylor expansion of 27.0 in j
13.080 * [taylor]: Taking taylor expansion of (* k j) in j
13.080 * [taylor]: Taking taylor expansion of k in j
13.080 * [taylor]: Taking taylor expansion of j in j
13.080 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
13.080 * [taylor]: Taking taylor expansion of 27.0 in k
13.080 * [taylor]: Taking taylor expansion of k in k
13.081 * [taylor]: Taking taylor expansion of 0 in k
13.082 * [taylor]: Taking taylor expansion of 0 in k
13.083 * [taylor]: Taking taylor expansion of 0 in k
13.084 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
13.084 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
13.084 * [taylor]: Taking taylor expansion of 27.0 in k
13.084 * [taylor]: Taking taylor expansion of (* k j) in k
13.084 * [taylor]: Taking taylor expansion of k in k
13.084 * [taylor]: Taking taylor expansion of j in k
13.085 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
13.085 * [taylor]: Taking taylor expansion of 27.0 in j
13.085 * [taylor]: Taking taylor expansion of (* k j) in j
13.085 * [taylor]: Taking taylor expansion of k in j
13.085 * [taylor]: Taking taylor expansion of j in j
13.085 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
13.085 * [taylor]: Taking taylor expansion of 27.0 in j
13.085 * [taylor]: Taking taylor expansion of (* k j) in j
13.085 * [taylor]: Taking taylor expansion of k in j
13.085 * [taylor]: Taking taylor expansion of j in j
13.086 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
13.086 * [taylor]: Taking taylor expansion of 27.0 in k
13.086 * [taylor]: Taking taylor expansion of k in k
13.087 * [taylor]: Taking taylor expansion of 0 in k
13.088 * [taylor]: Taking taylor expansion of 0 in k
13.089 * [taylor]: Taking taylor expansion of 0 in k
13.090 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1)
13.090 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
13.090 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
13.090 * [taylor]: Taking taylor expansion of 18.0 in y
13.090 * [taylor]: Taking taylor expansion of (* x y) in y
13.090 * [taylor]: Taking taylor expansion of x in y
13.090 * [taylor]: Taking taylor expansion of y in y
13.090 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
13.090 * [taylor]: Taking taylor expansion of 18.0 in x
13.090 * [taylor]: Taking taylor expansion of (* x y) in x
13.091 * [taylor]: Taking taylor expansion of x in x
13.091 * [taylor]: Taking taylor expansion of y in x
13.091 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
13.091 * [taylor]: Taking taylor expansion of 18.0 in x
13.091 * [taylor]: Taking taylor expansion of (* x y) in x
13.091 * [taylor]: Taking taylor expansion of x in x
13.091 * [taylor]: Taking taylor expansion of y in x
13.091 * [taylor]: Taking taylor expansion of 0 in y
13.092 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
13.092 * [taylor]: Taking taylor expansion of 18.0 in y
13.092 * [taylor]: Taking taylor expansion of y in y
13.093 * [taylor]: Taking taylor expansion of 0 in y
13.097 * [taylor]: Taking taylor expansion of 0 in y
13.100 * [taylor]: Taking taylor expansion of 0 in y
13.100 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
13.100 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
13.100 * [taylor]: Taking taylor expansion of 18.0 in y
13.100 * [taylor]: Taking taylor expansion of (* x y) in y
13.100 * [taylor]: Taking taylor expansion of x in y
13.100 * [taylor]: Taking taylor expansion of y in y
13.101 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
13.101 * [taylor]: Taking taylor expansion of 18.0 in x
13.101 * [taylor]: Taking taylor expansion of (* x y) in x
13.101 * [taylor]: Taking taylor expansion of x in x
13.101 * [taylor]: Taking taylor expansion of y in x
13.101 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
13.101 * [taylor]: Taking taylor expansion of 18.0 in x
13.101 * [taylor]: Taking taylor expansion of (* x y) in x
13.101 * [taylor]: Taking taylor expansion of x in x
13.101 * [taylor]: Taking taylor expansion of y in x
13.102 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
13.102 * [taylor]: Taking taylor expansion of 18.0 in y
13.102 * [taylor]: Taking taylor expansion of y in y
13.103 * [taylor]: Taking taylor expansion of 0 in y
13.105 * [taylor]: Taking taylor expansion of 0 in y
13.107 * [taylor]: Taking taylor expansion of 0 in y
13.108 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
13.108 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
13.108 * [taylor]: Taking taylor expansion of 18.0 in y
13.108 * [taylor]: Taking taylor expansion of (* x y) in y
13.108 * [taylor]: Taking taylor expansion of x in y
13.108 * [taylor]: Taking taylor expansion of y in y
13.108 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
13.108 * [taylor]: Taking taylor expansion of 18.0 in x
13.108 * [taylor]: Taking taylor expansion of (* x y) in x
13.108 * [taylor]: Taking taylor expansion of x in x
13.108 * [taylor]: Taking taylor expansion of y in x
13.109 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
13.109 * [taylor]: Taking taylor expansion of 18.0 in x
13.109 * [taylor]: Taking taylor expansion of (* x y) in x
13.109 * [taylor]: Taking taylor expansion of x in x
13.109 * [taylor]: Taking taylor expansion of y in x
13.109 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
13.109 * [taylor]: Taking taylor expansion of 18.0 in y
13.109 * [taylor]: Taking taylor expansion of y in y
13.110 * [taylor]: Taking taylor expansion of 0 in y
13.111 * [taylor]: Taking taylor expansion of 0 in y
13.113 * [taylor]: Taking taylor expansion of 0 in y
13.114 * * * [progress]: simplifying candidates
13.115 * [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) (log (* 18.0 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 x) x) (* (* (* 18.0 y) (* 18.0 y)) (* 18.0 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)
  (* (* 18.0 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) (log (* 18.0 y)))
  (log (* x (* 18.0 y)))
  (exp (* x (* 18.0 y)))
  (* (* (* x x) x) (* (* (* 18.0 18.0) 18.0) (* (* y y) y)))
  (* (* (* x x) x) (* (* (* 18.0 y) (* 18.0 y)) (* 18.0 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 x) (* 18.0 y))
  (* (sqrt x) (* 18.0 y))
  (* x (* 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))
13.119 * * [simplify]: iteration  0 :  154  enodes  (cost  1011 )
13.146 * * [simplify]: iteration  1 :  400  enodes  (cost  980 )
13.240 * * [simplify]: iteration  2 :  1696  enodes  (cost  822 )
13.777 * * [simplify]: iteration  done :  5000  enodes  (cost  822 )
13.778 * [simplify]: Simplified to:
   (* (* x (* 18.0 y)) z)
  (* (* x (* 18.0 y)) z)
  (* (* x (* 18.0 y)) z)
  (log (* (* x (* 18.0 y)) z))
  (log (* (* x (* 18.0 y)) z))
  (log (* (* x (* 18.0 y)) z))
  (log (* (* x (* 18.0 y)) z))
  (exp (* (* x (* 18.0 y)) z))
  (pow (* 18.0 (* x (* z y))) 3)
  (pow (* 18.0 (* x (* z y))) 3)
  (pow (* 18.0 (* x (* z y))) 3)
  (* (cbrt (* (* x (* 18.0 y)) z)) (cbrt (* (* x (* 18.0 y)) z)))
  (cbrt (* (* x (* 18.0 y)) z))
  (pow (* 18.0 (* x (* z y))) 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))
  (* (* 18.0 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))))
  (* (* (* x (* 18.0 y)) z) t)
  (* t (- (* a 4.0)))
  (* (* (* x (* 18.0 y)) z) t)
  (* t (- (* a 4.0)))
  (* (* (* x (* 18.0 y)) z) t)
  (* t (- (* a 4.0)))
  (* (* (* x (* 18.0 y)) z) t)
  (* 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 (* 27.0 (* k j)))
  (log (* 27.0 (* k j)))
  (log (* 27.0 (* k j)))
  (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 x) (* 18.0 y))
  (* (sqrt x) (* 18.0 y))
  (* x (* 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))
13.778 * * * [progress]: adding candidates to table
14.078 * * [progress]: iteration 4 / 4
14.078 * * * [progress]: picking best candidate
14.111 * * * * [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))))))>
14.111 * * * [progress]: localizing error
14.136 * * * [progress]: generating rewritten candidates
14.136 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
14.141 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2)
14.147 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1)
14.152 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
14.174 * * * [progress]: generating series expansions
14.174 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
14.174 * [approximate]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in (j k) around 0
14.174 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in k
14.174 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in k
14.174 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in k
14.174 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in k
14.174 * [taylor]: Taking taylor expansion of 1/3 in k
14.174 * [taylor]: Taking taylor expansion of (log (* k j)) in k
14.174 * [taylor]: Taking taylor expansion of (* k j) in k
14.174 * [taylor]: Taking taylor expansion of k in k
14.174 * [taylor]: Taking taylor expansion of j in k
14.175 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
14.175 * [taylor]: Taking taylor expansion of 27.0 in k
14.176 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
14.176 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
14.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
14.176 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
14.176 * [taylor]: Taking taylor expansion of 1/3 in j
14.176 * [taylor]: Taking taylor expansion of (log (* k j)) in j
14.176 * [taylor]: Taking taylor expansion of (* k j) in j
14.176 * [taylor]: Taking taylor expansion of k in j
14.176 * [taylor]: Taking taylor expansion of j in j
14.177 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
14.177 * [taylor]: Taking taylor expansion of 27.0 in j
14.177 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
14.178 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
14.178 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
14.178 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
14.178 * [taylor]: Taking taylor expansion of 1/3 in j
14.178 * [taylor]: Taking taylor expansion of (log (* k j)) in j
14.178 * [taylor]: Taking taylor expansion of (* k j) in j
14.178 * [taylor]: Taking taylor expansion of k in j
14.178 * [taylor]: Taking taylor expansion of j in j
14.178 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
14.178 * [taylor]: Taking taylor expansion of 27.0 in j
14.179 * [taylor]: Taking taylor expansion of (* (cbrt 27.0) (exp (* 1/3 (+ (log k) (log j))))) in k
14.179 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
14.180 * [taylor]: Taking taylor expansion of 27.0 in k
14.180 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log k) (log j)))) in k
14.180 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log k) (log j))) in k
14.180 * [taylor]: Taking taylor expansion of 1/3 in k
14.180 * [taylor]: Taking taylor expansion of (+ (log k) (log j)) in k
14.180 * [taylor]: Taking taylor expansion of (log k) in k
14.180 * [taylor]: Taking taylor expansion of k in k
14.181 * [taylor]: Taking taylor expansion of (log j) in k
14.181 * [taylor]: Taking taylor expansion of j in k
14.184 * [taylor]: Taking taylor expansion of 0 in k
14.194 * [taylor]: Taking taylor expansion of 0 in k
14.204 * [taylor]: Taking taylor expansion of 0 in k
14.205 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
14.205 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
14.205 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
14.205 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
14.205 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
14.205 * [taylor]: Taking taylor expansion of 1/3 in k
14.205 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
14.205 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
14.205 * [taylor]: Taking taylor expansion of (* k j) in k
14.205 * [taylor]: Taking taylor expansion of k in k
14.205 * [taylor]: Taking taylor expansion of j in k
14.206 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
14.206 * [taylor]: Taking taylor expansion of 27.0 in k
14.207 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
14.207 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
14.207 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
14.207 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
14.207 * [taylor]: Taking taylor expansion of 1/3 in j
14.207 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
14.207 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
14.207 * [taylor]: Taking taylor expansion of (* k j) in j
14.207 * [taylor]: Taking taylor expansion of k in j
14.207 * [taylor]: Taking taylor expansion of j in j
14.208 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
14.208 * [taylor]: Taking taylor expansion of 27.0 in j
14.208 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
14.208 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
14.208 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
14.208 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
14.208 * [taylor]: Taking taylor expansion of 1/3 in j
14.208 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
14.208 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
14.208 * [taylor]: Taking taylor expansion of (* k j) in j
14.208 * [taylor]: Taking taylor expansion of k in j
14.208 * [taylor]: Taking taylor expansion of j in j
14.209 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
14.209 * [taylor]: Taking taylor expansion of 27.0 in j
14.210 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
14.210 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
14.210 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
14.210 * [taylor]: Taking taylor expansion of 1/3 in k
14.210 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
14.210 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
14.210 * [taylor]: Taking taylor expansion of (/ 1 k) in k
14.210 * [taylor]: Taking taylor expansion of k in k
14.211 * [taylor]: Taking taylor expansion of (log j) in k
14.211 * [taylor]: Taking taylor expansion of j in k
14.211 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
14.211 * [taylor]: Taking taylor expansion of 27.0 in k
14.215 * [taylor]: Taking taylor expansion of 0 in k
14.223 * [taylor]: Taking taylor expansion of 0 in k
14.235 * [taylor]: Taking taylor expansion of 0 in k
14.235 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
14.235 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
14.235 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
14.235 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
14.235 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
14.235 * [taylor]: Taking taylor expansion of 1/3 in k
14.236 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
14.236 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
14.236 * [taylor]: Taking taylor expansion of (* k j) in k
14.236 * [taylor]: Taking taylor expansion of k in k
14.236 * [taylor]: Taking taylor expansion of j in k
14.236 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
14.236 * [taylor]: Taking taylor expansion of 27.0 in k
14.237 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
14.237 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
14.237 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
14.237 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
14.237 * [taylor]: Taking taylor expansion of 1/3 in j
14.237 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
14.237 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
14.237 * [taylor]: Taking taylor expansion of (* k j) in j
14.237 * [taylor]: Taking taylor expansion of k in j
14.237 * [taylor]: Taking taylor expansion of j in j
14.238 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
14.238 * [taylor]: Taking taylor expansion of 27.0 in j
14.239 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
14.239 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
14.239 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
14.239 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
14.239 * [taylor]: Taking taylor expansion of 1/3 in j
14.239 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
14.239 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
14.239 * [taylor]: Taking taylor expansion of (* k j) in j
14.239 * [taylor]: Taking taylor expansion of k in j
14.239 * [taylor]: Taking taylor expansion of j in j
14.240 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
14.240 * [taylor]: Taking taylor expansion of 27.0 in j
14.241 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
14.241 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
14.241 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
14.241 * [taylor]: Taking taylor expansion of 1/3 in k
14.241 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
14.241 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
14.241 * [taylor]: Taking taylor expansion of (/ 1 k) in k
14.241 * [taylor]: Taking taylor expansion of k in k
14.241 * [taylor]: Taking taylor expansion of (log j) in k
14.241 * [taylor]: Taking taylor expansion of j in k
14.242 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
14.242 * [taylor]: Taking taylor expansion of 27.0 in k
14.246 * [taylor]: Taking taylor expansion of 0 in k
14.254 * [taylor]: Taking taylor expansion of 0 in k
14.266 * [taylor]: Taking taylor expansion of 0 in k
14.266 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2)
14.267 * [approximate]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in (j k) around 0
14.267 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in k
14.267 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in k
14.267 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in k
14.267 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in k
14.267 * [taylor]: Taking taylor expansion of 1/3 in k
14.267 * [taylor]: Taking taylor expansion of (log (* k j)) in k
14.267 * [taylor]: Taking taylor expansion of (* k j) in k
14.267 * [taylor]: Taking taylor expansion of k in k
14.267 * [taylor]: Taking taylor expansion of j in k
14.268 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
14.268 * [taylor]: Taking taylor expansion of 27.0 in k
14.268 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
14.268 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
14.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
14.268 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
14.268 * [taylor]: Taking taylor expansion of 1/3 in j
14.268 * [taylor]: Taking taylor expansion of (log (* k j)) in j
14.268 * [taylor]: Taking taylor expansion of (* k j) in j
14.268 * [taylor]: Taking taylor expansion of k in j
14.269 * [taylor]: Taking taylor expansion of j in j
14.269 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
14.269 * [taylor]: Taking taylor expansion of 27.0 in j
14.270 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
14.270 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
14.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
14.270 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
14.270 * [taylor]: Taking taylor expansion of 1/3 in j
14.270 * [taylor]: Taking taylor expansion of (log (* k j)) in j
14.270 * [taylor]: Taking taylor expansion of (* k j) in j
14.270 * [taylor]: Taking taylor expansion of k in j
14.270 * [taylor]: Taking taylor expansion of j in j
14.273 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
14.274 * [taylor]: Taking taylor expansion of 27.0 in j
14.275 * [taylor]: Taking taylor expansion of (* (cbrt 27.0) (exp (* 1/3 (+ (log k) (log j))))) in k
14.275 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
14.275 * [taylor]: Taking taylor expansion of 27.0 in k
14.276 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log k) (log j)))) in k
14.276 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log k) (log j))) in k
14.276 * [taylor]: Taking taylor expansion of 1/3 in k
14.276 * [taylor]: Taking taylor expansion of (+ (log k) (log j)) in k
14.276 * [taylor]: Taking taylor expansion of (log k) in k
14.276 * [taylor]: Taking taylor expansion of k in k
14.276 * [taylor]: Taking taylor expansion of (log j) in k
14.276 * [taylor]: Taking taylor expansion of j in k
14.280 * [taylor]: Taking taylor expansion of 0 in k
14.287 * [taylor]: Taking taylor expansion of 0 in k
14.298 * [taylor]: Taking taylor expansion of 0 in k
14.299 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
14.299 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
14.299 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
14.299 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
14.299 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
14.299 * [taylor]: Taking taylor expansion of 1/3 in k
14.299 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
14.299 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
14.299 * [taylor]: Taking taylor expansion of (* k j) in k
14.299 * [taylor]: Taking taylor expansion of k in k
14.299 * [taylor]: Taking taylor expansion of j in k
14.300 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
14.300 * [taylor]: Taking taylor expansion of 27.0 in k
14.301 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
14.301 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
14.301 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
14.301 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
14.301 * [taylor]: Taking taylor expansion of 1/3 in j
14.301 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
14.301 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
14.301 * [taylor]: Taking taylor expansion of (* k j) in j
14.301 * [taylor]: Taking taylor expansion of k in j
14.301 * [taylor]: Taking taylor expansion of j in j
14.302 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
14.302 * [taylor]: Taking taylor expansion of 27.0 in j
14.302 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
14.302 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
14.302 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
14.302 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
14.302 * [taylor]: Taking taylor expansion of 1/3 in j
14.302 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
14.302 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
14.302 * [taylor]: Taking taylor expansion of (* k j) in j
14.302 * [taylor]: Taking taylor expansion of k in j
14.302 * [taylor]: Taking taylor expansion of j in j
14.303 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
14.303 * [taylor]: Taking taylor expansion of 27.0 in j
14.304 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
14.304 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
14.304 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
14.304 * [taylor]: Taking taylor expansion of 1/3 in k
14.304 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
14.305 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
14.305 * [taylor]: Taking taylor expansion of (/ 1 k) in k
14.305 * [taylor]: Taking taylor expansion of k in k
14.305 * [taylor]: Taking taylor expansion of (log j) in k
14.305 * [taylor]: Taking taylor expansion of j in k
14.306 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
14.306 * [taylor]: Taking taylor expansion of 27.0 in k
14.310 * [taylor]: Taking taylor expansion of 0 in k
14.318 * [taylor]: Taking taylor expansion of 0 in k
14.329 * [taylor]: Taking taylor expansion of 0 in k
14.330 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
14.330 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
14.330 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
14.330 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
14.330 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
14.330 * [taylor]: Taking taylor expansion of 1/3 in k
14.330 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
14.330 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
14.330 * [taylor]: Taking taylor expansion of (* k j) in k
14.330 * [taylor]: Taking taylor expansion of k in k
14.330 * [taylor]: Taking taylor expansion of j in k
14.331 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
14.331 * [taylor]: Taking taylor expansion of 27.0 in k
14.332 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
14.332 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
14.332 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
14.332 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
14.332 * [taylor]: Taking taylor expansion of 1/3 in j
14.332 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
14.332 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
14.332 * [taylor]: Taking taylor expansion of (* k j) in j
14.332 * [taylor]: Taking taylor expansion of k in j
14.332 * [taylor]: Taking taylor expansion of j in j
14.333 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
14.333 * [taylor]: Taking taylor expansion of 27.0 in j
14.333 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
14.333 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
14.334 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
14.334 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
14.334 * [taylor]: Taking taylor expansion of 1/3 in j
14.334 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
14.334 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
14.334 * [taylor]: Taking taylor expansion of (* k j) in j
14.334 * [taylor]: Taking taylor expansion of k in j
14.334 * [taylor]: Taking taylor expansion of j in j
14.334 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
14.334 * [taylor]: Taking taylor expansion of 27.0 in j
14.336 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
14.336 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
14.336 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
14.336 * [taylor]: Taking taylor expansion of 1/3 in k
14.336 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
14.336 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
14.336 * [taylor]: Taking taylor expansion of (/ 1 k) in k
14.336 * [taylor]: Taking taylor expansion of k in k
14.336 * [taylor]: Taking taylor expansion of (log j) in k
14.336 * [taylor]: Taking taylor expansion of j in k
14.337 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
14.337 * [taylor]: Taking taylor expansion of 27.0 in k
14.341 * [taylor]: Taking taylor expansion of 0 in k
14.349 * [taylor]: Taking taylor expansion of 0 in k
14.365 * [taylor]: Taking taylor expansion of 0 in k
14.365 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1)
14.366 * [approximate]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in (j k) around 0
14.366 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in k
14.366 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in k
14.366 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in k
14.366 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in k
14.366 * [taylor]: Taking taylor expansion of 1/3 in k
14.366 * [taylor]: Taking taylor expansion of (log (* k j)) in k
14.366 * [taylor]: Taking taylor expansion of (* k j) in k
14.366 * [taylor]: Taking taylor expansion of k in k
14.366 * [taylor]: Taking taylor expansion of j in k
14.366 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
14.366 * [taylor]: Taking taylor expansion of 27.0 in k
14.367 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
14.367 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
14.367 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
14.367 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
14.367 * [taylor]: Taking taylor expansion of 1/3 in j
14.367 * [taylor]: Taking taylor expansion of (log (* k j)) in j
14.367 * [taylor]: Taking taylor expansion of (* k j) in j
14.367 * [taylor]: Taking taylor expansion of k in j
14.367 * [taylor]: Taking taylor expansion of j in j
14.368 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
14.368 * [taylor]: Taking taylor expansion of 27.0 in j
14.369 * [taylor]: Taking taylor expansion of (* (pow (* k j) 1/3) (cbrt 27.0)) in j
14.369 * [taylor]: Taking taylor expansion of (pow (* k j) 1/3) in j
14.369 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* k j)))) in j
14.369 * [taylor]: Taking taylor expansion of (* 1/3 (log (* k j))) in j
14.369 * [taylor]: Taking taylor expansion of 1/3 in j
14.369 * [taylor]: Taking taylor expansion of (log (* k j)) in j
14.369 * [taylor]: Taking taylor expansion of (* k j) in j
14.369 * [taylor]: Taking taylor expansion of k in j
14.369 * [taylor]: Taking taylor expansion of j in j
14.370 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
14.370 * [taylor]: Taking taylor expansion of 27.0 in j
14.371 * [taylor]: Taking taylor expansion of (* (cbrt 27.0) (exp (* 1/3 (+ (log k) (log j))))) in k
14.371 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
14.371 * [taylor]: Taking taylor expansion of 27.0 in k
14.372 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log k) (log j)))) in k
14.372 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log k) (log j))) in k
14.372 * [taylor]: Taking taylor expansion of 1/3 in k
14.372 * [taylor]: Taking taylor expansion of (+ (log k) (log j)) in k
14.372 * [taylor]: Taking taylor expansion of (log k) in k
14.372 * [taylor]: Taking taylor expansion of k in k
14.372 * [taylor]: Taking taylor expansion of (log j) in k
14.372 * [taylor]: Taking taylor expansion of j in k
14.376 * [taylor]: Taking taylor expansion of 0 in k
14.383 * [taylor]: Taking taylor expansion of 0 in k
14.394 * [taylor]: Taking taylor expansion of 0 in k
14.395 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
14.395 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
14.395 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
14.395 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
14.395 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
14.395 * [taylor]: Taking taylor expansion of 1/3 in k
14.395 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
14.395 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
14.395 * [taylor]: Taking taylor expansion of (* k j) in k
14.395 * [taylor]: Taking taylor expansion of k in k
14.395 * [taylor]: Taking taylor expansion of j in k
14.396 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
14.396 * [taylor]: Taking taylor expansion of 27.0 in k
14.396 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
14.396 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
14.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
14.396 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
14.396 * [taylor]: Taking taylor expansion of 1/3 in j
14.396 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
14.396 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
14.396 * [taylor]: Taking taylor expansion of (* k j) in j
14.396 * [taylor]: Taking taylor expansion of k in j
14.397 * [taylor]: Taking taylor expansion of j in j
14.397 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
14.397 * [taylor]: Taking taylor expansion of 27.0 in j
14.398 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
14.398 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
14.398 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
14.398 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
14.398 * [taylor]: Taking taylor expansion of 1/3 in j
14.398 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
14.398 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
14.398 * [taylor]: Taking taylor expansion of (* k j) in j
14.398 * [taylor]: Taking taylor expansion of k in j
14.398 * [taylor]: Taking taylor expansion of j in j
14.399 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
14.399 * [taylor]: Taking taylor expansion of 27.0 in j
14.400 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
14.400 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
14.400 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
14.400 * [taylor]: Taking taylor expansion of 1/3 in k
14.400 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
14.400 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
14.400 * [taylor]: Taking taylor expansion of (/ 1 k) in k
14.400 * [taylor]: Taking taylor expansion of k in k
14.401 * [taylor]: Taking taylor expansion of (log j) in k
14.401 * [taylor]: Taking taylor expansion of j in k
14.401 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
14.401 * [taylor]: Taking taylor expansion of 27.0 in k
14.406 * [taylor]: Taking taylor expansion of 0 in k
14.415 * [taylor]: Taking taylor expansion of 0 in k
14.427 * [taylor]: Taking taylor expansion of 0 in k
14.427 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in (j k) around 0
14.427 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in k
14.427 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in k
14.427 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in k
14.427 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in k
14.428 * [taylor]: Taking taylor expansion of 1/3 in k
14.428 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in k
14.428 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in k
14.428 * [taylor]: Taking taylor expansion of (* k j) in k
14.428 * [taylor]: Taking taylor expansion of k in k
14.428 * [taylor]: Taking taylor expansion of j in k
14.428 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
14.428 * [taylor]: Taking taylor expansion of 27.0 in k
14.429 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
14.429 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
14.429 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
14.429 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
14.429 * [taylor]: Taking taylor expansion of 1/3 in j
14.429 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
14.429 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
14.429 * [taylor]: Taking taylor expansion of (* k j) in j
14.429 * [taylor]: Taking taylor expansion of k in j
14.429 * [taylor]: Taking taylor expansion of j in j
14.430 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
14.430 * [taylor]: Taking taylor expansion of 27.0 in j
14.431 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* k j)) 1/3) (cbrt 27.0)) in j
14.431 * [taylor]: Taking taylor expansion of (pow (/ 1 (* k j)) 1/3) in j
14.431 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* k j))))) in j
14.431 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* k j)))) in j
14.431 * [taylor]: Taking taylor expansion of 1/3 in j
14.431 * [taylor]: Taking taylor expansion of (log (/ 1 (* k j))) in j
14.431 * [taylor]: Taking taylor expansion of (/ 1 (* k j)) in j
14.431 * [taylor]: Taking taylor expansion of (* k j) in j
14.431 * [taylor]: Taking taylor expansion of k in j
14.431 * [taylor]: Taking taylor expansion of j in j
14.432 * [taylor]: Taking taylor expansion of (cbrt 27.0) in j
14.432 * [taylor]: Taking taylor expansion of 27.0 in j
14.433 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 k)) (log j)))) (cbrt 27.0)) in k
14.433 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 k)) (log j)))) in k
14.433 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 k)) (log j))) in k
14.433 * [taylor]: Taking taylor expansion of 1/3 in k
14.433 * [taylor]: Taking taylor expansion of (- (log (/ 1 k)) (log j)) in k
14.433 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
14.433 * [taylor]: Taking taylor expansion of (/ 1 k) in k
14.433 * [taylor]: Taking taylor expansion of k in k
14.434 * [taylor]: Taking taylor expansion of (log j) in k
14.434 * [taylor]: Taking taylor expansion of j in k
14.434 * [taylor]: Taking taylor expansion of (cbrt 27.0) in k
14.434 * [taylor]: Taking taylor expansion of 27.0 in k
14.438 * [taylor]: Taking taylor expansion of 0 in k
14.446 * [taylor]: Taking taylor expansion of 0 in k
14.462 * [taylor]: Taking taylor expansion of 0 in k
14.462 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1)
14.462 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
14.462 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
14.462 * [taylor]: Taking taylor expansion of 18.0 in z
14.462 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
14.462 * [taylor]: Taking taylor expansion of x in z
14.462 * [taylor]: Taking taylor expansion of (* z y) in z
14.462 * [taylor]: Taking taylor expansion of z in z
14.462 * [taylor]: Taking taylor expansion of y in z
14.463 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
14.463 * [taylor]: Taking taylor expansion of 18.0 in y
14.463 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
14.463 * [taylor]: Taking taylor expansion of x in y
14.463 * [taylor]: Taking taylor expansion of (* z y) in y
14.463 * [taylor]: Taking taylor expansion of z in y
14.463 * [taylor]: Taking taylor expansion of y in y
14.463 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
14.463 * [taylor]: Taking taylor expansion of 18.0 in x
14.463 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
14.463 * [taylor]: Taking taylor expansion of x in x
14.463 * [taylor]: Taking taylor expansion of (* z y) in x
14.463 * [taylor]: Taking taylor expansion of z in x
14.463 * [taylor]: Taking taylor expansion of y in x
14.463 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
14.463 * [taylor]: Taking taylor expansion of 18.0 in x
14.463 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
14.463 * [taylor]: Taking taylor expansion of x in x
14.463 * [taylor]: Taking taylor expansion of (* z y) in x
14.463 * [taylor]: Taking taylor expansion of z in x
14.463 * [taylor]: Taking taylor expansion of y in x
14.463 * [taylor]: Taking taylor expansion of 0 in y
14.463 * [taylor]: Taking taylor expansion of 0 in z
14.464 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
14.464 * [taylor]: Taking taylor expansion of 18.0 in y
14.464 * [taylor]: Taking taylor expansion of (* z y) in y
14.464 * [taylor]: Taking taylor expansion of z in y
14.464 * [taylor]: Taking taylor expansion of y in y
14.464 * [taylor]: Taking taylor expansion of 0 in z
14.464 * [taylor]: Taking taylor expansion of 0 in z
14.466 * [taylor]: Taking taylor expansion of 0 in y
14.466 * [taylor]: Taking taylor expansion of 0 in z
14.467 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
14.467 * [taylor]: Taking taylor expansion of 18.0 in z
14.467 * [taylor]: Taking taylor expansion of z in z
14.467 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
14.467 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
14.467 * [taylor]: Taking taylor expansion of 18.0 in z
14.467 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
14.467 * [taylor]: Taking taylor expansion of x in z
14.467 * [taylor]: Taking taylor expansion of (* z y) in z
14.467 * [taylor]: Taking taylor expansion of z in z
14.467 * [taylor]: Taking taylor expansion of y in z
14.468 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
14.468 * [taylor]: Taking taylor expansion of 18.0 in y
14.468 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
14.468 * [taylor]: Taking taylor expansion of x in y
14.468 * [taylor]: Taking taylor expansion of (* z y) in y
14.468 * [taylor]: Taking taylor expansion of z in y
14.468 * [taylor]: Taking taylor expansion of y in y
14.469 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
14.469 * [taylor]: Taking taylor expansion of 18.0 in x
14.469 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
14.469 * [taylor]: Taking taylor expansion of x in x
14.469 * [taylor]: Taking taylor expansion of (* z y) in x
14.469 * [taylor]: Taking taylor expansion of z in x
14.469 * [taylor]: Taking taylor expansion of y in x
14.469 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
14.469 * [taylor]: Taking taylor expansion of 18.0 in x
14.469 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
14.469 * [taylor]: Taking taylor expansion of x in x
14.469 * [taylor]: Taking taylor expansion of (* z y) in x
14.469 * [taylor]: Taking taylor expansion of z in x
14.469 * [taylor]: Taking taylor expansion of y in x
14.470 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
14.470 * [taylor]: Taking taylor expansion of 18.0 in y
14.470 * [taylor]: Taking taylor expansion of (* z y) in y
14.470 * [taylor]: Taking taylor expansion of z in y
14.470 * [taylor]: Taking taylor expansion of y in y
14.470 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
14.470 * [taylor]: Taking taylor expansion of 18.0 in z
14.470 * [taylor]: Taking taylor expansion of z in z
14.471 * [taylor]: Taking taylor expansion of 0 in y
14.472 * [taylor]: Taking taylor expansion of 0 in z
14.474 * [taylor]: Taking taylor expansion of 0 in y
14.474 * [taylor]: Taking taylor expansion of 0 in z
14.474 * [taylor]: Taking taylor expansion of 0 in z
14.477 * [taylor]: Taking taylor expansion of 0 in y
14.477 * [taylor]: Taking taylor expansion of 0 in z
14.477 * [taylor]: Taking taylor expansion of 0 in z
14.478 * [taylor]: Taking taylor expansion of 0 in z
14.478 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
14.478 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
14.478 * [taylor]: Taking taylor expansion of -18.0 in z
14.478 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
14.478 * [taylor]: Taking taylor expansion of x in z
14.478 * [taylor]: Taking taylor expansion of (* z y) in z
14.478 * [taylor]: Taking taylor expansion of z in z
14.478 * [taylor]: Taking taylor expansion of y in z
14.479 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
14.479 * [taylor]: Taking taylor expansion of -18.0 in y
14.479 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
14.479 * [taylor]: Taking taylor expansion of x in y
14.479 * [taylor]: Taking taylor expansion of (* z y) in y
14.479 * [taylor]: Taking taylor expansion of z in y
14.479 * [taylor]: Taking taylor expansion of y in y
14.479 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
14.480 * [taylor]: Taking taylor expansion of -18.0 in x
14.480 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
14.480 * [taylor]: Taking taylor expansion of x in x
14.480 * [taylor]: Taking taylor expansion of (* z y) in x
14.480 * [taylor]: Taking taylor expansion of z in x
14.480 * [taylor]: Taking taylor expansion of y in x
14.480 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
14.480 * [taylor]: Taking taylor expansion of -18.0 in x
14.480 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
14.480 * [taylor]: Taking taylor expansion of x in x
14.480 * [taylor]: Taking taylor expansion of (* z y) in x
14.480 * [taylor]: Taking taylor expansion of z in x
14.480 * [taylor]: Taking taylor expansion of y in x
14.481 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
14.481 * [taylor]: Taking taylor expansion of -18.0 in y
14.481 * [taylor]: Taking taylor expansion of (* z y) in y
14.481 * [taylor]: Taking taylor expansion of z in y
14.481 * [taylor]: Taking taylor expansion of y in y
14.481 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
14.481 * [taylor]: Taking taylor expansion of -18.0 in z
14.481 * [taylor]: Taking taylor expansion of z in z
14.482 * [taylor]: Taking taylor expansion of 0 in y
14.483 * [taylor]: Taking taylor expansion of 0 in z
14.485 * [taylor]: Taking taylor expansion of 0 in y
14.485 * [taylor]: Taking taylor expansion of 0 in z
14.485 * [taylor]: Taking taylor expansion of 0 in z
14.488 * [taylor]: Taking taylor expansion of 0 in y
14.488 * [taylor]: Taking taylor expansion of 0 in z
14.488 * [taylor]: Taking taylor expansion of 0 in z
14.489 * [taylor]: Taking taylor expansion of 0 in z
14.489 * * * [progress]: simplifying candidates
14.490 * [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)))
14.493 * * [simplify]: iteration  0 :  97  enodes  (cost  595 )
14.508 * * [simplify]: iteration  1 :  236  enodes  (cost  581 )
14.562 * * [simplify]: iteration  2 :  885  enodes  (cost  486 )
14.933 * * [simplify]: iteration  3 :  4924  enodes  (cost  471 )
17.921 * * [simplify]: iteration  done :  5000  enodes  (cost  465 )
17.922 * [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) (cbrt (exp (+ (log k) (log j)))))
  (* (cbrt 27.0) (cbrt (exp (+ (log k) (log j)))))
  (* (cbrt 27.0) (* (pow (/ -1 j) -1/3) (pow (/ -1 k) -1/3)))
  (* (cbrt 27.0) (cbrt (exp (+ (log k) (log j)))))
  (* (cbrt 27.0) (cbrt (exp (+ (log k) (log j)))))
  (* (cbrt 27.0) (* (pow (/ -1 j) -1/3) (pow (/ -1 k) -1/3)))
  (* (cbrt 27.0) (cbrt (exp (+ (log k) (log j)))))
  (* (cbrt 27.0) (cbrt (exp (+ (log k) (log j)))))
  (* (cbrt 27.0) (* (pow (/ -1 j) -1/3) (pow (/ -1 k) -1/3)))
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
17.922 * * * [progress]: adding candidates to table
18.206 * [progress]: [Phase 3 of 3] Extracting.
18.206 * * [regime]: Finding splitpoints for: (#<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))))> #<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) (- (+ (/ (* 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 (- (* (* 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) (- (+ (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) (- (+ (+ (* 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))))))> #<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)))))>)
18.215 * * * [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)
18.215 * * * * [regimes]: Trying to branch on (* j 27.0) from (#<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))))> #<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) (- (+ (/ (* 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 (- (* (* 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) (- (+ (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) (- (+ (+ (* 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))))))> #<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)))))>)
18.288 * * * * [regimes]: Trying to branch on (* j 27.0) from (#<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))))> #<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))))))>)
18.336 * * * * [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) (* 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) (- (+ (/ (* 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 (- (* (* 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) (- (+ (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) (- (+ (+ (* 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))))))> #<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)))))>)
18.395 * * * * [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) (* 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))))))>)
18.434 * * * * [regimes]: Trying to branch on (* b c) from (#<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))))> #<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) (- (+ (/ (* 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 (- (* (* 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) (- (+ (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) (- (+ (+ (* 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))))))> #<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)))))>)
18.492 * * * * [regimes]: Trying to branch on (* a 4.0) from (#<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))))> #<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) (- (+ (/ (* 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 (- (* (* 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) (- (+ (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) (- (+ (+ (* 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))))))> #<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)))))>)
18.553 * * * * [regimes]: Trying to branch on k from (#<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))))> #<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) (- (+ (/ (* 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 (- (* (* 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) (- (+ (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) (- (+ (+ (* 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))))))> #<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)))))>)
18.620 * * * * [regimes]: Trying to branch on j from (#<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))))> #<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) (- (+ (/ (* 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 (- (* (* 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) (- (+ (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) (- (+ (+ (* 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))))))> #<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)))))>)
18.692 * * * * [regimes]: Trying to branch on i from (#<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))))> #<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) (- (+ (/ (* 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 (- (* (* 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) (- (+ (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) (- (+ (+ (* 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))))))> #<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)))))>)
18.752 * * * * [regimes]: Trying to branch on c from (#<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))))> #<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) (- (+ (/ (* 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 (- (* (* 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) (- (+ (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) (- (+ (+ (* 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))))))> #<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)))))>)
18.815 * * * * [regimes]: Trying to branch on b from (#<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))))> #<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) (- (+ (/ (* 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 (- (* (* 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) (- (+ (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) (- (+ (+ (* 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))))))> #<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)))))>)
18.902 * * * * [regimes]: Trying to branch on a from (#<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))))> #<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) (- (+ (/ (* 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 (- (* (* 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) (- (+ (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) (- (+ (+ (* 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))))))> #<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)))))>)
18.964 * * * * [regimes]: Trying to branch on t from (#<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))))> #<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) (- (+ (/ (* 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 (- (* (* 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) (- (+ (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) (- (+ (+ (* 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))))))> #<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)))))>)
19.039 * * * * [regimes]: Trying to branch on z from (#<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))))> #<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) (- (+ (/ (* 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 (- (* (* 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) (- (+ (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) (- (+ (+ (* 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))))))> #<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)))))>)
19.120 * * * * [regimes]: Trying to branch on y from (#<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))))> #<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) (- (+ (/ (* 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 (- (* (* 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) (- (+ (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) (- (+ (+ (* 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))))))> #<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)))))>)
19.180 * * * * [regimes]: Trying to branch on x from (#<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))))> #<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) (- (+ (/ (* 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 (- (* (* 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) (- (+ (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) (- (+ (+ (* 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))))))> #<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)))))>)
19.250 * * * [regime]: Found split indices: #<option (#s(si 2 74) #s(si 1 199) #s(si 4 255))>
19.251 * [binary-search]: Improving bounds with binary search for t and (#<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))))> #<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) (- (+ (/ (* 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 (- (* (* 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) (- (+ (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) (- (+ (+ (* 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))))))> #<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)))))>)
19.397 * [regimes]: Found splitpoints: (#s(sp 2 t -3.1141079314986784e-44) #s(sp 1 t 1.1312232233938015e-68) #s(sp 4 t +nan.0)) , with alts (#<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))))> #<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) (- (+ (/ (* 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 (- (* (* 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) (- (+ (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) (- (+ (+ (* 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))))))> #<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)))))>)
19.397 * [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 (* 18.0 y)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k))))))
19.398 * * [simplify]: iteration  0 :  52  enodes  (cost  104 )
19.400 * * [simplify]: iteration  1 :  77  enodes  (cost  103 )
19.403 * * [simplify]: iteration  2 :  87  enodes  (cost  103 )
19.406 * * [simplify]: iteration  3 :  90  enodes  (cost  103 )
19.408 * * [simplify]: iteration  done :  90  enodes  (cost  103 )
19.409 * [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 (* 18.0 y)) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* j (* 27.0 k))))))
21.917 * [regime-testing]: Baseline error score: 5.666987048812549
21.918 * [regime-testing]: Oracle error score: 2.1821441148475498
21.919 * [regime-testing]: End program error score: 4.674946315431575
21.964 * [regime-testing]: Target error score: 1.4646432777959317