2.512 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.038 * * * [progress]: [2/2] Setting up program. 0.042 * [progress]: [Phase 2 of 3] Improving. 0.042 * [simplify]: Simplifying: (- (* x y) (* z t)) 0.042 * * [simplify]: Extracting # 0 : cost 0 0.042 * * [simplify]: Extracting # 1 : cost 0 0.042 * * [simplify]: Extracting # 2 : cost 0 0.042 * * [simplify]: Extracting # 3 : cost 0 0.042 * * [simplify]: Extracting # 4 : cost 0 0.042 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 0.044 * * [simplify]: Extracting # 0 : cost 0 0.044 * * [simplify]: Extracting # 1 : cost 0 0.044 * * [simplify]: Extracting # 2 : cost 0 0.044 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 0.048 * * [simplify]: Extracting # 0 : cost 0 0.048 * * [simplify]: Extracting # 1 : cost 0 0.048 * * [simplify]: Extracting # 2 : cost 0 0.048 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 0.054 * * [simplify]: Extracting # 0 : cost 0 0.055 * * [simplify]: iteration 3 : 24 enodes (cost 7 ) 0.061 * * [simplify]: Extracting # 0 : cost 0 0.061 * * [simplify]: iteration done: 24 enodes (cost 7 ) 0.061 * [simplify]: Simplified to: (- (* x y) (* z t)) 0.062 * * [progress]: iteration 1 / 4 0.062 * * * [progress]: picking best candidate 0.065 * * * * [pick]: Picked # 0.065 * * * [progress]: localizing error 0.079 * * * [progress]: generating rewritten candidates 0.079 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.098 * * * [progress]: generating series expansions 0.098 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.098 * [backup-simplify]: Simplify (- (* x y) (* z t)) into (- (* x y) (* t z)) 0.098 * [approximate]: Taking taylor expansion of (- (* x y) (* t z)) in (x y z t) around 0 0.098 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in t 0.098 * [taylor]: Taking taylor expansion of (* x y) in t 0.098 * [taylor]: Taking taylor expansion of x in t 0.098 * [backup-simplify]: Simplify x into x 0.098 * [taylor]: Taking taylor expansion of y in t 0.098 * [backup-simplify]: Simplify y into y 0.098 * [taylor]: Taking taylor expansion of (* t z) in t 0.098 * [taylor]: Taking taylor expansion of t in t 0.098 * [backup-simplify]: Simplify 0 into 0 0.098 * [backup-simplify]: Simplify 1 into 1 0.098 * [taylor]: Taking taylor expansion of z in t 0.098 * [backup-simplify]: Simplify z into z 0.098 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in z 0.098 * [taylor]: Taking taylor expansion of (* x y) in z 0.098 * [taylor]: Taking taylor expansion of x in z 0.099 * [backup-simplify]: Simplify x into x 0.099 * [taylor]: Taking taylor expansion of y in z 0.099 * [backup-simplify]: Simplify y into y 0.099 * [taylor]: Taking taylor expansion of (* t z) in z 0.099 * [taylor]: Taking taylor expansion of t in z 0.099 * [backup-simplify]: Simplify t into t 0.099 * [taylor]: Taking taylor expansion of z in z 0.099 * [backup-simplify]: Simplify 0 into 0 0.099 * [backup-simplify]: Simplify 1 into 1 0.099 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in y 0.099 * [taylor]: Taking taylor expansion of (* x y) in y 0.099 * [taylor]: Taking taylor expansion of x in y 0.099 * [backup-simplify]: Simplify x into x 0.099 * [taylor]: Taking taylor expansion of y in y 0.099 * [backup-simplify]: Simplify 0 into 0 0.099 * [backup-simplify]: Simplify 1 into 1 0.099 * [taylor]: Taking taylor expansion of (* t z) in y 0.099 * [taylor]: Taking taylor expansion of t in y 0.099 * [backup-simplify]: Simplify t into t 0.099 * [taylor]: Taking taylor expansion of z in y 0.099 * [backup-simplify]: Simplify z into z 0.099 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x 0.099 * [taylor]: Taking taylor expansion of (* x y) in x 0.099 * [taylor]: Taking taylor expansion of x in x 0.099 * [backup-simplify]: Simplify 0 into 0 0.099 * [backup-simplify]: Simplify 1 into 1 0.099 * [taylor]: Taking taylor expansion of y in x 0.099 * [backup-simplify]: Simplify y into y 0.099 * [taylor]: Taking taylor expansion of (* t z) in x 0.099 * [taylor]: Taking taylor expansion of t in x 0.099 * [backup-simplify]: Simplify t into t 0.099 * [taylor]: Taking taylor expansion of z in x 0.099 * [backup-simplify]: Simplify z into z 0.099 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x 0.099 * [taylor]: Taking taylor expansion of (* x y) in x 0.099 * [taylor]: Taking taylor expansion of x in x 0.100 * [backup-simplify]: Simplify 0 into 0 0.100 * [backup-simplify]: Simplify 1 into 1 0.100 * [taylor]: Taking taylor expansion of y in x 0.100 * [backup-simplify]: Simplify y into y 0.100 * [taylor]: Taking taylor expansion of (* t z) in x 0.100 * [taylor]: Taking taylor expansion of t in x 0.100 * [backup-simplify]: Simplify t into t 0.100 * [taylor]: Taking taylor expansion of z in x 0.100 * [backup-simplify]: Simplify z into z 0.100 * [backup-simplify]: Simplify (* 0 y) into 0 0.100 * [backup-simplify]: Simplify (* t z) into (* t z) 0.100 * [backup-simplify]: Simplify (- (* t z)) into (- (* t z)) 0.100 * [backup-simplify]: Simplify (+ 0 (- (* t z))) into (- (* t z)) 0.100 * [taylor]: Taking taylor expansion of (- (* t z)) in y 0.100 * [taylor]: Taking taylor expansion of (* t z) in y 0.100 * [taylor]: Taking taylor expansion of t in y 0.100 * [backup-simplify]: Simplify t into t 0.100 * [taylor]: Taking taylor expansion of z in y 0.100 * [backup-simplify]: Simplify z into z 0.100 * [backup-simplify]: Simplify (* t z) into (* t z) 0.100 * [backup-simplify]: Simplify (- (* t z)) into (- (* t z)) 0.101 * [taylor]: Taking taylor expansion of (- (* t z)) in z 0.101 * [taylor]: Taking taylor expansion of (* t z) in z 0.101 * [taylor]: Taking taylor expansion of t in z 0.101 * [backup-simplify]: Simplify t into t 0.101 * [taylor]: Taking taylor expansion of z in z 0.101 * [backup-simplify]: Simplify 0 into 0 0.101 * [backup-simplify]: Simplify 1 into 1 0.101 * [backup-simplify]: Simplify (* t 0) into 0 0.113 * [backup-simplify]: Simplify (- 0) into 0 0.113 * [taylor]: Taking taylor expansion of 0 in t 0.113 * [backup-simplify]: Simplify 0 into 0 0.113 * [backup-simplify]: Simplify 0 into 0 0.114 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.114 * [backup-simplify]: Simplify (+ (* t 0) (* 0 z)) into 0 0.115 * [backup-simplify]: Simplify (- 0) into 0 0.115 * [backup-simplify]: Simplify (+ y 0) into y 0.115 * [taylor]: Taking taylor expansion of y in y 0.115 * [backup-simplify]: Simplify 0 into 0 0.115 * [backup-simplify]: Simplify 1 into 1 0.115 * [taylor]: Taking taylor expansion of 0 in z 0.115 * [backup-simplify]: Simplify 0 into 0 0.115 * [taylor]: Taking taylor expansion of 0 in t 0.115 * [backup-simplify]: Simplify 0 into 0 0.115 * [backup-simplify]: Simplify 0 into 0 0.115 * [backup-simplify]: Simplify (+ (* t 0) (* 0 z)) into 0 0.115 * [backup-simplify]: Simplify (- 0) into 0 0.115 * [taylor]: Taking taylor expansion of 0 in z 0.115 * [backup-simplify]: Simplify 0 into 0 0.115 * [taylor]: Taking taylor expansion of 0 in t 0.116 * [backup-simplify]: Simplify 0 into 0 0.116 * [backup-simplify]: Simplify 0 into 0 0.116 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t 0.116 * [backup-simplify]: Simplify (- t) into (- t) 0.116 * [taylor]: Taking taylor expansion of (- t) in t 0.116 * [taylor]: Taking taylor expansion of t in t 0.116 * [backup-simplify]: Simplify 0 into 0 0.116 * [backup-simplify]: Simplify 1 into 1 0.117 * [backup-simplify]: Simplify (- 0) into 0 0.117 * [backup-simplify]: Simplify 0 into 0 0.117 * [backup-simplify]: Simplify 0 into 0 0.118 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.119 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 z))) into 0 0.119 * [backup-simplify]: Simplify (- 0) into 0 0.119 * [backup-simplify]: Simplify (+ 0 0) into 0 0.120 * [taylor]: Taking taylor expansion of 0 in y 0.120 * [backup-simplify]: Simplify 0 into 0 0.120 * [taylor]: Taking taylor expansion of 0 in z 0.120 * [backup-simplify]: Simplify 0 into 0 0.120 * [taylor]: Taking taylor expansion of 0 in t 0.120 * [backup-simplify]: Simplify 0 into 0 0.120 * [backup-simplify]: Simplify 0 into 0 0.120 * [backup-simplify]: Simplify 0 into 0 0.120 * [backup-simplify]: Simplify (- (* (/ 1 x) (/ 1 y)) (* (/ 1 z) (/ 1 t))) into (- (/ 1 (* x y)) (/ 1 (* t z))) 0.120 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in (x y z t) around 0 0.120 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t 0.120 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 0.120 * [taylor]: Taking taylor expansion of (* x y) in t 0.120 * [taylor]: Taking taylor expansion of x in t 0.120 * [backup-simplify]: Simplify x into x 0.120 * [taylor]: Taking taylor expansion of y in t 0.120 * [backup-simplify]: Simplify y into y 0.120 * [backup-simplify]: Simplify (* x y) into (* x y) 0.120 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 0.121 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 0.121 * [taylor]: Taking taylor expansion of (* t z) in t 0.121 * [taylor]: Taking taylor expansion of t in t 0.121 * [backup-simplify]: Simplify 0 into 0 0.121 * [backup-simplify]: Simplify 1 into 1 0.121 * [taylor]: Taking taylor expansion of z in t 0.121 * [backup-simplify]: Simplify z into z 0.121 * [backup-simplify]: Simplify (* 0 z) into 0 0.121 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 0.121 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.121 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z 0.121 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 0.121 * [taylor]: Taking taylor expansion of (* x y) in z 0.121 * [taylor]: Taking taylor expansion of x in z 0.121 * [backup-simplify]: Simplify x into x 0.121 * [taylor]: Taking taylor expansion of y in z 0.121 * [backup-simplify]: Simplify y into y 0.121 * [backup-simplify]: Simplify (* x y) into (* x y) 0.121 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 0.121 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 0.121 * [taylor]: Taking taylor expansion of (* t z) in z 0.121 * [taylor]: Taking taylor expansion of t in z 0.121 * [backup-simplify]: Simplify t into t 0.121 * [taylor]: Taking taylor expansion of z in z 0.122 * [backup-simplify]: Simplify 0 into 0 0.122 * [backup-simplify]: Simplify 1 into 1 0.122 * [backup-simplify]: Simplify (* t 0) into 0 0.122 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t 0.122 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 0.122 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y 0.122 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.122 * [taylor]: Taking taylor expansion of (* x y) in y 0.122 * [taylor]: Taking taylor expansion of x in y 0.122 * [backup-simplify]: Simplify x into x 0.122 * [taylor]: Taking taylor expansion of y in y 0.122 * [backup-simplify]: Simplify 0 into 0 0.122 * [backup-simplify]: Simplify 1 into 1 0.122 * [backup-simplify]: Simplify (* x 0) into 0 0.122 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.122 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.122 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 0.122 * [taylor]: Taking taylor expansion of (* t z) in y 0.122 * [taylor]: Taking taylor expansion of t in y 0.122 * [backup-simplify]: Simplify t into t 0.122 * [taylor]: Taking taylor expansion of z in y 0.122 * [backup-simplify]: Simplify z into z 0.122 * [backup-simplify]: Simplify (* t z) into (* t z) 0.123 * [backup-simplify]: Simplify (/ 1 (* t z)) into (/ 1 (* t z)) 0.123 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x 0.123 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.123 * [taylor]: Taking taylor expansion of (* x y) in x 0.123 * [taylor]: Taking taylor expansion of x in x 0.123 * [backup-simplify]: Simplify 0 into 0 0.123 * [backup-simplify]: Simplify 1 into 1 0.123 * [taylor]: Taking taylor expansion of y in x 0.123 * [backup-simplify]: Simplify y into y 0.123 * [backup-simplify]: Simplify (* 0 y) into 0 0.123 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.123 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.123 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 0.123 * [taylor]: Taking taylor expansion of (* t z) in x 0.123 * [taylor]: Taking taylor expansion of t in x 0.123 * [backup-simplify]: Simplify t into t 0.123 * [taylor]: Taking taylor expansion of z in x 0.123 * [backup-simplify]: Simplify z into z 0.123 * [backup-simplify]: Simplify (* t z) into (* t z) 0.123 * [backup-simplify]: Simplify (/ 1 (* t z)) into (/ 1 (* t z)) 0.123 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x 0.123 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.123 * [taylor]: Taking taylor expansion of (* x y) in x 0.123 * [taylor]: Taking taylor expansion of x in x 0.123 * [backup-simplify]: Simplify 0 into 0 0.123 * [backup-simplify]: Simplify 1 into 1 0.123 * [taylor]: Taking taylor expansion of y in x 0.123 * [backup-simplify]: Simplify y into y 0.123 * [backup-simplify]: Simplify (* 0 y) into 0 0.124 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.124 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.124 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 0.124 * [taylor]: Taking taylor expansion of (* t z) in x 0.124 * [taylor]: Taking taylor expansion of t in x 0.124 * [backup-simplify]: Simplify t into t 0.124 * [taylor]: Taking taylor expansion of z in x 0.124 * [backup-simplify]: Simplify z into z 0.124 * [backup-simplify]: Simplify (* t z) into (* t z) 0.124 * [backup-simplify]: Simplify (/ 1 (* t z)) into (/ 1 (* t z)) 0.124 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 0.124 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.124 * [taylor]: Taking taylor expansion of y in y 0.124 * [backup-simplify]: Simplify 0 into 0 0.124 * [backup-simplify]: Simplify 1 into 1 0.124 * [backup-simplify]: Simplify (/ 1 1) into 1 0.124 * [taylor]: Taking taylor expansion of 1 in z 0.124 * [backup-simplify]: Simplify 1 into 1 0.125 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.125 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.125 * [backup-simplify]: Simplify (- (/ 1 (* t z))) into (- (/ 1 (* t z))) 0.125 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* t z)))) into (- (/ 1 (* t z))) 0.125 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in y 0.125 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 0.125 * [taylor]: Taking taylor expansion of (* t z) in y 0.125 * [taylor]: Taking taylor expansion of t in y 0.125 * [backup-simplify]: Simplify t into t 0.125 * [taylor]: Taking taylor expansion of z in y 0.125 * [backup-simplify]: Simplify z into z 0.125 * [backup-simplify]: Simplify (* t z) into (* t z) 0.125 * [backup-simplify]: Simplify (/ 1 (* t z)) into (/ 1 (* t z)) 0.126 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.126 * [taylor]: Taking taylor expansion of 0 in z 0.126 * [backup-simplify]: Simplify 0 into 0 0.126 * [taylor]: Taking taylor expansion of 1 in t 0.126 * [backup-simplify]: Simplify 1 into 1 0.127 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.127 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.127 * [backup-simplify]: Simplify (+ (* t 0) (* 0 z)) into 0 0.127 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* t z)) (/ 0 (* t z))))) into 0 0.127 * [backup-simplify]: Simplify (- 0) into 0 0.127 * [backup-simplify]: Simplify (+ 0 0) into 0 0.127 * [taylor]: Taking taylor expansion of 0 in y 0.127 * [backup-simplify]: Simplify 0 into 0 0.128 * [backup-simplify]: Simplify (- (/ 1 (* t z))) into (- (/ 1 (* t z))) 0.128 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z 0.128 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 0.128 * [taylor]: Taking taylor expansion of (* t z) in z 0.128 * [taylor]: Taking taylor expansion of t in z 0.128 * [backup-simplify]: Simplify t into t 0.128 * [taylor]: Taking taylor expansion of z in z 0.128 * [backup-simplify]: Simplify 0 into 0 0.128 * [backup-simplify]: Simplify 1 into 1 0.128 * [backup-simplify]: Simplify (* t 0) into 0 0.128 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t 0.128 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 0.128 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 0.128 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 0.128 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.128 * [taylor]: Taking taylor expansion of t in t 0.128 * [backup-simplify]: Simplify 0 into 0 0.128 * [backup-simplify]: Simplify 1 into 1 0.129 * [backup-simplify]: Simplify (/ 1 1) into 1 0.129 * [backup-simplify]: Simplify (- 1) into -1 0.129 * [backup-simplify]: Simplify -1 into -1 0.130 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.130 * [taylor]: Taking taylor expansion of 0 in z 0.130 * [backup-simplify]: Simplify 0 into 0 0.130 * [taylor]: Taking taylor expansion of 0 in t 0.130 * [backup-simplify]: Simplify 0 into 0 0.130 * [taylor]: Taking taylor expansion of 0 in t 0.130 * [backup-simplify]: Simplify 0 into 0 0.130 * [backup-simplify]: Simplify 1 into 1 0.131 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.131 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.131 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 z))) into 0 0.131 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* t z)) (/ 0 (* t z))) (* 0 (/ 0 (* t z))))) into 0 0.132 * [backup-simplify]: Simplify (- 0) into 0 0.132 * [backup-simplify]: Simplify (+ 0 0) into 0 0.132 * [taylor]: Taking taylor expansion of 0 in y 0.132 * [backup-simplify]: Simplify 0 into 0 0.132 * [taylor]: Taking taylor expansion of 0 in z 0.132 * [backup-simplify]: Simplify 0 into 0 0.132 * [backup-simplify]: Simplify (+ (* t 0) (* 0 z)) into 0 0.132 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* t z)) (/ 0 (* t z))))) into 0 0.132 * [backup-simplify]: Simplify (- 0) into 0 0.132 * [taylor]: Taking taylor expansion of 0 in z 0.133 * [backup-simplify]: Simplify 0 into 0 0.133 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.133 * [taylor]: Taking taylor expansion of 0 in z 0.133 * [backup-simplify]: Simplify 0 into 0 0.133 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0 0.134 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 0.134 * [backup-simplify]: Simplify (- 0) into 0 0.134 * [taylor]: Taking taylor expansion of 0 in t 0.134 * [backup-simplify]: Simplify 0 into 0 0.134 * [taylor]: Taking taylor expansion of 0 in t 0.134 * [backup-simplify]: Simplify 0 into 0 0.134 * [taylor]: Taking taylor expansion of 0 in t 0.134 * [backup-simplify]: Simplify 0 into 0 0.134 * [taylor]: Taking taylor expansion of 0 in t 0.134 * [backup-simplify]: Simplify 0 into 0 0.134 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.135 * [backup-simplify]: Simplify (- 0) into 0 0.135 * [backup-simplify]: Simplify 0 into 0 0.135 * [backup-simplify]: Simplify 0 into 0 0.135 * [backup-simplify]: Simplify 0 into 0 0.135 * [backup-simplify]: Simplify 0 into 0 0.136 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 0.136 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.136 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 0.137 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* t z)) (/ 0 (* t z))) (* 0 (/ 0 (* t z))) (* 0 (/ 0 (* t z))))) into 0 0.137 * [backup-simplify]: Simplify (- 0) into 0 0.137 * [backup-simplify]: Simplify (+ 0 0) into 0 0.137 * [taylor]: Taking taylor expansion of 0 in y 0.137 * [backup-simplify]: Simplify 0 into 0 0.137 * [taylor]: Taking taylor expansion of 0 in z 0.137 * [backup-simplify]: Simplify 0 into 0 0.137 * [taylor]: Taking taylor expansion of 0 in z 0.137 * [backup-simplify]: Simplify 0 into 0 0.138 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 z))) into 0 0.138 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* t z)) (/ 0 (* t z))) (* 0 (/ 0 (* t z))))) into 0 0.138 * [backup-simplify]: Simplify (- 0) into 0 0.138 * [taylor]: Taking taylor expansion of 0 in z 0.138 * [backup-simplify]: Simplify 0 into 0 0.139 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.139 * [taylor]: Taking taylor expansion of 0 in z 0.139 * [backup-simplify]: Simplify 0 into 0 0.139 * [taylor]: Taking taylor expansion of 0 in t 0.139 * [backup-simplify]: Simplify 0 into 0 0.139 * [taylor]: Taking taylor expansion of 0 in t 0.139 * [backup-simplify]: Simplify 0 into 0 0.139 * [taylor]: Taking taylor expansion of 0 in t 0.139 * [backup-simplify]: Simplify 0 into 0 0.139 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.139 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 0.140 * [backup-simplify]: Simplify (- 0) into 0 0.140 * [taylor]: Taking taylor expansion of 0 in t 0.140 * [backup-simplify]: Simplify 0 into 0 0.140 * [taylor]: Taking taylor expansion of 0 in t 0.140 * [backup-simplify]: Simplify 0 into 0 0.140 * [taylor]: Taking taylor expansion of 0 in t 0.140 * [backup-simplify]: Simplify 0 into 0 0.140 * [taylor]: Taking taylor expansion of 0 in t 0.140 * [backup-simplify]: Simplify 0 into 0 0.140 * [backup-simplify]: Simplify 0 into 0 0.140 * [backup-simplify]: Simplify 0 into 0 0.140 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))))) (* -1 (* (/ 1 (/ 1 t)) (* (/ 1 (/ 1 z)) (* 1 1))))) into (- (* x y) (* t z)) 0.140 * [backup-simplify]: Simplify (- (* (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (- t)))) into (- (/ 1 (* x y)) (/ 1 (* t z))) 0.141 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in (x y z t) around 0 0.141 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in t 0.141 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 0.141 * [taylor]: Taking taylor expansion of (* x y) in t 0.141 * [taylor]: Taking taylor expansion of x in t 0.141 * [backup-simplify]: Simplify x into x 0.141 * [taylor]: Taking taylor expansion of y in t 0.141 * [backup-simplify]: Simplify y into y 0.141 * [backup-simplify]: Simplify (* x y) into (* x y) 0.141 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 0.141 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 0.141 * [taylor]: Taking taylor expansion of (* t z) in t 0.141 * [taylor]: Taking taylor expansion of t in t 0.141 * [backup-simplify]: Simplify 0 into 0 0.141 * [backup-simplify]: Simplify 1 into 1 0.141 * [taylor]: Taking taylor expansion of z in t 0.141 * [backup-simplify]: Simplify z into z 0.141 * [backup-simplify]: Simplify (* 0 z) into 0 0.141 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 0.141 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.141 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in z 0.141 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 0.141 * [taylor]: Taking taylor expansion of (* x y) in z 0.141 * [taylor]: Taking taylor expansion of x in z 0.141 * [backup-simplify]: Simplify x into x 0.141 * [taylor]: Taking taylor expansion of y in z 0.141 * [backup-simplify]: Simplify y into y 0.141 * [backup-simplify]: Simplify (* x y) into (* x y) 0.141 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 0.141 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 0.141 * [taylor]: Taking taylor expansion of (* t z) in z 0.141 * [taylor]: Taking taylor expansion of t in z 0.141 * [backup-simplify]: Simplify t into t 0.141 * [taylor]: Taking taylor expansion of z in z 0.142 * [backup-simplify]: Simplify 0 into 0 0.142 * [backup-simplify]: Simplify 1 into 1 0.142 * [backup-simplify]: Simplify (* t 0) into 0 0.142 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t 0.142 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 0.142 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in y 0.142 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.142 * [taylor]: Taking taylor expansion of (* x y) in y 0.142 * [taylor]: Taking taylor expansion of x in y 0.142 * [backup-simplify]: Simplify x into x 0.142 * [taylor]: Taking taylor expansion of y in y 0.142 * [backup-simplify]: Simplify 0 into 0 0.142 * [backup-simplify]: Simplify 1 into 1 0.142 * [backup-simplify]: Simplify (* x 0) into 0 0.142 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.142 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.142 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 0.142 * [taylor]: Taking taylor expansion of (* t z) in y 0.142 * [taylor]: Taking taylor expansion of t in y 0.142 * [backup-simplify]: Simplify t into t 0.142 * [taylor]: Taking taylor expansion of z in y 0.142 * [backup-simplify]: Simplify z into z 0.142 * [backup-simplify]: Simplify (* t z) into (* t z) 0.143 * [backup-simplify]: Simplify (/ 1 (* t z)) into (/ 1 (* t z)) 0.143 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x 0.143 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.143 * [taylor]: Taking taylor expansion of (* x y) in x 0.143 * [taylor]: Taking taylor expansion of x in x 0.143 * [backup-simplify]: Simplify 0 into 0 0.143 * [backup-simplify]: Simplify 1 into 1 0.143 * [taylor]: Taking taylor expansion of y in x 0.143 * [backup-simplify]: Simplify y into y 0.143 * [backup-simplify]: Simplify (* 0 y) into 0 0.143 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.143 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.143 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 0.143 * [taylor]: Taking taylor expansion of (* t z) in x 0.143 * [taylor]: Taking taylor expansion of t in x 0.143 * [backup-simplify]: Simplify t into t 0.143 * [taylor]: Taking taylor expansion of z in x 0.143 * [backup-simplify]: Simplify z into z 0.143 * [backup-simplify]: Simplify (* t z) into (* t z) 0.143 * [backup-simplify]: Simplify (/ 1 (* t z)) into (/ 1 (* t z)) 0.143 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* t z))) in x 0.143 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.143 * [taylor]: Taking taylor expansion of (* x y) in x 0.143 * [taylor]: Taking taylor expansion of x in x 0.143 * [backup-simplify]: Simplify 0 into 0 0.143 * [backup-simplify]: Simplify 1 into 1 0.143 * [taylor]: Taking taylor expansion of y in x 0.143 * [backup-simplify]: Simplify y into y 0.143 * [backup-simplify]: Simplify (* 0 y) into 0 0.144 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.144 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.144 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 0.144 * [taylor]: Taking taylor expansion of (* t z) in x 0.144 * [taylor]: Taking taylor expansion of t in x 0.144 * [backup-simplify]: Simplify t into t 0.144 * [taylor]: Taking taylor expansion of z in x 0.144 * [backup-simplify]: Simplify z into z 0.144 * [backup-simplify]: Simplify (* t z) into (* t z) 0.144 * [backup-simplify]: Simplify (/ 1 (* t z)) into (/ 1 (* t z)) 0.144 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 0.144 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.144 * [taylor]: Taking taylor expansion of y in y 0.144 * [backup-simplify]: Simplify 0 into 0 0.144 * [backup-simplify]: Simplify 1 into 1 0.144 * [backup-simplify]: Simplify (/ 1 1) into 1 0.144 * [taylor]: Taking taylor expansion of 1 in z 0.144 * [backup-simplify]: Simplify 1 into 1 0.145 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.145 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.145 * [backup-simplify]: Simplify (- (/ 1 (* t z))) into (- (/ 1 (* t z))) 0.145 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* t z)))) into (- (/ 1 (* t z))) 0.145 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in y 0.145 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 0.145 * [taylor]: Taking taylor expansion of (* t z) in y 0.145 * [taylor]: Taking taylor expansion of t in y 0.145 * [backup-simplify]: Simplify t into t 0.145 * [taylor]: Taking taylor expansion of z in y 0.145 * [backup-simplify]: Simplify z into z 0.145 * [backup-simplify]: Simplify (* t z) into (* t z) 0.145 * [backup-simplify]: Simplify (/ 1 (* t z)) into (/ 1 (* t z)) 0.146 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.146 * [taylor]: Taking taylor expansion of 0 in z 0.146 * [backup-simplify]: Simplify 0 into 0 0.146 * [taylor]: Taking taylor expansion of 1 in t 0.146 * [backup-simplify]: Simplify 1 into 1 0.146 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.147 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.147 * [backup-simplify]: Simplify (+ (* t 0) (* 0 z)) into 0 0.147 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* t z)) (/ 0 (* t z))))) into 0 0.147 * [backup-simplify]: Simplify (- 0) into 0 0.147 * [backup-simplify]: Simplify (+ 0 0) into 0 0.147 * [taylor]: Taking taylor expansion of 0 in y 0.147 * [backup-simplify]: Simplify 0 into 0 0.148 * [backup-simplify]: Simplify (- (/ 1 (* t z))) into (- (/ 1 (* t z))) 0.148 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z 0.148 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 0.148 * [taylor]: Taking taylor expansion of (* t z) in z 0.148 * [taylor]: Taking taylor expansion of t in z 0.148 * [backup-simplify]: Simplify t into t 0.148 * [taylor]: Taking taylor expansion of z in z 0.148 * [backup-simplify]: Simplify 0 into 0 0.148 * [backup-simplify]: Simplify 1 into 1 0.148 * [backup-simplify]: Simplify (* t 0) into 0 0.148 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t 0.148 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 0.148 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 0.148 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 0.148 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.148 * [taylor]: Taking taylor expansion of t in t 0.148 * [backup-simplify]: Simplify 0 into 0 0.148 * [backup-simplify]: Simplify 1 into 1 0.148 * [backup-simplify]: Simplify (/ 1 1) into 1 0.149 * [backup-simplify]: Simplify (- 1) into -1 0.149 * [backup-simplify]: Simplify -1 into -1 0.149 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.149 * [taylor]: Taking taylor expansion of 0 in z 0.149 * [backup-simplify]: Simplify 0 into 0 0.149 * [taylor]: Taking taylor expansion of 0 in t 0.149 * [backup-simplify]: Simplify 0 into 0 0.149 * [taylor]: Taking taylor expansion of 0 in t 0.149 * [backup-simplify]: Simplify 0 into 0 0.149 * [backup-simplify]: Simplify 1 into 1 0.150 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.150 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.151 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 z))) into 0 0.151 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* t z)) (/ 0 (* t z))) (* 0 (/ 0 (* t z))))) into 0 0.151 * [backup-simplify]: Simplify (- 0) into 0 0.151 * [backup-simplify]: Simplify (+ 0 0) into 0 0.151 * [taylor]: Taking taylor expansion of 0 in y 0.151 * [backup-simplify]: Simplify 0 into 0 0.151 * [taylor]: Taking taylor expansion of 0 in z 0.151 * [backup-simplify]: Simplify 0 into 0 0.151 * [backup-simplify]: Simplify (+ (* t 0) (* 0 z)) into 0 0.152 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* t z)) (/ 0 (* t z))))) into 0 0.152 * [backup-simplify]: Simplify (- 0) into 0 0.152 * [taylor]: Taking taylor expansion of 0 in z 0.152 * [backup-simplify]: Simplify 0 into 0 0.153 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.153 * [taylor]: Taking taylor expansion of 0 in z 0.153 * [backup-simplify]: Simplify 0 into 0 0.153 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0 0.153 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 0.154 * [backup-simplify]: Simplify (- 0) into 0 0.154 * [taylor]: Taking taylor expansion of 0 in t 0.154 * [backup-simplify]: Simplify 0 into 0 0.154 * [taylor]: Taking taylor expansion of 0 in t 0.154 * [backup-simplify]: Simplify 0 into 0 0.154 * [taylor]: Taking taylor expansion of 0 in t 0.154 * [backup-simplify]: Simplify 0 into 0 0.154 * [taylor]: Taking taylor expansion of 0 in t 0.154 * [backup-simplify]: Simplify 0 into 0 0.155 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.155 * [backup-simplify]: Simplify (- 0) into 0 0.155 * [backup-simplify]: Simplify 0 into 0 0.155 * [backup-simplify]: Simplify 0 into 0 0.155 * [backup-simplify]: Simplify 0 into 0 0.155 * [backup-simplify]: Simplify 0 into 0 0.157 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 0.157 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.158 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 0.158 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* t z)) (/ 0 (* t z))) (* 0 (/ 0 (* t z))) (* 0 (/ 0 (* t z))))) into 0 0.158 * [backup-simplify]: Simplify (- 0) into 0 0.159 * [backup-simplify]: Simplify (+ 0 0) into 0 0.159 * [taylor]: Taking taylor expansion of 0 in y 0.159 * [backup-simplify]: Simplify 0 into 0 0.159 * [taylor]: Taking taylor expansion of 0 in z 0.159 * [backup-simplify]: Simplify 0 into 0 0.159 * [taylor]: Taking taylor expansion of 0 in z 0.159 * [backup-simplify]: Simplify 0 into 0 0.160 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 z))) into 0 0.160 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* t z)) (/ 0 (* t z))) (* 0 (/ 0 (* t z))))) into 0 0.160 * [backup-simplify]: Simplify (- 0) into 0 0.160 * [taylor]: Taking taylor expansion of 0 in z 0.160 * [backup-simplify]: Simplify 0 into 0 0.161 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.161 * [taylor]: Taking taylor expansion of 0 in z 0.161 * [backup-simplify]: Simplify 0 into 0 0.161 * [taylor]: Taking taylor expansion of 0 in t 0.162 * [backup-simplify]: Simplify 0 into 0 0.162 * [taylor]: Taking taylor expansion of 0 in t 0.162 * [backup-simplify]: Simplify 0 into 0 0.162 * [taylor]: Taking taylor expansion of 0 in t 0.162 * [backup-simplify]: Simplify 0 into 0 0.162 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.163 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 0.163 * [backup-simplify]: Simplify (- 0) into 0 0.163 * [taylor]: Taking taylor expansion of 0 in t 0.163 * [backup-simplify]: Simplify 0 into 0 0.163 * [taylor]: Taking taylor expansion of 0 in t 0.163 * [backup-simplify]: Simplify 0 into 0 0.163 * [taylor]: Taking taylor expansion of 0 in t 0.163 * [backup-simplify]: Simplify 0 into 0 0.163 * [taylor]: Taking taylor expansion of 0 in t 0.163 * [backup-simplify]: Simplify 0 into 0 0.163 * [backup-simplify]: Simplify 0 into 0 0.163 * [backup-simplify]: Simplify 0 into 0 0.164 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))))) (* -1 (* (/ 1 (/ 1 (- t))) (* (/ 1 (/ 1 (- z))) (* 1 1))))) into (- (* x y) (* t z)) 0.164 * * * [progress]: simplifying candidates 0.165 * [simplify]: Simplifying: (fma x y (- (* t z))) (fma (- t) z (* t z)) (expm1 (- (* x y) (* z t))) (log1p (- (* x y) (* z t))) (- (* z t)) (/ (exp (* x y)) (exp (* z t))) (log (- (* x y) (* z t))) (exp (- (* x y) (* z t))) (* (cbrt (- (* x y) (* z t))) (cbrt (- (* x y) (* z t)))) (cbrt (- (* x y) (* z t))) (* (* (- (* x y) (* z t)) (- (* x y) (* z t))) (- (* x y) (* z t))) (sqrt (- (* x y) (* z t))) (sqrt (- (* x y) (* z t))) (- (pow (* x y) 3) (pow (* z t) 3)) (+ (* (* x y) (* x y)) (+ (* (* z t) (* z t)) (* (* x y) (* z t)))) (- (* z t)) (- (* (* x y) (* x y)) (* (* z t) (* z t))) (+ (* x y) (* z t)) (- (* z t)) 0 (- (* x y) (* t z)) (- (* x y) (* t z)) 0.165 * * [simplify]: Extracting # 0 : cost 0 0.166 * * [simplify]: Extracting # 1 : cost 0 0.166 * * [simplify]: Extracting # 2 : cost 0 0.166 * * [simplify]: Extracting # 3 : cost 0 0.166 * * [simplify]: Extracting # 4 : cost 0 0.166 * * [simplify]: Extracting # 5 : cost 0 0.166 * * [simplify]: Extracting # 6 : cost 0 0.166 * * [simplify]: iteration 0 : 38 enodes (cost 202 ) 0.181 * * [simplify]: Extracting # 0 : cost 0 0.181 * * [simplify]: Extracting # 1 : cost 0 0.181 * * [simplify]: Extracting # 2 : cost 0 0.181 * * [simplify]: Extracting # 3 : cost 0 0.181 * * [simplify]: Extracting # 4 : cost 0 0.182 * * [simplify]: iteration 1 : 104 enodes (cost 193 ) 0.220 * * [simplify]: Extracting # 0 : cost 0 0.220 * * [simplify]: Extracting # 1 : cost 0 0.221 * * [simplify]: Extracting # 2 : cost 0 0.221 * * [simplify]: Extracting # 3 : cost 0 0.221 * * [simplify]: Extracting # 4 : cost 0 0.221 * * [simplify]: Extracting # 5 : cost 0 0.222 * * [simplify]: Extracting # 6 : cost 0 0.222 * * [simplify]: iteration 2 : 318 enodes (cost 178 ) 0.415 * * [simplify]: Extracting # 0 : cost 0 0.417 * * [simplify]: Extracting # 1 : cost 0 0.419 * * [simplify]: Extracting # 2 : cost 0 0.421 * * [simplify]: Extracting # 3 : cost 0 0.423 * * [simplify]: Extracting # 4 : cost 0 0.424 * * [simplify]: iteration 3 : 984 enodes (cost 178 ) 1.306 * * [simplify]: Extracting # 0 : cost 0 1.309 * * [simplify]: Extracting # 1 : cost 0 1.311 * * [simplify]: Extracting # 2 : cost 0 1.313 * * [simplify]: Extracting # 3 : cost 0 1.315 * * [simplify]: Extracting # 4 : cost 0 1.317 * * [simplify]: Extracting # 5 : cost 0 1.319 * * [simplify]: iteration 4 : 2237 enodes (cost 173 ) 2.499 * * [simplify]: Extracting # 0 : cost 0 2.509 * * [simplify]: Extracting # 1 : cost 0 2.528 * * [simplify]: Extracting # 2 : cost 0 2.537 * * [simplify]: Extracting # 3 : cost 0 2.547 * * [simplify]: Extracting # 4 : cost 0 2.557 * * [simplify]: iteration done: 5000 enodes (cost 173 ) 2.557 * [simplify]: Simplified to: (- (* x y) (* t z)) 0 (expm1 (- (* x y) (* z t))) (log1p (- (* x y) (* z t))) (- (* t z)) (exp (- (* x y) (* z t))) (log (- (* x y) (* z t))) (exp (- (* x y) (* z t))) (* (cbrt (- (* x y) (* z t))) (cbrt (- (* x y) (* z t)))) (cbrt (- (* x y) (* z t))) (pow (- (* x y) (* t z)) 3) (sqrt (- (* x y) (* z t))) (sqrt (- (* x y) (* z t))) (- (pow (* x y) 3) (pow (* z t) 3)) (fma (* x y) (* x y) (* (* t z) (fma x y (* t z)))) (- (* t z)) (* (fma x y (* t z)) (- (* x y) (* t z))) (fma x y (* t z)) (- (* t z)) 0 (- (* x y) (* t z)) (- (* x y) (* t z)) 2.557 * * * [progress]: adding candidates to table 2.641 * * [progress]: iteration 2 / 4 2.641 * * * [progress]: picking best candidate 2.649 * * * * [pick]: Picked # 2.649 * * * [progress]: localizing error 2.660 * * * [progress]: generating rewritten candidates 2.660 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 2.661 * * * [progress]: generating series expansions 2.661 * * * * [progress]: [ 1 / 1 ] generating series at (2) 2.661 * [backup-simplify]: Simplify (fma x y (- (* t z))) into (fma x y (- (* t z))) 2.661 * [approximate]: Taking taylor expansion of (fma x y (- (* t z))) in (x y t z) around 0 2.661 * [taylor]: Taking taylor expansion of (fma x y (- (* t z))) in z 2.661 * [taylor]: Rewrote expression to (+ (* x y) (- (* t z))) 2.661 * [taylor]: Taking taylor expansion of (* x y) in z 2.661 * [taylor]: Taking taylor expansion of x in z 2.661 * [backup-simplify]: Simplify x into x 2.661 * [taylor]: Taking taylor expansion of y in z 2.661 * [backup-simplify]: Simplify y into y 2.661 * [taylor]: Taking taylor expansion of (- (* t z)) in z 2.661 * [taylor]: Taking taylor expansion of (* t z) in z 2.661 * [taylor]: Taking taylor expansion of t in z 2.661 * [backup-simplify]: Simplify t into t 2.661 * [taylor]: Taking taylor expansion of z in z 2.661 * [backup-simplify]: Simplify 0 into 0 2.661 * [backup-simplify]: Simplify 1 into 1 2.661 * [taylor]: Taking taylor expansion of (fma x y (- (* t z))) in t 2.661 * [taylor]: Rewrote expression to (+ (* x y) (- (* t z))) 2.661 * [taylor]: Taking taylor expansion of (* x y) in t 2.661 * [taylor]: Taking taylor expansion of x in t 2.662 * [backup-simplify]: Simplify x into x 2.662 * [taylor]: Taking taylor expansion of y in t 2.662 * [backup-simplify]: Simplify y into y 2.662 * [taylor]: Taking taylor expansion of (- (* t z)) in t 2.662 * [taylor]: Taking taylor expansion of (* t z) in t 2.662 * [taylor]: Taking taylor expansion of t in t 2.662 * [backup-simplify]: Simplify 0 into 0 2.662 * [backup-simplify]: Simplify 1 into 1 2.662 * [taylor]: Taking taylor expansion of z in t 2.662 * [backup-simplify]: Simplify z into z 2.662 * [taylor]: Taking taylor expansion of (fma x y (- (* t z))) in y 2.662 * [taylor]: Rewrote expression to (+ (* x y) (- (* t z))) 2.662 * [taylor]: Taking taylor expansion of (* x y) in y 2.662 * [taylor]: Taking taylor expansion of x in y 2.662 * [backup-simplify]: Simplify x into x 2.662 * [taylor]: Taking taylor expansion of y in y 2.662 * [backup-simplify]: Simplify 0 into 0 2.662 * [backup-simplify]: Simplify 1 into 1 2.662 * [taylor]: Taking taylor expansion of (- (* t z)) in y 2.662 * [taylor]: Taking taylor expansion of (* t z) in y 2.662 * [taylor]: Taking taylor expansion of t in y 2.662 * [backup-simplify]: Simplify t into t 2.662 * [taylor]: Taking taylor expansion of z in y 2.662 * [backup-simplify]: Simplify z into z 2.662 * [taylor]: Taking taylor expansion of (fma x y (- (* t z))) in x 2.662 * [taylor]: Rewrote expression to (+ (* x y) (- (* t z))) 2.662 * [taylor]: Taking taylor expansion of (* x y) in x 2.662 * [taylor]: Taking taylor expansion of x in x 2.662 * [backup-simplify]: Simplify 0 into 0 2.662 * [backup-simplify]: Simplify 1 into 1 2.662 * [taylor]: Taking taylor expansion of y in x 2.662 * [backup-simplify]: Simplify y into y 2.662 * [taylor]: Taking taylor expansion of (- (* t z)) in x 2.662 * [taylor]: Taking taylor expansion of (* t z) in x 2.662 * [taylor]: Taking taylor expansion of t in x 2.662 * [backup-simplify]: Simplify t into t 2.662 * [taylor]: Taking taylor expansion of z in x 2.662 * [backup-simplify]: Simplify z into z 2.662 * [taylor]: Taking taylor expansion of (fma x y (- (* t z))) in x 2.662 * [taylor]: Rewrote expression to (+ (* x y) (- (* t z))) 2.662 * [taylor]: Taking taylor expansion of (* x y) in x 2.662 * [taylor]: Taking taylor expansion of x in x 2.662 * [backup-simplify]: Simplify 0 into 0 2.662 * [backup-simplify]: Simplify 1 into 1 2.662 * [taylor]: Taking taylor expansion of y in x 2.662 * [backup-simplify]: Simplify y into y 2.662 * [taylor]: Taking taylor expansion of (- (* t z)) in x 2.662 * [taylor]: Taking taylor expansion of (* t z) in x 2.662 * [taylor]: Taking taylor expansion of t in x 2.662 * [backup-simplify]: Simplify t into t 2.662 * [taylor]: Taking taylor expansion of z in x 2.663 * [backup-simplify]: Simplify z into z 2.663 * [backup-simplify]: Simplify (* 0 y) into 0 2.663 * [backup-simplify]: Simplify (* t z) into (* t z) 2.663 * [backup-simplify]: Simplify (- (* t z)) into (- (* t z)) 2.663 * [backup-simplify]: Simplify (+ 0 (- (* t z))) into (- (* t z)) 2.663 * [taylor]: Taking taylor expansion of (- (* t z)) in y 2.663 * [taylor]: Taking taylor expansion of (* t z) in y 2.663 * [taylor]: Taking taylor expansion of t in y 2.663 * [backup-simplify]: Simplify t into t 2.663 * [taylor]: Taking taylor expansion of z in y 2.663 * [backup-simplify]: Simplify z into z 2.663 * [backup-simplify]: Simplify (* t z) into (* t z) 2.663 * [backup-simplify]: Simplify (- (* t z)) into (- (* t z)) 2.663 * [taylor]: Taking taylor expansion of (- (* t z)) in t 2.663 * [taylor]: Taking taylor expansion of (* t z) in t 2.663 * [taylor]: Taking taylor expansion of t in t 2.663 * [backup-simplify]: Simplify 0 into 0 2.663 * [backup-simplify]: Simplify 1 into 1 2.663 * [taylor]: Taking taylor expansion of z in t 2.663 * [backup-simplify]: Simplify z into z 2.663 * [backup-simplify]: Simplify (* 0 z) into 0 2.663 * [backup-simplify]: Simplify (- 0) into 0 2.664 * [taylor]: Taking taylor expansion of 0 in z 2.664 * [backup-simplify]: Simplify 0 into 0 2.664 * [backup-simplify]: Simplify 0 into 0 2.664 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.664 * [backup-simplify]: Simplify (+ (* t 0) (* 0 z)) into 0 2.664 * [backup-simplify]: Simplify (- 0) into 0 2.664 * [backup-simplify]: Simplify (+ y 0) into y 2.664 * [taylor]: Taking taylor expansion of y in y 2.664 * [backup-simplify]: Simplify 0 into 0 2.664 * [backup-simplify]: Simplify 1 into 1 2.664 * [taylor]: Taking taylor expansion of 0 in t 2.664 * [backup-simplify]: Simplify 0 into 0 2.664 * [taylor]: Taking taylor expansion of 0 in z 2.664 * [backup-simplify]: Simplify 0 into 0 2.664 * [backup-simplify]: Simplify 0 into 0 2.664 * [backup-simplify]: Simplify (+ (* t 0) (* 0 z)) into 0 2.665 * [backup-simplify]: Simplify (- 0) into 0 2.665 * [taylor]: Taking taylor expansion of 0 in t 2.665 * [backup-simplify]: Simplify 0 into 0 2.665 * [taylor]: Taking taylor expansion of 0 in z 2.665 * [backup-simplify]: Simplify 0 into 0 2.665 * [backup-simplify]: Simplify 0 into 0 2.665 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 2.665 * [backup-simplify]: Simplify (- z) into (- z) 2.665 * [taylor]: Taking taylor expansion of (- z) in z 2.665 * [taylor]: Taking taylor expansion of z in z 2.665 * [backup-simplify]: Simplify 0 into 0 2.665 * [backup-simplify]: Simplify 1 into 1 2.665 * [backup-simplify]: Simplify (- 0) into 0 2.665 * [backup-simplify]: Simplify 0 into 0 2.665 * [backup-simplify]: Simplify 0 into 0 2.666 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 2.666 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 z))) into 0 2.666 * [backup-simplify]: Simplify (- 0) into 0 2.667 * [backup-simplify]: Simplify (+ 0 0) into 0 2.667 * [taylor]: Taking taylor expansion of 0 in y 2.667 * [backup-simplify]: Simplify 0 into 0 2.667 * [taylor]: Taking taylor expansion of 0 in t 2.667 * [backup-simplify]: Simplify 0 into 0 2.667 * [taylor]: Taking taylor expansion of 0 in z 2.667 * [backup-simplify]: Simplify 0 into 0 2.667 * [backup-simplify]: Simplify 0 into 0 2.667 * [backup-simplify]: Simplify 0 into 0 2.667 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 y) (- (* (/ 1 t) (/ 1 z)))) into (fma (/ 1 x) (/ 1 y) (- (/ 1 (* t z)))) 2.667 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (- (/ 1 (* t z)))) in (x y t z) around 0 2.667 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (- (/ 1 (* t z)))) in z 2.667 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (- (/ 1 (* t z)))) 2.667 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in z 2.667 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.667 * [taylor]: Taking taylor expansion of x in z 2.667 * [backup-simplify]: Simplify x into x 2.667 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.667 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.667 * [taylor]: Taking taylor expansion of y in z 2.667 * [backup-simplify]: Simplify y into y 2.667 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.667 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z 2.667 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 2.667 * [taylor]: Taking taylor expansion of (* t z) in z 2.667 * [taylor]: Taking taylor expansion of t in z 2.667 * [backup-simplify]: Simplify t into t 2.667 * [taylor]: Taking taylor expansion of z in z 2.667 * [backup-simplify]: Simplify 0 into 0 2.667 * [backup-simplify]: Simplify 1 into 1 2.667 * [backup-simplify]: Simplify (* t 0) into 0 2.668 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t 2.668 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.668 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (- (/ 1 (* t z)))) in t 2.668 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (- (/ 1 (* t z)))) 2.668 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in t 2.668 * [taylor]: Taking taylor expansion of (/ 1 x) in t 2.668 * [taylor]: Taking taylor expansion of x in t 2.668 * [backup-simplify]: Simplify x into x 2.668 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.668 * [taylor]: Taking taylor expansion of (/ 1 y) in t 2.668 * [taylor]: Taking taylor expansion of y in t 2.668 * [backup-simplify]: Simplify y into y 2.668 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.668 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in t 2.668 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 2.668 * [taylor]: Taking taylor expansion of (* t z) in t 2.668 * [taylor]: Taking taylor expansion of t in t 2.668 * [backup-simplify]: Simplify 0 into 0 2.668 * [backup-simplify]: Simplify 1 into 1 2.668 * [taylor]: Taking taylor expansion of z in t 2.668 * [backup-simplify]: Simplify z into z 2.668 * [backup-simplify]: Simplify (* 0 z) into 0 2.668 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 2.669 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.669 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (- (/ 1 (* t z)))) in y 2.669 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (- (/ 1 (* t z)))) 2.669 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y 2.669 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.669 * [taylor]: Taking taylor expansion of x in y 2.669 * [backup-simplify]: Simplify x into x 2.669 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.669 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.669 * [taylor]: Taking taylor expansion of y in y 2.669 * [backup-simplify]: Simplify 0 into 0 2.669 * [backup-simplify]: Simplify 1 into 1 2.669 * [backup-simplify]: Simplify (/ 1 1) into 1 2.669 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in y 2.669 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 2.669 * [taylor]: Taking taylor expansion of (* t z) in y 2.669 * [taylor]: Taking taylor expansion of t in y 2.669 * [backup-simplify]: Simplify t into t 2.669 * [taylor]: Taking taylor expansion of z in y 2.669 * [backup-simplify]: Simplify z into z 2.669 * [backup-simplify]: Simplify (* t z) into (* t z) 2.669 * [backup-simplify]: Simplify (/ 1 (* t z)) into (/ 1 (* t z)) 2.669 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (- (/ 1 (* t z)))) in x 2.669 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (- (/ 1 (* t z)))) 2.669 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x 2.669 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.669 * [taylor]: Taking taylor expansion of x in x 2.669 * [backup-simplify]: Simplify 0 into 0 2.669 * [backup-simplify]: Simplify 1 into 1 2.670 * [backup-simplify]: Simplify (/ 1 1) into 1 2.670 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.670 * [taylor]: Taking taylor expansion of y in x 2.670 * [backup-simplify]: Simplify y into y 2.670 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.670 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in x 2.670 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 2.670 * [taylor]: Taking taylor expansion of (* t z) in x 2.670 * [taylor]: Taking taylor expansion of t in x 2.670 * [backup-simplify]: Simplify t into t 2.670 * [taylor]: Taking taylor expansion of z in x 2.670 * [backup-simplify]: Simplify z into z 2.670 * [backup-simplify]: Simplify (* t z) into (* t z) 2.670 * [backup-simplify]: Simplify (/ 1 (* t z)) into (/ 1 (* t z)) 2.670 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (- (/ 1 (* t z)))) in x 2.670 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (- (/ 1 (* t z)))) 2.670 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x 2.670 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.670 * [taylor]: Taking taylor expansion of x in x 2.670 * [backup-simplify]: Simplify 0 into 0 2.670 * [backup-simplify]: Simplify 1 into 1 2.670 * [backup-simplify]: Simplify (/ 1 1) into 1 2.670 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.670 * [taylor]: Taking taylor expansion of y in x 2.671 * [backup-simplify]: Simplify y into y 2.671 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.671 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in x 2.671 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 2.671 * [taylor]: Taking taylor expansion of (* t z) in x 2.671 * [taylor]: Taking taylor expansion of t in x 2.671 * [backup-simplify]: Simplify t into t 2.671 * [taylor]: Taking taylor expansion of z in x 2.671 * [backup-simplify]: Simplify z into z 2.671 * [backup-simplify]: Simplify (* t z) into (* t z) 2.671 * [backup-simplify]: Simplify (/ 1 (* t z)) into (/ 1 (* t z)) 2.671 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 2.671 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 2.671 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.671 * [taylor]: Taking taylor expansion of y in y 2.671 * [backup-simplify]: Simplify 0 into 0 2.671 * [backup-simplify]: Simplify 1 into 1 2.671 * [backup-simplify]: Simplify (/ 1 1) into 1 2.671 * [taylor]: Taking taylor expansion of 1 in t 2.671 * [backup-simplify]: Simplify 1 into 1 2.671 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.672 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.672 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 y))) into 0 2.672 * [backup-simplify]: Simplify (- (/ 1 (* t z))) into (- (/ 1 (* t z))) 2.672 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* t z)))) into (- (/ 1 (* t z))) 2.672 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in y 2.672 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 2.672 * [taylor]: Taking taylor expansion of (* t z) in y 2.672 * [taylor]: Taking taylor expansion of t in y 2.672 * [backup-simplify]: Simplify t into t 2.672 * [taylor]: Taking taylor expansion of z in y 2.672 * [backup-simplify]: Simplify z into z 2.672 * [backup-simplify]: Simplify (* t z) into (* t z) 2.672 * [backup-simplify]: Simplify (/ 1 (* t z)) into (/ 1 (* t z)) 2.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.673 * [taylor]: Taking taylor expansion of 0 in t 2.673 * [backup-simplify]: Simplify 0 into 0 2.673 * [taylor]: Taking taylor expansion of 1 in z 2.673 * [backup-simplify]: Simplify 1 into 1 2.673 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.674 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 2.674 * [backup-simplify]: Simplify (+ (* t 0) (* 0 z)) into 0 2.674 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* t z)) (/ 0 (* t z))))) into 0 2.674 * [backup-simplify]: Simplify (- 0) into 0 2.675 * [backup-simplify]: Simplify (+ 0 0) into 0 2.675 * [taylor]: Taking taylor expansion of 0 in y 2.675 * [backup-simplify]: Simplify 0 into 0 2.675 * [backup-simplify]: Simplify (- (/ 1 (* t z))) into (- (/ 1 (* t z))) 2.675 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in t 2.675 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 2.675 * [taylor]: Taking taylor expansion of (* t z) in t 2.675 * [taylor]: Taking taylor expansion of t in t 2.675 * [backup-simplify]: Simplify 0 into 0 2.675 * [backup-simplify]: Simplify 1 into 1 2.675 * [taylor]: Taking taylor expansion of z in t 2.675 * [backup-simplify]: Simplify z into z 2.675 * [backup-simplify]: Simplify (* 0 z) into 0 2.675 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 2.675 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.675 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 2.675 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.675 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.675 * [taylor]: Taking taylor expansion of z in z 2.675 * [backup-simplify]: Simplify 0 into 0 2.676 * [backup-simplify]: Simplify 1 into 1 2.676 * [backup-simplify]: Simplify (/ 1 1) into 1 2.676 * [backup-simplify]: Simplify (- 1) into -1 2.676 * [backup-simplify]: Simplify -1 into -1 2.676 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.677 * [taylor]: Taking taylor expansion of 0 in t 2.677 * [backup-simplify]: Simplify 0 into 0 2.677 * [taylor]: Taking taylor expansion of 0 in z 2.677 * [backup-simplify]: Simplify 0 into 0 2.677 * [taylor]: Taking taylor expansion of 0 in z 2.677 * [backup-simplify]: Simplify 0 into 0 2.677 * [backup-simplify]: Simplify 1 into 1 2.677 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.677 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 2.678 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 z))) into 0 2.678 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* t z)) (/ 0 (* t z))) (* 0 (/ 0 (* t z))))) into 0 2.679 * [backup-simplify]: Simplify (- 0) into 0 2.679 * [backup-simplify]: Simplify (+ 0 0) into 0 2.679 * [taylor]: Taking taylor expansion of 0 in y 2.679 * [backup-simplify]: Simplify 0 into 0 2.679 * [taylor]: Taking taylor expansion of 0 in t 2.679 * [backup-simplify]: Simplify 0 into 0 2.679 * [backup-simplify]: Simplify (+ (* t 0) (* 0 z)) into 0 2.679 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* t z)) (/ 0 (* t z))))) into 0 2.679 * [backup-simplify]: Simplify (- 0) into 0 2.679 * [taylor]: Taking taylor expansion of 0 in t 2.679 * [backup-simplify]: Simplify 0 into 0 2.680 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.680 * [taylor]: Taking taylor expansion of 0 in t 2.680 * [backup-simplify]: Simplify 0 into 0 2.680 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 2.681 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 2.681 * [backup-simplify]: Simplify (- 0) into 0 2.681 * [taylor]: Taking taylor expansion of 0 in z 2.681 * [backup-simplify]: Simplify 0 into 0 2.681 * [taylor]: Taking taylor expansion of 0 in z 2.681 * [backup-simplify]: Simplify 0 into 0 2.681 * [taylor]: Taking taylor expansion of 0 in z 2.681 * [backup-simplify]: Simplify 0 into 0 2.681 * [taylor]: Taking taylor expansion of 0 in z 2.681 * [backup-simplify]: Simplify 0 into 0 2.681 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.682 * [backup-simplify]: Simplify (- 0) into 0 2.682 * [backup-simplify]: Simplify 0 into 0 2.682 * [backup-simplify]: Simplify 0 into 0 2.682 * [backup-simplify]: Simplify 0 into 0 2.682 * [backup-simplify]: Simplify 0 into 0 2.682 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.682 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y)))))) into 0 2.684 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 2.684 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* t z)) (/ 0 (* t z))) (* 0 (/ 0 (* t z))) (* 0 (/ 0 (* t z))))) into 0 2.684 * [backup-simplify]: Simplify (- 0) into 0 2.685 * [backup-simplify]: Simplify (+ 0 0) into 0 2.685 * [taylor]: Taking taylor expansion of 0 in y 2.685 * [backup-simplify]: Simplify 0 into 0 2.685 * [taylor]: Taking taylor expansion of 0 in t 2.685 * [backup-simplify]: Simplify 0 into 0 2.685 * [taylor]: Taking taylor expansion of 0 in t 2.685 * [backup-simplify]: Simplify 0 into 0 2.685 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 z))) into 0 2.685 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* t z)) (/ 0 (* t z))) (* 0 (/ 0 (* t z))))) into 0 2.685 * [backup-simplify]: Simplify (- 0) into 0 2.685 * [taylor]: Taking taylor expansion of 0 in t 2.685 * [backup-simplify]: Simplify 0 into 0 2.686 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.686 * [taylor]: Taking taylor expansion of 0 in t 2.686 * [backup-simplify]: Simplify 0 into 0 2.686 * [taylor]: Taking taylor expansion of 0 in z 2.686 * [backup-simplify]: Simplify 0 into 0 2.686 * [taylor]: Taking taylor expansion of 0 in z 2.686 * [backup-simplify]: Simplify 0 into 0 2.686 * [taylor]: Taking taylor expansion of 0 in z 2.686 * [backup-simplify]: Simplify 0 into 0 2.687 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0 2.687 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 2.687 * [backup-simplify]: Simplify (- 0) into 0 2.687 * [taylor]: Taking taylor expansion of 0 in z 2.687 * [backup-simplify]: Simplify 0 into 0 2.687 * [taylor]: Taking taylor expansion of 0 in z 2.687 * [backup-simplify]: Simplify 0 into 0 2.687 * [taylor]: Taking taylor expansion of 0 in z 2.687 * [backup-simplify]: Simplify 0 into 0 2.687 * [taylor]: Taking taylor expansion of 0 in z 2.687 * [backup-simplify]: Simplify 0 into 0 2.687 * [backup-simplify]: Simplify 0 into 0 2.687 * [backup-simplify]: Simplify 0 into 0 2.688 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 t)) (* 1 1))))) into (- (* x y) (* t z)) 2.688 * [backup-simplify]: Simplify (fma (/ 1 (- x)) (/ 1 (- y)) (- (* (/ 1 (- t)) (/ 1 (- z))))) into (fma (/ -1 x) (/ -1 y) (- (/ 1 (* t z)))) 2.689 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (- (/ 1 (* t z)))) in (x y t z) around 0 2.689 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (- (/ 1 (* t z)))) in z 2.689 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (- (/ 1 (* t z)))) 2.689 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in z 2.689 * [taylor]: Taking taylor expansion of (/ -1 x) in z 2.689 * [taylor]: Taking taylor expansion of -1 in z 2.689 * [backup-simplify]: Simplify -1 into -1 2.689 * [taylor]: Taking taylor expansion of x in z 2.689 * [backup-simplify]: Simplify x into x 2.689 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.689 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.689 * [taylor]: Taking taylor expansion of -1 in z 2.689 * [backup-simplify]: Simplify -1 into -1 2.689 * [taylor]: Taking taylor expansion of y in z 2.689 * [backup-simplify]: Simplify y into y 2.689 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.689 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z 2.689 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 2.689 * [taylor]: Taking taylor expansion of (* t z) in z 2.689 * [taylor]: Taking taylor expansion of t in z 2.689 * [backup-simplify]: Simplify t into t 2.689 * [taylor]: Taking taylor expansion of z in z 2.689 * [backup-simplify]: Simplify 0 into 0 2.689 * [backup-simplify]: Simplify 1 into 1 2.690 * [backup-simplify]: Simplify (* t 0) into 0 2.690 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t 2.690 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.690 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (- (/ 1 (* t z)))) in t 2.690 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (- (/ 1 (* t z)))) 2.690 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in t 2.690 * [taylor]: Taking taylor expansion of (/ -1 x) in t 2.690 * [taylor]: Taking taylor expansion of -1 in t 2.690 * [backup-simplify]: Simplify -1 into -1 2.691 * [taylor]: Taking taylor expansion of x in t 2.691 * [backup-simplify]: Simplify x into x 2.691 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.691 * [taylor]: Taking taylor expansion of (/ -1 y) in t 2.691 * [taylor]: Taking taylor expansion of -1 in t 2.691 * [backup-simplify]: Simplify -1 into -1 2.691 * [taylor]: Taking taylor expansion of y in t 2.691 * [backup-simplify]: Simplify y into y 2.691 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.691 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in t 2.691 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 2.691 * [taylor]: Taking taylor expansion of (* t z) in t 2.691 * [taylor]: Taking taylor expansion of t in t 2.691 * [backup-simplify]: Simplify 0 into 0 2.691 * [backup-simplify]: Simplify 1 into 1 2.691 * [taylor]: Taking taylor expansion of z in t 2.691 * [backup-simplify]: Simplify z into z 2.691 * [backup-simplify]: Simplify (* 0 z) into 0 2.692 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 2.692 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.692 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (- (/ 1 (* t z)))) in y 2.692 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (- (/ 1 (* t z)))) 2.692 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y 2.692 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.692 * [taylor]: Taking taylor expansion of -1 in y 2.692 * [backup-simplify]: Simplify -1 into -1 2.692 * [taylor]: Taking taylor expansion of x in y 2.692 * [backup-simplify]: Simplify x into x 2.692 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.692 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.692 * [taylor]: Taking taylor expansion of -1 in y 2.692 * [backup-simplify]: Simplify -1 into -1 2.692 * [taylor]: Taking taylor expansion of y in y 2.692 * [backup-simplify]: Simplify 0 into 0 2.692 * [backup-simplify]: Simplify 1 into 1 2.693 * [backup-simplify]: Simplify (/ -1 1) into -1 2.693 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in y 2.693 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 2.693 * [taylor]: Taking taylor expansion of (* t z) in y 2.693 * [taylor]: Taking taylor expansion of t in y 2.693 * [backup-simplify]: Simplify t into t 2.693 * [taylor]: Taking taylor expansion of z in y 2.693 * [backup-simplify]: Simplify z into z 2.693 * [backup-simplify]: Simplify (* t z) into (* t z) 2.693 * [backup-simplify]: Simplify (/ 1 (* t z)) into (/ 1 (* t z)) 2.693 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (- (/ 1 (* t z)))) in x 2.693 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (- (/ 1 (* t z)))) 2.694 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x 2.694 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.694 * [taylor]: Taking taylor expansion of -1 in x 2.694 * [backup-simplify]: Simplify -1 into -1 2.694 * [taylor]: Taking taylor expansion of x in x 2.694 * [backup-simplify]: Simplify 0 into 0 2.694 * [backup-simplify]: Simplify 1 into 1 2.694 * [backup-simplify]: Simplify (/ -1 1) into -1 2.694 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.694 * [taylor]: Taking taylor expansion of -1 in x 2.694 * [backup-simplify]: Simplify -1 into -1 2.694 * [taylor]: Taking taylor expansion of y in x 2.694 * [backup-simplify]: Simplify y into y 2.694 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.694 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in x 2.694 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 2.695 * [taylor]: Taking taylor expansion of (* t z) in x 2.695 * [taylor]: Taking taylor expansion of t in x 2.695 * [backup-simplify]: Simplify t into t 2.695 * [taylor]: Taking taylor expansion of z in x 2.695 * [backup-simplify]: Simplify z into z 2.695 * [backup-simplify]: Simplify (* t z) into (* t z) 2.695 * [backup-simplify]: Simplify (/ 1 (* t z)) into (/ 1 (* t z)) 2.695 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (- (/ 1 (* t z)))) in x 2.695 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (- (/ 1 (* t z)))) 2.695 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x 2.695 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.695 * [taylor]: Taking taylor expansion of -1 in x 2.695 * [backup-simplify]: Simplify -1 into -1 2.695 * [taylor]: Taking taylor expansion of x in x 2.695 * [backup-simplify]: Simplify 0 into 0 2.695 * [backup-simplify]: Simplify 1 into 1 2.696 * [backup-simplify]: Simplify (/ -1 1) into -1 2.696 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.696 * [taylor]: Taking taylor expansion of -1 in x 2.696 * [backup-simplify]: Simplify -1 into -1 2.696 * [taylor]: Taking taylor expansion of y in x 2.696 * [backup-simplify]: Simplify y into y 2.696 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.696 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in x 2.696 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 2.696 * [taylor]: Taking taylor expansion of (* t z) in x 2.696 * [taylor]: Taking taylor expansion of t in x 2.696 * [backup-simplify]: Simplify t into t 2.696 * [taylor]: Taking taylor expansion of z in x 2.696 * [backup-simplify]: Simplify z into z 2.696 * [backup-simplify]: Simplify (* t z) into (* t z) 2.696 * [backup-simplify]: Simplify (/ 1 (* t z)) into (/ 1 (* t z)) 2.697 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 2.697 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 2.697 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.697 * [taylor]: Taking taylor expansion of y in y 2.697 * [backup-simplify]: Simplify 0 into 0 2.697 * [backup-simplify]: Simplify 1 into 1 2.697 * [backup-simplify]: Simplify (/ 1 1) into 1 2.697 * [taylor]: Taking taylor expansion of 1 in t 2.697 * [backup-simplify]: Simplify 1 into 1 2.697 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 2.698 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 2.699 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 y))) into 0 2.699 * [backup-simplify]: Simplify (- (/ 1 (* t z))) into (- (/ 1 (* t z))) 2.699 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* t z)))) into (- (/ 1 (* t z))) 2.699 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in y 2.699 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 2.699 * [taylor]: Taking taylor expansion of (* t z) in y 2.699 * [taylor]: Taking taylor expansion of t in y 2.699 * [backup-simplify]: Simplify t into t 2.699 * [taylor]: Taking taylor expansion of z in y 2.699 * [backup-simplify]: Simplify z into z 2.699 * [backup-simplify]: Simplify (* t z) into (* t z) 2.699 * [backup-simplify]: Simplify (/ 1 (* t z)) into (/ 1 (* t z)) 2.700 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.700 * [taylor]: Taking taylor expansion of 0 in t 2.700 * [backup-simplify]: Simplify 0 into 0 2.700 * [taylor]: Taking taylor expansion of 1 in z 2.700 * [backup-simplify]: Simplify 1 into 1 2.701 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.702 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.703 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0 2.703 * [backup-simplify]: Simplify (+ (* t 0) (* 0 z)) into 0 2.703 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* t z)) (/ 0 (* t z))))) into 0 2.703 * [backup-simplify]: Simplify (- 0) into 0 2.704 * [backup-simplify]: Simplify (+ 0 0) into 0 2.704 * [taylor]: Taking taylor expansion of 0 in y 2.704 * [backup-simplify]: Simplify 0 into 0 2.704 * [backup-simplify]: Simplify (- (/ 1 (* t z))) into (- (/ 1 (* t z))) 2.704 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in t 2.704 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 2.704 * [taylor]: Taking taylor expansion of (* t z) in t 2.704 * [taylor]: Taking taylor expansion of t in t 2.704 * [backup-simplify]: Simplify 0 into 0 2.704 * [backup-simplify]: Simplify 1 into 1 2.704 * [taylor]: Taking taylor expansion of z in t 2.704 * [backup-simplify]: Simplify z into z 2.704 * [backup-simplify]: Simplify (* 0 z) into 0 2.705 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 2.705 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.705 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 2.705 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.705 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.705 * [taylor]: Taking taylor expansion of z in z 2.705 * [backup-simplify]: Simplify 0 into 0 2.705 * [backup-simplify]: Simplify 1 into 1 2.705 * [backup-simplify]: Simplify (/ 1 1) into 1 2.706 * [backup-simplify]: Simplify (- 1) into -1 2.706 * [backup-simplify]: Simplify -1 into -1 2.707 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.707 * [taylor]: Taking taylor expansion of 0 in t 2.707 * [backup-simplify]: Simplify 0 into 0 2.707 * [taylor]: Taking taylor expansion of 0 in z 2.707 * [backup-simplify]: Simplify 0 into 0 2.707 * [taylor]: Taking taylor expansion of 0 in z 2.707 * [backup-simplify]: Simplify 0 into 0 2.707 * [backup-simplify]: Simplify 1 into 1 2.707 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.708 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.710 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0 2.710 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 z))) into 0 2.710 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* t z)) (/ 0 (* t z))) (* 0 (/ 0 (* t z))))) into 0 2.711 * [backup-simplify]: Simplify (- 0) into 0 2.711 * [backup-simplify]: Simplify (+ 0 0) into 0 2.711 * [taylor]: Taking taylor expansion of 0 in y 2.711 * [backup-simplify]: Simplify 0 into 0 2.711 * [taylor]: Taking taylor expansion of 0 in t 2.711 * [backup-simplify]: Simplify 0 into 0 2.711 * [backup-simplify]: Simplify (+ (* t 0) (* 0 z)) into 0 2.712 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* t z)) (/ 0 (* t z))))) into 0 2.712 * [backup-simplify]: Simplify (- 0) into 0 2.712 * [taylor]: Taking taylor expansion of 0 in t 2.712 * [backup-simplify]: Simplify 0 into 0 2.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.714 * [taylor]: Taking taylor expansion of 0 in t 2.714 * [backup-simplify]: Simplify 0 into 0 2.715 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0 2.715 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 2.715 * [backup-simplify]: Simplify (- 0) into 0 2.715 * [taylor]: Taking taylor expansion of 0 in z 2.715 * [backup-simplify]: Simplify 0 into 0 2.715 * [taylor]: Taking taylor expansion of 0 in z 2.715 * [backup-simplify]: Simplify 0 into 0 2.715 * [taylor]: Taking taylor expansion of 0 in z 2.715 * [backup-simplify]: Simplify 0 into 0 2.715 * [taylor]: Taking taylor expansion of 0 in z 2.715 * [backup-simplify]: Simplify 0 into 0 2.716 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.716 * [backup-simplify]: Simplify (- 0) into 0 2.717 * [backup-simplify]: Simplify 0 into 0 2.717 * [backup-simplify]: Simplify 0 into 0 2.717 * [backup-simplify]: Simplify 0 into 0 2.717 * [backup-simplify]: Simplify 0 into 0 2.717 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.718 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.720 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 y)))))) into 0 2.720 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 2.721 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* t z)) (/ 0 (* t z))) (* 0 (/ 0 (* t z))) (* 0 (/ 0 (* t z))))) into 0 2.721 * [backup-simplify]: Simplify (- 0) into 0 2.722 * [backup-simplify]: Simplify (+ 0 0) into 0 2.722 * [taylor]: Taking taylor expansion of 0 in y 2.722 * [backup-simplify]: Simplify 0 into 0 2.722 * [taylor]: Taking taylor expansion of 0 in t 2.722 * [backup-simplify]: Simplify 0 into 0 2.722 * [taylor]: Taking taylor expansion of 0 in t 2.722 * [backup-simplify]: Simplify 0 into 0 2.722 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 z))) into 0 2.722 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* t z)) (/ 0 (* t z))) (* 0 (/ 0 (* t z))))) into 0 2.723 * [backup-simplify]: Simplify (- 0) into 0 2.723 * [taylor]: Taking taylor expansion of 0 in t 2.723 * [backup-simplify]: Simplify 0 into 0 2.724 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.724 * [taylor]: Taking taylor expansion of 0 in t 2.724 * [backup-simplify]: Simplify 0 into 0 2.724 * [taylor]: Taking taylor expansion of 0 in z 2.724 * [backup-simplify]: Simplify 0 into 0 2.724 * [taylor]: Taking taylor expansion of 0 in z 2.724 * [backup-simplify]: Simplify 0 into 0 2.724 * [taylor]: Taking taylor expansion of 0 in z 2.724 * [backup-simplify]: Simplify 0 into 0 2.725 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0 2.725 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 2.726 * [backup-simplify]: Simplify (- 0) into 0 2.726 * [taylor]: Taking taylor expansion of 0 in z 2.726 * [backup-simplify]: Simplify 0 into 0 2.726 * [taylor]: Taking taylor expansion of 0 in z 2.726 * [backup-simplify]: Simplify 0 into 0 2.726 * [taylor]: Taking taylor expansion of 0 in z 2.726 * [backup-simplify]: Simplify 0 into 0 2.726 * [taylor]: Taking taylor expansion of 0 in z 2.726 * [backup-simplify]: Simplify 0 into 0 2.726 * [backup-simplify]: Simplify 0 into 0 2.726 * [backup-simplify]: Simplify 0 into 0 2.727 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- t))) (* 1 1))))) into (- (* x y) (* t z)) 2.727 * * * [progress]: simplifying candidates 2.727 * [simplify]: Simplifying: (expm1 (fma x y (- (* t z)))) (log1p (fma x y (- (* t z)))) (* x y) (log (fma x y (- (* t z)))) (exp (fma x y (- (* t z)))) (* (cbrt (fma x y (- (* t z)))) (cbrt (fma x y (- (* t z))))) (cbrt (fma x y (- (* t z)))) (* (* (fma x y (- (* t z))) (fma x y (- (* t z)))) (fma x y (- (* t z)))) (sqrt (fma x y (- (* t z)))) (sqrt (fma x y (- (* t z)))) 0 (- (* x y) (* t z)) (- (* x y) (* t z)) 2.728 * * [simplify]: Extracting # 0 : cost 0 2.728 * * [simplify]: Extracting # 1 : cost 0 2.728 * * [simplify]: Extracting # 2 : cost 0 2.728 * * [simplify]: Extracting # 3 : cost 0 2.728 * * [simplify]: Extracting # 4 : cost 0 2.728 * * [simplify]: Extracting # 5 : cost 0 2.728 * * [simplify]: iteration 0 : 19 enodes (cost 114 ) 2.740 * * [simplify]: Extracting # 0 : cost 0 2.740 * * [simplify]: Extracting # 1 : cost 0 2.740 * * [simplify]: Extracting # 2 : cost 0 2.740 * * [simplify]: iteration 1 : 27 enodes (cost 114 ) 2.749 * * [simplify]: Extracting # 0 : cost 0 2.749 * * [simplify]: Extracting # 1 : cost 0 2.749 * * [simplify]: Extracting # 2 : cost 0 2.749 * * [simplify]: iteration 2 : 50 enodes (cost 100 ) 2.763 * * [simplify]: Extracting # 0 : cost 0 2.763 * * [simplify]: Extracting # 1 : cost 0 2.763 * * [simplify]: Extracting # 2 : cost 0 2.764 * * [simplify]: Extracting # 3 : cost 0 2.764 * * [simplify]: iteration 3 : 188 enodes (cost 100 ) 2.890 * * [simplify]: Extracting # 0 : cost 0 2.892 * * [simplify]: Extracting # 1 : cost 0 2.893 * * [simplify]: Extracting # 2 : cost 0 2.895 * * [simplify]: Extracting # 3 : cost 0 2.901 * * [simplify]: Extracting # 4 : cost 0 2.902 * * [simplify]: Extracting # 5 : cost 0 2.903 * * [simplify]: iteration 4 : 744 enodes (cost 100 ) 4.657 * * [simplify]: Extracting # 0 : cost 0 4.662 * * [simplify]: Extracting # 1 : cost 0 4.666 * * [simplify]: Extracting # 2 : cost 0 4.670 * * [simplify]: Extracting # 3 : cost 0 4.674 * * [simplify]: Extracting # 4 : cost 0 4.677 * * [simplify]: iteration 5 : 3890 enodes (cost 100 ) 6.778 * * [simplify]: Extracting # 0 : cost 0 6.786 * * [simplify]: Extracting # 1 : cost 0 6.795 * * [simplify]: Extracting # 2 : cost 0 6.804 * * [simplify]: iteration done: 5000 enodes (cost 100 ) 6.804 * [simplify]: Simplified to: (expm1 (fma x y (- (* t z)))) (log1p (fma x y (- (* t z)))) (* x y) (log (fma x y (- (* t z)))) (exp (fma x y (- (* t z)))) (* (cbrt (fma x y (- (* t z)))) (cbrt (fma x y (- (* t z))))) (cbrt (fma x y (- (* t z)))) (pow (fma x y (- (* t z))) 3) (sqrt (fma x y (- (* t z)))) (sqrt (fma x y (- (* t z)))) 0 (fma x y (- (* t z))) (fma x y (- (* t z))) 6.805 * * * [progress]: adding candidates to table 6.870 * * [progress]: iteration 3 / 4 6.870 * * * [progress]: picking best candidate 6.874 * * * * [pick]: Picked # 6.874 * * * [progress]: localizing error 6.888 * * * [progress]: generating rewritten candidates 6.888 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 6.895 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 6.901 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 6.907 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 6.991 * * * [progress]: generating series expansions 6.991 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 6.992 * [backup-simplify]: Simplify (cbrt (- (* x y) (* z t))) into (pow (- (* x y) (* t z)) 1/3) 6.992 * [approximate]: Taking taylor expansion of (pow (- (* x y) (* t z)) 1/3) in (x y z t) around 0 6.992 * [taylor]: Taking taylor expansion of (pow (- (* x y) (* t z)) 1/3) in t 6.992 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (* x y) (* t z))))) in t 6.992 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (* x y) (* t z)))) in t 6.992 * [taylor]: Taking taylor expansion of 1/3 in t 6.992 * [backup-simplify]: Simplify 1/3 into 1/3 6.992 * [taylor]: Taking taylor expansion of (log (- (* x y) (* t z))) in t 6.992 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in t 6.992 * [taylor]: Taking taylor expansion of (* x y) in t 6.992 * [taylor]: Taking taylor expansion of x in t 6.992 * [backup-simplify]: Simplify x into x 6.992 * [taylor]: Taking taylor expansion of y in t 6.992 * [backup-simplify]: Simplify y into y 6.992 * [taylor]: Taking taylor expansion of (* t z) in t 6.992 * [taylor]: Taking taylor expansion of t in t 6.992 * [backup-simplify]: Simplify 0 into 0 6.992 * [backup-simplify]: Simplify 1 into 1 6.992 * [taylor]: Taking taylor expansion of z in t 6.992 * [backup-simplify]: Simplify z into z 6.992 * [backup-simplify]: Simplify (* x y) into (* x y) 6.992 * [backup-simplify]: Simplify (* 0 z) into 0 6.993 * [backup-simplify]: Simplify (- 0) into 0 6.993 * [backup-simplify]: Simplify (+ (* x y) 0) into (* x y) 6.993 * [backup-simplify]: Simplify (log (* x y)) into (log (* x y)) 6.993 * [backup-simplify]: Simplify (* 1/3 (log (* x y))) into (* 1/3 (log (* x y))) 6.993 * [backup-simplify]: Simplify (exp (* 1/3 (log (* x y)))) into (pow (* x y) 1/3) 6.993 * [taylor]: Taking taylor expansion of (pow (- (* x y) (* t z)) 1/3) in z 6.993 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (* x y) (* t z))))) in z 6.993 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (* x y) (* t z)))) in z 6.994 * [taylor]: Taking taylor expansion of 1/3 in z 6.994 * [backup-simplify]: Simplify 1/3 into 1/3 6.994 * [taylor]: Taking taylor expansion of (log (- (* x y) (* t z))) in z 6.994 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in z 6.994 * [taylor]: Taking taylor expansion of (* x y) in z 6.994 * [taylor]: Taking taylor expansion of x in z 6.994 * [backup-simplify]: Simplify x into x 6.994 * [taylor]: Taking taylor expansion of y in z 6.994 * [backup-simplify]: Simplify y into y 6.994 * [taylor]: Taking taylor expansion of (* t z) in z 6.994 * [taylor]: Taking taylor expansion of t in z 6.994 * [backup-simplify]: Simplify t into t 6.994 * [taylor]: Taking taylor expansion of z in z 6.994 * [backup-simplify]: Simplify 0 into 0 6.994 * [backup-simplify]: Simplify 1 into 1 6.994 * [backup-simplify]: Simplify (* x y) into (* x y) 6.994 * [backup-simplify]: Simplify (* t 0) into 0 6.994 * [backup-simplify]: Simplify (- 0) into 0 6.995 * [backup-simplify]: Simplify (+ (* x y) 0) into (* x y) 6.995 * [backup-simplify]: Simplify (log (* x y)) into (log (* x y)) 6.995 * [backup-simplify]: Simplify (* 1/3 (log (* x y))) into (* 1/3 (log (* x y))) 6.995 * [backup-simplify]: Simplify (exp (* 1/3 (log (* x y)))) into (pow (* x y) 1/3) 6.995 * [taylor]: Taking taylor expansion of (pow (- (* x y) (* t z)) 1/3) in y 6.995 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (* x y) (* t z))))) in y 6.995 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (* x y) (* t z)))) in y 6.995 * [taylor]: Taking taylor expansion of 1/3 in y 6.995 * [backup-simplify]: Simplify 1/3 into 1/3 6.995 * [taylor]: Taking taylor expansion of (log (- (* x y) (* t z))) in y 6.995 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in y 6.995 * [taylor]: Taking taylor expansion of (* x y) in y 6.995 * [taylor]: Taking taylor expansion of x in y 6.995 * [backup-simplify]: Simplify x into x 6.995 * [taylor]: Taking taylor expansion of y in y 6.995 * [backup-simplify]: Simplify 0 into 0 6.995 * [backup-simplify]: Simplify 1 into 1 6.995 * [taylor]: Taking taylor expansion of (* t z) in y 6.995 * [taylor]: Taking taylor expansion of t in y 6.995 * [backup-simplify]: Simplify t into t 6.995 * [taylor]: Taking taylor expansion of z in y 6.995 * [backup-simplify]: Simplify z into z 6.995 * [backup-simplify]: Simplify (* x 0) into 0 6.995 * [backup-simplify]: Simplify (* t z) into (* t z) 6.996 * [backup-simplify]: Simplify (- (* t z)) into (- (* t z)) 6.996 * [backup-simplify]: Simplify (+ 0 (- (* t z))) into (- (* t z)) 6.996 * [backup-simplify]: Simplify (log (- (* t z))) into (log (- (* t z))) 6.996 * [backup-simplify]: Simplify (* 1/3 (log (- (* t z)))) into (* 1/3 (log (- (* t z)))) 6.996 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (* t z))))) into (pow (- (* t z)) 1/3) 6.996 * [taylor]: Taking taylor expansion of (pow (- (* x y) (* t z)) 1/3) in x 6.996 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (* x y) (* t z))))) in x 6.996 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (* x y) (* t z)))) in x 6.996 * [taylor]: Taking taylor expansion of 1/3 in x 6.996 * [backup-simplify]: Simplify 1/3 into 1/3 6.996 * [taylor]: Taking taylor expansion of (log (- (* x y) (* t z))) in x 6.996 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x 6.996 * [taylor]: Taking taylor expansion of (* x y) in x 6.996 * [taylor]: Taking taylor expansion of x in x 6.996 * [backup-simplify]: Simplify 0 into 0 6.996 * [backup-simplify]: Simplify 1 into 1 6.996 * [taylor]: Taking taylor expansion of y in x 6.996 * [backup-simplify]: Simplify y into y 6.997 * [taylor]: Taking taylor expansion of (* t z) in x 6.997 * [taylor]: Taking taylor expansion of t in x 6.997 * [backup-simplify]: Simplify t into t 6.997 * [taylor]: Taking taylor expansion of z in x 6.997 * [backup-simplify]: Simplify z into z 6.997 * [backup-simplify]: Simplify (* 0 y) into 0 6.997 * [backup-simplify]: Simplify (* t z) into (* t z) 6.997 * [backup-simplify]: Simplify (- (* t z)) into (- (* t z)) 6.997 * [backup-simplify]: Simplify (+ 0 (- (* t z))) into (- (* t z)) 6.997 * [backup-simplify]: Simplify (log (- (* t z))) into (log (- (* t z))) 6.997 * [backup-simplify]: Simplify (* 1/3 (log (- (* t z)))) into (* 1/3 (log (- (* t z)))) 6.997 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (* t z))))) into (pow (- (* t z)) 1/3) 6.997 * [taylor]: Taking taylor expansion of (pow (- (* x y) (* t z)) 1/3) in x 6.997 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (* x y) (* t z))))) in x 6.997 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (* x y) (* t z)))) in x 6.997 * [taylor]: Taking taylor expansion of 1/3 in x 6.997 * [backup-simplify]: Simplify 1/3 into 1/3 6.997 * [taylor]: Taking taylor expansion of (log (- (* x y) (* t z))) in x 6.998 * [taylor]: Taking taylor expansion of (- (* x y) (* t z)) in x 6.998 * [taylor]: Taking taylor expansion of (* x y) in x 6.998 * [taylor]: Taking taylor expansion of x in x 6.998 * [backup-simplify]: Simplify 0 into 0 6.998 * [backup-simplify]: Simplify 1 into 1 6.998 * [taylor]: Taking taylor expansion of y in x 6.998 * [backup-simplify]: Simplify y into y 6.998 * [taylor]: Taking taylor expansion of (* t z) in x 6.998 * [taylor]: Taking taylor expansion of t in x 6.998 * [backup-simplify]: Simplify t into t 6.998 * [taylor]: Taking taylor expansion of z in x 6.998 * [backup-simplify]: Simplify z into z 6.998 * [backup-simplify]: Simplify (* 0 y) into 0 6.998 * [backup-simplify]: Simplify (* t z) into (* t z) 6.998 * [backup-simplify]: Simplify (- (* t z)) into (- (* t z)) 6.998 * [backup-simplify]: Simplify (+ 0 (- (* t z))) into (- (* t z)) 6.998 * [backup-simplify]: Simplify (log (- (* t z))) into (log (- (* t z))) 6.998 * [backup-simplify]: Simplify (* 1/3 (log (- (* t z)))) into (* 1/3 (log (- (* t z)))) 6.999 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (* t z))))) into (pow (- (* t z)) 1/3) 6.999 * [taylor]: Taking taylor expansion of (pow (- (* t z)) 1/3) in y 6.999 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (* t z))))) in y 6.999 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (* t z)))) in y 6.999 * [taylor]: Taking taylor expansion of 1/3 in y 6.999 * [backup-simplify]: Simplify 1/3 into 1/3 6.999 * [taylor]: Taking taylor expansion of (log (- (* t z))) in y 6.999 * [taylor]: Taking taylor expansion of (- (* t z)) in y 6.999 * [taylor]: Taking taylor expansion of (* t z) in y 6.999 * [taylor]: Taking taylor expansion of t in y 6.999 * [backup-simplify]: Simplify t into t 6.999 * [taylor]: Taking taylor expansion of z in y 6.999 * [backup-simplify]: Simplify z into z 6.999 * [backup-simplify]: Simplify (* t z) into (* t z) 6.999 * [backup-simplify]: Simplify (- (* t z)) into (- (* t z)) 6.999 * [backup-simplify]: Simplify (- (* t z)) into (- (* t z)) 6.999 * [backup-simplify]: Simplify (log (- (* t z))) into (log (- (* t z))) 6.999 * [backup-simplify]: Simplify (* 1/3 (log (- (* t z)))) into (* 1/3 (log (- (* t z)))) 7.000 * [backup-simplify]: Simplify (exp (* 1/3 (log (- (* t z))))) into (pow (- (* t z)) 1/3) 7.000 * [taylor]: Taking taylor expansion of (pow (- (* t z)) 1/3) in z 7.000 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (* t z))))) in z 7.000 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (* t z)))) in z 7.000 * [taylor]: Taking taylor expansion of 1/3 in z 7.000 * [backup-simplify]: Simplify 1/3 into 1/3 7.000 * [taylor]: Taking taylor expansion of (log (- (* t z))) in z 7.000 * [taylor]: Taking taylor expansion of (- (* t z)) in z 7.000 * [taylor]: Taking taylor expansion of (* t z) in z 7.000 * [taylor]: Taking taylor expansion of t in z 7.000 * [backup-simplify]: Simplify t into t 7.000 * [taylor]: Taking taylor expansion of z in z 7.000 * [backup-simplify]: Simplify 0 into 0 7.000 * [backup-simplify]: Simplify 1 into 1 7.000 * [backup-simplify]: Simplify (* t 0) into 0 7.001 * [backup-simplify]: Simplify (- 0) into 0 7.001 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t 7.001 * [backup-simplify]: Simplify (- t) into (- t) 7.001 * [backup-simplify]: Simplify (- t) into (- t) 7.001 * [backup-simplify]: Simplify (log (- t)) into (log (- t)) 7.002 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log (- t))) into (+ (log z) (log (- t))) 7.002 * [backup-simplify]: Simplify (* 1/3 (+ (log z) (log (- t)))) into (* 1/3 (+ (log z) (log (- t)))) 7.002 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log z) (log (- t))))) into (exp (* 1/3 (+ (log z) (log (- t))))) 7.002 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (- t))))) in t 7.002 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (- t)))) in t 7.002 * [taylor]: Taking taylor expansion of 1/3 in t 7.002 * [backup-simplify]: Simplify 1/3 into 1/3 7.002 * [taylor]: Taking taylor expansion of (+ (log z) (log (- t))) in t 7.002 * [taylor]: Taking taylor expansion of (log z) in t 7.002 * [taylor]: Taking taylor expansion of z in t 7.002 * [backup-simplify]: Simplify z into z 7.002 * [backup-simplify]: Simplify (log z) into (log z) 7.002 * [taylor]: Taking taylor expansion of (log (- t)) in t 7.002 * [taylor]: Taking taylor expansion of (- t) in t 7.003 * [taylor]: Taking taylor expansion of t in t 7.003 * [backup-simplify]: Simplify 0 into 0 7.003 * [backup-simplify]: Simplify 1 into 1 7.003 * [backup-simplify]: Simplify (- 0) into 0 7.003 * [backup-simplify]: Simplify (- 1) into -1 7.004 * [backup-simplify]: Simplify (- 1) into -1 7.004 * [backup-simplify]: Simplify (log -1) into (log -1) 7.005 * [backup-simplify]: Simplify (+ (* (- -1) (log t)) (log -1)) into (+ (log t) (log -1)) 7.005 * [backup-simplify]: Simplify (+ (log z) (+ (log t) (log -1))) into (+ (log z) (+ (log -1) (log t))) 7.006 * [backup-simplify]: Simplify (* 1/3 (+ (log z) (+ (log -1) (log t)))) into (* 1/3 (+ (log z) (+ (log -1) (log t)))) 7.006 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log z) (+ (log -1) (log t))))) into (exp (* 1/3 (+ (log z) (+ (log -1) (log t))))) 7.007 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log z) (+ (log -1) (log t))))) into (exp (* 1/3 (+ (log z) (+ (log -1) (log t))))) 7.008 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.008 * [backup-simplify]: Simplify (+ (* t 0) (* 0 z)) into 0 7.008 * [backup-simplify]: Simplify (- 0) into 0 7.008 * [backup-simplify]: Simplify (+ y 0) into y 7.009 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 y) 1)) (pow (- (* t z)) 1)))) 1) into (* -1 (/ y (* t z))) 7.009 * [backup-simplify]: Simplify (+ (* 1/3 (* -1 (/ y (* t z)))) (* 0 (log (- (* t z))))) into (- (* 1/3 (/ y (* t z))))