1538728902.734 * [misc]progress: [Phase 1 of 3] Setting up. 1538728902.734 * * * [misc]progress: [1/2] Preparing points 1538728902.734 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538728902.800 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728902.800 * * * * [misc]points: Sampling 156 additional inputs, on iter 1 have 100 / 256 1538728902.828 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728902.828 * * * * [misc]points: Sampling 98 additional inputs, on iter 2 have 158 / 256 1538728902.855 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728902.855 * * * * [misc]points: Sampling 59 additional inputs, on iter 3 have 197 / 256 1538728902.909 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728902.909 * * * * [misc]points: Sampling 40 additional inputs, on iter 4 have 216 / 256 1538728902.926 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728902.926 * * * * [misc]points: Sampling 26 additional inputs, on iter 5 have 230 / 256 1538728902.933 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728902.933 * * * * [misc]points: Sampling 19 additional inputs, on iter 6 have 237 / 256 1538728902.938 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728902.938 * * * * [misc]points: Sampling 9 additional inputs, on iter 7 have 247 / 256 1538728902.942 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728902.942 * * * * [misc]points: Sampling 6 additional inputs, on iter 8 have 250 / 256 1538728902.945 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728902.945 * * * * [misc]points: Sampling 4 additional inputs, on iter 9 have 254 / 256 1538728902.948 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728902.948 * * * * [exit]points: Sampled 257 points with exact outputs 1538728902.948 * * * [misc]progress: [2/2] Setting up program. 1538728902.958 * [misc]progress: [Phase 2 of 3] Improving. 1538728902.959 * [enter]simplify: Simplifying (- (+ (pow (+ (* a a) (* b b)) 2) (* 4 (* b b))) 1) 1538728902.960 * * [misc]simplify: iters left: 6 (12 enodes) 1538728902.967 * * [misc]simplify: iters left: 5 (25 enodes) 1538728902.977 * * [misc]simplify: iters left: 4 (42 enodes) 1538728902.993 * * [misc]simplify: iters left: 3 (118 enodes) 1538728903.080 * * [misc]simplify: iters left: 2 (413 enodes) 1538728903.411 * [exit]simplify: Simplified to (- (* (+ (* a a) (* b b)) (+ (* a a) (* b b))) (- 1 (* (* b b) 4))) 1538728903.421 * * [misc]progress: iteration 1 / 4 1538728903.421 * * * [misc]progress: picking best candidate 1538728903.426 * * * * [misc]pick: Picked # 1538728903.426 * * * [misc]progress: localizing error 1538728903.449 * * * [misc]progress: generating rewritten candidates 1538728903.449 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1) 1538728903.548 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2 2) 1538728903.565 * * * [misc]progress: generating series expansions 1538728903.566 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1) 1538728903.566 * [misc]backup-simplify: Simplify (* (+ (* a a) (* b b)) (+ (* a a) (* b b))) into (pow (+ (pow a 2) (pow b 2)) 2) 1538728903.566 * [misc]approximate: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in (a b) around 0 1538728903.566 * [misc]taylor: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in b 1538728903.566 * [misc]taylor: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 1538728903.566 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538728903.566 * [misc]taylor: Taking taylor expansion of a in b 1538728903.566 * [misc]backup-simplify: Simplify a into a 1538728903.566 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728903.566 * [misc]taylor: Taking taylor expansion of b in b 1538728903.566 * [misc]backup-simplify: Simplify 0 into 0 1538728903.566 * [misc]backup-simplify: Simplify 1 into 1 1538728903.566 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538728903.566 * [misc]backup-simplify: Simplify (+ (pow a 2) 0) into (pow a 2) 1538728903.566 * [misc]taylor: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in a 1538728903.566 * [misc]taylor: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 1538728903.566 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538728903.566 * [misc]taylor: Taking taylor expansion of a in a 1538728903.566 * [misc]backup-simplify: Simplify 0 into 0 1538728903.566 * [misc]backup-simplify: Simplify 1 into 1 1538728903.566 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538728903.566 * [misc]taylor: Taking taylor expansion of b in a 1538728903.566 * [misc]backup-simplify: Simplify b into b 1538728903.566 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538728903.567 * [misc]backup-simplify: Simplify (+ 0 (pow b 2)) into (pow b 2) 1538728903.567 * [misc]taylor: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in a 1538728903.567 * [misc]taylor: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 1538728903.567 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538728903.567 * [misc]taylor: Taking taylor expansion of a in a 1538728903.567 * [misc]backup-simplify: Simplify 0 into 0 1538728903.567 * [misc]backup-simplify: Simplify 1 into 1 1538728903.567 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538728903.567 * [misc]taylor: Taking taylor expansion of b in a 1538728903.567 * [misc]backup-simplify: Simplify b into b 1538728903.567 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538728903.567 * [misc]backup-simplify: Simplify (+ 0 (pow b 2)) into (pow b 2) 1538728903.567 * [misc]backup-simplify: Simplify (* (pow b 2) (pow b 2)) into (pow b 4) 1538728903.567 * [misc]taylor: Taking taylor expansion of (pow b 4) in b 1538728903.567 * [misc]taylor: Taking taylor expansion of b in b 1538728903.567 * [misc]backup-simplify: Simplify 0 into 0 1538728903.567 * [misc]backup-simplify: Simplify 1 into 1 1538728903.567 * [misc]backup-simplify: Simplify (+ (* b 0) (* 0 b)) into 0 1538728903.567 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538728903.567 * [misc]backup-simplify: Simplify (+ (* (pow b 2) 0) (* 0 (pow b 2))) into 0 1538728903.567 * [misc]taylor: Taking taylor expansion of 0 in b 1538728903.567 * [misc]backup-simplify: Simplify 0 into 0 1538728903.568 * [misc]backup-simplify: Simplify 0 into 0 1538728903.568 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728903.568 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 1538728903.568 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538728903.568 * [misc]backup-simplify: Simplify (+ (* (pow b 2) 1) (+ (* 0 0) (* 1 (pow b 2)))) into (* 2 (pow b 2)) 1538728903.568 * [misc]taylor: Taking taylor expansion of (* 2 (pow b 2)) in b 1538728903.568 * [misc]taylor: Taking taylor expansion of 2 in b 1538728903.568 * [misc]backup-simplify: Simplify 2 into 2 1538728903.568 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728903.568 * [misc]taylor: Taking taylor expansion of b in b 1538728903.568 * [misc]backup-simplify: Simplify 0 into 0 1538728903.568 * [misc]backup-simplify: Simplify 1 into 1 1538728903.568 * [misc]backup-simplify: Simplify 0 into 0 1538728903.568 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728903.569 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0 1538728903.569 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538728903.569 * [misc]backup-simplify: Simplify (+ (* (pow b 2) 0) (+ (* 0 1) (+ (* 1 0) (* 0 (pow b 2))))) into 0 1538728903.569 * [misc]taylor: Taking taylor expansion of 0 in b 1538728903.569 * [misc]backup-simplify: Simplify 0 into 0 1538728903.569 * [misc]backup-simplify: Simplify 0 into 0 1538728903.569 * [misc]backup-simplify: Simplify 0 into 0 1538728903.569 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728903.570 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0 1538728903.570 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538728903.570 * [misc]backup-simplify: Simplify (+ (* (pow b 2) 0) (+ (* 0 0) (+ (* 1 1) (+ (* 0 0) (* 0 (pow b 2)))))) into 1 1538728903.570 * [misc]taylor: Taking taylor expansion of 1 in b 1538728903.570 * [misc]backup-simplify: Simplify 1 into 1 1538728903.570 * [misc]backup-simplify: Simplify 1 into 1 1538728903.570 * [misc]backup-simplify: Simplify 0 into 0 1538728903.570 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728903.570 * [misc]backup-simplify: Simplify (* 2 1) into 2 1538728903.570 * [misc]backup-simplify: Simplify 2 into 2 1538728903.571 * [misc]backup-simplify: Simplify 0 into 0 1538728903.571 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728903.571 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728903.571 * [misc]backup-simplify: Simplify 1 into 1 1538728903.571 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* b 1) 4)) (+ (* 2 (pow (* b a) 2)) (* 1 (pow (* 1 a) 4)))) into (+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4))) 1538728903.572 * [misc]backup-simplify: Simplify (* (+ (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) (+ (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b)))) into (pow (+ (/ 1 (pow a 2)) (/ 1 (pow b 2))) 2) 1538728903.572 * [misc]approximate: Taking taylor expansion of (pow (+ (/ 1 (pow a 2)) (/ 1 (pow b 2))) 2) in (a b) around 0 1538728903.572 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 (pow a 2)) (/ 1 (pow b 2))) 2) in b 1538728903.572 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 1538728903.572 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 2)) in b 1538728903.572 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538728903.572 * [misc]taylor: Taking taylor expansion of a in b 1538728903.572 * [misc]backup-simplify: Simplify a into a 1538728903.572 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538728903.572 * [misc]backup-simplify: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1538728903.572 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 2)) in b 1538728903.572 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728903.572 * [misc]taylor: Taking taylor expansion of b in b 1538728903.572 * [misc]backup-simplify: Simplify 0 into 0 1538728903.572 * [misc]backup-simplify: Simplify 1 into 1 1538728903.572 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728903.572 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538728903.572 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538728903.572 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 (pow a 2)) (/ 1 (pow b 2))) 2) in a 1538728903.572 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 1538728903.573 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 2)) in a 1538728903.573 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538728903.573 * [misc]taylor: Taking taylor expansion of a in a 1538728903.573 * [misc]backup-simplify: Simplify 0 into 0 1538728903.573 * [misc]backup-simplify: Simplify 1 into 1 1538728903.573 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728903.573 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538728903.573 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 2)) in a 1538728903.573 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538728903.573 * [misc]taylor: Taking taylor expansion of b in a 1538728903.573 * [misc]backup-simplify: Simplify b into b 1538728903.573 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538728903.573 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1538728903.573 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538728903.573 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 (pow a 2)) (/ 1 (pow b 2))) 2) in a 1538728903.573 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 1538728903.573 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 2)) in a 1538728903.573 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538728903.573 * [misc]taylor: Taking taylor expansion of a in a 1538728903.573 * [misc]backup-simplify: Simplify 0 into 0 1538728903.573 * [misc]backup-simplify: Simplify 1 into 1 1538728903.573 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728903.573 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538728903.573 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 2)) in a 1538728903.573 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538728903.573 * [misc]taylor: Taking taylor expansion of b in a 1538728903.573 * [misc]backup-simplify: Simplify b into b 1538728903.574 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538728903.574 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1538728903.574 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538728903.574 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728903.574 * [misc]taylor: Taking taylor expansion of 1 in b 1538728903.574 * [misc]backup-simplify: Simplify 1 into 1 1538728903.574 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728903.574 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538728903.574 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538728903.574 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728903.574 * [misc]taylor: Taking taylor expansion of 0 in b 1538728903.574 * [misc]backup-simplify: Simplify 0 into 0 1538728903.575 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728903.575 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728903.575 * [misc]backup-simplify: Simplify (+ 0 (/ 1 (pow b 2))) into (/ 1 (pow b 2)) 1538728903.575 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 (pow b 2))) (+ (* 0 0) (* (/ 1 (pow b 2)) 1))) into (* 2 (/ 1 (pow b 2))) 1538728903.575 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 1538728903.575 * [misc]taylor: Taking taylor expansion of 2 in b 1538728903.575 * [misc]backup-simplify: Simplify 2 into 2 1538728903.575 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 2)) in b 1538728903.575 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728903.575 * [misc]taylor: Taking taylor expansion of b in b 1538728903.575 * [misc]backup-simplify: Simplify 0 into 0 1538728903.575 * [misc]backup-simplify: Simplify 1 into 1 1538728903.575 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728903.576 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538728903.576 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538728903.576 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728903.576 * [misc]backup-simplify: Simplify (+ (* b 0) (* 0 b)) into 0 1538728903.576 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0 1538728903.576 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538728903.577 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 (/ 1 (pow b 2))) (+ (* (/ 1 (pow b 2)) 0) (* 0 1)))) into 0 1538728903.577 * [misc]taylor: Taking taylor expansion of 0 in b 1538728903.577 * [misc]backup-simplify: Simplify 0 into 0 1538728903.577 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538728903.577 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728903.577 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 1538728903.578 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0 1538728903.578 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538728903.578 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* (/ 1 (pow b 2)) (/ 1 (pow b 2))) (+ (* 0 0) (* 0 1))))) into (/ 1 (pow b 4)) 1538728903.578 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 4)) in b 1538728903.578 * [misc]taylor: Taking taylor expansion of (pow b 4) in b 1538728903.578 * [misc]taylor: Taking taylor expansion of b in b 1538728903.578 * [misc]backup-simplify: Simplify 0 into 0 1538728903.578 * [misc]backup-simplify: Simplify 1 into 1 1538728903.578 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728903.578 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728903.578 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538728903.579 * [misc]backup-simplify: Simplify 1 into 1 1538728903.579 * [misc]backup-simplify: Simplify (* 2 1) into 2 1538728903.579 * [misc]backup-simplify: Simplify 2 into 2 1538728903.579 * [misc]backup-simplify: Simplify 1 into 1 1538728903.579 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 4)) (+ (* 2 (pow (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a))) 2)) (* 1 (pow (* (/ 1 (/ 1 b)) 1) 4)))) into (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) 1538728903.582 * [misc]backup-simplify: Simplify (* (+ (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) (+ (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b))))) into (pow (+ (/ 1 (pow a 2)) (/ 1 (pow b 2))) 2) 1538728903.582 * [misc]approximate: Taking taylor expansion of (pow (+ (/ 1 (pow a 2)) (/ 1 (pow b 2))) 2) in (a b) around 0 1538728903.582 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 (pow a 2)) (/ 1 (pow b 2))) 2) in b 1538728903.582 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 1538728903.582 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 2)) in b 1538728903.582 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538728903.582 * [misc]taylor: Taking taylor expansion of a in b 1538728903.582 * [misc]backup-simplify: Simplify a into a 1538728903.582 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538728903.582 * [misc]backup-simplify: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1538728903.582 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 2)) in b 1538728903.582 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728903.582 * [misc]taylor: Taking taylor expansion of b in b 1538728903.583 * [misc]backup-simplify: Simplify 0 into 0 1538728903.583 * [misc]backup-simplify: Simplify 1 into 1 1538728903.583 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728903.583 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538728903.583 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538728903.583 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 (pow a 2)) (/ 1 (pow b 2))) 2) in a 1538728903.583 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 1538728903.583 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 2)) in a 1538728903.583 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538728903.583 * [misc]taylor: Taking taylor expansion of a in a 1538728903.583 * [misc]backup-simplify: Simplify 0 into 0 1538728903.583 * [misc]backup-simplify: Simplify 1 into 1 1538728903.583 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728903.583 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538728903.583 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 2)) in a 1538728903.583 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538728903.583 * [misc]taylor: Taking taylor expansion of b in a 1538728903.583 * [misc]backup-simplify: Simplify b into b 1538728903.583 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538728903.583 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1538728903.584 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538728903.584 * [misc]taylor: Taking taylor expansion of (pow (+ (/ 1 (pow a 2)) (/ 1 (pow b 2))) 2) in a 1538728903.584 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 1538728903.584 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 2)) in a 1538728903.584 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538728903.584 * [misc]taylor: Taking taylor expansion of a in a 1538728903.584 * [misc]backup-simplify: Simplify 0 into 0 1538728903.584 * [misc]backup-simplify: Simplify 1 into 1 1538728903.584 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728903.584 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538728903.584 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 2)) in a 1538728903.584 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538728903.584 * [misc]taylor: Taking taylor expansion of b in a 1538728903.584 * [misc]backup-simplify: Simplify b into b 1538728903.584 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538728903.584 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1538728903.584 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538728903.584 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728903.584 * [misc]taylor: Taking taylor expansion of 1 in b 1538728903.584 * [misc]backup-simplify: Simplify 1 into 1 1538728903.585 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728903.585 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538728903.585 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538728903.585 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728903.585 * [misc]taylor: Taking taylor expansion of 0 in b 1538728903.585 * [misc]backup-simplify: Simplify 0 into 0 1538728903.585 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728903.585 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728903.585 * [misc]backup-simplify: Simplify (+ 0 (/ 1 (pow b 2))) into (/ 1 (pow b 2)) 1538728903.586 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 (pow b 2))) (+ (* 0 0) (* (/ 1 (pow b 2)) 1))) into (* 2 (/ 1 (pow b 2))) 1538728903.586 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 1538728903.586 * [misc]taylor: Taking taylor expansion of 2 in b 1538728903.586 * [misc]backup-simplify: Simplify 2 into 2 1538728903.586 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 2)) in b 1538728903.586 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728903.586 * [misc]taylor: Taking taylor expansion of b in b 1538728903.586 * [misc]backup-simplify: Simplify 0 into 0 1538728903.586 * [misc]backup-simplify: Simplify 1 into 1 1538728903.586 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728903.586 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538728903.586 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538728903.586 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728903.587 * [misc]backup-simplify: Simplify (+ (* b 0) (* 0 b)) into 0 1538728903.587 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0 1538728903.587 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538728903.587 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 (/ 1 (pow b 2))) (+ (* (/ 1 (pow b 2)) 0) (* 0 1)))) into 0 1538728903.587 * [misc]taylor: Taking taylor expansion of 0 in b 1538728903.587 * [misc]backup-simplify: Simplify 0 into 0 1538728903.587 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538728903.588 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728903.588 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 1538728903.588 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0 1538728903.588 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538728903.589 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* (/ 1 (pow b 2)) (/ 1 (pow b 2))) (+ (* 0 0) (* 0 1))))) into (/ 1 (pow b 4)) 1538728903.589 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 4)) in b 1538728903.589 * [misc]taylor: Taking taylor expansion of (pow b 4) in b 1538728903.589 * [misc]taylor: Taking taylor expansion of b in b 1538728903.589 * [misc]backup-simplify: Simplify 0 into 0 1538728903.589 * [misc]backup-simplify: Simplify 1 into 1 1538728903.589 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728903.589 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728903.589 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538728903.589 * [misc]backup-simplify: Simplify 1 into 1 1538728903.589 * [misc]backup-simplify: Simplify (* 2 1) into 2 1538728903.589 * [misc]backup-simplify: Simplify 2 into 2 1538728903.589 * [misc]backup-simplify: Simplify 1 into 1 1538728903.590 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 4)) (+ (* 2 (pow (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a)))) 2)) (* 1 (pow (* (/ 1 (/ 1 (- b))) 1) 4)))) into (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) 1538728903.590 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2 2) 1538728903.590 * [misc]backup-simplify: Simplify (* (* b b) 4) into (* 4 (pow b 2)) 1538728903.590 * [misc]approximate: Taking taylor expansion of (* 4 (pow b 2)) in (b) around 0 1538728903.590 * [misc]taylor: Taking taylor expansion of (* 4 (pow b 2)) in b 1538728903.590 * [misc]taylor: Taking taylor expansion of 4 in b 1538728903.590 * [misc]backup-simplify: Simplify 4 into 4 1538728903.590 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728903.590 * [misc]taylor: Taking taylor expansion of b in b 1538728903.590 * [misc]backup-simplify: Simplify 0 into 0 1538728903.590 * [misc]backup-simplify: Simplify 1 into 1 1538728903.590 * [misc]taylor: Taking taylor expansion of (* 4 (pow b 2)) in b 1538728903.590 * [misc]taylor: Taking taylor expansion of 4 in b 1538728903.590 * [misc]backup-simplify: Simplify 4 into 4 1538728903.590 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728903.590 * [misc]taylor: Taking taylor expansion of b in b 1538728903.590 * [misc]backup-simplify: Simplify 0 into 0 1538728903.590 * [misc]backup-simplify: Simplify 1 into 1 1538728903.591 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728903.591 * [misc]backup-simplify: Simplify (* 4 1) into 4 1538728903.591 * [misc]backup-simplify: Simplify 4 into 4 1538728903.591 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728903.591 * [misc]backup-simplify: Simplify (+ (* 4 0) (* 0 1)) into 0 1538728903.591 * [misc]backup-simplify: Simplify 0 into 0 1538728903.591 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728903.592 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0 1538728903.592 * [misc]backup-simplify: Simplify 0 into 0 1538728903.592 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538728903.592 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538728903.592 * [misc]backup-simplify: Simplify 0 into 0 1538728903.593 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538728903.593 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538728903.593 * [misc]backup-simplify: Simplify 0 into 0 1538728903.594 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538728903.594 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538728903.594 * [misc]backup-simplify: Simplify 0 into 0 1538728903.595 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538728903.595 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538728903.595 * [misc]backup-simplify: Simplify 0 into 0 1538728903.596 * [misc]backup-simplify: Simplify (* 4 (pow b 2)) into (* 4 (pow b 2)) 1538728903.596 * [misc]backup-simplify: Simplify (* (* (/ 1 b) (/ 1 b)) 4) into (/ 4 (pow b 2)) 1538728903.596 * [misc]approximate: Taking taylor expansion of (/ 4 (pow b 2)) in (b) around 0 1538728903.596 * [misc]taylor: Taking taylor expansion of (/ 4 (pow b 2)) in b 1538728903.596 * [misc]taylor: Taking taylor expansion of 4 in b 1538728903.596 * [misc]backup-simplify: Simplify 4 into 4 1538728903.596 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728903.596 * [misc]taylor: Taking taylor expansion of b in b 1538728903.596 * [misc]backup-simplify: Simplify 0 into 0 1538728903.596 * [misc]backup-simplify: Simplify 1 into 1 1538728903.596 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728903.596 * [misc]backup-simplify: Simplify (/ 4 1) into 4 1538728903.596 * [misc]taylor: Taking taylor expansion of (/ 4 (pow b 2)) in b 1538728903.596 * [misc]taylor: Taking taylor expansion of 4 in b 1538728903.596 * [misc]backup-simplify: Simplify 4 into 4 1538728903.597 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728903.597 * [misc]taylor: Taking taylor expansion of b in b 1538728903.597 * [misc]backup-simplify: Simplify 0 into 0 1538728903.597 * [misc]backup-simplify: Simplify 1 into 1 1538728903.597 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728903.597 * [misc]backup-simplify: Simplify (/ 4 1) into 4 1538728903.597 * [misc]backup-simplify: Simplify 4 into 4 1538728903.597 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728903.598 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)))) into 0 1538728903.598 * [misc]backup-simplify: Simplify 0 into 0 1538728903.598 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728903.598 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728903.598 * [misc]backup-simplify: Simplify 0 into 0 1538728903.599 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538728903.599 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728903.599 * [misc]backup-simplify: Simplify 0 into 0 1538728903.599 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538728903.600 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728903.600 * [misc]backup-simplify: Simplify 0 into 0 1538728903.600 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538728903.601 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728903.601 * [misc]backup-simplify: Simplify 0 into 0 1538728903.601 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538728903.602 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728903.602 * [misc]backup-simplify: Simplify 0 into 0 1538728903.603 * [misc]backup-simplify: Simplify (* 4 (pow (/ 1 (/ 1 b)) 2)) into (* 4 (pow b 2)) 1538728903.603 * [misc]backup-simplify: Simplify (* (* (/ 1 (- b)) (/ 1 (- b))) 4) into (/ 4 (pow b 2)) 1538728903.603 * [misc]approximate: Taking taylor expansion of (/ 4 (pow b 2)) in (b) around 0 1538728903.603 * [misc]taylor: Taking taylor expansion of (/ 4 (pow b 2)) in b 1538728903.603 * [misc]taylor: Taking taylor expansion of 4 in b 1538728903.603 * [misc]backup-simplify: Simplify 4 into 4 1538728903.603 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728903.603 * [misc]taylor: Taking taylor expansion of b in b 1538728903.603 * [misc]backup-simplify: Simplify 0 into 0 1538728903.603 * [misc]backup-simplify: Simplify 1 into 1 1538728903.604 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728903.604 * [misc]backup-simplify: Simplify (/ 4 1) into 4 1538728903.604 * [misc]taylor: Taking taylor expansion of (/ 4 (pow b 2)) in b 1538728903.604 * [misc]taylor: Taking taylor expansion of 4 in b 1538728903.604 * [misc]backup-simplify: Simplify 4 into 4 1538728903.604 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728903.604 * [misc]taylor: Taking taylor expansion of b in b 1538728903.604 * [misc]backup-simplify: Simplify 0 into 0 1538728903.604 * [misc]backup-simplify: Simplify 1 into 1 1538728903.604 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728903.604 * [misc]backup-simplify: Simplify (/ 4 1) into 4 1538728903.604 * [misc]backup-simplify: Simplify 4 into 4 1538728903.605 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728903.605 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)))) into 0 1538728903.605 * [misc]backup-simplify: Simplify 0 into 0 1538728903.605 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728903.605 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728903.606 * [misc]backup-simplify: Simplify 0 into 0 1538728903.606 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538728903.606 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728903.606 * [misc]backup-simplify: Simplify 0 into 0 1538728903.607 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538728903.607 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728903.607 * [misc]backup-simplify: Simplify 0 into 0 1538728903.608 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538728903.608 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728903.608 * [misc]backup-simplify: Simplify 0 into 0 1538728903.609 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538728903.609 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728903.609 * [misc]backup-simplify: Simplify 0 into 0 1538728903.610 * [misc]backup-simplify: Simplify (* 4 (pow (/ 1 (/ 1 (- b))) 2)) into (* 4 (pow b 2)) 1538728903.610 * * * [misc]progress: simplifying candidates 1538728903.610 * * * * [misc]progress: [ 1 / 45 ] simplifiying candidate # 1538728903.610 * [enter]simplify: Simplifying (+ (* a a) (* b b)) 1538728903.611 * * [misc]simplify: iters left: 4 (5 enodes) 1538728903.613 * * [misc]simplify: iters left: 3 (6 enodes) 1538728903.615 * [exit]simplify: Simplified to (+ (* a a) (* b b)) 1538728903.615 * [misc]simplify: Simplified (2 1 1) to (λ (a b) (- (pow (+ (* a a) (* b b)) (+ 1 1)) (- 1 (* (* b b) 4)))) 1538728903.616 * [enter]simplify: Simplifying (+ 1 1) 1538728903.616 * * [misc]simplify: iters left: 2 (2 enodes) 1538728903.617 * * [misc]simplify: iters left: 1 (5 enodes) 1538728903.618 * [exit]simplify: Simplified to 2 1538728903.618 * [misc]simplify: Simplified (2 1 2) to (λ (a b) (- (pow (+ (* a a) (* b b)) 2) (- 1 (* (* b b) 4)))) 1538728903.618 * * * * [misc]progress: [ 2 / 45 ] simplifiying candidate # 1538728903.619 * [enter]simplify: Simplifying (* (+ (* a a) (* b b)) (+ (* a a) (* b b))) 1538728903.619 * * [misc]simplify: iters left: 6 (6 enodes) 1538728903.621 * * [misc]simplify: iters left: 5 (13 enodes) 1538728903.626 * * [misc]simplify: iters left: 4 (35 enodes) 1538728903.638 * * [misc]simplify: iters left: 3 (87 enodes) 1538728903.663 * * [misc]simplify: iters left: 2 (139 enodes) 1538728903.707 * * [misc]simplify: iters left: 1 (208 enodes) 1538728903.779 * [exit]simplify: Simplified to (* (+ (* a a) (* b b)) (+ (* a a) (* b b))) 1538728903.779 * [misc]simplify: Simplified (2 1 1) to (λ (a b) (- (pow (* (+ (* a a) (* b b)) (+ (* a a) (* b b))) 1) (- 1 (* (* b b) 4)))) 1538728903.780 * * * * [misc]progress: [ 3 / 45 ] simplifiying candidate # 1538728903.780 * * * * [misc]progress: [ 4 / 45 ] simplifiying candidate # 1538728903.780 * [enter]simplify: Simplifying (+ (* a a) (* b b)) 1538728903.780 * * [misc]simplify: iters left: 4 (5 enodes) 1538728903.781 * * [misc]simplify: iters left: 3 (6 enodes) 1538728903.782 * [exit]simplify: Simplified to (+ (* a a) (* b b)) 1538728903.782 * [misc]simplify: Simplified (2 1 1) to (λ (a b) (- (pow (+ (* a a) (* b b)) (+ 1 1)) (- 1 (* (* b b) 4)))) 1538728903.782 * * * * [misc]progress: [ 5 / 45 ] simplifiying candidate # 1538728903.782 * * * * [misc]progress: [ 6 / 45 ] simplifiying candidate # 1538728903.783 * [enter]simplify: Simplifying (+ (log (+ (* a a) (* b b))) (log (+ (* a a) (* b b)))) 1538728903.783 * * [misc]simplify: iters left: 6 (7 enodes) 1538728903.784 * * [misc]simplify: iters left: 5 (8 enodes) 1538728903.786 * [exit]simplify: Simplified to (+ (log (+ (* a a) (* b b))) (log (+ (* a a) (* b b)))) 1538728903.786 * [misc]simplify: Simplified (2 1 1) to (λ (a b) (- (exp (+ (log (+ (* a a) (* b b))) (log (+ (* a a) (* b b))))) (- 1 (* (* b b) 4)))) 1538728903.786 * * * * [misc]progress: [ 7 / 45 ] simplifiying candidate # 1538728903.786 * * * * [misc]progress: [ 8 / 45 ] simplifiying candidate # 1538728903.786 * * * * [misc]progress: [ 9 / 45 ] simplifiying candidate # 1538728903.786 * [enter]simplify: Simplifying (* (* (* (+ (* a a) (* b b)) (+ (* a a) (* b b))) (+ (* a a) (* b b))) (* (* (+ (* a a) (* b b)) (+ (* a a) (* b b))) (+ (* a a) (* b b)))) 1538728903.787 * * [misc]simplify: iters left: 6 (8 enodes) 1538728903.790 * * [misc]simplify: iters left: 5 (26 enodes) 1538728903.809 * * [misc]simplify: iters left: 4 (146 enodes) 1538728903.964 * [exit]simplify: Simplified to (pow (* (+ (* a a) (* b b)) (+ (* a a) (* b b))) 3) 1538728903.964 * [misc]simplify: Simplified (2 1 1) to (λ (a b) (- (cbrt (pow (* (+ (* a a) (* b b)) (+ (* a a) (* b b))) 3)) (- 1 (* (* b b) 4)))) 1538728903.964 * * * * [misc]progress: [ 10 / 45 ] simplifiying candidate # 1538728903.964 * * * * [misc]progress: [ 11 / 45 ] simplifiying candidate # 1538728903.964 * * * * [misc]progress: [ 12 / 45 ] simplifiying candidate # 1538728903.964 * * * * [misc]progress: [ 13 / 45 ] simplifiying candidate # 1538728903.964 * [enter]simplify: Simplifying (* (+ (pow (* a a) 3) (pow (* b b) 3)) (+ (pow (* a a) 3) (pow (* b b) 3))) 1538728903.965 * * [misc]simplify: iters left: 6 (9 enodes) 1538728903.971 * * [misc]simplify: iters left: 5 (26 enodes) 1538728903.981 * * [misc]simplify: iters left: 4 (80 enodes) 1538728904.029 * * [misc]simplify: iters left: 3 (284 enodes) 1538728904.344 * [exit]simplify: Simplified to (* (+ (* (pow a 3) (pow a 3)) (* (pow b 5) b)) (+ (* (pow a 3) (pow a 3)) (* (pow b 5) b))) 1538728904.344 * [misc]simplify: Simplified (2 1 1) to (λ (a b) (- (/ (* (+ (* (pow a 3) (pow a 3)) (* (pow b 5) b)) (+ (* (pow a 3) (pow a 3)) (* (pow b 5) b))) (* (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b)))) (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b)))))) (- 1 (* (* b b) 4)))) 1538728904.345 * [enter]simplify: Simplifying (* (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b)))) (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b))))) 1538728904.346 * * [misc]simplify: iters left: 6 (10 enodes) 1538728904.350 * * [misc]simplify: iters left: 5 (36 enodes) 1538728904.367 * * [misc]simplify: iters left: 4 (112 enodes) 1538728904.433 * * [misc]simplify: iters left: 3 (477 enodes) 1538728905.086 * [exit]simplify: Simplified to (* (- (+ (pow b 4) (pow a 4)) (* (* b a) (* b a))) (- (+ (pow b 4) (pow a 4)) (* (* b a) (* b a)))) 1538728905.086 * [misc]simplify: Simplified (2 1 2) to (λ (a b) (- (/ (* (+ (pow (* a a) 3) (pow (* b b) 3)) (+ (pow (* a a) 3) (pow (* b b) 3))) (* (- (+ (pow b 4) (pow a 4)) (* (* b a) (* b a))) (- (+ (pow b 4) (pow a 4)) (* (* b a) (* b a))))) (- 1 (* (* b b) 4)))) 1538728905.086 * * * * [misc]progress: [ 14 / 45 ] simplifiying candidate # 1538728905.086 * [enter]simplify: Simplifying (* (+ (pow (* a a) 3) (pow (* b b) 3)) (- (* (* a a) (* a a)) (* (* b b) (* b b)))) 1538728905.088 * * [misc]simplify: iters left: 6 (12 enodes) 1538728905.092 * * [misc]simplify: iters left: 5 (35 enodes) 1538728905.103 * * [misc]simplify: iters left: 4 (84 enodes) 1538728905.138 * * [misc]simplify: iters left: 3 (259 enodes) 1538728905.502 * [exit]simplify: Simplified to (* (+ (* a (pow a 5)) (* b (pow b 5))) (- (pow a 4) (pow b 4))) 1538728905.502 * [misc]simplify: Simplified (2 1 1) to (λ (a b) (- (/ (* (+ (* a (pow a 5)) (* b (pow b 5))) (- (pow a 4) (pow b 4))) (* (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b)))) (- (* a a) (* b b)))) (- 1 (* (* b b) 4)))) 1538728905.502 * [enter]simplify: Simplifying (* (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b)))) (- (* a a) (* b b))) 1538728905.503 * * [misc]simplify: iters left: 6 (11 enodes) 1538728905.508 * * [misc]simplify: iters left: 5 (37 enodes) 1538728905.522 * * [misc]simplify: iters left: 4 (99 enodes) 1538728905.571 * * [misc]simplify: iters left: 3 (318 enodes) 1538728906.065 * [exit]simplify: Simplified to (* (- (* a a) (* b b)) (- (+ (pow b 4) (pow a 4)) (* (* b a) (* b a)))) 1538728906.065 * [misc]simplify: Simplified (2 1 2) to (λ (a b) (- (/ (* (+ (* a (pow a 5)) (* b (pow b 5))) (- (pow a 4) (pow b 4))) (* (- (* a a) (* b b)) (- (+ (pow b 4) (pow a 4)) (* (* b a) (* b a))))) (- 1 (* (* b b) 4)))) 1538728906.065 * * * * [misc]progress: [ 15 / 45 ] simplifiying candidate # 1538728906.065 * [enter]simplify: Simplifying (* (- (* (* a a) (* a a)) (* (* b b) (* b b))) (+ (pow (* a a) 3) (pow (* b b) 3))) 1538728906.067 * * [misc]simplify: iters left: 6 (12 enodes) 1538728906.076 * * [misc]simplify: iters left: 5 (41 enodes) 1538728906.105 * * [misc]simplify: iters left: 4 (122 enodes) 1538728906.274 * [exit]simplify: Simplified to (* (+ (* (pow a 3) (pow a 3)) (pow (* b b) 3)) (- (pow a 4) (pow b 4))) 1538728906.274 * [misc]simplify: Simplified (2 1 1) to (λ (a b) (- (/ (* (+ (* (pow a 3) (pow a 3)) (pow (* b b) 3)) (- (pow a 4) (pow b 4))) (* (- (* a a) (* b b)) (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b)))))) (- 1 (* (* b b) 4)))) 1538728906.274 * [enter]simplify: Simplifying (* (- (* a a) (* b b)) (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b))))) 1538728906.275 * * [misc]simplify: iters left: 6 (11 enodes) 1538728906.285 * * [misc]simplify: iters left: 5 (43 enodes) 1538728906.306 * * [misc]simplify: iters left: 4 (139 enodes) 1538728906.484 * [exit]simplify: Simplified to (* (- (* a a) (* b b)) (- (+ (pow a 4) (pow b 4)) (* (* a b) (* a b)))) 1538728906.484 * [misc]simplify: Simplified (2 1 2) to (λ (a b) (- (/ (* (+ (* (pow a 3) (pow a 3)) (pow (* b b) 3)) (- (pow a 4) (pow b 4))) (* (- (* a a) (* b b)) (- (+ (pow a 4) (pow b 4)) (* (* a b) (* a b))))) (- 1 (* (* b b) 4)))) 1538728906.484 * * * * [misc]progress: [ 16 / 45 ] simplifiying candidate # 1538728906.484 * [enter]simplify: Simplifying (* (- (* (* a a) (* a a)) (* (* b b) (* b b))) (- (* (* a a) (* a a)) (* (* b b) (* b b)))) 1538728906.485 * * [misc]simplify: iters left: 6 (8 enodes) 1538728906.491 * * [misc]simplify: iters left: 5 (21 enodes) 1538728906.502 * * [misc]simplify: iters left: 4 (51 enodes) 1538728906.526 * * [misc]simplify: iters left: 3 (176 enodes) 1538728906.809 * [exit]simplify: Simplified to (* (- (pow a 4) (pow b 4)) (- (pow a 4) (pow b 4))) 1538728906.809 * [misc]simplify: Simplified (2 1 1) to (λ (a b) (- (/ (* (- (pow a 4) (pow b 4)) (- (pow a 4) (pow b 4))) (* (- (* a a) (* b b)) (- (* a a) (* b b)))) (- 1 (* (* b b) 4)))) 1538728906.810 * [enter]simplify: Simplifying (* (- (* a a) (* b b)) (- (* a a) (* b b))) 1538728906.811 * * [misc]simplify: iters left: 6 (6 enodes) 1538728906.813 * * [misc]simplify: iters left: 5 (11 enodes) 1538728906.819 * * [misc]simplify: iters left: 4 (28 enodes) 1538728906.846 * * [misc]simplify: iters left: 3 (111 enodes) 1538728907.060 * [exit]simplify: Simplified to (* (- (* a a) (* b b)) (- (* a a) (* b b))) 1538728907.060 * [misc]simplify: Simplified (2 1 2) to (λ (a b) (- (/ (* (- (pow a 4) (pow b 4)) (- (pow a 4) (pow b 4))) (* (- (* a a) (* b b)) (- (* a a) (* b b)))) (- 1 (* (* b b) 4)))) 1538728907.060 * * * * [misc]progress: [ 17 / 45 ] simplifiying candidate # 1538728907.061 * * * * [misc]progress: [ 18 / 45 ] simplifiying candidate # 1538728907.061 * [enter]simplify: Simplifying (* (+ (* a a) (* b b)) (* b b)) 1538728907.062 * * [misc]simplify: iters left: 6 (6 enodes) 1538728907.064 * * [misc]simplify: iters left: 5 (10 enodes) 1538728907.069 * * [misc]simplify: iters left: 4 (19 enodes) 1538728907.078 * * [misc]simplify: iters left: 3 (35 enodes) 1538728907.090 * * [misc]simplify: iters left: 2 (45 enodes) 1538728907.097 * * [misc]simplify: iters left: 1 (49 enodes) 1538728907.104 * [exit]simplify: Simplified to (* (* b b) (+ (* a a) (* b b))) 1538728907.104 * [misc]simplify: Simplified (2 1 2) to (λ (a b) (- (+ (* (+ (* a a) (* b b)) (* a a)) (* (* b b) (+ (* a a) (* b b)))) (- 1 (* (* b b) 4)))) 1538728907.104 * * * * [misc]progress: [ 19 / 45 ] simplifiying candidate # 1538728907.104 * [enter]simplify: Simplifying (* (* b b) (+ (* a a) (* b b))) 1538728907.105 * * [misc]simplify: iters left: 6 (6 enodes) 1538728907.107 * * [misc]simplify: iters left: 5 (15 enodes) 1538728907.112 * * [misc]simplify: iters left: 4 (35 enodes) 1538728907.120 * * [misc]simplify: iters left: 3 (53 enodes) 1538728907.129 * * [misc]simplify: iters left: 2 (59 enodes) 1538728907.137 * * [misc]simplify: iters left: 1 (61 enodes) 1538728907.153 * [exit]simplify: Simplified to (* (* b b) (+ (* b b) (* a a))) 1538728907.153 * [misc]simplify: Simplified (2 1 2) to (λ (a b) (- (+ (* (* a a) (+ (* a a) (* b b))) (* (* b b) (+ (* b b) (* a a)))) (- 1 (* (* b b) 4)))) 1538728907.153 * * * * [misc]progress: [ 20 / 45 ] simplifiying candidate # 1538728907.154 * [enter]simplify: Simplifying (cbrt (+ (* a a) (* b b))) 1538728907.155 * * [misc]simplify: iters left: 5 (6 enodes) 1538728907.157 * * [misc]simplify: iters left: 4 (7 enodes) 1538728907.160 * [exit]simplify: Simplified to (cbrt (+ (* a a) (* b b))) 1538728907.160 * [misc]simplify: Simplified (2 1 2) to (λ (a b) (- (* (* (+ (* a a) (* b b)) (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b))))) (cbrt (+ (* a a) (* b b)))) (- 1 (* (* b b) 4)))) 1538728907.160 * * * * [misc]progress: [ 21 / 45 ] simplifiying candidate # 1538728907.160 * [enter]simplify: Simplifying (sqrt (+ (* a a) (* b b))) 1538728907.161 * * [misc]simplify: iters left: 5 (6 enodes) 1538728907.163 * * [misc]simplify: iters left: 4 (7 enodes) 1538728907.166 * [exit]simplify: Simplified to (sqrt (+ (* a a) (* b b))) 1538728907.166 * [misc]simplify: Simplified (2 1 2) to (λ (a b) (- (* (* (+ (* a a) (* b b)) (sqrt (+ (* a a) (* b b)))) (sqrt (+ (* a a) (* b b)))) (- 1 (* (* b b) 4)))) 1538728907.166 * * * * [misc]progress: [ 22 / 45 ] simplifiying candidate # 1538728907.167 * [enter]simplify: Simplifying (+ (* a a) (* b b)) 1538728907.167 * * [misc]simplify: iters left: 4 (5 enodes) 1538728907.169 * * [misc]simplify: iters left: 3 (6 enodes) 1538728907.172 * [exit]simplify: Simplified to (+ (* a a) (* b b)) 1538728907.172 * [misc]simplify: Simplified (2 1 2) to (λ (a b) (- (* (* (+ (* a a) (* b b)) 1) (+ (* a a) (* b b))) (- 1 (* (* b b) 4)))) 1538728907.172 * * * * [misc]progress: [ 23 / 45 ] simplifiying candidate # 1538728907.172 * [enter]simplify: Simplifying (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) 1538728907.173 * * [misc]simplify: iters left: 6 (7 enodes) 1538728907.175 * * [misc]simplify: iters left: 5 (8 enodes) 1538728907.179 * [exit]simplify: Simplified to (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) 1538728907.179 * [misc]simplify: Simplified (2 1 1) to (λ (a b) (- (* (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) (* (cbrt (+ (* a a) (* b b))) (+ (* a a) (* b b)))) (- 1 (* (* b b) 4)))) 1538728907.179 * * * * [misc]progress: [ 24 / 45 ] simplifiying candidate # 1538728907.179 * [enter]simplify: Simplifying (sqrt (+ (* a a) (* b b))) 1538728907.180 * * [misc]simplify: iters left: 5 (6 enodes) 1538728907.182 * * [misc]simplify: iters left: 4 (7 enodes) 1538728907.185 * [exit]simplify: Simplified to (sqrt (+ (* a a) (* b b))) 1538728907.185 * [misc]simplify: Simplified (2 1 1) to (λ (a b) (- (* (sqrt (+ (* a a) (* b b))) (* (sqrt (+ (* a a) (* b b))) (+ (* a a) (* b b)))) (- 1 (* (* b b) 4)))) 1538728907.185 * * * * [misc]progress: [ 25 / 45 ] simplifiying candidate # 1538728907.185 * * * * [misc]progress: [ 26 / 45 ] simplifiying candidate # 1538728907.186 * [enter]simplify: Simplifying (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b)))) 1538728907.187 * * [misc]simplify: iters left: 6 (9 enodes) 1538728907.194 * * [misc]simplify: iters left: 5 (29 enodes) 1538728907.211 * * [misc]simplify: iters left: 4 (69 enodes) 1538728907.250 * * [misc]simplify: iters left: 3 (134 enodes) 1538728907.327 * * [misc]simplify: iters left: 2 (231 enodes) 1538728907.467 * [exit]simplify: Simplified to (- (+ (pow b 4) (pow a 4)) (* (* b a) (* b a))) 1538728907.467 * [misc]simplify: Simplified (2 1 2) to (λ (a b) (- (/ (* (+ (* a a) (* b b)) (+ (pow (* a a) 3) (pow (* b b) 3))) (- (+ (pow b 4) (pow a 4)) (* (* b a) (* b a)))) (- 1 (* (* b b) 4)))) 1538728907.467 * * * * [misc]progress: [ 27 / 45 ] simplifiying candidate # 1538728907.468 * [enter]simplify: Simplifying (- (* a a) (* b b)) 1538728907.470 * * [misc]simplify: iters left: 4 (5 enodes) 1538728907.472 * * [misc]simplify: iters left: 3 (10 enodes) 1538728907.474 * * [misc]simplify: iters left: 2 (17 enodes) 1538728907.478 * * [misc]simplify: iters left: 1 (32 enodes) 1538728907.488 * [exit]simplify: Simplified to (* (+ a b) (- a b)) 1538728907.488 * [misc]simplify: Simplified (2 1 2) to (λ (a b) (- (/ (* (+ (* a a) (* b b)) (- (* (* a a) (* a a)) (* (* b b) (* b b)))) (* (+ a b) (- a b))) (- 1 (* (* b b) 4)))) 1538728907.488 * * * * [misc]progress: [ 28 / 45 ] simplifiying candidate # 1538728907.488 * [enter]simplify: Simplifying (* (+ (pow (* a a) 3) (pow (* b b) 3)) (+ (* a a) (* b b))) 1538728907.489 * * [misc]simplify: iters left: 6 (10 enodes) 1538728907.492 * * [misc]simplify: iters left: 5 (29 enodes) 1538728907.503 * * [misc]simplify: iters left: 4 (79 enodes) 1538728907.536 * * [misc]simplify: iters left: 3 (236 enodes) 1538728907.716 * [exit]simplify: Simplified to (* (+ (* (pow a 3) (pow a 3)) (* (pow b 5) b)) (+ (* a a) (* b b))) 1538728907.716 * [misc]simplify: Simplified (2 1 1) to (λ (a b) (- (/ (* (+ (* (pow a 3) (pow a 3)) (* (pow b 5) b)) (+ (* a a) (* b b))) (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b))))) (- 1 (* (* b b) 4)))) 1538728907.716 * * * * [misc]progress: [ 29 / 45 ] simplifiying candidate # 1538728907.716 * [enter]simplify: Simplifying (* (- (* (* a a) (* a a)) (* (* b b) (* b b))) (+ (* a a) (* b b))) 1538728907.718 * * [misc]simplify: iters left: 6 (9 enodes) 1538728907.724 * * [misc]simplify: iters left: 5 (29 enodes) 1538728907.748 * * [misc]simplify: iters left: 4 (87 enodes) 1538728907.793 * * [misc]simplify: iters left: 3 (310 enodes) 1538728908.086 * [exit]simplify: Simplified to (* (+ (* a a) (* b b)) (- (pow a 4) (pow b 4))) 1538728908.086 * [misc]simplify: Simplified (2 1 1) to (λ (a b) (- (/ (* (+ (* a a) (* b b)) (- (pow a 4) (pow b 4))) (- (* a a) (* b b))) (- 1 (* (* b b) 4)))) 1538728908.086 * * * * [misc]progress: [ 30 / 45 ] simplifiying candidate # 1538728908.086 * * * * [misc]progress: [ 31 / 45 ] simplifiying candidate # 1538728908.086 * * * * [misc]progress: [ 32 / 45 ] simplifiying candidate # 1538728908.086 * * * * [misc]progress: [ 33 / 45 ] simplifiying candidate # 1538728908.086 * * * * [misc]progress: [ 34 / 45 ] simplifiying candidate # 1538728908.086 * * * * [misc]progress: [ 35 / 45 ] simplifiying candidate # 1538728908.086 * * * * [misc]progress: [ 36 / 45 ] simplifiying candidate # 1538728908.086 * * * * [misc]progress: [ 37 / 45 ] simplifiying candidate # 1538728908.086 * * * * [misc]progress: [ 38 / 45 ] simplifiying candidate # 1538728908.086 * * * * [misc]progress: [ 39 / 45 ] simplifiying candidate # 1538728908.086 * * * * [misc]progress: [ 40 / 45 ] simplifiying candidate # 1538728908.086 * [enter]simplify: Simplifying (+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4))) 1538728908.087 * * [misc]simplify: iters left: 6 (12 enodes) 1538728908.090 * * [misc]simplify: iters left: 5 (22 enodes) 1538728908.096 * * [misc]simplify: iters left: 4 (46 enodes) 1538728908.107 * * [misc]simplify: iters left: 3 (76 enodes) 1538728908.125 * * [misc]simplify: iters left: 2 (110 enodes) 1538728908.145 * * [misc]simplify: iters left: 1 (130 enodes) 1538728908.187 * [exit]simplify: Simplified to (+ (* 2 (* (* a b) (* a b))) (+ (pow a 4) (pow b 4))) 1538728908.187 * [misc]simplify: Simplified (2 1) to (λ (a b) (- (+ (* 2 (* (* a b) (* a b))) (+ (pow a 4) (pow b 4))) (- 1 (* (* b b) 4)))) 1538728908.187 * * * * [misc]progress: [ 41 / 45 ] simplifiying candidate # 1538728908.187 * [enter]simplify: Simplifying (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) 1538728908.189 * * [misc]simplify: iters left: 6 (12 enodes) 1538728908.193 * * [misc]simplify: iters left: 5 (22 enodes) 1538728908.199 * * [misc]simplify: iters left: 4 (46 enodes) 1538728908.210 * * [misc]simplify: iters left: 3 (76 enodes) 1538728908.231 * * [misc]simplify: iters left: 2 (108 enodes) 1538728908.269 * * [misc]simplify: iters left: 1 (128 enodes) 1538728908.295 * [exit]simplify: Simplified to (+ (+ (pow b 4) (pow a 4)) (* (* a b) (* 2 (* a b)))) 1538728908.295 * [misc]simplify: Simplified (2 1) to (λ (a b) (- (+ (+ (pow b 4) (pow a 4)) (* (* a b) (* 2 (* a b)))) (- 1 (* (* b b) 4)))) 1538728908.295 * * * * [misc]progress: [ 42 / 45 ] simplifiying candidate # 1538728908.295 * [enter]simplify: Simplifying (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) 1538728908.296 * * [misc]simplify: iters left: 6 (12 enodes) 1538728908.299 * * [misc]simplify: iters left: 5 (22 enodes) 1538728908.305 * * [misc]simplify: iters left: 4 (46 enodes) 1538728908.316 * * [misc]simplify: iters left: 3 (76 enodes) 1538728908.335 * * [misc]simplify: iters left: 2 (108 enodes) 1538728908.365 * * [misc]simplify: iters left: 1 (128 enodes) 1538728908.415 * [exit]simplify: Simplified to (+ (+ (pow b 4) (pow a 4)) (* (* a b) (* 2 (* a b)))) 1538728908.415 * [misc]simplify: Simplified (2 1) to (λ (a b) (- (+ (+ (pow b 4) (pow a 4)) (* (* a b) (* 2 (* a b)))) (- 1 (* (* b b) 4)))) 1538728908.415 * * * * [misc]progress: [ 43 / 45 ] simplifiying candidate # 1538728908.415 * [enter]simplify: Simplifying (* 4 (pow b 2)) 1538728908.415 * * [misc]simplify: iters left: 3 (5 enodes) 1538728908.417 * * [misc]simplify: iters left: 2 (7 enodes) 1538728908.420 * * [misc]simplify: iters left: 1 (11 enodes) 1538728908.425 * [exit]simplify: Simplified to (* (* b b) 4) 1538728908.425 * [misc]simplify: Simplified (2 2 2) to (λ (a b) (- (* (+ (* a a) (* b b)) (+ (* a a) (* b b))) (- 1 (* (* b b) 4)))) 1538728908.425 * * * * [misc]progress: [ 44 / 45 ] simplifiying candidate # 1538728908.425 * [enter]simplify: Simplifying (* 4 (pow b 2)) 1538728908.425 * * [misc]simplify: iters left: 3 (5 enodes) 1538728908.427 * * [misc]simplify: iters left: 2 (7 enodes) 1538728908.430 * * [misc]simplify: iters left: 1 (11 enodes) 1538728908.434 * [exit]simplify: Simplified to (* (* b b) 4) 1538728908.434 * [misc]simplify: Simplified (2 2 2) to (λ (a b) (- (* (+ (* a a) (* b b)) (+ (* a a) (* b b))) (- 1 (* (* b b) 4)))) 1538728908.434 * * * * [misc]progress: [ 45 / 45 ] simplifiying candidate # 1538728908.434 * [enter]simplify: Simplifying (* 4 (pow b 2)) 1538728908.435 * * [misc]simplify: iters left: 3 (5 enodes) 1538728908.437 * * [misc]simplify: iters left: 2 (7 enodes) 1538728908.441 * * [misc]simplify: iters left: 1 (11 enodes) 1538728908.446 * [exit]simplify: Simplified to (* (* b b) 4) 1538728908.446 * [misc]simplify: Simplified (2 2 2) to (λ (a b) (- (* (+ (* a a) (* b b)) (+ (* a a) (* b b))) (- 1 (* (* b b) 4)))) 1538728908.446 * * * [misc]progress: adding candidates to table 1538728909.323 * * [misc]progress: iteration 2 / 4 1538728909.323 * * * [misc]progress: picking best candidate 1538728909.331 * * * * [misc]pick: Picked # 1538728909.331 * * * [misc]progress: localizing error 1538728909.363 * * * [misc]progress: generating rewritten candidates 1538728909.363 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 2 2 2) 1538728909.386 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 2) 1538728909.396 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2 2) 1538728909.481 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1538728909.619 * * * [misc]progress: generating series expansions 1538728909.619 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 2 2 2) 1538728909.620 * [misc]backup-simplify: Simplify (* (pow a 2) (pow b 2)) into (* (pow a 2) (pow b 2)) 1538728909.620 * [misc]approximate: Taking taylor expansion of (* (pow a 2) (pow b 2)) in (a b) around 0 1538728909.620 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 1538728909.620 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538728909.620 * [misc]taylor: Taking taylor expansion of a in b 1538728909.620 * [misc]backup-simplify: Simplify a into a 1538728909.620 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728909.620 * [misc]taylor: Taking taylor expansion of b in b 1538728909.620 * [misc]backup-simplify: Simplify 0 into 0 1538728909.620 * [misc]backup-simplify: Simplify 1 into 1 1538728909.620 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 1538728909.620 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538728909.620 * [misc]taylor: Taking taylor expansion of a in a 1538728909.620 * [misc]backup-simplify: Simplify 0 into 0 1538728909.620 * [misc]backup-simplify: Simplify 1 into 1 1538728909.620 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538728909.620 * [misc]taylor: Taking taylor expansion of b in a 1538728909.620 * [misc]backup-simplify: Simplify b into b 1538728909.620 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 1538728909.620 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538728909.620 * [misc]taylor: Taking taylor expansion of a in a 1538728909.620 * [misc]backup-simplify: Simplify 0 into 0 1538728909.620 * [misc]backup-simplify: Simplify 1 into 1 1538728909.620 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538728909.620 * [misc]taylor: Taking taylor expansion of b in a 1538728909.620 * [misc]backup-simplify: Simplify b into b 1538728909.620 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.620 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538728909.620 * [misc]backup-simplify: Simplify (* 1 (pow b 2)) into (pow b 2) 1538728909.621 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728909.621 * [misc]taylor: Taking taylor expansion of b in b 1538728909.621 * [misc]backup-simplify: Simplify 0 into 0 1538728909.621 * [misc]backup-simplify: Simplify 1 into 1 1538728909.621 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.621 * [misc]backup-simplify: Simplify 1 into 1 1538728909.621 * [misc]backup-simplify: Simplify (+ (* b 0) (* 0 b)) into 0 1538728909.621 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728909.621 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 (pow b 2))) into 0 1538728909.621 * [misc]taylor: Taking taylor expansion of 0 in b 1538728909.621 * [misc]backup-simplify: Simplify 0 into 0 1538728909.621 * [misc]backup-simplify: Simplify 0 into 0 1538728909.621 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728909.621 * [misc]backup-simplify: Simplify 0 into 0 1538728909.621 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 1538728909.622 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.622 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0 1538728909.622 * [misc]taylor: Taking taylor expansion of 0 in b 1538728909.622 * [misc]backup-simplify: Simplify 0 into 0 1538728909.622 * [misc]backup-simplify: Simplify 0 into 0 1538728909.622 * [misc]backup-simplify: Simplify 0 into 0 1538728909.622 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.622 * [misc]backup-simplify: Simplify 0 into 0 1538728909.622 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0 1538728909.623 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538728909.623 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2))))) into 0 1538728909.623 * [misc]taylor: Taking taylor expansion of 0 in b 1538728909.623 * [misc]backup-simplify: Simplify 0 into 0 1538728909.623 * [misc]backup-simplify: Simplify 0 into 0 1538728909.623 * [misc]backup-simplify: Simplify (* 1 (pow (* b a) 2)) into (* (pow a 2) (pow b 2)) 1538728909.623 * [misc]backup-simplify: Simplify (* (pow (/ 1 a) 2) (pow (/ 1 b) 2)) into (/ 1 (* (pow a 2) (pow b 2))) 1538728909.623 * [misc]approximate: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in (a b) around 0 1538728909.623 * [misc]taylor: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 1538728909.624 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 1538728909.624 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538728909.624 * [misc]taylor: Taking taylor expansion of a in b 1538728909.624 * [misc]backup-simplify: Simplify a into a 1538728909.624 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728909.624 * [misc]taylor: Taking taylor expansion of b in b 1538728909.624 * [misc]backup-simplify: Simplify 0 into 0 1538728909.624 * [misc]backup-simplify: Simplify 1 into 1 1538728909.624 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538728909.624 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.624 * [misc]backup-simplify: Simplify (* (pow a 2) 1) into (pow a 2) 1538728909.624 * [misc]backup-simplify: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1538728909.624 * [misc]taylor: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 1538728909.624 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 1538728909.624 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538728909.624 * [misc]taylor: Taking taylor expansion of a in a 1538728909.624 * [misc]backup-simplify: Simplify 0 into 0 1538728909.624 * [misc]backup-simplify: Simplify 1 into 1 1538728909.624 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538728909.624 * [misc]taylor: Taking taylor expansion of b in a 1538728909.624 * [misc]backup-simplify: Simplify b into b 1538728909.624 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.624 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538728909.624 * [misc]backup-simplify: Simplify (* 1 (pow b 2)) into (pow b 2) 1538728909.624 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1538728909.624 * [misc]taylor: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 1538728909.624 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 1538728909.624 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538728909.624 * [misc]taylor: Taking taylor expansion of a in a 1538728909.624 * [misc]backup-simplify: Simplify 0 into 0 1538728909.624 * [misc]backup-simplify: Simplify 1 into 1 1538728909.624 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538728909.624 * [misc]taylor: Taking taylor expansion of b in a 1538728909.624 * [misc]backup-simplify: Simplify b into b 1538728909.625 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.625 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538728909.625 * [misc]backup-simplify: Simplify (* 1 (pow b 2)) into (pow b 2) 1538728909.625 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1538728909.625 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 2)) in b 1538728909.625 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728909.625 * [misc]taylor: Taking taylor expansion of b in b 1538728909.625 * [misc]backup-simplify: Simplify 0 into 0 1538728909.625 * [misc]backup-simplify: Simplify 1 into 1 1538728909.625 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.625 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538728909.625 * [misc]backup-simplify: Simplify 1 into 1 1538728909.625 * [misc]backup-simplify: Simplify (+ (* b 0) (* 0 b)) into 0 1538728909.626 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728909.626 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 (pow b 2))) into 0 1538728909.626 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0 1538728909.626 * [misc]taylor: Taking taylor expansion of 0 in b 1538728909.626 * [misc]backup-simplify: Simplify 0 into 0 1538728909.626 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728909.626 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538728909.626 * [misc]backup-simplify: Simplify 0 into 0 1538728909.626 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 1538728909.627 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.627 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0 1538728909.627 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0 1538728909.627 * [misc]taylor: Taking taylor expansion of 0 in b 1538728909.627 * [misc]backup-simplify: Simplify 0 into 0 1538728909.627 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.627 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728909.627 * [misc]backup-simplify: Simplify 0 into 0 1538728909.628 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0 1538728909.628 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538728909.628 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2))))) into 0 1538728909.628 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0 1538728909.628 * [misc]taylor: Taking taylor expansion of 0 in b 1538728909.628 * [misc]backup-simplify: Simplify 0 into 0 1538728909.628 * [misc]backup-simplify: Simplify 0 into 0 1538728909.629 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538728909.629 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728909.629 * [misc]backup-simplify: Simplify 0 into 0 1538728909.629 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0 1538728909.629 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538728909.630 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2)))))) into 0 1538728909.630 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0 1538728909.630 * [misc]taylor: Taking taylor expansion of 0 in b 1538728909.630 * [misc]backup-simplify: Simplify 0 into 0 1538728909.630 * [misc]backup-simplify: Simplify 0 into 0 1538728909.630 * [misc]backup-simplify: Simplify 0 into 0 1538728909.631 * [misc]backup-simplify: Simplify (* 1 (pow (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a))) 2)) into (* (pow a 2) (pow b 2)) 1538728909.631 * [misc]backup-simplify: Simplify (* (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2)) into (/ 1 (* (pow a 2) (pow b 2))) 1538728909.631 * [misc]approximate: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in (a b) around 0 1538728909.631 * [misc]taylor: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 1538728909.631 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 1538728909.631 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538728909.631 * [misc]taylor: Taking taylor expansion of a in b 1538728909.631 * [misc]backup-simplify: Simplify a into a 1538728909.631 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728909.631 * [misc]taylor: Taking taylor expansion of b in b 1538728909.631 * [misc]backup-simplify: Simplify 0 into 0 1538728909.631 * [misc]backup-simplify: Simplify 1 into 1 1538728909.631 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538728909.631 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.631 * [misc]backup-simplify: Simplify (* (pow a 2) 1) into (pow a 2) 1538728909.631 * [misc]backup-simplify: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1538728909.631 * [misc]taylor: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 1538728909.631 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 1538728909.631 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538728909.631 * [misc]taylor: Taking taylor expansion of a in a 1538728909.631 * [misc]backup-simplify: Simplify 0 into 0 1538728909.631 * [misc]backup-simplify: Simplify 1 into 1 1538728909.631 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538728909.631 * [misc]taylor: Taking taylor expansion of b in a 1538728909.631 * [misc]backup-simplify: Simplify b into b 1538728909.632 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.632 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538728909.632 * [misc]backup-simplify: Simplify (* 1 (pow b 2)) into (pow b 2) 1538728909.632 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1538728909.632 * [misc]taylor: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 1538728909.632 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 1538728909.632 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538728909.632 * [misc]taylor: Taking taylor expansion of a in a 1538728909.632 * [misc]backup-simplify: Simplify 0 into 0 1538728909.632 * [misc]backup-simplify: Simplify 1 into 1 1538728909.632 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538728909.632 * [misc]taylor: Taking taylor expansion of b in a 1538728909.632 * [misc]backup-simplify: Simplify b into b 1538728909.632 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.632 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538728909.632 * [misc]backup-simplify: Simplify (* 1 (pow b 2)) into (pow b 2) 1538728909.632 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1538728909.632 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 2)) in b 1538728909.632 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728909.632 * [misc]taylor: Taking taylor expansion of b in b 1538728909.632 * [misc]backup-simplify: Simplify 0 into 0 1538728909.632 * [misc]backup-simplify: Simplify 1 into 1 1538728909.632 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.632 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538728909.633 * [misc]backup-simplify: Simplify 1 into 1 1538728909.633 * [misc]backup-simplify: Simplify (+ (* b 0) (* 0 b)) into 0 1538728909.633 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728909.633 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 (pow b 2))) into 0 1538728909.633 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0 1538728909.633 * [misc]taylor: Taking taylor expansion of 0 in b 1538728909.633 * [misc]backup-simplify: Simplify 0 into 0 1538728909.633 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728909.633 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538728909.633 * [misc]backup-simplify: Simplify 0 into 0 1538728909.634 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 1538728909.634 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.634 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0 1538728909.634 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0 1538728909.634 * [misc]taylor: Taking taylor expansion of 0 in b 1538728909.634 * [misc]backup-simplify: Simplify 0 into 0 1538728909.634 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.635 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728909.635 * [misc]backup-simplify: Simplify 0 into 0 1538728909.635 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0 1538728909.635 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538728909.635 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2))))) into 0 1538728909.636 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0 1538728909.636 * [misc]taylor: Taking taylor expansion of 0 in b 1538728909.636 * [misc]backup-simplify: Simplify 0 into 0 1538728909.636 * [misc]backup-simplify: Simplify 0 into 0 1538728909.636 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538728909.636 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728909.636 * [misc]backup-simplify: Simplify 0 into 0 1538728909.636 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0 1538728909.637 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538728909.637 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2)))))) into 0 1538728909.637 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0 1538728909.637 * [misc]taylor: Taking taylor expansion of 0 in b 1538728909.637 * [misc]backup-simplify: Simplify 0 into 0 1538728909.637 * [misc]backup-simplify: Simplify 0 into 0 1538728909.637 * [misc]backup-simplify: Simplify 0 into 0 1538728909.638 * [misc]backup-simplify: Simplify (* 1 (pow (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a)))) 2)) into (* (pow a 2) (pow b 2)) 1538728909.638 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 2) 1538728909.638 * [misc]backup-simplify: Simplify (* (* b b) 4) into (* 4 (pow b 2)) 1538728909.638 * [misc]approximate: Taking taylor expansion of (* 4 (pow b 2)) in (b) around 0 1538728909.638 * [misc]taylor: Taking taylor expansion of (* 4 (pow b 2)) in b 1538728909.638 * [misc]taylor: Taking taylor expansion of 4 in b 1538728909.638 * [misc]backup-simplify: Simplify 4 into 4 1538728909.638 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728909.638 * [misc]taylor: Taking taylor expansion of b in b 1538728909.638 * [misc]backup-simplify: Simplify 0 into 0 1538728909.638 * [misc]backup-simplify: Simplify 1 into 1 1538728909.638 * [misc]taylor: Taking taylor expansion of (* 4 (pow b 2)) in b 1538728909.638 * [misc]taylor: Taking taylor expansion of 4 in b 1538728909.638 * [misc]backup-simplify: Simplify 4 into 4 1538728909.638 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728909.638 * [misc]taylor: Taking taylor expansion of b in b 1538728909.638 * [misc]backup-simplify: Simplify 0 into 0 1538728909.638 * [misc]backup-simplify: Simplify 1 into 1 1538728909.638 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.638 * [misc]backup-simplify: Simplify (* 4 1) into 4 1538728909.638 * [misc]backup-simplify: Simplify 4 into 4 1538728909.639 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728909.639 * [misc]backup-simplify: Simplify (+ (* 4 0) (* 0 1)) into 0 1538728909.639 * [misc]backup-simplify: Simplify 0 into 0 1538728909.639 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.639 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.639 * [misc]backup-simplify: Simplify 0 into 0 1538728909.639 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538728909.640 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538728909.640 * [misc]backup-simplify: Simplify 0 into 0 1538728909.640 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538728909.641 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538728909.641 * [misc]backup-simplify: Simplify 0 into 0 1538728909.641 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538728909.642 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538728909.642 * [misc]backup-simplify: Simplify 0 into 0 1538728909.642 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538728909.643 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538728909.643 * [misc]backup-simplify: Simplify 0 into 0 1538728909.643 * [misc]backup-simplify: Simplify (* 4 (pow b 2)) into (* 4 (pow b 2)) 1538728909.643 * [misc]backup-simplify: Simplify (* (* (/ 1 b) (/ 1 b)) 4) into (/ 4 (pow b 2)) 1538728909.643 * [misc]approximate: Taking taylor expansion of (/ 4 (pow b 2)) in (b) around 0 1538728909.643 * [misc]taylor: Taking taylor expansion of (/ 4 (pow b 2)) in b 1538728909.643 * [misc]taylor: Taking taylor expansion of 4 in b 1538728909.643 * [misc]backup-simplify: Simplify 4 into 4 1538728909.643 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728909.643 * [misc]taylor: Taking taylor expansion of b in b 1538728909.643 * [misc]backup-simplify: Simplify 0 into 0 1538728909.643 * [misc]backup-simplify: Simplify 1 into 1 1538728909.643 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.643 * [misc]backup-simplify: Simplify (/ 4 1) into 4 1538728909.643 * [misc]taylor: Taking taylor expansion of (/ 4 (pow b 2)) in b 1538728909.644 * [misc]taylor: Taking taylor expansion of 4 in b 1538728909.644 * [misc]backup-simplify: Simplify 4 into 4 1538728909.644 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728909.644 * [misc]taylor: Taking taylor expansion of b in b 1538728909.644 * [misc]backup-simplify: Simplify 0 into 0 1538728909.644 * [misc]backup-simplify: Simplify 1 into 1 1538728909.644 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.644 * [misc]backup-simplify: Simplify (/ 4 1) into 4 1538728909.644 * [misc]backup-simplify: Simplify 4 into 4 1538728909.644 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728909.644 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)))) into 0 1538728909.644 * [misc]backup-simplify: Simplify 0 into 0 1538728909.644 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.645 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728909.645 * [misc]backup-simplify: Simplify 0 into 0 1538728909.645 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538728909.645 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728909.645 * [misc]backup-simplify: Simplify 0 into 0 1538728909.645 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538728909.646 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728909.646 * [misc]backup-simplify: Simplify 0 into 0 1538728909.646 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538728909.646 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728909.646 * [misc]backup-simplify: Simplify 0 into 0 1538728909.647 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538728909.647 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728909.647 * [misc]backup-simplify: Simplify 0 into 0 1538728909.647 * [misc]backup-simplify: Simplify (* 4 (pow (/ 1 (/ 1 b)) 2)) into (* 4 (pow b 2)) 1538728909.647 * [misc]backup-simplify: Simplify (* (* (/ 1 (- b)) (/ 1 (- b))) 4) into (/ 4 (pow b 2)) 1538728909.647 * [misc]approximate: Taking taylor expansion of (/ 4 (pow b 2)) in (b) around 0 1538728909.647 * [misc]taylor: Taking taylor expansion of (/ 4 (pow b 2)) in b 1538728909.647 * [misc]taylor: Taking taylor expansion of 4 in b 1538728909.647 * [misc]backup-simplify: Simplify 4 into 4 1538728909.647 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728909.647 * [misc]taylor: Taking taylor expansion of b in b 1538728909.647 * [misc]backup-simplify: Simplify 0 into 0 1538728909.647 * [misc]backup-simplify: Simplify 1 into 1 1538728909.647 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.648 * [misc]backup-simplify: Simplify (/ 4 1) into 4 1538728909.648 * [misc]taylor: Taking taylor expansion of (/ 4 (pow b 2)) in b 1538728909.648 * [misc]taylor: Taking taylor expansion of 4 in b 1538728909.648 * [misc]backup-simplify: Simplify 4 into 4 1538728909.648 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728909.648 * [misc]taylor: Taking taylor expansion of b in b 1538728909.648 * [misc]backup-simplify: Simplify 0 into 0 1538728909.648 * [misc]backup-simplify: Simplify 1 into 1 1538728909.648 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.648 * [misc]backup-simplify: Simplify (/ 4 1) into 4 1538728909.648 * [misc]backup-simplify: Simplify 4 into 4 1538728909.648 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728909.648 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)))) into 0 1538728909.648 * [misc]backup-simplify: Simplify 0 into 0 1538728909.648 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.649 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728909.649 * [misc]backup-simplify: Simplify 0 into 0 1538728909.649 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538728909.649 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728909.649 * [misc]backup-simplify: Simplify 0 into 0 1538728909.649 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538728909.650 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728909.650 * [misc]backup-simplify: Simplify 0 into 0 1538728909.650 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538728909.650 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728909.650 * [misc]backup-simplify: Simplify 0 into 0 1538728909.651 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538728909.651 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728909.651 * [misc]backup-simplify: Simplify 0 into 0 1538728909.651 * [misc]backup-simplify: Simplify (* 4 (pow (/ 1 (/ 1 (- b))) 2)) into (* 4 (pow b 2)) 1538728909.651 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2 2) 1538728909.651 * [misc]backup-simplify: Simplify (* 2 (* (pow a 2) (pow b 2))) into (* 2 (* (pow a 2) (pow b 2))) 1538728909.652 * [misc]approximate: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in (a b) around 0 1538728909.652 * [misc]taylor: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b 1538728909.652 * [misc]taylor: Taking taylor expansion of 2 in b 1538728909.652 * [misc]backup-simplify: Simplify 2 into 2 1538728909.652 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 1538728909.652 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538728909.652 * [misc]taylor: Taking taylor expansion of a in b 1538728909.652 * [misc]backup-simplify: Simplify a into a 1538728909.652 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728909.652 * [misc]taylor: Taking taylor expansion of b in b 1538728909.652 * [misc]backup-simplify: Simplify 0 into 0 1538728909.652 * [misc]backup-simplify: Simplify 1 into 1 1538728909.652 * [misc]taylor: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 1538728909.652 * [misc]taylor: Taking taylor expansion of 2 in a 1538728909.652 * [misc]backup-simplify: Simplify 2 into 2 1538728909.652 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 1538728909.652 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538728909.652 * [misc]taylor: Taking taylor expansion of a in a 1538728909.652 * [misc]backup-simplify: Simplify 0 into 0 1538728909.652 * [misc]backup-simplify: Simplify 1 into 1 1538728909.652 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538728909.652 * [misc]taylor: Taking taylor expansion of b in a 1538728909.652 * [misc]backup-simplify: Simplify b into b 1538728909.652 * [misc]taylor: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 1538728909.652 * [misc]taylor: Taking taylor expansion of 2 in a 1538728909.652 * [misc]backup-simplify: Simplify 2 into 2 1538728909.652 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 1538728909.652 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538728909.652 * [misc]taylor: Taking taylor expansion of a in a 1538728909.652 * [misc]backup-simplify: Simplify 0 into 0 1538728909.652 * [misc]backup-simplify: Simplify 1 into 1 1538728909.652 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538728909.652 * [misc]taylor: Taking taylor expansion of b in a 1538728909.652 * [misc]backup-simplify: Simplify b into b 1538728909.652 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.652 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538728909.652 * [misc]backup-simplify: Simplify (* 1 (pow b 2)) into (pow b 2) 1538728909.652 * [misc]backup-simplify: Simplify (* 2 (pow b 2)) into (* 2 (pow b 2)) 1538728909.652 * [misc]taylor: Taking taylor expansion of (* 2 (pow b 2)) in b 1538728909.652 * [misc]taylor: Taking taylor expansion of 2 in b 1538728909.652 * [misc]backup-simplify: Simplify 2 into 2 1538728909.652 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728909.652 * [misc]taylor: Taking taylor expansion of b in b 1538728909.652 * [misc]backup-simplify: Simplify 0 into 0 1538728909.652 * [misc]backup-simplify: Simplify 1 into 1 1538728909.653 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.653 * [misc]backup-simplify: Simplify (* 2 1) into 2 1538728909.653 * [misc]backup-simplify: Simplify 2 into 2 1538728909.653 * [misc]backup-simplify: Simplify (+ (* b 0) (* 0 b)) into 0 1538728909.653 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728909.653 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 (pow b 2))) into 0 1538728909.653 * [misc]backup-simplify: Simplify (+ (* 2 0) (* 0 (pow b 2))) into 0 1538728909.653 * [misc]taylor: Taking taylor expansion of 0 in b 1538728909.653 * [misc]backup-simplify: Simplify 0 into 0 1538728909.653 * [misc]backup-simplify: Simplify 0 into 0 1538728909.653 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728909.654 * [misc]backup-simplify: Simplify (+ (* 2 0) (* 0 1)) into 0 1538728909.654 * [misc]backup-simplify: Simplify 0 into 0 1538728909.654 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 1538728909.654 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.654 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0 1538728909.654 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0 1538728909.654 * [misc]taylor: Taking taylor expansion of 0 in b 1538728909.654 * [misc]backup-simplify: Simplify 0 into 0 1538728909.654 * [misc]backup-simplify: Simplify 0 into 0 1538728909.654 * [misc]backup-simplify: Simplify 0 into 0 1538728909.655 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.655 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.655 * [misc]backup-simplify: Simplify 0 into 0 1538728909.655 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0 1538728909.655 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538728909.656 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2))))) into 0 1538728909.656 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2))))) into 0 1538728909.656 * [misc]taylor: Taking taylor expansion of 0 in b 1538728909.656 * [misc]backup-simplify: Simplify 0 into 0 1538728909.656 * [misc]backup-simplify: Simplify 0 into 0 1538728909.656 * [misc]backup-simplify: Simplify (* 2 (pow (* b a) 2)) into (* 2 (* (pow a 2) (pow b 2))) 1538728909.656 * [misc]backup-simplify: Simplify (* 2 (* (pow (/ 1 a) 2) (pow (/ 1 b) 2))) into (/ 2 (* (pow a 2) (pow b 2))) 1538728909.657 * [misc]approximate: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in (a b) around 0 1538728909.657 * [misc]taylor: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in b 1538728909.657 * [misc]taylor: Taking taylor expansion of 2 in b 1538728909.657 * [misc]backup-simplify: Simplify 2 into 2 1538728909.657 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 1538728909.657 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538728909.657 * [misc]taylor: Taking taylor expansion of a in b 1538728909.657 * [misc]backup-simplify: Simplify a into a 1538728909.657 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728909.657 * [misc]taylor: Taking taylor expansion of b in b 1538728909.657 * [misc]backup-simplify: Simplify 0 into 0 1538728909.657 * [misc]backup-simplify: Simplify 1 into 1 1538728909.657 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538728909.657 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.657 * [misc]backup-simplify: Simplify (* (pow a 2) 1) into (pow a 2) 1538728909.657 * [misc]backup-simplify: Simplify (/ 2 (pow a 2)) into (/ 2 (pow a 2)) 1538728909.657 * [misc]taylor: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a 1538728909.657 * [misc]taylor: Taking taylor expansion of 2 in a 1538728909.657 * [misc]backup-simplify: Simplify 2 into 2 1538728909.657 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 1538728909.657 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538728909.657 * [misc]taylor: Taking taylor expansion of a in a 1538728909.657 * [misc]backup-simplify: Simplify 0 into 0 1538728909.657 * [misc]backup-simplify: Simplify 1 into 1 1538728909.657 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538728909.657 * [misc]taylor: Taking taylor expansion of b in a 1538728909.657 * [misc]backup-simplify: Simplify b into b 1538728909.657 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.657 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538728909.657 * [misc]backup-simplify: Simplify (* 1 (pow b 2)) into (pow b 2) 1538728909.657 * [misc]backup-simplify: Simplify (/ 2 (pow b 2)) into (/ 2 (pow b 2)) 1538728909.657 * [misc]taylor: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a 1538728909.657 * [misc]taylor: Taking taylor expansion of 2 in a 1538728909.657 * [misc]backup-simplify: Simplify 2 into 2 1538728909.657 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 1538728909.658 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538728909.658 * [misc]taylor: Taking taylor expansion of a in a 1538728909.658 * [misc]backup-simplify: Simplify 0 into 0 1538728909.658 * [misc]backup-simplify: Simplify 1 into 1 1538728909.658 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538728909.658 * [misc]taylor: Taking taylor expansion of b in a 1538728909.658 * [misc]backup-simplify: Simplify b into b 1538728909.658 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.658 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538728909.658 * [misc]backup-simplify: Simplify (* 1 (pow b 2)) into (pow b 2) 1538728909.658 * [misc]backup-simplify: Simplify (/ 2 (pow b 2)) into (/ 2 (pow b 2)) 1538728909.658 * [misc]taylor: Taking taylor expansion of (/ 2 (pow b 2)) in b 1538728909.658 * [misc]taylor: Taking taylor expansion of 2 in b 1538728909.658 * [misc]backup-simplify: Simplify 2 into 2 1538728909.658 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728909.658 * [misc]taylor: Taking taylor expansion of b in b 1538728909.658 * [misc]backup-simplify: Simplify 0 into 0 1538728909.658 * [misc]backup-simplify: Simplify 1 into 1 1538728909.658 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.658 * [misc]backup-simplify: Simplify (/ 2 1) into 2 1538728909.658 * [misc]backup-simplify: Simplify 2 into 2 1538728909.658 * [misc]backup-simplify: Simplify (+ (* b 0) (* 0 b)) into 0 1538728909.658 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728909.659 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 (pow b 2))) into 0 1538728909.659 * [misc]backup-simplify: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 2 (pow b 2)) (/ 0 (pow b 2))))) into 0 1538728909.659 * [misc]taylor: Taking taylor expansion of 0 in b 1538728909.659 * [misc]backup-simplify: Simplify 0 into 0 1538728909.659 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728909.659 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0 1538728909.659 * [misc]backup-simplify: Simplify 0 into 0 1538728909.659 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 1538728909.659 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.660 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0 1538728909.660 * [misc]backup-simplify: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 2 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0 1538728909.660 * [misc]taylor: Taking taylor expansion of 0 in b 1538728909.660 * [misc]backup-simplify: Simplify 0 into 0 1538728909.660 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.660 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728909.660 * [misc]backup-simplify: Simplify 0 into 0 1538728909.661 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0 1538728909.661 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538728909.661 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2))))) into 0 1538728909.661 * [misc]backup-simplify: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 2 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0 1538728909.661 * [misc]taylor: Taking taylor expansion of 0 in b 1538728909.661 * [misc]backup-simplify: Simplify 0 into 0 1538728909.661 * [misc]backup-simplify: Simplify 0 into 0 1538728909.662 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538728909.662 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728909.662 * [misc]backup-simplify: Simplify 0 into 0 1538728909.662 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0 1538728909.663 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538728909.663 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2)))))) into 0 1538728909.663 * [misc]backup-simplify: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 2 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0 1538728909.663 * [misc]taylor: Taking taylor expansion of 0 in b 1538728909.663 * [misc]backup-simplify: Simplify 0 into 0 1538728909.663 * [misc]backup-simplify: Simplify 0 into 0 1538728909.663 * [misc]backup-simplify: Simplify 0 into 0 1538728909.664 * [misc]backup-simplify: Simplify (* 2 (pow (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a))) 2)) into (* 2 (* (pow a 2) (pow b 2))) 1538728909.664 * [misc]backup-simplify: Simplify (* 2 (* (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))) into (/ 2 (* (pow a 2) (pow b 2))) 1538728909.664 * [misc]approximate: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in (a b) around 0 1538728909.664 * [misc]taylor: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in b 1538728909.664 * [misc]taylor: Taking taylor expansion of 2 in b 1538728909.664 * [misc]backup-simplify: Simplify 2 into 2 1538728909.664 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 1538728909.664 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538728909.664 * [misc]taylor: Taking taylor expansion of a in b 1538728909.664 * [misc]backup-simplify: Simplify a into a 1538728909.664 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728909.664 * [misc]taylor: Taking taylor expansion of b in b 1538728909.664 * [misc]backup-simplify: Simplify 0 into 0 1538728909.664 * [misc]backup-simplify: Simplify 1 into 1 1538728909.664 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538728909.664 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.664 * [misc]backup-simplify: Simplify (* (pow a 2) 1) into (pow a 2) 1538728909.664 * [misc]backup-simplify: Simplify (/ 2 (pow a 2)) into (/ 2 (pow a 2)) 1538728909.664 * [misc]taylor: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a 1538728909.664 * [misc]taylor: Taking taylor expansion of 2 in a 1538728909.664 * [misc]backup-simplify: Simplify 2 into 2 1538728909.664 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 1538728909.665 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538728909.665 * [misc]taylor: Taking taylor expansion of a in a 1538728909.665 * [misc]backup-simplify: Simplify 0 into 0 1538728909.665 * [misc]backup-simplify: Simplify 1 into 1 1538728909.665 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538728909.665 * [misc]taylor: Taking taylor expansion of b in a 1538728909.665 * [misc]backup-simplify: Simplify b into b 1538728909.665 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.665 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538728909.665 * [misc]backup-simplify: Simplify (* 1 (pow b 2)) into (pow b 2) 1538728909.665 * [misc]backup-simplify: Simplify (/ 2 (pow b 2)) into (/ 2 (pow b 2)) 1538728909.665 * [misc]taylor: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a 1538728909.665 * [misc]taylor: Taking taylor expansion of 2 in a 1538728909.665 * [misc]backup-simplify: Simplify 2 into 2 1538728909.665 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 1538728909.665 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538728909.665 * [misc]taylor: Taking taylor expansion of a in a 1538728909.665 * [misc]backup-simplify: Simplify 0 into 0 1538728909.665 * [misc]backup-simplify: Simplify 1 into 1 1538728909.665 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538728909.665 * [misc]taylor: Taking taylor expansion of b in a 1538728909.665 * [misc]backup-simplify: Simplify b into b 1538728909.665 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.665 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538728909.665 * [misc]backup-simplify: Simplify (* 1 (pow b 2)) into (pow b 2) 1538728909.665 * [misc]backup-simplify: Simplify (/ 2 (pow b 2)) into (/ 2 (pow b 2)) 1538728909.665 * [misc]taylor: Taking taylor expansion of (/ 2 (pow b 2)) in b 1538728909.665 * [misc]taylor: Taking taylor expansion of 2 in b 1538728909.666 * [misc]backup-simplify: Simplify 2 into 2 1538728909.666 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728909.666 * [misc]taylor: Taking taylor expansion of b in b 1538728909.666 * [misc]backup-simplify: Simplify 0 into 0 1538728909.666 * [misc]backup-simplify: Simplify 1 into 1 1538728909.666 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.666 * [misc]backup-simplify: Simplify (/ 2 1) into 2 1538728909.666 * [misc]backup-simplify: Simplify 2 into 2 1538728909.666 * [misc]backup-simplify: Simplify (+ (* b 0) (* 0 b)) into 0 1538728909.666 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728909.666 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 (pow b 2))) into 0 1538728909.666 * [misc]backup-simplify: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 2 (pow b 2)) (/ 0 (pow b 2))))) into 0 1538728909.666 * [misc]taylor: Taking taylor expansion of 0 in b 1538728909.666 * [misc]backup-simplify: Simplify 0 into 0 1538728909.667 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728909.667 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0 1538728909.667 * [misc]backup-simplify: Simplify 0 into 0 1538728909.667 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 1538728909.667 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.667 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0 1538728909.668 * [misc]backup-simplify: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 2 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0 1538728909.668 * [misc]taylor: Taking taylor expansion of 0 in b 1538728909.668 * [misc]backup-simplify: Simplify 0 into 0 1538728909.668 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.668 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728909.668 * [misc]backup-simplify: Simplify 0 into 0 1538728909.668 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0 1538728909.668 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538728909.669 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2))))) into 0 1538728909.669 * [misc]backup-simplify: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 2 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0 1538728909.669 * [misc]taylor: Taking taylor expansion of 0 in b 1538728909.669 * [misc]backup-simplify: Simplify 0 into 0 1538728909.669 * [misc]backup-simplify: Simplify 0 into 0 1538728909.669 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538728909.670 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728909.670 * [misc]backup-simplify: Simplify 0 into 0 1538728909.670 * [misc]backup-simplify: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0 1538728909.670 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538728909.670 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2)))))) into 0 1538728909.671 * [misc]backup-simplify: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 2 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0 1538728909.671 * [misc]taylor: Taking taylor expansion of 0 in b 1538728909.671 * [misc]backup-simplify: Simplify 0 into 0 1538728909.671 * [misc]backup-simplify: Simplify 0 into 0 1538728909.671 * [misc]backup-simplify: Simplify 0 into 0 1538728909.671 * [misc]backup-simplify: Simplify (* 2 (pow (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a)))) 2)) into (* 2 (* (pow a 2) (pow b 2))) 1538728909.671 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1538728909.672 * [misc]backup-simplify: Simplify (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) into (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) 1538728909.672 * [misc]approximate: Taking taylor expansion of (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) in (b a) around 0 1538728909.672 * [misc]taylor: Taking taylor expansion of (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) in a 1538728909.672 * [misc]taylor: Taking taylor expansion of (pow b 4) in a 1538728909.672 * [misc]taylor: Taking taylor expansion of b in a 1538728909.672 * [misc]backup-simplify: Simplify b into b 1538728909.672 * [misc]taylor: Taking taylor expansion of (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))) in a 1538728909.672 * [misc]taylor: Taking taylor expansion of (pow a 4) in a 1538728909.672 * [misc]taylor: Taking taylor expansion of a in a 1538728909.672 * [misc]backup-simplify: Simplify 0 into 0 1538728909.672 * [misc]backup-simplify: Simplify 1 into 1 1538728909.672 * [misc]taylor: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 1538728909.672 * [misc]taylor: Taking taylor expansion of 2 in a 1538728909.672 * [misc]backup-simplify: Simplify 2 into 2 1538728909.672 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 1538728909.672 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538728909.672 * [misc]taylor: Taking taylor expansion of a in a 1538728909.672 * [misc]backup-simplify: Simplify 0 into 0 1538728909.672 * [misc]backup-simplify: Simplify 1 into 1 1538728909.672 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538728909.672 * [misc]taylor: Taking taylor expansion of b in a 1538728909.672 * [misc]backup-simplify: Simplify b into b 1538728909.672 * [misc]taylor: Taking taylor expansion of (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) in b 1538728909.672 * [misc]taylor: Taking taylor expansion of (pow b 4) in b 1538728909.672 * [misc]taylor: Taking taylor expansion of b in b 1538728909.672 * [misc]backup-simplify: Simplify 0 into 0 1538728909.672 * [misc]backup-simplify: Simplify 1 into 1 1538728909.672 * [misc]taylor: Taking taylor expansion of (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))) in b 1538728909.672 * [misc]taylor: Taking taylor expansion of (pow a 4) in b 1538728909.672 * [misc]taylor: Taking taylor expansion of a in b 1538728909.672 * [misc]backup-simplify: Simplify a into a 1538728909.672 * [misc]taylor: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b 1538728909.672 * [misc]taylor: Taking taylor expansion of 2 in b 1538728909.672 * [misc]backup-simplify: Simplify 2 into 2 1538728909.672 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 1538728909.672 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538728909.672 * [misc]taylor: Taking taylor expansion of a in b 1538728909.672 * [misc]backup-simplify: Simplify a into a 1538728909.672 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728909.672 * [misc]taylor: Taking taylor expansion of b in b 1538728909.672 * [misc]backup-simplify: Simplify 0 into 0 1538728909.672 * [misc]backup-simplify: Simplify 1 into 1 1538728909.672 * [misc]taylor: Taking taylor expansion of (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) in b 1538728909.672 * [misc]taylor: Taking taylor expansion of (pow b 4) in b 1538728909.672 * [misc]taylor: Taking taylor expansion of b in b 1538728909.672 * [misc]backup-simplify: Simplify 0 into 0 1538728909.672 * [misc]backup-simplify: Simplify 1 into 1 1538728909.672 * [misc]taylor: Taking taylor expansion of (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))) in b 1538728909.672 * [misc]taylor: Taking taylor expansion of (pow a 4) in b 1538728909.672 * [misc]taylor: Taking taylor expansion of a in b 1538728909.672 * [misc]backup-simplify: Simplify a into a 1538728909.673 * [misc]taylor: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b 1538728909.673 * [misc]taylor: Taking taylor expansion of 2 in b 1538728909.673 * [misc]backup-simplify: Simplify 2 into 2 1538728909.673 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 1538728909.673 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538728909.673 * [misc]taylor: Taking taylor expansion of a in b 1538728909.673 * [misc]backup-simplify: Simplify a into a 1538728909.673 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728909.673 * [misc]taylor: Taking taylor expansion of b in b 1538728909.673 * [misc]backup-simplify: Simplify 0 into 0 1538728909.673 * [misc]backup-simplify: Simplify 1 into 1 1538728909.673 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538728909.673 * [misc]backup-simplify: Simplify (* (pow a 2) (pow a 2)) into (pow a 4) 1538728909.673 * [misc]backup-simplify: Simplify (+ (pow a 4) 0) into (pow a 4) 1538728909.673 * [misc]backup-simplify: Simplify (+ 0 (pow a 4)) into (pow a 4) 1538728909.673 * [misc]taylor: Taking taylor expansion of (pow a 4) in a 1538728909.673 * [misc]taylor: Taking taylor expansion of a in a 1538728909.673 * [misc]backup-simplify: Simplify 0 into 0 1538728909.673 * [misc]backup-simplify: Simplify 1 into 1 1538728909.673 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1538728909.673 * [misc]backup-simplify: Simplify (+ (* (pow a 2) 0) (* 0 (pow a 2))) into 0 1538728909.673 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538728909.673 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538728909.674 * [misc]taylor: Taking taylor expansion of 0 in a 1538728909.674 * [misc]backup-simplify: Simplify 0 into 0 1538728909.674 * [misc]backup-simplify: Simplify 0 into 0 1538728909.674 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1538728909.674 * [misc]backup-simplify: Simplify (+ (* (pow a 2) 0) (+ (* 0 0) (* 0 (pow a 2)))) into 0 1538728909.674 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538728909.674 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.674 * [misc]backup-simplify: Simplify (* (pow a 2) 1) into (pow a 2) 1538728909.674 * [misc]backup-simplify: Simplify (* 2 (pow a 2)) into (* 2 (pow a 2)) 1538728909.674 * [misc]backup-simplify: Simplify (+ 0 (* 2 (pow a 2))) into (* 2 (pow a 2)) 1538728909.674 * [misc]backup-simplify: Simplify (+ 0 (* 2 (pow a 2))) into (* 2 (pow a 2)) 1538728909.674 * [misc]taylor: Taking taylor expansion of (* 2 (pow a 2)) in a 1538728909.674 * [misc]taylor: Taking taylor expansion of 2 in a 1538728909.674 * [misc]backup-simplify: Simplify 2 into 2 1538728909.674 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538728909.674 * [misc]taylor: Taking taylor expansion of a in a 1538728909.674 * [misc]backup-simplify: Simplify 0 into 0 1538728909.674 * [misc]backup-simplify: Simplify 1 into 1 1538728909.674 * [misc]backup-simplify: Simplify 0 into 0 1538728909.675 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1538728909.675 * [misc]backup-simplify: Simplify (+ (* (pow a 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow a 2))))) into 0 1538728909.675 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728909.675 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1538728909.676 * [misc]backup-simplify: Simplify (+ (* (pow a 2) 0) (* 0 1)) into 0 1538728909.676 * [misc]backup-simplify: Simplify (+ (* 2 0) (* 0 (pow a 2))) into 0 1538728909.676 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538728909.676 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538728909.676 * [misc]taylor: Taking taylor expansion of 0 in a 1538728909.676 * [misc]backup-simplify: Simplify 0 into 0 1538728909.676 * [misc]backup-simplify: Simplify 0 into 0 1538728909.676 * [misc]backup-simplify: Simplify 0 into 0 1538728909.676 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.676 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.677 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 1538728909.677 * [misc]backup-simplify: Simplify (+ (* (pow a 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow a 2)))))) into 0 1538728909.677 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.677 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1538728909.678 * [misc]backup-simplify: Simplify (+ (* (pow a 2) 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.678 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (pow a 2)))) into 0 1538728909.678 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538728909.678 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538728909.678 * [misc]taylor: Taking taylor expansion of 1 in a 1538728909.678 * [misc]backup-simplify: Simplify 1 into 1 1538728909.678 * [misc]backup-simplify: Simplify 1 into 1 1538728909.678 * [misc]backup-simplify: Simplify 0 into 0 1538728909.678 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.678 * [misc]backup-simplify: Simplify (* 2 1) into 2 1538728909.678 * [misc]backup-simplify: Simplify 2 into 2 1538728909.678 * [misc]backup-simplify: Simplify 0 into 0 1538728909.678 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.679 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.679 * [misc]backup-simplify: Simplify 1 into 1 1538728909.679 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* a 1) 4)) (+ (* 2 (pow (* a b) 2)) (* 1 (pow (* 1 b) 4)))) into (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) 1538728909.680 * [misc]backup-simplify: Simplify (+ (pow (/ 1 b) 4) (+ (pow (/ 1 a) 4) (* 2 (* (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) 1538728909.681 * [misc]approximate: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in (b a) around 0 1538728909.681 * [misc]taylor: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 1538728909.681 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 1538728909.681 * [misc]taylor: Taking taylor expansion of 2 in a 1538728909.681 * [misc]backup-simplify: Simplify 2 into 2 1538728909.681 * [misc]taylor: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 1538728909.681 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 1538728909.681 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538728909.681 * [misc]taylor: Taking taylor expansion of a in a 1538728909.681 * [misc]backup-simplify: Simplify 0 into 0 1538728909.681 * [misc]backup-simplify: Simplify 1 into 1 1538728909.681 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538728909.681 * [misc]taylor: Taking taylor expansion of b in a 1538728909.681 * [misc]backup-simplify: Simplify b into b 1538728909.681 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.682 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538728909.682 * [misc]backup-simplify: Simplify (* 1 (pow b 2)) into (pow b 2) 1538728909.682 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1538728909.682 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 1538728909.682 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 4)) in a 1538728909.682 * [misc]taylor: Taking taylor expansion of (pow a 4) in a 1538728909.682 * [misc]taylor: Taking taylor expansion of a in a 1538728909.682 * [misc]backup-simplify: Simplify 0 into 0 1538728909.682 * [misc]backup-simplify: Simplify 1 into 1 1538728909.682 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.682 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.682 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538728909.682 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 4)) in a 1538728909.682 * [misc]taylor: Taking taylor expansion of (pow b 4) in a 1538728909.682 * [misc]taylor: Taking taylor expansion of b in a 1538728909.682 * [misc]backup-simplify: Simplify b into b 1538728909.683 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538728909.683 * [misc]backup-simplify: Simplify (* (pow b 2) (pow b 2)) into (pow b 4) 1538728909.683 * [misc]backup-simplify: Simplify (/ 1 (pow b 4)) into (/ 1 (pow b 4)) 1538728909.683 * [misc]taylor: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 1538728909.683 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 1538728909.683 * [misc]taylor: Taking taylor expansion of 2 in b 1538728909.683 * [misc]backup-simplify: Simplify 2 into 2 1538728909.685 * [misc]taylor: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 1538728909.685 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 1538728909.685 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538728909.685 * [misc]taylor: Taking taylor expansion of a in b 1538728909.685 * [misc]backup-simplify: Simplify a into a 1538728909.685 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728909.685 * [misc]taylor: Taking taylor expansion of b in b 1538728909.685 * [misc]backup-simplify: Simplify 0 into 0 1538728909.685 * [misc]backup-simplify: Simplify 1 into 1 1538728909.685 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538728909.686 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.686 * [misc]backup-simplify: Simplify (* (pow a 2) 1) into (pow a 2) 1538728909.686 * [misc]backup-simplify: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1538728909.686 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 1538728909.686 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 4)) in b 1538728909.686 * [misc]taylor: Taking taylor expansion of (pow a 4) in b 1538728909.686 * [misc]taylor: Taking taylor expansion of a in b 1538728909.686 * [misc]backup-simplify: Simplify a into a 1538728909.686 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538728909.686 * [misc]backup-simplify: Simplify (* (pow a 2) (pow a 2)) into (pow a 4) 1538728909.686 * [misc]backup-simplify: Simplify (/ 1 (pow a 4)) into (/ 1 (pow a 4)) 1538728909.686 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 4)) in b 1538728909.686 * [misc]taylor: Taking taylor expansion of (pow b 4) in b 1538728909.686 * [misc]taylor: Taking taylor expansion of b in b 1538728909.686 * [misc]backup-simplify: Simplify 0 into 0 1538728909.686 * [misc]backup-simplify: Simplify 1 into 1 1538728909.687 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.687 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.687 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538728909.687 * [misc]taylor: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 1538728909.687 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 1538728909.687 * [misc]taylor: Taking taylor expansion of 2 in b 1538728909.687 * [misc]backup-simplify: Simplify 2 into 2 1538728909.687 * [misc]taylor: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 1538728909.687 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 1538728909.687 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538728909.687 * [misc]taylor: Taking taylor expansion of a in b 1538728909.687 * [misc]backup-simplify: Simplify a into a 1538728909.687 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728909.687 * [misc]taylor: Taking taylor expansion of b in b 1538728909.687 * [misc]backup-simplify: Simplify 0 into 0 1538728909.687 * [misc]backup-simplify: Simplify 1 into 1 1538728909.687 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538728909.688 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.688 * [misc]backup-simplify: Simplify (* (pow a 2) 1) into (pow a 2) 1538728909.688 * [misc]backup-simplify: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1538728909.688 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 1538728909.688 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 4)) in b 1538728909.688 * [misc]taylor: Taking taylor expansion of (pow a 4) in b 1538728909.688 * [misc]taylor: Taking taylor expansion of a in b 1538728909.688 * [misc]backup-simplify: Simplify a into a 1538728909.688 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538728909.688 * [misc]backup-simplify: Simplify (* (pow a 2) (pow a 2)) into (pow a 4) 1538728909.688 * [misc]backup-simplify: Simplify (/ 1 (pow a 4)) into (/ 1 (pow a 4)) 1538728909.688 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 4)) in b 1538728909.688 * [misc]taylor: Taking taylor expansion of (pow b 4) in b 1538728909.688 * [misc]taylor: Taking taylor expansion of b in b 1538728909.688 * [misc]backup-simplify: Simplify 0 into 0 1538728909.688 * [misc]backup-simplify: Simplify 1 into 1 1538728909.688 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.689 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.689 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538728909.689 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538728909.689 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538728909.689 * [misc]taylor: Taking taylor expansion of 1 in a 1538728909.689 * [misc]backup-simplify: Simplify 1 into 1 1538728909.689 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728909.690 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728909.690 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538728909.690 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538728909.690 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538728909.690 * [misc]taylor: Taking taylor expansion of 0 in a 1538728909.690 * [misc]backup-simplify: Simplify 0 into 0 1538728909.690 * [misc]backup-simplify: Simplify (* 2 (/ 1 (pow a 2))) into (/ 2 (pow a 2)) 1538728909.691 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.691 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.691 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728909.691 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538728909.692 * [misc]backup-simplify: Simplify (+ (/ 2 (pow a 2)) 0) into (* 2 (/ 1 (pow a 2))) 1538728909.692 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (pow a 2))) in a 1538728909.692 * [misc]taylor: Taking taylor expansion of 2 in a 1538728909.692 * [misc]backup-simplify: Simplify 2 into 2 1538728909.692 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 2)) in a 1538728909.692 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538728909.692 * [misc]taylor: Taking taylor expansion of a in a 1538728909.692 * [misc]backup-simplify: Simplify 0 into 0 1538728909.692 * [misc]backup-simplify: Simplify 1 into 1 1538728909.692 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.692 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538728909.692 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728909.692 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1538728909.693 * [misc]backup-simplify: Simplify (+ (* (pow a 2) 0) (* 0 1)) into 0 1538728909.693 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0 1538728909.693 * [misc]backup-simplify: Simplify (+ (* 2 0) (* 0 (/ 1 (pow a 2)))) into 0 1538728909.693 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538728909.694 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538728909.694 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728909.694 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538728909.694 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538728909.694 * [misc]taylor: Taking taylor expansion of 0 in a 1538728909.694 * [misc]backup-simplify: Simplify 0 into 0 1538728909.695 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.695 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1538728909.695 * [misc]backup-simplify: Simplify (+ (* (pow a 2) 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.696 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 1538728909.696 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 (pow a 2))))) into 0 1538728909.696 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538728909.697 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538728909.697 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728909.697 * [misc]backup-simplify: Simplify (+ (/ 1 (pow a 4)) 0) into (/ 1 (pow a 4)) 1538728909.697 * [misc]backup-simplify: Simplify (+ 0 (/ 1 (pow a 4))) into (/ 1 (pow a 4)) 1538728909.698 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 4)) in a 1538728909.698 * [misc]taylor: Taking taylor expansion of (pow a 4) in a 1538728909.698 * [misc]taylor: Taking taylor expansion of a in a 1538728909.698 * [misc]backup-simplify: Simplify 0 into 0 1538728909.698 * [misc]backup-simplify: Simplify 1 into 1 1538728909.698 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.698 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.698 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538728909.698 * [misc]backup-simplify: Simplify 1 into 1 1538728909.698 * [misc]backup-simplify: Simplify (* 2 1) into 2 1538728909.698 * [misc]backup-simplify: Simplify 2 into 2 1538728909.698 * [misc]backup-simplify: Simplify 1 into 1 1538728909.702 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 b))) 4)) (+ (* 2 (pow (* (/ 1 (/ 1 a)) (/ 1 (/ 1 b))) 2)) (* 1 (pow (* (/ 1 (/ 1 a)) 1) 4)))) into (+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4))) 1538728909.704 * [misc]backup-simplify: Simplify (+ (pow (/ 1 (- b)) 4) (+ (pow (/ 1 (- a)) 4) (* 2 (* (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) 1538728909.704 * [misc]approximate: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in (b a) around 0 1538728909.704 * [misc]taylor: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 1538728909.704 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 1538728909.704 * [misc]taylor: Taking taylor expansion of 2 in a 1538728909.704 * [misc]backup-simplify: Simplify 2 into 2 1538728909.704 * [misc]taylor: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 1538728909.704 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 1538728909.704 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538728909.704 * [misc]taylor: Taking taylor expansion of a in a 1538728909.704 * [misc]backup-simplify: Simplify 0 into 0 1538728909.704 * [misc]backup-simplify: Simplify 1 into 1 1538728909.704 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538728909.704 * [misc]taylor: Taking taylor expansion of b in a 1538728909.704 * [misc]backup-simplify: Simplify b into b 1538728909.704 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.705 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538728909.705 * [misc]backup-simplify: Simplify (* 1 (pow b 2)) into (pow b 2) 1538728909.705 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1538728909.705 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 1538728909.705 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 4)) in a 1538728909.705 * [misc]taylor: Taking taylor expansion of (pow a 4) in a 1538728909.705 * [misc]taylor: Taking taylor expansion of a in a 1538728909.705 * [misc]backup-simplify: Simplify 0 into 0 1538728909.705 * [misc]backup-simplify: Simplify 1 into 1 1538728909.705 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.705 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.705 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538728909.705 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 4)) in a 1538728909.705 * [misc]taylor: Taking taylor expansion of (pow b 4) in a 1538728909.705 * [misc]taylor: Taking taylor expansion of b in a 1538728909.705 * [misc]backup-simplify: Simplify b into b 1538728909.706 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538728909.706 * [misc]backup-simplify: Simplify (* (pow b 2) (pow b 2)) into (pow b 4) 1538728909.706 * [misc]backup-simplify: Simplify (/ 1 (pow b 4)) into (/ 1 (pow b 4)) 1538728909.706 * [misc]taylor: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 1538728909.706 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 1538728909.706 * [misc]taylor: Taking taylor expansion of 2 in b 1538728909.706 * [misc]backup-simplify: Simplify 2 into 2 1538728909.706 * [misc]taylor: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 1538728909.706 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 1538728909.706 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538728909.706 * [misc]taylor: Taking taylor expansion of a in b 1538728909.706 * [misc]backup-simplify: Simplify a into a 1538728909.706 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728909.706 * [misc]taylor: Taking taylor expansion of b in b 1538728909.706 * [misc]backup-simplify: Simplify 0 into 0 1538728909.706 * [misc]backup-simplify: Simplify 1 into 1 1538728909.706 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538728909.706 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.706 * [misc]backup-simplify: Simplify (* (pow a 2) 1) into (pow a 2) 1538728909.707 * [misc]backup-simplify: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1538728909.707 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 1538728909.707 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 4)) in b 1538728909.707 * [misc]taylor: Taking taylor expansion of (pow a 4) in b 1538728909.707 * [misc]taylor: Taking taylor expansion of a in b 1538728909.707 * [misc]backup-simplify: Simplify a into a 1538728909.707 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538728909.707 * [misc]backup-simplify: Simplify (* (pow a 2) (pow a 2)) into (pow a 4) 1538728909.707 * [misc]backup-simplify: Simplify (/ 1 (pow a 4)) into (/ 1 (pow a 4)) 1538728909.707 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 4)) in b 1538728909.707 * [misc]taylor: Taking taylor expansion of (pow b 4) in b 1538728909.707 * [misc]taylor: Taking taylor expansion of b in b 1538728909.707 * [misc]backup-simplify: Simplify 0 into 0 1538728909.707 * [misc]backup-simplify: Simplify 1 into 1 1538728909.707 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.707 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.708 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538728909.708 * [misc]taylor: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 1538728909.708 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 1538728909.708 * [misc]taylor: Taking taylor expansion of 2 in b 1538728909.708 * [misc]backup-simplify: Simplify 2 into 2 1538728909.708 * [misc]taylor: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 1538728909.708 * [misc]taylor: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 1538728909.708 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538728909.708 * [misc]taylor: Taking taylor expansion of a in b 1538728909.708 * [misc]backup-simplify: Simplify a into a 1538728909.708 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538728909.708 * [misc]taylor: Taking taylor expansion of b in b 1538728909.708 * [misc]backup-simplify: Simplify 0 into 0 1538728909.708 * [misc]backup-simplify: Simplify 1 into 1 1538728909.708 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538728909.708 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.708 * [misc]backup-simplify: Simplify (* (pow a 2) 1) into (pow a 2) 1538728909.708 * [misc]backup-simplify: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1538728909.708 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 1538728909.708 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 4)) in b 1538728909.709 * [misc]taylor: Taking taylor expansion of (pow a 4) in b 1538728909.709 * [misc]taylor: Taking taylor expansion of a in b 1538728909.709 * [misc]backup-simplify: Simplify a into a 1538728909.709 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538728909.709 * [misc]backup-simplify: Simplify (* (pow a 2) (pow a 2)) into (pow a 4) 1538728909.709 * [misc]backup-simplify: Simplify (/ 1 (pow a 4)) into (/ 1 (pow a 4)) 1538728909.709 * [misc]taylor: Taking taylor expansion of (/ 1 (pow b 4)) in b 1538728909.709 * [misc]taylor: Taking taylor expansion of (pow b 4) in b 1538728909.709 * [misc]taylor: Taking taylor expansion of b in b 1538728909.709 * [misc]backup-simplify: Simplify 0 into 0 1538728909.709 * [misc]backup-simplify: Simplify 1 into 1 1538728909.709 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.709 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.709 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538728909.710 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538728909.710 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538728909.710 * [misc]taylor: Taking taylor expansion of 1 in a 1538728909.710 * [misc]backup-simplify: Simplify 1 into 1 1538728909.710 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728909.710 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728909.711 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538728909.711 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538728909.711 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538728909.711 * [misc]taylor: Taking taylor expansion of 0 in a 1538728909.711 * [misc]backup-simplify: Simplify 0 into 0 1538728909.711 * [misc]backup-simplify: Simplify (* 2 (/ 1 (pow a 2))) into (/ 2 (pow a 2)) 1538728909.711 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.712 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.712 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728909.712 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538728909.712 * [misc]backup-simplify: Simplify (+ (/ 2 (pow a 2)) 0) into (* 2 (/ 1 (pow a 2))) 1538728909.712 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (pow a 2))) in a 1538728909.712 * [misc]taylor: Taking taylor expansion of 2 in a 1538728909.712 * [misc]backup-simplify: Simplify 2 into 2 1538728909.712 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 2)) in a 1538728909.713 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538728909.713 * [misc]taylor: Taking taylor expansion of a in a 1538728909.713 * [misc]backup-simplify: Simplify 0 into 0 1538728909.713 * [misc]backup-simplify: Simplify 1 into 1 1538728909.713 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.713 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538728909.713 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538728909.713 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1538728909.713 * [misc]backup-simplify: Simplify (+ (* (pow a 2) 0) (* 0 1)) into 0 1538728909.714 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0 1538728909.714 * [misc]backup-simplify: Simplify (+ (* 2 0) (* 0 (/ 1 (pow a 2)))) into 0 1538728909.714 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538728909.715 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538728909.715 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728909.715 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538728909.715 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538728909.715 * [misc]taylor: Taking taylor expansion of 0 in a 1538728909.715 * [misc]backup-simplify: Simplify 0 into 0 1538728909.716 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.716 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1538728909.716 * [misc]backup-simplify: Simplify (+ (* (pow a 2) 0) (+ (* 0 0) (* 0 1))) into 0 1538728909.717 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 1538728909.717 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 (pow a 2))))) into 0 1538728909.718 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538728909.718 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538728909.718 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538728909.719 * [misc]backup-simplify: Simplify (+ (/ 1 (pow a 4)) 0) into (/ 1 (pow a 4)) 1538728909.719 * [misc]backup-simplify: Simplify (+ 0 (/ 1 (pow a 4))) into (/ 1 (pow a 4)) 1538728909.719 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 4)) in a 1538728909.719 * [misc]taylor: Taking taylor expansion of (pow a 4) in a 1538728909.719 * [misc]taylor: Taking taylor expansion of a in a 1538728909.719 * [misc]backup-simplify: Simplify 0 into 0 1538728909.719 * [misc]backup-simplify: Simplify 1 into 1 1538728909.719 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.719 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538728909.719 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538728909.719 * [misc]backup-simplify: Simplify 1 into 1 1538728909.720 * [misc]backup-simplify: Simplify (* 2 1) into 2 1538728909.720 * [misc]backup-simplify: Simplify 2 into 2 1538728909.720 * [misc]backup-simplify: Simplify 1 into 1 1538728909.721 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- b)))) 4)) (+ (* 2 (pow (* (/ 1 (/ 1 (- a))) (/ 1 (/ 1 (- b)))) 2)) (* 1 (pow (* (/ 1 (/ 1 (- a))) 1) 4)))) into (+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4))) 1538728909.721 * * * [misc]progress: simplifying candidates 1538728909.721 * * * * [misc]progress: [ 1 / 66 ] simplifiying candidate # 1538728909.721 * [enter]simplify: Simplifying (* a b) 1538728909.721 * * [misc]simplify: iters left: 2 (3 enodes) 1538728909.723 * * [misc]simplify: iters left: 1 (4 enodes) 1538728909.724 * [exit]simplify: Simplified to (* a b) 1538728909.724 * [misc]simplify: Simplified (2 1 2 2 2 1) to (λ (a b) (- (+ (pow b 4) (+ (pow a 4) (* 2 (pow (* a b) 2)))) (- 1 (* (* b b) 4)))) 1538728909.724 * * * * [misc]progress: [ 2 / 66 ] simplifiying candidate # 1538728909.724 * * * * [misc]progress: [ 3 / 66 ] simplifiying candidate # 1538728909.724 * [enter]simplify: Simplifying (+ (* (log a) 2) (* (log b) 2)) 1538728909.725 * * [misc]simplify: iters left: 5 (8 enodes) 1538728909.728 * * [misc]simplify: iters left: 4 (13 enodes) 1538728909.733 * * [misc]simplify: iters left: 3 (16 enodes) 1538728909.738 * [exit]simplify: Simplified to (* 2 (+ (log a) (log b))) 1538728909.738 * [misc]simplify: Simplified (2 1 2 2 2 1) to (λ (a b) (- (+ (pow b 4) (+ (pow a 4) (* 2 (exp (* 2 (+ (log a) (log b))))))) (- 1 (* (* b b) 4)))) 1538728909.738 * * * * [misc]progress: [ 4 / 66 ] simplifiying candidate # 1538728909.738 * [enter]simplify: Simplifying (+ (* (log a) 2) (log (pow b 2))) 1538728909.739 * * [misc]simplify: iters left: 5 (8 enodes) 1538728909.742 * * [misc]simplify: iters left: 4 (13 enodes) 1538728909.745 * * [misc]simplify: iters left: 3 (19 enodes) 1538728909.748 * * [misc]simplify: iters left: 2 (24 enodes) 1538728909.752 * * [misc]simplify: iters left: 1 (25 enodes) 1538728909.756 * [exit]simplify: Simplified to (* 2 (+ (log a) (log b))) 1538728909.756 * [misc]simplify: Simplified (2 1 2 2 2 1) to (λ (a b) (- (+ (pow b 4) (+ (pow a 4) (* 2 (exp (* 2 (+ (log a) (log b))))))) (- 1 (* (* b b) 4)))) 1538728909.756 * * * * [misc]progress: [ 5 / 66 ] simplifiying candidate # 1538728909.756 * [enter]simplify: Simplifying (+ (log (pow a 2)) (* (log b) 2)) 1538728909.757 * * [misc]simplify: iters left: 5 (8 enodes) 1538728909.759 * * [misc]simplify: iters left: 4 (13 enodes) 1538728909.761 * * [misc]simplify: iters left: 3 (19 enodes) 1538728909.765 * * [misc]simplify: iters left: 2 (24 enodes) 1538728909.768 * * [misc]simplify: iters left: 1 (25 enodes) 1538728909.772 * [exit]simplify: Simplified to (* 2 (+ (log b) (log a))) 1538728909.773 * [misc]simplify: Simplified (2 1 2 2 2 1) to (λ (a b) (- (+ (pow b 4) (+ (pow a 4) (* 2 (exp (* 2 (+ (log b) (log a))))))) (- 1 (* (* b b) 4)))) 1538728909.773 * * * * [misc]progress: [ 6 / 66 ] simplifiying candidate # 1538728909.773 * [enter]simplify: Simplifying (+ (log (pow a 2)) (log (pow b 2))) 1538728909.773 * * [misc]simplify: iters left: 4 (8 enodes) 1538728909.775 * * [misc]simplify: iters left: 3 (15 enodes) 1538728909.778 * * [misc]simplify: iters left: 2 (23 enodes) 1538728909.783 * * [misc]simplify: iters left: 1 (32 enodes) 1538728909.790 * [exit]simplify: Simplified to (* (+ (log b) (log a)) 2) 1538728909.790 * [misc]simplify: Simplified (2 1 2 2 2 1) to (λ (a b) (- (+ (pow b 4) (+ (pow a 4) (* 2 (exp (* (+ (log b) (log a)) 2))))) (- 1 (* (* b b) 4)))) 1538728909.790 * * * * [misc]progress: [ 7 / 66 ] simplifiying candidate # 1538728909.790 * * * * [misc]progress: [ 8 / 66 ] simplifiying candidate # 1538728909.790 * * * * [misc]progress: [ 9 / 66 ] simplifiying candidate # 1538728909.790 * [enter]simplify: Simplifying (* (* (* (pow a 2) (pow a 2)) (pow a 2)) (* (* (pow b 2) (pow b 2)) (pow b 2))) 1538728909.791 * * [misc]simplify: iters left: 6 (10 enodes) 1538728909.795 * * [misc]simplify: iters left: 5 (19 enodes) 1538728909.802 * * [misc]simplify: iters left: 4 (60 enodes) 1538728909.831 * * [misc]simplify: iters left: 3 (192 enodes) 1538728910.013 * [exit]simplify: Simplified to (* (pow (* a a) 3) (pow (* b b) 3)) 1538728910.013 * [misc]simplify: Simplified (2 1 2 2 2 1) to (λ (a b) (- (+ (pow b 4) (+ (pow a 4) (* 2 (cbrt (* (pow (* a a) 3) (pow (* b b) 3)))))) (- 1 (* (* b b) 4)))) 1538728910.013 * * * * [misc]progress: [ 10 / 66 ] simplifiying candidate # 1538728910.014 * * * * [misc]progress: [ 11 / 66 ] simplifiying candidate # 1538728910.014 * * * * [misc]progress: [ 12 / 66 ] simplifiying candidate # 1538728910.014 * * * * [misc]progress: [ 13 / 66 ] simplifiying candidate # 1538728910.014 * * * * [misc]progress: [ 14 / 66 ] simplifiying candidate # 1538728910.014 * * * * [misc]progress: [ 15 / 66 ] simplifiying candidate # 1538728910.014 * [enter]simplify: Simplifying (cbrt (pow b 2)) 1538728910.014 * * [misc]simplify: iters left: 2 (4 enodes) 1538728910.015 * * [misc]simplify: iters left: 1 (5 enodes) 1538728910.016 * [exit]simplify: Simplified to (cbrt (* b b)) 1538728910.016 * [misc]simplify: Simplified (2 1 2 2 2 2) to (λ (a b) (- (+ (pow b 4) (+ (pow a 4) (* 2 (* (* (pow a 2) (* (cbrt (pow b 2)) (cbrt (pow b 2)))) (cbrt (* b b)))))) (- 1 (* (* b b) 4)))) 1538728910.016 * * * * [misc]progress: [ 16 / 66 ] simplifiying candidate # 1538728910.016 * [enter]simplify: Simplifying (sqrt (pow b 2)) 1538728910.016 * * [misc]simplify: iters left: 2 (4 enodes) 1538728910.017 * * [misc]simplify: iters left: 1 (5 enodes) 1538728910.018 * [exit]simplify: Simplified to (fabs b) 1538728910.018 * [misc]simplify: Simplified (2 1 2 2 2 2) to (λ (a b) (- (+ (pow b 4) (+ (pow a 4) (* 2 (* (* (pow a 2) (sqrt (pow b 2))) (fabs b))))) (- 1 (* (* b b) 4)))) 1538728910.018 * * * * [misc]progress: [ 17 / 66 ] simplifiying candidate # 1538728910.018 * [enter]simplify: Simplifying (pow b 2) 1538728910.018 * * [misc]simplify: iters left: 1 (3 enodes) 1538728910.019 * [exit]simplify: Simplified to (* b b) 1538728910.019 * [misc]simplify: Simplified (2 1 2 2 2 2) to (λ (a b) (- (+ (pow b 4) (+ (pow a 4) (* 2 (* (* (pow a 2) 1) (* b b))))) (- 1 (* (* b b) 4)))) 1538728910.019 * * * * [misc]progress: [ 18 / 66 ] simplifiying candidate # 1538728910.019 * * * * [misc]progress: [ 19 / 66 ] simplifiying candidate # 1538728910.019 * [enter]simplify: Simplifying (* (cbrt (pow a 2)) (cbrt (pow a 2))) 1538728910.019 * * [misc]simplify: iters left: 4 (5 enodes) 1538728910.020 * * [misc]simplify: iters left: 3 (6 enodes) 1538728910.021 * [exit]simplify: Simplified to (* (cbrt (* a a)) (cbrt (* a a))) 1538728910.021 * [misc]simplify: Simplified (2 1 2 2 2 1) to (λ (a b) (- (+ (pow b 4) (+ (pow a 4) (* 2 (* (* (cbrt (* a a)) (cbrt (* a a))) (* (cbrt (pow a 2)) (pow b 2)))))) (- 1 (* (* b b) 4)))) 1538728910.021 * * * * [misc]progress: [ 20 / 66 ] simplifiying candidate # 1538728910.022 * [enter]simplify: Simplifying (sqrt (pow a 2)) 1538728910.022 * * [misc]simplify: iters left: 2 (4 enodes) 1538728910.022 * * [misc]simplify: iters left: 1 (5 enodes) 1538728910.023 * [exit]simplify: Simplified to (fabs a) 1538728910.023 * [misc]simplify: Simplified (2 1 2 2 2 1) to (λ (a b) (- (+ (pow b 4) (+ (pow a 4) (* 2 (* (fabs a) (* (sqrt (pow a 2)) (pow b 2)))))) (- 1 (* (* b b) 4)))) 1538728910.023 * * * * [misc]progress: [ 21 / 66 ] simplifiying candidate # 1538728910.023 * * * * [misc]progress: [ 22 / 66 ] simplifiying candidate # 1538728910.024 * * * * [misc]progress: [ 23 / 66 ] simplifiying candidate # 1538728910.024 * * * * [misc]progress: [ 24 / 66 ] simplifiying candidate # 1538728910.024 * * * * [misc]progress: [ 25 / 66 ] simplifiying candidate # 1538728910.024 * * * * [misc]progress: [ 26 / 66 ] simplifiying candidate # 1538728910.024 * * * * [misc]progress: [ 27 / 66 ] simplifiying candidate # 1538728910.024 * * * * [misc]progress: [ 28 / 66 ] simplifiying candidate # 1538728910.024 * * * * [misc]progress: [ 29 / 66 ] simplifiying candidate # 1538728910.024 * * * * [misc]progress: [ 30 / 66 ] simplifiying candidate # 1538728910.024 * * * * [misc]progress: [ 31 / 66 ] simplifiying candidate # 1538728910.024 * * * * [misc]progress: [ 32 / 66 ] simplifiying candidate # 1538728910.024 * * * * [misc]progress: [ 33 / 66 ] simplifiying candidate # 1538728910.024 * * * * [misc]progress: [ 34 / 66 ] simplifiying candidate # 1538728910.024 * * * * [misc]progress: [ 35 / 66 ] simplifiying candidate # 1538728910.024 * * * * [misc]progress: [ 36 / 66 ] simplifiying candidate # 1538728910.024 * * * * [misc]progress: [ 37 / 66 ] simplifiying candidate # 1538728910.024 * * * * [misc]progress: [ 38 / 66 ] simplifiying candidate # 1538728910.024 * * * * [misc]progress: [ 39 / 66 ] simplifiying candidate # 1538728910.024 * [enter]simplify: Simplifying (pow b 2) 1538728910.024 * * [misc]simplify: iters left: 1 (3 enodes) 1538728910.025 * [exit]simplify: Simplified to (* b b) 1538728910.025 * [misc]simplify: Simplified (2 1 2 2 2) to (λ (a b) (- (+ (pow b 4) (+ (pow a 4) (* (* 2 (pow a 2)) (* b b)))) (- 1 (* (* b b) 4)))) 1538728910.025 * * * * [misc]progress: [ 40 / 66 ] simplifiying candidate # 1538728910.025 * * * * [misc]progress: [ 41 / 66 ] simplifiying candidate # 1538728910.025 * [enter]simplify: Simplifying (* (exp (pow b 4)) (* (exp (pow a 4)) (exp (* 2 (* (pow a 2) (pow b 2)))))) 1538728910.026 * * [misc]simplify: iters left: 6 (15 enodes) 1538728910.030 * * [misc]simplify: iters left: 5 (29 enodes) 1538728910.041 * * [misc]simplify: iters left: 4 (63 enodes) 1538728910.060 * * [misc]simplify: iters left: 3 (141 enodes) 1538728910.121 * * [misc]simplify: iters left: 2 (254 enodes) 1538728910.210 * * [misc]simplify: iters left: 1 (391 enodes) 1538728910.371 * [exit]simplify: Simplified to (* (pow (exp 2) (* (* a b) (* a b))) (exp (+ (pow a 4) (pow b 4)))) 1538728910.371 * [misc]simplify: Simplified (2 1 1) to (λ (a b) (- (log (* (pow (exp 2) (* (* a b) (* a b))) (exp (+ (pow a 4) (pow b 4))))) (- 1 (* (* b b) 4)))) 1538728910.371 * * * * [misc]progress: [ 42 / 66 ] simplifiying candidate # 1538728910.372 * [enter]simplify: Simplifying (* (exp (pow b 4)) (exp (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))) 1538728910.375 * * [misc]simplify: iters left: 6 (14 enodes) 1538728910.378 * * [misc]simplify: iters left: 5 (27 enodes) 1538728910.386 * * [misc]simplify: iters left: 4 (63 enodes) 1538728910.408 * * [misc]simplify: iters left: 3 (138 enodes) 1538728910.454 * * [misc]simplify: iters left: 2 (259 enodes) 1538728910.532 * * [misc]simplify: iters left: 1 (390 enodes) 1538728910.660 * [exit]simplify: Simplified to (* (exp (+ (pow a 4) (pow b 4))) (pow (exp 2) (* (* a b) (* a b)))) 1538728910.663 * [misc]simplify: Simplified (2 1 1) to (λ (a b) (- (log (* (exp (+ (pow a 4) (pow b 4))) (pow (exp 2) (* (* a b) (* a b))))) (- 1 (* (* b b) 4)))) 1538728910.663 * * * * [misc]progress: [ 43 / 66 ] simplifiying candidate # 1538728910.663 * * * * [misc]progress: [ 44 / 66 ] simplifiying candidate # 1538728910.663 * * * * [misc]progress: [ 45 / 66 ] simplifiying candidate # 1538728910.664 * * * * [misc]progress: [ 46 / 66 ] simplifiying candidate # 1538728910.664 * * * * [misc]progress: [ 47 / 66 ] simplifiying candidate # 1538728910.664 * * * * [misc]progress: [ 48 / 66 ] simplifiying candidate # 1538728910.664 * * * * [misc]progress: [ 49 / 66 ] simplifiying candidate # 1538728910.664 * * * * [misc]progress: [ 50 / 66 ] simplifiying candidate # 1538728910.664 * * * * [misc]progress: [ 51 / 66 ] simplifiying candidate # 1538728910.664 * * * * [misc]progress: [ 52 / 66 ] simplifiying candidate # 1538728910.664 * [enter]simplify: Simplifying (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) 1538728910.666 * * [misc]simplify: iters left: 6 (12 enodes) 1538728910.671 * * [misc]simplify: iters left: 5 (22 enodes) 1538728910.682 * * [misc]simplify: iters left: 4 (46 enodes) 1538728910.702 * * [misc]simplify: iters left: 3 (76 enodes) 1538728910.735 * * [misc]simplify: iters left: 2 (108 enodes) 1538728910.773 * * [misc]simplify: iters left: 1 (128 enodes) 1538728910.823 * [exit]simplify: Simplified to (+ (+ (pow b 4) (pow a 4)) (* (* a b) (* 2 (* a b)))) 1538728910.823 * [misc]simplify: Simplified (2 1 2) to (λ (a b) (- (* 1 (+ (+ (pow b 4) (pow a 4)) (* (* a b) (* 2 (* a b))))) (- 1 (* (* b b) 4)))) 1538728910.823 * * * * [misc]progress: [ 53 / 66 ] simplifiying candidate # 1538728910.824 * [enter]simplify: Simplifying (* 2 (* (pow a 2) (pow b 2))) 1538728910.824 * * [misc]simplify: iters left: 5 (7 enodes) 1538728910.827 * * [misc]simplify: iters left: 4 (13 enodes) 1538728910.833 * * [misc]simplify: iters left: 3 (31 enodes) 1538728910.848 * * [misc]simplify: iters left: 2 (61 enodes) 1538728910.873 * * [misc]simplify: iters left: 1 (96 enodes) 1538728910.905 * [exit]simplify: Simplified to (* (* b a) (* 2 (* b a))) 1538728910.905 * [misc]simplify: Simplified (2 1 2) to (λ (a b) (- (+ (+ (pow b 4) (pow a 4)) (* (* b a) (* 2 (* b a)))) (- 1 (* (* b b) 4)))) 1538728910.905 * * * * [misc]progress: [ 54 / 66 ] simplifiying candidate # 1538728910.905 * * * * [misc]progress: [ 55 / 66 ] simplifiying candidate # 1538728910.905 * [enter]simplify: Simplifying (* (pow a 2) (pow b 2)) 1538728910.906 * * [misc]simplify: iters left: 3 (6 enodes) 1538728910.907 * * [misc]simplify: iters left: 2 (9 enodes) 1538728910.909 * * [misc]simplify: iters left: 1 (17 enodes) 1538728910.913 * [exit]simplify: Simplified to (* (* b b) (* a a)) 1538728910.913 * [misc]simplify: Simplified (2 1 2 2 2) to (λ (a b) (- (+ (pow b 4) (+ (pow a 4) (* 2 (* (* b b) (* a a))))) (- 1 (* (* b b) 4)))) 1538728910.913 * * * * [misc]progress: [ 56 / 66 ] simplifiying candidate # 1538728910.914 * [enter]simplify: Simplifying (* (pow a 2) (pow b 2)) 1538728910.914 * * [misc]simplify: iters left: 3 (6 enodes) 1538728910.915 * * [misc]simplify: iters left: 2 (9 enodes) 1538728910.917 * * [misc]simplify: iters left: 1 (17 enodes) 1538728910.922 * [exit]simplify: Simplified to (* (* b b) (* a a)) 1538728910.922 * [misc]simplify: Simplified (2 1 2 2 2) to (λ (a b) (- (+ (pow b 4) (+ (pow a 4) (* 2 (* (* b b) (* a a))))) (- 1 (* (* b b) 4)))) 1538728910.922 * * * * [misc]progress: [ 57 / 66 ] simplifiying candidate # 1538728910.922 * [enter]simplify: Simplifying (* (pow a 2) (pow b 2)) 1538728910.922 * * [misc]simplify: iters left: 3 (6 enodes) 1538728910.923 * * [misc]simplify: iters left: 2 (9 enodes) 1538728910.926 * * [misc]simplify: iters left: 1 (17 enodes) 1538728910.930 * [exit]simplify: Simplified to (* (* b b) (* a a)) 1538728910.930 * [misc]simplify: Simplified (2 1 2 2 2) to (λ (a b) (- (+ (pow b 4) (+ (pow a 4) (* 2 (* (* b b) (* a a))))) (- 1 (* (* b b) 4)))) 1538728910.930 * * * * [misc]progress: [ 58 / 66 ] simplifiying candidate # 1538728910.930 * [enter]simplify: Simplifying (* 4 (pow b 2)) 1538728910.930 * * [misc]simplify: iters left: 3 (5 enodes) 1538728910.932 * * [misc]simplify: iters left: 2 (7 enodes) 1538728910.933 * * [misc]simplify: iters left: 1 (11 enodes) 1538728910.937 * [exit]simplify: Simplified to (* (* b b) 4) 1538728910.937 * [misc]simplify: Simplified (2 2 2) to (λ (a b) (- (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) (- 1 (* (* b b) 4)))) 1538728910.937 * * * * [misc]progress: [ 59 / 66 ] simplifiying candidate # 1538728910.938 * [enter]simplify: Simplifying (* 4 (pow b 2)) 1538728910.938 * * [misc]simplify: iters left: 3 (5 enodes) 1538728910.940 * * [misc]simplify: iters left: 2 (7 enodes) 1538728910.943 * * [misc]simplify: iters left: 1 (11 enodes) 1538728910.947 * [exit]simplify: Simplified to (* (* b b) 4) 1538728910.947 * [misc]simplify: Simplified (2 2 2) to (λ (a b) (- (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) (- 1 (* (* b b) 4)))) 1538728910.947 * * * * [misc]progress: [ 60 / 66 ] simplifiying candidate # 1538728910.947 * [enter]simplify: Simplifying (* 4 (pow b 2)) 1538728910.947 * * [misc]simplify: iters left: 3 (5 enodes) 1538728910.950 * * [misc]simplify: iters left: 2 (7 enodes) 1538728910.953 * * [misc]simplify: iters left: 1 (11 enodes) 1538728910.956 * [exit]simplify: Simplified to (* (* b b) 4) 1538728910.956 * [misc]simplify: Simplified (2 2 2) to (λ (a b) (- (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) (- 1 (* (* b b) 4)))) 1538728910.956 * * * * [misc]progress: [ 61 / 66 ] simplifiying candidate # 1538728910.956 * [enter]simplify: Simplifying (* 2 (* (pow a 2) (pow b 2))) 1538728910.957 * * [misc]simplify: iters left: 5 (7 enodes) 1538728910.958 * * [misc]simplify: iters left: 4 (13 enodes) 1538728910.962 * * [misc]simplify: iters left: 3 (31 enodes) 1538728910.970 * * [misc]simplify: iters left: 2 (61 enodes) 1538728910.985 * * [misc]simplify: iters left: 1 (96 enodes) 1538728911.010 * [exit]simplify: Simplified to (* (* b a) (* 2 (* b a))) 1538728911.010 * [misc]simplify: Simplified (2 1 2 2) to (λ (a b) (- (+ (pow b 4) (+ (pow a 4) (* (* b a) (* 2 (* b a))))) (- 1 (* (* b b) 4)))) 1538728911.010 * * * * [misc]progress: [ 62 / 66 ] simplifiying candidate # 1538728911.010 * [enter]simplify: Simplifying (* 2 (* (pow a 2) (pow b 2))) 1538728911.010 * * [misc]simplify: iters left: 5 (7 enodes) 1538728911.012 * * [misc]simplify: iters left: 4 (13 enodes) 1538728911.016 * * [misc]simplify: iters left: 3 (31 enodes) 1538728911.024 * * [misc]simplify: iters left: 2 (61 enodes) 1538728911.039 * * [misc]simplify: iters left: 1 (96 enodes) 1538728911.078 * [exit]simplify: Simplified to (* (* b a) (* 2 (* b a))) 1538728911.078 * [misc]simplify: Simplified (2 1 2 2) to (λ (a b) (- (+ (pow b 4) (+ (pow a 4) (* (* b a) (* 2 (* b a))))) (- 1 (* (* b b) 4)))) 1538728911.078 * * * * [misc]progress: [ 63 / 66 ] simplifiying candidate # 1538728911.078 * [enter]simplify: Simplifying (* 2 (* (pow a 2) (pow b 2))) 1538728911.079 * * [misc]simplify: iters left: 5 (7 enodes) 1538728911.082 * * [misc]simplify: iters left: 4 (13 enodes) 1538728911.089 * * [misc]simplify: iters left: 3 (31 enodes) 1538728911.104 * * [misc]simplify: iters left: 2 (61 enodes) 1538728911.120 * * [misc]simplify: iters left: 1 (96 enodes) 1538728911.150 * [exit]simplify: Simplified to (* (* b a) (* 2 (* b a))) 1538728911.150 * [misc]simplify: Simplified (2 1 2 2) to (λ (a b) (- (+ (pow b 4) (+ (pow a 4) (* (* b a) (* 2 (* b a))))) (- 1 (* (* b b) 4)))) 1538728911.150 * * * * [misc]progress: [ 64 / 66 ] simplifiying candidate # 1538728911.151 * [enter]simplify: Simplifying (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) 1538728911.152 * * [misc]simplify: iters left: 6 (12 enodes) 1538728911.158 * * [misc]simplify: iters left: 5 (22 enodes) 1538728911.170 * * [misc]simplify: iters left: 4 (46 enodes) 1538728911.184 * * [misc]simplify: iters left: 3 (76 enodes) 1538728911.201 * * [misc]simplify: iters left: 2 (108 enodes) 1538728911.229 * * [misc]simplify: iters left: 1 (128 enodes) 1538728911.280 * [exit]simplify: Simplified to (+ (+ (pow b 4) (pow a 4)) (* (* a b) (* 2 (* a b)))) 1538728911.280 * [misc]simplify: Simplified (2 1) to (λ (a b) (- (+ (+ (pow b 4) (pow a 4)) (* (* a b) (* 2 (* a b)))) (- 1 (* (* b b) 4)))) 1538728911.280 * * * * [misc]progress: [ 65 / 66 ] simplifiying candidate # 1538728911.280 * [enter]simplify: Simplifying (+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4))) 1538728911.281 * * [misc]simplify: iters left: 6 (12 enodes) 1538728911.288 * * [misc]simplify: iters left: 5 (22 enodes) 1538728911.298 * * [misc]simplify: iters left: 4 (46 enodes) 1538728911.316 * * [misc]simplify: iters left: 3 (76 enodes) 1538728911.334 * * [misc]simplify: iters left: 2 (110 enodes) 1538728911.369 * * [misc]simplify: iters left: 1 (130 enodes) 1538728911.418 * [exit]simplify: Simplified to (+ (* 2 (* (* a b) (* a b))) (+ (pow a 4) (pow b 4))) 1538728911.418 * [misc]simplify: Simplified (2 1) to (λ (a b) (- (+ (* 2 (* (* a b) (* a b))) (+ (pow a 4) (pow b 4))) (- 1 (* (* b b) 4)))) 1538728911.418 * * * * [misc]progress: [ 66 / 66 ] simplifiying candidate # 1538728911.418 * [enter]simplify: Simplifying (+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4))) 1538728911.420 * * [misc]simplify: iters left: 6 (12 enodes) 1538728911.425 * * [misc]simplify: iters left: 5 (22 enodes) 1538728911.436 * * [misc]simplify: iters left: 4 (46 enodes) 1538728911.458 * * [misc]simplify: iters left: 3 (76 enodes) 1538728911.496 * * [misc]simplify: iters left: 2 (110 enodes) 1538728911.535 * * [misc]simplify: iters left: 1 (130 enodes) 1538728911.584 * [exit]simplify: Simplified to (+ (* 2 (* (* a b) (* a b))) (+ (pow a 4) (pow b 4))) 1538728911.584 * [misc]simplify: Simplified (2 1) to (λ (a b) (- (+ (* 2 (* (* a b) (* a b))) (+ (pow a 4) (pow b 4))) (- 1 (* (* b b) 4)))) 1538728911.584 * * * [misc]progress: adding candidates to table 1538728913.202 * [misc]progress: [Phase 3 of 3] Extracting. 1538728913.211 * [enter]simplify: Simplifying (- (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) (- 1 (* (* b b) 4))) 1538728913.212 * * [misc]simplify: iters left: 6 (17 enodes) 1538728913.213 * * [misc]simplify: iters left: 5 (24 enodes) 1538728913.216 * [exit]simplify: Simplified to (- (+ (+ (pow a 4) (* (* (pow b 2) (pow a 2)) 2)) (pow b 4)) (- 1 (* 4 (* b b)))) 1538728913.216 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538728916.014 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728916.017 * * * * [misc]points: Sampling 4841 additional inputs, on iter 1 have 3159 / 8000 1538728917.782 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728917.783 * * * * [misc]points: Sampling 2942 additional inputs, on iter 2 have 5058 / 8000 1538728918.695 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728918.695 * * * * [misc]points: Sampling 1766 additional inputs, on iter 3 have 6234 / 8000 1538728919.668 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728919.668 * * * * [misc]points: Sampling 1064 additional inputs, on iter 4 have 6936 / 8000 1538728920.017 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728920.018 * * * * [misc]points: Sampling 648 additional inputs, on iter 5 have 7352 / 8000 1538728920.252 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728920.252 * * * * [misc]points: Sampling 418 additional inputs, on iter 6 have 7582 / 8000 1538728920.416 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728920.416 * * * * [misc]points: Sampling 247 additional inputs, on iter 7 have 7753 / 8000 1538728920.526 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728920.526 * * * * [misc]points: Sampling 149 additional inputs, on iter 8 have 7851 / 8000 1538728920.581 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728920.581 * * * * [misc]points: Sampling 88 additional inputs, on iter 9 have 7912 / 8000 1538728920.613 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728920.613 * * * * [misc]points: Sampling 51 additional inputs, on iter 10 have 7949 / 8000 1538728920.634 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728920.634 * * * * [misc]points: Sampling 33 additional inputs, on iter 11 have 7967 / 8000 1538728920.649 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728920.649 * * * * [misc]points: Sampling 24 additional inputs, on iter 12 have 7976 / 8000 1538728920.656 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728920.656 * * * * [misc]points: Sampling 13 additional inputs, on iter 13 have 7987 / 8000 1538728920.687 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728920.687 * * * * [misc]points: Sampling 8 additional inputs, on iter 14 have 7992 / 8000 1538728920.691 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728920.691 * * * * [misc]points: Sampling 5 additional inputs, on iter 15 have 7995 / 8000 1538728920.694 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728920.694 * * * * [misc]points: Sampling 5 additional inputs, on iter 16 have 7995 / 8000 1538728920.702 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728920.702 * * * * [misc]points: Sampling 5 additional inputs, on iter 17 have 7995 / 8000 1538728920.707 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728920.707 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 7998 / 8000 1538728920.712 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728920.712 * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 7999 / 8000 1538728920.717 * * * * [misc]points: Filtering points with unrepresentable outputs 1538728920.717 * * * * [exit]points: Sampled 8001 points with exact outputs