3.089 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.018 * * * [progress]: [2/2] Setting up program. 0.020 * [progress]: [Phase 2 of 3] Improving. 0.020 * [simplify]: Simplifying using # : (+ x (* (- y x) (/ z t))) 0.021 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.022 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.024 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 0.027 * * [simplify]: iteration 3 : 57 enodes (cost 8 ) 0.034 * * [simplify]: iteration 4 : 100 enodes (cost 8 ) 0.049 * * [simplify]: iteration 5 : 147 enodes (cost 8 ) 0.069 * * [simplify]: iteration 6 : 186 enodes (cost 8 ) 0.098 * * [simplify]: iteration 7 : 271 enodes (cost 8 ) 0.145 * * [simplify]: iteration 8 : 389 enodes (cost 8 ) 0.212 * * [simplify]: iteration 9 : 475 enodes (cost 8 ) 0.327 * * [simplify]: iteration 10 : 705 enodes (cost 8 ) 0.544 * * [simplify]: iteration 11 : 801 enodes (cost 8 ) 0.804 * * [simplify]: iteration 12 : 878 enodes (cost 8 ) 1.088 * * [simplify]: iteration 13 : 925 enodes (cost 8 ) 1.393 * * [simplify]: iteration 14 : 1072 enodes (cost 8 ) 1.798 * * [simplify]: iteration 15 : 1359 enodes (cost 8 ) 2.462 * * [simplify]: iteration 16 : 1896 enodes (cost 8 ) 4.093 * * [simplify]: iteration 17 : 2442 enodes (cost 8 ) 6.821 * * [simplify]: iteration 18 : 3289 enodes (cost 8 ) 12.567 * * [simplify]: iteration 19 : 4352 enodes (cost 8 ) 24.780 * * [simplify]: iteration 20 : 4475 enodes (cost 8 ) 38.116 * * [simplify]: iteration 21 : 4481 enodes (cost 8 ) 51.127 * * [simplify]: iteration done : 4481 enodes (cost 8 ) 51.127 * [simplify]: Simplified to: (fma (- y x) (/ z t) x) 51.129 * * [progress]: iteration 1 / 4 51.130 * * * [progress]: picking best candidate 51.133 * * * * [pick]: Picked # 51.133 * * * [progress]: localizing error 51.139 * * * [progress]: generating rewritten candidates 51.139 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 51.140 * * * [progress]: generating series expansions 51.140 * * * * [progress]: [ 1 / 1 ] generating series at (2) 51.140 * [approximate]: Taking taylor expansion of (fma (- y x) (/ z t) x) in (y x z t) around 0 51.140 * [taylor]: Taking taylor expansion of (fma (- y x) (/ z t) x) in t 51.140 * [taylor]: Rewrote expression to (+ (* (- y x) (/ z t)) x) 51.140 * [taylor]: Taking taylor expansion of (* (- y x) (/ z t)) in t 51.140 * [taylor]: Taking taylor expansion of (- y x) in t 51.140 * [taylor]: Taking taylor expansion of y in t 51.140 * [taylor]: Taking taylor expansion of x in t 51.140 * [taylor]: Taking taylor expansion of (/ z t) in t 51.140 * [taylor]: Taking taylor expansion of z in t 51.140 * [taylor]: Taking taylor expansion of t in t 51.140 * [taylor]: Taking taylor expansion of x in t 51.140 * [taylor]: Taking taylor expansion of (fma (- y x) (/ z t) x) in z 51.140 * [taylor]: Rewrote expression to (+ (* (- y x) (/ z t)) x) 51.140 * [taylor]: Taking taylor expansion of (* (- y x) (/ z t)) in z 51.140 * [taylor]: Taking taylor expansion of (- y x) in z 51.140 * [taylor]: Taking taylor expansion of y in z 51.140 * [taylor]: Taking taylor expansion of x in z 51.140 * [taylor]: Taking taylor expansion of (/ z t) in z 51.140 * [taylor]: Taking taylor expansion of z in z 51.140 * [taylor]: Taking taylor expansion of t in z 51.140 * [taylor]: Taking taylor expansion of x in z 51.140 * [taylor]: Taking taylor expansion of (fma (- y x) (/ z t) x) in x 51.141 * [taylor]: Rewrote expression to (+ (* (- y x) (/ z t)) x) 51.141 * [taylor]: Taking taylor expansion of (* (- y x) (/ z t)) in x 51.141 * [taylor]: Taking taylor expansion of (- y x) in x 51.141 * [taylor]: Taking taylor expansion of y in x 51.141 * [taylor]: Taking taylor expansion of x in x 51.141 * [taylor]: Taking taylor expansion of (/ z t) in x 51.141 * [taylor]: Taking taylor expansion of z in x 51.141 * [taylor]: Taking taylor expansion of t in x 51.141 * [taylor]: Taking taylor expansion of x in x 51.141 * [taylor]: Taking taylor expansion of (fma (- y x) (/ z t) x) in y 51.141 * [taylor]: Rewrote expression to (+ (* (- y x) (/ z t)) x) 51.141 * [taylor]: Taking taylor expansion of (* (- y x) (/ z t)) in y 51.141 * [taylor]: Taking taylor expansion of (- y x) in y 51.141 * [taylor]: Taking taylor expansion of y in y 51.141 * [taylor]: Taking taylor expansion of x in y 51.141 * [taylor]: Taking taylor expansion of (/ z t) in y 51.141 * [taylor]: Taking taylor expansion of z in y 51.141 * [taylor]: Taking taylor expansion of t in y 51.141 * [taylor]: Taking taylor expansion of x in y 51.141 * [taylor]: Taking taylor expansion of (fma (- y x) (/ z t) x) in y 51.141 * [taylor]: Rewrote expression to (+ (* (- y x) (/ z t)) x) 51.141 * [taylor]: Taking taylor expansion of (* (- y x) (/ z t)) in y 51.141 * [taylor]: Taking taylor expansion of (- y x) in y 51.141 * [taylor]: Taking taylor expansion of y in y 51.141 * [taylor]: Taking taylor expansion of x in y 51.141 * [taylor]: Taking taylor expansion of (/ z t) in y 51.141 * [taylor]: Taking taylor expansion of z in y 51.141 * [taylor]: Taking taylor expansion of t in y 51.141 * [taylor]: Taking taylor expansion of x in y 51.141 * [taylor]: Taking taylor expansion of (- x (/ (* x z) t)) in x 51.141 * [taylor]: Taking taylor expansion of x in x 51.141 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x 51.141 * [taylor]: Taking taylor expansion of (* x z) in x 51.142 * [taylor]: Taking taylor expansion of x in x 51.142 * [taylor]: Taking taylor expansion of z in x 51.142 * [taylor]: Taking taylor expansion of t in x 51.142 * [taylor]: Taking taylor expansion of 0 in z 51.142 * [taylor]: Taking taylor expansion of 0 in t 51.143 * [taylor]: Taking taylor expansion of (/ z t) in x 51.143 * [taylor]: Taking taylor expansion of z in x 51.143 * [taylor]: Taking taylor expansion of t in x 51.143 * [taylor]: Taking taylor expansion of (/ z t) in z 51.143 * [taylor]: Taking taylor expansion of z in z 51.143 * [taylor]: Taking taylor expansion of t in z 51.143 * [taylor]: Taking taylor expansion of (- 1 (/ z t)) in z 51.143 * [taylor]: Taking taylor expansion of 1 in z 51.143 * [taylor]: Taking taylor expansion of (/ z t) in z 51.143 * [taylor]: Taking taylor expansion of z in z 51.144 * [taylor]: Taking taylor expansion of t in z 51.144 * [taylor]: Taking taylor expansion of 1 in t 51.144 * [taylor]: Taking taylor expansion of 0 in t 51.145 * [taylor]: Taking taylor expansion of 0 in x 51.145 * [taylor]: Taking taylor expansion of 0 in z 51.145 * [taylor]: Taking taylor expansion of 0 in t 51.145 * [taylor]: Taking taylor expansion of 0 in z 51.145 * [taylor]: Taking taylor expansion of 0 in t 51.146 * [taylor]: Taking taylor expansion of 0 in z 51.146 * [taylor]: Taking taylor expansion of 0 in t 51.146 * [taylor]: Taking taylor expansion of (/ 1 t) in t 51.147 * [taylor]: Taking taylor expansion of t in t 51.147 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 51.147 * [taylor]: Taking taylor expansion of (/ 1 t) in t 51.147 * [taylor]: Taking taylor expansion of t in t 51.147 * [taylor]: Taking taylor expansion of 0 in t 51.148 * [approximate]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in (y x z t) around 0 51.148 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in t 51.148 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ t z)) (/ 1 x)) 51.148 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ t z)) in t 51.148 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t 51.148 * [taylor]: Taking taylor expansion of (/ 1 y) in t 51.148 * [taylor]: Taking taylor expansion of y in t 51.148 * [taylor]: Taking taylor expansion of (/ 1 x) in t 51.148 * [taylor]: Taking taylor expansion of x in t 51.148 * [taylor]: Taking taylor expansion of (/ t z) in t 51.148 * [taylor]: Taking taylor expansion of t in t 51.148 * [taylor]: Taking taylor expansion of z in t 51.148 * [taylor]: Taking taylor expansion of (/ 1 x) in t 51.148 * [taylor]: Taking taylor expansion of x in t 51.148 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in z 51.148 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ t z)) (/ 1 x)) 51.148 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ t z)) in z 51.149 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 51.149 * [taylor]: Taking taylor expansion of (/ 1 y) in z 51.149 * [taylor]: Taking taylor expansion of y in z 51.149 * [taylor]: Taking taylor expansion of (/ 1 x) in z 51.149 * [taylor]: Taking taylor expansion of x in z 51.149 * [taylor]: Taking taylor expansion of (/ t z) in z 51.149 * [taylor]: Taking taylor expansion of t in z 51.149 * [taylor]: Taking taylor expansion of z in z 51.149 * [taylor]: Taking taylor expansion of (/ 1 x) in z 51.149 * [taylor]: Taking taylor expansion of x in z 51.149 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in x 51.149 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ t z)) (/ 1 x)) 51.149 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ t z)) in x 51.149 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 51.149 * [taylor]: Taking taylor expansion of (/ 1 y) in x 51.149 * [taylor]: Taking taylor expansion of y in x 51.149 * [taylor]: Taking taylor expansion of (/ 1 x) in x 51.149 * [taylor]: Taking taylor expansion of x in x 51.149 * [taylor]: Taking taylor expansion of (/ t z) in x 51.149 * [taylor]: Taking taylor expansion of t in x 51.149 * [taylor]: Taking taylor expansion of z in x 51.150 * [taylor]: Taking taylor expansion of (/ 1 x) in x 51.150 * [taylor]: Taking taylor expansion of x in x 51.150 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in y 51.150 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ t z)) (/ 1 x)) 51.150 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ t z)) in y 51.150 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 51.150 * [taylor]: Taking taylor expansion of (/ 1 y) in y 51.150 * [taylor]: Taking taylor expansion of y in y 51.150 * [taylor]: Taking taylor expansion of (/ 1 x) in y 51.150 * [taylor]: Taking taylor expansion of x in y 51.150 * [taylor]: Taking taylor expansion of (/ t z) in y 51.150 * [taylor]: Taking taylor expansion of t in y 51.150 * [taylor]: Taking taylor expansion of z in y 51.150 * [taylor]: Taking taylor expansion of (/ 1 x) in y 51.150 * [taylor]: Taking taylor expansion of x in y 51.150 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in y 51.151 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ t z)) (/ 1 x)) 51.151 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ t z)) in y 51.151 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 51.151 * [taylor]: Taking taylor expansion of (/ 1 y) in y 51.151 * [taylor]: Taking taylor expansion of y in y 51.151 * [taylor]: Taking taylor expansion of (/ 1 x) in y 51.151 * [taylor]: Taking taylor expansion of x in y 51.151 * [taylor]: Taking taylor expansion of (/ t z) in y 51.151 * [taylor]: Taking taylor expansion of t in y 51.151 * [taylor]: Taking taylor expansion of z in y 51.151 * [taylor]: Taking taylor expansion of (/ 1 x) in y 51.151 * [taylor]: Taking taylor expansion of x in y 51.152 * [taylor]: Taking taylor expansion of (/ t z) in x 51.152 * [taylor]: Taking taylor expansion of t in x 51.152 * [taylor]: Taking taylor expansion of z in x 51.153 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ t (* x z))) in x 51.153 * [taylor]: Taking taylor expansion of (/ 1 x) in x 51.153 * [taylor]: Taking taylor expansion of x in x 51.153 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 51.153 * [taylor]: Taking taylor expansion of t in x 51.153 * [taylor]: Taking taylor expansion of (* x z) in x 51.153 * [taylor]: Taking taylor expansion of x in x 51.153 * [taylor]: Taking taylor expansion of z in x 51.154 * [taylor]: Taking taylor expansion of (- 1 (/ t z)) in z 51.154 * [taylor]: Taking taylor expansion of 1 in z 51.154 * [taylor]: Taking taylor expansion of (/ t z) in z 51.154 * [taylor]: Taking taylor expansion of t in z 51.154 * [taylor]: Taking taylor expansion of z in z 51.154 * [taylor]: Taking taylor expansion of (- t) in t 51.154 * [taylor]: Taking taylor expansion of t in t 51.154 * [taylor]: Taking taylor expansion of (/ t z) in z 51.154 * [taylor]: Taking taylor expansion of t in z 51.154 * [taylor]: Taking taylor expansion of z in z 51.154 * [taylor]: Taking taylor expansion of t in t 51.156 * [taylor]: Taking taylor expansion of 0 in x 51.157 * [taylor]: Taking taylor expansion of 0 in z 51.158 * [taylor]: Taking taylor expansion of 0 in z 51.159 * [taylor]: Taking taylor expansion of 1 in t 51.159 * [taylor]: Taking taylor expansion of 0 in t 51.160 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in (y x z t) around 0 51.160 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in t 51.160 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ t z)) (/ -1 x)) 51.160 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ t z)) in t 51.160 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t 51.160 * [taylor]: Taking taylor expansion of (/ 1 x) in t 51.160 * [taylor]: Taking taylor expansion of x in t 51.160 * [taylor]: Taking taylor expansion of (/ 1 y) in t 51.160 * [taylor]: Taking taylor expansion of y in t 51.160 * [taylor]: Taking taylor expansion of (/ t z) in t 51.160 * [taylor]: Taking taylor expansion of t in t 51.160 * [taylor]: Taking taylor expansion of z in t 51.161 * [taylor]: Taking taylor expansion of (/ -1 x) in t 51.161 * [taylor]: Taking taylor expansion of -1 in t 51.161 * [taylor]: Taking taylor expansion of x in t 51.161 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in z 51.161 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ t z)) (/ -1 x)) 51.161 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ t z)) in z 51.161 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 51.161 * [taylor]: Taking taylor expansion of (/ 1 x) in z 51.161 * [taylor]: Taking taylor expansion of x in z 51.161 * [taylor]: Taking taylor expansion of (/ 1 y) in z 51.161 * [taylor]: Taking taylor expansion of y in z 51.161 * [taylor]: Taking taylor expansion of (/ t z) in z 51.161 * [taylor]: Taking taylor expansion of t in z 51.161 * [taylor]: Taking taylor expansion of z in z 51.161 * [taylor]: Taking taylor expansion of (/ -1 x) in z 51.161 * [taylor]: Taking taylor expansion of -1 in z 51.161 * [taylor]: Taking taylor expansion of x in z 51.161 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in x 51.161 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ t z)) (/ -1 x)) 51.161 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ t z)) in x 51.161 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 51.161 * [taylor]: Taking taylor expansion of (/ 1 x) in x 51.161 * [taylor]: Taking taylor expansion of x in x 51.162 * [taylor]: Taking taylor expansion of (/ 1 y) in x 51.162 * [taylor]: Taking taylor expansion of y in x 51.162 * [taylor]: Taking taylor expansion of (/ t z) in x 51.162 * [taylor]: Taking taylor expansion of t in x 51.162 * [taylor]: Taking taylor expansion of z in x 51.162 * [taylor]: Taking taylor expansion of (/ -1 x) in x 51.162 * [taylor]: Taking taylor expansion of -1 in x 51.162 * [taylor]: Taking taylor expansion of x in x 51.162 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in y 51.162 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ t z)) (/ -1 x)) 51.162 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ t z)) in y 51.162 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 51.162 * [taylor]: Taking taylor expansion of (/ 1 x) in y 51.162 * [taylor]: Taking taylor expansion of x in y 51.162 * [taylor]: Taking taylor expansion of (/ 1 y) in y 51.162 * [taylor]: Taking taylor expansion of y in y 51.163 * [taylor]: Taking taylor expansion of (/ t z) in y 51.163 * [taylor]: Taking taylor expansion of t in y 51.163 * [taylor]: Taking taylor expansion of z in y 51.163 * [taylor]: Taking taylor expansion of (/ -1 x) in y 51.163 * [taylor]: Taking taylor expansion of -1 in y 51.163 * [taylor]: Taking taylor expansion of x in y 51.163 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in y 51.163 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ t z)) (/ -1 x)) 51.163 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ t z)) in y 51.163 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 51.163 * [taylor]: Taking taylor expansion of (/ 1 x) in y 51.163 * [taylor]: Taking taylor expansion of x in y 51.163 * [taylor]: Taking taylor expansion of (/ 1 y) in y 51.163 * [taylor]: Taking taylor expansion of y in y 51.163 * [taylor]: Taking taylor expansion of (/ t z) in y 51.163 * [taylor]: Taking taylor expansion of t in y 51.163 * [taylor]: Taking taylor expansion of z in y 51.163 * [taylor]: Taking taylor expansion of (/ -1 x) in y 51.163 * [taylor]: Taking taylor expansion of -1 in y 51.163 * [taylor]: Taking taylor expansion of x in y 51.164 * [taylor]: Taking taylor expansion of (- (/ t z)) in x 51.164 * [taylor]: Taking taylor expansion of (/ t z) in x 51.164 * [taylor]: Taking taylor expansion of t in x 51.164 * [taylor]: Taking taylor expansion of z in x 51.166 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (/ 1 x)) in x 51.166 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 51.166 * [taylor]: Taking taylor expansion of t in x 51.166 * [taylor]: Taking taylor expansion of (* x z) in x 51.166 * [taylor]: Taking taylor expansion of x in x 51.166 * [taylor]: Taking taylor expansion of z in x 51.166 * [taylor]: Taking taylor expansion of (/ 1 x) in x 51.166 * [taylor]: Taking taylor expansion of x in x 51.167 * [taylor]: Taking taylor expansion of (- (/ t z) 1) in z 51.167 * [taylor]: Taking taylor expansion of (/ t z) in z 51.167 * [taylor]: Taking taylor expansion of t in z 51.167 * [taylor]: Taking taylor expansion of z in z 51.167 * [taylor]: Taking taylor expansion of 1 in z 51.167 * [taylor]: Taking taylor expansion of t in t 51.167 * [taylor]: Taking taylor expansion of (- (/ t z)) in z 51.167 * [taylor]: Taking taylor expansion of (/ t z) in z 51.167 * [taylor]: Taking taylor expansion of t in z 51.167 * [taylor]: Taking taylor expansion of z in z 51.167 * [taylor]: Taking taylor expansion of (- t) in t 51.167 * [taylor]: Taking taylor expansion of t in t 51.169 * [taylor]: Taking taylor expansion of 0 in x 51.171 * [taylor]: Taking taylor expansion of 0 in z 51.171 * [taylor]: Taking taylor expansion of 0 in z 51.172 * [taylor]: Taking taylor expansion of -1 in t 51.173 * [taylor]: Taking taylor expansion of 0 in t 51.174 * * * [progress]: simplifying candidates 51.174 * [simplify]: Simplifying using # : (expm1 (fma (- y x) (/ z t) x)) (log1p (fma (- y x) (/ z t) x)) (* (- y x) (/ z t)) (log (fma (- y x) (/ z t) x)) (exp (fma (- y x) (/ z t) x)) (* (cbrt (fma (- y x) (/ z t) x)) (cbrt (fma (- y x) (/ z t) x))) (cbrt (fma (- y x) (/ z t) x)) (* (* (fma (- y x) (/ z t) x) (fma (- y x) (/ z t) x)) (fma (- y x) (/ z t) x)) (sqrt (fma (- y x) (/ z t) x)) (sqrt (fma (- y x) (/ z t) x)) (- (+ (/ (* z y) t) x) (/ (* x z) t)) (- (+ (/ (* z y) t) x) (/ (* x z) t)) (- (+ (/ (* z y) t) x) (/ (* x z) t)) 51.175 * * [simplify]: iteration 0 : 23 enodes (cost 154 ) 51.181 * * [simplify]: iteration 1 : 41 enodes (cost 154 ) 51.186 * * [simplify]: iteration 2 : 84 enodes (cost 138 ) 51.198 * * [simplify]: iteration 3 : 214 enodes (cost 123 ) 51.255 * * [simplify]: iteration 4 : 963 enodes (cost 123 ) 51.599 * * [simplify]: iteration done : 5000 enodes (cost 123 ) 51.599 * [simplify]: Simplified to: (expm1 (fma (- y x) (/ z t) x)) (log1p (fma (- y x) (/ z t) x)) (* (/ z t) (- y x)) (log (fma (- y x) (/ z t) x)) (exp (fma (- y x) (/ z t) x)) (* (cbrt (fma (- y x) (/ z t) x)) (cbrt (fma (- y x) (/ z t) x))) (cbrt (fma (- y x) (/ z t) x)) (pow (fma (- y x) (/ z t) x) 3) (sqrt (fma (- y x) (/ z t) x)) (sqrt (fma (- y x) (/ z t) x)) (fma (- y x) (/ z t) x) (fma (- y x) (/ z t) x) (fma (- y x) (/ z t) x) 51.600 * * * [progress]: adding candidates to table 51.631 * * [progress]: iteration 2 / 4 51.631 * * * [progress]: picking best candidate 51.641 * * * * [pick]: Picked # 51.641 * * * [progress]: localizing error 51.648 * * * [progress]: generating rewritten candidates 51.648 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 51.649 * * * [progress]: generating series expansions 51.649 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 51.649 * [approximate]: Taking taylor expansion of (fma (- y x) (/ z t) x) in (y x z t) around 0 51.649 * [taylor]: Taking taylor expansion of (fma (- y x) (/ z t) x) in t 51.649 * [taylor]: Rewrote expression to (+ (* (- y x) (/ z t)) x) 51.649 * [taylor]: Taking taylor expansion of (* (- y x) (/ z t)) in t 51.649 * [taylor]: Taking taylor expansion of (- y x) in t 51.649 * [taylor]: Taking taylor expansion of y in t 51.649 * [taylor]: Taking taylor expansion of x in t 51.649 * [taylor]: Taking taylor expansion of (/ z t) in t 51.649 * [taylor]: Taking taylor expansion of z in t 51.649 * [taylor]: Taking taylor expansion of t in t 51.649 * [taylor]: Taking taylor expansion of x in t 51.649 * [taylor]: Taking taylor expansion of (fma (- y x) (/ z t) x) in z 51.649 * [taylor]: Rewrote expression to (+ (* (- y x) (/ z t)) x) 51.649 * [taylor]: Taking taylor expansion of (* (- y x) (/ z t)) in z 51.649 * [taylor]: Taking taylor expansion of (- y x) in z 51.649 * [taylor]: Taking taylor expansion of y in z 51.650 * [taylor]: Taking taylor expansion of x in z 51.650 * [taylor]: Taking taylor expansion of (/ z t) in z 51.650 * [taylor]: Taking taylor expansion of z in z 51.650 * [taylor]: Taking taylor expansion of t in z 51.650 * [taylor]: Taking taylor expansion of x in z 51.650 * [taylor]: Taking taylor expansion of (fma (- y x) (/ z t) x) in x 51.650 * [taylor]: Rewrote expression to (+ (* (- y x) (/ z t)) x) 51.650 * [taylor]: Taking taylor expansion of (* (- y x) (/ z t)) in x 51.650 * [taylor]: Taking taylor expansion of (- y x) in x 51.650 * [taylor]: Taking taylor expansion of y in x 51.650 * [taylor]: Taking taylor expansion of x in x 51.650 * [taylor]: Taking taylor expansion of (/ z t) in x 51.650 * [taylor]: Taking taylor expansion of z in x 51.650 * [taylor]: Taking taylor expansion of t in x 51.650 * [taylor]: Taking taylor expansion of x in x 51.650 * [taylor]: Taking taylor expansion of (fma (- y x) (/ z t) x) in y 51.650 * [taylor]: Rewrote expression to (+ (* (- y x) (/ z t)) x) 51.650 * [taylor]: Taking taylor expansion of (* (- y x) (/ z t)) in y 51.650 * [taylor]: Taking taylor expansion of (- y x) in y 51.650 * [taylor]: Taking taylor expansion of y in y 51.650 * [taylor]: Taking taylor expansion of x in y 51.650 * [taylor]: Taking taylor expansion of (/ z t) in y 51.650 * [taylor]: Taking taylor expansion of z in y 51.650 * [taylor]: Taking taylor expansion of t in y 51.650 * [taylor]: Taking taylor expansion of x in y 51.650 * [taylor]: Taking taylor expansion of (fma (- y x) (/ z t) x) in y 51.650 * [taylor]: Rewrote expression to (+ (* (- y x) (/ z t)) x) 51.650 * [taylor]: Taking taylor expansion of (* (- y x) (/ z t)) in y 51.650 * [taylor]: Taking taylor expansion of (- y x) in y 51.650 * [taylor]: Taking taylor expansion of y in y 51.650 * [taylor]: Taking taylor expansion of x in y 51.650 * [taylor]: Taking taylor expansion of (/ z t) in y 51.650 * [taylor]: Taking taylor expansion of z in y 51.650 * [taylor]: Taking taylor expansion of t in y 51.650 * [taylor]: Taking taylor expansion of x in y 51.651 * [taylor]: Taking taylor expansion of (- x (/ (* x z) t)) in x 51.651 * [taylor]: Taking taylor expansion of x in x 51.651 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x 51.651 * [taylor]: Taking taylor expansion of (* x z) in x 51.651 * [taylor]: Taking taylor expansion of x in x 51.651 * [taylor]: Taking taylor expansion of z in x 51.651 * [taylor]: Taking taylor expansion of t in x 51.652 * [taylor]: Taking taylor expansion of 0 in z 51.652 * [taylor]: Taking taylor expansion of 0 in t 51.652 * [taylor]: Taking taylor expansion of (/ z t) in x 51.652 * [taylor]: Taking taylor expansion of z in x 51.652 * [taylor]: Taking taylor expansion of t in x 51.652 * [taylor]: Taking taylor expansion of (/ z t) in z 51.652 * [taylor]: Taking taylor expansion of z in z 51.652 * [taylor]: Taking taylor expansion of t in z 51.653 * [taylor]: Taking taylor expansion of (- 1 (/ z t)) in z 51.653 * [taylor]: Taking taylor expansion of 1 in z 51.653 * [taylor]: Taking taylor expansion of (/ z t) in z 51.653 * [taylor]: Taking taylor expansion of z in z 51.653 * [taylor]: Taking taylor expansion of t in z 51.653 * [taylor]: Taking taylor expansion of 1 in t 51.653 * [taylor]: Taking taylor expansion of 0 in t 51.654 * [taylor]: Taking taylor expansion of 0 in x 51.654 * [taylor]: Taking taylor expansion of 0 in z 51.654 * [taylor]: Taking taylor expansion of 0 in t 51.654 * [taylor]: Taking taylor expansion of 0 in z 51.654 * [taylor]: Taking taylor expansion of 0 in t 51.655 * [taylor]: Taking taylor expansion of 0 in z 51.656 * [taylor]: Taking taylor expansion of 0 in t 51.656 * [taylor]: Taking taylor expansion of (/ 1 t) in t 51.656 * [taylor]: Taking taylor expansion of t in t 51.656 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 51.656 * [taylor]: Taking taylor expansion of (/ 1 t) in t 51.656 * [taylor]: Taking taylor expansion of t in t 51.657 * [taylor]: Taking taylor expansion of 0 in t 51.657 * [approximate]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in (y x z t) around 0 51.657 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in t 51.657 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ t z)) (/ 1 x)) 51.657 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ t z)) in t 51.657 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t 51.657 * [taylor]: Taking taylor expansion of (/ 1 y) in t 51.657 * [taylor]: Taking taylor expansion of y in t 51.657 * [taylor]: Taking taylor expansion of (/ 1 x) in t 51.657 * [taylor]: Taking taylor expansion of x in t 51.657 * [taylor]: Taking taylor expansion of (/ t z) in t 51.657 * [taylor]: Taking taylor expansion of t in t 51.657 * [taylor]: Taking taylor expansion of z in t 51.657 * [taylor]: Taking taylor expansion of (/ 1 x) in t 51.657 * [taylor]: Taking taylor expansion of x in t 51.657 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in z 51.658 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ t z)) (/ 1 x)) 51.658 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ t z)) in z 51.658 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 51.658 * [taylor]: Taking taylor expansion of (/ 1 y) in z 51.658 * [taylor]: Taking taylor expansion of y in z 51.658 * [taylor]: Taking taylor expansion of (/ 1 x) in z 51.658 * [taylor]: Taking taylor expansion of x in z 51.658 * [taylor]: Taking taylor expansion of (/ t z) in z 51.658 * [taylor]: Taking taylor expansion of t in z 51.658 * [taylor]: Taking taylor expansion of z in z 51.658 * [taylor]: Taking taylor expansion of (/ 1 x) in z 51.658 * [taylor]: Taking taylor expansion of x in z 51.658 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in x 51.658 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ t z)) (/ 1 x)) 51.658 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ t z)) in x 51.658 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 51.658 * [taylor]: Taking taylor expansion of (/ 1 y) in x 51.658 * [taylor]: Taking taylor expansion of y in x 51.658 * [taylor]: Taking taylor expansion of (/ 1 x) in x 51.658 * [taylor]: Taking taylor expansion of x in x 51.658 * [taylor]: Taking taylor expansion of (/ t z) in x 51.658 * [taylor]: Taking taylor expansion of t in x 51.658 * [taylor]: Taking taylor expansion of z in x 51.659 * [taylor]: Taking taylor expansion of (/ 1 x) in x 51.659 * [taylor]: Taking taylor expansion of x in x 51.659 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in y 51.659 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ t z)) (/ 1 x)) 51.659 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ t z)) in y 51.659 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 51.659 * [taylor]: Taking taylor expansion of (/ 1 y) in y 51.659 * [taylor]: Taking taylor expansion of y in y 51.659 * [taylor]: Taking taylor expansion of (/ 1 x) in y 51.659 * [taylor]: Taking taylor expansion of x in y 51.659 * [taylor]: Taking taylor expansion of (/ t z) in y 51.659 * [taylor]: Taking taylor expansion of t in y 51.659 * [taylor]: Taking taylor expansion of z in y 51.659 * [taylor]: Taking taylor expansion of (/ 1 x) in y 51.659 * [taylor]: Taking taylor expansion of x in y 51.659 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in y 51.660 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ t z)) (/ 1 x)) 51.660 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ t z)) in y 51.660 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 51.660 * [taylor]: Taking taylor expansion of (/ 1 y) in y 51.660 * [taylor]: Taking taylor expansion of y in y 51.660 * [taylor]: Taking taylor expansion of (/ 1 x) in y 51.660 * [taylor]: Taking taylor expansion of x in y 51.660 * [taylor]: Taking taylor expansion of (/ t z) in y 51.660 * [taylor]: Taking taylor expansion of t in y 51.660 * [taylor]: Taking taylor expansion of z in y 51.660 * [taylor]: Taking taylor expansion of (/ 1 x) in y 51.660 * [taylor]: Taking taylor expansion of x in y 51.661 * [taylor]: Taking taylor expansion of (/ t z) in x 51.661 * [taylor]: Taking taylor expansion of t in x 51.661 * [taylor]: Taking taylor expansion of z in x 51.662 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ t (* x z))) in x 51.662 * [taylor]: Taking taylor expansion of (/ 1 x) in x 51.662 * [taylor]: Taking taylor expansion of x in x 51.662 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 51.662 * [taylor]: Taking taylor expansion of t in x 51.662 * [taylor]: Taking taylor expansion of (* x z) in x 51.662 * [taylor]: Taking taylor expansion of x in x 51.662 * [taylor]: Taking taylor expansion of z in x 51.662 * [taylor]: Taking taylor expansion of (- 1 (/ t z)) in z 51.663 * [taylor]: Taking taylor expansion of 1 in z 51.663 * [taylor]: Taking taylor expansion of (/ t z) in z 51.663 * [taylor]: Taking taylor expansion of t in z 51.663 * [taylor]: Taking taylor expansion of z in z 51.663 * [taylor]: Taking taylor expansion of (- t) in t 51.663 * [taylor]: Taking taylor expansion of t in t 51.663 * [taylor]: Taking taylor expansion of (/ t z) in z 51.663 * [taylor]: Taking taylor expansion of t in z 51.663 * [taylor]: Taking taylor expansion of z in z 51.663 * [taylor]: Taking taylor expansion of t in t 51.665 * [taylor]: Taking taylor expansion of 0 in x 51.666 * [taylor]: Taking taylor expansion of 0 in z 51.667 * [taylor]: Taking taylor expansion of 0 in z 51.668 * [taylor]: Taking taylor expansion of 1 in t 51.668 * [taylor]: Taking taylor expansion of 0 in t 51.669 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in (y x z t) around 0 51.669 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in t 51.670 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ t z)) (/ -1 x)) 51.670 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ t z)) in t 51.670 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t 51.670 * [taylor]: Taking taylor expansion of (/ 1 x) in t 51.670 * [taylor]: Taking taylor expansion of x in t 51.670 * [taylor]: Taking taylor expansion of (/ 1 y) in t 51.670 * [taylor]: Taking taylor expansion of y in t 51.670 * [taylor]: Taking taylor expansion of (/ t z) in t 51.670 * [taylor]: Taking taylor expansion of t in t 51.670 * [taylor]: Taking taylor expansion of z in t 51.670 * [taylor]: Taking taylor expansion of (/ -1 x) in t 51.670 * [taylor]: Taking taylor expansion of -1 in t 51.670 * [taylor]: Taking taylor expansion of x in t 51.670 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in z 51.670 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ t z)) (/ -1 x)) 51.670 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ t z)) in z 51.670 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 51.670 * [taylor]: Taking taylor expansion of (/ 1 x) in z 51.670 * [taylor]: Taking taylor expansion of x in z 51.670 * [taylor]: Taking taylor expansion of (/ 1 y) in z 51.670 * [taylor]: Taking taylor expansion of y in z 51.670 * [taylor]: Taking taylor expansion of (/ t z) in z 51.670 * [taylor]: Taking taylor expansion of t in z 51.670 * [taylor]: Taking taylor expansion of z in z 51.670 * [taylor]: Taking taylor expansion of (/ -1 x) in z 51.670 * [taylor]: Taking taylor expansion of -1 in z 51.670 * [taylor]: Taking taylor expansion of x in z 51.670 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in x 51.670 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ t z)) (/ -1 x)) 51.670 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ t z)) in x 51.670 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 51.670 * [taylor]: Taking taylor expansion of (/ 1 x) in x 51.670 * [taylor]: Taking taylor expansion of x in x 51.671 * [taylor]: Taking taylor expansion of (/ 1 y) in x 51.671 * [taylor]: Taking taylor expansion of y in x 51.671 * [taylor]: Taking taylor expansion of (/ t z) in x 51.671 * [taylor]: Taking taylor expansion of t in x 51.671 * [taylor]: Taking taylor expansion of z in x 51.671 * [taylor]: Taking taylor expansion of (/ -1 x) in x 51.671 * [taylor]: Taking taylor expansion of -1 in x 51.671 * [taylor]: Taking taylor expansion of x in x 51.671 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in y 51.671 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ t z)) (/ -1 x)) 51.671 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ t z)) in y 51.671 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 51.671 * [taylor]: Taking taylor expansion of (/ 1 x) in y 51.671 * [taylor]: Taking taylor expansion of x in y 51.672 * [taylor]: Taking taylor expansion of (/ 1 y) in y 51.672 * [taylor]: Taking taylor expansion of y in y 51.672 * [taylor]: Taking taylor expansion of (/ t z) in y 51.672 * [taylor]: Taking taylor expansion of t in y 51.672 * [taylor]: Taking taylor expansion of z in y 51.672 * [taylor]: Taking taylor expansion of (/ -1 x) in y 51.672 * [taylor]: Taking taylor expansion of -1 in y 51.672 * [taylor]: Taking taylor expansion of x in y 51.672 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in y 51.672 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ t z)) (/ -1 x)) 51.672 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ t z)) in y 51.672 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 51.672 * [taylor]: Taking taylor expansion of (/ 1 x) in y 51.672 * [taylor]: Taking taylor expansion of x in y 51.672 * [taylor]: Taking taylor expansion of (/ 1 y) in y 51.672 * [taylor]: Taking taylor expansion of y in y 51.673 * [taylor]: Taking taylor expansion of (/ t z) in y 51.673 * [taylor]: Taking taylor expansion of t in y 51.673 * [taylor]: Taking taylor expansion of z in y 51.673 * [taylor]: Taking taylor expansion of (/ -1 x) in y 51.673 * [taylor]: Taking taylor expansion of -1 in y 51.673 * [taylor]: Taking taylor expansion of x in y 51.673 * [taylor]: Taking taylor expansion of (- (/ t z)) in x 51.673 * [taylor]: Taking taylor expansion of (/ t z) in x 51.673 * [taylor]: Taking taylor expansion of t in x 51.673 * [taylor]: Taking taylor expansion of z in x 51.675 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (/ 1 x)) in x 51.675 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 51.675 * [taylor]: Taking taylor expansion of t in x 51.675 * [taylor]: Taking taylor expansion of (* x z) in x 51.675 * [taylor]: Taking taylor expansion of x in x 51.675 * [taylor]: Taking taylor expansion of z in x 51.675 * [taylor]: Taking taylor expansion of (/ 1 x) in x 51.675 * [taylor]: Taking taylor expansion of x in x 51.676 * [taylor]: Taking taylor expansion of (- (/ t z) 1) in z 51.676 * [taylor]: Taking taylor expansion of (/ t z) in z 51.676 * [taylor]: Taking taylor expansion of t in z 51.676 * [taylor]: Taking taylor expansion of z in z 51.676 * [taylor]: Taking taylor expansion of 1 in z 51.676 * [taylor]: Taking taylor expansion of t in t 51.676 * [taylor]: Taking taylor expansion of (- (/ t z)) in z 51.676 * [taylor]: Taking taylor expansion of (/ t z) in z 51.676 * [taylor]: Taking taylor expansion of t in z 51.676 * [taylor]: Taking taylor expansion of z in z 51.676 * [taylor]: Taking taylor expansion of (- t) in t 51.676 * [taylor]: Taking taylor expansion of t in t 51.678 * [taylor]: Taking taylor expansion of 0 in x 51.679 * [taylor]: Taking taylor expansion of 0 in z 51.680 * [taylor]: Taking taylor expansion of 0 in z 51.681 * [taylor]: Taking taylor expansion of -1 in t 51.682 * [taylor]: Taking taylor expansion of 0 in t 51.683 * * * [progress]: simplifying candidates 51.683 * [simplify]: Simplifying using # : (expm1 (fma (- y x) (/ z t) x)) (log1p (fma (- y x) (/ z t) x)) (* (- y x) (/ z t)) (log (fma (- y x) (/ z t) x)) (exp (fma (- y x) (/ z t) x)) (* (cbrt (fma (- y x) (/ z t) x)) (cbrt (fma (- y x) (/ z t) x))) (cbrt (fma (- y x) (/ z t) x)) (* (* (fma (- y x) (/ z t) x) (fma (- y x) (/ z t) x)) (fma (- y x) (/ z t) x)) (sqrt (fma (- y x) (/ z t) x)) (sqrt (fma (- y x) (/ z t) x)) (- (+ (/ (* z y) t) x) (/ (* x z) t)) (- (+ (/ (* z y) t) x) (/ (* x z) t)) (- (+ (/ (* z y) t) x) (/ (* x z) t)) 51.684 * * [simplify]: iteration 0 : 23 enodes (cost 154 ) 51.687 * * [simplify]: iteration 1 : 41 enodes (cost 154 ) 51.692 * * [simplify]: iteration 2 : 84 enodes (cost 138 ) 51.707 * * [simplify]: iteration 3 : 214 enodes (cost 123 ) 51.763 * * [simplify]: iteration 4 : 963 enodes (cost 123 ) 52.107 * * [simplify]: iteration done : 5000 enodes (cost 123 ) 52.107 * [simplify]: Simplified to: (expm1 (fma (- y x) (/ z t) x)) (log1p (fma (- y x) (/ z t) x)) (* (/ z t) (- y x)) (log (fma (- y x) (/ z t) x)) (exp (fma (- y x) (/ z t) x)) (* (cbrt (fma (- y x) (/ z t) x)) (cbrt (fma (- y x) (/ z t) x))) (cbrt (fma (- y x) (/ z t) x)) (pow (fma (- y x) (/ z t) x) 3) (sqrt (fma (- y x) (/ z t) x)) (sqrt (fma (- y x) (/ z t) x)) (fma (- y x) (/ z t) x) (fma (- y x) (/ z t) x) (fma (- y x) (/ z t) x) 52.107 * * * [progress]: adding candidates to table 52.137 * * [progress]: iteration 3 / 4 52.137 * * * [progress]: picking best candidate 52.148 * * * * [pick]: Picked # 52.148 * * * [progress]: localizing error 52.156 * * * [progress]: generating rewritten candidates 52.156 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1) 52.172 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 52.186 * * * [progress]: generating series expansions 52.186 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1) 52.186 * [approximate]: Taking taylor expansion of (/ (* (- y x) z) t) in (z t y x) around 0 52.186 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in x 52.186 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 52.186 * [taylor]: Taking taylor expansion of (- y x) in x 52.186 * [taylor]: Taking taylor expansion of y in x 52.186 * [taylor]: Taking taylor expansion of x in x 52.186 * [taylor]: Taking taylor expansion of z in x 52.186 * [taylor]: Taking taylor expansion of t in x 52.187 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y 52.187 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 52.187 * [taylor]: Taking taylor expansion of (- y x) in y 52.187 * [taylor]: Taking taylor expansion of y in y 52.187 * [taylor]: Taking taylor expansion of x in y 52.187 * [taylor]: Taking taylor expansion of z in y 52.187 * [taylor]: Taking taylor expansion of t in y 52.187 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in t 52.187 * [taylor]: Taking taylor expansion of (* (- y x) z) in t 52.187 * [taylor]: Taking taylor expansion of (- y x) in t 52.187 * [taylor]: Taking taylor expansion of y in t 52.187 * [taylor]: Taking taylor expansion of x in t 52.187 * [taylor]: Taking taylor expansion of z in t 52.187 * [taylor]: Taking taylor expansion of t in t 52.187 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in z 52.188 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 52.188 * [taylor]: Taking taylor expansion of (- y x) in z 52.188 * [taylor]: Taking taylor expansion of y in z 52.188 * [taylor]: Taking taylor expansion of x in z 52.188 * [taylor]: Taking taylor expansion of z in z 52.188 * [taylor]: Taking taylor expansion of t in z 52.189 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in z 52.189 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 52.189 * [taylor]: Taking taylor expansion of (- y x) in z 52.189 * [taylor]: Taking taylor expansion of y in z 52.189 * [taylor]: Taking taylor expansion of x in z 52.189 * [taylor]: Taking taylor expansion of z in z 52.189 * [taylor]: Taking taylor expansion of t in z 52.190 * [taylor]: Taking taylor expansion of (/ (- y x) t) in t 52.190 * [taylor]: Taking taylor expansion of (- y x) in t 52.190 * [taylor]: Taking taylor expansion of y in t 52.190 * [taylor]: Taking taylor expansion of x in t 52.190 * [taylor]: Taking taylor expansion of t in t 52.190 * [taylor]: Taking taylor expansion of (- y x) in y 52.190 * [taylor]: Taking taylor expansion of y in y 52.190 * [taylor]: Taking taylor expansion of x in y 52.190 * [taylor]: Taking taylor expansion of (- x) in x 52.190 * [taylor]: Taking taylor expansion of x in x 52.191 * [taylor]: Taking taylor expansion of 0 in t 52.193 * [taylor]: Taking taylor expansion of 0 in y 52.193 * [taylor]: Taking taylor expansion of 0 in x 52.193 * [taylor]: Taking taylor expansion of 1 in x 52.194 * [taylor]: Taking taylor expansion of 0 in t 52.195 * [taylor]: Taking taylor expansion of 0 in y 52.195 * [taylor]: Taking taylor expansion of 0 in x 52.196 * [taylor]: Taking taylor expansion of 0 in y 52.196 * [taylor]: Taking taylor expansion of 0 in x 52.196 * [taylor]: Taking taylor expansion of 0 in x 52.197 * [taylor]: Taking taylor expansion of 0 in x 52.197 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in (z t y x) around 0 52.197 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in x 52.197 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in x 52.197 * [taylor]: Taking taylor expansion of t in x 52.197 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 52.197 * [taylor]: Taking taylor expansion of (/ 1 y) in x 52.197 * [taylor]: Taking taylor expansion of y in x 52.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x 52.197 * [taylor]: Taking taylor expansion of x in x 52.197 * [taylor]: Taking taylor expansion of z in x 52.198 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y 52.198 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y 52.198 * [taylor]: Taking taylor expansion of t in y 52.198 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 52.198 * [taylor]: Taking taylor expansion of (/ 1 y) in y 52.198 * [taylor]: Taking taylor expansion of y in y 52.198 * [taylor]: Taking taylor expansion of (/ 1 x) in y 52.198 * [taylor]: Taking taylor expansion of x in y 52.198 * [taylor]: Taking taylor expansion of z in y 52.199 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in t 52.199 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in t 52.199 * [taylor]: Taking taylor expansion of t in t 52.199 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t 52.199 * [taylor]: Taking taylor expansion of (/ 1 y) in t 52.199 * [taylor]: Taking taylor expansion of y in t 52.199 * [taylor]: Taking taylor expansion of (/ 1 x) in t 52.199 * [taylor]: Taking taylor expansion of x in t 52.199 * [taylor]: Taking taylor expansion of z in t 52.200 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in z 52.200 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in z 52.200 * [taylor]: Taking taylor expansion of t in z 52.200 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 52.200 * [taylor]: Taking taylor expansion of (/ 1 y) in z 52.200 * [taylor]: Taking taylor expansion of y in z 52.200 * [taylor]: Taking taylor expansion of (/ 1 x) in z 52.200 * [taylor]: Taking taylor expansion of x in z 52.200 * [taylor]: Taking taylor expansion of z in z 52.200 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in z 52.201 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in z 52.201 * [taylor]: Taking taylor expansion of t in z 52.201 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 52.201 * [taylor]: Taking taylor expansion of (/ 1 y) in z 52.201 * [taylor]: Taking taylor expansion of y in z 52.201 * [taylor]: Taking taylor expansion of (/ 1 x) in z 52.201 * [taylor]: Taking taylor expansion of x in z 52.201 * [taylor]: Taking taylor expansion of z in z 52.201 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in t 52.201 * [taylor]: Taking taylor expansion of t in t 52.201 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t 52.201 * [taylor]: Taking taylor expansion of (/ 1 y) in t 52.201 * [taylor]: Taking taylor expansion of y in t 52.201 * [taylor]: Taking taylor expansion of (/ 1 x) in t 52.201 * [taylor]: Taking taylor expansion of x in t 52.202 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 52.202 * [taylor]: Taking taylor expansion of (/ 1 y) in y 52.202 * [taylor]: Taking taylor expansion of y in y 52.203 * [taylor]: Taking taylor expansion of (/ 1 x) in y 52.203 * [taylor]: Taking taylor expansion of x in y 52.203 * [taylor]: Taking taylor expansion of 1 in x 52.204 * [taylor]: Taking taylor expansion of 0 in t 52.204 * [taylor]: Taking taylor expansion of 0 in y 52.206 * [taylor]: Taking taylor expansion of 0 in y 52.206 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 52.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x 52.206 * [taylor]: Taking taylor expansion of x in x 52.209 * [taylor]: Taking taylor expansion of 0 in t 52.209 * [taylor]: Taking taylor expansion of 0 in y 52.209 * [taylor]: Taking taylor expansion of 0 in y 52.210 * [taylor]: Taking taylor expansion of 0 in y 52.210 * [taylor]: Taking taylor expansion of 0 in x 52.210 * [taylor]: Taking taylor expansion of 0 in x 52.211 * [taylor]: Taking taylor expansion of 0 in x 52.214 * [taylor]: Taking taylor expansion of 0 in t 52.214 * [taylor]: Taking taylor expansion of 0 in y 52.215 * [taylor]: Taking taylor expansion of 0 in y 52.215 * [taylor]: Taking taylor expansion of 0 in y 52.220 * [taylor]: Taking taylor expansion of 0 in y 52.220 * [taylor]: Taking taylor expansion of 0 in x 52.220 * [taylor]: Taking taylor expansion of 0 in x 52.220 * [taylor]: Taking taylor expansion of 0 in x 52.220 * [taylor]: Taking taylor expansion of 0 in x 52.220 * [taylor]: Taking taylor expansion of 0 in x 52.221 * [taylor]: Taking taylor expansion of 0 in x 52.222 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in (z t y x) around 0 52.222 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in x 52.222 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in x 52.222 * [taylor]: Taking taylor expansion of t in x 52.222 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 52.222 * [taylor]: Taking taylor expansion of (/ 1 x) in x 52.222 * [taylor]: Taking taylor expansion of x in x 52.223 * [taylor]: Taking taylor expansion of (/ 1 y) in x 52.223 * [taylor]: Taking taylor expansion of y in x 52.223 * [taylor]: Taking taylor expansion of z in x 52.223 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in y 52.223 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in y 52.223 * [taylor]: Taking taylor expansion of t in y 52.223 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 52.223 * [taylor]: Taking taylor expansion of (/ 1 x) in y 52.223 * [taylor]: Taking taylor expansion of x in y 52.223 * [taylor]: Taking taylor expansion of (/ 1 y) in y 52.223 * [taylor]: Taking taylor expansion of y in y 52.224 * [taylor]: Taking taylor expansion of z in y 52.224 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in t 52.224 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in t 52.224 * [taylor]: Taking taylor expansion of t in t 52.224 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t 52.224 * [taylor]: Taking taylor expansion of (/ 1 x) in t 52.224 * [taylor]: Taking taylor expansion of x in t 52.224 * [taylor]: Taking taylor expansion of (/ 1 y) in t 52.224 * [taylor]: Taking taylor expansion of y in t 52.224 * [taylor]: Taking taylor expansion of z in t 52.225 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in z 52.226 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in z 52.226 * [taylor]: Taking taylor expansion of t in z 52.226 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 52.226 * [taylor]: Taking taylor expansion of (/ 1 x) in z 52.226 * [taylor]: Taking taylor expansion of x in z 52.226 * [taylor]: Taking taylor expansion of (/ 1 y) in z 52.226 * [taylor]: Taking taylor expansion of y in z 52.226 * [taylor]: Taking taylor expansion of z in z 52.226 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in z 52.226 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in z 52.226 * [taylor]: Taking taylor expansion of t in z 52.226 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 52.226 * [taylor]: Taking taylor expansion of (/ 1 x) in z 52.226 * [taylor]: Taking taylor expansion of x in z 52.226 * [taylor]: Taking taylor expansion of (/ 1 y) in z 52.226 * [taylor]: Taking taylor expansion of y in z 52.226 * [taylor]: Taking taylor expansion of z in z 52.226 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in t 52.226 * [taylor]: Taking taylor expansion of t in t 52.226 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t 52.226 * [taylor]: Taking taylor expansion of (/ 1 x) in t 52.226 * [taylor]: Taking taylor expansion of x in t 52.226 * [taylor]: Taking taylor expansion of (/ 1 y) in t 52.226 * [taylor]: Taking taylor expansion of y in t 52.228 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 52.228 * [taylor]: Taking taylor expansion of (/ 1 x) in y 52.228 * [taylor]: Taking taylor expansion of x in y 52.228 * [taylor]: Taking taylor expansion of (/ 1 y) in y 52.228 * [taylor]: Taking taylor expansion of y in y 52.228 * [taylor]: Taking taylor expansion of -1 in x 52.230 * [taylor]: Taking taylor expansion of 0 in t 52.230 * [taylor]: Taking taylor expansion of 0 in y 52.231 * [taylor]: Taking taylor expansion of 0 in y 52.232 * [taylor]: Taking taylor expansion of (/ 1 x) in x 52.232 * [taylor]: Taking taylor expansion of x in x 52.234 * [taylor]: Taking taylor expansion of 0 in t 52.234 * [taylor]: Taking taylor expansion of 0 in y 52.234 * [taylor]: Taking taylor expansion of 0 in y 52.236 * [taylor]: Taking taylor expansion of 0 in y 52.236 * [taylor]: Taking taylor expansion of 0 in x 52.236 * [taylor]: Taking taylor expansion of 0 in x 52.237 * [taylor]: Taking taylor expansion of 0 in x 52.240 * [taylor]: Taking taylor expansion of 0 in t 52.240 * [taylor]: Taking taylor expansion of 0 in y 52.240 * [taylor]: Taking taylor expansion of 0 in y 52.240 * [taylor]: Taking taylor expansion of 0 in y 52.242 * [taylor]: Taking taylor expansion of 0 in y 52.242 * [taylor]: Taking taylor expansion of 0 in x 52.242 * [taylor]: Taking taylor expansion of 0 in x 52.242 * [taylor]: Taking taylor expansion of 0 in x 52.242 * [taylor]: Taking taylor expansion of 0 in x 52.242 * [taylor]: Taking taylor expansion of 0 in x 52.243 * [taylor]: Taking taylor expansion of 0 in x 52.244 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 52.244 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in (z t y x) around 0 52.244 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in x 52.244 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x 52.244 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x 52.244 * [taylor]: Taking taylor expansion of (* z y) in x 52.244 * [taylor]: Taking taylor expansion of z in x 52.244 * [taylor]: Taking taylor expansion of y in x 52.244 * [taylor]: Taking taylor expansion of t in x 52.245 * [taylor]: Taking taylor expansion of x in x 52.245 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x 52.245 * [taylor]: Taking taylor expansion of (* x z) in x 52.245 * [taylor]: Taking taylor expansion of x in x 52.245 * [taylor]: Taking taylor expansion of z in x 52.245 * [taylor]: Taking taylor expansion of t in x 52.245 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in y 52.245 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in y 52.245 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y 52.245 * [taylor]: Taking taylor expansion of (* z y) in y 52.245 * [taylor]: Taking taylor expansion of z in y 52.245 * [taylor]: Taking taylor expansion of y in y 52.245 * [taylor]: Taking taylor expansion of t in y 52.245 * [taylor]: Taking taylor expansion of x in y 52.245 * [taylor]: Taking taylor expansion of (/ (* x z) t) in y 52.245 * [taylor]: Taking taylor expansion of (* x z) in y 52.245 * [taylor]: Taking taylor expansion of x in y 52.246 * [taylor]: Taking taylor expansion of z in y 52.246 * [taylor]: Taking taylor expansion of t in y 52.246 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in t 52.246 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in t 52.246 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t 52.246 * [taylor]: Taking taylor expansion of (* z y) in t 52.246 * [taylor]: Taking taylor expansion of z in t 52.246 * [taylor]: Taking taylor expansion of y in t 52.246 * [taylor]: Taking taylor expansion of t in t 52.246 * [taylor]: Taking taylor expansion of x in t 52.246 * [taylor]: Taking taylor expansion of (/ (* x z) t) in t 52.246 * [taylor]: Taking taylor expansion of (* x z) in t 52.246 * [taylor]: Taking taylor expansion of x in t 52.246 * [taylor]: Taking taylor expansion of z in t 52.246 * [taylor]: Taking taylor expansion of t in t 52.246 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in z 52.246 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in z 52.246 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z 52.246 * [taylor]: Taking taylor expansion of (* z y) in z 52.246 * [taylor]: Taking taylor expansion of z in z 52.246 * [taylor]: Taking taylor expansion of y in z 52.246 * [taylor]: Taking taylor expansion of t in z 52.246 * [taylor]: Taking taylor expansion of x in z 52.246 * [taylor]: Taking taylor expansion of (/ (* x z) t) in z 52.246 * [taylor]: Taking taylor expansion of (* x z) in z 52.246 * [taylor]: Taking taylor expansion of x in z 52.246 * [taylor]: Taking taylor expansion of z in z 52.246 * [taylor]: Taking taylor expansion of t in z 52.247 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in z 52.247 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in z 52.247 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z 52.247 * [taylor]: Taking taylor expansion of (* z y) in z 52.247 * [taylor]: Taking taylor expansion of z in z 52.247 * [taylor]: Taking taylor expansion of y in z 52.247 * [taylor]: Taking taylor expansion of t in z 52.247 * [taylor]: Taking taylor expansion of x in z 52.247 * [taylor]: Taking taylor expansion of (/ (* x z) t) in z 52.247 * [taylor]: Taking taylor expansion of (* x z) in z 52.247 * [taylor]: Taking taylor expansion of x in z 52.247 * [taylor]: Taking taylor expansion of z in z 52.247 * [taylor]: Taking taylor expansion of t in z 52.248 * [taylor]: Taking taylor expansion of x in t 52.248 * [taylor]: Taking taylor expansion of (- (/ y t) (/ x t)) in t 52.248 * [taylor]: Taking taylor expansion of (/ y t) in t 52.248 * [taylor]: Taking taylor expansion of y in t 52.248 * [taylor]: Taking taylor expansion of t in t 52.248 * [taylor]: Taking taylor expansion of (/ x t) in t 52.248 * [taylor]: Taking taylor expansion of x in t 52.248 * [taylor]: Taking taylor expansion of t in t 52.248 * [taylor]: Taking taylor expansion of (- y x) in y 52.248 * [taylor]: Taking taylor expansion of y in y 52.248 * [taylor]: Taking taylor expansion of x in y 52.248 * [taylor]: Taking taylor expansion of (- x) in x 52.248 * [taylor]: Taking taylor expansion of x in x 52.249 * [taylor]: Taking taylor expansion of x in y 52.249 * [taylor]: Taking taylor expansion of x in x 52.250 * [taylor]: Taking taylor expansion of 0 in t 52.252 * [taylor]: Taking taylor expansion of 0 in y 52.252 * [taylor]: Taking taylor expansion of 0 in x 52.252 * [taylor]: Taking taylor expansion of 0 in y 52.252 * [taylor]: Taking taylor expansion of 0 in x 52.252 * [taylor]: Taking taylor expansion of 1 in x 52.253 * [taylor]: Taking taylor expansion of 0 in x 52.254 * [approximate]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in (z t y x) around 0 52.254 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in x 52.254 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 52.254 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 52.254 * [taylor]: Taking taylor expansion of t in x 52.254 * [taylor]: Taking taylor expansion of (* z y) in x 52.254 * [taylor]: Taking taylor expansion of z in x 52.254 * [taylor]: Taking taylor expansion of y in x 52.254 * [taylor]: Taking taylor expansion of (/ 1 x) in x 52.254 * [taylor]: Taking taylor expansion of x in x 52.254 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 52.254 * [taylor]: Taking taylor expansion of t in x 52.254 * [taylor]: Taking taylor expansion of (* x z) in x 52.254 * [taylor]: Taking taylor expansion of x in x 52.254 * [taylor]: Taking taylor expansion of z in x 52.255 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in y 52.255 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y 52.255 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 52.255 * [taylor]: Taking taylor expansion of t in y 52.255 * [taylor]: Taking taylor expansion of (* z y) in y 52.255 * [taylor]: Taking taylor expansion of z in y 52.255 * [taylor]: Taking taylor expansion of y in y 52.255 * [taylor]: Taking taylor expansion of (/ 1 x) in y 52.255 * [taylor]: Taking taylor expansion of x in y 52.255 * [taylor]: Taking taylor expansion of (/ t (* x z)) in y 52.255 * [taylor]: Taking taylor expansion of t in y 52.255 * [taylor]: Taking taylor expansion of (* x z) in y 52.255 * [taylor]: Taking taylor expansion of x in y 52.255 * [taylor]: Taking taylor expansion of z in y 52.255 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in t 52.255 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t 52.255 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t 52.255 * [taylor]: Taking taylor expansion of t in t 52.255 * [taylor]: Taking taylor expansion of (* z y) in t 52.255 * [taylor]: Taking taylor expansion of z in t 52.255 * [taylor]: Taking taylor expansion of y in t 52.255 * [taylor]: Taking taylor expansion of (/ 1 x) in t 52.255 * [taylor]: Taking taylor expansion of x in t 52.255 * [taylor]: Taking taylor expansion of (/ t (* x z)) in t 52.255 * [taylor]: Taking taylor expansion of t in t 52.255 * [taylor]: Taking taylor expansion of (* x z) in t 52.255 * [taylor]: Taking taylor expansion of x in t 52.255 * [taylor]: Taking taylor expansion of z in t 52.256 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in z 52.256 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z 52.256 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z 52.256 * [taylor]: Taking taylor expansion of t in z 52.256 * [taylor]: Taking taylor expansion of (* z y) in z 52.256 * [taylor]: Taking taylor expansion of z in z 52.256 * [taylor]: Taking taylor expansion of y in z 52.256 * [taylor]: Taking taylor expansion of (/ 1 x) in z 52.256 * [taylor]: Taking taylor expansion of x in z 52.256 * [taylor]: Taking taylor expansion of (/ t (* x z)) in z 52.256 * [taylor]: Taking taylor expansion of t in z 52.256 * [taylor]: Taking taylor expansion of (* x z) in z 52.256 * [taylor]: Taking taylor expansion of x in z 52.256 * [taylor]: Taking taylor expansion of z in z 52.256 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in z 52.256 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z 52.256 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z 52.257 * [taylor]: Taking taylor expansion of t in z 52.257 * [taylor]: Taking taylor expansion of (* z y) in z 52.257 * [taylor]: Taking taylor expansion of z in z 52.257 * [taylor]: Taking taylor expansion of y in z 52.257 * [taylor]: Taking taylor expansion of (/ 1 x) in z 52.257 * [taylor]: Taking taylor expansion of x in z 52.257 * [taylor]: Taking taylor expansion of (/ t (* x z)) in z 52.257 * [taylor]: Taking taylor expansion of t in z 52.257 * [taylor]: Taking taylor expansion of (* x z) in z 52.257 * [taylor]: Taking taylor expansion of x in z 52.257 * [taylor]: Taking taylor expansion of z in z 52.258 * [taylor]: Taking taylor expansion of (- (/ t y) (/ t x)) in t 52.258 * [taylor]: Taking taylor expansion of (/ t y) in t 52.258 * [taylor]: Taking taylor expansion of t in t 52.258 * [taylor]: Taking taylor expansion of y in t 52.258 * [taylor]: Taking taylor expansion of (/ t x) in t 52.258 * [taylor]: Taking taylor expansion of t in t 52.258 * [taylor]: Taking taylor expansion of x in t 52.259 * [taylor]: Taking taylor expansion of (/ 1 x) in t 52.259 * [taylor]: Taking taylor expansion of x in t 52.259 * [taylor]: Taking taylor expansion of (/ 1 x) in y 52.259 * [taylor]: Taking taylor expansion of x in y 52.259 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 52.259 * [taylor]: Taking taylor expansion of (/ 1 y) in y 52.259 * [taylor]: Taking taylor expansion of y in y 52.260 * [taylor]: Taking taylor expansion of (/ 1 x) in y 52.260 * [taylor]: Taking taylor expansion of x in y 52.260 * [taylor]: Taking taylor expansion of 1 in x 52.262 * [taylor]: Taking taylor expansion of 0 in t 52.262 * [taylor]: Taking taylor expansion of 0 in y 52.262 * [taylor]: Taking taylor expansion of 0 in y 52.263 * [taylor]: Taking taylor expansion of 0 in y 52.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x 52.263 * [taylor]: Taking taylor expansion of x in x 52.264 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 52.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x 52.264 * [taylor]: Taking taylor expansion of x in x 52.265 * [approximate]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in (z t y x) around 0 52.265 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in x 52.265 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 52.265 * [taylor]: Taking taylor expansion of t in x 52.265 * [taylor]: Taking taylor expansion of (* x z) in x 52.265 * [taylor]: Taking taylor expansion of x in x 52.265 * [taylor]: Taking taylor expansion of z in x 52.266 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 52.266 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 52.266 * [taylor]: Taking taylor expansion of t in x 52.266 * [taylor]: Taking taylor expansion of (* z y) in x 52.266 * [taylor]: Taking taylor expansion of z in x 52.266 * [taylor]: Taking taylor expansion of y in x 52.266 * [taylor]: Taking taylor expansion of (/ 1 x) in x 52.266 * [taylor]: Taking taylor expansion of x in x 52.266 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in y 52.266 * [taylor]: Taking taylor expansion of (/ t (* x z)) in y 52.266 * [taylor]: Taking taylor expansion of t in y 52.266 * [taylor]: Taking taylor expansion of (* x z) in y 52.266 * [taylor]: Taking taylor expansion of x in y 52.266 * [taylor]: Taking taylor expansion of z in y 52.266 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y 52.266 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 52.266 * [taylor]: Taking taylor expansion of t in y 52.266 * [taylor]: Taking taylor expansion of (* z y) in y 52.266 * [taylor]: Taking taylor expansion of z in y 52.266 * [taylor]: Taking taylor expansion of y in y 52.267 * [taylor]: Taking taylor expansion of (/ 1 x) in y 52.267 * [taylor]: Taking taylor expansion of x in y 52.267 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in t 52.267 * [taylor]: Taking taylor expansion of (/ t (* x z)) in t 52.267 * [taylor]: Taking taylor expansion of t in t 52.267 * [taylor]: Taking taylor expansion of (* x z) in t 52.267 * [taylor]: Taking taylor expansion of x in t 52.267 * [taylor]: Taking taylor expansion of z in t 52.267 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t 52.267 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t 52.267 * [taylor]: Taking taylor expansion of t in t 52.267 * [taylor]: Taking taylor expansion of (* z y) in t 52.267 * [taylor]: Taking taylor expansion of z in t 52.267 * [taylor]: Taking taylor expansion of y in t 52.267 * [taylor]: Taking taylor expansion of (/ 1 x) in t 52.267 * [taylor]: Taking taylor expansion of x in t 52.267 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in z 52.267 * [taylor]: Taking taylor expansion of (/ t (* x z)) in z 52.267 * [taylor]: Taking taylor expansion of t in z 52.267 * [taylor]: Taking taylor expansion of (* x z) in z 52.267 * [taylor]: Taking taylor expansion of x in z 52.267 * [taylor]: Taking taylor expansion of z in z 52.268 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z 52.268 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z 52.268 * [taylor]: Taking taylor expansion of t in z 52.268 * [taylor]: Taking taylor expansion of (* z y) in z 52.268 * [taylor]: Taking taylor expansion of z in z 52.268 * [taylor]: Taking taylor expansion of y in z 52.268 * [taylor]: Taking taylor expansion of (/ 1 x) in z 52.268 * [taylor]: Taking taylor expansion of x in z 52.268 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in z 52.268 * [taylor]: Taking taylor expansion of (/ t (* x z)) in z 52.268 * [taylor]: Taking taylor expansion of t in z 52.268 * [taylor]: Taking taylor expansion of (* x z) in z 52.268 * [taylor]: Taking taylor expansion of x in z 52.268 * [taylor]: Taking taylor expansion of z in z 52.269 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z 52.269 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z 52.269 * [taylor]: Taking taylor expansion of t in z 52.269 * [taylor]: Taking taylor expansion of (* z y) in z 52.269 * [taylor]: Taking taylor expansion of z in z 52.269 * [taylor]: Taking taylor expansion of y in z 52.269 * [taylor]: Taking taylor expansion of (/ 1 x) in z 52.269 * [taylor]: Taking taylor expansion of x in z 52.269 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t y)) in t 52.269 * [taylor]: Taking taylor expansion of (/ t x) in t 52.269 * [taylor]: Taking taylor expansion of t in t 52.269 * [taylor]: Taking taylor expansion of x in t 52.269 * [taylor]: Taking taylor expansion of (/ t y) in t 52.269 * [taylor]: Taking taylor expansion of t in t 52.269 * [taylor]: Taking taylor expansion of y in t 52.271 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 52.271 * [taylor]: Taking taylor expansion of (/ 1 x) in t 52.271 * [taylor]: Taking taylor expansion of x in t 52.271 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 52.271 * [taylor]: Taking taylor expansion of (/ 1 x) in y 52.271 * [taylor]: Taking taylor expansion of x in y 52.271 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 52.271 * [taylor]: Taking taylor expansion of (/ 1 x) in y 52.271 * [taylor]: Taking taylor expansion of x in y 52.271 * [taylor]: Taking taylor expansion of (/ 1 y) in y 52.271 * [taylor]: Taking taylor expansion of y in y 52.272 * [taylor]: Taking taylor expansion of -1 in x 52.274 * [taylor]: Taking taylor expansion of 0 in t 52.274 * [taylor]: Taking taylor expansion of 0 in y 52.274 * [taylor]: Taking taylor expansion of 0 in y 52.275 * [taylor]: Taking taylor expansion of 0 in y 52.275 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 52.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x 52.275 * [taylor]: Taking taylor expansion of x in x 52.276 * [taylor]: Taking taylor expansion of (/ 1 x) in x 52.276 * [taylor]: Taking taylor expansion of x in x 52.277 * * * [progress]: simplifying candidates 52.279 * [simplify]: Simplifying using # : (expm1 (* (/ z t) (- y x))) (log1p (* (/ z t) (- y x))) (* (/ z t) (- y x)) (+ (- (log z) (log t)) (log (- y x))) (+ (log (/ z t)) (log (- y x))) (log (* (/ z t) (- y x))) (exp (* (/ z t) (- y x))) (* (/ (* (* z z) z) (* (* t t) t)) (* (* (- y x) (- y x)) (- y x))) (* (* (* (/ z t) (/ z t)) (/ z t)) (* (* (- y x) (- y x)) (- y x))) (* (cbrt (* (/ z t) (- y x))) (cbrt (* (/ z t) (- y x)))) (cbrt (* (/ z t) (- y x))) (* (* (* (/ z t) (- y x)) (* (/ z t) (- y x))) (* (/ z t) (- y x))) (sqrt (* (/ z t) (- y x))) (sqrt (* (/ z t) (- y x))) (* z (- (pow y 3) (pow x 3))) (* t (+ (* y y) (+ (* x x) (* y x)))) (* z (- (* y y) (* x x))) (* t (+ y x)) (* (sqrt (/ z t)) (sqrt (- y x))) (* (sqrt (/ z t)) (sqrt (- y x))) (* (/ (sqrt z) (sqrt t)) (sqrt (- y x))) (* (/ (sqrt z) (sqrt t)) (sqrt (- y x))) (* (/ z t) (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))) (* (/ z t) (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))) (* (/ z t) (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (sqrt x) (sqrt x))))) (* (/ z t) (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))) (* (/ z t) (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* x 1)))) (* (/ z t) (fma (- x) 1 (* x 1))) (* (/ z t) (fma (sqrt y) (sqrt y) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))) (* (/ z t) (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))) (* (/ z t) (fma (sqrt y) (sqrt y) (- (* (sqrt x) (sqrt x))))) (* (/ z t) (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))) (* (/ z t) (fma (sqrt y) (sqrt y) (- (* x 1)))) (* (/ z t) (fma (- x) 1 (* x 1))) (* (/ z t) (fma 1 y (- (* (cbrt x) (* (cbrt x) (cbrt x)))))) (* (/ z t) (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))) (* (/ z t) (fma 1 y (- (* (sqrt x) (sqrt x))))) (* (/ z t) (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))) (* (/ z t) (fma 1 y (- (* x 1)))) (* (/ z t) (fma (- x) 1 (* x 1))) (* (/ z t) y) (* (/ z t) (- x)) (* (/ z t) y) (* (/ z t) (- x)) (* (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (cbrt x) (* (cbrt x) (cbrt x))))) (/ z t)) (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) (/ z t)) (* (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (sqrt x) (sqrt x)))) (/ z t)) (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) (/ z t)) (* (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* x 1))) (/ z t)) (* (fma (- x) 1 (* x 1)) (/ z t)) (* (fma (sqrt y) (sqrt y) (- (* (cbrt x) (* (cbrt x) (cbrt x))))) (/ z t)) (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) (/ z t)) (* (fma (sqrt y) (sqrt y) (- (* (sqrt x) (sqrt x)))) (/ z t)) (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) (/ z t)) (* (fma (sqrt y) (sqrt y) (- (* x 1))) (/ z t)) (* (fma (- x) 1 (* x 1)) (/ z t)) (* (fma 1 y (- (* (cbrt x) (* (cbrt x) (cbrt x))))) (/ z t)) (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) (/ z t)) (* (fma 1 y (- (* (sqrt x) (sqrt x)))) (/ z t)) (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) (/ z t)) (* (fma 1 y (- (* x 1))) (/ z t)) (* (fma (- x) 1 (* x 1)) (/ z t)) (* y (/ z t)) (* (- x) (/ z t)) (* y (/ z t)) (* (- x) (/ z t)) (* (/ z t) (* (cbrt (- y x)) (cbrt (- y x)))) (* (/ z t) (sqrt (- y x))) (* (/ z t) 1) (* (/ z t) (+ (sqrt y) (sqrt x))) (* (/ z t) 1) (* (cbrt (/ z t)) (- y x)) (* (sqrt (/ z t)) (- y x)) (* (/ (cbrt z) (cbrt t)) (- y x)) (* (/ (cbrt z) (sqrt t)) (- y x)) (* (/ (cbrt z) t) (- y x)) (* (/ (sqrt z) (cbrt t)) (- y x)) (* (/ (sqrt z) (sqrt t)) (- y x)) (* (/ (sqrt z) t) (- y x)) (* (/ z (cbrt t)) (- y x)) (* (/ z (sqrt t)) (- y x)) (* (/ z t) (- y x)) (* (/ z t) (- y x)) (* (/ 1 t) (- y x)) (* (/ z t) (- (pow y 3) (pow x 3))) (* (/ z t) (- (* y y) (* x x))) (* z (- y x)) (expm1 (+ (* (/ z t) (- y x)) x)) (log1p (+ (* (/ z t) (- y x)) x)) (* (exp (* (/ z t) (- y x))) (exp x)) (log (+ (* (/ z t) (- y x)) x)) (exp (+ (* (/ z t) (- y x)) x)) (* (cbrt (+ (* (/ z t) (- y x)) x)) (cbrt (+ (* (/ z t) (- y x)) x))) (cbrt (+ (* (/ z t) (- y x)) x)) (* (* (+ (* (/ z t) (- y x)) x) (+ (* (/ z t) (- y x)) x)) (+ (* (/ z t) (- y x)) x)) (sqrt (+ (* (/ z t) (- y x)) x)) (sqrt (+ (* (/ z t) (- y x)) x)) (+ (pow (* (/ z t) (- y x)) 3) (pow x 3)) (+ (* (* (/ z t) (- y x)) (* (/ z t) (- y x))) (- (* x x) (* (* (/ z t) (- y x)) x))) (- (* (* (/ z t) (- y x)) (* (/ z t) (- y x))) (* x x)) (- (* (/ z t) (- y x)) x) (+ (* (/ z t) (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))) x) (+ (* (/ z t) (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))) x) (+ (* (/ z t) (fma (- x) 1 (* x 1))) x) (+ (* (/ z t) (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))) x) (+ (* (/ z t) (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))) x) (+ (* (/ z t) (fma (- x) 1 (* x 1))) x) (+ (* (/ z t) (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))) x) (+ (* (/ z t) (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))) x) (+ (* (/ z t) (fma (- x) 1 (* x 1))) x) (+ (* (/ z t) (- x)) x) (+ (* (/ z t) (- x)) x) (+ (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) (/ z t)) x) (+ (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) (/ z t)) x) (+ (* (fma (- x) 1 (* x 1)) (/ z t)) x) (+ (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) (/ z t)) x) (+ (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) (/ z t)) x) (+ (* (fma (- x) 1 (* x 1)) (/ z t)) x) (+ (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) (/ z t)) x) (+ (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) (/ z t)) x) (+ (* (fma (- x) 1 (* x 1)) (/ z t)) x) (+ (* (- x) (/ z t)) x) (+ (* (- x) (/ z t)) x) (- (/ (* z y) t) (/ (* x z) t)) (- (/ (* z y) t) (/ (* x z) t)) (- (/ (* z y) t) (/ (* x z) t)) (- (+ (/ (* z y) t) x) (/ (* x z) t)) (- (+ (/ (* z y) t) x) (/ (* x z) t)) (- (+ (/ (* z y) t) x) (/ (* x z) t)) 52.284 * * [simplify]: iteration 0 : 178 enodes (cost 1645 )