20.871 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.030 * [simplify]: Simplifying using # : (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) 0.031 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 0.032 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 0.036 * * [simplify]: iteration 2 : 63 enodes (cost 11 ) 0.046 * * [simplify]: iteration 3 : 155 enodes (cost 9 ) 0.081 * * [simplify]: iteration 4 : 300 enodes (cost 7 ) 0.187 * * [simplify]: iteration 5 : 551 enodes (cost 5 ) 0.520 * * [simplify]: iteration 6 : 1431 enodes (cost 5 ) 2.783 * * [simplify]: iteration 7 : 4712 enodes (cost 5 ) 7.581 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 7.581 * [simplify]: Simplified to: (* y (- x z)) 7.584 * * [progress]: iteration 1 / 4 7.584 * * * [progress]: picking best candidate 7.586 * * * * [pick]: Picked # 7.586 * * * [progress]: localizing error 7.591 * * * [progress]: generating rewritten candidates 7.591 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 7.601 * * * [progress]: generating series expansions 7.601 * * * * [progress]: [ 1 / 1 ] generating series at (2) 7.601 * [approximate]: Taking taylor expansion of (* y (- x z)) in (y x z) around 0 7.601 * [taylor]: Taking taylor expansion of (* y (- x z)) in z 7.601 * [taylor]: Taking taylor expansion of y in z 7.601 * [taylor]: Taking taylor expansion of (- x z) in z 7.601 * [taylor]: Taking taylor expansion of x in z 7.601 * [taylor]: Taking taylor expansion of z in z 7.601 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 7.601 * [taylor]: Taking taylor expansion of y in x 7.601 * [taylor]: Taking taylor expansion of (- x z) in x 7.601 * [taylor]: Taking taylor expansion of x in x 7.601 * [taylor]: Taking taylor expansion of z in x 7.601 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 7.601 * [taylor]: Taking taylor expansion of y in y 7.601 * [taylor]: Taking taylor expansion of (- x z) in y 7.601 * [taylor]: Taking taylor expansion of x in y 7.601 * [taylor]: Taking taylor expansion of z in y 7.601 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 7.601 * [taylor]: Taking taylor expansion of y in y 7.601 * [taylor]: Taking taylor expansion of (- x z) in y 7.601 * [taylor]: Taking taylor expansion of x in y 7.601 * [taylor]: Taking taylor expansion of z in y 7.601 * [taylor]: Taking taylor expansion of 0 in x 7.601 * [taylor]: Taking taylor expansion of 0 in z 7.602 * [taylor]: Taking taylor expansion of (- x z) in x 7.602 * [taylor]: Taking taylor expansion of x in x 7.602 * [taylor]: Taking taylor expansion of z in x 7.602 * [taylor]: Taking taylor expansion of (- z) in z 7.602 * [taylor]: Taking taylor expansion of z in z 7.603 * [taylor]: Taking taylor expansion of 0 in z 7.604 * [taylor]: Taking taylor expansion of 0 in x 7.604 * [taylor]: Taking taylor expansion of 0 in z 7.604 * [taylor]: Taking taylor expansion of 1 in z 7.604 * [taylor]: Taking taylor expansion of 0 in z 7.606 * [taylor]: Taking taylor expansion of 0 in x 7.606 * [taylor]: Taking taylor expansion of 0 in z 7.606 * [taylor]: Taking taylor expansion of 0 in z 7.606 * [taylor]: Taking taylor expansion of 0 in z 7.606 * [taylor]: Taking taylor expansion of 0 in z 7.606 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (y x z) around 0 7.606 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 7.607 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 7.607 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.607 * [taylor]: Taking taylor expansion of x in z 7.607 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.607 * [taylor]: Taking taylor expansion of z in z 7.607 * [taylor]: Taking taylor expansion of y in z 7.607 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 7.607 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 7.607 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.607 * [taylor]: Taking taylor expansion of x in x 7.608 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.608 * [taylor]: Taking taylor expansion of z in x 7.608 * [taylor]: Taking taylor expansion of y in x 7.608 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 7.608 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 7.608 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.608 * [taylor]: Taking taylor expansion of x in y 7.608 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.608 * [taylor]: Taking taylor expansion of z in y 7.608 * [taylor]: Taking taylor expansion of y in y 7.608 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 7.608 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 7.608 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.608 * [taylor]: Taking taylor expansion of x in y 7.608 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.608 * [taylor]: Taking taylor expansion of z in y 7.609 * [taylor]: Taking taylor expansion of y in y 7.609 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 7.609 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.609 * [taylor]: Taking taylor expansion of x in x 7.609 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.609 * [taylor]: Taking taylor expansion of z in x 7.609 * [taylor]: Taking taylor expansion of 1 in z 7.611 * [taylor]: Taking taylor expansion of 0 in x 7.611 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 7.611 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.611 * [taylor]: Taking taylor expansion of z in z 7.613 * [taylor]: Taking taylor expansion of 0 in x 7.613 * [taylor]: Taking taylor expansion of 0 in z 7.614 * [taylor]: Taking taylor expansion of 0 in z 7.617 * [taylor]: Taking taylor expansion of 0 in x 7.617 * [taylor]: Taking taylor expansion of 0 in z 7.617 * [taylor]: Taking taylor expansion of 0 in z 7.618 * [taylor]: Taking taylor expansion of 0 in z 7.619 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (y x z) around 0 7.619 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z 7.619 * [taylor]: Taking taylor expansion of -1 in z 7.619 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 7.619 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 7.619 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.619 * [taylor]: Taking taylor expansion of z in z 7.619 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.620 * [taylor]: Taking taylor expansion of x in z 7.620 * [taylor]: Taking taylor expansion of y in z 7.620 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 7.620 * [taylor]: Taking taylor expansion of -1 in x 7.620 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 7.620 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 7.620 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.620 * [taylor]: Taking taylor expansion of z in x 7.620 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.620 * [taylor]: Taking taylor expansion of x in x 7.620 * [taylor]: Taking taylor expansion of y in x 7.621 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 7.621 * [taylor]: Taking taylor expansion of -1 in y 7.621 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 7.621 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 7.621 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.621 * [taylor]: Taking taylor expansion of z in y 7.621 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.621 * [taylor]: Taking taylor expansion of x in y 7.621 * [taylor]: Taking taylor expansion of y in y 7.621 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 7.621 * [taylor]: Taking taylor expansion of -1 in y 7.621 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 7.621 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 7.621 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.621 * [taylor]: Taking taylor expansion of z in y 7.621 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.621 * [taylor]: Taking taylor expansion of x in y 7.621 * [taylor]: Taking taylor expansion of y in y 7.622 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 z) (/ 1 x))) in x 7.622 * [taylor]: Taking taylor expansion of -1 in x 7.622 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 7.622 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.622 * [taylor]: Taking taylor expansion of z in x 7.622 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.622 * [taylor]: Taking taylor expansion of x in x 7.623 * [taylor]: Taking taylor expansion of 1 in z 7.624 * [taylor]: Taking taylor expansion of 0 in x 7.625 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 7.625 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.625 * [taylor]: Taking taylor expansion of z in z 7.628 * [taylor]: Taking taylor expansion of 0 in x 7.628 * [taylor]: Taking taylor expansion of 0 in z 7.629 * [taylor]: Taking taylor expansion of 0 in z 7.633 * [taylor]: Taking taylor expansion of 0 in x 7.633 * [taylor]: Taking taylor expansion of 0 in z 7.633 * [taylor]: Taking taylor expansion of 0 in z 7.634 * [taylor]: Taking taylor expansion of 0 in z 7.636 * * * [progress]: simplifying candidates 7.636 * [simplify]: Simplifying using # : (* y (- x z)) (+ (log y) (log (- x z))) (log (* y (- x z))) (exp (* y (- x z))) (* (* (* y y) y) (* (* (- x z) (- x z)) (- x z))) (* (cbrt (* y (- x z))) (cbrt (* y (- x z)))) (cbrt (* y (- x z))) (* (* (* y (- x z)) (* y (- x z))) (* y (- x z))) (sqrt (* y (- x z))) (sqrt (* y (- x z))) (* (sqrt y) (sqrt (- x z))) (* (sqrt y) (sqrt (- x z))) (* y x) (* y (- z)) (* y x) (* y (- z)) (* x y) (* (- z) y) (* x y) (* (- z) y) (* y (* (cbrt (- x z)) (cbrt (- x z)))) (* y (sqrt (- x z))) (* y 1) (* y (+ (sqrt x) (sqrt z))) (* y 1) (* (cbrt y) (- x z)) (* (sqrt y) (- x z)) (* y (- x z)) (* y (- (pow x 3) (pow z 3))) (* y (- (* x x) (* z z))) (- (* x y) (* z y)) (- (* x y) (* z y)) (- (* x y) (* z y)) 7.638 * * [simplify]: iteration 0 : 52 enodes (cost 217 ) 7.651 * * [simplify]: iteration 1 : 112 enodes (cost 206 ) 7.667 * * [simplify]: iteration 2 : 278 enodes (cost 186 ) 7.726 * * [simplify]: iteration 3 : 786 enodes (cost 186 ) 7.998 * * [simplify]: iteration 4 : 2099 enodes (cost 186 ) 8.952 * * [simplify]: iteration done : 5000 enodes (cost 186 ) 8.953 * [simplify]: Simplified to: (* y (- x z)) (log (* y (- x z))) (log (* y (- x z))) (exp (* y (- x z))) (pow (* y (- x z)) 3) (* (cbrt (* y (- x z))) (cbrt (* y (- x z)))) (cbrt (* y (- x z))) (pow (* y (- x z)) 3) (sqrt (* y (- x z))) (sqrt (* y (- x z))) (* (sqrt y) (sqrt (- x z))) (* (sqrt y) (sqrt (- x z))) (* x y) (* (- z) y) (* x y) (* (- z) y) (* x y) (* (- z) y) (* x y) (* (- z) y) (* y (* (cbrt (- x z)) (cbrt (- x z)))) (* y (sqrt (- x z))) y (* y (+ (sqrt x) (sqrt z))) y (* (cbrt y) (- x z)) (* (sqrt y) (- x z)) (* y (- x z)) (* y (- (pow x 3) (pow z 3))) (* y (- (* x x) (* z z))) (* y (- x z)) (* y (- x z)) (* y (- x z)) 8.953 * * * [progress]: adding candidates to table 8.994 * * [progress]: iteration 2 / 4 8.994 * * * [progress]: picking best candidate 8.999 * * * * [pick]: Picked # 8.999 * * * [progress]: localizing error 9.005 * * * [progress]: generating rewritten candidates 9.005 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 9.008 * * * [progress]: generating series expansions 9.008 * * * * [progress]: [ 1 / 1 ] generating series at (2) 9.008 * [approximate]: Taking taylor expansion of (- (* x y) (* z y)) in (x y z) around 0 9.008 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in z 9.008 * [taylor]: Taking taylor expansion of (* x y) in z 9.008 * [taylor]: Taking taylor expansion of x in z 9.008 * [taylor]: Taking taylor expansion of y in z 9.008 * [taylor]: Taking taylor expansion of (* z y) in z 9.009 * [taylor]: Taking taylor expansion of z in z 9.009 * [taylor]: Taking taylor expansion of y in z 9.009 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in y 9.009 * [taylor]: Taking taylor expansion of (* x y) in y 9.009 * [taylor]: Taking taylor expansion of x in y 9.009 * [taylor]: Taking taylor expansion of y in y 9.009 * [taylor]: Taking taylor expansion of (* z y) in y 9.009 * [taylor]: Taking taylor expansion of z in y 9.009 * [taylor]: Taking taylor expansion of y in y 9.009 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x 9.009 * [taylor]: Taking taylor expansion of (* x y) in x 9.009 * [taylor]: Taking taylor expansion of x in x 9.009 * [taylor]: Taking taylor expansion of y in x 9.009 * [taylor]: Taking taylor expansion of (* z y) in x 9.009 * [taylor]: Taking taylor expansion of z in x 9.009 * [taylor]: Taking taylor expansion of y in x 9.009 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x 9.009 * [taylor]: Taking taylor expansion of (* x y) in x 9.009 * [taylor]: Taking taylor expansion of x in x 9.009 * [taylor]: Taking taylor expansion of y in x 9.009 * [taylor]: Taking taylor expansion of (* z y) in x 9.009 * [taylor]: Taking taylor expansion of z in x 9.009 * [taylor]: Taking taylor expansion of y in x 9.009 * [taylor]: Taking taylor expansion of (- (* z y)) in y 9.009 * [taylor]: Taking taylor expansion of (* z y) in y 9.009 * [taylor]: Taking taylor expansion of z in y 9.009 * [taylor]: Taking taylor expansion of y in y 9.010 * [taylor]: Taking taylor expansion of 0 in z 9.010 * [taylor]: Taking taylor expansion of y in y 9.010 * [taylor]: Taking taylor expansion of 0 in z 9.010 * [taylor]: Taking taylor expansion of (- z) in z 9.010 * [taylor]: Taking taylor expansion of z in z 9.012 * [taylor]: Taking taylor expansion of 0 in y 9.012 * [taylor]: Taking taylor expansion of 0 in z 9.012 * [taylor]: Taking taylor expansion of 1 in z 9.013 * [taylor]: Taking taylor expansion of 0 in z 9.015 * [taylor]: Taking taylor expansion of 0 in y 9.015 * [taylor]: Taking taylor expansion of 0 in z 9.015 * [taylor]: Taking taylor expansion of 0 in z 9.015 * [taylor]: Taking taylor expansion of 0 in z 9.015 * [taylor]: Taking taylor expansion of 0 in z 9.016 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0 9.016 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z 9.016 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 9.016 * [taylor]: Taking taylor expansion of (* x y) in z 9.016 * [taylor]: Taking taylor expansion of x in z 9.016 * [taylor]: Taking taylor expansion of y in z 9.016 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 9.016 * [taylor]: Taking taylor expansion of (* z y) in z 9.016 * [taylor]: Taking taylor expansion of z in z 9.016 * [taylor]: Taking taylor expansion of y in z 9.016 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y 9.016 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 9.016 * [taylor]: Taking taylor expansion of (* x y) in y 9.016 * [taylor]: Taking taylor expansion of x in y 9.016 * [taylor]: Taking taylor expansion of y in y 9.017 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 9.017 * [taylor]: Taking taylor expansion of (* z y) in y 9.017 * [taylor]: Taking taylor expansion of z in y 9.017 * [taylor]: Taking taylor expansion of y in y 9.017 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 9.017 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 9.017 * [taylor]: Taking taylor expansion of (* x y) in x 9.017 * [taylor]: Taking taylor expansion of x in x 9.017 * [taylor]: Taking taylor expansion of y in x 9.017 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 9.017 * [taylor]: Taking taylor expansion of (* z y) in x 9.017 * [taylor]: Taking taylor expansion of z in x 9.017 * [taylor]: Taking taylor expansion of y in x 9.017 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 9.017 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 9.017 * [taylor]: Taking taylor expansion of (* x y) in x 9.017 * [taylor]: Taking taylor expansion of x in x 9.017 * [taylor]: Taking taylor expansion of y in x 9.018 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 9.018 * [taylor]: Taking taylor expansion of (* z y) in x 9.018 * [taylor]: Taking taylor expansion of z in x 9.018 * [taylor]: Taking taylor expansion of y in x 9.018 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.018 * [taylor]: Taking taylor expansion of y in y 9.018 * [taylor]: Taking taylor expansion of 1 in z 9.019 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 9.019 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 9.019 * [taylor]: Taking taylor expansion of (* z y) in y 9.019 * [taylor]: Taking taylor expansion of z in y 9.019 * [taylor]: Taking taylor expansion of y in y 9.019 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 9.019 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.019 * [taylor]: Taking taylor expansion of z in z 9.020 * [taylor]: Taking taylor expansion of 0 in z 9.022 * [taylor]: Taking taylor expansion of 0 in y 9.022 * [taylor]: Taking taylor expansion of 0 in z 9.023 * [taylor]: Taking taylor expansion of 0 in z 9.026 * [taylor]: Taking taylor expansion of 0 in y 9.026 * [taylor]: Taking taylor expansion of 0 in z 9.026 * [taylor]: Taking taylor expansion of 0 in z 9.027 * [taylor]: Taking taylor expansion of 0 in z 9.028 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0 9.028 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z 9.028 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 9.028 * [taylor]: Taking taylor expansion of (* x y) in z 9.028 * [taylor]: Taking taylor expansion of x in z 9.028 * [taylor]: Taking taylor expansion of y in z 9.028 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 9.028 * [taylor]: Taking taylor expansion of (* z y) in z 9.028 * [taylor]: Taking taylor expansion of z in z 9.028 * [taylor]: Taking taylor expansion of y in z 9.029 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y 9.029 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 9.029 * [taylor]: Taking taylor expansion of (* x y) in y 9.029 * [taylor]: Taking taylor expansion of x in y 9.029 * [taylor]: Taking taylor expansion of y in y 9.029 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 9.029 * [taylor]: Taking taylor expansion of (* z y) in y 9.029 * [taylor]: Taking taylor expansion of z in y 9.029 * [taylor]: Taking taylor expansion of y in y 9.029 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 9.029 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 9.029 * [taylor]: Taking taylor expansion of (* x y) in x 9.029 * [taylor]: Taking taylor expansion of x in x 9.029 * [taylor]: Taking taylor expansion of y in x 9.030 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 9.030 * [taylor]: Taking taylor expansion of (* z y) in x 9.030 * [taylor]: Taking taylor expansion of z in x 9.030 * [taylor]: Taking taylor expansion of y in x 9.030 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 9.030 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 9.030 * [taylor]: Taking taylor expansion of (* x y) in x 9.030 * [taylor]: Taking taylor expansion of x in x 9.030 * [taylor]: Taking taylor expansion of y in x 9.030 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 9.030 * [taylor]: Taking taylor expansion of (* z y) in x 9.030 * [taylor]: Taking taylor expansion of z in x 9.030 * [taylor]: Taking taylor expansion of y in x 9.030 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.030 * [taylor]: Taking taylor expansion of y in y 9.031 * [taylor]: Taking taylor expansion of 1 in z 9.031 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 9.031 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 9.031 * [taylor]: Taking taylor expansion of (* z y) in y 9.031 * [taylor]: Taking taylor expansion of z in y 9.031 * [taylor]: Taking taylor expansion of y in y 9.032 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 9.032 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.032 * [taylor]: Taking taylor expansion of z in z 9.033 * [taylor]: Taking taylor expansion of 0 in z 9.034 * [taylor]: Taking taylor expansion of 0 in y 9.035 * [taylor]: Taking taylor expansion of 0 in z 9.036 * [taylor]: Taking taylor expansion of 0 in z 9.038 * [taylor]: Taking taylor expansion of 0 in y 9.039 * [taylor]: Taking taylor expansion of 0 in z 9.039 * [taylor]: Taking taylor expansion of 0 in z 9.040 * [taylor]: Taking taylor expansion of 0 in z 9.041 * * * [progress]: simplifying candidates 9.041 * [simplify]: Simplifying using # : (* (exp (* x y)) (exp (* (- z) y))) (log (+ (* x y) (* (- z) y))) (exp (+ (* x y) (* (- z) y))) (* (cbrt (+ (* x y) (* (- z) y))) (cbrt (+ (* x y) (* (- z) y)))) (cbrt (+ (* x y) (* (- z) y))) (* (* (+ (* x y) (* (- z) y)) (+ (* x y) (* (- z) y))) (+ (* x y) (* (- z) y))) (sqrt (+ (* x y) (* (- z) y))) (sqrt (+ (* x y) (* (- z) y))) (+ (pow (* x y) 3) (pow (* (- z) y) 3)) (+ (* (* x y) (* x y)) (- (* (* (- z) y) (* (- z) y)) (* (* x y) (* (- z) y)))) (- (* (* x y) (* x y)) (* (* (- z) y) (* (- z) y))) (- (* x y) (* (- z) y)) (+ x (- z)) (- (* x y) (* z y)) (- (* x y) (* z y)) (- (* x y) (* z y)) 9.042 * * [simplify]: iteration 0 : 31 enodes (cost 188 ) 9.048 * * [simplify]: iteration 1 : 106 enodes (cost 135 ) 9.073 * * [simplify]: iteration 2 : 394 enodes (cost 122 ) 9.240 * * [simplify]: iteration 3 : 1452 enodes (cost 118 ) 10.515 * * [simplify]: iteration 4 : 4621 enodes (cost 116 ) 13.498 * * [simplify]: iteration done : 5000 enodes (cost 116 ) 13.498 * [simplify]: Simplified to: (exp (* y (- x z))) (log (* y (- x z))) (exp (* y (- x z))) (* (cbrt (* y (- x z))) (cbrt (* y (- x z)))) (cbrt (* y (- x z))) (pow (* y (- x z)) 3) (sqrt (* y (- x z))) (sqrt (* y (- x z))) (* (- (pow x 3) (pow z 3)) (pow y 3)) (* y (+ (* (* z y) (+ z x)) (* (* x x) y))) (* (* y y) (- (* x x) (* z z))) (* y (+ z x)) (- x z) (* y (- x z)) (* y (- x z)) (* y (- x z)) 13.498 * * * [progress]: adding candidates to table 13.530 * * [progress]: iteration 3 / 4 13.530 * * * [progress]: picking best candidate 13.534 * * * * [pick]: Picked # 13.534 * * * [progress]: localizing error 13.540 * * * [progress]: generating rewritten candidates 13.541 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 13.564 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 13.577 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 13.580 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 13.587 * * * [progress]: generating series expansions 13.587 * * * * [progress]: [ 1 / 4 ] generating series at (2) 13.587 * [approximate]: Taking taylor expansion of (* y (- x z)) in (y x z) around 0 13.587 * [taylor]: Taking taylor expansion of (* y (- x z)) in z 13.587 * [taylor]: Taking taylor expansion of y in z 13.587 * [taylor]: Taking taylor expansion of (- x z) in z 13.587 * [taylor]: Taking taylor expansion of x in z 13.587 * [taylor]: Taking taylor expansion of z in z 13.587 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 13.587 * [taylor]: Taking taylor expansion of y in x 13.587 * [taylor]: Taking taylor expansion of (- x z) in x 13.587 * [taylor]: Taking taylor expansion of x in x 13.587 * [taylor]: Taking taylor expansion of z in x 13.587 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 13.587 * [taylor]: Taking taylor expansion of y in y 13.587 * [taylor]: Taking taylor expansion of (- x z) in y 13.587 * [taylor]: Taking taylor expansion of x in y 13.587 * [taylor]: Taking taylor expansion of z in y 13.587 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 13.587 * [taylor]: Taking taylor expansion of y in y 13.587 * [taylor]: Taking taylor expansion of (- x z) in y 13.587 * [taylor]: Taking taylor expansion of x in y 13.587 * [taylor]: Taking taylor expansion of z in y 13.587 * [taylor]: Taking taylor expansion of 0 in x 13.587 * [taylor]: Taking taylor expansion of 0 in z 13.588 * [taylor]: Taking taylor expansion of (- x z) in x 13.588 * [taylor]: Taking taylor expansion of x in x 13.588 * [taylor]: Taking taylor expansion of z in x 13.588 * [taylor]: Taking taylor expansion of (- z) in z 13.589 * [taylor]: Taking taylor expansion of z in z 13.589 * [taylor]: Taking taylor expansion of 0 in z 13.590 * [taylor]: Taking taylor expansion of 0 in x 13.590 * [taylor]: Taking taylor expansion of 0 in z 13.590 * [taylor]: Taking taylor expansion of 1 in z 13.590 * [taylor]: Taking taylor expansion of 0 in z 13.592 * [taylor]: Taking taylor expansion of 0 in x 13.592 * [taylor]: Taking taylor expansion of 0 in z 13.592 * [taylor]: Taking taylor expansion of 0 in z 13.592 * [taylor]: Taking taylor expansion of 0 in z 13.592 * [taylor]: Taking taylor expansion of 0 in z 13.593 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (y x z) around 0 13.593 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 13.593 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 13.593 * [taylor]: Taking taylor expansion of (/ 1 x) in z 13.593 * [taylor]: Taking taylor expansion of x in z 13.593 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.593 * [taylor]: Taking taylor expansion of z in z 13.593 * [taylor]: Taking taylor expansion of y in z 13.594 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 13.594 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 13.594 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.594 * [taylor]: Taking taylor expansion of x in x 13.594 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.594 * [taylor]: Taking taylor expansion of z in x 13.594 * [taylor]: Taking taylor expansion of y in x 13.594 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 13.594 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 13.594 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.594 * [taylor]: Taking taylor expansion of x in y 13.594 * [taylor]: Taking taylor expansion of (/ 1 z) in y 13.595 * [taylor]: Taking taylor expansion of z in y 13.595 * [taylor]: Taking taylor expansion of y in y 13.595 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 13.595 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 13.595 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.595 * [taylor]: Taking taylor expansion of x in y 13.595 * [taylor]: Taking taylor expansion of (/ 1 z) in y 13.595 * [taylor]: Taking taylor expansion of z in y 13.595 * [taylor]: Taking taylor expansion of y in y 13.595 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 13.595 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.595 * [taylor]: Taking taylor expansion of x in x 13.595 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.595 * [taylor]: Taking taylor expansion of z in x 13.596 * [taylor]: Taking taylor expansion of 1 in z 13.597 * [taylor]: Taking taylor expansion of 0 in x 13.597 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 13.598 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.598 * [taylor]: Taking taylor expansion of z in z 13.600 * [taylor]: Taking taylor expansion of 0 in x 13.600 * [taylor]: Taking taylor expansion of 0 in z 13.601 * [taylor]: Taking taylor expansion of 0 in z 13.604 * [taylor]: Taking taylor expansion of 0 in x 13.604 * [taylor]: Taking taylor expansion of 0 in z 13.604 * [taylor]: Taking taylor expansion of 0 in z 13.605 * [taylor]: Taking taylor expansion of 0 in z 13.606 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (y x z) around 0 13.606 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z 13.606 * [taylor]: Taking taylor expansion of -1 in z 13.606 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 13.606 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 13.606 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.606 * [taylor]: Taking taylor expansion of z in z 13.606 * [taylor]: Taking taylor expansion of (/ 1 x) in z 13.606 * [taylor]: Taking taylor expansion of x in z 13.606 * [taylor]: Taking taylor expansion of y in z 13.607 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 13.607 * [taylor]: Taking taylor expansion of -1 in x 13.607 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 13.607 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 13.607 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.607 * [taylor]: Taking taylor expansion of z in x 13.607 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.607 * [taylor]: Taking taylor expansion of x in x 13.607 * [taylor]: Taking taylor expansion of y in x 13.608 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 13.608 * [taylor]: Taking taylor expansion of -1 in y 13.608 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 13.608 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 13.608 * [taylor]: Taking taylor expansion of (/ 1 z) in y 13.608 * [taylor]: Taking taylor expansion of z in y 13.608 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.608 * [taylor]: Taking taylor expansion of x in y 13.608 * [taylor]: Taking taylor expansion of y in y 13.608 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 13.608 * [taylor]: Taking taylor expansion of -1 in y 13.608 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 13.608 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 13.608 * [taylor]: Taking taylor expansion of (/ 1 z) in y 13.608 * [taylor]: Taking taylor expansion of z in y 13.608 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.608 * [taylor]: Taking taylor expansion of x in y 13.608 * [taylor]: Taking taylor expansion of y in y 13.608 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 z) (/ 1 x))) in x 13.608 * [taylor]: Taking taylor expansion of -1 in x 13.608 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 13.608 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.608 * [taylor]: Taking taylor expansion of z in x 13.608 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.609 * [taylor]: Taking taylor expansion of x in x 13.609 * [taylor]: Taking taylor expansion of 1 in z 13.611 * [taylor]: Taking taylor expansion of 0 in x 13.612 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 13.612 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.612 * [taylor]: Taking taylor expansion of z in z 13.615 * [taylor]: Taking taylor expansion of 0 in x 13.615 * [taylor]: Taking taylor expansion of 0 in z 13.616 * [taylor]: Taking taylor expansion of 0 in z 13.619 * [taylor]: Taking taylor expansion of 0 in x 13.620 * [taylor]: Taking taylor expansion of 0 in z 13.620 * [taylor]: Taking taylor expansion of 0 in z 13.621 * [taylor]: Taking taylor expansion of 0 in z 13.622 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 13.623 * [approximate]: Taking taylor expansion of (* y (sqrt (- x z))) in (y x z) around 0 13.623 * [taylor]: Taking taylor expansion of (* y (sqrt (- x z))) in z 13.623 * [taylor]: Taking taylor expansion of y in z 13.623 * [taylor]: Taking taylor expansion of (sqrt (- x z)) in z 13.623 * [taylor]: Taking taylor expansion of (- x z) in z 13.623 * [taylor]: Taking taylor expansion of x in z 13.623 * [taylor]: Taking taylor expansion of z in z 13.624 * [taylor]: Taking taylor expansion of (* y (sqrt (- x z))) in x 13.624 * [taylor]: Taking taylor expansion of y in x 13.624 * [taylor]: Taking taylor expansion of (sqrt (- x z)) in x 13.624 * [taylor]: Taking taylor expansion of (- x z) in x 13.624 * [taylor]: Taking taylor expansion of x in x 13.624 * [taylor]: Taking taylor expansion of z in x 13.624 * [taylor]: Taking taylor expansion of (* y (sqrt (- x z))) in y 13.624 * [taylor]: Taking taylor expansion of y in y 13.624 * [taylor]: Taking taylor expansion of (sqrt (- x z)) in y 13.624 * [taylor]: Taking taylor expansion of (- x z) in y 13.624 * [taylor]: Taking taylor expansion of x in y 13.624 * [taylor]: Taking taylor expansion of z in y 13.625 * [taylor]: Taking taylor expansion of (* y (sqrt (- x z))) in y 13.625 * [taylor]: Taking taylor expansion of y in y 13.625 * [taylor]: Taking taylor expansion of (sqrt (- x z)) in y 13.625 * [taylor]: Taking taylor expansion of (- x z) in y 13.625 * [taylor]: Taking taylor expansion of x in y 13.625 * [taylor]: Taking taylor expansion of z in y 13.626 * [taylor]: Taking taylor expansion of 0 in x 13.626 * [taylor]: Taking taylor expansion of 0 in z 13.626 * [taylor]: Taking taylor expansion of (sqrt (- x z)) in x 13.626 * [taylor]: Taking taylor expansion of (- x z) in x 13.626 * [taylor]: Taking taylor expansion of x in x 13.626 * [taylor]: Taking taylor expansion of z in x 13.627 * [taylor]: Taking taylor expansion of (sqrt (- z)) in z 13.627 * [taylor]: Taking taylor expansion of (- z) in z 13.627 * [taylor]: Taking taylor expansion of z in z 13.629 * [taylor]: Taking taylor expansion of 0 in z 13.630 * [taylor]: Taking taylor expansion of 0 in x 13.630 * [taylor]: Taking taylor expansion of 0 in z 13.630 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- z))) in z 13.630 * [taylor]: Taking taylor expansion of 1/2 in z 13.630 * [taylor]: Taking taylor expansion of (sqrt (- z)) in z 13.630 * [taylor]: Taking taylor expansion of (- z) in z 13.630 * [taylor]: Taking taylor expansion of z in z 13.636 * [taylor]: Taking taylor expansion of 0 in z 13.638 * [taylor]: Taking taylor expansion of 0 in x 13.638 * [taylor]: Taking taylor expansion of 0 in z 13.638 * [taylor]: Taking taylor expansion of 0 in z 13.639 * [taylor]: Taking taylor expansion of (/ -1/8 (pow (sqrt (- z)) 3)) in z 13.639 * [taylor]: Taking taylor expansion of -1/8 in z 13.639 * [taylor]: Taking taylor expansion of (pow (sqrt (- z)) 3) in z 13.639 * [taylor]: Taking taylor expansion of (sqrt (- z)) in z 13.639 * [taylor]: Taking taylor expansion of (- z) in z 13.639 * [taylor]: Taking taylor expansion of z in z 13.672 * [approximate]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 x) (/ 1 z)))) in (y x z) around 0 13.673 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 x) (/ 1 z)))) in z 13.673 * [taylor]: Taking taylor expansion of (/ 1 y) in z 13.673 * [taylor]: Taking taylor expansion of y in z 13.673 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in z 13.673 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 13.673 * [taylor]: Taking taylor expansion of (/ 1 x) in z 13.673 * [taylor]: Taking taylor expansion of x in z 13.673 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.673 * [taylor]: Taking taylor expansion of z in z 13.675 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 x) (/ 1 z)))) in x 13.675 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.675 * [taylor]: Taking taylor expansion of y in x 13.675 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in x 13.675 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 13.675 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.675 * [taylor]: Taking taylor expansion of x in x 13.675 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.675 * [taylor]: Taking taylor expansion of z in x 13.676 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 x) (/ 1 z)))) in y 13.676 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.676 * [taylor]: Taking taylor expansion of y in y 13.677 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in y 13.677 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 13.677 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.677 * [taylor]: Taking taylor expansion of x in y 13.677 * [taylor]: Taking taylor expansion of (/ 1 z) in y 13.677 * [taylor]: Taking taylor expansion of z in y 13.678 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 x) (/ 1 z)))) in y 13.678 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.678 * [taylor]: Taking taylor expansion of y in y 13.678 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in y 13.678 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 13.678 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.678 * [taylor]: Taking taylor expansion of x in y 13.678 * [taylor]: Taking taylor expansion of (/ 1 z) in y 13.678 * [taylor]: Taking taylor expansion of z in y 13.679 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in x 13.679 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 13.679 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.679 * [taylor]: Taking taylor expansion of x in x 13.679 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.679 * [taylor]: Taking taylor expansion of z in x 13.681 * [taylor]: Taking taylor expansion of 0 in z 13.681 * [taylor]: Taking taylor expansion of 0 in x 13.681 * [taylor]: Taking taylor expansion of +nan.0 in z 13.684 * [taylor]: Taking taylor expansion of 0 in x 13.684 * [taylor]: Taking taylor expansion of 0 in z 13.685 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 z) (- +nan.0))) in z 13.685 * [taylor]: Taking taylor expansion of +nan.0 in z 13.685 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (- +nan.0)) in z 13.685 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.685 * [taylor]: Taking taylor expansion of z in z 13.685 * [taylor]: Taking taylor expansion of (- +nan.0) in z 13.685 * [taylor]: Taking taylor expansion of +nan.0 in z 13.689 * [taylor]: Taking taylor expansion of 0 in x 13.689 * [taylor]: Taking taylor expansion of 0 in z 13.689 * [taylor]: Taking taylor expansion of 0 in z 13.691 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 z)) (- +nan.0))) in z 13.691 * [taylor]: Taking taylor expansion of +nan.0 in z 13.691 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 z)) (- +nan.0)) in z 13.691 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 13.691 * [taylor]: Taking taylor expansion of +nan.0 in z 13.691 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.691 * [taylor]: Taking taylor expansion of z in z 13.691 * [taylor]: Taking taylor expansion of (- +nan.0) in z 13.691 * [taylor]: Taking taylor expansion of +nan.0 in z 13.693 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x))))) in (y x z) around 0 13.693 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x))))) in z 13.693 * [taylor]: Taking taylor expansion of -1 in z 13.693 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x)))) in z 13.693 * [taylor]: Taking taylor expansion of (/ 1 y) in z 13.693 * [taylor]: Taking taylor expansion of y in z 13.693 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in z 13.693 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 13.693 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.693 * [taylor]: Taking taylor expansion of z in z 13.693 * [taylor]: Taking taylor expansion of (/ 1 x) in z 13.693 * [taylor]: Taking taylor expansion of x in z 13.695 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x))))) in x 13.695 * [taylor]: Taking taylor expansion of -1 in x 13.695 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x)))) in x 13.695 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.695 * [taylor]: Taking taylor expansion of y in x 13.695 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in x 13.695 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 13.695 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.695 * [taylor]: Taking taylor expansion of z in x 13.695 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.695 * [taylor]: Taking taylor expansion of x in x 13.697 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x))))) in y 13.697 * [taylor]: Taking taylor expansion of -1 in y 13.697 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x)))) in y 13.697 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.697 * [taylor]: Taking taylor expansion of y in y 13.697 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in y 13.697 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 13.697 * [taylor]: Taking taylor expansion of (/ 1 z) in y 13.697 * [taylor]: Taking taylor expansion of z in y 13.697 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.697 * [taylor]: Taking taylor expansion of x in y 13.698 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x))))) in y 13.698 * [taylor]: Taking taylor expansion of -1 in y 13.698 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x)))) in y 13.698 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.698 * [taylor]: Taking taylor expansion of y in y 13.698 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in y 13.698 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 13.699 * [taylor]: Taking taylor expansion of (/ 1 z) in y 13.699 * [taylor]: Taking taylor expansion of z in y 13.699 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.699 * [taylor]: Taking taylor expansion of x in y 13.700 * [taylor]: Taking taylor expansion of (* -1 (sqrt (- (/ 1 z) (/ 1 x)))) in x 13.700 * [taylor]: Taking taylor expansion of -1 in x 13.700 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in x 13.700 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 13.700 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.700 * [taylor]: Taking taylor expansion of z in x 13.700 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.700 * [taylor]: Taking taylor expansion of x in x 13.702 * [taylor]: Taking taylor expansion of 0 in z 13.703 * [taylor]: Taking taylor expansion of 0 in x 13.704 * [taylor]: Taking taylor expansion of (- +nan.0) in z 13.704 * [taylor]: Taking taylor expansion of +nan.0 in z 13.707 * [taylor]: Taking taylor expansion of 0 in x 13.707 * [taylor]: Taking taylor expansion of 0 in z 13.709 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 z)) (- +nan.0))) in z 13.709 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 z)) (- +nan.0)) in z 13.709 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 13.709 * [taylor]: Taking taylor expansion of +nan.0 in z 13.709 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.709 * [taylor]: Taking taylor expansion of z in z 13.709 * [taylor]: Taking taylor expansion of (- +nan.0) in z 13.709 * [taylor]: Taking taylor expansion of +nan.0 in z 13.714 * [taylor]: Taking taylor expansion of 0 in x 13.714 * [taylor]: Taking taylor expansion of 0 in z 13.714 * [taylor]: Taking taylor expansion of 0 in z 13.717 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 z)) (- +nan.0))) in z 13.717 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 z)) (- +nan.0)) in z 13.717 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 13.717 * [taylor]: Taking taylor expansion of +nan.0 in z 13.717 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.717 * [taylor]: Taking taylor expansion of z in z 13.717 * [taylor]: Taking taylor expansion of (- +nan.0) in z 13.717 * [taylor]: Taking taylor expansion of +nan.0 in z 13.719 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 13.720 * [approximate]: Taking taylor expansion of (sqrt (- x z)) in (x z) around 0 13.720 * [taylor]: Taking taylor expansion of (sqrt (- x z)) in z 13.720 * [taylor]: Taking taylor expansion of (- x z) in z 13.720 * [taylor]: Taking taylor expansion of x in z 13.720 * [taylor]: Taking taylor expansion of z in z 13.720 * [taylor]: Taking taylor expansion of (sqrt (- x z)) in x 13.720 * [taylor]: Taking taylor expansion of (- x z) in x 13.720 * [taylor]: Taking taylor expansion of x in x 13.720 * [taylor]: Taking taylor expansion of z in x 13.721 * [taylor]: Taking taylor expansion of (sqrt (- x z)) in x 13.721 * [taylor]: Taking taylor expansion of (- x z) in x 13.721 * [taylor]: Taking taylor expansion of x in x 13.721 * [taylor]: Taking taylor expansion of z in x 13.722 * [taylor]: Taking taylor expansion of (sqrt (- z)) in z 13.722 * [taylor]: Taking taylor expansion of (- z) in z 13.722 * [taylor]: Taking taylor expansion of z in z 13.724 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- z))) in z 13.724 * [taylor]: Taking taylor expansion of 1/2 in z 13.724 * [taylor]: Taking taylor expansion of (sqrt (- z)) in z 13.724 * [taylor]: Taking taylor expansion of (- z) in z 13.724 * [taylor]: Taking taylor expansion of z in z 13.730 * [taylor]: Taking taylor expansion of (/ -1/8 (pow (sqrt (- z)) 3)) in z 13.730 * [taylor]: Taking taylor expansion of -1/8 in z 13.730 * [taylor]: Taking taylor expansion of (pow (sqrt (- z)) 3) in z 13.730 * [taylor]: Taking taylor expansion of (sqrt (- z)) in z 13.730 * [taylor]: Taking taylor expansion of (- z) in z 13.730 * [taylor]: Taking taylor expansion of z in z 13.764 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in (x z) around 0 13.764 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in z 13.764 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 13.764 * [taylor]: Taking taylor expansion of (/ 1 x) in z 13.764 * [taylor]: Taking taylor expansion of x in z 13.764 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.764 * [taylor]: Taking taylor expansion of z in z 13.766 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in x 13.766 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 13.766 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.766 * [taylor]: Taking taylor expansion of x in x 13.766 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.766 * [taylor]: Taking taylor expansion of z in x 13.768 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in x 13.768 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 13.768 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.768 * [taylor]: Taking taylor expansion of x in x 13.768 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.768 * [taylor]: Taking taylor expansion of z in x 13.769 * [taylor]: Taking taylor expansion of 0 in z 13.769 * [taylor]: Taking taylor expansion of +nan.0 in z 13.771 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 z) (- +nan.0))) in z 13.771 * [taylor]: Taking taylor expansion of +nan.0 in z 13.771 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (- +nan.0)) in z 13.771 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.771 * [taylor]: Taking taylor expansion of z in z 13.771 * [taylor]: Taking taylor expansion of (- +nan.0) in z 13.771 * [taylor]: Taking taylor expansion of +nan.0 in z 13.774 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 z)) (- +nan.0))) in z 13.774 * [taylor]: Taking taylor expansion of +nan.0 in z 13.774 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 z)) (- +nan.0)) in z 13.774 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 13.774 * [taylor]: Taking taylor expansion of +nan.0 in z 13.774 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.774 * [taylor]: Taking taylor expansion of z in z 13.774 * [taylor]: Taking taylor expansion of (- +nan.0) in z 13.774 * [taylor]: Taking taylor expansion of +nan.0 in z 13.775 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in (x z) around 0 13.775 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in z 13.775 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 13.776 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.776 * [taylor]: Taking taylor expansion of z in z 13.776 * [taylor]: Taking taylor expansion of (/ 1 x) in z 13.776 * [taylor]: Taking taylor expansion of x in z 13.777 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in x 13.777 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 13.777 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.777 * [taylor]: Taking taylor expansion of z in x 13.777 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.777 * [taylor]: Taking taylor expansion of x in x 13.779 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in x 13.779 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 13.779 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.779 * [taylor]: Taking taylor expansion of z in x 13.779 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.779 * [taylor]: Taking taylor expansion of x in x 13.781 * [taylor]: Taking taylor expansion of 0 in z 13.781 * [taylor]: Taking taylor expansion of +nan.0 in z 13.782 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 z) +nan.0)) in z 13.782 * [taylor]: Taking taylor expansion of +nan.0 in z 13.782 * [taylor]: Taking taylor expansion of (- (/ 1 z) +nan.0) in z 13.782 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.782 * [taylor]: Taking taylor expansion of z in z 13.783 * [taylor]: Taking taylor expansion of +nan.0 in z 13.785 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 z)) (- +nan.0))) in z 13.785 * [taylor]: Taking taylor expansion of +nan.0 in z 13.785 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 z)) (- +nan.0)) in z 13.785 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 13.785 * [taylor]: Taking taylor expansion of +nan.0 in z 13.785 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.785 * [taylor]: Taking taylor expansion of z in z 13.785 * [taylor]: Taking taylor expansion of (- +nan.0) in z 13.785 * [taylor]: Taking taylor expansion of +nan.0 in z 13.786 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 13.786 * [approximate]: Taking taylor expansion of (sqrt (- x z)) in (x z) around 0 13.787 * [taylor]: Taking taylor expansion of (sqrt (- x z)) in z 13.787 * [taylor]: Taking taylor expansion of (- x z) in z 13.787 * [taylor]: Taking taylor expansion of x in z 13.787 * [taylor]: Taking taylor expansion of z in z 13.787 * [taylor]: Taking taylor expansion of (sqrt (- x z)) in x 13.787 * [taylor]: Taking taylor expansion of (- x z) in x 13.787 * [taylor]: Taking taylor expansion of x in x 13.787 * [taylor]: Taking taylor expansion of z in x 13.788 * [taylor]: Taking taylor expansion of (sqrt (- x z)) in x 13.788 * [taylor]: Taking taylor expansion of (- x z) in x 13.788 * [taylor]: Taking taylor expansion of x in x 13.788 * [taylor]: Taking taylor expansion of z in x 13.789 * [taylor]: Taking taylor expansion of (sqrt (- z)) in z 13.789 * [taylor]: Taking taylor expansion of (- z) in z 13.789 * [taylor]: Taking taylor expansion of z in z 13.790 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- z))) in z 13.790 * [taylor]: Taking taylor expansion of 1/2 in z 13.790 * [taylor]: Taking taylor expansion of (sqrt (- z)) in z 13.790 * [taylor]: Taking taylor expansion of (- z) in z 13.791 * [taylor]: Taking taylor expansion of z in z 13.798 * [taylor]: Taking taylor expansion of (/ -1/8 (pow (sqrt (- z)) 3)) in z 13.798 * [taylor]: Taking taylor expansion of -1/8 in z 13.798 * [taylor]: Taking taylor expansion of (pow (sqrt (- z)) 3) in z 13.798 * [taylor]: Taking taylor expansion of (sqrt (- z)) in z 13.798 * [taylor]: Taking taylor expansion of (- z) in z 13.798 * [taylor]: Taking taylor expansion of z in z 13.830 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in (x z) around 0 13.830 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in z 13.830 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 13.830 * [taylor]: Taking taylor expansion of (/ 1 x) in z 13.830 * [taylor]: Taking taylor expansion of x in z 13.831 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.831 * [taylor]: Taking taylor expansion of z in z 13.832 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in x 13.832 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 13.832 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.832 * [taylor]: Taking taylor expansion of x in x 13.833 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.833 * [taylor]: Taking taylor expansion of z in x 13.834 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in x 13.834 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 13.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.834 * [taylor]: Taking taylor expansion of x in x 13.834 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.834 * [taylor]: Taking taylor expansion of z in x 13.836 * [taylor]: Taking taylor expansion of 0 in z 13.836 * [taylor]: Taking taylor expansion of +nan.0 in z 13.837 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 z) (- +nan.0))) in z 13.837 * [taylor]: Taking taylor expansion of +nan.0 in z 13.837 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (- +nan.0)) in z 13.837 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.837 * [taylor]: Taking taylor expansion of z in z 13.837 * [taylor]: Taking taylor expansion of (- +nan.0) in z 13.837 * [taylor]: Taking taylor expansion of +nan.0 in z 13.840 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 z)) (- +nan.0))) in z 13.840 * [taylor]: Taking taylor expansion of +nan.0 in z 13.840 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 z)) (- +nan.0)) in z 13.840 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 13.840 * [taylor]: Taking taylor expansion of +nan.0 in z 13.840 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.840 * [taylor]: Taking taylor expansion of z in z 13.840 * [taylor]: Taking taylor expansion of (- +nan.0) in z 13.840 * [taylor]: Taking taylor expansion of +nan.0 in z 13.842 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in (x z) around 0 13.842 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in z 13.842 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 13.842 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.842 * [taylor]: Taking taylor expansion of z in z 13.842 * [taylor]: Taking taylor expansion of (/ 1 x) in z 13.842 * [taylor]: Taking taylor expansion of x in z 13.843 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in x 13.843 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 13.843 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.843 * [taylor]: Taking taylor expansion of z in x 13.843 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.844 * [taylor]: Taking taylor expansion of x in x 13.846 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in x 13.846 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 13.846 * [taylor]: Taking taylor expansion of (/ 1 z) in x 13.846 * [taylor]: Taking taylor expansion of z in x 13.846 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.846 * [taylor]: Taking taylor expansion of x in x 13.848 * [taylor]: Taking taylor expansion of 0 in z 13.848 * [taylor]: Taking taylor expansion of +nan.0 in z 13.849 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 z) +nan.0)) in z 13.849 * [taylor]: Taking taylor expansion of +nan.0 in z 13.849 * [taylor]: Taking taylor expansion of (- (/ 1 z) +nan.0) in z 13.849 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.849 * [taylor]: Taking taylor expansion of z in z 13.850 * [taylor]: Taking taylor expansion of +nan.0 in z 13.851 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 z)) (- +nan.0))) in z 13.851 * [taylor]: Taking taylor expansion of +nan.0 in z 13.852 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 z)) (- +nan.0)) in z 13.852 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 13.852 * [taylor]: Taking taylor expansion of +nan.0 in z 13.852 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.852 * [taylor]: Taking taylor expansion of z in z 13.852 * [taylor]: Taking taylor expansion of (- +nan.0) in z 13.852 * [taylor]: Taking taylor expansion of +nan.0 in z 13.853 * * * [progress]: simplifying candidates 13.855 * [simplify]: Simplifying using # : (* (* y (sqrt (- x z))) (sqrt (- x z))) (* (* y (sqrt (- x z))) (sqrt (- x z))) (+ (+ (log y) (log (sqrt (- x z)))) (log (sqrt (- x z)))) (+ (log (* y (sqrt (- x z)))) (log (sqrt (- x z)))) (log (* (* y (sqrt (- x z))) (sqrt (- x z)))) (exp (* (* y (sqrt (- x z))) (sqrt (- x z)))) (* (* (* (* y y) y) (* (* (sqrt (- x z)) (sqrt (- x z))) (sqrt (- x z)))) (* (* (sqrt (- x z)) (sqrt (- x z))) (sqrt (- x z)))) (* (* (* (* y (sqrt (- x z))) (* y (sqrt (- x z)))) (* y (sqrt (- x z)))) (* (* (sqrt (- x z)) (sqrt (- x z))) (sqrt (- x z)))) (* (cbrt (* (* y (sqrt (- x z))) (sqrt (- x z)))) (cbrt (* (* y (sqrt (- x z))) (sqrt (- x z))))) (cbrt (* (* y (sqrt (- x z))) (sqrt (- x z)))) (* (* (* (* y (sqrt (- x z))) (sqrt (- x z))) (* (* y (sqrt (- x z))) (sqrt (- x z)))) (* (* y (sqrt (- x z))) (sqrt (- x z)))) (sqrt (* (* y (sqrt (- x z))) (sqrt (- x z)))) (sqrt (* (* y (sqrt (- x z))) (sqrt (- x z)))) (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (- (pow x 3) (pow z 3)))) (* (sqrt (+ (* x x) (+ (* z z) (* x z)))) (sqrt (+ (* x x) (+ (* z z) (* x z))))) (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (- (* x x) (* z z)))) (* (sqrt (+ (* x x) (+ (* z z) (* x z)))) (sqrt (+ x z))) (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (- (pow x 3) (pow z 3)))) (* (sqrt (+ x z)) (sqrt (+ (* x x) (+ (* z z) (* x z))))) (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (- (* x x) (* z z)))) (* (sqrt (+ x z)) (sqrt (+ x z))) (* (* y (sqrt (- x z))) (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z))))) (* (* y (sqrt (- x z))) (sqrt (* (cbrt (- x z)) (cbrt (- x z))))) (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (* (* y (sqrt (- x z))) (sqrt 1)) (* (* y (sqrt (- x z))) (sqrt (+ (sqrt x) (sqrt z)))) (* (* y (sqrt (- x z))) (sqrt 1)) (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (* (* y (sqrt (- x z))) 1) (* (sqrt (- x z)) (sqrt (- x z))) (* (* y (sqrt (- x z))) (sqrt (- (pow x 3) (pow z 3)))) (* (* y (sqrt (- x z))) (sqrt (- (* x x) (* z z)))) (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (- x z))) (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (- x z))) (* y (sqrt (- x z))) (+ (log y) (log (sqrt (- x z)))) (log (* y (sqrt (- x z)))) (exp (* y (sqrt (- x z)))) (* (* (* y y) y) (* (* (sqrt (- x z)) (sqrt (- x z))) (sqrt (- x z)))) (* (cbrt (* y (sqrt (- x z)))) (cbrt (* y (sqrt (- x z))))) (cbrt (* y (sqrt (- x z)))) (* (* (* y (sqrt (- x z))) (* y (sqrt (- x z)))) (* y (sqrt (- x z)))) (sqrt (* y (sqrt (- x z)))) (sqrt (* y (sqrt (- x z)))) (* (sqrt y) (sqrt (sqrt (- x z)))) (* (sqrt y) (sqrt (sqrt (- x z)))) (* (sqrt y) (sqrt (sqrt (- x z)))) (* (sqrt y) (sqrt (sqrt (- x z)))) (* y (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z))))) (* y (sqrt (* (cbrt (- x z)) (cbrt (- x z))))) (* y (sqrt (sqrt (- x z)))) (* y (sqrt 1)) (* y (sqrt (+ (sqrt x) (sqrt z)))) (* y (sqrt 1)) (* y (sqrt (sqrt (- x z)))) (* y 1) (* (cbrt y) (sqrt (- x z))) (* (sqrt y) (sqrt (- x z))) (* y (sqrt (- x z))) (* y (sqrt (- (pow x 3) (pow z 3)))) (* y (sqrt (- (* x x) (* z z)))) (log (sqrt (- x z))) (exp (sqrt (- x z))) (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z)))) (cbrt (sqrt (- x z))) (* (* (sqrt (- x z)) (sqrt (- x z))) (sqrt (- x z))) (sqrt (* (cbrt (- x z)) (cbrt (- x z)))) (sqrt (cbrt (- x z))) (sqrt (sqrt (- x z))) (sqrt (sqrt (- x z))) (sqrt 1) (sqrt (- x z)) (sqrt (+ (sqrt x) (sqrt z))) (sqrt (- (sqrt x) (sqrt z))) (sqrt 1) (sqrt (- x z)) (sqrt (- (pow x 3) (pow z 3))) (sqrt (+ (* x x) (+ (* z z) (* x z)))) (sqrt (- (* x x) (* z z))) (sqrt (+ x z)) (/ 1 2) (sqrt (sqrt (- x z))) (sqrt (sqrt (- x z))) (log (sqrt (- x z))) (exp (sqrt (- x z))) (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z)))) (cbrt (sqrt (- x z))) (* (* (sqrt (- x z)) (sqrt (- x z))) (sqrt (- x z))) (sqrt (* (cbrt (- x z)) (cbrt (- x z)))) (sqrt (cbrt (- x z))) (sqrt (sqrt (- x z))) (sqrt (sqrt (- x z))) (sqrt 1) (sqrt (- x z)) (sqrt (+ (sqrt x) (sqrt z))) (sqrt (- (sqrt x) (sqrt z))) (sqrt 1) (sqrt (- x z)) (sqrt (- (pow x 3) (pow z 3))) (sqrt (+ (* x x) (+ (* z z) (* x z)))) (sqrt (- (* x x) (* z z))) (sqrt (+ x z)) (/ 1 2) (sqrt (sqrt (- x z))) (sqrt (sqrt (- x z))) (- (* x y) (* z y)) (- (* x y) (* z y)) (- (* x y) (* z y)) (- (+ (* +nan.0 (* (pow x 2) y)) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (* x y))))))) (- (+ (* +nan.0 (/ (* z y) x)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ (* z y) (pow x 2)))))))) (- (+ (* +nan.0 (/ (* z y) x)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ (* z y) (pow x 2)))))))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 z)))))) (- (+ (* +nan.0 (/ z (pow x 2))) (- (+ (* +nan.0 (/ z x)) (- +nan.0))))) (- (+ (* +nan.0 (/ z (pow x 2))) (- (+ (* +nan.0 (/ z x)) (- +nan.0))))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 z)))))) (- (+ (* +nan.0 (/ z (pow x 2))) (- (+ (* +nan.0 (/ z x)) (- +nan.0))))) (- (+ (* +nan.0 (/ z (pow x 2))) (- (+ (* +nan.0 (/ z x)) (- +nan.0))))) 13.859 * * [simplify]: iteration 0 : 138 enodes (cost 1247 ) 13.893 * * [simplify]: iteration 1 : 348 enodes (cost 1007 ) 13.986 * * [simplify]: iteration 2 : 992 enodes (cost 919 ) 14.382 * * [simplify]: iteration 3 : 2972 enodes (cost 887 ) 15.255 * * [simplify]: iteration done : 5000 enodes (cost 882 ) 15.256 * [simplify]: Simplified to: (* (- x z) y) (* (- x z) y) (log (* y (- x z))) (log (* y (- x z))) (log (* y (- x z))) (exp (* y (- x z))) (pow (* y (- x z)) 3) (pow (* y (- x z)) 3) (* (cbrt (* y (- x z))) (cbrt (* y (- x z)))) (cbrt (* y (- x z))) (pow (* y (- x z)) 3) (sqrt (* y (- x z))) (sqrt (* y (- x z))) (* y (- (pow x 3) (pow z 3))) (+ (* x x) (* z (+ x z))) (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (- (* x x) (* z z)))) (* (sqrt (+ x z)) (sqrt (+ (* x x) (* z (+ x z))))) (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (- (* x x) (* z z)))) (* (sqrt (+ x z)) (sqrt (+ (* x x) (* z (+ x z))))) (* (- (* x x) (* z z)) y) (+ z x) (* (* y (sqrt (- x z))) (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z))))) (* (* y (sqrt (- x z))) (fabs (cbrt (- x z)))) (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (* y (sqrt (- x z))) (* (* y (sqrt (- x z))) (sqrt (+ (sqrt x) (sqrt z)))) (* y (sqrt (- x z))) (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (* y (sqrt (- x z))) (- x z) (* (* y (sqrt (- x z))) (sqrt (- (pow x 3) (pow z 3)))) (* (* y (sqrt (- x z))) (sqrt (- (* x x) (* z z)))) (* (* y (sqrt (- x z))) (sqrt (- (pow x 3) (pow z 3)))) (* (* y (sqrt (- x z))) (sqrt (- (* x x) (* z z)))) (* y (sqrt (- x z))) (log (* y (sqrt (- x z)))) (log (* y (sqrt (- x z)))) (exp (* y (sqrt (- x z)))) (pow (* y (sqrt (- x z))) 3) (* (cbrt (* y (sqrt (- x z)))) (cbrt (* y (sqrt (- x z))))) (cbrt (* y (sqrt (- x z)))) (pow (* y (sqrt (- x z))) 3) (sqrt (* y (sqrt (- x z)))) (sqrt (* y (sqrt (- x z)))) (* (sqrt y) (sqrt (sqrt (- x z)))) (* (sqrt y) (sqrt (sqrt (- x z)))) (* (sqrt y) (sqrt (sqrt (- x z)))) (* (sqrt y) (sqrt (sqrt (- x z)))) (* (cbrt (sqrt (- x z))) (* y (cbrt (sqrt (- x z))))) (* (fabs (cbrt (- x z))) y) (* (sqrt (sqrt (- x z))) y) y (* y (sqrt (+ (sqrt x) (sqrt z)))) y (* (sqrt (sqrt (- x z))) y) y (* (cbrt y) (sqrt (- x z))) (* (sqrt y) (sqrt (- x z))) (* y (sqrt (- x z))) (* (sqrt (- (pow x 3) (pow z 3))) y) (* (sqrt (- (* x x) (* z z))) y) (log (sqrt (- x z))) (exp (sqrt (- x z))) (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z)))) (cbrt (sqrt (- x z))) (pow (sqrt (- x z)) 3) (fabs (cbrt (- x z))) (sqrt (cbrt (- x z))) (sqrt (sqrt (- x z))) (sqrt (sqrt (- x z))) 1 (sqrt (- x z)) (sqrt (+ (sqrt x) (sqrt z))) (sqrt (- (sqrt x) (sqrt z))) 1 (sqrt (- x z)) (sqrt (- (pow x 3) (pow z 3))) (sqrt (+ (* x x) (* z (+ x z)))) (sqrt (- (* x x) (* z z))) (sqrt (+ x z)) 1/2 (sqrt (sqrt (- x z))) (sqrt (sqrt (- x z))) (log (sqrt (- x z))) (exp (sqrt (- x z))) (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z)))) (cbrt (sqrt (- x z))) (pow (sqrt (- x z)) 3) (fabs (cbrt (- x z))) (sqrt (cbrt (- x z))) (sqrt (sqrt (- x z))) (sqrt (sqrt (- x z))) 1 (sqrt (- x z)) (sqrt (+ (sqrt x) (sqrt z))) (sqrt (- (sqrt x) (sqrt z))) 1 (sqrt (- x z)) (sqrt (- (pow x 3) (pow z 3))) (sqrt (+ (* x x) (* z (+ x z)))) (sqrt (- (* x x) (* z z))) (sqrt (+ x z)) 1/2 (sqrt (sqrt (- x z))) (sqrt (sqrt (- x z))) (* (- x z) y) (* (- x z) y) (* (- x z) y) (* +nan.0 (- (* y (- z x)) (* (pow x 2) y))) (- (* +nan.0 y) (* (* z (/ y x)) (+ (/ +nan.0 x) +nan.0))) (- (* +nan.0 y) (* (* z (/ y x)) (+ (/ +nan.0 x) +nan.0))) (* (- (- x z) (* x x)) +nan.0) (- (+ +nan.0 (* (/ z x) (- (/ +nan.0 x) +nan.0)))) (- (+ +nan.0 (* (/ z x) (- (/ +nan.0 x) +nan.0)))) (* (- (- x z) (* x x)) +nan.0) (- (+ +nan.0 (* (/ z x) (- (/ +nan.0 x) +nan.0)))) (- (+ +nan.0 (* (/ z x) (- (/ +nan.0 x) +nan.0)))) 15.257 * * * [progress]: adding candidates to table 15.445 * * [progress]: iteration 4 / 4 15.445 * * * [progress]: picking best candidate 15.449 * * * * [pick]: Picked # 15.449 * * * [progress]: localizing error 15.458 * * * [progress]: generating rewritten candidates 15.458 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 15.485 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 15.571 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 15.582 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 15.594 * * * [progress]: generating series expansions 15.594 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 15.594 * [approximate]: Taking taylor expansion of (* y (pow (pow (- x z) 3) 1/4)) in (y x z) around 0 15.594 * [taylor]: Taking taylor expansion of (* y (pow (pow (- x z) 3) 1/4)) in z 15.594 * [taylor]: Taking taylor expansion of y in z 15.594 * [taylor]: Taking taylor expansion of (pow (pow (- x z) 3) 1/4) in z 15.594 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (- x z) 3)))) in z 15.594 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (- x z) 3))) in z 15.594 * [taylor]: Taking taylor expansion of 1/4 in z 15.594 * [taylor]: Taking taylor expansion of (log (pow (- x z) 3)) in z 15.594 * [taylor]: Taking taylor expansion of (pow (- x z) 3) in z 15.594 * [taylor]: Taking taylor expansion of (- x z) in z 15.594 * [taylor]: Taking taylor expansion of x in z 15.594 * [taylor]: Taking taylor expansion of z in z 15.595 * [taylor]: Taking taylor expansion of (* y (pow (pow (- x z) 3) 1/4)) in x 15.595 * [taylor]: Taking taylor expansion of y in x 15.595 * [taylor]: Taking taylor expansion of (pow (pow (- x z) 3) 1/4) in x 15.595 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (- x z) 3)))) in x 15.595 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (- x z) 3))) in x 15.595 * [taylor]: Taking taylor expansion of 1/4 in x 15.595 * [taylor]: Taking taylor expansion of (log (pow (- x z) 3)) in x 15.595 * [taylor]: Taking taylor expansion of (pow (- x z) 3) in x 15.595 * [taylor]: Taking taylor expansion of (- x z) in x 15.595 * [taylor]: Taking taylor expansion of x in x 15.595 * [taylor]: Taking taylor expansion of z in x 15.595 * [taylor]: Taking taylor expansion of (* y (pow (pow (- x z) 3) 1/4)) in y 15.595 * [taylor]: Taking taylor expansion of y in y 15.596 * [taylor]: Taking taylor expansion of (pow (pow (- x z) 3) 1/4) in y 15.596 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (- x z) 3)))) in y 15.596 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (- x z) 3))) in y 15.596 * [taylor]: Taking taylor expansion of 1/4 in y 15.596 * [taylor]: Taking taylor expansion of (log (pow (- x z) 3)) in y 15.596 * [taylor]: Taking taylor expansion of (pow (- x z) 3) in y 15.596 * [taylor]: Taking taylor expansion of (- x z) in y 15.596 * [taylor]: Taking taylor expansion of x in y 15.596 * [taylor]: Taking taylor expansion of z in y 15.596 * [taylor]: Taking taylor expansion of (* y (pow (pow (- x z) 3) 1/4)) in y 15.596 * [taylor]: Taking taylor expansion of y in y 15.596 * [taylor]: Taking taylor expansion of (pow (pow (- x z) 3) 1/4) in y 15.596 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (- x z) 3)))) in y 15.596 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (- x z) 3))) in y 15.596 * [taylor]: Taking taylor expansion of 1/4 in y 15.596 * [taylor]: Taking taylor expansion of (log (pow (- x z) 3)) in y 15.596 * [taylor]: Taking taylor expansion of (pow (- x z) 3) in y 15.596 * [taylor]: Taking taylor expansion of (- x z) in y 15.596 * [taylor]: Taking taylor expansion of x in y 15.596 * [taylor]: Taking taylor expansion of z in y 15.597 * [taylor]: Taking taylor expansion of 0 in x 15.597 * [taylor]: Taking taylor expansion of 0 in z 15.599 * [taylor]: Taking taylor expansion of (pow (pow (- x z) 3) 1/4) in x 15.599 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (- x z) 3)))) in x 15.599 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (- x z) 3))) in x 15.599 * [taylor]: Taking taylor expansion of 1/4 in x 15.599 * [taylor]: Taking taylor expansion of (log (pow (- x z) 3)) in x 15.599 * [taylor]: Taking taylor expansion of (pow (- x z) 3) in x 15.599 * [taylor]: Taking taylor expansion of (- x z) in x 15.599 * [taylor]: Taking taylor expansion of x in x 15.599 * [taylor]: Taking taylor expansion of z in x 15.600 * [taylor]: Taking taylor expansion of (pow (* -1 (pow z 3)) 1/4) in z 15.600 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (* -1 (pow z 3))))) in z 15.600 * [taylor]: Taking taylor expansion of (* 1/4 (log (* -1 (pow z 3)))) in z 15.600 * [taylor]: Taking taylor expansion of 1/4 in z 15.600 * [taylor]: Taking taylor expansion of (log (* -1 (pow z 3))) in z 15.600 * [taylor]: Taking taylor expansion of (* -1 (pow z 3)) in z 15.600 * [taylor]: Taking taylor expansion of -1 in z 15.600 * [taylor]: Taking taylor expansion of (pow z 3) in z 15.600 * [taylor]: Taking taylor expansion of z in z 15.602 * [taylor]: Taking taylor expansion of 0 in z 15.607 * [taylor]: Taking taylor expansion of 0 in x 15.607 * [taylor]: Taking taylor expansion of 0 in z 15.608 * [taylor]: Taking taylor expansion of (* -3/4 (pow (/ -1 z) 1/4)) in z 15.608 * [taylor]: Taking taylor expansion of -3/4 in z 15.608 * [taylor]: Taking taylor expansion of (pow (/ -1 z) 1/4) in z 15.608 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 z)))) in z 15.608 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 z))) in z 15.608 * [taylor]: Taking taylor expansion of 1/4 in z 15.608 * [taylor]: Taking taylor expansion of (log (/ -1 z)) in z 15.608 * [taylor]: Taking taylor expansion of (/ -1 z) in z 15.608 * [taylor]: Taking taylor expansion of -1 in z 15.608 * [taylor]: Taking taylor expansion of z in z 15.611 * [taylor]: Taking taylor expansion of 0 in z 15.620 * [taylor]: Taking taylor expansion of 0 in x 15.620 * [taylor]: Taking taylor expansion of 0 in z 15.620 * [taylor]: Taking taylor expansion of 0 in z 15.621 * [approximate]: Taking taylor expansion of (* (/ 1 y) (pow (pow (- (/ 1 x) (/ 1 z)) 3) 1/4)) in (y x z) around 0 15.621 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (pow (- (/ 1 x) (/ 1 z)) 3) 1/4)) in z 15.621 * [taylor]: Taking taylor expansion of (/ 1 y) in z 15.621 * [taylor]: Taking taylor expansion of y in z 15.621 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 x) (/ 1 z)) 3) 1/4) in z 15.621 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (- (/ 1 x) (/ 1 z)) 3)))) in z 15.621 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (- (/ 1 x) (/ 1 z)) 3))) in z 15.621 * [taylor]: Taking taylor expansion of 1/4 in z 15.621 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 x) (/ 1 z)) 3)) in z 15.622 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 3) in z 15.622 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 15.622 * [taylor]: Taking taylor expansion of (/ 1 x) in z 15.622 * [taylor]: Taking taylor expansion of x in z 15.622 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.622 * [taylor]: Taking taylor expansion of z in z 15.628 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (pow (- (/ 1 x) (/ 1 z)) 3) 1/4)) in x 15.628 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.628 * [taylor]: Taking taylor expansion of y in x 15.628 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 x) (/ 1 z)) 3) 1/4) in x 15.628 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (- (/ 1 x) (/ 1 z)) 3)))) in x 15.628 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (- (/ 1 x) (/ 1 z)) 3))) in x 15.628 * [taylor]: Taking taylor expansion of 1/4 in x 15.628 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 x) (/ 1 z)) 3)) in x 15.628 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 3) in x 15.628 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 15.628 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.628 * [taylor]: Taking taylor expansion of x in x 15.628 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.628 * [taylor]: Taking taylor expansion of z in x 15.629 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (pow (- (/ 1 x) (/ 1 z)) 3) 1/4)) in y 15.629 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.629 * [taylor]: Taking taylor expansion of y in y 15.630 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 x) (/ 1 z)) 3) 1/4) in y 15.630 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (- (/ 1 x) (/ 1 z)) 3)))) in y 15.630 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (- (/ 1 x) (/ 1 z)) 3))) in y 15.630 * [taylor]: Taking taylor expansion of 1/4 in y 15.630 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 x) (/ 1 z)) 3)) in y 15.630 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 3) in y 15.630 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 15.630 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.630 * [taylor]: Taking taylor expansion of x in y 15.630 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.630 * [taylor]: Taking taylor expansion of z in y 15.631 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (pow (- (/ 1 x) (/ 1 z)) 3) 1/4)) in y 15.631 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.631 * [taylor]: Taking taylor expansion of y in y 15.631 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 x) (/ 1 z)) 3) 1/4) in y 15.631 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (- (/ 1 x) (/ 1 z)) 3)))) in y 15.631 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (- (/ 1 x) (/ 1 z)) 3))) in y 15.631 * [taylor]: Taking taylor expansion of 1/4 in y 15.631 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 x) (/ 1 z)) 3)) in y 15.631 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 3) in y 15.631 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 15.631 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.631 * [taylor]: Taking taylor expansion of x in y 15.631 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.631 * [taylor]: Taking taylor expansion of z in y 15.632 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 x) (/ 1 z)) 3) 1/4) in x 15.632 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (- (/ 1 x) (/ 1 z)) 3)))) in x 15.632 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (- (/ 1 x) (/ 1 z)) 3))) in x 15.632 * [taylor]: Taking taylor expansion of 1/4 in x 15.632 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 x) (/ 1 z)) 3)) in x 15.632 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 3) in x 15.632 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 15.632 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.632 * [taylor]: Taking taylor expansion of x in x 15.632 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.632 * [taylor]: Taking taylor expansion of z in x 15.634 * [taylor]: Taking taylor expansion of (pow x -3/4) in z 15.634 * [taylor]: Taking taylor expansion of (exp (* -3/4 (log x))) in z 15.634 * [taylor]: Taking taylor expansion of (* -3/4 (log x)) in z 15.634 * [taylor]: Taking taylor expansion of -3/4 in z 15.634 * [taylor]: Taking taylor expansion of (log x) in z 15.634 * [taylor]: Taking taylor expansion of x in z 15.637 * [taylor]: Taking taylor expansion of 0 in x 15.637 * [taylor]: Taking taylor expansion of 0 in z 15.639 * [taylor]: Taking taylor expansion of (* -3/4 (* (pow (/ 1 (pow x 3)) 1/4) (/ 1 z))) in z 15.639 * [taylor]: Taking taylor expansion of -3/4 in z 15.639 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 3)) 1/4) (/ 1 z)) in z 15.639 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 3)) 1/4) in z 15.639 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (pow x 3))))) in z 15.639 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (pow x 3)))) in z 15.639 * [taylor]: Taking taylor expansion of 1/4 in z 15.639 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 3))) in z 15.639 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z 15.639 * [taylor]: Taking taylor expansion of (pow x 3) in z 15.639 * [taylor]: Taking taylor expansion of x in z 15.639 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.639 * [taylor]: Taking taylor expansion of z in z 15.649 * [taylor]: Taking taylor expansion of 0 in x 15.649 * [taylor]: Taking taylor expansion of 0 in z 15.649 * [taylor]: Taking taylor expansion of 0 in z 15.653 * [taylor]: Taking taylor expansion of (* -3/32 (* (pow (/ 1 (pow x 3)) 1/4) (/ 1 (pow z 2)))) in z 15.653 * [taylor]: Taking taylor expansion of -3/32 in z 15.653 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 3)) 1/4) (/ 1 (pow z 2))) in z 15.653 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 3)) 1/4) in z 15.653 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (pow x 3))))) in z 15.653 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (pow x 3)))) in z 15.653 * [taylor]: Taking taylor expansion of 1/4 in z 15.653 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 3))) in z 15.653 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z 15.653 * [taylor]: Taking taylor expansion of (pow x 3) in z 15.653 * [taylor]: Taking taylor expansion of x in z 15.653 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 15.653 * [taylor]: Taking taylor expansion of (pow z 2) in z 15.653 * [taylor]: Taking taylor expansion of z in z 15.663 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (pow (- (/ 1 z) (/ 1 x)) 3) 1/4))) in (y x z) around 0 15.663 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (pow (- (/ 1 z) (/ 1 x)) 3) 1/4))) in z 15.663 * [taylor]: Taking taylor expansion of -1 in z 15.663 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (pow (- (/ 1 z) (/ 1 x)) 3) 1/4)) in z 15.663 * [taylor]: Taking taylor expansion of (/ 1 y) in z 15.663 * [taylor]: Taking taylor expansion of y in z 15.663 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 z) (/ 1 x)) 3) 1/4) in z 15.663 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (- (/ 1 z) (/ 1 x)) 3)))) in z 15.663 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (- (/ 1 z) (/ 1 x)) 3))) in z 15.663 * [taylor]: Taking taylor expansion of 1/4 in z 15.663 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 z) (/ 1 x)) 3)) in z 15.663 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 3) in z 15.663 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 15.663 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.663 * [taylor]: Taking taylor expansion of z in z 15.663 * [taylor]: Taking taylor expansion of (/ 1 x) in z 15.663 * [taylor]: Taking taylor expansion of x in z 15.664 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (pow (- (/ 1 z) (/ 1 x)) 3) 1/4))) in x 15.664 * [taylor]: Taking taylor expansion of -1 in x 15.665 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (pow (- (/ 1 z) (/ 1 x)) 3) 1/4)) in x 15.665 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.665 * [taylor]: Taking taylor expansion of y in x 15.665 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 z) (/ 1 x)) 3) 1/4) in x 15.665 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (- (/ 1 z) (/ 1 x)) 3)))) in x 15.665 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (- (/ 1 z) (/ 1 x)) 3))) in x 15.665 * [taylor]: Taking taylor expansion of 1/4 in x 15.665 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 z) (/ 1 x)) 3)) in x 15.665 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 3) in x 15.665 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 15.665 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.665 * [taylor]: Taking taylor expansion of z in x 15.665 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.665 * [taylor]: Taking taylor expansion of x in x 15.667 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (pow (- (/ 1 z) (/ 1 x)) 3) 1/4))) in y 15.667 * [taylor]: Taking taylor expansion of -1 in y 15.667 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (pow (- (/ 1 z) (/ 1 x)) 3) 1/4)) in y 15.667 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.667 * [taylor]: Taking taylor expansion of y in y 15.668 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 z) (/ 1 x)) 3) 1/4) in y 15.668 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (- (/ 1 z) (/ 1 x)) 3)))) in y 15.668 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (- (/ 1 z) (/ 1 x)) 3))) in y 15.668 * [taylor]: Taking taylor expansion of 1/4 in y 15.668 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 z) (/ 1 x)) 3)) in y 15.668 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 3) in y 15.668 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 15.668 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.668 * [taylor]: Taking taylor expansion of z in y 15.668 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.668 * [taylor]: Taking taylor expansion of x in y 15.669 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (pow (- (/ 1 z) (/ 1 x)) 3) 1/4))) in y 15.669 * [taylor]: Taking taylor expansion of -1 in y 15.669 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (pow (- (/ 1 z) (/ 1 x)) 3) 1/4)) in y 15.669 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.669 * [taylor]: Taking taylor expansion of y in y 15.669 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 z) (/ 1 x)) 3) 1/4) in y 15.669 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (- (/ 1 z) (/ 1 x)) 3)))) in y 15.669 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (- (/ 1 z) (/ 1 x)) 3))) in y 15.669 * [taylor]: Taking taylor expansion of 1/4 in y 15.669 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 z) (/ 1 x)) 3)) in y 15.669 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 3) in y 15.669 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 15.669 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.669 * [taylor]: Taking taylor expansion of z in y 15.669 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.669 * [taylor]: Taking taylor expansion of x in y 15.670 * [taylor]: Taking taylor expansion of (* -1 (pow (pow (- (/ 1 z) (/ 1 x)) 3) 1/4)) in x 15.670 * [taylor]: Taking taylor expansion of -1 in x 15.670 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 z) (/ 1 x)) 3) 1/4) in x 15.670 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (- (/ 1 z) (/ 1 x)) 3)))) in x 15.670 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (- (/ 1 z) (/ 1 x)) 3))) in x 15.670 * [taylor]: Taking taylor expansion of 1/4 in x 15.670 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 z) (/ 1 x)) 3)) in x 15.670 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 3) in x 15.670 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 15.670 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.670 * [taylor]: Taking taylor expansion of z in x 15.670 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.670 * [taylor]: Taking taylor expansion of x in x 15.673 * [taylor]: Taking taylor expansion of (* -1 (exp (* 1/4 (- (log -1) (* 3 (log x)))))) in z 15.673 * [taylor]: Taking taylor expansion of -1 in z 15.673 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log -1) (* 3 (log x))))) in z 15.673 * [taylor]: Taking taylor expansion of (* 1/4 (- (log -1) (* 3 (log x)))) in z 15.673 * [taylor]: Taking taylor expansion of 1/4 in z 15.673 * [taylor]: Taking taylor expansion of (- (log -1) (* 3 (log x))) in z 15.673 * [taylor]: Taking taylor expansion of (log -1) in z 15.673 * [taylor]: Taking taylor expansion of -1 in z 15.674 * [taylor]: Taking taylor expansion of (* 3 (log x)) in z 15.674 * [taylor]: Taking taylor expansion of 3 in z 15.674 * [taylor]: Taking taylor expansion of (log x) in z 15.674 * [taylor]: Taking taylor expansion of x in z 15.679 * [taylor]: Taking taylor expansion of 0 in x 15.679 * [taylor]: Taking taylor expansion of 0 in z 15.682 * [taylor]: Taking taylor expansion of (* 3/4 (/ (exp (* 1/4 (- (log -1) (* 3 (log x))))) z)) in z 15.682 * [taylor]: Taking taylor expansion of 3/4 in z 15.682 * [taylor]: Taking taylor expansion of (/ (exp (* 1/4 (- (log -1) (* 3 (log x))))) z) in z 15.682 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log -1) (* 3 (log x))))) in z 15.682 * [taylor]: Taking taylor expansion of (* 1/4 (- (log -1) (* 3 (log x)))) in z 15.682 * [taylor]: Taking taylor expansion of 1/4 in z 15.682 * [taylor]: Taking taylor expansion of (- (log -1) (* 3 (log x))) in z 15.682 * [taylor]: Taking taylor expansion of (log -1) in z 15.682 * [taylor]: Taking taylor expansion of -1 in z 15.683 * [taylor]: Taking taylor expansion of (* 3 (log x)) in z 15.683 * [taylor]: Taking taylor expansion of 3 in z 15.683 * [taylor]: Taking taylor expansion of (log x) in z 15.683 * [taylor]: Taking taylor expansion of x in z 15.684 * [taylor]: Taking taylor expansion of z in z 15.699 * [taylor]: Taking taylor expansion of 0 in x 15.699 * [taylor]: Taking taylor expansion of 0 in z 15.699 * [taylor]: Taking taylor expansion of 0 in z 15.705 * [taylor]: Taking taylor expansion of (* 3/32 (/ (exp (* 1/4 (- (log -1) (* 3 (log x))))) (pow z 2))) in z 15.705 * [taylor]: Taking taylor expansion of 3/32 in z 15.705 * [taylor]: Taking taylor expansion of (/ (exp (* 1/4 (- (log -1) (* 3 (log x))))) (pow z 2)) in z 15.705 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log -1) (* 3 (log x))))) in z 15.705 * [taylor]: Taking taylor expansion of (* 1/4 (- (log -1) (* 3 (log x)))) in z 15.705 * [taylor]: Taking taylor expansion of 1/4 in z 15.705 * [taylor]: Taking taylor expansion of (- (log -1) (* 3 (log x))) in z 15.705 * [taylor]: Taking taylor expansion of (log -1) in z 15.705 * [taylor]: Taking taylor expansion of -1 in z 15.706 * [taylor]: Taking taylor expansion of (* 3 (log x)) in z 15.706 * [taylor]: Taking taylor expansion of 3 in z 15.706 * [taylor]: Taking taylor expansion of (log x) in z 15.706 * [taylor]: Taking taylor expansion of x in z 15.707 * [taylor]: Taking taylor expansion of (pow z 2) in z 15.707 * [taylor]: Taking taylor expansion of z in z 15.722 * * * * [progress]: [ 2 / 4 ] generating series at (2) 15.722 * [approximate]: Taking taylor expansion of (* y (- x z)) in (y x z) around 0 15.722 * [taylor]: Taking taylor expansion of (* y (- x z)) in z 15.722 * [taylor]: Taking taylor expansion of y in z 15.722 * [taylor]: Taking taylor expansion of (- x z) in z 15.723 * [taylor]: Taking taylor expansion of x in z 15.723 * [taylor]: Taking taylor expansion of z in z 15.723 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 15.723 * [taylor]: Taking taylor expansion of y in x 15.723 * [taylor]: Taking taylor expansion of (- x z) in x 15.723 * [taylor]: Taking taylor expansion of x in x 15.723 * [taylor]: Taking taylor expansion of z in x 15.723 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 15.723 * [taylor]: Taking taylor expansion of y in y 15.723 * [taylor]: Taking taylor expansion of (- x z) in y 15.723 * [taylor]: Taking taylor expansion of x in y 15.723 * [taylor]: Taking taylor expansion of z in y 15.723 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 15.723 * [taylor]: Taking taylor expansion of y in y 15.723 * [taylor]: Taking taylor expansion of (- x z) in y 15.723 * [taylor]: Taking taylor expansion of x in y 15.723 * [taylor]: Taking taylor expansion of z in y 15.723 * [taylor]: Taking taylor expansion of 0 in x 15.723 * [taylor]: Taking taylor expansion of 0 in z 15.724 * [taylor]: Taking taylor expansion of (- x z) in x 15.724 * [taylor]: Taking taylor expansion of x in x 15.724 * [taylor]: Taking taylor expansion of z in x 15.724 * [taylor]: Taking taylor expansion of (- z) in z 15.724 * [taylor]: Taking taylor expansion of z in z 15.724 * [taylor]: Taking taylor expansion of 0 in z 15.725 * [taylor]: Taking taylor expansion of 0 in x 15.725 * [taylor]: Taking taylor expansion of 0 in z 15.726 * [taylor]: Taking taylor expansion of 1 in z 15.726 * [taylor]: Taking taylor expansion of 0 in z 15.727 * [taylor]: Taking taylor expansion of 0 in x 15.727 * [taylor]: Taking taylor expansion of 0 in z 15.727 * [taylor]: Taking taylor expansion of 0 in z 15.728 * [taylor]: Taking taylor expansion of 0 in z 15.728 * [taylor]: Taking taylor expansion of 0 in z 15.728 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (y x z) around 0 15.728 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 15.728 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 15.728 * [taylor]: Taking taylor expansion of (/ 1 x) in z 15.728 * [taylor]: Taking taylor expansion of x in z 15.728 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.728 * [taylor]: Taking taylor expansion of z in z 15.728 * [taylor]: Taking taylor expansion of y in z 15.729 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 15.729 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 15.729 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.729 * [taylor]: Taking taylor expansion of x in x 15.729 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.729 * [taylor]: Taking taylor expansion of z in x 15.729 * [taylor]: Taking taylor expansion of y in x 15.730 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 15.730 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 15.730 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.730 * [taylor]: Taking taylor expansion of x in y 15.730 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.730 * [taylor]: Taking taylor expansion of z in y 15.730 * [taylor]: Taking taylor expansion of y in y 15.730 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 15.730 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 15.730 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.730 * [taylor]: Taking taylor expansion of x in y 15.730 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.730 * [taylor]: Taking taylor expansion of z in y 15.730 * [taylor]: Taking taylor expansion of y in y 15.730 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 15.730 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.730 * [taylor]: Taking taylor expansion of x in x 15.731 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.731 * [taylor]: Taking taylor expansion of z in x 15.731 * [taylor]: Taking taylor expansion of 1 in z 15.732 * [taylor]: Taking taylor expansion of 0 in x 15.733 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 15.733 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.733 * [taylor]: Taking taylor expansion of z in z 15.735 * [taylor]: Taking taylor expansion of 0 in x 15.735 * [taylor]: Taking taylor expansion of 0 in z 15.736 * [taylor]: Taking taylor expansion of 0 in z 15.738 * [taylor]: Taking taylor expansion of 0 in x 15.738 * [taylor]: Taking taylor expansion of 0 in z 15.738 * [taylor]: Taking taylor expansion of 0 in z 15.739 * [taylor]: Taking taylor expansion of 0 in z 15.741 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (y x z) around 0 15.741 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z 15.741 * [taylor]: Taking taylor expansion of -1 in z 15.741 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 15.741 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 15.741 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.741 * [taylor]: Taking taylor expansion of z in z 15.741 * [taylor]: Taking taylor expansion of (/ 1 x) in z 15.741 * [taylor]: Taking taylor expansion of x in z 15.741 * [taylor]: Taking taylor expansion of y in z 15.741 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 15.741 * [taylor]: Taking taylor expansion of -1 in x 15.741 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 15.741 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 15.742 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.742 * [taylor]: Taking taylor expansion of z in x 15.742 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.742 * [taylor]: Taking taylor expansion of x in x 15.742 * [taylor]: Taking taylor expansion of y in x 15.742 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 15.742 * [taylor]: Taking taylor expansion of -1 in y 15.742 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 15.742 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 15.742 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.742 * [taylor]: Taking taylor expansion of z in y 15.742 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.743 * [taylor]: Taking taylor expansion of x in y 15.743 * [taylor]: Taking taylor expansion of y in y 15.743 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 15.743 * [taylor]: Taking taylor expansion of -1 in y 15.743 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 15.743 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 15.743 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.743 * [taylor]: Taking taylor expansion of z in y 15.743 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.743 * [taylor]: Taking taylor expansion of x in y 15.743 * [taylor]: Taking taylor expansion of y in y 15.743 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 z) (/ 1 x))) in x 15.743 * [taylor]: Taking taylor expansion of -1 in x 15.743 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 15.743 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.743 * [taylor]: Taking taylor expansion of z in x 15.743 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.743 * [taylor]: Taking taylor expansion of x in x 15.744 * [taylor]: Taking taylor expansion of 1 in z 15.746 * [taylor]: Taking taylor expansion of 0 in x 15.747 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 15.747 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.747 * [taylor]: Taking taylor expansion of z in z 15.750 * [taylor]: Taking taylor expansion of 0 in x 15.750 * [taylor]: Taking taylor expansion of 0 in z 15.751 * [taylor]: Taking taylor expansion of 0 in z 15.755 * [taylor]: Taking taylor expansion of 0 in x 15.755 * [taylor]: Taking taylor expansion of 0 in z 15.755 * [taylor]: Taking taylor expansion of 0 in z 15.757 * [taylor]: Taking taylor expansion of 0 in z 15.758 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 15.758 * [approximate]: Taking taylor expansion of (* y (sqrt (- x z))) in (y x z) around 0 15.758 * [taylor]: Taking taylor expansion of (* y (sqrt (- x z))) in z 15.758 * [taylor]: Taking taylor expansion of y in z 15.758 * [taylor]: Taking taylor expansion of (sqrt (- x z)) in z 15.758 * [taylor]: Taking taylor expansion of (- x z) in z 15.758 * [taylor]: Taking taylor expansion of x in z 15.758 * [taylor]: Taking taylor expansion of z in z 15.759 * [taylor]: Taking taylor expansion of (* y (sqrt (- x z))) in x 15.759 * [taylor]: Taking taylor expansion of y in x 15.759 * [taylor]: Taking taylor expansion of (sqrt (- x z)) in x 15.759 * [taylor]: Taking taylor expansion of (- x z) in x 15.759 * [taylor]: Taking taylor expansion of x in x 15.759 * [taylor]: Taking taylor expansion of z in x 15.760 * [taylor]: Taking taylor expansion of (* y (sqrt (- x z))) in y 15.760 * [taylor]: Taking taylor expansion of y in y 15.760 * [taylor]: Taking taylor expansion of (sqrt (- x z)) in y 15.760 * [taylor]: Taking taylor expansion of (- x z) in y 15.760 * [taylor]: Taking taylor expansion of x in y 15.760 * [taylor]: Taking taylor expansion of z in y 15.760 * [taylor]: Taking taylor expansion of (* y (sqrt (- x z))) in y 15.760 * [taylor]: Taking taylor expansion of y in y 15.760 * [taylor]: Taking taylor expansion of (sqrt (- x z)) in y 15.760 * [taylor]: Taking taylor expansion of (- x z) in y 15.760 * [taylor]: Taking taylor expansion of x in y 15.760 * [taylor]: Taking taylor expansion of z in y 15.761 * [taylor]: Taking taylor expansion of 0 in x 15.761 * [taylor]: Taking taylor expansion of 0 in z 15.761 * [taylor]: Taking taylor expansion of (sqrt (- x z)) in x 15.761 * [taylor]: Taking taylor expansion of (- x z) in x 15.761 * [taylor]: Taking taylor expansion of x in x 15.761 * [taylor]: Taking taylor expansion of z in x 15.762 * [taylor]: Taking taylor expansion of (sqrt (- z)) in z 15.762 * [taylor]: Taking taylor expansion of (- z) in z 15.762 * [taylor]: Taking taylor expansion of z in z 15.764 * [taylor]: Taking taylor expansion of 0 in z 15.766 * [taylor]: Taking taylor expansion of 0 in x 15.766 * [taylor]: Taking taylor expansion of 0 in z 15.766 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- z))) in z 15.766 * [taylor]: Taking taylor expansion of 1/2 in z 15.766 * [taylor]: Taking taylor expansion of (sqrt (- z)) in z 15.766 * [taylor]: Taking taylor expansion of (- z) in z 15.766 * [taylor]: Taking taylor expansion of z in z 15.772 * [taylor]: Taking taylor expansion of 0 in z 15.773 * [taylor]: Taking taylor expansion of 0 in x 15.774 * [taylor]: Taking taylor expansion of 0 in z 15.774 * [taylor]: Taking taylor expansion of 0 in z 15.774 * [taylor]: Taking taylor expansion of (/ -1/8 (pow (sqrt (- z)) 3)) in z 15.774 * [taylor]: Taking taylor expansion of -1/8 in z 15.775 * [taylor]: Taking taylor expansion of (pow (sqrt (- z)) 3) in z 15.775 * [taylor]: Taking taylor expansion of (sqrt (- z)) in z 15.775 * [taylor]: Taking taylor expansion of (- z) in z 15.775 * [taylor]: Taking taylor expansion of z in z 15.808 * [approximate]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 x) (/ 1 z)))) in (y x z) around 0 15.808 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 x) (/ 1 z)))) in z 15.808 * [taylor]: Taking taylor expansion of (/ 1 y) in z 15.808 * [taylor]: Taking taylor expansion of y in z 15.808 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in z 15.808 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 15.808 * [taylor]: Taking taylor expansion of (/ 1 x) in z 15.808 * [taylor]: Taking taylor expansion of x in z 15.808 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.808 * [taylor]: Taking taylor expansion of z in z 15.810 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 x) (/ 1 z)))) in x 15.810 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.810 * [taylor]: Taking taylor expansion of y in x 15.810 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in x 15.810 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 15.810 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.810 * [taylor]: Taking taylor expansion of x in x 15.810 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.810 * [taylor]: Taking taylor expansion of z in x 15.811 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 x) (/ 1 z)))) in y 15.811 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.812 * [taylor]: Taking taylor expansion of y in y 15.812 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in y 15.812 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 15.812 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.812 * [taylor]: Taking taylor expansion of x in y 15.812 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.812 * [taylor]: Taking taylor expansion of z in y 15.813 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 x) (/ 1 z)))) in y 15.813 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.813 * [taylor]: Taking taylor expansion of y in y 15.813 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in y 15.813 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 15.813 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.813 * [taylor]: Taking taylor expansion of x in y 15.813 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.813 * [taylor]: Taking taylor expansion of z in y 15.814 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in x 15.814 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 15.814 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.814 * [taylor]: Taking taylor expansion of x in x 15.814 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.814 * [taylor]: Taking taylor expansion of z in x 15.816 * [taylor]: Taking taylor expansion of 0 in z 15.816 * [taylor]: Taking taylor expansion of 0 in x 15.816 * [taylor]: Taking taylor expansion of +nan.0 in z 15.819 * [taylor]: Taking taylor expansion of 0 in x 15.819 * [taylor]: Taking taylor expansion of 0 in z 15.820 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 z) (- +nan.0))) in z 15.820 * [taylor]: Taking taylor expansion of +nan.0 in z 15.820 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (- +nan.0)) in z 15.820 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.820 * [taylor]: Taking taylor expansion of z in z 15.820 * [taylor]: Taking taylor expansion of (- +nan.0) in z 15.820 * [taylor]: Taking taylor expansion of +nan.0 in z 15.823 * [taylor]: Taking taylor expansion of 0 in x 15.824 * [taylor]: Taking taylor expansion of 0 in z 15.824 * [taylor]: Taking taylor expansion of 0 in z 15.825 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 z)) (- +nan.0))) in z 15.825 * [taylor]: Taking taylor expansion of +nan.0 in z 15.825 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 z)) (- +nan.0)) in z 15.825 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 15.825 * [taylor]: Taking taylor expansion of +nan.0 in z 15.825 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.825 * [taylor]: Taking taylor expansion of z in z 15.826 * [taylor]: Taking taylor expansion of (- +nan.0) in z 15.826 * [taylor]: Taking taylor expansion of +nan.0 in z 15.827 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x))))) in (y x z) around 0 15.827 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x))))) in z 15.827 * [taylor]: Taking taylor expansion of -1 in z 15.827 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x)))) in z 15.827 * [taylor]: Taking taylor expansion of (/ 1 y) in z 15.827 * [taylor]: Taking taylor expansion of y in z 15.827 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in z 15.827 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 15.827 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.827 * [taylor]: Taking taylor expansion of z in z 15.828 * [taylor]: Taking taylor expansion of (/ 1 x) in z 15.828 * [taylor]: Taking taylor expansion of x in z 15.829 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x))))) in x 15.829 * [taylor]: Taking taylor expansion of -1 in x 15.829 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x)))) in x 15.829 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.829 * [taylor]: Taking taylor expansion of y in x 15.829 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in x 15.829 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 15.829 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.829 * [taylor]: Taking taylor expansion of z in x 15.829 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.829 * [taylor]: Taking taylor expansion of x in x 15.831 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x))))) in y 15.831 * [taylor]: Taking taylor expansion of -1 in y 15.831 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x)))) in y 15.831 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.831 * [taylor]: Taking taylor expansion of y in y 15.831 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in y 15.831 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 15.831 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.831 * [taylor]: Taking taylor expansion of z in y 15.831 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.831 * [taylor]: Taking taylor expansion of x in y 15.832 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x))))) in y 15.832 * [taylor]: Taking taylor expansion of -1 in y 15.832 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x)))) in y 15.832 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.832 * [taylor]: Taking taylor expansion of y in y 15.832 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in y 15.832 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 15.832 * [taylor]: Taking taylor expansion of (/ 1 z) in y 15.832 * [taylor]: Taking taylor expansion of z in y 15.832 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.832 * [taylor]: Taking taylor expansion of x in y 15.833 * [taylor]: Taking taylor expansion of (* -1 (sqrt (- (/ 1 z) (/ 1 x)))) in x 15.833 * [taylor]: Taking taylor expansion of -1 in x 15.834 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in x 15.834 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 15.834 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.834 * [taylor]: Taking taylor expansion of z in x 15.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.834 * [taylor]: Taking taylor expansion of x in x 15.836 * [taylor]: Taking taylor expansion of 0 in z 15.837 * [taylor]: Taking taylor expansion of 0 in x 15.838 * [taylor]: Taking taylor expansion of (- +nan.0) in z 15.838 * [taylor]: Taking taylor expansion of +nan.0 in z 15.841 * [taylor]: Taking taylor expansion of 0 in x 15.841 * [taylor]: Taking taylor expansion of 0 in z 15.843 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 z)) (- +nan.0))) in z 15.843 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 z)) (- +nan.0)) in z 15.843 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 15.843 * [taylor]: Taking taylor expansion of +nan.0 in z 15.843 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.843 * [taylor]: Taking taylor expansion of z in z 15.843 * [taylor]: Taking taylor expansion of (- +nan.0) in z 15.843 * [taylor]: Taking taylor expansion of +nan.0 in z 15.848 * [taylor]: Taking taylor expansion of 0 in x 15.849 * [taylor]: Taking taylor expansion of 0 in z 15.849 * [taylor]: Taking taylor expansion of 0 in z 15.851 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 z)) (- +nan.0))) in z 15.851 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 z)) (- +nan.0)) in z 15.851 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 15.851 * [taylor]: Taking taylor expansion of +nan.0 in z 15.851 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.851 * [taylor]: Taking taylor expansion of z in z 15.851 * [taylor]: Taking taylor expansion of (- +nan.0) in z 15.851 * [taylor]: Taking taylor expansion of +nan.0 in z 15.854 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 15.854 * [approximate]: Taking taylor expansion of (pow (- x z) 1/4) in (x z) around 0 15.854 * [taylor]: Taking taylor expansion of (pow (- x z) 1/4) in z 15.854 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- x z)))) in z 15.854 * [taylor]: Taking taylor expansion of (* 1/4 (log (- x z))) in z 15.854 * [taylor]: Taking taylor expansion of 1/4 in z 15.854 * [taylor]: Taking taylor expansion of (log (- x z)) in z 15.854 * [taylor]: Taking taylor expansion of (- x z) in z 15.854 * [taylor]: Taking taylor expansion of x in z 15.854 * [taylor]: Taking taylor expansion of z in z 15.854 * [taylor]: Taking taylor expansion of (pow (- x z) 1/4) in x 15.854 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- x z)))) in x 15.854 * [taylor]: Taking taylor expansion of (* 1/4 (log (- x z))) in x 15.854 * [taylor]: Taking taylor expansion of 1/4 in x 15.854 * [taylor]: Taking taylor expansion of (log (- x z)) in x 15.854 * [taylor]: Taking taylor expansion of (- x z) in x 15.854 * [taylor]: Taking taylor expansion of x in x 15.854 * [taylor]: Taking taylor expansion of z in x 15.854 * [taylor]: Taking taylor expansion of (pow (- x z) 1/4) in x 15.855 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- x z)))) in x 15.855 * [taylor]: Taking taylor expansion of (* 1/4 (log (- x z))) in x 15.855 * [taylor]: Taking taylor expansion of 1/4 in x 15.855 * [taylor]: Taking taylor expansion of (log (- x z)) in x 15.855 * [taylor]: Taking taylor expansion of (- x z) in x 15.855 * [taylor]: Taking taylor expansion of x in x 15.855 * [taylor]: Taking taylor expansion of z in x 15.855 * [taylor]: Taking taylor expansion of (pow (- z) 1/4) in z 15.855 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- z)))) in z 15.855 * [taylor]: Taking taylor expansion of (* 1/4 (log (- z))) in z 15.855 * [taylor]: Taking taylor expansion of 1/4 in z 15.855 * [taylor]: Taking taylor expansion of (log (- z)) in z 15.855 * [taylor]: Taking taylor expansion of (- z) in z 15.855 * [taylor]: Taking taylor expansion of z in z 15.858 * [taylor]: Taking taylor expansion of (* -1/4 (pow (/ -1 (pow z 3)) 1/4)) in z 15.858 * [taylor]: Taking taylor expansion of -1/4 in z 15.858 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 3)) 1/4) in z 15.858 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 (pow z 3))))) in z 15.858 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 (pow z 3)))) in z 15.858 * [taylor]: Taking taylor expansion of 1/4 in z 15.858 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 3))) in z 15.859 * [taylor]: Taking taylor expansion of (/ -1 (pow z 3)) in z 15.859 * [taylor]: Taking taylor expansion of -1 in z 15.859 * [taylor]: Taking taylor expansion of (pow z 3) in z 15.859 * [taylor]: Taking taylor expansion of z in z 15.866 * [taylor]: Taking taylor expansion of (* -3/32 (pow (/ -1 (pow z 7)) 1/4)) in z 15.866 * [taylor]: Taking taylor expansion of -3/32 in z 15.866 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 7)) 1/4) in z 15.866 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 (pow z 7))))) in z 15.866 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 (pow z 7)))) in z 15.866 * [taylor]: Taking taylor expansion of 1/4 in z 15.866 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 7))) in z 15.866 * [taylor]: Taking taylor expansion of (/ -1 (pow z 7)) in z 15.866 * [taylor]: Taking taylor expansion of -1 in z 15.866 * [taylor]: Taking taylor expansion of (pow z 7) in z 15.866 * [taylor]: Taking taylor expansion of z in z 15.871 * [approximate]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/4) in (x z) around 0 15.871 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/4) in z 15.871 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- (/ 1 x) (/ 1 z))))) in z 15.871 * [taylor]: Taking taylor expansion of (* 1/4 (log (- (/ 1 x) (/ 1 z)))) in z 15.871 * [taylor]: Taking taylor expansion of 1/4 in z 15.871 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in z 15.871 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 15.871 * [taylor]: Taking taylor expansion of (/ 1 x) in z 15.871 * [taylor]: Taking taylor expansion of x in z 15.871 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.871 * [taylor]: Taking taylor expansion of z in z 15.873 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/4) in x 15.873 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- (/ 1 x) (/ 1 z))))) in x 15.873 * [taylor]: Taking taylor expansion of (* 1/4 (log (- (/ 1 x) (/ 1 z)))) in x 15.873 * [taylor]: Taking taylor expansion of 1/4 in x 15.873 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in x 15.873 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 15.873 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.873 * [taylor]: Taking taylor expansion of x in x 15.874 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.874 * [taylor]: Taking taylor expansion of z in x 15.875 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/4) in x 15.875 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- (/ 1 x) (/ 1 z))))) in x 15.875 * [taylor]: Taking taylor expansion of (* 1/4 (log (- (/ 1 x) (/ 1 z)))) in x 15.875 * [taylor]: Taking taylor expansion of 1/4 in x 15.875 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in x 15.875 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 15.875 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.875 * [taylor]: Taking taylor expansion of x in x 15.875 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.875 * [taylor]: Taking taylor expansion of z in x 15.876 * [taylor]: Taking taylor expansion of (pow x -1/4) in z 15.876 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log x))) in z 15.876 * [taylor]: Taking taylor expansion of (* -1/4 (log x)) in z 15.876 * [taylor]: Taking taylor expansion of -1/4 in z 15.876 * [taylor]: Taking taylor expansion of (log x) in z 15.876 * [taylor]: Taking taylor expansion of x in z 15.878 * [taylor]: Taking taylor expansion of (* -1/4 (* (pow (/ 1 x) 1/4) (/ 1 z))) in z 15.878 * [taylor]: Taking taylor expansion of -1/4 in z 15.878 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 z)) in z 15.878 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in z 15.878 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in z 15.878 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in z 15.878 * [taylor]: Taking taylor expansion of 1/4 in z 15.878 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 15.878 * [taylor]: Taking taylor expansion of (/ 1 x) in z 15.878 * [taylor]: Taking taylor expansion of x in z 15.878 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.878 * [taylor]: Taking taylor expansion of z in z 15.885 * [taylor]: Taking taylor expansion of (* -3/32 (* (pow (/ 1 x) 1/4) (/ 1 (pow z 2)))) in z 15.885 * [taylor]: Taking taylor expansion of -3/32 in z 15.885 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 (pow z 2))) in z 15.885 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in z 15.885 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in z 15.885 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in z 15.885 * [taylor]: Taking taylor expansion of 1/4 in z 15.885 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 15.885 * [taylor]: Taking taylor expansion of (/ 1 x) in z 15.885 * [taylor]: Taking taylor expansion of x in z 15.885 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 15.885 * [taylor]: Taking taylor expansion of (pow z 2) in z 15.885 * [taylor]: Taking taylor expansion of z in z 15.907 * [taylor]: Taking taylor expansion of (* -7/128 (* (pow (/ 1 x) 1/4) (/ 1 (pow z 3)))) in z 15.907 * [taylor]: Taking taylor expansion of -7/128 in z 15.907 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 (pow z 3))) in z 15.907 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in z 15.907 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in z 15.907 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in z 15.907 * [taylor]: Taking taylor expansion of 1/4 in z 15.907 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 15.907 * [taylor]: Taking taylor expansion of (/ 1 x) in z 15.907 * [taylor]: Taking taylor expansion of x in z 15.907 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 15.907 * [taylor]: Taking taylor expansion of (pow z 3) in z 15.907 * [taylor]: Taking taylor expansion of z in z 15.921 * [approximate]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/4) in (x z) around 0 15.921 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/4) in z 15.921 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- (/ 1 z) (/ 1 x))))) in z 15.921 * [taylor]: Taking taylor expansion of (* 1/4 (log (- (/ 1 z) (/ 1 x)))) in z 15.921 * [taylor]: Taking taylor expansion of 1/4 in z 15.921 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in z 15.921 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 15.921 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.921 * [taylor]: Taking taylor expansion of z in z 15.922 * [taylor]: Taking taylor expansion of (/ 1 x) in z 15.922 * [taylor]: Taking taylor expansion of x in z 15.923 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/4) in x 15.923 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- (/ 1 z) (/ 1 x))))) in x 15.923 * [taylor]: Taking taylor expansion of (* 1/4 (log (- (/ 1 z) (/ 1 x)))) in x 15.923 * [taylor]: Taking taylor expansion of 1/4 in x 15.923 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in x 15.923 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 15.923 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.923 * [taylor]: Taking taylor expansion of z in x 15.923 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.923 * [taylor]: Taking taylor expansion of x in x 15.925 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/4) in x 15.925 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (- (/ 1 z) (/ 1 x))))) in x 15.925 * [taylor]: Taking taylor expansion of (* 1/4 (log (- (/ 1 z) (/ 1 x)))) in x 15.925 * [taylor]: Taking taylor expansion of 1/4 in x 15.925 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in x 15.925 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 15.925 * [taylor]: Taking taylor expansion of (/ 1 z) in x 15.925 * [taylor]: Taking taylor expansion of z in x 15.925 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.925 * [taylor]: Taking taylor expansion of x in x 15.928 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log -1) (log x)))) in z 15.928 * [taylor]: Taking taylor expansion of (* 1/4 (- (log -1) (log x))) in z 15.928 * [taylor]: Taking taylor expansion of 1/4 in z 15.928 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 15.928 * [taylor]: Taking taylor expansion of (log -1) in z 15.928 * [taylor]: Taking taylor expansion of -1 in z 15.928 * [taylor]: Taking taylor expansion of (log x) in z 15.928 * [taylor]: Taking taylor expansion of x in z 15.932 * [taylor]: Taking taylor expansion of (* -1/4 (/ (exp (* 1/4 (- (log -1) (log x)))) z)) in z 15.932 * [taylor]: Taking taylor expansion of -1/4 in z 15.932 * [taylor]: Taking taylor expansion of (/ (exp (* 1/4 (- (log -1) (log x)))) z) in z 15.932 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log -1) (log x)))) in z 15.932 * [taylor]: Taking taylor expansion of (* 1/4 (- (log -1) (log x))) in z 15.932 * [taylor]: Taking taylor expansion of 1/4 in z 15.932 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 15.932 * [taylor]: Taking taylor expansion of (log -1) in z 15.932 * [taylor]: Taking taylor expansion of -1 in z 15.932 * [taylor]: Taking taylor expansion of (log x) in z 15.932 * [taylor]: Taking taylor expansion of x in z 15.933 * [taylor]: Taking taylor expansion of z in z 15.945 * [taylor]: Taking taylor expansion of (* -3/32 (/ (exp (* 1/4 (- (log -1) (log x)))) (pow z 2))) in z 15.945 * [taylor]: Taking taylor expansion of -3/32 in z 15.945 * [taylor]: Taking taylor expansion of (/ (exp (* 1/4 (- (log -1) (log x)))) (pow z 2)) in z 15.945 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log -1) (log x)))) in z 15.945 * [taylor]: Taking taylor expansion of (* 1/4 (- (log -1) (log x))) in z 15.945 * [taylor]: Taking taylor expansion of 1/4 in z 15.945 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 15.945 * [taylor]: Taking taylor expansion of (log -1) in z 15.945 * [taylor]: Taking taylor expansion of -1 in z 15.946 * [taylor]: Taking taylor expansion of (log x) in z 15.946 * [taylor]: Taking taylor expansion of x in z 15.947 * [taylor]: Taking taylor expansion of (pow z 2) in z 15.947 * [taylor]: Taking taylor expansion of z in z 15.974 * [taylor]: Taking taylor expansion of (* -7/128 (/ (exp (* 1/4 (- (log -1) (log x)))) (pow z 3))) in z 15.974 * [taylor]: Taking taylor expansion of -7/128 in z 15.974 * [taylor]: Taking taylor expansion of (/ (exp (* 1/4 (- (log -1) (log x)))) (pow z 3)) in z 15.974 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log -1) (log x)))) in z 15.974 * [taylor]: Taking taylor expansion of (* 1/4 (- (log -1) (log x))) in z 15.974 * [taylor]: Taking taylor expansion of 1/4 in z 15.974 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 15.974 * [taylor]: Taking taylor expansion of (log -1) in z 15.974 * [taylor]: Taking taylor expansion of -1 in z 15.974 * [taylor]: Taking taylor expansion of (log x) in z 15.974 * [taylor]: Taking taylor expansion of x in z 15.979 * [taylor]: Taking taylor expansion of (pow z 3) in z 15.979 * [taylor]: Taking taylor expansion of z in z 16.002 * * * [progress]: simplifying candidates 16.004 * [simplify]: Simplifying using # : (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (+ (+ (log y) (log (sqrt (- x z)))) (log (sqrt (sqrt (- x z))))) (+ (log (* y (sqrt (- x z)))) (log (sqrt (sqrt (- x z))))) (log (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z))))) (exp (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z))))) (* (* (* (* y y) y) (* (* (sqrt (- x z)) (sqrt (- x z))) (sqrt (- x z)))) (* (* (sqrt (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- x z))))) (* (* (* (* y (sqrt (- x z))) (* y (sqrt (- x z)))) (* y (sqrt (- x z)))) (* (* (sqrt (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- x z))))) (* (cbrt (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z))))) (cbrt (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))))) (cbrt (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z))))) (* (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z))))) (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z))))) (sqrt (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z))))) (sqrt (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z))))) (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (* (sqrt (+ (* x x) (+ (* z z) (* x z)))) (sqrt (sqrt (+ (* x x) (+ (* z z) (* x z)))))) (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (sqrt (- (* x x) (* z z))))) (* (sqrt (+ (* x x) (+ (* z z) (* x z)))) (sqrt (sqrt (+ x z)))) (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (* (sqrt (+ x z)) (sqrt (sqrt (+ (* x x) (+ (* z z) (* x z)))))) (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (sqrt (- (* x x) (* z z))))) (* (sqrt (+ x z)) (sqrt (sqrt (+ x z)))) (* (* y (sqrt (- x z))) (* (cbrt (sqrt (sqrt (- x z)))) (cbrt (sqrt (sqrt (- x z)))))) (* (* y (sqrt (- x z))) (sqrt (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z)))))) (* (* y (sqrt (- x z))) (sqrt (sqrt (* (cbrt (- x z)) (cbrt (- x z)))))) (* (* y (sqrt (- x z))) (sqrt (sqrt (sqrt (- x z))))) (* (* y (sqrt (- x z))) (sqrt (sqrt 1))) (* (* y (sqrt (- x z))) (sqrt (sqrt (+ (sqrt x) (sqrt z))))) (* (* y (sqrt (- x z))) (sqrt (sqrt 1))) (* (* y (sqrt (- x z))) (sqrt (sqrt (sqrt (- x z))))) (* (* y (sqrt (- x z))) (sqrt 1)) (* (* y (sqrt (- x z))) (sqrt (sqrt (sqrt (- x z))))) (* (* y (sqrt (- x z))) 1) (* (sqrt (- x z)) (sqrt (sqrt (- x z)))) (* (* y (sqrt (- x z))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (* (* y (sqrt (- x z))) (sqrt (sqrt (- (* x x) (* z z))))) (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (sqrt (- x z)))) (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (sqrt (- x z)))) (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- x z)))) (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- x z)))) (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- x z)))) (+ (+ (+ (log y) (log (sqrt (- x z)))) (log (sqrt (sqrt (- x z))))) (log (sqrt (sqrt (- x z))))) (+ (+ (log (* y (sqrt (- x z)))) (log (sqrt (sqrt (- x z))))) (log (sqrt (sqrt (- x z))))) (+ (log (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z))))) (log (sqrt (sqrt (- x z))))) (log (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- x z))))) (exp (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- x z))))) (* (* (* (* (* y y) y) (* (* (sqrt (- x z)) (sqrt (- x z))) (sqrt (- x z)))) (* (* (sqrt (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- x z))))) (* (* (sqrt (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- x z))))) (* (* (* (* (* y (sqrt (- x z))) (* y (sqrt (- x z)))) (* y (sqrt (- x z)))) (* (* (sqrt (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- x z))))) (* (* (sqrt (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- x z))))) (* (* (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z))))) (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z))))) (* (* (sqrt (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- x z))))) (* (cbrt (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- x z))))) (cbrt (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- x z)))))) (cbrt (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- x z))))) (* (* (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- x z)))) (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- x z))))) (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- x z))))) (sqrt (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- x z))))) (sqrt (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- x z))))) (* (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (* (* (sqrt (+ (* x x) (+ (* z z) (* x z)))) (sqrt (sqrt (+ (* x x) (+ (* z z) (* x z)))))) (sqrt (sqrt (+ (* x x) (+ (* z z) (* x z)))))) (* (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (sqrt (sqrt (- (* x x) (* z z))))) (* (* (sqrt (+ (* x x) (+ (* z z) (* x z)))) (sqrt (sqrt (+ (* x x) (+ (* z z) (* x z)))))) (sqrt (sqrt (+ x z)))) (* (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (sqrt (- (* x x) (* z z))))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (* (* (sqrt (+ (* x x) (+ (* z z) (* x z)))) (sqrt (sqrt (+ x z)))) (sqrt (sqrt (+ (* x x) (+ (* z z) (* x z)))))) (* (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (sqrt (- (* x x) (* z z))))) (sqrt (sqrt (- (* x x) (* z z))))) (* (* (sqrt (+ (* x x) (+ (* z z) (* x z)))) (sqrt (sqrt (+ x z)))) (sqrt (sqrt (+ x z)))) (* (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (* (* (sqrt (+ x z)) (sqrt (sqrt (+ (* x x) (+ (* z z) (* x z)))))) (sqrt (sqrt (+ (* x x) (+ (* z z) (* x z)))))) (* (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (sqrt (sqrt (- (* x x) (* z z))))) (* (* (sqrt (+ x z)) (sqrt (sqrt (+ (* x x) (+ (* z z) (* x z)))))) (sqrt (sqrt (+ x z)))) (* (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (sqrt (- (* x x) (* z z))))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (* (* (sqrt (+ x z)) (sqrt (sqrt (+ x z)))) (sqrt (sqrt (+ (* x x) (+ (* z z) (* x z)))))) (* (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (sqrt (- (* x x) (* z z))))) (sqrt (sqrt (- (* x x) (* z z))))) (* (* (sqrt (+ x z)) (sqrt (sqrt (+ x z)))) (sqrt (sqrt (+ x z)))) (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (* (sqrt (sqrt (+ (* x x) (+ (* z z) (* x z))))) (sqrt (sqrt (+ (* x x) (+ (* z z) (* x z)))))) (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (sqrt (sqrt (- (* x x) (* z z))))) (* (sqrt (sqrt (+ (* x x) (+ (* z z) (* x z))))) (sqrt (sqrt (+ x z)))) (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- (* x x) (* z z))))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (* (sqrt (sqrt (+ x z))) (sqrt (sqrt (+ (* x x) (+ (* z z) (* x z)))))) (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- (* x x) (* z z))))) (sqrt (sqrt (- (* x x) (* z z))))) (* (sqrt (sqrt (+ x z))) (sqrt (sqrt (+ x z)))) (* (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (* (sqrt (+ (* x x) (+ (* z z) (* x z)))) (sqrt (sqrt (+ (* x x) (+ (* z z) (* x z)))))) (* (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- (* x x) (* z z))))) (* (sqrt (+ (* x x) (+ (* z z) (* x z)))) (sqrt (sqrt (+ x z)))) (* (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (* (sqrt (+ x z)) (sqrt (sqrt (+ (* x x) (+ (* z z) (* x z)))))) (* (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- (* x x) (* z z))))) (* (sqrt (+ x z)) (sqrt (sqrt (+ x z)))) (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (* (cbrt (sqrt (sqrt (- x z)))) (cbrt (sqrt (sqrt (- x z)))))) (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z)))))) (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (* (cbrt (- x z)) (cbrt (- x z)))))) (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (sqrt (- x z))))) (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt 1))) (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (+ (sqrt x) (sqrt z))))) (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt 1))) (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (sqrt (- x z))))) (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt 1)) (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (sqrt (- x z))))) (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) 1) (* (sqrt (sqrt (- x z))) (sqrt (sqrt (- x z)))) (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- (* x x) (* z z))))) (* (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (sqrt (sqrt (- x z)))) (* (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (sqrt (- (* x x) (* z z))))) (sqrt (sqrt (- x z)))) (* (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (sqrt (sqrt (- x z)))) (* (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (sqrt (- (* x x) (* z z))))) (sqrt (sqrt (- x z)))) (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (sqrt (sqrt (- x z)))) (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- (* x x) (* z z))))) (sqrt (sqrt (- x z)))) (* (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- x z)))) (* (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- x z)))) (* y (sqrt (- x z))) (+ (log y) (log (sqrt (- x z)))) (log (* y (sqrt (- x z)))) (exp (* y (sqrt (- x z)))) (* (* (* y y) y) (* (* (sqrt (- x z)) (sqrt (- x z))) (sqrt (- x z)))) (* (cbrt (* y (sqrt (- x z)))) (cbrt (* y (sqrt (- x z))))) (cbrt (* y (sqrt (- x z)))) (* (* (* y (sqrt (- x z))) (* y (sqrt (- x z)))) (* y (sqrt (- x z)))) (sqrt (* y (sqrt (- x z)))) (sqrt (* y (sqrt (- x z)))) (* (sqrt y) (sqrt (sqrt (- x z)))) (* (sqrt y) (sqrt (sqrt (- x z)))) (* (sqrt y) (sqrt (sqrt (- x z)))) (* (sqrt y) (sqrt (sqrt (- x z)))) (* y (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z))))) (* y (sqrt (* (cbrt (- x z)) (cbrt (- x z))))) (* y (sqrt (sqrt (- x z)))) (* y (sqrt 1)) (* y (sqrt (+ (sqrt x) (sqrt z)))) (* y (sqrt 1)) (* y (sqrt (sqrt (- x z)))) (* y 1) (* (cbrt y) (sqrt (- x z))) (* (sqrt y) (sqrt (- x z))) (* y (sqrt (- x z))) (* y (sqrt (- (pow x 3) (pow z 3)))) (* y (sqrt (- (* x x) (* z z)))) (log (sqrt (sqrt (- x z)))) (exp (sqrt (sqrt (- x z)))) (* (cbrt (sqrt (sqrt (- x z)))) (cbrt (sqrt (sqrt (- x z))))) (cbrt (sqrt (sqrt (- x z)))) (* (* (sqrt (sqrt (- x z))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- x z)))) (sqrt (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z))))) (sqrt (cbrt (sqrt (- x z)))) (sqrt (sqrt (* (cbrt (- x z)) (cbrt (- x z))))) (sqrt (sqrt (cbrt (- x z)))) (sqrt (sqrt (sqrt (- x z)))) (sqrt (sqrt (sqrt (- x z)))) (sqrt (sqrt 1)) (sqrt (sqrt (- x z))) (sqrt (sqrt (+ (sqrt x) (sqrt z)))) (sqrt (sqrt (- (sqrt x) (sqrt z)))) (sqrt (sqrt 1)) (sqrt (sqrt (- x z))) (sqrt (sqrt (sqrt (- x z)))) (sqrt (sqrt (sqrt (- x z)))) (sqrt 1) (sqrt (sqrt (- x z))) (sqrt (sqrt (- (pow x 3) (pow z 3)))) (sqrt (sqrt (+ (* x x) (+ (* z z) (* x z))))) (sqrt (sqrt (- (* x x) (* z z)))) (sqrt (sqrt (+ x z))) (/ 1/2 2) (/ 1 2) (/ (/ 1 2) 2) (sqrt (sqrt (sqrt (- x z)))) (sqrt (sqrt (sqrt (- x z)))) (- (* (exp (* 1/4 (+ (* 3 (log z)) (log -1)))) y) (* 3/4 (* (exp (* 1/4 (- (log -1) (log z)))) (* x y)))) (* (pow (pow x 3) 1/4) y) (* y (exp (* 1/4 (- (log -1) (* 3 (log (/ -1 x))))))) (- (* x y) (* z y)) (- (* x y) (* z y)) (- (* x y) (* z y)) (- (+ (* +nan.0 (* (pow x 2) y)) (- (+ (* +nan.0 (* z y)) (- (* +nan.0 (* x y))))))) (- (+ (* +nan.0 (/ (* z y) x)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ (* z y) (pow x 2)))))))) (- (+ (* +nan.0 (/ (* z y) x)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ (* z y) (pow x 2)))))))) (- (exp (* 1/4 (+ (log z) (log -1)))) (+ (* 3/32 (* (pow x 2) (exp (* 1/4 (- (log -1) (* 7 (log z))))))) (* 1/4 (* (exp (* 1/4 (- (log -1) (* 3 (log z))))) x)))) (pow (/ 1 x) -1/4) (exp (* 1/4 (- (log -1) (log (/ -1 x))))) 16.012 * * [simplify]: iteration 0 : 253 enodes (cost 3018 ) 16.077 * * [simplify]: iteration 1 : 658 enodes (cost 2544 ) 16.290 * * [simplify]: iteration 2 : 1955 enodes (cost 2081 ) 16.984 * * [simplify]: iteration done : 5000 enodes (cost 2067 ) 16.985 * [simplify]: Simplified to: (* y (pow (sqrt (sqrt (- x z))) 3)) (* y (pow (sqrt (sqrt (- x z))) 3)) (log (* y (pow (sqrt (sqrt (- x z))) 3))) (log (* y (pow (sqrt (sqrt (- x z))) 3))) (log (* y (pow (sqrt (sqrt (- x z))) 3))) (pow (exp y) (pow (sqrt (sqrt (- x z))) 3)) (pow (* y (pow (sqrt (sqrt (- x z))) 3)) 3) (pow (* y (pow (sqrt (sqrt (- x z))) 3)) 3) (* (cbrt (* y (pow (sqrt (sqrt (- x z))) 3))) (cbrt (* y (pow (sqrt (sqrt (- x z))) 3)))) (cbrt (* y (pow (sqrt (sqrt (- x z))) 3))) (pow (* y (pow (sqrt (sqrt (- x z))) 3)) 3) (sqrt (* y (pow (sqrt (sqrt (- x z))) 3))) (sqrt (* y (pow (sqrt (sqrt (- x z))) 3))) (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (pow (sqrt (sqrt (+ (* z (+ x z)) (* x x)))) 3) (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (sqrt (- (* x x) (* z z))))) (* (sqrt (sqrt (+ x z))) (sqrt (+ (* z (+ x z)) (* x x)))) (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (* (sqrt (sqrt (+ (* z (+ x z)) (* x x)))) (sqrt (+ x z))) (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (sqrt (- (* x x) (* z z))))) (pow (sqrt (sqrt (+ x z))) 3) (* (* y (sqrt (- x z))) (* (cbrt (sqrt (sqrt (- x z)))) (cbrt (sqrt (sqrt (- x z)))))) (* (fabs (cbrt (sqrt (- x z)))) (* y (sqrt (- x z)))) (* (* y (sqrt (- x z))) (sqrt (fabs (cbrt (- x z))))) (* (* y (sqrt (- x z))) (sqrt (sqrt (sqrt (- x z))))) (* y (sqrt (- x z))) (* (* y (sqrt (- x z))) (sqrt (sqrt (+ (sqrt x) (sqrt z))))) (* y (sqrt (- x z))) (* (* y (sqrt (- x z))) (sqrt (sqrt (sqrt (- x z))))) (* y (sqrt (- x z))) (* (* y (sqrt (- x z))) (sqrt (sqrt (sqrt (- x z))))) (* y (sqrt (- x z))) (pow (sqrt (sqrt (- x z))) 3) (* (* y (sqrt (- x z))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (* (* y (sqrt (- x z))) (sqrt (sqrt (- (* x x) (* z z))))) (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (sqrt (- x z)))) (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (sqrt (- x z)))) (* y (- x z)) (* y (- x z)) (* y (- x z)) (log (* y (- x z))) (log (* y (- x z))) (log (* y (- x z))) (log (* y (- x z))) (exp (* y (- x z))) (pow (* y (- x z)) 3) (pow (* y (- x z)) 3) (pow (* y (- x z)) 3) (* (cbrt (* y (- x z))) (cbrt (* y (- x z)))) (cbrt (* y (- x z))) (pow (* y (- x z)) 3) (sqrt (* y (- x z))) (sqrt (* y (- x z))) (* (sqrt (- (pow x 3) (pow z 3))) (* y (sqrt (- (pow x 3) (pow z 3))))) (+ (* z (+ x z)) (* x x)) (* (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (sqrt (- (* x x) (* z z))))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (* (sqrt (sqrt (+ x z))) (pow (sqrt (sqrt (+ (* z (+ x z)) (* x x)))) 3)) (* (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (sqrt (- (* x x) (* z z))))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (* (sqrt (sqrt (+ x z))) (pow (sqrt (sqrt (+ (* z (+ x z)) (* x x)))) 3)) (* (sqrt (- (pow x 3) (pow z 3))) (* y (sqrt (- (* x x) (* z z))))) (* (sqrt (+ x z)) (sqrt (+ (* z (+ x z)) (* x x)))) (* (sqrt (- (pow x 3) (pow z 3))) (* y (sqrt (- (* x x) (* z z))))) (* (sqrt (+ x z)) (sqrt (+ (* z (+ x z)) (* x x)))) (* (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (sqrt (- (* x x) (* z z))))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (* (sqrt (sqrt (+ (* z (+ x z)) (* x x)))) (pow (sqrt (sqrt (+ x z))) 3)) (* (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (sqrt (- (* x x) (* z z))))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (* (sqrt (sqrt (+ (* z (+ x z)) (* x x)))) (pow (sqrt (sqrt (+ x z))) 3)) (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (- (* x x) (* z z)))) (+ x z) (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (- x z))) (sqrt (+ (* z (+ x z)) (* x x))) (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- (* x x) (* z z))))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (* (sqrt (sqrt (+ x z))) (sqrt (sqrt (+ (* z (+ x z)) (* x x))))) (* (* (* y (sqrt (- x z))) (sqrt (sqrt (- (* x x) (* z z))))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (* (sqrt (sqrt (+ x z))) (sqrt (sqrt (+ (* z (+ x z)) (* x x))))) (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (- x z))) (sqrt (+ x z)) (* (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (pow (sqrt (sqrt (+ (* z (+ x z)) (* x x)))) 3) (* (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (sqrt (- (* x x) (* z z))))) (sqrt (sqrt (- x z)))) (* (sqrt (sqrt (+ x z))) (sqrt (+ (* z (+ x z)) (* x x)))) (* (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (* (sqrt (sqrt (+ (* z (+ x z)) (* x x)))) (sqrt (+ x z))) (* (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (sqrt (- (* x x) (* z z))))) (sqrt (sqrt (- x z)))) (pow (sqrt (sqrt (+ x z))) 3) (* (* y (pow (sqrt (sqrt (- x z))) 3)) (* (cbrt (sqrt (sqrt (- x z)))) (cbrt (sqrt (sqrt (- x z)))))) (* (* y (pow (sqrt (sqrt (- x z))) 3)) (fabs (cbrt (sqrt (- x z))))) (* y (* (pow (sqrt (sqrt (- x z))) 3) (sqrt (fabs (cbrt (- x z)))))) (* (* (sqrt (sqrt (sqrt (- x z)))) y) (pow (sqrt (sqrt (- x z))) 3)) (* y (pow (sqrt (sqrt (- x z))) 3)) (* (* y (pow (sqrt (sqrt (- x z))) 3)) (sqrt (sqrt (+ (sqrt x) (sqrt z))))) (* y (pow (sqrt (sqrt (- x z))) 3)) (* (* (sqrt (sqrt (sqrt (- x z)))) y) (pow (sqrt (sqrt (- x z))) 3)) (* y (pow (sqrt (sqrt (- x z))) 3)) (* (* (sqrt (sqrt (sqrt (- x z)))) y) (pow (sqrt (sqrt (- x z))) 3)) (* y (pow (sqrt (sqrt (- x z))) 3)) (sqrt (- x z)) (* (* (sqrt (sqrt (- (pow x 3) (pow z 3)))) y) (pow (sqrt (sqrt (- x z))) 3)) (* (sqrt (sqrt (- (* x x) (* z z)))) (* y (pow (sqrt (sqrt (- x z))) 3))) (* (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (* (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (sqrt (- (* x x) (* z z))))) (sqrt (sqrt (- x z)))) (* (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (sqrt (- x z)))) (sqrt (sqrt (- (pow x 3) (pow z 3))))) (* (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (sqrt (- (* x x) (* z z))))) (sqrt (sqrt (- x z)))) (* (* (sqrt (sqrt (- (pow x 3) (pow z 3)))) y) (pow (sqrt (sqrt (- x z))) 3)) (* (sqrt (sqrt (- (* x x) (* z z)))) (* y (pow (sqrt (sqrt (- x z))) 3))) (* (* y (sqrt (- (pow x 3) (pow z 3)))) (sqrt (- x z))) (* (* y (sqrt (- (* x x) (* z z)))) (sqrt (- x z))) (* y (sqrt (- x z))) (log (* y (sqrt (- x z)))) (log (* y (sqrt (- x z)))) (exp (* y (sqrt (- x z)))) (pow (* y (sqrt (- x z))) 3) (* (cbrt (* y (sqrt (- x z)))) (cbrt (* y (sqrt (- x z))))) (cbrt (* y (sqrt (- x z)))) (pow (* y (sqrt (- x z))) 3) (sqrt (* y (sqrt (- x z)))) (sqrt (* y (sqrt (- x z)))) (* (sqrt y) (sqrt (sqrt (- x z)))) (* (sqrt y) (sqrt (sqrt (- x z)))) (* (sqrt y) (sqrt (sqrt (- x z)))) (* (sqrt y) (sqrt (sqrt (- x z)))) (* y (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z))))) (* y (fabs (cbrt (- x z)))) (* y (sqrt (sqrt (- x z)))) y (* y (sqrt (+ (sqrt x) (sqrt z)))) y (* y (sqrt (sqrt (- x z)))) y (* (cbrt y) (sqrt (- x z))) (* (sqrt y) (sqrt (- x z))) (* y (sqrt (- x z))) (* y (sqrt (- (pow x 3) (pow z 3)))) (* y (sqrt (- (* x x) (* z z)))) (log (sqrt (sqrt (- x z)))) (exp (sqrt (sqrt (- x z)))) (* (cbrt (sqrt (sqrt (- x z)))) (cbrt (sqrt (sqrt (- x z))))) (cbrt (sqrt (sqrt (- x z)))) (pow (sqrt (sqrt (- x z))) 3) (fabs (cbrt (sqrt (- x z)))) (sqrt (cbrt (sqrt (- x z)))) (sqrt (fabs (cbrt (- x z)))) (sqrt (sqrt (cbrt (- x z)))) (sqrt (sqrt (sqrt (- x z)))) (sqrt (sqrt (sqrt (- x z)))) 1 (sqrt (sqrt (- x z))) (sqrt (sqrt (+ (sqrt x) (sqrt z)))) (sqrt (sqrt (- (sqrt x) (sqrt z)))) 1 (sqrt (sqrt (- x z))) (sqrt (sqrt (sqrt (- x z)))) (sqrt (sqrt (sqrt (- x z)))) 1 (sqrt (sqrt (- x z))) (sqrt (sqrt (- (pow x 3) (pow z 3)))) (sqrt (sqrt (+ (* z (+ x z)) (* x x)))) (sqrt (sqrt (- (* x x) (* z z)))) (sqrt (sqrt (+ x z))) 1/4 1/2 1/4 (sqrt (sqrt (sqrt (- x z)))) (sqrt (sqrt (sqrt (- x z)))) (* y (- (exp (* 1/4 (+ (* 3 (log z)) (log -1)))) (* 3/4 (* (exp (* 1/4 (- (log -1) (log z)))) x)))) (* (pow (pow x 3) 1/4) y) (* y (exp (* 1/4 (- (log -1) (* 3 (log (/ -1 x))))))) (* y (- x z)) (* y (- x z)) (* y (- x z)) (* +nan.0 (+ (* y (- z x)) (- (* (pow x 2) y)))) (- (- (* (/ (* z y) x) (+ (/ +nan.0 x) +nan.0)) (* +nan.0 y))) (- (- (* (/ (* z y) x) (+ (/ +nan.0 x) +nan.0)) (* +nan.0 y))) (- (exp (* 1/4 (+ (log z) (log -1)))) (+ (* 3/32 (* (pow x 2) (exp (* 1/4 (- (log -1) (* 7 (log z))))))) (* 1/4 (* (exp (* 1/4 (- (log -1) (* 3 (log z))))) x)))) (pow (/ 1 x) -1/4) (exp (* 1/4 (- (log -1) (log (/ -1 x))))) 16.986 * * * [progress]: adding candidates to table 17.353 * [progress]: [Phase 3 of 3] Extracting. 17.353 * * [regime]: Finding splitpoints for: (# # # # #) 17.353 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 17.354 * * * * [regimes]: Trying to branch on z from (# # # # #) 17.376 * * * * [regimes]: Trying to branch on y from (# # # # #) 17.395 * * * * [regimes]: Trying to branch on x from (# # # # #) 17.417 * * * [regime]: Found split indices: #