1.119 * [progress]: [Phase 1 of 3] Setting up. 0.005 * * * [progress]: [1/2] Preparing points 0.207 * * * [progress]: [2/2] Setting up program. 0.219 * [progress]: [Phase 2 of 3] Improving. 0.219 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.221 * [simplify]: Simplifying: (* (+ x y) z) 0.222 * * [simplify]: iteration 0: 5 enodes 0.228 * * [simplify]: iteration 1: 7 enodes 0.232 * * [simplify]: iteration 2: 15 enodes 0.240 * * [simplify]: iteration complete: 15 enodes 0.240 * * [simplify]: Extracting #0: cost 1 inf + 0 0.240 * * [simplify]: Extracting #1: cost 5 inf + 0 0.241 * * [simplify]: Extracting #2: cost 6 inf + 1 0.241 * * [simplify]: Extracting #3: cost 3 inf + 45 0.241 * * [simplify]: Extracting #4: cost 0 inf + 212 0.241 * [simplify]: Simplified to: (* (+ y x) z) 0.244 * * [progress]: iteration 1 / 4 0.244 * * * [progress]: picking best candidate 0.254 * * * * [pick]: Picked # 0.254 * * * [progress]: localizing error 0.267 * * * [progress]: generating rewritten candidates 0.267 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.314 * * * [progress]: generating series expansions 0.314 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.324 * [backup-simplify]: Simplify (* (+ x y) z) into (* (+ x y) z) 0.324 * [approximate]: Taking taylor expansion of (* (+ x y) z) in (x y z) around 0 0.325 * [taylor]: Taking taylor expansion of (* (+ x y) z) in z 0.325 * [taylor]: Taking taylor expansion of (+ x y) in z 0.325 * [taylor]: Taking taylor expansion of x in z 0.325 * [backup-simplify]: Simplify x into x 0.325 * [taylor]: Taking taylor expansion of y in z 0.325 * [backup-simplify]: Simplify y into y 0.326 * [taylor]: Taking taylor expansion of z in z 0.326 * [backup-simplify]: Simplify 0 into 0 0.326 * [backup-simplify]: Simplify 1 into 1 0.326 * [taylor]: Taking taylor expansion of (* (+ x y) z) in y 0.326 * [taylor]: Taking taylor expansion of (+ x y) in y 0.326 * [taylor]: Taking taylor expansion of x in y 0.326 * [backup-simplify]: Simplify x into x 0.326 * [taylor]: Taking taylor expansion of y in y 0.326 * [backup-simplify]: Simplify 0 into 0 0.326 * [backup-simplify]: Simplify 1 into 1 0.326 * [taylor]: Taking taylor expansion of z in y 0.326 * [backup-simplify]: Simplify z into z 0.326 * [taylor]: Taking taylor expansion of (* (+ x y) z) in x 0.326 * [taylor]: Taking taylor expansion of (+ x y) in x 0.326 * [taylor]: Taking taylor expansion of x in x 0.326 * [backup-simplify]: Simplify 0 into 0 0.326 * [backup-simplify]: Simplify 1 into 1 0.326 * [taylor]: Taking taylor expansion of y in x 0.326 * [backup-simplify]: Simplify y into y 0.326 * [taylor]: Taking taylor expansion of z in x 0.326 * [backup-simplify]: Simplify z into z 0.326 * [taylor]: Taking taylor expansion of (* (+ x y) z) in x 0.326 * [taylor]: Taking taylor expansion of (+ x y) in x 0.326 * [taylor]: Taking taylor expansion of x in x 0.326 * [backup-simplify]: Simplify 0 into 0 0.326 * [backup-simplify]: Simplify 1 into 1 0.326 * [taylor]: Taking taylor expansion of y in x 0.326 * [backup-simplify]: Simplify y into y 0.326 * [taylor]: Taking taylor expansion of z in x 0.326 * [backup-simplify]: Simplify z into z 0.327 * [backup-simplify]: Simplify (+ 0 y) into y 0.327 * [backup-simplify]: Simplify (* y z) into (* z y) 0.327 * [taylor]: Taking taylor expansion of (* z y) in y 0.327 * [taylor]: Taking taylor expansion of z in y 0.327 * [backup-simplify]: Simplify z into z 0.327 * [taylor]: Taking taylor expansion of y in y 0.327 * [backup-simplify]: Simplify 0 into 0 0.327 * [backup-simplify]: Simplify 1 into 1 0.327 * [backup-simplify]: Simplify (* z 0) into 0 0.327 * [taylor]: Taking taylor expansion of 0 in z 0.327 * [backup-simplify]: Simplify 0 into 0 0.327 * [backup-simplify]: Simplify 0 into 0 0.328 * [backup-simplify]: Simplify (+ 1 0) into 1 0.328 * [backup-simplify]: Simplify (+ (* y 0) (* 1 z)) into z 0.328 * [taylor]: Taking taylor expansion of z in y 0.328 * [backup-simplify]: Simplify z into z 0.328 * [taylor]: Taking taylor expansion of z in z 0.328 * [backup-simplify]: Simplify 0 into 0 0.328 * [backup-simplify]: Simplify 1 into 1 0.328 * [backup-simplify]: Simplify 0 into 0 0.329 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 0.329 * [taylor]: Taking taylor expansion of z in z 0.329 * [backup-simplify]: Simplify 0 into 0 0.329 * [backup-simplify]: Simplify 1 into 1 0.329 * [backup-simplify]: Simplify 0 into 0 0.329 * [backup-simplify]: Simplify 0 into 0 0.329 * [backup-simplify]: Simplify (+ 0 0) into 0 0.330 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 1 0) (* 0 z))) into 0 0.330 * [taylor]: Taking taylor expansion of 0 in y 0.330 * [backup-simplify]: Simplify 0 into 0 0.330 * [taylor]: Taking taylor expansion of 0 in z 0.330 * [backup-simplify]: Simplify 0 into 0 0.330 * [backup-simplify]: Simplify 0 into 0 0.330 * [taylor]: Taking taylor expansion of 0 in z 0.330 * [backup-simplify]: Simplify 0 into 0 0.330 * [backup-simplify]: Simplify 0 into 0 0.330 * [backup-simplify]: Simplify 0 into 0 0.330 * [backup-simplify]: Simplify (* (+ (/ 1 x) (/ 1 y)) (/ 1 z)) into (/ (+ (/ 1 x) (/ 1 y)) z) 0.330 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) z) in (x y z) around 0 0.330 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) z) in z 0.331 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z 0.331 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.331 * [taylor]: Taking taylor expansion of x in z 0.331 * [backup-simplify]: Simplify x into x 0.331 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.331 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.331 * [taylor]: Taking taylor expansion of y in z 0.331 * [backup-simplify]: Simplify y into y 0.331 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.331 * [taylor]: Taking taylor expansion of z in z 0.331 * [backup-simplify]: Simplify 0 into 0 0.331 * [backup-simplify]: Simplify 1 into 1 0.331 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 y)) into (+ (/ 1 x) (/ 1 y)) 0.331 * [backup-simplify]: Simplify (/ (+ (/ 1 x) (/ 1 y)) 1) into (+ (/ 1 x) (/ 1 y)) 0.331 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) z) in y 0.331 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 0.331 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.331 * [taylor]: Taking taylor expansion of x in y 0.331 * [backup-simplify]: Simplify x into x 0.332 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.332 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.332 * [taylor]: Taking taylor expansion of y in y 0.332 * [backup-simplify]: Simplify 0 into 0 0.332 * [backup-simplify]: Simplify 1 into 1 0.332 * [backup-simplify]: Simplify (/ 1 1) into 1 0.332 * [taylor]: Taking taylor expansion of z in y 0.332 * [backup-simplify]: Simplify z into z 0.332 * [backup-simplify]: Simplify (+ 0 1) into 1 0.333 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.333 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) z) in x 0.333 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.333 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.333 * [taylor]: Taking taylor expansion of x in x 0.333 * [backup-simplify]: Simplify 0 into 0 0.333 * [backup-simplify]: Simplify 1 into 1 0.333 * [backup-simplify]: Simplify (/ 1 1) into 1 0.333 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.333 * [taylor]: Taking taylor expansion of y in x 0.333 * [backup-simplify]: Simplify y into y 0.333 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.333 * [taylor]: Taking taylor expansion of z in x 0.333 * [backup-simplify]: Simplify z into z 0.333 * [backup-simplify]: Simplify (+ 1 0) into 1 0.334 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.334 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) z) in x 0.334 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.334 * [taylor]: Taking taylor expansion of x in x 0.334 * [backup-simplify]: Simplify 0 into 0 0.334 * [backup-simplify]: Simplify 1 into 1 0.334 * [backup-simplify]: Simplify (/ 1 1) into 1 0.334 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.334 * [taylor]: Taking taylor expansion of y in x 0.334 * [backup-simplify]: Simplify y into y 0.334 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.334 * [taylor]: Taking taylor expansion of z in x 0.334 * [backup-simplify]: Simplify z into z 0.334 * [backup-simplify]: Simplify (+ 1 0) into 1 0.334 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.335 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.335 * [taylor]: Taking taylor expansion of z in y 0.335 * [backup-simplify]: Simplify z into z 0.335 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.336 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 0.336 * [backup-simplify]: Simplify (- (/ (/ 1 y) z) (+ (* (/ 1 z) (/ 0 z)))) into (/ 1 (* z y)) 0.336 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.336 * [taylor]: Taking taylor expansion of (* z y) in y 0.336 * [taylor]: Taking taylor expansion of z in y 0.336 * [backup-simplify]: Simplify z into z 0.336 * [taylor]: Taking taylor expansion of y in y 0.336 * [backup-simplify]: Simplify 0 into 0 0.336 * [backup-simplify]: Simplify 1 into 1 0.336 * [backup-simplify]: Simplify (* z 0) into 0 0.336 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 0.336 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.336 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.336 * [taylor]: Taking taylor expansion of z in z 0.336 * [backup-simplify]: Simplify 0 into 0 0.337 * [backup-simplify]: Simplify 1 into 1 0.337 * [backup-simplify]: Simplify (/ 1 1) into 1 0.337 * [backup-simplify]: Simplify 1 into 1 0.337 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.337 * [taylor]: Taking taylor expansion of z in z 0.337 * [backup-simplify]: Simplify 0 into 0 0.337 * [backup-simplify]: Simplify 1 into 1 0.337 * [backup-simplify]: Simplify (/ 1 1) into 1 0.337 * [backup-simplify]: Simplify 1 into 1 0.338 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.339 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.339 * [backup-simplify]: Simplify (+ 0 0) into 0 0.340 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* (/ 1 (* z y)) (/ 0 z)))) into 0 0.340 * [taylor]: Taking taylor expansion of 0 in y 0.340 * [backup-simplify]: Simplify 0 into 0 0.340 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 0.340 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.340 * [taylor]: Taking taylor expansion of 0 in z 0.341 * [backup-simplify]: Simplify 0 into 0 0.341 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.341 * [taylor]: Taking taylor expansion of 0 in z 0.341 * [backup-simplify]: Simplify 0 into 0 0.341 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.341 * [backup-simplify]: Simplify 0 into 0 0.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.342 * [backup-simplify]: Simplify 0 into 0 0.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.343 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.343 * [backup-simplify]: Simplify (+ 0 0) into 0 0.344 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* (/ 1 (* z y)) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.344 * [taylor]: Taking taylor expansion of 0 in y 0.344 * [backup-simplify]: Simplify 0 into 0 0.344 * [taylor]: Taking taylor expansion of 0 in z 0.344 * [backup-simplify]: Simplify 0 into 0 0.344 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.345 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.345 * [taylor]: Taking taylor expansion of 0 in z 0.345 * [backup-simplify]: Simplify 0 into 0 0.345 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.345 * [taylor]: Taking taylor expansion of 0 in z 0.345 * [backup-simplify]: Simplify 0 into 0 0.345 * [backup-simplify]: Simplify 0 into 0 0.345 * [backup-simplify]: Simplify 0 into 0 0.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.346 * [backup-simplify]: Simplify 0 into 0 0.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.347 * [backup-simplify]: Simplify 0 into 0 0.348 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 x))))) (* 1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1)))) into (+ (* z y) (* x z)) 0.348 * [backup-simplify]: Simplify (* (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) into (/ (+ (/ 1 x) (/ 1 y)) z) 0.348 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) z) in (x y z) around 0 0.348 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) z) in z 0.348 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z 0.348 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.348 * [taylor]: Taking taylor expansion of x in z 0.348 * [backup-simplify]: Simplify x into x 0.348 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.348 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.348 * [taylor]: Taking taylor expansion of y in z 0.348 * [backup-simplify]: Simplify y into y 0.348 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.348 * [taylor]: Taking taylor expansion of z in z 0.348 * [backup-simplify]: Simplify 0 into 0 0.348 * [backup-simplify]: Simplify 1 into 1 0.348 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 y)) into (+ (/ 1 x) (/ 1 y)) 0.349 * [backup-simplify]: Simplify (/ (+ (/ 1 x) (/ 1 y)) 1) into (+ (/ 1 x) (/ 1 y)) 0.349 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) z) in y 0.349 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 0.349 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.349 * [taylor]: Taking taylor expansion of x in y 0.349 * [backup-simplify]: Simplify x into x 0.349 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.349 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.349 * [taylor]: Taking taylor expansion of y in y 0.349 * [backup-simplify]: Simplify 0 into 0 0.349 * [backup-simplify]: Simplify 1 into 1 0.349 * [backup-simplify]: Simplify (/ 1 1) into 1 0.349 * [taylor]: Taking taylor expansion of z in y 0.349 * [backup-simplify]: Simplify z into z 0.350 * [backup-simplify]: Simplify (+ 0 1) into 1 0.350 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.350 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) z) in x 0.350 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.350 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.350 * [taylor]: Taking taylor expansion of x in x 0.350 * [backup-simplify]: Simplify 0 into 0 0.350 * [backup-simplify]: Simplify 1 into 1 0.350 * [backup-simplify]: Simplify (/ 1 1) into 1 0.350 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.350 * [taylor]: Taking taylor expansion of y in x 0.350 * [backup-simplify]: Simplify y into y 0.350 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.350 * [taylor]: Taking taylor expansion of z in x 0.350 * [backup-simplify]: Simplify z into z 0.351 * [backup-simplify]: Simplify (+ 1 0) into 1 0.351 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.351 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) z) in x 0.351 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.351 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.351 * [taylor]: Taking taylor expansion of x in x 0.351 * [backup-simplify]: Simplify 0 into 0 0.351 * [backup-simplify]: Simplify 1 into 1 0.351 * [backup-simplify]: Simplify (/ 1 1) into 1 0.351 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.351 * [taylor]: Taking taylor expansion of y in x 0.351 * [backup-simplify]: Simplify y into y 0.351 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.351 * [taylor]: Taking taylor expansion of z in x 0.351 * [backup-simplify]: Simplify z into z 0.351 * [backup-simplify]: Simplify (+ 1 0) into 1 0.352 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.352 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.352 * [taylor]: Taking taylor expansion of z in y 0.352 * [backup-simplify]: Simplify z into z 0.352 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.352 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.352 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 0.353 * [backup-simplify]: Simplify (- (/ (/ 1 y) z) (+ (* (/ 1 z) (/ 0 z)))) into (/ 1 (* z y)) 0.353 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.353 * [taylor]: Taking taylor expansion of (* z y) in y 0.353 * [taylor]: Taking taylor expansion of z in y 0.353 * [backup-simplify]: Simplify z into z 0.353 * [taylor]: Taking taylor expansion of y in y 0.353 * [backup-simplify]: Simplify 0 into 0 0.353 * [backup-simplify]: Simplify 1 into 1 0.353 * [backup-simplify]: Simplify (* z 0) into 0 0.353 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 0.353 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.353 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.353 * [taylor]: Taking taylor expansion of z in z 0.353 * [backup-simplify]: Simplify 0 into 0 0.353 * [backup-simplify]: Simplify 1 into 1 0.354 * [backup-simplify]: Simplify (/ 1 1) into 1 0.354 * [backup-simplify]: Simplify 1 into 1 0.354 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.354 * [taylor]: Taking taylor expansion of z in z 0.354 * [backup-simplify]: Simplify 0 into 0 0.354 * [backup-simplify]: Simplify 1 into 1 0.354 * [backup-simplify]: Simplify (/ 1 1) into 1 0.354 * [backup-simplify]: Simplify 1 into 1 0.355 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.355 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.355 * [backup-simplify]: Simplify (+ 0 0) into 0 0.356 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* (/ 1 (* z y)) (/ 0 z)))) into 0 0.356 * [taylor]: Taking taylor expansion of 0 in y 0.356 * [backup-simplify]: Simplify 0 into 0 0.356 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 0.356 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.356 * [taylor]: Taking taylor expansion of 0 in z 0.356 * [backup-simplify]: Simplify 0 into 0 0.357 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 0.357 * [taylor]: Taking taylor expansion of 0 in z 0.357 * [backup-simplify]: Simplify 0 into 0 0.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.357 * [backup-simplify]: Simplify 0 into 0 0.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.358 * [backup-simplify]: Simplify 0 into 0 0.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.359 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.359 * [backup-simplify]: Simplify (+ 0 0) into 0 0.360 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* (/ 1 (* z y)) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.360 * [taylor]: Taking taylor expansion of 0 in y 0.360 * [backup-simplify]: Simplify 0 into 0 0.360 * [taylor]: Taking taylor expansion of 0 in z 0.360 * [backup-simplify]: Simplify 0 into 0 0.360 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.361 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.361 * [taylor]: Taking taylor expansion of 0 in z 0.361 * [backup-simplify]: Simplify 0 into 0 0.361 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.361 * [taylor]: Taking taylor expansion of 0 in z 0.361 * [backup-simplify]: Simplify 0 into 0 0.361 * [backup-simplify]: Simplify 0 into 0 0.361 * [backup-simplify]: Simplify 0 into 0 0.362 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.362 * [backup-simplify]: Simplify 0 into 0 0.362 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.362 * [backup-simplify]: Simplify 0 into 0 0.363 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- x)))))) (* 1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1)))) into (+ (* z y) (* x z)) 0.363 * * * [progress]: simplifying candidates 0.363 * * * * [progress]: [ 1 / 25 ] simplifiying candidate #real (real->posit16 (* (+ x y) z))))> 0.363 * * * * [progress]: [ 2 / 25 ] simplifiying candidate # 0.363 * * * * [progress]: [ 3 / 25 ] simplifiying candidate # 0.363 * * * * [progress]: [ 4 / 25 ] simplifiying candidate # 0.363 * * * * [progress]: [ 5 / 25 ] simplifiying candidate # 0.363 * * * * [progress]: [ 6 / 25 ] simplifiying candidate # 0.364 * * * * [progress]: [ 7 / 25 ] simplifiying candidate # 0.364 * * * * [progress]: [ 8 / 25 ] simplifiying candidate # 0.364 * * * * [progress]: [ 9 / 25 ] simplifiying candidate # 0.364 * * * * [progress]: [ 10 / 25 ] simplifiying candidate # 0.364 * * * * [progress]: [ 11 / 25 ] simplifiying candidate # 0.364 * * * * [progress]: [ 12 / 25 ] simplifiying candidate # 0.364 * * * * [progress]: [ 13 / 25 ] simplifiying candidate # 0.364 * * * * [progress]: [ 14 / 25 ] simplifiying candidate # 0.364 * * * * [progress]: [ 15 / 25 ] simplifiying candidate # 0.364 * * * * [progress]: [ 16 / 25 ] simplifiying candidate # 0.364 * * * * [progress]: [ 17 / 25 ] simplifiying candidate # 0.364 * * * * [progress]: [ 18 / 25 ] simplifiying candidate # 0.364 * * * * [progress]: [ 19 / 25 ] simplifiying candidate # 0.364 * * * * [progress]: [ 20 / 25 ] simplifiying candidate # 0.364 * * * * [progress]: [ 21 / 25 ] simplifiying candidate # 0.364 * * * * [progress]: [ 22 / 25 ] simplifiying candidate # 0.364 * * * * [progress]: [ 23 / 25 ] simplifiying candidate # 0.364 * * * * [progress]: [ 24 / 25 ] simplifiying candidate # 0.364 * * * * [progress]: [ 25 / 25 ] simplifiying candidate # 0.365 * [simplify]: Simplifying: (real->posit16 (* (+ x y) z)) (* (+ x y) z) (+ (log (+ x y)) (log z)) (log (* (+ x y) z)) (exp (* (+ x y) z)) (* (* (* (+ x y) (+ x y)) (+ x y)) (* (* z z) z)) (* (cbrt (* (+ x y) z)) (cbrt (* (+ x y) z))) (cbrt (* (+ x y) z)) (* (* (* (+ x y) z) (* (+ x y) z)) (* (+ x y) z)) (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z)) (* (sqrt (+ x y)) (sqrt z)) (* (sqrt (+ x y)) (sqrt z)) (* (+ x y) (* (cbrt z) (cbrt z))) (* (+ x y) (sqrt z)) (* (+ x y) 1) (* (cbrt (+ x y)) z) (* (sqrt (+ x y)) z) (* (+ x y) z) (* (+ x y) z) (* (+ (pow x 3) (pow y 3)) z) (* (- (* x x) (* y y)) z) 0 (+ (* z y) (* x z)) (+ (* z y) (* x z)) 0.365 * * [simplify]: iteration 0: 46 enodes 0.397 * * [simplify]: iteration 1: 112 enodes 0.521 * * [simplify]: iteration 2: 362 enodes 1.198 * * [simplify]: iteration 3: 1769 enodes 3.724 * * [simplify]: iteration complete: 5010 enodes 3.724 * * [simplify]: Extracting #0: cost 17 inf + 0 3.725 * * [simplify]: Extracting #1: cost 253 inf + 1 3.729 * * [simplify]: Extracting #2: cost 1094 inf + 1982 3.743 * * [simplify]: Extracting #3: cost 2188 inf + 24805 3.785 * * [simplify]: Extracting #4: cost 927 inf + 246333 3.894 * * [simplify]: Extracting #5: cost 82 inf + 404321 4.009 * * [simplify]: Extracting #6: cost 29 inf + 416277 4.101 * * [simplify]: Extracting #7: cost 3 inf + 420533 4.215 * * [simplify]: Extracting #8: cost 0 inf + 421292 4.310 * [simplify]: Simplified to: (real->posit16 (* z (+ x y))) (* z (+ x y)) (log (* z (+ x y))) (log (* z (+ x y))) (exp (* z (+ x y))) (* (* (* (* (+ y x) z) (* (+ y x) z)) (+ y x)) z) (* (cbrt (* z (+ x y))) (cbrt (* z (+ x y)))) (cbrt (* z (+ x y))) (* (* (* (* (+ y x) z) (* (+ y x) z)) (+ y x)) z) (sqrt (* z (+ x y))) (sqrt (* z (+ x y))) (* (sqrt (+ y x)) (sqrt z)) (* (sqrt (+ y x)) (sqrt z)) (* (* (cbrt z) (cbrt z)) (+ y x)) (* (sqrt z) (+ y x)) (+ y x) (* (cbrt (+ y x)) z) (* (sqrt (+ y x)) z) (* z (+ x y)) (* z (+ x y)) (* (+ (* y (* y y)) (* x (* x x))) z) (* (* z (+ x y)) (- x y)) 0 (* z (+ x y)) (* z (+ x y)) 4.312 * * * [progress]: adding candidates to table 4.581 * * [progress]: iteration 2 / 4 4.581 * * * [progress]: picking best candidate 4.594 * * * * [pick]: Picked # 4.594 * * * [progress]: localizing error 4.634 * * * [progress]: generating rewritten candidates 4.634 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 4.729 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 4.792 * * * [progress]: generating series expansions 4.792 * * * * [progress]: [ 1 / 2 ] generating series at (2) 4.793 * [backup-simplify]: Simplify (* (* (+ x y) (sqrt z)) (sqrt z)) into (* (+ x y) z) 4.793 * [approximate]: Taking taylor expansion of (* (+ x y) z) in (x y z) around 0 4.793 * [taylor]: Taking taylor expansion of (* (+ x y) z) in z 4.793 * [taylor]: Taking taylor expansion of (+ x y) in z 4.793 * [taylor]: Taking taylor expansion of x in z 4.793 * [backup-simplify]: Simplify x into x 4.793 * [taylor]: Taking taylor expansion of y in z 4.793 * [backup-simplify]: Simplify y into y 4.794 * [taylor]: Taking taylor expansion of z in z 4.794 * [backup-simplify]: Simplify 0 into 0 4.794 * [backup-simplify]: Simplify 1 into 1 4.794 * [taylor]: Taking taylor expansion of (* (+ x y) z) in y 4.794 * [taylor]: Taking taylor expansion of (+ x y) in y 4.794 * [taylor]: Taking taylor expansion of x in y 4.794 * [backup-simplify]: Simplify x into x 4.794 * [taylor]: Taking taylor expansion of y in y 4.794 * [backup-simplify]: Simplify 0 into 0 4.794 * [backup-simplify]: Simplify 1 into 1 4.794 * [taylor]: Taking taylor expansion of z in y 4.794 * [backup-simplify]: Simplify z into z 4.794 * [taylor]: Taking taylor expansion of (* (+ x y) z) in x 4.794 * [taylor]: Taking taylor expansion of (+ x y) in x 4.794 * [taylor]: Taking taylor expansion of x in x 4.794 * [backup-simplify]: Simplify 0 into 0 4.794 * [backup-simplify]: Simplify 1 into 1 4.794 * [taylor]: Taking taylor expansion of y in x 4.794 * [backup-simplify]: Simplify y into y 4.794 * [taylor]: Taking taylor expansion of z in x 4.794 * [backup-simplify]: Simplify z into z 4.794 * [taylor]: Taking taylor expansion of (* (+ x y) z) in x 4.794 * [taylor]: Taking taylor expansion of (+ x y) in x 4.794 * [taylor]: Taking taylor expansion of x in x 4.794 * [backup-simplify]: Simplify 0 into 0 4.794 * [backup-simplify]: Simplify 1 into 1 4.794 * [taylor]: Taking taylor expansion of y in x 4.794 * [backup-simplify]: Simplify y into y 4.794 * [taylor]: Taking taylor expansion of z in x 4.795 * [backup-simplify]: Simplify z into z 4.795 * [backup-simplify]: Simplify (+ 0 y) into y 4.795 * [backup-simplify]: Simplify (* y z) into (* z y) 4.795 * [taylor]: Taking taylor expansion of (* z y) in y 4.795 * [taylor]: Taking taylor expansion of z in y 4.795 * [backup-simplify]: Simplify z into z 4.795 * [taylor]: Taking taylor expansion of y in y 4.795 * [backup-simplify]: Simplify 0 into 0 4.795 * [backup-simplify]: Simplify 1 into 1 4.795 * [backup-simplify]: Simplify (* z 0) into 0 4.795 * [taylor]: Taking taylor expansion of 0 in z 4.795 * [backup-simplify]: Simplify 0 into 0 4.795 * [backup-simplify]: Simplify 0 into 0 4.796 * [backup-simplify]: Simplify (+ 1 0) into 1 4.796 * [backup-simplify]: Simplify (+ (* y 0) (* 1 z)) into z 4.796 * [taylor]: Taking taylor expansion of z in y 4.796 * [backup-simplify]: Simplify z into z 4.796 * [taylor]: Taking taylor expansion of z in z 4.796 * [backup-simplify]: Simplify 0 into 0 4.797 * [backup-simplify]: Simplify 1 into 1 4.797 * [backup-simplify]: Simplify 0 into 0 4.797 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 4.797 * [taylor]: Taking taylor expansion of z in z 4.797 * [backup-simplify]: Simplify 0 into 0 4.797 * [backup-simplify]: Simplify 1 into 1 4.797 * [backup-simplify]: Simplify 0 into 0 4.797 * [backup-simplify]: Simplify 0 into 0 4.798 * [backup-simplify]: Simplify (+ 0 0) into 0 4.799 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 1 0) (* 0 z))) into 0 4.799 * [taylor]: Taking taylor expansion of 0 in y 4.799 * [backup-simplify]: Simplify 0 into 0 4.799 * [taylor]: Taking taylor expansion of 0 in z 4.799 * [backup-simplify]: Simplify 0 into 0 4.799 * [backup-simplify]: Simplify 0 into 0 4.799 * [taylor]: Taking taylor expansion of 0 in z 4.799 * [backup-simplify]: Simplify 0 into 0 4.799 * [backup-simplify]: Simplify 0 into 0 4.799 * [backup-simplify]: Simplify 0 into 0 4.800 * [backup-simplify]: Simplify (* (* (+ (/ 1 x) (/ 1 y)) (sqrt (/ 1 z))) (sqrt (/ 1 z))) into (/ (+ (/ 1 x) (/ 1 y)) z) 4.800 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) z) in (x y z) around 0 4.800 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) z) in z 4.800 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z 4.800 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.800 * [taylor]: Taking taylor expansion of x in z 4.800 * [backup-simplify]: Simplify x into x 4.800 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.800 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.800 * [taylor]: Taking taylor expansion of y in z 4.800 * [backup-simplify]: Simplify y into y 4.800 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.800 * [taylor]: Taking taylor expansion of z in z 4.800 * [backup-simplify]: Simplify 0 into 0 4.800 * [backup-simplify]: Simplify 1 into 1 4.801 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 y)) into (+ (/ 1 x) (/ 1 y)) 4.801 * [backup-simplify]: Simplify (/ (+ (/ 1 x) (/ 1 y)) 1) into (+ (/ 1 x) (/ 1 y)) 4.801 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) z) in y 4.801 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 4.801 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.801 * [taylor]: Taking taylor expansion of x in y 4.801 * [backup-simplify]: Simplify x into x 4.801 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.801 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.801 * [taylor]: Taking taylor expansion of y in y 4.801 * [backup-simplify]: Simplify 0 into 0 4.801 * [backup-simplify]: Simplify 1 into 1 4.802 * [backup-simplify]: Simplify (/ 1 1) into 1 4.802 * [taylor]: Taking taylor expansion of z in y 4.802 * [backup-simplify]: Simplify z into z 4.802 * [backup-simplify]: Simplify (+ 0 1) into 1 4.803 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.803 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) z) in x 4.803 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 4.803 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.803 * [taylor]: Taking taylor expansion of x in x 4.803 * [backup-simplify]: Simplify 0 into 0 4.803 * [backup-simplify]: Simplify 1 into 1 4.803 * [backup-simplify]: Simplify (/ 1 1) into 1 4.803 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.803 * [taylor]: Taking taylor expansion of y in x 4.803 * [backup-simplify]: Simplify y into y 4.804 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.804 * [taylor]: Taking taylor expansion of z in x 4.804 * [backup-simplify]: Simplify z into z 4.804 * [backup-simplify]: Simplify (+ 1 0) into 1 4.804 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.804 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) z) in x 4.804 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 4.804 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.805 * [taylor]: Taking taylor expansion of x in x 4.805 * [backup-simplify]: Simplify 0 into 0 4.805 * [backup-simplify]: Simplify 1 into 1 4.805 * [backup-simplify]: Simplify (/ 1 1) into 1 4.805 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.805 * [taylor]: Taking taylor expansion of y in x 4.805 * [backup-simplify]: Simplify y into y 4.805 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.805 * [taylor]: Taking taylor expansion of z in x 4.805 * [backup-simplify]: Simplify z into z 4.806 * [backup-simplify]: Simplify (+ 1 0) into 1 4.806 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.806 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.806 * [taylor]: Taking taylor expansion of z in y 4.806 * [backup-simplify]: Simplify z into z 4.806 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.807 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.807 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 4.808 * [backup-simplify]: Simplify (- (/ (/ 1 y) z) (+ (* (/ 1 z) (/ 0 z)))) into (/ 1 (* z y)) 4.808 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 4.808 * [taylor]: Taking taylor expansion of (* z y) in y 4.808 * [taylor]: Taking taylor expansion of z in y 4.808 * [backup-simplify]: Simplify z into z 4.808 * [taylor]: Taking taylor expansion of y in y 4.808 * [backup-simplify]: Simplify 0 into 0 4.808 * [backup-simplify]: Simplify 1 into 1 4.808 * [backup-simplify]: Simplify (* z 0) into 0 4.809 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 4.809 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.809 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.809 * [taylor]: Taking taylor expansion of z in z 4.809 * [backup-simplify]: Simplify 0 into 0 4.809 * [backup-simplify]: Simplify 1 into 1 4.809 * [backup-simplify]: Simplify (/ 1 1) into 1 4.809 * [backup-simplify]: Simplify 1 into 1 4.810 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.810 * [taylor]: Taking taylor expansion of z in z 4.810 * [backup-simplify]: Simplify 0 into 0 4.810 * [backup-simplify]: Simplify 1 into 1 4.810 * [backup-simplify]: Simplify (/ 1 1) into 1 4.810 * [backup-simplify]: Simplify 1 into 1 4.811 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.812 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.812 * [backup-simplify]: Simplify (+ 0 0) into 0 4.813 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* (/ 1 (* z y)) (/ 0 z)))) into 0 4.813 * [taylor]: Taking taylor expansion of 0 in y 4.813 * [backup-simplify]: Simplify 0 into 0 4.814 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 4.814 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 4.814 * [taylor]: Taking taylor expansion of 0 in z 4.814 * [backup-simplify]: Simplify 0 into 0 4.815 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 4.815 * [taylor]: Taking taylor expansion of 0 in z 4.815 * [backup-simplify]: Simplify 0 into 0 4.815 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.816 * [backup-simplify]: Simplify 0 into 0 4.816 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.816 * [backup-simplify]: Simplify 0 into 0 4.818 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.818 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.819 * [backup-simplify]: Simplify (+ 0 0) into 0 4.820 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* (/ 1 (* z y)) (/ 0 z)) (* 0 (/ 0 z)))) into 0 4.820 * [taylor]: Taking taylor expansion of 0 in y 4.820 * [backup-simplify]: Simplify 0 into 0 4.820 * [taylor]: Taking taylor expansion of 0 in z 4.820 * [backup-simplify]: Simplify 0 into 0 4.821 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.821 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 4.821 * [taylor]: Taking taylor expansion of 0 in z 4.821 * [backup-simplify]: Simplify 0 into 0 4.822 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 4.822 * [taylor]: Taking taylor expansion of 0 in z 4.822 * [backup-simplify]: Simplify 0 into 0 4.822 * [backup-simplify]: Simplify 0 into 0 4.822 * [backup-simplify]: Simplify 0 into 0 4.823 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.823 * [backup-simplify]: Simplify 0 into 0 4.824 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.824 * [backup-simplify]: Simplify 0 into 0 4.826 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 x))))) (* 1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1)))) into (+ (* z y) (* x z)) 4.827 * [backup-simplify]: Simplify (* (* (+ (/ 1 (- x)) (/ 1 (- y))) (sqrt (/ 1 (- z)))) (sqrt (/ 1 (- z)))) into (* -1 (* (pow (sqrt (/ -1 z)) 2) (+ (/ 1 x) (/ 1 y)))) 4.827 * [approximate]: Taking taylor expansion of (* -1 (* (pow (sqrt (/ -1 z)) 2) (+ (/ 1 x) (/ 1 y)))) in (x y z) around 0 4.827 * [taylor]: Taking taylor expansion of (* -1 (* (pow (sqrt (/ -1 z)) 2) (+ (/ 1 x) (/ 1 y)))) in z 4.827 * [taylor]: Taking taylor expansion of -1 in z 4.827 * [backup-simplify]: Simplify -1 into -1 4.827 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 z)) 2) (+ (/ 1 x) (/ 1 y))) in z 4.827 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 4.827 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.827 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.827 * [taylor]: Taking taylor expansion of -1 in z 4.827 * [backup-simplify]: Simplify -1 into -1 4.827 * [taylor]: Taking taylor expansion of z in z 4.827 * [backup-simplify]: Simplify 0 into 0 4.827 * [backup-simplify]: Simplify 1 into 1 4.828 * [backup-simplify]: Simplify (/ -1 1) into -1 4.828 * [backup-simplify]: Simplify (sqrt 0) into 0 4.830 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 4.830 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z 4.830 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.831 * [taylor]: Taking taylor expansion of x in z 4.831 * [backup-simplify]: Simplify x into x 4.831 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.831 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.831 * [taylor]: Taking taylor expansion of y in z 4.831 * [backup-simplify]: Simplify y into y 4.831 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.831 * [taylor]: Taking taylor expansion of (* -1 (* (pow (sqrt (/ -1 z)) 2) (+ (/ 1 x) (/ 1 y)))) in y 4.831 * [taylor]: Taking taylor expansion of -1 in y 4.831 * [backup-simplify]: Simplify -1 into -1 4.831 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 z)) 2) (+ (/ 1 x) (/ 1 y))) in y 4.831 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in y 4.831 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 4.831 * [taylor]: Taking taylor expansion of (/ -1 z) in y 4.831 * [taylor]: Taking taylor expansion of -1 in y 4.831 * [backup-simplify]: Simplify -1 into -1 4.831 * [taylor]: Taking taylor expansion of z in y 4.831 * [backup-simplify]: Simplify z into z 4.831 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 4.831 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 4.832 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 4.832 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 4.832 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 4.832 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.832 * [taylor]: Taking taylor expansion of x in y 4.832 * [backup-simplify]: Simplify x into x 4.832 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.832 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.832 * [taylor]: Taking taylor expansion of y in y 4.833 * [backup-simplify]: Simplify 0 into 0 4.833 * [backup-simplify]: Simplify 1 into 1 4.833 * [backup-simplify]: Simplify (/ 1 1) into 1 4.833 * [taylor]: Taking taylor expansion of (* -1 (* (pow (sqrt (/ -1 z)) 2) (+ (/ 1 x) (/ 1 y)))) in x 4.833 * [taylor]: Taking taylor expansion of -1 in x 4.833 * [backup-simplify]: Simplify -1 into -1 4.833 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 z)) 2) (+ (/ 1 x) (/ 1 y))) in x 4.833 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x 4.833 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 4.833 * [taylor]: Taking taylor expansion of (/ -1 z) in x 4.833 * [taylor]: Taking taylor expansion of -1 in x 4.833 * [backup-simplify]: Simplify -1 into -1 4.833 * [taylor]: Taking taylor expansion of z in x 4.833 * [backup-simplify]: Simplify z into z 4.833 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 4.834 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 4.834 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 4.834 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 4.834 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 4.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.834 * [taylor]: Taking taylor expansion of x in x 4.834 * [backup-simplify]: Simplify 0 into 0 4.835 * [backup-simplify]: Simplify 1 into 1 4.835 * [backup-simplify]: Simplify (/ 1 1) into 1 4.835 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.835 * [taylor]: Taking taylor expansion of y in x 4.835 * [backup-simplify]: Simplify y into y 4.835 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.835 * [taylor]: Taking taylor expansion of (* -1 (* (pow (sqrt (/ -1 z)) 2) (+ (/ 1 x) (/ 1 y)))) in x 4.835 * [taylor]: Taking taylor expansion of -1 in x 4.835 * [backup-simplify]: Simplify -1 into -1 4.835 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 z)) 2) (+ (/ 1 x) (/ 1 y))) in x 4.835 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in x 4.835 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 4.835 * [taylor]: Taking taylor expansion of (/ -1 z) in x 4.835 * [taylor]: Taking taylor expansion of -1 in x 4.835 * [backup-simplify]: Simplify -1 into -1 4.835 * [taylor]: Taking taylor expansion of z in x 4.836 * [backup-simplify]: Simplify z into z 4.836 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 4.836 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 4.836 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 4.836 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 4.837 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 4.837 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.837 * [taylor]: Taking taylor expansion of x in x 4.837 * [backup-simplify]: Simplify 0 into 0 4.837 * [backup-simplify]: Simplify 1 into 1 4.837 * [backup-simplify]: Simplify (/ 1 1) into 1 4.837 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.837 * [taylor]: Taking taylor expansion of y in x 4.837 * [backup-simplify]: Simplify y into y 4.837 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.838 * [backup-simplify]: Simplify (* (sqrt (/ -1 z)) (sqrt (/ -1 z))) into (pow (sqrt (/ -1 z)) 2) 4.838 * [backup-simplify]: Simplify (+ 1 0) into 1 4.839 * [backup-simplify]: Simplify (* (pow (sqrt (/ -1 z)) 2) 1) into (pow (sqrt (/ -1 z)) 2) 4.840 * [backup-simplify]: Simplify (* -1 (pow (sqrt (/ -1 z)) 2)) into (* -1 (pow (sqrt (/ -1 z)) 2)) 4.840 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt (/ -1 z)) 2)) in y 4.840 * [taylor]: Taking taylor expansion of -1 in y 4.840 * [backup-simplify]: Simplify -1 into -1 4.840 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in y 4.840 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 4.840 * [taylor]: Taking taylor expansion of (/ -1 z) in y 4.840 * [taylor]: Taking taylor expansion of -1 in y 4.840 * [backup-simplify]: Simplify -1 into -1 4.840 * [taylor]: Taking taylor expansion of z in y 4.840 * [backup-simplify]: Simplify z into z 4.840 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 4.840 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 4.841 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 4.841 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 4.842 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.842 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 4.843 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 z)) 0) (* 0 (sqrt (/ -1 z)))) into 0 4.844 * [backup-simplify]: Simplify (+ (* (pow (sqrt (/ -1 z)) 2) (/ 1 y)) (* 0 1)) into (/ (pow (sqrt (/ -1 z)) 2) y) 4.845 * [backup-simplify]: Simplify (+ (* -1 (/ (pow (sqrt (/ -1 z)) 2) y)) (* 0 (pow (sqrt (/ -1 z)) 2))) into (- (/ (pow (sqrt (/ -1 z)) 2) y)) 4.846 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt (/ -1 z)) 2) y)) in y 4.846 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) y) in y 4.846 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in y 4.846 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 4.846 * [taylor]: Taking taylor expansion of (/ -1 z) in y 4.846 * [taylor]: Taking taylor expansion of -1 in y 4.846 * [backup-simplify]: Simplify -1 into -1 4.846 * [taylor]: Taking taylor expansion of z in y 4.846 * [backup-simplify]: Simplify z into z 4.846 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 4.846 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 4.847 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 4.847 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 4.847 * [taylor]: Taking taylor expansion of y in y 4.847 * [backup-simplify]: Simplify 0 into 0 4.847 * [backup-simplify]: Simplify 1 into 1 4.847 * [backup-simplify]: Simplify (* (sqrt (/ -1 z)) (sqrt (/ -1 z))) into (pow (sqrt (/ -1 z)) 2) 4.848 * [backup-simplify]: Simplify (/ (pow (sqrt (/ -1 z)) 2) 1) into (pow (sqrt (/ -1 z)) 2) 4.848 * [backup-simplify]: Simplify (- (pow (sqrt (/ -1 z)) 2)) into (- (pow (sqrt (/ -1 z)) 2)) 4.849 * [taylor]: Taking taylor expansion of (- (pow (sqrt (/ -1 z)) 2)) in z 4.849 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 4.849 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.849 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.849 * [taylor]: Taking taylor expansion of -1 in z 4.849 * [backup-simplify]: Simplify -1 into -1 4.849 * [taylor]: Taking taylor expansion of z in z 4.849 * [backup-simplify]: Simplify 0 into 0 4.849 * [backup-simplify]: Simplify 1 into 1 4.850 * [backup-simplify]: Simplify (/ -1 1) into -1 4.850 * [backup-simplify]: Simplify (sqrt 0) into 0 4.852 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 4.852 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 4.852 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 4.853 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 4.853 * [backup-simplify]: Simplify (* (sqrt (/ -1 z)) (sqrt (/ -1 z))) into (pow (sqrt (/ -1 z)) 2) 4.854 * [backup-simplify]: Simplify (* -1 (pow (sqrt (/ -1 z)) 2)) into (* -1 (pow (sqrt (/ -1 z)) 2)) 4.854 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt (/ -1 z)) 2)) in z 4.854 * [taylor]: Taking taylor expansion of -1 in z 4.854 * [backup-simplify]: Simplify -1 into -1 4.854 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 4.854 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.854 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.854 * [taylor]: Taking taylor expansion of -1 in z 4.854 * [backup-simplify]: Simplify -1 into -1 4.854 * [taylor]: Taking taylor expansion of z in z 4.854 * [backup-simplify]: Simplify 0 into 0 4.854 * [backup-simplify]: Simplify 1 into 1 4.855 * [backup-simplify]: Simplify (/ -1 1) into -1 4.855 * [backup-simplify]: Simplify (sqrt 0) into 0 4.857 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 4.857 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 4.858 * [backup-simplify]: Simplify (* -1 +nan.0) into +nan.0 4.858 * [backup-simplify]: Simplify +nan.0 into +nan.0 4.859 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.859 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.859 * [backup-simplify]: Simplify (+ 0 0) into 0 4.860 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 4.861 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 z)))) into 0 4.862 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 z)) 0) (+ (* 0 0) (* 0 (sqrt (/ -1 z))))) into 0 4.864 * [backup-simplify]: Simplify (+ (* (pow (sqrt (/ -1 z)) 2) 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0 4.866 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ (pow (sqrt (/ -1 z)) 2) y)) (* 0 (pow (sqrt (/ -1 z)) 2)))) into 0 4.866 * [taylor]: Taking taylor expansion of 0 in y 4.866 * [backup-simplify]: Simplify 0 into 0 4.866 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 z)) 0) (* 0 (sqrt (/ -1 z)))) into 0 4.868 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt (/ -1 z)) 2) (/ 0 1)))) into 0 4.868 * [backup-simplify]: Simplify (- 0) into 0 4.868 * [taylor]: Taking taylor expansion of 0 in z 4.868 * [backup-simplify]: Simplify 0 into 0 4.868 * [backup-simplify]: Simplify 0 into 0 4.869 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 z)) 0) (* 0 (sqrt (/ -1 z)))) into 0 4.870 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (pow (sqrt (/ -1 z)) 2))) into 0 4.870 * [taylor]: Taking taylor expansion of 0 in z 4.870 * [backup-simplify]: Simplify 0 into 0 4.870 * [backup-simplify]: Simplify 0 into 0 4.871 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 4.875 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 4.876 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0)) into (- +nan.0) 4.877 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0) 4.877 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 4.880 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) 1))) (+ (* +nan.0 (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (* (- +nan.0) (* 1 (* (/ 1 (/ 1 (- y))) 1))))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))))) 4.880 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 4.881 * [backup-simplify]: Simplify (* (+ x y) (sqrt z)) into (* (+ x y) (sqrt z)) 4.881 * [approximate]: Taking taylor expansion of (* (+ x y) (sqrt z)) in (x y z) around 0 4.881 * [taylor]: Taking taylor expansion of (* (+ x y) (sqrt z)) in z 4.881 * [taylor]: Taking taylor expansion of (+ x y) in z 4.881 * [taylor]: Taking taylor expansion of x in z 4.881 * [backup-simplify]: Simplify x into x 4.881 * [taylor]: Taking taylor expansion of y in z 4.881 * [backup-simplify]: Simplify y into y 4.881 * [taylor]: Taking taylor expansion of (sqrt z) in z 4.881 * [taylor]: Taking taylor expansion of z in z 4.881 * [backup-simplify]: Simplify 0 into 0 4.881 * [backup-simplify]: Simplify 1 into 1 4.882 * [backup-simplify]: Simplify (sqrt 0) into 0 4.883 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 4.883 * [taylor]: Taking taylor expansion of (* (+ x y) (sqrt z)) in y 4.883 * [taylor]: Taking taylor expansion of (+ x y) in y 4.883 * [taylor]: Taking taylor expansion of x in y 4.883 * [backup-simplify]: Simplify x into x 4.883 * [taylor]: Taking taylor expansion of y in y 4.883 * [backup-simplify]: Simplify 0 into 0 4.883 * [backup-simplify]: Simplify 1 into 1 4.883 * [taylor]: Taking taylor expansion of (sqrt z) in y 4.884 * [taylor]: Taking taylor expansion of z in y 4.884 * [backup-simplify]: Simplify z into z 4.884 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 4.884 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0 4.884 * [taylor]: Taking taylor expansion of (* (+ x y) (sqrt z)) in x 4.884 * [taylor]: Taking taylor expansion of (+ x y) in x 4.884 * [taylor]: Taking taylor expansion of x in x 4.884 * [backup-simplify]: Simplify 0 into 0 4.884 * [backup-simplify]: Simplify 1 into 1 4.884 * [taylor]: Taking taylor expansion of y in x 4.884 * [backup-simplify]: Simplify y into y 4.884 * [taylor]: Taking taylor expansion of (sqrt z) in x 4.884 * [taylor]: Taking taylor expansion of z in x 4.884 * [backup-simplify]: Simplify z into z 4.884 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 4.885 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0 4.885 * [taylor]: Taking taylor expansion of (* (+ x y) (sqrt z)) in x 4.885 * [taylor]: Taking taylor expansion of (+ x y) in x 4.885 * [taylor]: Taking taylor expansion of x in x 4.885 * [backup-simplify]: Simplify 0 into 0 4.885 * [backup-simplify]: Simplify 1 into 1 4.885 * [taylor]: Taking taylor expansion of y in x 4.885 * [backup-simplify]: Simplify y into y 4.885 * [taylor]: Taking taylor expansion of (sqrt z) in x 4.885 * [taylor]: Taking taylor expansion of z in x 4.885 * [backup-simplify]: Simplify z into z 4.885 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 4.885 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0 4.885 * [backup-simplify]: Simplify (+ 0 y) into y 4.886 * [backup-simplify]: Simplify (* y (sqrt z)) into (* (sqrt z) y) 4.886 * [taylor]: Taking taylor expansion of (* (sqrt z) y) in y 4.886 * [taylor]: Taking taylor expansion of (sqrt z) in y 4.886 * [taylor]: Taking taylor expansion of z in y 4.886 * [backup-simplify]: Simplify z into z 4.886 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 4.886 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0 4.886 * [taylor]: Taking taylor expansion of y in y 4.886 * [backup-simplify]: Simplify 0 into 0 4.886 * [backup-simplify]: Simplify 1 into 1 4.886 * [backup-simplify]: Simplify (* (sqrt z) 0) into 0 4.886 * [taylor]: Taking taylor expansion of 0 in z 4.886 * [backup-simplify]: Simplify 0 into 0 4.886 * [backup-simplify]: Simplify 0 into 0 4.887 * [backup-simplify]: Simplify (+ 1 0) into 1 4.887 * [backup-simplify]: Simplify (+ (* y 0) (* 1 (sqrt z))) into (sqrt z) 4.887 * [taylor]: Taking taylor expansion of (sqrt z) in y 4.887 * [taylor]: Taking taylor expansion of z in y 4.887 * [backup-simplify]: Simplify z into z 4.887 * [backup-simplify]: Simplify (sqrt z) into (sqrt z) 4.888 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt z))) into 0 4.888 * [taylor]: Taking taylor expansion of (sqrt z) in z 4.888 * [taylor]: Taking taylor expansion of z in z 4.888 * [backup-simplify]: Simplify 0 into 0 4.888 * [backup-simplify]: Simplify 1 into 1 4.888 * [backup-simplify]: Simplify (sqrt 0) into 0 4.890 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 4.890 * [backup-simplify]: Simplify 0 into 0 4.890 * [backup-simplify]: Simplify (+ (* (sqrt z) 1) (* 0 0)) into (sqrt z) 4.890 * [taylor]: Taking taylor expansion of (sqrt z) in z 4.890 * [taylor]: Taking taylor expansion of z in z 4.890 * [backup-simplify]: Simplify 0 into 0 4.890 * [backup-simplify]: Simplify 1 into 1 4.891 * [backup-simplify]: Simplify (sqrt 0) into 0 4.892 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 4.892 * [backup-simplify]: Simplify 0 into 0 4.892 * [backup-simplify]: Simplify 0 into 0 4.893 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt z))) into 0 4.894 * [backup-simplify]: Simplify (+ 0 0) into 0 4.895 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 1 0) (* 0 (sqrt z)))) into 0 4.895 * [taylor]: Taking taylor expansion of 0 in y 4.895 * [backup-simplify]: Simplify 0 into 0 4.895 * [taylor]: Taking taylor expansion of 0 in z 4.895 * [backup-simplify]: Simplify 0 into 0 4.895 * [backup-simplify]: Simplify 0 into 0 4.895 * [taylor]: Taking taylor expansion of 0 in z 4.895 * [backup-simplify]: Simplify 0 into 0 4.895 * [backup-simplify]: Simplify 0 into 0 4.895 * [backup-simplify]: Simplify 0 into 0 4.896 * [backup-simplify]: Simplify (* (+ (/ 1 x) (/ 1 y)) (sqrt (/ 1 z))) into (* (sqrt (/ 1 z)) (+ (/ 1 x) (/ 1 y))) 4.896 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 z)) (+ (/ 1 x) (/ 1 y))) in (x y z) around 0 4.896 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (+ (/ 1 x) (/ 1 y))) in z 4.896 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 4.896 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.896 * [taylor]: Taking taylor expansion of z in z 4.896 * [backup-simplify]: Simplify 0 into 0 4.896 * [backup-simplify]: Simplify 1 into 1 4.896 * [backup-simplify]: Simplify (/ 1 1) into 1 4.897 * [backup-simplify]: Simplify (sqrt 0) into 0 4.898 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 4.898 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z 4.898 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.898 * [taylor]: Taking taylor expansion of x in z 4.898 * [backup-simplify]: Simplify x into x 4.898 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.898 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.898 * [taylor]: Taking taylor expansion of y in z 4.898 * [backup-simplify]: Simplify y into y 4.898 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.898 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (+ (/ 1 x) (/ 1 y))) in y 4.898 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 4.899 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.899 * [taylor]: Taking taylor expansion of z in y 4.899 * [backup-simplify]: Simplify z into z 4.899 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.899 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z)) 4.899 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 4.899 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0 4.899 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 4.900 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.900 * [taylor]: Taking taylor expansion of x in y 4.900 * [backup-simplify]: Simplify x into x 4.900 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.900 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.900 * [taylor]: Taking taylor expansion of y in y 4.900 * [backup-simplify]: Simplify 0 into 0 4.900 * [backup-simplify]: Simplify 1 into 1 4.900 * [backup-simplify]: Simplify (/ 1 1) into 1 4.900 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (+ (/ 1 x) (/ 1 y))) in x 4.900 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x 4.900 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.900 * [taylor]: Taking taylor expansion of z in x 4.900 * [backup-simplify]: Simplify z into z 4.901 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.901 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z)) 4.901 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 4.901 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0 4.901 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 4.901 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.901 * [taylor]: Taking taylor expansion of x in x 4.901 * [backup-simplify]: Simplify 0 into 0 4.901 * [backup-simplify]: Simplify 1 into 1 4.902 * [backup-simplify]: Simplify (/ 1 1) into 1 4.902 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.902 * [taylor]: Taking taylor expansion of y in x 4.902 * [backup-simplify]: Simplify y into y 4.902 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.902 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (+ (/ 1 x) (/ 1 y))) in x 4.902 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in x 4.902 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.902 * [taylor]: Taking taylor expansion of z in x 4.902 * [backup-simplify]: Simplify z into z 4.902 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.902 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z)) 4.902 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 4.902 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0 4.902 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 4.903 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.903 * [taylor]: Taking taylor expansion of x in x 4.903 * [backup-simplify]: Simplify 0 into 0 4.903 * [backup-simplify]: Simplify 1 into 1 4.903 * [backup-simplify]: Simplify (/ 1 1) into 1 4.903 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.903 * [taylor]: Taking taylor expansion of y in x 4.903 * [backup-simplify]: Simplify y into y 4.903 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.903 * [backup-simplify]: Simplify (+ 1 0) into 1 4.903 * [backup-simplify]: Simplify (* (sqrt (/ 1 z)) 1) into (sqrt (/ 1 z)) 4.903 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 4.903 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.903 * [taylor]: Taking taylor expansion of z in y 4.904 * [backup-simplify]: Simplify z into z 4.904 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.904 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z)) 4.904 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 4.904 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0 4.904 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.905 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 4.905 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 z)) (/ 1 y)) (* 0 1)) into (* (sqrt (/ 1 z)) (/ 1 y)) 4.905 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (/ 1 y)) in y 4.905 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in y 4.905 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.905 * [taylor]: Taking taylor expansion of z in y 4.905 * [backup-simplify]: Simplify z into z 4.905 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.905 * [backup-simplify]: Simplify (sqrt (/ 1 z)) into (sqrt (/ 1 z)) 4.906 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 4.906 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 z)))) into 0 4.906 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.906 * [taylor]: Taking taylor expansion of y in y 4.906 * [backup-simplify]: Simplify 0 into 0 4.906 * [backup-simplify]: Simplify 1 into 1 4.906 * [backup-simplify]: Simplify (/ 1 1) into 1 4.906 * [backup-simplify]: Simplify (* (sqrt (/ 1 z)) 1) into (sqrt (/ 1 z)) 4.906 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 4.906 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.906 * [taylor]: Taking taylor expansion of z in z 4.906 * [backup-simplify]: Simplify 0 into 0 4.906 * [backup-simplify]: Simplify 1 into 1 4.907 * [backup-simplify]: Simplify (/ 1 1) into 1 4.907 * [backup-simplify]: Simplify (sqrt 0) into 0 4.908 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 4.908 * [backup-simplify]: Simplify 0 into 0 4.908 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 4.908 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.908 * [taylor]: Taking taylor expansion of z in z 4.908 * [backup-simplify]: Simplify 0 into 0 4.908 * [backup-simplify]: Simplify 1 into 1 4.910 * [backup-simplify]: Simplify (/ 1 1) into 1 4.910 * [backup-simplify]: Simplify (sqrt 0) into 0 4.911 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 4.911 * [backup-simplify]: Simplify 0 into 0 4.912 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.912 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.912 * [backup-simplify]: Simplify (+ 0 0) into 0 4.912 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 4.913 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 z)))) into 0 4.914 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 z)) 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0 4.914 * [taylor]: Taking taylor expansion of 0 in y 4.914 * [backup-simplify]: Simplify 0 into 0 4.914 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.915 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 z)) 0) (* 0 1)) into 0 4.915 * [taylor]: Taking taylor expansion of 0 in z 4.915 * [backup-simplify]: Simplify 0 into 0 4.915 * [taylor]: Taking taylor expansion of 0 in z 4.915 * [backup-simplify]: Simplify 0 into 0 4.915 * [backup-simplify]: Simplify +nan.0 into +nan.0 4.915 * [backup-simplify]: Simplify +nan.0 into +nan.0 4.915 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.916 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.916 * [backup-simplify]: Simplify (+ 0 0) into 0 4.916 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 4.917 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 z)))) into 0 4.918 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 z)) 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0 4.918 * [taylor]: Taking taylor expansion of 0 in y 4.918 * [backup-simplify]: Simplify 0 into 0 4.918 * [taylor]: Taking taylor expansion of 0 in z 4.918 * [backup-simplify]: Simplify 0 into 0 4.918 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.919 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 4.919 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 z)))) into 0 4.920 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 z)) 0) (+ (* 0 0) (* 0 1))) into 0 4.920 * [taylor]: Taking taylor expansion of 0 in z 4.920 * [backup-simplify]: Simplify 0 into 0 4.920 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 4.921 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 z)))) into 0 4.921 * [taylor]: Taking taylor expansion of 0 in z 4.921 * [backup-simplify]: Simplify 0 into 0 4.921 * [backup-simplify]: Simplify 0 into 0 4.921 * [backup-simplify]: Simplify 0 into 0 4.921 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.923 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 4.923 * [backup-simplify]: Simplify +nan.0 into +nan.0 4.924 * [backup-simplify]: Simplify (+ (* +nan.0 (* (/ 1 z) (* (/ 1 (/ 1 y)) 1))) (+ (* +nan.0 (* 1 (* 1 (/ 1 (/ 1 x))))) (* +nan.0 (* 1 (* (/ 1 (/ 1 y)) 1))))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))))) 4.925 * [backup-simplify]: Simplify (* (+ (/ 1 (- x)) (/ 1 (- y))) (sqrt (/ 1 (- z)))) into (* -1 (* (sqrt (/ -1 z)) (+ (/ 1 x) (/ 1 y)))) 4.925 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (/ -1 z)) (+ (/ 1 x) (/ 1 y)))) in (x y z) around 0 4.925 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ -1 z)) (+ (/ 1 x) (/ 1 y)))) in z 4.925 * [taylor]: Taking taylor expansion of -1 in z 4.925 * [backup-simplify]: Simplify -1 into -1 4.925 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 z)) (+ (/ 1 x) (/ 1 y))) in z 4.925 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.925 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.925 * [taylor]: Taking taylor expansion of -1 in z 4.925 * [backup-simplify]: Simplify -1 into -1 4.925 * [taylor]: Taking taylor expansion of z in z 4.925 * [backup-simplify]: Simplify 0 into 0 4.925 * [backup-simplify]: Simplify 1 into 1 4.925 * [backup-simplify]: Simplify (/ -1 1) into -1 4.925 * [backup-simplify]: Simplify (sqrt 0) into 0 4.926 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 4.926 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in z 4.926 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.926 * [taylor]: Taking taylor expansion of x in z 4.926 * [backup-simplify]: Simplify x into x 4.926 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.926 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.926 * [taylor]: Taking taylor expansion of y in z 4.926 * [backup-simplify]: Simplify y into y 4.926 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.926 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ -1 z)) (+ (/ 1 x) (/ 1 y)))) in y 4.927 * [taylor]: Taking taylor expansion of -1 in y 4.927 * [backup-simplify]: Simplify -1 into -1 4.927 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 z)) (+ (/ 1 x) (/ 1 y))) in y 4.927 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 4.927 * [taylor]: Taking taylor expansion of (/ -1 z) in y 4.927 * [taylor]: Taking taylor expansion of -1 in y 4.927 * [backup-simplify]: Simplify -1 into -1 4.927 * [taylor]: Taking taylor expansion of z in y 4.927 * [backup-simplify]: Simplify z into z 4.927 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 4.927 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 4.927 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 4.927 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 4.927 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 4.927 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.927 * [taylor]: Taking taylor expansion of x in y 4.927 * [backup-simplify]: Simplify x into x 4.927 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.927 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.927 * [taylor]: Taking taylor expansion of y in y 4.927 * [backup-simplify]: Simplify 0 into 0 4.927 * [backup-simplify]: Simplify 1 into 1 4.928 * [backup-simplify]: Simplify (/ 1 1) into 1 4.928 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ -1 z)) (+ (/ 1 x) (/ 1 y)))) in x 4.928 * [taylor]: Taking taylor expansion of -1 in x 4.928 * [backup-simplify]: Simplify -1 into -1 4.928 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 z)) (+ (/ 1 x) (/ 1 y))) in x 4.928 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 4.928 * [taylor]: Taking taylor expansion of (/ -1 z) in x 4.928 * [taylor]: Taking taylor expansion of -1 in x 4.928 * [backup-simplify]: Simplify -1 into -1 4.928 * [taylor]: Taking taylor expansion of z in x 4.928 * [backup-simplify]: Simplify z into z 4.928 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 4.928 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 4.928 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 4.928 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 4.929 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 4.929 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.929 * [taylor]: Taking taylor expansion of x in x 4.929 * [backup-simplify]: Simplify 0 into 0 4.929 * [backup-simplify]: Simplify 1 into 1 4.929 * [backup-simplify]: Simplify (/ 1 1) into 1 4.929 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.929 * [taylor]: Taking taylor expansion of y in x 4.929 * [backup-simplify]: Simplify y into y 4.929 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.929 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ -1 z)) (+ (/ 1 x) (/ 1 y)))) in x 4.929 * [taylor]: Taking taylor expansion of -1 in x 4.929 * [backup-simplify]: Simplify -1 into -1 4.929 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 z)) (+ (/ 1 x) (/ 1 y))) in x 4.929 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in x 4.929 * [taylor]: Taking taylor expansion of (/ -1 z) in x 4.929 * [taylor]: Taking taylor expansion of -1 in x 4.929 * [backup-simplify]: Simplify -1 into -1 4.929 * [taylor]: Taking taylor expansion of z in x 4.929 * [backup-simplify]: Simplify z into z 4.929 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 4.929 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 4.930 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 4.930 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 4.930 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 4.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.930 * [taylor]: Taking taylor expansion of x in x 4.930 * [backup-simplify]: Simplify 0 into 0 4.930 * [backup-simplify]: Simplify 1 into 1 4.931 * [backup-simplify]: Simplify (/ 1 1) into 1 4.931 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.931 * [taylor]: Taking taylor expansion of y in x 4.931 * [backup-simplify]: Simplify y into y 4.931 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.931 * [backup-simplify]: Simplify (+ 1 0) into 1 4.932 * [backup-simplify]: Simplify (* (sqrt (/ -1 z)) 1) into (sqrt (/ -1 z)) 4.932 * [backup-simplify]: Simplify (* -1 (sqrt (/ -1 z))) into (* -1 (sqrt (/ -1 z))) 4.932 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 z))) in y 4.932 * [taylor]: Taking taylor expansion of -1 in y 4.932 * [backup-simplify]: Simplify -1 into -1 4.932 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 4.932 * [taylor]: Taking taylor expansion of (/ -1 z) in y 4.932 * [taylor]: Taking taylor expansion of -1 in y 4.932 * [backup-simplify]: Simplify -1 into -1 4.932 * [taylor]: Taking taylor expansion of z in y 4.932 * [backup-simplify]: Simplify z into z 4.932 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 4.932 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 4.933 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 4.933 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 4.934 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.934 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 4.935 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 z)) (/ 1 y)) (* 0 1)) into (/ (sqrt (/ -1 z)) y) 4.936 * [backup-simplify]: Simplify (+ (* -1 (/ (sqrt (/ -1 z)) y)) (* 0 (sqrt (/ -1 z)))) into (- (/ (sqrt (/ -1 z)) y)) 4.936 * [taylor]: Taking taylor expansion of (- (/ (sqrt (/ -1 z)) y)) in y 4.936 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 z)) y) in y 4.936 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 4.936 * [taylor]: Taking taylor expansion of (/ -1 z) in y 4.936 * [taylor]: Taking taylor expansion of -1 in y 4.936 * [backup-simplify]: Simplify -1 into -1 4.936 * [taylor]: Taking taylor expansion of z in y 4.936 * [backup-simplify]: Simplify z into z 4.936 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 4.936 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 4.937 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 4.937 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 4.937 * [taylor]: Taking taylor expansion of y in y 4.937 * [backup-simplify]: Simplify 0 into 0 4.937 * [backup-simplify]: Simplify 1 into 1 4.937 * [backup-simplify]: Simplify (/ (sqrt (/ -1 z)) 1) into (sqrt (/ -1 z)) 4.937 * [backup-simplify]: Simplify (- (sqrt (/ -1 z))) into (- (sqrt (/ -1 z))) 4.937 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 z))) in z 4.937 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.937 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.937 * [taylor]: Taking taylor expansion of -1 in z 4.937 * [backup-simplify]: Simplify -1 into -1 4.937 * [taylor]: Taking taylor expansion of z in z 4.938 * [backup-simplify]: Simplify 0 into 0 4.938 * [backup-simplify]: Simplify 1 into 1 4.938 * [backup-simplify]: Simplify (/ -1 1) into -1 4.938 * [backup-simplify]: Simplify (sqrt 0) into 0 4.940 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 4.940 * [backup-simplify]: Simplify (- 0) into 0 4.941 * [backup-simplify]: Simplify 0 into 0 4.941 * [backup-simplify]: Simplify (* -1 (sqrt (/ -1 z))) into (* -1 (sqrt (/ -1 z))) 4.941 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 z))) in z 4.941 * [taylor]: Taking taylor expansion of -1 in z 4.941 * [backup-simplify]: Simplify -1 into -1 4.941 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 4.941 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.941 * [taylor]: Taking taylor expansion of -1 in z 4.941 * [backup-simplify]: Simplify -1 into -1 4.941 * [taylor]: Taking taylor expansion of z in z 4.941 * [backup-simplify]: Simplify 0 into 0 4.941 * [backup-simplify]: Simplify 1 into 1 4.942 * [backup-simplify]: Simplify (/ -1 1) into -1 4.942 * [backup-simplify]: Simplify (sqrt 0) into 0 4.943 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 4.944 * [backup-simplify]: Simplify (* -1 0) into 0 4.944 * [backup-simplify]: Simplify 0 into 0 4.945 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.945 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.946 * [backup-simplify]: Simplify (+ 0 0) into 0 4.946 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 4.947 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 z)))) into 0 4.947 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 z)) 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0 4.948 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ (sqrt (/ -1 z)) y)) (* 0 (sqrt (/ -1 z))))) into 0 4.948 * [taylor]: Taking taylor expansion of 0 in y 4.948 * [backup-simplify]: Simplify 0 into 0 4.949 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt (/ -1 z)) (/ 0 1)))) into 0 4.949 * [backup-simplify]: Simplify (- 0) into 0 4.949 * [taylor]: Taking taylor expansion of 0 in z 4.949 * [backup-simplify]: Simplify 0 into 0 4.950 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt (/ -1 z)))) into 0 4.950 * [taylor]: Taking taylor expansion of 0 in z 4.950 * [backup-simplify]: Simplify 0 into 0 4.950 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 4.950 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 4.951 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (* 0 0)) into (- +nan.0) 4.951 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 4.952 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.952 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.953 * [backup-simplify]: Simplify (+ 0 0) into 0 4.953 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 4.954 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ -1 z)))) into 0 4.955 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 z)) 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0 4.956 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ (sqrt (/ -1 z)) y)) (* 0 (sqrt (/ -1 z)))))) into 0 4.956 * [taylor]: Taking taylor expansion of 0 in y 4.956 * [backup-simplify]: Simplify 0 into 0 4.956 * [taylor]: Taking taylor expansion of 0 in z 4.956 * [backup-simplify]: Simplify 0 into 0 4.956 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 4.957 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 z)))) into 0 4.958 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt (/ -1 z)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.958 * [backup-simplify]: Simplify (- 0) into 0 4.958 * [taylor]: Taking taylor expansion of 0 in z 4.958 * [backup-simplify]: Simplify 0 into 0 4.959 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 4.959 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 z)))) into 0 4.960 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt (/ -1 z))))) into 0 4.960 * [taylor]: Taking taylor expansion of 0 in z 4.960 * [backup-simplify]: Simplify 0 into 0 4.960 * [backup-simplify]: Simplify 0 into 0 4.960 * [backup-simplify]: Simplify 0 into 0 4.960 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 4.963 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 4.963 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 4.963 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 4.965 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) 1))) (+ (* (- +nan.0) (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (* (- +nan.0) (* 1 (* (/ 1 (/ 1 (- y))) 1))))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))))) 4.965 * * * [progress]: simplifying candidates 4.965 * * * * [progress]: [ 1 / 56 ] simplifiying candidate #real (real->posit16 (* (* (+ x y) (sqrt z)) (sqrt z)))))> 4.965 * * * * [progress]: [ 2 / 56 ] simplifiying candidate # 4.965 * * * * [progress]: [ 3 / 56 ] simplifiying candidate # 4.965 * * * * [progress]: [ 4 / 56 ] simplifiying candidate # 4.965 * * * * [progress]: [ 5 / 56 ] simplifiying candidate # 4.965 * * * * [progress]: [ 6 / 56 ] simplifiying candidate # 4.965 * * * * [progress]: [ 7 / 56 ] simplifiying candidate # 4.965 * * * * [progress]: [ 8 / 56 ] simplifiying candidate # 4.965 * * * * [progress]: [ 9 / 56 ] simplifiying candidate # 4.965 * * * * [progress]: [ 10 / 56 ] simplifiying candidate # 4.965 * * * * [progress]: [ 11 / 56 ] simplifiying candidate # 4.965 * * * * [progress]: [ 12 / 56 ] simplifiying candidate # 4.965 * * * * [progress]: [ 13 / 56 ] simplifiying candidate # 4.966 * * * * [progress]: [ 14 / 56 ] simplifiying candidate # 4.966 * * * * [progress]: [ 15 / 56 ] simplifiying candidate # 4.966 * * * * [progress]: [ 16 / 56 ] simplifiying candidate # 4.966 * * * * [progress]: [ 17 / 56 ] simplifiying candidate # 4.966 * * * * [progress]: [ 18 / 56 ] simplifiying candidate # 4.966 * * * * [progress]: [ 19 / 56 ] simplifiying candidate # 4.966 * * * * [progress]: [ 20 / 56 ] simplifiying candidate # 4.966 * * * * [progress]: [ 21 / 56 ] simplifiying candidate # 4.966 * * * * [progress]: [ 22 / 56 ] simplifiying candidate # 4.966 * * * * [progress]: [ 23 / 56 ] simplifiying candidate # 4.966 * * * * [progress]: [ 24 / 56 ] simplifiying candidate # 4.966 * * * * [progress]: [ 25 / 56 ] simplifiying candidate #real (real->posit16 (* (+ x y) (sqrt z)))) (sqrt z)))> 4.966 * * * * [progress]: [ 26 / 56 ] simplifiying candidate # 4.966 * * * * [progress]: [ 27 / 56 ] simplifiying candidate # 4.966 * * * * [progress]: [ 28 / 56 ] simplifiying candidate # 4.966 * * * * [progress]: [ 29 / 56 ] simplifiying candidate # 4.966 * * * * [progress]: [ 30 / 56 ] simplifiying candidate # 4.966 * * * * [progress]: [ 31 / 56 ] simplifiying candidate # 4.966 * * * * [progress]: [ 32 / 56 ] simplifiying candidate # 4.967 * * * * [progress]: [ 33 / 56 ] simplifiying candidate # 4.967 * * * * [progress]: [ 34 / 56 ] simplifiying candidate # 4.967 * * * * [progress]: [ 35 / 56 ] simplifiying candidate # 4.967 * * * * [progress]: [ 36 / 56 ] simplifiying candidate # 4.967 * * * * [progress]: [ 37 / 56 ] simplifiying candidate # 4.967 * * * * [progress]: [ 38 / 56 ] simplifiying candidate # 4.967 * * * * [progress]: [ 39 / 56 ] simplifiying candidate # 4.967 * * * * [progress]: [ 40 / 56 ] simplifiying candidate # 4.967 * * * * [progress]: [ 41 / 56 ] simplifiying candidate # 4.967 * * * * [progress]: [ 42 / 56 ] simplifiying candidate # 4.967 * * * * [progress]: [ 43 / 56 ] simplifiying candidate # 4.967 * * * * [progress]: [ 44 / 56 ] simplifiying candidate # 4.967 * * * * [progress]: [ 45 / 56 ] simplifiying candidate # 4.967 * * * * [progress]: [ 46 / 56 ] simplifiying candidate # 4.967 * * * * [progress]: [ 47 / 56 ] simplifiying candidate # 4.967 * * * * [progress]: [ 48 / 56 ] simplifiying candidate # 4.967 * * * * [progress]: [ 49 / 56 ] simplifiying candidate # 4.967 * * * * [progress]: [ 50 / 56 ] simplifiying candidate # 4.967 * * * * [progress]: [ 51 / 56 ] simplifiying candidate # 4.967 * * * * [progress]: [ 52 / 56 ] simplifiying candidate # 4.967 * * * * [progress]: [ 53 / 56 ] simplifiying candidate # 4.967 * * * * [progress]: [ 54 / 56 ] simplifiying candidate # 4.967 * * * * [progress]: [ 55 / 56 ] simplifiying candidate # 4.967 * * * * [progress]: [ 56 / 56 ] simplifiying candidate # 4.968 * [simplify]: Simplifying: (real->posit16 (* (* (+ x y) (sqrt z)) (sqrt z))) (* (* (+ x y) (sqrt z)) (sqrt z)) (* (* (+ x y) (sqrt z)) (sqrt z)) (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) (+ (log (* (+ x y) (sqrt z))) (log (sqrt z))) (log (* (* (+ x y) (sqrt z)) (sqrt z))) (exp (* (* (+ x y) (sqrt z)) (sqrt z))) (* (* (* (* (+ x y) (+ x y)) (+ x y)) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (* (* (* (+ x y) (sqrt z)) (* (+ x y) (sqrt z))) (* (+ x y) (sqrt z))) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (cbrt (* (* (+ x y) (sqrt z)) (sqrt z))) (cbrt (* (* (+ x y) (sqrt z)) (sqrt z)))) (cbrt (* (* (+ x y) (sqrt z)) (sqrt z))) (* (* (* (* (+ x y) (sqrt z)) (sqrt z)) (* (* (+ x y) (sqrt z)) (sqrt z))) (* (* (+ x y) (sqrt z)) (sqrt z))) (sqrt (* (* (+ x y) (sqrt z)) (sqrt z))) (sqrt (* (* (+ x y) (sqrt z)) (sqrt z))) (* (* (+ x y) (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* (* (+ x y) (sqrt z)) (sqrt (* (cbrt z) (cbrt z)))) (* (* (+ x y) (sqrt z)) (sqrt (sqrt z))) (* (* (+ x y) (sqrt z)) (sqrt 1)) (* (* (+ x y) (sqrt z)) (sqrt (sqrt z))) (* (* (+ x y) (sqrt z)) 1) (* (sqrt z) (sqrt z)) (* (* (+ (pow x 3) (pow y 3)) (sqrt z)) (sqrt z)) (* (* (- (* x x) (* y y)) (sqrt z)) (sqrt z)) (real->posit16 (* (+ x y) (sqrt z))) (* (+ x y) (sqrt z)) (+ (log (+ x y)) (log (sqrt z))) (log (* (+ x y) (sqrt z))) (exp (* (+ x y) (sqrt z))) (* (* (* (+ x y) (+ x y)) (+ x y)) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (cbrt (* (+ x y) (sqrt z))) (cbrt (* (+ x y) (sqrt z)))) (cbrt (* (+ x y) (sqrt z))) (* (* (* (+ x y) (sqrt z)) (* (+ x y) (sqrt z))) (* (+ x y) (sqrt z))) (sqrt (* (+ x y) (sqrt z))) (sqrt (* (+ x y) (sqrt z))) (* (sqrt (+ x y)) (sqrt (sqrt z))) (* (sqrt (+ x y)) (sqrt (sqrt z))) (* (sqrt (+ x y)) (sqrt (sqrt z))) (* (sqrt (+ x y)) (sqrt (sqrt z))) (* (+ x y) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* (+ x y) (sqrt (* (cbrt z) (cbrt z)))) (* (+ x y) (sqrt (sqrt z))) (* (+ x y) (sqrt 1)) (* (+ x y) (sqrt (sqrt z))) (* (+ x y) 1) (* (cbrt (+ x y)) (sqrt z)) (* (sqrt (+ x y)) (sqrt z)) (* (+ x y) (sqrt z)) (* (+ x y) (sqrt z)) (* (+ (pow x 3) (pow y 3)) (sqrt z)) (* (- (* x x) (* y y)) (sqrt z)) 0 (+ (* z y) (* x z)) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))))) 0 (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))))) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))))) 4.969 * * [simplify]: iteration 0: 83 enodes 5.054 * * [simplify]: iteration 1: 219 enodes 5.300 * * [simplify]: iteration 2: 781 enodes 6.658 * * [simplify]: iteration 3: 2454 enodes 9.155 * * [simplify]: iteration complete: 5000 enodes 9.155 * * [simplify]: Extracting #0: cost 34 inf + 0 9.157 * * [simplify]: Extracting #1: cost 429 inf + 2 9.164 * * [simplify]: Extracting #2: cost 1221 inf + 795 9.185 * * [simplify]: Extracting #3: cost 1396 inf + 43664 9.223 * * [simplify]: Extracting #4: cost 648 inf + 191814 9.330 * * [simplify]: Extracting #5: cost 109 inf + 309326 9.435 * * [simplify]: Extracting #6: cost 39 inf + 330513 9.529 * * [simplify]: Extracting #7: cost 9 inf + 334852 9.608 * * [simplify]: Extracting #8: cost 0 inf + 337129 9.716 * [simplify]: Simplified to: (real->posit16 (* z (+ y x))) (* z (+ y x)) (* z (+ y x)) (log (* z (+ y x))) (log (* z (+ y x))) (log (* z (+ y x))) (exp (* z (+ y x))) (* (* (* z (+ y x)) (* z (+ y x))) (* z (+ y x))) (* (* (* z (+ y x)) (* z (+ y x))) (* z (+ y x))) (* (cbrt (* z (+ y x))) (cbrt (* z (+ y x)))) (cbrt (* z (+ y x))) (* (* (* z (+ y x)) (* z (+ y x))) (* z (+ y x))) (sqrt (* z (+ y x))) (sqrt (* z (+ y x))) (* (+ y x) (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (sqrt z))) (* (* (sqrt z) (+ y x)) (fabs (cbrt z))) (* (* (+ y x) (sqrt (sqrt z))) (sqrt z)) (* (sqrt z) (+ y x)) (* (* (+ y x) (sqrt (sqrt z))) (sqrt z)) (* (sqrt z) (+ y x)) z (* (+ (* (* y y) y) (* (* x x) x)) z) (* z (* (+ y x) (- x y))) (real->posit16 (* (sqrt z) (+ y x))) (* (sqrt z) (+ y x)) (log (* (sqrt z) (+ y x))) (log (* (sqrt z) (+ y x))) (exp (* (sqrt z) (+ y x))) (* (* (* (sqrt z) (+ y x)) (* (sqrt z) (+ y x))) (* (sqrt z) (+ y x))) (* (cbrt (* (sqrt z) (+ y x))) (cbrt (* (sqrt z) (+ y x)))) (cbrt (* (sqrt z) (+ y x))) (* (* (* (sqrt z) (+ y x)) (* (sqrt z) (+ y x))) (* (sqrt z) (+ y x))) (sqrt (* (sqrt z) (+ y x))) (sqrt (* (sqrt z) (+ y x))) (* (sqrt (sqrt z)) (sqrt (+ y x))) (* (sqrt (sqrt z)) (sqrt (+ y x))) (* (sqrt (sqrt z)) (sqrt (+ y x))) (* (sqrt (sqrt z)) (sqrt (+ y x))) (* (cbrt (sqrt z)) (* (cbrt (sqrt z)) (+ y x))) (* (fabs (cbrt z)) (+ y x)) (* (+ y x) (sqrt (sqrt z))) (+ y x) (* (+ y x) (sqrt (sqrt z))) (+ y x) (* (cbrt (+ y x)) (sqrt z)) (* (sqrt (+ y x)) (sqrt z)) (* (sqrt z) (+ y x)) (* (sqrt z) (+ y x)) (* (sqrt z) (+ (* (* y y) y) (* (* x x) x))) (* (sqrt z) (* (+ y x) (- x y))) 0 (+ (* x z) (* z y)) (+ (* +nan.0 (- (/ y z) y)) (* (- x) +nan.0)) 0 (+ (* +nan.0 (- (/ y z) y)) (* (- x) +nan.0)) (+ (* +nan.0 (- (/ y z) y)) (* (- x) +nan.0)) 9.719 * * * [progress]: adding candidates to table 10.281 * * [progress]: iteration 3 / 4 10.281 * * * [progress]: picking best candidate 10.300 * * * * [pick]: Picked # 10.300 * * * [progress]: localizing error 10.312 * * * [progress]: generating rewritten candidates 10.312 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 10.323 * * * [progress]: generating series expansions 10.323 * * * * [progress]: [ 1 / 1 ] generating series at (2) 10.323 * [backup-simplify]: Simplify (+ (* z y) (* x z)) into (+ (* z y) (* x z)) 10.323 * [approximate]: Taking taylor expansion of (+ (* z y) (* x z)) in (z y x) around 0 10.323 * [taylor]: Taking taylor expansion of (+ (* z y) (* x z)) in x 10.323 * [taylor]: Taking taylor expansion of (* z y) in x 10.323 * [taylor]: Taking taylor expansion of z in x 10.323 * [backup-simplify]: Simplify z into z 10.323 * [taylor]: Taking taylor expansion of y in x 10.323 * [backup-simplify]: Simplify y into y 10.323 * [taylor]: Taking taylor expansion of (* x z) in x 10.323 * [taylor]: Taking taylor expansion of x in x 10.323 * [backup-simplify]: Simplify 0 into 0 10.323 * [backup-simplify]: Simplify 1 into 1 10.323 * [taylor]: Taking taylor expansion of z in x 10.323 * [backup-simplify]: Simplify z into z 10.323 * [taylor]: Taking taylor expansion of (+ (* z y) (* x z)) in y 10.323 * [taylor]: Taking taylor expansion of (* z y) in y 10.323 * [taylor]: Taking taylor expansion of z in y 10.323 * [backup-simplify]: Simplify z into z 10.323 * [taylor]: Taking taylor expansion of y in y 10.323 * [backup-simplify]: Simplify 0 into 0 10.323 * [backup-simplify]: Simplify 1 into 1 10.324 * [taylor]: Taking taylor expansion of (* x z) in y 10.324 * [taylor]: Taking taylor expansion of x in y 10.324 * [backup-simplify]: Simplify x into x 10.324 * [taylor]: Taking taylor expansion of z in y 10.324 * [backup-simplify]: Simplify z into z 10.324 * [taylor]: Taking taylor expansion of (+ (* z y) (* x z)) in z 10.324 * [taylor]: Taking taylor expansion of (* z y) in z 10.324 * [taylor]: Taking taylor expansion of z in z 10.324 * [backup-simplify]: Simplify 0 into 0 10.324 * [backup-simplify]: Simplify 1 into 1 10.324 * [taylor]: Taking taylor expansion of y in z 10.324 * [backup-simplify]: Simplify y into y 10.324 * [taylor]: Taking taylor expansion of (* x z) in z 10.324 * [taylor]: Taking taylor expansion of x in z 10.324 * [backup-simplify]: Simplify x into x 10.324 * [taylor]: Taking taylor expansion of z in z 10.324 * [backup-simplify]: Simplify 0 into 0 10.324 * [backup-simplify]: Simplify 1 into 1 10.324 * [taylor]: Taking taylor expansion of (+ (* z y) (* x z)) in z 10.324 * [taylor]: Taking taylor expansion of (* z y) in z 10.324 * [taylor]: Taking taylor expansion of z in z 10.324 * [backup-simplify]: Simplify 0 into 0 10.324 * [backup-simplify]: Simplify 1 into 1 10.324 * [taylor]: Taking taylor expansion of y in z 10.324 * [backup-simplify]: Simplify y into y 10.324 * [taylor]: Taking taylor expansion of (* x z) in z 10.324 * [taylor]: Taking taylor expansion of x in z 10.324 * [backup-simplify]: Simplify x into x 10.324 * [taylor]: Taking taylor expansion of z in z 10.324 * [backup-simplify]: Simplify 0 into 0 10.324 * [backup-simplify]: Simplify 1 into 1 10.324 * [backup-simplify]: Simplify (* 0 y) into 0 10.324 * [backup-simplify]: Simplify (* x 0) into 0 10.325 * [backup-simplify]: Simplify (+ 0 0) into 0 10.325 * [taylor]: Taking taylor expansion of 0 in y 10.325 * [backup-simplify]: Simplify 0 into 0 10.325 * [taylor]: Taking taylor expansion of 0 in x 10.325 * [backup-simplify]: Simplify 0 into 0 10.325 * [backup-simplify]: Simplify 0 into 0 10.325 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.326 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 10.326 * [backup-simplify]: Simplify (+ y x) into (+ x y) 10.326 * [taylor]: Taking taylor expansion of (+ x y) in y 10.326 * [taylor]: Taking taylor expansion of x in y 10.326 * [backup-simplify]: Simplify x into x 10.326 * [taylor]: Taking taylor expansion of y in y 10.326 * [backup-simplify]: Simplify 0 into 0 10.326 * [backup-simplify]: Simplify 1 into 1 10.326 * [backup-simplify]: Simplify (+ x 0) into x 10.326 * [taylor]: Taking taylor expansion of x in x 10.326 * [backup-simplify]: Simplify 0 into 0 10.326 * [backup-simplify]: Simplify 1 into 1 10.326 * [backup-simplify]: Simplify 0 into 0 10.326 * [taylor]: Taking taylor expansion of 0 in x 10.326 * [backup-simplify]: Simplify 0 into 0 10.326 * [backup-simplify]: Simplify 0 into 0 10.326 * [backup-simplify]: Simplify 0 into 0 10.327 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 10.328 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 10.329 * [backup-simplify]: Simplify (+ 0 0) into 0 10.329 * [taylor]: Taking taylor expansion of 0 in y 10.329 * [backup-simplify]: Simplify 0 into 0 10.329 * [taylor]: Taking taylor expansion of 0 in x 10.329 * [backup-simplify]: Simplify 0 into 0 10.329 * [backup-simplify]: Simplify 0 into 0 10.329 * [backup-simplify]: Simplify (+ 0 1) into 1 10.329 * [taylor]: Taking taylor expansion of 1 in x 10.330 * [backup-simplify]: Simplify 1 into 1 10.330 * [backup-simplify]: Simplify 1 into 1 10.330 * [taylor]: Taking taylor expansion of 0 in x 10.330 * [backup-simplify]: Simplify 0 into 0 10.330 * [backup-simplify]: Simplify 0 into 0 10.330 * [backup-simplify]: Simplify 1 into 1 10.330 * [backup-simplify]: Simplify 0 into 0 10.330 * [backup-simplify]: Simplify 0 into 0 10.331 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 10.333 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 10.333 * [backup-simplify]: Simplify (+ 0 0) into 0 10.333 * [taylor]: Taking taylor expansion of 0 in y 10.333 * [backup-simplify]: Simplify 0 into 0 10.333 * [taylor]: Taking taylor expansion of 0 in x 10.333 * [backup-simplify]: Simplify 0 into 0 10.333 * [backup-simplify]: Simplify 0 into 0 10.333 * [taylor]: Taking taylor expansion of 0 in x 10.333 * [backup-simplify]: Simplify 0 into 0 10.333 * [backup-simplify]: Simplify 0 into 0 10.334 * [backup-simplify]: Simplify (+ 0 0) into 0 10.334 * [taylor]: Taking taylor expansion of 0 in x 10.334 * [backup-simplify]: Simplify 0 into 0 10.334 * [backup-simplify]: Simplify 0 into 0 10.334 * [taylor]: Taking taylor expansion of 0 in x 10.334 * [backup-simplify]: Simplify 0 into 0 10.334 * [backup-simplify]: Simplify 0 into 0 10.334 * [backup-simplify]: Simplify (+ (* 1 (* x (* 1 z))) (* 1 (* 1 (* y z)))) into (+ (* z y) (* x z)) 10.334 * [backup-simplify]: Simplify (+ (* (/ 1 z) (/ 1 y)) (* (/ 1 x) (/ 1 z))) into (+ (/ 1 (* x z)) (/ 1 (* z y))) 10.334 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* z y))) in (z y x) around 0 10.335 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* z y))) in x 10.335 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 10.335 * [taylor]: Taking taylor expansion of (* x z) in x 10.335 * [taylor]: Taking taylor expansion of x in x 10.335 * [backup-simplify]: Simplify 0 into 0 10.335 * [backup-simplify]: Simplify 1 into 1 10.335 * [taylor]: Taking taylor expansion of z in x 10.335 * [backup-simplify]: Simplify z into z 10.335 * [backup-simplify]: Simplify (* 0 z) into 0 10.335 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 10.335 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.335 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 10.335 * [taylor]: Taking taylor expansion of (* z y) in x 10.335 * [taylor]: Taking taylor expansion of z in x 10.335 * [backup-simplify]: Simplify z into z 10.335 * [taylor]: Taking taylor expansion of y in x 10.335 * [backup-simplify]: Simplify y into y 10.335 * [backup-simplify]: Simplify (* z y) into (* z y) 10.335 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 10.335 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* z y))) in y 10.335 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 10.335 * [taylor]: Taking taylor expansion of (* x z) in y 10.335 * [taylor]: Taking taylor expansion of x in y 10.336 * [backup-simplify]: Simplify x into x 10.336 * [taylor]: Taking taylor expansion of z in y 10.336 * [backup-simplify]: Simplify z into z 10.336 * [backup-simplify]: Simplify (* x z) into (* x z) 10.336 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z)) 10.336 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 10.336 * [taylor]: Taking taylor expansion of (* z y) in y 10.336 * [taylor]: Taking taylor expansion of z in y 10.336 * [backup-simplify]: Simplify z into z 10.336 * [taylor]: Taking taylor expansion of y in y 10.336 * [backup-simplify]: Simplify 0 into 0 10.336 * [backup-simplify]: Simplify 1 into 1 10.336 * [backup-simplify]: Simplify (* z 0) into 0 10.336 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 10.336 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.336 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* z y))) in z 10.336 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 10.336 * [taylor]: Taking taylor expansion of (* x z) in z 10.336 * [taylor]: Taking taylor expansion of x in z 10.336 * [backup-simplify]: Simplify x into x 10.336 * [taylor]: Taking taylor expansion of z in z 10.336 * [backup-simplify]: Simplify 0 into 0 10.336 * [backup-simplify]: Simplify 1 into 1 10.337 * [backup-simplify]: Simplify (* x 0) into 0 10.337 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 10.337 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.337 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 10.337 * [taylor]: Taking taylor expansion of (* z y) in z 10.337 * [taylor]: Taking taylor expansion of z in z 10.337 * [backup-simplify]: Simplify 0 into 0 10.337 * [backup-simplify]: Simplify 1 into 1 10.337 * [taylor]: Taking taylor expansion of y in z 10.337 * [backup-simplify]: Simplify y into y 10.337 * [backup-simplify]: Simplify (* 0 y) into 0 10.337 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.337 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.338 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* z y))) in z 10.338 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 10.338 * [taylor]: Taking taylor expansion of (* x z) in z 10.338 * [taylor]: Taking taylor expansion of x in z 10.338 * [backup-simplify]: Simplify x into x 10.338 * [taylor]: Taking taylor expansion of z in z 10.338 * [backup-simplify]: Simplify 0 into 0 10.338 * [backup-simplify]: Simplify 1 into 1 10.338 * [backup-simplify]: Simplify (* x 0) into 0 10.338 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 10.338 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.338 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 10.338 * [taylor]: Taking taylor expansion of (* z y) in z 10.338 * [taylor]: Taking taylor expansion of z in z 10.338 * [backup-simplify]: Simplify 0 into 0 10.338 * [backup-simplify]: Simplify 1 into 1 10.338 * [taylor]: Taking taylor expansion of y in z 10.338 * [backup-simplify]: Simplify y into y 10.338 * [backup-simplify]: Simplify (* 0 y) into 0 10.339 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.339 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.339 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 y)) into (+ (/ 1 x) (/ 1 y)) 10.339 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 10.339 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.339 * [taylor]: Taking taylor expansion of x in y 10.339 * [backup-simplify]: Simplify x into x 10.339 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.339 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.339 * [taylor]: Taking taylor expansion of y in y 10.339 * [backup-simplify]: Simplify 0 into 0 10.339 * [backup-simplify]: Simplify 1 into 1 10.339 * [backup-simplify]: Simplify (/ 1 1) into 1 10.340 * [backup-simplify]: Simplify (+ 0 1) into 1 10.340 * [taylor]: Taking taylor expansion of 1 in x 10.340 * [backup-simplify]: Simplify 1 into 1 10.340 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 10.340 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.341 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 10.341 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 10.341 * [backup-simplify]: Simplify (+ 0 0) into 0 10.341 * [taylor]: Taking taylor expansion of 0 in y 10.341 * [backup-simplify]: Simplify 0 into 0 10.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.342 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 10.342 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.342 * [taylor]: Taking taylor expansion of x in x 10.342 * [backup-simplify]: Simplify 0 into 0 10.342 * [backup-simplify]: Simplify 1 into 1 10.342 * [backup-simplify]: Simplify (/ 1 1) into 1 10.342 * [backup-simplify]: Simplify 1 into 1 10.343 * [backup-simplify]: Simplify 1 into 1 10.343 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 10.343 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.344 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 10.345 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.345 * [backup-simplify]: Simplify (+ 0 0) into 0 10.345 * [taylor]: Taking taylor expansion of 0 in y 10.345 * [backup-simplify]: Simplify 0 into 0 10.345 * [taylor]: Taking taylor expansion of 0 in x 10.345 * [backup-simplify]: Simplify 0 into 0 10.345 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.346 * [backup-simplify]: Simplify (+ 0 0) into 0 10.346 * [taylor]: Taking taylor expansion of 0 in x 10.346 * [backup-simplify]: Simplify 0 into 0 10.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.346 * [backup-simplify]: Simplify 0 into 0 10.347 * [backup-simplify]: Simplify 0 into 0 10.347 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 10.348 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.349 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 10.349 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.349 * [backup-simplify]: Simplify (+ 0 0) into 0 10.349 * [taylor]: Taking taylor expansion of 0 in y 10.350 * [backup-simplify]: Simplify 0 into 0 10.350 * [taylor]: Taking taylor expansion of 0 in x 10.350 * [backup-simplify]: Simplify 0 into 0 10.350 * [taylor]: Taking taylor expansion of 0 in x 10.350 * [backup-simplify]: Simplify 0 into 0 10.350 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.351 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.351 * [backup-simplify]: Simplify (+ 0 0) into 0 10.351 * [taylor]: Taking taylor expansion of 0 in x 10.351 * [backup-simplify]: Simplify 0 into 0 10.351 * [backup-simplify]: Simplify 0 into 0 10.351 * [backup-simplify]: Simplify 0 into 0 10.352 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.352 * [backup-simplify]: Simplify 0 into 0 10.352 * [backup-simplify]: Simplify 0 into 0 10.352 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 z))))) (* 1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 z)))))) into (+ (* z y) (* x z)) 10.353 * [backup-simplify]: Simplify (+ (* (/ 1 (- z)) (/ 1 (- y))) (* (/ 1 (- x)) (/ 1 (- z)))) into (+ (/ 1 (* x z)) (/ 1 (* z y))) 10.353 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* z y))) in (z y x) around 0 10.353 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* z y))) in x 10.353 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 10.353 * [taylor]: Taking taylor expansion of (* x z) in x 10.353 * [taylor]: Taking taylor expansion of x in x 10.353 * [backup-simplify]: Simplify 0 into 0 10.353 * [backup-simplify]: Simplify 1 into 1 10.353 * [taylor]: Taking taylor expansion of z in x 10.353 * [backup-simplify]: Simplify z into z 10.353 * [backup-simplify]: Simplify (* 0 z) into 0 10.353 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 10.353 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.353 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 10.353 * [taylor]: Taking taylor expansion of (* z y) in x 10.353 * [taylor]: Taking taylor expansion of z in x 10.353 * [backup-simplify]: Simplify z into z 10.353 * [taylor]: Taking taylor expansion of y in x 10.353 * [backup-simplify]: Simplify y into y 10.354 * [backup-simplify]: Simplify (* z y) into (* z y) 10.354 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 10.354 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* z y))) in y 10.354 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 10.354 * [taylor]: Taking taylor expansion of (* x z) in y 10.354 * [taylor]: Taking taylor expansion of x in y 10.354 * [backup-simplify]: Simplify x into x 10.354 * [taylor]: Taking taylor expansion of z in y 10.354 * [backup-simplify]: Simplify z into z 10.354 * [backup-simplify]: Simplify (* x z) into (* x z) 10.354 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z)) 10.354 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 10.354 * [taylor]: Taking taylor expansion of (* z y) in y 10.354 * [taylor]: Taking taylor expansion of z in y 10.354 * [backup-simplify]: Simplify z into z 10.354 * [taylor]: Taking taylor expansion of y in y 10.354 * [backup-simplify]: Simplify 0 into 0 10.354 * [backup-simplify]: Simplify 1 into 1 10.354 * [backup-simplify]: Simplify (* z 0) into 0 10.354 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 10.355 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.355 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* z y))) in z 10.355 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 10.355 * [taylor]: Taking taylor expansion of (* x z) in z 10.355 * [taylor]: Taking taylor expansion of x in z 10.355 * [backup-simplify]: Simplify x into x 10.355 * [taylor]: Taking taylor expansion of z in z 10.355 * [backup-simplify]: Simplify 0 into 0 10.355 * [backup-simplify]: Simplify 1 into 1 10.355 * [backup-simplify]: Simplify (* x 0) into 0 10.355 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 10.355 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.355 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 10.355 * [taylor]: Taking taylor expansion of (* z y) in z 10.355 * [taylor]: Taking taylor expansion of z in z 10.355 * [backup-simplify]: Simplify 0 into 0 10.355 * [backup-simplify]: Simplify 1 into 1 10.355 * [taylor]: Taking taylor expansion of y in z 10.355 * [backup-simplify]: Simplify y into y 10.355 * [backup-simplify]: Simplify (* 0 y) into 0 10.356 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.356 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.356 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* z y))) in z 10.356 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 10.356 * [taylor]: Taking taylor expansion of (* x z) in z 10.356 * [taylor]: Taking taylor expansion of x in z 10.356 * [backup-simplify]: Simplify x into x 10.356 * [taylor]: Taking taylor expansion of z in z 10.356 * [backup-simplify]: Simplify 0 into 0 10.356 * [backup-simplify]: Simplify 1 into 1 10.356 * [backup-simplify]: Simplify (* x 0) into 0 10.356 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 10.356 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.356 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 10.356 * [taylor]: Taking taylor expansion of (* z y) in z 10.356 * [taylor]: Taking taylor expansion of z in z 10.356 * [backup-simplify]: Simplify 0 into 0 10.356 * [backup-simplify]: Simplify 1 into 1 10.356 * [taylor]: Taking taylor expansion of y in z 10.357 * [backup-simplify]: Simplify y into y 10.357 * [backup-simplify]: Simplify (* 0 y) into 0 10.357 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.357 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.357 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 y)) into (+ (/ 1 x) (/ 1 y)) 10.357 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 10.357 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.357 * [taylor]: Taking taylor expansion of x in y 10.357 * [backup-simplify]: Simplify x into x 10.357 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.357 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.357 * [taylor]: Taking taylor expansion of y in y 10.357 * [backup-simplify]: Simplify 0 into 0 10.357 * [backup-simplify]: Simplify 1 into 1 10.358 * [backup-simplify]: Simplify (/ 1 1) into 1 10.358 * [backup-simplify]: Simplify (+ 0 1) into 1 10.358 * [taylor]: Taking taylor expansion of 1 in x 10.358 * [backup-simplify]: Simplify 1 into 1 10.358 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 10.359 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.359 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 10.359 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 10.360 * [backup-simplify]: Simplify (+ 0 0) into 0 10.360 * [taylor]: Taking taylor expansion of 0 in y 10.360 * [backup-simplify]: Simplify 0 into 0 10.360 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.360 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 10.360 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.360 * [taylor]: Taking taylor expansion of x in x 10.360 * [backup-simplify]: Simplify 0 into 0 10.360 * [backup-simplify]: Simplify 1 into 1 10.361 * [backup-simplify]: Simplify (/ 1 1) into 1 10.361 * [backup-simplify]: Simplify 1 into 1 10.361 * [backup-simplify]: Simplify 1 into 1 10.361 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 10.362 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.363 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 10.364 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.364 * [backup-simplify]: Simplify (+ 0 0) into 0 10.364 * [taylor]: Taking taylor expansion of 0 in y 10.364 * [backup-simplify]: Simplify 0 into 0 10.364 * [taylor]: Taking taylor expansion of 0 in x 10.364 * [backup-simplify]: Simplify 0 into 0 10.365 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.366 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.366 * [backup-simplify]: Simplify (+ 0 0) into 0 10.366 * [taylor]: Taking taylor expansion of 0 in x 10.366 * [backup-simplify]: Simplify 0 into 0 10.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.367 * [backup-simplify]: Simplify 0 into 0 10.367 * [backup-simplify]: Simplify 0 into 0 10.368 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 10.369 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.372 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 10.372 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.373 * [backup-simplify]: Simplify (+ 0 0) into 0 10.373 * [taylor]: Taking taylor expansion of 0 in y 10.373 * [backup-simplify]: Simplify 0 into 0 10.373 * [taylor]: Taking taylor expansion of 0 in x 10.373 * [backup-simplify]: Simplify 0 into 0 10.373 * [taylor]: Taking taylor expansion of 0 in x 10.373 * [backup-simplify]: Simplify 0 into 0 10.373 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.375 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.375 * [backup-simplify]: Simplify (+ 0 0) into 0 10.375 * [taylor]: Taking taylor expansion of 0 in x 10.375 * [backup-simplify]: Simplify 0 into 0 10.375 * [backup-simplify]: Simplify 0 into 0 10.375 * [backup-simplify]: Simplify 0 into 0 10.376 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.376 * [backup-simplify]: Simplify 0 into 0 10.376 * [backup-simplify]: Simplify 0 into 0 10.378 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- z)))))) (* 1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- z))))))) into (+ (* z y) (* x z)) 10.378 * * * [progress]: simplifying candidates 10.378 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #real (real->posit16 (+ (* z y) (* x z)))))> 10.378 * * * * [progress]: [ 2 / 15 ] simplifiying candidate # 10.378 * * * * [progress]: [ 3 / 15 ] simplifiying candidate # 10.378 * * * * [progress]: [ 4 / 15 ] simplifiying candidate # 10.378 * * * * [progress]: [ 5 / 15 ] simplifiying candidate # 10.378 * * * * [progress]: [ 6 / 15 ] simplifiying candidate # 10.378 * * * * [progress]: [ 7 / 15 ] simplifiying candidate # 10.378 * * * * [progress]: [ 8 / 15 ] simplifiying candidate # 10.378 * * * * [progress]: [ 9 / 15 ] simplifiying candidate # 10.379 * * * * [progress]: [ 10 / 15 ] simplifiying candidate # 10.379 * * * * [progress]: [ 11 / 15 ] simplifiying candidate # 10.379 * * * * [progress]: [ 12 / 15 ] simplifiying candidate # 10.379 * * * * [progress]: [ 13 / 15 ] simplifiying candidate # 10.379 * * * * [progress]: [ 14 / 15 ] simplifiying candidate # 10.379 * * * * [progress]: [ 15 / 15 ] simplifiying candidate # 10.379 * [simplify]: Simplifying: (real->posit16 (+ (* z y) (* x z))) (* (exp (* z y)) (exp (* x z))) (log (+ (* z y) (* x z))) (exp (+ (* z y) (* x z))) (* (cbrt (+ (* z y) (* x z))) (cbrt (+ (* z y) (* x z)))) (cbrt (+ (* z y) (* x z))) (* (* (+ (* z y) (* x z)) (+ (* z y) (* x z))) (+ (* z y) (* x z))) (sqrt (+ (* z y) (* x z))) (sqrt (+ (* z y) (* x z))) (+ (pow (* z y) 3) (pow (* x z) 3)) (+ (* (* z y) (* z y)) (- (* (* x z) (* x z)) (* (* z y) (* x z)))) (- (* (* z y) (* z y)) (* (* x z) (* x z))) (- (* z y) (* x z)) (+ (* z y) (* x z)) (+ (* z y) (* x z)) (+ (* z y) (* x z)) 10.380 * * [simplify]: iteration 0: 28 enodes 10.426 * * [simplify]: iteration 1: 96 enodes 10.578 * * [simplify]: iteration 2: 324 enodes 10.994 * * [simplify]: iteration 3: 1004 enodes 13.095 * * [simplify]: iteration 4: 3117 enodes 16.394 * * [simplify]: iteration complete: 5000 enodes 16.394 * * [simplify]: Extracting #0: cost 12 inf + 0 16.395 * * [simplify]: Extracting #1: cost 192 inf + 0 16.399 * * [simplify]: Extracting #2: cost 912 inf + 185 16.403 * * [simplify]: Extracting #3: cost 1157 inf + 2714 16.419 * * [simplify]: Extracting #4: cost 844 inf + 83317 16.485 * * [simplify]: Extracting #5: cost 205 inf + 266515 16.587 * * [simplify]: Extracting #6: cost 16 inf + 333215 16.720 * * [simplify]: Extracting #7: cost 0 inf + 338415 16.854 * [simplify]: Simplified to: (real->posit16 (* (+ y x) z)) (exp (* (+ y x) z)) (log (* (+ y x) z)) (exp (* (+ y x) z)) (* (cbrt (* (+ y x) z)) (cbrt (* (+ y x) z))) (cbrt (* (+ y x) z)) (* (* (+ y x) z) (* (* (+ y x) z) (* (+ y x) z))) (sqrt (* (+ y x) z)) (sqrt (* (+ y x) z)) (+ (* (* x z) (* (* x z) (* x z))) (* (* z y) (* (* z y) (* z y)))) (+ (* (* z y) (* z y)) (* (- (* x z) (* z y)) (* x z))) (* z (* (+ y x) (* (- y x) z))) (* (- y x) z) (* (+ y x) z) (* (+ y x) z) (* (+ y x) z) 16.855 * * * [progress]: adding candidates to table 17.060 * [progress]: [Phase 3 of 3] Extracting. 17.060 * * [regime]: Finding splitpoints for: (# # #) 17.064 * * * [regime-changes]: Trying 5 branch expressions: ((+ x y) (* (+ x y) z) z y x) 17.064 * * * * [regimes]: Trying to branch on (+ x y) from (# # #) 17.263 * * * * [regimes]: Trying to branch on (+ x y) from (# #) 17.402 * * * * [regimes]: Trying to branch on (* (+ x y) z) from (# # #) 17.529 * * * * [regimes]: Trying to branch on z from (# # #) 17.694 * * * * [regimes]: Trying to branch on y from (# # #) 17.882 * * * * [regimes]: Trying to branch on x from (# # #) 18.053 * * * [regime]: Found split indices: #