16.451 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.071 * * * [progress]: [2/2] Setting up program. 0.076 * [progress]: [Phase 2 of 3] Improving. 0.076 * [simplify]: Simplifying using # : (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)) 0.077 * * [simplify]: iteration 0 : 28 enodes (cost 31 ) 0.081 * * [simplify]: iteration 1 : 66 enodes (cost 29 ) 0.090 * * [simplify]: iteration 2 : 197 enodes (cost 29 ) 0.129 * * [simplify]: iteration 3 : 567 enodes (cost 29 ) 0.323 * * [simplify]: iteration 4 : 1191 enodes (cost 29 ) 0.887 * * [simplify]: iteration 5 : 1736 enodes (cost 29 ) 1.876 * * [simplify]: iteration 6 : 2459 enodes (cost 29 ) 3.419 * * [simplify]: iteration 7 : 3675 enodes (cost 29 ) 6.721 * * [simplify]: iteration 8 : 4597 enodes (cost 29 ) 13.687 * * [simplify]: iteration done : 4597 enodes (cost 29 ) 13.688 * [simplify]: Simplified to: (- (+ (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* b c)) (+ (* (* x 4.0) i) (* (* j 27.0) k))) 13.693 * * [progress]: iteration 1 / 4 13.693 * * * [progress]: picking best candidate 13.697 * * * * [pick]: Picked # 13.697 * * * [progress]: localizing error 13.722 * * * [progress]: generating rewritten candidates 13.722 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1) 13.742 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 13.827 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 13.833 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1) 13.841 * * * [progress]: generating series expansions 13.841 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1) 13.842 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0 13.842 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z 13.842 * [taylor]: Taking taylor expansion of 18.0 in z 13.842 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 13.842 * [taylor]: Taking taylor expansion of x in z 13.842 * [taylor]: Taking taylor expansion of (* z y) in z 13.842 * [taylor]: Taking taylor expansion of z in z 13.842 * [taylor]: Taking taylor expansion of y in z 13.842 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y 13.842 * [taylor]: Taking taylor expansion of 18.0 in y 13.842 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 13.842 * [taylor]: Taking taylor expansion of x in y 13.842 * [taylor]: Taking taylor expansion of (* z y) in y 13.842 * [taylor]: Taking taylor expansion of z in y 13.842 * [taylor]: Taking taylor expansion of y in y 13.842 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x 13.842 * [taylor]: Taking taylor expansion of 18.0 in x 13.842 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.842 * [taylor]: Taking taylor expansion of x in x 13.842 * [taylor]: Taking taylor expansion of (* z y) in x 13.842 * [taylor]: Taking taylor expansion of z in x 13.842 * [taylor]: Taking taylor expansion of y in x 13.842 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x 13.842 * [taylor]: Taking taylor expansion of 18.0 in x 13.842 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.842 * [taylor]: Taking taylor expansion of x in x 13.842 * [taylor]: Taking taylor expansion of (* z y) in x 13.842 * [taylor]: Taking taylor expansion of z in x 13.842 * [taylor]: Taking taylor expansion of y in x 13.843 * [taylor]: Taking taylor expansion of 0 in y 13.843 * [taylor]: Taking taylor expansion of 0 in z 13.844 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y 13.844 * [taylor]: Taking taylor expansion of 18.0 in y 13.844 * [taylor]: Taking taylor expansion of (* z y) in y 13.844 * [taylor]: Taking taylor expansion of z in y 13.844 * [taylor]: Taking taylor expansion of y in y 13.844 * [taylor]: Taking taylor expansion of 0 in z 13.844 * [taylor]: Taking taylor expansion of 0 in z 13.845 * [taylor]: Taking taylor expansion of 0 in y 13.845 * [taylor]: Taking taylor expansion of 0 in z 13.846 * [taylor]: Taking taylor expansion of (* 18.0 z) in z 13.846 * [taylor]: Taking taylor expansion of 18.0 in z 13.846 * [taylor]: Taking taylor expansion of z in z 13.846 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0 13.846 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z 13.846 * [taylor]: Taking taylor expansion of 18.0 in z 13.846 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 13.846 * [taylor]: Taking taylor expansion of x in z 13.846 * [taylor]: Taking taylor expansion of (* z y) in z 13.846 * [taylor]: Taking taylor expansion of z in z 13.846 * [taylor]: Taking taylor expansion of y in z 13.847 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y 13.847 * [taylor]: Taking taylor expansion of 18.0 in y 13.847 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 13.847 * [taylor]: Taking taylor expansion of x in y 13.847 * [taylor]: Taking taylor expansion of (* z y) in y 13.847 * [taylor]: Taking taylor expansion of z in y 13.847 * [taylor]: Taking taylor expansion of y in y 13.848 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x 13.848 * [taylor]: Taking taylor expansion of 18.0 in x 13.848 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.848 * [taylor]: Taking taylor expansion of x in x 13.848 * [taylor]: Taking taylor expansion of (* z y) in x 13.848 * [taylor]: Taking taylor expansion of z in x 13.848 * [taylor]: Taking taylor expansion of y in x 13.848 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x 13.848 * [taylor]: Taking taylor expansion of 18.0 in x 13.848 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.848 * [taylor]: Taking taylor expansion of x in x 13.848 * [taylor]: Taking taylor expansion of (* z y) in x 13.848 * [taylor]: Taking taylor expansion of z in x 13.848 * [taylor]: Taking taylor expansion of y in x 13.849 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y 13.849 * [taylor]: Taking taylor expansion of 18.0 in y 13.849 * [taylor]: Taking taylor expansion of (* z y) in y 13.849 * [taylor]: Taking taylor expansion of z in y 13.849 * [taylor]: Taking taylor expansion of y in y 13.849 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z 13.849 * [taylor]: Taking taylor expansion of 18.0 in z 13.849 * [taylor]: Taking taylor expansion of z in z 13.850 * [taylor]: Taking taylor expansion of 0 in y 13.851 * [taylor]: Taking taylor expansion of 0 in z 13.853 * [taylor]: Taking taylor expansion of 0 in y 13.853 * [taylor]: Taking taylor expansion of 0 in z 13.854 * [taylor]: Taking taylor expansion of 0 in z 13.856 * [taylor]: Taking taylor expansion of 0 in y 13.856 * [taylor]: Taking taylor expansion of 0 in z 13.856 * [taylor]: Taking taylor expansion of 0 in z 13.857 * [taylor]: Taking taylor expansion of 0 in z 13.857 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0 13.857 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z 13.857 * [taylor]: Taking taylor expansion of -18.0 in z 13.857 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 13.857 * [taylor]: Taking taylor expansion of x in z 13.857 * [taylor]: Taking taylor expansion of (* z y) in z 13.857 * [taylor]: Taking taylor expansion of z in z 13.857 * [taylor]: Taking taylor expansion of y in z 13.858 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y 13.858 * [taylor]: Taking taylor expansion of -18.0 in y 13.858 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 13.858 * [taylor]: Taking taylor expansion of x in y 13.858 * [taylor]: Taking taylor expansion of (* z y) in y 13.858 * [taylor]: Taking taylor expansion of z in y 13.858 * [taylor]: Taking taylor expansion of y in y 13.858 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x 13.858 * [taylor]: Taking taylor expansion of -18.0 in x 13.858 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.858 * [taylor]: Taking taylor expansion of x in x 13.858 * [taylor]: Taking taylor expansion of (* z y) in x 13.858 * [taylor]: Taking taylor expansion of z in x 13.858 * [taylor]: Taking taylor expansion of y in x 13.859 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x 13.859 * [taylor]: Taking taylor expansion of -18.0 in x 13.859 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.859 * [taylor]: Taking taylor expansion of x in x 13.859 * [taylor]: Taking taylor expansion of (* z y) in x 13.859 * [taylor]: Taking taylor expansion of z in x 13.859 * [taylor]: Taking taylor expansion of y in x 13.859 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y 13.859 * [taylor]: Taking taylor expansion of -18.0 in y 13.859 * [taylor]: Taking taylor expansion of (* z y) in y 13.860 * [taylor]: Taking taylor expansion of z in y 13.860 * [taylor]: Taking taylor expansion of y in y 13.860 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z 13.860 * [taylor]: Taking taylor expansion of -18.0 in z 13.860 * [taylor]: Taking taylor expansion of z in z 13.861 * [taylor]: Taking taylor expansion of 0 in y 13.862 * [taylor]: Taking taylor expansion of 0 in z 13.864 * [taylor]: Taking taylor expansion of 0 in y 13.864 * [taylor]: Taking taylor expansion of 0 in z 13.864 * [taylor]: Taking taylor expansion of 0 in z 13.867 * [taylor]: Taking taylor expansion of 0 in y 13.867 * [taylor]: Taking taylor expansion of 0 in z 13.867 * [taylor]: Taking taylor expansion of 0 in z 13.867 * [taylor]: Taking taylor expansion of 0 in z 13.868 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 13.868 * [approximate]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in (t x y z a) around 0 13.868 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in a 13.868 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in a 13.868 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in a 13.868 * [taylor]: Taking taylor expansion of 18.0 in a 13.868 * [taylor]: Taking taylor expansion of (* x (* z y)) in a 13.868 * [taylor]: Taking taylor expansion of x in a 13.868 * [taylor]: Taking taylor expansion of (* z y) in a 13.868 * [taylor]: Taking taylor expansion of z in a 13.868 * [taylor]: Taking taylor expansion of y in a 13.868 * [taylor]: Taking taylor expansion of (* 4.0 a) in a 13.868 * [taylor]: Taking taylor expansion of 4.0 in a 13.868 * [taylor]: Taking taylor expansion of a in a 13.868 * [taylor]: Taking taylor expansion of t in a 13.868 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in z 13.868 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in z 13.868 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z 13.868 * [taylor]: Taking taylor expansion of 18.0 in z 13.868 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 13.868 * [taylor]: Taking taylor expansion of x in z 13.868 * [taylor]: Taking taylor expansion of (* z y) in z 13.868 * [taylor]: Taking taylor expansion of z in z 13.868 * [taylor]: Taking taylor expansion of y in z 13.868 * [taylor]: Taking taylor expansion of (* 4.0 a) in z 13.868 * [taylor]: Taking taylor expansion of 4.0 in z 13.868 * [taylor]: Taking taylor expansion of a in z 13.868 * [taylor]: Taking taylor expansion of t in z 13.868 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in y 13.868 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in y 13.868 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y 13.868 * [taylor]: Taking taylor expansion of 18.0 in y 13.868 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 13.868 * [taylor]: Taking taylor expansion of x in y 13.868 * [taylor]: Taking taylor expansion of (* z y) in y 13.868 * [taylor]: Taking taylor expansion of z in y 13.869 * [taylor]: Taking taylor expansion of y in y 13.869 * [taylor]: Taking taylor expansion of (* 4.0 a) in y 13.869 * [taylor]: Taking taylor expansion of 4.0 in y 13.869 * [taylor]: Taking taylor expansion of a in y 13.869 * [taylor]: Taking taylor expansion of t in y 13.869 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in x 13.869 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in x 13.869 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x 13.869 * [taylor]: Taking taylor expansion of 18.0 in x 13.869 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.869 * [taylor]: Taking taylor expansion of x in x 13.869 * [taylor]: Taking taylor expansion of (* z y) in x 13.869 * [taylor]: Taking taylor expansion of z in x 13.869 * [taylor]: Taking taylor expansion of y in x 13.869 * [taylor]: Taking taylor expansion of (* 4.0 a) in x 13.869 * [taylor]: Taking taylor expansion of 4.0 in x 13.869 * [taylor]: Taking taylor expansion of a in x 13.869 * [taylor]: Taking taylor expansion of t in x 13.869 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in t 13.869 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in t 13.869 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in t 13.869 * [taylor]: Taking taylor expansion of 18.0 in t 13.869 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 13.869 * [taylor]: Taking taylor expansion of x in t 13.869 * [taylor]: Taking taylor expansion of (* z y) in t 13.869 * [taylor]: Taking taylor expansion of z in t 13.869 * [taylor]: Taking taylor expansion of y in t 13.869 * [taylor]: Taking taylor expansion of (* 4.0 a) in t 13.869 * [taylor]: Taking taylor expansion of 4.0 in t 13.869 * [taylor]: Taking taylor expansion of a in t 13.869 * [taylor]: Taking taylor expansion of t in t 13.869 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in t 13.869 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in t 13.869 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in t 13.869 * [taylor]: Taking taylor expansion of 18.0 in t 13.869 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 13.869 * [taylor]: Taking taylor expansion of x in t 13.869 * [taylor]: Taking taylor expansion of (* z y) in t 13.869 * [taylor]: Taking taylor expansion of z in t 13.869 * [taylor]: Taking taylor expansion of y in t 13.869 * [taylor]: Taking taylor expansion of (* 4.0 a) in t 13.869 * [taylor]: Taking taylor expansion of 4.0 in t 13.869 * [taylor]: Taking taylor expansion of a in t 13.869 * [taylor]: Taking taylor expansion of t in t 13.870 * [taylor]: Taking taylor expansion of 0 in x 13.870 * [taylor]: Taking taylor expansion of 0 in y 13.870 * [taylor]: Taking taylor expansion of 0 in z 13.870 * [taylor]: Taking taylor expansion of 0 in a 13.871 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in x 13.871 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x 13.871 * [taylor]: Taking taylor expansion of 18.0 in x 13.871 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.871 * [taylor]: Taking taylor expansion of x in x 13.871 * [taylor]: Taking taylor expansion of (* z y) in x 13.871 * [taylor]: Taking taylor expansion of z in x 13.871 * [taylor]: Taking taylor expansion of y in x 13.871 * [taylor]: Taking taylor expansion of (* 4.0 a) in x 13.871 * [taylor]: Taking taylor expansion of 4.0 in x 13.871 * [taylor]: Taking taylor expansion of a in x 13.872 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in y 13.872 * [taylor]: Taking taylor expansion of (* 4.0 a) in y 13.872 * [taylor]: Taking taylor expansion of 4.0 in y 13.872 * [taylor]: Taking taylor expansion of a in y 13.872 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in z 13.872 * [taylor]: Taking taylor expansion of (* 4.0 a) in z 13.872 * [taylor]: Taking taylor expansion of 4.0 in z 13.872 * [taylor]: Taking taylor expansion of a in z 13.872 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in a 13.872 * [taylor]: Taking taylor expansion of (* 4.0 a) in a 13.872 * [taylor]: Taking taylor expansion of 4.0 in a 13.872 * [taylor]: Taking taylor expansion of a in a 13.873 * [taylor]: Taking taylor expansion of 0 in y 13.873 * [taylor]: Taking taylor expansion of 0 in z 13.873 * [taylor]: Taking taylor expansion of 0 in a 13.873 * [taylor]: Taking taylor expansion of 0 in z 13.873 * [taylor]: Taking taylor expansion of 0 in a 13.873 * [taylor]: Taking taylor expansion of 0 in a 13.873 * [approximate]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in (t x y z a) around 0 13.873 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in a 13.873 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in a 13.873 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in a 13.873 * [taylor]: Taking taylor expansion of 18.0 in a 13.873 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a 13.873 * [taylor]: Taking taylor expansion of (* x (* z y)) in a 13.873 * [taylor]: Taking taylor expansion of x in a 13.873 * [taylor]: Taking taylor expansion of (* z y) in a 13.873 * [taylor]: Taking taylor expansion of z in a 13.873 * [taylor]: Taking taylor expansion of y in a 13.873 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a 13.873 * [taylor]: Taking taylor expansion of 4.0 in a 13.873 * [taylor]: Taking taylor expansion of (/ 1 a) in a 13.873 * [taylor]: Taking taylor expansion of a in a 13.874 * [taylor]: Taking taylor expansion of t in a 13.875 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in z 13.875 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in z 13.875 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in z 13.875 * [taylor]: Taking taylor expansion of 18.0 in z 13.875 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 13.875 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 13.875 * [taylor]: Taking taylor expansion of x in z 13.875 * [taylor]: Taking taylor expansion of (* z y) in z 13.875 * [taylor]: Taking taylor expansion of z in z 13.875 * [taylor]: Taking taylor expansion of y in z 13.876 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z 13.876 * [taylor]: Taking taylor expansion of 4.0 in z 13.876 * [taylor]: Taking taylor expansion of (/ 1 a) in z 13.876 * [taylor]: Taking taylor expansion of a in z 13.876 * [taylor]: Taking taylor expansion of t in z 13.876 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in y 13.876 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in y 13.876 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in y 13.876 * [taylor]: Taking taylor expansion of 18.0 in y 13.876 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 13.876 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 13.876 * [taylor]: Taking taylor expansion of x in y 13.876 * [taylor]: Taking taylor expansion of (* z y) in y 13.876 * [taylor]: Taking taylor expansion of z in y 13.876 * [taylor]: Taking taylor expansion of y in y 13.877 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y 13.877 * [taylor]: Taking taylor expansion of 4.0 in y 13.877 * [taylor]: Taking taylor expansion of (/ 1 a) in y 13.877 * [taylor]: Taking taylor expansion of a in y 13.877 * [taylor]: Taking taylor expansion of t in y 13.877 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in x 13.877 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in x 13.877 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x 13.877 * [taylor]: Taking taylor expansion of 18.0 in x 13.877 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 13.877 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.877 * [taylor]: Taking taylor expansion of x in x 13.877 * [taylor]: Taking taylor expansion of (* z y) in x 13.877 * [taylor]: Taking taylor expansion of z in x 13.877 * [taylor]: Taking taylor expansion of y in x 13.877 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x 13.877 * [taylor]: Taking taylor expansion of 4.0 in x 13.878 * [taylor]: Taking taylor expansion of (/ 1 a) in x 13.878 * [taylor]: Taking taylor expansion of a in x 13.878 * [taylor]: Taking taylor expansion of t in x 13.878 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in t 13.878 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in t 13.878 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t 13.878 * [taylor]: Taking taylor expansion of 18.0 in t 13.878 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t 13.878 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 13.878 * [taylor]: Taking taylor expansion of x in t 13.878 * [taylor]: Taking taylor expansion of (* z y) in t 13.878 * [taylor]: Taking taylor expansion of z in t 13.878 * [taylor]: Taking taylor expansion of y in t 13.878 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t 13.878 * [taylor]: Taking taylor expansion of 4.0 in t 13.878 * [taylor]: Taking taylor expansion of (/ 1 a) in t 13.878 * [taylor]: Taking taylor expansion of a in t 13.878 * [taylor]: Taking taylor expansion of t in t 13.878 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in t 13.878 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in t 13.878 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t 13.878 * [taylor]: Taking taylor expansion of 18.0 in t 13.878 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t 13.878 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 13.878 * [taylor]: Taking taylor expansion of x in t 13.878 * [taylor]: Taking taylor expansion of (* z y) in t 13.879 * [taylor]: Taking taylor expansion of z in t 13.879 * [taylor]: Taking taylor expansion of y in t 13.879 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t 13.879 * [taylor]: Taking taylor expansion of 4.0 in t 13.879 * [taylor]: Taking taylor expansion of (/ 1 a) in t 13.879 * [taylor]: Taking taylor expansion of a in t 13.879 * [taylor]: Taking taylor expansion of t in t 13.879 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in x 13.879 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x 13.879 * [taylor]: Taking taylor expansion of 18.0 in x 13.879 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 13.879 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.879 * [taylor]: Taking taylor expansion of x in x 13.879 * [taylor]: Taking taylor expansion of (* z y) in x 13.879 * [taylor]: Taking taylor expansion of z in x 13.879 * [taylor]: Taking taylor expansion of y in x 13.880 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x 13.880 * [taylor]: Taking taylor expansion of 4.0 in x 13.880 * [taylor]: Taking taylor expansion of (/ 1 a) in x 13.880 * [taylor]: Taking taylor expansion of a in x 13.880 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* z y))) in y 13.880 * [taylor]: Taking taylor expansion of 18.0 in y 13.880 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 13.880 * [taylor]: Taking taylor expansion of (* z y) in y 13.880 * [taylor]: Taking taylor expansion of z in y 13.880 * [taylor]: Taking taylor expansion of y in y 13.880 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z 13.880 * [taylor]: Taking taylor expansion of 18.0 in z 13.880 * [taylor]: Taking taylor expansion of z in z 13.881 * [taylor]: Taking taylor expansion of 18.0 in a 13.885 * [taylor]: Taking taylor expansion of 0 in x 13.886 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in y 13.886 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y 13.887 * [taylor]: Taking taylor expansion of 4.0 in y 13.887 * [taylor]: Taking taylor expansion of (/ 1 a) in y 13.887 * [taylor]: Taking taylor expansion of a in y 13.887 * [taylor]: Taking taylor expansion of 0 in z 13.888 * [taylor]: Taking taylor expansion of 0 in a 13.891 * [taylor]: Taking taylor expansion of 0 in x 13.891 * [taylor]: Taking taylor expansion of 0 in y 13.894 * [taylor]: Taking taylor expansion of 0 in y 13.894 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in z 13.894 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z 13.894 * [taylor]: Taking taylor expansion of 4.0 in z 13.894 * [taylor]: Taking taylor expansion of (/ 1 a) in z 13.894 * [taylor]: Taking taylor expansion of a in z 13.895 * [taylor]: Taking taylor expansion of 0 in z 13.895 * [taylor]: Taking taylor expansion of 0 in a 13.896 * [taylor]: Taking taylor expansion of 0 in a 13.900 * [taylor]: Taking taylor expansion of 0 in x 13.900 * [taylor]: Taking taylor expansion of 0 in y 13.900 * [taylor]: Taking taylor expansion of 0 in y 13.904 * [taylor]: Taking taylor expansion of 0 in y 13.904 * [taylor]: Taking taylor expansion of 0 in z 13.904 * [taylor]: Taking taylor expansion of 0 in z 13.905 * [taylor]: Taking taylor expansion of 0 in z 13.906 * [taylor]: Taking taylor expansion of 0 in z 13.906 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in a 13.906 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a 13.906 * [taylor]: Taking taylor expansion of 4.0 in a 13.906 * [taylor]: Taking taylor expansion of (/ 1 a) in a 13.906 * [taylor]: Taking taylor expansion of a in a 13.907 * [taylor]: Taking taylor expansion of 0 in a 13.908 * [taylor]: Taking taylor expansion of 0 in a 13.908 * [taylor]: Taking taylor expansion of 0 in a 13.914 * [taylor]: Taking taylor expansion of 0 in x 13.914 * [taylor]: Taking taylor expansion of 0 in y 13.914 * [taylor]: Taking taylor expansion of 0 in y 13.914 * [taylor]: Taking taylor expansion of 0 in y 13.919 * [taylor]: Taking taylor expansion of 0 in y 13.919 * [taylor]: Taking taylor expansion of 0 in z 13.919 * [taylor]: Taking taylor expansion of 0 in z 13.919 * [taylor]: Taking taylor expansion of 0 in z 13.919 * [taylor]: Taking taylor expansion of 0 in z 13.919 * [taylor]: Taking taylor expansion of 0 in z 13.920 * [taylor]: Taking taylor expansion of 0 in z 13.921 * [taylor]: Taking taylor expansion of 0 in z 13.922 * [taylor]: Taking taylor expansion of 0 in a 13.922 * [taylor]: Taking taylor expansion of 0 in a 13.922 * [taylor]: Taking taylor expansion of 0 in a 13.922 * [taylor]: Taking taylor expansion of 0 in a 13.922 * [taylor]: Taking taylor expansion of 0 in a 13.922 * [taylor]: Taking taylor expansion of 0 in a 13.922 * [taylor]: Taking taylor expansion of 0 in a 13.923 * [taylor]: Taking taylor expansion of 0 in a 13.925 * [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.925 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in a 13.925 * [taylor]: Taking taylor expansion of -1 in a 13.925 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in a 13.925 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in a 13.925 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a 13.925 * [taylor]: Taking taylor expansion of 4.0 in a 13.925 * [taylor]: Taking taylor expansion of (/ 1 a) in a 13.925 * [taylor]: Taking taylor expansion of a in a 13.925 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in a 13.925 * [taylor]: Taking taylor expansion of 18.0 in a 13.925 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a 13.925 * [taylor]: Taking taylor expansion of (* x (* z y)) in a 13.925 * [taylor]: Taking taylor expansion of x in a 13.925 * [taylor]: Taking taylor expansion of (* z y) in a 13.925 * [taylor]: Taking taylor expansion of z in a 13.925 * [taylor]: Taking taylor expansion of y in a 13.925 * [taylor]: Taking taylor expansion of t in a 13.926 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in z 13.926 * [taylor]: Taking taylor expansion of -1 in z 13.926 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in z 13.926 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in z 13.926 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z 13.926 * [taylor]: Taking taylor expansion of 4.0 in z 13.926 * [taylor]: Taking taylor expansion of (/ 1 a) in z 13.926 * [taylor]: Taking taylor expansion of a in z 13.926 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in z 13.926 * [taylor]: Taking taylor expansion of 18.0 in z 13.926 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 13.926 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 13.926 * [taylor]: Taking taylor expansion of x in z 13.926 * [taylor]: Taking taylor expansion of (* z y) in z 13.926 * [taylor]: Taking taylor expansion of z in z 13.926 * [taylor]: Taking taylor expansion of y in z 13.927 * [taylor]: Taking taylor expansion of t in z 13.927 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in y 13.927 * [taylor]: Taking taylor expansion of -1 in y 13.927 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in y 13.927 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in y 13.927 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y 13.927 * [taylor]: Taking taylor expansion of 4.0 in y 13.927 * [taylor]: Taking taylor expansion of (/ 1 a) in y 13.927 * [taylor]: Taking taylor expansion of a in y 13.927 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in y 13.927 * [taylor]: Taking taylor expansion of 18.0 in y 13.927 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 13.927 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 13.927 * [taylor]: Taking taylor expansion of x in y 13.927 * [taylor]: Taking taylor expansion of (* z y) in y 13.927 * [taylor]: Taking taylor expansion of z in y 13.927 * [taylor]: Taking taylor expansion of y in y 13.928 * [taylor]: Taking taylor expansion of t in y 13.928 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in x 13.928 * [taylor]: Taking taylor expansion of -1 in x 13.928 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in x 13.928 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in x 13.928 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x 13.928 * [taylor]: Taking taylor expansion of 4.0 in x 13.928 * [taylor]: Taking taylor expansion of (/ 1 a) in x 13.928 * [taylor]: Taking taylor expansion of a in x 13.928 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x 13.928 * [taylor]: Taking taylor expansion of 18.0 in x 13.928 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 13.928 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.928 * [taylor]: Taking taylor expansion of x in x 13.928 * [taylor]: Taking taylor expansion of (* z y) in x 13.929 * [taylor]: Taking taylor expansion of z in x 13.929 * [taylor]: Taking taylor expansion of y in x 13.929 * [taylor]: Taking taylor expansion of t in x 13.929 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in t 13.929 * [taylor]: Taking taylor expansion of -1 in t 13.929 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in t 13.929 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in t 13.929 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t 13.929 * [taylor]: Taking taylor expansion of 4.0 in t 13.929 * [taylor]: Taking taylor expansion of (/ 1 a) in t 13.929 * [taylor]: Taking taylor expansion of a in t 13.929 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t 13.929 * [taylor]: Taking taylor expansion of 18.0 in t 13.929 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t 13.929 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 13.929 * [taylor]: Taking taylor expansion of x in t 13.929 * [taylor]: Taking taylor expansion of (* z y) in t 13.929 * [taylor]: Taking taylor expansion of z in t 13.929 * [taylor]: Taking taylor expansion of y in t 13.930 * [taylor]: Taking taylor expansion of t in t 13.930 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in t 13.930 * [taylor]: Taking taylor expansion of -1 in t 13.930 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in t 13.930 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in t 13.930 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t 13.930 * [taylor]: Taking taylor expansion of 4.0 in t 13.930 * [taylor]: Taking taylor expansion of (/ 1 a) in t 13.930 * [taylor]: Taking taylor expansion of a in t 13.930 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t 13.930 * [taylor]: Taking taylor expansion of 18.0 in t 13.930 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t 13.930 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 13.930 * [taylor]: Taking taylor expansion of x in t 13.930 * [taylor]: Taking taylor expansion of (* z y) in t 13.930 * [taylor]: Taking taylor expansion of z in t 13.930 * [taylor]: Taking taylor expansion of y in t 13.930 * [taylor]: Taking taylor expansion of t in t 13.931 * [taylor]: Taking taylor expansion of (* -1 (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y)))))) in x 13.931 * [taylor]: Taking taylor expansion of -1 in x 13.931 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in x 13.931 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x 13.931 * [taylor]: Taking taylor expansion of 4.0 in x 13.931 * [taylor]: Taking taylor expansion of (/ 1 a) in x 13.931 * [taylor]: Taking taylor expansion of a in x 13.931 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x 13.931 * [taylor]: Taking taylor expansion of 18.0 in x 13.931 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 13.931 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 13.931 * [taylor]: Taking taylor expansion of x in x 13.931 * [taylor]: Taking taylor expansion of (* z y) in x 13.931 * [taylor]: Taking taylor expansion of z in x 13.931 * [taylor]: Taking taylor expansion of y in x 13.932 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y 13.932 * [taylor]: Taking taylor expansion of 18.0 in y 13.932 * [taylor]: Taking taylor expansion of (* z y) in y 13.932 * [taylor]: Taking taylor expansion of z in y 13.932 * [taylor]: Taking taylor expansion of y in y 13.932 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z 13.932 * [taylor]: Taking taylor expansion of 18.0 in z 13.932 * [taylor]: Taking taylor expansion of z in z 13.932 * [taylor]: Taking taylor expansion of 18.0 in a 13.935 * [taylor]: Taking taylor expansion of 0 in x 13.936 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in y 13.936 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y 13.936 * [taylor]: Taking taylor expansion of 4.0 in y 13.936 * [taylor]: Taking taylor expansion of (/ 1 a) in y 13.936 * [taylor]: Taking taylor expansion of a in y 13.937 * [taylor]: Taking taylor expansion of 0 in z 13.937 * [taylor]: Taking taylor expansion of 0 in a 13.941 * [taylor]: Taking taylor expansion of 0 in x 13.941 * [taylor]: Taking taylor expansion of 0 in y 13.944 * [taylor]: Taking taylor expansion of 0 in y 13.945 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in z 13.945 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z 13.945 * [taylor]: Taking taylor expansion of 4.0 in z 13.945 * [taylor]: Taking taylor expansion of (/ 1 a) in z 13.945 * [taylor]: Taking taylor expansion of a in z 13.945 * [taylor]: Taking taylor expansion of 0 in z 13.945 * [taylor]: Taking taylor expansion of 0 in a 13.946 * [taylor]: Taking taylor expansion of 0 in a 13.951 * [taylor]: Taking taylor expansion of 0 in x 13.951 * [taylor]: Taking taylor expansion of 0 in y 13.951 * [taylor]: Taking taylor expansion of 0 in y 13.956 * [taylor]: Taking taylor expansion of 0 in y 13.956 * [taylor]: Taking taylor expansion of 0 in z 13.956 * [taylor]: Taking taylor expansion of 0 in z 13.956 * [taylor]: Taking taylor expansion of 0 in z 13.957 * [taylor]: Taking taylor expansion of 0 in z 13.957 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in a 13.957 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a 13.957 * [taylor]: Taking taylor expansion of 4.0 in a 13.957 * [taylor]: Taking taylor expansion of (/ 1 a) in a 13.957 * [taylor]: Taking taylor expansion of a in a 13.958 * [taylor]: Taking taylor expansion of 0 in a 13.958 * [taylor]: Taking taylor expansion of 0 in a 13.959 * [taylor]: Taking taylor expansion of 0 in a 13.968 * [taylor]: Taking taylor expansion of 0 in x 13.968 * [taylor]: Taking taylor expansion of 0 in y 13.968 * [taylor]: Taking taylor expansion of 0 in y 13.968 * [taylor]: Taking taylor expansion of 0 in y 13.974 * [taylor]: Taking taylor expansion of 0 in y 13.974 * [taylor]: Taking taylor expansion of 0 in z 13.974 * [taylor]: Taking taylor expansion of 0 in z 13.974 * [taylor]: Taking taylor expansion of 0 in z 13.974 * [taylor]: Taking taylor expansion of 0 in z 13.974 * [taylor]: Taking taylor expansion of 0 in z 13.975 * [taylor]: Taking taylor expansion of 0 in z 13.975 * [taylor]: Taking taylor expansion of 0 in z 13.976 * [taylor]: Taking taylor expansion of 0 in a 13.976 * [taylor]: Taking taylor expansion of 0 in a 13.976 * [taylor]: Taking taylor expansion of 0 in a 13.976 * [taylor]: Taking taylor expansion of 0 in a 13.976 * [taylor]: Taking taylor expansion of 0 in a 13.976 * [taylor]: Taking taylor expansion of 0 in a 13.976 * [taylor]: Taking taylor expansion of 0 in a 13.977 * [taylor]: Taking taylor expansion of 0 in a 13.979 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 13.979 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0 13.979 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k 13.979 * [taylor]: Taking taylor expansion of 27.0 in k 13.979 * [taylor]: Taking taylor expansion of (* k j) in k 13.979 * [taylor]: Taking taylor expansion of k in k 13.979 * [taylor]: Taking taylor expansion of j in k 13.979 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j 13.979 * [taylor]: Taking taylor expansion of 27.0 in j 13.979 * [taylor]: Taking taylor expansion of (* k j) in j 13.979 * [taylor]: Taking taylor expansion of k in j 13.979 * [taylor]: Taking taylor expansion of j in j 13.979 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j 13.979 * [taylor]: Taking taylor expansion of 27.0 in j 13.979 * [taylor]: Taking taylor expansion of (* k j) in j 13.979 * [taylor]: Taking taylor expansion of k in j 13.979 * [taylor]: Taking taylor expansion of j in j 13.979 * [taylor]: Taking taylor expansion of 0 in k 13.980 * [taylor]: Taking taylor expansion of (* 27.0 k) in k 13.980 * [taylor]: Taking taylor expansion of 27.0 in k 13.980 * [taylor]: Taking taylor expansion of k in k 13.981 * [taylor]: Taking taylor expansion of 0 in k 13.983 * [taylor]: Taking taylor expansion of 0 in k 13.985 * [taylor]: Taking taylor expansion of 0 in k 13.985 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0 13.985 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k 13.985 * [taylor]: Taking taylor expansion of 27.0 in k 13.985 * [taylor]: Taking taylor expansion of (* k j) in k 13.985 * [taylor]: Taking taylor expansion of k in k 13.985 * [taylor]: Taking taylor expansion of j in k 13.986 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j 13.986 * [taylor]: Taking taylor expansion of 27.0 in j 13.986 * [taylor]: Taking taylor expansion of (* k j) in j 13.986 * [taylor]: Taking taylor expansion of k in j 13.986 * [taylor]: Taking taylor expansion of j in j 13.986 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j 13.986 * [taylor]: Taking taylor expansion of 27.0 in j 13.986 * [taylor]: Taking taylor expansion of (* k j) in j 13.986 * [taylor]: Taking taylor expansion of k in j 13.986 * [taylor]: Taking taylor expansion of j in j 13.987 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k 13.987 * [taylor]: Taking taylor expansion of 27.0 in k 13.987 * [taylor]: Taking taylor expansion of k in k 13.987 * [taylor]: Taking taylor expansion of 0 in k 13.988 * [taylor]: Taking taylor expansion of 0 in k 13.990 * [taylor]: Taking taylor expansion of 0 in k 13.990 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0 13.990 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k 13.990 * [taylor]: Taking taylor expansion of 27.0 in k 13.990 * [taylor]: Taking taylor expansion of (* k j) in k 13.990 * [taylor]: Taking taylor expansion of k in k 13.990 * [taylor]: Taking taylor expansion of j in k 13.991 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j 13.991 * [taylor]: Taking taylor expansion of 27.0 in j 13.991 * [taylor]: Taking taylor expansion of (* k j) in j 13.991 * [taylor]: Taking taylor expansion of k in j 13.991 * [taylor]: Taking taylor expansion of j in j 13.991 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j 13.991 * [taylor]: Taking taylor expansion of 27.0 in j 13.991 * [taylor]: Taking taylor expansion of (* k j) in j 13.991 * [taylor]: Taking taylor expansion of k in j 13.991 * [taylor]: Taking taylor expansion of j in j 13.992 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k 13.992 * [taylor]: Taking taylor expansion of 27.0 in k 13.992 * [taylor]: Taking taylor expansion of k in k 13.992 * [taylor]: Taking taylor expansion of 0 in k 13.994 * [taylor]: Taking taylor expansion of 0 in k 13.995 * [taylor]: Taking taylor expansion of 0 in k 13.995 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1) 13.996 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0 13.996 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y 13.996 * [taylor]: Taking taylor expansion of 18.0 in y 13.996 * [taylor]: Taking taylor expansion of (* x y) in y 13.996 * [taylor]: Taking taylor expansion of x in y 13.996 * [taylor]: Taking taylor expansion of y in y 13.996 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x 13.996 * [taylor]: Taking taylor expansion of 18.0 in x 13.996 * [taylor]: Taking taylor expansion of (* x y) in x 13.996 * [taylor]: Taking taylor expansion of x in x 13.996 * [taylor]: Taking taylor expansion of y in x 13.996 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x 13.996 * [taylor]: Taking taylor expansion of 18.0 in x 13.996 * [taylor]: Taking taylor expansion of (* x y) in x 13.996 * [taylor]: Taking taylor expansion of x in x 13.996 * [taylor]: Taking taylor expansion of y in x 13.996 * [taylor]: Taking taylor expansion of 0 in y 13.997 * [taylor]: Taking taylor expansion of (* 18.0 y) in y 13.997 * [taylor]: Taking taylor expansion of 18.0 in y 13.997 * [taylor]: Taking taylor expansion of y in y 13.998 * [taylor]: Taking taylor expansion of 0 in y 14.000 * [taylor]: Taking taylor expansion of 0 in y 14.003 * [taylor]: Taking taylor expansion of 0 in y 14.003 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0 14.003 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y 14.003 * [taylor]: Taking taylor expansion of 18.0 in y 14.003 * [taylor]: Taking taylor expansion of (* x y) in y 14.003 * [taylor]: Taking taylor expansion of x in y 14.003 * [taylor]: Taking taylor expansion of y in y 14.003 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x 14.003 * [taylor]: Taking taylor expansion of 18.0 in x 14.003 * [taylor]: Taking taylor expansion of (* x y) in x 14.003 * [taylor]: Taking taylor expansion of x in x 14.003 * [taylor]: Taking taylor expansion of y in x 14.004 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x 14.004 * [taylor]: Taking taylor expansion of 18.0 in x 14.004 * [taylor]: Taking taylor expansion of (* x y) in x 14.004 * [taylor]: Taking taylor expansion of x in x 14.004 * [taylor]: Taking taylor expansion of y in x 14.004 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y 14.004 * [taylor]: Taking taylor expansion of 18.0 in y 14.004 * [taylor]: Taking taylor expansion of y in y 14.005 * [taylor]: Taking taylor expansion of 0 in y 14.006 * [taylor]: Taking taylor expansion of 0 in y 14.008 * [taylor]: Taking taylor expansion of 0 in y 14.009 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0 14.009 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y 14.009 * [taylor]: Taking taylor expansion of 18.0 in y 14.009 * [taylor]: Taking taylor expansion of (* x y) in y 14.009 * [taylor]: Taking taylor expansion of x in y 14.009 * [taylor]: Taking taylor expansion of y in y 14.009 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x 14.009 * [taylor]: Taking taylor expansion of 18.0 in x 14.009 * [taylor]: Taking taylor expansion of (* x y) in x 14.009 * [taylor]: Taking taylor expansion of x in x 14.009 * [taylor]: Taking taylor expansion of y in x 14.010 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x 14.010 * [taylor]: Taking taylor expansion of 18.0 in x 14.010 * [taylor]: Taking taylor expansion of (* x y) in x 14.010 * [taylor]: Taking taylor expansion of x in x 14.010 * [taylor]: Taking taylor expansion of y in x 14.010 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y 14.010 * [taylor]: Taking taylor expansion of 18.0 in y 14.010 * [taylor]: Taking taylor expansion of y in y 14.011 * [taylor]: Taking taylor expansion of 0 in y 14.012 * [taylor]: Taking taylor expansion of 0 in y 14.014 * [taylor]: Taking taylor expansion of 0 in y 14.015 * * * [progress]: simplifying candidates 14.016 * [simplify]: Simplifying using # : (* (* (* 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)) 14.019 * * [simplify]: iteration 0 : 158 enodes (cost 1015 ) 14.050 * * [simplify]: iteration 1 : 403 enodes (cost 980 ) 14.194 * * [simplify]: iteration 2 : 1774 enodes (cost 822 ) 14.845 * * [simplify]: iteration done : 5000 enodes (cost 822 ) 14.846 * [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) (* y 18.0) 0 (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z) 0 (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* (* j 27.0) k) (* (* j 27.0) k) (* (* j 27.0) k) (* (* x 18.0) y) (* (* x 18.0) y) (* (* x 18.0) y) 14.846 * * * [progress]: adding candidates to table 15.126 * * [progress]: iteration 2 / 4 15.126 * * * [progress]: picking best candidate 15.164 * * * * [pick]: Picked # 15.164 * * * [progress]: localizing error 15.184 * * * [progress]: generating rewritten candidates 15.184 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1) 15.204 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 15.286 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 15.292 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1) 15.300 * * * [progress]: generating series expansions 15.300 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1) 15.300 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0 15.300 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z 15.300 * [taylor]: Taking taylor expansion of 18.0 in z 15.300 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 15.300 * [taylor]: Taking taylor expansion of x in z 15.300 * [taylor]: Taking taylor expansion of (* z y) in z 15.300 * [taylor]: Taking taylor expansion of z in z 15.300 * [taylor]: Taking taylor expansion of y in z 15.300 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y 15.300 * [taylor]: Taking taylor expansion of 18.0 in y 15.300 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 15.300 * [taylor]: Taking taylor expansion of x in y 15.301 * [taylor]: Taking taylor expansion of (* z y) in y 15.301 * [taylor]: Taking taylor expansion of z in y 15.301 * [taylor]: Taking taylor expansion of y in y 15.301 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x 15.301 * [taylor]: Taking taylor expansion of 18.0 in x 15.301 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 15.301 * [taylor]: Taking taylor expansion of x in x 15.301 * [taylor]: Taking taylor expansion of (* z y) in x 15.301 * [taylor]: Taking taylor expansion of z in x 15.301 * [taylor]: Taking taylor expansion of y in x 15.301 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x 15.301 * [taylor]: Taking taylor expansion of 18.0 in x 15.301 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 15.301 * [taylor]: Taking taylor expansion of x in x 15.301 * [taylor]: Taking taylor expansion of (* z y) in x 15.301 * [taylor]: Taking taylor expansion of z in x 15.301 * [taylor]: Taking taylor expansion of y in x 15.302 * [taylor]: Taking taylor expansion of 0 in y 15.302 * [taylor]: Taking taylor expansion of 0 in z 15.302 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y 15.302 * [taylor]: Taking taylor expansion of 18.0 in y 15.302 * [taylor]: Taking taylor expansion of (* z y) in y 15.302 * [taylor]: Taking taylor expansion of z in y 15.302 * [taylor]: Taking taylor expansion of y in y 15.303 * [taylor]: Taking taylor expansion of 0 in z 15.303 * [taylor]: Taking taylor expansion of 0 in z 15.304 * [taylor]: Taking taylor expansion of 0 in y 15.306 * [taylor]: Taking taylor expansion of 0 in z 15.307 * [taylor]: Taking taylor expansion of (* 18.0 z) in z 15.307 * [taylor]: Taking taylor expansion of 18.0 in z 15.307 * [taylor]: Taking taylor expansion of z in z 15.307 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0 15.307 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z 15.307 * [taylor]: Taking taylor expansion of 18.0 in z 15.307 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 15.307 * [taylor]: Taking taylor expansion of x in z 15.307 * [taylor]: Taking taylor expansion of (* z y) in z 15.307 * [taylor]: Taking taylor expansion of z in z 15.307 * [taylor]: Taking taylor expansion of y in z 15.308 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y 15.308 * [taylor]: Taking taylor expansion of 18.0 in y 15.308 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 15.308 * [taylor]: Taking taylor expansion of x in y 15.308 * [taylor]: Taking taylor expansion of (* z y) in y 15.308 * [taylor]: Taking taylor expansion of z in y 15.308 * [taylor]: Taking taylor expansion of y in y 15.308 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x 15.308 * [taylor]: Taking taylor expansion of 18.0 in x 15.309 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 15.309 * [taylor]: Taking taylor expansion of x in x 15.309 * [taylor]: Taking taylor expansion of (* z y) in x 15.309 * [taylor]: Taking taylor expansion of z in x 15.309 * [taylor]: Taking taylor expansion of y in x 15.309 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x 15.309 * [taylor]: Taking taylor expansion of 18.0 in x 15.309 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 15.309 * [taylor]: Taking taylor expansion of x in x 15.309 * [taylor]: Taking taylor expansion of (* z y) in x 15.309 * [taylor]: Taking taylor expansion of z in x 15.309 * [taylor]: Taking taylor expansion of y in x 15.309 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y 15.310 * [taylor]: Taking taylor expansion of 18.0 in y 15.310 * [taylor]: Taking taylor expansion of (* z y) in y 15.310 * [taylor]: Taking taylor expansion of z in y 15.310 * [taylor]: Taking taylor expansion of y in y 15.310 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z 15.310 * [taylor]: Taking taylor expansion of 18.0 in z 15.310 * [taylor]: Taking taylor expansion of z in z 15.311 * [taylor]: Taking taylor expansion of 0 in y 15.312 * [taylor]: Taking taylor expansion of 0 in z 15.314 * [taylor]: Taking taylor expansion of 0 in y 15.314 * [taylor]: Taking taylor expansion of 0 in z 15.314 * [taylor]: Taking taylor expansion of 0 in z 15.317 * [taylor]: Taking taylor expansion of 0 in y 15.317 * [taylor]: Taking taylor expansion of 0 in z 15.317 * [taylor]: Taking taylor expansion of 0 in z 15.317 * [taylor]: Taking taylor expansion of 0 in z 15.318 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0 15.318 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z 15.318 * [taylor]: Taking taylor expansion of -18.0 in z 15.318 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 15.318 * [taylor]: Taking taylor expansion of x in z 15.318 * [taylor]: Taking taylor expansion of (* z y) in z 15.318 * [taylor]: Taking taylor expansion of z in z 15.318 * [taylor]: Taking taylor expansion of y in z 15.319 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y 15.319 * [taylor]: Taking taylor expansion of -18.0 in y 15.319 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 15.319 * [taylor]: Taking taylor expansion of x in y 15.319 * [taylor]: Taking taylor expansion of (* z y) in y 15.319 * [taylor]: Taking taylor expansion of z in y 15.319 * [taylor]: Taking taylor expansion of y in y 15.319 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x 15.319 * [taylor]: Taking taylor expansion of -18.0 in x 15.319 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 15.319 * [taylor]: Taking taylor expansion of x in x 15.319 * [taylor]: Taking taylor expansion of (* z y) in x 15.319 * [taylor]: Taking taylor expansion of z in x 15.319 * [taylor]: Taking taylor expansion of y in x 15.320 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x 15.320 * [taylor]: Taking taylor expansion of -18.0 in x 15.320 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 15.320 * [taylor]: Taking taylor expansion of x in x 15.320 * [taylor]: Taking taylor expansion of (* z y) in x 15.320 * [taylor]: Taking taylor expansion of z in x 15.320 * [taylor]: Taking taylor expansion of y in x 15.320 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y 15.320 * [taylor]: Taking taylor expansion of -18.0 in y 15.320 * [taylor]: Taking taylor expansion of (* z y) in y 15.320 * [taylor]: Taking taylor expansion of z in y 15.320 * [taylor]: Taking taylor expansion of y in y 15.321 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z 15.321 * [taylor]: Taking taylor expansion of -18.0 in z 15.321 * [taylor]: Taking taylor expansion of z in z 15.322 * [taylor]: Taking taylor expansion of 0 in y 15.322 * [taylor]: Taking taylor expansion of 0 in z 15.324 * [taylor]: Taking taylor expansion of 0 in y 15.324 * [taylor]: Taking taylor expansion of 0 in z 15.325 * [taylor]: Taking taylor expansion of 0 in z 15.327 * [taylor]: Taking taylor expansion of 0 in y 15.327 * [taylor]: Taking taylor expansion of 0 in z 15.327 * [taylor]: Taking taylor expansion of 0 in z 15.328 * [taylor]: Taking taylor expansion of 0 in z 15.328 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 15.328 * [approximate]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in (t x y z a) around 0 15.329 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in a 15.329 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in a 15.329 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in a 15.329 * [taylor]: Taking taylor expansion of 18.0 in a 15.329 * [taylor]: Taking taylor expansion of (* x (* z y)) in a 15.329 * [taylor]: Taking taylor expansion of x in a 15.329 * [taylor]: Taking taylor expansion of (* z y) in a 15.329 * [taylor]: Taking taylor expansion of z in a 15.329 * [taylor]: Taking taylor expansion of y in a 15.329 * [taylor]: Taking taylor expansion of (* 4.0 a) in a 15.329 * [taylor]: Taking taylor expansion of 4.0 in a 15.329 * [taylor]: Taking taylor expansion of a in a 15.329 * [taylor]: Taking taylor expansion of t in a 15.329 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in z 15.329 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in z 15.329 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z 15.329 * [taylor]: Taking taylor expansion of 18.0 in z 15.329 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 15.329 * [taylor]: Taking taylor expansion of x in z 15.329 * [taylor]: Taking taylor expansion of (* z y) in z 15.329 * [taylor]: Taking taylor expansion of z in z 15.329 * [taylor]: Taking taylor expansion of y in z 15.329 * [taylor]: Taking taylor expansion of (* 4.0 a) in z 15.329 * [taylor]: Taking taylor expansion of 4.0 in z 15.329 * [taylor]: Taking taylor expansion of a in z 15.329 * [taylor]: Taking taylor expansion of t in z 15.329 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in y 15.329 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in y 15.329 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y 15.329 * [taylor]: Taking taylor expansion of 18.0 in y 15.329 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 15.329 * [taylor]: Taking taylor expansion of x in y 15.329 * [taylor]: Taking taylor expansion of (* z y) in y 15.329 * [taylor]: Taking taylor expansion of z in y 15.329 * [taylor]: Taking taylor expansion of y in y 15.329 * [taylor]: Taking taylor expansion of (* 4.0 a) in y 15.329 * [taylor]: Taking taylor expansion of 4.0 in y 15.329 * [taylor]: Taking taylor expansion of a in y 15.329 * [taylor]: Taking taylor expansion of t in y 15.329 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in x 15.329 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in x 15.329 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x 15.329 * [taylor]: Taking taylor expansion of 18.0 in x 15.329 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 15.329 * [taylor]: Taking taylor expansion of x in x 15.329 * [taylor]: Taking taylor expansion of (* z y) in x 15.329 * [taylor]: Taking taylor expansion of z in x 15.329 * [taylor]: Taking taylor expansion of y in x 15.329 * [taylor]: Taking taylor expansion of (* 4.0 a) in x 15.329 * [taylor]: Taking taylor expansion of 4.0 in x 15.329 * [taylor]: Taking taylor expansion of a in x 15.329 * [taylor]: Taking taylor expansion of t in x 15.329 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in t 15.329 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in t 15.329 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in t 15.329 * [taylor]: Taking taylor expansion of 18.0 in t 15.330 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 15.330 * [taylor]: Taking taylor expansion of x in t 15.330 * [taylor]: Taking taylor expansion of (* z y) in t 15.330 * [taylor]: Taking taylor expansion of z in t 15.330 * [taylor]: Taking taylor expansion of y in t 15.330 * [taylor]: Taking taylor expansion of (* 4.0 a) in t 15.330 * [taylor]: Taking taylor expansion of 4.0 in t 15.330 * [taylor]: Taking taylor expansion of a in t 15.330 * [taylor]: Taking taylor expansion of t in t 15.330 * [taylor]: Taking taylor expansion of (* (- (* 18.0 (* x (* z y))) (* 4.0 a)) t) in t 15.330 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in t 15.330 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in t 15.330 * [taylor]: Taking taylor expansion of 18.0 in t 15.330 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 15.330 * [taylor]: Taking taylor expansion of x in t 15.330 * [taylor]: Taking taylor expansion of (* z y) in t 15.330 * [taylor]: Taking taylor expansion of z in t 15.330 * [taylor]: Taking taylor expansion of y in t 15.330 * [taylor]: Taking taylor expansion of (* 4.0 a) in t 15.330 * [taylor]: Taking taylor expansion of 4.0 in t 15.330 * [taylor]: Taking taylor expansion of a in t 15.330 * [taylor]: Taking taylor expansion of t in t 15.330 * [taylor]: Taking taylor expansion of 0 in x 15.330 * [taylor]: Taking taylor expansion of 0 in y 15.330 * [taylor]: Taking taylor expansion of 0 in z 15.330 * [taylor]: Taking taylor expansion of 0 in a 15.332 * [taylor]: Taking taylor expansion of (- (* 18.0 (* x (* z y))) (* 4.0 a)) in x 15.332 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x 15.332 * [taylor]: Taking taylor expansion of 18.0 in x 15.332 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 15.332 * [taylor]: Taking taylor expansion of x in x 15.332 * [taylor]: Taking taylor expansion of (* z y) in x 15.332 * [taylor]: Taking taylor expansion of z in x 15.332 * [taylor]: Taking taylor expansion of y in x 15.332 * [taylor]: Taking taylor expansion of (* 4.0 a) in x 15.332 * [taylor]: Taking taylor expansion of 4.0 in x 15.332 * [taylor]: Taking taylor expansion of a in x 15.333 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in y 15.333 * [taylor]: Taking taylor expansion of (* 4.0 a) in y 15.333 * [taylor]: Taking taylor expansion of 4.0 in y 15.333 * [taylor]: Taking taylor expansion of a in y 15.333 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in z 15.333 * [taylor]: Taking taylor expansion of (* 4.0 a) in z 15.333 * [taylor]: Taking taylor expansion of 4.0 in z 15.333 * [taylor]: Taking taylor expansion of a in z 15.333 * [taylor]: Taking taylor expansion of (- (* 4.0 a)) in a 15.333 * [taylor]: Taking taylor expansion of (* 4.0 a) in a 15.333 * [taylor]: Taking taylor expansion of 4.0 in a 15.333 * [taylor]: Taking taylor expansion of a in a 15.333 * [taylor]: Taking taylor expansion of 0 in y 15.334 * [taylor]: Taking taylor expansion of 0 in z 15.334 * [taylor]: Taking taylor expansion of 0 in a 15.334 * [taylor]: Taking taylor expansion of 0 in z 15.334 * [taylor]: Taking taylor expansion of 0 in a 15.334 * [taylor]: Taking taylor expansion of 0 in a 15.334 * [approximate]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in (t x y z a) around 0 15.334 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in a 15.334 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in a 15.334 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in a 15.334 * [taylor]: Taking taylor expansion of 18.0 in a 15.334 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a 15.334 * [taylor]: Taking taylor expansion of (* x (* z y)) in a 15.334 * [taylor]: Taking taylor expansion of x in a 15.334 * [taylor]: Taking taylor expansion of (* z y) in a 15.334 * [taylor]: Taking taylor expansion of z in a 15.334 * [taylor]: Taking taylor expansion of y in a 15.334 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a 15.334 * [taylor]: Taking taylor expansion of 4.0 in a 15.334 * [taylor]: Taking taylor expansion of (/ 1 a) in a 15.334 * [taylor]: Taking taylor expansion of a in a 15.335 * [taylor]: Taking taylor expansion of t in a 15.336 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in z 15.336 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in z 15.336 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in z 15.336 * [taylor]: Taking taylor expansion of 18.0 in z 15.336 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 15.336 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 15.336 * [taylor]: Taking taylor expansion of x in z 15.336 * [taylor]: Taking taylor expansion of (* z y) in z 15.336 * [taylor]: Taking taylor expansion of z in z 15.336 * [taylor]: Taking taylor expansion of y in z 15.337 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z 15.337 * [taylor]: Taking taylor expansion of 4.0 in z 15.337 * [taylor]: Taking taylor expansion of (/ 1 a) in z 15.337 * [taylor]: Taking taylor expansion of a in z 15.337 * [taylor]: Taking taylor expansion of t in z 15.337 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in y 15.337 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in y 15.337 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in y 15.337 * [taylor]: Taking taylor expansion of 18.0 in y 15.337 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 15.337 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 15.337 * [taylor]: Taking taylor expansion of x in y 15.337 * [taylor]: Taking taylor expansion of (* z y) in y 15.337 * [taylor]: Taking taylor expansion of z in y 15.337 * [taylor]: Taking taylor expansion of y in y 15.338 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y 15.338 * [taylor]: Taking taylor expansion of 4.0 in y 15.338 * [taylor]: Taking taylor expansion of (/ 1 a) in y 15.338 * [taylor]: Taking taylor expansion of a in y 15.338 * [taylor]: Taking taylor expansion of t in y 15.338 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in x 15.338 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in x 15.338 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x 15.338 * [taylor]: Taking taylor expansion of 18.0 in x 15.338 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 15.338 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 15.338 * [taylor]: Taking taylor expansion of x in x 15.338 * [taylor]: Taking taylor expansion of (* z y) in x 15.338 * [taylor]: Taking taylor expansion of z in x 15.338 * [taylor]: Taking taylor expansion of y in x 15.339 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x 15.339 * [taylor]: Taking taylor expansion of 4.0 in x 15.339 * [taylor]: Taking taylor expansion of (/ 1 a) in x 15.339 * [taylor]: Taking taylor expansion of a in x 15.339 * [taylor]: Taking taylor expansion of t in x 15.339 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in t 15.339 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in t 15.339 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t 15.339 * [taylor]: Taking taylor expansion of 18.0 in t 15.339 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t 15.339 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 15.339 * [taylor]: Taking taylor expansion of x in t 15.339 * [taylor]: Taking taylor expansion of (* z y) in t 15.339 * [taylor]: Taking taylor expansion of z in t 15.339 * [taylor]: Taking taylor expansion of y in t 15.339 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t 15.339 * [taylor]: Taking taylor expansion of 4.0 in t 15.339 * [taylor]: Taking taylor expansion of (/ 1 a) in t 15.339 * [taylor]: Taking taylor expansion of a in t 15.339 * [taylor]: Taking taylor expansion of t in t 15.339 * [taylor]: Taking taylor expansion of (/ (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) t) in t 15.340 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in t 15.340 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t 15.340 * [taylor]: Taking taylor expansion of 18.0 in t 15.340 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t 15.340 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 15.340 * [taylor]: Taking taylor expansion of x in t 15.340 * [taylor]: Taking taylor expansion of (* z y) in t 15.340 * [taylor]: Taking taylor expansion of z in t 15.340 * [taylor]: Taking taylor expansion of y in t 15.340 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t 15.340 * [taylor]: Taking taylor expansion of 4.0 in t 15.340 * [taylor]: Taking taylor expansion of (/ 1 a) in t 15.340 * [taylor]: Taking taylor expansion of a in t 15.340 * [taylor]: Taking taylor expansion of t in t 15.340 * [taylor]: Taking taylor expansion of (- (* 18.0 (/ 1 (* x (* z y)))) (* 4.0 (/ 1 a))) in x 15.340 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x 15.340 * [taylor]: Taking taylor expansion of 18.0 in x 15.340 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 15.340 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 15.340 * [taylor]: Taking taylor expansion of x in x 15.340 * [taylor]: Taking taylor expansion of (* z y) in x 15.340 * [taylor]: Taking taylor expansion of z in x 15.340 * [taylor]: Taking taylor expansion of y in x 15.341 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x 15.341 * [taylor]: Taking taylor expansion of 4.0 in x 15.341 * [taylor]: Taking taylor expansion of (/ 1 a) in x 15.341 * [taylor]: Taking taylor expansion of a in x 15.341 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* z y))) in y 15.341 * [taylor]: Taking taylor expansion of 18.0 in y 15.341 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 15.341 * [taylor]: Taking taylor expansion of (* z y) in y 15.341 * [taylor]: Taking taylor expansion of z in y 15.341 * [taylor]: Taking taylor expansion of y in y 15.341 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z 15.341 * [taylor]: Taking taylor expansion of 18.0 in z 15.341 * [taylor]: Taking taylor expansion of z in z 15.342 * [taylor]: Taking taylor expansion of 18.0 in a 15.344 * [taylor]: Taking taylor expansion of 0 in x 15.345 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in y 15.345 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y 15.345 * [taylor]: Taking taylor expansion of 4.0 in y 15.345 * [taylor]: Taking taylor expansion of (/ 1 a) in y 15.345 * [taylor]: Taking taylor expansion of a in y 15.346 * [taylor]: Taking taylor expansion of 0 in z 15.346 * [taylor]: Taking taylor expansion of 0 in a 15.350 * [taylor]: Taking taylor expansion of 0 in x 15.350 * [taylor]: Taking taylor expansion of 0 in y 15.352 * [taylor]: Taking taylor expansion of 0 in y 15.353 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in z 15.353 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z 15.353 * [taylor]: Taking taylor expansion of 4.0 in z 15.353 * [taylor]: Taking taylor expansion of (/ 1 a) in z 15.353 * [taylor]: Taking taylor expansion of a in z 15.354 * [taylor]: Taking taylor expansion of 0 in z 15.354 * [taylor]: Taking taylor expansion of 0 in a 15.355 * [taylor]: Taking taylor expansion of 0 in a 15.359 * [taylor]: Taking taylor expansion of 0 in x 15.359 * [taylor]: Taking taylor expansion of 0 in y 15.359 * [taylor]: Taking taylor expansion of 0 in y 15.363 * [taylor]: Taking taylor expansion of 0 in y 15.363 * [taylor]: Taking taylor expansion of 0 in z 15.363 * [taylor]: Taking taylor expansion of 0 in z 15.363 * [taylor]: Taking taylor expansion of 0 in z 15.365 * [taylor]: Taking taylor expansion of 0 in z 15.365 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in a 15.365 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a 15.365 * [taylor]: Taking taylor expansion of 4.0 in a 15.365 * [taylor]: Taking taylor expansion of (/ 1 a) in a 15.365 * [taylor]: Taking taylor expansion of a in a 15.366 * [taylor]: Taking taylor expansion of 0 in a 15.366 * [taylor]: Taking taylor expansion of 0 in a 15.366 * [taylor]: Taking taylor expansion of 0 in a 15.372 * [taylor]: Taking taylor expansion of 0 in x 15.372 * [taylor]: Taking taylor expansion of 0 in y 15.372 * [taylor]: Taking taylor expansion of 0 in y 15.372 * [taylor]: Taking taylor expansion of 0 in y 15.377 * [taylor]: Taking taylor expansion of 0 in y 15.377 * [taylor]: Taking taylor expansion of 0 in z 15.377 * [taylor]: Taking taylor expansion of 0 in z 15.377 * [taylor]: Taking taylor expansion of 0 in z 15.377 * [taylor]: Taking taylor expansion of 0 in z 15.377 * [taylor]: Taking taylor expansion of 0 in z 15.378 * [taylor]: Taking taylor expansion of 0 in z 15.380 * [taylor]: Taking taylor expansion of 0 in z 15.380 * [taylor]: Taking taylor expansion of 0 in a 15.380 * [taylor]: Taking taylor expansion of 0 in a 15.380 * [taylor]: Taking taylor expansion of 0 in a 15.380 * [taylor]: Taking taylor expansion of 0 in a 15.380 * [taylor]: Taking taylor expansion of 0 in a 15.380 * [taylor]: Taking taylor expansion of 0 in a 15.380 * [taylor]: Taking taylor expansion of 0 in a 15.381 * [taylor]: Taking taylor expansion of 0 in a 15.383 * [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 15.383 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in a 15.383 * [taylor]: Taking taylor expansion of -1 in a 15.383 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in a 15.383 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in a 15.383 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a 15.383 * [taylor]: Taking taylor expansion of 4.0 in a 15.383 * [taylor]: Taking taylor expansion of (/ 1 a) in a 15.383 * [taylor]: Taking taylor expansion of a in a 15.383 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in a 15.383 * [taylor]: Taking taylor expansion of 18.0 in a 15.383 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in a 15.383 * [taylor]: Taking taylor expansion of (* x (* z y)) in a 15.383 * [taylor]: Taking taylor expansion of x in a 15.383 * [taylor]: Taking taylor expansion of (* z y) in a 15.383 * [taylor]: Taking taylor expansion of z in a 15.383 * [taylor]: Taking taylor expansion of y in a 15.383 * [taylor]: Taking taylor expansion of t in a 15.384 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in z 15.384 * [taylor]: Taking taylor expansion of -1 in z 15.384 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in z 15.384 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in z 15.384 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z 15.384 * [taylor]: Taking taylor expansion of 4.0 in z 15.384 * [taylor]: Taking taylor expansion of (/ 1 a) in z 15.384 * [taylor]: Taking taylor expansion of a in z 15.384 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in z 15.384 * [taylor]: Taking taylor expansion of 18.0 in z 15.384 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 15.384 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 15.384 * [taylor]: Taking taylor expansion of x in z 15.384 * [taylor]: Taking taylor expansion of (* z y) in z 15.384 * [taylor]: Taking taylor expansion of z in z 15.384 * [taylor]: Taking taylor expansion of y in z 15.385 * [taylor]: Taking taylor expansion of t in z 15.385 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in y 15.385 * [taylor]: Taking taylor expansion of -1 in y 15.385 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in y 15.385 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in y 15.385 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y 15.385 * [taylor]: Taking taylor expansion of 4.0 in y 15.385 * [taylor]: Taking taylor expansion of (/ 1 a) in y 15.385 * [taylor]: Taking taylor expansion of a in y 15.385 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in y 15.385 * [taylor]: Taking taylor expansion of 18.0 in y 15.385 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 15.385 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 15.385 * [taylor]: Taking taylor expansion of x in y 15.385 * [taylor]: Taking taylor expansion of (* z y) in y 15.385 * [taylor]: Taking taylor expansion of z in y 15.385 * [taylor]: Taking taylor expansion of y in y 15.386 * [taylor]: Taking taylor expansion of t in y 15.386 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in x 15.386 * [taylor]: Taking taylor expansion of -1 in x 15.386 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in x 15.386 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in x 15.386 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x 15.386 * [taylor]: Taking taylor expansion of 4.0 in x 15.386 * [taylor]: Taking taylor expansion of (/ 1 a) in x 15.386 * [taylor]: Taking taylor expansion of a in x 15.386 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x 15.386 * [taylor]: Taking taylor expansion of 18.0 in x 15.386 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 15.386 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 15.387 * [taylor]: Taking taylor expansion of x in x 15.387 * [taylor]: Taking taylor expansion of (* z y) in x 15.387 * [taylor]: Taking taylor expansion of z in x 15.387 * [taylor]: Taking taylor expansion of y in x 15.387 * [taylor]: Taking taylor expansion of t in x 15.387 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in t 15.387 * [taylor]: Taking taylor expansion of -1 in t 15.387 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in t 15.387 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in t 15.387 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t 15.387 * [taylor]: Taking taylor expansion of 4.0 in t 15.387 * [taylor]: Taking taylor expansion of (/ 1 a) in t 15.387 * [taylor]: Taking taylor expansion of a in t 15.387 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t 15.387 * [taylor]: Taking taylor expansion of 18.0 in t 15.387 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t 15.387 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 15.387 * [taylor]: Taking taylor expansion of x in t 15.387 * [taylor]: Taking taylor expansion of (* z y) in t 15.387 * [taylor]: Taking taylor expansion of z in t 15.388 * [taylor]: Taking taylor expansion of y in t 15.388 * [taylor]: Taking taylor expansion of t in t 15.388 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t)) in t 15.388 * [taylor]: Taking taylor expansion of -1 in t 15.388 * [taylor]: Taking taylor expansion of (/ (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) t) in t 15.388 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in t 15.388 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in t 15.388 * [taylor]: Taking taylor expansion of 4.0 in t 15.388 * [taylor]: Taking taylor expansion of (/ 1 a) in t 15.388 * [taylor]: Taking taylor expansion of a in t 15.388 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in t 15.388 * [taylor]: Taking taylor expansion of 18.0 in t 15.388 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in t 15.388 * [taylor]: Taking taylor expansion of (* x (* z y)) in t 15.388 * [taylor]: Taking taylor expansion of x in t 15.388 * [taylor]: Taking taylor expansion of (* z y) in t 15.388 * [taylor]: Taking taylor expansion of z in t 15.388 * [taylor]: Taking taylor expansion of y in t 15.388 * [taylor]: Taking taylor expansion of t in t 15.389 * [taylor]: Taking taylor expansion of (* -1 (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y)))))) in x 15.389 * [taylor]: Taking taylor expansion of -1 in x 15.389 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a)) (* 18.0 (/ 1 (* x (* z y))))) in x 15.389 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in x 15.389 * [taylor]: Taking taylor expansion of 4.0 in x 15.389 * [taylor]: Taking taylor expansion of (/ 1 a) in x 15.389 * [taylor]: Taking taylor expansion of a in x 15.389 * [taylor]: Taking taylor expansion of (* 18.0 (/ 1 (* x (* z y)))) in x 15.389 * [taylor]: Taking taylor expansion of 18.0 in x 15.389 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 15.389 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 15.389 * [taylor]: Taking taylor expansion of x in x 15.389 * [taylor]: Taking taylor expansion of (* z y) in x 15.389 * [taylor]: Taking taylor expansion of z in x 15.389 * [taylor]: Taking taylor expansion of y in x 15.392 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y 15.392 * [taylor]: Taking taylor expansion of 18.0 in y 15.392 * [taylor]: Taking taylor expansion of (* z y) in y 15.392 * [taylor]: Taking taylor expansion of z in y 15.392 * [taylor]: Taking taylor expansion of y in y 15.393 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z 15.393 * [taylor]: Taking taylor expansion of 18.0 in z 15.393 * [taylor]: Taking taylor expansion of z in z 15.393 * [taylor]: Taking taylor expansion of 18.0 in a 15.395 * [taylor]: Taking taylor expansion of 0 in x 15.397 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in y 15.397 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in y 15.397 * [taylor]: Taking taylor expansion of 4.0 in y 15.397 * [taylor]: Taking taylor expansion of (/ 1 a) in y 15.397 * [taylor]: Taking taylor expansion of a in y 15.397 * [taylor]: Taking taylor expansion of 0 in z 15.398 * [taylor]: Taking taylor expansion of 0 in a 15.402 * [taylor]: Taking taylor expansion of 0 in x 15.402 * [taylor]: Taking taylor expansion of 0 in y 15.405 * [taylor]: Taking taylor expansion of 0 in y 15.405 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in z 15.405 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in z 15.405 * [taylor]: Taking taylor expansion of 4.0 in z 15.405 * [taylor]: Taking taylor expansion of (/ 1 a) in z 15.405 * [taylor]: Taking taylor expansion of a in z 15.406 * [taylor]: Taking taylor expansion of 0 in z 15.406 * [taylor]: Taking taylor expansion of 0 in a 15.406 * [taylor]: Taking taylor expansion of 0 in a 15.412 * [taylor]: Taking taylor expansion of 0 in x 15.412 * [taylor]: Taking taylor expansion of 0 in y 15.412 * [taylor]: Taking taylor expansion of 0 in y 15.416 * [taylor]: Taking taylor expansion of 0 in y 15.416 * [taylor]: Taking taylor expansion of 0 in z 15.416 * [taylor]: Taking taylor expansion of 0 in z 15.417 * [taylor]: Taking taylor expansion of 0 in z 15.417 * [taylor]: Taking taylor expansion of 0 in z 15.417 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 a))) in a 15.417 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 a)) in a 15.417 * [taylor]: Taking taylor expansion of 4.0 in a 15.417 * [taylor]: Taking taylor expansion of (/ 1 a) in a 15.417 * [taylor]: Taking taylor expansion of a in a 15.418 * [taylor]: Taking taylor expansion of 0 in a 15.418 * [taylor]: Taking taylor expansion of 0 in a 15.419 * [taylor]: Taking taylor expansion of 0 in a 15.426 * [taylor]: Taking taylor expansion of 0 in x 15.426 * [taylor]: Taking taylor expansion of 0 in y 15.426 * [taylor]: Taking taylor expansion of 0 in y 15.426 * [taylor]: Taking taylor expansion of 0 in y 15.431 * [taylor]: Taking taylor expansion of 0 in y 15.432 * [taylor]: Taking taylor expansion of 0 in z 15.432 * [taylor]: Taking taylor expansion of 0 in z 15.432 * [taylor]: Taking taylor expansion of 0 in z 15.432 * [taylor]: Taking taylor expansion of 0 in z 15.432 * [taylor]: Taking taylor expansion of 0 in z 15.433 * [taylor]: Taking taylor expansion of 0 in z 15.433 * [taylor]: Taking taylor expansion of 0 in z 15.433 * [taylor]: Taking taylor expansion of 0 in a 15.433 * [taylor]: Taking taylor expansion of 0 in a 15.433 * [taylor]: Taking taylor expansion of 0 in a 15.433 * [taylor]: Taking taylor expansion of 0 in a 15.434 * [taylor]: Taking taylor expansion of 0 in a 15.434 * [taylor]: Taking taylor expansion of 0 in a 15.434 * [taylor]: Taking taylor expansion of 0 in a 15.435 * [taylor]: Taking taylor expansion of 0 in a 15.436 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 15.437 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0 15.437 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k 15.437 * [taylor]: Taking taylor expansion of 27.0 in k 15.437 * [taylor]: Taking taylor expansion of (* k j) in k 15.437 * [taylor]: Taking taylor expansion of k in k 15.437 * [taylor]: Taking taylor expansion of j in k 15.437 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j 15.437 * [taylor]: Taking taylor expansion of 27.0 in j 15.437 * [taylor]: Taking taylor expansion of (* k j) in j 15.437 * [taylor]: Taking taylor expansion of k in j 15.437 * [taylor]: Taking taylor expansion of j in j 15.437 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j 15.437 * [taylor]: Taking taylor expansion of 27.0 in j 15.437 * [taylor]: Taking taylor expansion of (* k j) in j 15.437 * [taylor]: Taking taylor expansion of k in j 15.437 * [taylor]: Taking taylor expansion of j in j 15.437 * [taylor]: Taking taylor expansion of 0 in k 15.438 * [taylor]: Taking taylor expansion of (* 27.0 k) in k 15.438 * [taylor]: Taking taylor expansion of 27.0 in k 15.438 * [taylor]: Taking taylor expansion of k in k 15.439 * [taylor]: Taking taylor expansion of 0 in k 15.441 * [taylor]: Taking taylor expansion of 0 in k 15.443 * [taylor]: Taking taylor expansion of 0 in k 15.443 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0 15.443 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k 15.443 * [taylor]: Taking taylor expansion of 27.0 in k 15.443 * [taylor]: Taking taylor expansion of (* k j) in k 15.443 * [taylor]: Taking taylor expansion of k in k 15.443 * [taylor]: Taking taylor expansion of j in k 15.443 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j 15.443 * [taylor]: Taking taylor expansion of 27.0 in j 15.443 * [taylor]: Taking taylor expansion of (* k j) in j 15.443 * [taylor]: Taking taylor expansion of k in j 15.443 * [taylor]: Taking taylor expansion of j in j 15.444 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j 15.444 * [taylor]: Taking taylor expansion of 27.0 in j 15.444 * [taylor]: Taking taylor expansion of (* k j) in j 15.444 * [taylor]: Taking taylor expansion of k in j 15.444 * [taylor]: Taking taylor expansion of j in j 15.444 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k 15.444 * [taylor]: Taking taylor expansion of 27.0 in k 15.444 * [taylor]: Taking taylor expansion of k in k 15.445 * [taylor]: Taking taylor expansion of 0 in k 15.446 * [taylor]: Taking taylor expansion of 0 in k 15.447 * [taylor]: Taking taylor expansion of 0 in k 15.448 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0 15.448 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k 15.448 * [taylor]: Taking taylor expansion of 27.0 in k 15.448 * [taylor]: Taking taylor expansion of (* k j) in k 15.448 * [taylor]: Taking taylor expansion of k in k 15.448 * [taylor]: Taking taylor expansion of j in k 15.448 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j 15.448 * [taylor]: Taking taylor expansion of 27.0 in j 15.448 * [taylor]: Taking taylor expansion of (* k j) in j 15.448 * [taylor]: Taking taylor expansion of k in j 15.448 * [taylor]: Taking taylor expansion of j in j 15.449 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j 15.449 * [taylor]: Taking taylor expansion of 27.0 in j 15.449 * [taylor]: Taking taylor expansion of (* k j) in j 15.449 * [taylor]: Taking taylor expansion of k in j 15.449 * [taylor]: Taking taylor expansion of j in j 15.449 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k 15.449 * [taylor]: Taking taylor expansion of 27.0 in k 15.449 * [taylor]: Taking taylor expansion of k in k 15.450 * [taylor]: Taking taylor expansion of 0 in k 15.451 * [taylor]: Taking taylor expansion of 0 in k 15.452 * [taylor]: Taking taylor expansion of 0 in k 15.453 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1) 15.453 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0 15.453 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y 15.453 * [taylor]: Taking taylor expansion of 18.0 in y 15.453 * [taylor]: Taking taylor expansion of (* x y) in y 15.453 * [taylor]: Taking taylor expansion of x in y 15.453 * [taylor]: Taking taylor expansion of y in y 15.453 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x 15.453 * [taylor]: Taking taylor expansion of 18.0 in x 15.453 * [taylor]: Taking taylor expansion of (* x y) in x 15.453 * [taylor]: Taking taylor expansion of x in x 15.453 * [taylor]: Taking taylor expansion of y in x 15.453 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x 15.453 * [taylor]: Taking taylor expansion of 18.0 in x 15.453 * [taylor]: Taking taylor expansion of (* x y) in x 15.453 * [taylor]: Taking taylor expansion of x in x 15.453 * [taylor]: Taking taylor expansion of y in x 15.454 * [taylor]: Taking taylor expansion of 0 in y 15.454 * [taylor]: Taking taylor expansion of (* 18.0 y) in y 15.454 * [taylor]: Taking taylor expansion of 18.0 in y 15.454 * [taylor]: Taking taylor expansion of y in y 15.455 * [taylor]: Taking taylor expansion of 0 in y 15.458 * [taylor]: Taking taylor expansion of 0 in y 15.460 * [taylor]: Taking taylor expansion of 0 in y 15.460 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0 15.460 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y 15.460 * [taylor]: Taking taylor expansion of 18.0 in y 15.460 * [taylor]: Taking taylor expansion of (* x y) in y 15.460 * [taylor]: Taking taylor expansion of x in y 15.460 * [taylor]: Taking taylor expansion of y in y 15.461 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x 15.461 * [taylor]: Taking taylor expansion of 18.0 in x 15.461 * [taylor]: Taking taylor expansion of (* x y) in x 15.461 * [taylor]: Taking taylor expansion of x in x 15.461 * [taylor]: Taking taylor expansion of y in x 15.461 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x 15.461 * [taylor]: Taking taylor expansion of 18.0 in x 15.461 * [taylor]: Taking taylor expansion of (* x y) in x 15.461 * [taylor]: Taking taylor expansion of x in x 15.461 * [taylor]: Taking taylor expansion of y in x 15.462 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y 15.462 * [taylor]: Taking taylor expansion of 18.0 in y 15.462 * [taylor]: Taking taylor expansion of y in y 15.462 * [taylor]: Taking taylor expansion of 0 in y 15.464 * [taylor]: Taking taylor expansion of 0 in y 15.465 * [taylor]: Taking taylor expansion of 0 in y 15.466 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0 15.466 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y 15.466 * [taylor]: Taking taylor expansion of 18.0 in y 15.466 * [taylor]: Taking taylor expansion of (* x y) in y 15.466 * [taylor]: Taking taylor expansion of x in y 15.466 * [taylor]: Taking taylor expansion of y in y 15.466 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x 15.467 * [taylor]: Taking taylor expansion of 18.0 in x 15.467 * [taylor]: Taking taylor expansion of (* x y) in x 15.467 * [taylor]: Taking taylor expansion of x in x 15.467 * [taylor]: Taking taylor expansion of y in x 15.467 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x 15.467 * [taylor]: Taking taylor expansion of 18.0 in x 15.467 * [taylor]: Taking taylor expansion of (* x y) in x 15.467 * [taylor]: Taking taylor expansion of x in x 15.467 * [taylor]: Taking taylor expansion of y in x 15.467 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y 15.467 * [taylor]: Taking taylor expansion of 18.0 in y 15.467 * [taylor]: Taking taylor expansion of y in y 15.468 * [taylor]: Taking taylor expansion of 0 in y 15.469 * [taylor]: Taking taylor expansion of 0 in y 15.471 * [taylor]: Taking taylor expansion of 0 in y 15.474 * * * [progress]: simplifying candidates 15.475 * [simplify]: Simplifying using # : (* (* (* 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)) 15.479 * * [simplify]: iteration 0 : 156 enodes (cost 1012 ) 15.505 * * [simplify]: iteration 1 : 395 enodes (cost 979 ) 15.638 * * [simplify]: iteration 2 : 1712 enodes (cost 821 ) 16.206 * * [simplify]: iteration done : 5000 enodes (cost 821 ) 16.207 * [simplify]: Simplified to: (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z) (log (* 18.0 (* x (* z y)))) (log (* 18.0 (* x (* z y)))) (log (* 18.0 (* x (* z y)))) (log (* 18.0 (* x (* z y)))) (exp (* (* (* x 18.0) y) z)) (pow (* (* (* x 18.0) y) z) 3) (pow (* (* (* x 18.0) y) z) 3) (pow (* (* (* x 18.0) y) z) 3) (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z)) (pow (* (* (* x 18.0) y) z) 3) (sqrt (* (* (* x 18.0) y) z)) (sqrt (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (* (* (* x 18.0) y) (sqrt z)) (* (* x 18.0) y) (* y z) (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (log (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (log (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (exp (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3) (* (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))) (cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (pow (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) 3) (sqrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (sqrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* (sqrt t) (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* (sqrt t) (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0)))) (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0))) (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0))) (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0))) (* 18.0 (* t (* x (* z y)))) (* t (- (* a 4.0))) (* t (* (cbrt (- (* (* (* x 18.0) y) z) (* a 4.0))) (cbrt (- (* (* (* x 18.0) y) z) (* a 4.0))))) (* t (sqrt (- (* (* (* x 18.0) y) z) (* a 4.0)))) t (* (cbrt t) (- (* (* (* x 18.0) y) z) (* a 4.0))) (* (sqrt t) (- (* (* (* x 18.0) y) z) (* a 4.0))) (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* t (- (pow (* (* (* x 18.0) y) z) 3) (pow (* a 4.0) 3))) (* t (- (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* a 4.0) (* a 4.0)))) (* j (* 27.0 k)) (* j (* 27.0 k)) (log (* j (* 27.0 k))) (log (* j (* 27.0 k))) (log (* j (* 27.0 k))) (exp (* j (* 27.0 k))) (pow (* j (* 27.0 k)) 3) (pow (* j (* 27.0 k)) 3) (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k)))) (cbrt (* j (* 27.0 k))) (pow (* j (* 27.0 k)) 3) (sqrt (* j (* 27.0 k))) (sqrt (* j (* 27.0 k))) (* j 27.0) (* (cbrt j) (* 27.0 k)) (* (sqrt j) (* 27.0 k)) (* j (* 27.0 k)) (* (* x 18.0) y) (* (* x 18.0) y) (log (* (* x 18.0) y)) (log (* (* x 18.0) y)) (log (* (* x 18.0) y)) (exp (* (* x 18.0) y)) (pow (* (* x 18.0) y) 3) (pow (* (* x 18.0) y) 3) (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y)) (pow (* (* x 18.0) y) 3) (sqrt (* (* x 18.0) y)) (sqrt (* (* x 18.0) y)) (* (* x 18.0) (* (cbrt y) (cbrt y))) (* (* x 18.0) (sqrt y)) (* x 18.0) (* 18.0 y) 0 (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z) 0 (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* t (- (* (* (* x 18.0) y) z) (* a 4.0))) (* j (* 27.0 k)) (* j (* 27.0 k)) (* j (* 27.0 k)) (* (* x 18.0) y) (* (* x 18.0) y) (* (* x 18.0) y) 16.208 * * * [progress]: adding candidates to table 16.492 * * [progress]: iteration 3 / 4 16.492 * * * [progress]: picking best candidate 16.528 * * * * [pick]: Picked # 16.528 * * * [progress]: localizing error 16.556 * * * [progress]: generating rewritten candidates 16.556 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 2) 16.575 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 2) 16.593 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1) 16.612 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 2 1) 16.637 * * * [progress]: generating series expansions 16.637 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 2) 16.638 * [approximate]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in (x y z) around 0 16.638 * [taylor]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in z 16.638 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in z 16.638 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in z 16.638 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in z 16.638 * [taylor]: Taking taylor expansion of 1/3 in z 16.638 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in z 16.638 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 16.638 * [taylor]: Taking taylor expansion of x in z 16.638 * [taylor]: Taking taylor expansion of (* z y) in z 16.638 * [taylor]: Taking taylor expansion of z in z 16.638 * [taylor]: Taking taylor expansion of y in z 16.639 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 16.639 * [taylor]: Taking taylor expansion of 18.0 in z 16.640 * [taylor]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in y 16.640 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in y 16.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in y 16.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in y 16.640 * [taylor]: Taking taylor expansion of 1/3 in y 16.640 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in y 16.640 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 16.640 * [taylor]: Taking taylor expansion of x in y 16.640 * [taylor]: Taking taylor expansion of (* z y) in y 16.640 * [taylor]: Taking taylor expansion of z in y 16.640 * [taylor]: Taking taylor expansion of y in y 16.641 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 16.641 * [taylor]: Taking taylor expansion of 18.0 in y 16.642 * [taylor]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in x 16.642 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in x 16.642 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in x 16.642 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in x 16.642 * [taylor]: Taking taylor expansion of 1/3 in x 16.642 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in x 16.642 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 16.642 * [taylor]: Taking taylor expansion of x in x 16.642 * [taylor]: Taking taylor expansion of (* z y) in x 16.642 * [taylor]: Taking taylor expansion of z in x 16.642 * [taylor]: Taking taylor expansion of y in x 16.643 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 16.643 * [taylor]: Taking taylor expansion of 18.0 in x 16.643 * [taylor]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in x 16.643 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in x 16.644 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in x 16.644 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in x 16.644 * [taylor]: Taking taylor expansion of 1/3 in x 16.644 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in x 16.644 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 16.644 * [taylor]: Taking taylor expansion of x in x 16.644 * [taylor]: Taking taylor expansion of (* z y) in x 16.644 * [taylor]: Taking taylor expansion of z in x 16.644 * [taylor]: Taking taylor expansion of y in x 16.644 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 16.645 * [taylor]: Taking taylor expansion of 18.0 in x 16.646 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log x) (log (* z y))))) (cbrt 18.0)) in y 16.646 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (* z y))))) in y 16.646 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (* z y)))) in y 16.646 * [taylor]: Taking taylor expansion of 1/3 in y 16.646 * [taylor]: Taking taylor expansion of (+ (log x) (log (* z y))) in y 16.646 * [taylor]: Taking taylor expansion of (log x) in y 16.646 * [taylor]: Taking taylor expansion of x in y 16.646 * [taylor]: Taking taylor expansion of (log (* z y)) in y 16.646 * [taylor]: Taking taylor expansion of (* z y) in y 16.646 * [taylor]: Taking taylor expansion of z in y 16.646 * [taylor]: Taking taylor expansion of y in y 16.647 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 16.647 * [taylor]: Taking taylor expansion of 18.0 in y 16.648 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log z) (+ (log x) (log y))))) (cbrt 18.0)) in z 16.648 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (+ (log x) (log y))))) in z 16.648 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (+ (log x) (log y)))) in z 16.648 * [taylor]: Taking taylor expansion of 1/3 in z 16.648 * [taylor]: Taking taylor expansion of (+ (log z) (+ (log x) (log y))) in z 16.648 * [taylor]: Taking taylor expansion of (log z) in z 16.648 * [taylor]: Taking taylor expansion of z in z 16.648 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 16.648 * [taylor]: Taking taylor expansion of (log x) in z 16.648 * [taylor]: Taking taylor expansion of x in z 16.648 * [taylor]: Taking taylor expansion of (log y) in z 16.648 * [taylor]: Taking taylor expansion of y in z 16.649 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 16.649 * [taylor]: Taking taylor expansion of 18.0 in z 16.653 * [taylor]: Taking taylor expansion of 0 in y 16.653 * [taylor]: Taking taylor expansion of 0 in z 16.656 * [taylor]: Taking taylor expansion of 0 in z 16.665 * [taylor]: Taking taylor expansion of 0 in y 16.665 * [taylor]: Taking taylor expansion of 0 in z 16.665 * [taylor]: Taking taylor expansion of 0 in z 16.671 * [taylor]: Taking taylor expansion of 0 in z 16.671 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in (x y z) around 0 16.671 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in z 16.671 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in z 16.671 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in z 16.671 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in z 16.672 * [taylor]: Taking taylor expansion of 1/3 in z 16.672 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in z 16.672 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 16.672 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 16.672 * [taylor]: Taking taylor expansion of x in z 16.672 * [taylor]: Taking taylor expansion of (* z y) in z 16.672 * [taylor]: Taking taylor expansion of z in z 16.672 * [taylor]: Taking taylor expansion of y in z 16.673 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 16.673 * [taylor]: Taking taylor expansion of 18.0 in z 16.673 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in y 16.673 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in y 16.673 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in y 16.673 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in y 16.673 * [taylor]: Taking taylor expansion of 1/3 in y 16.674 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in y 16.674 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 16.674 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 16.674 * [taylor]: Taking taylor expansion of x in y 16.674 * [taylor]: Taking taylor expansion of (* z y) in y 16.674 * [taylor]: Taking taylor expansion of z in y 16.674 * [taylor]: Taking taylor expansion of y in y 16.675 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 16.675 * [taylor]: Taking taylor expansion of 18.0 in y 16.675 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in x 16.675 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 16.676 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 16.676 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 16.676 * [taylor]: Taking taylor expansion of 1/3 in x 16.676 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 16.676 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 16.676 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 16.676 * [taylor]: Taking taylor expansion of x in x 16.676 * [taylor]: Taking taylor expansion of (* z y) in x 16.676 * [taylor]: Taking taylor expansion of z in x 16.676 * [taylor]: Taking taylor expansion of y in x 16.677 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 16.677 * [taylor]: Taking taylor expansion of 18.0 in x 16.677 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in x 16.678 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 16.678 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 16.678 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 16.678 * [taylor]: Taking taylor expansion of 1/3 in x 16.678 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 16.678 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 16.678 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 16.678 * [taylor]: Taking taylor expansion of x in x 16.678 * [taylor]: Taking taylor expansion of (* z y) in x 16.678 * [taylor]: Taking taylor expansion of z in x 16.678 * [taylor]: Taking taylor expansion of y in x 16.679 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 16.679 * [taylor]: Taking taylor expansion of 18.0 in x 16.680 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) (cbrt 18.0)) in y 16.680 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) in y 16.680 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z y))) (log x))) in y 16.680 * [taylor]: Taking taylor expansion of 1/3 in y 16.680 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z y))) (log x)) in y 16.680 * [taylor]: Taking taylor expansion of (log (/ 1 (* z y))) in y 16.680 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 16.680 * [taylor]: Taking taylor expansion of (* z y) in y 16.680 * [taylor]: Taking taylor expansion of z in y 16.681 * [taylor]: Taking taylor expansion of y in y 16.681 * [taylor]: Taking taylor expansion of (log x) in y 16.681 * [taylor]: Taking taylor expansion of x in y 16.682 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 16.682 * [taylor]: Taking taylor expansion of 18.0 in y 16.683 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) (cbrt 18.0)) in z 16.683 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) in z 16.683 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y)))) in z 16.683 * [taylor]: Taking taylor expansion of 1/3 in z 16.683 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (+ (log x) (log y))) in z 16.683 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 16.683 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.683 * [taylor]: Taking taylor expansion of z in z 16.683 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 16.683 * [taylor]: Taking taylor expansion of (log x) in z 16.683 * [taylor]: Taking taylor expansion of x in z 16.683 * [taylor]: Taking taylor expansion of (log y) in z 16.683 * [taylor]: Taking taylor expansion of y in z 16.684 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 16.684 * [taylor]: Taking taylor expansion of 18.0 in z 16.688 * [taylor]: Taking taylor expansion of 0 in y 16.689 * [taylor]: Taking taylor expansion of 0 in z 16.692 * [taylor]: Taking taylor expansion of 0 in z 16.701 * [taylor]: Taking taylor expansion of 0 in y 16.701 * [taylor]: Taking taylor expansion of 0 in z 16.701 * [taylor]: Taking taylor expansion of 0 in z 16.707 * [taylor]: Taking taylor expansion of 0 in z 16.708 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in (x y z) around 0 16.708 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in z 16.708 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in z 16.708 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in z 16.708 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in z 16.708 * [taylor]: Taking taylor expansion of 1/3 in z 16.708 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in z 16.708 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 16.708 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 16.708 * [taylor]: Taking taylor expansion of x in z 16.708 * [taylor]: Taking taylor expansion of (* z y) in z 16.708 * [taylor]: Taking taylor expansion of z in z 16.708 * [taylor]: Taking taylor expansion of y in z 16.709 * [taylor]: Taking taylor expansion of (cbrt -18.0) in z 16.709 * [taylor]: Taking taylor expansion of -18.0 in z 16.713 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in y 16.713 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in y 16.713 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in y 16.713 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in y 16.713 * [taylor]: Taking taylor expansion of 1/3 in y 16.713 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in y 16.713 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 16.713 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 16.713 * [taylor]: Taking taylor expansion of x in y 16.713 * [taylor]: Taking taylor expansion of (* z y) in y 16.713 * [taylor]: Taking taylor expansion of z in y 16.713 * [taylor]: Taking taylor expansion of y in y 16.715 * [taylor]: Taking taylor expansion of (cbrt -18.0) in y 16.715 * [taylor]: Taking taylor expansion of -18.0 in y 16.715 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in x 16.715 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 16.716 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 16.716 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 16.716 * [taylor]: Taking taylor expansion of 1/3 in x 16.716 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 16.716 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 16.716 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 16.716 * [taylor]: Taking taylor expansion of x in x 16.716 * [taylor]: Taking taylor expansion of (* z y) in x 16.716 * [taylor]: Taking taylor expansion of z in x 16.716 * [taylor]: Taking taylor expansion of y in x 16.717 * [taylor]: Taking taylor expansion of (cbrt -18.0) in x 16.717 * [taylor]: Taking taylor expansion of -18.0 in x 16.717 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in x 16.717 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 16.717 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 16.717 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 16.717 * [taylor]: Taking taylor expansion of 1/3 in x 16.717 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 16.717 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 16.717 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 16.717 * [taylor]: Taking taylor expansion of x in x 16.717 * [taylor]: Taking taylor expansion of (* z y) in x 16.717 * [taylor]: Taking taylor expansion of z in x 16.718 * [taylor]: Taking taylor expansion of y in x 16.718 * [taylor]: Taking taylor expansion of (cbrt -18.0) in x 16.718 * [taylor]: Taking taylor expansion of -18.0 in x 16.720 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) (cbrt -18.0)) in y 16.720 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) in y 16.720 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z y))) (log x))) in y 16.720 * [taylor]: Taking taylor expansion of 1/3 in y 16.720 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z y))) (log x)) in y 16.720 * [taylor]: Taking taylor expansion of (log (/ 1 (* z y))) in y 16.720 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 16.720 * [taylor]: Taking taylor expansion of (* z y) in y 16.720 * [taylor]: Taking taylor expansion of z in y 16.720 * [taylor]: Taking taylor expansion of y in y 16.720 * [taylor]: Taking taylor expansion of (log x) in y 16.720 * [taylor]: Taking taylor expansion of x in y 16.721 * [taylor]: Taking taylor expansion of (cbrt -18.0) in y 16.721 * [taylor]: Taking taylor expansion of -18.0 in y 16.722 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) (cbrt -18.0)) in z 16.722 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) in z 16.722 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y)))) in z 16.722 * [taylor]: Taking taylor expansion of 1/3 in z 16.722 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (+ (log x) (log y))) in z 16.722 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 16.722 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.722 * [taylor]: Taking taylor expansion of z in z 16.723 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 16.723 * [taylor]: Taking taylor expansion of (log x) in z 16.723 * [taylor]: Taking taylor expansion of x in z 16.723 * [taylor]: Taking taylor expansion of (log y) in z 16.723 * [taylor]: Taking taylor expansion of y in z 16.724 * [taylor]: Taking taylor expansion of (cbrt -18.0) in z 16.724 * [taylor]: Taking taylor expansion of -18.0 in z 16.728 * [taylor]: Taking taylor expansion of 0 in y 16.728 * [taylor]: Taking taylor expansion of 0 in z 16.732 * [taylor]: Taking taylor expansion of 0 in z 16.741 * [taylor]: Taking taylor expansion of 0 in y 16.741 * [taylor]: Taking taylor expansion of 0 in z 16.741 * [taylor]: Taking taylor expansion of 0 in z 16.747 * [taylor]: Taking taylor expansion of 0 in z 16.747 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1 2) 16.748 * [approximate]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in (x y z) around 0 16.748 * [taylor]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in z 16.748 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in z 16.748 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in z 16.748 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in z 16.748 * [taylor]: Taking taylor expansion of 1/3 in z 16.748 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in z 16.748 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 16.748 * [taylor]: Taking taylor expansion of x in z 16.748 * [taylor]: Taking taylor expansion of (* z y) in z 16.748 * [taylor]: Taking taylor expansion of z in z 16.748 * [taylor]: Taking taylor expansion of y in z 16.749 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 16.749 * [taylor]: Taking taylor expansion of 18.0 in z 16.749 * [taylor]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in y 16.749 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in y 16.749 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in y 16.750 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in y 16.750 * [taylor]: Taking taylor expansion of 1/3 in y 16.750 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in y 16.750 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 16.750 * [taylor]: Taking taylor expansion of x in y 16.750 * [taylor]: Taking taylor expansion of (* z y) in y 16.750 * [taylor]: Taking taylor expansion of z in y 16.750 * [taylor]: Taking taylor expansion of y in y 16.751 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 16.751 * [taylor]: Taking taylor expansion of 18.0 in y 16.751 * [taylor]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in x 16.751 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in x 16.751 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in x 16.751 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in x 16.751 * [taylor]: Taking taylor expansion of 1/3 in x 16.751 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in x 16.751 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 16.751 * [taylor]: Taking taylor expansion of x in x 16.751 * [taylor]: Taking taylor expansion of (* z y) in x 16.752 * [taylor]: Taking taylor expansion of z in x 16.752 * [taylor]: Taking taylor expansion of y in x 16.752 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 16.752 * [taylor]: Taking taylor expansion of 18.0 in x 16.753 * [taylor]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in x 16.753 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in x 16.753 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in x 16.753 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in x 16.753 * [taylor]: Taking taylor expansion of 1/3 in x 16.753 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in x 16.753 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 16.753 * [taylor]: Taking taylor expansion of x in x 16.753 * [taylor]: Taking taylor expansion of (* z y) in x 16.753 * [taylor]: Taking taylor expansion of z in x 16.753 * [taylor]: Taking taylor expansion of y in x 16.754 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 16.754 * [taylor]: Taking taylor expansion of 18.0 in x 16.755 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log x) (log (* z y))))) (cbrt 18.0)) in y 16.755 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (* z y))))) in y 16.755 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (* z y)))) in y 16.755 * [taylor]: Taking taylor expansion of 1/3 in y 16.755 * [taylor]: Taking taylor expansion of (+ (log x) (log (* z y))) in y 16.755 * [taylor]: Taking taylor expansion of (log x) in y 16.755 * [taylor]: Taking taylor expansion of x in y 16.755 * [taylor]: Taking taylor expansion of (log (* z y)) in y 16.755 * [taylor]: Taking taylor expansion of (* z y) in y 16.755 * [taylor]: Taking taylor expansion of z in y 16.755 * [taylor]: Taking taylor expansion of y in y 16.756 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 16.756 * [taylor]: Taking taylor expansion of 18.0 in y 16.757 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log z) (+ (log x) (log y))))) (cbrt 18.0)) in z 16.757 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (+ (log x) (log y))))) in z 16.757 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (+ (log x) (log y)))) in z 16.757 * [taylor]: Taking taylor expansion of 1/3 in z 16.757 * [taylor]: Taking taylor expansion of (+ (log z) (+ (log x) (log y))) in z 16.757 * [taylor]: Taking taylor expansion of (log z) in z 16.757 * [taylor]: Taking taylor expansion of z in z 16.758 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 16.758 * [taylor]: Taking taylor expansion of (log x) in z 16.758 * [taylor]: Taking taylor expansion of x in z 16.758 * [taylor]: Taking taylor expansion of (log y) in z 16.758 * [taylor]: Taking taylor expansion of y in z 16.758 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 16.758 * [taylor]: Taking taylor expansion of 18.0 in z 16.763 * [taylor]: Taking taylor expansion of 0 in y 16.763 * [taylor]: Taking taylor expansion of 0 in z 16.766 * [taylor]: Taking taylor expansion of 0 in z 16.774 * [taylor]: Taking taylor expansion of 0 in y 16.774 * [taylor]: Taking taylor expansion of 0 in z 16.774 * [taylor]: Taking taylor expansion of 0 in z 16.780 * [taylor]: Taking taylor expansion of 0 in z 16.780 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in (x y z) around 0 16.780 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in z 16.780 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in z 16.780 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in z 16.780 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in z 16.780 * [taylor]: Taking taylor expansion of 1/3 in z 16.780 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in z 16.780 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 16.780 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 16.780 * [taylor]: Taking taylor expansion of x in z 16.780 * [taylor]: Taking taylor expansion of (* z y) in z 16.781 * [taylor]: Taking taylor expansion of z in z 16.781 * [taylor]: Taking taylor expansion of y in z 16.782 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 16.782 * [taylor]: Taking taylor expansion of 18.0 in z 16.782 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in y 16.782 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in y 16.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in y 16.782 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in y 16.782 * [taylor]: Taking taylor expansion of 1/3 in y 16.782 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in y 16.782 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 16.782 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 16.783 * [taylor]: Taking taylor expansion of x in y 16.783 * [taylor]: Taking taylor expansion of (* z y) in y 16.783 * [taylor]: Taking taylor expansion of z in y 16.783 * [taylor]: Taking taylor expansion of y in y 16.784 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 16.784 * [taylor]: Taking taylor expansion of 18.0 in y 16.784 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in x 16.784 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 16.784 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 16.784 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 16.784 * [taylor]: Taking taylor expansion of 1/3 in x 16.784 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 16.784 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 16.784 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 16.785 * [taylor]: Taking taylor expansion of x in x 16.785 * [taylor]: Taking taylor expansion of (* z y) in x 16.785 * [taylor]: Taking taylor expansion of z in x 16.785 * [taylor]: Taking taylor expansion of y in x 16.785 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 16.785 * [taylor]: Taking taylor expansion of 18.0 in x 16.786 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in x 16.786 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 16.786 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 16.786 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 16.786 * [taylor]: Taking taylor expansion of 1/3 in x 16.786 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 16.786 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 16.786 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 16.786 * [taylor]: Taking taylor expansion of x in x 16.786 * [taylor]: Taking taylor expansion of (* z y) in x 16.786 * [taylor]: Taking taylor expansion of z in x 16.786 * [taylor]: Taking taylor expansion of y in x 16.787 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 16.787 * [taylor]: Taking taylor expansion of 18.0 in x 16.788 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) (cbrt 18.0)) in y 16.788 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) in y 16.788 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z y))) (log x))) in y 16.788 * [taylor]: Taking taylor expansion of 1/3 in y 16.788 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z y))) (log x)) in y 16.788 * [taylor]: Taking taylor expansion of (log (/ 1 (* z y))) in y 16.788 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 16.788 * [taylor]: Taking taylor expansion of (* z y) in y 16.788 * [taylor]: Taking taylor expansion of z in y 16.789 * [taylor]: Taking taylor expansion of y in y 16.789 * [taylor]: Taking taylor expansion of (log x) in y 16.789 * [taylor]: Taking taylor expansion of x in y 16.789 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 16.789 * [taylor]: Taking taylor expansion of 18.0 in y 16.791 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) (cbrt 18.0)) in z 16.791 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) in z 16.791 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y)))) in z 16.791 * [taylor]: Taking taylor expansion of 1/3 in z 16.791 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (+ (log x) (log y))) in z 16.791 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 16.791 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.791 * [taylor]: Taking taylor expansion of z in z 16.791 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 16.791 * [taylor]: Taking taylor expansion of (log x) in z 16.791 * [taylor]: Taking taylor expansion of x in z 16.791 * [taylor]: Taking taylor expansion of (log y) in z 16.791 * [taylor]: Taking taylor expansion of y in z 16.792 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 16.792 * [taylor]: Taking taylor expansion of 18.0 in z 16.796 * [taylor]: Taking taylor expansion of 0 in y 16.796 * [taylor]: Taking taylor expansion of 0 in z 16.800 * [taylor]: Taking taylor expansion of 0 in z 16.812 * [taylor]: Taking taylor expansion of 0 in y 16.812 * [taylor]: Taking taylor expansion of 0 in z 16.812 * [taylor]: Taking taylor expansion of 0 in z 16.818 * [taylor]: Taking taylor expansion of 0 in z 16.819 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in (x y z) around 0 16.819 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in z 16.819 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in z 16.819 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in z 16.819 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in z 16.819 * [taylor]: Taking taylor expansion of 1/3 in z 16.819 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in z 16.819 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 16.819 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 16.819 * [taylor]: Taking taylor expansion of x in z 16.819 * [taylor]: Taking taylor expansion of (* z y) in z 16.819 * [taylor]: Taking taylor expansion of z in z 16.819 * [taylor]: Taking taylor expansion of y in z 16.820 * [taylor]: Taking taylor expansion of (cbrt -18.0) in z 16.820 * [taylor]: Taking taylor expansion of -18.0 in z 16.821 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in y 16.821 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in y 16.821 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in y 16.821 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in y 16.821 * [taylor]: Taking taylor expansion of 1/3 in y 16.821 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in y 16.821 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 16.821 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 16.821 * [taylor]: Taking taylor expansion of x in y 16.821 * [taylor]: Taking taylor expansion of (* z y) in y 16.821 * [taylor]: Taking taylor expansion of z in y 16.821 * [taylor]: Taking taylor expansion of y in y 16.822 * [taylor]: Taking taylor expansion of (cbrt -18.0) in y 16.822 * [taylor]: Taking taylor expansion of -18.0 in y 16.823 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in x 16.823 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 16.823 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 16.823 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 16.823 * [taylor]: Taking taylor expansion of 1/3 in x 16.823 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 16.823 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 16.823 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 16.823 * [taylor]: Taking taylor expansion of x in x 16.823 * [taylor]: Taking taylor expansion of (* z y) in x 16.823 * [taylor]: Taking taylor expansion of z in x 16.823 * [taylor]: Taking taylor expansion of y in x 16.824 * [taylor]: Taking taylor expansion of (cbrt -18.0) in x 16.824 * [taylor]: Taking taylor expansion of -18.0 in x 16.824 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in x 16.824 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 16.824 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 16.825 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 16.825 * [taylor]: Taking taylor expansion of 1/3 in x 16.825 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 16.825 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 16.825 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 16.825 * [taylor]: Taking taylor expansion of x in x 16.825 * [taylor]: Taking taylor expansion of (* z y) in x 16.825 * [taylor]: Taking taylor expansion of z in x 16.825 * [taylor]: Taking taylor expansion of y in x 16.826 * [taylor]: Taking taylor expansion of (cbrt -18.0) in x 16.826 * [taylor]: Taking taylor expansion of -18.0 in x 16.827 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) (cbrt -18.0)) in y 16.827 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) in y 16.827 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z y))) (log x))) in y 16.827 * [taylor]: Taking taylor expansion of 1/3 in y 16.827 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z y))) (log x)) in y 16.827 * [taylor]: Taking taylor expansion of (log (/ 1 (* z y))) in y 16.827 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 16.827 * [taylor]: Taking taylor expansion of (* z y) in y 16.827 * [taylor]: Taking taylor expansion of z in y 16.827 * [taylor]: Taking taylor expansion of y in y 16.827 * [taylor]: Taking taylor expansion of (log x) in y 16.827 * [taylor]: Taking taylor expansion of x in y 16.828 * [taylor]: Taking taylor expansion of (cbrt -18.0) in y 16.828 * [taylor]: Taking taylor expansion of -18.0 in y 16.829 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) (cbrt -18.0)) in z 16.829 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) in z 16.829 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y)))) in z 16.829 * [taylor]: Taking taylor expansion of 1/3 in z 16.829 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (+ (log x) (log y))) in z 16.829 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 16.829 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.829 * [taylor]: Taking taylor expansion of z in z 16.830 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 16.830 * [taylor]: Taking taylor expansion of (log x) in z 16.830 * [taylor]: Taking taylor expansion of x in z 16.830 * [taylor]: Taking taylor expansion of (log y) in z 16.830 * [taylor]: Taking taylor expansion of y in z 16.830 * [taylor]: Taking taylor expansion of (cbrt -18.0) in z 16.830 * [taylor]: Taking taylor expansion of -18.0 in z 16.835 * [taylor]: Taking taylor expansion of 0 in y 16.835 * [taylor]: Taking taylor expansion of 0 in z 16.838 * [taylor]: Taking taylor expansion of 0 in z 16.847 * [taylor]: Taking taylor expansion of 0 in y 16.848 * [taylor]: Taking taylor expansion of 0 in z 16.848 * [taylor]: Taking taylor expansion of 0 in z 16.853 * [taylor]: Taking taylor expansion of 0 in z 16.854 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1 1) 16.854 * [approximate]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in (x y z) around 0 16.854 * [taylor]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in z 16.854 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in z 16.854 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in z 16.854 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in z 16.854 * [taylor]: Taking taylor expansion of 1/3 in z 16.854 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in z 16.854 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 16.854 * [taylor]: Taking taylor expansion of x in z 16.854 * [taylor]: Taking taylor expansion of (* z y) in z 16.854 * [taylor]: Taking taylor expansion of z in z 16.854 * [taylor]: Taking taylor expansion of y in z 16.855 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 16.855 * [taylor]: Taking taylor expansion of 18.0 in z 16.856 * [taylor]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in y 16.856 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in y 16.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in y 16.856 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in y 16.856 * [taylor]: Taking taylor expansion of 1/3 in y 16.856 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in y 16.856 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 16.856 * [taylor]: Taking taylor expansion of x in y 16.856 * [taylor]: Taking taylor expansion of (* z y) in y 16.856 * [taylor]: Taking taylor expansion of z in y 16.856 * [taylor]: Taking taylor expansion of y in y 16.857 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 16.857 * [taylor]: Taking taylor expansion of 18.0 in y 16.858 * [taylor]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in x 16.858 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in x 16.858 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in x 16.858 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in x 16.858 * [taylor]: Taking taylor expansion of 1/3 in x 16.858 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in x 16.858 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 16.858 * [taylor]: Taking taylor expansion of x in x 16.858 * [taylor]: Taking taylor expansion of (* z y) in x 16.858 * [taylor]: Taking taylor expansion of z in x 16.858 * [taylor]: Taking taylor expansion of y in x 16.859 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 16.859 * [taylor]: Taking taylor expansion of 18.0 in x 16.859 * [taylor]: Taking taylor expansion of (* (pow (* x (* z y)) 1/3) (cbrt 18.0)) in x 16.859 * [taylor]: Taking taylor expansion of (pow (* x (* z y)) 1/3) in x 16.859 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (* z y))))) in x 16.859 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (* z y)))) in x 16.859 * [taylor]: Taking taylor expansion of 1/3 in x 16.859 * [taylor]: Taking taylor expansion of (log (* x (* z y))) in x 16.859 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 16.859 * [taylor]: Taking taylor expansion of x in x 16.859 * [taylor]: Taking taylor expansion of (* z y) in x 16.859 * [taylor]: Taking taylor expansion of z in x 16.859 * [taylor]: Taking taylor expansion of y in x 16.860 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 16.860 * [taylor]: Taking taylor expansion of 18.0 in x 16.862 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log x) (log (* z y))))) (cbrt 18.0)) in y 16.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (* z y))))) in y 16.862 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (* z y)))) in y 16.862 * [taylor]: Taking taylor expansion of 1/3 in y 16.862 * [taylor]: Taking taylor expansion of (+ (log x) (log (* z y))) in y 16.862 * [taylor]: Taking taylor expansion of (log x) in y 16.862 * [taylor]: Taking taylor expansion of x in y 16.862 * [taylor]: Taking taylor expansion of (log (* z y)) in y 16.862 * [taylor]: Taking taylor expansion of (* z y) in y 16.862 * [taylor]: Taking taylor expansion of z in y 16.862 * [taylor]: Taking taylor expansion of y in y 16.863 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 16.863 * [taylor]: Taking taylor expansion of 18.0 in y 16.864 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (+ (log z) (+ (log x) (log y))))) (cbrt 18.0)) in z 16.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (+ (log x) (log y))))) in z 16.864 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (+ (log x) (log y)))) in z 16.864 * [taylor]: Taking taylor expansion of 1/3 in z 16.864 * [taylor]: Taking taylor expansion of (+ (log z) (+ (log x) (log y))) in z 16.864 * [taylor]: Taking taylor expansion of (log z) in z 16.864 * [taylor]: Taking taylor expansion of z in z 16.864 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 16.864 * [taylor]: Taking taylor expansion of (log x) in z 16.864 * [taylor]: Taking taylor expansion of x in z 16.864 * [taylor]: Taking taylor expansion of (log y) in z 16.864 * [taylor]: Taking taylor expansion of y in z 16.865 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 16.865 * [taylor]: Taking taylor expansion of 18.0 in z 16.869 * [taylor]: Taking taylor expansion of 0 in y 16.869 * [taylor]: Taking taylor expansion of 0 in z 16.872 * [taylor]: Taking taylor expansion of 0 in z 16.881 * [taylor]: Taking taylor expansion of 0 in y 16.881 * [taylor]: Taking taylor expansion of 0 in z 16.881 * [taylor]: Taking taylor expansion of 0 in z 16.886 * [taylor]: Taking taylor expansion of 0 in z 16.887 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in (x y z) around 0 16.887 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in z 16.887 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in z 16.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in z 16.887 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in z 16.887 * [taylor]: Taking taylor expansion of 1/3 in z 16.887 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in z 16.887 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 16.887 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 16.887 * [taylor]: Taking taylor expansion of x in z 16.887 * [taylor]: Taking taylor expansion of (* z y) in z 16.887 * [taylor]: Taking taylor expansion of z in z 16.887 * [taylor]: Taking taylor expansion of y in z 16.891 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 16.891 * [taylor]: Taking taylor expansion of 18.0 in z 16.892 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in y 16.892 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in y 16.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in y 16.892 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in y 16.892 * [taylor]: Taking taylor expansion of 1/3 in y 16.892 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in y 16.892 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 16.892 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 16.892 * [taylor]: Taking taylor expansion of x in y 16.892 * [taylor]: Taking taylor expansion of (* z y) in y 16.892 * [taylor]: Taking taylor expansion of z in y 16.892 * [taylor]: Taking taylor expansion of y in y 16.893 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 16.893 * [taylor]: Taking taylor expansion of 18.0 in y 16.894 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in x 16.894 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 16.894 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 16.894 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 16.894 * [taylor]: Taking taylor expansion of 1/3 in x 16.894 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 16.894 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 16.894 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 16.894 * [taylor]: Taking taylor expansion of x in x 16.894 * [taylor]: Taking taylor expansion of (* z y) in x 16.894 * [taylor]: Taking taylor expansion of z in x 16.894 * [taylor]: Taking taylor expansion of y in x 16.895 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 16.895 * [taylor]: Taking taylor expansion of 18.0 in x 16.895 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt 18.0)) in x 16.895 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 16.895 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 16.895 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 16.896 * [taylor]: Taking taylor expansion of 1/3 in x 16.896 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 16.896 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 16.896 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 16.896 * [taylor]: Taking taylor expansion of x in x 16.896 * [taylor]: Taking taylor expansion of (* z y) in x 16.896 * [taylor]: Taking taylor expansion of z in x 16.896 * [taylor]: Taking taylor expansion of y in x 16.897 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 16.897 * [taylor]: Taking taylor expansion of 18.0 in x 16.898 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) (cbrt 18.0)) in y 16.898 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) in y 16.898 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z y))) (log x))) in y 16.898 * [taylor]: Taking taylor expansion of 1/3 in y 16.898 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z y))) (log x)) in y 16.898 * [taylor]: Taking taylor expansion of (log (/ 1 (* z y))) in y 16.898 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 16.898 * [taylor]: Taking taylor expansion of (* z y) in y 16.898 * [taylor]: Taking taylor expansion of z in y 16.898 * [taylor]: Taking taylor expansion of y in y 16.898 * [taylor]: Taking taylor expansion of (log x) in y 16.898 * [taylor]: Taking taylor expansion of x in y 16.899 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 16.899 * [taylor]: Taking taylor expansion of 18.0 in y 16.900 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) (cbrt 18.0)) in z 16.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) in z 16.900 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y)))) in z 16.900 * [taylor]: Taking taylor expansion of 1/3 in z 16.900 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (+ (log x) (log y))) in z 16.900 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 16.900 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.900 * [taylor]: Taking taylor expansion of z in z 16.900 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 16.900 * [taylor]: Taking taylor expansion of (log x) in z 16.900 * [taylor]: Taking taylor expansion of x in z 16.901 * [taylor]: Taking taylor expansion of (log y) in z 16.901 * [taylor]: Taking taylor expansion of y in z 16.901 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 16.901 * [taylor]: Taking taylor expansion of 18.0 in z 16.906 * [taylor]: Taking taylor expansion of 0 in y 16.906 * [taylor]: Taking taylor expansion of 0 in z 16.909 * [taylor]: Taking taylor expansion of 0 in z 16.918 * [taylor]: Taking taylor expansion of 0 in y 16.918 * [taylor]: Taking taylor expansion of 0 in z 16.918 * [taylor]: Taking taylor expansion of 0 in z 16.924 * [taylor]: Taking taylor expansion of 0 in z 16.925 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in (x y z) around 0 16.925 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in z 16.925 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in z 16.925 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in z 16.925 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in z 16.925 * [taylor]: Taking taylor expansion of 1/3 in z 16.925 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in z 16.925 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 16.925 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 16.925 * [taylor]: Taking taylor expansion of x in z 16.925 * [taylor]: Taking taylor expansion of (* z y) in z 16.925 * [taylor]: Taking taylor expansion of z in z 16.925 * [taylor]: Taking taylor expansion of y in z 16.926 * [taylor]: Taking taylor expansion of (cbrt -18.0) in z 16.926 * [taylor]: Taking taylor expansion of -18.0 in z 16.927 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in y 16.927 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in y 16.927 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in y 16.927 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in y 16.927 * [taylor]: Taking taylor expansion of 1/3 in y 16.927 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in y 16.927 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 16.927 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 16.927 * [taylor]: Taking taylor expansion of x in y 16.927 * [taylor]: Taking taylor expansion of (* z y) in y 16.927 * [taylor]: Taking taylor expansion of z in y 16.927 * [taylor]: Taking taylor expansion of y in y 16.928 * [taylor]: Taking taylor expansion of (cbrt -18.0) in y 16.928 * [taylor]: Taking taylor expansion of -18.0 in y 16.929 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in x 16.929 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 16.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 16.929 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 16.929 * [taylor]: Taking taylor expansion of 1/3 in x 16.929 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 16.929 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 16.929 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 16.929 * [taylor]: Taking taylor expansion of x in x 16.929 * [taylor]: Taking taylor expansion of (* z y) in x 16.929 * [taylor]: Taking taylor expansion of z in x 16.929 * [taylor]: Taking taylor expansion of y in x 16.930 * [taylor]: Taking taylor expansion of (cbrt -18.0) in x 16.930 * [taylor]: Taking taylor expansion of -18.0 in x 16.930 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (* z y))) 1/3) (cbrt -18.0)) in x 16.930 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (* z y))) 1/3) in x 16.930 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (* z y)))))) in x 16.930 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (* z y))))) in x 16.930 * [taylor]: Taking taylor expansion of 1/3 in x 16.930 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (* z y)))) in x 16.930 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 16.930 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 16.931 * [taylor]: Taking taylor expansion of x in x 16.931 * [taylor]: Taking taylor expansion of (* z y) in x 16.931 * [taylor]: Taking taylor expansion of z in x 16.931 * [taylor]: Taking taylor expansion of y in x 16.931 * [taylor]: Taking taylor expansion of (cbrt -18.0) in x 16.931 * [taylor]: Taking taylor expansion of -18.0 in x 16.933 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) (cbrt -18.0)) in y 16.933 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (* z y))) (log x)))) in y 16.933 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (* z y))) (log x))) in y 16.933 * [taylor]: Taking taylor expansion of 1/3 in y 16.933 * [taylor]: Taking taylor expansion of (- (log (/ 1 (* z y))) (log x)) in y 16.933 * [taylor]: Taking taylor expansion of (log (/ 1 (* z y))) in y 16.933 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 16.933 * [taylor]: Taking taylor expansion of (* z y) in y 16.933 * [taylor]: Taking taylor expansion of z in y 16.933 * [taylor]: Taking taylor expansion of y in y 16.933 * [taylor]: Taking taylor expansion of (log x) in y 16.933 * [taylor]: Taking taylor expansion of x in y 16.934 * [taylor]: Taking taylor expansion of (cbrt -18.0) in y 16.934 * [taylor]: Taking taylor expansion of -18.0 in y 16.935 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) (cbrt -18.0)) in z 16.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y))))) in z 16.935 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 z)) (+ (log x) (log y)))) in z 16.935 * [taylor]: Taking taylor expansion of 1/3 in z 16.935 * [taylor]: Taking taylor expansion of (- (log (/ 1 z)) (+ (log x) (log y))) in z 16.935 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 16.935 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.935 * [taylor]: Taking taylor expansion of z in z 16.936 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 16.936 * [taylor]: Taking taylor expansion of (log x) in z 16.936 * [taylor]: Taking taylor expansion of x in z 16.936 * [taylor]: Taking taylor expansion of (log y) in z 16.936 * [taylor]: Taking taylor expansion of y in z 16.936 * [taylor]: Taking taylor expansion of (cbrt -18.0) in z 16.936 * [taylor]: Taking taylor expansion of -18.0 in z 16.941 * [taylor]: Taking taylor expansion of 0 in y 16.941 * [taylor]: Taking taylor expansion of 0 in z 16.944 * [taylor]: Taking taylor expansion of 0 in z 16.953 * [taylor]: Taking taylor expansion of 0 in y 16.953 * [taylor]: Taking taylor expansion of 0 in z 16.953 * [taylor]: Taking taylor expansion of 0 in z 16.959 * [taylor]: Taking taylor expansion of 0 in z 16.960 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 2 1) 16.960 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0 16.960 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z 16.960 * [taylor]: Taking taylor expansion of 18.0 in z 16.960 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 16.960 * [taylor]: Taking taylor expansion of x in z 16.960 * [taylor]: Taking taylor expansion of (* z y) in z 16.960 * [taylor]: Taking taylor expansion of z in z 16.960 * [taylor]: Taking taylor expansion of y in z 16.960 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y 16.960 * [taylor]: Taking taylor expansion of 18.0 in y 16.960 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 16.960 * [taylor]: Taking taylor expansion of x in y 16.960 * [taylor]: Taking taylor expansion of (* z y) in y 16.960 * [taylor]: Taking taylor expansion of z in y 16.960 * [taylor]: Taking taylor expansion of y in y 16.960 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x 16.960 * [taylor]: Taking taylor expansion of 18.0 in x 16.960 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 16.960 * [taylor]: Taking taylor expansion of x in x 16.960 * [taylor]: Taking taylor expansion of (* z y) in x 16.960 * [taylor]: Taking taylor expansion of z in x 16.960 * [taylor]: Taking taylor expansion of y in x 16.960 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x 16.960 * [taylor]: Taking taylor expansion of 18.0 in x 16.960 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 16.960 * [taylor]: Taking taylor expansion of x in x 16.960 * [taylor]: Taking taylor expansion of (* z y) in x 16.960 * [taylor]: Taking taylor expansion of z in x 16.960 * [taylor]: Taking taylor expansion of y in x 16.961 * [taylor]: Taking taylor expansion of 0 in y 16.961 * [taylor]: Taking taylor expansion of 0 in z 16.962 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y 16.962 * [taylor]: Taking taylor expansion of 18.0 in y 16.962 * [taylor]: Taking taylor expansion of (* z y) in y 16.962 * [taylor]: Taking taylor expansion of z in y 16.962 * [taylor]: Taking taylor expansion of y in y 16.962 * [taylor]: Taking taylor expansion of 0 in z 16.962 * [taylor]: Taking taylor expansion of 0 in z 16.963 * [taylor]: Taking taylor expansion of 0 in y 16.963 * [taylor]: Taking taylor expansion of 0 in z 16.964 * [taylor]: Taking taylor expansion of (* 18.0 z) in z 16.964 * [taylor]: Taking taylor expansion of 18.0 in z 16.964 * [taylor]: Taking taylor expansion of z in z 16.964 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0 16.964 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z 16.964 * [taylor]: Taking taylor expansion of 18.0 in z 16.964 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 16.964 * [taylor]: Taking taylor expansion of x in z 16.964 * [taylor]: Taking taylor expansion of (* z y) in z 16.964 * [taylor]: Taking taylor expansion of z in z 16.964 * [taylor]: Taking taylor expansion of y in z 16.965 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y 16.965 * [taylor]: Taking taylor expansion of 18.0 in y 16.965 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 16.965 * [taylor]: Taking taylor expansion of x in y 16.965 * [taylor]: Taking taylor expansion of (* z y) in y 16.965 * [taylor]: Taking taylor expansion of z in y 16.965 * [taylor]: Taking taylor expansion of y in y 16.966 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x 16.966 * [taylor]: Taking taylor expansion of 18.0 in x 16.966 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 16.966 * [taylor]: Taking taylor expansion of x in x 16.966 * [taylor]: Taking taylor expansion of (* z y) in x 16.966 * [taylor]: Taking taylor expansion of z in x 16.966 * [taylor]: Taking taylor expansion of y in x 16.966 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x 16.966 * [taylor]: Taking taylor expansion of 18.0 in x 16.966 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 16.966 * [taylor]: Taking taylor expansion of x in x 16.966 * [taylor]: Taking taylor expansion of (* z y) in x 16.966 * [taylor]: Taking taylor expansion of z in x 16.966 * [taylor]: Taking taylor expansion of y in x 16.967 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y 16.967 * [taylor]: Taking taylor expansion of 18.0 in y 16.967 * [taylor]: Taking taylor expansion of (* z y) in y 16.967 * [taylor]: Taking taylor expansion of z in y 16.967 * [taylor]: Taking taylor expansion of y in y 16.967 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z 16.967 * [taylor]: Taking taylor expansion of 18.0 in z 16.967 * [taylor]: Taking taylor expansion of z in z 16.968 * [taylor]: Taking taylor expansion of 0 in y 16.969 * [taylor]: Taking taylor expansion of 0 in z 16.971 * [taylor]: Taking taylor expansion of 0 in y 16.971 * [taylor]: Taking taylor expansion of 0 in z 16.971 * [taylor]: Taking taylor expansion of 0 in z 16.974 * [taylor]: Taking taylor expansion of 0 in y 16.974 * [taylor]: Taking taylor expansion of 0 in z 16.974 * [taylor]: Taking taylor expansion of 0 in z 16.975 * [taylor]: Taking taylor expansion of 0 in z 16.978 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0 16.978 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z 16.978 * [taylor]: Taking taylor expansion of -18.0 in z 16.978 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 16.978 * [taylor]: Taking taylor expansion of x in z 16.978 * [taylor]: Taking taylor expansion of (* z y) in z 16.978 * [taylor]: Taking taylor expansion of z in z 16.978 * [taylor]: Taking taylor expansion of y in z 16.979 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y 16.979 * [taylor]: Taking taylor expansion of -18.0 in y 16.979 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 16.979 * [taylor]: Taking taylor expansion of x in y 16.979 * [taylor]: Taking taylor expansion of (* z y) in y 16.979 * [taylor]: Taking taylor expansion of z in y 16.979 * [taylor]: Taking taylor expansion of y in y 16.979 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x 16.979 * [taylor]: Taking taylor expansion of -18.0 in x 16.979 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 16.979 * [taylor]: Taking taylor expansion of x in x 16.979 * [taylor]: Taking taylor expansion of (* z y) in x 16.979 * [taylor]: Taking taylor expansion of z in x 16.979 * [taylor]: Taking taylor expansion of y in x 16.980 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x 16.980 * [taylor]: Taking taylor expansion of -18.0 in x 16.980 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 16.980 * [taylor]: Taking taylor expansion of x in x 16.980 * [taylor]: Taking taylor expansion of (* z y) in x 16.980 * [taylor]: Taking taylor expansion of z in x 16.980 * [taylor]: Taking taylor expansion of y in x 16.980 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y 16.980 * [taylor]: Taking taylor expansion of -18.0 in y 16.981 * [taylor]: Taking taylor expansion of (* z y) in y 16.981 * [taylor]: Taking taylor expansion of z in y 16.981 * [taylor]: Taking taylor expansion of y in y 16.981 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z 16.981 * [taylor]: Taking taylor expansion of -18.0 in z 16.981 * [taylor]: Taking taylor expansion of z in z 16.982 * [taylor]: Taking taylor expansion of 0 in y 16.983 * [taylor]: Taking taylor expansion of 0 in z 16.985 * [taylor]: Taking taylor expansion of 0 in y 16.985 * [taylor]: Taking taylor expansion of 0 in z 16.985 * [taylor]: Taking taylor expansion of 0 in z 16.988 * [taylor]: Taking taylor expansion of 0 in y 16.988 * [taylor]: Taking taylor expansion of 0 in z 16.988 * [taylor]: Taking taylor expansion of 0 in z 16.988 * [taylor]: Taking taylor expansion of 0 in z 16.989 * * * [progress]: simplifying candidates 16.989 * [simplify]: Simplifying using # : (log (cbrt (* (* (* x 18.0) y) z))) (exp (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* x 18.0) y)) (cbrt z) (* (cbrt (cbrt (* (* (* x 18.0) y) z))) (cbrt (cbrt (* (* (* x 18.0) y) z)))) (cbrt (cbrt (* (* (* x 18.0) y) z))) (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) (sqrt (cbrt (* (* (* x 18.0) y) z))) (sqrt (cbrt (* (* (* x 18.0) y) z))) (log (cbrt (* (* (* x 18.0) y) z))) (exp (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* x 18.0) y)) (cbrt z) (* (cbrt (cbrt (* (* (* x 18.0) y) z))) (cbrt (cbrt (* (* (* x 18.0) y) z)))) (cbrt (cbrt (* (* (* x 18.0) y) z))) (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) (sqrt (cbrt (* (* (* x 18.0) y) z))) (sqrt (cbrt (* (* (* x 18.0) y) z))) (log (cbrt (* (* (* x 18.0) y) z))) (exp (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* x 18.0) y)) (cbrt z) (* (cbrt (cbrt (* (* (* x 18.0) y) z))) (cbrt (cbrt (* (* (* x 18.0) y) z)))) (cbrt (cbrt (* (* (* x 18.0) y) z))) (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) (sqrt (cbrt (* (* (* x 18.0) y) z))) (sqrt (cbrt (* (* (* x 18.0) y) z))) (* (* (* 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) (* (exp (* 1/3 (+ (log z) (+ (log x) (log y))))) (cbrt 18.0)) (* (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y)))))) (cbrt 18.0)) (* (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -18.0)) (* (exp (* 1/3 (+ (log z) (+ (log x) (log y))))) (cbrt 18.0)) (* (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y)))))) (cbrt 18.0)) (* (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -18.0)) (* (exp (* 1/3 (+ (log z) (+ (log x) (log y))))) (cbrt 18.0)) (* (exp (* -1/3 (+ (log (/ 1 x)) (+ (log (/ 1 z)) (log (/ 1 y)))))) (cbrt 18.0)) (* (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -18.0)) 0 (* 18.0 (* x (* z y))) (* 18.0 (* x (* z y))) 16.992 * * [simplify]: iteration 0 : 96 enodes (cost 700 ) 17.007 * * [simplify]: iteration 1 : 241 enodes (cost 683 ) 17.070 * * [simplify]: iteration 2 : 922 enodes (cost 573 ) 17.827 * * [simplify]: iteration 3 : 4881 enodes (cost 549 ) 19.650 * * [simplify]: iteration done : 5000 enodes (cost 549 ) 19.650 * [simplify]: Simplified to: (log (cbrt (* (* (* x 18.0) y) z))) (exp (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* x 18.0) y)) (cbrt z) (* (cbrt (cbrt (* (* (* x 18.0) y) z))) (cbrt (cbrt (* (* (* x 18.0) y) z)))) (cbrt (cbrt (* (* (* x 18.0) y) z))) (* (* x y) (* z 18.0)) (sqrt (cbrt (* (* (* x 18.0) y) z))) (sqrt (cbrt (* (* (* x 18.0) y) z))) (log (cbrt (* (* (* x 18.0) y) z))) (exp (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* x 18.0) y)) (cbrt z) (* (cbrt (cbrt (* (* (* x 18.0) y) z))) (cbrt (cbrt (* (* (* x 18.0) y) z)))) (cbrt (cbrt (* (* (* x 18.0) y) z))) (* (* x y) (* z 18.0)) (sqrt (cbrt (* (* (* x 18.0) y) z))) (sqrt (cbrt (* (* (* x 18.0) y) z))) (log (cbrt (* (* (* x 18.0) y) z))) (exp (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* x 18.0) y)) (cbrt z) (* (cbrt (cbrt (* (* (* x 18.0) y) z))) (cbrt (cbrt (* (* (* x 18.0) y) z)))) (cbrt (cbrt (* (* (* x 18.0) y) z))) (* (* x y) (* z 18.0)) (sqrt (cbrt (* (* (* x 18.0) y) z))) (sqrt (cbrt (* (* (* x 18.0) y) z))) (* (* x y) (* z 18.0)) (* (* x y) (* z 18.0)) (* (* x y) (* z 18.0)) (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 (exp (log (* x (* z y))))) (cbrt 18.0)) (* (pow (exp -1/3) (- (log (* x (* z y))))) (cbrt 18.0)) (* (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -18.0)) (* (cbrt (exp (log (* x (* z y))))) (cbrt 18.0)) (* (pow (exp -1/3) (- (log (* x (* z y))))) (cbrt 18.0)) (* (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -18.0)) (* (cbrt (exp (log (* x (* z y))))) (cbrt 18.0)) (* (pow (exp -1/3) (- (log (* x (* z y))))) (cbrt 18.0)) (* (exp (* -1/3 (+ (log (/ -1 z)) (+ (log (/ -1 y)) (log (/ -1 x)))))) (cbrt -18.0)) 0 (* (* x y) (* z 18.0)) (* (* x y) (* z 18.0)) 19.651 * * * [progress]: adding candidates to table 19.991 * * [progress]: iteration 4 / 4 19.991 * * * [progress]: picking best candidate 20.021 * * * * [pick]: Picked # 20.021 * * * [progress]: localizing error 20.045 * * * [progress]: generating rewritten candidates 20.045 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1 2) 20.052 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 1 2) 20.057 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1 1) 20.062 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1) 20.122 * * * [progress]: generating series expansions 20.122 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1 2) 20.122 * [approximate]: Taking taylor expansion of (* (pow (* x y) 1/3) (cbrt 18.0)) in (x y) around 0 20.122 * [taylor]: Taking taylor expansion of (* (pow (* x y) 1/3) (cbrt 18.0)) in y 20.122 * [taylor]: Taking taylor expansion of (pow (* x y) 1/3) in y 20.122 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x y)))) in y 20.122 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x y))) in y 20.122 * [taylor]: Taking taylor expansion of 1/3 in y 20.122 * [taylor]: Taking taylor expansion of (log (* x y)) in y 20.122 * [taylor]: Taking taylor expansion of (* x y) in y 20.122 * [taylor]: Taking taylor expansion of x in y 20.122 * [taylor]: Taking taylor expansion of y in y 20.123 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 20.123 * [taylor]: Taking taylor expansion of 18.0 in y 20.124 * [taylor]: Taking taylor expansion of (* (pow (* x y) 1/3) (cbrt 18.0)) in x 20.124 * [taylor]: Taking taylor expansion of (pow (* x y) 1/3) in x 20.124 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x y)))) in x 20.124 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x y))) in x 20.124 * [taylor]: Taking taylor expansion of 1/3 in x 20.124 * [taylor]: Taking taylor expansion of (log (* x y)) in x 20.124 * [taylor]: Taking taylor expansion of (* x y) in x 20.124 * [taylor]: Taking taylor expansion of x in x 20.124 * [taylor]: Taking taylor expansion of y in x 20.125 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 20.125 * [taylor]: Taking taylor expansion of 18.0 in x 20.125 * [taylor]: Taking taylor expansion of (* (pow (* x y) 1/3) (cbrt 18.0)) in x 20.125 * [taylor]: Taking taylor expansion of (pow (* x y) 1/3) in x 20.125 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x y)))) in x 20.125 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x y))) in x 20.125 * [taylor]: Taking taylor expansion of 1/3 in x 20.125 * [taylor]: Taking taylor expansion of (log (* x y)) in x 20.125 * [taylor]: Taking taylor expansion of (* x y) in x 20.125 * [taylor]: Taking taylor expansion of x in x 20.125 * [taylor]: Taking taylor expansion of y in x 20.126 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 20.126 * [taylor]: Taking taylor expansion of 18.0 in x 20.127 * [taylor]: Taking taylor expansion of (* (cbrt 18.0) (exp (* 1/3 (+ (log x) (log y))))) in y 20.127 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 20.127 * [taylor]: Taking taylor expansion of 18.0 in y 20.128 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log y)))) in y 20.128 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log y))) in y 20.128 * [taylor]: Taking taylor expansion of 1/3 in y 20.128 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in y 20.128 * [taylor]: Taking taylor expansion of (log x) in y 20.128 * [taylor]: Taking taylor expansion of x in y 20.128 * [taylor]: Taking taylor expansion of (log y) in y 20.128 * [taylor]: Taking taylor expansion of y in y 20.132 * [taylor]: Taking taylor expansion of 0 in y 20.139 * [taylor]: Taking taylor expansion of 0 in y 20.154 * [taylor]: Taking taylor expansion of 0 in y 20.154 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in (x y) around 0 20.154 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in y 20.154 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in y 20.154 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in y 20.154 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in y 20.154 * [taylor]: Taking taylor expansion of 1/3 in y 20.154 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in y 20.154 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 20.154 * [taylor]: Taking taylor expansion of (* x y) in y 20.154 * [taylor]: Taking taylor expansion of x in y 20.154 * [taylor]: Taking taylor expansion of y in y 20.155 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 20.155 * [taylor]: Taking taylor expansion of 18.0 in y 20.156 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in x 20.156 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in x 20.156 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in x 20.156 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in x 20.156 * [taylor]: Taking taylor expansion of 1/3 in x 20.156 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in x 20.156 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 20.156 * [taylor]: Taking taylor expansion of (* x y) in x 20.156 * [taylor]: Taking taylor expansion of x in x 20.156 * [taylor]: Taking taylor expansion of y in x 20.157 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 20.157 * [taylor]: Taking taylor expansion of 18.0 in x 20.158 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in x 20.158 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in x 20.158 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in x 20.158 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in x 20.158 * [taylor]: Taking taylor expansion of 1/3 in x 20.158 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in x 20.158 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 20.158 * [taylor]: Taking taylor expansion of (* x y) in x 20.158 * [taylor]: Taking taylor expansion of x in x 20.158 * [taylor]: Taking taylor expansion of y in x 20.159 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 20.159 * [taylor]: Taking taylor expansion of 18.0 in x 20.160 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log x)))) (cbrt 18.0)) in y 20.160 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log x)))) in y 20.160 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log x))) in y 20.160 * [taylor]: Taking taylor expansion of 1/3 in y 20.160 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log x)) in y 20.160 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.160 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.160 * [taylor]: Taking taylor expansion of y in y 20.161 * [taylor]: Taking taylor expansion of (log x) in y 20.161 * [taylor]: Taking taylor expansion of x in y 20.161 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 20.161 * [taylor]: Taking taylor expansion of 18.0 in y 20.165 * [taylor]: Taking taylor expansion of 0 in y 20.173 * [taylor]: Taking taylor expansion of 0 in y 20.185 * [taylor]: Taking taylor expansion of 0 in y 20.186 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in (x y) around 0 20.186 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in y 20.186 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in y 20.186 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in y 20.186 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in y 20.186 * [taylor]: Taking taylor expansion of 1/3 in y 20.186 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in y 20.186 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 20.186 * [taylor]: Taking taylor expansion of (* x y) in y 20.186 * [taylor]: Taking taylor expansion of x in y 20.186 * [taylor]: Taking taylor expansion of y in y 20.186 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 20.186 * [taylor]: Taking taylor expansion of 18.0 in y 20.187 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in x 20.187 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in x 20.187 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in x 20.187 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in x 20.187 * [taylor]: Taking taylor expansion of 1/3 in x 20.187 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in x 20.187 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 20.187 * [taylor]: Taking taylor expansion of (* x y) in x 20.187 * [taylor]: Taking taylor expansion of x in x 20.187 * [taylor]: Taking taylor expansion of y in x 20.188 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 20.188 * [taylor]: Taking taylor expansion of 18.0 in x 20.189 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in x 20.189 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in x 20.189 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in x 20.189 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in x 20.189 * [taylor]: Taking taylor expansion of 1/3 in x 20.189 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in x 20.189 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 20.189 * [taylor]: Taking taylor expansion of (* x y) in x 20.189 * [taylor]: Taking taylor expansion of x in x 20.189 * [taylor]: Taking taylor expansion of y in x 20.190 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 20.190 * [taylor]: Taking taylor expansion of 18.0 in x 20.191 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log x)))) (cbrt 18.0)) in y 20.191 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log x)))) in y 20.191 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log x))) in y 20.191 * [taylor]: Taking taylor expansion of 1/3 in y 20.191 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log x)) in y 20.191 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.191 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.191 * [taylor]: Taking taylor expansion of y in y 20.191 * [taylor]: Taking taylor expansion of (log x) in y 20.191 * [taylor]: Taking taylor expansion of x in y 20.192 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 20.192 * [taylor]: Taking taylor expansion of 18.0 in y 20.196 * [taylor]: Taking taylor expansion of 0 in y 20.204 * [taylor]: Taking taylor expansion of 0 in y 20.216 * [taylor]: Taking taylor expansion of 0 in y 20.217 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1 1 2) 20.217 * [approximate]: Taking taylor expansion of (* (pow (* x y) 1/3) (cbrt 18.0)) in (x y) around 0 20.217 * [taylor]: Taking taylor expansion of (* (pow (* x y) 1/3) (cbrt 18.0)) in y 20.217 * [taylor]: Taking taylor expansion of (pow (* x y) 1/3) in y 20.217 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x y)))) in y 20.217 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x y))) in y 20.217 * [taylor]: Taking taylor expansion of 1/3 in y 20.217 * [taylor]: Taking taylor expansion of (log (* x y)) in y 20.217 * [taylor]: Taking taylor expansion of (* x y) in y 20.217 * [taylor]: Taking taylor expansion of x in y 20.217 * [taylor]: Taking taylor expansion of y in y 20.218 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 20.218 * [taylor]: Taking taylor expansion of 18.0 in y 20.219 * [taylor]: Taking taylor expansion of (* (pow (* x y) 1/3) (cbrt 18.0)) in x 20.219 * [taylor]: Taking taylor expansion of (pow (* x y) 1/3) in x 20.219 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x y)))) in x 20.219 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x y))) in x 20.219 * [taylor]: Taking taylor expansion of 1/3 in x 20.219 * [taylor]: Taking taylor expansion of (log (* x y)) in x 20.219 * [taylor]: Taking taylor expansion of (* x y) in x 20.219 * [taylor]: Taking taylor expansion of x in x 20.219 * [taylor]: Taking taylor expansion of y in x 20.219 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 20.220 * [taylor]: Taking taylor expansion of 18.0 in x 20.220 * [taylor]: Taking taylor expansion of (* (pow (* x y) 1/3) (cbrt 18.0)) in x 20.220 * [taylor]: Taking taylor expansion of (pow (* x y) 1/3) in x 20.220 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x y)))) in x 20.220 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x y))) in x 20.220 * [taylor]: Taking taylor expansion of 1/3 in x 20.220 * [taylor]: Taking taylor expansion of (log (* x y)) in x 20.220 * [taylor]: Taking taylor expansion of (* x y) in x 20.220 * [taylor]: Taking taylor expansion of x in x 20.220 * [taylor]: Taking taylor expansion of y in x 20.221 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 20.221 * [taylor]: Taking taylor expansion of 18.0 in x 20.222 * [taylor]: Taking taylor expansion of (* (cbrt 18.0) (exp (* 1/3 (+ (log x) (log y))))) in y 20.222 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 20.222 * [taylor]: Taking taylor expansion of 18.0 in y 20.223 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log y)))) in y 20.223 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log y))) in y 20.223 * [taylor]: Taking taylor expansion of 1/3 in y 20.223 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in y 20.223 * [taylor]: Taking taylor expansion of (log x) in y 20.223 * [taylor]: Taking taylor expansion of x in y 20.223 * [taylor]: Taking taylor expansion of (log y) in y 20.223 * [taylor]: Taking taylor expansion of y in y 20.227 * [taylor]: Taking taylor expansion of 0 in y 20.238 * [taylor]: Taking taylor expansion of 0 in y 20.249 * [taylor]: Taking taylor expansion of 0 in y 20.249 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in (x y) around 0 20.249 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in y 20.249 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in y 20.249 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in y 20.249 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in y 20.249 * [taylor]: Taking taylor expansion of 1/3 in y 20.250 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in y 20.250 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 20.250 * [taylor]: Taking taylor expansion of (* x y) in y 20.250 * [taylor]: Taking taylor expansion of x in y 20.250 * [taylor]: Taking taylor expansion of y in y 20.250 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 20.250 * [taylor]: Taking taylor expansion of 18.0 in y 20.251 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in x 20.251 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in x 20.251 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in x 20.251 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in x 20.251 * [taylor]: Taking taylor expansion of 1/3 in x 20.251 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in x 20.251 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 20.251 * [taylor]: Taking taylor expansion of (* x y) in x 20.251 * [taylor]: Taking taylor expansion of x in x 20.251 * [taylor]: Taking taylor expansion of y in x 20.252 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 20.252 * [taylor]: Taking taylor expansion of 18.0 in x 20.253 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in x 20.253 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in x 20.253 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in x 20.253 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in x 20.253 * [taylor]: Taking taylor expansion of 1/3 in x 20.253 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in x 20.253 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 20.253 * [taylor]: Taking taylor expansion of (* x y) in x 20.253 * [taylor]: Taking taylor expansion of x in x 20.253 * [taylor]: Taking taylor expansion of y in x 20.254 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 20.254 * [taylor]: Taking taylor expansion of 18.0 in x 20.255 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log x)))) (cbrt 18.0)) in y 20.255 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log x)))) in y 20.255 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log x))) in y 20.255 * [taylor]: Taking taylor expansion of 1/3 in y 20.255 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log x)) in y 20.255 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.255 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.255 * [taylor]: Taking taylor expansion of y in y 20.255 * [taylor]: Taking taylor expansion of (log x) in y 20.255 * [taylor]: Taking taylor expansion of x in y 20.256 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 20.256 * [taylor]: Taking taylor expansion of 18.0 in y 20.260 * [taylor]: Taking taylor expansion of 0 in y 20.268 * [taylor]: Taking taylor expansion of 0 in y 20.280 * [taylor]: Taking taylor expansion of 0 in y 20.280 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in (x y) around 0 20.280 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in y 20.280 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in y 20.280 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in y 20.281 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in y 20.281 * [taylor]: Taking taylor expansion of 1/3 in y 20.281 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in y 20.281 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 20.281 * [taylor]: Taking taylor expansion of (* x y) in y 20.281 * [taylor]: Taking taylor expansion of x in y 20.281 * [taylor]: Taking taylor expansion of y in y 20.281 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 20.281 * [taylor]: Taking taylor expansion of 18.0 in y 20.282 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in x 20.282 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in x 20.282 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in x 20.282 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in x 20.282 * [taylor]: Taking taylor expansion of 1/3 in x 20.282 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in x 20.282 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 20.282 * [taylor]: Taking taylor expansion of (* x y) in x 20.282 * [taylor]: Taking taylor expansion of x in x 20.282 * [taylor]: Taking taylor expansion of y in x 20.283 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 20.283 * [taylor]: Taking taylor expansion of 18.0 in x 20.284 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in x 20.284 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in x 20.284 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in x 20.284 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in x 20.284 * [taylor]: Taking taylor expansion of 1/3 in x 20.284 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in x 20.284 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 20.284 * [taylor]: Taking taylor expansion of (* x y) in x 20.284 * [taylor]: Taking taylor expansion of x in x 20.284 * [taylor]: Taking taylor expansion of y in x 20.285 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 20.285 * [taylor]: Taking taylor expansion of 18.0 in x 20.286 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log x)))) (cbrt 18.0)) in y 20.286 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log x)))) in y 20.286 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log x))) in y 20.286 * [taylor]: Taking taylor expansion of 1/3 in y 20.286 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log x)) in y 20.286 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.286 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.286 * [taylor]: Taking taylor expansion of y in y 20.286 * [taylor]: Taking taylor expansion of (log x) in y 20.286 * [taylor]: Taking taylor expansion of x in y 20.287 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 20.287 * [taylor]: Taking taylor expansion of 18.0 in y 20.291 * [taylor]: Taking taylor expansion of 0 in y 20.299 * [taylor]: Taking taylor expansion of 0 in y 20.311 * [taylor]: Taking taylor expansion of 0 in y 20.312 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1 1 1) 20.312 * [approximate]: Taking taylor expansion of (* (pow (* x y) 1/3) (cbrt 18.0)) in (x y) around 0 20.312 * [taylor]: Taking taylor expansion of (* (pow (* x y) 1/3) (cbrt 18.0)) in y 20.312 * [taylor]: Taking taylor expansion of (pow (* x y) 1/3) in y 20.312 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x y)))) in y 20.312 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x y))) in y 20.312 * [taylor]: Taking taylor expansion of 1/3 in y 20.312 * [taylor]: Taking taylor expansion of (log (* x y)) in y 20.312 * [taylor]: Taking taylor expansion of (* x y) in y 20.312 * [taylor]: Taking taylor expansion of x in y 20.312 * [taylor]: Taking taylor expansion of y in y 20.313 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 20.313 * [taylor]: Taking taylor expansion of 18.0 in y 20.316 * [taylor]: Taking taylor expansion of (* (pow (* x y) 1/3) (cbrt 18.0)) in x 20.317 * [taylor]: Taking taylor expansion of (pow (* x y) 1/3) in x 20.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x y)))) in x 20.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x y))) in x 20.317 * [taylor]: Taking taylor expansion of 1/3 in x 20.317 * [taylor]: Taking taylor expansion of (log (* x y)) in x 20.317 * [taylor]: Taking taylor expansion of (* x y) in x 20.317 * [taylor]: Taking taylor expansion of x in x 20.317 * [taylor]: Taking taylor expansion of y in x 20.317 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 20.318 * [taylor]: Taking taylor expansion of 18.0 in x 20.318 * [taylor]: Taking taylor expansion of (* (pow (* x y) 1/3) (cbrt 18.0)) in x 20.318 * [taylor]: Taking taylor expansion of (pow (* x y) 1/3) in x 20.318 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x y)))) in x 20.318 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x y))) in x 20.318 * [taylor]: Taking taylor expansion of 1/3 in x 20.318 * [taylor]: Taking taylor expansion of (log (* x y)) in x 20.318 * [taylor]: Taking taylor expansion of (* x y) in x 20.318 * [taylor]: Taking taylor expansion of x in x 20.318 * [taylor]: Taking taylor expansion of y in x 20.319 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 20.319 * [taylor]: Taking taylor expansion of 18.0 in x 20.320 * [taylor]: Taking taylor expansion of (* (cbrt 18.0) (exp (* 1/3 (+ (log x) (log y))))) in y 20.320 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 20.320 * [taylor]: Taking taylor expansion of 18.0 in y 20.321 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log y)))) in y 20.321 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log y))) in y 20.321 * [taylor]: Taking taylor expansion of 1/3 in y 20.321 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in y 20.321 * [taylor]: Taking taylor expansion of (log x) in y 20.321 * [taylor]: Taking taylor expansion of x in y 20.321 * [taylor]: Taking taylor expansion of (log y) in y 20.321 * [taylor]: Taking taylor expansion of y in y 20.325 * [taylor]: Taking taylor expansion of 0 in y 20.332 * [taylor]: Taking taylor expansion of 0 in y 20.343 * [taylor]: Taking taylor expansion of 0 in y 20.343 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in (x y) around 0 20.343 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in y 20.343 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in y 20.343 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in y 20.343 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in y 20.343 * [taylor]: Taking taylor expansion of 1/3 in y 20.343 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in y 20.343 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 20.343 * [taylor]: Taking taylor expansion of (* x y) in y 20.343 * [taylor]: Taking taylor expansion of x in y 20.343 * [taylor]: Taking taylor expansion of y in y 20.344 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 20.344 * [taylor]: Taking taylor expansion of 18.0 in y 20.345 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in x 20.345 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in x 20.345 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in x 20.345 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in x 20.345 * [taylor]: Taking taylor expansion of 1/3 in x 20.345 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in x 20.345 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 20.345 * [taylor]: Taking taylor expansion of (* x y) in x 20.345 * [taylor]: Taking taylor expansion of x in x 20.345 * [taylor]: Taking taylor expansion of y in x 20.346 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 20.346 * [taylor]: Taking taylor expansion of 18.0 in x 20.347 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in x 20.347 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in x 20.347 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in x 20.347 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in x 20.347 * [taylor]: Taking taylor expansion of 1/3 in x 20.347 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in x 20.347 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 20.347 * [taylor]: Taking taylor expansion of (* x y) in x 20.347 * [taylor]: Taking taylor expansion of x in x 20.347 * [taylor]: Taking taylor expansion of y in x 20.348 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 20.348 * [taylor]: Taking taylor expansion of 18.0 in x 20.349 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log x)))) (cbrt 18.0)) in y 20.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log x)))) in y 20.349 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log x))) in y 20.349 * [taylor]: Taking taylor expansion of 1/3 in y 20.349 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log x)) in y 20.349 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.349 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.349 * [taylor]: Taking taylor expansion of y in y 20.349 * [taylor]: Taking taylor expansion of (log x) in y 20.350 * [taylor]: Taking taylor expansion of x in y 20.350 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 20.350 * [taylor]: Taking taylor expansion of 18.0 in y 20.354 * [taylor]: Taking taylor expansion of 0 in y 20.363 * [taylor]: Taking taylor expansion of 0 in y 20.374 * [taylor]: Taking taylor expansion of 0 in y 20.375 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in (x y) around 0 20.375 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in y 20.375 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in y 20.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in y 20.375 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in y 20.375 * [taylor]: Taking taylor expansion of 1/3 in y 20.375 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in y 20.375 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 20.375 * [taylor]: Taking taylor expansion of (* x y) in y 20.375 * [taylor]: Taking taylor expansion of x in y 20.375 * [taylor]: Taking taylor expansion of y in y 20.376 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 20.376 * [taylor]: Taking taylor expansion of 18.0 in y 20.377 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in x 20.377 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in x 20.377 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in x 20.377 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in x 20.377 * [taylor]: Taking taylor expansion of 1/3 in x 20.377 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in x 20.377 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 20.377 * [taylor]: Taking taylor expansion of (* x y) in x 20.377 * [taylor]: Taking taylor expansion of x in x 20.377 * [taylor]: Taking taylor expansion of y in x 20.378 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 20.378 * [taylor]: Taking taylor expansion of 18.0 in x 20.378 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x y)) 1/3) (cbrt 18.0)) in x 20.378 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 1/3) in x 20.378 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x y))))) in x 20.378 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x y)))) in x 20.378 * [taylor]: Taking taylor expansion of 1/3 in x 20.378 * [taylor]: Taking taylor expansion of (log (/ 1 (* x y))) in x 20.378 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 20.378 * [taylor]: Taking taylor expansion of (* x y) in x 20.378 * [taylor]: Taking taylor expansion of x in x 20.378 * [taylor]: Taking taylor expansion of y in x 20.379 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 20.379 * [taylor]: Taking taylor expansion of 18.0 in x 20.380 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log x)))) (cbrt 18.0)) in y 20.380 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log x)))) in y 20.380 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log x))) in y 20.380 * [taylor]: Taking taylor expansion of 1/3 in y 20.380 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log x)) in y 20.380 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 20.380 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.380 * [taylor]: Taking taylor expansion of y in y 20.381 * [taylor]: Taking taylor expansion of (log x) in y 20.381 * [taylor]: Taking taylor expansion of x in y 20.381 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 20.381 * [taylor]: Taking taylor expansion of 18.0 in y 20.385 * [taylor]: Taking taylor expansion of 0 in y 20.393 * [taylor]: Taking taylor expansion of 0 in y 20.408 * [taylor]: Taking taylor expansion of 0 in y 20.409 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1) 20.409 * [approximate]: Taking taylor expansion of (* x (* z (* y (pow (cbrt 18.0) 3)))) in (x y z) around 0 20.409 * [taylor]: Taking taylor expansion of (* x (* z (* y (pow (cbrt 18.0) 3)))) in z 20.409 * [taylor]: Taking taylor expansion of x in z 20.409 * [taylor]: Taking taylor expansion of (* z (* y (pow (cbrt 18.0) 3))) in z 20.409 * [taylor]: Taking taylor expansion of z in z 20.409 * [taylor]: Taking taylor expansion of (* y (pow (cbrt 18.0) 3)) in z 20.409 * [taylor]: Taking taylor expansion of y in z 20.409 * [taylor]: Taking taylor expansion of (pow (cbrt 18.0) 3) in z 20.409 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 20.409 * [taylor]: Taking taylor expansion of 18.0 in z 20.410 * [taylor]: Taking taylor expansion of (* x (* z (* y (pow (cbrt 18.0) 3)))) in y 20.410 * [taylor]: Taking taylor expansion of x in y 20.410 * [taylor]: Taking taylor expansion of (* z (* y (pow (cbrt 18.0) 3))) in y 20.410 * [taylor]: Taking taylor expansion of z in y 20.410 * [taylor]: Taking taylor expansion of (* y (pow (cbrt 18.0) 3)) in y 20.410 * [taylor]: Taking taylor expansion of y in y 20.410 * [taylor]: Taking taylor expansion of (pow (cbrt 18.0) 3) in y 20.410 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 20.410 * [taylor]: Taking taylor expansion of 18.0 in y 20.411 * [taylor]: Taking taylor expansion of (* x (* z (* y (pow (cbrt 18.0) 3)))) in x 20.411 * [taylor]: Taking taylor expansion of x in x 20.411 * [taylor]: Taking taylor expansion of (* z (* y (pow (cbrt 18.0) 3))) in x 20.411 * [taylor]: Taking taylor expansion of z in x 20.411 * [taylor]: Taking taylor expansion of (* y (pow (cbrt 18.0) 3)) in x 20.411 * [taylor]: Taking taylor expansion of y in x 20.411 * [taylor]: Taking taylor expansion of (pow (cbrt 18.0) 3) in x 20.411 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 20.411 * [taylor]: Taking taylor expansion of 18.0 in x 20.412 * [taylor]: Taking taylor expansion of (* x (* z (* y (pow (cbrt 18.0) 3)))) in x 20.412 * [taylor]: Taking taylor expansion of x in x 20.412 * [taylor]: Taking taylor expansion of (* z (* y (pow (cbrt 18.0) 3))) in x 20.412 * [taylor]: Taking taylor expansion of z in x 20.412 * [taylor]: Taking taylor expansion of (* y (pow (cbrt 18.0) 3)) in x 20.412 * [taylor]: Taking taylor expansion of y in x 20.412 * [taylor]: Taking taylor expansion of (pow (cbrt 18.0) 3) in x 20.412 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 20.412 * [taylor]: Taking taylor expansion of 18.0 in x 20.416 * [taylor]: Taking taylor expansion of 0 in y 20.416 * [taylor]: Taking taylor expansion of 0 in z 20.418 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y 20.418 * [taylor]: Taking taylor expansion of 18.0 in y 20.418 * [taylor]: Taking taylor expansion of (* z y) in y 20.418 * [taylor]: Taking taylor expansion of z in y 20.418 * [taylor]: Taking taylor expansion of y in y 20.418 * [taylor]: Taking taylor expansion of 0 in z 20.418 * [taylor]: Taking taylor expansion of 0 in z 20.421 * [taylor]: Taking taylor expansion of 0 in y 20.421 * [taylor]: Taking taylor expansion of 0 in z 20.422 * [taylor]: Taking taylor expansion of (* 18.0 z) in z 20.422 * [taylor]: Taking taylor expansion of 18.0 in z 20.422 * [taylor]: Taking taylor expansion of z in z 20.423 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 18.0) 3) (* x (* z y))) in (x y z) around 0 20.423 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 18.0) 3) (* x (* z y))) in z 20.423 * [taylor]: Taking taylor expansion of (pow (cbrt 18.0) 3) in z 20.423 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 20.423 * [taylor]: Taking taylor expansion of 18.0 in z 20.424 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 20.424 * [taylor]: Taking taylor expansion of x in z 20.424 * [taylor]: Taking taylor expansion of (* z y) in z 20.424 * [taylor]: Taking taylor expansion of z in z 20.424 * [taylor]: Taking taylor expansion of y in z 20.427 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 18.0) 3) (* x (* z y))) in y 20.427 * [taylor]: Taking taylor expansion of (pow (cbrt 18.0) 3) in y 20.427 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 20.427 * [taylor]: Taking taylor expansion of 18.0 in y 20.428 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 20.428 * [taylor]: Taking taylor expansion of x in y 20.428 * [taylor]: Taking taylor expansion of (* z y) in y 20.428 * [taylor]: Taking taylor expansion of z in y 20.428 * [taylor]: Taking taylor expansion of y in y 20.431 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 18.0) 3) (* x (* z y))) in x 20.431 * [taylor]: Taking taylor expansion of (pow (cbrt 18.0) 3) in x 20.431 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 20.431 * [taylor]: Taking taylor expansion of 18.0 in x 20.432 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 20.432 * [taylor]: Taking taylor expansion of x in x 20.432 * [taylor]: Taking taylor expansion of (* z y) in x 20.432 * [taylor]: Taking taylor expansion of z in x 20.432 * [taylor]: Taking taylor expansion of y in x 20.435 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 18.0) 3) (* x (* z y))) in x 20.435 * [taylor]: Taking taylor expansion of (pow (cbrt 18.0) 3) in x 20.435 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 20.435 * [taylor]: Taking taylor expansion of 18.0 in x 20.436 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 20.436 * [taylor]: Taking taylor expansion of x in x 20.436 * [taylor]: Taking taylor expansion of (* z y) in x 20.436 * [taylor]: Taking taylor expansion of z in x 20.436 * [taylor]: Taking taylor expansion of y in x 20.439 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y 20.439 * [taylor]: Taking taylor expansion of 18.0 in y 20.439 * [taylor]: Taking taylor expansion of (* z y) in y 20.439 * [taylor]: Taking taylor expansion of z in y 20.439 * [taylor]: Taking taylor expansion of y in y 20.439 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z 20.439 * [taylor]: Taking taylor expansion of 18.0 in z 20.439 * [taylor]: Taking taylor expansion of z in z 20.441 * [taylor]: Taking taylor expansion of 0 in y 20.442 * [taylor]: Taking taylor expansion of 0 in z 20.446 * [taylor]: Taking taylor expansion of 0 in y 20.446 * [taylor]: Taking taylor expansion of 0 in z 20.446 * [taylor]: Taking taylor expansion of 0 in z 20.451 * [taylor]: Taking taylor expansion of 0 in y 20.451 * [taylor]: Taking taylor expansion of 0 in z 20.451 * [taylor]: Taking taylor expansion of 0 in z 20.451 * [taylor]: Taking taylor expansion of 0 in z 20.452 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (cbrt 18.0) 3) (* x (* z y)))) in (x y z) around 0 20.452 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt 18.0) 3) (* x (* z y)))) in z 20.452 * [taylor]: Taking taylor expansion of -1 in z 20.452 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 18.0) 3) (* x (* z y))) in z 20.452 * [taylor]: Taking taylor expansion of (pow (cbrt 18.0) 3) in z 20.452 * [taylor]: Taking taylor expansion of (cbrt 18.0) in z 20.452 * [taylor]: Taking taylor expansion of 18.0 in z 20.453 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 20.453 * [taylor]: Taking taylor expansion of x in z 20.453 * [taylor]: Taking taylor expansion of (* z y) in z 20.453 * [taylor]: Taking taylor expansion of z in z 20.453 * [taylor]: Taking taylor expansion of y in z 20.456 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt 18.0) 3) (* x (* z y)))) in y 20.456 * [taylor]: Taking taylor expansion of -1 in y 20.456 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 18.0) 3) (* x (* z y))) in y 20.456 * [taylor]: Taking taylor expansion of (pow (cbrt 18.0) 3) in y 20.456 * [taylor]: Taking taylor expansion of (cbrt 18.0) in y 20.456 * [taylor]: Taking taylor expansion of 18.0 in y 20.457 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 20.457 * [taylor]: Taking taylor expansion of x in y 20.457 * [taylor]: Taking taylor expansion of (* z y) in y 20.457 * [taylor]: Taking taylor expansion of z in y 20.457 * [taylor]: Taking taylor expansion of y in y 20.460 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt 18.0) 3) (* x (* z y)))) in x 20.460 * [taylor]: Taking taylor expansion of -1 in x 20.460 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 18.0) 3) (* x (* z y))) in x 20.460 * [taylor]: Taking taylor expansion of (pow (cbrt 18.0) 3) in x 20.460 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 20.460 * [taylor]: Taking taylor expansion of 18.0 in x 20.461 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 20.461 * [taylor]: Taking taylor expansion of x in x 20.461 * [taylor]: Taking taylor expansion of (* z y) in x 20.461 * [taylor]: Taking taylor expansion of z in x 20.461 * [taylor]: Taking taylor expansion of y in x 20.464 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt 18.0) 3) (* x (* z y)))) in x 20.464 * [taylor]: Taking taylor expansion of -1 in x 20.464 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 18.0) 3) (* x (* z y))) in x 20.464 * [taylor]: Taking taylor expansion of (pow (cbrt 18.0) 3) in x 20.464 * [taylor]: Taking taylor expansion of (cbrt 18.0) in x 20.464 * [taylor]: Taking taylor expansion of 18.0 in x 20.465 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 20.465 * [taylor]: Taking taylor expansion of x in x 20.465 * [taylor]: Taking taylor expansion of (* z y) in x 20.465 * [taylor]: Taking taylor expansion of z in x 20.465 * [taylor]: Taking taylor expansion of y in x 20.468 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y 20.468 * [taylor]: Taking taylor expansion of -18.0 in y 20.468 * [taylor]: Taking taylor expansion of (* z y) in y 20.468 * [taylor]: Taking taylor expansion of z in y 20.468 * [taylor]: Taking taylor expansion of y in y 20.469 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z 20.469 * [taylor]: Taking taylor expansion of -18.0 in z 20.469 * [taylor]: Taking taylor expansion of z in z 20.471 * [taylor]: Taking taylor expansion of 0 in y 20.472 * [taylor]: Taking taylor expansion of 0 in z 20.476 * [taylor]: Taking taylor expansion of 0 in y 20.476 * [taylor]: Taking taylor expansion of 0 in z 20.477 * [taylor]: Taking taylor expansion of 0 in z 20.482 * [taylor]: Taking taylor expansion of 0 in y 20.482 * [taylor]: Taking taylor expansion of 0 in z 20.482 * [taylor]: Taking taylor expansion of 0 in z 20.482 * [taylor]: Taking taylor expansion of 0 in z 20.483 * * * [progress]: simplifying candidates 20.484 * [simplify]: Simplifying using # : (log (cbrt (* (* x 18.0) y))) (exp (cbrt (* (* x 18.0) y))) (cbrt (* x 18.0)) (cbrt y) (* (cbrt (cbrt (* (* x 18.0) y))) (cbrt (cbrt (* (* x 18.0) y)))) (cbrt (cbrt (* (* x 18.0) y))) (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) (sqrt (cbrt (* (* x 18.0) y))) (sqrt (cbrt (* (* x 18.0) y))) (log (cbrt (* (* x 18.0) y))) (exp (cbrt (* (* x 18.0) y))) (cbrt (* x 18.0)) (cbrt y) (* (cbrt (cbrt (* (* x 18.0) y))) (cbrt (cbrt (* (* x 18.0) y)))) (cbrt (cbrt (* (* x 18.0) y))) (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) (sqrt (cbrt (* (* x 18.0) y))) (sqrt (cbrt (* (* x 18.0) y))) (log (cbrt (* (* x 18.0) y))) (exp (cbrt (* (* x 18.0) y))) (cbrt (* x 18.0)) (cbrt y) (* (cbrt (cbrt (* (* x 18.0) y))) (cbrt (cbrt (* (* x 18.0) y)))) (cbrt (cbrt (* (* x 18.0) y))) (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) (sqrt (cbrt (* (* x 18.0) y))) (sqrt (cbrt (* (* x 18.0) y))) (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) (+ (+ (+ (log (cbrt (* (* x 18.0) y))) (log (cbrt (* (* x 18.0) y)))) (log (cbrt (* (* x 18.0) y)))) (log z)) (+ (+ (log (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))) (log (cbrt (* (* x 18.0) y)))) (log z)) (+ (log (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y)))) (log z)) (log (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z)) (exp (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z)) (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))) (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))) (* (* x 18.0) y)) (* (* z z) z)) (* (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y)))) (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y)))) (* (* z z) z)) (* (cbrt (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z)) (cbrt (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z))) (cbrt (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z)) (* (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z)) (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z)) (sqrt (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z)) (sqrt (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z)) (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) (* (cbrt z) (cbrt z))) (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) (sqrt z)) (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) 1) (* (cbrt (* (* x 18.0) y)) z) (* (exp (* 1/3 (+ (log x) (log y)))) (cbrt 18.0)) (* (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y))))) (cbrt 18.0)) (* (cbrt 18.0) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) (* (exp (* 1/3 (+ (log x) (log y)))) (cbrt 18.0)) (* (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y))))) (cbrt 18.0)) (* (cbrt 18.0) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) (* (exp (* 1/3 (+ (log x) (log y)))) (cbrt 18.0)) (* (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y))))) (cbrt 18.0)) (* (cbrt 18.0) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) 0 (* 18.0 (* x (* z y))) (* 18.0 (* x (* z y))) 20.489 * * [simplify]: iteration 0 : 83 enodes (cost 960 ) 20.503 * * [simplify]: iteration 1 : 210 enodes (cost 934 ) 20.554 * * [simplify]: iteration 2 : 726 enodes (cost 563 ) 21.035 * * [simplify]: iteration 3 : 3180 enodes (cost 470 ) 21.979 * * [simplify]: iteration done : 5000 enodes (cost 470 ) 21.979 * [simplify]: Simplified to: (log (cbrt (* (* x 18.0) y))) (exp (cbrt (* (* x 18.0) y))) (cbrt (* x 18.0)) (cbrt y) (* (cbrt (cbrt (* (* x 18.0) y))) (cbrt (cbrt (* (* x 18.0) y)))) (cbrt (cbrt (* (* x 18.0) y))) (* (* x 18.0) y) (sqrt (cbrt (* (* x 18.0) y))) (sqrt (cbrt (* (* x 18.0) y))) (log (cbrt (* (* x 18.0) y))) (exp (cbrt (* (* x 18.0) y))) (cbrt (* x 18.0)) (cbrt y) (* (cbrt (cbrt (* (* x 18.0) y))) (cbrt (cbrt (* (* x 18.0) y)))) (cbrt (cbrt (* (* x 18.0) y))) (* (* x 18.0) y) (sqrt (cbrt (* (* x 18.0) y))) (sqrt (cbrt (* (* x 18.0) y))) (log (cbrt (* (* x 18.0) y))) (exp (cbrt (* (* x 18.0) y))) (cbrt (* x 18.0)) (cbrt y) (* (cbrt (cbrt (* (* x 18.0) y))) (cbrt (cbrt (* (* x 18.0) y)))) (cbrt (cbrt (* (* x 18.0) y))) (* (* x 18.0) y) (sqrt (cbrt (* (* x 18.0) y))) (sqrt (cbrt (* (* x 18.0) y))) (* 18.0 (* x (* z y))) (* 18.0 (* x (* z y))) (* 18.0 (* x (* z y))) (log (* (* 18.0 y) (* x z))) (log (* (* 18.0 y) (* x z))) (log (* (* 18.0 y) (* x z))) (log (* (* 18.0 y) (* x z))) (pow (exp z) (* (* x 18.0) y)) (pow (* 18.0 (* x (* z y))) 3) (pow (* 18.0 (* x (* z y))) 3) (pow (* 18.0 (* x (* z y))) 3) (* (cbrt (* 18.0 (* x (* z y)))) (cbrt (* 18.0 (* x (* z y))))) (cbrt (* 18.0 (* x (* z y)))) (pow (* 18.0 (* x (* z y))) 3) (sqrt (* 18.0 (* x (* z y)))) (sqrt (* 18.0 (* x (* z y)))) (* (* (cbrt z) (cbrt z)) (* (* x 18.0) y)) (* (sqrt z) (* (* x 18.0) y)) (* (* x 18.0) y) (* (cbrt (* (* x 18.0) y)) z) (* (cbrt (exp (+ (log x) (log y)))) (cbrt 18.0)) (* (cbrt (exp (+ (log x) (log y)))) (cbrt 18.0)) (* (cbrt 18.0) (* (pow (/ -1 x) -1/3) (pow (/ -1 y) -1/3))) (* (cbrt (exp (+ (log x) (log y)))) (cbrt 18.0)) (* (cbrt (exp (+ (log x) (log y)))) (cbrt 18.0)) (* (cbrt 18.0) (* (pow (/ -1 x) -1/3) (pow (/ -1 y) -1/3))) (* (cbrt (exp (+ (log x) (log y)))) (cbrt 18.0)) (* (cbrt (exp (+ (log x) (log y)))) (cbrt 18.0)) (* (cbrt 18.0) (* (pow (/ -1 x) -1/3) (pow (/ -1 y) -1/3))) 0 (* 18.0 (* x (* z y))) (* 18.0 (* x (* z y))) 21.980 * * * [progress]: adding candidates to table 22.258 * [progress]: [Phase 3 of 3] Extracting. 22.258 * * [regime]: Finding splitpoints for: (# # # # # # # # # #) 22.267 * * * [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) 22.267 * * * * [regimes]: Trying to branch on (* j 27.0) from (# # # # # # # # # #) 22.330 * * * * [regimes]: Trying to branch on (* (* j 27.0) k) from (# # # # # # # # # #) 22.392 * * * * [regimes]: Trying to branch on (* b c) from (# # # # # # # # # #) 22.467 * * * * [regimes]: Trying to branch on (* a 4.0) from (# # # # # # # # # #) 22.538 * * * * [regimes]: Trying to branch on k from (# # # # # # # # # #) 22.607 * * * * [regimes]: Trying to branch on j from (# # # # # # # # # #) 22.671 * * * * [regimes]: Trying to branch on i from (# # # # # # # # # #) 22.734 * * * * [regimes]: Trying to branch on c from (# # # # # # # # # #) 22.809 * * * * [regimes]: Trying to branch on b from (# # # # # # # # # #) 22.876 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # #) 22.943 * * * * [regimes]: Trying to branch on t from (# # # # # # # # # #) 23.018 * * * * [regimes]: Trying to branch on z from (# # # # # # # # # #) 23.091 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # #) 23.152 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # #) 23.218 * * * [regime]: Found split indices: #