21.971 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.029 * * * [progress]: [2/2] Setting up program. 0.031 * [progress]: [Phase 2 of 3] Improving. 0.031 * [simplify]: Simplifying using # : (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) 0.032 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 0.034 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 0.038 * * [simplify]: iteration 2 : 67 enodes (cost 9 ) 0.052 * * [simplify]: iteration 3 : 154 enodes (cost 7 ) 0.139 * * [simplify]: iteration 4 : 533 enodes (cost 5 ) 1.248 * * [simplify]: iteration 5 : 2212 enodes (cost 5 ) 4.832 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 4.832 * [simplify]: Simplified to: (* (- x z) y) 4.836 * * [progress]: iteration 1 / 4 4.836 * * * [progress]: picking best candidate 4.839 * * * * [pick]: Picked # 4.839 * * * [progress]: localizing error 4.843 * * * [progress]: generating rewritten candidates 4.843 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 4.853 * * * [progress]: generating series expansions 4.853 * * * * [progress]: [ 1 / 1 ] generating series at (2) 4.854 * [approximate]: Taking taylor expansion of (* y (- x z)) in (x z y) around 0 4.854 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 4.854 * [taylor]: Taking taylor expansion of y in y 4.854 * [taylor]: Taking taylor expansion of (- x z) in y 4.854 * [taylor]: Taking taylor expansion of x in y 4.854 * [taylor]: Taking taylor expansion of z in y 4.854 * [taylor]: Taking taylor expansion of (* y (- x z)) in z 4.854 * [taylor]: Taking taylor expansion of y in z 4.854 * [taylor]: Taking taylor expansion of (- x z) in z 4.854 * [taylor]: Taking taylor expansion of x in z 4.854 * [taylor]: Taking taylor expansion of z in z 4.854 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 4.854 * [taylor]: Taking taylor expansion of y in x 4.854 * [taylor]: Taking taylor expansion of (- x z) in x 4.854 * [taylor]: Taking taylor expansion of x in x 4.854 * [taylor]: Taking taylor expansion of z in x 4.854 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 4.854 * [taylor]: Taking taylor expansion of y in x 4.854 * [taylor]: Taking taylor expansion of (- x z) in x 4.854 * [taylor]: Taking taylor expansion of x in x 4.854 * [taylor]: Taking taylor expansion of z in x 4.854 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 4.854 * [taylor]: Taking taylor expansion of -1 in z 4.854 * [taylor]: Taking taylor expansion of (* z y) in z 4.854 * [taylor]: Taking taylor expansion of z in z 4.854 * [taylor]: Taking taylor expansion of y in z 4.855 * [taylor]: Taking taylor expansion of 0 in y 4.855 * [taylor]: Taking taylor expansion of y in z 4.855 * [taylor]: Taking taylor expansion of y in y 4.856 * [taylor]: Taking taylor expansion of (- y) in y 4.856 * [taylor]: Taking taylor expansion of y in y 4.857 * [taylor]: Taking taylor expansion of 0 in z 4.857 * [taylor]: Taking taylor expansion of 0 in y 4.857 * [taylor]: Taking taylor expansion of 0 in y 4.857 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (x z y) around 0 4.857 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 4.857 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 4.858 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.858 * [taylor]: Taking taylor expansion of x in y 4.858 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.858 * [taylor]: Taking taylor expansion of z in y 4.858 * [taylor]: Taking taylor expansion of y in y 4.858 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 4.858 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 4.858 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.858 * [taylor]: Taking taylor expansion of x in z 4.858 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.858 * [taylor]: Taking taylor expansion of z in z 4.858 * [taylor]: Taking taylor expansion of y in z 4.859 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 4.859 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 4.859 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.859 * [taylor]: Taking taylor expansion of x in x 4.859 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.859 * [taylor]: Taking taylor expansion of z in x 4.859 * [taylor]: Taking taylor expansion of y in x 4.860 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 4.860 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 4.860 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.860 * [taylor]: Taking taylor expansion of x in x 4.860 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.860 * [taylor]: Taking taylor expansion of z in x 4.860 * [taylor]: Taking taylor expansion of y in x 4.860 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.861 * [taylor]: Taking taylor expansion of y in z 4.861 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 4.861 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 4.861 * [taylor]: Taking taylor expansion of (* z y) in z 4.861 * [taylor]: Taking taylor expansion of z in z 4.861 * [taylor]: Taking taylor expansion of y in z 4.862 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 4.862 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.862 * [taylor]: Taking taylor expansion of y in y 4.862 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.862 * [taylor]: Taking taylor expansion of y in y 4.864 * [taylor]: Taking taylor expansion of 0 in z 4.865 * [taylor]: Taking taylor expansion of 0 in y 4.865 * [taylor]: Taking taylor expansion of 0 in y 4.868 * [taylor]: Taking taylor expansion of 0 in z 4.868 * [taylor]: Taking taylor expansion of 0 in y 4.869 * [taylor]: Taking taylor expansion of 0 in y 4.869 * [taylor]: Taking taylor expansion of 0 in y 4.871 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (x z y) around 0 4.871 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 4.871 * [taylor]: Taking taylor expansion of -1 in y 4.871 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 4.871 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 4.871 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.871 * [taylor]: Taking taylor expansion of z in y 4.871 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.871 * [taylor]: Taking taylor expansion of x in y 4.871 * [taylor]: Taking taylor expansion of y in y 4.871 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z 4.871 * [taylor]: Taking taylor expansion of -1 in z 4.871 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 4.871 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 4.871 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.871 * [taylor]: Taking taylor expansion of z in z 4.872 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.872 * [taylor]: Taking taylor expansion of x in z 4.872 * [taylor]: Taking taylor expansion of y in z 4.872 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 4.872 * [taylor]: Taking taylor expansion of -1 in x 4.872 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 4.872 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 4.872 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.872 * [taylor]: Taking taylor expansion of z in x 4.872 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.872 * [taylor]: Taking taylor expansion of x in x 4.873 * [taylor]: Taking taylor expansion of y in x 4.873 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 4.873 * [taylor]: Taking taylor expansion of -1 in x 4.873 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 4.873 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 4.873 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.873 * [taylor]: Taking taylor expansion of z in x 4.873 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.873 * [taylor]: Taking taylor expansion of x in x 4.874 * [taylor]: Taking taylor expansion of y in x 4.875 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.875 * [taylor]: Taking taylor expansion of y in z 4.876 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 4.876 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 4.876 * [taylor]: Taking taylor expansion of (* z y) in z 4.876 * [taylor]: Taking taylor expansion of z in z 4.876 * [taylor]: Taking taylor expansion of y in z 4.876 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 4.876 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.876 * [taylor]: Taking taylor expansion of y in y 4.877 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.877 * [taylor]: Taking taylor expansion of y in y 4.879 * [taylor]: Taking taylor expansion of 0 in z 4.880 * [taylor]: Taking taylor expansion of 0 in y 4.880 * [taylor]: Taking taylor expansion of 0 in y 4.883 * [taylor]: Taking taylor expansion of 0 in z 4.883 * [taylor]: Taking taylor expansion of 0 in y 4.885 * [taylor]: Taking taylor expansion of 0 in y 4.885 * [taylor]: Taking taylor expansion of 0 in y 4.887 * * * [progress]: simplifying candidates 4.887 * [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)) 4.889 * * [simplify]: iteration 0 : 49 enodes (cost 185 ) 4.901 * * [simplify]: iteration 1 : 105 enodes (cost 178 ) 4.922 * * [simplify]: iteration 2 : 344 enodes (cost 158 ) 5.128 * * [simplify]: iteration 3 : 1203 enodes (cost 158 ) 5.946 * * [simplify]: iteration 4 : 2903 enodes (cost 158 ) 7.324 * * [simplify]: iteration done : 5000 enodes (cost 158 ) 7.325 * [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.325 * * * [progress]: adding candidates to table 7.366 * * [progress]: iteration 2 / 4 7.366 * * * [progress]: picking best candidate 7.371 * * * * [pick]: Picked # 7.371 * * * [progress]: localizing error 7.380 * * * [progress]: generating rewritten candidates 7.380 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 7.394 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 7.453 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 7.457 * * * [progress]: generating series expansions 7.457 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 7.457 * [approximate]: Taking taylor expansion of (* x y) in (x y) around 0 7.457 * [taylor]: Taking taylor expansion of (* x y) in y 7.457 * [taylor]: Taking taylor expansion of x in y 7.457 * [taylor]: Taking taylor expansion of y in y 7.457 * [taylor]: Taking taylor expansion of (* x y) in x 7.457 * [taylor]: Taking taylor expansion of x in x 7.457 * [taylor]: Taking taylor expansion of y in x 7.457 * [taylor]: Taking taylor expansion of (* x y) in x 7.457 * [taylor]: Taking taylor expansion of x in x 7.457 * [taylor]: Taking taylor expansion of y in x 7.457 * [taylor]: Taking taylor expansion of 0 in y 7.458 * [taylor]: Taking taylor expansion of y in y 7.459 * [taylor]: Taking taylor expansion of 0 in y 7.460 * [taylor]: Taking taylor expansion of 0 in y 7.461 * [taylor]: Taking taylor expansion of 0 in y 7.461 * [approximate]: Taking taylor expansion of (/ 1 (* x y)) in (x y) around 0 7.461 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.461 * [taylor]: Taking taylor expansion of (* x y) in y 7.461 * [taylor]: Taking taylor expansion of x in y 7.461 * [taylor]: Taking taylor expansion of y in y 7.462 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.462 * [taylor]: Taking taylor expansion of (* x y) in x 7.462 * [taylor]: Taking taylor expansion of x in x 7.462 * [taylor]: Taking taylor expansion of y in x 7.462 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.462 * [taylor]: Taking taylor expansion of (* x y) in x 7.462 * [taylor]: Taking taylor expansion of x in x 7.462 * [taylor]: Taking taylor expansion of y in x 7.463 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.463 * [taylor]: Taking taylor expansion of y in y 7.463 * [taylor]: Taking taylor expansion of 0 in y 7.465 * [taylor]: Taking taylor expansion of 0 in y 7.467 * [taylor]: Taking taylor expansion of 0 in y 7.469 * [approximate]: Taking taylor expansion of (/ 1 (* x y)) in (x y) around 0 7.469 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.469 * [taylor]: Taking taylor expansion of (* x y) in y 7.469 * [taylor]: Taking taylor expansion of x in y 7.469 * [taylor]: Taking taylor expansion of y in y 7.469 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.469 * [taylor]: Taking taylor expansion of (* x y) in x 7.469 * [taylor]: Taking taylor expansion of x in x 7.469 * [taylor]: Taking taylor expansion of y in x 7.470 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.470 * [taylor]: Taking taylor expansion of (* x y) in x 7.470 * [taylor]: Taking taylor expansion of x in x 7.470 * [taylor]: Taking taylor expansion of y in x 7.470 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.470 * [taylor]: Taking taylor expansion of y in y 7.471 * [taylor]: Taking taylor expansion of 0 in y 7.473 * [taylor]: Taking taylor expansion of 0 in y 7.475 * [taylor]: Taking taylor expansion of 0 in y 7.475 * * * * [progress]: [ 2 / 3 ] generating series at (2) 7.476 * [approximate]: Taking taylor expansion of (- (* x y) (* z y)) in (x y z) around 0 7.476 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in z 7.476 * [taylor]: Taking taylor expansion of (* x y) in z 7.476 * [taylor]: Taking taylor expansion of x in z 7.476 * [taylor]: Taking taylor expansion of y in z 7.476 * [taylor]: Taking taylor expansion of (* z y) in z 7.476 * [taylor]: Taking taylor expansion of z in z 7.476 * [taylor]: Taking taylor expansion of y in z 7.476 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in y 7.476 * [taylor]: Taking taylor expansion of (* x y) in y 7.476 * [taylor]: Taking taylor expansion of x in y 7.476 * [taylor]: Taking taylor expansion of y in y 7.476 * [taylor]: Taking taylor expansion of (* z y) in y 7.476 * [taylor]: Taking taylor expansion of z in y 7.476 * [taylor]: Taking taylor expansion of y in y 7.476 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x 7.476 * [taylor]: Taking taylor expansion of (* x y) in x 7.476 * [taylor]: Taking taylor expansion of x in x 7.476 * [taylor]: Taking taylor expansion of y in x 7.476 * [taylor]: Taking taylor expansion of (* z y) in x 7.476 * [taylor]: Taking taylor expansion of z in x 7.476 * [taylor]: Taking taylor expansion of y in x 7.476 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x 7.476 * [taylor]: Taking taylor expansion of (* x y) in x 7.476 * [taylor]: Taking taylor expansion of x in x 7.476 * [taylor]: Taking taylor expansion of y in x 7.476 * [taylor]: Taking taylor expansion of (* z y) in x 7.476 * [taylor]: Taking taylor expansion of z in x 7.476 * [taylor]: Taking taylor expansion of y in x 7.476 * [taylor]: Taking taylor expansion of (- (* z y)) in y 7.476 * [taylor]: Taking taylor expansion of (* z y) in y 7.476 * [taylor]: Taking taylor expansion of z in y 7.476 * [taylor]: Taking taylor expansion of y in y 7.477 * [taylor]: Taking taylor expansion of 0 in z 7.478 * [taylor]: Taking taylor expansion of y in y 7.478 * [taylor]: Taking taylor expansion of 0 in z 7.478 * [taylor]: Taking taylor expansion of (- z) in z 7.478 * [taylor]: Taking taylor expansion of z in z 7.483 * [taylor]: Taking taylor expansion of 0 in y 7.483 * [taylor]: Taking taylor expansion of 0 in z 7.483 * [taylor]: Taking taylor expansion of 1 in z 7.484 * [taylor]: Taking taylor expansion of 0 in z 7.486 * [taylor]: Taking taylor expansion of 0 in y 7.486 * [taylor]: Taking taylor expansion of 0 in z 7.486 * [taylor]: Taking taylor expansion of 0 in z 7.486 * [taylor]: Taking taylor expansion of 0 in z 7.487 * [taylor]: Taking taylor expansion of 0 in z 7.487 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0 7.487 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z 7.487 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 7.487 * [taylor]: Taking taylor expansion of (* x y) in z 7.487 * [taylor]: Taking taylor expansion of x in z 7.487 * [taylor]: Taking taylor expansion of y in z 7.487 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 7.487 * [taylor]: Taking taylor expansion of (* z y) in z 7.487 * [taylor]: Taking taylor expansion of z in z 7.487 * [taylor]: Taking taylor expansion of y in z 7.488 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y 7.488 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.488 * [taylor]: Taking taylor expansion of (* x y) in y 7.488 * [taylor]: Taking taylor expansion of x in y 7.488 * [taylor]: Taking taylor expansion of y in y 7.488 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 7.488 * [taylor]: Taking taylor expansion of (* z y) in y 7.488 * [taylor]: Taking taylor expansion of z in y 7.488 * [taylor]: Taking taylor expansion of y in y 7.489 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 7.489 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.489 * [taylor]: Taking taylor expansion of (* x y) in x 7.489 * [taylor]: Taking taylor expansion of x in x 7.489 * [taylor]: Taking taylor expansion of y in x 7.489 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 7.489 * [taylor]: Taking taylor expansion of (* z y) in x 7.489 * [taylor]: Taking taylor expansion of z in x 7.489 * [taylor]: Taking taylor expansion of y in x 7.489 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 7.489 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.489 * [taylor]: Taking taylor expansion of (* x y) in x 7.489 * [taylor]: Taking taylor expansion of x in x 7.489 * [taylor]: Taking taylor expansion of y in x 7.490 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 7.490 * [taylor]: Taking taylor expansion of (* z y) in x 7.490 * [taylor]: Taking taylor expansion of z in x 7.490 * [taylor]: Taking taylor expansion of y in x 7.490 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.490 * [taylor]: Taking taylor expansion of y in y 7.490 * [taylor]: Taking taylor expansion of 1 in z 7.491 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 7.491 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 7.491 * [taylor]: Taking taylor expansion of (* z y) in y 7.491 * [taylor]: Taking taylor expansion of z in y 7.491 * [taylor]: Taking taylor expansion of y in y 7.492 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 7.492 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.492 * [taylor]: Taking taylor expansion of z in z 7.493 * [taylor]: Taking taylor expansion of 0 in z 7.494 * [taylor]: Taking taylor expansion of 0 in y 7.495 * [taylor]: Taking taylor expansion of 0 in z 7.496 * [taylor]: Taking taylor expansion of 0 in z 7.498 * [taylor]: Taking taylor expansion of 0 in y 7.499 * [taylor]: Taking taylor expansion of 0 in z 7.499 * [taylor]: Taking taylor expansion of 0 in z 7.500 * [taylor]: Taking taylor expansion of 0 in z 7.501 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0 7.502 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z 7.502 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 7.502 * [taylor]: Taking taylor expansion of (* x y) in z 7.502 * [taylor]: Taking taylor expansion of x in z 7.502 * [taylor]: Taking taylor expansion of y in z 7.502 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 7.502 * [taylor]: Taking taylor expansion of (* z y) in z 7.502 * [taylor]: Taking taylor expansion of z in z 7.502 * [taylor]: Taking taylor expansion of y in z 7.502 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y 7.502 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.502 * [taylor]: Taking taylor expansion of (* x y) in y 7.502 * [taylor]: Taking taylor expansion of x in y 7.502 * [taylor]: Taking taylor expansion of y in y 7.503 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 7.503 * [taylor]: Taking taylor expansion of (* z y) in y 7.503 * [taylor]: Taking taylor expansion of z in y 7.503 * [taylor]: Taking taylor expansion of y in y 7.503 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 7.503 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.503 * [taylor]: Taking taylor expansion of (* x y) in x 7.503 * [taylor]: Taking taylor expansion of x in x 7.503 * [taylor]: Taking taylor expansion of y in x 7.504 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 7.504 * [taylor]: Taking taylor expansion of (* z y) in x 7.504 * [taylor]: Taking taylor expansion of z in x 7.504 * [taylor]: Taking taylor expansion of y in x 7.504 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 7.504 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.504 * [taylor]: Taking taylor expansion of (* x y) in x 7.504 * [taylor]: Taking taylor expansion of x in x 7.504 * [taylor]: Taking taylor expansion of y in x 7.504 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 7.504 * [taylor]: Taking taylor expansion of (* z y) in x 7.504 * [taylor]: Taking taylor expansion of z in x 7.504 * [taylor]: Taking taylor expansion of y in x 7.504 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.504 * [taylor]: Taking taylor expansion of y in y 7.505 * [taylor]: Taking taylor expansion of 1 in z 7.505 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 7.505 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 7.505 * [taylor]: Taking taylor expansion of (* z y) in y 7.505 * [taylor]: Taking taylor expansion of z in y 7.505 * [taylor]: Taking taylor expansion of y in y 7.506 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 7.506 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.506 * [taylor]: Taking taylor expansion of z in z 7.507 * [taylor]: Taking taylor expansion of 0 in z 7.509 * [taylor]: Taking taylor expansion of 0 in y 7.509 * [taylor]: Taking taylor expansion of 0 in z 7.510 * [taylor]: Taking taylor expansion of 0 in z 7.513 * [taylor]: Taking taylor expansion of 0 in y 7.513 * [taylor]: Taking taylor expansion of 0 in z 7.514 * [taylor]: Taking taylor expansion of 0 in z 7.514 * [taylor]: Taking taylor expansion of 0 in z 7.516 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 7.516 * [approximate]: Taking taylor expansion of (- (* x y) (pow y 2)) in (x y) around 0 7.516 * [taylor]: Taking taylor expansion of (- (* x y) (pow y 2)) in y 7.516 * [taylor]: Taking taylor expansion of (* x y) in y 7.516 * [taylor]: Taking taylor expansion of x in y 7.516 * [taylor]: Taking taylor expansion of y in y 7.516 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.516 * [taylor]: Taking taylor expansion of y in y 7.516 * [taylor]: Taking taylor expansion of (- (* x y) (pow y 2)) in x 7.516 * [taylor]: Taking taylor expansion of (* x y) in x 7.516 * [taylor]: Taking taylor expansion of x in x 7.516 * [taylor]: Taking taylor expansion of y in x 7.516 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.516 * [taylor]: Taking taylor expansion of y in x 7.516 * [taylor]: Taking taylor expansion of (- (* x y) (pow y 2)) in x 7.516 * [taylor]: Taking taylor expansion of (* x y) in x 7.516 * [taylor]: Taking taylor expansion of x in x 7.516 * [taylor]: Taking taylor expansion of y in x 7.516 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.516 * [taylor]: Taking taylor expansion of y in x 7.516 * [taylor]: Taking taylor expansion of (- (pow y 2)) in y 7.516 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.516 * [taylor]: Taking taylor expansion of y in y 7.518 * [taylor]: Taking taylor expansion of y in y 7.519 * [taylor]: Taking taylor expansion of 0 in y 7.522 * [taylor]: Taking taylor expansion of 0 in y 7.525 * [taylor]: Taking taylor expansion of 0 in y 7.525 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in (x y) around 0 7.525 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in y 7.525 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.525 * [taylor]: Taking taylor expansion of (* x y) in y 7.525 * [taylor]: Taking taylor expansion of x in y 7.525 * [taylor]: Taking taylor expansion of y in y 7.526 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.526 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.526 * [taylor]: Taking taylor expansion of y in y 7.526 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in x 7.527 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.527 * [taylor]: Taking taylor expansion of (* x y) in x 7.527 * [taylor]: Taking taylor expansion of x in x 7.527 * [taylor]: Taking taylor expansion of y in x 7.527 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.527 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.527 * [taylor]: Taking taylor expansion of y in x 7.527 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in x 7.527 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.527 * [taylor]: Taking taylor expansion of (* x y) in x 7.527 * [taylor]: Taking taylor expansion of x in x 7.527 * [taylor]: Taking taylor expansion of y in x 7.528 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.528 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.528 * [taylor]: Taking taylor expansion of y in x 7.528 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.528 * [taylor]: Taking taylor expansion of y in y 7.529 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y 7.529 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.529 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.529 * [taylor]: Taking taylor expansion of y in y 7.532 * [taylor]: Taking taylor expansion of 0 in y 7.535 * [taylor]: Taking taylor expansion of 0 in y 7.540 * [taylor]: Taking taylor expansion of 0 in y 7.542 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in (x y) around 0 7.542 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in y 7.542 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.542 * [taylor]: Taking taylor expansion of (* x y) in y 7.542 * [taylor]: Taking taylor expansion of x in y 7.542 * [taylor]: Taking taylor expansion of y in y 7.543 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.543 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.543 * [taylor]: Taking taylor expansion of y in y 7.543 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in x 7.543 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.543 * [taylor]: Taking taylor expansion of (* x y) in x 7.543 * [taylor]: Taking taylor expansion of x in x 7.543 * [taylor]: Taking taylor expansion of y in x 7.544 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.544 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.544 * [taylor]: Taking taylor expansion of y in x 7.544 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in x 7.544 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.544 * [taylor]: Taking taylor expansion of (* x y) in x 7.544 * [taylor]: Taking taylor expansion of x in x 7.544 * [taylor]: Taking taylor expansion of y in x 7.544 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 7.544 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.544 * [taylor]: Taking taylor expansion of y in x 7.545 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.545 * [taylor]: Taking taylor expansion of y in y 7.546 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y 7.546 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.546 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.546 * [taylor]: Taking taylor expansion of y in y 7.548 * [taylor]: Taking taylor expansion of 0 in y 7.552 * [taylor]: Taking taylor expansion of 0 in y 7.557 * [taylor]: Taking taylor expansion of 0 in y 7.559 * * * [progress]: simplifying candidates 7.559 * [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.562 * * [simplify]: iteration 0 : 80 enodes (cost 825 ) 7.584 * * [simplify]: iteration 1 : 234 enodes (cost 503 ) 7.690 * * [simplify]: iteration 2 : 797 enodes (cost 387 ) 8.247 * * [simplify]: iteration 3 : 3447 enodes (cost 367 ) 9.334 * * [simplify]: iteration done : 5000 enodes (cost 367 ) 9.334 * [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.335 * * * [progress]: adding candidates to table 9.441 * * [progress]: iteration 3 / 4 9.441 * * * [progress]: picking best candidate 9.443 * * * * [pick]: Picked # 9.444 * * * [progress]: localizing error 9.458 * * * [progress]: generating rewritten candidates 9.459 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 9.499 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 9.557 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 9.573 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 9.580 * * * [progress]: generating series expansions 9.580 * * * * [progress]: [ 1 / 4 ] generating series at (2) 9.580 * [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 9.580 * [taylor]: Taking taylor expansion of (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x z) (+ (pow x 2) (pow z 2)))) in y 9.580 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in y 9.580 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in y 9.580 * [taylor]: Taking taylor expansion of (pow x 3) in y 9.580 * [taylor]: Taking taylor expansion of x in y 9.580 * [taylor]: Taking taylor expansion of (pow z 3) in y 9.580 * [taylor]: Taking taylor expansion of z in y 9.580 * [taylor]: Taking taylor expansion of y in y 9.580 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (pow x 2) (pow z 2))) in y 9.580 * [taylor]: Taking taylor expansion of (* x z) in y 9.580 * [taylor]: Taking taylor expansion of x in y 9.580 * [taylor]: Taking taylor expansion of z in y 9.580 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow z 2)) in y 9.580 * [taylor]: Taking taylor expansion of (pow x 2) in y 9.580 * [taylor]: Taking taylor expansion of x in y 9.580 * [taylor]: Taking taylor expansion of (pow z 2) in y 9.581 * [taylor]: Taking taylor expansion of z in y 9.583 * [taylor]: Taking taylor expansion of (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x z) (+ (pow x 2) (pow z 2)))) in z 9.583 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in z 9.583 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in z 9.583 * [taylor]: Taking taylor expansion of (pow x 3) in z 9.583 * [taylor]: Taking taylor expansion of x in z 9.583 * [taylor]: Taking taylor expansion of (pow z 3) in z 9.583 * [taylor]: Taking taylor expansion of z in z 9.583 * [taylor]: Taking taylor expansion of y in z 9.583 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (pow x 2) (pow z 2))) in z 9.583 * [taylor]: Taking taylor expansion of (* x z) in z 9.583 * [taylor]: Taking taylor expansion of x in z 9.583 * [taylor]: Taking taylor expansion of z in z 9.583 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow z 2)) in z 9.583 * [taylor]: Taking taylor expansion of (pow x 2) in z 9.583 * [taylor]: Taking taylor expansion of x in z 9.583 * [taylor]: Taking taylor expansion of (pow z 2) in z 9.583 * [taylor]: Taking taylor expansion of z in z 9.584 * [taylor]: Taking taylor expansion of (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x z) (+ (pow x 2) (pow z 2)))) in x 9.584 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in x 9.584 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in x 9.584 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.584 * [taylor]: Taking taylor expansion of x in x 9.584 * [taylor]: Taking taylor expansion of (pow z 3) in x 9.584 * [taylor]: Taking taylor expansion of z in x 9.584 * [taylor]: Taking taylor expansion of y in x 9.584 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (pow x 2) (pow z 2))) in x 9.584 * [taylor]: Taking taylor expansion of (* x z) in x 9.584 * [taylor]: Taking taylor expansion of x in x 9.584 * [taylor]: Taking taylor expansion of z in x 9.584 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow z 2)) in x 9.584 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.584 * [taylor]: Taking taylor expansion of x in x 9.584 * [taylor]: Taking taylor expansion of (pow z 2) in x 9.584 * [taylor]: Taking taylor expansion of z in x 9.585 * [taylor]: Taking taylor expansion of (/ (* (- (pow x 3) (pow z 3)) y) (+ (* x z) (+ (pow x 2) (pow z 2)))) in x 9.585 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in x 9.585 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in x 9.585 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.585 * [taylor]: Taking taylor expansion of x in x 9.585 * [taylor]: Taking taylor expansion of (pow z 3) in x 9.585 * [taylor]: Taking taylor expansion of z in x 9.585 * [taylor]: Taking taylor expansion of y in x 9.585 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (pow x 2) (pow z 2))) in x 9.585 * [taylor]: Taking taylor expansion of (* x z) in x 9.585 * [taylor]: Taking taylor expansion of x in x 9.585 * [taylor]: Taking taylor expansion of z in x 9.585 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow z 2)) in x 9.585 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.585 * [taylor]: Taking taylor expansion of x in x 9.585 * [taylor]: Taking taylor expansion of (pow z 2) in x 9.585 * [taylor]: Taking taylor expansion of z in x 9.586 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 9.586 * [taylor]: Taking taylor expansion of -1 in z 9.586 * [taylor]: Taking taylor expansion of (* z y) in z 9.586 * [taylor]: Taking taylor expansion of z in z 9.586 * [taylor]: Taking taylor expansion of y in z 9.586 * [taylor]: Taking taylor expansion of 0 in y 9.588 * [taylor]: Taking taylor expansion of y in z 9.588 * [taylor]: Taking taylor expansion of y in y 9.589 * [taylor]: Taking taylor expansion of (- y) in y 9.589 * [taylor]: Taking taylor expansion of y in y 9.593 * [taylor]: Taking taylor expansion of 0 in z 9.593 * [taylor]: Taking taylor expansion of 0 in y 9.593 * [taylor]: Taking taylor expansion of 0 in y 9.594 * [taylor]: Taking taylor expansion of 0 in y 9.595 * [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 9.595 * [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 9.595 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in y 9.595 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y 9.595 * [taylor]: Taking taylor expansion of (pow x 3) in y 9.595 * [taylor]: Taking taylor expansion of x in y 9.595 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y 9.595 * [taylor]: Taking taylor expansion of (pow z 3) in y 9.595 * [taylor]: Taking taylor expansion of z in y 9.595 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y) in y 9.595 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in y 9.595 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 9.595 * [taylor]: Taking taylor expansion of (pow x 2) in y 9.596 * [taylor]: Taking taylor expansion of x in y 9.596 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in y 9.596 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 9.596 * [taylor]: Taking taylor expansion of (pow z 2) in y 9.596 * [taylor]: Taking taylor expansion of z in y 9.596 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 9.596 * [taylor]: Taking taylor expansion of (* x z) in y 9.596 * [taylor]: Taking taylor expansion of x in y 9.596 * [taylor]: Taking taylor expansion of z in y 9.596 * [taylor]: Taking taylor expansion of y in y 9.599 * [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 9.599 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in z 9.599 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z 9.599 * [taylor]: Taking taylor expansion of (pow x 3) in z 9.599 * [taylor]: Taking taylor expansion of x in z 9.599 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 9.599 * [taylor]: Taking taylor expansion of (pow z 3) in z 9.599 * [taylor]: Taking taylor expansion of z in z 9.600 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y) in z 9.600 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in z 9.600 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 9.600 * [taylor]: Taking taylor expansion of (pow x 2) in z 9.600 * [taylor]: Taking taylor expansion of x in z 9.600 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in z 9.600 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 9.600 * [taylor]: Taking taylor expansion of (pow z 2) in z 9.600 * [taylor]: Taking taylor expansion of z in z 9.601 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 9.601 * [taylor]: Taking taylor expansion of (* x z) in z 9.601 * [taylor]: Taking taylor expansion of x in z 9.601 * [taylor]: Taking taylor expansion of z in z 9.601 * [taylor]: Taking taylor expansion of y in z 9.602 * [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 9.602 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in x 9.602 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 9.602 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.602 * [taylor]: Taking taylor expansion of x in x 9.603 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 9.603 * [taylor]: Taking taylor expansion of (pow z 3) in x 9.603 * [taylor]: Taking taylor expansion of z in x 9.603 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y) in x 9.604 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in x 9.604 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.604 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.604 * [taylor]: Taking taylor expansion of x in x 9.604 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in x 9.604 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 9.604 * [taylor]: Taking taylor expansion of (pow z 2) in x 9.604 * [taylor]: Taking taylor expansion of z in x 9.604 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 9.604 * [taylor]: Taking taylor expansion of (* x z) in x 9.604 * [taylor]: Taking taylor expansion of x in x 9.604 * [taylor]: Taking taylor expansion of z in x 9.605 * [taylor]: Taking taylor expansion of y in x 9.606 * [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 9.606 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in x 9.606 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 9.606 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.606 * [taylor]: Taking taylor expansion of x in x 9.606 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 9.606 * [taylor]: Taking taylor expansion of (pow z 3) in x 9.607 * [taylor]: Taking taylor expansion of z in x 9.607 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y) in x 9.607 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in x 9.607 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.607 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.607 * [taylor]: Taking taylor expansion of x in x 9.607 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in x 9.607 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 9.608 * [taylor]: Taking taylor expansion of (pow z 2) in x 9.608 * [taylor]: Taking taylor expansion of z in x 9.608 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 9.608 * [taylor]: Taking taylor expansion of (* x z) in x 9.608 * [taylor]: Taking taylor expansion of x in x 9.608 * [taylor]: Taking taylor expansion of z in x 9.608 * [taylor]: Taking taylor expansion of y in x 9.609 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.609 * [taylor]: Taking taylor expansion of y in z 9.612 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 9.612 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 9.612 * [taylor]: Taking taylor expansion of (* z y) in z 9.612 * [taylor]: Taking taylor expansion of z in z 9.612 * [taylor]: Taking taylor expansion of y in z 9.612 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 9.613 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.613 * [taylor]: Taking taylor expansion of y in y 9.613 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.613 * [taylor]: Taking taylor expansion of y in y 9.618 * [taylor]: Taking taylor expansion of 0 in z 9.619 * [taylor]: Taking taylor expansion of 0 in y 9.619 * [taylor]: Taking taylor expansion of 0 in y 9.626 * [taylor]: Taking taylor expansion of 0 in z 9.626 * [taylor]: Taking taylor expansion of 0 in y 9.628 * [taylor]: Taking taylor expansion of 0 in y 9.628 * [taylor]: Taking taylor expansion of 0 in y 9.630 * [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 9.630 * [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 9.630 * [taylor]: Taking taylor expansion of -1 in y 9.630 * [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 9.630 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in y 9.630 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y 9.630 * [taylor]: Taking taylor expansion of (pow z 3) in y 9.630 * [taylor]: Taking taylor expansion of z in y 9.630 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y 9.630 * [taylor]: Taking taylor expansion of (pow x 3) in y 9.630 * [taylor]: Taking taylor expansion of x in y 9.630 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y) in y 9.631 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in y 9.631 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 9.631 * [taylor]: Taking taylor expansion of (pow x 2) in y 9.631 * [taylor]: Taking taylor expansion of x in y 9.631 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in y 9.631 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 9.631 * [taylor]: Taking taylor expansion of (pow z 2) in y 9.631 * [taylor]: Taking taylor expansion of z in y 9.631 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 9.631 * [taylor]: Taking taylor expansion of (* x z) in y 9.631 * [taylor]: Taking taylor expansion of x in y 9.631 * [taylor]: Taking taylor expansion of z in y 9.631 * [taylor]: Taking taylor expansion of y in y 9.634 * [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 9.634 * [taylor]: Taking taylor expansion of -1 in z 9.634 * [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 9.634 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in z 9.634 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 9.634 * [taylor]: Taking taylor expansion of (pow z 3) in z 9.634 * [taylor]: Taking taylor expansion of z in z 9.635 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z 9.635 * [taylor]: Taking taylor expansion of (pow x 3) in z 9.635 * [taylor]: Taking taylor expansion of x in z 9.635 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y) in z 9.635 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in z 9.635 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 9.635 * [taylor]: Taking taylor expansion of (pow x 2) in z 9.635 * [taylor]: Taking taylor expansion of x in z 9.635 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in z 9.635 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 9.635 * [taylor]: Taking taylor expansion of (pow z 2) in z 9.635 * [taylor]: Taking taylor expansion of z in z 9.636 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 9.636 * [taylor]: Taking taylor expansion of (* x z) in z 9.636 * [taylor]: Taking taylor expansion of x in z 9.636 * [taylor]: Taking taylor expansion of z in z 9.640 * [taylor]: Taking taylor expansion of y in z 9.641 * [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 9.641 * [taylor]: Taking taylor expansion of -1 in x 9.641 * [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 9.641 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in x 9.641 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 9.641 * [taylor]: Taking taylor expansion of (pow z 3) in x 9.641 * [taylor]: Taking taylor expansion of z in x 9.641 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 9.641 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.641 * [taylor]: Taking taylor expansion of x in x 9.642 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y) in x 9.642 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in x 9.642 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.642 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.642 * [taylor]: Taking taylor expansion of x in x 9.643 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in x 9.643 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 9.643 * [taylor]: Taking taylor expansion of (pow z 2) in x 9.643 * [taylor]: Taking taylor expansion of z in x 9.643 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 9.643 * [taylor]: Taking taylor expansion of (* x z) in x 9.643 * [taylor]: Taking taylor expansion of x in x 9.643 * [taylor]: Taking taylor expansion of z in x 9.644 * [taylor]: Taking taylor expansion of y in x 9.645 * [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 9.645 * [taylor]: Taking taylor expansion of -1 in x 9.645 * [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 9.645 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in x 9.645 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 9.645 * [taylor]: Taking taylor expansion of (pow z 3) in x 9.645 * [taylor]: Taking taylor expansion of z in x 9.645 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 9.645 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.645 * [taylor]: Taking taylor expansion of x in x 9.646 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) y) in x 9.646 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow z 2)) (/ 1 (* x z)))) in x 9.646 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 9.646 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.646 * [taylor]: Taking taylor expansion of x in x 9.647 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x z))) in x 9.647 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 9.647 * [taylor]: Taking taylor expansion of (pow z 2) in x 9.647 * [taylor]: Taking taylor expansion of z in x 9.647 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 9.647 * [taylor]: Taking taylor expansion of (* x z) in x 9.647 * [taylor]: Taking taylor expansion of x in x 9.647 * [taylor]: Taking taylor expansion of z in x 9.647 * [taylor]: Taking taylor expansion of y in x 9.648 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.648 * [taylor]: Taking taylor expansion of y in z 9.651 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 9.651 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 9.652 * [taylor]: Taking taylor expansion of (* z y) in z 9.652 * [taylor]: Taking taylor expansion of z in z 9.652 * [taylor]: Taking taylor expansion of y in z 9.652 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 9.652 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.652 * [taylor]: Taking taylor expansion of y in y 9.653 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.653 * [taylor]: Taking taylor expansion of y in y 9.658 * [taylor]: Taking taylor expansion of 0 in z 9.659 * [taylor]: Taking taylor expansion of 0 in y 9.659 * [taylor]: Taking taylor expansion of 0 in y 9.667 * [taylor]: Taking taylor expansion of 0 in z 9.667 * [taylor]: Taking taylor expansion of 0 in y 9.668 * [taylor]: Taking taylor expansion of 0 in y 9.668 * [taylor]: Taking taylor expansion of 0 in y 9.670 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 9.670 * [approximate]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in (x z y) around 0 9.670 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in y 9.670 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in y 9.670 * [taylor]: Taking taylor expansion of (pow x 3) in y 9.670 * [taylor]: Taking taylor expansion of x in y 9.670 * [taylor]: Taking taylor expansion of (pow z 3) in y 9.671 * [taylor]: Taking taylor expansion of z in y 9.671 * [taylor]: Taking taylor expansion of y in y 9.671 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in z 9.671 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in z 9.671 * [taylor]: Taking taylor expansion of (pow x 3) in z 9.671 * [taylor]: Taking taylor expansion of x in z 9.671 * [taylor]: Taking taylor expansion of (pow z 3) in z 9.671 * [taylor]: Taking taylor expansion of z in z 9.671 * [taylor]: Taking taylor expansion of y in z 9.671 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in x 9.671 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in x 9.671 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.671 * [taylor]: Taking taylor expansion of x in x 9.671 * [taylor]: Taking taylor expansion of (pow z 3) in x 9.671 * [taylor]: Taking taylor expansion of z in x 9.671 * [taylor]: Taking taylor expansion of y in x 9.671 * [taylor]: Taking taylor expansion of (* (- (pow x 3) (pow z 3)) y) in x 9.671 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in x 9.671 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.671 * [taylor]: Taking taylor expansion of x in x 9.671 * [taylor]: Taking taylor expansion of (pow z 3) in x 9.671 * [taylor]: Taking taylor expansion of z in x 9.671 * [taylor]: Taking taylor expansion of y in x 9.671 * [taylor]: Taking taylor expansion of (* -1 (* (pow z 3) y)) in z 9.671 * [taylor]: Taking taylor expansion of -1 in z 9.671 * [taylor]: Taking taylor expansion of (* (pow z 3) y) in z 9.671 * [taylor]: Taking taylor expansion of (pow z 3) in z 9.671 * [taylor]: Taking taylor expansion of z in z 9.671 * [taylor]: Taking taylor expansion of y in z 9.673 * [taylor]: Taking taylor expansion of 0 in z 9.673 * [taylor]: Taking taylor expansion of 0 in y 9.674 * [taylor]: Taking taylor expansion of 0 in z 9.675 * [taylor]: Taking taylor expansion of 0 in y 9.675 * [taylor]: Taking taylor expansion of 0 in y 9.677 * [taylor]: Taking taylor expansion of y in z 9.678 * [taylor]: Taking taylor expansion of y in y 9.678 * [taylor]: Taking taylor expansion of 0 in y 9.678 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) y) in (x z y) around 0 9.678 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) y) in y 9.678 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in y 9.678 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y 9.678 * [taylor]: Taking taylor expansion of (pow x 3) in y 9.678 * [taylor]: Taking taylor expansion of x in y 9.678 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y 9.678 * [taylor]: Taking taylor expansion of (pow z 3) in y 9.678 * [taylor]: Taking taylor expansion of z in y 9.678 * [taylor]: Taking taylor expansion of y in y 9.679 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) y) in z 9.679 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in z 9.679 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z 9.679 * [taylor]: Taking taylor expansion of (pow x 3) in z 9.679 * [taylor]: Taking taylor expansion of x in z 9.679 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 9.679 * [taylor]: Taking taylor expansion of (pow z 3) in z 9.679 * [taylor]: Taking taylor expansion of z in z 9.680 * [taylor]: Taking taylor expansion of y in z 9.681 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) y) in x 9.681 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in x 9.681 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 9.681 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.681 * [taylor]: Taking taylor expansion of x in x 9.681 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 9.681 * [taylor]: Taking taylor expansion of (pow z 3) in x 9.681 * [taylor]: Taking taylor expansion of z in x 9.682 * [taylor]: Taking taylor expansion of y in x 9.682 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) y) in x 9.682 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in x 9.682 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 9.682 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.682 * [taylor]: Taking taylor expansion of x in x 9.683 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 9.683 * [taylor]: Taking taylor expansion of (pow z 3) in x 9.683 * [taylor]: Taking taylor expansion of z in x 9.683 * [taylor]: Taking taylor expansion of y in x 9.684 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.684 * [taylor]: Taking taylor expansion of y in z 9.685 * [taylor]: Taking taylor expansion of 0 in z 9.687 * [taylor]: Taking taylor expansion of 0 in z 9.690 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 3) y))) in z 9.690 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) y)) in z 9.690 * [taylor]: Taking taylor expansion of (* (pow z 3) y) in z 9.690 * [taylor]: Taking taylor expansion of (pow z 3) in z 9.690 * [taylor]: Taking taylor expansion of z in z 9.690 * [taylor]: Taking taylor expansion of y in z 9.691 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 9.691 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.691 * [taylor]: Taking taylor expansion of y in y 9.692 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.692 * [taylor]: Taking taylor expansion of y in y 9.695 * [taylor]: Taking taylor expansion of 0 in z 9.697 * [taylor]: Taking taylor expansion of 0 in y 9.697 * [taylor]: Taking taylor expansion of 0 in y 9.697 * [taylor]: Taking taylor expansion of 0 in y 9.702 * [taylor]: Taking taylor expansion of 0 in z 9.704 * [taylor]: Taking taylor expansion of 0 in y 9.704 * [taylor]: Taking taylor expansion of 0 in y 9.704 * [taylor]: Taking taylor expansion of 0 in y 9.704 * [taylor]: Taking taylor expansion of 0 in y 9.706 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y)) in (x z y) around 0 9.706 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y)) in y 9.706 * [taylor]: Taking taylor expansion of -1 in y 9.706 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y) in y 9.706 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in y 9.706 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y 9.706 * [taylor]: Taking taylor expansion of (pow z 3) in y 9.706 * [taylor]: Taking taylor expansion of z in y 9.706 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y 9.706 * [taylor]: Taking taylor expansion of (pow x 3) in y 9.706 * [taylor]: Taking taylor expansion of x in y 9.707 * [taylor]: Taking taylor expansion of y in y 9.707 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y)) in z 9.707 * [taylor]: Taking taylor expansion of -1 in z 9.707 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y) in z 9.707 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in z 9.707 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 9.707 * [taylor]: Taking taylor expansion of (pow z 3) in z 9.707 * [taylor]: Taking taylor expansion of z in z 9.708 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z 9.708 * [taylor]: Taking taylor expansion of (pow x 3) in z 9.708 * [taylor]: Taking taylor expansion of x in z 9.708 * [taylor]: Taking taylor expansion of y in z 9.709 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y)) in x 9.709 * [taylor]: Taking taylor expansion of -1 in x 9.709 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y) in x 9.709 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in x 9.709 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 9.709 * [taylor]: Taking taylor expansion of (pow z 3) in x 9.709 * [taylor]: Taking taylor expansion of z in x 9.709 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 9.709 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.709 * [taylor]: Taking taylor expansion of x in x 9.710 * [taylor]: Taking taylor expansion of y in x 9.710 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y)) in x 9.711 * [taylor]: Taking taylor expansion of -1 in x 9.711 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) y) in x 9.711 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in x 9.711 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 9.711 * [taylor]: Taking taylor expansion of (pow z 3) in x 9.711 * [taylor]: Taking taylor expansion of z in x 9.711 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 9.711 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.711 * [taylor]: Taking taylor expansion of x in x 9.712 * [taylor]: Taking taylor expansion of y in x 9.712 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.712 * [taylor]: Taking taylor expansion of y in z 9.715 * [taylor]: Taking taylor expansion of 0 in z 9.717 * [taylor]: Taking taylor expansion of 0 in z 9.721 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 3) y))) in z 9.721 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) y)) in z 9.721 * [taylor]: Taking taylor expansion of (* (pow z 3) y) in z 9.721 * [taylor]: Taking taylor expansion of (pow z 3) in z 9.721 * [taylor]: Taking taylor expansion of z in z 9.721 * [taylor]: Taking taylor expansion of y in z 9.721 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 9.721 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.721 * [taylor]: Taking taylor expansion of y in y 9.722 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.722 * [taylor]: Taking taylor expansion of y in y 9.727 * [taylor]: Taking taylor expansion of 0 in z 9.728 * [taylor]: Taking taylor expansion of 0 in y 9.728 * [taylor]: Taking taylor expansion of 0 in y 9.728 * [taylor]: Taking taylor expansion of 0 in y 9.735 * [taylor]: Taking taylor expansion of 0 in z 9.737 * [taylor]: Taking taylor expansion of 0 in y 9.737 * [taylor]: Taking taylor expansion of 0 in y 9.737 * [taylor]: Taking taylor expansion of 0 in y 9.737 * [taylor]: Taking taylor expansion of 0 in y 9.743 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 9.743 * [approximate]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in (x z) around 0 9.743 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in z 9.743 * [taylor]: Taking taylor expansion of (pow x 3) in z 9.743 * [taylor]: Taking taylor expansion of x in z 9.743 * [taylor]: Taking taylor expansion of (pow z 3) in z 9.743 * [taylor]: Taking taylor expansion of z in z 9.743 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in x 9.743 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.743 * [taylor]: Taking taylor expansion of x in x 9.743 * [taylor]: Taking taylor expansion of (pow z 3) in x 9.743 * [taylor]: Taking taylor expansion of z in x 9.743 * [taylor]: Taking taylor expansion of (- (pow x 3) (pow z 3)) in x 9.743 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.743 * [taylor]: Taking taylor expansion of x in x 9.743 * [taylor]: Taking taylor expansion of (pow z 3) in x 9.743 * [taylor]: Taking taylor expansion of z in x 9.744 * [taylor]: Taking taylor expansion of (- (pow z 3)) in z 9.744 * [taylor]: Taking taylor expansion of (pow z 3) in z 9.744 * [taylor]: Taking taylor expansion of z in z 9.745 * [taylor]: Taking taylor expansion of 0 in z 9.746 * [taylor]: Taking taylor expansion of 0 in z 9.748 * [taylor]: Taking taylor expansion of 1 in z 9.752 * [taylor]: Taking taylor expansion of 0 in z 9.757 * [taylor]: Taking taylor expansion of 0 in z 9.758 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in (x z) around 0 9.758 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in z 9.758 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z 9.758 * [taylor]: Taking taylor expansion of (pow x 3) in z 9.758 * [taylor]: Taking taylor expansion of x in z 9.758 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 9.758 * [taylor]: Taking taylor expansion of (pow z 3) in z 9.758 * [taylor]: Taking taylor expansion of z in z 9.759 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in x 9.759 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 9.759 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.759 * [taylor]: Taking taylor expansion of x in x 9.760 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 9.760 * [taylor]: Taking taylor expansion of (pow z 3) in x 9.760 * [taylor]: Taking taylor expansion of z in x 9.760 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3)) (/ 1 (pow z 3))) in x 9.760 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 9.760 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.760 * [taylor]: Taking taylor expansion of x in x 9.761 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 9.761 * [taylor]: Taking taylor expansion of (pow z 3) in x 9.761 * [taylor]: Taking taylor expansion of z in x 9.761 * [taylor]: Taking taylor expansion of 1 in z 9.763 * [taylor]: Taking taylor expansion of 0 in z 9.765 * [taylor]: Taking taylor expansion of 0 in z 9.767 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3))) in z 9.767 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 9.767 * [taylor]: Taking taylor expansion of (pow z 3) in z 9.767 * [taylor]: Taking taylor expansion of z in z 9.771 * [taylor]: Taking taylor expansion of 0 in z 9.776 * [taylor]: Taking taylor expansion of 0 in z 9.779 * [approximate]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in (x z) around 0 9.779 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in z 9.779 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 9.779 * [taylor]: Taking taylor expansion of (pow z 3) in z 9.779 * [taylor]: Taking taylor expansion of z in z 9.780 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z 9.780 * [taylor]: Taking taylor expansion of (pow x 3) in z 9.780 * [taylor]: Taking taylor expansion of x in z 9.780 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in x 9.780 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 9.780 * [taylor]: Taking taylor expansion of (pow z 3) in x 9.780 * [taylor]: Taking taylor expansion of z in x 9.780 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 9.780 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.780 * [taylor]: Taking taylor expansion of x in x 9.781 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 3)) (/ 1 (pow x 3))) in x 9.781 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in x 9.781 * [taylor]: Taking taylor expansion of (pow z 3) in x 9.781 * [taylor]: Taking taylor expansion of z in x 9.782 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 9.782 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.782 * [taylor]: Taking taylor expansion of x in x 9.783 * [taylor]: Taking taylor expansion of -1 in z 9.785 * [taylor]: Taking taylor expansion of 0 in z 9.787 * [taylor]: Taking taylor expansion of 0 in z 9.789 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 9.789 * [taylor]: Taking taylor expansion of (pow z 3) in z 9.789 * [taylor]: Taking taylor expansion of z in z 9.793 * [taylor]: Taking taylor expansion of 0 in z 9.798 * [taylor]: Taking taylor expansion of 0 in z 9.800 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 9.800 * [approximate]: Taking taylor expansion of (+ (* x z) (pow z 2)) in (z x) around 0 9.800 * [taylor]: Taking taylor expansion of (+ (* x z) (pow z 2)) in x 9.800 * [taylor]: Taking taylor expansion of (* x z) in x 9.800 * [taylor]: Taking taylor expansion of x in x 9.800 * [taylor]: Taking taylor expansion of z in x 9.800 * [taylor]: Taking taylor expansion of (pow z 2) in x 9.800 * [taylor]: Taking taylor expansion of z in x 9.800 * [taylor]: Taking taylor expansion of (+ (* x z) (pow z 2)) in z 9.800 * [taylor]: Taking taylor expansion of (* x z) in z 9.800 * [taylor]: Taking taylor expansion of x in z 9.800 * [taylor]: Taking taylor expansion of z in z 9.800 * [taylor]: Taking taylor expansion of (pow z 2) in z 9.800 * [taylor]: Taking taylor expansion of z in z 9.800 * [taylor]: Taking taylor expansion of (+ (* x z) (pow z 2)) in z 9.800 * [taylor]: Taking taylor expansion of (* x z) in z 9.800 * [taylor]: Taking taylor expansion of x in z 9.800 * [taylor]: Taking taylor expansion of z in z 9.800 * [taylor]: Taking taylor expansion of (pow z 2) in z 9.800 * [taylor]: Taking taylor expansion of z in z 9.801 * [taylor]: Taking taylor expansion of 0 in x 9.801 * [taylor]: Taking taylor expansion of x in x 9.802 * [taylor]: Taking taylor expansion of 1 in x 9.804 * [taylor]: Taking taylor expansion of 0 in x 9.805 * [taylor]: Taking taylor expansion of 0 in x 9.806 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (pow z 2))) in (z x) around 0 9.806 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (pow z 2))) in x 9.806 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 9.806 * [taylor]: Taking taylor expansion of (* x z) in x 9.806 * [taylor]: Taking taylor expansion of x in x 9.806 * [taylor]: Taking taylor expansion of z in x 9.806 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 9.806 * [taylor]: Taking taylor expansion of (pow z 2) in x 9.806 * [taylor]: Taking taylor expansion of z in x 9.806 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (pow z 2))) in z 9.806 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 9.806 * [taylor]: Taking taylor expansion of (* x z) in z 9.806 * [taylor]: Taking taylor expansion of x in z 9.806 * [taylor]: Taking taylor expansion of z in z 9.807 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 9.807 * [taylor]: Taking taylor expansion of (pow z 2) in z 9.807 * [taylor]: Taking taylor expansion of z in z 9.807 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (pow z 2))) in z 9.807 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 9.807 * [taylor]: Taking taylor expansion of (* x z) in z 9.807 * [taylor]: Taking taylor expansion of x in z 9.807 * [taylor]: Taking taylor expansion of z in z 9.808 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 9.808 * [taylor]: Taking taylor expansion of (pow z 2) in z 9.808 * [taylor]: Taking taylor expansion of z in z 9.809 * [taylor]: Taking taylor expansion of 1 in x 9.810 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.810 * [taylor]: Taking taylor expansion of x in x 9.812 * [taylor]: Taking taylor expansion of 0 in x 9.814 * [taylor]: Taking taylor expansion of 0 in x 9.817 * [taylor]: Taking taylor expansion of 0 in x 9.818 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (pow z 2))) in (z x) around 0 9.818 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (pow z 2))) in x 9.818 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 9.818 * [taylor]: Taking taylor expansion of (* x z) in x 9.818 * [taylor]: Taking taylor expansion of x in x 9.818 * [taylor]: Taking taylor expansion of z in x 9.818 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 9.818 * [taylor]: Taking taylor expansion of (pow z 2) in x 9.818 * [taylor]: Taking taylor expansion of z in x 9.818 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (pow z 2))) in z 9.819 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 9.819 * [taylor]: Taking taylor expansion of (* x z) in z 9.819 * [taylor]: Taking taylor expansion of x in z 9.819 * [taylor]: Taking taylor expansion of z in z 9.819 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 9.819 * [taylor]: Taking taylor expansion of (pow z 2) in z 9.819 * [taylor]: Taking taylor expansion of z in z 9.820 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (pow z 2))) in z 9.820 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 9.820 * [taylor]: Taking taylor expansion of (* x z) in z 9.820 * [taylor]: Taking taylor expansion of x in z 9.820 * [taylor]: Taking taylor expansion of z in z 9.820 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 9.820 * [taylor]: Taking taylor expansion of (pow z 2) in z 9.820 * [taylor]: Taking taylor expansion of z in z 9.821 * [taylor]: Taking taylor expansion of 1 in x 9.822 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.822 * [taylor]: Taking taylor expansion of x in x 9.824 * [taylor]: Taking taylor expansion of 0 in x 9.827 * [taylor]: Taking taylor expansion of 0 in x 9.830 * [taylor]: Taking taylor expansion of 0 in x 9.830 * * * [progress]: simplifying candidates 9.832 * [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)) 9.843 * * [simplify]: iteration 0 : 168 enodes (cost 1985 ) 9.875 * * [simplify]: iteration 1 : 448 enodes (cost 1749 ) 10.304 * * [simplify]: iteration 2 : 1863 enodes (cost 1579 ) 10.933 * * [simplify]: iteration done : 5000 enodes (cost 1579 ) 10.934 * [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)) 10.934 * * * [progress]: adding candidates to table 11.248 * [progress]: [Phase 3 of 3] Extracting. 11.248 * * [regime]: Finding splitpoints for: (# # #) 11.249 * * * [regime-changes]: Trying 4 branch expressions: ((- (+ (- (* x y) (* y y)) (* y y)) (* y z)) z y x) 11.249 * * * * [regimes]: Trying to branch on (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) from (# # #) 11.269 * * * * [regimes]: Trying to branch on z from (# # #) 11.284 * * * * [regimes]: Trying to branch on y from (# # #) 11.300 * * * * [regimes]: Trying to branch on x from (# # #) 11.319 * * * [regime]: Found split indices: #