3.145 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.022 * [progress]: [Phase 2 of 3] Improving. 0.022 * [simplify]: Simplifying using # : (+ x (* (- y x) (/ z t))) 0.023 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.024 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.026 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 0.029 * * [simplify]: iteration 3 : 57 enodes (cost 8 ) 0.037 * * [simplify]: iteration 4 : 100 enodes (cost 8 ) 0.054 * * [simplify]: iteration 5 : 147 enodes (cost 8 ) 0.075 * * [simplify]: iteration 6 : 186 enodes (cost 8 ) 0.106 * * [simplify]: iteration 7 : 271 enodes (cost 8 ) 0.156 * * [simplify]: iteration 8 : 389 enodes (cost 8 ) 0.229 * * [simplify]: iteration 9 : 475 enodes (cost 8 ) 0.352 * * [simplify]: iteration 10 : 705 enodes (cost 8 ) 0.588 * * [simplify]: iteration 11 : 801 enodes (cost 8 ) 0.871 * * [simplify]: iteration 12 : 878 enodes (cost 8 ) 1.180 * * [simplify]: iteration 13 : 925 enodes (cost 8 ) 1.734 * * [simplify]: iteration 14 : 1072 enodes (cost 8 ) 2.177 * * [simplify]: iteration 15 : 1359 enodes (cost 8 ) 2.913 * * [simplify]: iteration 16 : 1896 enodes (cost 8 ) 4.476 * * [simplify]: iteration 17 : 2442 enodes (cost 8 ) 7.494 * * [simplify]: iteration 18 : 3289 enodes (cost 8 ) 13.849 * * [simplify]: iteration 19 : 4352 enodes (cost 8 ) 27.048 * * [simplify]: iteration 20 : 4475 enodes (cost 8 ) 40.647 * * [simplify]: iteration 21 : 4481 enodes (cost 8 ) 54.193 * * [simplify]: iteration done : 4481 enodes (cost 8 ) 54.193 * [simplify]: Simplified to: (fma (- y x) (/ z t) x) 54.196 * * [progress]: iteration 1 / 4 54.196 * * * [progress]: picking best candidate 54.202 * * * * [pick]: Picked # 54.203 * * * [progress]: localizing error 54.209 * * * [progress]: generating rewritten candidates 54.209 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 54.209 * * * [progress]: generating series expansions 54.209 * * * * [progress]: [ 1 / 1 ] generating series at (2) 54.210 * [approximate]: Taking taylor expansion of (fma (- y x) (/ z t) x) in (y x z t) around 0 54.210 * [taylor]: Taking taylor expansion of (fma (- y x) (/ z t) x) in t 54.210 * [taylor]: Rewrote expression to (+ (* (- y x) (/ z t)) x) 54.210 * [taylor]: Taking taylor expansion of (* (- y x) (/ z t)) in t 54.210 * [taylor]: Taking taylor expansion of (- y x) in t 54.210 * [taylor]: Taking taylor expansion of y in t 54.210 * [taylor]: Taking taylor expansion of x in t 54.210 * [taylor]: Taking taylor expansion of (/ z t) in t 54.210 * [taylor]: Taking taylor expansion of z in t 54.210 * [taylor]: Taking taylor expansion of t in t 54.210 * [taylor]: Taking taylor expansion of x in t 54.210 * [taylor]: Taking taylor expansion of (fma (- y x) (/ z t) x) in z 54.210 * [taylor]: Rewrote expression to (+ (* (- y x) (/ z t)) x) 54.210 * [taylor]: Taking taylor expansion of (* (- y x) (/ z t)) in z 54.210 * [taylor]: Taking taylor expansion of (- y x) in z 54.210 * [taylor]: Taking taylor expansion of y in z 54.210 * [taylor]: Taking taylor expansion of x in z 54.210 * [taylor]: Taking taylor expansion of (/ z t) in z 54.210 * [taylor]: Taking taylor expansion of z in z 54.210 * [taylor]: Taking taylor expansion of t in z 54.210 * [taylor]: Taking taylor expansion of x in z 54.210 * [taylor]: Taking taylor expansion of (fma (- y x) (/ z t) x) in x 54.210 * [taylor]: Rewrote expression to (+ (* (- y x) (/ z t)) x) 54.210 * [taylor]: Taking taylor expansion of (* (- y x) (/ z t)) in x 54.210 * [taylor]: Taking taylor expansion of (- y x) in x 54.210 * [taylor]: Taking taylor expansion of y in x 54.210 * [taylor]: Taking taylor expansion of x in x 54.210 * [taylor]: Taking taylor expansion of (/ z t) in x 54.210 * [taylor]: Taking taylor expansion of z in x 54.210 * [taylor]: Taking taylor expansion of t in x 54.210 * [taylor]: Taking taylor expansion of x in x 54.211 * [taylor]: Taking taylor expansion of (fma (- y x) (/ z t) x) in y 54.211 * [taylor]: Rewrote expression to (+ (* (- y x) (/ z t)) x) 54.211 * [taylor]: Taking taylor expansion of (* (- y x) (/ z t)) in y 54.211 * [taylor]: Taking taylor expansion of (- y x) in y 54.211 * [taylor]: Taking taylor expansion of y in y 54.211 * [taylor]: Taking taylor expansion of x in y 54.211 * [taylor]: Taking taylor expansion of (/ z t) in y 54.211 * [taylor]: Taking taylor expansion of z in y 54.211 * [taylor]: Taking taylor expansion of t in y 54.211 * [taylor]: Taking taylor expansion of x in y 54.211 * [taylor]: Taking taylor expansion of (fma (- y x) (/ z t) x) in y 54.211 * [taylor]: Rewrote expression to (+ (* (- y x) (/ z t)) x) 54.211 * [taylor]: Taking taylor expansion of (* (- y x) (/ z t)) in y 54.211 * [taylor]: Taking taylor expansion of (- y x) in y 54.211 * [taylor]: Taking taylor expansion of y in y 54.211 * [taylor]: Taking taylor expansion of x in y 54.211 * [taylor]: Taking taylor expansion of (/ z t) in y 54.211 * [taylor]: Taking taylor expansion of z in y 54.211 * [taylor]: Taking taylor expansion of t in y 54.211 * [taylor]: Taking taylor expansion of x in y 54.211 * [taylor]: Taking taylor expansion of (- x (/ (* x z) t)) in x 54.211 * [taylor]: Taking taylor expansion of x in x 54.211 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x 54.211 * [taylor]: Taking taylor expansion of (* x z) in x 54.211 * [taylor]: Taking taylor expansion of x in x 54.211 * [taylor]: Taking taylor expansion of z in x 54.211 * [taylor]: Taking taylor expansion of t in x 54.212 * [taylor]: Taking taylor expansion of 0 in z 54.212 * [taylor]: Taking taylor expansion of 0 in t 54.213 * [taylor]: Taking taylor expansion of (/ z t) in x 54.213 * [taylor]: Taking taylor expansion of z in x 54.213 * [taylor]: Taking taylor expansion of t in x 54.213 * [taylor]: Taking taylor expansion of (/ z t) in z 54.213 * [taylor]: Taking taylor expansion of z in z 54.213 * [taylor]: Taking taylor expansion of t in z 54.213 * [taylor]: Taking taylor expansion of (- 1 (/ z t)) in z 54.213 * [taylor]: Taking taylor expansion of 1 in z 54.213 * [taylor]: Taking taylor expansion of (/ z t) in z 54.213 * [taylor]: Taking taylor expansion of z in z 54.213 * [taylor]: Taking taylor expansion of t in z 54.214 * [taylor]: Taking taylor expansion of 1 in t 54.214 * [taylor]: Taking taylor expansion of 0 in t 54.215 * [taylor]: Taking taylor expansion of 0 in x 54.215 * [taylor]: Taking taylor expansion of 0 in z 54.215 * [taylor]: Taking taylor expansion of 0 in t 54.215 * [taylor]: Taking taylor expansion of 0 in z 54.215 * [taylor]: Taking taylor expansion of 0 in t 54.217 * [taylor]: Taking taylor expansion of 0 in z 54.217 * [taylor]: Taking taylor expansion of 0 in t 54.217 * [taylor]: Taking taylor expansion of (/ 1 t) in t 54.217 * [taylor]: Taking taylor expansion of t in t 54.217 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 54.217 * [taylor]: Taking taylor expansion of (/ 1 t) in t 54.217 * [taylor]: Taking taylor expansion of t in t 54.218 * [taylor]: Taking taylor expansion of 0 in t 54.218 * [approximate]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in (y x z t) around 0 54.218 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in t 54.218 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ t z)) (/ 1 x)) 54.218 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ t z)) in t 54.218 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t 54.218 * [taylor]: Taking taylor expansion of (/ 1 y) in t 54.218 * [taylor]: Taking taylor expansion of y in t 54.218 * [taylor]: Taking taylor expansion of (/ 1 x) in t 54.218 * [taylor]: Taking taylor expansion of x in t 54.218 * [taylor]: Taking taylor expansion of (/ t z) in t 54.218 * [taylor]: Taking taylor expansion of t in t 54.218 * [taylor]: Taking taylor expansion of z in t 54.218 * [taylor]: Taking taylor expansion of (/ 1 x) in t 54.219 * [taylor]: Taking taylor expansion of x in t 54.219 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in z 54.219 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ t z)) (/ 1 x)) 54.219 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ t z)) in z 54.219 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 54.219 * [taylor]: Taking taylor expansion of (/ 1 y) in z 54.219 * [taylor]: Taking taylor expansion of y in z 54.219 * [taylor]: Taking taylor expansion of (/ 1 x) in z 54.219 * [taylor]: Taking taylor expansion of x in z 54.219 * [taylor]: Taking taylor expansion of (/ t z) in z 54.219 * [taylor]: Taking taylor expansion of t in z 54.219 * [taylor]: Taking taylor expansion of z in z 54.219 * [taylor]: Taking taylor expansion of (/ 1 x) in z 54.219 * [taylor]: Taking taylor expansion of x in z 54.219 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in x 54.219 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ t z)) (/ 1 x)) 54.219 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ t z)) in x 54.219 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 54.219 * [taylor]: Taking taylor expansion of (/ 1 y) in x 54.219 * [taylor]: Taking taylor expansion of y in x 54.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x 54.219 * [taylor]: Taking taylor expansion of x in x 54.220 * [taylor]: Taking taylor expansion of (/ t z) in x 54.220 * [taylor]: Taking taylor expansion of t in x 54.220 * [taylor]: Taking taylor expansion of z in x 54.220 * [taylor]: Taking taylor expansion of (/ 1 x) in x 54.220 * [taylor]: Taking taylor expansion of x in x 54.220 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in y 54.220 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ t z)) (/ 1 x)) 54.220 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ t z)) in y 54.220 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 54.220 * [taylor]: Taking taylor expansion of (/ 1 y) in y 54.220 * [taylor]: Taking taylor expansion of y in y 54.220 * [taylor]: Taking taylor expansion of (/ 1 x) in y 54.220 * [taylor]: Taking taylor expansion of x in y 54.220 * [taylor]: Taking taylor expansion of (/ t z) in y 54.221 * [taylor]: Taking taylor expansion of t in y 54.221 * [taylor]: Taking taylor expansion of z in y 54.221 * [taylor]: Taking taylor expansion of (/ 1 x) in y 54.221 * [taylor]: Taking taylor expansion of x in y 54.221 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in y 54.221 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ t z)) (/ 1 x)) 54.221 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ t z)) in y 54.221 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 54.221 * [taylor]: Taking taylor expansion of (/ 1 y) in y 54.221 * [taylor]: Taking taylor expansion of y in y 54.221 * [taylor]: Taking taylor expansion of (/ 1 x) in y 54.221 * [taylor]: Taking taylor expansion of x in y 54.221 * [taylor]: Taking taylor expansion of (/ t z) in y 54.221 * [taylor]: Taking taylor expansion of t in y 54.221 * [taylor]: Taking taylor expansion of z in y 54.221 * [taylor]: Taking taylor expansion of (/ 1 x) in y 54.221 * [taylor]: Taking taylor expansion of x in y 54.222 * [taylor]: Taking taylor expansion of (/ t z) in x 54.222 * [taylor]: Taking taylor expansion of t in x 54.222 * [taylor]: Taking taylor expansion of z in x 54.223 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ t (* x z))) in x 54.223 * [taylor]: Taking taylor expansion of (/ 1 x) in x 54.223 * [taylor]: Taking taylor expansion of x in x 54.223 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 54.223 * [taylor]: Taking taylor expansion of t in x 54.223 * [taylor]: Taking taylor expansion of (* x z) in x 54.223 * [taylor]: Taking taylor expansion of x in x 54.223 * [taylor]: Taking taylor expansion of z in x 54.224 * [taylor]: Taking taylor expansion of (- 1 (/ t z)) in z 54.224 * [taylor]: Taking taylor expansion of 1 in z 54.224 * [taylor]: Taking taylor expansion of (/ t z) in z 54.224 * [taylor]: Taking taylor expansion of t in z 54.224 * [taylor]: Taking taylor expansion of z in z 54.224 * [taylor]: Taking taylor expansion of (- t) in t 54.224 * [taylor]: Taking taylor expansion of t in t 54.224 * [taylor]: Taking taylor expansion of (/ t z) in z 54.224 * [taylor]: Taking taylor expansion of t in z 54.224 * [taylor]: Taking taylor expansion of z in z 54.224 * [taylor]: Taking taylor expansion of t in t 54.226 * [taylor]: Taking taylor expansion of 0 in x 54.228 * [taylor]: Taking taylor expansion of 0 in z 54.228 * [taylor]: Taking taylor expansion of 0 in z 54.229 * [taylor]: Taking taylor expansion of 1 in t 54.230 * [taylor]: Taking taylor expansion of 0 in t 54.231 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in (y x z t) around 0 54.231 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in t 54.231 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ t z)) (/ -1 x)) 54.231 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ t z)) in t 54.231 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t 54.231 * [taylor]: Taking taylor expansion of (/ 1 x) in t 54.231 * [taylor]: Taking taylor expansion of x in t 54.231 * [taylor]: Taking taylor expansion of (/ 1 y) in t 54.231 * [taylor]: Taking taylor expansion of y in t 54.231 * [taylor]: Taking taylor expansion of (/ t z) in t 54.231 * [taylor]: Taking taylor expansion of t in t 54.231 * [taylor]: Taking taylor expansion of z in t 54.231 * [taylor]: Taking taylor expansion of (/ -1 x) in t 54.231 * [taylor]: Taking taylor expansion of -1 in t 54.231 * [taylor]: Taking taylor expansion of x in t 54.231 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in z 54.231 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ t z)) (/ -1 x)) 54.231 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ t z)) in z 54.231 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 54.231 * [taylor]: Taking taylor expansion of (/ 1 x) in z 54.231 * [taylor]: Taking taylor expansion of x in z 54.231 * [taylor]: Taking taylor expansion of (/ 1 y) in z 54.231 * [taylor]: Taking taylor expansion of y in z 54.231 * [taylor]: Taking taylor expansion of (/ t z) in z 54.231 * [taylor]: Taking taylor expansion of t in z 54.231 * [taylor]: Taking taylor expansion of z in z 54.231 * [taylor]: Taking taylor expansion of (/ -1 x) in z 54.231 * [taylor]: Taking taylor expansion of -1 in z 54.231 * [taylor]: Taking taylor expansion of x in z 54.231 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in x 54.232 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ t z)) (/ -1 x)) 54.232 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ t z)) in x 54.232 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 54.232 * [taylor]: Taking taylor expansion of (/ 1 x) in x 54.232 * [taylor]: Taking taylor expansion of x in x 54.232 * [taylor]: Taking taylor expansion of (/ 1 y) in x 54.232 * [taylor]: Taking taylor expansion of y in x 54.232 * [taylor]: Taking taylor expansion of (/ t z) in x 54.232 * [taylor]: Taking taylor expansion of t in x 54.232 * [taylor]: Taking taylor expansion of z in x 54.232 * [taylor]: Taking taylor expansion of (/ -1 x) in x 54.232 * [taylor]: Taking taylor expansion of -1 in x 54.232 * [taylor]: Taking taylor expansion of x in x 54.233 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in y 54.233 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ t z)) (/ -1 x)) 54.233 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ t z)) in y 54.233 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 54.233 * [taylor]: Taking taylor expansion of (/ 1 x) in y 54.233 * [taylor]: Taking taylor expansion of x in y 54.233 * [taylor]: Taking taylor expansion of (/ 1 y) in y 54.233 * [taylor]: Taking taylor expansion of y in y 54.233 * [taylor]: Taking taylor expansion of (/ t z) in y 54.233 * [taylor]: Taking taylor expansion of t in y 54.233 * [taylor]: Taking taylor expansion of z in y 54.233 * [taylor]: Taking taylor expansion of (/ -1 x) in y 54.233 * [taylor]: Taking taylor expansion of -1 in y 54.233 * [taylor]: Taking taylor expansion of x in y 54.233 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in y 54.233 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ t z)) (/ -1 x)) 54.233 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ t z)) in y 54.233 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 54.233 * [taylor]: Taking taylor expansion of (/ 1 x) in y 54.233 * [taylor]: Taking taylor expansion of x in y 54.233 * [taylor]: Taking taylor expansion of (/ 1 y) in y 54.233 * [taylor]: Taking taylor expansion of y in y 54.234 * [taylor]: Taking taylor expansion of (/ t z) in y 54.234 * [taylor]: Taking taylor expansion of t in y 54.234 * [taylor]: Taking taylor expansion of z in y 54.234 * [taylor]: Taking taylor expansion of (/ -1 x) in y 54.234 * [taylor]: Taking taylor expansion of -1 in y 54.234 * [taylor]: Taking taylor expansion of x in y 54.235 * [taylor]: Taking taylor expansion of (- (/ t z)) in x 54.235 * [taylor]: Taking taylor expansion of (/ t z) in x 54.235 * [taylor]: Taking taylor expansion of t in x 54.235 * [taylor]: Taking taylor expansion of z in x 54.236 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (/ 1 x)) in x 54.236 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 54.236 * [taylor]: Taking taylor expansion of t in x 54.236 * [taylor]: Taking taylor expansion of (* x z) in x 54.236 * [taylor]: Taking taylor expansion of x in x 54.236 * [taylor]: Taking taylor expansion of z in x 54.237 * [taylor]: Taking taylor expansion of (/ 1 x) in x 54.237 * [taylor]: Taking taylor expansion of x in x 54.237 * [taylor]: Taking taylor expansion of (- (/ t z) 1) in z 54.237 * [taylor]: Taking taylor expansion of (/ t z) in z 54.237 * [taylor]: Taking taylor expansion of t in z 54.237 * [taylor]: Taking taylor expansion of z in z 54.237 * [taylor]: Taking taylor expansion of 1 in z 54.237 * [taylor]: Taking taylor expansion of t in t 54.238 * [taylor]: Taking taylor expansion of (- (/ t z)) in z 54.238 * [taylor]: Taking taylor expansion of (/ t z) in z 54.238 * [taylor]: Taking taylor expansion of t in z 54.238 * [taylor]: Taking taylor expansion of z in z 54.238 * [taylor]: Taking taylor expansion of (- t) in t 54.238 * [taylor]: Taking taylor expansion of t in t 54.240 * [taylor]: Taking taylor expansion of 0 in x 54.241 * [taylor]: Taking taylor expansion of 0 in z 54.242 * [taylor]: Taking taylor expansion of 0 in z 54.243 * [taylor]: Taking taylor expansion of -1 in t 54.244 * [taylor]: Taking taylor expansion of 0 in t 54.245 * * * [progress]: simplifying candidates 54.245 * [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)) 54.246 * * [simplify]: iteration 0 : 23 enodes (cost 154 ) 54.249 * * [simplify]: iteration 1 : 41 enodes (cost 154 ) 54.254 * * [simplify]: iteration 2 : 84 enodes (cost 138 ) 54.267 * * [simplify]: iteration 3 : 214 enodes (cost 123 ) 54.328 * * [simplify]: iteration 4 : 963 enodes (cost 123 ) 54.681 * * [simplify]: iteration done : 5000 enodes (cost 123 ) 54.681 * [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) 54.681 * * * [progress]: adding candidates to table 54.711 * * [progress]: iteration 2 / 4 54.711 * * * [progress]: picking best candidate 54.722 * * * * [pick]: Picked # 54.722 * * * [progress]: localizing error 54.729 * * * [progress]: generating rewritten candidates 54.729 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 54.730 * * * [progress]: generating series expansions 54.730 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 54.730 * [approximate]: Taking taylor expansion of (fma (- y x) (/ z t) x) in (y x z t) around 0 54.730 * [taylor]: Taking taylor expansion of (fma (- y x) (/ z t) x) in t 54.730 * [taylor]: Rewrote expression to (+ (* (- y x) (/ z t)) x) 54.730 * [taylor]: Taking taylor expansion of (* (- y x) (/ z t)) in t 54.730 * [taylor]: Taking taylor expansion of (- y x) in t 54.730 * [taylor]: Taking taylor expansion of y in t 54.730 * [taylor]: Taking taylor expansion of x in t 54.730 * [taylor]: Taking taylor expansion of (/ z t) in t 54.730 * [taylor]: Taking taylor expansion of z in t 54.730 * [taylor]: Taking taylor expansion of t in t 54.730 * [taylor]: Taking taylor expansion of x in t 54.730 * [taylor]: Taking taylor expansion of (fma (- y x) (/ z t) x) in z 54.731 * [taylor]: Rewrote expression to (+ (* (- y x) (/ z t)) x) 54.731 * [taylor]: Taking taylor expansion of (* (- y x) (/ z t)) in z 54.731 * [taylor]: Taking taylor expansion of (- y x) in z 54.731 * [taylor]: Taking taylor expansion of y in z 54.731 * [taylor]: Taking taylor expansion of x in z 54.731 * [taylor]: Taking taylor expansion of (/ z t) in z 54.731 * [taylor]: Taking taylor expansion of z in z 54.731 * [taylor]: Taking taylor expansion of t in z 54.731 * [taylor]: Taking taylor expansion of x in z 54.731 * [taylor]: Taking taylor expansion of (fma (- y x) (/ z t) x) in x 54.731 * [taylor]: Rewrote expression to (+ (* (- y x) (/ z t)) x) 54.731 * [taylor]: Taking taylor expansion of (* (- y x) (/ z t)) in x 54.731 * [taylor]: Taking taylor expansion of (- y x) in x 54.731 * [taylor]: Taking taylor expansion of y in x 54.731 * [taylor]: Taking taylor expansion of x in x 54.731 * [taylor]: Taking taylor expansion of (/ z t) in x 54.731 * [taylor]: Taking taylor expansion of z in x 54.731 * [taylor]: Taking taylor expansion of t in x 54.731 * [taylor]: Taking taylor expansion of x in x 54.731 * [taylor]: Taking taylor expansion of (fma (- y x) (/ z t) x) in y 54.731 * [taylor]: Rewrote expression to (+ (* (- y x) (/ z t)) x) 54.731 * [taylor]: Taking taylor expansion of (* (- y x) (/ z t)) in y 54.731 * [taylor]: Taking taylor expansion of (- y x) in y 54.731 * [taylor]: Taking taylor expansion of y in y 54.731 * [taylor]: Taking taylor expansion of x in y 54.731 * [taylor]: Taking taylor expansion of (/ z t) in y 54.731 * [taylor]: Taking taylor expansion of z in y 54.731 * [taylor]: Taking taylor expansion of t in y 54.731 * [taylor]: Taking taylor expansion of x in y 54.731 * [taylor]: Taking taylor expansion of (fma (- y x) (/ z t) x) in y 54.731 * [taylor]: Rewrote expression to (+ (* (- y x) (/ z t)) x) 54.731 * [taylor]: Taking taylor expansion of (* (- y x) (/ z t)) in y 54.731 * [taylor]: Taking taylor expansion of (- y x) in y 54.731 * [taylor]: Taking taylor expansion of y in y 54.731 * [taylor]: Taking taylor expansion of x in y 54.731 * [taylor]: Taking taylor expansion of (/ z t) in y 54.731 * [taylor]: Taking taylor expansion of z in y 54.731 * [taylor]: Taking taylor expansion of t in y 54.731 * [taylor]: Taking taylor expansion of x in y 54.732 * [taylor]: Taking taylor expansion of (- x (/ (* x z) t)) in x 54.732 * [taylor]: Taking taylor expansion of x in x 54.732 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x 54.732 * [taylor]: Taking taylor expansion of (* x z) in x 54.732 * [taylor]: Taking taylor expansion of x in x 54.732 * [taylor]: Taking taylor expansion of z in x 54.732 * [taylor]: Taking taylor expansion of t in x 54.733 * [taylor]: Taking taylor expansion of 0 in z 54.733 * [taylor]: Taking taylor expansion of 0 in t 54.733 * [taylor]: Taking taylor expansion of (/ z t) in x 54.734 * [taylor]: Taking taylor expansion of z in x 54.734 * [taylor]: Taking taylor expansion of t in x 54.734 * [taylor]: Taking taylor expansion of (/ z t) in z 54.734 * [taylor]: Taking taylor expansion of z in z 54.734 * [taylor]: Taking taylor expansion of t in z 54.734 * [taylor]: Taking taylor expansion of (- 1 (/ z t)) in z 54.734 * [taylor]: Taking taylor expansion of 1 in z 54.734 * [taylor]: Taking taylor expansion of (/ z t) in z 54.734 * [taylor]: Taking taylor expansion of z in z 54.734 * [taylor]: Taking taylor expansion of t in z 54.734 * [taylor]: Taking taylor expansion of 1 in t 54.734 * [taylor]: Taking taylor expansion of 0 in t 54.735 * [taylor]: Taking taylor expansion of 0 in x 54.736 * [taylor]: Taking taylor expansion of 0 in z 54.736 * [taylor]: Taking taylor expansion of 0 in t 54.736 * [taylor]: Taking taylor expansion of 0 in z 54.736 * [taylor]: Taking taylor expansion of 0 in t 54.740 * [taylor]: Taking taylor expansion of 0 in z 54.740 * [taylor]: Taking taylor expansion of 0 in t 54.740 * [taylor]: Taking taylor expansion of (/ 1 t) in t 54.740 * [taylor]: Taking taylor expansion of t in t 54.741 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 54.741 * [taylor]: Taking taylor expansion of (/ 1 t) in t 54.741 * [taylor]: Taking taylor expansion of t in t 54.741 * [taylor]: Taking taylor expansion of 0 in t 54.742 * [approximate]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in (y x z t) around 0 54.742 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in t 54.742 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ t z)) (/ 1 x)) 54.742 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ t z)) in t 54.742 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t 54.742 * [taylor]: Taking taylor expansion of (/ 1 y) in t 54.742 * [taylor]: Taking taylor expansion of y in t 54.742 * [taylor]: Taking taylor expansion of (/ 1 x) in t 54.742 * [taylor]: Taking taylor expansion of x in t 54.742 * [taylor]: Taking taylor expansion of (/ t z) in t 54.742 * [taylor]: Taking taylor expansion of t in t 54.742 * [taylor]: Taking taylor expansion of z in t 54.742 * [taylor]: Taking taylor expansion of (/ 1 x) in t 54.742 * [taylor]: Taking taylor expansion of x in t 54.742 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in z 54.742 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ t z)) (/ 1 x)) 54.742 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ t z)) in z 54.742 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 54.742 * [taylor]: Taking taylor expansion of (/ 1 y) in z 54.742 * [taylor]: Taking taylor expansion of y in z 54.742 * [taylor]: Taking taylor expansion of (/ 1 x) in z 54.742 * [taylor]: Taking taylor expansion of x in z 54.742 * [taylor]: Taking taylor expansion of (/ t z) in z 54.742 * [taylor]: Taking taylor expansion of t in z 54.742 * [taylor]: Taking taylor expansion of z in z 54.743 * [taylor]: Taking taylor expansion of (/ 1 x) in z 54.743 * [taylor]: Taking taylor expansion of x in z 54.743 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in x 54.743 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ t z)) (/ 1 x)) 54.743 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ t z)) in x 54.743 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 54.743 * [taylor]: Taking taylor expansion of (/ 1 y) in x 54.743 * [taylor]: Taking taylor expansion of y in x 54.743 * [taylor]: Taking taylor expansion of (/ 1 x) in x 54.743 * [taylor]: Taking taylor expansion of x in x 54.743 * [taylor]: Taking taylor expansion of (/ t z) in x 54.743 * [taylor]: Taking taylor expansion of t in x 54.743 * [taylor]: Taking taylor expansion of z in x 54.743 * [taylor]: Taking taylor expansion of (/ 1 x) in x 54.743 * [taylor]: Taking taylor expansion of x in x 54.744 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in y 54.744 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ t z)) (/ 1 x)) 54.744 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ t z)) in y 54.744 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 54.744 * [taylor]: Taking taylor expansion of (/ 1 y) in y 54.744 * [taylor]: Taking taylor expansion of y in y 54.744 * [taylor]: Taking taylor expansion of (/ 1 x) in y 54.744 * [taylor]: Taking taylor expansion of x in y 54.744 * [taylor]: Taking taylor expansion of (/ t z) in y 54.744 * [taylor]: Taking taylor expansion of t in y 54.744 * [taylor]: Taking taylor expansion of z in y 54.744 * [taylor]: Taking taylor expansion of (/ 1 x) in y 54.744 * [taylor]: Taking taylor expansion of x in y 54.744 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ t z) (/ 1 x)) in y 54.744 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ t z)) (/ 1 x)) 54.744 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ t z)) in y 54.744 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 54.744 * [taylor]: Taking taylor expansion of (/ 1 y) in y 54.744 * [taylor]: Taking taylor expansion of y in y 54.745 * [taylor]: Taking taylor expansion of (/ 1 x) in y 54.745 * [taylor]: Taking taylor expansion of x in y 54.745 * [taylor]: Taking taylor expansion of (/ t z) in y 54.745 * [taylor]: Taking taylor expansion of t in y 54.745 * [taylor]: Taking taylor expansion of z in y 54.745 * [taylor]: Taking taylor expansion of (/ 1 x) in y 54.745 * [taylor]: Taking taylor expansion of x in y 54.745 * [taylor]: Taking taylor expansion of (/ t z) in x 54.745 * [taylor]: Taking taylor expansion of t in x 54.745 * [taylor]: Taking taylor expansion of z in x 54.747 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ t (* x z))) in x 54.747 * [taylor]: Taking taylor expansion of (/ 1 x) in x 54.747 * [taylor]: Taking taylor expansion of x in x 54.747 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 54.747 * [taylor]: Taking taylor expansion of t in x 54.747 * [taylor]: Taking taylor expansion of (* x z) in x 54.747 * [taylor]: Taking taylor expansion of x in x 54.747 * [taylor]: Taking taylor expansion of z in x 54.747 * [taylor]: Taking taylor expansion of (- 1 (/ t z)) in z 54.747 * [taylor]: Taking taylor expansion of 1 in z 54.747 * [taylor]: Taking taylor expansion of (/ t z) in z 54.747 * [taylor]: Taking taylor expansion of t in z 54.747 * [taylor]: Taking taylor expansion of z in z 54.748 * [taylor]: Taking taylor expansion of (- t) in t 54.748 * [taylor]: Taking taylor expansion of t in t 54.748 * [taylor]: Taking taylor expansion of (/ t z) in z 54.748 * [taylor]: Taking taylor expansion of t in z 54.748 * [taylor]: Taking taylor expansion of z in z 54.748 * [taylor]: Taking taylor expansion of t in t 54.750 * [taylor]: Taking taylor expansion of 0 in x 54.752 * [taylor]: Taking taylor expansion of 0 in z 54.752 * [taylor]: Taking taylor expansion of 0 in z 54.753 * [taylor]: Taking taylor expansion of 1 in t 54.753 * [taylor]: Taking taylor expansion of 0 in t 54.754 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in (y x z t) around 0 54.754 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in t 54.755 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ t z)) (/ -1 x)) 54.755 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ t z)) in t 54.755 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t 54.755 * [taylor]: Taking taylor expansion of (/ 1 x) in t 54.755 * [taylor]: Taking taylor expansion of x in t 54.755 * [taylor]: Taking taylor expansion of (/ 1 y) in t 54.755 * [taylor]: Taking taylor expansion of y in t 54.755 * [taylor]: Taking taylor expansion of (/ t z) in t 54.755 * [taylor]: Taking taylor expansion of t in t 54.755 * [taylor]: Taking taylor expansion of z in t 54.755 * [taylor]: Taking taylor expansion of (/ -1 x) in t 54.755 * [taylor]: Taking taylor expansion of -1 in t 54.755 * [taylor]: Taking taylor expansion of x in t 54.755 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in z 54.755 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ t z)) (/ -1 x)) 54.755 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ t z)) in z 54.755 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 54.755 * [taylor]: Taking taylor expansion of (/ 1 x) in z 54.755 * [taylor]: Taking taylor expansion of x in z 54.755 * [taylor]: Taking taylor expansion of (/ 1 y) in z 54.755 * [taylor]: Taking taylor expansion of y in z 54.755 * [taylor]: Taking taylor expansion of (/ t z) in z 54.755 * [taylor]: Taking taylor expansion of t in z 54.755 * [taylor]: Taking taylor expansion of z in z 54.755 * [taylor]: Taking taylor expansion of (/ -1 x) in z 54.755 * [taylor]: Taking taylor expansion of -1 in z 54.755 * [taylor]: Taking taylor expansion of x in z 54.755 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in x 54.755 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ t z)) (/ -1 x)) 54.755 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ t z)) in x 54.755 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 54.755 * [taylor]: Taking taylor expansion of (/ 1 x) in x 54.755 * [taylor]: Taking taylor expansion of x in x 54.756 * [taylor]: Taking taylor expansion of (/ 1 y) in x 54.756 * [taylor]: Taking taylor expansion of y in x 54.756 * [taylor]: Taking taylor expansion of (/ t z) in x 54.756 * [taylor]: Taking taylor expansion of t in x 54.756 * [taylor]: Taking taylor expansion of z in x 54.756 * [taylor]: Taking taylor expansion of (/ -1 x) in x 54.756 * [taylor]: Taking taylor expansion of -1 in x 54.756 * [taylor]: Taking taylor expansion of x in x 54.756 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in y 54.756 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ t z)) (/ -1 x)) 54.756 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ t z)) in y 54.756 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 54.756 * [taylor]: Taking taylor expansion of (/ 1 x) in y 54.756 * [taylor]: Taking taylor expansion of x in y 54.757 * [taylor]: Taking taylor expansion of (/ 1 y) in y 54.757 * [taylor]: Taking taylor expansion of y in y 54.757 * [taylor]: Taking taylor expansion of (/ t z) in y 54.757 * [taylor]: Taking taylor expansion of t in y 54.757 * [taylor]: Taking taylor expansion of z in y 54.757 * [taylor]: Taking taylor expansion of (/ -1 x) in y 54.757 * [taylor]: Taking taylor expansion of -1 in y 54.757 * [taylor]: Taking taylor expansion of x in y 54.757 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ t z) (/ -1 x)) in y 54.757 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ t z)) (/ -1 x)) 54.757 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ t z)) in y 54.757 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 54.757 * [taylor]: Taking taylor expansion of (/ 1 x) in y 54.757 * [taylor]: Taking taylor expansion of x in y 54.757 * [taylor]: Taking taylor expansion of (/ 1 y) in y 54.757 * [taylor]: Taking taylor expansion of y in y 54.758 * [taylor]: Taking taylor expansion of (/ t z) in y 54.758 * [taylor]: Taking taylor expansion of t in y 54.758 * [taylor]: Taking taylor expansion of z in y 54.758 * [taylor]: Taking taylor expansion of (/ -1 x) in y 54.758 * [taylor]: Taking taylor expansion of -1 in y 54.758 * [taylor]: Taking taylor expansion of x in y 54.758 * [taylor]: Taking taylor expansion of (- (/ t z)) in x 54.758 * [taylor]: Taking taylor expansion of (/ t z) in x 54.758 * [taylor]: Taking taylor expansion of t in x 54.758 * [taylor]: Taking taylor expansion of z in x 54.760 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (/ 1 x)) in x 54.760 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 54.760 * [taylor]: Taking taylor expansion of t in x 54.760 * [taylor]: Taking taylor expansion of (* x z) in x 54.760 * [taylor]: Taking taylor expansion of x in x 54.760 * [taylor]: Taking taylor expansion of z in x 54.760 * [taylor]: Taking taylor expansion of (/ 1 x) in x 54.760 * [taylor]: Taking taylor expansion of x in x 54.761 * [taylor]: Taking taylor expansion of (- (/ t z) 1) in z 54.761 * [taylor]: Taking taylor expansion of (/ t z) in z 54.761 * [taylor]: Taking taylor expansion of t in z 54.761 * [taylor]: Taking taylor expansion of z in z 54.761 * [taylor]: Taking taylor expansion of 1 in z 54.761 * [taylor]: Taking taylor expansion of t in t 54.761 * [taylor]: Taking taylor expansion of (- (/ t z)) in z 54.761 * [taylor]: Taking taylor expansion of (/ t z) in z 54.761 * [taylor]: Taking taylor expansion of t in z 54.761 * [taylor]: Taking taylor expansion of z in z 54.761 * [taylor]: Taking taylor expansion of (- t) in t 54.761 * [taylor]: Taking taylor expansion of t in t 54.763 * [taylor]: Taking taylor expansion of 0 in x 54.765 * [taylor]: Taking taylor expansion of 0 in z 54.765 * [taylor]: Taking taylor expansion of 0 in z 54.766 * [taylor]: Taking taylor expansion of -1 in t 54.767 * [taylor]: Taking taylor expansion of 0 in t 54.768 * * * [progress]: simplifying candidates 54.769 * [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)) 54.770 * * [simplify]: iteration 0 : 23 enodes (cost 154 ) 54.773 * * [simplify]: iteration 1 : 41 enodes (cost 154 ) 54.777 * * [simplify]: iteration 2 : 84 enodes (cost 138 ) 54.790 * * [simplify]: iteration 3 : 214 enodes (cost 123 ) 54.849 * * [simplify]: iteration 4 : 963 enodes (cost 123 ) 55.204 * * [simplify]: iteration done : 5000 enodes (cost 123 ) 55.204 * [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) 55.204 * * * [progress]: adding candidates to table 55.238 * * [progress]: iteration 3 / 4 55.239 * * * [progress]: picking best candidate 55.248 * * * * [pick]: Picked # 55.248 * * * [progress]: localizing error 55.256 * * * [progress]: generating rewritten candidates 55.256 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1) 55.276 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 55.292 * * * [progress]: generating series expansions 55.292 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1) 55.292 * [approximate]: Taking taylor expansion of (/ (* (- y x) z) t) in (z t y x) around 0 55.292 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in x 55.292 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 55.292 * [taylor]: Taking taylor expansion of (- y x) in x 55.292 * [taylor]: Taking taylor expansion of y in x 55.292 * [taylor]: Taking taylor expansion of x in x 55.292 * [taylor]: Taking taylor expansion of z in x 55.292 * [taylor]: Taking taylor expansion of t in x 55.293 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y 55.293 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 55.293 * [taylor]: Taking taylor expansion of (- y x) in y 55.293 * [taylor]: Taking taylor expansion of y in y 55.293 * [taylor]: Taking taylor expansion of x in y 55.293 * [taylor]: Taking taylor expansion of z in y 55.293 * [taylor]: Taking taylor expansion of t in y 55.293 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in t 55.293 * [taylor]: Taking taylor expansion of (* (- y x) z) in t 55.293 * [taylor]: Taking taylor expansion of (- y x) in t 55.293 * [taylor]: Taking taylor expansion of y in t 55.293 * [taylor]: Taking taylor expansion of x in t 55.293 * [taylor]: Taking taylor expansion of z in t 55.293 * [taylor]: Taking taylor expansion of t in t 55.293 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in z 55.293 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 55.293 * [taylor]: Taking taylor expansion of (- y x) in z 55.293 * [taylor]: Taking taylor expansion of y in z 55.293 * [taylor]: Taking taylor expansion of x in z 55.293 * [taylor]: Taking taylor expansion of z in z 55.293 * [taylor]: Taking taylor expansion of t in z 55.294 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in z 55.294 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 55.294 * [taylor]: Taking taylor expansion of (- y x) in z 55.294 * [taylor]: Taking taylor expansion of y in z 55.295 * [taylor]: Taking taylor expansion of x in z 55.295 * [taylor]: Taking taylor expansion of z in z 55.295 * [taylor]: Taking taylor expansion of t in z 55.296 * [taylor]: Taking taylor expansion of (/ (- y x) t) in t 55.296 * [taylor]: Taking taylor expansion of (- y x) in t 55.296 * [taylor]: Taking taylor expansion of y in t 55.296 * [taylor]: Taking taylor expansion of x in t 55.296 * [taylor]: Taking taylor expansion of t in t 55.296 * [taylor]: Taking taylor expansion of (- y x) in y 55.296 * [taylor]: Taking taylor expansion of y in y 55.296 * [taylor]: Taking taylor expansion of x in y 55.296 * [taylor]: Taking taylor expansion of (- x) in x 55.296 * [taylor]: Taking taylor expansion of x in x 55.297 * [taylor]: Taking taylor expansion of 0 in t 55.298 * [taylor]: Taking taylor expansion of 0 in y 55.298 * [taylor]: Taking taylor expansion of 0 in x 55.299 * [taylor]: Taking taylor expansion of 1 in x 55.300 * [taylor]: Taking taylor expansion of 0 in t 55.300 * [taylor]: Taking taylor expansion of 0 in y 55.300 * [taylor]: Taking taylor expansion of 0 in x 55.302 * [taylor]: Taking taylor expansion of 0 in y 55.302 * [taylor]: Taking taylor expansion of 0 in x 55.302 * [taylor]: Taking taylor expansion of 0 in x 55.302 * [taylor]: Taking taylor expansion of 0 in x 55.303 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in (z t y x) around 0 55.303 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in x 55.303 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in x 55.303 * [taylor]: Taking taylor expansion of t in x 55.303 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 55.303 * [taylor]: Taking taylor expansion of (/ 1 y) in x 55.303 * [taylor]: Taking taylor expansion of y in x 55.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x 55.303 * [taylor]: Taking taylor expansion of x in x 55.303 * [taylor]: Taking taylor expansion of z in x 55.304 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y 55.304 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y 55.304 * [taylor]: Taking taylor expansion of t in y 55.304 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 55.304 * [taylor]: Taking taylor expansion of (/ 1 y) in y 55.304 * [taylor]: Taking taylor expansion of y in y 55.304 * [taylor]: Taking taylor expansion of (/ 1 x) in y 55.304 * [taylor]: Taking taylor expansion of x in y 55.304 * [taylor]: Taking taylor expansion of z in y 55.305 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in t 55.305 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in t 55.305 * [taylor]: Taking taylor expansion of t in t 55.305 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t 55.305 * [taylor]: Taking taylor expansion of (/ 1 y) in t 55.305 * [taylor]: Taking taylor expansion of y in t 55.305 * [taylor]: Taking taylor expansion of (/ 1 x) in t 55.305 * [taylor]: Taking taylor expansion of x in t 55.305 * [taylor]: Taking taylor expansion of z in t 55.306 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in z 55.306 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in z 55.306 * [taylor]: Taking taylor expansion of t in z 55.306 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 55.306 * [taylor]: Taking taylor expansion of (/ 1 y) in z 55.306 * [taylor]: Taking taylor expansion of y in z 55.306 * [taylor]: Taking taylor expansion of (/ 1 x) in z 55.306 * [taylor]: Taking taylor expansion of x in z 55.306 * [taylor]: Taking taylor expansion of z in z 55.307 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in z 55.307 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in z 55.307 * [taylor]: Taking taylor expansion of t in z 55.307 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 55.307 * [taylor]: Taking taylor expansion of (/ 1 y) in z 55.307 * [taylor]: Taking taylor expansion of y in z 55.307 * [taylor]: Taking taylor expansion of (/ 1 x) in z 55.307 * [taylor]: Taking taylor expansion of x in z 55.307 * [taylor]: Taking taylor expansion of z in z 55.307 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in t 55.307 * [taylor]: Taking taylor expansion of t in t 55.307 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t 55.307 * [taylor]: Taking taylor expansion of (/ 1 y) in t 55.307 * [taylor]: Taking taylor expansion of y in t 55.307 * [taylor]: Taking taylor expansion of (/ 1 x) in t 55.307 * [taylor]: Taking taylor expansion of x in t 55.308 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 55.308 * [taylor]: Taking taylor expansion of (/ 1 y) in y 55.308 * [taylor]: Taking taylor expansion of y in y 55.309 * [taylor]: Taking taylor expansion of (/ 1 x) in y 55.309 * [taylor]: Taking taylor expansion of x in y 55.309 * [taylor]: Taking taylor expansion of 1 in x 55.310 * [taylor]: Taking taylor expansion of 0 in t 55.310 * [taylor]: Taking taylor expansion of 0 in y 55.312 * [taylor]: Taking taylor expansion of 0 in y 55.312 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 55.312 * [taylor]: Taking taylor expansion of (/ 1 x) in x 55.312 * [taylor]: Taking taylor expansion of x in x 55.315 * [taylor]: Taking taylor expansion of 0 in t 55.315 * [taylor]: Taking taylor expansion of 0 in y 55.315 * [taylor]: Taking taylor expansion of 0 in y 55.316 * [taylor]: Taking taylor expansion of 0 in y 55.317 * [taylor]: Taking taylor expansion of 0 in x 55.317 * [taylor]: Taking taylor expansion of 0 in x 55.318 * [taylor]: Taking taylor expansion of 0 in x 55.321 * [taylor]: Taking taylor expansion of 0 in t 55.321 * [taylor]: Taking taylor expansion of 0 in y 55.321 * [taylor]: Taking taylor expansion of 0 in y 55.321 * [taylor]: Taking taylor expansion of 0 in y 55.323 * [taylor]: Taking taylor expansion of 0 in y 55.323 * [taylor]: Taking taylor expansion of 0 in x 55.323 * [taylor]: Taking taylor expansion of 0 in x 55.323 * [taylor]: Taking taylor expansion of 0 in x 55.323 * [taylor]: Taking taylor expansion of 0 in x 55.323 * [taylor]: Taking taylor expansion of 0 in x 55.324 * [taylor]: Taking taylor expansion of 0 in x 55.326 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in (z t y x) around 0 55.326 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in x 55.326 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in x 55.326 * [taylor]: Taking taylor expansion of t in x 55.326 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 55.326 * [taylor]: Taking taylor expansion of (/ 1 x) in x 55.326 * [taylor]: Taking taylor expansion of x in x 55.326 * [taylor]: Taking taylor expansion of (/ 1 y) in x 55.326 * [taylor]: Taking taylor expansion of y in x 55.326 * [taylor]: Taking taylor expansion of z in x 55.327 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in y 55.327 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in y 55.327 * [taylor]: Taking taylor expansion of t in y 55.327 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 55.327 * [taylor]: Taking taylor expansion of (/ 1 x) in y 55.327 * [taylor]: Taking taylor expansion of x in y 55.327 * [taylor]: Taking taylor expansion of (/ 1 y) in y 55.327 * [taylor]: Taking taylor expansion of y in y 55.327 * [taylor]: Taking taylor expansion of z in y 55.328 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in t 55.328 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in t 55.328 * [taylor]: Taking taylor expansion of t in t 55.328 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t 55.328 * [taylor]: Taking taylor expansion of (/ 1 x) in t 55.328 * [taylor]: Taking taylor expansion of x in t 55.328 * [taylor]: Taking taylor expansion of (/ 1 y) in t 55.328 * [taylor]: Taking taylor expansion of y in t 55.328 * [taylor]: Taking taylor expansion of z in t 55.329 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in z 55.329 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in z 55.329 * [taylor]: Taking taylor expansion of t in z 55.329 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 55.329 * [taylor]: Taking taylor expansion of (/ 1 x) in z 55.329 * [taylor]: Taking taylor expansion of x in z 55.329 * [taylor]: Taking taylor expansion of (/ 1 y) in z 55.329 * [taylor]: Taking taylor expansion of y in z 55.329 * [taylor]: Taking taylor expansion of z in z 55.330 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in z 55.330 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in z 55.330 * [taylor]: Taking taylor expansion of t in z 55.330 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 55.330 * [taylor]: Taking taylor expansion of (/ 1 x) in z 55.330 * [taylor]: Taking taylor expansion of x in z 55.330 * [taylor]: Taking taylor expansion of (/ 1 y) in z 55.330 * [taylor]: Taking taylor expansion of y in z 55.330 * [taylor]: Taking taylor expansion of z in z 55.330 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in t 55.330 * [taylor]: Taking taylor expansion of t in t 55.330 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t 55.330 * [taylor]: Taking taylor expansion of (/ 1 x) in t 55.330 * [taylor]: Taking taylor expansion of x in t 55.330 * [taylor]: Taking taylor expansion of (/ 1 y) in t 55.330 * [taylor]: Taking taylor expansion of y in t 55.331 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 55.332 * [taylor]: Taking taylor expansion of (/ 1 x) in y 55.332 * [taylor]: Taking taylor expansion of x in y 55.332 * [taylor]: Taking taylor expansion of (/ 1 y) in y 55.332 * [taylor]: Taking taylor expansion of y in y 55.332 * [taylor]: Taking taylor expansion of -1 in x 55.334 * [taylor]: Taking taylor expansion of 0 in t 55.334 * [taylor]: Taking taylor expansion of 0 in y 55.335 * [taylor]: Taking taylor expansion of 0 in y 55.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x 55.336 * [taylor]: Taking taylor expansion of x in x 55.338 * [taylor]: Taking taylor expansion of 0 in t 55.338 * [taylor]: Taking taylor expansion of 0 in y 55.338 * [taylor]: Taking taylor expansion of 0 in y 55.340 * [taylor]: Taking taylor expansion of 0 in y 55.340 * [taylor]: Taking taylor expansion of 0 in x 55.340 * [taylor]: Taking taylor expansion of 0 in x 55.341 * [taylor]: Taking taylor expansion of 0 in x 55.344 * [taylor]: Taking taylor expansion of 0 in t 55.344 * [taylor]: Taking taylor expansion of 0 in y 55.344 * [taylor]: Taking taylor expansion of 0 in y 55.344 * [taylor]: Taking taylor expansion of 0 in y 55.346 * [taylor]: Taking taylor expansion of 0 in y 55.346 * [taylor]: Taking taylor expansion of 0 in x 55.346 * [taylor]: Taking taylor expansion of 0 in x 55.346 * [taylor]: Taking taylor expansion of 0 in x 55.346 * [taylor]: Taking taylor expansion of 0 in x 55.346 * [taylor]: Taking taylor expansion of 0 in x 55.348 * [taylor]: Taking taylor expansion of 0 in x 55.349 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 55.349 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in (z t y x) around 0 55.349 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in x 55.349 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x 55.349 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x 55.349 * [taylor]: Taking taylor expansion of (* z y) in x 55.349 * [taylor]: Taking taylor expansion of z in x 55.349 * [taylor]: Taking taylor expansion of y in x 55.349 * [taylor]: Taking taylor expansion of t in x 55.349 * [taylor]: Taking taylor expansion of x in x 55.349 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x 55.349 * [taylor]: Taking taylor expansion of (* x z) in x 55.349 * [taylor]: Taking taylor expansion of x in x 55.349 * [taylor]: Taking taylor expansion of z in x 55.349 * [taylor]: Taking taylor expansion of t in x 55.349 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in y 55.350 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in y 55.350 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y 55.350 * [taylor]: Taking taylor expansion of (* z y) in y 55.350 * [taylor]: Taking taylor expansion of z in y 55.350 * [taylor]: Taking taylor expansion of y in y 55.350 * [taylor]: Taking taylor expansion of t in y 55.350 * [taylor]: Taking taylor expansion of x in y 55.350 * [taylor]: Taking taylor expansion of (/ (* x z) t) in y 55.350 * [taylor]: Taking taylor expansion of (* x z) in y 55.350 * [taylor]: Taking taylor expansion of x in y 55.350 * [taylor]: Taking taylor expansion of z in y 55.350 * [taylor]: Taking taylor expansion of t in y 55.350 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in t 55.350 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in t 55.350 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t 55.350 * [taylor]: Taking taylor expansion of (* z y) in t 55.350 * [taylor]: Taking taylor expansion of z in t 55.350 * [taylor]: Taking taylor expansion of y in t 55.350 * [taylor]: Taking taylor expansion of t in t 55.350 * [taylor]: Taking taylor expansion of x in t 55.350 * [taylor]: Taking taylor expansion of (/ (* x z) t) in t 55.350 * [taylor]: Taking taylor expansion of (* x z) in t 55.350 * [taylor]: Taking taylor expansion of x in t 55.350 * [taylor]: Taking taylor expansion of z in t 55.350 * [taylor]: Taking taylor expansion of t in t 55.350 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in z 55.350 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in z 55.350 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z 55.350 * [taylor]: Taking taylor expansion of (* z y) in z 55.350 * [taylor]: Taking taylor expansion of z in z 55.351 * [taylor]: Taking taylor expansion of y in z 55.351 * [taylor]: Taking taylor expansion of t in z 55.351 * [taylor]: Taking taylor expansion of x in z 55.351 * [taylor]: Taking taylor expansion of (/ (* x z) t) in z 55.351 * [taylor]: Taking taylor expansion of (* x z) in z 55.351 * [taylor]: Taking taylor expansion of x in z 55.351 * [taylor]: Taking taylor expansion of z in z 55.351 * [taylor]: Taking taylor expansion of t in z 55.351 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in z 55.351 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in z 55.351 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z 55.351 * [taylor]: Taking taylor expansion of (* z y) in z 55.351 * [taylor]: Taking taylor expansion of z in z 55.351 * [taylor]: Taking taylor expansion of y in z 55.351 * [taylor]: Taking taylor expansion of t in z 55.352 * [taylor]: Taking taylor expansion of x in z 55.352 * [taylor]: Taking taylor expansion of (/ (* x z) t) in z 55.352 * [taylor]: Taking taylor expansion of (* x z) in z 55.352 * [taylor]: Taking taylor expansion of x in z 55.352 * [taylor]: Taking taylor expansion of z in z 55.352 * [taylor]: Taking taylor expansion of t in z 55.352 * [taylor]: Taking taylor expansion of x in t 55.353 * [taylor]: Taking taylor expansion of (- (/ y t) (/ x t)) in t 55.353 * [taylor]: Taking taylor expansion of (/ y t) in t 55.353 * [taylor]: Taking taylor expansion of y in t 55.353 * [taylor]: Taking taylor expansion of t in t 55.353 * [taylor]: Taking taylor expansion of (/ x t) in t 55.353 * [taylor]: Taking taylor expansion of x in t 55.353 * [taylor]: Taking taylor expansion of t in t 55.353 * [taylor]: Taking taylor expansion of (- y x) in y 55.353 * [taylor]: Taking taylor expansion of y in y 55.353 * [taylor]: Taking taylor expansion of x in y 55.353 * [taylor]: Taking taylor expansion of (- x) in x 55.353 * [taylor]: Taking taylor expansion of x in x 55.353 * [taylor]: Taking taylor expansion of x in y 55.353 * [taylor]: Taking taylor expansion of x in x 55.355 * [taylor]: Taking taylor expansion of 0 in t 55.357 * [taylor]: Taking taylor expansion of 0 in y 55.357 * [taylor]: Taking taylor expansion of 0 in x 55.357 * [taylor]: Taking taylor expansion of 0 in y 55.357 * [taylor]: Taking taylor expansion of 0 in x 55.357 * [taylor]: Taking taylor expansion of 1 in x 55.357 * [taylor]: Taking taylor expansion of 0 in x 55.358 * [approximate]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in (z t y x) around 0 55.359 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in x 55.359 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 55.359 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 55.359 * [taylor]: Taking taylor expansion of t in x 55.359 * [taylor]: Taking taylor expansion of (* z y) in x 55.359 * [taylor]: Taking taylor expansion of z in x 55.359 * [taylor]: Taking taylor expansion of y in x 55.359 * [taylor]: Taking taylor expansion of (/ 1 x) in x 55.359 * [taylor]: Taking taylor expansion of x in x 55.359 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 55.359 * [taylor]: Taking taylor expansion of t in x 55.359 * [taylor]: Taking taylor expansion of (* x z) in x 55.359 * [taylor]: Taking taylor expansion of x in x 55.359 * [taylor]: Taking taylor expansion of z in x 55.359 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in y 55.360 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y 55.360 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 55.360 * [taylor]: Taking taylor expansion of t in y 55.360 * [taylor]: Taking taylor expansion of (* z y) in y 55.360 * [taylor]: Taking taylor expansion of z in y 55.360 * [taylor]: Taking taylor expansion of y in y 55.360 * [taylor]: Taking taylor expansion of (/ 1 x) in y 55.360 * [taylor]: Taking taylor expansion of x in y 55.360 * [taylor]: Taking taylor expansion of (/ t (* x z)) in y 55.360 * [taylor]: Taking taylor expansion of t in y 55.360 * [taylor]: Taking taylor expansion of (* x z) in y 55.360 * [taylor]: Taking taylor expansion of x in y 55.360 * [taylor]: Taking taylor expansion of z in y 55.360 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in t 55.360 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t 55.360 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t 55.360 * [taylor]: Taking taylor expansion of t in t 55.360 * [taylor]: Taking taylor expansion of (* z y) in t 55.360 * [taylor]: Taking taylor expansion of z in t 55.360 * [taylor]: Taking taylor expansion of y in t 55.360 * [taylor]: Taking taylor expansion of (/ 1 x) in t 55.360 * [taylor]: Taking taylor expansion of x in t 55.360 * [taylor]: Taking taylor expansion of (/ t (* x z)) in t 55.360 * [taylor]: Taking taylor expansion of t in t 55.360 * [taylor]: Taking taylor expansion of (* x z) in t 55.360 * [taylor]: Taking taylor expansion of x in t 55.360 * [taylor]: Taking taylor expansion of z in t 55.360 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in z 55.361 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z 55.361 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z 55.361 * [taylor]: Taking taylor expansion of t in z 55.361 * [taylor]: Taking taylor expansion of (* z y) in z 55.361 * [taylor]: Taking taylor expansion of z in z 55.361 * [taylor]: Taking taylor expansion of y in z 55.361 * [taylor]: Taking taylor expansion of (/ 1 x) in z 55.361 * [taylor]: Taking taylor expansion of x in z 55.361 * [taylor]: Taking taylor expansion of (/ t (* x z)) in z 55.361 * [taylor]: Taking taylor expansion of t in z 55.361 * [taylor]: Taking taylor expansion of (* x z) in z 55.361 * [taylor]: Taking taylor expansion of x in z 55.361 * [taylor]: Taking taylor expansion of z in z 55.361 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in z 55.361 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z 55.361 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z 55.362 * [taylor]: Taking taylor expansion of t in z 55.362 * [taylor]: Taking taylor expansion of (* z y) in z 55.362 * [taylor]: Taking taylor expansion of z in z 55.362 * [taylor]: Taking taylor expansion of y in z 55.362 * [taylor]: Taking taylor expansion of (/ 1 x) in z 55.362 * [taylor]: Taking taylor expansion of x in z 55.362 * [taylor]: Taking taylor expansion of (/ t (* x z)) in z 55.362 * [taylor]: Taking taylor expansion of t in z 55.362 * [taylor]: Taking taylor expansion of (* x z) in z 55.362 * [taylor]: Taking taylor expansion of x in z 55.362 * [taylor]: Taking taylor expansion of z in z 55.363 * [taylor]: Taking taylor expansion of (- (/ t y) (/ t x)) in t 55.363 * [taylor]: Taking taylor expansion of (/ t y) in t 55.363 * [taylor]: Taking taylor expansion of t in t 55.363 * [taylor]: Taking taylor expansion of y in t 55.363 * [taylor]: Taking taylor expansion of (/ t x) in t 55.363 * [taylor]: Taking taylor expansion of t in t 55.363 * [taylor]: Taking taylor expansion of x in t 55.364 * [taylor]: Taking taylor expansion of (/ 1 x) in t 55.364 * [taylor]: Taking taylor expansion of x in t 55.364 * [taylor]: Taking taylor expansion of (/ 1 x) in y 55.364 * [taylor]: Taking taylor expansion of x in y 55.365 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 55.365 * [taylor]: Taking taylor expansion of (/ 1 y) in y 55.365 * [taylor]: Taking taylor expansion of y in y 55.365 * [taylor]: Taking taylor expansion of (/ 1 x) in y 55.365 * [taylor]: Taking taylor expansion of x in y 55.365 * [taylor]: Taking taylor expansion of 1 in x 55.371 * [taylor]: Taking taylor expansion of 0 in t 55.371 * [taylor]: Taking taylor expansion of 0 in y 55.371 * [taylor]: Taking taylor expansion of 0 in y 55.372 * [taylor]: Taking taylor expansion of 0 in y 55.372 * [taylor]: Taking taylor expansion of (/ 1 x) in x 55.372 * [taylor]: Taking taylor expansion of x in x 55.373 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 55.373 * [taylor]: Taking taylor expansion of (/ 1 x) in x 55.373 * [taylor]: Taking taylor expansion of x in x 55.374 * [approximate]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in (z t y x) around 0 55.374 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in x 55.374 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 55.375 * [taylor]: Taking taylor expansion of t in x 55.375 * [taylor]: Taking taylor expansion of (* x z) in x 55.375 * [taylor]: Taking taylor expansion of x in x 55.375 * [taylor]: Taking taylor expansion of z in x 55.375 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 55.375 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 55.375 * [taylor]: Taking taylor expansion of t in x 55.375 * [taylor]: Taking taylor expansion of (* z y) in x 55.375 * [taylor]: Taking taylor expansion of z in x 55.375 * [taylor]: Taking taylor expansion of y in x 55.375 * [taylor]: Taking taylor expansion of (/ 1 x) in x 55.375 * [taylor]: Taking taylor expansion of x in x 55.375 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in y 55.375 * [taylor]: Taking taylor expansion of (/ t (* x z)) in y 55.375 * [taylor]: Taking taylor expansion of t in y 55.375 * [taylor]: Taking taylor expansion of (* x z) in y 55.375 * [taylor]: Taking taylor expansion of x in y 55.375 * [taylor]: Taking taylor expansion of z in y 55.376 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y 55.376 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 55.376 * [taylor]: Taking taylor expansion of t in y 55.376 * [taylor]: Taking taylor expansion of (* z y) in y 55.376 * [taylor]: Taking taylor expansion of z in y 55.376 * [taylor]: Taking taylor expansion of y in y 55.376 * [taylor]: Taking taylor expansion of (/ 1 x) in y 55.376 * [taylor]: Taking taylor expansion of x in y 55.376 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in t 55.376 * [taylor]: Taking taylor expansion of (/ t (* x z)) in t 55.376 * [taylor]: Taking taylor expansion of t in t 55.376 * [taylor]: Taking taylor expansion of (* x z) in t 55.376 * [taylor]: Taking taylor expansion of x in t 55.376 * [taylor]: Taking taylor expansion of z in t 55.376 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t 55.376 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t 55.376 * [taylor]: Taking taylor expansion of t in t 55.376 * [taylor]: Taking taylor expansion of (* z y) in t 55.376 * [taylor]: Taking taylor expansion of z in t 55.376 * [taylor]: Taking taylor expansion of y in t 55.376 * [taylor]: Taking taylor expansion of (/ 1 x) in t 55.376 * [taylor]: Taking taylor expansion of x in t 55.376 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in z 55.376 * [taylor]: Taking taylor expansion of (/ t (* x z)) in z 55.376 * [taylor]: Taking taylor expansion of t in z 55.376 * [taylor]: Taking taylor expansion of (* x z) in z 55.376 * [taylor]: Taking taylor expansion of x in z 55.376 * [taylor]: Taking taylor expansion of z in z 55.377 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z 55.377 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z 55.377 * [taylor]: Taking taylor expansion of t in z 55.377 * [taylor]: Taking taylor expansion of (* z y) in z 55.377 * [taylor]: Taking taylor expansion of z in z 55.377 * [taylor]: Taking taylor expansion of y in z 55.377 * [taylor]: Taking taylor expansion of (/ 1 x) in z 55.377 * [taylor]: Taking taylor expansion of x in z 55.377 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in z 55.377 * [taylor]: Taking taylor expansion of (/ t (* x z)) in z 55.377 * [taylor]: Taking taylor expansion of t in z 55.377 * [taylor]: Taking taylor expansion of (* x z) in z 55.377 * [taylor]: Taking taylor expansion of x in z 55.377 * [taylor]: Taking taylor expansion of z in z 55.378 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z 55.378 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z 55.378 * [taylor]: Taking taylor expansion of t in z 55.378 * [taylor]: Taking taylor expansion of (* z y) in z 55.378 * [taylor]: Taking taylor expansion of z in z 55.378 * [taylor]: Taking taylor expansion of y in z 55.378 * [taylor]: Taking taylor expansion of (/ 1 x) in z 55.378 * [taylor]: Taking taylor expansion of x in z 55.378 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t y)) in t 55.378 * [taylor]: Taking taylor expansion of (/ t x) in t 55.378 * [taylor]: Taking taylor expansion of t in t 55.379 * [taylor]: Taking taylor expansion of x in t 55.379 * [taylor]: Taking taylor expansion of (/ t y) in t 55.379 * [taylor]: Taking taylor expansion of t in t 55.379 * [taylor]: Taking taylor expansion of y in t 55.380 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 55.380 * [taylor]: Taking taylor expansion of (/ 1 x) in t 55.380 * [taylor]: Taking taylor expansion of x in t 55.380 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 55.380 * [taylor]: Taking taylor expansion of (/ 1 x) in y 55.380 * [taylor]: Taking taylor expansion of x in y 55.380 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 55.380 * [taylor]: Taking taylor expansion of (/ 1 x) in y 55.380 * [taylor]: Taking taylor expansion of x in y 55.380 * [taylor]: Taking taylor expansion of (/ 1 y) in y 55.380 * [taylor]: Taking taylor expansion of y in y 55.381 * [taylor]: Taking taylor expansion of -1 in x 55.384 * [taylor]: Taking taylor expansion of 0 in t 55.384 * [taylor]: Taking taylor expansion of 0 in y 55.384 * [taylor]: Taking taylor expansion of 0 in y 55.385 * [taylor]: Taking taylor expansion of 0 in y 55.385 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 55.385 * [taylor]: Taking taylor expansion of (/ 1 x) in x 55.385 * [taylor]: Taking taylor expansion of x in x 55.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x 55.386 * [taylor]: Taking taylor expansion of x in x 55.387 * * * [progress]: simplifying candidates 55.389 * [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)) 55.394 * * [simplify]: iteration 0 : 178 enodes (cost 1645 )