2.630 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.036 * * * [progress]: [2/2] Setting up program. 0.040 * [progress]: [Phase 2 of 3] Improving. 0.040 * [simplify]: Simplifying: (+ x (/ (* y (- z t)) a)) 0.041 * * [simplify]: Extracting # 0 : cost 0 0.041 * * [simplify]: Extracting # 1 : cost 0 0.041 * * [simplify]: Extracting # 2 : cost 0 0.041 * * [simplify]: Extracting # 3 : cost 0 0.041 * * [simplify]: Extracting # 4 : cost 0 0.041 * * [simplify]: Extracting # 5 : cost 0 0.041 * * [simplify]: Extracting # 6 : cost 0 0.041 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 0.043 * * [simplify]: Extracting # 0 : cost 0 0.043 * * [simplify]: Extracting # 1 : cost 0 0.043 * * [simplify]: Extracting # 2 : cost 0 0.043 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 0.047 * * [simplify]: Extracting # 0 : cost 0 0.047 * * [simplify]: Extracting # 1 : cost 0 0.047 * * [simplify]: Extracting # 2 : cost 0 0.047 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 0.056 * * [simplify]: Extracting # 0 : cost 0 0.056 * * [simplify]: Extracting # 1 : cost 0 0.056 * * [simplify]: Extracting # 2 : cost 0 0.056 * * [simplify]: iteration 3 : 49 enodes (cost 8 ) 0.090 * * [simplify]: Extracting # 0 : cost 0 0.090 * * [simplify]: Extracting # 1 : cost 0 0.090 * * [simplify]: Extracting # 2 : cost 0 0.090 * * [simplify]: iteration 4 : 96 enodes (cost 8 ) 0.124 * * [simplify]: Extracting # 0 : cost 0 0.124 * * [simplify]: Extracting # 1 : cost 0 0.124 * * [simplify]: Extracting # 2 : cost 0 0.125 * * [simplify]: iteration 5 : 139 enodes (cost 8 ) 0.152 * * [simplify]: Extracting # 0 : cost 0 0.152 * * [simplify]: Extracting # 1 : cost 0 0.153 * * [simplify]: Extracting # 2 : cost 0 0.153 * * [simplify]: iteration 6 : 177 enodes (cost 8 ) 0.232 * * [simplify]: Extracting # 0 : cost 0 0.232 * * [simplify]: Extracting # 1 : cost 0 0.232 * * [simplify]: Extracting # 2 : cost 0 0.232 * * [simplify]: iteration 7 : 212 enodes (cost 8 ) 0.295 * * [simplify]: Extracting # 0 : cost 0 0.296 * * [simplify]: Extracting # 1 : cost 0 0.296 * * [simplify]: Extracting # 2 : cost 0 0.296 * * [simplify]: iteration 8 : 253 enodes (cost 8 ) 0.401 * * [simplify]: Extracting # 0 : cost 0 0.401 * * [simplify]: Extracting # 1 : cost 0 0.402 * * [simplify]: Extracting # 2 : cost 0 0.402 * * [simplify]: iteration 9 : 338 enodes (cost 8 ) 0.637 * * [simplify]: Extracting # 0 : cost 0 0.638 * * [simplify]: Extracting # 1 : cost 0 0.639 * * [simplify]: Extracting # 2 : cost 0 0.639 * * [simplify]: iteration 10 : 433 enodes (cost 8 ) 0.799 * * [simplify]: Extracting # 0 : cost 0 0.800 * * [simplify]: Extracting # 1 : cost 0 0.800 * * [simplify]: Extracting # 2 : cost 0 0.804 * * [simplify]: iteration 11 : 505 enodes (cost 8 ) 1.022 * * [simplify]: Extracting # 0 : cost 0 1.023 * * [simplify]: Extracting # 1 : cost 0 1.023 * * [simplify]: Extracting # 2 : cost 0 1.023 * * [simplify]: iteration 12 : 565 enodes (cost 8 ) 1.244 * * [simplify]: Extracting # 0 : cost 0 1.245 * * [simplify]: Extracting # 1 : cost 0 1.245 * * [simplify]: iteration 13 : 591 enodes (cost 8 ) 1.460 * * [simplify]: Extracting # 0 : cost 0 1.460 * * [simplify]: iteration done: 591 enodes (cost 8 ) 1.460 * [simplify]: Simplified to: (fma (/ y a) (- z t) x) 1.463 * * [progress]: iteration 1 / 4 1.463 * * * [progress]: picking best candidate 1.467 * * * * [pick]: Picked # 1.467 * * * [progress]: localizing error 1.476 * * * [progress]: generating rewritten candidates 1.476 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.477 * * * [progress]: generating series expansions 1.477 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.478 * [backup-simplify]: Simplify (fma (/ y a) (- z t) x) into (fma (/ y a) (- z t) x) 1.478 * [approximate]: Taking taylor expansion of (fma (/ y a) (- z t) x) in (y a z t x) around 0 1.478 * [taylor]: Taking taylor expansion of (fma (/ y a) (- z t) x) in x 1.478 * [taylor]: Rewrote expression to (+ (* (/ y a) (- z t)) x) 1.478 * [taylor]: Taking taylor expansion of (* (/ y a) (- z t)) in x 1.478 * [taylor]: Taking taylor expansion of (/ y a) in x 1.478 * [taylor]: Taking taylor expansion of y in x 1.478 * [backup-simplify]: Simplify y into y 1.478 * [taylor]: Taking taylor expansion of a in x 1.478 * [backup-simplify]: Simplify a into a 1.478 * [backup-simplify]: Simplify (/ y a) into (/ y a) 1.478 * [taylor]: Taking taylor expansion of (- z t) in x 1.478 * [taylor]: Taking taylor expansion of z in x 1.478 * [backup-simplify]: Simplify z into z 1.478 * [taylor]: Taking taylor expansion of t in x 1.478 * [backup-simplify]: Simplify t into t 1.478 * [taylor]: Taking taylor expansion of x in x 1.478 * [backup-simplify]: Simplify 0 into 0 1.478 * [backup-simplify]: Simplify 1 into 1 1.478 * [taylor]: Taking taylor expansion of (fma (/ y a) (- z t) x) in t 1.478 * [taylor]: Rewrote expression to (+ (* (/ y a) (- z t)) x) 1.479 * [taylor]: Taking taylor expansion of (* (/ y a) (- z t)) in t 1.479 * [taylor]: Taking taylor expansion of (/ y a) in t 1.479 * [taylor]: Taking taylor expansion of y in t 1.479 * [backup-simplify]: Simplify y into y 1.479 * [taylor]: Taking taylor expansion of a in t 1.479 * [backup-simplify]: Simplify a into a 1.479 * [backup-simplify]: Simplify (/ y a) into (/ y a) 1.479 * [taylor]: Taking taylor expansion of (- z t) in t 1.479 * [taylor]: Taking taylor expansion of z in t 1.479 * [backup-simplify]: Simplify z into z 1.479 * [taylor]: Taking taylor expansion of t in t 1.479 * [backup-simplify]: Simplify 0 into 0 1.479 * [backup-simplify]: Simplify 1 into 1 1.479 * [taylor]: Taking taylor expansion of x in t 1.479 * [backup-simplify]: Simplify x into x 1.479 * [taylor]: Taking taylor expansion of (fma (/ y a) (- z t) x) in z 1.479 * [taylor]: Rewrote expression to (+ (* (/ y a) (- z t)) x) 1.479 * [taylor]: Taking taylor expansion of (* (/ y a) (- z t)) in z 1.479 * [taylor]: Taking taylor expansion of (/ y a) in z 1.479 * [taylor]: Taking taylor expansion of y in z 1.479 * [backup-simplify]: Simplify y into y 1.479 * [taylor]: Taking taylor expansion of a in z 1.479 * [backup-simplify]: Simplify a into a 1.479 * [backup-simplify]: Simplify (/ y a) into (/ y a) 1.479 * [taylor]: Taking taylor expansion of (- z t) in z 1.479 * [taylor]: Taking taylor expansion of z in z 1.479 * [backup-simplify]: Simplify 0 into 0 1.479 * [backup-simplify]: Simplify 1 into 1 1.479 * [taylor]: Taking taylor expansion of t in z 1.479 * [backup-simplify]: Simplify t into t 1.480 * [taylor]: Taking taylor expansion of x in z 1.480 * [backup-simplify]: Simplify x into x 1.480 * [taylor]: Taking taylor expansion of (fma (/ y a) (- z t) x) in a 1.480 * [taylor]: Rewrote expression to (+ (* (/ y a) (- z t)) x) 1.480 * [taylor]: Taking taylor expansion of (* (/ y a) (- z t)) in a 1.480 * [taylor]: Taking taylor expansion of (/ y a) in a 1.480 * [taylor]: Taking taylor expansion of y in a 1.480 * [backup-simplify]: Simplify y into y 1.480 * [taylor]: Taking taylor expansion of a in a 1.480 * [backup-simplify]: Simplify 0 into 0 1.480 * [backup-simplify]: Simplify 1 into 1 1.480 * [backup-simplify]: Simplify (/ y 1) into y 1.480 * [taylor]: Taking taylor expansion of (- z t) in a 1.480 * [taylor]: Taking taylor expansion of z in a 1.480 * [backup-simplify]: Simplify z into z 1.480 * [taylor]: Taking taylor expansion of t in a 1.480 * [backup-simplify]: Simplify t into t 1.480 * [taylor]: Taking taylor expansion of x in a 1.480 * [backup-simplify]: Simplify x into x 1.480 * [taylor]: Taking taylor expansion of (fma (/ y a) (- z t) x) in y 1.480 * [taylor]: Rewrote expression to (+ (* (/ y a) (- z t)) x) 1.480 * [taylor]: Taking taylor expansion of (* (/ y a) (- z t)) in y 1.480 * [taylor]: Taking taylor expansion of (/ y a) in y 1.480 * [taylor]: Taking taylor expansion of y in y 1.481 * [backup-simplify]: Simplify 0 into 0 1.481 * [backup-simplify]: Simplify 1 into 1 1.481 * [taylor]: Taking taylor expansion of a in y 1.481 * [backup-simplify]: Simplify a into a 1.481 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.481 * [taylor]: Taking taylor expansion of (- z t) in y 1.481 * [taylor]: Taking taylor expansion of z in y 1.481 * [backup-simplify]: Simplify z into z 1.481 * [taylor]: Taking taylor expansion of t in y 1.481 * [backup-simplify]: Simplify t into t 1.481 * [taylor]: Taking taylor expansion of x in y 1.481 * [backup-simplify]: Simplify x into x 1.481 * [taylor]: Taking taylor expansion of (fma (/ y a) (- z t) x) in y 1.481 * [taylor]: Rewrote expression to (+ (* (/ y a) (- z t)) x) 1.481 * [taylor]: Taking taylor expansion of (* (/ y a) (- z t)) in y 1.481 * [taylor]: Taking taylor expansion of (/ y a) in y 1.481 * [taylor]: Taking taylor expansion of y in y 1.481 * [backup-simplify]: Simplify 0 into 0 1.481 * [backup-simplify]: Simplify 1 into 1 1.481 * [taylor]: Taking taylor expansion of a in y 1.481 * [backup-simplify]: Simplify a into a 1.481 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.481 * [taylor]: Taking taylor expansion of (- z t) in y 1.481 * [taylor]: Taking taylor expansion of z in y 1.481 * [backup-simplify]: Simplify z into z 1.481 * [taylor]: Taking taylor expansion of t in y 1.482 * [backup-simplify]: Simplify t into t 1.482 * [taylor]: Taking taylor expansion of x in y 1.482 * [backup-simplify]: Simplify x into x 1.482 * [backup-simplify]: Simplify (+ 0 x) into x 1.482 * [taylor]: Taking taylor expansion of x in a 1.482 * [backup-simplify]: Simplify x into x 1.482 * [backup-simplify]: Simplify (- t) into (- t) 1.482 * [backup-simplify]: Simplify (+ z (- t)) into (- z t) 1.482 * [backup-simplify]: Simplify (* (/ 1 a) (- z t)) into (/ (- z t) a) 1.482 * [backup-simplify]: Simplify (+ (/ (- z t) a) 0) into (- (/ z a) (/ t a)) 1.482 * [taylor]: Taking taylor expansion of (- (/ z a) (/ t a)) in a 1.482 * [taylor]: Taking taylor expansion of (/ z a) in a 1.482 * [taylor]: Taking taylor expansion of z in a 1.482 * [backup-simplify]: Simplify z into z 1.482 * [taylor]: Taking taylor expansion of a in a 1.482 * [backup-simplify]: Simplify 0 into 0 1.482 * [backup-simplify]: Simplify 1 into 1 1.482 * [backup-simplify]: Simplify (/ z 1) into z 1.482 * [taylor]: Taking taylor expansion of (/ t a) in a 1.482 * [taylor]: Taking taylor expansion of t in a 1.482 * [backup-simplify]: Simplify t into t 1.483 * [taylor]: Taking taylor expansion of a in a 1.483 * [backup-simplify]: Simplify 0 into 0 1.483 * [backup-simplify]: Simplify 1 into 1 1.483 * [backup-simplify]: Simplify (/ t 1) into t 1.483 * [backup-simplify]: Simplify (- t) into (- t) 1.483 * [backup-simplify]: Simplify (+ z (- t)) into (- z t) 1.483 * [taylor]: Taking taylor expansion of (- z t) in z 1.483 * [taylor]: Taking taylor expansion of z in z 1.483 * [backup-simplify]: Simplify 0 into 0 1.483 * [backup-simplify]: Simplify 1 into 1 1.483 * [taylor]: Taking taylor expansion of t in z 1.483 * [backup-simplify]: Simplify t into t 1.483 * [backup-simplify]: Simplify (- t) into (- t) 1.483 * [backup-simplify]: Simplify (+ 0 (- t)) into (- t) 1.483 * [taylor]: Taking taylor expansion of (- t) in t 1.483 * [taylor]: Taking taylor expansion of t in t 1.483 * [backup-simplify]: Simplify 0 into 0 1.483 * [backup-simplify]: Simplify 1 into 1 1.484 * [backup-simplify]: Simplify (- 0) into 0 1.484 * [taylor]: Taking taylor expansion of 0 in x 1.484 * [backup-simplify]: Simplify 0 into 0 1.484 * [backup-simplify]: Simplify 0 into 0 1.484 * [taylor]: Taking taylor expansion of x in z 1.484 * [backup-simplify]: Simplify x into x 1.484 * [taylor]: Taking taylor expansion of x in t 1.484 * [backup-simplify]: Simplify x into x 1.484 * [taylor]: Taking taylor expansion of x in x 1.484 * [backup-simplify]: Simplify 0 into 0 1.484 * [backup-simplify]: Simplify 1 into 1 1.484 * [backup-simplify]: Simplify 0 into 0 1.485 * [backup-simplify]: Simplify (- 0) into 0 1.485 * [backup-simplify]: Simplify (+ 0 0) into 0 1.485 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)))) into 0 1.485 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (* 0 (- z t))) into 0 1.486 * [backup-simplify]: Simplify (+ 0 0) into 0 1.486 * [taylor]: Taking taylor expansion of 0 in a 1.486 * [backup-simplify]: Simplify 0 into 0 1.487 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 1.487 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0 1.488 * [backup-simplify]: Simplify (- 0) into 0 1.488 * [backup-simplify]: Simplify (+ 0 0) into 0 1.488 * [taylor]: Taking taylor expansion of 0 in z 1.488 * [backup-simplify]: Simplify 0 into 0 1.488 * [taylor]: Taking taylor expansion of 0 in t 1.488 * [backup-simplify]: Simplify 0 into 0 1.488 * [taylor]: Taking taylor expansion of 0 in x 1.488 * [backup-simplify]: Simplify 0 into 0 1.488 * [backup-simplify]: Simplify 0 into 0 1.488 * [taylor]: Taking taylor expansion of 0 in z 1.488 * [backup-simplify]: Simplify 0 into 0 1.488 * [taylor]: Taking taylor expansion of 0 in t 1.488 * [backup-simplify]: Simplify 0 into 0 1.488 * [taylor]: Taking taylor expansion of 0 in x 1.489 * [backup-simplify]: Simplify 0 into 0 1.489 * [backup-simplify]: Simplify 0 into 0 1.489 * [backup-simplify]: Simplify (- 0) into 0 1.489 * [backup-simplify]: Simplify (+ 1 0) into 1 1.489 * [taylor]: Taking taylor expansion of 1 in t 1.489 * [backup-simplify]: Simplify 1 into 1 1.489 * [taylor]: Taking taylor expansion of 1 in x 1.489 * [backup-simplify]: Simplify 1 into 1 1.489 * [backup-simplify]: Simplify 1 into 1 1.490 * [taylor]: Taking taylor expansion of 0 in t 1.490 * [backup-simplify]: Simplify 0 into 0 1.490 * [taylor]: Taking taylor expansion of 0 in x 1.490 * [backup-simplify]: Simplify 0 into 0 1.490 * [backup-simplify]: Simplify 0 into 0 1.490 * [backup-simplify]: Simplify (- 1) into -1 1.490 * [taylor]: Taking taylor expansion of -1 in x 1.490 * [backup-simplify]: Simplify -1 into -1 1.490 * [backup-simplify]: Simplify -1 into -1 1.490 * [taylor]: Taking taylor expansion of 0 in x 1.490 * [backup-simplify]: Simplify 0 into 0 1.490 * [backup-simplify]: Simplify 0 into 0 1.490 * [backup-simplify]: Simplify 0 into 0 1.490 * [backup-simplify]: Simplify 1 into 1 1.491 * [backup-simplify]: Simplify (+ (* 1 (* x (* 1 (* 1 (* 1 1))))) (+ (* -1 (* 1 (* t (* 1 (* (/ 1 a) y))))) (* 1 (* 1 (* 1 (* z (* (/ 1 a) y))))))) into (- (+ (/ (* z y) a) x) (/ (* t y) a)) 1.492 * [backup-simplify]: Simplify (fma (/ (/ 1 y) (/ 1 a)) (- (/ 1 z) (/ 1 t)) (/ 1 x)) into (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) 1.492 * [approximate]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in (y a z t x) around 0 1.492 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in x 1.492 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 1.492 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 z) (/ 1 t))) in x 1.492 * [taylor]: Taking taylor expansion of (/ a y) in x 1.492 * [taylor]: Taking taylor expansion of a in x 1.492 * [backup-simplify]: Simplify a into a 1.492 * [taylor]: Taking taylor expansion of y in x 1.492 * [backup-simplify]: Simplify y into y 1.492 * [backup-simplify]: Simplify (/ a y) into (/ a y) 1.492 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 1.492 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.492 * [taylor]: Taking taylor expansion of z in x 1.492 * [backup-simplify]: Simplify z into z 1.493 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.493 * [taylor]: Taking taylor expansion of (/ 1 t) in x 1.493 * [taylor]: Taking taylor expansion of t in x 1.493 * [backup-simplify]: Simplify t into t 1.493 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 1.493 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.493 * [taylor]: Taking taylor expansion of x in x 1.493 * [backup-simplify]: Simplify 0 into 0 1.493 * [backup-simplify]: Simplify 1 into 1 1.493 * [backup-simplify]: Simplify (/ 1 1) into 1 1.493 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in t 1.493 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 1.493 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 z) (/ 1 t))) in t 1.493 * [taylor]: Taking taylor expansion of (/ a y) in t 1.493 * [taylor]: Taking taylor expansion of a in t 1.494 * [backup-simplify]: Simplify a into a 1.494 * [taylor]: Taking taylor expansion of y in t 1.494 * [backup-simplify]: Simplify y into y 1.494 * [backup-simplify]: Simplify (/ a y) into (/ a y) 1.494 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 1.494 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.494 * [taylor]: Taking taylor expansion of z in t 1.494 * [backup-simplify]: Simplify z into z 1.494 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.494 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.494 * [taylor]: Taking taylor expansion of t in t 1.494 * [backup-simplify]: Simplify 0 into 0 1.494 * [backup-simplify]: Simplify 1 into 1 1.494 * [backup-simplify]: Simplify (/ 1 1) into 1 1.494 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.494 * [taylor]: Taking taylor expansion of x in t 1.494 * [backup-simplify]: Simplify x into x 1.494 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.494 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in z 1.495 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 1.495 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 z) (/ 1 t))) in z 1.495 * [taylor]: Taking taylor expansion of (/ a y) in z 1.495 * [taylor]: Taking taylor expansion of a in z 1.495 * [backup-simplify]: Simplify a into a 1.495 * [taylor]: Taking taylor expansion of y in z 1.495 * [backup-simplify]: Simplify y into y 1.495 * [backup-simplify]: Simplify (/ a y) into (/ a y) 1.495 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.495 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.495 * [taylor]: Taking taylor expansion of z in z 1.495 * [backup-simplify]: Simplify 0 into 0 1.495 * [backup-simplify]: Simplify 1 into 1 1.495 * [backup-simplify]: Simplify (/ 1 1) into 1 1.495 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.495 * [taylor]: Taking taylor expansion of t in z 1.495 * [backup-simplify]: Simplify t into t 1.496 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 1.496 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.496 * [taylor]: Taking taylor expansion of x in z 1.496 * [backup-simplify]: Simplify x into x 1.496 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.496 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in a 1.496 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 1.496 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 z) (/ 1 t))) in a 1.496 * [taylor]: Taking taylor expansion of (/ a y) in a 1.496 * [taylor]: Taking taylor expansion of a in a 1.496 * [backup-simplify]: Simplify 0 into 0 1.496 * [backup-simplify]: Simplify 1 into 1 1.496 * [taylor]: Taking taylor expansion of y in a 1.496 * [backup-simplify]: Simplify y into y 1.496 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.496 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 1.496 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.496 * [taylor]: Taking taylor expansion of z in a 1.496 * [backup-simplify]: Simplify z into z 1.496 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.496 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.496 * [taylor]: Taking taylor expansion of t in a 1.496 * [backup-simplify]: Simplify t into t 1.496 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 1.496 * [taylor]: Taking taylor expansion of (/ 1 x) in a 1.497 * [taylor]: Taking taylor expansion of x in a 1.497 * [backup-simplify]: Simplify x into x 1.497 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.497 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in y 1.497 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 1.497 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 z) (/ 1 t))) in y 1.497 * [taylor]: Taking taylor expansion of (/ a y) in y 1.497 * [taylor]: Taking taylor expansion of a in y 1.497 * [backup-simplify]: Simplify a into a 1.497 * [taylor]: Taking taylor expansion of y in y 1.497 * [backup-simplify]: Simplify 0 into 0 1.497 * [backup-simplify]: Simplify 1 into 1 1.497 * [backup-simplify]: Simplify (/ a 1) into a 1.497 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 1.497 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.497 * [taylor]: Taking taylor expansion of z in y 1.497 * [backup-simplify]: Simplify z into z 1.497 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.497 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.497 * [taylor]: Taking taylor expansion of t in y 1.497 * [backup-simplify]: Simplify t into t 1.497 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 1.497 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.497 * [taylor]: Taking taylor expansion of x in y 1.497 * [backup-simplify]: Simplify x into x 1.498 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.498 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 z) (/ 1 t)) (/ 1 x)) in y 1.498 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 z) (/ 1 t))) (/ 1 x)) 1.498 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 z) (/ 1 t))) in y 1.498 * [taylor]: Taking taylor expansion of (/ a y) in y 1.498 * [taylor]: Taking taylor expansion of a in y 1.498 * [backup-simplify]: Simplify a into a 1.498 * [taylor]: Taking taylor expansion of y in y 1.498 * [backup-simplify]: Simplify 0 into 0 1.498 * [backup-simplify]: Simplify 1 into 1 1.498 * [backup-simplify]: Simplify (/ a 1) into a 1.498 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 1.498 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.498 * [taylor]: Taking taylor expansion of z in y 1.498 * [backup-simplify]: Simplify z into z 1.498 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.498 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.498 * [taylor]: Taking taylor expansion of t in y 1.498 * [backup-simplify]: Simplify t into t 1.498 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 1.498 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.498 * [taylor]: Taking taylor expansion of x in y 1.498 * [backup-simplify]: Simplify x into x 1.498 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.499 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 1.499 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 t))) into (- (/ 1 z) (/ 1 t)) 1.499 * [backup-simplify]: Simplify (* a (- (/ 1 z) (/ 1 t))) into (* a (- (/ 1 z) (/ 1 t))) 1.499 * [backup-simplify]: Simplify (+ (* a (- (/ 1 z) (/ 1 t))) 0) into (- (/ a z) (/ a t)) 1.499 * [taylor]: Taking taylor expansion of (- (/ a z) (/ a t)) in a 1.499 * [taylor]: Taking taylor expansion of (/ a z) in a 1.499 * [taylor]: Taking taylor expansion of a in a 1.499 * [backup-simplify]: Simplify 0 into 0 1.499 * [backup-simplify]: Simplify 1 into 1 1.499 * [taylor]: Taking taylor expansion of z in a 1.499 * [backup-simplify]: Simplify z into z 1.499 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.499 * [taylor]: Taking taylor expansion of (/ a t) in a 1.499 * [taylor]: Taking taylor expansion of a in a 1.499 * [backup-simplify]: Simplify 0 into 0 1.499 * [backup-simplify]: Simplify 1 into 1 1.499 * [taylor]: Taking taylor expansion of t in a 1.500 * [backup-simplify]: Simplify t into t 1.500 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 1.500 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 1.500 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 1.500 * [backup-simplify]: Simplify (- 0) into 0 1.501 * [backup-simplify]: Simplify (+ 0 0) into 0 1.502 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0 1.502 * [backup-simplify]: Simplify (+ (* a 0) (* 0 (- (/ 1 z) (/ 1 t)))) into 0 1.502 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x) 1.502 * [taylor]: Taking taylor expansion of (/ 1 x) in a 1.502 * [taylor]: Taking taylor expansion of x in a 1.502 * [backup-simplify]: Simplify x into x 1.502 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.502 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.502 * [taylor]: Taking taylor expansion of x in z 1.503 * [backup-simplify]: Simplify x into x 1.503 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.503 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 1.503 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 t))) into (- (/ 1 z) (/ 1 t)) 1.503 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 1.503 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.503 * [taylor]: Taking taylor expansion of z in z 1.503 * [backup-simplify]: Simplify 0 into 0 1.503 * [backup-simplify]: Simplify 1 into 1 1.503 * [backup-simplify]: Simplify (/ 1 1) into 1 1.503 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.503 * [taylor]: Taking taylor expansion of t in z 1.503 * [backup-simplify]: Simplify t into t 1.503 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 1.504 * [backup-simplify]: Simplify (+ 1 0) into 1 1.504 * [taylor]: Taking taylor expansion of 1 in t 1.504 * [backup-simplify]: Simplify 1 into 1 1.504 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 1.504 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 1.505 * [backup-simplify]: Simplify (- 0) into 0 1.505 * [backup-simplify]: Simplify (+ 0 0) into 0 1.506 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.507 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 t))))) into 0 1.507 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 1.507 * [backup-simplify]: Simplify (+ 0 0) into 0 1.507 * [taylor]: Taking taylor expansion of 0 in a 1.508 * [backup-simplify]: Simplify 0 into 0 1.508 * [taylor]: Taking taylor expansion of 0 in z 1.508 * [backup-simplify]: Simplify 0 into 0 1.508 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 1.508 * [taylor]: Taking taylor expansion of 0 in z 1.515 * [backup-simplify]: Simplify 0 into 0 1.515 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 1.515 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0 1.516 * [backup-simplify]: Simplify (- 0) into 0 1.517 * [backup-simplify]: Simplify (+ 0 0) into 0 1.517 * [taylor]: Taking taylor expansion of 0 in z 1.517 * [backup-simplify]: Simplify 0 into 0 1.517 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.517 * [taylor]: Taking taylor expansion of x in t 1.517 * [backup-simplify]: Simplify x into x 1.517 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.518 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.518 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 1.518 * [backup-simplify]: Simplify (+ 0 (- (/ 1 t))) into (- (/ 1 t)) 1.518 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 1.518 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.518 * [taylor]: Taking taylor expansion of t in t 1.518 * [backup-simplify]: Simplify 0 into 0 1.518 * [backup-simplify]: Simplify 1 into 1 1.519 * [backup-simplify]: Simplify (/ 1 1) into 1 1.519 * [backup-simplify]: Simplify (- 1) into -1 1.519 * [taylor]: Taking taylor expansion of -1 in x 1.519 * [backup-simplify]: Simplify -1 into -1 1.519 * [taylor]: Taking taylor expansion of 1 in x 1.519 * [backup-simplify]: Simplify 1 into 1 1.520 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 1.520 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0 1.520 * [backup-simplify]: Simplify (- 0) into 0 1.521 * [backup-simplify]: Simplify (+ 0 0) into 0 1.523 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.524 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 t)))))) into 0 1.524 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1.524 * [backup-simplify]: Simplify (+ 0 0) into 0 1.524 * [taylor]: Taking taylor expansion of 0 in a 1.524 * [backup-simplify]: Simplify 0 into 0 1.524 * [taylor]: Taking taylor expansion of 0 in z 1.524 * [backup-simplify]: Simplify 0 into 0 1.524 * [taylor]: Taking taylor expansion of 0 in z 1.524 * [backup-simplify]: Simplify 0 into 0 1.525 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1.525 * [taylor]: Taking taylor expansion of 0 in z 1.525 * [backup-simplify]: Simplify 0 into 0 1.525 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 1.525 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 1.525 * [backup-simplify]: Simplify (- 0) into 0 1.525 * [backup-simplify]: Simplify (+ 0 0) into 0 1.525 * [taylor]: Taking taylor expansion of 0 in z 1.525 * [backup-simplify]: Simplify 0 into 0 1.525 * [taylor]: Taking taylor expansion of 0 in t 1.525 * [backup-simplify]: Simplify 0 into 0 1.525 * [taylor]: Taking taylor expansion of 0 in t 1.525 * [backup-simplify]: Simplify 0 into 0 1.525 * [taylor]: Taking taylor expansion of 0 in t 1.525 * [backup-simplify]: Simplify 0 into 0 1.526 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 1.526 * [taylor]: Taking taylor expansion of 0 in t 1.526 * [backup-simplify]: Simplify 0 into 0 1.526 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.526 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 1.526 * [backup-simplify]: Simplify (- 0) into 0 1.527 * [backup-simplify]: Simplify (+ 0 0) into 0 1.527 * [taylor]: Taking taylor expansion of 0 in t 1.527 * [backup-simplify]: Simplify 0 into 0 1.527 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.527 * [taylor]: Taking taylor expansion of x in x 1.527 * [backup-simplify]: Simplify 0 into 0 1.527 * [backup-simplify]: Simplify 1 into 1 1.527 * [backup-simplify]: Simplify (/ 1 1) into 1 1.527 * [backup-simplify]: Simplify 1 into 1 1.528 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.528 * [backup-simplify]: Simplify (- 0) into 0 1.528 * [taylor]: Taking taylor expansion of 0 in x 1.528 * [backup-simplify]: Simplify 0 into 0 1.528 * [taylor]: Taking taylor expansion of 0 in x 1.528 * [backup-simplify]: Simplify 0 into 0 1.528 * [backup-simplify]: Simplify -1 into -1 1.528 * [backup-simplify]: Simplify 1 into 1 1.529 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (/ 1 z)) (* (/ 1 a) (/ 1 (/ 1 y))))))) (+ (* -1 (* 1 (* (/ 1 (/ 1 t)) (* 1 (* (/ 1 a) (/ 1 (/ 1 y))))))) (* 1 (* (/ 1 (/ 1 x)) (* 1 (* 1 (* 1 1))))))) into (- (+ (/ (* z y) a) x) (/ (* t y) a)) 1.529 * [backup-simplify]: Simplify (fma (/ (/ 1 (- y)) (/ 1 (- a))) (- (/ 1 (- z)) (/ 1 (- t))) (/ 1 (- x))) into (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) 1.529 * [approximate]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in (y a z t x) around 0 1.529 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in x 1.529 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 1.529 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 t) (/ 1 z))) in x 1.529 * [taylor]: Taking taylor expansion of (/ a y) in x 1.529 * [taylor]: Taking taylor expansion of a in x 1.529 * [backup-simplify]: Simplify a into a 1.529 * [taylor]: Taking taylor expansion of y in x 1.529 * [backup-simplify]: Simplify y into y 1.529 * [backup-simplify]: Simplify (/ a y) into (/ a y) 1.529 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 1.529 * [taylor]: Taking taylor expansion of (/ 1 t) in x 1.529 * [taylor]: Taking taylor expansion of t in x 1.529 * [backup-simplify]: Simplify t into t 1.529 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 1.529 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.530 * [taylor]: Taking taylor expansion of z in x 1.530 * [backup-simplify]: Simplify z into z 1.530 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.530 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.530 * [taylor]: Taking taylor expansion of -1 in x 1.530 * [backup-simplify]: Simplify -1 into -1 1.530 * [taylor]: Taking taylor expansion of x in x 1.530 * [backup-simplify]: Simplify 0 into 0 1.530 * [backup-simplify]: Simplify 1 into 1 1.530 * [backup-simplify]: Simplify (/ -1 1) into -1 1.530 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in t 1.530 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 1.530 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 t) (/ 1 z))) in t 1.530 * [taylor]: Taking taylor expansion of (/ a y) in t 1.530 * [taylor]: Taking taylor expansion of a in t 1.530 * [backup-simplify]: Simplify a into a 1.530 * [taylor]: Taking taylor expansion of y in t 1.530 * [backup-simplify]: Simplify y into y 1.530 * [backup-simplify]: Simplify (/ a y) into (/ a y) 1.530 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 1.530 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.530 * [taylor]: Taking taylor expansion of t in t 1.530 * [backup-simplify]: Simplify 0 into 0 1.530 * [backup-simplify]: Simplify 1 into 1 1.531 * [backup-simplify]: Simplify (/ 1 1) into 1 1.531 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.531 * [taylor]: Taking taylor expansion of z in t 1.531 * [backup-simplify]: Simplify z into z 1.531 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.531 * [taylor]: Taking taylor expansion of (/ -1 x) in t 1.531 * [taylor]: Taking taylor expansion of -1 in t 1.531 * [backup-simplify]: Simplify -1 into -1 1.531 * [taylor]: Taking taylor expansion of x in t 1.531 * [backup-simplify]: Simplify x into x 1.531 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 1.531 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in z 1.531 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 1.531 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 t) (/ 1 z))) in z 1.531 * [taylor]: Taking taylor expansion of (/ a y) in z 1.531 * [taylor]: Taking taylor expansion of a in z 1.531 * [backup-simplify]: Simplify a into a 1.531 * [taylor]: Taking taylor expansion of y in z 1.531 * [backup-simplify]: Simplify y into y 1.531 * [backup-simplify]: Simplify (/ a y) into (/ a y) 1.531 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.531 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.531 * [taylor]: Taking taylor expansion of t in z 1.531 * [backup-simplify]: Simplify t into t 1.531 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 1.531 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.531 * [taylor]: Taking taylor expansion of z in z 1.531 * [backup-simplify]: Simplify 0 into 0 1.531 * [backup-simplify]: Simplify 1 into 1 1.531 * [backup-simplify]: Simplify (/ 1 1) into 1 1.531 * [taylor]: Taking taylor expansion of (/ -1 x) in z 1.531 * [taylor]: Taking taylor expansion of -1 in z 1.532 * [backup-simplify]: Simplify -1 into -1 1.532 * [taylor]: Taking taylor expansion of x in z 1.532 * [backup-simplify]: Simplify x into x 1.532 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 1.532 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in a 1.532 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 1.532 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 t) (/ 1 z))) in a 1.532 * [taylor]: Taking taylor expansion of (/ a y) in a 1.532 * [taylor]: Taking taylor expansion of a in a 1.532 * [backup-simplify]: Simplify 0 into 0 1.532 * [backup-simplify]: Simplify 1 into 1 1.532 * [taylor]: Taking taylor expansion of y in a 1.532 * [backup-simplify]: Simplify y into y 1.532 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.532 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 1.532 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.532 * [taylor]: Taking taylor expansion of t in a 1.532 * [backup-simplify]: Simplify t into t 1.532 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 1.532 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.532 * [taylor]: Taking taylor expansion of z in a 1.532 * [backup-simplify]: Simplify z into z 1.532 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.532 * [taylor]: Taking taylor expansion of (/ -1 x) in a 1.532 * [taylor]: Taking taylor expansion of -1 in a 1.532 * [backup-simplify]: Simplify -1 into -1 1.532 * [taylor]: Taking taylor expansion of x in a 1.532 * [backup-simplify]: Simplify x into x 1.532 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 1.532 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in y 1.532 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 1.532 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 t) (/ 1 z))) in y 1.532 * [taylor]: Taking taylor expansion of (/ a y) in y 1.532 * [taylor]: Taking taylor expansion of a in y 1.532 * [backup-simplify]: Simplify a into a 1.532 * [taylor]: Taking taylor expansion of y in y 1.532 * [backup-simplify]: Simplify 0 into 0 1.532 * [backup-simplify]: Simplify 1 into 1 1.532 * [backup-simplify]: Simplify (/ a 1) into a 1.532 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 1.532 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.532 * [taylor]: Taking taylor expansion of t in y 1.533 * [backup-simplify]: Simplify t into t 1.533 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 1.533 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.533 * [taylor]: Taking taylor expansion of z in y 1.533 * [backup-simplify]: Simplify z into z 1.533 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.533 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.533 * [taylor]: Taking taylor expansion of -1 in y 1.533 * [backup-simplify]: Simplify -1 into -1 1.533 * [taylor]: Taking taylor expansion of x in y 1.533 * [backup-simplify]: Simplify x into x 1.533 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 1.533 * [taylor]: Taking taylor expansion of (fma (/ a y) (- (/ 1 t) (/ 1 z)) (/ -1 x)) in y 1.533 * [taylor]: Rewrote expression to (+ (* (/ a y) (- (/ 1 t) (/ 1 z))) (/ -1 x)) 1.533 * [taylor]: Taking taylor expansion of (* (/ a y) (- (/ 1 t) (/ 1 z))) in y 1.533 * [taylor]: Taking taylor expansion of (/ a y) in y 1.533 * [taylor]: Taking taylor expansion of a in y 1.533 * [backup-simplify]: Simplify a into a 1.533 * [taylor]: Taking taylor expansion of y in y 1.533 * [backup-simplify]: Simplify 0 into 0 1.533 * [backup-simplify]: Simplify 1 into 1 1.533 * [backup-simplify]: Simplify (/ a 1) into a 1.533 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 1.533 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.533 * [taylor]: Taking taylor expansion of t in y 1.533 * [backup-simplify]: Simplify t into t 1.533 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 1.533 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.533 * [taylor]: Taking taylor expansion of z in y 1.533 * [backup-simplify]: Simplify z into z 1.533 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.533 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.533 * [taylor]: Taking taylor expansion of -1 in y 1.533 * [backup-simplify]: Simplify -1 into -1 1.533 * [taylor]: Taking taylor expansion of x in y 1.533 * [backup-simplify]: Simplify x into x 1.533 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 1.533 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 1.533 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 z))) into (- (/ 1 t) (/ 1 z)) 1.534 * [backup-simplify]: Simplify (* a (- (/ 1 t) (/ 1 z))) into (* (- (/ 1 t) (/ 1 z)) a) 1.534 * [backup-simplify]: Simplify (+ (* (- (/ 1 t) (/ 1 z)) a) 0) into (- (/ a t) (/ a z)) 1.534 * [taylor]: Taking taylor expansion of (- (/ a t) (/ a z)) in a 1.534 * [taylor]: Taking taylor expansion of (/ a t) in a 1.534 * [taylor]: Taking taylor expansion of a in a 1.534 * [backup-simplify]: Simplify 0 into 0 1.534 * [backup-simplify]: Simplify 1 into 1 1.534 * [taylor]: Taking taylor expansion of t in a 1.534 * [backup-simplify]: Simplify t into t 1.534 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 1.534 * [taylor]: Taking taylor expansion of (/ a z) in a 1.534 * [taylor]: Taking taylor expansion of a in a 1.534 * [backup-simplify]: Simplify 0 into 0 1.534 * [backup-simplify]: Simplify 1 into 1 1.534 * [taylor]: Taking taylor expansion of z in a 1.534 * [backup-simplify]: Simplify z into z 1.534 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.534 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 1.534 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 1.534 * [backup-simplify]: Simplify (- 0) into 0 1.535 * [backup-simplify]: Simplify (+ 0 0) into 0 1.535 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0 1.535 * [backup-simplify]: Simplify (+ (* a 0) (* 0 (- (/ 1 t) (/ 1 z)))) into 0 1.535 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x)) 1.535 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in a 1.535 * [taylor]: Taking taylor expansion of (/ 1 x) in a 1.535 * [taylor]: Taking taylor expansion of x in a 1.535 * [backup-simplify]: Simplify x into x 1.535 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.536 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 1.536 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 1.536 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.536 * [taylor]: Taking taylor expansion of x in z 1.536 * [backup-simplify]: Simplify x into x 1.536 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.536 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 1.536 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 z))) into (- (/ 1 t) (/ 1 z)) 1.536 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 1.536 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.536 * [taylor]: Taking taylor expansion of t in z 1.536 * [backup-simplify]: Simplify t into t 1.536 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 1.536 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.536 * [taylor]: Taking taylor expansion of z in z 1.536 * [backup-simplify]: Simplify 0 into 0 1.536 * [backup-simplify]: Simplify 1 into 1 1.536 * [backup-simplify]: Simplify (/ 1 1) into 1 1.536 * [backup-simplify]: Simplify (- 1) into -1 1.537 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.537 * [taylor]: Taking taylor expansion of -1 in t 1.537 * [backup-simplify]: Simplify -1 into -1 1.537 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 1.537 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 1.537 * [backup-simplify]: Simplify (- 0) into 0 1.537 * [backup-simplify]: Simplify (+ 0 0) into 0 1.538 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.539 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 (- (/ 1 t) (/ 1 z))))) into 0 1.539 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 1.539 * [backup-simplify]: Simplify (+ 0 0) into 0 1.539 * [taylor]: Taking taylor expansion of 0 in a 1.539 * [backup-simplify]: Simplify 0 into 0 1.539 * [taylor]: Taking taylor expansion of 0 in z 1.539 * [backup-simplify]: Simplify 0 into 0 1.539 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 1.539 * [backup-simplify]: Simplify (- 0) into 0 1.539 * [taylor]: Taking taylor expansion of 0 in z 1.539 * [backup-simplify]: Simplify 0 into 0 1.539 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0 1.540 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 1.540 * [backup-simplify]: Simplify (- 0) into 0 1.540 * [backup-simplify]: Simplify (+ 0 0) into 0 1.540 * [taylor]: Taking taylor expansion of 0 in z 1.540 * [backup-simplify]: Simplify 0 into 0 1.540 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 1.540 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 1.540 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.540 * [taylor]: Taking taylor expansion of x in t 1.540 * [backup-simplify]: Simplify x into x 1.540 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.541 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.541 * [backup-simplify]: Simplify (- 0) into 0 1.541 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t) 1.541 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.541 * [taylor]: Taking taylor expansion of t in t 1.541 * [backup-simplify]: Simplify 0 into 0 1.541 * [backup-simplify]: Simplify 1 into 1 1.541 * [backup-simplify]: Simplify (/ 1 1) into 1 1.541 * [taylor]: Taking taylor expansion of 1 in x 1.541 * [backup-simplify]: Simplify 1 into 1 1.541 * [taylor]: Taking taylor expansion of -1 in x 1.541 * [backup-simplify]: Simplify -1 into -1 1.542 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0 1.542 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 1.542 * [backup-simplify]: Simplify (- 0) into 0 1.542 * [backup-simplify]: Simplify (+ 0 0) into 0 1.543 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.544 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 t) (/ 1 z)))))) into 0 1.544 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1.544 * [backup-simplify]: Simplify (+ 0 0) into 0 1.544 * [taylor]: Taking taylor expansion of 0 in a 1.544 * [backup-simplify]: Simplify 0 into 0 1.544 * [taylor]: Taking taylor expansion of 0 in z 1.544 * [backup-simplify]: Simplify 0 into 0 1.544 * [taylor]: Taking taylor expansion of 0 in z 1.544 * [backup-simplify]: Simplify 0 into 0 1.544 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1.545 * [backup-simplify]: Simplify (- 0) into 0 1.545 * [taylor]: Taking taylor expansion of 0 in z 1.545 * [backup-simplify]: Simplify 0 into 0 1.545 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 1.545 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 1.545 * [backup-simplify]: Simplify (- 0) into 0 1.545 * [backup-simplify]: Simplify (+ 0 0) into 0 1.545 * [taylor]: Taking taylor expansion of 0 in z 1.545 * [backup-simplify]: Simplify 0 into 0 1.545 * [taylor]: Taking taylor expansion of 0 in t 1.545 * [backup-simplify]: Simplify 0 into 0 1.545 * [taylor]: Taking taylor expansion of 0 in t 1.546 * [backup-simplify]: Simplify 0 into 0 1.546 * [taylor]: Taking taylor expansion of 0 in t 1.546 * [backup-simplify]: Simplify 0 into 0 1.546 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 1.546 * [backup-simplify]: Simplify (- 0) into 0 1.546 * [taylor]: Taking taylor expansion of 0 in t 1.546 * [backup-simplify]: Simplify 0 into 0 1.546 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 1.547 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.547 * [backup-simplify]: Simplify (- 0) into 0 1.547 * [backup-simplify]: Simplify (+ 0 0) into 0 1.547 * [taylor]: Taking taylor expansion of 0 in t 1.547 * [backup-simplify]: Simplify 0 into 0 1.547 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 1.547 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.547 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.547 * [taylor]: Taking taylor expansion of x in x 1.547 * [backup-simplify]: Simplify 0 into 0 1.547 * [backup-simplify]: Simplify 1 into 1 1.547 * [backup-simplify]: Simplify (/ 1 1) into 1 1.548 * [backup-simplify]: Simplify (- 1) into -1 1.548 * [backup-simplify]: Simplify -1 into -1 1.548 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.548 * [taylor]: Taking taylor expansion of 0 in x 1.548 * [backup-simplify]: Simplify 0 into 0 1.548 * [taylor]: Taking taylor expansion of 0 in x 1.548 * [backup-simplify]: Simplify 0 into 0 1.548 * [backup-simplify]: Simplify 1 into 1 1.548 * [backup-simplify]: Simplify -1 into -1 1.549 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (- a)) (/ 1 (/ 1 (- y)))))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- t))) (* 1 (* (/ 1 (- a)) (/ 1 (/ 1 (- y)))))))) (* -1 (* (/ 1 (/ 1 (- x))) (* 1 (* 1 (* 1 1))))))) into (- (+ (/ (* z y) a) x) (/ (* t y) a)) 1.549 * * * [progress]: simplifying candidates 1.550 * [simplify]: Simplifying: (expm1 (fma (/ y a) (- z t) x)) (log1p (fma (/ y a) (- z t) x)) (* (/ y a) (- z t)) (log (fma (/ y a) (- z t) x)) (exp (fma (/ y a) (- z t) x)) (* (cbrt (fma (/ y a) (- z t) x)) (cbrt (fma (/ y a) (- z t) x))) (cbrt (fma (/ y a) (- z t) x)) (* (* (fma (/ y a) (- z t) x) (fma (/ y a) (- z t) x)) (fma (/ y a) (- z t) x)) (sqrt (fma (/ y a) (- z t) x)) (sqrt (fma (/ y a) (- z t) x)) (- (+ (/ (* z y) a) x) (/ (* t y) a)) (- (+ (/ (* z y) a) x) (/ (* t y) a)) (- (+ (/ (* z y) a) x) (/ (* t y) a)) 1.550 * * [simplify]: Extracting # 0 : cost 0 1.550 * * [simplify]: Extracting # 1 : cost 0 1.550 * * [simplify]: Extracting # 2 : cost 0 1.550 * * [simplify]: Extracting # 3 : cost 0 1.550 * * [simplify]: Extracting # 4 : cost 0 1.550 * * [simplify]: Extracting # 5 : cost 0 1.550 * * [simplify]: Extracting # 6 : cost 0 1.550 * * [simplify]: iteration 0 : 24 enodes (cost 154 ) 1.554 * * [simplify]: Extracting # 0 : cost 0 1.554 * * [simplify]: Extracting # 1 : cost 0 1.554 * * [simplify]: Extracting # 2 : cost 0 1.554 * * [simplify]: iteration 1 : 41 enodes (cost 154 ) 1.566 * * [simplify]: Extracting # 0 : cost 0 1.566 * * [simplify]: Extracting # 1 : cost 0 1.566 * * [simplify]: Extracting # 2 : cost 0 1.566 * * [simplify]: iteration 2 : 94 enodes (cost 138 ) 1.601 * * [simplify]: Extracting # 0 : cost 0 1.601 * * [simplify]: Extracting # 1 : cost 0 1.601 * * [simplify]: Extracting # 2 : cost 0 1.601 * * [simplify]: Extracting # 3 : cost 0 1.602 * * [simplify]: iteration 3 : 267 enodes (cost 123 ) 1.812 * * [simplify]: Extracting # 0 : cost 0 1.813 * * [simplify]: Extracting # 1 : cost 0 1.815 * * [simplify]: Extracting # 2 : cost 0 1.816 * * [simplify]: Extracting # 3 : cost 0 1.817 * * [simplify]: Extracting # 4 : cost 0 1.818 * * [simplify]: Extracting # 5 : cost 0 1.819 * * [simplify]: Extracting # 6 : cost 0 1.820 * * [simplify]: iteration 4 : 1175 enodes (cost 123 ) 2.550 * * [simplify]: Extracting # 0 : cost 0 2.560 * * [simplify]: Extracting # 1 : cost 0 2.573 * * [simplify]: Extracting # 2 : cost 0 2.581 * * [simplify]: Extracting # 3 : cost 0 2.590 * * [simplify]: Extracting # 4 : cost 0 2.596 * * [simplify]: iteration done: 5000 enodes (cost 123 ) 2.596 * [simplify]: Simplified to: (expm1 (fma (/ y a) (- z t) x)) (log1p (fma (/ y a) (- z t) x)) (/ (- z t) (/ a y)) (log (fma (/ y a) (- z t) x)) (exp (fma (/ y a) (- z t) x)) (* (cbrt (fma (/ y a) (- z t) x)) (cbrt (fma (/ y a) (- z t) x))) (cbrt (fma (/ y a) (- z t) x)) (pow (fma (/ y a) (- z t) x) 3) (sqrt (fma (/ y a) (- z t) x)) (sqrt (fma (/ y a) (- z t) x)) (fma (- z t) (/ y a) x) (fma (- z t) (/ y a) x) (fma (- z t) (/ y a) x) 2.597 * * * [progress]: adding candidates to table 2.635 * * [progress]: iteration 2 / 4 2.635 * * * [progress]: picking best candidate 2.645 * * * * [pick]: Picked # 2.645 * * * [progress]: localizing error 2.657 * * * [progress]: generating rewritten candidates 2.657 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 2.696 * * * [progress]: generating series expansions 2.696 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 2.696 * [backup-simplify]: Simplify (/ (- z t) (/ a y)) into (/ (* y (- z t)) a) 2.696 * [approximate]: Taking taylor expansion of (/ (* y (- z t)) a) in (z t a y) around 0 2.696 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in y 2.696 * [taylor]: Taking taylor expansion of (* y (- z t)) in y 2.696 * [taylor]: Taking taylor expansion of y in y 2.696 * [backup-simplify]: Simplify 0 into 0 2.696 * [backup-simplify]: Simplify 1 into 1 2.696 * [taylor]: Taking taylor expansion of (- z t) in y 2.697 * [taylor]: Taking taylor expansion of z in y 2.697 * [backup-simplify]: Simplify z into z 2.697 * [taylor]: Taking taylor expansion of t in y 2.697 * [backup-simplify]: Simplify t into t 2.697 * [taylor]: Taking taylor expansion of a in y 2.697 * [backup-simplify]: Simplify a into a 2.697 * [backup-simplify]: Simplify (- t) into (- t) 2.697 * [backup-simplify]: Simplify (+ z (- t)) into (- z t) 2.697 * [backup-simplify]: Simplify (* 0 (- z t)) into 0 2.697 * [backup-simplify]: Simplify (- 0) into 0 2.698 * [backup-simplify]: Simplify (+ 0 0) into 0 2.698 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- z t))) into (- z t) 2.698 * [backup-simplify]: Simplify (/ (- z t) a) into (/ (- z t) a) 2.698 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in a 2.698 * [taylor]: Taking taylor expansion of (* y (- z t)) in a 2.698 * [taylor]: Taking taylor expansion of y in a 2.698 * [backup-simplify]: Simplify y into y 2.698 * [taylor]: Taking taylor expansion of (- z t) in a 2.698 * [taylor]: Taking taylor expansion of z in a 2.698 * [backup-simplify]: Simplify z into z 2.698 * [taylor]: Taking taylor expansion of t in a 2.698 * [backup-simplify]: Simplify t into t 2.698 * [taylor]: Taking taylor expansion of a in a 2.698 * [backup-simplify]: Simplify 0 into 0 2.698 * [backup-simplify]: Simplify 1 into 1 2.698 * [backup-simplify]: Simplify (- t) into (- t) 2.698 * [backup-simplify]: Simplify (+ z (- t)) into (- z t) 2.698 * [backup-simplify]: Simplify (* y (- z t)) into (* y (- z t)) 2.698 * [backup-simplify]: Simplify (/ (* y (- z t)) 1) into (* y (- z t)) 2.698 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in t 2.698 * [taylor]: Taking taylor expansion of (* y (- z t)) in t 2.698 * [taylor]: Taking taylor expansion of y in t 2.699 * [backup-simplify]: Simplify y into y 2.699 * [taylor]: Taking taylor expansion of (- z t) in t 2.699 * [taylor]: Taking taylor expansion of z in t 2.699 * [backup-simplify]: Simplify z into z 2.699 * [taylor]: Taking taylor expansion of t in t 2.699 * [backup-simplify]: Simplify 0 into 0 2.699 * [backup-simplify]: Simplify 1 into 1 2.699 * [taylor]: Taking taylor expansion of a in t 2.699 * [backup-simplify]: Simplify a into a 2.699 * [backup-simplify]: Simplify (- 0) into 0 2.699 * [backup-simplify]: Simplify (+ z 0) into z 2.699 * [backup-simplify]: Simplify (* y z) into (* z y) 2.699 * [backup-simplify]: Simplify (/ (* z y) a) into (/ (* z y) a) 2.699 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in z 2.699 * [taylor]: Taking taylor expansion of (* y (- z t)) in z 2.699 * [taylor]: Taking taylor expansion of y in z 2.699 * [backup-simplify]: Simplify y into y 2.699 * [taylor]: Taking taylor expansion of (- z t) in z 2.699 * [taylor]: Taking taylor expansion of z in z 2.699 * [backup-simplify]: Simplify 0 into 0 2.699 * [backup-simplify]: Simplify 1 into 1 2.699 * [taylor]: Taking taylor expansion of t in z 2.699 * [backup-simplify]: Simplify t into t 2.699 * [taylor]: Taking taylor expansion of a in z 2.699 * [backup-simplify]: Simplify a into a 2.699 * [backup-simplify]: Simplify (- t) into (- t) 2.699 * [backup-simplify]: Simplify (+ 0 (- t)) into (- t) 2.699 * [backup-simplify]: Simplify (* y (- t)) into (* -1 (* t y)) 2.699 * [backup-simplify]: Simplify (/ (* -1 (* t y)) a) into (* -1 (/ (* t y) a)) 2.699 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) a) in z 2.699 * [taylor]: Taking taylor expansion of (* y (- z t)) in z 2.699 * [taylor]: Taking taylor expansion of y in z 2.700 * [backup-simplify]: Simplify y into y 2.700 * [taylor]: Taking taylor expansion of (- z t) in z 2.700 * [taylor]: Taking taylor expansion of z in z 2.700 * [backup-simplify]: Simplify 0 into 0 2.700 * [backup-simplify]: Simplify 1 into 1 2.700 * [taylor]: Taking taylor expansion of t in z 2.700 * [backup-simplify]: Simplify t into t 2.700 * [taylor]: Taking taylor expansion of a in z 2.700 * [backup-simplify]: Simplify a into a 2.700 * [backup-simplify]: Simplify (- t) into (- t) 2.700 * [backup-simplify]: Simplify (+ 0 (- t)) into (- t) 2.700 * [backup-simplify]: Simplify (* y (- t)) into (* -1 (* t y)) 2.700 * [backup-simplify]: Simplify (/ (* -1 (* t y)) a) into (* -1 (/ (* t y) a)) 2.700 * [taylor]: Taking taylor expansion of (* -1 (/ (* t y) a)) in t 2.700 * [taylor]: Taking taylor expansion of -1 in t 2.700 * [backup-simplify]: Simplify -1 into -1 2.700 * [taylor]: Taking taylor expansion of (/ (* t y) a) in t 2.700 * [taylor]: Taking taylor expansion of (* t y) in t 2.700 * [taylor]: Taking taylor expansion of t in t 2.700 * [backup-simplify]: Simplify 0 into 0 2.700 * [backup-simplify]: Simplify 1 into 1 2.700 * [taylor]: Taking taylor expansion of y in t 2.700 * [backup-simplify]: Simplify y into y 2.700 * [taylor]: Taking taylor expansion of a in t 2.700 * [backup-simplify]: Simplify a into a 2.700 * [backup-simplify]: Simplify (* 0 y) into 0 2.700 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.700 * [backup-simplify]: Simplify (/ y a) into (/ y a) 2.701 * [backup-simplify]: Simplify (- 0) into 0 2.701 * [backup-simplify]: Simplify (+ 1 0) into 1 2.701 * [backup-simplify]: Simplify (+ (* y 1) (* 0 (- t))) into y 2.701 * [backup-simplify]: Simplify (- (/ y a) (+ (* (* -1 (/ (* t y) a)) (/ 0 a)))) into (/ y a) 2.701 * [taylor]: Taking taylor expansion of (/ y a) in t 2.701 * [taylor]: Taking taylor expansion of y in t 2.701 * [backup-simplify]: Simplify y into y 2.701 * [taylor]: Taking taylor expansion of a in t 2.701 * [backup-simplify]: Simplify a into a 2.701 * [backup-simplify]: Simplify (/ y a) into (/ y a) 2.701 * [taylor]: Taking taylor expansion of (/ y a) in a 2.701 * [taylor]: Taking taylor expansion of y in a 2.701 * [backup-simplify]: Simplify y into y 2.701 * [taylor]: Taking taylor expansion of a in a 2.701 * [backup-simplify]: Simplify 0 into 0 2.701 * [backup-simplify]: Simplify 1 into 1 2.702 * [backup-simplify]: Simplify (/ y 1) into y 2.702 * [taylor]: Taking taylor expansion of y in y 2.702 * [backup-simplify]: Simplify 0 into 0 2.702 * [backup-simplify]: Simplify 1 into 1 2.702 * [backup-simplify]: Simplify 1 into 1 2.702 * [backup-simplify]: Simplify (* -1 (/ y a)) into (* -1 (/ y a)) 2.702 * [taylor]: Taking taylor expansion of (* -1 (/ y a)) in a 2.702 * [taylor]: Taking taylor expansion of -1 in a 2.702 * [backup-simplify]: Simplify -1 into -1 2.702 * [taylor]: Taking taylor expansion of (/ y a) in a 2.702 * [taylor]: Taking taylor expansion of y in a 2.702 * [backup-simplify]: Simplify y into y 2.702 * [taylor]: Taking taylor expansion of a in a 2.702 * [backup-simplify]: Simplify 0 into 0 2.702 * [backup-simplify]: Simplify 1 into 1 2.702 * [backup-simplify]: Simplify (/ y 1) into y 2.702 * [backup-simplify]: Simplify (* -1 y) into (* -1 y) 2.702 * [taylor]: Taking taylor expansion of (* -1 y) in y 2.702 * [taylor]: Taking taylor expansion of -1 in y 2.702 * [backup-simplify]: Simplify -1 into -1 2.702 * [taylor]: Taking taylor expansion of y in y 2.702 * [backup-simplify]: Simplify 0 into 0 2.702 * [backup-simplify]: Simplify 1 into 1 2.703 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1 2.703 * [backup-simplify]: Simplify -1 into -1 2.703 * [backup-simplify]: Simplify (- 0) into 0 2.703 * [backup-simplify]: Simplify (+ 0 0) into 0 2.704 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 (- t)))) into 0 2.704 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (* -1 (/ (* t y) a)) (/ 0 a)) (* (/ y a) (/ 0 a)))) into 0 2.704 * [taylor]: Taking taylor expansion of 0 in t 2.704 * [backup-simplify]: Simplify 0 into 0 2.704 * [taylor]: Taking taylor expansion of 0 in a 2.704 * [backup-simplify]: Simplify 0 into 0 2.704 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ y a) (/ 0 a)))) into 0 2.704 * [taylor]: Taking taylor expansion of 0 in a 2.704 * [backup-simplify]: Simplify 0 into 0 2.704 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 2.705 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ y a) (/ 0 a)))) into 0 2.705 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ y a))) into 0 2.705 * [taylor]: Taking taylor expansion of 0 in a 2.705 * [backup-simplify]: Simplify 0 into 0 2.705 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 2.705 * [taylor]: Taking taylor expansion of 0 in y 2.706 * [backup-simplify]: Simplify 0 into 0 2.706 * [backup-simplify]: Simplify 0 into 0 2.706 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 2.706 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 y)) into 0 2.706 * [taylor]: Taking taylor expansion of 0 in y 2.706 * [backup-simplify]: Simplify 0 into 0 2.706 * [backup-simplify]: Simplify 0 into 0 2.706 * [backup-simplify]: Simplify 0 into 0 2.707 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 2.707 * [backup-simplify]: Simplify 0 into 0 2.707 * [backup-simplify]: Simplify (- 0) into 0 2.707 * [backup-simplify]: Simplify (+ 0 0) into 0 2.708 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- t))))) into 0 2.708 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (* -1 (/ (* t y) a)) (/ 0 a)) (* (/ y a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 2.708 * [taylor]: Taking taylor expansion of 0 in t 2.708 * [backup-simplify]: Simplify 0 into 0 2.708 * [taylor]: Taking taylor expansion of 0 in a 2.709 * [backup-simplify]: Simplify 0 into 0 2.709 * [taylor]: Taking taylor expansion of 0 in a 2.709 * [backup-simplify]: Simplify 0 into 0 2.709 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ y a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 2.709 * [taylor]: Taking taylor expansion of 0 in a 2.709 * [backup-simplify]: Simplify 0 into 0 2.709 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 2.710 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ y a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 2.710 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ y a)))) into 0 2.710 * [taylor]: Taking taylor expansion of 0 in a 2.710 * [backup-simplify]: Simplify 0 into 0 2.710 * [taylor]: Taking taylor expansion of 0 in y 2.710 * [backup-simplify]: Simplify 0 into 0 2.710 * [backup-simplify]: Simplify 0 into 0 2.710 * [taylor]: Taking taylor expansion of 0 in y 2.710 * [backup-simplify]: Simplify 0 into 0 2.710 * [backup-simplify]: Simplify 0 into 0 2.711 * [backup-simplify]: Simplify (+ (* -1 (* y (* (/ 1 a) (* t 1)))) (* 1 (* y (* (/ 1 a) (* 1 z))))) into (- (/ (* z y) a) (/ (* t y) a)) 2.711 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 t)) (/ (/ 1 a) (/ 1 y))) into (/ (* a (- (/ 1 z) (/ 1 t))) y) 2.711 * [approximate]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in (z t a y) around 0 2.711 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in y 2.711 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in y 2.711 * [taylor]: Taking taylor expansion of a in y 2.711 * [backup-simplify]: Simplify a into a 2.711 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 2.711 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.711 * [taylor]: Taking taylor expansion of z in y 2.711 * [backup-simplify]: Simplify z into z 2.711 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.711 * [taylor]: Taking taylor expansion of (/ 1 t) in y 2.711 * [taylor]: Taking taylor expansion of t in y 2.711 * [backup-simplify]: Simplify t into t 2.711 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.711 * [taylor]: Taking taylor expansion of y in y 2.711 * [backup-simplify]: Simplify 0 into 0 2.711 * [backup-simplify]: Simplify 1 into 1 2.711 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 2.711 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 t))) into (- (/ 1 z) (/ 1 t)) 2.711 * [backup-simplify]: Simplify (* a (- (/ 1 z) (/ 1 t))) into (* a (- (/ 1 z) (/ 1 t))) 2.711 * [backup-simplify]: Simplify (/ (* a (- (/ 1 z) (/ 1 t))) 1) into (* a (- (/ 1 z) (/ 1 t))) 2.711 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in a 2.711 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in a 2.711 * [taylor]: Taking taylor expansion of a in a 2.711 * [backup-simplify]: Simplify 0 into 0 2.711 * [backup-simplify]: Simplify 1 into 1 2.711 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in a 2.711 * [taylor]: Taking taylor expansion of (/ 1 z) in a 2.712 * [taylor]: Taking taylor expansion of z in a 2.712 * [backup-simplify]: Simplify z into z 2.712 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.712 * [taylor]: Taking taylor expansion of (/ 1 t) in a 2.712 * [taylor]: Taking taylor expansion of t in a 2.712 * [backup-simplify]: Simplify t into t 2.712 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.712 * [taylor]: Taking taylor expansion of y in a 2.712 * [backup-simplify]: Simplify y into y 2.712 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 2.712 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 t))) into (- (/ 1 z) (/ 1 t)) 2.712 * [backup-simplify]: Simplify (* 0 (- (/ 1 z) (/ 1 t))) into 0 2.712 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 2.712 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 2.712 * [backup-simplify]: Simplify (- 0) into 0 2.713 * [backup-simplify]: Simplify (+ 0 0) into 0 2.713 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (/ 1 z) (/ 1 t)))) into (- (/ 1 z) (/ 1 t)) 2.713 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 t)) y) into (/ (- (/ 1 z) (/ 1 t)) y) 2.713 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in t 2.713 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in t 2.713 * [taylor]: Taking taylor expansion of a in t 2.713 * [backup-simplify]: Simplify a into a 2.713 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 2.713 * [taylor]: Taking taylor expansion of (/ 1 z) in t 2.713 * [taylor]: Taking taylor expansion of z in t 2.713 * [backup-simplify]: Simplify z into z 2.713 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.713 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.713 * [taylor]: Taking taylor expansion of t in t 2.713 * [backup-simplify]: Simplify 0 into 0 2.713 * [backup-simplify]: Simplify 1 into 1 2.713 * [backup-simplify]: Simplify (/ 1 1) into 1 2.713 * [taylor]: Taking taylor expansion of y in t 2.713 * [backup-simplify]: Simplify y into y 2.714 * [backup-simplify]: Simplify (- 1) into -1 2.714 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.714 * [backup-simplify]: Simplify (* a -1) into (* -1 a) 2.714 * [backup-simplify]: Simplify (/ (* -1 a) y) into (* -1 (/ a y)) 2.714 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z 2.714 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 2.714 * [taylor]: Taking taylor expansion of a in z 2.714 * [backup-simplify]: Simplify a into a 2.714 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 2.714 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.714 * [taylor]: Taking taylor expansion of z in z 2.714 * [backup-simplify]: Simplify 0 into 0 2.714 * [backup-simplify]: Simplify 1 into 1 2.714 * [backup-simplify]: Simplify (/ 1 1) into 1 2.714 * [taylor]: Taking taylor expansion of (/ 1 t) in z 2.714 * [taylor]: Taking taylor expansion of t in z 2.714 * [backup-simplify]: Simplify t into t 2.715 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.715 * [taylor]: Taking taylor expansion of y in z 2.715 * [backup-simplify]: Simplify y into y 2.715 * [backup-simplify]: Simplify (+ 1 0) into 1 2.715 * [backup-simplify]: Simplify (* a 1) into a 2.715 * [backup-simplify]: Simplify (/ a y) into (/ a y) 2.715 * [taylor]: Taking taylor expansion of (/ (* a (- (/ 1 z) (/ 1 t))) y) in z 2.715 * [taylor]: Taking taylor expansion of (* a (- (/ 1 z) (/ 1 t))) in z 2.715 * [taylor]: Taking taylor expansion of a in z 2.715 * [backup-simplify]: Simplify a into a 2.715 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 2.715 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.715 * [taylor]: Taking taylor expansion of z in z 2.715 * [backup-simplify]: Simplify 0 into 0 2.715 * [backup-simplify]: Simplify 1 into 1 2.715 * [backup-simplify]: Simplify (/ 1 1) into 1 2.715 * [taylor]: Taking taylor expansion of (/ 1 t) in z 2.715 * [taylor]: Taking taylor expansion of t in z 2.715 * [backup-simplify]: Simplify t into t 2.715 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.715 * [taylor]: Taking taylor expansion of y in z 2.715 * [backup-simplify]: Simplify y into y 2.716 * [backup-simplify]: Simplify (+ 1 0) into 1 2.716 * [backup-simplify]: Simplify (* a 1) into a 2.716 * [backup-simplify]: Simplify (/ a y) into (/ a y) 2.716 * [taylor]: Taking taylor expansion of (/ a y) in t 2.716 * [taylor]: Taking taylor expansion of a in t 2.716 * [backup-simplify]: Simplify a into a 2.716 * [taylor]: Taking taylor expansion of y in t 2.716 * [backup-simplify]: Simplify y into y 2.716 * [backup-simplify]: Simplify (/ a y) into (/ a y) 2.716 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.716 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 2.717 * [backup-simplify]: Simplify (+ 0 (- (/ 1 t))) into (- (/ 1 t)) 2.717 * [backup-simplify]: Simplify (+ (* a (- (/ 1 t))) (* 0 1)) into (- (/ a t)) 2.717 * [backup-simplify]: Simplify (- (/ (- (/ a t)) y) (+ (* (/ a y) (/ 0 y)))) into (- (/ a (* y t))) 2.717 * [taylor]: Taking taylor expansion of (- (/ a (* y t))) in t 2.717 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t 2.717 * [taylor]: Taking taylor expansion of a in t 2.717 * [backup-simplify]: Simplify a into a 2.717 * [taylor]: Taking taylor expansion of (* y t) in t 2.717 * [taylor]: Taking taylor expansion of y in t 2.717 * [backup-simplify]: Simplify y into y 2.717 * [taylor]: Taking taylor expansion of t in t 2.717 * [backup-simplify]: Simplify 0 into 0 2.717 * [backup-simplify]: Simplify 1 into 1 2.717 * [backup-simplify]: Simplify (* y 0) into 0 2.718 * [backup-simplify]: Simplify (+ (* y 1) (* 0 0)) into y 2.718 * [backup-simplify]: Simplify (/ a y) into (/ a y) 2.718 * [backup-simplify]: Simplify (- (/ a y)) into (- (/ a y)) 2.718 * [taylor]: Taking taylor expansion of (- (/ a y)) in a 2.718 * [taylor]: Taking taylor expansion of (/ a y) in a 2.718 * [taylor]: Taking taylor expansion of a in a 2.718 * [backup-simplify]: Simplify 0 into 0 2.718 * [backup-simplify]: Simplify 1 into 1 2.718 * [taylor]: Taking taylor expansion of y in a 2.718 * [backup-simplify]: Simplify y into y 2.718 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.718 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 2.718 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.718 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.718 * [taylor]: Taking taylor expansion of y in y 2.718 * [backup-simplify]: Simplify 0 into 0 2.718 * [backup-simplify]: Simplify 1 into 1 2.718 * [backup-simplify]: Simplify (/ 1 1) into 1 2.718 * [backup-simplify]: Simplify (- 1) into -1 2.718 * [backup-simplify]: Simplify -1 into -1 2.718 * [taylor]: Taking taylor expansion of (/ a y) in a 2.718 * [taylor]: Taking taylor expansion of a in a 2.718 * [backup-simplify]: Simplify 0 into 0 2.719 * [backup-simplify]: Simplify 1 into 1 2.719 * [taylor]: Taking taylor expansion of y in a 2.719 * [backup-simplify]: Simplify y into y 2.719 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.719 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.719 * [taylor]: Taking taylor expansion of y in y 2.719 * [backup-simplify]: Simplify 0 into 0 2.719 * [backup-simplify]: Simplify 1 into 1 2.719 * [backup-simplify]: Simplify (/ 1 1) into 1 2.719 * [backup-simplify]: Simplify 1 into 1 2.719 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.720 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 2.720 * [backup-simplify]: Simplify (- 0) into 0 2.720 * [backup-simplify]: Simplify (+ 0 0) into 0 2.720 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 (- (/ 1 t))) (* 0 1))) into 0 2.721 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ a y) (/ 0 y)) (* (- (/ a (* y t))) (/ 0 y)))) into 0 2.721 * [taylor]: Taking taylor expansion of 0 in t 2.721 * [backup-simplify]: Simplify 0 into 0 2.721 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 0))) into 0 2.721 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ a y) (/ 0 y)))) into 0 2.721 * [backup-simplify]: Simplify (- 0) into 0 2.721 * [taylor]: Taking taylor expansion of 0 in a 2.721 * [backup-simplify]: Simplify 0 into 0 2.721 * [taylor]: Taking taylor expansion of 0 in y 2.721 * [backup-simplify]: Simplify 0 into 0 2.721 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ a y) (/ 0 y)))) into 0 2.722 * [taylor]: Taking taylor expansion of 0 in a 2.722 * [backup-simplify]: Simplify 0 into 0 2.722 * [taylor]: Taking taylor expansion of 0 in y 2.722 * [backup-simplify]: Simplify 0 into 0 2.722 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0 2.722 * [backup-simplify]: Simplify (- 0) into 0 2.722 * [taylor]: Taking taylor expansion of 0 in y 2.722 * [backup-simplify]: Simplify 0 into 0 2.722 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0 2.722 * [taylor]: Taking taylor expansion of 0 in y 2.722 * [backup-simplify]: Simplify 0 into 0 2.723 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.723 * [backup-simplify]: Simplify (- 0) into 0 2.723 * [backup-simplify]: Simplify 0 into 0 2.723 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.723 * [backup-simplify]: Simplify 0 into 0 2.724 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.724 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 2.724 * [backup-simplify]: Simplify (- 0) into 0 2.724 * [backup-simplify]: Simplify (+ 0 0) into 0 2.725 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 (- (/ 1 t))) (* 0 1)))) into 0 2.725 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ a y) (/ 0 y)) (* (- (/ a (* y t))) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.725 * [taylor]: Taking taylor expansion of 0 in t 2.725 * [backup-simplify]: Simplify 0 into 0 2.725 * [taylor]: Taking taylor expansion of 0 in a 2.725 * [backup-simplify]: Simplify 0 into 0 2.725 * [taylor]: Taking taylor expansion of 0 in y 2.725 * [backup-simplify]: Simplify 0 into 0 2.726 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.726 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ a y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.726 * [backup-simplify]: Simplify (- 0) into 0 2.726 * [taylor]: Taking taylor expansion of 0 in a 2.726 * [backup-simplify]: Simplify 0 into 0 2.726 * [taylor]: Taking taylor expansion of 0 in y 2.726 * [backup-simplify]: Simplify 0 into 0 2.726 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ a y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.726 * [taylor]: Taking taylor expansion of 0 in a 2.726 * [backup-simplify]: Simplify 0 into 0 2.726 * [taylor]: Taking taylor expansion of 0 in y 2.726 * [backup-simplify]: Simplify 0 into 0 2.726 * [taylor]: Taking taylor expansion of 0 in y 2.726 * [backup-simplify]: Simplify 0 into 0 2.726 * [taylor]: Taking taylor expansion of 0 in y 2.726 * [backup-simplify]: Simplify 0 into 0 2.727 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.727 * [backup-simplify]: Simplify (- 0) into 0 2.727 * [taylor]: Taking taylor expansion of 0 in y 2.727 * [backup-simplify]: Simplify 0 into 0 2.727 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.727 * [taylor]: Taking taylor expansion of 0 in y 2.727 * [backup-simplify]: Simplify 0 into 0 2.727 * [backup-simplify]: Simplify 0 into 0 2.727 * [backup-simplify]: Simplify 0 into 0 2.727 * [backup-simplify]: Simplify 0 into 0 2.727 * [backup-simplify]: Simplify 0 into 0 2.727 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 a) (* 1 (/ 1 (/ 1 z)))))) (* -1 (* (/ 1 (/ 1 y)) (* (/ 1 a) (* (/ 1 (/ 1 t)) 1))))) into (- (/ (* z y) a) (/ (* t y) a)) 2.728 * [backup-simplify]: Simplify (/ (- (/ 1 (- z)) (/ 1 (- t))) (/ (/ 1 (- a)) (/ 1 (- y)))) into (/ (* (- (/ 1 t) (/ 1 z)) a) y) 2.728 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in (z t a y) around 0 2.728 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in y 2.728 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in y 2.728 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 2.728 * [taylor]: Taking taylor expansion of (/ 1 t) in y 2.728 * [taylor]: Taking taylor expansion of t in y 2.728 * [backup-simplify]: Simplify t into t 2.728 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.728 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.728 * [taylor]: Taking taylor expansion of z in y 2.728 * [backup-simplify]: Simplify z into z 2.728 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.728 * [taylor]: Taking taylor expansion of a in y 2.728 * [backup-simplify]: Simplify a into a 2.728 * [taylor]: Taking taylor expansion of y in y 2.728 * [backup-simplify]: Simplify 0 into 0 2.728 * [backup-simplify]: Simplify 1 into 1 2.728 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 2.728 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 z))) into (- (/ 1 t) (/ 1 z)) 2.728 * [backup-simplify]: Simplify (* (- (/ 1 t) (/ 1 z)) a) into (* (- (/ 1 t) (/ 1 z)) a) 2.728 * [backup-simplify]: Simplify (/ (* (- (/ 1 t) (/ 1 z)) a) 1) into (* (- (/ 1 t) (/ 1 z)) a) 2.728 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in a 2.728 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in a 2.728 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in a 2.728 * [taylor]: Taking taylor expansion of (/ 1 t) in a 2.728 * [taylor]: Taking taylor expansion of t in a 2.728 * [backup-simplify]: Simplify t into t 2.728 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.729 * [taylor]: Taking taylor expansion of (/ 1 z) in a 2.729 * [taylor]: Taking taylor expansion of z in a 2.729 * [backup-simplify]: Simplify z into z 2.729 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.729 * [taylor]: Taking taylor expansion of a in a 2.729 * [backup-simplify]: Simplify 0 into 0 2.729 * [backup-simplify]: Simplify 1 into 1 2.729 * [taylor]: Taking taylor expansion of y in a 2.729 * [backup-simplify]: Simplify y into y 2.729 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 2.729 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 z))) into (- (/ 1 t) (/ 1 z)) 2.729 * [backup-simplify]: Simplify (* (- (/ 1 t) (/ 1 z)) 0) into 0 2.729 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 2.729 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 2.729 * [backup-simplify]: Simplify (- 0) into 0 2.730 * [backup-simplify]: Simplify (+ 0 0) into 0 2.730 * [backup-simplify]: Simplify (+ (* (- (/ 1 t) (/ 1 z)) 1) (* 0 0)) into (- (/ 1 t) (/ 1 z)) 2.730 * [backup-simplify]: Simplify (/ (- (/ 1 t) (/ 1 z)) y) into (/ (- (/ 1 t) (/ 1 z)) y) 2.730 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in t 2.730 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in t 2.730 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 2.730 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.730 * [taylor]: Taking taylor expansion of t in t 2.730 * [backup-simplify]: Simplify 0 into 0 2.730 * [backup-simplify]: Simplify 1 into 1 2.730 * [backup-simplify]: Simplify (/ 1 1) into 1 2.730 * [taylor]: Taking taylor expansion of (/ 1 z) in t 2.730 * [taylor]: Taking taylor expansion of z in t 2.730 * [backup-simplify]: Simplify z into z 2.730 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.730 * [taylor]: Taking taylor expansion of a in t 2.730 * [backup-simplify]: Simplify a into a 2.730 * [taylor]: Taking taylor expansion of y in t 2.731 * [backup-simplify]: Simplify y into y 2.731 * [backup-simplify]: Simplify (+ 1 0) into 1 2.731 * [backup-simplify]: Simplify (* 1 a) into a 2.731 * [backup-simplify]: Simplify (/ a y) into (/ a y) 2.731 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in z 2.731 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z 2.731 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 2.731 * [taylor]: Taking taylor expansion of (/ 1 t) in z 2.731 * [taylor]: Taking taylor expansion of t in z 2.731 * [backup-simplify]: Simplify t into t 2.731 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.731 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.731 * [taylor]: Taking taylor expansion of z in z 2.731 * [backup-simplify]: Simplify 0 into 0 2.731 * [backup-simplify]: Simplify 1 into 1 2.731 * [backup-simplify]: Simplify (/ 1 1) into 1 2.731 * [taylor]: Taking taylor expansion of a in z 2.731 * [backup-simplify]: Simplify a into a 2.731 * [taylor]: Taking taylor expansion of y in z 2.731 * [backup-simplify]: Simplify y into y 2.732 * [backup-simplify]: Simplify (- 1) into -1 2.732 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.732 * [backup-simplify]: Simplify (* -1 a) into (* -1 a) 2.732 * [backup-simplify]: Simplify (/ (* -1 a) y) into (* -1 (/ a y)) 2.732 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) a) y) in z 2.732 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) a) in z 2.732 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 2.732 * [taylor]: Taking taylor expansion of (/ 1 t) in z 2.732 * [taylor]: Taking taylor expansion of t in z 2.732 * [backup-simplify]: Simplify t into t 2.732 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.732 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.732 * [taylor]: Taking taylor expansion of z in z 2.732 * [backup-simplify]: Simplify 0 into 0 2.732 * [backup-simplify]: Simplify 1 into 1 2.733 * [backup-simplify]: Simplify (/ 1 1) into 1 2.733 * [taylor]: Taking taylor expansion of a in z 2.733 * [backup-simplify]: Simplify a into a 2.733 * [taylor]: Taking taylor expansion of y in z 2.733 * [backup-simplify]: Simplify y into y 2.733 * [backup-simplify]: Simplify (- 1) into -1 2.733 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.733 * [backup-simplify]: Simplify (* -1 a) into (* -1 a) 2.733 * [backup-simplify]: Simplify (/ (* -1 a) y) into (* -1 (/ a y)) 2.733 * [taylor]: Taking taylor expansion of (* -1 (/ a y)) in t 2.733 * [taylor]: Taking taylor expansion of -1 in t 2.733 * [backup-simplify]: Simplify -1 into -1 2.733 * [taylor]: Taking taylor expansion of (/ a y) in t 2.733 * [taylor]: Taking taylor expansion of a in t 2.733 * [backup-simplify]: Simplify a into a 2.733 * [taylor]: Taking taylor expansion of y in t 2.733 * [backup-simplify]: Simplify y into y 2.733 * [backup-simplify]: Simplify (/ a y) into (/ a y) 2.734 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.734 * [backup-simplify]: Simplify (- 0) into 0 2.734 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t) 2.735 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 t) a)) into (/ a t) 2.735 * [backup-simplify]: Simplify (- (/ (/ a t) y) (+ (* (* -1 (/ a y)) (/ 0 y)))) into (/ a (* y t)) 2.735 * [taylor]: Taking taylor expansion of (/ a (* y t)) in t 2.735 * [taylor]: Taking taylor expansion of a in t 2.735 * [backup-simplify]: Simplify a into a 2.735 * [taylor]: Taking taylor expansion of (* y t) in t 2.735 * [taylor]: Taking taylor expansion of y in t 2.735 * [backup-simplify]: Simplify y into y 2.735 * [taylor]: Taking taylor expansion of t in t 2.735 * [backup-simplify]: Simplify 0 into 0 2.735 * [backup-simplify]: Simplify 1 into 1 2.735 * [backup-simplify]: Simplify (* y 0) into 0 2.735 * [backup-simplify]: Simplify (+ (* y 1) (* 0 0)) into y 2.735 * [backup-simplify]: Simplify (/ a y) into (/ a y) 2.735 * [taylor]: Taking taylor expansion of (/ a y) in a 2.735 * [taylor]: Taking taylor expansion of a in a 2.735 * [backup-simplify]: Simplify 0 into 0 2.735 * [backup-simplify]: Simplify 1 into 1 2.735 * [taylor]: Taking taylor expansion of y in a 2.735 * [backup-simplify]: Simplify y into y 2.735 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.735 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.735 * [taylor]: Taking taylor expansion of y in y 2.735 * [backup-simplify]: Simplify 0 into 0 2.735 * [backup-simplify]: Simplify 1 into 1 2.736 * [backup-simplify]: Simplify (/ 1 1) into 1 2.736 * [backup-simplify]: Simplify 1 into 1 2.736 * [backup-simplify]: Simplify (* -1 (/ a y)) into (* -1 (/ a y)) 2.736 * [taylor]: Taking taylor expansion of (* -1 (/ a y)) in a 2.736 * [taylor]: Taking taylor expansion of -1 in a 2.736 * [backup-simplify]: Simplify -1 into -1 2.736 * [taylor]: Taking taylor expansion of (/ a y) in a 2.736 * [taylor]: Taking taylor expansion of a in a 2.736 * [backup-simplify]: Simplify 0 into 0 2.736 * [backup-simplify]: Simplify 1 into 1 2.736 * [taylor]: Taking taylor expansion of y in a 2.736 * [backup-simplify]: Simplify y into y 2.736 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.736 * [backup-simplify]: Simplify (* -1 (/ 1 y)) into (/ -1 y) 2.736 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.736 * [taylor]: Taking taylor expansion of -1 in y 2.736 * [backup-simplify]: Simplify -1 into -1 2.736 * [taylor]: Taking taylor expansion of y in y 2.736 * [backup-simplify]: Simplify 0 into 0 2.736 * [backup-simplify]: Simplify 1 into 1 2.737 * [backup-simplify]: Simplify (/ -1 1) into -1 2.737 * [backup-simplify]: Simplify -1 into -1 2.737 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 2.737 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.738 * [backup-simplify]: Simplify (- 0) into 0 2.738 * [backup-simplify]: Simplify (+ 0 0) into 0 2.738 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 t) 0) (* 0 a))) into 0 2.738 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* -1 (/ a y)) (/ 0 y)) (* (/ a (* y t)) (/ 0 y)))) into 0 2.738 * [taylor]: Taking taylor expansion of 0 in t 2.738 * [backup-simplify]: Simplify 0 into 0 2.739 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 0))) into 0 2.739 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ a y) (/ 0 y)))) into 0 2.739 * [taylor]: Taking taylor expansion of 0 in a 2.739 * [backup-simplify]: Simplify 0 into 0 2.739 * [taylor]: Taking taylor expansion of 0 in y 2.739 * [backup-simplify]: Simplify 0 into 0 2.739 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ a y) (/ 0 y)))) into 0 2.739 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ a y))) into 0 2.739 * [taylor]: Taking taylor expansion of 0 in a 2.739 * [backup-simplify]: Simplify 0 into 0 2.739 * [taylor]: Taking taylor expansion of 0 in y 2.739 * [backup-simplify]: Simplify 0 into 0 2.740 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0 2.740 * [taylor]: Taking taylor expansion of 0 in y 2.740 * [backup-simplify]: Simplify 0 into 0 2.740 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0 2.740 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 y))) into 0 2.740 * [taylor]: Taking taylor expansion of 0 in y 2.740 * [backup-simplify]: Simplify 0 into 0 2.741 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.741 * [backup-simplify]: Simplify 0 into 0 2.741 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 2.741 * [backup-simplify]: Simplify 0 into 0 2.741 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 2.742 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.742 * [backup-simplify]: Simplify (- 0) into 0 2.747 * [backup-simplify]: Simplify (+ 0 0) into 0 2.748 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 t) 0) (+ (* 0 0) (* 0 a)))) into 0 2.748 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* -1 (/ a y)) (/ 0 y)) (* (/ a (* y t)) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.749 * [taylor]: Taking taylor expansion of 0 in t 2.749 * [backup-simplify]: Simplify 0 into 0 2.749 * [taylor]: Taking taylor expansion of 0 in a 2.749 * [backup-simplify]: Simplify 0 into 0 2.749 * [taylor]: Taking taylor expansion of 0 in y 2.749 * [backup-simplify]: Simplify 0 into 0 2.749 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.749 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ a y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.749 * [taylor]: Taking taylor expansion of 0 in a 2.749 * [backup-simplify]: Simplify 0 into 0 2.749 * [taylor]: Taking taylor expansion of 0 in y 2.749 * [backup-simplify]: Simplify 0 into 0 2.750 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ a y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.750 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ a y)))) into 0 2.750 * [taylor]: Taking taylor expansion of 0 in a 2.750 * [backup-simplify]: Simplify 0 into 0 2.750 * [taylor]: Taking taylor expansion of 0 in y 2.750 * [backup-simplify]: Simplify 0 into 0 2.750 * [taylor]: Taking taylor expansion of 0 in y 2.750 * [backup-simplify]: Simplify 0 into 0 2.750 * [taylor]: Taking taylor expansion of 0 in y 2.750 * [backup-simplify]: Simplify 0 into 0 2.750 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.750 * [taylor]: Taking taylor expansion of 0 in y 2.750 * [backup-simplify]: Simplify 0 into 0 2.751 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.751 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 2.751 * [taylor]: Taking taylor expansion of 0 in y 2.751 * [backup-simplify]: Simplify 0 into 0 2.751 * [backup-simplify]: Simplify 0 into 0 2.751 * [backup-simplify]: Simplify 0 into 0 2.751 * [backup-simplify]: Simplify 0 into 0 2.751 * [backup-simplify]: Simplify 0 into 0 2.752 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (- a)) (* 1 (/ 1 (/ 1 (- z))))))) (* 1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (- a)) (* (/ 1 (/ 1 (- t))) 1))))) into (- (/ (* z y) a) (/ (* t y) a)) 2.752 * * * [progress]: simplifying candidates 2.754 * [simplify]: Simplifying: (expm1 (/ (- z t) (/ a y))) (log1p (/ (- z t) (/ a y))) (- (log (- z t)) (- (log a) (log y))) (- (log (- z t)) (log (/ a y))) (log (/ (- z t) (/ a y))) (exp (/ (- z t) (/ a y))) (/ (* (* (- z t) (- z t)) (- z t)) (/ (* (* a a) a) (* (* y y) y))) (/ (* (* (- z t) (- z t)) (- z t)) (* (* (/ a y) (/ a y)) (/ a y))) (* (cbrt (/ (- z t) (/ a y))) (cbrt (/ (- z t) (/ a y)))) (cbrt (/ (- z t) (/ a y))) (* (* (/ (- z t) (/ a y)) (/ (- z t) (/ a y))) (/ (- z t) (/ a y))) (sqrt (/ (- z t) (/ a y))) (sqrt (/ (- z t) (/ a y))) (- (- z t)) (- (/ a y)) (/ z (/ a y)) (/ t (/ a y)) (/ (* (cbrt (- z t)) (cbrt (- z t))) (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ (cbrt (- z t)) (cbrt (/ a y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (sqrt (/ a y))) (/ (cbrt (- z t)) (sqrt (/ a y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y)))) (/ (cbrt (- z t)) (/ (cbrt a) (cbrt y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (/ (* (cbrt a) (cbrt a)) (sqrt y))) (/ (cbrt (- z t)) (/ (cbrt a) (sqrt y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (/ (* (cbrt a) (cbrt a)) 1)) (/ (cbrt (- z t)) (/ (cbrt a) y)) (/ (* (cbrt (- z t)) (cbrt (- z t))) (/ (sqrt a) (* (cbrt y) (cbrt y)))) (/ (cbrt (- z t)) (/ (sqrt a) (cbrt y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (/ (sqrt a) (sqrt y))) (/ (cbrt (- z t)) (/ (sqrt a) (sqrt y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (/ (sqrt a) 1)) (/ (cbrt (- z t)) (/ (sqrt a) y)) (/ (* (cbrt (- z t)) (cbrt (- z t))) (/ 1 (* (cbrt y) (cbrt y)))) (/ (cbrt (- z t)) (/ a (cbrt y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (/ 1 (sqrt y))) (/ (cbrt (- z t)) (/ a (sqrt y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (/ 1 1)) (/ (cbrt (- z t)) (/ a y)) (/ (* (cbrt (- z t)) (cbrt (- z t))) 1) (/ (cbrt (- z t)) (/ a y)) (/ (* (cbrt (- z t)) (cbrt (- z t))) a) (/ (cbrt (- z t)) (/ 1 y)) (/ (sqrt (- z t)) (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ (sqrt (- z t)) (cbrt (/ a y))) (/ (sqrt (- z t)) (sqrt (/ a y))) (/ (sqrt (- z t)) (sqrt (/ a y))) (/ (sqrt (- z t)) (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y)))) (/ (sqrt (- z t)) (/ (cbrt a) (cbrt y))) (/ (sqrt (- z t)) (/ (* (cbrt a) (cbrt a)) (sqrt y))) (/ (sqrt (- z t)) (/ (cbrt a) (sqrt y))) (/ (sqrt (- z t)) (/ (* (cbrt a) (cbrt a)) 1)) (/ (sqrt (- z t)) (/ (cbrt a) y)) (/ (sqrt (- z t)) (/ (sqrt a) (* (cbrt y) (cbrt y)))) (/ (sqrt (- z t)) (/ (sqrt a) (cbrt y))) (/ (sqrt (- z t)) (/ (sqrt a) (sqrt y))) (/ (sqrt (- z t)) (/ (sqrt a) (sqrt y))) (/ (sqrt (- z t)) (/ (sqrt a) 1)) (/ (sqrt (- z t)) (/ (sqrt a) y)) (/ (sqrt (- z t)) (/ 1 (* (cbrt y) (cbrt y)))) (/ (sqrt (- z t)) (/ a (cbrt y))) (/ (sqrt (- z t)) (/ 1 (sqrt y))) (/ (sqrt (- z t)) (/ a (sqrt y))) (/ (sqrt (- z t)) (/ 1 1)) (/ (sqrt (- z t)) (/ a y)) (/ (sqrt (- z t)) 1) (/ (sqrt (- z t)) (/ a y)) (/ (sqrt (- z t)) a) (/ (sqrt (- z t)) (/ 1 y)) (/ 1 (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ (- z t) (cbrt (/ a y))) (/ 1 (sqrt (/ a y))) (/ (- z t) (sqrt (/ a y))) (/ 1 (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y)))) (/ (- z t) (/ (cbrt a) (cbrt y))) (/ 1 (/ (* (cbrt a) (cbrt a)) (sqrt y))) (/ (- z t) (/ (cbrt a) (sqrt y))) (/ 1 (/ (* (cbrt a) (cbrt a)) 1)) (/ (- z t) (/ (cbrt a) y)) (/ 1 (/ (sqrt a) (* (cbrt y) (cbrt y)))) (/ (- z t) (/ (sqrt a) (cbrt y))) (/ 1 (/ (sqrt a) (sqrt y))) (/ (- z t) (/ (sqrt a) (sqrt y))) (/ 1 (/ (sqrt a) 1)) (/ (- z t) (/ (sqrt a) y)) (/ 1 (/ 1 (* (cbrt y) (cbrt y)))) (/ (- z t) (/ a (cbrt y))) (/ 1 (/ 1 (sqrt y))) (/ (- z t) (/ a (sqrt y))) (/ 1 (/ 1 1)) (/ (- z t) (/ a y)) (/ 1 1) (/ (- z t) (/ a y)) (/ 1 a) (/ (- z t) (/ 1 y)) (/ (+ (sqrt z) (sqrt t)) (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ (- (sqrt z) (sqrt t)) (cbrt (/ a y))) (/ (+ (sqrt z) (sqrt t)) (sqrt (/ a y))) (/ (- (sqrt z) (sqrt t)) (sqrt (/ a y))) (/ (+ (sqrt z) (sqrt t)) (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y)))) (/ (- (sqrt z) (sqrt t)) (/ (cbrt a) (cbrt y))) (/ (+ (sqrt z) (sqrt t)) (/ (* (cbrt a) (cbrt a)) (sqrt y))) (/ (- (sqrt z) (sqrt t)) (/ (cbrt a) (sqrt y))) (/ (+ (sqrt z) (sqrt t)) (/ (* (cbrt a) (cbrt a)) 1)) (/ (- (sqrt z) (sqrt t)) (/ (cbrt a) y)) (/ (+ (sqrt z) (sqrt t)) (/ (sqrt a) (* (cbrt y) (cbrt y)))) (/ (- (sqrt z) (sqrt t)) (/ (sqrt a) (cbrt y))) (/ (+ (sqrt z) (sqrt t)) (/ (sqrt a) (sqrt y))) (/ (- (sqrt z) (sqrt t)) (/ (sqrt a) (sqrt y))) (/ (+ (sqrt z) (sqrt t)) (/ (sqrt a) 1)) (/ (- (sqrt z) (sqrt t)) (/ (sqrt a) y)) (/ (+ (sqrt z) (sqrt t)) (/ 1 (* (cbrt y) (cbrt y)))) (/ (- (sqrt z) (sqrt t)) (/ a (cbrt y))) (/ (+ (sqrt z) (sqrt t)) (/ 1 (sqrt y))) (/ (- (sqrt z) (sqrt t)) (/ a (sqrt y))) (/ (+ (sqrt z) (sqrt t)) (/ 1 1)) (/ (- (sqrt z) (sqrt t)) (/ a y)) (/ (+ (sqrt z) (sqrt t)) 1) (/ (- (sqrt z) (sqrt t)) (/ a y)) (/ (+ (sqrt z) (sqrt t)) a) (/ (- (sqrt z) (sqrt t)) (/ 1 y)) (/ 1 (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ (- z t) (cbrt (/ a y))) (/ 1 (sqrt (/ a y))) (/ (- z t) (sqrt (/ a y))) (/ 1 (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y)))) (/ (- z t) (/ (cbrt a) (cbrt y))) (/ 1 (/ (* (cbrt a) (cbrt a)) (sqrt y))) (/ (- z t) (/ (cbrt a) (sqrt y))) (/ 1 (/ (* (cbrt a) (cbrt a)) 1)) (/ (- z t) (/ (cbrt a) y)) (/ 1 (/ (sqrt a) (* (cbrt y) (cbrt y)))) (/ (- z t) (/ (sqrt a) (cbrt y))) (/ 1 (/ (sqrt a) (sqrt y))) (/ (- z t) (/ (sqrt a) (sqrt y))) (/ 1 (/ (sqrt a) 1)) (/ (- z t) (/ (sqrt a) y)) (/ 1 (/ 1 (* (cbrt y) (cbrt y)))) (/ (- z t) (/ a (cbrt y))) (/ 1 (/ 1 (sqrt y))) (/ (- z t) (/ a (sqrt y))) (/ 1 (/ 1 1)) (/ (- z t) (/ a y)) (/ 1 1) (/ (- z t) (/ a y)) (/ 1 a) (/ (- z t) (/ 1 y)) (/ 1 (/ a y)) (/ (/ a y) (- z t)) (/ (- z t) (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ (- z t) (sqrt (/ a y))) (/ (- z t) (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y)))) (/ (- z t) (/ (* (cbrt a) (cbrt a)) (sqrt y))) (/ (- z t) (/ (* (cbrt a) (cbrt a)) 1)) (/ (- z t) (/ (sqrt a) (* (cbrt y) (cbrt y)))) (/ (- z t) (/ (sqrt a) (sqrt y))) (/ (- z t) (/ (sqrt a) 1)) (/ (- z t) (/ 1 (* (cbrt y) (cbrt y)))) (/ (- z t) (/ 1 (sqrt y))) (/ (- z t) (/ 1 1)) (/ (- z t) 1) (/ (- z t) a) (/ (/ a y) (cbrt (- z t))) (/ (/ a y) (sqrt (- z t))) (/ (/ a y) (- z t)) (/ (/ a y) (- (sqrt z) (sqrt t))) (/ (/ a y) (- z t)) (/ (- z t) a) (* (/ a y) (+ (* z z) (+ (* t t) (* z t)))) (* (/ a y) (+ z t)) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) (- (/ (* z y) a) (/ (* t y) a)) 2.761 * * [simplify]: Extracting # 0 : cost 0 2.762 * * [simplify]: Extracting # 1 : cost 0 2.762 * * [simplify]: Extracting # 2 : cost 0 2.763 * * [simplify]: Extracting # 3 : cost 0 2.763 * * [simplify]: Extracting # 4 : cost 0 2.764 * * [simplify]: Extracting # 5 : cost 0 2.764 * * [simplify]: Extracting # 6 : cost 0 2.765 * * [simplify]: iteration 0 : 197 enodes (cost 1676 ) 2.854 * * [simplify]: Extracting # 0 : cost 0 2.854 * * [simplify]: Extracting # 1 : cost 0 2.855 * * [simplify]: Extracting # 2 : cost 0 2.856 * * [simplify]: iteration 1 : 526 enodes (cost 1560 ) 3.029 * * [simplify]: Extracting # 0 : cost 0 3.031 * * [simplify]: Extracting # 1 : cost 0 3.039 * * [simplify]: Extracting # 2 : cost 0 3.041 * * [simplify]: Extracting # 3 : cost 0 3.043 * * [simplify]: Extracting # 4 : cost 0 3.045 * * [simplify]: iteration 2 : 1672 enodes (cost 1498 ) 4.227 * * [simplify]: Extracting # 0 : cost 0 4.237 * * [simplify]: Extracting # 1 : cost 0 4.248 * * [simplify]: Extracting # 2 : cost 0 4.258 * * [simplify]: Extracting # 3 : cost 0 4.276 * * [simplify]: Extracting # 4 : cost 0 4.286 * * [simplify]: Extracting # 5 : cost 0 4.297 * * [simplify]: iteration done: 5000 enodes (cost 1496 ) 4.298 * [simplify]: Simplified to: (expm1 (/ (- z t) (/ a y))) (log1p (/ (- z t) (/ a y))) (log (/ (- z t) (/ a y))) (log (/ (- z t) (/ a y))) (log (/ (- z t) (/ a y))) (exp (/ (- z t) (/ a y))) (pow (/ (- z t) (/ a y)) 3) (pow (/ (- z t) (/ a y)) 3) (* (cbrt (/ (- z t) (/ a y))) (cbrt (/ (- z t) (/ a y)))) (cbrt (/ (- z t) (/ a y))) (pow (/ (- z t) (/ a y)) 3) (sqrt (/ (- z t) (/ a y))) (sqrt (/ (- z t) (/ a y))) (- (- z t)) (- (/ a y)) (/ z (/ a y)) (/ t (/ a y)) (/ (* (cbrt (- z t)) (cbrt (- z t))) (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ (cbrt (- z t)) (cbrt (/ a y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (sqrt (/ a y))) (/ (cbrt (- z t)) (sqrt (/ a y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y)))) (/ (cbrt (- z t)) (/ (cbrt a) (cbrt y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (/ (* (cbrt a) (cbrt a)) (sqrt y))) (* (cbrt (- z t)) (/ (sqrt y) (cbrt a))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (* (cbrt a) (cbrt a))) (/ (cbrt (- z t)) (/ (cbrt a) y)) (/ (* (cbrt (- z t)) (cbrt (- z t))) (/ (sqrt a) (* (cbrt y) (cbrt y)))) (/ (cbrt (- z t)) (/ (sqrt a) (cbrt y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (/ (sqrt a) (sqrt y))) (/ (cbrt (- z t)) (/ (sqrt a) (sqrt y))) (/ (* (cbrt (- z t)) (cbrt (- z t))) (sqrt a)) (/ (cbrt (- z t)) (/ (sqrt a) y)) (* (* (cbrt (- z t)) (cbrt (- z t))) (* (cbrt y) (cbrt y))) (/ (cbrt (- z t)) (/ a (cbrt y))) (* (* (cbrt (- z t)) (cbrt (- z t))) (sqrt y)) (/ (cbrt (- z t)) (/ a (sqrt y))) (* (cbrt (- z t)) (cbrt (- z t))) (/ (cbrt (- z t)) (/ a y)) (* (cbrt (- z t)) (cbrt (- z t))) (/ (cbrt (- z t)) (/ a y)) (/ (* (cbrt (- z t)) (cbrt (- z t))) a) (* (cbrt (- z t)) y) (/ (sqrt (- z t)) (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ (sqrt (- z t)) (cbrt (/ a y))) (/ (sqrt (- z t)) (sqrt (/ a y))) (/ (sqrt (- z t)) (sqrt (/ a y))) (/ (sqrt (- z t)) (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y)))) (/ (sqrt (- z t)) (/ (cbrt a) (cbrt y))) (/ (sqrt (- z t)) (/ (* (cbrt a) (cbrt a)) (sqrt y))) (/ (sqrt (- z t)) (/ (cbrt a) (sqrt y))) (/ (sqrt (- z t)) (* (cbrt a) (cbrt a))) (/ (sqrt (- z t)) (/ (cbrt a) y)) (/ (sqrt (- z t)) (/ (sqrt a) (* (cbrt y) (cbrt y)))) (/ (sqrt (- z t)) (/ (sqrt a) (cbrt y))) (/ (sqrt (- z t)) (/ (sqrt a) (sqrt y))) (/ (sqrt (- z t)) (/ (sqrt a) (sqrt y))) (/ (sqrt (- z t)) (sqrt a)) (/ (sqrt (- z t)) (/ (sqrt a) y)) (* (sqrt (- z t)) (* (cbrt y) (cbrt y))) (/ (sqrt (- z t)) (/ a (cbrt y))) (* (sqrt (- z t)) (sqrt y)) (/ (sqrt (- z t)) (/ a (sqrt y))) (sqrt (- z t)) (/ (sqrt (- z t)) (/ a y)) (sqrt (- z t)) (/ (sqrt (- z t)) (/ a y)) (/ (sqrt (- z t)) a) (* (sqrt (- z t)) y) (/ 1 (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ (- z t) (cbrt (/ a y))) (/ 1 (sqrt (/ a y))) (/ (- z t) (sqrt (/ a y))) (/ (* (cbrt y) (cbrt y)) (* (cbrt a) (cbrt a))) (/ (- z t) (/ (cbrt a) (cbrt y))) (/ (sqrt y) (* (cbrt a) (cbrt a))) (/ (- z t) (/ (cbrt a) (sqrt y))) (/ 1 (* (cbrt a) (cbrt a))) (/ (- z t) (/ (cbrt a) y)) (/ (* (cbrt y) (cbrt y)) (sqrt a)) (/ (- z t) (/ (sqrt a) (cbrt y))) (/ (sqrt y) (sqrt a)) (/ (- z t) (/ (sqrt a) (sqrt y))) (/ 1 (sqrt a)) (/ (- z t) (/ (sqrt a) y)) (* (cbrt y) (cbrt y)) (/ (- z t) (/ a (cbrt y))) (sqrt y) (/ (- z t) (/ a (sqrt y))) 1 (* y (/ (- z t) a)) 1 (* y (/ (- z t) a)) (/ 1 a) (* (- z t) y) (/ (+ (sqrt z) (sqrt t)) (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ (- (sqrt z) (sqrt t)) (cbrt (/ a y))) (/ (+ (sqrt z) (sqrt t)) (sqrt (/ a y))) (/ (- (sqrt z) (sqrt t)) (sqrt (/ a y))) (/ (+ (sqrt z) (sqrt t)) (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y)))) (/ (- (sqrt z) (sqrt t)) (/ (cbrt a) (cbrt y))) (/ (+ (sqrt z) (sqrt t)) (/ (* (cbrt a) (cbrt a)) (sqrt y))) (/ (- (sqrt z) (sqrt t)) (/ (cbrt a) (sqrt y))) (/ (+ (sqrt t) (sqrt z)) (* (cbrt a) (cbrt a))) (/ (- (sqrt z) (sqrt t)) (/ (cbrt a) y)) (/ (+ (sqrt z) (sqrt t)) (/ (sqrt a) (* (cbrt y) (cbrt y)))) (/ (- (sqrt z) (sqrt t)) (/ (sqrt a) (cbrt y))) (/ (+ (sqrt z) (sqrt t)) (/ (sqrt a) (sqrt y))) (/ (- (sqrt z) (sqrt t)) (/ (sqrt a) (sqrt y))) (/ (+ (sqrt t) (sqrt z)) (sqrt a)) (/ (- (sqrt z) (sqrt t)) (/ (sqrt a) y)) (* (+ (sqrt t) (sqrt z)) (* (cbrt y) (cbrt y))) (/ (- (sqrt z) (sqrt t)) (/ a (cbrt y))) (* (+ (sqrt t) (sqrt z)) (sqrt y)) (/ (- (sqrt z) (sqrt t)) (/ a (sqrt y))) (+ (sqrt t) (sqrt z)) (/ (- (sqrt z) (sqrt t)) (/ a y)) (+ (sqrt t) (sqrt z)) (/ (- (sqrt z) (sqrt t)) (/ a y)) (/ (+ (sqrt z) (sqrt t)) a) (* (- (sqrt z) (sqrt t)) y) (/ 1 (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ (- z t) (cbrt (/ a y))) (/ 1 (sqrt (/ a y))) (/ (- z t) (sqrt (/ a y))) (/ (* (cbrt y) (cbrt y)) (* (cbrt a) (cbrt a))) (/ (- z t) (/ (cbrt a) (cbrt y))) (/ (sqrt y) (* (cbrt a) (cbrt a))) (/ (- z t) (/ (cbrt a) (sqrt y))) (/ 1 (* (cbrt a) (cbrt a))) (/ (- z t) (/ (cbrt a) y)) (/ (* (cbrt y) (cbrt y)) (sqrt a)) (/ (- z t) (/ (sqrt a) (cbrt y))) (/ (sqrt y) (sqrt a)) (/ (- z t) (/ (sqrt a) (sqrt y))) (/ 1 (sqrt a)) (/ (- z t) (/ (sqrt a) y)) (* (cbrt y) (cbrt y)) (/ (- z t) (/ a (cbrt y))) (sqrt y) (/ (- z t) (/ a (sqrt y))) 1 (* y (/ (- z t) a)) 1 (* y (/ (- z t) a)) (/ 1 a) (* (- z t) y) (/ y a) (/ (/ a y) (- z t)) (/ (- z t) (* (cbrt (/ a y)) (cbrt (/ a y)))) (/ (- z t) (sqrt (/ a y))) (/ (- z t) (/ (* (cbrt a) (cbrt a)) (* (cbrt y) (cbrt y)))) (/ (- z t) (/ (* (cbrt a) (cbrt a)) (sqrt y))) (/ (- z t) (* (cbrt a) (cbrt a))) (/ (- z t) (/ (sqrt a) (* (cbrt y) (cbrt y)))) (/ (- z t) (/ (sqrt a) (sqrt y))) (/ (- z t) (sqrt a)) (* (- z t) (* (cbrt y) (cbrt y))) (* (- z t) (sqrt y)) (- z t) (- z t) (/ (- z t) a) (/ (/ a y) (cbrt (- z t))) (/ (/ a y) (sqrt (- z t))) (/ (/ a y) (- z t)) (/ (/ a y) (- (sqrt z) (sqrt t))) (/ (/ a y) (- z t)) (/ (- z t) a) (* (/ a y) (fma z z (* t (+ z t)))) (* (/ a y) (+ z t)) (* y (/ (- z t) a)) (* y (/ (- z t) a)) (* y (/ (- z t) a)) 4.300 * * * [progress]: adding candidates to table 4.702 * * [progress]: iteration 3 / 4 4.702 * * * [progress]: picking best candidate 4.709 * * * * [pick]: Picked # 4.709 * * * [progress]: localizing error 4.725 * * * [progress]: generating rewritten candidates 4.725 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 4.895 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 4.946 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1) 4.948 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2) 4.979 * * * [progress]: generating series expansions 4.979 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)