1553855526.885 * [progress]: [Phase 1 of 3] Setting up. 1553855526.886 * * * [progress]: [1/2] Preparing points 1553855527.309 * * * [progress]: [2/2] Setting up program. 1553855527.317 * [progress]: [Phase 2 of 3] Improving. 1553855527.318 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553855527.319 * [simplify]: Simplifying (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2))) 1553855527.321 * * [simplify]: iters left: 4 (7 enodes) 1553855527.338 * * [simplify]: iters left: 3 (33 enodes) 1553855527.351 * * [simplify]: iters left: 2 (57 enodes) 1553855527.370 * * [simplify]: iters left: 1 (77 enodes) 1553855527.394 * * [simplify]: Extracting #0: cost 1 inf + 0 1553855527.394 * * [simplify]: Extracting #1: cost 4 inf + 0 1553855527.394 * * [simplify]: Extracting #2: cost 16 inf + 0 1553855527.395 * * [simplify]: Extracting #3: cost 24 inf + 166 1553855527.395 * * [simplify]: Extracting #4: cost 19 inf + 653 1553855527.396 * * [simplify]: Extracting #5: cost 6 inf + 2252 1553855527.398 * * [simplify]: Extracting #6: cost 0 inf + 2972 1553855527.399 * [simplify]: Simplified to (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))) 1553855527.421 * [simplify]: Simplified (2) to (λ (c) (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553855527.439 * * [progress]: iteration 1 / 4 1553855527.439 * * * [progress]: picking best candidate 1553855527.443 * * * * [pick]: Picked # 1553855527.443 * * * [progress]: localizing error 1553855527.470 * * * [progress]: generating rewritten candidates 1553855527.471 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 1553855527.478 * * * [progress]: generating series expansions 1553855527.478 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 1553855527.482 * [backup-simplify]: Simplify (sinh c) into (sinh c) 1553855527.482 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 1553855527.483 * [taylor]: Taking taylor expansion of (sinh c) in c 1553855527.485 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553855527.485 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553855527.485 * [taylor]: Taking taylor expansion of (exp c) in c 1553855527.485 * [taylor]: Taking taylor expansion of c in c 1553855527.485 * [backup-simplify]: Simplify 0 into 0 1553855527.485 * [backup-simplify]: Simplify 1 into 1 1553855527.485 * [backup-simplify]: Simplify (exp 0) into 1 1553855527.485 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553855527.485 * [taylor]: Taking taylor expansion of (- c) in c 1553855527.485 * [taylor]: Taking taylor expansion of c in c 1553855527.485 * [backup-simplify]: Simplify 0 into 0 1553855527.485 * [backup-simplify]: Simplify 1 into 1 1553855527.486 * [backup-simplify]: Simplify (- 0) into 0 1553855527.487 * [backup-simplify]: Simplify (- 1) into -1 1553855527.487 * [backup-simplify]: Simplify (exp 0) into 1 1553855527.487 * [taylor]: Taking taylor expansion of 2 in c 1553855527.487 * [backup-simplify]: Simplify 2 into 2 1553855527.488 * [backup-simplify]: Simplify (- 1) into -1 1553855527.488 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553855527.490 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553855527.490 * [backup-simplify]: Simplify (- 1) into -1 1553855527.491 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553855527.491 * [backup-simplify]: Simplify (- -1) into 1 1553855527.492 * [backup-simplify]: Simplify (+ 1 1) into 2 1553855527.492 * [backup-simplify]: Simplify (/ 2 2) into 1 1553855527.492 * [taylor]: Taking taylor expansion of (sinh c) in c 1553855527.492 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553855527.492 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553855527.492 * [taylor]: Taking taylor expansion of (exp c) in c 1553855527.492 * [taylor]: Taking taylor expansion of c in c 1553855527.492 * [backup-simplify]: Simplify 0 into 0 1553855527.492 * [backup-simplify]: Simplify 1 into 1 1553855527.492 * [backup-simplify]: Simplify (exp 0) into 1 1553855527.492 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553855527.492 * [taylor]: Taking taylor expansion of (- c) in c 1553855527.493 * [taylor]: Taking taylor expansion of c in c 1553855527.493 * [backup-simplify]: Simplify 0 into 0 1553855527.493 * [backup-simplify]: Simplify 1 into 1 1553855527.493 * [backup-simplify]: Simplify (- 0) into 0 1553855527.493 * [backup-simplify]: Simplify (- 1) into -1 1553855527.493 * [backup-simplify]: Simplify (exp 0) into 1 1553855527.493 * [taylor]: Taking taylor expansion of 2 in c 1553855527.493 * [backup-simplify]: Simplify 2 into 2 1553855527.494 * [backup-simplify]: Simplify (- 1) into -1 1553855527.494 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553855527.495 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553855527.495 * [backup-simplify]: Simplify (- 1) into -1 1553855527.496 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553855527.497 * [backup-simplify]: Simplify (- -1) into 1 1553855527.497 * [backup-simplify]: Simplify (+ 1 1) into 2 1553855527.497 * [backup-simplify]: Simplify (/ 2 2) into 1 1553855527.498 * [backup-simplify]: Simplify 1 into 1 1553855527.500 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553855527.500 * [backup-simplify]: Simplify (- 1) into -1 1553855527.501 * [backup-simplify]: Simplify (- 0) into 0 1553855527.502 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553855527.502 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553855527.503 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 1553855527.504 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1553855527.504 * [backup-simplify]: Simplify 0 into 0 1553855527.506 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1553855527.506 * [backup-simplify]: Simplify (- 1) into -1 1553855527.507 * [backup-simplify]: Simplify (- 1) into -1 1553855527.507 * [backup-simplify]: Simplify (- 0) into 0 1553855527.507 * [backup-simplify]: Simplify (- 0) into 0 1553855527.509 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1553855527.510 * [backup-simplify]: Simplify (- -1/6) into 1/6 1553855527.510 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 1553855527.511 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1553855527.511 * [backup-simplify]: Simplify 1/6 into 1/6 1553855527.515 * [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 1553855527.515 * [backup-simplify]: Simplify (- 1) into -1 1553855527.516 * [backup-simplify]: Simplify (- 1) into -1 1553855527.516 * [backup-simplify]: Simplify (- 0) into 0 1553855527.516 * [backup-simplify]: Simplify (- 1) into -1 1553855527.517 * [backup-simplify]: Simplify (- 0) into 0 1553855527.517 * [backup-simplify]: Simplify (- 0) into 0 1553855527.517 * [backup-simplify]: Simplify (- 0) into 0 1553855527.522 * [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 1553855527.523 * [backup-simplify]: Simplify (- 1/24) into -1/24 1553855527.523 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 1553855527.524 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1553855527.524 * [backup-simplify]: Simplify 0 into 0 1553855527.530 * [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 1553855527.531 * [backup-simplify]: Simplify (- 1) into -1 1553855527.531 * [backup-simplify]: Simplify (- 1) into -1 1553855527.531 * [backup-simplify]: Simplify (- 0) into 0 1553855527.532 * [backup-simplify]: Simplify (- 1) into -1 1553855527.532 * [backup-simplify]: Simplify (- 0) into 0 1553855527.533 * [backup-simplify]: Simplify (- 1) into -1 1553855527.533 * [backup-simplify]: Simplify (- 0) into 0 1553855527.533 * [backup-simplify]: Simplify (- 1) into -1 1553855527.533 * [backup-simplify]: Simplify (- 0) into 0 1553855527.534 * [backup-simplify]: Simplify (- 0) into 0 1553855527.534 * [backup-simplify]: Simplify (- 0) into 0 1553855527.534 * [backup-simplify]: Simplify (- 0) into 0 1553855527.537 * [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 1553855527.538 * [backup-simplify]: Simplify (- -1/120) into 1/120 1553855527.538 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 1553855527.539 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1553855527.539 * [backup-simplify]: Simplify 1/120 into 1/120 1553855527.541 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553855527.542 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 1553855527.542 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1553855527.542 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553855527.542 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553855527.542 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553855527.542 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553855527.542 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553855527.542 * [taylor]: Taking taylor expansion of c in c 1553855527.542 * [backup-simplify]: Simplify 0 into 0 1553855527.542 * [backup-simplify]: Simplify 1 into 1 1553855527.542 * [backup-simplify]: Simplify (/ 1 1) into 1 1553855527.542 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553855527.542 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553855527.542 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553855527.542 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553855527.542 * [taylor]: Taking taylor expansion of c in c 1553855527.542 * [backup-simplify]: Simplify 0 into 0 1553855527.542 * [backup-simplify]: Simplify 1 into 1 1553855527.543 * [backup-simplify]: Simplify (/ 1 1) into 1 1553855527.543 * [backup-simplify]: Simplify (- 1) into -1 1553855527.543 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553855527.543 * [taylor]: Taking taylor expansion of 2 in c 1553855527.543 * [backup-simplify]: Simplify 2 into 2 1553855527.543 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553855527.543 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553855527.543 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553855527.543 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553855527.543 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553855527.543 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553855527.543 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553855527.543 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553855527.543 * [taylor]: Taking taylor expansion of c in c 1553855527.544 * [backup-simplify]: Simplify 0 into 0 1553855527.544 * [backup-simplify]: Simplify 1 into 1 1553855527.544 * [backup-simplify]: Simplify (/ 1 1) into 1 1553855527.544 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553855527.544 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553855527.544 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553855527.544 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553855527.544 * [taylor]: Taking taylor expansion of c in c 1553855527.544 * [backup-simplify]: Simplify 0 into 0 1553855527.544 * [backup-simplify]: Simplify 1 into 1 1553855527.544 * [backup-simplify]: Simplify (/ 1 1) into 1 1553855527.544 * [backup-simplify]: Simplify (- 1) into -1 1553855527.544 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553855527.544 * [taylor]: Taking taylor expansion of 2 in c 1553855527.544 * [backup-simplify]: Simplify 2 into 2 1553855527.545 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553855527.545 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553855527.545 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553855527.545 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553855527.553 * [backup-simplify]: Simplify (- 0) into 0 1553855527.554 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855527.555 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1553855527.555 * [backup-simplify]: Simplify 0 into 0 1553855527.555 * [backup-simplify]: Simplify (- 0) into 0 1553855527.555 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855527.556 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855527.556 * [backup-simplify]: Simplify 0 into 0 1553855527.556 * [backup-simplify]: Simplify (- 0) into 0 1553855527.557 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855527.558 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855527.558 * [backup-simplify]: Simplify 0 into 0 1553855527.558 * [backup-simplify]: Simplify (- 0) into 0 1553855527.558 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855527.560 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855527.560 * [backup-simplify]: Simplify 0 into 0 1553855527.560 * [backup-simplify]: Simplify (- 0) into 0 1553855527.561 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855527.563 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855527.563 * [backup-simplify]: Simplify 0 into 0 1553855527.563 * [backup-simplify]: Simplify (- 0) into 0 1553855527.563 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855527.565 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855527.565 * [backup-simplify]: Simplify 0 into 0 1553855527.565 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1553855527.566 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 1553855527.566 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1553855527.566 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553855527.566 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553855527.566 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553855527.566 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553855527.566 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553855527.566 * [taylor]: Taking taylor expansion of -1 in c 1553855527.566 * [backup-simplify]: Simplify -1 into -1 1553855527.566 * [taylor]: Taking taylor expansion of c in c 1553855527.566 * [backup-simplify]: Simplify 0 into 0 1553855527.566 * [backup-simplify]: Simplify 1 into 1 1553855527.566 * [backup-simplify]: Simplify (/ -1 1) into -1 1553855527.566 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553855527.566 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553855527.566 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553855527.566 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553855527.566 * [taylor]: Taking taylor expansion of -1 in c 1553855527.566 * [backup-simplify]: Simplify -1 into -1 1553855527.566 * [taylor]: Taking taylor expansion of c in c 1553855527.566 * [backup-simplify]: Simplify 0 into 0 1553855527.566 * [backup-simplify]: Simplify 1 into 1 1553855527.567 * [backup-simplify]: Simplify (/ -1 1) into -1 1553855527.567 * [backup-simplify]: Simplify (- -1) into 1 1553855527.567 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553855527.567 * [taylor]: Taking taylor expansion of 2 in c 1553855527.567 * [backup-simplify]: Simplify 2 into 2 1553855527.567 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553855527.567 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553855527.567 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553855527.567 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553855527.567 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553855527.567 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553855527.567 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553855527.567 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553855527.567 * [taylor]: Taking taylor expansion of -1 in c 1553855527.567 * [backup-simplify]: Simplify -1 into -1 1553855527.567 * [taylor]: Taking taylor expansion of c in c 1553855527.567 * [backup-simplify]: Simplify 0 into 0 1553855527.567 * [backup-simplify]: Simplify 1 into 1 1553855527.568 * [backup-simplify]: Simplify (/ -1 1) into -1 1553855527.568 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553855527.568 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553855527.568 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553855527.568 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553855527.568 * [taylor]: Taking taylor expansion of -1 in c 1553855527.568 * [backup-simplify]: Simplify -1 into -1 1553855527.568 * [taylor]: Taking taylor expansion of c in c 1553855527.568 * [backup-simplify]: Simplify 0 into 0 1553855527.568 * [backup-simplify]: Simplify 1 into 1 1553855527.568 * [backup-simplify]: Simplify (/ -1 1) into -1 1553855527.568 * [backup-simplify]: Simplify (- -1) into 1 1553855527.568 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553855527.568 * [taylor]: Taking taylor expansion of 2 in c 1553855527.568 * [backup-simplify]: Simplify 2 into 2 1553855527.568 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553855527.569 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553855527.569 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553855527.569 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553855527.569 * [backup-simplify]: Simplify (- 0) into 0 1553855527.569 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855527.570 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1553855527.570 * [backup-simplify]: Simplify 0 into 0 1553855527.570 * [backup-simplify]: Simplify (- 0) into 0 1553855527.570 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855527.571 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855527.571 * [backup-simplify]: Simplify 0 into 0 1553855527.572 * [backup-simplify]: Simplify (- 0) into 0 1553855527.572 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855527.573 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855527.573 * [backup-simplify]: Simplify 0 into 0 1553855527.573 * [backup-simplify]: Simplify (- 0) into 0 1553855527.573 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855527.575 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855527.575 * [backup-simplify]: Simplify 0 into 0 1553855527.575 * [backup-simplify]: Simplify (- 0) into 0 1553855527.576 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855527.578 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855527.578 * [backup-simplify]: Simplify 0 into 0 1553855527.578 * [backup-simplify]: Simplify (- 0) into 0 1553855527.579 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855527.581 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855527.581 * [backup-simplify]: Simplify 0 into 0 1553855527.581 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1553855527.581 * * * [progress]: simplifying candidates 1553855527.581 * * * * [progress]: [ 1 / 14 ] simplifiying candidate # 1553855527.581 * * * * [progress]: [ 2 / 14 ] simplifiying candidate # 1553855527.581 * * * * [progress]: [ 3 / 14 ] simplifiying candidate # 1553855527.581 * * * * [progress]: [ 4 / 14 ] simplifiying candidate # 1553855527.581 * * * * [progress]: [ 5 / 14 ] simplifiying candidate # 1553855527.582 * * * * [progress]: [ 6 / 14 ] simplifiying candidate # 1553855527.582 * * * * [progress]: [ 7 / 14 ] simplifiying candidate # 1553855527.582 * * * * [progress]: [ 8 / 14 ] simplifiying candidate # 1553855527.582 * * * * [progress]: [ 9 / 14 ] simplifiying candidate # 1553855527.582 * * * * [progress]: [ 10 / 14 ] simplifiying candidate # 1553855527.582 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #real (real->posit16 (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1553855527.582 * * * * [progress]: [ 12 / 14 ] simplifiying candidate # 1553855527.582 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553855527.582 * * [simplify]: iters left: 6 (11 enodes) 1553855527.586 * * [simplify]: iters left: 5 (53 enodes) 1553855527.598 * * [simplify]: iters left: 4 (109 enodes) 1553855527.629 * * [simplify]: iters left: 3 (233 enodes) 1553855527.690 * * [simplify]: iters left: 2 (401 enodes) 1553855527.831 * * [simplify]: Extracting #0: cost 1 inf + 0 1553855527.831 * * [simplify]: Extracting #1: cost 19 inf + 0 1553855527.832 * * [simplify]: Extracting #2: cost 80 inf + 44 1553855527.833 * * [simplify]: Extracting #3: cost 137 inf + 1669 1553855527.836 * * [simplify]: Extracting #4: cost 112 inf + 7111 1553855527.841 * * [simplify]: Extracting #5: cost 60 inf + 27882 1553855527.851 * * [simplify]: Extracting #6: cost 4 inf + 55832 1553855527.866 * * [simplify]: Extracting #7: cost 0 inf + 58188 1553855527.876 * [simplify]: Simplified to (fma 1/120 (pow c 5) (fma (* c c) (* 1/6 c) c)) 1553855527.876 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* 1/6 c) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553855527.876 * * * * [progress]: [ 13 / 14 ] simplifiying candidate # 1553855527.877 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 1553855527.877 * * [simplify]: iters left: 6 (7 enodes) 1553855527.880 * * [simplify]: iters left: 5 (26 enodes) 1553855527.889 * * [simplify]: iters left: 4 (42 enodes) 1553855527.903 * * [simplify]: iters left: 3 (62 enodes) 1553855527.923 * * [simplify]: iters left: 2 (82 enodes) 1553855527.944 * * [simplify]: iters left: 1 (86 enodes) 1553855527.962 * * [simplify]: Extracting #0: cost 1 inf + 0 1553855527.962 * * [simplify]: Extracting #1: cost 11 inf + 0 1553855527.962 * * [simplify]: Extracting #2: cost 20 inf + 2 1553855527.962 * * [simplify]: Extracting #3: cost 17 inf + 46 1553855527.963 * * [simplify]: Extracting #4: cost 5 inf + 1453 1553855527.964 * * [simplify]: Extracting #5: cost 1 inf + 1819 1553855527.965 * * [simplify]: Extracting #6: cost 0 inf + 1987 1553855527.965 * [simplify]: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1553855527.965 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma 1/2 (exp c) (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553855527.966 * * * * [progress]: [ 14 / 14 ] simplifiying candidate # 1553855527.966 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 1553855527.966 * * [simplify]: iters left: 6 (8 enodes) 1553855527.971 * * [simplify]: iters left: 5 (31 enodes) 1553855527.980 * * [simplify]: iters left: 4 (49 enodes) 1553855527.994 * * [simplify]: iters left: 3 (85 enodes) 1553855528.011 * * [simplify]: iters left: 2 (151 enodes) 1553855528.050 * * [simplify]: iters left: 1 (304 enodes) 1553855528.130 * * [simplify]: Extracting #0: cost 1 inf + 0 1553855528.130 * * [simplify]: Extracting #1: cost 15 inf + 0 1553855528.131 * * [simplify]: Extracting #2: cost 135 inf + 2 1553855528.133 * * [simplify]: Extracting #3: cost 204 inf + 2517 1553855528.137 * * [simplify]: Extracting #4: cost 151 inf + 20916 1553855528.149 * * [simplify]: Extracting #5: cost 64 inf + 60923 1553855528.160 * * [simplify]: Extracting #6: cost 2 inf + 103278 1553855528.175 * * [simplify]: Extracting #7: cost 0 inf + 102022 1553855528.196 * * [simplify]: Extracting #8: cost 0 inf + 101942 1553855528.215 * [simplify]: Simplified to (fma (exp c) 1/2 (/ -1/2 (exp c))) 1553855528.215 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma (exp c) 1/2 (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553855528.215 * * * [progress]: adding candidates to table 1553855528.321 * * [progress]: iteration 2 / 4 1553855528.322 * * * [progress]: picking best candidate 1553855528.326 * * * * [pick]: Picked # 1553855528.327 * * * [progress]: localizing error 1553855528.360 * * * [progress]: generating rewritten candidates 1553855528.360 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 1553855528.361 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 1553855528.362 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1) 1553855528.365 * * * [progress]: generating series expansions 1553855528.365 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 1553855528.365 * [backup-simplify]: Simplify (expm1 (sinh c)) into (expm1 (sinh c)) 1553855528.365 * [approximate]: Taking taylor expansion of (expm1 (sinh c)) in (c) around 0 1553855528.365 * [taylor]: Taking taylor expansion of (expm1 (sinh c)) in c 1553855528.365 * [taylor]: Rewrote expression to (- (exp (sinh c)) 1) 1553855528.365 * [taylor]: Taking taylor expansion of (exp (sinh c)) in c 1553855528.365 * [taylor]: Taking taylor expansion of (sinh c) in c 1553855528.365 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553855528.365 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553855528.365 * [taylor]: Taking taylor expansion of (exp c) in c 1553855528.365 * [taylor]: Taking taylor expansion of c in c 1553855528.365 * [backup-simplify]: Simplify 0 into 0 1553855528.365 * [backup-simplify]: Simplify 1 into 1 1553855528.365 * [backup-simplify]: Simplify (exp 0) into 1 1553855528.365 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553855528.365 * [taylor]: Taking taylor expansion of (- c) in c 1553855528.365 * [taylor]: Taking taylor expansion of c in c 1553855528.365 * [backup-simplify]: Simplify 0 into 0 1553855528.365 * [backup-simplify]: Simplify 1 into 1 1553855528.366 * [backup-simplify]: Simplify (- 0) into 0 1553855528.367 * [backup-simplify]: Simplify (- 1) into -1 1553855528.367 * [backup-simplify]: Simplify (exp 0) into 1 1553855528.367 * [taylor]: Taking taylor expansion of 2 in c 1553855528.367 * [backup-simplify]: Simplify 2 into 2 1553855528.367 * [backup-simplify]: Simplify (- 1) into -1 1553855528.367 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553855528.368 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553855528.369 * [backup-simplify]: Simplify (- 1) into -1 1553855528.370 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553855528.370 * [backup-simplify]: Simplify (- -1) into 1 1553855528.371 * [backup-simplify]: Simplify (+ 1 1) into 2 1553855528.371 * [backup-simplify]: Simplify (/ 2 2) into 1 1553855528.371 * [backup-simplify]: Simplify (exp 0) into 1 1553855528.371 * [taylor]: Taking taylor expansion of 1 in c 1553855528.371 * [backup-simplify]: Simplify 1 into 1 1553855528.371 * [taylor]: Taking taylor expansion of (expm1 (sinh c)) in c 1553855528.371 * [taylor]: Rewrote expression to (- (exp (sinh c)) 1) 1553855528.371 * [taylor]: Taking taylor expansion of (exp (sinh c)) in c 1553855528.371 * [taylor]: Taking taylor expansion of (sinh c) in c 1553855528.371 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553855528.371 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553855528.371 * [taylor]: Taking taylor expansion of (exp c) in c 1553855528.371 * [taylor]: Taking taylor expansion of c in c 1553855528.371 * [backup-simplify]: Simplify 0 into 0 1553855528.371 * [backup-simplify]: Simplify 1 into 1 1553855528.371 * [backup-simplify]: Simplify (exp 0) into 1 1553855528.371 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553855528.371 * [taylor]: Taking taylor expansion of (- c) in c 1553855528.371 * [taylor]: Taking taylor expansion of c in c 1553855528.372 * [backup-simplify]: Simplify 0 into 0 1553855528.372 * [backup-simplify]: Simplify 1 into 1 1553855528.372 * [backup-simplify]: Simplify (- 0) into 0 1553855528.372 * [backup-simplify]: Simplify (- 1) into -1 1553855528.372 * [backup-simplify]: Simplify (exp 0) into 1 1553855528.372 * [taylor]: Taking taylor expansion of 2 in c 1553855528.372 * [backup-simplify]: Simplify 2 into 2 1553855528.373 * [backup-simplify]: Simplify (- 1) into -1 1553855528.373 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553855528.374 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553855528.374 * [backup-simplify]: Simplify (- 1) into -1 1553855528.376 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553855528.376 * [backup-simplify]: Simplify (- -1) into 1 1553855528.376 * [backup-simplify]: Simplify (+ 1 1) into 2 1553855528.377 * [backup-simplify]: Simplify (/ 2 2) into 1 1553855528.377 * [backup-simplify]: Simplify (exp 0) into 1 1553855528.377 * [taylor]: Taking taylor expansion of 1 in c 1553855528.377 * [backup-simplify]: Simplify 1 into 1 1553855528.377 * [backup-simplify]: Simplify (- 1) into -1 1553855528.377 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553855528.377 * [backup-simplify]: Simplify 0 into 0 1553855528.378 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553855528.378 * [backup-simplify]: Simplify (- 0) into 0 1553855528.378 * [backup-simplify]: Simplify (+ 1 0) into 1 1553855528.379 * [backup-simplify]: Simplify 1 into 1 1553855528.384 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553855528.384 * [backup-simplify]: Simplify (- 1) into -1 1553855528.385 * [backup-simplify]: Simplify (- 0) into 0 1553855528.386 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553855528.386 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553855528.386 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 1553855528.387 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1553855528.388 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553855528.388 * [backup-simplify]: Simplify (- 0) into 0 1553855528.388 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1553855528.388 * [backup-simplify]: Simplify 1/2 into 1/2 1553855528.389 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1553855528.390 * [backup-simplify]: Simplify (- 1) into -1 1553855528.390 * [backup-simplify]: Simplify (- 1) into -1 1553855528.390 * [backup-simplify]: Simplify (- 0) into 0 1553855528.390 * [backup-simplify]: Simplify (- 0) into 0 1553855528.392 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1553855528.392 * [backup-simplify]: Simplify (- -1/6) into 1/6 1553855528.392 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 1553855528.393 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1553855528.394 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1/6 1) 1)))) into 1/3 1553855528.395 * [backup-simplify]: Simplify (- 0) into 0 1553855528.395 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 1553855528.395 * [backup-simplify]: Simplify 1/3 into 1/3 1553855528.395 * [backup-simplify]: Simplify (+ (* 1/3 (pow c 3)) (+ (* 1/2 (pow c 2)) (* 1 c))) into (+ (* 1/2 (pow c 2)) (+ (* 1/3 (pow c 3)) c)) 1553855528.395 * [backup-simplify]: Simplify (expm1 (sinh (/ 1 c))) into (expm1 (sinh (/ 1 c))) 1553855528.395 * [approximate]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in (c) around 0 1553855528.395 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in c 1553855528.395 * [taylor]: Rewrote expression to (- (exp (sinh (/ 1 c))) 1) 1553855528.395 * [taylor]: Taking taylor expansion of (exp (sinh (/ 1 c))) in c 1553855528.395 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553855528.395 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553855528.395 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553855528.395 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553855528.395 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553855528.395 * [taylor]: Taking taylor expansion of c in c 1553855528.395 * [backup-simplify]: Simplify 0 into 0 1553855528.396 * [backup-simplify]: Simplify 1 into 1 1553855528.396 * [backup-simplify]: Simplify (/ 1 1) into 1 1553855528.396 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553855528.396 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553855528.396 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553855528.396 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553855528.396 * [taylor]: Taking taylor expansion of c in c 1553855528.396 * [backup-simplify]: Simplify 0 into 0 1553855528.396 * [backup-simplify]: Simplify 1 into 1 1553855528.396 * [backup-simplify]: Simplify (/ 1 1) into 1 1553855528.396 * [backup-simplify]: Simplify (- 1) into -1 1553855528.396 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553855528.396 * [taylor]: Taking taylor expansion of 2 in c 1553855528.396 * [backup-simplify]: Simplify 2 into 2 1553855528.397 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553855528.397 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553855528.397 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553855528.397 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1553855528.397 * [taylor]: Taking taylor expansion of 1 in c 1553855528.397 * [backup-simplify]: Simplify 1 into 1 1553855528.397 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in c 1553855528.397 * [taylor]: Rewrote expression to (- (exp (sinh (/ 1 c))) 1) 1553855528.397 * [taylor]: Taking taylor expansion of (exp (sinh (/ 1 c))) in c 1553855528.397 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553855528.397 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553855528.397 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553855528.397 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553855528.397 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553855528.397 * [taylor]: Taking taylor expansion of c in c 1553855528.397 * [backup-simplify]: Simplify 0 into 0 1553855528.397 * [backup-simplify]: Simplify 1 into 1 1553855528.397 * [backup-simplify]: Simplify (/ 1 1) into 1 1553855528.397 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553855528.397 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553855528.397 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553855528.397 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553855528.397 * [taylor]: Taking taylor expansion of c in c 1553855528.397 * [backup-simplify]: Simplify 0 into 0 1553855528.397 * [backup-simplify]: Simplify 1 into 1 1553855528.398 * [backup-simplify]: Simplify (/ 1 1) into 1 1553855528.398 * [backup-simplify]: Simplify (- 1) into -1 1553855528.398 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553855528.398 * [taylor]: Taking taylor expansion of 2 in c 1553855528.398 * [backup-simplify]: Simplify 2 into 2 1553855528.398 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553855528.398 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553855528.398 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553855528.398 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1553855528.398 * [taylor]: Taking taylor expansion of 1 in c 1553855528.398 * [backup-simplify]: Simplify 1 into 1 1553855528.399 * [backup-simplify]: Simplify (- 1) into -1 1553855528.399 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) -1) into (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1) 1553855528.399 * [backup-simplify]: Simplify (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1) into (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1) 1553855528.399 * [backup-simplify]: Simplify (- 0) into 0 1553855528.399 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.400 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1553855528.401 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 1) 1)))) into 0 1553855528.401 * [backup-simplify]: Simplify (- 0) into 0 1553855528.401 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.401 * [backup-simplify]: Simplify 0 into 0 1553855528.401 * [backup-simplify]: Simplify (- 0) into 0 1553855528.402 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.402 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.403 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553855528.403 * [backup-simplify]: Simplify (- 0) into 0 1553855528.404 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.404 * [backup-simplify]: Simplify 0 into 0 1553855528.404 * [backup-simplify]: Simplify (- 0) into 0 1553855528.404 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.405 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.406 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1553855528.407 * [backup-simplify]: Simplify (- 0) into 0 1553855528.407 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.407 * [backup-simplify]: Simplify 0 into 0 1553855528.407 * [backup-simplify]: Simplify (- 0) into 0 1553855528.407 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.409 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.411 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553855528.412 * [backup-simplify]: Simplify (- 0) into 0 1553855528.412 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.412 * [backup-simplify]: Simplify 0 into 0 1553855528.413 * [backup-simplify]: Simplify (- 0) into 0 1553855528.413 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.416 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.420 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1553855528.420 * [backup-simplify]: Simplify (- 0) into 0 1553855528.421 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.421 * [backup-simplify]: Simplify 0 into 0 1553855528.421 * [backup-simplify]: Simplify (- 0) into 0 1553855528.422 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.425 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.431 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553855528.432 * [backup-simplify]: Simplify (- 0) into 0 1553855528.432 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.433 * [backup-simplify]: Simplify 0 into 0 1553855528.433 * [backup-simplify]: Simplify (- (exp (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c))))))) 1) into (- (exp (* 1/2 (- (exp c) (exp (- c))))) 1) 1553855528.433 * [backup-simplify]: Simplify (expm1 (sinh (/ 1 (- c)))) into (expm1 (sinh (/ -1 c))) 1553855528.433 * [approximate]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in (c) around 0 1553855528.433 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in c 1553855528.433 * [taylor]: Rewrote expression to (- (exp (sinh (/ -1 c))) 1) 1553855528.433 * [taylor]: Taking taylor expansion of (exp (sinh (/ -1 c))) in c 1553855528.433 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553855528.433 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553855528.433 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553855528.433 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553855528.433 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553855528.433 * [taylor]: Taking taylor expansion of -1 in c 1553855528.433 * [backup-simplify]: Simplify -1 into -1 1553855528.433 * [taylor]: Taking taylor expansion of c in c 1553855528.433 * [backup-simplify]: Simplify 0 into 0 1553855528.433 * [backup-simplify]: Simplify 1 into 1 1553855528.434 * [backup-simplify]: Simplify (/ -1 1) into -1 1553855528.434 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553855528.434 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553855528.434 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553855528.434 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553855528.434 * [taylor]: Taking taylor expansion of -1 in c 1553855528.434 * [backup-simplify]: Simplify -1 into -1 1553855528.434 * [taylor]: Taking taylor expansion of c in c 1553855528.434 * [backup-simplify]: Simplify 0 into 0 1553855528.434 * [backup-simplify]: Simplify 1 into 1 1553855528.435 * [backup-simplify]: Simplify (/ -1 1) into -1 1553855528.435 * [backup-simplify]: Simplify (- -1) into 1 1553855528.435 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553855528.435 * [taylor]: Taking taylor expansion of 2 in c 1553855528.435 * [backup-simplify]: Simplify 2 into 2 1553855528.435 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553855528.435 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553855528.436 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553855528.436 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1553855528.436 * [taylor]: Taking taylor expansion of 1 in c 1553855528.436 * [backup-simplify]: Simplify 1 into 1 1553855528.436 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in c 1553855528.436 * [taylor]: Rewrote expression to (- (exp (sinh (/ -1 c))) 1) 1553855528.436 * [taylor]: Taking taylor expansion of (exp (sinh (/ -1 c))) in c 1553855528.436 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553855528.436 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553855528.436 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553855528.436 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553855528.436 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553855528.436 * [taylor]: Taking taylor expansion of -1 in c 1553855528.436 * [backup-simplify]: Simplify -1 into -1 1553855528.436 * [taylor]: Taking taylor expansion of c in c 1553855528.436 * [backup-simplify]: Simplify 0 into 0 1553855528.436 * [backup-simplify]: Simplify 1 into 1 1553855528.437 * [backup-simplify]: Simplify (/ -1 1) into -1 1553855528.437 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553855528.437 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553855528.437 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553855528.437 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553855528.437 * [taylor]: Taking taylor expansion of -1 in c 1553855528.437 * [backup-simplify]: Simplify -1 into -1 1553855528.437 * [taylor]: Taking taylor expansion of c in c 1553855528.437 * [backup-simplify]: Simplify 0 into 0 1553855528.437 * [backup-simplify]: Simplify 1 into 1 1553855528.437 * [backup-simplify]: Simplify (/ -1 1) into -1 1553855528.438 * [backup-simplify]: Simplify (- -1) into 1 1553855528.438 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553855528.438 * [taylor]: Taking taylor expansion of 2 in c 1553855528.438 * [backup-simplify]: Simplify 2 into 2 1553855528.438 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553855528.438 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553855528.438 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553855528.438 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1553855528.439 * [taylor]: Taking taylor expansion of 1 in c 1553855528.439 * [backup-simplify]: Simplify 1 into 1 1553855528.439 * [backup-simplify]: Simplify (- 1) into -1 1553855528.439 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) -1) into (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1) 1553855528.439 * [backup-simplify]: Simplify (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1) into (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1) 1553855528.440 * [backup-simplify]: Simplify (- 0) into 0 1553855528.440 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.441 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1553855528.442 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 1) 1)))) into 0 1553855528.442 * [backup-simplify]: Simplify (- 0) into 0 1553855528.443 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.443 * [backup-simplify]: Simplify 0 into 0 1553855528.443 * [backup-simplify]: Simplify (- 0) into 0 1553855528.444 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.445 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.447 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553855528.447 * [backup-simplify]: Simplify (- 0) into 0 1553855528.447 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.447 * [backup-simplify]: Simplify 0 into 0 1553855528.448 * [backup-simplify]: Simplify (- 0) into 0 1553855528.448 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.450 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.452 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1553855528.452 * [backup-simplify]: Simplify (- 0) into 0 1553855528.453 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.453 * [backup-simplify]: Simplify 0 into 0 1553855528.454 * [backup-simplify]: Simplify (- 0) into 0 1553855528.454 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.457 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.460 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553855528.460 * [backup-simplify]: Simplify (- 0) into 0 1553855528.460 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.460 * [backup-simplify]: Simplify 0 into 0 1553855528.461 * [backup-simplify]: Simplify (- 0) into 0 1553855528.461 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.464 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.468 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1553855528.469 * [backup-simplify]: Simplify (- 0) into 0 1553855528.469 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.469 * [backup-simplify]: Simplify 0 into 0 1553855528.469 * [backup-simplify]: Simplify (- 0) into 0 1553855528.470 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.473 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.479 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553855528.480 * [backup-simplify]: Simplify (- 0) into 0 1553855528.480 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.480 * [backup-simplify]: Simplify 0 into 0 1553855528.481 * [backup-simplify]: Simplify (- (exp (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c))))))) 1) into (- (exp (* 1/2 (- (exp c) (exp (* -1 c))))) 1) 1553855528.481 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 1553855528.481 * [backup-simplify]: Simplify (log1p (expm1 (sinh c))) into (log1p (expm1 (sinh c))) 1553855528.481 * [approximate]: Taking taylor expansion of (log1p (expm1 (sinh c))) in (c) around 0 1553855528.481 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh c))) in c 1553855528.481 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh c)))) 1553855528.481 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh c))) in c 1553855528.481 * [taylor]: Taking taylor expansion of 1 in c 1553855528.481 * [backup-simplify]: Simplify 1 into 1 1553855528.481 * [taylor]: Taking taylor expansion of (expm1 (sinh c)) in c 1553855528.481 * [taylor]: Rewrote expression to (- (exp (sinh c)) 1) 1553855528.481 * [taylor]: Taking taylor expansion of (exp (sinh c)) in c 1553855528.481 * [taylor]: Taking taylor expansion of (sinh c) in c 1553855528.481 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553855528.481 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553855528.481 * [taylor]: Taking taylor expansion of (exp c) in c 1553855528.481 * [taylor]: Taking taylor expansion of c in c 1553855528.481 * [backup-simplify]: Simplify 0 into 0 1553855528.481 * [backup-simplify]: Simplify 1 into 1 1553855528.481 * [backup-simplify]: Simplify (exp 0) into 1 1553855528.481 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553855528.481 * [taylor]: Taking taylor expansion of (- c) in c 1553855528.481 * [taylor]: Taking taylor expansion of c in c 1553855528.481 * [backup-simplify]: Simplify 0 into 0 1553855528.481 * [backup-simplify]: Simplify 1 into 1 1553855528.482 * [backup-simplify]: Simplify (- 0) into 0 1553855528.482 * [backup-simplify]: Simplify (- 1) into -1 1553855528.482 * [backup-simplify]: Simplify (exp 0) into 1 1553855528.482 * [taylor]: Taking taylor expansion of 2 in c 1553855528.482 * [backup-simplify]: Simplify 2 into 2 1553855528.483 * [backup-simplify]: Simplify (- 1) into -1 1553855528.483 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553855528.484 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553855528.484 * [backup-simplify]: Simplify (- 1) into -1 1553855528.486 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553855528.486 * [backup-simplify]: Simplify (- -1) into 1 1553855528.486 * [backup-simplify]: Simplify (+ 1 1) into 2 1553855528.487 * [backup-simplify]: Simplify (/ 2 2) into 1 1553855528.487 * [backup-simplify]: Simplify (exp 0) into 1 1553855528.487 * [taylor]: Taking taylor expansion of 1 in c 1553855528.487 * [backup-simplify]: Simplify 1 into 1 1553855528.487 * [backup-simplify]: Simplify (- 1) into -1 1553855528.488 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553855528.488 * [backup-simplify]: Simplify (+ 1 0) into 1 1553855528.488 * [backup-simplify]: Simplify (log 1) into 0 1553855528.488 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh c))) in c 1553855528.488 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh c)))) 1553855528.489 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh c))) in c 1553855528.489 * [taylor]: Taking taylor expansion of 1 in c 1553855528.489 * [backup-simplify]: Simplify 1 into 1 1553855528.489 * [taylor]: Taking taylor expansion of (expm1 (sinh c)) in c 1553855528.489 * [taylor]: Rewrote expression to (- (exp (sinh c)) 1) 1553855528.489 * [taylor]: Taking taylor expansion of (exp (sinh c)) in c 1553855528.489 * [taylor]: Taking taylor expansion of (sinh c) in c 1553855528.489 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553855528.489 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553855528.489 * [taylor]: Taking taylor expansion of (exp c) in c 1553855528.489 * [taylor]: Taking taylor expansion of c in c 1553855528.489 * [backup-simplify]: Simplify 0 into 0 1553855528.489 * [backup-simplify]: Simplify 1 into 1 1553855528.489 * [backup-simplify]: Simplify (exp 0) into 1 1553855528.489 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553855528.489 * [taylor]: Taking taylor expansion of (- c) in c 1553855528.489 * [taylor]: Taking taylor expansion of c in c 1553855528.489 * [backup-simplify]: Simplify 0 into 0 1553855528.489 * [backup-simplify]: Simplify 1 into 1 1553855528.489 * [backup-simplify]: Simplify (- 0) into 0 1553855528.490 * [backup-simplify]: Simplify (- 1) into -1 1553855528.490 * [backup-simplify]: Simplify (exp 0) into 1 1553855528.490 * [taylor]: Taking taylor expansion of 2 in c 1553855528.490 * [backup-simplify]: Simplify 2 into 2 1553855528.490 * [backup-simplify]: Simplify (- 1) into -1 1553855528.491 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553855528.492 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553855528.492 * [backup-simplify]: Simplify (- 1) into -1 1553855528.493 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553855528.494 * [backup-simplify]: Simplify (- -1) into 1 1553855528.494 * [backup-simplify]: Simplify (+ 1 1) into 2 1553855528.494 * [backup-simplify]: Simplify (/ 2 2) into 1 1553855528.494 * [backup-simplify]: Simplify (exp 0) into 1 1553855528.494 * [taylor]: Taking taylor expansion of 1 in c 1553855528.494 * [backup-simplify]: Simplify 1 into 1 1553855528.495 * [backup-simplify]: Simplify (- 1) into -1 1553855528.495 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553855528.496 * [backup-simplify]: Simplify (+ 1 0) into 1 1553855528.496 * [backup-simplify]: Simplify (log 1) into 0 1553855528.496 * [backup-simplify]: Simplify 0 into 0 1553855528.498 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553855528.498 * [backup-simplify]: Simplify (- 0) into 0 1553855528.498 * [backup-simplify]: Simplify (+ 1 0) into 1 1553855528.499 * [backup-simplify]: Simplify (+ 0 1) into 1 1553855528.500 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1553855528.500 * [backup-simplify]: Simplify 1 into 1 1553855528.502 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553855528.503 * [backup-simplify]: Simplify (- 1) into -1 1553855528.503 * [backup-simplify]: Simplify (- 0) into 0 1553855528.505 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553855528.505 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553855528.506 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 1553855528.507 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1553855528.513 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553855528.514 * [backup-simplify]: Simplify (- 0) into 0 1553855528.515 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1553855528.515 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1553855528.518 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 1553855528.518 * [backup-simplify]: Simplify 0 into 0 1553855528.520 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1553855528.521 * [backup-simplify]: Simplify (- 1) into -1 1553855528.521 * [backup-simplify]: Simplify (- 1) into -1 1553855528.522 * [backup-simplify]: Simplify (- 0) into 0 1553855528.522 * [backup-simplify]: Simplify (- 0) into 0 1553855528.524 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1553855528.525 * [backup-simplify]: Simplify (- -1/6) into 1/6 1553855528.525 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 1553855528.526 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1553855528.529 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1/6 1) 1)))) into 1/3 1553855528.530 * [backup-simplify]: Simplify (- 0) into 0 1553855528.530 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 1553855528.531 * [backup-simplify]: Simplify (+ 0 1/3) into 1/3 1553855528.536 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 1/2) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/3) 1)) (pow 1 1)))) 6) into 1/6 1553855528.536 * [backup-simplify]: Simplify 1/6 into 1/6 1553855528.540 * [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 1553855528.541 * [backup-simplify]: Simplify (- 1) into -1 1553855528.541 * [backup-simplify]: Simplify (- 1) into -1 1553855528.541 * [backup-simplify]: Simplify (- 0) into 0 1553855528.542 * [backup-simplify]: Simplify (- 1) into -1 1553855528.542 * [backup-simplify]: Simplify (- 0) into 0 1553855528.543 * [backup-simplify]: Simplify (- 0) into 0 1553855528.543 * [backup-simplify]: Simplify (- 0) into 0 1553855528.547 * [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 1553855528.548 * [backup-simplify]: Simplify (- 1/24) into -1/24 1553855528.548 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 1553855528.549 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1553855528.554 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 1/6 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 5/24 1553855528.555 * [backup-simplify]: Simplify (- 0) into 0 1553855528.555 * [backup-simplify]: Simplify (+ 5/24 0) into 5/24 1553855528.555 * [backup-simplify]: Simplify (+ 0 5/24) into 5/24 1553855528.567 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 1) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 1) 2) (pow (* 2 1/2) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 1/2) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 1) 1) 1 (pow (* 6 1/3) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 5/24) 1)) (pow 1 1)))) 24) into 0 1553855528.568 * [backup-simplify]: Simplify 0 into 0 1553855528.573 * [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 1553855528.574 * [backup-simplify]: Simplify (- 1) into -1 1553855528.574 * [backup-simplify]: Simplify (- 1) into -1 1553855528.575 * [backup-simplify]: Simplify (- 0) into 0 1553855528.575 * [backup-simplify]: Simplify (- 1) into -1 1553855528.575 * [backup-simplify]: Simplify (- 0) into 0 1553855528.576 * [backup-simplify]: Simplify (- 1) into -1 1553855528.576 * [backup-simplify]: Simplify (- 0) into 0 1553855528.576 * [backup-simplify]: Simplify (- 1) into -1 1553855528.577 * [backup-simplify]: Simplify (- 0) into 0 1553855528.577 * [backup-simplify]: Simplify (- 0) into 0 1553855528.578 * [backup-simplify]: Simplify (- 0) into 0 1553855528.578 * [backup-simplify]: Simplify (- 0) into 0 1553855528.584 * [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 1553855528.584 * [backup-simplify]: Simplify (- -1/120) into 1/120 1553855528.585 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 1553855528.586 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1553855528.594 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 1/6 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 1/6 1) 1)) (* (/ (pow 1/120 1) 1)))) into 1/10 1553855528.594 * [backup-simplify]: Simplify (- 0) into 0 1553855528.595 * [backup-simplify]: Simplify (+ 1/10 0) into 1/10 1553855528.595 * [backup-simplify]: Simplify (+ 0 1/10) into 1/10 1553855528.614 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 1) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 1) 3) (pow (* 2 1/2) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 1) 1) (pow (* 2 1/2) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 1) 2) 1 (pow (* 6 1/3) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 1/2) 1) (pow (* 6 1/3) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 1) 1) 1 1 (pow (* 24 5/24) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 1/10) 1)) (pow 1 1)))) 120) into 1/120 1553855528.614 * [backup-simplify]: Simplify 1/120 into 1/120 1553855528.614 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553855528.615 * [backup-simplify]: Simplify (log1p (expm1 (sinh (/ 1 c)))) into (log1p (expm1 (sinh (/ 1 c)))) 1553855528.615 * [approximate]: Taking taylor expansion of (log1p (expm1 (sinh (/ 1 c)))) in (c) around 0 1553855528.615 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh (/ 1 c)))) in c 1553855528.615 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh (/ 1 c))))) 1553855528.615 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh (/ 1 c)))) in c 1553855528.615 * [taylor]: Taking taylor expansion of 1 in c 1553855528.615 * [backup-simplify]: Simplify 1 into 1 1553855528.615 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in c 1553855528.615 * [taylor]: Rewrote expression to (- (exp (sinh (/ 1 c))) 1) 1553855528.615 * [taylor]: Taking taylor expansion of (exp (sinh (/ 1 c))) in c 1553855528.615 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553855528.615 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553855528.615 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553855528.615 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553855528.615 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553855528.615 * [taylor]: Taking taylor expansion of c in c 1553855528.615 * [backup-simplify]: Simplify 0 into 0 1553855528.615 * [backup-simplify]: Simplify 1 into 1 1553855528.616 * [backup-simplify]: Simplify (/ 1 1) into 1 1553855528.616 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553855528.616 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553855528.616 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553855528.616 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553855528.616 * [taylor]: Taking taylor expansion of c in c 1553855528.616 * [backup-simplify]: Simplify 0 into 0 1553855528.616 * [backup-simplify]: Simplify 1 into 1 1553855528.616 * [backup-simplify]: Simplify (/ 1 1) into 1 1553855528.617 * [backup-simplify]: Simplify (- 1) into -1 1553855528.617 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553855528.617 * [taylor]: Taking taylor expansion of 2 in c 1553855528.617 * [backup-simplify]: Simplify 2 into 2 1553855528.617 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553855528.617 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553855528.617 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553855528.617 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1553855528.617 * [taylor]: Taking taylor expansion of 1 in c 1553855528.617 * [backup-simplify]: Simplify 1 into 1 1553855528.618 * [backup-simplify]: Simplify (- 1) into -1 1553855528.618 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) -1) into (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1) 1553855528.618 * [backup-simplify]: Simplify (+ 1 (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1553855528.619 * [backup-simplify]: Simplify (log (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553855528.619 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh (/ 1 c)))) in c 1553855528.619 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh (/ 1 c))))) 1553855528.619 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh (/ 1 c)))) in c 1553855528.619 * [taylor]: Taking taylor expansion of 1 in c 1553855528.619 * [backup-simplify]: Simplify 1 into 1 1553855528.619 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in c 1553855528.619 * [taylor]: Rewrote expression to (- (exp (sinh (/ 1 c))) 1) 1553855528.619 * [taylor]: Taking taylor expansion of (exp (sinh (/ 1 c))) in c 1553855528.619 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553855528.619 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553855528.619 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553855528.619 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553855528.619 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553855528.619 * [taylor]: Taking taylor expansion of c in c 1553855528.619 * [backup-simplify]: Simplify 0 into 0 1553855528.619 * [backup-simplify]: Simplify 1 into 1 1553855528.619 * [backup-simplify]: Simplify (/ 1 1) into 1 1553855528.620 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553855528.620 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553855528.620 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553855528.620 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553855528.620 * [taylor]: Taking taylor expansion of c in c 1553855528.620 * [backup-simplify]: Simplify 0 into 0 1553855528.620 * [backup-simplify]: Simplify 1 into 1 1553855528.620 * [backup-simplify]: Simplify (/ 1 1) into 1 1553855528.620 * [backup-simplify]: Simplify (- 1) into -1 1553855528.621 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553855528.621 * [taylor]: Taking taylor expansion of 2 in c 1553855528.621 * [backup-simplify]: Simplify 2 into 2 1553855528.621 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553855528.621 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553855528.621 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553855528.621 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1553855528.621 * [taylor]: Taking taylor expansion of 1 in c 1553855528.621 * [backup-simplify]: Simplify 1 into 1 1553855528.622 * [backup-simplify]: Simplify (- 1) into -1 1553855528.622 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) -1) into (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1) 1553855528.622 * [backup-simplify]: Simplify (+ 1 (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1553855528.622 * [backup-simplify]: Simplify (log (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553855528.623 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553855528.623 * [backup-simplify]: Simplify (- 0) into 0 1553855528.623 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.624 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1553855528.625 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 1) 1)))) into 0 1553855528.626 * [backup-simplify]: Simplify (- 0) into 0 1553855528.626 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.626 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.627 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)))) 1) into 0 1553855528.627 * [backup-simplify]: Simplify 0 into 0 1553855528.628 * [backup-simplify]: Simplify (- 0) into 0 1553855528.628 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.630 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.631 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553855528.631 * [backup-simplify]: Simplify (- 0) into 0 1553855528.632 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.632 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.634 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)))) 2) into 0 1553855528.634 * [backup-simplify]: Simplify 0 into 0 1553855528.635 * [backup-simplify]: Simplify (- 0) into 0 1553855528.635 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.638 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.639 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1553855528.640 * [backup-simplify]: Simplify (- 0) into 0 1553855528.640 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.641 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.644 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)))) 6) into 0 1553855528.645 * [backup-simplify]: Simplify 0 into 0 1553855528.645 * [backup-simplify]: Simplify (- 0) into 0 1553855528.645 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.648 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.651 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553855528.651 * [backup-simplify]: Simplify (- 0) into 0 1553855528.652 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.652 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.663 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)))) 24) into 0 1553855528.663 * [backup-simplify]: Simplify 0 into 0 1553855528.664 * [backup-simplify]: Simplify (- 0) into 0 1553855528.664 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.667 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.671 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1553855528.672 * [backup-simplify]: Simplify (- 0) into 0 1553855528.672 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.672 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.680 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)))) 120) into 0 1553855528.681 * [backup-simplify]: Simplify 0 into 0 1553855528.681 * [backup-simplify]: Simplify (- 0) into 0 1553855528.682 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.685 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.691 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553855528.691 * [backup-simplify]: Simplify (- 0) into 0 1553855528.692 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.692 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.705 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)))) 720) into 0 1553855528.705 * [backup-simplify]: Simplify 0 into 0 1553855528.706 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1553855528.706 * [backup-simplify]: Simplify (log1p (expm1 (sinh (/ 1 (- c))))) into (log1p (expm1 (sinh (/ -1 c)))) 1553855528.706 * [approximate]: Taking taylor expansion of (log1p (expm1 (sinh (/ -1 c)))) in (c) around 0 1553855528.706 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh (/ -1 c)))) in c 1553855528.706 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh (/ -1 c))))) 1553855528.706 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh (/ -1 c)))) in c 1553855528.706 * [taylor]: Taking taylor expansion of 1 in c 1553855528.706 * [backup-simplify]: Simplify 1 into 1 1553855528.706 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in c 1553855528.706 * [taylor]: Rewrote expression to (- (exp (sinh (/ -1 c))) 1) 1553855528.706 * [taylor]: Taking taylor expansion of (exp (sinh (/ -1 c))) in c 1553855528.706 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553855528.706 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553855528.706 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553855528.706 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553855528.706 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553855528.706 * [taylor]: Taking taylor expansion of -1 in c 1553855528.706 * [backup-simplify]: Simplify -1 into -1 1553855528.706 * [taylor]: Taking taylor expansion of c in c 1553855528.706 * [backup-simplify]: Simplify 0 into 0 1553855528.706 * [backup-simplify]: Simplify 1 into 1 1553855528.707 * [backup-simplify]: Simplify (/ -1 1) into -1 1553855528.707 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553855528.707 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553855528.707 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553855528.707 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553855528.707 * [taylor]: Taking taylor expansion of -1 in c 1553855528.707 * [backup-simplify]: Simplify -1 into -1 1553855528.707 * [taylor]: Taking taylor expansion of c in c 1553855528.707 * [backup-simplify]: Simplify 0 into 0 1553855528.707 * [backup-simplify]: Simplify 1 into 1 1553855528.708 * [backup-simplify]: Simplify (/ -1 1) into -1 1553855528.708 * [backup-simplify]: Simplify (- -1) into 1 1553855528.708 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553855528.708 * [taylor]: Taking taylor expansion of 2 in c 1553855528.708 * [backup-simplify]: Simplify 2 into 2 1553855528.708 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553855528.708 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553855528.709 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553855528.709 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1553855528.709 * [taylor]: Taking taylor expansion of 1 in c 1553855528.709 * [backup-simplify]: Simplify 1 into 1 1553855528.709 * [backup-simplify]: Simplify (- 1) into -1 1553855528.709 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) -1) into (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1) 1553855528.710 * [backup-simplify]: Simplify (+ 1 (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1553855528.710 * [backup-simplify]: Simplify (log (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553855528.710 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh (/ -1 c)))) in c 1553855528.710 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh (/ -1 c))))) 1553855528.710 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh (/ -1 c)))) in c 1553855528.710 * [taylor]: Taking taylor expansion of 1 in c 1553855528.710 * [backup-simplify]: Simplify 1 into 1 1553855528.710 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in c 1553855528.710 * [taylor]: Rewrote expression to (- (exp (sinh (/ -1 c))) 1) 1553855528.710 * [taylor]: Taking taylor expansion of (exp (sinh (/ -1 c))) in c 1553855528.710 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553855528.710 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553855528.710 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553855528.710 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553855528.710 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553855528.710 * [taylor]: Taking taylor expansion of -1 in c 1553855528.710 * [backup-simplify]: Simplify -1 into -1 1553855528.710 * [taylor]: Taking taylor expansion of c in c 1553855528.710 * [backup-simplify]: Simplify 0 into 0 1553855528.710 * [backup-simplify]: Simplify 1 into 1 1553855528.711 * [backup-simplify]: Simplify (/ -1 1) into -1 1553855528.711 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553855528.711 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553855528.711 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553855528.711 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553855528.711 * [taylor]: Taking taylor expansion of -1 in c 1553855528.711 * [backup-simplify]: Simplify -1 into -1 1553855528.711 * [taylor]: Taking taylor expansion of c in c 1553855528.711 * [backup-simplify]: Simplify 0 into 0 1553855528.711 * [backup-simplify]: Simplify 1 into 1 1553855528.712 * [backup-simplify]: Simplify (/ -1 1) into -1 1553855528.712 * [backup-simplify]: Simplify (- -1) into 1 1553855528.712 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553855528.712 * [taylor]: Taking taylor expansion of 2 in c 1553855528.712 * [backup-simplify]: Simplify 2 into 2 1553855528.712 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553855528.712 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553855528.712 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553855528.713 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1553855528.713 * [taylor]: Taking taylor expansion of 1 in c 1553855528.713 * [backup-simplify]: Simplify 1 into 1 1553855528.713 * [backup-simplify]: Simplify (- 1) into -1 1553855528.713 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) -1) into (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1) 1553855528.713 * [backup-simplify]: Simplify (+ 1 (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1553855528.714 * [backup-simplify]: Simplify (log (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553855528.714 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553855528.714 * [backup-simplify]: Simplify (- 0) into 0 1553855528.715 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.716 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1553855528.717 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 1) 1)))) into 0 1553855528.717 * [backup-simplify]: Simplify (- 0) into 0 1553855528.717 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.718 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.719 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)))) 1) into 0 1553855528.719 * [backup-simplify]: Simplify 0 into 0 1553855528.719 * [backup-simplify]: Simplify (- 0) into 0 1553855528.720 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.721 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.723 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553855528.723 * [backup-simplify]: Simplify (- 0) into 0 1553855528.723 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.724 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.725 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)))) 2) into 0 1553855528.726 * [backup-simplify]: Simplify 0 into 0 1553855528.726 * [backup-simplify]: Simplify (- 0) into 0 1553855528.726 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.729 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.730 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1553855528.731 * [backup-simplify]: Simplify (- 0) into 0 1553855528.731 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.731 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.735 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)))) 6) into 0 1553855528.735 * [backup-simplify]: Simplify 0 into 0 1553855528.735 * [backup-simplify]: Simplify (- 0) into 0 1553855528.735 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.738 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.741 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553855528.741 * [backup-simplify]: Simplify (- 0) into 0 1553855528.741 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.742 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.747 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)))) 24) into 0 1553855528.747 * [backup-simplify]: Simplify 0 into 0 1553855528.748 * [backup-simplify]: Simplify (- 0) into 0 1553855528.748 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.751 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.755 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1553855528.755 * [backup-simplify]: Simplify (- 0) into 0 1553855528.756 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.756 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.764 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)))) 120) into 0 1553855528.764 * [backup-simplify]: Simplify 0 into 0 1553855528.765 * [backup-simplify]: Simplify (- 0) into 0 1553855528.765 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.769 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.775 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1553855528.775 * [backup-simplify]: Simplify (- 0) into 0 1553855528.776 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.776 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.789 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)))) 720) into 0 1553855528.789 * [backup-simplify]: Simplify 0 into 0 1553855528.789 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1553855528.790 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1) 1553855528.790 * [backup-simplify]: Simplify (sinh c) into (sinh c) 1553855528.790 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 1553855528.790 * [taylor]: Taking taylor expansion of (sinh c) in c 1553855528.790 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553855528.790 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553855528.790 * [taylor]: Taking taylor expansion of (exp c) in c 1553855528.790 * [taylor]: Taking taylor expansion of c in c 1553855528.790 * [backup-simplify]: Simplify 0 into 0 1553855528.790 * [backup-simplify]: Simplify 1 into 1 1553855528.790 * [backup-simplify]: Simplify (exp 0) into 1 1553855528.790 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553855528.790 * [taylor]: Taking taylor expansion of (- c) in c 1553855528.790 * [taylor]: Taking taylor expansion of c in c 1553855528.790 * [backup-simplify]: Simplify 0 into 0 1553855528.790 * [backup-simplify]: Simplify 1 into 1 1553855528.790 * [backup-simplify]: Simplify (- 0) into 0 1553855528.791 * [backup-simplify]: Simplify (- 1) into -1 1553855528.791 * [backup-simplify]: Simplify (exp 0) into 1 1553855528.791 * [taylor]: Taking taylor expansion of 2 in c 1553855528.791 * [backup-simplify]: Simplify 2 into 2 1553855528.791 * [backup-simplify]: Simplify (- 1) into -1 1553855528.792 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553855528.793 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553855528.793 * [backup-simplify]: Simplify (- 1) into -1 1553855528.794 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553855528.795 * [backup-simplify]: Simplify (- -1) into 1 1553855528.795 * [backup-simplify]: Simplify (+ 1 1) into 2 1553855528.795 * [backup-simplify]: Simplify (/ 2 2) into 1 1553855528.795 * [taylor]: Taking taylor expansion of (sinh c) in c 1553855528.795 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 1553855528.795 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 1553855528.796 * [taylor]: Taking taylor expansion of (exp c) in c 1553855528.796 * [taylor]: Taking taylor expansion of c in c 1553855528.796 * [backup-simplify]: Simplify 0 into 0 1553855528.796 * [backup-simplify]: Simplify 1 into 1 1553855528.796 * [backup-simplify]: Simplify (exp 0) into 1 1553855528.796 * [taylor]: Taking taylor expansion of (exp (- c)) in c 1553855528.796 * [taylor]: Taking taylor expansion of (- c) in c 1553855528.796 * [taylor]: Taking taylor expansion of c in c 1553855528.796 * [backup-simplify]: Simplify 0 into 0 1553855528.796 * [backup-simplify]: Simplify 1 into 1 1553855528.796 * [backup-simplify]: Simplify (- 0) into 0 1553855528.796 * [backup-simplify]: Simplify (- 1) into -1 1553855528.796 * [backup-simplify]: Simplify (exp 0) into 1 1553855528.796 * [taylor]: Taking taylor expansion of 2 in c 1553855528.797 * [backup-simplify]: Simplify 2 into 2 1553855528.797 * [backup-simplify]: Simplify (- 1) into -1 1553855528.797 * [backup-simplify]: Simplify (+ 1 -1) into 0 1553855528.798 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1553855528.799 * [backup-simplify]: Simplify (- 1) into -1 1553855528.800 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 1553855528.800 * [backup-simplify]: Simplify (- -1) into 1 1553855528.800 * [backup-simplify]: Simplify (+ 1 1) into 2 1553855528.801 * [backup-simplify]: Simplify (/ 2 2) into 1 1553855528.801 * [backup-simplify]: Simplify 1 into 1 1553855528.807 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553855528.808 * [backup-simplify]: Simplify (- 1) into -1 1553855528.808 * [backup-simplify]: Simplify (- 0) into 0 1553855528.810 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1553855528.811 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553855528.811 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 1553855528.812 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 1553855528.812 * [backup-simplify]: Simplify 0 into 0 1553855528.814 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1553855528.815 * [backup-simplify]: Simplify (- 1) into -1 1553855528.815 * [backup-simplify]: Simplify (- 1) into -1 1553855528.816 * [backup-simplify]: Simplify (- 0) into 0 1553855528.816 * [backup-simplify]: Simplify (- 0) into 0 1553855528.819 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 1553855528.819 * [backup-simplify]: Simplify (- -1/6) into 1/6 1553855528.820 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 1553855528.821 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 1553855528.821 * [backup-simplify]: Simplify 1/6 into 1/6 1553855528.825 * [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 1553855528.826 * [backup-simplify]: Simplify (- 1) into -1 1553855528.826 * [backup-simplify]: Simplify (- 1) into -1 1553855528.826 * [backup-simplify]: Simplify (- 0) into 0 1553855528.827 * [backup-simplify]: Simplify (- 1) into -1 1553855528.827 * [backup-simplify]: Simplify (- 0) into 0 1553855528.828 * [backup-simplify]: Simplify (- 0) into 0 1553855528.828 * [backup-simplify]: Simplify (- 0) into 0 1553855528.832 * [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 1553855528.833 * [backup-simplify]: Simplify (- 1/24) into -1/24 1553855528.833 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 1553855528.835 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 1553855528.835 * [backup-simplify]: Simplify 0 into 0 1553855528.841 * [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 1553855528.841 * [backup-simplify]: Simplify (- 1) into -1 1553855528.842 * [backup-simplify]: Simplify (- 1) into -1 1553855528.842 * [backup-simplify]: Simplify (- 0) into 0 1553855528.842 * [backup-simplify]: Simplify (- 1) into -1 1553855528.843 * [backup-simplify]: Simplify (- 0) into 0 1553855528.843 * [backup-simplify]: Simplify (- 1) into -1 1553855528.843 * [backup-simplify]: Simplify (- 0) into 0 1553855528.844 * [backup-simplify]: Simplify (- 1) into -1 1553855528.844 * [backup-simplify]: Simplify (- 0) into 0 1553855528.845 * [backup-simplify]: Simplify (- 0) into 0 1553855528.845 * [backup-simplify]: Simplify (- 0) into 0 1553855528.845 * [backup-simplify]: Simplify (- 0) into 0 1553855528.850 * [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 1553855528.851 * [backup-simplify]: Simplify (- -1/120) into 1/120 1553855528.851 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 1553855528.852 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 1553855528.852 * [backup-simplify]: Simplify 1/120 into 1/120 1553855528.852 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553855528.852 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 1553855528.852 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 1553855528.852 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553855528.852 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553855528.852 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553855528.852 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553855528.852 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553855528.852 * [taylor]: Taking taylor expansion of c in c 1553855528.852 * [backup-simplify]: Simplify 0 into 0 1553855528.852 * [backup-simplify]: Simplify 1 into 1 1553855528.852 * [backup-simplify]: Simplify (/ 1 1) into 1 1553855528.853 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553855528.853 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553855528.853 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553855528.853 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553855528.853 * [taylor]: Taking taylor expansion of c in c 1553855528.853 * [backup-simplify]: Simplify 0 into 0 1553855528.853 * [backup-simplify]: Simplify 1 into 1 1553855528.853 * [backup-simplify]: Simplify (/ 1 1) into 1 1553855528.853 * [backup-simplify]: Simplify (- 1) into -1 1553855528.853 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553855528.853 * [taylor]: Taking taylor expansion of 2 in c 1553855528.853 * [backup-simplify]: Simplify 2 into 2 1553855528.854 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553855528.854 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553855528.854 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553855528.854 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 1553855528.854 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 1553855528.854 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 1553855528.854 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 1553855528.854 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553855528.854 * [taylor]: Taking taylor expansion of c in c 1553855528.854 * [backup-simplify]: Simplify 0 into 0 1553855528.854 * [backup-simplify]: Simplify 1 into 1 1553855528.854 * [backup-simplify]: Simplify (/ 1 1) into 1 1553855528.854 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 1553855528.854 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 1553855528.854 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1553855528.854 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1553855528.854 * [taylor]: Taking taylor expansion of c in c 1553855528.854 * [backup-simplify]: Simplify 0 into 0 1553855528.854 * [backup-simplify]: Simplify 1 into 1 1553855528.855 * [backup-simplify]: Simplify (/ 1 1) into 1 1553855528.855 * [backup-simplify]: Simplify (- 1) into -1 1553855528.855 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 1553855528.855 * [taylor]: Taking taylor expansion of 2 in c 1553855528.855 * [backup-simplify]: Simplify 2 into 2 1553855528.855 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 1553855528.855 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 1553855528.855 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553855528.855 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1553855528.856 * [backup-simplify]: Simplify (- 0) into 0 1553855528.856 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.857 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 1553855528.857 * [backup-simplify]: Simplify 0 into 0 1553855528.857 * [backup-simplify]: Simplify (- 0) into 0 1553855528.857 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.858 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.858 * [backup-simplify]: Simplify 0 into 0 1553855528.858 * [backup-simplify]: Simplify (- 0) into 0 1553855528.859 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.860 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.860 * [backup-simplify]: Simplify 0 into 0 1553855528.860 * [backup-simplify]: Simplify (- 0) into 0 1553855528.860 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.862 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.862 * [backup-simplify]: Simplify 0 into 0 1553855528.862 * [backup-simplify]: Simplify (- 0) into 0 1553855528.862 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.864 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.864 * [backup-simplify]: Simplify 0 into 0 1553855528.864 * [backup-simplify]: Simplify (- 0) into 0 1553855528.864 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.866 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.867 * [backup-simplify]: Simplify 0 into 0 1553855528.867 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 1553855528.867 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 1553855528.867 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 1553855528.867 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553855528.867 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553855528.867 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553855528.867 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553855528.867 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553855528.867 * [taylor]: Taking taylor expansion of -1 in c 1553855528.867 * [backup-simplify]: Simplify -1 into -1 1553855528.867 * [taylor]: Taking taylor expansion of c in c 1553855528.867 * [backup-simplify]: Simplify 0 into 0 1553855528.867 * [backup-simplify]: Simplify 1 into 1 1553855528.867 * [backup-simplify]: Simplify (/ -1 1) into -1 1553855528.867 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553855528.867 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553855528.867 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553855528.867 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553855528.867 * [taylor]: Taking taylor expansion of -1 in c 1553855528.867 * [backup-simplify]: Simplify -1 into -1 1553855528.867 * [taylor]: Taking taylor expansion of c in c 1553855528.867 * [backup-simplify]: Simplify 0 into 0 1553855528.867 * [backup-simplify]: Simplify 1 into 1 1553855528.868 * [backup-simplify]: Simplify (/ -1 1) into -1 1553855528.868 * [backup-simplify]: Simplify (- -1) into 1 1553855528.868 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553855528.868 * [taylor]: Taking taylor expansion of 2 in c 1553855528.868 * [backup-simplify]: Simplify 2 into 2 1553855528.868 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553855528.868 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553855528.868 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553855528.868 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 1553855528.868 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 1553855528.868 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 1553855528.868 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 1553855528.868 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553855528.868 * [taylor]: Taking taylor expansion of -1 in c 1553855528.868 * [backup-simplify]: Simplify -1 into -1 1553855528.868 * [taylor]: Taking taylor expansion of c in c 1553855528.868 * [backup-simplify]: Simplify 0 into 0 1553855528.868 * [backup-simplify]: Simplify 1 into 1 1553855528.869 * [backup-simplify]: Simplify (/ -1 1) into -1 1553855528.869 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 1553855528.869 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 1553855528.869 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 1553855528.869 * [taylor]: Taking taylor expansion of (/ -1 c) in c 1553855528.869 * [taylor]: Taking taylor expansion of -1 in c 1553855528.869 * [backup-simplify]: Simplify -1 into -1 1553855528.869 * [taylor]: Taking taylor expansion of c in c 1553855528.869 * [backup-simplify]: Simplify 0 into 0 1553855528.869 * [backup-simplify]: Simplify 1 into 1 1553855528.869 * [backup-simplify]: Simplify (/ -1 1) into -1 1553855528.869 * [backup-simplify]: Simplify (- -1) into 1 1553855528.869 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 1553855528.869 * [taylor]: Taking taylor expansion of 2 in c 1553855528.869 * [backup-simplify]: Simplify 2 into 2 1553855528.870 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 1553855528.870 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 1553855528.870 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553855528.870 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1553855528.870 * [backup-simplify]: Simplify (- 0) into 0 1553855528.870 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.871 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 1553855528.871 * [backup-simplify]: Simplify 0 into 0 1553855528.871 * [backup-simplify]: Simplify (- 0) into 0 1553855528.871 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.872 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.872 * [backup-simplify]: Simplify 0 into 0 1553855528.873 * [backup-simplify]: Simplify (- 0) into 0 1553855528.873 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.875 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.875 * [backup-simplify]: Simplify 0 into 0 1553855528.875 * [backup-simplify]: Simplify (- 0) into 0 1553855528.876 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.878 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.878 * [backup-simplify]: Simplify 0 into 0 1553855528.878 * [backup-simplify]: Simplify (- 0) into 0 1553855528.879 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.882 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.882 * [backup-simplify]: Simplify 0 into 0 1553855528.882 * [backup-simplify]: Simplify (- 0) into 0 1553855528.883 * [backup-simplify]: Simplify (+ 0 0) into 0 1553855528.886 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 1553855528.886 * [backup-simplify]: Simplify 0 into 0 1553855528.887 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 1553855528.887 * * * [progress]: simplifying candidates 1553855528.887 * * * * [progress]: [ 1 / 45 ] simplifiying candidate # 1553855528.887 * * * * [progress]: [ 2 / 45 ] simplifiying candidate # 1553855528.887 * * * * [progress]: [ 3 / 45 ] simplifiying candidate # 1553855528.887 * * * * [progress]: [ 4 / 45 ] simplifiying candidate # 1553855528.887 * [simplify]: Simplifying (sinh c) 1553855528.887 * * [simplify]: iters left: 1 (2 enodes) 1553855528.888 * * [simplify]: Extracting #0: cost 1 inf + 0 1553855528.888 * * [simplify]: Extracting #1: cost 5 inf + 0 1553855528.888 * * [simplify]: Extracting #2: cost 5 inf + 2 1553855528.888 * * [simplify]: Extracting #3: cost 3 inf + 185 1553855528.889 * * [simplify]: Extracting #4: cost 0 inf + 558 1553855528.889 * [simplify]: Simplified to (sinh c) 1553855528.889 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (log1p (expm1 (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553855528.889 * * * * [progress]: [ 5 / 45 ] simplifiying candidate # 1553855528.889 * * * * [progress]: [ 6 / 45 ] simplifiying candidate # 1553855528.889 * * * * [progress]: [ 7 / 45 ] simplifiying candidate # 1553855528.889 * * * * [progress]: [ 8 / 45 ] simplifiying candidate # 1553855528.889 * * * * [progress]: [ 9 / 45 ] simplifiying candidate # 1553855528.889 * * * * [progress]: [ 10 / 45 ] simplifiying candidate # 1553855528.889 * * * * [progress]: [ 11 / 45 ] simplifiying candidate # 1553855528.889 * * * * [progress]: [ 12 / 45 ] simplifiying candidate #real (real->posit16 (expm1 (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1553855528.890 * * * * [progress]: [ 13 / 45 ] simplifiying candidate # 1553855528.890 * * * * [progress]: [ 14 / 45 ] simplifiying candidate # 1553855528.890 * * * * [progress]: [ 15 / 45 ] simplifiying candidate # 1553855528.890 * * * * [progress]: [ 16 / 45 ] simplifiying candidate # 1553855528.890 * * * * [progress]: [ 17 / 45 ] simplifiying candidate # 1553855528.890 * [simplify]: Simplifying (expm1 (sinh c)) 1553855528.890 * * [simplify]: iters left: 2 (3 enodes) 1553855528.891 * * [simplify]: iters left: 1 (15 enodes) 1553855528.895 * * [simplify]: Extracting #0: cost 1 inf + 0 1553855528.895 * * [simplify]: Extracting #1: cost 3 inf + 0 1553855528.895 * * [simplify]: Extracting #2: cost 9 inf + 0 1553855528.895 * * [simplify]: Extracting #3: cost 11 inf + 2 1553855528.895 * * [simplify]: Extracting #4: cost 12 inf + 185 1553855528.895 * * [simplify]: Extracting #5: cost 5 inf + 884 1553855528.895 * * [simplify]: Extracting #6: cost 0 inf + 1670 1553855528.896 * [simplify]: Simplified to (expm1 (sinh c)) 1553855528.896 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (log1p (expm1 (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553855528.896 * * * * [progress]: [ 18 / 45 ] simplifiying candidate # 1553855528.896 * * * * [progress]: [ 19 / 45 ] simplifiying candidate # 1553855528.896 * * * * [progress]: [ 20 / 45 ] simplifiying candidate # 1553855528.896 * * * * [progress]: [ 21 / 45 ] simplifiying candidate # 1553855528.896 * * * * [progress]: [ 22 / 45 ] simplifiying candidate # 1553855528.896 * * * * [progress]: [ 23 / 45 ] simplifiying candidate # 1553855528.896 * * * * [progress]: [ 24 / 45 ] simplifiying candidate # 1553855528.896 * * * * [progress]: [ 25 / 45 ] simplifiying candidate #real (real->posit16 (log1p (expm1 (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1553855528.896 * * * * [progress]: [ 26 / 45 ] simplifiying candidate # 1553855528.896 * * * * [progress]: [ 27 / 45 ] simplifiying candidate # 1553855528.896 * * * * [progress]: [ 28 / 45 ] simplifiying candidate # 1553855528.896 * * * * [progress]: [ 29 / 45 ] simplifiying candidate # 1553855528.896 * * * * [progress]: [ 30 / 45 ] simplifiying candidate # 1553855528.896 * * * * [progress]: [ 31 / 45 ] simplifiying candidate # 1553855528.896 * * * * [progress]: [ 32 / 45 ] simplifiying candidate # 1553855528.896 * * * * [progress]: [ 33 / 45 ] simplifiying candidate # 1553855528.897 * * * * [progress]: [ 34 / 45 ] simplifiying candidate # 1553855528.897 * * * * [progress]: [ 35 / 45 ] simplifiying candidate # 1553855528.897 * * * * [progress]: [ 36 / 45 ] simplifiying candidate #real (real->posit16 (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> 1553855528.897 * * * * [progress]: [ 37 / 45 ] simplifiying candidate # 1553855528.897 * [simplify]: Simplifying (+ (* 1/2 (pow c 2)) (+ (* 1/3 (pow c 3)) c)) 1553855528.897 * * [simplify]: iters left: 6 (11 enodes) 1553855528.901 * * [simplify]: iters left: 5 (52 enodes) 1553855528.911 * * [simplify]: iters left: 4 (98 enodes) 1553855528.936 * * [simplify]: iters left: 3 (201 enodes) 1553855528.983 * * [simplify]: iters left: 2 (342 enodes) 1553855529.104 * * [simplify]: Extracting #0: cost 1 inf + 0 1553855529.105 * * [simplify]: Extracting #1: cost 29 inf + 0 1553855529.105 * * [simplify]: Extracting #2: cost 83 inf + 3 1553855529.107 * * [simplify]: Extracting #3: cost 70 inf + 1857 1553855529.111 * * [simplify]: Extracting #4: cost 34 inf + 11805 1553855529.121 * * [simplify]: Extracting #5: cost 4 inf + 25794 1553855529.128 * * [simplify]: Extracting #6: cost 0 inf + 27014 1553855529.135 * [simplify]: Simplified to (fma (fma c 1/3 1/2) (* c c) c) 1553855529.135 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (log1p (fma (fma c 1/3 1/2) (* c c) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553855529.135 * * * * [progress]: [ 38 / 45 ] simplifiying candidate # 1553855529.135 * [simplify]: Simplifying (- (exp (* 1/2 (- (exp c) (exp (- c))))) 1) 1553855529.135 * * [simplify]: iters left: 6 (10 enodes) 1553855529.142 * * [simplify]: iters left: 5 (42 enodes) 1553855529.156 * * [simplify]: iters left: 4 (64 enodes) 1553855529.178 * * [simplify]: iters left: 3 (118 enodes) 1553855529.198 * * [simplify]: iters left: 2 (214 enodes) 1553855529.269 * * [simplify]: iters left: 1 (393 enodes) 1553855529.408 * * [simplify]: Extracting #0: cost 1 inf + 0 1553855529.408 * * [simplify]: Extracting #1: cost 27 inf + 0 1553855529.409 * * [simplify]: Extracting #2: cost 161 inf + 2 1553855529.409 * * [simplify]: Extracting #3: cost 238 inf + 78 1553855529.411 * * [simplify]: Extracting #4: cost 218 inf + 10258 1553855529.418 * * [simplify]: Extracting #5: cost 88 inf + 62302 1553855529.431 * * [simplify]: Extracting #6: cost 2 inf + 115794 1553855529.446 * * [simplify]: Extracting #7: cost 0 inf + 110362 1553855529.463 * * [simplify]: Extracting #8: cost 0 inf + 109577 1553855529.477 * [simplify]: Simplified to (expm1 (fma 1/2 (exp c) (/ -1/2 (exp c)))) 1553855529.477 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (log1p (expm1 (fma 1/2 (exp c) (/ -1/2 (exp c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553855529.477 * * * * [progress]: [ 39 / 45 ] simplifiying candidate # 1553855529.477 * [simplify]: Simplifying (- (exp (* 1/2 (- (exp c) (exp (* -1 c))))) 1) 1553855529.478 * * [simplify]: iters left: 6 (11 enodes) 1553855529.485 * * [simplify]: iters left: 5 (47 enodes) 1553855529.501 * * [simplify]: iters left: 4 (73 enodes) 1553855529.525 * * [simplify]: iters left: 3 (135 enodes) 1553855529.574 * * [simplify]: iters left: 2 (287 enodes) 1553855529.658 * * [simplify]: Extracting #0: cost 1 inf + 0 1553855529.658 * * [simplify]: Extracting #1: cost 28 inf + 0 1553855529.658 * * [simplify]: Extracting #2: cost 88 inf + 2 1553855529.659 * * [simplify]: Extracting #3: cost 177 inf + 6 1553855529.660 * * [simplify]: Extracting #4: cost 192 inf + 2880 1553855529.663 * * [simplify]: Extracting #5: cost 94 inf + 30397 1553855529.671 * * [simplify]: Extracting #6: cost 13 inf + 68081 1553855529.686 * * [simplify]: Extracting #7: cost 0 inf + 75090 1553855529.698 * [simplify]: Simplified to (expm1 (fma 1/2 (exp c) (/ -1/2 (exp c)))) 1553855529.698 * [simplify]: Simplified (2 1 1) to (λ (c) (fmod (log1p (expm1 (fma 1/2 (exp c) (/ -1/2 (exp c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553855529.698 * * * * [progress]: [ 40 / 45 ] simplifiying candidate # 1553855529.698 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553855529.698 * * [simplify]: iters left: 6 (11 enodes) 1553855529.702 * * [simplify]: iters left: 5 (53 enodes) 1553855529.714 * * [simplify]: iters left: 4 (109 enodes) 1553855529.755 * * [simplify]: iters left: 3 (233 enodes) 1553855529.802 * * [simplify]: iters left: 2 (401 enodes) 1553855529.921 * * [simplify]: Extracting #0: cost 1 inf + 0 1553855529.921 * * [simplify]: Extracting #1: cost 19 inf + 0 1553855529.922 * * [simplify]: Extracting #2: cost 80 inf + 44 1553855529.923 * * [simplify]: Extracting #3: cost 137 inf + 1669 1553855529.926 * * [simplify]: Extracting #4: cost 112 inf + 7111 1553855529.931 * * [simplify]: Extracting #5: cost 60 inf + 27882 1553855529.939 * * [simplify]: Extracting #6: cost 4 inf + 55832 1553855529.944 * * [simplify]: Extracting #7: cost 0 inf + 58188 1553855529.952 * [simplify]: Simplified to (fma 1/120 (pow c 5) (fma (* c c) (* 1/6 c) c)) 1553855529.953 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma 1/120 (pow c 5) (fma (* c c) (* 1/6 c) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553855529.953 * * * * [progress]: [ 41 / 45 ] simplifiying candidate # 1553855529.953 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 1553855529.953 * * [simplify]: iters left: 6 (7 enodes) 1553855529.955 * * [simplify]: iters left: 5 (26 enodes) 1553855529.959 * * [simplify]: iters left: 4 (42 enodes) 1553855529.966 * * [simplify]: iters left: 3 (62 enodes) 1553855529.984 * * [simplify]: iters left: 2 (82 enodes) 1553855530.004 * * [simplify]: iters left: 1 (86 enodes) 1553855530.020 * * [simplify]: Extracting #0: cost 1 inf + 0 1553855530.020 * * [simplify]: Extracting #1: cost 11 inf + 0 1553855530.021 * * [simplify]: Extracting #2: cost 20 inf + 2 1553855530.021 * * [simplify]: Extracting #3: cost 17 inf + 46 1553855530.021 * * [simplify]: Extracting #4: cost 5 inf + 1453 1553855530.021 * * [simplify]: Extracting #5: cost 1 inf + 1819 1553855530.022 * * [simplify]: Extracting #6: cost 0 inf + 1987 1553855530.022 * [simplify]: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1553855530.022 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma 1/2 (exp c) (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553855530.022 * * * * [progress]: [ 42 / 45 ] simplifiying candidate # 1553855530.023 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 1553855530.023 * * [simplify]: iters left: 6 (8 enodes) 1553855530.025 * * [simplify]: iters left: 5 (31 enodes) 1553855530.030 * * [simplify]: iters left: 4 (49 enodes) 1553855530.039 * * [simplify]: iters left: 3 (85 enodes) 1553855530.056 * * [simplify]: iters left: 2 (151 enodes) 1553855530.093 * * [simplify]: iters left: 1 (304 enodes) 1553855530.204 * * [simplify]: Extracting #0: cost 1 inf + 0 1553855530.204 * * [simplify]: Extracting #1: cost 15 inf + 0 1553855530.204 * * [simplify]: Extracting #2: cost 135 inf + 2 1553855530.205 * * [simplify]: Extracting #3: cost 204 inf + 2517 1553855530.207 * * [simplify]: Extracting #4: cost 151 inf + 20916 1553855530.213 * * [simplify]: Extracting #5: cost 64 inf + 60923 1553855530.224 * * [simplify]: Extracting #6: cost 2 inf + 103278 1553855530.245 * * [simplify]: Extracting #7: cost 0 inf + 102022 1553855530.262 * * [simplify]: Extracting #8: cost 0 inf + 101942 1553855530.273 * [simplify]: Simplified to (fma (exp c) 1/2 (/ -1/2 (exp c))) 1553855530.273 * [simplify]: Simplified (2 1) to (λ (c) (fmod (fma (exp c) 1/2 (/ -1/2 (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553855530.273 * * * * [progress]: [ 43 / 45 ] simplifiying candidate # 1553855530.274 * [simplify]: Simplifying (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 1553855530.274 * * [simplify]: iters left: 6 (11 enodes) 1553855530.279 * * [simplify]: iters left: 5 (53 enodes) 1553855530.295 * * [simplify]: iters left: 4 (109 enodes) 1553855530.337 * * [simplify]: iters left: 3 (233 enodes) 1553855530.393 * * [simplify]: iters left: 2 (401 enodes) 1553855530.527 * * [simplify]: Extracting #0: cost 1 inf + 0 1553855530.527 * * [simplify]: Extracting #1: cost 19 inf + 0 1553855530.528 * * [simplify]: Extracting #2: cost 80 inf + 44 1553855530.528 * * [simplify]: Extracting #3: cost 137 inf + 1669 1553855530.530 * * [simplify]: Extracting #4: cost 112 inf + 7111 1553855530.532 * * [simplify]: Extracting #5: cost 60 inf + 27882 1553855530.537 * * [simplify]: Extracting #6: cost 4 inf + 55832 1553855530.544 * * [simplify]: Extracting #7: cost 0 inf + 58188 1553855530.559 * [simplify]: Simplified to (fma 1/120 (pow c 5) (fma (* c c) (* 1/6 c) c)) 1553855530.559 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (log1p (expm1 (fma 1/120 (pow c 5) (fma (* c c) (* 1/6 c) c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553855530.560 * * * * [progress]: [ 44 / 45 ] simplifiying candidate # 1553855530.560 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (- c)))) 1553855530.560 * * [simplify]: iters left: 6 (7 enodes) 1553855530.564 * * [simplify]: iters left: 5 (26 enodes) 1553855530.573 * * [simplify]: iters left: 4 (42 enodes) 1553855530.587 * * [simplify]: iters left: 3 (62 enodes) 1553855530.606 * * [simplify]: iters left: 2 (82 enodes) 1553855530.619 * * [simplify]: iters left: 1 (86 enodes) 1553855530.628 * * [simplify]: Extracting #0: cost 1 inf + 0 1553855530.628 * * [simplify]: Extracting #1: cost 11 inf + 0 1553855530.629 * * [simplify]: Extracting #2: cost 20 inf + 2 1553855530.629 * * [simplify]: Extracting #3: cost 17 inf + 46 1553855530.629 * * [simplify]: Extracting #4: cost 5 inf + 1453 1553855530.629 * * [simplify]: Extracting #5: cost 1 inf + 1819 1553855530.630 * * [simplify]: Extracting #6: cost 0 inf + 1987 1553855530.630 * [simplify]: Simplified to (fma 1/2 (exp c) (/ -1/2 (exp c))) 1553855530.630 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (log1p (expm1 (fma 1/2 (exp c) (/ -1/2 (exp c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553855530.630 * * * * [progress]: [ 45 / 45 ] simplifiying candidate # 1553855530.630 * [simplify]: Simplifying (* 1/2 (- (exp c) (exp (* -1 c)))) 1553855530.630 * * [simplify]: iters left: 6 (8 enodes) 1553855530.633 * * [simplify]: iters left: 5 (31 enodes) 1553855530.639 * * [simplify]: iters left: 4 (49 enodes) 1553855530.656 * * [simplify]: iters left: 3 (85 enodes) 1553855530.689 * * [simplify]: iters left: 2 (151 enodes) 1553855530.747 * * [simplify]: iters left: 1 (304 enodes) 1553855530.840 * * [simplify]: Extracting #0: cost 1 inf + 0 1553855530.840 * * [simplify]: Extracting #1: cost 15 inf + 0 1553855530.840 * * [simplify]: Extracting #2: cost 135 inf + 2 1553855530.841 * * [simplify]: Extracting #3: cost 204 inf + 2517 1553855530.843 * * [simplify]: Extracting #4: cost 151 inf + 20916 1553855530.849 * * [simplify]: Extracting #5: cost 64 inf + 60923 1553855530.868 * * [simplify]: Extracting #6: cost 2 inf + 103278 1553855530.897 * * [simplify]: Extracting #7: cost 0 inf + 102022 1553855530.919 * * [simplify]: Extracting #8: cost 0 inf + 101942 1553855530.939 * [simplify]: Simplified to (fma (exp c) 1/2 (/ -1/2 (exp c))) 1553855530.939 * [simplify]: Simplified (2 1 1 1) to (λ (c) (fmod (log1p (expm1 (fma (exp c) 1/2 (/ -1/2 (exp c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))) 1553855530.939 * * * [progress]: adding candidates to table 1553855531.359 * [progress]: [Phase 3 of 3] Extracting. 1553855531.365 * [simplify]: Simplifying (fmod (log1p (expm1 (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))) 1553855531.365 * * [simplify]: iters left: 5 (8 enodes) 1553855531.366 * * [simplify]: Extracting #0: cost 1 inf + 0 1553855531.366 * * [simplify]: Extracting #1: cost 3 inf + 0 1553855531.366 * * [simplify]: Extracting #2: cost 6 inf + 0 1553855531.366 * * [simplify]: Extracting #3: cost 7 inf + 1 1553855531.366 * * [simplify]: Extracting #4: cost 0 inf + 890 1553855531.367 * [simplify]: Simplified to (fmod (log1p (expm1 (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))) 1553855541.543 * [regime-testing]: Baseline error score: 0.3574658276787602 1553855541.544 * [regime-testing]: Oracle error score: 0.3574658276787602 1553855541.544 * [regime-testing]: End program error score: 0.3574658276787602