1539794985.010 * [misc]progress: [Phase 1 of 3] Setting up. 1539794985.010 * * * [misc]progress: [1/2] Preparing points 1539794985.011 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539794985.013 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539794985.015 * * * * [misc]points: Setting MPFR precision to 64 1539794985.016 * * * * [misc]points: Setting MPFR precision to 320 1539794985.017 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539794985.019 * * * * [misc]points: Setting MPFR precision to 64 1539794985.020 * * * * [misc]points: Setting MPFR precision to 320 1539794985.021 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539794985.023 * * * * [misc]points: Setting MPFR precision to 64 1539794985.026 * * * * [misc]points: Setting MPFR precision to 320 1539794985.029 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539794985.031 * * * * [misc]points: Setting MPFR precision to 64 1539794985.035 * * * * [misc]points: Setting MPFR precision to 320 1539794985.040 * * * * [misc]points: Computing exacts for 256 points 1539794985.042 * * * * [misc]points: Setting MPFR precision to 64 1539794985.054 * * * * [misc]points: Setting MPFR precision to 320 1539794985.066 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794985.066 * * * * [misc]points: Sampling 123 additional inputs, on iter 1 have 133 / 256 1539794985.067 * * * * [misc]points: Computing exacts on every 7 of 123 points to ramp up precision 1539794985.083 * * * * [misc]points: Setting MPFR precision to 64 1539794985.085 * * * * [misc]points: Setting MPFR precision to 320 1539794985.086 * * * * [misc]points: Computing exacts on every 3 of 123 points to ramp up precision 1539794985.088 * * * * [misc]points: Setting MPFR precision to 64 1539794985.089 * * * * [misc]points: Setting MPFR precision to 320 1539794985.091 * * * * [misc]points: Computing exacts for 123 points 1539794985.093 * * * * [misc]points: Setting MPFR precision to 64 1539794985.099 * * * * [misc]points: Setting MPFR precision to 320 1539794985.105 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794985.105 * * * * [misc]points: Sampling 69 additional inputs, on iter 2 have 187 / 256 1539794985.105 * * * * [misc]points: Computing exacts on every 4 of 69 points to ramp up precision 1539794985.108 * * * * [misc]points: Setting MPFR precision to 64 1539794985.108 * * * * [misc]points: Setting MPFR precision to 320 1539794985.109 * * * * [misc]points: Computing exacts on every 2 of 69 points to ramp up precision 1539794985.111 * * * * [misc]points: Setting MPFR precision to 64 1539794985.112 * * * * [misc]points: Setting MPFR precision to 320 1539794985.112 * * * * [misc]points: Computing exacts for 69 points 1539794985.113 * * * * [misc]points: Setting MPFR precision to 64 1539794985.115 * * * * [misc]points: Setting MPFR precision to 320 1539794985.117 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794985.117 * * * * [misc]points: Sampling 35 additional inputs, on iter 3 have 221 / 256 1539794985.117 * * * * [misc]points: Computing exacts on every 2 of 35 points to ramp up precision 1539794985.118 * * * * [misc]points: Setting MPFR precision to 64 1539794985.119 * * * * [misc]points: Setting MPFR precision to 320 1539794985.119 * * * * [misc]points: Computing exacts for 35 points 1539794985.120 * * * * [misc]points: Setting MPFR precision to 64 1539794985.121 * * * * [misc]points: Setting MPFR precision to 320 1539794985.122 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794985.122 * * * * [misc]points: Sampling 19 additional inputs, on iter 4 have 237 / 256 1539794985.122 * * * * [misc]points: Computing exacts for 19 points 1539794985.123 * * * * [misc]points: Setting MPFR precision to 64 1539794985.124 * * * * [misc]points: Setting MPFR precision to 320 1539794985.124 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794985.124 * * * * [misc]points: Sampling 12 additional inputs, on iter 5 have 244 / 256 1539794985.124 * * * * [misc]points: Computing exacts for 12 points 1539794985.126 * * * * [misc]points: Setting MPFR precision to 64 1539794985.126 * * * * [misc]points: Setting MPFR precision to 320 1539794985.126 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794985.126 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 253 / 256 1539794985.126 * * * * [misc]points: Computing exacts for 4 points 1539794985.127 * * * * [misc]points: Setting MPFR precision to 64 1539794985.128 * * * * [misc]points: Setting MPFR precision to 320 1539794985.128 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794985.128 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 255 / 256 1539794985.128 * * * * [misc]points: Computing exacts for 4 points 1539794985.129 * * * * [misc]points: Setting MPFR precision to 64 1539794985.129 * * * * [misc]points: Setting MPFR precision to 320 1539794985.129 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794985.129 * * * * [exit]points: Sampled 256 points with exact outputs 1539794985.129 * * * [misc]progress: [2/2] Setting up program. 1539794985.132 * [misc]progress: [Phase 2 of 3] Improving. 1539794985.132 * [enter]simplify: Simplifying (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) 1539794985.132 * * [misc]simplify: iters left: 6 (8 enodes) 1539794985.133 * * [misc]simplify: iters left: 5 (19 enodes) 1539794985.136 * * [misc]simplify: iters left: 4 (44 enodes) 1539794985.147 * * [misc]simplify: iters left: 3 (86 enodes) 1539794985.168 * * [misc]simplify: iters left: 2 (156 enodes) 1539794985.215 * * [misc]simplify: iters left: 1 (330 enodes) 1539794985.345 * [exit]simplify: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1539794985.357 * * [misc]progress: iteration 1 / 4 1539794985.357 * * * [misc]progress: picking best candidate 1539794985.362 * * * * [misc]pick: Picked # 1539794985.362 * * * [misc]progress: localizing error 1539794985.392 * * * [misc]progress: generating rewritten candidates 1539794985.392 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1 1 2) 1539794985.401 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2) 1539794985.402 * * * [misc]progress: generating series expansions 1539794985.402 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1 1 2) 1539794985.402 * [misc]backup-simplify: Simplify (* (/ b a) (/ b a)) into (/ (pow b 2) (pow a 2)) 1539794985.402 * [misc]approximate: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0 1539794985.403 * [misc]taylor: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a 1539794985.403 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1539794985.403 * [misc]taylor: Taking taylor expansion of b in a 1539794985.403 * [misc]backup-simplify: Simplify b into b 1539794985.403 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1539794985.403 * [misc]taylor: Taking taylor expansion of a in a 1539794985.403 * [misc]backup-simplify: Simplify 0 into 0 1539794985.403 * [misc]backup-simplify: Simplify 1 into 1 1539794985.403 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1539794985.403 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794985.403 * [misc]backup-simplify: Simplify (/ (pow b 2) 1) into (pow b 2) 1539794985.403 * [misc]taylor: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 1539794985.403 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1539794985.403 * [misc]taylor: Taking taylor expansion of b in b 1539794985.403 * [misc]backup-simplify: Simplify 0 into 0 1539794985.403 * [misc]backup-simplify: Simplify 1 into 1 1539794985.403 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1539794985.403 * [misc]taylor: Taking taylor expansion of a in b 1539794985.404 * [misc]backup-simplify: Simplify a into a 1539794985.404 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794985.404 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1539794985.404 * [misc]backup-simplify: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1539794985.404 * [misc]taylor: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 1539794985.404 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1539794985.404 * [misc]taylor: Taking taylor expansion of b in b 1539794985.404 * [misc]backup-simplify: Simplify 0 into 0 1539794985.404 * [misc]backup-simplify: Simplify 1 into 1 1539794985.404 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1539794985.404 * [misc]taylor: Taking taylor expansion of a in b 1539794985.404 * [misc]backup-simplify: Simplify a into a 1539794985.404 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794985.404 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1539794985.404 * [misc]backup-simplify: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1539794985.405 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 2)) in a 1539794985.405 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1539794985.405 * [misc]taylor: Taking taylor expansion of a in a 1539794985.405 * [misc]backup-simplify: Simplify 0 into 0 1539794985.405 * [misc]backup-simplify: Simplify 1 into 1 1539794985.405 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794985.405 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794985.405 * [misc]backup-simplify: Simplify 1 into 1 1539794985.405 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794985.405 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1539794985.406 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0 1539794985.406 * [misc]taylor: Taking taylor expansion of 0 in a 1539794985.406 * [misc]backup-simplify: Simplify 0 into 0 1539794985.406 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794985.406 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539794985.406 * [misc]backup-simplify: Simplify 0 into 0 1539794985.407 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794985.407 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1539794985.407 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 1539794985.407 * [misc]taylor: Taking taylor expansion of 0 in a 1539794985.407 * [misc]backup-simplify: Simplify 0 into 0 1539794985.408 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794985.408 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794985.408 * [misc]backup-simplify: Simplify 0 into 0 1539794985.408 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794985.409 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1539794985.409 * [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 1539794985.409 * [misc]taylor: Taking taylor expansion of 0 in a 1539794985.409 * [misc]backup-simplify: Simplify 0 into 0 1539794985.409 * [misc]backup-simplify: Simplify 0 into 0 1539794985.410 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794985.410 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794985.410 * [misc]backup-simplify: Simplify 0 into 0 1539794985.411 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794985.411 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 1539794985.412 * [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 1539794985.412 * [misc]taylor: Taking taylor expansion of 0 in a 1539794985.412 * [misc]backup-simplify: Simplify 0 into 0 1539794985.412 * [misc]backup-simplify: Simplify 0 into 0 1539794985.412 * [misc]backup-simplify: Simplify 0 into 0 1539794985.412 * [misc]backup-simplify: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2)) 1539794985.412 * [misc]backup-simplify: Simplify (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) into (/ (pow a 2) (pow b 2)) 1539794985.412 * [misc]approximate: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 1539794985.412 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 1539794985.412 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1539794985.412 * [misc]taylor: Taking taylor expansion of a in a 1539794985.412 * [misc]backup-simplify: Simplify 0 into 0 1539794985.412 * [misc]backup-simplify: Simplify 1 into 1 1539794985.412 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1539794985.412 * [misc]taylor: Taking taylor expansion of b in a 1539794985.412 * [misc]backup-simplify: Simplify b into b 1539794985.413 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794985.413 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1539794985.413 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1539794985.413 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1539794985.413 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1539794985.413 * [misc]taylor: Taking taylor expansion of a in b 1539794985.413 * [misc]backup-simplify: Simplify a into a 1539794985.413 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1539794985.413 * [misc]taylor: Taking taylor expansion of b in b 1539794985.413 * [misc]backup-simplify: Simplify 0 into 0 1539794985.413 * [misc]backup-simplify: Simplify 1 into 1 1539794985.413 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1539794985.413 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794985.413 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1539794985.413 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1539794985.413 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1539794985.413 * [misc]taylor: Taking taylor expansion of a in b 1539794985.413 * [misc]backup-simplify: Simplify a into a 1539794985.414 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1539794985.414 * [misc]taylor: Taking taylor expansion of b in b 1539794985.414 * [misc]backup-simplify: Simplify 0 into 0 1539794985.414 * [misc]backup-simplify: Simplify 1 into 1 1539794985.414 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1539794985.414 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794985.414 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1539794985.414 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1539794985.414 * [misc]taylor: Taking taylor expansion of a in a 1539794985.414 * [misc]backup-simplify: Simplify 0 into 0 1539794985.414 * [misc]backup-simplify: Simplify 1 into 1 1539794985.414 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794985.414 * [misc]backup-simplify: Simplify 1 into 1 1539794985.414 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1539794985.415 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794985.415 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 1539794985.415 * [misc]taylor: Taking taylor expansion of 0 in a 1539794985.415 * [misc]backup-simplify: Simplify 0 into 0 1539794985.415 * [misc]backup-simplify: Simplify 0 into 0 1539794985.415 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794985.415 * [misc]backup-simplify: Simplify 0 into 0 1539794985.416 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1539794985.416 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794985.416 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794985.416 * [misc]taylor: Taking taylor expansion of 0 in a 1539794985.416 * [misc]backup-simplify: Simplify 0 into 0 1539794985.417 * [misc]backup-simplify: Simplify 0 into 0 1539794985.417 * [misc]backup-simplify: Simplify 0 into 0 1539794985.417 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794985.417 * [misc]backup-simplify: Simplify 0 into 0 1539794985.417 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1539794985.418 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794985.418 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794985.418 * [misc]taylor: Taking taylor expansion of 0 in a 1539794985.418 * [misc]backup-simplify: Simplify 0 into 0 1539794985.418 * [misc]backup-simplify: Simplify 0 into 0 1539794985.419 * [misc]backup-simplify: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2)) 1539794985.419 * [misc]backup-simplify: Simplify (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2)) 1539794985.419 * [misc]approximate: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 1539794985.419 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 1539794985.419 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1539794985.419 * [misc]taylor: Taking taylor expansion of a in a 1539794985.419 * [misc]backup-simplify: Simplify 0 into 0 1539794985.419 * [misc]backup-simplify: Simplify 1 into 1 1539794985.419 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1539794985.419 * [misc]taylor: Taking taylor expansion of b in a 1539794985.419 * [misc]backup-simplify: Simplify b into b 1539794985.419 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794985.419 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1539794985.419 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1539794985.420 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1539794985.420 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1539794985.420 * [misc]taylor: Taking taylor expansion of a in b 1539794985.420 * [misc]backup-simplify: Simplify a into a 1539794985.420 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1539794985.420 * [misc]taylor: Taking taylor expansion of b in b 1539794985.420 * [misc]backup-simplify: Simplify 0 into 0 1539794985.420 * [misc]backup-simplify: Simplify 1 into 1 1539794985.420 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1539794985.420 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794985.420 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1539794985.420 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1539794985.420 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1539794985.420 * [misc]taylor: Taking taylor expansion of a in b 1539794985.420 * [misc]backup-simplify: Simplify a into a 1539794985.420 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1539794985.420 * [misc]taylor: Taking taylor expansion of b in b 1539794985.420 * [misc]backup-simplify: Simplify 0 into 0 1539794985.420 * [misc]backup-simplify: Simplify 1 into 1 1539794985.420 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1539794985.421 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794985.421 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1539794985.421 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1539794985.421 * [misc]taylor: Taking taylor expansion of a in a 1539794985.421 * [misc]backup-simplify: Simplify 0 into 0 1539794985.421 * [misc]backup-simplify: Simplify 1 into 1 1539794985.421 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794985.421 * [misc]backup-simplify: Simplify 1 into 1 1539794985.421 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1539794985.421 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794985.422 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 1539794985.422 * [misc]taylor: Taking taylor expansion of 0 in a 1539794985.422 * [misc]backup-simplify: Simplify 0 into 0 1539794985.422 * [misc]backup-simplify: Simplify 0 into 0 1539794985.422 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794985.422 * [misc]backup-simplify: Simplify 0 into 0 1539794985.422 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1539794985.423 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794985.423 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794985.423 * [misc]taylor: Taking taylor expansion of 0 in a 1539794985.423 * [misc]backup-simplify: Simplify 0 into 0 1539794985.423 * [misc]backup-simplify: Simplify 0 into 0 1539794985.423 * [misc]backup-simplify: Simplify 0 into 0 1539794985.424 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794985.424 * [misc]backup-simplify: Simplify 0 into 0 1539794985.424 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1539794985.424 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794985.425 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794985.425 * [misc]taylor: Taking taylor expansion of 0 in a 1539794985.425 * [misc]backup-simplify: Simplify 0 into 0 1539794985.425 * [misc]backup-simplify: Simplify 0 into 0 1539794985.425 * [misc]backup-simplify: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2)) 1539794985.425 * * * * [misc]progress: [ 2 / 2 ] generating series at (2) 1539794985.426 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1539794985.426 * [misc]approximate: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0 1539794985.426 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 1539794985.426 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 1539794985.426 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 1539794985.426 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1539794985.427 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1539794985.427 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 1539794985.427 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 1539794985.427 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 1539794985.427 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1539794985.428 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1539794985.428 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 1539794985.428 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 1539794985.428 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 1539794985.428 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1539794985.428 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1539794985.428 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 1539794985.428 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 1539794985.429 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 1539794985.429 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1539794985.429 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1539794985.429 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1539794985.429 * [misc]taylor: Taking taylor expansion of 0 in a 1539794985.429 * [misc]backup-simplify: Simplify 0 into 0 1539794985.429 * [misc]backup-simplify: Simplify 0 into 0 1539794985.429 * [misc]backup-simplify: Simplify 0 into 0 1539794985.431 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1539794985.431 * [misc]taylor: Taking taylor expansion of 0 in a 1539794985.431 * [misc]backup-simplify: Simplify 0 into 0 1539794985.431 * [misc]backup-simplify: Simplify 0 into 0 1539794985.431 * [misc]backup-simplify: Simplify 0 into 0 1539794985.432 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1539794985.432 * [misc]backup-simplify: Simplify 0 into 0 1539794985.432 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1539794985.432 * [misc]taylor: Taking taylor expansion of 0 in a 1539794985.432 * [misc]backup-simplify: Simplify 0 into 0 1539794985.432 * [misc]backup-simplify: Simplify 0 into 0 1539794985.433 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1539794985.433 * [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))))) 1539794985.433 * [misc]approximate: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 1539794985.433 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 1539794985.433 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 1539794985.433 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1539794985.433 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1539794985.434 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794985.434 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 1539794985.434 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 1539794985.434 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1539794985.434 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1539794985.434 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794985.434 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 1539794985.434 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 1539794985.435 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1539794985.435 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1539794985.435 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794985.435 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 1539794985.435 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 1539794985.435 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1539794985.436 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1539794985.436 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794985.436 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1539794985.436 * [misc]taylor: Taking taylor expansion of 0 in a 1539794985.436 * [misc]backup-simplify: Simplify 0 into 0 1539794985.436 * [misc]backup-simplify: Simplify 0 into 0 1539794985.436 * [misc]backup-simplify: Simplify 0 into 0 1539794985.438 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794985.438 * [misc]taylor: Taking taylor expansion of 0 in a 1539794985.438 * [misc]backup-simplify: Simplify 0 into 0 1539794985.438 * [misc]backup-simplify: Simplify 0 into 0 1539794985.438 * [misc]backup-simplify: Simplify 0 into 0 1539794985.439 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794985.439 * [misc]backup-simplify: Simplify 0 into 0 1539794985.439 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794985.439 * [misc]taylor: Taking taylor expansion of 0 in a 1539794985.439 * [misc]backup-simplify: Simplify 0 into 0 1539794985.439 * [misc]backup-simplify: Simplify 0 into 0 1539794985.439 * [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))))) 1539794985.440 * [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))))) 1539794985.440 * [misc]approximate: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 1539794985.440 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 1539794985.440 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 1539794985.440 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1539794985.440 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1539794985.440 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794985.440 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 1539794985.440 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 1539794985.440 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1539794985.440 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1539794985.440 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794985.440 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 1539794985.441 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 1539794985.441 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1539794985.441 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1539794985.441 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794985.441 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 1539794985.441 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 1539794985.441 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1539794985.441 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1539794985.441 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794985.441 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1539794985.442 * [misc]taylor: Taking taylor expansion of 0 in a 1539794985.442 * [misc]backup-simplify: Simplify 0 into 0 1539794985.442 * [misc]backup-simplify: Simplify 0 into 0 1539794985.442 * [misc]backup-simplify: Simplify 0 into 0 1539794985.442 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794985.442 * [misc]taylor: Taking taylor expansion of 0 in a 1539794985.442 * [misc]backup-simplify: Simplify 0 into 0 1539794985.442 * [misc]backup-simplify: Simplify 0 into 0 1539794985.442 * [misc]backup-simplify: Simplify 0 into 0 1539794985.443 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794985.443 * [misc]backup-simplify: Simplify 0 into 0 1539794985.443 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794985.443 * [misc]taylor: Taking taylor expansion of 0 in a 1539794985.443 * [misc]backup-simplify: Simplify 0 into 0 1539794985.443 * [misc]backup-simplify: Simplify 0 into 0 1539794985.444 * [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))))) 1539794985.444 * * * [misc]progress: simplifying candidates 1539794985.444 * * * * [misc]progress: [ 1 / 47 ] simplifiying candidate # 1539794985.444 * * * * [misc]progress: [ 2 / 47 ] simplifiying candidate # 1539794985.444 * * * * [misc]progress: [ 3 / 47 ] simplifiying candidate # 1539794985.444 * [enter]simplify: Simplifying (/ b a) 1539794985.444 * * [misc]simplify: iters left: 2 (3 enodes) 1539794985.444 * [exit]simplify: Simplified to (/ b a) 1539794985.444 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1)))))) 1539794985.444 * [enter]simplify: Simplifying (+ 1 1) 1539794985.444 * * [misc]simplify: iters left: 2 (2 enodes) 1539794985.445 * * [misc]simplify: iters left: 1 (5 enodes) 1539794985.446 * [exit]simplify: Simplified to 2 1539794985.446 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) 2))))) 1539794985.446 * * * * [misc]progress: [ 4 / 47 ] simplifiying candidate # 1539794985.446 * [enter]simplify: Simplifying (* (/ b a) (/ b a)) 1539794985.446 * * [misc]simplify: iters left: 4 (4 enodes) 1539794985.447 * * [misc]simplify: iters left: 3 (8 enodes) 1539794985.448 * * [misc]simplify: iters left: 2 (14 enodes) 1539794985.450 * * [misc]simplify: iters left: 1 (20 enodes) 1539794985.452 * [exit]simplify: Simplified to (* (/ b a) (/ b a)) 1539794985.452 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1))))) 1539794985.453 * * * * [misc]progress: [ 5 / 47 ] simplifiying candidate # 1539794985.453 * * * * [misc]progress: [ 6 / 47 ] simplifiying candidate # 1539794985.453 * [enter]simplify: Simplifying (/ b a) 1539794985.453 * * [misc]simplify: iters left: 2 (3 enodes) 1539794985.453 * [exit]simplify: Simplified to (/ b a) 1539794985.453 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1)))))) 1539794985.453 * * * * [misc]progress: [ 7 / 47 ] simplifiying candidate # 1539794985.453 * * * * [misc]progress: [ 8 / 47 ] simplifiying candidate # 1539794985.453 * [enter]simplify: Simplifying (+ (log (/ b a)) (log (/ b a))) 1539794985.453 * * [misc]simplify: iters left: 5 (5 enodes) 1539794985.454 * * [misc]simplify: iters left: 4 (8 enodes) 1539794985.455 * * [misc]simplify: iters left: 3 (14 enodes) 1539794985.457 * * [misc]simplify: iters left: 2 (28 enodes) 1539794985.462 * * [misc]simplify: iters left: 1 (53 enodes) 1539794985.470 * [exit]simplify: Simplified to (+ (log (/ b a)) (log (/ b a))) 1539794985.470 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a)))))))) 1539794985.470 * * * * [misc]progress: [ 9 / 47 ] simplifiying candidate # 1539794985.470 * * * * [misc]progress: [ 10 / 47 ] simplifiying candidate # 1539794985.470 * * * * [misc]progress: [ 11 / 47 ] simplifiying candidate # 1539794985.470 * [enter]simplify: Simplifying (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a))) 1539794985.470 * * [misc]simplify: iters left: 6 (6 enodes) 1539794985.471 * * [misc]simplify: iters left: 5 (17 enodes) 1539794985.475 * * [misc]simplify: iters left: 4 (61 enodes) 1539794985.497 * * [misc]simplify: iters left: 3 (157 enodes) 1539794985.555 * * [misc]simplify: iters left: 2 (463 enodes) 1539794986.359 * [exit]simplify: Simplified to (pow (/ b a) 6) 1539794986.359 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) 1539794986.359 * * * * [misc]progress: [ 12 / 47 ] simplifiying candidate # 1539794986.359 * * * * [misc]progress: [ 13 / 47 ] simplifiying candidate # 1539794986.359 * * * * [misc]progress: [ 14 / 47 ] simplifiying candidate # 1539794986.359 * * * * [misc]progress: [ 15 / 47 ] simplifiying candidate # 1539794986.359 * [enter]simplify: Simplifying (* b b) 1539794986.359 * * [misc]simplify: iters left: 2 (2 enodes) 1539794986.360 * [exit]simplify: Simplified to (* b b) 1539794986.360 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) 1539794986.360 * [enter]simplify: Simplifying (* a a) 1539794986.360 * * [misc]simplify: iters left: 2 (2 enodes) 1539794986.361 * [exit]simplify: Simplified to (* a a) 1539794986.361 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) 1539794986.361 * * * * [misc]progress: [ 16 / 47 ] simplifiying candidate # 1539794986.361 * * * * [misc]progress: [ 17 / 47 ] simplifiying candidate # 1539794986.361 * [enter]simplify: Simplifying (cbrt (/ b a)) 1539794986.361 * * [misc]simplify: iters left: 3 (4 enodes) 1539794986.362 * [exit]simplify: Simplified to (cbrt (/ b a)) 1539794986.362 * [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))))))) 1539794986.363 * * * * [misc]progress: [ 18 / 47 ] simplifiying candidate # 1539794986.363 * [enter]simplify: Simplifying (sqrt (/ b a)) 1539794986.363 * * [misc]simplify: iters left: 3 (4 enodes) 1539794986.364 * [exit]simplify: Simplified to (sqrt (/ b a)) 1539794986.364 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a))))))) 1539794986.364 * * * * [misc]progress: [ 19 / 47 ] simplifiying candidate # 1539794986.364 * [enter]simplify: Simplifying (/ b a) 1539794986.364 * * [misc]simplify: iters left: 2 (3 enodes) 1539794986.365 * [exit]simplify: Simplified to (/ b a) 1539794986.365 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) 1) (/ b a)))))) 1539794986.365 * * * * [misc]progress: [ 20 / 47 ] simplifiying candidate # 1539794986.366 * [enter]simplify: Simplifying (/ 1 a) 1539794986.366 * * [misc]simplify: iters left: 2 (3 enodes) 1539794986.367 * * [misc]simplify: iters left: 1 (5 enodes) 1539794986.368 * [exit]simplify: Simplified to (/ 1 a) 1539794986.368 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) b) (/ 1 a)))))) 1539794986.368 * * * * [misc]progress: [ 21 / 47 ] simplifiying candidate # 1539794986.368 * [enter]simplify: Simplifying (* (cbrt (/ b a)) (cbrt (/ b a))) 1539794986.368 * * [misc]simplify: iters left: 5 (5 enodes) 1539794986.370 * [exit]simplify: Simplified to (* (cbrt (/ b a)) (cbrt (/ b a))) 1539794986.370 * [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))))))) 1539794986.370 * * * * [misc]progress: [ 22 / 47 ] simplifiying candidate # 1539794986.370 * [enter]simplify: Simplifying (sqrt (/ b a)) 1539794986.370 * * [misc]simplify: iters left: 3 (4 enodes) 1539794986.371 * [exit]simplify: Simplified to (sqrt (/ b a)) 1539794986.371 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a))))))) 1539794986.371 * * * * [misc]progress: [ 23 / 47 ] simplifiying candidate # 1539794986.371 * * * * [misc]progress: [ 24 / 47 ] simplifiying candidate # 1539794986.371 * * * * [misc]progress: [ 25 / 47 ] simplifiying candidate # 1539794986.371 * * * * [misc]progress: [ 26 / 47 ] simplifiying candidate # 1539794986.372 * [enter]simplify: Simplifying (* b (/ b a)) 1539794986.372 * * [misc]simplify: iters left: 4 (4 enodes) 1539794986.372 * * [misc]simplify: iters left: 3 (7 enodes) 1539794986.373 * * [misc]simplify: iters left: 2 (9 enodes) 1539794986.374 * [exit]simplify: Simplified to (* b (/ b a)) 1539794986.374 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) 1539794986.374 * * * * [misc]progress: [ 27 / 47 ] simplifiying candidate # 1539794986.374 * * * * [misc]progress: [ 28 / 47 ] simplifiying candidate # 1539794986.375 * * * * [misc]progress: [ 29 / 47 ] simplifiying candidate # 1539794986.375 * * * * [misc]progress: [ 30 / 47 ] simplifiying candidate # 1539794986.375 * * * * [misc]progress: [ 31 / 47 ] simplifiying candidate # 1539794986.375 * * * * [misc]progress: [ 32 / 47 ] simplifiying candidate # 1539794986.375 * * * * [misc]progress: [ 33 / 47 ] simplifiying candidate # 1539794986.375 * * * * [misc]progress: [ 34 / 47 ] simplifiying candidate # 1539794986.375 * * * * [misc]progress: [ 35 / 47 ] simplifiying candidate # 1539794986.375 * * * * [misc]progress: [ 36 / 47 ] simplifiying candidate # 1539794986.375 * [enter]simplify: Simplifying (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))) 1539794986.375 * * [misc]simplify: iters left: 6 (10 enodes) 1539794986.377 * * [misc]simplify: iters left: 5 (19 enodes) 1539794986.379 * * [misc]simplify: iters left: 4 (33 enodes) 1539794986.383 * * [misc]simplify: iters left: 3 (51 enodes) 1539794986.390 * * [misc]simplify: iters left: 2 (66 enodes) 1539794986.397 * * [misc]simplify: iters left: 1 (74 enodes) 1539794986.410 * [exit]simplify: Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1539794986.410 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))) 1539794986.410 * * * * [misc]progress: [ 37 / 47 ] simplifiying candidate # 1539794986.410 * [enter]simplify: Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1539794986.410 * * [misc]simplify: iters left: 6 (9 enodes) 1539794986.412 * * [misc]simplify: iters left: 5 (17 enodes) 1539794986.417 * * [misc]simplify: iters left: 4 (31 enodes) 1539794986.426 * * [misc]simplify: iters left: 3 (49 enodes) 1539794986.439 * * [misc]simplify: iters left: 2 (64 enodes) 1539794986.446 * * [misc]simplify: iters left: 1 (72 enodes) 1539794986.456 * [exit]simplify: Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1539794986.456 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) 1539794986.456 * * * * [misc]progress: [ 38 / 47 ] simplifiying candidate # 1539794986.456 * [enter]simplify: Simplifying (sqrt 1) 1539794986.456 * * [misc]simplify: iters left: 1 (2 enodes) 1539794986.457 * [exit]simplify: Simplified to 1 1539794986.457 * [misc]simplify: Simplified (2 1) to (λ (a b) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) 1539794986.457 * * * * [misc]progress: [ 39 / 47 ] simplifiying candidate # 1539794986.457 * * * * [misc]progress: [ 40 / 47 ] simplifiying candidate # 1539794986.457 * [enter]simplify: Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1539794986.457 * * [misc]simplify: iters left: 6 (8 enodes) 1539794986.459 * * [misc]simplify: iters left: 5 (16 enodes) 1539794986.461 * * [misc]simplify: iters left: 4 (30 enodes) 1539794986.465 * * [misc]simplify: iters left: 3 (48 enodes) 1539794986.471 * * [misc]simplify: iters left: 2 (63 enodes) 1539794986.485 * * [misc]simplify: iters left: 1 (71 enodes) 1539794986.504 * [exit]simplify: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1539794986.504 * [misc]simplify: Simplified (2 1) to (λ (a b) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) 1539794986.504 * * * * [misc]progress: [ 41 / 47 ] simplifiying candidate # 1539794986.504 * * * * [misc]progress: [ 42 / 47 ] simplifiying candidate # 1539794986.504 * [enter]simplify: Simplifying (/ (pow b 2) (pow a 2)) 1539794986.504 * * [misc]simplify: iters left: 3 (6 enodes) 1539794986.506 * * [misc]simplify: iters left: 2 (8 enodes) 1539794986.509 * * [misc]simplify: iters left: 1 (14 enodes) 1539794986.514 * [exit]simplify: Simplified to (* (/ b a) (/ b a)) 1539794986.514 * [misc]simplify: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1539794986.514 * * * * [misc]progress: [ 43 / 47 ] simplifiying candidate # 1539794986.515 * [enter]simplify: Simplifying (/ (pow b 2) (pow a 2)) 1539794986.515 * * [misc]simplify: iters left: 3 (6 enodes) 1539794986.517 * * [misc]simplify: iters left: 2 (8 enodes) 1539794986.519 * * [misc]simplify: iters left: 1 (14 enodes) 1539794986.524 * [exit]simplify: Simplified to (* (/ b a) (/ b a)) 1539794986.524 * [misc]simplify: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1539794986.524 * * * * [misc]progress: [ 44 / 47 ] simplifiying candidate # 1539794986.524 * [enter]simplify: Simplifying (/ (pow b 2) (pow a 2)) 1539794986.524 * * [misc]simplify: iters left: 3 (6 enodes) 1539794986.526 * * [misc]simplify: iters left: 2 (8 enodes) 1539794986.528 * * [misc]simplify: iters left: 1 (14 enodes) 1539794986.532 * [exit]simplify: Simplified to (* (/ b a) (/ b a)) 1539794986.532 * [misc]simplify: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1539794986.532 * * * * [misc]progress: [ 45 / 47 ] simplifiying candidate # 1539794986.532 * [enter]simplify: Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1539794986.532 * * [misc]simplify: iters left: 6 (10 enodes) 1539794986.534 * * [misc]simplify: iters left: 5 (16 enodes) 1539794986.536 * * [misc]simplify: iters left: 4 (25 enodes) 1539794986.539 * * [misc]simplify: iters left: 3 (42 enodes) 1539794986.546 * * [misc]simplify: iters left: 2 (68 enodes) 1539794986.554 * * [misc]simplify: iters left: 1 (77 enodes) 1539794986.563 * [exit]simplify: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1539794986.563 * [misc]simplify: Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1539794986.563 * * * * [misc]progress: [ 46 / 47 ] simplifiying candidate # 1539794986.564 * [enter]simplify: Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1539794986.564 * * [misc]simplify: iters left: 6 (10 enodes) 1539794986.567 * * [misc]simplify: iters left: 5 (16 enodes) 1539794986.571 * * [misc]simplify: iters left: 4 (25 enodes) 1539794986.578 * * [misc]simplify: iters left: 3 (42 enodes) 1539794986.589 * * [misc]simplify: iters left: 2 (68 enodes) 1539794986.598 * * [misc]simplify: iters left: 1 (77 enodes) 1539794986.608 * [exit]simplify: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1539794986.608 * [misc]simplify: Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1539794986.608 * * * * [misc]progress: [ 47 / 47 ] simplifiying candidate # 1539794986.608 * [enter]simplify: Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1539794986.608 * * [misc]simplify: iters left: 6 (10 enodes) 1539794986.609 * * [misc]simplify: iters left: 5 (16 enodes) 1539794986.612 * * [misc]simplify: iters left: 4 (25 enodes) 1539794986.615 * * [misc]simplify: iters left: 3 (42 enodes) 1539794986.623 * * [misc]simplify: iters left: 2 (68 enodes) 1539794986.640 * * [misc]simplify: iters left: 1 (77 enodes) 1539794986.658 * [exit]simplify: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1539794986.658 * [misc]simplify: Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1539794986.658 * * * [misc]progress: adding candidates to table 1539794987.201 * * [misc]progress: iteration 2 / 4 1539794987.201 * * * [misc]progress: picking best candidate 1539794987.207 * * * * [misc]pick: Picked # 1539794987.207 * * * [misc]progress: localizing error 1539794987.235 * * * [misc]progress: generating rewritten candidates 1539794987.235 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1 2) 1539794987.238 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 2 1 1) 1539794987.243 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2) 1539794987.244 * * * [misc]progress: generating series expansions 1539794987.244 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1 2) 1539794987.244 * [misc]backup-simplify: Simplify (log (exp (* (/ b a) (/ b a)))) into (/ (pow b 2) (pow a 2)) 1539794987.244 * [misc]approximate: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0 1539794987.244 * [misc]taylor: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a 1539794987.244 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1539794987.244 * [misc]taylor: Taking taylor expansion of b in a 1539794987.244 * [misc]backup-simplify: Simplify b into b 1539794987.244 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1539794987.244 * [misc]taylor: Taking taylor expansion of a in a 1539794987.244 * [misc]backup-simplify: Simplify 0 into 0 1539794987.244 * [misc]backup-simplify: Simplify 1 into 1 1539794987.244 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1539794987.244 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794987.244 * [misc]backup-simplify: Simplify (/ (pow b 2) 1) into (pow b 2) 1539794987.244 * [misc]taylor: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 1539794987.244 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1539794987.244 * [misc]taylor: Taking taylor expansion of b in b 1539794987.244 * [misc]backup-simplify: Simplify 0 into 0 1539794987.244 * [misc]backup-simplify: Simplify 1 into 1 1539794987.244 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1539794987.244 * [misc]taylor: Taking taylor expansion of a in b 1539794987.244 * [misc]backup-simplify: Simplify a into a 1539794987.244 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794987.245 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1539794987.245 * [misc]backup-simplify: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1539794987.245 * [misc]taylor: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 1539794987.245 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1539794987.245 * [misc]taylor: Taking taylor expansion of b in b 1539794987.245 * [misc]backup-simplify: Simplify 0 into 0 1539794987.245 * [misc]backup-simplify: Simplify 1 into 1 1539794987.245 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1539794987.245 * [misc]taylor: Taking taylor expansion of a in b 1539794987.245 * [misc]backup-simplify: Simplify a into a 1539794987.245 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794987.245 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1539794987.245 * [misc]backup-simplify: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1539794987.245 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 2)) in a 1539794987.245 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1539794987.245 * [misc]taylor: Taking taylor expansion of a in a 1539794987.245 * [misc]backup-simplify: Simplify 0 into 0 1539794987.245 * [misc]backup-simplify: Simplify 1 into 1 1539794987.245 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794987.245 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794987.245 * [misc]backup-simplify: Simplify 1 into 1 1539794987.245 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794987.246 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1539794987.246 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0 1539794987.246 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.246 * [misc]backup-simplify: Simplify 0 into 0 1539794987.246 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794987.246 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539794987.246 * [misc]backup-simplify: Simplify 0 into 0 1539794987.246 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794987.246 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1539794987.247 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 1539794987.247 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.247 * [misc]backup-simplify: Simplify 0 into 0 1539794987.247 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794987.247 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794987.247 * [misc]backup-simplify: Simplify 0 into 0 1539794987.247 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794987.247 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1539794987.248 * [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 1539794987.248 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.248 * [misc]backup-simplify: Simplify 0 into 0 1539794987.248 * [misc]backup-simplify: Simplify 0 into 0 1539794987.248 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794987.248 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794987.248 * [misc]backup-simplify: Simplify 0 into 0 1539794987.248 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794987.249 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 1539794987.249 * [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 1539794987.249 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.249 * [misc]backup-simplify: Simplify 0 into 0 1539794987.249 * [misc]backup-simplify: Simplify 0 into 0 1539794987.249 * [misc]backup-simplify: Simplify 0 into 0 1539794987.249 * [misc]backup-simplify: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2)) 1539794987.249 * [misc]backup-simplify: Simplify (log (exp (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))))) into (/ (pow a 2) (pow b 2)) 1539794987.249 * [misc]approximate: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 1539794987.249 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 1539794987.249 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1539794987.249 * [misc]taylor: Taking taylor expansion of a in a 1539794987.249 * [misc]backup-simplify: Simplify 0 into 0 1539794987.249 * [misc]backup-simplify: Simplify 1 into 1 1539794987.249 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1539794987.250 * [misc]taylor: Taking taylor expansion of b in a 1539794987.250 * [misc]backup-simplify: Simplify b into b 1539794987.250 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794987.250 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1539794987.250 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1539794987.250 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1539794987.250 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1539794987.250 * [misc]taylor: Taking taylor expansion of a in b 1539794987.250 * [misc]backup-simplify: Simplify a into a 1539794987.250 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1539794987.250 * [misc]taylor: Taking taylor expansion of b in b 1539794987.250 * [misc]backup-simplify: Simplify 0 into 0 1539794987.250 * [misc]backup-simplify: Simplify 1 into 1 1539794987.250 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1539794987.250 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794987.250 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1539794987.250 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1539794987.250 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1539794987.250 * [misc]taylor: Taking taylor expansion of a in b 1539794987.250 * [misc]backup-simplify: Simplify a into a 1539794987.250 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1539794987.250 * [misc]taylor: Taking taylor expansion of b in b 1539794987.250 * [misc]backup-simplify: Simplify 0 into 0 1539794987.250 * [misc]backup-simplify: Simplify 1 into 1 1539794987.250 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1539794987.250 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794987.250 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1539794987.251 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1539794987.251 * [misc]taylor: Taking taylor expansion of a in a 1539794987.251 * [misc]backup-simplify: Simplify 0 into 0 1539794987.251 * [misc]backup-simplify: Simplify 1 into 1 1539794987.251 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794987.251 * [misc]backup-simplify: Simplify 1 into 1 1539794987.251 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1539794987.251 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794987.251 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 1539794987.251 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.251 * [misc]backup-simplify: Simplify 0 into 0 1539794987.251 * [misc]backup-simplify: Simplify 0 into 0 1539794987.251 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794987.251 * [misc]backup-simplify: Simplify 0 into 0 1539794987.252 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1539794987.252 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794987.252 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794987.252 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.252 * [misc]backup-simplify: Simplify 0 into 0 1539794987.252 * [misc]backup-simplify: Simplify 0 into 0 1539794987.252 * [misc]backup-simplify: Simplify 0 into 0 1539794987.252 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794987.252 * [misc]backup-simplify: Simplify 0 into 0 1539794987.253 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1539794987.253 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794987.253 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794987.253 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.253 * [misc]backup-simplify: Simplify 0 into 0 1539794987.253 * [misc]backup-simplify: Simplify 0 into 0 1539794987.253 * [misc]backup-simplify: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2)) 1539794987.254 * [misc]backup-simplify: Simplify (log (exp (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))))) into (/ (pow a 2) (pow b 2)) 1539794987.254 * [misc]approximate: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 1539794987.254 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 1539794987.254 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1539794987.254 * [misc]taylor: Taking taylor expansion of a in a 1539794987.254 * [misc]backup-simplify: Simplify 0 into 0 1539794987.254 * [misc]backup-simplify: Simplify 1 into 1 1539794987.254 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1539794987.254 * [misc]taylor: Taking taylor expansion of b in a 1539794987.254 * [misc]backup-simplify: Simplify b into b 1539794987.254 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794987.254 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1539794987.254 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1539794987.254 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1539794987.254 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1539794987.254 * [misc]taylor: Taking taylor expansion of a in b 1539794987.254 * [misc]backup-simplify: Simplify a into a 1539794987.254 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1539794987.254 * [misc]taylor: Taking taylor expansion of b in b 1539794987.254 * [misc]backup-simplify: Simplify 0 into 0 1539794987.254 * [misc]backup-simplify: Simplify 1 into 1 1539794987.254 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1539794987.254 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794987.254 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1539794987.254 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1539794987.254 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1539794987.254 * [misc]taylor: Taking taylor expansion of a in b 1539794987.254 * [misc]backup-simplify: Simplify a into a 1539794987.254 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1539794987.254 * [misc]taylor: Taking taylor expansion of b in b 1539794987.254 * [misc]backup-simplify: Simplify 0 into 0 1539794987.254 * [misc]backup-simplify: Simplify 1 into 1 1539794987.254 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1539794987.255 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794987.255 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1539794987.255 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1539794987.255 * [misc]taylor: Taking taylor expansion of a in a 1539794987.255 * [misc]backup-simplify: Simplify 0 into 0 1539794987.255 * [misc]backup-simplify: Simplify 1 into 1 1539794987.255 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794987.255 * [misc]backup-simplify: Simplify 1 into 1 1539794987.255 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1539794987.255 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794987.255 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 1539794987.255 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.255 * [misc]backup-simplify: Simplify 0 into 0 1539794987.255 * [misc]backup-simplify: Simplify 0 into 0 1539794987.255 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794987.256 * [misc]backup-simplify: Simplify 0 into 0 1539794987.256 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1539794987.256 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794987.256 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794987.256 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.256 * [misc]backup-simplify: Simplify 0 into 0 1539794987.256 * [misc]backup-simplify: Simplify 0 into 0 1539794987.256 * [misc]backup-simplify: Simplify 0 into 0 1539794987.256 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794987.256 * [misc]backup-simplify: Simplify 0 into 0 1539794987.257 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1539794987.257 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794987.257 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794987.257 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.257 * [misc]backup-simplify: Simplify 0 into 0 1539794987.257 * [misc]backup-simplify: Simplify 0 into 0 1539794987.257 * [misc]backup-simplify: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2)) 1539794987.257 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 2 1 1) 1539794987.258 * [misc]backup-simplify: Simplify (* (/ b a) (/ b a)) into (/ (pow b 2) (pow a 2)) 1539794987.258 * [misc]approximate: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0 1539794987.258 * [misc]taylor: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a 1539794987.258 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1539794987.258 * [misc]taylor: Taking taylor expansion of b in a 1539794987.258 * [misc]backup-simplify: Simplify b into b 1539794987.258 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1539794987.258 * [misc]taylor: Taking taylor expansion of a in a 1539794987.258 * [misc]backup-simplify: Simplify 0 into 0 1539794987.258 * [misc]backup-simplify: Simplify 1 into 1 1539794987.258 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1539794987.258 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794987.258 * [misc]backup-simplify: Simplify (/ (pow b 2) 1) into (pow b 2) 1539794987.258 * [misc]taylor: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 1539794987.258 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1539794987.258 * [misc]taylor: Taking taylor expansion of b in b 1539794987.258 * [misc]backup-simplify: Simplify 0 into 0 1539794987.258 * [misc]backup-simplify: Simplify 1 into 1 1539794987.258 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1539794987.258 * [misc]taylor: Taking taylor expansion of a in b 1539794987.258 * [misc]backup-simplify: Simplify a into a 1539794987.258 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794987.258 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1539794987.258 * [misc]backup-simplify: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1539794987.258 * [misc]taylor: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 1539794987.258 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1539794987.258 * [misc]taylor: Taking taylor expansion of b in b 1539794987.258 * [misc]backup-simplify: Simplify 0 into 0 1539794987.258 * [misc]backup-simplify: Simplify 1 into 1 1539794987.258 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1539794987.258 * [misc]taylor: Taking taylor expansion of a in b 1539794987.258 * [misc]backup-simplify: Simplify a into a 1539794987.259 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794987.259 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1539794987.259 * [misc]backup-simplify: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1539794987.259 * [misc]taylor: Taking taylor expansion of (/ 1 (pow a 2)) in a 1539794987.259 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1539794987.259 * [misc]taylor: Taking taylor expansion of a in a 1539794987.259 * [misc]backup-simplify: Simplify 0 into 0 1539794987.259 * [misc]backup-simplify: Simplify 1 into 1 1539794987.259 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794987.259 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794987.259 * [misc]backup-simplify: Simplify 1 into 1 1539794987.259 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794987.259 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1539794987.259 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0 1539794987.259 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.259 * [misc]backup-simplify: Simplify 0 into 0 1539794987.260 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794987.260 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539794987.260 * [misc]backup-simplify: Simplify 0 into 0 1539794987.260 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794987.260 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1539794987.260 * [misc]backup-simplify: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 1539794987.260 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.260 * [misc]backup-simplify: Simplify 0 into 0 1539794987.260 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794987.261 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794987.261 * [misc]backup-simplify: Simplify 0 into 0 1539794987.261 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794987.261 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1539794987.261 * [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 1539794987.261 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.261 * [misc]backup-simplify: Simplify 0 into 0 1539794987.261 * [misc]backup-simplify: Simplify 0 into 0 1539794987.262 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794987.262 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794987.262 * [misc]backup-simplify: Simplify 0 into 0 1539794987.262 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794987.262 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 1539794987.263 * [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 1539794987.263 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.263 * [misc]backup-simplify: Simplify 0 into 0 1539794987.263 * [misc]backup-simplify: Simplify 0 into 0 1539794987.263 * [misc]backup-simplify: Simplify 0 into 0 1539794987.263 * [misc]backup-simplify: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2)) 1539794987.263 * [misc]backup-simplify: Simplify (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) into (/ (pow a 2) (pow b 2)) 1539794987.263 * [misc]approximate: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 1539794987.263 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 1539794987.263 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1539794987.263 * [misc]taylor: Taking taylor expansion of a in a 1539794987.263 * [misc]backup-simplify: Simplify 0 into 0 1539794987.263 * [misc]backup-simplify: Simplify 1 into 1 1539794987.263 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1539794987.263 * [misc]taylor: Taking taylor expansion of b in a 1539794987.263 * [misc]backup-simplify: Simplify b into b 1539794987.263 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794987.263 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1539794987.263 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1539794987.264 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1539794987.264 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1539794987.264 * [misc]taylor: Taking taylor expansion of a in b 1539794987.264 * [misc]backup-simplify: Simplify a into a 1539794987.264 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1539794987.264 * [misc]taylor: Taking taylor expansion of b in b 1539794987.264 * [misc]backup-simplify: Simplify 0 into 0 1539794987.264 * [misc]backup-simplify: Simplify 1 into 1 1539794987.264 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1539794987.264 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794987.264 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1539794987.264 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1539794987.264 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1539794987.264 * [misc]taylor: Taking taylor expansion of a in b 1539794987.264 * [misc]backup-simplify: Simplify a into a 1539794987.264 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1539794987.264 * [misc]taylor: Taking taylor expansion of b in b 1539794987.264 * [misc]backup-simplify: Simplify 0 into 0 1539794987.264 * [misc]backup-simplify: Simplify 1 into 1 1539794987.264 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1539794987.264 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794987.265 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1539794987.265 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1539794987.265 * [misc]taylor: Taking taylor expansion of a in a 1539794987.265 * [misc]backup-simplify: Simplify 0 into 0 1539794987.265 * [misc]backup-simplify: Simplify 1 into 1 1539794987.265 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794987.265 * [misc]backup-simplify: Simplify 1 into 1 1539794987.265 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1539794987.265 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794987.266 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 1539794987.266 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.266 * [misc]backup-simplify: Simplify 0 into 0 1539794987.266 * [misc]backup-simplify: Simplify 0 into 0 1539794987.266 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794987.266 * [misc]backup-simplify: Simplify 0 into 0 1539794987.267 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1539794987.267 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794987.267 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794987.267 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.267 * [misc]backup-simplify: Simplify 0 into 0 1539794987.267 * [misc]backup-simplify: Simplify 0 into 0 1539794987.268 * [misc]backup-simplify: Simplify 0 into 0 1539794987.268 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794987.268 * [misc]backup-simplify: Simplify 0 into 0 1539794987.268 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1539794987.269 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794987.269 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794987.269 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.269 * [misc]backup-simplify: Simplify 0 into 0 1539794987.269 * [misc]backup-simplify: Simplify 0 into 0 1539794987.269 * [misc]backup-simplify: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2)) 1539794987.270 * [misc]backup-simplify: Simplify (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2)) 1539794987.270 * [misc]approximate: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 1539794987.270 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 1539794987.270 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1539794987.270 * [misc]taylor: Taking taylor expansion of a in a 1539794987.270 * [misc]backup-simplify: Simplify 0 into 0 1539794987.270 * [misc]backup-simplify: Simplify 1 into 1 1539794987.270 * [misc]taylor: Taking taylor expansion of (pow b 2) in a 1539794987.270 * [misc]taylor: Taking taylor expansion of b in a 1539794987.270 * [misc]backup-simplify: Simplify b into b 1539794987.270 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794987.270 * [misc]backup-simplify: Simplify (* b b) into (pow b 2) 1539794987.270 * [misc]backup-simplify: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1539794987.270 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1539794987.270 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1539794987.270 * [misc]taylor: Taking taylor expansion of a in b 1539794987.270 * [misc]backup-simplify: Simplify a into a 1539794987.270 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1539794987.270 * [misc]taylor: Taking taylor expansion of b in b 1539794987.271 * [misc]backup-simplify: Simplify 0 into 0 1539794987.271 * [misc]backup-simplify: Simplify 1 into 1 1539794987.271 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1539794987.271 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794987.271 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1539794987.271 * [misc]taylor: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1539794987.271 * [misc]taylor: Taking taylor expansion of (pow a 2) in b 1539794987.271 * [misc]taylor: Taking taylor expansion of a in b 1539794987.271 * [misc]backup-simplify: Simplify a into a 1539794987.271 * [misc]taylor: Taking taylor expansion of (pow b 2) in b 1539794987.271 * [misc]taylor: Taking taylor expansion of b in b 1539794987.271 * [misc]backup-simplify: Simplify 0 into 0 1539794987.271 * [misc]backup-simplify: Simplify 1 into 1 1539794987.271 * [misc]backup-simplify: Simplify (* a a) into (pow a 2) 1539794987.271 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794987.271 * [misc]backup-simplify: Simplify (/ (pow a 2) 1) into (pow a 2) 1539794987.272 * [misc]taylor: Taking taylor expansion of (pow a 2) in a 1539794987.272 * [misc]taylor: Taking taylor expansion of a in a 1539794987.272 * [misc]backup-simplify: Simplify 0 into 0 1539794987.272 * [misc]backup-simplify: Simplify 1 into 1 1539794987.272 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794987.272 * [misc]backup-simplify: Simplify 1 into 1 1539794987.272 * [misc]backup-simplify: Simplify (+ (* a 0) (* 0 a)) into 0 1539794987.272 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794987.272 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 1539794987.273 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.273 * [misc]backup-simplify: Simplify 0 into 0 1539794987.273 * [misc]backup-simplify: Simplify 0 into 0 1539794987.273 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794987.273 * [misc]backup-simplify: Simplify 0 into 0 1539794987.273 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1539794987.273 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794987.274 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794987.274 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.274 * [misc]backup-simplify: Simplify 0 into 0 1539794987.274 * [misc]backup-simplify: Simplify 0 into 0 1539794987.274 * [misc]backup-simplify: Simplify 0 into 0 1539794987.274 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794987.274 * [misc]backup-simplify: Simplify 0 into 0 1539794987.275 * [misc]backup-simplify: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1539794987.275 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794987.276 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794987.276 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.276 * [misc]backup-simplify: Simplify 0 into 0 1539794987.276 * [misc]backup-simplify: Simplify 0 into 0 1539794987.276 * [misc]backup-simplify: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2)) 1539794987.276 * * * * [misc]progress: [ 3 / 3 ] generating series at (2) 1539794987.276 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1539794987.276 * [misc]approximate: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0 1539794987.276 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 1539794987.276 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 1539794987.277 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 1539794987.277 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1539794987.277 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1539794987.277 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 1539794987.277 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 1539794987.278 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 1539794987.278 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1539794987.278 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1539794987.278 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 1539794987.278 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 1539794987.278 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 1539794987.278 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1539794987.279 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1539794987.279 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 1539794987.279 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 1539794987.279 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 1539794987.279 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1539794987.279 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1539794987.280 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1539794987.280 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.280 * [misc]backup-simplify: Simplify 0 into 0 1539794987.280 * [misc]backup-simplify: Simplify 0 into 0 1539794987.280 * [misc]backup-simplify: Simplify 0 into 0 1539794987.281 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1539794987.281 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.281 * [misc]backup-simplify: Simplify 0 into 0 1539794987.281 * [misc]backup-simplify: Simplify 0 into 0 1539794987.281 * [misc]backup-simplify: Simplify 0 into 0 1539794987.282 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1539794987.282 * [misc]backup-simplify: Simplify 0 into 0 1539794987.283 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1539794987.283 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.283 * [misc]backup-simplify: Simplify 0 into 0 1539794987.283 * [misc]backup-simplify: Simplify 0 into 0 1539794987.283 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1539794987.283 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (log (exp (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a)))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1539794987.283 * [misc]approximate: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 1539794987.283 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 1539794987.283 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 1539794987.284 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1539794987.284 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1539794987.284 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794987.284 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 1539794987.284 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 1539794987.284 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1539794987.284 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1539794987.285 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794987.285 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 1539794987.285 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 1539794987.285 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1539794987.285 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1539794987.285 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794987.286 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 1539794987.286 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 1539794987.286 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1539794987.286 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1539794987.286 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794987.286 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1539794987.286 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.287 * [misc]backup-simplify: Simplify 0 into 0 1539794987.287 * [misc]backup-simplify: Simplify 0 into 0 1539794987.287 * [misc]backup-simplify: Simplify 0 into 0 1539794987.288 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794987.288 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.288 * [misc]backup-simplify: Simplify 0 into 0 1539794987.288 * [misc]backup-simplify: Simplify 0 into 0 1539794987.288 * [misc]backup-simplify: Simplify 0 into 0 1539794987.289 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794987.289 * [misc]backup-simplify: Simplify 0 into 0 1539794987.290 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794987.290 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.290 * [misc]backup-simplify: Simplify 0 into 0 1539794987.290 * [misc]backup-simplify: Simplify 0 into 0 1539794987.290 * [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))))) 1539794987.290 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (log (exp (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a))))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1539794987.290 * [misc]approximate: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 1539794987.290 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 1539794987.291 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 1539794987.291 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1539794987.291 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1539794987.291 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794987.291 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 1539794987.291 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 1539794987.291 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1539794987.292 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1539794987.292 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794987.292 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 1539794987.292 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 1539794987.292 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1539794987.292 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1539794987.293 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794987.293 * [misc]taylor: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 1539794987.293 * [misc]taylor: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 1539794987.293 * [misc]backup-simplify: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1539794987.293 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1539794987.293 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794987.294 * [misc]backup-simplify: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1539794987.294 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.294 * [misc]backup-simplify: Simplify 0 into 0 1539794987.294 * [misc]backup-simplify: Simplify 0 into 0 1539794987.294 * [misc]backup-simplify: Simplify 0 into 0 1539794987.295 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794987.295 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.295 * [misc]backup-simplify: Simplify 0 into 0 1539794987.295 * [misc]backup-simplify: Simplify 0 into 0 1539794987.295 * [misc]backup-simplify: Simplify 0 into 0 1539794987.296 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794987.296 * [misc]backup-simplify: Simplify 0 into 0 1539794987.297 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1539794987.297 * [misc]taylor: Taking taylor expansion of 0 in a 1539794987.297 * [misc]backup-simplify: Simplify 0 into 0 1539794987.297 * [misc]backup-simplify: Simplify 0 into 0 1539794987.297 * [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))))) 1539794987.297 * * * [misc]progress: simplifying candidates 1539794987.297 * * * * [misc]progress: [ 1 / 66 ] simplifiying candidate # 1539794987.297 * * * * [misc]progress: [ 2 / 66 ] simplifiying candidate # 1539794987.297 * * * * [misc]progress: [ 3 / 66 ] simplifiying candidate # 1539794987.298 * [enter]simplify: Simplifying (log (* (cbrt (exp (* (/ b a) (/ b a)))) (cbrt (exp (* (/ b a) (/ b a)))))) 1539794987.298 * * [misc]simplify: iters left: 6 (8 enodes) 1539794987.301 * * [misc]simplify: iters left: 5 (16 enodes) 1539794987.304 * * [misc]simplify: iters left: 4 (22 enodes) 1539794987.307 * * [misc]simplify: iters left: 3 (28 enodes) 1539794987.311 * * [misc]simplify: iters left: 2 (31 enodes) 1539794987.315 * [exit]simplify: Simplified to (log (* (cbrt (exp (* (/ b a) (/ b a)))) (cbrt (exp (* (/ b a) (/ b a)))))) 1539794987.315 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (+ (log (* (cbrt (exp (* (/ b a) (/ b a)))) (cbrt (exp (* (/ b a) (/ b a)))))) (log (cbrt (exp (* (/ b a) (/ b a)))))))))) 1539794987.315 * * * * [misc]progress: [ 4 / 66 ] simplifiying candidate # 1539794987.315 * [enter]simplify: Simplifying (log (sqrt (exp (* (/ b a) (/ b a))))) 1539794987.315 * * [misc]simplify: iters left: 6 (7 enodes) 1539794987.316 * * [misc]simplify: iters left: 5 (13 enodes) 1539794987.318 * * [misc]simplify: iters left: 4 (19 enodes) 1539794987.320 * * [misc]simplify: iters left: 3 (25 enodes) 1539794987.324 * * [misc]simplify: iters left: 2 (28 enodes) 1539794987.329 * [exit]simplify: Simplified to (log (sqrt (exp (* (/ b a) (/ b a))))) 1539794987.329 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (+ (log (sqrt (exp (* (/ b a) (/ b a))))) (log (sqrt (exp (* (/ b a) (/ b a)))))))))) 1539794987.329 * * * * [misc]progress: [ 5 / 66 ] simplifiying candidate # 1539794987.329 * [enter]simplify: Simplifying (log 1) 1539794987.329 * * [misc]simplify: iters left: 1 (2 enodes) 1539794987.330 * [exit]simplify: Simplified to 0 1539794987.330 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (+ 0 (log (exp (* (/ b a) (/ b a))))))))) 1539794987.330 * * * * [misc]progress: [ 6 / 66 ] simplifiying candidate # 1539794987.330 * [enter]simplify: Simplifying (/ b a) 1539794987.330 * * [misc]simplify: iters left: 2 (3 enodes) 1539794987.331 * [exit]simplify: Simplified to (/ b a) 1539794987.331 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (log (exp (/ b a)))))))) 1539794987.331 * * * * [misc]progress: [ 7 / 66 ] simplifiying candidate # 1539794987.331 * * * * [misc]progress: [ 8 / 66 ] simplifiying candidate # 1539794987.331 * [enter]simplify: Simplifying (/ b a) 1539794987.331 * * [misc]simplify: iters left: 2 (3 enodes) 1539794987.331 * [exit]simplify: Simplified to (/ b a) 1539794987.331 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (log (exp (/ b a)))))))) 1539794987.331 * * * * [misc]progress: [ 9 / 66 ] simplifiying candidate # 1539794987.332 * * * * [misc]progress: [ 10 / 66 ] simplifiying candidate # 1539794987.332 * [enter]simplify: Simplifying (/ b a) 1539794987.332 * * [misc]simplify: iters left: 2 (3 enodes) 1539794987.332 * [exit]simplify: Simplified to (/ b a) 1539794987.332 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1539794987.332 * * * * [misc]progress: [ 11 / 66 ] simplifiying candidate # 1539794987.332 * * * * [misc]progress: [ 12 / 66 ] simplifiying candidate # 1539794987.332 * * * * [misc]progress: [ 13 / 66 ] simplifiying candidate # 1539794987.332 * * * * [misc]progress: [ 14 / 66 ] simplifiying candidate # 1539794987.332 * * * * [misc]progress: [ 15 / 66 ] simplifiying candidate # 1539794987.332 * * * * [misc]progress: [ 16 / 66 ] simplifiying candidate # 1539794987.332 * * * * [misc]progress: [ 17 / 66 ] simplifiying candidate # 1539794987.332 * * * * [misc]progress: [ 18 / 66 ] simplifiying candidate # 1539794987.332 * * * * [misc]progress: [ 19 / 66 ] simplifiying candidate # 1539794987.333 * [enter]simplify: Simplifying (/ b a) 1539794987.333 * * [misc]simplify: iters left: 2 (3 enodes) 1539794987.333 * [exit]simplify: Simplified to (/ b a) 1539794987.333 * [misc]simplify: Simplified (2 1 1 2 1 1 1) to (λ (a b) (sqrt (fabs (- 1 (log (exp (pow (/ b a) (+ 1 1)))))))) 1539794987.333 * [enter]simplify: Simplifying (+ 1 1) 1539794987.333 * * [misc]simplify: iters left: 2 (2 enodes) 1539794987.334 * * [misc]simplify: iters left: 1 (5 enodes) 1539794987.334 * [exit]simplify: Simplified to 2 1539794987.334 * [misc]simplify: Simplified (2 1 1 2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2))))))) 1539794987.334 * * * * [misc]progress: [ 20 / 66 ] simplifiying candidate # 1539794987.335 * [enter]simplify: Simplifying (* (/ b a) (/ b a)) 1539794987.335 * * [misc]simplify: iters left: 4 (4 enodes) 1539794987.335 * * [misc]simplify: iters left: 3 (8 enodes) 1539794987.337 * * [misc]simplify: iters left: 2 (14 enodes) 1539794987.338 * * [misc]simplify: iters left: 1 (20 enodes) 1539794987.341 * [exit]simplify: Simplified to (* (/ b a) (/ b a)) 1539794987.341 * [misc]simplify: Simplified (2 1 1 2 1 1 1) to (λ (a b) (sqrt (fabs (- 1 (log (exp (pow (* (/ b a) (/ b a)) 1))))))) 1539794987.341 * * * * [misc]progress: [ 21 / 66 ] simplifiying candidate # 1539794987.341 * * * * [misc]progress: [ 22 / 66 ] simplifiying candidate # 1539794987.341 * [enter]simplify: Simplifying (/ b a) 1539794987.341 * * [misc]simplify: iters left: 2 (3 enodes) 1539794987.342 * [exit]simplify: Simplified to (/ b a) 1539794987.342 * [misc]simplify: Simplified (2 1 1 2 1 1 1) to (λ (a b) (sqrt (fabs (- 1 (log (exp (pow (/ b a) (+ 1 1)))))))) 1539794987.342 * * * * [misc]progress: [ 23 / 66 ] simplifiying candidate # 1539794987.342 * * * * [misc]progress: [ 24 / 66 ] simplifiying candidate # 1539794987.342 * [enter]simplify: Simplifying (+ (log (/ b a)) (log (/ b a))) 1539794987.342 * * [misc]simplify: iters left: 5 (5 enodes) 1539794987.343 * * [misc]simplify: iters left: 4 (8 enodes) 1539794987.344 * * [misc]simplify: iters left: 3 (14 enodes) 1539794987.346 * * [misc]simplify: iters left: 2 (28 enodes) 1539794987.350 * * [misc]simplify: iters left: 1 (53 enodes) 1539794987.358 * [exit]simplify: Simplified to (+ (log (/ b a)) (log (/ b a))) 1539794987.358 * [misc]simplify: Simplified (2 1 1 2 1 1 1) to (λ (a b) (sqrt (fabs (- 1 (log (exp (exp (+ (log (/ b a)) (log (/ b a)))))))))) 1539794987.358 * * * * [misc]progress: [ 25 / 66 ] simplifiying candidate # 1539794987.358 * * * * [misc]progress: [ 26 / 66 ] simplifiying candidate # 1539794987.358 * * * * [misc]progress: [ 27 / 66 ] simplifiying candidate # 1539794987.359 * [enter]simplify: Simplifying (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a))) 1539794987.359 * * [misc]simplify: iters left: 6 (6 enodes) 1539794987.360 * * [misc]simplify: iters left: 5 (17 enodes) 1539794987.363 * * [misc]simplify: iters left: 4 (61 enodes) 1539794987.380 * * [misc]simplify: iters left: 3 (157 enodes) 1539794987.444 * * [misc]simplify: iters left: 2 (463 enodes) 1539794988.254 * [exit]simplify: Simplified to (pow (/ b a) 6) 1539794988.254 * [misc]simplify: Simplified (2 1 1 2 1 1 1) to (λ (a b) (sqrt (fabs (- 1 (log (exp (cbrt (pow (/ b a) 6)))))))) 1539794988.254 * * * * [misc]progress: [ 28 / 66 ] simplifiying candidate # 1539794988.254 * * * * [misc]progress: [ 29 / 66 ] simplifiying candidate # 1539794988.254 * * * * [misc]progress: [ 30 / 66 ] simplifiying candidate # 1539794988.254 * * * * [misc]progress: [ 31 / 66 ] simplifiying candidate # 1539794988.255 * [enter]simplify: Simplifying (* b b) 1539794988.255 * * [misc]simplify: iters left: 2 (2 enodes) 1539794988.255 * [exit]simplify: Simplified to (* b b) 1539794988.255 * [misc]simplify: Simplified (2 1 1 2 1 1 1) to (λ (a b) (sqrt (fabs (- 1 (log (exp (/ (* b b) (* a a)))))))) 1539794988.256 * [enter]simplify: Simplifying (* a a) 1539794988.256 * * [misc]simplify: iters left: 2 (2 enodes) 1539794988.256 * [exit]simplify: Simplified to (* a a) 1539794988.256 * [misc]simplify: Simplified (2 1 1 2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (log (exp (/ (* b b) (* a a)))))))) 1539794988.256 * * * * [misc]progress: [ 32 / 66 ] simplifiying candidate # 1539794988.257 * * * * [misc]progress: [ 33 / 66 ] simplifiying candidate # 1539794988.257 * [enter]simplify: Simplifying (cbrt (/ b a)) 1539794988.257 * * [misc]simplify: iters left: 3 (4 enodes) 1539794988.258 * [exit]simplify: Simplified to (cbrt (/ b a)) 1539794988.258 * [misc]simplify: Simplified (2 1 1 2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (log (exp (* (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a))))))))) 1539794988.258 * * * * [misc]progress: [ 34 / 66 ] simplifiying candidate # 1539794988.258 * [enter]simplify: Simplifying (sqrt (/ b a)) 1539794988.258 * * [misc]simplify: iters left: 3 (4 enodes) 1539794988.260 * [exit]simplify: Simplified to (sqrt (/ b a)) 1539794988.260 * [misc]simplify: Simplified (2 1 1 2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (log (exp (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a))))))))) 1539794988.260 * * * * [misc]progress: [ 35 / 66 ] simplifiying candidate # 1539794988.260 * [enter]simplify: Simplifying (/ b a) 1539794988.260 * * [misc]simplify: iters left: 2 (3 enodes) 1539794988.261 * [exit]simplify: Simplified to (/ b a) 1539794988.261 * [misc]simplify: Simplified (2 1 1 2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (log (exp (* (* (/ b a) 1) (/ b a)))))))) 1539794988.261 * * * * [misc]progress: [ 36 / 66 ] simplifiying candidate # 1539794988.261 * [enter]simplify: Simplifying (/ 1 a) 1539794988.261 * * [misc]simplify: iters left: 2 (3 enodes) 1539794988.262 * * [misc]simplify: iters left: 1 (5 enodes) 1539794988.263 * [exit]simplify: Simplified to (/ 1 a) 1539794988.263 * [misc]simplify: Simplified (2 1 1 2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (log (exp (* (* (/ b a) b) (/ 1 a)))))))) 1539794988.263 * * * * [misc]progress: [ 37 / 66 ] simplifiying candidate # 1539794988.264 * [enter]simplify: Simplifying (* (cbrt (/ b a)) (cbrt (/ b a))) 1539794988.264 * * [misc]simplify: iters left: 5 (5 enodes) 1539794988.265 * [exit]simplify: Simplified to (* (cbrt (/ b a)) (cbrt (/ b a))) 1539794988.265 * [misc]simplify: Simplified (2 1 1 2 1 1 1) to (λ (a b) (sqrt (fabs (- 1 (log (exp (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (cbrt (/ b a)) (/ b a))))))))) 1539794988.266 * * * * [misc]progress: [ 38 / 66 ] simplifiying candidate # 1539794988.266 * [enter]simplify: Simplifying (sqrt (/ b a)) 1539794988.266 * * [misc]simplify: iters left: 3 (4 enodes) 1539794988.267 * [exit]simplify: Simplified to (sqrt (/ b a)) 1539794988.267 * [misc]simplify: Simplified (2 1 1 2 1 1 1) to (λ (a b) (sqrt (fabs (- 1 (log (exp (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a))))))))) 1539794988.267 * * * * [misc]progress: [ 39 / 66 ] simplifiying candidate # 1539794988.267 * * * * [misc]progress: [ 40 / 66 ] simplifiying candidate # 1539794988.267 * * * * [misc]progress: [ 41 / 66 ] simplifiying candidate # 1539794988.267 * * * * [misc]progress: [ 42 / 66 ] simplifiying candidate # 1539794988.268 * [enter]simplify: Simplifying (* b (/ b a)) 1539794988.268 * * [misc]simplify: iters left: 4 (4 enodes) 1539794988.269 * * [misc]simplify: iters left: 3 (7 enodes) 1539794988.271 * * [misc]simplify: iters left: 2 (9 enodes) 1539794988.274 * [exit]simplify: Simplified to (* b (/ b a)) 1539794988.274 * [misc]simplify: Simplified (2 1 1 2 1 1 1) to (λ (a b) (sqrt (fabs (- 1 (log (exp (/ (* b (/ b a)) a))))))) 1539794988.274 * * * * [misc]progress: [ 43 / 66 ] simplifiying candidate # 1539794988.274 * * * * [misc]progress: [ 44 / 66 ] simplifiying candidate # 1539794988.274 * * * * [misc]progress: [ 45 / 66 ] simplifiying candidate # 1539794988.274 * * * * [misc]progress: [ 46 / 66 ] simplifiying candidate # 1539794988.274 * * * * [misc]progress: [ 47 / 66 ] simplifiying candidate # 1539794988.274 * * * * [misc]progress: [ 48 / 66 ] simplifiying candidate # 1539794988.274 * * * * [misc]progress: [ 49 / 66 ] simplifiying candidate # 1539794988.274 * * * * [misc]progress: [ 50 / 66 ] simplifiying candidate # 1539794988.274 * * * * [misc]progress: [ 51 / 66 ] simplifiying candidate # 1539794988.274 * * * * [misc]progress: [ 52 / 66 ] simplifiying candidate # 1539794988.275 * [enter]simplify: Simplifying (sqrt (* (cbrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))) (cbrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))) 1539794988.275 * * [misc]simplify: iters left: 6 (12 enodes) 1539794988.279 * * [misc]simplify: iters left: 5 (23 enodes) 1539794988.285 * * [misc]simplify: iters left: 4 (39 enodes) 1539794988.296 * * [misc]simplify: iters left: 3 (77 enodes) 1539794988.318 * * [misc]simplify: iters left: 2 (106 enodes) 1539794988.340 * * [misc]simplify: iters left: 1 (120 enodes) 1539794988.363 * [exit]simplify: Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1539794988.363 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (log (exp (* (/ b a) (/ b a)))))))))) 1539794988.363 * * * * [misc]progress: [ 53 / 66 ] simplifiying candidate # 1539794988.363 * [enter]simplify: Simplifying (sqrt (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a)))))))) 1539794988.364 * * [misc]simplify: iters left: 6 (11 enodes) 1539794988.367 * * [misc]simplify: iters left: 5 (21 enodes) 1539794988.373 * * [misc]simplify: iters left: 4 (37 enodes) 1539794988.387 * * [misc]simplify: iters left: 3 (75 enodes) 1539794988.408 * * [misc]simplify: iters left: 2 (104 enodes) 1539794988.430 * * [misc]simplify: iters left: 1 (118 enodes) 1539794988.453 * [exit]simplify: Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1539794988.453 * [misc]simplify: Simplified (2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a)))))))))) 1539794988.453 * * * * [misc]progress: [ 54 / 66 ] simplifiying candidate # 1539794988.454 * [enter]simplify: Simplifying (sqrt 1) 1539794988.454 * * [misc]simplify: iters left: 1 (2 enodes) 1539794988.455 * [exit]simplify: Simplified to 1 1539794988.455 * [misc]simplify: Simplified (2 1) to (λ (a b) (* 1 (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))))) 1539794988.455 * * * * [misc]progress: [ 55 / 66 ] simplifiying candidate # 1539794988.455 * * * * [misc]progress: [ 56 / 66 ] simplifiying candidate # 1539794988.456 * [enter]simplify: Simplifying (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))) 1539794988.456 * * [misc]simplify: iters left: 6 (10 enodes) 1539794988.459 * * [misc]simplify: iters left: 5 (20 enodes) 1539794988.465 * * [misc]simplify: iters left: 4 (36 enodes) 1539794988.476 * * [misc]simplify: iters left: 3 (74 enodes) 1539794988.497 * * [misc]simplify: iters left: 2 (102 enodes) 1539794988.515 * * [misc]simplify: iters left: 1 (118 enodes) 1539794988.528 * [exit]simplify: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1539794988.528 * [misc]simplify: Simplified (2 1) to (λ (a b) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) 1539794988.528 * * * * [misc]progress: [ 57 / 66 ] simplifiying candidate # 1539794988.528 * * * * [misc]progress: [ 58 / 66 ] simplifiying candidate # 1539794988.528 * [enter]simplify: Simplifying (/ (pow b 2) (pow a 2)) 1539794988.528 * * [misc]simplify: iters left: 3 (6 enodes) 1539794988.529 * * [misc]simplify: iters left: 2 (8 enodes) 1539794988.530 * * [misc]simplify: iters left: 1 (14 enodes) 1539794988.532 * [exit]simplify: Simplified to (* (/ b a) (/ b a)) 1539794988.532 * [misc]simplify: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1539794988.532 * * * * [misc]progress: [ 59 / 66 ] simplifiying candidate # 1539794988.532 * [enter]simplify: Simplifying (/ (pow b 2) (pow a 2)) 1539794988.532 * * [misc]simplify: iters left: 3 (6 enodes) 1539794988.533 * * [misc]simplify: iters left: 2 (8 enodes) 1539794988.534 * * [misc]simplify: iters left: 1 (14 enodes) 1539794988.536 * [exit]simplify: Simplified to (* (/ b a) (/ b a)) 1539794988.536 * [misc]simplify: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1539794988.537 * * * * [misc]progress: [ 60 / 66 ] simplifiying candidate # 1539794988.537 * [enter]simplify: Simplifying (/ (pow b 2) (pow a 2)) 1539794988.537 * * [misc]simplify: iters left: 3 (6 enodes) 1539794988.538 * * [misc]simplify: iters left: 2 (8 enodes) 1539794988.539 * * [misc]simplify: iters left: 1 (14 enodes) 1539794988.541 * [exit]simplify: Simplified to (* (/ b a) (/ b a)) 1539794988.541 * [misc]simplify: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1539794988.541 * * * * [misc]progress: [ 61 / 66 ] simplifiying candidate # 1539794988.541 * [enter]simplify: Simplifying (/ (pow b 2) (pow a 2)) 1539794988.541 * * [misc]simplify: iters left: 3 (6 enodes) 1539794988.542 * * [misc]simplify: iters left: 2 (8 enodes) 1539794988.543 * * [misc]simplify: iters left: 1 (14 enodes) 1539794988.545 * [exit]simplify: Simplified to (* (/ b a) (/ b a)) 1539794988.545 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (a b) (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a)))))))) 1539794988.545 * * * * [misc]progress: [ 62 / 66 ] simplifiying candidate # 1539794988.545 * [enter]simplify: Simplifying (/ (pow b 2) (pow a 2)) 1539794988.545 * * [misc]simplify: iters left: 3 (6 enodes) 1539794988.546 * * [misc]simplify: iters left: 2 (8 enodes) 1539794988.547 * * [misc]simplify: iters left: 1 (14 enodes) 1539794988.550 * [exit]simplify: Simplified to (* (/ b a) (/ b a)) 1539794988.550 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (a b) (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a)))))))) 1539794988.550 * * * * [misc]progress: [ 63 / 66 ] simplifiying candidate # 1539794988.550 * [enter]simplify: Simplifying (/ (pow b 2) (pow a 2)) 1539794988.550 * * [misc]simplify: iters left: 3 (6 enodes) 1539794988.551 * * [misc]simplify: iters left: 2 (8 enodes) 1539794988.552 * * [misc]simplify: iters left: 1 (14 enodes) 1539794988.554 * [exit]simplify: Simplified to (* (/ b a) (/ b a)) 1539794988.554 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (a b) (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a)))))))) 1539794988.554 * * * * [misc]progress: [ 64 / 66 ] simplifiying candidate # 1539794988.554 * [enter]simplify: Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1539794988.554 * * [misc]simplify: iters left: 6 (10 enodes) 1539794988.556 * * [misc]simplify: iters left: 5 (16 enodes) 1539794988.558 * * [misc]simplify: iters left: 4 (25 enodes) 1539794988.563 * * [misc]simplify: iters left: 3 (42 enodes) 1539794988.576 * * [misc]simplify: iters left: 2 (68 enodes) 1539794988.593 * * [misc]simplify: iters left: 1 (77 enodes) 1539794988.611 * [exit]simplify: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1539794988.611 * [misc]simplify: Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1539794988.611 * * * * [misc]progress: [ 65 / 66 ] simplifiying candidate # 1539794988.611 * [enter]simplify: Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1539794988.611 * * [misc]simplify: iters left: 6 (10 enodes) 1539794988.613 * * [misc]simplify: iters left: 5 (16 enodes) 1539794988.615 * * [misc]simplify: iters left: 4 (25 enodes) 1539794988.619 * * [misc]simplify: iters left: 3 (42 enodes) 1539794988.625 * * [misc]simplify: iters left: 2 (68 enodes) 1539794988.634 * * [misc]simplify: iters left: 1 (77 enodes) 1539794988.643 * [exit]simplify: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1539794988.643 * [misc]simplify: Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1539794988.643 * * * * [misc]progress: [ 66 / 66 ] simplifiying candidate # 1539794988.643 * [enter]simplify: Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1539794988.643 * * [misc]simplify: iters left: 6 (10 enodes) 1539794988.644 * * [misc]simplify: iters left: 5 (16 enodes) 1539794988.646 * * [misc]simplify: iters left: 4 (25 enodes) 1539794988.653 * * [misc]simplify: iters left: 3 (42 enodes) 1539794988.665 * * [misc]simplify: iters left: 2 (68 enodes) 1539794988.682 * * [misc]simplify: iters left: 1 (77 enodes) 1539794988.699 * [exit]simplify: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1539794988.699 * [misc]simplify: Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1539794988.699 * * * [misc]progress: adding candidates to table 1539794989.437 * [misc]progress: [Phase 3 of 3] Extracting. 1539794989.443 * [enter]simplify: Simplifying (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))) 1539794989.443 * * [misc]simplify: iters left: 6 (10 enodes) 1539794989.444 * * [misc]simplify: iters left: 5 (12 enodes) 1539794989.445 * [exit]simplify: Simplified to (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a))))))) 1539794989.445 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1539794989.485 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1539794989.486 * * * * [misc]points: Setting MPFR precision to 64 1539794989.487 * * * * [misc]points: Setting MPFR precision to 320 1539794989.487 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1539794989.488 * * * * [misc]points: Setting MPFR precision to 64 1539794989.489 * * * * [misc]points: Setting MPFR precision to 320 1539794989.490 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1539794989.491 * * * * [misc]points: Setting MPFR precision to 64 1539794989.493 * * * * [misc]points: Setting MPFR precision to 320 1539794989.495 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1539794989.496 * * * * [misc]points: Setting MPFR precision to 64 1539794989.499 * * * * [misc]points: Setting MPFR precision to 320 1539794989.502 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1539794989.504 * * * * [misc]points: Setting MPFR precision to 64 1539794989.510 * * * * [misc]points: Setting MPFR precision to 320 1539794989.516 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1539794989.517 * * * * [misc]points: Setting MPFR precision to 64 1539794989.532 * * * * [misc]points: Setting MPFR precision to 320 1539794989.545 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1539794989.546 * * * * [misc]points: Setting MPFR precision to 64 1539794989.601 * * * * [misc]points: Setting MPFR precision to 320 1539794989.628 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1539794989.630 * * * * [misc]points: Setting MPFR precision to 64 1539794989.717 * * * * [misc]points: Setting MPFR precision to 320 1539794989.843 * * * * [misc]points: Computing exacts for 8000 points 1539794989.845 * * * * [misc]points: Setting MPFR precision to 64 1539794990.263 * * * * [misc]points: Setting MPFR precision to 320 1539794991.001 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794991.004 * * * * [misc]points: Sampling 4023 additional inputs, on iter 1 have 3977 / 8000 1539794991.028 * * * * [misc]points: Computing exacts on every 251 of 4023 points to ramp up precision 1539794991.030 * * * * [misc]points: Setting MPFR precision to 64 1539794991.030 * * * * [misc]points: Setting MPFR precision to 320 1539794991.031 * * * * [misc]points: Computing exacts on every 125 of 4023 points to ramp up precision 1539794991.032 * * * * [misc]points: Setting MPFR precision to 64 1539794991.033 * * * * [misc]points: Setting MPFR precision to 320 1539794991.033 * * * * [misc]points: Computing exacts on every 62 of 4023 points to ramp up precision 1539794991.035 * * * * [misc]points: Setting MPFR precision to 64 1539794991.036 * * * * [misc]points: Setting MPFR precision to 320 1539794991.038 * * * * [misc]points: Computing exacts on every 31 of 4023 points to ramp up precision 1539794991.039 * * * * [misc]points: Setting MPFR precision to 64 1539794991.042 * * * * [misc]points: Setting MPFR precision to 320 1539794991.045 * * * * [misc]points: Computing exacts on every 15 of 4023 points to ramp up precision 1539794991.047 * * * * [misc]points: Setting MPFR precision to 64 1539794991.053 * * * * [misc]points: Setting MPFR precision to 320 1539794991.087 * * * * [misc]points: Computing exacts on every 7 of 4023 points to ramp up precision 1539794991.089 * * * * [misc]points: Setting MPFR precision to 64 1539794991.116 * * * * [misc]points: Setting MPFR precision to 320 1539794991.130 * * * * [misc]points: Computing exacts on every 3 of 4023 points to ramp up precision 1539794991.131 * * * * [misc]points: Setting MPFR precision to 64 1539794991.164 * * * * [misc]points: Setting MPFR precision to 320 1539794991.210 * * * * [misc]points: Computing exacts for 4023 points 1539794991.212 * * * * [misc]points: Setting MPFR precision to 64 1539794991.377 * * * * [misc]points: Setting MPFR precision to 320 1539794991.640 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794991.642 * * * * [misc]points: Sampling 2027 additional inputs, on iter 2 have 5973 / 8000 1539794991.654 * * * * [misc]points: Computing exacts on every 126 of 2027 points to ramp up precision 1539794991.657 * * * * [misc]points: Setting MPFR precision to 64 1539794991.658 * * * * [misc]points: Setting MPFR precision to 320 1539794991.659 * * * * [misc]points: Computing exacts on every 63 of 2027 points to ramp up precision 1539794991.660 * * * * [misc]points: Setting MPFR precision to 64 1539794991.662 * * * * [misc]points: Setting MPFR precision to 320 1539794991.664 * * * * [misc]points: Computing exacts on every 31 of 2027 points to ramp up precision 1539794991.666 * * * * [misc]points: Setting MPFR precision to 64 1539794991.669 * * * * [misc]points: Setting MPFR precision to 320 1539794991.672 * * * * [misc]points: Computing exacts on every 15 of 2027 points to ramp up precision 1539794991.674 * * * * [misc]points: Setting MPFR precision to 64 1539794991.680 * * * * [misc]points: Setting MPFR precision to 320 1539794991.686 * * * * [misc]points: Computing exacts on every 7 of 2027 points to ramp up precision 1539794991.688 * * * * [misc]points: Setting MPFR precision to 64 1539794991.700 * * * * [misc]points: Setting MPFR precision to 320 1539794991.712 * * * * [misc]points: Computing exacts on every 3 of 2027 points to ramp up precision 1539794991.714 * * * * [misc]points: Setting MPFR precision to 64 1539794991.730 * * * * [misc]points: Setting MPFR precision to 320 1539794991.743 * * * * [misc]points: Computing exacts for 2027 points 1539794991.744 * * * * [misc]points: Setting MPFR precision to 64 1539794991.831 * * * * [misc]points: Setting MPFR precision to 320 1539794991.946 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794991.947 * * * * [misc]points: Sampling 1002 additional inputs, on iter 3 have 6998 / 8000 1539794991.954 * * * * [misc]points: Computing exacts on every 62 of 1002 points to ramp up precision 1539794991.957 * * * * [misc]points: Setting MPFR precision to 64 1539794991.958 * * * * [misc]points: Setting MPFR precision to 320 1539794991.959 * * * * [misc]points: Computing exacts on every 31 of 1002 points to ramp up precision 1539794991.961 * * * * [misc]points: Setting MPFR precision to 64 1539794991.963 * * * * [misc]points: Setting MPFR precision to 320 1539794991.964 * * * * [misc]points: Computing exacts on every 15 of 1002 points to ramp up precision 1539794991.966 * * * * [misc]points: Setting MPFR precision to 64 1539794991.970 * * * * [misc]points: Setting MPFR precision to 320 1539794991.973 * * * * [misc]points: Computing exacts on every 7 of 1002 points to ramp up precision 1539794991.975 * * * * [misc]points: Setting MPFR precision to 64 1539794991.981 * * * * [misc]points: Setting MPFR precision to 320 1539794991.988 * * * * [misc]points: Computing exacts on every 3 of 1002 points to ramp up precision 1539794991.990 * * * * [misc]points: Setting MPFR precision to 64 1539794991.999 * * * * [misc]points: Setting MPFR precision to 320 1539794992.006 * * * * [misc]points: Computing exacts for 1002 points 1539794992.007 * * * * [misc]points: Setting MPFR precision to 64 1539794992.031 * * * * [misc]points: Setting MPFR precision to 320 1539794992.120 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794992.120 * * * * [misc]points: Sampling 495 additional inputs, on iter 4 have 7505 / 8000 1539794992.124 * * * * [misc]points: Computing exacts on every 30 of 495 points to ramp up precision 1539794992.126 * * * * [misc]points: Setting MPFR precision to 64 1539794992.127 * * * * [misc]points: Setting MPFR precision to 320 1539794992.128 * * * * [misc]points: Computing exacts on every 15 of 495 points to ramp up precision 1539794992.130 * * * * [misc]points: Setting MPFR precision to 64 1539794992.131 * * * * [misc]points: Setting MPFR precision to 320 1539794992.133 * * * * [misc]points: Computing exacts on every 7 of 495 points to ramp up precision 1539794992.135 * * * * [misc]points: Setting MPFR precision to 64 1539794992.138 * * * * [misc]points: Setting MPFR precision to 320 1539794992.141 * * * * [misc]points: Computing exacts on every 3 of 495 points to ramp up precision 1539794992.143 * * * * [misc]points: Setting MPFR precision to 64 1539794992.148 * * * * [misc]points: Setting MPFR precision to 320 1539794992.154 * * * * [misc]points: Computing exacts for 495 points 1539794992.157 * * * * [misc]points: Setting MPFR precision to 64 1539794992.180 * * * * [misc]points: Setting MPFR precision to 320 1539794992.205 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794992.205 * * * * [misc]points: Sampling 243 additional inputs, on iter 5 have 7757 / 8000 1539794992.207 * * * * [misc]points: Computing exacts on every 15 of 243 points to ramp up precision 1539794992.210 * * * * [misc]points: Setting MPFR precision to 64 1539794992.210 * * * * [misc]points: Setting MPFR precision to 320 1539794992.211 * * * * [misc]points: Computing exacts on every 7 of 243 points to ramp up precision 1539794992.213 * * * * [misc]points: Setting MPFR precision to 64 1539794992.215 * * * * [misc]points: Setting MPFR precision to 320 1539794992.216 * * * * [misc]points: Computing exacts on every 3 of 243 points to ramp up precision 1539794992.218 * * * * [misc]points: Setting MPFR precision to 64 1539794992.221 * * * * [misc]points: Setting MPFR precision to 320 1539794992.224 * * * * [misc]points: Computing exacts for 243 points 1539794992.226 * * * * [misc]points: Setting MPFR precision to 64 1539794992.238 * * * * [misc]points: Setting MPFR precision to 320 1539794992.250 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794992.251 * * * * [misc]points: Sampling 130 additional inputs, on iter 6 have 7870 / 8000 1539794992.252 * * * * [misc]points: Computing exacts on every 8 of 130 points to ramp up precision 1539794992.254 * * * * [misc]points: Setting MPFR precision to 64 1539794992.255 * * * * [misc]points: Setting MPFR precision to 320 1539794992.255 * * * * [misc]points: Computing exacts on every 4 of 130 points to ramp up precision 1539794992.257 * * * * [misc]points: Setting MPFR precision to 64 1539794992.259 * * * * [misc]points: Setting MPFR precision to 320 1539794992.260 * * * * [misc]points: Computing exacts on every 2 of 130 points to ramp up precision 1539794992.262 * * * * [misc]points: Setting MPFR precision to 64 1539794992.265 * * * * [misc]points: Setting MPFR precision to 320 1539794992.267 * * * * [misc]points: Computing exacts for 130 points 1539794992.268 * * * * [misc]points: Setting MPFR precision to 64 1539794992.302 * * * * [misc]points: Setting MPFR precision to 320 1539794992.309 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794992.309 * * * * [misc]points: Sampling 64 additional inputs, on iter 7 have 7936 / 8000 1539794992.310 * * * * [misc]points: Computing exacts on every 4 of 64 points to ramp up precision 1539794992.312 * * * * [misc]points: Setting MPFR precision to 64 1539794992.313 * * * * [misc]points: Setting MPFR precision to 320 1539794992.317 * * * * [misc]points: Computing exacts on every 2 of 64 points to ramp up precision 1539794992.319 * * * * [misc]points: Setting MPFR precision to 64 1539794992.320 * * * * [misc]points: Setting MPFR precision to 320 1539794992.321 * * * * [misc]points: Computing exacts for 64 points 1539794992.324 * * * * [misc]points: Setting MPFR precision to 64 1539794992.327 * * * * [misc]points: Setting MPFR precision to 320 1539794992.329 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794992.329 * * * * [misc]points: Sampling 32 additional inputs, on iter 8 have 7968 / 8000 1539794992.329 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1539794992.330 * * * * [misc]points: Setting MPFR precision to 64 1539794992.331 * * * * [misc]points: Setting MPFR precision to 320 1539794992.331 * * * * [misc]points: Computing exacts for 32 points 1539794992.332 * * * * [misc]points: Setting MPFR precision to 64 1539794992.333 * * * * [misc]points: Setting MPFR precision to 320 1539794992.334 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794992.334 * * * * [misc]points: Sampling 13 additional inputs, on iter 9 have 7987 / 8000 1539794992.334 * * * * [misc]points: Computing exacts for 13 points 1539794992.335 * * * * [misc]points: Setting MPFR precision to 64 1539794992.335 * * * * [misc]points: Setting MPFR precision to 320 1539794992.336 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794992.336 * * * * [misc]points: Sampling 10 additional inputs, on iter 10 have 7990 / 8000 1539794992.336 * * * * [misc]points: Computing exacts for 10 points 1539794992.337 * * * * [misc]points: Setting MPFR precision to 64 1539794992.337 * * * * [misc]points: Setting MPFR precision to 320 1539794992.337 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794992.337 * * * * [misc]points: Sampling 8 additional inputs, on iter 11 have 7992 / 8000 1539794992.337 * * * * [misc]points: Computing exacts for 8 points 1539794992.338 * * * * [misc]points: Setting MPFR precision to 64 1539794992.339 * * * * [misc]points: Setting MPFR precision to 320 1539794992.339 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794992.339 * * * * [misc]points: Sampling 5 additional inputs, on iter 12 have 7995 / 8000 1539794992.339 * * * * [misc]points: Computing exacts for 5 points 1539794992.340 * * * * [misc]points: Setting MPFR precision to 64 1539794992.340 * * * * [misc]points: Setting MPFR precision to 320 1539794992.340 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794992.341 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 7997 / 8000 1539794992.341 * * * * [misc]points: Computing exacts for 4 points 1539794992.342 * * * * [misc]points: Setting MPFR precision to 64 1539794992.342 * * * * [misc]points: Setting MPFR precision to 320 1539794992.342 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794992.342 * * * * [exit]points: Sampled 8000 points with exact outputs 1539794992.676 * [misc]regime-testing: Baseline error score: 0.008042481250360577 1539794992.676 * [misc]regime-testing: End program error score: 0.008042481250360577 1539794992.678 * [misc]regime-testing: Oracle error score: 0.008042481250360577