22.141 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.083 * * * [progress]: [2/2] Setting up program. 0.087 * [progress]: [Phase 2 of 3] Improving. 0.087 * [simplify]: Simplifying: (- (+ (- (* x y) (* y y)) (* y y)) (* y z)) 0.088 * * [simplify]: Extracting # 0 : cost 0 0.088 * * [simplify]: Extracting # 1 : cost 0 0.088 * * [simplify]: Extracting # 2 : cost 0 0.088 * * [simplify]: Extracting # 3 : cost 0 0.088 * * [simplify]: Extracting # 4 : cost 0 0.088 * * [simplify]: Extracting # 5 : cost 0 0.088 * * [simplify]: Extracting # 6 : cost 0 0.088 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 0.091 * * [simplify]: Extracting # 0 : cost 0 0.091 * * [simplify]: Extracting # 1 : cost 0 0.091 * * [simplify]: Extracting # 2 : cost 0 0.091 * * [simplify]: Extracting # 3 : cost 0 0.091 * * [simplify]: iteration 1 : 23 enodes (cost 13 ) 0.103 * * [simplify]: Extracting # 0 : cost 0 0.103 * * [simplify]: Extracting # 1 : cost 0 0.104 * * [simplify]: Extracting # 2 : cost 0 0.104 * * [simplify]: Extracting # 3 : cost 0 0.104 * * [simplify]: Extracting # 4 : cost 0 0.104 * * [simplify]: iteration 2 : 77 enodes (cost 8 ) 0.163 * * [simplify]: Extracting # 0 : cost 0 0.163 * * [simplify]: Extracting # 1 : cost 0 0.164 * * [simplify]: Extracting # 2 : cost 0 0.164 * * [simplify]: Extracting # 3 : cost 0 0.165 * * [simplify]: iteration 3 : 200 enodes (cost 7 ) 0.359 * * [simplify]: Extracting # 0 : cost 0 0.360 * * [simplify]: Extracting # 1 : cost 0 0.360 * * [simplify]: Extracting # 2 : cost 0 0.361 * * [simplify]: Extracting # 3 : cost 0 0.361 * * [simplify]: Extracting # 4 : cost 0 0.362 * * [simplify]: iteration 4 : 607 enodes (cost 5 ) 2.116 * * [simplify]: Extracting # 0 : cost 0 2.119 * * [simplify]: Extracting # 1 : cost 0 2.120 * * [simplify]: Extracting # 2 : cost 0 2.121 * * [simplify]: Extracting # 3 : cost 0 2.122 * * [simplify]: Extracting # 4 : cost 0 2.123 * * [simplify]: iteration 5 : 1872 enodes (cost 5 ) 9.407 * * [simplify]: Extracting # 0 : cost 0 9.415 * * [simplify]: Extracting # 1 : cost 0 9.431 * * [simplify]: Extracting # 2 : cost 0 9.437 * * [simplify]: Extracting # 3 : cost 0 9.444 * * [simplify]: Extracting # 4 : cost 0 9.452 * * [simplify]: iteration done: 5000 enodes (cost 5 ) 9.452 * [simplify]: Simplified to: (* (- x z) y) 9.457 * * [progress]: iteration 1 / 4 9.457 * * * [progress]: picking best candidate 9.462 * * * * [pick]: Picked # 9.462 * * * [progress]: localizing error 9.471 * * * [progress]: generating rewritten candidates 9.471 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 9.504 * * * [progress]: generating series expansions 9.504 * * * * [progress]: [ 1 / 1 ] generating series at (2) 9.505 * [backup-simplify]: Simplify (* (- x z) y) into (* y (- x z)) 9.505 * [approximate]: Taking taylor expansion of (* y (- x z)) in (x z y) around 0 9.505 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 9.505 * [taylor]: Taking taylor expansion of y in y 9.505 * [backup-simplify]: Simplify 0 into 0 9.505 * [backup-simplify]: Simplify 1 into 1 9.505 * [taylor]: Taking taylor expansion of (- x z) in y 9.505 * [taylor]: Taking taylor expansion of x in y 9.505 * [backup-simplify]: Simplify x into x 9.505 * [taylor]: Taking taylor expansion of z in y 9.505 * [backup-simplify]: Simplify z into z 9.505 * [taylor]: Taking taylor expansion of (* y (- x z)) in z 9.505 * [taylor]: Taking taylor expansion of y in z 9.505 * [backup-simplify]: Simplify y into y 9.505 * [taylor]: Taking taylor expansion of (- x z) in z 9.505 * [taylor]: Taking taylor expansion of x in z 9.505 * [backup-simplify]: Simplify x into x 9.505 * [taylor]: Taking taylor expansion of z in z 9.505 * [backup-simplify]: Simplify 0 into 0 9.505 * [backup-simplify]: Simplify 1 into 1 9.505 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 9.505 * [taylor]: Taking taylor expansion of y in x 9.505 * [backup-simplify]: Simplify y into y 9.505 * [taylor]: Taking taylor expansion of (- x z) in x 9.505 * [taylor]: Taking taylor expansion of x in x 9.505 * [backup-simplify]: Simplify 0 into 0 9.505 * [backup-simplify]: Simplify 1 into 1 9.505 * [taylor]: Taking taylor expansion of z in x 9.505 * [backup-simplify]: Simplify z into z 9.505 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 9.505 * [taylor]: Taking taylor expansion of y in x 9.505 * [backup-simplify]: Simplify y into y 9.505 * [taylor]: Taking taylor expansion of (- x z) in x 9.505 * [taylor]: Taking taylor expansion of x in x 9.505 * [backup-simplify]: Simplify 0 into 0 9.505 * [backup-simplify]: Simplify 1 into 1 9.505 * [taylor]: Taking taylor expansion of z in x 9.505 * [backup-simplify]: Simplify z into z 9.505 * [backup-simplify]: Simplify (- z) into (- z) 9.505 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 9.505 * [backup-simplify]: Simplify (* y (- z)) into (* -1 (* z y)) 9.506 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 9.506 * [taylor]: Taking taylor expansion of -1 in z 9.506 * [backup-simplify]: Simplify -1 into -1 9.506 * [taylor]: Taking taylor expansion of (* z y) in z 9.506 * [taylor]: Taking taylor expansion of z in z 9.506 * [backup-simplify]: Simplify 0 into 0 9.506 * [backup-simplify]: Simplify 1 into 1 9.506 * [taylor]: Taking taylor expansion of y in z 9.506 * [backup-simplify]: Simplify y into y 9.506 * [backup-simplify]: Simplify (* 0 y) into 0 9.506 * [backup-simplify]: Simplify (* -1 0) into 0 9.506 * [taylor]: Taking taylor expansion of 0 in y 9.506 * [backup-simplify]: Simplify 0 into 0 9.506 * [backup-simplify]: Simplify 0 into 0 9.507 * [backup-simplify]: Simplify (- 0) into 0 9.507 * [backup-simplify]: Simplify (+ 1 0) into 1 9.507 * [backup-simplify]: Simplify (+ (* y 1) (* 0 (- z))) into y 9.507 * [taylor]: Taking taylor expansion of y in z 9.507 * [backup-simplify]: Simplify y into y 9.507 * [taylor]: Taking taylor expansion of y in y 9.507 * [backup-simplify]: Simplify 0 into 0 9.507 * [backup-simplify]: Simplify 1 into 1 9.507 * [backup-simplify]: Simplify 0 into 0 9.508 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 9.508 * [backup-simplify]: Simplify (+ (* -1 y) (* 0 0)) into (- y) 9.508 * [taylor]: Taking taylor expansion of (- y) in y 9.508 * [taylor]: Taking taylor expansion of y in y 9.508 * [backup-simplify]: Simplify 0 into 0 9.508 * [backup-simplify]: Simplify 1 into 1 9.508 * [backup-simplify]: Simplify (- 0) into 0 9.508 * [backup-simplify]: Simplify 0 into 0 9.508 * [backup-simplify]: Simplify 0 into 0 9.509 * [backup-simplify]: Simplify (- 0) into 0 9.509 * [backup-simplify]: Simplify (+ 0 0) into 0 9.509 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 (- z)))) into 0 9.509 * [taylor]: Taking taylor expansion of 0 in z 9.509 * [backup-simplify]: Simplify 0 into 0 9.509 * [taylor]: Taking taylor expansion of 0 in y 9.509 * [backup-simplify]: Simplify 0 into 0 9.509 * [backup-simplify]: Simplify 0 into 0 9.509 * [taylor]: Taking taylor expansion of 0 in y 9.509 * [backup-simplify]: Simplify 0 into 0 9.509 * [backup-simplify]: Simplify 0 into 0 9.509 * [backup-simplify]: Simplify 0 into 0 9.510 * [backup-simplify]: Simplify (* (- (/ 1 x) (/ 1 z)) (/ 1 y)) into (/ (- (/ 1 x) (/ 1 z)) y) 9.510 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (x z y) around 0 9.510 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 9.510 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 9.510 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.510 * [taylor]: Taking taylor expansion of x in y 9.510 * [backup-simplify]: Simplify x into x 9.510 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.510 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.510 * [taylor]: Taking taylor expansion of z in y 9.510 * [backup-simplify]: Simplify z into z 9.510 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.510 * [taylor]: Taking taylor expansion of y in y 9.510 * [backup-simplify]: Simplify 0 into 0 9.510 * [backup-simplify]: Simplify 1 into 1 9.510 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 9.510 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 9.510 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z)) 9.510 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 9.510 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 9.510 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.510 * [taylor]: Taking taylor expansion of x in z 9.510 * [backup-simplify]: Simplify x into x 9.510 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.510 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.510 * [taylor]: Taking taylor expansion of z in z 9.510 * [backup-simplify]: Simplify 0 into 0 9.511 * [backup-simplify]: Simplify 1 into 1 9.511 * [backup-simplify]: Simplify (/ 1 1) into 1 9.511 * [taylor]: Taking taylor expansion of y in z 9.511 * [backup-simplify]: Simplify y into y 9.511 * [backup-simplify]: Simplify (- 1) into -1 9.511 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.511 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 9.511 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 9.512 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 9.512 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.512 * [taylor]: Taking taylor expansion of x in x 9.512 * [backup-simplify]: Simplify 0 into 0 9.512 * [backup-simplify]: Simplify 1 into 1 9.512 * [backup-simplify]: Simplify (/ 1 1) into 1 9.512 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.512 * [taylor]: Taking taylor expansion of z in x 9.512 * [backup-simplify]: Simplify z into z 9.512 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.512 * [taylor]: Taking taylor expansion of y in x 9.512 * [backup-simplify]: Simplify y into y 9.512 * [backup-simplify]: Simplify (+ 1 0) into 1 9.512 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.512 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 9.512 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 9.512 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.512 * [taylor]: Taking taylor expansion of x in x 9.512 * [backup-simplify]: Simplify 0 into 0 9.512 * [backup-simplify]: Simplify 1 into 1 9.513 * [backup-simplify]: Simplify (/ 1 1) into 1 9.513 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.513 * [taylor]: Taking taylor expansion of z in x 9.513 * [backup-simplify]: Simplify z into z 9.513 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.513 * [taylor]: Taking taylor expansion of y in x 9.513 * [backup-simplify]: Simplify y into y 9.513 * [backup-simplify]: Simplify (+ 1 0) into 1 9.513 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.513 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.513 * [taylor]: Taking taylor expansion of y in z 9.513 * [backup-simplify]: Simplify y into y 9.513 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.514 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.514 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 9.514 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 9.514 * [backup-simplify]: Simplify (- (/ (- (/ 1 z)) y) (+ (* (/ 1 y) (/ 0 y)))) into (- (/ 1 (* z y))) 9.514 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 9.514 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 9.514 * [taylor]: Taking taylor expansion of (* z y) in z 9.514 * [taylor]: Taking taylor expansion of z in z 9.514 * [backup-simplify]: Simplify 0 into 0 9.514 * [backup-simplify]: Simplify 1 into 1 9.514 * [taylor]: Taking taylor expansion of y in z 9.514 * [backup-simplify]: Simplify y into y 9.514 * [backup-simplify]: Simplify (* 0 y) into 0 9.515 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 9.515 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.515 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 9.515 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 9.515 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.515 * [taylor]: Taking taylor expansion of y in y 9.515 * [backup-simplify]: Simplify 0 into 0 9.515 * [backup-simplify]: Simplify 1 into 1 9.515 * [backup-simplify]: Simplify (/ 1 1) into 1 9.515 * [backup-simplify]: Simplify (- 1) into -1 9.515 * [backup-simplify]: Simplify -1 into -1 9.515 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.515 * [taylor]: Taking taylor expansion of y in y 9.515 * [backup-simplify]: Simplify 0 into 0 9.515 * [backup-simplify]: Simplify 1 into 1 9.516 * [backup-simplify]: Simplify (/ 1 1) into 1 9.516 * [backup-simplify]: Simplify 1 into 1 9.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.516 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 9.517 * [backup-simplify]: Simplify (- 0) into 0 9.517 * [backup-simplify]: Simplify (+ 0 0) into 0 9.517 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)))) into 0 9.517 * [taylor]: Taking taylor expansion of 0 in z 9.517 * [backup-simplify]: Simplify 0 into 0 9.518 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 9.518 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 9.518 * [backup-simplify]: Simplify (- 0) into 0 9.518 * [taylor]: Taking taylor expansion of 0 in y 9.518 * [backup-simplify]: Simplify 0 into 0 9.518 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 9.518 * [taylor]: Taking taylor expansion of 0 in y 9.518 * [backup-simplify]: Simplify 0 into 0 9.518 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.519 * [backup-simplify]: Simplify (- 0) into 0 9.519 * [backup-simplify]: Simplify 0 into 0 9.519 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.519 * [backup-simplify]: Simplify 0 into 0 9.525 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.525 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 9.525 * [backup-simplify]: Simplify (- 0) into 0 9.526 * [backup-simplify]: Simplify (+ 0 0) into 0 9.526 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (* z y))) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.526 * [taylor]: Taking taylor expansion of 0 in z 9.526 * [backup-simplify]: Simplify 0 into 0 9.526 * [taylor]: Taking taylor expansion of 0 in y 9.526 * [backup-simplify]: Simplify 0 into 0 9.527 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 9.527 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.528 * [backup-simplify]: Simplify (- 0) into 0 9.528 * [taylor]: Taking taylor expansion of 0 in y 9.528 * [backup-simplify]: Simplify 0 into 0 9.528 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.528 * [taylor]: Taking taylor expansion of 0 in y 9.528 * [backup-simplify]: Simplify 0 into 0 9.528 * [backup-simplify]: Simplify 0 into 0 9.528 * [backup-simplify]: Simplify 0 into 0 9.529 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.529 * [backup-simplify]: Simplify (- 0) into 0 9.529 * [backup-simplify]: Simplify 0 into 0 9.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.530 * [backup-simplify]: Simplify 0 into 0 9.531 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 y)) (* 1 (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 z)) 1)))) into (- (* x y) (* z y)) 9.531 * [backup-simplify]: Simplify (* (- (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y))) into (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) 9.531 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (x z y) around 0 9.531 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 9.531 * [taylor]: Taking taylor expansion of -1 in y 9.531 * [backup-simplify]: Simplify -1 into -1 9.531 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 9.531 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 9.531 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.531 * [taylor]: Taking taylor expansion of z in y 9.531 * [backup-simplify]: Simplify z into z 9.531 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.531 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.531 * [taylor]: Taking taylor expansion of x in y 9.531 * [backup-simplify]: Simplify x into x 9.531 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.532 * [taylor]: Taking taylor expansion of y in y 9.532 * [backup-simplify]: Simplify 0 into 0 9.532 * [backup-simplify]: Simplify 1 into 1 9.532 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 9.532 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x)) 9.532 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x)) 9.532 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z 9.532 * [taylor]: Taking taylor expansion of -1 in z 9.532 * [backup-simplify]: Simplify -1 into -1 9.532 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 9.532 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 9.532 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.532 * [taylor]: Taking taylor expansion of z in z 9.532 * [backup-simplify]: Simplify 0 into 0 9.532 * [backup-simplify]: Simplify 1 into 1 9.532 * [backup-simplify]: Simplify (/ 1 1) into 1 9.533 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.533 * [taylor]: Taking taylor expansion of x in z 9.533 * [backup-simplify]: Simplify x into x 9.533 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.533 * [taylor]: Taking taylor expansion of y in z 9.533 * [backup-simplify]: Simplify y into y 9.533 * [backup-simplify]: Simplify (+ 1 0) into 1 9.533 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.533 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 9.533 * [taylor]: Taking taylor expansion of -1 in x 9.533 * [backup-simplify]: Simplify -1 into -1 9.533 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 9.533 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 9.533 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.533 * [taylor]: Taking taylor expansion of z in x 9.533 * [backup-simplify]: Simplify z into z 9.533 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.533 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.533 * [taylor]: Taking taylor expansion of x in x 9.534 * [backup-simplify]: Simplify 0 into 0 9.534 * [backup-simplify]: Simplify 1 into 1 9.534 * [backup-simplify]: Simplify (/ 1 1) into 1 9.534 * [taylor]: Taking taylor expansion of y in x 9.534 * [backup-simplify]: Simplify y into y 9.534 * [backup-simplify]: Simplify (- 1) into -1 9.535 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.535 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 9.535 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 9.535 * [taylor]: Taking taylor expansion of -1 in x 9.535 * [backup-simplify]: Simplify -1 into -1 9.535 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 9.535 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 9.535 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.535 * [taylor]: Taking taylor expansion of z in x 9.535 * [backup-simplify]: Simplify z into z 9.535 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.535 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.535 * [taylor]: Taking taylor expansion of x in x 9.535 * [backup-simplify]: Simplify 0 into 0 9.535 * [backup-simplify]: Simplify 1 into 1 9.535 * [backup-simplify]: Simplify (/ 1 1) into 1 9.536 * [taylor]: Taking taylor expansion of y in x 9.536 * [backup-simplify]: Simplify y into y 9.536 * [backup-simplify]: Simplify (- 1) into -1 9.536 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.536 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 9.536 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 9.537 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.537 * [taylor]: Taking taylor expansion of y in z 9.537 * [backup-simplify]: Simplify y into y 9.537 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.537 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.538 * [backup-simplify]: Simplify (- 0) into 0 9.538 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 9.538 * [backup-simplify]: Simplify (- (/ (/ 1 z) y) (+ (* (/ -1 y) (/ 0 y)))) into (/ 1 (* z y)) 9.538 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (* z y))) (* 0 (/ -1 y))) into (- (/ 1 (* z y))) 9.538 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 9.538 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 9.538 * [taylor]: Taking taylor expansion of (* z y) in z 9.538 * [taylor]: Taking taylor expansion of z in z 9.538 * [backup-simplify]: Simplify 0 into 0 9.538 * [backup-simplify]: Simplify 1 into 1 9.538 * [taylor]: Taking taylor expansion of y in z 9.538 * [backup-simplify]: Simplify y into y 9.538 * [backup-simplify]: Simplify (* 0 y) into 0 9.539 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 9.539 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.539 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 9.539 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 9.539 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.539 * [taylor]: Taking taylor expansion of y in y 9.539 * [backup-simplify]: Simplify 0 into 0 9.539 * [backup-simplify]: Simplify 1 into 1 9.539 * [backup-simplify]: Simplify (/ 1 1) into 1 9.540 * [backup-simplify]: Simplify (- 1) into -1 9.540 * [backup-simplify]: Simplify -1 into -1 9.540 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.540 * [taylor]: Taking taylor expansion of y in y 9.540 * [backup-simplify]: Simplify 0 into 0 9.540 * [backup-simplify]: Simplify 1 into 1 9.540 * [backup-simplify]: Simplify (/ 1 1) into 1 9.540 * [backup-simplify]: Simplify 1 into 1 9.541 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 9.541 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.542 * [backup-simplify]: Simplify (- 0) into 0 9.542 * [backup-simplify]: Simplify (+ 0 0) into 0 9.542 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (/ 1 (* z y)) (/ 0 y)))) into 0 9.543 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 (* z y))) (* 0 (/ -1 y)))) into 0 9.543 * [taylor]: Taking taylor expansion of 0 in z 9.543 * [backup-simplify]: Simplify 0 into 0 9.544 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 9.544 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 9.544 * [backup-simplify]: Simplify (- 0) into 0 9.544 * [taylor]: Taking taylor expansion of 0 in y 9.544 * [backup-simplify]: Simplify 0 into 0 9.545 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 9.545 * [taylor]: Taking taylor expansion of 0 in y 9.545 * [backup-simplify]: Simplify 0 into 0 9.545 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.546 * [backup-simplify]: Simplify (- 0) into 0 9.546 * [backup-simplify]: Simplify 0 into 0 9.547 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.547 * [backup-simplify]: Simplify 0 into 0 9.547 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 9.548 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.548 * [backup-simplify]: Simplify (- 0) into 0 9.548 * [backup-simplify]: Simplify (+ 0 0) into 0 9.549 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (/ 1 (* z y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.550 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 (* z y))) (* 0 (/ -1 y))))) into 0 9.550 * [taylor]: Taking taylor expansion of 0 in z 9.550 * [backup-simplify]: Simplify 0 into 0 9.550 * [taylor]: Taking taylor expansion of 0 in y 9.550 * [backup-simplify]: Simplify 0 into 0 9.551 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 9.551 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.551 * [backup-simplify]: Simplify (- 0) into 0 9.551 * [taylor]: Taking taylor expansion of 0 in y 9.551 * [backup-simplify]: Simplify 0 into 0 9.552 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.552 * [taylor]: Taking taylor expansion of 0 in y 9.552 * [backup-simplify]: Simplify 0 into 0 9.552 * [backup-simplify]: Simplify 0 into 0 9.552 * [backup-simplify]: Simplify 0 into 0 9.553 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.553 * [backup-simplify]: Simplify (- 0) into 0 9.553 * [backup-simplify]: Simplify 0 into 0 9.554 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.554 * [backup-simplify]: Simplify 0 into 0 9.554 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- y))) (* 1 (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- z))) 1)))) into (- (* x y) (* z y)) 9.554 * * * [progress]: simplifying candidates 9.555 * [simplify]: Simplifying: (expm1 (* (- x z) y)) (log1p (* (- x z) y)) (* (- x z) y) (+ (log (- x z)) (log y)) (log (* (- x z) y)) (exp (* (- x z) y)) (* (* (* (- x z) (- x z)) (- x z)) (* (* y y) y)) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (cbrt (* (- x z) y)) (* (* (* (- x z) y) (* (- x z) y)) (* (- x z) y)) (sqrt (* (- x z) y)) (sqrt (* (- x z) y)) (* (sqrt (- x z)) (sqrt y)) (* (sqrt (- x z)) (sqrt y)) (* (- x z) (* (cbrt y) (cbrt y))) (* (- x z) (sqrt y)) (* (- x z) 1) (* (cbrt (- x z)) y) (* (sqrt (- x z)) y) (* (- x z) y) (* (- (sqrt x) (sqrt z)) y) (* (- x z) y) (* (- (pow x 3) (pow z 3)) y) (* (- (* x x) (* z z)) y) 0 (- (* x y) (* z y)) (- (* x y) (* z y)) 9.556 * * [simplify]: Extracting # 0 : cost 0 9.556 * * [simplify]: Extracting # 1 : cost 0 9.556 * * [simplify]: Extracting # 2 : cost 0 9.556 * * [simplify]: Extracting # 3 : cost 0 9.556 * * [simplify]: Extracting # 4 : cost 0 9.557 * * [simplify]: Extracting # 5 : cost 0 9.557 * * [simplify]: iteration 0 : 51 enodes (cost 197 ) 9.576 * * [simplify]: Extracting # 0 : cost 0 9.577 * * [simplify]: Extracting # 1 : cost 0 9.577 * * [simplify]: Extracting # 2 : cost 0 9.578 * * [simplify]: Extracting # 3 : cost 0 9.578 * * [simplify]: iteration 1 : 109 enodes (cost 190 ) 9.607 * * [simplify]: Extracting # 0 : cost 0 9.608 * * [simplify]: Extracting # 1 : cost 0 9.608 * * [simplify]: Extracting # 2 : cost 0 9.608 * * [simplify]: Extracting # 3 : cost 0 9.609 * * [simplify]: Extracting # 4 : cost 0 9.609 * * [simplify]: Extracting # 5 : cost 0 9.609 * * [simplify]: iteration 2 : 349 enodes (cost 174 ) 10.056 * * [simplify]: Extracting # 0 : cost 0 10.057 * * [simplify]: Extracting # 1 : cost 0 10.058 * * [simplify]: Extracting # 2 : cost 0 10.059 * * [simplify]: Extracting # 3 : cost 0 10.060 * * [simplify]: Extracting # 4 : cost 0 10.061 * * [simplify]: iteration 3 : 1285 enodes (cost 170 ) 12.620 * * [simplify]: Extracting # 0 : cost 0 12.627 * * [simplify]: Extracting # 1 : cost 0 12.630 * * [simplify]: Extracting # 2 : cost 0 12.633 * * [simplify]: Extracting # 3 : cost 0 12.636 * * [simplify]: Extracting # 4 : cost 0 12.639 * * [simplify]: iteration 4 : 4544 enodes (cost 170 ) 13.778 * * [simplify]: Extracting # 0 : cost 0 13.785 * * [simplify]: Extracting # 1 : cost 0 13.798 * * [simplify]: iteration done: 5000 enodes (cost 170 ) 13.798 * [simplify]: Simplified to: (expm1 (* (- x z) y)) (log1p (* (- x z) y)) (* (- x z) y) (log (* (- x z) y)) (log (* (- x z) y)) (exp (* (- x z) y)) (pow (* (- x z) y) 3) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (cbrt (* (- x z) y)) (pow (* (- x z) y) 3) (sqrt (* (- x z) y)) (sqrt (* (- x z) y)) (* (sqrt (- x z)) (sqrt y)) (* (sqrt (- x z)) (sqrt y)) (* (- x z) (* (cbrt y) (cbrt y))) (* (- x z) (sqrt y)) (- x z) (* (cbrt (- x z)) y) (* (sqrt (- x z)) y) (* (- x z) y) (* (- (sqrt x) (sqrt z)) y) (* (- x z) y) (* (- (pow x 3) (pow z 3)) y) (* (- (* x x) (* z z)) y) 0 (* (- x z) y) (* (- x z) y) 13.799 * * * [progress]: adding candidates to table 13.876 * * [progress]: iteration 2 / 4 13.876 * * * [progress]: picking best candidate 13.879 * * * * [pick]: Picked # 13.879 * * * [progress]: localizing error 13.893 * * * [progress]: generating rewritten candidates 13.893 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 13.959 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 13.979 * * * [progress]: generating series expansions 13.979 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 13.979 * [backup-simplify]: Simplify (+ (- (* x y) (* y y)) (* y y)) into (* x y) 13.979 * [approximate]: Taking taylor expansion of (* x y) in (x y) around 0 13.979 * [taylor]: Taking taylor expansion of (* x y) in y 13.979 * [taylor]: Taking taylor expansion of x in y 13.980 * [backup-simplify]: Simplify x into x 13.980 * [taylor]: Taking taylor expansion of y in y 13.980 * [backup-simplify]: Simplify 0 into 0 13.980 * [backup-simplify]: Simplify 1 into 1 13.980 * [taylor]: Taking taylor expansion of (* x y) in x 13.980 * [taylor]: Taking taylor expansion of x in x 13.980 * [backup-simplify]: Simplify 0 into 0 13.980 * [backup-simplify]: Simplify 1 into 1 13.980 * [taylor]: Taking taylor expansion of y in x 13.980 * [backup-simplify]: Simplify y into y 13.980 * [taylor]: Taking taylor expansion of (* x y) in x 13.980 * [taylor]: Taking taylor expansion of x in x 13.980 * [backup-simplify]: Simplify 0 into 0 13.980 * [backup-simplify]: Simplify 1 into 1 13.980 * [taylor]: Taking taylor expansion of y in x 13.980 * [backup-simplify]: Simplify y into y 13.980 * [backup-simplify]: Simplify (* 0 y) into 0 13.980 * [taylor]: Taking taylor expansion of 0 in y 13.980 * [backup-simplify]: Simplify 0 into 0 13.980 * [backup-simplify]: Simplify 0 into 0 13.981 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 13.981 * [taylor]: Taking taylor expansion of y in y 13.981 * [backup-simplify]: Simplify 0 into 0 13.981 * [backup-simplify]: Simplify 1 into 1 13.981 * [backup-simplify]: Simplify 0 into 0 13.981 * [backup-simplify]: Simplify 0 into 0 13.982 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 13.982 * [taylor]: Taking taylor expansion of 0 in y 13.982 * [backup-simplify]: Simplify 0 into 0 13.982 * [backup-simplify]: Simplify 0 into 0 13.982 * [backup-simplify]: Simplify 1 into 1 13.982 * [backup-simplify]: Simplify 0 into 0 13.983 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 13.983 * [taylor]: Taking taylor expansion of 0 in y 13.984 * [backup-simplify]: Simplify 0 into 0 13.984 * [backup-simplify]: Simplify 0 into 0 13.984 * [backup-simplify]: Simplify 0 into 0 13.984 * [backup-simplify]: Simplify 0 into 0 13.984 * [backup-simplify]: Simplify 0 into 0 13.985 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 13.985 * [taylor]: Taking taylor expansion of 0 in y 13.985 * [backup-simplify]: Simplify 0 into 0 13.985 * [backup-simplify]: Simplify 0 into 0 13.985 * [backup-simplify]: Simplify (* 1 (* y x)) into (* x y) 13.986 * [backup-simplify]: Simplify (+ (- (* (/ 1 x) (/ 1 y)) (* (/ 1 y) (/ 1 y))) (* (/ 1 y) (/ 1 y))) into (/ 1 (* x y)) 13.986 * [approximate]: Taking taylor expansion of (/ 1 (* x y)) in (x y) around 0 13.986 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 13.986 * [taylor]: Taking taylor expansion of (* x y) in y 13.986 * [taylor]: Taking taylor expansion of x in y 13.986 * [backup-simplify]: Simplify x into x 13.986 * [taylor]: Taking taylor expansion of y in y 13.986 * [backup-simplify]: Simplify 0 into 0 13.986 * [backup-simplify]: Simplify 1 into 1 13.986 * [backup-simplify]: Simplify (* x 0) into 0 13.987 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 13.987 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.987 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 13.987 * [taylor]: Taking taylor expansion of (* x y) in x 13.987 * [taylor]: Taking taylor expansion of x in x 13.987 * [backup-simplify]: Simplify 0 into 0 13.987 * [backup-simplify]: Simplify 1 into 1 13.987 * [taylor]: Taking taylor expansion of y in x 13.987 * [backup-simplify]: Simplify y into y 13.987 * [backup-simplify]: Simplify (* 0 y) into 0 13.988 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 13.988 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.988 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 13.988 * [taylor]: Taking taylor expansion of (* x y) in x 13.988 * [taylor]: Taking taylor expansion of x in x 13.988 * [backup-simplify]: Simplify 0 into 0 13.988 * [backup-simplify]: Simplify 1 into 1 13.988 * [taylor]: Taking taylor expansion of y in x 13.988 * [backup-simplify]: Simplify y into y 13.988 * [backup-simplify]: Simplify (* 0 y) into 0 13.988 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 13.988 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.989 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.989 * [taylor]: Taking taylor expansion of y in y 13.989 * [backup-simplify]: Simplify 0 into 0 13.989 * [backup-simplify]: Simplify 1 into 1 13.989 * [backup-simplify]: Simplify (/ 1 1) into 1 13.989 * [backup-simplify]: Simplify 1 into 1 13.990 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 13.990 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 13.991 * [taylor]: Taking taylor expansion of 0 in y 13.991 * [backup-simplify]: Simplify 0 into 0 13.991 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.991 * [backup-simplify]: Simplify 0 into 0 13.993 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 13.993 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.993 * [taylor]: Taking taylor expansion of 0 in y 13.993 * [backup-simplify]: Simplify 0 into 0 13.993 * [backup-simplify]: Simplify 0 into 0 13.994 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.994 * [backup-simplify]: Simplify 0 into 0 13.996 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 13.996 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.996 * [taylor]: Taking taylor expansion of 0 in y 13.996 * [backup-simplify]: Simplify 0 into 0 13.996 * [backup-simplify]: Simplify 0 into 0 13.996 * [backup-simplify]: Simplify 0 into 0 13.997 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.997 * [backup-simplify]: Simplify 0 into 0 13.997 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* x y) 13.998 * [backup-simplify]: Simplify (+ (- (* (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- y)) (/ 1 (- y)))) (* (/ 1 (- y)) (/ 1 (- y)))) into (/ 1 (* x y)) 13.998 * [approximate]: Taking taylor expansion of (/ 1 (* x y)) in (x y) around 0 13.998 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 13.998 * [taylor]: Taking taylor expansion of (* x y) in y 13.998 * [taylor]: Taking taylor expansion of x in y 13.998 * [backup-simplify]: Simplify x into x 13.998 * [taylor]: Taking taylor expansion of y in y 13.998 * [backup-simplify]: Simplify 0 into 0 13.998 * [backup-simplify]: Simplify 1 into 1 13.998 * [backup-simplify]: Simplify (* x 0) into 0 13.999 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 13.999 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.999 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 13.999 * [taylor]: Taking taylor expansion of (* x y) in x 13.999 * [taylor]: Taking taylor expansion of x in x 13.999 * [backup-simplify]: Simplify 0 into 0 13.999 * [backup-simplify]: Simplify 1 into 1 13.999 * [taylor]: Taking taylor expansion of y in x 13.999 * [backup-simplify]: Simplify y into y 13.999 * [backup-simplify]: Simplify (* 0 y) into 0 13.999 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 14.000 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.000 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 14.000 * [taylor]: Taking taylor expansion of (* x y) in x 14.000 * [taylor]: Taking taylor expansion of x in x 14.000 * [backup-simplify]: Simplify 0 into 0 14.000 * [backup-simplify]: Simplify 1 into 1 14.000 * [taylor]: Taking taylor expansion of y in x 14.000 * [backup-simplify]: Simplify y into y 14.000 * [backup-simplify]: Simplify (* 0 y) into 0 14.000 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 14.000 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.001 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.001 * [taylor]: Taking taylor expansion of y in y 14.001 * [backup-simplify]: Simplify 0 into 0 14.001 * [backup-simplify]: Simplify 1 into 1 14.001 * [backup-simplify]: Simplify (/ 1 1) into 1 14.001 * [backup-simplify]: Simplify 1 into 1 14.002 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 14.002 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 14.002 * [taylor]: Taking taylor expansion of 0 in y 14.002 * [backup-simplify]: Simplify 0 into 0 14.003 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.003 * [backup-simplify]: Simplify 0 into 0 14.004 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 14.004 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.004 * [taylor]: Taking taylor expansion of 0 in y 14.004 * [backup-simplify]: Simplify 0 into 0 14.004 * [backup-simplify]: Simplify 0 into 0 14.005 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.005 * [backup-simplify]: Simplify 0 into 0 14.007 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 14.007 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.007 * [taylor]: Taking taylor expansion of 0 in y 14.007 * [backup-simplify]: Simplify 0 into 0 14.007 * [backup-simplify]: Simplify 0 into 0 14.007 * [backup-simplify]: Simplify 0 into 0 14.008 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.008 * [backup-simplify]: Simplify 0 into 0 14.009 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* x y) 14.009 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 14.009 * [backup-simplify]: Simplify (- (* x y) (* y y)) into (- (* x y) (pow y 2)) 14.009 * [approximate]: Taking taylor expansion of (- (* x y) (pow y 2)) in (x y) around 0 14.009 * [taylor]: Taking taylor expansion of (- (* x y) (pow y 2)) in y 14.009 * [taylor]: Taking taylor expansion of (* x y) in y 14.009 * [taylor]: Taking taylor expansion of x in y 14.009 * [backup-simplify]: Simplify x into x 14.009 * [taylor]: Taking taylor expansion of y in y 14.009 * [backup-simplify]: Simplify 0 into 0 14.009 * [backup-simplify]: Simplify 1 into 1 14.009 * [taylor]: Taking taylor expansion of (pow y 2) in y 14.009 * [taylor]: Taking taylor expansion of y in y 14.009 * [backup-simplify]: Simplify 0 into 0 14.009 * [backup-simplify]: Simplify 1 into 1 14.009 * [taylor]: Taking taylor expansion of (- (* x y) (pow y 2)) in x 14.009 * [taylor]: Taking taylor expansion of (* x y) in x 14.009 * [taylor]: Taking taylor expansion of x in x 14.010 * [backup-simplify]: Simplify 0 into 0 14.010 * [backup-simplify]: Simplify 1 into 1 14.010 * [taylor]: Taking taylor expansion of y in x 14.010 * [backup-simplify]: Simplify y into y 14.010 * [taylor]: Taking taylor expansion of (pow y 2) in x 14.010 * [taylor]: Taking taylor expansion of y in x 14.010 * [backup-simplify]: Simplify y into y 14.010 * [taylor]: Taking taylor expansion of (- (* x y) (pow y 2)) in x 14.010 * [taylor]: Taking taylor expansion of (* x y) in x 14.010 * [taylor]: Taking taylor expansion of x in x 14.010 * [backup-simplify]: Simplify 0 into 0 14.010 * [backup-simplify]: Simplify 1 into 1 14.010 * [taylor]: Taking taylor expansion of y in x 14.010 * [backup-simplify]: Simplify y into y 14.010 * [taylor]: Taking taylor expansion of (pow y 2) in x 14.010 * [taylor]: Taking taylor expansion of y in x 14.010 * [backup-simplify]: Simplify y into y 14.010 * [backup-simplify]: Simplify (* 0 y) into 0 14.010 * [backup-simplify]: Simplify (* y y) into (pow y 2) 14.010 * [backup-simplify]: Simplify (- (pow y 2)) into (- (pow y 2)) 14.011 * [backup-simplify]: Simplify (+ 0 (- (pow y 2))) into (- (pow y 2)) 14.011 * [taylor]: Taking taylor expansion of (- (pow y 2)) in y 14.011 * [taylor]: Taking taylor expansion of (pow y 2) in y 14.011 * [taylor]: Taking taylor expansion of y in y 14.011 * [backup-simplify]: Simplify 0 into 0 14.011 * [backup-simplify]: Simplify 1 into 1 14.011 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 14.011 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 14.012 * [backup-simplify]: Simplify (- 0) into 0 14.012 * [backup-simplify]: Simplify (+ y 0) into y 14.012 * [taylor]: Taking taylor expansion of y in y 14.012 * [backup-simplify]: Simplify 0 into 0 14.012 * [backup-simplify]: Simplify 1 into 1 14.012 * [backup-simplify]: Simplify 0 into 0 14.013 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 14.013 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 14.014 * [backup-simplify]: Simplify (- 0) into 0 14.014 * [backup-simplify]: Simplify (+ 0 0) into 0 14.014 * [taylor]: Taking taylor expansion of 0 in y 14.014 * [backup-simplify]: Simplify 0 into 0 14.014 * [backup-simplify]: Simplify 0 into 0 14.014 * [backup-simplify]: Simplify 1 into 1 14.015 * [backup-simplify]: Simplify (* 1 1) into 1 14.015 * [backup-simplify]: Simplify (- 1) into -1 14.015 * [backup-simplify]: Simplify -1 into -1 14.016 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 14.017 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 14.017 * [backup-simplify]: Simplify (- 0) into 0 14.018 * [backup-simplify]: Simplify (+ 0 0) into 0 14.018 * [taylor]: Taking taylor expansion of 0 in y 14.018 * [backup-simplify]: Simplify 0 into 0 14.018 * [backup-simplify]: Simplify 0 into 0 14.018 * [backup-simplify]: Simplify 0 into 0 14.018 * [backup-simplify]: Simplify 0 into 0 14.019 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.019 * [backup-simplify]: Simplify (- 0) into 0 14.019 * [backup-simplify]: Simplify 0 into 0 14.020 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 14.025 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 14.025 * [backup-simplify]: Simplify (- 0) into 0 14.025 * [backup-simplify]: Simplify (+ 0 0) into 0 14.025 * [taylor]: Taking taylor expansion of 0 in y 14.025 * [backup-simplify]: Simplify 0 into 0 14.025 * [backup-simplify]: Simplify 0 into 0 14.025 * [backup-simplify]: Simplify 0 into 0 14.026 * [backup-simplify]: Simplify (+ (* -1 (pow (* y 1) 2)) (* 1 (* y x))) into (- (* x y) (pow y 2)) 14.026 * [backup-simplify]: Simplify (- (* (/ 1 x) (/ 1 y)) (* (/ 1 y) (/ 1 y))) into (- (/ 1 (* x y)) (/ 1 (pow y 2))) 14.026 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in (x y) around 0 14.026 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in y 14.026 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 14.026 * [taylor]: Taking taylor expansion of (* x y) in y 14.026 * [taylor]: Taking taylor expansion of x in y 14.026 * [backup-simplify]: Simplify x into x 14.026 * [taylor]: Taking taylor expansion of y in y 14.026 * [backup-simplify]: Simplify 0 into 0 14.026 * [backup-simplify]: Simplify 1 into 1 14.026 * [backup-simplify]: Simplify (* x 0) into 0 14.026 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 14.026 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 14.026 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 14.026 * [taylor]: Taking taylor expansion of (pow y 2) in y 14.026 * [taylor]: Taking taylor expansion of y in y 14.026 * [backup-simplify]: Simplify 0 into 0 14.026 * [backup-simplify]: Simplify 1 into 1 14.027 * [backup-simplify]: Simplify (* 1 1) into 1 14.027 * [backup-simplify]: Simplify (/ 1 1) into 1 14.027 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in x 14.027 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 14.027 * [taylor]: Taking taylor expansion of (* x y) in x 14.027 * [taylor]: Taking taylor expansion of x in x 14.027 * [backup-simplify]: Simplify 0 into 0 14.027 * [backup-simplify]: Simplify 1 into 1 14.027 * [taylor]: Taking taylor expansion of y in x 14.027 * [backup-simplify]: Simplify y into y 14.027 * [backup-simplify]: Simplify (* 0 y) into 0 14.027 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 14.027 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.027 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 14.027 * [taylor]: Taking taylor expansion of (pow y 2) in x 14.027 * [taylor]: Taking taylor expansion of y in x 14.028 * [backup-simplify]: Simplify y into y 14.028 * [backup-simplify]: Simplify (* y y) into (pow y 2) 14.028 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 14.028 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in x 14.028 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 14.028 * [taylor]: Taking taylor expansion of (* x y) in x 14.028 * [taylor]: Taking taylor expansion of x in x 14.028 * [backup-simplify]: Simplify 0 into 0 14.028 * [backup-simplify]: Simplify 1 into 1 14.028 * [taylor]: Taking taylor expansion of y in x 14.028 * [backup-simplify]: Simplify y into y 14.028 * [backup-simplify]: Simplify (* 0 y) into 0 14.028 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 14.028 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.028 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 14.028 * [taylor]: Taking taylor expansion of (pow y 2) in x 14.028 * [taylor]: Taking taylor expansion of y in x 14.028 * [backup-simplify]: Simplify y into y 14.028 * [backup-simplify]: Simplify (* y y) into (pow y 2) 14.028 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 14.028 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 14.028 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.028 * [taylor]: Taking taylor expansion of y in y 14.029 * [backup-simplify]: Simplify 0 into 0 14.029 * [backup-simplify]: Simplify 1 into 1 14.029 * [backup-simplify]: Simplify (/ 1 1) into 1 14.029 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 14.029 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 14.030 * [backup-simplify]: Simplify (- (/ 1 (pow y 2))) into (- (/ 1 (pow y 2))) 14.030 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 2)))) into (- (/ 1 (pow y 2))) 14.030 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y 14.030 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 14.030 * [taylor]: Taking taylor expansion of (pow y 2) in y 14.030 * [taylor]: Taking taylor expansion of y in y 14.030 * [backup-simplify]: Simplify 0 into 0 14.030 * [backup-simplify]: Simplify 1 into 1 14.030 * [backup-simplify]: Simplify (* 1 1) into 1 14.030 * [backup-simplify]: Simplify (/ 1 1) into 1 14.031 * [backup-simplify]: Simplify (- 1) into -1 14.031 * [backup-simplify]: Simplify -1 into -1 14.031 * [backup-simplify]: Simplify 1 into 1 14.032 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 14.032 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.032 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 14.032 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 14.032 * [backup-simplify]: Simplify (- 0) into 0 14.032 * [backup-simplify]: Simplify (+ 0 0) into 0 14.032 * [taylor]: Taking taylor expansion of 0 in y 14.032 * [backup-simplify]: Simplify 0 into 0 14.033 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.033 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.034 * [backup-simplify]: Simplify (- 0) into 0 14.034 * [backup-simplify]: Simplify 0 into 0 14.034 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.034 * [backup-simplify]: Simplify 0 into 0 14.035 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 14.035 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.036 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 14.036 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 14.036 * [backup-simplify]: Simplify (- 0) into 0 14.037 * [backup-simplify]: Simplify (+ 0 0) into 0 14.037 * [taylor]: Taking taylor expansion of 0 in y 14.037 * [backup-simplify]: Simplify 0 into 0 14.037 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.038 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.038 * [backup-simplify]: Simplify (- 0) into 0 14.038 * [backup-simplify]: Simplify 0 into 0 14.038 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.038 * [backup-simplify]: Simplify 0 into 0 14.040 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 14.040 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.040 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 14.041 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 14.041 * [backup-simplify]: Simplify (- 0) into 0 14.041 * [backup-simplify]: Simplify (+ 0 0) into 0 14.041 * [taylor]: Taking taylor expansion of 0 in y 14.041 * [backup-simplify]: Simplify 0 into 0 14.041 * [backup-simplify]: Simplify 0 into 0 14.042 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.042 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.043 * [backup-simplify]: Simplify (- 0) into 0 14.043 * [backup-simplify]: Simplify 0 into 0 14.043 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 2))) into (- (* x y) (pow y 2)) 14.043 * [backup-simplify]: Simplify (- (* (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- y)) (/ 1 (- y)))) into (- (/ 1 (* x y)) (/ 1 (pow y 2))) 14.043 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in (x y) around 0 14.043 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in y 14.043 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 14.043 * [taylor]: Taking taylor expansion of (* x y) in y 14.043 * [taylor]: Taking taylor expansion of x in y 14.043 * [backup-simplify]: Simplify x into x 14.043 * [taylor]: Taking taylor expansion of y in y 14.043 * [backup-simplify]: Simplify 0 into 0 14.043 * [backup-simplify]: Simplify 1 into 1 14.043 * [backup-simplify]: Simplify (* x 0) into 0 14.044 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 14.044 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 14.044 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 14.044 * [taylor]: Taking taylor expansion of (pow y 2) in y 14.044 * [taylor]: Taking taylor expansion of y in y 14.044 * [backup-simplify]: Simplify 0 into 0 14.044 * [backup-simplify]: Simplify 1 into 1 14.044 * [backup-simplify]: Simplify (* 1 1) into 1 14.044 * [backup-simplify]: Simplify (/ 1 1) into 1 14.044 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in x 14.044 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 14.044 * [taylor]: Taking taylor expansion of (* x y) in x 14.044 * [taylor]: Taking taylor expansion of x in x 14.044 * [backup-simplify]: Simplify 0 into 0 14.044 * [backup-simplify]: Simplify 1 into 1 14.044 * [taylor]: Taking taylor expansion of y in x 14.044 * [backup-simplify]: Simplify y into y 14.044 * [backup-simplify]: Simplify (* 0 y) into 0 14.045 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 14.045 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.045 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 14.045 * [taylor]: Taking taylor expansion of (pow y 2) in x 14.045 * [taylor]: Taking taylor expansion of y in x 14.045 * [backup-simplify]: Simplify y into y 14.045 * [backup-simplify]: Simplify (* y y) into (pow y 2) 14.045 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 14.045 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (pow y 2))) in x 14.045 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 14.045 * [taylor]: Taking taylor expansion of (* x y) in x 14.045 * [taylor]: Taking taylor expansion of x in x 14.045 * [backup-simplify]: Simplify 0 into 0 14.045 * [backup-simplify]: Simplify 1 into 1 14.045 * [taylor]: Taking taylor expansion of y in x 14.045 * [backup-simplify]: Simplify y into y 14.045 * [backup-simplify]: Simplify (* 0 y) into 0 14.045 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 14.045 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.045 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 14.045 * [taylor]: Taking taylor expansion of (pow y 2) in x 14.045 * [taylor]: Taking taylor expansion of y in x 14.045 * [backup-simplify]: Simplify y into y 14.045 * [backup-simplify]: Simplify (* y y) into (pow y 2) 14.046 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 14.046 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 14.046 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.046 * [taylor]: Taking taylor expansion of y in y 14.046 * [backup-simplify]: Simplify 0 into 0 14.046 * [backup-simplify]: Simplify 1 into 1 14.046 * [backup-simplify]: Simplify (/ 1 1) into 1 14.046 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 14.047 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 14.047 * [backup-simplify]: Simplify (- (/ 1 (pow y 2))) into (- (/ 1 (pow y 2))) 14.047 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 2)))) into (- (/ 1 (pow y 2))) 14.047 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y 14.047 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 14.047 * [taylor]: Taking taylor expansion of (pow y 2) in y 14.047 * [taylor]: Taking taylor expansion of y in y 14.047 * [backup-simplify]: Simplify 0 into 0 14.047 * [backup-simplify]: Simplify 1 into 1 14.048 * [backup-simplify]: Simplify (* 1 1) into 1 14.048 * [backup-simplify]: Simplify (/ 1 1) into 1 14.048 * [backup-simplify]: Simplify (- 1) into -1 14.048 * [backup-simplify]: Simplify -1 into -1 14.048 * [backup-simplify]: Simplify 1 into 1 14.049 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 14.050 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.050 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 14.050 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 14.051 * [backup-simplify]: Simplify (- 0) into 0 14.051 * [backup-simplify]: Simplify (+ 0 0) into 0 14.051 * [taylor]: Taking taylor expansion of 0 in y 14.051 * [backup-simplify]: Simplify 0 into 0 14.052 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.053 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.053 * [backup-simplify]: Simplify (- 0) into 0 14.053 * [backup-simplify]: Simplify 0 into 0 14.054 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.054 * [backup-simplify]: Simplify 0 into 0 14.055 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 14.056 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.056 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 14.057 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 14.057 * [backup-simplify]: Simplify (- 0) into 0 14.057 * [backup-simplify]: Simplify (+ 0 0) into 0 14.057 * [taylor]: Taking taylor expansion of 0 in y 14.057 * [backup-simplify]: Simplify 0 into 0 14.058 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.059 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.060 * [backup-simplify]: Simplify (- 0) into 0 14.060 * [backup-simplify]: Simplify 0 into 0 14.061 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.061 * [backup-simplify]: Simplify 0 into 0 14.062 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 14.063 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.064 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 14.064 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 14.065 * [backup-simplify]: Simplify (- 0) into 0 14.065 * [backup-simplify]: Simplify (+ 0 0) into 0 14.065 * [taylor]: Taking taylor expansion of 0 in y 14.065 * [backup-simplify]: Simplify 0 into 0 14.065 * [backup-simplify]: Simplify 0 into 0 14.066 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.067 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.068 * [backup-simplify]: Simplify (- 0) into 0 14.068 * [backup-simplify]: Simplify 0 into 0 14.068 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 2))) into (- (* x y) (pow y 2)) 14.068 * * * [progress]: simplifying candidates 14.069 * [simplify]: Simplifying: (expm1 (+ (- (* x y) (* y y)) (* y y))) (log1p (+ (- (* x y) (* y y)) (* y y))) (* (/ (exp (* x y)) (exp (* y y))) (exp (* y y))) (* (exp (- (* x y) (* y y))) (exp (* y y))) (log (+ (- (* x y) (* y y)) (* y y))) (exp (+ (- (* x y) (* y y)) (* y y))) (* (cbrt (+ (- (* x y) (* y y)) (* y y))) (cbrt (+ (- (* x y) (* y y)) (* y y)))) (cbrt (+ (- (* x y) (* y y)) (* y y))) (* (* (+ (- (* x y) (* y y)) (* y y)) (+ (- (* x y) (* y y)) (* y y))) (+ (- (* x y) (* y y)) (* y y))) (sqrt (+ (- (* x y) (* y y)) (* y y))) (sqrt (+ (- (* x y) (* y y)) (* y y))) (+ (pow (- (* x y) (* y y)) 3) (pow (* y y) 3)) (+ (* (- (* x y) (* y y)) (- (* x y) (* y y))) (- (* (* y y) (* y y)) (* (- (* x y) (* y y)) (* y y)))) (- (* (- (* x y) (* y y)) (- (* x y) (* y y))) (* (* y y) (* y y))) (- (- (* x y) (* y y)) (* y y)) (+ (- x y) y) (+ (fma (- y) y (* y y)) (* y y)) (+ (- (* y y)) (* y y)) (+ (- (* y y)) (* y y)) (- (* y y) (* y y)) (fma x y (- (* y y))) (fma (- y) y (* y y)) (expm1 (- (* x y) (* y y))) (log1p (- (* x y) (* y y))) (- (* y y)) (/ (exp (* x y)) (exp (* y y))) (log (- (* x y) (* y y))) (exp (- (* x y) (* y y))) (* (cbrt (- (* x y) (* y y))) (cbrt (- (* x y) (* y y)))) (cbrt (- (* x y) (* y y))) (* (* (- (* x y) (* y y)) (- (* x y) (* y y))) (- (* x y) (* y y))) (sqrt (- (* x y) (* y y))) (sqrt (- (* x y) (* y y))) (- (pow (* x y) 3) (pow (* y y) 3)) (+ (* (* x y) (* x y)) (+ (* (* y y) (* y y)) (* (* x y) (* y y)))) (- (* y y)) (- (* (* x y) (* x y)) (* (* y y) (* y y))) (+ (* x y) (* y y)) (- x y) (- (* y y)) (* x y) (* x y) (* x y) (- (* x y) (pow y 2)) (- (* x y) (pow y 2)) (- (* x y) (pow y 2)) 14.071 * * [simplify]: Extracting # 0 : cost 0 14.071 * * [simplify]: Extracting # 1 : cost 0 14.071 * * [simplify]: Extracting # 2 : cost 0 14.072 * * [simplify]: Extracting # 3 : cost 0 14.072 * * [simplify]: Extracting # 4 : cost 0 14.072 * * [simplify]: Extracting # 5 : cost 0 14.072 * * [simplify]: iteration 0 : 59 enodes (cost 514 ) 14.099 * * [simplify]: Extracting # 0 : cost 0 14.100 * * [simplify]: Extracting # 1 : cost 0 14.100 * * [simplify]: Extracting # 2 : cost 0 14.101 * * [simplify]: Extracting # 3 : cost 0 14.101 * * [simplify]: Extracting # 4 : cost 0 14.102 * * [simplify]: iteration 1 : 171 enodes (cost 314 ) 14.216 * * [simplify]: Extracting # 0 : cost 0 14.217 * * [simplify]: Extracting # 1 : cost 0 14.218 * * [simplify]: Extracting # 2 : cost 0 14.219 * * [simplify]: Extracting # 3 : cost 0 14.220 * * [simplify]: Extracting # 4 : cost 0 14.225 * * [simplify]: iteration 2 : 523 enodes (cost 262 ) 14.936 * * [simplify]: Extracting # 0 : cost 0 14.939 * * [simplify]: Extracting # 1 : cost 0 14.941 * * [simplify]: Extracting # 2 : cost 0 14.944 * * [simplify]: Extracting # 3 : cost 0 14.949 * * [simplify]: Extracting # 4 : cost 0 14.953 * * [simplify]: iteration 3 : 2230 enodes (cost 254 ) 16.006 * * [simplify]: Extracting # 0 : cost 0 16.017 * * [simplify]: Extracting # 1 : cost 0 16.023 * * [simplify]: iteration done: 5000 enodes (cost 252 ) 16.024 * [simplify]: Simplified to: (expm1 (* x y)) (log1p (* x y)) (exp (* x y)) (exp (* x y)) (log (* x y)) (exp (* x y)) (* (cbrt (* x y)) (cbrt (* x y))) (cbrt (* x y)) (pow (* x y) 3) (sqrt (* x y)) (sqrt (* x y)) (+ (pow (* y (- x y)) 3) (pow y 6)) (fma (* (* y (- x y)) y) (- (- x y) y) (pow y 4)) (* (* x y) (* y (- (- x y) y))) (* y (- (- x y) y)) x (* y y) 0 0 0 (* y (- x y)) 0 (expm1 (* y (- x y))) (log1p (* y (- x y))) (- (* y y)) (exp (* y (- x y))) (log (* y (- x y))) (exp (* y (- x y))) (* (cbrt (* y (- x y))) (cbrt (* y (- x y)))) (cbrt (* y (- x y))) (pow (* y (- x y)) 3) (sqrt (* y (- x y))) (sqrt (* y (- x y))) (- (pow (* x y) 3) (pow y 6)) (* (* y y) (fma y (+ x y) (* x x))) (- (* y y)) (* (* y (+ x y)) (* y (- x y))) (* y (+ x y)) (- x y) (- (* y y)) (* x y) (* x y) (* x y) (* y (- x y)) (* y (- x y)) (* y (- x y)) 16.024 * * * [progress]: adding candidates to table 16.183 * * [progress]: iteration 3 / 4 16.183 * * * [progress]: picking best candidate 16.186 * * * * [pick]: Picked # 16.186 * * * [progress]: localizing error 16.197 * * * [progress]: generating rewritten candidates 16.197 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 16.209 * * * [progress]: generating series expansions 16.210 * * * * [progress]: [ 1 / 1 ] generating series at (2) 16.210 * [backup-simplify]: Simplify (- (* x y) (* y z)) into (- (* x y) (* z y)) 16.210 * [approximate]: Taking taylor expansion of (- (* x y) (* z y)) in (x y z) around 0 16.210 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in z 16.210 * [taylor]: Taking taylor expansion of (* x y) in z 16.210 * [taylor]: Taking taylor expansion of x in z 16.210 * [backup-simplify]: Simplify x into x 16.210 * [taylor]: Taking taylor expansion of y in z 16.210 * [backup-simplify]: Simplify y into y 16.210 * [taylor]: Taking taylor expansion of (* z y) in z 16.210 * [taylor]: Taking taylor expansion of z in z 16.210 * [backup-simplify]: Simplify 0 into 0 16.210 * [backup-simplify]: Simplify 1 into 1 16.210 * [taylor]: Taking taylor expansion of y in z 16.210 * [backup-simplify]: Simplify y into y 16.210 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in y 16.210 * [taylor]: Taking taylor expansion of (* x y) in y 16.210 * [taylor]: Taking taylor expansion of x in y 16.210 * [backup-simplify]: Simplify x into x 16.210 * [taylor]: Taking taylor expansion of y in y 16.210 * [backup-simplify]: Simplify 0 into 0 16.210 * [backup-simplify]: Simplify 1 into 1 16.210 * [taylor]: Taking taylor expansion of (* z y) in y 16.210 * [taylor]: Taking taylor expansion of z in y 16.210 * [backup-simplify]: Simplify z into z 16.210 * [taylor]: Taking taylor expansion of y in y 16.210 * [backup-simplify]: Simplify 0 into 0 16.210 * [backup-simplify]: Simplify 1 into 1 16.210 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x 16.210 * [taylor]: Taking taylor expansion of (* x y) in x 16.210 * [taylor]: Taking taylor expansion of x in x 16.210 * [backup-simplify]: Simplify 0 into 0 16.210 * [backup-simplify]: Simplify 1 into 1 16.210 * [taylor]: Taking taylor expansion of y in x 16.210 * [backup-simplify]: Simplify y into y 16.210 * [taylor]: Taking taylor expansion of (* z y) in x 16.210 * [taylor]: Taking taylor expansion of z in x 16.210 * [backup-simplify]: Simplify z into z 16.210 * [taylor]: Taking taylor expansion of y in x 16.210 * [backup-simplify]: Simplify y into y 16.210 * [taylor]: Taking taylor expansion of (- (* x y) (* z y)) in x 16.210 * [taylor]: Taking taylor expansion of (* x y) in x 16.210 * [taylor]: Taking taylor expansion of x in x 16.210 * [backup-simplify]: Simplify 0 into 0 16.210 * [backup-simplify]: Simplify 1 into 1 16.210 * [taylor]: Taking taylor expansion of y in x 16.210 * [backup-simplify]: Simplify y into y 16.210 * [taylor]: Taking taylor expansion of (* z y) in x 16.210 * [taylor]: Taking taylor expansion of z in x 16.210 * [backup-simplify]: Simplify z into z 16.210 * [taylor]: Taking taylor expansion of y in x 16.210 * [backup-simplify]: Simplify y into y 16.211 * [backup-simplify]: Simplify (* 0 y) into 0 16.211 * [backup-simplify]: Simplify (* z y) into (* z y) 16.211 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y)) 16.211 * [backup-simplify]: Simplify (+ 0 (- (* z y))) into (- (* z y)) 16.211 * [taylor]: Taking taylor expansion of (- (* z y)) in y 16.211 * [taylor]: Taking taylor expansion of (* z y) in y 16.211 * [taylor]: Taking taylor expansion of z in y 16.211 * [backup-simplify]: Simplify z into z 16.211 * [taylor]: Taking taylor expansion of y in y 16.211 * [backup-simplify]: Simplify 0 into 0 16.211 * [backup-simplify]: Simplify 1 into 1 16.211 * [backup-simplify]: Simplify (* z 0) into 0 16.211 * [backup-simplify]: Simplify (- 0) into 0 16.211 * [taylor]: Taking taylor expansion of 0 in z 16.211 * [backup-simplify]: Simplify 0 into 0 16.211 * [backup-simplify]: Simplify 0 into 0 16.212 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.212 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 16.212 * [backup-simplify]: Simplify (- 0) into 0 16.212 * [backup-simplify]: Simplify (+ y 0) into y 16.212 * [taylor]: Taking taylor expansion of y in y 16.212 * [backup-simplify]: Simplify 0 into 0 16.212 * [backup-simplify]: Simplify 1 into 1 16.212 * [taylor]: Taking taylor expansion of 0 in z 16.212 * [backup-simplify]: Simplify 0 into 0 16.212 * [backup-simplify]: Simplify 0 into 0 16.212 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 16.212 * [backup-simplify]: Simplify (- z) into (- z) 16.212 * [taylor]: Taking taylor expansion of (- z) in z 16.213 * [taylor]: Taking taylor expansion of z in z 16.213 * [backup-simplify]: Simplify 0 into 0 16.213 * [backup-simplify]: Simplify 1 into 1 16.213 * [backup-simplify]: Simplify (- 0) into 0 16.213 * [backup-simplify]: Simplify 0 into 0 16.213 * [backup-simplify]: Simplify 0 into 0 16.213 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 16.214 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0 16.214 * [backup-simplify]: Simplify (- 0) into 0 16.214 * [backup-simplify]: Simplify (+ 0 0) into 0 16.214 * [taylor]: Taking taylor expansion of 0 in y 16.214 * [backup-simplify]: Simplify 0 into 0 16.214 * [taylor]: Taking taylor expansion of 0 in z 16.214 * [backup-simplify]: Simplify 0 into 0 16.214 * [backup-simplify]: Simplify 0 into 0 16.214 * [taylor]: Taking taylor expansion of 1 in z 16.214 * [backup-simplify]: Simplify 1 into 1 16.214 * [backup-simplify]: Simplify 1 into 1 16.215 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 16.215 * [backup-simplify]: Simplify (- 0) into 0 16.215 * [taylor]: Taking taylor expansion of 0 in z 16.215 * [backup-simplify]: Simplify 0 into 0 16.215 * [backup-simplify]: Simplify 0 into 0 16.215 * [backup-simplify]: Simplify 0 into 0 16.215 * [backup-simplify]: Simplify (- 1) into -1 16.215 * [backup-simplify]: Simplify -1 into -1 16.215 * [backup-simplify]: Simplify 0 into 0 16.216 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 16.217 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 16.217 * [backup-simplify]: Simplify (- 0) into 0 16.217 * [backup-simplify]: Simplify (+ 0 0) into 0 16.217 * [taylor]: Taking taylor expansion of 0 in y 16.217 * [backup-simplify]: Simplify 0 into 0 16.217 * [taylor]: Taking taylor expansion of 0 in z 16.217 * [backup-simplify]: Simplify 0 into 0 16.217 * [backup-simplify]: Simplify 0 into 0 16.217 * [taylor]: Taking taylor expansion of 0 in z 16.217 * [backup-simplify]: Simplify 0 into 0 16.217 * [backup-simplify]: Simplify 0 into 0 16.217 * [taylor]: Taking taylor expansion of 0 in z 16.217 * [backup-simplify]: Simplify 0 into 0 16.217 * [backup-simplify]: Simplify 0 into 0 16.218 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 16.218 * [backup-simplify]: Simplify (- 0) into 0 16.218 * [taylor]: Taking taylor expansion of 0 in z 16.218 * [backup-simplify]: Simplify 0 into 0 16.218 * [backup-simplify]: Simplify 0 into 0 16.218 * [backup-simplify]: Simplify 0 into 0 16.218 * [backup-simplify]: Simplify (+ (* -1 (* z (* y 1))) (* 1 (* 1 (* y x)))) into (- (* x y) (* z y)) 16.218 * [backup-simplify]: Simplify (- (* (/ 1 x) (/ 1 y)) (* (/ 1 y) (/ 1 z))) into (- (/ 1 (* x y)) (/ 1 (* z y))) 16.218 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0 16.218 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z 16.218 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 16.218 * [taylor]: Taking taylor expansion of (* x y) in z 16.218 * [taylor]: Taking taylor expansion of x in z 16.218 * [backup-simplify]: Simplify x into x 16.218 * [taylor]: Taking taylor expansion of y in z 16.219 * [backup-simplify]: Simplify y into y 16.219 * [backup-simplify]: Simplify (* x y) into (* x y) 16.219 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 16.219 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 16.219 * [taylor]: Taking taylor expansion of (* z y) in z 16.219 * [taylor]: Taking taylor expansion of z in z 16.219 * [backup-simplify]: Simplify 0 into 0 16.219 * [backup-simplify]: Simplify 1 into 1 16.219 * [taylor]: Taking taylor expansion of y in z 16.219 * [backup-simplify]: Simplify y into y 16.219 * [backup-simplify]: Simplify (* 0 y) into 0 16.219 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.219 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 16.219 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y 16.219 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 16.219 * [taylor]: Taking taylor expansion of (* x y) in y 16.219 * [taylor]: Taking taylor expansion of x in y 16.219 * [backup-simplify]: Simplify x into x 16.219 * [taylor]: Taking taylor expansion of y in y 16.219 * [backup-simplify]: Simplify 0 into 0 16.219 * [backup-simplify]: Simplify 1 into 1 16.219 * [backup-simplify]: Simplify (* x 0) into 0 16.220 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 16.220 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 16.220 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 16.220 * [taylor]: Taking taylor expansion of (* z y) in y 16.220 * [taylor]: Taking taylor expansion of z in y 16.220 * [backup-simplify]: Simplify z into z 16.220 * [taylor]: Taking taylor expansion of y in y 16.220 * [backup-simplify]: Simplify 0 into 0 16.220 * [backup-simplify]: Simplify 1 into 1 16.220 * [backup-simplify]: Simplify (* z 0) into 0 16.220 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 16.220 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 16.220 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 16.220 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 16.220 * [taylor]: Taking taylor expansion of (* x y) in x 16.220 * [taylor]: Taking taylor expansion of x in x 16.220 * [backup-simplify]: Simplify 0 into 0 16.220 * [backup-simplify]: Simplify 1 into 1 16.220 * [taylor]: Taking taylor expansion of y in x 16.220 * [backup-simplify]: Simplify y into y 16.220 * [backup-simplify]: Simplify (* 0 y) into 0 16.221 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.221 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 16.221 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 16.221 * [taylor]: Taking taylor expansion of (* z y) in x 16.221 * [taylor]: Taking taylor expansion of z in x 16.221 * [backup-simplify]: Simplify z into z 16.221 * [taylor]: Taking taylor expansion of y in x 16.221 * [backup-simplify]: Simplify y into y 16.221 * [backup-simplify]: Simplify (* z y) into (* z y) 16.221 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 16.221 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 16.221 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 16.221 * [taylor]: Taking taylor expansion of (* x y) in x 16.221 * [taylor]: Taking taylor expansion of x in x 16.221 * [backup-simplify]: Simplify 0 into 0 16.221 * [backup-simplify]: Simplify 1 into 1 16.221 * [taylor]: Taking taylor expansion of y in x 16.221 * [backup-simplify]: Simplify y into y 16.221 * [backup-simplify]: Simplify (* 0 y) into 0 16.221 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.221 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 16.221 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 16.221 * [taylor]: Taking taylor expansion of (* z y) in x 16.221 * [taylor]: Taking taylor expansion of z in x 16.221 * [backup-simplify]: Simplify z into z 16.221 * [taylor]: Taking taylor expansion of y in x 16.221 * [backup-simplify]: Simplify y into y 16.221 * [backup-simplify]: Simplify (* z y) into (* z y) 16.221 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 16.222 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 16.222 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.222 * [taylor]: Taking taylor expansion of y in y 16.222 * [backup-simplify]: Simplify 0 into 0 16.222 * [backup-simplify]: Simplify 1 into 1 16.222 * [backup-simplify]: Simplify (/ 1 1) into 1 16.222 * [taylor]: Taking taylor expansion of 1 in z 16.222 * [backup-simplify]: Simplify 1 into 1 16.222 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 16.223 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 16.223 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y))) 16.223 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* z y)))) into (- (/ 1 (* z y))) 16.223 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 16.223 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 16.223 * [taylor]: Taking taylor expansion of (* z y) in y 16.223 * [taylor]: Taking taylor expansion of z in y 16.223 * [backup-simplify]: Simplify z into z 16.223 * [taylor]: Taking taylor expansion of y in y 16.223 * [backup-simplify]: Simplify 0 into 0 16.223 * [backup-simplify]: Simplify 1 into 1 16.223 * [backup-simplify]: Simplify (* z 0) into 0 16.224 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 16.224 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 16.224 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 16.224 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 16.224 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.224 * [taylor]: Taking taylor expansion of z in z 16.224 * [backup-simplify]: Simplify 0 into 0 16.224 * [backup-simplify]: Simplify 1 into 1 16.224 * [backup-simplify]: Simplify (/ 1 1) into 1 16.225 * [backup-simplify]: Simplify (- 1) into -1 16.225 * [backup-simplify]: Simplify -1 into -1 16.225 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 16.225 * [taylor]: Taking taylor expansion of 0 in z 16.225 * [backup-simplify]: Simplify 0 into 0 16.225 * [backup-simplify]: Simplify 1 into 1 16.227 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 16.227 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 16.227 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 16.227 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0 16.227 * [backup-simplify]: Simplify (- 0) into 0 16.228 * [backup-simplify]: Simplify (+ 0 0) into 0 16.228 * [taylor]: Taking taylor expansion of 0 in y 16.228 * [backup-simplify]: Simplify 0 into 0 16.228 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 16.229 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 16.229 * [backup-simplify]: Simplify (- 0) into 0 16.229 * [taylor]: Taking taylor expansion of 0 in z 16.229 * [backup-simplify]: Simplify 0 into 0 16.230 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.230 * [taylor]: Taking taylor expansion of 0 in z 16.230 * [backup-simplify]: Simplify 0 into 0 16.231 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 16.231 * [backup-simplify]: Simplify (- 0) into 0 16.231 * [backup-simplify]: Simplify 0 into 0 16.231 * [backup-simplify]: Simplify 0 into 0 16.231 * [backup-simplify]: Simplify 0 into 0 16.233 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 16.233 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 16.234 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0 16.234 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0 16.234 * [backup-simplify]: Simplify (- 0) into 0 16.235 * [backup-simplify]: Simplify (+ 0 0) into 0 16.235 * [taylor]: Taking taylor expansion of 0 in y 16.235 * [backup-simplify]: Simplify 0 into 0 16.235 * [taylor]: Taking taylor expansion of 0 in z 16.235 * [backup-simplify]: Simplify 0 into 0 16.236 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 16.236 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 16.236 * [backup-simplify]: Simplify (- 0) into 0 16.236 * [taylor]: Taking taylor expansion of 0 in z 16.236 * [backup-simplify]: Simplify 0 into 0 16.237 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.237 * [taylor]: Taking taylor expansion of 0 in z 16.237 * [backup-simplify]: Simplify 0 into 0 16.237 * [backup-simplify]: Simplify 0 into 0 16.237 * [backup-simplify]: Simplify 0 into 0 16.238 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.239 * [backup-simplify]: Simplify (- 0) into 0 16.239 * [backup-simplify]: Simplify 0 into 0 16.239 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 (/ 1 y)) 1)))) into (- (* x y) (* z y)) 16.239 * [backup-simplify]: Simplify (- (* (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- y)) (/ 1 (- z)))) into (- (/ 1 (* x y)) (/ 1 (* z y))) 16.239 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in (x y z) around 0 16.239 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in z 16.239 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 16.240 * [taylor]: Taking taylor expansion of (* x y) in z 16.240 * [taylor]: Taking taylor expansion of x in z 16.240 * [backup-simplify]: Simplify x into x 16.240 * [taylor]: Taking taylor expansion of y in z 16.240 * [backup-simplify]: Simplify y into y 16.240 * [backup-simplify]: Simplify (* x y) into (* x y) 16.240 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 16.240 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 16.240 * [taylor]: Taking taylor expansion of (* z y) in z 16.240 * [taylor]: Taking taylor expansion of z in z 16.240 * [backup-simplify]: Simplify 0 into 0 16.240 * [backup-simplify]: Simplify 1 into 1 16.240 * [taylor]: Taking taylor expansion of y in z 16.240 * [backup-simplify]: Simplify y into y 16.240 * [backup-simplify]: Simplify (* 0 y) into 0 16.240 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.241 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 16.241 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in y 16.241 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 16.241 * [taylor]: Taking taylor expansion of (* x y) in y 16.241 * [taylor]: Taking taylor expansion of x in y 16.241 * [backup-simplify]: Simplify x into x 16.241 * [taylor]: Taking taylor expansion of y in y 16.241 * [backup-simplify]: Simplify 0 into 0 16.241 * [backup-simplify]: Simplify 1 into 1 16.241 * [backup-simplify]: Simplify (* x 0) into 0 16.241 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 16.241 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 16.241 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 16.241 * [taylor]: Taking taylor expansion of (* z y) in y 16.241 * [taylor]: Taking taylor expansion of z in y 16.241 * [backup-simplify]: Simplify z into z 16.241 * [taylor]: Taking taylor expansion of y in y 16.241 * [backup-simplify]: Simplify 0 into 0 16.241 * [backup-simplify]: Simplify 1 into 1 16.242 * [backup-simplify]: Simplify (* z 0) into 0 16.242 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 16.242 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 16.242 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 16.242 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 16.242 * [taylor]: Taking taylor expansion of (* x y) in x 16.242 * [taylor]: Taking taylor expansion of x in x 16.242 * [backup-simplify]: Simplify 0 into 0 16.242 * [backup-simplify]: Simplify 1 into 1 16.242 * [taylor]: Taking taylor expansion of y in x 16.242 * [backup-simplify]: Simplify y into y 16.242 * [backup-simplify]: Simplify (* 0 y) into 0 16.243 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.243 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 16.243 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 16.243 * [taylor]: Taking taylor expansion of (* z y) in x 16.243 * [taylor]: Taking taylor expansion of z in x 16.243 * [backup-simplify]: Simplify z into z 16.243 * [taylor]: Taking taylor expansion of y in x 16.243 * [backup-simplify]: Simplify y into y 16.243 * [backup-simplify]: Simplify (* z y) into (* z y) 16.243 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 16.243 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* z y))) in x 16.243 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 16.243 * [taylor]: Taking taylor expansion of (* x y) in x 16.243 * [taylor]: Taking taylor expansion of x in x 16.243 * [backup-simplify]: Simplify 0 into 0 16.243 * [backup-simplify]: Simplify 1 into 1 16.243 * [taylor]: Taking taylor expansion of y in x 16.243 * [backup-simplify]: Simplify y into y 16.243 * [backup-simplify]: Simplify (* 0 y) into 0 16.244 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 16.244 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 16.244 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 16.244 * [taylor]: Taking taylor expansion of (* z y) in x 16.244 * [taylor]: Taking taylor expansion of z in x 16.244 * [backup-simplify]: Simplify z into z 16.244 * [taylor]: Taking taylor expansion of y in x 16.244 * [backup-simplify]: Simplify y into y 16.244 * [backup-simplify]: Simplify (* z y) into (* z y) 16.244 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 16.244 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 16.244 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.244 * [taylor]: Taking taylor expansion of y in y 16.244 * [backup-simplify]: Simplify 0 into 0 16.244 * [backup-simplify]: Simplify 1 into 1 16.245 * [backup-simplify]: Simplify (/ 1 1) into 1 16.245 * [taylor]: Taking taylor expansion of 1 in z 16.245 * [backup-simplify]: Simplify 1 into 1 16.246 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 16.246 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 16.246 * [backup-simplify]: Simplify (- (/ 1 (* z y))) into (- (/ 1 (* z y))) 16.246 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (* z y)))) into (- (/ 1 (* z y))) 16.246 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 16.246 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 16.246 * [taylor]: Taking taylor expansion of (* z y) in y 16.246 * [taylor]: Taking taylor expansion of z in y 16.246 * [backup-simplify]: Simplify z into z 16.246 * [taylor]: Taking taylor expansion of y in y 16.246 * [backup-simplify]: Simplify 0 into 0 16.246 * [backup-simplify]: Simplify 1 into 1 16.246 * [backup-simplify]: Simplify (* z 0) into 0 16.247 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 16.247 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 16.247 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 16.247 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 16.247 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.247 * [taylor]: Taking taylor expansion of z in z 16.247 * [backup-simplify]: Simplify 0 into 0 16.247 * [backup-simplify]: Simplify 1 into 1 16.247 * [backup-simplify]: Simplify (/ 1 1) into 1 16.248 * [backup-simplify]: Simplify (- 1) into -1 16.248 * [backup-simplify]: Simplify -1 into -1 16.249 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 16.249 * [taylor]: Taking taylor expansion of 0 in z 16.249 * [backup-simplify]: Simplify 0 into 0 16.249 * [backup-simplify]: Simplify 1 into 1 16.250 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 16.250 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 16.250 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 16.250 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))))) into 0 16.251 * [backup-simplify]: Simplify (- 0) into 0 16.251 * [backup-simplify]: Simplify (+ 0 0) into 0 16.251 * [taylor]: Taking taylor expansion of 0 in y 16.251 * [backup-simplify]: Simplify 0 into 0 16.252 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 16.252 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 16.252 * [backup-simplify]: Simplify (- 0) into 0 16.252 * [taylor]: Taking taylor expansion of 0 in z 16.252 * [backup-simplify]: Simplify 0 into 0 16.253 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.253 * [taylor]: Taking taylor expansion of 0 in z 16.253 * [backup-simplify]: Simplify 0 into 0 16.254 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 16.254 * [backup-simplify]: Simplify (- 0) into 0 16.254 * [backup-simplify]: Simplify 0 into 0 16.254 * [backup-simplify]: Simplify 0 into 0 16.254 * [backup-simplify]: Simplify 0 into 0 16.256 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 16.256 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 16.256 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 y))) into 0 16.257 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z y)) (/ 0 (* z y))) (* 0 (/ 0 (* z y))))) into 0 16.257 * [backup-simplify]: Simplify (- 0) into 0 16.257 * [backup-simplify]: Simplify (+ 0 0) into 0 16.258 * [taylor]: Taking taylor expansion of 0 in y 16.258 * [backup-simplify]: Simplify 0 into 0 16.258 * [taylor]: Taking taylor expansion of 0 in z 16.258 * [backup-simplify]: Simplify 0 into 0 16.258 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 16.259 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 16.259 * [backup-simplify]: Simplify (- 0) into 0 16.259 * [taylor]: Taking taylor expansion of 0 in z 16.259 * [backup-simplify]: Simplify 0 into 0 16.260 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.260 * [taylor]: Taking taylor expansion of 0 in z 16.260 * [backup-simplify]: Simplify 0 into 0 16.260 * [backup-simplify]: Simplify 0 into 0 16.260 * [backup-simplify]: Simplify 0 into 0 16.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.261 * [backup-simplify]: Simplify (- 0) into 0 16.261 * [backup-simplify]: Simplify 0 into 0 16.262 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (/ 1 (- y))) 1)))) into (- (* x y) (* z y)) 16.262 * * * [progress]: simplifying candidates 16.263 * [simplify]: Simplifying: (fma x y (- (* z y))) (fma (- z) y (* z y)) (expm1 (- (* x y) (* y z))) (log1p (- (* x y) (* y z))) (- (* y z)) (/ (exp (* x y)) (exp (* y z))) (log (- (* x y) (* y z))) (exp (- (* x y) (* y z))) (* (cbrt (- (* x y) (* y z))) (cbrt (- (* x y) (* y z)))) (cbrt (- (* x y) (* y z))) (* (* (- (* x y) (* y z)) (- (* x y) (* y z))) (- (* x y) (* y z))) (sqrt (- (* x y) (* y z))) (sqrt (- (* x y) (* y z))) (- (pow (* x y) 3) (pow (* y z) 3)) (+ (* (* x y) (* x y)) (+ (* (* y z) (* y z)) (* (* x y) (* y z)))) (- (* y z)) (- (* (* x y) (* x y)) (* (* y z) (* y z))) (+ (* x y) (* y z)) (- (* y z)) (- (* x y) (* z y)) (- (* x y) (* z y)) (- (* x y) (* z y)) 16.263 * * [simplify]: Extracting # 0 : cost 0 16.263 * * [simplify]: Extracting # 1 : cost 0 16.263 * * [simplify]: Extracting # 2 : cost 0 16.264 * * [simplify]: Extracting # 3 : cost 0 16.264 * * [simplify]: Extracting # 4 : cost 0 16.264 * * [simplify]: Extracting # 5 : cost 0 16.264 * * [simplify]: Extracting # 6 : cost 0 16.264 * * [simplify]: iteration 0 : 36 enodes (cost 208 ) 16.280 * * [simplify]: Extracting # 0 : cost 0 16.280 * * [simplify]: Extracting # 1 : cost 0 16.280 * * [simplify]: Extracting # 2 : cost 0 16.280 * * [simplify]: Extracting # 3 : cost 0 16.281 * * [simplify]: iteration 1 : 102 enodes (cost 163 ) 16.322 * * [simplify]: Extracting # 0 : cost 0 16.322 * * [simplify]: Extracting # 1 : cost 0 16.322 * * [simplify]: Extracting # 2 : cost 0 16.323 * * [simplify]: Extracting # 3 : cost 0 16.323 * * [simplify]: Extracting # 4 : cost 0 16.323 * * [simplify]: Extracting # 5 : cost 0 16.324 * * [simplify]: Extracting # 6 : cost 0 16.324 * * [simplify]: iteration 2 : 321 enodes (cost 149 ) 16.564 * * [simplify]: Extracting # 0 : cost 0 16.566 * * [simplify]: Extracting # 1 : cost 0 16.568 * * [simplify]: Extracting # 2 : cost 0 16.570 * * [simplify]: Extracting # 3 : cost 0 16.572 * * [simplify]: Extracting # 4 : cost 0 16.574 * * [simplify]: iteration 3 : 1128 enodes (cost 148 ) 18.483 * * [simplify]: Extracting # 0 : cost 0 18.487 * * [simplify]: Extracting # 1 : cost 0 18.490 * * [simplify]: Extracting # 2 : cost 0 18.498 * * [simplify]: Extracting # 3 : cost 0 18.501 * * [simplify]: Extracting # 4 : cost 0 18.503 * * [simplify]: iteration 4 : 3170 enodes (cost 142 ) 20.069 * * [simplify]: Extracting # 0 : cost 0 20.074 * * [simplify]: Extracting # 1 : cost 0 20.079 * * [simplify]: Extracting # 2 : cost 0 20.084 * * [simplify]: iteration done: 5000 enodes (cost 141 ) 20.084 * [simplify]: Simplified to: (* y (- x z)) 0 (expm1 (* y (- x z))) (log1p (* y (- x z))) (- (* y 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))) (pow (* y (- x z)) 3) (sqrt (* y (- x z))) (sqrt (* y (- x z))) (- (pow (* x y) 3) (pow (* y z) 3)) (* (* y y) (fma x z (fma z z (* x x)))) (- (* y z)) (* (* y (+ z x)) (* y (- x z))) (* y (+ z x)) (- (* y z)) (* y (- x z)) (* y (- x z)) (* y (- x z)) 20.084 * * * [progress]: adding candidates to table 20.149 * [progress]: [Phase 3 of 3] Extracting. 20.149 * * [regime]: Finding splitpoints for: (# #) 20.149 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 20.149 * * * * [regimes]: Trying to branch on z from (# #) 20.161 * * * * [regimes]: Trying to branch on y from (# #) 20.182 * * * * [regimes]: Trying to branch on x from (# #) 20.205 * * * [regime]: Found split indices: #