1538732222.372 * [misc]progress: [Phase 1 of 3] Setting up. 1538732222.372 * * * [misc]progress: [1/2] Preparing points 1538732222.372 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538732222.407 * * * * [misc]points: Filtering points with unrepresentable outputs 1538732222.407 * * * * [misc]points: Sampling 48 additional inputs, on iter 1 have 208 / 256 1538732222.415 * * * * [misc]points: Filtering points with unrepresentable outputs 1538732222.415 * * * * [misc]points: Sampling 12 additional inputs, on iter 2 have 244 / 256 1538732222.418 * * * * [misc]points: Filtering points with unrepresentable outputs 1538732222.418 * * * * [misc]points: Sampling 5 additional inputs, on iter 3 have 251 / 256 1538732222.420 * * * * [misc]points: Filtering points with unrepresentable outputs 1538732222.420 * * * * [misc]points: Sampling 4 additional inputs, on iter 4 have 255 / 256 1538732222.421 * * * * [misc]points: Filtering points with unrepresentable outputs 1538732222.421 * * * * [exit]points: Sampled 258 points with exact outputs 1538732222.422 * * * [misc]progress: [2/2] Setting up program. 1538732222.425 * [misc]progress: [Phase 2 of 3] Improving. 1538732222.425 * [enter]simplify: Simplifying (/ (* a1 a2) (* b1 b2)) 1538732222.442 * * [misc]simplify: iters left: 4 (7 enodes) 1538732222.444 * * [misc]simplify: iters left: 3 (16 enodes) 1538732222.449 * * [misc]simplify: iters left: 2 (35 enodes) 1538732222.458 * * [misc]simplify: iters left: 1 (58 enodes) 1538732222.479 * [exit]simplify: Simplified to (* (/ a1 b2) (/ a2 b1)) 1538732222.493 * * [misc]progress: iteration 1 / 4 1538732222.493 * * * [misc]progress: picking best candidate 1538732222.506 * * * * [misc]pick: Picked # 1538732222.506 * * * [misc]progress: localizing error 1538732222.530 * * * [misc]progress: generating rewritten candidates 1538732222.530 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1538732222.585 * * * [misc]progress: generating series expansions 1538732222.585 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1538732222.585 * [misc]backup-simplify: Simplify (* (/ a1 b2) (/ a2 b1)) into (/ (* a1 a2) (* b2 b1)) 1538732222.585 * [misc]approximate: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in (a1 b2 a2 b1) around 0 1538732222.585 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in b1 1538732222.585 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1538732222.585 * [misc]taylor: Taking taylor expansion of a1 in b1 1538732222.585 * [misc]backup-simplify: Simplify a1 into a1 1538732222.585 * [misc]taylor: Taking taylor expansion of a2 in b1 1538732222.585 * [misc]backup-simplify: Simplify a2 into a2 1538732222.585 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1538732222.585 * [misc]taylor: Taking taylor expansion of b2 in b1 1538732222.585 * [misc]backup-simplify: Simplify b2 into b2 1538732222.585 * [misc]taylor: Taking taylor expansion of b1 in b1 1538732222.585 * [misc]backup-simplify: Simplify 0 into 0 1538732222.585 * [misc]backup-simplify: Simplify 1 into 1 1538732222.585 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732222.586 * [misc]backup-simplify: Simplify (* b2 0) into 0 1538732222.586 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1538732222.586 * [misc]backup-simplify: Simplify (/ (* a1 a2) b2) into (/ (* a1 a2) b2) 1538732222.586 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a2 1538732222.586 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1538732222.586 * [misc]taylor: Taking taylor expansion of a1 in a2 1538732222.586 * [misc]backup-simplify: Simplify a1 into a1 1538732222.586 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732222.586 * [misc]backup-simplify: Simplify 0 into 0 1538732222.586 * [misc]backup-simplify: Simplify 1 into 1 1538732222.586 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1538732222.586 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732222.586 * [misc]backup-simplify: Simplify b2 into b2 1538732222.586 * [misc]taylor: Taking taylor expansion of b1 in a2 1538732222.586 * [misc]backup-simplify: Simplify b1 into b1 1538732222.586 * [misc]backup-simplify: Simplify (* a1 0) into 0 1538732222.587 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1538732222.587 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732222.587 * [misc]backup-simplify: Simplify (/ a1 (* b2 b1)) into (/ a1 (* b2 b1)) 1538732222.587 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in b2 1538732222.587 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1538732222.587 * [misc]taylor: Taking taylor expansion of a1 in b2 1538732222.587 * [misc]backup-simplify: Simplify a1 into a1 1538732222.587 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732222.587 * [misc]backup-simplify: Simplify a2 into a2 1538732222.587 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1538732222.587 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732222.587 * [misc]backup-simplify: Simplify 0 into 0 1538732222.587 * [misc]backup-simplify: Simplify 1 into 1 1538732222.587 * [misc]taylor: Taking taylor expansion of b1 in b2 1538732222.587 * [misc]backup-simplify: Simplify b1 into b1 1538732222.587 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732222.587 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1538732222.588 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1538732222.588 * [misc]backup-simplify: Simplify (/ (* a1 a2) b1) into (/ (* a1 a2) b1) 1538732222.588 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a1 1538732222.588 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732222.588 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732222.588 * [misc]backup-simplify: Simplify 0 into 0 1538732222.588 * [misc]backup-simplify: Simplify 1 into 1 1538732222.588 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732222.588 * [misc]backup-simplify: Simplify a2 into a2 1538732222.588 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1538732222.588 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732222.588 * [misc]backup-simplify: Simplify b2 into b2 1538732222.588 * [misc]taylor: Taking taylor expansion of b1 in a1 1538732222.588 * [misc]backup-simplify: Simplify b1 into b1 1538732222.588 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732222.588 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732222.588 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732222.588 * [misc]backup-simplify: Simplify (/ a2 (* b2 b1)) into (/ a2 (* b2 b1)) 1538732222.589 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a1 1538732222.589 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732222.589 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732222.589 * [misc]backup-simplify: Simplify 0 into 0 1538732222.589 * [misc]backup-simplify: Simplify 1 into 1 1538732222.589 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732222.589 * [misc]backup-simplify: Simplify a2 into a2 1538732222.589 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1538732222.589 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732222.589 * [misc]backup-simplify: Simplify b2 into b2 1538732222.589 * [misc]taylor: Taking taylor expansion of b1 in a1 1538732222.589 * [misc]backup-simplify: Simplify b1 into b1 1538732222.589 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732222.589 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732222.589 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732222.589 * [misc]backup-simplify: Simplify (/ a2 (* b2 b1)) into (/ a2 (* b2 b1)) 1538732222.589 * [misc]taylor: Taking taylor expansion of (/ a2 (* b2 b1)) in b2 1538732222.589 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732222.590 * [misc]backup-simplify: Simplify a2 into a2 1538732222.590 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1538732222.590 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732222.590 * [misc]backup-simplify: Simplify 0 into 0 1538732222.590 * [misc]backup-simplify: Simplify 1 into 1 1538732222.590 * [misc]taylor: Taking taylor expansion of b1 in b2 1538732222.590 * [misc]backup-simplify: Simplify b1 into b1 1538732222.590 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1538732222.590 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1538732222.590 * [misc]backup-simplify: Simplify (/ a2 b1) into (/ a2 b1) 1538732222.590 * [misc]taylor: Taking taylor expansion of (/ a2 b1) in a2 1538732222.590 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732222.590 * [misc]backup-simplify: Simplify 0 into 0 1538732222.590 * [misc]backup-simplify: Simplify 1 into 1 1538732222.590 * [misc]taylor: Taking taylor expansion of b1 in a2 1538732222.590 * [misc]backup-simplify: Simplify b1 into b1 1538732222.590 * [misc]backup-simplify: Simplify (/ 1 b1) into (/ 1 b1) 1538732222.590 * [misc]taylor: Taking taylor expansion of (/ 1 b1) in b1 1538732222.590 * [misc]taylor: Taking taylor expansion of b1 in b1 1538732222.590 * [misc]backup-simplify: Simplify 0 into 0 1538732222.590 * [misc]backup-simplify: Simplify 1 into 1 1538732222.591 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538732222.591 * [misc]backup-simplify: Simplify 1 into 1 1538732222.591 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1538732222.591 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1538732222.591 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))))) into 0 1538732222.591 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732222.592 * [misc]backup-simplify: Simplify 0 into 0 1538732222.592 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b1))) into 0 1538732222.592 * [misc]backup-simplify: Simplify (- (/ 0 b1) (+ (* (/ a2 b1) (/ 0 b1)))) into 0 1538732222.592 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732222.592 * [misc]backup-simplify: Simplify 0 into 0 1538732222.592 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732222.592 * [misc]backup-simplify: Simplify 0 into 0 1538732222.592 * [misc]backup-simplify: Simplify (- (/ 0 b1) (+ (* (/ 1 b1) (/ 0 b1)))) into 0 1538732222.592 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732222.592 * [misc]backup-simplify: Simplify 0 into 0 1538732222.593 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538732222.593 * [misc]backup-simplify: Simplify 0 into 0 1538732222.593 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1538732222.594 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1538732222.594 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1538732222.594 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732222.594 * [misc]backup-simplify: Simplify 0 into 0 1538732222.594 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732222.594 * [misc]backup-simplify: Simplify 0 into 0 1538732222.594 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732222.594 * [misc]backup-simplify: Simplify 0 into 0 1538732222.595 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 b1)))) into 0 1538732222.595 * [misc]backup-simplify: Simplify (- (/ 0 b1) (+ (* (/ a2 b1) (/ 0 b1)) (* 0 (/ 0 b1)))) into 0 1538732222.595 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732222.595 * [misc]backup-simplify: Simplify 0 into 0 1538732222.595 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732222.595 * [misc]backup-simplify: Simplify 0 into 0 1538732222.595 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732222.595 * [misc]backup-simplify: Simplify 0 into 0 1538732222.595 * [misc]backup-simplify: Simplify (- (/ 0 b1) (+ (* (/ 1 b1) (/ 0 b1)) (* 0 (/ 0 b1)))) into 0 1538732222.595 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732222.595 * [misc]backup-simplify: Simplify 0 into 0 1538732222.595 * [misc]backup-simplify: Simplify 0 into 0 1538732222.595 * [misc]backup-simplify: Simplify 0 into 0 1538732222.596 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732222.596 * [misc]backup-simplify: Simplify 0 into 0 1538732222.596 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 a2))))) into 0 1538732222.597 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1)))) into 0 1538732222.597 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1538732222.597 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732222.597 * [misc]backup-simplify: Simplify 0 into 0 1538732222.597 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732222.597 * [misc]backup-simplify: Simplify 0 into 0 1538732222.597 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732222.598 * [misc]backup-simplify: Simplify 0 into 0 1538732222.598 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732222.598 * [misc]backup-simplify: Simplify 0 into 0 1538732222.598 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732222.598 * [misc]backup-simplify: Simplify 0 into 0 1538732222.598 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1))))) into 0 1538732222.598 * [misc]backup-simplify: Simplify (- (/ 0 b1) (+ (* (/ a2 b1) (/ 0 b1)) (* 0 (/ 0 b1)) (* 0 (/ 0 b1)))) into 0 1538732222.598 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732222.598 * [misc]backup-simplify: Simplify 0 into 0 1538732222.598 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732222.599 * [misc]backup-simplify: Simplify 0 into 0 1538732222.599 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732222.599 * [misc]backup-simplify: Simplify 0 into 0 1538732222.599 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732222.599 * [misc]backup-simplify: Simplify 0 into 0 1538732222.599 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732222.599 * [misc]backup-simplify: Simplify 0 into 0 1538732222.599 * [misc]backup-simplify: Simplify (- (/ 0 b1) (+ (* (/ 1 b1) (/ 0 b1)) (* 0 (/ 0 b1)) (* 0 (/ 0 b1)))) into 0 1538732222.599 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732222.599 * [misc]backup-simplify: Simplify 0 into 0 1538732222.599 * [misc]backup-simplify: Simplify 0 into 0 1538732222.599 * [misc]backup-simplify: Simplify 0 into 0 1538732222.599 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b1) (* a2 (* (/ 1 b2) a1)))) into (/ (* a1 a2) (* b2 b1)) 1538732222.600 * [misc]backup-simplify: Simplify (* (/ (/ 1 a1) (/ 1 b2)) (/ (/ 1 a2) (/ 1 b1))) into (/ (* b2 b1) (* a1 a2)) 1538732222.600 * [misc]approximate: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in (a1 b2 a2 b1) around 0 1538732222.600 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b1 1538732222.600 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1538732222.600 * [misc]taylor: Taking taylor expansion of b2 in b1 1538732222.600 * [misc]backup-simplify: Simplify b2 into b2 1538732222.600 * [misc]taylor: Taking taylor expansion of b1 in b1 1538732222.600 * [misc]backup-simplify: Simplify 0 into 0 1538732222.600 * [misc]backup-simplify: Simplify 1 into 1 1538732222.600 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1538732222.600 * [misc]taylor: Taking taylor expansion of a1 in b1 1538732222.600 * [misc]backup-simplify: Simplify a1 into a1 1538732222.600 * [misc]taylor: Taking taylor expansion of a2 in b1 1538732222.600 * [misc]backup-simplify: Simplify a2 into a2 1538732222.600 * [misc]backup-simplify: Simplify (* b2 0) into 0 1538732222.600 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1538732222.600 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732222.600 * [misc]backup-simplify: Simplify (/ b2 (* a1 a2)) into (/ b2 (* a1 a2)) 1538732222.600 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a2 1538732222.600 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1538732222.600 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732222.601 * [misc]backup-simplify: Simplify b2 into b2 1538732222.601 * [misc]taylor: Taking taylor expansion of b1 in a2 1538732222.601 * [misc]backup-simplify: Simplify b1 into b1 1538732222.601 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1538732222.601 * [misc]taylor: Taking taylor expansion of a1 in a2 1538732222.601 * [misc]backup-simplify: Simplify a1 into a1 1538732222.601 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732222.601 * [misc]backup-simplify: Simplify 0 into 0 1538732222.601 * [misc]backup-simplify: Simplify 1 into 1 1538732222.601 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732222.601 * [misc]backup-simplify: Simplify (* a1 0) into 0 1538732222.601 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1538732222.601 * [misc]backup-simplify: Simplify (/ (* b2 b1) a1) into (/ (* b2 b1) a1) 1538732222.601 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b2 1538732222.601 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1538732222.601 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732222.601 * [misc]backup-simplify: Simplify 0 into 0 1538732222.601 * [misc]backup-simplify: Simplify 1 into 1 1538732222.601 * [misc]taylor: Taking taylor expansion of b1 in b2 1538732222.601 * [misc]backup-simplify: Simplify b1 into b1 1538732222.601 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1538732222.601 * [misc]taylor: Taking taylor expansion of a1 in b2 1538732222.601 * [misc]backup-simplify: Simplify a1 into a1 1538732222.601 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732222.601 * [misc]backup-simplify: Simplify a2 into a2 1538732222.602 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1538732222.602 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1538732222.602 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732222.602 * [misc]backup-simplify: Simplify (/ b1 (* a1 a2)) into (/ b1 (* a1 a2)) 1538732222.602 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1538732222.602 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1538732222.602 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732222.602 * [misc]backup-simplify: Simplify b2 into b2 1538732222.602 * [misc]taylor: Taking taylor expansion of b1 in a1 1538732222.602 * [misc]backup-simplify: Simplify b1 into b1 1538732222.602 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732222.602 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732222.602 * [misc]backup-simplify: Simplify 0 into 0 1538732222.602 * [misc]backup-simplify: Simplify 1 into 1 1538732222.602 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732222.602 * [misc]backup-simplify: Simplify a2 into a2 1538732222.602 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732222.602 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732222.603 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732222.603 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1538732222.603 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1538732222.603 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1538732222.603 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732222.603 * [misc]backup-simplify: Simplify b2 into b2 1538732222.603 * [misc]taylor: Taking taylor expansion of b1 in a1 1538732222.603 * [misc]backup-simplify: Simplify b1 into b1 1538732222.603 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732222.603 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732222.603 * [misc]backup-simplify: Simplify 0 into 0 1538732222.603 * [misc]backup-simplify: Simplify 1 into 1 1538732222.603 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732222.603 * [misc]backup-simplify: Simplify a2 into a2 1538732222.603 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732222.603 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732222.604 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732222.604 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1538732222.604 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) a2) in b2 1538732222.604 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1538732222.604 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732222.604 * [misc]backup-simplify: Simplify 0 into 0 1538732222.604 * [misc]backup-simplify: Simplify 1 into 1 1538732222.604 * [misc]taylor: Taking taylor expansion of b1 in b2 1538732222.604 * [misc]backup-simplify: Simplify b1 into b1 1538732222.604 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732222.604 * [misc]backup-simplify: Simplify a2 into a2 1538732222.604 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1538732222.604 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1538732222.605 * [misc]backup-simplify: Simplify (/ b1 a2) into (/ b1 a2) 1538732222.605 * [misc]taylor: Taking taylor expansion of (/ b1 a2) in a2 1538732222.605 * [misc]taylor: Taking taylor expansion of b1 in a2 1538732222.605 * [misc]backup-simplify: Simplify b1 into b1 1538732222.605 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732222.605 * [misc]backup-simplify: Simplify 0 into 0 1538732222.605 * [misc]backup-simplify: Simplify 1 into 1 1538732222.605 * [misc]backup-simplify: Simplify (/ b1 1) into b1 1538732222.605 * [misc]taylor: Taking taylor expansion of b1 in b1 1538732222.605 * [misc]backup-simplify: Simplify 0 into 0 1538732222.605 * [misc]backup-simplify: Simplify 1 into 1 1538732222.605 * [misc]backup-simplify: Simplify 1 into 1 1538732222.605 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1538732222.605 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1538732222.606 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)))) into 0 1538732222.606 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732222.606 * [misc]backup-simplify: Simplify 0 into 0 1538732222.606 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732222.606 * [misc]backup-simplify: Simplify 0 into 0 1538732222.606 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b1))) into 0 1538732222.606 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ b1 a2) (/ 0 a2)))) into 0 1538732222.606 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732222.606 * [misc]backup-simplify: Simplify 0 into 0 1538732222.607 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* b1 (/ 0 1)))) into 0 1538732222.607 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732222.607 * [misc]backup-simplify: Simplify 0 into 0 1538732222.607 * [misc]backup-simplify: Simplify 0 into 0 1538732222.607 * [misc]backup-simplify: Simplify 0 into 0 1538732222.607 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1538732222.608 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1538732222.608 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1538732222.608 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732222.608 * [misc]backup-simplify: Simplify 0 into 0 1538732222.608 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732222.608 * [misc]backup-simplify: Simplify 0 into 0 1538732222.608 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732222.608 * [misc]backup-simplify: Simplify 0 into 0 1538732222.608 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 b1)))) into 0 1538732222.609 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ b1 a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1538732222.609 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732222.609 * [misc]backup-simplify: Simplify 0 into 0 1538732222.609 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732222.609 * [misc]backup-simplify: Simplify 0 into 0 1538732222.609 * [misc]backup-simplify: Simplify 0 into 0 1538732222.609 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732222.609 * [misc]backup-simplify: Simplify 0 into 0 1538732222.609 * [misc]backup-simplify: Simplify 0 into 0 1538732222.610 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* b1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732222.610 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732222.610 * [misc]backup-simplify: Simplify 0 into 0 1538732222.610 * [misc]backup-simplify: Simplify 0 into 0 1538732222.610 * [misc]backup-simplify: Simplify 0 into 0 1538732222.610 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b1) (* (/ 1 (/ 1 a2)) (* (/ 1 b2) (/ 1 (/ 1 a1)))))) into (/ (* a1 a2) (* b2 b1)) 1538732222.610 * [misc]backup-simplify: Simplify (* (/ (/ 1 (- a1)) (/ 1 (- b2))) (/ (/ 1 (- a2)) (/ 1 (- b1)))) into (/ (* b2 b1) (* a1 a2)) 1538732222.610 * [misc]approximate: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in (a1 b2 a2 b1) around 0 1538732222.610 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b1 1538732222.610 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1538732222.610 * [misc]taylor: Taking taylor expansion of b2 in b1 1538732222.610 * [misc]backup-simplify: Simplify b2 into b2 1538732222.610 * [misc]taylor: Taking taylor expansion of b1 in b1 1538732222.610 * [misc]backup-simplify: Simplify 0 into 0 1538732222.610 * [misc]backup-simplify: Simplify 1 into 1 1538732222.611 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1538732222.611 * [misc]taylor: Taking taylor expansion of a1 in b1 1538732222.611 * [misc]backup-simplify: Simplify a1 into a1 1538732222.611 * [misc]taylor: Taking taylor expansion of a2 in b1 1538732222.611 * [misc]backup-simplify: Simplify a2 into a2 1538732222.611 * [misc]backup-simplify: Simplify (* b2 0) into 0 1538732222.611 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1538732222.611 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732222.611 * [misc]backup-simplify: Simplify (/ b2 (* a1 a2)) into (/ b2 (* a1 a2)) 1538732222.611 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a2 1538732222.611 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1538732222.611 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732222.611 * [misc]backup-simplify: Simplify b2 into b2 1538732222.611 * [misc]taylor: Taking taylor expansion of b1 in a2 1538732222.611 * [misc]backup-simplify: Simplify b1 into b1 1538732222.611 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1538732222.611 * [misc]taylor: Taking taylor expansion of a1 in a2 1538732222.611 * [misc]backup-simplify: Simplify a1 into a1 1538732222.611 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732222.611 * [misc]backup-simplify: Simplify 0 into 0 1538732222.611 * [misc]backup-simplify: Simplify 1 into 1 1538732222.612 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732222.612 * [misc]backup-simplify: Simplify (* a1 0) into 0 1538732222.612 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1538732222.612 * [misc]backup-simplify: Simplify (/ (* b2 b1) a1) into (/ (* b2 b1) a1) 1538732222.612 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b2 1538732222.612 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1538732222.612 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732222.612 * [misc]backup-simplify: Simplify 0 into 0 1538732222.612 * [misc]backup-simplify: Simplify 1 into 1 1538732222.612 * [misc]taylor: Taking taylor expansion of b1 in b2 1538732222.612 * [misc]backup-simplify: Simplify b1 into b1 1538732222.612 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1538732222.612 * [misc]taylor: Taking taylor expansion of a1 in b2 1538732222.612 * [misc]backup-simplify: Simplify a1 into a1 1538732222.612 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732222.612 * [misc]backup-simplify: Simplify a2 into a2 1538732222.612 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1538732222.612 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1538732222.613 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732222.613 * [misc]backup-simplify: Simplify (/ b1 (* a1 a2)) into (/ b1 (* a1 a2)) 1538732222.613 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1538732222.613 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1538732222.613 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732222.613 * [misc]backup-simplify: Simplify b2 into b2 1538732222.613 * [misc]taylor: Taking taylor expansion of b1 in a1 1538732222.613 * [misc]backup-simplify: Simplify b1 into b1 1538732222.613 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732222.613 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732222.613 * [misc]backup-simplify: Simplify 0 into 0 1538732222.613 * [misc]backup-simplify: Simplify 1 into 1 1538732222.613 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732222.613 * [misc]backup-simplify: Simplify a2 into a2 1538732222.613 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732222.613 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732222.613 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732222.613 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1538732222.613 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1538732222.613 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1538732222.613 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732222.613 * [misc]backup-simplify: Simplify b2 into b2 1538732222.614 * [misc]taylor: Taking taylor expansion of b1 in a1 1538732222.614 * [misc]backup-simplify: Simplify b1 into b1 1538732222.614 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732222.614 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732222.614 * [misc]backup-simplify: Simplify 0 into 0 1538732222.614 * [misc]backup-simplify: Simplify 1 into 1 1538732222.614 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732222.614 * [misc]backup-simplify: Simplify a2 into a2 1538732222.614 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732222.614 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732222.614 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732222.614 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1538732222.614 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) a2) in b2 1538732222.614 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1538732222.614 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732222.614 * [misc]backup-simplify: Simplify 0 into 0 1538732222.614 * [misc]backup-simplify: Simplify 1 into 1 1538732222.614 * [misc]taylor: Taking taylor expansion of b1 in b2 1538732222.614 * [misc]backup-simplify: Simplify b1 into b1 1538732222.614 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732222.614 * [misc]backup-simplify: Simplify a2 into a2 1538732222.615 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1538732222.615 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1538732222.615 * [misc]backup-simplify: Simplify (/ b1 a2) into (/ b1 a2) 1538732222.615 * [misc]taylor: Taking taylor expansion of (/ b1 a2) in a2 1538732222.615 * [misc]taylor: Taking taylor expansion of b1 in a2 1538732222.615 * [misc]backup-simplify: Simplify b1 into b1 1538732222.615 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732222.615 * [misc]backup-simplify: Simplify 0 into 0 1538732222.615 * [misc]backup-simplify: Simplify 1 into 1 1538732222.615 * [misc]backup-simplify: Simplify (/ b1 1) into b1 1538732222.615 * [misc]taylor: Taking taylor expansion of b1 in b1 1538732222.615 * [misc]backup-simplify: Simplify 0 into 0 1538732222.615 * [misc]backup-simplify: Simplify 1 into 1 1538732222.615 * [misc]backup-simplify: Simplify 1 into 1 1538732222.615 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1538732222.616 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1538732222.616 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)))) into 0 1538732222.616 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732222.616 * [misc]backup-simplify: Simplify 0 into 0 1538732222.616 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732222.616 * [misc]backup-simplify: Simplify 0 into 0 1538732222.616 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b1))) into 0 1538732222.617 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ b1 a2) (/ 0 a2)))) into 0 1538732222.617 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732222.617 * [misc]backup-simplify: Simplify 0 into 0 1538732222.617 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* b1 (/ 0 1)))) into 0 1538732222.617 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732222.617 * [misc]backup-simplify: Simplify 0 into 0 1538732222.617 * [misc]backup-simplify: Simplify 0 into 0 1538732222.617 * [misc]backup-simplify: Simplify 0 into 0 1538732222.618 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1538732222.618 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1538732222.618 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1538732222.618 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732222.618 * [misc]backup-simplify: Simplify 0 into 0 1538732222.618 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732222.618 * [misc]backup-simplify: Simplify 0 into 0 1538732222.619 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732222.619 * [misc]backup-simplify: Simplify 0 into 0 1538732222.619 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 b1)))) into 0 1538732222.619 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ b1 a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1538732222.619 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732222.619 * [misc]backup-simplify: Simplify 0 into 0 1538732222.619 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732222.619 * [misc]backup-simplify: Simplify 0 into 0 1538732222.619 * [misc]backup-simplify: Simplify 0 into 0 1538732222.620 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732222.620 * [misc]backup-simplify: Simplify 0 into 0 1538732222.620 * [misc]backup-simplify: Simplify 0 into 0 1538732222.620 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* b1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732222.620 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732222.620 * [misc]backup-simplify: Simplify 0 into 0 1538732222.620 * [misc]backup-simplify: Simplify 0 into 0 1538732222.620 * [misc]backup-simplify: Simplify 0 into 0 1538732222.621 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 (- b1)) (* (/ 1 (/ 1 (- a2))) (* (/ 1 (- b2)) (/ 1 (/ 1 (- a1))))))) into (/ (* a1 a2) (* b2 b1)) 1538732222.621 * * * [misc]progress: simplifying candidates 1538732222.621 * * * * [misc]progress: [ 1 / 27 ] simplifiying candidate # 1538732222.621 * * * * [misc]progress: [ 2 / 27 ] simplifiying candidate # 1538732222.621 * * * * [misc]progress: [ 3 / 27 ] simplifiying candidate # 1538732222.621 * [enter]simplify: Simplifying (* (/ a1 b2) (/ a2 b1)) 1538732222.622 * * [misc]simplify: iters left: 4 (7 enodes) 1538732222.625 * * [misc]simplify: iters left: 3 (12 enodes) 1538732222.630 * * [misc]simplify: iters left: 2 (23 enodes) 1538732222.639 * * [misc]simplify: iters left: 1 (38 enodes) 1538732222.656 * [exit]simplify: Simplified to (* (/ a1 b2) (/ a2 b1)) 1538732222.656 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (pow (* (/ a1 b2) (/ a2 b1)) 1)) 1538732222.656 * * * * [misc]progress: [ 4 / 27 ] simplifiying candidate # 1538732222.656 * * * * [misc]progress: [ 5 / 27 ] simplifiying candidate # 1538732222.656 * [enter]simplify: Simplifying (+ (log (/ a1 b2)) (log (/ a2 b1))) 1538732222.657 * * [misc]simplify: iters left: 5 (9 enodes) 1538732222.661 * * [misc]simplify: iters left: 4 (16 enodes) 1538732222.668 * * [misc]simplify: iters left: 3 (28 enodes) 1538732222.681 * * [misc]simplify: iters left: 2 (58 enodes) 1538732222.715 * * [misc]simplify: iters left: 1 (120 enodes) 1538732222.791 * [exit]simplify: Simplified to (+ (log (/ a1 b2)) (log (/ a2 b1))) 1538732222.791 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (exp (+ (log (/ a1 b2)) (log (/ a2 b1))))) 1538732222.791 * * * * [misc]progress: [ 6 / 27 ] simplifiying candidate # 1538732222.792 * * * * [misc]progress: [ 7 / 27 ] simplifiying candidate # 1538732222.792 * * * * [misc]progress: [ 8 / 27 ] simplifiying candidate # 1538732222.792 * [enter]simplify: Simplifying (* (* (* (/ a1 b2) (/ a1 b2)) (/ a1 b2)) (* (* (/ a2 b1) (/ a2 b1)) (/ a2 b1))) 1538732222.796 * * [misc]simplify: iters left: 6 (11 enodes) 1538732222.804 * * [misc]simplify: iters left: 5 (30 enodes) 1538732222.827 * * [misc]simplify: iters left: 4 (111 enodes) 1538732222.933 * * [misc]simplify: iters left: 3 (392 enodes) 1538732223.524 * [exit]simplify: Simplified to (* (pow (/ a1 b2) 3) (pow (/ a2 b1) 3)) 1538732223.524 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (cbrt (* (pow (/ a1 b2) 3) (pow (/ a2 b1) 3)))) 1538732223.524 * * * * [misc]progress: [ 9 / 27 ] simplifiying candidate # 1538732223.524 * * * * [misc]progress: [ 10 / 27 ] simplifiying candidate # 1538732223.524 * * * * [misc]progress: [ 11 / 27 ] simplifiying candidate # 1538732223.524 * * * * [misc]progress: [ 12 / 27 ] simplifiying candidate # 1538732223.524 * [enter]simplify: Simplifying (* a1 a2) 1538732223.525 * * [misc]simplify: iters left: 2 (3 enodes) 1538732223.526 * * [misc]simplify: iters left: 1 (4 enodes) 1538732223.527 * [exit]simplify: Simplified to (* a1 a2) 1538732223.527 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (/ (* a1 a2) (* b2 b1))) 1538732223.528 * [enter]simplify: Simplifying (* b2 b1) 1538732223.528 * * [misc]simplify: iters left: 2 (3 enodes) 1538732223.529 * * [misc]simplify: iters left: 1 (4 enodes) 1538732223.530 * [exit]simplify: Simplified to (* b2 b1) 1538732223.530 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (/ (* a1 a2) (* b2 b1))) 1538732223.531 * * * * [misc]progress: [ 13 / 27 ] simplifiying candidate # 1538732223.531 * * * * [misc]progress: [ 14 / 27 ] simplifiying candidate # 1538732223.531 * [enter]simplify: Simplifying (cbrt (/ a2 b1)) 1538732223.531 * * [misc]simplify: iters left: 3 (4 enodes) 1538732223.533 * [exit]simplify: Simplified to (cbrt (/ a2 b1)) 1538732223.533 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* (/ a1 b2) (* (cbrt (/ a2 b1)) (cbrt (/ a2 b1)))) (cbrt (/ a2 b1)))) 1538732223.533 * * * * [misc]progress: [ 15 / 27 ] simplifiying candidate # 1538732223.533 * [enter]simplify: Simplifying (sqrt (/ a2 b1)) 1538732223.533 * * [misc]simplify: iters left: 3 (4 enodes) 1538732223.535 * [exit]simplify: Simplified to (sqrt (/ a2 b1)) 1538732223.535 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* (/ a1 b2) (sqrt (/ a2 b1))) (sqrt (/ a2 b1)))) 1538732223.535 * * * * [misc]progress: [ 16 / 27 ] simplifiying candidate # 1538732223.535 * [enter]simplify: Simplifying (/ a2 b1) 1538732223.535 * * [misc]simplify: iters left: 2 (3 enodes) 1538732223.536 * [exit]simplify: Simplified to (/ a2 b1) 1538732223.536 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* (/ a1 b2) 1) (/ a2 b1))) 1538732223.536 * * * * [misc]progress: [ 17 / 27 ] simplifiying candidate # 1538732223.537 * [enter]simplify: Simplifying (/ 1 b1) 1538732223.537 * * [misc]simplify: iters left: 2 (3 enodes) 1538732223.538 * * [misc]simplify: iters left: 1 (5 enodes) 1538732223.539 * [exit]simplify: Simplified to (/ 1 b1) 1538732223.539 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* (/ a1 b2) a2) (/ 1 b1))) 1538732223.539 * * * * [misc]progress: [ 18 / 27 ] simplifiying candidate # 1538732223.540 * [enter]simplify: Simplifying (* (cbrt (/ a1 b2)) (cbrt (/ a1 b2))) 1538732223.540 * * [misc]simplify: iters left: 5 (5 enodes) 1538732223.542 * [exit]simplify: Simplified to (* (cbrt (/ a1 b2)) (cbrt (/ a1 b2))) 1538732223.542 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (* (* (cbrt (/ a1 b2)) (cbrt (/ a1 b2))) (* (cbrt (/ a1 b2)) (/ a2 b1)))) 1538732223.542 * * * * [misc]progress: [ 19 / 27 ] simplifiying candidate # 1538732223.542 * [enter]simplify: Simplifying (sqrt (/ a1 b2)) 1538732223.543 * * [misc]simplify: iters left: 3 (4 enodes) 1538732223.544 * [exit]simplify: Simplified to (sqrt (/ a1 b2)) 1538732223.544 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (* (sqrt (/ a1 b2)) (* (sqrt (/ a1 b2)) (/ a2 b1)))) 1538732223.544 * * * * [misc]progress: [ 20 / 27 ] simplifiying candidate # 1538732223.544 * * * * [misc]progress: [ 21 / 27 ] simplifiying candidate # 1538732223.544 * * * * [misc]progress: [ 22 / 27 ] simplifiying candidate # 1538732223.545 * * * * [misc]progress: [ 23 / 27 ] simplifiying candidate # 1538732223.545 * [enter]simplify: Simplifying (* a1 (/ a2 b1)) 1538732223.545 * * [misc]simplify: iters left: 4 (5 enodes) 1538732223.547 * * [misc]simplify: iters left: 3 (8 enodes) 1538732223.550 * * [misc]simplify: iters left: 2 (12 enodes) 1538732223.554 * * [misc]simplify: iters left: 1 (14 enodes) 1538732223.559 * [exit]simplify: Simplified to (* (/ a2 b1) a1) 1538732223.559 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (/ (* (/ a2 b1) a1) b2)) 1538732223.559 * * * * [misc]progress: [ 24 / 27 ] simplifiying candidate # 1538732223.559 * * * * [misc]progress: [ 25 / 27 ] simplifiying candidate # 1538732223.559 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1538732223.560 * * [misc]simplify: iters left: 4 (7 enodes) 1538732223.564 * * [misc]simplify: iters left: 3 (16 enodes) 1538732223.572 * * [misc]simplify: iters left: 2 (35 enodes) 1538732223.587 * * [misc]simplify: iters left: 1 (58 enodes) 1538732223.605 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1538732223.605 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1538732223.605 * * * * [misc]progress: [ 26 / 27 ] simplifiying candidate # 1538732223.605 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1538732223.605 * * [misc]simplify: iters left: 4 (7 enodes) 1538732223.607 * * [misc]simplify: iters left: 3 (16 enodes) 1538732223.613 * * [misc]simplify: iters left: 2 (35 enodes) 1538732223.621 * * [misc]simplify: iters left: 1 (58 enodes) 1538732223.633 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1538732223.633 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1538732223.633 * * * * [misc]progress: [ 27 / 27 ] simplifiying candidate # 1538732223.633 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1538732223.633 * * [misc]simplify: iters left: 4 (7 enodes) 1538732223.635 * * [misc]simplify: iters left: 3 (16 enodes) 1538732223.640 * * [misc]simplify: iters left: 2 (35 enodes) 1538732223.654 * * [misc]simplify: iters left: 1 (58 enodes) 1538732223.676 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1538732223.676 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1538732223.676 * * * [misc]progress: adding candidates to table 1538732224.107 * * [misc]progress: iteration 2 / 4 1538732224.107 * * * [misc]progress: picking best candidate 1538732224.176 * * * * [misc]pick: Picked # 1538732224.176 * * * [misc]progress: localizing error 1538732224.188 * * * [misc]progress: generating rewritten candidates 1538732224.188 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1538732224.217 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1538732224.230 * * * [misc]progress: generating series expansions 1538732224.230 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1538732224.230 * [misc]backup-simplify: Simplify (/ (* (/ a1 b2) a2) b1) into (/ (* a1 a2) (* b2 b1)) 1538732224.230 * [misc]approximate: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in (a1 b2 a2 b1) around 0 1538732224.230 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in b1 1538732224.230 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1538732224.230 * [misc]taylor: Taking taylor expansion of a1 in b1 1538732224.230 * [misc]backup-simplify: Simplify a1 into a1 1538732224.230 * [misc]taylor: Taking taylor expansion of a2 in b1 1538732224.230 * [misc]backup-simplify: Simplify a2 into a2 1538732224.230 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1538732224.230 * [misc]taylor: Taking taylor expansion of b2 in b1 1538732224.231 * [misc]backup-simplify: Simplify b2 into b2 1538732224.231 * [misc]taylor: Taking taylor expansion of b1 in b1 1538732224.231 * [misc]backup-simplify: Simplify 0 into 0 1538732224.231 * [misc]backup-simplify: Simplify 1 into 1 1538732224.231 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732224.231 * [misc]backup-simplify: Simplify (* b2 0) into 0 1538732224.231 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1538732224.231 * [misc]backup-simplify: Simplify (/ (* a1 a2) b2) into (/ (* a1 a2) b2) 1538732224.231 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a2 1538732224.231 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1538732224.231 * [misc]taylor: Taking taylor expansion of a1 in a2 1538732224.231 * [misc]backup-simplify: Simplify a1 into a1 1538732224.231 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732224.231 * [misc]backup-simplify: Simplify 0 into 0 1538732224.231 * [misc]backup-simplify: Simplify 1 into 1 1538732224.231 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1538732224.231 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732224.231 * [misc]backup-simplify: Simplify b2 into b2 1538732224.231 * [misc]taylor: Taking taylor expansion of b1 in a2 1538732224.231 * [misc]backup-simplify: Simplify b1 into b1 1538732224.231 * [misc]backup-simplify: Simplify (* a1 0) into 0 1538732224.231 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1538732224.231 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732224.231 * [misc]backup-simplify: Simplify (/ a1 (* b2 b1)) into (/ a1 (* b2 b1)) 1538732224.231 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in b2 1538732224.231 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1538732224.232 * [misc]taylor: Taking taylor expansion of a1 in b2 1538732224.232 * [misc]backup-simplify: Simplify a1 into a1 1538732224.232 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732224.232 * [misc]backup-simplify: Simplify a2 into a2 1538732224.232 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1538732224.232 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732224.232 * [misc]backup-simplify: Simplify 0 into 0 1538732224.232 * [misc]backup-simplify: Simplify 1 into 1 1538732224.232 * [misc]taylor: Taking taylor expansion of b1 in b2 1538732224.232 * [misc]backup-simplify: Simplify b1 into b1 1538732224.232 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732224.232 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1538732224.232 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1538732224.232 * [misc]backup-simplify: Simplify (/ (* a1 a2) b1) into (/ (* a1 a2) b1) 1538732224.232 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a1 1538732224.232 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732224.232 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732224.232 * [misc]backup-simplify: Simplify 0 into 0 1538732224.232 * [misc]backup-simplify: Simplify 1 into 1 1538732224.232 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732224.232 * [misc]backup-simplify: Simplify a2 into a2 1538732224.232 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1538732224.232 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732224.232 * [misc]backup-simplify: Simplify b2 into b2 1538732224.232 * [misc]taylor: Taking taylor expansion of b1 in a1 1538732224.232 * [misc]backup-simplify: Simplify b1 into b1 1538732224.232 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732224.232 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732224.232 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732224.233 * [misc]backup-simplify: Simplify (/ a2 (* b2 b1)) into (/ a2 (* b2 b1)) 1538732224.233 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a1 1538732224.233 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732224.233 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732224.233 * [misc]backup-simplify: Simplify 0 into 0 1538732224.233 * [misc]backup-simplify: Simplify 1 into 1 1538732224.233 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732224.233 * [misc]backup-simplify: Simplify a2 into a2 1538732224.233 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1538732224.233 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732224.233 * [misc]backup-simplify: Simplify b2 into b2 1538732224.233 * [misc]taylor: Taking taylor expansion of b1 in a1 1538732224.233 * [misc]backup-simplify: Simplify b1 into b1 1538732224.233 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732224.233 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732224.233 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732224.233 * [misc]backup-simplify: Simplify (/ a2 (* b2 b1)) into (/ a2 (* b2 b1)) 1538732224.233 * [misc]taylor: Taking taylor expansion of (/ a2 (* b2 b1)) in b2 1538732224.233 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732224.233 * [misc]backup-simplify: Simplify a2 into a2 1538732224.233 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1538732224.233 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732224.233 * [misc]backup-simplify: Simplify 0 into 0 1538732224.233 * [misc]backup-simplify: Simplify 1 into 1 1538732224.233 * [misc]taylor: Taking taylor expansion of b1 in b2 1538732224.233 * [misc]backup-simplify: Simplify b1 into b1 1538732224.233 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1538732224.233 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1538732224.233 * [misc]backup-simplify: Simplify (/ a2 b1) into (/ a2 b1) 1538732224.233 * [misc]taylor: Taking taylor expansion of (/ a2 b1) in a2 1538732224.233 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732224.233 * [misc]backup-simplify: Simplify 0 into 0 1538732224.233 * [misc]backup-simplify: Simplify 1 into 1 1538732224.233 * [misc]taylor: Taking taylor expansion of b1 in a2 1538732224.233 * [misc]backup-simplify: Simplify b1 into b1 1538732224.234 * [misc]backup-simplify: Simplify (/ 1 b1) into (/ 1 b1) 1538732224.234 * [misc]taylor: Taking taylor expansion of (/ 1 b1) in b1 1538732224.234 * [misc]taylor: Taking taylor expansion of b1 in b1 1538732224.234 * [misc]backup-simplify: Simplify 0 into 0 1538732224.234 * [misc]backup-simplify: Simplify 1 into 1 1538732224.234 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538732224.234 * [misc]backup-simplify: Simplify 1 into 1 1538732224.234 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1538732224.234 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1538732224.234 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))))) into 0 1538732224.234 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.234 * [misc]backup-simplify: Simplify 0 into 0 1538732224.234 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b1))) into 0 1538732224.235 * [misc]backup-simplify: Simplify (- (/ 0 b1) (+ (* (/ a2 b1) (/ 0 b1)))) into 0 1538732224.235 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.235 * [misc]backup-simplify: Simplify 0 into 0 1538732224.235 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.235 * [misc]backup-simplify: Simplify 0 into 0 1538732224.235 * [misc]backup-simplify: Simplify (- (/ 0 b1) (+ (* (/ 1 b1) (/ 0 b1)))) into 0 1538732224.235 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.235 * [misc]backup-simplify: Simplify 0 into 0 1538732224.235 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538732224.235 * [misc]backup-simplify: Simplify 0 into 0 1538732224.235 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1538732224.235 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1538732224.236 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1538732224.236 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.236 * [misc]backup-simplify: Simplify 0 into 0 1538732224.236 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.236 * [misc]backup-simplify: Simplify 0 into 0 1538732224.236 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.236 * [misc]backup-simplify: Simplify 0 into 0 1538732224.236 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 b1)))) into 0 1538732224.236 * [misc]backup-simplify: Simplify (- (/ 0 b1) (+ (* (/ a2 b1) (/ 0 b1)) (* 0 (/ 0 b1)))) into 0 1538732224.236 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.236 * [misc]backup-simplify: Simplify 0 into 0 1538732224.236 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.236 * [misc]backup-simplify: Simplify 0 into 0 1538732224.236 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.236 * [misc]backup-simplify: Simplify 0 into 0 1538732224.237 * [misc]backup-simplify: Simplify (- (/ 0 b1) (+ (* (/ 1 b1) (/ 0 b1)) (* 0 (/ 0 b1)))) into 0 1538732224.237 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.237 * [misc]backup-simplify: Simplify 0 into 0 1538732224.237 * [misc]backup-simplify: Simplify 0 into 0 1538732224.237 * [misc]backup-simplify: Simplify 0 into 0 1538732224.237 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732224.237 * [misc]backup-simplify: Simplify 0 into 0 1538732224.237 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 a2))))) into 0 1538732224.238 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1)))) into 0 1538732224.238 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1538732224.238 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.238 * [misc]backup-simplify: Simplify 0 into 0 1538732224.238 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.238 * [misc]backup-simplify: Simplify 0 into 0 1538732224.238 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.238 * [misc]backup-simplify: Simplify 0 into 0 1538732224.238 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.238 * [misc]backup-simplify: Simplify 0 into 0 1538732224.238 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.238 * [misc]backup-simplify: Simplify 0 into 0 1538732224.238 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1))))) into 0 1538732224.238 * [misc]backup-simplify: Simplify (- (/ 0 b1) (+ (* (/ a2 b1) (/ 0 b1)) (* 0 (/ 0 b1)) (* 0 (/ 0 b1)))) into 0 1538732224.238 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.239 * [misc]backup-simplify: Simplify 0 into 0 1538732224.239 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.239 * [misc]backup-simplify: Simplify 0 into 0 1538732224.239 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.239 * [misc]backup-simplify: Simplify 0 into 0 1538732224.239 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.239 * [misc]backup-simplify: Simplify 0 into 0 1538732224.239 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.239 * [misc]backup-simplify: Simplify 0 into 0 1538732224.239 * [misc]backup-simplify: Simplify (- (/ 0 b1) (+ (* (/ 1 b1) (/ 0 b1)) (* 0 (/ 0 b1)) (* 0 (/ 0 b1)))) into 0 1538732224.239 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.239 * [misc]backup-simplify: Simplify 0 into 0 1538732224.239 * [misc]backup-simplify: Simplify 0 into 0 1538732224.239 * [misc]backup-simplify: Simplify 0 into 0 1538732224.239 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b1) (* a2 (* (/ 1 b2) a1)))) into (/ (* a1 a2) (* b2 b1)) 1538732224.239 * [misc]backup-simplify: Simplify (/ (* (/ (/ 1 a1) (/ 1 b2)) (/ 1 a2)) (/ 1 b1)) into (/ (* b2 b1) (* a1 a2)) 1538732224.239 * [misc]approximate: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in (a1 b2 a2 b1) around 0 1538732224.239 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b1 1538732224.239 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1538732224.239 * [misc]taylor: Taking taylor expansion of b2 in b1 1538732224.239 * [misc]backup-simplify: Simplify b2 into b2 1538732224.239 * [misc]taylor: Taking taylor expansion of b1 in b1 1538732224.239 * [misc]backup-simplify: Simplify 0 into 0 1538732224.239 * [misc]backup-simplify: Simplify 1 into 1 1538732224.239 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1538732224.239 * [misc]taylor: Taking taylor expansion of a1 in b1 1538732224.239 * [misc]backup-simplify: Simplify a1 into a1 1538732224.239 * [misc]taylor: Taking taylor expansion of a2 in b1 1538732224.239 * [misc]backup-simplify: Simplify a2 into a2 1538732224.239 * [misc]backup-simplify: Simplify (* b2 0) into 0 1538732224.240 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1538732224.240 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732224.240 * [misc]backup-simplify: Simplify (/ b2 (* a1 a2)) into (/ b2 (* a1 a2)) 1538732224.240 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a2 1538732224.240 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1538732224.240 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732224.240 * [misc]backup-simplify: Simplify b2 into b2 1538732224.240 * [misc]taylor: Taking taylor expansion of b1 in a2 1538732224.240 * [misc]backup-simplify: Simplify b1 into b1 1538732224.240 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1538732224.240 * [misc]taylor: Taking taylor expansion of a1 in a2 1538732224.240 * [misc]backup-simplify: Simplify a1 into a1 1538732224.240 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732224.240 * [misc]backup-simplify: Simplify 0 into 0 1538732224.240 * [misc]backup-simplify: Simplify 1 into 1 1538732224.240 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732224.240 * [misc]backup-simplify: Simplify (* a1 0) into 0 1538732224.240 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1538732224.240 * [misc]backup-simplify: Simplify (/ (* b2 b1) a1) into (/ (* b2 b1) a1) 1538732224.240 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b2 1538732224.240 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1538732224.240 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732224.240 * [misc]backup-simplify: Simplify 0 into 0 1538732224.240 * [misc]backup-simplify: Simplify 1 into 1 1538732224.240 * [misc]taylor: Taking taylor expansion of b1 in b2 1538732224.240 * [misc]backup-simplify: Simplify b1 into b1 1538732224.240 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1538732224.240 * [misc]taylor: Taking taylor expansion of a1 in b2 1538732224.240 * [misc]backup-simplify: Simplify a1 into a1 1538732224.240 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732224.240 * [misc]backup-simplify: Simplify a2 into a2 1538732224.240 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1538732224.240 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1538732224.241 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732224.241 * [misc]backup-simplify: Simplify (/ b1 (* a1 a2)) into (/ b1 (* a1 a2)) 1538732224.241 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1538732224.241 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1538732224.241 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732224.241 * [misc]backup-simplify: Simplify b2 into b2 1538732224.241 * [misc]taylor: Taking taylor expansion of b1 in a1 1538732224.241 * [misc]backup-simplify: Simplify b1 into b1 1538732224.241 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732224.241 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732224.241 * [misc]backup-simplify: Simplify 0 into 0 1538732224.241 * [misc]backup-simplify: Simplify 1 into 1 1538732224.241 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732224.241 * [misc]backup-simplify: Simplify a2 into a2 1538732224.241 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732224.241 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732224.241 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732224.241 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1538732224.241 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1538732224.241 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1538732224.241 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732224.241 * [misc]backup-simplify: Simplify b2 into b2 1538732224.241 * [misc]taylor: Taking taylor expansion of b1 in a1 1538732224.241 * [misc]backup-simplify: Simplify b1 into b1 1538732224.241 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732224.241 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732224.241 * [misc]backup-simplify: Simplify 0 into 0 1538732224.241 * [misc]backup-simplify: Simplify 1 into 1 1538732224.241 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732224.241 * [misc]backup-simplify: Simplify a2 into a2 1538732224.241 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732224.241 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732224.241 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732224.241 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1538732224.242 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) a2) in b2 1538732224.242 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1538732224.242 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732224.242 * [misc]backup-simplify: Simplify 0 into 0 1538732224.242 * [misc]backup-simplify: Simplify 1 into 1 1538732224.242 * [misc]taylor: Taking taylor expansion of b1 in b2 1538732224.242 * [misc]backup-simplify: Simplify b1 into b1 1538732224.242 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732224.242 * [misc]backup-simplify: Simplify a2 into a2 1538732224.242 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1538732224.242 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1538732224.242 * [misc]backup-simplify: Simplify (/ b1 a2) into (/ b1 a2) 1538732224.242 * [misc]taylor: Taking taylor expansion of (/ b1 a2) in a2 1538732224.242 * [misc]taylor: Taking taylor expansion of b1 in a2 1538732224.242 * [misc]backup-simplify: Simplify b1 into b1 1538732224.242 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732224.242 * [misc]backup-simplify: Simplify 0 into 0 1538732224.242 * [misc]backup-simplify: Simplify 1 into 1 1538732224.242 * [misc]backup-simplify: Simplify (/ b1 1) into b1 1538732224.242 * [misc]taylor: Taking taylor expansion of b1 in b1 1538732224.242 * [misc]backup-simplify: Simplify 0 into 0 1538732224.242 * [misc]backup-simplify: Simplify 1 into 1 1538732224.242 * [misc]backup-simplify: Simplify 1 into 1 1538732224.242 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1538732224.242 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1538732224.243 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)))) into 0 1538732224.243 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.243 * [misc]backup-simplify: Simplify 0 into 0 1538732224.243 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.243 * [misc]backup-simplify: Simplify 0 into 0 1538732224.243 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b1))) into 0 1538732224.243 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ b1 a2) (/ 0 a2)))) into 0 1538732224.243 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.243 * [misc]backup-simplify: Simplify 0 into 0 1538732224.243 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* b1 (/ 0 1)))) into 0 1538732224.243 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.243 * [misc]backup-simplify: Simplify 0 into 0 1538732224.243 * [misc]backup-simplify: Simplify 0 into 0 1538732224.243 * [misc]backup-simplify: Simplify 0 into 0 1538732224.243 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1538732224.244 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1538732224.244 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1538732224.244 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.244 * [misc]backup-simplify: Simplify 0 into 0 1538732224.244 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.244 * [misc]backup-simplify: Simplify 0 into 0 1538732224.244 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.244 * [misc]backup-simplify: Simplify 0 into 0 1538732224.244 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 b1)))) into 0 1538732224.244 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ b1 a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1538732224.244 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.244 * [misc]backup-simplify: Simplify 0 into 0 1538732224.244 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.244 * [misc]backup-simplify: Simplify 0 into 0 1538732224.245 * [misc]backup-simplify: Simplify 0 into 0 1538732224.245 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.245 * [misc]backup-simplify: Simplify 0 into 0 1538732224.245 * [misc]backup-simplify: Simplify 0 into 0 1538732224.245 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* b1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732224.245 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.245 * [misc]backup-simplify: Simplify 0 into 0 1538732224.245 * [misc]backup-simplify: Simplify 0 into 0 1538732224.245 * [misc]backup-simplify: Simplify 0 into 0 1538732224.245 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b1) (* (/ 1 (/ 1 a2)) (* (/ 1 b2) (/ 1 (/ 1 a1)))))) into (/ (* a1 a2) (* b2 b1)) 1538732224.245 * [misc]backup-simplify: Simplify (/ (* (/ (/ 1 (- a1)) (/ 1 (- b2))) (/ 1 (- a2))) (/ 1 (- b1))) into (/ (* b2 b1) (* a1 a2)) 1538732224.245 * [misc]approximate: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in (a1 b2 a2 b1) around 0 1538732224.245 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b1 1538732224.245 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1538732224.245 * [misc]taylor: Taking taylor expansion of b2 in b1 1538732224.245 * [misc]backup-simplify: Simplify b2 into b2 1538732224.245 * [misc]taylor: Taking taylor expansion of b1 in b1 1538732224.245 * [misc]backup-simplify: Simplify 0 into 0 1538732224.245 * [misc]backup-simplify: Simplify 1 into 1 1538732224.245 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1538732224.245 * [misc]taylor: Taking taylor expansion of a1 in b1 1538732224.245 * [misc]backup-simplify: Simplify a1 into a1 1538732224.246 * [misc]taylor: Taking taylor expansion of a2 in b1 1538732224.246 * [misc]backup-simplify: Simplify a2 into a2 1538732224.246 * [misc]backup-simplify: Simplify (* b2 0) into 0 1538732224.246 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1538732224.246 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732224.246 * [misc]backup-simplify: Simplify (/ b2 (* a1 a2)) into (/ b2 (* a1 a2)) 1538732224.246 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a2 1538732224.246 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1538732224.246 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732224.246 * [misc]backup-simplify: Simplify b2 into b2 1538732224.246 * [misc]taylor: Taking taylor expansion of b1 in a2 1538732224.246 * [misc]backup-simplify: Simplify b1 into b1 1538732224.246 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1538732224.246 * [misc]taylor: Taking taylor expansion of a1 in a2 1538732224.246 * [misc]backup-simplify: Simplify a1 into a1 1538732224.246 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732224.246 * [misc]backup-simplify: Simplify 0 into 0 1538732224.246 * [misc]backup-simplify: Simplify 1 into 1 1538732224.246 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732224.246 * [misc]backup-simplify: Simplify (* a1 0) into 0 1538732224.246 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1538732224.246 * [misc]backup-simplify: Simplify (/ (* b2 b1) a1) into (/ (* b2 b1) a1) 1538732224.246 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b2 1538732224.246 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1538732224.246 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732224.246 * [misc]backup-simplify: Simplify 0 into 0 1538732224.246 * [misc]backup-simplify: Simplify 1 into 1 1538732224.246 * [misc]taylor: Taking taylor expansion of b1 in b2 1538732224.246 * [misc]backup-simplify: Simplify b1 into b1 1538732224.246 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1538732224.246 * [misc]taylor: Taking taylor expansion of a1 in b2 1538732224.246 * [misc]backup-simplify: Simplify a1 into a1 1538732224.246 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732224.246 * [misc]backup-simplify: Simplify a2 into a2 1538732224.246 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1538732224.247 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1538732224.247 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732224.247 * [misc]backup-simplify: Simplify (/ b1 (* a1 a2)) into (/ b1 (* a1 a2)) 1538732224.247 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1538732224.247 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1538732224.247 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732224.247 * [misc]backup-simplify: Simplify b2 into b2 1538732224.247 * [misc]taylor: Taking taylor expansion of b1 in a1 1538732224.247 * [misc]backup-simplify: Simplify b1 into b1 1538732224.247 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732224.247 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732224.247 * [misc]backup-simplify: Simplify 0 into 0 1538732224.247 * [misc]backup-simplify: Simplify 1 into 1 1538732224.247 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732224.247 * [misc]backup-simplify: Simplify a2 into a2 1538732224.247 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732224.247 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732224.247 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732224.247 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1538732224.247 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1538732224.247 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1538732224.247 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732224.247 * [misc]backup-simplify: Simplify b2 into b2 1538732224.247 * [misc]taylor: Taking taylor expansion of b1 in a1 1538732224.247 * [misc]backup-simplify: Simplify b1 into b1 1538732224.247 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732224.247 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732224.247 * [misc]backup-simplify: Simplify 0 into 0 1538732224.247 * [misc]backup-simplify: Simplify 1 into 1 1538732224.247 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732224.247 * [misc]backup-simplify: Simplify a2 into a2 1538732224.247 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732224.247 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732224.248 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732224.248 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1538732224.248 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) a2) in b2 1538732224.248 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1538732224.248 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732224.248 * [misc]backup-simplify: Simplify 0 into 0 1538732224.248 * [misc]backup-simplify: Simplify 1 into 1 1538732224.248 * [misc]taylor: Taking taylor expansion of b1 in b2 1538732224.248 * [misc]backup-simplify: Simplify b1 into b1 1538732224.248 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732224.248 * [misc]backup-simplify: Simplify a2 into a2 1538732224.248 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1538732224.248 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1538732224.248 * [misc]backup-simplify: Simplify (/ b1 a2) into (/ b1 a2) 1538732224.248 * [misc]taylor: Taking taylor expansion of (/ b1 a2) in a2 1538732224.248 * [misc]taylor: Taking taylor expansion of b1 in a2 1538732224.248 * [misc]backup-simplify: Simplify b1 into b1 1538732224.248 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732224.248 * [misc]backup-simplify: Simplify 0 into 0 1538732224.248 * [misc]backup-simplify: Simplify 1 into 1 1538732224.248 * [misc]backup-simplify: Simplify (/ b1 1) into b1 1538732224.248 * [misc]taylor: Taking taylor expansion of b1 in b1 1538732224.248 * [misc]backup-simplify: Simplify 0 into 0 1538732224.248 * [misc]backup-simplify: Simplify 1 into 1 1538732224.248 * [misc]backup-simplify: Simplify 1 into 1 1538732224.248 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1538732224.248 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1538732224.249 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)))) into 0 1538732224.249 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.249 * [misc]backup-simplify: Simplify 0 into 0 1538732224.249 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.249 * [misc]backup-simplify: Simplify 0 into 0 1538732224.249 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b1))) into 0 1538732224.249 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ b1 a2) (/ 0 a2)))) into 0 1538732224.249 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.249 * [misc]backup-simplify: Simplify 0 into 0 1538732224.249 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* b1 (/ 0 1)))) into 0 1538732224.249 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.249 * [misc]backup-simplify: Simplify 0 into 0 1538732224.249 * [misc]backup-simplify: Simplify 0 into 0 1538732224.249 * [misc]backup-simplify: Simplify 0 into 0 1538732224.249 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1538732224.250 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1538732224.250 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1538732224.250 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.250 * [misc]backup-simplify: Simplify 0 into 0 1538732224.250 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.250 * [misc]backup-simplify: Simplify 0 into 0 1538732224.250 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.250 * [misc]backup-simplify: Simplify 0 into 0 1538732224.250 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 b1)))) into 0 1538732224.250 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ b1 a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1538732224.250 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.250 * [misc]backup-simplify: Simplify 0 into 0 1538732224.251 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.251 * [misc]backup-simplify: Simplify 0 into 0 1538732224.251 * [misc]backup-simplify: Simplify 0 into 0 1538732224.251 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.251 * [misc]backup-simplify: Simplify 0 into 0 1538732224.251 * [misc]backup-simplify: Simplify 0 into 0 1538732224.251 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* b1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732224.251 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.251 * [misc]backup-simplify: Simplify 0 into 0 1538732224.251 * [misc]backup-simplify: Simplify 0 into 0 1538732224.251 * [misc]backup-simplify: Simplify 0 into 0 1538732224.251 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 (- b1)) (* (/ 1 (/ 1 (- a2))) (* (/ 1 (- b2)) (/ 1 (/ 1 (- a1))))))) into (/ (* a1 a2) (* b2 b1)) 1538732224.251 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1538732224.251 * [misc]backup-simplify: Simplify (* (/ a1 b2) a2) into (/ (* a1 a2) b2) 1538732224.252 * [misc]approximate: Taking taylor expansion of (/ (* a1 a2) b2) in (a1 b2 a2) around 0 1538732224.252 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) b2) in a2 1538732224.252 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1538732224.252 * [misc]taylor: Taking taylor expansion of a1 in a2 1538732224.252 * [misc]backup-simplify: Simplify a1 into a1 1538732224.252 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732224.252 * [misc]backup-simplify: Simplify 0 into 0 1538732224.252 * [misc]backup-simplify: Simplify 1 into 1 1538732224.252 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732224.252 * [misc]backup-simplify: Simplify b2 into b2 1538732224.252 * [misc]backup-simplify: Simplify (* a1 0) into 0 1538732224.252 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1538732224.252 * [misc]backup-simplify: Simplify (/ a1 b2) into (/ a1 b2) 1538732224.252 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) b2) in b2 1538732224.252 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1538732224.252 * [misc]taylor: Taking taylor expansion of a1 in b2 1538732224.252 * [misc]backup-simplify: Simplify a1 into a1 1538732224.252 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732224.252 * [misc]backup-simplify: Simplify a2 into a2 1538732224.252 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732224.252 * [misc]backup-simplify: Simplify 0 into 0 1538732224.252 * [misc]backup-simplify: Simplify 1 into 1 1538732224.252 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732224.252 * [misc]backup-simplify: Simplify (/ (* a1 a2) 1) into (* a1 a2) 1538732224.252 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) b2) in a1 1538732224.252 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732224.252 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732224.252 * [misc]backup-simplify: Simplify 0 into 0 1538732224.252 * [misc]backup-simplify: Simplify 1 into 1 1538732224.252 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732224.252 * [misc]backup-simplify: Simplify a2 into a2 1538732224.252 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732224.252 * [misc]backup-simplify: Simplify b2 into b2 1538732224.252 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732224.252 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732224.252 * [misc]backup-simplify: Simplify (/ a2 b2) into (/ a2 b2) 1538732224.253 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) b2) in a1 1538732224.253 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732224.253 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732224.253 * [misc]backup-simplify: Simplify 0 into 0 1538732224.253 * [misc]backup-simplify: Simplify 1 into 1 1538732224.253 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732224.253 * [misc]backup-simplify: Simplify a2 into a2 1538732224.253 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732224.253 * [misc]backup-simplify: Simplify b2 into b2 1538732224.253 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732224.253 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732224.253 * [misc]backup-simplify: Simplify (/ a2 b2) into (/ a2 b2) 1538732224.253 * [misc]taylor: Taking taylor expansion of (/ a2 b2) in b2 1538732224.253 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732224.253 * [misc]backup-simplify: Simplify a2 into a2 1538732224.253 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732224.253 * [misc]backup-simplify: Simplify 0 into 0 1538732224.253 * [misc]backup-simplify: Simplify 1 into 1 1538732224.253 * [misc]backup-simplify: Simplify (/ a2 1) into a2 1538732224.253 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732224.253 * [misc]backup-simplify: Simplify 0 into 0 1538732224.253 * [misc]backup-simplify: Simplify 1 into 1 1538732224.253 * [misc]backup-simplify: Simplify 1 into 1 1538732224.253 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1538732224.253 * [misc]backup-simplify: Simplify (- (/ 0 b2) (+ (* (/ a2 b2) (/ 0 b2)))) into 0 1538732224.253 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.253 * [misc]backup-simplify: Simplify 0 into 0 1538732224.254 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* a2 (/ 0 1)))) into 0 1538732224.254 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.254 * [misc]backup-simplify: Simplify 0 into 0 1538732224.254 * [misc]backup-simplify: Simplify 0 into 0 1538732224.254 * [misc]backup-simplify: Simplify 0 into 0 1538732224.254 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1538732224.254 * [misc]backup-simplify: Simplify (- (/ 0 b2) (+ (* (/ a2 b2) (/ 0 b2)) (* 0 (/ 0 b2)))) into 0 1538732224.254 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.254 * [misc]backup-simplify: Simplify 0 into 0 1538732224.254 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.254 * [misc]backup-simplify: Simplify 0 into 0 1538732224.254 * [misc]backup-simplify: Simplify 0 into 0 1538732224.255 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* a2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732224.255 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.255 * [misc]backup-simplify: Simplify 0 into 0 1538732224.255 * [misc]backup-simplify: Simplify 0 into 0 1538732224.255 * [misc]backup-simplify: Simplify 0 into 0 1538732224.255 * [misc]backup-simplify: Simplify 0 into 0 1538732224.255 * [misc]backup-simplify: Simplify (* 1 (* a2 (* (/ 1 b2) a1))) into (/ (* a1 a2) b2) 1538732224.255 * [misc]backup-simplify: Simplify (* (/ (/ 1 a1) (/ 1 b2)) (/ 1 a2)) into (/ b2 (* a1 a2)) 1538732224.255 * [misc]approximate: Taking taylor expansion of (/ b2 (* a1 a2)) in (a1 b2 a2) around 0 1538732224.255 * [misc]taylor: Taking taylor expansion of (/ b2 (* a1 a2)) in a2 1538732224.255 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732224.255 * [misc]backup-simplify: Simplify b2 into b2 1538732224.255 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1538732224.255 * [misc]taylor: Taking taylor expansion of a1 in a2 1538732224.255 * [misc]backup-simplify: Simplify a1 into a1 1538732224.255 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732224.255 * [misc]backup-simplify: Simplify 0 into 0 1538732224.255 * [misc]backup-simplify: Simplify 1 into 1 1538732224.255 * [misc]backup-simplify: Simplify (* a1 0) into 0 1538732224.255 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1538732224.255 * [misc]backup-simplify: Simplify (/ b2 a1) into (/ b2 a1) 1538732224.255 * [misc]taylor: Taking taylor expansion of (/ b2 (* a1 a2)) in b2 1538732224.255 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732224.255 * [misc]backup-simplify: Simplify 0 into 0 1538732224.255 * [misc]backup-simplify: Simplify 1 into 1 1538732224.255 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1538732224.255 * [misc]taylor: Taking taylor expansion of a1 in b2 1538732224.255 * [misc]backup-simplify: Simplify a1 into a1 1538732224.255 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732224.255 * [misc]backup-simplify: Simplify a2 into a2 1538732224.255 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732224.256 * [misc]backup-simplify: Simplify (/ 1 (* a1 a2)) into (/ 1 (* a1 a2)) 1538732224.256 * [misc]taylor: Taking taylor expansion of (/ b2 (* a1 a2)) in a1 1538732224.256 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732224.256 * [misc]backup-simplify: Simplify b2 into b2 1538732224.256 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732224.256 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732224.256 * [misc]backup-simplify: Simplify 0 into 0 1538732224.256 * [misc]backup-simplify: Simplify 1 into 1 1538732224.256 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732224.256 * [misc]backup-simplify: Simplify a2 into a2 1538732224.256 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732224.256 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732224.256 * [misc]backup-simplify: Simplify (/ b2 a2) into (/ b2 a2) 1538732224.256 * [misc]taylor: Taking taylor expansion of (/ b2 (* a1 a2)) in a1 1538732224.256 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732224.256 * [misc]backup-simplify: Simplify b2 into b2 1538732224.256 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732224.256 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732224.256 * [misc]backup-simplify: Simplify 0 into 0 1538732224.256 * [misc]backup-simplify: Simplify 1 into 1 1538732224.256 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732224.256 * [misc]backup-simplify: Simplify a2 into a2 1538732224.256 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732224.256 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732224.256 * [misc]backup-simplify: Simplify (/ b2 a2) into (/ b2 a2) 1538732224.256 * [misc]taylor: Taking taylor expansion of (/ b2 a2) in b2 1538732224.256 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732224.256 * [misc]backup-simplify: Simplify 0 into 0 1538732224.256 * [misc]backup-simplify: Simplify 1 into 1 1538732224.256 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732224.256 * [misc]backup-simplify: Simplify a2 into a2 1538732224.256 * [misc]backup-simplify: Simplify (/ 1 a2) into (/ 1 a2) 1538732224.256 * [misc]taylor: Taking taylor expansion of (/ 1 a2) in a2 1538732224.256 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732224.256 * [misc]backup-simplify: Simplify 0 into 0 1538732224.256 * [misc]backup-simplify: Simplify 1 into 1 1538732224.257 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538732224.257 * [misc]backup-simplify: Simplify 1 into 1 1538732224.257 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1538732224.257 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ b2 a2) (/ 0 a2)))) into 0 1538732224.257 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.257 * [misc]backup-simplify: Simplify 0 into 0 1538732224.257 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.257 * [misc]backup-simplify: Simplify 0 into 0 1538732224.257 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ 1 a2) (/ 0 a2)))) into 0 1538732224.257 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.257 * [misc]backup-simplify: Simplify 0 into 0 1538732224.257 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538732224.257 * [misc]backup-simplify: Simplify 0 into 0 1538732224.258 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1538732224.258 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ b2 a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1538732224.258 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.258 * [misc]backup-simplify: Simplify 0 into 0 1538732224.258 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.258 * [misc]backup-simplify: Simplify 0 into 0 1538732224.258 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.258 * [misc]backup-simplify: Simplify 0 into 0 1538732224.258 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ 1 a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1538732224.258 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.258 * [misc]backup-simplify: Simplify 0 into 0 1538732224.258 * [misc]backup-simplify: Simplify 0 into 0 1538732224.258 * [misc]backup-simplify: Simplify 0 into 0 1538732224.258 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732224.258 * [misc]backup-simplify: Simplify 0 into 0 1538732224.259 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 a2))))) into 0 1538732224.259 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ b2 a2) (/ 0 a2)) (* 0 (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1538732224.259 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.259 * [misc]backup-simplify: Simplify 0 into 0 1538732224.259 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.259 * [misc]backup-simplify: Simplify 0 into 0 1538732224.259 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.259 * [misc]backup-simplify: Simplify 0 into 0 1538732224.259 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.259 * [misc]backup-simplify: Simplify 0 into 0 1538732224.259 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ 1 a2) (/ 0 a2)) (* 0 (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1538732224.259 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.259 * [misc]backup-simplify: Simplify 0 into 0 1538732224.259 * [misc]backup-simplify: Simplify 0 into 0 1538732224.259 * [misc]backup-simplify: Simplify 0 into 0 1538732224.259 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 (/ 1 a2)) (* (/ 1 b2) (/ 1 (/ 1 a1))))) into (/ (* a1 a2) b2) 1538732224.259 * [misc]backup-simplify: Simplify (* (/ (/ 1 (- a1)) (/ 1 (- b2))) (/ 1 (- a2))) into (* -1 (/ b2 (* a1 a2))) 1538732224.259 * [misc]approximate: Taking taylor expansion of (* -1 (/ b2 (* a1 a2))) in (a1 b2 a2) around 0 1538732224.259 * [misc]taylor: Taking taylor expansion of (* -1 (/ b2 (* a1 a2))) in a2 1538732224.259 * [misc]taylor: Taking taylor expansion of -1 in a2 1538732224.259 * [misc]backup-simplify: Simplify -1 into -1 1538732224.260 * [misc]taylor: Taking taylor expansion of (/ b2 (* a1 a2)) in a2 1538732224.260 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732224.260 * [misc]backup-simplify: Simplify b2 into b2 1538732224.260 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1538732224.260 * [misc]taylor: Taking taylor expansion of a1 in a2 1538732224.260 * [misc]backup-simplify: Simplify a1 into a1 1538732224.260 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732224.260 * [misc]backup-simplify: Simplify 0 into 0 1538732224.260 * [misc]backup-simplify: Simplify 1 into 1 1538732224.260 * [misc]backup-simplify: Simplify (* a1 0) into 0 1538732224.260 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1538732224.260 * [misc]backup-simplify: Simplify (/ b2 a1) into (/ b2 a1) 1538732224.260 * [misc]taylor: Taking taylor expansion of (* -1 (/ b2 (* a1 a2))) in b2 1538732224.260 * [misc]taylor: Taking taylor expansion of -1 in b2 1538732224.260 * [misc]backup-simplify: Simplify -1 into -1 1538732224.260 * [misc]taylor: Taking taylor expansion of (/ b2 (* a1 a2)) in b2 1538732224.260 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732224.260 * [misc]backup-simplify: Simplify 0 into 0 1538732224.260 * [misc]backup-simplify: Simplify 1 into 1 1538732224.260 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1538732224.260 * [misc]taylor: Taking taylor expansion of a1 in b2 1538732224.260 * [misc]backup-simplify: Simplify a1 into a1 1538732224.260 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732224.260 * [misc]backup-simplify: Simplify a2 into a2 1538732224.260 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732224.260 * [misc]backup-simplify: Simplify (/ 1 (* a1 a2)) into (/ 1 (* a1 a2)) 1538732224.260 * [misc]taylor: Taking taylor expansion of (* -1 (/ b2 (* a1 a2))) in a1 1538732224.260 * [misc]taylor: Taking taylor expansion of -1 in a1 1538732224.260 * [misc]backup-simplify: Simplify -1 into -1 1538732224.260 * [misc]taylor: Taking taylor expansion of (/ b2 (* a1 a2)) in a1 1538732224.260 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732224.260 * [misc]backup-simplify: Simplify b2 into b2 1538732224.260 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732224.260 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732224.260 * [misc]backup-simplify: Simplify 0 into 0 1538732224.260 * [misc]backup-simplify: Simplify 1 into 1 1538732224.260 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732224.260 * [misc]backup-simplify: Simplify a2 into a2 1538732224.260 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732224.260 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732224.261 * [misc]backup-simplify: Simplify (/ b2 a2) into (/ b2 a2) 1538732224.261 * [misc]taylor: Taking taylor expansion of (* -1 (/ b2 (* a1 a2))) in a1 1538732224.261 * [misc]taylor: Taking taylor expansion of -1 in a1 1538732224.261 * [misc]backup-simplify: Simplify -1 into -1 1538732224.261 * [misc]taylor: Taking taylor expansion of (/ b2 (* a1 a2)) in a1 1538732224.261 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732224.261 * [misc]backup-simplify: Simplify b2 into b2 1538732224.261 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732224.261 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732224.261 * [misc]backup-simplify: Simplify 0 into 0 1538732224.261 * [misc]backup-simplify: Simplify 1 into 1 1538732224.261 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732224.261 * [misc]backup-simplify: Simplify a2 into a2 1538732224.261 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732224.261 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732224.261 * [misc]backup-simplify: Simplify (/ b2 a2) into (/ b2 a2) 1538732224.261 * [misc]backup-simplify: Simplify (* -1 (/ b2 a2)) into (* -1 (/ b2 a2)) 1538732224.261 * [misc]taylor: Taking taylor expansion of (* -1 (/ b2 a2)) in b2 1538732224.261 * [misc]taylor: Taking taylor expansion of -1 in b2 1538732224.261 * [misc]backup-simplify: Simplify -1 into -1 1538732224.261 * [misc]taylor: Taking taylor expansion of (/ b2 a2) in b2 1538732224.261 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732224.261 * [misc]backup-simplify: Simplify 0 into 0 1538732224.261 * [misc]backup-simplify: Simplify 1 into 1 1538732224.261 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732224.261 * [misc]backup-simplify: Simplify a2 into a2 1538732224.261 * [misc]backup-simplify: Simplify (/ 1 a2) into (/ 1 a2) 1538732224.261 * [misc]backup-simplify: Simplify (* -1 (/ 1 a2)) into (/ -1 a2) 1538732224.261 * [misc]taylor: Taking taylor expansion of (/ -1 a2) in a2 1538732224.261 * [misc]taylor: Taking taylor expansion of -1 in a2 1538732224.261 * [misc]backup-simplify: Simplify -1 into -1 1538732224.261 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732224.261 * [misc]backup-simplify: Simplify 0 into 0 1538732224.261 * [misc]backup-simplify: Simplify 1 into 1 1538732224.262 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538732224.262 * [misc]backup-simplify: Simplify -1 into -1 1538732224.262 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1538732224.262 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ b2 a2) (/ 0 a2)))) into 0 1538732224.262 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ b2 a2))) into 0 1538732224.262 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.262 * [misc]backup-simplify: Simplify 0 into 0 1538732224.262 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.262 * [misc]backup-simplify: Simplify 0 into 0 1538732224.262 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ 1 a2) (/ 0 a2)))) into 0 1538732224.262 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ 1 a2))) into 0 1538732224.263 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.263 * [misc]backup-simplify: Simplify 0 into 0 1538732224.263 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1538732224.263 * [misc]backup-simplify: Simplify 0 into 0 1538732224.263 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1538732224.263 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ b2 a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1538732224.263 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ b2 a2)))) into 0 1538732224.263 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.263 * [misc]backup-simplify: Simplify 0 into 0 1538732224.263 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.263 * [misc]backup-simplify: Simplify 0 into 0 1538732224.264 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.264 * [misc]backup-simplify: Simplify 0 into 0 1538732224.264 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ 1 a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1538732224.264 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 a2)))) into 0 1538732224.264 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.264 * [misc]backup-simplify: Simplify 0 into 0 1538732224.264 * [misc]backup-simplify: Simplify 0 into 0 1538732224.264 * [misc]backup-simplify: Simplify 0 into 0 1538732224.264 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732224.264 * [misc]backup-simplify: Simplify 0 into 0 1538732224.265 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 a2))))) into 0 1538732224.265 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ b2 a2) (/ 0 a2)) (* 0 (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1538732224.265 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ b2 a2))))) into 0 1538732224.265 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.265 * [misc]backup-simplify: Simplify 0 into 0 1538732224.265 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.265 * [misc]backup-simplify: Simplify 0 into 0 1538732224.265 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.265 * [misc]backup-simplify: Simplify 0 into 0 1538732224.265 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.265 * [misc]backup-simplify: Simplify 0 into 0 1538732224.265 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ 1 a2) (/ 0 a2)) (* 0 (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1538732224.266 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a2))))) into 0 1538732224.266 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732224.266 * [misc]backup-simplify: Simplify 0 into 0 1538732224.266 * [misc]backup-simplify: Simplify 0 into 0 1538732224.266 * [misc]backup-simplify: Simplify 0 into 0 1538732224.266 * [misc]backup-simplify: Simplify (* -1 (* (/ 1 (/ 1 (- a2))) (* (/ 1 (- b2)) (/ 1 (/ 1 (- a1)))))) into (/ (* a1 a2) b2) 1538732224.266 * * * [misc]progress: simplifying candidates 1538732224.266 * * * * [misc]progress: [ 1 / 35 ] simplifiying candidate # 1538732224.266 * * * * [misc]progress: [ 2 / 35 ] simplifiying candidate # 1538732224.266 * * * * [misc]progress: [ 3 / 35 ] simplifiying candidate # 1538732224.266 * * * * [misc]progress: [ 4 / 35 ] simplifiying candidate # 1538732224.266 * * * * [misc]progress: [ 5 / 35 ] simplifiying candidate # 1538732224.266 * * * * [misc]progress: [ 6 / 35 ] simplifiying candidate # 1538732224.266 * * * * [misc]progress: [ 7 / 35 ] simplifiying candidate # 1538732224.266 * * * * [misc]progress: [ 8 / 35 ] simplifiying candidate # 1538732224.266 * * * * [misc]progress: [ 9 / 35 ] simplifiying candidate # 1538732224.266 * * * * [misc]progress: [ 10 / 35 ] simplifiying candidate # 1538732224.266 * * * * [misc]progress: [ 11 / 35 ] simplifiying candidate # 1538732224.266 * * * * [misc]progress: [ 12 / 35 ] simplifiying candidate # 1538732224.266 * * * * [misc]progress: [ 13 / 35 ] simplifiying candidate # 1538732224.267 * [enter]simplify: Simplifying (/ a1 b2) 1538732224.267 * * [misc]simplify: iters left: 2 (3 enodes) 1538732224.267 * [exit]simplify: Simplified to (/ a1 b2) 1538732224.267 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (/ (/ a1 b2) (/ b1 a2))) 1538732224.267 * * * * [misc]progress: [ 14 / 35 ] simplifiying candidate # 1538732224.267 * [enter]simplify: Simplifying (* a1 a2) 1538732224.268 * * [misc]simplify: iters left: 2 (3 enodes) 1538732224.268 * * [misc]simplify: iters left: 1 (4 enodes) 1538732224.269 * [exit]simplify: Simplified to (* a1 a2) 1538732224.269 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (/ (* a1 a2) (* b1 b2))) 1538732224.269 * * * * [misc]progress: [ 15 / 35 ] simplifiying candidate # 1538732224.269 * * * * [misc]progress: [ 16 / 35 ] simplifiying candidate # 1538732224.269 * * * * [misc]progress: [ 17 / 35 ] simplifiying candidate # 1538732224.269 * * * * [misc]progress: [ 18 / 35 ] simplifiying candidate # 1538732224.269 * * * * [misc]progress: [ 19 / 35 ] simplifiying candidate # 1538732224.269 * * * * [misc]progress: [ 20 / 35 ] simplifiying candidate # 1538732224.269 * * * * [misc]progress: [ 21 / 35 ] simplifiying candidate # 1538732224.269 * * * * [misc]progress: [ 22 / 35 ] simplifiying candidate # 1538732224.269 * * * * [misc]progress: [ 23 / 35 ] simplifiying candidate # 1538732224.269 * * * * [misc]progress: [ 24 / 35 ] simplifiying candidate # 1538732224.269 * [enter]simplify: Simplifying (* (cbrt (/ a1 b2)) (cbrt (/ a1 b2))) 1538732224.270 * * [misc]simplify: iters left: 5 (5 enodes) 1538732224.271 * [exit]simplify: Simplified to (* (cbrt (/ a1 b2)) (cbrt (/ a1 b2))) 1538732224.271 * [misc]simplify: Simplified (2 1 1) to (λ (a1 a2 b1 b2) (/ (* (* (cbrt (/ a1 b2)) (cbrt (/ a1 b2))) (* (cbrt (/ a1 b2)) a2)) b1)) 1538732224.271 * * * * [misc]progress: [ 25 / 35 ] simplifiying candidate # 1538732224.271 * [enter]simplify: Simplifying (sqrt (/ a1 b2)) 1538732224.271 * * [misc]simplify: iters left: 3 (4 enodes) 1538732224.272 * [exit]simplify: Simplified to (sqrt (/ a1 b2)) 1538732224.272 * [misc]simplify: Simplified (2 1 1) to (λ (a1 a2 b1 b2) (/ (* (sqrt (/ a1 b2)) (* (sqrt (/ a1 b2)) a2)) b1)) 1538732224.272 * * * * [misc]progress: [ 26 / 35 ] simplifiying candidate # 1538732224.272 * * * * [misc]progress: [ 27 / 35 ] simplifiying candidate # 1538732224.272 * * * * [misc]progress: [ 28 / 35 ] simplifiying candidate # 1538732224.272 * [enter]simplify: Simplifying (* a1 a2) 1538732224.272 * * [misc]simplify: iters left: 2 (3 enodes) 1538732224.273 * * [misc]simplify: iters left: 1 (4 enodes) 1538732224.274 * [exit]simplify: Simplified to (* a1 a2) 1538732224.274 * [misc]simplify: Simplified (2 1 1) to (λ (a1 a2 b1 b2) (/ (/ (* a1 a2) b2) b1)) 1538732224.274 * * * * [misc]progress: [ 29 / 35 ] simplifiying candidate # 1538732224.274 * * * * [misc]progress: [ 30 / 35 ] simplifiying candidate # 1538732224.274 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1538732224.274 * * [misc]simplify: iters left: 4 (7 enodes) 1538732224.276 * * [misc]simplify: iters left: 3 (16 enodes) 1538732224.281 * * [misc]simplify: iters left: 2 (35 enodes) 1538732224.291 * * [misc]simplify: iters left: 1 (58 enodes) 1538732224.302 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1538732224.302 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1538732224.302 * * * * [misc]progress: [ 31 / 35 ] simplifiying candidate # 1538732224.303 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1538732224.303 * * [misc]simplify: iters left: 4 (7 enodes) 1538732224.305 * * [misc]simplify: iters left: 3 (16 enodes) 1538732224.309 * * [misc]simplify: iters left: 2 (35 enodes) 1538732224.317 * * [misc]simplify: iters left: 1 (58 enodes) 1538732224.329 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1538732224.329 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1538732224.329 * * * * [misc]progress: [ 32 / 35 ] simplifiying candidate # 1538732224.330 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1538732224.330 * * [misc]simplify: iters left: 4 (7 enodes) 1538732224.332 * * [misc]simplify: iters left: 3 (16 enodes) 1538732224.336 * * [misc]simplify: iters left: 2 (35 enodes) 1538732224.344 * * [misc]simplify: iters left: 1 (58 enodes) 1538732224.355 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1538732224.355 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1538732224.356 * * * * [misc]progress: [ 33 / 35 ] simplifiying candidate # 1538732224.356 * [enter]simplify: Simplifying (/ (* a1 a2) b2) 1538732224.358 * * [misc]simplify: iters left: 4 (5 enodes) 1538732224.359 * * [misc]simplify: iters left: 3 (8 enodes) 1538732224.360 * * [misc]simplify: iters left: 2 (10 enodes) 1538732224.362 * * [misc]simplify: iters left: 1 (13 enodes) 1538732224.364 * [exit]simplify: Simplified to (/ a2 (/ b2 a1)) 1538732224.364 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (/ (/ a2 (/ b2 a1)) b1)) 1538732224.364 * * * * [misc]progress: [ 34 / 35 ] simplifiying candidate # 1538732224.365 * [enter]simplify: Simplifying (/ (* a1 a2) b2) 1538732224.365 * * [misc]simplify: iters left: 4 (5 enodes) 1538732224.366 * * [misc]simplify: iters left: 3 (8 enodes) 1538732224.367 * * [misc]simplify: iters left: 2 (10 enodes) 1538732224.369 * * [misc]simplify: iters left: 1 (13 enodes) 1538732224.371 * [exit]simplify: Simplified to (/ a2 (/ b2 a1)) 1538732224.371 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (/ (/ a2 (/ b2 a1)) b1)) 1538732224.371 * * * * [misc]progress: [ 35 / 35 ] simplifiying candidate # 1538732224.372 * [enter]simplify: Simplifying (/ (* a1 a2) b2) 1538732224.372 * * [misc]simplify: iters left: 4 (5 enodes) 1538732224.373 * * [misc]simplify: iters left: 3 (8 enodes) 1538732224.374 * * [misc]simplify: iters left: 2 (10 enodes) 1538732224.376 * * [misc]simplify: iters left: 1 (13 enodes) 1538732224.379 * [exit]simplify: Simplified to (/ a2 (/ b2 a1)) 1538732224.379 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (/ (/ a2 (/ b2 a1)) b1)) 1538732224.379 * * * [misc]progress: adding candidates to table 1538732224.679 * * [misc]progress: iteration 3 / 4 1538732224.679 * * * [misc]progress: picking best candidate 1538732224.711 * * * * [misc]pick: Picked # 1538732224.711 * * * [misc]progress: localizing error 1538732224.717 * * * [misc]progress: generating rewritten candidates 1538732224.717 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1538732224.750 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1538732224.768 * * * [misc]progress: generating series expansions 1538732224.768 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1538732224.768 * [misc]backup-simplify: Simplify (/ (* a2 (/ a1 b2)) b1) into (/ (* a1 a2) (* b2 b1)) 1538732224.768 * [misc]approximate: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in (a2 a1 b2 b1) around 0 1538732224.768 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in b1 1538732224.768 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1538732224.768 * [misc]taylor: Taking taylor expansion of a1 in b1 1538732224.768 * [misc]backup-simplify: Simplify a1 into a1 1538732224.768 * [misc]taylor: Taking taylor expansion of a2 in b1 1538732224.768 * [misc]backup-simplify: Simplify a2 into a2 1538732224.768 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1538732224.768 * [misc]taylor: Taking taylor expansion of b2 in b1 1538732224.768 * [misc]backup-simplify: Simplify b2 into b2 1538732224.768 * [misc]taylor: Taking taylor expansion of b1 in b1 1538732224.768 * [misc]backup-simplify: Simplify 0 into 0 1538732224.768 * [misc]backup-simplify: Simplify 1 into 1 1538732224.768 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732224.768 * [misc]backup-simplify: Simplify (* b2 0) into 0 1538732224.769 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1538732224.769 * [misc]backup-simplify: Simplify (/ (* a1 a2) b2) into (/ (* a1 a2) b2) 1538732224.769 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in b2 1538732224.769 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1538732224.769 * [misc]taylor: Taking taylor expansion of a1 in b2 1538732224.769 * [misc]backup-simplify: Simplify a1 into a1 1538732224.769 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732224.769 * [misc]backup-simplify: Simplify a2 into a2 1538732224.769 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1538732224.769 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732224.769 * [misc]backup-simplify: Simplify 0 into 0 1538732224.769 * [misc]backup-simplify: Simplify 1 into 1 1538732224.769 * [misc]taylor: Taking taylor expansion of b1 in b2 1538732224.769 * [misc]backup-simplify: Simplify b1 into b1 1538732224.769 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732224.769 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1538732224.769 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1538732224.769 * [misc]backup-simplify: Simplify (/ (* a1 a2) b1) into (/ (* a1 a2) b1) 1538732224.769 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a1 1538732224.769 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732224.769 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732224.769 * [misc]backup-simplify: Simplify 0 into 0 1538732224.769 * [misc]backup-simplify: Simplify 1 into 1 1538732224.769 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732224.769 * [misc]backup-simplify: Simplify a2 into a2 1538732224.769 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1538732224.769 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732224.769 * [misc]backup-simplify: Simplify b2 into b2 1538732224.769 * [misc]taylor: Taking taylor expansion of b1 in a1 1538732224.769 * [misc]backup-simplify: Simplify b1 into b1 1538732224.769 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732224.769 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732224.770 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732224.770 * [misc]backup-simplify: Simplify (/ a2 (* b2 b1)) into (/ a2 (* b2 b1)) 1538732224.770 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a2 1538732224.770 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1538732224.770 * [misc]taylor: Taking taylor expansion of a1 in a2 1538732224.770 * [misc]backup-simplify: Simplify a1 into a1 1538732224.770 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732224.770 * [misc]backup-simplify: Simplify 0 into 0 1538732224.770 * [misc]backup-simplify: Simplify 1 into 1 1538732224.770 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1538732224.770 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732224.770 * [misc]backup-simplify: Simplify b2 into b2 1538732224.770 * [misc]taylor: Taking taylor expansion of b1 in a2 1538732224.770 * [misc]backup-simplify: Simplify b1 into b1 1538732224.770 * [misc]backup-simplify: Simplify (* a1 0) into 0 1538732224.770 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1538732224.770 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732224.770 * [misc]backup-simplify: Simplify (/ a1 (* b2 b1)) into (/ a1 (* b2 b1)) 1538732224.770 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a2 1538732224.770 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1538732224.770 * [misc]taylor: Taking taylor expansion of a1 in a2 1538732224.770 * [misc]backup-simplify: Simplify a1 into a1 1538732224.770 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732224.770 * [misc]backup-simplify: Simplify 0 into 0 1538732224.770 * [misc]backup-simplify: Simplify 1 into 1 1538732224.770 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1538732224.770 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732224.770 * [misc]backup-simplify: Simplify b2 into b2 1538732224.770 * [misc]taylor: Taking taylor expansion of b1 in a2 1538732224.770 * [misc]backup-simplify: Simplify b1 into b1 1538732224.770 * [misc]backup-simplify: Simplify (* a1 0) into 0 1538732224.770 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1538732224.770 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732224.770 * [misc]backup-simplify: Simplify (/ a1 (* b2 b1)) into (/ a1 (* b2 b1)) 1538732224.771 * [misc]taylor: Taking taylor expansion of (/ a1 (* b2 b1)) in a1 1538732224.771 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732224.771 * [misc]backup-simplify: Simplify 0 into 0 1538732224.771 * [misc]backup-simplify: Simplify 1 into 1 1538732224.771 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1538732224.771 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732224.771 * [misc]backup-simplify: Simplify b2 into b2 1538732224.771 * [misc]taylor: Taking taylor expansion of b1 in a1 1538732224.771 * [misc]backup-simplify: Simplify b1 into b1 1538732224.771 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732224.771 * [misc]backup-simplify: Simplify (/ 1 (* b2 b1)) into (/ 1 (* b2 b1)) 1538732224.771 * [misc]taylor: Taking taylor expansion of (/ 1 (* b2 b1)) in b2 1538732224.771 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1538732224.771 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732224.771 * [misc]backup-simplify: Simplify 0 into 0 1538732224.771 * [misc]backup-simplify: Simplify 1 into 1 1538732224.771 * [misc]taylor: Taking taylor expansion of b1 in b2 1538732224.771 * [misc]backup-simplify: Simplify b1 into b1 1538732224.771 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1538732224.771 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1538732224.771 * [misc]backup-simplify: Simplify (/ 1 b1) into (/ 1 b1) 1538732224.771 * [misc]taylor: Taking taylor expansion of (/ 1 b1) in b1 1538732224.771 * [misc]taylor: Taking taylor expansion of b1 in b1 1538732224.771 * [misc]backup-simplify: Simplify 0 into 0 1538732224.771 * [misc]backup-simplify: Simplify 1 into 1 1538732224.771 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538732224.771 * [misc]backup-simplify: Simplify 1 into 1 1538732224.771 * [misc]backup-simplify: Simplify (+ (* a1 0) (+ (* 0 1) (* 0 0))) into 0 1538732224.772 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1538732224.772 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a1 (* b2 b1)) (/ 0 (* b2 b1))))) into 0 1538732224.772 * [misc]taylor: Taking taylor expansion of 0 in a1 1538732224.772 * [misc]backup-simplify: Simplify 0 into 0 1538732224.772 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.772 * [misc]backup-simplify: Simplify 0 into 0 1538732224.772 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1538732224.772 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))))) into 0 1538732224.772 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.772 * [misc]backup-simplify: Simplify 0 into 0 1538732224.772 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b1))) into 0 1538732224.772 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b1) (/ 0 b1)))) into 0 1538732224.772 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.772 * [misc]backup-simplify: Simplify 0 into 0 1538732224.772 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538732224.773 * [misc]backup-simplify: Simplify 0 into 0 1538732224.773 * [misc]backup-simplify: Simplify (+ (* a1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1538732224.773 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1538732224.773 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a1 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1538732224.773 * [misc]taylor: Taking taylor expansion of 0 in a1 1538732224.773 * [misc]backup-simplify: Simplify 0 into 0 1538732224.773 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.773 * [misc]backup-simplify: Simplify 0 into 0 1538732224.773 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.773 * [misc]backup-simplify: Simplify 0 into 0 1538732224.773 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1538732224.774 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1538732224.774 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.774 * [misc]backup-simplify: Simplify 0 into 0 1538732224.774 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.774 * [misc]backup-simplify: Simplify 0 into 0 1538732224.774 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.774 * [misc]backup-simplify: Simplify 0 into 0 1538732224.774 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 b1)))) into 0 1538732224.774 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b1) (/ 0 b1)) (* 0 (/ 0 b1)))) into 0 1538732224.774 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.774 * [misc]backup-simplify: Simplify 0 into 0 1538732224.774 * [misc]backup-simplify: Simplify 0 into 0 1538732224.774 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732224.774 * [misc]backup-simplify: Simplify 0 into 0 1538732224.775 * [misc]backup-simplify: Simplify (+ (* a1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1538732224.775 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1)))) into 0 1538732224.775 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a1 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1538732224.775 * [misc]taylor: Taking taylor expansion of 0 in a1 1538732224.775 * [misc]backup-simplify: Simplify 0 into 0 1538732224.775 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.775 * [misc]backup-simplify: Simplify 0 into 0 1538732224.775 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.775 * [misc]backup-simplify: Simplify 0 into 0 1538732224.775 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.775 * [misc]backup-simplify: Simplify 0 into 0 1538732224.775 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1)))) into 0 1538732224.776 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1538732224.776 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.776 * [misc]backup-simplify: Simplify 0 into 0 1538732224.776 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.776 * [misc]backup-simplify: Simplify 0 into 0 1538732224.776 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.776 * [misc]backup-simplify: Simplify 0 into 0 1538732224.776 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.776 * [misc]backup-simplify: Simplify 0 into 0 1538732224.776 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.776 * [misc]backup-simplify: Simplify 0 into 0 1538732224.776 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.776 * [misc]backup-simplify: Simplify 0 into 0 1538732224.776 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1))))) into 0 1538732224.776 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b1) (/ 0 b1)) (* 0 (/ 0 b1)) (* 0 (/ 0 b1)))) into 0 1538732224.776 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.776 * [misc]backup-simplify: Simplify 0 into 0 1538732224.777 * [misc]backup-simplify: Simplify 0 into 0 1538732224.777 * [misc]backup-simplify: Simplify 0 into 0 1538732224.777 * [misc]backup-simplify: Simplify 0 into 0 1538732224.777 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b1) (* (/ 1 b2) (* a1 a2)))) into (/ (* a1 a2) (* b2 b1)) 1538732224.777 * [misc]backup-simplify: Simplify (/ (* (/ 1 a2) (/ (/ 1 a1) (/ 1 b2))) (/ 1 b1)) into (/ (* b2 b1) (* a1 a2)) 1538732224.777 * [misc]approximate: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in (a2 a1 b2 b1) around 0 1538732224.777 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b1 1538732224.777 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1538732224.777 * [misc]taylor: Taking taylor expansion of b2 in b1 1538732224.777 * [misc]backup-simplify: Simplify b2 into b2 1538732224.777 * [misc]taylor: Taking taylor expansion of b1 in b1 1538732224.777 * [misc]backup-simplify: Simplify 0 into 0 1538732224.777 * [misc]backup-simplify: Simplify 1 into 1 1538732224.777 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1538732224.777 * [misc]taylor: Taking taylor expansion of a1 in b1 1538732224.777 * [misc]backup-simplify: Simplify a1 into a1 1538732224.777 * [misc]taylor: Taking taylor expansion of a2 in b1 1538732224.777 * [misc]backup-simplify: Simplify a2 into a2 1538732224.777 * [misc]backup-simplify: Simplify (* b2 0) into 0 1538732224.777 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1538732224.777 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732224.777 * [misc]backup-simplify: Simplify (/ b2 (* a1 a2)) into (/ b2 (* a1 a2)) 1538732224.777 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b2 1538732224.777 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1538732224.777 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732224.777 * [misc]backup-simplify: Simplify 0 into 0 1538732224.777 * [misc]backup-simplify: Simplify 1 into 1 1538732224.777 * [misc]taylor: Taking taylor expansion of b1 in b2 1538732224.777 * [misc]backup-simplify: Simplify b1 into b1 1538732224.777 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1538732224.777 * [misc]taylor: Taking taylor expansion of a1 in b2 1538732224.777 * [misc]backup-simplify: Simplify a1 into a1 1538732224.778 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732224.778 * [misc]backup-simplify: Simplify a2 into a2 1538732224.778 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1538732224.778 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1538732224.778 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732224.778 * [misc]backup-simplify: Simplify (/ b1 (* a1 a2)) into (/ b1 (* a1 a2)) 1538732224.778 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1538732224.778 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1538732224.778 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732224.778 * [misc]backup-simplify: Simplify b2 into b2 1538732224.778 * [misc]taylor: Taking taylor expansion of b1 in a1 1538732224.778 * [misc]backup-simplify: Simplify b1 into b1 1538732224.778 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732224.778 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732224.778 * [misc]backup-simplify: Simplify 0 into 0 1538732224.778 * [misc]backup-simplify: Simplify 1 into 1 1538732224.778 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732224.778 * [misc]backup-simplify: Simplify a2 into a2 1538732224.778 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732224.778 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732224.778 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732224.778 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1538732224.778 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a2 1538732224.778 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1538732224.778 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732224.778 * [misc]backup-simplify: Simplify b2 into b2 1538732224.778 * [misc]taylor: Taking taylor expansion of b1 in a2 1538732224.778 * [misc]backup-simplify: Simplify b1 into b1 1538732224.778 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1538732224.778 * [misc]taylor: Taking taylor expansion of a1 in a2 1538732224.778 * [misc]backup-simplify: Simplify a1 into a1 1538732224.778 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732224.778 * [misc]backup-simplify: Simplify 0 into 0 1538732224.778 * [misc]backup-simplify: Simplify 1 into 1 1538732224.778 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732224.779 * [misc]backup-simplify: Simplify (* a1 0) into 0 1538732224.779 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1538732224.779 * [misc]backup-simplify: Simplify (/ (* b2 b1) a1) into (/ (* b2 b1) a1) 1538732224.779 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a2 1538732224.779 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1538732224.779 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732224.779 * [misc]backup-simplify: Simplify b2 into b2 1538732224.779 * [misc]taylor: Taking taylor expansion of b1 in a2 1538732224.779 * [misc]backup-simplify: Simplify b1 into b1 1538732224.779 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1538732224.779 * [misc]taylor: Taking taylor expansion of a1 in a2 1538732224.779 * [misc]backup-simplify: Simplify a1 into a1 1538732224.779 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732224.779 * [misc]backup-simplify: Simplify 0 into 0 1538732224.779 * [misc]backup-simplify: Simplify 1 into 1 1538732224.779 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732224.779 * [misc]backup-simplify: Simplify (* a1 0) into 0 1538732224.779 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1538732224.779 * [misc]backup-simplify: Simplify (/ (* b2 b1) a1) into (/ (* b2 b1) a1) 1538732224.779 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) a1) in a1 1538732224.779 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1538732224.779 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732224.779 * [misc]backup-simplify: Simplify b2 into b2 1538732224.779 * [misc]taylor: Taking taylor expansion of b1 in a1 1538732224.779 * [misc]backup-simplify: Simplify b1 into b1 1538732224.779 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732224.779 * [misc]backup-simplify: Simplify 0 into 0 1538732224.779 * [misc]backup-simplify: Simplify 1 into 1 1538732224.779 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732224.779 * [misc]backup-simplify: Simplify (/ (* b2 b1) 1) into (* b2 b1) 1538732224.779 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1538732224.779 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732224.779 * [misc]backup-simplify: Simplify 0 into 0 1538732224.779 * [misc]backup-simplify: Simplify 1 into 1 1538732224.779 * [misc]taylor: Taking taylor expansion of b1 in b2 1538732224.780 * [misc]backup-simplify: Simplify b1 into b1 1538732224.780 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1538732224.780 * [misc]taylor: Taking taylor expansion of b1 in b1 1538732224.780 * [misc]backup-simplify: Simplify 0 into 0 1538732224.780 * [misc]backup-simplify: Simplify 1 into 1 1538732224.780 * [misc]backup-simplify: Simplify 1 into 1 1538732224.780 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1538732224.780 * [misc]backup-simplify: Simplify (+ (* a1 0) (+ (* 0 1) (* 0 0))) into 0 1538732224.780 * [misc]backup-simplify: Simplify (- (/ 0 a1) (+ (* (/ (* b2 b1) a1) (/ 0 a1)))) into 0 1538732224.780 * [misc]taylor: Taking taylor expansion of 0 in a1 1538732224.780 * [misc]backup-simplify: Simplify 0 into 0 1538732224.780 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1538732224.780 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)))) into 0 1538732224.780 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.780 * [misc]backup-simplify: Simplify 0 into 0 1538732224.780 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.780 * [misc]backup-simplify: Simplify 0 into 0 1538732224.781 * [misc]backup-simplify: Simplify 0 into 0 1538732224.781 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b1))) into 0 1538732224.781 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.781 * [misc]backup-simplify: Simplify 0 into 0 1538732224.781 * [misc]backup-simplify: Simplify 0 into 0 1538732224.781 * [misc]backup-simplify: Simplify 0 into 0 1538732224.781 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1538732224.781 * [misc]backup-simplify: Simplify (+ (* a1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1538732224.781 * [misc]backup-simplify: Simplify (- (/ 0 a1) (+ (* (/ (* b2 b1) a1) (/ 0 a1)) (* 0 (/ 0 a1)))) into 0 1538732224.781 * [misc]taylor: Taking taylor expansion of 0 in a1 1538732224.781 * [misc]backup-simplify: Simplify 0 into 0 1538732224.781 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.781 * [misc]backup-simplify: Simplify 0 into 0 1538732224.781 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.781 * [misc]backup-simplify: Simplify 0 into 0 1538732224.781 * [misc]backup-simplify: Simplify 0 into 0 1538732224.782 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1538732224.782 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732224.782 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.782 * [misc]backup-simplify: Simplify 0 into 0 1538732224.782 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.782 * [misc]backup-simplify: Simplify 0 into 0 1538732224.782 * [misc]backup-simplify: Simplify 0 into 0 1538732224.782 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.782 * [misc]backup-simplify: Simplify 0 into 0 1538732224.782 * [misc]backup-simplify: Simplify 0 into 0 1538732224.782 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b1) (* (/ 1 b2) (* (/ 1 (/ 1 a1)) (/ 1 (/ 1 a2)))))) into (/ (* a1 a2) (* b2 b1)) 1538732224.782 * [misc]backup-simplify: Simplify (/ (* (/ 1 (- a2)) (/ (/ 1 (- a1)) (/ 1 (- b2)))) (/ 1 (- b1))) into (/ (* b2 b1) (* a1 a2)) 1538732224.782 * [misc]approximate: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in (a2 a1 b2 b1) around 0 1538732224.782 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b1 1538732224.782 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1538732224.783 * [misc]taylor: Taking taylor expansion of b2 in b1 1538732224.783 * [misc]backup-simplify: Simplify b2 into b2 1538732224.783 * [misc]taylor: Taking taylor expansion of b1 in b1 1538732224.783 * [misc]backup-simplify: Simplify 0 into 0 1538732224.783 * [misc]backup-simplify: Simplify 1 into 1 1538732224.783 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1538732224.783 * [misc]taylor: Taking taylor expansion of a1 in b1 1538732224.783 * [misc]backup-simplify: Simplify a1 into a1 1538732224.783 * [misc]taylor: Taking taylor expansion of a2 in b1 1538732224.783 * [misc]backup-simplify: Simplify a2 into a2 1538732224.783 * [misc]backup-simplify: Simplify (* b2 0) into 0 1538732224.783 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1538732224.783 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732224.783 * [misc]backup-simplify: Simplify (/ b2 (* a1 a2)) into (/ b2 (* a1 a2)) 1538732224.783 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b2 1538732224.783 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1538732224.783 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732224.783 * [misc]backup-simplify: Simplify 0 into 0 1538732224.783 * [misc]backup-simplify: Simplify 1 into 1 1538732224.783 * [misc]taylor: Taking taylor expansion of b1 in b2 1538732224.783 * [misc]backup-simplify: Simplify b1 into b1 1538732224.783 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1538732224.783 * [misc]taylor: Taking taylor expansion of a1 in b2 1538732224.783 * [misc]backup-simplify: Simplify a1 into a1 1538732224.783 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732224.783 * [misc]backup-simplify: Simplify a2 into a2 1538732224.783 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1538732224.783 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1538732224.783 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732224.783 * [misc]backup-simplify: Simplify (/ b1 (* a1 a2)) into (/ b1 (* a1 a2)) 1538732224.783 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1538732224.783 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1538732224.783 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732224.783 * [misc]backup-simplify: Simplify b2 into b2 1538732224.783 * [misc]taylor: Taking taylor expansion of b1 in a1 1538732224.783 * [misc]backup-simplify: Simplify b1 into b1 1538732224.784 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732224.784 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732224.784 * [misc]backup-simplify: Simplify 0 into 0 1538732224.784 * [misc]backup-simplify: Simplify 1 into 1 1538732224.784 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732224.784 * [misc]backup-simplify: Simplify a2 into a2 1538732224.784 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732224.784 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732224.784 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732224.784 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1538732224.784 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a2 1538732224.784 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1538732224.784 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732224.784 * [misc]backup-simplify: Simplify b2 into b2 1538732224.784 * [misc]taylor: Taking taylor expansion of b1 in a2 1538732224.784 * [misc]backup-simplify: Simplify b1 into b1 1538732224.784 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1538732224.784 * [misc]taylor: Taking taylor expansion of a1 in a2 1538732224.784 * [misc]backup-simplify: Simplify a1 into a1 1538732224.784 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732224.784 * [misc]backup-simplify: Simplify 0 into 0 1538732224.784 * [misc]backup-simplify: Simplify 1 into 1 1538732224.784 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732224.784 * [misc]backup-simplify: Simplify (* a1 0) into 0 1538732224.784 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1538732224.784 * [misc]backup-simplify: Simplify (/ (* b2 b1) a1) into (/ (* b2 b1) a1) 1538732224.784 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a2 1538732224.784 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1538732224.784 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732224.784 * [misc]backup-simplify: Simplify b2 into b2 1538732224.784 * [misc]taylor: Taking taylor expansion of b1 in a2 1538732224.784 * [misc]backup-simplify: Simplify b1 into b1 1538732224.784 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1538732224.784 * [misc]taylor: Taking taylor expansion of a1 in a2 1538732224.784 * [misc]backup-simplify: Simplify a1 into a1 1538732224.784 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732224.784 * [misc]backup-simplify: Simplify 0 into 0 1538732224.784 * [misc]backup-simplify: Simplify 1 into 1 1538732224.784 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732224.785 * [misc]backup-simplify: Simplify (* a1 0) into 0 1538732224.785 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1538732224.785 * [misc]backup-simplify: Simplify (/ (* b2 b1) a1) into (/ (* b2 b1) a1) 1538732224.785 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) a1) in a1 1538732224.785 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1538732224.785 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732224.785 * [misc]backup-simplify: Simplify b2 into b2 1538732224.785 * [misc]taylor: Taking taylor expansion of b1 in a1 1538732224.785 * [misc]backup-simplify: Simplify b1 into b1 1538732224.785 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732224.785 * [misc]backup-simplify: Simplify 0 into 0 1538732224.785 * [misc]backup-simplify: Simplify 1 into 1 1538732224.785 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732224.785 * [misc]backup-simplify: Simplify (/ (* b2 b1) 1) into (* b2 b1) 1538732224.785 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1538732224.785 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732224.785 * [misc]backup-simplify: Simplify 0 into 0 1538732224.785 * [misc]backup-simplify: Simplify 1 into 1 1538732224.785 * [misc]taylor: Taking taylor expansion of b1 in b2 1538732224.785 * [misc]backup-simplify: Simplify b1 into b1 1538732224.785 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1538732224.785 * [misc]taylor: Taking taylor expansion of b1 in b1 1538732224.785 * [misc]backup-simplify: Simplify 0 into 0 1538732224.785 * [misc]backup-simplify: Simplify 1 into 1 1538732224.785 * [misc]backup-simplify: Simplify 1 into 1 1538732224.785 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1538732224.786 * [misc]backup-simplify: Simplify (+ (* a1 0) (+ (* 0 1) (* 0 0))) into 0 1538732224.786 * [misc]backup-simplify: Simplify (- (/ 0 a1) (+ (* (/ (* b2 b1) a1) (/ 0 a1)))) into 0 1538732224.786 * [misc]taylor: Taking taylor expansion of 0 in a1 1538732224.786 * [misc]backup-simplify: Simplify 0 into 0 1538732224.786 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1538732224.786 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)))) into 0 1538732224.786 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.786 * [misc]backup-simplify: Simplify 0 into 0 1538732224.786 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.786 * [misc]backup-simplify: Simplify 0 into 0 1538732224.786 * [misc]backup-simplify: Simplify 0 into 0 1538732224.786 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b1))) into 0 1538732224.786 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.786 * [misc]backup-simplify: Simplify 0 into 0 1538732224.786 * [misc]backup-simplify: Simplify 0 into 0 1538732224.786 * [misc]backup-simplify: Simplify 0 into 0 1538732224.787 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1538732224.787 * [misc]backup-simplify: Simplify (+ (* a1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1538732224.787 * [misc]backup-simplify: Simplify (- (/ 0 a1) (+ (* (/ (* b2 b1) a1) (/ 0 a1)) (* 0 (/ 0 a1)))) into 0 1538732224.787 * [misc]taylor: Taking taylor expansion of 0 in a1 1538732224.787 * [misc]backup-simplify: Simplify 0 into 0 1538732224.787 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.787 * [misc]backup-simplify: Simplify 0 into 0 1538732224.787 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.787 * [misc]backup-simplify: Simplify 0 into 0 1538732224.787 * [misc]backup-simplify: Simplify 0 into 0 1538732224.787 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1538732224.788 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732224.788 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.788 * [misc]backup-simplify: Simplify 0 into 0 1538732224.788 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.788 * [misc]backup-simplify: Simplify 0 into 0 1538732224.788 * [misc]backup-simplify: Simplify 0 into 0 1538732224.788 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732224.788 * [misc]backup-simplify: Simplify 0 into 0 1538732224.788 * [misc]backup-simplify: Simplify 0 into 0 1538732224.788 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 (- b1)) (* (/ 1 (- b2)) (* (/ 1 (/ 1 (- a1))) (/ 1 (/ 1 (- a2))))))) into (/ (* a1 a2) (* b2 b1)) 1538732224.788 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1538732224.788 * [misc]backup-simplify: Simplify (* a2 (/ a1 b2)) into (/ (* a1 a2) b2) 1538732224.788 * [misc]approximate: Taking taylor expansion of (/ (* a1 a2) b2) in (a2 a1 b2) around 0 1538732224.788 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) b2) in b2 1538732224.788 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1538732224.788 * [misc]taylor: Taking taylor expansion of a1 in b2 1538732224.788 * [misc]backup-simplify: Simplify a1 into a1 1538732224.788 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732224.788 * [misc]backup-simplify: Simplify a2 into a2 1538732224.788 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732224.788 * [misc]backup-simplify: Simplify 0 into 0 1538732224.788 * [misc]backup-simplify: Simplify 1 into 1 1538732224.788 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732224.788 * [misc]backup-simplify: Simplify (/ (* a1 a2) 1) into (* a1 a2) 1538732224.788 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) b2) in a1 1538732224.788 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732224.789 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732224.789 * [misc]backup-simplify: Simplify 0 into 0 1538732224.789 * [misc]backup-simplify: Simplify 1 into 1 1538732224.789 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732224.789 * [misc]backup-simplify: Simplify a2 into a2 1538732224.789 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732224.789 * [misc]backup-simplify: Simplify b2 into b2 1538732224.789 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732224.789 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732224.789 * [misc]backup-simplify: Simplify (/ a2 b2) into (/ a2 b2) 1538732224.789 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) b2) in a2 1538732224.789 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1538732224.789 * [misc]taylor: Taking taylor expansion of a1 in a2 1538732224.789 * [misc]backup-simplify: Simplify a1 into a1 1538732224.789 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732224.789 * [misc]backup-simplify: Simplify 0 into 0 1538732224.789 * [misc]backup-simplify: Simplify 1 into 1 1538732224.789 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732224.789 * [misc]backup-simplify: Simplify b2 into b2 1538732224.789 * [misc]backup-simplify: Simplify (* a1 0) into 0 1538732224.789 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1538732224.789 * [misc]backup-simplify: Simplify (/ a1 b2) into (/ a1 b2) 1538732224.789 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) b2) in a2 1538732224.789 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1538732224.789 * [misc]taylor: Taking taylor expansion of a1 in a2 1538732224.789 * [misc]backup-simplify: Simplify a1 into a1 1538732224.789 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732224.789 * [misc]backup-simplify: Simplify 0 into 0 1538732224.789 * [misc]backup-simplify: Simplify 1 into 1 1538732224.789 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732224.789 * [misc]backup-simplify: Simplify b2 into b2 1538732224.789 * [misc]backup-simplify: Simplify (* a1 0) into 0 1538732224.789 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1538732224.789 * [misc]backup-simplify: Simplify (/ a1 b2) into (/ a1 b2) 1538732224.790 * [misc]taylor: Taking taylor expansion of (/ a1 b2) in a1 1538732224.790 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732224.790 * [misc]backup-simplify: Simplify 0 into 0 1538732224.790 * [misc]backup-simplify: Simplify 1 into 1 1538732224.790 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732224.790 * [misc]backup-simplify: Simplify b2 into b2 1538732224.790 * [misc]backup-simplify: Simplify (/ 1 b2) into (/ 1 b2) 1538732224.790 * [misc]taylor: Taking taylor expansion of (/ 1 b2) in b2 1538732224.790 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732224.790 * [misc]backup-simplify: Simplify 0 into 0 1538732224.790 * [misc]backup-simplify: Simplify 1 into 1 1538732224.790 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538732224.790 * [misc]backup-simplify: Simplify 1 into 1 1538732224.790 * [misc]backup-simplify: Simplify (+ (* a1 0) (+ (* 0 1) (* 0 0))) into 0 1538732224.790 * [misc]backup-simplify: Simplify (- (/ 0 b2) (+ (* (/ a1 b2) (/ 0 b2)))) into 0 1538732224.790 * [misc]taylor: Taking taylor expansion of 0 in a1 1538732224.790 * [misc]backup-simplify: Simplify 0 into 0 1538732224.790 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.790 * [misc]backup-simplify: Simplify 0 into 0 1538732224.790 * [misc]backup-simplify: Simplify (- (/ 0 b2) (+ (* (/ 1 b2) (/ 0 b2)))) into 0 1538732224.790 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.790 * [misc]backup-simplify: Simplify 0 into 0 1538732224.791 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538732224.791 * [misc]backup-simplify: Simplify 0 into 0 1538732224.791 * [misc]backup-simplify: Simplify (+ (* a1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1538732224.791 * [misc]backup-simplify: Simplify (- (/ 0 b2) (+ (* (/ a1 b2) (/ 0 b2)) (* 0 (/ 0 b2)))) into 0 1538732224.791 * [misc]taylor: Taking taylor expansion of 0 in a1 1538732224.791 * [misc]backup-simplify: Simplify 0 into 0 1538732224.791 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.791 * [misc]backup-simplify: Simplify 0 into 0 1538732224.791 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.791 * [misc]backup-simplify: Simplify 0 into 0 1538732224.791 * [misc]backup-simplify: Simplify (- (/ 0 b2) (+ (* (/ 1 b2) (/ 0 b2)) (* 0 (/ 0 b2)))) into 0 1538732224.791 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.791 * [misc]backup-simplify: Simplify 0 into 0 1538732224.791 * [misc]backup-simplify: Simplify 0 into 0 1538732224.791 * [misc]backup-simplify: Simplify 0 into 0 1538732224.791 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732224.791 * [misc]backup-simplify: Simplify 0 into 0 1538732224.792 * [misc]backup-simplify: Simplify (+ (* a1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1538732224.792 * [misc]backup-simplify: Simplify (- (/ 0 b2) (+ (* (/ a1 b2) (/ 0 b2)) (* 0 (/ 0 b2)) (* 0 (/ 0 b2)))) into 0 1538732224.792 * [misc]taylor: Taking taylor expansion of 0 in a1 1538732224.792 * [misc]backup-simplify: Simplify 0 into 0 1538732224.792 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.792 * [misc]backup-simplify: Simplify 0 into 0 1538732224.792 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.792 * [misc]backup-simplify: Simplify 0 into 0 1538732224.792 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.792 * [misc]backup-simplify: Simplify 0 into 0 1538732224.792 * [misc]backup-simplify: Simplify (- (/ 0 b2) (+ (* (/ 1 b2) (/ 0 b2)) (* 0 (/ 0 b2)) (* 0 (/ 0 b2)))) into 0 1538732224.792 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.792 * [misc]backup-simplify: Simplify 0 into 0 1538732224.792 * [misc]backup-simplify: Simplify 0 into 0 1538732224.792 * [misc]backup-simplify: Simplify 0 into 0 1538732224.792 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b2) (* a1 a2))) into (/ (* a1 a2) b2) 1538732224.792 * [misc]backup-simplify: Simplify (* (/ 1 a2) (/ (/ 1 a1) (/ 1 b2))) into (/ b2 (* a1 a2)) 1538732224.792 * [misc]approximate: Taking taylor expansion of (/ b2 (* a1 a2)) in (a2 a1 b2) around 0 1538732224.792 * [misc]taylor: Taking taylor expansion of (/ b2 (* a1 a2)) in b2 1538732224.792 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732224.792 * [misc]backup-simplify: Simplify 0 into 0 1538732224.792 * [misc]backup-simplify: Simplify 1 into 1 1538732224.792 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1538732224.792 * [misc]taylor: Taking taylor expansion of a1 in b2 1538732224.792 * [misc]backup-simplify: Simplify a1 into a1 1538732224.792 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732224.793 * [misc]backup-simplify: Simplify a2 into a2 1538732224.793 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732224.793 * [misc]backup-simplify: Simplify (/ 1 (* a1 a2)) into (/ 1 (* a1 a2)) 1538732224.793 * [misc]taylor: Taking taylor expansion of (/ b2 (* a1 a2)) in a1 1538732224.793 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732224.793 * [misc]backup-simplify: Simplify b2 into b2 1538732224.793 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732224.793 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732224.793 * [misc]backup-simplify: Simplify 0 into 0 1538732224.793 * [misc]backup-simplify: Simplify 1 into 1 1538732224.793 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732224.793 * [misc]backup-simplify: Simplify a2 into a2 1538732224.793 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732224.793 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732224.793 * [misc]backup-simplify: Simplify (/ b2 a2) into (/ b2 a2) 1538732224.793 * [misc]taylor: Taking taylor expansion of (/ b2 (* a1 a2)) in a2 1538732224.793 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732224.793 * [misc]backup-simplify: Simplify b2 into b2 1538732224.793 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1538732224.793 * [misc]taylor: Taking taylor expansion of a1 in a2 1538732224.793 * [misc]backup-simplify: Simplify a1 into a1 1538732224.793 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732224.793 * [misc]backup-simplify: Simplify 0 into 0 1538732224.793 * [misc]backup-simplify: Simplify 1 into 1 1538732224.793 * [misc]backup-simplify: Simplify (* a1 0) into 0 1538732224.793 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1538732224.793 * [misc]backup-simplify: Simplify (/ b2 a1) into (/ b2 a1) 1538732224.793 * [misc]taylor: Taking taylor expansion of (/ b2 (* a1 a2)) in a2 1538732224.793 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732224.793 * [misc]backup-simplify: Simplify b2 into b2 1538732224.793 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1538732224.793 * [misc]taylor: Taking taylor expansion of a1 in a2 1538732224.793 * [misc]backup-simplify: Simplify a1 into a1 1538732224.793 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732224.793 * [misc]backup-simplify: Simplify 0 into 0 1538732224.793 * [misc]backup-simplify: Simplify 1 into 1 1538732224.793 * [misc]backup-simplify: Simplify (* a1 0) into 0 1538732224.794 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1538732224.794 * [misc]backup-simplify: Simplify (/ b2 a1) into (/ b2 a1) 1538732224.794 * [misc]taylor: Taking taylor expansion of (/ b2 a1) in a1 1538732224.794 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732224.794 * [misc]backup-simplify: Simplify b2 into b2 1538732224.794 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732224.794 * [misc]backup-simplify: Simplify 0 into 0 1538732224.794 * [misc]backup-simplify: Simplify 1 into 1 1538732224.794 * [misc]backup-simplify: Simplify (/ b2 1) into b2 1538732224.794 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732224.794 * [misc]backup-simplify: Simplify 0 into 0 1538732224.794 * [misc]backup-simplify: Simplify 1 into 1 1538732224.794 * [misc]backup-simplify: Simplify 1 into 1 1538732224.794 * [misc]backup-simplify: Simplify (+ (* a1 0) (+ (* 0 1) (* 0 0))) into 0 1538732224.794 * [misc]backup-simplify: Simplify (- (/ 0 a1) (+ (* (/ b2 a1) (/ 0 a1)))) into 0 1538732224.794 * [misc]taylor: Taking taylor expansion of 0 in a1 1538732224.794 * [misc]backup-simplify: Simplify 0 into 0 1538732224.794 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* b2 (/ 0 1)))) into 0 1538732224.794 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.794 * [misc]backup-simplify: Simplify 0 into 0 1538732224.794 * [misc]backup-simplify: Simplify 0 into 0 1538732224.795 * [misc]backup-simplify: Simplify 0 into 0 1538732224.795 * [misc]backup-simplify: Simplify (+ (* a1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1538732224.795 * [misc]backup-simplify: Simplify (- (/ 0 a1) (+ (* (/ b2 a1) (/ 0 a1)) (* 0 (/ 0 a1)))) into 0 1538732224.795 * [misc]taylor: Taking taylor expansion of 0 in a1 1538732224.795 * [misc]backup-simplify: Simplify 0 into 0 1538732224.795 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.795 * [misc]backup-simplify: Simplify 0 into 0 1538732224.795 * [misc]backup-simplify: Simplify 0 into 0 1538732224.795 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* b2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732224.795 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.795 * [misc]backup-simplify: Simplify 0 into 0 1538732224.795 * [misc]backup-simplify: Simplify 0 into 0 1538732224.795 * [misc]backup-simplify: Simplify 0 into 0 1538732224.795 * [misc]backup-simplify: Simplify 0 into 0 1538732224.796 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b2) (* (/ 1 (/ 1 a1)) (/ 1 (/ 1 a2))))) into (/ (* a1 a2) b2) 1538732224.796 * [misc]backup-simplify: Simplify (* (/ 1 (- a2)) (/ (/ 1 (- a1)) (/ 1 (- b2)))) into (* -1 (/ b2 (* a1 a2))) 1538732224.796 * [misc]approximate: Taking taylor expansion of (* -1 (/ b2 (* a1 a2))) in (a2 a1 b2) around 0 1538732224.796 * [misc]taylor: Taking taylor expansion of (* -1 (/ b2 (* a1 a2))) in b2 1538732224.796 * [misc]taylor: Taking taylor expansion of -1 in b2 1538732224.796 * [misc]backup-simplify: Simplify -1 into -1 1538732224.796 * [misc]taylor: Taking taylor expansion of (/ b2 (* a1 a2)) in b2 1538732224.796 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732224.796 * [misc]backup-simplify: Simplify 0 into 0 1538732224.796 * [misc]backup-simplify: Simplify 1 into 1 1538732224.796 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1538732224.796 * [misc]taylor: Taking taylor expansion of a1 in b2 1538732224.796 * [misc]backup-simplify: Simplify a1 into a1 1538732224.796 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732224.796 * [misc]backup-simplify: Simplify a2 into a2 1538732224.796 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732224.796 * [misc]backup-simplify: Simplify (/ 1 (* a1 a2)) into (/ 1 (* a1 a2)) 1538732224.796 * [misc]taylor: Taking taylor expansion of (* -1 (/ b2 (* a1 a2))) in a1 1538732224.796 * [misc]taylor: Taking taylor expansion of -1 in a1 1538732224.796 * [misc]backup-simplify: Simplify -1 into -1 1538732224.796 * [misc]taylor: Taking taylor expansion of (/ b2 (* a1 a2)) in a1 1538732224.796 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732224.796 * [misc]backup-simplify: Simplify b2 into b2 1538732224.796 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732224.796 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732224.796 * [misc]backup-simplify: Simplify 0 into 0 1538732224.796 * [misc]backup-simplify: Simplify 1 into 1 1538732224.796 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732224.796 * [misc]backup-simplify: Simplify a2 into a2 1538732224.796 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732224.796 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732224.796 * [misc]backup-simplify: Simplify (/ b2 a2) into (/ b2 a2) 1538732224.796 * [misc]taylor: Taking taylor expansion of (* -1 (/ b2 (* a1 a2))) in a2 1538732224.796 * [misc]taylor: Taking taylor expansion of -1 in a2 1538732224.796 * [misc]backup-simplify: Simplify -1 into -1 1538732224.796 * [misc]taylor: Taking taylor expansion of (/ b2 (* a1 a2)) in a2 1538732224.796 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732224.796 * [misc]backup-simplify: Simplify b2 into b2 1538732224.797 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1538732224.797 * [misc]taylor: Taking taylor expansion of a1 in a2 1538732224.797 * [misc]backup-simplify: Simplify a1 into a1 1538732224.797 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732224.797 * [misc]backup-simplify: Simplify 0 into 0 1538732224.797 * [misc]backup-simplify: Simplify 1 into 1 1538732224.797 * [misc]backup-simplify: Simplify (* a1 0) into 0 1538732224.797 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1538732224.797 * [misc]backup-simplify: Simplify (/ b2 a1) into (/ b2 a1) 1538732224.797 * [misc]taylor: Taking taylor expansion of (* -1 (/ b2 (* a1 a2))) in a2 1538732224.797 * [misc]taylor: Taking taylor expansion of -1 in a2 1538732224.797 * [misc]backup-simplify: Simplify -1 into -1 1538732224.797 * [misc]taylor: Taking taylor expansion of (/ b2 (* a1 a2)) in a2 1538732224.797 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732224.797 * [misc]backup-simplify: Simplify b2 into b2 1538732224.797 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1538732224.797 * [misc]taylor: Taking taylor expansion of a1 in a2 1538732224.797 * [misc]backup-simplify: Simplify a1 into a1 1538732224.797 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732224.797 * [misc]backup-simplify: Simplify 0 into 0 1538732224.797 * [misc]backup-simplify: Simplify 1 into 1 1538732224.797 * [misc]backup-simplify: Simplify (* a1 0) into 0 1538732224.797 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1538732224.797 * [misc]backup-simplify: Simplify (/ b2 a1) into (/ b2 a1) 1538732224.797 * [misc]backup-simplify: Simplify (* -1 (/ b2 a1)) into (* -1 (/ b2 a1)) 1538732224.797 * [misc]taylor: Taking taylor expansion of (* -1 (/ b2 a1)) in a1 1538732224.797 * [misc]taylor: Taking taylor expansion of -1 in a1 1538732224.797 * [misc]backup-simplify: Simplify -1 into -1 1538732224.797 * [misc]taylor: Taking taylor expansion of (/ b2 a1) in a1 1538732224.797 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732224.797 * [misc]backup-simplify: Simplify b2 into b2 1538732224.797 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732224.797 * [misc]backup-simplify: Simplify 0 into 0 1538732224.797 * [misc]backup-simplify: Simplify 1 into 1 1538732224.797 * [misc]backup-simplify: Simplify (/ b2 1) into b2 1538732224.797 * [misc]backup-simplify: Simplify (* -1 b2) into (* -1 b2) 1538732224.798 * [misc]taylor: Taking taylor expansion of (* -1 b2) in b2 1538732224.798 * [misc]taylor: Taking taylor expansion of -1 in b2 1538732224.798 * [misc]backup-simplify: Simplify -1 into -1 1538732224.798 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732224.798 * [misc]backup-simplify: Simplify 0 into 0 1538732224.798 * [misc]backup-simplify: Simplify 1 into 1 1538732224.798 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1538732224.798 * [misc]backup-simplify: Simplify -1 into -1 1538732224.798 * [misc]backup-simplify: Simplify (+ (* a1 0) (+ (* 0 1) (* 0 0))) into 0 1538732224.798 * [misc]backup-simplify: Simplify (- (/ 0 a1) (+ (* (/ b2 a1) (/ 0 a1)))) into 0 1538732224.798 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ b2 a1))) into 0 1538732224.798 * [misc]taylor: Taking taylor expansion of 0 in a1 1538732224.798 * [misc]backup-simplify: Simplify 0 into 0 1538732224.798 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* b2 (/ 0 1)))) into 0 1538732224.799 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 b2)) into 0 1538732224.799 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.799 * [misc]backup-simplify: Simplify 0 into 0 1538732224.799 * [misc]backup-simplify: Simplify 0 into 0 1538732224.799 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1538732224.799 * [misc]backup-simplify: Simplify 0 into 0 1538732224.799 * [misc]backup-simplify: Simplify (+ (* a1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1538732224.799 * [misc]backup-simplify: Simplify (- (/ 0 a1) (+ (* (/ b2 a1) (/ 0 a1)) (* 0 (/ 0 a1)))) into 0 1538732224.799 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ b2 a1)))) into 0 1538732224.799 * [misc]taylor: Taking taylor expansion of 0 in a1 1538732224.799 * [misc]backup-simplify: Simplify 0 into 0 1538732224.799 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.799 * [misc]backup-simplify: Simplify 0 into 0 1538732224.799 * [misc]backup-simplify: Simplify 0 into 0 1538732224.800 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* b2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732224.800 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 b2))) into 0 1538732224.800 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732224.800 * [misc]backup-simplify: Simplify 0 into 0 1538732224.800 * [misc]backup-simplify: Simplify 0 into 0 1538732224.800 * [misc]backup-simplify: Simplify 0 into 0 1538732224.800 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1538732224.800 * [misc]backup-simplify: Simplify 0 into 0 1538732224.800 * [misc]backup-simplify: Simplify (* -1 (* (/ 1 (- b2)) (* (/ 1 (/ 1 (- a1))) (/ 1 (/ 1 (- a2)))))) into (/ (* a1 a2) b2) 1538732224.801 * * * [misc]progress: simplifying candidates 1538732224.801 * * * * [misc]progress: [ 1 / 35 ] simplifiying candidate # 1538732224.801 * * * * [misc]progress: [ 2 / 35 ] simplifiying candidate # 1538732224.801 * * * * [misc]progress: [ 3 / 35 ] simplifiying candidate # 1538732224.801 * * * * [misc]progress: [ 4 / 35 ] simplifiying candidate # 1538732224.801 * * * * [misc]progress: [ 5 / 35 ] simplifiying candidate # 1538732224.801 * * * * [misc]progress: [ 6 / 35 ] simplifiying candidate # 1538732224.801 * * * * [misc]progress: [ 7 / 35 ] simplifiying candidate # 1538732224.801 * * * * [misc]progress: [ 8 / 35 ] simplifiying candidate # 1538732224.801 * * * * [misc]progress: [ 9 / 35 ] simplifiying candidate # 1538732224.801 * * * * [misc]progress: [ 10 / 35 ] simplifiying candidate # 1538732224.801 * * * * [misc]progress: [ 11 / 35 ] simplifiying candidate # 1538732224.801 * * * * [misc]progress: [ 12 / 35 ] simplifiying candidate # 1538732224.801 * * * * [misc]progress: [ 13 / 35 ] simplifiying candidate # 1538732224.801 * * * * [misc]progress: [ 14 / 35 ] simplifiying candidate # 1538732224.801 * [enter]simplify: Simplifying (* a2 a1) 1538732224.801 * * [misc]simplify: iters left: 2 (3 enodes) 1538732224.802 * * [misc]simplify: iters left: 1 (4 enodes) 1538732224.803 * [exit]simplify: Simplified to (* a2 a1) 1538732224.803 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (/ (* a2 a1) (* b1 b2))) 1538732224.803 * * * * [misc]progress: [ 15 / 35 ] simplifiying candidate # 1538732224.803 * * * * [misc]progress: [ 16 / 35 ] simplifiying candidate # 1538732224.803 * * * * [misc]progress: [ 17 / 35 ] simplifiying candidate # 1538732224.803 * * * * [misc]progress: [ 18 / 35 ] simplifiying candidate # 1538732224.803 * * * * [misc]progress: [ 19 / 35 ] simplifiying candidate # 1538732224.803 * * * * [misc]progress: [ 20 / 35 ] simplifiying candidate # 1538732224.803 * * * * [misc]progress: [ 21 / 35 ] simplifiying candidate # 1538732224.803 * * * * [misc]progress: [ 22 / 35 ] simplifiying candidate # 1538732224.803 * * * * [misc]progress: [ 23 / 35 ] simplifiying candidate # 1538732224.803 * * * * [misc]progress: [ 24 / 35 ] simplifiying candidate # 1538732224.803 * [enter]simplify: Simplifying (cbrt (/ a1 b2)) 1538732224.803 * * [misc]simplify: iters left: 3 (4 enodes) 1538732224.804 * [exit]simplify: Simplified to (cbrt (/ a1 b2)) 1538732224.804 * [misc]simplify: Simplified (2 1 2) to (λ (a1 a2 b1 b2) (/ (* (* a2 (* (cbrt (/ a1 b2)) (cbrt (/ a1 b2)))) (cbrt (/ a1 b2))) b1)) 1538732224.804 * * * * [misc]progress: [ 25 / 35 ] simplifiying candidate # 1538732224.804 * [enter]simplify: Simplifying (sqrt (/ a1 b2)) 1538732224.805 * * [misc]simplify: iters left: 3 (4 enodes) 1538732224.806 * [exit]simplify: Simplified to (sqrt (/ a1 b2)) 1538732224.806 * [misc]simplify: Simplified (2 1 2) to (λ (a1 a2 b1 b2) (/ (* (* a2 (sqrt (/ a1 b2))) (sqrt (/ a1 b2))) b1)) 1538732224.806 * * * * [misc]progress: [ 26 / 35 ] simplifiying candidate # 1538732224.806 * [enter]simplify: Simplifying (/ a1 b2) 1538732224.806 * * [misc]simplify: iters left: 2 (3 enodes) 1538732224.807 * [exit]simplify: Simplified to (/ a1 b2) 1538732224.807 * [misc]simplify: Simplified (2 1 2) to (λ (a1 a2 b1 b2) (/ (* (* a2 1) (/ a1 b2)) b1)) 1538732224.807 * * * * [misc]progress: [ 27 / 35 ] simplifiying candidate # 1538732224.807 * [enter]simplify: Simplifying (/ 1 b2) 1538732224.807 * * [misc]simplify: iters left: 2 (3 enodes) 1538732224.807 * * [misc]simplify: iters left: 1 (5 enodes) 1538732224.808 * [exit]simplify: Simplified to (/ 1 b2) 1538732224.808 * [misc]simplify: Simplified (2 1 2) to (λ (a1 a2 b1 b2) (/ (* (* a2 a1) (/ 1 b2)) b1)) 1538732224.808 * * * * [misc]progress: [ 28 / 35 ] simplifiying candidate # 1538732224.808 * * * * [misc]progress: [ 29 / 35 ] simplifiying candidate # 1538732224.808 * * * * [misc]progress: [ 30 / 35 ] simplifiying candidate # 1538732224.808 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1538732224.809 * * [misc]simplify: iters left: 4 (7 enodes) 1538732224.811 * * [misc]simplify: iters left: 3 (16 enodes) 1538732224.815 * * [misc]simplify: iters left: 2 (35 enodes) 1538732224.822 * * [misc]simplify: iters left: 1 (58 enodes) 1538732224.834 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1538732224.834 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1538732224.834 * * * * [misc]progress: [ 31 / 35 ] simplifiying candidate # 1538732224.834 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1538732224.835 * * [misc]simplify: iters left: 4 (7 enodes) 1538732224.837 * * [misc]simplify: iters left: 3 (16 enodes) 1538732224.843 * * [misc]simplify: iters left: 2 (35 enodes) 1538732224.851 * * [misc]simplify: iters left: 1 (58 enodes) 1538732224.862 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1538732224.862 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1538732224.862 * * * * [misc]progress: [ 32 / 35 ] simplifiying candidate # 1538732224.862 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1538732224.863 * * [misc]simplify: iters left: 4 (7 enodes) 1538732224.865 * * [misc]simplify: iters left: 3 (16 enodes) 1538732224.870 * * [misc]simplify: iters left: 2 (35 enodes) 1538732224.877 * * [misc]simplify: iters left: 1 (58 enodes) 1538732224.889 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1538732224.889 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1538732224.889 * * * * [misc]progress: [ 33 / 35 ] simplifiying candidate # 1538732224.889 * [enter]simplify: Simplifying (/ (* a1 a2) b2) 1538732224.889 * * [misc]simplify: iters left: 4 (5 enodes) 1538732224.890 * * [misc]simplify: iters left: 3 (8 enodes) 1538732224.892 * * [misc]simplify: iters left: 2 (10 enodes) 1538732224.893 * * [misc]simplify: iters left: 1 (13 enodes) 1538732224.896 * [exit]simplify: Simplified to (/ a2 (/ b2 a1)) 1538732224.896 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (/ (/ a2 (/ b2 a1)) b1)) 1538732224.896 * * * * [misc]progress: [ 34 / 35 ] simplifiying candidate # 1538732224.896 * [enter]simplify: Simplifying (/ (* a1 a2) b2) 1538732224.896 * * [misc]simplify: iters left: 4 (5 enodes) 1538732224.897 * * [misc]simplify: iters left: 3 (8 enodes) 1538732224.898 * * [misc]simplify: iters left: 2 (10 enodes) 1538732224.900 * * [misc]simplify: iters left: 1 (13 enodes) 1538732224.903 * [exit]simplify: Simplified to (/ a2 (/ b2 a1)) 1538732224.903 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (/ (/ a2 (/ b2 a1)) b1)) 1538732224.903 * * * * [misc]progress: [ 35 / 35 ] simplifiying candidate # 1538732224.903 * [enter]simplify: Simplifying (/ (* a1 a2) b2) 1538732224.903 * * [misc]simplify: iters left: 4 (5 enodes) 1538732224.904 * * [misc]simplify: iters left: 3 (8 enodes) 1538732224.905 * * [misc]simplify: iters left: 2 (10 enodes) 1538732224.909 * * [misc]simplify: iters left: 1 (13 enodes) 1538732224.912 * [exit]simplify: Simplified to (/ a2 (/ b2 a1)) 1538732224.912 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (/ (/ a2 (/ b2 a1)) b1)) 1538732224.912 * * * [misc]progress: adding candidates to table 1538732225.364 * * [misc]progress: iteration 4 / 4 1538732225.364 * * * [misc]progress: picking best candidate 1538732225.388 * * * * [misc]pick: Picked # 1538732225.388 * * * [misc]progress: localizing error 1538732225.398 * * * [misc]progress: generating rewritten candidates 1538732225.399 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1538732225.445 * * * [misc]progress: generating series expansions 1538732225.445 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1538732225.445 * [misc]backup-simplify: Simplify (/ (* a1 a2) (* b2 b1)) into (/ (* a1 a2) (* b2 b1)) 1538732225.445 * [misc]approximate: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in (a1 a2 b2 b1) around 0 1538732225.445 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in b1 1538732225.445 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1538732225.445 * [misc]taylor: Taking taylor expansion of a1 in b1 1538732225.445 * [misc]backup-simplify: Simplify a1 into a1 1538732225.445 * [misc]taylor: Taking taylor expansion of a2 in b1 1538732225.445 * [misc]backup-simplify: Simplify a2 into a2 1538732225.445 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1538732225.446 * [misc]taylor: Taking taylor expansion of b2 in b1 1538732225.446 * [misc]backup-simplify: Simplify b2 into b2 1538732225.446 * [misc]taylor: Taking taylor expansion of b1 in b1 1538732225.446 * [misc]backup-simplify: Simplify 0 into 0 1538732225.446 * [misc]backup-simplify: Simplify 1 into 1 1538732225.446 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732225.446 * [misc]backup-simplify: Simplify (* b2 0) into 0 1538732225.446 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1538732225.446 * [misc]backup-simplify: Simplify (/ (* a1 a2) b2) into (/ (* a1 a2) b2) 1538732225.446 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in b2 1538732225.446 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1538732225.446 * [misc]taylor: Taking taylor expansion of a1 in b2 1538732225.446 * [misc]backup-simplify: Simplify a1 into a1 1538732225.446 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732225.446 * [misc]backup-simplify: Simplify a2 into a2 1538732225.446 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1538732225.447 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732225.447 * [misc]backup-simplify: Simplify 0 into 0 1538732225.447 * [misc]backup-simplify: Simplify 1 into 1 1538732225.447 * [misc]taylor: Taking taylor expansion of b1 in b2 1538732225.447 * [misc]backup-simplify: Simplify b1 into b1 1538732225.447 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732225.447 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1538732225.447 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1538732225.447 * [misc]backup-simplify: Simplify (/ (* a1 a2) b1) into (/ (* a1 a2) b1) 1538732225.447 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a2 1538732225.447 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1538732225.447 * [misc]taylor: Taking taylor expansion of a1 in a2 1538732225.447 * [misc]backup-simplify: Simplify a1 into a1 1538732225.447 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732225.447 * [misc]backup-simplify: Simplify 0 into 0 1538732225.447 * [misc]backup-simplify: Simplify 1 into 1 1538732225.447 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1538732225.447 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732225.447 * [misc]backup-simplify: Simplify b2 into b2 1538732225.447 * [misc]taylor: Taking taylor expansion of b1 in a2 1538732225.447 * [misc]backup-simplify: Simplify b1 into b1 1538732225.447 * [misc]backup-simplify: Simplify (* a1 0) into 0 1538732225.448 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1538732225.448 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732225.448 * [misc]backup-simplify: Simplify (/ a1 (* b2 b1)) into (/ a1 (* b2 b1)) 1538732225.448 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a1 1538732225.448 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732225.448 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732225.448 * [misc]backup-simplify: Simplify 0 into 0 1538732225.448 * [misc]backup-simplify: Simplify 1 into 1 1538732225.448 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732225.448 * [misc]backup-simplify: Simplify a2 into a2 1538732225.448 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1538732225.448 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732225.448 * [misc]backup-simplify: Simplify b2 into b2 1538732225.448 * [misc]taylor: Taking taylor expansion of b1 in a1 1538732225.448 * [misc]backup-simplify: Simplify b1 into b1 1538732225.448 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732225.448 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732225.449 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732225.449 * [misc]backup-simplify: Simplify (/ a2 (* b2 b1)) into (/ a2 (* b2 b1)) 1538732225.449 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a1 1538732225.449 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732225.449 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732225.449 * [misc]backup-simplify: Simplify 0 into 0 1538732225.449 * [misc]backup-simplify: Simplify 1 into 1 1538732225.449 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732225.449 * [misc]backup-simplify: Simplify a2 into a2 1538732225.449 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1538732225.449 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732225.449 * [misc]backup-simplify: Simplify b2 into b2 1538732225.449 * [misc]taylor: Taking taylor expansion of b1 in a1 1538732225.449 * [misc]backup-simplify: Simplify b1 into b1 1538732225.449 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732225.449 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732225.449 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732225.450 * [misc]backup-simplify: Simplify (/ a2 (* b2 b1)) into (/ a2 (* b2 b1)) 1538732225.450 * [misc]taylor: Taking taylor expansion of (/ a2 (* b2 b1)) in a2 1538732225.450 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732225.450 * [misc]backup-simplify: Simplify 0 into 0 1538732225.450 * [misc]backup-simplify: Simplify 1 into 1 1538732225.450 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1538732225.450 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732225.450 * [misc]backup-simplify: Simplify b2 into b2 1538732225.450 * [misc]taylor: Taking taylor expansion of b1 in a2 1538732225.450 * [misc]backup-simplify: Simplify b1 into b1 1538732225.450 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732225.450 * [misc]backup-simplify: Simplify (/ 1 (* b2 b1)) into (/ 1 (* b2 b1)) 1538732225.450 * [misc]taylor: Taking taylor expansion of (/ 1 (* b2 b1)) in b2 1538732225.450 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1538732225.450 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732225.450 * [misc]backup-simplify: Simplify 0 into 0 1538732225.450 * [misc]backup-simplify: Simplify 1 into 1 1538732225.450 * [misc]taylor: Taking taylor expansion of b1 in b2 1538732225.450 * [misc]backup-simplify: Simplify b1 into b1 1538732225.450 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1538732225.450 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1538732225.451 * [misc]backup-simplify: Simplify (/ 1 b1) into (/ 1 b1) 1538732225.451 * [misc]taylor: Taking taylor expansion of (/ 1 b1) in b1 1538732225.451 * [misc]taylor: Taking taylor expansion of b1 in b1 1538732225.451 * [misc]backup-simplify: Simplify 0 into 0 1538732225.451 * [misc]backup-simplify: Simplify 1 into 1 1538732225.451 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538732225.451 * [misc]backup-simplify: Simplify 1 into 1 1538732225.451 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1538732225.451 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1538732225.452 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))))) into 0 1538732225.452 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732225.452 * [misc]backup-simplify: Simplify 0 into 0 1538732225.452 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732225.452 * [misc]backup-simplify: Simplify 0 into 0 1538732225.452 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1538732225.452 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))))) into 0 1538732225.452 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732225.452 * [misc]backup-simplify: Simplify 0 into 0 1538732225.453 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b1))) into 0 1538732225.453 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b1) (/ 0 b1)))) into 0 1538732225.453 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732225.453 * [misc]backup-simplify: Simplify 0 into 0 1538732225.453 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538732225.453 * [misc]backup-simplify: Simplify 0 into 0 1538732225.454 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1538732225.454 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1538732225.454 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1538732225.454 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732225.454 * [misc]backup-simplify: Simplify 0 into 0 1538732225.454 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732225.454 * [misc]backup-simplify: Simplify 0 into 0 1538732225.454 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732225.454 * [misc]backup-simplify: Simplify 0 into 0 1538732225.455 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1538732225.455 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1538732225.455 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732225.455 * [misc]backup-simplify: Simplify 0 into 0 1538732225.455 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732225.455 * [misc]backup-simplify: Simplify 0 into 0 1538732225.455 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732225.455 * [misc]backup-simplify: Simplify 0 into 0 1538732225.456 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 b1)))) into 0 1538732225.456 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b1) (/ 0 b1)) (* 0 (/ 0 b1)))) into 0 1538732225.456 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732225.456 * [misc]backup-simplify: Simplify 0 into 0 1538732225.456 * [misc]backup-simplify: Simplify 0 into 0 1538732225.456 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732225.456 * [misc]backup-simplify: Simplify 0 into 0 1538732225.457 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 a2))))) into 0 1538732225.458 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1)))) into 0 1538732225.458 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1538732225.458 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732225.458 * [misc]backup-simplify: Simplify 0 into 0 1538732225.458 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732225.458 * [misc]backup-simplify: Simplify 0 into 0 1538732225.458 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732225.458 * [misc]backup-simplify: Simplify 0 into 0 1538732225.458 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732225.458 * [misc]backup-simplify: Simplify 0 into 0 1538732225.459 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1)))) into 0 1538732225.459 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1538732225.459 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732225.459 * [misc]backup-simplify: Simplify 0 into 0 1538732225.459 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732225.459 * [misc]backup-simplify: Simplify 0 into 0 1538732225.459 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732225.459 * [misc]backup-simplify: Simplify 0 into 0 1538732225.459 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732225.459 * [misc]backup-simplify: Simplify 0 into 0 1538732225.459 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732225.460 * [misc]backup-simplify: Simplify 0 into 0 1538732225.460 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732225.460 * [misc]backup-simplify: Simplify 0 into 0 1538732225.460 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1))))) into 0 1538732225.461 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b1) (/ 0 b1)) (* 0 (/ 0 b1)) (* 0 (/ 0 b1)))) into 0 1538732225.461 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732225.461 * [misc]backup-simplify: Simplify 0 into 0 1538732225.461 * [misc]backup-simplify: Simplify 0 into 0 1538732225.461 * [misc]backup-simplify: Simplify 0 into 0 1538732225.461 * [misc]backup-simplify: Simplify 0 into 0 1538732225.461 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b1) (* (/ 1 b2) (* a2 a1)))) into (/ (* a1 a2) (* b2 b1)) 1538732225.461 * [misc]backup-simplify: Simplify (/ (* (/ 1 a1) (/ 1 a2)) (* (/ 1 b2) (/ 1 b1))) into (/ (* b2 b1) (* a1 a2)) 1538732225.461 * [misc]approximate: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in (a1 a2 b2 b1) around 0 1538732225.461 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b1 1538732225.461 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1538732225.461 * [misc]taylor: Taking taylor expansion of b2 in b1 1538732225.461 * [misc]backup-simplify: Simplify b2 into b2 1538732225.462 * [misc]taylor: Taking taylor expansion of b1 in b1 1538732225.462 * [misc]backup-simplify: Simplify 0 into 0 1538732225.462 * [misc]backup-simplify: Simplify 1 into 1 1538732225.462 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1538732225.462 * [misc]taylor: Taking taylor expansion of a1 in b1 1538732225.462 * [misc]backup-simplify: Simplify a1 into a1 1538732225.462 * [misc]taylor: Taking taylor expansion of a2 in b1 1538732225.462 * [misc]backup-simplify: Simplify a2 into a2 1538732225.462 * [misc]backup-simplify: Simplify (* b2 0) into 0 1538732225.462 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1538732225.462 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732225.462 * [misc]backup-simplify: Simplify (/ b2 (* a1 a2)) into (/ b2 (* a1 a2)) 1538732225.462 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b2 1538732225.462 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1538732225.462 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732225.462 * [misc]backup-simplify: Simplify 0 into 0 1538732225.462 * [misc]backup-simplify: Simplify 1 into 1 1538732225.462 * [misc]taylor: Taking taylor expansion of b1 in b2 1538732225.462 * [misc]backup-simplify: Simplify b1 into b1 1538732225.462 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1538732225.462 * [misc]taylor: Taking taylor expansion of a1 in b2 1538732225.462 * [misc]backup-simplify: Simplify a1 into a1 1538732225.462 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732225.462 * [misc]backup-simplify: Simplify a2 into a2 1538732225.463 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1538732225.463 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1538732225.463 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732225.463 * [misc]backup-simplify: Simplify (/ b1 (* a1 a2)) into (/ b1 (* a1 a2)) 1538732225.463 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a2 1538732225.463 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1538732225.463 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732225.463 * [misc]backup-simplify: Simplify b2 into b2 1538732225.463 * [misc]taylor: Taking taylor expansion of b1 in a2 1538732225.463 * [misc]backup-simplify: Simplify b1 into b1 1538732225.463 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1538732225.463 * [misc]taylor: Taking taylor expansion of a1 in a2 1538732225.463 * [misc]backup-simplify: Simplify a1 into a1 1538732225.463 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732225.463 * [misc]backup-simplify: Simplify 0 into 0 1538732225.463 * [misc]backup-simplify: Simplify 1 into 1 1538732225.463 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732225.463 * [misc]backup-simplify: Simplify (* a1 0) into 0 1538732225.464 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1538732225.464 * [misc]backup-simplify: Simplify (/ (* b2 b1) a1) into (/ (* b2 b1) a1) 1538732225.464 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1538732225.464 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1538732225.464 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732225.464 * [misc]backup-simplify: Simplify b2 into b2 1538732225.464 * [misc]taylor: Taking taylor expansion of b1 in a1 1538732225.464 * [misc]backup-simplify: Simplify b1 into b1 1538732225.464 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732225.464 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732225.464 * [misc]backup-simplify: Simplify 0 into 0 1538732225.464 * [misc]backup-simplify: Simplify 1 into 1 1538732225.464 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732225.464 * [misc]backup-simplify: Simplify a2 into a2 1538732225.464 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732225.464 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732225.464 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732225.464 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1538732225.464 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1538732225.465 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1538732225.465 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732225.465 * [misc]backup-simplify: Simplify b2 into b2 1538732225.465 * [misc]taylor: Taking taylor expansion of b1 in a1 1538732225.465 * [misc]backup-simplify: Simplify b1 into b1 1538732225.465 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732225.465 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732225.465 * [misc]backup-simplify: Simplify 0 into 0 1538732225.465 * [misc]backup-simplify: Simplify 1 into 1 1538732225.465 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732225.465 * [misc]backup-simplify: Simplify a2 into a2 1538732225.465 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732225.465 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732225.465 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732225.465 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1538732225.465 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) a2) in a2 1538732225.465 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1538732225.465 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732225.465 * [misc]backup-simplify: Simplify b2 into b2 1538732225.465 * [misc]taylor: Taking taylor expansion of b1 in a2 1538732225.465 * [misc]backup-simplify: Simplify b1 into b1 1538732225.465 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732225.466 * [misc]backup-simplify: Simplify 0 into 0 1538732225.466 * [misc]backup-simplify: Simplify 1 into 1 1538732225.466 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732225.466 * [misc]backup-simplify: Simplify (/ (* b2 b1) 1) into (* b2 b1) 1538732225.466 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1538732225.466 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732225.466 * [misc]backup-simplify: Simplify 0 into 0 1538732225.466 * [misc]backup-simplify: Simplify 1 into 1 1538732225.466 * [misc]taylor: Taking taylor expansion of b1 in b2 1538732225.466 * [misc]backup-simplify: Simplify b1 into b1 1538732225.466 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1538732225.466 * [misc]taylor: Taking taylor expansion of b1 in b1 1538732225.466 * [misc]backup-simplify: Simplify 0 into 0 1538732225.466 * [misc]backup-simplify: Simplify 1 into 1 1538732225.466 * [misc]backup-simplify: Simplify 1 into 1 1538732225.466 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1538732225.467 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1538732225.467 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)))) into 0 1538732225.467 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732225.467 * [misc]backup-simplify: Simplify 0 into 0 1538732225.467 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1538732225.467 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)))) into 0 1538732225.467 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732225.468 * [misc]backup-simplify: Simplify 0 into 0 1538732225.468 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732225.468 * [misc]backup-simplify: Simplify 0 into 0 1538732225.468 * [misc]backup-simplify: Simplify 0 into 0 1538732225.468 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b1))) into 0 1538732225.468 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732225.468 * [misc]backup-simplify: Simplify 0 into 0 1538732225.468 * [misc]backup-simplify: Simplify 0 into 0 1538732225.468 * [misc]backup-simplify: Simplify 0 into 0 1538732225.468 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1538732225.469 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1538732225.469 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1538732225.469 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732225.469 * [misc]backup-simplify: Simplify 0 into 0 1538732225.469 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732225.469 * [misc]backup-simplify: Simplify 0 into 0 1538732225.469 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732225.469 * [misc]backup-simplify: Simplify 0 into 0 1538732225.469 * [misc]backup-simplify: Simplify 0 into 0 1538732225.470 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1538732225.470 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732225.470 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732225.470 * [misc]backup-simplify: Simplify 0 into 0 1538732225.470 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732225.470 * [misc]backup-simplify: Simplify 0 into 0 1538732225.470 * [misc]backup-simplify: Simplify 0 into 0 1538732225.470 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732225.470 * [misc]backup-simplify: Simplify 0 into 0 1538732225.470 * [misc]backup-simplify: Simplify 0 into 0 1538732225.471 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b1) (* (/ 1 b2) (* (/ 1 (/ 1 a2)) (/ 1 (/ 1 a1)))))) into (/ (* a1 a2) (* b2 b1)) 1538732225.471 * [misc]backup-simplify: Simplify (/ (* (/ 1 (- a1)) (/ 1 (- a2))) (* (/ 1 (- b2)) (/ 1 (- b1)))) into (/ (* b2 b1) (* a1 a2)) 1538732225.471 * [misc]approximate: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in (a1 a2 b2 b1) around 0 1538732225.471 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b1 1538732225.471 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1538732225.471 * [misc]taylor: Taking taylor expansion of b2 in b1 1538732225.471 * [misc]backup-simplify: Simplify b2 into b2 1538732225.471 * [misc]taylor: Taking taylor expansion of b1 in b1 1538732225.471 * [misc]backup-simplify: Simplify 0 into 0 1538732225.471 * [misc]backup-simplify: Simplify 1 into 1 1538732225.471 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1538732225.471 * [misc]taylor: Taking taylor expansion of a1 in b1 1538732225.471 * [misc]backup-simplify: Simplify a1 into a1 1538732225.471 * [misc]taylor: Taking taylor expansion of a2 in b1 1538732225.471 * [misc]backup-simplify: Simplify a2 into a2 1538732225.471 * [misc]backup-simplify: Simplify (* b2 0) into 0 1538732225.472 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1538732225.472 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732225.472 * [misc]backup-simplify: Simplify (/ b2 (* a1 a2)) into (/ b2 (* a1 a2)) 1538732225.472 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b2 1538732225.472 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1538732225.472 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732225.472 * [misc]backup-simplify: Simplify 0 into 0 1538732225.472 * [misc]backup-simplify: Simplify 1 into 1 1538732225.472 * [misc]taylor: Taking taylor expansion of b1 in b2 1538732225.472 * [misc]backup-simplify: Simplify b1 into b1 1538732225.472 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1538732225.472 * [misc]taylor: Taking taylor expansion of a1 in b2 1538732225.472 * [misc]backup-simplify: Simplify a1 into a1 1538732225.472 * [misc]taylor: Taking taylor expansion of a2 in b2 1538732225.472 * [misc]backup-simplify: Simplify a2 into a2 1538732225.472 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1538732225.472 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1538732225.473 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1538732225.473 * [misc]backup-simplify: Simplify (/ b1 (* a1 a2)) into (/ b1 (* a1 a2)) 1538732225.473 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a2 1538732225.473 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1538732225.473 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732225.473 * [misc]backup-simplify: Simplify b2 into b2 1538732225.473 * [misc]taylor: Taking taylor expansion of b1 in a2 1538732225.473 * [misc]backup-simplify: Simplify b1 into b1 1538732225.473 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1538732225.473 * [misc]taylor: Taking taylor expansion of a1 in a2 1538732225.473 * [misc]backup-simplify: Simplify a1 into a1 1538732225.473 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732225.473 * [misc]backup-simplify: Simplify 0 into 0 1538732225.473 * [misc]backup-simplify: Simplify 1 into 1 1538732225.473 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732225.473 * [misc]backup-simplify: Simplify (* a1 0) into 0 1538732225.473 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1538732225.473 * [misc]backup-simplify: Simplify (/ (* b2 b1) a1) into (/ (* b2 b1) a1) 1538732225.473 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1538732225.474 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1538732225.474 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732225.474 * [misc]backup-simplify: Simplify b2 into b2 1538732225.474 * [misc]taylor: Taking taylor expansion of b1 in a1 1538732225.474 * [misc]backup-simplify: Simplify b1 into b1 1538732225.474 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732225.474 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732225.474 * [misc]backup-simplify: Simplify 0 into 0 1538732225.474 * [misc]backup-simplify: Simplify 1 into 1 1538732225.474 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732225.474 * [misc]backup-simplify: Simplify a2 into a2 1538732225.474 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732225.474 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732225.474 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732225.474 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1538732225.474 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1538732225.474 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1538732225.474 * [misc]taylor: Taking taylor expansion of b2 in a1 1538732225.474 * [misc]backup-simplify: Simplify b2 into b2 1538732225.474 * [misc]taylor: Taking taylor expansion of b1 in a1 1538732225.474 * [misc]backup-simplify: Simplify b1 into b1 1538732225.474 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1538732225.474 * [misc]taylor: Taking taylor expansion of a1 in a1 1538732225.474 * [misc]backup-simplify: Simplify 0 into 0 1538732225.474 * [misc]backup-simplify: Simplify 1 into 1 1538732225.475 * [misc]taylor: Taking taylor expansion of a2 in a1 1538732225.475 * [misc]backup-simplify: Simplify a2 into a2 1538732225.475 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732225.475 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1538732225.475 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1538732225.475 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1538732225.475 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) a2) in a2 1538732225.475 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1538732225.475 * [misc]taylor: Taking taylor expansion of b2 in a2 1538732225.475 * [misc]backup-simplify: Simplify b2 into b2 1538732225.475 * [misc]taylor: Taking taylor expansion of b1 in a2 1538732225.475 * [misc]backup-simplify: Simplify b1 into b1 1538732225.475 * [misc]taylor: Taking taylor expansion of a2 in a2 1538732225.475 * [misc]backup-simplify: Simplify 0 into 0 1538732225.475 * [misc]backup-simplify: Simplify 1 into 1 1538732225.475 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1538732225.476 * [misc]backup-simplify: Simplify (/ (* b2 b1) 1) into (* b2 b1) 1538732225.476 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1538732225.476 * [misc]taylor: Taking taylor expansion of b2 in b2 1538732225.476 * [misc]backup-simplify: Simplify 0 into 0 1538732225.476 * [misc]backup-simplify: Simplify 1 into 1 1538732225.476 * [misc]taylor: Taking taylor expansion of b1 in b2 1538732225.476 * [misc]backup-simplify: Simplify b1 into b1 1538732225.476 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1538732225.476 * [misc]taylor: Taking taylor expansion of b1 in b1 1538732225.476 * [misc]backup-simplify: Simplify 0 into 0 1538732225.476 * [misc]backup-simplify: Simplify 1 into 1 1538732225.476 * [misc]backup-simplify: Simplify 1 into 1 1538732225.476 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1538732225.477 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1538732225.477 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)))) into 0 1538732225.477 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732225.477 * [misc]backup-simplify: Simplify 0 into 0 1538732225.477 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1538732225.477 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)))) into 0 1538732225.477 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732225.477 * [misc]backup-simplify: Simplify 0 into 0 1538732225.477 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732225.478 * [misc]backup-simplify: Simplify 0 into 0 1538732225.478 * [misc]backup-simplify: Simplify 0 into 0 1538732225.478 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b1))) into 0 1538732225.478 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732225.478 * [misc]backup-simplify: Simplify 0 into 0 1538732225.478 * [misc]backup-simplify: Simplify 0 into 0 1538732225.478 * [misc]backup-simplify: Simplify 0 into 0 1538732225.478 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1538732225.479 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1538732225.479 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1538732225.479 * [misc]taylor: Taking taylor expansion of 0 in a2 1538732225.479 * [misc]backup-simplify: Simplify 0 into 0 1538732225.479 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732225.479 * [misc]backup-simplify: Simplify 0 into 0 1538732225.479 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732225.479 * [misc]backup-simplify: Simplify 0 into 0 1538732225.479 * [misc]backup-simplify: Simplify 0 into 0 1538732225.480 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1538732225.480 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732225.480 * [misc]taylor: Taking taylor expansion of 0 in b2 1538732225.480 * [misc]backup-simplify: Simplify 0 into 0 1538732225.480 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732225.480 * [misc]backup-simplify: Simplify 0 into 0 1538732225.480 * [misc]backup-simplify: Simplify 0 into 0 1538732225.480 * [misc]taylor: Taking taylor expansion of 0 in b1 1538732225.480 * [misc]backup-simplify: Simplify 0 into 0 1538732225.480 * [misc]backup-simplify: Simplify 0 into 0 1538732225.481 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 (- b1)) (* (/ 1 (- b2)) (* (/ 1 (/ 1 (- a2))) (/ 1 (/ 1 (- a1))))))) into (/ (* a1 a2) (* b2 b1)) 1538732225.481 * * * [misc]progress: simplifying candidates 1538732225.481 * * * * [misc]progress: [ 1 / 20 ] simplifiying candidate # 1538732225.481 * * * * [misc]progress: [ 2 / 20 ] simplifiying candidate # 1538732225.481 * * * * [misc]progress: [ 3 / 20 ] simplifiying candidate # 1538732225.481 * * * * [misc]progress: [ 4 / 20 ] simplifiying candidate # 1538732225.481 * [enter]simplify: Simplifying (- (log (* a1 a2)) (log (* b2 b1))) 1538732225.482 * * [misc]simplify: iters left: 5 (9 enodes) 1538732225.487 * * [misc]simplify: iters left: 4 (19 enodes) 1538732225.495 * * [misc]simplify: iters left: 3 (31 enodes) 1538732225.509 * * [misc]simplify: iters left: 2 (57 enodes) 1538732225.528 * * [misc]simplify: iters left: 1 (113 enodes) 1538732225.589 * [exit]simplify: Simplified to (- (log (* a1 a2)) (log (* b2 b1))) 1538732225.589 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (exp (- (log (* a1 a2)) (log (* b2 b1))))) 1538732225.589 * * * * [misc]progress: [ 5 / 20 ] simplifiying candidate # 1538732225.589 * * * * [misc]progress: [ 6 / 20 ] simplifiying candidate # 1538732225.589 * * * * [misc]progress: [ 7 / 20 ] simplifiying candidate # 1538732225.589 * [enter]simplify: Simplifying (/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (* b2 b1) (* b2 b1)) (* b2 b1))) 1538732225.590 * * [misc]simplify: iters left: 6 (11 enodes) 1538732225.594 * * [misc]simplify: iters left: 5 (34 enodes) 1538732225.617 * * [misc]simplify: iters left: 4 (183 enodes) 1538732225.940 * [exit]simplify: Simplified to (pow (* (/ a2 b1) (/ a1 b2)) 3) 1538732225.940 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (cbrt (pow (* (/ a2 b1) (/ a1 b2)) 3))) 1538732225.940 * * * * [misc]progress: [ 8 / 20 ] simplifiying candidate # 1538732225.941 * * * * [misc]progress: [ 9 / 20 ] simplifiying candidate # 1538732225.941 * * * * [misc]progress: [ 10 / 20 ] simplifiying candidate # 1538732225.941 * * * * [misc]progress: [ 11 / 20 ] simplifiying candidate # 1538732225.941 * * * * [misc]progress: [ 12 / 20 ] simplifiying candidate # 1538732225.941 * [enter]simplify: Simplifying (/ a1 b2) 1538732225.941 * * [misc]simplify: iters left: 2 (3 enodes) 1538732225.942 * [exit]simplify: Simplified to (/ a1 b2) 1538732225.942 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (* (/ a1 b2) (/ a2 b1))) 1538732225.942 * [enter]simplify: Simplifying (/ a2 b1) 1538732225.942 * * [misc]simplify: iters left: 2 (3 enodes) 1538732225.942 * [exit]simplify: Simplified to (/ a2 b1) 1538732225.942 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (/ a1 b2) (/ a2 b1))) 1538732225.942 * * * * [misc]progress: [ 13 / 20 ] simplifiying candidate # 1538732225.942 * * * * [misc]progress: [ 14 / 20 ] simplifiying candidate # 1538732225.942 * * * * [misc]progress: [ 15 / 20 ] simplifiying candidate # 1538732225.942 * * * * [misc]progress: [ 16 / 20 ] simplifiying candidate # 1538732225.942 * * * * [misc]progress: [ 17 / 20 ] simplifiying candidate # 1538732225.943 * * * * [misc]progress: [ 18 / 20 ] simplifiying candidate # 1538732225.943 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1538732225.943 * * [misc]simplify: iters left: 4 (7 enodes) 1538732225.947 * * [misc]simplify: iters left: 3 (16 enodes) 1538732225.952 * * [misc]simplify: iters left: 2 (35 enodes) 1538732225.962 * * [misc]simplify: iters left: 1 (58 enodes) 1538732225.985 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1538732225.985 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1538732225.985 * * * * [misc]progress: [ 19 / 20 ] simplifiying candidate # 1538732225.985 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1538732225.986 * * [misc]simplify: iters left: 4 (7 enodes) 1538732225.990 * * [misc]simplify: iters left: 3 (16 enodes) 1538732225.998 * * [misc]simplify: iters left: 2 (35 enodes) 1538732226.013 * * [misc]simplify: iters left: 1 (58 enodes) 1538732226.035 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1538732226.035 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1538732226.035 * * * * [misc]progress: [ 20 / 20 ] simplifiying candidate # 1538732226.036 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1538732226.036 * * [misc]simplify: iters left: 4 (7 enodes) 1538732226.040 * * [misc]simplify: iters left: 3 (16 enodes) 1538732226.048 * * [misc]simplify: iters left: 2 (35 enodes) 1538732226.063 * * [misc]simplify: iters left: 1 (58 enodes) 1538732226.088 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1538732226.088 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1538732226.088 * * * [misc]progress: adding candidates to table 1538732226.344 * [misc]progress: [Phase 3 of 3] Extracting. 1538732226.345 * * [misc]regime: Finding splitpoints for: (# # # # # # #) 1538732226.346 * * * [misc]regime-changes: Trying 5 branch expressions: (b2 b1 a2 a1 (* a1 a2)) 1538732226.346 * * * * [misc]regimes: Trying to branch on b2 from (# # # # # # #) 1538732226.451 * * * * [misc]regimes: Trying to branch on b1 from (# # # # # # #) 1538732226.552 * * * * [misc]regimes: Trying to branch on a2 from (# # # # # # #) 1538732226.693 * * * * [misc]regimes: Trying to branch on a1 from (# # # # # # #) 1538732226.800 * * * * [misc]regimes: Trying to branch on (* a1 a2) from (# # # # # # #) 1538732226.902 * * * [misc]regime: Found split indices: #