20.913 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.026 * * * [progress]: [2/2] Setting up program. 0.028 * [progress]: [Phase 2 of 3] Improving. 0.028 * [simplify]: Simplifying using # : (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) 0.029 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 0.031 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 0.035 * * [simplify]: iteration 2 : 67 enodes (cost 9 ) 0.052 * * [simplify]: iteration 3 : 154 enodes (cost 7 ) 0.137 * * [simplify]: iteration 4 : 533 enodes (cost 5 ) 1.319 * * [simplify]: iteration 5 : 2212 enodes (cost 5 ) 5.071 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 5.071 * [simplify]: Simplified to: (* (- x z) y) 5.075 * * [progress]: iteration 1 / 4 5.075 * * * [progress]: picking best candidate 5.078 * * * * [pick]: Picked # 5.079 * * * [progress]: localizing error 5.083 * * * [progress]: generating rewritten candidates 5.083 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.094 * * * [progress]: generating series expansions 5.094 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.094 * [approximate]: Taking taylor expansion of (* y (- x z)) in (x z y) around 0 5.094 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 5.094 * [taylor]: Taking taylor expansion of y in y 5.094 * [taylor]: Taking taylor expansion of (- x z) in y 5.094 * [taylor]: Taking taylor expansion of x in y 5.094 * [taylor]: Taking taylor expansion of z in y 5.094 * [taylor]: Taking taylor expansion of (* y (- x z)) in z 5.094 * [taylor]: Taking taylor expansion of y in z 5.094 * [taylor]: Taking taylor expansion of (- x z) in z 5.094 * [taylor]: Taking taylor expansion of x in z 5.094 * [taylor]: Taking taylor expansion of z in z 5.094 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 5.094 * [taylor]: Taking taylor expansion of y in x 5.094 * [taylor]: Taking taylor expansion of (- x z) in x 5.094 * [taylor]: Taking taylor expansion of x in x 5.094 * [taylor]: Taking taylor expansion of z in x 5.094 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 5.094 * [taylor]: Taking taylor expansion of y in x 5.094 * [taylor]: Taking taylor expansion of (- x z) in x 5.094 * [taylor]: Taking taylor expansion of x in x 5.094 * [taylor]: Taking taylor expansion of z in x 5.095 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 5.095 * [taylor]: Taking taylor expansion of -1 in z 5.095 * [taylor]: Taking taylor expansion of (* z y) in z 5.095 * [taylor]: Taking taylor expansion of z in z 5.095 * [taylor]: Taking taylor expansion of y in z 5.096 * [taylor]: Taking taylor expansion of 0 in y 5.097 * [taylor]: Taking taylor expansion of y in z 5.097 * [taylor]: Taking taylor expansion of y in y 5.097 * [taylor]: Taking taylor expansion of (- y) in y 5.097 * [taylor]: Taking taylor expansion of y in y 5.099 * [taylor]: Taking taylor expansion of 0 in z 5.099 * [taylor]: Taking taylor expansion of 0 in y 5.099 * [taylor]: Taking taylor expansion of 0 in y 5.099 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (x z y) around 0 5.099 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 5.099 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 5.099 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.099 * [taylor]: Taking taylor expansion of x in y 5.099 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.099 * [taylor]: Taking taylor expansion of z in y 5.099 * [taylor]: Taking taylor expansion of y in y 5.099 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 5.099 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 5.099 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.099 * [taylor]: Taking taylor expansion of x in z 5.099 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.099 * [taylor]: Taking taylor expansion of z in z 5.100 * [taylor]: Taking taylor expansion of y in z 5.100 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 5.100 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 5.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.100 * [taylor]: Taking taylor expansion of x in x 5.101 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.101 * [taylor]: Taking taylor expansion of z in x 5.101 * [taylor]: Taking taylor expansion of y in x 5.101 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 5.101 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 5.101 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.101 * [taylor]: Taking taylor expansion of x in x 5.101 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.102 * [taylor]: Taking taylor expansion of z in x 5.102 * [taylor]: Taking taylor expansion of y in x 5.102 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.102 * [taylor]: Taking taylor expansion of y in z 5.103 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 5.103 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 5.103 * [taylor]: Taking taylor expansion of (* z y) in z 5.103 * [taylor]: Taking taylor expansion of z in z 5.103 * [taylor]: Taking taylor expansion of y in z 5.103 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 5.103 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.103 * [taylor]: Taking taylor expansion of y in y 5.104 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.104 * [taylor]: Taking taylor expansion of y in y 5.105 * [taylor]: Taking taylor expansion of 0 in z 5.106 * [taylor]: Taking taylor expansion of 0 in y 5.107 * [taylor]: Taking taylor expansion of 0 in y 5.109 * [taylor]: Taking taylor expansion of 0 in z 5.109 * [taylor]: Taking taylor expansion of 0 in y 5.110 * [taylor]: Taking taylor expansion of 0 in y 5.110 * [taylor]: Taking taylor expansion of 0 in y 5.112 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (x z y) around 0 5.112 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 5.112 * [taylor]: Taking taylor expansion of -1 in y 5.112 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 5.112 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 5.112 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.112 * [taylor]: Taking taylor expansion of z in y 5.112 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.112 * [taylor]: Taking taylor expansion of x in y 5.112 * [taylor]: Taking taylor expansion of y in y 5.113 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z 5.113 * [taylor]: Taking taylor expansion of -1 in z 5.113 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 5.113 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 5.113 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.113 * [taylor]: Taking taylor expansion of z in z 5.113 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.113 * [taylor]: Taking taylor expansion of x in z 5.113 * [taylor]: Taking taylor expansion of y in z 5.113 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 5.113 * [taylor]: Taking taylor expansion of -1 in x 5.113 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 5.114 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 5.114 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.114 * [taylor]: Taking taylor expansion of z in x 5.114 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.114 * [taylor]: Taking taylor expansion of x in x 5.114 * [taylor]: Taking taylor expansion of y in x 5.114 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 5.114 * [taylor]: Taking taylor expansion of -1 in x 5.115 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 5.115 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 5.115 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.115 * [taylor]: Taking taylor expansion of z in x 5.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.115 * [taylor]: Taking taylor expansion of x in x 5.115 * [taylor]: Taking taylor expansion of y in x 5.116 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.116 * [taylor]: Taking taylor expansion of y in z 5.117 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 5.117 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 5.117 * [taylor]: Taking taylor expansion of (* z y) in z 5.117 * [taylor]: Taking taylor expansion of z in z 5.117 * [taylor]: Taking taylor expansion of y in z 5.117 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 5.117 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.117 * [taylor]: Taking taylor expansion of y in y 5.118 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.118 * [taylor]: Taking taylor expansion of y in y 5.120 * [taylor]: Taking taylor expansion of 0 in z 5.121 * [taylor]: Taking taylor expansion of 0 in y 5.121 * [taylor]: Taking taylor expansion of 0 in y 5.124 * [taylor]: Taking taylor expansion of 0 in z 5.124 * [taylor]: Taking taylor expansion of 0 in y 5.125 * [taylor]: Taking taylor expansion of 0 in y 5.125 * [taylor]: Taking taylor expansion of 0 in y 5.127 * * * [progress]: simplifying candidates 5.128 * [simplify]: Simplifying using # : (* (- x z) y) (+ (log (- x z)) (log y)) (log (* (- x z) y)) (exp (* (- x z) y)) (* (* (* (- x z) (- x z)) (- x z)) (* (* y y) y)) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (cbrt (* (- x z) y)) (* (* (* (- x z) y) (* (- x z) y)) (* (- x z) y)) (sqrt (* (- x z) y)) (sqrt (* (- x z) y)) (* (sqrt (- x z)) (sqrt y)) (* (sqrt (- x z)) (sqrt y)) (* (- x z) (* (cbrt y) (cbrt y))) (* (- x z) (sqrt y)) (* (- x z) 1) (* (cbrt (- x z)) y) (* (sqrt (- x z)) y) (* (- x z) y) (* (- (sqrt x) (sqrt z)) y) (* (- x z) y) (* (- (pow x 3) (pow z 3)) y) (* (- (* x x) (* z z)) y) 0 (- (* x y) (* z y)) (- (* x y) (* z y)) 5.129 * * [simplify]: iteration 0 : 49 enodes (cost 185 ) 5.137 * * [simplify]: iteration 1 : 105 enodes (cost 178 ) 5.163 * * [simplify]: iteration 2 : 344 enodes (cost 158 ) 5.380 * * [simplify]: iteration 3 : 1203 enodes (cost 158 ) 6.233 * * [simplify]: iteration 4 : 2903 enodes (cost 158 ) 7.672 * * [simplify]: iteration done : 5000 enodes (cost 158 ) 7.672 * [simplify]: Simplified to: (* (- x z) y) (log (* (- x z) y)) (log (* (- x z) y)) (exp (* (- x z) y)) (pow (* (- x z) y) 3) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (cbrt (* (- x z) y)) (pow (* (- x z) y) 3) (sqrt (* (- x z) y)) (sqrt (* (- x z) y)) (* (sqrt (- x z)) (sqrt y)) (* (sqrt (- x z)) (sqrt y)) (* (- x z) (* (cbrt y) (cbrt y))) (* (- x z) (sqrt y)) (- x z) (* (cbrt (- x z)) y) (* (sqrt (- x z)) y) (* (- x z) y) (* (- (sqrt x) (sqrt z)) y) (* (- x z) y) (* (- (pow x 3) (pow z 3)) y) (* (- (* x x) (* z z)) y) 0 (* (- x z) y) (* (- x z) y) 7.672 * * * [progress]: adding candidates to table 7.722 * * [progress]: iteration 2 / 4 7.722 * * * [progress]: picking best candidate 7.727 * * * * [pick]: Picked # 7.727 * * * [progress]: localizing error 7.736 * * * [progress]: generating rewritten candidates 7.736 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 7.747 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 7.811 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 7.814 * * * [progress]: generating series expansions 7.815 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 7.815 * [approximate]: Taking taylor expansion of (* x y) in (x y) around 0 7.815 * [taylor]: Taking taylor expansion of (* x y) in y 7.815 * [taylor]: Taking taylor expansion of x in y 7.815 * [taylor]: Taking taylor expansion of y in y 7.815 * [taylor]: Taking taylor expansion of (* x y) in x 7.815 * [taylor]: Taking taylor expansion of x in x 7.815 * [taylor]: Taking taylor expansion of y in x 7.815 * [taylor]: Taking taylor expansion of (* x y) in x 7.815 * [taylor]: Taking taylor expansion of x in x 7.815 * [taylor]: Taking taylor expansion of y in x 7.815 * [taylor]: Taking taylor expansion of 0 in y 7.816 * [taylor]: Taking taylor expansion of y in y 7.816 * [taylor]: Taking taylor expansion of 0 in y 7.817 * [taylor]: Taking taylor expansion of 0 in y 7.819 * [taylor]: Taking taylor expansion of 0 in y 7.819 * [approximate]: Taking taylor expansion of (/ 1 (* x y)) in (x y) around 0 7.819 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.819 * [taylor]: Taking taylor expansion of (* x y) in y 7.819 * [taylor]: Taking taylor expansion of x in y 7.819 * [taylor]: Taking taylor expansion of y in y 7.819 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.820 * [taylor]: Taking taylor expansion of (* x y) in x 7.820 * [taylor]: Taking taylor expansion of x in x 7.820 * [taylor]: Taking taylor expansion of y in x 7.820 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.820 * [taylor]: Taking taylor expansion of (* x y) in x 7.820 * [taylor]: Taking taylor expansion of x in x 7.820 * [taylor]: Taking taylor expansion of y in x 7.820 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.820 * [taylor]: Taking taylor expansion of y in y 7.821 * [taylor]: Taking taylor expansion of 0 in y 7.823 * [taylor]: Taking taylor expansion of 0 in y 7.825 * [taylor]: Taking taylor expansion of 0 in y 7.826 * [approximate]: Taking taylor expansion of (/ 1 (* x y)) in (x y) around 0 7.826 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.826 * [taylor]: Taking taylor expansion of (* x y) in y 7.826 * [taylor]: Taking taylor expansion of x in y 7.826 * [taylor]: Taking taylor expansion of y in y 7.827 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.827 * [taylor]: Taking taylor expansion of (* x y) in x 7.827 * [taylor]: Taking taylor expansion of x in x 7.827 * [taylor]: Taking taylor expansion of y in x 7.827 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.827 * [taylor]: Taking taylor expansion of (* x y) in x 7.827 * [taylor]: Taking taylor expansion of x in x 7.827 * [taylor]: Taking taylor expansion of y in x 7.827 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.827 * [taylor]: Taking taylor expansion of y in y 7.828 * [taylor]: Taking taylor expansion of 0 in y 7.830 * [taylor]: Taking taylor expansion of 0 in y 7.832 * [taylor]: Taking taylor expansion of 0 in y 7.832 * * * * [progress]: [ 2 / 3 ] generating series at (2) 7.833 * [approximate]: Taking taylor expansion of (- (* x y) (* z y)) in (x y z) around 0 7.833 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in z 7.833 * [taylor]: Taking taylor expansion of (* x y) in z 7.833 * [taylor]: Taking taylor expansion of x in z 7.833 * [taylor]: Taking taylor expansion of y in z 7.833 * [taylor]: Taking taylor expansion of (* z y) in z 7.833 * [taylor]: Taking taylor expansion of z in z 7.833 * [taylor]: Taking taylor expansion of y in z 7.833 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in y 7.833 * [taylor]: Taking taylor expansion of (* x y) in y 7.833 * [taylor]: Taking taylor expansion of x in y 7.833 * [taylor]: Taking taylor expansion of y in y 7.833 * [taylor]: Taking taylor expansion of (* z y) in y 7.833 * [taylor]: Taking taylor expansion of z in y 7.833 * [taylor]: Taking taylor expansion of y in y 7.833 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x 7.833 * [taylor]: Taking taylor expansion of (* x y) in x 7.833 * [taylor]: Taking taylor expansion of x in x 7.833 * [taylor]: Taking taylor expansion of y in x 7.833 * [taylor]: Taking taylor expansion of (* z y) in x 7.833 * [taylor]: Taking taylor expansion of z in x 7.833 * [taylor]: Taking taylor expansion of y in x 7.833 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x 7.833 * [taylor]: Taking taylor expansion of (* x y) in x 7.833 * [taylor]: Taking taylor expansion of x in x 7.833 * [taylor]: Taking taylor expansion of y in x 7.833 * [taylor]: Taking taylor expansion of (* z y) in x 7.833 * [taylor]: Taking taylor expansion of z in x 7.833 * [taylor]: Taking taylor expansion of y in x 7.833 * [taylor]: Taking taylor expansion of (- (* z y)) in y 7.833 * [taylor]: Taking taylor expansion of (* z y) in y 7.833 * [taylor]: Taking taylor expansion of z in y 7.833 * [taylor]: Taking taylor expansion of y in y 7.834 * [taylor]: Taking taylor expansion of 0 in z 7.834 * [taylor]: Taking taylor expansion of y in y 7.834 * [taylor]: Taking taylor expansion of 0 in z 7.835 * [taylor]: Taking taylor expansion of (- z) in z 7.835 * [taylor]: Taking taylor expansion of z in z 7.837 * [taylor]: Taking taylor expansion of 0 in y 7.837 * [taylor]: Taking taylor expansion of 0 in z 7.837 * [taylor]: Taking taylor expansion of 1 in z 7.837 * [taylor]: Taking taylor expansion of 0 in z 7.839 * [taylor]: Taking taylor expansion of 0 in y 7.840 * [taylor]: Taking taylor expansion of 0 in z 7.840 * [taylor]: Taking taylor expansion of 0 in z 7.840 * [taylor]: Taking taylor expansion of 0 in z 7.840 * [taylor]: Taking taylor expansion of 0 in z 7.841 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0 7.841 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z 7.841 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 7.841 * [taylor]: Taking taylor expansion of (* x y) in z 7.841 * [taylor]: Taking taylor expansion of x in z 7.841 * [taylor]: Taking taylor expansion of y in z 7.841 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 7.841 * [taylor]: Taking taylor expansion of (* z y) in z 7.841 * [taylor]: Taking taylor expansion of z in z 7.841 * [taylor]: Taking taylor expansion of y in z 7.842 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y 7.842 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.842 * [taylor]: Taking taylor expansion of (* x y) in y 7.842 * [taylor]: Taking taylor expansion of x in y 7.842 * [taylor]: Taking taylor expansion of y in y 7.842 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 7.842 * [taylor]: Taking taylor expansion of (* z y) in y 7.842 * [taylor]: Taking taylor expansion of z in y 7.842 * [taylor]: Taking taylor expansion of y in y 7.842 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 7.842 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.842 * [taylor]: Taking taylor expansion of (* x y) in x 7.842 * [taylor]: Taking taylor expansion of x in x 7.842 * [taylor]: Taking taylor expansion of y in x 7.843 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 7.843 * [taylor]: Taking taylor expansion of (* z y) in x 7.843 * [taylor]: Taking taylor expansion of z in x 7.843 * [taylor]: Taking taylor expansion of y in x 7.843 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 7.843 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.843 * [taylor]: Taking taylor expansion of (* x y) in x 7.843 * [taylor]: Taking taylor expansion of x in x 7.843 * [taylor]: Taking taylor expansion of y in x 7.843 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 7.843 * [taylor]: Taking taylor expansion of (* z y) in x 7.843 * [taylor]: Taking taylor expansion of z in x 7.843 * [taylor]: Taking taylor expansion of y in x 7.844 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.844 * [taylor]: Taking taylor expansion of y in y 7.844 * [taylor]: Taking taylor expansion of 1 in z 7.845 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 7.845 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 7.845 * [taylor]: Taking taylor expansion of (* z y) in y 7.845 * [taylor]: Taking taylor expansion of z in y 7.845 * [taylor]: Taking taylor expansion of y in y 7.845 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 7.845 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.845 * [taylor]: Taking taylor expansion of z in z 7.846 * [taylor]: Taking taylor expansion of 0 in z 7.848 * [taylor]: Taking taylor expansion of 0 in y 7.848 * [taylor]: Taking taylor expansion of 0 in z 7.849 * [taylor]: Taking taylor expansion of 0 in z 7.852 * [taylor]: Taking taylor expansion of 0 in y 7.852 * [taylor]: Taking taylor expansion of 0 in z 7.853 * [taylor]: Taking taylor expansion of 0 in z 7.853 * [taylor]: Taking taylor expansion of 0 in z 7.855 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0 7.855 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z 7.855 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 7.855 * [taylor]: Taking taylor expansion of (* x y) in z 7.855 * [taylor]: Taking taylor expansion of x in z 7.855 * [taylor]: Taking taylor expansion of y in z 7.855 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 7.855 * [taylor]: Taking taylor expansion of (* z y) in z 7.855 * [taylor]: Taking taylor expansion of z in z 7.855 * [taylor]: Taking taylor expansion of y in z 7.856 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y 7.856 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.856 * [taylor]: Taking taylor expansion of (* x y) in y 7.856 * [taylor]: Taking taylor expansion of x in y 7.856 * [taylor]: Taking taylor expansion of y in y 7.856 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 7.856 * [taylor]: Taking taylor expansion of (* z y) in y 7.856 * [taylor]: Taking taylor expansion of z in y 7.856 * [taylor]: Taking taylor expansion of y in y 7.856 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 7.856 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.856 * [taylor]: Taking taylor expansion of (* x y) in x 7.856 * [taylor]: Taking taylor expansion of x in x 7.856 * [taylor]: Taking taylor expansion of y in x 7.857 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 7.857 * [taylor]: Taking taylor expansion of (* z y) in x 7.857 * [taylor]: Taking taylor expansion of z in x 7.857 * [taylor]: Taking taylor expansion of y in x 7.857 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 7.857 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.857 * [taylor]: Taking taylor expansion of (* x y) in x 7.857 * [taylor]: Taking taylor expansion of x in x 7.857 * [taylor]: Taking taylor expansion of y in x 7.857 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 7.857 * [taylor]: Taking taylor expansion of (* z y) in x 7.857 * [taylor]: Taking taylor expansion of z in x 7.857 * [taylor]: Taking taylor expansion of y in x 7.858 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.858 * [taylor]: Taking taylor expansion of y in y 7.858 * [taylor]: Taking taylor expansion of 1 in z 7.859 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 7.859 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 7.859 * [taylor]: Taking taylor expansion of (* z y) in y 7.859 * [taylor]: Taking taylor expansion of z in y 7.859 * [taylor]: Taking taylor expansion of y in y 7.859 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 7.859 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.859 * [taylor]: Taking taylor expansion of z in z 7.860 * [taylor]: Taking taylor expansion of 0 in z 7.862 * [taylor]: Taking taylor expansion of 0 in y 7.863 * [taylor]: Taking taylor expansion of 0 in z 7.867 * [taylor]: Taking taylor expansion of 0 in z 7.870 * [taylor]: Taking taylor expansion of 0 in y 7.870 * [taylor]: Taking taylor expansion of 0 in z 7.871 * [taylor]: Taking taylor expansion of 0 in z 7.872 * [taylor]: Taking taylor expansion of 0 in z 7.873 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 7.873 * [approximate]: Taking taylor expansion of (- (* x y) (pow y 2)) in (x y) around 0 7.873 * [taylor]: Taking taylor expansion of (- (* x y) (pow y 2)) in y 7.873 * [taylor]: Taking taylor expansion of (* x y) in y 7.873 * [taylor]: Taking taylor expansion of x in y 7.873 * [taylor]: Taking taylor expansion of y in y 7.873 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.873 * [taylor]: Taking taylor expansion of y in y 7.873 * [taylor]: Taking taylor expansion of (- (* x y) (pow y 2)) in x 7.873 * [taylor]: Taking taylor expansion of (* x y) in x 7.873 * [taylor]: Taking taylor expansion of x in x 7.873 * [taylor]: Taking taylor expansion of y in x 7.873 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.873 * [taylor]: Taking taylor expansion of y in x 7.873 * [taylor]: Taking taylor expansion of (- (* x y) (pow y 2)) in x 7.873 * [taylor]: Taking taylor expansion of (* x y) in x 7.873 * [taylor]: Taking taylor expansion of x in x 7.873 * [taylor]: Taking taylor expansion of y in x 7.873 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.873 * [taylor]: Taking taylor expansion of y in x 7.874 * [taylor]: Taking taylor expansion of (- (pow y 2)) in y 7.874 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.874 * [taylor]: Taking taylor expansion of y in y 7.875 * [taylor]: Taking taylor expansion of y in y 7.876 * [taylor]: Taking taylor expansion of 0 in y 7.879 * [taylor]: Taking taylor expansion of 0 in y 7.882 * [taylor]: Taking taylor expansion of 0 in y 7.883 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in (x y) around 0 7.883 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in y 7.883 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.883 * [taylor]: Taking taylor expansion of (* x y) in y 7.883 * [taylor]: Taking taylor expansion of x in y 7.883 * [taylor]: Taking taylor expansion of y in y 7.883 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.883 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.883 * [taylor]: Taking taylor expansion of y in y 7.884 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in x 7.884 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.884 * [taylor]: Taking taylor expansion of (* x y) in x 7.884 * [taylor]: Taking taylor expansion of x in x 7.884 * [taylor]: Taking taylor expansion of y in x 7.884 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.884 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.884 * [taylor]: Taking taylor expansion of y in x 7.884 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in x 7.884 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.884 * [taylor]: Taking taylor expansion of (* x y) in x 7.884 * [taylor]: Taking taylor expansion of x in x 7.884 * [taylor]: Taking taylor expansion of y in x 7.885 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.885 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.885 * [taylor]: Taking taylor expansion of y in x 7.885 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.885 * [taylor]: Taking taylor expansion of y in y 7.886 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y 7.886 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.886 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.886 * [taylor]: Taking taylor expansion of y in y 7.889 * [taylor]: Taking taylor expansion of 0 in y 7.892 * [taylor]: Taking taylor expansion of 0 in y 7.897 * [taylor]: Taking taylor expansion of 0 in y 7.899 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in (x y) around 0 7.899 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in y 7.899 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.899 * [taylor]: Taking taylor expansion of (* x y) in y 7.899 * [taylor]: Taking taylor expansion of x in y 7.899 * [taylor]: Taking taylor expansion of y in y 7.900 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.900 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.900 * [taylor]: Taking taylor expansion of y in y 7.900 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in x 7.900 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.900 * [taylor]: Taking taylor expansion of (* x y) in x 7.900 * [taylor]: Taking taylor expansion of x in x 7.900 * [taylor]: Taking taylor expansion of y in x 7.901 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.901 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.901 * [taylor]: Taking taylor expansion of y in x 7.901 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in x 7.901 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.901 * [taylor]: Taking taylor expansion of (* x y) in x 7.901 * [taylor]: Taking taylor expansion of x in x 7.901 * [taylor]: Taking taylor expansion of y in x 7.901 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.901 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.901 * [taylor]: Taking taylor expansion of y in x 7.902 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.902 * [taylor]: Taking taylor expansion of y in y 7.903 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y 7.903 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.903 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.903 * [taylor]: Taking taylor expansion of y in y 7.905 * [taylor]: Taking taylor expansion of 0 in y 7.909 * [taylor]: Taking taylor expansion of 0 in y 7.914 * [taylor]: Taking taylor expansion of 0 in y 7.916 * * * [progress]: simplifying candidates 7.917 * [simplify]: Simplifying using # : (* (/ (exp (* x y)) (exp (* y y))) (exp (* y y))) (* (exp (- (* x y) (* y y))) (exp (* y y))) (log (+ (- (* x y) (* y y)) (* y y))) (exp (+ (- (* x y) (* y y)) (* y y))) (* (cbrt (+ (- (* x y) (* y y)) (* y y))) (cbrt (+ (- (* x y) (* y y)) (* y y)))) (cbrt (+ (- (* x y) (* y y)) (* y y))) (* (* (+ (- (* x y) (* y y)) (* y y)) (+ (- (* x y) (* y y)) (* y y))) (+ (- (* x y) (* y y)) (* y y))) (sqrt (+ (- (* x y) (* y y)) (* y y))) (sqrt (+ (- (* x y) (* y y)) (* y y))) (+ (pow (- (* x y) (* y y)) 3) (pow (* y y) 3)) (+ (* (- (* x y) (* y y)) (- (* x y) (* y y))) (- (* (* y y) (* y y)) (* (- (* x y) (* y y)) (* y y)))) (- (* (- (* x y) (* y y)) (- (* x y) (* y y))) (* (* y y) (* y y))) (- (- (* x y) (* y y)) (* y y)) (+ (- x y) y) (+ (- (* y y)) (* y y)) (+ (- (* y y)) (* y y)) (- (* y y) (* y y)) (/ (* (/ (exp (* x y)) (exp (* y y))) (exp (* y y))) (exp (* y z))) (/ (* (exp (- (* x y) (* y y))) (exp (* y y))) (exp (* y z))) (/ (exp (+ (- (* x y) (* y y)) (* y y))) (exp (* y z))) (log (- (+ (- (* x y) (* y y)) (* y y)) (* y z))) (exp (- (+ (- (* x y) (* y y)) (* y y)) (* y z))) (* (cbrt (- (+ (- (* x y) (* y y)) (* y y)) (* y z))) (cbrt (- (+ (- (* x y) (* y y)) (* y y)) (* y z)))) (cbrt (- (+ (- (* x y) (* y y)) (* y y)) (* y z))) (* (* (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) (- (+ (- (* x y) (* y y)) (* y y)) (* y z))) (- (+ (- (* x y) (* y y)) (* y y)) (* y z))) (sqrt (- (+ (- (* x y) (* y y)) (* y y)) (* y z))) (sqrt (- (+ (- (* x y) (* y y)) (* y y)) (* y z))) (- (pow (+ (- (* x y) (* y y)) (* y y)) 3) (pow (* y z) 3)) (+ (* (+ (- (* x y) (* y y)) (* y y)) (+ (- (* x y) (* y y)) (* y y))) (+ (* (* y z) (* y z)) (* (+ (- (* x y) (* y y)) (* y y)) (* y z)))) (- (* y z)) (- (* (+ (- (* x y) (* y y)) (* y y)) (+ (- (* x y) (* y y)) (* y y))) (* (* y z) (* y z))) (+ (+ (- (* x y) (* y y)) (* y y)) (* y z)) (- (+ (- x y) y) z) (- (* y y) (* y z)) (+ (- (* y y) (* y y)) (* y z)) (- (* y z)) (/ (exp (* x y)) (exp (* y y))) (log (- (* x y) (* y y))) (exp (- (* x y) (* y y))) (* (cbrt (- (* x y) (* y y))) (cbrt (- (* x y) (* y y)))) (cbrt (- (* x y) (* y y))) (* (* (- (* x y) (* y y)) (- (* x y) (* y y))) (- (* x y) (* y y))) (sqrt (- (* x y) (* y y))) (sqrt (- (* x y) (* y y))) (- (pow (* x y) 3) (pow (* y y) 3)) (+ (* (* x y) (* x y)) (+ (* (* y y) (* y y)) (* (* x y) (* y y)))) (- (* y y)) (- (* (* x y) (* x y)) (* (* y y) (* y y))) (+ (* x y) (* y y)) (- x y) (- (* y y)) (* x y) (* x y) (* x y) (- (* x y) (* z y)) (- (* x y) (* z y)) (- (* x y) (* z y)) (- (* x y) (pow y 2)) (- (* x y) (pow y 2)) (- (* x y) (pow y 2)) 7.919 * * [simplify]: iteration 0 : 80 enodes (cost 825 ) 7.936 * * [simplify]: iteration 1 : 234 enodes (cost 503 ) 8.046 * * [simplify]: iteration 2 : 797 enodes (cost 387 ) 8.639 * * [simplify]: iteration 3 : 3447 enodes (cost 367 ) 9.751 * * [simplify]: iteration done : 5000 enodes (cost 367 ) 9.752 * [simplify]: Simplified to: (exp (* x y)) (exp (* x y)) (log (* y x)) (exp (* x y)) (* (cbrt (* y x)) (cbrt (* y x))) (cbrt (* y x)) (pow (* x y) 3) (sqrt (* x y)) (sqrt (* x y)) (+ (pow y 6) (pow (* y (- x y)) 3)) (+ (* (* y (- x y)) (* y (- (- x y) y))) (pow y 4)) (* (* y (- (- x y) y)) (* x y)) (* y (- (- x y) y)) x 0 0 0 (exp (* (- x z) y)) (exp (* (- x z) y)) (exp (* (- x z) y)) (log (* (- x z) y)) (exp (* (- x z) y)) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (cbrt (* (- x z) y)) (pow (* (- x z) y) 3) (sqrt (* (- x z) y)) (sqrt (* (- x z) y)) (- (pow (* x y) 3) (pow (* y z) 3)) (+ (* (* x y) (* x y)) (* z (* (* y y) (+ z x)))) (- (* y z)) (* (* y y) (- (* x x) (* z z))) (* y (+ x z)) (- x z) (* y (- y z)) (* y z) (- (* y z)) (exp (* y (- x y))) (log (* y (- x y))) (exp (* y (- x y))) (* (cbrt (* y (- x y))) (cbrt (* y (- x y)))) (cbrt (* y (- x y))) (pow (* y (- x y)) 3) (sqrt (* y (- x y))) (sqrt (* y (- x y))) (- (pow (* x y) 3) (pow y 6)) (+ (pow y 4) (* (* y (+ x y)) (* x y))) (- (* y y)) (* (* y (+ x y)) (* y (- x y))) (* y (+ x y)) (- x y) (- (* y y)) (* x y) (* x y) (* x y) (* y (- x z)) (* y (- x z)) (* y (- x z)) (* y (- x y)) (* y (- x y)) (* y (- x y)) 9.752 * * * [progress]: adding candidates to table 9.862 * * [progress]: iteration 3 / 4 9.862 * * * [progress]: picking best candidate 9.865 * * * * [pick]: Picked # 9.865 * * * [progress]: localizing error 9.880 * * * [progress]: generating rewritten candidates 9.881 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 9.920 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 9.981 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 9.999 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 10.006 * * * [progress]: generating series expansions 10.007 * * * * [progress]: [ 1 / 4 ] generating series at (2) 10.007 * [approximate]: Taking taylor expansion of (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x z) (+ (pow x 2) (pow z 2)))) in (x z y) around 0 10.007 * [taylor]: Taking taylor expansion of (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x z) (+ (pow x 2) (pow z 2)))) in y 10.007 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in y 10.007 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in y 10.007 * [taylor]: Taking taylor expansion of (pow x 3) in y 10.007 * [taylor]: Taking taylor expansion of x in y 10.007 * [taylor]: Taking taylor expansion of (pow z 3) in y 10.007 * [taylor]: Taking taylor expansion of z in y 10.007 * [taylor]: Taking taylor expansion of y in y 10.007 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (pow x 2) (pow z 2))) in y 10.007 * [taylor]: Taking taylor expansion of (* x z) in y 10.007 * [taylor]: Taking taylor expansion of x in y 10.007 * [taylor]: Taking taylor expansion of z in y 10.007 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow z 2)) in y 10.007 * [taylor]: Taking taylor expansion of (pow x 2) in y 10.007 * [taylor]: Taking taylor expansion of x in y 10.007 * [taylor]: Taking taylor expansion of (pow z 2) in y 10.007 * [taylor]: Taking taylor expansion of z in y 10.010 * [taylor]: Taking taylor expansion of (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x z) (+ (pow x 2) (pow z 2)))) in z 10.010 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in z 10.010 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in z 10.010 * [taylor]: Taking taylor expansion of (pow x 3) in z 10.010 * [taylor]: Taking taylor expansion of x in z 10.010 * [taylor]: Taking taylor expansion of (pow z 3) in z 10.010 * [taylor]: Taking taylor expansion of z in z 10.010 * [taylor]: Taking taylor expansion of y in z 10.011 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (pow x 2) (pow z 2))) in z 10.011 * [taylor]: Taking taylor expansion of (* x z) in z 10.011 * [taylor]: Taking taylor expansion of x in z 10.011 * [taylor]: Taking taylor expansion of z in z 10.011 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow z 2)) in z 10.011 * [taylor]: Taking taylor expansion of (pow x 2) in z 10.011 * [taylor]: Taking taylor expansion of x in z 10.011 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.011 * [taylor]: Taking taylor expansion of z in z 10.011 * [taylor]: Taking taylor expansion of (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x z) (+ (pow x 2) (pow z 2)))) in x 10.011 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in x 10.011 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in x 10.011 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.011 * [taylor]: Taking taylor expansion of x in x 10.011 * [taylor]: Taking taylor expansion of (pow z 3) in x 10.011 * [taylor]: Taking taylor expansion of z in x 10.011 * [taylor]: Taking taylor expansion of y in x 10.011 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (pow x 2) (pow z 2))) in x 10.011 * [taylor]: Taking taylor expansion of (* x z) in x 10.011 * [taylor]: Taking taylor expansion of x in x 10.011 * [taylor]: Taking taylor expansion of z in x 10.011 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow z 2)) in x 10.011 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.011 * [taylor]: Taking taylor expansion of x in x 10.011 * [taylor]: Taking taylor expansion of (pow z 2) in x 10.011 * [taylor]: Taking taylor expansion of z in x 10.012 * [taylor]: Taking taylor expansion of (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x z) (+ (pow x 2) (pow z 2)))) in x 10.012 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in x 10.012 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in x 10.012 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.012 * [taylor]: Taking taylor expansion of x in x 10.012 * [taylor]: Taking taylor expansion of (pow z 3) in x 10.012 * [taylor]: Taking taylor expansion of z in x 10.013 * [taylor]: Taking taylor expansion of y in x 10.013 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (pow x 2) (pow z 2))) in x 10.013 * [taylor]: Taking taylor expansion of (* x z) in x 10.013 * [taylor]: Taking taylor expansion of x in x 10.013 * [taylor]: Taking taylor expansion of z in x 10.013 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow z 2)) in x 10.013 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.013 * [taylor]: Taking taylor expansion of x in x 10.013 * [taylor]: Taking taylor expansion of (pow z 2) in x 10.013 * [taylor]: Taking taylor expansion of z in x 10.013 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 10.013 * [taylor]: Taking taylor expansion of -1 in z 10.013 * [taylor]: Taking taylor expansion of (* z y) in z 10.013 * [taylor]: Taking taylor expansion of z in z 10.013 * [taylor]: Taking taylor expansion of y in z 10.014 * [taylor]: Taking taylor expansion of 0 in y 10.016 * [taylor]: Taking taylor expansion of y in z 10.016 * [taylor]: Taking taylor expansion of y in y 10.016 * [taylor]: Taking taylor expansion of (- y) in y 10.017 * [taylor]: Taking taylor expansion of y in y 10.021 * [taylor]: Taking taylor expansion of 0 in z 10.021 * [taylor]: Taking taylor expansion of 0 in y 10.021 * [taylor]: Taking taylor expansion of 0 in y 10.022 * [taylor]: Taking taylor expansion of 0 in y 10.023 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y)) in (x z y) around 0 10.023 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y)) in y 10.023 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in y 10.023 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y 10.023 * [taylor]: Taking taylor expansion of (pow x 3) in y 10.023 * [taylor]: Taking taylor expansion of x in y 10.023 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y 10.023 * [taylor]: Taking taylor expansion of (pow z 3) in y 10.023 * [taylor]: Taking taylor expansion of z in y 10.023 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y) in y 10.023 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in y 10.024 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 10.024 * [taylor]: Taking taylor expansion of (pow x 2) in y 10.024 * [taylor]: Taking taylor expansion of x in y 10.024 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in y 10.024 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 10.024 * [taylor]: Taking taylor expansion of (pow z 2) in y 10.024 * [taylor]: Taking taylor expansion of z in y 10.024 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 10.024 * [taylor]: Taking taylor expansion of (* x z) in y 10.024 * [taylor]: Taking taylor expansion of x in y 10.024 * [taylor]: Taking taylor expansion of z in y 10.024 * [taylor]: Taking taylor expansion of y in y 10.027 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y)) in z 10.027 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in z 10.027 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z 10.027 * [taylor]: Taking taylor expansion of (pow x 3) in z 10.027 * [taylor]: Taking taylor expansion of x in z 10.027 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 10.027 * [taylor]: Taking taylor expansion of (pow z 3) in z 10.027 * [taylor]: Taking taylor expansion of z in z 10.028 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y) in z 10.028 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in z 10.028 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 10.028 * [taylor]: Taking taylor expansion of (pow x 2) in z 10.028 * [taylor]: Taking taylor expansion of x in z 10.028 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in z 10.028 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 10.028 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.028 * [taylor]: Taking taylor expansion of z in z 10.029 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 10.029 * [taylor]: Taking taylor expansion of (* x z) in z 10.029 * [taylor]: Taking taylor expansion of x in z 10.029 * [taylor]: Taking taylor expansion of z in z 10.029 * [taylor]: Taking taylor expansion of y in z 10.031 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y)) in x 10.031 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in x 10.031 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 10.031 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.031 * [taylor]: Taking taylor expansion of x in x 10.031 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 10.032 * [taylor]: Taking taylor expansion of (pow z 3) in x 10.032 * [taylor]: Taking taylor expansion of z in x 10.032 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y) in x 10.032 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in x 10.032 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 10.032 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.032 * [taylor]: Taking taylor expansion of x in x 10.032 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in x 10.032 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 10.032 * [taylor]: Taking taylor expansion of (pow z 2) in x 10.032 * [taylor]: Taking taylor expansion of z in x 10.033 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 10.033 * [taylor]: Taking taylor expansion of (* x z) in x 10.033 * [taylor]: Taking taylor expansion of x in x 10.033 * [taylor]: Taking taylor expansion of z in x 10.033 * [taylor]: Taking taylor expansion of y in x 10.034 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y)) in x 10.034 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in x 10.034 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 10.034 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.034 * [taylor]: Taking taylor expansion of x in x 10.035 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 10.035 * [taylor]: Taking taylor expansion of (pow z 3) in x 10.035 * [taylor]: Taking taylor expansion of z in x 10.035 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y) in x 10.035 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in x 10.035 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 10.035 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.035 * [taylor]: Taking taylor expansion of x in x 10.035 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in x 10.036 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 10.036 * [taylor]: Taking taylor expansion of (pow z 2) in x 10.036 * [taylor]: Taking taylor expansion of z in x 10.036 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 10.036 * [taylor]: Taking taylor expansion of (* x z) in x 10.036 * [taylor]: Taking taylor expansion of x in x 10.036 * [taylor]: Taking taylor expansion of z in x 10.036 * [taylor]: Taking taylor expansion of y in x 10.037 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.037 * [taylor]: Taking taylor expansion of y in z 10.040 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 10.040 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 10.040 * [taylor]: Taking taylor expansion of (* z y) in z 10.040 * [taylor]: Taking taylor expansion of z in z 10.040 * [taylor]: Taking taylor expansion of y in z 10.040 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 10.040 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.040 * [taylor]: Taking taylor expansion of y in y 10.041 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.041 * [taylor]: Taking taylor expansion of y in y 10.046 * [taylor]: Taking taylor expansion of 0 in z 10.047 * [taylor]: Taking taylor expansion of 0 in y 10.047 * [taylor]: Taking taylor expansion of 0 in y 10.054 * [taylor]: Taking taylor expansion of 0 in z 10.054 * [taylor]: Taking taylor expansion of 0 in y 10.055 * [taylor]: Taking taylor expansion of 0 in y 10.055 * [taylor]: Taking taylor expansion of 0 in y 10.058 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y))) in (x z y) around 0 10.058 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y))) in y 10.058 * [taylor]: Taking taylor expansion of -1 in y 10.058 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y)) in y 10.058 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in y 10.058 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y 10.058 * [taylor]: Taking taylor expansion of (pow z 3) in y 10.058 * [taylor]: Taking taylor expansion of z in y 10.058 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y 10.058 * [taylor]: Taking taylor expansion of (pow x 3) in y 10.058 * [taylor]: Taking taylor expansion of x in y 10.059 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y) in y 10.059 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in y 10.059 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 10.059 * [taylor]: Taking taylor expansion of (pow x 2) in y 10.059 * [taylor]: Taking taylor expansion of x in y 10.059 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in y 10.059 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 10.059 * [taylor]: Taking taylor expansion of (pow z 2) in y 10.059 * [taylor]: Taking taylor expansion of z in y 10.059 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 10.059 * [taylor]: Taking taylor expansion of (* x z) in y 10.059 * [taylor]: Taking taylor expansion of x in y 10.059 * [taylor]: Taking taylor expansion of z in y 10.059 * [taylor]: Taking taylor expansion of y in y 10.062 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y))) in z 10.062 * [taylor]: Taking taylor expansion of -1 in z 10.062 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y)) in z 10.062 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in z 10.062 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 10.062 * [taylor]: Taking taylor expansion of (pow z 3) in z 10.062 * [taylor]: Taking taylor expansion of z in z 10.063 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z 10.063 * [taylor]: Taking taylor expansion of (pow x 3) in z 10.063 * [taylor]: Taking taylor expansion of x in z 10.063 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y) in z 10.063 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in z 10.063 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 10.063 * [taylor]: Taking taylor expansion of (pow x 2) in z 10.063 * [taylor]: Taking taylor expansion of x in z 10.064 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in z 10.064 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 10.064 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.064 * [taylor]: Taking taylor expansion of z in z 10.064 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 10.064 * [taylor]: Taking taylor expansion of (* x z) in z 10.064 * [taylor]: Taking taylor expansion of x in z 10.064 * [taylor]: Taking taylor expansion of z in z 10.065 * [taylor]: Taking taylor expansion of y in z 10.066 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y))) in x 10.066 * [taylor]: Taking taylor expansion of -1 in x 10.066 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y)) in x 10.066 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in x 10.066 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 10.066 * [taylor]: Taking taylor expansion of (pow z 3) in x 10.066 * [taylor]: Taking taylor expansion of z in x 10.066 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 10.066 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.066 * [taylor]: Taking taylor expansion of x in x 10.067 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y) in x 10.067 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in x 10.067 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 10.067 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.067 * [taylor]: Taking taylor expansion of x in x 10.068 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in x 10.068 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 10.068 * [taylor]: Taking taylor expansion of (pow z 2) in x 10.068 * [taylor]: Taking taylor expansion of z in x 10.068 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 10.068 * [taylor]: Taking taylor expansion of (* x z) in x 10.068 * [taylor]: Taking taylor expansion of x in x 10.068 * [taylor]: Taking taylor expansion of z in x 10.069 * [taylor]: Taking taylor expansion of y in x 10.069 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y))) in x 10.069 * [taylor]: Taking taylor expansion of -1 in x 10.069 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y)) in x 10.070 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in x 10.070 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 10.070 * [taylor]: Taking taylor expansion of (pow z 3) in x 10.070 * [taylor]: Taking taylor expansion of z in x 10.070 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 10.070 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.070 * [taylor]: Taking taylor expansion of x in x 10.071 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y) in x 10.071 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in x 10.071 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 10.071 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.071 * [taylor]: Taking taylor expansion of x in x 10.071 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in x 10.071 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 10.071 * [taylor]: Taking taylor expansion of (pow z 2) in x 10.071 * [taylor]: Taking taylor expansion of z in x 10.072 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 10.072 * [taylor]: Taking taylor expansion of (* x z) in x 10.072 * [taylor]: Taking taylor expansion of x in x 10.072 * [taylor]: Taking taylor expansion of z in x 10.072 * [taylor]: Taking taylor expansion of y in x 10.073 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.073 * [taylor]: Taking taylor expansion of y in z 10.076 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 10.076 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 10.076 * [taylor]: Taking taylor expansion of (* z y) in z 10.076 * [taylor]: Taking taylor expansion of z in z 10.076 * [taylor]: Taking taylor expansion of y in z 10.077 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 10.077 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.077 * [taylor]: Taking taylor expansion of y in y 10.077 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.077 * [taylor]: Taking taylor expansion of y in y 10.083 * [taylor]: Taking taylor expansion of 0 in z 10.084 * [taylor]: Taking taylor expansion of 0 in y 10.084 * [taylor]: Taking taylor expansion of 0 in y 10.091 * [taylor]: Taking taylor expansion of 0 in z 10.092 * [taylor]: Taking taylor expansion of 0 in y 10.097 * [taylor]: Taking taylor expansion of 0 in y 10.097 * [taylor]: Taking taylor expansion of 0 in y 10.099 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 10.099 * [approximate]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in (x z y) around 0 10.099 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in y 10.099 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in y 10.099 * [taylor]: Taking taylor expansion of (pow x 3) in y 10.099 * [taylor]: Taking taylor expansion of x in y 10.099 * [taylor]: Taking taylor expansion of (pow z 3) in y 10.099 * [taylor]: Taking taylor expansion of z in y 10.099 * [taylor]: Taking taylor expansion of y in y 10.099 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in z 10.099 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in z 10.099 * [taylor]: Taking taylor expansion of (pow x 3) in z 10.099 * [taylor]: Taking taylor expansion of x in z 10.099 * [taylor]: Taking taylor expansion of (pow z 3) in z 10.099 * [taylor]: Taking taylor expansion of z in z 10.099 * [taylor]: Taking taylor expansion of y in z 10.099 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in x 10.099 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in x 10.099 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.099 * [taylor]: Taking taylor expansion of x in x 10.099 * [taylor]: Taking taylor expansion of (pow z 3) in x 10.099 * [taylor]: Taking taylor expansion of z in x 10.099 * [taylor]: Taking taylor expansion of y in x 10.099 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in x 10.099 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in x 10.099 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.099 * [taylor]: Taking taylor expansion of x in x 10.099 * [taylor]: Taking taylor expansion of (pow z 3) in x 10.099 * [taylor]: Taking taylor expansion of z in x 10.100 * [taylor]: Taking taylor expansion of y in x 10.100 * [taylor]: Taking taylor expansion of (* -1 (* (pow z 3) y)) in z 10.100 * [taylor]: Taking taylor expansion of -1 in z 10.100 * [taylor]: Taking taylor expansion of (* (pow z 3) y) in z 10.100 * [taylor]: Taking taylor expansion of (pow z 3) in z 10.100 * [taylor]: Taking taylor expansion of z in z 10.100 * [taylor]: Taking taylor expansion of y in z 10.101 * [taylor]: Taking taylor expansion of 0 in z 10.101 * [taylor]: Taking taylor expansion of 0 in y 10.103 * [taylor]: Taking taylor expansion of 0 in z 10.103 * [taylor]: Taking taylor expansion of 0 in y 10.103 * [taylor]: Taking taylor expansion of 0 in y 10.106 * [taylor]: Taking taylor expansion of y in z 10.106 * [taylor]: Taking taylor expansion of y in y 10.106 * [taylor]: Taking taylor expansion of 0 in y 10.106 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) y) in (x z y) around 0 10.106 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) y) in y 10.106 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in y 10.107 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y 10.107 * [taylor]: Taking taylor expansion of (pow x 3) in y 10.107 * [taylor]: Taking taylor expansion of x in y 10.107 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y 10.107 * [taylor]: Taking taylor expansion of (pow z 3) in y 10.107 * [taylor]: Taking taylor expansion of z in y 10.107 * [taylor]: Taking taylor expansion of y in y 10.107 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) y) in z 10.107 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in z 10.107 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z 10.107 * [taylor]: Taking taylor expansion of (pow x 3) in z 10.107 * [taylor]: Taking taylor expansion of x in z 10.108 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 10.108 * [taylor]: Taking taylor expansion of (pow z 3) in z 10.108 * [taylor]: Taking taylor expansion of z in z 10.109 * [taylor]: Taking taylor expansion of y in z 10.109 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) y) in x 10.109 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in x 10.109 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 10.109 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.109 * [taylor]: Taking taylor expansion of x in x 10.110 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 10.110 * [taylor]: Taking taylor expansion of (pow z 3) in x 10.110 * [taylor]: Taking taylor expansion of z in x 10.110 * [taylor]: Taking taylor expansion of y in x 10.111 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) y) in x 10.111 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in x 10.111 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 10.111 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.111 * [taylor]: Taking taylor expansion of x in x 10.112 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 10.112 * [taylor]: Taking taylor expansion of (pow z 3) in x 10.112 * [taylor]: Taking taylor expansion of z in x 10.112 * [taylor]: Taking taylor expansion of y in x 10.112 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.112 * [taylor]: Taking taylor expansion of y in z 10.114 * [taylor]: Taking taylor expansion of 0 in z 10.116 * [taylor]: Taking taylor expansion of 0 in z 10.118 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 3) y))) in z 10.119 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) y)) in z 10.119 * [taylor]: Taking taylor expansion of (* (pow z 3) y) in z 10.119 * [taylor]: Taking taylor expansion of (pow z 3) in z 10.119 * [taylor]: Taking taylor expansion of z in z 10.119 * [taylor]: Taking taylor expansion of y in z 10.119 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 10.119 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.119 * [taylor]: Taking taylor expansion of y in y 10.120 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.120 * [taylor]: Taking taylor expansion of y in y 10.124 * [taylor]: Taking taylor expansion of 0 in z 10.126 * [taylor]: Taking taylor expansion of 0 in y 10.126 * [taylor]: Taking taylor expansion of 0 in y 10.126 * [taylor]: Taking taylor expansion of 0 in y 10.131 * [taylor]: Taking taylor expansion of 0 in z 10.133 * [taylor]: Taking taylor expansion of 0 in y 10.133 * [taylor]: Taking taylor expansion of 0 in y 10.133 * [taylor]: Taking taylor expansion of 0 in y 10.133 * [taylor]: Taking taylor expansion of 0 in y 10.135 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y)) in (x z y) around 0 10.135 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y)) in y 10.135 * [taylor]: Taking taylor expansion of -1 in y 10.135 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y) in y 10.135 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in y 10.135 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y 10.135 * [taylor]: Taking taylor expansion of (pow z 3) in y 10.135 * [taylor]: Taking taylor expansion of z in y 10.135 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y 10.135 * [taylor]: Taking taylor expansion of (pow x 3) in y 10.135 * [taylor]: Taking taylor expansion of x in y 10.135 * [taylor]: Taking taylor expansion of y in y 10.136 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y)) in z 10.136 * [taylor]: Taking taylor expansion of -1 in z 10.136 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y) in z 10.136 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in z 10.136 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 10.136 * [taylor]: Taking taylor expansion of (pow z 3) in z 10.136 * [taylor]: Taking taylor expansion of z in z 10.137 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z 10.137 * [taylor]: Taking taylor expansion of (pow x 3) in z 10.137 * [taylor]: Taking taylor expansion of x in z 10.137 * [taylor]: Taking taylor expansion of y in z 10.138 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y)) in x 10.138 * [taylor]: Taking taylor expansion of -1 in x 10.138 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y) in x 10.138 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in x 10.138 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 10.138 * [taylor]: Taking taylor expansion of (pow z 3) in x 10.138 * [taylor]: Taking taylor expansion of z in x 10.138 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 10.138 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.138 * [taylor]: Taking taylor expansion of x in x 10.139 * [taylor]: Taking taylor expansion of y in x 10.139 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y)) in x 10.139 * [taylor]: Taking taylor expansion of -1 in x 10.139 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y) in x 10.139 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in x 10.139 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 10.140 * [taylor]: Taking taylor expansion of (pow z 3) in x 10.140 * [taylor]: Taking taylor expansion of z in x 10.140 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 10.140 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.140 * [taylor]: Taking taylor expansion of x in x 10.141 * [taylor]: Taking taylor expansion of y in x 10.141 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.141 * [taylor]: Taking taylor expansion of y in z 10.144 * [taylor]: Taking taylor expansion of 0 in z 10.146 * [taylor]: Taking taylor expansion of 0 in z 10.150 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 3) y))) in z 10.150 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) y)) in z 10.150 * [taylor]: Taking taylor expansion of (* (pow z 3) y) in z 10.150 * [taylor]: Taking taylor expansion of (pow z 3) in z 10.150 * [taylor]: Taking taylor expansion of z in z 10.150 * [taylor]: Taking taylor expansion of y in z 10.150 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 10.150 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.150 * [taylor]: Taking taylor expansion of y in y 10.151 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.151 * [taylor]: Taking taylor expansion of y in y 10.155 * [taylor]: Taking taylor expansion of 0 in z 10.157 * [taylor]: Taking taylor expansion of 0 in y 10.157 * [taylor]: Taking taylor expansion of 0 in y 10.157 * [taylor]: Taking taylor expansion of 0 in y 10.164 * [taylor]: Taking taylor expansion of 0 in z 10.166 * [taylor]: Taking taylor expansion of 0 in y 10.166 * [taylor]: Taking taylor expansion of 0 in y 10.166 * [taylor]: Taking taylor expansion of 0 in y 10.166 * [taylor]: Taking taylor expansion of 0 in y 10.167 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 10.168 * [approximate]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in (x z) around 0 10.168 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in z 10.168 * [taylor]: Taking taylor expansion of (pow x 3) in z 10.168 * [taylor]: Taking taylor expansion of x in z 10.168 * [taylor]: Taking taylor expansion of (pow z 3) in z 10.168 * [taylor]: Taking taylor expansion of z in z 10.168 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in x 10.168 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.168 * [taylor]: Taking taylor expansion of x in x 10.168 * [taylor]: Taking taylor expansion of (pow z 3) in x 10.168 * [taylor]: Taking taylor expansion of z in x 10.168 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in x 10.168 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.168 * [taylor]: Taking taylor expansion of x in x 10.168 * [taylor]: Taking taylor expansion of (pow z 3) in x 10.168 * [taylor]: Taking taylor expansion of z in x 10.169 * [taylor]: Taking taylor expansion of (- (pow z 3)) in z 10.169 * [taylor]: Taking taylor expansion of (pow z 3) in z 10.169 * [taylor]: Taking taylor expansion of z in z 10.169 * [taylor]: Taking taylor expansion of 0 in z 10.171 * [taylor]: Taking taylor expansion of 0 in z 10.173 * [taylor]: Taking taylor expansion of 1 in z 10.177 * [taylor]: Taking taylor expansion of 0 in z 10.182 * [taylor]: Taking taylor expansion of 0 in z 10.182 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in (x z) around 0 10.182 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in z 10.182 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z 10.182 * [taylor]: Taking taylor expansion of (pow x 3) in z 10.182 * [taylor]: Taking taylor expansion of x in z 10.182 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 10.182 * [taylor]: Taking taylor expansion of (pow z 3) in z 10.182 * [taylor]: Taking taylor expansion of z in z 10.183 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in x 10.183 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 10.183 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.183 * [taylor]: Taking taylor expansion of x in x 10.184 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 10.184 * [taylor]: Taking taylor expansion of (pow z 3) in x 10.184 * [taylor]: Taking taylor expansion of z in x 10.185 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in x 10.185 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 10.185 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.185 * [taylor]: Taking taylor expansion of x in x 10.185 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 10.185 * [taylor]: Taking taylor expansion of (pow z 3) in x 10.185 * [taylor]: Taking taylor expansion of z in x 10.186 * [taylor]: Taking taylor expansion of 1 in z 10.188 * [taylor]: Taking taylor expansion of 0 in z 10.189 * [taylor]: Taking taylor expansion of 0 in z 10.192 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3))) in z 10.192 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 10.192 * [taylor]: Taking taylor expansion of (pow z 3) in z 10.192 * [taylor]: Taking taylor expansion of z in z 10.199 * [taylor]: Taking taylor expansion of 0 in z 10.204 * [taylor]: Taking taylor expansion of 0 in z 10.207 * [approximate]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in (x z) around 0 10.207 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in z 10.207 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 10.207 * [taylor]: Taking taylor expansion of (pow z 3) in z 10.207 * [taylor]: Taking taylor expansion of z in z 10.208 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z 10.208 * [taylor]: Taking taylor expansion of (pow x 3) in z 10.208 * [taylor]: Taking taylor expansion of x in z 10.208 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in x 10.208 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 10.208 * [taylor]: Taking taylor expansion of (pow z 3) in x 10.208 * [taylor]: Taking taylor expansion of z in x 10.209 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 10.209 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.209 * [taylor]: Taking taylor expansion of x in x 10.209 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in x 10.210 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 10.210 * [taylor]: Taking taylor expansion of (pow z 3) in x 10.210 * [taylor]: Taking taylor expansion of z in x 10.210 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 10.210 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.210 * [taylor]: Taking taylor expansion of x in x 10.211 * [taylor]: Taking taylor expansion of -1 in z 10.213 * [taylor]: Taking taylor expansion of 0 in z 10.215 * [taylor]: Taking taylor expansion of 0 in z 10.218 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 10.218 * [taylor]: Taking taylor expansion of (pow z 3) in z 10.218 * [taylor]: Taking taylor expansion of z in z 10.221 * [taylor]: Taking taylor expansion of 0 in z 10.226 * [taylor]: Taking taylor expansion of 0 in z 10.228 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 10.229 * [approximate]: Taking taylor expansion of (+ (* x z) (pow z 2)) in (z x) around 0 10.229 * [taylor]: Taking taylor expansion of (+ (* x z) (pow z 2)) in x 10.229 * [taylor]: Taking taylor expansion of (* x z) in x 10.229 * [taylor]: Taking taylor expansion of x in x 10.229 * [taylor]: Taking taylor expansion of z in x 10.229 * [taylor]: Taking taylor expansion of (pow z 2) in x 10.229 * [taylor]: Taking taylor expansion of z in x 10.229 * [taylor]: Taking taylor expansion of (+ (* x z) (pow z 2)) in z 10.229 * [taylor]: Taking taylor expansion of (* x z) in z 10.229 * [taylor]: Taking taylor expansion of x in z 10.229 * [taylor]: Taking taylor expansion of z in z 10.229 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.229 * [taylor]: Taking taylor expansion of z in z 10.229 * [taylor]: Taking taylor expansion of (+ (* x z) (pow z 2)) in z 10.229 * [taylor]: Taking taylor expansion of (* x z) in z 10.229 * [taylor]: Taking taylor expansion of x in z 10.229 * [taylor]: Taking taylor expansion of z in z 10.229 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.229 * [taylor]: Taking taylor expansion of z in z 10.229 * [taylor]: Taking taylor expansion of 0 in x 10.230 * [taylor]: Taking taylor expansion of x in x 10.231 * [taylor]: Taking taylor expansion of 1 in x 10.232 * [taylor]: Taking taylor expansion of 0 in x 10.233 * [taylor]: Taking taylor expansion of 0 in x 10.234 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (pow z 2))) in (z x) around 0 10.234 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (pow z 2))) in x 10.234 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 10.234 * [taylor]: Taking taylor expansion of (* x z) in x 10.234 * [taylor]: Taking taylor expansion of x in x 10.234 * [taylor]: Taking taylor expansion of z in x 10.234 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 10.234 * [taylor]: Taking taylor expansion of (pow z 2) in x 10.234 * [taylor]: Taking taylor expansion of z in x 10.235 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (pow z 2))) in z 10.235 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 10.235 * [taylor]: Taking taylor expansion of (* x z) in z 10.235 * [taylor]: Taking taylor expansion of x in z 10.235 * [taylor]: Taking taylor expansion of z in z 10.235 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 10.235 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.235 * [taylor]: Taking taylor expansion of z in z 10.236 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (pow z 2))) in z 10.236 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 10.236 * [taylor]: Taking taylor expansion of (* x z) in z 10.236 * [taylor]: Taking taylor expansion of x in z 10.236 * [taylor]: Taking taylor expansion of z in z 10.236 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 10.236 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.236 * [taylor]: Taking taylor expansion of z in z 10.237 * [taylor]: Taking taylor expansion of 1 in x 10.238 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.238 * [taylor]: Taking taylor expansion of x in x 10.240 * [taylor]: Taking taylor expansion of 0 in x 10.243 * [taylor]: Taking taylor expansion of 0 in x 10.245 * [taylor]: Taking taylor expansion of 0 in x 10.246 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (pow z 2))) in (z x) around 0 10.246 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (pow z 2))) in x 10.246 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 10.246 * [taylor]: Taking taylor expansion of (* x z) in x 10.246 * [taylor]: Taking taylor expansion of x in x 10.246 * [taylor]: Taking taylor expansion of z in x 10.247 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 10.247 * [taylor]: Taking taylor expansion of (pow z 2) in x 10.247 * [taylor]: Taking taylor expansion of z in x 10.247 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (pow z 2))) in z 10.247 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 10.247 * [taylor]: Taking taylor expansion of (* x z) in z 10.247 * [taylor]: Taking taylor expansion of x in z 10.247 * [taylor]: Taking taylor expansion of z in z 10.247 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 10.247 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.247 * [taylor]: Taking taylor expansion of z in z 10.248 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (pow z 2))) in z 10.248 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 10.248 * [taylor]: Taking taylor expansion of (* x z) in z 10.248 * [taylor]: Taking taylor expansion of x in z 10.248 * [taylor]: Taking taylor expansion of z in z 10.248 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 10.248 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.248 * [taylor]: Taking taylor expansion of z in z 10.249 * [taylor]: Taking taylor expansion of 1 in x 10.250 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.250 * [taylor]: Taking taylor expansion of x in x 10.252 * [taylor]: Taking taylor expansion of 0 in x 10.255 * [taylor]: Taking taylor expansion of 0 in x 10.258 * [taylor]: Taking taylor expansion of 0 in x 10.258 * * * [progress]: simplifying candidates 10.260 * [simplify]: Simplifying using # : (- (+ (log (- (pow x 3) (pow z 3))) (log y)) (log (+ (* x x) (+ (* z z) (* x z))))) (- (log (* (- (pow x 3) (pow z 3)) y)) (log (+ (* x x) (+ (* z z) (* x z))))) (log (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z))))) (exp (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z))))) (/ (* (* (* (- (pow x 3) (pow z 3)) (- (pow x 3) (pow z 3))) (- (pow x 3) (pow z 3))) (* (* y y) y)) (* (* (+ (* x x) (+ (* z z) (* x z))) (+ (* x x) (+ (* z z) (* x z)))) (+ (* x x) (+ (* z z) (* x z))))) (/ (* (* (* (- (pow x 3) (pow z 3)) y) (* (- (pow x 3) (pow z 3)) y)) (* (- (pow x 3) (pow z 3)) y)) (* (* (+ (* x x) (+ (* z z) (* x z))) (+ (* x x) (+ (* z z) (* x z)))) (+ (* x x) (+ (* z z) (* x z))))) (* (cbrt (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z))))) (cbrt (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z)))))) (cbrt (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z))))) (* (* (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z)))) (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z))))) (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z))))) (sqrt (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z))))) (sqrt (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x x) (+ (* z z) (* x z))))) (- (* (- (pow x 3) (pow z 3)) y)) (- (+ (* x x) (+ (* z z) (* x z)))) (/ (- (pow x 3) (pow z 3)) (* (cbrt (+ (* x x) (+ (* z z) (* x z)))) (cbrt (+ (* x x) (+ (* z z) (* x z)))))) (/ y (cbrt (+ (* x x) (+ (* z z) (* x z))))) (/ (- (pow x 3) (pow z 3)) (sqrt (+ (* x x) (+ (* z z) (* x z))))) (/ y (sqrt (+ (* x x) (+ (* z z) (* x z))))) (/ (- (pow x 3) (pow z 3)) 1) (/ y (+ (* x x) (+ (* z z) (* x z)))) (/ 1 (+ (* x x) (+ (* z z) (* x z)))) (/ (+ (* x x) (+ (* z z) (* x z))) (* (- (pow x 3) (pow z 3)) y)) (/ (* (- (pow x 3) (pow z 3)) y) (* (cbrt (+ (* x x) (+ (* z z) (* x z)))) (cbrt (+ (* x x) (+ (* z z) (* x z)))))) (/ (* (- (pow x 3) (pow z 3)) y) (sqrt (+ (* x x) (+ (* z z) (* x z))))) (/ (* (- (pow x 3) (pow z 3)) y) 1) (/ (+ (* x x) (+ (* z z) (* x z))) y) (/ (* (- (pow x 3) (pow z 3)) y) (+ (pow (* x x) 3) (pow (+ (* z z) (* x z)) 3))) (/ (* (- (pow x 3) (pow z 3)) y) (- (* (* x x) (* x x)) (* (+ (* z z) (* x z)) (+ (* z z) (* x z))))) (* (+ (* x x) (+ (* z z) (* x z))) (+ (* (pow x 3) (pow x 3)) (+ (* (pow z 3) (pow z 3)) (* (pow x 3) (pow z 3))))) (* (+ (* x x) (+ (* z z) (* x z))) (+ (pow x 3) (pow z 3))) (* (- (pow x 3) (pow z 3)) y) (+ (log (- (pow x 3) (pow z 3))) (log y)) (log (* (- (pow x 3) (pow z 3)) y)) (exp (* (- (pow x 3) (pow z 3)) y)) (* (* (* (- (pow x 3) (pow z 3)) (- (pow x 3) (pow z 3))) (- (pow x 3) (pow z 3))) (* (* y y) y)) (* (cbrt (* (- (pow x 3) (pow z 3)) y)) (cbrt (* (- (pow x 3) (pow z 3)) y))) (cbrt (* (- (pow x 3) (pow z 3)) y)) (* (* (* (- (pow x 3) (pow z 3)) y) (* (- (pow x 3) (pow z 3)) y)) (* (- (pow x 3) (pow z 3)) y)) (sqrt (* (- (pow x 3) (pow z 3)) y)) (sqrt (* (- (pow x 3) (pow z 3)) y)) (* (sqrt (- (pow x 3) (pow z 3))) (sqrt y)) (* (sqrt (- (pow x 3) (pow z 3))) (sqrt y)) (* (- (pow x 3) (pow z 3)) (* (cbrt y) (cbrt y))) (* (- (pow x 3) (pow z 3)) (sqrt y)) (* (- (pow x 3) (pow z 3)) 1) (* (cbrt (- (pow x 3) (pow z 3))) y) (* (sqrt (- (pow x 3) (pow z 3))) y) (* (- x z) y) (* (- (pow x 3) (pow z 3)) y) (* (- (pow (sqrt x) 3) (pow (sqrt z) 3)) y) (* (- (pow (sqrt x) 3) (pow (sqrt z) 3)) y) (* (- (pow (sqrt x) 3) (sqrt (pow z 3))) y) (* (- (pow (sqrt x) 3) (pow z (/ 3 2))) y) (* (- (pow (sqrt x) 3) (pow (sqrt z) 3)) y) (* (- (pow (sqrt x) 3) (pow (sqrt z) 3)) y) (* (- (pow (sqrt x) 3) (sqrt (pow z 3))) y) (* (- (pow (sqrt x) 3) (pow z (/ 3 2))) y) (* (- (sqrt (pow x 3)) (pow (sqrt z) 3)) y) (* (- (sqrt (pow x 3)) (pow (sqrt z) 3)) y) (* (- (sqrt (pow x 3)) (sqrt (pow z 3))) y) (* (- (sqrt (pow x 3)) (pow z (/ 3 2))) y) (* (- (pow x (/ 3 2)) (pow (sqrt z) 3)) y) (* (- (pow x (/ 3 2)) (pow (sqrt z) 3)) y) (* (- (pow x (/ 3 2)) (sqrt (pow z 3))) y) (* (- (pow x (/ 3 2)) (pow z (/ 3 2))) y) (* (- (pow x 3) (pow z 3)) y) (* (- (pow x 3) (pow z 3)) y) (* (- (pow x 3) (pow z 3)) y) (* (- (pow x 3) (pow z 3)) y) (* (- (pow x 3) (pow z 3)) y) (* (- (pow (pow x 3) 3) (pow (pow z 3) 3)) y) (* (- (* (pow x 3) (pow x 3)) (* (pow z 3) (pow z 3))) y) (/ (exp (pow x 3)) (exp (pow z 3))) (log (- (pow x 3) (pow z 3))) (exp (- (pow x 3) (pow z 3))) (* (cbrt (- (pow x 3) (pow z 3))) (cbrt (- (pow x 3) (pow z 3)))) (cbrt (- (pow x 3) (pow z 3))) (* (* (- (pow x 3) (pow z 3)) (- (pow x 3) (pow z 3))) (- (pow x 3) (pow z 3))) (sqrt (- (pow x 3) (pow z 3))) (sqrt (- (pow x 3) (pow z 3))) (+ (* x x) (+ (* z z) (* x z))) (- x z) (- (pow (pow x 3) 3) (pow (pow z 3) 3)) (+ (* (pow x 3) (pow x 3)) (+ (* (pow z 3) (pow z 3)) (* (pow x 3) (pow z 3)))) (- (pow z 3)) (- (* (pow x 3) (pow x 3)) (* (pow z 3) (pow z 3))) (+ (pow x 3) (pow z 3)) (+ (pow (sqrt x) 3) (pow (sqrt z) 3)) (- (pow (sqrt x) 3) (pow (sqrt z) 3)) (+ (pow (sqrt x) 3) (pow (sqrt z) 3)) (- (pow (sqrt x) 3) (pow (sqrt z) 3)) (+ (pow (sqrt x) 3) (sqrt (pow z 3))) (- (pow (sqrt x) 3) (sqrt (pow z 3))) (+ (pow (sqrt x) 3) (pow z (/ 3 2))) (- (pow (sqrt x) 3) (pow z (/ 3 2))) (+ (pow (sqrt x) 3) (pow (sqrt z) 3)) (- (pow (sqrt x) 3) (pow (sqrt z) 3)) (+ (pow (sqrt x) 3) (pow (sqrt z) 3)) (- (pow (sqrt x) 3) (pow (sqrt z) 3)) (+ (pow (sqrt x) 3) (sqrt (pow z 3))) (- (pow (sqrt x) 3) (sqrt (pow z 3))) (+ (pow (sqrt x) 3) (pow z (/ 3 2))) (- (pow (sqrt x) 3) (pow z (/ 3 2))) (+ (sqrt (pow x 3)) (pow (sqrt z) 3)) (- (sqrt (pow x 3)) (pow (sqrt z) 3)) (+ (sqrt (pow x 3)) (pow (sqrt z) 3)) (- (sqrt (pow x 3)) (pow (sqrt z) 3)) (+ (sqrt (pow x 3)) (sqrt (pow z 3))) (- (sqrt (pow x 3)) (sqrt (pow z 3))) (+ (sqrt (pow x 3)) (pow z (/ 3 2))) (- (sqrt (pow x 3)) (pow z (/ 3 2))) (+ (pow x (/ 3 2)) (pow (sqrt z) 3)) (- (pow x (/ 3 2)) (pow (sqrt z) 3)) (+ (pow x (/ 3 2)) (pow (sqrt z) 3)) (- (pow x (/ 3 2)) (pow (sqrt z) 3)) (+ (pow x (/ 3 2)) (sqrt (pow z 3))) (- (pow x (/ 3 2)) (sqrt (pow z 3))) (+ (pow x (/ 3 2)) (pow z (/ 3 2))) (- (pow x (/ 3 2)) (pow z (/ 3 2))) (- (pow x 3) (pow z 3)) (- (pow x 3) (pow z 3)) (- (pow x 3) (pow z 3)) (- (pow x 3) (pow z 3)) (- (pow x 3) (pow z 3)) (- (pow z 3)) (* (exp (* z z)) (exp (* x z))) (log (+ (* z z) (* x z))) (exp (+ (* z z) (* x z))) (* (cbrt (+ (* z z) (* x z))) (cbrt (+ (* z z) (* x z)))) (cbrt (+ (* z z) (* x z))) (* (* (+ (* z z) (* x z)) (+ (* z z) (* x z))) (+ (* z z) (* x z))) (sqrt (+ (* z z) (* x z))) (sqrt (+ (* z z) (* x z))) (+ (pow (* z z) 3) (pow (* x z) 3)) (+ (* (* z z) (* z z)) (- (* (* x z) (* x z)) (* (* z z) (* x z)))) (- (* (* z z) (* z z)) (* (* x z) (* x z))) (- (* z z) (* x z)) (+ z x) (- (* x y) (* z y)) (- (* x y) (* z y)) (- (* x y) (* z y)) 0 (- (* (pow x 3) y) (* (pow z 3) y)) (- (* (pow x 3) y) (* (pow z 3) y)) (- (pow x 3) (pow z 3)) (- (pow x 3) (pow z 3)) (- (pow x 3) (pow z 3)) (+ (* x z) (pow z 2)) (+ (* x z) (pow z 2)) (+ (* x z) (pow z 2)) 10.265 * * [simplify]: iteration 0 : 168 enodes (cost 1985 ) 10.300 * * [simplify]: iteration 1 : 448 enodes (cost 1749 ) 10.509 * * [simplify]: iteration 2 : 1863 enodes (cost 1579 ) 11.401 * * [simplify]: iteration done : 5000 enodes (cost 1579 ) 11.402 * [simplify]: Simplified to: (log (/ (* y (- (pow x 3) (pow z 3))) (+ (* x x) (* z (+ z x))))) (log (/ (* y (- (pow x 3) (pow z 3))) (+ (* x x) (* z (+ z x))))) (log (/ (* y (- (pow x 3) (pow z 3))) (+ (* x x) (* z (+ z x))))) (exp (/ (* y (- (pow x 3) (pow z 3))) (+ (* x x) (* z (+ z x))))) (pow (/ (* y (- (pow x 3) (pow z 3))) (+ (* x x) (* z (+ z x)))) 3) (pow (/ (* y (- (pow x 3) (pow z 3))) (+ (* x x) (* z (+ z x)))) 3) (* (cbrt (/ (* y (- (pow x 3) (pow z 3))) (+ (* x x) (* z (+ z x))))) (cbrt (/ (* y (- (pow x 3) (pow z 3))) (+ (* x x) (* z (+ z x)))))) (cbrt (/ (* y (- (pow x 3) (pow z 3))) (+ (* x x) (* z (+ z x))))) (pow (/ (* y (- (pow x 3) (pow z 3))) (+ (* x x) (* z (+ z x)))) 3) (sqrt (/ (* y (- (pow x 3) (pow z 3))) (+ (* x x) (* z (+ z x))))) (sqrt (/ (* y (- (pow x 3) (pow z 3))) (+ (* x x) (* z (+ z x))))) (- (* (- (pow x 3) (pow z 3)) y)) (- (+ (* x x) (* z (+ z x)))) (/ (/ (- (pow x 3) (pow z 3)) (cbrt (+ (* x x) (* z (+ z x))))) (cbrt (+ (* x x) (* z (+ z x))))) (/ y (cbrt (+ (* x x) (* z (+ z x))))) (/ (- (pow x 3) (pow z 3)) (sqrt (+ (* x x) (* z (+ z x))))) (/ y (sqrt (+ (* x x) (* z (+ z x))))) (- (pow x 3) (pow z 3)) (/ y (+ (* x x) (* z (+ z x)))) (/ 1 (+ (* x x) (* z (+ z x)))) (/ (+ (* x x) (* z (+ z x))) (* y (- (pow x 3) (pow z 3)))) (/ (* y (- (pow x 3) (pow z 3))) (* (cbrt (+ (* x x) (* z (+ z x)))) (cbrt (+ (* x x) (* z (+ z x)))))) (/ (* y (- (pow x 3) (pow z 3))) (sqrt (+ (* x x) (* z (+ z x))))) (* y (- (pow x 3) (pow z 3))) (/ (+ (* x x) (* z (+ z x))) y) (/ (* y (- (pow x 3) (pow z 3))) (+ (pow (* z (+ z x)) 3) (pow x 6))) (* (/ (- (pow x 3) (pow z 3)) (- (pow x 4) (* (* z (+ z x)) (* z (+ z x))))) y) (* (+ (+ (pow (* x z) 3) (pow z 6)) (pow x 6)) (+ (* x x) (* z (+ z x)))) (* (+ (* x x) (* z (+ z x))) (+ (pow x 3) (pow z 3))) (* y (- (pow x 3) (pow z 3))) (log (* (- (pow x 3) (pow z 3)) y)) (log (* (- (pow x 3) (pow z 3)) y)) (exp (* (- (pow x 3) (pow z 3)) y)) (pow (* y (- (pow x 3) (pow z 3))) 3) (* (cbrt (* (- (pow x 3) (pow z 3)) y)) (cbrt (* (- (pow x 3) (pow z 3)) y))) (cbrt (* (- (pow x 3) (pow z 3)) y)) (pow (* y (- (pow x 3) (pow z 3))) 3) (sqrt (* (- (pow x 3) (pow z 3)) y)) (sqrt (* (- (pow x 3) (pow z 3)) y)) (* (sqrt (- (pow x 3) (pow z 3))) (sqrt y)) (* (sqrt (- (pow x 3) (pow z 3))) (sqrt y)) (* (- (pow x 3) (pow z 3)) (* (cbrt y) (cbrt y))) (* (- (pow x 3) (pow z 3)) (sqrt y)) (- (pow x 3) (pow z 3)) (* (cbrt (- (pow x 3) (pow z 3))) y) (* (sqrt (- (pow x 3) (pow z 3))) y) (* (- x z) y) (* y (- (pow x 3) (pow z 3))) (* (- (pow (sqrt x) 3) (pow (sqrt z) 3)) y) (* (- (pow (sqrt x) 3) (pow (sqrt z) 3)) y) (* (- (pow (sqrt x) 3) (sqrt (pow z 3))) y) (* y (- (pow (sqrt x) 3) (pow z 3/2))) (* (- (pow (sqrt x) 3) (pow (sqrt z) 3)) y) (* (- (pow (sqrt x) 3) (pow (sqrt z) 3)) y) (* (- (pow (sqrt x) 3) (sqrt (pow z 3))) y) (* y (- (pow (sqrt x) 3) (pow z 3/2))) (* (- (sqrt (pow x 3)) (pow (sqrt z) 3)) y) (* (- (sqrt (pow x 3)) (pow (sqrt z) 3)) y) (* (- (sqrt (pow x 3)) (sqrt (pow z 3))) y) (* (- (sqrt (pow x 3)) (pow z 3/2)) y) (* y (- (pow x 3/2) (pow (sqrt z) 3))) (* y (- (pow x 3/2) (pow (sqrt z) 3))) (* y (- (pow x 3/2) (sqrt (pow z 3)))) (* (- (pow x 3/2) (pow z 3/2)) y) (* y (- (pow x 3) (pow z 3))) (* y (- (pow x 3) (pow z 3))) (* y (- (pow x 3) (pow z 3))) (* y (- (pow x 3) (pow z 3))) (* y (- (pow x 3) (pow z 3))) (* (- (pow (pow x 3) 3) (pow (pow z 3) 3)) y) (* y (- (pow x 6) (pow z 6))) (exp (- (pow x 3) (pow z 3))) (log (- (pow x 3) (pow z 3))) (exp (- (pow x 3) (pow z 3))) (* (cbrt (- (pow x 3) (pow z 3))) (cbrt (- (pow x 3) (pow z 3)))) (cbrt (- (pow x 3) (pow z 3))) (pow (- (pow x 3) (pow z 3)) 3) (sqrt (- (pow x 3) (pow z 3))) (sqrt (- (pow x 3) (pow z 3))) (+ (* x x) (* z (+ z x))) (- x z) (- (pow (pow x 3) 3) (pow (pow z 3) 3)) (+ (+ (pow (* x z) 3) (pow z 6)) (pow x 6)) (- (pow z 3)) (- (pow x 6) (pow z 6)) (+ (pow x 3) (pow z 3)) (+ (pow (sqrt x) 3) (pow (sqrt z) 3)) (- (pow (sqrt x) 3) (pow (sqrt z) 3)) (+ (pow (sqrt x) 3) (pow (sqrt z) 3)) (- (pow (sqrt x) 3) (pow (sqrt z) 3)) (+ (pow (sqrt x) 3) (sqrt (pow z 3))) (- (pow (sqrt x) 3) (sqrt (pow z 3))) (+ (pow z 3/2) (pow (sqrt x) 3)) (- (pow (sqrt x) 3) (pow z 3/2)) (+ (pow (sqrt x) 3) (pow (sqrt z) 3)) (- (pow (sqrt x) 3) (pow (sqrt z) 3)) (+ (pow (sqrt x) 3) (pow (sqrt z) 3)) (- (pow (sqrt x) 3) (pow (sqrt z) 3)) (+ (pow (sqrt x) 3) (sqrt (pow z 3))) (- (pow (sqrt x) 3) (sqrt (pow z 3))) (+ (pow z 3/2) (pow (sqrt x) 3)) (- (pow (sqrt x) 3) (pow z 3/2)) (+ (sqrt (pow x 3)) (pow (sqrt z) 3)) (- (sqrt (pow x 3)) (pow (sqrt z) 3)) (+ (sqrt (pow x 3)) (pow (sqrt z) 3)) (- (sqrt (pow x 3)) (pow (sqrt z) 3)) (+ (sqrt (pow x 3)) (sqrt (pow z 3))) (- (sqrt (pow x 3)) (sqrt (pow z 3))) (+ (pow z 3/2) (sqrt (pow x 3))) (- (sqrt (pow x 3)) (pow z 3/2)) (+ (pow x 3/2) (pow (sqrt z) 3)) (- (pow x 3/2) (pow (sqrt z) 3)) (+ (pow x 3/2) (pow (sqrt z) 3)) (- (pow x 3/2) (pow (sqrt z) 3)) (+ (pow x 3/2) (sqrt (pow z 3))) (- (pow x 3/2) (sqrt (pow z 3))) (+ (pow z 3/2) (pow x 3/2)) (- (pow x 3/2) (pow z 3/2)) (- (pow x 3) (pow z 3)) (- (pow x 3) (pow z 3)) (- (pow x 3) (pow z 3)) (- (pow x 3) (pow z 3)) (- (pow x 3) (pow z 3)) (- (pow z 3)) (exp (* z (+ z x))) (log (* z (+ z x))) (exp (* z (+ z x))) (* (cbrt (* z (+ z x))) (cbrt (* z (+ z x)))) (cbrt (* z (+ z x))) (pow (* z (+ z x)) 3) (sqrt (* z (+ z x))) (sqrt (* z (+ z x))) (+ (pow (* x z) 3) (pow z 6)) (+ (* (* z (- x z)) (* x z)) (pow z 4)) (* (* z (+ z x)) (* z (- z x))) (* z (- z x)) (+ z x) (* (- x z) y) (* (- x z) y) (* (- x z) y) 0 (* y (- (pow x 3) (pow z 3))) (* y (- (pow x 3) (pow z 3))) (- (pow x 3) (pow z 3)) (- (pow x 3) (pow z 3)) (- (pow x 3) (pow z 3)) (* z (+ z x)) (* z (+ z x)) (* z (+ z x)) 11.403 * * * [progress]: adding candidates to table 11.744 * [progress]: [Phase 3 of 3] Extracting. 11.744 * * [regime]: Finding splitpoints for: (# # #) 11.745 * * * [regime-changes]: Trying 4 branch expressions: ((- (+ (- (* x y) (* y y)) (* y y)) (* y z)) z y x) 11.745 * * * * [regimes]: Trying to branch on (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) from (# # #) 11.761 * * * * [regimes]: Trying to branch on z from (# # #) 11.779 * * * * [regimes]: Trying to branch on y from (# # #) 11.794 * * * * [regimes]: Trying to branch on x from (# # #) 11.810 * * * [regime]: Found split indices: #