76.722 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.039 * * * [progress]: [2/2] Setting up program. 0.042 * [progress]: [Phase 2 of 3] Improving. 0.042 * [simplify]: Simplifying: (* x (/ (* (/ y z) t) t)) 0.043 * * [simplify]: Extracting # 0 : cost 0 0.043 * * [simplify]: Extracting # 1 : cost 0 0.043 * * [simplify]: Extracting # 2 : cost 0 0.043 * * [simplify]: Extracting # 3 : cost 0 0.043 * * [simplify]: Extracting # 4 : cost 0 0.043 * * [simplify]: Extracting # 5 : cost 0 0.043 * * [simplify]: Extracting # 6 : cost 0 0.043 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.045 * * [simplify]: Extracting # 0 : cost 0 0.045 * * [simplify]: Extracting # 1 : cost 0 0.045 * * [simplify]: Extracting # 2 : cost 0 0.045 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 0.051 * * [simplify]: Extracting # 0 : cost 0 0.051 * * [simplify]: Extracting # 1 : cost 0 0.051 * * [simplify]: Extracting # 2 : cost 0 0.051 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 0.077 * * [simplify]: Extracting # 0 : cost 0 0.078 * * [simplify]: Extracting # 1 : cost 0 0.078 * * [simplify]: Extracting # 2 : cost 0 0.078 * * [simplify]: iteration 3 : 99 enodes (cost 5 ) 0.154 * * [simplify]: Extracting # 0 : cost 0 0.155 * * [simplify]: Extracting # 1 : cost 0 0.155 * * [simplify]: Extracting # 2 : cost 0 0.155 * * [simplify]: iteration 4 : 386 enodes (cost 5 ) 1.639 * * [simplify]: Extracting # 0 : cost 0 1.641 * * [simplify]: Extracting # 1 : cost 0 1.644 * * [simplify]: Extracting # 2 : cost 0 1.646 * * [simplify]: iteration 5 : 1705 enodes (cost 5 ) 5.565 * * [simplify]: Extracting # 0 : cost 0 5.578 * * [simplify]: Extracting # 1 : cost 0 5.586 * * [simplify]: Extracting # 2 : cost 0 5.593 * * [simplify]: Extracting # 3 : cost 0 5.608 * * [simplify]: iteration done: 5001 enodes (cost 5 ) 5.608 * [simplify]: Simplified to: (* (/ y z) x) 5.611 * * [progress]: iteration 1 / 4 5.611 * * * [progress]: picking best candidate 5.614 * * * * [pick]: Picked # 5.614 * * * [progress]: localizing error 5.619 * * * [progress]: generating rewritten candidates 5.619 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.635 * * * [progress]: generating series expansions 5.635 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.636 * [backup-simplify]: Simplify (* (/ y z) x) into (/ (* x y) z) 5.636 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (y z x) around 0 5.636 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 5.636 * [taylor]: Taking taylor expansion of (* x y) in x 5.636 * [taylor]: Taking taylor expansion of x in x 5.636 * [backup-simplify]: Simplify 0 into 0 5.636 * [backup-simplify]: Simplify 1 into 1 5.636 * [taylor]: Taking taylor expansion of y in x 5.636 * [backup-simplify]: Simplify y into y 5.636 * [taylor]: Taking taylor expansion of z in x 5.636 * [backup-simplify]: Simplify z into z 5.636 * [backup-simplify]: Simplify (* 0 y) into 0 5.636 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.636 * [backup-simplify]: Simplify (/ y z) into (/ y z) 5.636 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 5.636 * [taylor]: Taking taylor expansion of (* x y) in z 5.636 * [taylor]: Taking taylor expansion of x in z 5.636 * [backup-simplify]: Simplify x into x 5.636 * [taylor]: Taking taylor expansion of y in z 5.637 * [backup-simplify]: Simplify y into y 5.637 * [taylor]: Taking taylor expansion of z in z 5.637 * [backup-simplify]: Simplify 0 into 0 5.637 * [backup-simplify]: Simplify 1 into 1 5.637 * [backup-simplify]: Simplify (* x y) into (* x y) 5.637 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 5.637 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 5.637 * [taylor]: Taking taylor expansion of (* x y) in y 5.637 * [taylor]: Taking taylor expansion of x in y 5.637 * [backup-simplify]: Simplify x into x 5.637 * [taylor]: Taking taylor expansion of y in y 5.637 * [backup-simplify]: Simplify 0 into 0 5.637 * [backup-simplify]: Simplify 1 into 1 5.637 * [taylor]: Taking taylor expansion of z in y 5.637 * [backup-simplify]: Simplify z into z 5.637 * [backup-simplify]: Simplify (* x 0) into 0 5.637 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.637 * [backup-simplify]: Simplify (/ x z) into (/ x z) 5.637 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 5.637 * [taylor]: Taking taylor expansion of (* x y) in y 5.637 * [taylor]: Taking taylor expansion of x in y 5.637 * [backup-simplify]: Simplify x into x 5.637 * [taylor]: Taking taylor expansion of y in y 5.637 * [backup-simplify]: Simplify 0 into 0 5.637 * [backup-simplify]: Simplify 1 into 1 5.637 * [taylor]: Taking taylor expansion of z in y 5.637 * [backup-simplify]: Simplify z into z 5.637 * [backup-simplify]: Simplify (* x 0) into 0 5.638 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.638 * [backup-simplify]: Simplify (/ x z) into (/ x z) 5.638 * [taylor]: Taking taylor expansion of (/ x z) in z 5.638 * [taylor]: Taking taylor expansion of x in z 5.638 * [backup-simplify]: Simplify x into x 5.638 * [taylor]: Taking taylor expansion of z in z 5.638 * [backup-simplify]: Simplify 0 into 0 5.638 * [backup-simplify]: Simplify 1 into 1 5.638 * [backup-simplify]: Simplify (/ x 1) into x 5.638 * [taylor]: Taking taylor expansion of x in x 5.638 * [backup-simplify]: Simplify 0 into 0 5.638 * [backup-simplify]: Simplify 1 into 1 5.638 * [backup-simplify]: Simplify 1 into 1 5.638 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 5.639 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0 5.639 * [taylor]: Taking taylor expansion of 0 in z 5.639 * [backup-simplify]: Simplify 0 into 0 5.639 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0 5.639 * [taylor]: Taking taylor expansion of 0 in x 5.639 * [backup-simplify]: Simplify 0 into 0 5.639 * [backup-simplify]: Simplify 0 into 0 5.639 * [backup-simplify]: Simplify 0 into 0 5.640 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 5.640 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 5.640 * [taylor]: Taking taylor expansion of 0 in z 5.640 * [backup-simplify]: Simplify 0 into 0 5.640 * [taylor]: Taking taylor expansion of 0 in x 5.640 * [backup-simplify]: Simplify 0 into 0 5.640 * [backup-simplify]: Simplify 0 into 0 5.641 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.641 * [taylor]: Taking taylor expansion of 0 in x 5.641 * [backup-simplify]: Simplify 0 into 0 5.641 * [backup-simplify]: Simplify 0 into 0 5.641 * [backup-simplify]: Simplify 0 into 0 5.641 * [backup-simplify]: Simplify 0 into 0 5.641 * [backup-simplify]: Simplify (* 1 (* x (* (/ 1 z) y))) into (/ (* x y) z) 5.641 * [backup-simplify]: Simplify (* (/ (/ 1 y) (/ 1 z)) (/ 1 x)) into (/ z (* x y)) 5.641 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (y z x) around 0 5.641 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 5.641 * [taylor]: Taking taylor expansion of z in x 5.641 * [backup-simplify]: Simplify z into z 5.641 * [taylor]: Taking taylor expansion of (* x y) in x 5.641 * [taylor]: Taking taylor expansion of x in x 5.641 * [backup-simplify]: Simplify 0 into 0 5.641 * [backup-simplify]: Simplify 1 into 1 5.641 * [taylor]: Taking taylor expansion of y in x 5.641 * [backup-simplify]: Simplify y into y 5.641 * [backup-simplify]: Simplify (* 0 y) into 0 5.642 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.642 * [backup-simplify]: Simplify (/ z y) into (/ z y) 5.642 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 5.642 * [taylor]: Taking taylor expansion of z in z 5.642 * [backup-simplify]: Simplify 0 into 0 5.642 * [backup-simplify]: Simplify 1 into 1 5.642 * [taylor]: Taking taylor expansion of (* x y) in z 5.642 * [taylor]: Taking taylor expansion of x in z 5.642 * [backup-simplify]: Simplify x into x 5.642 * [taylor]: Taking taylor expansion of y in z 5.642 * [backup-simplify]: Simplify y into y 5.642 * [backup-simplify]: Simplify (* x y) into (* x y) 5.642 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 5.642 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 5.642 * [taylor]: Taking taylor expansion of z in y 5.642 * [backup-simplify]: Simplify z into z 5.642 * [taylor]: Taking taylor expansion of (* x y) in y 5.642 * [taylor]: Taking taylor expansion of x in y 5.642 * [backup-simplify]: Simplify x into x 5.642 * [taylor]: Taking taylor expansion of y in y 5.642 * [backup-simplify]: Simplify 0 into 0 5.642 * [backup-simplify]: Simplify 1 into 1 5.642 * [backup-simplify]: Simplify (* x 0) into 0 5.642 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.642 * [backup-simplify]: Simplify (/ z x) into (/ z x) 5.642 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 5.643 * [taylor]: Taking taylor expansion of z in y 5.643 * [backup-simplify]: Simplify z into z 5.643 * [taylor]: Taking taylor expansion of (* x y) in y 5.643 * [taylor]: Taking taylor expansion of x in y 5.643 * [backup-simplify]: Simplify x into x 5.643 * [taylor]: Taking taylor expansion of y in y 5.643 * [backup-simplify]: Simplify 0 into 0 5.643 * [backup-simplify]: Simplify 1 into 1 5.643 * [backup-simplify]: Simplify (* x 0) into 0 5.643 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.643 * [backup-simplify]: Simplify (/ z x) into (/ z x) 5.643 * [taylor]: Taking taylor expansion of (/ z x) in z 5.643 * [taylor]: Taking taylor expansion of z in z 5.643 * [backup-simplify]: Simplify 0 into 0 5.643 * [backup-simplify]: Simplify 1 into 1 5.643 * [taylor]: Taking taylor expansion of x in z 5.643 * [backup-simplify]: Simplify x into x 5.644 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.644 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.644 * [taylor]: Taking taylor expansion of x in x 5.644 * [backup-simplify]: Simplify 0 into 0 5.644 * [backup-simplify]: Simplify 1 into 1 5.644 * [backup-simplify]: Simplify (/ 1 1) into 1 5.644 * [backup-simplify]: Simplify 1 into 1 5.645 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 5.645 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 5.645 * [taylor]: Taking taylor expansion of 0 in z 5.645 * [backup-simplify]: Simplify 0 into 0 5.645 * [taylor]: Taking taylor expansion of 0 in x 5.645 * [backup-simplify]: Simplify 0 into 0 5.645 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 5.645 * [taylor]: Taking taylor expansion of 0 in x 5.645 * [backup-simplify]: Simplify 0 into 0 5.646 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.646 * [backup-simplify]: Simplify 0 into 0 5.647 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 5.647 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.647 * [taylor]: Taking taylor expansion of 0 in z 5.647 * [backup-simplify]: Simplify 0 into 0 5.647 * [taylor]: Taking taylor expansion of 0 in x 5.647 * [backup-simplify]: Simplify 0 into 0 5.647 * [taylor]: Taking taylor expansion of 0 in x 5.647 * [backup-simplify]: Simplify 0 into 0 5.648 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.648 * [taylor]: Taking taylor expansion of 0 in x 5.648 * [backup-simplify]: Simplify 0 into 0 5.648 * [backup-simplify]: Simplify 0 into 0 5.648 * [backup-simplify]: Simplify 0 into 0 5.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.649 * [backup-simplify]: Simplify 0 into 0 5.650 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 5.650 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.650 * [taylor]: Taking taylor expansion of 0 in z 5.650 * [backup-simplify]: Simplify 0 into 0 5.650 * [taylor]: Taking taylor expansion of 0 in x 5.650 * [backup-simplify]: Simplify 0 into 0 5.650 * [taylor]: Taking taylor expansion of 0 in x 5.650 * [backup-simplify]: Simplify 0 into 0 5.650 * [taylor]: Taking taylor expansion of 0 in x 5.650 * [backup-simplify]: Simplify 0 into 0 5.651 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.651 * [taylor]: Taking taylor expansion of 0 in x 5.651 * [backup-simplify]: Simplify 0 into 0 5.651 * [backup-simplify]: Simplify 0 into 0 5.651 * [backup-simplify]: Simplify 0 into 0 5.651 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 z) (/ 1 (/ 1 y))))) into (/ (* x y) z) 5.651 * [backup-simplify]: Simplify (* (/ (/ 1 (- y)) (/ 1 (- z))) (/ 1 (- x))) into (* -1 (/ z (* x y))) 5.651 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (y z x) around 0 5.651 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 5.651 * [taylor]: Taking taylor expansion of -1 in x 5.651 * [backup-simplify]: Simplify -1 into -1 5.651 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 5.651 * [taylor]: Taking taylor expansion of z in x 5.651 * [backup-simplify]: Simplify z into z 5.652 * [taylor]: Taking taylor expansion of (* x y) in x 5.652 * [taylor]: Taking taylor expansion of x in x 5.652 * [backup-simplify]: Simplify 0 into 0 5.652 * [backup-simplify]: Simplify 1 into 1 5.652 * [taylor]: Taking taylor expansion of y in x 5.652 * [backup-simplify]: Simplify y into y 5.652 * [backup-simplify]: Simplify (* 0 y) into 0 5.652 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.652 * [backup-simplify]: Simplify (/ z y) into (/ z y) 5.652 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 5.652 * [taylor]: Taking taylor expansion of -1 in z 5.652 * [backup-simplify]: Simplify -1 into -1 5.652 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 5.652 * [taylor]: Taking taylor expansion of z in z 5.652 * [backup-simplify]: Simplify 0 into 0 5.652 * [backup-simplify]: Simplify 1 into 1 5.652 * [taylor]: Taking taylor expansion of (* x y) in z 5.652 * [taylor]: Taking taylor expansion of x in z 5.653 * [backup-simplify]: Simplify x into x 5.653 * [taylor]: Taking taylor expansion of y in z 5.653 * [backup-simplify]: Simplify y into y 5.653 * [backup-simplify]: Simplify (* x y) into (* x y) 5.653 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 5.653 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 5.653 * [taylor]: Taking taylor expansion of -1 in y 5.653 * [backup-simplify]: Simplify -1 into -1 5.653 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 5.653 * [taylor]: Taking taylor expansion of z in y 5.653 * [backup-simplify]: Simplify z into z 5.653 * [taylor]: Taking taylor expansion of (* x y) in y 5.653 * [taylor]: Taking taylor expansion of x in y 5.653 * [backup-simplify]: Simplify x into x 5.653 * [taylor]: Taking taylor expansion of y in y 5.653 * [backup-simplify]: Simplify 0 into 0 5.653 * [backup-simplify]: Simplify 1 into 1 5.653 * [backup-simplify]: Simplify (* x 0) into 0 5.654 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.654 * [backup-simplify]: Simplify (/ z x) into (/ z x) 5.654 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 5.654 * [taylor]: Taking taylor expansion of -1 in y 5.654 * [backup-simplify]: Simplify -1 into -1 5.654 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 5.654 * [taylor]: Taking taylor expansion of z in y 5.654 * [backup-simplify]: Simplify z into z 5.654 * [taylor]: Taking taylor expansion of (* x y) in y 5.654 * [taylor]: Taking taylor expansion of x in y 5.654 * [backup-simplify]: Simplify x into x 5.654 * [taylor]: Taking taylor expansion of y in y 5.654 * [backup-simplify]: Simplify 0 into 0 5.654 * [backup-simplify]: Simplify 1 into 1 5.654 * [backup-simplify]: Simplify (* x 0) into 0 5.654 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.654 * [backup-simplify]: Simplify (/ z x) into (/ z x) 5.655 * [backup-simplify]: Simplify (* -1 (/ z x)) into (* -1 (/ z x)) 5.655 * [taylor]: Taking taylor expansion of (* -1 (/ z x)) in z 5.655 * [taylor]: Taking taylor expansion of -1 in z 5.655 * [backup-simplify]: Simplify -1 into -1 5.655 * [taylor]: Taking taylor expansion of (/ z x) in z 5.655 * [taylor]: Taking taylor expansion of z in z 5.655 * [backup-simplify]: Simplify 0 into 0 5.655 * [backup-simplify]: Simplify 1 into 1 5.655 * [taylor]: Taking taylor expansion of x in z 5.655 * [backup-simplify]: Simplify x into x 5.655 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.655 * [backup-simplify]: Simplify (* -1 (/ 1 x)) into (/ -1 x) 5.655 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.655 * [taylor]: Taking taylor expansion of -1 in x 5.655 * [backup-simplify]: Simplify -1 into -1 5.655 * [taylor]: Taking taylor expansion of x in x 5.655 * [backup-simplify]: Simplify 0 into 0 5.655 * [backup-simplify]: Simplify 1 into 1 5.656 * [backup-simplify]: Simplify (/ -1 1) into -1 5.656 * [backup-simplify]: Simplify -1 into -1 5.656 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 5.657 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 5.657 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z x))) into 0 5.657 * [taylor]: Taking taylor expansion of 0 in z 5.657 * [backup-simplify]: Simplify 0 into 0 5.657 * [taylor]: Taking taylor expansion of 0 in x 5.658 * [backup-simplify]: Simplify 0 into 0 5.658 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 5.658 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 x))) into 0 5.658 * [taylor]: Taking taylor expansion of 0 in x 5.658 * [backup-simplify]: Simplify 0 into 0 5.659 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.659 * [backup-simplify]: Simplify 0 into 0 5.660 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 5.660 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.661 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0 5.661 * [taylor]: Taking taylor expansion of 0 in z 5.661 * [backup-simplify]: Simplify 0 into 0 5.661 * [taylor]: Taking taylor expansion of 0 in x 5.661 * [backup-simplify]: Simplify 0 into 0 5.661 * [taylor]: Taking taylor expansion of 0 in x 5.661 * [backup-simplify]: Simplify 0 into 0 5.661 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.662 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0 5.662 * [taylor]: Taking taylor expansion of 0 in x 5.662 * [backup-simplify]: Simplify 0 into 0 5.662 * [backup-simplify]: Simplify 0 into 0 5.663 * [backup-simplify]: Simplify 0 into 0 5.663 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.664 * [backup-simplify]: Simplify 0 into 0 5.664 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 5.665 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.666 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ z x))))) into 0 5.666 * [taylor]: Taking taylor expansion of 0 in z 5.666 * [backup-simplify]: Simplify 0 into 0 5.666 * [taylor]: Taking taylor expansion of 0 in x 5.666 * [backup-simplify]: Simplify 0 into 0 5.666 * [taylor]: Taking taylor expansion of 0 in x 5.666 * [backup-simplify]: Simplify 0 into 0 5.666 * [taylor]: Taking taylor expansion of 0 in x 5.666 * [backup-simplify]: Simplify 0 into 0 5.666 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.667 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0 5.667 * [taylor]: Taking taylor expansion of 0 in x 5.667 * [backup-simplify]: Simplify 0 into 0 5.667 * [backup-simplify]: Simplify 0 into 0 5.667 * [backup-simplify]: Simplify 0 into 0 5.667 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (- z)) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z) 5.667 * * * [progress]: simplifying candidates 5.668 * [simplify]: Simplifying: (* (/ y z) x) (+ (- (log y) (log z)) (log x)) (+ (log (/ y z)) (log x)) (log (* (/ y z) x)) (exp (* (/ y z) x)) (* (/ (* (* y y) y) (* (* z z) z)) (* (* x x) x)) (* (* (* (/ y z) (/ y z)) (/ y z)) (* (* x x) x)) (* (cbrt (* (/ y z) x)) (cbrt (* (/ y z) x))) (cbrt (* (/ y z) x)) (* (* (* (/ y z) x) (* (/ y z) x)) (* (/ y z) x)) (sqrt (* (/ y z) x)) (sqrt (* (/ y z) x)) (* (sqrt (/ y z)) (sqrt x)) (* (sqrt (/ y z)) (sqrt x)) (* (/ (sqrt y) (sqrt z)) (sqrt x)) (* (/ (sqrt y) (sqrt z)) (sqrt x)) (* (/ y z) (* (cbrt x) (cbrt x))) (* (/ y z) (sqrt x)) (* (/ y z) 1) (* (cbrt (/ y z)) x) (* (sqrt (/ y z)) x) (* (/ (cbrt y) (cbrt z)) x) (* (/ (cbrt y) (sqrt z)) x) (* (/ (cbrt y) z) x) (* (/ (sqrt y) (cbrt z)) x) (* (/ (sqrt y) (sqrt z)) x) (* (/ (sqrt y) z) x) (* (/ y (cbrt z)) x) (* (/ y (sqrt z)) x) (* (/ y z) x) (* (/ y z) x) (* (/ 1 z) x) (* y x) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 5.669 * * [simplify]: Extracting # 0 : cost 0 5.669 * * [simplify]: Extracting # 1 : cost 0 5.669 * * [simplify]: Extracting # 2 : cost 0 5.669 * * [simplify]: Extracting # 3 : cost 0 5.669 * * [simplify]: Extracting # 4 : cost 0 5.669 * * [simplify]: Extracting # 5 : cost 0 5.669 * * [simplify]: Extracting # 6 : cost 0 5.669 * * [simplify]: iteration 0 : 68 enodes (cost 261 ) 5.682 * * [simplify]: Extracting # 0 : cost 0 5.682 * * [simplify]: Extracting # 1 : cost 0 5.683 * * [simplify]: Extracting # 2 : cost 0 5.683 * * [simplify]: iteration 1 : 153 enodes (cost 256 ) 5.739 * * [simplify]: Extracting # 0 : cost 0 5.740 * * [simplify]: Extracting # 1 : cost 0 5.741 * * [simplify]: Extracting # 2 : cost 0 5.742 * * [simplify]: Extracting # 3 : cost 0 5.743 * * [simplify]: Extracting # 4 : cost 0 5.743 * * [simplify]: Extracting # 5 : cost 0 5.744 * * [simplify]: Extracting # 6 : cost 0 5.745 * * [simplify]: iteration 2 : 423 enodes (cost 224 ) 6.173 * * [simplify]: Extracting # 0 : cost 0 6.179 * * [simplify]: Extracting # 1 : cost 0 6.181 * * [simplify]: Extracting # 2 : cost 0 6.184 * * [simplify]: Extracting # 3 : cost 0 6.186 * * [simplify]: Extracting # 4 : cost 0 6.188 * * [simplify]: iteration 3 : 1176 enodes (cost 224 ) 10.025 * * [simplify]: Extracting # 0 : cost 0 10.035 * * [simplify]: Extracting # 1 : cost 0 10.041 * * [simplify]: Extracting # 2 : cost 0 10.047 * * [simplify]: Extracting # 3 : cost 0 10.053 * * [simplify]: Extracting # 4 : cost 0 10.059 * * [simplify]: iteration 4 : 3630 enodes (cost 224 ) 13.173 * * [simplify]: Extracting # 0 : cost 0 13.179 * * [simplify]: Extracting # 1 : cost 0 13.183 * * [simplify]: Extracting # 2 : cost 0 13.188 * * [simplify]: iteration done: 5000 enodes (cost 224 ) 13.188 * [simplify]: Simplified to: (/ (* x y) z) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (exp (* (/ y z) x)) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (* (cbrt (* (/ y z) x)) (cbrt (* (/ y z) x))) (cbrt (* (/ y z) x)) (pow (/ (* x y) z) 3) (sqrt (* (/ y z) x)) (sqrt (* (/ y z) x)) (* (sqrt (/ y z)) (sqrt x)) (* (sqrt (/ y z)) (sqrt x)) (* (/ (sqrt y) (sqrt z)) (sqrt x)) (* (/ (sqrt y) (sqrt z)) (sqrt x)) (* (/ y z) (* (cbrt x) (cbrt x))) (* (/ y z) (sqrt x)) (/ y z) (* (cbrt (/ y z)) x) (* (sqrt (/ y z)) x) (* (/ (cbrt y) (cbrt z)) x) (* (/ (cbrt y) (sqrt z)) x) (* (/ (cbrt y) z) x) (* (/ (sqrt y) (cbrt z)) x) (* (/ (sqrt y) (sqrt z)) x) (* (/ (sqrt y) z) x) (* (/ y (cbrt z)) x) (* (/ y (sqrt z)) x) (/ (* x y) z) (/ (* x y) z) (/ x z) (* x y) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 13.188 * * * [progress]: adding candidates to table 13.291 * * [progress]: iteration 2 / 4 13.291 * * * [progress]: picking best candidate 13.303 * * * * [pick]: Picked # 13.304 * * * [progress]: localizing error 13.309 * * * [progress]: generating rewritten candidates 13.309 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 13.325 * * * [progress]: generating series expansions 13.325 * * * * [progress]: [ 1 / 1 ] generating series at (2) 13.325 * [backup-simplify]: Simplify (* y (/ x z)) into (/ (* x y) z) 13.326 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (y x z) around 0 13.326 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 13.326 * [taylor]: Taking taylor expansion of (* x y) in z 13.326 * [taylor]: Taking taylor expansion of x in z 13.326 * [backup-simplify]: Simplify x into x 13.326 * [taylor]: Taking taylor expansion of y in z 13.326 * [backup-simplify]: Simplify y into y 13.326 * [taylor]: Taking taylor expansion of z in z 13.326 * [backup-simplify]: Simplify 0 into 0 13.326 * [backup-simplify]: Simplify 1 into 1 13.326 * [backup-simplify]: Simplify (* x y) into (* x y) 13.326 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 13.326 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 13.326 * [taylor]: Taking taylor expansion of (* x y) in x 13.326 * [taylor]: Taking taylor expansion of x in x 13.326 * [backup-simplify]: Simplify 0 into 0 13.326 * [backup-simplify]: Simplify 1 into 1 13.326 * [taylor]: Taking taylor expansion of y in x 13.326 * [backup-simplify]: Simplify y into y 13.326 * [taylor]: Taking taylor expansion of z in x 13.326 * [backup-simplify]: Simplify z into z 13.326 * [backup-simplify]: Simplify (* 0 y) into 0 13.327 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 13.327 * [backup-simplify]: Simplify (/ y z) into (/ y z) 13.327 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 13.327 * [taylor]: Taking taylor expansion of (* x y) in y 13.327 * [taylor]: Taking taylor expansion of x in y 13.327 * [backup-simplify]: Simplify x into x 13.327 * [taylor]: Taking taylor expansion of y in y 13.327 * [backup-simplify]: Simplify 0 into 0 13.327 * [backup-simplify]: Simplify 1 into 1 13.327 * [taylor]: Taking taylor expansion of z in y 13.327 * [backup-simplify]: Simplify z into z 13.327 * [backup-simplify]: Simplify (* x 0) into 0 13.327 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 13.327 * [backup-simplify]: Simplify (/ x z) into (/ x z) 13.327 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 13.327 * [taylor]: Taking taylor expansion of (* x y) in y 13.327 * [taylor]: Taking taylor expansion of x in y 13.327 * [backup-simplify]: Simplify x into x 13.327 * [taylor]: Taking taylor expansion of y in y 13.327 * [backup-simplify]: Simplify 0 into 0 13.327 * [backup-simplify]: Simplify 1 into 1 13.327 * [taylor]: Taking taylor expansion of z in y 13.327 * [backup-simplify]: Simplify z into z 13.327 * [backup-simplify]: Simplify (* x 0) into 0 13.328 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 13.328 * [backup-simplify]: Simplify (/ x z) into (/ x z) 13.328 * [taylor]: Taking taylor expansion of (/ x z) in x 13.328 * [taylor]: Taking taylor expansion of x in x 13.328 * [backup-simplify]: Simplify 0 into 0 13.328 * [backup-simplify]: Simplify 1 into 1 13.328 * [taylor]: Taking taylor expansion of z in x 13.328 * [backup-simplify]: Simplify z into z 13.328 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 13.328 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.328 * [taylor]: Taking taylor expansion of z in z 13.328 * [backup-simplify]: Simplify 0 into 0 13.328 * [backup-simplify]: Simplify 1 into 1 13.329 * [backup-simplify]: Simplify (/ 1 1) into 1 13.329 * [backup-simplify]: Simplify 1 into 1 13.329 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 13.330 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0 13.330 * [taylor]: Taking taylor expansion of 0 in x 13.330 * [backup-simplify]: Simplify 0 into 0 13.330 * [taylor]: Taking taylor expansion of 0 in z 13.330 * [backup-simplify]: Simplify 0 into 0 13.330 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 13.330 * [taylor]: Taking taylor expansion of 0 in z 13.330 * [backup-simplify]: Simplify 0 into 0 13.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.331 * [backup-simplify]: Simplify 0 into 0 13.331 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 13.331 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 13.331 * [taylor]: Taking taylor expansion of 0 in x 13.331 * [backup-simplify]: Simplify 0 into 0 13.332 * [taylor]: Taking taylor expansion of 0 in z 13.332 * [backup-simplify]: Simplify 0 into 0 13.332 * [taylor]: Taking taylor expansion of 0 in z 13.332 * [backup-simplify]: Simplify 0 into 0 13.332 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 13.332 * [taylor]: Taking taylor expansion of 0 in z 13.332 * [backup-simplify]: Simplify 0 into 0 13.332 * [backup-simplify]: Simplify 0 into 0 13.332 * [backup-simplify]: Simplify 0 into 0 13.332 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.332 * [backup-simplify]: Simplify 0 into 0 13.333 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 13.333 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 13.333 * [taylor]: Taking taylor expansion of 0 in x 13.333 * [backup-simplify]: Simplify 0 into 0 13.333 * [taylor]: Taking taylor expansion of 0 in z 13.333 * [backup-simplify]: Simplify 0 into 0 13.333 * [taylor]: Taking taylor expansion of 0 in z 13.333 * [backup-simplify]: Simplify 0 into 0 13.333 * [taylor]: Taking taylor expansion of 0 in z 13.333 * [backup-simplify]: Simplify 0 into 0 13.334 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 13.334 * [taylor]: Taking taylor expansion of 0 in z 13.334 * [backup-simplify]: Simplify 0 into 0 13.334 * [backup-simplify]: Simplify 0 into 0 13.334 * [backup-simplify]: Simplify 0 into 0 13.334 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* x y))) into (/ (* x y) z) 13.334 * [backup-simplify]: Simplify (* (/ 1 y) (/ (/ 1 x) (/ 1 z))) into (/ z (* x y)) 13.334 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (y x z) around 0 13.334 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 13.334 * [taylor]: Taking taylor expansion of z in z 13.334 * [backup-simplify]: Simplify 0 into 0 13.334 * [backup-simplify]: Simplify 1 into 1 13.334 * [taylor]: Taking taylor expansion of (* x y) in z 13.334 * [taylor]: Taking taylor expansion of x in z 13.334 * [backup-simplify]: Simplify x into x 13.334 * [taylor]: Taking taylor expansion of y in z 13.334 * [backup-simplify]: Simplify y into y 13.334 * [backup-simplify]: Simplify (* x y) into (* x y) 13.334 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 13.334 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 13.334 * [taylor]: Taking taylor expansion of z in x 13.334 * [backup-simplify]: Simplify z into z 13.334 * [taylor]: Taking taylor expansion of (* x y) in x 13.334 * [taylor]: Taking taylor expansion of x in x 13.334 * [backup-simplify]: Simplify 0 into 0 13.334 * [backup-simplify]: Simplify 1 into 1 13.334 * [taylor]: Taking taylor expansion of y in x 13.334 * [backup-simplify]: Simplify y into y 13.334 * [backup-simplify]: Simplify (* 0 y) into 0 13.335 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 13.335 * [backup-simplify]: Simplify (/ z y) into (/ z y) 13.335 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 13.335 * [taylor]: Taking taylor expansion of z in y 13.335 * [backup-simplify]: Simplify z into z 13.335 * [taylor]: Taking taylor expansion of (* x y) in y 13.335 * [taylor]: Taking taylor expansion of x in y 13.335 * [backup-simplify]: Simplify x into x 13.335 * [taylor]: Taking taylor expansion of y in y 13.335 * [backup-simplify]: Simplify 0 into 0 13.335 * [backup-simplify]: Simplify 1 into 1 13.335 * [backup-simplify]: Simplify (* x 0) into 0 13.335 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 13.335 * [backup-simplify]: Simplify (/ z x) into (/ z x) 13.335 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 13.335 * [taylor]: Taking taylor expansion of z in y 13.335 * [backup-simplify]: Simplify z into z 13.335 * [taylor]: Taking taylor expansion of (* x y) in y 13.335 * [taylor]: Taking taylor expansion of x in y 13.335 * [backup-simplify]: Simplify x into x 13.335 * [taylor]: Taking taylor expansion of y in y 13.335 * [backup-simplify]: Simplify 0 into 0 13.335 * [backup-simplify]: Simplify 1 into 1 13.336 * [backup-simplify]: Simplify (* x 0) into 0 13.336 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 13.336 * [backup-simplify]: Simplify (/ z x) into (/ z x) 13.336 * [taylor]: Taking taylor expansion of (/ z x) in x 13.336 * [taylor]: Taking taylor expansion of z in x 13.336 * [backup-simplify]: Simplify z into z 13.336 * [taylor]: Taking taylor expansion of x in x 13.336 * [backup-simplify]: Simplify 0 into 0 13.336 * [backup-simplify]: Simplify 1 into 1 13.336 * [backup-simplify]: Simplify (/ z 1) into z 13.336 * [taylor]: Taking taylor expansion of z in z 13.336 * [backup-simplify]: Simplify 0 into 0 13.336 * [backup-simplify]: Simplify 1 into 1 13.336 * [backup-simplify]: Simplify 1 into 1 13.337 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 13.337 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 13.337 * [taylor]: Taking taylor expansion of 0 in x 13.337 * [backup-simplify]: Simplify 0 into 0 13.337 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 13.337 * [taylor]: Taking taylor expansion of 0 in z 13.337 * [backup-simplify]: Simplify 0 into 0 13.337 * [backup-simplify]: Simplify 0 into 0 13.337 * [backup-simplify]: Simplify 0 into 0 13.338 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 13.338 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 13.338 * [taylor]: Taking taylor expansion of 0 in x 13.338 * [backup-simplify]: Simplify 0 into 0 13.338 * [taylor]: Taking taylor expansion of 0 in z 13.338 * [backup-simplify]: Simplify 0 into 0 13.338 * [backup-simplify]: Simplify 0 into 0 13.339 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.339 * [taylor]: Taking taylor expansion of 0 in z 13.339 * [backup-simplify]: Simplify 0 into 0 13.339 * [backup-simplify]: Simplify 0 into 0 13.339 * [backup-simplify]: Simplify 0 into 0 13.339 * [backup-simplify]: Simplify 0 into 0 13.340 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (/ (* x y) z) 13.340 * [backup-simplify]: Simplify (* (/ 1 (- y)) (/ (/ 1 (- x)) (/ 1 (- z)))) into (* -1 (/ z (* x y))) 13.340 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (y x z) around 0 13.340 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 13.340 * [taylor]: Taking taylor expansion of -1 in z 13.340 * [backup-simplify]: Simplify -1 into -1 13.340 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 13.340 * [taylor]: Taking taylor expansion of z in z 13.340 * [backup-simplify]: Simplify 0 into 0 13.340 * [backup-simplify]: Simplify 1 into 1 13.340 * [taylor]: Taking taylor expansion of (* x y) in z 13.340 * [taylor]: Taking taylor expansion of x in z 13.340 * [backup-simplify]: Simplify x into x 13.340 * [taylor]: Taking taylor expansion of y in z 13.340 * [backup-simplify]: Simplify y into y 13.340 * [backup-simplify]: Simplify (* x y) into (* x y) 13.340 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 13.340 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 13.340 * [taylor]: Taking taylor expansion of -1 in x 13.340 * [backup-simplify]: Simplify -1 into -1 13.340 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 13.340 * [taylor]: Taking taylor expansion of z in x 13.340 * [backup-simplify]: Simplify z into z 13.340 * [taylor]: Taking taylor expansion of (* x y) in x 13.340 * [taylor]: Taking taylor expansion of x in x 13.340 * [backup-simplify]: Simplify 0 into 0 13.340 * [backup-simplify]: Simplify 1 into 1 13.340 * [taylor]: Taking taylor expansion of y in x 13.340 * [backup-simplify]: Simplify y into y 13.340 * [backup-simplify]: Simplify (* 0 y) into 0 13.341 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 13.341 * [backup-simplify]: Simplify (/ z y) into (/ z y) 13.341 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 13.341 * [taylor]: Taking taylor expansion of -1 in y 13.341 * [backup-simplify]: Simplify -1 into -1 13.341 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 13.341 * [taylor]: Taking taylor expansion of z in y 13.341 * [backup-simplify]: Simplify z into z 13.341 * [taylor]: Taking taylor expansion of (* x y) in y 13.341 * [taylor]: Taking taylor expansion of x in y 13.341 * [backup-simplify]: Simplify x into x 13.341 * [taylor]: Taking taylor expansion of y in y 13.341 * [backup-simplify]: Simplify 0 into 0 13.341 * [backup-simplify]: Simplify 1 into 1 13.341 * [backup-simplify]: Simplify (* x 0) into 0 13.341 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 13.341 * [backup-simplify]: Simplify (/ z x) into (/ z x) 13.341 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 13.341 * [taylor]: Taking taylor expansion of -1 in y 13.341 * [backup-simplify]: Simplify -1 into -1 13.341 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 13.341 * [taylor]: Taking taylor expansion of z in y 13.341 * [backup-simplify]: Simplify z into z 13.341 * [taylor]: Taking taylor expansion of (* x y) in y 13.341 * [taylor]: Taking taylor expansion of x in y 13.341 * [backup-simplify]: Simplify x into x 13.341 * [taylor]: Taking taylor expansion of y in y 13.341 * [backup-simplify]: Simplify 0 into 0 13.341 * [backup-simplify]: Simplify 1 into 1 13.341 * [backup-simplify]: Simplify (* x 0) into 0 13.342 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 13.342 * [backup-simplify]: Simplify (/ z x) into (/ z x) 13.342 * [backup-simplify]: Simplify (* -1 (/ z x)) into (* -1 (/ z x)) 13.342 * [taylor]: Taking taylor expansion of (* -1 (/ z x)) in x 13.342 * [taylor]: Taking taylor expansion of -1 in x 13.342 * [backup-simplify]: Simplify -1 into -1 13.342 * [taylor]: Taking taylor expansion of (/ z x) in x 13.342 * [taylor]: Taking taylor expansion of z in x 13.342 * [backup-simplify]: Simplify z into z 13.342 * [taylor]: Taking taylor expansion of x in x 13.342 * [backup-simplify]: Simplify 0 into 0 13.342 * [backup-simplify]: Simplify 1 into 1 13.342 * [backup-simplify]: Simplify (/ z 1) into z 13.342 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 13.342 * [taylor]: Taking taylor expansion of (* -1 z) in z 13.342 * [taylor]: Taking taylor expansion of -1 in z 13.342 * [backup-simplify]: Simplify -1 into -1 13.342 * [taylor]: Taking taylor expansion of z in z 13.342 * [backup-simplify]: Simplify 0 into 0 13.342 * [backup-simplify]: Simplify 1 into 1 13.343 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1 13.343 * [backup-simplify]: Simplify -1 into -1 13.343 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 13.343 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 13.344 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z x))) into 0 13.344 * [taylor]: Taking taylor expansion of 0 in x 13.344 * [backup-simplify]: Simplify 0 into 0 13.344 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 13.344 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 z)) into 0 13.344 * [taylor]: Taking taylor expansion of 0 in z 13.344 * [backup-simplify]: Simplify 0 into 0 13.344 * [backup-simplify]: Simplify 0 into 0 13.345 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 13.345 * [backup-simplify]: Simplify 0 into 0 13.346 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 13.346 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 13.346 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0 13.346 * [taylor]: Taking taylor expansion of 0 in x 13.346 * [backup-simplify]: Simplify 0 into 0 13.346 * [taylor]: Taking taylor expansion of 0 in z 13.346 * [backup-simplify]: Simplify 0 into 0 13.346 * [backup-simplify]: Simplify 0 into 0 13.347 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.348 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0 13.348 * [taylor]: Taking taylor expansion of 0 in z 13.348 * [backup-simplify]: Simplify 0 into 0 13.348 * [backup-simplify]: Simplify 0 into 0 13.348 * [backup-simplify]: Simplify 0 into 0 13.349 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 13.349 * [backup-simplify]: Simplify 0 into 0 13.349 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z) 13.349 * * * [progress]: simplifying candidates 13.350 * [simplify]: Simplifying: (* y (/ x z)) (+ (log y) (- (log x) (log z))) (+ (log y) (log (/ x z))) (log (* y (/ x z))) (exp (* y (/ x z))) (* (* (* y y) y) (/ (* (* x x) x) (* (* z z) 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))) (* (sqrt y) (/ (sqrt x) (sqrt z))) (* (sqrt y) (/ (sqrt x) (sqrt z))) (* y (* (cbrt (/ x z)) (cbrt (/ x z)))) (* y (sqrt (/ x z))) (* y (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))) (* y (/ (* (cbrt x) (cbrt x)) (sqrt z))) (* y (/ (* (cbrt x) (cbrt x)) 1)) (* y (/ (sqrt x) (* (cbrt z) (cbrt z)))) (* y (/ (sqrt x) (sqrt z))) (* y (/ (sqrt x) 1)) (* y (/ 1 (* (cbrt z) (cbrt z)))) (* y (/ 1 (sqrt z))) (* y (/ 1 1)) (* y 1) (* y x) (* (cbrt y) (/ x z)) (* (sqrt y) (/ x z)) (* y (/ x z)) (* y x) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 13.351 * * [simplify]: Extracting # 0 : cost 0 13.351 * * [simplify]: Extracting # 1 : cost 0 13.351 * * [simplify]: Extracting # 2 : cost 0 13.351 * * [simplify]: Extracting # 3 : cost 0 13.351 * * [simplify]: Extracting # 4 : cost 0 13.351 * * [simplify]: Extracting # 5 : cost 0 13.351 * * [simplify]: Extracting # 6 : cost 0 13.352 * * [simplify]: Extracting # 7 : cost 0 13.352 * * [simplify]: iteration 0 : 70 enodes (cost 277 ) 13.386 * * [simplify]: Extracting # 0 : cost 0 13.386 * * [simplify]: Extracting # 1 : cost 0 13.386 * * [simplify]: Extracting # 2 : cost 0 13.386 * * [simplify]: iteration 1 : 163 enodes (cost 260 ) 13.437 * * [simplify]: Extracting # 0 : cost 0 13.438 * * [simplify]: Extracting # 1 : cost 0 13.439 * * [simplify]: Extracting # 2 : cost 0 13.440 * * [simplify]: Extracting # 3 : cost 0 13.441 * * [simplify]: Extracting # 4 : cost 0 13.442 * * [simplify]: Extracting # 5 : cost 0 13.443 * * [simplify]: iteration 2 : 447 enodes (cost 230 ) 13.698 * * [simplify]: Extracting # 0 : cost 0 13.700 * * [simplify]: Extracting # 1 : cost 0 13.701 * * [simplify]: Extracting # 2 : cost 0 13.703 * * [simplify]: Extracting # 3 : cost 0 13.704 * * [simplify]: Extracting # 4 : cost 0 13.706 * * [simplify]: iteration 3 : 1167 enodes (cost 230 ) 15.424 * * [simplify]: Extracting # 0 : cost 0 15.428 * * [simplify]: Extracting # 1 : cost 0 15.431 * * [simplify]: Extracting # 2 : cost 0 15.434 * * [simplify]: Extracting # 3 : cost 0 15.436 * * [simplify]: Extracting # 4 : cost 0 15.447 * * [simplify]: iteration 4 : 2967 enodes (cost 230 ) 17.590 * * [simplify]: Extracting # 0 : cost 0 17.597 * * [simplify]: Extracting # 1 : cost 0 17.601 * * [simplify]: Extracting # 2 : cost 0 17.608 * * [simplify]: Extracting # 3 : cost 0 17.613 * * [simplify]: Extracting # 4 : cost 0 17.620 * * [simplify]: iteration done: 5000 enodes (cost 230 ) 17.620 * [simplify]: Simplified to: (/ (* x y) z) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (exp (* y (/ x z))) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z))) (pow (/ (* x y) z) 3) (sqrt (* y (/ x z))) (sqrt (* y (/ x z))) (* (sqrt y) (sqrt (/ x z))) (* (sqrt y) (sqrt (/ x z))) (* (sqrt y) (/ (sqrt x) (sqrt z))) (* (sqrt y) (/ (sqrt x) (sqrt z))) (* y (* (cbrt (/ x z)) (cbrt (/ x z)))) (* y (sqrt (/ x z))) (* y (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))) (* y (/ (* (cbrt x) (cbrt x)) (sqrt z))) (* y (* (cbrt x) (cbrt x))) (* y (/ (sqrt x) (* (cbrt z) (cbrt z)))) (* y (/ (sqrt x) (sqrt z))) (* y (sqrt x)) (/ y (* (cbrt z) (cbrt z))) (/ y (sqrt z)) y y (* x y) (* (cbrt y) (/ x z)) (* (sqrt y) (/ x z)) (/ (* x y) z) (* x y) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 17.621 * * * [progress]: adding candidates to table 17.738 * * [progress]: iteration 3 / 4 17.738 * * * [progress]: picking best candidate 17.749 * * * * [pick]: Picked # 17.749 * * * [progress]: localizing error 17.756 * * * [progress]: generating rewritten candidates 17.756 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 17.770 * * * [progress]: generating series expansions 17.770 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 17.770 * [backup-simplify]: Simplify (/ (* x y) z) into (/ (* x y) z) 17.770 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0 17.770 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 17.770 * [taylor]: Taking taylor expansion of (* x y) in z 17.770 * [taylor]: Taking taylor expansion of x in z 17.770 * [backup-simplify]: Simplify x into x 17.770 * [taylor]: Taking taylor expansion of y in z 17.770 * [backup-simplify]: Simplify y into y 17.770 * [taylor]: Taking taylor expansion of z in z 17.770 * [backup-simplify]: Simplify 0 into 0 17.770 * [backup-simplify]: Simplify 1 into 1 17.770 * [backup-simplify]: Simplify (* x y) into (* x y) 17.770 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 17.770 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 17.770 * [taylor]: Taking taylor expansion of (* x y) in y 17.771 * [taylor]: Taking taylor expansion of x in y 17.771 * [backup-simplify]: Simplify x into x 17.771 * [taylor]: Taking taylor expansion of y in y 17.771 * [backup-simplify]: Simplify 0 into 0 17.771 * [backup-simplify]: Simplify 1 into 1 17.771 * [taylor]: Taking taylor expansion of z in y 17.771 * [backup-simplify]: Simplify z into z 17.771 * [backup-simplify]: Simplify (* x 0) into 0 17.771 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 17.771 * [backup-simplify]: Simplify (/ x z) into (/ x z) 17.771 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 17.772 * [taylor]: Taking taylor expansion of (* x y) in x 17.772 * [taylor]: Taking taylor expansion of x in x 17.772 * [backup-simplify]: Simplify 0 into 0 17.772 * [backup-simplify]: Simplify 1 into 1 17.772 * [taylor]: Taking taylor expansion of y in x 17.772 * [backup-simplify]: Simplify y into y 17.772 * [taylor]: Taking taylor expansion of z in x 17.772 * [backup-simplify]: Simplify z into z 17.772 * [backup-simplify]: Simplify (* 0 y) into 0 17.772 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.772 * [backup-simplify]: Simplify (/ y z) into (/ y z) 17.772 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 17.772 * [taylor]: Taking taylor expansion of (* x y) in x 17.772 * [taylor]: Taking taylor expansion of x in x 17.772 * [backup-simplify]: Simplify 0 into 0 17.773 * [backup-simplify]: Simplify 1 into 1 17.773 * [taylor]: Taking taylor expansion of y in x 17.773 * [backup-simplify]: Simplify y into y 17.773 * [taylor]: Taking taylor expansion of z in x 17.773 * [backup-simplify]: Simplify z into z 17.773 * [backup-simplify]: Simplify (* 0 y) into 0 17.773 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.773 * [backup-simplify]: Simplify (/ y z) into (/ y z) 17.773 * [taylor]: Taking taylor expansion of (/ y z) in y 17.773 * [taylor]: Taking taylor expansion of y in y 17.773 * [backup-simplify]: Simplify 0 into 0 17.773 * [backup-simplify]: Simplify 1 into 1 17.773 * [taylor]: Taking taylor expansion of z in y 17.773 * [backup-simplify]: Simplify z into z 17.773 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 17.774 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.774 * [taylor]: Taking taylor expansion of z in z 17.774 * [backup-simplify]: Simplify 0 into 0 17.774 * [backup-simplify]: Simplify 1 into 1 17.774 * [backup-simplify]: Simplify (/ 1 1) into 1 17.774 * [backup-simplify]: Simplify 1 into 1 17.775 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 17.775 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0 17.775 * [taylor]: Taking taylor expansion of 0 in y 17.775 * [backup-simplify]: Simplify 0 into 0 17.775 * [taylor]: Taking taylor expansion of 0 in z 17.775 * [backup-simplify]: Simplify 0 into 0 17.775 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 17.775 * [taylor]: Taking taylor expansion of 0 in z 17.775 * [backup-simplify]: Simplify 0 into 0 17.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.776 * [backup-simplify]: Simplify 0 into 0 17.777 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 17.777 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 17.778 * [taylor]: Taking taylor expansion of 0 in y 17.778 * [backup-simplify]: Simplify 0 into 0 17.778 * [taylor]: Taking taylor expansion of 0 in z 17.778 * [backup-simplify]: Simplify 0 into 0 17.778 * [taylor]: Taking taylor expansion of 0 in z 17.778 * [backup-simplify]: Simplify 0 into 0 17.778 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 17.778 * [taylor]: Taking taylor expansion of 0 in z 17.778 * [backup-simplify]: Simplify 0 into 0 17.778 * [backup-simplify]: Simplify 0 into 0 17.778 * [backup-simplify]: Simplify 0 into 0 17.779 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.779 * [backup-simplify]: Simplify 0 into 0 17.786 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 17.787 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 17.787 * [taylor]: Taking taylor expansion of 0 in y 17.787 * [backup-simplify]: Simplify 0 into 0 17.787 * [taylor]: Taking taylor expansion of 0 in z 17.787 * [backup-simplify]: Simplify 0 into 0 17.787 * [taylor]: Taking taylor expansion of 0 in z 17.787 * [backup-simplify]: Simplify 0 into 0 17.787 * [taylor]: Taking taylor expansion of 0 in z 17.787 * [backup-simplify]: Simplify 0 into 0 17.787 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 17.787 * [taylor]: Taking taylor expansion of 0 in z 17.787 * [backup-simplify]: Simplify 0 into 0 17.787 * [backup-simplify]: Simplify 0 into 0 17.787 * [backup-simplify]: Simplify 0 into 0 17.788 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* y x))) into (/ (* x y) z) 17.788 * [backup-simplify]: Simplify (/ (* (/ 1 x) (/ 1 y)) (/ 1 z)) into (/ z (* x y)) 17.788 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0 17.788 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 17.788 * [taylor]: Taking taylor expansion of z in z 17.788 * [backup-simplify]: Simplify 0 into 0 17.788 * [backup-simplify]: Simplify 1 into 1 17.788 * [taylor]: Taking taylor expansion of (* x y) in z 17.788 * [taylor]: Taking taylor expansion of x in z 17.788 * [backup-simplify]: Simplify x into x 17.788 * [taylor]: Taking taylor expansion of y in z 17.788 * [backup-simplify]: Simplify y into y 17.788 * [backup-simplify]: Simplify (* x y) into (* x y) 17.788 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 17.788 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 17.788 * [taylor]: Taking taylor expansion of z in y 17.788 * [backup-simplify]: Simplify z into z 17.788 * [taylor]: Taking taylor expansion of (* x y) in y 17.788 * [taylor]: Taking taylor expansion of x in y 17.788 * [backup-simplify]: Simplify x into x 17.788 * [taylor]: Taking taylor expansion of y in y 17.788 * [backup-simplify]: Simplify 0 into 0 17.788 * [backup-simplify]: Simplify 1 into 1 17.789 * [backup-simplify]: Simplify (* x 0) into 0 17.789 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 17.789 * [backup-simplify]: Simplify (/ z x) into (/ z x) 17.789 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 17.789 * [taylor]: Taking taylor expansion of z in x 17.789 * [backup-simplify]: Simplify z into z 17.789 * [taylor]: Taking taylor expansion of (* x y) in x 17.789 * [taylor]: Taking taylor expansion of x in x 17.789 * [backup-simplify]: Simplify 0 into 0 17.789 * [backup-simplify]: Simplify 1 into 1 17.789 * [taylor]: Taking taylor expansion of y in x 17.789 * [backup-simplify]: Simplify y into y 17.789 * [backup-simplify]: Simplify (* 0 y) into 0 17.790 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.790 * [backup-simplify]: Simplify (/ z y) into (/ z y) 17.790 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 17.790 * [taylor]: Taking taylor expansion of z in x 17.790 * [backup-simplify]: Simplify z into z 17.790 * [taylor]: Taking taylor expansion of (* x y) in x 17.790 * [taylor]: Taking taylor expansion of x in x 17.790 * [backup-simplify]: Simplify 0 into 0 17.790 * [backup-simplify]: Simplify 1 into 1 17.790 * [taylor]: Taking taylor expansion of y in x 17.790 * [backup-simplify]: Simplify y into y 17.790 * [backup-simplify]: Simplify (* 0 y) into 0 17.791 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.791 * [backup-simplify]: Simplify (/ z y) into (/ z y) 17.791 * [taylor]: Taking taylor expansion of (/ z y) in y 17.791 * [taylor]: Taking taylor expansion of z in y 17.791 * [backup-simplify]: Simplify z into z 17.791 * [taylor]: Taking taylor expansion of y in y 17.791 * [backup-simplify]: Simplify 0 into 0 17.791 * [backup-simplify]: Simplify 1 into 1 17.791 * [backup-simplify]: Simplify (/ z 1) into z 17.791 * [taylor]: Taking taylor expansion of z in z 17.791 * [backup-simplify]: Simplify 0 into 0 17.791 * [backup-simplify]: Simplify 1 into 1 17.791 * [backup-simplify]: Simplify 1 into 1 17.792 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 17.792 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0 17.792 * [taylor]: Taking taylor expansion of 0 in y 17.792 * [backup-simplify]: Simplify 0 into 0 17.793 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 17.793 * [taylor]: Taking taylor expansion of 0 in z 17.793 * [backup-simplify]: Simplify 0 into 0 17.793 * [backup-simplify]: Simplify 0 into 0 17.793 * [backup-simplify]: Simplify 0 into 0 17.794 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 17.794 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.794 * [taylor]: Taking taylor expansion of 0 in y 17.794 * [backup-simplify]: Simplify 0 into 0 17.794 * [taylor]: Taking taylor expansion of 0 in z 17.794 * [backup-simplify]: Simplify 0 into 0 17.794 * [backup-simplify]: Simplify 0 into 0 17.795 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.795 * [taylor]: Taking taylor expansion of 0 in z 17.795 * [backup-simplify]: Simplify 0 into 0 17.795 * [backup-simplify]: Simplify 0 into 0 17.795 * [backup-simplify]: Simplify 0 into 0 17.795 * [backup-simplify]: Simplify 0 into 0 17.796 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (/ (* x y) z) 17.796 * [backup-simplify]: Simplify (/ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) into (* -1 (/ z (* x y))) 17.796 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0 17.796 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 17.796 * [taylor]: Taking taylor expansion of -1 in z 17.796 * [backup-simplify]: Simplify -1 into -1 17.796 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 17.796 * [taylor]: Taking taylor expansion of z in z 17.796 * [backup-simplify]: Simplify 0 into 0 17.796 * [backup-simplify]: Simplify 1 into 1 17.796 * [taylor]: Taking taylor expansion of (* x y) in z 17.796 * [taylor]: Taking taylor expansion of x in z 17.796 * [backup-simplify]: Simplify x into x 17.796 * [taylor]: Taking taylor expansion of y in z 17.796 * [backup-simplify]: Simplify y into y 17.796 * [backup-simplify]: Simplify (* x y) into (* x y) 17.796 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 17.796 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 17.796 * [taylor]: Taking taylor expansion of -1 in y 17.796 * [backup-simplify]: Simplify -1 into -1 17.796 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 17.796 * [taylor]: Taking taylor expansion of z in y 17.796 * [backup-simplify]: Simplify z into z 17.796 * [taylor]: Taking taylor expansion of (* x y) in y 17.796 * [taylor]: Taking taylor expansion of x in y 17.796 * [backup-simplify]: Simplify x into x 17.796 * [taylor]: Taking taylor expansion of y in y 17.796 * [backup-simplify]: Simplify 0 into 0 17.796 * [backup-simplify]: Simplify 1 into 1 17.796 * [backup-simplify]: Simplify (* x 0) into 0 17.796 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 17.797 * [backup-simplify]: Simplify (/ z x) into (/ z x) 17.797 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 17.797 * [taylor]: Taking taylor expansion of -1 in x 17.797 * [backup-simplify]: Simplify -1 into -1 17.797 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 17.797 * [taylor]: Taking taylor expansion of z in x 17.797 * [backup-simplify]: Simplify z into z 17.797 * [taylor]: Taking taylor expansion of (* x y) in x 17.797 * [taylor]: Taking taylor expansion of x in x 17.797 * [backup-simplify]: Simplify 0 into 0 17.797 * [backup-simplify]: Simplify 1 into 1 17.797 * [taylor]: Taking taylor expansion of y in x 17.797 * [backup-simplify]: Simplify y into y 17.797 * [backup-simplify]: Simplify (* 0 y) into 0 17.797 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.797 * [backup-simplify]: Simplify (/ z y) into (/ z y) 17.797 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 17.797 * [taylor]: Taking taylor expansion of -1 in x 17.797 * [backup-simplify]: Simplify -1 into -1 17.797 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 17.797 * [taylor]: Taking taylor expansion of z in x 17.797 * [backup-simplify]: Simplify z into z 17.797 * [taylor]: Taking taylor expansion of (* x y) in x 17.797 * [taylor]: Taking taylor expansion of x in x 17.797 * [backup-simplify]: Simplify 0 into 0 17.797 * [backup-simplify]: Simplify 1 into 1 17.797 * [taylor]: Taking taylor expansion of y in x 17.797 * [backup-simplify]: Simplify y into y 17.797 * [backup-simplify]: Simplify (* 0 y) into 0 17.798 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.798 * [backup-simplify]: Simplify (/ z y) into (/ z y) 17.798 * [backup-simplify]: Simplify (* -1 (/ z y)) into (* -1 (/ z y)) 17.798 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y 17.798 * [taylor]: Taking taylor expansion of -1 in y 17.798 * [backup-simplify]: Simplify -1 into -1 17.798 * [taylor]: Taking taylor expansion of (/ z y) in y 17.798 * [taylor]: Taking taylor expansion of z in y 17.798 * [backup-simplify]: Simplify z into z 17.798 * [taylor]: Taking taylor expansion of y in y 17.798 * [backup-simplify]: Simplify 0 into 0 17.798 * [backup-simplify]: Simplify 1 into 1 17.798 * [backup-simplify]: Simplify (/ z 1) into z 17.798 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 17.798 * [taylor]: Taking taylor expansion of (* -1 z) in z 17.798 * [taylor]: Taking taylor expansion of -1 in z 17.798 * [backup-simplify]: Simplify -1 into -1 17.798 * [taylor]: Taking taylor expansion of z in z 17.798 * [backup-simplify]: Simplify 0 into 0 17.798 * [backup-simplify]: Simplify 1 into 1 17.798 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1 17.798 * [backup-simplify]: Simplify -1 into -1 17.799 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 17.799 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0 17.799 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z y))) into 0 17.799 * [taylor]: Taking taylor expansion of 0 in y 17.799 * [backup-simplify]: Simplify 0 into 0 17.800 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 17.800 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 z)) into 0 17.800 * [taylor]: Taking taylor expansion of 0 in z 17.800 * [backup-simplify]: Simplify 0 into 0 17.800 * [backup-simplify]: Simplify 0 into 0 17.801 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 17.801 * [backup-simplify]: Simplify 0 into 0 17.802 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 17.802 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.802 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z y)))) into 0 17.802 * [taylor]: Taking taylor expansion of 0 in y 17.802 * [backup-simplify]: Simplify 0 into 0 17.802 * [taylor]: Taking taylor expansion of 0 in z 17.802 * [backup-simplify]: Simplify 0 into 0 17.802 * [backup-simplify]: Simplify 0 into 0 17.803 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.804 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0 17.804 * [taylor]: Taking taylor expansion of 0 in z 17.804 * [backup-simplify]: Simplify 0 into 0 17.804 * [backup-simplify]: Simplify 0 into 0 17.804 * [backup-simplify]: Simplify 0 into 0 17.804 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 17.804 * [backup-simplify]: Simplify 0 into 0 17.805 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (/ (* x y) z) 17.805 * * * [progress]: simplifying candidates 17.805 * [simplify]: Simplifying: (- (+ (log x) (log y)) (log z)) (- (log (* x y)) (log z)) (log (/ (* x y) z)) (exp (/ (* x y) z)) (/ (* (* (* x x) x) (* (* y y) y)) (* (* z z) z)) (/ (* (* (* x y) (* x y)) (* x y)) (* (* z z) z)) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z)) (* (* (/ (* x y) z) (/ (* x y) z)) (/ (* x y) z)) (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z)) (- (* x y)) (- z) (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (/ x (sqrt z)) (/ y (sqrt z)) (/ x 1) (/ y z) (/ 1 z) (/ z (* x y)) (/ (* x y) (* (cbrt z) (cbrt z))) (/ (* x y) (sqrt z)) (/ (* x y) 1) (/ z y) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 17.805 * * [simplify]: Extracting # 0 : cost 0 17.806 * * [simplify]: Extracting # 1 : cost 0 17.806 * * [simplify]: Extracting # 2 : cost 0 17.806 * * [simplify]: Extracting # 3 : cost 0 17.806 * * [simplify]: Extracting # 4 : cost 0 17.806 * * [simplify]: Extracting # 5 : cost 0 17.806 * * [simplify]: Extracting # 6 : cost 0 17.806 * * [simplify]: iteration 0 : 48 enodes (cost 186 ) 17.816 * * [simplify]: Extracting # 0 : cost 0 17.816 * * [simplify]: Extracting # 1 : cost 0 17.816 * * [simplify]: Extracting # 2 : cost 0 17.816 * * [simplify]: iteration 1 : 110 enodes (cost 179 ) 17.847 * * [simplify]: Extracting # 0 : cost 0 17.848 * * [simplify]: Extracting # 1 : cost 0 17.848 * * [simplify]: Extracting # 2 : cost 0 17.848 * * [simplify]: Extracting # 3 : cost 0 17.849 * * [simplify]: Extracting # 4 : cost 0 17.849 * * [simplify]: iteration 2 : 384 enodes (cost 149 ) 18.295 * * [simplify]: Extracting # 0 : cost 0 18.299 * * [simplify]: Extracting # 1 : cost 0 18.302 * * [simplify]: Extracting # 2 : cost 0 18.305 * * [simplify]: Extracting # 3 : cost 0 18.308 * * [simplify]: Extracting # 4 : cost 0 18.311 * * [simplify]: iteration 3 : 1757 enodes (cost 149 ) 21.066 * * [simplify]: Extracting # 0 : cost 0 21.075 * * [simplify]: Extracting # 1 : cost 0 21.079 * * [simplify]: Extracting # 2 : cost 0 21.084 * * [simplify]: Extracting # 3 : cost 0 21.088 * * [simplify]: Extracting # 4 : cost 0 21.094 * * [simplify]: iteration done: 5000 enodes (cost 149 ) 21.094 * [simplify]: Simplified to: (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (exp (/ (* x y) z)) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z)) (pow (/ (* x y) z) 3) (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z)) (- (* x y)) (- z) (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (/ x (sqrt z)) (/ y (sqrt z)) x (/ y z) (/ 1 z) (/ z (* x y)) (/ (* x y) (* (cbrt z) (cbrt z))) (/ (* x y) (sqrt z)) (* x y) (/ z y) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 21.095 * * * [progress]: adding candidates to table 21.134 * * [progress]: iteration 4 / 4 21.134 * * * [progress]: picking best candidate 21.140 * * * * [pick]: Picked # 21.141 * * * [progress]: localizing error 21.151 * * * [progress]: generating rewritten candidates 21.151 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 21.176 * * * [progress]: generating series expansions 21.176 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 21.176 * [backup-simplify]: Simplify (* (* x y) (/ 1 z)) into (/ (* x y) z) 21.177 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0 21.177 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 21.177 * [taylor]: Taking taylor expansion of (* x y) in z 21.177 * [taylor]: Taking taylor expansion of x in z 21.177 * [backup-simplify]: Simplify x into x 21.177 * [taylor]: Taking taylor expansion of y in z 21.177 * [backup-simplify]: Simplify y into y 21.177 * [taylor]: Taking taylor expansion of z in z 21.177 * [backup-simplify]: Simplify 0 into 0 21.177 * [backup-simplify]: Simplify 1 into 1 21.177 * [backup-simplify]: Simplify (* x y) into (* x y) 21.177 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 21.177 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 21.177 * [taylor]: Taking taylor expansion of (* x y) in y 21.177 * [taylor]: Taking taylor expansion of x in y 21.177 * [backup-simplify]: Simplify x into x 21.177 * [taylor]: Taking taylor expansion of y in y 21.177 * [backup-simplify]: Simplify 0 into 0 21.177 * [backup-simplify]: Simplify 1 into 1 21.177 * [taylor]: Taking taylor expansion of z in y 21.177 * [backup-simplify]: Simplify z into z 21.177 * [backup-simplify]: Simplify (* x 0) into 0 21.177 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 21.178 * [backup-simplify]: Simplify (/ x z) into (/ x z) 21.178 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 21.178 * [taylor]: Taking taylor expansion of (* x y) in x 21.178 * [taylor]: Taking taylor expansion of x in x 21.178 * [backup-simplify]: Simplify 0 into 0 21.178 * [backup-simplify]: Simplify 1 into 1 21.178 * [taylor]: Taking taylor expansion of y in x 21.178 * [backup-simplify]: Simplify y into y 21.178 * [taylor]: Taking taylor expansion of z in x 21.178 * [backup-simplify]: Simplify z into z 21.178 * [backup-simplify]: Simplify (* 0 y) into 0 21.178 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.178 * [backup-simplify]: Simplify (/ y z) into (/ y z) 21.178 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 21.178 * [taylor]: Taking taylor expansion of (* x y) in x 21.178 * [taylor]: Taking taylor expansion of x in x 21.178 * [backup-simplify]: Simplify 0 into 0 21.178 * [backup-simplify]: Simplify 1 into 1 21.178 * [taylor]: Taking taylor expansion of y in x 21.178 * [backup-simplify]: Simplify y into y 21.178 * [taylor]: Taking taylor expansion of z in x 21.178 * [backup-simplify]: Simplify z into z 21.178 * [backup-simplify]: Simplify (* 0 y) into 0 21.178 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.179 * [backup-simplify]: Simplify (/ y z) into (/ y z) 21.179 * [taylor]: Taking taylor expansion of (/ y z) in y 21.179 * [taylor]: Taking taylor expansion of y in y 21.179 * [backup-simplify]: Simplify 0 into 0 21.179 * [backup-simplify]: Simplify 1 into 1 21.179 * [taylor]: Taking taylor expansion of z in y 21.179 * [backup-simplify]: Simplify z into z 21.179 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 21.179 * [taylor]: Taking taylor expansion of (/ 1 z) in z 21.179 * [taylor]: Taking taylor expansion of z in z 21.179 * [backup-simplify]: Simplify 0 into 0 21.179 * [backup-simplify]: Simplify 1 into 1 21.179 * [backup-simplify]: Simplify (/ 1 1) into 1 21.179 * [backup-simplify]: Simplify 1 into 1 21.180 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 21.180 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0 21.180 * [taylor]: Taking taylor expansion of 0 in y 21.180 * [backup-simplify]: Simplify 0 into 0 21.180 * [taylor]: Taking taylor expansion of 0 in z 21.180 * [backup-simplify]: Simplify 0 into 0 21.180 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 21.180 * [taylor]: Taking taylor expansion of 0 in z 21.180 * [backup-simplify]: Simplify 0 into 0 21.180 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 21.180 * [backup-simplify]: Simplify 0 into 0 21.181 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 21.181 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 21.181 * [taylor]: Taking taylor expansion of 0 in y 21.182 * [backup-simplify]: Simplify 0 into 0 21.182 * [taylor]: Taking taylor expansion of 0 in z 21.182 * [backup-simplify]: Simplify 0 into 0 21.182 * [taylor]: Taking taylor expansion of 0 in z 21.182 * [backup-simplify]: Simplify 0 into 0 21.182 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 21.182 * [taylor]: Taking taylor expansion of 0 in z 21.182 * [backup-simplify]: Simplify 0 into 0 21.182 * [backup-simplify]: Simplify 0 into 0 21.182 * [backup-simplify]: Simplify 0 into 0 21.182 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.182 * [backup-simplify]: Simplify 0 into 0 21.183 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 21.183 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 21.183 * [taylor]: Taking taylor expansion of 0 in y 21.183 * [backup-simplify]: Simplify 0 into 0 21.183 * [taylor]: Taking taylor expansion of 0 in z 21.184 * [backup-simplify]: Simplify 0 into 0 21.184 * [taylor]: Taking taylor expansion of 0 in z 21.184 * [backup-simplify]: Simplify 0 into 0 21.184 * [taylor]: Taking taylor expansion of 0 in z 21.184 * [backup-simplify]: Simplify 0 into 0 21.184 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 21.184 * [taylor]: Taking taylor expansion of 0 in z 21.184 * [backup-simplify]: Simplify 0 into 0 21.184 * [backup-simplify]: Simplify 0 into 0 21.184 * [backup-simplify]: Simplify 0 into 0 21.184 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* y x))) into (/ (* x y) z) 21.184 * [backup-simplify]: Simplify (* (* (/ 1 x) (/ 1 y)) (/ 1 (/ 1 z))) into (/ z (* x y)) 21.184 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0 21.184 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 21.184 * [taylor]: Taking taylor expansion of z in z 21.184 * [backup-simplify]: Simplify 0 into 0 21.184 * [backup-simplify]: Simplify 1 into 1 21.184 * [taylor]: Taking taylor expansion of (* x y) in z 21.184 * [taylor]: Taking taylor expansion of x in z 21.184 * [backup-simplify]: Simplify x into x 21.184 * [taylor]: Taking taylor expansion of y in z 21.184 * [backup-simplify]: Simplify y into y 21.184 * [backup-simplify]: Simplify (* x y) into (* x y) 21.184 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 21.184 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 21.184 * [taylor]: Taking taylor expansion of z in y 21.184 * [backup-simplify]: Simplify z into z 21.184 * [taylor]: Taking taylor expansion of (* x y) in y 21.184 * [taylor]: Taking taylor expansion of x in y 21.184 * [backup-simplify]: Simplify x into x 21.184 * [taylor]: Taking taylor expansion of y in y 21.184 * [backup-simplify]: Simplify 0 into 0 21.184 * [backup-simplify]: Simplify 1 into 1 21.184 * [backup-simplify]: Simplify (* x 0) into 0 21.185 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 21.185 * [backup-simplify]: Simplify (/ z x) into (/ z x) 21.185 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 21.185 * [taylor]: Taking taylor expansion of z in x 21.185 * [backup-simplify]: Simplify z into z 21.185 * [taylor]: Taking taylor expansion of (* x y) in x 21.185 * [taylor]: Taking taylor expansion of x in x 21.185 * [backup-simplify]: Simplify 0 into 0 21.185 * [backup-simplify]: Simplify 1 into 1 21.185 * [taylor]: Taking taylor expansion of y in x 21.185 * [backup-simplify]: Simplify y into y 21.185 * [backup-simplify]: Simplify (* 0 y) into 0 21.185 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.185 * [backup-simplify]: Simplify (/ z y) into (/ z y) 21.185 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 21.185 * [taylor]: Taking taylor expansion of z in x 21.185 * [backup-simplify]: Simplify z into z 21.185 * [taylor]: Taking taylor expansion of (* x y) in x 21.185 * [taylor]: Taking taylor expansion of x in x 21.185 * [backup-simplify]: Simplify 0 into 0 21.185 * [backup-simplify]: Simplify 1 into 1 21.185 * [taylor]: Taking taylor expansion of y in x 21.185 * [backup-simplify]: Simplify y into y 21.185 * [backup-simplify]: Simplify (* 0 y) into 0 21.186 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.186 * [backup-simplify]: Simplify (/ z y) into (/ z y) 21.186 * [taylor]: Taking taylor expansion of (/ z y) in y 21.186 * [taylor]: Taking taylor expansion of z in y 21.186 * [backup-simplify]: Simplify z into z 21.186 * [taylor]: Taking taylor expansion of y in y 21.186 * [backup-simplify]: Simplify 0 into 0 21.186 * [backup-simplify]: Simplify 1 into 1 21.186 * [backup-simplify]: Simplify (/ z 1) into z 21.186 * [taylor]: Taking taylor expansion of z in z 21.186 * [backup-simplify]: Simplify 0 into 0 21.186 * [backup-simplify]: Simplify 1 into 1 21.186 * [backup-simplify]: Simplify 1 into 1 21.187 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 21.187 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0 21.187 * [taylor]: Taking taylor expansion of 0 in y 21.187 * [backup-simplify]: Simplify 0 into 0 21.187 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 21.187 * [taylor]: Taking taylor expansion of 0 in z 21.187 * [backup-simplify]: Simplify 0 into 0 21.187 * [backup-simplify]: Simplify 0 into 0 21.187 * [backup-simplify]: Simplify 0 into 0 21.188 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 21.188 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 21.188 * [taylor]: Taking taylor expansion of 0 in y 21.188 * [backup-simplify]: Simplify 0 into 0 21.188 * [taylor]: Taking taylor expansion of 0 in z 21.188 * [backup-simplify]: Simplify 0 into 0 21.188 * [backup-simplify]: Simplify 0 into 0 21.189 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.189 * [taylor]: Taking taylor expansion of 0 in z 21.189 * [backup-simplify]: Simplify 0 into 0 21.189 * [backup-simplify]: Simplify 0 into 0 21.189 * [backup-simplify]: Simplify 0 into 0 21.189 * [backup-simplify]: Simplify 0 into 0 21.189 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (/ (* x y) z) 21.189 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (/ 1 (- z)))) into (* -1 (/ z (* x y))) 21.189 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0 21.189 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 21.189 * [taylor]: Taking taylor expansion of -1 in z 21.190 * [backup-simplify]: Simplify -1 into -1 21.190 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 21.190 * [taylor]: Taking taylor expansion of z in z 21.190 * [backup-simplify]: Simplify 0 into 0 21.190 * [backup-simplify]: Simplify 1 into 1 21.190 * [taylor]: Taking taylor expansion of (* x y) in z 21.190 * [taylor]: Taking taylor expansion of x in z 21.190 * [backup-simplify]: Simplify x into x 21.190 * [taylor]: Taking taylor expansion of y in z 21.190 * [backup-simplify]: Simplify y into y 21.190 * [backup-simplify]: Simplify (* x y) into (* x y) 21.190 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 21.190 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 21.190 * [taylor]: Taking taylor expansion of -1 in y 21.190 * [backup-simplify]: Simplify -1 into -1 21.190 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 21.190 * [taylor]: Taking taylor expansion of z in y 21.190 * [backup-simplify]: Simplify z into z 21.190 * [taylor]: Taking taylor expansion of (* x y) in y 21.190 * [taylor]: Taking taylor expansion of x in y 21.190 * [backup-simplify]: Simplify x into x 21.190 * [taylor]: Taking taylor expansion of y in y 21.190 * [backup-simplify]: Simplify 0 into 0 21.190 * [backup-simplify]: Simplify 1 into 1 21.190 * [backup-simplify]: Simplify (* x 0) into 0 21.190 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 21.190 * [backup-simplify]: Simplify (/ z x) into (/ z x) 21.190 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 21.190 * [taylor]: Taking taylor expansion of -1 in x 21.190 * [backup-simplify]: Simplify -1 into -1 21.190 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 21.190 * [taylor]: Taking taylor expansion of z in x 21.190 * [backup-simplify]: Simplify z into z 21.190 * [taylor]: Taking taylor expansion of (* x y) in x 21.190 * [taylor]: Taking taylor expansion of x in x 21.190 * [backup-simplify]: Simplify 0 into 0 21.190 * [backup-simplify]: Simplify 1 into 1 21.190 * [taylor]: Taking taylor expansion of y in x 21.190 * [backup-simplify]: Simplify y into y 21.191 * [backup-simplify]: Simplify (* 0 y) into 0 21.191 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.191 * [backup-simplify]: Simplify (/ z y) into (/ z y) 21.191 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 21.191 * [taylor]: Taking taylor expansion of -1 in x 21.191 * [backup-simplify]: Simplify -1 into -1 21.191 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 21.191 * [taylor]: Taking taylor expansion of z in x 21.191 * [backup-simplify]: Simplify z into z 21.191 * [taylor]: Taking taylor expansion of (* x y) in x 21.191 * [taylor]: Taking taylor expansion of x in x 21.191 * [backup-simplify]: Simplify 0 into 0 21.191 * [backup-simplify]: Simplify 1 into 1 21.191 * [taylor]: Taking taylor expansion of y in x 21.191 * [backup-simplify]: Simplify y into y 21.191 * [backup-simplify]: Simplify (* 0 y) into 0 21.191 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 21.191 * [backup-simplify]: Simplify (/ z y) into (/ z y) 21.192 * [backup-simplify]: Simplify (* -1 (/ z y)) into (* -1 (/ z y)) 21.192 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y 21.192 * [taylor]: Taking taylor expansion of -1 in y 21.192 * [backup-simplify]: Simplify -1 into -1 21.192 * [taylor]: Taking taylor expansion of (/ z y) in y 21.192 * [taylor]: Taking taylor expansion of z in y 21.192 * [backup-simplify]: Simplify z into z 21.192 * [taylor]: Taking taylor expansion of y in y 21.192 * [backup-simplify]: Simplify 0 into 0 21.192 * [backup-simplify]: Simplify 1 into 1 21.192 * [backup-simplify]: Simplify (/ z 1) into z 21.192 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 21.192 * [taylor]: Taking taylor expansion of (* -1 z) in z 21.192 * [taylor]: Taking taylor expansion of -1 in z 21.192 * [backup-simplify]: Simplify -1 into -1 21.192 * [taylor]: Taking taylor expansion of z in z 21.192 * [backup-simplify]: Simplify 0 into 0 21.192 * [backup-simplify]: Simplify 1 into 1 21.192 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1 21.192 * [backup-simplify]: Simplify -1 into -1 21.193 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 21.193 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0 21.193 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z y))) into 0 21.193 * [taylor]: Taking taylor expansion of 0 in y 21.193 * [backup-simplify]: Simplify 0 into 0 21.194 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 21.194 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 z)) into 0 21.194 * [taylor]: Taking taylor expansion of 0 in z 21.194 * [backup-simplify]: Simplify 0 into 0 21.194 * [backup-simplify]: Simplify 0 into 0 21.195 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 21.195 * [backup-simplify]: Simplify 0 into 0 21.196 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 21.196 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 21.196 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z y)))) into 0 21.196 * [taylor]: Taking taylor expansion of 0 in y 21.196 * [backup-simplify]: Simplify 0 into 0 21.196 * [taylor]: Taking taylor expansion of 0 in z 21.196 * [backup-simplify]: Simplify 0 into 0 21.196 * [backup-simplify]: Simplify 0 into 0 21.197 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 21.198 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0 21.198 * [taylor]: Taking taylor expansion of 0 in z 21.198 * [backup-simplify]: Simplify 0 into 0 21.198 * [backup-simplify]: Simplify 0 into 0 21.198 * [backup-simplify]: Simplify 0 into 0 21.198 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 21.198 * [backup-simplify]: Simplify 0 into 0 21.199 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (/ (* x y) z) 21.199 * * * [progress]: simplifying candidates 21.199 * [simplify]: Simplifying: (* (* x y) (/ 1 z)) (* (* x y) (/ 1 z)) (+ (+ (log x) (log y)) (- (log z))) (+ (+ (log x) (log y)) (- 0 (log z))) (+ (+ (log x) (log y)) (- (log 1) (log z))) (+ (+ (log x) (log y)) (log (/ 1 z))) (+ (log (* x y)) (- (log z))) (+ (log (* x y)) (- 0 (log z))) (+ (log (* x y)) (- (log 1) (log z))) (+ (log (* x y)) (log (/ 1 z))) (log (* (* x y) (/ 1 z))) (exp (* (* x y) (/ 1 z))) (* (* (* (* x x) x) (* (* y y) y)) (/ (* (* 1 1) 1) (* (* z z) z))) (* (* (* (* x x) x) (* (* y y) y)) (* (* (/ 1 z) (/ 1 z)) (/ 1 z))) (* (* (* (* x y) (* x y)) (* x y)) (/ (* (* 1 1) 1) (* (* z z) z))) (* (* (* (* x y) (* x y)) (* x y)) (* (* (/ 1 z) (/ 1 z)) (/ 1 z))) (* (cbrt (* (* x y) (/ 1 z))) (cbrt (* (* x y) (/ 1 z)))) (cbrt (* (* x y) (/ 1 z))) (* (* (* (* x y) (/ 1 z)) (* (* x y) (/ 1 z))) (* (* x y) (/ 1 z))) (sqrt (* (* x y) (/ 1 z))) (sqrt (* (* x y) (/ 1 z))) (* (* x y) (* (cbrt (/ 1 z)) (cbrt (/ 1 z)))) (* (* x y) (sqrt (/ 1 z))) (* (* x y) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt z) (cbrt z)))) (* (* x y) (/ (* (cbrt 1) (cbrt 1)) (sqrt z))) (* (* x y) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (* x y) (/ (sqrt 1) (* (cbrt z) (cbrt z)))) (* (* x y) (/ (sqrt 1) (sqrt z))) (* (* x y) (/ (sqrt 1) 1)) (* (* x y) (/ 1 (* (cbrt z) (cbrt z)))) (* (* x y) (/ 1 (sqrt z))) (* (* x y) (/ 1 1)) (* (* x y) 1) (* (* x y) 1) (* y (/ 1 z)) (* (* x y) 1) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 21.200 * * [simplify]: Extracting # 0 : cost 0 21.200 * * [simplify]: Extracting # 1 : cost 0 21.200 * * [simplify]: Extracting # 2 : cost 0 21.200 * * [simplify]: Extracting # 3 : cost 0 21.200 * * [simplify]: Extracting # 4 : cost 0 21.200 * * [simplify]: Extracting # 5 : cost 0 21.201 * * [simplify]: Extracting # 6 : cost 0 21.201 * * [simplify]: Extracting # 7 : cost 0 21.201 * * [simplify]: iteration 0 : 83 enodes (cost 411 ) 21.230 * * [simplify]: Extracting # 0 : cost 0 21.230 * * [simplify]: Extracting # 1 : cost 0 21.230 * * [simplify]: Extracting # 2 : cost 0 21.230 * * [simplify]: Extracting # 3 : cost 0 21.230 * * [simplify]: iteration 1 : 218 enodes (cost 306 ) 21.310 * * [simplify]: Extracting # 0 : cost 0 21.311 * * [simplify]: Extracting # 1 : cost 0 21.312 * * [simplify]: Extracting # 2 : cost 0 21.312 * * [simplify]: Extracting # 3 : cost 0 21.313 * * [simplify]: Extracting # 4 : cost 0 21.314 * * [simplify]: iteration 2 : 708 enodes (cost 238 ) 22.435 * * [simplify]: Extracting # 0 : cost 0 22.440 * * [simplify]: Extracting # 1 : cost 0 22.442 * * [simplify]: Extracting # 2 : cost 0 22.444 * * [simplify]: Extracting # 3 : cost 0 22.445 * * [simplify]: Extracting # 4 : cost 0 22.452 * * [simplify]: iteration 3 : 2549 enodes (cost 238 ) 24.379 * * [simplify]: Extracting # 0 : cost 0 24.385 * * [simplify]: Extracting # 1 : cost 0 24.393 * * [simplify]: Extracting # 2 : cost 0 24.406 * * [simplify]: Extracting # 3 : cost 0 24.414 * * [simplify]: Extracting # 4 : cost 0 24.422 * * [simplify]: iteration done: 5000 enodes (cost 238 ) 24.422 * [simplify]: Simplified to: (/ (* x y) z) (/ (* x y) z) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (exp (/ (* x y) z)) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z)) (pow (/ (* x y) z) 3) (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z)) (* (* x y) (* (cbrt (/ 1 z)) (cbrt (/ 1 z)))) (* (* x y) (sqrt (/ 1 z))) (/ (* y x) (* (cbrt z) (cbrt z))) (/ (* y x) (sqrt z)) (* x y) (/ (* y x) (* (cbrt z) (cbrt z))) (/ (* y x) (sqrt z)) (* x y) (/ (* y x) (* (cbrt z) (cbrt z))) (/ (* y x) (sqrt z)) (* x y) (* x y) (* x y) (/ y z) (* x y) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 24.423 * * * [progress]: adding candidates to table 24.498 * [progress]: [Phase 3 of 3] Extracting. 24.498 * * [regime]: Finding splitpoints for: (# # # # # #) 24.500 * * * [regime-changes]: Trying 5 branch expressions: ((/ y z) t z y x) 24.500 * * * * [regimes]: Trying to branch on (/ y z) from (# # # # # #) 24.546 * * * * [regimes]: Trying to branch on t from (# # # # # #) 24.601 * * * * [regimes]: Trying to branch on z from (# # # # # #) 24.634 * * * * [regimes]: Trying to branch on y from (# # # # # #) 24.698 * * * * [regimes]: Trying to branch on x from (# # # # # #) 24.748 * * * [regime]: Found split indices: #