36.588 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.044 * * * [progress]: [2/2] Setting up program. 0.048 * [progress]: [Phase 2 of 3] Improving. 0.049 * [simplify]: Simplifying: (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t) 0.049 * * [simplify]: Extracting # 0 : cost 0 0.049 * * [simplify]: Extracting # 1 : cost 0 0.049 * * [simplify]: Extracting # 2 : cost 0 0.049 * * [simplify]: Extracting # 3 : cost 0 0.049 * * [simplify]: Extracting # 4 : cost 0 0.049 * * [simplify]: Extracting # 5 : cost 0 0.049 * * [simplify]: Extracting # 6 : cost 0 0.049 * * [simplify]: iteration 0 : 13 enodes (cost 13 ) 0.054 * * [simplify]: Extracting # 0 : cost 0 0.054 * * [simplify]: Extracting # 1 : cost 0 0.054 * * [simplify]: Extracting # 2 : cost 0 0.054 * * [simplify]: iteration 1 : 24 enodes (cost 13 ) 0.062 * * [simplify]: Extracting # 0 : cost 0 0.063 * * [simplify]: Extracting # 1 : cost 0 0.063 * * [simplify]: Extracting # 2 : cost 0 0.063 * * [simplify]: iteration 2 : 46 enodes (cost 13 ) 0.080 * * [simplify]: Extracting # 0 : cost 0 0.080 * * [simplify]: Extracting # 1 : cost 0 0.080 * * [simplify]: Extracting # 2 : cost 0 0.080 * * [simplify]: iteration 3 : 72 enodes (cost 13 ) 0.109 * * [simplify]: Extracting # 0 : cost 0 0.109 * * [simplify]: Extracting # 1 : cost 0 0.109 * * [simplify]: Extracting # 2 : cost 0 0.109 * * [simplify]: iteration 4 : 93 enodes (cost 13 ) 0.160 * * [simplify]: Extracting # 0 : cost 0 0.160 * * [simplify]: Extracting # 1 : cost 0 0.160 * * [simplify]: Extracting # 2 : cost 0 0.160 * * [simplify]: iteration 5 : 101 enodes (cost 13 ) 0.200 * * [simplify]: Extracting # 0 : cost 0 0.200 * * [simplify]: Extracting # 1 : cost 0 0.201 * * [simplify]: Extracting # 2 : cost 0 0.201 * * [simplify]: iteration 6 : 110 enodes (cost 13 ) 0.230 * * [simplify]: Extracting # 0 : cost 0 0.231 * * [simplify]: Extracting # 1 : cost 0 0.231 * * [simplify]: Extracting # 2 : cost 0 0.231 * * [simplify]: iteration 7 : 141 enodes (cost 13 ) 0.298 * * [simplify]: Extracting # 0 : cost 0 0.299 * * [simplify]: Extracting # 1 : cost 0 0.299 * * [simplify]: Extracting # 2 : cost 0 0.300 * * [simplify]: iteration 8 : 203 enodes (cost 13 ) 0.407 * * [simplify]: Extracting # 0 : cost 0 0.407 * * [simplify]: Extracting # 1 : cost 0 0.408 * * [simplify]: Extracting # 2 : cost 0 0.408 * * [simplify]: iteration 9 : 222 enodes (cost 13 ) 0.475 * * [simplify]: Extracting # 0 : cost 0 0.475 * * [simplify]: iteration 10 : 224 enodes (cost 13 ) 0.528 * * [simplify]: Extracting # 0 : cost 0 0.528 * * [simplify]: iteration done: 224 enodes (cost 13 ) 0.528 * [simplify]: Simplified to: (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t) 0.528 * * [progress]: iteration 1 / 4 0.528 * * * [progress]: picking best candidate 0.530 * * * * [pick]: Picked # 0.530 * * * [progress]: localizing error 0.556 * * * [progress]: generating rewritten candidates 0.556 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.570 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.656 * * * [progress]: generating series expansions 0.656 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.657 * [backup-simplify]: Simplify (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) into (- (* 0.125 x) (* 0.5 (* z y))) 0.657 * [approximate]: Taking taylor expansion of (- (* 0.125 x) (* 0.5 (* z y))) in (x y z) around 0 0.657 * [taylor]: Taking taylor expansion of (- (* 0.125 x) (* 0.5 (* z y))) in z 0.657 * [taylor]: Taking taylor expansion of (* 0.125 x) in z 0.657 * [taylor]: Taking taylor expansion of 0.125 in z 0.657 * [backup-simplify]: Simplify 0.125 into 0.125 0.657 * [taylor]: Taking taylor expansion of x in z 0.657 * [backup-simplify]: Simplify x into x 0.657 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in z 0.657 * [taylor]: Taking taylor expansion of 0.5 in z 0.657 * [backup-simplify]: Simplify 0.5 into 0.5 0.657 * [taylor]: Taking taylor expansion of (* z y) in z 0.657 * [taylor]: Taking taylor expansion of z in z 0.657 * [backup-simplify]: Simplify 0 into 0 0.657 * [backup-simplify]: Simplify 1 into 1 0.657 * [taylor]: Taking taylor expansion of y in z 0.657 * [backup-simplify]: Simplify y into y 0.657 * [taylor]: Taking taylor expansion of (- (* 0.125 x) (* 0.5 (* z y))) in y 0.657 * [taylor]: Taking taylor expansion of (* 0.125 x) in y 0.657 * [taylor]: Taking taylor expansion of 0.125 in y 0.657 * [backup-simplify]: Simplify 0.125 into 0.125 0.657 * [taylor]: Taking taylor expansion of x in y 0.657 * [backup-simplify]: Simplify x into x 0.657 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y 0.657 * [taylor]: Taking taylor expansion of 0.5 in y 0.658 * [backup-simplify]: Simplify 0.5 into 0.5 0.658 * [taylor]: Taking taylor expansion of (* z y) in y 0.658 * [taylor]: Taking taylor expansion of z in y 0.658 * [backup-simplify]: Simplify z into z 0.658 * [taylor]: Taking taylor expansion of y in y 0.658 * [backup-simplify]: Simplify 0 into 0 0.658 * [backup-simplify]: Simplify 1 into 1 0.658 * [taylor]: Taking taylor expansion of (- (* 0.125 x) (* 0.5 (* z y))) in x 0.658 * [taylor]: Taking taylor expansion of (* 0.125 x) in x 0.658 * [taylor]: Taking taylor expansion of 0.125 in x 0.658 * [backup-simplify]: Simplify 0.125 into 0.125 0.658 * [taylor]: Taking taylor expansion of x in x 0.658 * [backup-simplify]: Simplify 0 into 0 0.658 * [backup-simplify]: Simplify 1 into 1 0.658 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in x 0.658 * [taylor]: Taking taylor expansion of 0.5 in x 0.658 * [backup-simplify]: Simplify 0.5 into 0.5 0.658 * [taylor]: Taking taylor expansion of (* z y) in x 0.658 * [taylor]: Taking taylor expansion of z in x 0.658 * [backup-simplify]: Simplify z into z 0.658 * [taylor]: Taking taylor expansion of y in x 0.658 * [backup-simplify]: Simplify y into y 0.658 * [taylor]: Taking taylor expansion of (- (* 0.125 x) (* 0.5 (* z y))) in x 0.658 * [taylor]: Taking taylor expansion of (* 0.125 x) in x 0.658 * [taylor]: Taking taylor expansion of 0.125 in x 0.658 * [backup-simplify]: Simplify 0.125 into 0.125 0.658 * [taylor]: Taking taylor expansion of x in x 0.658 * [backup-simplify]: Simplify 0 into 0 0.658 * [backup-simplify]: Simplify 1 into 1 0.658 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in x 0.658 * [taylor]: Taking taylor expansion of 0.5 in x 0.658 * [backup-simplify]: Simplify 0.5 into 0.5 0.658 * [taylor]: Taking taylor expansion of (* z y) in x 0.658 * [taylor]: Taking taylor expansion of z in x 0.658 * [backup-simplify]: Simplify z into z 0.658 * [taylor]: Taking taylor expansion of y in x 0.658 * [backup-simplify]: Simplify y into y 0.658 * [backup-simplify]: Simplify (* 0.125 0) into 0 0.659 * [backup-simplify]: Simplify (* z y) into (* z y) 0.659 * [backup-simplify]: Simplify (* 0.5 (* z y)) into (* 0.5 (* z y)) 0.659 * [backup-simplify]: Simplify (- (* 0.5 (* z y))) into (- (* 0.5 (* z y))) 0.659 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (* z y)))) into (- (* 0.5 (* z y))) 0.659 * [taylor]: Taking taylor expansion of (- (* 0.5 (* z y))) in y 0.659 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y 0.659 * [taylor]: Taking taylor expansion of 0.5 in y 0.659 * [backup-simplify]: Simplify 0.5 into 0.5 0.659 * [taylor]: Taking taylor expansion of (* z y) in y 0.659 * [taylor]: Taking taylor expansion of z in y 0.659 * [backup-simplify]: Simplify z into z 0.659 * [taylor]: Taking taylor expansion of y in y 0.659 * [backup-simplify]: Simplify 0 into 0 0.659 * [backup-simplify]: Simplify 1 into 1 0.659 * [backup-simplify]: Simplify (* z 0) into 0 0.659 * [backup-simplify]: Simplify (* 0.5 0) into 0 0.660 * [backup-simplify]: Simplify (- 0) into 0 0.660 * [taylor]: Taking taylor expansion of 0 in z 0.660 * [backup-simplify]: Simplify 0 into 0 0.660 * [backup-simplify]: Simplify 0 into 0 0.661 * [backup-simplify]: Simplify (+ (* 0.125 1) (* 0 0)) into 0.125 0.661 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 0.661 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* z y))) into 0 0.661 * [backup-simplify]: Simplify (- 0) into 0 0.661 * [backup-simplify]: Simplify (+ 0.125 0) into 0.125 0.662 * [taylor]: Taking taylor expansion of 0.125 in y 0.662 * [backup-simplify]: Simplify 0.125 into 0.125 0.662 * [taylor]: Taking taylor expansion of 0.125 in z 0.662 * [backup-simplify]: Simplify 0.125 into 0.125 0.662 * [backup-simplify]: Simplify 0.125 into 0.125 0.662 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 0.662 * [backup-simplify]: Simplify (+ (* 0.5 z) (* 0 0)) into (* 0.5 z) 0.662 * [backup-simplify]: Simplify (- (* 0.5 z)) into (- (* 0.5 z)) 0.662 * [taylor]: Taking taylor expansion of (- (* 0.5 z)) in z 0.662 * [taylor]: Taking taylor expansion of (* 0.5 z) in z 0.662 * [taylor]: Taking taylor expansion of 0.5 in z 0.662 * [backup-simplify]: Simplify 0.5 into 0.5 0.662 * [taylor]: Taking taylor expansion of z in z 0.662 * [backup-simplify]: Simplify 0 into 0 0.662 * [backup-simplify]: Simplify 1 into 1 0.663 * [backup-simplify]: Simplify (* 0.5 0) into 0 0.663 * [backup-simplify]: Simplify (- 0) into 0 0.663 * [backup-simplify]: Simplify 0 into 0 0.663 * [backup-simplify]: Simplify 0 into 0 0.664 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 1) (* 0 0))) into 0 0.664 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0 0.665 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* z y)))) into 0 0.665 * [backup-simplify]: Simplify (- 0) into 0 0.665 * [backup-simplify]: Simplify (+ 0 0) into 0 0.665 * [taylor]: Taking taylor expansion of 0 in y 0.665 * [backup-simplify]: Simplify 0 into 0 0.665 * [taylor]: Taking taylor expansion of 0 in z 0.665 * [backup-simplify]: Simplify 0 into 0 0.665 * [backup-simplify]: Simplify 0 into 0 0.665 * [taylor]: Taking taylor expansion of 0 in z 0.665 * [backup-simplify]: Simplify 0 into 0 0.665 * [backup-simplify]: Simplify 0 into 0 0.666 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 0.666 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 z) (* 0 0))) into 0 0.667 * [backup-simplify]: Simplify (- 0) into 0 0.667 * [taylor]: Taking taylor expansion of 0 in z 0.667 * [backup-simplify]: Simplify 0 into 0 0.667 * [backup-simplify]: Simplify 0 into 0 0.667 * [backup-simplify]: Simplify 0 into 0 0.667 * [backup-simplify]: Simplify (* 0.125 (* 1 (* 1 x))) into (* 0.125 x) 0.667 * [backup-simplify]: Simplify (- (* (/ 1.0 8.0) (/ 1 x)) (/ (* (/ 1 y) (/ 1 z)) 2.0)) into (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y)))) 0.667 * [approximate]: Taking taylor expansion of (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y)))) in (x y z) around 0 0.667 * [taylor]: Taking taylor expansion of (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y)))) in z 0.667 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in z 0.667 * [taylor]: Taking taylor expansion of 0.125 in z 0.667 * [backup-simplify]: Simplify 0.125 into 0.125 0.667 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.667 * [taylor]: Taking taylor expansion of x in z 0.667 * [backup-simplify]: Simplify x into x 0.667 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.667 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z 0.667 * [taylor]: Taking taylor expansion of 0.5 in z 0.668 * [backup-simplify]: Simplify 0.5 into 0.5 0.668 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.668 * [taylor]: Taking taylor expansion of (* z y) in z 0.668 * [taylor]: Taking taylor expansion of z in z 0.668 * [backup-simplify]: Simplify 0 into 0 0.668 * [backup-simplify]: Simplify 1 into 1 0.668 * [taylor]: Taking taylor expansion of y in z 0.668 * [backup-simplify]: Simplify y into y 0.668 * [backup-simplify]: Simplify (* 0 y) into 0 0.668 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.668 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.668 * [taylor]: Taking taylor expansion of (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y)))) in y 0.668 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in y 0.668 * [taylor]: Taking taylor expansion of 0.125 in y 0.668 * [backup-simplify]: Simplify 0.125 into 0.125 0.668 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.668 * [taylor]: Taking taylor expansion of x in y 0.668 * [backup-simplify]: Simplify x into x 0.668 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.668 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y 0.668 * [taylor]: Taking taylor expansion of 0.5 in y 0.668 * [backup-simplify]: Simplify 0.5 into 0.5 0.668 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.668 * [taylor]: Taking taylor expansion of (* z y) in y 0.668 * [taylor]: Taking taylor expansion of z in y 0.668 * [backup-simplify]: Simplify z into z 0.668 * [taylor]: Taking taylor expansion of y in y 0.668 * [backup-simplify]: Simplify 0 into 0 0.668 * [backup-simplify]: Simplify 1 into 1 0.668 * [backup-simplify]: Simplify (* z 0) into 0 0.669 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 0.669 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.669 * [taylor]: Taking taylor expansion of (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y)))) in x 0.669 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x 0.669 * [taylor]: Taking taylor expansion of 0.125 in x 0.669 * [backup-simplify]: Simplify 0.125 into 0.125 0.669 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.669 * [taylor]: Taking taylor expansion of x in x 0.669 * [backup-simplify]: Simplify 0 into 0 0.669 * [backup-simplify]: Simplify 1 into 1 0.669 * [backup-simplify]: Simplify (/ 1 1) into 1 0.669 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x 0.669 * [taylor]: Taking taylor expansion of 0.5 in x 0.669 * [backup-simplify]: Simplify 0.5 into 0.5 0.669 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.669 * [taylor]: Taking taylor expansion of (* z y) in x 0.669 * [taylor]: Taking taylor expansion of z in x 0.669 * [backup-simplify]: Simplify z into z 0.669 * [taylor]: Taking taylor expansion of y in x 0.669 * [backup-simplify]: Simplify y into y 0.669 * [backup-simplify]: Simplify (* z y) into (* z y) 0.669 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 0.669 * [taylor]: Taking taylor expansion of (- (* 0.125 (/ 1 x)) (* 0.5 (/ 1 (* z y)))) in x 0.669 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x 0.669 * [taylor]: Taking taylor expansion of 0.125 in x 0.669 * [backup-simplify]: Simplify 0.125 into 0.125 0.669 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.669 * [taylor]: Taking taylor expansion of x in x 0.669 * [backup-simplify]: Simplify 0 into 0 0.669 * [backup-simplify]: Simplify 1 into 1 0.670 * [backup-simplify]: Simplify (/ 1 1) into 1 0.670 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x 0.670 * [taylor]: Taking taylor expansion of 0.5 in x 0.670 * [backup-simplify]: Simplify 0.5 into 0.5 0.670 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.670 * [taylor]: Taking taylor expansion of (* z y) in x 0.670 * [taylor]: Taking taylor expansion of z in x 0.670 * [backup-simplify]: Simplify z into z 0.670 * [taylor]: Taking taylor expansion of y in x 0.670 * [backup-simplify]: Simplify y into y 0.670 * [backup-simplify]: Simplify (* z y) into (* z y) 0.670 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 0.670 * [backup-simplify]: Simplify (* 0.125 1) into 0.125 0.671 * [backup-simplify]: Simplify (+ 0.125 0) into 0.125 0.671 * [taylor]: Taking taylor expansion of 0.125 in y 0.671 * [backup-simplify]: Simplify 0.125 into 0.125 0.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.672 * [backup-simplify]: Simplify (+ (* 0.125 0) (* 0 1)) into 0 0.672 * [backup-simplify]: Simplify (* 0.5 (/ 1 (* z y))) into (/ 0.5 (* z y)) 0.672 * [backup-simplify]: Simplify (- (/ 0.5 (* z y))) into (- (* 0.5 (/ 1 (* z y)))) 0.672 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 (* z y))))) into (- (* 0.5 (/ 1 (* z y)))) 0.672 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* z y)))) in y 0.672 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y 0.672 * [taylor]: Taking taylor expansion of 0.5 in y 0.672 * [backup-simplify]: Simplify 0.5 into 0.5 0.672 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.672 * [taylor]: Taking taylor expansion of (* z y) in y 0.672 * [taylor]: Taking taylor expansion of z in y 0.672 * [backup-simplify]: Simplify z into z 0.672 * [taylor]: Taking taylor expansion of y in y 0.672 * [backup-simplify]: Simplify 0 into 0 0.672 * [backup-simplify]: Simplify 1 into 1 0.672 * [backup-simplify]: Simplify (* z 0) into 0 0.672 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 0.672 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.672 * [backup-simplify]: Simplify (* 0.5 (/ 1 z)) into (/ 0.5 z) 0.672 * [backup-simplify]: Simplify (- (/ 0.5 z)) into (- (* 0.5 (/ 1 z))) 0.673 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 z))) in z 0.673 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z 0.673 * [taylor]: Taking taylor expansion of 0.5 in z 0.673 * [backup-simplify]: Simplify 0.5 into 0.5 0.673 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.673 * [taylor]: Taking taylor expansion of z in z 0.673 * [backup-simplify]: Simplify 0 into 0 0.673 * [backup-simplify]: Simplify 1 into 1 0.673 * [backup-simplify]: Simplify (/ 1 1) into 1 0.673 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 0.673 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 0.674 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 0.674 * [taylor]: Taking taylor expansion of 0.125 in z 0.674 * [backup-simplify]: Simplify 0.125 into 0.125 0.674 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.675 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (* 0 1))) into 0 0.675 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 0.675 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0 0.675 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (* z y)))) into 0 0.676 * [backup-simplify]: Simplify (- 0) into 0 0.676 * [backup-simplify]: Simplify (+ 0 0) into 0 0.676 * [taylor]: Taking taylor expansion of 0 in y 0.676 * [backup-simplify]: Simplify 0 into 0 0.676 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 0.676 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.677 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 z))) into 0 0.677 * [backup-simplify]: Simplify (- 0) into 0 0.677 * [taylor]: Taking taylor expansion of 0 in z 0.677 * [backup-simplify]: Simplify 0 into 0 0.677 * [taylor]: Taking taylor expansion of 0 in z 0.677 * [backup-simplify]: Simplify 0 into 0 0.677 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.678 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 0.678 * [backup-simplify]: Simplify (- 0) into 0 0.678 * [backup-simplify]: Simplify 0 into 0 0.678 * [backup-simplify]: Simplify 0.125 into 0.125 0.679 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.679 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.680 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0 0.680 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0 0.680 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 (* z y))))) into 0 0.681 * [backup-simplify]: Simplify (- 0) into 0 0.681 * [backup-simplify]: Simplify (+ 0 0) into 0 0.681 * [taylor]: Taking taylor expansion of 0 in y 0.681 * [backup-simplify]: Simplify 0 into 0 0.681 * [taylor]: Taking taylor expansion of 0 in z 0.681 * [backup-simplify]: Simplify 0 into 0 0.681 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.682 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.682 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0 0.682 * [backup-simplify]: Simplify (- 0) into 0 0.682 * [taylor]: Taking taylor expansion of 0 in z 0.682 * [backup-simplify]: Simplify 0 into 0 0.682 * [taylor]: Taking taylor expansion of 0 in z 0.682 * [backup-simplify]: Simplify 0 into 0 0.682 * [backup-simplify]: Simplify 0 into 0 0.682 * [backup-simplify]: Simplify 0 into 0 0.683 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.684 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 0.684 * [backup-simplify]: Simplify (- 0) into 0 0.684 * [backup-simplify]: Simplify 0 into 0 0.684 * [backup-simplify]: Simplify 0 into 0 0.685 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.685 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.686 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 0.686 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0 0.687 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* z y)))))) into 0 0.687 * [backup-simplify]: Simplify (- 0) into 0 0.687 * [backup-simplify]: Simplify (+ 0 0) into 0 0.687 * [taylor]: Taking taylor expansion of 0 in y 0.687 * [backup-simplify]: Simplify 0 into 0 0.687 * [taylor]: Taking taylor expansion of 0 in z 0.687 * [backup-simplify]: Simplify 0 into 0 0.688 * [taylor]: Taking taylor expansion of 0 in z 0.688 * [backup-simplify]: Simplify 0 into 0 0.688 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.688 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.689 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 z))))) into 0 0.689 * [backup-simplify]: Simplify (- 0) into 0 0.689 * [taylor]: Taking taylor expansion of 0 in z 0.689 * [backup-simplify]: Simplify 0 into 0 0.690 * [taylor]: Taking taylor expansion of 0 in z 0.690 * [backup-simplify]: Simplify 0 into 0 0.690 * [backup-simplify]: Simplify 0 into 0 0.690 * [backup-simplify]: Simplify 0 into 0 0.690 * [backup-simplify]: Simplify (+ (* 0.125 (* 1 (* 1 (/ 1 (/ 1 x))))) (* (- 0.5) (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1)))) into (- (* 0.125 x) (* 0.5 (* z y))) 0.691 * [backup-simplify]: Simplify (- (* (/ 1.0 8.0) (/ 1 (- x))) (/ (* (/ 1 (- y)) (/ 1 (- z))) 2.0)) into (- (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x)))) 0.691 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x)))) in (x y z) around 0 0.691 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x)))) in z 0.691 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x))) in z 0.691 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z 0.691 * [taylor]: Taking taylor expansion of 0.5 in z 0.691 * [backup-simplify]: Simplify 0.5 into 0.5 0.691 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.691 * [taylor]: Taking taylor expansion of (* z y) in z 0.691 * [taylor]: Taking taylor expansion of z in z 0.691 * [backup-simplify]: Simplify 0 into 0 0.691 * [backup-simplify]: Simplify 1 into 1 0.691 * [taylor]: Taking taylor expansion of y in z 0.691 * [backup-simplify]: Simplify y into y 0.691 * [backup-simplify]: Simplify (* 0 y) into 0 0.691 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.691 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.691 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in z 0.691 * [taylor]: Taking taylor expansion of 0.125 in z 0.691 * [backup-simplify]: Simplify 0.125 into 0.125 0.691 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.691 * [taylor]: Taking taylor expansion of x in z 0.691 * [backup-simplify]: Simplify x into x 0.691 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.691 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x)))) in y 0.691 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x))) in y 0.691 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y 0.691 * [taylor]: Taking taylor expansion of 0.5 in y 0.691 * [backup-simplify]: Simplify 0.5 into 0.5 0.691 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.691 * [taylor]: Taking taylor expansion of (* z y) in y 0.692 * [taylor]: Taking taylor expansion of z in y 0.692 * [backup-simplify]: Simplify z into z 0.692 * [taylor]: Taking taylor expansion of y in y 0.692 * [backup-simplify]: Simplify 0 into 0 0.692 * [backup-simplify]: Simplify 1 into 1 0.692 * [backup-simplify]: Simplify (* z 0) into 0 0.692 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 0.692 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.692 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in y 0.692 * [taylor]: Taking taylor expansion of 0.125 in y 0.692 * [backup-simplify]: Simplify 0.125 into 0.125 0.692 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.692 * [taylor]: Taking taylor expansion of x in y 0.692 * [backup-simplify]: Simplify x into x 0.692 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.692 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x)))) in x 0.692 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x))) in x 0.692 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x 0.692 * [taylor]: Taking taylor expansion of 0.5 in x 0.692 * [backup-simplify]: Simplify 0.5 into 0.5 0.692 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.692 * [taylor]: Taking taylor expansion of (* z y) in x 0.692 * [taylor]: Taking taylor expansion of z in x 0.692 * [backup-simplify]: Simplify z into z 0.692 * [taylor]: Taking taylor expansion of y in x 0.692 * [backup-simplify]: Simplify y into y 0.692 * [backup-simplify]: Simplify (* z y) into (* z y) 0.692 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 0.692 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x 0.692 * [taylor]: Taking taylor expansion of 0.125 in x 0.692 * [backup-simplify]: Simplify 0.125 into 0.125 0.692 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.692 * [taylor]: Taking taylor expansion of x in x 0.692 * [backup-simplify]: Simplify 0 into 0 0.692 * [backup-simplify]: Simplify 1 into 1 0.693 * [backup-simplify]: Simplify (/ 1 1) into 1 0.693 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x)))) in x 0.693 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (* 0.125 (/ 1 x))) in x 0.693 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x 0.693 * [taylor]: Taking taylor expansion of 0.5 in x 0.693 * [backup-simplify]: Simplify 0.5 into 0.5 0.693 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.693 * [taylor]: Taking taylor expansion of (* z y) in x 0.693 * [taylor]: Taking taylor expansion of z in x 0.693 * [backup-simplify]: Simplify z into z 0.693 * [taylor]: Taking taylor expansion of y in x 0.693 * [backup-simplify]: Simplify y into y 0.693 * [backup-simplify]: Simplify (* z y) into (* z y) 0.693 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 0.693 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x 0.693 * [taylor]: Taking taylor expansion of 0.125 in x 0.693 * [backup-simplify]: Simplify 0.125 into 0.125 0.693 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.693 * [taylor]: Taking taylor expansion of x in x 0.693 * [backup-simplify]: Simplify 0 into 0 0.693 * [backup-simplify]: Simplify 1 into 1 0.693 * [backup-simplify]: Simplify (/ 1 1) into 1 0.694 * [backup-simplify]: Simplify (* 0.125 1) into 0.125 0.694 * [backup-simplify]: Simplify (+ 0 0.125) into 0.125 0.694 * [backup-simplify]: Simplify (- 0.125) into (- 0.125) 0.694 * [taylor]: Taking taylor expansion of (- 0.125) in y 0.694 * [taylor]: Taking taylor expansion of 0.125 in y 0.694 * [backup-simplify]: Simplify 0.125 into 0.125 0.694 * [backup-simplify]: Simplify (* 0.5 (/ 1 (* z y))) into (/ 0.5 (* z y)) 0.695 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.695 * [backup-simplify]: Simplify (+ (* 0.125 0) (* 0 1)) into 0 0.695 * [backup-simplify]: Simplify (+ (/ 0.5 (* z y)) 0) into (* 0.5 (/ 1 (* z y))) 0.696 * [backup-simplify]: Simplify (- (* 0.5 (/ 1 (* z y)))) into (- (* 0.5 (/ 1 (* z y)))) 0.696 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* z y)))) in y 0.696 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y 0.696 * [taylor]: Taking taylor expansion of 0.5 in y 0.696 * [backup-simplify]: Simplify 0.5 into 0.5 0.696 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.696 * [taylor]: Taking taylor expansion of (* z y) in y 0.696 * [taylor]: Taking taylor expansion of z in y 0.696 * [backup-simplify]: Simplify z into z 0.696 * [taylor]: Taking taylor expansion of y in y 0.696 * [backup-simplify]: Simplify 0 into 0 0.696 * [backup-simplify]: Simplify 1 into 1 0.696 * [backup-simplify]: Simplify (* z 0) into 0 0.696 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 0.696 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.696 * [backup-simplify]: Simplify (* 0.5 (/ 1 z)) into (/ 0.5 z) 0.696 * [backup-simplify]: Simplify (- (/ 0.5 z)) into (- (* 0.5 (/ 1 z))) 0.696 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 z))) in z 0.696 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z 0.696 * [taylor]: Taking taylor expansion of 0.5 in z 0.696 * [backup-simplify]: Simplify 0.5 into 0.5 0.696 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.696 * [taylor]: Taking taylor expansion of z in z 0.696 * [backup-simplify]: Simplify 0 into 0 0.697 * [backup-simplify]: Simplify 1 into 1 0.697 * [backup-simplify]: Simplify (/ 1 1) into 1 0.697 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 0.697 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 0.697 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 0.698 * [backup-simplify]: Simplify (- 0.125) into (- 0.125) 0.698 * [taylor]: Taking taylor expansion of (- 0.125) in z 0.698 * [taylor]: Taking taylor expansion of 0.125 in z 0.698 * [backup-simplify]: Simplify 0.125 into 0.125 0.698 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 0.698 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0 0.698 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (* z y)))) into 0 0.699 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.699 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (* 0 1))) into 0 0.700 * [backup-simplify]: Simplify (+ 0 0) into 0 0.700 * [backup-simplify]: Simplify (- 0) into 0 0.700 * [taylor]: Taking taylor expansion of 0 in y 0.700 * [backup-simplify]: Simplify 0 into 0 0.700 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 0.701 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.701 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 z))) into 0 0.701 * [backup-simplify]: Simplify (- 0) into 0 0.701 * [taylor]: Taking taylor expansion of 0 in z 0.701 * [backup-simplify]: Simplify 0 into 0 0.701 * [backup-simplify]: Simplify (- 0) into 0 0.701 * [taylor]: Taking taylor expansion of 0 in z 0.701 * [backup-simplify]: Simplify 0 into 0 0.702 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.702 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 0.702 * [backup-simplify]: Simplify (- 0) into 0 0.703 * [backup-simplify]: Simplify 0 into 0 0.703 * [backup-simplify]: Simplify (- 0.125) into (- 0.125) 0.703 * [backup-simplify]: Simplify (- 0.125) into (- 0.125) 0.703 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0 0.704 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0 0.704 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 (* z y))))) into 0 0.705 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.705 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.706 * [backup-simplify]: Simplify (+ 0 0) into 0 0.706 * [backup-simplify]: Simplify (- 0) into 0 0.706 * [taylor]: Taking taylor expansion of 0 in y 0.706 * [backup-simplify]: Simplify 0 into 0 0.706 * [taylor]: Taking taylor expansion of 0 in z 0.706 * [backup-simplify]: Simplify 0 into 0 0.706 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.706 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.707 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0 0.707 * [backup-simplify]: Simplify (- 0) into 0 0.707 * [taylor]: Taking taylor expansion of 0 in z 0.707 * [backup-simplify]: Simplify 0 into 0 0.707 * [backup-simplify]: Simplify (- 0) into 0 0.708 * [taylor]: Taking taylor expansion of 0 in z 0.708 * [backup-simplify]: Simplify 0 into 0 0.708 * [backup-simplify]: Simplify 0 into 0 0.708 * [backup-simplify]: Simplify 0 into 0 0.708 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.709 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 0.709 * [backup-simplify]: Simplify (- 0) into 0 0.709 * [backup-simplify]: Simplify 0 into 0 0.709 * [backup-simplify]: Simplify (- 0) into 0 0.709 * [backup-simplify]: Simplify 0 into 0 0.710 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 0.710 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0 0.711 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* z y)))))) into 0 0.711 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.712 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.712 * [backup-simplify]: Simplify (+ 0 0) into 0 0.713 * [backup-simplify]: Simplify (- 0) into 0 0.713 * [taylor]: Taking taylor expansion of 0 in y 0.713 * [backup-simplify]: Simplify 0 into 0 0.713 * [taylor]: Taking taylor expansion of 0 in z 0.713 * [backup-simplify]: Simplify 0 into 0 0.713 * [taylor]: Taking taylor expansion of 0 in z 0.713 * [backup-simplify]: Simplify 0 into 0 0.714 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.714 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.715 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 z))))) into 0 0.715 * [backup-simplify]: Simplify (- 0) into 0 0.715 * [taylor]: Taking taylor expansion of 0 in z 0.715 * [backup-simplify]: Simplify 0 into 0 0.715 * [backup-simplify]: Simplify (- 0) into 0 0.715 * [taylor]: Taking taylor expansion of 0 in z 0.715 * [backup-simplify]: Simplify 0 into 0 0.715 * [backup-simplify]: Simplify 0 into 0 0.715 * [backup-simplify]: Simplify 0 into 0 0.716 * [backup-simplify]: Simplify (+ (* (- 0.125) (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (* (- 0.5) (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1)))) into (- (* 0.125 x) (* 0.5 (* z y))) 0.716 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.717 * [backup-simplify]: Simplify (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t) into (- (+ (* 0.125 x) t) (* 0.5 (* z y))) 0.717 * [approximate]: Taking taylor expansion of (- (+ (* 0.125 x) t) (* 0.5 (* z y))) in (x y z t) around 0 0.717 * [taylor]: Taking taylor expansion of (- (+ (* 0.125 x) t) (* 0.5 (* z y))) in t 0.717 * [taylor]: Taking taylor expansion of (+ (* 0.125 x) t) in t 0.717 * [taylor]: Taking taylor expansion of (* 0.125 x) in t 0.717 * [taylor]: Taking taylor expansion of 0.125 in t 0.717 * [backup-simplify]: Simplify 0.125 into 0.125 0.717 * [taylor]: Taking taylor expansion of x in t 0.717 * [backup-simplify]: Simplify x into x 0.717 * [taylor]: Taking taylor expansion of t in t 0.717 * [backup-simplify]: Simplify 0 into 0 0.717 * [backup-simplify]: Simplify 1 into 1 0.717 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in t 0.717 * [taylor]: Taking taylor expansion of 0.5 in t 0.717 * [backup-simplify]: Simplify 0.5 into 0.5 0.717 * [taylor]: Taking taylor expansion of (* z y) in t 0.717 * [taylor]: Taking taylor expansion of z in t 0.717 * [backup-simplify]: Simplify z into z 0.717 * [taylor]: Taking taylor expansion of y in t 0.717 * [backup-simplify]: Simplify y into y 0.717 * [taylor]: Taking taylor expansion of (- (+ (* 0.125 x) t) (* 0.5 (* z y))) in z 0.717 * [taylor]: Taking taylor expansion of (+ (* 0.125 x) t) in z 0.717 * [taylor]: Taking taylor expansion of (* 0.125 x) in z 0.717 * [taylor]: Taking taylor expansion of 0.125 in z 0.717 * [backup-simplify]: Simplify 0.125 into 0.125 0.717 * [taylor]: Taking taylor expansion of x in z 0.717 * [backup-simplify]: Simplify x into x 0.717 * [taylor]: Taking taylor expansion of t in z 0.717 * [backup-simplify]: Simplify t into t 0.717 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in z 0.717 * [taylor]: Taking taylor expansion of 0.5 in z 0.717 * [backup-simplify]: Simplify 0.5 into 0.5 0.717 * [taylor]: Taking taylor expansion of (* z y) in z 0.717 * [taylor]: Taking taylor expansion of z in z 0.717 * [backup-simplify]: Simplify 0 into 0 0.717 * [backup-simplify]: Simplify 1 into 1 0.717 * [taylor]: Taking taylor expansion of y in z 0.717 * [backup-simplify]: Simplify y into y 0.717 * [taylor]: Taking taylor expansion of (- (+ (* 0.125 x) t) (* 0.5 (* z y))) in y 0.717 * [taylor]: Taking taylor expansion of (+ (* 0.125 x) t) in y 0.717 * [taylor]: Taking taylor expansion of (* 0.125 x) in y 0.717 * [taylor]: Taking taylor expansion of 0.125 in y 0.717 * [backup-simplify]: Simplify 0.125 into 0.125 0.717 * [taylor]: Taking taylor expansion of x in y 0.717 * [backup-simplify]: Simplify x into x 0.717 * [taylor]: Taking taylor expansion of t in y 0.717 * [backup-simplify]: Simplify t into t 0.717 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y 0.717 * [taylor]: Taking taylor expansion of 0.5 in y 0.717 * [backup-simplify]: Simplify 0.5 into 0.5 0.717 * [taylor]: Taking taylor expansion of (* z y) in y 0.718 * [taylor]: Taking taylor expansion of z in y 0.718 * [backup-simplify]: Simplify z into z 0.718 * [taylor]: Taking taylor expansion of y in y 0.718 * [backup-simplify]: Simplify 0 into 0 0.718 * [backup-simplify]: Simplify 1 into 1 0.718 * [taylor]: Taking taylor expansion of (- (+ (* 0.125 x) t) (* 0.5 (* z y))) in x 0.718 * [taylor]: Taking taylor expansion of (+ (* 0.125 x) t) in x 0.718 * [taylor]: Taking taylor expansion of (* 0.125 x) in x 0.718 * [taylor]: Taking taylor expansion of 0.125 in x 0.718 * [backup-simplify]: Simplify 0.125 into 0.125 0.718 * [taylor]: Taking taylor expansion of x in x 0.718 * [backup-simplify]: Simplify 0 into 0 0.718 * [backup-simplify]: Simplify 1 into 1 0.718 * [taylor]: Taking taylor expansion of t in x 0.718 * [backup-simplify]: Simplify t into t 0.718 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in x 0.718 * [taylor]: Taking taylor expansion of 0.5 in x 0.718 * [backup-simplify]: Simplify 0.5 into 0.5 0.718 * [taylor]: Taking taylor expansion of (* z y) in x 0.718 * [taylor]: Taking taylor expansion of z in x 0.718 * [backup-simplify]: Simplify z into z 0.718 * [taylor]: Taking taylor expansion of y in x 0.718 * [backup-simplify]: Simplify y into y 0.718 * [taylor]: Taking taylor expansion of (- (+ (* 0.125 x) t) (* 0.5 (* z y))) in x 0.718 * [taylor]: Taking taylor expansion of (+ (* 0.125 x) t) in x 0.718 * [taylor]: Taking taylor expansion of (* 0.125 x) in x 0.718 * [taylor]: Taking taylor expansion of 0.125 in x 0.718 * [backup-simplify]: Simplify 0.125 into 0.125 0.718 * [taylor]: Taking taylor expansion of x in x 0.718 * [backup-simplify]: Simplify 0 into 0 0.718 * [backup-simplify]: Simplify 1 into 1 0.718 * [taylor]: Taking taylor expansion of t in x 0.718 * [backup-simplify]: Simplify t into t 0.718 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in x 0.718 * [taylor]: Taking taylor expansion of 0.5 in x 0.718 * [backup-simplify]: Simplify 0.5 into 0.5 0.718 * [taylor]: Taking taylor expansion of (* z y) in x 0.718 * [taylor]: Taking taylor expansion of z in x 0.718 * [backup-simplify]: Simplify z into z 0.718 * [taylor]: Taking taylor expansion of y in x 0.718 * [backup-simplify]: Simplify y into y 0.718 * [backup-simplify]: Simplify (* 0.125 0) into 0 0.719 * [backup-simplify]: Simplify (+ 0 t) into t 0.719 * [backup-simplify]: Simplify (* z y) into (* z y) 0.719 * [backup-simplify]: Simplify (* 0.5 (* z y)) into (* 0.5 (* z y)) 0.719 * [backup-simplify]: Simplify (- (* 0.5 (* z y))) into (- (* 0.5 (* z y))) 0.719 * [backup-simplify]: Simplify (+ t (- (* 0.5 (* z y)))) into (- t (* 0.5 (* z y))) 0.719 * [taylor]: Taking taylor expansion of (- t (* 0.5 (* z y))) in y 0.719 * [taylor]: Taking taylor expansion of t in y 0.719 * [backup-simplify]: Simplify t into t 0.719 * [taylor]: Taking taylor expansion of (* 0.5 (* z y)) in y 0.719 * [taylor]: Taking taylor expansion of 0.5 in y 0.719 * [backup-simplify]: Simplify 0.5 into 0.5 0.719 * [taylor]: Taking taylor expansion of (* z y) in y 0.719 * [taylor]: Taking taylor expansion of z in y 0.719 * [backup-simplify]: Simplify z into z 0.719 * [taylor]: Taking taylor expansion of y in y 0.719 * [backup-simplify]: Simplify 0 into 0 0.719 * [backup-simplify]: Simplify 1 into 1 0.719 * [backup-simplify]: Simplify (* z 0) into 0 0.719 * [backup-simplify]: Simplify (* 0.5 0) into 0 0.720 * [backup-simplify]: Simplify (- 0) into 0 0.720 * [backup-simplify]: Simplify (+ t 0) into t 0.720 * [taylor]: Taking taylor expansion of t in z 0.720 * [backup-simplify]: Simplify t into t 0.720 * [taylor]: Taking taylor expansion of t in t 0.720 * [backup-simplify]: Simplify 0 into 0 0.720 * [backup-simplify]: Simplify 1 into 1 0.720 * [backup-simplify]: Simplify 0 into 0 0.721 * [backup-simplify]: Simplify (+ (* 0.125 1) (* 0 0)) into 0.125 0.721 * [backup-simplify]: Simplify (+ 0.125 0) into 0.125 0.721 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 0.721 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* z y))) into 0 0.722 * [backup-simplify]: Simplify (- 0) into 0 0.722 * [backup-simplify]: Simplify (+ 0.125 0) into 0.125 0.722 * [taylor]: Taking taylor expansion of 0.125 in y 0.722 * [backup-simplify]: Simplify 0.125 into 0.125 0.722 * [taylor]: Taking taylor expansion of 0.125 in z 0.722 * [backup-simplify]: Simplify 0.125 into 0.125 0.722 * [taylor]: Taking taylor expansion of 0.125 in t 0.722 * [backup-simplify]: Simplify 0.125 into 0.125 0.722 * [backup-simplify]: Simplify 0.125 into 0.125 0.722 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 0.723 * [backup-simplify]: Simplify (+ (* 0.5 z) (* 0 0)) into (* 0.5 z) 0.723 * [backup-simplify]: Simplify (- (* 0.5 z)) into (- (* 0.5 z)) 0.723 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 z))) into (- (* 0.5 z)) 0.723 * [taylor]: Taking taylor expansion of (- (* 0.5 z)) in z 0.723 * [taylor]: Taking taylor expansion of (* 0.5 z) in z 0.723 * [taylor]: Taking taylor expansion of 0.5 in z 0.723 * [backup-simplify]: Simplify 0.5 into 0.5 0.723 * [taylor]: Taking taylor expansion of z in z 0.723 * [backup-simplify]: Simplify 0 into 0 0.723 * [backup-simplify]: Simplify 1 into 1 0.724 * [backup-simplify]: Simplify (* 0.5 0) into 0 0.724 * [backup-simplify]: Simplify (- 0) into 0 0.724 * [taylor]: Taking taylor expansion of 0 in t 0.724 * [backup-simplify]: Simplify 0 into 0 0.724 * [backup-simplify]: Simplify 0 into 0 0.724 * [taylor]: Taking taylor expansion of 0 in t 0.724 * [backup-simplify]: Simplify 0 into 0 0.724 * [backup-simplify]: Simplify 0 into 0 0.724 * [backup-simplify]: Simplify 1 into 1 0.726 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 1) (* 0 0))) into 0 0.726 * [backup-simplify]: Simplify (+ 0 0) into 0 0.726 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0 0.727 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* z y)))) into 0 0.728 * [backup-simplify]: Simplify (- 0) into 0 0.728 * [backup-simplify]: Simplify (+ 0 0) into 0 0.728 * [taylor]: Taking taylor expansion of 0 in y 0.728 * [backup-simplify]: Simplify 0 into 0 0.728 * [taylor]: Taking taylor expansion of 0 in z 0.728 * [backup-simplify]: Simplify 0 into 0 0.728 * [taylor]: Taking taylor expansion of 0 in t 0.728 * [backup-simplify]: Simplify 0 into 0 0.728 * [backup-simplify]: Simplify 0 into 0 0.728 * [taylor]: Taking taylor expansion of 0 in z 0.728 * [backup-simplify]: Simplify 0 into 0 0.728 * [taylor]: Taking taylor expansion of 0 in t 0.728 * [backup-simplify]: Simplify 0 into 0 0.728 * [backup-simplify]: Simplify 0 into 0 0.729 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 0.730 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 z) (* 0 0))) into 0 0.730 * [backup-simplify]: Simplify (- 0) into 0 0.731 * [backup-simplify]: Simplify (+ 0 0) into 0 0.731 * [taylor]: Taking taylor expansion of 0 in z 0.731 * [backup-simplify]: Simplify 0 into 0 0.731 * [taylor]: Taking taylor expansion of 0 in t 0.731 * [backup-simplify]: Simplify 0 into 0 0.731 * [backup-simplify]: Simplify 0 into 0 0.731 * [taylor]: Taking taylor expansion of 0 in t 0.731 * [backup-simplify]: Simplify 0 into 0 0.731 * [backup-simplify]: Simplify 0 into 0 0.733 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 0.733 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 0.733 * [taylor]: Taking taylor expansion of (- 0.5) in t 0.733 * [taylor]: Taking taylor expansion of 0.5 in t 0.733 * [backup-simplify]: Simplify 0.5 into 0.5 0.733 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 0.734 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 0.739 * [backup-simplify]: Simplify (+ (* (- 0.5) (* 1 (* z (* y 1)))) (+ (* 1 (* t (* 1 (* 1 1)))) (* 0.125 (* 1 (* 1 (* 1 x)))))) into (- (+ (* 0.125 x) t) (* 0.5 (* z y))) 0.740 * [backup-simplify]: Simplify (+ (- (* (/ 1.0 8.0) (/ 1 x)) (/ (* (/ 1 y) (/ 1 z)) 2.0)) (/ 1 t)) into (- (+ (/ 1 t) (* 0.125 (/ 1 x))) (* 0.5 (/ 1 (* z y)))) 0.740 * [approximate]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.125 (/ 1 x))) (* 0.5 (/ 1 (* z y)))) in (x y z t) around 0 0.740 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.125 (/ 1 x))) (* 0.5 (/ 1 (* z y)))) in t 0.740 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.125 (/ 1 x))) in t 0.740 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.740 * [taylor]: Taking taylor expansion of t in t 0.740 * [backup-simplify]: Simplify 0 into 0 0.740 * [backup-simplify]: Simplify 1 into 1 0.741 * [backup-simplify]: Simplify (/ 1 1) into 1 0.741 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in t 0.741 * [taylor]: Taking taylor expansion of 0.125 in t 0.741 * [backup-simplify]: Simplify 0.125 into 0.125 0.741 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.741 * [taylor]: Taking taylor expansion of x in t 0.741 * [backup-simplify]: Simplify x into x 0.741 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.741 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in t 0.741 * [taylor]: Taking taylor expansion of 0.5 in t 0.741 * [backup-simplify]: Simplify 0.5 into 0.5 0.741 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t 0.741 * [taylor]: Taking taylor expansion of (* z y) in t 0.741 * [taylor]: Taking taylor expansion of z in t 0.741 * [backup-simplify]: Simplify z into z 0.741 * [taylor]: Taking taylor expansion of y in t 0.741 * [backup-simplify]: Simplify y into y 0.741 * [backup-simplify]: Simplify (* z y) into (* z y) 0.741 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 0.741 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.125 (/ 1 x))) (* 0.5 (/ 1 (* z y)))) in z 0.741 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.125 (/ 1 x))) in z 0.741 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.741 * [taylor]: Taking taylor expansion of t in z 0.741 * [backup-simplify]: Simplify t into t 0.742 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 0.742 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in z 0.742 * [taylor]: Taking taylor expansion of 0.125 in z 0.742 * [backup-simplify]: Simplify 0.125 into 0.125 0.742 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.742 * [taylor]: Taking taylor expansion of x in z 0.742 * [backup-simplify]: Simplify x into x 0.742 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.742 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z 0.742 * [taylor]: Taking taylor expansion of 0.5 in z 0.742 * [backup-simplify]: Simplify 0.5 into 0.5 0.742 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.742 * [taylor]: Taking taylor expansion of (* z y) in z 0.742 * [taylor]: Taking taylor expansion of z in z 0.742 * [backup-simplify]: Simplify 0 into 0 0.742 * [backup-simplify]: Simplify 1 into 1 0.742 * [taylor]: Taking taylor expansion of y in z 0.742 * [backup-simplify]: Simplify y into y 0.742 * [backup-simplify]: Simplify (* 0 y) into 0 0.742 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.742 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.742 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.125 (/ 1 x))) (* 0.5 (/ 1 (* z y)))) in y 0.743 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.125 (/ 1 x))) in y 0.743 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.743 * [taylor]: Taking taylor expansion of t in y 0.743 * [backup-simplify]: Simplify t into t 0.743 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 0.743 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in y 0.743 * [taylor]: Taking taylor expansion of 0.125 in y 0.743 * [backup-simplify]: Simplify 0.125 into 0.125 0.743 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.743 * [taylor]: Taking taylor expansion of x in y 0.743 * [backup-simplify]: Simplify x into x 0.743 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.743 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y 0.743 * [taylor]: Taking taylor expansion of 0.5 in y 0.743 * [backup-simplify]: Simplify 0.5 into 0.5 0.743 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.743 * [taylor]: Taking taylor expansion of (* z y) in y 0.743 * [taylor]: Taking taylor expansion of z in y 0.743 * [backup-simplify]: Simplify z into z 0.743 * [taylor]: Taking taylor expansion of y in y 0.743 * [backup-simplify]: Simplify 0 into 0 0.743 * [backup-simplify]: Simplify 1 into 1 0.743 * [backup-simplify]: Simplify (* z 0) into 0 0.743 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 0.743 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.743 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.125 (/ 1 x))) (* 0.5 (/ 1 (* z y)))) in x 0.743 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.125 (/ 1 x))) in x 0.743 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.743 * [taylor]: Taking taylor expansion of t in x 0.743 * [backup-simplify]: Simplify t into t 0.743 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 0.744 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x 0.744 * [taylor]: Taking taylor expansion of 0.125 in x 0.744 * [backup-simplify]: Simplify 0.125 into 0.125 0.744 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.744 * [taylor]: Taking taylor expansion of x in x 0.744 * [backup-simplify]: Simplify 0 into 0 0.744 * [backup-simplify]: Simplify 1 into 1 0.744 * [backup-simplify]: Simplify (/ 1 1) into 1 0.744 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x 0.744 * [taylor]: Taking taylor expansion of 0.5 in x 0.744 * [backup-simplify]: Simplify 0.5 into 0.5 0.744 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.744 * [taylor]: Taking taylor expansion of (* z y) in x 0.744 * [taylor]: Taking taylor expansion of z in x 0.744 * [backup-simplify]: Simplify z into z 0.744 * [taylor]: Taking taylor expansion of y in x 0.744 * [backup-simplify]: Simplify y into y 0.744 * [backup-simplify]: Simplify (* z y) into (* z y) 0.744 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 0.744 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (* 0.125 (/ 1 x))) (* 0.5 (/ 1 (* z y)))) in x 0.744 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.125 (/ 1 x))) in x 0.744 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.744 * [taylor]: Taking taylor expansion of t in x 0.744 * [backup-simplify]: Simplify t into t 0.744 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 0.744 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x 0.744 * [taylor]: Taking taylor expansion of 0.125 in x 0.744 * [backup-simplify]: Simplify 0.125 into 0.125 0.744 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.744 * [taylor]: Taking taylor expansion of x in x 0.744 * [backup-simplify]: Simplify 0 into 0 0.744 * [backup-simplify]: Simplify 1 into 1 0.745 * [backup-simplify]: Simplify (/ 1 1) into 1 0.745 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x 0.745 * [taylor]: Taking taylor expansion of 0.5 in x 0.745 * [backup-simplify]: Simplify 0.5 into 0.5 0.745 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.745 * [taylor]: Taking taylor expansion of (* z y) in x 0.745 * [taylor]: Taking taylor expansion of z in x 0.745 * [backup-simplify]: Simplify z into z 0.745 * [taylor]: Taking taylor expansion of y in x 0.745 * [backup-simplify]: Simplify y into y 0.745 * [backup-simplify]: Simplify (* z y) into (* z y) 0.745 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 0.745 * [backup-simplify]: Simplify (* 0.125 1) into 0.125 0.746 * [backup-simplify]: Simplify (+ 0 0.125) into 0.125 0.746 * [backup-simplify]: Simplify (+ 0.125 0) into 0.125 0.746 * [taylor]: Taking taylor expansion of 0.125 in y 0.746 * [backup-simplify]: Simplify 0.125 into 0.125 0.747 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.747 * [backup-simplify]: Simplify (+ (* 0.125 0) (* 0 1)) into 0 0.747 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t) 0.747 * [backup-simplify]: Simplify (* 0.5 (/ 1 (* z y))) into (/ 0.5 (* z y)) 0.748 * [backup-simplify]: Simplify (- (/ 0.5 (* z y))) into (- (* 0.5 (/ 1 (* z y)))) 0.748 * [backup-simplify]: Simplify (+ (/ 1 t) (- (* 0.5 (/ 1 (* z y))))) into (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) 0.748 * [taylor]: Taking taylor expansion of (- (/ 1 t) (* 0.5 (/ 1 (* z y)))) in y 0.748 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.748 * [taylor]: Taking taylor expansion of t in y 0.748 * [backup-simplify]: Simplify t into t 0.748 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 0.748 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y 0.748 * [taylor]: Taking taylor expansion of 0.5 in y 0.748 * [backup-simplify]: Simplify 0.5 into 0.5 0.748 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.748 * [taylor]: Taking taylor expansion of (* z y) in y 0.748 * [taylor]: Taking taylor expansion of z in y 0.748 * [backup-simplify]: Simplify z into z 0.748 * [taylor]: Taking taylor expansion of y in y 0.748 * [backup-simplify]: Simplify 0 into 0 0.748 * [backup-simplify]: Simplify 1 into 1 0.748 * [backup-simplify]: Simplify (* z 0) into 0 0.748 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 0.748 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.748 * [backup-simplify]: Simplify (* 0.5 (/ 1 z)) into (/ 0.5 z) 0.748 * [backup-simplify]: Simplify (- (/ 0.5 z)) into (- (* 0.5 (/ 1 z))) 0.748 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 z)))) into (- (* 0.5 (/ 1 z))) 0.749 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 z))) in z 0.749 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z 0.749 * [taylor]: Taking taylor expansion of 0.5 in z 0.749 * [backup-simplify]: Simplify 0.5 into 0.5 0.749 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.749 * [taylor]: Taking taylor expansion of z in z 0.749 * [backup-simplify]: Simplify 0 into 0 0.749 * [backup-simplify]: Simplify 1 into 1 0.749 * [backup-simplify]: Simplify (/ 1 1) into 1 0.749 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 0.749 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 0.750 * [taylor]: Taking taylor expansion of (- 0.5) in t 0.750 * [taylor]: Taking taylor expansion of 0.5 in t 0.750 * [backup-simplify]: Simplify 0.5 into 0.5 0.750 * [taylor]: Taking taylor expansion of 0.125 in z 0.750 * [backup-simplify]: Simplify 0.125 into 0.125 0.750 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 0.750 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.751 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (* 0 1))) into 0 0.751 * [backup-simplify]: Simplify (+ 0 0) into 0 0.751 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 0.751 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0 0.752 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (* z y)))) into 0 0.752 * [backup-simplify]: Simplify (- 0) into 0 0.752 * [backup-simplify]: Simplify (+ 0 0) into 0 0.752 * [taylor]: Taking taylor expansion of 0 in y 0.752 * [backup-simplify]: Simplify 0 into 0 0.753 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 0.753 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.753 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 z))) into 0 0.754 * [backup-simplify]: Simplify (- 0) into 0 0.754 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t) 0.754 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.754 * [taylor]: Taking taylor expansion of t in z 0.754 * [backup-simplify]: Simplify t into t 0.754 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 0.754 * [taylor]: Taking taylor expansion of 0 in z 0.754 * [backup-simplify]: Simplify 0 into 0 0.754 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.755 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 0.755 * [backup-simplify]: Simplify (- 0) into 0 0.755 * [taylor]: Taking taylor expansion of 0 in t 0.755 * [backup-simplify]: Simplify 0 into 0 0.755 * [taylor]: Taking taylor expansion of 0.125 in t 0.755 * [backup-simplify]: Simplify 0.125 into 0.125 0.756 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 0.756 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 0.756 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 0.757 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.757 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.757 * [backup-simplify]: Simplify (+ 0 0) into 0 0.758 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0 0.758 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0 0.759 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 (* z y))))) into 0 0.759 * [backup-simplify]: Simplify (- 0) into 0 0.759 * [backup-simplify]: Simplify (+ 0 0) into 0 0.759 * [taylor]: Taking taylor expansion of 0 in y 0.759 * [backup-simplify]: Simplify 0 into 0 0.759 * [taylor]: Taking taylor expansion of 0 in z 0.759 * [backup-simplify]: Simplify 0 into 0 0.759 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 0.760 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.760 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.760 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0 0.761 * [backup-simplify]: Simplify (- 0) into 0 0.761 * [backup-simplify]: Simplify (+ 0 0) into 0 0.761 * [taylor]: Taking taylor expansion of 0 in z 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [taylor]: Taking taylor expansion of 0 in z 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.761 * [taylor]: Taking taylor expansion of t in t 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [backup-simplify]: Simplify 1 into 1 0.761 * [backup-simplify]: Simplify (/ 1 1) into 1 0.761 * [backup-simplify]: Simplify 1 into 1 0.761 * [taylor]: Taking taylor expansion of 0 in t 0.761 * [backup-simplify]: Simplify 0 into 0 0.762 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.763 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 0.763 * [backup-simplify]: Simplify (- 0) into 0 0.763 * [taylor]: Taking taylor expansion of 0 in t 0.763 * [backup-simplify]: Simplify 0 into 0 0.763 * [taylor]: Taking taylor expansion of 0 in t 0.763 * [backup-simplify]: Simplify 0 into 0 0.763 * [backup-simplify]: Simplify 0 into 0 0.763 * [backup-simplify]: Simplify 0.125 into 0.125 0.764 * [backup-simplify]: Simplify (+ (* 0.125 (* 1 (* 1 (* 1 (/ 1 (/ 1 x)))))) (+ (* 1 (* (/ 1 (/ 1 t)) (* 1 (* 1 1)))) (* (- 0.5) (* 1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1)))))) into (- (+ t (* 0.125 x)) (* 0.5 (* z y))) 0.764 * [backup-simplify]: Simplify (+ (- (* (/ 1.0 8.0) (/ 1 (- x))) (/ (* (/ 1 (- y)) (/ 1 (- z))) 2.0)) (/ 1 (- t))) into (- (+ (* 0.5 (/ 1 (* z y))) (+ (/ 1 t) (* 0.125 (/ 1 x))))) 0.764 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (+ (/ 1 t) (* 0.125 (/ 1 x))))) in (x y z t) around 0 0.764 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (+ (/ 1 t) (* 0.125 (/ 1 x))))) in t 0.764 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (+ (/ 1 t) (* 0.125 (/ 1 x)))) in t 0.765 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in t 0.765 * [taylor]: Taking taylor expansion of 0.5 in t 0.765 * [backup-simplify]: Simplify 0.5 into 0.5 0.765 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t 0.765 * [taylor]: Taking taylor expansion of (* z y) in t 0.765 * [taylor]: Taking taylor expansion of z in t 0.765 * [backup-simplify]: Simplify z into z 0.765 * [taylor]: Taking taylor expansion of y in t 0.765 * [backup-simplify]: Simplify y into y 0.765 * [backup-simplify]: Simplify (* z y) into (* z y) 0.765 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 0.765 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.125 (/ 1 x))) in t 0.765 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.765 * [taylor]: Taking taylor expansion of t in t 0.765 * [backup-simplify]: Simplify 0 into 0 0.765 * [backup-simplify]: Simplify 1 into 1 0.765 * [backup-simplify]: Simplify (/ 1 1) into 1 0.765 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in t 0.765 * [taylor]: Taking taylor expansion of 0.125 in t 0.765 * [backup-simplify]: Simplify 0.125 into 0.125 0.765 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.765 * [taylor]: Taking taylor expansion of x in t 0.765 * [backup-simplify]: Simplify x into x 0.765 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.765 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (+ (/ 1 t) (* 0.125 (/ 1 x))))) in z 0.765 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (+ (/ 1 t) (* 0.125 (/ 1 x)))) in z 0.765 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in z 0.765 * [taylor]: Taking taylor expansion of 0.5 in z 0.765 * [backup-simplify]: Simplify 0.5 into 0.5 0.765 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.765 * [taylor]: Taking taylor expansion of (* z y) in z 0.765 * [taylor]: Taking taylor expansion of z in z 0.765 * [backup-simplify]: Simplify 0 into 0 0.765 * [backup-simplify]: Simplify 1 into 1 0.765 * [taylor]: Taking taylor expansion of y in z 0.765 * [backup-simplify]: Simplify y into y 0.765 * [backup-simplify]: Simplify (* 0 y) into 0 0.766 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.766 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.766 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.125 (/ 1 x))) in z 0.766 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.766 * [taylor]: Taking taylor expansion of t in z 0.766 * [backup-simplify]: Simplify t into t 0.766 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 0.766 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in z 0.766 * [taylor]: Taking taylor expansion of 0.125 in z 0.766 * [backup-simplify]: Simplify 0.125 into 0.125 0.766 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.766 * [taylor]: Taking taylor expansion of x in z 0.766 * [backup-simplify]: Simplify x into x 0.766 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.766 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (+ (/ 1 t) (* 0.125 (/ 1 x))))) in y 0.766 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (+ (/ 1 t) (* 0.125 (/ 1 x)))) in y 0.766 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y 0.766 * [taylor]: Taking taylor expansion of 0.5 in y 0.766 * [backup-simplify]: Simplify 0.5 into 0.5 0.766 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.766 * [taylor]: Taking taylor expansion of (* z y) in y 0.766 * [taylor]: Taking taylor expansion of z in y 0.766 * [backup-simplify]: Simplify z into z 0.766 * [taylor]: Taking taylor expansion of y in y 0.766 * [backup-simplify]: Simplify 0 into 0 0.767 * [backup-simplify]: Simplify 1 into 1 0.767 * [backup-simplify]: Simplify (* z 0) into 0 0.767 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 0.767 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.767 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.125 (/ 1 x))) in y 0.767 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.767 * [taylor]: Taking taylor expansion of t in y 0.767 * [backup-simplify]: Simplify t into t 0.767 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 0.767 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in y 0.767 * [taylor]: Taking taylor expansion of 0.125 in y 0.767 * [backup-simplify]: Simplify 0.125 into 0.125 0.767 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.767 * [taylor]: Taking taylor expansion of x in y 0.767 * [backup-simplify]: Simplify x into x 0.767 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.767 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (+ (/ 1 t) (* 0.125 (/ 1 x))))) in x 0.767 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (+ (/ 1 t) (* 0.125 (/ 1 x)))) in x 0.767 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x 0.767 * [taylor]: Taking taylor expansion of 0.5 in x 0.767 * [backup-simplify]: Simplify 0.5 into 0.5 0.767 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.767 * [taylor]: Taking taylor expansion of (* z y) in x 0.767 * [taylor]: Taking taylor expansion of z in x 0.767 * [backup-simplify]: Simplify z into z 0.767 * [taylor]: Taking taylor expansion of y in x 0.767 * [backup-simplify]: Simplify y into y 0.767 * [backup-simplify]: Simplify (* z y) into (* z y) 0.768 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 0.768 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.125 (/ 1 x))) in x 0.768 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.768 * [taylor]: Taking taylor expansion of t in x 0.768 * [backup-simplify]: Simplify t into t 0.768 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 0.768 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x 0.768 * [taylor]: Taking taylor expansion of 0.125 in x 0.768 * [backup-simplify]: Simplify 0.125 into 0.125 0.768 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.768 * [taylor]: Taking taylor expansion of x in x 0.768 * [backup-simplify]: Simplify 0 into 0 0.768 * [backup-simplify]: Simplify 1 into 1 0.768 * [backup-simplify]: Simplify (/ 1 1) into 1 0.768 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (+ (/ 1 t) (* 0.125 (/ 1 x))))) in x 0.768 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (+ (/ 1 t) (* 0.125 (/ 1 x)))) in x 0.768 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in x 0.768 * [taylor]: Taking taylor expansion of 0.5 in x 0.768 * [backup-simplify]: Simplify 0.5 into 0.5 0.768 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.768 * [taylor]: Taking taylor expansion of (* z y) in x 0.768 * [taylor]: Taking taylor expansion of z in x 0.768 * [backup-simplify]: Simplify z into z 0.768 * [taylor]: Taking taylor expansion of y in x 0.768 * [backup-simplify]: Simplify y into y 0.768 * [backup-simplify]: Simplify (* z y) into (* z y) 0.768 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 0.768 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (* 0.125 (/ 1 x))) in x 0.768 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.768 * [taylor]: Taking taylor expansion of t in x 0.768 * [backup-simplify]: Simplify t into t 0.768 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 0.768 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x 0.768 * [taylor]: Taking taylor expansion of 0.125 in x 0.768 * [backup-simplify]: Simplify 0.125 into 0.125 0.768 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.769 * [taylor]: Taking taylor expansion of x in x 0.769 * [backup-simplify]: Simplify 0 into 0 0.769 * [backup-simplify]: Simplify 1 into 1 0.769 * [backup-simplify]: Simplify (/ 1 1) into 1 0.769 * [backup-simplify]: Simplify (* 0.125 1) into 0.125 0.769 * [backup-simplify]: Simplify (+ 0 0.125) into 0.125 0.770 * [backup-simplify]: Simplify (+ 0 0.125) into 0.125 0.770 * [backup-simplify]: Simplify (- 0.125) into (- 0.125) 0.770 * [taylor]: Taking taylor expansion of (- 0.125) in y 0.770 * [taylor]: Taking taylor expansion of 0.125 in y 0.770 * [backup-simplify]: Simplify 0.125 into 0.125 0.770 * [backup-simplify]: Simplify (* 0.5 (/ 1 (* z y))) into (/ 0.5 (* z y)) 0.771 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.771 * [backup-simplify]: Simplify (+ (* 0.125 0) (* 0 1)) into 0 0.771 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t) 0.771 * [backup-simplify]: Simplify (+ (/ 0.5 (* z y)) (/ 1 t)) into (+ (* 0.5 (/ 1 (* z y))) (/ 1 t)) 0.771 * [backup-simplify]: Simplify (- (+ (* 0.5 (/ 1 (* z y))) (/ 1 t))) into (- (+ (* 0.5 (/ 1 (* z y))) (/ 1 t))) 0.771 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (* z y))) (/ 1 t))) in y 0.771 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* z y))) (/ 1 t)) in y 0.771 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z y))) in y 0.771 * [taylor]: Taking taylor expansion of 0.5 in y 0.771 * [backup-simplify]: Simplify 0.5 into 0.5 0.771 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.771 * [taylor]: Taking taylor expansion of (* z y) in y 0.771 * [taylor]: Taking taylor expansion of z in y 0.771 * [backup-simplify]: Simplify z into z 0.771 * [taylor]: Taking taylor expansion of y in y 0.772 * [backup-simplify]: Simplify 0 into 0 0.772 * [backup-simplify]: Simplify 1 into 1 0.772 * [backup-simplify]: Simplify (* z 0) into 0 0.772 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 0.772 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.772 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.772 * [taylor]: Taking taylor expansion of t in y 0.772 * [backup-simplify]: Simplify t into t 0.772 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 0.772 * [backup-simplify]: Simplify (* 0.5 (/ 1 z)) into (/ 0.5 z) 0.772 * [backup-simplify]: Simplify (+ (/ 0.5 z) 0) into (* 0.5 (/ 1 z)) 0.772 * [backup-simplify]: Simplify (- (* 0.5 (/ 1 z))) into (- (* 0.5 (/ 1 z))) 0.772 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 z))) in z 0.772 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z 0.772 * [taylor]: Taking taylor expansion of 0.5 in z 0.772 * [backup-simplify]: Simplify 0.5 into 0.5 0.772 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.772 * [taylor]: Taking taylor expansion of z in z 0.772 * [backup-simplify]: Simplify 0 into 0 0.772 * [backup-simplify]: Simplify 1 into 1 0.773 * [backup-simplify]: Simplify (/ 1 1) into 1 0.773 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 0.773 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 0.773 * [taylor]: Taking taylor expansion of (- 0.5) in t 0.773 * [taylor]: Taking taylor expansion of 0.5 in t 0.773 * [backup-simplify]: Simplify 0.5 into 0.5 0.773 * [backup-simplify]: Simplify (- 0.125) into (- 0.125) 0.773 * [taylor]: Taking taylor expansion of (- 0.125) in z 0.773 * [taylor]: Taking taylor expansion of 0.125 in z 0.773 * [backup-simplify]: Simplify 0.125 into 0.125 0.774 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 0.774 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0 0.774 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (* z y)))) into 0 0.774 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 0.775 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.775 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (* 0 1))) into 0 0.775 * [backup-simplify]: Simplify (+ 0 0) into 0 0.776 * [backup-simplify]: Simplify (+ 0 0) into 0 0.776 * [backup-simplify]: Simplify (- 0) into 0 0.776 * [taylor]: Taking taylor expansion of 0 in y 0.776 * [backup-simplify]: Simplify 0 into 0 0.776 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 0.776 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.777 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 z))) into 0 0.777 * [backup-simplify]: Simplify (+ 0 (/ 1 t)) into (/ 1 t) 0.777 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 0.777 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 0.777 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.777 * [taylor]: Taking taylor expansion of t in z 0.777 * [backup-simplify]: Simplify t into t 0.777 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 0.777 * [backup-simplify]: Simplify (- 0) into 0 0.777 * [taylor]: Taking taylor expansion of 0 in z 0.777 * [backup-simplify]: Simplify 0 into 0 0.778 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.778 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 0.778 * [backup-simplify]: Simplify (- 0) into 0 0.778 * [taylor]: Taking taylor expansion of 0 in t 0.778 * [backup-simplify]: Simplify 0 into 0 0.779 * [backup-simplify]: Simplify (- 0.125) into (- 0.125) 0.779 * [taylor]: Taking taylor expansion of (- 0.125) in t 0.779 * [taylor]: Taking taylor expansion of 0.125 in t 0.779 * [backup-simplify]: Simplify 0.125 into 0.125 0.779 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 0.779 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 0.780 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0 0.780 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0 0.780 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 (* z y))))) into 0 0.780 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 0.781 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.782 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.782 * [backup-simplify]: Simplify (+ 0 0) into 0 0.782 * [backup-simplify]: Simplify (+ 0 0) into 0 0.782 * [backup-simplify]: Simplify (- 0) into 0 0.782 * [taylor]: Taking taylor expansion of 0 in y 0.782 * [backup-simplify]: Simplify 0 into 0 0.782 * [taylor]: Taking taylor expansion of 0 in z 0.782 * [backup-simplify]: Simplify 0 into 0 0.783 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.783 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.783 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0 0.784 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 0.784 * [backup-simplify]: Simplify (+ 0 0) into 0 0.784 * [backup-simplify]: Simplify (- 0) into 0 0.784 * [taylor]: Taking taylor expansion of 0 in z 0.784 * [backup-simplify]: Simplify 0 into 0 0.784 * [backup-simplify]: Simplify (- 0) into 0 0.784 * [taylor]: Taking taylor expansion of 0 in z 0.784 * [backup-simplify]: Simplify 0 into 0 0.784 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 0.784 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 0.784 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.785 * [taylor]: Taking taylor expansion of t in t 0.785 * [backup-simplify]: Simplify 0 into 0 0.785 * [backup-simplify]: Simplify 1 into 1 0.785 * [backup-simplify]: Simplify (/ 1 1) into 1 0.785 * [backup-simplify]: Simplify (- 1) into -1 0.785 * [backup-simplify]: Simplify -1 into -1 0.785 * [taylor]: Taking taylor expansion of 0 in t 0.785 * [backup-simplify]: Simplify 0 into 0 0.786 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.786 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 0.786 * [backup-simplify]: Simplify (- 0) into 0 0.786 * [taylor]: Taking taylor expansion of 0 in t 0.787 * [backup-simplify]: Simplify 0 into 0 0.787 * [backup-simplify]: Simplify (- 0) into 0 0.787 * [taylor]: Taking taylor expansion of 0 in t 0.787 * [backup-simplify]: Simplify 0 into 0 0.787 * [backup-simplify]: Simplify 0 into 0 0.787 * [backup-simplify]: Simplify (- 0.125) into (- 0.125) 0.787 * [backup-simplify]: Simplify (- 0.125) into (- 0.125) 0.788 * [backup-simplify]: Simplify (+ (* (- 0.125) (* 1 (* 1 (* 1 (/ 1 (/ 1 (- x))))))) (+ (* -1 (* (/ 1 (/ 1 (- t))) (* 1 (* 1 1)))) (* (- 0.5) (* 1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1)))))) into (- (+ t (* 0.125 x)) (* 0.5 (* z y))) 0.788 * * * [progress]: simplifying candidates 0.789 * [simplify]: Simplifying: (/ (exp (* (/ 1.0 8.0) x)) (exp (/ (* y z) 2.0))) (log (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (exp (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (* (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))) (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (* (* (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (sqrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (sqrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (- (* (* 1.0 x) 2.0) (* 8.0 (* y z))) (* 8.0 2.0) (- (pow (* (/ 1.0 8.0) x) 3) (pow (/ (* y z) 2.0) 3)) (+ (* (* (/ 1.0 8.0) x) (* (/ 1.0 8.0) x)) (+ (* (/ (* y z) 2.0) (/ (* y z) 2.0)) (* (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))) (- (/ (* y z) 2.0)) (- (* (* (/ 1.0 8.0) x) (* (/ 1.0 8.0) x)) (* (/ (* y z) 2.0) (/ (* y z) 2.0))) (+ (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) (- (/ (* y z) 2.0)) (* (/ (exp (* (/ 1.0 8.0) x)) (exp (/ (* y z) 2.0))) (exp t)) (* (exp (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (exp t)) (log (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)) (exp (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)) (* (cbrt (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)) (cbrt (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))) (cbrt (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)) (* (* (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t) (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)) (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)) (sqrt (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)) (sqrt (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)) (+ (pow (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) 3) (pow t 3)) (+ (* (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (- (* t t) (* (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))) (- (* (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (* t t)) (- (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t) (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t) (+ (- (/ (* y z) 2.0)) t) (+ (- (/ (* y z) 2.0)) t) (- (/ (* y z) 2.0) t) (* 0.125 x) (- (* 0.125 x) (* 0.5 (* z y))) (- (* 0.125 x) (* 0.5 (* z y))) (- (+ (* 0.125 x) t) (* 0.5 (* z y))) (- (+ t (* 0.125 x)) (* 0.5 (* z y))) (- (+ t (* 0.125 x)) (* 0.5 (* z y))) 0.790 * * [simplify]: Extracting # 0 : cost 0 0.790 * * [simplify]: Extracting # 1 : cost 0 0.790 * * [simplify]: Extracting # 2 : cost 0 0.790 * * [simplify]: Extracting # 3 : cost 0 0.790 * * [simplify]: Extracting # 4 : cost 0 0.790 * * [simplify]: Extracting # 5 : cost 0 0.791 * * [simplify]: Extracting # 6 : cost 0 0.791 * * [simplify]: Extracting # 7 : cost 0 0.791 * * [simplify]: Extracting # 8 : cost 0 0.791 * * [simplify]: iteration 0 : 71 enodes (cost 602 ) 0.807 * * [simplify]: Extracting # 0 : cost 0 0.808 * * [simplify]: Extracting # 1 : cost 0 0.808 * * [simplify]: Extracting # 2 : cost 0 0.808 * * [simplify]: Extracting # 3 : cost 0 0.808 * * [simplify]: Extracting # 4 : cost 0 0.808 * * [simplify]: iteration 1 : 188 enodes (cost 568 ) 0.865 * * [simplify]: Extracting # 0 : cost 0 0.866 * * [simplify]: Extracting # 1 : cost 0 0.867 * * [simplify]: Extracting # 2 : cost 0 0.868 * * [simplify]: Extracting # 3 : cost 0 0.868 * * [simplify]: Extracting # 4 : cost 0 0.869 * * [simplify]: iteration 2 : 579 enodes (cost 540 ) 1.157 * * [simplify]: Extracting # 0 : cost 0 1.160 * * [simplify]: Extracting # 1 : cost 0 1.163 * * [simplify]: Extracting # 2 : cost 0 1.166 * * [simplify]: Extracting # 3 : cost 0 1.168 * * [simplify]: Extracting # 4 : cost 0 1.171 * * [simplify]: iteration 3 : 2211 enodes (cost 530 ) 2.119 * * [simplify]: Extracting # 0 : cost 0 2.130 * * [simplify]: Extracting # 1 : cost 0 2.142 * * [simplify]: Extracting # 2 : cost 0 2.154 * * [simplify]: Extracting # 3 : cost 0 2.165 * * [simplify]: Extracting # 4 : cost 0 2.184 * * [simplify]: iteration done: 5000 enodes (cost 530 ) 2.185 * [simplify]: Simplified to: (exp (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (log (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (exp (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (* (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))) (cbrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (pow (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) 3) (sqrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (sqrt (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (- (* (* 1.0 x) 2.0) (* 8.0 (* y z))) (* 8.0 2.0) (- (pow (* (/ 1.0 8.0) x) 3) (pow (/ (* y z) 2.0) 3)) (+ (* (* (/ 1.0 8.0) x) (* (/ 1.0 8.0) x)) (* (/ (* y z) 2.0) (+ (* (/ 1.0 8.0) x) (/ (* y z) 2.0)))) (- (/ (* y z) 2.0)) (- (* (* (/ 1.0 8.0) x) (* (/ 1.0 8.0) x)) (* (/ (* y z) 2.0) (/ (* y z) 2.0))) (+ (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) (- (/ (* y z) 2.0)) (exp (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)) (exp (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)) (log (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)) (exp (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)) (* (cbrt (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)) (cbrt (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t))) (cbrt (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)) (pow (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t) 3) (sqrt (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)) (sqrt (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)) (+ (pow (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) 3) (pow t 3)) (+ (* (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) (- (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)) (* t t)) (- (* (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))) (* t t)) (- (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t) (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t) (- t (/ (* y z) 2.0)) (- t (/ (* y z) 2.0)) (- (/ (* y z) 2.0) t) (* 0.125 x) (- (* 0.125 x) (* 0.5 (* z y))) (- (* 0.125 x) (* 0.5 (* z y))) (- (+ t (* 0.125 x)) (* 0.5 (* z y))) (- (+ t (* 0.125 x)) (* 0.5 (* z y))) (- (+ t (* 0.125 x)) (* 0.5 (* z y))) 2.185 * * * [progress]: adding candidates to table 2.322 * * [progress]: iteration 2 / 4 2.322 * * * [progress]: picking best candidate 2.326 * * * * [pick]: Picked # 2.326 * * * [progress]: localizing error 2.377 * * * [progress]: generating rewritten candidates 2.377 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 3.075 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 3.252 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 3.404 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 3.454 * * * [progress]: generating series expansions 3.454 * * * * [progress]: [ 1 / 4 ] generating series at (2)