1552120352.884 * [progress]: [Phase 1 of 3] Setting up. 1552120352.884 * * * [progress]: [1/2] Preparing points 1552120352.884 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1552120352.885 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1552120352.887 * * * * [points]: Setting MPFR precision to 64 1552120352.889 * * * * [points]: Setting MPFR precision to 320 1552120352.890 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1552120352.892 * * * * [points]: Setting MPFR precision to 64 1552120352.893 * * * * [points]: Setting MPFR precision to 320 1552120352.895 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1552120352.897 * * * * [points]: Setting MPFR precision to 64 1552120352.899 * * * * [points]: Setting MPFR precision to 320 1552120352.903 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1552120352.906 * * * * [points]: Setting MPFR precision to 64 1552120352.911 * * * * [points]: Setting MPFR precision to 320 1552120352.917 * * * * [points]: Computing exacts for 256 points 1552120352.920 * * * * [points]: Setting MPFR precision to 64 1552120352.934 * * * * [points]: Setting MPFR precision to 320 1552120352.960 * * * * [points]: Filtering points with unrepresentable outputs 1552120352.961 * * * * [points]: Sampling 134 additional inputs, on iter 1 have 122 / 256 1552120352.961 * * * * [points]: Computing exacts on every 8 of 134 points to ramp up precision 1552120352.964 * * * * [points]: Setting MPFR precision to 64 1552120352.964 * * * * [points]: Setting MPFR precision to 320 1552120352.965 * * * * [points]: Computing exacts on every 4 of 134 points to ramp up precision 1552120352.967 * * * * [points]: Setting MPFR precision to 64 1552120352.968 * * * * [points]: Setting MPFR precision to 320 1552120352.969 * * * * [points]: Computing exacts on every 2 of 134 points to ramp up precision 1552120352.971 * * * * [points]: Setting MPFR precision to 64 1552120352.973 * * * * [points]: Setting MPFR precision to 320 1552120352.975 * * * * [points]: Computing exacts for 134 points 1552120352.977 * * * * [points]: Setting MPFR precision to 64 1552120352.982 * * * * [points]: Setting MPFR precision to 320 1552120352.988 * * * * [points]: Filtering points with unrepresentable outputs 1552120352.988 * * * * [points]: Sampling 71 additional inputs, on iter 2 have 185 / 256 1552120352.988 * * * * [points]: Computing exacts on every 4 of 71 points to ramp up precision 1552120352.991 * * * * [points]: Setting MPFR precision to 64 1552120352.991 * * * * [points]: Setting MPFR precision to 320 1552120352.992 * * * * [points]: Computing exacts on every 2 of 71 points to ramp up precision 1552120352.994 * * * * [points]: Setting MPFR precision to 64 1552120352.995 * * * * [points]: Setting MPFR precision to 320 1552120352.996 * * * * [points]: Computing exacts for 71 points 1552120352.998 * * * * [points]: Setting MPFR precision to 64 1552120353.001 * * * * [points]: Setting MPFR precision to 320 1552120353.006 * * * * [points]: Filtering points with unrepresentable outputs 1552120353.006 * * * * [points]: Sampling 27 additional inputs, on iter 3 have 229 / 256 1552120353.007 * * * * [points]: Computing exacts for 27 points 1552120353.010 * * * * [points]: Setting MPFR precision to 64 1552120353.012 * * * * [points]: Setting MPFR precision to 320 1552120353.014 * * * * [points]: Filtering points with unrepresentable outputs 1552120353.014 * * * * [points]: Sampling 11 additional inputs, on iter 4 have 245 / 256 1552120353.014 * * * * [points]: Computing exacts for 11 points 1552120353.017 * * * * [points]: Setting MPFR precision to 64 1552120353.018 * * * * [points]: Setting MPFR precision to 320 1552120353.019 * * * * [points]: Filtering points with unrepresentable outputs 1552120353.019 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 253 / 256 1552120353.019 * * * * [points]: Computing exacts for 4 points 1552120353.022 * * * * [points]: Setting MPFR precision to 64 1552120353.022 * * * * [points]: Setting MPFR precision to 320 1552120353.023 * * * * [points]: Filtering points with unrepresentable outputs 1552120353.023 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 255 / 256 1552120353.023 * * * * [points]: Computing exacts for 4 points 1552120353.026 * * * * [points]: Setting MPFR precision to 64 1552120353.026 * * * * [points]: Setting MPFR precision to 320 1552120353.027 * * * * [points]: Filtering points with unrepresentable outputs 1552120353.027 * * * * [points]: Sampled 257 points with exact outputs 1552120353.027 * * * [progress]: [2/2] Setting up program. 1552120353.032 * [progress]: [Phase 2 of 3] Improving. 1552120353.032 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1552120353.032 * [simplify]: Simplifying (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))) 1552120353.033 * * [simplify]: iters left: 6 (16 enodes) 1552120353.038 * * [simplify]: iters left: 5 (58 enodes) 1552120353.051 * * [simplify]: iters left: 4 (88 enodes) 1552120353.093 * * [simplify]: iters left: 3 (132 enodes) 1552120353.123 * * [simplify]: iters left: 2 (194 enodes) 1552120353.161 * * [simplify]: iters left: 1 (263 enodes) 1552120353.221 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120353.221 * * [simplify]: Extracting #1: cost 12 inf + 0 1552120353.221 * * [simplify]: Extracting #2: cost 23 inf + 2 1552120353.222 * * [simplify]: Extracting #3: cost 45 inf + 64 1552120353.222 * * [simplify]: Extracting #4: cost 83 inf + 462 1552120353.224 * * [simplify]: Extracting #5: cost 49 inf + 8524 1552120353.228 * * [simplify]: Extracting #6: cost 4 inf + 15962 1552120353.231 * * [simplify]: Extracting #7: cost 0 inf + 16990 1552120353.235 * * [simplify]: Extracting #8: cost 0 inf + 16950 1552120353.240 * [simplify]: Simplified to (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2) 1552120353.240 * [simplify]: Simplified (2) to (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)) 1552120353.248 * * [progress]: iteration 1 / 4 1552120353.248 * * * [progress]: picking best candidate 1552120353.253 * * * * [pick]: Picked # 1552120353.253 * * * [progress]: localizing error 1552120353.308 * * * [progress]: generating rewritten candidates 1552120353.308 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2 1 1) 1552120353.316 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 1552120353.334 * * * [progress]: generating series expansions 1552120353.334 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2 1 1) 1552120353.334 * [backup-simplify]: Simplify (- (exp x) (exp (- x))) into (- (exp x) (exp (- x))) 1552120353.334 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0 1552120353.334 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 1552120353.334 * [taylor]: Taking taylor expansion of (exp x) in x 1552120353.334 * [taylor]: Taking taylor expansion of x in x 1552120353.334 * [backup-simplify]: Simplify 0 into 0 1552120353.334 * [backup-simplify]: Simplify 1 into 1 1552120353.334 * [backup-simplify]: Simplify (exp 0) into 1 1552120353.334 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1552120353.334 * [taylor]: Taking taylor expansion of (- x) in x 1552120353.334 * [taylor]: Taking taylor expansion of x in x 1552120353.334 * [backup-simplify]: Simplify 0 into 0 1552120353.334 * [backup-simplify]: Simplify 1 into 1 1552120353.334 * [backup-simplify]: Simplify (- 0) into 0 1552120353.335 * [backup-simplify]: Simplify (- 1) into -1 1552120353.335 * [backup-simplify]: Simplify (exp 0) into 1 1552120353.335 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 1552120353.335 * [taylor]: Taking taylor expansion of (exp x) in x 1552120353.335 * [taylor]: Taking taylor expansion of x in x 1552120353.335 * [backup-simplify]: Simplify 0 into 0 1552120353.335 * [backup-simplify]: Simplify 1 into 1 1552120353.335 * [backup-simplify]: Simplify (exp 0) into 1 1552120353.335 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1552120353.335 * [taylor]: Taking taylor expansion of (- x) in x 1552120353.335 * [taylor]: Taking taylor expansion of x in x 1552120353.335 * [backup-simplify]: Simplify 0 into 0 1552120353.335 * [backup-simplify]: Simplify 1 into 1 1552120353.335 * [backup-simplify]: Simplify (- 0) into 0 1552120353.335 * [backup-simplify]: Simplify (- 1) into -1 1552120353.335 * [backup-simplify]: Simplify (exp 0) into 1 1552120353.336 * [backup-simplify]: Simplify (- 1) into -1 1552120353.336 * [backup-simplify]: Simplify (+ 1 -1) into 0 1552120353.336 * [backup-simplify]: Simplify 0 into 0 1552120353.337 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1552120353.337 * [backup-simplify]: Simplify (- 1) into -1 1552120353.338 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1552120353.338 * [backup-simplify]: Simplify (- -1) into 1 1552120353.338 * [backup-simplify]: Simplify (+ 1 1) into 2 1552120353.338 * [backup-simplify]: Simplify 2 into 2 1552120353.339 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1552120353.339 * [backup-simplify]: Simplify (- 1) into -1 1552120353.340 * [backup-simplify]: Simplify (- 0) into 0 1552120353.341 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1552120353.341 * [backup-simplify]: Simplify (- 1/2) into -1/2 1552120353.341 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 1552120353.341 * [backup-simplify]: Simplify 0 into 0 1552120353.342 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1552120353.343 * [backup-simplify]: Simplify (- 1) into -1 1552120353.343 * [backup-simplify]: Simplify (- 1) into -1 1552120353.343 * [backup-simplify]: Simplify (- 0) into 0 1552120353.344 * [backup-simplify]: Simplify (- 0) into 0 1552120353.346 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1552120353.346 * [backup-simplify]: Simplify (- -1/6) into 1/6 1552120353.346 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 1552120353.346 * [backup-simplify]: Simplify 1/3 into 1/3 1552120353.349 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1552120353.350 * [backup-simplify]: Simplify (- 1) into -1 1552120353.350 * [backup-simplify]: Simplify (- 1) into -1 1552120353.350 * [backup-simplify]: Simplify (- 0) into 0 1552120353.351 * [backup-simplify]: Simplify (- 1) into -1 1552120353.351 * [backup-simplify]: Simplify (- 0) into 0 1552120353.351 * [backup-simplify]: Simplify (- 0) into 0 1552120353.351 * [backup-simplify]: Simplify (- 0) into 0 1552120353.355 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1552120353.355 * [backup-simplify]: Simplify (- 1/24) into -1/24 1552120353.355 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 1552120353.355 * [backup-simplify]: Simplify 0 into 0 1552120353.360 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 1552120353.360 * [backup-simplify]: Simplify (- 1) into -1 1552120353.360 * [backup-simplify]: Simplify (- 1) into -1 1552120353.361 * [backup-simplify]: Simplify (- 0) into 0 1552120353.361 * [backup-simplify]: Simplify (- 1) into -1 1552120353.361 * [backup-simplify]: Simplify (- 0) into 0 1552120353.362 * [backup-simplify]: Simplify (- 1) into -1 1552120353.362 * [backup-simplify]: Simplify (- 0) into 0 1552120353.362 * [backup-simplify]: Simplify (- 1) into -1 1552120353.363 * [backup-simplify]: Simplify (- 0) into 0 1552120353.363 * [backup-simplify]: Simplify (- 0) into 0 1552120353.363 * [backup-simplify]: Simplify (- 0) into 0 1552120353.363 * [backup-simplify]: Simplify (- 0) into 0 1552120353.368 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 1552120353.369 * [backup-simplify]: Simplify (- -1/120) into 1/120 1552120353.369 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 1552120353.369 * [backup-simplify]: Simplify 1/60 into 1/60 1552120353.369 * [backup-simplify]: Simplify (+ (* 1/60 (pow x 5)) (+ (* 1/3 (pow x 3)) (* 2 x))) into (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) 1552120353.370 * [backup-simplify]: Simplify (- (exp (/ 1 x)) (exp (- (/ 1 x)))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 1552120353.370 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 1552120353.370 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1552120353.370 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552120353.370 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120353.370 * [taylor]: Taking taylor expansion of x in x 1552120353.370 * [backup-simplify]: Simplify 0 into 0 1552120353.370 * [backup-simplify]: Simplify 1 into 1 1552120353.370 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120353.370 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552120353.370 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1552120353.370 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1552120353.370 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120353.370 * [taylor]: Taking taylor expansion of x in x 1552120353.370 * [backup-simplify]: Simplify 0 into 0 1552120353.370 * [backup-simplify]: Simplify 1 into 1 1552120353.371 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120353.371 * [backup-simplify]: Simplify (- 1) into -1 1552120353.371 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 1552120353.371 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1552120353.371 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552120353.371 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120353.371 * [taylor]: Taking taylor expansion of x in x 1552120353.371 * [backup-simplify]: Simplify 0 into 0 1552120353.371 * [backup-simplify]: Simplify 1 into 1 1552120353.372 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120353.372 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552120353.372 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1552120353.372 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1552120353.372 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120353.372 * [taylor]: Taking taylor expansion of x in x 1552120353.372 * [backup-simplify]: Simplify 0 into 0 1552120353.372 * [backup-simplify]: Simplify 1 into 1 1552120353.372 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120353.372 * [backup-simplify]: Simplify (- 1) into -1 1552120353.372 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 1552120353.373 * [backup-simplify]: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x)))) 1552120353.373 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 1552120353.373 * [backup-simplify]: Simplify (- (exp (/ 1 x)) (exp (- (/ 1 x)))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 1552120353.373 * [backup-simplify]: Simplify (- 0) into 0 1552120353.374 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.374 * [backup-simplify]: Simplify 0 into 0 1552120353.374 * [backup-simplify]: Simplify (- 0) into 0 1552120353.374 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.374 * [backup-simplify]: Simplify 0 into 0 1552120353.375 * [backup-simplify]: Simplify (- 0) into 0 1552120353.375 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.375 * [backup-simplify]: Simplify 0 into 0 1552120353.375 * [backup-simplify]: Simplify (- 0) into 0 1552120353.376 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.376 * [backup-simplify]: Simplify 0 into 0 1552120353.376 * [backup-simplify]: Simplify (- 0) into 0 1552120353.376 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.376 * [backup-simplify]: Simplify 0 into 0 1552120353.377 * [backup-simplify]: Simplify (- 0) into 0 1552120353.377 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.377 * [backup-simplify]: Simplify 0 into 0 1552120353.377 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) into (- (exp x) (exp (- x))) 1552120353.377 * [backup-simplify]: Simplify (- (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 1552120353.377 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 1552120353.377 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 1552120353.377 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1552120353.377 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1552120353.377 * [taylor]: Taking taylor expansion of -1 in x 1552120353.377 * [backup-simplify]: Simplify -1 into -1 1552120353.377 * [taylor]: Taking taylor expansion of x in x 1552120353.377 * [backup-simplify]: Simplify 0 into 0 1552120353.377 * [backup-simplify]: Simplify 1 into 1 1552120353.378 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120353.378 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1552120353.378 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552120353.378 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120353.378 * [taylor]: Taking taylor expansion of x in x 1552120353.378 * [backup-simplify]: Simplify 0 into 0 1552120353.378 * [backup-simplify]: Simplify 1 into 1 1552120353.378 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120353.378 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552120353.378 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 1552120353.378 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1552120353.378 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1552120353.378 * [taylor]: Taking taylor expansion of -1 in x 1552120353.378 * [backup-simplify]: Simplify -1 into -1 1552120353.378 * [taylor]: Taking taylor expansion of x in x 1552120353.379 * [backup-simplify]: Simplify 0 into 0 1552120353.379 * [backup-simplify]: Simplify 1 into 1 1552120353.379 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120353.379 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1552120353.379 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552120353.379 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120353.379 * [taylor]: Taking taylor expansion of x in x 1552120353.379 * [backup-simplify]: Simplify 0 into 0 1552120353.379 * [backup-simplify]: Simplify 1 into 1 1552120353.379 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120353.379 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552120353.380 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x))) 1552120353.380 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 1552120353.380 * [backup-simplify]: Simplify (- (exp (/ -1 x)) (exp (/ 1 x))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 1552120353.380 * [backup-simplify]: Simplify (- 0) into 0 1552120353.380 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.380 * [backup-simplify]: Simplify 0 into 0 1552120353.381 * [backup-simplify]: Simplify (- 0) into 0 1552120353.381 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.381 * [backup-simplify]: Simplify 0 into 0 1552120353.381 * [backup-simplify]: Simplify (- 0) into 0 1552120353.382 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.382 * [backup-simplify]: Simplify 0 into 0 1552120353.382 * [backup-simplify]: Simplify (- 0) into 0 1552120353.382 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.382 * [backup-simplify]: Simplify 0 into 0 1552120353.383 * [backup-simplify]: Simplify (- 0) into 0 1552120353.383 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.383 * [backup-simplify]: Simplify 0 into 0 1552120353.383 * [backup-simplify]: Simplify (- 0) into 0 1552120353.384 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.384 * [backup-simplify]: Simplify 0 into 0 1552120353.384 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) (exp (/ 1 (/ 1 (- x))))) into (- (exp x) (exp (* -1 x))) 1552120353.384 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 1552120353.384 * [backup-simplify]: Simplify (* (/ (- (exp x) (exp (- x))) 2) (sin y)) into (* 1/2 (* (- (exp x) (exp (- x))) (sin y))) 1552120353.384 * [approximate]: Taking taylor expansion of (* 1/2 (* (- (exp x) (exp (- x))) (sin y))) in (x y) around 0 1552120353.384 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp x) (exp (- x))) (sin y))) in y 1552120353.384 * [taylor]: Taking taylor expansion of 1/2 in y 1552120353.384 * [backup-simplify]: Simplify 1/2 into 1/2 1552120353.384 * [taylor]: Taking taylor expansion of (* (- (exp x) (exp (- x))) (sin y)) in y 1552120353.384 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in y 1552120353.384 * [taylor]: Taking taylor expansion of (exp x) in y 1552120353.384 * [taylor]: Taking taylor expansion of x in y 1552120353.384 * [backup-simplify]: Simplify x into x 1552120353.384 * [backup-simplify]: Simplify (exp x) into (exp x) 1552120353.384 * [taylor]: Taking taylor expansion of (exp (- x)) in y 1552120353.384 * [taylor]: Taking taylor expansion of (- x) in y 1552120353.384 * [taylor]: Taking taylor expansion of x in y 1552120353.384 * [backup-simplify]: Simplify x into x 1552120353.384 * [backup-simplify]: Simplify (- x) into (- x) 1552120353.384 * [backup-simplify]: Simplify (- x) into (- x) 1552120353.385 * [backup-simplify]: Simplify (exp (- x)) into (exp (- x)) 1552120353.385 * [taylor]: Taking taylor expansion of (sin y) in y 1552120353.385 * [taylor]: Taking taylor expansion of y in y 1552120353.385 * [backup-simplify]: Simplify 0 into 0 1552120353.385 * [backup-simplify]: Simplify 1 into 1 1552120353.385 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp x) (exp (- x))) (sin y))) in x 1552120353.385 * [taylor]: Taking taylor expansion of 1/2 in x 1552120353.385 * [backup-simplify]: Simplify 1/2 into 1/2 1552120353.385 * [taylor]: Taking taylor expansion of (* (- (exp x) (exp (- x))) (sin y)) in x 1552120353.385 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 1552120353.385 * [taylor]: Taking taylor expansion of (exp x) in x 1552120353.385 * [taylor]: Taking taylor expansion of x in x 1552120353.385 * [backup-simplify]: Simplify 0 into 0 1552120353.385 * [backup-simplify]: Simplify 1 into 1 1552120353.385 * [backup-simplify]: Simplify (exp 0) into 1 1552120353.385 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1552120353.385 * [taylor]: Taking taylor expansion of (- x) in x 1552120353.385 * [taylor]: Taking taylor expansion of x in x 1552120353.385 * [backup-simplify]: Simplify 0 into 0 1552120353.385 * [backup-simplify]: Simplify 1 into 1 1552120353.385 * [backup-simplify]: Simplify (- 0) into 0 1552120353.386 * [backup-simplify]: Simplify (- 1) into -1 1552120353.386 * [backup-simplify]: Simplify (exp 0) into 1 1552120353.386 * [taylor]: Taking taylor expansion of (sin y) in x 1552120353.386 * [taylor]: Taking taylor expansion of y in x 1552120353.386 * [backup-simplify]: Simplify y into y 1552120353.386 * [backup-simplify]: Simplify (sin y) into (sin y) 1552120353.386 * [backup-simplify]: Simplify (cos y) into (cos y) 1552120353.386 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp x) (exp (- x))) (sin y))) in x 1552120353.386 * [taylor]: Taking taylor expansion of 1/2 in x 1552120353.386 * [backup-simplify]: Simplify 1/2 into 1/2 1552120353.386 * [taylor]: Taking taylor expansion of (* (- (exp x) (exp (- x))) (sin y)) in x 1552120353.386 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 1552120353.386 * [taylor]: Taking taylor expansion of (exp x) in x 1552120353.386 * [taylor]: Taking taylor expansion of x in x 1552120353.386 * [backup-simplify]: Simplify 0 into 0 1552120353.386 * [backup-simplify]: Simplify 1 into 1 1552120353.386 * [backup-simplify]: Simplify (exp 0) into 1 1552120353.386 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1552120353.386 * [taylor]: Taking taylor expansion of (- x) in x 1552120353.386 * [taylor]: Taking taylor expansion of x in x 1552120353.386 * [backup-simplify]: Simplify 0 into 0 1552120353.386 * [backup-simplify]: Simplify 1 into 1 1552120353.387 * [backup-simplify]: Simplify (- 0) into 0 1552120353.387 * [backup-simplify]: Simplify (- 1) into -1 1552120353.387 * [backup-simplify]: Simplify (exp 0) into 1 1552120353.387 * [taylor]: Taking taylor expansion of (sin y) in x 1552120353.387 * [taylor]: Taking taylor expansion of y in x 1552120353.387 * [backup-simplify]: Simplify y into y 1552120353.387 * [backup-simplify]: Simplify (sin y) into (sin y) 1552120353.387 * [backup-simplify]: Simplify (cos y) into (cos y) 1552120353.387 * [backup-simplify]: Simplify (- 1) into -1 1552120353.388 * [backup-simplify]: Simplify (+ 1 -1) into 0 1552120353.392 * [backup-simplify]: Simplify (* (sin y) 1) into (sin y) 1552120353.392 * [backup-simplify]: Simplify (* (cos y) 0) into 0 1552120353.392 * [backup-simplify]: Simplify (+ (sin y) 0) into (sin y) 1552120353.392 * [backup-simplify]: Simplify (* 0 (sin y)) into 0 1552120353.392 * [backup-simplify]: Simplify (* 1/2 0) into 0 1552120353.392 * [taylor]: Taking taylor expansion of 0 in y 1552120353.392 * [backup-simplify]: Simplify 0 into 0 1552120353.393 * [backup-simplify]: Simplify 0 into 0 1552120353.393 * [backup-simplify]: Simplify (+ 0) into 0 1552120353.394 * [backup-simplify]: Simplify (+ (* (sin y) 0) (* 0 1)) into 0 1552120353.395 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1552120353.395 * [backup-simplify]: Simplify (+ (* (cos y) 0) (* 0 0)) into 0 1552120353.395 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.396 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1552120353.396 * [backup-simplify]: Simplify (- 1) into -1 1552120353.397 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1552120353.398 * [backup-simplify]: Simplify (- -1) into 1 1552120353.398 * [backup-simplify]: Simplify (+ 1 1) into 2 1552120353.398 * [backup-simplify]: Simplify (+ (* 0 0) (* 2 (sin y))) into (* 2 (sin y)) 1552120353.399 * [backup-simplify]: Simplify (+ (* 1/2 (* 2 (sin y))) (* 0 0)) into (sin y) 1552120353.399 * [taylor]: Taking taylor expansion of (sin y) in y 1552120353.399 * [taylor]: Taking taylor expansion of y in y 1552120353.399 * [backup-simplify]: Simplify 0 into 0 1552120353.399 * [backup-simplify]: Simplify 1 into 1 1552120353.399 * [backup-simplify]: Simplify 0 into 0 1552120353.399 * [backup-simplify]: Simplify 0 into 0 1552120353.400 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1552120353.400 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (* 0 1))) into 0 1552120353.401 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120353.401 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (* 0 0))) into 0 1552120353.402 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.403 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1552120353.403 * [backup-simplify]: Simplify (- 1) into -1 1552120353.403 * [backup-simplify]: Simplify (- 0) into 0 1552120353.405 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1552120353.405 * [backup-simplify]: Simplify (- 1/2) into -1/2 1552120353.406 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 1552120353.406 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 2 0) (* 0 (sin y)))) into 0 1552120353.407 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 (* 2 (sin y))) (* 0 0))) into 0 1552120353.407 * [taylor]: Taking taylor expansion of 0 in y 1552120353.407 * [backup-simplify]: Simplify 0 into 0 1552120353.407 * [backup-simplify]: Simplify 0 into 0 1552120353.408 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 1552120353.408 * [backup-simplify]: Simplify 1 into 1 1552120353.408 * [backup-simplify]: Simplify 0 into 0 1552120353.409 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1552120353.409 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120353.411 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120353.411 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1552120353.411 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.413 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1552120353.414 * [backup-simplify]: Simplify (- 1) into -1 1552120353.414 * [backup-simplify]: Simplify (- 1) into -1 1552120353.414 * [backup-simplify]: Simplify (- 0) into 0 1552120353.415 * [backup-simplify]: Simplify (- 0) into 0 1552120353.417 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1552120353.417 * [backup-simplify]: Simplify (- -1/6) into 1/6 1552120353.418 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 1552120353.419 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 2 0) (+ (* 0 0) (* 1/3 (sin y))))) into (* 1/3 (sin y)) 1552120353.420 * [backup-simplify]: Simplify (+ (* 1/2 (* 1/3 (sin y))) (+ (* 0 0) (+ (* 0 (* 2 (sin y))) (* 0 0)))) into (* 1/6 (sin y)) 1552120353.420 * [taylor]: Taking taylor expansion of (* 1/6 (sin y)) in y 1552120353.420 * [taylor]: Taking taylor expansion of 1/6 in y 1552120353.420 * [backup-simplify]: Simplify 1/6 into 1/6 1552120353.420 * [taylor]: Taking taylor expansion of (sin y) in y 1552120353.420 * [taylor]: Taking taylor expansion of y in y 1552120353.420 * [backup-simplify]: Simplify 0 into 0 1552120353.420 * [backup-simplify]: Simplify 1 into 1 1552120353.420 * [backup-simplify]: Simplify (* 1/6 0) into 0 1552120353.420 * [backup-simplify]: Simplify 0 into 0 1552120353.420 * [backup-simplify]: Simplify 0 into 0 1552120353.421 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120353.421 * [backup-simplify]: Simplify 0 into 0 1552120353.421 * [backup-simplify]: Simplify 0 into 0 1552120353.424 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 4) 24)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0 1552120353.424 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552120353.426 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120353.426 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0 1552120353.427 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.429 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1552120353.429 * [backup-simplify]: Simplify (- 1) into -1 1552120353.430 * [backup-simplify]: Simplify (- 1) into -1 1552120353.430 * [backup-simplify]: Simplify (- 0) into 0 1552120353.430 * [backup-simplify]: Simplify (- 1) into -1 1552120353.430 * [backup-simplify]: Simplify (- 0) into 0 1552120353.431 * [backup-simplify]: Simplify (- 0) into 0 1552120353.431 * [backup-simplify]: Simplify (- 0) into 0 1552120353.433 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 1552120353.433 * [backup-simplify]: Simplify (- 1/24) into -1/24 1552120353.434 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 1552120353.435 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 2 0) (+ (* 0 0) (+ (* 1/3 0) (* 0 (sin y)))))) into 0 1552120353.435 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 (* 1/3 (sin y))) (+ (* 0 0) (+ (* 0 (* 2 (sin y))) (* 0 0))))) into 0 1552120353.435 * [taylor]: Taking taylor expansion of 0 in y 1552120353.435 * [backup-simplify]: Simplify 0 into 0 1552120353.435 * [backup-simplify]: Simplify 0 into 0 1552120353.435 * [backup-simplify]: Simplify (* 1 (* y x)) into (* x y) 1552120353.436 * [backup-simplify]: Simplify (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (sin (/ 1 y))) into (* 1/2 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) 1552120353.436 * [approximate]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (x y) around 0 1552120353.436 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y 1552120353.436 * [taylor]: Taking taylor expansion of 1/2 in y 1552120353.436 * [backup-simplify]: Simplify 1/2 into 1/2 1552120353.436 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 1552120353.436 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1552120353.436 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1552120353.436 * [taylor]: Taking taylor expansion of y in y 1552120353.436 * [backup-simplify]: Simplify 0 into 0 1552120353.436 * [backup-simplify]: Simplify 1 into 1 1552120353.436 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120353.436 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1552120353.436 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 1552120353.436 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1552120353.436 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1552120353.436 * [taylor]: Taking taylor expansion of x in y 1552120353.436 * [backup-simplify]: Simplify x into x 1552120353.436 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1552120353.436 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552120353.436 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 1552120353.436 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 1552120353.436 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1552120353.436 * [taylor]: Taking taylor expansion of x in y 1552120353.436 * [backup-simplify]: Simplify x into x 1552120353.436 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1552120353.436 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 1552120353.436 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 1552120353.436 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 1552120353.437 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 1552120353.437 * [taylor]: Taking taylor expansion of 1/2 in x 1552120353.437 * [backup-simplify]: Simplify 1/2 into 1/2 1552120353.437 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 1552120353.437 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 1552120353.437 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1552120353.437 * [taylor]: Taking taylor expansion of y in x 1552120353.437 * [backup-simplify]: Simplify y into y 1552120353.437 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1552120353.437 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1552120353.437 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1552120353.437 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1552120353.437 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552120353.437 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120353.437 * [taylor]: Taking taylor expansion of x in x 1552120353.437 * [backup-simplify]: Simplify 0 into 0 1552120353.437 * [backup-simplify]: Simplify 1 into 1 1552120353.437 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120353.437 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552120353.437 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1552120353.437 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1552120353.437 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120353.437 * [taylor]: Taking taylor expansion of x in x 1552120353.437 * [backup-simplify]: Simplify 0 into 0 1552120353.437 * [backup-simplify]: Simplify 1 into 1 1552120353.437 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120353.438 * [backup-simplify]: Simplify (- 1) into -1 1552120353.438 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 1552120353.438 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x 1552120353.438 * [taylor]: Taking taylor expansion of 1/2 in x 1552120353.438 * [backup-simplify]: Simplify 1/2 into 1/2 1552120353.438 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 1552120353.438 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 1552120353.438 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1552120353.438 * [taylor]: Taking taylor expansion of y in x 1552120353.438 * [backup-simplify]: Simplify y into y 1552120353.438 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1552120353.438 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1552120353.438 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y)) 1552120353.438 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 1552120353.438 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552120353.438 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120353.438 * [taylor]: Taking taylor expansion of x in x 1552120353.438 * [backup-simplify]: Simplify 0 into 0 1552120353.438 * [backup-simplify]: Simplify 1 into 1 1552120353.438 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120353.438 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552120353.438 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1552120353.438 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1552120353.438 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120353.438 * [taylor]: Taking taylor expansion of x in x 1552120353.438 * [backup-simplify]: Simplify 0 into 0 1552120353.438 * [backup-simplify]: Simplify 1 into 1 1552120353.439 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120353.439 * [backup-simplify]: Simplify (- 1) into -1 1552120353.439 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 1552120353.439 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 1) into (sin (/ 1 y)) 1552120353.439 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 0) into 0 1552120353.439 * [backup-simplify]: Simplify (+ (sin (/ 1 y)) 0) into (sin (/ 1 y)) 1552120353.439 * [backup-simplify]: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x)))) 1552120353.439 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 1552120353.439 * [backup-simplify]: Simplify (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) into (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) 1552120353.440 * [backup-simplify]: Simplify (* 1/2 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (* 1/2 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) 1552120353.440 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y 1552120353.440 * [taylor]: Taking taylor expansion of 1/2 in y 1552120353.440 * [backup-simplify]: Simplify 1/2 into 1/2 1552120353.440 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in y 1552120353.440 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1552120353.440 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1552120353.440 * [taylor]: Taking taylor expansion of y in y 1552120353.440 * [backup-simplify]: Simplify 0 into 0 1552120353.440 * [backup-simplify]: Simplify 1 into 1 1552120353.440 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120353.440 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y)) 1552120353.440 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in y 1552120353.440 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1552120353.440 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1552120353.440 * [taylor]: Taking taylor expansion of x in y 1552120353.440 * [backup-simplify]: Simplify x into x 1552120353.440 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1552120353.440 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552120353.440 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y 1552120353.440 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 1552120353.440 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1552120353.440 * [taylor]: Taking taylor expansion of x in y 1552120353.440 * [backup-simplify]: Simplify x into x 1552120353.440 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1552120353.440 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 1552120353.440 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 1552120353.440 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 1552120353.441 * [backup-simplify]: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x)))) 1552120353.441 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 1552120353.441 * [backup-simplify]: Simplify (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) into (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) 1552120353.441 * [backup-simplify]: Simplify (* 1/2 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (* 1/2 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) 1552120353.441 * [backup-simplify]: Simplify (* 1/2 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (* 1/2 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) 1552120353.441 * [backup-simplify]: Simplify (- 0) into 0 1552120353.441 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.442 * [backup-simplify]: Simplify (+ 0) into 0 1552120353.442 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 1)) into 0 1552120353.442 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1552120353.443 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1552120353.443 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 0)) into 0 1552120353.443 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.443 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) into 0 1552120353.444 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0 1552120353.444 * [taylor]: Taking taylor expansion of 0 in y 1552120353.444 * [backup-simplify]: Simplify 0 into 0 1552120353.444 * [backup-simplify]: Simplify 0 into 0 1552120353.444 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 1552120353.444 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1552120353.444 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 1552120353.444 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 1552120353.445 * [backup-simplify]: Simplify (- 0) into 0 1552120353.445 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (+ (* (/ (pow 0 1) 1)))) into 0 1552120353.445 * [backup-simplify]: Simplify (- 0) into 0 1552120353.446 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.446 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) into 0 1552120353.446 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0 1552120353.446 * [backup-simplify]: Simplify 0 into 0 1552120353.446 * [backup-simplify]: Simplify (- 0) into 0 1552120353.447 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.447 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1552120353.448 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1552120353.448 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1552120353.448 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120353.448 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1552120353.449 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.449 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0 1552120353.450 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 1552120353.450 * [taylor]: Taking taylor expansion of 0 in y 1552120353.450 * [backup-simplify]: Simplify 0 into 0 1552120353.450 * [backup-simplify]: Simplify 0 into 0 1552120353.450 * [backup-simplify]: Simplify 0 into 0 1552120353.450 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1552120353.451 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1552120353.451 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 1552120353.451 * [backup-simplify]: Simplify (- 0) into 0 1552120353.451 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1552120353.451 * [backup-simplify]: Simplify (- 0) into 0 1552120353.452 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1552120353.452 * [backup-simplify]: Simplify (- 0) into 0 1552120353.452 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.453 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0 1552120353.453 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 1552120353.453 * [backup-simplify]: Simplify 0 into 0 1552120353.454 * [backup-simplify]: Simplify (- 0) into 0 1552120353.454 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.454 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1552120353.455 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120353.455 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 1552120353.456 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120353.456 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1552120353.456 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.457 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0 1552120353.458 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))))))) into 0 1552120353.458 * [taylor]: Taking taylor expansion of 0 in y 1552120353.458 * [backup-simplify]: Simplify 0 into 0 1552120353.458 * [backup-simplify]: Simplify 0 into 0 1552120353.458 * [backup-simplify]: Simplify (* 1/2 (* (sin (/ 1 (/ 1 y))) (- (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))))) into (* 1/2 (* (- (exp x) (exp (- x))) (sin y))) 1552120353.458 * [backup-simplify]: Simplify (* (/ (- (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) 2) (sin (/ 1 (- y)))) into (* 1/2 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y)))) 1552120353.458 * [approximate]: Taking taylor expansion of (* 1/2 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y)))) in (x y) around 0 1552120353.458 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y)))) in y 1552120353.458 * [taylor]: Taking taylor expansion of 1/2 in y 1552120353.458 * [backup-simplify]: Simplify 1/2 into 1/2 1552120353.458 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y))) in y 1552120353.458 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in y 1552120353.458 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 1552120353.458 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1552120353.458 * [taylor]: Taking taylor expansion of -1 in y 1552120353.458 * [backup-simplify]: Simplify -1 into -1 1552120353.458 * [taylor]: Taking taylor expansion of x in y 1552120353.458 * [backup-simplify]: Simplify x into x 1552120353.458 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 1552120353.458 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1552120353.458 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1552120353.458 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1552120353.458 * [taylor]: Taking taylor expansion of x in y 1552120353.458 * [backup-simplify]: Simplify x into x 1552120353.458 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1552120353.459 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552120353.459 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1552120353.459 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1552120353.459 * [taylor]: Taking taylor expansion of -1 in y 1552120353.459 * [backup-simplify]: Simplify -1 into -1 1552120353.459 * [taylor]: Taking taylor expansion of y in y 1552120353.459 * [backup-simplify]: Simplify 0 into 0 1552120353.459 * [backup-simplify]: Simplify 1 into 1 1552120353.459 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120353.459 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1552120353.459 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y)))) in x 1552120353.459 * [taylor]: Taking taylor expansion of 1/2 in x 1552120353.459 * [backup-simplify]: Simplify 1/2 into 1/2 1552120353.459 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y))) in x 1552120353.459 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 1552120353.459 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1552120353.459 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1552120353.459 * [taylor]: Taking taylor expansion of -1 in x 1552120353.459 * [backup-simplify]: Simplify -1 into -1 1552120353.459 * [taylor]: Taking taylor expansion of x in x 1552120353.459 * [backup-simplify]: Simplify 0 into 0 1552120353.459 * [backup-simplify]: Simplify 1 into 1 1552120353.459 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120353.459 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1552120353.459 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552120353.460 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120353.460 * [taylor]: Taking taylor expansion of x in x 1552120353.460 * [backup-simplify]: Simplify 0 into 0 1552120353.460 * [backup-simplify]: Simplify 1 into 1 1552120353.460 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120353.460 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552120353.460 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 1552120353.460 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1552120353.460 * [taylor]: Taking taylor expansion of -1 in x 1552120353.460 * [backup-simplify]: Simplify -1 into -1 1552120353.460 * [taylor]: Taking taylor expansion of y in x 1552120353.460 * [backup-simplify]: Simplify y into y 1552120353.460 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 1552120353.460 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1552120353.460 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1552120353.460 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y)))) in x 1552120353.460 * [taylor]: Taking taylor expansion of 1/2 in x 1552120353.460 * [backup-simplify]: Simplify 1/2 into 1/2 1552120353.460 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y))) in x 1552120353.460 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 1552120353.460 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1552120353.460 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1552120353.460 * [taylor]: Taking taylor expansion of -1 in x 1552120353.460 * [backup-simplify]: Simplify -1 into -1 1552120353.460 * [taylor]: Taking taylor expansion of x in x 1552120353.460 * [backup-simplify]: Simplify 0 into 0 1552120353.460 * [backup-simplify]: Simplify 1 into 1 1552120353.461 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120353.461 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1552120353.461 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552120353.461 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552120353.461 * [taylor]: Taking taylor expansion of x in x 1552120353.461 * [backup-simplify]: Simplify 0 into 0 1552120353.461 * [backup-simplify]: Simplify 1 into 1 1552120353.461 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120353.461 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552120353.461 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 1552120353.461 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1552120353.461 * [taylor]: Taking taylor expansion of -1 in x 1552120353.461 * [backup-simplify]: Simplify -1 into -1 1552120353.461 * [taylor]: Taking taylor expansion of y in x 1552120353.461 * [backup-simplify]: Simplify y into y 1552120353.461 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 1552120353.461 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1552120353.461 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y)) 1552120353.461 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x))) 1552120353.461 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 1552120353.461 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 1) into (sin (/ -1 y)) 1552120353.461 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 0) into 0 1552120353.461 * [backup-simplify]: Simplify (+ (sin (/ -1 y)) 0) into (sin (/ -1 y)) 1552120353.462 * [backup-simplify]: Simplify (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y))) into (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y))) 1552120353.462 * [backup-simplify]: Simplify (* 1/2 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y)))) into (* 1/2 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y)))) 1552120353.462 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y)))) in y 1552120353.462 * [taylor]: Taking taylor expansion of 1/2 in y 1552120353.462 * [backup-simplify]: Simplify 1/2 into 1/2 1552120353.462 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y))) in y 1552120353.462 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in y 1552120353.462 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 1552120353.462 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1552120353.462 * [taylor]: Taking taylor expansion of -1 in y 1552120353.462 * [backup-simplify]: Simplify -1 into -1 1552120353.462 * [taylor]: Taking taylor expansion of x in y 1552120353.462 * [backup-simplify]: Simplify x into x 1552120353.462 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 1552120353.462 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1552120353.462 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 1552120353.462 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1552120353.462 * [taylor]: Taking taylor expansion of x in y 1552120353.462 * [backup-simplify]: Simplify x into x 1552120353.462 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1552120353.462 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552120353.462 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1552120353.462 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1552120353.462 * [taylor]: Taking taylor expansion of -1 in y 1552120353.462 * [backup-simplify]: Simplify -1 into -1 1552120353.462 * [taylor]: Taking taylor expansion of y in y 1552120353.462 * [backup-simplify]: Simplify 0 into 0 1552120353.462 * [backup-simplify]: Simplify 1 into 1 1552120353.462 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120353.462 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y)) 1552120353.463 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x))) 1552120353.463 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 1552120353.463 * [backup-simplify]: Simplify (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y))) into (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y))) 1552120353.463 * [backup-simplify]: Simplify (* 1/2 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y)))) into (* 1/2 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y)))) 1552120353.463 * [backup-simplify]: Simplify (* 1/2 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y)))) into (* 1/2 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y)))) 1552120353.463 * [backup-simplify]: Simplify (+ 0) into 0 1552120353.464 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 1)) into 0 1552120353.464 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 1552120353.464 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1552120353.464 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 0)) into 0 1552120353.465 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.465 * [backup-simplify]: Simplify (- 0) into 0 1552120353.465 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.465 * [backup-simplify]: Simplify (+ (* (- (exp (/ -1 x)) (exp (/ 1 x))) 0) (* 0 (sin (/ -1 y)))) into 0 1552120353.466 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y))))) into 0 1552120353.466 * [taylor]: Taking taylor expansion of 0 in y 1552120353.466 * [backup-simplify]: Simplify 0 into 0 1552120353.466 * [backup-simplify]: Simplify 0 into 0 1552120353.466 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 1552120353.466 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1552120353.466 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 1552120353.467 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0 1552120353.467 * [backup-simplify]: Simplify (- 0) into 0 1552120353.467 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.467 * [backup-simplify]: Simplify (+ (* (- (exp (/ -1 x)) (exp (/ 1 x))) 0) (* 0 (sin (/ -1 y)))) into 0 1552120353.468 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y))))) into 0 1552120353.468 * [backup-simplify]: Simplify 0 into 0 1552120353.468 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1552120353.469 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0 1552120353.469 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1552120353.469 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120353.469 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0 1552120353.470 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.470 * [backup-simplify]: Simplify (- 0) into 0 1552120353.470 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.471 * [backup-simplify]: Simplify (+ (* (- (exp (/ -1 x)) (exp (/ 1 x))) 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))) into 0 1552120353.471 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y)))))) into 0 1552120353.471 * [taylor]: Taking taylor expansion of 0 in y 1552120353.471 * [backup-simplify]: Simplify 0 into 0 1552120353.471 * [backup-simplify]: Simplify 0 into 0 1552120353.471 * [backup-simplify]: Simplify 0 into 0 1552120353.471 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1552120353.472 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1552120353.473 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1552120353.474 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1552120353.474 * [backup-simplify]: Simplify (- 0) into 0 1552120353.474 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.475 * [backup-simplify]: Simplify (+ (* (- (exp (/ -1 x)) (exp (/ 1 x))) 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))) into 0 1552120353.476 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y)))))) into 0 1552120353.476 * [backup-simplify]: Simplify 0 into 0 1552120353.477 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 1552120353.477 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120353.478 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 1552120353.479 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 1552120353.480 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 1552120353.480 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.480 * [backup-simplify]: Simplify (- 0) into 0 1552120353.481 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120353.482 * [backup-simplify]: Simplify (+ (* (- (exp (/ -1 x)) (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))) into 0 1552120353.483 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y))))))) into 0 1552120353.483 * [taylor]: Taking taylor expansion of 0 in y 1552120353.483 * [backup-simplify]: Simplify 0 into 0 1552120353.483 * [backup-simplify]: Simplify 0 into 0 1552120353.483 * [backup-simplify]: Simplify (* 1/2 (* (- (exp (/ -1 (/ 1 (- x)))) (exp (/ 1 (/ 1 (- x))))) (sin (/ -1 (/ 1 (- y)))))) into (* 1/2 (* (- (exp x) (exp (* -1 x))) (sin y))) 1552120353.483 * * * [progress]: simplifying candidates 1552120353.483 * * * * [progress]: [ 1 / 41 ] simplifiying candidate # 1552120353.484 * [simplify]: Simplifying (/ (exp (exp x)) (exp (exp (- x)))) 1552120353.484 * * [simplify]: iters left: 6 (7 enodes) 1552120353.486 * * [simplify]: iters left: 5 (25 enodes) 1552120353.492 * * [simplify]: iters left: 4 (33 enodes) 1552120353.501 * * [simplify]: iters left: 3 (43 enodes) 1552120353.508 * * [simplify]: iters left: 2 (49 enodes) 1552120353.515 * * [simplify]: iters left: 1 (53 enodes) 1552120353.522 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120353.523 * * [simplify]: Extracting #1: cost 9 inf + 0 1552120353.523 * * [simplify]: Extracting #2: cost 15 inf + 1 1552120353.523 * * [simplify]: Extracting #3: cost 21 inf + 1 1552120353.523 * * [simplify]: Extracting #4: cost 20 inf + 3 1552120353.523 * * [simplify]: Extracting #5: cost 17 inf + 186 1552120353.523 * * [simplify]: Extracting #6: cost 8 inf + 1359 1552120353.523 * * [simplify]: Extracting #7: cost 0 inf + 3012 1552120353.524 * [simplify]: Simplified to (exp (+ (exp x) (/ -1 (exp x)))) 1552120353.524 * [simplify]: Simplified (2 1 2 1 1 1) to (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (log (exp (+ (exp x) (/ -1 (exp x))))) 2) (sin y))))) 1552120353.524 * * * * [progress]: [ 2 / 41 ] simplifiying candidate # 1552120353.524 * * * * [progress]: [ 3 / 41 ] simplifiying candidate # 1552120353.524 * * * * [progress]: [ 4 / 41 ] simplifiying candidate # 1552120353.524 * * * * [progress]: [ 5 / 41 ] simplifiying candidate # 1552120353.524 * * * * [progress]: [ 6 / 41 ] simplifiying candidate # 1552120353.524 * * * * [progress]: [ 7 / 41 ] simplifiying candidate # 1552120353.524 * * * * [progress]: [ 8 / 41 ] simplifiying candidate # 1552120353.524 * * * * [progress]: [ 9 / 41 ] simplifiying candidate # 1552120353.524 * * * * [progress]: [ 10 / 41 ] simplifiying candidate # 1552120353.524 * * * * [progress]: [ 11 / 41 ] simplifiying candidate # 1552120353.524 * * * * [progress]: [ 12 / 41 ] simplifiying candidate # 1552120353.525 * [simplify]: Simplifying (+ (sqrt (exp x)) (sqrt (exp (- x)))) 1552120353.525 * * [simplify]: iters left: 6 (7 enodes) 1552120353.526 * * [simplify]: iters left: 5 (24 enodes) 1552120353.529 * * [simplify]: iters left: 4 (28 enodes) 1552120353.533 * * [simplify]: iters left: 3 (30 enodes) 1552120353.537 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120353.537 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120353.537 * * [simplify]: Extracting #2: cost 8 inf + 0 1552120353.537 * * [simplify]: Extracting #3: cost 13 inf + 0 1552120353.537 * * [simplify]: Extracting #4: cost 12 inf + 2 1552120353.537 * * [simplify]: Extracting #5: cost 8 inf + 226 1552120353.537 * * [simplify]: Extracting #6: cost 3 inf + 821 1552120353.537 * * [simplify]: Extracting #7: cost 1 inf + 1273 1552120353.537 * * [simplify]: Extracting #8: cost 0 inf + 1574 1552120353.538 * [simplify]: Simplified to (+ (sqrt (exp (- x))) (sqrt (exp x))) 1552120353.538 * [simplify]: Simplified (2 1 2 1 1 1) to (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (* (+ (sqrt (exp (- x))) (sqrt (exp x))) (- (sqrt (exp x)) (sqrt (exp (- x))))) 2) (sin y))))) 1552120353.538 * [simplify]: Simplifying (- (sqrt (exp x)) (sqrt (exp (- x)))) 1552120353.538 * * [simplify]: iters left: 6 (7 enodes) 1552120353.540 * * [simplify]: iters left: 5 (25 enodes) 1552120353.543 * * [simplify]: iters left: 4 (32 enodes) 1552120353.547 * * [simplify]: iters left: 3 (34 enodes) 1552120353.552 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120353.552 * * [simplify]: Extracting #1: cost 5 inf + 0 1552120353.552 * * [simplify]: Extracting #2: cost 10 inf + 0 1552120353.552 * * [simplify]: Extracting #3: cost 15 inf + 0 1552120353.552 * * [simplify]: Extracting #4: cost 14 inf + 2 1552120353.552 * * [simplify]: Extracting #5: cost 10 inf + 226 1552120353.552 * * [simplify]: Extracting #6: cost 5 inf + 901 1552120353.552 * * [simplify]: Extracting #7: cost 1 inf + 1655 1552120353.553 * * [simplify]: Extracting #8: cost 0 inf + 1956 1552120353.553 * [simplify]: Simplified to (- (sqrt (exp x)) (sqrt (exp (- x)))) 1552120353.553 * [simplify]: Simplified (2 1 2 1 1 2) to (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (* (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x))))) 2) (sin y))))) 1552120353.553 * * * * [progress]: [ 13 / 41 ] simplifiying candidate # 1552120353.553 * [simplify]: Simplifying (- (exp x) (exp (- x))) 1552120353.553 * * [simplify]: iters left: 5 (5 enodes) 1552120353.554 * * [simplify]: iters left: 4 (19 enodes) 1552120353.557 * * [simplify]: iters left: 3 (29 enodes) 1552120353.562 * * [simplify]: iters left: 2 (33 enodes) 1552120353.566 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120353.566 * * [simplify]: Extracting #1: cost 5 inf + 0 1552120353.566 * * [simplify]: Extracting #2: cost 12 inf + 0 1552120353.566 * * [simplify]: Extracting #3: cost 10 inf + 3 1552120353.566 * * [simplify]: Extracting #4: cost 3 inf + 561 1552120353.566 * * [simplify]: Extracting #5: cost 0 inf + 977 1552120353.566 * [simplify]: Simplified to (+ (/ -1 (exp x)) (exp x)) 1552120353.566 * [simplify]: Simplified (2 1 2 1 1 2) to (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (* 1 (+ (/ -1 (exp x)) (exp x))) 2) (sin y))))) 1552120353.567 * * * * [progress]: [ 14 / 41 ] simplifiying candidate # 1552120353.567 * * * * [progress]: [ 15 / 41 ] simplifiying candidate #real (real->posit16 (- (exp x) (exp (- x))))) 2) (sin y)))))> 1552120353.567 * * * * [progress]: [ 16 / 41 ] simplifiying candidate # 1552120353.567 * [simplify]: Simplifying (* (/ (- (exp x) (exp (- x))) 2) (sin y)) 1552120353.567 * * [simplify]: iters left: 6 (10 enodes) 1552120353.571 * * [simplify]: iters left: 5 (40 enodes) 1552120353.578 * * [simplify]: iters left: 4 (64 enodes) 1552120353.594 * * [simplify]: iters left: 3 (98 enodes) 1552120353.615 * * [simplify]: iters left: 2 (148 enodes) 1552120353.649 * * [simplify]: iters left: 1 (213 enodes) 1552120353.702 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120353.702 * * [simplify]: Extracting #1: cost 15 inf + 0 1552120353.702 * * [simplify]: Extracting #2: cost 60 inf + 1 1552120353.703 * * [simplify]: Extracting #3: cost 78 inf + 67 1552120353.703 * * [simplify]: Extracting #4: cost 64 inf + 1525 1552120353.706 * * [simplify]: Extracting #5: cost 11 inf + 9667 1552120353.710 * * [simplify]: Extracting #6: cost 0 inf + 11546 1552120353.713 * * [simplify]: Extracting #7: cost 0 inf + 11477 1552120353.717 * [simplify]: Simplified to (/ (- (* (sin y) (exp x)) (/ (sin y) (exp x))) 2) 1552120353.717 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (pow (/ (- (* (sin y) (exp x)) (/ (sin y) (exp x))) 2) 1)))) 1552120353.717 * * * * [progress]: [ 17 / 41 ] simplifiying candidate # 1552120353.717 * * * * [progress]: [ 18 / 41 ] simplifiying candidate # 1552120353.717 * [simplify]: Simplifying (+ (log (/ (- (exp x) (exp (- x))) 2)) (log (sin y))) 1552120353.718 * * [simplify]: iters left: 6 (12 enodes) 1552120353.722 * * [simplify]: iters left: 5 (47 enodes) 1552120353.734 * * [simplify]: iters left: 4 (75 enodes) 1552120353.752 * * [simplify]: iters left: 3 (105 enodes) 1552120353.774 * * [simplify]: iters left: 2 (128 enodes) 1552120353.796 * * [simplify]: iters left: 1 (133 enodes) 1552120353.815 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120353.815 * * [simplify]: Extracting #1: cost 13 inf + 0 1552120353.815 * * [simplify]: Extracting #2: cost 26 inf + 0 1552120353.815 * * [simplify]: Extracting #3: cost 35 inf + 1 1552120353.815 * * [simplify]: Extracting #4: cost 43 inf + 316 1552120353.815 * * [simplify]: Extracting #5: cost 31 inf + 1834 1552120353.816 * * [simplify]: Extracting #6: cost 4 inf + 7097 1552120353.817 * * [simplify]: Extracting #7: cost 0 inf + 7918 1552120353.818 * * [simplify]: Extracting #8: cost 0 inf + 7711 1552120353.820 * [simplify]: Simplified to (+ (log (- (/ (exp x) 2) (/ 1/2 (exp x)))) (log (sin y))) 1552120353.820 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (exp (+ (log (- (/ (exp x) 2) (/ 1/2 (exp x)))) (log (sin y))))))) 1552120353.820 * * * * [progress]: [ 19 / 41 ] simplifiying candidate # 1552120353.820 * * * * [progress]: [ 20 / 41 ] simplifiying candidate # 1552120353.820 * * * * [progress]: [ 21 / 41 ] simplifiying candidate # 1552120353.820 * [simplify]: Simplifying (* (* (* (/ (- (exp x) (exp (- x))) 2) (/ (- (exp x) (exp (- x))) 2)) (/ (- (exp x) (exp (- x))) 2)) (* (* (sin y) (sin y)) (sin y))) 1552120353.820 * * [simplify]: iters left: 6 (14 enodes) 1552120353.823 * * [simplify]: iters left: 5 (62 enodes) 1552120353.839 * * [simplify]: iters left: 4 (151 enodes) 1552120353.895 * * [simplify]: iters left: 3 (478 enodes) 1552120354.244 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120354.244 * * [simplify]: Extracting #1: cost 52 inf + 0 1552120354.245 * * [simplify]: Extracting #2: cost 326 inf + 2 1552120354.248 * * [simplify]: Extracting #3: cost 484 inf + 714 1552120354.268 * * [simplify]: Extracting #4: cost 288 inf + 68206 1552120354.316 * * [simplify]: Extracting #5: cost 35 inf + 169915 1552120354.381 * * [simplify]: Extracting #6: cost 0 inf + 170541 1552120354.441 * * [simplify]: Extracting #7: cost 0 inf + 155845 1552120354.492 * * [simplify]: Extracting #8: cost 0 inf + 154305 1552120354.532 * [simplify]: Simplified to (* (* (sin y) (* (sin y) (sin y))) (* (* (- (/ (exp x) 2) (/ 1/2 (exp x))) (- (/ (exp x) 2) (/ 1/2 (exp x)))) (- (/ (exp x) 2) (/ 1/2 (exp x))))) 1552120354.532 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (cbrt (* (* (sin y) (* (sin y) (sin y))) (* (* (- (/ (exp x) 2) (/ 1/2 (exp x))) (- (/ (exp x) 2) (/ 1/2 (exp x)))) (- (/ (exp x) 2) (/ 1/2 (exp x))))))))) 1552120354.532 * * * * [progress]: [ 22 / 41 ] simplifiying candidate # 1552120354.532 * * * * [progress]: [ 23 / 41 ] simplifiying candidate # 1552120354.532 * * * * [progress]: [ 24 / 41 ] simplifiying candidate # 1552120354.532 * * * * [progress]: [ 25 / 41 ] simplifiying candidate # 1552120354.532 * * * * [progress]: [ 26 / 41 ] simplifiying candidate # 1552120354.532 * [simplify]: Simplifying (cbrt (sin y)) 1552120354.533 * * [simplify]: iters left: 2 (3 enodes) 1552120354.533 * * [simplify]: iters left: 1 (9 enodes) 1552120354.534 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120354.535 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120354.535 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120354.535 * * [simplify]: Extracting #3: cost 4 inf + 1 1552120354.535 * * [simplify]: Extracting #4: cost 0 inf + 405 1552120354.535 * [simplify]: Simplified to (cbrt (sin y)) 1552120354.535 * [simplify]: Simplified (2 1 2 2) to (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (* (/ (- (exp x) (exp (- x))) 2) (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))) 1552120354.535 * * * * [progress]: [ 27 / 41 ] simplifiying candidate # 1552120354.535 * [simplify]: Simplifying (sqrt (sin y)) 1552120354.535 * * [simplify]: iters left: 2 (3 enodes) 1552120354.536 * * [simplify]: iters left: 1 (9 enodes) 1552120354.537 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120354.537 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120354.537 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120354.537 * * [simplify]: Extracting #3: cost 4 inf + 1 1552120354.537 * * [simplify]: Extracting #4: cost 0 inf + 325 1552120354.537 * [simplify]: Simplified to (sqrt (sin y)) 1552120354.537 * [simplify]: Simplified (2 1 2 2) to (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (* (/ (- (exp x) (exp (- x))) 2) (sqrt (sin y))) (sqrt (sin y)))))) 1552120354.537 * * * * [progress]: [ 28 / 41 ] simplifiying candidate # 1552120354.537 * [simplify]: Simplifying (sin y) 1552120354.537 * * [simplify]: iters left: 1 (2 enodes) 1552120354.538 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120354.538 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120354.538 * * [simplify]: Extracting #2: cost 2 inf + 1 1552120354.538 * * [simplify]: Extracting #3: cost 0 inf + 123 1552120354.538 * [simplify]: Simplified to (sin y) 1552120354.538 * [simplify]: Simplified (2 1 2 2) to (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (* (/ (- (exp x) (exp (- x))) 2) 1) (sin y))))) 1552120354.538 * * * * [progress]: [ 29 / 41 ] simplifiying candidate # 1552120354.538 * [simplify]: Simplifying (* (cbrt (/ (- (exp x) (exp (- x))) 2)) (cbrt (/ (- (exp x) (exp (- x))) 2))) 1552120354.538 * * [simplify]: iters left: 6 (9 enodes) 1552120354.540 * * [simplify]: iters left: 5 (34 enodes) 1552120354.546 * * [simplify]: iters left: 4 (52 enodes) 1552120354.553 * * [simplify]: iters left: 3 (67 enodes) 1552120354.562 * * [simplify]: iters left: 2 (74 enodes) 1552120354.571 * * [simplify]: iters left: 1 (76 enodes) 1552120354.581 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120354.581 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120354.581 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120354.581 * * [simplify]: Extracting #3: cost 11 inf + 0 1552120354.581 * * [simplify]: Extracting #4: cost 22 inf + 1 1552120354.581 * * [simplify]: Extracting #5: cost 24 inf + 5 1552120354.581 * * [simplify]: Extracting #6: cost 23 inf + 77 1552120354.581 * * [simplify]: Extracting #7: cost 8 inf + 1612 1552120354.582 * * [simplify]: Extracting #8: cost 1 inf + 3121 1552120354.582 * * [simplify]: Extracting #9: cost 0 inf + 3434 1552120354.583 * [simplify]: Simplified to (* (cbrt (+ (/ (exp x) 2) (/ -1/2 (exp x)))) (cbrt (+ (/ (exp x) 2) (/ -1/2 (exp x))))) 1552120354.583 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (* (cbrt (+ (/ (exp x) 2) (/ -1/2 (exp x)))) (cbrt (+ (/ (exp x) 2) (/ -1/2 (exp x))))) (* (cbrt (/ (- (exp x) (exp (- x))) 2)) (sin y)))))) 1552120354.583 * * * * [progress]: [ 30 / 41 ] simplifiying candidate # 1552120354.583 * [simplify]: Simplifying (sqrt (/ (- (exp x) (exp (- x))) 2)) 1552120354.583 * * [simplify]: iters left: 6 (8 enodes) 1552120354.585 * * [simplify]: iters left: 5 (31 enodes) 1552120354.591 * * [simplify]: iters left: 4 (49 enodes) 1552120354.598 * * [simplify]: iters left: 3 (64 enodes) 1552120354.607 * * [simplify]: iters left: 2 (71 enodes) 1552120354.616 * * [simplify]: iters left: 1 (73 enodes) 1552120354.626 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120354.626 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120354.626 * * [simplify]: Extracting #2: cost 9 inf + 0 1552120354.626 * * [simplify]: Extracting #3: cost 20 inf + 1 1552120354.626 * * [simplify]: Extracting #4: cost 22 inf + 5 1552120354.626 * * [simplify]: Extracting #5: cost 19 inf + 301 1552120354.626 * * [simplify]: Extracting #6: cost 7 inf + 1541 1552120354.627 * * [simplify]: Extracting #7: cost 1 inf + 2495 1552120354.627 * * [simplify]: Extracting #8: cost 0 inf + 2728 1552120354.627 * [simplify]: Simplified to (sqrt (- (/ (exp x) 2) (/ 1/2 (exp x)))) 1552120354.628 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (sqrt (- (/ (exp x) 2) (/ 1/2 (exp x)))) (* (sqrt (/ (- (exp x) (exp (- x))) 2)) (sin y)))))) 1552120354.628 * * * * [progress]: [ 31 / 41 ] simplifiying candidate # 1552120354.628 * * * * [progress]: [ 32 / 41 ] simplifiying candidate # 1552120354.628 * [simplify]: Simplifying (- (exp x) (exp (- x))) 1552120354.628 * * [simplify]: iters left: 5 (5 enodes) 1552120354.629 * * [simplify]: iters left: 4 (19 enodes) 1552120354.632 * * [simplify]: iters left: 3 (29 enodes) 1552120354.637 * * [simplify]: iters left: 2 (33 enodes) 1552120354.642 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120354.642 * * [simplify]: Extracting #1: cost 5 inf + 0 1552120354.642 * * [simplify]: Extracting #2: cost 12 inf + 0 1552120354.642 * * [simplify]: Extracting #3: cost 10 inf + 3 1552120354.642 * * [simplify]: Extracting #4: cost 3 inf + 561 1552120354.643 * * [simplify]: Extracting #5: cost 0 inf + 977 1552120354.643 * [simplify]: Simplified to (+ (/ -1 (exp x)) (exp x)) 1552120354.643 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (+ (/ -1 (exp x)) (exp x)) (* (/ 1 2) (sin y)))))) 1552120354.643 * * * * [progress]: [ 33 / 41 ] simplifiying candidate # 1552120354.643 * [simplify]: Simplifying (* (- (exp x) (exp (- x))) (sin y)) 1552120354.643 * * [simplify]: iters left: 6 (8 enodes) 1552120354.645 * * [simplify]: iters left: 5 (29 enodes) 1552120354.649 * * [simplify]: iters left: 4 (45 enodes) 1552120354.656 * * [simplify]: iters left: 3 (63 enodes) 1552120354.664 * * [simplify]: iters left: 2 (80 enodes) 1552120354.675 * * [simplify]: iters left: 1 (91 enodes) 1552120354.690 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120354.690 * * [simplify]: Extracting #1: cost 10 inf + 0 1552120354.690 * * [simplify]: Extracting #2: cost 30 inf + 1 1552120354.690 * * [simplify]: Extracting #3: cost 36 inf + 3 1552120354.691 * * [simplify]: Extracting #4: cost 27 inf + 907 1552120354.692 * * [simplify]: Extracting #5: cost 5 inf + 4149 1552120354.693 * * [simplify]: Extracting #6: cost 0 inf + 5010 1552120354.694 * [simplify]: Simplified to (- (* (sin y) (exp x)) (/ (sin y) (exp x))) 1552120354.694 * [simplify]: Simplified (2 1 2 1) to (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (/ (- (* (sin y) (exp x)) (/ (sin y) (exp x))) 2)))) 1552120354.694 * * * * [progress]: [ 34 / 41 ] simplifiying candidate #real (real->posit16 (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))))> 1552120354.694 * * * * [progress]: [ 35 / 41 ] simplifiying candidate # 1552120354.694 * * * * [progress]: [ 36 / 41 ] simplifiying candidate # 1552120354.695 * [simplify]: Simplifying (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) 1552120354.695 * * [simplify]: iters left: 6 (13 enodes) 1552120354.698 * * [simplify]: iters left: 5 (49 enodes) 1552120354.706 * * [simplify]: iters left: 4 (67 enodes) 1552120354.717 * * [simplify]: iters left: 3 (92 enodes) 1552120354.729 * * [simplify]: iters left: 2 (106 enodes) 1552120354.744 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120354.744 * * [simplify]: Extracting #1: cost 8 inf + 0 1552120354.744 * * [simplify]: Extracting #2: cost 24 inf + 0 1552120354.744 * * [simplify]: Extracting #3: cost 27 inf + 45 1552120354.744 * * [simplify]: Extracting #4: cost 17 inf + 631 1552120354.745 * * [simplify]: Extracting #5: cost 5 inf + 3446 1552120354.746 * * [simplify]: Extracting #6: cost 0 inf + 4734 1552120354.746 * [simplify]: Simplified to (+ (* (pow x 5) 1/60) (* x (+ (* x (* 1/3 x)) 2))) 1552120354.746 * [simplify]: Simplified (2 1 2 1 1) to (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (+ (* (pow x 5) 1/60) (* x (+ (* x (* 1/3 x)) 2))) 2) (sin y))))) 1552120354.747 * * * * [progress]: [ 37 / 41 ] simplifiying candidate # 1552120354.747 * [simplify]: Simplifying (- (exp x) (exp (- x))) 1552120354.747 * * [simplify]: iters left: 5 (5 enodes) 1552120354.748 * * [simplify]: iters left: 4 (19 enodes) 1552120354.751 * * [simplify]: iters left: 3 (29 enodes) 1552120354.756 * * [simplify]: iters left: 2 (33 enodes) 1552120354.760 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120354.760 * * [simplify]: Extracting #1: cost 5 inf + 0 1552120354.760 * * [simplify]: Extracting #2: cost 12 inf + 0 1552120354.760 * * [simplify]: Extracting #3: cost 10 inf + 3 1552120354.760 * * [simplify]: Extracting #4: cost 3 inf + 561 1552120354.760 * * [simplify]: Extracting #5: cost 0 inf + 977 1552120354.761 * [simplify]: Simplified to (+ (/ -1 (exp x)) (exp x)) 1552120354.761 * [simplify]: Simplified (2 1 2 1 1) to (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (+ (/ -1 (exp x)) (exp x)) 2) (sin y))))) 1552120354.761 * * * * [progress]: [ 38 / 41 ] simplifiying candidate # 1552120354.761 * [simplify]: Simplifying (- (exp x) (exp (* -1 x))) 1552120354.761 * * [simplify]: iters left: 5 (6 enodes) 1552120354.763 * * [simplify]: iters left: 4 (24 enodes) 1552120354.766 * * [simplify]: iters left: 3 (32 enodes) 1552120354.771 * * [simplify]: iters left: 2 (38 enodes) 1552120354.776 * * [simplify]: iters left: 1 (40 enodes) 1552120354.781 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120354.781 * * [simplify]: Extracting #1: cost 5 inf + 0 1552120354.781 * * [simplify]: Extracting #2: cost 13 inf + 0 1552120354.781 * * [simplify]: Extracting #3: cost 11 inf + 74 1552120354.781 * * [simplify]: Extracting #4: cost 3 inf + 1155 1552120354.782 * * [simplify]: Extracting #5: cost 0 inf + 1530 1552120354.782 * * [simplify]: Extracting #6: cost 0 inf + 1119 1552120354.782 * [simplify]: Simplified to (+ (/ -1 (exp x)) (exp x)) 1552120354.782 * [simplify]: Simplified (2 1 2 1 1) to (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (+ (/ -1 (exp x)) (exp x)) 2) (sin y))))) 1552120354.782 * * * * [progress]: [ 39 / 41 ] simplifiying candidate # 1552120354.782 * [simplify]: Simplifying (* x y) 1552120354.782 * * [simplify]: iters left: 2 (3 enodes) 1552120354.783 * * [simplify]: iters left: 1 (10 enodes) 1552120354.784 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120354.784 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120354.784 * * [simplify]: Extracting #2: cost 2 inf + 2 1552120354.784 * * [simplify]: Extracting #3: cost 0 inf + 86 1552120354.784 * [simplify]: Simplified to (* x y) 1552120354.784 * [simplify]: Simplified (2 1 2) to (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* x y)))) 1552120354.784 * * * * [progress]: [ 40 / 41 ] simplifiying candidate # 1552120354.785 * [simplify]: Simplifying (* 1/2 (* (- (exp x) (exp (- x))) (sin y))) 1552120354.785 * * [simplify]: iters left: 6 (10 enodes) 1552120354.787 * * [simplify]: iters left: 5 (38 enodes) 1552120354.794 * * [simplify]: iters left: 4 (68 enodes) 1552120354.806 * * [simplify]: iters left: 3 (137 enodes) 1552120354.831 * * [simplify]: iters left: 2 (228 enodes) 1552120354.867 * * [simplify]: iters left: 1 (278 enodes) 1552120354.909 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120354.909 * * [simplify]: Extracting #1: cost 14 inf + 0 1552120354.909 * * [simplify]: Extracting #2: cost 47 inf + 2 1552120354.910 * * [simplify]: Extracting #3: cost 65 inf + 127 1552120354.910 * * [simplify]: Extracting #4: cost 59 inf + 738 1552120354.911 * * [simplify]: Extracting #5: cost 21 inf + 6645 1552120354.913 * * [simplify]: Extracting #6: cost 1 inf + 10138 1552120354.915 * * [simplify]: Extracting #7: cost 0 inf + 10261 1552120354.917 * [simplify]: Simplified to (* 1/2 (- (* (sin y) (exp x)) (/ (sin y) (exp x)))) 1552120354.917 * [simplify]: Simplified (2 1 2) to (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* 1/2 (- (* (sin y) (exp x)) (/ (sin y) (exp x))))))) 1552120354.918 * * * * [progress]: [ 41 / 41 ] simplifiying candidate # 1552120354.918 * [simplify]: Simplifying (* 1/2 (* (- (exp x) (exp (* -1 x))) (sin y))) 1552120354.918 * * [simplify]: iters left: 6 (11 enodes) 1552120354.921 * * [simplify]: iters left: 5 (43 enodes) 1552120354.927 * * [simplify]: iters left: 4 (71 enodes) 1552120354.940 * * [simplify]: iters left: 3 (143 enodes) 1552120354.967 * * [simplify]: iters left: 2 (236 enodes) 1552120355.001 * * [simplify]: iters left: 1 (284 enodes) 1552120355.042 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120355.042 * * [simplify]: Extracting #1: cost 14 inf + 0 1552120355.042 * * [simplify]: Extracting #2: cost 47 inf + 2 1552120355.042 * * [simplify]: Extracting #3: cost 66 inf + 127 1552120355.042 * * [simplify]: Extracting #4: cost 60 inf + 809 1552120355.043 * * [simplify]: Extracting #5: cost 25 inf + 6070 1552120355.045 * * [simplify]: Extracting #6: cost 0 inf + 10683 1552120355.048 * * [simplify]: Extracting #7: cost 0 inf + 10403 1552120355.050 * [simplify]: Simplified to (- (* (* 1/2 (sin y)) (exp x)) (/ (* 1/2 (sin y)) (exp x))) 1552120355.050 * [simplify]: Simplified (2 1 2) to (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (- (* (* 1/2 (sin y)) (exp x)) (/ (* 1/2 (sin y)) (exp x)))))) 1552120355.050 * * * [progress]: adding candidates to table 1552120355.544 * [progress]: [Phase 3 of 3] Extracting. 1552120355.551 * [simplify]: Simplifying (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))) 1552120355.551 * * [simplify]: iters left: 6 (16 enodes) 1552120355.552 * * [simplify]: iters left: 5 (19 enodes) 1552120355.553 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120355.553 * * [simplify]: Extracting #1: cost 2 inf + 0 1552120355.553 * * [simplify]: Extracting #2: cost 4 inf + 0 1552120355.553 * * [simplify]: Extracting #3: cost 8 inf + 0 1552120355.553 * * [simplify]: Extracting #4: cost 12 inf + 0 1552120355.553 * * [simplify]: Extracting #5: cost 10 inf + 124 1552120355.553 * * [simplify]: Extracting #6: cost 12 inf + 124 1552120355.553 * * [simplify]: Extracting #7: cost 11 inf + 125 1552120355.553 * * [simplify]: Extracting #8: cost 8 inf + 348 1552120355.554 * * [simplify]: Extracting #9: cost 2 inf + 2040 1552120355.554 * * [simplify]: Extracting #10: cost 0 inf + 3126 1552120355.555 * [simplify]: Simplified to (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))) 1552120355.555 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1552120355.612 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1552120355.616 * * * * [points]: Setting MPFR precision to 64 1552120355.617 * * * * [points]: Setting MPFR precision to 320 1552120355.618 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1552120355.621 * * * * [points]: Setting MPFR precision to 64 1552120355.623 * * * * [points]: Setting MPFR precision to 320 1552120355.626 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1552120355.635 * * * * [points]: Setting MPFR precision to 64 1552120355.640 * * * * [points]: Setting MPFR precision to 320 1552120355.644 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1552120355.647 * * * * [points]: Setting MPFR precision to 64 1552120355.655 * * * * [points]: Setting MPFR precision to 320 1552120355.664 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1552120355.667 * * * * [points]: Setting MPFR precision to 64 1552120355.682 * * * * [points]: Setting MPFR precision to 320 1552120355.700 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1552120355.704 * * * * [points]: Setting MPFR precision to 64 1552120355.733 * * * * [points]: Setting MPFR precision to 320 1552120355.765 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1552120355.767 * * * * [points]: Setting MPFR precision to 64 1552120355.855 * * * * [points]: Setting MPFR precision to 320 1552120355.923 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 1552120355.926 * * * * [points]: Setting MPFR precision to 64 1552120356.412 * * * * [points]: Setting MPFR precision to 320 1552120356.510 * * * * [points]: Computing exacts for 8000 points 1552120356.512 * * * * [points]: Setting MPFR precision to 64 1552120356.972 * * * * [points]: Setting MPFR precision to 320 1552120357.464 * * * * [points]: Filtering points with unrepresentable outputs 1552120357.466 * * * * [points]: Sampling 3956 additional inputs, on iter 1 have 4044 / 8000 1552120357.534 * * * * [points]: Computing exacts on every 247 of 3956 points to ramp up precision 1552120357.538 * * * * [points]: Setting MPFR precision to 64 1552120357.539 * * * * [points]: Setting MPFR precision to 320 1552120357.540 * * * * [points]: Computing exacts on every 123 of 3956 points to ramp up precision 1552120357.544 * * * * [points]: Setting MPFR precision to 64 1552120357.546 * * * * [points]: Setting MPFR precision to 320 1552120357.548 * * * * [points]: Computing exacts on every 61 of 3956 points to ramp up precision 1552120357.552 * * * * [points]: Setting MPFR precision to 64 1552120357.555 * * * * [points]: Setting MPFR precision to 320 1552120357.560 * * * * [points]: Computing exacts on every 30 of 3956 points to ramp up precision 1552120357.563 * * * * [points]: Setting MPFR precision to 64 1552120357.571 * * * * [points]: Setting MPFR precision to 320 1552120357.581 * * * * [points]: Computing exacts on every 15 of 3956 points to ramp up precision 1552120357.585 * * * * [points]: Setting MPFR precision to 64 1552120357.596 * * * * [points]: Setting MPFR precision to 320 1552120357.608 * * * * [points]: Computing exacts on every 7 of 3956 points to ramp up precision 1552120357.610 * * * * [points]: Setting MPFR precision to 64 1552120357.629 * * * * [points]: Setting MPFR precision to 320 1552120357.711 * * * * [points]: Computing exacts on every 3 of 3956 points to ramp up precision 1552120357.715 * * * * [points]: Setting MPFR precision to 64 1552120357.781 * * * * [points]: Setting MPFR precision to 320 1552120357.850 * * * * [points]: Computing exacts for 3956 points 1552120357.854 * * * * [points]: Setting MPFR precision to 64 1552120358.343 * * * * [points]: Setting MPFR precision to 320 1552120358.561 * * * * [points]: Filtering points with unrepresentable outputs 1552120358.562 * * * * [points]: Sampling 1941 additional inputs, on iter 2 have 6059 / 8000 1552120358.571 * * * * [points]: Computing exacts on every 121 of 1941 points to ramp up precision 1552120358.573 * * * * [points]: Setting MPFR precision to 64 1552120358.574 * * * * [points]: Setting MPFR precision to 320 1552120358.575 * * * * [points]: Computing exacts on every 60 of 1941 points to ramp up precision 1552120358.577 * * * * [points]: Setting MPFR precision to 64 1552120358.610 * * * * [points]: Setting MPFR precision to 320 1552120358.611 * * * * [points]: Computing exacts on every 30 of 1941 points to ramp up precision 1552120358.614 * * * * [points]: Setting MPFR precision to 64 1552120358.616 * * * * [points]: Setting MPFR precision to 320 1552120358.621 * * * * [points]: Computing exacts on every 15 of 1941 points to ramp up precision 1552120358.623 * * * * [points]: Setting MPFR precision to 64 1552120358.628 * * * * [points]: Setting MPFR precision to 320 1552120358.634 * * * * [points]: Computing exacts on every 7 of 1941 points to ramp up precision 1552120358.636 * * * * [points]: Setting MPFR precision to 64 1552120358.645 * * * * [points]: Setting MPFR precision to 320 1552120358.655 * * * * [points]: Computing exacts on every 3 of 1941 points to ramp up precision 1552120358.658 * * * * [points]: Setting MPFR precision to 64 1552120358.676 * * * * [points]: Setting MPFR precision to 320 1552120358.697 * * * * [points]: Computing exacts for 1941 points 1552120358.699 * * * * [points]: Setting MPFR precision to 64 1552120358.828 * * * * [points]: Setting MPFR precision to 320 1552120359.019 * * * * [points]: Filtering points with unrepresentable outputs 1552120359.020 * * * * [points]: Sampling 975 additional inputs, on iter 3 have 7025 / 8000 1552120359.027 * * * * [points]: Computing exacts on every 60 of 975 points to ramp up precision 1552120359.031 * * * * [points]: Setting MPFR precision to 64 1552120359.032 * * * * [points]: Setting MPFR precision to 320 1552120359.033 * * * * [points]: Computing exacts on every 30 of 975 points to ramp up precision 1552120359.036 * * * * [points]: Setting MPFR precision to 64 1552120359.038 * * * * [points]: Setting MPFR precision to 320 1552120359.041 * * * * [points]: Computing exacts on every 15 of 975 points to ramp up precision 1552120359.044 * * * * [points]: Setting MPFR precision to 64 1552120359.048 * * * * [points]: Setting MPFR precision to 320 1552120359.052 * * * * [points]: Computing exacts on every 7 of 975 points to ramp up precision 1552120359.056 * * * * [points]: Setting MPFR precision to 64 1552120359.064 * * * * [points]: Setting MPFR precision to 320 1552120359.073 * * * * [points]: Computing exacts on every 3 of 975 points to ramp up precision 1552120359.077 * * * * [points]: Setting MPFR precision to 64 1552120359.088 * * * * [points]: Setting MPFR precision to 320 1552120359.099 * * * * [points]: Computing exacts for 975 points 1552120359.101 * * * * [points]: Setting MPFR precision to 64 1552120359.193 * * * * [points]: Setting MPFR precision to 320 1552120359.250 * * * * [points]: Setting MPFR precision to 576 1552120359.307 * * * * [points]: Filtering points with unrepresentable outputs 1552120359.308 * * * * [points]: Sampling 495 additional inputs, on iter 4 have 7505 / 8000 1552120359.310 * * * * [points]: Computing exacts on every 30 of 495 points to ramp up precision 1552120359.313 * * * * [points]: Setting MPFR precision to 320 1552120359.314 * * * * [points]: Setting MPFR precision to 576 1552120359.315 * * * * [points]: Computing exacts on every 15 of 495 points to ramp up precision 1552120359.353 * * * * [points]: Setting MPFR precision to 320 1552120359.355 * * * * [points]: Setting MPFR precision to 576 1552120359.357 * * * * [points]: Computing exacts on every 7 of 495 points to ramp up precision 1552120359.359 * * * * [points]: Setting MPFR precision to 320 1552120359.365 * * * * [points]: Setting MPFR precision to 576 1552120359.368 * * * * [points]: Computing exacts on every 3 of 495 points to ramp up precision 1552120359.371 * * * * [points]: Setting MPFR precision to 320 1552120359.377 * * * * [points]: Setting MPFR precision to 576 1552120359.384 * * * * [points]: Computing exacts for 495 points 1552120359.387 * * * * [points]: Setting MPFR precision to 320 1552120359.410 * * * * [points]: Setting MPFR precision to 576 1552120359.440 * * * * [points]: Filtering points with unrepresentable outputs 1552120359.440 * * * * [points]: Sampling 250 additional inputs, on iter 5 have 7750 / 8000 1552120359.441 * * * * [points]: Computing exacts on every 15 of 250 points to ramp up precision 1552120359.444 * * * * [points]: Setting MPFR precision to 320 1552120359.445 * * * * [points]: Setting MPFR precision to 576 1552120359.446 * * * * [points]: Computing exacts on every 7 of 250 points to ramp up precision 1552120359.448 * * * * [points]: Setting MPFR precision to 320 1552120359.450 * * * * [points]: Setting MPFR precision to 576 1552120359.452 * * * * [points]: Computing exacts on every 3 of 250 points to ramp up precision 1552120359.455 * * * * [points]: Setting MPFR precision to 320 1552120359.482 * * * * [points]: Setting MPFR precision to 576 1552120359.486 * * * * [points]: Computing exacts for 250 points 1552120359.489 * * * * [points]: Setting MPFR precision to 320 1552120359.503 * * * * [points]: Setting MPFR precision to 576 1552120359.519 * * * * [points]: Filtering points with unrepresentable outputs 1552120359.519 * * * * [points]: Sampling 136 additional inputs, on iter 6 have 7864 / 8000 1552120359.519 * * * * [points]: Computing exacts on every 8 of 136 points to ramp up precision 1552120359.522 * * * * [points]: Setting MPFR precision to 320 1552120359.523 * * * * [points]: Setting MPFR precision to 576 1552120359.524 * * * * [points]: Computing exacts on every 4 of 136 points to ramp up precision 1552120359.527 * * * * [points]: Setting MPFR precision to 320 1552120359.528 * * * * [points]: Setting MPFR precision to 576 1552120359.530 * * * * [points]: Computing exacts on every 2 of 136 points to ramp up precision 1552120359.533 * * * * [points]: Setting MPFR precision to 320 1552120359.535 * * * * [points]: Setting MPFR precision to 576 1552120359.538 * * * * [points]: Computing exacts for 136 points 1552120359.541 * * * * [points]: Setting MPFR precision to 320 1552120359.548 * * * * [points]: Setting MPFR precision to 576 1552120359.556 * * * * [points]: Filtering points with unrepresentable outputs 1552120359.556 * * * * [points]: Sampling 62 additional inputs, on iter 7 have 7938 / 8000 1552120359.557 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision 1552120359.560 * * * * [points]: Setting MPFR precision to 320 1552120359.560 * * * * [points]: Setting MPFR precision to 576 1552120359.561 * * * * [points]: Computing exacts for 62 points 1552120359.564 * * * * [points]: Setting MPFR precision to 320 1552120359.567 * * * * [points]: Setting MPFR precision to 576 1552120359.571 * * * * [points]: Filtering points with unrepresentable outputs 1552120359.571 * * * * [points]: Sampling 25 additional inputs, on iter 8 have 7975 / 8000 1552120359.571 * * * * [points]: Computing exacts for 25 points 1552120359.574 * * * * [points]: Setting MPFR precision to 320 1552120359.575 * * * * [points]: Setting MPFR precision to 576 1552120359.576 * * * * [points]: Filtering points with unrepresentable outputs 1552120359.577 * * * * [points]: Sampling 15 additional inputs, on iter 9 have 7985 / 8000 1552120359.577 * * * * [points]: Computing exacts for 15 points 1552120359.579 * * * * [points]: Setting MPFR precision to 320 1552120359.598 * * * * [points]: Setting MPFR precision to 576 1552120359.599 * * * * [points]: Filtering points with unrepresentable outputs 1552120359.599 * * * * [points]: Sampling 9 additional inputs, on iter 10 have 7991 / 8000 1552120359.599 * * * * [points]: Computing exacts for 9 points 1552120359.602 * * * * [points]: Setting MPFR precision to 320 1552120359.603 * * * * [points]: Setting MPFR precision to 576 1552120359.603 * * * * [points]: Filtering points with unrepresentable outputs 1552120359.603 * * * * [points]: Sampling 5 additional inputs, on iter 11 have 7995 / 8000 1552120359.603 * * * * [points]: Computing exacts for 5 points 1552120359.606 * * * * [points]: Setting MPFR precision to 320 1552120359.607 * * * * [points]: Setting MPFR precision to 576 1552120359.607 * * * * [points]: Filtering points with unrepresentable outputs 1552120359.607 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 1552120359.607 * * * * [points]: Computing exacts for 4 points 1552120359.612 * * * * [points]: Setting MPFR precision to 320 1552120359.612 * * * * [points]: Setting MPFR precision to 576 1552120359.613 * * * * [points]: Filtering points with unrepresentable outputs 1552120359.613 * * * * [points]: Sampled 8001 points with exact outputs 1552120359.811 * [regime-testing]: Baseline error score: 0.011896240625180288 1552120359.812 * [regime-testing]: Oracle error score: 0.011896240625180288 1552120359.812 * [regime-testing]: End program error score: 0.011896240625180288