1538732087.666 * [misc]progress: [Phase 1 of 3] Setting up. 1538732087.666 * * * [misc]progress: [1/2] Preparing points 1538732087.667 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538732087.720 * * * * [misc]points: Filtering points with unrepresentable outputs 1538732087.720 * * * * [exit]points: Sampled 256 points with exact outputs 1538732087.720 * * * [misc]progress: [2/2] Setting up program. 1538732087.728 * [misc]progress: [Phase 2 of 3] Improving. 1538732087.728 * [enter]simplify: Simplifying (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) 1538732087.729 * * [misc]simplify: iters left: 6 (8 enodes) 1538732087.734 * * [misc]simplify: iters left: 5 (19 enodes) 1538732087.767 * * [misc]simplify: iters left: 4 (44 enodes) 1538732087.790 * * [misc]simplify: iters left: 3 (86 enodes) 1538732087.839 * * [misc]simplify: iters left: 2 (156 enodes) 1538732087.945 * * [misc]simplify: iters left: 1 (330 enodes) 1538732088.143 * [exit]simplify: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1538732088.153 * * [misc]progress: iteration 1 / 4 1538732088.153 * * * [misc]progress: picking best candidate 1538732088.161 * * * * [misc]pick: Picked # 1538732088.161 * * * [misc]progress: localizing error 1538732088.177 * * * [misc]progress: generating rewritten candidates 1538732088.177 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2) 1538732088.182 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 2) 1538732088.213 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1) 1538732088.248 * * * [misc]progress: generating series expansions 1538732088.248 * * * * [misc]progress: [ 1 / 3 ] generating series at (2) 1538732088.248 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1538732088.248 * [misc]approximate: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0 1538732088.248 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 1538732088.248 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 1538732088.248 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 1538732088.249 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1538732088.249 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1538732088.249 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 1538732088.249 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 1538732088.249 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 1538732088.249 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1538732088.249 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1538732088.249 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 1538732088.249 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 1538732088.249 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 1538732088.249 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1538732088.250 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1538732088.250 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 1538732088.250 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 1538732088.250 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 1538732088.250 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1538732088.250 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1538732088.250 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1538732088.250 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.250 * [misc]backup-simplify: Simplify 0 into 0 1538732088.250 * [misc]backup-simplify: Simplify 0 into 0 1538732088.250 * [misc]backup-simplify: Simplify 0 into 0 1538732088.251 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1538732088.251 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.251 * [misc]backup-simplify: Simplify 0 into 0 1538732088.251 * [misc]backup-simplify: Simplify 0 into 0 1538732088.251 * [misc]backup-simplify: Simplify 0 into 0 1538732088.252 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1538732088.252 * [misc]backup-simplify: Simplify 0 into 0 1538732088.252 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1538732088.252 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.252 * [misc]backup-simplify: Simplify 0 into 0 1538732088.252 * [misc]backup-simplify: Simplify 0 into 0 1538732088.252 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1538732088.252 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1538732088.253 * [misc]approximate: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 1538732088.253 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 1538732088.253 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 1538732088.253 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1538732088.253 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1538732088.253 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1538732088.253 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 1538732088.253 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 1538732088.253 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1538732088.253 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1538732088.253 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1538732088.253 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 1538732088.253 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 1538732088.254 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1538732088.254 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1538732088.254 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1538732088.254 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 1538732088.254 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 1538732088.254 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1538732088.254 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1538732088.254 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1538732088.254 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1538732088.254 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.254 * [misc]backup-simplify: Simplify 0 into 0 1538732088.255 * [misc]backup-simplify: Simplify 0 into 0 1538732088.255 * [misc]backup-simplify: Simplify 0 into 0 1538732088.255 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1538732088.255 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.255 * [misc]backup-simplify: Simplify 0 into 0 1538732088.255 * [misc]backup-simplify: Simplify 0 into 0 1538732088.255 * [misc]backup-simplify: Simplify 0 into 0 1538732088.256 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1538732088.256 * [misc]backup-simplify: Simplify 0 into 0 1538732088.256 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1538732088.256 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.256 * [misc]backup-simplify: Simplify 0 into 0 1538732088.256 * [misc]backup-simplify: Simplify 0 into 0 1538732088.257 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1538732088.257 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1538732088.257 * [misc]approximate: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 1538732088.257 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 1538732088.257 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 1538732088.257 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1538732088.257 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1538732088.257 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1538732088.257 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 1538732088.257 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 1538732088.258 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1538732088.258 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1538732088.258 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1538732088.258 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 1538732088.258 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 1538732088.258 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1538732088.258 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1538732088.258 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1538732088.258 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 1538732088.258 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 1538732088.259 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1538732088.259 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1538732088.259 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1538732088.259 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1538732088.259 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.259 * [misc]backup-simplify: Simplify 0 into 0 1538732088.259 * [misc]backup-simplify: Simplify 0 into 0 1538732088.259 * [misc]backup-simplify: Simplify 0 into 0 1538732088.260 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1538732088.260 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.260 * [misc]backup-simplify: Simplify 0 into 0 1538732088.260 * [misc]backup-simplify: Simplify 0 into 0 1538732088.260 * [misc]backup-simplify: Simplify 0 into 0 1538732088.260 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1538732088.260 * [misc]backup-simplify: Simplify 0 into 0 1538732088.261 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1538732088.261 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.261 * [misc]backup-simplify: Simplify 0 into 0 1538732088.261 * [misc]backup-simplify: Simplify 0 into 0 1538732088.264 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1538732088.264 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 2) 1538732088.264 * [misc]backup-simplify: Simplify (* (/ b a) (/ b a)) into (/ (pow b 2) (pow a 2)) 1538732088.264 * [misc]approximate: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0 1538732088.264 * [misc]taylor: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a 1538732088.264 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538732088.264 * [misc]taylor: Taking taylor expansion of b in a 1538732088.264 * [misc]backup-simplify: Simplify b into b 1538732088.264 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732088.264 * [misc]taylor: Taking taylor expansion of a in a 1538732088.264 * [misc]backup-simplify: Simplify 0 into 0 1538732088.264 * [misc]backup-simplify: Simplify 1 into 1 1538732088.264 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538732088.264 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732088.264 * [misc]backup-simplify: Simplify (/ (pow b 2) 1) into (pow b 2) 1538732088.264 * [misc]taylor: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 1538732088.264 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732088.264 * [misc]taylor: Taking taylor expansion of b in b 1538732088.265 * [misc]backup-simplify: Simplify 0 into 0 1538732088.265 * [misc]backup-simplify: Simplify 1 into 1 1538732088.265 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732088.265 * [misc]taylor: Taking taylor expansion of a in b 1538732088.265 * [misc]backup-simplify: Simplify a into a 1538732088.265 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732088.265 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732088.265 * [misc]backup-simplify: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1538732088.265 * [misc]taylor: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 1538732088.265 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732088.265 * [misc]taylor: Taking taylor expansion of b in b 1538732088.265 * [misc]backup-simplify: Simplify 0 into 0 1538732088.265 * [misc]backup-simplify: Simplify 1 into 1 1538732088.265 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732088.265 * [misc]taylor: Taking taylor expansion of a in b 1538732088.265 * [misc]backup-simplify: Simplify a into a 1538732088.265 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732088.265 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732088.265 * [misc]backup-simplify: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1538732088.265 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 2)) in a 1538732088.265 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732088.265 * [misc]taylor: Taking taylor expansion of a in a 1538732088.265 * [misc]backup-simplify: Simplify 0 into 0 1538732088.265 * [misc]backup-simplify: Simplify 1 into 1 1538732088.265 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732088.265 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538732088.265 * [misc]backup-simplify: Simplify 1 into 1 1538732088.266 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732088.266 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1538732088.266 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0 1538732088.266 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.266 * [misc]backup-simplify: Simplify 0 into 0 1538732088.266 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732088.266 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538732088.266 * [misc]backup-simplify: Simplify 0 into 0 1538732088.266 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732088.267 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1538732088.267 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 1538732088.267 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.267 * [misc]backup-simplify: Simplify 0 into 0 1538732088.267 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732088.267 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732088.267 * [misc]backup-simplify: Simplify 0 into 0 1538732088.267 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538732088.268 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1538732088.268 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 1538732088.268 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.268 * [misc]backup-simplify: Simplify 0 into 0 1538732088.268 * [misc]backup-simplify: Simplify 0 into 0 1538732088.268 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538732088.268 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732088.268 * [misc]backup-simplify: Simplify 0 into 0 1538732088.269 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538732088.269 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 1538732088.269 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 1538732088.269 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.269 * [misc]backup-simplify: Simplify 0 into 0 1538732088.269 * [misc]backup-simplify: Simplify 0 into 0 1538732088.269 * [misc]backup-simplify: Simplify 0 into 0 1538732088.270 * [misc]backup-simplify: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2)) 1538732088.270 * [misc]backup-simplify: Simplify (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) into (/ (pow a 2) (pow b 2)) 1538732088.270 * [misc]approximate: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 1538732088.270 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 1538732088.270 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732088.270 * [misc]taylor: Taking taylor expansion of a in a 1538732088.270 * [misc]backup-simplify: Simplify 0 into 0 1538732088.270 * [misc]backup-simplify: Simplify 1 into 1 1538732088.270 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538732088.270 * [misc]taylor: Taking taylor expansion of b in a 1538732088.270 * [misc]backup-simplify: Simplify b into b 1538732088.270 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732088.270 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538732088.270 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1538732088.270 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1538732088.270 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732088.270 * [misc]taylor: Taking taylor expansion of a in b 1538732088.270 * [misc]backup-simplify: Simplify a into a 1538732088.270 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732088.270 * [misc]taylor: Taking taylor expansion of b in b 1538732088.270 * [misc]backup-simplify: Simplify 0 into 0 1538732088.270 * [misc]backup-simplify: Simplify 1 into 1 1538732088.270 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732088.270 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732088.270 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1538732088.270 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1538732088.270 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732088.270 * [misc]taylor: Taking taylor expansion of a in b 1538732088.270 * [misc]backup-simplify: Simplify a into a 1538732088.270 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732088.271 * [misc]taylor: Taking taylor expansion of b in b 1538732088.271 * [misc]backup-simplify: Simplify 0 into 0 1538732088.271 * [misc]backup-simplify: Simplify 1 into 1 1538732088.271 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732088.271 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732088.271 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1538732088.271 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732088.271 * [misc]taylor: Taking taylor expansion of a in a 1538732088.271 * [misc]backup-simplify: Simplify 0 into 0 1538732088.271 * [misc]backup-simplify: Simplify 1 into 1 1538732088.271 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732088.271 * [misc]backup-simplify: Simplify 1 into 1 1538732088.271 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1538732088.271 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732088.271 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 1538732088.271 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.271 * [misc]backup-simplify: Simplify 0 into 0 1538732088.272 * [misc]backup-simplify: Simplify 0 into 0 1538732088.272 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732088.272 * [misc]backup-simplify: Simplify 0 into 0 1538732088.272 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1538732088.272 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732088.272 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732088.272 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.272 * [misc]backup-simplify: Simplify 0 into 0 1538732088.272 * [misc]backup-simplify: Simplify 0 into 0 1538732088.272 * [misc]backup-simplify: Simplify 0 into 0 1538732088.273 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732088.273 * [misc]backup-simplify: Simplify 0 into 0 1538732088.273 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1538732088.273 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538732088.273 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732088.273 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.273 * [misc]backup-simplify: Simplify 0 into 0 1538732088.273 * [misc]backup-simplify: Simplify 0 into 0 1538732088.274 * [misc]backup-simplify: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2)) 1538732088.274 * [misc]backup-simplify: Simplify (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2)) 1538732088.274 * [misc]approximate: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 1538732088.274 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 1538732088.274 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732088.274 * [misc]taylor: Taking taylor expansion of a in a 1538732088.274 * [misc]backup-simplify: Simplify 0 into 0 1538732088.274 * [misc]backup-simplify: Simplify 1 into 1 1538732088.274 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538732088.274 * [misc]taylor: Taking taylor expansion of b in a 1538732088.274 * [misc]backup-simplify: Simplify b into b 1538732088.274 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732088.274 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538732088.274 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1538732088.274 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1538732088.274 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732088.274 * [misc]taylor: Taking taylor expansion of a in b 1538732088.274 * [misc]backup-simplify: Simplify a into a 1538732088.274 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732088.274 * [misc]taylor: Taking taylor expansion of b in b 1538732088.274 * [misc]backup-simplify: Simplify 0 into 0 1538732088.274 * [misc]backup-simplify: Simplify 1 into 1 1538732088.274 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732088.275 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732088.275 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1538732088.275 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1538732088.275 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732088.275 * [misc]taylor: Taking taylor expansion of a in b 1538732088.275 * [misc]backup-simplify: Simplify a into a 1538732088.275 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732088.275 * [misc]taylor: Taking taylor expansion of b in b 1538732088.275 * [misc]backup-simplify: Simplify 0 into 0 1538732088.275 * [misc]backup-simplify: Simplify 1 into 1 1538732088.275 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732088.275 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732088.275 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1538732088.275 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732088.275 * [misc]taylor: Taking taylor expansion of a in a 1538732088.275 * [misc]backup-simplify: Simplify 0 into 0 1538732088.275 * [misc]backup-simplify: Simplify 1 into 1 1538732088.275 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732088.275 * [misc]backup-simplify: Simplify 1 into 1 1538732088.276 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1538732088.276 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732088.276 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 1538732088.276 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.276 * [misc]backup-simplify: Simplify 0 into 0 1538732088.276 * [misc]backup-simplify: Simplify 0 into 0 1538732088.276 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732088.276 * [misc]backup-simplify: Simplify 0 into 0 1538732088.276 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1538732088.277 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732088.277 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732088.277 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.277 * [misc]backup-simplify: Simplify 0 into 0 1538732088.277 * [misc]backup-simplify: Simplify 0 into 0 1538732088.277 * [misc]backup-simplify: Simplify 0 into 0 1538732088.277 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732088.277 * [misc]backup-simplify: Simplify 0 into 0 1538732088.277 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1538732088.278 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538732088.278 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732088.278 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.278 * [misc]backup-simplify: Simplify 0 into 0 1538732088.278 * [misc]backup-simplify: Simplify 0 into 0 1538732088.278 * [misc]backup-simplify: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2)) 1538732088.278 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1) 1538732088.279 * [misc]backup-simplify: Simplify (- 1 (* (/ b a) (/ b a))) into (- 1 (/ (pow b 2) (pow a 2))) 1538732088.279 * [misc]approximate: Taking taylor expansion of (- 1 (/ (pow b 2) (pow a 2))) in (b a) around 0 1538732088.279 * [misc]taylor: Taking taylor expansion of (- 1 (/ (pow b 2) (pow a 2))) in a 1538732088.279 * [misc]taylor: Taking taylor expansion of 1 in a 1538732088.279 * [misc]backup-simplify: Simplify 1 into 1 1538732088.279 * [misc]taylor: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a 1538732088.279 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538732088.279 * [misc]taylor: Taking taylor expansion of b in a 1538732088.279 * [misc]backup-simplify: Simplify b into b 1538732088.279 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732088.279 * [misc]taylor: Taking taylor expansion of a in a 1538732088.279 * [misc]backup-simplify: Simplify 0 into 0 1538732088.279 * [misc]backup-simplify: Simplify 1 into 1 1538732088.279 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538732088.279 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732088.279 * [misc]backup-simplify: Simplify (/ (pow b 2) 1) into (pow b 2) 1538732088.279 * [misc]taylor: Taking taylor expansion of (- 1 (/ (pow b 2) (pow a 2))) in b 1538732088.279 * [misc]taylor: Taking taylor expansion of 1 in b 1538732088.279 * [misc]backup-simplify: Simplify 1 into 1 1538732088.279 * [misc]taylor: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 1538732088.279 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732088.279 * [misc]taylor: Taking taylor expansion of b in b 1538732088.279 * [misc]backup-simplify: Simplify 0 into 0 1538732088.279 * [misc]backup-simplify: Simplify 1 into 1 1538732088.279 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732088.279 * [misc]taylor: Taking taylor expansion of a in b 1538732088.279 * [misc]backup-simplify: Simplify a into a 1538732088.280 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732088.280 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732088.280 * [misc]backup-simplify: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1538732088.280 * [misc]taylor: Taking taylor expansion of (- 1 (/ (pow b 2) (pow a 2))) in b 1538732088.280 * [misc]taylor: Taking taylor expansion of 1 in b 1538732088.280 * [misc]backup-simplify: Simplify 1 into 1 1538732088.280 * [misc]taylor: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 1538732088.280 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732088.280 * [misc]taylor: Taking taylor expansion of b in b 1538732088.280 * [misc]backup-simplify: Simplify 0 into 0 1538732088.280 * [misc]backup-simplify: Simplify 1 into 1 1538732088.280 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732088.280 * [misc]taylor: Taking taylor expansion of a in b 1538732088.280 * [misc]backup-simplify: Simplify a into a 1538732088.280 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732088.280 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732088.280 * [misc]backup-simplify: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1538732088.281 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538732088.281 * [misc]taylor: Taking taylor expansion of 1 in a 1538732088.281 * [misc]backup-simplify: Simplify 1 into 1 1538732088.281 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732088.281 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.281 * [misc]backup-simplify: Simplify 0 into 0 1538732088.281 * [misc]backup-simplify: Simplify (- (/ 1 (pow a 2))) into (- (/ 1 (pow a 2))) 1538732088.281 * [misc]backup-simplify: Simplify (+ 0 (- (/ 1 (pow a 2)))) into (- (/ 1 (pow a 2))) 1538732088.281 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow a 2))) in a 1538732088.281 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 2)) in a 1538732088.281 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732088.281 * [misc]taylor: Taking taylor expansion of a in a 1538732088.282 * [misc]backup-simplify: Simplify 0 into 0 1538732088.282 * [misc]backup-simplify: Simplify 1 into 1 1538732088.282 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732088.282 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538732088.282 * [misc]backup-simplify: Simplify (- 1) into -1 1538732088.282 * [misc]backup-simplify: Simplify -1 into -1 1538732088.282 * [misc]backup-simplify: Simplify 1 into 1 1538732088.282 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732088.282 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1538732088.283 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0 1538732088.283 * [misc]backup-simplify: Simplify (- 0) into 0 1538732088.283 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732088.283 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.283 * [misc]backup-simplify: Simplify 0 into 0 1538732088.283 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732088.284 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538732088.284 * [misc]backup-simplify: Simplify (- 0) into 0 1538732088.284 * [misc]backup-simplify: Simplify 0 into 0 1538732088.284 * [misc]backup-simplify: Simplify 0 into 0 1538732088.284 * [misc]backup-simplify: Simplify 0 into 0 1538732088.284 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732088.285 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1538732088.285 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 1538732088.285 * [misc]backup-simplify: Simplify (- 0) into 0 1538732088.285 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732088.285 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.285 * [misc]backup-simplify: Simplify 0 into 0 1538732088.286 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732088.286 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732088.286 * [misc]backup-simplify: Simplify (- 0) into 0 1538732088.286 * [misc]backup-simplify: Simplify 0 into 0 1538732088.286 * [misc]backup-simplify: Simplify 0 into 0 1538732088.286 * [misc]backup-simplify: Simplify 0 into 0 1538732088.287 * [misc]backup-simplify: Simplify (+ 1 (* -1 (pow (* (/ 1 a) b) 2))) into (- 1 (/ (pow b 2) (pow a 2))) 1538732088.287 * [misc]backup-simplify: Simplify (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a)))) into (- 1 (/ (pow a 2) (pow b 2))) 1538732088.287 * [misc]approximate: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in (b a) around 0 1538732088.287 * [misc]taylor: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in a 1538732088.287 * [misc]taylor: Taking taylor expansion of 1 in a 1538732088.287 * [misc]backup-simplify: Simplify 1 into 1 1538732088.287 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 1538732088.287 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732088.288 * [misc]taylor: Taking taylor expansion of a in a 1538732088.288 * [misc]backup-simplify: Simplify 0 into 0 1538732088.288 * [misc]backup-simplify: Simplify 1 into 1 1538732088.288 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538732088.288 * [misc]taylor: Taking taylor expansion of b in a 1538732088.288 * [misc]backup-simplify: Simplify b into b 1538732088.288 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732088.288 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538732088.288 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1538732088.288 * [misc]taylor: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in b 1538732088.288 * [misc]taylor: Taking taylor expansion of 1 in b 1538732088.288 * [misc]backup-simplify: Simplify 1 into 1 1538732088.288 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1538732088.288 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732088.289 * [misc]taylor: Taking taylor expansion of a in b 1538732088.289 * [misc]backup-simplify: Simplify a into a 1538732088.289 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732088.289 * [misc]taylor: Taking taylor expansion of b in b 1538732088.289 * [misc]backup-simplify: Simplify 0 into 0 1538732088.289 * [misc]backup-simplify: Simplify 1 into 1 1538732088.289 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732088.289 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732088.289 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1538732088.289 * [misc]taylor: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in b 1538732088.289 * [misc]taylor: Taking taylor expansion of 1 in b 1538732088.289 * [misc]backup-simplify: Simplify 1 into 1 1538732088.289 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1538732088.289 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732088.289 * [misc]taylor: Taking taylor expansion of a in b 1538732088.289 * [misc]backup-simplify: Simplify a into a 1538732088.289 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732088.289 * [misc]taylor: Taking taylor expansion of b in b 1538732088.289 * [misc]backup-simplify: Simplify 0 into 0 1538732088.289 * [misc]backup-simplify: Simplify 1 into 1 1538732088.289 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732088.290 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732088.290 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1538732088.290 * [misc]backup-simplify: Simplify (- (pow a 2)) into (- (pow a 2)) 1538732088.290 * [misc]backup-simplify: Simplify (+ 0 (- (pow a 2))) into (- (pow a 2)) 1538732088.290 * [misc]taylor: Taking taylor expansion of (- (pow a 2)) in a 1538732088.290 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732088.290 * [misc]taylor: Taking taylor expansion of a in a 1538732088.290 * [misc]backup-simplify: Simplify 0 into 0 1538732088.290 * [misc]backup-simplify: Simplify 1 into 1 1538732088.290 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1538732088.291 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732088.291 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 1538732088.291 * [misc]backup-simplify: Simplify (- 0) into 0 1538732088.291 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732088.291 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.291 * [misc]backup-simplify: Simplify 0 into 0 1538732088.291 * [misc]backup-simplify: Simplify 0 into 0 1538732088.292 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1538732088.292 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732088.292 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732088.293 * [misc]backup-simplify: Simplify (- 0) into 0 1538732088.293 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538732088.293 * [misc]taylor: Taking taylor expansion of 1 in a 1538732088.293 * [misc]backup-simplify: Simplify 1 into 1 1538732088.293 * [misc]backup-simplify: Simplify 1 into 1 1538732088.293 * [misc]backup-simplify: Simplify 0 into 0 1538732088.293 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732088.293 * [misc]backup-simplify: Simplify (- 1) into -1 1538732088.293 * [misc]backup-simplify: Simplify -1 into -1 1538732088.294 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1538732088.294 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538732088.295 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732088.295 * [misc]backup-simplify: Simplify (- 0) into 0 1538732088.295 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732088.295 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.295 * [misc]backup-simplify: Simplify 0 into 0 1538732088.295 * [misc]backup-simplify: Simplify 0 into 0 1538732088.295 * [misc]backup-simplify: Simplify 0 into 0 1538732088.295 * [misc]backup-simplify: Simplify 0 into 0 1538732088.296 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732088.296 * [misc]backup-simplify: Simplify (- 0) into 0 1538732088.296 * [misc]backup-simplify: Simplify 0 into 0 1538732088.296 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 1538732088.297 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538732088.298 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732088.298 * [misc]backup-simplify: Simplify (- 0) into 0 1538732088.298 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732088.298 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.298 * [misc]backup-simplify: Simplify 0 into 0 1538732088.298 * [misc]backup-simplify: Simplify 0 into 0 1538732088.298 * [misc]backup-simplify: Simplify 0 into 0 1538732088.299 * [misc]backup-simplify: Simplify (+ (* -1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) 1) into (- 1 (/ (pow b 2) (pow a 2))) 1538732088.299 * [misc]backup-simplify: Simplify (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a))))) into (- 1 (/ (pow a 2) (pow b 2))) 1538732088.299 * [misc]approximate: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in (b a) around 0 1538732088.299 * [misc]taylor: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in a 1538732088.299 * [misc]taylor: Taking taylor expansion of 1 in a 1538732088.299 * [misc]backup-simplify: Simplify 1 into 1 1538732088.300 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 1538732088.300 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732088.300 * [misc]taylor: Taking taylor expansion of a in a 1538732088.300 * [misc]backup-simplify: Simplify 0 into 0 1538732088.300 * [misc]backup-simplify: Simplify 1 into 1 1538732088.300 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538732088.300 * [misc]taylor: Taking taylor expansion of b in a 1538732088.300 * [misc]backup-simplify: Simplify b into b 1538732088.300 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732088.300 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538732088.300 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1538732088.300 * [misc]taylor: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in b 1538732088.300 * [misc]taylor: Taking taylor expansion of 1 in b 1538732088.300 * [misc]backup-simplify: Simplify 1 into 1 1538732088.300 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1538732088.300 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732088.300 * [misc]taylor: Taking taylor expansion of a in b 1538732088.300 * [misc]backup-simplify: Simplify a into a 1538732088.300 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732088.300 * [misc]taylor: Taking taylor expansion of b in b 1538732088.301 * [misc]backup-simplify: Simplify 0 into 0 1538732088.301 * [misc]backup-simplify: Simplify 1 into 1 1538732088.301 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732088.301 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732088.301 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1538732088.301 * [misc]taylor: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in b 1538732088.301 * [misc]taylor: Taking taylor expansion of 1 in b 1538732088.301 * [misc]backup-simplify: Simplify 1 into 1 1538732088.301 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1538732088.301 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732088.301 * [misc]taylor: Taking taylor expansion of a in b 1538732088.301 * [misc]backup-simplify: Simplify a into a 1538732088.301 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732088.301 * [misc]taylor: Taking taylor expansion of b in b 1538732088.301 * [misc]backup-simplify: Simplify 0 into 0 1538732088.301 * [misc]backup-simplify: Simplify 1 into 1 1538732088.301 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732088.301 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732088.302 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1538732088.302 * [misc]backup-simplify: Simplify (- (pow a 2)) into (- (pow a 2)) 1538732088.302 * [misc]backup-simplify: Simplify (+ 0 (- (pow a 2))) into (- (pow a 2)) 1538732088.302 * [misc]taylor: Taking taylor expansion of (- (pow a 2)) in a 1538732088.302 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732088.302 * [misc]taylor: Taking taylor expansion of a in a 1538732088.302 * [misc]backup-simplify: Simplify 0 into 0 1538732088.302 * [misc]backup-simplify: Simplify 1 into 1 1538732088.302 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1538732088.302 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732088.303 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 1538732088.303 * [misc]backup-simplify: Simplify (- 0) into 0 1538732088.303 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732088.303 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.303 * [misc]backup-simplify: Simplify 0 into 0 1538732088.303 * [misc]backup-simplify: Simplify 0 into 0 1538732088.304 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1538732088.304 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732088.304 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732088.305 * [misc]backup-simplify: Simplify (- 0) into 0 1538732088.305 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538732088.305 * [misc]taylor: Taking taylor expansion of 1 in a 1538732088.305 * [misc]backup-simplify: Simplify 1 into 1 1538732088.305 * [misc]backup-simplify: Simplify 1 into 1 1538732088.305 * [misc]backup-simplify: Simplify 0 into 0 1538732088.305 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732088.305 * [misc]backup-simplify: Simplify (- 1) into -1 1538732088.305 * [misc]backup-simplify: Simplify -1 into -1 1538732088.306 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1538732088.306 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538732088.307 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732088.307 * [misc]backup-simplify: Simplify (- 0) into 0 1538732088.307 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732088.307 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.307 * [misc]backup-simplify: Simplify 0 into 0 1538732088.307 * [misc]backup-simplify: Simplify 0 into 0 1538732088.307 * [misc]backup-simplify: Simplify 0 into 0 1538732088.307 * [misc]backup-simplify: Simplify 0 into 0 1538732088.307 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732088.308 * [misc]backup-simplify: Simplify (- 0) into 0 1538732088.308 * [misc]backup-simplify: Simplify 0 into 0 1538732088.308 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 1538732088.308 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538732088.309 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732088.309 * [misc]backup-simplify: Simplify (- 0) into 0 1538732088.309 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732088.309 * [misc]taylor: Taking taylor expansion of 0 in a 1538732088.309 * [misc]backup-simplify: Simplify 0 into 0 1538732088.309 * [misc]backup-simplify: Simplify 0 into 0 1538732088.309 * [misc]backup-simplify: Simplify 0 into 0 1538732088.309 * [misc]backup-simplify: Simplify (+ (* -1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) 1) into (- 1 (/ (pow b 2) (pow a 2))) 1538732088.309 * * * [misc]progress: simplifying candidates 1538732088.309 * * * * [misc]progress: [ 1 / 63 ] simplifiying candidate # 1538732088.309 * * * * [misc]progress: [ 2 / 63 ] simplifiying candidate # 1538732088.310 * * * * [misc]progress: [ 3 / 63 ] simplifiying candidate # 1538732088.310 * * * * [misc]progress: [ 4 / 63 ] simplifiying candidate # 1538732088.310 * * * * [misc]progress: [ 5 / 63 ] simplifiying candidate # 1538732088.310 * * * * [misc]progress: [ 6 / 63 ] simplifiying candidate # 1538732088.310 * * * * [misc]progress: [ 7 / 63 ] simplifiying candidate # 1538732088.310 * * * * [misc]progress: [ 8 / 63 ] simplifiying candidate # 1538732088.310 * * * * [misc]progress: [ 9 / 63 ] simplifiying candidate # 1538732088.310 * [enter]simplify: Simplifying (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))) 1538732088.311 * * [misc]simplify: iters left: 6 (10 enodes) 1538732088.313 * * [misc]simplify: iters left: 5 (19 enodes) 1538732088.318 * * [misc]simplify: iters left: 4 (33 enodes) 1538732088.325 * * [misc]simplify: iters left: 3 (51 enodes) 1538732088.333 * * [misc]simplify: iters left: 2 (66 enodes) 1538732088.343 * * [misc]simplify: iters left: 1 (74 enodes) 1538732088.357 * [exit]simplify: Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1538732088.357 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))) 1538732088.357 * * * * [misc]progress: [ 10 / 63 ] simplifiying candidate # 1538732088.358 * [enter]simplify: Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1538732088.360 * * [misc]simplify: iters left: 6 (9 enodes) 1538732088.365 * * [misc]simplify: iters left: 5 (17 enodes) 1538732088.372 * * [misc]simplify: iters left: 4 (31 enodes) 1538732088.384 * * [misc]simplify: iters left: 3 (49 enodes) 1538732088.401 * * [misc]simplify: iters left: 2 (64 enodes) 1538732088.419 * * [misc]simplify: iters left: 1 (72 enodes) 1538732088.445 * [exit]simplify: Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1538732088.445 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) 1538732088.446 * * * * [misc]progress: [ 11 / 63 ] simplifiying candidate # 1538732088.446 * [enter]simplify: Simplifying (sqrt 1) 1538732088.446 * * [misc]simplify: iters left: 1 (2 enodes) 1538732088.448 * [exit]simplify: Simplified to 1 1538732088.448 * [misc]simplify: Simplified (2 1) to (λ (a b) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) 1538732088.448 * * * * [misc]progress: [ 12 / 63 ] simplifiying candidate # 1538732088.448 * * * * [misc]progress: [ 13 / 63 ] simplifiying candidate # 1538732088.448 * [enter]simplify: Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1538732088.448 * * [misc]simplify: iters left: 6 (8 enodes) 1538732088.451 * * [misc]simplify: iters left: 5 (16 enodes) 1538732088.455 * * [misc]simplify: iters left: 4 (30 enodes) 1538732088.461 * * [misc]simplify: iters left: 3 (48 enodes) 1538732088.469 * * [misc]simplify: iters left: 2 (63 enodes) 1538732088.480 * * [misc]simplify: iters left: 1 (71 enodes) 1538732088.500 * [exit]simplify: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1538732088.500 * [misc]simplify: Simplified (2 1) to (λ (a b) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) 1538732088.501 * * * * [misc]progress: [ 14 / 63 ] simplifiying candidate # 1538732088.501 * * * * [misc]progress: [ 15 / 63 ] simplifiying candidate # 1538732088.501 * * * * [misc]progress: [ 16 / 63 ] simplifiying candidate # 1538732088.501 * * * * [misc]progress: [ 17 / 63 ] simplifiying candidate # 1538732088.501 * [enter]simplify: Simplifying (/ b a) 1538732088.501 * * [misc]simplify: iters left: 2 (3 enodes) 1538732088.503 * [exit]simplify: Simplified to (/ b a) 1538732088.503 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1)))))) 1538732088.503 * [enter]simplify: Simplifying (+ 1 1) 1538732088.503 * * [misc]simplify: iters left: 2 (2 enodes) 1538732088.505 * * [misc]simplify: iters left: 1 (5 enodes) 1538732088.506 * [exit]simplify: Simplified to 2 1538732088.506 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) 2))))) 1538732088.506 * * * * [misc]progress: [ 18 / 63 ] simplifiying candidate # 1538732088.507 * [enter]simplify: Simplifying (* (/ b a) (/ b a)) 1538732088.507 * * [misc]simplify: iters left: 4 (4 enodes) 1538732088.509 * * [misc]simplify: iters left: 3 (8 enodes) 1538732088.512 * * [misc]simplify: iters left: 2 (14 enodes) 1538732088.515 * * [misc]simplify: iters left: 1 (20 enodes) 1538732088.519 * [exit]simplify: Simplified to (* (/ b a) (/ b a)) 1538732088.519 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1))))) 1538732088.519 * * * * [misc]progress: [ 19 / 63 ] simplifiying candidate # 1538732088.519 * * * * [misc]progress: [ 20 / 63 ] simplifiying candidate # 1538732088.519 * [enter]simplify: Simplifying (/ b a) 1538732088.519 * * [misc]simplify: iters left: 2 (3 enodes) 1538732088.520 * [exit]simplify: Simplified to (/ b a) 1538732088.520 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1)))))) 1538732088.520 * * * * [misc]progress: [ 21 / 63 ] simplifiying candidate # 1538732088.520 * * * * [misc]progress: [ 22 / 63 ] simplifiying candidate # 1538732088.520 * [enter]simplify: Simplifying (+ (log (/ b a)) (log (/ b a))) 1538732088.521 * * [misc]simplify: iters left: 5 (5 enodes) 1538732088.522 * * [misc]simplify: iters left: 4 (8 enodes) 1538732088.524 * * [misc]simplify: iters left: 3 (14 enodes) 1538732088.527 * * [misc]simplify: iters left: 2 (28 enodes) 1538732088.534 * * [misc]simplify: iters left: 1 (53 enodes) 1538732088.553 * [exit]simplify: Simplified to (+ (log (/ b a)) (log (/ b a))) 1538732088.553 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a)))))))) 1538732088.553 * * * * [misc]progress: [ 23 / 63 ] simplifiying candidate # 1538732088.553 * * * * [misc]progress: [ 24 / 63 ] simplifiying candidate # 1538732088.553 * * * * [misc]progress: [ 25 / 63 ] simplifiying candidate # 1538732088.554 * [enter]simplify: Simplifying (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a))) 1538732088.554 * * [misc]simplify: iters left: 6 (6 enodes) 1538732088.558 * * [misc]simplify: iters left: 5 (17 enodes) 1538732088.570 * * [misc]simplify: iters left: 4 (61 enodes) 1538732088.597 * * [misc]simplify: iters left: 3 (157 enodes) 1538732088.711 * * [misc]simplify: iters left: 2 (463 enodes) 1538732089.701 * [exit]simplify: Simplified to (pow (/ b a) 6) 1538732089.701 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) 1538732089.701 * * * * [misc]progress: [ 26 / 63 ] simplifiying candidate # 1538732089.701 * * * * [misc]progress: [ 27 / 63 ] simplifiying candidate # 1538732089.701 * * * * [misc]progress: [ 28 / 63 ] simplifiying candidate # 1538732089.701 * * * * [misc]progress: [ 29 / 63 ] simplifiying candidate # 1538732089.701 * [enter]simplify: Simplifying (* b b) 1538732089.702 * * [misc]simplify: iters left: 2 (2 enodes) 1538732089.702 * [exit]simplify: Simplified to (* b b) 1538732089.703 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) 1538732089.703 * [enter]simplify: Simplifying (* a a) 1538732089.703 * * [misc]simplify: iters left: 2 (2 enodes) 1538732089.704 * [exit]simplify: Simplified to (* a a) 1538732089.704 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) 1538732089.704 * * * * [misc]progress: [ 30 / 63 ] simplifiying candidate # 1538732089.704 * * * * [misc]progress: [ 31 / 63 ] simplifiying candidate # 1538732089.704 * [enter]simplify: Simplifying (cbrt (/ b a)) 1538732089.705 * * [misc]simplify: iters left: 3 (4 enodes) 1538732089.706 * [exit]simplify: Simplified to (cbrt (/ b a)) 1538732089.706 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a))))))) 1538732089.706 * * * * [misc]progress: [ 32 / 63 ] simplifiying candidate # 1538732089.707 * [enter]simplify: Simplifying (sqrt (/ b a)) 1538732089.707 * * [misc]simplify: iters left: 3 (4 enodes) 1538732089.709 * [exit]simplify: Simplified to (sqrt (/ b a)) 1538732089.709 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a))))))) 1538732089.709 * * * * [misc]progress: [ 33 / 63 ] simplifiying candidate # 1538732089.709 * [enter]simplify: Simplifying (/ b a) 1538732089.709 * * [misc]simplify: iters left: 2 (3 enodes) 1538732089.711 * [exit]simplify: Simplified to (/ b a) 1538732089.711 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) 1) (/ b a)))))) 1538732089.711 * * * * [misc]progress: [ 34 / 63 ] simplifiying candidate # 1538732089.711 * [enter]simplify: Simplifying (/ 1 a) 1538732089.711 * * [misc]simplify: iters left: 2 (3 enodes) 1538732089.712 * * [misc]simplify: iters left: 1 (5 enodes) 1538732089.714 * [exit]simplify: Simplified to (/ 1 a) 1538732089.714 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) b) (/ 1 a)))))) 1538732089.714 * * * * [misc]progress: [ 35 / 63 ] simplifiying candidate # 1538732089.714 * [enter]simplify: Simplifying (* (cbrt (/ b a)) (cbrt (/ b a))) 1538732089.715 * * [misc]simplify: iters left: 5 (5 enodes) 1538732089.717 * [exit]simplify: Simplified to (* (cbrt (/ b a)) (cbrt (/ b a))) 1538732089.717 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (cbrt (/ b a)) (/ b a))))))) 1538732089.718 * * * * [misc]progress: [ 36 / 63 ] simplifiying candidate # 1538732089.718 * [enter]simplify: Simplifying (sqrt (/ b a)) 1538732089.718 * * [misc]simplify: iters left: 3 (4 enodes) 1538732089.720 * [exit]simplify: Simplified to (sqrt (/ b a)) 1538732089.720 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a))))))) 1538732089.720 * * * * [misc]progress: [ 37 / 63 ] simplifiying candidate # 1538732089.720 * * * * [misc]progress: [ 38 / 63 ] simplifiying candidate # 1538732089.720 * * * * [misc]progress: [ 39 / 63 ] simplifiying candidate # 1538732089.720 * * * * [misc]progress: [ 40 / 63 ] simplifiying candidate # 1538732089.720 * [enter]simplify: Simplifying (* b (/ b a)) 1538732089.721 * * [misc]simplify: iters left: 4 (4 enodes) 1538732089.722 * * [misc]simplify: iters left: 3 (7 enodes) 1538732089.725 * * [misc]simplify: iters left: 2 (9 enodes) 1538732089.728 * [exit]simplify: Simplified to (* b (/ b a)) 1538732089.728 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) 1538732089.729 * * * * [misc]progress: [ 41 / 63 ] simplifiying candidate # 1538732089.729 * * * * [misc]progress: [ 42 / 63 ] simplifiying candidate # 1538732089.729 * * * * [misc]progress: [ 43 / 63 ] simplifiying candidate # 1538732089.731 * * * * [misc]progress: [ 44 / 63 ] simplifiying candidate # 1538732089.731 * * * * [misc]progress: [ 45 / 63 ] simplifiying candidate # 1538732089.731 * * * * [misc]progress: [ 46 / 63 ] simplifiying candidate # 1538732089.731 * * * * [misc]progress: [ 47 / 63 ] simplifiying candidate # 1538732089.731 * * * * [misc]progress: [ 48 / 63 ] simplifiying candidate # 1538732089.732 * * * * [misc]progress: [ 49 / 63 ] simplifiying candidate # 1538732089.732 * * * * [misc]progress: [ 50 / 63 ] simplifiying candidate # 1538732089.732 * * * * [misc]progress: [ 51 / 63 ] simplifiying candidate # 1538732089.732 * * * * [misc]progress: [ 52 / 63 ] simplifiying candidate # 1538732089.732 * * * * [misc]progress: [ 53 / 63 ] simplifiying candidate # 1538732089.732 * * * * [misc]progress: [ 54 / 63 ] simplifiying candidate # 1538732089.732 * * * * [misc]progress: [ 55 / 63 ] simplifiying candidate # 1538732089.732 * [enter]simplify: Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1538732089.733 * * [misc]simplify: iters left: 6 (10 enodes) 1538732089.737 * * [misc]simplify: iters left: 5 (16 enodes) 1538732089.743 * * [misc]simplify: iters left: 4 (25 enodes) 1538732089.753 * * [misc]simplify: iters left: 3 (42 enodes) 1538732089.772 * * [misc]simplify: iters left: 2 (68 enodes) 1538732089.792 * * [misc]simplify: iters left: 1 (77 enodes) 1538732089.814 * [exit]simplify: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1538732089.814 * [misc]simplify: Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1538732089.814 * * * * [misc]progress: [ 56 / 63 ] simplifiying candidate # 1538732089.815 * [enter]simplify: Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1538732089.815 * * [misc]simplify: iters left: 6 (10 enodes) 1538732089.823 * * [misc]simplify: iters left: 5 (16 enodes) 1538732089.828 * * [misc]simplify: iters left: 4 (25 enodes) 1538732089.838 * * [misc]simplify: iters left: 3 (42 enodes) 1538732089.856 * * [misc]simplify: iters left: 2 (68 enodes) 1538732089.870 * * [misc]simplify: iters left: 1 (77 enodes) 1538732089.883 * [exit]simplify: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1538732089.883 * [misc]simplify: Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1538732089.883 * * * * [misc]progress: [ 57 / 63 ] simplifiying candidate # 1538732089.883 * [enter]simplify: Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1538732089.884 * * [misc]simplify: iters left: 6 (10 enodes) 1538732089.888 * * [misc]simplify: iters left: 5 (16 enodes) 1538732089.894 * * [misc]simplify: iters left: 4 (25 enodes) 1538732089.904 * * [misc]simplify: iters left: 3 (42 enodes) 1538732089.924 * * [misc]simplify: iters left: 2 (68 enodes) 1538732089.949 * * [misc]simplify: iters left: 1 (77 enodes) 1538732089.963 * [exit]simplify: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1538732089.963 * [misc]simplify: Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1538732089.963 * * * * [misc]progress: [ 58 / 63 ] simplifiying candidate # 1538732089.963 * [enter]simplify: Simplifying (/ (pow b 2) (pow a 2)) 1538732089.963 * * [misc]simplify: iters left: 3 (6 enodes) 1538732089.965 * * [misc]simplify: iters left: 2 (8 enodes) 1538732089.966 * * [misc]simplify: iters left: 1 (14 enodes) 1538732089.970 * [exit]simplify: Simplified to (* (/ b a) (/ b a)) 1538732089.970 * [misc]simplify: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1538732089.971 * * * * [misc]progress: [ 59 / 63 ] simplifiying candidate # 1538732089.971 * [enter]simplify: Simplifying (/ (pow b 2) (pow a 2)) 1538732089.971 * * [misc]simplify: iters left: 3 (6 enodes) 1538732089.972 * * [misc]simplify: iters left: 2 (8 enodes) 1538732089.974 * * [misc]simplify: iters left: 1 (14 enodes) 1538732089.978 * [exit]simplify: Simplified to (* (/ b a) (/ b a)) 1538732089.978 * [misc]simplify: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1538732089.978 * * * * [misc]progress: [ 60 / 63 ] simplifiying candidate # 1538732089.978 * [enter]simplify: Simplifying (/ (pow b 2) (pow a 2)) 1538732089.978 * * [misc]simplify: iters left: 3 (6 enodes) 1538732089.980 * * [misc]simplify: iters left: 2 (8 enodes) 1538732089.981 * * [misc]simplify: iters left: 1 (14 enodes) 1538732089.985 * [exit]simplify: Simplified to (* (/ b a) (/ b a)) 1538732089.985 * [misc]simplify: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1538732089.985 * * * * [misc]progress: [ 61 / 63 ] simplifiying candidate # 1538732089.985 * [enter]simplify: Simplifying (- 1 (/ (pow b 2) (pow a 2))) 1538732089.986 * * [misc]simplify: iters left: 5 (8 enodes) 1538732089.988 * * [misc]simplify: iters left: 4 (14 enodes) 1538732089.991 * * [misc]simplify: iters left: 3 (23 enodes) 1538732089.996 * * [misc]simplify: iters left: 2 (40 enodes) 1538732090.014 * * [misc]simplify: iters left: 1 (66 enodes) 1538732090.038 * [exit]simplify: Simplified to (- 1 (* (/ b a) (/ b a))) 1538732090.038 * [misc]simplify: Simplified (2 1 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1538732090.038 * * * * [misc]progress: [ 62 / 63 ] simplifiying candidate # 1538732090.038 * [enter]simplify: Simplifying (- 1 (/ (pow b 2) (pow a 2))) 1538732090.041 * * [misc]simplify: iters left: 5 (8 enodes) 1538732090.045 * * [misc]simplify: iters left: 4 (14 enodes) 1538732090.050 * * [misc]simplify: iters left: 3 (23 enodes) 1538732090.060 * * [misc]simplify: iters left: 2 (40 enodes) 1538732090.077 * * [misc]simplify: iters left: 1 (66 enodes) 1538732090.102 * [exit]simplify: Simplified to (- 1 (* (/ b a) (/ b a))) 1538732090.102 * [misc]simplify: Simplified (2 1 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1538732090.102 * * * * [misc]progress: [ 63 / 63 ] simplifiying candidate # 1538732090.103 * [enter]simplify: Simplifying (- 1 (/ (pow b 2) (pow a 2))) 1538732090.103 * * [misc]simplify: iters left: 5 (8 enodes) 1538732090.107 * * [misc]simplify: iters left: 4 (14 enodes) 1538732090.113 * * [misc]simplify: iters left: 3 (23 enodes) 1538732090.122 * * [misc]simplify: iters left: 2 (40 enodes) 1538732090.143 * * [misc]simplify: iters left: 1 (66 enodes) 1538732090.168 * [exit]simplify: Simplified to (- 1 (* (/ b a) (/ b a))) 1538732090.168 * [misc]simplify: Simplified (2 1 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1538732090.169 * * * [misc]progress: adding candidates to table 1538732091.188 * * [misc]progress: iteration 2 / 4 1538732091.188 * * * [misc]progress: picking best candidate 1538732091.200 * * * * [misc]pick: Picked # 1538732091.200 * * * [misc]progress: localizing error 1538732091.236 * * * [misc]progress: generating rewritten candidates 1538732091.236 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1538732091.658 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2) 1538732091.666 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2 2) 1538732091.710 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1 2 2) 1538732091.752 * * * [misc]progress: generating series expansions 1538732091.752 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1538732091.752 * [misc]backup-simplify: Simplify (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (* (/ b a) (/ b a)))) into (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)) 1538732091.752 * [misc]approximate: Taking taylor expansion of (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)) in (b a) around 0 1538732091.752 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)) in a 1538732091.752 * [misc]taylor: Taking taylor expansion of (- 1 (/ (pow b 4) (pow a 4))) in a 1538732091.752 * [misc]taylor: Taking taylor expansion of 1 in a 1538732091.753 * [misc]backup-simplify: Simplify 1 into 1 1538732091.753 * [misc]taylor: Taking taylor expansion of (/ (pow b 4) (pow a 4)) in a 1538732091.753 * [misc]taylor: Taking taylor expansion of (pow b 4) in a 1538732091.753 * [misc]taylor: Taking taylor expansion of b in a 1538732091.753 * [misc]backup-simplify: Simplify b into b 1538732091.753 * [misc]taylor: Taking taylor expansion of (pow a 4) in a 1538732091.753 * [misc]taylor: Taking taylor expansion of a in a 1538732091.753 * [misc]backup-simplify: Simplify 0 into 0 1538732091.753 * [misc]backup-simplify: Simplify 1 into 1 1538732091.753 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538732091.753 * [misc]backup-simplify: Simplify (* (pow b 2) (pow b 2)) into (pow b 4) 1538732091.753 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.753 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.753 * [misc]backup-simplify: Simplify (/ (pow b 4) 1) into (pow b 4) 1538732091.753 * [misc]taylor: Taking taylor expansion of (+ (/ (pow b 2) (pow a 2)) 1) in a 1538732091.753 * [misc]taylor: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a 1538732091.753 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538732091.753 * [misc]taylor: Taking taylor expansion of b in a 1538732091.753 * [misc]backup-simplify: Simplify b into b 1538732091.753 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732091.753 * [misc]taylor: Taking taylor expansion of a in a 1538732091.753 * [misc]backup-simplify: Simplify 0 into 0 1538732091.753 * [misc]backup-simplify: Simplify 1 into 1 1538732091.753 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538732091.753 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.753 * [misc]backup-simplify: Simplify (/ (pow b 2) 1) into (pow b 2) 1538732091.753 * [misc]taylor: Taking taylor expansion of 1 in a 1538732091.753 * [misc]backup-simplify: Simplify 1 into 1 1538732091.754 * [misc]backup-simplify: Simplify (- (pow b 4)) into (- (pow b 4)) 1538732091.754 * [misc]backup-simplify: Simplify (+ 0 (- (pow b 4))) into (- (pow b 4)) 1538732091.754 * [misc]backup-simplify: Simplify (+ (pow b 2) 0) into (pow b 2) 1538732091.754 * [misc]backup-simplify: Simplify (/ (- (pow b 4)) (pow b 2)) into (* -1 (pow b 2)) 1538732091.754 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)) in b 1538732091.754 * [misc]taylor: Taking taylor expansion of (- 1 (/ (pow b 4) (pow a 4))) in b 1538732091.754 * [misc]taylor: Taking taylor expansion of 1 in b 1538732091.754 * [misc]backup-simplify: Simplify 1 into 1 1538732091.754 * [misc]taylor: Taking taylor expansion of (/ (pow b 4) (pow a 4)) in b 1538732091.754 * [misc]taylor: Taking taylor expansion of (pow b 4) in b 1538732091.754 * [misc]taylor: Taking taylor expansion of b in b 1538732091.754 * [misc]backup-simplify: Simplify 0 into 0 1538732091.754 * [misc]backup-simplify: Simplify 1 into 1 1538732091.754 * [misc]taylor: Taking taylor expansion of (pow a 4) in b 1538732091.754 * [misc]taylor: Taking taylor expansion of a in b 1538732091.754 * [misc]backup-simplify: Simplify a into a 1538732091.754 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.754 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.754 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732091.754 * [misc]backup-simplify: Simplify (* (pow a 2) (pow a 2)) into (pow a 4) 1538732091.754 * [misc]backup-simplify: Simplify (/ 1 (pow a 4)) into (/ 1 (pow a 4)) 1538732091.754 * [misc]taylor: Taking taylor expansion of (+ (/ (pow b 2) (pow a 2)) 1) in b 1538732091.754 * [misc]taylor: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 1538732091.754 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732091.754 * [misc]taylor: Taking taylor expansion of b in b 1538732091.754 * [misc]backup-simplify: Simplify 0 into 0 1538732091.754 * [misc]backup-simplify: Simplify 1 into 1 1538732091.754 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732091.755 * [misc]taylor: Taking taylor expansion of a in b 1538732091.755 * [misc]backup-simplify: Simplify a into a 1538732091.755 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.755 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732091.755 * [misc]backup-simplify: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1538732091.755 * [misc]taylor: Taking taylor expansion of 1 in b 1538732091.755 * [misc]backup-simplify: Simplify 1 into 1 1538732091.755 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538732091.755 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538732091.755 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538732091.755 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)) in b 1538732091.755 * [misc]taylor: Taking taylor expansion of (- 1 (/ (pow b 4) (pow a 4))) in b 1538732091.755 * [misc]taylor: Taking taylor expansion of 1 in b 1538732091.755 * [misc]backup-simplify: Simplify 1 into 1 1538732091.755 * [misc]taylor: Taking taylor expansion of (/ (pow b 4) (pow a 4)) in b 1538732091.755 * [misc]taylor: Taking taylor expansion of (pow b 4) in b 1538732091.755 * [misc]taylor: Taking taylor expansion of b in b 1538732091.755 * [misc]backup-simplify: Simplify 0 into 0 1538732091.755 * [misc]backup-simplify: Simplify 1 into 1 1538732091.755 * [misc]taylor: Taking taylor expansion of (pow a 4) in b 1538732091.755 * [misc]taylor: Taking taylor expansion of a in b 1538732091.755 * [misc]backup-simplify: Simplify a into a 1538732091.755 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.756 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.756 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732091.756 * [misc]backup-simplify: Simplify (* (pow a 2) (pow a 2)) into (pow a 4) 1538732091.756 * [misc]backup-simplify: Simplify (/ 1 (pow a 4)) into (/ 1 (pow a 4)) 1538732091.756 * [misc]taylor: Taking taylor expansion of (+ (/ (pow b 2) (pow a 2)) 1) in b 1538732091.756 * [misc]taylor: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 1538732091.756 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732091.756 * [misc]taylor: Taking taylor expansion of b in b 1538732091.756 * [misc]backup-simplify: Simplify 0 into 0 1538732091.756 * [misc]backup-simplify: Simplify 1 into 1 1538732091.756 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732091.756 * [misc]taylor: Taking taylor expansion of a in b 1538732091.756 * [misc]backup-simplify: Simplify a into a 1538732091.756 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.756 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732091.756 * [misc]backup-simplify: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1538732091.756 * [misc]taylor: Taking taylor expansion of 1 in b 1538732091.756 * [misc]backup-simplify: Simplify 1 into 1 1538732091.756 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538732091.756 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538732091.756 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538732091.756 * [misc]taylor: Taking taylor expansion of 1 in a 1538732091.756 * [misc]backup-simplify: Simplify 1 into 1 1538732091.757 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732091.757 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732091.757 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0 1538732091.757 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.757 * [misc]backup-simplify: Simplify 0 into 0 1538732091.757 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732091.757 * [misc]backup-simplify: Simplify (+ (/ 1 (pow a 2)) 0) into (/ 1 (pow a 2)) 1538732091.757 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ (/ 1 (pow a 2)) 1)) (* 0 (/ 0 1)))) into (- (/ 1 (pow a 2))) 1538732091.757 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow a 2))) in a 1538732091.757 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 2)) in a 1538732091.757 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732091.758 * [misc]taylor: Taking taylor expansion of a in a 1538732091.758 * [misc]backup-simplify: Simplify 0 into 0 1538732091.758 * [misc]backup-simplify: Simplify 1 into 1 1538732091.758 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.758 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538732091.758 * [misc]backup-simplify: Simplify (- 1) into -1 1538732091.758 * [misc]backup-simplify: Simplify -1 into -1 1538732091.758 * [misc]backup-simplify: Simplify 1 into 1 1538732091.758 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732091.758 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732091.758 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1538732091.758 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0 1538732091.758 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732091.759 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ (/ 1 (pow a 2)) 1)) (* (- (/ 1 (pow a 2))) (/ 0 1)))) into 0 1538732091.759 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.759 * [misc]backup-simplify: Simplify 0 into 0 1538732091.759 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732091.759 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538732091.759 * [misc]backup-simplify: Simplify (- 0) into 0 1538732091.759 * [misc]backup-simplify: Simplify 0 into 0 1538732091.759 * [misc]backup-simplify: Simplify 0 into 0 1538732091.759 * [misc]backup-simplify: Simplify 0 into 0 1538732091.760 * [misc]backup-simplify: Simplify (- (/ 1 (pow a 4))) into (- (/ 1 (pow a 4))) 1538732091.760 * [misc]backup-simplify: Simplify (+ 0 (- (/ 1 (pow a 4)))) into (- (/ 1 (pow a 4))) 1538732091.760 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732091.760 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1538732091.760 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 1538732091.760 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732091.761 * [misc]backup-simplify: Simplify (- (/ (- (/ 1 (pow a 4))) 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* (- (/ 1 (pow a 2))) (/ (/ 1 (pow a 2)) 1)) (* 0 (/ 0 1)))) into 0 1538732091.761 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.761 * [misc]backup-simplify: Simplify 0 into 0 1538732091.761 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732091.761 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732091.761 * [misc]backup-simplify: Simplify (- 0) into 0 1538732091.761 * [misc]backup-simplify: Simplify 0 into 0 1538732091.761 * [misc]backup-simplify: Simplify 0 into 0 1538732091.761 * [misc]backup-simplify: Simplify 0 into 0 1538732091.762 * [misc]backup-simplify: Simplify (+ 1 (* -1 (pow (* (/ 1 a) b) 2))) into (- 1 (/ (pow b 2) (pow a 2))) 1538732091.762 * [misc]backup-simplify: Simplify (/ (- (* 1 1) (* (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))))) (+ 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))))) into (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)) 1538732091.762 * [misc]approximate: Taking taylor expansion of (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)) in (b a) around 0 1538732091.762 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)) in a 1538732091.762 * [misc]taylor: Taking taylor expansion of (- 1 (/ (pow a 4) (pow b 4))) in a 1538732091.762 * [misc]taylor: Taking taylor expansion of 1 in a 1538732091.762 * [misc]backup-simplify: Simplify 1 into 1 1538732091.763 * [misc]taylor: Taking taylor expansion of (/ (pow a 4) (pow b 4)) in a 1538732091.763 * [misc]taylor: Taking taylor expansion of (pow a 4) in a 1538732091.763 * [misc]taylor: Taking taylor expansion of a in a 1538732091.763 * [misc]backup-simplify: Simplify 0 into 0 1538732091.763 * [misc]backup-simplify: Simplify 1 into 1 1538732091.763 * [misc]taylor: Taking taylor expansion of (pow b 4) in a 1538732091.763 * [misc]taylor: Taking taylor expansion of b in a 1538732091.763 * [misc]backup-simplify: Simplify b into b 1538732091.763 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.763 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.763 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538732091.763 * [misc]backup-simplify: Simplify (* (pow b 2) (pow b 2)) into (pow b 4) 1538732091.763 * [misc]backup-simplify: Simplify (/ 1 (pow b 4)) into (/ 1 (pow b 4)) 1538732091.763 * [misc]taylor: Taking taylor expansion of (+ (/ (pow a 2) (pow b 2)) 1) in a 1538732091.763 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 1538732091.763 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732091.763 * [misc]taylor: Taking taylor expansion of a in a 1538732091.763 * [misc]backup-simplify: Simplify 0 into 0 1538732091.763 * [misc]backup-simplify: Simplify 1 into 1 1538732091.763 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538732091.763 * [misc]taylor: Taking taylor expansion of b in a 1538732091.763 * [misc]backup-simplify: Simplify b into b 1538732091.763 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.763 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538732091.763 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1538732091.763 * [misc]taylor: Taking taylor expansion of 1 in a 1538732091.763 * [misc]backup-simplify: Simplify 1 into 1 1538732091.764 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538732091.764 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538732091.764 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538732091.764 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)) in b 1538732091.764 * [misc]taylor: Taking taylor expansion of (- 1 (/ (pow a 4) (pow b 4))) in b 1538732091.764 * [misc]taylor: Taking taylor expansion of 1 in b 1538732091.764 * [misc]backup-simplify: Simplify 1 into 1 1538732091.764 * [misc]taylor: Taking taylor expansion of (/ (pow a 4) (pow b 4)) in b 1538732091.764 * [misc]taylor: Taking taylor expansion of (pow a 4) in b 1538732091.764 * [misc]taylor: Taking taylor expansion of a in b 1538732091.764 * [misc]backup-simplify: Simplify a into a 1538732091.764 * [misc]taylor: Taking taylor expansion of (pow b 4) in b 1538732091.764 * [misc]taylor: Taking taylor expansion of b in b 1538732091.764 * [misc]backup-simplify: Simplify 0 into 0 1538732091.764 * [misc]backup-simplify: Simplify 1 into 1 1538732091.764 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732091.764 * [misc]backup-simplify: Simplify (* (pow a 2) (pow a 2)) into (pow a 4) 1538732091.764 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.764 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.764 * [misc]backup-simplify: Simplify (/ (pow a 4) 1) into (pow a 4) 1538732091.764 * [misc]taylor: Taking taylor expansion of (+ (/ (pow a 2) (pow b 2)) 1) in b 1538732091.764 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1538732091.764 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732091.764 * [misc]taylor: Taking taylor expansion of a in b 1538732091.765 * [misc]backup-simplify: Simplify a into a 1538732091.765 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732091.765 * [misc]taylor: Taking taylor expansion of b in b 1538732091.765 * [misc]backup-simplify: Simplify 0 into 0 1538732091.765 * [misc]backup-simplify: Simplify 1 into 1 1538732091.765 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732091.765 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.765 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1538732091.765 * [misc]taylor: Taking taylor expansion of 1 in b 1538732091.765 * [misc]backup-simplify: Simplify 1 into 1 1538732091.765 * [misc]backup-simplify: Simplify (- (pow a 4)) into (- (pow a 4)) 1538732091.765 * [misc]backup-simplify: Simplify (+ 0 (- (pow a 4))) into (- (pow a 4)) 1538732091.765 * [misc]backup-simplify: Simplify (+ (pow a 2) 0) into (pow a 2) 1538732091.765 * [misc]backup-simplify: Simplify (/ (- (pow a 4)) (pow a 2)) into (* -1 (pow a 2)) 1538732091.765 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)) in b 1538732091.765 * [misc]taylor: Taking taylor expansion of (- 1 (/ (pow a 4) (pow b 4))) in b 1538732091.765 * [misc]taylor: Taking taylor expansion of 1 in b 1538732091.765 * [misc]backup-simplify: Simplify 1 into 1 1538732091.765 * [misc]taylor: Taking taylor expansion of (/ (pow a 4) (pow b 4)) in b 1538732091.765 * [misc]taylor: Taking taylor expansion of (pow a 4) in b 1538732091.765 * [misc]taylor: Taking taylor expansion of a in b 1538732091.765 * [misc]backup-simplify: Simplify a into a 1538732091.765 * [misc]taylor: Taking taylor expansion of (pow b 4) in b 1538732091.765 * [misc]taylor: Taking taylor expansion of b in b 1538732091.765 * [misc]backup-simplify: Simplify 0 into 0 1538732091.765 * [misc]backup-simplify: Simplify 1 into 1 1538732091.765 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732091.765 * [misc]backup-simplify: Simplify (* (pow a 2) (pow a 2)) into (pow a 4) 1538732091.766 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.766 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.766 * [misc]backup-simplify: Simplify (/ (pow a 4) 1) into (pow a 4) 1538732091.766 * [misc]taylor: Taking taylor expansion of (+ (/ (pow a 2) (pow b 2)) 1) in b 1538732091.766 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1538732091.766 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732091.766 * [misc]taylor: Taking taylor expansion of a in b 1538732091.766 * [misc]backup-simplify: Simplify a into a 1538732091.766 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732091.766 * [misc]taylor: Taking taylor expansion of b in b 1538732091.766 * [misc]backup-simplify: Simplify 0 into 0 1538732091.766 * [misc]backup-simplify: Simplify 1 into 1 1538732091.766 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732091.766 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.766 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1538732091.766 * [misc]taylor: Taking taylor expansion of 1 in b 1538732091.766 * [misc]backup-simplify: Simplify 1 into 1 1538732091.766 * [misc]backup-simplify: Simplify (- (pow a 4)) into (- (pow a 4)) 1538732091.766 * [misc]backup-simplify: Simplify (+ 0 (- (pow a 4))) into (- (pow a 4)) 1538732091.766 * [misc]backup-simplify: Simplify (+ (pow a 2) 0) into (pow a 2) 1538732091.767 * [misc]backup-simplify: Simplify (/ (- (pow a 4)) (pow a 2)) into (* -1 (pow a 2)) 1538732091.767 * [misc]taylor: Taking taylor expansion of (* -1 (pow a 2)) in a 1538732091.767 * [misc]taylor: Taking taylor expansion of -1 in a 1538732091.767 * [misc]backup-simplify: Simplify -1 into -1 1538732091.767 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732091.767 * [misc]taylor: Taking taylor expansion of a in a 1538732091.767 * [misc]backup-simplify: Simplify 0 into 0 1538732091.767 * [misc]backup-simplify: Simplify 1 into 1 1538732091.767 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1538732091.767 * [misc]backup-simplify: Simplify (+ (* (pow a 2) 0) (* 0 (pow a 2))) into 0 1538732091.767 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732091.767 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732091.767 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 4) (/ 0 1)))) into 0 1538732091.768 * [misc]backup-simplify: Simplify (- 0) into 0 1538732091.768 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732091.768 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1538732091.768 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732091.768 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 1538732091.768 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732091.768 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (* -1 (pow a 2)) (/ 0 (pow a 2))))) into 0 1538732091.768 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.768 * [misc]backup-simplify: Simplify 0 into 0 1538732091.768 * [misc]backup-simplify: Simplify 0 into 0 1538732091.769 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1538732091.769 * [misc]backup-simplify: Simplify (+ (* (pow a 2) 0) (+ (* 0 0) (* 0 (pow a 2)))) into 0 1538732091.769 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732091.769 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732091.769 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 4) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732091.770 * [misc]backup-simplify: Simplify (- 0) into 0 1538732091.770 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732091.770 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1538732091.770 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732091.770 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732091.770 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538732091.771 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (* -1 (pow a 2)) (/ 1 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 1 1538732091.771 * [misc]taylor: Taking taylor expansion of 1 in a 1538732091.771 * [misc]backup-simplify: Simplify 1 into 1 1538732091.771 * [misc]backup-simplify: Simplify 1 into 1 1538732091.771 * [misc]backup-simplify: Simplify 0 into 0 1538732091.771 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.771 * [misc]backup-simplify: Simplify (* -1 1) into -1 1538732091.771 * [misc]backup-simplify: Simplify -1 into -1 1538732091.772 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1538732091.772 * [misc]backup-simplify: Simplify (+ (* (pow a 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow a 2))))) into 0 1538732091.772 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538732091.772 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538732091.773 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 4) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732091.773 * [misc]backup-simplify: Simplify (- 0) into 0 1538732091.773 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732091.773 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1538732091.773 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538732091.774 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732091.774 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732091.774 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (* -1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 1 (pow a 2))) (* 1 (/ 0 (pow a 2))))) into 0 1538732091.774 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.774 * [misc]backup-simplify: Simplify 0 into 0 1538732091.774 * [misc]backup-simplify: Simplify 0 into 0 1538732091.774 * [misc]backup-simplify: Simplify 0 into 0 1538732091.774 * [misc]backup-simplify: Simplify 0 into 0 1538732091.774 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732091.775 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 1)) into 0 1538732091.775 * [misc]backup-simplify: Simplify 0 into 0 1538732091.775 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 1538732091.775 * [misc]backup-simplify: Simplify (+ (* (pow a 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow a 2)))))) into 0 1538732091.776 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538732091.776 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538732091.777 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 4) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732091.777 * [misc]backup-simplify: Simplify (- 0) into 0 1538732091.777 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538732091.778 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 1538732091.778 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538732091.779 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732091.779 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732091.780 * [misc]backup-simplify: Simplify (- (/ 1 (pow a 2)) (+ (* (* -1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 1 (/ 1 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 1538732091.780 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.780 * [misc]backup-simplify: Simplify 0 into 0 1538732091.780 * [misc]backup-simplify: Simplify 0 into 0 1538732091.780 * [misc]backup-simplify: Simplify 0 into 0 1538732091.787 * [misc]backup-simplify: Simplify (+ (* -1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) 1) into (- 1 (/ (pow b 2) (pow a 2))) 1538732091.789 * [misc]backup-simplify: Simplify (/ (- (* 1 1) (* (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))))) (+ 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))))) into (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)) 1538732091.789 * [misc]approximate: Taking taylor expansion of (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)) in (b a) around 0 1538732091.789 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)) in a 1538732091.789 * [misc]taylor: Taking taylor expansion of (- 1 (/ (pow a 4) (pow b 4))) in a 1538732091.789 * [misc]taylor: Taking taylor expansion of 1 in a 1538732091.789 * [misc]backup-simplify: Simplify 1 into 1 1538732091.789 * [misc]taylor: Taking taylor expansion of (/ (pow a 4) (pow b 4)) in a 1538732091.789 * [misc]taylor: Taking taylor expansion of (pow a 4) in a 1538732091.789 * [misc]taylor: Taking taylor expansion of a in a 1538732091.789 * [misc]backup-simplify: Simplify 0 into 0 1538732091.789 * [misc]backup-simplify: Simplify 1 into 1 1538732091.789 * [misc]taylor: Taking taylor expansion of (pow b 4) in a 1538732091.789 * [misc]taylor: Taking taylor expansion of b in a 1538732091.789 * [misc]backup-simplify: Simplify b into b 1538732091.790 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.790 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.790 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538732091.790 * [misc]backup-simplify: Simplify (* (pow b 2) (pow b 2)) into (pow b 4) 1538732091.790 * [misc]backup-simplify: Simplify (/ 1 (pow b 4)) into (/ 1 (pow b 4)) 1538732091.790 * [misc]taylor: Taking taylor expansion of (+ (/ (pow a 2) (pow b 2)) 1) in a 1538732091.790 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 1538732091.791 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732091.791 * [misc]taylor: Taking taylor expansion of a in a 1538732091.791 * [misc]backup-simplify: Simplify 0 into 0 1538732091.791 * [misc]backup-simplify: Simplify 1 into 1 1538732091.791 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538732091.791 * [misc]taylor: Taking taylor expansion of b in a 1538732091.791 * [misc]backup-simplify: Simplify b into b 1538732091.791 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.791 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538732091.791 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1538732091.791 * [misc]taylor: Taking taylor expansion of 1 in a 1538732091.791 * [misc]backup-simplify: Simplify 1 into 1 1538732091.791 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538732091.792 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538732091.792 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538732091.792 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)) in b 1538732091.792 * [misc]taylor: Taking taylor expansion of (- 1 (/ (pow a 4) (pow b 4))) in b 1538732091.792 * [misc]taylor: Taking taylor expansion of 1 in b 1538732091.792 * [misc]backup-simplify: Simplify 1 into 1 1538732091.792 * [misc]taylor: Taking taylor expansion of (/ (pow a 4) (pow b 4)) in b 1538732091.792 * [misc]taylor: Taking taylor expansion of (pow a 4) in b 1538732091.792 * [misc]taylor: Taking taylor expansion of a in b 1538732091.792 * [misc]backup-simplify: Simplify a into a 1538732091.792 * [misc]taylor: Taking taylor expansion of (pow b 4) in b 1538732091.792 * [misc]taylor: Taking taylor expansion of b in b 1538732091.792 * [misc]backup-simplify: Simplify 0 into 0 1538732091.792 * [misc]backup-simplify: Simplify 1 into 1 1538732091.792 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732091.793 * [misc]backup-simplify: Simplify (* (pow a 2) (pow a 2)) into (pow a 4) 1538732091.793 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.793 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.793 * [misc]backup-simplify: Simplify (/ (pow a 4) 1) into (pow a 4) 1538732091.793 * [misc]taylor: Taking taylor expansion of (+ (/ (pow a 2) (pow b 2)) 1) in b 1538732091.793 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1538732091.793 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732091.793 * [misc]taylor: Taking taylor expansion of a in b 1538732091.793 * [misc]backup-simplify: Simplify a into a 1538732091.793 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732091.793 * [misc]taylor: Taking taylor expansion of b in b 1538732091.793 * [misc]backup-simplify: Simplify 0 into 0 1538732091.793 * [misc]backup-simplify: Simplify 1 into 1 1538732091.793 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732091.793 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.794 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1538732091.794 * [misc]taylor: Taking taylor expansion of 1 in b 1538732091.794 * [misc]backup-simplify: Simplify 1 into 1 1538732091.794 * [misc]backup-simplify: Simplify (- (pow a 4)) into (- (pow a 4)) 1538732091.794 * [misc]backup-simplify: Simplify (+ 0 (- (pow a 4))) into (- (pow a 4)) 1538732091.794 * [misc]backup-simplify: Simplify (+ (pow a 2) 0) into (pow a 2) 1538732091.794 * [misc]backup-simplify: Simplify (/ (- (pow a 4)) (pow a 2)) into (* -1 (pow a 2)) 1538732091.794 * [misc]taylor: Taking taylor expansion of (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)) in b 1538732091.794 * [misc]taylor: Taking taylor expansion of (- 1 (/ (pow a 4) (pow b 4))) in b 1538732091.794 * [misc]taylor: Taking taylor expansion of 1 in b 1538732091.794 * [misc]backup-simplify: Simplify 1 into 1 1538732091.794 * [misc]taylor: Taking taylor expansion of (/ (pow a 4) (pow b 4)) in b 1538732091.794 * [misc]taylor: Taking taylor expansion of (pow a 4) in b 1538732091.794 * [misc]taylor: Taking taylor expansion of a in b 1538732091.795 * [misc]backup-simplify: Simplify a into a 1538732091.795 * [misc]taylor: Taking taylor expansion of (pow b 4) in b 1538732091.795 * [misc]taylor: Taking taylor expansion of b in b 1538732091.795 * [misc]backup-simplify: Simplify 0 into 0 1538732091.795 * [misc]backup-simplify: Simplify 1 into 1 1538732091.795 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732091.795 * [misc]backup-simplify: Simplify (* (pow a 2) (pow a 2)) into (pow a 4) 1538732091.795 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.795 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.795 * [misc]backup-simplify: Simplify (/ (pow a 4) 1) into (pow a 4) 1538732091.795 * [misc]taylor: Taking taylor expansion of (+ (/ (pow a 2) (pow b 2)) 1) in b 1538732091.795 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1538732091.795 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732091.795 * [misc]taylor: Taking taylor expansion of a in b 1538732091.796 * [misc]backup-simplify: Simplify a into a 1538732091.796 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732091.796 * [misc]taylor: Taking taylor expansion of b in b 1538732091.796 * [misc]backup-simplify: Simplify 0 into 0 1538732091.796 * [misc]backup-simplify: Simplify 1 into 1 1538732091.796 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732091.796 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.796 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1538732091.796 * [misc]taylor: Taking taylor expansion of 1 in b 1538732091.796 * [misc]backup-simplify: Simplify 1 into 1 1538732091.796 * [misc]backup-simplify: Simplify (- (pow a 4)) into (- (pow a 4)) 1538732091.796 * [misc]backup-simplify: Simplify (+ 0 (- (pow a 4))) into (- (pow a 4)) 1538732091.796 * [misc]backup-simplify: Simplify (+ (pow a 2) 0) into (pow a 2) 1538732091.797 * [misc]backup-simplify: Simplify (/ (- (pow a 4)) (pow a 2)) into (* -1 (pow a 2)) 1538732091.797 * [misc]taylor: Taking taylor expansion of (* -1 (pow a 2)) in a 1538732091.797 * [misc]taylor: Taking taylor expansion of -1 in a 1538732091.797 * [misc]backup-simplify: Simplify -1 into -1 1538732091.797 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732091.797 * [misc]taylor: Taking taylor expansion of a in a 1538732091.797 * [misc]backup-simplify: Simplify 0 into 0 1538732091.797 * [misc]backup-simplify: Simplify 1 into 1 1538732091.797 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1538732091.797 * [misc]backup-simplify: Simplify (+ (* (pow a 2) 0) (* 0 (pow a 2))) into 0 1538732091.797 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732091.798 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732091.798 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 4) (/ 0 1)))) into 0 1538732091.798 * [misc]backup-simplify: Simplify (- 0) into 0 1538732091.798 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732091.798 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1538732091.799 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732091.799 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 1538732091.799 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732091.799 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (* -1 (pow a 2)) (/ 0 (pow a 2))))) into 0 1538732091.799 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.799 * [misc]backup-simplify: Simplify 0 into 0 1538732091.799 * [misc]backup-simplify: Simplify 0 into 0 1538732091.800 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1538732091.800 * [misc]backup-simplify: Simplify (+ (* (pow a 2) 0) (+ (* 0 0) (* 0 (pow a 2)))) into 0 1538732091.800 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732091.801 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732091.801 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 4) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732091.801 * [misc]backup-simplify: Simplify (- 0) into 0 1538732091.801 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732091.802 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1538732091.802 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732091.802 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732091.803 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538732091.803 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (* -1 (pow a 2)) (/ 1 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 1 1538732091.803 * [misc]taylor: Taking taylor expansion of 1 in a 1538732091.803 * [misc]backup-simplify: Simplify 1 into 1 1538732091.803 * [misc]backup-simplify: Simplify 1 into 1 1538732091.803 * [misc]backup-simplify: Simplify 0 into 0 1538732091.803 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.803 * [misc]backup-simplify: Simplify (* -1 1) into -1 1538732091.803 * [misc]backup-simplify: Simplify -1 into -1 1538732091.804 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1538732091.804 * [misc]backup-simplify: Simplify (+ (* (pow a 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow a 2))))) into 0 1538732091.805 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538732091.805 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538732091.806 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 4) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732091.806 * [misc]backup-simplify: Simplify (- 0) into 0 1538732091.806 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732091.806 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1538732091.807 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538732091.807 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732091.807 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732091.808 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (* -1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 1 (pow a 2))) (* 1 (/ 0 (pow a 2))))) into 0 1538732091.808 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.808 * [misc]backup-simplify: Simplify 0 into 0 1538732091.808 * [misc]backup-simplify: Simplify 0 into 0 1538732091.808 * [misc]backup-simplify: Simplify 0 into 0 1538732091.808 * [misc]backup-simplify: Simplify 0 into 0 1538732091.808 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732091.808 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 1)) into 0 1538732091.808 * [misc]backup-simplify: Simplify 0 into 0 1538732091.809 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 1538732091.809 * [misc]backup-simplify: Simplify (+ (* (pow a 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow a 2)))))) into 0 1538732091.810 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538732091.810 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538732091.811 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 4) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732091.811 * [misc]backup-simplify: Simplify (- 0) into 0 1538732091.811 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538732091.812 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 1538732091.812 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538732091.813 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732091.813 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538732091.814 * [misc]backup-simplify: Simplify (- (/ 1 (pow a 2)) (+ (* (* -1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 1 (/ 1 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 1538732091.814 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.814 * [misc]backup-simplify: Simplify 0 into 0 1538732091.814 * [misc]backup-simplify: Simplify 0 into 0 1538732091.814 * [misc]backup-simplify: Simplify 0 into 0 1538732091.814 * [misc]backup-simplify: Simplify (+ (* -1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) 1) into (- 1 (/ (pow b 2) (pow a 2))) 1538732091.814 * * * * [misc]progress: [ 2 / 4 ] generating series at (2) 1538732091.815 * [misc]backup-simplify: Simplify (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (* (/ b a) (/ b a)))))) into (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))) 1538732091.815 * [misc]approximate: Taking taylor expansion of (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))) in (b a) around 0 1538732091.815 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))) in a 1538732091.815 * [misc]taylor: Taking taylor expansion of (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1))) in a 1538732091.816 * [misc]backup-simplify: Simplify (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1))) into (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1))) 1538732091.816 * [misc]backup-simplify: Simplify (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))) into (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))) 1538732091.817 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))))) into 0 1538732091.817 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))) in b 1538732091.817 * [misc]taylor: Taking taylor expansion of (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1))) in b 1538732091.817 * [misc]backup-simplify: Simplify (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1))) into (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1))) 1538732091.818 * [misc]backup-simplify: Simplify (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))) into (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))) 1538732091.818 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))))) into 0 1538732091.818 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))) in b 1538732091.818 * [misc]taylor: Taking taylor expansion of (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1))) in b 1538732091.819 * [misc]backup-simplify: Simplify (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1))) into (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1))) 1538732091.819 * [misc]backup-simplify: Simplify (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))) into (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))) 1538732091.819 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))))) into 0 1538732091.820 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))) in a 1538732091.820 * [misc]taylor: Taking taylor expansion of (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1))) in a 1538732091.820 * [misc]backup-simplify: Simplify (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1))) into (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1))) 1538732091.820 * [misc]backup-simplify: Simplify (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))) into (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))) 1538732091.821 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))))) into 0 1538732091.821 * [misc]backup-simplify: Simplify (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))) into (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))) 1538732091.821 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.821 * [misc]backup-simplify: Simplify 0 into 0 1538732091.821 * [misc]backup-simplify: Simplify 0 into 0 1538732091.822 * [misc]backup-simplify: Simplify 0 into 0 1538732091.823 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))))) into 0 1538732091.823 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.823 * [misc]backup-simplify: Simplify 0 into 0 1538732091.823 * [misc]backup-simplify: Simplify 0 into 0 1538732091.823 * [misc]backup-simplify: Simplify 0 into 0 1538732091.824 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))))) into 0 1538732091.824 * [misc]backup-simplify: Simplify 0 into 0 1538732091.825 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))))) into 0 1538732091.825 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.825 * [misc]backup-simplify: Simplify 0 into 0 1538732091.825 * [misc]backup-simplify: Simplify 0 into 0 1538732091.826 * [misc]backup-simplify: Simplify (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))) into (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))) 1538732091.827 * [misc]backup-simplify: Simplify (sqrt (fabs (/ (- (* 1 1) (* (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))))) (+ 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))))))) into (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) 1538732091.827 * [misc]approximate: Taking taylor expansion of (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) in (b a) around 0 1538732091.827 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) in a 1538732091.827 * [misc]taylor: Taking taylor expansion of (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1))) in a 1538732091.827 * [misc]backup-simplify: Simplify (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1))) into (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1))) 1538732091.828 * [misc]backup-simplify: Simplify (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) into (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) 1538732091.828 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))))) into 0 1538732091.828 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) in b 1538732091.828 * [misc]taylor: Taking taylor expansion of (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1))) in b 1538732091.829 * [misc]backup-simplify: Simplify (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1))) into (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1))) 1538732091.829 * [misc]backup-simplify: Simplify (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) into (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) 1538732091.830 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))))) into 0 1538732091.830 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) in b 1538732091.830 * [misc]taylor: Taking taylor expansion of (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1))) in b 1538732091.830 * [misc]backup-simplify: Simplify (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1))) into (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1))) 1538732091.831 * [misc]backup-simplify: Simplify (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) into (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) 1538732091.831 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))))) into 0 1538732091.831 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) in a 1538732091.831 * [misc]taylor: Taking taylor expansion of (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1))) in a 1538732091.832 * [misc]backup-simplify: Simplify (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1))) into (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1))) 1538732091.832 * [misc]backup-simplify: Simplify (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) into (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) 1538732091.833 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))))) into 0 1538732091.833 * [misc]backup-simplify: Simplify (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) into (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) 1538732091.833 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.833 * [misc]backup-simplify: Simplify 0 into 0 1538732091.834 * [misc]backup-simplify: Simplify 0 into 0 1538732091.834 * [misc]backup-simplify: Simplify 0 into 0 1538732091.835 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))))) into 0 1538732091.835 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.835 * [misc]backup-simplify: Simplify 0 into 0 1538732091.835 * [misc]backup-simplify: Simplify 0 into 0 1538732091.835 * [misc]backup-simplify: Simplify 0 into 0 1538732091.836 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))))) into 0 1538732091.836 * [misc]backup-simplify: Simplify 0 into 0 1538732091.837 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))))) into 0 1538732091.837 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.837 * [misc]backup-simplify: Simplify 0 into 0 1538732091.837 * [misc]backup-simplify: Simplify 0 into 0 1538732091.838 * [misc]backup-simplify: Simplify (sqrt (fabs (/ (- 1 (/ (pow (/ 1 a) 4) (pow (/ 1 b) 4))) (+ (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2)) 1)))) into (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))) 1538732091.840 * [misc]backup-simplify: Simplify (sqrt (fabs (/ (- (* 1 1) (* (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))))) (+ 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))))))) into (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) 1538732091.840 * [misc]approximate: Taking taylor expansion of (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) in (b a) around 0 1538732091.840 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) in a 1538732091.840 * [misc]taylor: Taking taylor expansion of (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1))) in a 1538732091.840 * [misc]backup-simplify: Simplify (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1))) into (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1))) 1538732091.841 * [misc]backup-simplify: Simplify (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) into (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) 1538732091.841 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))))) into 0 1538732091.841 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) in b 1538732091.841 * [misc]taylor: Taking taylor expansion of (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1))) in b 1538732091.842 * [misc]backup-simplify: Simplify (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1))) into (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1))) 1538732091.842 * [misc]backup-simplify: Simplify (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) into (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) 1538732091.843 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))))) into 0 1538732091.843 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) in b 1538732091.843 * [misc]taylor: Taking taylor expansion of (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1))) in b 1538732091.843 * [misc]backup-simplify: Simplify (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1))) into (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1))) 1538732091.844 * [misc]backup-simplify: Simplify (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) into (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) 1538732091.844 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))))) into 0 1538732091.844 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) in a 1538732091.844 * [misc]taylor: Taking taylor expansion of (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1))) in a 1538732091.845 * [misc]backup-simplify: Simplify (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1))) into (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1))) 1538732091.845 * [misc]backup-simplify: Simplify (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) into (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) 1538732091.846 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))))) into 0 1538732091.846 * [misc]backup-simplify: Simplify (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) into (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))) 1538732091.846 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.846 * [misc]backup-simplify: Simplify 0 into 0 1538732091.846 * [misc]backup-simplify: Simplify 0 into 0 1538732091.846 * [misc]backup-simplify: Simplify 0 into 0 1538732091.848 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))))) into 0 1538732091.848 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.848 * [misc]backup-simplify: Simplify 0 into 0 1538732091.848 * [misc]backup-simplify: Simplify 0 into 0 1538732091.848 * [misc]backup-simplify: Simplify 0 into 0 1538732091.849 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))))) into 0 1538732091.849 * [misc]backup-simplify: Simplify 0 into 0 1538732091.850 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (/ (- 1 (/ (pow a 4) (pow b 4))) (+ (/ (pow a 2) (pow b 2)) 1)))))) into 0 1538732091.850 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.850 * [misc]backup-simplify: Simplify 0 into 0 1538732091.850 * [misc]backup-simplify: Simplify 0 into 0 1538732091.851 * [misc]backup-simplify: Simplify (sqrt (fabs (/ (- 1 (/ (pow (/ 1 (- a)) 4) (pow (/ 1 (- b)) 4))) (+ (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2)) 1)))) into (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))) 1538732091.851 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2 2) 1538732091.852 * [misc]backup-simplify: Simplify (* (/ b a) (/ b a)) into (/ (pow b 2) (pow a 2)) 1538732091.852 * [misc]approximate: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0 1538732091.852 * [misc]taylor: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a 1538732091.852 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538732091.852 * [misc]taylor: Taking taylor expansion of b in a 1538732091.852 * [misc]backup-simplify: Simplify b into b 1538732091.852 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732091.852 * [misc]taylor: Taking taylor expansion of a in a 1538732091.852 * [misc]backup-simplify: Simplify 0 into 0 1538732091.852 * [misc]backup-simplify: Simplify 1 into 1 1538732091.852 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538732091.852 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.852 * [misc]backup-simplify: Simplify (/ (pow b 2) 1) into (pow b 2) 1538732091.852 * [misc]taylor: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 1538732091.852 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732091.852 * [misc]taylor: Taking taylor expansion of b in b 1538732091.852 * [misc]backup-simplify: Simplify 0 into 0 1538732091.852 * [misc]backup-simplify: Simplify 1 into 1 1538732091.852 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732091.852 * [misc]taylor: Taking taylor expansion of a in b 1538732091.852 * [misc]backup-simplify: Simplify a into a 1538732091.853 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.853 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732091.853 * [misc]backup-simplify: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1538732091.853 * [misc]taylor: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 1538732091.853 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732091.853 * [misc]taylor: Taking taylor expansion of b in b 1538732091.853 * [misc]backup-simplify: Simplify 0 into 0 1538732091.853 * [misc]backup-simplify: Simplify 1 into 1 1538732091.853 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732091.853 * [misc]taylor: Taking taylor expansion of a in b 1538732091.853 * [misc]backup-simplify: Simplify a into a 1538732091.853 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.853 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732091.853 * [misc]backup-simplify: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1538732091.853 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 2)) in a 1538732091.853 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732091.854 * [misc]taylor: Taking taylor expansion of a in a 1538732091.854 * [misc]backup-simplify: Simplify 0 into 0 1538732091.854 * [misc]backup-simplify: Simplify 1 into 1 1538732091.854 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.854 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538732091.854 * [misc]backup-simplify: Simplify 1 into 1 1538732091.854 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732091.854 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1538732091.855 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0 1538732091.855 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.855 * [misc]backup-simplify: Simplify 0 into 0 1538732091.855 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732091.855 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538732091.855 * [misc]backup-simplify: Simplify 0 into 0 1538732091.855 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732091.856 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1538732091.856 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 1538732091.856 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.856 * [misc]backup-simplify: Simplify 0 into 0 1538732091.856 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732091.857 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732091.857 * [misc]backup-simplify: Simplify 0 into 0 1538732091.857 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538732091.858 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1538732091.858 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 1538732091.858 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.858 * [misc]backup-simplify: Simplify 0 into 0 1538732091.858 * [misc]backup-simplify: Simplify 0 into 0 1538732091.858 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538732091.859 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732091.859 * [misc]backup-simplify: Simplify 0 into 0 1538732091.859 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538732091.860 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 1538732091.860 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 1538732091.860 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.860 * [misc]backup-simplify: Simplify 0 into 0 1538732091.860 * [misc]backup-simplify: Simplify 0 into 0 1538732091.860 * [misc]backup-simplify: Simplify 0 into 0 1538732091.861 * [misc]backup-simplify: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2)) 1538732091.861 * [misc]backup-simplify: Simplify (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) into (/ (pow a 2) (pow b 2)) 1538732091.861 * [misc]approximate: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 1538732091.861 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 1538732091.861 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732091.861 * [misc]taylor: Taking taylor expansion of a in a 1538732091.861 * [misc]backup-simplify: Simplify 0 into 0 1538732091.861 * [misc]backup-simplify: Simplify 1 into 1 1538732091.861 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538732091.861 * [misc]taylor: Taking taylor expansion of b in a 1538732091.861 * [misc]backup-simplify: Simplify b into b 1538732091.861 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.862 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538732091.862 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1538732091.862 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1538732091.862 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732091.862 * [misc]taylor: Taking taylor expansion of a in b 1538732091.862 * [misc]backup-simplify: Simplify a into a 1538732091.862 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732091.862 * [misc]taylor: Taking taylor expansion of b in b 1538732091.862 * [misc]backup-simplify: Simplify 0 into 0 1538732091.862 * [misc]backup-simplify: Simplify 1 into 1 1538732091.862 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732091.862 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.862 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1538732091.862 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1538732091.862 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732091.862 * [misc]taylor: Taking taylor expansion of a in b 1538732091.862 * [misc]backup-simplify: Simplify a into a 1538732091.862 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732091.862 * [misc]taylor: Taking taylor expansion of b in b 1538732091.862 * [misc]backup-simplify: Simplify 0 into 0 1538732091.863 * [misc]backup-simplify: Simplify 1 into 1 1538732091.863 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732091.863 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.863 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1538732091.863 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732091.863 * [misc]taylor: Taking taylor expansion of a in a 1538732091.863 * [misc]backup-simplify: Simplify 0 into 0 1538732091.863 * [misc]backup-simplify: Simplify 1 into 1 1538732091.863 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.863 * [misc]backup-simplify: Simplify 1 into 1 1538732091.863 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1538732091.864 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732091.864 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 1538732091.864 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.864 * [misc]backup-simplify: Simplify 0 into 0 1538732091.864 * [misc]backup-simplify: Simplify 0 into 0 1538732091.864 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732091.864 * [misc]backup-simplify: Simplify 0 into 0 1538732091.865 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1538732091.865 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732091.865 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732091.865 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.865 * [misc]backup-simplify: Simplify 0 into 0 1538732091.866 * [misc]backup-simplify: Simplify 0 into 0 1538732091.866 * [misc]backup-simplify: Simplify 0 into 0 1538732091.866 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732091.866 * [misc]backup-simplify: Simplify 0 into 0 1538732091.866 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1538732091.867 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538732091.867 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732091.867 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.867 * [misc]backup-simplify: Simplify 0 into 0 1538732091.867 * [misc]backup-simplify: Simplify 0 into 0 1538732091.868 * [misc]backup-simplify: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2)) 1538732091.868 * [misc]backup-simplify: Simplify (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2)) 1538732091.868 * [misc]approximate: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 1538732091.868 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 1538732091.868 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732091.868 * [misc]taylor: Taking taylor expansion of a in a 1538732091.868 * [misc]backup-simplify: Simplify 0 into 0 1538732091.868 * [misc]backup-simplify: Simplify 1 into 1 1538732091.868 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538732091.868 * [misc]taylor: Taking taylor expansion of b in a 1538732091.868 * [misc]backup-simplify: Simplify b into b 1538732091.869 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.869 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538732091.869 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1538732091.869 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1538732091.869 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732091.869 * [misc]taylor: Taking taylor expansion of a in b 1538732091.869 * [misc]backup-simplify: Simplify a into a 1538732091.869 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732091.869 * [misc]taylor: Taking taylor expansion of b in b 1538732091.869 * [misc]backup-simplify: Simplify 0 into 0 1538732091.869 * [misc]backup-simplify: Simplify 1 into 1 1538732091.869 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732091.869 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.869 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1538732091.869 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1538732091.869 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732091.869 * [misc]taylor: Taking taylor expansion of a in b 1538732091.869 * [misc]backup-simplify: Simplify a into a 1538732091.869 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732091.869 * [misc]taylor: Taking taylor expansion of b in b 1538732091.869 * [misc]backup-simplify: Simplify 0 into 0 1538732091.870 * [misc]backup-simplify: Simplify 1 into 1 1538732091.870 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732091.870 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.870 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1538732091.870 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732091.870 * [misc]taylor: Taking taylor expansion of a in a 1538732091.870 * [misc]backup-simplify: Simplify 0 into 0 1538732091.870 * [misc]backup-simplify: Simplify 1 into 1 1538732091.870 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.870 * [misc]backup-simplify: Simplify 1 into 1 1538732091.870 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1538732091.871 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732091.871 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 1538732091.871 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.871 * [misc]backup-simplify: Simplify 0 into 0 1538732091.871 * [misc]backup-simplify: Simplify 0 into 0 1538732091.871 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732091.871 * [misc]backup-simplify: Simplify 0 into 0 1538732091.872 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1538732091.872 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732091.872 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732091.872 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.872 * [misc]backup-simplify: Simplify 0 into 0 1538732091.873 * [misc]backup-simplify: Simplify 0 into 0 1538732091.873 * [misc]backup-simplify: Simplify 0 into 0 1538732091.873 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732091.873 * [misc]backup-simplify: Simplify 0 into 0 1538732091.873 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1538732091.874 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538732091.874 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732091.874 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.874 * [misc]backup-simplify: Simplify 0 into 0 1538732091.874 * [misc]backup-simplify: Simplify 0 into 0 1538732091.875 * [misc]backup-simplify: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2)) 1538732091.875 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1 2 2) 1538732091.875 * [misc]backup-simplify: Simplify (* (/ b a) (/ b a)) into (/ (pow b 2) (pow a 2)) 1538732091.875 * [misc]approximate: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0 1538732091.875 * [misc]taylor: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a 1538732091.875 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538732091.875 * [misc]taylor: Taking taylor expansion of b in a 1538732091.875 * [misc]backup-simplify: Simplify b into b 1538732091.875 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732091.875 * [misc]taylor: Taking taylor expansion of a in a 1538732091.875 * [misc]backup-simplify: Simplify 0 into 0 1538732091.875 * [misc]backup-simplify: Simplify 1 into 1 1538732091.875 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538732091.876 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.876 * [misc]backup-simplify: Simplify (/ (pow b 2) 1) into (pow b 2) 1538732091.876 * [misc]taylor: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 1538732091.876 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732091.876 * [misc]taylor: Taking taylor expansion of b in b 1538732091.876 * [misc]backup-simplify: Simplify 0 into 0 1538732091.876 * [misc]backup-simplify: Simplify 1 into 1 1538732091.876 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732091.876 * [misc]taylor: Taking taylor expansion of a in b 1538732091.876 * [misc]backup-simplify: Simplify a into a 1538732091.876 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.876 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732091.876 * [misc]backup-simplify: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1538732091.876 * [misc]taylor: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 1538732091.876 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732091.876 * [misc]taylor: Taking taylor expansion of b in b 1538732091.876 * [misc]backup-simplify: Simplify 0 into 0 1538732091.876 * [misc]backup-simplify: Simplify 1 into 1 1538732091.876 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732091.877 * [misc]taylor: Taking taylor expansion of a in b 1538732091.877 * [misc]backup-simplify: Simplify a into a 1538732091.877 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.877 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732091.877 * [misc]backup-simplify: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1538732091.877 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 2)) in a 1538732091.877 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732091.877 * [misc]taylor: Taking taylor expansion of a in a 1538732091.877 * [misc]backup-simplify: Simplify 0 into 0 1538732091.877 * [misc]backup-simplify: Simplify 1 into 1 1538732091.877 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.877 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538732091.877 * [misc]backup-simplify: Simplify 1 into 1 1538732091.878 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732091.878 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1538732091.878 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0 1538732091.878 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.878 * [misc]backup-simplify: Simplify 0 into 0 1538732091.878 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732091.879 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538732091.879 * [misc]backup-simplify: Simplify 0 into 0 1538732091.879 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732091.879 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1538732091.880 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 1538732091.880 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.880 * [misc]backup-simplify: Simplify 0 into 0 1538732091.880 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732091.880 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732091.880 * [misc]backup-simplify: Simplify 0 into 0 1538732091.881 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538732091.881 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1538732091.881 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 1538732091.881 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.881 * [misc]backup-simplify: Simplify 0 into 0 1538732091.881 * [misc]backup-simplify: Simplify 0 into 0 1538732091.882 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538732091.883 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732091.883 * [misc]backup-simplify: Simplify 0 into 0 1538732091.883 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538732091.883 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 1538732091.884 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 1538732091.884 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.884 * [misc]backup-simplify: Simplify 0 into 0 1538732091.884 * [misc]backup-simplify: Simplify 0 into 0 1538732091.884 * [misc]backup-simplify: Simplify 0 into 0 1538732091.884 * [misc]backup-simplify: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2)) 1538732091.884 * [misc]backup-simplify: Simplify (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) into (/ (pow a 2) (pow b 2)) 1538732091.884 * [misc]approximate: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 1538732091.884 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 1538732091.884 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732091.884 * [misc]taylor: Taking taylor expansion of a in a 1538732091.884 * [misc]backup-simplify: Simplify 0 into 0 1538732091.884 * [misc]backup-simplify: Simplify 1 into 1 1538732091.884 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538732091.884 * [misc]taylor: Taking taylor expansion of b in a 1538732091.884 * [misc]backup-simplify: Simplify b into b 1538732091.885 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.885 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538732091.885 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1538732091.885 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1538732091.885 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732091.885 * [misc]taylor: Taking taylor expansion of a in b 1538732091.885 * [misc]backup-simplify: Simplify a into a 1538732091.885 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732091.885 * [misc]taylor: Taking taylor expansion of b in b 1538732091.885 * [misc]backup-simplify: Simplify 0 into 0 1538732091.885 * [misc]backup-simplify: Simplify 1 into 1 1538732091.885 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732091.885 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.885 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1538732091.885 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1538732091.885 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732091.885 * [misc]taylor: Taking taylor expansion of a in b 1538732091.885 * [misc]backup-simplify: Simplify a into a 1538732091.885 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732091.885 * [misc]taylor: Taking taylor expansion of b in b 1538732091.885 * [misc]backup-simplify: Simplify 0 into 0 1538732091.885 * [misc]backup-simplify: Simplify 1 into 1 1538732091.885 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732091.885 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.885 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1538732091.885 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732091.885 * [misc]taylor: Taking taylor expansion of a in a 1538732091.885 * [misc]backup-simplify: Simplify 0 into 0 1538732091.885 * [misc]backup-simplify: Simplify 1 into 1 1538732091.886 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.886 * [misc]backup-simplify: Simplify 1 into 1 1538732091.886 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1538732091.886 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732091.886 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 1538732091.886 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.886 * [misc]backup-simplify: Simplify 0 into 0 1538732091.886 * [misc]backup-simplify: Simplify 0 into 0 1538732091.886 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732091.886 * [misc]backup-simplify: Simplify 0 into 0 1538732091.886 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1538732091.887 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732091.887 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732091.887 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.887 * [misc]backup-simplify: Simplify 0 into 0 1538732091.887 * [misc]backup-simplify: Simplify 0 into 0 1538732091.887 * [misc]backup-simplify: Simplify 0 into 0 1538732091.887 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732091.887 * [misc]backup-simplify: Simplify 0 into 0 1538732091.887 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1538732091.888 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538732091.888 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732091.888 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.888 * [misc]backup-simplify: Simplify 0 into 0 1538732091.888 * [misc]backup-simplify: Simplify 0 into 0 1538732091.888 * [misc]backup-simplify: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2)) 1538732091.888 * [misc]backup-simplify: Simplify (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2)) 1538732091.889 * [misc]approximate: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 1538732091.889 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 1538732091.889 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732091.889 * [misc]taylor: Taking taylor expansion of a in a 1538732091.889 * [misc]backup-simplify: Simplify 0 into 0 1538732091.889 * [misc]backup-simplify: Simplify 1 into 1 1538732091.889 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1538732091.889 * [misc]taylor: Taking taylor expansion of b in a 1538732091.889 * [misc]backup-simplify: Simplify b into b 1538732091.889 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.889 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1538732091.889 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1538732091.889 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1538732091.889 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732091.889 * [misc]taylor: Taking taylor expansion of a in b 1538732091.889 * [misc]backup-simplify: Simplify a into a 1538732091.889 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732091.889 * [misc]taylor: Taking taylor expansion of b in b 1538732091.889 * [misc]backup-simplify: Simplify 0 into 0 1538732091.889 * [misc]backup-simplify: Simplify 1 into 1 1538732091.889 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732091.889 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.889 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1538732091.889 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1538732091.889 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1538732091.889 * [misc]taylor: Taking taylor expansion of a in b 1538732091.889 * [misc]backup-simplify: Simplify a into a 1538732091.889 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1538732091.889 * [misc]taylor: Taking taylor expansion of b in b 1538732091.889 * [misc]backup-simplify: Simplify 0 into 0 1538732091.889 * [misc]backup-simplify: Simplify 1 into 1 1538732091.889 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1538732091.889 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.890 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1538732091.890 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1538732091.890 * [misc]taylor: Taking taylor expansion of a in a 1538732091.890 * [misc]backup-simplify: Simplify 0 into 0 1538732091.890 * [misc]backup-simplify: Simplify 1 into 1 1538732091.890 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538732091.890 * [misc]backup-simplify: Simplify 1 into 1 1538732091.890 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1538732091.890 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732091.890 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 1538732091.890 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.890 * [misc]backup-simplify: Simplify 0 into 0 1538732091.890 * [misc]backup-simplify: Simplify 0 into 0 1538732091.890 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538732091.890 * [misc]backup-simplify: Simplify 0 into 0 1538732091.891 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1538732091.891 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732091.891 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732091.891 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.891 * [misc]backup-simplify: Simplify 0 into 0 1538732091.891 * [misc]backup-simplify: Simplify 0 into 0 1538732091.891 * [misc]backup-simplify: Simplify 0 into 0 1538732091.891 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538732091.891 * [misc]backup-simplify: Simplify 0 into 0 1538732091.892 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1538732091.892 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538732091.892 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538732091.892 * [misc]taylor: Taking taylor expansion of 0 in a 1538732091.892 * [misc]backup-simplify: Simplify 0 into 0 1538732091.892 * [misc]backup-simplify: Simplify 0 into 0 1538732091.893 * [misc]backup-simplify: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2)) 1538732091.893 * * * [misc]progress: simplifying candidates 1538732091.893 * * * * [misc]progress: [ 1 / 118 ] simplifiying candidate # 1538732091.893 * * * * [misc]progress: [ 2 / 118 ] simplifiying candidate # 1538732091.893 * * * * [misc]progress: [ 3 / 118 ] simplifiying candidate # 1538732091.893 * * * * [misc]progress: [ 4 / 118 ] simplifiying candidate # 1538732091.893 * [enter]simplify: Simplifying (- (log (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))) (log (+ 1 (* (/ b a) (/ b a))))) 1538732091.894 * * [misc]simplify: iters left: 6 (12 enodes) 1538732091.898 * * [misc]simplify: iters left: 5 (29 enodes) 1538732091.906 * * [misc]simplify: iters left: 4 (73 enodes) 1538732091.948 * * [misc]simplify: iters left: 3 (177 enodes) 1538732092.017 * * [misc]simplify: iters left: 2 (406 enodes) 1538732092.362 * [exit]simplify: Simplified to (- (log (- 1 (pow (/ b a) 4))) (log (fma (/ b a) (/ b a) 1))) 1538732092.362 * [misc]simplify: Simplified (2 1 1 1) to (λ (a b) (sqrt (fabs (exp (- (log (- 1 (pow (/ b a) 4))) (log (fma (/ b a) (/ b a) 1))))))) 1538732092.362 * * * * [misc]progress: [ 5 / 118 ] simplifiying candidate # 1538732092.362 * * * * [misc]progress: [ 6 / 118 ] simplifiying candidate # 1538732092.362 * * * * [misc]progress: [ 7 / 118 ] simplifiying candidate # 1538732092.362 * [enter]simplify: Simplifying (/ (* (* (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))) (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))) (* (* (+ 1 (* (/ b a) (/ b a))) (+ 1 (* (/ b a) (/ b a)))) (+ 1 (* (/ b a) (/ b a))))) 1538732092.364 * * [misc]simplify: iters left: 6 (14 enodes) 1538732092.376 * * [misc]simplify: iters left: 5 (49 enodes) 1538732092.406 * * [misc]simplify: iters left: 4 (179 enodes) 1538732092.558 * [exit]simplify: Simplified to (pow (/ (- 1 (pow (/ b a) 4)) (fma (/ b a) (/ b a) 1)) 3) 1538732092.558 * [misc]simplify: Simplified (2 1 1 1) to (λ (a b) (sqrt (fabs (cbrt (pow (/ (- 1 (pow (/ b a) 4)) (fma (/ b a) (/ b a) 1)) 3))))) 1538732092.558 * * * * [misc]progress: [ 8 / 118 ] simplifiying candidate # 1538732092.558 * * * * [misc]progress: [ 9 / 118 ] simplifiying candidate # 1538732092.558 * * * * [misc]progress: [ 10 / 118 ] simplifiying candidate # 1538732092.559 * * * * [misc]progress: [ 11 / 118 ] simplifiying candidate # 1538732092.559 * * * * [misc]progress: [ 12 / 118 ] simplifiying candidate # 1538732092.559 * [enter]simplify: Simplifying (/ (* 1 1) (+ 1 (* (/ b a) (/ b a)))) 1538732092.560 * * [misc]simplify: iters left: 6 (8 enodes) 1538732092.564 * * [misc]simplify: iters left: 5 (15 enodes) 1538732092.570 * * [misc]simplify: iters left: 4 (22 enodes) 1538732092.577 * * [misc]simplify: iters left: 3 (28 enodes) 1538732092.586 * * [misc]simplify: iters left: 2 (31 enodes) 1538732092.596 * [exit]simplify: Simplified to (/ 1 (fma (/ b a) (/ b a) 1)) 1538732092.596 * [misc]simplify: Simplified (2 1 1 1) to (λ (a b) (sqrt (fabs (- (/ 1 (fma (/ b a) (/ b a) 1)) (/ (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (+ 1 (* (/ b a) (/ b a)))))))) 1538732092.596 * * * * [misc]progress: [ 13 / 118 ] simplifiying candidate # 1538732092.596 * [enter]simplify: Simplifying (/ (* (cbrt (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))) (cbrt (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))))) (* (cbrt (+ 1 (* (/ b a) (/ b a)))) (cbrt (+ 1 (* (/ b a) (/ b a)))))) 1538732092.598 * * [misc]simplify: iters left: 6 (14 enodes) 1538732092.603 * * [misc]simplify: iters left: 5 (34 enodes) 1538732092.614 * * [misc]simplify: iters left: 4 (87 enodes) 1538732092.651 * * [misc]simplify: iters left: 3 (195 enodes) 1538732092.731 * * [misc]simplify: iters left: 2 (430 enodes) 1538732093.171 * [exit]simplify: Simplified to (* (/ (cbrt (- 1 (pow (/ b a) 4))) (cbrt (fma (/ b a) (/ b a) 1))) (/ (cbrt (- 1 (pow (/ b a) 4))) (cbrt (fma (/ b a) (/ b a) 1)))) 1538732093.171 * [misc]simplify: Simplified (2 1 1 1) to (λ (a b) (sqrt (fabs (* (* (/ (cbrt (- 1 (pow (/ b a) 4))) (cbrt (fma (/ b a) (/ b a) 1))) (/ (cbrt (- 1 (pow (/ b a) 4))) (cbrt (fma (/ b a) (/ b a) 1)))) (/ (cbrt (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))) (cbrt (+ 1 (* (/ b a) (/ b a))))))))) 1538732093.171 * [enter]simplify: Simplifying (/ (cbrt (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))) (cbrt (+ 1 (* (/ b a) (/ b a))))) 1538732093.172 * * [misc]simplify: iters left: 6 (12 enodes) 1538732093.176 * * [misc]simplify: iters left: 5 (26 enodes) 1538732093.185 * * [misc]simplify: iters left: 4 (70 enodes) 1538732093.225 * * [misc]simplify: iters left: 3 (176 enodes) 1538732093.317 * * [misc]simplify: iters left: 2 (408 enodes) 1538732094.166 * [exit]simplify: Simplified to (/ (cbrt (- 1 (pow (/ b a) 4))) (cbrt (fma (/ b a) (/ b a) 1))) 1538732094.166 * [misc]simplify: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (* (* (/ (cbrt (- 1 (pow (/ b a) 4))) (cbrt (fma (/ b a) (/ b a) 1))) (/ (cbrt (- 1 (pow (/ b a) 4))) (cbrt (fma (/ b a) (/ b a) 1)))) (/ (cbrt (- 1 (pow (/ b a) 4))) (cbrt (fma (/ b a) (/ b a) 1))))))) 1538732094.166 * * * * [misc]progress: [ 14 / 118 ] simplifiying candidate # 1538732094.166 * [enter]simplify: Simplifying (/ (* (cbrt (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))) (cbrt (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))))) (sqrt (+ 1 (* (/ b a) (/ b a))))) 1538732094.167 * * [misc]simplify: iters left: 6 (13 enodes) 1538732094.172 * * [misc]simplify: iters left: 5 (30 enodes) 1538732094.182 * * [misc]simplify: iters left: 4 (76 enodes) 1538732094.221 * * [misc]simplify: iters left: 3 (182 enodes) 1538732094.351 * * [misc]simplify: iters left: 2 (416 enodes) 1538732094.730 * [exit]simplify: Simplified to (/ (* (cbrt (- 1 (pow (/ b a) 4))) (cbrt (- 1 (pow (/ b a) 4)))) (hypot 1 (/ b a))) 1538732094.730 * [misc]simplify: Simplified (2 1 1 1) to (λ (a b) (sqrt (fabs (* (/ (* (cbrt (- 1 (pow (/ b a) 4))) (cbrt (- 1 (pow (/ b a) 4)))) (hypot 1 (/ b a))) (/ (cbrt (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))) (sqrt (+ 1 (* (/ b a) (/ b a))))))))) 1538732094.730 * [enter]simplify: Simplifying (/ (cbrt (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))) (sqrt (+ 1 (* (/ b a) (/ b a))))) 1538732094.732 * * [misc]simplify: iters left: 6 (12 enodes) 1538732094.738 * * [misc]simplify: iters left: 5 (27 enodes) 1538732094.754 * * [misc]simplify: iters left: 4 (69 enodes) 1538732094.780 * * [misc]simplify: iters left: 3 (171 enodes) 1538732094.871 * * [misc]simplify: iters left: 2 (402 enodes) 1538732095.303 * [exit]simplify: Simplified to (/ (cbrt (- 1 (pow (/ b a) 4))) (hypot 1 (/ b a))) 1538732095.304 * [misc]simplify: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (* (/ (* (cbrt (- 1 (pow (/ b a) 4))) (cbrt (- 1 (pow (/ b a) 4)))) (hypot 1 (/ b a))) (/ (cbrt (- 1 (pow (/ b a) 4))) (hypot 1 (/ b a))))))) 1538732095.304 * * * * [misc]progress: [ 15 / 118 ] simplifiying candidate # 1538732095.304 * [enter]simplify: Simplifying (/ (* (cbrt (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))) (cbrt (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))))) 1) 1538732095.305 * * [misc]simplify: iters left: 6 (11 enodes) 1538732095.312 * * [misc]simplify: iters left: 5 (26 enodes) 1538732095.327 * * [misc]simplify: iters left: 4 (69 enodes) 1538732095.375 * * [misc]simplify: iters left: 3 (186 enodes) 1538732095.510 * * [misc]simplify: iters left: 2 (442 enodes) 1538732095.952 * [exit]simplify: Simplified to (* (cbrt (- 1 (pow (/ b a) 4))) (cbrt (- 1 (pow (/ b a) 4)))) 1538732095.953 * [misc]simplify: Simplified (2 1 1 1) to (λ (a b) (sqrt (fabs (* (* (cbrt (- 1 (pow (/ b a) 4))) (cbrt (- 1 (pow (/ b a) 4)))) (/ (cbrt (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))) (+ 1 (* (/ b a) (/ b a)))))))) 1538732095.953 * [enter]simplify: Simplifying (/ (cbrt (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))) (+ 1 (* (/ b a) (/ b a)))) 1538732095.954 * * [misc]simplify: iters left: 6 (11 enodes) 1538732095.961 * * [misc]simplify: iters left: 5 (25 enodes) 1538732095.972 * * [misc]simplify: iters left: 4 (65 enodes) 1538732095.997 * * [misc]simplify: iters left: 3 (168 enodes) 1538732096.065 * * [misc]simplify: iters left: 2 (399 enodes) 1538732096.480 * [exit]simplify: Simplified to (/ (cbrt (- 1 (pow (/ b a) 4))) (fma (/ b a) (/ b a) 1)) 1538732096.480 * [misc]simplify: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (* (* (cbrt (- 1 (pow (/ b a) 4))) (cbrt (- 1 (pow (/ b a) 4)))) (/ (cbrt (- 1 (pow (/ b a) 4))) (fma (/ b a) (/ b a) 1)))))) 1538732096.480 * * * * [misc]progress: [ 16 / 118 ] simplifiying candidate # 1538732096.480 * [enter]simplify: Simplifying (/ (sqrt (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))) (* (cbrt (+ 1 (* (/ b a) (/ b a)))) (cbrt (+ 1 (* (/ b a) (/ b a)))))) 1538732096.481 * * [misc]simplify: iters left: 6 (13 enodes) 1538732096.488 * * [misc]simplify: iters left: 5 (29 enodes) 1538732096.497 * * [misc]simplify: iters left: 4 (71 enodes) 1538732096.522 * * [misc]simplify: iters left: 3 (175 enodes) 1538732096.640 * * [misc]simplify: iters left: 2 (402 enodes) 1538732097.083 * [exit]simplify: Simplified to (/ (sqrt (- 1 (pow (/ b a) 4))) (* (cbrt (fma (/ b a) (/ b a) 1)) (cbrt (fma (/ b a) (/ b a) 1)))) 1538732097.083 * [misc]simplify: Simplified (2 1 1 1) to (λ (a b) (sqrt (fabs (* (/ (sqrt (- 1 (pow (/ b a) 4))) (* (cbrt (fma (/ b a) (/ b a) 1)) (cbrt (fma (/ b a) (/ b a) 1)))) (/ (sqrt (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))) (cbrt (+ 1 (* (/ b a) (/ b a))))))))) 1538732097.083 * [enter]simplify: Simplifying (/ (sqrt (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))) (cbrt (+ 1 (* (/ b a) (/ b a))))) 1538732097.085 * * [misc]simplify: iters left: 6 (12 enodes) 1538732097.090 * * [misc]simplify: iters left: 5 (26 enodes) 1538732097.099 * * [misc]simplify: iters left: 4 (70 enodes) 1538732097.123 * * [misc]simplify: iters left: 3 (176 enodes) 1538732097.223 * * [misc]simplify: iters left: 2 (408 enodes) 1538732097.557 * [exit]simplify: Simplified to (/ (sqrt (- 1 (pow (/ b a) 4))) (cbrt (fma (/ b a) (/ b a) 1))) 1538732097.557 * [misc]simplify: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (* (/ (sqrt (- 1 (pow (/ b a) 4))) (* (cbrt (fma (/ b a) (/ b a) 1)) (cbrt (fma (/ b a) (/ b a) 1)))) (/ (sqrt (- 1 (pow (/ b a) 4))) (cbrt (fma (/ b a) (/ b a) 1))))))) 1538732097.557 * * * * [misc]progress: [ 17 / 118 ] simplifiying candidate # 1538732097.557 * [enter]simplify: Simplifying (/ (sqrt (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))) (sqrt (+ 1 (* (/ b a) (/ b a))))) 1538732097.558 * * [misc]simplify: iters left: 6 (12 enodes) 1538732097.562 * * [misc]simplify: iters left: 5 (27 enodes) 1538732097.572 * * [misc]simplify: iters left: 4 (69 enodes) 1538732097.596 * * [misc]simplify: iters left: 3 (171 enodes) 1538732097.693 * * [misc]simplify: iters left: 2 (402 enodes) 1538732097.980 * [exit]simplify: Simplified to (/ (sqrt (- 1 (pow (/ b a) 4))) (hypot 1 (/ b a))) 1538732097.980 * [misc]simplify: Simplified (2 1 1 1) to (λ (a b) (sqrt (fabs (* (/ (sqrt (- 1 (pow (/ b a) 4))) (hypot 1 (/ b a))) (/ (sqrt (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))) (sqrt (+ 1 (* (/ b a) (/ b a))))))))) 1538732097.980 * [enter]simplify: Simplifying (/ (sqrt (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))) (sqrt (+ 1 (* (/ b a) (/ b a))))) 1538732097.981 * * [misc]simplify: iters left: 6 (12 enodes) 1538732097.985 * * [misc]simplify: iters left: 5 (27 enodes) 1538732097.993 * * [misc]simplify: iters left: 4 (69 enodes) 1538732098.015 * * [misc]simplify: iters left: 3 (171 enodes) 1538732098.083 * * [misc]simplify: iters left: 2 (402 enodes) 1538732098.425 * [exit]simplify: Simplified to (/ (sqrt (- 1 (pow (/ b a) 4))) (hypot 1 (/ b a))) 1538732098.425 * [misc]simplify: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (* (/ (sqrt (- 1 (pow (/ b a) 4))) (hypot 1 (/ b a))) (/ (sqrt (- 1 (pow (/ b a) 4))) (hypot 1 (/ b a))))))) 1538732098.425 * * * * [misc]progress: [ 18 / 118 ] simplifiying candidate # 1538732098.425 * [enter]simplify: Simplifying (/ (sqrt (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))) 1) 1538732098.426 * * [misc]simplify: iters left: 6 (10 enodes) 1538732098.429 * * [misc]simplify: iters left: 5 (23 enodes) 1538732098.437 * * [misc]simplify: iters left: 4 (67 enodes) 1538732098.460 * * [misc]simplify: iters left: 3 (171 enodes) 1538732098.529 * * [misc]simplify: iters left: 2 (401 enodes) 1538732098.939 * [exit]simplify: Simplified to (sqrt (- 1 (pow (/ b a) 4))) 1538732098.939 * [misc]simplify: Simplified (2 1 1 1) to (λ (a b) (sqrt (fabs (* (sqrt (- 1 (pow (/ b a) 4))) (/ (sqrt (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))) (+ 1 (* (/ b a) (/ b a)))))))) 1538732098.940 * [enter]simplify: Simplifying (/ (sqrt (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))) (+ 1 (* (/ b a) (/ b a)))) 1538732098.941 * * [misc]simplify: iters left: 6 (11 enodes) 1538732098.947 * * [misc]simplify: iters left: 5 (25 enodes) 1538732098.955 * * [misc]simplify: iters left: 4 (65 enodes) 1538732098.978 * * [misc]simplify: iters left: 3 (168 enodes) 1538732099.101 * * [misc]simplify: iters left: 2 (399 enodes) 1538732099.570 * [exit]simplify: Simplified to (/ (sqrt (- 1 (pow (/ b a) 4))) (fma (/ b a) (/ b a) 1)) 1538732099.570 * [misc]simplify: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (* (sqrt (- 1 (pow (/ b a) 4))) (/ (sqrt (- 1 (pow (/ b a) 4))) (fma (/ b a) (/ b a) 1)))))) 1538732099.570 * * * * [misc]progress: [ 19 / 118 ] simplifiying candidate # 1538732099.570 * [enter]simplify: Simplifying (/ 1 (* (cbrt (+ 1 (* (/ b a) (/ b a)))) (cbrt (+ 1 (* (/ b a) (/ b a)))))) 1538732099.572 * * [misc]simplify: iters left: 6 (9 enodes) 1538732099.577 * * [misc]simplify: iters left: 5 (18 enodes) 1538732099.582 * * [misc]simplify: iters left: 4 (25 enodes) 1538732099.586 * * [misc]simplify: iters left: 3 (31 enodes) 1538732099.591 * * [misc]simplify: iters left: 2 (34 enodes) 1538732099.596 * [exit]simplify: Simplified to (/ (/ 1 (cbrt (fma (/ b a) (/ b a) 1))) (cbrt (fma (/ b a) (/ b a) 1))) 1538732099.596 * [misc]simplify: Simplified (2 1 1 1) to (λ (a b) (sqrt (fabs (* (/ (/ 1 (cbrt (fma (/ b a) (/ b a) 1))) (cbrt (fma (/ b a) (/ b a) 1))) (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (cbrt (+ 1 (* (/ b a) (/ b a))))))))) 1538732099.596 * [enter]simplify: Simplifying (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (cbrt (+ 1 (* (/ b a) (/ b a))))) 1538732099.597 * * [misc]simplify: iters left: 6 (11 enodes) 1538732099.601 * * [misc]simplify: iters left: 5 (28 enodes) 1538732099.610 * * [misc]simplify: iters left: 4 (78 enodes) 1538732099.650 * * [misc]simplify: iters left: 3 (213 enodes) 1538732099.816 * [exit]simplify: Simplified to (/ (- 1 (pow (/ b a) 4)) (cbrt (fma (/ b a) (/ b a) 1))) 1538732099.816 * [misc]simplify: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (* (/ (/ 1 (cbrt (fma (/ b a) (/ b a) 1))) (cbrt (fma (/ b a) (/ b a) 1))) (/ (- 1 (pow (/ b a) 4)) (cbrt (fma (/ b a) (/ b a) 1))))))) 1538732099.816 * * * * [misc]progress: [ 20 / 118 ] simplifiying candidate # 1538732099.817 * [enter]simplify: Simplifying (/ 1 (sqrt (+ 1 (* (/ b a) (/ b a))))) 1538732099.817 * * [misc]simplify: iters left: 6 (8 enodes) 1538732099.819 * * [misc]simplify: iters left: 5 (16 enodes) 1538732099.822 * * [misc]simplify: iters left: 4 (23 enodes) 1538732099.826 * * [misc]simplify: iters left: 3 (29 enodes) 1538732099.833 * * [misc]simplify: iters left: 2 (32 enodes) 1538732099.843 * [exit]simplify: Simplified to (/ 1 (hypot 1 (/ b a))) 1538732099.843 * [misc]simplify: Simplified (2 1 1 1) to (λ (a b) (sqrt (fabs (* (/ 1 (hypot 1 (/ b a))) (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (sqrt (+ 1 (* (/ b a) (/ b a))))))))) 1538732099.843 * [enter]simplify: Simplifying (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (sqrt (+ 1 (* (/ b a) (/ b a))))) 1538732099.844 * * [misc]simplify: iters left: 6 (11 enodes) 1538732099.848 * * [misc]simplify: iters left: 5 (29 enodes) 1538732099.857 * * [misc]simplify: iters left: 4 (79 enodes) 1538732099.908 * * [misc]simplify: iters left: 3 (214 enodes) 1538732100.091 * [exit]simplify: Simplified to (/ (- 1 (pow (/ b a) 4)) (hypot 1 (/ b a))) 1538732100.091 * [misc]simplify: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (* (/ 1 (hypot 1 (/ b a))) (/ (- 1 (pow (/ b a) 4)) (hypot 1 (/ b a))))))) 1538732100.091 * * * * [misc]progress: [ 21 / 118 ] simplifiying candidate # 1538732100.091 * [enter]simplify: Simplifying (/ 1 1) 1538732100.092 * * [misc]simplify: iters left: 2 (2 enodes) 1538732100.093 * * [misc]simplify: iters left: 1 (4 enodes) 1538732100.093 * [exit]simplify: Simplified to 1 1538732100.093 * [misc]simplify: Simplified (2 1 1 1) to (λ (a b) (sqrt (fabs (* 1 (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (* (/ b a) (/ b a)))))))) 1538732100.094 * [enter]simplify: Simplifying (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (* (/ b a) (/ b a)))) 1538732100.095 * * [misc]simplify: iters left: 6 (10 enodes) 1538732100.102 * * [misc]simplify: iters left: 5 (27 enodes) 1538732100.119 * * [misc]simplify: iters left: 4 (75 enodes) 1538732100.174 * * [misc]simplify: iters left: 3 (206 enodes) 1538732100.385 * [exit]simplify: Simplified to (/ (- 1 (pow (/ b a) 4)) (fma (/ b a) (/ b a) 1)) 1538732100.385 * [misc]simplify: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (* 1 (/ (- 1 (pow (/ b a) 4)) (fma (/ b a) (/ b a) 1)))))) 1538732100.386 * * * * [misc]progress: [ 22 / 118 ] simplifiying candidate # 1538732100.386 * [enter]simplify: Simplifying (/ (+ 1 (* (/ b a) (/ b a))) (* (cbrt (+ 1 (* (/ b a) (/ b a)))) (cbrt (+ 1 (* (/ b a) (/ b a)))))) 1538732100.387 * * [misc]simplify: iters left: 6 (9 enodes) 1538732100.391 * * [misc]simplify: iters left: 5 (18 enodes) 1538732100.398 * * [misc]simplify: iters left: 4 (25 enodes) 1538732100.407 * * [misc]simplify: iters left: 3 (31 enodes) 1538732100.416 * * [misc]simplify: iters left: 2 (34 enodes) 1538732100.427 * [exit]simplify: Simplified to (/ (/ (fma (/ b a) (/ b a) 1) (cbrt (fma (/ b a) (/ b a) 1))) (cbrt (fma (/ b a) (/ b a) 1))) 1538732100.427 * [misc]simplify: Simplified (2 1 1 1) to (λ (a b) (sqrt (fabs (* (/ (/ (fma (/ b a) (/ b a) 1) (cbrt (fma (/ b a) (/ b a) 1))) (cbrt (fma (/ b a) (/ b a) 1))) (/ (- 1 (* (/ b a) (/ b a))) (cbrt (+ 1 (* (/ b a) (/ b a))))))))) 1538732100.427 * [enter]simplify: Simplifying (/ (- 1 (* (/ b a) (/ b a))) (cbrt (+ 1 (* (/ b a) (/ b a))))) 1538732100.428 * * [misc]simplify: iters left: 6 (9 enodes) 1538732100.430 * * [misc]simplify: iters left: 5 (21 enodes) 1538732100.436 * * [misc]simplify: iters left: 4 (42 enodes) 1538732100.445 * * [misc]simplify: iters left: 3 (77 enodes) 1538732100.470 * * [misc]simplify: iters left: 2 (149 enodes) 1538732100.542 * * [misc]simplify: iters left: 1 (251 enodes) 1538732100.637 * [exit]simplify: Simplified to (/ (- 1 (* (/ b a) (/ b a))) (cbrt (fma (/ b a) (/ b a) 1))) 1538732100.637 * [misc]simplify: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (* (/ (/ (fma (/ b a) (/ b a) 1) (cbrt (fma (/ b a) (/ b a) 1))) (cbrt (fma (/ b a) (/ b a) 1))) (/ (- 1 (* (/ b a) (/ b a))) (cbrt (fma (/ b a) (/ b a) 1))))))) 1538732100.637 * * * * [misc]progress: [ 23 / 118 ] simplifiying candidate # 1538732100.637 * [enter]simplify: Simplifying (/ (+ 1 (* (/ b a) (/ b a))) (sqrt (+ 1 (* (/ b a) (/ b a))))) 1538732100.638 * * [misc]simplify: iters left: 6 (8 enodes) 1538732100.640 * * [misc]simplify: iters left: 5 (16 enodes) 1538732100.643 * * [misc]simplify: iters left: 4 (23 enodes) 1538732100.647 * * [misc]simplify: iters left: 3 (29 enodes) 1538732100.656 * * [misc]simplify: iters left: 2 (32 enodes) 1538732100.664 * [exit]simplify: Simplified to (/ (fma (/ b a) (/ b a) 1) (hypot 1 (/ b a))) 1538732100.664 * [misc]simplify: Simplified (2 1 1 1) to (λ (a b) (sqrt (fabs (* (/ (fma (/ b a) (/ b a) 1) (hypot 1 (/ b a))) (/ (- 1 (* (/ b a) (/ b a))) (sqrt (+ 1 (* (/ b a) (/ b a))))))))) 1538732100.664 * [enter]simplify: Simplifying (/ (- 1 (* (/ b a) (/ b a))) (sqrt (+ 1 (* (/ b a) (/ b a))))) 1538732100.665 * * [misc]simplify: iters left: 6 (9 enodes) 1538732100.670 * * [misc]simplify: iters left: 5 (22 enodes) 1538732100.680 * * [misc]simplify: iters left: 4 (43 enodes) 1538732100.695 * * [misc]simplify: iters left: 3 (78 enodes) 1538732100.715 * * [misc]simplify: iters left: 2 (150 enodes) 1538732100.764 * * [misc]simplify: iters left: 1 (252 enodes) 1538732100.894 * [exit]simplify: Simplified to (/ (- 1 (* (/ b a) (/ b a))) (hypot 1 (/ b a))) 1538732100.895 * [misc]simplify: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (* (/ (fma (/ b a) (/ b a) 1) (hypot 1 (/ b a))) (/ (- 1 (* (/ b a) (/ b a))) (hypot 1 (/ b a))))))) 1538732100.895 * * * * [misc]progress: [ 24 / 118 ] simplifiying candidate # 1538732100.897 * [enter]simplify: Simplifying (/ (+ 1 (* (/ b a) (/ b a))) 1) 1538732100.898 * * [misc]simplify: iters left: 6 (7 enodes) 1538732100.901 * * [misc]simplify: iters left: 5 (14 enodes) 1538732100.906 * * [misc]simplify: iters left: 4 (21 enodes) 1538732100.913 * * [misc]simplify: iters left: 3 (27 enodes) 1538732100.922 * * [misc]simplify: iters left: 2 (30 enodes) 1538732100.931 * [exit]simplify: Simplified to (fma (/ b a) (/ b a) 1) 1538732100.931 * [misc]simplify: Simplified (2 1 1 1) to (λ (a b) (sqrt (fabs (* (fma (/ b a) (/ b a) 1) (/ (- 1 (* (/ b a) (/ b a))) (+ 1 (* (/ b a) (/ b a)))))))) 1538732100.931 * [enter]simplify: Simplifying (/ (- 1 (* (/ b a) (/ b a))) (+ 1 (* (/ b a) (/ b a)))) 1538732100.932 * * [misc]simplify: iters left: 6 (8 enodes) 1538732100.937 * * [misc]simplify: iters left: 5 (20 enodes) 1538732100.947 * * [misc]simplify: iters left: 4 (41 enodes) 1538732100.965 * * [misc]simplify: iters left: 3 (76 enodes) 1538732101.002 * * [misc]simplify: iters left: 2 (156 enodes) 1538732101.096 * * [misc]simplify: iters left: 1 (283 enodes) 1538732101.225 * [exit]simplify: Simplified to (/ (- 1 (* (/ b a) (/ b a))) (fma (/ b a) (/ b a) 1)) 1538732101.225 * [misc]simplify: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (* (fma (/ b a) (/ b a) 1) (/ (- 1 (* (/ b a) (/ b a))) (fma (/ b a) (/ b a) 1)))))) 1538732101.225 * * * * [misc]progress: [ 25 / 118 ] simplifiying candidate # 1538732101.225 * * * * [misc]progress: [ 26 / 118 ] simplifiying candidate # 1538732101.225 * * * * [misc]progress: [ 27 / 118 ] simplifiying candidate # 1538732101.225 * * * * [misc]progress: [ 28 / 118 ] simplifiying candidate # 1538732101.225 * [enter]simplify: Simplifying (cbrt (+ 1 (* (/ b a) (/ b a)))) 1538732101.226 * * [misc]simplify: iters left: 6 (7 enodes) 1538732101.228 * * [misc]simplify: iters left: 5 (14 enodes) 1538732101.230 * * [misc]simplify: iters left: 4 (21 enodes) 1538732101.234 * * [misc]simplify: iters left: 3 (27 enodes) 1538732101.239 * * [misc]simplify: iters left: 2 (30 enodes) 1538732101.247 * [exit]simplify: Simplified to (cbrt (fma (/ b a) (/ b a) 1)) 1538732101.248 * [misc]simplify: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (/ (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (* (cbrt (+ 1 (* (/ b a) (/ b a)))) (cbrt (+ 1 (* (/ b a) (/ b a)))))) (cbrt (fma (/ b a) (/ b a) 1)))))) 1538732101.248 * * * * [misc]progress: [ 29 / 118 ] simplifiying candidate # 1538732101.248 * [enter]simplify: Simplifying (sqrt (+ 1 (* (/ b a) (/ b a)))) 1538732101.249 * * [misc]simplify: iters left: 6 (7 enodes) 1538732101.252 * * [misc]simplify: iters left: 5 (15 enodes) 1538732101.258 * * [misc]simplify: iters left: 4 (22 enodes) 1538732101.265 * * [misc]simplify: iters left: 3 (28 enodes) 1538732101.273 * * [misc]simplify: iters left: 2 (31 enodes) 1538732101.278 * [exit]simplify: Simplified to (hypot 1 (/ b a)) 1538732101.278 * [misc]simplify: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (/ (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (sqrt (+ 1 (* (/ b a) (/ b a))))) (hypot 1 (/ b a)))))) 1538732101.278 * * * * [misc]progress: [ 30 / 118 ] simplifiying candidate # 1538732101.279 * [enter]simplify: Simplifying (+ 1 (* (/ b a) (/ b a))) 1538732101.279 * * [misc]simplify: iters left: 6 (6 enodes) 1538732101.280 * * [misc]simplify: iters left: 5 (13 enodes) 1538732101.283 * * [misc]simplify: iters left: 4 (20 enodes) 1538732101.286 * * [misc]simplify: iters left: 3 (26 enodes) 1538732101.290 * * [misc]simplify: iters left: 2 (29 enodes) 1538732101.295 * [exit]simplify: Simplified to (fma (/ b a) (/ b a) 1) 1538732101.295 * [misc]simplify: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (/ (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) 1) (fma (/ b a) (/ b a) 1))))) 1538732101.295 * * * * [misc]progress: [ 31 / 118 ] simplifiying candidate # 1538732101.295 * [enter]simplify: Simplifying (* (cbrt (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))) (cbrt (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))))) 1538732101.296 * * [misc]simplify: iters left: 6 (10 enodes) 1538732101.301 * * [misc]simplify: iters left: 5 (23 enodes) 1538732101.316 * * [misc]simplify: iters left: 4 (66 enodes) 1538732101.359 * * [misc]simplify: iters left: 3 (170 enodes) 1538732101.454 * * [misc]simplify: iters left: 2 (400 enodes) 1538732101.878 * [exit]simplify: Simplified to (* (cbrt (- 1 (pow (/ b a) 4))) (cbrt (- 1 (pow (/ b a) 4)))) 1538732101.878 * [misc]simplify: Simplified (2 1 1 1) to (λ (a b) (sqrt (fabs (/ (* (cbrt (- 1 (pow (/ b a) 4))) (cbrt (- 1 (pow (/ b a) 4)))) (/ (+ 1 (* (/ b a) (/ b a))) (cbrt (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))))))))) 1538732101.878 * * * * [misc]progress: [ 32 / 118 ] simplifiying candidate # 1538732101.878 * [enter]simplify: Simplifying (sqrt (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))) 1538732101.879 * * [misc]simplify: iters left: 6 (9 enodes) 1538732101.884 * * [misc]simplify: iters left: 5 (22 enodes) 1538732101.892 * * [misc]simplify: iters left: 4 (61 enodes) 1538732101.916 * * [misc]simplify: iters left: 3 (164 enodes) 1538732101.997 * * [misc]simplify: iters left: 2 (395 enodes) 1538732102.404 * [exit]simplify: Simplified to (sqrt (- 1 (pow (/ b a) 4))) 1538732102.404 * [misc]simplify: Simplified (2 1 1 1) to (λ (a b) (sqrt (fabs (/ (sqrt (- 1 (pow (/ b a) 4))) (/ (+ 1 (* (/ b a) (/ b a))) (sqrt (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))))))))) 1538732102.404 * * * * [misc]progress: [ 33 / 118 ] simplifiying candidate # 1538732102.404 * * * * [misc]progress: [ 34 / 118 ] simplifiying candidate # 1538732102.404 * [enter]simplify: Simplifying (+ 1 (* (/ b a) (/ b a))) 1538732102.405 * * [misc]simplify: iters left: 6 (6 enodes) 1538732102.406 * * [misc]simplify: iters left: 5 (13 enodes) 1538732102.409 * * [misc]simplify: iters left: 4 (20 enodes) 1538732102.412 * * [misc]simplify: iters left: 3 (26 enodes) 1538732102.416 * * [misc]simplify: iters left: 2 (29 enodes) 1538732102.420 * [exit]simplify: Simplified to (fma (/ b a) (/ b a) 1) 1538732102.420 * [misc]simplify: Simplified (2 1 1 1) to (λ (a b) (sqrt (fabs (/ (fma (/ b a) (/ b a) 1) (/ (+ 1 (* (/ b a) (/ b a))) (- 1 (* (/ b a) (/ b a)))))))) 1538732102.420 * * * * [misc]progress: [ 35 / 118 ] simplifiying candidate # 1538732102.421 * [enter]simplify: Simplifying (+ (* 1 1) (- (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* 1 (* (/ b a) (/ b a))))) 1538732102.421 * * [misc]simplify: iters left: 6 (10 enodes) 1538732102.425 * * [misc]simplify: iters left: 5 (32 enodes) 1538732102.444 * * [misc]simplify: iters left: 4 (155 enodes) 1538732102.556 * * [misc]simplify: iters left: 3 (405 enodes) 1538732102.958 * [exit]simplify: Simplified to (fma (* (/ b a) (/ b a)) (fma (/ b a) (/ b a) -1) 1) 1538732102.958 * [misc]simplify: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (* (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ (pow 1 3) (pow (* (/ b a) (/ b a)) 3))) (fma (* (/ b a) (/ b a)) (fma (/ b a) (/ b a) -1) 1))))) 1538732102.958 * * * * [misc]progress: [ 36 / 118 ] simplifiying candidate # 1538732102.958 * [enter]simplify: Simplifying (- 1 (* (/ b a) (/ b a))) 1538732102.959 * * [misc]simplify: iters left: 6 (6 enodes) 1538732102.962 * * [misc]simplify: iters left: 5 (14 enodes) 1538732102.968 * * [misc]simplify: iters left: 4 (28 enodes) 1538732102.980 * * [misc]simplify: iters left: 3 (46 enodes) 1538732102.995 * * [misc]simplify: iters left: 2 (61 enodes) 1538732103.011 * * [misc]simplify: iters left: 1 (69 enodes) 1538732103.036 * [exit]simplify: Simplified to (- 1 (* (/ b a) (/ b a))) 1538732103.036 * [misc]simplify: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (* (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))) (- 1 (* (/ b a) (/ b a))))))) 1538732103.036 * * * * [misc]progress: [ 37 / 118 ] simplifiying candidate # 1538732103.036 * [enter]simplify: Simplifying (- (pow (* 1 1) 3) (pow (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) 3)) 1538732103.037 * * [misc]simplify: iters left: 6 (11 enodes) 1538732103.045 * * [misc]simplify: iters left: 5 (33 enodes) 1538732103.068 * * [misc]simplify: iters left: 4 (106 enodes) 1538732103.157 * * [misc]simplify: iters left: 3 (428 enodes) 1538732104.092 * [exit]simplify: Simplified to (fma (* (pow (/ b a) 4) (pow (/ b a) 4)) (- (pow (/ b a) 4)) 1) 1538732104.092 * [misc]simplify: Simplified (2 1 1 1) to (λ (a b) (sqrt (fabs (/ (fma (* (pow (/ b a) 4) (pow (/ b a) 4)) (- (pow (/ b a) 4)) 1) (* (+ 1 (* (/ b a) (/ b a))) (+ (* (* 1 1) (* 1 1)) (+ (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (* (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))))))))) 1538732104.092 * * * * [misc]progress: [ 38 / 118 ] simplifiying candidate # 1538732104.093 * [enter]simplify: Simplifying (- (* (* 1 1) (* 1 1)) (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))) 1538732104.094 * * [misc]simplify: iters left: 6 (10 enodes) 1538732104.101 * * [misc]simplify: iters left: 5 (27 enodes) 1538732104.123 * * [misc]simplify: iters left: 4 (91 enodes) 1538732104.181 * * [misc]simplify: iters left: 3 (353 enodes) 1538732104.750 * [exit]simplify: Simplified to (- 1 (* (pow (/ b a) 4) (pow (/ b a) 4))) 1538732104.750 * [misc]simplify: Simplified (2 1 1 1) to (λ (a b) (sqrt (fabs (/ (- 1 (* (pow (/ b a) 4) (pow (/ b a) 4))) (* (+ 1 (* (/ b a) (/ b a))) (+ (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))))))) 1538732104.750 * * * * [misc]progress: [ 39 / 118 ] simplifiying candidate # 1538732104.750 * * * * [misc]progress: [ 40 / 118 ] simplifiying candidate # 1538732104.750 * * * * [misc]progress: [ 41 / 118 ] simplifiying candidate # 1538732104.750 * * * * [misc]progress: [ 42 / 118 ] simplifiying candidate # 1538732104.750 * * * * [misc]progress: [ 43 / 118 ] simplifiying candidate # 1538732104.750 * * * * [misc]progress: [ 44 / 118 ] simplifiying candidate # 1538732104.750 * * * * [misc]progress: [ 45 / 118 ] simplifiying candidate # 1538732104.750 * * * * [misc]progress: [ 46 / 118 ] simplifiying candidate # 1538732104.751 * * * * [misc]progress: [ 47 / 118 ] simplifiying candidate # 1538732104.751 * [enter]simplify: Simplifying (sqrt (* (cbrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (* (/ b a) (/ b a)))))) (cbrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (* (/ b a) (/ b a)))))))) 1538732104.752 * * [misc]simplify: iters left: 6 (14 enodes) 1538732104.760 * * [misc]simplify: iters left: 5 (32 enodes) 1538732104.777 * * [misc]simplify: iters left: 4 (82 enodes) 1538732104.833 * * [misc]simplify: iters left: 3 (218 enodes) 1538732105.048 * [exit]simplify: Simplified to (fabs (cbrt (fabs (/ (- 1 (pow (/ b a) 4)) (fma (/ b a) (/ b a) 1))))) 1538732105.048 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (fabs (cbrt (fabs (/ (- 1 (pow (/ b a) 4)) (fma (/ b a) (/ b a) 1))))) (sqrt (cbrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (* (/ b a) (/ b a))))))))) 1538732105.048 * * * * [misc]progress: [ 48 / 118 ] simplifiying candidate # 1538732105.048 * [enter]simplify: Simplifying (sqrt (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (* (/ b a) (/ b a))))))) 1538732105.053 * * [misc]simplify: iters left: 6 (13 enodes) 1538732105.059 * * [misc]simplify: iters left: 5 (30 enodes) 1538732105.075 * * [misc]simplify: iters left: 4 (80 enodes) 1538732105.109 * * [misc]simplify: iters left: 3 (213 enodes) 1538732105.308 * [exit]simplify: Simplified to (sqrt (sqrt (fabs (/ (- 1 (pow (/ b a) 4)) (fma (/ b a) (/ b a) 1))))) 1538732105.308 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (sqrt (sqrt (fabs (/ (- 1 (pow (/ b a) 4)) (fma (/ b a) (/ b a) 1))))) (sqrt (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (* (/ b a) (/ b a))))))))) 1538732105.308 * * * * [misc]progress: [ 49 / 118 ] simplifiying candidate # 1538732105.308 * [enter]simplify: Simplifying (sqrt 1) 1538732105.309 * * [misc]simplify: iters left: 1 (2 enodes) 1538732105.311 * [exit]simplify: Simplified to 1 1538732105.311 * [misc]simplify: Simplified (2 1) to (λ (a b) (* 1 (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (* (/ b a) (/ b a)))))))) 1538732105.311 * * * * [misc]progress: [ 50 / 118 ] simplifiying candidate # 1538732105.311 * * * * [misc]progress: [ 51 / 118 ] simplifiying candidate # 1538732105.311 * [enter]simplify: Simplifying (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (* (/ b a) (/ b a)))))) 1538732105.313 * * [misc]simplify: iters left: 6 (12 enodes) 1538732105.320 * * [misc]simplify: iters left: 5 (29 enodes) 1538732105.338 * * [misc]simplify: iters left: 4 (79 enodes) 1538732105.396 * * [misc]simplify: iters left: 3 (214 enodes) 1538732105.545 * [exit]simplify: Simplified to (sqrt (fabs (/ (- 1 (pow (/ b a) 4)) (fma (/ b a) (/ b a) 1)))) 1538732105.545 * [misc]simplify: Simplified (2 1) to (λ (a b) (fabs (sqrt (fabs (/ (- 1 (pow (/ b a) 4)) (fma (/ b a) (/ b a) 1)))))) 1538732105.545 * * * * [misc]progress: [ 52 / 118 ] simplifiying candidate # 1538732105.545 * * * * [misc]progress: [ 53 / 118 ] simplifiying candidate # 1538732105.545 * * * * [misc]progress: [ 54 / 118 ] simplifiying candidate # 1538732105.545 * * * * [misc]progress: [ 55 / 118 ] simplifiying candidate # 1538732105.545 * [enter]simplify: Simplifying (/ b a) 1538732105.545 * * [misc]simplify: iters left: 2 (3 enodes) 1538732105.546 * [exit]simplify: Simplified to (/ b a) 1538732105.546 * [misc]simplify: Simplified (2 1 1 2 2 1) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (pow (/ b a) (+ 1 1))))))) 1538732105.547 * [enter]simplify: Simplifying (+ 1 1) 1538732105.547 * * [misc]simplify: iters left: 2 (2 enodes) 1538732105.549 * * [misc]simplify: iters left: 1 (5 enodes) 1538732105.550 * [exit]simplify: Simplified to 2 1538732105.550 * [misc]simplify: Simplified (2 1 1 2 2 2) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (pow (/ b a) 2)))))) 1538732105.550 * * * * [misc]progress: [ 56 / 118 ] simplifiying candidate # 1538732105.550 * [enter]simplify: Simplifying (* (/ b a) (/ b a)) 1538732105.550 * * [misc]simplify: iters left: 4 (4 enodes) 1538732105.552 * * [misc]simplify: iters left: 3 (8 enodes) 1538732105.556 * * [misc]simplify: iters left: 2 (14 enodes) 1538732105.560 * * [misc]simplify: iters left: 1 (20 enodes) 1538732105.567 * [exit]simplify: Simplified to (* (/ b a) (/ b a)) 1538732105.567 * [misc]simplify: Simplified (2 1 1 2 2 1) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (pow (* (/ b a) (/ b a)) 1)))))) 1538732105.567 * * * * [misc]progress: [ 57 / 118 ] simplifiying candidate # 1538732105.567 * * * * [misc]progress: [ 58 / 118 ] simplifiying candidate # 1538732105.567 * [enter]simplify: Simplifying (/ b a) 1538732105.568 * * [misc]simplify: iters left: 2 (3 enodes) 1538732105.568 * [exit]simplify: Simplified to (/ b a) 1538732105.568 * [misc]simplify: Simplified (2 1 1 2 2 1) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (pow (/ b a) (+ 1 1))))))) 1538732105.569 * * * * [misc]progress: [ 59 / 118 ] simplifiying candidate # 1538732105.569 * * * * [misc]progress: [ 60 / 118 ] simplifiying candidate # 1538732105.569 * [enter]simplify: Simplifying (+ (log (/ b a)) (log (/ b a))) 1538732105.569 * * [misc]simplify: iters left: 5 (5 enodes) 1538732105.571 * * [misc]simplify: iters left: 4 (8 enodes) 1538732105.574 * * [misc]simplify: iters left: 3 (14 enodes) 1538732105.580 * * [misc]simplify: iters left: 2 (28 enodes) 1538732105.592 * * [misc]simplify: iters left: 1 (53 enodes) 1538732105.614 * [exit]simplify: Simplified to (+ (log (/ b a)) (log (/ b a))) 1538732105.614 * [misc]simplify: Simplified (2 1 1 2 2 1) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (exp (+ (log (/ b a)) (log (/ b a))))))))) 1538732105.614 * * * * [misc]progress: [ 61 / 118 ] simplifiying candidate # 1538732105.615 * * * * [misc]progress: [ 62 / 118 ] simplifiying candidate # 1538732105.615 * * * * [misc]progress: [ 63 / 118 ] simplifiying candidate # 1538732105.615 * [enter]simplify: Simplifying (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a))) 1538732105.615 * * [misc]simplify: iters left: 6 (6 enodes) 1538732105.619 * * [misc]simplify: iters left: 5 (17 enodes) 1538732105.632 * * [misc]simplify: iters left: 4 (61 enodes) 1538732105.659 * * [misc]simplify: iters left: 3 (157 enodes) 1538732105.803 * * [misc]simplify: iters left: 2 (463 enodes) 1538732106.878 * [exit]simplify: Simplified to (pow (/ b a) 6) 1538732106.878 * [misc]simplify: Simplified (2 1 1 2 2 1) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (cbrt (pow (/ b a) 6))))))) 1538732106.878 * * * * [misc]progress: [ 64 / 118 ] simplifiying candidate # 1538732106.878 * * * * [misc]progress: [ 65 / 118 ] simplifiying candidate # 1538732106.878 * * * * [misc]progress: [ 66 / 118 ] simplifiying candidate # 1538732106.878 * * * * [misc]progress: [ 67 / 118 ] simplifiying candidate # 1538732106.879 * [enter]simplify: Simplifying (* b b) 1538732106.880 * * [misc]simplify: iters left: 2 (2 enodes) 1538732106.880 * [exit]simplify: Simplified to (* b b) 1538732106.880 * [misc]simplify: Simplified (2 1 1 2 2 1) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (/ (* b b) (* a a))))))) 1538732106.880 * [enter]simplify: Simplifying (* a a) 1538732106.880 * * [misc]simplify: iters left: 2 (2 enodes) 1538732106.881 * [exit]simplify: Simplified to (* a a) 1538732106.881 * [misc]simplify: Simplified (2 1 1 2 2 2) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (/ (* b b) (* a a))))))) 1538732106.881 * * * * [misc]progress: [ 68 / 118 ] simplifiying candidate # 1538732106.881 * * * * [misc]progress: [ 69 / 118 ] simplifiying candidate # 1538732106.881 * [enter]simplify: Simplifying (cbrt (/ b a)) 1538732106.881 * * [misc]simplify: iters left: 3 (4 enodes) 1538732106.882 * [exit]simplify: Simplified to (cbrt (/ b a)) 1538732106.882 * [misc]simplify: Simplified (2 1 1 2 2 2) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (* (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a)))))))) 1538732106.882 * * * * [misc]progress: [ 70 / 118 ] simplifiying candidate # 1538732106.882 * [enter]simplify: Simplifying (sqrt (/ b a)) 1538732106.883 * * [misc]simplify: iters left: 3 (4 enodes) 1538732106.883 * [exit]simplify: Simplified to (sqrt (/ b a)) 1538732106.883 * [misc]simplify: Simplified (2 1 1 2 2 2) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a)))))))) 1538732106.884 * * * * [misc]progress: [ 71 / 118 ] simplifiying candidate # 1538732106.884 * [enter]simplify: Simplifying (/ b a) 1538732106.884 * * [misc]simplify: iters left: 2 (3 enodes) 1538732106.884 * [exit]simplify: Simplified to (/ b a) 1538732106.884 * [misc]simplify: Simplified (2 1 1 2 2 2) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (* (* (/ b a) 1) (/ b a))))))) 1538732106.884 * * * * [misc]progress: [ 72 / 118 ] simplifiying candidate # 1538732106.885 * [enter]simplify: Simplifying (/ 1 a) 1538732106.885 * * [misc]simplify: iters left: 2 (3 enodes) 1538732106.885 * * [misc]simplify: iters left: 1 (5 enodes) 1538732106.886 * [exit]simplify: Simplified to (/ 1 a) 1538732106.886 * [misc]simplify: Simplified (2 1 1 2 2 2) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (* (* (/ b a) b) (/ 1 a))))))) 1538732106.886 * * * * [misc]progress: [ 73 / 118 ] simplifiying candidate # 1538732106.886 * [enter]simplify: Simplifying (* (cbrt (/ b a)) (cbrt (/ b a))) 1538732106.887 * * [misc]simplify: iters left: 5 (5 enodes) 1538732106.888 * [exit]simplify: Simplified to (* (cbrt (/ b a)) (cbrt (/ b a))) 1538732106.888 * [misc]simplify: Simplified (2 1 1 2 2 1) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (cbrt (/ b a)) (/ b a)))))))) 1538732106.888 * * * * [misc]progress: [ 74 / 118 ] simplifiying candidate # 1538732106.888 * [enter]simplify: Simplifying (sqrt (/ b a)) 1538732106.888 * * [misc]simplify: iters left: 3 (4 enodes) 1538732106.889 * [exit]simplify: Simplified to (sqrt (/ b a)) 1538732106.889 * [misc]simplify: Simplified (2 1 1 2 2 1) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a)))))))) 1538732106.889 * * * * [misc]progress: [ 75 / 118 ] simplifiying candidate # 1538732106.889 * * * * [misc]progress: [ 76 / 118 ] simplifiying candidate # 1538732106.889 * * * * [misc]progress: [ 77 / 118 ] simplifiying candidate # 1538732106.889 * * * * [misc]progress: [ 78 / 118 ] simplifiying candidate # 1538732106.889 * [enter]simplify: Simplifying (* b (/ b a)) 1538732106.889 * * [misc]simplify: iters left: 4 (4 enodes) 1538732106.890 * * [misc]simplify: iters left: 3 (7 enodes) 1538732106.892 * * [misc]simplify: iters left: 2 (9 enodes) 1538732106.893 * [exit]simplify: Simplified to (* b (/ b a)) 1538732106.893 * [misc]simplify: Simplified (2 1 1 2 2 1) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (/ (* b (/ b a)) a)))))) 1538732106.893 * * * * [misc]progress: [ 79 / 118 ] simplifiying candidate # 1538732106.894 * * * * [misc]progress: [ 80 / 118 ] simplifiying candidate # 1538732106.894 * * * * [misc]progress: [ 81 / 118 ] simplifiying candidate # 1538732106.894 * * * * [misc]progress: [ 82 / 118 ] simplifiying candidate # 1538732106.894 * [enter]simplify: Simplifying (/ b a) 1538732106.894 * * [misc]simplify: iters left: 2 (3 enodes) 1538732106.894 * [exit]simplify: Simplified to (/ b a) 1538732106.894 * [misc]simplify: Simplified (2 1 1 1 2 2 1) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (pow (/ b a) (+ 1 1)))) (+ 1 (* (/ b a) (/ b a))))))) 1538732106.895 * [enter]simplify: Simplifying (+ 1 1) 1538732106.895 * * [misc]simplify: iters left: 2 (2 enodes) 1538732106.896 * * [misc]simplify: iters left: 1 (5 enodes) 1538732106.896 * [exit]simplify: Simplified to 2 1538732106.896 * [misc]simplify: Simplified (2 1 1 1 2 2 2) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (pow (/ b a) 2))) (+ 1 (* (/ b a) (/ b a))))))) 1538732106.896 * * * * [misc]progress: [ 83 / 118 ] simplifiying candidate # 1538732106.897 * [enter]simplify: Simplifying (* (/ b a) (/ b a)) 1538732106.897 * * [misc]simplify: iters left: 4 (4 enodes) 1538732106.898 * * [misc]simplify: iters left: 3 (8 enodes) 1538732106.900 * * [misc]simplify: iters left: 2 (14 enodes) 1538732106.903 * * [misc]simplify: iters left: 1 (20 enodes) 1538732106.907 * [exit]simplify: Simplified to (* (/ b a) (/ b a)) 1538732106.907 * [misc]simplify: Simplified (2 1 1 1 2 2 1) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (pow (* (/ b a) (/ b a)) 1))) (+ 1 (* (/ b a) (/ b a))))))) 1538732106.907 * * * * [misc]progress: [ 84 / 118 ] simplifiying candidate # 1538732106.907 * * * * [misc]progress: [ 85 / 118 ] simplifiying candidate # 1538732106.907 * [enter]simplify: Simplifying (/ b a) 1538732106.907 * * [misc]simplify: iters left: 2 (3 enodes) 1538732106.907 * [exit]simplify: Simplified to (/ b a) 1538732106.908 * [misc]simplify: Simplified (2 1 1 1 2 2 1) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (pow (/ b a) (+ 1 1)))) (+ 1 (* (/ b a) (/ b a))))))) 1538732106.908 * * * * [misc]progress: [ 86 / 118 ] simplifiying candidate # 1538732106.908 * * * * [misc]progress: [ 87 / 118 ] simplifiying candidate # 1538732106.908 * [enter]simplify: Simplifying (+ (log (/ b a)) (log (/ b a))) 1538732106.908 * * [misc]simplify: iters left: 5 (5 enodes) 1538732106.909 * * [misc]simplify: iters left: 4 (8 enodes) 1538732106.911 * * [misc]simplify: iters left: 3 (14 enodes) 1538732106.915 * * [misc]simplify: iters left: 2 (28 enodes) 1538732106.922 * * [misc]simplify: iters left: 1 (53 enodes) 1538732106.935 * [exit]simplify: Simplified to (+ (log (/ b a)) (log (/ b a))) 1538732106.935 * [misc]simplify: Simplified (2 1 1 1 2 2 1) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (exp (+ (log (/ b a)) (log (/ b a)))))) (+ 1 (* (/ b a) (/ b a))))))) 1538732106.935 * * * * [misc]progress: [ 88 / 118 ] simplifiying candidate # 1538732106.935 * * * * [misc]progress: [ 89 / 118 ] simplifiying candidate # 1538732106.935 * * * * [misc]progress: [ 90 / 118 ] simplifiying candidate # 1538732106.935 * [enter]simplify: Simplifying (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a))) 1538732106.936 * * [misc]simplify: iters left: 6 (6 enodes) 1538732106.938 * * [misc]simplify: iters left: 5 (17 enodes) 1538732106.947 * * [misc]simplify: iters left: 4 (61 enodes) 1538732106.971 * * [misc]simplify: iters left: 3 (157 enodes) 1538732107.060 * * [misc]simplify: iters left: 2 (463 enodes) 1538732107.749 * [exit]simplify: Simplified to (pow (/ b a) 6) 1538732107.749 * [misc]simplify: Simplified (2 1 1 1 2 2 1) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (cbrt (pow (/ b a) 6)))) (+ 1 (* (/ b a) (/ b a))))))) 1538732107.749 * * * * [misc]progress: [ 91 / 118 ] simplifiying candidate # 1538732107.750 * * * * [misc]progress: [ 92 / 118 ] simplifiying candidate # 1538732107.750 * * * * [misc]progress: [ 93 / 118 ] simplifiying candidate # 1538732107.750 * * * * [misc]progress: [ 94 / 118 ] simplifiying candidate # 1538732107.750 * [enter]simplify: Simplifying (* b b) 1538732107.750 * * [misc]simplify: iters left: 2 (2 enodes) 1538732107.750 * [exit]simplify: Simplified to (* b b) 1538732107.750 * [misc]simplify: Simplified (2 1 1 1 2 2 1) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (/ (* b b) (* a a)))) (+ 1 (* (/ b a) (/ b a))))))) 1538732107.751 * [enter]simplify: Simplifying (* a a) 1538732107.751 * * [misc]simplify: iters left: 2 (2 enodes) 1538732107.751 * [exit]simplify: Simplified to (* a a) 1538732107.751 * [misc]simplify: Simplified (2 1 1 1 2 2 2) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (/ (* b b) (* a a)))) (+ 1 (* (/ b a) (/ b a))))))) 1538732107.751 * * * * [misc]progress: [ 95 / 118 ] simplifiying candidate # 1538732107.751 * * * * [misc]progress: [ 96 / 118 ] simplifiying candidate # 1538732107.751 * [enter]simplify: Simplifying (cbrt (/ b a)) 1538732107.752 * * [misc]simplify: iters left: 3 (4 enodes) 1538732107.752 * [exit]simplify: Simplified to (cbrt (/ b a)) 1538732107.752 * [misc]simplify: Simplified (2 1 1 1 2 2 2) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a))))) (+ 1 (* (/ b a) (/ b a))))))) 1538732107.752 * * * * [misc]progress: [ 97 / 118 ] simplifiying candidate # 1538732107.753 * [enter]simplify: Simplifying (sqrt (/ b a)) 1538732107.753 * * [misc]simplify: iters left: 3 (4 enodes) 1538732107.754 * [exit]simplify: Simplified to (sqrt (/ b a)) 1538732107.754 * [misc]simplify: Simplified (2 1 1 1 2 2 2) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a))))) (+ 1 (* (/ b a) (/ b a))))))) 1538732107.754 * * * * [misc]progress: [ 98 / 118 ] simplifiying candidate # 1538732107.754 * [enter]simplify: Simplifying (/ b a) 1538732107.754 * * [misc]simplify: iters left: 2 (3 enodes) 1538732107.754 * [exit]simplify: Simplified to (/ b a) 1538732107.754 * [misc]simplify: Simplified (2 1 1 1 2 2 2) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (* (/ b a) 1) (/ b a)))) (+ 1 (* (/ b a) (/ b a))))))) 1538732107.754 * * * * [misc]progress: [ 99 / 118 ] simplifiying candidate # 1538732107.755 * [enter]simplify: Simplifying (/ 1 a) 1538732107.755 * * [misc]simplify: iters left: 2 (3 enodes) 1538732107.755 * * [misc]simplify: iters left: 1 (5 enodes) 1538732107.756 * [exit]simplify: Simplified to (/ 1 a) 1538732107.756 * [misc]simplify: Simplified (2 1 1 1 2 2 2) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (* (/ b a) b) (/ 1 a)))) (+ 1 (* (/ b a) (/ b a))))))) 1538732107.756 * * * * [misc]progress: [ 100 / 118 ] simplifiying candidate # 1538732107.756 * [enter]simplify: Simplifying (* (cbrt (/ b a)) (cbrt (/ b a))) 1538732107.757 * * [misc]simplify: iters left: 5 (5 enodes) 1538732107.758 * [exit]simplify: Simplified to (* (cbrt (/ b a)) (cbrt (/ b a))) 1538732107.758 * [misc]simplify: Simplified (2 1 1 1 2 2 1) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (cbrt (/ b a)) (/ b a))))) (+ 1 (* (/ b a) (/ b a))))))) 1538732107.758 * * * * [misc]progress: [ 101 / 118 ] simplifiying candidate # 1538732107.758 * [enter]simplify: Simplifying (sqrt (/ b a)) 1538732107.758 * * [misc]simplify: iters left: 3 (4 enodes) 1538732107.759 * [exit]simplify: Simplified to (sqrt (/ b a)) 1538732107.759 * [misc]simplify: Simplified (2 1 1 1 2 2 1) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a))))) (+ 1 (* (/ b a) (/ b a))))))) 1538732107.759 * * * * [misc]progress: [ 102 / 118 ] simplifiying candidate # 1538732107.759 * * * * [misc]progress: [ 103 / 118 ] simplifiying candidate # 1538732107.759 * * * * [misc]progress: [ 104 / 118 ] simplifiying candidate # 1538732107.759 * * * * [misc]progress: [ 105 / 118 ] simplifiying candidate # 1538732107.759 * [enter]simplify: Simplifying (* b (/ b a)) 1538732107.759 * * [misc]simplify: iters left: 4 (4 enodes) 1538732107.760 * * [misc]simplify: iters left: 3 (7 enodes) 1538732107.761 * * [misc]simplify: iters left: 2 (9 enodes) 1538732107.763 * [exit]simplify: Simplified to (* b (/ b a)) 1538732107.763 * [misc]simplify: Simplified (2 1 1 1 2 2 1) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (/ (* b (/ b a)) a))) (+ 1 (* (/ b a) (/ b a))))))) 1538732107.763 * * * * [misc]progress: [ 106 / 118 ] simplifiying candidate # 1538732107.763 * * * * [misc]progress: [ 107 / 118 ] simplifiying candidate # 1538732107.763 * [enter]simplify: Simplifying (- 1 (/ (pow b 2) (pow a 2))) 1538732107.764 * * [misc]simplify: iters left: 5 (8 enodes) 1538732107.765 * * [misc]simplify: iters left: 4 (14 enodes) 1538732107.768 * * [misc]simplify: iters left: 3 (23 enodes) 1538732107.773 * * [misc]simplify: iters left: 2 (40 enodes) 1538732107.782 * * [misc]simplify: iters left: 1 (66 enodes) 1538732107.795 * [exit]simplify: Simplified to (- 1 (* (/ b a) (/ b a))) 1538732107.795 * [misc]simplify: Simplified (2 1 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1538732107.795 * * * * [misc]progress: [ 108 / 118 ] simplifiying candidate # 1538732107.795 * [enter]simplify: Simplifying (- 1 (/ (pow b 2) (pow a 2))) 1538732107.795 * * [misc]simplify: iters left: 5 (8 enodes) 1538732107.797 * * [misc]simplify: iters left: 4 (14 enodes) 1538732107.800 * * [misc]simplify: iters left: 3 (23 enodes) 1538732107.808 * * [misc]simplify: iters left: 2 (40 enodes) 1538732107.818 * * [misc]simplify: iters left: 1 (66 enodes) 1538732107.843 * [exit]simplify: Simplified to (- 1 (* (/ b a) (/ b a))) 1538732107.843 * [misc]simplify: Simplified (2 1 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1538732107.843 * * * * [misc]progress: [ 109 / 118 ] simplifiying candidate # 1538732107.843 * [enter]simplify: Simplifying (- 1 (/ (pow b 2) (pow a 2))) 1538732107.844 * * [misc]simplify: iters left: 5 (8 enodes) 1538732107.847 * * [misc]simplify: iters left: 4 (14 enodes) 1538732107.853 * * [misc]simplify: iters left: 3 (23 enodes) 1538732107.862 * * [misc]simplify: iters left: 2 (40 enodes) 1538732107.878 * * [misc]simplify: iters left: 1 (66 enodes) 1538732107.890 * [exit]simplify: Simplified to (- 1 (* (/ b a) (/ b a))) 1538732107.890 * [misc]simplify: Simplified (2 1 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1538732107.890 * * * * [misc]progress: [ 110 / 118 ] simplifiying candidate # 1538732107.891 * [enter]simplify: Simplifying (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))) 1538732107.892 * * [misc]simplify: iters left: 6 (16 enodes) 1538732107.895 * * [misc]simplify: iters left: 5 (26 enodes) 1538732107.902 * * [misc]simplify: iters left: 4 (39 enodes) 1538732107.911 * * [misc]simplify: iters left: 3 (55 enodes) 1538732107.920 * * [misc]simplify: iters left: 2 (68 enodes) 1538732107.935 * * [misc]simplify: iters left: 1 (117 enodes) 1538732108.016 * [exit]simplify: Simplified to (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (fma (/ b a) (/ b a) 1)))) 1538732108.016 * [misc]simplify: Simplified (2) to (λ (a b) (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (fma (/ b a) (/ b a) 1))))) 1538732108.016 * * * * [misc]progress: [ 111 / 118 ] simplifiying candidate # 1538732108.016 * [enter]simplify: Simplifying (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))) 1538732108.018 * * [misc]simplify: iters left: 6 (16 enodes) 1538732108.022 * * [misc]simplify: iters left: 5 (26 enodes) 1538732108.027 * * [misc]simplify: iters left: 4 (39 enodes) 1538732108.035 * * [misc]simplify: iters left: 3 (55 enodes) 1538732108.044 * * [misc]simplify: iters left: 2 (68 enodes) 1538732108.069 * * [misc]simplify: iters left: 1 (117 enodes) 1538732108.129 * [exit]simplify: Simplified to (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (fma (/ b a) (/ b a) 1)))) 1538732108.129 * [misc]simplify: Simplified (2) to (λ (a b) (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (fma (/ b a) (/ b a) 1))))) 1538732108.129 * * * * [misc]progress: [ 112 / 118 ] simplifiying candidate # 1538732108.129 * [enter]simplify: Simplifying (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (+ (/ (pow b 2) (pow a 2)) 1)))) 1538732108.131 * * [misc]simplify: iters left: 6 (16 enodes) 1538732108.138 * * [misc]simplify: iters left: 5 (26 enodes) 1538732108.148 * * [misc]simplify: iters left: 4 (39 enodes) 1538732108.163 * * [misc]simplify: iters left: 3 (55 enodes) 1538732108.180 * * [misc]simplify: iters left: 2 (68 enodes) 1538732108.206 * * [misc]simplify: iters left: 1 (117 enodes) 1538732108.299 * [exit]simplify: Simplified to (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (fma (/ b a) (/ b a) 1)))) 1538732108.299 * [misc]simplify: Simplified (2) to (λ (a b) (sqrt (fabs (/ (- 1 (/ (pow b 4) (pow a 4))) (fma (/ b a) (/ b a) 1))))) 1538732108.299 * * * * [misc]progress: [ 113 / 118 ] simplifiying candidate # 1538732108.300 * [enter]simplify: Simplifying (/ (pow b 2) (pow a 2)) 1538732108.300 * * [misc]simplify: iters left: 3 (6 enodes) 1538732108.303 * * [misc]simplify: iters left: 2 (8 enodes) 1538732108.307 * * [misc]simplify: iters left: 1 (14 enodes) 1538732108.311 * [exit]simplify: Simplified to (* (/ b a) (/ b a)) 1538732108.311 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (* (/ b a) (/ b a))))))) 1538732108.311 * * * * [misc]progress: [ 114 / 118 ] simplifiying candidate # 1538732108.311 * [enter]simplify: Simplifying (/ (pow b 2) (pow a 2)) 1538732108.311 * * [misc]simplify: iters left: 3 (6 enodes) 1538732108.313 * * [misc]simplify: iters left: 2 (8 enodes) 1538732108.315 * * [misc]simplify: iters left: 1 (14 enodes) 1538732108.318 * [exit]simplify: Simplified to (* (/ b a) (/ b a)) 1538732108.318 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (* (/ b a) (/ b a))))))) 1538732108.319 * * * * [misc]progress: [ 115 / 118 ] simplifiying candidate # 1538732108.319 * [enter]simplify: Simplifying (/ (pow b 2) (pow a 2)) 1538732108.319 * * [misc]simplify: iters left: 3 (6 enodes) 1538732108.320 * * [misc]simplify: iters left: 2 (8 enodes) 1538732108.322 * * [misc]simplify: iters left: 1 (14 enodes) 1538732108.326 * [exit]simplify: Simplified to (* (/ b a) (/ b a)) 1538732108.326 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (* (/ b a) (/ b a))))))) 1538732108.326 * * * * [misc]progress: [ 116 / 118 ] simplifiying candidate # 1538732108.326 * [enter]simplify: Simplifying (/ (pow b 2) (pow a 2)) 1538732108.328 * * [misc]simplify: iters left: 3 (6 enodes) 1538732108.329 * * [misc]simplify: iters left: 2 (8 enodes) 1538732108.331 * * [misc]simplify: iters left: 1 (14 enodes) 1538732108.335 * [exit]simplify: Simplified to (* (/ b a) (/ b a)) 1538732108.335 * [misc]simplify: Simplified (2 1 1 1 2 2) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (* (/ b a) (/ b a))))))) 1538732108.335 * * * * [misc]progress: [ 117 / 118 ] simplifiying candidate # 1538732108.335 * [enter]simplify: Simplifying (/ (pow b 2) (pow a 2)) 1538732108.335 * * [misc]simplify: iters left: 3 (6 enodes) 1538732108.338 * * [misc]simplify: iters left: 2 (8 enodes) 1538732108.341 * * [misc]simplify: iters left: 1 (14 enodes) 1538732108.348 * [exit]simplify: Simplified to (* (/ b a) (/ b a)) 1538732108.348 * [misc]simplify: Simplified (2 1 1 1 2 2) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (* (/ b a) (/ b a))))))) 1538732108.349 * * * * [misc]progress: [ 118 / 118 ] simplifiying candidate # 1538732108.349 * [enter]simplify: Simplifying (/ (pow b 2) (pow a 2)) 1538732108.349 * * [misc]simplify: iters left: 3 (6 enodes) 1538732108.352 * * [misc]simplify: iters left: 2 (8 enodes) 1538732108.355 * * [misc]simplify: iters left: 1 (14 enodes) 1538732108.362 * [exit]simplify: Simplified to (* (/ b a) (/ b a)) 1538732108.362 * [misc]simplify: Simplified (2 1 1 1 2 2) to (λ (a b) (sqrt (fabs (/ (- (* 1 1) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) (+ 1 (* (/ b a) (/ b a))))))) 1538732108.363 * * * [misc]progress: adding candidates to table 1538732111.027 * [misc]progress: [Phase 3 of 3] Extracting. 1538732111.027 * * [misc]regime: Finding splitpoints for: (# #) 1538732111.028 * * * [misc]regime-changes: Trying 2 branch expressions: (b a) 1538732111.028 * * * * [misc]regimes: Trying to branch on b from (# #) 1538732111.078 * * * * [misc]regimes: Trying to branch on a from (# #) 1538732111.133 * * * [misc]regime: Found split indices: #