1539793664.226 * [misc]progress: [Phase 1 of 3] Setting up. 1539793664.226 * * * [misc]progress: [1/2] Preparing points 1539793664.226 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539793664.227 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539793664.228 * * * * [misc]points: Setting MPFR precision to 64 1539793664.229 * * * * [misc]points: Setting MPFR precision to 320 1539793664.229 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539793664.230 * * * * [misc]points: Setting MPFR precision to 64 1539793664.231 * * * * [misc]points: Setting MPFR precision to 320 1539793664.231 * * * * [misc]points: Setting MPFR precision to 576 1539793664.232 * * * * [misc]points: Setting MPFR precision to 832 1539793664.234 * * * * [misc]points: Setting MPFR precision to 1088 1539793664.235 * * * * [misc]points: Setting MPFR precision to 1344 1539793664.238 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539793664.239 * * * * [misc]points: Setting MPFR precision to 1088 1539793664.242 * * * * [misc]points: Setting MPFR precision to 1344 1539793664.245 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539793664.247 * * * * [misc]points: Setting MPFR precision to 1088 1539793664.253 * * * * [misc]points: Setting MPFR precision to 1344 1539793664.261 * * * * [misc]points: Computing exacts for 256 points 1539793664.264 * * * * [misc]points: Setting MPFR precision to 1088 1539793664.280 * * * * [misc]points: Setting MPFR precision to 1344 1539793664.298 * * * * [misc]points: Filtering points with unrepresentable outputs 1539793664.298 * * * * [exit]points: Sampled 256 points with exact outputs 1539793664.298 * * * [misc]progress: [2/2] Setting up program. 1539793664.301 * [misc]progress: [Phase 2 of 3] Improving. 1539793664.301 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1539793664.301 * * [misc]simplify: iters left: 5 (6 enodes) 1539793664.302 * * [misc]simplify: iters left: 4 (11 enodes) 1539793664.303 * * [misc]simplify: iters left: 3 (12 enodes) 1539793664.305 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1539793664.317 * * [misc]progress: iteration 1 / 4 1539793664.317 * * * [misc]progress: picking best candidate 1539793664.319 * * * * [misc]pick: Picked # 1539793664.319 * * * [misc]progress: localizing error 1539793664.355 * * * [misc]progress: generating rewritten candidates 1539793664.355 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1539793664.367 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1539793664.368 * * * [misc]progress: generating series expansions 1539793664.368 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1539793664.368 * [misc]backup-simplify: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1539793664.368 * [misc]approximate: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in (N) around 0 1539793664.368 * [misc]taylor: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N 1539793664.368 * [misc]taylor: Taking taylor expansion of (atan (+ N 1)) in N 1539793664.368 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1539793664.368 * [misc]taylor: Taking taylor expansion of (atan N) in N 1539793664.368 * [misc]backup-simplify: Simplify (atan N) into (atan N) 1539793664.368 * [misc]taylor: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N 1539793664.368 * [misc]taylor: Taking taylor expansion of (atan (+ N 1)) in N 1539793664.369 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1539793664.369 * [misc]taylor: Taking taylor expansion of (atan N) in N 1539793664.369 * [misc]backup-simplify: Simplify (atan N) into (atan N) 1539793664.369 * [misc]backup-simplify: Simplify (- (atan N)) into (- (atan N)) 1539793664.369 * [misc]backup-simplify: Simplify (+ (atan (+ N 1)) (- (atan N))) into (- (atan (+ N 1)) (atan N)) 1539793664.369 * [misc]backup-simplify: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1539793664.369 * [misc]backup-simplify: Simplify (- 0) into 0 1539793664.370 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793664.370 * [misc]backup-simplify: Simplify 0 into 0 1539793664.370 * [misc]backup-simplify: Simplify (- 0) into 0 1539793664.370 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793664.370 * [misc]backup-simplify: Simplify 0 into 0 1539793664.370 * [misc]backup-simplify: Simplify (- 0) into 0 1539793664.370 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793664.370 * [misc]backup-simplify: Simplify 0 into 0 1539793664.370 * [misc]backup-simplify: Simplify (- 0) into 0 1539793664.371 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793664.371 * [misc]backup-simplify: Simplify 0 into 0 1539793664.371 * [misc]backup-simplify: Simplify (- 0) into 0 1539793664.371 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793664.371 * [misc]backup-simplify: Simplify 0 into 0 1539793664.371 * [misc]backup-simplify: Simplify (- 0) into 0 1539793664.371 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793664.371 * [misc]backup-simplify: Simplify 0 into 0 1539793664.371 * [misc]backup-simplify: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N)) 1539793664.372 * [misc]backup-simplify: Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1539793664.372 * [misc]approximate: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in (N) around 0 1539793664.372 * [misc]taylor: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N 1539793664.372 * [misc]taylor: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1539793664.372 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1539793664.372 * [misc]taylor: Taking taylor expansion of (atan (/ 1 N)) in N 1539793664.372 * [misc]backup-simplify: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 1539793664.372 * [misc]taylor: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N 1539793664.372 * [misc]taylor: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1539793664.372 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1539793664.372 * [misc]taylor: Taking taylor expansion of (atan (/ 1 N)) in N 1539793664.372 * [misc]backup-simplify: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 1539793664.372 * [misc]backup-simplify: Simplify (- (atan (/ 1 N))) into (- (atan (/ 1 N))) 1539793664.373 * [misc]backup-simplify: Simplify (+ (atan (+ (/ 1 N) 1)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1539793664.373 * [misc]backup-simplify: Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) 1539793664.373 * [misc]backup-simplify: Simplify (- 0) into 0 1539793664.373 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793664.373 * [misc]backup-simplify: Simplify 0 into 0 1539793664.373 * [misc]backup-simplify: Simplify (- 0) into 0 1539793664.374 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793664.374 * [misc]backup-simplify: Simplify 0 into 0 1539793664.374 * [misc]backup-simplify: Simplify (- 0) into 0 1539793664.374 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793664.374 * [misc]backup-simplify: Simplify 0 into 0 1539793664.374 * [misc]backup-simplify: Simplify (- 0) into 0 1539793664.374 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793664.374 * [misc]backup-simplify: Simplify 0 into 0 1539793664.374 * [misc]backup-simplify: Simplify (- 0) into 0 1539793664.375 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793664.375 * [misc]backup-simplify: Simplify 0 into 0 1539793664.375 * [misc]backup-simplify: Simplify (- 0) into 0 1539793664.375 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793664.375 * [misc]backup-simplify: Simplify 0 into 0 1539793664.375 * [misc]backup-simplify: Simplify (- (atan (+ (/ 1 (/ 1 N)) 1)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1)) (atan N)) 1539793664.375 * [misc]backup-simplify: Simplify (- (atan (+ (/ 1 (- N)) 1)) (atan (/ 1 (- N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1539793664.375 * [misc]approximate: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in (N) around 0 1539793664.375 * [misc]taylor: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N 1539793664.376 * [misc]taylor: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1539793664.376 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1539793664.376 * [misc]taylor: Taking taylor expansion of (atan (/ -1 N)) in N 1539793664.376 * [misc]backup-simplify: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 1539793664.376 * [misc]taylor: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N 1539793664.376 * [misc]taylor: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1539793664.376 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1539793664.376 * [misc]taylor: Taking taylor expansion of (atan (/ -1 N)) in N 1539793664.376 * [misc]backup-simplify: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 1539793664.376 * [misc]backup-simplify: Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N))) 1539793664.376 * [misc]backup-simplify: Simplify (+ (atan (- 1 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1539793664.376 * [misc]backup-simplify: Simplify (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) 1539793664.377 * [misc]backup-simplify: Simplify (- 0) into 0 1539793664.377 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793664.377 * [misc]backup-simplify: Simplify 0 into 0 1539793664.377 * [misc]backup-simplify: Simplify (- 0) into 0 1539793664.377 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793664.377 * [misc]backup-simplify: Simplify 0 into 0 1539793664.377 * [misc]backup-simplify: Simplify (- 0) into 0 1539793664.378 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793664.378 * [misc]backup-simplify: Simplify 0 into 0 1539793664.378 * [misc]backup-simplify: Simplify (- 0) into 0 1539793664.378 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793664.378 * [misc]backup-simplify: Simplify 0 into 0 1539793664.378 * [misc]backup-simplify: Simplify (- 0) into 0 1539793664.378 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793664.378 * [misc]backup-simplify: Simplify 0 into 0 1539793664.379 * [misc]backup-simplify: Simplify (- 0) into 0 1539793664.379 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793664.379 * [misc]backup-simplify: Simplify 0 into 0 1539793664.379 * [misc]backup-simplify: Simplify (- (atan (- 1 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1)) (atan N)) 1539793664.379 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1539793664.379 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1539793664.379 * [misc]approximate: Taking taylor expansion of (atan (+ N 1)) in (N) around 0 1539793664.379 * [misc]taylor: Taking taylor expansion of (atan (+ N 1)) in N 1539793664.379 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1539793664.379 * [misc]taylor: Taking taylor expansion of (atan (+ N 1)) in N 1539793664.379 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1539793664.380 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1539793664.380 * [misc]backup-simplify: Simplify 0 into 0 1539793664.380 * [misc]backup-simplify: Simplify 0 into 0 1539793664.380 * [misc]backup-simplify: Simplify 0 into 0 1539793664.380 * [misc]backup-simplify: Simplify 0 into 0 1539793664.380 * [misc]backup-simplify: Simplify 0 into 0 1539793664.380 * [misc]backup-simplify: Simplify 0 into 0 1539793664.380 * [misc]backup-simplify: Simplify (atan (+ N 1)) into (atan (+ N 1)) 1539793664.380 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1539793664.380 * [misc]approximate: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in (N) around 0 1539793664.380 * [misc]taylor: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1539793664.380 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1539793664.380 * [misc]taylor: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N 1539793664.380 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1539793664.380 * [misc]backup-simplify: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1)) 1539793664.380 * [misc]backup-simplify: Simplify 0 into 0 1539793664.381 * [misc]backup-simplify: Simplify 0 into 0 1539793664.381 * [misc]backup-simplify: Simplify 0 into 0 1539793664.381 * [misc]backup-simplify: Simplify 0 into 0 1539793664.381 * [misc]backup-simplify: Simplify 0 into 0 1539793664.381 * [misc]backup-simplify: Simplify 0 into 0 1539793664.381 * [misc]backup-simplify: Simplify (atan (+ (/ 1 (/ 1 N)) 1)) into (atan (+ N 1)) 1539793664.381 * [misc]backup-simplify: Simplify (atan (+ (/ 1 (- N)) 1)) into (atan (- 1 (/ 1 N))) 1539793664.381 * [misc]approximate: Taking taylor expansion of (atan (- 1 (/ 1 N))) in (N) around 0 1539793664.381 * [misc]taylor: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1539793664.381 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1539793664.381 * [misc]taylor: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N 1539793664.381 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1539793664.381 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N))) 1539793664.381 * [misc]backup-simplify: Simplify 0 into 0 1539793664.381 * [misc]backup-simplify: Simplify 0 into 0 1539793664.381 * [misc]backup-simplify: Simplify 0 into 0 1539793664.382 * [misc]backup-simplify: Simplify 0 into 0 1539793664.382 * [misc]backup-simplify: Simplify 0 into 0 1539793664.382 * [misc]backup-simplify: Simplify 0 into 0 1539793664.382 * [misc]backup-simplify: Simplify (atan (- 1 (/ 1 (/ 1 (- N))))) into (atan (+ N 1)) 1539793664.382 * * * [misc]progress: simplifying candidates 1539793664.382 * * * * [misc]progress: [ 1 / 44 ] simplifiying candidate # 1539793664.382 * [enter]simplify: Simplifying (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))) 1539793664.382 * * [misc]simplify: iters left: 6 (12 enodes) 1539793664.386 * * [misc]simplify: iters left: 5 (24 enodes) 1539793664.393 * * [misc]simplify: iters left: 4 (31 enodes) 1539793664.402 * * [misc]simplify: iters left: 3 (37 enodes) 1539793664.410 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1539793664.410 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))))) 1539793664.411 * [enter]simplify: Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))) 1539793664.411 * * [misc]simplify: iters left: 6 (7 enodes) 1539793664.413 * * [misc]simplify: iters left: 5 (12 enodes) 1539793664.417 * * [misc]simplify: iters left: 4 (19 enodes) 1539793664.424 * * [misc]simplify: iters left: 3 (38 enodes) 1539793664.434 * * [misc]simplify: iters left: 2 (46 enodes) 1539793664.441 * [exit]simplify: Simplified to 0 1539793664.441 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0)) 1539793664.442 * * * * [misc]progress: [ 2 / 44 ] simplifiying candidate # 1539793664.442 * [enter]simplify: Simplifying (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (sqrt (atan N)) (sqrt (atan N))))) 1539793664.442 * * [misc]simplify: iters left: 6 (11 enodes) 1539793664.445 * * [misc]simplify: iters left: 5 (19 enodes) 1539793664.450 * * [misc]simplify: iters left: 4 (23 enodes) 1539793664.456 * * [misc]simplify: iters left: 3 (28 enodes) 1539793664.463 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1539793664.463 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))))) 1539793664.463 * [enter]simplify: Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))) 1539793664.463 * * [misc]simplify: iters left: 5 (6 enodes) 1539793664.465 * * [misc]simplify: iters left: 4 (8 enodes) 1539793664.467 * * [misc]simplify: iters left: 3 (14 enodes) 1539793664.472 * * [misc]simplify: iters left: 2 (20 enodes) 1539793664.475 * * [misc]simplify: iters left: 1 (22 enodes) 1539793664.476 * [exit]simplify: Simplified to 0 1539793664.476 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0)) 1539793664.476 * * * * [misc]progress: [ 3 / 44 ] simplifiying candidate # 1539793664.476 * [enter]simplify: Simplifying (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (atan N) 1))) 1539793664.476 * * [misc]simplify: iters left: 6 (10 enodes) 1539793664.478 * * [misc]simplify: iters left: 5 (21 enodes) 1539793664.482 * * [misc]simplify: iters left: 4 (28 enodes) 1539793664.486 * * [misc]simplify: iters left: 3 (39 enodes) 1539793664.490 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1539793664.490 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1)))) 1539793664.490 * [enter]simplify: Simplifying (fma (- (atan N)) 1 (* (atan N) 1)) 1539793664.490 * * [misc]simplify: iters left: 4 (6 enodes) 1539793664.491 * * [misc]simplify: iters left: 3 (11 enodes) 1539793664.493 * * [misc]simplify: iters left: 2 (21 enodes) 1539793664.496 * * [misc]simplify: iters left: 1 (30 enodes) 1539793664.499 * [exit]simplify: Simplified to (fma -1 (atan N) (atan N)) 1539793664.499 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma -1 (atan N) (atan N)))) 1539793664.499 * * * * [misc]progress: [ 4 / 44 ] simplifiying candidate # 1539793664.499 * [enter]simplify: Simplifying (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))) 1539793664.499 * * [misc]simplify: iters left: 6 (11 enodes) 1539793664.501 * * [misc]simplify: iters left: 5 (23 enodes) 1539793664.504 * * [misc]simplify: iters left: 4 (29 enodes) 1539793664.508 * * [misc]simplify: iters left: 3 (34 enodes) 1539793664.512 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1539793664.512 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))))) 1539793664.512 * [enter]simplify: Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))) 1539793664.512 * * [misc]simplify: iters left: 6 (7 enodes) 1539793664.513 * * [misc]simplify: iters left: 5 (12 enodes) 1539793664.515 * * [misc]simplify: iters left: 4 (19 enodes) 1539793664.518 * * [misc]simplify: iters left: 3 (38 enodes) 1539793664.527 * * [misc]simplify: iters left: 2 (46 enodes) 1539793664.534 * [exit]simplify: Simplified to 0 1539793664.535 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0)) 1539793664.535 * * * * [misc]progress: [ 5 / 44 ] simplifiying candidate # 1539793664.535 * [enter]simplify: Simplifying (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (sqrt (atan N)) (sqrt (atan N))))) 1539793664.535 * * [misc]simplify: iters left: 6 (10 enodes) 1539793664.538 * * [misc]simplify: iters left: 5 (18 enodes) 1539793664.543 * * [misc]simplify: iters left: 4 (21 enodes) 1539793664.548 * * [misc]simplify: iters left: 3 (27 enodes) 1539793664.554 * * [misc]simplify: iters left: 2 (30 enodes) 1539793664.561 * * [misc]simplify: iters left: 1 (45 enodes) 1539793664.577 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1539793664.577 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))))) 1539793664.577 * [enter]simplify: Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))) 1539793664.577 * * [misc]simplify: iters left: 5 (6 enodes) 1539793664.579 * * [misc]simplify: iters left: 4 (8 enodes) 1539793664.581 * * [misc]simplify: iters left: 3 (14 enodes) 1539793664.585 * * [misc]simplify: iters left: 2 (20 enodes) 1539793664.590 * * [misc]simplify: iters left: 1 (22 enodes) 1539793664.593 * [exit]simplify: Simplified to 0 1539793664.593 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) 0)) 1539793664.593 * * * * [misc]progress: [ 6 / 44 ] simplifiying candidate # 1539793664.593 * [enter]simplify: Simplifying (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (atan N) 1))) 1539793664.593 * * [misc]simplify: iters left: 6 (9 enodes) 1539793664.597 * * [misc]simplify: iters left: 5 (20 enodes) 1539793664.602 * * [misc]simplify: iters left: 4 (26 enodes) 1539793664.610 * * [misc]simplify: iters left: 3 (35 enodes) 1539793664.614 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1539793664.614 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1)))) 1539793664.614 * [enter]simplify: Simplifying (fma (- (atan N)) 1 (* (atan N) 1)) 1539793664.614 * * [misc]simplify: iters left: 4 (6 enodes) 1539793664.615 * * [misc]simplify: iters left: 3 (11 enodes) 1539793664.617 * * [misc]simplify: iters left: 2 (21 enodes) 1539793664.620 * * [misc]simplify: iters left: 1 (30 enodes) 1539793664.623 * [exit]simplify: Simplified to (fma -1 (atan N) (atan N)) 1539793664.623 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ 1 N)) (atan N)) (fma -1 (atan N) (atan N)))) 1539793664.623 * * * * [misc]progress: [ 7 / 44 ] simplifiying candidate # 1539793664.623 * [enter]simplify: Simplifying (fma 1 (atan (+ N 1)) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))) 1539793664.623 * * [misc]simplify: iters left: 6 (10 enodes) 1539793664.625 * * [misc]simplify: iters left: 5 (22 enodes) 1539793664.628 * * [misc]simplify: iters left: 4 (29 enodes) 1539793664.634 * * [misc]simplify: iters left: 3 (38 enodes) 1539793664.640 * [exit]simplify: Simplified to (- (atan (+ N 1)) (atan N)) 1539793664.640 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))))) 1539793664.641 * [enter]simplify: Simplifying (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))) 1539793664.641 * * [misc]simplify: iters left: 6 (7 enodes) 1539793664.643 * * [misc]simplify: iters left: 5 (12 enodes) 1539793664.646 * * [misc]simplify: iters left: 4 (19 enodes) 1539793664.652 * * [misc]simplify: iters left: 3 (38 enodes) 1539793664.662 * * [misc]simplify: iters left: 2 (46 enodes) 1539793664.668 * [exit]simplify: Simplified to 0 1539793664.668 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0)) 1539793664.668 * * * * [misc]progress: [ 8 / 44 ] simplifiying candidate # 1539793664.668 * [enter]simplify: Simplifying (fma 1 (atan (+ N 1)) (- (* (sqrt (atan N)) (sqrt (atan N))))) 1539793664.669 * * [misc]simplify: iters left: 6 (9 enodes) 1539793664.671 * * [misc]simplify: iters left: 5 (17 enodes) 1539793664.675 * * [misc]simplify: iters left: 4 (21 enodes) 1539793664.681 * * [misc]simplify: iters left: 3 (28 enodes) 1539793664.686 * [exit]simplify: Simplified to (- (atan (+ N 1)) (atan N)) 1539793664.686 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))))) 1539793664.686 * [enter]simplify: Simplifying (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))) 1539793664.686 * * [misc]simplify: iters left: 5 (6 enodes) 1539793664.688 * * [misc]simplify: iters left: 4 (8 enodes) 1539793664.690 * * [misc]simplify: iters left: 3 (14 enodes) 1539793664.693 * * [misc]simplify: iters left: 2 (20 enodes) 1539793664.699 * * [misc]simplify: iters left: 1 (22 enodes) 1539793664.703 * [exit]simplify: Simplified to 0 1539793664.703 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) 0)) 1539793664.703 * * * * [misc]progress: [ 9 / 44 ] simplifiying candidate # 1539793664.703 * [enter]simplify: Simplifying (fma 1 (atan (+ N 1)) (- (* (atan N) 1))) 1539793664.703 * * [misc]simplify: iters left: 6 (8 enodes) 1539793664.707 * * [misc]simplify: iters left: 5 (19 enodes) 1539793664.712 * * [misc]simplify: iters left: 4 (26 enodes) 1539793664.721 * * [misc]simplify: iters left: 3 (38 enodes) 1539793664.729 * * [misc]simplify: iters left: 2 (41 enodes) 1539793664.737 * [exit]simplify: Simplified to (- (atan (+ N 1)) (atan N)) 1539793664.737 * [misc]simplify: Simplified (2 1) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma (- (atan N)) 1 (* (atan N) 1)))) 1539793664.738 * [enter]simplify: Simplifying (fma (- (atan N)) 1 (* (atan N) 1)) 1539793664.738 * * [misc]simplify: iters left: 4 (6 enodes) 1539793664.740 * * [misc]simplify: iters left: 3 (11 enodes) 1539793664.744 * * [misc]simplify: iters left: 2 (21 enodes) 1539793664.750 * * [misc]simplify: iters left: 1 (30 enodes) 1539793664.755 * [exit]simplify: Simplified to (fma -1 (atan N) (atan N)) 1539793664.755 * [misc]simplify: Simplified (2 2) to (λ (N) (+ (- (atan (+ N 1)) (atan N)) (fma -1 (atan N) (atan N)))) 1539793664.755 * * * * [misc]progress: [ 10 / 44 ] simplifiying candidate # 1539793664.756 * * * * [misc]progress: [ 11 / 44 ] simplifiying candidate # 1539793664.756 * * * * [misc]progress: [ 12 / 44 ] simplifiying candidate # 1539793664.756 * [enter]simplify: Simplifying (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) 1539793664.756 * * [misc]simplify: iters left: 6 (6 enodes) 1539793664.758 * * [misc]simplify: iters left: 5 (9 enodes) 1539793664.760 * [exit]simplify: Simplified to (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N)))) 1539793664.760 * [misc]simplify: Simplified (2 1) to (λ (N) (fma (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N)))) (cbrt (atan (+ N 1))) (- (atan N)))) 1539793664.760 * * * * [misc]progress: [ 13 / 44 ] simplifiying candidate # 1539793664.760 * [enter]simplify: Simplifying (sqrt (atan (+ N 1))) 1539793664.760 * * [misc]simplify: iters left: 4 (5 enodes) 1539793664.762 * * [misc]simplify: iters left: 3 (8 enodes) 1539793664.764 * [exit]simplify: Simplified to (sqrt (atan (+ 1 N))) 1539793664.764 * [misc]simplify: Simplified (2 1) to (λ (N) (fma (sqrt (atan (+ 1 N))) (sqrt (atan (+ N 1))) (- (atan N)))) 1539793664.764 * * * * [misc]progress: [ 14 / 44 ] simplifiying candidate # 1539793664.764 * * * * [misc]progress: [ 15 / 44 ] simplifiying candidate # 1539793664.764 * [enter]simplify: Simplifying (- (+ N 1) N) 1539793664.764 * * [misc]simplify: iters left: 4 (4 enodes) 1539793664.766 * * [misc]simplify: iters left: 3 (11 enodes) 1539793664.769 * * [misc]simplify: iters left: 2 (19 enodes) 1539793664.776 * * [misc]simplify: iters left: 1 (25 enodes) 1539793664.779 * [exit]simplify: Simplified to 1 1539793664.779 * [misc]simplify: Simplified (2 1) to (λ (N) (atan2 1 (+ 1 (* (+ N 1) N)))) 1539793664.779 * [enter]simplify: Simplifying (+ 1 (* (+ N 1) N)) 1539793664.780 * * [misc]simplify: iters left: 6 (5 enodes) 1539793664.781 * * [misc]simplify: iters left: 5 (10 enodes) 1539793664.784 * * [misc]simplify: iters left: 4 (19 enodes) 1539793664.793 * * [misc]simplify: iters left: 3 (33 enodes) 1539793664.800 * * [misc]simplify: iters left: 2 (39 enodes) 1539793664.806 * [exit]simplify: Simplified to (fma N (+ N 1) 1) 1539793664.806 * [misc]simplify: Simplified (2 2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1539793664.807 * * * * [misc]progress: [ 16 / 44 ] simplifiying candidate # 1539793664.807 * [enter]simplify: Simplifying (/ (exp (atan (+ N 1))) (exp (atan N))) 1539793664.807 * * [misc]simplify: iters left: 6 (8 enodes) 1539793664.809 * * [misc]simplify: iters left: 5 (13 enodes) 1539793664.812 * * [misc]simplify: iters left: 4 (15 enodes) 1539793664.816 * * [misc]simplify: iters left: 3 (18 enodes) 1539793664.820 * * [misc]simplify: iters left: 2 (20 enodes) 1539793664.825 * * [misc]simplify: iters left: 1 (24 enodes) 1539793664.832 * [exit]simplify: Simplified to (exp (- (atan (+ 1 N)) (atan N))) 1539793664.832 * [misc]simplify: Simplified (2 1) to (λ (N) (log (exp (- (atan (+ 1 N)) (atan N))))) 1539793664.832 * * * * [misc]progress: [ 17 / 44 ] simplifiying candidate # 1539793664.832 * * * * [misc]progress: [ 18 / 44 ] simplifiying candidate # 1539793664.832 * * * * [misc]progress: [ 19 / 44 ] simplifiying candidate # 1539793664.832 * * * * [misc]progress: [ 20 / 44 ] simplifiying candidate # 1539793664.832 * * * * [misc]progress: [ 21 / 44 ] simplifiying candidate # 1539793664.832 * * * * [misc]progress: [ 22 / 44 ] simplifiying candidate # 1539793664.832 * * * * [misc]progress: [ 23 / 44 ] simplifiying candidate # 1539793664.832 * * * * [misc]progress: [ 24 / 44 ] simplifiying candidate # 1539793664.833 * * * * [misc]progress: [ 25 / 44 ] simplifiying candidate # 1539793664.833 * * * * [misc]progress: [ 26 / 44 ] simplifiying candidate # 1539793664.833 * * * * [misc]progress: [ 27 / 44 ] simplifiying candidate # 1539793664.833 * [enter]simplify: Simplifying (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) 1539793664.833 * * [misc]simplify: iters left: 6 (8 enodes) 1539793664.835 * * [misc]simplify: iters left: 5 (12 enodes) 1539793664.838 * [exit]simplify: Simplified to (+ (sqrt (atan N)) (sqrt (atan (+ 1 N)))) 1539793664.838 * [misc]simplify: Simplified (2 1) to (λ (N) (* (+ (sqrt (atan N)) (sqrt (atan (+ 1 N)))) (- (sqrt (atan (+ N 1))) (sqrt (atan N))))) 1539793664.839 * [enter]simplify: Simplifying (- (sqrt (atan (+ N 1))) (sqrt (atan N))) 1539793664.839 * * [misc]simplify: iters left: 6 (8 enodes) 1539793664.841 * * [misc]simplify: iters left: 5 (13 enodes) 1539793664.844 * * [misc]simplify: iters left: 4 (14 enodes) 1539793664.850 * [exit]simplify: Simplified to (- (sqrt (atan (+ 1 N))) (sqrt (atan N))) 1539793664.850 * [misc]simplify: Simplified (2 2) to (λ (N) (* (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) (- (sqrt (atan (+ 1 N))) (sqrt (atan N))))) 1539793664.850 * * * * [misc]progress: [ 28 / 44 ] simplifiying candidate # 1539793664.850 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1539793664.850 * * [misc]simplify: iters left: 5 (6 enodes) 1539793664.852 * * [misc]simplify: iters left: 4 (11 enodes) 1539793664.855 * * [misc]simplify: iters left: 3 (12 enodes) 1539793664.858 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1539793664.858 * [misc]simplify: Simplified (2 2) to (λ (N) (* 1 (- (atan (+ 1 N)) (atan N)))) 1539793664.858 * * * * [misc]progress: [ 29 / 44 ] simplifiying candidate # 1539793664.858 * * * * [misc]progress: [ 30 / 44 ] simplifiying candidate # 1539793664.858 * * * * [misc]progress: [ 31 / 44 ] simplifiying candidate # 1539793664.858 * * * * [misc]progress: [ 32 / 44 ] simplifiying candidate # 1539793664.858 * * * * [misc]progress: [ 33 / 44 ] simplifiying candidate # 1539793664.858 * * * * [misc]progress: [ 34 / 44 ] simplifiying candidate # 1539793664.858 * * * * [misc]progress: [ 35 / 44 ] simplifiying candidate # 1539793664.858 * * * * [misc]progress: [ 36 / 44 ] simplifiying candidate # 1539793664.859 * * * * [misc]progress: [ 37 / 44 ] simplifiying candidate # 1539793664.859 * * * * [misc]progress: [ 38 / 44 ] simplifiying candidate # 1539793664.859 * * * * [misc]progress: [ 39 / 44 ] simplifiying candidate # 1539793664.859 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1539793664.859 * * [misc]simplify: iters left: 5 (6 enodes) 1539793664.861 * * [misc]simplify: iters left: 4 (11 enodes) 1539793664.863 * * [misc]simplify: iters left: 3 (12 enodes) 1539793664.866 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1539793664.866 * [misc]simplify: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1539793664.867 * * * * [misc]progress: [ 40 / 44 ] simplifiying candidate # 1539793664.867 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1539793664.867 * * [misc]simplify: iters left: 5 (6 enodes) 1539793664.869 * * [misc]simplify: iters left: 4 (11 enodes) 1539793664.871 * * [misc]simplify: iters left: 3 (12 enodes) 1539793664.874 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1539793664.874 * [misc]simplify: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1539793664.874 * * * * [misc]progress: [ 41 / 44 ] simplifiying candidate # 1539793664.875 * [enter]simplify: Simplifying (- (atan (+ N 1)) (atan N)) 1539793664.875 * * [misc]simplify: iters left: 5 (6 enodes) 1539793664.877 * * [misc]simplify: iters left: 4 (11 enodes) 1539793664.879 * * [misc]simplify: iters left: 3 (12 enodes) 1539793664.882 * [exit]simplify: Simplified to (- (atan (+ 1 N)) (atan N)) 1539793664.882 * [misc]simplify: Simplified (2) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1539793664.882 * * * * [misc]progress: [ 42 / 44 ] simplifiying candidate # 1539793664.883 * [enter]simplify: Simplifying (atan (+ N 1)) 1539793664.883 * * [misc]simplify: iters left: 3 (4 enodes) 1539793664.884 * * [misc]simplify: iters left: 2 (7 enodes) 1539793664.886 * [exit]simplify: Simplified to (atan (+ 1 N)) 1539793664.886 * [misc]simplify: Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1539793664.886 * * * * [misc]progress: [ 43 / 44 ] simplifiying candidate # 1539793664.886 * [enter]simplify: Simplifying (atan (+ N 1)) 1539793664.886 * * [misc]simplify: iters left: 3 (4 enodes) 1539793664.887 * * [misc]simplify: iters left: 2 (7 enodes) 1539793664.889 * [exit]simplify: Simplified to (atan (+ 1 N)) 1539793664.889 * [misc]simplify: Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1539793664.889 * * * * [misc]progress: [ 44 / 44 ] simplifiying candidate # 1539793664.889 * [enter]simplify: Simplifying (atan (+ N 1)) 1539793664.889 * * [misc]simplify: iters left: 3 (4 enodes) 1539793664.890 * * [misc]simplify: iters left: 2 (7 enodes) 1539793664.892 * [exit]simplify: Simplified to (atan (+ 1 N)) 1539793664.892 * [misc]simplify: Simplified (2 1) to (λ (N) (- (atan (+ 1 N)) (atan N))) 1539793664.892 * * * [misc]progress: adding candidates to table 1539793665.273 * * [misc]progress: iteration 2 / 4 1539793665.273 * * * [misc]progress: picking best candidate 1539793665.280 * * * * [misc]pick: Picked # 1539793665.280 * * * [misc]progress: localizing error 1539793665.297 * * * [misc]progress: generating rewritten candidates 1539793665.297 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1539793665.297 * * * [misc]progress: generating series expansions 1539793665.297 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1539793665.297 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793665.297 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0 1539793665.297 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1539793665.297 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793665.297 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1539793665.297 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793665.298 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793665.298 * [misc]backup-simplify: Simplify 0 into 0 1539793665.298 * [misc]backup-simplify: Simplify 0 into 0 1539793665.298 * [misc]backup-simplify: Simplify 0 into 0 1539793665.298 * [misc]backup-simplify: Simplify 0 into 0 1539793665.298 * [misc]backup-simplify: Simplify 0 into 0 1539793665.298 * [misc]backup-simplify: Simplify 0 into 0 1539793665.298 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793665.298 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1539793665.298 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0 1539793665.298 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1539793665.298 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1539793665.298 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1539793665.298 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1539793665.298 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1539793665.298 * [misc]backup-simplify: Simplify 0 into 0 1539793665.298 * [misc]backup-simplify: Simplify 0 into 0 1539793665.298 * [misc]backup-simplify: Simplify 0 into 0 1539793665.298 * [misc]backup-simplify: Simplify 0 into 0 1539793665.298 * [misc]backup-simplify: Simplify 0 into 0 1539793665.298 * [misc]backup-simplify: Simplify 0 into 0 1539793665.298 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793665.299 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1539793665.299 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0 1539793665.299 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1539793665.299 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1539793665.299 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1539793665.299 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1539793665.299 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1539793665.299 * [misc]backup-simplify: Simplify 0 into 0 1539793665.299 * [misc]backup-simplify: Simplify 0 into 0 1539793665.299 * [misc]backup-simplify: Simplify 0 into 0 1539793665.299 * [misc]backup-simplify: Simplify 0 into 0 1539793665.299 * [misc]backup-simplify: Simplify 0 into 0 1539793665.299 * [misc]backup-simplify: Simplify 0 into 0 1539793665.299 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793665.299 * * * [misc]progress: simplifying candidates 1539793665.299 * * * * [misc]progress: [ 1 / 12 ] simplifiying candidate # 1539793665.299 * * * * [misc]progress: [ 2 / 12 ] simplifiying candidate # 1539793665.299 * * * * [misc]progress: [ 3 / 12 ] simplifiying candidate # 1539793665.299 * * * * [misc]progress: [ 4 / 12 ] simplifiying candidate # 1539793665.299 * * * * [misc]progress: [ 5 / 12 ] simplifiying candidate # 1539793665.300 * * * * [misc]progress: [ 6 / 12 ] simplifiying candidate # 1539793665.300 * * * * [misc]progress: [ 7 / 12 ] simplifiying candidate # 1539793665.300 * * * * [misc]progress: [ 8 / 12 ] simplifiying candidate # 1539793665.300 * * * * [misc]progress: [ 9 / 12 ] simplifiying candidate # 1539793665.300 * * * * [misc]progress: [ 10 / 12 ] simplifiying candidate # 1539793665.300 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1539793665.300 * * [misc]simplify: iters left: 4 (5 enodes) 1539793665.301 * * [misc]simplify: iters left: 3 (10 enodes) 1539793665.302 * * [misc]simplify: iters left: 2 (19 enodes) 1539793665.306 * * [misc]simplify: iters left: 1 (34 enodes) 1539793665.313 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1539793665.314 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1539793665.314 * * * * [misc]progress: [ 11 / 12 ] simplifiying candidate # 1539793665.314 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1539793665.314 * * [misc]simplify: iters left: 4 (5 enodes) 1539793665.315 * * [misc]simplify: iters left: 3 (10 enodes) 1539793665.318 * * [misc]simplify: iters left: 2 (19 enodes) 1539793665.327 * * [misc]simplify: iters left: 1 (34 enodes) 1539793665.335 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1539793665.335 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1539793665.335 * * * * [misc]progress: [ 12 / 12 ] simplifiying candidate # 1539793665.335 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1539793665.335 * * [misc]simplify: iters left: 4 (5 enodes) 1539793665.337 * * [misc]simplify: iters left: 3 (10 enodes) 1539793665.339 * * [misc]simplify: iters left: 2 (19 enodes) 1539793665.349 * * [misc]simplify: iters left: 1 (34 enodes) 1539793665.360 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1539793665.360 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1539793665.360 * * * [misc]progress: adding candidates to table 1539793665.428 * * [misc]progress: iteration 3 / 4 1539793665.428 * * * [misc]progress: picking best candidate 1539793665.435 * * * * [misc]pick: Picked # 1539793665.435 * * * [misc]progress: localizing error 1539793665.441 * * * [misc]progress: generating rewritten candidates 1539793665.441 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2) 1539793665.442 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1) 1539793665.442 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2) 1539793665.449 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 1) 1539793665.449 * * * [misc]progress: generating series expansions 1539793665.449 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2) 1539793665.449 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793665.449 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0 1539793665.449 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1539793665.449 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1539793665.449 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793665.449 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793665.449 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793665.449 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1539793665.449 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1539793665.449 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793665.450 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793665.450 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793665.450 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793665.450 * [misc]backup-simplify: Simplify 0 into 0 1539793665.450 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793665.451 * [misc]backup-simplify: Simplify 0 into 0 1539793665.451 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793665.451 * [misc]backup-simplify: Simplify 0 into 0 1539793665.451 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793665.451 * [misc]backup-simplify: Simplify 0 into 0 1539793665.452 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793665.452 * [misc]backup-simplify: Simplify 0 into 0 1539793665.452 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793665.452 * [misc]backup-simplify: Simplify 0 into 0 1539793665.452 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793665.453 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1539793665.453 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0 1539793665.453 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1539793665.453 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1539793665.453 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1539793665.453 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1539793665.453 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793665.453 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1539793665.453 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1539793665.453 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1539793665.453 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1539793665.453 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793665.453 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1539793665.453 * [misc]backup-simplify: Simplify 0 into 0 1539793665.454 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793665.454 * [misc]backup-simplify: Simplify 0 into 0 1539793665.454 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793665.454 * [misc]backup-simplify: Simplify 0 into 0 1539793665.455 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793665.455 * [misc]backup-simplify: Simplify 0 into 0 1539793665.455 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793665.455 * [misc]backup-simplify: Simplify 0 into 0 1539793665.456 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793665.456 * [misc]backup-simplify: Simplify 0 into 0 1539793665.456 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793665.456 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1539793665.456 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0 1539793665.456 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1539793665.456 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1539793665.456 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1539793665.457 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1539793665.457 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793665.457 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1539793665.457 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1539793665.457 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1539793665.457 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1539793665.457 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793665.457 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1539793665.457 * [misc]backup-simplify: Simplify 0 into 0 1539793665.458 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793665.458 * [misc]backup-simplify: Simplify 0 into 0 1539793665.458 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793665.458 * [misc]backup-simplify: Simplify 0 into 0 1539793665.459 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793665.459 * [misc]backup-simplify: Simplify 0 into 0 1539793665.459 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793665.459 * [misc]backup-simplify: Simplify 0 into 0 1539793665.460 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793665.460 * [misc]backup-simplify: Simplify 0 into 0 1539793665.460 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793665.460 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1) 1539793665.460 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793665.460 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0 1539793665.460 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1539793665.460 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1539793665.460 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793665.460 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793665.460 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793665.460 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1539793665.460 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1539793665.460 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793665.460 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793665.460 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793665.461 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793665.461 * [misc]backup-simplify: Simplify 0 into 0 1539793665.461 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793665.461 * [misc]backup-simplify: Simplify 0 into 0 1539793665.461 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793665.462 * [misc]backup-simplify: Simplify 0 into 0 1539793665.462 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793665.462 * [misc]backup-simplify: Simplify 0 into 0 1539793665.462 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793665.462 * [misc]backup-simplify: Simplify 0 into 0 1539793665.463 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793665.463 * [misc]backup-simplify: Simplify 0 into 0 1539793665.463 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793665.463 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1539793665.463 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0 1539793665.463 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1539793665.463 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1539793665.464 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1539793665.464 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1539793665.464 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793665.464 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1539793665.464 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1539793665.464 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1539793665.464 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1539793665.465 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793665.465 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1539793665.465 * [misc]backup-simplify: Simplify 0 into 0 1539793665.466 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793665.466 * [misc]backup-simplify: Simplify 0 into 0 1539793665.466 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793665.466 * [misc]backup-simplify: Simplify 0 into 0 1539793665.467 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793665.468 * [misc]backup-simplify: Simplify 0 into 0 1539793665.468 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793665.468 * [misc]backup-simplify: Simplify 0 into 0 1539793665.469 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793665.469 * [misc]backup-simplify: Simplify 0 into 0 1539793665.469 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793665.470 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1539793665.470 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0 1539793665.470 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1539793665.470 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1539793665.470 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1539793665.470 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1539793665.470 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793665.470 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1539793665.470 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1539793665.471 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1539793665.471 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1539793665.471 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793665.471 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1539793665.471 * [misc]backup-simplify: Simplify 0 into 0 1539793665.472 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793665.472 * [misc]backup-simplify: Simplify 0 into 0 1539793665.473 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793665.473 * [misc]backup-simplify: Simplify 0 into 0 1539793665.474 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793665.474 * [misc]backup-simplify: Simplify 0 into 0 1539793665.474 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793665.474 * [misc]backup-simplify: Simplify 0 into 0 1539793665.476 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793665.476 * [misc]backup-simplify: Simplify 0 into 0 1539793665.476 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793665.476 * * * * [misc]progress: [ 3 / 4 ] generating series at (2) 1539793665.476 * [misc]backup-simplify: Simplify (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) into (atan2 1 (fma N (+ N 1) 1)) 1539793665.476 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0 1539793665.476 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1539793665.476 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793665.477 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1539793665.477 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793665.477 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793665.477 * [misc]backup-simplify: Simplify 0 into 0 1539793665.477 * [misc]backup-simplify: Simplify 0 into 0 1539793665.477 * [misc]backup-simplify: Simplify 0 into 0 1539793665.477 * [misc]backup-simplify: Simplify 0 into 0 1539793665.477 * [misc]backup-simplify: Simplify 0 into 0 1539793665.477 * [misc]backup-simplify: Simplify 0 into 0 1539793665.477 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793665.477 * [misc]backup-simplify: Simplify (* (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1539793665.477 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0 1539793665.478 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1539793665.478 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1539793665.478 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1539793665.478 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1539793665.478 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1539793665.478 * [misc]backup-simplify: Simplify 0 into 0 1539793665.478 * [misc]backup-simplify: Simplify 0 into 0 1539793665.478 * [misc]backup-simplify: Simplify 0 into 0 1539793665.478 * [misc]backup-simplify: Simplify 0 into 0 1539793665.478 * [misc]backup-simplify: Simplify 0 into 0 1539793665.478 * [misc]backup-simplify: Simplify 0 into 0 1539793665.478 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793665.479 * [misc]backup-simplify: Simplify (* (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)))) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1539793665.479 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0 1539793665.479 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1539793665.479 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1539793665.479 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1539793665.479 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1539793665.479 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1539793665.480 * [misc]backup-simplify: Simplify 0 into 0 1539793665.480 * [misc]backup-simplify: Simplify 0 into 0 1539793665.480 * [misc]backup-simplify: Simplify 0 into 0 1539793665.480 * [misc]backup-simplify: Simplify 0 into 0 1539793665.480 * [misc]backup-simplify: Simplify 0 into 0 1539793665.480 * [misc]backup-simplify: Simplify 0 into 0 1539793665.480 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793665.480 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 1) 1539793665.480 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793665.480 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0 1539793665.480 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1539793665.480 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793665.480 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1539793665.480 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793665.481 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793665.481 * [misc]backup-simplify: Simplify 0 into 0 1539793665.481 * [misc]backup-simplify: Simplify 0 into 0 1539793665.481 * [misc]backup-simplify: Simplify 0 into 0 1539793665.481 * [misc]backup-simplify: Simplify 0 into 0 1539793665.481 * [misc]backup-simplify: Simplify 0 into 0 1539793665.481 * [misc]backup-simplify: Simplify 0 into 0 1539793665.481 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793665.481 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1539793665.481 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0 1539793665.481 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1539793665.481 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1539793665.481 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1539793665.481 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1539793665.482 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1539793665.482 * [misc]backup-simplify: Simplify 0 into 0 1539793665.482 * [misc]backup-simplify: Simplify 0 into 0 1539793665.482 * [misc]backup-simplify: Simplify 0 into 0 1539793665.482 * [misc]backup-simplify: Simplify 0 into 0 1539793665.482 * [misc]backup-simplify: Simplify 0 into 0 1539793665.482 * [misc]backup-simplify: Simplify 0 into 0 1539793665.482 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793665.482 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1539793665.482 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0 1539793665.482 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1539793665.482 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1539793665.482 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1539793665.483 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1539793665.483 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1539793665.483 * [misc]backup-simplify: Simplify 0 into 0 1539793665.483 * [misc]backup-simplify: Simplify 0 into 0 1539793665.483 * [misc]backup-simplify: Simplify 0 into 0 1539793665.483 * [misc]backup-simplify: Simplify 0 into 0 1539793665.483 * [misc]backup-simplify: Simplify 0 into 0 1539793665.483 * [misc]backup-simplify: Simplify 0 into 0 1539793665.483 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793665.483 * * * [misc]progress: simplifying candidates 1539793665.483 * * * * [misc]progress: [ 1 / 81 ] simplifiying candidate # 1539793665.483 * * * * [misc]progress: [ 2 / 81 ] simplifiying candidate # 1539793665.483 * * * * [misc]progress: [ 3 / 81 ] simplifiying candidate # 1539793665.484 * * * * [misc]progress: [ 4 / 81 ] simplifiying candidate # 1539793665.484 * * * * [misc]progress: [ 5 / 81 ] simplifiying candidate # 1539793665.484 * * * * [misc]progress: [ 6 / 81 ] simplifiying candidate # 1539793665.484 * * * * [misc]progress: [ 7 / 81 ] simplifiying candidate # 1539793665.484 * * * * [misc]progress: [ 8 / 81 ] simplifiying candidate # 1539793665.484 * * * * [misc]progress: [ 9 / 81 ] simplifiying candidate # 1539793665.484 * [enter]simplify: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1539793665.484 * * [misc]simplify: iters left: 6 (8 enodes) 1539793665.487 * * [misc]simplify: iters left: 5 (14 enodes) 1539793665.490 * * [misc]simplify: iters left: 4 (23 enodes) 1539793665.496 * * [misc]simplify: iters left: 3 (38 enodes) 1539793665.500 * * [misc]simplify: iters left: 2 (48 enodes) 1539793665.504 * * [misc]simplify: iters left: 1 (49 enodes) 1539793665.510 * [exit]simplify: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1539793665.510 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1))))))) 1539793665.510 * * * * [misc]progress: [ 10 / 81 ] simplifiying candidate # 1539793665.510 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793665.510 * * [misc]simplify: iters left: 6 (7 enodes) 1539793665.511 * * [misc]simplify: iters left: 5 (12 enodes) 1539793665.513 * * [misc]simplify: iters left: 4 (21 enodes) 1539793665.518 * * [misc]simplify: iters left: 3 (36 enodes) 1539793665.524 * * [misc]simplify: iters left: 2 (45 enodes) 1539793665.532 * * [misc]simplify: iters left: 1 (46 enodes) 1539793665.538 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793665.539 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1539793665.539 * * * * [misc]progress: [ 11 / 81 ] simplifiying candidate # 1539793665.539 * [enter]simplify: Simplifying (sqrt 1) 1539793665.539 * * [misc]simplify: iters left: 1 (2 enodes) 1539793665.540 * [exit]simplify: Simplified to 1 1539793665.540 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1539793665.540 * * * * [misc]progress: [ 12 / 81 ] simplifiying candidate # 1539793665.541 * * * * [misc]progress: [ 13 / 81 ] simplifiying candidate # 1539793665.541 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793665.541 * * [misc]simplify: iters left: 5 (6 enodes) 1539793665.543 * * [misc]simplify: iters left: 4 (11 enodes) 1539793665.545 * * [misc]simplify: iters left: 3 (20 enodes) 1539793665.555 * * [misc]simplify: iters left: 2 (35 enodes) 1539793665.562 * * [misc]simplify: iters left: 1 (41 enodes) 1539793665.570 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793665.570 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (fabs (sqrt (atan2 1 (+ 1 (fma N N N))))))) 1539793665.570 * * * * [misc]progress: [ 14 / 81 ] simplifiying candidate # 1539793665.570 * * * * [misc]progress: [ 15 / 81 ] simplifiying candidate # 1539793665.570 * * * * [misc]progress: [ 16 / 81 ] simplifiying candidate # 1539793665.570 * * * * [misc]progress: [ 17 / 81 ] simplifiying candidate # 1539793665.571 * * * * [misc]progress: [ 18 / 81 ] simplifiying candidate # 1539793665.571 * * * * [misc]progress: [ 19 / 81 ] simplifiying candidate # 1539793665.571 * * * * [misc]progress: [ 20 / 81 ] simplifiying candidate # 1539793665.571 * * * * [misc]progress: [ 21 / 81 ] simplifiying candidate # 1539793665.571 * * * * [misc]progress: [ 22 / 81 ] simplifiying candidate # 1539793665.571 * * * * [misc]progress: [ 23 / 81 ] simplifiying candidate # 1539793665.571 * [enter]simplify: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1539793665.571 * * [misc]simplify: iters left: 6 (8 enodes) 1539793665.574 * * [misc]simplify: iters left: 5 (14 enodes) 1539793665.577 * * [misc]simplify: iters left: 4 (23 enodes) 1539793665.587 * * [misc]simplify: iters left: 3 (38 enodes) 1539793665.596 * * [misc]simplify: iters left: 2 (48 enodes) 1539793665.602 * * [misc]simplify: iters left: 1 (49 enodes) 1539793665.605 * [exit]simplify: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1539793665.605 * [misc]simplify: Simplified (2 1 1) to (λ (N) (* (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793665.605 * * * * [misc]progress: [ 24 / 81 ] simplifiying candidate # 1539793665.606 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793665.606 * * [misc]simplify: iters left: 6 (7 enodes) 1539793665.607 * * [misc]simplify: iters left: 5 (12 enodes) 1539793665.608 * * [misc]simplify: iters left: 4 (21 enodes) 1539793665.613 * * [misc]simplify: iters left: 3 (36 enodes) 1539793665.617 * * [misc]simplify: iters left: 2 (45 enodes) 1539793665.622 * * [misc]simplify: iters left: 1 (46 enodes) 1539793665.625 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793665.625 * [misc]simplify: Simplified (2 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793665.625 * * * * [misc]progress: [ 25 / 81 ] simplifiying candidate # 1539793665.625 * [enter]simplify: Simplifying (sqrt 1) 1539793665.626 * * [misc]simplify: iters left: 1 (2 enodes) 1539793665.626 * [exit]simplify: Simplified to 1 1539793665.626 * [misc]simplify: Simplified (2 1 1) to (λ (N) (* (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793665.626 * * * * [misc]progress: [ 26 / 81 ] simplifiying candidate # 1539793665.626 * * * * [misc]progress: [ 27 / 81 ] simplifiying candidate # 1539793665.627 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793665.627 * * [misc]simplify: iters left: 5 (6 enodes) 1539793665.628 * * [misc]simplify: iters left: 4 (11 enodes) 1539793665.631 * * [misc]simplify: iters left: 3 (20 enodes) 1539793665.640 * * [misc]simplify: iters left: 2 (35 enodes) 1539793665.648 * * [misc]simplify: iters left: 1 (41 enodes) 1539793665.655 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793665.655 * [misc]simplify: Simplified (2 1 1) to (λ (N) (* (fabs (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793665.655 * * * * [misc]progress: [ 28 / 81 ] simplifiying candidate # 1539793665.655 * * * * [misc]progress: [ 29 / 81 ] simplifiying candidate # 1539793665.656 * * * * [misc]progress: [ 30 / 81 ] simplifiying candidate # 1539793665.656 * * * * [misc]progress: [ 31 / 81 ] simplifiying candidate # 1539793665.656 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1539793665.656 * * [misc]simplify: iters left: 4 (5 enodes) 1539793665.657 * * [misc]simplify: iters left: 3 (10 enodes) 1539793665.660 * * [misc]simplify: iters left: 2 (19 enodes) 1539793665.664 * * [misc]simplify: iters left: 1 (34 enodes) 1539793665.668 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1539793665.668 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) (+ 1/2 1/2))) 1539793665.668 * [enter]simplify: Simplifying (+ 1/2 1/2) 1539793665.668 * * [misc]simplify: iters left: 2 (2 enodes) 1539793665.669 * * [misc]simplify: iters left: 1 (3 enodes) 1539793665.669 * [exit]simplify: Simplified to 1 1539793665.669 * [misc]simplify: Simplified (2 2) to (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) 1)) 1539793665.670 * * * * [misc]progress: [ 32 / 81 ] simplifiying candidate # 1539793665.670 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793665.670 * * [misc]simplify: iters left: 5 (6 enodes) 1539793665.671 * * [misc]simplify: iters left: 4 (11 enodes) 1539793665.672 * * [misc]simplify: iters left: 3 (20 enodes) 1539793665.677 * * [misc]simplify: iters left: 2 (35 enodes) 1539793665.680 * * [misc]simplify: iters left: 1 (41 enodes) 1539793665.684 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793665.684 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ 1 (fma N N N)))) (+ 1 1))) 1539793665.684 * [enter]simplify: Simplifying (+ 1 1) 1539793665.684 * * [misc]simplify: iters left: 2 (2 enodes) 1539793665.685 * * [misc]simplify: iters left: 1 (5 enodes) 1539793665.686 * [exit]simplify: Simplified to 2 1539793665.686 * [misc]simplify: Simplified (2 2) to (λ (N) (pow (sqrt (atan2 1 (fma N (+ N 1) 1))) 2)) 1539793665.686 * * * * [misc]progress: [ 33 / 81 ] simplifiying candidate # 1539793665.686 * [enter]simplify: Simplifying (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1))) 1539793665.686 * * [misc]simplify: iters left: 6 (6 enodes) 1539793665.687 * * [misc]simplify: iters left: 5 (11 enodes) 1539793665.689 * * [misc]simplify: iters left: 4 (20 enodes) 1539793665.699 * * [misc]simplify: iters left: 3 (35 enodes) 1539793665.707 * * [misc]simplify: iters left: 2 (41 enodes) 1539793665.715 * [exit]simplify: Simplified to (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1539793665.715 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1/2)) 1539793665.715 * * * * [misc]progress: [ 34 / 81 ] simplifiying candidate # 1539793665.715 * [enter]simplify: Simplifying (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793665.715 * * [misc]simplify: iters left: 6 (7 enodes) 1539793665.717 * * [misc]simplify: iters left: 5 (12 enodes) 1539793665.721 * * [misc]simplify: iters left: 4 (22 enodes) 1539793665.732 * * [misc]simplify: iters left: 3 (37 enodes) 1539793665.740 * * [misc]simplify: iters left: 2 (45 enodes) 1539793665.748 * * [misc]simplify: iters left: 1 (46 enodes) 1539793665.754 * [exit]simplify: Simplified to (atan2 1 (fma (+ N 1) N 1)) 1539793665.754 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (atan2 1 (fma (+ N 1) N 1)) 1)) 1539793665.754 * * * * [misc]progress: [ 35 / 81 ] simplifiying candidate # 1539793665.754 * * * * [misc]progress: [ 36 / 81 ] simplifiying candidate # 1539793665.755 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793665.755 * * [misc]simplify: iters left: 5 (6 enodes) 1539793665.757 * * [misc]simplify: iters left: 4 (11 enodes) 1539793665.760 * * [misc]simplify: iters left: 3 (20 enodes) 1539793665.766 * * [misc]simplify: iters left: 2 (35 enodes) 1539793665.770 * * [misc]simplify: iters left: 1 (41 enodes) 1539793665.774 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793665.774 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ 1 (fma N N N)))) (+ 1 1))) 1539793665.774 * * * * [misc]progress: [ 37 / 81 ] simplifiying candidate # 1539793665.774 * * * * [misc]progress: [ 38 / 81 ] simplifiying candidate # 1539793665.774 * [enter]simplify: Simplifying (+ (log (sqrt (atan2 1 (fma N (+ N 1) 1)))) (log (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793665.774 * * [misc]simplify: iters left: 6 (8 enodes) 1539793665.776 * * [misc]simplify: iters left: 5 (13 enodes) 1539793665.777 * * [misc]simplify: iters left: 4 (22 enodes) 1539793665.782 * * [misc]simplify: iters left: 3 (37 enodes) 1539793665.786 * * [misc]simplify: iters left: 2 (45 enodes) 1539793665.790 * * [misc]simplify: iters left: 1 (46 enodes) 1539793665.794 * [exit]simplify: Simplified to (+ (log (sqrt (atan2 1 (+ 1 (fma N N N))))) (log (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1539793665.794 * [misc]simplify: Simplified (2 1) to (λ (N) (exp (+ (log (sqrt (atan2 1 (+ 1 (fma N N N))))) (log (sqrt (atan2 1 (+ 1 (fma N N N)))))))) 1539793665.794 * * * * [misc]progress: [ 39 / 81 ] simplifiying candidate # 1539793665.794 * * * * [misc]progress: [ 40 / 81 ] simplifiying candidate # 1539793665.794 * * * * [misc]progress: [ 41 / 81 ] simplifiying candidate # 1539793665.794 * [enter]simplify: Simplifying (* (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793665.794 * * [misc]simplify: iters left: 6 (9 enodes) 1539793665.796 * * [misc]simplify: iters left: 5 (19 enodes) 1539793665.798 * * [misc]simplify: iters left: 4 (37 enodes) 1539793665.813 * * [misc]simplify: iters left: 3 (57 enodes) 1539793665.826 * * [misc]simplify: iters left: 2 (69 enodes) 1539793665.841 * * [misc]simplify: iters left: 1 (73 enodes) 1539793665.853 * [exit]simplify: Simplified to (pow (atan2 1 (fma N (+ N 1) 1)) 3) 1539793665.853 * [misc]simplify: Simplified (2 1) to (λ (N) (cbrt (pow (atan2 1 (fma N (+ N 1) 1)) 3))) 1539793665.854 * * * * [misc]progress: [ 42 / 81 ] simplifiying candidate # 1539793665.854 * * * * [misc]progress: [ 43 / 81 ] simplifiying candidate # 1539793665.854 * * * * [misc]progress: [ 44 / 81 ] simplifiying candidate # 1539793665.854 * [enter]simplify: Simplifying (* (atan2 1 (fma N (+ N 1) 1)) (atan2 1 (fma N (+ N 1) 1))) 1539793665.854 * * [misc]simplify: iters left: 6 (6 enodes) 1539793665.856 * * [misc]simplify: iters left: 5 (11 enodes) 1539793665.859 * * [misc]simplify: iters left: 4 (20 enodes) 1539793665.864 * * [misc]simplify: iters left: 3 (35 enodes) 1539793665.868 * * [misc]simplify: iters left: 2 (41 enodes) 1539793665.872 * [exit]simplify: Simplified to (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1539793665.872 * [misc]simplify: Simplified (2 1) to (λ (N) (sqrt (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))))) 1539793665.872 * * * * [misc]progress: [ 45 / 81 ] simplifiying candidate # 1539793665.872 * * * * [misc]progress: [ 46 / 81 ] simplifiying candidate # 1539793665.872 * [enter]simplify: Simplifying (fma N (+ N 1) 1) 1539793665.872 * * [misc]simplify: iters left: 3 (4 enodes) 1539793665.873 * * [misc]simplify: iters left: 2 (9 enodes) 1539793665.874 * * [misc]simplify: iters left: 1 (18 enodes) 1539793665.879 * [exit]simplify: Simplified to (fma N (+ 1 N) 1) 1539793665.879 * [misc]simplify: Simplified (2 2) to (λ (N) (atan2 1 (fma N (+ 1 N) 1))) 1539793665.879 * * * * [misc]progress: [ 47 / 81 ] simplifiying candidate # 1539793665.879 * * * * [misc]progress: [ 48 / 81 ] simplifiying candidate # 1539793665.879 * [enter]simplify: Simplifying (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793665.879 * * [misc]simplify: iters left: 6 (7 enodes) 1539793665.880 * * [misc]simplify: iters left: 5 (12 enodes) 1539793665.881 * * [misc]simplify: iters left: 4 (21 enodes) 1539793665.886 * * [misc]simplify: iters left: 3 (36 enodes) 1539793665.890 * * [misc]simplify: iters left: 2 (45 enodes) 1539793665.894 * * [misc]simplify: iters left: 1 (46 enodes) 1539793665.897 * [exit]simplify: Simplified to (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793665.897 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1539793665.897 * * * * [misc]progress: [ 49 / 81 ] simplifiying candidate # 1539793665.898 * [enter]simplify: Simplifying (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))) 1539793665.898 * * [misc]simplify: iters left: 6 (7 enodes) 1539793665.899 * * [misc]simplify: iters left: 5 (12 enodes) 1539793665.900 * * [misc]simplify: iters left: 4 (21 enodes) 1539793665.907 * * [misc]simplify: iters left: 3 (36 enodes) 1539793665.915 * * [misc]simplify: iters left: 2 (45 enodes) 1539793665.922 * * [misc]simplify: iters left: 1 (46 enodes) 1539793665.929 * [exit]simplify: Simplified to (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))) 1539793665.929 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))))) 1539793665.929 * * * * [misc]progress: [ 50 / 81 ] simplifiying candidate # 1539793665.930 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793665.930 * * [misc]simplify: iters left: 6 (7 enodes) 1539793665.932 * * [misc]simplify: iters left: 5 (12 enodes) 1539793665.936 * * [misc]simplify: iters left: 4 (21 enodes) 1539793665.946 * * [misc]simplify: iters left: 3 (36 enodes) 1539793665.954 * * [misc]simplify: iters left: 2 (45 enodes) 1539793665.958 * * [misc]simplify: iters left: 1 (46 enodes) 1539793665.961 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793665.961 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1539793665.962 * * * * [misc]progress: [ 51 / 81 ] simplifiying candidate # 1539793665.962 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793665.962 * * [misc]simplify: iters left: 5 (6 enodes) 1539793665.963 * * [misc]simplify: iters left: 4 (11 enodes) 1539793665.964 * * [misc]simplify: iters left: 3 (20 enodes) 1539793665.969 * * [misc]simplify: iters left: 2 (35 enodes) 1539793665.973 * * [misc]simplify: iters left: 1 (41 enodes) 1539793665.977 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793665.977 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt 1)) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1539793665.977 * * * * [misc]progress: [ 52 / 81 ] simplifiying candidate # 1539793665.977 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793665.977 * * [misc]simplify: iters left: 6 (7 enodes) 1539793665.978 * * [misc]simplify: iters left: 5 (12 enodes) 1539793665.979 * * [misc]simplify: iters left: 4 (21 enodes) 1539793665.986 * * [misc]simplify: iters left: 3 (36 enodes) 1539793665.994 * * [misc]simplify: iters left: 2 (45 enodes) 1539793666.002 * * [misc]simplify: iters left: 1 (46 enodes) 1539793666.009 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793666.009 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1539793666.009 * * * * [misc]progress: [ 53 / 81 ] simplifiying candidate # 1539793666.009 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793666.009 * * [misc]simplify: iters left: 5 (6 enodes) 1539793666.011 * * [misc]simplify: iters left: 4 (11 enodes) 1539793666.014 * * [misc]simplify: iters left: 3 (20 enodes) 1539793666.024 * * [misc]simplify: iters left: 2 (35 enodes) 1539793666.032 * * [misc]simplify: iters left: 1 (41 enodes) 1539793666.039 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793666.040 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) 1) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1539793666.040 * * * * [misc]progress: [ 54 / 81 ] simplifiying candidate # 1539793666.040 * [enter]simplify: Simplifying (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793666.040 * * [misc]simplify: iters left: 6 (8 enodes) 1539793666.042 * * [misc]simplify: iters left: 5 (13 enodes) 1539793666.046 * * [misc]simplify: iters left: 4 (22 enodes) 1539793666.058 * * [misc]simplify: iters left: 3 (37 enodes) 1539793666.066 * * [misc]simplify: iters left: 2 (45 enodes) 1539793666.075 * * [misc]simplify: iters left: 1 (46 enodes) 1539793666.082 * [exit]simplify: Simplified to (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1539793666.082 * [misc]simplify: Simplified (2 1) to (λ (N) (* (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1539793666.082 * * * * [misc]progress: [ 55 / 81 ] simplifiying candidate # 1539793666.082 * [enter]simplify: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1539793666.083 * * [misc]simplify: iters left: 6 (8 enodes) 1539793666.085 * * [misc]simplify: iters left: 5 (14 enodes) 1539793666.089 * * [misc]simplify: iters left: 4 (23 enodes) 1539793666.099 * * [misc]simplify: iters left: 3 (38 enodes) 1539793666.103 * * [misc]simplify: iters left: 2 (48 enodes) 1539793666.107 * * [misc]simplify: iters left: 1 (49 enodes) 1539793666.111 * [exit]simplify: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1539793666.111 * [misc]simplify: Simplified (2 1) to (λ (N) (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (* (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1539793666.111 * * * * [misc]progress: [ 56 / 81 ] simplifiying candidate # 1539793666.111 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793666.111 * * [misc]simplify: iters left: 6 (7 enodes) 1539793666.112 * * [misc]simplify: iters left: 5 (12 enodes) 1539793666.114 * * [misc]simplify: iters left: 4 (21 enodes) 1539793666.118 * * [misc]simplify: iters left: 3 (36 enodes) 1539793666.122 * * [misc]simplify: iters left: 2 (45 enodes) 1539793666.126 * * [misc]simplify: iters left: 1 (46 enodes) 1539793666.130 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793666.130 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1539793666.130 * * * * [misc]progress: [ 57 / 81 ] simplifiying candidate # 1539793666.130 * [enter]simplify: Simplifying (sqrt 1) 1539793666.130 * * [misc]simplify: iters left: 1 (2 enodes) 1539793666.131 * [exit]simplify: Simplified to 1 1539793666.131 * [misc]simplify: Simplified (2 1) to (λ (N) (* 1 (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1539793666.131 * * * * [misc]progress: [ 58 / 81 ] simplifiying candidate # 1539793666.131 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793666.131 * * [misc]simplify: iters left: 6 (7 enodes) 1539793666.132 * * [misc]simplify: iters left: 5 (12 enodes) 1539793666.133 * * [misc]simplify: iters left: 4 (21 enodes) 1539793666.141 * * [misc]simplify: iters left: 3 (36 enodes) 1539793666.150 * * [misc]simplify: iters left: 2 (45 enodes) 1539793666.159 * * [misc]simplify: iters left: 1 (46 enodes) 1539793666.166 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793666.166 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1539793666.166 * * * * [misc]progress: [ 59 / 81 ] simplifiying candidate # 1539793666.166 * * * * [misc]progress: [ 60 / 81 ] simplifiying candidate # 1539793666.166 * * * * [misc]progress: [ 61 / 81 ] simplifiying candidate # 1539793666.166 * * * * [misc]progress: [ 62 / 81 ] simplifiying candidate # 1539793666.166 * * * * [misc]progress: [ 63 / 81 ] simplifiying candidate # 1539793666.166 * * * * [misc]progress: [ 64 / 81 ] simplifiying candidate # 1539793666.166 * * * * [misc]progress: [ 65 / 81 ] simplifiying candidate # 1539793666.166 * * * * [misc]progress: [ 66 / 81 ] simplifiying candidate # 1539793666.166 * * * * [misc]progress: [ 67 / 81 ] simplifiying candidate # 1539793666.166 * * * * [misc]progress: [ 68 / 81 ] simplifiying candidate # 1539793666.166 * * * * [misc]progress: [ 69 / 81 ] simplifiying candidate # 1539793666.166 * * * * [misc]progress: [ 70 / 81 ] simplifiying candidate # 1539793666.167 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793666.167 * * [misc]simplify: iters left: 5 (6 enodes) 1539793666.169 * * [misc]simplify: iters left: 4 (11 enodes) 1539793666.171 * * [misc]simplify: iters left: 3 (20 enodes) 1539793666.176 * * [misc]simplify: iters left: 2 (35 enodes) 1539793666.180 * * [misc]simplify: iters left: 1 (41 enodes) 1539793666.184 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793666.184 * [misc]simplify: Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1539793666.184 * * * * [misc]progress: [ 71 / 81 ] simplifiying candidate # 1539793666.184 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793666.184 * * [misc]simplify: iters left: 5 (6 enodes) 1539793666.185 * * [misc]simplify: iters left: 4 (11 enodes) 1539793666.186 * * [misc]simplify: iters left: 3 (20 enodes) 1539793666.191 * * [misc]simplify: iters left: 2 (35 enodes) 1539793666.195 * * [misc]simplify: iters left: 1 (41 enodes) 1539793666.198 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793666.198 * [misc]simplify: Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1539793666.198 * * * * [misc]progress: [ 72 / 81 ] simplifiying candidate # 1539793666.199 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793666.199 * * [misc]simplify: iters left: 5 (6 enodes) 1539793666.200 * * [misc]simplify: iters left: 4 (11 enodes) 1539793666.201 * * [misc]simplify: iters left: 3 (20 enodes) 1539793666.207 * * [misc]simplify: iters left: 2 (35 enodes) 1539793666.211 * * [misc]simplify: iters left: 1 (41 enodes) 1539793666.214 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793666.214 * [misc]simplify: Simplified (2 2) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1539793666.214 * * * * [misc]progress: [ 73 / 81 ] simplifiying candidate # 1539793666.215 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793666.215 * * [misc]simplify: iters left: 5 (6 enodes) 1539793666.215 * * [misc]simplify: iters left: 4 (11 enodes) 1539793666.217 * * [misc]simplify: iters left: 3 (20 enodes) 1539793666.222 * * [misc]simplify: iters left: 2 (35 enodes) 1539793666.226 * * [misc]simplify: iters left: 1 (41 enodes) 1539793666.229 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793666.230 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793666.230 * * * * [misc]progress: [ 74 / 81 ] simplifiying candidate # 1539793666.230 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793666.230 * * [misc]simplify: iters left: 5 (6 enodes) 1539793666.231 * * [misc]simplify: iters left: 4 (11 enodes) 1539793666.232 * * [misc]simplify: iters left: 3 (20 enodes) 1539793666.238 * * [misc]simplify: iters left: 2 (35 enodes) 1539793666.242 * * [misc]simplify: iters left: 1 (41 enodes) 1539793666.245 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793666.246 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793666.246 * * * * [misc]progress: [ 75 / 81 ] simplifiying candidate # 1539793666.246 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793666.246 * * [misc]simplify: iters left: 5 (6 enodes) 1539793666.247 * * [misc]simplify: iters left: 4 (11 enodes) 1539793666.248 * * [misc]simplify: iters left: 3 (20 enodes) 1539793666.253 * * [misc]simplify: iters left: 2 (35 enodes) 1539793666.257 * * [misc]simplify: iters left: 1 (41 enodes) 1539793666.261 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793666.261 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793666.261 * * * * [misc]progress: [ 76 / 81 ] simplifiying candidate # 1539793666.261 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1539793666.261 * * [misc]simplify: iters left: 4 (5 enodes) 1539793666.262 * * [misc]simplify: iters left: 3 (10 enodes) 1539793666.263 * * [misc]simplify: iters left: 2 (19 enodes) 1539793666.267 * * [misc]simplify: iters left: 1 (34 enodes) 1539793666.271 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1539793666.271 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1539793666.271 * * * * [misc]progress: [ 77 / 81 ] simplifiying candidate # 1539793666.272 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1539793666.272 * * [misc]simplify: iters left: 4 (5 enodes) 1539793666.272 * * [misc]simplify: iters left: 3 (10 enodes) 1539793666.274 * * [misc]simplify: iters left: 2 (19 enodes) 1539793666.278 * * [misc]simplify: iters left: 1 (34 enodes) 1539793666.282 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1539793666.283 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1539793666.283 * * * * [misc]progress: [ 78 / 81 ] simplifiying candidate # 1539793666.283 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1539793666.283 * * [misc]simplify: iters left: 4 (5 enodes) 1539793666.284 * * [misc]simplify: iters left: 3 (10 enodes) 1539793666.285 * * [misc]simplify: iters left: 2 (19 enodes) 1539793666.289 * * [misc]simplify: iters left: 1 (34 enodes) 1539793666.293 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1539793666.293 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1539793666.293 * * * * [misc]progress: [ 79 / 81 ] simplifiying candidate # 1539793666.294 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1539793666.294 * * [misc]simplify: iters left: 4 (5 enodes) 1539793666.294 * * [misc]simplify: iters left: 3 (10 enodes) 1539793666.296 * * [misc]simplify: iters left: 2 (19 enodes) 1539793666.300 * * [misc]simplify: iters left: 1 (34 enodes) 1539793666.304 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1539793666.304 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793666.304 * * * * [misc]progress: [ 80 / 81 ] simplifiying candidate # 1539793666.304 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1539793666.304 * * [misc]simplify: iters left: 4 (5 enodes) 1539793666.306 * * [misc]simplify: iters left: 3 (10 enodes) 1539793666.307 * * [misc]simplify: iters left: 2 (19 enodes) 1539793666.312 * * [misc]simplify: iters left: 1 (34 enodes) 1539793666.320 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1539793666.320 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793666.320 * * * * [misc]progress: [ 81 / 81 ] simplifiying candidate # 1539793666.320 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1539793666.320 * * [misc]simplify: iters left: 4 (5 enodes) 1539793666.322 * * [misc]simplify: iters left: 3 (10 enodes) 1539793666.324 * * [misc]simplify: iters left: 2 (19 enodes) 1539793666.334 * * [misc]simplify: iters left: 1 (34 enodes) 1539793666.342 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1539793666.342 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793666.342 * * * [misc]progress: adding candidates to table 1539793667.158 * * [misc]progress: iteration 4 / 4 1539793667.158 * * * [misc]progress: picking best candidate 1539793667.176 * * * * [misc]pick: Picked # 1539793667.176 * * * [misc]progress: localizing error 1539793667.187 * * * [misc]progress: generating rewritten candidates 1539793667.187 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2) 1539793667.188 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 1) 1539793667.189 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1) 1539793667.190 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2) 1539793667.217 * * * [misc]progress: generating series expansions 1539793667.217 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2) 1539793667.217 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793667.217 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0 1539793667.217 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1539793667.217 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1539793667.218 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793667.218 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793667.218 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793667.218 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1539793667.218 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1539793667.218 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793667.218 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793667.218 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793667.218 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793667.219 * [misc]backup-simplify: Simplify 0 into 0 1539793667.220 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793667.220 * [misc]backup-simplify: Simplify 0 into 0 1539793667.220 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793667.220 * [misc]backup-simplify: Simplify 0 into 0 1539793667.221 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793667.221 * [misc]backup-simplify: Simplify 0 into 0 1539793667.222 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793667.222 * [misc]backup-simplify: Simplify 0 into 0 1539793667.223 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793667.223 * [misc]backup-simplify: Simplify 0 into 0 1539793667.223 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793667.223 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1539793667.223 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0 1539793667.223 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1539793667.223 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1539793667.223 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1539793667.223 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1539793667.224 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793667.224 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1539793667.224 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1539793667.224 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1539793667.224 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1539793667.224 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793667.224 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1539793667.224 * [misc]backup-simplify: Simplify 0 into 0 1539793667.225 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793667.225 * [misc]backup-simplify: Simplify 0 into 0 1539793667.226 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793667.226 * [misc]backup-simplify: Simplify 0 into 0 1539793667.227 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793667.227 * [misc]backup-simplify: Simplify 0 into 0 1539793667.227 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793667.227 * [misc]backup-simplify: Simplify 0 into 0 1539793667.228 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793667.228 * [misc]backup-simplify: Simplify 0 into 0 1539793667.228 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793667.228 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1539793667.228 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0 1539793667.228 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1539793667.228 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1539793667.228 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1539793667.228 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1539793667.229 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793667.229 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1539793667.229 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1539793667.229 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1539793667.229 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1539793667.229 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793667.229 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1539793667.229 * [misc]backup-simplify: Simplify 0 into 0 1539793667.230 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793667.230 * [misc]backup-simplify: Simplify 0 into 0 1539793667.230 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793667.230 * [misc]backup-simplify: Simplify 0 into 0 1539793667.231 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793667.231 * [misc]backup-simplify: Simplify 0 into 0 1539793667.231 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793667.231 * [misc]backup-simplify: Simplify 0 into 0 1539793667.232 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793667.232 * [misc]backup-simplify: Simplify 0 into 0 1539793667.232 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793667.232 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2 1) 1539793667.232 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793667.232 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0 1539793667.232 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1539793667.232 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1539793667.232 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793667.232 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793667.232 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793667.232 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1539793667.232 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1539793667.232 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793667.232 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793667.232 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793667.233 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793667.233 * [misc]backup-simplify: Simplify 0 into 0 1539793667.233 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793667.233 * [misc]backup-simplify: Simplify 0 into 0 1539793667.233 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793667.233 * [misc]backup-simplify: Simplify 0 into 0 1539793667.234 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793667.234 * [misc]backup-simplify: Simplify 0 into 0 1539793667.234 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793667.234 * [misc]backup-simplify: Simplify 0 into 0 1539793667.235 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793667.235 * [misc]backup-simplify: Simplify 0 into 0 1539793667.235 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793667.235 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1539793667.235 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0 1539793667.235 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1539793667.235 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1539793667.236 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1539793667.236 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1539793667.236 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793667.236 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1539793667.236 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1539793667.236 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1539793667.236 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1539793667.236 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793667.236 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1539793667.236 * [misc]backup-simplify: Simplify 0 into 0 1539793667.237 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793667.237 * [misc]backup-simplify: Simplify 0 into 0 1539793667.237 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793667.237 * [misc]backup-simplify: Simplify 0 into 0 1539793667.238 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793667.238 * [misc]backup-simplify: Simplify 0 into 0 1539793667.238 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793667.238 * [misc]backup-simplify: Simplify 0 into 0 1539793667.239 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793667.239 * [misc]backup-simplify: Simplify 0 into 0 1539793667.239 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793667.239 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1539793667.239 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0 1539793667.239 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1539793667.239 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1539793667.239 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1539793667.239 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1539793667.239 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793667.239 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1539793667.239 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1539793667.239 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1539793667.240 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1539793667.240 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793667.240 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1539793667.240 * [misc]backup-simplify: Simplify 0 into 0 1539793667.240 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793667.240 * [misc]backup-simplify: Simplify 0 into 0 1539793667.241 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793667.241 * [misc]backup-simplify: Simplify 0 into 0 1539793667.241 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793667.241 * [misc]backup-simplify: Simplify 0 into 0 1539793667.242 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793667.242 * [misc]backup-simplify: Simplify 0 into 0 1539793667.242 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793667.242 * [misc]backup-simplify: Simplify 0 into 0 1539793667.242 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793667.243 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1) 1539793667.243 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793667.243 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in (N) around 0 1539793667.243 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1539793667.243 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1539793667.243 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793667.243 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793667.243 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793667.243 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma N (+ N 1) 1))) in N 1539793667.243 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1539793667.243 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793667.243 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793667.243 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793667.243 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793667.243 * [misc]backup-simplify: Simplify 0 into 0 1539793667.244 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793667.244 * [misc]backup-simplify: Simplify 0 into 0 1539793667.244 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793667.244 * [misc]backup-simplify: Simplify 0 into 0 1539793667.245 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793667.245 * [misc]backup-simplify: Simplify 0 into 0 1539793667.245 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793667.245 * [misc]backup-simplify: Simplify 0 into 0 1539793667.246 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma N (+ N 1) 1))))) into 0 1539793667.246 * [misc]backup-simplify: Simplify 0 into 0 1539793667.246 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma N (+ N 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793667.246 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1539793667.246 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in (N) around 0 1539793667.246 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1539793667.246 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1539793667.246 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1539793667.246 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1539793667.246 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793667.246 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) in N 1539793667.246 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1539793667.246 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1539793667.247 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1539793667.247 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793667.247 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) into (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))) 1539793667.247 * [misc]backup-simplify: Simplify 0 into 0 1539793667.247 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793667.247 * [misc]backup-simplify: Simplify 0 into 0 1539793667.248 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793667.248 * [misc]backup-simplify: Simplify 0 into 0 1539793667.248 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793667.248 * [misc]backup-simplify: Simplify 0 into 0 1539793667.249 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793667.249 * [misc]backup-simplify: Simplify 0 into 0 1539793667.249 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) into 0 1539793667.249 * [misc]backup-simplify: Simplify 0 into 0 1539793667.249 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793667.250 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1539793667.250 * [misc]approximate: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in (N) around 0 1539793667.250 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1539793667.250 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1539793667.250 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1539793667.250 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1539793667.250 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793667.250 * [misc]taylor: Taking taylor expansion of (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) in N 1539793667.250 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1539793667.250 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1539793667.250 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1539793667.250 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793667.250 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) into (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))) 1539793667.250 * [misc]backup-simplify: Simplify 0 into 0 1539793667.251 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793667.251 * [misc]backup-simplify: Simplify 0 into 0 1539793667.251 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793667.251 * [misc]backup-simplify: Simplify 0 into 0 1539793667.252 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793667.252 * [misc]backup-simplify: Simplify 0 into 0 1539793667.252 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793667.252 * [misc]backup-simplify: Simplify 0 into 0 1539793667.253 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1))))) into 0 1539793667.253 * [misc]backup-simplify: Simplify 0 into 0 1539793667.253 * [misc]backup-simplify: Simplify (sqrt (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793667.253 * * * * [misc]progress: [ 4 / 4 ] generating series at (2) 1539793667.253 * [misc]backup-simplify: Simplify (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) into (atan2 1 (fma N (+ N 1) 1)) 1539793667.253 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in (N) around 0 1539793667.253 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1539793667.253 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793667.253 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma N (+ N 1) 1)) in N 1539793667.254 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793667.254 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793667.254 * [misc]backup-simplify: Simplify 0 into 0 1539793667.254 * [misc]backup-simplify: Simplify 0 into 0 1539793667.254 * [misc]backup-simplify: Simplify 0 into 0 1539793667.254 * [misc]backup-simplify: Simplify 0 into 0 1539793667.254 * [misc]backup-simplify: Simplify 0 into 0 1539793667.254 * [misc]backup-simplify: Simplify 0 into 0 1539793667.254 * [misc]backup-simplify: Simplify (atan2 1 (fma N (+ N 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793667.254 * [misc]backup-simplify: Simplify (* (* (sqrt (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))) (sqrt (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1))))) (sqrt (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)))) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1539793667.254 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in (N) around 0 1539793667.254 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1539793667.254 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1539793667.254 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) in N 1539793667.254 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1539793667.254 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) into (atan2 1 (fma (/ 1 N) (+ (/ 1 N) 1) 1)) 1539793667.254 * [misc]backup-simplify: Simplify 0 into 0 1539793667.254 * [misc]backup-simplify: Simplify 0 into 0 1539793667.254 * [misc]backup-simplify: Simplify 0 into 0 1539793667.255 * [misc]backup-simplify: Simplify 0 into 0 1539793667.255 * [misc]backup-simplify: Simplify 0 into 0 1539793667.255 * [misc]backup-simplify: Simplify 0 into 0 1539793667.255 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793667.255 * [misc]backup-simplify: Simplify (* (* (sqrt (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)))) (sqrt (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1))))) (sqrt (atan2 1 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1) 1)))) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1539793667.255 * [misc]approximate: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in (N) around 0 1539793667.255 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1539793667.255 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1539793667.255 * [misc]taylor: Taking taylor expansion of (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) in N 1539793667.255 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1539793667.255 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) into (atan2 1 (fma (/ -1 N) (- 1 (/ 1 N)) 1)) 1539793667.256 * [misc]backup-simplify: Simplify 0 into 0 1539793667.256 * [misc]backup-simplify: Simplify 0 into 0 1539793667.256 * [misc]backup-simplify: Simplify 0 into 0 1539793667.256 * [misc]backup-simplify: Simplify 0 into 0 1539793667.256 * [misc]backup-simplify: Simplify 0 into 0 1539793667.256 * [misc]backup-simplify: Simplify 0 into 0 1539793667.256 * [misc]backup-simplify: Simplify (atan2 1 (fma (/ -1 (/ 1 (- N))) (- 1 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1 (fma N (+ N 1) 1)) 1539793667.256 * * * [misc]progress: simplifying candidates 1539793667.256 * * * * [misc]progress: [ 1 / 81 ] simplifiying candidate # 1539793667.256 * * * * [misc]progress: [ 2 / 81 ] simplifiying candidate # 1539793667.256 * * * * [misc]progress: [ 3 / 81 ] simplifiying candidate # 1539793667.256 * * * * [misc]progress: [ 4 / 81 ] simplifiying candidate # 1539793667.256 * * * * [misc]progress: [ 5 / 81 ] simplifiying candidate # 1539793667.256 * * * * [misc]progress: [ 6 / 81 ] simplifiying candidate # 1539793667.256 * * * * [misc]progress: [ 7 / 81 ] simplifiying candidate # 1539793667.256 * * * * [misc]progress: [ 8 / 81 ] simplifiying candidate # 1539793667.257 * * * * [misc]progress: [ 9 / 81 ] simplifiying candidate # 1539793667.257 * [enter]simplify: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1539793667.257 * * [misc]simplify: iters left: 6 (8 enodes) 1539793667.259 * * [misc]simplify: iters left: 5 (14 enodes) 1539793667.263 * * [misc]simplify: iters left: 4 (23 enodes) 1539793667.273 * * [misc]simplify: iters left: 3 (38 enodes) 1539793667.282 * * [misc]simplify: iters left: 2 (48 enodes) 1539793667.287 * * [misc]simplify: iters left: 1 (49 enodes) 1539793667.291 * [exit]simplify: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1539793667.291 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1))))))) 1539793667.291 * * * * [misc]progress: [ 10 / 81 ] simplifiying candidate # 1539793667.291 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793667.291 * * [misc]simplify: iters left: 6 (7 enodes) 1539793667.292 * * [misc]simplify: iters left: 5 (12 enodes) 1539793667.294 * * [misc]simplify: iters left: 4 (21 enodes) 1539793667.298 * * [misc]simplify: iters left: 3 (36 enodes) 1539793667.302 * * [misc]simplify: iters left: 2 (45 enodes) 1539793667.307 * * [misc]simplify: iters left: 1 (46 enodes) 1539793667.310 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793667.310 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) 1539793667.310 * * * * [misc]progress: [ 11 / 81 ] simplifiying candidate # 1539793667.311 * [enter]simplify: Simplifying (sqrt 1) 1539793667.311 * * [misc]simplify: iters left: 1 (2 enodes) 1539793667.312 * [exit]simplify: Simplified to 1 1539793667.312 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1539793667.312 * * * * [misc]progress: [ 12 / 81 ] simplifiying candidate # 1539793667.312 * * * * [misc]progress: [ 13 / 81 ] simplifiying candidate # 1539793667.312 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793667.312 * * [misc]simplify: iters left: 5 (6 enodes) 1539793667.313 * * [misc]simplify: iters left: 4 (11 enodes) 1539793667.314 * * [misc]simplify: iters left: 3 (20 enodes) 1539793667.323 * * [misc]simplify: iters left: 2 (35 enodes) 1539793667.330 * * [misc]simplify: iters left: 1 (41 enodes) 1539793667.338 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793667.338 * [misc]simplify: Simplified (2 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (fabs (sqrt (atan2 1 (+ 1 (fma N N N))))))) 1539793667.338 * * * * [misc]progress: [ 14 / 81 ] simplifiying candidate # 1539793667.338 * * * * [misc]progress: [ 15 / 81 ] simplifiying candidate # 1539793667.338 * * * * [misc]progress: [ 16 / 81 ] simplifiying candidate # 1539793667.338 * * * * [misc]progress: [ 17 / 81 ] simplifiying candidate # 1539793667.338 * * * * [misc]progress: [ 18 / 81 ] simplifiying candidate # 1539793667.338 * * * * [misc]progress: [ 19 / 81 ] simplifiying candidate # 1539793667.339 * * * * [misc]progress: [ 20 / 81 ] simplifiying candidate # 1539793667.339 * * * * [misc]progress: [ 21 / 81 ] simplifiying candidate # 1539793667.339 * * * * [misc]progress: [ 22 / 81 ] simplifiying candidate # 1539793667.339 * * * * [misc]progress: [ 23 / 81 ] simplifiying candidate # 1539793667.339 * [enter]simplify: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1539793667.339 * * [misc]simplify: iters left: 6 (8 enodes) 1539793667.341 * * [misc]simplify: iters left: 5 (14 enodes) 1539793667.345 * * [misc]simplify: iters left: 4 (23 enodes) 1539793667.355 * * [misc]simplify: iters left: 3 (38 enodes) 1539793667.364 * * [misc]simplify: iters left: 2 (48 enodes) 1539793667.372 * * [misc]simplify: iters left: 1 (49 enodes) 1539793667.375 * [exit]simplify: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1539793667.375 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1))))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793667.375 * * * * [misc]progress: [ 24 / 81 ] simplifiying candidate # 1539793667.375 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793667.375 * * [misc]simplify: iters left: 6 (7 enodes) 1539793667.376 * * [misc]simplify: iters left: 5 (12 enodes) 1539793667.378 * * [misc]simplify: iters left: 4 (21 enodes) 1539793667.383 * * [misc]simplify: iters left: 3 (36 enodes) 1539793667.387 * * [misc]simplify: iters left: 2 (45 enodes) 1539793667.391 * * [misc]simplify: iters left: 1 (46 enodes) 1539793667.394 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793667.394 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793667.394 * * * * [misc]progress: [ 25 / 81 ] simplifiying candidate # 1539793667.394 * [enter]simplify: Simplifying (sqrt 1) 1539793667.394 * * [misc]simplify: iters left: 1 (2 enodes) 1539793667.395 * [exit]simplify: Simplified to 1 1539793667.395 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793667.395 * * * * [misc]progress: [ 26 / 81 ] simplifiying candidate # 1539793667.395 * * * * [misc]progress: [ 27 / 81 ] simplifiying candidate # 1539793667.395 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793667.395 * * [misc]simplify: iters left: 5 (6 enodes) 1539793667.396 * * [misc]simplify: iters left: 4 (11 enodes) 1539793667.398 * * [misc]simplify: iters left: 3 (20 enodes) 1539793667.405 * * [misc]simplify: iters left: 2 (35 enodes) 1539793667.413 * * [misc]simplify: iters left: 1 (41 enodes) 1539793667.421 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793667.421 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (fabs (sqrt (atan2 1 (+ 1 (fma N N N))))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793667.421 * * * * [misc]progress: [ 28 / 81 ] simplifiying candidate # 1539793667.421 * * * * [misc]progress: [ 29 / 81 ] simplifiying candidate # 1539793667.421 * * * * [misc]progress: [ 30 / 81 ] simplifiying candidate # 1539793667.421 * * * * [misc]progress: [ 31 / 81 ] simplifiying candidate # 1539793667.422 * * * * [misc]progress: [ 32 / 81 ] simplifiying candidate # 1539793667.422 * * * * [misc]progress: [ 33 / 81 ] simplifiying candidate # 1539793667.422 * * * * [misc]progress: [ 34 / 81 ] simplifiying candidate # 1539793667.422 * * * * [misc]progress: [ 35 / 81 ] simplifiying candidate # 1539793667.422 * * * * [misc]progress: [ 36 / 81 ] simplifiying candidate # 1539793667.422 * * * * [misc]progress: [ 37 / 81 ] simplifiying candidate # 1539793667.422 * [enter]simplify: Simplifying (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1))))) 1539793667.422 * * [misc]simplify: iters left: 6 (8 enodes) 1539793667.425 * * [misc]simplify: iters left: 5 (14 enodes) 1539793667.428 * * [misc]simplify: iters left: 4 (23 enodes) 1539793667.438 * * [misc]simplify: iters left: 3 (38 enodes) 1539793667.447 * * [misc]simplify: iters left: 2 (48 enodes) 1539793667.455 * * [misc]simplify: iters left: 1 (49 enodes) 1539793667.462 * [exit]simplify: Simplified to (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) 1539793667.462 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (N) (* (* (sqrt (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793667.462 * * * * [misc]progress: [ 38 / 81 ] simplifiying candidate # 1539793667.462 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793667.462 * * [misc]simplify: iters left: 6 (7 enodes) 1539793667.464 * * [misc]simplify: iters left: 5 (12 enodes) 1539793667.467 * * [misc]simplify: iters left: 4 (21 enodes) 1539793667.477 * * [misc]simplify: iters left: 3 (36 enodes) 1539793667.485 * * [misc]simplify: iters left: 2 (45 enodes) 1539793667.493 * * [misc]simplify: iters left: 1 (46 enodes) 1539793667.500 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793667.500 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (N) (* (* (sqrt (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793667.500 * * * * [misc]progress: [ 39 / 81 ] simplifiying candidate # 1539793667.500 * [enter]simplify: Simplifying (sqrt 1) 1539793667.500 * * [misc]simplify: iters left: 1 (2 enodes) 1539793667.501 * [exit]simplify: Simplified to 1 1539793667.501 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (N) (* (* (sqrt (* 1 (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793667.501 * * * * [misc]progress: [ 40 / 81 ] simplifiying candidate # 1539793667.502 * * * * [misc]progress: [ 41 / 81 ] simplifiying candidate # 1539793667.502 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793667.502 * * [misc]simplify: iters left: 5 (6 enodes) 1539793667.504 * * [misc]simplify: iters left: 4 (11 enodes) 1539793667.507 * * [misc]simplify: iters left: 3 (20 enodes) 1539793667.516 * * [misc]simplify: iters left: 2 (35 enodes) 1539793667.524 * * [misc]simplify: iters left: 1 (41 enodes) 1539793667.532 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793667.532 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (N) (* (* (sqrt (fabs (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793667.532 * * * * [misc]progress: [ 42 / 81 ] simplifiying candidate # 1539793667.532 * * * * [misc]progress: [ 43 / 81 ] simplifiying candidate # 1539793667.532 * * * * [misc]progress: [ 44 / 81 ] simplifiying candidate # 1539793667.532 * * * * [misc]progress: [ 45 / 81 ] simplifiying candidate # 1539793667.532 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793667.533 * * [misc]simplify: iters left: 5 (6 enodes) 1539793667.534 * * [misc]simplify: iters left: 4 (11 enodes) 1539793667.537 * * [misc]simplify: iters left: 3 (20 enodes) 1539793667.547 * * [misc]simplify: iters left: 2 (35 enodes) 1539793667.555 * * [misc]simplify: iters left: 1 (41 enodes) 1539793667.564 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793667.564 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ 1 (fma N N N)))) (+ (+ 1/2 1/2) 1))) 1539793667.564 * [enter]simplify: Simplifying (+ (+ 1/2 1/2) 1) 1539793667.564 * * [misc]simplify: iters left: 4 (4 enodes) 1539793667.566 * * [misc]simplify: iters left: 3 (11 enodes) 1539793667.567 * [exit]simplify: Simplified to 2 1539793667.567 * [misc]simplify: Simplified (2 2) to (λ (N) (pow (sqrt (atan2 1 (fma N (+ N 1) 1))) 2)) 1539793667.567 * * * * [misc]progress: [ 46 / 81 ] simplifiying candidate # 1539793667.567 * [enter]simplify: Simplifying (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (atan2 1 (fma N (+ N 1) 1))) 1539793667.567 * * [misc]simplify: iters left: 6 (8 enodes) 1539793667.568 * * [misc]simplify: iters left: 5 (16 enodes) 1539793667.571 * * [misc]simplify: iters left: 4 (30 enodes) 1539793667.577 * * [misc]simplify: iters left: 3 (48 enodes) 1539793667.583 * * [misc]simplify: iters left: 2 (58 enodes) 1539793667.588 * * [misc]simplify: iters left: 1 (59 enodes) 1539793667.592 * [exit]simplify: Simplified to (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1539793667.592 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1/2)) 1539793667.592 * * * * [misc]progress: [ 47 / 81 ] simplifiying candidate # 1539793667.593 * [enter]simplify: Simplifying (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793667.593 * * [misc]simplify: iters left: 6 (9 enodes) 1539793667.596 * * [misc]simplify: iters left: 5 (17 enodes) 1539793667.601 * * [misc]simplify: iters left: 4 (31 enodes) 1539793667.613 * * [misc]simplify: iters left: 3 (50 enodes) 1539793667.618 * * [misc]simplify: iters left: 2 (60 enodes) 1539793667.623 * * [misc]simplify: iters left: 1 (61 enodes) 1539793667.628 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1539793667.628 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) 1)) 1539793667.628 * * * * [misc]progress: [ 48 / 81 ] simplifiying candidate # 1539793667.628 * [enter]simplify: Simplifying (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793667.628 * * [misc]simplify: iters left: 6 (9 enodes) 1539793667.629 * * [misc]simplify: iters left: 5 (17 enodes) 1539793667.632 * * [misc]simplify: iters left: 4 (31 enodes) 1539793667.638 * * [misc]simplify: iters left: 3 (50 enodes) 1539793667.644 * * [misc]simplify: iters left: 2 (60 enodes) 1539793667.650 * * [misc]simplify: iters left: 1 (61 enodes) 1539793667.654 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1539793667.654 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (atan2 1 (fma N (+ N 1) 1)) 1)) 1539793667.655 * * * * [misc]progress: [ 49 / 81 ] simplifiying candidate # 1539793667.655 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793667.655 * * [misc]simplify: iters left: 5 (6 enodes) 1539793667.656 * * [misc]simplify: iters left: 4 (11 enodes) 1539793667.657 * * [misc]simplify: iters left: 3 (20 enodes) 1539793667.662 * * [misc]simplify: iters left: 2 (35 enodes) 1539793667.666 * * [misc]simplify: iters left: 1 (41 enodes) 1539793667.670 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793667.670 * [misc]simplify: Simplified (2 1) to (λ (N) (pow (sqrt (atan2 1 (+ 1 (fma N N N)))) (+ (+ 1/2 1/2) 1))) 1539793667.670 * * * * [misc]progress: [ 50 / 81 ] simplifiying candidate # 1539793667.670 * * * * [misc]progress: [ 51 / 81 ] simplifiying candidate # 1539793667.670 * [enter]simplify: Simplifying (+ (+ (log (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (log (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (log (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793667.670 * * [misc]simplify: iters left: 6 (11 enodes) 1539793667.672 * * [misc]simplify: iters left: 5 (19 enodes) 1539793667.674 * * [misc]simplify: iters left: 4 (30 enodes) 1539793667.680 * * [misc]simplify: iters left: 3 (46 enodes) 1539793667.686 * * [misc]simplify: iters left: 2 (56 enodes) 1539793667.695 * * [misc]simplify: iters left: 1 (57 enodes) 1539793667.704 * [exit]simplify: Simplified to (+ (+ (log (sqrt (atan2 1 (+ 1 (fma N N N))))) (log (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))))) (log (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))))) 1539793667.704 * [misc]simplify: Simplified (2 1) to (λ (N) (exp (+ (+ (log (sqrt (atan2 1 (+ 1 (fma N N N))))) (log (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))))) (log (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))))))) 1539793667.704 * * * * [misc]progress: [ 52 / 81 ] simplifiying candidate # 1539793667.705 * [enter]simplify: Simplifying (+ (log (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (log (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793667.705 * * [misc]simplify: iters left: 6 (11 enodes) 1539793667.708 * * [misc]simplify: iters left: 5 (19 enodes) 1539793667.713 * * [misc]simplify: iters left: 4 (35 enodes) 1539793667.721 * * [misc]simplify: iters left: 3 (50 enodes) 1539793667.726 * * [misc]simplify: iters left: 2 (58 enodes) 1539793667.731 * * [misc]simplify: iters left: 1 (59 enodes) 1539793667.737 * [exit]simplify: Simplified to (+ (log (sqrt (atan2 1 (+ 1 (fma N N N))))) (log (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1539793667.737 * [misc]simplify: Simplified (2 1) to (λ (N) (exp (+ (log (sqrt (atan2 1 (+ 1 (fma N N N))))) (log (sqrt (atan2 1 (+ 1 (fma N N N)))))))) 1539793667.737 * * * * [misc]progress: [ 53 / 81 ] simplifiying candidate # 1539793667.737 * * * * [misc]progress: [ 54 / 81 ] simplifiying candidate # 1539793667.737 * * * * [misc]progress: [ 55 / 81 ] simplifiying candidate # 1539793667.737 * [enter]simplify: Simplifying (* (* (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793667.737 * * [misc]simplify: iters left: 6 (13 enodes) 1539793667.740 * * [misc]simplify: iters left: 5 (32 enodes) 1539793667.746 * * [misc]simplify: iters left: 4 (77 enodes) 1539793667.780 * * [misc]simplify: iters left: 3 (142 enodes) 1539793667.831 * * [misc]simplify: iters left: 2 (162 enodes) 1539793667.874 * * [misc]simplify: iters left: 1 (167 enodes) 1539793667.897 * [exit]simplify: Simplified to (pow (atan2 1 (fma N (+ N 1) 1)) 3) 1539793667.897 * [misc]simplify: Simplified (2 1) to (λ (N) (cbrt (pow (atan2 1 (fma N (+ N 1) 1)) 3))) 1539793667.897 * * * * [misc]progress: [ 56 / 81 ] simplifiying candidate # 1539793667.897 * [enter]simplify: Simplifying (* (* (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793667.898 * * [misc]simplify: iters left: 6 (13 enodes) 1539793667.903 * * [misc]simplify: iters left: 5 (33 enodes) 1539793667.913 * * [misc]simplify: iters left: 4 (76 enodes) 1539793667.946 * * [misc]simplify: iters left: 3 (150 enodes) 1539793667.997 * * [misc]simplify: iters left: 2 (188 enodes) 1539793668.042 * * [misc]simplify: iters left: 1 (198 enodes) 1539793668.076 * [exit]simplify: Simplified to (pow (atan2 1 (fma N (+ N 1) 1)) 3) 1539793668.077 * [misc]simplify: Simplified (2 1) to (λ (N) (cbrt (pow (atan2 1 (fma N (+ N 1) 1)) 3))) 1539793668.077 * * * * [misc]progress: [ 57 / 81 ] simplifiying candidate # 1539793668.077 * * * * [misc]progress: [ 58 / 81 ] simplifiying candidate # 1539793668.077 * * * * [misc]progress: [ 59 / 81 ] simplifiying candidate # 1539793668.077 * [enter]simplify: Simplifying (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (atan2 1 (fma N (+ N 1) 1))) 1539793668.077 * * [misc]simplify: iters left: 6 (8 enodes) 1539793668.080 * * [misc]simplify: iters left: 5 (16 enodes) 1539793668.084 * * [misc]simplify: iters left: 4 (30 enodes) 1539793668.096 * * [misc]simplify: iters left: 3 (48 enodes) 1539793668.107 * * [misc]simplify: iters left: 2 (58 enodes) 1539793668.117 * * [misc]simplify: iters left: 1 (59 enodes) 1539793668.127 * [exit]simplify: Simplified to (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) 1539793668.127 * [misc]simplify: Simplified (2 1) to (λ (N) (sqrt (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))))) 1539793668.127 * * * * [misc]progress: [ 60 / 81 ] simplifiying candidate # 1539793668.127 * * * * [misc]progress: [ 61 / 81 ] simplifiying candidate # 1539793668.127 * * * * [misc]progress: [ 62 / 81 ] simplifiying candidate # 1539793668.127 * [enter]simplify: Simplifying (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793668.127 * * [misc]simplify: iters left: 6 (7 enodes) 1539793668.129 * * [misc]simplify: iters left: 5 (12 enodes) 1539793668.132 * * [misc]simplify: iters left: 4 (21 enodes) 1539793668.137 * * [misc]simplify: iters left: 3 (36 enodes) 1539793668.141 * * [misc]simplify: iters left: 2 (45 enodes) 1539793668.145 * * [misc]simplify: iters left: 1 (46 enodes) 1539793668.148 * [exit]simplify: Simplified to (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793668.148 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1539793668.148 * * * * [misc]progress: [ 63 / 81 ] simplifiying candidate # 1539793668.148 * [enter]simplify: Simplifying (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))) 1539793668.148 * * [misc]simplify: iters left: 6 (7 enodes) 1539793668.149 * * [misc]simplify: iters left: 5 (12 enodes) 1539793668.151 * * [misc]simplify: iters left: 4 (21 enodes) 1539793668.156 * * [misc]simplify: iters left: 3 (36 enodes) 1539793668.160 * * [misc]simplify: iters left: 2 (45 enodes) 1539793668.165 * * [misc]simplify: iters left: 1 (46 enodes) 1539793668.171 * [exit]simplify: Simplified to (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))) 1539793668.171 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))) (sqrt (cbrt (atan2 1 (fma N (+ N 1) 1)))))) 1539793668.171 * * * * [misc]progress: [ 64 / 81 ] simplifiying candidate # 1539793668.172 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793668.172 * * [misc]simplify: iters left: 6 (7 enodes) 1539793668.174 * * [misc]simplify: iters left: 5 (12 enodes) 1539793668.177 * * [misc]simplify: iters left: 4 (21 enodes) 1539793668.187 * * [misc]simplify: iters left: 3 (36 enodes) 1539793668.196 * * [misc]simplify: iters left: 2 (45 enodes) 1539793668.205 * * [misc]simplify: iters left: 1 (46 enodes) 1539793668.211 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793668.211 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1539793668.211 * * * * [misc]progress: [ 65 / 81 ] simplifiying candidate # 1539793668.212 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793668.212 * * [misc]simplify: iters left: 5 (6 enodes) 1539793668.214 * * [misc]simplify: iters left: 4 (11 enodes) 1539793668.217 * * [misc]simplify: iters left: 3 (20 enodes) 1539793668.226 * * [misc]simplify: iters left: 2 (35 enodes) 1539793668.234 * * [misc]simplify: iters left: 1 (41 enodes) 1539793668.242 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793668.242 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt 1)) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1539793668.242 * * * * [misc]progress: [ 66 / 81 ] simplifiying candidate # 1539793668.242 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793668.243 * * [misc]simplify: iters left: 6 (7 enodes) 1539793668.244 * * [misc]simplify: iters left: 5 (12 enodes) 1539793668.248 * * [misc]simplify: iters left: 4 (21 enodes) 1539793668.256 * * [misc]simplify: iters left: 3 (36 enodes) 1539793668.260 * * [misc]simplify: iters left: 2 (45 enodes) 1539793668.264 * * [misc]simplify: iters left: 1 (46 enodes) 1539793668.267 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793668.267 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1539793668.267 * * * * [misc]progress: [ 67 / 81 ] simplifiying candidate # 1539793668.267 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793668.268 * * [misc]simplify: iters left: 5 (6 enodes) 1539793668.268 * * [misc]simplify: iters left: 4 (11 enodes) 1539793668.270 * * [misc]simplify: iters left: 3 (20 enodes) 1539793668.275 * * [misc]simplify: iters left: 2 (35 enodes) 1539793668.278 * * [misc]simplify: iters left: 1 (41 enodes) 1539793668.282 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793668.282 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1539793668.282 * * * * [misc]progress: [ 68 / 81 ] simplifiying candidate # 1539793668.282 * [enter]simplify: Simplifying (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793668.282 * * [misc]simplify: iters left: 6 (7 enodes) 1539793668.283 * * [misc]simplify: iters left: 5 (12 enodes) 1539793668.286 * * [misc]simplify: iters left: 4 (21 enodes) 1539793668.296 * * [misc]simplify: iters left: 3 (36 enodes) 1539793668.304 * * [misc]simplify: iters left: 2 (45 enodes) 1539793668.312 * * [misc]simplify: iters left: 1 (46 enodes) 1539793668.318 * [exit]simplify: Simplified to (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) 1539793668.318 * [misc]simplify: Simplified (2 1) to (λ (N) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))) 1539793668.318 * * * * [misc]progress: [ 69 / 81 ] simplifiying candidate # 1539793668.318 * * * * [misc]progress: [ 70 / 81 ] simplifiying candidate # 1539793668.318 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793668.319 * * [misc]simplify: iters left: 5 (6 enodes) 1539793668.320 * * [misc]simplify: iters left: 4 (11 enodes) 1539793668.323 * * [misc]simplify: iters left: 3 (20 enodes) 1539793668.332 * * [misc]simplify: iters left: 2 (35 enodes) 1539793668.340 * * [misc]simplify: iters left: 1 (41 enodes) 1539793668.347 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793668.348 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1539793668.348 * * * * [misc]progress: [ 71 / 81 ] simplifiying candidate # 1539793668.348 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793668.348 * * [misc]simplify: iters left: 5 (6 enodes) 1539793668.349 * * [misc]simplify: iters left: 4 (11 enodes) 1539793668.350 * * [misc]simplify: iters left: 3 (20 enodes) 1539793668.355 * * [misc]simplify: iters left: 2 (35 enodes) 1539793668.359 * * [misc]simplify: iters left: 1 (41 enodes) 1539793668.362 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793668.362 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1539793668.362 * * * * [misc]progress: [ 72 / 81 ] simplifiying candidate # 1539793668.363 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793668.363 * * [misc]simplify: iters left: 5 (6 enodes) 1539793668.363 * * [misc]simplify: iters left: 4 (11 enodes) 1539793668.365 * * [misc]simplify: iters left: 3 (20 enodes) 1539793668.370 * * [misc]simplify: iters left: 2 (35 enodes) 1539793668.374 * * [misc]simplify: iters left: 1 (41 enodes) 1539793668.379 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793668.379 * [misc]simplify: Simplified (2 2) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (+ 1 (fma N N N)))))) 1539793668.379 * * * * [misc]progress: [ 73 / 81 ] simplifiying candidate # 1539793668.380 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793668.380 * * [misc]simplify: iters left: 5 (6 enodes) 1539793668.382 * * [misc]simplify: iters left: 4 (11 enodes) 1539793668.384 * * [misc]simplify: iters left: 3 (20 enodes) 1539793668.394 * * [misc]simplify: iters left: 2 (35 enodes) 1539793668.401 * * [misc]simplify: iters left: 1 (41 enodes) 1539793668.408 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793668.408 * [misc]simplify: Simplified (2 1 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793668.409 * * * * [misc]progress: [ 74 / 81 ] simplifiying candidate # 1539793668.409 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793668.409 * * [misc]simplify: iters left: 5 (6 enodes) 1539793668.411 * * [misc]simplify: iters left: 4 (11 enodes) 1539793668.414 * * [misc]simplify: iters left: 3 (20 enodes) 1539793668.424 * * [misc]simplify: iters left: 2 (35 enodes) 1539793668.432 * * [misc]simplify: iters left: 1 (41 enodes) 1539793668.440 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793668.440 * [misc]simplify: Simplified (2 1 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793668.440 * * * * [misc]progress: [ 75 / 81 ] simplifiying candidate # 1539793668.440 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793668.440 * * [misc]simplify: iters left: 5 (6 enodes) 1539793668.442 * * [misc]simplify: iters left: 4 (11 enodes) 1539793668.445 * * [misc]simplify: iters left: 3 (20 enodes) 1539793668.455 * * [misc]simplify: iters left: 2 (35 enodes) 1539793668.464 * * [misc]simplify: iters left: 1 (41 enodes) 1539793668.472 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793668.472 * [misc]simplify: Simplified (2 1 2 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793668.472 * * * * [misc]progress: [ 76 / 81 ] simplifiying candidate # 1539793668.473 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793668.473 * * [misc]simplify: iters left: 5 (6 enodes) 1539793668.474 * * [misc]simplify: iters left: 4 (11 enodes) 1539793668.478 * * [misc]simplify: iters left: 3 (20 enodes) 1539793668.487 * * [misc]simplify: iters left: 2 (35 enodes) 1539793668.495 * * [misc]simplify: iters left: 1 (41 enodes) 1539793668.503 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793668.503 * [misc]simplify: Simplified (2 1 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793668.503 * * * * [misc]progress: [ 77 / 81 ] simplifiying candidate # 1539793668.503 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793668.504 * * [misc]simplify: iters left: 5 (6 enodes) 1539793668.505 * * [misc]simplify: iters left: 4 (11 enodes) 1539793668.508 * * [misc]simplify: iters left: 3 (20 enodes) 1539793668.519 * * [misc]simplify: iters left: 2 (35 enodes) 1539793668.523 * * [misc]simplify: iters left: 1 (41 enodes) 1539793668.527 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793668.527 * [misc]simplify: Simplified (2 1 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793668.527 * * * * [misc]progress: [ 78 / 81 ] simplifiying candidate # 1539793668.527 * [enter]simplify: Simplifying (sqrt (atan2 1 (fma N (+ N 1) 1))) 1539793668.527 * * [misc]simplify: iters left: 5 (6 enodes) 1539793668.528 * * [misc]simplify: iters left: 4 (11 enodes) 1539793668.529 * * [misc]simplify: iters left: 3 (20 enodes) 1539793668.534 * * [misc]simplify: iters left: 2 (35 enodes) 1539793668.538 * * [misc]simplify: iters left: 1 (41 enodes) 1539793668.542 * [exit]simplify: Simplified to (sqrt (atan2 1 (+ 1 (fma N N N)))) 1539793668.542 * [misc]simplify: Simplified (2 1 1 1) to (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))) 1539793668.542 * * * * [misc]progress: [ 79 / 81 ] simplifiying candidate # 1539793668.542 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1539793668.542 * * [misc]simplify: iters left: 4 (5 enodes) 1539793668.543 * * [misc]simplify: iters left: 3 (10 enodes) 1539793668.544 * * [misc]simplify: iters left: 2 (19 enodes) 1539793668.549 * * [misc]simplify: iters left: 1 (34 enodes) 1539793668.553 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1539793668.553 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1539793668.553 * * * * [misc]progress: [ 80 / 81 ] simplifiying candidate # 1539793668.553 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1539793668.553 * * [misc]simplify: iters left: 4 (5 enodes) 1539793668.554 * * [misc]simplify: iters left: 3 (10 enodes) 1539793668.555 * * [misc]simplify: iters left: 2 (19 enodes) 1539793668.560 * * [misc]simplify: iters left: 1 (34 enodes) 1539793668.565 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1539793668.565 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1539793668.565 * * * * [misc]progress: [ 81 / 81 ] simplifiying candidate # 1539793668.565 * [enter]simplify: Simplifying (atan2 1 (fma N (+ N 1) 1)) 1539793668.565 * * [misc]simplify: iters left: 4 (5 enodes) 1539793668.566 * * [misc]simplify: iters left: 3 (10 enodes) 1539793668.567 * * [misc]simplify: iters left: 2 (19 enodes) 1539793668.572 * * [misc]simplify: iters left: 1 (34 enodes) 1539793668.575 * [exit]simplify: Simplified to (atan2 1 (fma N (+ N 1) 1)) 1539793668.575 * [misc]simplify: Simplified (2) to (λ (N) (atan2 1 (fma N (+ N 1) 1))) 1539793668.576 * * * [misc]progress: adding candidates to table 1539793669.302 * [misc]progress: [Phase 3 of 3] Extracting. 1539793669.302 * * [misc]regime: Finding splitpoints for: (# # # # # #) 1539793669.303 * * * [misc]regime-changes: Trying 2 branch expressions: (N (- (atan (+ N 1)) (atan N))) 1539793669.303 * * * * [misc]regimes: Trying to branch on N from (# # # # # #) 1539793669.347 * * * * [misc]regimes: Trying to branch on (- (atan (+ N 1)) (atan N)) from (# # # # # #) 1539793669.388 * * * [misc]regime: Found split indices: #