1544605762.345 * [misc]progress: [Phase 1 of 3] Setting up. 1544605762.345 * * * [misc]progress: [1/2] Preparing points 1544605762.345 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1544605762.410 * * * * [misc]points: Filtering points with unrepresentable outputs 1544605762.410 * * * * [misc]points: Sampling 56 additional inputs, on iter 1 have 200 / 256 1544605762.427 * * * * [misc]points: Filtering points with unrepresentable outputs 1544605762.427 * * * * [misc]points: Sampling 4 additional inputs, on iter 2 have 252 / 256 1544605762.430 * * * * [misc]points: Filtering points with unrepresentable outputs 1544605762.431 * * * * [exit]points: Sampled 256 points with exact outputs 1544605762.431 * * * [misc]progress: [2/2] Setting up program. 1544605762.437 * [misc]progress: [Phase 2 of 3] Improving. 1544605762.437 * [enter]simplify: Simplifying (/ (* a1 a2) (* b1 b2)) 1544605762.438 * * [misc]simplify: iters left: 4 (7 enodes) 1544605762.442 * * [misc]simplify: iters left: 3 (16 enodes) 1544605762.447 * * [misc]simplify: iters left: 2 (35 enodes) 1544605762.455 * * [misc]simplify: iters left: 1 (58 enodes) 1544605762.468 * [exit]simplify: Simplified to (* (/ a1 b2) (/ a2 b1)) 1544605762.475 * * [misc]progress: iteration 1 / 4 1544605762.475 * * * [misc]progress: picking best candidate 1544605762.487 * * * * [misc]pick: Picked # 1544605762.487 * * * [misc]progress: localizing error 1544605762.511 * * * [misc]progress: generating rewritten candidates 1544605762.511 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1544605762.546 * * * [misc]progress: generating series expansions 1544605762.546 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1544605762.546 * [misc]backup-simplify: Simplify (/ (* a1 a2) (* b1 b2)) into (/ (* a1 a2) (* b2 b1)) 1544605762.546 * [misc]approximate: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in (a1 a2 b1 b2) around 0 1544605762.546 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in b2 1544605762.546 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1544605762.546 * [misc]taylor: Taking taylor expansion of a1 in b2 1544605762.546 * [misc]backup-simplify: Simplify a1 into a1 1544605762.546 * [misc]taylor: Taking taylor expansion of a2 in b2 1544605762.546 * [misc]backup-simplify: Simplify a2 into a2 1544605762.546 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1544605762.546 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605762.546 * [misc]backup-simplify: Simplify 0 into 0 1544605762.546 * [misc]backup-simplify: Simplify 1 into 1 1544605762.546 * [misc]taylor: Taking taylor expansion of b1 in b2 1544605762.546 * [misc]backup-simplify: Simplify b1 into b1 1544605762.546 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605762.546 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1544605762.547 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1544605762.547 * [misc]backup-simplify: Simplify (/ (* a1 a2) b1) into (/ (* a1 a2) b1) 1544605762.547 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in b1 1544605762.547 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1544605762.547 * [misc]taylor: Taking taylor expansion of a1 in b1 1544605762.547 * [misc]backup-simplify: Simplify a1 into a1 1544605762.547 * [misc]taylor: Taking taylor expansion of a2 in b1 1544605762.547 * [misc]backup-simplify: Simplify a2 into a2 1544605762.547 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605762.547 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605762.547 * [misc]backup-simplify: Simplify b2 into b2 1544605762.547 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605762.547 * [misc]backup-simplify: Simplify 0 into 0 1544605762.547 * [misc]backup-simplify: Simplify 1 into 1 1544605762.547 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605762.547 * [misc]backup-simplify: Simplify (* b2 0) into 0 1544605762.547 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605762.547 * [misc]backup-simplify: Simplify (/ (* a1 a2) b2) into (/ (* a1 a2) b2) 1544605762.547 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a2 1544605762.547 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1544605762.547 * [misc]taylor: Taking taylor expansion of a1 in a2 1544605762.547 * [misc]backup-simplify: Simplify a1 into a1 1544605762.547 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605762.547 * [misc]backup-simplify: Simplify 0 into 0 1544605762.547 * [misc]backup-simplify: Simplify 1 into 1 1544605762.547 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1544605762.547 * [misc]taylor: Taking taylor expansion of b2 in a2 1544605762.547 * [misc]backup-simplify: Simplify b2 into b2 1544605762.547 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605762.547 * [misc]backup-simplify: Simplify b1 into b1 1544605762.548 * [misc]backup-simplify: Simplify (* a1 0) into 0 1544605762.548 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1544605762.548 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605762.548 * [misc]backup-simplify: Simplify (/ a1 (* b2 b1)) into (/ a1 (* b2 b1)) 1544605762.548 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a1 1544605762.548 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605762.548 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605762.548 * [misc]backup-simplify: Simplify 0 into 0 1544605762.548 * [misc]backup-simplify: Simplify 1 into 1 1544605762.548 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605762.548 * [misc]backup-simplify: Simplify a2 into a2 1544605762.548 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1544605762.548 * [misc]taylor: Taking taylor expansion of b2 in a1 1544605762.548 * [misc]backup-simplify: Simplify b2 into b2 1544605762.548 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605762.548 * [misc]backup-simplify: Simplify b1 into b1 1544605762.548 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605762.548 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605762.548 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605762.548 * [misc]backup-simplify: Simplify (/ a2 (* b2 b1)) into (/ a2 (* b2 b1)) 1544605762.548 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a1 1544605762.548 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605762.548 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605762.548 * [misc]backup-simplify: Simplify 0 into 0 1544605762.548 * [misc]backup-simplify: Simplify 1 into 1 1544605762.548 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605762.548 * [misc]backup-simplify: Simplify a2 into a2 1544605762.548 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1544605762.548 * [misc]taylor: Taking taylor expansion of b2 in a1 1544605762.548 * [misc]backup-simplify: Simplify b2 into b2 1544605762.548 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605762.548 * [misc]backup-simplify: Simplify b1 into b1 1544605762.548 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605762.549 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605762.549 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605762.549 * [misc]backup-simplify: Simplify (/ a2 (* b2 b1)) into (/ a2 (* b2 b1)) 1544605762.549 * [misc]taylor: Taking taylor expansion of (/ a2 (* b2 b1)) in a2 1544605762.549 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605762.549 * [misc]backup-simplify: Simplify 0 into 0 1544605762.549 * [misc]backup-simplify: Simplify 1 into 1 1544605762.549 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1544605762.549 * [misc]taylor: Taking taylor expansion of b2 in a2 1544605762.549 * [misc]backup-simplify: Simplify b2 into b2 1544605762.549 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605762.549 * [misc]backup-simplify: Simplify b1 into b1 1544605762.549 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605762.549 * [misc]backup-simplify: Simplify (/ 1 (* b2 b1)) into (/ 1 (* b2 b1)) 1544605762.549 * [misc]taylor: Taking taylor expansion of (/ 1 (* b2 b1)) in b1 1544605762.549 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605762.549 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605762.549 * [misc]backup-simplify: Simplify b2 into b2 1544605762.549 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605762.549 * [misc]backup-simplify: Simplify 0 into 0 1544605762.549 * [misc]backup-simplify: Simplify 1 into 1 1544605762.549 * [misc]backup-simplify: Simplify (* b2 0) into 0 1544605762.549 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605762.549 * [misc]backup-simplify: Simplify (/ 1 b2) into (/ 1 b2) 1544605762.549 * [misc]taylor: Taking taylor expansion of (/ 1 b2) in b2 1544605762.549 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605762.549 * [misc]backup-simplify: Simplify 0 into 0 1544605762.549 * [misc]backup-simplify: Simplify 1 into 1 1544605762.550 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544605762.550 * [misc]backup-simplify: Simplify 1 into 1 1544605762.550 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1544605762.550 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1544605762.550 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))))) into 0 1544605762.550 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605762.550 * [misc]backup-simplify: Simplify 0 into 0 1544605762.550 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605762.550 * [misc]backup-simplify: Simplify 0 into 0 1544605762.550 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1544605762.550 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))))) into 0 1544605762.550 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605762.550 * [misc]backup-simplify: Simplify 0 into 0 1544605762.551 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1544605762.551 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)))) into 0 1544605762.551 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605762.551 * [misc]backup-simplify: Simplify 0 into 0 1544605762.551 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544605762.551 * [misc]backup-simplify: Simplify 0 into 0 1544605762.551 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1544605762.551 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1544605762.552 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1544605762.552 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605762.552 * [misc]backup-simplify: Simplify 0 into 0 1544605762.552 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605762.552 * [misc]backup-simplify: Simplify 0 into 0 1544605762.552 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605762.552 * [misc]backup-simplify: Simplify 0 into 0 1544605762.552 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1544605762.552 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1544605762.552 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605762.552 * [misc]backup-simplify: Simplify 0 into 0 1544605762.552 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605762.552 * [misc]backup-simplify: Simplify 0 into 0 1544605762.552 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605762.552 * [misc]backup-simplify: Simplify 0 into 0 1544605762.552 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1544605762.552 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)) (* 0 (/ 0 b2)))) into 0 1544605762.552 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605762.552 * [misc]backup-simplify: Simplify 0 into 0 1544605762.552 * [misc]backup-simplify: Simplify 0 into 0 1544605762.553 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544605762.553 * [misc]backup-simplify: Simplify 0 into 0 1544605762.553 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 a2))))) into 0 1544605762.553 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1)))) into 0 1544605762.554 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1544605762.554 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605762.554 * [misc]backup-simplify: Simplify 0 into 0 1544605762.554 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605762.554 * [misc]backup-simplify: Simplify 0 into 0 1544605762.554 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605762.554 * [misc]backup-simplify: Simplify 0 into 0 1544605762.554 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605762.554 * [misc]backup-simplify: Simplify 0 into 0 1544605762.554 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1)))) into 0 1544605762.554 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1544605762.554 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605762.554 * [misc]backup-simplify: Simplify 0 into 0 1544605762.554 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605762.554 * [misc]backup-simplify: Simplify 0 into 0 1544605762.554 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605762.554 * [misc]backup-simplify: Simplify 0 into 0 1544605762.554 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605762.554 * [misc]backup-simplify: Simplify 0 into 0 1544605762.554 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605762.554 * [misc]backup-simplify: Simplify 0 into 0 1544605762.554 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605762.554 * [misc]backup-simplify: Simplify 0 into 0 1544605762.555 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1544605762.555 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)) (* 0 (/ 0 b2)) (* 0 (/ 0 b2)))) into 0 1544605762.555 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605762.555 * [misc]backup-simplify: Simplify 0 into 0 1544605762.555 * [misc]backup-simplify: Simplify 0 into 0 1544605762.555 * [misc]backup-simplify: Simplify 0 into 0 1544605762.555 * [misc]backup-simplify: Simplify 0 into 0 1544605762.555 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b2) (* (/ 1 b1) (* a2 a1)))) into (/ (* a1 a2) (* b2 b1)) 1544605762.555 * [misc]backup-simplify: Simplify (/ (* (/ 1 a1) (/ 1 a2)) (* (/ 1 b1) (/ 1 b2))) into (/ (* b2 b1) (* a1 a2)) 1544605762.555 * [misc]approximate: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in (a1 a2 b1 b2) around 0 1544605762.555 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b2 1544605762.555 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1544605762.555 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605762.555 * [misc]backup-simplify: Simplify 0 into 0 1544605762.555 * [misc]backup-simplify: Simplify 1 into 1 1544605762.555 * [misc]taylor: Taking taylor expansion of b1 in b2 1544605762.555 * [misc]backup-simplify: Simplify b1 into b1 1544605762.555 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1544605762.555 * [misc]taylor: Taking taylor expansion of a1 in b2 1544605762.555 * [misc]backup-simplify: Simplify a1 into a1 1544605762.555 * [misc]taylor: Taking taylor expansion of a2 in b2 1544605762.555 * [misc]backup-simplify: Simplify a2 into a2 1544605762.555 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1544605762.556 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1544605762.556 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605762.556 * [misc]backup-simplify: Simplify (/ b1 (* a1 a2)) into (/ b1 (* a1 a2)) 1544605762.556 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b1 1544605762.556 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605762.556 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605762.556 * [misc]backup-simplify: Simplify b2 into b2 1544605762.556 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605762.556 * [misc]backup-simplify: Simplify 0 into 0 1544605762.556 * [misc]backup-simplify: Simplify 1 into 1 1544605762.556 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1544605762.556 * [misc]taylor: Taking taylor expansion of a1 in b1 1544605762.556 * [misc]backup-simplify: Simplify a1 into a1 1544605762.556 * [misc]taylor: Taking taylor expansion of a2 in b1 1544605762.556 * [misc]backup-simplify: Simplify a2 into a2 1544605762.556 * [misc]backup-simplify: Simplify (* b2 0) into 0 1544605762.556 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605762.556 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605762.556 * [misc]backup-simplify: Simplify (/ b2 (* a1 a2)) into (/ b2 (* a1 a2)) 1544605762.556 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a2 1544605762.556 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1544605762.556 * [misc]taylor: Taking taylor expansion of b2 in a2 1544605762.556 * [misc]backup-simplify: Simplify b2 into b2 1544605762.556 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605762.556 * [misc]backup-simplify: Simplify b1 into b1 1544605762.556 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1544605762.556 * [misc]taylor: Taking taylor expansion of a1 in a2 1544605762.556 * [misc]backup-simplify: Simplify a1 into a1 1544605762.556 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605762.556 * [misc]backup-simplify: Simplify 0 into 0 1544605762.556 * [misc]backup-simplify: Simplify 1 into 1 1544605762.556 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605762.556 * [misc]backup-simplify: Simplify (* a1 0) into 0 1544605762.556 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1544605762.557 * [misc]backup-simplify: Simplify (/ (* b2 b1) a1) into (/ (* b2 b1) a1) 1544605762.557 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1544605762.557 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1544605762.557 * [misc]taylor: Taking taylor expansion of b2 in a1 1544605762.557 * [misc]backup-simplify: Simplify b2 into b2 1544605762.557 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605762.557 * [misc]backup-simplify: Simplify b1 into b1 1544605762.557 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605762.557 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605762.557 * [misc]backup-simplify: Simplify 0 into 0 1544605762.557 * [misc]backup-simplify: Simplify 1 into 1 1544605762.557 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605762.557 * [misc]backup-simplify: Simplify a2 into a2 1544605762.557 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605762.557 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605762.557 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605762.557 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1544605762.557 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1544605762.557 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1544605762.557 * [misc]taylor: Taking taylor expansion of b2 in a1 1544605762.557 * [misc]backup-simplify: Simplify b2 into b2 1544605762.557 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605762.557 * [misc]backup-simplify: Simplify b1 into b1 1544605762.557 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605762.557 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605762.557 * [misc]backup-simplify: Simplify 0 into 0 1544605762.557 * [misc]backup-simplify: Simplify 1 into 1 1544605762.557 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605762.557 * [misc]backup-simplify: Simplify a2 into a2 1544605762.557 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605762.557 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605762.557 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605762.557 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1544605762.557 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) a2) in a2 1544605762.558 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1544605762.558 * [misc]taylor: Taking taylor expansion of b2 in a2 1544605762.558 * [misc]backup-simplify: Simplify b2 into b2 1544605762.558 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605762.558 * [misc]backup-simplify: Simplify b1 into b1 1544605762.558 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605762.558 * [misc]backup-simplify: Simplify 0 into 0 1544605762.558 * [misc]backup-simplify: Simplify 1 into 1 1544605762.558 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605762.558 * [misc]backup-simplify: Simplify (/ (* b2 b1) 1) into (* b2 b1) 1544605762.558 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605762.558 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605762.558 * [misc]backup-simplify: Simplify b2 into b2 1544605762.558 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605762.558 * [misc]backup-simplify: Simplify 0 into 0 1544605762.558 * [misc]backup-simplify: Simplify 1 into 1 1544605762.558 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605762.558 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605762.558 * [misc]backup-simplify: Simplify 0 into 0 1544605762.558 * [misc]backup-simplify: Simplify 1 into 1 1544605762.558 * [misc]backup-simplify: Simplify 1 into 1 1544605762.558 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1544605762.558 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1544605762.558 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)))) into 0 1544605762.558 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605762.558 * [misc]backup-simplify: Simplify 0 into 0 1544605762.559 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1544605762.559 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)))) into 0 1544605762.559 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605762.559 * [misc]backup-simplify: Simplify 0 into 0 1544605762.559 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605762.559 * [misc]backup-simplify: Simplify 0 into 0 1544605762.559 * [misc]backup-simplify: Simplify 0 into 0 1544605762.559 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1544605762.559 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605762.559 * [misc]backup-simplify: Simplify 0 into 0 1544605762.559 * [misc]backup-simplify: Simplify 0 into 0 1544605762.559 * [misc]backup-simplify: Simplify 0 into 0 1544605762.559 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1544605762.560 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1544605762.560 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1544605762.560 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605762.560 * [misc]backup-simplify: Simplify 0 into 0 1544605762.560 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605762.560 * [misc]backup-simplify: Simplify 0 into 0 1544605762.560 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605762.560 * [misc]backup-simplify: Simplify 0 into 0 1544605762.560 * [misc]backup-simplify: Simplify 0 into 0 1544605762.560 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1544605762.560 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544605762.560 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605762.560 * [misc]backup-simplify: Simplify 0 into 0 1544605762.560 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605762.560 * [misc]backup-simplify: Simplify 0 into 0 1544605762.560 * [misc]backup-simplify: Simplify 0 into 0 1544605762.560 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605762.560 * [misc]backup-simplify: Simplify 0 into 0 1544605762.560 * [misc]backup-simplify: Simplify 0 into 0 1544605762.561 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b2) (* (/ 1 b1) (* (/ 1 (/ 1 a2)) (/ 1 (/ 1 a1)))))) into (/ (* a1 a2) (* b2 b1)) 1544605762.561 * [misc]backup-simplify: Simplify (/ (* (/ 1 (- a1)) (/ 1 (- a2))) (* (/ 1 (- b1)) (/ 1 (- b2)))) into (/ (* b2 b1) (* a1 a2)) 1544605762.561 * [misc]approximate: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in (a1 a2 b1 b2) around 0 1544605762.561 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b2 1544605762.561 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1544605762.561 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605762.561 * [misc]backup-simplify: Simplify 0 into 0 1544605762.561 * [misc]backup-simplify: Simplify 1 into 1 1544605762.561 * [misc]taylor: Taking taylor expansion of b1 in b2 1544605762.561 * [misc]backup-simplify: Simplify b1 into b1 1544605762.561 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1544605762.561 * [misc]taylor: Taking taylor expansion of a1 in b2 1544605762.561 * [misc]backup-simplify: Simplify a1 into a1 1544605762.561 * [misc]taylor: Taking taylor expansion of a2 in b2 1544605762.561 * [misc]backup-simplify: Simplify a2 into a2 1544605762.561 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1544605762.561 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1544605762.561 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605762.561 * [misc]backup-simplify: Simplify (/ b1 (* a1 a2)) into (/ b1 (* a1 a2)) 1544605762.561 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b1 1544605762.561 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605762.561 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605762.561 * [misc]backup-simplify: Simplify b2 into b2 1544605762.561 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605762.561 * [misc]backup-simplify: Simplify 0 into 0 1544605762.561 * [misc]backup-simplify: Simplify 1 into 1 1544605762.561 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1544605762.561 * [misc]taylor: Taking taylor expansion of a1 in b1 1544605762.561 * [misc]backup-simplify: Simplify a1 into a1 1544605762.561 * [misc]taylor: Taking taylor expansion of a2 in b1 1544605762.561 * [misc]backup-simplify: Simplify a2 into a2 1544605762.561 * [misc]backup-simplify: Simplify (* b2 0) into 0 1544605762.562 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605762.562 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605762.562 * [misc]backup-simplify: Simplify (/ b2 (* a1 a2)) into (/ b2 (* a1 a2)) 1544605762.562 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a2 1544605762.562 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1544605762.562 * [misc]taylor: Taking taylor expansion of b2 in a2 1544605762.562 * [misc]backup-simplify: Simplify b2 into b2 1544605762.562 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605762.562 * [misc]backup-simplify: Simplify b1 into b1 1544605762.562 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1544605762.562 * [misc]taylor: Taking taylor expansion of a1 in a2 1544605762.562 * [misc]backup-simplify: Simplify a1 into a1 1544605762.562 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605762.562 * [misc]backup-simplify: Simplify 0 into 0 1544605762.562 * [misc]backup-simplify: Simplify 1 into 1 1544605762.562 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605762.562 * [misc]backup-simplify: Simplify (* a1 0) into 0 1544605762.562 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1544605762.562 * [misc]backup-simplify: Simplify (/ (* b2 b1) a1) into (/ (* b2 b1) a1) 1544605762.562 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1544605762.562 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1544605762.562 * [misc]taylor: Taking taylor expansion of b2 in a1 1544605762.562 * [misc]backup-simplify: Simplify b2 into b2 1544605762.562 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605762.562 * [misc]backup-simplify: Simplify b1 into b1 1544605762.562 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605762.562 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605762.562 * [misc]backup-simplify: Simplify 0 into 0 1544605762.562 * [misc]backup-simplify: Simplify 1 into 1 1544605762.562 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605762.562 * [misc]backup-simplify: Simplify a2 into a2 1544605762.562 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605762.562 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605762.563 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605762.563 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1544605762.563 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1544605762.563 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1544605762.563 * [misc]taylor: Taking taylor expansion of b2 in a1 1544605762.563 * [misc]backup-simplify: Simplify b2 into b2 1544605762.563 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605762.563 * [misc]backup-simplify: Simplify b1 into b1 1544605762.563 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605762.563 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605762.563 * [misc]backup-simplify: Simplify 0 into 0 1544605762.563 * [misc]backup-simplify: Simplify 1 into 1 1544605762.563 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605762.563 * [misc]backup-simplify: Simplify a2 into a2 1544605762.563 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605762.563 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605762.563 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605762.563 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1544605762.563 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) a2) in a2 1544605762.563 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1544605762.563 * [misc]taylor: Taking taylor expansion of b2 in a2 1544605762.563 * [misc]backup-simplify: Simplify b2 into b2 1544605762.563 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605762.563 * [misc]backup-simplify: Simplify b1 into b1 1544605762.563 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605762.563 * [misc]backup-simplify: Simplify 0 into 0 1544605762.563 * [misc]backup-simplify: Simplify 1 into 1 1544605762.563 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605762.563 * [misc]backup-simplify: Simplify (/ (* b2 b1) 1) into (* b2 b1) 1544605762.563 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605762.563 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605762.563 * [misc]backup-simplify: Simplify b2 into b2 1544605762.563 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605762.563 * [misc]backup-simplify: Simplify 0 into 0 1544605762.563 * [misc]backup-simplify: Simplify 1 into 1 1544605762.564 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605762.564 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605762.564 * [misc]backup-simplify: Simplify 0 into 0 1544605762.564 * [misc]backup-simplify: Simplify 1 into 1 1544605762.564 * [misc]backup-simplify: Simplify 1 into 1 1544605762.564 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1544605762.564 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1544605762.564 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)))) into 0 1544605762.564 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605762.564 * [misc]backup-simplify: Simplify 0 into 0 1544605762.564 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1544605762.564 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)))) into 0 1544605762.564 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605762.564 * [misc]backup-simplify: Simplify 0 into 0 1544605762.564 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605762.564 * [misc]backup-simplify: Simplify 0 into 0 1544605762.564 * [misc]backup-simplify: Simplify 0 into 0 1544605762.565 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1544605762.565 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605762.565 * [misc]backup-simplify: Simplify 0 into 0 1544605762.565 * [misc]backup-simplify: Simplify 0 into 0 1544605762.565 * [misc]backup-simplify: Simplify 0 into 0 1544605762.565 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1544605762.565 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1544605762.565 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1544605762.565 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605762.565 * [misc]backup-simplify: Simplify 0 into 0 1544605762.565 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605762.565 * [misc]backup-simplify: Simplify 0 into 0 1544605762.565 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605762.565 * [misc]backup-simplify: Simplify 0 into 0 1544605762.565 * [misc]backup-simplify: Simplify 0 into 0 1544605762.566 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1544605762.566 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544605762.566 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605762.566 * [misc]backup-simplify: Simplify 0 into 0 1544605762.566 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605762.566 * [misc]backup-simplify: Simplify 0 into 0 1544605762.566 * [misc]backup-simplify: Simplify 0 into 0 1544605762.566 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605762.566 * [misc]backup-simplify: Simplify 0 into 0 1544605762.566 * [misc]backup-simplify: Simplify 0 into 0 1544605762.566 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 (- b2)) (* (/ 1 (- b1)) (* (/ 1 (/ 1 (- a2))) (/ 1 (/ 1 (- a1))))))) into (/ (* a1 a2) (* b2 b1)) 1544605762.566 * * * [misc]progress: simplifying candidates 1544605762.566 * * * * [misc]progress: [ 1 / 18 ] simplifiying candidate # 1544605762.566 * * * * [misc]progress: [ 2 / 18 ] simplifiying candidate # 1544605762.567 * [enter]simplify: Simplifying (- (log (* a1 a2)) (log (* b1 b2))) 1544605762.567 * * [misc]simplify: iters left: 5 (9 enodes) 1544605762.570 * * [misc]simplify: iters left: 4 (19 enodes) 1544605762.574 * * [misc]simplify: iters left: 3 (31 enodes) 1544605762.582 * * [misc]simplify: iters left: 2 (57 enodes) 1544605762.607 * * [misc]simplify: iters left: 1 (113 enodes) 1544605762.683 * [exit]simplify: Simplified to (- (log (* a1 a2)) (log (* b1 b2))) 1544605762.684 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (exp (- (log (* a1 a2)) (log (* b1 b2))))) 1544605762.684 * * * * [misc]progress: [ 3 / 18 ] simplifiying candidate # 1544605762.684 * * * * [misc]progress: [ 4 / 18 ] simplifiying candidate # 1544605762.684 * * * * [misc]progress: [ 5 / 18 ] simplifiying candidate # 1544605762.684 * [enter]simplify: Simplifying (/ (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (* b1 b2) (* b1 b2)) (* b1 b2))) 1544605762.685 * * [misc]simplify: iters left: 6 (11 enodes) 1544605762.692 * * [misc]simplify: iters left: 5 (34 enodes) 1544605762.712 * * [misc]simplify: iters left: 4 (183 enodes) 1544605763.087 * [exit]simplify: Simplified to (pow (* (/ a2 b2) (/ a1 b1)) 3) 1544605763.087 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (cbrt (pow (* (/ a2 b2) (/ a1 b1)) 3))) 1544605763.087 * * * * [misc]progress: [ 6 / 18 ] simplifiying candidate # 1544605763.087 * * * * [misc]progress: [ 7 / 18 ] simplifiying candidate # 1544605763.087 * * * * [misc]progress: [ 8 / 18 ] simplifiying candidate # 1544605763.087 * * * * [misc]progress: [ 9 / 18 ] simplifiying candidate # 1544605763.087 * * * * [misc]progress: [ 10 / 18 ] simplifiying candidate # 1544605763.087 * [enter]simplify: Simplifying (/ a1 b1) 1544605763.088 * * [misc]simplify: iters left: 2 (3 enodes) 1544605763.089 * [exit]simplify: Simplified to (/ a1 b1) 1544605763.089 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1544605763.089 * [enter]simplify: Simplifying (/ a2 b2) 1544605763.089 * * [misc]simplify: iters left: 2 (3 enodes) 1544605763.090 * [exit]simplify: Simplified to (/ a2 b2) 1544605763.090 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1544605763.090 * * * * [misc]progress: [ 11 / 18 ] simplifiying candidate # 1544605763.091 * * * * [misc]progress: [ 12 / 18 ] simplifiying candidate # 1544605763.091 * * * * [misc]progress: [ 13 / 18 ] simplifiying candidate # 1544605763.091 * * * * [misc]progress: [ 14 / 18 ] simplifiying candidate # 1544605763.091 * * * * [misc]progress: [ 15 / 18 ] simplifiying candidate # 1544605763.091 * * * * [misc]progress: [ 16 / 18 ] simplifiying candidate # 1544605763.091 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1544605763.092 * * [misc]simplify: iters left: 4 (7 enodes) 1544605763.095 * * [misc]simplify: iters left: 3 (16 enodes) 1544605763.100 * * [misc]simplify: iters left: 2 (35 enodes) 1544605763.108 * * [misc]simplify: iters left: 1 (58 enodes) 1544605763.119 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1544605763.119 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1544605763.119 * * * * [misc]progress: [ 17 / 18 ] simplifiying candidate # 1544605763.120 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1544605763.120 * * [misc]simplify: iters left: 4 (7 enodes) 1544605763.122 * * [misc]simplify: iters left: 3 (16 enodes) 1544605763.127 * * [misc]simplify: iters left: 2 (35 enodes) 1544605763.136 * * [misc]simplify: iters left: 1 (58 enodes) 1544605763.154 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1544605763.154 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1544605763.154 * * * * [misc]progress: [ 18 / 18 ] simplifiying candidate # 1544605763.154 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1544605763.155 * * [misc]simplify: iters left: 4 (7 enodes) 1544605763.158 * * [misc]simplify: iters left: 3 (16 enodes) 1544605763.167 * * [misc]simplify: iters left: 2 (35 enodes) 1544605763.177 * * [misc]simplify: iters left: 1 (58 enodes) 1544605763.188 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1544605763.189 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1544605763.189 * * * [misc]progress: adding candidates to table 1544605763.421 * * [misc]progress: iteration 2 / 4 1544605763.421 * * * [misc]progress: picking best candidate 1544605763.438 * * * * [misc]pick: Picked # 1544605763.438 * * * [misc]progress: localizing error 1544605763.445 * * * [misc]progress: generating rewritten candidates 1544605763.445 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1544605763.480 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2) 1544605763.498 * * * [misc]progress: generating series expansions 1544605763.498 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1544605763.499 * [misc]backup-simplify: Simplify (* (* a1 a2) (/ 1 (* b1 b2))) into (/ (* a1 a2) (* b2 b1)) 1544605763.499 * [misc]approximate: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in (a1 a2 b1 b2) around 0 1544605763.499 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in b2 1544605763.499 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1544605763.499 * [misc]taylor: Taking taylor expansion of a1 in b2 1544605763.499 * [misc]backup-simplify: Simplify a1 into a1 1544605763.499 * [misc]taylor: Taking taylor expansion of a2 in b2 1544605763.499 * [misc]backup-simplify: Simplify a2 into a2 1544605763.499 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1544605763.499 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605763.499 * [misc]backup-simplify: Simplify 0 into 0 1544605763.499 * [misc]backup-simplify: Simplify 1 into 1 1544605763.499 * [misc]taylor: Taking taylor expansion of b1 in b2 1544605763.499 * [misc]backup-simplify: Simplify b1 into b1 1544605763.499 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605763.499 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1544605763.500 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1544605763.500 * [misc]backup-simplify: Simplify (/ (* a1 a2) b1) into (/ (* a1 a2) b1) 1544605763.500 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in b1 1544605763.500 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1544605763.500 * [misc]taylor: Taking taylor expansion of a1 in b1 1544605763.500 * [misc]backup-simplify: Simplify a1 into a1 1544605763.500 * [misc]taylor: Taking taylor expansion of a2 in b1 1544605763.500 * [misc]backup-simplify: Simplify a2 into a2 1544605763.500 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605763.500 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605763.500 * [misc]backup-simplify: Simplify b2 into b2 1544605763.500 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605763.500 * [misc]backup-simplify: Simplify 0 into 0 1544605763.500 * [misc]backup-simplify: Simplify 1 into 1 1544605763.500 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605763.500 * [misc]backup-simplify: Simplify (* b2 0) into 0 1544605763.500 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605763.501 * [misc]backup-simplify: Simplify (/ (* a1 a2) b2) into (/ (* a1 a2) b2) 1544605763.501 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a2 1544605763.501 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1544605763.501 * [misc]taylor: Taking taylor expansion of a1 in a2 1544605763.501 * [misc]backup-simplify: Simplify a1 into a1 1544605763.501 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605763.501 * [misc]backup-simplify: Simplify 0 into 0 1544605763.501 * [misc]backup-simplify: Simplify 1 into 1 1544605763.501 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1544605763.501 * [misc]taylor: Taking taylor expansion of b2 in a2 1544605763.501 * [misc]backup-simplify: Simplify b2 into b2 1544605763.501 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605763.501 * [misc]backup-simplify: Simplify b1 into b1 1544605763.501 * [misc]backup-simplify: Simplify (* a1 0) into 0 1544605763.501 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1544605763.501 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605763.501 * [misc]backup-simplify: Simplify (/ a1 (* b2 b1)) into (/ a1 (* b2 b1)) 1544605763.501 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a1 1544605763.501 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605763.501 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605763.501 * [misc]backup-simplify: Simplify 0 into 0 1544605763.501 * [misc]backup-simplify: Simplify 1 into 1 1544605763.501 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605763.501 * [misc]backup-simplify: Simplify a2 into a2 1544605763.502 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1544605763.502 * [misc]taylor: Taking taylor expansion of b2 in a1 1544605763.502 * [misc]backup-simplify: Simplify b2 into b2 1544605763.502 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605763.502 * [misc]backup-simplify: Simplify b1 into b1 1544605763.502 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605763.502 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605763.502 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605763.502 * [misc]backup-simplify: Simplify (/ a2 (* b2 b1)) into (/ a2 (* b2 b1)) 1544605763.502 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a1 1544605763.502 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605763.502 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605763.502 * [misc]backup-simplify: Simplify 0 into 0 1544605763.502 * [misc]backup-simplify: Simplify 1 into 1 1544605763.502 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605763.502 * [misc]backup-simplify: Simplify a2 into a2 1544605763.502 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1544605763.502 * [misc]taylor: Taking taylor expansion of b2 in a1 1544605763.502 * [misc]backup-simplify: Simplify b2 into b2 1544605763.502 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605763.502 * [misc]backup-simplify: Simplify b1 into b1 1544605763.502 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605763.503 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605763.503 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605763.503 * [misc]backup-simplify: Simplify (/ a2 (* b2 b1)) into (/ a2 (* b2 b1)) 1544605763.503 * [misc]taylor: Taking taylor expansion of (/ a2 (* b2 b1)) in a2 1544605763.503 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605763.503 * [misc]backup-simplify: Simplify 0 into 0 1544605763.503 * [misc]backup-simplify: Simplify 1 into 1 1544605763.503 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1544605763.503 * [misc]taylor: Taking taylor expansion of b2 in a2 1544605763.503 * [misc]backup-simplify: Simplify b2 into b2 1544605763.503 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605763.503 * [misc]backup-simplify: Simplify b1 into b1 1544605763.503 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605763.503 * [misc]backup-simplify: Simplify (/ 1 (* b2 b1)) into (/ 1 (* b2 b1)) 1544605763.503 * [misc]taylor: Taking taylor expansion of (/ 1 (* b2 b1)) in b1 1544605763.503 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605763.503 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605763.503 * [misc]backup-simplify: Simplify b2 into b2 1544605763.503 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605763.503 * [misc]backup-simplify: Simplify 0 into 0 1544605763.503 * [misc]backup-simplify: Simplify 1 into 1 1544605763.503 * [misc]backup-simplify: Simplify (* b2 0) into 0 1544605763.504 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605763.504 * [misc]backup-simplify: Simplify (/ 1 b2) into (/ 1 b2) 1544605763.504 * [misc]taylor: Taking taylor expansion of (/ 1 b2) in b2 1544605763.504 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605763.504 * [misc]backup-simplify: Simplify 0 into 0 1544605763.504 * [misc]backup-simplify: Simplify 1 into 1 1544605763.504 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544605763.504 * [misc]backup-simplify: Simplify 1 into 1 1544605763.504 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1544605763.505 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1544605763.505 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))))) into 0 1544605763.505 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605763.505 * [misc]backup-simplify: Simplify 0 into 0 1544605763.505 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605763.505 * [misc]backup-simplify: Simplify 0 into 0 1544605763.505 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1544605763.505 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))))) into 0 1544605763.505 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605763.505 * [misc]backup-simplify: Simplify 0 into 0 1544605763.506 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1544605763.506 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)))) into 0 1544605763.506 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.506 * [misc]backup-simplify: Simplify 0 into 0 1544605763.506 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544605763.506 * [misc]backup-simplify: Simplify 0 into 0 1544605763.507 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1544605763.507 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1544605763.507 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1544605763.507 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605763.507 * [misc]backup-simplify: Simplify 0 into 0 1544605763.507 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605763.507 * [misc]backup-simplify: Simplify 0 into 0 1544605763.507 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605763.507 * [misc]backup-simplify: Simplify 0 into 0 1544605763.508 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1544605763.508 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1544605763.508 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605763.508 * [misc]backup-simplify: Simplify 0 into 0 1544605763.508 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.508 * [misc]backup-simplify: Simplify 0 into 0 1544605763.508 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.508 * [misc]backup-simplify: Simplify 0 into 0 1544605763.508 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1544605763.509 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)) (* 0 (/ 0 b2)))) into 0 1544605763.509 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.509 * [misc]backup-simplify: Simplify 0 into 0 1544605763.509 * [misc]backup-simplify: Simplify 0 into 0 1544605763.509 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544605763.509 * [misc]backup-simplify: Simplify 0 into 0 1544605763.510 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 a2))))) into 0 1544605763.510 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1)))) into 0 1544605763.511 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1544605763.511 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605763.511 * [misc]backup-simplify: Simplify 0 into 0 1544605763.511 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605763.511 * [misc]backup-simplify: Simplify 0 into 0 1544605763.511 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605763.511 * [misc]backup-simplify: Simplify 0 into 0 1544605763.511 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605763.511 * [misc]backup-simplify: Simplify 0 into 0 1544605763.511 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1)))) into 0 1544605763.512 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1544605763.512 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605763.512 * [misc]backup-simplify: Simplify 0 into 0 1544605763.512 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.512 * [misc]backup-simplify: Simplify 0 into 0 1544605763.512 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.512 * [misc]backup-simplify: Simplify 0 into 0 1544605763.512 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.512 * [misc]backup-simplify: Simplify 0 into 0 1544605763.512 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.512 * [misc]backup-simplify: Simplify 0 into 0 1544605763.512 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.512 * [misc]backup-simplify: Simplify 0 into 0 1544605763.512 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1544605763.513 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)) (* 0 (/ 0 b2)) (* 0 (/ 0 b2)))) into 0 1544605763.513 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.513 * [misc]backup-simplify: Simplify 0 into 0 1544605763.513 * [misc]backup-simplify: Simplify 0 into 0 1544605763.513 * [misc]backup-simplify: Simplify 0 into 0 1544605763.513 * [misc]backup-simplify: Simplify 0 into 0 1544605763.513 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b2) (* (/ 1 b1) (* a2 a1)))) into (/ (* a1 a2) (* b2 b1)) 1544605763.513 * [misc]backup-simplify: Simplify (* (* (/ 1 a1) (/ 1 a2)) (/ 1 (* (/ 1 b1) (/ 1 b2)))) into (/ (* b2 b1) (* a1 a2)) 1544605763.513 * [misc]approximate: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in (a1 a2 b1 b2) around 0 1544605763.513 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b2 1544605763.513 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1544605763.514 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605763.514 * [misc]backup-simplify: Simplify 0 into 0 1544605763.514 * [misc]backup-simplify: Simplify 1 into 1 1544605763.514 * [misc]taylor: Taking taylor expansion of b1 in b2 1544605763.514 * [misc]backup-simplify: Simplify b1 into b1 1544605763.514 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1544605763.514 * [misc]taylor: Taking taylor expansion of a1 in b2 1544605763.514 * [misc]backup-simplify: Simplify a1 into a1 1544605763.514 * [misc]taylor: Taking taylor expansion of a2 in b2 1544605763.514 * [misc]backup-simplify: Simplify a2 into a2 1544605763.514 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1544605763.514 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1544605763.514 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605763.514 * [misc]backup-simplify: Simplify (/ b1 (* a1 a2)) into (/ b1 (* a1 a2)) 1544605763.514 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b1 1544605763.514 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605763.514 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605763.515 * [misc]backup-simplify: Simplify b2 into b2 1544605763.515 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605763.515 * [misc]backup-simplify: Simplify 0 into 0 1544605763.515 * [misc]backup-simplify: Simplify 1 into 1 1544605763.515 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1544605763.515 * [misc]taylor: Taking taylor expansion of a1 in b1 1544605763.515 * [misc]backup-simplify: Simplify a1 into a1 1544605763.515 * [misc]taylor: Taking taylor expansion of a2 in b1 1544605763.515 * [misc]backup-simplify: Simplify a2 into a2 1544605763.515 * [misc]backup-simplify: Simplify (* b2 0) into 0 1544605763.515 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605763.515 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605763.515 * [misc]backup-simplify: Simplify (/ b2 (* a1 a2)) into (/ b2 (* a1 a2)) 1544605763.515 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a2 1544605763.515 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1544605763.515 * [misc]taylor: Taking taylor expansion of b2 in a2 1544605763.515 * [misc]backup-simplify: Simplify b2 into b2 1544605763.515 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605763.515 * [misc]backup-simplify: Simplify b1 into b1 1544605763.516 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1544605763.516 * [misc]taylor: Taking taylor expansion of a1 in a2 1544605763.516 * [misc]backup-simplify: Simplify a1 into a1 1544605763.516 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605763.516 * [misc]backup-simplify: Simplify 0 into 0 1544605763.516 * [misc]backup-simplify: Simplify 1 into 1 1544605763.516 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605763.516 * [misc]backup-simplify: Simplify (* a1 0) into 0 1544605763.516 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1544605763.516 * [misc]backup-simplify: Simplify (/ (* b2 b1) a1) into (/ (* b2 b1) a1) 1544605763.516 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1544605763.516 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1544605763.516 * [misc]taylor: Taking taylor expansion of b2 in a1 1544605763.516 * [misc]backup-simplify: Simplify b2 into b2 1544605763.516 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605763.516 * [misc]backup-simplify: Simplify b1 into b1 1544605763.516 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605763.516 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605763.516 * [misc]backup-simplify: Simplify 0 into 0 1544605763.516 * [misc]backup-simplify: Simplify 1 into 1 1544605763.517 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605763.517 * [misc]backup-simplify: Simplify a2 into a2 1544605763.517 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605763.517 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605763.517 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605763.517 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1544605763.517 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1544605763.517 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1544605763.517 * [misc]taylor: Taking taylor expansion of b2 in a1 1544605763.517 * [misc]backup-simplify: Simplify b2 into b2 1544605763.517 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605763.517 * [misc]backup-simplify: Simplify b1 into b1 1544605763.517 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605763.517 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605763.517 * [misc]backup-simplify: Simplify 0 into 0 1544605763.517 * [misc]backup-simplify: Simplify 1 into 1 1544605763.517 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605763.517 * [misc]backup-simplify: Simplify a2 into a2 1544605763.518 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605763.518 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605763.518 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605763.518 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1544605763.518 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) a2) in a2 1544605763.518 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1544605763.518 * [misc]taylor: Taking taylor expansion of b2 in a2 1544605763.518 * [misc]backup-simplify: Simplify b2 into b2 1544605763.518 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605763.518 * [misc]backup-simplify: Simplify b1 into b1 1544605763.518 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605763.518 * [misc]backup-simplify: Simplify 0 into 0 1544605763.518 * [misc]backup-simplify: Simplify 1 into 1 1544605763.518 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605763.519 * [misc]backup-simplify: Simplify (/ (* b2 b1) 1) into (* b2 b1) 1544605763.519 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605763.519 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605763.519 * [misc]backup-simplify: Simplify b2 into b2 1544605763.519 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605763.519 * [misc]backup-simplify: Simplify 0 into 0 1544605763.519 * [misc]backup-simplify: Simplify 1 into 1 1544605763.519 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605763.519 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605763.519 * [misc]backup-simplify: Simplify 0 into 0 1544605763.519 * [misc]backup-simplify: Simplify 1 into 1 1544605763.519 * [misc]backup-simplify: Simplify 1 into 1 1544605763.519 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1544605763.520 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1544605763.520 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)))) into 0 1544605763.520 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605763.520 * [misc]backup-simplify: Simplify 0 into 0 1544605763.520 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1544605763.520 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)))) into 0 1544605763.520 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605763.520 * [misc]backup-simplify: Simplify 0 into 0 1544605763.521 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.521 * [misc]backup-simplify: Simplify 0 into 0 1544605763.521 * [misc]backup-simplify: Simplify 0 into 0 1544605763.521 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1544605763.521 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.521 * [misc]backup-simplify: Simplify 0 into 0 1544605763.521 * [misc]backup-simplify: Simplify 0 into 0 1544605763.521 * [misc]backup-simplify: Simplify 0 into 0 1544605763.521 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1544605763.522 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1544605763.522 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1544605763.522 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605763.522 * [misc]backup-simplify: Simplify 0 into 0 1544605763.522 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605763.522 * [misc]backup-simplify: Simplify 0 into 0 1544605763.522 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.522 * [misc]backup-simplify: Simplify 0 into 0 1544605763.522 * [misc]backup-simplify: Simplify 0 into 0 1544605763.523 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1544605763.523 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544605763.523 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605763.523 * [misc]backup-simplify: Simplify 0 into 0 1544605763.523 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.523 * [misc]backup-simplify: Simplify 0 into 0 1544605763.523 * [misc]backup-simplify: Simplify 0 into 0 1544605763.523 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.523 * [misc]backup-simplify: Simplify 0 into 0 1544605763.523 * [misc]backup-simplify: Simplify 0 into 0 1544605763.524 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b2) (* (/ 1 b1) (* (/ 1 (/ 1 a2)) (/ 1 (/ 1 a1)))))) into (/ (* a1 a2) (* b2 b1)) 1544605763.524 * [misc]backup-simplify: Simplify (* (* (/ 1 (- a1)) (/ 1 (- a2))) (/ 1 (* (/ 1 (- b1)) (/ 1 (- b2))))) into (/ (* b2 b1) (* a1 a2)) 1544605763.524 * [misc]approximate: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in (a1 a2 b1 b2) around 0 1544605763.524 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b2 1544605763.524 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1544605763.524 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605763.524 * [misc]backup-simplify: Simplify 0 into 0 1544605763.524 * [misc]backup-simplify: Simplify 1 into 1 1544605763.524 * [misc]taylor: Taking taylor expansion of b1 in b2 1544605763.524 * [misc]backup-simplify: Simplify b1 into b1 1544605763.524 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1544605763.524 * [misc]taylor: Taking taylor expansion of a1 in b2 1544605763.524 * [misc]backup-simplify: Simplify a1 into a1 1544605763.524 * [misc]taylor: Taking taylor expansion of a2 in b2 1544605763.525 * [misc]backup-simplify: Simplify a2 into a2 1544605763.525 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1544605763.525 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1544605763.525 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605763.525 * [misc]backup-simplify: Simplify (/ b1 (* a1 a2)) into (/ b1 (* a1 a2)) 1544605763.525 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b1 1544605763.525 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605763.525 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605763.525 * [misc]backup-simplify: Simplify b2 into b2 1544605763.525 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605763.525 * [misc]backup-simplify: Simplify 0 into 0 1544605763.525 * [misc]backup-simplify: Simplify 1 into 1 1544605763.525 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1544605763.525 * [misc]taylor: Taking taylor expansion of a1 in b1 1544605763.525 * [misc]backup-simplify: Simplify a1 into a1 1544605763.525 * [misc]taylor: Taking taylor expansion of a2 in b1 1544605763.525 * [misc]backup-simplify: Simplify a2 into a2 1544605763.525 * [misc]backup-simplify: Simplify (* b2 0) into 0 1544605763.526 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605763.526 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605763.526 * [misc]backup-simplify: Simplify (/ b2 (* a1 a2)) into (/ b2 (* a1 a2)) 1544605763.526 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a2 1544605763.526 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1544605763.526 * [misc]taylor: Taking taylor expansion of b2 in a2 1544605763.526 * [misc]backup-simplify: Simplify b2 into b2 1544605763.526 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605763.526 * [misc]backup-simplify: Simplify b1 into b1 1544605763.526 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1544605763.526 * [misc]taylor: Taking taylor expansion of a1 in a2 1544605763.526 * [misc]backup-simplify: Simplify a1 into a1 1544605763.526 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605763.526 * [misc]backup-simplify: Simplify 0 into 0 1544605763.526 * [misc]backup-simplify: Simplify 1 into 1 1544605763.526 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605763.526 * [misc]backup-simplify: Simplify (* a1 0) into 0 1544605763.527 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1544605763.527 * [misc]backup-simplify: Simplify (/ (* b2 b1) a1) into (/ (* b2 b1) a1) 1544605763.527 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1544605763.527 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1544605763.527 * [misc]taylor: Taking taylor expansion of b2 in a1 1544605763.527 * [misc]backup-simplify: Simplify b2 into b2 1544605763.527 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605763.527 * [misc]backup-simplify: Simplify b1 into b1 1544605763.527 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605763.527 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605763.527 * [misc]backup-simplify: Simplify 0 into 0 1544605763.527 * [misc]backup-simplify: Simplify 1 into 1 1544605763.527 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605763.527 * [misc]backup-simplify: Simplify a2 into a2 1544605763.527 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605763.527 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605763.528 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605763.528 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1544605763.528 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1544605763.528 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1544605763.528 * [misc]taylor: Taking taylor expansion of b2 in a1 1544605763.528 * [misc]backup-simplify: Simplify b2 into b2 1544605763.528 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605763.528 * [misc]backup-simplify: Simplify b1 into b1 1544605763.528 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605763.528 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605763.528 * [misc]backup-simplify: Simplify 0 into 0 1544605763.528 * [misc]backup-simplify: Simplify 1 into 1 1544605763.528 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605763.528 * [misc]backup-simplify: Simplify a2 into a2 1544605763.528 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605763.528 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605763.528 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605763.528 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1544605763.529 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) a2) in a2 1544605763.529 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1544605763.529 * [misc]taylor: Taking taylor expansion of b2 in a2 1544605763.529 * [misc]backup-simplify: Simplify b2 into b2 1544605763.529 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605763.529 * [misc]backup-simplify: Simplify b1 into b1 1544605763.529 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605763.529 * [misc]backup-simplify: Simplify 0 into 0 1544605763.529 * [misc]backup-simplify: Simplify 1 into 1 1544605763.529 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605763.529 * [misc]backup-simplify: Simplify (/ (* b2 b1) 1) into (* b2 b1) 1544605763.529 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605763.529 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605763.529 * [misc]backup-simplify: Simplify b2 into b2 1544605763.529 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605763.529 * [misc]backup-simplify: Simplify 0 into 0 1544605763.529 * [misc]backup-simplify: Simplify 1 into 1 1544605763.529 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605763.529 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605763.529 * [misc]backup-simplify: Simplify 0 into 0 1544605763.530 * [misc]backup-simplify: Simplify 1 into 1 1544605763.530 * [misc]backup-simplify: Simplify 1 into 1 1544605763.530 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1544605763.530 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1544605763.530 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)))) into 0 1544605763.530 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605763.530 * [misc]backup-simplify: Simplify 0 into 0 1544605763.530 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1544605763.531 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)))) into 0 1544605763.531 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605763.531 * [misc]backup-simplify: Simplify 0 into 0 1544605763.531 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.531 * [misc]backup-simplify: Simplify 0 into 0 1544605763.531 * [misc]backup-simplify: Simplify 0 into 0 1544605763.531 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1544605763.531 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.531 * [misc]backup-simplify: Simplify 0 into 0 1544605763.531 * [misc]backup-simplify: Simplify 0 into 0 1544605763.531 * [misc]backup-simplify: Simplify 0 into 0 1544605763.532 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1544605763.532 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1544605763.533 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1544605763.533 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605763.533 * [misc]backup-simplify: Simplify 0 into 0 1544605763.533 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605763.533 * [misc]backup-simplify: Simplify 0 into 0 1544605763.533 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.533 * [misc]backup-simplify: Simplify 0 into 0 1544605763.533 * [misc]backup-simplify: Simplify 0 into 0 1544605763.533 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1544605763.534 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544605763.534 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605763.534 * [misc]backup-simplify: Simplify 0 into 0 1544605763.534 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.534 * [misc]backup-simplify: Simplify 0 into 0 1544605763.534 * [misc]backup-simplify: Simplify 0 into 0 1544605763.534 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.534 * [misc]backup-simplify: Simplify 0 into 0 1544605763.534 * [misc]backup-simplify: Simplify 0 into 0 1544605763.534 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 (- b2)) (* (/ 1 (- b1)) (* (/ 1 (/ 1 (- a2))) (/ 1 (/ 1 (- a1))))))) into (/ (* a1 a2) (* b2 b1)) 1544605763.534 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2) 1544605763.538 * [misc]backup-simplify: Simplify (/ 1 (* b1 b2)) into (/ 1 (* b2 b1)) 1544605763.539 * [misc]approximate: Taking taylor expansion of (/ 1 (* b2 b1)) in (b1 b2) around 0 1544605763.539 * [misc]taylor: Taking taylor expansion of (/ 1 (* b2 b1)) in b2 1544605763.539 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1544605763.539 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605763.539 * [misc]backup-simplify: Simplify 0 into 0 1544605763.539 * [misc]backup-simplify: Simplify 1 into 1 1544605763.539 * [misc]taylor: Taking taylor expansion of b1 in b2 1544605763.539 * [misc]backup-simplify: Simplify b1 into b1 1544605763.539 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1544605763.539 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1544605763.539 * [misc]backup-simplify: Simplify (/ 1 b1) into (/ 1 b1) 1544605763.539 * [misc]taylor: Taking taylor expansion of (/ 1 (* b2 b1)) in b1 1544605763.539 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605763.539 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605763.539 * [misc]backup-simplify: Simplify b2 into b2 1544605763.539 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605763.540 * [misc]backup-simplify: Simplify 0 into 0 1544605763.540 * [misc]backup-simplify: Simplify 1 into 1 1544605763.540 * [misc]backup-simplify: Simplify (* b2 0) into 0 1544605763.540 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605763.540 * [misc]backup-simplify: Simplify (/ 1 b2) into (/ 1 b2) 1544605763.540 * [misc]taylor: Taking taylor expansion of (/ 1 (* b2 b1)) in b1 1544605763.540 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605763.540 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605763.540 * [misc]backup-simplify: Simplify b2 into b2 1544605763.540 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605763.540 * [misc]backup-simplify: Simplify 0 into 0 1544605763.540 * [misc]backup-simplify: Simplify 1 into 1 1544605763.540 * [misc]backup-simplify: Simplify (* b2 0) into 0 1544605763.540 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605763.540 * [misc]backup-simplify: Simplify (/ 1 b2) into (/ 1 b2) 1544605763.541 * [misc]taylor: Taking taylor expansion of (/ 1 b2) in b2 1544605763.541 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605763.541 * [misc]backup-simplify: Simplify 0 into 0 1544605763.541 * [misc]backup-simplify: Simplify 1 into 1 1544605763.541 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544605763.541 * [misc]backup-simplify: Simplify 1 into 1 1544605763.541 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1544605763.541 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)))) into 0 1544605763.541 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.541 * [misc]backup-simplify: Simplify 0 into 0 1544605763.542 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544605763.542 * [misc]backup-simplify: Simplify 0 into 0 1544605763.542 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1544605763.542 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)) (* 0 (/ 0 b2)))) into 0 1544605763.542 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.542 * [misc]backup-simplify: Simplify 0 into 0 1544605763.542 * [misc]backup-simplify: Simplify 0 into 0 1544605763.543 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544605763.543 * [misc]backup-simplify: Simplify 0 into 0 1544605763.543 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1544605763.543 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)) (* 0 (/ 0 b2)) (* 0 (/ 0 b2)))) into 0 1544605763.543 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.543 * [misc]backup-simplify: Simplify 0 into 0 1544605763.543 * [misc]backup-simplify: Simplify 0 into 0 1544605763.544 * [misc]backup-simplify: Simplify 0 into 0 1544605763.544 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544605763.544 * [misc]backup-simplify: Simplify 0 into 0 1544605763.544 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b2) (/ 1 b1))) into (/ 1 (* b2 b1)) 1544605763.544 * [misc]backup-simplify: Simplify (/ 1 (* (/ 1 b1) (/ 1 b2))) into (* b2 b1) 1544605763.544 * [misc]approximate: Taking taylor expansion of (* b2 b1) in (b1 b2) around 0 1544605763.544 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1544605763.544 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605763.544 * [misc]backup-simplify: Simplify 0 into 0 1544605763.544 * [misc]backup-simplify: Simplify 1 into 1 1544605763.544 * [misc]taylor: Taking taylor expansion of b1 in b2 1544605763.544 * [misc]backup-simplify: Simplify b1 into b1 1544605763.545 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605763.545 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605763.545 * [misc]backup-simplify: Simplify b2 into b2 1544605763.545 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605763.545 * [misc]backup-simplify: Simplify 0 into 0 1544605763.545 * [misc]backup-simplify: Simplify 1 into 1 1544605763.545 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605763.545 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605763.545 * [misc]backup-simplify: Simplify b2 into b2 1544605763.545 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605763.545 * [misc]backup-simplify: Simplify 0 into 0 1544605763.545 * [misc]backup-simplify: Simplify 1 into 1 1544605763.545 * [misc]backup-simplify: Simplify (* b2 0) into 0 1544605763.545 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.545 * [misc]backup-simplify: Simplify 0 into 0 1544605763.545 * [misc]backup-simplify: Simplify 0 into 0 1544605763.545 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605763.545 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605763.545 * [misc]backup-simplify: Simplify 0 into 0 1544605763.545 * [misc]backup-simplify: Simplify 1 into 1 1544605763.545 * [misc]backup-simplify: Simplify 0 into 0 1544605763.545 * [misc]backup-simplify: Simplify 0 into 0 1544605763.546 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1544605763.546 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.546 * [misc]backup-simplify: Simplify 0 into 0 1544605763.546 * [misc]backup-simplify: Simplify 0 into 0 1544605763.546 * [misc]backup-simplify: Simplify 1 into 1 1544605763.546 * [misc]backup-simplify: Simplify 0 into 0 1544605763.547 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1544605763.547 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.547 * [misc]backup-simplify: Simplify 0 into 0 1544605763.547 * [misc]backup-simplify: Simplify 0 into 0 1544605763.547 * [misc]backup-simplify: Simplify 0 into 0 1544605763.547 * [misc]backup-simplify: Simplify 0 into 0 1544605763.547 * [misc]backup-simplify: Simplify 0 into 0 1544605763.547 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1544605763.547 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.547 * [misc]backup-simplify: Simplify 0 into 0 1544605763.548 * [misc]backup-simplify: Simplify 0 into 0 1544605763.548 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b2) (/ 1 b1))) into (/ 1 (* b2 b1)) 1544605763.548 * [misc]backup-simplify: Simplify (/ 1 (* (/ 1 (- b1)) (/ 1 (- b2)))) into (* b2 b1) 1544605763.548 * [misc]approximate: Taking taylor expansion of (* b2 b1) in (b1 b2) around 0 1544605763.548 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1544605763.548 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605763.548 * [misc]backup-simplify: Simplify 0 into 0 1544605763.548 * [misc]backup-simplify: Simplify 1 into 1 1544605763.548 * [misc]taylor: Taking taylor expansion of b1 in b2 1544605763.548 * [misc]backup-simplify: Simplify b1 into b1 1544605763.548 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605763.548 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605763.548 * [misc]backup-simplify: Simplify b2 into b2 1544605763.548 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605763.548 * [misc]backup-simplify: Simplify 0 into 0 1544605763.548 * [misc]backup-simplify: Simplify 1 into 1 1544605763.548 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605763.548 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605763.548 * [misc]backup-simplify: Simplify b2 into b2 1544605763.548 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605763.548 * [misc]backup-simplify: Simplify 0 into 0 1544605763.548 * [misc]backup-simplify: Simplify 1 into 1 1544605763.549 * [misc]backup-simplify: Simplify (* b2 0) into 0 1544605763.549 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.549 * [misc]backup-simplify: Simplify 0 into 0 1544605763.549 * [misc]backup-simplify: Simplify 0 into 0 1544605763.549 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605763.549 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605763.549 * [misc]backup-simplify: Simplify 0 into 0 1544605763.549 * [misc]backup-simplify: Simplify 1 into 1 1544605763.549 * [misc]backup-simplify: Simplify 0 into 0 1544605763.549 * [misc]backup-simplify: Simplify 0 into 0 1544605763.549 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1544605763.549 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.550 * [misc]backup-simplify: Simplify 0 into 0 1544605763.550 * [misc]backup-simplify: Simplify 0 into 0 1544605763.550 * [misc]backup-simplify: Simplify 1 into 1 1544605763.550 * [misc]backup-simplify: Simplify 0 into 0 1544605763.550 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1544605763.550 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.550 * [misc]backup-simplify: Simplify 0 into 0 1544605763.550 * [misc]backup-simplify: Simplify 0 into 0 1544605763.550 * [misc]backup-simplify: Simplify 0 into 0 1544605763.550 * [misc]backup-simplify: Simplify 0 into 0 1544605763.551 * [misc]backup-simplify: Simplify 0 into 0 1544605763.551 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1544605763.551 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605763.551 * [misc]backup-simplify: Simplify 0 into 0 1544605763.551 * [misc]backup-simplify: Simplify 0 into 0 1544605763.551 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 (- b2)) (/ 1 (- b1)))) into (/ 1 (* b2 b1)) 1544605763.551 * * * [misc]progress: simplifying candidates 1544605763.551 * * * * [misc]progress: [ 1 / 39 ] simplifiying candidate # 1544605763.552 * [enter]simplify: Simplifying (* (* a1 a2) (/ 1 (* b1 b2))) 1544605763.553 * * [misc]simplify: iters left: 6 (9 enodes) 1544605763.558 * * [misc]simplify: iters left: 5 (20 enodes) 1544605763.569 * * [misc]simplify: iters left: 4 (46 enodes) 1544605763.589 * * [misc]simplify: iters left: 3 (124 enodes) 1544605763.652 * * [misc]simplify: iters left: 2 (293 enodes) 1544605763.858 * * [misc]simplify: iters left: 1 (471 enodes) 1544605764.165 * [exit]simplify: Simplified to (* (/ a2 b2) (/ a1 b1)) 1544605764.165 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (pow (* (/ a2 b2) (/ a1 b1)) 1)) 1544605764.165 * * * * [misc]progress: [ 2 / 39 ] simplifiying candidate # 1544605764.165 * * * * [misc]progress: [ 3 / 39 ] simplifiying candidate # 1544605764.166 * [enter]simplify: Simplifying (+ (log (* a1 a2)) (- (log (* b1 b2)))) 1544605764.167 * * [misc]simplify: iters left: 6 (10 enodes) 1544605764.171 * * [misc]simplify: iters left: 5 (20 enodes) 1544605764.178 * * [misc]simplify: iters left: 4 (33 enodes) 1544605764.191 * * [misc]simplify: iters left: 3 (56 enodes) 1544605764.219 * * [misc]simplify: iters left: 2 (109 enodes) 1544605764.270 * * [misc]simplify: iters left: 1 (165 enodes) 1544605764.364 * [exit]simplify: Simplified to (- (log (* a1 a2)) (log (* b1 b2))) 1544605764.364 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (exp (- (log (* a1 a2)) (log (* b1 b2))))) 1544605764.364 * * * * [misc]progress: [ 4 / 39 ] simplifiying candidate # 1544605764.365 * [enter]simplify: Simplifying (+ (log (* a1 a2)) (log (/ 1 (* b1 b2)))) 1544605764.366 * * [misc]simplify: iters left: 6 (11 enodes) 1544605764.374 * * [misc]simplify: iters left: 5 (25 enodes) 1544605764.383 * * [misc]simplify: iters left: 4 (37 enodes) 1544605764.400 * * [misc]simplify: iters left: 3 (74 enodes) 1544605764.440 * * [misc]simplify: iters left: 2 (172 enodes) 1544605764.603 * * [misc]simplify: iters left: 1 (423 enodes) 1544605764.944 * [exit]simplify: Simplified to (- (log (* a1 a2)) (log (* b1 b2))) 1544605764.944 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (exp (- (log (* a1 a2)) (log (* b1 b2))))) 1544605764.944 * * * * [misc]progress: [ 5 / 39 ] simplifiying candidate # 1544605764.944 * * * * [misc]progress: [ 6 / 39 ] simplifiying candidate # 1544605764.944 * * * * [misc]progress: [ 7 / 39 ] simplifiying candidate # 1544605764.944 * [enter]simplify: Simplifying (* (* (* (* a1 a2) (* a1 a2)) (* a1 a2)) (* (* (/ 1 (* b1 b2)) (/ 1 (* b1 b2))) (/ 1 (* b1 b2)))) 1544605764.945 * * [misc]simplify: iters left: 6 (13 enodes) 1544605764.950 * * [misc]simplify: iters left: 5 (38 enodes) 1544605764.973 * * [misc]simplify: iters left: 4 (122 enodes) 1544605765.183 * [exit]simplify: Simplified to (* (/ (* (* a1 a2) 1) (* (* b2 b1) (* b2 b1))) (* (/ (/ 1 b2) b1) (* (* a1 a2) (* a1 a2)))) 1544605765.183 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (cbrt (* (/ (* (* a1 a2) 1) (* (* b2 b1) (* b2 b1))) (* (/ (/ 1 b2) b1) (* (* a1 a2) (* a1 a2)))))) 1544605765.183 * * * * [misc]progress: [ 8 / 39 ] simplifiying candidate # 1544605765.183 * * * * [misc]progress: [ 9 / 39 ] simplifiying candidate # 1544605765.184 * * * * [misc]progress: [ 10 / 39 ] simplifiying candidate # 1544605765.184 * * * * [misc]progress: [ 11 / 39 ] simplifiying candidate # 1544605765.184 * * * * [misc]progress: [ 12 / 39 ] simplifiying candidate # 1544605765.184 * [enter]simplify: Simplifying (* b1 b2) 1544605765.188 * * [misc]simplify: iters left: 2 (3 enodes) 1544605765.190 * * [misc]simplify: iters left: 1 (4 enodes) 1544605765.191 * [exit]simplify: Simplified to (* b1 b2) 1544605765.191 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (/ (* a1 a2) (* b1 b2))) 1544605765.191 * * * * [misc]progress: [ 13 / 39 ] simplifiying candidate # 1544605765.192 * [enter]simplify: Simplifying (cbrt (/ 1 (* b1 b2))) 1544605765.192 * * [misc]simplify: iters left: 5 (6 enodes) 1544605765.195 * * [misc]simplify: iters left: 4 (11 enodes) 1544605765.198 * [exit]simplify: Simplified to (cbrt (/ 1 (* b2 b1))) 1544605765.198 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* (* a1 a2) (* (cbrt (/ 1 (* b1 b2))) (cbrt (/ 1 (* b1 b2))))) (cbrt (/ 1 (* b2 b1))))) 1544605765.198 * * * * [misc]progress: [ 14 / 39 ] simplifiying candidate # 1544605765.199 * [enter]simplify: Simplifying (sqrt (/ 1 (* b1 b2))) 1544605765.199 * * [misc]simplify: iters left: 5 (6 enodes) 1544605765.202 * * [misc]simplify: iters left: 4 (11 enodes) 1544605765.205 * [exit]simplify: Simplified to (sqrt (/ 1 (* b2 b1))) 1544605765.205 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* (* a1 a2) (sqrt (/ 1 (* b1 b2)))) (sqrt (/ 1 (* b2 b1))))) 1544605765.205 * * * * [misc]progress: [ 15 / 39 ] simplifiying candidate # 1544605765.206 * [enter]simplify: Simplifying (/ 1 (* b1 b2)) 1544605765.206 * * [misc]simplify: iters left: 4 (5 enodes) 1544605765.208 * * [misc]simplify: iters left: 3 (10 enodes) 1544605765.212 * [exit]simplify: Simplified to (/ 1 (* b2 b1)) 1544605765.212 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* (* a1 a2) 1) (/ 1 (* b2 b1)))) 1544605765.212 * * * * [misc]progress: [ 16 / 39 ] simplifiying candidate # 1544605765.212 * [enter]simplify: Simplifying (/ 1 (* b1 b2)) 1544605765.212 * * [misc]simplify: iters left: 4 (5 enodes) 1544605765.215 * * [misc]simplify: iters left: 3 (10 enodes) 1544605765.218 * [exit]simplify: Simplified to (/ 1 (* b2 b1)) 1544605765.218 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* (* a1 a2) 1) (/ 1 (* b2 b1)))) 1544605765.218 * * * * [misc]progress: [ 17 / 39 ] simplifiying candidate # 1544605765.218 * * * * [misc]progress: [ 18 / 39 ] simplifiying candidate # 1544605765.218 * [enter]simplify: Simplifying (* b1 b2) 1544605765.219 * * [misc]simplify: iters left: 2 (3 enodes) 1544605765.220 * * [misc]simplify: iters left: 1 (4 enodes) 1544605765.221 * [exit]simplify: Simplified to (* b1 b2) 1544605765.221 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (/ (* (* a1 a2) 1) (* b1 b2))) 1544605765.221 * * * * [misc]progress: [ 19 / 39 ] simplifiying candidate # 1544605765.221 * * * * [misc]progress: [ 20 / 39 ] simplifiying candidate # 1544605765.221 * * * * [misc]progress: [ 21 / 39 ] simplifiying candidate # 1544605765.222 * [enter]simplify: Simplifying (- 1) 1544605765.222 * * [misc]simplify: iters left: 2 (2 enodes) 1544605765.224 * * [misc]simplify: iters left: 1 (5 enodes) 1544605765.225 * [exit]simplify: Simplified to -1 1544605765.225 * [misc]simplify: Simplified (2 2 2) to (λ (a1 a2 b1 b2) (* (* a1 a2) (pow (* b1 b2) -1))) 1544605765.225 * * * * [misc]progress: [ 22 / 39 ] simplifiying candidate # 1544605765.225 * * * * [misc]progress: [ 23 / 39 ] simplifiying candidate # 1544605765.225 * * * * [misc]progress: [ 24 / 39 ] simplifiying candidate # 1544605765.225 * * * * [misc]progress: [ 25 / 39 ] simplifiying candidate # 1544605765.225 * * * * [misc]progress: [ 26 / 39 ] simplifiying candidate # 1544605765.225 * * * * [misc]progress: [ 27 / 39 ] simplifiying candidate # 1544605765.225 * * * * [misc]progress: [ 28 / 39 ] simplifiying candidate # 1544605765.225 * * * * [misc]progress: [ 29 / 39 ] simplifiying candidate # 1544605765.225 * * * * [misc]progress: [ 30 / 39 ] simplifiying candidate # 1544605765.225 * * * * [misc]progress: [ 31 / 39 ] simplifiying candidate # 1544605765.225 * * * * [misc]progress: [ 32 / 39 ] simplifiying candidate # 1544605765.225 * * * * [misc]progress: [ 33 / 39 ] simplifiying candidate # 1544605765.225 * * * * [misc]progress: [ 34 / 39 ] simplifiying candidate # 1544605765.226 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1544605765.226 * * [misc]simplify: iters left: 4 (7 enodes) 1544605765.230 * * [misc]simplify: iters left: 3 (16 enodes) 1544605765.238 * * [misc]simplify: iters left: 2 (35 enodes) 1544605765.254 * * [misc]simplify: iters left: 1 (58 enodes) 1544605765.275 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1544605765.275 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1544605765.275 * * * * [misc]progress: [ 35 / 39 ] simplifiying candidate # 1544605765.276 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1544605765.276 * * [misc]simplify: iters left: 4 (7 enodes) 1544605765.280 * * [misc]simplify: iters left: 3 (16 enodes) 1544605765.288 * * [misc]simplify: iters left: 2 (35 enodes) 1544605765.304 * * [misc]simplify: iters left: 1 (58 enodes) 1544605765.329 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1544605765.329 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1544605765.329 * * * * [misc]progress: [ 36 / 39 ] simplifiying candidate # 1544605765.329 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1544605765.330 * * [misc]simplify: iters left: 4 (7 enodes) 1544605765.333 * * [misc]simplify: iters left: 3 (16 enodes) 1544605765.342 * * [misc]simplify: iters left: 2 (35 enodes) 1544605765.357 * * [misc]simplify: iters left: 1 (58 enodes) 1544605765.380 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1544605765.380 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1544605765.380 * * * * [misc]progress: [ 37 / 39 ] simplifiying candidate # 1544605765.380 * [enter]simplify: Simplifying (/ 1 (* b2 b1)) 1544605765.380 * * [misc]simplify: iters left: 4 (5 enodes) 1544605765.383 * * [misc]simplify: iters left: 3 (10 enodes) 1544605765.386 * [exit]simplify: Simplified to (/ 1 (* b1 b2)) 1544605765.386 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* a1 a2) (/ 1 (* b1 b2)))) 1544605765.386 * * * * [misc]progress: [ 38 / 39 ] simplifiying candidate # 1544605765.387 * [enter]simplify: Simplifying (/ 1 (* b2 b1)) 1544605765.387 * * [misc]simplify: iters left: 4 (5 enodes) 1544605765.390 * * [misc]simplify: iters left: 3 (10 enodes) 1544605765.393 * [exit]simplify: Simplified to (/ 1 (* b1 b2)) 1544605765.393 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* a1 a2) (/ 1 (* b1 b2)))) 1544605765.393 * * * * [misc]progress: [ 39 / 39 ] simplifiying candidate # 1544605765.393 * [enter]simplify: Simplifying (/ 1 (* b2 b1)) 1544605765.394 * * [misc]simplify: iters left: 4 (5 enodes) 1544605765.396 * * [misc]simplify: iters left: 3 (10 enodes) 1544605765.400 * [exit]simplify: Simplified to (/ 1 (* b1 b2)) 1544605765.400 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* a1 a2) (/ 1 (* b1 b2)))) 1544605765.400 * * * [misc]progress: adding candidates to table 1544605765.984 * * [misc]progress: iteration 3 / 4 1544605765.984 * * * [misc]progress: picking best candidate 1544605766.012 * * * * [misc]pick: Picked # 1544605766.012 * * * [misc]progress: localizing error 1544605766.018 * * * [misc]progress: generating rewritten candidates 1544605766.018 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1544605766.045 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1544605766.064 * * * [misc]progress: generating series expansions 1544605766.064 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1544605766.064 * [misc]backup-simplify: Simplify (/ (/ (* a1 a2) b1) b2) into (/ (* a1 a2) (* b2 b1)) 1544605766.065 * [misc]approximate: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in (a1 a2 b1 b2) around 0 1544605766.065 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in b2 1544605766.065 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1544605766.065 * [misc]taylor: Taking taylor expansion of a1 in b2 1544605766.065 * [misc]backup-simplify: Simplify a1 into a1 1544605766.065 * [misc]taylor: Taking taylor expansion of a2 in b2 1544605766.065 * [misc]backup-simplify: Simplify a2 into a2 1544605766.065 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1544605766.065 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605766.065 * [misc]backup-simplify: Simplify 0 into 0 1544605766.065 * [misc]backup-simplify: Simplify 1 into 1 1544605766.065 * [misc]taylor: Taking taylor expansion of b1 in b2 1544605766.065 * [misc]backup-simplify: Simplify b1 into b1 1544605766.065 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605766.065 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1544605766.065 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1544605766.065 * [misc]backup-simplify: Simplify (/ (* a1 a2) b1) into (/ (* a1 a2) b1) 1544605766.065 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in b1 1544605766.066 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1544605766.066 * [misc]taylor: Taking taylor expansion of a1 in b1 1544605766.066 * [misc]backup-simplify: Simplify a1 into a1 1544605766.066 * [misc]taylor: Taking taylor expansion of a2 in b1 1544605766.066 * [misc]backup-simplify: Simplify a2 into a2 1544605766.066 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605766.066 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605766.066 * [misc]backup-simplify: Simplify b2 into b2 1544605766.066 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605766.066 * [misc]backup-simplify: Simplify 0 into 0 1544605766.066 * [misc]backup-simplify: Simplify 1 into 1 1544605766.066 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605766.066 * [misc]backup-simplify: Simplify (* b2 0) into 0 1544605766.066 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605766.066 * [misc]backup-simplify: Simplify (/ (* a1 a2) b2) into (/ (* a1 a2) b2) 1544605766.066 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a2 1544605766.066 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1544605766.066 * [misc]taylor: Taking taylor expansion of a1 in a2 1544605766.066 * [misc]backup-simplify: Simplify a1 into a1 1544605766.066 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605766.066 * [misc]backup-simplify: Simplify 0 into 0 1544605766.066 * [misc]backup-simplify: Simplify 1 into 1 1544605766.066 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1544605766.066 * [misc]taylor: Taking taylor expansion of b2 in a2 1544605766.067 * [misc]backup-simplify: Simplify b2 into b2 1544605766.067 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605766.067 * [misc]backup-simplify: Simplify b1 into b1 1544605766.067 * [misc]backup-simplify: Simplify (* a1 0) into 0 1544605766.067 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1544605766.067 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605766.067 * [misc]backup-simplify: Simplify (/ a1 (* b2 b1)) into (/ a1 (* b2 b1)) 1544605766.067 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a1 1544605766.067 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605766.067 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605766.067 * [misc]backup-simplify: Simplify 0 into 0 1544605766.067 * [misc]backup-simplify: Simplify 1 into 1 1544605766.067 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605766.067 * [misc]backup-simplify: Simplify a2 into a2 1544605766.067 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1544605766.067 * [misc]taylor: Taking taylor expansion of b2 in a1 1544605766.067 * [misc]backup-simplify: Simplify b2 into b2 1544605766.067 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605766.067 * [misc]backup-simplify: Simplify b1 into b1 1544605766.067 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605766.068 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605766.068 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605766.068 * [misc]backup-simplify: Simplify (/ a2 (* b2 b1)) into (/ a2 (* b2 b1)) 1544605766.068 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a1 1544605766.068 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605766.068 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605766.068 * [misc]backup-simplify: Simplify 0 into 0 1544605766.068 * [misc]backup-simplify: Simplify 1 into 1 1544605766.068 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605766.068 * [misc]backup-simplify: Simplify a2 into a2 1544605766.068 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1544605766.068 * [misc]taylor: Taking taylor expansion of b2 in a1 1544605766.068 * [misc]backup-simplify: Simplify b2 into b2 1544605766.068 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605766.068 * [misc]backup-simplify: Simplify b1 into b1 1544605766.068 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605766.068 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605766.068 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605766.069 * [misc]backup-simplify: Simplify (/ a2 (* b2 b1)) into (/ a2 (* b2 b1)) 1544605766.069 * [misc]taylor: Taking taylor expansion of (/ a2 (* b2 b1)) in a2 1544605766.069 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605766.069 * [misc]backup-simplify: Simplify 0 into 0 1544605766.069 * [misc]backup-simplify: Simplify 1 into 1 1544605766.069 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1544605766.069 * [misc]taylor: Taking taylor expansion of b2 in a2 1544605766.069 * [misc]backup-simplify: Simplify b2 into b2 1544605766.069 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605766.069 * [misc]backup-simplify: Simplify b1 into b1 1544605766.069 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605766.069 * [misc]backup-simplify: Simplify (/ 1 (* b2 b1)) into (/ 1 (* b2 b1)) 1544605766.069 * [misc]taylor: Taking taylor expansion of (/ 1 (* b2 b1)) in b1 1544605766.069 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605766.069 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605766.069 * [misc]backup-simplify: Simplify b2 into b2 1544605766.069 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605766.069 * [misc]backup-simplify: Simplify 0 into 0 1544605766.069 * [misc]backup-simplify: Simplify 1 into 1 1544605766.069 * [misc]backup-simplify: Simplify (* b2 0) into 0 1544605766.070 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605766.070 * [misc]backup-simplify: Simplify (/ 1 b2) into (/ 1 b2) 1544605766.070 * [misc]taylor: Taking taylor expansion of (/ 1 b2) in b2 1544605766.070 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605766.070 * [misc]backup-simplify: Simplify 0 into 0 1544605766.070 * [misc]backup-simplify: Simplify 1 into 1 1544605766.070 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544605766.070 * [misc]backup-simplify: Simplify 1 into 1 1544605766.070 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1544605766.071 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1544605766.071 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))))) into 0 1544605766.071 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.071 * [misc]backup-simplify: Simplify 0 into 0 1544605766.071 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.071 * [misc]backup-simplify: Simplify 0 into 0 1544605766.071 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1544605766.071 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))))) into 0 1544605766.071 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.071 * [misc]backup-simplify: Simplify 0 into 0 1544605766.072 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1544605766.072 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)))) into 0 1544605766.072 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.072 * [misc]backup-simplify: Simplify 0 into 0 1544605766.072 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544605766.072 * [misc]backup-simplify: Simplify 0 into 0 1544605766.073 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1544605766.073 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1544605766.073 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1544605766.073 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.073 * [misc]backup-simplify: Simplify 0 into 0 1544605766.073 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.073 * [misc]backup-simplify: Simplify 0 into 0 1544605766.073 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.074 * [misc]backup-simplify: Simplify 0 into 0 1544605766.074 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1544605766.074 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1544605766.074 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.074 * [misc]backup-simplify: Simplify 0 into 0 1544605766.074 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.074 * [misc]backup-simplify: Simplify 0 into 0 1544605766.074 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.074 * [misc]backup-simplify: Simplify 0 into 0 1544605766.075 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1544605766.075 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)) (* 0 (/ 0 b2)))) into 0 1544605766.075 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.075 * [misc]backup-simplify: Simplify 0 into 0 1544605766.075 * [misc]backup-simplify: Simplify 0 into 0 1544605766.075 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544605766.075 * [misc]backup-simplify: Simplify 0 into 0 1544605766.076 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 a2))))) into 0 1544605766.076 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1)))) into 0 1544605766.077 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1544605766.077 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.077 * [misc]backup-simplify: Simplify 0 into 0 1544605766.077 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.077 * [misc]backup-simplify: Simplify 0 into 0 1544605766.077 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.077 * [misc]backup-simplify: Simplify 0 into 0 1544605766.077 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.077 * [misc]backup-simplify: Simplify 0 into 0 1544605766.078 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1)))) into 0 1544605766.078 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1544605766.078 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.078 * [misc]backup-simplify: Simplify 0 into 0 1544605766.078 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.078 * [misc]backup-simplify: Simplify 0 into 0 1544605766.078 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.078 * [misc]backup-simplify: Simplify 0 into 0 1544605766.078 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.078 * [misc]backup-simplify: Simplify 0 into 0 1544605766.078 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.078 * [misc]backup-simplify: Simplify 0 into 0 1544605766.078 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.079 * [misc]backup-simplify: Simplify 0 into 0 1544605766.079 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1544605766.079 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)) (* 0 (/ 0 b2)) (* 0 (/ 0 b2)))) into 0 1544605766.079 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.079 * [misc]backup-simplify: Simplify 0 into 0 1544605766.079 * [misc]backup-simplify: Simplify 0 into 0 1544605766.079 * [misc]backup-simplify: Simplify 0 into 0 1544605766.079 * [misc]backup-simplify: Simplify 0 into 0 1544605766.080 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b2) (* (/ 1 b1) (* a2 a1)))) into (/ (* a1 a2) (* b2 b1)) 1544605766.080 * [misc]backup-simplify: Simplify (/ (/ (* (/ 1 a1) (/ 1 a2)) (/ 1 b1)) (/ 1 b2)) into (/ (* b2 b1) (* a1 a2)) 1544605766.080 * [misc]approximate: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in (a1 a2 b1 b2) around 0 1544605766.080 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b2 1544605766.080 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1544605766.080 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605766.080 * [misc]backup-simplify: Simplify 0 into 0 1544605766.080 * [misc]backup-simplify: Simplify 1 into 1 1544605766.080 * [misc]taylor: Taking taylor expansion of b1 in b2 1544605766.080 * [misc]backup-simplify: Simplify b1 into b1 1544605766.080 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1544605766.080 * [misc]taylor: Taking taylor expansion of a1 in b2 1544605766.080 * [misc]backup-simplify: Simplify a1 into a1 1544605766.080 * [misc]taylor: Taking taylor expansion of a2 in b2 1544605766.080 * [misc]backup-simplify: Simplify a2 into a2 1544605766.080 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1544605766.081 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1544605766.081 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605766.081 * [misc]backup-simplify: Simplify (/ b1 (* a1 a2)) into (/ b1 (* a1 a2)) 1544605766.081 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b1 1544605766.081 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605766.081 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605766.081 * [misc]backup-simplify: Simplify b2 into b2 1544605766.081 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605766.081 * [misc]backup-simplify: Simplify 0 into 0 1544605766.081 * [misc]backup-simplify: Simplify 1 into 1 1544605766.081 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1544605766.081 * [misc]taylor: Taking taylor expansion of a1 in b1 1544605766.081 * [misc]backup-simplify: Simplify a1 into a1 1544605766.081 * [misc]taylor: Taking taylor expansion of a2 in b1 1544605766.081 * [misc]backup-simplify: Simplify a2 into a2 1544605766.081 * [misc]backup-simplify: Simplify (* b2 0) into 0 1544605766.081 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605766.081 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605766.082 * [misc]backup-simplify: Simplify (/ b2 (* a1 a2)) into (/ b2 (* a1 a2)) 1544605766.082 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a2 1544605766.082 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1544605766.082 * [misc]taylor: Taking taylor expansion of b2 in a2 1544605766.082 * [misc]backup-simplify: Simplify b2 into b2 1544605766.082 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605766.082 * [misc]backup-simplify: Simplify b1 into b1 1544605766.082 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1544605766.082 * [misc]taylor: Taking taylor expansion of a1 in a2 1544605766.082 * [misc]backup-simplify: Simplify a1 into a1 1544605766.082 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605766.082 * [misc]backup-simplify: Simplify 0 into 0 1544605766.082 * [misc]backup-simplify: Simplify 1 into 1 1544605766.082 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605766.082 * [misc]backup-simplify: Simplify (* a1 0) into 0 1544605766.082 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1544605766.082 * [misc]backup-simplify: Simplify (/ (* b2 b1) a1) into (/ (* b2 b1) a1) 1544605766.082 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1544605766.082 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1544605766.082 * [misc]taylor: Taking taylor expansion of b2 in a1 1544605766.082 * [misc]backup-simplify: Simplify b2 into b2 1544605766.083 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605766.083 * [misc]backup-simplify: Simplify b1 into b1 1544605766.083 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605766.083 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605766.083 * [misc]backup-simplify: Simplify 0 into 0 1544605766.083 * [misc]backup-simplify: Simplify 1 into 1 1544605766.083 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605766.083 * [misc]backup-simplify: Simplify a2 into a2 1544605766.083 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605766.083 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605766.083 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605766.083 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1544605766.083 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1544605766.083 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1544605766.083 * [misc]taylor: Taking taylor expansion of b2 in a1 1544605766.083 * [misc]backup-simplify: Simplify b2 into b2 1544605766.083 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605766.083 * [misc]backup-simplify: Simplify b1 into b1 1544605766.083 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605766.083 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605766.083 * [misc]backup-simplify: Simplify 0 into 0 1544605766.083 * [misc]backup-simplify: Simplify 1 into 1 1544605766.084 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605766.084 * [misc]backup-simplify: Simplify a2 into a2 1544605766.084 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605766.084 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605766.084 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605766.084 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1544605766.084 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) a2) in a2 1544605766.084 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1544605766.084 * [misc]taylor: Taking taylor expansion of b2 in a2 1544605766.084 * [misc]backup-simplify: Simplify b2 into b2 1544605766.084 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605766.084 * [misc]backup-simplify: Simplify b1 into b1 1544605766.084 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605766.084 * [misc]backup-simplify: Simplify 0 into 0 1544605766.084 * [misc]backup-simplify: Simplify 1 into 1 1544605766.084 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605766.084 * [misc]backup-simplify: Simplify (/ (* b2 b1) 1) into (* b2 b1) 1544605766.085 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605766.085 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605766.085 * [misc]backup-simplify: Simplify b2 into b2 1544605766.085 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605766.085 * [misc]backup-simplify: Simplify 0 into 0 1544605766.085 * [misc]backup-simplify: Simplify 1 into 1 1544605766.085 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605766.085 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605766.085 * [misc]backup-simplify: Simplify 0 into 0 1544605766.085 * [misc]backup-simplify: Simplify 1 into 1 1544605766.085 * [misc]backup-simplify: Simplify 1 into 1 1544605766.085 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1544605766.085 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1544605766.086 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)))) into 0 1544605766.086 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.086 * [misc]backup-simplify: Simplify 0 into 0 1544605766.086 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1544605766.086 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)))) into 0 1544605766.086 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.086 * [misc]backup-simplify: Simplify 0 into 0 1544605766.086 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.086 * [misc]backup-simplify: Simplify 0 into 0 1544605766.086 * [misc]backup-simplify: Simplify 0 into 0 1544605766.087 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1544605766.087 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.087 * [misc]backup-simplify: Simplify 0 into 0 1544605766.087 * [misc]backup-simplify: Simplify 0 into 0 1544605766.087 * [misc]backup-simplify: Simplify 0 into 0 1544605766.087 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1544605766.088 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1544605766.088 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1544605766.088 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.088 * [misc]backup-simplify: Simplify 0 into 0 1544605766.088 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.088 * [misc]backup-simplify: Simplify 0 into 0 1544605766.088 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.088 * [misc]backup-simplify: Simplify 0 into 0 1544605766.088 * [misc]backup-simplify: Simplify 0 into 0 1544605766.089 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1544605766.089 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544605766.089 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.089 * [misc]backup-simplify: Simplify 0 into 0 1544605766.089 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.089 * [misc]backup-simplify: Simplify 0 into 0 1544605766.089 * [misc]backup-simplify: Simplify 0 into 0 1544605766.089 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.089 * [misc]backup-simplify: Simplify 0 into 0 1544605766.089 * [misc]backup-simplify: Simplify 0 into 0 1544605766.090 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b2) (* (/ 1 b1) (* (/ 1 (/ 1 a2)) (/ 1 (/ 1 a1)))))) into (/ (* a1 a2) (* b2 b1)) 1544605766.090 * [misc]backup-simplify: Simplify (/ (/ (* (/ 1 (- a1)) (/ 1 (- a2))) (/ 1 (- b1))) (/ 1 (- b2))) into (/ (* b2 b1) (* a1 a2)) 1544605766.090 * [misc]approximate: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in (a1 a2 b1 b2) around 0 1544605766.090 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b2 1544605766.090 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1544605766.090 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605766.090 * [misc]backup-simplify: Simplify 0 into 0 1544605766.090 * [misc]backup-simplify: Simplify 1 into 1 1544605766.090 * [misc]taylor: Taking taylor expansion of b1 in b2 1544605766.090 * [misc]backup-simplify: Simplify b1 into b1 1544605766.090 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1544605766.090 * [misc]taylor: Taking taylor expansion of a1 in b2 1544605766.090 * [misc]backup-simplify: Simplify a1 into a1 1544605766.090 * [misc]taylor: Taking taylor expansion of a2 in b2 1544605766.090 * [misc]backup-simplify: Simplify a2 into a2 1544605766.091 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1544605766.091 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1544605766.091 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605766.091 * [misc]backup-simplify: Simplify (/ b1 (* a1 a2)) into (/ b1 (* a1 a2)) 1544605766.091 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b1 1544605766.091 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605766.091 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605766.091 * [misc]backup-simplify: Simplify b2 into b2 1544605766.091 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605766.091 * [misc]backup-simplify: Simplify 0 into 0 1544605766.091 * [misc]backup-simplify: Simplify 1 into 1 1544605766.091 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1544605766.091 * [misc]taylor: Taking taylor expansion of a1 in b1 1544605766.091 * [misc]backup-simplify: Simplify a1 into a1 1544605766.091 * [misc]taylor: Taking taylor expansion of a2 in b1 1544605766.091 * [misc]backup-simplify: Simplify a2 into a2 1544605766.091 * [misc]backup-simplify: Simplify (* b2 0) into 0 1544605766.092 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605766.092 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605766.092 * [misc]backup-simplify: Simplify (/ b2 (* a1 a2)) into (/ b2 (* a1 a2)) 1544605766.092 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a2 1544605766.092 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1544605766.092 * [misc]taylor: Taking taylor expansion of b2 in a2 1544605766.092 * [misc]backup-simplify: Simplify b2 into b2 1544605766.092 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605766.092 * [misc]backup-simplify: Simplify b1 into b1 1544605766.092 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1544605766.092 * [misc]taylor: Taking taylor expansion of a1 in a2 1544605766.092 * [misc]backup-simplify: Simplify a1 into a1 1544605766.092 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605766.092 * [misc]backup-simplify: Simplify 0 into 0 1544605766.092 * [misc]backup-simplify: Simplify 1 into 1 1544605766.092 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605766.092 * [misc]backup-simplify: Simplify (* a1 0) into 0 1544605766.092 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1544605766.093 * [misc]backup-simplify: Simplify (/ (* b2 b1) a1) into (/ (* b2 b1) a1) 1544605766.093 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1544605766.093 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1544605766.093 * [misc]taylor: Taking taylor expansion of b2 in a1 1544605766.093 * [misc]backup-simplify: Simplify b2 into b2 1544605766.093 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605766.093 * [misc]backup-simplify: Simplify b1 into b1 1544605766.093 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605766.093 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605766.093 * [misc]backup-simplify: Simplify 0 into 0 1544605766.093 * [misc]backup-simplify: Simplify 1 into 1 1544605766.093 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605766.093 * [misc]backup-simplify: Simplify a2 into a2 1544605766.093 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605766.093 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605766.093 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605766.093 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1544605766.093 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1544605766.093 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1544605766.093 * [misc]taylor: Taking taylor expansion of b2 in a1 1544605766.093 * [misc]backup-simplify: Simplify b2 into b2 1544605766.093 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605766.093 * [misc]backup-simplify: Simplify b1 into b1 1544605766.093 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605766.093 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605766.094 * [misc]backup-simplify: Simplify 0 into 0 1544605766.094 * [misc]backup-simplify: Simplify 1 into 1 1544605766.094 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605766.094 * [misc]backup-simplify: Simplify a2 into a2 1544605766.094 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605766.094 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605766.094 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605766.094 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1544605766.094 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) a2) in a2 1544605766.094 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1544605766.094 * [misc]taylor: Taking taylor expansion of b2 in a2 1544605766.094 * [misc]backup-simplify: Simplify b2 into b2 1544605766.094 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605766.094 * [misc]backup-simplify: Simplify b1 into b1 1544605766.094 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605766.094 * [misc]backup-simplify: Simplify 0 into 0 1544605766.094 * [misc]backup-simplify: Simplify 1 into 1 1544605766.094 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605766.094 * [misc]backup-simplify: Simplify (/ (* b2 b1) 1) into (* b2 b1) 1544605766.094 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605766.095 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605766.095 * [misc]backup-simplify: Simplify b2 into b2 1544605766.095 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605766.095 * [misc]backup-simplify: Simplify 0 into 0 1544605766.095 * [misc]backup-simplify: Simplify 1 into 1 1544605766.095 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605766.095 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605766.095 * [misc]backup-simplify: Simplify 0 into 0 1544605766.095 * [misc]backup-simplify: Simplify 1 into 1 1544605766.095 * [misc]backup-simplify: Simplify 1 into 1 1544605766.095 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1544605766.095 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1544605766.096 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)))) into 0 1544605766.096 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.096 * [misc]backup-simplify: Simplify 0 into 0 1544605766.096 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1544605766.096 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)))) into 0 1544605766.096 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.096 * [misc]backup-simplify: Simplify 0 into 0 1544605766.096 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.096 * [misc]backup-simplify: Simplify 0 into 0 1544605766.096 * [misc]backup-simplify: Simplify 0 into 0 1544605766.097 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1544605766.097 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.097 * [misc]backup-simplify: Simplify 0 into 0 1544605766.097 * [misc]backup-simplify: Simplify 0 into 0 1544605766.097 * [misc]backup-simplify: Simplify 0 into 0 1544605766.097 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1544605766.098 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1544605766.098 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1544605766.098 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.098 * [misc]backup-simplify: Simplify 0 into 0 1544605766.098 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.098 * [misc]backup-simplify: Simplify 0 into 0 1544605766.098 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.098 * [misc]backup-simplify: Simplify 0 into 0 1544605766.098 * [misc]backup-simplify: Simplify 0 into 0 1544605766.098 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1544605766.099 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544605766.099 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.099 * [misc]backup-simplify: Simplify 0 into 0 1544605766.099 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.099 * [misc]backup-simplify: Simplify 0 into 0 1544605766.099 * [misc]backup-simplify: Simplify 0 into 0 1544605766.099 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.099 * [misc]backup-simplify: Simplify 0 into 0 1544605766.099 * [misc]backup-simplify: Simplify 0 into 0 1544605766.099 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 (- b2)) (* (/ 1 (- b1)) (* (/ 1 (/ 1 (- a2))) (/ 1 (/ 1 (- a1))))))) into (/ (* a1 a2) (* b2 b1)) 1544605766.099 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1544605766.104 * [misc]backup-simplify: Simplify (/ (* a1 a2) b1) into (/ (* a1 a2) b1) 1544605766.104 * [misc]approximate: Taking taylor expansion of (/ (* a1 a2) b1) in (a1 a2 b1) around 0 1544605766.104 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) b1) in b1 1544605766.104 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1544605766.104 * [misc]taylor: Taking taylor expansion of a1 in b1 1544605766.104 * [misc]backup-simplify: Simplify a1 into a1 1544605766.104 * [misc]taylor: Taking taylor expansion of a2 in b1 1544605766.104 * [misc]backup-simplify: Simplify a2 into a2 1544605766.104 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605766.104 * [misc]backup-simplify: Simplify 0 into 0 1544605766.104 * [misc]backup-simplify: Simplify 1 into 1 1544605766.105 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605766.105 * [misc]backup-simplify: Simplify (/ (* a1 a2) 1) into (* a1 a2) 1544605766.105 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) b1) in a2 1544605766.105 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1544605766.105 * [misc]taylor: Taking taylor expansion of a1 in a2 1544605766.105 * [misc]backup-simplify: Simplify a1 into a1 1544605766.105 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605766.105 * [misc]backup-simplify: Simplify 0 into 0 1544605766.105 * [misc]backup-simplify: Simplify 1 into 1 1544605766.105 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605766.105 * [misc]backup-simplify: Simplify b1 into b1 1544605766.105 * [misc]backup-simplify: Simplify (* a1 0) into 0 1544605766.106 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1544605766.106 * [misc]backup-simplify: Simplify (/ a1 b1) into (/ a1 b1) 1544605766.106 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) b1) in a1 1544605766.106 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605766.106 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605766.106 * [misc]backup-simplify: Simplify 0 into 0 1544605766.106 * [misc]backup-simplify: Simplify 1 into 1 1544605766.106 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605766.106 * [misc]backup-simplify: Simplify a2 into a2 1544605766.106 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605766.107 * [misc]backup-simplify: Simplify b1 into b1 1544605766.107 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605766.107 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605766.107 * [misc]backup-simplify: Simplify (/ a2 b1) into (/ a2 b1) 1544605766.107 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) b1) in a1 1544605766.107 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605766.107 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605766.107 * [misc]backup-simplify: Simplify 0 into 0 1544605766.107 * [misc]backup-simplify: Simplify 1 into 1 1544605766.107 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605766.107 * [misc]backup-simplify: Simplify a2 into a2 1544605766.107 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605766.107 * [misc]backup-simplify: Simplify b1 into b1 1544605766.107 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605766.107 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605766.108 * [misc]backup-simplify: Simplify (/ a2 b1) into (/ a2 b1) 1544605766.108 * [misc]taylor: Taking taylor expansion of (/ a2 b1) in a2 1544605766.108 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605766.108 * [misc]backup-simplify: Simplify 0 into 0 1544605766.108 * [misc]backup-simplify: Simplify 1 into 1 1544605766.108 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605766.108 * [misc]backup-simplify: Simplify b1 into b1 1544605766.108 * [misc]backup-simplify: Simplify (/ 1 b1) into (/ 1 b1) 1544605766.108 * [misc]taylor: Taking taylor expansion of (/ 1 b1) in b1 1544605766.108 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605766.108 * [misc]backup-simplify: Simplify 0 into 0 1544605766.108 * [misc]backup-simplify: Simplify 1 into 1 1544605766.108 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544605766.108 * [misc]backup-simplify: Simplify 1 into 1 1544605766.109 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1544605766.109 * [misc]backup-simplify: Simplify (- (/ 0 b1) (+ (* (/ a2 b1) (/ 0 b1)))) into 0 1544605766.109 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.109 * [misc]backup-simplify: Simplify 0 into 0 1544605766.109 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.109 * [misc]backup-simplify: Simplify 0 into 0 1544605766.109 * [misc]backup-simplify: Simplify (- (/ 0 b1) (+ (* (/ 1 b1) (/ 0 b1)))) into 0 1544605766.109 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.109 * [misc]backup-simplify: Simplify 0 into 0 1544605766.109 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544605766.109 * [misc]backup-simplify: Simplify 0 into 0 1544605766.110 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1544605766.110 * [misc]backup-simplify: Simplify (- (/ 0 b1) (+ (* (/ a2 b1) (/ 0 b1)) (* 0 (/ 0 b1)))) into 0 1544605766.110 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.110 * [misc]backup-simplify: Simplify 0 into 0 1544605766.110 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.110 * [misc]backup-simplify: Simplify 0 into 0 1544605766.110 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.110 * [misc]backup-simplify: Simplify 0 into 0 1544605766.111 * [misc]backup-simplify: Simplify (- (/ 0 b1) (+ (* (/ 1 b1) (/ 0 b1)) (* 0 (/ 0 b1)))) into 0 1544605766.111 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.111 * [misc]backup-simplify: Simplify 0 into 0 1544605766.111 * [misc]backup-simplify: Simplify 0 into 0 1544605766.111 * [misc]backup-simplify: Simplify 0 into 0 1544605766.111 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544605766.111 * [misc]backup-simplify: Simplify 0 into 0 1544605766.112 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 a2))))) into 0 1544605766.112 * [misc]backup-simplify: Simplify (- (/ 0 b1) (+ (* (/ a2 b1) (/ 0 b1)) (* 0 (/ 0 b1)) (* 0 (/ 0 b1)))) into 0 1544605766.112 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.112 * [misc]backup-simplify: Simplify 0 into 0 1544605766.112 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.112 * [misc]backup-simplify: Simplify 0 into 0 1544605766.112 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.112 * [misc]backup-simplify: Simplify 0 into 0 1544605766.112 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.112 * [misc]backup-simplify: Simplify 0 into 0 1544605766.113 * [misc]backup-simplify: Simplify (- (/ 0 b1) (+ (* (/ 1 b1) (/ 0 b1)) (* 0 (/ 0 b1)) (* 0 (/ 0 b1)))) into 0 1544605766.113 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.113 * [misc]backup-simplify: Simplify 0 into 0 1544605766.113 * [misc]backup-simplify: Simplify 0 into 0 1544605766.113 * [misc]backup-simplify: Simplify 0 into 0 1544605766.113 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b1) (* a2 a1))) into (/ (* a1 a2) b1) 1544605766.113 * [misc]backup-simplify: Simplify (/ (* (/ 1 a1) (/ 1 a2)) (/ 1 b1)) into (/ b1 (* a1 a2)) 1544605766.113 * [misc]approximate: Taking taylor expansion of (/ b1 (* a1 a2)) in (a1 a2 b1) around 0 1544605766.113 * [misc]taylor: Taking taylor expansion of (/ b1 (* a1 a2)) in b1 1544605766.113 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605766.113 * [misc]backup-simplify: Simplify 0 into 0 1544605766.113 * [misc]backup-simplify: Simplify 1 into 1 1544605766.113 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1544605766.113 * [misc]taylor: Taking taylor expansion of a1 in b1 1544605766.113 * [misc]backup-simplify: Simplify a1 into a1 1544605766.113 * [misc]taylor: Taking taylor expansion of a2 in b1 1544605766.114 * [misc]backup-simplify: Simplify a2 into a2 1544605766.114 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605766.114 * [misc]backup-simplify: Simplify (/ 1 (* a1 a2)) into (/ 1 (* a1 a2)) 1544605766.114 * [misc]taylor: Taking taylor expansion of (/ b1 (* a1 a2)) in a2 1544605766.114 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605766.114 * [misc]backup-simplify: Simplify b1 into b1 1544605766.114 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1544605766.114 * [misc]taylor: Taking taylor expansion of a1 in a2 1544605766.114 * [misc]backup-simplify: Simplify a1 into a1 1544605766.114 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605766.114 * [misc]backup-simplify: Simplify 0 into 0 1544605766.114 * [misc]backup-simplify: Simplify 1 into 1 1544605766.114 * [misc]backup-simplify: Simplify (* a1 0) into 0 1544605766.114 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1544605766.114 * [misc]backup-simplify: Simplify (/ b1 a1) into (/ b1 a1) 1544605766.114 * [misc]taylor: Taking taylor expansion of (/ b1 (* a1 a2)) in a1 1544605766.114 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605766.114 * [misc]backup-simplify: Simplify b1 into b1 1544605766.114 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605766.114 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605766.114 * [misc]backup-simplify: Simplify 0 into 0 1544605766.114 * [misc]backup-simplify: Simplify 1 into 1 1544605766.114 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605766.115 * [misc]backup-simplify: Simplify a2 into a2 1544605766.115 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605766.115 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605766.115 * [misc]backup-simplify: Simplify (/ b1 a2) into (/ b1 a2) 1544605766.115 * [misc]taylor: Taking taylor expansion of (/ b1 (* a1 a2)) in a1 1544605766.115 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605766.115 * [misc]backup-simplify: Simplify b1 into b1 1544605766.115 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605766.115 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605766.115 * [misc]backup-simplify: Simplify 0 into 0 1544605766.115 * [misc]backup-simplify: Simplify 1 into 1 1544605766.115 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605766.115 * [misc]backup-simplify: Simplify a2 into a2 1544605766.115 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605766.115 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605766.115 * [misc]backup-simplify: Simplify (/ b1 a2) into (/ b1 a2) 1544605766.116 * [misc]taylor: Taking taylor expansion of (/ b1 a2) in a2 1544605766.116 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605766.116 * [misc]backup-simplify: Simplify b1 into b1 1544605766.116 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605766.116 * [misc]backup-simplify: Simplify 0 into 0 1544605766.116 * [misc]backup-simplify: Simplify 1 into 1 1544605766.116 * [misc]backup-simplify: Simplify (/ b1 1) into b1 1544605766.116 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605766.116 * [misc]backup-simplify: Simplify 0 into 0 1544605766.116 * [misc]backup-simplify: Simplify 1 into 1 1544605766.116 * [misc]backup-simplify: Simplify 1 into 1 1544605766.116 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1544605766.116 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ b1 a2) (/ 0 a2)))) into 0 1544605766.116 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.116 * [misc]backup-simplify: Simplify 0 into 0 1544605766.117 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* b1 (/ 0 1)))) into 0 1544605766.117 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.117 * [misc]backup-simplify: Simplify 0 into 0 1544605766.117 * [misc]backup-simplify: Simplify 0 into 0 1544605766.117 * [misc]backup-simplify: Simplify 0 into 0 1544605766.117 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1544605766.118 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ b1 a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1544605766.118 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.118 * [misc]backup-simplify: Simplify 0 into 0 1544605766.118 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.118 * [misc]backup-simplify: Simplify 0 into 0 1544605766.118 * [misc]backup-simplify: Simplify 0 into 0 1544605766.118 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* b1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544605766.118 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.118 * [misc]backup-simplify: Simplify 0 into 0 1544605766.118 * [misc]backup-simplify: Simplify 0 into 0 1544605766.118 * [misc]backup-simplify: Simplify 0 into 0 1544605766.119 * [misc]backup-simplify: Simplify 0 into 0 1544605766.119 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b1) (* (/ 1 (/ 1 a2)) (/ 1 (/ 1 a1))))) into (/ (* a1 a2) b1) 1544605766.119 * [misc]backup-simplify: Simplify (/ (* (/ 1 (- a1)) (/ 1 (- a2))) (/ 1 (- b1))) into (* -1 (/ b1 (* a1 a2))) 1544605766.119 * [misc]approximate: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in (a1 a2 b1) around 0 1544605766.119 * [misc]taylor: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in b1 1544605766.119 * [misc]taylor: Taking taylor expansion of -1 in b1 1544605766.119 * [misc]backup-simplify: Simplify -1 into -1 1544605766.119 * [misc]taylor: Taking taylor expansion of (/ b1 (* a1 a2)) in b1 1544605766.119 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605766.119 * [misc]backup-simplify: Simplify 0 into 0 1544605766.119 * [misc]backup-simplify: Simplify 1 into 1 1544605766.119 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1544605766.119 * [misc]taylor: Taking taylor expansion of a1 in b1 1544605766.119 * [misc]backup-simplify: Simplify a1 into a1 1544605766.119 * [misc]taylor: Taking taylor expansion of a2 in b1 1544605766.119 * [misc]backup-simplify: Simplify a2 into a2 1544605766.119 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605766.120 * [misc]backup-simplify: Simplify (/ 1 (* a1 a2)) into (/ 1 (* a1 a2)) 1544605766.120 * [misc]taylor: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in a2 1544605766.120 * [misc]taylor: Taking taylor expansion of -1 in a2 1544605766.120 * [misc]backup-simplify: Simplify -1 into -1 1544605766.120 * [misc]taylor: Taking taylor expansion of (/ b1 (* a1 a2)) in a2 1544605766.120 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605766.120 * [misc]backup-simplify: Simplify b1 into b1 1544605766.120 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1544605766.120 * [misc]taylor: Taking taylor expansion of a1 in a2 1544605766.120 * [misc]backup-simplify: Simplify a1 into a1 1544605766.120 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605766.120 * [misc]backup-simplify: Simplify 0 into 0 1544605766.120 * [misc]backup-simplify: Simplify 1 into 1 1544605766.120 * [misc]backup-simplify: Simplify (* a1 0) into 0 1544605766.120 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1544605766.120 * [misc]backup-simplify: Simplify (/ b1 a1) into (/ b1 a1) 1544605766.120 * [misc]taylor: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in a1 1544605766.120 * [misc]taylor: Taking taylor expansion of -1 in a1 1544605766.120 * [misc]backup-simplify: Simplify -1 into -1 1544605766.120 * [misc]taylor: Taking taylor expansion of (/ b1 (* a1 a2)) in a1 1544605766.120 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605766.120 * [misc]backup-simplify: Simplify b1 into b1 1544605766.120 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605766.120 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605766.120 * [misc]backup-simplify: Simplify 0 into 0 1544605766.120 * [misc]backup-simplify: Simplify 1 into 1 1544605766.121 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605766.121 * [misc]backup-simplify: Simplify a2 into a2 1544605766.121 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605766.121 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605766.121 * [misc]backup-simplify: Simplify (/ b1 a2) into (/ b1 a2) 1544605766.121 * [misc]taylor: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in a1 1544605766.121 * [misc]taylor: Taking taylor expansion of -1 in a1 1544605766.121 * [misc]backup-simplify: Simplify -1 into -1 1544605766.121 * [misc]taylor: Taking taylor expansion of (/ b1 (* a1 a2)) in a1 1544605766.121 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605766.121 * [misc]backup-simplify: Simplify b1 into b1 1544605766.121 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605766.121 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605766.121 * [misc]backup-simplify: Simplify 0 into 0 1544605766.121 * [misc]backup-simplify: Simplify 1 into 1 1544605766.121 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605766.121 * [misc]backup-simplify: Simplify a2 into a2 1544605766.121 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605766.121 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605766.122 * [misc]backup-simplify: Simplify (/ b1 a2) into (/ b1 a2) 1544605766.122 * [misc]backup-simplify: Simplify (* -1 (/ b1 a2)) into (* -1 (/ b1 a2)) 1544605766.122 * [misc]taylor: Taking taylor expansion of (* -1 (/ b1 a2)) in a2 1544605766.122 * [misc]taylor: Taking taylor expansion of -1 in a2 1544605766.122 * [misc]backup-simplify: Simplify -1 into -1 1544605766.122 * [misc]taylor: Taking taylor expansion of (/ b1 a2) in a2 1544605766.122 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605766.122 * [misc]backup-simplify: Simplify b1 into b1 1544605766.122 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605766.122 * [misc]backup-simplify: Simplify 0 into 0 1544605766.122 * [misc]backup-simplify: Simplify 1 into 1 1544605766.122 * [misc]backup-simplify: Simplify (/ b1 1) into b1 1544605766.122 * [misc]backup-simplify: Simplify (* -1 b1) into (* -1 b1) 1544605766.122 * [misc]taylor: Taking taylor expansion of (* -1 b1) in b1 1544605766.122 * [misc]taylor: Taking taylor expansion of -1 in b1 1544605766.122 * [misc]backup-simplify: Simplify -1 into -1 1544605766.122 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605766.122 * [misc]backup-simplify: Simplify 0 into 0 1544605766.122 * [misc]backup-simplify: Simplify 1 into 1 1544605766.122 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1544605766.122 * [misc]backup-simplify: Simplify -1 into -1 1544605766.123 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1544605766.123 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ b1 a2) (/ 0 a2)))) into 0 1544605766.123 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ b1 a2))) into 0 1544605766.123 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.123 * [misc]backup-simplify: Simplify 0 into 0 1544605766.124 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* b1 (/ 0 1)))) into 0 1544605766.124 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 b1)) into 0 1544605766.124 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.124 * [misc]backup-simplify: Simplify 0 into 0 1544605766.124 * [misc]backup-simplify: Simplify 0 into 0 1544605766.124 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1544605766.124 * [misc]backup-simplify: Simplify 0 into 0 1544605766.125 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1544605766.125 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ b1 a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1544605766.125 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ b1 a2)))) into 0 1544605766.125 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.126 * [misc]backup-simplify: Simplify 0 into 0 1544605766.126 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.126 * [misc]backup-simplify: Simplify 0 into 0 1544605766.126 * [misc]backup-simplify: Simplify 0 into 0 1544605766.126 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* b1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544605766.126 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 b1))) into 0 1544605766.127 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.127 * [misc]backup-simplify: Simplify 0 into 0 1544605766.127 * [misc]backup-simplify: Simplify 0 into 0 1544605766.127 * [misc]backup-simplify: Simplify 0 into 0 1544605766.127 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1544605766.127 * [misc]backup-simplify: Simplify 0 into 0 1544605766.127 * [misc]backup-simplify: Simplify (* -1 (* (/ 1 (- b1)) (* (/ 1 (/ 1 (- a2))) (/ 1 (/ 1 (- a1)))))) into (/ (* a1 a2) b1) 1544605766.127 * * * [misc]progress: simplifying candidates 1544605766.127 * * * * [misc]progress: [ 1 / 32 ] simplifiying candidate # 1544605766.127 * * * * [misc]progress: [ 2 / 32 ] simplifiying candidate # 1544605766.128 * * * * [misc]progress: [ 3 / 32 ] simplifiying candidate # 1544605766.128 * * * * [misc]progress: [ 4 / 32 ] simplifiying candidate # 1544605766.128 * * * * [misc]progress: [ 5 / 32 ] simplifiying candidate # 1544605766.128 * * * * [misc]progress: [ 6 / 32 ] simplifiying candidate # 1544605766.128 * * * * [misc]progress: [ 7 / 32 ] simplifiying candidate # 1544605766.128 * * * * [misc]progress: [ 8 / 32 ] simplifiying candidate # 1544605766.128 * * * * [misc]progress: [ 9 / 32 ] simplifiying candidate # 1544605766.128 * * * * [misc]progress: [ 10 / 32 ] simplifiying candidate # 1544605766.128 * * * * [misc]progress: [ 11 / 32 ] simplifiying candidate # 1544605766.128 * [enter]simplify: Simplifying (* (cbrt (/ (* a1 a2) b1)) (cbrt (/ (* a1 a2) b1))) 1544605766.129 * * [misc]simplify: iters left: 6 (7 enodes) 1544605766.132 * * [misc]simplify: iters left: 5 (10 enodes) 1544605766.136 * * [misc]simplify: iters left: 4 (12 enodes) 1544605766.140 * * [misc]simplify: iters left: 3 (15 enodes) 1544605766.146 * * [misc]simplify: iters left: 2 (17 enodes) 1544605766.151 * * [misc]simplify: iters left: 1 (18 enodes) 1544605766.158 * [exit]simplify: Simplified to (* (cbrt (/ a2 (/ b1 a1))) (cbrt (/ a2 (/ b1 a1)))) 1544605766.158 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (/ (* (cbrt (/ a2 (/ b1 a1))) (cbrt (/ a2 (/ b1 a1)))) (/ b2 (cbrt (/ (* a1 a2) b1))))) 1544605766.158 * * * * [misc]progress: [ 12 / 32 ] simplifiying candidate # 1544605766.158 * [enter]simplify: Simplifying (sqrt (/ (* a1 a2) b1)) 1544605766.159 * * [misc]simplify: iters left: 5 (6 enodes) 1544605766.161 * * [misc]simplify: iters left: 4 (9 enodes) 1544605766.165 * * [misc]simplify: iters left: 3 (11 enodes) 1544605766.169 * * [misc]simplify: iters left: 2 (14 enodes) 1544605766.174 * * [misc]simplify: iters left: 1 (16 enodes) 1544605766.177 * [exit]simplify: Simplified to (sqrt (* a1 (/ a2 b1))) 1544605766.178 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (/ (sqrt (* a1 (/ a2 b1))) (/ b2 (sqrt (/ (* a1 a2) b1))))) 1544605766.178 * * * * [misc]progress: [ 13 / 32 ] simplifiying candidate # 1544605766.178 * * * * [misc]progress: [ 14 / 32 ] simplifiying candidate # 1544605766.178 * [enter]simplify: Simplifying (* a1 a2) 1544605766.178 * * [misc]simplify: iters left: 2 (3 enodes) 1544605766.179 * * [misc]simplify: iters left: 1 (4 enodes) 1544605766.179 * [exit]simplify: Simplified to (* a1 a2) 1544605766.179 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (/ (* a1 a2) (/ b2 (/ 1 b1)))) 1544605766.179 * * * * [misc]progress: [ 15 / 32 ] simplifiying candidate # 1544605766.179 * [enter]simplify: Simplifying (* a1 a2) 1544605766.180 * * [misc]simplify: iters left: 2 (3 enodes) 1544605766.180 * * [misc]simplify: iters left: 1 (4 enodes) 1544605766.181 * [exit]simplify: Simplified to (* a1 a2) 1544605766.181 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (/ (* a1 a2) (* b2 b1))) 1544605766.181 * * * * [misc]progress: [ 16 / 32 ] simplifiying candidate # 1544605766.181 * * * * [misc]progress: [ 17 / 32 ] simplifiying candidate # 1544605766.181 * * * * [misc]progress: [ 18 / 32 ] simplifiying candidate # 1544605766.181 * * * * [misc]progress: [ 19 / 32 ] simplifiying candidate # 1544605766.181 * * * * [misc]progress: [ 20 / 32 ] simplifiying candidate # 1544605766.181 * * * * [misc]progress: [ 21 / 32 ] simplifiying candidate # 1544605766.181 * * * * [misc]progress: [ 22 / 32 ] simplifiying candidate # 1544605766.181 * * * * [misc]progress: [ 23 / 32 ] simplifiying candidate # 1544605766.181 * * * * [misc]progress: [ 24 / 32 ] simplifiying candidate # 1544605766.181 * * * * [misc]progress: [ 25 / 32 ] simplifiying candidate # 1544605766.181 * * * * [misc]progress: [ 26 / 32 ] simplifiying candidate # 1544605766.181 * * * * [misc]progress: [ 27 / 32 ] simplifiying candidate # 1544605766.181 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1544605766.182 * * [misc]simplify: iters left: 4 (7 enodes) 1544605766.184 * * [misc]simplify: iters left: 3 (16 enodes) 1544605766.188 * * [misc]simplify: iters left: 2 (35 enodes) 1544605766.196 * * [misc]simplify: iters left: 1 (58 enodes) 1544605766.208 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1544605766.208 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1544605766.208 * * * * [misc]progress: [ 28 / 32 ] simplifiying candidate # 1544605766.208 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1544605766.209 * * [misc]simplify: iters left: 4 (7 enodes) 1544605766.211 * * [misc]simplify: iters left: 3 (16 enodes) 1544605766.217 * * [misc]simplify: iters left: 2 (35 enodes) 1544605766.225 * * [misc]simplify: iters left: 1 (58 enodes) 1544605766.241 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1544605766.241 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1544605766.241 * * * * [misc]progress: [ 29 / 32 ] simplifiying candidate # 1544605766.241 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1544605766.242 * * [misc]simplify: iters left: 4 (7 enodes) 1544605766.246 * * [misc]simplify: iters left: 3 (16 enodes) 1544605766.254 * * [misc]simplify: iters left: 2 (35 enodes) 1544605766.269 * * [misc]simplify: iters left: 1 (58 enodes) 1544605766.288 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1544605766.288 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1544605766.288 * * * * [misc]progress: [ 30 / 32 ] simplifiying candidate # 1544605766.288 * [enter]simplify: Simplifying (/ (* a1 a2) b1) 1544605766.288 * * [misc]simplify: iters left: 4 (5 enodes) 1544605766.289 * * [misc]simplify: iters left: 3 (8 enodes) 1544605766.291 * * [misc]simplify: iters left: 2 (10 enodes) 1544605766.293 * * [misc]simplify: iters left: 1 (13 enodes) 1544605766.295 * [exit]simplify: Simplified to (/ a2 (/ b1 a1)) 1544605766.295 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (/ (/ a2 (/ b1 a1)) b2)) 1544605766.295 * * * * [misc]progress: [ 31 / 32 ] simplifiying candidate # 1544605766.296 * [enter]simplify: Simplifying (/ (* a1 a2) b1) 1544605766.296 * * [misc]simplify: iters left: 4 (5 enodes) 1544605766.297 * * [misc]simplify: iters left: 3 (8 enodes) 1544605766.298 * * [misc]simplify: iters left: 2 (10 enodes) 1544605766.301 * * [misc]simplify: iters left: 1 (13 enodes) 1544605766.303 * [exit]simplify: Simplified to (/ a2 (/ b1 a1)) 1544605766.303 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (/ (/ a2 (/ b1 a1)) b2)) 1544605766.303 * * * * [misc]progress: [ 32 / 32 ] simplifiying candidate # 1544605766.304 * [enter]simplify: Simplifying (/ (* a1 a2) b1) 1544605766.304 * * [misc]simplify: iters left: 4 (5 enodes) 1544605766.305 * * [misc]simplify: iters left: 3 (8 enodes) 1544605766.306 * * [misc]simplify: iters left: 2 (10 enodes) 1544605766.308 * * [misc]simplify: iters left: 1 (13 enodes) 1544605766.312 * [exit]simplify: Simplified to (/ a2 (/ b1 a1)) 1544605766.312 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (/ (/ a2 (/ b1 a1)) b2)) 1544605766.312 * * * [misc]progress: adding candidates to table 1544605766.711 * * [misc]progress: iteration 4 / 4 1544605766.711 * * * [misc]progress: picking best candidate 1544605766.727 * * * * [misc]pick: Picked # 1544605766.727 * * * [misc]progress: localizing error 1544605766.733 * * * [misc]progress: generating rewritten candidates 1544605766.734 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1544605766.759 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1544605766.773 * * * [misc]progress: generating series expansions 1544605766.773 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1544605766.773 * [misc]backup-simplify: Simplify (* (/ (* a1 a2) b1) (/ 1 b2)) into (/ (* a1 a2) (* b2 b1)) 1544605766.773 * [misc]approximate: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in (a1 a2 b1 b2) around 0 1544605766.773 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in b2 1544605766.773 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1544605766.773 * [misc]taylor: Taking taylor expansion of a1 in b2 1544605766.773 * [misc]backup-simplify: Simplify a1 into a1 1544605766.773 * [misc]taylor: Taking taylor expansion of a2 in b2 1544605766.773 * [misc]backup-simplify: Simplify a2 into a2 1544605766.773 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1544605766.773 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605766.773 * [misc]backup-simplify: Simplify 0 into 0 1544605766.773 * [misc]backup-simplify: Simplify 1 into 1 1544605766.773 * [misc]taylor: Taking taylor expansion of b1 in b2 1544605766.773 * [misc]backup-simplify: Simplify b1 into b1 1544605766.773 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605766.773 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1544605766.774 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1544605766.774 * [misc]backup-simplify: Simplify (/ (* a1 a2) b1) into (/ (* a1 a2) b1) 1544605766.774 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in b1 1544605766.774 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1544605766.774 * [misc]taylor: Taking taylor expansion of a1 in b1 1544605766.774 * [misc]backup-simplify: Simplify a1 into a1 1544605766.774 * [misc]taylor: Taking taylor expansion of a2 in b1 1544605766.774 * [misc]backup-simplify: Simplify a2 into a2 1544605766.774 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605766.774 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605766.774 * [misc]backup-simplify: Simplify b2 into b2 1544605766.774 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605766.774 * [misc]backup-simplify: Simplify 0 into 0 1544605766.774 * [misc]backup-simplify: Simplify 1 into 1 1544605766.774 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605766.774 * [misc]backup-simplify: Simplify (* b2 0) into 0 1544605766.774 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605766.774 * [misc]backup-simplify: Simplify (/ (* a1 a2) b2) into (/ (* a1 a2) b2) 1544605766.774 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a2 1544605766.774 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1544605766.774 * [misc]taylor: Taking taylor expansion of a1 in a2 1544605766.774 * [misc]backup-simplify: Simplify a1 into a1 1544605766.774 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605766.774 * [misc]backup-simplify: Simplify 0 into 0 1544605766.774 * [misc]backup-simplify: Simplify 1 into 1 1544605766.774 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1544605766.774 * [misc]taylor: Taking taylor expansion of b2 in a2 1544605766.774 * [misc]backup-simplify: Simplify b2 into b2 1544605766.774 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605766.774 * [misc]backup-simplify: Simplify b1 into b1 1544605766.774 * [misc]backup-simplify: Simplify (* a1 0) into 0 1544605766.774 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1544605766.774 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605766.775 * [misc]backup-simplify: Simplify (/ a1 (* b2 b1)) into (/ a1 (* b2 b1)) 1544605766.775 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a1 1544605766.775 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605766.775 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605766.775 * [misc]backup-simplify: Simplify 0 into 0 1544605766.775 * [misc]backup-simplify: Simplify 1 into 1 1544605766.775 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605766.775 * [misc]backup-simplify: Simplify a2 into a2 1544605766.775 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1544605766.775 * [misc]taylor: Taking taylor expansion of b2 in a1 1544605766.775 * [misc]backup-simplify: Simplify b2 into b2 1544605766.775 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605766.775 * [misc]backup-simplify: Simplify b1 into b1 1544605766.775 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605766.775 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605766.775 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605766.775 * [misc]backup-simplify: Simplify (/ a2 (* b2 b1)) into (/ a2 (* b2 b1)) 1544605766.775 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) (* b2 b1)) in a1 1544605766.775 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605766.775 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605766.775 * [misc]backup-simplify: Simplify 0 into 0 1544605766.775 * [misc]backup-simplify: Simplify 1 into 1 1544605766.775 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605766.775 * [misc]backup-simplify: Simplify a2 into a2 1544605766.775 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1544605766.775 * [misc]taylor: Taking taylor expansion of b2 in a1 1544605766.775 * [misc]backup-simplify: Simplify b2 into b2 1544605766.775 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605766.775 * [misc]backup-simplify: Simplify b1 into b1 1544605766.775 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605766.775 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605766.775 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605766.775 * [misc]backup-simplify: Simplify (/ a2 (* b2 b1)) into (/ a2 (* b2 b1)) 1544605766.776 * [misc]taylor: Taking taylor expansion of (/ a2 (* b2 b1)) in a2 1544605766.776 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605766.776 * [misc]backup-simplify: Simplify 0 into 0 1544605766.776 * [misc]backup-simplify: Simplify 1 into 1 1544605766.776 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1544605766.776 * [misc]taylor: Taking taylor expansion of b2 in a2 1544605766.776 * [misc]backup-simplify: Simplify b2 into b2 1544605766.776 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605766.776 * [misc]backup-simplify: Simplify b1 into b1 1544605766.776 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605766.776 * [misc]backup-simplify: Simplify (/ 1 (* b2 b1)) into (/ 1 (* b2 b1)) 1544605766.776 * [misc]taylor: Taking taylor expansion of (/ 1 (* b2 b1)) in b1 1544605766.776 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605766.776 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605766.776 * [misc]backup-simplify: Simplify b2 into b2 1544605766.776 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605766.776 * [misc]backup-simplify: Simplify 0 into 0 1544605766.776 * [misc]backup-simplify: Simplify 1 into 1 1544605766.776 * [misc]backup-simplify: Simplify (* b2 0) into 0 1544605766.776 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605766.776 * [misc]backup-simplify: Simplify (/ 1 b2) into (/ 1 b2) 1544605766.776 * [misc]taylor: Taking taylor expansion of (/ 1 b2) in b2 1544605766.776 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605766.776 * [misc]backup-simplify: Simplify 0 into 0 1544605766.776 * [misc]backup-simplify: Simplify 1 into 1 1544605766.776 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544605766.776 * [misc]backup-simplify: Simplify 1 into 1 1544605766.776 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1544605766.777 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1544605766.777 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))))) into 0 1544605766.777 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.777 * [misc]backup-simplify: Simplify 0 into 0 1544605766.777 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.777 * [misc]backup-simplify: Simplify 0 into 0 1544605766.777 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1544605766.777 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))))) into 0 1544605766.777 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.777 * [misc]backup-simplify: Simplify 0 into 0 1544605766.777 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1544605766.777 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)))) into 0 1544605766.777 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.777 * [misc]backup-simplify: Simplify 0 into 0 1544605766.777 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544605766.777 * [misc]backup-simplify: Simplify 0 into 0 1544605766.778 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1544605766.778 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1544605766.778 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1544605766.778 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.778 * [misc]backup-simplify: Simplify 0 into 0 1544605766.778 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.778 * [misc]backup-simplify: Simplify 0 into 0 1544605766.778 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.778 * [misc]backup-simplify: Simplify 0 into 0 1544605766.778 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1544605766.779 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1544605766.779 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.779 * [misc]backup-simplify: Simplify 0 into 0 1544605766.779 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.779 * [misc]backup-simplify: Simplify 0 into 0 1544605766.779 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.779 * [misc]backup-simplify: Simplify 0 into 0 1544605766.779 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1544605766.779 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)) (* 0 (/ 0 b2)))) into 0 1544605766.779 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.779 * [misc]backup-simplify: Simplify 0 into 0 1544605766.779 * [misc]backup-simplify: Simplify 0 into 0 1544605766.779 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544605766.779 * [misc]backup-simplify: Simplify 0 into 0 1544605766.780 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 a2))))) into 0 1544605766.780 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1)))) into 0 1544605766.780 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ a2 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1544605766.780 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.780 * [misc]backup-simplify: Simplify 0 into 0 1544605766.780 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.780 * [misc]backup-simplify: Simplify 0 into 0 1544605766.780 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.780 * [misc]backup-simplify: Simplify 0 into 0 1544605766.780 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.780 * [misc]backup-simplify: Simplify 0 into 0 1544605766.781 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (* 0 b1)))) into 0 1544605766.781 * [misc]backup-simplify: Simplify (- (/ 0 (* b2 b1)) (+ (* (/ 1 (* b2 b1)) (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))) (* 0 (/ 0 (* b2 b1))))) into 0 1544605766.781 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.781 * [misc]backup-simplify: Simplify 0 into 0 1544605766.781 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.781 * [misc]backup-simplify: Simplify 0 into 0 1544605766.781 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.781 * [misc]backup-simplify: Simplify 0 into 0 1544605766.781 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.781 * [misc]backup-simplify: Simplify 0 into 0 1544605766.781 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.781 * [misc]backup-simplify: Simplify 0 into 0 1544605766.781 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.781 * [misc]backup-simplify: Simplify 0 into 0 1544605766.781 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1544605766.781 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 b2) (/ 0 b2)) (* 0 (/ 0 b2)) (* 0 (/ 0 b2)))) into 0 1544605766.781 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.781 * [misc]backup-simplify: Simplify 0 into 0 1544605766.781 * [misc]backup-simplify: Simplify 0 into 0 1544605766.781 * [misc]backup-simplify: Simplify 0 into 0 1544605766.781 * [misc]backup-simplify: Simplify 0 into 0 1544605766.782 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b2) (* (/ 1 b1) (* a2 a1)))) into (/ (* a1 a2) (* b2 b1)) 1544605766.782 * [misc]backup-simplify: Simplify (* (/ (* (/ 1 a1) (/ 1 a2)) (/ 1 b1)) (/ 1 (/ 1 b2))) into (/ (* b2 b1) (* a1 a2)) 1544605766.782 * [misc]approximate: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in (a1 a2 b1 b2) around 0 1544605766.782 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b2 1544605766.782 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1544605766.782 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605766.782 * [misc]backup-simplify: Simplify 0 into 0 1544605766.782 * [misc]backup-simplify: Simplify 1 into 1 1544605766.782 * [misc]taylor: Taking taylor expansion of b1 in b2 1544605766.782 * [misc]backup-simplify: Simplify b1 into b1 1544605766.782 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1544605766.782 * [misc]taylor: Taking taylor expansion of a1 in b2 1544605766.782 * [misc]backup-simplify: Simplify a1 into a1 1544605766.782 * [misc]taylor: Taking taylor expansion of a2 in b2 1544605766.782 * [misc]backup-simplify: Simplify a2 into a2 1544605766.782 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1544605766.782 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1544605766.782 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605766.782 * [misc]backup-simplify: Simplify (/ b1 (* a1 a2)) into (/ b1 (* a1 a2)) 1544605766.782 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b1 1544605766.782 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605766.782 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605766.782 * [misc]backup-simplify: Simplify b2 into b2 1544605766.782 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605766.782 * [misc]backup-simplify: Simplify 0 into 0 1544605766.782 * [misc]backup-simplify: Simplify 1 into 1 1544605766.782 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1544605766.782 * [misc]taylor: Taking taylor expansion of a1 in b1 1544605766.782 * [misc]backup-simplify: Simplify a1 into a1 1544605766.782 * [misc]taylor: Taking taylor expansion of a2 in b1 1544605766.782 * [misc]backup-simplify: Simplify a2 into a2 1544605766.782 * [misc]backup-simplify: Simplify (* b2 0) into 0 1544605766.783 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605766.783 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605766.783 * [misc]backup-simplify: Simplify (/ b2 (* a1 a2)) into (/ b2 (* a1 a2)) 1544605766.783 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a2 1544605766.783 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1544605766.783 * [misc]taylor: Taking taylor expansion of b2 in a2 1544605766.783 * [misc]backup-simplify: Simplify b2 into b2 1544605766.783 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605766.783 * [misc]backup-simplify: Simplify b1 into b1 1544605766.783 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1544605766.783 * [misc]taylor: Taking taylor expansion of a1 in a2 1544605766.783 * [misc]backup-simplify: Simplify a1 into a1 1544605766.783 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605766.783 * [misc]backup-simplify: Simplify 0 into 0 1544605766.783 * [misc]backup-simplify: Simplify 1 into 1 1544605766.783 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605766.783 * [misc]backup-simplify: Simplify (* a1 0) into 0 1544605766.783 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1544605766.783 * [misc]backup-simplify: Simplify (/ (* b2 b1) a1) into (/ (* b2 b1) a1) 1544605766.783 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1544605766.783 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1544605766.783 * [misc]taylor: Taking taylor expansion of b2 in a1 1544605766.783 * [misc]backup-simplify: Simplify b2 into b2 1544605766.783 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605766.783 * [misc]backup-simplify: Simplify b1 into b1 1544605766.783 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605766.783 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605766.783 * [misc]backup-simplify: Simplify 0 into 0 1544605766.783 * [misc]backup-simplify: Simplify 1 into 1 1544605766.783 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605766.783 * [misc]backup-simplify: Simplify a2 into a2 1544605766.783 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605766.783 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605766.783 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605766.784 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1544605766.784 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1544605766.784 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1544605766.784 * [misc]taylor: Taking taylor expansion of b2 in a1 1544605766.784 * [misc]backup-simplify: Simplify b2 into b2 1544605766.784 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605766.784 * [misc]backup-simplify: Simplify b1 into b1 1544605766.784 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605766.784 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605766.784 * [misc]backup-simplify: Simplify 0 into 0 1544605766.784 * [misc]backup-simplify: Simplify 1 into 1 1544605766.784 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605766.784 * [misc]backup-simplify: Simplify a2 into a2 1544605766.784 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605766.784 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605766.784 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605766.784 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1544605766.784 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) a2) in a2 1544605766.784 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1544605766.784 * [misc]taylor: Taking taylor expansion of b2 in a2 1544605766.784 * [misc]backup-simplify: Simplify b2 into b2 1544605766.784 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605766.784 * [misc]backup-simplify: Simplify b1 into b1 1544605766.784 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605766.784 * [misc]backup-simplify: Simplify 0 into 0 1544605766.784 * [misc]backup-simplify: Simplify 1 into 1 1544605766.784 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605766.784 * [misc]backup-simplify: Simplify (/ (* b2 b1) 1) into (* b2 b1) 1544605766.784 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605766.784 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605766.784 * [misc]backup-simplify: Simplify b2 into b2 1544605766.784 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605766.784 * [misc]backup-simplify: Simplify 0 into 0 1544605766.784 * [misc]backup-simplify: Simplify 1 into 1 1544605766.785 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605766.785 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605766.785 * [misc]backup-simplify: Simplify 0 into 0 1544605766.785 * [misc]backup-simplify: Simplify 1 into 1 1544605766.785 * [misc]backup-simplify: Simplify 1 into 1 1544605766.785 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1544605766.785 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1544605766.785 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)))) into 0 1544605766.785 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.785 * [misc]backup-simplify: Simplify 0 into 0 1544605766.785 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1544605766.785 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)))) into 0 1544605766.785 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.785 * [misc]backup-simplify: Simplify 0 into 0 1544605766.785 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.785 * [misc]backup-simplify: Simplify 0 into 0 1544605766.785 * [misc]backup-simplify: Simplify 0 into 0 1544605766.786 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1544605766.786 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.786 * [misc]backup-simplify: Simplify 0 into 0 1544605766.786 * [misc]backup-simplify: Simplify 0 into 0 1544605766.786 * [misc]backup-simplify: Simplify 0 into 0 1544605766.786 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1544605766.786 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1544605766.786 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1544605766.786 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.786 * [misc]backup-simplify: Simplify 0 into 0 1544605766.786 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.786 * [misc]backup-simplify: Simplify 0 into 0 1544605766.786 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.786 * [misc]backup-simplify: Simplify 0 into 0 1544605766.786 * [misc]backup-simplify: Simplify 0 into 0 1544605766.787 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1544605766.787 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544605766.787 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.787 * [misc]backup-simplify: Simplify 0 into 0 1544605766.787 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.787 * [misc]backup-simplify: Simplify 0 into 0 1544605766.787 * [misc]backup-simplify: Simplify 0 into 0 1544605766.787 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.787 * [misc]backup-simplify: Simplify 0 into 0 1544605766.787 * [misc]backup-simplify: Simplify 0 into 0 1544605766.787 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b2) (* (/ 1 b1) (* (/ 1 (/ 1 a2)) (/ 1 (/ 1 a1)))))) into (/ (* a1 a2) (* b2 b1)) 1544605766.787 * [misc]backup-simplify: Simplify (* (/ (* (/ 1 (- a1)) (/ 1 (- a2))) (/ 1 (- b1))) (/ 1 (/ 1 (- b2)))) into (/ (* b2 b1) (* a1 a2)) 1544605766.787 * [misc]approximate: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in (a1 a2 b1 b2) around 0 1544605766.787 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b2 1544605766.787 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b2 1544605766.788 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605766.788 * [misc]backup-simplify: Simplify 0 into 0 1544605766.788 * [misc]backup-simplify: Simplify 1 into 1 1544605766.788 * [misc]taylor: Taking taylor expansion of b1 in b2 1544605766.788 * [misc]backup-simplify: Simplify b1 into b1 1544605766.788 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b2 1544605766.788 * [misc]taylor: Taking taylor expansion of a1 in b2 1544605766.788 * [misc]backup-simplify: Simplify a1 into a1 1544605766.788 * [misc]taylor: Taking taylor expansion of a2 in b2 1544605766.788 * [misc]backup-simplify: Simplify a2 into a2 1544605766.788 * [misc]backup-simplify: Simplify (* 0 b1) into 0 1544605766.788 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 b1)) into b1 1544605766.788 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605766.788 * [misc]backup-simplify: Simplify (/ b1 (* a1 a2)) into (/ b1 (* a1 a2)) 1544605766.788 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in b1 1544605766.788 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605766.788 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605766.788 * [misc]backup-simplify: Simplify b2 into b2 1544605766.788 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605766.788 * [misc]backup-simplify: Simplify 0 into 0 1544605766.788 * [misc]backup-simplify: Simplify 1 into 1 1544605766.788 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1544605766.788 * [misc]taylor: Taking taylor expansion of a1 in b1 1544605766.788 * [misc]backup-simplify: Simplify a1 into a1 1544605766.788 * [misc]taylor: Taking taylor expansion of a2 in b1 1544605766.788 * [misc]backup-simplify: Simplify a2 into a2 1544605766.788 * [misc]backup-simplify: Simplify (* b2 0) into 0 1544605766.788 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605766.788 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605766.788 * [misc]backup-simplify: Simplify (/ b2 (* a1 a2)) into (/ b2 (* a1 a2)) 1544605766.788 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a2 1544605766.788 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1544605766.788 * [misc]taylor: Taking taylor expansion of b2 in a2 1544605766.788 * [misc]backup-simplify: Simplify b2 into b2 1544605766.788 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605766.788 * [misc]backup-simplify: Simplify b1 into b1 1544605766.788 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1544605766.788 * [misc]taylor: Taking taylor expansion of a1 in a2 1544605766.788 * [misc]backup-simplify: Simplify a1 into a1 1544605766.788 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605766.788 * [misc]backup-simplify: Simplify 0 into 0 1544605766.789 * [misc]backup-simplify: Simplify 1 into 1 1544605766.789 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605766.789 * [misc]backup-simplify: Simplify (* a1 0) into 0 1544605766.789 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1544605766.789 * [misc]backup-simplify: Simplify (/ (* b2 b1) a1) into (/ (* b2 b1) a1) 1544605766.789 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1544605766.789 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1544605766.789 * [misc]taylor: Taking taylor expansion of b2 in a1 1544605766.789 * [misc]backup-simplify: Simplify b2 into b2 1544605766.789 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605766.789 * [misc]backup-simplify: Simplify b1 into b1 1544605766.789 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605766.789 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605766.789 * [misc]backup-simplify: Simplify 0 into 0 1544605766.789 * [misc]backup-simplify: Simplify 1 into 1 1544605766.789 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605766.789 * [misc]backup-simplify: Simplify a2 into a2 1544605766.789 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605766.789 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605766.789 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605766.789 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1544605766.789 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) (* a1 a2)) in a1 1544605766.789 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a1 1544605766.789 * [misc]taylor: Taking taylor expansion of b2 in a1 1544605766.789 * [misc]backup-simplify: Simplify b2 into b2 1544605766.789 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605766.789 * [misc]backup-simplify: Simplify b1 into b1 1544605766.789 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605766.789 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605766.789 * [misc]backup-simplify: Simplify 0 into 0 1544605766.789 * [misc]backup-simplify: Simplify 1 into 1 1544605766.789 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605766.789 * [misc]backup-simplify: Simplify a2 into a2 1544605766.789 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605766.789 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605766.790 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605766.790 * [misc]backup-simplify: Simplify (/ (* b2 b1) a2) into (/ (* b2 b1) a2) 1544605766.790 * [misc]taylor: Taking taylor expansion of (/ (* b2 b1) a2) in a2 1544605766.790 * [misc]taylor: Taking taylor expansion of (* b2 b1) in a2 1544605766.790 * [misc]taylor: Taking taylor expansion of b2 in a2 1544605766.790 * [misc]backup-simplify: Simplify b2 into b2 1544605766.790 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605766.790 * [misc]backup-simplify: Simplify b1 into b1 1544605766.790 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605766.790 * [misc]backup-simplify: Simplify 0 into 0 1544605766.790 * [misc]backup-simplify: Simplify 1 into 1 1544605766.790 * [misc]backup-simplify: Simplify (* b2 b1) into (* b2 b1) 1544605766.790 * [misc]backup-simplify: Simplify (/ (* b2 b1) 1) into (* b2 b1) 1544605766.790 * [misc]taylor: Taking taylor expansion of (* b2 b1) in b1 1544605766.790 * [misc]taylor: Taking taylor expansion of b2 in b1 1544605766.790 * [misc]backup-simplify: Simplify b2 into b2 1544605766.790 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605766.790 * [misc]backup-simplify: Simplify 0 into 0 1544605766.790 * [misc]backup-simplify: Simplify 1 into 1 1544605766.790 * [misc]backup-simplify: Simplify (+ (* b2 1) (* 0 0)) into b2 1544605766.790 * [misc]taylor: Taking taylor expansion of b2 in b2 1544605766.790 * [misc]backup-simplify: Simplify 0 into 0 1544605766.790 * [misc]backup-simplify: Simplify 1 into 1 1544605766.790 * [misc]backup-simplify: Simplify 1 into 1 1544605766.790 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1544605766.791 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1544605766.791 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)))) into 0 1544605766.791 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.791 * [misc]backup-simplify: Simplify 0 into 0 1544605766.791 * [misc]backup-simplify: Simplify (+ (* b2 0) (* 0 b1)) into 0 1544605766.791 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)))) into 0 1544605766.791 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.791 * [misc]backup-simplify: Simplify 0 into 0 1544605766.791 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.791 * [misc]backup-simplify: Simplify 0 into 0 1544605766.791 * [misc]backup-simplify: Simplify 0 into 0 1544605766.791 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 1) (* 0 0))) into 0 1544605766.791 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.791 * [misc]backup-simplify: Simplify 0 into 0 1544605766.791 * [misc]backup-simplify: Simplify 0 into 0 1544605766.791 * [misc]backup-simplify: Simplify 0 into 0 1544605766.792 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1544605766.792 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1544605766.792 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ (* b2 b1) a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1544605766.792 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.792 * [misc]backup-simplify: Simplify 0 into 0 1544605766.792 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.792 * [misc]backup-simplify: Simplify 0 into 0 1544605766.792 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.792 * [misc]backup-simplify: Simplify 0 into 0 1544605766.792 * [misc]backup-simplify: Simplify 0 into 0 1544605766.792 * [misc]backup-simplify: Simplify (+ (* b2 0) (+ (* 0 0) (* 0 b1))) into 0 1544605766.793 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (* b2 b1) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544605766.793 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.793 * [misc]backup-simplify: Simplify 0 into 0 1544605766.793 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.793 * [misc]backup-simplify: Simplify 0 into 0 1544605766.793 * [misc]backup-simplify: Simplify 0 into 0 1544605766.793 * [misc]taylor: Taking taylor expansion of 0 in b2 1544605766.793 * [misc]backup-simplify: Simplify 0 into 0 1544605766.793 * [misc]backup-simplify: Simplify 0 into 0 1544605766.793 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 (- b2)) (* (/ 1 (- b1)) (* (/ 1 (/ 1 (- a2))) (/ 1 (/ 1 (- a1))))))) into (/ (* a1 a2) (* b2 b1)) 1544605766.793 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1544605766.793 * [misc]backup-simplify: Simplify (/ (* a1 a2) b1) into (/ (* a1 a2) b1) 1544605766.793 * [misc]approximate: Taking taylor expansion of (/ (* a1 a2) b1) in (a1 a2 b1) around 0 1544605766.793 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) b1) in b1 1544605766.793 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1544605766.793 * [misc]taylor: Taking taylor expansion of a1 in b1 1544605766.793 * [misc]backup-simplify: Simplify a1 into a1 1544605766.793 * [misc]taylor: Taking taylor expansion of a2 in b1 1544605766.793 * [misc]backup-simplify: Simplify a2 into a2 1544605766.793 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605766.793 * [misc]backup-simplify: Simplify 0 into 0 1544605766.793 * [misc]backup-simplify: Simplify 1 into 1 1544605766.793 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605766.793 * [misc]backup-simplify: Simplify (/ (* a1 a2) 1) into (* a1 a2) 1544605766.793 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) b1) in a2 1544605766.793 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1544605766.793 * [misc]taylor: Taking taylor expansion of a1 in a2 1544605766.794 * [misc]backup-simplify: Simplify a1 into a1 1544605766.794 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605766.794 * [misc]backup-simplify: Simplify 0 into 0 1544605766.794 * [misc]backup-simplify: Simplify 1 into 1 1544605766.794 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605766.794 * [misc]backup-simplify: Simplify b1 into b1 1544605766.794 * [misc]backup-simplify: Simplify (* a1 0) into 0 1544605766.794 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1544605766.794 * [misc]backup-simplify: Simplify (/ a1 b1) into (/ a1 b1) 1544605766.794 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) b1) in a1 1544605766.794 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605766.794 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605766.794 * [misc]backup-simplify: Simplify 0 into 0 1544605766.794 * [misc]backup-simplify: Simplify 1 into 1 1544605766.794 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605766.794 * [misc]backup-simplify: Simplify a2 into a2 1544605766.794 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605766.794 * [misc]backup-simplify: Simplify b1 into b1 1544605766.794 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605766.794 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605766.794 * [misc]backup-simplify: Simplify (/ a2 b1) into (/ a2 b1) 1544605766.794 * [misc]taylor: Taking taylor expansion of (/ (* a1 a2) b1) in a1 1544605766.794 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605766.794 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605766.794 * [misc]backup-simplify: Simplify 0 into 0 1544605766.794 * [misc]backup-simplify: Simplify 1 into 1 1544605766.794 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605766.794 * [misc]backup-simplify: Simplify a2 into a2 1544605766.794 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605766.794 * [misc]backup-simplify: Simplify b1 into b1 1544605766.794 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605766.794 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605766.795 * [misc]backup-simplify: Simplify (/ a2 b1) into (/ a2 b1) 1544605766.795 * [misc]taylor: Taking taylor expansion of (/ a2 b1) in a2 1544605766.795 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605766.795 * [misc]backup-simplify: Simplify 0 into 0 1544605766.795 * [misc]backup-simplify: Simplify 1 into 1 1544605766.795 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605766.795 * [misc]backup-simplify: Simplify b1 into b1 1544605766.795 * [misc]backup-simplify: Simplify (/ 1 b1) into (/ 1 b1) 1544605766.795 * [misc]taylor: Taking taylor expansion of (/ 1 b1) in b1 1544605766.795 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605766.795 * [misc]backup-simplify: Simplify 0 into 0 1544605766.795 * [misc]backup-simplify: Simplify 1 into 1 1544605766.795 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544605766.795 * [misc]backup-simplify: Simplify 1 into 1 1544605766.795 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1544605766.795 * [misc]backup-simplify: Simplify (- (/ 0 b1) (+ (* (/ a2 b1) (/ 0 b1)))) into 0 1544605766.795 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.795 * [misc]backup-simplify: Simplify 0 into 0 1544605766.795 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.795 * [misc]backup-simplify: Simplify 0 into 0 1544605766.795 * [misc]backup-simplify: Simplify (- (/ 0 b1) (+ (* (/ 1 b1) (/ 0 b1)))) into 0 1544605766.795 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.795 * [misc]backup-simplify: Simplify 0 into 0 1544605766.796 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544605766.796 * [misc]backup-simplify: Simplify 0 into 0 1544605766.796 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1544605766.796 * [misc]backup-simplify: Simplify (- (/ 0 b1) (+ (* (/ a2 b1) (/ 0 b1)) (* 0 (/ 0 b1)))) into 0 1544605766.796 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.796 * [misc]backup-simplify: Simplify 0 into 0 1544605766.796 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.796 * [misc]backup-simplify: Simplify 0 into 0 1544605766.796 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.796 * [misc]backup-simplify: Simplify 0 into 0 1544605766.796 * [misc]backup-simplify: Simplify (- (/ 0 b1) (+ (* (/ 1 b1) (/ 0 b1)) (* 0 (/ 0 b1)))) into 0 1544605766.796 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.796 * [misc]backup-simplify: Simplify 0 into 0 1544605766.796 * [misc]backup-simplify: Simplify 0 into 0 1544605766.796 * [misc]backup-simplify: Simplify 0 into 0 1544605766.797 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544605766.797 * [misc]backup-simplify: Simplify 0 into 0 1544605766.797 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 a2))))) into 0 1544605766.797 * [misc]backup-simplify: Simplify (- (/ 0 b1) (+ (* (/ a2 b1) (/ 0 b1)) (* 0 (/ 0 b1)) (* 0 (/ 0 b1)))) into 0 1544605766.797 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.797 * [misc]backup-simplify: Simplify 0 into 0 1544605766.797 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.797 * [misc]backup-simplify: Simplify 0 into 0 1544605766.797 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.797 * [misc]backup-simplify: Simplify 0 into 0 1544605766.797 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.797 * [misc]backup-simplify: Simplify 0 into 0 1544605766.797 * [misc]backup-simplify: Simplify (- (/ 0 b1) (+ (* (/ 1 b1) (/ 0 b1)) (* 0 (/ 0 b1)) (* 0 (/ 0 b1)))) into 0 1544605766.797 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.797 * [misc]backup-simplify: Simplify 0 into 0 1544605766.797 * [misc]backup-simplify: Simplify 0 into 0 1544605766.797 * [misc]backup-simplify: Simplify 0 into 0 1544605766.798 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b1) (* a2 a1))) into (/ (* a1 a2) b1) 1544605766.798 * [misc]backup-simplify: Simplify (/ (* (/ 1 a1) (/ 1 a2)) (/ 1 b1)) into (/ b1 (* a1 a2)) 1544605766.798 * [misc]approximate: Taking taylor expansion of (/ b1 (* a1 a2)) in (a1 a2 b1) around 0 1544605766.798 * [misc]taylor: Taking taylor expansion of (/ b1 (* a1 a2)) in b1 1544605766.798 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605766.798 * [misc]backup-simplify: Simplify 0 into 0 1544605766.798 * [misc]backup-simplify: Simplify 1 into 1 1544605766.798 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1544605766.798 * [misc]taylor: Taking taylor expansion of a1 in b1 1544605766.798 * [misc]backup-simplify: Simplify a1 into a1 1544605766.798 * [misc]taylor: Taking taylor expansion of a2 in b1 1544605766.798 * [misc]backup-simplify: Simplify a2 into a2 1544605766.798 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605766.798 * [misc]backup-simplify: Simplify (/ 1 (* a1 a2)) into (/ 1 (* a1 a2)) 1544605766.798 * [misc]taylor: Taking taylor expansion of (/ b1 (* a1 a2)) in a2 1544605766.798 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605766.798 * [misc]backup-simplify: Simplify b1 into b1 1544605766.798 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1544605766.798 * [misc]taylor: Taking taylor expansion of a1 in a2 1544605766.798 * [misc]backup-simplify: Simplify a1 into a1 1544605766.798 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605766.798 * [misc]backup-simplify: Simplify 0 into 0 1544605766.798 * [misc]backup-simplify: Simplify 1 into 1 1544605766.798 * [misc]backup-simplify: Simplify (* a1 0) into 0 1544605766.798 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1544605766.798 * [misc]backup-simplify: Simplify (/ b1 a1) into (/ b1 a1) 1544605766.798 * [misc]taylor: Taking taylor expansion of (/ b1 (* a1 a2)) in a1 1544605766.798 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605766.798 * [misc]backup-simplify: Simplify b1 into b1 1544605766.798 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605766.798 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605766.798 * [misc]backup-simplify: Simplify 0 into 0 1544605766.798 * [misc]backup-simplify: Simplify 1 into 1 1544605766.798 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605766.798 * [misc]backup-simplify: Simplify a2 into a2 1544605766.798 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605766.799 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605766.799 * [misc]backup-simplify: Simplify (/ b1 a2) into (/ b1 a2) 1544605766.799 * [misc]taylor: Taking taylor expansion of (/ b1 (* a1 a2)) in a1 1544605766.799 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605766.799 * [misc]backup-simplify: Simplify b1 into b1 1544605766.799 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605766.799 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605766.799 * [misc]backup-simplify: Simplify 0 into 0 1544605766.799 * [misc]backup-simplify: Simplify 1 into 1 1544605766.799 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605766.799 * [misc]backup-simplify: Simplify a2 into a2 1544605766.799 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605766.799 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605766.799 * [misc]backup-simplify: Simplify (/ b1 a2) into (/ b1 a2) 1544605766.799 * [misc]taylor: Taking taylor expansion of (/ b1 a2) in a2 1544605766.799 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605766.799 * [misc]backup-simplify: Simplify b1 into b1 1544605766.799 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605766.799 * [misc]backup-simplify: Simplify 0 into 0 1544605766.799 * [misc]backup-simplify: Simplify 1 into 1 1544605766.799 * [misc]backup-simplify: Simplify (/ b1 1) into b1 1544605766.799 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605766.799 * [misc]backup-simplify: Simplify 0 into 0 1544605766.799 * [misc]backup-simplify: Simplify 1 into 1 1544605766.799 * [misc]backup-simplify: Simplify 1 into 1 1544605766.799 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1544605766.800 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ b1 a2) (/ 0 a2)))) into 0 1544605766.800 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.800 * [misc]backup-simplify: Simplify 0 into 0 1544605766.800 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* b1 (/ 0 1)))) into 0 1544605766.800 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.800 * [misc]backup-simplify: Simplify 0 into 0 1544605766.800 * [misc]backup-simplify: Simplify 0 into 0 1544605766.800 * [misc]backup-simplify: Simplify 0 into 0 1544605766.800 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1544605766.800 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ b1 a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1544605766.800 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.800 * [misc]backup-simplify: Simplify 0 into 0 1544605766.800 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.800 * [misc]backup-simplify: Simplify 0 into 0 1544605766.800 * [misc]backup-simplify: Simplify 0 into 0 1544605766.801 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* b1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544605766.801 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.801 * [misc]backup-simplify: Simplify 0 into 0 1544605766.801 * [misc]backup-simplify: Simplify 0 into 0 1544605766.801 * [misc]backup-simplify: Simplify 0 into 0 1544605766.801 * [misc]backup-simplify: Simplify 0 into 0 1544605766.801 * [misc]backup-simplify: Simplify (* 1 (* (/ 1 b1) (* (/ 1 (/ 1 a2)) (/ 1 (/ 1 a1))))) into (/ (* a1 a2) b1) 1544605766.801 * [misc]backup-simplify: Simplify (/ (* (/ 1 (- a1)) (/ 1 (- a2))) (/ 1 (- b1))) into (* -1 (/ b1 (* a1 a2))) 1544605766.801 * [misc]approximate: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in (a1 a2 b1) around 0 1544605766.801 * [misc]taylor: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in b1 1544605766.801 * [misc]taylor: Taking taylor expansion of -1 in b1 1544605766.801 * [misc]backup-simplify: Simplify -1 into -1 1544605766.801 * [misc]taylor: Taking taylor expansion of (/ b1 (* a1 a2)) in b1 1544605766.801 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605766.801 * [misc]backup-simplify: Simplify 0 into 0 1544605766.801 * [misc]backup-simplify: Simplify 1 into 1 1544605766.801 * [misc]taylor: Taking taylor expansion of (* a1 a2) in b1 1544605766.801 * [misc]taylor: Taking taylor expansion of a1 in b1 1544605766.801 * [misc]backup-simplify: Simplify a1 into a1 1544605766.801 * [misc]taylor: Taking taylor expansion of a2 in b1 1544605766.801 * [misc]backup-simplify: Simplify a2 into a2 1544605766.801 * [misc]backup-simplify: Simplify (* a1 a2) into (* a1 a2) 1544605766.801 * [misc]backup-simplify: Simplify (/ 1 (* a1 a2)) into (/ 1 (* a1 a2)) 1544605766.801 * [misc]taylor: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in a2 1544605766.801 * [misc]taylor: Taking taylor expansion of -1 in a2 1544605766.801 * [misc]backup-simplify: Simplify -1 into -1 1544605766.802 * [misc]taylor: Taking taylor expansion of (/ b1 (* a1 a2)) in a2 1544605766.802 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605766.802 * [misc]backup-simplify: Simplify b1 into b1 1544605766.802 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a2 1544605766.802 * [misc]taylor: Taking taylor expansion of a1 in a2 1544605766.802 * [misc]backup-simplify: Simplify a1 into a1 1544605766.802 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605766.802 * [misc]backup-simplify: Simplify 0 into 0 1544605766.802 * [misc]backup-simplify: Simplify 1 into 1 1544605766.802 * [misc]backup-simplify: Simplify (* a1 0) into 0 1544605766.802 * [misc]backup-simplify: Simplify (+ (* a1 1) (* 0 0)) into a1 1544605766.802 * [misc]backup-simplify: Simplify (/ b1 a1) into (/ b1 a1) 1544605766.802 * [misc]taylor: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in a1 1544605766.802 * [misc]taylor: Taking taylor expansion of -1 in a1 1544605766.802 * [misc]backup-simplify: Simplify -1 into -1 1544605766.802 * [misc]taylor: Taking taylor expansion of (/ b1 (* a1 a2)) in a1 1544605766.802 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605766.802 * [misc]backup-simplify: Simplify b1 into b1 1544605766.802 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605766.802 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605766.802 * [misc]backup-simplify: Simplify 0 into 0 1544605766.802 * [misc]backup-simplify: Simplify 1 into 1 1544605766.802 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605766.802 * [misc]backup-simplify: Simplify a2 into a2 1544605766.802 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605766.802 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605766.802 * [misc]backup-simplify: Simplify (/ b1 a2) into (/ b1 a2) 1544605766.802 * [misc]taylor: Taking taylor expansion of (* -1 (/ b1 (* a1 a2))) in a1 1544605766.802 * [misc]taylor: Taking taylor expansion of -1 in a1 1544605766.802 * [misc]backup-simplify: Simplify -1 into -1 1544605766.802 * [misc]taylor: Taking taylor expansion of (/ b1 (* a1 a2)) in a1 1544605766.802 * [misc]taylor: Taking taylor expansion of b1 in a1 1544605766.802 * [misc]backup-simplify: Simplify b1 into b1 1544605766.802 * [misc]taylor: Taking taylor expansion of (* a1 a2) in a1 1544605766.802 * [misc]taylor: Taking taylor expansion of a1 in a1 1544605766.802 * [misc]backup-simplify: Simplify 0 into 0 1544605766.802 * [misc]backup-simplify: Simplify 1 into 1 1544605766.802 * [misc]taylor: Taking taylor expansion of a2 in a1 1544605766.802 * [misc]backup-simplify: Simplify a2 into a2 1544605766.802 * [misc]backup-simplify: Simplify (* 0 a2) into 0 1544605766.803 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 a2)) into a2 1544605766.803 * [misc]backup-simplify: Simplify (/ b1 a2) into (/ b1 a2) 1544605766.803 * [misc]backup-simplify: Simplify (* -1 (/ b1 a2)) into (* -1 (/ b1 a2)) 1544605766.803 * [misc]taylor: Taking taylor expansion of (* -1 (/ b1 a2)) in a2 1544605766.803 * [misc]taylor: Taking taylor expansion of -1 in a2 1544605766.803 * [misc]backup-simplify: Simplify -1 into -1 1544605766.803 * [misc]taylor: Taking taylor expansion of (/ b1 a2) in a2 1544605766.803 * [misc]taylor: Taking taylor expansion of b1 in a2 1544605766.803 * [misc]backup-simplify: Simplify b1 into b1 1544605766.803 * [misc]taylor: Taking taylor expansion of a2 in a2 1544605766.803 * [misc]backup-simplify: Simplify 0 into 0 1544605766.803 * [misc]backup-simplify: Simplify 1 into 1 1544605766.803 * [misc]backup-simplify: Simplify (/ b1 1) into b1 1544605766.803 * [misc]backup-simplify: Simplify (* -1 b1) into (* -1 b1) 1544605766.803 * [misc]taylor: Taking taylor expansion of (* -1 b1) in b1 1544605766.803 * [misc]taylor: Taking taylor expansion of -1 in b1 1544605766.803 * [misc]backup-simplify: Simplify -1 into -1 1544605766.803 * [misc]taylor: Taking taylor expansion of b1 in b1 1544605766.803 * [misc]backup-simplify: Simplify 0 into 0 1544605766.803 * [misc]backup-simplify: Simplify 1 into 1 1544605766.803 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1544605766.803 * [misc]backup-simplify: Simplify -1 into -1 1544605766.803 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 a2))) into 0 1544605766.804 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ b1 a2) (/ 0 a2)))) into 0 1544605766.804 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 (/ b1 a2))) into 0 1544605766.804 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.804 * [misc]backup-simplify: Simplify 0 into 0 1544605766.804 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* b1 (/ 0 1)))) into 0 1544605766.804 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 b1)) into 0 1544605766.804 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.804 * [misc]backup-simplify: Simplify 0 into 0 1544605766.804 * [misc]backup-simplify: Simplify 0 into 0 1544605766.804 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1544605766.804 * [misc]backup-simplify: Simplify 0 into 0 1544605766.805 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 a2)))) into 0 1544605766.805 * [misc]backup-simplify: Simplify (- (/ 0 a2) (+ (* (/ b1 a2) (/ 0 a2)) (* 0 (/ 0 a2)))) into 0 1544605766.805 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ b1 a2)))) into 0 1544605766.805 * [misc]taylor: Taking taylor expansion of 0 in a2 1544605766.805 * [misc]backup-simplify: Simplify 0 into 0 1544605766.805 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.805 * [misc]backup-simplify: Simplify 0 into 0 1544605766.805 * [misc]backup-simplify: Simplify 0 into 0 1544605766.805 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* b1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544605766.806 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 b1))) into 0 1544605766.806 * [misc]taylor: Taking taylor expansion of 0 in b1 1544605766.806 * [misc]backup-simplify: Simplify 0 into 0 1544605766.806 * [misc]backup-simplify: Simplify 0 into 0 1544605766.806 * [misc]backup-simplify: Simplify 0 into 0 1544605766.806 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1544605766.806 * [misc]backup-simplify: Simplify 0 into 0 1544605766.806 * [misc]backup-simplify: Simplify (* -1 (* (/ 1 (- b1)) (* (/ 1 (/ 1 (- a2))) (/ 1 (/ 1 (- a1)))))) into (/ (* a1 a2) b1) 1544605766.806 * * * [misc]progress: simplifying candidates 1544605766.806 * * * * [misc]progress: [ 1 / 40 ] simplifiying candidate # 1544605766.806 * [enter]simplify: Simplifying (* (/ (* a1 a2) b1) (/ 1 b2)) 1544605766.807 * * [misc]simplify: iters left: 6 (9 enodes) 1544605766.809 * * [misc]simplify: iters left: 5 (19 enodes) 1544605766.814 * * [misc]simplify: iters left: 4 (41 enodes) 1544605766.827 * * [misc]simplify: iters left: 3 (82 enodes) 1544605766.870 * * [misc]simplify: iters left: 2 (185 enodes) 1544605766.959 * * [misc]simplify: iters left: 1 (367 enodes) 1544605767.232 * [exit]simplify: Simplified to (/ (/ a1 b2) (/ b1 a2)) 1544605767.232 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (pow (/ (/ a1 b2) (/ b1 a2)) 1)) 1544605767.232 * * * * [misc]progress: [ 2 / 40 ] simplifiying candidate # 1544605767.232 * * * * [misc]progress: [ 3 / 40 ] simplifiying candidate # 1544605767.232 * [enter]simplify: Simplifying (+ (log (/ (* a1 a2) b1)) (log (/ 1 b2))) 1544605767.233 * * [misc]simplify: iters left: 6 (11 enodes) 1544605767.240 * * [misc]simplify: iters left: 5 (24 enodes) 1544605767.250 * * [misc]simplify: iters left: 4 (37 enodes) 1544605767.272 * * [misc]simplify: iters left: 3 (81 enodes) 1544605767.314 * * [misc]simplify: iters left: 2 (205 enodes) 1544605767.465 * [exit]simplify: Simplified to (- (log (* a1 a2)) (+ (log b2) (log b1))) 1544605767.465 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (exp (- (log (* a1 a2)) (+ (log b2) (log b1))))) 1544605767.465 * * * * [misc]progress: [ 4 / 40 ] simplifiying candidate # 1544605767.465 * * * * [misc]progress: [ 5 / 40 ] simplifiying candidate # 1544605767.466 * * * * [misc]progress: [ 6 / 40 ] simplifiying candidate # 1544605767.466 * [enter]simplify: Simplifying (* (* (* (/ (* a1 a2) b1) (/ (* a1 a2) b1)) (/ (* a1 a2) b1)) (* (* (/ 1 b2) (/ 1 b2)) (/ 1 b2))) 1544605767.466 * * [misc]simplify: iters left: 6 (13 enodes) 1544605767.471 * * [misc]simplify: iters left: 5 (37 enodes) 1544605767.487 * * [misc]simplify: iters left: 4 (130 enodes) 1544605767.631 * [exit]simplify: Simplified to (* (* (/ a2 (/ b1 a1)) (/ a2 (/ b1 a1))) (* (/ (/ 1 b2) (* b2 b2)) (/ a2 (/ b1 a1)))) 1544605767.631 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (cbrt (* (* (/ a2 (/ b1 a1)) (/ a2 (/ b1 a1))) (* (/ (/ 1 b2) (* b2 b2)) (/ a2 (/ b1 a1)))))) 1544605767.631 * * * * [misc]progress: [ 7 / 40 ] simplifiying candidate # 1544605767.631 * * * * [misc]progress: [ 8 / 40 ] simplifiying candidate # 1544605767.631 * * * * [misc]progress: [ 9 / 40 ] simplifiying candidate # 1544605767.631 * * * * [misc]progress: [ 10 / 40 ] simplifiying candidate # 1544605767.632 * [enter]simplify: Simplifying (* (* a1 a2) 1) 1544605767.632 * * [misc]simplify: iters left: 4 (5 enodes) 1544605767.635 * * [misc]simplify: iters left: 3 (11 enodes) 1544605767.641 * * [misc]simplify: iters left: 2 (17 enodes) 1544605767.646 * * [misc]simplify: iters left: 1 (18 enodes) 1544605767.650 * [exit]simplify: Simplified to (* a1 a2) 1544605767.650 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (/ (* a1 a2) (* b1 b2))) 1544605767.650 * [enter]simplify: Simplifying (* b1 b2) 1544605767.650 * * [misc]simplify: iters left: 2 (3 enodes) 1544605767.651 * * [misc]simplify: iters left: 1 (4 enodes) 1544605767.653 * [exit]simplify: Simplified to (* b1 b2) 1544605767.653 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (/ (* a1 a2) (* b1 b2))) 1544605767.653 * * * * [misc]progress: [ 11 / 40 ] simplifiying candidate # 1544605767.653 * * * * [misc]progress: [ 12 / 40 ] simplifiying candidate # 1544605767.653 * * * * [misc]progress: [ 13 / 40 ] simplifiying candidate # 1544605767.654 * [enter]simplify: Simplifying (cbrt (/ 1 b2)) 1544605767.654 * * [misc]simplify: iters left: 3 (4 enodes) 1544605767.655 * * [misc]simplify: iters left: 2 (6 enodes) 1544605767.657 * [exit]simplify: Simplified to (cbrt (/ 1 b2)) 1544605767.657 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* (/ (* a1 a2) b1) (* (cbrt (/ 1 b2)) (cbrt (/ 1 b2)))) (cbrt (/ 1 b2)))) 1544605767.657 * * * * [misc]progress: [ 14 / 40 ] simplifiying candidate # 1544605767.658 * [enter]simplify: Simplifying (sqrt (/ 1 b2)) 1544605767.658 * * [misc]simplify: iters left: 3 (4 enodes) 1544605767.659 * * [misc]simplify: iters left: 2 (6 enodes) 1544605767.661 * [exit]simplify: Simplified to (sqrt (/ 1 b2)) 1544605767.661 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* (/ (* a1 a2) b1) (sqrt (/ 1 b2))) (sqrt (/ 1 b2)))) 1544605767.661 * * * * [misc]progress: [ 15 / 40 ] simplifiying candidate # 1544605767.662 * [enter]simplify: Simplifying (/ 1 b2) 1544605767.662 * * [misc]simplify: iters left: 2 (3 enodes) 1544605767.663 * * [misc]simplify: iters left: 1 (5 enodes) 1544605767.665 * [exit]simplify: Simplified to (/ 1 b2) 1544605767.665 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* (/ (* a1 a2) b1) 1) (/ 1 b2))) 1544605767.665 * * * * [misc]progress: [ 16 / 40 ] simplifiying candidate # 1544605767.665 * [enter]simplify: Simplifying (/ 1 b2) 1544605767.665 * * [misc]simplify: iters left: 2 (3 enodes) 1544605767.666 * * [misc]simplify: iters left: 1 (5 enodes) 1544605767.668 * [exit]simplify: Simplified to (/ 1 b2) 1544605767.668 * [misc]simplify: Simplified (2 2) to (λ (a1 a2 b1 b2) (* (* (/ (* a1 a2) b1) 1) (/ 1 b2))) 1544605767.668 * * * * [misc]progress: [ 17 / 40 ] simplifiying candidate # 1544605767.668 * [enter]simplify: Simplifying (* (cbrt (/ (* a1 a2) b1)) (cbrt (/ (* a1 a2) b1))) 1544605767.669 * * [misc]simplify: iters left: 6 (7 enodes) 1544605767.672 * * [misc]simplify: iters left: 5 (10 enodes) 1544605767.676 * * [misc]simplify: iters left: 4 (12 enodes) 1544605767.680 * * [misc]simplify: iters left: 3 (15 enodes) 1544605767.685 * * [misc]simplify: iters left: 2 (17 enodes) 1544605767.691 * * [misc]simplify: iters left: 1 (18 enodes) 1544605767.697 * [exit]simplify: Simplified to (* (cbrt (/ a2 (/ b1 a1))) (cbrt (/ a2 (/ b1 a1)))) 1544605767.697 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (* (* (cbrt (/ a2 (/ b1 a1))) (cbrt (/ a2 (/ b1 a1)))) (* (cbrt (/ (* a1 a2) b1)) (/ 1 b2)))) 1544605767.697 * * * * [misc]progress: [ 18 / 40 ] simplifiying candidate # 1544605767.698 * [enter]simplify: Simplifying (sqrt (/ (* a1 a2) b1)) 1544605767.698 * * [misc]simplify: iters left: 5 (6 enodes) 1544605767.701 * * [misc]simplify: iters left: 4 (9 enodes) 1544605767.704 * * [misc]simplify: iters left: 3 (11 enodes) 1544605767.708 * * [misc]simplify: iters left: 2 (14 enodes) 1544605767.712 * * [misc]simplify: iters left: 1 (16 enodes) 1544605767.718 * [exit]simplify: Simplified to (sqrt (* a1 (/ a2 b1))) 1544605767.719 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (* (sqrt (* a1 (/ a2 b1))) (* (sqrt (/ (* a1 a2) b1)) (/ 1 b2)))) 1544605767.719 * * * * [misc]progress: [ 19 / 40 ] simplifiying candidate # 1544605767.719 * * * * [misc]progress: [ 20 / 40 ] simplifiying candidate # 1544605767.719 * [enter]simplify: Simplifying (* a1 a2) 1544605767.719 * * [misc]simplify: iters left: 2 (3 enodes) 1544605767.721 * * [misc]simplify: iters left: 1 (4 enodes) 1544605767.722 * [exit]simplify: Simplified to (* a1 a2) 1544605767.722 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (* (* a1 a2) (* (/ 1 b1) (/ 1 b2)))) 1544605767.722 * * * * [misc]progress: [ 21 / 40 ] simplifiying candidate # 1544605767.722 * * * * [misc]progress: [ 22 / 40 ] simplifiying candidate # 1544605767.723 * [enter]simplify: Simplifying (* (* a1 a2) (/ 1 b2)) 1544605767.723 * * [misc]simplify: iters left: 4 (7 enodes) 1544605767.727 * * [misc]simplify: iters left: 3 (15 enodes) 1544605767.734 * * [misc]simplify: iters left: 2 (30 enodes) 1544605767.750 * * [misc]simplify: iters left: 1 (49 enodes) 1544605767.768 * [exit]simplify: Simplified to (/ a2 (/ b2 a1)) 1544605767.768 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (/ (/ a2 (/ b2 a1)) b1)) 1544605767.768 * * * * [misc]progress: [ 23 / 40 ] simplifiying candidate # 1544605767.768 * * * * [misc]progress: [ 24 / 40 ] simplifiying candidate # 1544605767.769 * * * * [misc]progress: [ 25 / 40 ] simplifiying candidate # 1544605767.769 * * * * [misc]progress: [ 26 / 40 ] simplifiying candidate # 1544605767.769 * * * * [misc]progress: [ 27 / 40 ] simplifiying candidate # 1544605767.769 * * * * [misc]progress: [ 28 / 40 ] simplifiying candidate # 1544605767.769 * * * * [misc]progress: [ 29 / 40 ] simplifiying candidate # 1544605767.769 * * * * [misc]progress: [ 30 / 40 ] simplifiying candidate # 1544605767.769 * * * * [misc]progress: [ 31 / 40 ] simplifiying candidate # 1544605767.769 * * * * [misc]progress: [ 32 / 40 ] simplifiying candidate # 1544605767.769 * * * * [misc]progress: [ 33 / 40 ] simplifiying candidate # 1544605767.769 * * * * [misc]progress: [ 34 / 40 ] simplifiying candidate # 1544605767.769 * * * * [misc]progress: [ 35 / 40 ] simplifiying candidate # 1544605767.769 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1544605767.773 * * [misc]simplify: iters left: 4 (7 enodes) 1544605767.777 * * [misc]simplify: iters left: 3 (16 enodes) 1544605767.783 * * [misc]simplify: iters left: 2 (35 enodes) 1544605767.791 * * [misc]simplify: iters left: 1 (58 enodes) 1544605767.803 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1544605767.803 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1544605767.803 * * * * [misc]progress: [ 36 / 40 ] simplifiying candidate # 1544605767.803 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1544605767.803 * * [misc]simplify: iters left: 4 (7 enodes) 1544605767.805 * * [misc]simplify: iters left: 3 (16 enodes) 1544605767.810 * * [misc]simplify: iters left: 2 (35 enodes) 1544605767.818 * * [misc]simplify: iters left: 1 (58 enodes) 1544605767.832 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1544605767.832 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1544605767.832 * * * * [misc]progress: [ 37 / 40 ] simplifiying candidate # 1544605767.833 * [enter]simplify: Simplifying (/ (* a1 a2) (* b2 b1)) 1544605767.834 * * [misc]simplify: iters left: 4 (7 enodes) 1544605767.838 * * [misc]simplify: iters left: 3 (16 enodes) 1544605767.843 * * [misc]simplify: iters left: 2 (35 enodes) 1544605767.851 * * [misc]simplify: iters left: 1 (58 enodes) 1544605767.865 * [exit]simplify: Simplified to (* (/ a1 b1) (/ a2 b2)) 1544605767.866 * [misc]simplify: Simplified (2) to (λ (a1 a2 b1 b2) (* (/ a1 b1) (/ a2 b2))) 1544605767.866 * * * * [misc]progress: [ 38 / 40 ] simplifiying candidate # 1544605767.866 * [enter]simplify: Simplifying (/ (* a1 a2) b1) 1544605767.866 * * [misc]simplify: iters left: 4 (5 enodes) 1544605767.867 * * [misc]simplify: iters left: 3 (8 enodes) 1544605767.869 * * [misc]simplify: iters left: 2 (10 enodes) 1544605767.870 * * [misc]simplify: iters left: 1 (13 enodes) 1544605767.875 * [exit]simplify: Simplified to (/ a2 (/ b1 a1)) 1544605767.875 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (* (/ a2 (/ b1 a1)) (/ 1 b2))) 1544605767.875 * * * * [misc]progress: [ 39 / 40 ] simplifiying candidate # 1544605767.875 * [enter]simplify: Simplifying (/ (* a1 a2) b1) 1544605767.876 * * [misc]simplify: iters left: 4 (5 enodes) 1544605767.878 * * [misc]simplify: iters left: 3 (8 enodes) 1544605767.881 * * [misc]simplify: iters left: 2 (10 enodes) 1544605767.885 * * [misc]simplify: iters left: 1 (13 enodes) 1544605767.888 * [exit]simplify: Simplified to (/ a2 (/ b1 a1)) 1544605767.888 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (* (/ a2 (/ b1 a1)) (/ 1 b2))) 1544605767.889 * * * * [misc]progress: [ 40 / 40 ] simplifiying candidate # 1544605767.889 * [enter]simplify: Simplifying (/ (* a1 a2) b1) 1544605767.889 * * [misc]simplify: iters left: 4 (5 enodes) 1544605767.890 * * [misc]simplify: iters left: 3 (8 enodes) 1544605767.892 * * [misc]simplify: iters left: 2 (10 enodes) 1544605767.893 * * [misc]simplify: iters left: 1 (13 enodes) 1544605767.897 * [exit]simplify: Simplified to (/ a2 (/ b1 a1)) 1544605767.897 * [misc]simplify: Simplified (2 1) to (λ (a1 a2 b1 b2) (* (/ a2 (/ b1 a1)) (/ 1 b2))) 1544605767.897 * * * [misc]progress: adding candidates to table 1544605768.518 * [misc]progress: [Phase 3 of 3] Extracting. 1544605768.518 * * [misc]regime: Finding splitpoints for: (# # # # # #) 1544605768.519 * * * [misc]regime-changes: Trying 6 branch expressions: (b2 b1 (* b1 b2) a2 a1 (* a1 a2)) 1544605768.519 * * * * [misc]regimes: Trying to branch on b2 from (# # # # # #) 1544605768.666 * * * * [misc]regimes: Trying to branch on b1 from (# # # # # #) 1544605768.800 * * * * [misc]regimes: Trying to branch on (* b1 b2) from (# # # # # #) 1544605768.908 * * * * [misc]regimes: Trying to branch on a2 from (# # # # # #) 1544605768.980 * * * * [misc]regimes: Trying to branch on a1 from (# # # # # #) 1544605769.110 * * * * [misc]regimes: Trying to branch on (* a1 a2) from (# # # # # #) 1544605769.206 * * * [misc]regime: Found split indices: #